summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/metapost/featpost/allps/redplanet.1
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-12-03 16:47:39 +0000
committerKarl Berry <karl@freefriends.org>2011-12-03 16:47:39 +0000
commit97e4684a37e4899e8cdd42ab670b6e25dd319d1a (patch)
treebc263a56d75c177b79ae13c6e6ec7a3c30278dbf /Master/texmf-dist/doc/metapost/featpost/allps/redplanet.1
parenta2c8654f8955a0d35c8b0c2d1752a506a426681b (diff)
featpost (17nov11)
git-svn-id: svn://tug.org/texlive/trunk@24738 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/metapost/featpost/allps/redplanet.1')
-rw-r--r--Master/texmf-dist/doc/metapost/featpost/allps/redplanet.11029
1 files changed, 1029 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/metapost/featpost/allps/redplanet.1 b/Master/texmf-dist/doc/metapost/featpost/allps/redplanet.1
new file mode 100644
index 00000000000..372a8b92f92
--- /dev/null
+++ b/Master/texmf-dist/doc/metapost/featpost/allps/redplanet.1
@@ -0,0 +1,1029 @@
+%!PS
+%%BoundingBox: 81 204 514 637
+%%HiResBoundingBox: 81.6365 204.80481 513.638 636.79993
+%%Creator: MetaPost 1.504
+%%CreationDate: 2011.11.24:1524
+%%Pages: 1
+%%BeginProlog
+%%EndProlog
+%%Page: 1 1
+ 0.66 0 0 setrgbcolor
+newpath 510.35417 458.30585 moveto
+508.1705 470.69 504.91191 482.86041 500.61139 494.67741 curveto
+496.31105 506.4939 490.98544 517.91158 484.69743 528.80115 curveto
+478.40988 539.68994 471.184 550.00923 463.1015 559.64104 curveto
+455.01895 569.27292 446.11066 578.18044 436.47913 586.26343 curveto
+426.84717 594.34676 416.52856 601.5747 405.63922 607.86255 curveto
+394.75 614.15028 383.33182 619.47383 371.5155 623.7733 curveto
+359.69827 628.07309 347.52803 631.33226 335.14394 633.51608 curveto
+322.76102 635.6997 310.21124 636.79993 297.63725 636.79993 curveto
+285.06326 636.79993 272.51349 635.6997 260.13057 633.51608 curveto
+247.74648 631.33226 235.57623 628.07309 223.759 623.7733 curveto
+211.94269 619.47383 200.5245 614.15028 189.63528 607.86255 curveto
+178.74594 601.5747 168.42734 594.34676 158.79538 586.26343 curveto
+149.16388 578.18044 140.25555 569.27292 132.173 559.64104 curveto
+124.0905 550.00923 116.86464 539.68991 110.57707 528.80115 curveto
+104.28908 517.91158 98.96346 506.4939 94.66312 494.67741 curveto
+90.3626 482.86041 87.104 470.69 84.92033 458.30585 curveto
+82.73708 445.92397 81.63666 433.37529 81.6365 420.80237 curveto
+81.63637 408.22838 82.73666 395.6786 84.92033 383.29568 curveto
+87.10402 370.9126 90.36282 358.74329 94.66312 346.92732 curveto
+98.96358 335.11089 104.28911 323.69318 110.57707 312.80359 curveto
+116.8646 301.9148 124.0905 291.5955 132.173 281.9637 curveto
+140.25557 272.33182 149.16388 263.4243 158.79538 255.34131 curveto
+168.42734 247.25798 178.74594 240.03003 189.63528 233.74219 curveto
+200.5245 227.45445 211.94269 222.1309 223.759 217.83144 curveto
+235.57623 213.53165 247.74648 210.27248 260.13057 208.08865 curveto
+272.51349 205.90503 285.06326 204.80481 297.63725 204.80481 curveto
+310.21124 204.80481 322.76102 205.90503 335.14394 208.08865 curveto
+347.52803 210.27248 359.69827 213.53165 371.5155 217.83144 curveto
+383.33182 222.1309 394.75 227.45445 405.63922 233.74219 curveto
+416.52856 240.03003 426.84717 247.25798 436.47913 255.34131 curveto
+446.11063 263.4243 455.01894 272.33182 463.1015 281.9637 curveto
+471.18404 291.5955 478.40991 301.9148 484.69743 312.80359 curveto
+490.9854 323.69318 496.31093 335.11089 500.61139 346.92732 curveto
+504.91168 358.74329 508.17049 370.9126 510.35417 383.29568 curveto
+512.53784 395.6786 513.63814 408.22838 513.638 420.80237 curveto
+513.63786 433.37529 512.53743 445.92397 510.35417 458.30585 curveto closepath fill
+ 0.23491 0 0.82649 setrgbcolor
+newpath 323.33237 368.45929 moveto
+332.7714 364.13947 lineto
+342.05373 360.52309 lineto
+351.1634 357.57819 lineto
+360.08124 355.28558 lineto
+368.80722 353.6133 lineto
+377.33176 352.53574 lineto
+385.64845 352.03372 lineto
+393.75092 352.08168 lineto
+401.62317 352.66043 lineto
+409.262 353.74438 lineto
+416.64502 355.33035 lineto
+423.76906 357.38954 lineto
+430.60211 359.92197 lineto
+437.141 362.89563 lineto
+443.35695 366.31377 lineto
+442.57355 365.91408 lineto
+441.7454 365.63269 lineto
+440.88847 365.45363 lineto
+439.99637 365.3737 lineto
+439.09787 365.38649 lineto
+438.19298 365.4888 lineto
+437.28809 365.66147 lineto
+436.39598 365.90448 lineto
+435.53265 366.21465 lineto
+434.70131 366.58235 lineto
+433.92111 366.99803 lineto
+433.19528 367.46167 lineto
+432.5398 367.95728 lineto
+431.96425 368.48807 lineto
+431.48462 369.03804 lineto
+431.11371 369.60399 lineto
+434.24088 363.68861 lineto
+437.08345 357.83398 lineto
+439.65424 352.03053 lineto
+441.94684 346.25584 lineto
+443.95168 340.51314 lineto
+445.67833 334.78961 lineto
+447.10442 329.09166 lineto
+448.22673 323.39691 lineto
+449.02931 317.71176 lineto
+449.49614 312.0266 lineto
+449.62085 306.35103 lineto
+449.36505 300.67867 lineto
+448.71915 295.0159 lineto
+447.66078 289.35951 lineto
+446.15155 283.7351 lineto
+444.1755 278.1299 lineto
+447.66078 281.04282 lineto
+450.87427 283.81505 lineto
+453.85753 286.45299 lineto
+456.64256 288.98221 lineto
+459.25812 291.4283 lineto
+461.74577 293.81044 lineto
+464.12471 296.15102 lineto
+466.42691 298.482 lineto
+468.67795 300.81616 lineto
+470.9002 303.19191 lineto
+473.10968 305.62201 lineto
+475.33194 308.14484 lineto
+477.57979 310.77638 lineto
+479.85321 313.5518 lineto
+482.1714 316.49352 lineto
+484.54074 319.62706 lineto
+486.5232 326.05403 lineto
+488.07399 332.42346 lineto
+489.22508 338.75131 lineto
+489.99568 345.028 lineto
+490.40816 351.24394 lineto
+490.4785 357.40872 lineto
+490.24509 363.52234 lineto
+489.7111 369.58481 lineto
+488.89255 375.6057 lineto
+487.8022 381.58502 lineto
+486.45285 387.53877 lineto
+484.8509 393.47653 lineto
+483.00595 399.3951 lineto
+480.91159 405.32327 lineto
+478.57422 411.25783 lineto
+475.99063 417.21797 lineto
+476.58537 415.6576 lineto
+477.01384 414.02046 lineto
+477.292 412.33218 lineto
+477.4295 410.60873 lineto
+477.4455 408.87889 lineto
+477.35597 407.15224 lineto
+477.1737 405.45757 lineto
+476.91791 403.80446 lineto
+476.59496 402.23448 lineto
+476.23044 400.74765 lineto
+475.83395 399.37592 lineto
+475.42787 398.14168 lineto
+475.02179 397.06093 lineto
+474.64128 396.15604 lineto
+474.29596 395.45259 lineto
+474.00818 394.96336 lineto
+480.56625 405.98834 lineto
+485.72702 418.15164 lineto
+489.36897 431.34453 lineto
+491.3706 445.44551 lineto
+491.62961 460.31708 lineto
+490.05005 475.82495 lineto
+486.53279 491.80287 lineto
+480.98833 508.07175 lineto
+473.35909 524.43976 lineto
+463.58113 540.67346 lineto
+451.63527 556.51707 lineto
+437.54709 571.69241 lineto
+421.44127 585.90211 lineto
+403.49051 598.81682 lineto
+384.03052 610.14555 lineto
+363.50256 619.60696 lineto
+361.52971 620.3264 lineto
+359.7391 620.838 lineto
+358.12437 621.16095 lineto
+356.6855 621.30164 lineto
+355.42249 621.27606 lineto
+354.34492 621.10019 lineto
+353.45282 620.77725 lineto
+352.76216 620.3168 lineto
+352.29852 619.71248 lineto
+352.0683 618.99623 lineto
+352.10028 618.17128 lineto
+352.41682 617.244 lineto
+353.04994 616.224 lineto
+354.02518 615.14325 lineto
+355.38092 613.99855 lineto
+357.13634 612.82506 lineto
+370.21092 604.23018 lineto
+382.54048 594.77197 lineto
+393.8948 584.65828 lineto
+404.1204 574.09694 lineto
+413.11499 563.25742 lineto
+420.82735 552.30278 lineto
+427.24155 541.37372 lineto
+432.37993 530.60133 lineto
+436.26808 520.06238 lineto
+438.95718 509.85596 lineto
+440.49518 500.03963 lineto
+440.94922 490.66455 lineto
+440.38007 481.7787 lineto
+438.84528 473.40445 lineto
+436.41197 465.57378 lineto
+433.13454 458.29945 lineto
+433.88594 459.46014 lineto
+434.81003 460.43219 lineto
+435.87479 461.23796 lineto
+437.06425 461.86787 lineto
+438.34006 462.3411 lineto
+439.6894 462.64806 lineto
+441.08672 462.81113 lineto
+442.49362 462.82391 lineto
+443.89732 462.70241 lineto
+445.27544 462.44342 lineto
+446.6024 462.0693 lineto
+447.85902 461.5673 lineto
+449.02611 460.95338 lineto
+450.0781 460.23714 lineto
+450.99577 459.42178 lineto
+451.76317 458.5105 lineto
+446.79425 465.25082 lineto
+441.57913 471.93999 lineto
+436.15297 478.54922 lineto
+430.55415 485.06253 lineto
+424.80824 491.43196 lineto
+418.96321 497.6479 lineto
+413.06062 503.67519 lineto
+407.13565 509.50104 lineto
+401.23308 515.09666 lineto
+395.40083 520.44928 lineto
+389.66771 525.53969 lineto
+384.08168 530.36472 lineto
+378.6747 534.89877 lineto
+373.48836 539.14507 lineto
+368.54822 543.08438 lineto
+363.88626 546.71994 lineto
+363.62727 546.43536 lineto
+363.5729 546.381 lineto
+363.73279 546.55687 lineto
+364.11649 546.97574 lineto
+364.71123 547.62163 lineto
+365.52658 548.52333 lineto
+366.55618 549.65524 lineto
+367.8032 551.03017 lineto
+369.25168 552.63531 lineto
+370.90158 554.47067 lineto
+372.73695 556.52028 lineto
+374.74498 558.78091 lineto
+376.90329 561.23659 lineto
+379.1927 563.86813 lineto
+381.59082 566.66914 lineto
+384.06569 569.61084 lineto
+370.22691 575.91632 lineto
+357.80142 580.82767 lineto
+346.78603 584.56876 lineto
+337.12 587.33778 lineto
+328.72975 589.30745 lineto
+321.52577 590.6376 lineto
+315.41855 591.45297 lineto
+310.31854 591.86864 lineto
+306.1458 591.99335 lineto
+302.8204 591.91022 lineto
+300.27838 591.70557 lineto
+298.45262 591.46896 lineto
+297.27913 591.26431 lineto
+296.68759 591.17159 lineto
+296.62364 591.26431 lineto
+297.01373 591.60645 lineto
+298.53255 590.71754 lineto
+299.79237 589.97893 lineto
+300.79318 589.39058 lineto
+301.5254 588.95572 lineto
+301.99545 588.67754 lineto
+302.1873 588.56563 lineto
+302.11375 588.6104 lineto
+301.76842 588.80864 lineto
+301.1513 589.17955 lineto
+300.2688 589.69754 lineto
+299.1209 590.37541 lineto
+297.71399 591.19397 lineto
+296.06088 592.15642 lineto
+294.15518 593.25316 lineto
+292.01924 594.47461 lineto
+289.6563 595.80797 lineto
+286.33409 593.15404 lineto
+283.14618 590.57047 lineto
+280.07019 588.05083 lineto
+277.0933 585.56956 lineto
+274.19318 583.12347 lineto
+271.3506 580.69337 lineto
+268.5336 578.25688 lineto
+265.7198 575.79482 lineto
+262.88042 573.27199 lineto
+259.98029 570.66602 lineto
+256.99063 567.95134 lineto
+253.87946 565.07999 lineto
+250.61801 562.02637 lineto
+247.1743 558.74254 lineto
+243.51317 555.2093 lineto
+239.59303 551.35631 lineto
+242.01033 549.69041 lineto
+244.20062 548.1716 lineto
+246.1511 546.82545 lineto
+247.85217 545.63918 lineto
+249.28465 544.63516 lineto
+250.46773 543.81342 lineto
+251.37262 543.1835 lineto
+252.00253 542.74864 lineto
+252.36385 542.49603 lineto
+252.4374 542.43529 lineto
+252.23595 542.57597 lineto
+251.75632 542.91492 lineto
+251.00491 543.4457 lineto
+249.97852 544.15874 lineto
+248.68033 545.06363 lineto
+247.12314 546.1444 lineto
+247.70508 546.72952 lineto
+248.01845 547.03969 lineto
+248.0632 547.09085 lineto
+247.84258 546.86383 lineto
+247.35016 546.37141 lineto
+246.59236 545.60081 lineto
+245.56276 544.55843 lineto
+244.26457 543.24106 lineto
+242.6978 541.63272 lineto
+240.86243 539.7302 lineto
+238.76167 537.53352 lineto
+236.37953 535.03307 lineto
+233.7384 532.21288 lineto
+230.82867 529.06973 lineto
+227.66315 525.59085 lineto
+224.23863 521.76665 lineto
+228.72153 518.44763 lineto
+233.05734 515.22775 lineto
+237.27484 512.08781 lineto
+241.38362 509.02141 lineto
+245.41248 506.00296 lineto
+249.37738 503.0197 lineto
+253.3263 500.03963 lineto
+257.272 497.03398 lineto
+261.26569 493.98676 lineto
+265.3265 490.8596 lineto
+269.49925 487.63652 lineto
+273.81587 484.26315 lineto
+278.32115 480.72353 lineto
+283.04706 476.97925 lineto
+288.02876 472.97919 lineto
+293.30144 468.70732 lineto
+296.76433 472.74257 lineto
+299.97783 476.44527 lineto
+302.9451 479.85701 lineto
+305.69496 482.98416 lineto
+308.23376 485.85872 lineto
+310.58073 488.50305 lineto
+312.75824 490.94273 lineto
+314.77585 493.19698 lineto
+316.65279 495.28494 lineto
+318.4114 497.23541 lineto
+320.05812 499.06119 lineto
+321.62491 500.78465 lineto
+323.11493 502.42816 lineto
+324.54742 504.00772 lineto
+325.94792 505.54253 lineto
+327.32285 507.04855 lineto
+325.23808 505.05011 lineto
+323.11174 503.5281 lineto
+320.96301 502.43135 lineto
+318.82709 501.72151 lineto
+316.71994 501.33781 lineto
+314.67673 501.24509 lineto
+312.71666 501.39856 lineto
+310.86852 501.74069 lineto
+309.15146 502.21713 lineto
+307.58788 502.78308 lineto
+306.20656 503.397 lineto
+305.02988 504.00133 lineto
+304.07703 504.5545 lineto
+303.37996 504.99895 lineto
+302.9483 505.29633 lineto
+302.81401 505.39864 lineto
+309.81653 499.89255 lineto
+316.84784 494.26494 lineto
+323.87274 488.51584 lineto
+330.86888 482.65482 lineto
+337.82983 476.69467 lineto
+344.72044 470.645 lineto
+351.52153 464.5122 lineto
+358.21071 458.31224 lineto
+364.77837 452.04515 lineto
+371.19894 445.73328 lineto
+377.45326 439.37985 lineto
+383.52531 432.99763 lineto
+389.39592 426.59305 lineto
+395.0491 420.17885 lineto
+400.47206 413.76787 lineto
+405.65521 407.36647 lineto
+405.0445 408.33531 lineto
+404.50092 409.59833 lineto
+404.03088 411.12354 lineto
+403.64398 412.85338 lineto
+403.35301 414.76228 lineto
+403.17076 416.80229 lineto
+403.11 418.93823 lineto
+403.18674 421.12212 lineto
+403.40736 423.31241 lineto
+403.79427 425.47392 lineto
+404.35384 427.5555 lineto
+405.10524 429.52515 lineto
+406.0581 431.33813 lineto
+407.23798 432.94647 lineto
+408.64807 434.3182 lineto
+410.30118 435.40535 lineto
+406.1924 433.4357 lineto
+401.95891 431.773 lineto
+397.56874 430.42685 lineto
+393.02509 429.41643 lineto
+388.31836 428.76735 lineto
+383.4102 428.48596 lineto
+378.2974 428.59148 lineto
+372.96077 429.09988 lineto
+367.37154 430.02396 lineto
+361.51053 431.3765 lineto
+355.35214 433.17989 lineto
+348.8772 435.42773 lineto
+342.06332 438.14241 lineto
+334.87854 441.33672 lineto
+327.31966 445.00105 lineto
+319.34828 449.15141 lineto
+316.61761 446.91635 lineto
+314.10439 444.85077 lineto
+311.82137 442.95786 lineto
+309.77496 441.25998 lineto
+307.96198 439.75076 lineto
+306.3984 438.43658 lineto
+305.09062 437.34303 lineto
+304.04184 436.45734 lineto
+303.25206 435.79225 lineto
+302.74367 435.35739 lineto
+302.51024 435.15915 lineto
+302.5614 435.2071 lineto
+302.90353 435.49808 lineto
+303.54303 436.03845 lineto
+304.4895 436.83783 lineto
+305.74931 437.8994 lineto
+307.03151 436.32623 lineto
+308.04512 435.07921 lineto
+308.79013 434.15514 lineto
+309.27615 433.554 lineto
+309.49678 433.28542 lineto
+309.44882 433.33977 lineto
+309.14505 433.72028 lineto
+308.57271 434.42691 lineto
+307.73495 435.45651 lineto
+306.63503 436.81544 lineto
+305.26329 438.48775 lineto
+303.62297 440.48938 lineto
+301.71407 442.81076 lineto
+299.53017 445.43591 lineto
+297.0681 448.3872 lineto
+294.33743 451.63586 lineto
+285.70418 444.2848 lineto
+277.44504 437.07445 lineto
+269.54082 429.99518 lineto
+261.97552 423.04062 lineto
+254.72679 416.18518 lineto
+247.78183 409.41287 lineto
+241.11504 402.70772 lineto
+234.70724 396.02814 lineto
+228.54567 389.37413 lineto
+222.6175 382.70735 lineto
+216.91316 376.01178 lineto
+211.42944 369.26825 lineto
+206.17274 362.45119 lineto
+201.15268 355.54138 lineto
+196.3916 348.53246 lineto
+191.9151 341.40843 lineto
+195.84163 337.43394 lineto
+199.52196 333.73763 lineto
+202.97206 330.28752 lineto
+206.20152 327.07724 lineto
+209.22636 324.07158 lineto
+212.06575 321.27696 lineto
+214.72287 318.65501 lineto
+217.22652 316.19614 lineto
+219.58627 313.87794 lineto
+221.82132 311.69406 lineto
+223.94446 309.61249 lineto
+225.98126 307.62683 lineto
+227.93814 305.71474 lineto
+229.83745 303.86339 lineto
+231.6984 302.0504 lineto
+233.52737 300.26619 lineto
+236.39552 297.89365 lineto
+239.5003 296.11583 lineto
+242.86087 294.90079 lineto
+246.49643 294.19414 lineto
+250.45174 293.98311 lineto
+254.75877 294.22931 lineto
+259.46869 294.90079 lineto
+264.61346 295.98154 lineto
+270.25066 297.4428 lineto
+276.41864 299.25899 lineto
+283.16217 301.4045 lineto
+290.52602 303.86339 lineto
+298.52936 306.60364 lineto
+307.20097 309.5869 lineto
+316.55046 312.7876 lineto
+326.56824 316.16736 lineto
+320.30753 320.48079 lineto
+314.4657 324.33058 lineto
+309.0907 327.71992 lineto
+304.2337 330.65843 lineto
+299.91068 333.15248 lineto
+296.13762 335.21167 lineto
+292.91455 336.86159 lineto
+290.24144 338.10222 lineto
+288.09271 338.97513 lineto
+286.46518 339.47714 lineto
+285.33327 339.63382 lineto
+284.67778 339.46754 lineto
+284.46675 338.99432 lineto
+284.67139 338.23651 lineto
+285.26932 337.21332 lineto
+286.22218 335.93431 lineto
+287.51396 337.15895 lineto
+289.06155 338.62021 lineto
+290.85855 340.2989 lineto
+292.89856 342.18222 lineto
+295.15599 344.27019 lineto
+297.63725 346.53082 lineto
+300.32635 348.95773 lineto
+303.2009 351.53172 lineto
+306.25452 354.24 lineto
+309.4712 357.07298 lineto
+312.83498 360.00189 lineto
+316.32025 363.02034 lineto
+319.92383 366.10593 lineto
+323.61055 369.23628 lineto
+327.36441 372.4082 lineto
+331.16624 375.5897 lineto
+329.5611 374.39384 lineto
+327.95595 373.45699 lineto
+326.37639 372.75673 lineto
+324.8288 372.2675 lineto
+323.32597 371.96375 lineto
+321.8775 371.82306 lineto
+320.50578 371.81027 lineto
+319.21718 371.91258 lineto
+318.02771 372.09485 lineto
+316.95656 372.33145 lineto
+316.01009 372.59685 lineto
+315.21071 372.87503 lineto
+314.56482 373.13083 lineto
+314.09479 373.33548 lineto
+313.81981 373.47296 lineto
+313.74306 373.51453 lineto
+ closepath fill
+ 0.82649 0.609 0 setrgbcolor
+newpath 330.69621 384.34447 moveto
+339.47334 380.2133 lineto
+348.05225 376.74721 lineto
+356.43929 373.89824 lineto
+364.6249 371.65678 lineto
+372.61224 370.00047 lineto
+380.40135 368.90694 lineto
+387.99542 368.36017 lineto
+395.38484 368.34097 lineto
+402.56963 368.8238 lineto
+409.55617 369.79265 lineto
+416.32848 371.22832 lineto
+422.86736 373.12444 lineto
+429.17923 375.45862 lineto
+435.24168 378.21806 lineto
+441.04195 381.38039 lineto
+441.07393 381.40277 lineto
+441.11229 381.41556 lineto
+441.14107 381.42834 lineto
+441.17625 381.43155 lineto
+441.21143 381.43474 lineto
+441.2402 381.43474 lineto
+441.27217 381.42834 lineto
+441.30734 381.42195 lineto
+441.33293 381.40596 lineto
+441.3649 381.38678 lineto
+441.39368 381.3676 lineto
+441.41606 381.34201 lineto
+441.44164 381.31963 lineto
+441.46722 381.29405 lineto
+441.48961 381.26207 lineto
+441.50879 381.22371 lineto
+444.60077 375.19002 lineto
+447.41138 369.2235 lineto
+449.92781 363.3273 lineto
+452.15007 357.50784 lineto
+454.08775 351.78113 lineto
+455.73447 346.14394 lineto
+457.09021 340.59627 lineto
+458.16138 335.15092 lineto
+458.95116 329.8047 lineto
+459.45955 324.564 lineto
+459.69617 319.432 lineto
+459.6578 314.41194 lineto
+459.36043 309.50377 lineto
+458.80727 304.70752 lineto
+458.0015 300.03596 lineto
+456.94952 295.47633 lineto
+458.55786 296.98875 lineto
+460.1502 298.51076 lineto
+461.72018 300.03596 lineto
+463.27098 301.56758 lineto
+464.80258 303.09918 lineto
+466.3118 304.64037 lineto
+467.80183 306.17517 lineto
+469.27588 307.72276 lineto
+470.71796 309.27036 lineto
+472.14723 310.82114 lineto
+473.54774 312.37193 lineto
+474.93546 313.93231 lineto
+476.2912 315.48949 lineto
+477.62456 317.04668 lineto
+478.93233 318.61026 lineto
+480.22093 320.17064 lineto
+481.2697 324.91891 lineto
+482.08827 329.75993 lineto
+482.69899 334.69688 lineto
+483.07309 339.72974 lineto
+483.21059 344.85854 lineto
+483.11467 350.06726 lineto
+482.78212 355.3751 lineto
+482.19379 360.7565 lineto
+481.35924 366.22423 lineto
+480.27208 371.76869 lineto
+478.93553 377.38351 lineto
+477.33038 383.06866 lineto
+475.47903 388.81776 lineto
+473.36548 394.62444 lineto
+470.99614 400.48865 lineto
+468.37419 406.39442 lineto
+468.3518 406.4264 lineto
+468.34541 406.46478 lineto
+468.34541 406.49675 lineto
+468.33582 406.53513 lineto
+468.33582 406.57669 lineto
+468.34541 406.61186 lineto
+468.3486 406.65343 lineto
+468.3582 406.6918 lineto
+468.3646 406.73016 lineto
+468.38058 406.76854 lineto
+468.39658 406.80692 lineto
+468.41576 406.84848 lineto
+468.43175 406.88684 lineto
+468.44453 406.91882 lineto
+468.47011 406.95718 lineto
+468.4893 406.98917 lineto
+474.57094 417.19879 lineto
+479.30644 428.34846 lineto
+482.61266 440.35828 lineto
+484.39047 453.1291 lineto
+484.55994 466.57779 lineto
+483.04112 480.58923 lineto
+479.7381 495.05153 lineto
+474.58693 509.83037 lineto
+467.48848 524.78189 lineto
+458.382 539.71101 lineto
+447.21632 554.43231 lineto
+433.97227 568.69316 lineto
+418.70102 582.24097 lineto
+401.53363 594.79115 lineto
+382.69397 606.03996 lineto
+362.54651 615.69641 lineto
+376.28937 607.13031 lineto
+389.35117 597.49625 lineto
+401.47607 587.00204 lineto
+412.4659 575.86516 lineto
+422.1863 564.28061 lineto
+430.57333 552.43068 lineto
+437.57906 540.49121 lineto
+443.20667 528.59651 lineto
+447.48172 516.89046 lineto
+450.4426 505.47537 lineto
+452.15326 494.4472 lineto
+452.65848 483.88905 lineto
+452.04135 473.86488 lineto
+450.35947 464.43866 lineto
+447.68636 455.65193 lineto
+444.09557 447.54945 lineto
+444.08278 447.52708 lineto
+444.06358 447.50789 lineto
+444.0508 447.4951 lineto
+444.0348 447.48232 lineto
+444.01244 447.46953 lineto
+443.99324 447.46632 lineto
+443.97086 447.46313 lineto
+443.94849 447.45993 lineto
+443.92929 447.45993 lineto
+443.9069 447.46953 lineto
+443.88133 447.47911 lineto
+443.86534 447.4951 lineto
+443.84296 447.50789 lineto
+443.82378 447.52708 lineto
+443.7982 447.54626 lineto
+443.7854 447.56865 lineto
+438.73975 454.32497 lineto
+433.4415 461.0557 lineto
+427.89063 467.76086 lineto
+422.11275 474.41806 lineto
+416.11743 481.03049 lineto
+409.92387 487.56938 lineto
+403.54807 494.03152 lineto
+397.01237 500.40414 lineto
+390.33598 506.68083 lineto
+383.5413 512.84561 lineto
+376.65068 518.88889 lineto
+369.67694 524.80428 lineto
+362.64883 530.56937 lineto
+355.59515 536.18738 lineto
+348.53188 541.6583 lineto
+341.48457 546.95656 lineto
+342.8787 548.40182 lineto
+344.2568 549.8439 lineto
+345.62215 551.26358 lineto
+346.97148 552.6641 lineto
+348.30484 554.0518 lineto
+349.62222 555.42673 lineto
+350.9204 556.77927 lineto
+352.20259 558.11903 lineto
+353.46881 559.4428 lineto
+354.71584 560.75056 lineto
+355.94687 562.04556 lineto
+357.16193 563.31497 lineto
+358.35458 564.57797 lineto
+359.53766 565.81541 lineto
+360.69516 567.04645 lineto
+361.83347 568.2519 lineto
+352.84529 572.01216 lineto
+344.84834 575.02101 lineto
+337.78506 577.36798 lineto
+331.59471 579.15538 lineto
+326.19412 580.44397 lineto
+321.5098 581.3073 lineto
+317.47455 581.79012 lineto
+314.01166 581.9532 lineto
+311.04758 581.8317 lineto
+308.52155 581.47357 lineto
+306.36642 580.89803 lineto
+304.51187 580.1562 lineto
+302.90353 579.2705 lineto
+301.47426 578.28566 lineto
+300.16328 577.2113 lineto
+298.90027 576.09857 lineto
+298.40465 576.41513 lineto
+297.90265 576.72849 lineto
+297.40384 577.04184 lineto
+296.90822 577.35199 lineto
+296.41261 577.66216 lineto
+295.9138 577.9787 lineto
+295.42139 578.28886 lineto
+294.92577 578.59262 lineto
+294.43336 578.89958 lineto
+293.94414 579.20973 lineto
+293.45172 579.5103 lineto
+292.9657 579.81087 lineto
+292.47649 580.11464 lineto
+291.99046 580.41519 lineto
+291.50444 580.71257 lineto
+291.02162 581.00993 lineto
+289.33014 579.53589 lineto
+287.62268 578.03946 lineto
+285.89923 576.51425 lineto
+284.16298 574.96985 lineto
+282.41396 573.39989 lineto
+280.64574 571.81712 lineto
+278.86792 570.20238 lineto
+277.07733 568.56206 lineto
+275.27394 566.90576 lineto
+273.45775 565.22707 lineto
+271.63518 563.52919 lineto
+269.79982 561.79935 lineto
+267.95485 560.0599 lineto
+266.1035 558.29489 lineto
+264.24255 556.50749 lineto
+262.36882 554.70729 lineto
+262.86124 554.37155 lineto
+263.35365 554.03262 lineto
+263.84607 553.69688 lineto
+264.34167 553.35794 lineto
+264.8373 553.02222 lineto
+265.3329 552.68327 lineto
+265.82852 552.35074 lineto
+266.33052 552.0086 lineto
+266.83572 551.66327 lineto
+267.33774 551.32114 lineto
+267.83655 550.98221 lineto
+268.34496 550.63368 lineto
+268.85016 550.28835 lineto
+269.35536 549.93982 lineto
+269.86057 549.5913 lineto
+270.37216 549.23956 lineto
+268.96527 547.84865 lineto
+267.55836 546.44815 lineto
+266.14188 545.03166 lineto
+264.73178 543.60237 lineto
+263.30888 542.16989 lineto
+261.886 540.71823 lineto
+260.46312 539.26016 lineto
+259.03383 537.79251 lineto
+257.60455 536.31528 lineto
+256.17847 534.82204 lineto
+254.74278 533.3256 lineto
+253.30391 531.81639 lineto
+251.87143 530.30077 lineto
+250.43895 528.76598 lineto
+249.00008 527.22478 lineto
+247.56439 525.67719 lineto
+250.13199 523.81305 lineto
+252.72516 521.92012 lineto
+255.34071 520.00162 lineto
+257.98186 518.06075 lineto
+260.64857 516.09428 lineto
+263.33447 514.09904 lineto
+266.03955 512.08461 lineto
+268.76382 510.0446 lineto
+271.51367 507.97583 lineto
+274.27632 505.89105 lineto
+277.04855 503.7807 lineto
+279.84317 501.65117 lineto
+282.64418 499.49286 lineto
+285.46117 497.31535 lineto
+288.28777 495.11548 lineto
+291.12074 492.89961 lineto
+292.55643 494.51115 lineto
+293.9921 496.11949 lineto
+295.42139 497.71825 lineto
+296.85066 499.31699 lineto
+298.27675 500.89336 lineto
+299.69965 502.46973 lineto
+301.12253 504.0365 lineto
+302.53902 505.59688 lineto
+303.95232 507.14447 lineto
+305.35922 508.67928 lineto
+306.76932 510.21088 lineto
+308.16982 511.73288 lineto
+309.57033 513.2485 lineto
+310.96124 514.75133 lineto
+312.34895 516.24776 lineto
+313.72708 517.7314 lineto
+313.73666 517.7314 lineto
+313.74306 517.7314 lineto
+313.75586 517.7314 lineto
+313.76865 517.7218 lineto
+313.78464 517.71541 lineto
+313.80382 517.70581 lineto
+313.81981 517.69302 lineto
+313.83899 517.68024 lineto
+313.86137 517.66425 lineto
+313.88055 517.64507 lineto
+313.90613 517.63228 lineto
+313.92851 517.6099 lineto
+313.9509 517.5971 lineto
+313.97328 517.58751 lineto
+313.99246 517.56833 lineto
+314.01805 517.55234 lineto
+320.99179 512.11978 lineto
+327.98793 506.55614 lineto
+334.98087 500.86778 lineto
+341.94502 495.05472 lineto
+348.8676 489.13934 lineto
+355.72305 483.11526 lineto
+362.48256 477.00163 lineto
+369.13976 470.81128 lineto
+375.66905 464.55377 lineto
+382.05127 458.2259 lineto
+388.26721 451.8501 lineto
+394.2945 445.43271 lineto
+400.12674 438.98975 lineto
+405.74475 432.5276 lineto
+411.12614 426.05266 lineto
+416.27411 419.58412 lineto
+416.27731 419.56813 lineto
+416.2901 419.55534 lineto
+416.2997 419.53616 lineto
+416.2997 419.52657 lineto
+416.30928 419.51378 lineto
+416.30928 419.49458 lineto
+416.31248 419.4818 lineto
+416.31567 419.46901 lineto
+416.31248 419.44983 lineto
+416.31248 419.43704 lineto
+416.31248 419.42424 lineto
+416.30928 419.41466 lineto
+416.30289 419.40186 lineto
+416.2933 419.39227 lineto
+416.2869 419.38907 lineto
+416.27411 419.38588 lineto
+411.5674 417.09966 lineto
+406.65283 415.16197 lineto
+401.53683 413.56963 lineto
+396.23857 412.33539 lineto
+390.76445 411.46246 lineto
+385.12407 410.96046 lineto
+379.32379 410.83257 lineto
+373.37325 411.08197 lineto
+367.27881 411.73106 lineto
+361.05647 412.77344 lineto
+354.70624 414.21872 lineto
+348.24728 416.07007 lineto
+341.67323 418.34349 lineto
+335.01283 421.04538 lineto
+328.26611 424.16934 lineto
+321.45224 427.72815 lineto
+320.31712 426.79129 lineto
+319.18521 425.84483 lineto
+318.0533 424.90475 lineto
+316.92137 423.9615 lineto
+315.79266 423.00864 lineto
+314.66394 422.06857 lineto
+313.53842 421.11893 lineto
+312.40651 420.16606 lineto
+311.28418 419.21642 lineto
+310.15866 418.26355 lineto
+309.03635 417.3075 lineto
+307.91402 416.35464 lineto
+306.79489 415.3954 lineto
+305.67577 414.44254 lineto
+304.55984 413.48329 lineto
+303.44391 412.52084 lineto
+302.75325 413.38736 lineto
+302.0562 414.25708 lineto
+301.36554 415.1204 lineto
+300.66849 415.98694 lineto
+299.96823 416.85025 lineto
+299.27118 417.71678 lineto
+298.57092 418.5833 lineto
+297.86427 419.44344 lineto
+297.16402 420.30995 lineto
+296.46057 421.17007 lineto
+295.75392 422.0334 lineto
+295.05367 422.89034 lineto
+294.34383 423.75685 lineto
+293.63718 424.61699 lineto
+292.93053 425.48032 lineto
+292.21748 426.33723 lineto
+286.10387 420.97504 lineto
+280.0638 415.58725 lineto
+274.11644 410.17068 lineto
+268.27141 404.74452 lineto
+262.54468 399.29918 lineto
+256.94907 393.86343 lineto
+251.49413 388.42128 lineto
+246.20546 382.99512 lineto
+241.07986 377.58815 lineto
+236.12694 372.20676 lineto
+231.36266 366.85733 lineto
+226.79663 361.5463 lineto
+222.43843 356.26721 lineto
+218.29128 351.0521 lineto
+214.36475 345.88493 lineto
+210.66524 340.77852 lineto
+212.58054 338.80566 lineto
+214.48946 336.8392 lineto
+216.40155 334.87593 lineto
+218.30727 332.91907 lineto
+220.21938 330.9686 lineto
+222.11868 329.0245 lineto
+224.0148 327.08682 lineto
+225.90134 325.15234 lineto
+227.78786 323.23064 lineto
+229.66159 321.31534 lineto
+231.53214 319.40643 lineto
+233.38988 317.51031 lineto
+235.24123 315.61739 lineto
+237.07979 313.73726 lineto
+238.90877 311.85713 lineto
+240.73134 309.99939 lineto
+242.23737 308.80032 lineto
+244.02156 307.95938 lineto
+246.06796 307.45097 lineto
+248.37337 307.25912 lineto
+250.92497 307.34866 lineto
+253.70679 307.70038 lineto
+256.71884 308.28552 lineto
+259.95471 309.0785 lineto
+263.40482 310.06334 lineto
+267.05956 311.22083 lineto
+270.89656 312.51582 lineto
+274.91261 313.92911 lineto
+279.08215 315.44473 lineto
+283.38919 317.02429 lineto
+287.80814 318.65501 lineto
+292.31342 320.30812 lineto
+290.62193 321.31854 lineto
+288.89848 322.27779 lineto
+287.14305 323.21146 lineto
+285.36844 324.12274 lineto
+283.57465 325.02444 lineto
+281.77446 325.92294 lineto
+279.98065 326.83742 lineto
+278.19325 327.77748 lineto
+276.41864 328.74953 lineto
+274.6728 329.77592 lineto
+272.95575 330.85988 lineto
+271.27066 332.02057 lineto
+269.63354 333.2676 lineto
+268.04758 334.61694 lineto
+266.51279 336.0686 lineto
+265.04514 337.65137 lineto
+268.11473 340.79771 lineto
+271.25787 343.96004 lineto
+274.46497 347.13515 lineto
+277.7456 350.33585 lineto
+281.0902 353.54614 lineto
+284.49232 356.76923 lineto
+287.95522 360.0051 lineto
+291.47247 363.24736 lineto
+295.04408 366.49922 lineto
+298.66685 369.76387 lineto
+302.32799 373.02852 lineto
+306.04028 376.29317 lineto
+309.78456 379.561 lineto
+313.5672 382.82886 lineto
+317.37543 386.0967 lineto
+321.21562 389.35495 lineto
+321.2348 389.36455 lineto
+321.2508 389.36455 lineto
+321.26997 389.36455 lineto
+321.29875 389.35815 lineto
+321.32434 389.35176 lineto
+321.3627 389.33896 lineto
+321.39787 389.32617 lineto
+321.42986 389.31339 lineto
+321.46823 389.2974 lineto
+321.5098 389.27821 lineto
+321.54816 389.25583 lineto
+321.58972 389.23026 lineto
+321.6281 389.21106 lineto
+321.66647 389.18867 lineto
+321.70804 389.1727 lineto
+321.74 389.14711 lineto
+ closepath fill
+showpage
+%%EOF