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