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