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