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