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