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