reorder.ml (24442B)
1 let combining_property_bitmap = "\ 2 \x00\x00\x00\x01\x02\x03\x04\x05\ 3 \x00\x06\x07\x08\x09\x0A\x0B\x0C\ 4 \x0D\x00\x00\x00\x00\x00\x00\x0E\ 5 \x0F\x10\x00\x00\x00\x00\x00\x00\ 6 \x11\x00\x00\x00\x00\x00\x00\x00\ 7 \x00\x00\x00\x00\x00\x00\x00\x00\ 8 \x12\x00\x00\x00\x00\x00\x00\x00\ 9 \x00\x00\x00\x00\x00\x00\x00\x00\ 10 \x00\x00\x00\x00\x00\x00\x00\x00\ 11 \x00\x00\x00\x00\x00\x00\x00\x00\ 12 \x00\x00\x00\x00\x00\x00\x00\x00\ 13 \x00\x00\x00\x00\x00\x00\x00\x00\ 14 \x00\x00\x00\x00\x00\x00\x00\x00\ 15 \x00\x00\x00\x00\x00\x00\x00\x00\ 16 \x00\x00\x00\x00\x00\x00\x00\x00\ 17 \x00\x00\x00\x00\x00\x00\x00\x00\ 18 \x00\x00\x00\x00\x00\x00\x00\x00\ 19 \x00\x00\x00\x00\x00\x00\x00\x00\ 20 \x00\x00\x00\x00\x00\x00\x00\x00\ 21 \x00\x00\x00\x00\x00\x00\x00\x00\ 22 \x00\x00\x00\x00\x00\x00\x00\x00\ 23 \x00\x00\x00\x00\x00\x00\x00\x00\ 24 \x00\x00\x00\x00\x00\x00\x00\x00\ 25 \x00\x00\x00\x00\x00\x00\x00\x00\ 26 \x00\x00\x00\x00\x00\x00\x00\x00\ 27 \x00\x00\x00\x00\x00\x00\x00\x00\ 28 \x00\x00\x00\x00\x00\x00\x00\x00\ 29 \x00\x00\x00\x00\x00\x00\x00\x00\ 30 \x00\x00\x00\x00\x00\x00\x00\x00\ 31 \x00\x00\x00\x00\x00\x00\x00\x00\ 32 \x00\x00\x00\x00\x00\x00\x00\x00\ 33 \x00\x00\x00\x13\x00\x00\x14\x00\ 34 \xE6\xE6\xE6\xE6\xE6\xE6\xE6\xE6\ 35 \xE6\xE6\xE6\xE6\xE6\xE6\xE6\xE6\ 36 \xE6\xE6\xE6\xE6\xE6\xE8\xDC\xDC\ 37 \xDC\xDC\xE8\xD8\xDC\xDC\xDC\xDC\ 38 \xDC\xCA\xCA\xDC\xDC\xDC\xDC\xCA\ 39 \xCA\xDC\xDC\xDC\xDC\xDC\xDC\xDC\ 40 \xDC\xDC\xDC\xDC\x01\x01\x01\x01\ 41 \x01\xDC\xDC\xDC\xDC\xE6\xE6\xE6\ 42 \xE6\xE6\xE6\xE6\xE6\xF0\xE6\xDC\ 43 \xDC\xDC\xE6\xE6\xE6\xDC\xDC\x00\ 44 \xE6\xE6\xE6\xDC\xDC\xDC\xDC\xE6\ 45 \x00\x00\x00\x00\x00\xEA\xEA\xE9\ 46 \xEA\xEA\xE9\xE6\xE6\xE6\xE6\xE6\ 47 \xE6\xE6\xE6\xE6\xE6\xE6\xE6\xE6\ 48 \x00\x00\x00\x00\x00\x00\x00\x00\ 49 \x00\x00\x00\x00\x00\x00\x00\x00\ 50 \x00\x00\x00\x00\x00\x00\x00\x00\ 51 \x00\x00\x00\x00\x00\x00\x00\x00\ 52 \x00\x00\x00\x00\x00\x00\x00\x00\ 53 \x00\x00\x00\x00\x00\x00\x00\x00\ 54 \x00\x00\x00\x00\x00\x00\x00\x00\ 55 \x00\x00\x00\x00\x00\x00\x00\x00\ 56 \x00\x00\x00\x00\x00\x00\x00\x00\ 57 \x00\x00\x00\x00\x00\x00\x00\x00\ 58 \x00\x00\x00\x00\x00\x00\x00\x00\ 59 \x00\x00\x00\x00\x00\x00\x00\x00\ 60 \x00\x00\x00\x00\x00\x00\x00\x00\ 61 \x00\x00\x00\x00\x00\x00\x00\x00\ 62 \x00\x00\x00\x00\x00\x00\x00\x00\ 63 \x00\x00\x00\x00\x00\x00\x00\x00\ 64 \x00\x00\x00\x00\x00\x00\x00\x00\ 65 \x00\x00\x00\x00\x00\x00\x00\x00\ 66 \x00\x00\x00\x00\x00\x00\x00\x00\ 67 \x00\x00\x00\x00\x00\x00\x00\x00\ 68 \x00\x00\x00\x00\x00\x00\x00\x00\ 69 \x00\x00\x00\x00\x00\x00\x00\x00\ 70 \x00\x00\x00\x00\x00\x00\x00\x00\ 71 \x00\x00\x00\x00\x00\x00\x00\x00\ 72 \x00\x00\x00\x00\x00\x00\x00\x00\ 73 \x00\x00\x00\x00\x00\x00\x00\x00\ 74 \x00\x00\x00\x00\x00\x00\x00\x00\ 75 \x00\x00\x00\x00\x00\x00\x00\x00\ 76 \x00\x00\x00\x00\x00\x00\x00\x00\ 77 \x00\x00\x00\x00\x00\x00\x00\x00\ 78 \x00\x00\x00\x00\x00\x00\x00\x00\ 79 \x00\x00\x00\x00\x00\x00\x00\x00\ 80 \x00\x00\x00\x00\x00\x00\x00\x00\ 81 \x00\x00\x00\x00\x00\x00\x00\x00\ 82 \x00\x00\x00\xE6\xE6\xE6\xE6\x00\ 83 \x00\x00\x00\x00\x00\x00\x00\x00\ 84 \x00\x00\x00\x00\x00\x00\x00\x00\ 85 \x00\x00\x00\x00\x00\x00\x00\x00\ 86 \x00\x00\x00\x00\x00\x00\x00\x00\ 87 \x00\x00\x00\x00\x00\x00\x00\x00\ 88 \x00\x00\x00\x00\x00\x00\x00\x00\ 89 \x00\x00\x00\x00\x00\x00\x00\x00\ 90 \x00\x00\x00\x00\x00\x00\x00\x00\ 91 \x00\x00\x00\x00\x00\x00\x00\x00\ 92 \x00\x00\x00\x00\x00\x00\x00\x00\ 93 \x00\x00\x00\x00\x00\x00\x00\x00\ 94 \x00\x00\x00\x00\x00\x00\x00\x00\ 95 \x00\x00\x00\x00\x00\x00\x00\x00\ 96 \x00\x00\x00\x00\x00\x00\x00\x00\ 97 \x00\x00\x00\x00\x00\x00\x00\x00\ 98 \x00\x00\x00\x00\x00\x00\x00\x00\ 99 \x00\x00\x00\x00\x00\x00\x00\x00\ 100 \x00\x00\x00\x00\x00\x00\x00\x00\ 101 \x00\x00\x00\x00\x00\x00\x00\x00\ 102 \x00\x00\x00\x00\x00\x00\x00\x00\ 103 \x00\x00\x00\x00\x00\x00\x00\x00\ 104 \x00\x00\x00\x00\x00\x00\x00\x00\ 105 \x00\x00\x00\x00\x00\x00\x00\x00\ 106 \x00\x00\x00\x00\x00\x00\x00\x00\ 107 \x00\x00\x00\x00\x00\x00\x00\x00\ 108 \x00\x00\x00\x00\x00\x00\x00\x00\ 109 \x00\x00\x00\x00\x00\x00\x00\x00\ 110 \x00\x00\x00\x00\x00\x00\x00\x00\ 111 \x00\x00\x00\x00\x00\x00\x00\x00\ 112 \x00\x00\x00\x00\x00\x00\x00\x00\ 113 \x00\x00\x00\x00\x00\x00\x00\x00\ 114 \x00\x00\x00\x00\x00\x00\x00\x00\ 115 \x00\x00\x00\x00\x00\x00\x00\x00\ 116 \x00\xDC\xE6\xE6\xE6\xE6\xDC\xE6\ 117 \xE6\xE6\xDE\xDC\xE6\xE6\xE6\xE6\ 118 \xE6\xE6\x00\xDC\xDC\xDC\xDC\xDC\ 119 \xE6\xE6\xDC\xE6\xE6\xDE\xE4\xE6\ 120 \x0A\x0B\x0C\x0D\x0E\x0F\x10\x11\ 121 \x12\x13\x00\x14\x15\x16\x00\x17\ 122 \x00\x18\x19\x00\xE6\x00\x00\x00\ 123 \x00\x00\x00\x00\x00\x00\x00\x00\ 124 \x00\x00\x00\x00\x00\x00\x00\x00\ 125 \x00\x00\x00\x00\x00\x00\x00\x00\ 126 \x00\x00\x00\x00\x00\x00\x00\x00\ 127 \x00\x00\x00\x00\x00\x00\x00\x00\ 128 \x00\x00\x00\x00\x00\x00\x00\x00\ 129 \x00\x00\x00\x00\x00\x00\x00\x00\ 130 \x00\x00\x00\x00\x00\x00\x00\x00\ 131 \x00\x00\x00\x00\x00\x00\x00\x00\ 132 \xE6\xE6\xE6\xE6\xE6\xE6\x00\x00\ 133 \x00\x00\x00\x00\x00\x00\x00\x00\ 134 \x00\x00\x00\x00\x00\x00\x00\x00\ 135 \x00\x00\x00\x00\x00\x00\x00\x00\ 136 \x00\x00\x00\x00\x00\x00\x00\x00\ 137 \x00\x00\x00\x00\x00\x00\x00\x00\ 138 \x00\x00\x00\x00\x00\x00\x00\x00\ 139 \x00\x00\x00\x1B\x1C\x1D\x1E\x1F\ 140 \x20\x21\x22\xE6\xE6\xDC\xDC\xE6\ 141 \xE6\x00\x00\x00\x00\x00\x00\x00\ 142 \x00\x00\x00\x00\x00\x00\x00\x00\ 143 \x00\x00\x00\x00\x00\x00\x00\x00\ 144 \x23\x00\x00\x00\x00\x00\x00\x00\ 145 \x00\x00\x00\x00\x00\x00\x00\x00\ 146 \x00\x00\x00\x00\x00\x00\x00\x00\ 147 \x00\x00\x00\x00\x00\x00\x00\x00\ 148 \x00\x00\x00\x00\x00\x00\x00\x00\ 149 \x00\x00\x00\x00\x00\x00\x00\x00\ 150 \x00\x00\x00\x00\x00\x00\x00\x00\ 151 \x00\x00\x00\x00\x00\x00\x00\x00\ 152 \x00\x00\x00\x00\x00\x00\x00\x00\ 153 \x00\x00\x00\x00\x00\x00\x00\x00\ 154 \x00\x00\x00\x00\x00\x00\x00\x00\ 155 \x00\x00\x00\x00\x00\x00\x00\x00\ 156 \x00\x00\x00\x00\x00\x00\xE6\xE6\ 157 \xE6\xE6\xE6\xE6\xE6\x00\x00\xE6\ 158 \xE6\xE6\xE6\xDC\xE6\x00\x00\xE6\ 159 \xE6\x00\xDC\xE6\xE6\xDC\x00\x00\ 160 \x00\x00\x00\x00\x00\x00\x00\x00\ 161 \x00\x00\x00\x00\x00\x00\x00\x00\ 162 \x00\x00\x00\x00\x00\x00\x00\x00\ 163 \x00\x00\x00\x00\x00\x00\x00\x00\ 164 \x00\x24\x00\x00\x00\x00\x00\x00\ 165 \x00\x00\x00\x00\x00\x00\x00\x00\ 166 \x00\x00\x00\x00\x00\x00\x00\x00\ 167 \x00\x00\x00\x00\x00\x00\x00\x00\ 168 \xE6\xDC\xE6\xE6\xDC\xE6\xE6\xDC\ 169 \xDC\xDC\xE6\xDC\xDC\xE6\xDC\xE6\ 170 \xE6\xE6\xDC\xE6\xDC\xE6\xDC\xE6\ 171 \xDC\xE6\xE6\x00\x00\x00\x00\x00\ 172 \x00\x00\x00\x00\x00\x00\x00\x00\ 173 \x00\x00\x00\x00\x00\x00\x00\x00\ 174 \x00\x00\x00\x00\x00\x00\x00\x00\ 175 \x00\x00\x00\x00\x00\x00\x00\x00\ 176 \x00\x00\x00\x00\x00\x00\x00\x00\ 177 \x00\x00\x00\x00\x00\x00\x00\x00\ 178 \x00\x00\x00\x00\x00\x00\x00\x00\ 179 \x00\x00\x00\x00\x00\x00\x00\x00\ 180 \x00\x00\x00\x00\x00\x00\x00\x00\ 181 \x00\x00\x00\x00\x00\x00\x00\x00\ 182 \x00\x00\x00\x00\x00\x00\x00\x00\ 183 \x00\x00\x00\x00\x00\x00\x00\x00\ 184 \x00\x00\x00\x00\x00\x00\x00\x00\ 185 \x00\x00\x00\x00\x00\x00\x00\x00\ 186 \x00\x00\x00\x00\x00\x00\x00\x00\ 187 \x00\x00\x00\x00\x00\x00\x00\x00\ 188 \x00\x00\x00\x00\x00\x00\x00\x00\ 189 \x00\x00\x00\x00\x00\x00\x00\x00\ 190 \x00\x00\x00\x00\x00\x00\x00\x00\ 191 \x00\x00\x00\x00\x00\x00\x00\x00\ 192 \x00\x00\x00\x00\x00\x00\x00\x00\ 193 \x00\x00\x00\x00\x00\x00\x00\x00\ 194 \x00\x00\x00\x00\x00\x00\x00\x00\ 195 \x00\x00\x00\x00\x00\x00\x00\x00\ 196 \x00\x00\x00\x00\x00\x00\x00\x00\ 197 \x00\x00\x00\x00\x00\x00\x00\x00\ 198 \x00\x00\x00\x00\x00\x00\x00\x00\ 199 \x00\x00\x00\x00\x00\x00\x00\x00\ 200 \x00\x00\x00\x00\x00\x00\x00\x00\ 201 \x00\x00\x00\x00\x07\x00\x00\x00\ 202 \x00\x00\x00\x00\x00\x00\x00\x00\ 203 \x00\x00\x00\x00\x00\x09\x00\x00\ 204 \x00\xE6\xDC\xE6\xE6\x00\x00\x00\ 205 \x00\x00\x00\x00\x00\x00\x00\x00\ 206 \x00\x00\x00\x00\x00\x00\x00\x00\ 207 \x00\x00\x00\x00\x00\x00\x00\x00\ 208 \x00\x00\x00\x00\x00\x00\x00\x00\ 209 \x00\x00\x00\x00\x00\x00\x00\x00\ 210 \x00\x00\x00\x00\x00\x00\x00\x00\ 211 \x00\x00\x00\x00\x00\x00\x00\x00\ 212 \x00\x00\x00\x00\x00\x00\x00\x00\ 213 \x00\x00\x00\x00\x00\x00\x00\x00\ 214 \x00\x00\x00\x00\x00\x00\x00\x00\ 215 \x00\x00\x00\x00\x00\x00\x00\x00\ 216 \x00\x00\x00\x00\x00\x00\x00\x00\ 217 \x00\x00\x00\x00\x07\x00\x00\x00\ 218 \x00\x00\x00\x00\x00\x00\x00\x00\ 219 \x00\x00\x00\x00\x00\x09\x00\x00\ 220 \x00\x00\x00\x00\x00\x00\x00\x00\ 221 \x00\x00\x00\x00\x00\x00\x00\x00\ 222 \x00\x00\x00\x00\x00\x00\x00\x00\ 223 \x00\x00\x00\x00\x00\x00\x00\x00\ 224 \x00\x00\x00\x00\x00\x00\x00\x00\ 225 \x00\x00\x00\x00\x00\x00\x00\x00\ 226 \x00\x00\x00\x00\x00\x00\x00\x00\ 227 \x00\x00\x00\x00\x00\x00\x00\x00\ 228 \x00\x00\x00\x00\x00\x00\x00\x00\ 229 \x00\x00\x00\x00\x00\x00\x00\x00\ 230 \x00\x00\x00\x00\x00\x00\x00\x00\ 231 \x00\x00\x00\x00\x00\x00\x00\x00\ 232 \x00\x00\x00\x00\x00\x00\x00\x00\ 233 \x00\x00\x00\x00\x07\x00\x00\x00\ 234 \x00\x00\x00\x00\x00\x00\x00\x00\ 235 \x00\x00\x00\x00\x00\x09\x00\x00\ 236 \x00\x00\x00\x00\x00\x00\x00\x00\ 237 \x00\x00\x00\x00\x00\x00\x00\x00\ 238 \x00\x00\x00\x00\x00\x00\x00\x00\ 239 \x00\x00\x00\x00\x00\x00\x00\x00\ 240 \x00\x00\x00\x00\x00\x00\x00\x00\ 241 \x00\x00\x00\x00\x00\x00\x00\x00\ 242 \x00\x00\x00\x00\x00\x00\x00\x00\ 243 \x00\x00\x00\x00\x00\x00\x00\x00\ 244 \x00\x00\x00\x00\x00\x00\x00\x00\ 245 \x00\x00\x00\x00\x00\x00\x00\x00\ 246 \x00\x00\x00\x00\x00\x00\x00\x00\ 247 \x00\x00\x00\x00\x00\x00\x00\x00\ 248 \x00\x00\x00\x00\x00\x00\x00\x00\ 249 \x00\x00\x00\x00\x07\x00\x00\x00\ 250 \x00\x00\x00\x00\x00\x00\x00\x00\ 251 \x00\x00\x00\x00\x00\x09\x00\x00\ 252 \x00\x00\x00\x00\x00\x00\x00\x00\ 253 \x00\x00\x00\x00\x00\x00\x00\x00\ 254 \x00\x00\x00\x00\x00\x00\x00\x00\ 255 \x00\x00\x00\x00\x00\x00\x00\x00\ 256 \x00\x00\x00\x00\x00\x00\x00\x00\ 257 \x00\x00\x00\x00\x00\x00\x00\x00\ 258 \x00\x00\x00\x00\x00\x00\x00\x00\ 259 \x00\x00\x00\x00\x00\x00\x00\x00\ 260 \x00\x00\x00\x00\x00\x00\x00\x00\ 261 \x00\x00\x00\x00\x00\x00\x00\x00\ 262 \x00\x00\x00\x00\x00\x00\x00\x00\ 263 \x00\x00\x00\x00\x00\x00\x00\x00\ 264 \x00\x00\x00\x00\x00\x00\x00\x00\ 265 \x00\x00\x00\x00\x07\x00\x00\x00\ 266 \x00\x00\x00\x00\x00\x00\x00\x00\ 267 \x00\x00\x00\x00\x00\x09\x00\x00\ 268 \x00\x00\x00\x00\x00\x00\x00\x00\ 269 \x00\x00\x00\x00\x00\x00\x00\x00\ 270 \x00\x00\x00\x00\x00\x00\x00\x00\ 271 \x00\x00\x00\x00\x00\x00\x00\x00\ 272 \x00\x00\x00\x00\x00\x00\x00\x00\ 273 \x00\x00\x00\x00\x00\x00\x00\x00\ 274 \x00\x00\x00\x00\x00\x00\x00\x00\ 275 \x00\x00\x00\x00\x00\x00\x00\x00\ 276 \x00\x00\x00\x00\x00\x00\x00\x00\ 277 \x00\x00\x00\x00\x00\x00\x00\x00\ 278 \x00\x00\x00\x00\x00\x00\x00\x00\ 279 \x00\x00\x00\x00\x00\x00\x00\x00\ 280 \x00\x00\x00\x00\x00\x00\x00\x00\ 281 \x00\x00\x00\x00\x00\x00\x00\x00\ 282 \x00\x00\x00\x00\x00\x00\x00\x00\ 283 \x00\x00\x00\x00\x00\x09\x00\x00\ 284 \x00\x00\x00\x00\x00\x00\x00\x00\ 285 \x00\x00\x00\x00\x00\x00\x00\x00\ 286 \x00\x00\x00\x00\x00\x00\x00\x00\ 287 \x00\x00\x00\x00\x00\x00\x00\x00\ 288 \x00\x00\x00\x00\x00\x00\x00\x00\ 289 \x00\x00\x00\x00\x00\x00\x00\x00\ 290 \x00\x00\x00\x00\x00\x00\x00\x00\ 291 \x00\x00\x00\x00\x00\x00\x00\x00\ 292 \x00\x00\x00\x00\x00\x00\x00\x00\ 293 \x00\x00\x00\x00\x00\x00\x00\x00\ 294 \x00\x00\x00\x00\x00\x00\x00\x00\ 295 \x00\x00\x00\x00\x00\x00\x00\x00\ 296 \x00\x00\x00\x00\x00\x00\x00\x00\ 297 \x00\x00\x00\x00\x00\x00\x00\x00\ 298 \x00\x00\x00\x00\x00\x00\x00\x00\ 299 \x00\x00\x00\x00\x00\x09\x00\x00\ 300 \x00\x00\x00\x00\x00\x54\x5B\x00\ 301 \x00\x00\x00\x00\x00\x00\x00\x00\ 302 \x00\x00\x00\x00\x00\x00\x00\x00\ 303 \x00\x00\x00\x00\x00\x00\x00\x00\ 304 \x00\x00\x00\x00\x00\x00\x00\x00\ 305 \x00\x00\x00\x00\x00\x00\x00\x00\ 306 \x00\x00\x00\x00\x00\x00\x00\x00\ 307 \x00\x00\x00\x00\x00\x00\x00\x00\ 308 \x00\x00\x00\x00\x00\x00\x00\x00\ 309 \x00\x00\x00\x00\x00\x00\x00\x00\ 310 \x00\x00\x00\x00\x00\x00\x00\x00\ 311 \x00\x00\x00\x00\x00\x00\x00\x00\ 312 \x00\x00\x00\x00\x00\x00\x00\x00\ 313 \x00\x00\x00\x00\x07\x00\x00\x00\ 314 \x00\x00\x00\x00\x00\x00\x00\x00\ 315 \x00\x00\x00\x00\x00\x09\x00\x00\ 316 \x00\x00\x00\x00\x00\x00\x00\x00\ 317 \x00\x00\x00\x00\x00\x00\x00\x00\ 318 \x00\x00\x00\x00\x00\x00\x00\x00\ 319 \x00\x00\x00\x00\x00\x00\x00\x00\ 320 \x00\x00\x00\x00\x00\x00\x00\x00\ 321 \x00\x00\x00\x00\x00\x00\x00\x00\ 322 \x00\x00\x00\x00\x00\x00\x00\x00\ 323 \x00\x00\x00\x00\x00\x00\x00\x00\ 324 \x00\x00\x00\x00\x00\x00\x00\x00\ 325 \x00\x00\x00\x00\x00\x00\x00\x00\ 326 \x00\x00\x00\x00\x00\x00\x00\x00\ 327 \x00\x00\x00\x00\x00\x00\x00\x00\ 328 \x00\x00\x00\x00\x00\x00\x00\x00\ 329 \x00\x00\x00\x00\x00\x00\x00\x00\ 330 \x00\x00\x00\x00\x00\x00\x00\x00\ 331 \x00\x00\x00\x00\x00\x09\x00\x00\ 332 \x00\x00\x00\x00\x00\x00\x00\x00\ 333 \x00\x00\x00\x00\x00\x00\x00\x00\ 334 \x00\x00\x00\x00\x00\x00\x00\x00\ 335 \x00\x00\x00\x00\x00\x00\x00\x00\ 336 \x00\x00\x00\x00\x00\x00\x00\x00\ 337 \x00\x00\x00\x00\x00\x00\x00\x00\ 338 \x00\x00\x00\x00\x00\x00\x00\x00\ 339 \x00\x00\x00\x00\x00\x00\x00\x00\ 340 \x00\x00\x00\x00\x00\x00\x00\x00\ 341 \x00\x00\x00\x00\x00\x00\x00\x00\ 342 \x00\x00\x00\x00\x00\x00\x00\x00\ 343 \x00\x00\x00\x00\x00\x00\x00\x00\ 344 \x00\x00\x00\x00\x00\x00\x00\x00\ 345 \x00\x00\x00\x00\x00\x00\x00\x00\ 346 \x00\x00\x00\x00\x00\x00\x00\x00\ 347 \x00\x00\x09\x00\x00\x00\x00\x00\ 348 \x00\x00\x00\x00\x00\x00\x00\x00\ 349 \x00\x00\x00\x00\x00\x00\x00\x00\ 350 \x00\x00\x00\x00\x00\x00\x00\x00\ 351 \x00\x00\x00\x00\x00\x00\x00\x00\ 352 \x00\x00\x00\x00\x00\x00\x00\x00\ 353 \x00\x00\x00\x00\x00\x00\x00\x00\ 354 \x00\x00\x00\x00\x00\x00\x00\x00\ 355 \x00\x00\x00\x00\x00\x00\x00\x00\ 356 \x00\x00\x00\x00\x00\x00\x00\x00\ 357 \x00\x00\x00\x00\x00\x00\x00\x00\ 358 \x00\x00\x00\x00\x00\x00\x00\x00\ 359 \x00\x00\x00\x00\x00\x00\x00\x00\ 360 \x00\x00\x00\x00\x00\x00\x00\x00\ 361 \x67\x67\x09\x00\x00\x00\x00\x00\ 362 \x00\x00\x00\x00\x00\x00\x00\x00\ 363 \x6B\x6B\x6B\x6B\x00\x00\x00\x00\ 364 \x00\x00\x00\x00\x00\x00\x00\x00\ 365 \x00\x00\x00\x00\x00\x00\x00\x00\ 366 \x00\x00\x00\x00\x00\x00\x00\x00\ 367 \x00\x00\x00\x00\x00\x00\x00\x00\ 368 \x00\x00\x00\x00\x00\x00\x00\x00\ 369 \x00\x00\x00\x00\x00\x00\x00\x00\ 370 \x00\x00\x00\x00\x00\x00\x00\x00\ 371 \x00\x00\x00\x00\x00\x00\x00\x00\ 372 \x00\x00\x00\x00\x00\x00\x00\x00\ 373 \x00\x00\x00\x00\x00\x00\x00\x00\ 374 \x00\x00\x00\x00\x00\x00\x00\x00\ 375 \x00\x00\x00\x00\x00\x00\x00\x00\ 376 \x00\x00\x00\x00\x00\x00\x00\x00\ 377 \x76\x76\x00\x00\x00\x00\x00\x00\ 378 \x00\x00\x00\x00\x00\x00\x00\x00\ 379 \x7A\x7A\x7A\x7A\x00\x00\x00\x00\ 380 \x00\x00\x00\x00\x00\x00\x00\x00\ 381 \x00\x00\x00\x00\x00\x00\x00\x00\ 382 \x00\x00\x00\x00\x00\x00\x00\x00\ 383 \x00\x00\x00\x00\x00\x00\x00\x00\ 384 \x00\x00\x00\x00\x00\x00\x00\x00\ 385 \x00\x00\x00\x00\x00\x00\x00\x00\ 386 \x00\x00\x00\x00\x00\x00\x00\x00\ 387 \x00\x00\x00\x00\x00\x00\x00\x00\ 388 \x00\x00\x00\x00\x00\x00\x00\x00\ 389 \xDC\xDC\x00\x00\x00\x00\x00\x00\ 390 \x00\x00\x00\x00\x00\x00\x00\x00\ 391 \x00\x00\x00\x00\x00\x00\x00\x00\ 392 \x00\x00\x00\x00\x00\xDC\x00\xDC\ 393 \x00\xD8\x00\x00\x00\x00\x00\x00\ 394 \x00\x00\x00\x00\x00\x00\x00\x00\ 395 \x00\x00\x00\x00\x00\x00\x00\x00\ 396 \x00\x00\x00\x00\x00\x00\x00\x00\ 397 \x00\x00\x00\x00\x00\x00\x00\x00\ 398 \x00\x00\x00\x00\x00\x00\x00\x00\ 399 \x00\x00\x00\x00\x00\x00\x00\x00\ 400 \x00\x81\x82\x00\x84\x00\x00\x00\ 401 \x00\x00\x82\x82\x82\x82\x00\x00\ 402 \x82\x00\xE6\xE6\x09\x00\xE6\xE6\ 403 \x00\x00\x00\x00\x00\x00\x00\x00\ 404 \x00\x00\x00\x00\x00\x00\x00\x00\ 405 \x00\x00\x00\x00\x00\x00\x00\x00\ 406 \x00\x00\x00\x00\x00\x00\x00\x00\ 407 \x00\x00\x00\x00\x00\x00\x00\x00\ 408 \x00\x00\x00\x00\x00\x00\x00\x00\ 409 \x00\x00\x00\x00\x00\x00\x00\x00\ 410 \x00\x00\x00\x00\x00\x00\xDC\x00\ 411 \x00\x00\x00\x00\x00\x00\x00\x00\ 412 \x00\x00\x00\x00\x00\x00\x00\x00\ 413 \x00\x00\x00\x00\x00\x00\x00\x00\ 414 \x00\x00\x00\x00\x00\x00\x00\x00\ 415 \x00\x00\x00\x00\x00\x00\x00\x00\ 416 \x00\x00\x00\x00\x00\x00\x00\x00\ 417 \x00\x00\x00\x00\x00\x00\x00\x00\ 418 \x00\x00\x00\x00\x00\x00\x00\x00\ 419 \x00\x00\x00\x00\x00\x00\x00\x00\ 420 \x00\x00\x00\x00\x00\x00\x00\x00\ 421 \x00\x00\x00\x00\x00\x00\x00\x00\ 422 \x00\x00\x00\x00\x00\x00\x00\x00\ 423 \x00\x00\x00\x00\x00\x00\x00\x00\ 424 \x00\x00\x00\x00\x00\x00\x00\x07\ 425 \x00\x09\x00\x00\x00\x00\x00\x00\ 426 \x00\x00\x00\x00\x00\x00\x00\x00\ 427 \x00\x00\x00\x00\x00\x00\x00\x00\ 428 \x00\x00\x00\x00\x00\x00\x00\x00\ 429 \x00\x00\x00\x00\x00\x00\x00\x00\ 430 \x00\x00\x00\x00\x00\x00\x00\x00\ 431 \x00\x00\x00\x00\x00\x00\x00\x00\ 432 \x00\x00\x00\x00\x00\x00\x00\x00\ 433 \x00\x00\x00\x00\x00\x00\x00\x00\ 434 \x00\x00\x00\x00\x00\x00\x00\x00\ 435 \x00\x00\x00\x00\x00\x00\x00\x00\ 436 \x00\x00\x00\x00\x00\x00\x00\x00\ 437 \x00\x00\x00\x00\x00\x00\x00\x00\ 438 \x00\x00\x00\x00\x00\x00\x00\x00\ 439 \x00\x00\x00\x00\x00\x00\x00\x00\ 440 \x00\x00\x00\x00\x00\x00\x00\x00\ 441 \x00\x00\x00\x00\x00\x00\x00\x00\ 442 \x00\x00\x00\x00\x00\x00\x00\x00\ 443 \x00\x00\x00\x00\x00\x00\x00\x00\ 444 \x00\x00\x00\x00\x00\x00\x00\x00\ 445 \x00\x00\x00\x00\x00\x00\x00\x00\ 446 \x00\x00\x00\x00\x00\x00\x00\x00\ 447 \x00\x00\x00\x00\x00\x00\x00\x00\ 448 \x00\x00\x00\x00\x00\x00\x00\x00\ 449 \x00\x00\x00\x00\x00\x00\x00\x00\ 450 \x00\x00\x00\x00\x00\x00\x00\x00\ 451 \x00\x00\x00\x00\x00\x00\x00\x00\ 452 \x00\x00\x00\x00\x09\x00\x00\x00\ 453 \x00\x00\x00\x00\x00\x00\x00\x00\ 454 \x00\x00\x00\x00\x00\x00\x00\x00\ 455 \x00\x00\x00\x00\x00\x00\x00\x00\ 456 \x00\x00\x00\x00\x09\x00\x00\x00\ 457 \x00\x00\x00\x00\x00\x00\x00\x00\ 458 \x00\x00\x00\x00\x00\x00\x00\x00\ 459 \x00\x00\x00\x00\x00\x00\x00\x00\ 460 \x00\x00\x00\x00\x00\x00\x00\x00\ 461 \x00\x00\x00\x00\x00\x00\x00\x00\ 462 \x00\x00\x00\x00\x00\x00\x00\x00\ 463 \x00\x00\x00\x00\x00\x00\x00\x00\ 464 \x00\x00\x00\x00\x00\x00\x00\x00\ 465 \x00\x00\x00\x00\x00\x00\x00\x00\ 466 \x00\x00\x00\x00\x00\x00\x00\x00\ 467 \x00\x00\x00\x00\x00\x00\x00\x00\ 468 \x00\x00\x00\x00\x00\x00\x00\x00\ 469 \x00\x00\x00\x00\x00\x00\x00\x00\ 470 \x00\x00\x00\x00\x00\x00\x00\x00\ 471 \x00\x00\x00\x00\x00\x00\x00\x00\ 472 \x00\x00\x00\x00\x00\x00\x00\x00\ 473 \x00\x00\x00\x00\x00\x00\x00\x00\ 474 \x00\x00\x00\x00\x00\x00\x00\x00\ 475 \x00\x00\x00\x00\x00\x00\x00\x00\ 476 \x00\x00\x09\x00\x00\x00\x00\x00\ 477 \x00\x00\x00\x00\x00\xE6\x00\x00\ 478 \x00\x00\x00\x00\x00\x00\x00\x00\ 479 \x00\x00\x00\x00\x00\x00\x00\x00\ 480 \x00\x00\x00\x00\x00\x00\x00\x00\ 481 \x00\x00\x00\x00\x00\x00\x00\x00\ 482 \x00\x00\x00\x00\x00\x00\x00\x00\ 483 \x00\x00\x00\x00\x00\x00\x00\x00\ 484 \x00\x00\x00\x00\x00\x00\x00\x00\ 485 \x00\x00\x00\x00\x00\x00\x00\x00\ 486 \x00\x00\x00\x00\x00\x00\x00\x00\ 487 \x00\x00\x00\x00\x00\x00\x00\x00\ 488 \x00\x00\x00\x00\x00\x00\x00\x00\ 489 \x00\x00\x00\x00\x00\x00\x00\x00\ 490 \x00\x00\x00\x00\x00\x00\x00\x00\ 491 \x00\x00\x00\x00\x00\x00\x00\x00\ 492 \x00\x00\x00\x00\x00\x00\x00\x00\ 493 \x00\x00\x00\x00\x00\x00\x00\x00\ 494 \x00\x00\x00\x00\x00\x00\x00\x00\ 495 \x00\x00\x00\x00\x00\x00\x00\x00\ 496 \x00\x00\x00\x00\x00\x00\x00\x00\ 497 \x00\x00\x00\x00\x00\x00\x00\x00\ 498 \x00\x00\x00\x00\x00\x00\x00\x00\ 499 \x00\x00\x00\x00\x00\x00\x00\x00\ 500 \x00\x00\x00\x00\x00\x00\x00\x00\ 501 \x00\x00\x00\x00\x00\x00\x00\x00\ 502 \x00\x00\x00\x00\x00\x00\x00\x00\ 503 \x00\xE4\x00\x00\x00\x00\x00\x00\ 504 \x00\x00\x00\x00\x00\x00\x00\x00\ 505 \x00\x00\x00\x00\x00\x00\x00\x00\ 506 \x00\x00\x00\x00\x00\x00\x00\x00\ 507 \x00\x00\x00\x00\x00\x00\x00\x00\ 508 \x00\x00\x00\x00\x00\x00\x00\x00\ 509 \x00\x00\x00\x00\x00\x00\x00\x00\ 510 \x00\x00\x00\x00\x00\x00\x00\x00\ 511 \x00\x00\x00\x00\x00\x00\x00\x00\ 512 \x00\x00\x00\x00\x00\x00\x00\x00\ 513 \x00\x00\x00\x00\x00\x00\x00\x00\ 514 \x00\x00\x00\x00\x00\x00\x00\x00\ 515 \x00\x00\x00\x00\x00\x00\x00\x00\ 516 \x00\x00\x00\x00\x00\x00\x00\x00\ 517 \x00\x00\x00\x00\x00\x00\x00\x00\ 518 \x00\x00\x00\x00\x00\x00\x00\x00\ 519 \x00\x00\x00\x00\x00\x00\x00\x00\ 520 \x00\x00\x00\x00\x00\x00\x00\x00\ 521 \x00\xDE\xE6\xDC\x00\x00\x00\x00\ 522 \x00\x00\x00\x00\x00\x00\x00\x00\ 523 \x00\x00\x00\x00\x00\x00\x00\x00\ 524 \x00\x00\x00\x00\x00\x00\x00\x00\ 525 \x00\x00\x00\x00\x00\x00\x00\x00\ 526 \x00\x00\x00\x00\x00\x00\x00\x00\ 527 \x00\x00\x00\x00\x00\x00\x00\x00\ 528 \x00\x00\x00\x00\x00\x00\x00\x00\ 529 \x00\x00\x00\x00\x00\x00\x00\x00\ 530 \x00\x00\x00\x00\x00\x00\x00\x00\ 531 \x00\x00\x00\x00\x00\x00\x00\x00\ 532 \x00\x00\x00\x00\x00\x00\x00\x00\ 533 \x00\x00\x00\x00\x00\x00\x00\x00\ 534 \x00\x00\x00\x00\x00\x00\x00\x00\ 535 \x00\x00\x00\x00\x00\x00\x00\x00\ 536 \x00\x00\x00\x00\x00\x00\x00\x00\ 537 \x00\x00\x00\x00\x00\x00\x00\x00\ 538 \x00\x00\x00\x00\x00\x00\x00\x00\ 539 \x00\x00\x00\x00\x00\x00\x00\x00\ 540 \x00\x00\x00\x00\x00\x00\x00\x00\ 541 \x00\x00\x00\x00\x00\x00\x00\x00\ 542 \x00\x00\x00\x00\x00\x00\x00\x00\ 543 \x00\x00\x00\x00\x00\x00\x00\x00\ 544 \x00\x00\x00\x00\x00\x00\x00\x00\ 545 \x00\x00\x00\x00\x00\x00\x00\x00\ 546 \x00\x00\x00\x00\x00\x00\x00\x00\ 547 \x00\x00\x00\x00\x00\x00\x00\x00\ 548 \x00\x00\x00\x00\x00\x00\x00\x00\ 549 \x00\x00\x00\x00\x00\x00\x00\x00\ 550 \x00\x00\x00\x00\x00\x00\x00\x00\ 551 \x00\x00\x00\x00\x00\x00\x00\x00\ 552 \x00\x00\x00\x00\x00\x00\x00\x00\ 553 \x00\x00\x00\x00\x00\x00\x00\x00\ 554 \x00\x00\x00\x00\x00\x00\x00\x00\ 555 \x00\x00\x00\x00\x00\x00\x00\x00\ 556 \x00\x00\x00\x00\x00\x00\x00\x00\ 557 \x00\x00\x00\x00\x00\x00\x00\x00\ 558 \x00\x00\x00\x00\x00\x00\x00\x00\ 559 \x00\x00\x00\x00\x00\x00\x00\x00\ 560 \x00\x00\x00\x00\x00\x00\x00\x00\ 561 \x00\x00\x00\x00\x00\x00\x00\x00\ 562 \x00\x00\x00\x00\x00\x00\x00\x00\ 563 \x00\x00\x00\x00\x00\x00\x00\x00\ 564 \x00\x00\x00\x00\x00\x00\x00\x00\ 565 \x00\x00\x00\x00\x00\x00\x00\x00\ 566 \x00\x00\x00\x00\x00\x00\x00\x00\ 567 \x00\x00\x00\x00\x00\x00\x00\x00\ 568 \x00\x00\x00\x00\x00\x00\x00\x00\ 569 \x00\x00\x00\x00\x00\x00\x00\x00\ 570 \x00\x00\x00\x00\x00\x00\x00\x00\ 571 \x00\x00\x00\x00\x00\x00\x00\x00\ 572 \xE6\xE6\x01\x01\xE6\xE6\xE6\xE6\ 573 \x01\x01\x01\xE6\xE6\x00\x00\x00\ 574 \x00\xE6\x00\x00\x00\x01\x01\xE6\ 575 \xDC\xE6\x01\x00\x00\x00\x00\x00\ 576 \x00\x00\x00\x00\x00\x00\x00\x00\ 577 \x00\x00\x00\x00\x00\x00\x00\x00\ 578 \x00\x00\x00\x00\x00\x00\x00\x00\ 579 \x00\x00\x00\x00\x00\x00\x00\x00\ 580 \x00\x00\x00\x00\x00\x00\x00\x00\ 581 \x00\x00\x00\x00\x00\x00\x00\x00\ 582 \x00\x00\x00\x00\x00\x00\x00\x00\ 583 \x00\x00\xDA\xE4\xE8\xDE\xE0\xE0\ 584 \x00\x00\x00\x00\x00\x00\x00\x00\ 585 \x00\x00\x00\x00\x00\x00\x00\x00\ 586 \x00\x00\x00\x00\x00\x00\x00\x00\ 587 \x00\x00\x00\x00\x00\x00\x00\x00\ 588 \x00\x00\x00\x00\x00\x00\x00\x00\ 589 \x00\x00\x00\x00\x00\x00\x00\x00\ 590 \x00\x00\x00\x00\x00\x00\x00\x00\ 591 \x00\x00\x00\x00\x00\x00\x00\x00\ 592 \x00\x00\x00\x00\x00\x00\x00\x00\ 593 \x00\x00\x00\x00\x00\x00\x00\x00\ 594 \x00\x00\x00\x00\x00\x00\x00\x00\ 595 \x00\x00\x00\x00\x00\x00\x00\x00\ 596 \x00\x00\x00\x00\x00\x00\x00\x00\ 597 \x00\x08\x08\x00\x00\x00\x00\x00\ 598 \x00\x00\x00\x00\x00\x00\x00\x00\ 599 \x00\x00\x00\x00\x00\x00\x00\x00\ 600 \x00\x00\x00\x00\x00\x00\x00\x00\ 601 \x00\x00\x00\x00\x00\x00\x00\x00\ 602 \x00\x00\x00\x00\x00\x00\x00\x00\ 603 \x00\x00\x00\x00\x00\x00\x00\x00\ 604 \x00\x00\x00\x00\x00\x00\x00\x00\ 605 \x00\x00\x00\x00\x00\x00\x00\x00\ 606 \x00\x00\x00\x00\x00\x00\x00\x00\ 607 \x00\x00\x00\x00\x00\x00\x00\x00\ 608 \x00\x00\x00\x00\x00\x00\x00\x00\ 609 \x00\x00\x00\x00\x00\x00\x00\x00\ 610 \x00\x00\x00\x00\x00\x00\x00\x00\ 611 \x00\x00\x00\x00\x00\x00\x00\x00\ 612 \x00\x00\x00\x00\x00\x00\x00\x00\ 613 \x00\x00\x00\x00\x00\x00\x1A\x00\ 614 \x00\x00\x00\x00\x00\x00\x00\x00\ 615 \x00\x00\x00\x00\x00\x00\x00\x00\ 616 \x00\x00\x00\x00\x00\x00\x00\x00\ 617 \x00\x00\x00\x00\x00\x00\x00\x00\ 618 \x00\x00\x00\x00\x00\x00\x00\x00\ 619 \x00\x00\x00\x00\x00\x00\x00\x00\ 620 \x00\x00\x00\x00\x00\x00\x00\x00\ 621 \x00\x00\x00\x00\x00\x00\x00\x00\ 622 \x00\x00\x00\x00\x00\x00\x00\x00\ 623 \x00\x00\x00\x00\x00\x00\x00\x00\ 624 \x00\x00\x00\x00\x00\x00\x00\x00\ 625 \x00\x00\x00\x00\x00\x00\x00\x00\ 626 \x00\x00\x00\x00\x00\x00\x00\x00\ 627 \x00\x00\x00\x00\x00\x00\x00\x00\ 628 \x00\x00\x00\x00\x00\x00\x00\x00\ 629 \x00\x00\x00\x00\x00\x00\x00\x00\ 630 \x00\x00\x00\x00\x00\x00\x00\x00\ 631 \x00\x00\x00\x00\x00\x00\x00\x00\ 632 \x00\x00\x00\x00\x00\x00\x00\x00\ 633 \x00\x00\x00\x00\x00\x00\x00\x00\ 634 \x00\x00\x00\x00\x00\x00\x00\x00\ 635 \x00\x00\x00\x00\x00\x00\x00\x00\ 636 \x00\x00\x00\x00\x00\x00\x00\x00\ 637 \x00\x00\x00\x00\x00\x00\x00\x00\ 638 \x00\x00\x00\x00\x00\x00\x00\x00\ 639 \x00\x00\x00\x00\x00\x00\x00\x00\ 640 \x00\x00\x00\x00\x00\x00\x00\x00\ 641 \x00\x00\x00\x00\x00\x00\x00\x00\ 642 \x00\x00\x00\x00\x00\x00\x00\x00\ 643 \x00\x00\x00\x00\x00\x00\x00\x00\ 644 \x00\x00\x00\x00\x00\x00\x00\x00\ 645 \x00\x00\x00\x00\x00\x00\x00\x00\ 646 \xE6\xE6\xE6\xE6\x00\x00\x00\x00\ 647 \x00\x00\x00\x00\x00\x00\x00\x00\ 648 \x00\x00\x00\x00\x00\x00\x00\x00\ 649 \x00\x00\x00\x00\x00\x00\x00\x00\ 650 \x00\x00\x00\x00\x00\x00\x00\x00\ 651 \x00\x00\x00\x00\x00\x00\x00\x00\ 652 \x00\x00\x00\x00\x00\x00\x00\x00\ 653 \x00\x00\x00\x00\x00\x00\x00\x00\ 654 \x00\x00\x00\x00\x00\x00\x00\x00\ 655 \x00\x00\x00\x00\x00\x00\x00\x00\ 656 \x00\x00\x00\x00\x00\x00\x00\x00\ 657 \x00\x00\x00\x00\x00\x00\x00\x00\ 658 \x00\x00\x00\x00\x00\x00\x00\x00\ 659 \x00\x00\x00\x00\x00\x00\x00\x00\ 660 \x00\x00\x00\x00\x00\x00\x00\x00\ 661 \x00\x00\x00\x00\x00\x00\x00\x00\ 662 \x00\x00\x00\x00\x00\x00\x00\x00\ 663 \x00\x00\x00\x00\x00\x00\x00\x00\ 664 \x00\x00\x00\x00\x00\x00\x00\x00\ 665 \x00\x00\x00\x00\x00\x00\x00\x00\ 666 \x00\x00\x00\x00\x00\x00\x00\x00\ 667 \x00\x00\x00\x00\x00\x00\x00\x00\ 668 \x00\x00\x00\x00\x00\x00\x00\x00\ 669 \x00\x00\x00\x00\x00\x00\x00\x00\ 670 \x00\x00\x00\x00\x00\x00\x00\x00\ 671 \x00\x00\x00\x00\x00\x00\x00\x00\ 672 \x00\x00\x00\x00\x00\x00\x00\x00\ 673 \x00\x00\x00\x00\x00\x00\x00\x00" 674 675 let combining_class c = 676 if c > 0xffff then 0 else 677 let v = get combining_property_bitmap (c lsr 8) in 678 if v = 0 then 0 else 679 get combining_property_bitmap (v lsl 8 + c land 0xff) 680 681 (* 682 let _ = 683 for c = 0 to 0xffff do 684 let v = combining_class c in 685 if v <> 0 then 686 Format.printf "%04x => %02x@." c v 687 done 688 *) 689 690 let rec find_loc s i l p = 691 if i = 0 then i else 692 let i' = prev_char s i in 693 let (v, _) = decode_char s i' l in 694 let p' = combining_class v in 695 if p' <= p then i else 696 find_loc s i' l p 697 698 let rec scan s i l p = 699 if i < l then begin 700 let c = get s i in 701 if c < 0x80 then 702 scan s (i + 1) l 0 703 else if c < 0xE0 then begin 704 (* 80 - 7FF *) 705 if i + 1 >= l then fail () else 706 let c1 = get s (i + 1) in 707 let v = c lsl 6 + c1 - 0x3080 in 708 cont s i l (i + 2) p v 709 end else if c < 0xF0 then begin 710 (* 800 - FFFF *) 711 if i + 2 >= l then fail () else 712 let c1 = get s (i + 1) in 713 let c2 = get s (i + 2) in 714 let v = c lsl 12 + c1 lsl 6 + c2 - 0xe2080 in 715 cont s i l (i + 3) p v 716 end else begin 717 (* 10000 - 10FFFF *) 718 if i + 3 >= l then fail () else 719 scan s (i + 4) l 0 720 end 721 end 722 723 and cont s i l j p v = 724 let p' = combining_class v in 725 if p' = 0 || p <= p' then 726 scan s j l p' 727 else begin 728 (* move char to the right location *) 729 let k = find_loc s i l p' in 730 let d = j - i in 731 let s' = String.sub s i d in 732 String.blit s k s (k + d) (i - k); 733 String.blit s' 0 s k d; 734 scan s j l p 735 end 736 737 let order s = 738 scan s 0 (String.length s) 0