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