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