c Boolean vector synthesis problem c n=4 m=3 k=11 A=16 c Specification: c 0 0 0 0 --> 0 0 0 c 0 0 0 1 --> 0 0 1 c 0 0 1 0 --> 0 1 0 c 0 0 1 1 --> 0 1 1 c 0 1 0 0 --> 0 0 1 c 0 1 0 1 --> 0 1 0 c 0 1 1 0 --> 0 1 1 c 0 1 1 1 --> 1 0 0 c 1 0 0 0 --> 0 1 0 c 1 0 0 1 --> 0 1 1 c 1 0 1 0 --> 1 0 0 c 1 0 1 1 --> 1 0 1 c 1 1 0 0 --> 0 1 1 c 1 1 0 1 --> 1 0 0 c 1 1 1 0 --> 1 0 1 c 1 1 1 1 --> 1 1 0 c Decision variables: c s[1][1] is 1 c s[1][2] is 2 c s[1][3] is 3 c s[1][4] is 4 c s[2][1] is 5 c s[2][2] is 6 c s[2][3] is 7 c s[2][4] is 8 c s[3][1] is 9 c s[3][2] is 10 c s[3][3] is 11 c s[3][4] is 12 c s[4][1] is 13 c s[4][2] is 14 c s[4][3] is 15 c s[4][4] is 16 c s[5][1] is 17 c s[5][2] is 18 c s[5][3] is 19 c s[5][4] is 20 c s[6][1] is 21 c s[6][2] is 22 c s[6][3] is 23 c s[6][4] is 24 c s[7][1] is 25 c s[7][2] is 26 c s[7][3] is 27 c s[7][4] is 28 c s[8][1] is 29 c s[8][2] is 30 c s[8][3] is 31 c s[8][4] is 32 c s[9][1] is 33 c s[9][2] is 34 c s[9][3] is 35 c s[9][4] is 36 c s[10][1] is 37 c s[10][2] is 38 c s[10][3] is 39 c s[10][4] is 40 c s[11][1] is 41 c s[11][2] is 42 c s[11][3] is 43 c s[11][4] is 44 c sp[1][1] is 45 c sp[1][2] is 46 c sp[1][3] is 47 c sp[1][4] is 48 c sp[2][1] is 49 c sp[2][2] is 50 c sp[2][3] is 51 c sp[2][4] is 52 c sp[3][1] is 53 c sp[3][2] is 54 c sp[3][3] is 55 c sp[3][4] is 56 c sp[4][1] is 57 c sp[4][2] is 58 c sp[4][3] is 59 c sp[4][4] is 60 c sp[5][1] is 61 c sp[5][2] is 62 c sp[5][3] is 63 c sp[5][4] is 64 c sp[6][1] is 65 c sp[6][2] is 66 c sp[6][3] is 67 c sp[6][4] is 68 c sp[7][1] is 69 c sp[7][2] is 70 c sp[7][3] is 71 c sp[7][4] is 72 c sp[8][1] is 73 c sp[8][2] is 74 c sp[8][3] is 75 c sp[8][4] is 76 c sp[9][1] is 77 c sp[9][2] is 78 c sp[9][3] is 79 c sp[9][4] is 80 c sp[10][1] is 81 c sp[10][2] is 82 c sp[10][3] is 83 c sp[10][4] is 84 c sp[11][1] is 85 c sp[11][2] is 86 c sp[11][3] is 87 c sp[11][4] is 88 c w[1][1] is 89 c w[1][2] is 90 c w[1][3] is 91 c w[2][1] is 92 c w[2][2] is 93 c w[2][3] is 94 c w[3][1] is 95 c w[3][2] is 96 c w[3][3] is 97 c w[4][1] is 98 c w[4][2] is 99 c w[4][3] is 100 c w[5][1] is 101 c w[5][2] is 102 c w[5][3] is 103 c w[6][1] is 104 c w[6][2] is 105 c w[6][3] is 106 c w[7][1] is 107 c w[7][2] is 108 c w[7][3] is 109 c w[8][1] is 110 c w[8][2] is 111 c w[8][3] is 112 c w[9][1] is 113 c w[9][2] is 114 c w[9][3] is 115 c w[10][1] is 116 c w[10][2] is 117 c w[10][3] is 118 c w[11][1] is 119 c w[11][2] is 120 c w[11][3] is 121 c Auxiliary variables: c z[1][1][1] is 122 c z[1][1][2] is 123 c z[1][1][3] is 124 c z[1][2][1] is 125 c z[1][2][2] is 126 c z[1][2][3] is 127 c z[1][3][1] is 128 c z[1][3][2] is 129 c z[1][3][3] is 130 c z[1][4][1] is 131 c z[1][4][2] is 132 c z[1][4][3] is 133 c z[1][5][1] is 134 c z[1][5][2] is 135 c z[1][5][3] is 136 c z[1][6][1] is 137 c z[1][6][2] is 138 c z[1][6][3] is 139 c z[1][7][1] is 140 c z[1][7][2] is 141 c z[1][7][3] is 142 c z[1][8][1] is 143 c z[1][8][2] is 144 c z[1][8][3] is 145 c z[1][9][1] is 146 c z[1][9][2] is 147 c z[1][9][3] is 148 c z[1][10][1] is 149 c z[1][10][2] is 150 c z[1][10][3] is 151 c z[1][11][1] is 152 c z[1][11][2] is 153 c z[1][11][3] is 154 c z[2][1][1] is 155 c z[2][1][2] is 156 c z[2][1][3] is 157 c z[2][2][1] is 158 c z[2][2][2] is 159 c z[2][2][3] is 160 c z[2][3][1] is 161 c z[2][3][2] is 162 c z[2][3][3] is 163 c z[2][4][1] is 164 c z[2][4][2] is 165 c z[2][4][3] is 166 c z[2][5][1] is 167 c z[2][5][2] is 168 c z[2][5][3] is 169 c z[2][6][1] is 170 c z[2][6][2] is 171 c z[2][6][3] is 172 c z[2][7][1] is 173 c z[2][7][2] is 174 c z[2][7][3] is 175 c z[2][8][1] is 176 c z[2][8][2] is 177 c z[2][8][3] is 178 c z[2][9][1] is 179 c z[2][9][2] is 180 c z[2][9][3] is 181 c z[2][10][1] is 182 c z[2][10][2] is 183 c z[2][10][3] is 184 c z[2][11][1] is 185 c z[2][11][2] is 186 c z[2][11][3] is 187 c z[3][1][1] is 188 c z[3][1][2] is 189 c z[3][1][3] is 190 c z[3][2][1] is 191 c z[3][2][2] is 192 c z[3][2][3] is 193 c z[3][3][1] is 194 c z[3][3][2] is 195 c z[3][3][3] is 196 c z[3][4][1] is 197 c z[3][4][2] is 198 c z[3][4][3] is 199 c z[3][5][1] is 200 c z[3][5][2] is 201 c z[3][5][3] is 202 c z[3][6][1] is 203 c z[3][6][2] is 204 c z[3][6][3] is 205 c z[3][7][1] is 206 c z[3][7][2] is 207 c z[3][7][3] is 208 c z[3][8][1] is 209 c z[3][8][2] is 210 c z[3][8][3] is 211 c z[3][9][1] is 212 c z[3][9][2] is 213 c z[3][9][3] is 214 c z[3][10][1] is 215 c z[3][10][2] is 216 c z[3][10][3] is 217 c z[3][11][1] is 218 c z[3][11][2] is 219 c z[3][11][3] is 220 c z[4][1][1] is 221 c z[4][1][2] is 222 c z[4][1][3] is 223 c z[4][2][1] is 224 c z[4][2][2] is 225 c z[4][2][3] is 226 c z[4][3][1] is 227 c z[4][3][2] is 228 c z[4][3][3] is 229 c z[4][4][1] is 230 c z[4][4][2] is 231 c z[4][4][3] is 232 c z[4][5][1] is 233 c z[4][5][2] is 234 c z[4][5][3] is 235 c z[4][6][1] is 236 c z[4][6][2] is 237 c z[4][6][3] is 238 c z[4][7][1] is 239 c z[4][7][2] is 240 c z[4][7][3] is 241 c z[4][8][1] is 242 c z[4][8][2] is 243 c z[4][8][3] is 244 c z[4][9][1] is 245 c z[4][9][2] is 246 c z[4][9][3] is 247 c z[4][10][1] is 248 c z[4][10][2] is 249 c z[4][10][3] is 250 c z[4][11][1] is 251 c z[4][11][2] is 252 c z[4][11][3] is 253 c z[5][1][1] is 254 c z[5][1][2] is 255 c z[5][1][3] is 256 c z[5][2][1] is 257 c z[5][2][2] is 258 c z[5][2][3] is 259 c z[5][3][1] is 260 c z[5][3][2] is 261 c z[5][3][3] is 262 c z[5][4][1] is 263 c z[5][4][2] is 264 c z[5][4][3] is 265 c z[5][5][1] is 266 c z[5][5][2] is 267 c z[5][5][3] is 268 c z[5][6][1] is 269 c z[5][6][2] is 270 c z[5][6][3] is 271 c z[5][7][1] is 272 c z[5][7][2] is 273 c z[5][7][3] is 274 c z[5][8][1] is 275 c z[5][8][2] is 276 c z[5][8][3] is 277 c z[5][9][1] is 278 c z[5][9][2] is 279 c z[5][9][3] is 280 c z[5][10][1] is 281 c z[5][10][2] is 282 c z[5][10][3] is 283 c z[5][11][1] is 284 c z[5][11][2] is 285 c z[5][11][3] is 286 c z[6][1][1] is 287 c z[6][1][2] is 288 c z[6][1][3] is 289 c z[6][2][1] is 290 c z[6][2][2] is 291 c z[6][2][3] is 292 c z[6][3][1] is 293 c z[6][3][2] is 294 c z[6][3][3] is 295 c z[6][4][1] is 296 c z[6][4][2] is 297 c z[6][4][3] is 298 c z[6][5][1] is 299 c z[6][5][2] is 300 c z[6][5][3] is 301 c z[6][6][1] is 302 c z[6][6][2] is 303 c z[6][6][3] is 304 c z[6][7][1] is 305 c z[6][7][2] is 306 c z[6][7][3] is 307 c z[6][8][1] is 308 c z[6][8][2] is 309 c z[6][8][3] is 310 c z[6][9][1] is 311 c z[6][9][2] is 312 c z[6][9][3] is 313 c z[6][10][1] is 314 c z[6][10][2] is 315 c z[6][10][3] is 316 c z[6][11][1] is 317 c z[6][11][2] is 318 c z[6][11][3] is 319 c z[7][1][1] is 320 c z[7][1][2] is 321 c z[7][1][3] is 322 c z[7][2][1] is 323 c z[7][2][2] is 324 c z[7][2][3] is 325 c z[7][3][1] is 326 c z[7][3][2] is 327 c z[7][3][3] is 328 c z[7][4][1] is 329 c z[7][4][2] is 330 c z[7][4][3] is 331 c z[7][5][1] is 332 c z[7][5][2] is 333 c z[7][5][3] is 334 c z[7][6][1] is 335 c z[7][6][2] is 336 c z[7][6][3] is 337 c z[7][7][1] is 338 c z[7][7][2] is 339 c z[7][7][3] is 340 c z[7][8][1] is 341 c z[7][8][2] is 342 c z[7][8][3] is 343 c z[7][9][1] is 344 c z[7][9][2] is 345 c z[7][9][3] is 346 c z[7][10][1] is 347 c z[7][10][2] is 348 c z[7][10][3] is 349 c z[7][11][1] is 350 c z[7][11][2] is 351 c z[7][11][3] is 352 c z[8][1][1] is 353 c z[8][1][2] is 354 c z[8][1][3] is 355 c z[8][2][1] is 356 c z[8][2][2] is 357 c z[8][2][3] is 358 c z[8][3][1] is 359 c z[8][3][2] is 360 c z[8][3][3] is 361 c z[8][4][1] is 362 c z[8][4][2] is 363 c z[8][4][3] is 364 c z[8][5][1] is 365 c z[8][5][2] is 366 c z[8][5][3] is 367 c z[8][6][1] is 368 c z[8][6][2] is 369 c z[8][6][3] is 370 c z[8][7][1] is 371 c z[8][7][2] is 372 c z[8][7][3] is 373 c z[8][8][1] is 374 c z[8][8][2] is 375 c z[8][8][3] is 376 c z[8][9][1] is 377 c z[8][9][2] is 378 c z[8][9][3] is 379 c z[8][10][1] is 380 c z[8][10][2] is 381 c z[8][10][3] is 382 c z[8][11][1] is 383 c z[8][11][2] is 384 c z[8][11][3] is 385 c z[9][1][1] is 386 c z[9][1][2] is 387 c z[9][1][3] is 388 c z[9][2][1] is 389 c z[9][2][2] is 390 c z[9][2][3] is 391 c z[9][3][1] is 392 c z[9][3][2] is 393 c z[9][3][3] is 394 c z[9][4][1] is 395 c z[9][4][2] is 396 c z[9][4][3] is 397 c z[9][5][1] is 398 c z[9][5][2] is 399 c z[9][5][3] is 400 c z[9][6][1] is 401 c z[9][6][2] is 402 c z[9][6][3] is 403 c z[9][7][1] is 404 c z[9][7][2] is 405 c z[9][7][3] is 406 c z[9][8][1] is 407 c z[9][8][2] is 408 c z[9][8][3] is 409 c z[9][9][1] is 410 c z[9][9][2] is 411 c z[9][9][3] is 412 c z[9][10][1] is 413 c z[9][10][2] is 414 c z[9][10][3] is 415 c z[9][11][1] is 416 c z[9][11][2] is 417 c z[9][11][3] is 418 c z[10][1][1] is 419 c z[10][1][2] is 420 c z[10][1][3] is 421 c z[10][2][1] is 422 c z[10][2][2] is 423 c z[10][2][3] is 424 c z[10][3][1] is 425 c z[10][3][2] is 426 c z[10][3][3] is 427 c z[10][4][1] is 428 c z[10][4][2] is 429 c z[10][4][3] is 430 c z[10][5][1] is 431 c z[10][5][2] is 432 c z[10][5][3] is 433 c z[10][6][1] is 434 c z[10][6][2] is 435 c z[10][6][3] is 436 c z[10][7][1] is 437 c z[10][7][2] is 438 c z[10][7][3] is 439 c z[10][8][1] is 440 c z[10][8][2] is 441 c z[10][8][3] is 442 c z[10][9][1] is 443 c z[10][9][2] is 444 c z[10][9][3] is 445 c z[10][10][1] is 446 c z[10][10][2] is 447 c z[10][10][3] is 448 c z[10][11][1] is 449 c z[10][11][2] is 450 c z[10][11][3] is 451 c z[11][1][1] is 452 c z[11][1][2] is 453 c z[11][1][3] is 454 c z[11][2][1] is 455 c z[11][2][2] is 456 c z[11][2][3] is 457 c z[11][3][1] is 458 c z[11][3][2] is 459 c z[11][3][3] is 460 c z[11][4][1] is 461 c z[11][4][2] is 462 c z[11][4][3] is 463 c z[11][5][1] is 464 c z[11][5][2] is 465 c z[11][5][3] is 466 c z[11][6][1] is 467 c z[11][6][2] is 468 c z[11][6][3] is 469 c z[11][7][1] is 470 c z[11][7][2] is 471 c z[11][7][3] is 472 c z[11][8][1] is 473 c z[11][8][2] is 474 c z[11][8][3] is 475 c z[11][9][1] is 476 c z[11][9][2] is 477 c z[11][9][3] is 478 c z[11][10][1] is 479 c z[11][10][2] is 480 c z[11][10][3] is 481 c z[11][11][1] is 482 c z[11][11][2] is 483 c z[11][11][3] is 484 c z[12][1][1] is 485 c z[12][1][2] is 486 c z[12][1][3] is 487 c z[12][2][1] is 488 c z[12][2][2] is 489 c z[12][2][3] is 490 c z[12][3][1] is 491 c z[12][3][2] is 492 c z[12][3][3] is 493 c z[12][4][1] is 494 c z[12][4][2] is 495 c z[12][4][3] is 496 c z[12][5][1] is 497 c z[12][5][2] is 498 c z[12][5][3] is 499 c z[12][6][1] is 500 c z[12][6][2] is 501 c z[12][6][3] is 502 c z[12][7][1] is 503 c z[12][7][2] is 504 c z[12][7][3] is 505 c z[12][8][1] is 506 c z[12][8][2] is 507 c z[12][8][3] is 508 c z[12][9][1] is 509 c z[12][9][2] is 510 c z[12][9][3] is 511 c z[12][10][1] is 512 c z[12][10][2] is 513 c z[12][10][3] is 514 c z[12][11][1] is 515 c z[12][11][2] is 516 c z[12][11][3] is 517 c z[13][1][1] is 518 c z[13][1][2] is 519 c z[13][1][3] is 520 c z[13][2][1] is 521 c z[13][2][2] is 522 c z[13][2][3] is 523 c z[13][3][1] is 524 c z[13][3][2] is 525 c z[13][3][3] is 526 c z[13][4][1] is 527 c z[13][4][2] is 528 c z[13][4][3] is 529 c z[13][5][1] is 530 c z[13][5][2] is 531 c z[13][5][3] is 532 c z[13][6][1] is 533 c z[13][6][2] is 534 c z[13][6][3] is 535 c z[13][7][1] is 536 c z[13][7][2] is 537 c z[13][7][3] is 538 c z[13][8][1] is 539 c z[13][8][2] is 540 c z[13][8][3] is 541 c z[13][9][1] is 542 c z[13][9][2] is 543 c z[13][9][3] is 544 c z[13][10][1] is 545 c z[13][10][2] is 546 c z[13][10][3] is 547 c z[13][11][1] is 548 c z[13][11][2] is 549 c z[13][11][3] is 550 c z[14][1][1] is 551 c z[14][1][2] is 552 c z[14][1][3] is 553 c z[14][2][1] is 554 c z[14][2][2] is 555 c z[14][2][3] is 556 c z[14][3][1] is 557 c z[14][3][2] is 558 c z[14][3][3] is 559 c z[14][4][1] is 560 c z[14][4][2] is 561 c z[14][4][3] is 562 c z[14][5][1] is 563 c z[14][5][2] is 564 c z[14][5][3] is 565 c z[14][6][1] is 566 c z[14][6][2] is 567 c z[14][6][3] is 568 c z[14][7][1] is 569 c z[14][7][2] is 570 c z[14][7][3] is 571 c z[14][8][1] is 572 c z[14][8][2] is 573 c z[14][8][3] is 574 c z[14][9][1] is 575 c z[14][9][2] is 576 c z[14][9][3] is 577 c z[14][10][1] is 578 c z[14][10][2] is 579 c z[14][10][3] is 580 c z[14][11][1] is 581 c z[14][11][2] is 582 c z[14][11][3] is 583 c z[15][1][1] is 584 c z[15][1][2] is 585 c z[15][1][3] is 586 c z[15][2][1] is 587 c z[15][2][2] is 588 c z[15][2][3] is 589 c z[15][3][1] is 590 c z[15][3][2] is 591 c z[15][3][3] is 592 c z[15][4][1] is 593 c z[15][4][2] is 594 c z[15][4][3] is 595 c z[15][5][1] is 596 c z[15][5][2] is 597 c z[15][5][3] is 598 c z[15][6][1] is 599 c z[15][6][2] is 600 c z[15][6][3] is 601 c z[15][7][1] is 602 c z[15][7][2] is 603 c z[15][7][3] is 604 c z[15][8][1] is 605 c z[15][8][2] is 606 c z[15][8][3] is 607 c z[15][9][1] is 608 c z[15][9][2] is 609 c z[15][9][3] is 610 c z[15][10][1] is 611 c z[15][10][2] is 612 c z[15][10][3] is 613 c z[15][11][1] is 614 c z[15][11][2] is 615 c z[15][11][3] is 616 c z[16][1][1] is 617 c z[16][1][2] is 618 c z[16][1][3] is 619 c z[16][2][1] is 620 c z[16][2][2] is 621 c z[16][2][3] is 622 c z[16][3][1] is 623 c z[16][3][2] is 624 c z[16][3][3] is 625 c z[16][4][1] is 626 c z[16][4][2] is 627 c z[16][4][3] is 628 c z[16][5][1] is 629 c z[16][5][2] is 630 c z[16][5][3] is 631 c z[16][6][1] is 632 c z[16][6][2] is 633 c z[16][6][3] is 634 c z[16][7][1] is 635 c z[16][7][2] is 636 c z[16][7][3] is 637 c z[16][8][1] is 638 c z[16][8][2] is 639 c z[16][8][3] is 640 c z[16][9][1] is 641 c z[16][9][2] is 642 c z[16][9][3] is 643 c z[16][10][1] is 644 c z[16][10][2] is 645 c z[16][10][3] is 646 c z[16][11][1] is 647 c z[16][11][2] is 648 c z[16][11][3] is 649 p cnf 649 1562 1 45 0 5 49 0 9 53 0 13 57 0 17 61 0 21 65 0 25 69 0 29 73 0 33 77 0 37 81 0 41 85 0 2 46 0 6 50 0 10 54 0 14 58 0 18 62 0 22 66 0 26 70 0 30 74 0 34 78 0 38 82 0 42 86 0 3 47 0 7 51 0 11 55 0 15 59 0 19 63 0 23 67 0 27 71 0 31 75 0 35 79 0 39 83 0 43 87 0 4 48 0 8 52 0 12 56 0 16 60 0 20 64 0 24 68 0 28 72 0 32 76 0 36 80 0 40 84 0 44 88 0 -89 -1 -2 -3 -4 0 -92 -5 -6 -7 -8 0 -95 -9 -10 -11 -12 0 -98 -13 -14 -15 -16 0 -101 -17 -18 -19 -20 0 -104 -21 -22 -23 -24 0 -107 -25 -26 -27 -28 0 -110 -29 -30 -31 -32 0 -113 -33 -34 -35 -36 0 -116 -37 -38 -39 -40 0 -119 -41 -42 -43 -44 0 -89 -1 -2 -3 -48 0 -92 -5 -6 -7 -52 0 -95 -9 -10 -11 -56 0 -98 -13 -14 -15 -60 0 -101 -17 -18 -19 -64 0 -104 -21 -22 -23 -68 0 -107 -25 -26 -27 -72 0 -110 -29 -30 -31 -76 0 -113 -33 -34 -35 -80 0 -116 -37 -38 -39 -84 0 -119 -41 -42 -43 -88 0 -89 -1 -2 -47 -4 0 -92 -5 -6 -51 -8 0 -95 -9 -10 -55 -12 0 -98 -13 -14 -59 -16 0 -101 -17 -18 -63 -20 0 -104 -21 -22 -67 -24 0 -107 -25 -26 -71 -28 0 -110 -29 -30 -75 -32 0 -113 -33 -34 -79 -36 0 -116 -37 -38 -83 -40 0 -119 -41 -42 -87 -44 0 -89 -1 -2 -47 -48 0 -92 -5 -6 -51 -52 0 -95 -9 -10 -55 -56 0 -98 -13 -14 -59 -60 0 -101 -17 -18 -63 -64 0 -104 -21 -22 -67 -68 0 -107 -25 -26 -71 -72 0 -110 -29 -30 -75 -76 0 -113 -33 -34 -79 -80 0 -116 -37 -38 -83 -84 0 -119 -41 -42 -87 -88 0 -89 -1 -46 -3 -4 0 -92 -5 -50 -7 -8 0 -95 -9 -54 -11 -12 0 -98 -13 -58 -15 -16 0 -101 -17 -62 -19 -20 0 -104 -21 -66 -23 -24 0 -107 -25 -70 -27 -28 0 -110 -29 -74 -31 -32 0 -113 -33 -78 -35 -36 0 -116 -37 -82 -39 -40 0 -119 -41 -86 -43 -44 0 -89 -1 -46 -3 -48 0 -92 -5 -50 -7 -52 0 -95 -9 -54 -11 -56 0 -98 -13 -58 -15 -60 0 -101 -17 -62 -19 -64 0 -104 -21 -66 -23 -68 0 -107 -25 -70 -27 -72 0 -110 -29 -74 -31 -76 0 -113 -33 -78 -35 -80 0 -116 -37 -82 -39 -84 0 -119 -41 -86 -43 -88 0 -89 -1 -46 -47 -4 0 -92 -5 -50 -51 -8 0 -95 -9 -54 -55 -12 0 -98 -13 -58 -59 -16 0 -101 -17 -62 -63 -20 0 -104 -21 -66 -67 -24 0 -107 -25 -70 -71 -28 0 -110 -29 -74 -75 -32 0 -113 -33 -78 -79 -36 0 -116 -37 -82 -83 -40 0 -119 -41 -86 -87 -44 0 -89 -45 -2 -3 -4 0 -92 -49 -6 -7 -8 0 -95 -53 -10 -11 -12 0 -98 -57 -14 -15 -16 0 -101 -61 -18 -19 -20 0 -104 -65 -22 -23 -24 0 -107 -69 -26 -27 -28 0 -110 -73 -30 -31 -32 0 -113 -77 -34 -35 -36 0 -116 -81 -38 -39 -40 0 -119 -85 -42 -43 -44 0 -89 -45 -2 -3 -48 0 -92 -49 -6 -7 -52 0 -95 -53 -10 -11 -56 0 -98 -57 -14 -15 -60 0 -101 -61 -18 -19 -64 0 -104 -65 -22 -23 -68 0 -107 -69 -26 -27 -72 0 -110 -73 -30 -31 -76 0 -113 -77 -34 -35 -80 0 -116 -81 -38 -39 -84 0 -119 -85 -42 -43 -88 0 -89 -45 -46 -3 -4 0 -92 -49 -50 -7 -8 0 -95 -53 -54 -11 -12 0 -98 -57 -58 -15 -16 0 -101 -61 -62 -19 -20 0 -104 -65 -66 -23 -24 0 -107 -69 -70 -27 -28 0 -110 -73 -74 -31 -32 0 -113 -77 -78 -35 -36 0 -116 -81 -82 -39 -40 0 -119 -85 -86 -43 -44 0 -90 -1 -2 -3 -4 0 -93 -5 -6 -7 -8 0 -96 -9 -10 -11 -12 0 -99 -13 -14 -15 -16 0 -102 -17 -18 -19 -20 0 -105 -21 -22 -23 -24 0 -108 -25 -26 -27 -28 0 -111 -29 -30 -31 -32 0 -114 -33 -34 -35 -36 0 -117 -37 -38 -39 -40 0 -120 -41 -42 -43 -44 0 -90 -1 -2 -3 -48 0 -93 -5 -6 -7 -52 0 -96 -9 -10 -11 -56 0 -99 -13 -14 -15 -60 0 -102 -17 -18 -19 -64 0 -105 -21 -22 -23 -68 0 -108 -25 -26 -27 -72 0 -111 -29 -30 -31 -76 0 -114 -33 -34 -35 -80 0 -117 -37 -38 -39 -84 0 -120 -41 -42 -43 -88 0 -90 -1 -46 -3 -4 0 -93 -5 -50 -7 -8 0 -96 -9 -54 -11 -12 0 -99 -13 -58 -15 -16 0 -102 -17 -62 -19 -20 0 -105 -21 -66 -23 -24 0 -108 -25 -70 -27 -28 0 -111 -29 -74 -31 -32 0 -114 -33 -78 -35 -36 0 -117 -37 -82 -39 -40 0 -120 -41 -86 -43 -44 0 -90 -1 -46 -47 -48 0 -93 -5 -50 -51 -52 0 -96 -9 -54 -55 -56 0 -99 -13 -58 -59 -60 0 -102 -17 -62 -63 -64 0 -105 -21 -66 -67 -68 0 -108 -25 -70 -71 -72 0 -111 -29 -74 -75 -76 0 -114 -33 -78 -79 -80 0 -117 -37 -82 -83 -84 0 -120 -41 -86 -87 -88 0 -90 -45 -2 -47 -4 0 -93 -49 -6 -51 -8 0 -96 -53 -10 -55 -12 0 -99 -57 -14 -59 -16 0 -102 -61 -18 -63 -20 0 -105 -65 -22 -67 -24 0 -108 -69 -26 -71 -28 0 -111 -73 -30 -75 -32 0 -114 -77 -34 -79 -36 0 -117 -81 -38 -83 -40 0 -120 -85 -42 -87 -44 0 -90 -45 -2 -47 -48 0 -93 -49 -6 -51 -52 0 -96 -53 -10 -55 -56 0 -99 -57 -14 -59 -60 0 -102 -61 -18 -63 -64 0 -105 -65 -22 -67 -68 0 -108 -69 -26 -71 -72 0 -111 -73 -30 -75 -76 0 -114 -77 -34 -79 -80 0 -117 -81 -38 -83 -84 0 -120 -85 -42 -87 -88 0 -90 -45 -46 -3 -48 0 -93 -49 -50 -7 -52 0 -96 -53 -54 -11 -56 0 -99 -57 -58 -15 -60 0 -102 -61 -62 -19 -64 0 -105 -65 -66 -23 -68 0 -108 -69 -70 -27 -72 0 -111 -73 -74 -31 -76 0 -114 -77 -78 -35 -80 0 -117 -81 -82 -39 -84 0 -120 -85 -86 -43 -88 0 -90 -45 -46 -47 -4 0 -93 -49 -50 -51 -8 0 -96 -53 -54 -55 -12 0 -99 -57 -58 -59 -16 0 -102 -61 -62 -63 -20 0 -105 -65 -66 -67 -24 0 -108 -69 -70 -71 -28 0 -111 -73 -74 -75 -32 0 -114 -77 -78 -79 -36 0 -117 -81 -82 -83 -40 0 -120 -85 -86 -87 -44 0 -91 -1 -2 -3 -4 0 -94 -5 -6 -7 -8 0 -97 -9 -10 -11 -12 0 -100 -13 -14 -15 -16 0 -103 -17 -18 -19 -20 0 -106 -21 -22 -23 -24 0 -109 -25 -26 -27 -28 0 -112 -29 -30 -31 -32 0 -115 -33 -34 -35 -36 0 -118 -37 -38 -39 -40 0 -121 -41 -42 -43 -44 0 -91 -1 -2 -47 -4 0 -94 -5 -6 -51 -8 0 -97 -9 -10 -55 -12 0 -100 -13 -14 -59 -16 0 -103 -17 -18 -63 -20 0 -106 -21 -22 -67 -24 0 -109 -25 -26 -71 -28 0 -112 -29 -30 -75 -32 0 -115 -33 -34 -79 -36 0 -118 -37 -38 -83 -40 0 -121 -41 -42 -87 -44 0 -91 -1 -46 -3 -48 0 -94 -5 -50 -7 -52 0 -97 -9 -54 -11 -56 0 -100 -13 -58 -15 -60 0 -103 -17 -62 -19 -64 0 -106 -21 -66 -23 -68 0 -109 -25 -70 -27 -72 0 -112 -29 -74 -31 -76 0 -115 -33 -78 -35 -80 0 -118 -37 -82 -39 -84 0 -121 -41 -86 -43 -88 0 -91 -1 -46 -47 -48 0 -94 -5 -50 -51 -52 0 -97 -9 -54 -55 -56 0 -100 -13 -58 -59 -60 0 -103 -17 -62 -63 -64 0 -106 -21 -66 -67 -68 0 -109 -25 -70 -71 -72 0 -112 -29 -74 -75 -76 0 -115 -33 -78 -79 -80 0 -118 -37 -82 -83 -84 0 -121 -41 -86 -87 -88 0 -91 -45 -2 -3 -4 0 -94 -49 -6 -7 -8 0 -97 -53 -10 -11 -12 0 -100 -57 -14 -15 -16 0 -103 -61 -18 -19 -20 0 -106 -65 -22 -23 -24 0 -109 -69 -26 -27 -28 0 -112 -73 -30 -31 -32 0 -115 -77 -34 -35 -36 0 -118 -81 -38 -39 -40 0 -121 -85 -42 -43 -44 0 -91 -45 -2 -47 -4 0 -94 -49 -6 -51 -8 0 -97 -53 -10 -55 -12 0 -100 -57 -14 -59 -16 0 -103 -61 -18 -63 -20 0 -106 -65 -22 -67 -24 0 -109 -69 -26 -71 -28 0 -112 -73 -30 -75 -32 0 -115 -77 -34 -79 -36 0 -118 -81 -38 -83 -40 0 -121 -85 -42 -87 -44 0 -91 -45 -46 -3 -48 0 -94 -49 -50 -7 -52 0 -97 -53 -54 -11 -56 0 -100 -57 -58 -15 -60 0 -103 -61 -62 -19 -64 0 -106 -65 -66 -23 -68 0 -109 -69 -70 -27 -72 0 -112 -73 -74 -31 -76 0 -115 -77 -78 -35 -80 0 -118 -81 -82 -39 -84 0 -121 -85 -86 -43 -88 0 -91 -45 -46 -47 -48 0 -94 -49 -50 -51 -52 0 -97 -53 -54 -55 -56 0 -100 -57 -58 -59 -60 0 -103 -61 -62 -63 -64 0 -106 -65 -66 -67 -68 0 -109 -69 -70 -71 -72 0 -112 -73 -74 -75 -76 0 -115 -77 -78 -79 -80 0 -118 -81 -82 -83 -84 0 -121 -85 -86 -87 -88 0 353 356 359 362 365 368 371 374 377 380 383 0 452 455 458 461 464 467 470 473 476 479 482 0 485 488 491 494 497 500 503 506 509 512 515 0 551 554 557 560 563 566 569 572 575 578 581 0 584 587 590 593 596 599 602 605 608 611 614 0 617 620 623 626 629 632 635 638 641 644 647 0 189 192 195 198 201 204 207 210 213 216 219 0 222 225 228 231 234 237 240 243 246 249 252 0 288 291 294 297 300 303 306 309 312 315 318 0 321 324 327 330 333 336 339 342 345 348 351 0 387 390 393 396 399 402 405 408 411 414 417 0 420 423 426 429 432 435 438 441 444 447 450 0 519 522 525 528 531 534 537 540 543 546 549 0 618 621 624 627 630 633 636 639 642 645 648 0 157 160 163 166 169 172 175 178 181 184 187 0 223 226 229 232 235 238 241 244 247 250 253 0 256 259 262 265 268 271 274 277 280 283 286 0 322 325 328 331 334 337 340 343 346 349 352 0 421 424 427 430 433 436 439 442 445 448 451 0 487 490 493 496 499 502 505 508 511 514 517 0 520 523 526 529 532 535 538 541 544 547 550 0 586 589 592 595 598 601 604 607 610 613 616 0 -353 89 0 -356 92 0 -359 95 0 -362 98 0 -365 101 0 -368 104 0 -371 107 0 -374 110 0 -377 113 0 -380 116 0 -383 119 0 -452 89 0 -455 92 0 -458 95 0 -461 98 0 -464 101 0 -467 104 0 -470 107 0 -473 110 0 -476 113 0 -479 116 0 -482 119 0 -485 89 0 -488 92 0 -491 95 0 -494 98 0 -497 101 0 -500 104 0 -503 107 0 -506 110 0 -509 113 0 -512 116 0 -515 119 0 -551 89 0 -554 92 0 -557 95 0 -560 98 0 -563 101 0 -566 104 0 -569 107 0 -572 110 0 -575 113 0 -578 116 0 -581 119 0 -584 89 0 -587 92 0 -590 95 0 -593 98 0 -596 101 0 -599 104 0 -602 107 0 -605 110 0 -608 113 0 -611 116 0 -614 119 0 -617 89 0 -620 92 0 -623 95 0 -626 98 0 -629 101 0 -632 104 0 -635 107 0 -638 110 0 -641 113 0 -644 116 0 -647 119 0 -189 90 0 -192 93 0 -195 96 0 -198 99 0 -201 102 0 -204 105 0 -207 108 0 -210 111 0 -213 114 0 -216 117 0 -219 120 0 -222 90 0 -225 93 0 -228 96 0 -231 99 0 -234 102 0 -237 105 0 -240 108 0 -243 111 0 -246 114 0 -249 117 0 -252 120 0 -288 90 0 -291 93 0 -294 96 0 -297 99 0 -300 102 0 -303 105 0 -306 108 0 -309 111 0 -312 114 0 -315 117 0 -318 120 0 -321 90 0 -324 93 0 -327 96 0 -330 99 0 -333 102 0 -336 105 0 -339 108 0 -342 111 0 -345 114 0 -348 117 0 -351 120 0 -387 90 0 -390 93 0 -393 96 0 -396 99 0 -399 102 0 -402 105 0 -405 108 0 -408 111 0 -411 114 0 -414 117 0 -417 120 0 -420 90 0 -423 93 0 -426 96 0 -429 99 0 -432 102 0 -435 105 0 -438 108 0 -441 111 0 -444 114 0 -447 117 0 -450 120 0 -519 90 0 -522 93 0 -525 96 0 -528 99 0 -531 102 0 -534 105 0 -537 108 0 -540 111 0 -543 114 0 -546 117 0 -549 120 0 -618 90 0 -621 93 0 -624 96 0 -627 99 0 -630 102 0 -633 105 0 -636 108 0 -639 111 0 -642 114 0 -645 117 0 -648 120 0 -157 91 0 -160 94 0 -163 97 0 -166 100 0 -169 103 0 -172 106 0 -175 109 0 -178 112 0 -181 115 0 -184 118 0 -187 121 0 -223 91 0 -226 94 0 -229 97 0 -232 100 0 -235 103 0 -238 106 0 -241 109 0 -244 112 0 -247 115 0 -250 118 0 -253 121 0 -256 91 0 -259 94 0 -262 97 0 -265 100 0 -268 103 0 -271 106 0 -274 109 0 -277 112 0 -280 115 0 -283 118 0 -286 121 0 -322 91 0 -325 94 0 -328 97 0 -331 100 0 -334 103 0 -337 106 0 -340 109 0 -343 112 0 -346 115 0 -349 118 0 -352 121 0 -421 91 0 -424 94 0 -427 97 0 -430 100 0 -433 103 0 -436 106 0 -439 109 0 -442 112 0 -445 115 0 -448 118 0 -451 121 0 -487 91 0 -490 94 0 -493 97 0 -496 100 0 -499 103 0 -502 106 0 -505 109 0 -508 112 0 -511 115 0 -514 118 0 -517 121 0 -520 91 0 -523 94 0 -526 97 0 -529 100 0 -532 103 0 -535 106 0 -538 109 0 -541 112 0 -544 115 0 -547 118 0 -550 121 0 -586 91 0 -589 94 0 -592 97 0 -595 100 0 -598 103 0 -601 106 0 -604 109 0 -607 112 0 -610 115 0 -613 118 0 -616 121 0 -353 1 0 -356 5 0 -359 9 0 -362 13 0 -365 17 0 -368 21 0 -371 25 0 -374 29 0 -377 33 0 -380 37 0 -383 41 0 -353 46 0 -356 50 0 -359 54 0 -362 58 0 -365 62 0 -368 66 0 -371 70 0 -374 74 0 -377 78 0 -380 82 0 -383 86 0 -353 47 0 -356 51 0 -359 55 0 -362 59 0 -365 63 0 -368 67 0 -371 71 0 -374 75 0 -377 79 0 -380 83 0 -383 87 0 -353 48 0 -356 52 0 -359 56 0 -362 60 0 -365 64 0 -368 68 0 -371 72 0 -374 76 0 -377 80 0 -380 84 0 -383 88 0 -452 45 0 -455 49 0 -458 53 0 -461 57 0 -464 61 0 -467 65 0 -470 69 0 -473 73 0 -476 77 0 -479 81 0 -482 85 0 -452 2 0 -455 6 0 -458 10 0 -461 14 0 -464 18 0 -467 22 0 -470 26 0 -473 30 0 -476 34 0 -479 38 0 -482 42 0 -452 47 0 -455 51 0 -458 55 0 -461 59 0 -464 63 0 -467 67 0 -470 71 0 -473 75 0 -476 79 0 -479 83 0 -482 87 0 -452 4 0 -455 8 0 -458 12 0 -461 16 0 -464 20 0 -467 24 0 -470 28 0 -473 32 0 -476 36 0 -479 40 0 -482 44 0 -485 45 0 -488 49 0 -491 53 0 -494 57 0 -497 61 0 -500 65 0 -503 69 0 -506 73 0 -509 77 0 -512 81 0 -515 85 0 -485 2 0 -488 6 0 -491 10 0 -494 14 0 -497 18 0 -500 22 0 -503 26 0 -506 30 0 -509 34 0 -512 38 0 -515 42 0 -485 47 0 -488 51 0 -491 55 0 -494 59 0 -497 63 0 -500 67 0 -503 71 0 -506 75 0 -509 79 0 -512 83 0 -515 87 0 -485 48 0 -488 52 0 -491 56 0 -494 60 0 -497 64 0 -500 68 0 -503 72 0 -506 76 0 -509 80 0 -512 84 0 -515 88 0 -551 45 0 -554 49 0 -557 53 0 -560 57 0 -563 61 0 -566 65 0 -569 69 0 -572 73 0 -575 77 0 -578 81 0 -581 85 0 -551 46 0 -554 50 0 -557 54 0 -560 58 0 -563 62 0 -566 66 0 -569 70 0 -572 74 0 -575 78 0 -578 82 0 -581 86 0 -551 3 0 -554 7 0 -557 11 0 -560 15 0 -563 19 0 -566 23 0 -569 27 0 -572 31 0 -575 35 0 -578 39 0 -581 43 0 -551 48 0 -554 52 0 -557 56 0 -560 60 0 -563 64 0 -566 68 0 -569 72 0 -572 76 0 -575 80 0 -578 84 0 -581 88 0 -584 45 0 -587 49 0 -590 53 0 -593 57 0 -596 61 0 -599 65 0 -602 69 0 -605 73 0 -608 77 0 -611 81 0 -614 85 0 -584 46 0 -587 50 0 -590 54 0 -593 58 0 -596 62 0 -599 66 0 -602 70 0 -605 74 0 -608 78 0 -611 82 0 -614 86 0 -584 47 0 -587 51 0 -590 55 0 -593 59 0 -596 63 0 -599 67 0 -602 71 0 -605 75 0 -608 79 0 -611 83 0 -614 87 0 -584 4 0 -587 8 0 -590 12 0 -593 16 0 -596 20 0 -599 24 0 -602 28 0 -605 32 0 -608 36 0 -611 40 0 -614 44 0 -617 45 0 -620 49 0 -623 53 0 -626 57 0 -629 61 0 -632 65 0 -635 69 0 -638 73 0 -641 77 0 -644 81 0 -647 85 0 -617 46 0 -620 50 0 -623 54 0 -626 58 0 -629 62 0 -632 66 0 -635 70 0 -638 74 0 -641 78 0 -644 82 0 -647 86 0 -617 47 0 -620 51 0 -623 55 0 -626 59 0 -629 63 0 -632 67 0 -635 71 0 -638 75 0 -641 79 0 -644 83 0 -647 87 0 -617 48 0 -620 52 0 -623 56 0 -626 60 0 -629 64 0 -632 68 0 -635 72 0 -638 76 0 -641 80 0 -644 84 0 -647 88 0 -189 1 0 -192 5 0 -195 9 0 -198 13 0 -201 17 0 -204 21 0 -207 25 0 -210 29 0 -213 33 0 -216 37 0 -219 41 0 -189 2 0 -192 6 0 -195 10 0 -198 14 0 -201 18 0 -204 22 0 -207 26 0 -210 30 0 -213 34 0 -216 38 0 -219 42 0 -189 47 0 -192 51 0 -195 55 0 -198 59 0 -201 63 0 -204 67 0 -207 71 0 -210 75 0 -213 79 0 -216 83 0 -219 87 0 -189 4 0 -192 8 0 -195 12 0 -198 16 0 -201 20 0 -204 24 0 -207 28 0 -210 32 0 -213 36 0 -216 40 0 -219 44 0 -222 1 0 -225 5 0 -228 9 0 -231 13 0 -234 17 0 -237 21 0 -240 25 0 -243 29 0 -246 33 0 -249 37 0 -252 41 0 -222 2 0 -225 6 0 -228 10 0 -231 14 0 -234 18 0 -237 22 0 -240 26 0 -243 30 0 -246 34 0 -249 38 0 -252 42 0 -222 47 0 -225 51 0 -228 55 0 -231 59 0 -234 63 0 -237 67 0 -240 71 0 -243 75 0 -246 79 0 -249 83 0 -252 87 0 -222 48 0 -225 52 0 -228 56 0 -231 60 0 -234 64 0 -237 68 0 -240 72 0 -243 76 0 -246 80 0 -249 84 0 -252 88 0 -288 1 0 -291 5 0 -294 9 0 -297 13 0 -300 17 0 -303 21 0 -306 25 0 -309 29 0 -312 33 0 -315 37 0 -318 41 0 -288 46 0 -291 50 0 -294 54 0 -297 58 0 -300 62 0 -303 66 0 -306 70 0 -309 74 0 -312 78 0 -315 82 0 -318 86 0 -288 3 0 -291 7 0 -294 11 0 -297 15 0 -300 19 0 -303 23 0 -306 27 0 -309 31 0 -312 35 0 -315 39 0 -318 43 0 -288 48 0 -291 52 0 -294 56 0 -297 60 0 -300 64 0 -303 68 0 -306 72 0 -309 76 0 -312 80 0 -315 84 0 -318 88 0 -321 1 0 -324 5 0 -327 9 0 -330 13 0 -333 17 0 -336 21 0 -339 25 0 -342 29 0 -345 33 0 -348 37 0 -351 41 0 -321 46 0 -324 50 0 -327 54 0 -330 58 0 -333 62 0 -336 66 0 -339 70 0 -342 74 0 -345 78 0 -348 82 0 -351 86 0 -321 47 0 -324 51 0 -327 55 0 -330 59 0 -333 63 0 -336 67 0 -339 71 0 -342 75 0 -345 79 0 -348 83 0 -351 87 0 -321 4 0 -324 8 0 -327 12 0 -330 16 0 -333 20 0 -336 24 0 -339 28 0 -342 32 0 -345 36 0 -348 40 0 -351 44 0 -387 45 0 -390 49 0 -393 53 0 -396 57 0 -399 61 0 -402 65 0 -405 69 0 -408 73 0 -411 77 0 -414 81 0 -417 85 0 -387 2 0 -390 6 0 -393 10 0 -396 14 0 -399 18 0 -402 22 0 -405 26 0 -408 30 0 -411 34 0 -414 38 0 -417 42 0 -387 3 0 -390 7 0 -393 11 0 -396 15 0 -399 19 0 -402 23 0 -405 27 0 -408 31 0 -411 35 0 -414 39 0 -417 43 0 -387 4 0 -390 8 0 -393 12 0 -396 16 0 -399 20 0 -402 24 0 -405 28 0 -408 32 0 -411 36 0 -414 40 0 -417 44 0 -420 45 0 -423 49 0 -426 53 0 -429 57 0 -432 61 0 -435 65 0 -438 69 0 -441 73 0 -444 77 0 -447 81 0 -450 85 0 -420 2 0 -423 6 0 -426 10 0 -429 14 0 -432 18 0 -435 22 0 -438 26 0 -441 30 0 -444 34 0 -447 38 0 -450 42 0 -420 3 0 -423 7 0 -426 11 0 -429 15 0 -432 19 0 -435 23 0 -438 27 0 -441 31 0 -444 35 0 -447 39 0 -450 43 0 -420 48 0 -423 52 0 -426 56 0 -429 60 0 -432 64 0 -435 68 0 -438 72 0 -441 76 0 -444 80 0 -447 84 0 -450 88 0 -519 45 0 -522 49 0 -525 53 0 -528 57 0 -531 61 0 -534 65 0 -537 69 0 -540 73 0 -543 77 0 -546 81 0 -549 85 0 -519 46 0 -522 50 0 -525 54 0 -528 58 0 -531 62 0 -534 66 0 -537 70 0 -540 74 0 -543 78 0 -546 82 0 -549 86 0 -519 3 0 -522 7 0 -525 11 0 -528 15 0 -531 19 0 -534 23 0 -537 27 0 -540 31 0 -543 35 0 -546 39 0 -549 43 0 -519 4 0 -522 8 0 -525 12 0 -528 16 0 -531 20 0 -534 24 0 -537 28 0 -540 32 0 -543 36 0 -546 40 0 -549 44 0 -618 45 0 -621 49 0 -624 53 0 -627 57 0 -630 61 0 -633 65 0 -636 69 0 -639 73 0 -642 77 0 -645 81 0 -648 85 0 -618 46 0 -621 50 0 -624 54 0 -627 58 0 -630 62 0 -633 66 0 -636 70 0 -639 74 0 -642 78 0 -645 82 0 -648 86 0 -618 47 0 -621 51 0 -624 55 0 -627 59 0 -630 63 0 -633 67 0 -636 71 0 -639 75 0 -642 79 0 -645 83 0 -648 87 0 -618 48 0 -621 52 0 -624 56 0 -627 60 0 -630 64 0 -633 68 0 -636 72 0 -639 76 0 -642 80 0 -645 84 0 -648 88 0 -157 1 0 -160 5 0 -163 9 0 -166 13 0 -169 17 0 -172 21 0 -175 25 0 -178 29 0 -181 33 0 -184 37 0 -187 41 0 -157 2 0 -160 6 0 -163 10 0 -166 14 0 -169 18 0 -172 22 0 -175 26 0 -178 30 0 -181 34 0 -184 38 0 -187 42 0 -157 3 0 -160 7 0 -163 11 0 -166 15 0 -169 19 0 -172 23 0 -175 27 0 -178 31 0 -181 35 0 -184 39 0 -187 43 0 -157 48 0 -160 52 0 -163 56 0 -166 60 0 -169 64 0 -172 68 0 -175 72 0 -178 76 0 -181 80 0 -184 84 0 -187 88 0 -223 1 0 -226 5 0 -229 9 0 -232 13 0 -235 17 0 -238 21 0 -241 25 0 -244 29 0 -247 33 0 -250 37 0 -253 41 0 -223 2 0 -226 6 0 -229 10 0 -232 14 0 -235 18 0 -238 22 0 -241 26 0 -244 30 0 -247 34 0 -250 38 0 -253 42 0 -223 47 0 -226 51 0 -229 55 0 -232 59 0 -235 63 0 -238 67 0 -241 71 0 -244 75 0 -247 79 0 -250 83 0 -253 87 0 -223 48 0 -226 52 0 -229 56 0 -232 60 0 -235 64 0 -238 68 0 -241 72 0 -244 76 0 -247 80 0 -250 84 0 -253 88 0 -256 1 0 -259 5 0 -262 9 0 -265 13 0 -268 17 0 -271 21 0 -274 25 0 -277 29 0 -280 33 0 -283 37 0 -286 41 0 -256 46 0 -259 50 0 -262 54 0 -265 58 0 -268 62 0 -271 66 0 -274 70 0 -277 74 0 -280 78 0 -283 82 0 -286 86 0 -256 3 0 -259 7 0 -262 11 0 -265 15 0 -268 19 0 -271 23 0 -274 27 0 -277 31 0 -280 35 0 -283 39 0 -286 43 0 -256 4 0 -259 8 0 -262 12 0 -265 16 0 -268 20 0 -271 24 0 -274 28 0 -277 32 0 -280 36 0 -283 40 0 -286 44 0 -322 1 0 -325 5 0 -328 9 0 -331 13 0 -334 17 0 -337 21 0 -340 25 0 -343 29 0 -346 33 0 -349 37 0 -352 41 0 -322 46 0 -325 50 0 -328 54 0 -331 58 0 -334 62 0 -337 66 0 -340 70 0 -343 74 0 -346 78 0 -349 82 0 -352 86 0 -322 47 0 -325 51 0 -328 55 0 -331 59 0 -334 63 0 -337 67 0 -340 71 0 -343 75 0 -346 79 0 -349 83 0 -352 87 0 -322 4 0 -325 8 0 -328 12 0 -331 16 0 -334 20 0 -337 24 0 -340 28 0 -343 32 0 -346 36 0 -349 40 0 -352 44 0 -421 45 0 -424 49 0 -427 53 0 -430 57 0 -433 61 0 -436 65 0 -439 69 0 -442 73 0 -445 77 0 -448 81 0 -451 85 0 -421 2 0 -424 6 0 -427 10 0 -430 14 0 -433 18 0 -436 22 0 -439 26 0 -442 30 0 -445 34 0 -448 38 0 -451 42 0 -421 3 0 -424 7 0 -427 11 0 -430 15 0 -433 19 0 -436 23 0 -439 27 0 -442 31 0 -445 35 0 -448 39 0 -451 43 0 -421 48 0 -424 52 0 -427 56 0 -430 60 0 -433 64 0 -436 68 0 -439 72 0 -442 76 0 -445 80 0 -448 84 0 -451 88 0 -487 45 0 -490 49 0 -493 53 0 -496 57 0 -499 61 0 -502 65 0 -505 69 0 -508 73 0 -511 77 0 -514 81 0 -517 85 0 -487 2 0 -490 6 0 -493 10 0 -496 14 0 -499 18 0 -502 22 0 -505 26 0 -508 30 0 -511 34 0 -514 38 0 -517 42 0 -487 47 0 -490 51 0 -493 55 0 -496 59 0 -499 63 0 -502 67 0 -505 71 0 -508 75 0 -511 79 0 -514 83 0 -517 87 0 -487 48 0 -490 52 0 -493 56 0 -496 60 0 -499 64 0 -502 68 0 -505 72 0 -508 76 0 -511 80 0 -514 84 0 -517 88 0 -520 45 0 -523 49 0 -526 53 0 -529 57 0 -532 61 0 -535 65 0 -538 69 0 -541 73 0 -544 77 0 -547 81 0 -550 85 0 -520 46 0 -523 50 0 -526 54 0 -529 58 0 -532 62 0 -535 66 0 -538 70 0 -541 74 0 -544 78 0 -547 82 0 -550 86 0 -520 3 0 -523 7 0 -526 11 0 -529 15 0 -532 19 0 -535 23 0 -538 27 0 -541 31 0 -544 35 0 -547 39 0 -550 43 0 -520 4 0 -523 8 0 -526 12 0 -529 16 0 -532 20 0 -535 24 0 -538 28 0 -541 32 0 -544 36 0 -547 40 0 -550 44 0 -586 45 0 -589 49 0 -592 53 0 -595 57 0 -598 61 0 -601 65 0 -604 69 0 -607 73 0 -610 77 0 -613 81 0 -616 85 0 -586 46 0 -589 50 0 -592 54 0 -595 58 0 -598 62 0 -601 66 0 -604 70 0 -607 74 0 -610 78 0 -613 82 0 -616 86 0 -586 47 0 -589 51 0 -592 55 0 -595 59 0 -598 63 0 -601 67 0 -604 71 0 -607 75 0 -610 79 0 -613 83 0 -616 87 0 -586 4 0 -589 8 0 -592 12 0 -595 16 0 -598 20 0 -601 24 0 -604 28 0 -607 32 0 -610 36 0 -613 40 0 -616 44 0