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