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