ersatz-0.2: data/dimacs/bf/ssa7552-159.cnf
c FILE: ssa7552-159.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/c7552/c7552.tdl
c Formula number 159
c 13087 variables (range: 2 - 13088)
c 3032 clauses
c
c p cnf 13088 3032
p cnf 1363 3032
1363 0
231 0
-232 0
230 0
-127 -1361 0
125 -1361 0
127 -1362 0
-125 -1362 0
-1362 1360 0
-1361 1360 0
824 125 0
-840 126 0
-825 126 0
-840 -828 0
826 127 0
842 824 0
-843 825 0
-837 -832 0
-833 -836 0
844 826 0
623 -839 0
-623 839 0
623 -842 0
-623 842 0
624 -840 0
624 -843 0
625 -841 0
-625 841 0
625 -844 0
-625 844 0
631 623 0
-341 624 0
-341 -627 0
-341 631 0
-628 631 0
631 625 0
366 -630 0
-366 630 0
366 -631 0
-366 631 0
-290 -366 0
-367 -366 0
-368 -366 0
-361 -366 0
-358 -361 0
-481 -361 0
-363 -361 0
365 363 0
-365 -363 0
355 -364 0
-355 364 0
355 -365 0
-355 365 0
355 -484 0
-355 484 0
-560 -355 0
550 -556 0
-550 556 0
550 -557 0
-550 557 0
550 -560 0
-550 560 0
550 -579 0
-550 579 0
550 -753 0
-550 753 0
550 -864 0
-550 864 0
550 -1036 0
-550 1036 0
550 -1039 0
-550 1039 0
550 -1043 0
-550 1043 0
550 -1189 0
-550 1189 0
550 -1191 0
-550 1191 0
550 -1192 0
-550 1192 0
1045 550 0
-1045 -550 0
894 -1044 0
-894 1044 0
894 -1045 0
-894 1045 0
1048 894 0
1050 894 0
72 -1049 0
-72 1049 0
72 -1050 0
-72 1050 0
33 -1047 0
-33 1047 0
33 -1048 0
-33 1048 0
56 558 0
739 558 0
84 -407 0
-84 407 0
84 -408 0
-84 408 0
84 -414 0
-84 414 0
84 -418 0
-84 418 0
84 -420 0
-84 420 0
84 -423 0
-84 423 0
84 -548 0
-84 548 0
84 -551 0
-84 551 0
84 -555 0
-84 555 0
84 -559 0
-84 559 0
84 -564 0
-84 564 0
84 -567 0
-84 567 0
84 -570 0
-84 570 0
84 -578 0
-84 578 0
84 -580 0
-84 580 0
84 -584 0
-84 584 0
84 -587 0
-84 587 0
84 -599 0
-84 599 0
84 -604 0
-84 604 0
84 -607 0
-84 607 0
84 -608 0
-84 608 0
84 -609 0
-84 609 0
84 -610 0
-84 610 0
84 -611 0
-84 611 0
84 -612 0
-84 612 0
84 -613 0
-84 613 0
84 -614 0
-84 614 0
84 -713 0
-84 713 0
84 -717 0
-84 717 0
84 -721 0
-84 721 0
84 -724 0
-84 724 0
84 -729 0
-84 729 0
84 -730 0
-84 730 0
84 -732 0
-84 732 0
84 -733 0
-84 733 0
84 -737 0
-84 737 0
84 -739 0
-84 739 0
84 -741 0
-84 741 0
84 -744 0
-84 744 0
84 -749 0
-84 749 0
84 -752 0
-84 752 0
84 -754 0
-84 754 0
84 -755 0
-84 755 0
84 -759 0
-84 759 0
84 -764 0
-84 764 0
84 -765 0
-84 765 0
84 -769 0
-84 769 0
84 -774 0
-84 774 0
84 -778 0
-84 778 0
84 -779 0
-84 779 0
84 -780 0
-84 780 0
84 -781 0
-84 781 0
84 -782 0
-84 782 0
84 -783 0
-84 783 0
84 -784 0
-84 784 0
84 -786 0
-84 786 0
84 -861 0
-84 861 0
84 -863 0
-84 863 0
84 -865 0
-84 865 0
84 -868 0
-84 868 0
84 -872 0
-84 872 0
84 -873 0
-84 873 0
84 -879 0
-84 879 0
84 -881 0
-84 881 0
84 -893 0
-84 893 0
84 -896 0
-84 896 0
84 -986 0
-84 986 0
84 -988 0
-84 988 0
84 -990 0
-84 990 0
84 -996 0
-84 996 0
84 -998 0
-84 998 0
84 -1003 0
-84 1003 0
84 -1004 0
-84 1004 0
84 -1006 0
-84 1006 0
84 -1014 0
-84 1014 0
84 -1018 0
-84 1018 0
84 -1020 0
-84 1020 0
84 -1025 0
-84 1025 0
84 -1034 0
-84 1034 0
84 -1035 0
-84 1035 0
84 -1038 0
-84 1038 0
84 -1040 0
-84 1040 0
84 -1042 0
-84 1042 0
84 -1046 0
-84 1046 0
84 -1123 0
-84 1123 0
84 -1125 0
-84 1125 0
84 -1127 0
-84 1127 0
84 -1129 0
-84 1129 0
84 -1131 0
-84 1131 0
84 -1133 0
-84 1133 0
84 -1135 0
-84 1135 0
84 -1140 0
-84 1140 0
84 -1142 0
-84 1142 0
84 -1143 0
-84 1143 0
84 -1146 0
-84 1146 0
84 -1150 0
-84 1150 0
84 -1151 0
-84 1151 0
84 -1153 0
-84 1153 0
84 -1157 0
-84 1157 0
84 -1159 0
-84 1159 0
84 -1161 0
-84 1161 0
84 -1165 0
-84 1165 0
84 -1182 0
-84 1182 0
84 -1185 0
-84 1185 0
84 -1188 0
-84 1188 0
84 -1190 0
-84 1190 0
84 -1193 0
-84 1193 0
84 -1194 0
-84 1194 0
84 -1195 0
-84 1195 0
84 -1196 0
-84 1196 0
84 -1197 0
-84 1197 0
84 -1243 0
-84 1243 0
84 -1247 0
-84 1247 0
84 -1251 0
-84 1251 0
84 -1255 0
-84 1255 0
84 -1260 0
-84 1260 0
84 -1262 0
-84 1262 0
84 -1264 0
-84 1264 0
84 -1268 0
-84 1268 0
84 -1270 0
-84 1270 0
84 -1274 0
-84 1274 0
84 -1279 0
-84 1279 0
84 -1280 0
-84 1280 0
84 -1283 0
-84 1283 0
84 -1284 0
-84 1284 0
84 -1286 0
-84 1286 0
84 -1299 0
-84 1299 0
84 -1303 0
-84 1303 0
84 -1304 0
-84 1304 0
84 -1311 0
-84 1311 0
84 -1312 0
-84 1312 0
84 -1313 0
-84 1313 0
84 -1314 0
-84 1314 0
84 -1318 0
-84 1318 0
84 -1322 0
-84 1322 0
84 -1324 0
-84 1324 0
362 -481 0
-362 481 0
362 -482 0
-362 482 0
362 -485 0
-362 485 0
1316 -1319 0
-1316 1319 0
1316 -1320 0
-1316 1320 0
1321 1316 0
-1321 -1316 0
10 -197 0
-10 197 0
10 -198 0
-10 198 0
10 -199 0
-10 199 0
10 -224 0
-10 224 0
10 -1321 0
-10 1321 0
403 -409 0
-403 409 0
403 -410 0
-403 410 0
403 -411 0
-403 411 0
403 -416 0
-403 416 0
403 -421 0
-403 421 0
403 -424 0
-403 424 0
403 -546 0
-403 546 0
403 -561 0
-403 561 0
403 -565 0
-403 565 0
403 -571 0
-403 571 0
403 -585 0
-403 585 0
403 -588 0
-403 588 0
403 -598 0
-403 598 0
403 -602 0
-403 602 0
403 -605 0
-403 605 0
403 -714 0
-403 714 0
403 -718 0
-403 718 0
403 -722 0
-403 722 0
403 -725 0
-403 725 0
403 -726 0
-403 726 0
403 -731 0
-403 731 0
403 -738 0
-403 738 0
403 -742 0
-403 742 0
403 -745 0
-403 745 0
403 -750 0
-403 750 0
403 -756 0
-403 756 0
403 -757 0
-403 757 0
403 -763 0
-403 763 0
403 -768 0
-403 768 0
403 -772 0
-403 772 0
403 -773 0
-403 773 0
403 -777 0
-403 777 0
403 -785 0
-403 785 0
403 -787 0
-403 787 0
403 -859 0
-403 859 0
403 -862 0
-403 862 0
403 -869 0
-403 869 0
403 -871 0
-403 871 0
403 -874 0
-403 874 0
403 -880 0
-403 880 0
403 -884 0
-403 884 0
403 -892 0
-403 892 0
403 -895 0
-403 895 0
403 -987 0
-403 987 0
403 -989 0
-403 989 0
403 -993 0
-403 993 0
403 -995 0
-403 995 0
403 -997 0
-403 997 0
403 -1000 0
-403 1000 0
403 -1005 0
-403 1005 0
403 -1009 0
-403 1009 0
403 -1011 0
-403 1011 0
403 -1017 0
-403 1017 0
403 -1021 0
-403 1021 0
403 -1022 0
-403 1022 0
403 -1124 0
-403 1124 0
403 -1126 0
-403 1126 0
403 -1128 0
-403 1128 0
403 -1130 0
-403 1130 0
403 -1132 0
-403 1132 0
403 -1134 0
-403 1134 0
403 -1138 0
-403 1138 0
403 -1139 0
-403 1139 0
403 -1141 0
-403 1141 0
403 -1144 0
-403 1144 0
403 -1145 0
-403 1145 0
403 -1149 0
-403 1149 0
403 -1152 0
-403 1152 0
403 -1156 0
-403 1156 0
403 -1158 0
-403 1158 0
403 -1160 0
-403 1160 0
403 -1164 0
-403 1164 0
403 -1168 0
-403 1168 0
403 -1181 0
-403 1181 0
403 -1186 0
-403 1186 0
403 -1198 0
-403 1198 0
403 -1246 0
-403 1246 0
403 -1250 0
-403 1250 0
403 -1254 0
-403 1254 0
403 -1258 0
-403 1258 0
403 -1261 0
-403 1261 0
403 -1263 0
-403 1263 0
403 -1267 0
-403 1267 0
403 -1269 0
-403 1269 0
403 -1273 0
-403 1273 0
403 -1277 0
-403 1277 0
403 -1278 0
-403 1278 0
403 -1281 0
-403 1281 0
403 -1282 0
-403 1282 0
403 -1285 0
-403 1285 0
403 -1289 0
-403 1289 0
403 -1298 0
-403 1298 0
403 -1302 0
-403 1302 0
403 -1307 0
-403 1307 0
403 -1310 0
-403 1310 0
403 -1315 0
-403 1315 0
403 -1317 0
-403 1317 0
403 -1323 0
-403 1323 0
403 -1325 0
-403 1325 0
608 403 0
-608 -403 0
360 358 0
-360 -358 0
289 -359 0
-289 359 0
289 -360 0
-289 360 0
289 -664 0
-289 664 0
289 -668 0
-289 668 0
289 -677 0
-289 677 0
369 -479 0
-369 479 0
369 -480 0
-369 480 0
369 -483 0
-369 483 0
143 -157 0
-143 157 0
143 -158 0
-143 158 0
143 -223 0
-143 223 0
143 -603 0
-143 603 0
442 143 0
-442 -143 0
75 -441 0
-75 441 0
75 -442 0
-75 442 0
75 -445 0
-75 445 0
354 -356 0
-354 356 0
354 -357 0
-354 357 0
354 -478 0
-354 478 0
-557 -354 0
93 554 0
733 554 0
-479 -368 0
-353 -368 0
356 353 0
-356 -353 0
672 367 0
676 672 0
675 672 0
677 672 0
678 672 0
295 -297 0
-295 297 0
295 -298 0
-295 298 0
295 -678 0
-295 678 0
-556 -295 0
67 549 0
732 549 0
679 675 0
-679 -675 0
296 -372 0
-296 372 0
296 -373 0
-296 373 0
296 -679 0
-296 679 0
319 -412 0
-319 412 0
319 -413 0
-319 413 0
319 -430 0
-319 430 0
431 319 0
-431 -319 0
113 -220 0
-113 220 0
113 -221 0
-113 221 0
113 -222 0
-113 222 0
113 -431 0
-113 431 0
486 -670 0
-486 670 0
486 -671 0
-486 671 0
486 -676 0
-486 676 0
488 486 0
-488 -486 0
291 -487 0
-291 487 0
291 -488 0
-291 488 0
-484 -1352 0
485 -1352 0
484 -1353 0
-485 -1353 0
-1353 291 0
-1352 291 0
653 -655 0
-653 655 0
653 -656 0
-653 656 0
653 -674 0
-653 674 0
653 -860 0
-653 860 0
1044 653 0
477 -552 0
-477 552 0
477 -553 0
-477 553 0
477 -658 0
-477 658 0
477 -673 0
-477 673 0
318 -323 0
-318 323 0
318 -324 0
-318 324 0
318 -325 0
-318 325 0
318 -326 0
-318 326 0
318 -547 0
-318 547 0
592 318 0
-592 -318 0
47 -592 0
-47 592 0
47 -593 0
-47 593 0
47 -601 0
-47 601 0
667 665 0
668 665 0
669 665 0
671 665 0
288 -662 0
-288 662 0
288 -663 0
-288 663 0
288 -669 0
-288 669 0
660 -666 0
-660 666 0
660 -667 0
-660 667 0
292 -370 0
-292 370 0
292 -371 0
-292 371 0
292 -681 0
-292 681 0
327 -328 0
-327 328 0
327 -329 0
-327 329 0
327 -606 0
-327 606 0
443 327 0
-443 -327 0
91 -172 0
-91 172 0
91 -173 0
-91 173 0
91 -443 0
-91 443 0
91 -444 0
-91 444 0
294 -299 0
-294 299 0
294 -300 0
-294 300 0
294 -680 0
-294 680 0
-753 -294 0
105 751 0
754 751 0
-487 -290 0
-370 -290 0
-287 -290 0
-293 -290 0
300 293 0
-300 -293 0
662 287 0
359 287 0
-616 -340 0
-128 -340 0
-225 -340 0
-332 -340 0
-129 341 0
-129 -332 0
-129 -225 0
-129 -616 0
-616 -342 0
-130 -342 0
-225 -342 0
-332 -342 0
-334 -332 0
-335 -332 0
131 -230 0
-131 230 0
131 -233 0
-131 233 0
131 -250 0
-131 250 0
131 -335 0
-131 335 0
131 -615 0
-131 615 0
131 -619 0
-131 619 0
1108 131 0
848 131 0
-948 -848 0
-853 -848 0
-950 -848 0
-851 -848 0
854 851 0
-854 -851 0
-955 -854 0
946 -954 0
-946 954 0
946 -955 0
-946 955 0
999 -1119 0
-999 1119 0
999 -1120 0
-999 1120 0
999 -1230 0
-999 1230 0
875 -1001 0
-875 1001 0
875 -1002 0
-875 1002 0
875 -1291 0
-875 1291 0
1293 875 0
-1293 -875 0
83 -136 0
-83 136 0
83 -137 0
-83 137 0
83 -1292 0
-83 1292 0
83 -1293 0
-83 1293 0
1229 -1231 0
-1229 1231 0
1229 -1232 0
-1229 1232 0
1229 -1241 0
-1229 1241 0
42 -1308 0
-42 1308 0
42 -1309 0
-42 1309 0
966 953 0
967 953 0
964 -967 0
-964 967 0
964 -968 0
-964 968 0
964 -994 0
-964 994 0
98 -1015 0
-98 1015 0
98 -1016 0
-98 1016 0
960 -965 0
-960 965 0
960 -966 0
-960 966 0
963 960 0
-963 -960 0
734 -957 0
-734 957 0
734 -958 0
-734 958 0
734 -963 0
-734 963 0
144 -438 0
-144 438 0
144 -439 0
-144 439 0
144 -758 0
-144 758 0
144 -760 0
-144 760 0
761 144 0
-761 -144 0
53 -761 0
-53 761 0
53 -762 0
-53 762 0
53 -1121 0
-53 1121 0
53 -1122 0
-53 1122 0
961 952 0
958 952 0
956 -961 0
-956 961 0
956 -962 0
-956 962 0
968 956 0
-968 -956 0
850 -950 0
-850 950 0
850 -951 0
-850 951 0
850 -1102 0
-850 1102 0
850 -1112 0
-850 1112 0
686 -690 0
-686 690 0
686 -691 0
-686 691 0
686 -856 0
-686 856 0
877 -1023 0
-877 1023 0
877 -1024 0
-877 1024 0
877 -1173 0
-877 1173 0
1170 877 0
-1170 -877 0
112 -1117 0
-112 1117 0
112 -1118 0
-112 1118 0
112 -1170 0
-112 1170 0
112 -1172 0
-112 1172 0
682 -692 0
-682 692 0
682 -693 0
-682 693 0
682 -855 0
-682 855 0
34 -1147 0
-34 1147 0
34 -1148 0
-34 1148 0
689 -852 0
-689 852 0
689 -853 0
-689 853 0
689 -947 0
-689 947 0
689 -1104 0
-689 1104 0
689 -1113 0
-689 1113 0
-696 -1340 0
697 -1340 0
696 -1341 0
-697 -1341 0
-1341 689 0
-1340 689 0
687 -694 0
-687 694 0
687 -695 0
-687 695 0
687 -697 0
-687 697 0
426 -727 0
-426 727 0
426 -728 0
-426 728 0
426 -857 0
-426 857 0
575 426 0
-575 -426 0
114 -436 0
-114 436 0
114 -437 0
-114 437 0
114 -573 0
-114 573 0
114 -575 0
-114 575 0
576 -684 0
-576 684 0
576 -685 0
-576 685 0
576 -696 0
-576 696 0
-579 -576 0
79 577 0
580 577 0
849 -948 0
-849 948 0
849 -949 0
-849 949 0
849 -1103 0
-849 1103 0
1010 -1235 0
-1010 1235 0
1010 -1236 0
-1010 1236 0
1010 -1238 0
-1010 1238 0
876 -1012 0
-876 1012 0
876 -1013 0
-876 1013 0
876 -1169 0
-876 1169 0
1171 876 0
-1171 -876 0
37 -160 0
-37 160 0
37 -161 0
-37 161 0
37 -1171 0
-37 1171 0
37 -1290 0
-37 1290 0
1237 -1239 0
-1237 1239 0
1237 -1240 0
-1237 1240 0
1237 -1242 0
-1237 1242 0
19 -1296 0
-19 1296 0
19 -1297 0
-19 1297 0
267 -1108 0
-267 1108 0
267 -1109 0
-267 1109 0
-268 -267 0
-270 -267 0
-272 -267 0
-273 -267 0
260 -265 0
-260 265 0
260 -266 0
-260 266 0
260 -273 0
-260 273 0
260 -637 0
-260 637 0
-648 -1342 0
650 -1342 0
648 -1343 0
-650 -1343 0
-1343 260 0
-1342 260 0
348 -649 0
-348 649 0
348 -650 0
-348 650 0
348 -651 0
-348 651 0
312 -562 0
-312 562 0
312 -563 0
-312 563 0
315 312 0
-315 -312 0
124 -207 0
-124 207 0
124 -208 0
-124 208 0
124 -209 0
-124 209 0
124 -210 0
-124 210 0
124 -315 0
-124 315 0
646 -647 0
-646 647 0
646 -648 0
-646 648 0
646 -1032 0
-646 1032 0
-1043 -646 0
57 1041 0
1195 1041 0
255 -271 0
-255 271 0
255 -272 0
-255 272 0
-258 -1358 0
263 -1358 0
258 -1359 0
-263 -1359 0
-1359 255 0
-1358 255 0
256 -263 0
-256 263 0
256 -264 0
-256 264 0
256 -352 0
-256 352 0
386 -401 0
-386 401 0
386 -402 0
-386 402 0
386 -404 0
-386 404 0
391 386 0
-391 -386 0
51 -211 0
-51 211 0
51 -212 0
-51 212 0
51 -213 0
-51 213 0
51 -391 0
-51 391 0
254 -257 0
-254 257 0
254 -258 0
-254 258 0
254 -891 0
-254 891 0
-1036 -254 0
80 1033 0
1034 1033 0
262 -269 0
-262 269 0
262 -270 0
-262 270 0
262 -277 0
-262 277 0
-641 -1354 0
349 -1354 0
641 -1355 0
-349 -1355 0
-1355 262 0
-1354 262 0
347 -349 0
-347 349 0
347 -350 0
-347 350 0
347 -639 0
-347 639 0
385 -387 0
-385 387 0
385 -388 0
-385 388 0
385 -389 0
-385 389 0
385 -566 0
-385 566 0
390 385 0
-390 -385 0
106 -307 0
-106 307 0
106 -308 0
-106 308 0
106 -390 0
-106 390 0
346 -641 0
-346 641 0
346 -642 0
-346 642 0
346 -1031 0
-346 1031 0
-1189 -346 0
54 1187 0
1312 1187 0
-284 -1356 0
286 -1356 0
284 -1357 0
-286 -1357 0
-1357 268 0
-1356 268 0
280 -285 0
-280 285 0
280 -286 0
-280 286 0
280 -351 0
-280 351 0
134 -154 0
-134 154 0
134 -155 0
-134 155 0
134 -156 0
-134 156 0
134 -417 0
-134 417 0
427 134 0
-427 -134 0
69 -180 0
-69 180 0
69 -181 0
-69 181 0
69 -182 0
-69 182 0
69 -183 0
-69 183 0
69 -427 0
-69 427 0
282 -283 0
-282 283 0
282 -284 0
-282 284 0
282 -890 0
-282 890 0
-1039 -282 0
41 1037 0
1040 1037 0
249 -333 0
-249 333 0
249 -334 0
-249 334 0
249 -618 0
-249 618 0
-926 -249 0
919 -926 0
-919 926 0
919 -927 0
-919 927 0
919 -930 0
-919 930 0
1076 919 0
1074 919 0
1077 919 0
1096 1091 0
-1096 -1091 0
1093 -1095 0
-1093 1095 0
1093 -1096 0
-1093 1096 0
1093 -1228 0
-1093 1228 0
44 -1265 0
-44 1265 0
44 -1266 0
-44 1266 0
1089 1087 0
-1089 -1087 0
715 -1088 0
-715 1088 0
715 -1089 0
-715 1089 0
715 -1094 0
-715 1094 0
162 -165 0
-162 165 0
162 -166 0
-162 166 0
162 -716 0
-162 716 0
380 162 0
-380 -162 0
108 -167 0
-108 167 0
108 -168 0
-108 168 0
108 -169 0
-108 169 0
108 -380 0
-108 380 0
1100 1090 0
-1100 -1090 0
1097 -1099 0
-1097 1099 0
1097 -1100 0
-1097 1100 0
1097 -1227 0
-1097 1227 0
61 -1271 0
-61 1271 0
61 -1272 0
-61 1272 0
1086 1084 0
-1086 -1084 0
568 -1085 0
-568 1085 0
568 -1086 0
-568 1086 0
568 -1098 0
-568 1098 0
305 -316 0
-305 316 0
305 -317 0
-305 317 0
305 -569 0
-305 569 0
306 305 0
-306 -305 0
18 -176 0
-18 176 0
18 -177 0
-18 177 0
18 -178 0
-18 178 0
18 -306 0
-18 306 0
1066 -1072 0
-1066 1072 0
1066 -1073 0
-1066 1073 0
1066 -1092 0
-1066 1092 0
1066 -1216 0
-1066 1216 0
-1095 -1332 0
1094 -1332 0
1095 -1333 0
-1094 -1333 0
-1333 1066 0
-1332 1066 0
1075 1074 0
-1075 -1074 0
-1080 -1075 0
-1067 -1075 0
-1081 -1075 0
1078 -1081 0
-1078 1081 0
1078 -1082 0
-1078 1082 0
1078 -1225 0
-1078 1225 0
39 -1248 0
-39 1248 0
39 -1249 0
-39 1249 0
1069 1067 0
1071 1067 0
1073 1067 0
1065 -1070 0
-1065 1070 0
1065 -1071 0
-1065 1071 0
-1221 -1326 0
1220 -1326 0
1221 -1327 0
-1220 -1327 0
-1327 1065 0
-1326 1065 0
719 -1217 0
-719 1217 0
719 -1218 0
-719 1218 0
719 -1220 0
-719 1220 0
384 -394 0
-384 394 0
384 -395 0
-384 395 0
384 -720 0
-384 720 0
545 384 0
-545 -384 0
3 -174 0
-3 174 0
3 -175 0
-3 175 0
3 -179 0
-3 179 0
3 -545 0
-3 545 0
1219 -1221 0
-1219 1221 0
1219 -1222 0
-1219 1222 0
1219 -1226 0
-1219 1226 0
40 -1256 0
-40 1256 0
40 -1257 0
-40 1257 0
1064 -1068 0
-1064 1068 0
1064 -1069 0
-1064 1069 0
1064 -1215 0
-1064 1215 0
-1099 -1330 0
1098 -1330 0
1099 -1331 0
-1098 -1331 0
-1331 1064 0
-1330 1064 0
735 -1079 0
-735 1079 0
735 -1080 0
-735 1080 0
735 -1083 0
-735 1083 0
381 -396 0
-381 396 0
381 -397 0
-381 397 0
381 -736 0
-381 736 0
382 381 0
-382 -381 0
28 -189 0
-28 189 0
28 -190 0
-28 190 0
28 -191 0
-28 191 0
28 -192 0
-28 192 0
28 -193 0
-28 193 0
28 -382 0
-28 382 0
1215 1076 0
1213 1076 0
1216 1076 0
1214 1076 0
1222 1214 0
-1222 -1214 0
1218 1213 0
-1218 -1213 0
918 -924 0
-918 924 0
918 -925 0
-918 925 0
331 918 0
1054 918 0
336 918 0
337 336 0
338 336 0
339 336 0
1204 339 0
-1204 -339 0
1053 -1204 0
-1053 1204 0
1053 -1205 0
-1053 1205 0
1053 -1259 0
-1053 1259 0
73 -1275 0
-73 1275 0
73 -1276 0
-73 1276 0
-789 -338 0
-790 -338 0
-792 -338 0
-794 -338 0
237 -793 0
-237 793 0
237 -794 0
-237 794 0
237 -1057 0
-237 1057 0
1201 237 0
-1201 -237 0
1061 -1200 0
-1061 1200 0
1061 -1201 0
-1061 1201 0
-1208 -1328 0
1209 -1328 0
1208 -1329 0
-1209 -1329 0
-1329 1061 0
-1328 1061 0
634 -935 0
-634 935 0
634 -936 0
-634 936 0
634 -1209 0
-634 1209 0
302 -303 0
-302 303 0
302 -304 0
-302 304 0
302 -398 0
-302 398 0
302 -740 0
-302 740 0
383 302 0
-383 -302 0
55 -205 0
-55 205 0
55 -206 0
-55 206 0
55 -383 0
-55 383 0
932 -1207 0
-932 1207 0
932 -1208 0
-932 1208 0
932 -1223 0
-932 1223 0
24 -1252 0
-24 1252 0
24 -1253 0
-24 1253 0
238 -791 0
-238 791 0
238 -792 0
-238 792 0
238 -1056 0
-238 1056 0
243 -818 0
-243 818 0
243 -819 0
-243 819 0
243 -1059 0
-243 1059 0
392 -399 0
-392 399 0
392 -400 0
-392 400 0
392 -743 0
-392 743 0
393 392 0
-393 -392 0
76 -216 0
-76 216 0
76 -217 0
-76 217 0
76 -218 0
-76 218 0
76 -393 0
-76 393 0
235 -244 0
-235 244 0
235 -245 0
-235 245 0
235 -1060 0
-235 1060 0
66 -991 0
-66 991 0
66 -992 0
-66 992 0
239 -449 0
-239 449 0
239 -450 0
-239 450 0
239 -790 0
-239 790 0
239 -934 0
-239 934 0
239 -1199 0
-239 1199 0
635 -937 0
-635 937 0
635 -938 0
-635 938 0
635 -1212 0
-635 1212 0
135 -163 0
-135 163 0
135 -164 0
-135 164 0
135 -712 0
-135 712 0
301 135 0
-301 -135 0
103 -145 0
-103 145 0
103 -146 0
-103 146 0
103 -151 0
-103 151 0
103 -301 0
-103 301 0
933 -1210 0
-933 1210 0
933 -1211 0
-933 1211 0
933 -1224 0
-933 1224 0
1 -1244 0
-1 1244 0
1 -1245 0
-1 1245 0
448 -788 0
-448 788 0
448 -789 0
-448 789 0
241 -816 0
-241 816 0
241 -817 0
-241 817 0
241 -1052 0
-241 1052 0
572 -866 0
-572 866 0
572 -867 0
-572 867 0
870 572 0
-870 -572 0
81 -278 0
-81 278 0
81 -279 0
-81 279 0
81 -376 0
-81 376 0
81 -377 0
-81 377 0
81 -870 0
-81 870 0
234 -247 0
-234 247 0
234 -248 0
-234 248 0
234 -1051 0
-234 1051 0
11 -1136 0
-11 1136 0
11 -1137 0
-11 1137 0
1203 337 0
-1203 -337 0
544 -1202 0
-544 1202 0
544 -1203 0
-544 1203 0
544 -1206 0
-544 1206 0
150 -214 0
-150 214 0
150 -215 0
-150 215 0
150 -219 0
-150 219 0
150 -723 0
-150 723 0
321 150 0
-321 -150 0
97 -194 0
-97 194 0
97 -195 0
-97 195 0
97 -196 0
-97 196 0
97 -321 0
-97 321 0
-931 -1054 0
1199 1062 0
-1199 -1062 0
-1059 -1058 0
-1060 -1058 0
240 331 0
236 331 0
246 331 0
248 246 0
-248 -246 0
-793 -236 0
-791 -236 0
-449 -236 0
816 240 0
-816 -240 0
820 -920 0
-820 920 0
820 -921 0
-820 921 0
928 820 0
-928 -820 0
821 -928 0
-821 928 0
821 -929 0
-821 929 0
1063 821 0
1068 821 0
1070 821 0
1072 821 0
-1082 -1334 0
1083 -1334 0
1082 -1335 0
-1083 -1335 0
-1335 1063 0
-1334 1063 0
-451 -225 0
-229 -225 0
-453 -225 0
-233 -225 0
227 -453 0
-227 453 0
227 -454 0
-227 454 0
227 -456 0
-227 456 0
458 227 0
-458 -227 0
-464 -458 0
-471 -458 0
461 -471 0
-461 471 0
461 -472 0
-461 472 0
529 461 0
525 461 0
527 461 0
499 -526 0
-499 526 0
499 -527 0
-499 527 0
499 -528 0
-499 528 0
499 -536 0
-499 536 0
-501 -1348 0
503 -1348 0
501 -1349 0
-503 -1349 0
-1349 499 0
-1348 499 0
489 -502 0
-489 502 0
489 -503 0
-489 503 0
489 -511 0
-489 511 0
586 -589 0
-586 589 0
586 -590 0
-586 590 0
586 -595 0
-586 595 0
597 586 0
-597 -586 0
120 -203 0
-120 203 0
120 -204 0
-120 204 0
120 -597 0
-120 597 0
120 -600 0
-120 600 0
490 -500 0
-490 500 0
490 -501 0
-490 501 0
490 -512 0
-490 512 0
17 -882 0
-17 882 0
17 -883 0
-17 883 0
-703 -525 0
-700 -525 0
-701 -525 0
707 701 0
-707 -701 0
533 -706 0
-533 706 0
533 -707 0
-533 707 0
-541 -1344 0
542 -1344 0
541 -1345 0
-542 -1345 0
-1345 533 0
-1344 533 0
374 -520 0
-374 520 0
374 -521 0
-374 521 0
374 -542 0
-374 542 0
422 -428 0
-422 428 0
422 -429 0
-422 429 0
422 -435 0
-422 435 0
434 422 0
-434 -422 0
100 -184 0
-100 184 0
100 -185 0
-100 185 0
100 -186 0
-100 186 0
100 -434 0
-100 434 0
492 -522 0
-492 522 0
492 -523 0
-492 523 0
492 -541 0
-492 541 0
86 -766 0
-86 766 0
86 -767 0
-86 767 0
705 -708 0
-705 708 0
705 -709 0
-705 709 0
-764 -705 0
26 -775 0
-26 775 0
26 -776 0
-26 776 0
704 -710 0
-704 710 0
704 -711 0
-704 711 0
859 704 0
858 704 0
984 858 0
-984 -858 0
983 -984 0
-983 984 0
983 -985 0
-983 985 0
16 -1007 0
-16 1007 0
16 -1008 0
-16 1008 0
510 -702 0
-510 702 0
510 -703 0
-510 703 0
517 510 0
-517 -510 0
494 -516 0
-494 516 0
494 -517 0
-494 517 0
494 -531 0
-494 531 0
494 -534 0
-494 534 0
-496 -1350 0
498 -1350 0
496 -1351 0
-498 -1351 0
-1351 494 0
-1350 494 0
405 -497 0
-405 497 0
405 -498 0
-405 498 0
405 -513 0
-405 513 0
138 -187 0
-138 187 0
138 -188 0
-138 188 0
138 -406 0
-138 406 0
322 138 0
-322 -138 0
32 -170 0
-32 170 0
32 -171 0
-32 171 0
32 -322 0
-32 322 0
32 -594 0
-32 594 0
491 -495 0
-491 495 0
491 -496 0
-491 496 0
491 -514 0
-491 514 0
71 -1166 0
-71 1166 0
71 -1167 0
-71 1167 0
524 -529 0
-524 529 0
524 -530 0
-524 530 0
524 -535 0
-524 535 0
-537 -1346 0
538 -1346 0
537 -1347 0
-538 -1347 0
-1347 524 0
-1346 524 0
375 -505 0
-375 505 0
375 -506 0
-375 506 0
375 -538 0
-375 538 0
159 -200 0
-159 200 0
159 -201 0
-159 201 0
159 -202 0
-159 202 0
159 -419 0
-159 419 0
433 159 0
-433 -159 0
96 -432 0
-96 432 0
96 -433 0
-96 433 0
96 -440 0
-96 440 0
493 -507 0
-493 507 0
493 -508 0
-493 508 0
493 -537 0
-493 537 0
95 -770 0
-95 770 0
95 -771 0
-95 771 0
459 -464 0
-459 464 0
459 -465 0
-459 465 0
468 459 0
-468 -459 0
460 -468 0
-460 468 0
460 -469 0
-460 469 0
-810 -460 0
-913 -460 0
-915 -460 0
-916 -460 0
795 -903 0
-795 903 0
795 -904 0
-795 904 0
795 -912 0
-795 912 0
795 -916 0
-795 916 0
746 -799 0
-746 799 0
746 -800 0
-746 800 0
746 -847 0
-746 847 0
415 -747 0
-415 747 0
415 -748 0
-415 748 0
574 415 0
-574 -415 0
115 -152 0
-115 152 0
115 -153 0
-115 153 0
115 -251 0
-115 251 0
115 -252 0
-115 252 0
115 -574 0
-115 574 0
796 -801 0
-796 801 0
796 -802 0
-796 802 0
796 -942 0
-796 942 0
122 -1162 0
-122 1162 0
122 -1163 0
-122 1163 0
905 -914 0
-905 914 0
905 -915 0
-905 915 0
901 -908 0
-901 908 0
901 -909 0
-901 909 0
901 -940 0
-901 940 0
1028 -1029 0
-1028 1029 0
1028 -1030 0
-1028 1030 0
1028 -1184 0
-1028 1184 0
1183 1028 0
-1183 -1028 0
46 -1026 0
-46 1026 0
46 -1027 0
-46 1027 0
46 -1178 0
-46 1178 0
46 -1183 0
-46 1183 0
902 -906 0
-902 906 0
902 -907 0
-902 907 0
902 -944 0
-902 944 0
13 -1305 0
-13 1305 0
13 -1306 0
-13 1306 0
897 -910 0
-897 910 0
897 -911 0
-897 911 0
897 -913 0
-897 913 0
582 -845 0
-582 845 0
582 -846 0
-582 846 0
582 -900 0
-582 900 0
309 -313 0
-309 313 0
309 -314 0
-309 314 0
309 -425 0
-309 425 0
309 -583 0
-309 583 0
581 309 0
-581 -309 0
63 -310 0
-63 310 0
63 -311 0
-63 311 0
63 -581 0
-63 581 0
798 -898 0
-798 898 0
798 -899 0
-798 899 0
798 -941 0
-798 941 0
31 -1154 0
-31 1154 0
31 -1155 0
-31 1155 0
809 -812 0
-809 812 0
809 -813 0
-809 813 0
809 -939 0
-809 939 0
878 -885 0
-878 885 0
878 -886 0
-878 886 0
878 -1019 0
-878 1019 0
888 878 0
-888 -878 0
82 -147 0
-82 147 0
82 -148 0
-82 148 0
82 -149 0
-82 149 0
82 -887 0
-82 887 0
82 -888 0
-82 888 0
82 -889 0
-82 889 0
811 -814 0
-811 814 0
811 -815 0
-811 815 0
811 -943 0
-811 943 0
117 -1287 0
-117 1287 0
117 -1288 0
-117 1288 0
133 -228 0
-133 228 0
133 -229 0
-133 229 0
133 -330 0
-133 330 0
920 133 0
922 133 0
917 -922 0
-917 922 0
917 -923 0
-917 923 0
-1056 -917 0
-1055 -917 0
-1057 -917 0
446 1055 0
-446 -1055 0
-450 -446 0
-447 -446 0
-788 -446 0
226 -451 0
-226 451 0
226 -452 0
-226 452 0
226 -455 0
-226 455 0
226 -473 0
-226 473 0
92 226 0
-92 -226 0
-230 -128 0
-132 -128 0
-228 -128 0
-231 129 0
-231 -228 0
-231 -132 0
-232 -130 0
-132 -130 0
-228 -130 0
344 132 0
-344 -132 0
242 -344 0
-242 344 0
242 -345 0
-242 345 0
242 -457 0
-242 457 0
466 242 0
463 -466 0
-463 466 0
463 -467 0
-463 467 0
463 -470 0
-463 470 0
-803 -463 0
-804 -463 0
-797 -463 0
805 804 0
-805 -804 0
806 805 0
807 805 0
808 805 0
815 808 0
-815 -808 0
-911 -807 0
-914 -807 0
-912 -807 0
812 806 0
-812 -806 0
-910 -803 0
-908 -803 0
-904 -803 0
-906 -803 0
462 -474 0
-462 474 0
462 -475 0
-462 475 0
-518 -462 0
-699 -462 0
-698 -462 0
515 698 0
-515 -698 0
-509 -515 0
-506 -504 0
-508 -504 0
-532 -699 0
-709 -699 0
-711 -699 0
706 532 0
534 532 0
535 532 0
536 532 0
-521 -518 0
-519 -518 0
-523 -518 0
528 519 0
530 519 0
531 519 0
343 -616 0
-343 616 0
343 -617 0
-343 617 0
343 -822 0
-343 822 0
643 343 0
644 343 0
274 343 0
640 343 0
636 640 0
638 640 0
642 640 0
639 638 0
-639 -638 0
637 636 0
-637 -636 0
-261 -274 0
-269 -261 0
-264 -261 0
-266 -261 0
-253 -261 0
257 253 0
-257 -253 0
-271 -259 0
-265 -259 0
-285 -276 0
-281 -276 0
283 281 0
-283 -281 0
277 275 0
-277 -275 0
1109 644 0
959 1107 0
-959 -1107 0
965 959 0
945 959 0
962 959 0
-954 -945 0
-947 -945 0
-949 -945 0
-951 -945 0
1111 1106 0
688 1111 0
-688 -1111 0
685 683 0
-685 -683 0
1233 1110 0
1234 1110 0
1240 1234 0
-1240 -1234 0
1236 1233 0
-1236 -1233 0
1114 1105 0
-1114 -1105 0
1115 1114 0
1101 1114 0
1116 1114 0
1232 1116 0
-1232 -1116 0
-1102 -1101 0
-1103 -1101 0
-1104 -1101 0
1119 1115 0
-1119 -1115 0
645 643 0
647 643 0
651 645 0
-651 -645 0
622 -626 0
-622 626 0
622 -627 0
-622 627 0
663 622 0
664 622 0
670 622 0
661 622 0
659 661 0
-659 -661 0
666 659 0
-658 -657 0
-654 -657 0
656 654 0
-656 -654 0
-655 -652 0
-476 -652 0
552 476 0
-552 -476 0
621 -835 0
-621 835 0
621 -836 0
-621 836 0
-969 -621 0
-975 -621 0
970 -975 0
-970 975 0
970 -976 0
-970 976 0
-974 -1336 0
980 -1336 0
974 -1337 0
-980 -1337 0
-1337 970 0
-1336 970 0
973 -980 0
-973 980 0
973 -981 0
-973 981 0
-1175 -973 0
-1300 -973 0
48 -1300 0
-48 1300 0
48 -1301 0
-48 1301 0
1174 -1175 0
-1174 1175 0
1174 -1176 0
-1174 1176 0
1174 -1177 0
-1174 1177 0
1294 1174 0
-1294 -1174 0
107 -1294 0
-107 1294 0
107 -1295 0
-107 1295 0
50 -139 0
-50 139 0
50 -140 0
-50 140 0
50 -141 0
-50 141 0
50 -320 0
-50 320 0
50 -378 0
-50 378 0
50 -379 0
-50 379 0
50 -591 0
-50 591 0
50 -972 0
-50 972 0
50 -974 0
-50 974 0
-972 -1338 0
978 -1338 0
972 -1339 0
-978 -1339 0
-1339 969 0
-1338 969 0
971 -978 0
-971 978 0
971 -979 0
-971 979 0
-1176 -971 0
-1179 -971 0
14 -1179 0
-14 1179 0
14 -1180 0
-14 1180 0
823 -831 0
-823 831 0
823 -832 0
-823 832 0
142 -539 0
-142 539 0
142 -540 0
-142 540 0
142 -543 0
-142 543 0
142 -596 0
-142 596 0
142 -977 0
-142 977 0
142 -982 0
-142 982 0
591 142 0
-591 -142 0
620 -827 0
-620 827 0
620 -828 0
-620 828 0
831 620 0
-831 -620 0
-1360 1363 0
-1363 1360 0
1361 127 -125 0
1362 -127 125 0
-1360 1362 1361 0
839 828 125 0
-824 -828 -125 0
-824 -839 -125 0
-829 -830 -839 0
-829 -828 -841 0
-829 -839 -841 0
-840 -841 826 0
-840 -839 824 0
-840 824 826 0
-829 -830 826 0
-829 -828 824 0
-829 824 826 0
-126 125 127 0
-126 -125 -127 0
841 828 127 0
-826 -828 -127 0
-826 -841 -127 0
836 832 824 0
-842 -832 -824 0
-842 -836 -824 0
-837 -838 844 0
-837 -836 842 0
-837 842 844 0
-833 -834 844 0
-833 -832 842 0
-833 842 844 0
-843 836 832 0
-825 824 826 0
-825 -824 -826 0
836 832 826 0
-844 -832 -826 0
-844 -836 -826 0
-624 840 843 0
-843 842 844 0
-843 -842 -844 0
-840 839 841 0
-840 -839 -841 0
340 627 623 0
-631 -627 -623 0
-631 -340 -623 0
-628 -629 -340 0
-628 -627 -342 0
-628 -340 -342 0
-624 623 625 0
-624 -623 -625 0
342 627 625 0
-631 -627 -625 0
-631 -342 -625 0
-558 -559 -355 0
560 559 355 0
560 558 355 0
-894 -1048 -1050 0
-558 -56 -739 0
-1317 -89 -362 0
-1318 -1319 -362 0
1319 89 362 0
1318 89 362 0
1319 1317 362 0
1318 1317 362 0
480 478 289 0
-480 -478 289 0
-480 478 -289 0
480 -478 -289 0
-602 -29 -369 0
-604 -603 -369 0
603 29 369 0
604 29 369 0
603 602 369 0
604 602 369 0
-554 -555 -354 0
557 555 354 0
557 554 354 0
-554 -93 -733 0
368 479 353 0
-672 -665 -367 0
-672 -673 -367 0
-672 -674 -367 0
-549 -551 -295 0
556 551 295 0
556 549 295 0
-549 -67 -732 0
-411 -43 -296 0
-414 -413 -296 0
413 43 296 0
414 43 296 0
413 411 296 0
414 411 296 0
1352 484 -485 0
1353 -484 485 0
-291 1353 1352 0
896 895 653 0
-1044 -895 -653 0
-1044 -896 -653 0
-546 -8 -477 0
-548 -547 -477 0
547 8 477 0
548 8 477 0
547 546 477 0
548 546 477 0
372 298 288 0
-372 -298 288 0
-372 298 -288 0
372 -298 -288 0
681 680 660 0
-681 -680 660 0
-681 680 -660 0
681 -680 -660 0
-605 -110 -292 0
-607 -606 -292 0
606 110 292 0
607 110 292 0
606 605 292 0
607 605 292 0
-751 -752 -294 0
753 752 294 0
753 751 294 0
-751 -105 -754 0
-287 -662 -359 0
-341 340 342 0
-341 -340 -342 0
332 334 335 0
-131 -1108 -848 0
-953 -952 -854 0
955 952 854 0
955 953 854 0
1230 1231 946 0
-1230 -1231 946 0
-1230 1231 -946 0
1230 -1231 -946 0
-1000 -101 -999 0
-1003 -1002 -999 0
1002 101 999 0
1003 101 999 0
1002 1000 999 0
1003 1000 999 0
-1278 -1308 -1229 0
-1279 -78 -1229 0
78 1308 1229 0
1279 1308 1229 0
78 1278 1229 0
1279 1278 1229 0
-953 -966 -967 0
-997 -1015 -964 0
-998 -119 -964 0
119 1015 964 0
998 1015 964 0
119 997 964 0
998 997 964 0
-757 -65 -734 0
-759 -758 -734 0
758 65 734 0
759 65 734 0
758 757 734 0
759 757 734 0
-952 -961 -958 0
856 855 850 0
-856 -855 850 0
-856 855 -850 0
856 -855 -850 0
-1022 -38 -686 0
-1025 -1024 -686 0
1024 38 686 0
1025 38 686 0
1024 1022 686 0
1025 1022 686 0
-1145 -1147 -682 0
-1146 -58 -682 0
58 1147 682 0
1146 1147 682 0
58 1145 682 0
1146 1145 682 0
1340 696 -697 0
1341 -696 697 0
-689 1341 1340 0
-726 -60 -687 0
-729 -728 -687 0
728 60 687 0
729 60 687 0
728 726 687 0
729 726 687 0
-577 -578 -576 0
579 578 576 0
579 577 576 0
-577 -79 -580 0
1238 1239 849 0
-1238 -1239 849 0
-1238 1239 -849 0
1238 -1239 -849 0
-1011 -88 -1010 0
-1014 -1013 -1010 0
1013 88 1010 0
1014 88 1010 0
1013 1011 1010 0
1014 1011 1010 0
-1282 -1296 -1237 0
-1283 -21 -1237 0
21 1296 1237 0
1283 1296 1237 0
21 1282 1237 0
1283 1282 1237 0
1342 648 -650 0
1343 -648 650 0
-260 1343 1342 0
-561 -36 -348 0
-564 -563 -348 0
563 36 348 0
564 36 348 0
563 561 348 0
564 561 348 0
-1041 -1042 -646 0
1043 1042 646 0
1043 1041 646 0
-1041 -57 -1195 0
1358 258 -263 0
1359 -258 263 0
-255 1359 1358 0
-409 -94 -256 0
-407 -404 -256 0
404 94 256 0
407 94 256 0
404 409 256 0
407 409 256 0
-1033 -1035 -254 0
1036 1035 254 0
1036 1033 254 0
-1033 -80 -1034 0
1354 641 -349 0
1355 -641 349 0
-262 1355 1354 0
-565 -104 -347 0
-567 -566 -347 0
566 104 347 0
567 104 347 0
566 565 347 0
567 565 347 0
-1187 -1188 -346 0
1189 1188 346 0
1189 1187 346 0
-1187 -54 -1312 0
1356 284 -286 0
1357 -284 286 0
-268 1357 1356 0
-416 -77 -280 0
-418 -417 -280 0
417 77 280 0
418 77 280 0
417 416 280 0
418 416 280 0
-1037 -1038 -282 0
1039 1038 282 0
1039 1037 282 0
-1037 -41 -1040 0
-924 -921 -249 0
926 921 249 0
926 924 249 0
-1091 -1087 -1077 0
1087 1092 1077 0
1091 1092 1077 0
1087 1084 1077 0
1091 1084 1077 0
1087 1090 1077 0
1091 1090 1077 0
-1264 -59 -1093 0
-1267 -1266 -1093 0
1266 59 1093 0
1267 59 1093 0
1266 1264 1093 0
1267 1264 1093 0
-717 -716 -715 0
-718 -52 -715 0
52 716 715 0
718 716 715 0
52 717 715 0
718 717 715 0
-1270 -45 -1097 0
-1273 -1272 -1097 0
1272 45 1097 0
1273 45 1097 0
1272 1270 1097 0
1273 1270 1097 0
-570 -569 -568 0
-571 -85 -568 0
85 569 568 0
571 569 568 0
85 570 568 0
571 570 568 0
1332 1095 -1094 0
1333 -1095 1094 0
-1066 1333 1332 0
-1247 -70 -1078 0
-1250 -1249 -1078 0
1249 70 1078 0
1250 70 1078 0
1249 1247 1078 0
1250 1247 1078 0
1326 1221 -1220 0
1327 -1221 1220 0
-1065 1327 1326 0
-721 -720 -719 0
-722 -109 -719 0
109 720 719 0
722 720 719 0
109 721 719 0
722 721 719 0
-1255 -20 -1219 0
-1258 -1257 -1219 0
1257 20 1219 0
1258 20 1219 0
1257 1255 1219 0
1258 1255 1219 0
1330 1099 -1098 0
1331 -1099 1098 0
-1064 1331 1330 0
-737 -736 -735 0
-738 -30 -735 0
30 736 735 0
738 736 735 0
30 737 735 0
738 737 735 0
-1274 -27 -1053 0
-1277 -1276 -1053 0
1276 27 1053 0
1277 27 1053 0
1276 1274 1053 0
1277 1274 1053 0
1328 1208 -1209 0
1329 -1208 1209 0
-1061 1329 1328 0
-741 -740 -634 0
-742 -49 -634 0
49 740 634 0
742 740 634 0
49 741 634 0
742 741 634 0
-1251 -6 -932 0
-1254 -1253 -932 0
1253 6 932 0
1254 6 932 0
1253 1251 932 0
1254 1251 932 0
818 245 238 0
-818 -245 238 0
-818 245 -238 0
818 -245 -238 0
-744 -743 -243 0
-745 -90 -243 0
90 743 243 0
745 743 243 0
90 744 243 0
745 744 243 0
-990 -35 -235 0
-993 -992 -235 0
992 35 235 0
993 35 235 0
992 990 235 0
993 990 235 0
1212 1211 239 0
-1212 -1211 239 0
-1212 1211 -239 0
1212 -1211 -239 0
-713 -712 -635 0
-714 -102 -635 0
102 712 635 0
714 712 635 0
102 713 635 0
714 713 635 0
-1243 -123 -933 0
-1246 -1245 -933 0
1245 123 933 0
1246 123 933 0
1245 1243 933 0
1246 1243 933 0
1052 1051 448 0
-1052 -1051 448 0
-1052 1051 -448 0
1052 -1051 -448 0
-868 -867 -241 0
-869 -5 -241 0
5 867 241 0
869 867 241 0
5 868 241 0
869 868 241 0
-1135 -64 -234 0
-1138 -1137 -234 0
1137 64 234 0
1138 64 234 0
1137 1135 234 0
1138 1135 234 0
-724 -723 -544 0
-725 -12 -544 0
12 723 544 0
725 723 544 0
12 724 544 0
725 724 544 0
931 1200 1054 0
931 1058 1054 0
931 1062 1054 0
1210 938 931 0
-938 -934 -931 0
-1210 -934 -931 0
-938 -936 -931 0
-1210 -936 -931 0
-938 -1207 -931 0
-1210 -1207 -931 0
1058 1059 1060 0
1334 1082 -1083 0
1335 -1082 1083 0
-1063 1335 1334 0
458 464 471 0
1348 501 -503 0
1349 -501 503 0
-499 1349 1348 0
-587 -589 -489 0
-588 -15 -489 0
15 589 489 0
588 589 489 0
15 587 489 0
588 587 489 0
-879 -4 -490 0
-880 -882 -490 0
882 4 490 0
880 4 490 0
882 879 490 0
880 879 490 0
1344 541 -542 0
1345 -541 542 0
-533 1345 1344 0
-423 -428 -374 0
-424 -116 -374 0
116 428 374 0
424 428 374 0
116 423 374 0
424 423 374 0
-755 -68 -492 0
-756 -766 -492 0
766 68 492 0
756 68 492 0
766 755 492 0
756 755 492 0
708 710 700 0
-708 -710 700 0
-708 710 -700 0
708 -710 -700 0
-763 -775 -705 0
764 775 705 0
764 763 705 0
-704 -859 -858 0
-1004 -25 -983 0
-1005 -1007 -983 0
1007 25 983 0
1005 25 983 0
1007 1004 983 0
1005 1004 983 0
1350 496 -498 0
1351 -496 498 0
-494 1351 1350 0
-408 -406 -405 0
-410 -87 -405 0
87 406 405 0
410 406 405 0
87 408 405 0
410 408 405 0
-1159 -74 -491 0
-1160 -1166 -491 0
1166 74 491 0
1160 74 491 0
1166 1159 491 0
1160 1159 491 0
1346 537 -538 0
1347 -537 538 0
-524 1347 1346 0
-420 -419 -375 0
-421 -111 -375 0
111 419 375 0
421 419 375 0
111 420 375 0
421 420 375 0
-730 -118 -493 0
-731 -770 -493 0
770 118 493 0
731 118 493 0
770 730 493 0
731 730 493 0
799 801 795 0
-799 -801 795 0
-799 801 -795 0
799 -801 -795 0
-749 -748 -746 0
-750 -2 -746 0
2 748 746 0
750 748 746 0
2 749 746 0
750 749 746 0
-1161 -62 -796 0
-1164 -1163 -796 0
1163 62 796 0
1164 62 796 0
1163 1161 796 0
1164 1161 796 0
909 907 905 0
-909 -907 905 0
-909 907 -905 0
909 -907 -905 0
-1185 -1184 -901 0
-1186 -22 -901 0
22 1184 901 0
1186 1184 901 0
22 1185 901 0
1186 1185 901 0
-1284 -121 -902 0
-1285 -1305 -902 0
1305 121 902 0
1285 121 902 0
1305 1284 902 0
1285 1284 902 0
900 899 897 0
-900 -899 897 0
-900 899 -897 0
900 -899 -897 0
-584 -583 -582 0
-585 -99 -582 0
99 583 582 0
585 583 582 0
99 584 582 0
585 584 582 0
-1151 -9 -798 0
-1152 -1154 -798 0
1154 9 798 0
1152 9 798 0
1154 1151 798 0
1152 1151 798 0
813 814 810 0
-813 -814 810 0
-813 814 -810 0
813 -814 -810 0
-1020 -1019 -809 0
-1021 -23 -809 0
23 1019 809 0
1021 1019 809 0
23 1020 809 0
1021 1020 809 0
-1280 -7 -811 0
-1281 -1287 -811 0
1287 7 811 0
1281 7 811 0
1287 1280 811 0
1281 1280 811 0
-133 -920 -922 0
1206 1205 447 0
-1206 -1205 447 0
-1206 1205 -447 0
1206 -1205 -447 0
-129 128 130 0
-129 -128 -130 0
474 465 242 0
-466 -465 -242 0
-466 -474 -242 0
802 800 797 0
-800 -903 -797 0
-802 -903 -797 0
-800 -845 -797 0
-802 -845 -797 0
-800 -898 -797 0
-802 -898 -797 0
509 526 515 0
509 504 515 0
509 516 515 0
514 513 509 0
-513 -702 -509 0
-514 -702 -509 0
-513 -511 -509 0
-514 -511 -509 0
-513 -512 -509 0
-514 -512 -509 0
504 506 508 0
261 275 274 0
261 276 274 0
261 259 274 0
259 271 265 0
276 285 281 0
-1109 -1105 -644 0
-1109 -1106 -644 0
-1109 -1107 -644 0
-1111 -1112 -1106 0
-1111 -1110 -1106 0
-1111 -1113 -1106 0
683 695 688 0
-695 -852 -688 0
-683 -852 -688 0
-695 -691 -688 0
-683 -691 -688 0
-695 -693 -688 0
-683 -693 -688 0
-1110 -1233 -1234 0
-643 -645 -647 0
657 652 659 0
-666 -652 -659 0
-666 -657 -659 0
657 658 654 0
652 655 476 0
621 969 975 0
1336 974 -980 0
1337 -974 980 0
-970 1337 1336 0
973 1175 1300 0
1338 972 -978 0
1339 -972 978 0
-969 1339 1338 0
971 1176 1179 0
982 981 823 0
-981 -976 -823 0
-982 -976 -823 0
-981 -977 -823 0
-982 -977 -823 0
-981 -979 -823 0
-982 -979 -823 0
-825 828 -826 841 0
-825 828 -824 839 0
-825 828 839 841 0
-632 627 -633 342 0
-632 627 -631 340 0
-632 627 340 342 0
361 358 481 363 0
674 673 665 367 0
-919 -1076 -1074 -1077 0
-1090 -1084 -1092 -1077 0
1075 1080 1067 1081 0
-1067 -1069 -1071 -1073 0
-918 -331 -1054 -336 0
-336 -337 -338 -339 0
-1062 -1058 -1200 -1054 0
1207 936 934 931 0
-331 -240 -236 -246 0
236 793 791 449 0
-461 -529 -525 -527 0
525 703 700 701 0
917 1056 1055 1057 0
446 450 447 788 0
128 230 132 228 0
130 232 132 228 0
463 803 804 797 0
898 845 903 797 0
-805 -806 -807 -808 0
807 911 914 912 0
462 518 699 698 0
-516 -504 -526 -515 0
512 511 702 509 0
699 532 709 711 0
518 521 519 523 0
-519 -528 -530 -531 0
-640 -636 -638 -642 0
-259 -276 -275 -274 0
1107 1106 1105 644 0
-959 -965 -945 -962 0
1113 1110 1112 1106 0
693 691 852 688 0
-1114 -1115 -1101 -1116 0
1101 1102 1103 1104 0
979 977 976 823 0
366 290 367 368 361 0
-672 -676 -675 -677 -678 0
-665 -667 -668 -669 -671 0
290 487 370 287 293 0
340 616 128 225 332 0
342 616 130 225 332 0
848 948 853 950 851 0
267 268 270 272 273 0
-1076 -1215 -1213 -1216 -1214 0
338 789 790 792 794 0
-821 -1063 -1068 -1070 -1072 0
225 451 229 453 233 0
460 810 913 915 916 0
803 910 908 904 906 0
-532 -706 -534 -535 -536 0
-343 -643 -644 -274 -640 0
261 269 264 266 253 0
945 954 947 949 951 0
-622 -663 -664 -670 -661 0