diff options
Diffstat (limited to 'Master/texmf-dist/doc/metapost/featpost/allps/redplanet.1')
-rw-r--r-- | Master/texmf-dist/doc/metapost/featpost/allps/redplanet.1 | 1029 |
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 |