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