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