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 0
p cnf 988 3088
71 0
145 0
336 0
343 0
332 0
-331 0
138 0
342 0
136 0
137 0
144 0
341 0
334 0
-107 0
-108 0
-109 0
-110 0
-111 0
-112 0
-113 0
-114 0
-115 0
-116 0
-117 0
-118 0
-119 0
-120 0
-121 0
-122 0
-123 0
-124 0
-125 0
-126 0
-127 0
-128 0
-129 0
-130 0
-131 0
333 0
338 0
340 0
335 0
237 0
76 0
72 0
-4 0
-6 0
-5 0
-77 0
-79 0
-81 0
-83 0
-74 0
-75 0
-73 0
-86 0
-87 0
-90 0
-91 0
-94 0
-95 0
-98 0
-99 0
-80 0
-82 0
-78 0
-104 0
-105 0
-106 0
-92 0
-93 0
-96 0
-97 0
-88 0
-89 0
135 0
134 0
-600 0
603 0
697 0
604 0
693 0
690 0
-634 0
-694 0
-695 0
-696 0
-689 0
-691 0
-692 0
738 0
742 0
-879 0
890 0
895 0
899 0
988 0
984 0
900 0
981 0
-949 0
-985 0
-986 0
-987 0
-980 0
-978 0
-982 0
-983 0
698 0
737 0
741 0
-84 -3 0
3 84 -76 0
3 -85 0
85 -3 -76 0
-100 84 0
-2 -100 0
-84 2 100 0
-101 84 0
-101 2 0
-2 -84 101 0
85 -102 0
-2 -102 0
102 2 -85 0
-103 85 0
-103 2 0
-2 -85 103 0
-100 132 0
-101 132 0
-132 101 100 0
133 -132 0
133 -102 0
102 132 -133 0
133 103 -134 0
102 100 103 -137 0
-139 -8 0
-7 -139 0
8 7 139 0
-140 -8 0
-140 7 0
-7 8 140 0
8 -141 0
-7 -141 0
141 7 -8 0
-142 8 0
-142 7 0
-7 -8 142 0
-139 143 0
-140 143 0
-143 139 140 0
141 143 -144 0
-139 -140 0
-140 -141 0
-142 -140 0
-139 -146 0
-146 140 0
-140 139 146 0
-147 -18 0
-17 -147 0
18 17 147 0
-148 -18 0
-148 17 0
-17 18 148 0
18 -149 0
-17 -149 0
149 17 -18 0
-150 18 0
-150 17 0
-17 150 -18 0
-151 147 0
-151 -16 0
-147 16 151 0
-152 147 0
-152 16 0
-147 -16 152 0
-153 148 0
-153 -16 0
-148 16 153 0
-154 148 0
-154 16 0
-148 154 -16 0
149 -155 0
-155 -16 0
16 -149 155 0
149 -156 0
16 -156 0
156 -149 -16 0
-157 150 0
-157 -16 0
-150 16 157 0
-158 150 0
-158 16 0
-150 158 -16 0
-159 151 0
-159 -15 0
15 -151 159 0
-160 151 0
-160 15 0
-151 -15 160 0
-161 152 0
-161 -15 0
15 -152 161 0
-162 152 0
15 -162 0
-152 162 -15 0
-163 153 0
-163 -15 0
-153 15 163 0
-164 153 0
-164 15 0
-153 164 -15 0
-165 154 0
-165 -15 0
-154 15 165 0
-166 154 0
-166 15 0
-154 166 -15 0
-167 155 0
-167 -15 0
15 -155 167 0
-168 155 0
15 -168 0
-155 168 -15 0
-169 156 0
-169 -15 0
15 -156 169 0
156 -170 0
15 -170 0
170 -156 -15 0
-171 157 0
-171 -15 0
-157 15 171 0
-172 157 0
-172 15 0
-157 172 -15 0
-173 158 0
-173 -15 0
-158 15 173 0
-174 158 0
-174 15 0
-158 174 -15 0
-175 159 0
-175 -14 0
-159 14 175 0
-176 159 0
-176 14 0
-159 -14 176 0
-177 160 0
-177 -14 0
-160 14 177 0
-178 160 0
-178 14 0
-160 -14 178 0
-179 161 0
-179 -14 0
-161 14 179 0
-180 161 0
-180 14 0
-161 -14 180 0
-181 162 0
-181 -14 0
-162 14 181 0
-182 162 0
-182 14 0
-162 182 -14 0
-183 163 0
-183 -14 0
-163 14 183 0
-184 163 0
-184 14 0
-163 -14 184 0
-185 164 0
-185 -14 0
-164 14 185 0
-186 164 0
-186 14 0
-164 -14 186 0
-187 165 0
-187 -14 0
-165 14 187 0
-188 165 0
-188 14 0
-165 -14 188 0
-189 166 0
-189 -14 0
-166 14 189 0
-190 166 0
-190 14 0
-166 -14 190 0
-191 167 0
-191 -14 0
-167 14 191 0
-192 167 0
-192 14 0
-167 -14 192 0
-193 168 0
-14 -193 0
-168 14 193 0
-194 168 0
-194 14 0
-14 -168 194 0
-195 169 0
-195 -14 0
-169 14 195 0
-196 169 0
-196 14 0
-169 -14 196 0
170 -197 0
-14 -197 0
197 14 -170 0
-198 170 0
-198 14 0
-14 198 -170 0
-199 171 0
-199 -14 0
-171 14 199 0
-200 171 0
-200 14 0
-171 -14 200 0
-201 172 0
-201 -14 0
-172 14 201 0
-202 172 0
-202 14 0
-172 -14 202 0
-203 173 0
-203 -14 0
-173 14 203 0
-204 173 0
-204 14 0
-173 -14 204 0
-205 174 0
-205 -14 0
-174 14 205 0
-206 174 0
-206 14 0
-174 -14 206 0
-175 207 0
-176 207 0
-207 176 175 0
-207 208 0
-177 208 0
-208 207 177 0
-208 209 0
-178 209 0
-209 208 178 0
-209 210 0
-179 210 0
-210 209 179 0
-210 211 0
-180 211 0
-211 210 180 0
-211 212 0
-181 212 0
-212 211 181 0
-183 -212 0
-184 -212 0
-185 -212 0
-186 -212 0
-187 -212 0
-188 -212 0
-189 -212 0
-190 -212 0
-191 -212 0
-192 -212 0
-212 -193 0
-194 -212 0
-195 -212 0
-196 -212 0
-212 -197 0
-198 -212 0
-199 -212 0
-200 -212 0
-201 -212 0
-202 -212 0
-203 -212 0
-204 -212 0
-205 -212 0
-206 -212 0
-20 -213 0
-19 -213 0
213 19 20 0
-214 -20 0
-214 19 0
-19 20 214 0
-215 20 0
-19 -215 0
-20 215 19 0
-216 20 0
-216 19 0
-19 -20 216 0
-214 -213 0
-215 -213 0
-216 -213 0
-22 -217 0
-21 -217 0
217 22 21 0
-218 -22 0
-218 21 0
-21 218 22 0
-219 22 0
-21 -219 0
-22 219 21 0
-220 22 0
-220 21 0
-21 -22 220 0
-24 -221 0
-23 -221 0
221 23 24 0
-222 -24 0
-222 23 0
-23 222 24 0
-223 24 0
-223 -23 0
-24 23 223 0
-224 24 0
-224 23 0
-24 224 -23 0
-26 -225 0
-25 -225 0
225 26 25 0
-226 -26 0
-226 25 0
-25 226 26 0
-227 26 0
-25 -227 0
-26 227 25 0
-228 26 0
-228 25 0
-25 -26 228 0
-226 -225 0
-227 -225 0
-228 -225 0
-28 -229 0
-229 -27 0
27 229 28 0
-28 -230 0
27 -230 0
230 -27 28 0
-231 28 0
-231 -27 0
-28 231 27 0
-232 28 0
-232 27 0
-28 -27 232 0
-229 -230 0
-231 -229 0
-232 -229 0
-233 -225 0
-233 178 0
-178 225 233 0
-234 229 0
-234 179 0
-179 -229 234 0
-235 213 0
-235 181 0
-181 -213 235 0
-175 236 0
-177 236 0
-233 236 0
-234 236 0
-180 236 0
-235 236 0
-236 235 177 175 234 180 233 0
-212 236 -237 0
213 212 -237 0
213 236 -237 0
-238 -13 0
-238 -12 0
13 12 238 0
-239 -13 0
-239 12 0
-12 13 239 0
13 -240 0
-12 -240 0
240 12 -13 0
-241 13 0
-241 12 0
-12 241 -13 0
-242 238 0
-242 -11 0
-238 11 242 0
-243 238 0
-243 11 0
-238 -11 243 0
-244 239 0
-244 -11 0
-239 11 244 0
-245 239 0
-245 11 0
-239 -11 245 0
240 -246 0
-11 -246 0
246 11 -240 0
240 -247 0
-247 11 0
-11 247 -240 0
-248 241 0
-248 -11 0
-241 11 248 0
-249 241 0
-249 11 0
-241 249 -11 0
-250 242 0
-10 -250 0
-242 250 10 0
-251 242 0
-251 10 0
-10 -242 251 0
-252 243 0
-10 -252 0
-243 10 252 0
-253 243 0
-253 10 0
-10 -243 253 0
-254 244 0
-10 -254 0
-244 10 254 0
-255 244 0
-255 10 0
-10 -244 255 0
-256 245 0
-10 -256 0
-245 10 256 0
-257 245 0
-257 10 0
-10 -245 257 0
246 -258 0
-10 -258 0
258 10 -246 0
-259 246 0
-259 10 0
-10 259 -246 0
-260 247 0
-10 -260 0
-247 10 260 0
-261 247 0
-261 10 0
-10 -247 261 0
-262 248 0
-10 -262 0
-248 10 262 0
-263 248 0
-263 10 0
-10 -248 263 0
-264 249 0
-10 -264 0
-249 10 264 0
-265 249 0
-265 10 0
-10 -249 265 0
-266 250 0
-9 -266 0
-250 9 266 0
-267 250 0
-267 9 0
-9 -250 267 0
-268 251 0
-9 -268 0
-251 9 268 0
-269 251 0
-269 9 0
-9 -251 269 0
-270 252 0
-9 -270 0
-252 9 270 0
-271 252 0
-271 9 0
-9 -252 271 0
-272 253 0
-9 -272 0
-253 9 272 0
-273 253 0
-273 9 0
-9 -253 273 0
-274 254 0
-9 -274 0
-254 9 274 0
-275 254 0
-275 9 0
-9 -254 275 0
-276 255 0
-9 -276 0
-255 9 276 0
-277 255 0
-277 9 0
-9 -255 277 0
-278 256 0
-9 -278 0
-256 278 9 0
-279 256 0
-279 9 0
-9 -256 279 0
-280 257 0
-9 -280 0
-257 280 9 0
-281 257 0
-281 9 0
-9 -257 281 0
258 -282 0
-9 -282 0
282 -258 9 0
-283 258 0
-283 9 0
-9 -258 283 0
-284 259 0
-9 -284 0
-259 284 9 0
-285 259 0
-285 9 0
-9 -259 285 0
-286 260 0
-9 -286 0
-260 9 286 0
-287 260 0
-287 9 0
-9 -260 287 0
-288 261 0
-9 -288 0
-261 9 288 0
-289 261 0
-289 9 0
-9 -261 289 0
-290 262 0
-9 -290 0
-262 9 290 0
-291 262 0
-291 9 0
-9 -262 291 0
-292 263 0
-9 -292 0
-263 9 292 0
-293 263 0
-293 9 0
-9 -263 293 0
-294 264 0
-9 -294 0
-264 9 294 0
-295 264 0
-295 9 0
-9 -264 295 0
-296 265 0
-9 -296 0
-265 9 296 0
-297 265 0
-297 9 0
-9 -265 297 0
-266 298 0
-267 298 0
-298 267 266 0
-298 299 0
-268 299 0
-299 298 268 0
-299 300 0
-269 300 0
-300 299 269 0
-300 301 0
-270 301 0
-301 300 270 0
-301 302 0
-271 302 0
-302 301 271 0
-302 303 0
-272 303 0
-303 302 272 0
-274 -303 0
-275 -303 0
-276 -303 0
-277 -303 0
-303 -278 0
-279 -303 0
-280 -303 0
-281 -303 0
-303 -282 0
-283 -303 0
-284 -303 0
-285 -303 0
-303 -286 0
-287 -303 0
-288 -303 0
-289 -303 0
-290 -303 0
-291 -303 0
-292 -303 0
-293 -303 0
-294 -303 0
-295 -303 0
-296 -303 0
-297 -303 0
-30 -304 0
-29 -304 0
304 29 30 0
-30 -305 0
-305 29 0
-29 30 305 0
-306 30 0
-29 -306 0
-30 29 306 0
-307 30 0
-307 29 0
-29 -30 307 0
-305 -304 0
-306 -304 0
-307 -304 0
-32 -308 0
-31 -308 0
308 31 32 0
-32 -309 0
-309 31 0
-31 309 32 0
-310 32 0
-310 -31 0
-32 31 310 0
-311 32 0
-311 31 0
-32 311 -31 0
-34 -312 0
-33 -312 0
312 34 33 0
-34 -313 0
-313 33 0
-33 313 34 0
-314 34 0
-314 -33 0
-34 314 33 0
-315 34 0
-315 33 0
-34 -33 315 0
-36 -316 0
-35 -316 0
316 35 36 0
-36 -317 0
-317 35 0
-35 317 36 0
-318 36 0
-318 -35 0
-36 318 35 0
-319 36 0
-319 35 0
-36 -35 319 0
-317 -316 0
-318 -316 0
-319 -316 0
-320 -38 0
-320 -37 0
38 37 320 0
-321 -38 0
-321 37 0
-37 321 38 0
38 -322 0
-37 -322 0
322 -38 37 0
-323 38 0
-323 37 0
-37 -38 323 0
-320 -321 0
-320 -322 0
-323 -320 0
-324 -316 0
-324 269 0
-269 316 324 0
-325 320 0
-325 270 0
-270 -320 325 0
304 -326 0
-326 272 0
-272 -304 326 0
-266 327 0
-268 327 0
-324 327 0
-325 327 0
-271 327 0
-326 327 0
-327 326 268 324 325 271 266 0
-303 327 -328 0
304 303 -328 0
304 327 -328 0
-327 328 -304 0
328 -304 303 0
-303 -327 328 0
328 -329 0
329 -328 -237 0
-330 146 0
-330 329 0
-146 330 -329 0
-330 -146 331 0
102 100 104 105 -333 0
-175 337 0
-177 337 0
-233 337 0
-234 337 0
-235 337 0
-337 233 175 177 235 234 0
-212 337 -338 0
213 212 -338 0
213 337 -338 0
-266 339 0
-268 339 0
-324 339 0
-325 339 0
-326 339 0
-339 325 324 268 326 266 0
-303 339 -340 0
304 303 -340 0
304 339 -340 0
-344 -40 0
-344 -39 0
39 40 344 0
-40 -345 0
39 -345 0
345 40 -39 0
-346 40 0
-346 -39 0
-40 39 346 0
-347 40 0
-347 39 0
-40 347 -39 0
-45 -348 0
-44 -348 0
348 44 45 0
-349 -45 0
-349 44 0
-44 45 349 0
-350 45 0
-44 -350 0
-45 350 44 0
-351 45 0
-351 44 0
-44 351 -45 0
348 -352 0
-43 -352 0
352 43 -348 0
-353 348 0
-353 43 0
-43 -348 353 0
-354 349 0
-354 -43 0
-349 43 354 0
-355 349 0
-355 43 0
-43 -349 355 0
-356 350 0
-43 -356 0
-350 356 43 0
-357 350 0
-357 43 0
-43 -350 357 0
-358 351 0
-358 -43 0
-351 358 43 0
-359 351 0
-359 43 0
-351 -43 359 0
352 -360 0
-42 -360 0
360 -352 42 0
-361 352 0
-361 42 0
-42 -352 361 0
-362 353 0
-42 -362 0
-353 362 42 0
-363 353 0
-363 42 0
-42 -353 363 0
-364 354 0
-42 -364 0
-354 364 42 0
-365 354 0
-365 42 0
-42 -354 365 0
-366 355 0
-42 -366 0
-355 42 366 0
-367 355 0
-367 42 0
-42 -355 367 0
-368 356 0
-42 -368 0
-356 42 368 0
-369 356 0
-369 42 0
-42 -356 369 0
-370 357 0
-42 -370 0
-357 42 370 0
-371 357 0
-371 42 0
-42 -357 371 0
-372 358 0
-42 -372 0
-358 42 372 0
-373 358 0
-373 42 0
-42 -358 373 0
-374 359 0
-42 -374 0
-359 42 374 0
-375 359 0
-375 42 0
-42 -359 375 0
360 -376 0
-41 -376 0
376 -360 41 0
-377 360 0
-377 41 0
-41 -360 377 0
-378 361 0
-41 -378 0
-361 378 41 0
-379 361 0
-379 41 0
-41 -361 379 0
-380 362 0
-41 -380 0
-362 380 41 0
-381 362 0
-381 41 0
-41 -362 381 0
-382 363 0
-41 -382 0
-363 382 41 0
-383 363 0
-383 41 0
-41 -363 383 0
-384 364 0
-41 -384 0
-364 384 41 0
-385 364 0
-385 41 0
-41 -364 385 0
-386 365 0
-41 -386 0
-365 41 386 0
-387 365 0
-387 41 0
-41 -365 387 0
-388 366 0
-41 -388 0
-366 388 41 0
-389 366 0
-389 41 0
-41 -366 389 0
-390 367 0
-41 -390 0
-367 41 390 0
-391 367 0
-391 41 0
-41 -367 391 0
-392 368 0
-41 -392 0
-368 41 392 0
-393 368 0
-393 41 0
-41 -368 393 0
-394 369 0
-41 -394 0
-369 41 394 0
-395 369 0
-395 41 0
-41 -369 395 0
-396 370 0
-41 -396 0
-370 41 396 0
-397 370 0
-397 41 0
-41 -370 397 0
-398 371 0
-41 -398 0
-371 41 398 0
-399 371 0
-399 41 0
-41 -371 399 0
-400 372 0
-41 -400 0
-372 41 400 0
-401 372 0
-401 41 0
-41 -372 401 0
-402 373 0
-41 -402 0
-373 41 402 0
-403 373 0
-403 41 0
-41 -373 403 0
-404 374 0
-41 -404 0
-374 41 404 0
-405 374 0
-405 41 0
-41 -374 405 0
-406 375 0
-41 -406 0
-375 41 406 0
-407 375 0
-407 41 0
-41 -375 407 0
-408 -50 0
-408 -49 0
50 49 408 0
-409 -50 0
-409 49 0
-49 409 50 0
50 -410 0
-49 -410 0
410 -50 49 0
-411 50 0
-411 49 0
-49 -50 411 0
-412 408 0
-412 -48 0
48 -408 412 0
-413 408 0
-413 48 0
-408 -48 413 0
-414 409 0
-414 -48 0
48 -409 414 0
-415 409 0
48 -415 0
-409 -48 415 0
-416 410 0
-416 -48 0
48 416 -410 0
410 -417 0
48 -417 0
417 -48 -410 0
-418 411 0
-418 -48 0
-411 48 418 0
-419 411 0
-419 48 0
-411 -48 419 0
-420 412 0
-47 -420 0
-412 420 47 0
-421 412 0
-421 47 0
-47 -412 421 0
-422 413 0
-47 -422 0
-413 422 47 0
-423 413 0
-423 47 0
-47 -413 423 0
-424 414 0
-47 -424 0
-414 47 424 0
-425 414 0
-425 47 0
-47 -414 425 0
-426 415 0
-47 -426 0
-415 426 47 0
-427 415 0
-427 47 0
-47 -415 427 0
-428 416 0
-47 -428 0
-416 428 47 0
-429 416 0
-429 47 0
-47 -416 429 0
417 -430 0
-47 -430 0
430 -417 47 0
-431 417 0
-431 47 0
-47 -417 431 0
-432 418 0
-47 -432 0
-418 47 432 0
-433 418 0
-433 47 0
-47 -418 433 0
-434 419 0
-47 -434 0
-419 47 434 0
-435 419 0
-435 47 0
-47 -419 435 0
-436 420 0
-46 -436 0
-420 436 46 0
-437 420 0
-437 46 0
-46 -420 437 0
-438 421 0
-46 -438 0
-421 438 46 0
-439 421 0
-439 46 0
-46 -421 439 0
-440 422 0
-46 -440 0
-422 440 46 0
-441 422 0
-441 46 0
-46 -422 441 0
-442 423 0
-46 -442 0
-423 442 46 0
-443 423 0
-443 46 0
-46 -423 443 0
-444 424 0
-46 -444 0
-424 444 46 0
-445 424 0
-445 46 0
-46 -424 445 0
-446 425 0
-46 -446 0
-425 446 46 0
-447 425 0
-447 46 0
-46 -425 447 0
-448 426 0
-46 -448 0
-426 448 46 0
-449 426 0
-449 46 0
-46 -426 449 0
-450 427 0
-46 -450 0
-427 450 46 0
-451 427 0
-451 46 0
-46 -427 451 0
-452 428 0
-46 -452 0
-428 452 46 0
-453 428 0
-453 46 0
-46 -428 453 0
-454 429 0
-46 -454 0
-429 454 46 0
-455 429 0
-455 46 0
-46 -429 455 0
430 -456 0
-46 -456 0
456 -430 46 0
-457 430 0
-457 46 0
-46 -430 457 0
-458 431 0
-46 -458 0
-431 458 46 0
-459 431 0
-459 46 0
-46 -431 459 0
-460 432 0
-46 -460 0
-432 46 460 0
-461 432 0
-461 46 0
-46 -432 461 0
-462 433 0
-46 -462 0
-433 46 462 0
-463 433 0
-463 46 0
-46 -433 463 0
-464 434 0
-46 -464 0
-434 46 464 0
-465 434 0
-465 46 0
-46 -434 465 0
-466 435 0
-46 -466 0
-435 46 466 0
-467 435 0
-467 46 0
-46 -435 467 0
-52 -468 0
-51 -468 0
468 51 52 0
-52 -469 0
-469 51 0
-51 469 52 0
-470 52 0
-470 -51 0
-52 51 470 0
-471 52 0
-471 51 0
-52 471 -51 0
-472 -54 0
-472 -53 0
54 472 53 0
-473 -54 0
-473 53 0
-53 54 473 0
54 -474 0
-53 -474 0
474 -54 53 0
-475 54 0
-475 53 0
-53 -54 475 0
-476 -56 0
-55 -476 0
56 55 476 0
-477 -56 0
-477 55 0
-55 56 477 0
56 -478 0
-55 -478 0
478 55 -56 0
-479 56 0
-479 55 0
-55 479 -56 0
-58 -480 0
-57 -480 0
480 57 58 0
-58 -481 0
-481 57 0
-57 481 58 0
-482 58 0
-57 -482 0
-58 482 57 0
-483 58 0
-483 57 0
-57 -58 483 0
-60 -484 0
-484 -59 0
59 60 484 0
-60 -485 0
59 -485 0
485 60 -59 0
-486 60 0
-486 -59 0
-60 59 486 0
-487 60 0
-487 59 0
-60 487 -59 0
-488 -62 0
-61 -488 0
62 61 488 0
-489 -62 0
-489 61 0
-61 489 62 0
62 -490 0
-61 -490 0
490 -62 61 0
-491 62 0
-491 61 0
-61 -62 491 0
-64 -492 0
-492 -63 0
63 64 492 0
-64 -493 0
63 -493 0
493 -63 64 0
-494 64 0
-494 -63 0
-64 494 63 0
-495 64 0
-495 63 0
-64 -63 495 0
-66 -496 0
-65 -496 0
496 66 65 0
-66 -497 0
-497 65 0
-65 497 66 0
-498 66 0
-498 -65 0
-66 498 65 0
-499 66 0
-499 65 0
-66 -65 499 0
-68 -500 0
-67 -500 0
500 68 67 0
-501 -68 0
-501 67 0
-67 501 68 0
-502 68 0
-67 -502 0
-68 502 67 0
-503 68 0
-503 67 0
-67 -68 503 0
-70 -504 0
-504 -69 0
69 70 504 0
-70 -505 0
69 -505 0
505 70 -69 0
-506 70 0
-506 -69 0
-70 69 506 0
-507 70 0
-507 69 0
-70 507 -69 0
-508 -3 0
-2 -508 0
3 2 508 0
-509 -3 0
-509 2 0
-2 3 509 0
3 -510 0
-2 -510 0
510 2 -3 0
3 -511 0
-511 2 0
-2 511 -3 0
-508 512 0
512 -510 0
-511 512 0
510 511 508 -512 0
-139 513 0
513 140 0
-140 139 -513 0
-139 513 0
513 140 0
-514 -513 0
328 -514 0
513 514 -328 0
-515 514 0
-515 -513 0
513 -514 515 0
513 -516 0
-516 -213 0
213 516 -513 0
-517 -213 0
-214 -517 0
213 214 517 0
-518 -513 0
-518 216 0
-216 513 518 0
-516 519 0
-518 519 0
-519 516 518 0
-216 519 0
217 -520 0
-520 -513 0
513 -217 520 0
-521 218 0
-521 -513 0
-218 513 521 0
-520 522 0
-521 522 0
-522 521 520 0
-220 -522 0
-523 221 0
-523 -513 0
513 -221 523 0
-524 222 0
-524 -513 0
513 -222 524 0
-523 525 0
-524 525 0
-525 524 523 0
-525 -224 0
513 -526 0
-526 -225 0
225 -513 526 0
-527 -225 0
-226 -527 0
225 527 226 0
-528 -513 0
-528 228 0
-228 513 528 0
-526 529 0
-528 529 0
-529 526 528 0
-228 529 0
513 -530 0
-530 229 0
-229 530 -513 0
-531 -513 0
-531 231 0
-231 513 531 0
-530 532 0
-531 532 0
-532 530 531 0
-532 -230 0
-232 -532 0
-533 522 0
-533 176 0
-176 -522 533 0
-525 -534 0
-534 177 0
-177 534 525 0
-535 529 0
-535 178 0
-178 -529 535 0
-536 532 0
-536 179 0
-179 -532 536 0
513 -537 0
-537 180 0
-180 537 -513 0
-519 -538 0
-538 181 0
-181 519 538 0
-175 539 0
-533 539 0
-534 539 0
-535 539 0
-536 539 0
-537 539 0
-538 539 0
-539 537 533 535 536 175 534 538 0
-212 539 -540 0
-519 -540 212 0
-519 -540 539 0
-539 540 519 0
540 519 212 0
-212 -539 540 0
513 -541 0
-541 -304 0
304 -513 541 0
-542 -304 0
-305 -542 0
304 305 542 0
-543 -513 0
-543 307 0
-307 513 543 0
-541 544 0
-543 544 0
-544 543 541 0
-307 544 0
-545 308 0
-545 -513 0
513 -308 545 0
-546 309 0
-546 -513 0
513 -309 546 0
-545 547 0
-546 547 0
-547 546 545 0
-311 -547 0
312 -548 0
-548 -513 0
513 548 -312 0
-549 313 0
-549 -513 0
-313 513 549 0
-548 550 0
-549 550 0
-550 548 549 0
-315 -550 0
513 -551 0
-551 -316 0
316 -513 551 0
-552 -316 0
-317 -552 0
316 552 317 0
-553 -513 0
-553 319 0
-319 513 553 0
-551 554 0
-553 554 0
-554 551 553 0
-319 554 0
513 -555 0
-555 320 0
-320 -513 555 0
-556 -513 0
-556 322 0
513 556 -322 0
-555 557 0
-556 557 0
-557 556 555 0
-557 -321 0
-323 -557 0
-558 547 0
-558 267 0
-267 -547 558 0
-550 -559 0
-559 268 0
-268 550 559 0
-560 554 0
-560 269 0
-269 -554 560 0
-561 557 0
-561 270 0
-270 -557 561 0
513 -562 0
-562 271 0
-271 -513 562 0
-544 -563 0
-563 272 0
-272 544 563 0
-266 564 0
-558 564 0
-559 564 0
-560 564 0
-561 564 0
-562 564 0
-563 564 0
-564 559 266 560 561 562 563 558 0
-303 -565 564 0
-544 -565 303 0
-544 -565 564 0
-564 544 565 0
565 544 303 0
-303 -564 565 0
540 -566 0
565 -566 0
566 -565 -540 0
-567 -513 0
566 -567 0
513 567 -566 0
-568 567 0
-568 -513 0
513 -567 568 0
-568 -569 0
-515 -569 0
569 568 515 0
-515 -568 -570 0
-570 568 515 0
-515 568 570 0
-568 515 570 0
-571 568 0
-571 515 0
-515 -568 571 0
-570 -569 0
-571 -569 0
569 -572 0
512 -572 0
572 -569 -512 0
573 -217 0
-218 573 0
217 -573 218 0
-220 -573 0
574 -221 0
-222 574 0
221 -574 222 0
-224 -574 0
-231 -230 0
-231 -232 0
573 -575 0
-575 176 0
-176 575 -573 0
-576 -574 0
-576 177 0
-177 574 576 0
-577 228 0
-577 178 0
-178 -228 577 0
-578 231 0
-578 179 0
-179 -231 578 0
-216 -579 0
-579 181 0
-181 216 579 0
-175 580 0
-575 580 0
-576 580 0
-577 580 0
-578 580 0
-579 580 0
-580 575 175 577 578 576 579 0
-212 -581 580 0
-216 -581 212 0
-216 -581 580 0
-580 581 216 0
581 216 212 0
-212 -580 581 0
582 -308 0
582 -309 0
308 -582 309 0
-311 -582 0
583 -312 0
-313 583 0
312 -583 313 0
-315 -583 0
-321 -322 0
-323 -322 0
582 -584 0
-584 267 0
-267 -582 584 0
-585 -583 0
-585 268 0
-268 583 585 0
-586 319 0
-586 269 0
-269 -319 586 0
-587 322 0
-587 270 0
-270 -322 587 0
-307 -588 0
-588 272 0
-272 307 588 0
-266 589 0
-584 589 0
-585 589 0
-586 589 0
-587 589 0
-588 589 0
-589 585 266 586 587 588 584 0
-303 -590 589 0
-307 -590 303 0
-307 -590 589 0
-589 307 590 0
590 307 303 0
-303 -589 590 0
581 -591 0
590 -591 0
591 -590 -581 0
-592 -591 0
513 -592 0
591 592 -513 0
513 -593 -591 0
591 -593 -513 0
513 591 593 0
593 -513 -591 0
591 -594 0
-594 -513 0
513 594 -591 0
-592 -593 0
-594 -593 0
513 591 -595 0
-595 -591 0
513 -595 -591 0
591 595 -513 0
591 595 -513 0
-596 -513 0
-596 -591 0
513 591 596 0
513 -597 595 0
-597 -513 -591 0
-597 595 -591 0
591 -595 597 0
591 597 -513 0
513 -595 597 0
-598 596 0
-598 -513 0
513 -596 598 0
-597 -591 0
-597 -598 0
593 -599 0
-599 597 0
-597 -593 599 0
-599 -572 600 0
-598 601 0
-597 601 0
-601 597 598 0
-601 -591 0
591 601 0
-601 -602 0
593 -602 0
602 -593 601 0
602 -572 -603 0
510 508 -604 0
-344 605 0
605 -345 0
605 -346 0
345 -605 346 344 0
-347 -605 0
605 347 0
-436 606 0
-437 606 0
-606 437 436 0
-606 607 0
-438 607 0
-607 606 438 0
-607 608 0
-439 608 0
-608 607 439 0
-608 609 0
-440 609 0
-609 608 440 0
-609 610 0
-441 610 0
-610 609 441 0
-610 611 0
-442 611 0
-611 610 442 0
-611 612 0
-443 612 0
-612 611 443 0
-612 613 0
-444 613 0
-613 444 612 0
-446 -613 0
-447 -613 0
-613 -448 0
-449 -613 0
-450 -613 0
-451 -613 0
-452 -613 0
-453 -613 0
-454 -613 0
-455 -613 0
-613 -456 0
-457 -613 0
-458 -613 0
-459 -613 0
-460 -613 0
-461 -613 0
-462 -613 0
-463 -613 0
-464 -613 0
-465 -613 0
-466 -613 0
-467 -613 0
-469 -468 0
-470 -468 0
-471 -468 0
-481 -480 0
-482 -480 0
-483 -480 0
-484 -485 0
-486 -484 0
-487 -484 0
-614 -480 0
-614 439 0
-439 480 614 0
-615 484 0
-615 440 0
-440 -484 615 0
-616 468 0
-616 444 0
-444 616 -468 0
-436 617 0
-438 617 0
-614 617 0
-615 617 0
-441 617 0
-616 617 0
-617 616 441 436 615 438 614 0
-613 617 -618 0
468 -618 613 0
468 617 -618 0
-617 618 -468 0
618 613 -468 0
-613 -617 618 0
619 -376 0
-377 619 0
376 -619 377 0
620 -619 0
-378 620 0
619 -620 378 0
621 -620 0
-379 621 0
620 -621 379 0
622 -621 0
-380 622 0
621 -622 380 0
623 -622 0
-381 623 0
622 -623 381 0
624 -623 0
-382 624 0
623 -624 382 0
625 -624 0
-383 625 0
624 -625 383 0
626 -625 0
-384 626 0
625 -626 384 0
-386 -626 0
-387 -626 0
-388 -626 0
-389 -626 0
-390 -626 0
-391 -626 0
-392 -626 0
-393 -626 0
-394 -626 0
-395 -626 0
-396 -626 0
-397 -626 0
-398 -626 0
-399 -626 0
-400 -626 0
-401 -626 0
-402 -626 0
-403 -626 0
-404 -626 0
-405 -626 0
-406 -626 0
-407 -626 0
-489 -488 0
-488 -490 0
-491 -488 0
-501 -500 0
-502 -500 0
-503 -500 0
-504 -505 0
-506 -504 0
-507 -504 0
-627 -500 0
-627 379 0
-379 500 627 0
-628 504 0
-628 380 0
-380 -504 628 0
-629 488 0
-629 384 0
-384 -488 629 0
630 -376 0
-378 630 0
-627 630 0
-628 630 0
-381 630 0
-629 630 0
376 -630 628 627 381 629 378 0
630 -631 -626 0
626 -631 488 0
630 -631 488 0
631 -488 -630 0
-488 626 631 0
631 -626 -630 0
618 -632 0
631 -632 0
632 -618 -631 0
-633 -605 0
-633 632 0
605 -632 633 0
605 -633 634 0
605 -635 0
-635 -468 0
468 -605 635 0
-636 -468 0
-636 -469 0
468 636 469 0
-637 472 0
-637 -605 0
-472 605 637 0
-638 473 0
-638 -605 0
605 -473 638 0
-637 639 0
-638 639 0
-639 638 637 0
-640 474 0
-640 -605 0
605 -474 640 0
-639 641 0
-640 641 0
-641 639 640 0
-642 476 0
-642 -605 0
605 -476 642 0
-643 477 0
-643 -605 0
-477 605 643 0
-642 644 0
-643 644 0
-644 643 642 0
-645 478 0
-645 -605 0
605 -478 645 0
-644 646 0
-645 646 0
-646 644 645 0
605 -647 0
-647 -480 0
480 647 -605 0
-648 -480 0
-481 -648 0
480 481 648 0
605 -649 0
-649 484 0
-484 649 -605 0
-650 -605 0
-650 487 0
-487 605 650 0
-649 651 0
-650 651 0
-651 649 650 0
-651 -485 0
-486 -651 0
-652 641 0
-652 437 0
-437 -641 652 0
-646 -653 0
-653 438 0
-438 653 646 0
-654 647 0
-654 439 0
-439 -647 654 0
-655 651 0
-655 440 0
-440 -651 655 0
605 -656 0
-656 441 0
-441 656 -605 0
-657 -605 0
-657 442 0
-442 605 657 0
-658 -635 0
-658 444 0
-444 658 635 0
-436 659 0
-652 659 0
-653 659 0
-654 659 0
-655 659 0
-656 659 0
-657 659 0
-658 659 0
-659 658 436 652 655 656 657 653 654 0
-613 659 -660 0
-635 -660 613 0
-635 659 -660 0
-659 660 635 0
660 613 635 0
-613 -659 660 0
605 -661 0
-488 -661 0
661 488 -605 0
-488 -662 0
-489 -662 0
662 489 488 0
-663 492 0
-663 -605 0
605 -492 663 0
-664 493 0
-664 -605 0
605 664 -493 0
-663 665 0
-664 665 0
-665 664 663 0
-666 494 0
-666 -605 0
-494 605 666 0
-665 667 0
-666 667 0
-667 665 666 0
-668 496 0
-668 -605 0
605 -496 668 0
-669 497 0
-669 -605 0
605 -497 669 0
-668 670 0
-669 670 0
-670 669 668 0
-671 498 0
-671 -605 0
-498 605 671 0
-670 672 0
-671 672 0
-672 670 671 0
605 -673 0
-673 -500 0
500 673 -605 0
-674 -500 0
-501 -674 0
500 674 501 0
605 -675 0
-675 504 0
-504 675 -605 0
-676 -605 0
-676 507 0
-507 605 676 0
-675 677 0
-676 677 0
-677 675 676 0
-677 -505 0
-506 -677 0
-678 667 0
-678 377 0
-377 -667 678 0
-672 -679 0
-679 378 0
-378 679 672 0
-680 673 0
-680 379 0
-379 -673 680 0
-681 677 0
-681 380 0
-380 -677 681 0
605 -682 0
-682 381 0
-381 682 -605 0
-683 -605 0
-683 382 0
-382 605 683 0
-684 -661 0
-684 384 0
-384 661 684 0
685 -376 0
-678 685 0
-679 685 0
-680 685 0
-681 685 0
-682 685 0
-683 685 0
-684 685 0
376 679 678 681 680 682 683 684 -685 0
685 -686 -626 0
626 -686 -661 0
685 -686 -661 0
686 661 -685 0
661 626 686 0
686 -626 -685 0
660 -687 0
686 -687 0
687 -660 -686 0
-688 -605 0
-688 687 0
605 -687 688 0
605 -688 689 0
-508 698 0
698 -510 0
510 508 -698 0
699 -217 0
-218 699 0
217 -699 218 0
-220 -699 0
700 -221 0
-222 700 0
221 -700 222 0
-224 -700 0
-231 -230 0
-231 -232 0
699 -701 0
-701 176 0
-176 -699 701 0
-702 -700 0
-702 177 0
-177 700 702 0
-703 228 0
-703 178 0
-178 -228 703 0
-704 231 0
-704 179 0
-179 -231 704 0
-216 -705 0
-705 181 0
-181 216 705 0
-175 706 0
-701 706 0
-702 706 0
-703 706 0
-704 706 0
-705 706 0
-706 702 175 703 704 705 701 0
-212 -707 706 0
-216 -707 212 0
-216 -707 706 0
-706 216 707 0
707 216 212 0
-212 -706 707 0
708 -308 0
708 -309 0
308 -708 309 0
-311 -708 0
709 -312 0
-313 709 0
312 -709 313 0
-315 -709 0
-321 -322 0
-323 -322 0
708 -710 0
-710 267 0
-267 -708 710 0
-711 -709 0
-711 268 0
-268 709 711 0
-712 319 0
-712 269 0
-269 -319 712 0
-713 322 0
-713 270 0
-270 -322 713 0
-307 -714 0
-714 272 0
-272 307 714 0
-266 715 0
-710 715 0
-711 715 0
-712 715 0
-713 715 0
-714 715 0
-715 711 266 712 713 714 710 0
-303 -716 715 0
-307 -716 303 0
-307 -716 715 0
-715 307 716 0
716 307 303 0
-303 -715 716 0
707 -717 0
716 -717 0
717 -716 -707 0
718 -699 0
-219 718 0
699 -718 219 0
719 -700 0
-223 719 0
700 -719 223 0
-232 -230 0
718 -720 0
-720 176 0
-176 -718 720 0
-721 -719 0
-721 177 0
-177 719 721 0
-722 232 0
-722 179 0
-179 -232 722 0
-175 723 0
-720 723 0
-721 723 0
-722 723 0
-180 723 0
-181 723 0
-723 720 181 175 721 722 180 0
724 212 0
-723 724 0
-212 -724 723 0
725 -708 0
-310 725 0
708 -725 310 0
726 -709 0
-314 726 0
709 -726 314 0
-323 -321 0
725 -727 0
-727 267 0
-267 -725 727 0
-728 -726 0
-728 268 0
-268 726 728 0
-729 323 0
-729 270 0
-270 -323 729 0
-266 730 0
-727 730 0
-728 730 0
-729 730 0
-271 730 0
-272 730 0
-730 727 272 266 728 729 271 0
731 303 0
-730 731 0
-303 -731 730 0
724 -732 0
731 -732 0
732 -731 -724 0
-733 -732 0
-733 -717 0
717 732 733 0
-734 -717 -732 0
717 732 -734 0
732 -717 734 0
717 734 -732 0
732 -735 0
717 -735 0
735 -717 -732 0
-733 -735 0
-734 -735 0
-736 -732 0
717 -736 0
732 -717 736 0
-733 -732 0
-733 -736 0
735 737 0
737 733 0
-733 -735 -737 0
737 -698 -738 0
732 739 0
735 739 0
-739 -735 -732 0
717 740 0
732 740 0
-740 -717 -732 0
717 740 0
732 740 0
-739 741 0
741 740 0
-740 739 -741 0
741 -698 -742 0
-736 -732 0
-740 -743 0
732 -743 0
743 740 -732 0
743 -744 0
735 -744 0
744 -743 -735 0
744 -745 0
698 -745 0
745 -744 -698 0
-344 746 0
746 -345 0
746 -346 0
345 -746 346 344 0
-347 -746 0
746 347 0
-436 747 0
-437 747 0
-747 437 436 0
-747 748 0
-438 748 0
-748 747 438 0
-748 749 0
-439 749 0
-749 748 439 0
-749 750 0
-440 750 0
-750 749 440 0
-750 751 0
-441 751 0
-751 750 441 0
-751 752 0
-442 752 0
-752 751 442 0
-752 753 0
-443 753 0
-753 752 443 0
-753 754 0
-444 754 0
-754 444 753 0
-446 -754 0
-447 -754 0
-448 -754 0
-449 -754 0
-450 -754 0
-451 -754 0
-452 -754 0
-453 -754 0
-454 -754 0
-455 -754 0
-754 -456 0
-457 -754 0
-458 -754 0
-459 -754 0
-460 -754 0
-461 -754 0
-462 -754 0
-463 -754 0
-464 -754 0
-465 -754 0
-466 -754 0
-467 -754 0
-755 347 0
-755 -468 0
-347 468 755 0
-756 -468 0
-756 -469 0
468 756 469 0
-347 -757 0
-757 471 0
-471 347 757 0
-755 758 0
-757 758 0
-758 755 757 0
-471 758 0
-759 472 0
-347 -759 0
-472 759 347 0
-760 473 0
-347 -760 0
-473 760 347 0
-759 761 0
-760 761 0
-761 759 760 0
-475 -761 0
-762 476 0
-347 -762 0
-476 762 347 0
-763 477 0
-347 -763 0
-477 763 347 0
-762 764 0
-763 764 0
-764 763 762 0
-479 -764 0
-765 347 0
-765 -480 0
-347 480 765 0
-766 -480 0
-481 -766 0
480 481 766 0
-347 -767 0
-767 483 0
-483 767 347 0
-765 768 0
-767 768 0
-768 767 765 0
-483 768 0
-769 347 0
-769 484 0
-347 -484 769 0
-347 -770 0
-770 486 0
-486 770 347 0
-769 771 0
-770 771 0
-771 770 769 0
-771 -485 0
-487 -771 0
-772 761 0
-772 437 0
-437 -761 772 0
-764 -773 0
-773 438 0
-438 764 773 0
-774 768 0
-774 439 0
-439 -768 774 0
-775 771 0
-775 440 0
-440 -771 775 0
-776 347 0
-776 442 0
-347 -442 776 0
-347 -777 0
-777 443 0
-443 777 347 0
-758 -778 0
-778 444 0
-444 778 758 0
-436 779 0
-772 779 0
-773 779 0
-774 779 0
-775 779 0
-776 779 0
-777 779 0
-778 779 0
-779 778 772 436 775 776 777 773 774 0
-754 779 -780 0
-758 754 -780 0
-758 779 -780 0
-779 780 758 0
780 754 758 0
-754 -779 780 0
781 -376 0
-377 781 0
376 -781 377 0
782 -781 0
-378 782 0
781 -782 378 0
783 -782 0
-379 783 0
782 -783 379 0
784 -783 0
-380 784 0
783 -784 380 0
785 -784 0
-381 785 0
784 -785 381 0
786 -785 0
-382 786 0
785 382 -786 0
787 -786 0
-383 787 0
786 -787 383 0
788 -787 0
-384 788 0
787 384 -788 0
-386 -788 0
-387 -788 0
-388 -788 0
-389 -788 0
-390 -788 0
-391 -788 0
-392 -788 0
-393 -788 0
-394 -788 0
-395 -788 0
-396 -788 0
-397 -788 0
-398 -788 0
-399 -788 0
-400 -788 0
-401 -788 0
-402 -788 0
-403 -788 0
-404 -788 0
-405 -788 0
-406 -788 0
-407 -788 0
-789 347 0
-488 -789 0
-347 488 789 0
-488 -790 0
-489 -790 0
790 489 488 0
-347 -791 0
-791 491 0
-491 791 347 0
-789 792 0
-791 792 0
-792 791 789 0
-491 792 0
-793 492 0
-347 -793 0
-492 347 793 0
493 -794 0
-347 -794 0
794 347 -493 0
795 -793 0
795 -794 0
794 -795 793 0
-495 -795 0
496 -796 0
-347 -796 0
796 -496 347 0
-797 497 0
-347 -797 0
-497 797 347 0
798 -796 0
798 -797 0
796 -798 797 0
-499 -798 0
-799 347 0
-799 -500 0
-347 500 799 0
-800 -500 0
-501 -800 0
500 800 501 0
-347 -801 0
-801 503 0
-503 801 347 0
-799 802 0
-801 802 0
-802 801 799 0
-503 802 0
-803 347 0
-803 504 0
-347 -504 803 0
-347 -804 0
-804 506 0
-506 804 347 0
-803 805 0
-804 805 0
-805 804 803 0
-805 -505 0
-507 -805 0
795 -806 0
-806 377 0
-377 806 -795 0
-807 -798 0
-807 378 0
-378 798 807 0
-808 802 0
-808 379 0
-379 -802 808 0
-809 805 0
-809 380 0
-380 -805 809 0
-810 347 0
-810 382 0
-347 -382 810 0
-347 -811 0
-811 383 0
-383 811 347 0
-792 -812 0
-812 384 0
-384 812 792 0
813 -376 0
-806 813 0
-807 813 0
-808 813 0
-809 813 0
-810 813 0
-811 813 0
-812 813 0
376 812 -813 808 809 810 807 806 811 0
813 -788 -814 0
-792 788 -814 0
-792 813 -814 0
814 -813 792 0
814 788 792 0
814 -813 -788 0
780 -815 0
814 -815 0
815 -780 -814 0
-347 -816 0
815 -816 0
816 -815 347 0
816 -817 0
-347 -817 0
817 -816 347 0
474 -818 0
-347 -818 0
818 -474 347 0
819 -761 0
819 -818 0
818 -819 761 0
478 -820 0
-347 -820 0
820 -478 347 0
-764 821 0
821 -820 0
820 -821 764 0
-347 -822 0
-822 487 0
-487 822 347 0
-769 823 0
-822 823 0
-823 822 769 0
-823 -485 0
-486 -823 0
819 -824 0
-824 437 0
-437 824 -819 0
-825 -821 0
-825 438 0
-438 821 825 0
-826 765 0
-826 439 0
-439 -765 826 0
-827 823 0
-827 440 0
-440 -823 827 0
-347 -828 0
-828 441 0
-441 828 347 0
-755 -829 0
-829 444 0
-444 829 755 0
-436 830 0
-824 830 0
-825 830 0
-826 830 0
-827 830 0
-828 830 0
-776 830 0
-829 830 0
-830 829 776 436 826 827 828 824 825 0
-754 830 -831 0
-755 754 -831 0
-755 830 -831 0
-830 831 755 0
831 754 755 0
-754 -830 831 0
-832 494 0
-347 -832 0
-494 347 832 0
833 -795 0
-832 833 0
795 -833 832 0
-834 498 0
-347 -834 0
-498 834 347 0
835 -798 0
-834 835 0
798 -835 834 0
-347 -836 0
-836 507 0
-507 836 347 0
-803 837 0
-836 837 0
-837 836 803 0
-837 -505 0
-506 -837 0
833 -838 0
-838 377 0
-377 838 -833 0
-839 -835 0
-839 378 0
-378 835 839 0
-840 799 0
-840 379 0
-379 -799 840 0
-841 837 0
-841 380 0
-380 -837 841 0
-347 -842 0
-842 381 0
-381 842 347 0
-789 -843 0
-843 384 0
-384 843 789 0
844 -376 0
-838 844 0
-839 844 0
-840 844 0
-841 844 0
-842 844 0
-810 844 0
-843 844 0
376 843 810 -844 840 841 839 838 842 0
844 -788 -845 0
-789 788 -845 0
-789 844 -845 0
845 -844 789 0
845 788 789 0
845 -844 -788 0
831 -846 0
845 -846 0
846 -831 -845 0
-347 -847 0
846 -847 0
847 -846 347 0
847 -848 0
-347 -848 0
848 -847 347 0
-436 849 0
-438 849 0
-614 849 0
-615 849 0
-442 849 0
-616 849 0
-849 616 442 436 615 438 614 0
-754 849 -850 0
468 754 -850 0
468 849 -850 0
-849 850 -468 0
850 754 -468 0
-754 -849 850 0
851 -376 0
-378 851 0
-627 851 0
-628 851 0
-382 851 0
-629 851 0
376 382 -851 627 628 629 378 0
851 -788 -852 0
788 488 -852 0
851 488 -852 0
-488 -851 852 0
-488 788 852 0
852 -851 -788 0
850 -853 0
852 -853 0
853 -852 -850 0
-347 -854 0
853 -854 0
854 -853 347 0
854 -855 0
-347 -855 0
855 -854 347 0
-856 -855 0
-856 -848 0
848 856 855 0
-857 -848 -855 0
848 -857 855 0
855 857 -848 0
848 -855 857 0
855 -858 0
848 -858 0
858 -848 -855 0
-859 856 0
-859 -817 0
817 -856 859 0
-860 856 -817 0
817 857 -860 0
-860 856 857 0
-856 -857 860 0
817 -857 860 0
-856 -817 860 0
-861 857 -817 0
817 -861 858 0
-861 857 858 0
-857 -858 861 0
817 -858 861 0
-857 -817 861 0
858 -862 0
817 -862 0
862 -817 -858 0
-859 -862 0
-860 -862 0
-861 -862 0
855 863 0
-347 863 0
-863 -855 347 0
855 863 0
-347 863 0
-864 855 347 0
-864 863 -855 0
-864 863 347 0
-347 -863 864 0
-863 -855 864 0
-347 855 864 0
-863 -865 0
855 -865 0
865 863 -855 0
-347 -866 0
-866 -855 0
855 866 347 0
-867 864 -848 0
848 863 -867 0
-867 864 863 0
-864 -863 867 0
848 867 -863 0
-864 867 -848 0
865 -868 -848 0
848 -868 -863 0
865 -868 -863 0
868 -865 863 0
848 863 868 0
868 -865 -848 0
-869 866 0
848 -869 0
-866 869 -848 0
-856 -870 347 0
-870 867 856 0
-870 867 347 0
-347 -867 870 0
-867 856 870 0
-347 -856 870 0
868 -871 0
-856 -871 0
871 -868 856 0
-872 869 0
-856 -872 0
-869 856 872 0
-347 -873 0
-873 856 0
-856 873 347 0
-874 870 -817 0
817 867 -874 0
-874 867 870 0
-867 -870 874 0
817 -867 874 0
-870 -817 874 0
871 -875 -817 0
817 -875 868 0
871 868 -875 0
875 -868 -871 0
817 -868 875 0
875 -871 -817 0
-876 872 -817 0
817 869 -876 0
-876 869 872 0
-869 -872 876 0
817 -869 876 0
-872 -817 876 0
-877 873 0
817 -877 0
-873 -817 877 0
-874 -875 0
-874 -876 0
-874 -877 0
-878 862 0
-878 874 0
-874 -862 878 0
-878 -745 879 0
880 -875 0
-874 880 0
875 874 -880 0
880 881 0
862 881 0
-881 -880 -862 0
848 882 0
-863 882 0
-882 863 -848 0
848 882 0
-863 882 0
-857 -883 347 0
-883 882 857 0
-883 882 347 0
-347 -882 883 0
-882 883 857 0
-347 -857 883 0
-882 -884 0
-857 -884 0
884 882 857 0
-347 -885 0
-885 857 0
-857 885 347 0
-886 883 -817 0
817 882 -886 0
-886 882 883 0
-883 -882 886 0
817 886 -882 0
-883 886 -817 0
884 -887 -817 0
817 -887 -882 0
-882 884 -887 0
887 882 -884 0
817 882 887 0
887 -884 -817 0
-888 885 0
817 -888 0
-885 888 -817 0
-886 -887 0
-886 -888 0
889 -881 0
889 886 0
-886 881 -889 0
889 -745 -890 0
887 891 0
-881 891 0
-891 881 -887 0
858 892 0
-347 892 0
-892 -858 347 0
858 892 0
-347 892 0
817 893 0
-892 893 0
-893 892 -817 0
817 893 0
-892 893 0
894 -891 0
894 893 0
-893 891 -894 0
894 -745 -895 0
-888 -887 0
-893 -896 0
887 -896 0
896 -887 893 0
-877 -880 0
-876 -880 0
896 -897 0
880 -897 0
897 -880 -896 0
897 -898 0
862 -898 0
898 -862 -897 0
898 -745 -899 0
510 508 511 -900 0
513 -901 0
-901 -213 0
213 -513 901 0
-902 -513 0
-902 216 0
-216 513 902 0
-901 903 0
-902 903 0
-903 902 901 0
-216 903 0
217 -904 0
-904 -513 0
513 -217 904 0
-905 218 0
-905 -513 0
-218 513 905 0
-904 906 0
-905 906 0
-906 905 904 0
-220 -906 0
-907 221 0
-907 -513 0
513 -221 907 0
-908 222 0
-908 -513 0
-222 513 908 0
-907 909 0
-908 909 0
-909 908 907 0
-909 -224 0
513 -910 0
-910 -225 0
225 -513 910 0
-911 -513 0
-911 228 0
-228 513 911 0
-910 912 0
-911 912 0
-912 910 911 0
-228 912 0
513 -913 0
-913 229 0
-229 913 -513 0
-914 -513 0
-914 231 0
-231 513 914 0
-913 915 0
-914 915 0
-915 913 914 0
-915 -230 0
-232 -915 0
-916 906 0
-916 176 0
-176 -906 916 0
-909 -917 0
-917 177 0
-177 909 917 0
-918 912 0
-918 178 0
-178 -912 918 0
-919 915 0
-919 179 0
-179 -915 919 0
513 -920 0
-920 180 0
-180 -513 920 0
-903 -921 0
-921 181 0
-181 903 921 0
-175 922 0
-916 922 0
-917 922 0
-918 922 0
-919 922 0
-920 922 0
-921 922 0
-922 917 175 918 919 920 921 916 0
-212 -923 922 0
-903 -923 212 0
-903 -923 922 0
-922 903 923 0
923 903 212 0
-212 -922 923 0
513 -924 0
-924 -304 0
304 -513 924 0
-925 -513 0
-925 307 0
-307 513 925 0
-924 926 0
-925 926 0
-926 925 924 0
-307 926 0
-927 308 0
-927 -513 0
513 -308 927 0
-928 309 0
-928 -513 0
513 -309 928 0
-927 929 0
-928 929 0
-929 928 927 0
-311 -929 0
312 -930 0
-930 -513 0
513 930 -312 0
-931 313 0
-931 -513 0
-313 513 931 0
-930 932 0
-931 932 0
-932 930 931 0
-315 -932 0
513 -933 0
-933 -316 0
316 -513 933 0
-934 -513 0
-934 319 0
-319 513 934 0
-933 935 0
-934 935 0
-935 933 934 0
-319 935 0
513 -936 0
-936 320 0
-320 -513 936 0
-937 -513 0
-937 322 0
513 937 -322 0
-936 938 0
-937 938 0
-938 937 936 0
-938 -321 0
-323 -938 0
-939 929 0
-939 267 0
-267 -929 939 0
-932 -940 0
-940 268 0
-268 932 940 0
-941 935 0
-941 269 0
-269 -935 941 0
-942 938 0
-942 270 0
-270 -938 942 0
513 -943 0
-943 271 0
-271 -513 943 0
-926 -944 0
-944 272 0
-272 926 944 0
-266 945 0
-939 945 0
-940 945 0
-941 945 0
-942 945 0
-943 945 0
-944 945 0
-945 940 266 941 942 943 944 939 0
-303 -946 945 0
-926 -946 303 0
-926 -946 945 0
-945 926 946 0
946 926 303 0
-303 -945 946 0
923 -947 0
946 -947 0
947 -946 -923 0
-948 -513 0
947 -948 0
513 948 -947 0
513 -948 949 0
-950 219 0
-950 -513 0
-219 513 950 0
-906 951 0
-950 951 0
-951 906 950 0
-952 223 0
-952 -513 0
-223 513 952 0
-909 953 0
-952 953 0
-953 909 952 0
-954 -513 0
-954 232 0
-232 513 954 0
-913 955 0
-954 955 0
-955 913 954 0
-955 -230 0
-231 -955 0
-956 951 0
-956 176 0
-176 -951 956 0
-953 -957 0
-957 177 0
-177 953 957 0
-958 910 0
-958 178 0
-178 -910 958 0
-959 955 0
-959 179 0
-179 -955 959 0
-901 -960 0
-960 181 0
-181 901 960 0
-175 961 0
-956 961 0
-957 961 0
-958 961 0
-959 961 0
-920 961 0
-960 961 0
-961 920 175 957 958 959 960 956 0
-212 961 -962 0
-901 -962 212 0
-901 -962 961 0
-961 901 962 0
962 901 212 0
-212 -961 962 0
-963 310 0
-963 -513 0
-310 513 963 0
-929 964 0
-963 964 0
-964 929 963 0
-965 314 0
-965 -513 0
-314 513 965 0
-932 966 0
-965 966 0
-966 932 965 0
-967 -513 0
-967 323 0
-323 513 967 0
-936 968 0
-967 968 0
-968 967 936 0
-968 -321 0
-968 -322 0
-969 964 0
-969 267 0
-267 -964 969 0
-966 -970 0
-970 268 0
-268 966 970 0
-971 933 0
-971 269 0
-269 -933 971 0
-972 968 0
-972 270 0
-270 -968 972 0
-924 -973 0
-973 272 0
-272 924 973 0
-266 974 0
-969 974 0
-970 974 0
-971 974 0
-972 974 0
-943 974 0
-973 974 0
-974 943 266 970 971 972 973 969 0
-303 974 -975 0
-924 -975 303 0
-924 -975 974 0
-974 924 975 0
975 924 303 0
-303 -974 975 0
962 -976 0
975 -976 0
976 -975 -962 0
-977 -513 0
976 -977 0
513 977 -976 0
513 -977 978 0
-979 -513 0
328 -979 0
513 979 -328 0
513 -979 980 0