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