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