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_FMINNM_4S_TRACE_A64_H_ 35 #define VIXL_SIM_FMINNM_4S_TRACE_A64_H_ 36 37 const uint32_t kExpected_NEON_fminnm_4S[] = { 38 0x00013f80, 0x00003f80, 0x00003fc0, 0x00000000, 39 0x00003f80, 0x00003f80, 0x00000000, 0x00000000, 40 0x00003fc0, 0x00000000, 0x00003fc0, 0x00000000, 41 0x00000000, 0x00003f80, 0x00003fc0, 0x00000000, 42 0x00013f80, 0x00003f80, 0x00003fc0, 0x00000000, 43 0x00013f80, 0x00003f80, 0x00003fc0, 0x00000000, 44 0x00013f80, 0x00003f80, 0x00003fc0, 0x00000000, 45 0x00013f80, 0x00003f80, 0x00003fc0, 0x00000000, 46 0x00013f80, 0x00003f80, 0x00003fc0, 0x00000000, 47 0x00013f80, 0x00003f80, 0x00003fc0, 0x00000000, 48 0x00013f80, 0x00003f80, 0x00003fc0, 0x7fcfffff, 49 0x00013f80, 0x00003f80, 0x7fcfffff, 0x00000000, 50 0x00013f80, 0x7fcfffff, 0x00003fc0, 0x00000000, 51 0x7fcfffff, 0x00003f80, 0x00003fc0, 0x00000000, 52 0x00013f80, 0x00003f80, 0x00003fc0, 0x7fd23456, 53 0x00013f80, 0x00003f80, 0x7fd23456, 0x7fc00001, 54 0x00013f80, 0x7fd23456, 0x7fc00001, 0x00000000, 55 0x7fd23456, 0x7fc00001, 0x00003fc0, 0x00000000, 56 0x7fc00001, 0x00003f80, 0x00003fc0, 0x00000000, 57 0x00013f80, 0x00003f80, 0x00000001, 0x80000000, 58 0x00013f80, 0x00000001, 0x80000000, 0x80800000, 59 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 60 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 61 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 62 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 63 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 64 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 65 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 66 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 67 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 68 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 69 0xc1200000, 0xffcfffff, 0xff800000, 0x00000000, 70 0xffcfffff, 0xff800000, 0x00003fc0, 0x00000000, 71 0xff800000, 0x00003f80, 0x00003fc0, 0xffd23456, 72 0x00013f80, 0x00003f80, 0xffd23456, 0xffc00001, 73 0x00013f80, 0xffd23456, 0xffc00001, 0x80123456, 74 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 75 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 76 0x80123456, 0x807fffff, 0x80000001, 0x00000000, 77 0x807fffff, 0x80000001, 0x00000000, 0x00800000, 78 0x80000001, 0x00000000, 0x00000000, 0x00800000, 79 0x00000000, 0x00003fc0, 0x00000000, 0x00800000, 80 0x00003f80, 0x00003fc0, 0x00000000, 0x00800000, 81 0x00003f80, 0x00003fc0, 0x00000000, 0x00800000, 82 0x00003f80, 0x00003fc0, 0x00000000, 0x00800000, 83 0x00003f80, 0x00003fc0, 0x00000000, 0x00800000, 84 0x00003f80, 0x00003fc0, 0x00000000, 0x00800000, 85 0x00003f80, 0x00003fc0, 0x00000000, 0x00800000, 86 0x00003f80, 0x00003fc0, 0x00000000, 0x7fcfffff, 87 0x00003f80, 0x00003fc0, 0x7fcfffff, 0x00800000, 88 0x00003f80, 0x7fcfffff, 0x00000000, 0x00800000, 89 0x7fcfffff, 0x00003fc0, 0x00000000, 0x00800000, 90 0x00003f80, 0x00003fc0, 0x00000000, 0x7fd23456, 91 0x00003f80, 0x00003fc0, 0x7fd23456, 0x7fc00001, 92 0x00003f80, 0x7fd23456, 0x7fc00001, 0x00123456, 93 0x7fd23456, 0x7fc00001, 0x00000000, 0x007fffff, 94 0x7fc00001, 0x00003fc0, 0x00000000, 0x00000001, 95 0x00003f80, 0x00003fc0, 0x00000000, 0x80000000, 96 0x00003f80, 0x00000001, 0x80000000, 0x80800000, 97 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 98 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 99 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 100 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 101 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 102 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 103 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 104 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 105 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 106 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 107 0xc1200000, 0xffcfffff, 0xff800000, 0x00800000, 108 0xffcfffff, 0xff800000, 0x00000000, 0x00800000, 109 0xff800000, 0x00003fc0, 0x00000000, 0xffd23456, 110 0x00003f80, 0x00003fc0, 0xffd23456, 0xffc00001, 111 0x00003f80, 0xffd23456, 0xffc00001, 0x80123456, 112 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 113 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 114 0x80123456, 0x807fffff, 0x80000001, 0x00000000, 115 0x807fffff, 0x80000001, 0x00000000, 0x00800000, 116 0x80000001, 0x00000000, 0x00800000, 0x3effffff, 117 0x00000000, 0x00000000, 0x00800000, 0x3effffff, 118 0x00003fc0, 0x00000000, 0x00800000, 0x3effffff, 119 0x00003fc0, 0x00000000, 0x00800000, 0x3effffff, 120 0x00003fc0, 0x00000000, 0x00800000, 0x3effffff, 121 0x00003fc0, 0x00000000, 0x00800000, 0x3effffff, 122 0x00003fc0, 0x00000000, 0x00800000, 0x3effffff, 123 0x00003fc0, 0x00000000, 0x00800000, 0x3effffff, 124 0x00003fc0, 0x00000000, 0x00800000, 0x7fcfffff, 125 0x00003fc0, 0x00000000, 0x7fcfffff, 0x3effffff, 126 0x00003fc0, 0x7fcfffff, 0x00800000, 0x3effffff, 127 0x7fcfffff, 0x00000000, 0x00800000, 0x3effffff, 128 0x00003fc0, 0x00000000, 0x00800000, 0x7fd23456, 129 0x00003fc0, 0x00000000, 0x7fd23456, 0x7fc00001, 130 0x00003fc0, 0x7fd23456, 0x7fc00001, 0x00123456, 131 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 132 0x7fc00001, 0x00000000, 0x007fffff, 0x00000001, 133 0x00003fc0, 0x00000000, 0x00000001, 0x80000000, 134 0x00003fc0, 0x00000000, 0x80000000, 0x80800000, 135 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 136 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 137 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 138 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 139 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 140 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 141 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 142 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 143 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 144 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 145 0xc1200000, 0xffcfffff, 0xff800000, 0x3effffff, 146 0xffcfffff, 0xff800000, 0x00800000, 0x3effffff, 147 0xff800000, 0x00000000, 0x00800000, 0xffd23456, 148 0x00003fc0, 0x00000000, 0xffd23456, 0xffc00001, 149 0x00003fc0, 0xffd23456, 0xffc00001, 0x80123456, 150 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 151 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 152 0x80123456, 0x807fffff, 0x80000001, 0x00000000, 153 0x807fffff, 0x80000001, 0x00000000, 0x00800000, 154 0x80000001, 0x00000000, 0x00800000, 0x3effffff, 155 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 156 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 157 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 158 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 159 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 160 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 161 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 162 0x00000000, 0x00800000, 0x3effffff, 0x7fcfffff, 163 0x00000000, 0x00800000, 0x7fcfffff, 0x3f000000, 164 0x00000000, 0x7fcfffff, 0x3effffff, 0x3f000000, 165 0x7fcfffff, 0x00800000, 0x3effffff, 0x3f000000, 166 0x00000000, 0x00800000, 0x3effffff, 0x7fd23456, 167 0x00000000, 0x00800000, 0x7fd23456, 0x7fc00001, 168 0x00000000, 0x7fd23456, 0x7fc00001, 0x00123456, 169 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 170 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 171 0x00000000, 0x007fffff, 0x00000001, 0x80000000, 172 0x00000000, 0x00000001, 0x80000000, 0x80800000, 173 0x00000000, 0x80000000, 0x80800000, 0xbeffffff, 174 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 175 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 176 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 177 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 178 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 179 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 180 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 181 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 182 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 183 0xc1200000, 0xffcfffff, 0xff800000, 0x3f000000, 184 0xffcfffff, 0xff800000, 0x3effffff, 0x3f000000, 185 0xff800000, 0x00800000, 0x3effffff, 0xffd23456, 186 0x00000000, 0x00800000, 0xffd23456, 0xffc00001, 187 0x00000000, 0xffd23456, 0xffc00001, 0x80123456, 188 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 189 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 190 0x80123456, 0x807fffff, 0x80000001, 0x00000000, 191 0x807fffff, 0x80000001, 0x00000000, 0x00800000, 192 0x80000001, 0x00000000, 0x00800000, 0x3effffff, 193 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 194 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 195 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 196 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 197 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 198 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 199 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 200 0x00800000, 0x3effffff, 0x3f000000, 0x7fcfffff, 201 0x00800000, 0x3effffff, 0x7fcfffff, 0x3f000001, 202 0x00800000, 0x7fcfffff, 0x3f000000, 0x3f000001, 203 0x7fcfffff, 0x3effffff, 0x3f000000, 0x3f000001, 204 0x00800000, 0x3effffff, 0x3f000000, 0x7fd23456, 205 0x00800000, 0x3effffff, 0x7fd23456, 0x7fc00001, 206 0x00800000, 0x7fd23456, 0x7fc00001, 0x00123456, 207 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 208 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 209 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 210 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 211 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 212 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 213 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 214 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 215 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 216 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 217 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 218 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 219 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 220 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 221 0xc1200000, 0xffcfffff, 0xff800000, 0x3f000001, 222 0xffcfffff, 0xff800000, 0x3f000000, 0x3f000001, 223 0xff800000, 0x3effffff, 0x3f000000, 0xffd23456, 224 0x00800000, 0x3effffff, 0xffd23456, 0xffc00001, 225 0x00800000, 0xffd23456, 0xffc00001, 0x80123456, 226 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 227 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 228 0x80123456, 0x807fffff, 0x80000001, 0x00000000, 229 0x807fffff, 0x80000001, 0x00000000, 0x00800000, 230 0x80000001, 0x00000000, 0x00800000, 0x3effffff, 231 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 232 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 233 0x3effffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 234 0x3effffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 235 0x3effffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 236 0x3effffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 237 0x3effffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 238 0x3effffff, 0x3f000000, 0x3f000001, 0x7fcfffff, 239 0x3effffff, 0x3f000000, 0x7fcfffff, 0x3f7fffff, 240 0x3effffff, 0x7fcfffff, 0x3f000001, 0x3f7fffff, 241 0x7fcfffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 242 0x3effffff, 0x3f000000, 0x3f000001, 0x7fd23456, 243 0x3effffff, 0x3f000000, 0x7fd23456, 0x7fc00001, 244 0x3effffff, 0x7fd23456, 0x7fc00001, 0x00123456, 245 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 246 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 247 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 248 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 249 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 250 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 251 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 252 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 253 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 254 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 255 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 256 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 257 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 258 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 259 0xc1200000, 0xffcfffff, 0xff800000, 0x3f7fffff, 260 0xffcfffff, 0xff800000, 0x3f000001, 0x3f7fffff, 261 0xff800000, 0x3f000000, 0x3f000001, 0xffd23456, 262 0x3effffff, 0x3f000000, 0xffd23456, 0xffc00001, 263 0x3effffff, 0xffd23456, 0xffc00001, 0x80123456, 264 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 265 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 266 0x80123456, 0x807fffff, 0x80000001, 0x00000000, 267 0x807fffff, 0x80000001, 0x00000000, 0x00800000, 268 0x80000001, 0x00000000, 0x00800000, 0x3effffff, 269 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 270 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 271 0x3effffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 272 0x3f000000, 0x3f000001, 0x3f7fffff, 0x3f800000, 273 0x3f000000, 0x3f000001, 0x3f7fffff, 0x3f800000, 274 0x3f000000, 0x3f000001, 0x3f7fffff, 0x3f800000, 275 0x3f000000, 0x3f000001, 0x3f7fffff, 0x3f800000, 276 0x3f000000, 0x3f000001, 0x3f7fffff, 0x7fcfffff, 277 0x3f000000, 0x3f000001, 0x7fcfffff, 0x3f800000, 278 0x3f000000, 0x7fcfffff, 0x3f7fffff, 0x3f800000, 279 0x7fcfffff, 0x3f000001, 0x3f7fffff, 0x3f800000, 280 0x3f000000, 0x3f000001, 0x3f7fffff, 0x7fd23456, 281 0x3f000000, 0x3f000001, 0x7fd23456, 0x7fc00001, 282 0x3f000000, 0x7fd23456, 0x7fc00001, 0x00123456, 283 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 284 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 285 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 286 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 287 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 288 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 289 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 290 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 291 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 292 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 293 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 294 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 295 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 296 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 297 0xc1200000, 0xffcfffff, 0xff800000, 0x3f800000, 298 0xffcfffff, 0xff800000, 0x3f7fffff, 0x3f800000, 299 0xff800000, 0x3f000001, 0x3f7fffff, 0xffd23456, 300 0x3f000000, 0x3f000001, 0xffd23456, 0xffc00001, 301 0x3f000000, 0xffd23456, 0xffc00001, 0x80123456, 302 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 303 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 304 0x80123456, 0x807fffff, 0x80000001, 0x00000000, 305 0x807fffff, 0x80000001, 0x00000000, 0x00800000, 306 0x80000001, 0x00000000, 0x00800000, 0x3effffff, 307 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 308 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 309 0x3effffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 310 0x3f000000, 0x3f000001, 0x3f7fffff, 0x3f800000, 311 0x3f000001, 0x3f7fffff, 0x3f800000, 0x3f800001, 312 0x3f000001, 0x3f7fffff, 0x3f800000, 0x3f800001, 313 0x3f000001, 0x3f7fffff, 0x3f800000, 0x3f800001, 314 0x3f000001, 0x3f7fffff, 0x3f800000, 0x7fcfffff, 315 0x3f000001, 0x3f7fffff, 0x7fcfffff, 0x3f800001, 316 0x3f000001, 0x7fcfffff, 0x3f800000, 0x3f800001, 317 0x7fcfffff, 0x3f7fffff, 0x3f800000, 0x3f800001, 318 0x3f000001, 0x3f7fffff, 0x3f800000, 0x7fd23456, 319 0x3f000001, 0x3f7fffff, 0x7fd23456, 0x7fc00001, 320 0x3f000001, 0x7fd23456, 0x7fc00001, 0x00123456, 321 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 322 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 323 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 324 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 325 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 326 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 327 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 328 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 329 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 330 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 331 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 332 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 333 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 334 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 335 0xc1200000, 0xffcfffff, 0xff800000, 0x3f800001, 336 0xffcfffff, 0xff800000, 0x3f800000, 0x3f800001, 337 0xff800000, 0x3f7fffff, 0x3f800000, 0xffd23456, 338 0x3f000001, 0x3f7fffff, 0xffd23456, 0xffc00001, 339 0x3f000001, 0xffd23456, 0xffc00001, 0x80123456, 340 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 341 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 342 0x80123456, 0x807fffff, 0x80000001, 0x00000000, 343 0x807fffff, 0x80000001, 0x00000000, 0x00800000, 344 0x80000001, 0x00000000, 0x00800000, 0x3effffff, 345 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 346 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 347 0x3effffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 348 0x3f000000, 0x3f000001, 0x3f7fffff, 0x3f800000, 349 0x3f000001, 0x3f7fffff, 0x3f800000, 0x3f800001, 350 0x3f7fffff, 0x3f800000, 0x3f800001, 0x3fc00000, 351 0x3f7fffff, 0x3f800000, 0x3f800001, 0x3fc00000, 352 0x3f7fffff, 0x3f800000, 0x3f800001, 0x7fcfffff, 353 0x3f7fffff, 0x3f800000, 0x7fcfffff, 0x3fc00000, 354 0x3f7fffff, 0x7fcfffff, 0x3f800001, 0x3fc00000, 355 0x7fcfffff, 0x3f800000, 0x3f800001, 0x3fc00000, 356 0x3f7fffff, 0x3f800000, 0x3f800001, 0x7fd23456, 357 0x3f7fffff, 0x3f800000, 0x7fd23456, 0x7fc00001, 358 0x3f7fffff, 0x7fd23456, 0x7fc00001, 0x00123456, 359 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 360 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 361 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 362 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 363 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 364 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 365 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 366 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 367 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 368 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 369 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 370 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 371 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 372 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 373 0xc1200000, 0xffcfffff, 0xff800000, 0x3fc00000, 374 0xffcfffff, 0xff800000, 0x3f800001, 0x3fc00000, 375 0xff800000, 0x3f800000, 0x3f800001, 0xffd23456, 376 0x3f7fffff, 0x3f800000, 0xffd23456, 0xffc00001, 377 0x3f7fffff, 0xffd23456, 0xffc00001, 0x80123456, 378 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 379 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 380 0x80123456, 0x807fffff, 0x80000001, 0x00000000, 381 0x807fffff, 0x80000001, 0x00000000, 0x00800000, 382 0x80000001, 0x00000000, 0x00800000, 0x3effffff, 383 0x00000000, 0x00800000, 0x3effffff, 0x3f000000, 384 0x00800000, 0x3effffff, 0x3f000000, 0x3f000001, 385 0x3effffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 386 0x3f000000, 0x3f000001, 0x3f7fffff, 0x3f800000, 387 0x3f000001, 0x3f7fffff, 0x3f800000, 0x3f800001, 388 0x3f7fffff, 0x3f800000, 0x3f800001, 0x3fc00000, 389 0x3f800000, 0x3f800001, 0x3fc00000, 0x41200000, 390 0x3f800000, 0x3f800001, 0x3fc00000, 0x7fcfffff, 391 0x3f800000, 0x3f800001, 0x7fcfffff, 0x41200000, 392 0x3f800000, 0x7fcfffff, 0x3fc00000, 0x41200000, 393 0x7fcfffff, 0x3f800001, 0x3fc00000, 0x41200000, 394 0x3f800000, 0x3f800001, 0x3fc00000, 0x7fd23456, 395 0x3f800000, 0x3f800001, 0x7fd23456, 0x7fc00001, 396 0x3f800000, 0x7fd23456, 0x7fc00001, 0x00123456, 397 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 398 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 399 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 400 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 401 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 402 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 403 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 404 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 405 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 406 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 407 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 408 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 409 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 410 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 411 0xc1200000, 0xffcfffff, 0xff800000, 0x41200000, 412 0xffcfffff, 0xff800000, 0x3fc00000, 0x41200000, 413 0xff800000, 0x3f800001, 0x3fc00000, 0xffd23456, 414 0x3f800000, 0x3f800001, 0xffd23456, 0xffc00001, 415 0x3f800000, 0xffd23456, 0xffc00001, 0x80123456, 416 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 417 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 418 0x80123456, 0x807fffff, 0x80000001, 0x7fcfffff, 419 0x807fffff, 0x80000001, 0x00000000, 0x7fcfffff, 420 0x80000001, 0x00000000, 0x00800000, 0x7fcfffff, 421 0x00000000, 0x00800000, 0x3effffff, 0x7fcfffff, 422 0x00800000, 0x3effffff, 0x3f000000, 0x7fcfffff, 423 0x3effffff, 0x3f000000, 0x3f000001, 0x7fcfffff, 424 0x3f000000, 0x3f000001, 0x3f7fffff, 0x7fcfffff, 425 0x3f000001, 0x3f7fffff, 0x3f800000, 0x7fcfffff, 426 0x3f7fffff, 0x3f800000, 0x3f800001, 0x7fcfffff, 427 0x3f800000, 0x3f800001, 0x3fc00000, 0x7fcfffff, 428 0x3f800001, 0x3fc00000, 0x41200000, 0x7fcfffff, 429 0x3f800001, 0x3fc00000, 0x7fcfffff, 0x7fcfffff, 430 0x3f800001, 0x7fcfffff, 0x41200000, 0x7fcfffff, 431 0x7fcfffff, 0x3fc00000, 0x41200000, 0x7fcfffff, 432 0x3f800001, 0x3fc00000, 0x41200000, 0x7fcfffff, 433 0x3f800001, 0x3fc00000, 0x7fd23456, 0x7fcfffff, 434 0x3f800001, 0x7fd23456, 0x7fc00001, 0x7fcfffff, 435 0x7fd23456, 0x7fc00001, 0x00123456, 0x7fcfffff, 436 0x7fc00001, 0x00123456, 0x007fffff, 0x7fcfffff, 437 0x00123456, 0x007fffff, 0x00000001, 0x7fcfffff, 438 0x007fffff, 0x00000001, 0x80000000, 0x7fcfffff, 439 0x00000001, 0x80000000, 0x80800000, 0x7fcfffff, 440 0x80000000, 0x80800000, 0xbeffffff, 0x7fcfffff, 441 0x80800000, 0xbeffffff, 0xbf000000, 0x7fcfffff, 442 0xbeffffff, 0xbf000000, 0xbf000001, 0x7fcfffff, 443 0xbf000000, 0xbf000001, 0xbf7fffff, 0x7fcfffff, 444 0xbf000001, 0xbf7fffff, 0xbf800000, 0x7fcfffff, 445 0xbf7fffff, 0xbf800000, 0xbf800001, 0x7fcfffff, 446 0xbf800000, 0xbf800001, 0xbfc00000, 0x7fcfffff, 447 0xbf800001, 0xbfc00000, 0xc1200000, 0x7fcfffff, 448 0xbfc00000, 0xc1200000, 0xffcfffff, 0x7fcfffff, 449 0xc1200000, 0xffcfffff, 0xff800000, 0x7fcfffff, 450 0xffcfffff, 0xff800000, 0x41200000, 0x7fcfffff, 451 0xff800000, 0x3fc00000, 0x41200000, 0x7fcfffff, 452 0x3f800001, 0x3fc00000, 0xffd23456, 0x7fcfffff, 453 0x3f800001, 0xffd23456, 0xffc00001, 0x7fcfffff, 454 0xffd23456, 0xffc00001, 0x80123456, 0x7fcfffff, 455 0xffc00001, 0x80123456, 0x807fffff, 0x7fcfffff, 456 0x80123456, 0x807fffff, 0x7fcfffff, 0x00000000, 457 0x807fffff, 0x80000001, 0x7fcfffff, 0x00800000, 458 0x80000001, 0x00000000, 0x7fcfffff, 0x3effffff, 459 0x00000000, 0x00800000, 0x7fcfffff, 0x3f000000, 460 0x00800000, 0x3effffff, 0x7fcfffff, 0x3f000001, 461 0x3effffff, 0x3f000000, 0x7fcfffff, 0x3f7fffff, 462 0x3f000000, 0x3f000001, 0x7fcfffff, 0x3f800000, 463 0x3f000001, 0x3f7fffff, 0x7fcfffff, 0x3f800001, 464 0x3f7fffff, 0x3f800000, 0x7fcfffff, 0x3fc00000, 465 0x3f800000, 0x3f800001, 0x7fcfffff, 0x41200000, 466 0x3f800001, 0x3fc00000, 0x7fcfffff, 0x7fcfffff, 467 0x3fc00000, 0x41200000, 0x7fcfffff, 0x7f800000, 468 0x3fc00000, 0x7fcfffff, 0x7fcfffff, 0x7f800000, 469 0x7fcfffff, 0x41200000, 0x7fcfffff, 0x7f800000, 470 0x3fc00000, 0x41200000, 0x7fcfffff, 0x7fd23456, 471 0x3fc00000, 0x41200000, 0x7fcfffff, 0x7fc00001, 472 0x3fc00000, 0x7fd23456, 0x7fcfffff, 0x00123456, 473 0x7fd23456, 0x7fc00001, 0x7fcfffff, 0x007fffff, 474 0x7fc00001, 0x00123456, 0x7fcfffff, 0x00000001, 475 0x00123456, 0x007fffff, 0x7fcfffff, 0x80000000, 476 0x007fffff, 0x00000001, 0x7fcfffff, 0x80800000, 477 0x00000001, 0x80000000, 0x7fcfffff, 0xbeffffff, 478 0x80000000, 0x80800000, 0x7fcfffff, 0xbf000000, 479 0x80800000, 0xbeffffff, 0x7fcfffff, 0xbf000001, 480 0xbeffffff, 0xbf000000, 0x7fcfffff, 0xbf7fffff, 481 0xbf000000, 0xbf000001, 0x7fcfffff, 0xbf800000, 482 0xbf000001, 0xbf7fffff, 0x7fcfffff, 0xbf800001, 483 0xbf7fffff, 0xbf800000, 0x7fcfffff, 0xbfc00000, 484 0xbf800000, 0xbf800001, 0x7fcfffff, 0xc1200000, 485 0xbf800001, 0xbfc00000, 0x7fcfffff, 0xffcfffff, 486 0xbfc00000, 0xc1200000, 0x7fcfffff, 0xff800000, 487 0xc1200000, 0xffcfffff, 0x7fcfffff, 0x7f800000, 488 0xffcfffff, 0xff800000, 0x7fcfffff, 0x7f800000, 489 0xff800000, 0x41200000, 0x7fcfffff, 0xffd23456, 490 0x3fc00000, 0x41200000, 0x7fcfffff, 0xffc00001, 491 0x3fc00000, 0xffd23456, 0x7fcfffff, 0x80123456, 492 0xffd23456, 0xffc00001, 0x7fcfffff, 0x807fffff, 493 0xffc00001, 0x80123456, 0x7fcfffff, 0x80000001, 494 0x80123456, 0x7fcfffff, 0x80000001, 0x00000000, 495 0x807fffff, 0x7fcfffff, 0x00000000, 0x00800000, 496 0x80000001, 0x7fcfffff, 0x00800000, 0x3effffff, 497 0x00000000, 0x7fcfffff, 0x3effffff, 0x3f000000, 498 0x00800000, 0x7fcfffff, 0x3f000000, 0x3f000001, 499 0x3effffff, 0x7fcfffff, 0x3f000001, 0x3f7fffff, 500 0x3f000000, 0x7fcfffff, 0x3f7fffff, 0x3f800000, 501 0x3f000001, 0x7fcfffff, 0x3f800000, 0x3f800001, 502 0x3f7fffff, 0x7fcfffff, 0x3f800001, 0x3fc00000, 503 0x3f800000, 0x7fcfffff, 0x3fc00000, 0x41200000, 504 0x3f800001, 0x7fcfffff, 0x41200000, 0x7fcfffff, 505 0x3fc00000, 0x7fcfffff, 0x7fcfffff, 0x7f800000, 506 0x41200000, 0x7fcfffff, 0x7f800000, 0x7fd23456, 507 0x7fcfffff, 0x7fcfffff, 0x7f800000, 0x7fd23456, 508 0x41200000, 0x7fcfffff, 0x7f800000, 0x7fd23456, 509 0x41200000, 0x7fcfffff, 0x7fd23456, 0x7fc00001, 510 0x41200000, 0x7fcfffff, 0x7fc00001, 0x00123456, 511 0x7fd23456, 0x7fcfffff, 0x00123456, 0x007fffff, 512 0x7fc00001, 0x7fcfffff, 0x007fffff, 0x00000001, 513 0x00123456, 0x7fcfffff, 0x00000001, 0x80000000, 514 0x007fffff, 0x7fcfffff, 0x80000000, 0x80800000, 515 0x00000001, 0x7fcfffff, 0x80800000, 0xbeffffff, 516 0x80000000, 0x7fcfffff, 0xbeffffff, 0xbf000000, 517 0x80800000, 0x7fcfffff, 0xbf000000, 0xbf000001, 518 0xbeffffff, 0x7fcfffff, 0xbf000001, 0xbf7fffff, 519 0xbf000000, 0x7fcfffff, 0xbf7fffff, 0xbf800000, 520 0xbf000001, 0x7fcfffff, 0xbf800000, 0xbf800001, 521 0xbf7fffff, 0x7fcfffff, 0xbf800001, 0xbfc00000, 522 0xbf800000, 0x7fcfffff, 0xbfc00000, 0xc1200000, 523 0xbf800001, 0x7fcfffff, 0xc1200000, 0xffcfffff, 524 0xbfc00000, 0x7fcfffff, 0xffcfffff, 0xff800000, 525 0xc1200000, 0x7fcfffff, 0xff800000, 0x7fd23456, 526 0xffcfffff, 0x7fcfffff, 0x7f800000, 0x7fd23456, 527 0xff800000, 0x7fcfffff, 0x7f800000, 0xffd23456, 528 0x41200000, 0x7fcfffff, 0xffd23456, 0xffc00001, 529 0x41200000, 0x7fcfffff, 0xffc00001, 0x80123456, 530 0xffd23456, 0x7fcfffff, 0x80123456, 0x807fffff, 531 0xffc00001, 0x7fcfffff, 0x807fffff, 0x80000001, 532 0x7fcfffff, 0x807fffff, 0x80000001, 0x00000000, 533 0x7fcfffff, 0x80000001, 0x00000000, 0x00800000, 534 0x7fcfffff, 0x00000000, 0x00800000, 0x3effffff, 535 0x7fcfffff, 0x00800000, 0x3effffff, 0x3f000000, 536 0x7fcfffff, 0x3effffff, 0x3f000000, 0x3f000001, 537 0x7fcfffff, 0x3f000000, 0x3f000001, 0x3f7fffff, 538 0x7fcfffff, 0x3f000001, 0x3f7fffff, 0x3f800000, 539 0x7fcfffff, 0x3f7fffff, 0x3f800000, 0x3f800001, 540 0x7fcfffff, 0x3f800000, 0x3f800001, 0x3fc00000, 541 0x7fcfffff, 0x3f800001, 0x3fc00000, 0x41200000, 542 0x7fcfffff, 0x3fc00000, 0x41200000, 0x7fcfffff, 543 0x7fcfffff, 0x41200000, 0x7fcfffff, 0x7f800000, 544 0x7fcfffff, 0x7fcfffff, 0x7f800000, 0x7fc00000, 545 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000, 546 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fd23456, 547 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00001, 548 0x7fcfffff, 0x7fd23456, 0x7fc00001, 0x00123456, 549 0x7fcfffff, 0x7fc00001, 0x00123456, 0x007fffff, 550 0x7fcfffff, 0x00123456, 0x007fffff, 0x00000001, 551 0x7fcfffff, 0x007fffff, 0x00000001, 0x80000000, 552 0x7fcfffff, 0x00000001, 0x80000000, 0x80800000, 553 0x7fcfffff, 0x80000000, 0x80800000, 0xbeffffff, 554 0x7fcfffff, 0x80800000, 0xbeffffff, 0xbf000000, 555 0x7fcfffff, 0xbeffffff, 0xbf000000, 0xbf000001, 556 0x7fcfffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 557 0x7fcfffff, 0xbf000001, 0xbf7fffff, 0xbf800000, 558 0x7fcfffff, 0xbf7fffff, 0xbf800000, 0xbf800001, 559 0x7fcfffff, 0xbf800000, 0xbf800001, 0xbfc00000, 560 0x7fcfffff, 0xbf800001, 0xbfc00000, 0xc1200000, 561 0x7fcfffff, 0xbfc00000, 0xc1200000, 0xffcfffff, 562 0x7fcfffff, 0xc1200000, 0xffcfffff, 0xff800000, 563 0x7fcfffff, 0xffcfffff, 0xff800000, 0x7fc00000, 564 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000, 565 0x7fcfffff, 0x7f800000, 0x7fd23456, 0xffd23456, 566 0x7fcfffff, 0x7f800000, 0xffd23456, 0xffc00001, 567 0x7fcfffff, 0xffd23456, 0xffc00001, 0x80123456, 568 0x7fcfffff, 0xffc00001, 0x80123456, 0x807fffff, 569 0x7fcfffff, 0x80123456, 0x807fffff, 0x80000001, 570 0x80123456, 0x807fffff, 0x80000001, 0x7fd23456, 571 0x807fffff, 0x80000001, 0x00000000, 0x7fd23456, 572 0x80000001, 0x00000000, 0x00800000, 0x7fd23456, 573 0x00000000, 0x00800000, 0x3effffff, 0x7fd23456, 574 0x00800000, 0x3effffff, 0x3f000000, 0x7fd23456, 575 0x3effffff, 0x3f000000, 0x3f000001, 0x7fd23456, 576 0x3f000000, 0x3f000001, 0x3f7fffff, 0x7fd23456, 577 0x3f000001, 0x3f7fffff, 0x3f800000, 0x7fd23456, 578 0x3f7fffff, 0x3f800000, 0x3f800001, 0x7fd23456, 579 0x3f800000, 0x3f800001, 0x3fc00000, 0x7fd23456, 580 0x3f800001, 0x3fc00000, 0x41200000, 0x7fd23456, 581 0x3fc00000, 0x41200000, 0x7fcfffff, 0x7fd23456, 582 0x41200000, 0x7fcfffff, 0x7f800000, 0x7fd23456, 583 0x7fcfffff, 0x7f800000, 0x7fc00000, 0x7fd23456, 584 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456, 585 0x7f800000, 0x7fd23456, 0x7fd23456, 0x7fd23456, 586 0x7f800000, 0x7fd23456, 0x7fc00001, 0x7fd23456, 587 0x7fd23456, 0x7fc00001, 0x00123456, 0x7fd23456, 588 0x7fc00001, 0x00123456, 0x007fffff, 0x7fd23456, 589 0x00123456, 0x007fffff, 0x00000001, 0x7fd23456, 590 0x007fffff, 0x00000001, 0x80000000, 0x7fd23456, 591 0x00000001, 0x80000000, 0x80800000, 0x7fd23456, 592 0x80000000, 0x80800000, 0xbeffffff, 0x7fd23456, 593 0x80800000, 0xbeffffff, 0xbf000000, 0x7fd23456, 594 0xbeffffff, 0xbf000000, 0xbf000001, 0x7fd23456, 595 0xbf000000, 0xbf000001, 0xbf7fffff, 0x7fd23456, 596 0xbf000001, 0xbf7fffff, 0xbf800000, 0x7fd23456, 597 0xbf7fffff, 0xbf800000, 0xbf800001, 0x7fd23456, 598 0xbf800000, 0xbf800001, 0xbfc00000, 0x7fd23456, 599 0xbf800001, 0xbfc00000, 0xc1200000, 0x7fd23456, 600 0xbfc00000, 0xc1200000, 0xffcfffff, 0x7fd23456, 601 0xc1200000, 0xffcfffff, 0xff800000, 0x7fd23456, 602 0xffcfffff, 0xff800000, 0x7fc00000, 0x7fd23456, 603 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456, 604 0x7f800000, 0x7fd23456, 0xffd23456, 0x7fd23456, 605 0x7f800000, 0xffd23456, 0xffc00001, 0x7fd23456, 606 0xffd23456, 0xffc00001, 0x80123456, 0x7fd23456, 607 0xffc00001, 0x80123456, 0x807fffff, 0x7fd23456, 608 0x80123456, 0x807fffff, 0x7fd23456, 0x7fc00001, 609 0x807fffff, 0x80000001, 0x7fd23456, 0x7fc00001, 610 0x80000001, 0x00000000, 0x7fd23456, 0x7fc00001, 611 0x00000000, 0x00800000, 0x7fd23456, 0x7fc00001, 612 0x00800000, 0x3effffff, 0x7fd23456, 0x7fc00001, 613 0x3effffff, 0x3f000000, 0x7fd23456, 0x7fc00001, 614 0x3f000000, 0x3f000001, 0x7fd23456, 0x7fc00001, 615 0x3f000001, 0x3f7fffff, 0x7fd23456, 0x7fc00001, 616 0x3f7fffff, 0x3f800000, 0x7fd23456, 0x7fc00001, 617 0x3f800000, 0x3f800001, 0x7fd23456, 0x7fc00001, 618 0x3f800001, 0x3fc00000, 0x7fd23456, 0x7fc00001, 619 0x3fc00000, 0x41200000, 0x7fd23456, 0x7fc00001, 620 0x41200000, 0x7fcfffff, 0x7fd23456, 0x7fc00001, 621 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00001, 622 0x7f800000, 0x7fc00000, 0x7fd23456, 0x7fc00001, 623 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001, 624 0x7fd23456, 0x7fd23456, 0x7fd23456, 0x7fc00001, 625 0x7fd23456, 0x7fc00001, 0x7fd23456, 0x7fc00001, 626 0x7fc00001, 0x00123456, 0x7fd23456, 0x7fc00001, 627 0x00123456, 0x007fffff, 0x7fd23456, 0x7fc00001, 628 0x007fffff, 0x00000001, 0x7fd23456, 0x7fc00001, 629 0x00000001, 0x80000000, 0x7fd23456, 0x7fc00001, 630 0x80000000, 0x80800000, 0x7fd23456, 0x7fc00001, 631 0x80800000, 0xbeffffff, 0x7fd23456, 0x7fc00001, 632 0xbeffffff, 0xbf000000, 0x7fd23456, 0x7fc00001, 633 0xbf000000, 0xbf000001, 0x7fd23456, 0x7fc00001, 634 0xbf000001, 0xbf7fffff, 0x7fd23456, 0x7fc00001, 635 0xbf7fffff, 0xbf800000, 0x7fd23456, 0x7fc00001, 636 0xbf800000, 0xbf800001, 0x7fd23456, 0x7fc00001, 637 0xbf800001, 0xbfc00000, 0x7fd23456, 0x7fc00001, 638 0xbfc00000, 0xc1200000, 0x7fd23456, 0x7fc00001, 639 0xc1200000, 0xffcfffff, 0x7fd23456, 0x7fc00001, 640 0xffcfffff, 0xff800000, 0x7fd23456, 0x7fc00001, 641 0xff800000, 0x7fc00000, 0x7fd23456, 0x7fc00001, 642 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001, 643 0x7fd23456, 0xffd23456, 0x7fd23456, 0x7fc00001, 644 0xffd23456, 0xffc00001, 0x7fd23456, 0x7fc00001, 645 0xffc00001, 0x80123456, 0x7fd23456, 0x7fc00001, 646 0x80123456, 0x7fd23456, 0x7fc00001, 0x00000000, 647 0x807fffff, 0x7fd23456, 0x7fc00001, 0x00123456, 648 0x80000001, 0x7fd23456, 0x7fc00001, 0x00123456, 649 0x00000000, 0x7fd23456, 0x7fc00001, 0x00123456, 650 0x00800000, 0x7fd23456, 0x7fc00001, 0x00123456, 651 0x3effffff, 0x7fd23456, 0x7fc00001, 0x00123456, 652 0x3f000000, 0x7fd23456, 0x7fc00001, 0x00123456, 653 0x3f000001, 0x7fd23456, 0x7fc00001, 0x00123456, 654 0x3f7fffff, 0x7fd23456, 0x7fc00001, 0x00123456, 655 0x3f800000, 0x7fd23456, 0x7fc00001, 0x00123456, 656 0x3f800001, 0x7fd23456, 0x7fc00001, 0x7fcfffff, 657 0x3fc00000, 0x7fd23456, 0x7fc00001, 0x00123456, 658 0x41200000, 0x7fd23456, 0x7fc00001, 0x00123456, 659 0x7fcfffff, 0x7fd23456, 0x7fc00001, 0x00123456, 660 0x7f800000, 0x7fd23456, 0x7fc00001, 0x7fd23456, 661 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fc00001, 662 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00123456, 663 0x7fd23456, 0x7fd23456, 0x7fc00001, 0x00123456, 664 0x7fc00001, 0x7fd23456, 0x7fc00001, 0x00000001, 665 0x00123456, 0x7fd23456, 0x7fc00001, 0x80000000, 666 0x007fffff, 0x7fd23456, 0x7fc00001, 0x80800000, 667 0x00000001, 0x7fd23456, 0x7fc00001, 0xbeffffff, 668 0x80000000, 0x7fd23456, 0x7fc00001, 0xbf000000, 669 0x80800000, 0x7fd23456, 0x7fc00001, 0xbf000001, 670 0xbeffffff, 0x7fd23456, 0x7fc00001, 0xbf7fffff, 671 0xbf000000, 0x7fd23456, 0x7fc00001, 0xbf800000, 672 0xbf000001, 0x7fd23456, 0x7fc00001, 0xbf800001, 673 0xbf7fffff, 0x7fd23456, 0x7fc00001, 0xbfc00000, 674 0xbf800000, 0x7fd23456, 0x7fc00001, 0xc1200000, 675 0xbf800001, 0x7fd23456, 0x7fc00001, 0xffcfffff, 676 0xbfc00000, 0x7fd23456, 0x7fc00001, 0xff800000, 677 0xc1200000, 0x7fd23456, 0x7fc00001, 0x00123456, 678 0xffcfffff, 0x7fd23456, 0x7fc00001, 0x00123456, 679 0xff800000, 0x7fd23456, 0x7fc00001, 0xffd23456, 680 0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffc00001, 681 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80123456, 682 0xffd23456, 0x7fd23456, 0x7fc00001, 0x807fffff, 683 0xffc00001, 0x7fd23456, 0x7fc00001, 0x80000001, 684 0x7fd23456, 0x7fc00001, 0x80000001, 0x00000000, 685 0x7fd23456, 0x7fc00001, 0x00000000, 0x007fffff, 686 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 687 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 688 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 689 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 690 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 691 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 692 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 693 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 694 0x7fd23456, 0x7fc00001, 0x00123456, 0x7fcfffff, 695 0x7fd23456, 0x7fc00001, 0x7fcfffff, 0x007fffff, 696 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 697 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 698 0x7fd23456, 0x7fc00001, 0x00123456, 0x7fd23456, 699 0x7fd23456, 0x7fc00001, 0x7fd23456, 0x7fc00001, 700 0x7fd23456, 0x7fc00001, 0x7fc00001, 0x00123456, 701 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 702 0x7fd23456, 0x7fc00001, 0x00123456, 0x00000001, 703 0x7fd23456, 0x7fc00001, 0x00000001, 0x80000000, 704 0x7fd23456, 0x7fc00001, 0x80000000, 0x80800000, 705 0x7fd23456, 0x7fc00001, 0x80800000, 0xbeffffff, 706 0x7fd23456, 0x7fc00001, 0xbeffffff, 0xbf000000, 707 0x7fd23456, 0x7fc00001, 0xbf000000, 0xbf000001, 708 0x7fd23456, 0x7fc00001, 0xbf000001, 0xbf7fffff, 709 0x7fd23456, 0x7fc00001, 0xbf7fffff, 0xbf800000, 710 0x7fd23456, 0x7fc00001, 0xbf800000, 0xbf800001, 711 0x7fd23456, 0x7fc00001, 0xbf800001, 0xbfc00000, 712 0x7fd23456, 0x7fc00001, 0xbfc00000, 0xc1200000, 713 0x7fd23456, 0x7fc00001, 0xc1200000, 0xffcfffff, 714 0x7fd23456, 0x7fc00001, 0xffcfffff, 0xff800000, 715 0x7fd23456, 0x7fc00001, 0xff800000, 0x007fffff, 716 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff, 717 0x7fd23456, 0x7fc00001, 0x00123456, 0xffd23456, 718 0x7fd23456, 0x7fc00001, 0xffd23456, 0xffc00001, 719 0x7fd23456, 0x7fc00001, 0xffc00001, 0x80123456, 720 0x7fd23456, 0x7fc00001, 0x80123456, 0x807fffff, 721 0x7fd23456, 0x7fc00001, 0x807fffff, 0x80000001, 722 0x7fc00001, 0x807fffff, 0x80000001, 0x00000000, 723 0x7fc00001, 0x80000001, 0x00000000, 0x00000001, 724 0x7fc00001, 0x00000000, 0x007fffff, 0x00000001, 725 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 726 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 727 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 728 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 729 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 730 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 731 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 732 0x7fc00001, 0x00123456, 0x007fffff, 0x7fcfffff, 733 0x7fc00001, 0x00123456, 0x7fcfffff, 0x00000001, 734 0x7fc00001, 0x7fcfffff, 0x007fffff, 0x00000001, 735 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 736 0x7fc00001, 0x00123456, 0x007fffff, 0x7fd23456, 737 0x7fc00001, 0x00123456, 0x7fd23456, 0x7fc00001, 738 0x7fc00001, 0x7fd23456, 0x7fc00001, 0x00000001, 739 0x7fc00001, 0x7fc00001, 0x00123456, 0x00000001, 740 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001, 741 0x7fc00001, 0x00123456, 0x00000001, 0x80000000, 742 0x7fc00001, 0x00000001, 0x80000000, 0x80800000, 743 0x7fc00001, 0x80000000, 0x80800000, 0xbeffffff, 744 0x7fc00001, 0x80800000, 0xbeffffff, 0xbf000000, 745 0x7fc00001, 0xbeffffff, 0xbf000000, 0xbf000001, 746 0x7fc00001, 0xbf000000, 0xbf000001, 0xbf7fffff, 747 0x7fc00001, 0xbf000001, 0xbf7fffff, 0xbf800000, 748 0x7fc00001, 0xbf7fffff, 0xbf800000, 0xbf800001, 749 0x7fc00001, 0xbf800000, 0xbf800001, 0xbfc00000, 750 0x7fc00001, 0xbf800001, 0xbfc00000, 0xc1200000, 751 0x7fc00001, 0xbfc00000, 0xc1200000, 0xffcfffff, 752 0x7fc00001, 0xc1200000, 0xffcfffff, 0xff800000, 753 0x7fc00001, 0xffcfffff, 0xff800000, 0x00000001, 754 0x7fc00001, 0xff800000, 0x007fffff, 0x00000001, 755 0x7fc00001, 0x00123456, 0x007fffff, 0xffd23456, 756 0x7fc00001, 0x00123456, 0xffd23456, 0xffc00001, 757 0x7fc00001, 0xffd23456, 0xffc00001, 0x80123456, 758 0x7fc00001, 0xffc00001, 0x80123456, 0x807fffff, 759 0x7fc00001, 0x80123456, 0x807fffff, 0x80000001, 760 0x80123456, 0x807fffff, 0x80000001, 0x80000000, 761 0x807fffff, 0x80000001, 0x00000000, 0x80000000, 762 0x80000001, 0x00000000, 0x00000001, 0x80000000, 763 0x00000000, 0x007fffff, 0x00000001, 0x80000000, 764 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 765 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 766 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 767 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 768 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 769 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 770 0x00123456, 0x007fffff, 0x00000001, 0x7fcfffff, 771 0x00123456, 0x007fffff, 0x7fcfffff, 0x80000000, 772 0x00123456, 0x7fcfffff, 0x00000001, 0x80000000, 773 0x7fcfffff, 0x007fffff, 0x00000001, 0x80000000, 774 0x00123456, 0x007fffff, 0x00000001, 0x7fd23456, 775 0x00123456, 0x007fffff, 0x7fd23456, 0x7fc00001, 776 0x00123456, 0x7fd23456, 0x7fc00001, 0x80000000, 777 0x7fd23456, 0x7fc00001, 0x00000001, 0x80000000, 778 0x7fc00001, 0x00123456, 0x00000001, 0x80000000, 779 0x00123456, 0x007fffff, 0x00000001, 0x80000000, 780 0x00123456, 0x00000001, 0x80000000, 0x80800000, 781 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 782 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 783 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 784 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 785 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 786 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 787 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 788 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 789 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 790 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 791 0xc1200000, 0xffcfffff, 0xff800000, 0x80000000, 792 0xffcfffff, 0xff800000, 0x00000001, 0x80000000, 793 0xff800000, 0x007fffff, 0x00000001, 0xffd23456, 794 0x00123456, 0x007fffff, 0xffd23456, 0xffc00001, 795 0x00123456, 0xffd23456, 0xffc00001, 0x80123456, 796 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 797 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 798 0x80123456, 0x807fffff, 0x80000001, 0x80800000, 799 0x807fffff, 0x80000001, 0x80000000, 0x80800000, 800 0x80000001, 0x00000000, 0x80000000, 0x80800000, 801 0x00000000, 0x00000001, 0x80000000, 0x80800000, 802 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 803 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 804 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 805 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 806 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 807 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 808 0x007fffff, 0x00000001, 0x80000000, 0x7fcfffff, 809 0x007fffff, 0x00000001, 0x7fcfffff, 0x80800000, 810 0x007fffff, 0x7fcfffff, 0x80000000, 0x80800000, 811 0x7fcfffff, 0x00000001, 0x80000000, 0x80800000, 812 0x007fffff, 0x00000001, 0x80000000, 0x7fd23456, 813 0x007fffff, 0x00000001, 0x7fd23456, 0x7fc00001, 814 0x007fffff, 0x7fd23456, 0x7fc00001, 0x80800000, 815 0x7fd23456, 0x7fc00001, 0x80000000, 0x80800000, 816 0x7fc00001, 0x00000001, 0x80000000, 0x80800000, 817 0x00123456, 0x00000001, 0x80000000, 0x80800000, 818 0x007fffff, 0x00000001, 0x80000000, 0x80800000, 819 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 820 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 821 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 822 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 823 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 824 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 825 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 826 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 827 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 828 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 829 0xc1200000, 0xffcfffff, 0xff800000, 0x80800000, 830 0xffcfffff, 0xff800000, 0x80000000, 0x80800000, 831 0xff800000, 0x00000001, 0x80000000, 0xffd23456, 832 0x007fffff, 0x00000001, 0xffd23456, 0xffc00001, 833 0x007fffff, 0xffd23456, 0xffc00001, 0x80800000, 834 0xffd23456, 0xffc00001, 0x80123456, 0x80800000, 835 0xffc00001, 0x80123456, 0x807fffff, 0x80800000, 836 0x80123456, 0x807fffff, 0x80800000, 0xbeffffff, 837 0x807fffff, 0x80000001, 0x80800000, 0xbeffffff, 838 0x80000001, 0x80000000, 0x80800000, 0xbeffffff, 839 0x00000000, 0x80000000, 0x80800000, 0xbeffffff, 840 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 841 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 842 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 843 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 844 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 845 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 846 0x00000001, 0x80000000, 0x80800000, 0x7fcfffff, 847 0x00000001, 0x80000000, 0x7fcfffff, 0xbeffffff, 848 0x00000001, 0x7fcfffff, 0x80800000, 0xbeffffff, 849 0x7fcfffff, 0x80000000, 0x80800000, 0xbeffffff, 850 0x00000001, 0x80000000, 0x80800000, 0x7fd23456, 851 0x00000001, 0x80000000, 0x7fd23456, 0x7fc00001, 852 0x00000001, 0x7fd23456, 0x7fc00001, 0xbeffffff, 853 0x7fd23456, 0x7fc00001, 0x80800000, 0xbeffffff, 854 0x7fc00001, 0x80000000, 0x80800000, 0xbeffffff, 855 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 856 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 857 0x00000001, 0x80000000, 0x80800000, 0xbeffffff, 858 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 859 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 860 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 861 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 862 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 863 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 864 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 865 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 866 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 867 0xc1200000, 0xffcfffff, 0xff800000, 0xbeffffff, 868 0xffcfffff, 0xff800000, 0x80800000, 0xbeffffff, 869 0xff800000, 0x80000000, 0x80800000, 0xffd23456, 870 0x00000001, 0x80000000, 0xffd23456, 0xffc00001, 871 0x00000001, 0xffd23456, 0xffc00001, 0xbeffffff, 872 0xffd23456, 0xffc00001, 0x80800000, 0xbeffffff, 873 0xffc00001, 0x80123456, 0x80800000, 0xbeffffff, 874 0x80123456, 0x80800000, 0xbeffffff, 0xbf000000, 875 0x807fffff, 0x80800000, 0xbeffffff, 0xbf000000, 876 0x80000001, 0x80800000, 0xbeffffff, 0xbf000000, 877 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 878 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 879 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 880 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 881 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 882 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 883 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 884 0x80000000, 0x80800000, 0xbeffffff, 0x7fcfffff, 885 0x80000000, 0x80800000, 0x7fcfffff, 0xbf000000, 886 0x80000000, 0x7fcfffff, 0xbeffffff, 0xbf000000, 887 0x7fcfffff, 0x80800000, 0xbeffffff, 0xbf000000, 888 0x80000000, 0x80800000, 0xbeffffff, 0x7fd23456, 889 0x80000000, 0x80800000, 0x7fd23456, 0x7fc00001, 890 0x80000000, 0x7fd23456, 0x7fc00001, 0xbf000000, 891 0x7fd23456, 0x7fc00001, 0xbeffffff, 0xbf000000, 892 0x7fc00001, 0x80800000, 0xbeffffff, 0xbf000000, 893 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 894 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 895 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 896 0x80000000, 0x80800000, 0xbeffffff, 0xbf000000, 897 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 898 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 899 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 900 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 901 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 902 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 903 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 904 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 905 0xc1200000, 0xffcfffff, 0xff800000, 0xbf000000, 906 0xffcfffff, 0xff800000, 0xbeffffff, 0xbf000000, 907 0xff800000, 0x80800000, 0xbeffffff, 0xffd23456, 908 0x80000000, 0x80800000, 0xffd23456, 0xffc00001, 909 0x80000000, 0xffd23456, 0xffc00001, 0xbf000000, 910 0xffd23456, 0xffc00001, 0xbeffffff, 0xbf000000, 911 0xffc00001, 0x80800000, 0xbeffffff, 0xbf000000, 912 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 913 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 914 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 915 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 916 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 917 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 918 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 919 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 920 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 921 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 922 0x80800000, 0xbeffffff, 0xbf000000, 0x7fcfffff, 923 0x80800000, 0xbeffffff, 0x7fcfffff, 0xbf000001, 924 0x80800000, 0x7fcfffff, 0xbf000000, 0xbf000001, 925 0x7fcfffff, 0xbeffffff, 0xbf000000, 0xbf000001, 926 0x80800000, 0xbeffffff, 0xbf000000, 0x7fd23456, 927 0x80800000, 0xbeffffff, 0x7fd23456, 0x7fc00001, 928 0x80800000, 0x7fd23456, 0x7fc00001, 0xbf000001, 929 0x7fd23456, 0x7fc00001, 0xbf000000, 0xbf000001, 930 0x7fc00001, 0xbeffffff, 0xbf000000, 0xbf000001, 931 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 932 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 933 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 934 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 935 0x80800000, 0xbeffffff, 0xbf000000, 0xbf000001, 936 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 937 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 938 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 939 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 940 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 941 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 942 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 943 0xc1200000, 0xffcfffff, 0xff800000, 0xbf000001, 944 0xffcfffff, 0xff800000, 0xbf000000, 0xbf000001, 945 0xff800000, 0xbeffffff, 0xbf000000, 0xffd23456, 946 0x80800000, 0xbeffffff, 0xffd23456, 0xffc00001, 947 0x80800000, 0xffd23456, 0xffc00001, 0xbf000001, 948 0xffd23456, 0xffc00001, 0xbf000000, 0xbf000001, 949 0xffc00001, 0xbeffffff, 0xbf000000, 0xbf000001, 950 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 951 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 952 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 953 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 954 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 955 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 956 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 957 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 958 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 959 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 960 0xbeffffff, 0xbf000000, 0xbf000001, 0x7fcfffff, 961 0xbeffffff, 0xbf000000, 0x7fcfffff, 0xbf7fffff, 962 0xbeffffff, 0x7fcfffff, 0xbf000001, 0xbf7fffff, 963 0x7fcfffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 964 0xbeffffff, 0xbf000000, 0xbf000001, 0x7fd23456, 965 0xbeffffff, 0xbf000000, 0x7fd23456, 0x7fc00001, 966 0xbeffffff, 0x7fd23456, 0x7fc00001, 0xbf7fffff, 967 0x7fd23456, 0x7fc00001, 0xbf000001, 0xbf7fffff, 968 0x7fc00001, 0xbf000000, 0xbf000001, 0xbf7fffff, 969 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 970 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 971 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 972 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 973 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 974 0xbeffffff, 0xbf000000, 0xbf000001, 0xbf7fffff, 975 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 976 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 977 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 978 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 979 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 980 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 981 0xc1200000, 0xffcfffff, 0xff800000, 0xbf7fffff, 982 0xffcfffff, 0xff800000, 0xbf000001, 0xbf7fffff, 983 0xff800000, 0xbf000000, 0xbf000001, 0xffd23456, 984 0xbeffffff, 0xbf000000, 0xffd23456, 0xffc00001, 985 0xbeffffff, 0xffd23456, 0xffc00001, 0xbf7fffff, 986 0xffd23456, 0xffc00001, 0xbf000001, 0xbf7fffff, 987 0xffc00001, 0xbf000000, 0xbf000001, 0xbf7fffff, 988 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 989 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 990 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 991 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 992 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 993 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 994 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 995 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 996 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 997 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 998 0xbf000000, 0xbf000001, 0xbf7fffff, 0x7fcfffff, 999 0xbf000000, 0xbf000001, 0x7fcfffff, 0xbf800000, 1000 0xbf000000, 0x7fcfffff, 0xbf7fffff, 0xbf800000, 1001 0x7fcfffff, 0xbf000001, 0xbf7fffff, 0xbf800000, 1002 0xbf000000, 0xbf000001, 0xbf7fffff, 0x7fd23456, 1003 0xbf000000, 0xbf000001, 0x7fd23456, 0x7fc00001, 1004 0xbf000000, 0x7fd23456, 0x7fc00001, 0xbf800000, 1005 0x7fd23456, 0x7fc00001, 0xbf7fffff, 0xbf800000, 1006 0x7fc00001, 0xbf000001, 0xbf7fffff, 0xbf800000, 1007 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 1008 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 1009 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 1010 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 1011 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 1012 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 1013 0xbf000000, 0xbf000001, 0xbf7fffff, 0xbf800000, 1014 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1015 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1016 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1017 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1018 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1019 0xc1200000, 0xffcfffff, 0xff800000, 0xbf800000, 1020 0xffcfffff, 0xff800000, 0xbf7fffff, 0xbf800000, 1021 0xff800000, 0xbf000001, 0xbf7fffff, 0xffd23456, 1022 0xbf000000, 0xbf000001, 0xffd23456, 0xffc00001, 1023 0xbf000000, 0xffd23456, 0xffc00001, 0xbf800000, 1024 0xffd23456, 0xffc00001, 0xbf7fffff, 0xbf800000, 1025 0xffc00001, 0xbf000001, 0xbf7fffff, 0xbf800000, 1026 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1027 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1028 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1029 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1030 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1031 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1032 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1033 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1034 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1035 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1036 0xbf000001, 0xbf7fffff, 0xbf800000, 0x7fcfffff, 1037 0xbf000001, 0xbf7fffff, 0x7fcfffff, 0xbf800001, 1038 0xbf000001, 0x7fcfffff, 0xbf800000, 0xbf800001, 1039 0x7fcfffff, 0xbf7fffff, 0xbf800000, 0xbf800001, 1040 0xbf000001, 0xbf7fffff, 0xbf800000, 0x7fd23456, 1041 0xbf000001, 0xbf7fffff, 0x7fd23456, 0x7fc00001, 1042 0xbf000001, 0x7fd23456, 0x7fc00001, 0xbf800001, 1043 0x7fd23456, 0x7fc00001, 0xbf800000, 0xbf800001, 1044 0x7fc00001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1045 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1046 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1047 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1048 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1049 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1050 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1051 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1052 0xbf000001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1053 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1054 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1055 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1056 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1057 0xc1200000, 0xffcfffff, 0xff800000, 0xbf800001, 1058 0xffcfffff, 0xff800000, 0xbf800000, 0xbf800001, 1059 0xff800000, 0xbf7fffff, 0xbf800000, 0xffd23456, 1060 0xbf000001, 0xbf7fffff, 0xffd23456, 0xffc00001, 1061 0xbf000001, 0xffd23456, 0xffc00001, 0xbf800001, 1062 0xffd23456, 0xffc00001, 0xbf800000, 0xbf800001, 1063 0xffc00001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1064 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1065 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1066 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1067 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1068 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1069 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1070 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1071 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1072 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1073 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1074 0xbf7fffff, 0xbf800000, 0xbf800001, 0x7fcfffff, 1075 0xbf7fffff, 0xbf800000, 0x7fcfffff, 0xbfc00000, 1076 0xbf7fffff, 0x7fcfffff, 0xbf800001, 0xbfc00000, 1077 0x7fcfffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1078 0xbf7fffff, 0xbf800000, 0xbf800001, 0x7fd23456, 1079 0xbf7fffff, 0xbf800000, 0x7fd23456, 0x7fc00001, 1080 0xbf7fffff, 0x7fd23456, 0x7fc00001, 0xbfc00000, 1081 0x7fd23456, 0x7fc00001, 0xbf800001, 0xbfc00000, 1082 0x7fc00001, 0xbf800000, 0xbf800001, 0xbfc00000, 1083 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1084 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1085 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1086 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1087 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1088 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1089 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1090 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1091 0xbf7fffff, 0xbf800000, 0xbf800001, 0xbfc00000, 1092 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1093 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1094 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1095 0xc1200000, 0xffcfffff, 0xff800000, 0xbfc00000, 1096 0xffcfffff, 0xff800000, 0xbf800001, 0xbfc00000, 1097 0xff800000, 0xbf800000, 0xbf800001, 0xffd23456, 1098 0xbf7fffff, 0xbf800000, 0xffd23456, 0xffc00001, 1099 0xbf7fffff, 0xffd23456, 0xffc00001, 0xbfc00000, 1100 0xffd23456, 0xffc00001, 0xbf800001, 0xbfc00000, 1101 0xffc00001, 0xbf800000, 0xbf800001, 0xbfc00000, 1102 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1103 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1104 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1105 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1106 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1107 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1108 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1109 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1110 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1111 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1112 0xbf800000, 0xbf800001, 0xbfc00000, 0x7fcfffff, 1113 0xbf800000, 0xbf800001, 0x7fcfffff, 0xc1200000, 1114 0xbf800000, 0x7fcfffff, 0xbfc00000, 0xc1200000, 1115 0x7fcfffff, 0xbf800001, 0xbfc00000, 0xc1200000, 1116 0xbf800000, 0xbf800001, 0xbfc00000, 0x7fd23456, 1117 0xbf800000, 0xbf800001, 0x7fd23456, 0x7fc00001, 1118 0xbf800000, 0x7fd23456, 0x7fc00001, 0xc1200000, 1119 0x7fd23456, 0x7fc00001, 0xbfc00000, 0xc1200000, 1120 0x7fc00001, 0xbf800001, 0xbfc00000, 0xc1200000, 1121 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1122 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1123 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1124 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1125 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1126 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1127 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1128 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1129 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1130 0xbf800000, 0xbf800001, 0xbfc00000, 0xc1200000, 1131 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1132 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1133 0xc1200000, 0xffcfffff, 0xff800000, 0xc1200000, 1134 0xffcfffff, 0xff800000, 0xbfc00000, 0xc1200000, 1135 0xff800000, 0xbf800001, 0xbfc00000, 0xffd23456, 1136 0xbf800000, 0xbf800001, 0xffd23456, 0xffc00001, 1137 0xbf800000, 0xffd23456, 0xffc00001, 0xc1200000, 1138 0xffd23456, 0xffc00001, 0xbfc00000, 0xc1200000, 1139 0xffc00001, 0xbf800001, 0xbfc00000, 0xc1200000, 1140 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1141 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1142 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1143 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1144 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1145 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1146 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1147 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1148 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1149 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1150 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1151 0xbf800001, 0xbfc00000, 0x7fcfffff, 0xffcfffff, 1152 0xbf800001, 0x7fcfffff, 0xc1200000, 0xffcfffff, 1153 0x7fcfffff, 0xbfc00000, 0xc1200000, 0xffcfffff, 1154 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1155 0xbf800001, 0xbfc00000, 0x7fd23456, 0xffcfffff, 1156 0xbf800001, 0x7fd23456, 0x7fc00001, 0xffcfffff, 1157 0x7fd23456, 0x7fc00001, 0xc1200000, 0xffcfffff, 1158 0x7fc00001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1159 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1160 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1161 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1162 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1163 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1164 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1165 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1166 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1167 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1168 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1169 0xbf800001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1170 0xbfc00000, 0xc1200000, 0xffcfffff, 0xffcfffff, 1171 0xc1200000, 0xffcfffff, 0xff800000, 0xffcfffff, 1172 0xffcfffff, 0xff800000, 0xc1200000, 0xffcfffff, 1173 0xff800000, 0xbfc00000, 0xc1200000, 0xffcfffff, 1174 0xbf800001, 0xbfc00000, 0xffd23456, 0xffcfffff, 1175 0xbf800001, 0xffd23456, 0xffc00001, 0xffcfffff, 1176 0xffd23456, 0xffc00001, 0xc1200000, 0xffcfffff, 1177 0xffc00001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1178 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1179 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1180 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1181 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1182 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1183 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1184 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1185 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1186 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1187 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1188 0xbfc00000, 0xc1200000, 0xffcfffff, 0x7fcfffff, 1189 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1190 0xbfc00000, 0x7fcfffff, 0xffcfffff, 0xff800000, 1191 0x7fcfffff, 0xc1200000, 0xffcfffff, 0xff800000, 1192 0xbfc00000, 0xc1200000, 0xffcfffff, 0x7fd23456, 1193 0xbfc00000, 0xc1200000, 0xffcfffff, 0x7fc00001, 1194 0xbfc00000, 0x7fd23456, 0xffcfffff, 0xff800000, 1195 0x7fd23456, 0x7fc00001, 0xffcfffff, 0xff800000, 1196 0x7fc00001, 0xc1200000, 0xffcfffff, 0xff800000, 1197 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1198 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1199 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1200 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1201 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1202 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1203 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1204 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1205 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1206 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1207 0xbfc00000, 0xc1200000, 0xffcfffff, 0xffcfffff, 1208 0xbfc00000, 0xc1200000, 0xffcfffff, 0xff800000, 1209 0xc1200000, 0xffcfffff, 0xffcfffff, 0xff800000, 1210 0xffcfffff, 0xff800000, 0xffcfffff, 0xff800000, 1211 0xff800000, 0xc1200000, 0xffcfffff, 0xffd23456, 1212 0xbfc00000, 0xc1200000, 0xffcfffff, 0xffc00001, 1213 0xbfc00000, 0xffd23456, 0xffcfffff, 0xff800000, 1214 0xffd23456, 0xffc00001, 0xffcfffff, 0xff800000, 1215 0xffc00001, 0xc1200000, 0xffcfffff, 0xff800000, 1216 0xc1200000, 0xffcfffff, 0xff800000, 0x00000000, 1217 0xc1200000, 0xffcfffff, 0xff800000, 0x00800000, 1218 0xc1200000, 0xffcfffff, 0xff800000, 0x3effffff, 1219 0xc1200000, 0xffcfffff, 0xff800000, 0x3f000000, 1220 0xc1200000, 0xffcfffff, 0xff800000, 0x3f000001, 1221 0xc1200000, 0xffcfffff, 0xff800000, 0x3f7fffff, 1222 0xc1200000, 0xffcfffff, 0xff800000, 0x3f800000, 1223 0xc1200000, 0xffcfffff, 0xff800000, 0x3f800001, 1224 0xc1200000, 0xffcfffff, 0xff800000, 0x3fc00000, 1225 0xc1200000, 0xffcfffff, 0xff800000, 0x41200000, 1226 0xc1200000, 0xffcfffff, 0xff800000, 0x7fcfffff, 1227 0xc1200000, 0xffcfffff, 0x7fcfffff, 0x7f800000, 1228 0xc1200000, 0xffcfffff, 0xff800000, 0xffd23456, 1229 0x7fcfffff, 0xffcfffff, 0xff800000, 0xffd23456, 1230 0xc1200000, 0xffcfffff, 0xff800000, 0x7fd23456, 1231 0xc1200000, 0xffcfffff, 0x7fd23456, 0x7fc00001, 1232 0xc1200000, 0xffcfffff, 0x7fc00001, 0x00123456, 1233 0x7fd23456, 0xffcfffff, 0xff800000, 0x007fffff, 1234 0x7fc00001, 0xffcfffff, 0xff800000, 0x00000001, 1235 0xc1200000, 0xffcfffff, 0xff800000, 0x80000000, 1236 0xc1200000, 0xffcfffff, 0xff800000, 0x80800000, 1237 0xc1200000, 0xffcfffff, 0xff800000, 0xbeffffff, 1238 0xc1200000, 0xffcfffff, 0xff800000, 0xbf000000, 1239 0xc1200000, 0xffcfffff, 0xff800000, 0xbf000001, 1240 0xc1200000, 0xffcfffff, 0xff800000, 0xbf7fffff, 1241 0xc1200000, 0xffcfffff, 0xff800000, 0xbf800000, 1242 0xc1200000, 0xffcfffff, 0xff800000, 0xbf800001, 1243 0xc1200000, 0xffcfffff, 0xff800000, 0xbfc00000, 1244 0xc1200000, 0xffcfffff, 0xff800000, 0xc1200000, 1245 0xc1200000, 0xffcfffff, 0xff800000, 0xffcfffff, 1246 0xc1200000, 0xffcfffff, 0xffcfffff, 0xff800000, 1247 0xc1200000, 0xffcfffff, 0xff800000, 0xffd23456, 1248 0xffcfffff, 0xffcfffff, 0xff800000, 0xffd23456, 1249 0xff800000, 0xffcfffff, 0xff800000, 0xffd23456, 1250 0xc1200000, 0xffcfffff, 0xffd23456, 0xffc00001, 1251 0xc1200000, 0xffcfffff, 0xffc00001, 0x80123456, 1252 0xffd23456, 0xffcfffff, 0xff800000, 0x807fffff, 1253 0xffc00001, 0xffcfffff, 0xff800000, 0x80000001, 1254 0xffcfffff, 0xff800000, 0x80000001, 0x00000000, 1255 0xffcfffff, 0xff800000, 0x00000000, 0x00800000, 1256 0xffcfffff, 0xff800000, 0x00800000, 0x3effffff, 1257 0xffcfffff, 0xff800000, 0x3effffff, 0x3f000000, 1258 0xffcfffff, 0xff800000, 0x3f000000, 0x3f000001, 1259 0xffcfffff, 0xff800000, 0x3f000001, 0x3f7fffff, 1260 0xffcfffff, 0xff800000, 0x3f7fffff, 0x3f800000, 1261 0xffcfffff, 0xff800000, 0x3f800000, 0x3f800001, 1262 0xffcfffff, 0xff800000, 0x3f800001, 0x3fc00000, 1263 0xffcfffff, 0xff800000, 0x3fc00000, 0x41200000, 1264 0xffcfffff, 0xff800000, 0x41200000, 0x7fcfffff, 1265 0xffcfffff, 0xff800000, 0x7fcfffff, 0x7f800000, 1266 0xffcfffff, 0x7fcfffff, 0x7f800000, 0xffc00000, 1267 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000, 1268 0xffcfffff, 0xff800000, 0xffd23456, 0x7fd23456, 1269 0xffcfffff, 0xff800000, 0x7fd23456, 0x7fc00001, 1270 0xffcfffff, 0x7fd23456, 0x7fc00001, 0x00123456, 1271 0xffcfffff, 0x7fc00001, 0x00123456, 0x007fffff, 1272 0xffcfffff, 0xff800000, 0x007fffff, 0x00000001, 1273 0xffcfffff, 0xff800000, 0x00000001, 0x80000000, 1274 0xffcfffff, 0xff800000, 0x80000000, 0x80800000, 1275 0xffcfffff, 0xff800000, 0x80800000, 0xbeffffff, 1276 0xffcfffff, 0xff800000, 0xbeffffff, 0xbf000000, 1277 0xffcfffff, 0xff800000, 0xbf000000, 0xbf000001, 1278 0xffcfffff, 0xff800000, 0xbf000001, 0xbf7fffff, 1279 0xffcfffff, 0xff800000, 0xbf7fffff, 0xbf800000, 1280 0xffcfffff, 0xff800000, 0xbf800000, 0xbf800001, 1281 0xffcfffff, 0xff800000, 0xbf800001, 0xbfc00000, 1282 0xffcfffff, 0xff800000, 0xbfc00000, 0xc1200000, 1283 0xffcfffff, 0xff800000, 0xc1200000, 0xffcfffff, 1284 0xffcfffff, 0xff800000, 0xffcfffff, 0xff800000, 1285 0xffcfffff, 0xffcfffff, 0xff800000, 0xffc00000, 1286 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000, 1287 0xffcfffff, 0xff800000, 0xffd23456, 0xffd23456, 1288 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00001, 1289 0xffcfffff, 0xffd23456, 0xffc00001, 0x80123456, 1290 0xffcfffff, 0xffc00001, 0x80123456, 0x807fffff, 1291 0xffcfffff, 0xff800000, 0x807fffff, 0x80000001, 1292 0xff800000, 0x807fffff, 0x80000001, 0xffd23456, 1293 0xff800000, 0x80000001, 0x00000000, 0xffd23456, 1294 0xff800000, 0x00000000, 0x00800000, 0xffd23456, 1295 0xff800000, 0x00800000, 0x3effffff, 0xffd23456, 1296 0xff800000, 0x3effffff, 0x3f000000, 0xffd23456, 1297 0xff800000, 0x3f000000, 0x3f000001, 0xffd23456, 1298 0xff800000, 0x3f000001, 0x3f7fffff, 0xffd23456, 1299 0xff800000, 0x3f7fffff, 0x3f800000, 0xffd23456, 1300 0xff800000, 0x3f800000, 0x3f800001, 0xffd23456, 1301 0xff800000, 0x3f800001, 0x3fc00000, 0xffd23456, 1302 0xff800000, 0x3fc00000, 0x41200000, 0xffd23456, 1303 0xff800000, 0x41200000, 0x7fcfffff, 0xffd23456, 1304 0xff800000, 0x7fcfffff, 0x7f800000, 0xffd23456, 1305 0x7fcfffff, 0x7f800000, 0xffc00000, 0xffd23456, 1306 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456, 1307 0xff800000, 0xffd23456, 0x7fd23456, 0xffd23456, 1308 0xff800000, 0x7fd23456, 0x7fc00001, 0xffd23456, 1309 0x7fd23456, 0x7fc00001, 0x00123456, 0xffd23456, 1310 0x7fc00001, 0x00123456, 0x007fffff, 0xffd23456, 1311 0xff800000, 0x007fffff, 0x00000001, 0xffd23456, 1312 0xff800000, 0x00000001, 0x80000000, 0xffd23456, 1313 0xff800000, 0x80000000, 0x80800000, 0xffd23456, 1314 0xff800000, 0x80800000, 0xbeffffff, 0xffd23456, 1315 0xff800000, 0xbeffffff, 0xbf000000, 0xffd23456, 1316 0xff800000, 0xbf000000, 0xbf000001, 0xffd23456, 1317 0xff800000, 0xbf000001, 0xbf7fffff, 0xffd23456, 1318 0xff800000, 0xbf7fffff, 0xbf800000, 0xffd23456, 1319 0xff800000, 0xbf800000, 0xbf800001, 0xffd23456, 1320 0xff800000, 0xbf800001, 0xbfc00000, 0xffd23456, 1321 0xff800000, 0xbfc00000, 0xc1200000, 0xffd23456, 1322 0xff800000, 0xc1200000, 0xffcfffff, 0xffd23456, 1323 0xff800000, 0xffcfffff, 0xff800000, 0xffd23456, 1324 0xffcfffff, 0xff800000, 0xffc00000, 0xffd23456, 1325 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456, 1326 0xff800000, 0xffd23456, 0xffd23456, 0xffd23456, 1327 0xff800000, 0xffd23456, 0xffc00001, 0xffd23456, 1328 0xffd23456, 0xffc00001, 0x80123456, 0xffd23456, 1329 0xffc00001, 0x80123456, 0x807fffff, 0xffd23456, 1330 0x80123456, 0x807fffff, 0xffd23456, 0xffc00001, 1331 0x807fffff, 0x80000001, 0xffd23456, 0xffc00001, 1332 0x80000001, 0x00000000, 0xffd23456, 0xffc00001, 1333 0x00000000, 0x00800000, 0xffd23456, 0xffc00001, 1334 0x00800000, 0x3effffff, 0xffd23456, 0xffc00001, 1335 0x3effffff, 0x3f000000, 0xffd23456, 0xffc00001, 1336 0x3f000000, 0x3f000001, 0xffd23456, 0xffc00001, 1337 0x3f000001, 0x3f7fffff, 0xffd23456, 0xffc00001, 1338 0x3f7fffff, 0x3f800000, 0xffd23456, 0xffc00001, 1339 0x3f800000, 0x3f800001, 0xffd23456, 0xffc00001, 1340 0x3f800001, 0x3fc00000, 0xffd23456, 0xffc00001, 1341 0x3fc00000, 0x41200000, 0xffd23456, 0xffc00001, 1342 0x41200000, 0x7fcfffff, 0xffd23456, 0xffc00001, 1343 0x7fcfffff, 0x7f800000, 0xffd23456, 0xffc00001, 1344 0x7f800000, 0xffc00000, 0xffd23456, 0xffc00001, 1345 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001, 1346 0xffd23456, 0x7fd23456, 0xffd23456, 0xffc00001, 1347 0x7fd23456, 0x7fc00001, 0xffd23456, 0xffc00001, 1348 0x7fc00001, 0x00123456, 0xffd23456, 0xffc00001, 1349 0x00123456, 0x007fffff, 0xffd23456, 0xffc00001, 1350 0x007fffff, 0x00000001, 0xffd23456, 0xffc00001, 1351 0x00000001, 0x80000000, 0xffd23456, 0xffc00001, 1352 0x80000000, 0x80800000, 0xffd23456, 0xffc00001, 1353 0x80800000, 0xbeffffff, 0xffd23456, 0xffc00001, 1354 0xbeffffff, 0xbf000000, 0xffd23456, 0xffc00001, 1355 0xbf000000, 0xbf000001, 0xffd23456, 0xffc00001, 1356 0xbf000001, 0xbf7fffff, 0xffd23456, 0xffc00001, 1357 0xbf7fffff, 0xbf800000, 0xffd23456, 0xffc00001, 1358 0xbf800000, 0xbf800001, 0xffd23456, 0xffc00001, 1359 0xbf800001, 0xbfc00000, 0xffd23456, 0xffc00001, 1360 0xbfc00000, 0xc1200000, 0xffd23456, 0xffc00001, 1361 0xc1200000, 0xffcfffff, 0xffd23456, 0xffc00001, 1362 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00001, 1363 0xff800000, 0xffc00000, 0xffd23456, 0xffc00001, 1364 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001, 1365 0xffd23456, 0xffd23456, 0xffd23456, 0xffc00001, 1366 0xffd23456, 0xffc00001, 0xffd23456, 0xffc00001, 1367 0xffc00001, 0x80123456, 0xffd23456, 0xffc00001, 1368 0x80123456, 0xffd23456, 0xffc00001, 0x80123456, 1369 0x807fffff, 0xffd23456, 0xffc00001, 0x80123456, 1370 0x80000001, 0xffd23456, 0xffc00001, 0x80123456, 1371 0x00000000, 0xffd23456, 0xffc00001, 0x80123456, 1372 0x00800000, 0xffd23456, 0xffc00001, 0x80123456, 1373 0x3effffff, 0xffd23456, 0xffc00001, 0x80123456, 1374 0x3f000000, 0xffd23456, 0xffc00001, 0x80123456, 1375 0x3f000001, 0xffd23456, 0xffc00001, 0x80123456, 1376 0x3f7fffff, 0xffd23456, 0xffc00001, 0x80123456, 1377 0x3f800000, 0xffd23456, 0xffc00001, 0x80123456, 1378 0x3f800001, 0xffd23456, 0xffc00001, 0x7fcfffff, 1379 0x3fc00000, 0xffd23456, 0xffc00001, 0x80123456, 1380 0x41200000, 0xffd23456, 0xffc00001, 0x80123456, 1381 0x7fcfffff, 0xffd23456, 0xffc00001, 0x80123456, 1382 0x7f800000, 0xffd23456, 0xffc00001, 0x7fd23456, 1383 0xffc00000, 0xffd23456, 0xffc00001, 0x7fc00001, 1384 0xffc00000, 0xffd23456, 0xffc00001, 0x80123456, 1385 0x7fd23456, 0xffd23456, 0xffc00001, 0x80123456, 1386 0x7fc00001, 0xffd23456, 0xffc00001, 0x80123456, 1387 0x00123456, 0xffd23456, 0xffc00001, 0x80123456, 1388 0x007fffff, 0xffd23456, 0xffc00001, 0x80800000, 1389 0x00000001, 0xffd23456, 0xffc00001, 0xbeffffff, 1390 0x80000000, 0xffd23456, 0xffc00001, 0xbf000000, 1391 0x80800000, 0xffd23456, 0xffc00001, 0xbf000001, 1392 0xbeffffff, 0xffd23456, 0xffc00001, 0xbf7fffff, 1393 0xbf000000, 0xffd23456, 0xffc00001, 0xbf800000, 1394 0xbf000001, 0xffd23456, 0xffc00001, 0xbf800001, 1395 0xbf7fffff, 0xffd23456, 0xffc00001, 0xbfc00000, 1396 0xbf800000, 0xffd23456, 0xffc00001, 0xc1200000, 1397 0xbf800001, 0xffd23456, 0xffc00001, 0xffcfffff, 1398 0xbfc00000, 0xffd23456, 0xffc00001, 0xff800000, 1399 0xc1200000, 0xffd23456, 0xffc00001, 0x80123456, 1400 0xffcfffff, 0xffd23456, 0xffc00001, 0x80123456, 1401 0xff800000, 0xffd23456, 0xffc00001, 0xffd23456, 1402 0xffc00000, 0xffd23456, 0xffc00001, 0xffc00001, 1403 0xffc00000, 0xffd23456, 0xffc00001, 0x80123456, 1404 0xffd23456, 0xffd23456, 0xffc00001, 0x807fffff, 1405 0xffc00001, 0xffd23456, 0xffc00001, 0x80123456, 1406 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1407 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1408 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1409 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1410 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1411 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1412 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1413 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1414 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1415 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1416 0xffd23456, 0xffc00001, 0x80123456, 0x7fcfffff, 1417 0xffd23456, 0xffc00001, 0x7fcfffff, 0x807fffff, 1418 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1419 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1420 0xffd23456, 0xffc00001, 0x80123456, 0x7fd23456, 1421 0xffd23456, 0xffc00001, 0x7fd23456, 0x7fc00001, 1422 0xffd23456, 0xffc00001, 0x7fc00001, 0x807fffff, 1423 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1424 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1425 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1426 0xffd23456, 0xffc00001, 0x80123456, 0x80800000, 1427 0xffd23456, 0xffc00001, 0x80800000, 0xbeffffff, 1428 0xffd23456, 0xffc00001, 0xbeffffff, 0xbf000000, 1429 0xffd23456, 0xffc00001, 0xbf000000, 0xbf000001, 1430 0xffd23456, 0xffc00001, 0xbf000001, 0xbf7fffff, 1431 0xffd23456, 0xffc00001, 0xbf7fffff, 0xbf800000, 1432 0xffd23456, 0xffc00001, 0xbf800000, 0xbf800001, 1433 0xffd23456, 0xffc00001, 0xbf800001, 0xbfc00000, 1434 0xffd23456, 0xffc00001, 0xbfc00000, 0xc1200000, 1435 0xffd23456, 0xffc00001, 0xc1200000, 0xffcfffff, 1436 0xffd23456, 0xffc00001, 0xffcfffff, 0xff800000, 1437 0xffd23456, 0xffc00001, 0xff800000, 0x807fffff, 1438 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1439 0xffd23456, 0xffc00001, 0x80123456, 0xffd23456, 1440 0xffd23456, 0xffc00001, 0xffd23456, 0xffc00001, 1441 0xffd23456, 0xffc00001, 0xffc00001, 0x807fffff, 1442 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff, 1443 0xffd23456, 0xffc00001, 0x807fffff, 0x807fffff, 1444 0xffc00001, 0x807fffff, 0x807fffff, 0x80000001, 1445 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1446 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1447 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1448 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1449 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1450 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1451 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1452 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1453 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1454 0xffc00001, 0x80123456, 0x807fffff, 0x7fcfffff, 1455 0xffc00001, 0x80123456, 0x7fcfffff, 0x80000001, 1456 0xffc00001, 0x7fcfffff, 0x807fffff, 0x80000001, 1457 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1458 0xffc00001, 0x80123456, 0x807fffff, 0x7fd23456, 1459 0xffc00001, 0x80123456, 0x7fd23456, 0x7fc00001, 1460 0xffc00001, 0x7fd23456, 0x7fc00001, 0x80000001, 1461 0xffc00001, 0x7fc00001, 0x807fffff, 0x80000001, 1462 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1463 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1464 0xffc00001, 0x80123456, 0x807fffff, 0x80800000, 1465 0xffc00001, 0x80123456, 0x80800000, 0xbeffffff, 1466 0xffc00001, 0x80800000, 0xbeffffff, 0xbf000000, 1467 0xffc00001, 0xbeffffff, 0xbf000000, 0xbf000001, 1468 0xffc00001, 0xbf000000, 0xbf000001, 0xbf7fffff, 1469 0xffc00001, 0xbf000001, 0xbf7fffff, 0xbf800000, 1470 0xffc00001, 0xbf7fffff, 0xbf800000, 0xbf800001, 1471 0xffc00001, 0xbf800000, 0xbf800001, 0xbfc00000, 1472 0xffc00001, 0xbf800001, 0xbfc00000, 0xc1200000, 1473 0xffc00001, 0xbfc00000, 0xc1200000, 0xffcfffff, 1474 0xffc00001, 0xc1200000, 0xffcfffff, 0xff800000, 1475 0xffc00001, 0xffcfffff, 0xff800000, 0x80000001, 1476 0xffc00001, 0xff800000, 0x807fffff, 0x80000001, 1477 0xffc00001, 0x80123456, 0x807fffff, 0xffd23456, 1478 0xffc00001, 0x80123456, 0xffd23456, 0xffc00001, 1479 0xffc00001, 0xffd23456, 0xffc00001, 0x80123456, 1480 0xffc00001, 0xffc00001, 0x807fffff, 0x807fffff, 1481 0xffc00001, 0x80123456, 0x807fffff, 0x80000001, 1482 }; 1483 const unsigned kExpectedCount_NEON_fminnm_4S = 1444; 1484 1485 #endif // VIXL_SIM_FMINNM_4S_TRACE_A64_H_ 1486
