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