diff options
Diffstat (limited to 'Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.1')
-rw-r--r-- | Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.1 | 244 |
1 files changed, 244 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.1 b/Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.1 new file mode 100644 index 00000000000..5638353ed16 --- /dev/null +++ b/Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.1 @@ -0,0 +1,244 @@ +%!PS +%%BoundingBox: 150 158 396 426 +%%HiResBoundingBox: 150.5229 158.36469 395.46892 425.90073 +%%Creator: MetaPost 1.504 +%%CreationDate: 2011.11.24:1525 +%%Pages: 1 +%*Font: cmss17 12.91158 17.21544 78:e +%%BeginProlog +%%EndProlog +%%Page: 1 1 + 0 0 0 setrgbcolor 0 0.5 dtransform truncate idtransform setlinewidth pop + [] 0 setdash 1 setlinecap 1 setlinejoin 10 setmiterlimit +newpath 297.63725 297.63725 moveto +169.92485 254.291 lineto stroke +newpath 172.93277 256.92865 moveto +169.92485 254.291 lineto +173.91687 254.02911 lineto + closepath +gsave fill grestore stroke +newpath 297.63725 297.63725 moveto +377.67113 222.18132 lineto stroke +newpath 373.9325 223.60246 moveto +377.67113 222.18132 lineto +376.03247 225.82985 lineto + closepath +gsave fill grestore stroke + 0.5 0 dtransform exch truncate exch idtransform pop setlinewidth +newpath 297.63725 297.63725 moveto +297.63725 423.12157 lineto stroke + 0 0.5 dtransform truncate idtransform setlinewidth pop +newpath 299.16797 419.42616 moveto +297.63725 423.12157 lineto +296.10654 419.42616 lineto + closepath +gsave fill grestore stroke +167.13844 245.73267 moveto +(x) cmss17 12.91158 fshow +374.88472 213.62299 moveto +(y) cmss17 12.91158 fshow +289.36539 420.34239 moveto +(z) cmss17 12.91158 fshow +newpath 169.92485 254.291 moveto +172.72954 255.7655 174.83687 258.28984 175.78667 261.31279 curveto +176.62349 263.97615 176.49736 266.86823 175.23766 269.35783 curveto +173.83734 272.12537 171.25291 274.00867 168.47862 275.39482 curveto +165.7587 276.75381 162.83327 277.67564 159.80553 277.96257 curveto +157.62233 278.16946 155.42354 278.04118 153.26225 277.67204 curveto +152.07388 277.46907 150.84367 276.96465 150.77568 275.84557 curveto +150.71236 274.80342 151.74017 274.14963 152.7816 273.77342 curveto +154.71768 273.07405 156.75446 272.71143 158.8079 272.575 curveto +161.75177 272.37943 164.70313 272.64766 167.59422 273.23296 curveto +170.83871 273.8898 173.99484 274.94302 176.92955 276.47575 curveto +179.61707 277.8794 182.13232 279.71999 183.56255 282.39525 curveto +184.77072 284.65518 185.06592 287.31242 184.1906 289.71825 curveto +183.19057 292.46684 180.86244 294.41917 178.30528 295.84496 curveto +175.47922 297.42067 172.37154 298.40904 169.17503 298.90617 curveto +166.36891 299.34259 163.51349 299.39758 160.70274 298.98949 curveto +158.75261 298.70634 156.82272 298.19499 155.14854 297.15233 curveto +154.16621 296.54054 153.27893 295.66483 153.32207 294.53117 curveto +153.36418 293.42473 154.2765 292.62614 155.26817 292.08946 curveto +156.89163 291.21086 158.72142 290.83652 160.55748 290.66246 curveto +163.1701 290.4148 165.80104 290.56296 168.39104 290.9829 curveto +171.54173 291.49373 174.61458 292.4028 177.53838 293.68309 curveto +180.66792 295.05347 183.60556 296.84085 186.1538 299.11766 curveto +188.5383 301.24817 190.5555 303.79494 191.67809 306.791 curveto +192.60329 309.26025 192.8446 312.03407 191.46019 314.25713 curveto +190.15114 316.35915 187.73163 317.39243 185.2459 317.56187 curveto +182.13954 317.77362 179.13374 316.71698 176.39977 315.23125 curveto +173.48186 313.64555 170.84885 311.58055 168.64738 309.09386 curveto +166.60556 306.78749 164.96265 304.14606 163.95409 301.23466 curveto +163.03215 298.57335 162.66429 295.74551 162.97783 292.94609 curveto +163.29091 290.15079 164.27228 287.48018 165.72075 285.06981 curveto +167.294 282.45178 169.38333 280.19127 171.76201 278.2766 curveto +174.35478 276.18959 177.2589 274.53587 180.2877 273.15819 curveto +183.38196 271.75073 186.61545 270.62885 189.99046 270.20805 curveto +192.9501 269.83907 195.95001 270.0218 198.91563 269.70818 curveto +201.1484 269.47205 203.66873 269.42902 204.42284 271.37871 curveto +204.74947 272.22316 204.51883 273.16653 203.94218 273.87169 curveto +202.42157 275.73122 199.70667 275.32716 197.28355 274.81377 curveto +194.16266 274.15253 190.97922 273.69002 188.02086 272.48741 curveto +185.1256 271.31046 182.54393 269.46255 180.57396 267.03575 curveto +178.86115 264.92575 177.65956 262.42284 177.37816 259.71916 curveto +177.09964 257.04326 177.74408 254.37292 178.96324 251.97533 curveto +180.33624 249.2752 182.38385 246.99875 184.70757 245.05821 curveto +187.2618 242.92516 190.13576 241.20322 193.2418 240.00816 curveto +196.19771 238.87088 199.30992 238.23181 202.40196 237.55363 curveto +204.71155 237.04707 207.19048 236.56892 209.18877 237.82066 curveto +209.84845 238.23389 210.39499 238.86845 210.32738 239.62791 curveto +210.14857 241.63634 207.32045 241.46346 204.83727 240.11497 curveto +202.16327 238.66287 199.05255 238.23149 196.36925 236.79741 curveto +193.53987 235.28525 191.39217 232.79692 189.96696 229.92302 curveto +188.66895 227.30557 187.98746 224.40617 188.24944 221.49559 curveto +188.51184 218.58025 189.70363 215.8446 191.46019 213.50395 curveto +193.3478 210.98868 195.82582 208.9958 198.57384 207.4691 curveto +201.44006 205.87671 204.57112 204.80467 207.82585 204.40361 curveto +210.80473 204.03653 213.81541 204.24051 216.77666 204.72191 curveto +219.04323 205.09038 221.42245 205.78755 222.3864 207.8344 curveto +222.95442 209.04053 222.82915 210.47194 221.9677 211.48094 curveto +220.49767 213.20277 217.94214 212.89781 215.69572 212.20726 curveto +212.80817 211.31963 210.01022 210.10112 207.63786 208.22746 curveto +205.1539 206.26567 203.24919 203.67303 202.04948 200.74425 curveto +200.91254 197.96866 200.43826 194.96103 200.74638 191.97716 curveto +201.05214 189.01619 202.1158 186.1935 203.70934 183.68004 curveto +205.36885 181.06253 207.56354 178.83525 210.07103 177.015 curveto +212.66266 175.13368 215.55168 173.71095 218.58177 172.67632 curveto +221.52325 171.67194 224.58635 171.0377 227.69493 170.98015 curveto +230.33943 170.93118 232.96747 171.30127 235.5584 171.82823 curveto +237.436 172.21011 239.42024 172.85585 240.05302 174.62242 curveto +240.49315 175.85115 240.05835 177.1855 239.21562 178.19847 curveto +237.66608 180.061 235.17671 180.62712 232.7813 181.00761 curveto +229.77797 181.48466 226.73639 181.79393 223.70659 181.5139 curveto +221.01123 181.26479 218.36476 180.54791 216.03325 179.17046 curveto +214.2828 178.13629 212.73387 176.71815 212.02782 174.81255 curveto +211.42793 173.19353 211.51878 171.40816 212.18803 169.8159 curveto +212.96838 167.95934 214.44856 166.52396 216.1187 165.40031 curveto +218.20996 163.99333 220.5758 163.06644 223.02513 162.47581 curveto +225.90865 161.78049 228.88112 161.55405 231.84349 161.69395 curveto +235.04327 161.84508 238.20958 162.42183 241.24931 163.43285 curveto +244.25473 164.43245 247.11174 165.84961 249.63829 167.76085 curveto +251.92937 169.49397 253.92723 171.62921 255.09209 174.25713 curveto +256.13301 176.60547 256.44115 179.23991 255.67741 181.69121 curveto +254.85579 184.32832 252.90848 186.4161 250.56541 187.882 curveto +247.9267 189.53288 244.87547 190.37308 241.76628 190.50316 curveto +238.93437 190.62164 236.09682 190.14821 233.53325 188.9373 curveto +231.62024 188.03369 229.87376 186.68507 229.14116 184.70543 curveto +228.56465 183.1476 228.72314 181.4153 229.54918 179.97368 curveto +230.54332 178.2387 232.32516 177.1769 234.20616 176.49376 curveto +236.64952 175.60638 239.25793 175.31139 241.85387 175.42778 curveto +244.93237 175.56583 247.95438 176.27621 250.80467 177.44652 curveto +253.82814 178.68794 256.62589 180.43365 258.9843 182.69737 curveto +261.27112 184.89238 263.10622 187.55003 263.96172 190.60356 curveto +264.7745 193.50462 264.64471 196.60638 263.39989 199.34929 curveto +262.09975 202.21408 259.71323 204.41292 256.86516 205.75157 curveto +254.07936 207.06096 250.98042 207.50072 247.91222 207.26402 curveto +245.57559 207.08377 243.19315 206.44887 241.74492 204.61937 curveto +240.82184 203.45328 240.44214 201.91695 240.9716 200.53703 curveto +241.64899 198.77162 243.49947 197.90578 245.34233 197.39677 curveto +247.91614 196.68588 250.59598 196.46025 253.2592 196.64696 curveto +256.46191 196.87149 259.59082 197.6862 262.53899 198.95622 curveto +265.55061 200.25359 268.35179 202.01819 270.66307 204.34593 curveto +272.77074 206.46863 274.43527 209.05273 274.88213 212.01073 curveto +275.30544 214.81293 274.5817 217.65114 273.0236 220.01945 curveto +271.26843 222.68735 268.5907 224.58862 265.55534 225.5822 curveto +262.799 226.48444 259.86896 226.59995 257.01256 227.08183 curveto +255.0057 227.42041 252.7616 227.33344 252.34703 225.58647 curveto +252.14345 224.72856 252.62111 223.8932 253.30193 223.30925 curveto +254.84871 221.98256 257.00662 221.93881 259.04625 221.96983 curveto +261.95921 222.01414 264.87808 222.09662 267.75566 222.5573 curveto +271.04356 223.08366 274.23157 224.09592 277.25975 225.47966 curveto +280.16293 226.80627 282.91292 228.47354 285.2343 230.66643 curveto +287.21759 232.53995 288.86917 234.81207 289.34868 237.4981 curveto +289.79169 239.97963 289.17006 242.51695 287.77855 244.62029 curveto +286.10207 247.15439 283.48679 248.84836 280.66704 249.97795 curveto +277.73575 251.15224 274.60857 251.72835 271.45561 251.88347 curveto +269.14394 251.99721 266.74942 251.85779 264.82262 250.57396 curveto +263.83356 249.91495 263.041 248.90923 263.20335 247.7584 curveto +263.41556 246.25426 265.00533 245.55385 266.52733 245.13298 curveto +268.83055 244.4961 271.17432 243.99677 273.55766 243.81493 curveto +276.628 243.58067 279.70663 243.87631 282.73491 244.42802 curveto +286.05362 245.03265 289.31201 245.94365 292.42699 247.2393 curveto +295.50218 248.51842 298.41751 250.16527 301.00822 252.25945 curveto +303.38321 254.17923 305.4642 256.46448 306.85081 259.18724 curveto +308.11896 261.67738 308.758 264.46259 308.41667 267.23656 curveto +308.06578 270.0883 306.70404 272.70985 304.65263 274.72191 curveto +302.36394 276.96669 299.36687 278.32376 296.18675 278.72948 curveto +292.90881 279.14767 289.57928 278.54184 286.67412 276.96709 curveto +284.00801 275.52191 281.81473 273.3138 280.56236 270.55199 curveto +279.41327 268.01791 279.13606 265.1805 279.69933 262.45567 curveto +280.28621 259.6166 281.74474 257.05643 283.62144 254.84856 curveto +285.69554 252.40848 288.24205 250.42838 291.0064 248.8137 curveto +293.92249 247.1104 297.05801 245.82414 300.29259 244.85527 curveto +303.40945 243.92165 306.6129 243.28452 309.8629 243.11638 curveto +312.60179 242.97469 315.34283 243.16808 318.06816 243.46886 curveto +319.98395 243.68028 321.99802 244.01595 323.24638 245.47905 curveto +323.90944 246.25616 324.24149 247.29361 323.89793 248.24547 curveto +323.27838 249.96205 321.17937 250.27126 319.26231 250.2877 curveto +316.38098 250.31244 313.48213 250.31898 310.66185 249.71733 curveto +307.55518 249.05458 304.63742 247.67128 302.25365 245.5709 curveto +300.25604 243.8108 298.67972 241.55144 298.32939 238.91441 curveto +297.99503 236.39754 298.83228 233.90854 300.2285 231.78581 curveto +301.8706 229.28926 304.20522 227.36113 306.75468 225.8065 curveto +309.56111 224.09517 312.61195 222.83594 315.75676 221.88225 curveto +318.73637 220.97867 321.80426 220.34921 324.91905 220.31425 curveto +327.28497 220.2877 329.6354 220.6061 331.98143 220.90599 curveto +333.40538 221.08801 334.89209 221.63438 334.88884 222.929 curveto +334.88583 224.12831 333.56699 224.7151 332.26768 224.90501 curveto +329.77158 225.26987 327.22975 225.17761 324.76738 224.62944 curveto +321.6901 223.94437 318.79593 222.55827 316.48521 220.41252 curveto +314.36703 218.44556 312.82407 215.89175 312.49687 213.02116 curveto +312.1766 210.21136 313.06116 207.43378 314.59251 205.05516 curveto +316.28096 202.43256 318.67798 200.37144 321.34514 198.75755 curveto +324.08755 197.09814 327.09358 195.9182 330.23613 195.28618 curveto +333.02135 194.72601 335.87685 194.60426 338.69987 194.92302 curveto +340.8209 195.1625 342.98012 195.69386 344.44847 197.24083 curveto +345.44234 198.28792 345.98071 199.72684 345.59135 201.10527 curveto +345.06622 202.96437 343.17479 203.92392 341.26549 204.40788 curveto +338.55516 205.0949 335.71373 205.0924 333.01323 204.3673 curveto +330.0242 203.5647 327.3179 201.90195 325.41893 199.45824 curveto +323.61775 197.14037 322.66956 194.26999 322.76787 191.33629 curveto +322.86812 188.34438 324.04182 185.5172 325.79063 183.0883 curveto +327.62163 180.54526 330.03131 178.489 332.73338 176.90392 curveto +335.37984 175.35147 338.2747 174.26746 341.29112 173.70598 curveto +343.95137 173.2108 346.67819 173.12888 349.34471 173.59276 curveto +351.4485 173.95876 353.5113 174.67648 355.10612 176.09856 curveto +356.32239 177.18307 357.19179 178.65442 357.14195 180.27702 curveto +357.08795 182.03537 355.98036 183.52946 354.57848 184.60716 curveto +352.61916 186.11339 350.19794 186.82661 347.73827 187.05528 curveto +344.78023 187.33029 341.79825 186.9172 339.02885 185.8419 curveto +336.40805 184.82431 334.01624 183.21413 332.46849 180.86662 curveto +331.1143 178.81268 330.52234 176.34373 330.85777 173.90678 curveto +331.21117 171.33936 332.5513 169.04832 334.28642 167.12425 curveto +336.23965 164.95833 338.6531 163.27454 341.26335 161.97594 curveto +344.01938 160.60481 346.96953 159.67232 350.00053 159.13689 curveto +352.92564 158.62016 355.906 158.47667 358.86375 158.75237 curveto +361.47531 158.99579 364.05223 159.56577 366.46873 160.58739 curveto +368.42468 161.4143 370.26363 162.53871 371.65337 164.14635 curveto +372.75018 165.41513 373.52744 166.97078 373.47984 168.64525 curveto +373.43192 170.33115 372.55614 171.85318 371.3308 173.01598 curveto +369.6642 174.59749 367.4809 175.45338 365.24467 175.97252 curveto +362.44466 176.62254 359.55394 176.76588 356.69548 176.46599 curveto +354.09525 176.19319 351.54562 175.5562 349.12895 174.55833 curveto +347.60814 173.93037 346.0936 172.96 346.03569 171.37108 curveto +345.98668 170.02618 347.05495 168.99487 348.24883 168.30986 curveto +350.1321 167.2293 352.28555 166.77644 354.44603 166.58165 curveto +357.21103 166.33237 359.99556 166.49496 362.72392 167.00676 curveto +365.69633 167.56433 368.57791 168.53136 371.27525 169.89922 curveto +373.95784 171.25958 376.4337 173.00517 378.52348 175.1693 curveto +380.51855 177.23532 382.12881 179.65312 383.10356 182.35558 curveto +384.05365 184.98965 384.36827 187.81567 383.94737 190.58434 curveto +383.51012 193.4606 382.29816 196.1568 380.51659 198.45634 curveto +378.67194 200.8373 376.27065 202.7274 373.52898 203.97423 curveto +371.15167 205.05534 368.54915 205.62941 365.95818 205.29442 curveto +364.23163 205.0712 362.5083 204.28435 362.14287 202.64977 curveto +361.79814 201.10783 362.88603 199.71411 364.21715 198.7725 curveto +366.19363 197.37439 368.5708 196.72446 370.97618 196.46538 curveto +373.9211 196.14818 376.89616 196.40384 379.7625 197.14897 curveto +382.72919 197.9202 385.5424 199.2062 388.01262 201.02196 curveto +390.35216 202.74165 392.34332 204.91246 393.64372 207.50969 curveto +394.881 209.98083 395.43959 212.74535 395.13908 215.49278 curveto +394.82639 218.35158 393.60527 221.0186 391.81511 223.26866 curveto +389.92494 225.6444 387.45801 227.49345 384.66087 228.67332 curveto +382.34137 229.65173 379.84668 230.14674 377.32933 230.1281 curveto stroke +showpage +%%EOF |