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