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