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