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