c pigeon-20: placing 21 pigeons into 20 holes c c File generated by 'pigeonhole', (c) Tjark Weber c c The SAT encoding of this problem is very straightforward. For each pigeon i c and each hole j we have a variable x_{n*(i-1)+j} which means that pigeon i c is placed in hole j. Then we have n+1 clauses which say that a pigeon has c to be placed in some hole. Then for each hole we have a set of clauses c ensuring that only one single pigeon is placed into that hole. c c This encoding leads to a total of (n+1) * n propositional variables and c (n+1) + n * (n * (n+1) / 2) clauses. c c The resulting SAT problem is unsatisfiable. c p cnf 420 4221 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 0 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 0 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 0 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 0 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 0 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 0 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 0 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 0 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 0 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 0 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 0 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 0 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 0 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 0 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 0 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 0 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 0 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 0 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 0 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 0 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 0 -1 -21 0 -1 -41 0 -1 -61 0 -1 -81 0 -1 -101 0 -1 -121 0 -1 -141 0 -1 -161 0 -1 -181 0 -1 -201 0 -1 -221 0 -1 -241 0 -1 -261 0 -1 -281 0 -1 -301 0 -1 -321 0 -1 -341 0 -1 -361 0 -1 -381 0 -1 -401 0 -21 -41 0 -21 -61 0 -21 -81 0 -21 -101 0 -21 -121 0 -21 -141 0 -21 -161 0 -21 -181 0 -21 -201 0 -21 -221 0 -21 -241 0 -21 -261 0 -21 -281 0 -21 -301 0 -21 -321 0 -21 -341 0 -21 -361 0 -21 -381 0 -21 -401 0 -41 -61 0 -41 -81 0 -41 -101 0 -41 -121 0 -41 -141 0 -41 -161 0 -41 -181 0 -41 -201 0 -41 -221 0 -41 -241 0 -41 -261 0 -41 -281 0 -41 -301 0 -41 -321 0 -41 -341 0 -41 -361 0 -41 -381 0 -41 -401 0 -61 -81 0 -61 -101 0 -61 -121 0 -61 -141 0 -61 -161 0 -61 -181 0 -61 -201 0 -61 -221 0 -61 -241 0 -61 -261 0 -61 -281 0 -61 -301 0 -61 -321 0 -61 -341 0 -61 -361 0 -61 -381 0 -61 -401 0 -81 -101 0 -81 -121 0 -81 -141 0 -81 -161 0 -81 -181 0 -81 -201 0 -81 -221 0 -81 -241 0 -81 -261 0 -81 -281 0 -81 -301 0 -81 -321 0 -81 -341 0 -81 -361 0 -81 -381 0 -81 -401 0 -101 -121 0 -101 -141 0 -101 -161 0 -101 -181 0 -101 -201 0 -101 -221 0 -101 -241 0 -101 -261 0 -101 -281 0 -101 -301 0 -101 -321 0 -101 -341 0 -101 -361 0 -101 -381 0 -101 -401 0 -121 -141 0 -121 -161 0 -121 -181 0 -121 -201 0 -121 -221 0 -121 -241 0 -121 -261 0 -121 -281 0 -121 -301 0 -121 -321 0 -121 -341 0 -121 -361 0 -121 -381 0 -121 -401 0 -141 -161 0 -141 -181 0 -141 -201 0 -141 -221 0 -141 -241 0 -141 -261 0 -141 -281 0 -141 -301 0 -141 -321 0 -141 -341 0 -141 -361 0 -141 -381 0 -141 -401 0 -161 -181 0 -161 -201 0 -161 -221 0 -161 -241 0 -161 -261 0 -161 -281 0 -161 -301 0 -161 -321 0 -161 -341 0 -161 -361 0 -161 -381 0 -161 -401 0 -181 -201 0 -181 -221 0 -181 -241 0 -181 -261 0 -181 -281 0 -181 -301 0 -181 -321 0 -181 -341 0 -181 -361 0 -181 -381 0 -181 -401 0 -201 -221 0 -201 -241 0 -201 -261 0 -201 -281 0 -201 -301 0 -201 -321 0 -201 -341 0 -201 -361 0 -201 -381 0 -201 -401 0 -221 -241 0 -221 -261 0 -221 -281 0 -221 -301 0 -221 -321 0 -221 -341 0 -221 -361 0 -221 -381 0 -221 -401 0 -241 -261 0 -241 -281 0 -241 -301 0 -241 -321 0 -241 -341 0 -241 -361 0 -241 -381 0 -241 -401 0 -261 -281 0 -261 -301 0 -261 -321 0 -261 -341 0 -261 -361 0 -261 -381 0 -261 -401 0 -281 -301 0 -281 -321 0 -281 -341 0 -281 -361 0 -281 -381 0 -281 -401 0 -301 -321 0 -301 -341 0 -301 -361 0 -301 -381 0 -301 -401 0 -321 -341 0 -321 -361 0 -321 -381 0 -321 -401 0 -341 -361 0 -341 -381 0 -341 -401 0 -361 -381 0 -361 -401 0 -381 -401 0 -2 -22 0 -2 -42 0 -2 -62 0 -2 -82 0 -2 -102 0 -2 -122 0 -2 -142 0 -2 -162 0 -2 -182 0 -2 -202 0 -2 -222 0 -2 -242 0 -2 -262 0 -2 -282 0 -2 -302 0 -2 -322 0 -2 -342 0 -2 -362 0 -2 -382 0 -2 -402 0 -22 -42 0 -22 -62 0 -22 -82 0 -22 -102 0 -22 -122 0 -22 -142 0 -22 -162 0 -22 -182 0 -22 -202 0 -22 -222 0 -22 -242 0 -22 -262 0 -22 -282 0 -22 -302 0 -22 -322 0 -22 -342 0 -22 -362 0 -22 -382 0 -22 -402 0 -42 -62 0 -42 -82 0 -42 -102 0 -42 -122 0 -42 -142 0 -42 -162 0 -42 -182 0 -42 -202 0 -42 -222 0 -42 -242 0 -42 -262 0 -42 -282 0 -42 -302 0 -42 -322 0 -42 -342 0 -42 -362 0 -42 -382 0 -42 -402 0 -62 -82 0 -62 -102 0 -62 -122 0 -62 -142 0 -62 -162 0 -62 -182 0 -62 -202 0 -62 -222 0 -62 -242 0 -62 -262 0 -62 -282 0 -62 -302 0 -62 -322 0 -62 -342 0 -62 -362 0 -62 -382 0 -62 -402 0 -82 -102 0 -82 -122 0 -82 -142 0 -82 -162 0 -82 -182 0 -82 -202 0 -82 -222 0 -82 -242 0 -82 -262 0 -82 -282 0 -82 -302 0 -82 -322 0 -82 -342 0 -82 -362 0 -82 -382 0 -82 -402 0 -102 -122 0 -102 -142 0 -102 -162 0 -102 -182 0 -102 -202 0 -102 -222 0 -102 -242 0 -102 -262 0 -102 -282 0 -102 -302 0 -102 -322 0 -102 -342 0 -102 -362 0 -102 -382 0 -102 -402 0 -122 -142 0 -122 -162 0 -122 -182 0 -122 -202 0 -122 -222 0 -122 -242 0 -122 -262 0 -122 -282 0 -122 -302 0 -122 -322 0 -122 -342 0 -122 -362 0 -122 -382 0 -122 -402 0 -142 -162 0 -142 -182 0 -142 -202 0 -142 -222 0 -142 -242 0 -142 -262 0 -142 -282 0 -142 -302 0 -142 -322 0 -142 -342 0 -142 -362 0 -142 -382 0 -142 -402 0 -162 -182 0 -162 -202 0 -162 -222 0 -162 -242 0 -162 -262 0 -162 -282 0 -162 -302 0 -162 -322 0 -162 -342 0 -162 -362 0 -162 -382 0 -162 -402 0 -182 -202 0 -182 -222 0 -182 -242 0 -182 -262 0 -182 -282 0 -182 -302 0 -182 -322 0 -182 -342 0 -182 -362 0 -182 -382 0 -182 -402 0 -202 -222 0 -202 -242 0 -202 -262 0 -202 -282 0 -202 -302 0 -202 -322 0 -202 -342 0 -202 -362 0 -202 -382 0 -202 -402 0 -222 -242 0 -222 -262 0 -222 -282 0 -222 -302 0 -222 -322 0 -222 -342 0 -222 -362 0 -222 -382 0 -222 -402 0 -242 -262 0 -242 -282 0 -242 -302 0 -242 -322 0 -242 -342 0 -242 -362 0 -242 -382 0 -242 -402 0 -262 -282 0 -262 -302 0 -262 -322 0 -262 -342 0 -262 -362 0 -262 -382 0 -262 -402 0 -282 -302 0 -282 -322 0 -282 -342 0 -282 -362 0 -282 -382 0 -282 -402 0 -302 -322 0 -302 -342 0 -302 -362 0 -302 -382 0 -302 -402 0 -322 -342 0 -322 -362 0 -322 -382 0 -322 -402 0 -342 -362 0 -342 -382 0 -342 -402 0 -362 -382 0 -362 -402 0 -382 -402 0 -3 -23 0 -3 -43 0 -3 -63 0 -3 -83 0 -3 -103 0 -3 -123 0 -3 -143 0 -3 -163 0 -3 -183 0 -3 -203 0 -3 -223 0 -3 -243 0 -3 -263 0 -3 -283 0 -3 -303 0 -3 -323 0 -3 -343 0 -3 -363 0 -3 -383 0 -3 -403 0 -23 -43 0 -23 -63 0 -23 -83 0 -23 -103 0 -23 -123 0 -23 -143 0 -23 -163 0 -23 -183 0 -23 -203 0 -23 -223 0 -23 -243 0 -23 -263 0 -23 -283 0 -23 -303 0 -23 -323 0 -23 -343 0 -23 -363 0 -23 -383 0 -23 -403 0 -43 -63 0 -43 -83 0 -43 -103 0 -43 -123 0 -43 -143 0 -43 -163 0 -43 -183 0 -43 -203 0 -43 -223 0 -43 -243 0 -43 -263 0 -43 -283 0 -43 -303 0 -43 -323 0 -43 -343 0 -43 -363 0 -43 -383 0 -43 -403 0 -63 -83 0 -63 -103 0 -63 -123 0 -63 -143 0 -63 -163 0 -63 -183 0 -63 -203 0 -63 -223 0 -63 -243 0 -63 -263 0 -63 -283 0 -63 -303 0 -63 -323 0 -63 -343 0 -63 -363 0 -63 -383 0 -63 -403 0 -83 -103 0 -83 -123 0 -83 -143 0 -83 -163 0 -83 -183 0 -83 -203 0 -83 -223 0 -83 -243 0 -83 -263 0 -83 -283 0 -83 -303 0 -83 -323 0 -83 -343 0 -83 -363 0 -83 -383 0 -83 -403 0 -103 -123 0 -103 -143 0 -103 -163 0 -103 -183 0 -103 -203 0 -103 -223 0 -103 -243 0 -103 -263 0 -103 -283 0 -103 -303 0 -103 -323 0 -103 -343 0 -103 -363 0 -103 -383 0 -103 -403 0 -123 -143 0 -123 -163 0 -123 -183 0 -123 -203 0 -123 -223 0 -123 -243 0 -123 -263 0 -123 -283 0 -123 -303 0 -123 -323 0 -123 -343 0 -123 -363 0 -123 -383 0 -123 -403 0 -143 -163 0 -143 -183 0 -143 -203 0 -143 -223 0 -143 -243 0 -143 -263 0 -143 -283 0 -143 -303 0 -143 -323 0 -143 -343 0 -143 -363 0 -143 -383 0 -143 -403 0 -163 -183 0 -163 -203 0 -163 -223 0 -163 -243 0 -163 -263 0 -163 -283 0 -163 -303 0 -163 -323 0 -163 -343 0 -163 -363 0 -163 -383 0 -163 -403 0 -183 -203 0 -183 -223 0 -183 -243 0 -183 -263 0 -183 -283 0 -183 -303 0 -183 -323 0 -183 -343 0 -183 -363 0 -183 -383 0 -183 -403 0 -203 -223 0 -203 -243 0 -203 -263 0 -203 -283 0 -203 -303 0 -203 -323 0 -203 -343 0 -203 -363 0 -203 -383 0 -203 -403 0 -223 -243 0 -223 -263 0 -223 -283 0 -223 -303 0 -223 -323 0 -223 -343 0 -223 -363 0 -223 -383 0 -223 -403 0 -243 -263 0 -243 -283 0 -243 -303 0 -243 -323 0 -243 -343 0 -243 -363 0 -243 -383 0 -243 -403 0 -263 -283 0 -263 -303 0 -263 -323 0 -263 -343 0 -263 -363 0 -263 -383 0 -263 -403 0 -283 -303 0 -283 -323 0 -283 -343 0 -283 -363 0 -283 -383 0 -283 -403 0 -303 -323 0 -303 -343 0 -303 -363 0 -303 -383 0 -303 -403 0 -323 -343 0 -323 -363 0 -323 -383 0 -323 -403 0 -343 -363 0 -343 -383 0 -343 -403 0 -363 -383 0 -363 -403 0 -383 -403 0 -4 -24 0 -4 -44 0 -4 -64 0 -4 -84 0 -4 -104 0 -4 -124 0 -4 -144 0 -4 -164 0 -4 -184 0 -4 -204 0 -4 -224 0 -4 -244 0 -4 -264 0 -4 -284 0 -4 -304 0 -4 -324 0 -4 -344 0 -4 -364 0 -4 -384 0 -4 -404 0 -24 -44 0 -24 -64 0 -24 -84 0 -24 -104 0 -24 -124 0 -24 -144 0 -24 -164 0 -24 -184 0 -24 -204 0 -24 -224 0 -24 -244 0 -24 -264 0 -24 -284 0 -24 -304 0 -24 -324 0 -24 -344 0 -24 -364 0 -24 -384 0 -24 -404 0 -44 -64 0 -44 -84 0 -44 -104 0 -44 -124 0 -44 -144 0 -44 -164 0 -44 -184 0 -44 -204 0 -44 -224 0 -44 -244 0 -44 -264 0 -44 -284 0 -44 -304 0 -44 -324 0 -44 -344 0 -44 -364 0 -44 -384 0 -44 -404 0 -64 -84 0 -64 -104 0 -64 -124 0 -64 -144 0 -64 -164 0 -64 -184 0 -64 -204 0 -64 -224 0 -64 -244 0 -64 -264 0 -64 -284 0 -64 -304 0 -64 -324 0 -64 -344 0 -64 -364 0 -64 -384 0 -64 -404 0 -84 -104 0 -84 -124 0 -84 -144 0 -84 -164 0 -84 -184 0 -84 -204 0 -84 -224 0 -84 -244 0 -84 -264 0 -84 -284 0 -84 -304 0 -84 -324 0 -84 -344 0 -84 -364 0 -84 -384 0 -84 -404 0 -104 -124 0 -104 -144 0 -104 -164 0 -104 -184 0 -104 -204 0 -104 -224 0 -104 -244 0 -104 -264 0 -104 -284 0 -104 -304 0 -104 -324 0 -104 -344 0 -104 -364 0 -104 -384 0 -104 -404 0 -124 -144 0 -124 -164 0 -124 -184 0 -124 -204 0 -124 -224 0 -124 -244 0 -124 -264 0 -124 -284 0 -124 -304 0 -124 -324 0 -124 -344 0 -124 -364 0 -124 -384 0 -124 -404 0 -144 -164 0 -144 -184 0 -144 -204 0 -144 -224 0 -144 -244 0 -144 -264 0 -144 -284 0 -144 -304 0 -144 -324 0 -144 -344 0 -144 -364 0 -144 -384 0 -144 -404 0 -164 -184 0 -164 -204 0 -164 -224 0 -164 -244 0 -164 -264 0 -164 -284 0 -164 -304 0 -164 -324 0 -164 -344 0 -164 -364 0 -164 -384 0 -164 -404 0 -184 -204 0 -184 -224 0 -184 -244 0 -184 -264 0 -184 -284 0 -184 -304 0 -184 -324 0 -184 -344 0 -184 -364 0 -184 -384 0 -184 -404 0 -204 -224 0 -204 -244 0 -204 -264 0 -204 -284 0 -204 -304 0 -204 -324 0 -204 -344 0 -204 -364 0 -204 -384 0 -204 -404 0 -224 -244 0 -224 -264 0 -224 -284 0 -224 -304 0 -224 -324 0 -224 -344 0 -224 -364 0 -224 -384 0 -224 -404 0 -244 -264 0 -244 -284 0 -244 -304 0 -244 -324 0 -244 -344 0 -244 -364 0 -244 -384 0 -244 -404 0 -264 -284 0 -264 -304 0 -264 -324 0 -264 -344 0 -264 -364 0 -264 -384 0 -264 -404 0 -284 -304 0 -284 -324 0 -284 -344 0 -284 -364 0 -284 -384 0 -284 -404 0 -304 -324 0 -304 -344 0 -304 -364 0 -304 -384 0 -304 -404 0 -324 -344 0 -324 -364 0 -324 -384 0 -324 -404 0 -344 -364 0 -344 -384 0 -344 -404 0 -364 -384 0 -364 -404 0 -384 -404 0 -5 -25 0 -5 -45 0 -5 -65 0 -5 -85 0 -5 -105 0 -5 -125 0 -5 -145 0 -5 -165 0 -5 -185 0 -5 -205 0 -5 -225 0 -5 -245 0 -5 -265 0 -5 -285 0 -5 -305 0 -5 -325 0 -5 -345 0 -5 -365 0 -5 -385 0 -5 -405 0 -25 -45 0 -25 -65 0 -25 -85 0 -25 -105 0 -25 -125 0 -25 -145 0 -25 -165 0 -25 -185 0 -25 -205 0 -25 -225 0 -25 -245 0 -25 -265 0 -25 -285 0 -25 -305 0 -25 -325 0 -25 -345 0 -25 -365 0 -25 -385 0 -25 -405 0 -45 -65 0 -45 -85 0 -45 -105 0 -45 -125 0 -45 -145 0 -45 -165 0 -45 -185 0 -45 -205 0 -45 -225 0 -45 -245 0 -45 -265 0 -45 -285 0 -45 -305 0 -45 -325 0 -45 -345 0 -45 -365 0 -45 -385 0 -45 -405 0 -65 -85 0 -65 -105 0 -65 -125 0 -65 -145 0 -65 -165 0 -65 -185 0 -65 -205 0 -65 -225 0 -65 -245 0 -65 -265 0 -65 -285 0 -65 -305 0 -65 -325 0 -65 -345 0 -65 -365 0 -65 -385 0 -65 -405 0 -85 -105 0 -85 -125 0 -85 -145 0 -85 -165 0 -85 -185 0 -85 -205 0 -85 -225 0 -85 -245 0 -85 -265 0 -85 -285 0 -85 -305 0 -85 -325 0 -85 -345 0 -85 -365 0 -85 -385 0 -85 -405 0 -105 -125 0 -105 -145 0 -105 -165 0 -105 -185 0 -105 -205 0 -105 -225 0 -105 -245 0 -105 -265 0 -105 -285 0 -105 -305 0 -105 -325 0 -105 -345 0 -105 -365 0 -105 -385 0 -105 -405 0 -125 -145 0 -125 -165 0 -125 -185 0 -125 -205 0 -125 -225 0 -125 -245 0 -125 -265 0 -125 -285 0 -125 -305 0 -125 -325 0 -125 -345 0 -125 -365 0 -125 -385 0 -125 -405 0 -145 -165 0 -145 -185 0 -145 -205 0 -145 -225 0 -145 -245 0 -145 -265 0 -145 -285 0 -145 -305 0 -145 -325 0 -145 -345 0 -145 -365 0 -145 -385 0 -145 -405 0 -165 -185 0 -165 -205 0 -165 -225 0 -165 -245 0 -165 -265 0 -165 -285 0 -165 -305 0 -165 -325 0 -165 -345 0 -165 -365 0 -165 -385 0 -165 -405 0 -185 -205 0 -185 -225 0 -185 -245 0 -185 -265 0 -185 -285 0 -185 -305 0 -185 -325 0 -185 -345 0 -185 -365 0 -185 -385 0 -185 -405 0 -205 -225 0 -205 -245 0 -205 -265 0 -205 -285 0 -205 -305 0 -205 -325 0 -205 -345 0 -205 -365 0 -205 -385 0 -205 -405 0 -225 -245 0 -225 -265 0 -225 -285 0 -225 -305 0 -225 -325 0 -225 -345 0 -225 -365 0 -225 -385 0 -225 -405 0 -245 -265 0 -245 -285 0 -245 -305 0 -245 -325 0 -245 -345 0 -245 -365 0 -245 -385 0 -245 -405 0 -265 -285 0 -265 -305 0 -265 -325 0 -265 -345 0 -265 -365 0 -265 -385 0 -265 -405 0 -285 -305 0 -285 -325 0 -285 -345 0 -285 -365 0 -285 -385 0 -285 -405 0 -305 -325 0 -305 -345 0 -305 -365 0 -305 -385 0 -305 -405 0 -325 -345 0 -325 -365 0 -325 -385 0 -325 -405 0 -345 -365 0 -345 -385 0 -345 -405 0 -365 -385 0 -365 -405 0 -385 -405 0 -6 -26 0 -6 -46 0 -6 -66 0 -6 -86 0 -6 -106 0 -6 -126 0 -6 -146 0 -6 -166 0 -6 -186 0 -6 -206 0 -6 -226 0 -6 -246 0 -6 -266 0 -6 -286 0 -6 -306 0 -6 -326 0 -6 -346 0 -6 -366 0 -6 -386 0 -6 -406 0 -26 -46 0 -26 -66 0 -26 -86 0 -26 -106 0 -26 -126 0 -26 -146 0 -26 -166 0 -26 -186 0 -26 -206 0 -26 -226 0 -26 -246 0 -26 -266 0 -26 -286 0 -26 -306 0 -26 -326 0 -26 -346 0 -26 -366 0 -26 -386 0 -26 -406 0 -46 -66 0 -46 -86 0 -46 -106 0 -46 -126 0 -46 -146 0 -46 -166 0 -46 -186 0 -46 -206 0 -46 -226 0 -46 -246 0 -46 -266 0 -46 -286 0 -46 -306 0 -46 -326 0 -46 -346 0 -46 -366 0 -46 -386 0 -46 -406 0 -66 -86 0 -66 -106 0 -66 -126 0 -66 -146 0 -66 -166 0 -66 -186 0 -66 -206 0 -66 -226 0 -66 -246 0 -66 -266 0 -66 -286 0 -66 -306 0 -66 -326 0 -66 -346 0 -66 -366 0 -66 -386 0 -66 -406 0 -86 -106 0 -86 -126 0 -86 -146 0 -86 -166 0 -86 -186 0 -86 -206 0 -86 -226 0 -86 -246 0 -86 -266 0 -86 -286 0 -86 -306 0 -86 -326 0 -86 -346 0 -86 -366 0 -86 -386 0 -86 -406 0 -106 -126 0 -106 -146 0 -106 -166 0 -106 -186 0 -106 -206 0 -106 -226 0 -106 -246 0 -106 -266 0 -106 -286 0 -106 -306 0 -106 -326 0 -106 -346 0 -106 -366 0 -106 -386 0 -106 -406 0 -126 -146 0 -126 -166 0 -126 -186 0 -126 -206 0 -126 -226 0 -126 -246 0 -126 -266 0 -126 -286 0 -126 -306 0 -126 -326 0 -126 -346 0 -126 -366 0 -126 -386 0 -126 -406 0 -146 -166 0 -146 -186 0 -146 -206 0 -146 -226 0 -146 -246 0 -146 -266 0 -146 -286 0 -146 -306 0 -146 -326 0 -146 -346 0 -146 -366 0 -146 -386 0 -146 -406 0 -166 -186 0 -166 -206 0 -166 -226 0 -166 -246 0 -166 -266 0 -166 -286 0 -166 -306 0 -166 -326 0 -166 -346 0 -166 -366 0 -166 -386 0 -166 -406 0 -186 -206 0 -186 -226 0 -186 -246 0 -186 -266 0 -186 -286 0 -186 -306 0 -186 -326 0 -186 -346 0 -186 -366 0 -186 -386 0 -186 -406 0 -206 -226 0 -206 -246 0 -206 -266 0 -206 -286 0 -206 -306 0 -206 -326 0 -206 -346 0 -206 -366 0 -206 -386 0 -206 -406 0 -226 -246 0 -226 -266 0 -226 -286 0 -226 -306 0 -226 -326 0 -226 -346 0 -226 -366 0 -226 -386 0 -226 -406 0 -246 -266 0 -246 -286 0 -246 -306 0 -246 -326 0 -246 -346 0 -246 -366 0 -246 -386 0 -246 -406 0 -266 -286 0 -266 -306 0 -266 -326 0 -266 -346 0 -266 -366 0 -266 -386 0 -266 -406 0 -286 -306 0 -286 -326 0 -286 -346 0 -286 -366 0 -286 -386 0 -286 -406 0 -306 -326 0 -306 -346 0 -306 -366 0 -306 -386 0 -306 -406 0 -326 -346 0 -326 -366 0 -326 -386 0 -326 -406 0 -346 -366 0 -346 -386 0 -346 -406 0 -366 -386 0 -366 -406 0 -386 -406 0 -7 -27 0 -7 -47 0 -7 -67 0 -7 -87 0 -7 -107 0 -7 -127 0 -7 -147 0 -7 -167 0 -7 -187 0 -7 -207 0 -7 -227 0 -7 -247 0 -7 -267 0 -7 -287 0 -7 -307 0 -7 -327 0 -7 -347 0 -7 -367 0 -7 -387 0 -7 -407 0 -27 -47 0 -27 -67 0 -27 -87 0 -27 -107 0 -27 -127 0 -27 -147 0 -27 -167 0 -27 -187 0 -27 -207 0 -27 -227 0 -27 -247 0 -27 -267 0 -27 -287 0 -27 -307 0 -27 -327 0 -27 -347 0 -27 -367 0 -27 -387 0 -27 -407 0 -47 -67 0 -47 -87 0 -47 -107 0 -47 -127 0 -47 -147 0 -47 -167 0 -47 -187 0 -47 -207 0 -47 -227 0 -47 -247 0 -47 -267 0 -47 -287 0 -47 -307 0 -47 -327 0 -47 -347 0 -47 -367 0 -47 -387 0 -47 -407 0 -67 -87 0 -67 -107 0 -67 -127 0 -67 -147 0 -67 -167 0 -67 -187 0 -67 -207 0 -67 -227 0 -67 -247 0 -67 -267 0 -67 -287 0 -67 -307 0 -67 -327 0 -67 -347 0 -67 -367 0 -67 -387 0 -67 -407 0 -87 -107 0 -87 -127 0 -87 -147 0 -87 -167 0 -87 -187 0 -87 -207 0 -87 -227 0 -87 -247 0 -87 -267 0 -87 -287 0 -87 -307 0 -87 -327 0 -87 -347 0 -87 -367 0 -87 -387 0 -87 -407 0 -107 -127 0 -107 -147 0 -107 -167 0 -107 -187 0 -107 -207 0 -107 -227 0 -107 -247 0 -107 -267 0 -107 -287 0 -107 -307 0 -107 -327 0 -107 -347 0 -107 -367 0 -107 -387 0 -107 -407 0 -127 -147 0 -127 -167 0 -127 -187 0 -127 -207 0 -127 -227 0 -127 -247 0 -127 -267 0 -127 -287 0 -127 -307 0 -127 -327 0 -127 -347 0 -127 -367 0 -127 -387 0 -127 -407 0 -147 -167 0 -147 -187 0 -147 -207 0 -147 -227 0 -147 -247 0 -147 -267 0 -147 -287 0 -147 -307 0 -147 -327 0 -147 -347 0 -147 -367 0 -147 -387 0 -147 -407 0 -167 -187 0 -167 -207 0 -167 -227 0 -167 -247 0 -167 -267 0 -167 -287 0 -167 -307 0 -167 -327 0 -167 -347 0 -167 -367 0 -167 -387 0 -167 -407 0 -187 -207 0 -187 -227 0 -187 -247 0 -187 -267 0 -187 -287 0 -187 -307 0 -187 -327 0 -187 -347 0 -187 -367 0 -187 -387 0 -187 -407 0 -207 -227 0 -207 -247 0 -207 -267 0 -207 -287 0 -207 -307 0 -207 -327 0 -207 -347 0 -207 -367 0 -207 -387 0 -207 -407 0 -227 -247 0 -227 -267 0 -227 -287 0 -227 -307 0 -227 -327 0 -227 -347 0 -227 -367 0 -227 -387 0 -227 -407 0 -247 -267 0 -247 -287 0 -247 -307 0 -247 -327 0 -247 -347 0 -247 -367 0 -247 -387 0 -247 -407 0 -267 -287 0 -267 -307 0 -267 -327 0 -267 -347 0 -267 -367 0 -267 -387 0 -267 -407 0 -287 -307 0 -287 -327 0 -287 -347 0 -287 -367 0 -287 -387 0 -287 -407 0 -307 -327 0 -307 -347 0 -307 -367 0 -307 -387 0 -307 -407 0 -327 -347 0 -327 -367 0 -327 -387 0 -327 -407 0 -347 -367 0 -347 -387 0 -347 -407 0 -367 -387 0 -367 -407 0 -387 -407 0 -8 -28 0 -8 -48 0 -8 -68 0 -8 -88 0 -8 -108 0 -8 -128 0 -8 -148 0 -8 -168 0 -8 -188 0 -8 -208 0 -8 -228 0 -8 -248 0 -8 -268 0 -8 -288 0 -8 -308 0 -8 -328 0 -8 -348 0 -8 -368 0 -8 -388 0 -8 -408 0 -28 -48 0 -28 -68 0 -28 -88 0 -28 -108 0 -28 -128 0 -28 -148 0 -28 -168 0 -28 -188 0 -28 -208 0 -28 -228 0 -28 -248 0 -28 -268 0 -28 -288 0 -28 -308 0 -28 -328 0 -28 -348 0 -28 -368 0 -28 -388 0 -28 -408 0 -48 -68 0 -48 -88 0 -48 -108 0 -48 -128 0 -48 -148 0 -48 -168 0 -48 -188 0 -48 -208 0 -48 -228 0 -48 -248 0 -48 -268 0 -48 -288 0 -48 -308 0 -48 -328 0 -48 -348 0 -48 -368 0 -48 -388 0 -48 -408 0 -68 -88 0 -68 -108 0 -68 -128 0 -68 -148 0 -68 -168 0 -68 -188 0 -68 -208 0 -68 -228 0 -68 -248 0 -68 -268 0 -68 -288 0 -68 -308 0 -68 -328 0 -68 -348 0 -68 -368 0 -68 -388 0 -68 -408 0 -88 -108 0 -88 -128 0 -88 -148 0 -88 -168 0 -88 -188 0 -88 -208 0 -88 -228 0 -88 -248 0 -88 -268 0 -88 -288 0 -88 -308 0 -88 -328 0 -88 -348 0 -88 -368 0 -88 -388 0 -88 -408 0 -108 -128 0 -108 -148 0 -108 -168 0 -108 -188 0 -108 -208 0 -108 -228 0 -108 -248 0 -108 -268 0 -108 -288 0 -108 -308 0 -108 -328 0 -108 -348 0 -108 -368 0 -108 -388 0 -108 -408 0 -128 -148 0 -128 -168 0 -128 -188 0 -128 -208 0 -128 -228 0 -128 -248 0 -128 -268 0 -128 -288 0 -128 -308 0 -128 -328 0 -128 -348 0 -128 -368 0 -128 -388 0 -128 -408 0 -148 -168 0 -148 -188 0 -148 -208 0 -148 -228 0 -148 -248 0 -148 -268 0 -148 -288 0 -148 -308 0 -148 -328 0 -148 -348 0 -148 -368 0 -148 -388 0 -148 -408 0 -168 -188 0 -168 -208 0 -168 -228 0 -168 -248 0 -168 -268 0 -168 -288 0 -168 -308 0 -168 -328 0 -168 -348 0 -168 -368 0 -168 -388 0 -168 -408 0 -188 -208 0 -188 -228 0 -188 -248 0 -188 -268 0 -188 -288 0 -188 -308 0 -188 -328 0 -188 -348 0 -188 -368 0 -188 -388 0 -188 -408 0 -208 -228 0 -208 -248 0 -208 -268 0 -208 -288 0 -208 -308 0 -208 -328 0 -208 -348 0 -208 -368 0 -208 -388 0 -208 -408 0 -228 -248 0 -228 -268 0 -228 -288 0 -228 -308 0 -228 -328 0 -228 -348 0 -228 -368 0 -228 -388 0 -228 -408 0 -248 -268 0 -248 -288 0 -248 -308 0 -248 -328 0 -248 -348 0 -248 -368 0 -248 -388 0 -248 -408 0 -268 -288 0 -268 -308 0 -268 -328 0 -268 -348 0 -268 -368 0 -268 -388 0 -268 -408 0 -288 -308 0 -288 -328 0 -288 -348 0 -288 -368 0 -288 -388 0 -288 -408 0 -308 -328 0 -308 -348 0 -308 -368 0 -308 -388 0 -308 -408 0 -328 -348 0 -328 -368 0 -328 -388 0 -328 -408 0 -348 -368 0 -348 -388 0 -348 -408 0 -368 -388 0 -368 -408 0 -388 -408 0 -9 -29 0 -9 -49 0 -9 -69 0 -9 -89 0 -9 -109 0 -9 -129 0 -9 -149 0 -9 -169 0 -9 -189 0 -9 -209 0 -9 -229 0 -9 -249 0 -9 -269 0 -9 -289 0 -9 -309 0 -9 -329 0 -9 -349 0 -9 -369 0 -9 -389 0 -9 -409 0 -29 -49 0 -29 -69 0 -29 -89 0 -29 -109 0 -29 -129 0 -29 -149 0 -29 -169 0 -29 -189 0 -29 -209 0 -29 -229 0 -29 -249 0 -29 -269 0 -29 -289 0 -29 -309 0 -29 -329 0 -29 -349 0 -29 -369 0 -29 -389 0 -29 -409 0 -49 -69 0 -49 -89 0 -49 -109 0 -49 -129 0 -49 -149 0 -49 -169 0 -49 -189 0 -49 -209 0 -49 -229 0 -49 -249 0 -49 -269 0 -49 -289 0 -49 -309 0 -49 -329 0 -49 -349 0 -49 -369 0 -49 -389 0 -49 -409 0 -69 -89 0 -69 -109 0 -69 -129 0 -69 -149 0 -69 -169 0 -69 -189 0 -69 -209 0 -69 -229 0 -69 -249 0 -69 -269 0 -69 -289 0 -69 -309 0 -69 -329 0 -69 -349 0 -69 -369 0 -69 -389 0 -69 -409 0 -89 -109 0 -89 -129 0 -89 -149 0 -89 -169 0 -89 -189 0 -89 -209 0 -89 -229 0 -89 -249 0 -89 -269 0 -89 -289 0 -89 -309 0 -89 -329 0 -89 -349 0 -89 -369 0 -89 -389 0 -89 -409 0 -109 -129 0 -109 -149 0 -109 -169 0 -109 -189 0 -109 -209 0 -109 -229 0 -109 -249 0 -109 -269 0 -109 -289 0 -109 -309 0 -109 -329 0 -109 -349 0 -109 -369 0 -109 -389 0 -109 -409 0 -129 -149 0 -129 -169 0 -129 -189 0 -129 -209 0 -129 -229 0 -129 -249 0 -129 -269 0 -129 -289 0 -129 -309 0 -129 -329 0 -129 -349 0 -129 -369 0 -129 -389 0 -129 -409 0 -149 -169 0 -149 -189 0 -149 -209 0 -149 -229 0 -149 -249 0 -149 -269 0 -149 -289 0 -149 -309 0 -149 -329 0 -149 -349 0 -149 -369 0 -149 -389 0 -149 -409 0 -169 -189 0 -169 -209 0 -169 -229 0 -169 -249 0 -169 -269 0 -169 -289 0 -169 -309 0 -169 -329 0 -169 -349 0 -169 -369 0 -169 -389 0 -169 -409 0 -189 -209 0 -189 -229 0 -189 -249 0 -189 -269 0 -189 -289 0 -189 -309 0 -189 -329 0 -189 -349 0 -189 -369 0 -189 -389 0 -189 -409 0 -209 -229 0 -209 -249 0 -209 -269 0 -209 -289 0 -209 -309 0 -209 -329 0 -209 -349 0 -209 -369 0 -209 -389 0 -209 -409 0 -229 -249 0 -229 -269 0 -229 -289 0 -229 -309 0 -229 -329 0 -229 -349 0 -229 -369 0 -229 -389 0 -229 -409 0 -249 -269 0 -249 -289 0 -249 -309 0 -249 -329 0 -249 -349 0 -249 -369 0 -249 -389 0 -249 -409 0 -269 -289 0 -269 -309 0 -269 -329 0 -269 -349 0 -269 -369 0 -269 -389 0 -269 -409 0 -289 -309 0 -289 -329 0 -289 -349 0 -289 -369 0 -289 -389 0 -289 -409 0 -309 -329 0 -309 -349 0 -309 -369 0 -309 -389 0 -309 -409 0 -329 -349 0 -329 -369 0 -329 -389 0 -329 -409 0 -349 -369 0 -349 -389 0 -349 -409 0 -369 -389 0 -369 -409 0 -389 -409 0 -10 -30 0 -10 -50 0 -10 -70 0 -10 -90 0 -10 -110 0 -10 -130 0 -10 -150 0 -10 -170 0 -10 -190 0 -10 -210 0 -10 -230 0 -10 -250 0 -10 -270 0 -10 -290 0 -10 -310 0 -10 -330 0 -10 -350 0 -10 -370 0 -10 -390 0 -10 -410 0 -30 -50 0 -30 -70 0 -30 -90 0 -30 -110 0 -30 -130 0 -30 -150 0 -30 -170 0 -30 -190 0 -30 -210 0 -30 -230 0 -30 -250 0 -30 -270 0 -30 -290 0 -30 -310 0 -30 -330 0 -30 -350 0 -30 -370 0 -30 -390 0 -30 -410 0 -50 -70 0 -50 -90 0 -50 -110 0 -50 -130 0 -50 -150 0 -50 -170 0 -50 -190 0 -50 -210 0 -50 -230 0 -50 -250 0 -50 -270 0 -50 -290 0 -50 -310 0 -50 -330 0 -50 -350 0 -50 -370 0 -50 -390 0 -50 -410 0 -70 -90 0 -70 -110 0 -70 -130 0 -70 -150 0 -70 -170 0 -70 -190 0 -70 -210 0 -70 -230 0 -70 -250 0 -70 -270 0 -70 -290 0 -70 -310 0 -70 -330 0 -70 -350 0 -70 -370 0 -70 -390 0 -70 -410 0 -90 -110 0 -90 -130 0 -90 -150 0 -90 -170 0 -90 -190 0 -90 -210 0 -90 -230 0 -90 -250 0 -90 -270 0 -90 -290 0 -90 -310 0 -90 -330 0 -90 -350 0 -90 -370 0 -90 -390 0 -90 -410 0 -110 -130 0 -110 -150 0 -110 -170 0 -110 -190 0 -110 -210 0 -110 -230 0 -110 -250 0 -110 -270 0 -110 -290 0 -110 -310 0 -110 -330 0 -110 -350 0 -110 -370 0 -110 -390 0 -110 -410 0 -130 -150 0 -130 -170 0 -130 -190 0 -130 -210 0 -130 -230 0 -130 -250 0 -130 -270 0 -130 -290 0 -130 -310 0 -130 -330 0 -130 -350 0 -130 -370 0 -130 -390 0 -130 -410 0 -150 -170 0 -150 -190 0 -150 -210 0 -150 -230 0 -150 -250 0 -150 -270 0 -150 -290 0 -150 -310 0 -150 -330 0 -150 -350 0 -150 -370 0 -150 -390 0 -150 -410 0 -170 -190 0 -170 -210 0 -170 -230 0 -170 -250 0 -170 -270 0 -170 -290 0 -170 -310 0 -170 -330 0 -170 -350 0 -170 -370 0 -170 -390 0 -170 -410 0 -190 -210 0 -190 -230 0 -190 -250 0 -190 -270 0 -190 -290 0 -190 -310 0 -190 -330 0 -190 -350 0 -190 -370 0 -190 -390 0 -190 -410 0 -210 -230 0 -210 -250 0 -210 -270 0 -210 -290 0 -210 -310 0 -210 -330 0 -210 -350 0 -210 -370 0 -210 -390 0 -210 -410 0 -230 -250 0 -230 -270 0 -230 -290 0 -230 -310 0 -230 -330 0 -230 -350 0 -230 -370 0 -230 -390 0 -230 -410 0 -250 -270 0 -250 -290 0 -250 -310 0 -250 -330 0 -250 -350 0 -250 -370 0 -250 -390 0 -250 -410 0 -270 -290 0 -270 -310 0 -270 -330 0 -270 -350 0 -270 -370 0 -270 -390 0 -270 -410 0 -290 -310 0 -290 -330 0 -290 -350 0 -290 -370 0 -290 -390 0 -290 -410 0 -310 -330 0 -310 -350 0 -310 -370 0 -310 -390 0 -310 -410 0 -330 -350 0 -330 -370 0 -330 -390 0 -330 -410 0 -350 -370 0 -350 -390 0 -350 -410 0 -370 -390 0 -370 -410 0 -390 -410 0 -11 -31 0 -11 -51 0 -11 -71 0 -11 -91 0 -11 -111 0 -11 -131 0 -11 -151 0 -11 -171 0 -11 -191 0 -11 -211 0 -11 -231 0 -11 -251 0 -11 -271 0 -11 -291 0 -11 -311 0 -11 -331 0 -11 -351 0 -11 -371 0 -11 -391 0 -11 -411 0 -31 -51 0 -31 -71 0 -31 -91 0 -31 -111 0 -31 -131 0 -31 -151 0 -31 -171 0 -31 -191 0 -31 -211 0 -31 -231 0 -31 -251 0 -31 -271 0 -31 -291 0 -31 -311 0 -31 -331 0 -31 -351 0 -31 -371 0 -31 -391 0 -31 -411 0 -51 -71 0 -51 -91 0 -51 -111 0 -51 -131 0 -51 -151 0 -51 -171 0 -51 -191 0 -51 -211 0 -51 -231 0 -51 -251 0 -51 -271 0 -51 -291 0 -51 -311 0 -51 -331 0 -51 -351 0 -51 -371 0 -51 -391 0 -51 -411 0 -71 -91 0 -71 -111 0 -71 -131 0 -71 -151 0 -71 -171 0 -71 -191 0 -71 -211 0 -71 -231 0 -71 -251 0 -71 -271 0 -71 -291 0 -71 -311 0 -71 -331 0 -71 -351 0 -71 -371 0 -71 -391 0 -71 -411 0 -91 -111 0 -91 -131 0 -91 -151 0 -91 -171 0 -91 -191 0 -91 -211 0 -91 -231 0 -91 -251 0 -91 -271 0 -91 -291 0 -91 -311 0 -91 -331 0 -91 -351 0 -91 -371 0 -91 -391 0 -91 -411 0 -111 -131 0 -111 -151 0 -111 -171 0 -111 -191 0 -111 -211 0 -111 -231 0 -111 -251 0 -111 -271 0 -111 -291 0 -111 -311 0 -111 -331 0 -111 -351 0 -111 -371 0 -111 -391 0 -111 -411 0 -131 -151 0 -131 -171 0 -131 -191 0 -131 -211 0 -131 -231 0 -131 -251 0 -131 -271 0 -131 -291 0 -131 -311 0 -131 -331 0 -131 -351 0 -131 -371 0 -131 -391 0 -131 -411 0 -151 -171 0 -151 -191 0 -151 -211 0 -151 -231 0 -151 -251 0 -151 -271 0 -151 -291 0 -151 -311 0 -151 -331 0 -151 -351 0 -151 -371 0 -151 -391 0 -151 -411 0 -171 -191 0 -171 -211 0 -171 -231 0 -171 -251 0 -171 -271 0 -171 -291 0 -171 -311 0 -171 -331 0 -171 -351 0 -171 -371 0 -171 -391 0 -171 -411 0 -191 -211 0 -191 -231 0 -191 -251 0 -191 -271 0 -191 -291 0 -191 -311 0 -191 -331 0 -191 -351 0 -191 -371 0 -191 -391 0 -191 -411 0 -211 -231 0 -211 -251 0 -211 -271 0 -211 -291 0 -211 -311 0 -211 -331 0 -211 -351 0 -211 -371 0 -211 -391 0 -211 -411 0 -231 -251 0 -231 -271 0 -231 -291 0 -231 -311 0 -231 -331 0 -231 -351 0 -231 -371 0 -231 -391 0 -231 -411 0 -251 -271 0 -251 -291 0 -251 -311 0 -251 -331 0 -251 -351 0 -251 -371 0 -251 -391 0 -251 -411 0 -271 -291 0 -271 -311 0 -271 -331 0 -271 -351 0 -271 -371 0 -271 -391 0 -271 -411 0 -291 -311 0 -291 -331 0 -291 -351 0 -291 -371 0 -291 -391 0 -291 -411 0 -311 -331 0 -311 -351 0 -311 -371 0 -311 -391 0 -311 -411 0 -331 -351 0 -331 -371 0 -331 -391 0 -331 -411 0 -351 -371 0 -351 -391 0 -351 -411 0 -371 -391 0 -371 -411 0 -391 -411 0 -12 -32 0 -12 -52 0 -12 -72 0 -12 -92 0 -12 -112 0 -12 -132 0 -12 -152 0 -12 -172 0 -12 -192 0 -12 -212 0 -12 -232 0 -12 -252 0 -12 -272 0 -12 -292 0 -12 -312 0 -12 -332 0 -12 -352 0 -12 -372 0 -12 -392 0 -12 -412 0 -32 -52 0 -32 -72 0 -32 -92 0 -32 -112 0 -32 -132 0 -32 -152 0 -32 -172 0 -32 -192 0 -32 -212 0 -32 -232 0 -32 -252 0 -32 -272 0 -32 -292 0 -32 -312 0 -32 -332 0 -32 -352 0 -32 -372 0 -32 -392 0 -32 -412 0 -52 -72 0 -52 -92 0 -52 -112 0 -52 -132 0 -52 -152 0 -52 -172 0 -52 -192 0 -52 -212 0 -52 -232 0 -52 -252 0 -52 -272 0 -52 -292 0 -52 -312 0 -52 -332 0 -52 -352 0 -52 -372 0 -52 -392 0 -52 -412 0 -72 -92 0 -72 -112 0 -72 -132 0 -72 -152 0 -72 -172 0 -72 -192 0 -72 -212 0 -72 -232 0 -72 -252 0 -72 -272 0 -72 -292 0 -72 -312 0 -72 -332 0 -72 -352 0 -72 -372 0 -72 -392 0 -72 -412 0 -92 -112 0 -92 -132 0 -92 -152 0 -92 -172 0 -92 -192 0 -92 -212 0 -92 -232 0 -92 -252 0 -92 -272 0 -92 -292 0 -92 -312 0 -92 -332 0 -92 -352 0 -92 -372 0 -92 -392 0 -92 -412 0 -112 -132 0 -112 -152 0 -112 -172 0 -112 -192 0 -112 -212 0 -112 -232 0 -112 -252 0 -112 -272 0 -112 -292 0 -112 -312 0 -112 -332 0 -112 -352 0 -112 -372 0 -112 -392 0 -112 -412 0 -132 -152 0 -132 -172 0 -132 -192 0 -132 -212 0 -132 -232 0 -132 -252 0 -132 -272 0 -132 -292 0 -132 -312 0 -132 -332 0 -132 -352 0 -132 -372 0 -132 -392 0 -132 -412 0 -152 -172 0 -152 -192 0 -152 -212 0 -152 -232 0 -152 -252 0 -152 -272 0 -152 -292 0 -152 -312 0 -152 -332 0 -152 -352 0 -152 -372 0 -152 -392 0 -152 -412 0 -172 -192 0 -172 -212 0 -172 -232 0 -172 -252 0 -172 -272 0 -172 -292 0 -172 -312 0 -172 -332 0 -172 -352 0 -172 -372 0 -172 -392 0 -172 -412 0 -192 -212 0 -192 -232 0 -192 -252 0 -192 -272 0 -192 -292 0 -192 -312 0 -192 -332 0 -192 -352 0 -192 -372 0 -192 -392 0 -192 -412 0 -212 -232 0 -212 -252 0 -212 -272 0 -212 -292 0 -212 -312 0 -212 -332 0 -212 -352 0 -212 -372 0 -212 -392 0 -212 -412 0 -232 -252 0 -232 -272 0 -232 -292 0 -232 -312 0 -232 -332 0 -232 -352 0 -232 -372 0 -232 -392 0 -232 -412 0 -252 -272 0 -252 -292 0 -252 -312 0 -252 -332 0 -252 -352 0 -252 -372 0 -252 -392 0 -252 -412 0 -272 -292 0 -272 -312 0 -272 -332 0 -272 -352 0 -272 -372 0 -272 -392 0 -272 -412 0 -292 -312 0 -292 -332 0 -292 -352 0 -292 -372 0 -292 -392 0 -292 -412 0 -312 -332 0 -312 -352 0 -312 -372 0 -312 -392 0 -312 -412 0 -332 -352 0 -332 -372 0 -332 -392 0 -332 -412 0 -352 -372 0 -352 -392 0 -352 -412 0 -372 -392 0 -372 -412 0 -392 -412 0 -13 -33 0 -13 -53 0 -13 -73 0 -13 -93 0 -13 -113 0 -13 -133 0 -13 -153 0 -13 -173 0 -13 -193 0 -13 -213 0 -13 -233 0 -13 -253 0 -13 -273 0 -13 -293 0 -13 -313 0 -13 -333 0 -13 -353 0 -13 -373 0 -13 -393 0 -13 -413 0 -33 -53 0 -33 -73 0 -33 -93 0 -33 -113 0 -33 -133 0 -33 -153 0 -33 -173 0 -33 -193 0 -33 -213 0 -33 -233 0 -33 -253 0 -33 -273 0 -33 -293 0 -33 -313 0 -33 -333 0 -33 -353 0 -33 -373 0 -33 -393 0 -33 -413 0 -53 -73 0 -53 -93 0 -53 -113 0 -53 -133 0 -53 -153 0 -53 -173 0 -53 -193 0 -53 -213 0 -53 -233 0 -53 -253 0 -53 -273 0 -53 -293 0 -53 -313 0 -53 -333 0 -53 -353 0 -53 -373 0 -53 -393 0 -53 -413 0 -73 -93 0 -73 -113 0 -73 -133 0 -73 -153 0 -73 -173 0 -73 -193 0 -73 -213 0 -73 -233 0 -73 -253 0 -73 -273 0 -73 -293 0 -73 -313 0 -73 -333 0 -73 -353 0 -73 -373 0 -73 -393 0 -73 -413 0 -93 -113 0 -93 -133 0 -93 -153 0 -93 -173 0 -93 -193 0 -93 -213 0 -93 -233 0 -93 -253 0 -93 -273 0 -93 -293 0 -93 -313 0 -93 -333 0 -93 -353 0 -93 -373 0 -93 -393 0 -93 -413 0 -113 -133 0 -113 -153 0 -113 -173 0 -113 -193 0 -113 -213 0 -113 -233 0 -113 -253 0 -113 -273 0 -113 -293 0 -113 -313 0 -113 -333 0 -113 -353 0 -113 -373 0 -113 -393 0 -113 -413 0 -133 -153 0 -133 -173 0 -133 -193 0 -133 -213 0 -133 -233 0 -133 -253 0 -133 -273 0 -133 -293 0 -133 -313 0 -133 -333 0 -133 -353 0 -133 -373 0 -133 -393 0 -133 -413 0 -153 -173 0 -153 -193 0 -153 -213 0 -153 -233 0 -153 -253 0 -153 -273 0 -153 -293 0 -153 -313 0 -153 -333 0 -153 -353 0 -153 -373 0 -153 -393 0 -153 -413 0 -173 -193 0 -173 -213 0 -173 -233 0 -173 -253 0 -173 -273 0 -173 -293 0 -173 -313 0 -173 -333 0 -173 -353 0 -173 -373 0 -173 -393 0 -173 -413 0 -193 -213 0 -193 -233 0 -193 -253 0 -193 -273 0 -193 -293 0 -193 -313 0 -193 -333 0 -193 -353 0 -193 -373 0 -193 -393 0 -193 -413 0 -213 -233 0 -213 -253 0 -213 -273 0 -213 -293 0 -213 -313 0 -213 -333 0 -213 -353 0 -213 -373 0 -213 -393 0 -213 -413 0 -233 -253 0 -233 -273 0 -233 -293 0 -233 -313 0 -233 -333 0 -233 -353 0 -233 -373 0 -233 -393 0 -233 -413 0 -253 -273 0 -253 -293 0 -253 -313 0 -253 -333 0 -253 -353 0 -253 -373 0 -253 -393 0 -253 -413 0 -273 -293 0 -273 -313 0 -273 -333 0 -273 -353 0 -273 -373 0 -273 -393 0 -273 -413 0 -293 -313 0 -293 -333 0 -293 -353 0 -293 -373 0 -293 -393 0 -293 -413 0 -313 -333 0 -313 -353 0 -313 -373 0 -313 -393 0 -313 -413 0 -333 -353 0 -333 -373 0 -333 -393 0 -333 -413 0 -353 -373 0 -353 -393 0 -353 -413 0 -373 -393 0 -373 -413 0 -393 -413 0 -14 -34 0 -14 -54 0 -14 -74 0 -14 -94 0 -14 -114 0 -14 -134 0 -14 -154 0 -14 -174 0 -14 -194 0 -14 -214 0 -14 -234 0 -14 -254 0 -14 -274 0 -14 -294 0 -14 -314 0 -14 -334 0 -14 -354 0 -14 -374 0 -14 -394 0 -14 -414 0 -34 -54 0 -34 -74 0 -34 -94 0 -34 -114 0 -34 -134 0 -34 -154 0 -34 -174 0 -34 -194 0 -34 -214 0 -34 -234 0 -34 -254 0 -34 -274 0 -34 -294 0 -34 -314 0 -34 -334 0 -34 -354 0 -34 -374 0 -34 -394 0 -34 -414 0 -54 -74 0 -54 -94 0 -54 -114 0 -54 -134 0 -54 -154 0 -54 -174 0 -54 -194 0 -54 -214 0 -54 -234 0 -54 -254 0 -54 -274 0 -54 -294 0 -54 -314 0 -54 -334 0 -54 -354 0 -54 -374 0 -54 -394 0 -54 -414 0 -74 -94 0 -74 -114 0 -74 -134 0 -74 -154 0 -74 -174 0 -74 -194 0 -74 -214 0 -74 -234 0 -74 -254 0 -74 -274 0 -74 -294 0 -74 -314 0 -74 -334 0 -74 -354 0 -74 -374 0 -74 -394 0 -74 -414 0 -94 -114 0 -94 -134 0 -94 -154 0 -94 -174 0 -94 -194 0 -94 -214 0 -94 -234 0 -94 -254 0 -94 -274 0 -94 -294 0 -94 -314 0 -94 -334 0 -94 -354 0 -94 -374 0 -94 -394 0 -94 -414 0 -114 -134 0 -114 -154 0 -114 -174 0 -114 -194 0 -114 -214 0 -114 -234 0 -114 -254 0 -114 -274 0 -114 -294 0 -114 -314 0 -114 -334 0 -114 -354 0 -114 -374 0 -114 -394 0 -114 -414 0 -134 -154 0 -134 -174 0 -134 -194 0 -134 -214 0 -134 -234 0 -134 -254 0 -134 -274 0 -134 -294 0 -134 -314 0 -134 -334 0 -134 -354 0 -134 -374 0 -134 -394 0 -134 -414 0 -154 -174 0 -154 -194 0 -154 -214 0 -154 -234 0 -154 -254 0 -154 -274 0 -154 -294 0 -154 -314 0 -154 -334 0 -154 -354 0 -154 -374 0 -154 -394 0 -154 -414 0 -174 -194 0 -174 -214 0 -174 -234 0 -174 -254 0 -174 -274 0 -174 -294 0 -174 -314 0 -174 -334 0 -174 -354 0 -174 -374 0 -174 -394 0 -174 -414 0 -194 -214 0 -194 -234 0 -194 -254 0 -194 -274 0 -194 -294 0 -194 -314 0 -194 -334 0 -194 -354 0 -194 -374 0 -194 -394 0 -194 -414 0 -214 -234 0 -214 -254 0 -214 -274 0 -214 -294 0 -214 -314 0 -214 -334 0 -214 -354 0 -214 -374 0 -214 -394 0 -214 -414 0 -234 -254 0 -234 -274 0 -234 -294 0 -234 -314 0 -234 -334 0 -234 -354 0 -234 -374 0 -234 -394 0 -234 -414 0 -254 -274 0 -254 -294 0 -254 -314 0 -254 -334 0 -254 -354 0 -254 -374 0 -254 -394 0 -254 -414 0 -274 -294 0 -274 -314 0 -274 -334 0 -274 -354 0 -274 -374 0 -274 -394 0 -274 -414 0 -294 -314 0 -294 -334 0 -294 -354 0 -294 -374 0 -294 -394 0 -294 -414 0 -314 -334 0 -314 -354 0 -314 -374 0 -314 -394 0 -314 -414 0 -334 -354 0 -334 -374 0 -334 -394 0 -334 -414 0 -354 -374 0 -354 -394 0 -354 -414 0 -374 -394 0 -374 -414 0 -394 -414 0 -15 -35 0 -15 -55 0 -15 -75 0 -15 -95 0 -15 -115 0 -15 -135 0 -15 -155 0 -15 -175 0 -15 -195 0 -15 -215 0 -15 -235 0 -15 -255 0 -15 -275 0 -15 -295 0 -15 -315 0 -15 -335 0 -15 -355 0 -15 -375 0 -15 -395 0 -15 -415 0 -35 -55 0 -35 -75 0 -35 -95 0 -35 -115 0 -35 -135 0 -35 -155 0 -35 -175 0 -35 -195 0 -35 -215 0 -35 -235 0 -35 -255 0 -35 -275 0 -35 -295 0 -35 -315 0 -35 -335 0 -35 -355 0 -35 -375 0 -35 -395 0 -35 -415 0 -55 -75 0 -55 -95 0 -55 -115 0 -55 -135 0 -55 -155 0 -55 -175 0 -55 -195 0 -55 -215 0 -55 -235 0 -55 -255 0 -55 -275 0 -55 -295 0 -55 -315 0 -55 -335 0 -55 -355 0 -55 -375 0 -55 -395 0 -55 -415 0 -75 -95 0 -75 -115 0 -75 -135 0 -75 -155 0 -75 -175 0 -75 -195 0 -75 -215 0 -75 -235 0 -75 -255 0 -75 -275 0 -75 -295 0 -75 -315 0 -75 -335 0 -75 -355 0 -75 -375 0 -75 -395 0 -75 -415 0 -95 -115 0 -95 -135 0 -95 -155 0 -95 -175 0 -95 -195 0 -95 -215 0 -95 -235 0 -95 -255 0 -95 -275 0 -95 -295 0 -95 -315 0 -95 -335 0 -95 -355 0 -95 -375 0 -95 -395 0 -95 -415 0 -115 -135 0 -115 -155 0 -115 -175 0 -115 -195 0 -115 -215 0 -115 -235 0 -115 -255 0 -115 -275 0 -115 -295 0 -115 -315 0 -115 -335 0 -115 -355 0 -115 -375 0 -115 -395 0 -115 -415 0 -135 -155 0 -135 -175 0 -135 -195 0 -135 -215 0 -135 -235 0 -135 -255 0 -135 -275 0 -135 -295 0 -135 -315 0 -135 -335 0 -135 -355 0 -135 -375 0 -135 -395 0 -135 -415 0 -155 -175 0 -155 -195 0 -155 -215 0 -155 -235 0 -155 -255 0 -155 -275 0 -155 -295 0 -155 -315 0 -155 -335 0 -155 -355 0 -155 -375 0 -155 -395 0 -155 -415 0 -175 -195 0 -175 -215 0 -175 -235 0 -175 -255 0 -175 -275 0 -175 -295 0 -175 -315 0 -175 -335 0 -175 -355 0 -175 -375 0 -175 -395 0 -175 -415 0 -195 -215 0 -195 -235 0 -195 -255 0 -195 -275 0 -195 -295 0 -195 -315 0 -195 -335 0 -195 -355 0 -195 -375 0 -195 -395 0 -195 -415 0 -215 -235 0 -215 -255 0 -215 -275 0 -215 -295 0 -215 -315 0 -215 -335 0 -215 -355 0 -215 -375 0 -215 -395 0 -215 -415 0 -235 -255 0 -235 -275 0 -235 -295 0 -235 -315 0 -235 -335 0 -235 -355 0 -235 -375 0 -235 -395 0 -235 -415 0 -255 -275 0 -255 -295 0 -255 -315 0 -255 -335 0 -255 -355 0 -255 -375 0 -255 -395 0 -255 -415 0 -275 -295 0 -275 -315 0 -275 -335 0 -275 -355 0 -275 -375 0 -275 -395 0 -275 -415 0 -295 -315 0 -295 -335 0 -295 -355 0 -295 -375 0 -295 -395 0 -295 -415 0 -315 -335 0 -315 -355 0 -315 -375 0 -315 -395 0 -315 -415 0 -335 -355 0 -335 -375 0 -335 -395 0 -335 -415 0 -355 -375 0 -355 -395 0 -355 -415 0 -375 -395 0 -375 -415 0 -395 -415 0 -16 -36 0 -16 -56 0 -16 -76 0 -16 -96 0 -16 -116 0 -16 -136 0 -16 -156 0 -16 -176 0 -16 -196 0 -16 -216 0 -16 -236 0 -16 -256 0 -16 -276 0 -16 -296 0 -16 -316 0 -16 -336 0 -16 -356 0 -16 -376 0 -16 -396 0 -16 -416 0 -36 -56 0 -36 -76 0 -36 -96 0 -36 -116 0 -36 -136 0 -36 -156 0 -36 -176 0 -36 -196 0 -36 -216 0 -36 -236 0 -36 -256 0 -36 -276 0 -36 -296 0 -36 -316 0 -36 -336 0 -36 -356 0 -36 -376 0 -36 -396 0 -36 -416 0 -56 -76 0 -56 -96 0 -56 -116 0 -56 -136 0 -56 -156 0 -56 -176 0 -56 -196 0 -56 -216 0 -56 -236 0 -56 -256 0 -56 -276 0 -56 -296 0 -56 -316 0 -56 -336 0 -56 -356 0 -56 -376 0 -56 -396 0 -56 -416 0 -76 -96 0 -76 -116 0 -76 -136 0 -76 -156 0 -76 -176 0 -76 -196 0 -76 -216 0 -76 -236 0 -76 -256 0 -76 -276 0 -76 -296 0 -76 -316 0 -76 -336 0 -76 -356 0 -76 -376 0 -76 -396 0 -76 -416 0 -96 -116 0 -96 -136 0 -96 -156 0 -96 -176 0 -96 -196 0 -96 -216 0 -96 -236 0 -96 -256 0 -96 -276 0 -96 -296 0 -96 -316 0 -96 -336 0 -96 -356 0 -96 -376 0 -96 -396 0 -96 -416 0 -116 -136 0 -116 -156 0 -116 -176 0 -116 -196 0 -116 -216 0 -116 -236 0 -116 -256 0 -116 -276 0 -116 -296 0 -116 -316 0 -116 -336 0 -116 -356 0 -116 -376 0 -116 -396 0 -116 -416 0 -136 -156 0 -136 -176 0 -136 -196 0 -136 -216 0 -136 -236 0 -136 -256 0 -136 -276 0 -136 -296 0 -136 -316 0 -136 -336 0 -136 -356 0 -136 -376 0 -136 -396 0 -136 -416 0 -156 -176 0 -156 -196 0 -156 -216 0 -156 -236 0 -156 -256 0 -156 -276 0 -156 -296 0 -156 -316 0 -156 -336 0 -156 -356 0 -156 -376 0 -156 -396 0 -156 -416 0 -176 -196 0 -176 -216 0 -176 -236 0 -176 -256 0 -176 -276 0 -176 -296 0 -176 -316 0 -176 -336 0 -176 -356 0 -176 -376 0 -176 -396 0 -176 -416 0 -196 -216 0 -196 -236 0 -196 -256 0 -196 -276 0 -196 -296 0 -196 -316 0 -196 -336 0 -196 -356 0 -196 -376 0 -196 -396 0 -196 -416 0 -216 -236 0 -216 -256 0 -216 -276 0 -216 -296 0 -216 -316 0 -216 -336 0 -216 -356 0 -216 -376 0 -216 -396 0 -216 -416 0 -236 -256 0 -236 -276 0 -236 -296 0 -236 -316 0 -236 -336 0 -236 -356 0 -236 -376 0 -236 -396 0 -236 -416 0 -256 -276 0 -256 -296 0 -256 -316 0 -256 -336 0 -256 -356 0 -256 -376 0 -256 -396 0 -256 -416 0 -276 -296 0 -276 -316 0 -276 -336 0 -276 -356 0 -276 -376 0 -276 -396 0 -276 -416 0 -296 -316 0 -296 -336 0 -296 -356 0 -296 -376 0 -296 -396 0 -296 -416 0 -316 -336 0 -316 -356 0 -316 -376 0 -316 -396 0 -316 -416 0 -336 -356 0 -336 -376 0 -336 -396 0 -336 -416 0 -356 -376 0 -356 -396 0 -356 -416 0 -376 -396 0 -376 -416 0 -396 -416 0 -17 -37 0 -17 -57 0 -17 -77 0 -17 -97 0 -17 -117 0 -17 -137 0 -17 -157 0 -17 -177 0 -17 -197 0 -17 -217 0 -17 -237 0 -17 -257 0 -17 -277 0 -17 -297 0 -17 -317 0 -17 -337 0 -17 -357 0 -17 -377 0 -17 -397 0 -17 -417 0 -37 -57 0 -37 -77 0 -37 -97 0 -37 -117 0 -37 -137 0 -37 -157 0 -37 -177 0 -37 -197 0 -37 -217 0 -37 -237 0 -37 -257 0 -37 -277 0 -37 -297 0 -37 -317 0 -37 -337 0 -37 -357 0 -37 -377 0 -37 -397 0 -37 -417 0 -57 -77 0 -57 -97 0 -57 -117 0 -57 -137 0 -57 -157 0 -57 -177 0 -57 -197 0 -57 -217 0 -57 -237 0 -57 -257 0 -57 -277 0 -57 -297 0 -57 -317 0 -57 -337 0 -57 -357 0 -57 -377 0 -57 -397 0 -57 -417 0 -77 -97 0 -77 -117 0 -77 -137 0 -77 -157 0 -77 -177 0 -77 -197 0 -77 -217 0 -77 -237 0 -77 -257 0 -77 -277 0 -77 -297 0 -77 -317 0 -77 -337 0 -77 -357 0 -77 -377 0 -77 -397 0 -77 -417 0 -97 -117 0 -97 -137 0 -97 -157 0 -97 -177 0 -97 -197 0 -97 -217 0 -97 -237 0 -97 -257 0 -97 -277 0 -97 -297 0 -97 -317 0 -97 -337 0 -97 -357 0 -97 -377 0 -97 -397 0 -97 -417 0 -117 -137 0 -117 -157 0 -117 -177 0 -117 -197 0 -117 -217 0 -117 -237 0 -117 -257 0 -117 -277 0 -117 -297 0 -117 -317 0 -117 -337 0 -117 -357 0 -117 -377 0 -117 -397 0 -117 -417 0 -137 -157 0 -137 -177 0 -137 -197 0 -137 -217 0 -137 -237 0 -137 -257 0 -137 -277 0 -137 -297 0 -137 -317 0 -137 -337 0 -137 -357 0 -137 -377 0 -137 -397 0 -137 -417 0 -157 -177 0 -157 -197 0 -157 -217 0 -157 -237 0 -157 -257 0 -157 -277 0 -157 -297 0 -157 -317 0 -157 -337 0 -157 -357 0 -157 -377 0 -157 -397 0 -157 -417 0 -177 -197 0 -177 -217 0 -177 -237 0 -177 -257 0 -177 -277 0 -177 -297 0 -177 -317 0 -177 -337 0 -177 -357 0 -177 -377 0 -177 -397 0 -177 -417 0 -197 -217 0 -197 -237 0 -197 -257 0 -197 -277 0 -197 -297 0 -197 -317 0 -197 -337 0 -197 -357 0 -197 -377 0 -197 -397 0 -197 -417 0 -217 -237 0 -217 -257 0 -217 -277 0 -217 -297 0 -217 -317 0 -217 -337 0 -217 -357 0 -217 -377 0 -217 -397 0 -217 -417 0 -237 -257 0 -237 -277 0 -237 -297 0 -237 -317 0 -237 -337 0 -237 -357 0 -237 -377 0 -237 -397 0 -237 -417 0 -257 -277 0 -257 -297 0 -257 -317 0 -257 -337 0 -257 -357 0 -257 -377 0 -257 -397 0 -257 -417 0 -277 -297 0 -277 -317 0 -277 -337 0 -277 -357 0 -277 -377 0 -277 -397 0 -277 -417 0 -297 -317 0 -297 -337 0 -297 -357 0 -297 -377 0 -297 -397 0 -297 -417 0 -317 -337 0 -317 -357 0 -317 -377 0 -317 -397 0 -317 -417 0 -337 -357 0 -337 -377 0 -337 -397 0 -337 -417 0 -357 -377 0 -357 -397 0 -357 -417 0 -377 -397 0 -377 -417 0 -397 -417 0 -18 -38 0 -18 -58 0 -18 -78 0 -18 -98 0 -18 -118 0 -18 -138 0 -18 -158 0 -18 -178 0 -18 -198 0 -18 -218 0 -18 -238 0 -18 -258 0 -18 -278 0 -18 -298 0 -18 -318 0 -18 -338 0 -18 -358 0 -18 -378 0 -18 -398 0 -18 -418 0 -38 -58 0 -38 -78 0 -38 -98 0 -38 -118 0 -38 -138 0 -38 -158 0 -38 -178 0 -38 -198 0 -38 -218 0 -38 -238 0 -38 -258 0 -38 -278 0 -38 -298 0 -38 -318 0 -38 -338 0 -38 -358 0 -38 -378 0 -38 -398 0 -38 -418 0 -58 -78 0 -58 -98 0 -58 -118 0 -58 -138 0 -58 -158 0 -58 -178 0 -58 -198 0 -58 -218 0 -58 -238 0 -58 -258 0 -58 -278 0 -58 -298 0 -58 -318 0 -58 -338 0 -58 -358 0 -58 -378 0 -58 -398 0 -58 -418 0 -78 -98 0 -78 -118 0 -78 -138 0 -78 -158 0 -78 -178 0 -78 -198 0 -78 -218 0 -78 -238 0 -78 -258 0 -78 -278 0 -78 -298 0 -78 -318 0 -78 -338 0 -78 -358 0 -78 -378 0 -78 -398 0 -78 -418 0 -98 -118 0 -98 -138 0 -98 -158 0 -98 -178 0 -98 -198 0 -98 -218 0 -98 -238 0 -98 -258 0 -98 -278 0 -98 -298 0 -98 -318 0 -98 -338 0 -98 -358 0 -98 -378 0 -98 -398 0 -98 -418 0 -118 -138 0 -118 -158 0 -118 -178 0 -118 -198 0 -118 -218 0 -118 -238 0 -118 -258 0 -118 -278 0 -118 -298 0 -118 -318 0 -118 -338 0 -118 -358 0 -118 -378 0 -118 -398 0 -118 -418 0 -138 -158 0 -138 -178 0 -138 -198 0 -138 -218 0 -138 -238 0 -138 -258 0 -138 -278 0 -138 -298 0 -138 -318 0 -138 -338 0 -138 -358 0 -138 -378 0 -138 -398 0 -138 -418 0 -158 -178 0 -158 -198 0 -158 -218 0 -158 -238 0 -158 -258 0 -158 -278 0 -158 -298 0 -158 -318 0 -158 -338 0 -158 -358 0 -158 -378 0 -158 -398 0 -158 -418 0 -178 -198 0 -178 -218 0 -178 -238 0 -178 -258 0 -178 -278 0 -178 -298 0 -178 -318 0 -178 -338 0 -178 -358 0 -178 -378 0 -178 -398 0 -178 -418 0 -198 -218 0 -198 -238 0 -198 -258 0 -198 -278 0 -198 -298 0 -198 -318 0 -198 -338 0 -198 -358 0 -198 -378 0 -198 -398 0 -198 -418 0 -218 -238 0 -218 -258 0 -218 -278 0 -218 -298 0 -218 -318 0 -218 -338 0 -218 -358 0 -218 -378 0 -218 -398 0 -218 -418 0 -238 -258 0 -238 -278 0 -238 -298 0 -238 -318 0 -238 -338 0 -238 -358 0 -238 -378 0 -238 -398 0 -238 -418 0 -258 -278 0 -258 -298 0 -258 -318 0 -258 -338 0 -258 -358 0 -258 -378 0 -258 -398 0 -258 -418 0 -278 -298 0 -278 -318 0 -278 -338 0 -278 -358 0 -278 -378 0 -278 -398 0 -278 -418 0 -298 -318 0 -298 -338 0 -298 -358 0 -298 -378 0 -298 -398 0 -298 -418 0 -318 -338 0 -318 -358 0 -318 -378 0 -318 -398 0 -318 -418 0 -338 -358 0 -338 -378 0 -338 -398 0 -338 -418 0 -358 -378 0 -358 -398 0 -358 -418 0 -378 -398 0 -378 -418 0 -398 -418 0 -19 -39 0 -19 -59 0 -19 -79 0 -19 -99 0 -19 -119 0 -19 -139 0 -19 -159 0 -19 -179 0 -19 -199 0 -19 -219 0 -19 -239 0 -19 -259 0 -19 -279 0 -19 -299 0 -19 -319 0 -19 -339 0 -19 -359 0 -19 -379 0 -19 -399 0 -19 -419 0 -39 -59 0 -39 -79 0 -39 -99 0 -39 -119 0 -39 -139 0 -39 -159 0 -39 -179 0 -39 -199 0 -39 -219 0 -39 -239 0 -39 -259 0 -39 -279 0 -39 -299 0 -39 -319 0 -39 -339 0 -39 -359 0 -39 -379 0 -39 -399 0 -39 -419 0 -59 -79 0 -59 -99 0 -59 -119 0 -59 -139 0 -59 -159 0 -59 -179 0 -59 -199 0 -59 -219 0 -59 -239 0 -59 -259 0 -59 -279 0 -59 -299 0 -59 -319 0 -59 -339 0 -59 -359 0 -59 -379 0 -59 -399 0 -59 -419 0 -79 -99 0 -79 -119 0 -79 -139 0 -79 -159 0 -79 -179 0 -79 -199 0 -79 -219 0 -79 -239 0 -79 -259 0 -79 -279 0 -79 -299 0 -79 -319 0 -79 -339 0 -79 -359 0 -79 -379 0 -79 -399 0 -79 -419 0 -99 -119 0 -99 -139 0 -99 -159 0 -99 -179 0 -99 -199 0 -99 -219 0 -99 -239 0 -99 -259 0 -99 -279 0 -99 -299 0 -99 -319 0 -99 -339 0 -99 -359 0 -99 -379 0 -99 -399 0 -99 -419 0 -119 -139 0 -119 -159 0 -119 -179 0 -119 -199 0 -119 -219 0 -119 -239 0 -119 -259 0 -119 -279 0 -119 -299 0 -119 -319 0 -119 -339 0 -119 -359 0 -119 -379 0 -119 -399 0 -119 -419 0 -139 -159 0 -139 -179 0 -139 -199 0 -139 -219 0 -139 -239 0 -139 -259 0 -139 -279 0 -139 -299 0 -139 -319 0 -139 -339 0 -139 -359 0 -139 -379 0 -139 -399 0 -139 -419 0 -159 -179 0 -159 -199 0 -159 -219 0 -159 -239 0 -159 -259 0 -159 -279 0 -159 -299 0 -159 -319 0 -159 -339 0 -159 -359 0 -159 -379 0 -159 -399 0 -159 -419 0 -179 -199 0 -179 -219 0 -179 -239 0 -179 -259 0 -179 -279 0 -179 -299 0 -179 -319 0 -179 -339 0 -179 -359 0 -179 -379 0 -179 -399 0 -179 -419 0 -199 -219 0 -199 -239 0 -199 -259 0 -199 -279 0 -199 -299 0 -199 -319 0 -199 -339 0 -199 -359 0 -199 -379 0 -199 -399 0 -199 -419 0 -219 -239 0 -219 -259 0 -219 -279 0 -219 -299 0 -219 -319 0 -219 -339 0 -219 -359 0 -219 -379 0 -219 -399 0 -219 -419 0 -239 -259 0 -239 -279 0 -239 -299 0 -239 -319 0 -239 -339 0 -239 -359 0 -239 -379 0 -239 -399 0 -239 -419 0 -259 -279 0 -259 -299 0 -259 -319 0 -259 -339 0 -259 -359 0 -259 -379 0 -259 -399 0 -259 -419 0 -279 -299 0 -279 -319 0 -279 -339 0 -279 -359 0 -279 -379 0 -279 -399 0 -279 -419 0 -299 -319 0 -299 -339 0 -299 -359 0 -299 -379 0 -299 -399 0 -299 -419 0 -319 -339 0 -319 -359 0 -319 -379 0 -319 -399 0 -319 -419 0 -339 -359 0 -339 -379 0 -339 -399 0 -339 -419 0 -359 -379 0 -359 -399 0 -359 -419 0 -379 -399 0 -379 -419 0 -399 -419 0 -20 -40 0 -20 -60 0 -20 -80 0 -20 -100 0 -20 -120 0 -20 -140 0 -20 -160 0 -20 -180 0 -20 -200 0 -20 -220 0 -20 -240 0 -20 -260 0 -20 -280 0 -20 -300 0 -20 -320 0 -20 -340 0 -20 -360 0 -20 -380 0 -20 -400 0 -20 -420 0 -40 -60 0 -40 -80 0 -40 -100 0 -40 -120 0 -40 -140 0 -40 -160 0 -40 -180 0 -40 -200 0 -40 -220 0 -40 -240 0 -40 -260 0 -40 -280 0 -40 -300 0 -40 -320 0 -40 -340 0 -40 -360 0 -40 -380 0 -40 -400 0 -40 -420 0 -60 -80 0 -60 -100 0 -60 -120 0 -60 -140 0 -60 -160 0 -60 -180 0 -60 -200 0 -60 -220 0 -60 -240 0 -60 -260 0 -60 -280 0 -60 -300 0 -60 -320 0 -60 -340 0 -60 -360 0 -60 -380 0 -60 -400 0 -60 -420 0 -80 -100 0 -80 -120 0 -80 -140 0 -80 -160 0 -80 -180 0 -80 -200 0 -80 -220 0 -80 -240 0 -80 -260 0 -80 -280 0 -80 -300 0 -80 -320 0 -80 -340 0 -80 -360 0 -80 -380 0 -80 -400 0 -80 -420 0 -100 -120 0 -100 -140 0 -100 -160 0 -100 -180 0 -100 -200 0 -100 -220 0 -100 -240 0 -100 -260 0 -100 -280 0 -100 -300 0 -100 -320 0 -100 -340 0 -100 -360 0 -100 -380 0 -100 -400 0 -100 -420 0 -120 -140 0 -120 -160 0 -120 -180 0 -120 -200 0 -120 -220 0 -120 -240 0 -120 -260 0 -120 -280 0 -120 -300 0 -120 -320 0 -120 -340 0 -120 -360 0 -120 -380 0 -120 -400 0 -120 -420 0 -140 -160 0 -140 -180 0 -140 -200 0 -140 -220 0 -140 -240 0 -140 -260 0 -140 -280 0 -140 -300 0 -140 -320 0 -140 -340 0 -140 -360 0 -140 -380 0 -140 -400 0 -140 -420 0 -160 -180 0 -160 -200 0 -160 -220 0 -160 -240 0 -160 -260 0 -160 -280 0 -160 -300 0 -160 -320 0 -160 -340 0 -160 -360 0 -160 -380 0 -160 -400 0 -160 -420 0 -180 -200 0 -180 -220 0 -180 -240 0 -180 -260 0 -180 -280 0 -180 -300 0 -180 -320 0 -180 -340 0 -180 -360 0 -180 -380 0 -180 -400 0 -180 -420 0 -200 -220 0 -200 -240 0 -200 -260 0 -200 -280 0 -200 -300 0 -200 -320 0 -200 -340 0 -200 -360 0 -200 -380 0 -200 -400 0 -200 -420 0 -220 -240 0 -220 -260 0 -220 -280 0 -220 -300 0 -220 -320 0 -220 -340 0 -220 -360 0 -220 -380 0 -220 -400 0 -220 -420 0 -240 -260 0 -240 -280 0 -240 -300 0 -240 -320 0 -240 -340 0 -240 -360 0 -240 -380 0 -240 -400 0 -240 -420 0 -260 -280 0 -260 -300 0 -260 -320 0 -260 -340 0 -260 -360 0 -260 -380 0 -260 -400 0 -260 -420 0 -280 -300 0 -280 -320 0 -280 -340 0 -280 -360 0 -280 -380 0 -280 -400 0 -280 -420 0 -300 -320 0 -300 -340 0 -300 -360 0 -300 -380 0 -300 -400 0 -300 -420 0 -320 -340 0 -320 -360 0 -320 -380 0 -320 -400 0 -320 -420 0 -340 -360 0 -340 -380 0 -340 -400 0 -340 -420 0 -360 -380 0 -360 -400 0 -360 -420 0 -380 -400 0 -380 -420 0 -400 -420 0