-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathrandom_SAT.cnf
55 lines (55 loc) · 66.8 KB
/
random_SAT.cnf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
c random_SAT.cnf
c
p cnf 900 100
-775 885 -795 367 446 22 722 558 -384 447 -656 600 -394 -227 -419 801 -843 874 -552 202 -501 -169 867 673 -872 -505 -861 -298 -252 -762 -126 -182 169 123 658 267 293 -279 653 -680 -829 634 892 -89 -150 -765 -857 -801 -296 -224 362 709 -500 489 -349 -748 -564 543 -307 -55 435 -858 83 -546 573 -764 639 -698 347 737 710 403 -476 -453 -833 416 19 474 -817 -230 -387 -318 -781 -770 -767 -230 606 -750 664 342 149 460 875 -86 391 -597 -266 530 479 193 -222 -598 -164 696 742 348 -183 -735 314 528 351 705 233 -253 765 -431 435 -66 -671 -578 -646 605 -603 -737 864 668 -710 -40 628 822 122 116 608 -74 425 -152 724 806 -712 -748 132 -11 -102 -184 -690 -882 742 -858 711 130 -879 728 -44 -50 509 -384 152 -183 66 -892 227 -829 494 122 -657 -211 -52 637 -569 -731 -597 91 152 254 91 190 559 768 218 -38 -364 -350 -214 -230 -176 191 -530 438 573 107 867 -576 399 -374 -606 132 -888 -660 619 -469 -1 -510 -336 -206 120 372 -486 126 -41 270 163 827 5 -131 -492 868 868 755 75 668 -437 653 384 522 437 886 -635 -517 -555 -435 -681 -294 -776 -363 -106 408 317 -5 630 396 644 -211 -326 847 -580 -696 504 -474 446 699 -214 -83 39 -380 -207 187 114 479 533 632 787 668 -692 282 578 -638 654 678 719 -388 -427 747 359 282 17 -763 -835 -755 647 540 -80 -824 -682 -157 441 655 -266 580 463 104 734 -418 -728 -512 -325 -417 573 264 -178 72 0
345 675 358 76 897 87 -786 -880 607 -816 -363 90 170 -489 662 357 -270 491 -356 -521 351 -362 736 19 -426 897 -378 853 -828 817 837 439 -461 168 -640 -227 629 524 -600 -539 440 670 -550 -538 -629 -303 356 -260 118 371 792 467 -544 -16 652 -719 189 165 -172 -385 621 -473 1 15 303 873 -698 -796 614 569 202 -557 -609 -861 -160 413 -275 -672 560 261 -218 99 24 -375 171 -375 -244 -18 419 -754 56 826 -805 -875 -331 699 -446 369 319 655 -70 562 71 751 -891 730 155 614 571 -628 -333 140 -24 -153 63 -99 -792 706 695 44 -502 -338 -646 324 759 90 -591 -40 622 417 816 -98 -824 -736 -787 121 -653 550 749 -638 790 729 -281 723 -854 359 827 844 -361 -20 712 312 445 -247 -351 -761 -225 -850 190 469 154 -230 -285 -245 583 -90 42 -758 -158 727 625 -253 -806 343 858 -26 81 481 110 429 -512 857 -9 430 482 754 -284 -890 193 92 484 -878 855 -677 665 -545 208 -451 530 363 157 -503 352 -102 -111 -42 -806 228 -136 -260 -674 665 260 170 -686 -668 -814 817 16 367 224 313 -51 837 175 -481 720 719 893 244 738 -742 249 -897 -196 -635 -501 -848 801 -338 738 428 707 -175 -232 -777 -607 730 378 635 647 740 539 470 515 414 529 -342 19 -201 465 -520 351 -545 -456 -704 -511 -301 -401 60 601 -134 770 -551 -115 -215 807 287 186 25 -451 773 743 -476 -183 -463 -869 -554 179 624 235 -682 -499 130 790 858 -132 -495 -660 -639 0
-29 -54 -849 468 -145 -710 416 865 695 123 831 -77 895 813 640 -337 -754 -219 835 552 -635 -845 725 -225 -796 394 108 -29 627 701 590 -91 44 327 76 871 -872 554 -371 221 44 295 43 -703 -622 526 -437 35 -119 -280 -539 -312 -177 419 598 152 772 -214 536 -188 -588 319 470 -267 -93 -48 -70 429 -110 -122 -113 -394 462 68 385 -807 -685 548 603 828 -517 768 789 530 -600 323 291 787 276 573 341 -825 -78 -512 890 -546 353 -305 5 132 87 388 -188 -854 -120 -556 543 14 537 -600 -371 517 -154 396 770 -454 45 -283 -255 -355 -498 -581 763 -715 339 -441 478 -491 67 47 -770 630 -526 177 -202 712 -62 383 742 -104 236 -58 -655 260 138 -379 -234 -833 375 -496 197 504 -253 -252 85 363 870 -445 60 -448 -415 105 -585 -712 671 -272 -274 -772 674 -832 355 -552 -68 97 -774 374 -395 165 -607 27 525 -608 680 494 573 -712 53 -857 510 143 675 -485 -618 604 697 -701 -262 -119 36 171 -396 -725 -200 -140 -820 -705 896 -300 338 672 -835 546 -898 -788 135 -258 -576 800 -753 -602 88 258 -654 -481 -784 -671 733 268 -48 -649 636 519 702 -520 333 271 73 530 -542 -514 510 713 -794 -884 513 -796 -55 -449 -638 23 621 -10 601 272 -18 -732 309 -877 -700 -612 95 621 -450 -811 714 -296 -601 720 -679 -809 -12 -431 804 -523 556 -795 312 -284 -333 -157 -56 142 208 -34 896 -105 -735 768 -566 264 -862 -732 58 -523 -717 141 -193 67 321 881 0
-615 -90 181 -457 -490 -310 -414 627 -459 645 125 621 186 68 734 -192 -392 289 -149 888 -21 156 889 -259 -890 108 639 726 294 663 -417 -401 -239 226 -472 -792 825 -861 847 -267 -270 393 -580 -297 233 -79 606 350 -297 542 -825 -413 -490 -692 6 537 104 532 -69 -229 461 -850 -823 251 784 115 -296 94 -392 -255 439 -188 36 -29 568 -711 -165 -82 220 242 349 335 27 -753 -596 -536 151 -620 841 706 529 -805 -165 572 -33 220 -757 879 -588 842 -636 -353 -269 -783 -259 -874 -673 -628 -440 20 -603 41 -583 -450 761 391 128 -478 -454 -35 131 -353 554 13 -514 879 -672 429 -305 -266 107 -73 475 582 564 -572 652 72 755 637 710 205 -54 872 -712 -221 813 -874 -476 -704 -302 -45 487 -16 -246 264 342 -875 564 11 210 -610 -287 649 -817 -243 684 -72 394 -549 -97 -248 -255 148 255 595 -693 -825 -4 515 -361 -437 386 380 -40 -570 377 -647 -55 -839 -182 -167 -582 295 637 837 -484 -613 -743 -300 -757 340 248 63 470 -498 -861 -443 -207 730 55 -79 -361 -406 -289 40 -783 -668 728 -477 -460 598 -401 -814 900 -540 -240 855 -776 -524 -712 660 -20 -321 -35 -692 -662 89 -867 -189 -7 -154 -226 -207 399 189 813 -471 -173 -281 -28 553 782 396 157 762 -836 -19 115 -313 318 27 -281 210 900 -525 736 702 -375 799 366 -714 500 -54 279 516 220 388 248 -650 283 -784 -323 158 -151 60 171 641 152 -820 718 180 205 39 -466 568 522 726 -400 84 0
173 -685 40 435 785 -715 873 -807 -135 -93 347 -450 235 -598 -824 -15 -784 396 -61 389 -7 208 328 -861 -440 608 608 430 -653 55 764 791 115 -724 -218 -604 -146 155 606 -391 -660 -457 -106 -267 -768 -501 120 134 259 712 -60 872 -346 -847 479 729 252 472 -486 -553 -826 -550 -278 -19 537 -428 -278 827 -425 32 -83 -464 545 -362 -156 -71 559 -880 704 -237 177 629 -876 153 -340 -715 -641 -551 -291 684 -653 -141 -60 197 171 -559 -775 620 -6 333 383 846 601 -881 -233 718 826 488 358 -348 110 143 352 663 -221 22 -223 -359 677 274 610 67 -777 403 -450 410 -182 -79 -643 781 212 -360 63 -441 487 -101 -436 -348 79 314 -609 -530 613 205 23 186 141 535 842 -632 -690 -704 263 899 -295 -568 -708 -607 160 59 -596 -129 -279 399 845 560 -708 96 -221 332 -98 -668 -589 476 52 320 754 -895 -750 110 -561 -212 432 402 -771 341 11 105 139 12 -407 166 -189 -319 -432 260 466 -662 -554 -324 352 870 -537 409 448 -673 177 -749 -455 697 -235 -751 20 -762 -513 -143 -399 847 -571 872 -823 -383 783 369 264 498 723 -694 -256 368 639 -493 -651 648 -726 677 -404 264 -612 464 14 394 808 51 896 -180 -17 -199 417 263 765 -157 -26 -95 -309 686 -717 -505 66 -321 -606 -147 -742 -273 365 875 -651 400 693 -900 -62 867 890 880 -381 116 -423 551 -413 -704 -593 329 600 -858 -164 689 789 615 -659 -107 -731 694 -835 373 245 -842 399 -870 -240 -280 0
-779 -10 623 480 -321 552 -315 -888 228 768 -350 -812 487 -651 889 -728 -553 165 568 733 -579 -551 -267 -316 230 895 -872 745 -448 -596 529 -397 -104 -307 761 -116 -5 -801 -199 102 148 410 696 -219 -691 865 234 141 -290 872 463 -524 766 206 659 -845 -596 -683 227 110 74 689 301 -635 -107 624 -391 462 632 -625 344 -248 501 667 45 -848 -296 41 -352 -671 261 761 -698 474 347 -250 152 532 -566 -722 219 -840 515 -475 -740 -595 -233 304 -451 833 242 -101 77 -493 186 -532 768 -676 -429 -675 -656 -778 265 835 453 -713 -312 -671 -335 -268 618 371 614 -777 795 -808 -204 225 -653 456 247 -104 -594 675 114 -372 668 -510 717 393 -816 -71 814 -887 -719 -469 -103 -88 -796 -213 -222 671 474 91 240 -574 393 -694 -536 -173 362 -58 -568 -268 -353 -766 -821 -337 -85 711 68 833 -138 268 -104 458 599 822 -675 -107 -26 603 -157 -717 -825 -629 809 831 -894 -295 -306 58 -744 -247 320 -860 -747 -282 452 315 -652 58 -656 -177 355 800 5 374 -720 -145 -833 829 -352 493 738 89 880 674 -806 -410 -287 522 723 -580 -398 314 777 -767 -146 301 284 -399 -441 633 456 333 -792 770 -528 -895 729 773 515 176 -22 544 -471 -529 657 527 378 37 558 -585 -148 259 490 897 276 111 443 624 -142 55 476 856 -841 386 -218 -125 480 -332 -461 304 -770 67 774 -249 -305 -775 63 -839 -83 745 -784 303 640 -390 -18 729 171 394 -577 839 794 216 -162 -587 -632 -188 0
891 -373 -366 207 -110 154 663 291 -580 211 -614 259 328 575 -545 121 431 -64 -479 -852 464 135 86 -671 118 22 474 522 -683 31 -601 -238 -810 851 485 268 199 -290 -482 498 785 288 -14 690 531 -840 163 -493 -185 -356 895 -473 -231 -564 82 27 316 632 -799 52 -70 -157 193 890 836 -629 881 735 -311 -859 548 540 791 -304 423 -204 420 -617 -396 -466 -692 -248 178 -253 635 -870 -553 -605 49 54 -394 -387 685 199 -591 252 564 609 189 -184 -45 -12 -21 491 -554 -286 23 235 335 272 -34 -56 742 -405 10 7 775 -136 610 83 95 561 -757 -795 835 163 -258 -60 -392 558 -510 -26 340 -52 -592 453 719 -301 736 376 837 -514 339 650 122 817 503 -307 -374 529 -574 516 123 42 -390 633 -735 769 -289 376 710 195 485 239 547 -816 -347 274 -283 77 499 -320 530 -514 862 360 575 764 -581 -398 -120 -117 -195 -789 -329 -710 -466 -303 -622 399 268 102 -255 48 -806 -448 -299 668 -164 841 61 491 288 459 -78 683 -90 166 526 -522 586 -450 133 769 367 -305 274 -232 -31 680 103 -849 895 487 337 -635 -235 712 165 -363 126 -196 603 386 -438 248 688 -414 -208 -881 97 418 -388 610 -881 826 487 154 -576 775 -715 -823 -776 200 367 -630 53 831 554 -89 -692 451 -887 303 -731 -828 -845 279 -363 -228 583 464 -653 6 664 -507 670 881 775 107 -577 418 -114 10 -26 447 -199 -587 -223 167 -622 585 -842 524 -683 111 661 -171 -545 594 0
-473 -438 372 -558 -71 -847 -646 -353 872 759 -196 -725 -725 -834 395 868 435 -797 633 587 -722 -754 -485 839 818 765 334 858 -526 -470 513 -723 884 -661 -380 -96 -72 340 277 843 -514 594 739 -385 415 -251 -775 -70 209 -125 135 -275 -788 -755 -555 -775 42 -220 -222 578 -775 623 434 750 511 -513 20 -414 151 -16 499 304 159 -237 216 -118 -283 -370 583 547 -525 -236 226 -298 159 128 821 -87 -851 -746 198 631 -367 65 369 167 -532 -162 -816 -861 -681 410 -72 873 826 -395 -115 759 604 346 -802 719 -149 707 733 352 326 -288 504 166 299 868 -461 -341 326 881 -561 349 722 -668 3 -201 803 872 -838 69 -8 -580 -226 -205 -795 331 -198 423 -513 -496 -676 215 786 690 114 109 462 -184 -744 630 558 -366 257 345 -567 637 607 -841 -213 -132 632 821 481 -236 270 -49 -254 709 120 697 -493 141 707 688 -578 -288 -213 514 184 -15 66 -303 355 273 557 396 -896 396 -617 -560 -586 736 -134 506 -576 339 -264 -871 -171 357 7 -491 745 -423 803 -618 -821 550 147 -637 301 780 -755 165 -40 664 -101 -469 -506 -175 363 370 -254 -489 592 -412 387 -677 266 -872 743 -881 327 -271 -273 897 -51 99 -282 514 -776 -177 -723 415 -669 -429 131 176 725 -806 -755 -140 -709 106 -71 -867 716 -389 -114 676 617 -798 -656 218 122 -94 739 697 44 376 154 -809 695 -204 294 -335 -678 764 -825 662 34 -121 -407 -125 785 762 877 554 779 -661 -528 605 840 -1 0
-645 22 -798 383 -294 -345 393 -153 -347 -117 307 867 -383 86 -303 -834 806 91 -688 -584 77 -404 203 -352 762 -299 -751 -183 -120 -719 15 -63 705 -688 198 -282 305 -150 -716 -655 -583 -885 -450 371 -808 -478 -319 -170 708 -438 -868 -453 -525 -900 226 491 783 430 -419 -309 143 228 -797 -44 78 815 267 -861 321 368 561 -465 -885 -100 -57 -784 -304 -606 -37 -373 254 696 -646 -495 -43 394 436 -508 16 843 -858 -443 -472 -427 583 -705 -161 -15 49 -399 -739 313 265 500 243 786 106 350 112 -41 -421 -66 878 590 811 538 -228 587 596 -711 -76 -426 65 370 -689 -234 -847 497 -15 -502 -251 387 -379 630 -896 -312 -96 110 -493 582 611 -517 693 146 -139 -153 -767 230 346 390 -148 498 -358 -632 284 -494 327 326 -890 -74 379 565 -146 -297 -245 519 -669 153 -283 -431 626 144 174 204 315 900 -317 -383 210 789 762 385 -585 -560 374 -695 -674 575 -496 -479 -602 -315 364 -134 -69 290 -16 -158 717 -213 -182 108 319 -104 668 22 223 -189 -191 -537 683 492 -71 150 771 -850 399 -592 -386 737 136 -836 -393 -671 575 602 -71 31 186 -111 -887 182 483 440 -95 673 464 511 417 318 -543 605 -444 496 -798 -532 -46 620 -871 811 263 215 -889 560 66 -842 715 -324 697 693 74 -754 -696 847 146 636 701 -95 -672 -883 -1 475 168 -644 321 -847 -319 -110 154 294 -266 763 -854 -505 889 105 339 427 -736 661 860 191 880 387 -25 -372 -720 -401 -385 -413 0
-777 43 589 -69 -670 -615 -580 404 211 587 -206 -94 689 -108 13 -827 -379 308 -893 -765 616 722 42 571 -53 -417 -469 -331 -845 -74 467 -422 583 505 854 -40 292 -439 -669 -462 189 734 -445 -529 -856 454 95 -386 180 369 -626 731 208 729 439 208 656 -427 90 448 79 608 279 203 -711 -51 -890 -441 -131 -619 722 684 241 803 -572 524 32 -1 643 56 -369 -708 -124 8 -178 742 401 -398 -45 -701 10 496 805 -365 658 486 -188 -831 -879 696 -34 -193 -538 -345 219 442 724 898 624 133 850 -90 86 899 -714 -687 362 758 -41 -357 -584 38 553 -556 -160 -806 -812 -467 -819 874 -803 -340 422 873 607 461 817 -842 -883 668 -365 -114 124 565 388 87 869 -760 -168 -248 618 221 -444 -880 -639 -833 95 516 -62 868 -378 217 638 -240 -491 -468 -567 -241 -346 325 -199 -338 -10 -237 791 -585 -169 -715 -255 -802 664 -46 261 46 -476 -545 512 244 -700 -541 187 -268 140 -22 830 -139 -495 592 -76 -836 602 474 883 -259 436 -117 577 427 43 -840 -325 -806 878 411 -254 -680 -33 174 240 -542 -522 -533 570 -648 374 501 458 -94 -253 -305 -383 826 189 812 799 -145 228 -539 465 820 -108 795 438 211 570 439 -239 -648 251 683 787 -165 -160 128 550 -463 -90 -366 -578 812 272 566 388 199 508 -498 193 142 -479 669 133 313 -631 715 -216 458 487 -649 -657 -794 -349 478 419 519 765 231 45 -410 -678 -369 -580 808 -172 882 407 308 661 84 -445 389 0
446 -207 -752 67 179 519 470 -418 656 796 -687 347 18 24 659 668 727 411 -285 36 -360 386 -404 687 -128 688 -731 -557 -719 108 460 -767 234 -846 -669 -354 -109 587 -710 -585 -698 -592 -396 422 841 126 -456 689 237 405 -297 -496 -356 534 -388 751 842 -101 -310 464 129 242 -402 -731 -646 -276 580 -159 331 -394 757 833 -839 -241 -569 -563 609 507 -176 -878 -276 231 799 -71 337 200 -862 576 -151 714 -382 526 -203 -869 862 -244 -111 -377 381 390 215 559 227 -871 149 285 396 340 709 -520 519 -215 -123 241 -549 -879 787 -552 -806 737 -464 451 -135 -141 809 19 -779 503 583 -185 -632 602 711 -871 679 -851 -579 -309 606 -894 -38 644 860 -40 -830 -57 -382 856 -666 540 733 557 -498 136 -83 862 169 -200 839 -266 166 224 332 744 471 -105 852 378 -724 135 401 373 -355 76 207 842 -92 -676 52 345 198 536 -459 288 569 -830 888 -11 145 -566 -740 -96 -663 -344 -254 -668 518 -31 -646 17 411 495 -716 -791 306 -50 273 283 -458 770 -370 710 315 3 108 247 -878 620 203 -65 725 233 -737 315 -735 -458 -736 418 708 371 184 -196 793 -35 324 -174 -609 647 -614 -281 -84 67 -625 101 119 511 -707 -152 -823 -900 474 -504 720 -431 -723 851 126 91 -522 -614 117 -115 49 596 184 710 -187 -762 195 -527 -480 389 -554 700 -97 -99 -10 648 157 -410 461 198 86 309 776 131 -766 790 -347 -338 710 692 -509 354 -819 -801 -102 521 -368 468 0
-454 -294 722 882 41 475 768 820 421 -881 203 297 329 332 -28 -544 -399 -48 546 -407 -883 221 19 -452 33 -787 531 -100 456 -883 -161 -637 546 86 -55 -259 724 206 547 -365 -224 503 -498 -34 -595 187 -834 857 -797 -372 181 -352 855 -290 -266 452 24 346 -412 -706 -404 -535 -755 -814 -448 93 -865 -435 -353 98 64 173 601 -434 -742 788 100 526 492 -851 -324 -1 519 512 -55 -618 -84 79 -615 -385 882 563 168 -737 -743 -751 -550 -558 -844 -266 -691 -149 456 758 -690 119 -686 426 348 -599 -376 -453 650 -324 -559 -460 -212 875 -785 592 742 -874 -826 277 -78 648 -77 -858 -840 -763 811 90 651 485 -132 -146 18 -739 -704 644 61 705 484 -725 757 -457 -546 -241 -800 -467 709 441 152 -557 -618 -428 165 892 891 -500 332 -396 -421 -62 -735 182 22 810 -169 101 799 -680 -801 -208 798 -213 -227 -815 139 -401 -140 546 -752 130 414 267 -589 768 -530 -275 -237 651 -177 488 -722 -326 501 210 -285 608 626 411 329 896 -829 884 875 -857 -394 -858 -59 -871 865 522 -695 256 -891 437 -588 689 76 168 464 587 378 848 49 831 -273 -250 -484 -714 615 -559 233 -28 -360 -837 -787 -254 640 687 -297 420 -652 21 87 832 513 -632 19 326 451 213 502 -377 -565 -45 460 140 -106 -44 250 -470 -278 -763 2 874 -208 248 -699 -820 823 33 -206 -560 -516 -429 -593 -75 39 -699 -145 301 448 -794 -703 -318 -706 435 -836 -841 356 -797 484 -105 423 -664 -75 -859 0
-363 656 -608 -502 -816 -104 -867 53 698 -598 -663 -123 -415 -101 143 390 171 310 -613 -171 -351 636 704 -461 329 592 -361 -567 -692 695 -373 -441 -584 707 -401 414 -290 610 -22 -388 -896 685 572 -276 -798 399 77 -152 755 668 -126 13 -135 -498 -656 308 150 -214 439 793 -597 -809 414 -15 -423 -332 -337 -186 526 -243 55 843 485 602 -677 -50 -104 -49 699 513 -808 309 -899 751 747 -458 -415 451 -533 798 -857 304 768 202 -616 -265 341 -881 52 398 -206 -185 -159 -606 -81 578 -462 581 -186 -469 844 658 762 732 277 -203 607 190 734 -408 297 466 317 834 399 -850 -668 737 -634 -348 -440 745 675 -83 829 -788 718 726 64 215 540 897 -63 201 -199 231 210 -787 -670 -50 167 -712 328 166 -394 297 -189 79 -170 444 370 -314 653 95 451 -804 640 -362 -207 -384 -805 312 85 364 -1 735 728 -415 -726 18 -610 -660 125 635 -230 489 437 765 187 4 -368 -456 -403 351 783 -829 -890 -163 31 512 648 -888 357 700 -62 451 -19 398 -746 825 190 -440 872 19 -344 736 558 885 821 818 -841 -604 -70 148 865 593 -550 -527 756 547 -521 -496 739 644 597 95 -138 794 571 660 434 -559 14 -834 888 -837 710 -654 219 342 682 -839 238 -556 -489 -97 -797 885 -665 -413 853 548 146 -552 163 504 -734 487 813 444 -626 149 836 762 73 325 -490 -391 206 529 -279 -476 -252 687 855 252 -118 248 -48 -898 726 193 -644 -149 717 28 -312 -704 326 866 0
165 -626 497 573 376 -738 -704 278 -426 121 -750 -397 -880 -702 -899 -516 -101 276 328 -457 -595 493 729 210 -317 381 -180 277 -86 551 290 -595 410 545 -333 -429 777 342 -433 819 -511 -460 -79 835 449 579 -192 -532 -637 589 -722 635 -235 530 725 433 -763 -861 828 51 -147 656 -317 -567 -886 -752 875 602 -694 430 -777 -657 -657 -169 -719 -207 -402 -165 703 -172 433 327 -450 685 -443 -213 688 369 -353 388 455 230 -368 694 -404 397 -128 113 319 15 -18 317 -102 524 444 290 -432 63 447 562 608 747 -9 505 -293 133 -675 125 467 654 -267 -471 -460 -213 711 492 848 -521 -49 -443 273 859 -710 -863 644 -884 478 277 443 -603 474 -603 -392 680 -221 -824 -158 8 -400 213 96 586 -460 859 618 -28 197 806 -677 -433 101 660 -539 -838 -624 -328 -638 842 165 168 -2 90 -600 271 604 509 -886 547 -348 -198 -512 -190 -484 -557 531 -106 -400 -335 446 527 -205 -713 79 -836 233 -415 -576 467 -384 -148 -850 463 216 398 -428 510 556 788 167 -3 -225 -614 138 837 -577 445 218 660 189 651 869 718 -516 138 -817 406 336 104 -752 -846 -751 -73 283 334 47 -365 176 721 747 246 763 213 -14 -679 -2 459 487 411 -744 -323 -797 -351 117 -524 764 572 -586 -77 -451 10 -168 531 431 493 -724 -821 369 -700 353 51 386 -230 151 -822 701 -560 -38 456 609 135 -49 744 -689 -752 -8 -733 30 -653 679 528 -173 -70 -109 381 261 639 -71 675 740 -887 0
639 -263 -692 893 -345 -629 -215 20 -300 -427 666 -373 -809 -403 876 -324 618 -92 98 -829 625 -273 -461 702 -662 900 512 -776 397 257 -839 855 -393 -835 288 182 105 378 254 530 -12 -397 770 580 -407 589 -840 306 -729 -708 -610 -118 -699 546 -753 -304 -406 -92 -481 -786 -638 -831 661 -444 542 -367 -141 384 -352 364 -305 -113 -767 316 796 131 -606 -891 -433 88 198 821 -830 804 -803 51 68 -538 422 -129 818 -321 -295 -687 711 -601 68 -636 -202 568 886 372 -884 -889 291 542 -510 -121 79 10 -766 -660 -188 -511 -701 -874 892 -525 -823 541 -404 455 -183 450 -250 -357 887 -239 199 572 -20 474 159 -249 672 -45 -305 -8 -117 82 840 263 -704 889 -842 -502 -28 -622 1 161 -508 -433 772 29 329 -385 -276 257 -165 183 -191 1 806 -100 -229 -367 310 -337 -755 608 -116 -234 -474 -244 880 59 871 -814 835 -879 -577 -511 -112 -417 692 -804 269 -647 152 320 -813 189 -703 876 271 -608 -641 -836 -402 152 -131 499 -407 104 267 -351 -599 501 602 213 149 83 -693 -812 -505 -230 286 -417 -861 811 -775 192 312 -331 -351 716 -835 116 -721 -149 -249 265 -575 604 -317 -537 57 -403 -708 -561 359 -135 378 228 -19 -407 -735 -885 487 870 264 -699 765 300 442 -426 -264 759 -842 -197 586 -475 -608 38 301 -374 141 -558 -62 -87 -795 175 -348 344 -379 255 304 552 137 -738 -659 61 -818 -884 214 -789 -244 771 -549 180 -37 -670 -45 -673 -560 570 -762 29 -701 -866 0
-590 280 411 102 652 749 772 -120 -341 -322 61 333 96 -793 543 2 -853 758 -302 -400 256 544 -523 427 272 -70 112 -22 -571 -276 -35 614 688 538 23 889 -58 492 -655 -729 -774 146 414 363 -745 -835 -347 366 -435 271 3 -714 219 718 294 -72 -295 -837 406 -536 -706 -685 -485 -219 -231 448 114 759 586 311 873 812 391 -881 232 406 436 598 110 163 -885 118 103 -893 -872 -612 280 311 512 -656 642 325 757 764 64 36 358 528 -720 -806 -269 208 898 -262 -39 469 209 -476 -470 -663 -89 -80 108 622 610 -528 151 -302 -766 413 339 -894 -339 105 316 477 78 -26 36 838 531 -856 562 333 -313 373 662 222 417 -799 -226 223 876 878 -394 408 -546 90 152 -867 279 -470 -160 639 -250 450 -4 -675 -752 509 60 225 889 -854 99 -686 -825 -182 -229 -402 -203 601 -144 840 206 779 -511 200 880 787 57 364 408 -498 236 435 377 -572 -208 -698 92 -887 49 -640 -760 -445 35 -286 345 -155 -325 -858 -169 -123 -281 -841 620 404 776 216 -811 292 372 -888 17 181 697 -837 743 67 -643 -83 -372 25 334 649 -813 192 778 437 -104 -302 431 789 -278 403 641 -126 -204 -11 562 -347 -829 16 672 49 86 628 81 314 292 -90 -152 404 753 378 -764 -731 377 -417 68 -355 -281 -29 -363 -842 -409 -657 379 496 438 -585 527 -303 -527 31 -201 236 -736 -323 710 -825 -450 196 -298 551 -592 290 -280 350 885 103 -223 -817 -675 873 663 -665 811 -281 0
-270 833 -504 19 -623 -146 -871 553 -687 -466 443 161 498 865 569 129 -253 251 -293 336 -832 -310 812 -352 -884 -334 217 -658 -795 -368 228 273 -217 509 782 -496 -389 -752 97 545 -628 -686 -201 -26 -617 536 627 -864 -175 -155 859 -391 -15 760 359 301 510 -481 -161 -31 355 -584 -867 488 -71 642 168 274 -156 -606 274 -280 -424 659 116 -216 -211 -799 315 -749 -36 -818 -97 -208 -358 107 413 -146 799 -261 -265 220 276 -599 669 -862 559 63 -345 475 -763 -617 764 -816 235 659 405 897 53 -31 -264 -559 -440 -572 -563 -272 -7 -770 -448 184 -82 -367 -192 -328 637 20 884 74 1 164 496 -738 863 495 13 -838 -394 722 485 -520 642 24 -200 811 -752 483 -196 -709 -550 869 487 660 61 788 -596 72 -671 -628 -383 410 -580 -778 424 -626 449 -406 -693 267 758 414 -130 -794 755 -449 -734 181 410 518 436 580 -118 -668 -218 -778 824 -654 -697 565 -152 -168 685 -66 510 -64 -192 392 113 -266 329 137 -380 -180 -637 249 -13 256 -145 -749 -733 -813 337 683 271 -817 -619 -427 -114 -48 -724 387 -509 -311 -342 -552 -521 449 -442 31 -838 -465 -709 275 -113 -12 -5 158 780 -783 -893 564 611 470 882 -868 25 684 706 546 322 851 81 -743 -574 -319 -608 408 -873 161 -131 539 899 133 468 749 13 182 -68 471 12 850 110 -766 287 -78 696 -430 -621 839 259 -508 -145 556 -413 -880 433 -845 266 372 -260 673 -823 881 852 758 718 826 490 -866 -396 624 0
62 -324 -660 29 -329 209 -740 -316 -142 -130 -248 -64 -663 -892 359 323 315 390 344 657 -516 -550 -422 -644 -172 8 311 648 -273 -826 -540 114 28 -461 417 -355 13 -754 -550 -716 -43 433 -39 -160 -251 -122 19 588 212 -372 177 -677 675 -50 -520 -776 854 256 -711 -617 -346 649 -234 651 130 232 -502 -36 -26 256 -772 -444 -641 -402 484 43 216 -355 -4 15 757 23 -166 144 -561 489 389 708 -233 50 -628 -230 -855 -321 -193 -31 324 -493 510 -126 -898 -71 -591 -898 -135 -177 787 -400 -293 -364 433 -53 -311 -441 -565 -548 715 -144 309 -821 93 -338 -430 11 -251 557 -399 193 478 -646 698 677 202 569 825 -151 -695 -695 -407 281 79 462 678 -148 332 -107 -10 398 294 -248 794 537 556 132 277 -598 -128 611 -733 -392 73 433 729 801 455 -721 -283 725 795 823 -557 -77 695 -466 -579 -132 -289 449 -752 -655 578 824 436 155 -161 -739 -83 882 -309 786 -254 -180 308 411 835 689 86 734 852 260 -591 200 -499 -197 770 -819 722 452 120 159 57 127 219 -372 -659 -371 -884 84 828 -609 262 -823 333 639 -373 -733 -612 -373 -246 -450 -529 565 165 -676 676 215 691 534 -358 546 578 776 242 -159 -397 563 6 45 -223 540 577 -228 278 460 -331 137 509 -719 -843 478 414 -713 677 -490 863 840 58 364 868 854 -270 -892 568 -878 170 -268 -594 -344 519 -16 -549 26 823 -129 123 -828 -778 118 655 -540 584 -488 426 573 -483 -864 250 260 -637 791 0
663 -193 -543 190 -543 5 462 856 -62 -534 -626 665 124 -287 -513 645 -64 -494 279 -487 -381 -826 -271 -250 481 84 497 721 3 -438 207 -509 446 -425 -429 331 598 -304 -192 449 -32 777 -182 -51 5 761 563 526 406 -845 212 -266 -851 121 486 -574 -197 642 -661 -294 -74 835 722 -153 -715 -591 -125 -811 72 -371 -456 333 -125 101 -884 270 -430 139 698 774 -693 -15 -803 603 614 163 395 859 -334 85 -587 -650 146 189 -139 633 838 748 400 -129 364 458 -354 -410 863 -802 606 -678 167 822 530 153 472 -710 -278 -2 -129 -172 889 -386 234 -262 -544 228 -75 545 229 606 -238 537 -724 893 -777 -431 -250 307 -450 73 522 -867 635 -72 -286 -5 -234 769 -691 187 -423 -361 -159 -747 39 -336 -521 257 415 -112 576 -792 -573 -166 -321 93 837 -374 -189 831 825 380 755 407 195 -658 -441 -45 718 -79 703 -281 -524 537 614 529 149 -807 -463 -577 684 626 499 107 -612 -42 816 698 739 88 81 611 -177 -480 -769 -847 800 15 594 287 -395 497 315 879 215 -23 -174 475 -205 163 741 -388 -473 840 -640 569 -651 -134 749 791 -249 -426 324 646 769 215 -157 -600 -92 -506 810 451 -489 -168 -476 317 32 -844 -491 -559 777 -104 -130 19 -171 635 -569 -868 60 309 224 -673 706 -8 606 379 471 896 -617 165 204 -880 -476 500 265 276 578 -171 -122 99 619 -219 486 -606 -341 -573 275 -779 584 397 666 -707 471 668 665 -316 401 -683 -7 824 -158 -362 0
-887 -246 -524 -834 367 -33 -310 -775 -631 466 590 -552 762 818 -289 -654 -375 -45 27 898 368 172 -114 -300 533 132 435 36 305 53 562 174 389 458 -467 -738 -578 148 251 470 400 -147 453 873 -842 37 211 679 175 894 545 -54 371 -99 608 -370 792 690 -743 193 -89 110 -825 766 -475 -579 757 -66 85 266 439 -812 -641 -772 301 373 275 -1 -898 228 709 -163 -883 -718 865 -187 497 105 92 -764 -707 -841 741 -79 445 682 190 595 7 636 255 -545 -394 224 -79 351 461 493 820 321 63 -890 722 880 754 -277 -244 852 752 18 555 841 39 893 72 -268 555 610 216 889 72 9 -868 -562 -698 -860 63 174 -727 -370 -608 101 -727 229 -691 -766 -113 265 108 -615 333 -423 469 -664 807 551 -438 840 -428 -480 -639 287 -798 483 595 -778 40 527 -870 -617 373 -14 -694 258 -772 -821 -404 534 -129 180 -209 -748 769 -412 -725 595 585 -454 -675 197 -245 -892 816 -309 862 430 878 244 573 -244 764 709 -295 817 -446 222 594 444 404 -242 303 582 -455 -108 297 101 -81 -591 652 9 -664 225 -126 -824 267 860 189 -495 -359 9 -97 -788 -438 464 -674 -679 174 444 -431 -809 -518 -209 -463 29 624 -617 884 -87 -109 -205 318 -567 -399 -8 -327 332 -331 -294 721 -154 -757 659 -599 746 -121 278 36 263 447 445 -783 -81 -466 -394 791 658 725 -633 486 244 417 115 -67 100 807 -257 -642 470 -303 402 375 321 622 -167 157 -272 -517 535 -809 -235 0
-227 -188 810 259 102 734 -636 371 -204 -154 -508 865 236 322 -573 614 -355 303 35 128 437 -385 421 764 31 -79 817 -438 -892 610 265 -34 163 604 -845 -88 -559 240 286 280 -231 32 -335 -328 214 -342 -818 -480 -277 510 -667 248 -297 -779 378 -695 452 661 793 31 21 -505 -165 -860 -139 291 523 -201 -143 167 748 -747 -345 -859 836 221 402 -466 143 -735 -158 -171 -457 437 -481 -113 360 -462 247 704 -881 900 727 -227 534 24 -520 -796 -235 394 -112 -38 -683 -541 379 103 437 -460 -63 -502 207 147 -668 822 -19 -288 592 774 722 -237 -353 111 666 812 609 -757 -157 531 -779 122 751 313 650 -457 -523 -448 -476 -693 -556 87 74 877 -787 -721 765 588 -219 -416 541 -122 -167 777 625 600 -618 526 879 239 436 -823 -714 -56 -261 -313 -222 -205 -623 14 -305 -620 627 229 510 -376 49 -327 848 154 798 335 625 823 44 -296 -143 -116 198 862 838 -230 -448 208 -341 253 -232 10 -285 -38 511 834 -99 -468 210 183 639 -13 -498 851 90 662 214 -730 -278 555 -566 -461 887 -643 854 621 -364 696 -684 -567 558 -725 -255 567 -557 -274 784 312 781 272 227 154 -9 802 781 -759 858 130 710 524 138 -726 -822 387 386 339 164 388 -12 -378 -700 -234 -119 -157 -478 48 817 -282 455 149 324 298 655 789 379 -835 -80 299 -674 -877 740 -417 -491 -524 386 -683 -707 -422 468 870 256 -559 327 -31 -91 -51 338 -213 255 -140 652 68 492 843 651 504 0
323 867 598 -613 515 337 807 -340 -48 233 -34 -396 -489 260 -352 799 541 253 718 207 482 -492 -576 362 532 696 551 -372 -676 -233 388 29 -554 765 -411 -112 -394 -64 -711 616 -650 332 466 -659 -175 372 -644 -718 723 -622 -744 7 9 69 564 -562 -385 -732 896 841 643 -70 829 104 187 697 -316 259 858 543 88 290 413 650 -180 332 773 39 -553 812 -354 -486 517 -189 -55 628 442 524 431 537 -235 -689 525 -289 -881 -20 -243 343 396 254 696 -826 115 659 647 683 736 -486 -160 160 -251 87 -681 -482 -15 211 834 -349 -868 802 -506 160 -245 -126 58 529 767 757 -808 -743 -246 -773 839 427 271 568 720 -328 -267 410 -58 -166 -396 642 -545 -761 478 112 152 364 -892 -696 604 704 -629 123 -737 -631 -122 -889 -362 314 307 -311 363 641 -898 -675 429 -316 -377 -687 477 526 776 -538 517 271 -367 254 704 -380 461 -543 -372 406 785 23 255 -272 -103 56 -251 233 -243 -375 -650 36 -609 312 405 -638 219 -641 -778 303 -890 635 -657 -863 67 -435 -51 189 830 -480 -310 797 845 -484 671 -442 601 253 503 -629 88 -149 602 327 -746 413 -49 460 80 494 827 440 665 -142 824 418 334 -748 -419 359 538 223 401 135 159 -182 355 -748 -589 -194 -482 340 700 -70 -551 25 -334 -72 -549 -432 892 -397 758 713 110 228 -67 794 565 -846 -798 133 846 153 -125 689 357 612 -241 -15 -313 894 -736 452 254 743 -200 811 314 26 278 -266 -490 646 0
-156 -331 898 594 -821 -877 264 -23 73 -190 -501 -169 620 355 691 -755 -189 -313 80 -75 733 -415 -872 601 -817 -867 848 -53 629 -436 -629 678 -111 412 -51 -337 415 693 -873 -864 502 261 -401 -582 106 -861 866 -146 707 -538 -703 -794 -147 -7 -462 366 -256 -280 -768 -300 -401 -522 297 -359 370 626 -494 34 -739 358 -355 165 7 575 716 886 -702 733 -232 605 166 -370 148 -582 -187 -289 609 140 174 -246 -50 473 -59 287 549 144 -881 -63 -748 -131 -815 860 250 540 -622 269 -231 75 -824 474 294 810 365 266 900 -321 45 188 864 -10 524 -1 -753 -498 -219 882 -556 242 353 866 289 -239 159 484 313 754 -890 -478 -427 616 -735 60 283 -713 -418 -444 -50 -820 803 -348 -387 -249 14 340 447 -305 881 279 -132 877 -823 -5 -667 -466 2 -457 -366 548 -745 284 -318 422 721 -671 -409 -253 588 -834 -865 -54 -864 -364 764 611 -633 538 -536 767 -346 110 781 321 878 -504 -247 -70 -625 808 575 133 143 -610 -176 -838 -64 -386 -773 547 60 -421 -278 -235 240 -384 -629 -444 -240 742 656 -823 746 -525 308 -139 -227 8 -665 -237 10 -277 -627 622 741 -385 -280 148 642 808 627 400 -767 561 -603 478 414 384 686 360 -399 815 -431 637 571 -92 -101 247 -256 664 105 -59 437 -324 -727 -808 -262 -112 -889 883 392 542 477 -653 -791 -234 -135 93 -851 499 94 -728 321 -46 194 650 299 -754 -801 -443 -384 524 -413 -7 649 -520 169 196 -720 -657 20 -95 0
292 -10 144 688 -35 -700 -283 421 154 -661 -480 506 -177 218 673 -429 -4 -705 317 779 637 443 239 -608 -852 356 -581 561 811 240 -270 -712 736 -368 -168 -675 -465 -241 -207 -601 -31 -717 -395 766 263 -362 784 781 -356 -38 135 246 413 144 -573 280 251 190 889 466 -645 892 -311 86 814 34 -366 786 -116 -789 -161 452 -104 -724 830 -332 814 -122 185 254 -815 783 -143 307 -148 -192 563 54 253 -477 -281 425 575 412 -771 280 -25 -768 -182 -17 -218 -15 800 539 582 437 233 -597 -604 739 886 -187 771 -472 307 -590 -897 579 889 740 -374 247 -335 347 -824 227 600 655 60 -551 -457 699 -763 211 268 -211 -887 -553 -591 -642 -425 821 -253 189 -812 -347 -261 -551 -872 367 314 783 77 -208 354 -457 780 -366 -267 882 487 -304 815 773 -424 -397 -538 124 -582 690 780 -591 598 775 -69 900 97 -657 -437 796 776 349 -56 -846 -238 -312 431 -548 109 580 608 -425 858 381 710 -293 -792 -836 -670 -799 -795 759 -715 554 406 -774 186 -855 898 139 701 770 -628 -221 869 174 -230 436 -821 432 7 -143 814 -130 858 -895 16 528 32 119 -532 350 692 36 138 -847 560 429 -627 -714 292 661 -441 11 -158 -344 -6 379 194 881 68 677 862 -675 511 61 -486 -397 23 876 124 -135 -640 -515 -586 -526 231 -623 254 214 -162 94 -79 558 391 379 740 -529 -90 746 -600 -106 600 -567 -256 516 683 839 681 490 336 -97 475 -248 -477 -502 -611 -120 -490 -331 0
-290 -144 85 771 700 -392 -741 -583 508 -364 498 128 -613 735 256 -887 518 -735 64 889 -571 741 848 -86 64 -836 -296 -740 447 -293 -450 -591 453 -419 -316 760 123 830 670 141 850 568 -424 749 -94 222 660 4 793 857 -171 256 553 316 500 705 871 650 733 -689 624 668 -369 -327 146 770 759 -351 -644 -178 -704 636 549 94 195 -847 -352 849 618 635 844 65 -236 -295 533 -247 -251 770 -776 792 500 -612 132 323 -190 -848 -470 -685 -161 79 -379 -339 -578 -483 -630 -279 -427 779 40 274 -729 313 65 444 -600 286 -574 507 -814 684 -809 851 80 117 18 466 -303 -756 769 183 -514 -164 101 -717 -353 -466 -320 564 -408 416 537 -686 455 -823 -147 -68 -11 -206 429 -577 -523 -721 821 410 -878 -195 -398 -630 296 863 552 880 -857 -62 -324 -21 -664 892 318 -545 -171 544 793 -639 -36 -881 -33 366 134 -614 17 -341 437 34 109 755 -666 791 144 133 752 703 -416 -754 -130 393 788 787 48 68 856 877 120 443 45 808 -304 626 -806 67 -33 874 -239 164 -411 705 -856 -75 791 -42 553 -225 174 -507 -137 -843 -707 -453 209 -541 -709 -280 282 611 887 569 159 548 895 166 58 76 -462 491 -416 230 480 -684 -577 882 -208 829 615 519 539 687 356 247 377 697 520 -207 -881 -480 -241 -125 9 -639 257 228 598 -86 231 -335 17 229 179 -866 -663 130 -811 -157 697 -410 -17 -583 -548 66 -707 104 -478 198 229 -686 633 -392 -378 -120 160 728 0
53 -617 -284 -440 -401 -631 347 883 -195 407 580 -476 -878 -470 -15 737 885 547 -523 45 -442 -184 -225 -159 -797 294 104 778 660 601 295 -201 427 132 288 -571 -736 -533 661 -102 319 -797 -104 553 138 684 137 -727 553 -816 -96 554 546 -371 -747 606 809 407 -219 -805 -99 -773 -612 327 193 -264 -621 -603 -787 820 273 -606 749 -853 226 -46 796 409 593 -803 729 290 658 -663 -684 -359 -575 263 340 -682 -380 487 4 -378 -827 -823 -566 559 689 -254 834 681 -469 -208 114 -562 -93 31 -826 -379 571 99 345 502 488 808 -96 477 -776 -606 -161 -793 -311 -21 552 406 -887 183 811 -183 -706 -564 304 -468 -552 -789 500 446 -473 518 680 -110 -51 -652 -44 -171 -388 373 223 266 -852 228 -544 -264 720 -100 476 17 -245 -696 -366 -620 -866 -234 250 -426 -881 312 -205 -856 -463 -584 -810 -860 -436 -642 689 -104 61 286 -245 896 297 -245 267 859 278 -413 -311 803 -9 891 871 -72 787 769 309 -240 -536 -505 404 181 -776 654 617 -258 -148 604 821 -159 151 618 -169 -551 -695 281 -536 -740 -136 236 -618 -113 -149 -516 -325 189 -666 -475 -447 -298 -455 -432 765 443 -165 654 -878 -268 -478 -374 686 442 461 32 -57 -636 476 -240 468 -319 -825 321 599 -522 -828 629 708 -121 704 283 418 -567 -230 -27 -792 -890 -368 419 537 264 -46 235 371 696 331 -523 7 692 -542 437 717 601 775 137 -240 -599 -660 -896 -165 -891 544 -458 -457 -80 -460 -321 130 158 -252 746 0
314 770 395 -516 -546 893 792 791 2 539 767 -476 503 795 -703 -351 768 -229 147 -280 -177 583 -14 890 775 -429 182 -399 -544 900 761 323 -485 -282 512 -829 10 632 -430 528 -656 869 -420 -577 438 -170 186 404 693 -795 740 374 -565 -223 502 -215 -137 -557 -594 590 772 -377 -229 -897 -13 -363 243 169 -642 -367 -182 798 454 866 524 -622 -313 695 528 467 512 -102 -739 -672 -215 852 109 -26 -757 -738 872 523 -133 -498 -166 -546 688 741 648 -857 846 628 374 -132 -802 -616 424 579 -187 354 763 715 -54 -354 -513 573 -272 -829 -9 553 546 754 -244 684 -493 126 -56 598 -486 557 388 -39 441 -30 152 556 242 82 -367 742 634 800 -81 598 423 -463 584 -755 719 821 -212 -410 -146 -240 -32 -578 341 120 303 -690 89 -119 356 -447 -849 -208 162 614 167 253 -409 -219 885 -435 751 636 93 -99 -702 459 86 -78 255 -639 -456 -56 717 -796 17 675 -371 -898 -830 -55 867 -233 605 -182 258 644 -501 -246 615 -449 -498 693 884 -847 -294 -587 -272 546 -602 -589 647 -225 -111 -320 -22 -14 -852 -606 -130 -293 -16 810 -743 204 -305 -688 131 313 119 -765 -573 -380 -97 -485 483 666 -323 -800 794 -39 -181 178 830 746 -149 805 643 539 578 -487 773 857 -805 580 -142 398 382 725 -350 325 709 -877 405 615 69 64 746 -6 451 -692 -181 -720 -165 547 869 -320 -4 11 370 720 284 -277 320 -206 -188 82 258 413 -244 245 604 -163 -464 19 891 -35 0
-69 836 861 -651 670 -806 -9 363 -92 526 -459 -543 -224 -515 152 153 -48 -896 672 683 -530 -425 -430 -322 -236 -355 -415 129 526 645 326 311 -728 829 -735 -497 136 -545 78 193 -175 647 -787 -84 -20 -612 80 686 -306 -515 730 -605 -255 526 -707 899 -324 -436 -575 -132 -866 64 -131 126 834 -40 -408 151 -344 -783 559 -357 -509 -78 146 -633 125 -719 534 417 248 408 224 -274 659 -293 467 -62 -712 618 476 418 401 -303 339 251 -514 -583 -594 -795 -563 -10 150 154 846 68 -471 -72 -802 -203 368 168 -115 -417 -494 187 -126 194 -648 -260 492 -146 290 552 -596 703 -90 -337 -734 10 827 128 -759 62 -578 -24 510 -373 142 -693 -467 -181 -187 505 796 -56 283 830 -241 -276 833 -326 361 -63 353 -239 753 -639 -760 -364 -801 851 -805 567 -817 -505 658 -688 -200 -405 644 266 -202 708 -365 15 295 -256 540 440 900 -589 -657 513 466 -320 846 -51 -787 415 -161 514 898 40 64 -112 454 625 -433 -520 -829 -787 -562 -743 196 -345 217 408 896 326 -480 18 486 -526 178 -308 139 799 -383 74 -869 -386 258 -590 -22 2 225 -365 -431 352 -118 -250 -21 -678 -843 883 -280 705 283 -95 187 -589 -616 376 132 814 227 -804 -78 662 -177 364 -310 899 -707 398 316 -132 112 -690 152 -130 791 -848 -388 133 -293 547 -838 612 -865 -502 582 449 182 837 445 -202 440 177 -584 -173 405 90 -746 -56 -731 669 -714 495 -6 -73 -319 465 -657 492 -364 876 -443 -360 0
-439 -295 94 626 -825 -672 -56 -353 549 394 -896 -384 -156 349 -350 -359 -662 -131 560 -1 -428 -284 457 -721 -896 206 87 392 106 399 601 875 110 -653 10 683 443 482 -356 234 -352 373 -462 -574 -85 -215 -494 -336 866 306 -6 -809 26 -150 361 -481 -680 762 284 436 290 -693 727 367 214 372 28 900 -199 -732 -660 329 -166 329 675 64 -348 480 696 15 -149 -487 762 -536 -248 -311 -122 -881 -696 -472 -228 307 -862 -550 -370 -774 721 -490 124 -486 -388 764 -427 773 -302 -795 -807 -713 94 159 -656 700 276 821 -222 -394 145 474 -86 -388 -835 481 -90 -755 615 149 616 102 583 -411 244 575 -74 -690 -274 -32 521 604 -208 -389 -504 487 -24 114 -470 654 -793 -541 669 297 709 -878 -764 -480 442 350 129 -319 778 232 -205 514 194 337 -421 -36 478 73 -400 -715 146 207 144 385 -338 96 -15 900 -171 815 473 18 -774 846 850 -309 -584 -176 460 -257 -293 1 -710 -577 150 260 596 -53 -655 206 -182 750 671 -877 670 607 391 -678 367 -119 794 -451 -256 838 659 -160 204 -280 314 295 790 681 53 -689 -240 -348 -581 -882 -638 -698 -895 -878 683 -664 44 29 -52 -578 587 -824 -860 -310 -248 -148 -413 578 224 628 467 15 53 93 -366 304 195 18 787 -844 -200 -245 633 107 893 -287 796 661 116 440 215 -360 200 -462 -2 -607 533 897 319 -217 -90 150 -193 -832 -460 -750 -159 -583 519 -253 -414 28 715 -481 -505 893 106 840 -502 425 -636 666 0
-540 704 521 215 697 836 207 -655 471 -152 -308 631 -92 456 -358 62 -857 -875 364 -882 511 692 -462 827 -715 326 878 -223 -25 325 -366 227 -126 555 728 827 -849 841 698 -8 101 -863 -710 190 -540 -62 427 -125 516 -319 705 755 529 740 889 340 476 579 5 742 718 -388 326 -548 254 540 -274 -230 -52 531 69 136 -422 -853 -476 -80 79 432 -586 258 739 141 272 -101 327 -350 -478 585 846 -724 451 -535 -676 97 -813 402 -736 679 -116 -189 -793 -65 269 -575 -239 -38 -825 -158 -777 -437 157 -669 209 -311 759 -619 141 -710 -725 784 680 538 -266 -486 325 200 -268 -418 495 682 293 695 284 -74 -135 -385 791 117 718 281 -627 -120 -141 -799 324 181 830 -36 828 -528 8 -601 -593 587 -692 253 248 833 -249 -372 267 813 898 685 13 356 -458 887 -138 554 440 -791 -597 -400 -623 -698 725 -882 611 -631 -620 -650 600 227 -612 -627 473 580 -370 -457 379 171 -62 265 -883 -745 447 -196 -811 671 -522 -693 247 849 486 122 143 -37 -91 -84 -157 805 202 93 -398 -540 292 544 -164 872 -397 792 -886 -750 126 241 298 -406 521 814 869 900 285 -37 -680 -96 -310 -809 542 509 198 -285 -433 34 746 578 763 -293 579 -753 434 716 -397 -471 357 -148 862 307 -443 546 417 372 -83 -398 -897 -863 -544 -672 -324 -147 309 -195 285 -305 -433 350 736 59 898 -448 -559 -576 -652 256 -801 742 24 -800 -302 -404 -641 -342 95 -817 -865 549 -854 -212 91 -37 0
-399 -706 200 419 328 -92 -612 13 -29 308 55 -724 -433 -521 238 783 -745 -701 -819 -894 522 -280 622 -323 479 125 689 378 -310 -195 795 632 524 -705 539 -882 238 686 -83 743 54 519 766 575 -686 889 148 -568 89 422 301 -831 776 -450 -566 595 185 -125 161 -889 -359 634 -786 303 251 -541 -70 86 -188 294 140 377 -495 -445 78 323 827 192 765 311 -279 392 468 -511 -574 -630 759 364 445 298 -131 -830 -348 612 803 -134 -246 810 -859 -399 293 867 -886 -208 642 102 253 665 764 767 72 731 504 764 717 -104 -716 -897 635 362 -822 670 -244 25 144 -295 674 -68 -658 -674 -203 723 -854 -144 114 -336 153 440 688 804 817 632 134 -625 600 -213 -763 -403 580 624 -375 -537 -233 134 608 -348 334 -882 486 132 670 -71 600 900 109 -518 -791 -585 191 -698 -876 497 228 22 174 610 -531 -387 508 520 -234 -814 561 242 663 517 220 36 -629 -737 460 295 -411 706 403 -900 -418 95 357 591 -858 88 135 -892 399 -230 421 378 -686 594 -371 170 -773 -117 -641 -171 -608 654 415 -169 -802 -740 -599 277 -696 -312 416 532 -400 -676 -860 741 87 283 -357 391 -363 895 579 139 -293 -428 28 477 -601 -899 -373 242 -104 -412 -557 260 296 745 631 238 -733 596 -292 -494 -175 -228 86 127 -332 888 -644 -191 60 -774 -843 330 -544 -146 -813 771 -120 845 446 -68 -234 -803 -791 -825 -756 -432 -107 369 625 -50 -146 504 -375 719 533 -899 385 833 595 -133 0
184 292 -178 741 140 895 -574 374 -98 -821 -559 265 -688 163 563 413 251 -300 793 461 430 574 792 -26 340 698 -171 736 448 353 733 -216 -775 624 -480 -73 -467 795 629 123 246 -775 128 -97 143 -79 -372 -161 459 -136 594 -880 -198 212 299 421 874 432 451 -390 -377 661 -703 489 742 122 -275 75 707 143 79 64 387 -95 -736 120 767 -6 231 94 -309 155 -312 -538 -717 -312 420 748 -832 57 -333 -386 110 82 29 425 -495 -694 236 843 -803 313 817 -266 494 477 325 -176 -118 -109 666 -56 -790 -121 564 -813 63 748 -615 887 290 -13 314 -596 -687 271 -227 512 462 -175 -793 -234 499 652 207 687 372 -449 300 285 764 -720 -797 -832 880 324 -405 214 -57 409 -352 103 306 133 -425 662 588 392 303 -99 430 -771 -42 510 16 56 -534 -245 474 516 293 -182 838 -115 28 667 -19 -22 825 -770 -126 752 840 252 821 887 -422 253 863 -266 136 -206 805 857 389 -839 -180 -292 -79 194 -738 -882 773 -617 -461 -132 486 343 -659 189 -393 103 -881 344 655 -488 -849 836 -276 842 -284 -10 -307 -187 112 -549 -414 203 652 570 -725 -830 706 -493 -355 63 -468 -434 190 856 419 755 10 -499 358 292 790 808 124 -202 805 -369 -378 348 678 652 717 640 -435 -262 -196 614 -341 749 -18 842 -806 94 3 28 253 375 280 283 -275 -505 -798 -74 615 -398 -532 176 -433 -82 743 508 -548 294 187 787 173 572 -496 -130 -900 -591 -751 -582 135 368 0
-818 -342 -617 -641 -871 -669 372 -728 -588 268 610 -283 240 -731 204 239 821 320 -835 -518 744 -890 -220 460 51 764 66 -711 13 184 289 -436 -855 -432 521 367 466 -653 388 247 857 -37 675 238 -319 -136 516 372 -859 -365 337 285 28 -809 314 308 -806 206 -519 -765 -327 741 779 -458 -310 516 -437 756 -60 -263 -693 513 638 -598 32 -689 -142 -823 -437 -639 -828 595 -52 833 -679 32 443 -413 219 -153 -476 -511 298 106 833 -655 -305 709 -493 764 822 557 563 423 173 30 892 744 -103 -880 -691 244 -370 403 -638 24 376 -33 -749 -108 123 -106 511 287 230 -394 401 347 733 634 593 -366 249 -710 872 679 -591 53 -448 -77 617 100 -5 698 141 -701 -429 131 319 -21 731 -219 809 -197 503 -626 838 547 338 524 7 253 279 262 307 710 712 685 -620 -411 -96 -762 310 -644 -710 -268 -460 574 -700 -524 -396 -82 689 291 -24 -254 -642 -497 -105 482 -53 311 218 -340 -687 -854 -182 493 882 42 688 489 -525 -314 -1 -223 216 -538 458 -794 260 -355 -193 -694 232 -192 -886 323 642 144 872 -462 421 -628 292 -687 599 -346 306 -659 575 834 -460 491 -343 -68 795 196 -855 -493 -892 206 140 698 384 -729 17 249 -487 99 547 487 210 -432 595 682 -894 255 -322 731 65 731 -1 -30 337 80 -669 794 -330 -231 -138 151 545 -420 603 510 -564 310 291 -831 -826 796 877 328 -542 855 762 786 -253 89 244 -77 11 -187 -43 857 392 -777 585 321 0
-438 -9 687 -290 840 -505 804 27 361 143 232 -403 226 347 697 773 110 179 -285 -521 -296 499 313 -825 -769 -244 -436 -770 -898 -296 889 -219 -51 681 672 110 253 -474 -382 -403 450 -544 438 -206 370 854 -263 142 583 -320 -669 796 19 144 -731 -242 -460 -446 802 34 -402 -856 267 615 -319 71 809 330 97 -306 652 535 -125 691 -812 720 -780 -141 791 -865 -628 -388 -898 -134 -824 -667 219 -439 426 159 -888 330 -804 -419 240 -566 -133 841 -407 511 -103 712 647 658 607 -756 -765 -801 -420 387 357 864 -325 571 -805 431 190 -700 -847 -166 727 -105 524 211 -172 -114 418 -519 -363 390 117 -586 -434 672 -738 226 463 303 49 -514 355 361 140 658 -597 269 703 28 319 591 -316 302 552 132 471 868 201 -337 123 196 -187 -297 693 15 893 552 -608 -152 552 519 220 478 537 15 733 -852 775 562 -137 -426 573 24 -845 -495 182 -205 -588 215 830 697 -229 -316 -387 503 -594 864 738 -114 -829 -226 372 453 -297 -324 894 -86 329 -607 479 566 -211 665 108 370 -871 -162 615 -594 539 -483 232 660 312 495 489 -249 466 512 466 -175 313 -637 -69 -380 501 48 306 634 -154 -747 -807 -166 -875 -713 -764 -873 377 480 112 505 -460 -441 -153 -528 30 -743 54 251 -568 -508 388 88 122 -892 -605 -806 429 -566 -436 -649 -356 -542 -168 -812 66 -96 -173 21 418 -116 -701 -241 276 430 684 312 511 -755 340 815 109 -57 -23 -788 330 662 -85 -209 499 555 0
-252 -485 -149 247 752 -392 620 829 -431 -545 -144 -189 179 832 -33 -101 654 771 76 -72 -225 323 -95 283 783 239 -284 -218 -537 -815 671 439 -66 192 -594 533 670 -88 518 824 -393 -760 708 748 -93 -21 -510 871 690 -556 -16 367 -158 -235 862 -8 801 470 -413 -191 -13 -457 -201 -51 619 -465 -87 -546 536 -638 424 61 -766 516 357 699 -200 -638 -607 144 867 98 767 -137 -367 -209 50 -715 -36 -440 -266 705 266 -67 -809 -49 -845 -9 -397 571 -60 175 -133 656 -302 317 -309 146 -557 130 732 -142 673 155 233 -234 -818 -329 -427 -182 151 -326 -811 418 -351 -839 752 736 -200 -511 -217 374 745 219 -793 491 -728 -471 -265 -829 285 369 -486 -397 579 -181 42 -126 396 106 -690 -808 387 669 538 662 -69 836 739 -658 313 624 587 -38 536 -699 230 741 -369 576 -623 -344 -788 -436 251 -111 123 754 -263 215 -691 107 835 -156 343 874 -480 230 181 256 699 269 232 -268 -184 -727 196 -583 838 -761 66 -756 760 858 428 -344 539 -269 333 -598 406 -516 815 164 -47 -630 322 -873 -502 1 233 -793 213 276 477 516 -770 772 831 521 421 -707 90 -861 52 682 708 15 -124 887 -481 -266 501 669 548 888 826 -332 -363 -373 827 -588 632 659 896 115 -216 -588 -751 -691 852 47 -158 332 867 -641 551 -384 403 -156 -373 -859 229 -382 609 -482 230 -172 -508 215 -320 -326 209 889 -34 -835 -347 -376 842 -277 -516 -346 -800 42 -58 -854 445 -789 -461 782 0
297 416 587 410 73 -770 -311 513 -703 -808 -363 639 -299 731 366 53 472 822 -428 -290 -746 28 56 -509 334 -732 -242 277 -790 -129 -681 -57 629 511 -226 590 690 360 777 303 295 -479 97 427 51 288 -383 -635 -515 -651 -146 533 20 790 661 634 320 348 430 -332 562 750 -713 272 -81 200 428 601 -659 -337 588 -795 870 419 -734 384 250 -90 706 -344 484 478 622 495 -166 -506 443 -836 372 -27 410 -542 471 665 -249 -785 98 -309 -329 886 -354 -212 -390 -577 761 773 -764 -663 -314 882 890 2 -491 -700 -713 -896 -665 -798 -864 138 -704 256 39 -84 575 -801 550 719 -633 279 417 8 -726 458 -327 407 597 540 702 -268 -440 78 254 -697 548 -495 -128 -97 598 521 -323 -788 288 867 -646 -12 14 753 -334 819 96 -750 -579 -359 -134 131 -185 231 734 -100 -476 -329 7 -504 690 727 -199 679 -461 -442 573 605 -105 -2 874 -754 775 -780 -326 -45 460 -571 -132 -630 -639 246 807 685 -105 756 -86 -111 628 804 -761 694 -44 124 798 -809 -235 177 511 669 -411 -121 263 528 280 -896 -765 90 -475 -470 158 -617 -411 -513 -189 432 -96 -443 -635 639 -529 -559 183 410 -51 897 -381 577 -872 -705 702 -754 -54 -610 135 -27 316 -791 469 -200 131 653 449 -57 -749 -793 -102 407 101 -143 -52 691 -704 -281 -423 425 277 -82 774 -693 190 511 -290 -431 368 -618 552 244 -516 313 576 900 697 688 -555 -618 450 -523 -110 -478 -182 77 -694 -162 801 -340 0
-639 390 -70 -260 564 336 246 469 448 777 832 -527 247 -824 -658 248 -366 758 -10 729 -30 783 -871 -140 -566 -613 768 -709 707 166 841 -444 650 -157 -342 568 -719 549 30 -672 -6 859 -214 682 648 460 -688 45 480 -310 -122 -459 677 175 394 488 -719 368 468 -340 -66 507 -168 776 671 -274 -529 -885 582 60 319 -886 -756 -521 413 871 -493 -190 -205 -64 -394 -164 -25 487 -270 -287 -68 688 -738 -214 165 470 -421 660 -452 157 -679 -568 79 242 -475 -849 172 800 -354 -234 516 822 -692 344 879 5 -227 231 340 -596 763 233 883 -377 21 -650 -382 -623 364 -552 888 666 475 695 -91 871 855 687 74 -358 -306 502 -252 196 22 196 855 287 320 -662 778 -154 -527 254 -619 -638 -171 294 -118 -825 -862 -393 -680 898 898 -598 -562 890 669 -313 774 -640 605 192 389 -292 -899 395 -444 -408 576 782 -562 -535 891 196 742 297 126 -114 -717 69 190 -201 -831 -641 -414 -72 -396 784 845 -810 -688 313 -237 -290 332 413 368 -47 -755 674 773 192 -49 -198 124 557 417 812 -770 -162 -343 -11 -462 486 459 -547 624 319 357 258 838 858 -402 -264 -512 -677 211 573 -844 754 335 238 893 -663 115 -598 507 -232 134 -363 606 808 764 -515 803 -595 -255 505 797 531 341 -824 -552 710 569 330 -69 91 24 488 -181 141 -491 437 550 -599 -460 -64 -411 -524 179 -595 824 -664 -879 342 140 -594 -294 -58 -549 -793 -69 420 -848 -137 757 443 -55 -85 -67 -657 0
643 -442 -528 -852 496 -184 443 -194 401 -515 -639 605 409 267 535 553 798 -629 -733 -107 -510 277 -622 129 -97 -538 420 249 -760 31 -820 317 -40 422 890 196 -685 -91 -480 -144 38 220 -537 -870 -42 205 -155 -119 -172 177 -432 -202 -752 -645 -723 319 115 -508 -647 798 -13 646 -564 -512 -217 504 474 747 354 -324 -151 371 -770 -273 186 -103 -691 406 346 -294 714 -453 775 -777 -423 -791 -555 -799 -665 -886 -87 617 -337 635 739 -586 620 -616 -231 -421 487 587 869 432 -661 296 619 -284 241 -289 677 -707 94 -330 223 -405 846 -580 293 715 -863 -669 676 -450 -698 69 -335 -793 -53 -264 -331 -506 -309 -62 435 -859 699 -793 104 468 -688 -160 829 890 712 -24 169 -392 251 215 668 -758 119 -90 198 826 -830 -405 453 40 573 -105 -104 -659 93 35 376 535 764 -266 -153 703 346 188 -195 250 54 -639 423 -88 -495 -91 8 807 -739 -743 16 -551 -327 130 356 -299 437 -863 -468 601 760 710 -157 706 -733 385 769 -164 -13 521 -768 557 -121 529 -782 -372 -475 4 -414 -676 712 845 -239 -199 -47 -221 552 -159 77 323 -781 -219 148 -1 -109 355 -634 217 -625 -753 626 -28 -36 -521 -406 468 881 -811 143 -240 -163 -747 875 -294 -897 -580 147 739 243 538 612 502 427 530 666 149 33 712 -15 189 296 662 487 76 564 -223 224 284 646 456 418 -201 -624 -895 -188 693 243 -59 -492 -448 -445 717 256 54 862 -131 89 -782 -571 -379 -218 95 424 141 0
-449 431 831 -228 -244 -371 505 415 214 -472 582 6 575 328 32 402 893 855 -220 264 -218 252 560 8 473 -762 -747 -160 -517 668 87 789 -30 543 120 549 -327 -700 153 -119 -772 213 172 322 -898 676 262 -136 -321 -256 -23 -733 180 334 -375 315 624 -262 -331 594 -819 180 459 857 -433 839 -363 -40 -872 266 256 686 -91 -296 -696 -827 847 -854 -507 216 434 271 216 742 -47 308 -118 -254 52 -643 -711 -143 -414 -601 629 -574 -351 -374 844 -878 -548 -772 -273 131 47 95 553 587 -79 96 877 -531 -62 68 342 -585 -546 549 144 -553 -156 -102 -323 666 896 -628 -345 178 -397 -825 185 454 783 20 800 -834 492 849 88 287 11 -584 742 -81 -892 -250 -783 314 116 -462 536 501 -48 606 890 360 872 818 -536 -250 -130 -207 -845 -234 -533 430 -122 876 141 8 189 -786 -283 -534 -283 -249 681 306 333 -559 -654 545 -814 -389 -524 -135 -530 215 502 -517 784 826 -464 755 204 -243 688 -679 837 -787 542 785 -479 844 678 741 -243 -875 456 -318 662 -567 -842 -513 884 -276 891 -892 -541 -423 -94 658 -168 476 -376 682 42 62 603 -47 -172 -836 -572 -624 622 456 -318 234 -140 596 -283 -721 275 705 481 -749 500 118 -746 605 753 177 549 -306 368 483 770 -209 -42 424 -200 -798 -837 -885 -465 231 727 -863 899 -517 -684 -636 253 -889 730 30 147 291 530 -515 -241 32 534 502 -346 -780 -237 -192 -21 62 183 802 77 -874 -214 655 -34 748 -577 -835 0
856 -811 70 -200 35 -454 -591 -92 251 229 314 -60 -826 -798 884 -488 -717 602 -754 682 346 134 -169 678 837 -475 866 327 -116 348 194 -250 849 323 -821 -64 -345 -135 -17 -433 -796 566 368 738 -443 777 -163 -296 -400 -804 788 451 723 -813 -782 714 -651 887 478 -642 -271 -54 811 -99 -896 878 -769 -803 -174 -612 151 687 787 417 -638 727 515 -595 -241 -545 605 -517 -29 39 383 446 685 854 -127 538 706 -611 -802 -850 -848 399 250 -368 -603 -400 -184 627 -534 -373 697 -860 109 258 67 151 811 255 325 670 -792 -761 -739 399 -190 802 224 -80 -381 -575 -66 -219 183 891 -215 640 -26 -597 435 227 -122 -585 27 -590 -650 895 -868 388 -596 -574 -204 -869 685 -603 -472 897 -831 -640 182 -89 -390 668 363 305 786 520 -638 890 -771 384 6 -57 -749 830 758 -746 -576 -15 -233 355 -774 809 563 -248 -333 631 -606 178 461 186 854 -635 -33 -791 -752 -835 574 208 -735 96 -307 182 -195 626 -639 53 -172 548 598 -719 423 861 786 -141 460 625 -312 -241 -882 -487 -218 -755 861 -883 531 434 -424 551 -146 765 281 384 375 44 -482 123 -748 720 121 -540 -289 -230 -436 583 -845 709 276 368 -203 557 -40 602 607 94 102 -676 159 702 -569 -267 634 -603 260 -639 -394 -147 199 -267 -542 -791 -335 318 430 85 830 -592 -32 443 389 -898 -725 -268 36 567 676 -536 -410 873 298 -548 -278 104 -285 -647 832 603 757 -680 -196 -426 562 782 26 741 -620 879 0
-58 -371 205 420 -689 -50 678 661 -464 538 -397 147 366 615 360 779 352 483 54 20 -144 -235 816 -587 -543 -335 630 -208 721 529 221 -462 294 218 -187 -320 842 481 -179 -32 167 818 885 189 881 704 -815 601 686 45 -362 -696 246 -247 -37 766 -18 885 139 -718 440 268 693 -493 882 -71 -464 -889 -89 -516 603 -587 -727 311 196 239 620 -351 -320 791 -547 -407 -653 -471 -623 761 755 886 734 283 801 -472 443 678 255 -601 -25 248 71 -188 65 -237 -149 380 176 -496 -175 -802 -730 -395 -349 -830 -603 211 76 385 342 872 182 -482 -381 -399 -736 171 543 -333 -208 696 -388 19 190 -639 -63 -356 -289 -823 593 276 722 78 484 333 380 33 -705 539 -313 -362 -105 225 41 -180 450 400 -336 -217 568 -112 353 -382 338 280 -115 181 -331 511 -403 -98 -39 630 -473 -230 873 -630 465 595 160 -720 -307 900 738 31 199 -230 754 -78 87 311 527 -773 15 -877 -102 221 572 401 841 -102 -21 -554 -173 -4 248 209 -329 -750 124 -704 -651 833 750 282 821 -226 768 -845 -43 -150 -367 -287 -762 860 -695 55 597 472 483 -745 265 -288 -749 -45 -81 -57 31 56 125 705 298 -432 -396 -146 471 -471 82 -501 407 135 120 -511 -110 517 -39 -341 -282 73 -199 -856 234 -586 -470 791 -268 -817 634 129 -627 537 134 590 869 -355 -324 -108 -477 768 504 690 -671 1 326 -876 566 -702 -375 -57 685 28 -539 857 -440 753 -82 -15 818 -15 -650 -838 -241 -68 0
-234 792 503 -433 -261 -554 -671 87 -637 -255 -75 -715 -224 -140 99 -226 -31 821 -769 -887 775 -500 248 92 -663 -786 -301 467 685 -526 -200 -226 467 -839 -45 -613 182 22 -6 599 -872 433 274 -352 -159 -854 52 -253 -843 792 -446 273 -241 -442 683 -169 778 -514 782 -233 154 -801 -712 455 699 -856 484 -746 789 -89 -382 -387 321 -382 -802 779 343 -514 139 -467 -613 595 -737 593 -445 534 122 492 -754 396 460 825 279 -763 -146 -174 193 -22 15 -392 -610 45 -428 52 -279 34 -455 -571 -256 177 -674 461 -370 -38 -541 207 17 -209 327 -547 -58 -168 -365 136 799 -311 -465 18 -666 -785 -481 142 -708 114 -132 -697 -209 162 567 -190 485 -524 -749 -382 568 -715 -85 -419 784 -517 68 -346 494 820 -87 -734 567 841 150 -410 -734 159 575 -137 301 -496 -885 429 -719 -681 -798 -868 -829 -415 -818 -846 771 -750 425 98 -508 -434 874 -215 -93 -129 857 -727 634 329 555 -884 763 -833 -395 519 263 237 586 -389 -727 -633 -311 245 896 388 -59 -126 157 -618 -816 -174 -664 -128 191 328 -843 889 -250 -256 175 -258 128 645 -527 480 894 518 -560 -840 -246 -686 633 714 350 204 -78 607 -583 644 43 -649 365 839 -266 276 -858 33 495 230 -473 -54 -420 426 -752 -580 -581 -324 -511 -895 -864 357 30 -254 70 -892 216 138 245 790 623 -372 -647 -576 -122 394 402 -676 502 -341 -759 -169 -20 298 411 724 -522 -820 306 881 223 343 382 854 -252 336 242 111 117 -831 0
44 604 -319 -222 353 -205 143 -441 -426 143 402 -208 738 -781 124 446 527 189 714 -673 468 418 298 369 599 589 84 263 899 -70 -399 -430 -738 655 322 337 -262 -565 -806 -779 -35 -24 735 429 -560 384 91 83 -275 -502 -594 685 602 222 213 -8 -748 806 398 -227 807 -694 -56 -128 -92 -329 -335 357 -680 -676 245 338 633 797 -107 188 -120 -843 140 -118 417 108 -154 -788 660 780 449 -144 -215 11 -351 -617 192 581 867 -249 -190 791 -602 114 238 524 891 49 -888 579 -577 24 318 -95 12 -674 598 459 -441 229 -500 -827 -709 -517 -508 413 241 543 130 152 -505 49 679 155 -879 218 777 -663 681 881 585 -456 157 -63 288 -814 -182 312 -670 593 -148 -48 -687 -872 855 393 -396 -57 634 -280 -591 763 -168 180 828 782 -44 -111 452 728 -340 -65 68 94 -41 292 446 628 301 -51 403 -60 -440 -349 839 680 332 310 -856 -878 359 -47 -113 -300 559 735 -892 325 -358 41 171 802 -327 -774 676 240 597 876 832 -82 563 -411 -365 184 -628 131 -854 -825 786 -226 -590 520 -444 -184 -217 -391 100 -653 480 -523 19 -777 -867 -600 452 509 742 883 480 590 233 -357 -10 87 -296 644 -725 614 797 384 576 884 202 200 -376 -775 564 376 -354 53 54 -134 462 -812 816 -261 -6 698 407 -603 -475 482 714 797 -708 -568 723 874 -133 711 753 -519 249 -36 747 889 -214 96 -133 -385 -899 -25 54 -658 -470 240 222 288 -75 276 -770 -842 621 834 0
-295 157 367 710 -257 -437 691 -525 -607 -449 431 392 547 -174 159 335 -234 -427 -607 476 489 545 891 -564 483 -69 -641 -185 -665 -556 -373 506 738 -544 732 -879 687 288 -183 874 164 -43 355 842 825 -127 288 -719 88 -249 335 400 -296 788 315 -838 -325 -686 759 522 830 314 -283 -507 -319 -379 508 -899 70 -687 -848 -729 473 470 487 803 837 -615 -74 -50 -456 -547 16 534 -887 177 600 -542 -596 543 848 -488 328 782 433 139 -186 361 453 24 -591 -747 -71 268 313 466 277 -208 -77 -243 441 -395 230 -834 635 667 887 675 -710 508 -127 755 -547 347 144 -195 738 -95 103 433 -241 -344 -52 -639 815 -141 891 -181 -885 267 -73 80 -564 -164 -504 -338 -68 382 876 -844 -384 -166 -209 444 -81 -657 -687 823 -419 865 736 438 -864 489 -190 434 -688 -684 153 314 -307 868 -404 48 729 -193 -501 -265 -109 716 -589 594 -725 345 -509 878 -20 -69 846 -673 515 -486 756 -193 895 -175 375 279 -301 5 -497 -441 -838 875 -310 -558 342 -208 -70 -4 -590 -316 250 709 188 141 569 353 387 -407 -134 440 532 895 -858 -588 358 -378 756 -858 -317 -692 -1 772 -257 -566 -885 453 610 -527 -57 -778 676 331 -805 -886 -37 -432 -129 185 -874 468 -316 -610 -235 217 -191 -10 -186 766 186 451 -766 714 -816 -855 497 -625 807 106 744 577 737 753 813 -754 -599 -167 336 494 264 287 -685 781 -334 730 239 531 -751 -98 -348 402 -849 -286 631 -138 -40 -690 197 526 0
603 885 -714 -449 -665 73 143 -434 -793 111 70 -727 397 335 -800 -133 385 360 55 571 825 80 821 469 -49 -681 566 -640 831 318 820 -547 242 798 -123 344 -449 -54 653 504 -128 -100 550 -429 -360 49 -440 836 750 -99 508 -523 440 -486 -341 291 -224 -792 -316 441 -801 437 385 -545 -897 357 -588 -896 -112 120 -627 427 -638 -725 150 182 -313 -59 -270 -359 660 491 -843 -142 423 834 239 801 -798 -99 399 438 -640 438 587 104 -638 -760 69 611 -763 -37 147 -497 -565 781 -498 249 -448 556 -717 842 -840 389 -813 -759 -87 717 -476 -185 -293 728 684 194 -158 800 -884 480 -225 -204 -506 263 -825 -62 -544 542 -286 -844 364 216 757 235 -548 -69 733 -401 405 346 402 189 -154 -308 814 12 884 596 -409 13 -188 688 597 847 -176 -271 -397 635 754 30 314 -107 730 -685 -746 -350 -521 142 -679 -298 -169 -147 -814 540 618 366 553 376 -852 344 -283 582 313 230 842 -704 -836 -878 272 -302 -298 -646 -651 -335 467 -338 636 -49 -102 188 24 -861 -217 -121 -181 -768 224 -809 10 737 508 35 279 -405 -769 -841 481 434 -265 -250 -893 -680 -479 858 -360 -574 397 -408 -71 -497 -868 -19 254 -490 -244 857 -541 61 474 193 234 -39 -525 -178 -682 441 -178 693 186 -215 188 878 -505 743 609 850 380 -818 118 506 80 427 13 -687 282 -402 267 340 -593 278 -293 -728 -211 275 487 365 -156 -447 -372 202 466 791 -487 653 -594 769 663 85 763 724 36 -801 0
448 -582 772 577 217 -509 -522 -851 -292 -229 -393 -468 -357 -53 -347 826 51 -60 705 -454 817 570 893 -255 -344 169 -186 -34 257 820 531 821 718 568 -203 -413 357 -420 536 10 -57 97 470 -594 199 855 225 -702 884 -735 679 634 -291 883 -270 646 31 366 222 801 67 758 -626 -205 601 113 -439 60 -837 100 -803 -801 350 -384 -14 -818 40 -320 -21 -849 -715 506 748 206 431 30 -35 -35 -151 -585 -538 -417 -424 566 -887 695 -515 179 -48 604 707 -712 53 321 -538 -285 -702 -267 -485 712 336 -654 -106 -683 105 -607 -126 95 241 828 -771 -240 604 122 267 208 -897 -487 -703 632 675 -198 -579 24 838 -684 -824 -60 -507 -40 -378 -552 -241 433 -619 -632 7 659 -387 -215 443 -344 287 274 339 483 364 -494 761 743 239 766 421 55 -292 156 683 -438 280 469 502 -270 -651 189 -727 109 81 -250 363 425 -44 -586 -875 -42 -557 174 551 300 -247 523 691 -182 131 -633 780 103 407 689 69 -724 -253 195 -416 245 -826 -145 476 174 876 100 -428 567 -231 -801 -364 -895 586 -417 -685 -889 601 -352 -466 -62 524 -899 509 -63 -420 864 795 656 -856 149 -60 -531 -776 417 426 -332 -444 395 785 -423 59 -439 -185 701 133 -824 830 -604 -198 -720 737 247 613 39 795 317 70 786 247 -615 -795 -510 572 -634 620 768 -407 556 -472 328 -419 306 -152 7 -890 267 -411 -25 -742 332 -33 -518 187 82 -317 -744 407 102 -476 -182 -641 -133 -204 714 -246 66 0
-547 -505 75 852 826 744 775 704 -792 -696 627 687 -639 332 -349 100 769 523 399 -357 -260 293 437 196 149 -850 -208 501 651 -79 -418 428 703 268 -378 -383 -732 -61 888 796 139 58 788 826 520 -121 -821 -605 -774 -95 530 -437 -298 191 -310 467 -764 -512 -414 -709 609 357 213 -434 -500 -465 336 290 792 -538 -856 -2 381 -758 804 -600 -611 -791 578 122 611 49 -782 -186 -670 -873 -44 407 -736 -826 -251 -242 -347 -315 750 -41 -689 -281 -440 238 445 562 -875 355 -111 379 -61 -93 454 729 864 -17 -876 664 -864 167 -525 135 434 537 771 -60 389 653 103 158 749 -268 812 43 852 -890 -153 477 -432 -243 -853 611 -704 -570 -366 637 -107 870 -689 -565 182 -348 694 -214 826 653 -582 219 579 695 -395 758 539 216 170 736 -768 -654 -213 -342 -327 -699 521 49 -16 -1 -110 750 -867 735 -360 316 -184 343 859 -41 -734 439 737 518 177 656 440 -318 -711 283 -701 -121 -819 317 -854 175 -242 792 424 -447 25 -249 -369 -689 -101 -304 -871 685 -819 285 -281 817 -570 678 748 793 774 530 796 16 -868 -727 -730 842 -841 -577 -669 618 67 -812 -282 62 712 243 170 626 676 -319 -443 33 -876 -793 513 766 104 569 -353 340 -232 282 583 -464 337 528 606 538 288 -525 586 326 313 379 868 703 -545 -526 868 770 -215 316 601 -605 592 802 860 -220 -635 -889 -632 797 360 387 654 693 661 -512 -137 -214 721 -538 188 -252 687 660 -746 -482 -181 655 0
357 411 864 647 422 757 445 354 -524 -113 362 -849 234 3 77 -202 611 -162 457 -326 -665 -727 114 676 -286 51 884 -533 -782 -401 721 -105 579 891 -591 535 268 -247 146 -566 -776 88 -43 -385 -225 759 -236 -520 -80 157 700 -528 813 -516 -342 122 -820 -478 -193 -527 -669 569 421 369 -314 -664 803 -166 -872 39 620 -22 -378 715 -659 -762 315 117 -392 -869 192 -688 -693 -520 -55 -167 -674 -84 -831 446 891 56 -895 314 -5 -392 76 709 254 -654 -313 -155 -159 154 -801 -213 646 -468 -78 622 -850 -531 -695 33 214 -229 245 -587 -867 878 10 -488 -835 -38 431 828 155 -718 8 122 -473 -519 550 -158 -208 576 149 891 -457 288 -133 173 -821 -221 110 384 -800 323 203 -841 201 18 889 288 336 -892 659 -737 424 524 -448 405 -596 -582 -705 390 600 872 -195 481 253 -464 -809 -574 718 4 -859 245 -784 107 -496 -197 291 671 250 894 -764 342 -880 725 393 781 523 -586 -57 453 -480 -859 878 331 179 -732 -842 767 736 509 -151 461 -234 124 -315 -354 669 -222 -535 341 85 -426 -150 537 673 77 334 -162 716 -522 -48 -593 -414 -444 -291 701 -189 379 598 875 414 63 -24 52 -114 196 -168 -337 466 -619 872 72 -517 321 600 457 -517 -198 -224 -44 -782 171 526 635 394 -769 -681 314 -71 325 824 -689 -607 -629 -600 652 248 806 85 -490 533 57 762 -429 -599 468 520 -256 -824 -170 893 161 23 -722 121 314 -649 581 566 152 -783 161 588 -777 0
732 -523 -238 261 782 -457 -198 -740 253 -529 763 -756 710 413 302 -259 -535 850 160 -599 880 -471 -298 95 -707 -116 -385 746 -664 -342 -498 -139 -573 696 588 -285 56 9 240 813 190 -58 16 746 -26 16 -138 87 588 899 23 -489 237 63 -547 537 887 -261 755 -401 -277 -504 -317 -882 534 835 255 290 443 -315 842 284 404 -47 -755 66 -67 -737 380 723 122 -726 -712 455 823 617 191 -74 15 -187 -684 170 -369 100 104 673 69 -58 -516 869 -851 865 -371 401 -710 690 824 443 848 59 814 555 -8 -169 -403 709 262 718 483 -720 288 119 -225 -342 102 599 -782 -134 -285 624 491 130 -393 -427 517 -96 59 -873 532 -127 -748 -835 560 -208 299 342 -369 -725 387 122 -398 -403 -71 163 -577 595 394 -414 673 306 -483 741 644 -483 83 160 -488 804 390 -75 -542 329 475 -677 -95 -432 665 -580 465 -186 636 627 -444 -525 757 -363 547 619 -762 -431 709 500 -481 -368 -451 291 870 -400 -407 876 -159 -504 875 -785 427 634 -649 -504 -307 -270 -793 -95 -792 161 847 -293 -801 -790 -222 62 -495 -694 -430 -121 -832 808 -139 -126 -308 -232 274 451 795 -367 -299 775 -690 -113 505 -382 243 363 -715 -841 -501 378 -547 -766 303 196 145 -363 -795 747 -35 492 -772 700 -442 -173 771 443 549 -694 383 -836 555 -775 571 768 485 284 710 380 -710 833 732 -546 -215 661 -3 688 714 755 679 86 804 -220 -148 546 588 707 -649 357 -716 383 807 -158 -716 -333 0
-846 295 -160 -737 17 -687 681 584 -284 -49 95 115 229 -620 795 -254 -107 448 -597 -137 830 197 13 -264 337 444 436 652 -519 -1 488 -311 544 702 799 -756 -45 578 -246 625 -887 383 469 213 -709 -329 537 -195 525 35 703 85 302 -468 376 455 -213 -369 -36 658 -174 239 -779 790 406 -595 -1 -527 804 583 48 830 98 -232 -184 451 811 -550 -777 596 108 -48 93 -737 721 428 679 288 538 -459 443 36 -20 581 414 -494 -327 -677 -242 554 -542 576 -332 -846 -294 -415 10 -712 -332 221 -151 596 754 253 -430 57 -467 777 874 -742 286 -302 6 -208 -62 -483 415 621 861 642 257 18 -812 818 -862 129 358 -694 -768 -602 82 -266 -265 533 269 709 -121 164 79 -269 -614 372 562 393 690 721 393 -107 -826 -580 737 -442 212 -730 -29 539 226 629 -749 -893 -13 -192 -367 557 -299 -604 -885 -261 418 759 765 -34 426 -326 519 421 754 -349 193 569 -595 -118 147 492 -663 -764 -364 -746 865 -712 281 -311 -77 -147 -84 199 481 -721 562 -416 -266 850 -404 698 548 790 -414 196 -582 -425 -648 874 589 683 -268 -93 706 296 -703 867 695 73 2 253 -450 216 284 -329 -237 -792 613 -877 464 283 -533 785 -278 -481 -826 865 545 -239 323 -502 805 -549 -596 495 169 110 595 440 152 45 -140 816 228 569 206 779 -52 -35 441 698 836 -166 -271 -385 640 -484 626 523 -282 -779 273 -617 532 308 -717 -495 338 602 -3 332 -381 866 235 42 435 413 0
687 29 -526 -800 347 25 126 -859 -357 114 -105 103 -169 38 234 415 -128 355 -769 699 547 726 231 162 879 -689 14 510 -111 894 -92 -682 -359 900 876 413 -534 207 136 -89 -158 882 106 281 505 -222 -837 563 137 -669 251 -140 -395 480 537 -605 785 -758 -361 -511 479 -217 703 125 -331 -581 -511 463 -565 132 475 227 -548 -625 -322 624 -708 60 -280 663 -348 523 709 -228 -11 -102 -102 -872 454 74 196 256 -268 -771 -561 -184 -556 665 50 -190 159 -728 -148 785 -265 -263 301 508 846 107 408 849 -845 -397 -466 340 704 -29 200 -586 324 -677 511 214 123 836 85 531 -466 -101 103 433 -394 -480 248 -801 -219 -792 -24 -226 -318 455 -152 -770 -657 -469 -445 163 618 140 -596 -734 -869 887 561 161 -320 522 775 569 151 -540 453 764 -189 -296 793 660 -45 -739 -589 606 140 -496 -702 451 347 657 -739 -684 -428 -637 433 811 660 -470 749 -203 -813 79 694 -665 657 -403 -358 456 -369 -333 -79 239 723 586 690 -619 143 -354 112 284 -900 -763 848 -436 7 192 490 -656 -44 -21 -664 99 228 -14 15 524 617 607 681 475 286 -449 195 -484 753 165 850 653 706 -654 720 730 -99 -232 -634 -634 894 861 -46 -865 467 86 25 130 -612 -492 -503 -887 276 -124 -611 764 -81 -306 -197 -148 882 252 -428 -511 129 666 -234 -226 223 586 -842 13 -267 -832 -659 -634 313 194 415 573 679 887 -476 -388 169 596 -507 -379 478 -178 -347 -189 119 -432 -213 65 0
-253 663 -669 -702 684 582 709 234 -407 -440 -193 875 671 75 -99 -345 -609 -629 62 -491 816 -568 -581 -555 -108 -752 78 -641 684 607 804 -118 -16 494 253 171 188 669 474 -561 -669 -129 362 152 739 -108 836 -753 -589 -62 60 -541 -259 616 368 -391 -553 349 -781 735 826 647 255 4 132 654 492 4 892 851 -680 491 -279 154 -29 -69 -227 -325 200 878 605 358 -144 -41 698 430 -264 653 -468 427 178 -359 -9 -810 -11 -562 243 -668 -749 -544 -127 174 -726 -612 838 -721 -353 -248 -35 98 -702 617 362 -862 -243 -695 113 -572 687 -570 -868 -651 248 -374 432 233 -856 -617 407 -661 -650 371 348 -455 -648 474 -543 819 541 -820 360 -769 -293 817 219 339 -142 169 420 -474 894 -23 -519 -237 180 451 -209 487 -358 -427 131 -807 333 1 -438 464 -581 -811 -16 -813 -99 237 24 628 -491 -715 -494 -152 688 -393 201 593 -773 642 820 -435 -733 -253 367 -449 -799 -756 -299 -252 -576 -502 275 -304 -752 -149 -395 -419 6 -40 -37 285 -36 -739 482 763 747 -807 290 -508 -124 -378 -836 -39 72 167 -146 386 814 -851 -655 -551 -851 755 -141 -297 -493 202 -205 -374 636 515 834 -685 62 -365 -104 107 540 -469 163 55 -426 -260 62 -455 173 207 478 688 -194 196 778 650 648 100 482 -607 284 16 837 -756 -869 833 -38 -559 -872 -9 469 -692 445 -508 356 235 37 862 -255 708 -518 157 490 -229 -845 182 -30 666 -440 -308 870 891 -14 -76 596 762 -741 155 0