summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.2
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.2')
-rw-r--r--Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.2222
1 files changed, 222 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.2 b/Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.2
new file mode 100644
index 00000000000..a204403f509
--- /dev/null
+++ b/Master/texmf-dist/doc/metapost/featpost/allps/vanallenbelt.2
@@ -0,0 +1,222 @@
+%!PS
+%%BoundingBox: 24 42 561 573
+%%HiResBoundingBox: 24.70123 42.22162 560.26126 572.90862
+%%Creator: MetaPost 1.504
+%%CreationDate: 2011.11.24:1525
+%%Pages: 1
+%%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 497.63725 297.63725 moveto
+493.28447 300.73065 488.59938 303.32756 483.66936 305.37956 curveto
+478.7392 307.43163 473.59073 308.92706 468.30681 309.7039 curveto
+463.01945 310.48125 457.64452 310.5306 452.36443 309.70085 curveto
+447.08116 308.8706 441.96211 307.1684 437.33452 304.4854 curveto
+432.70297 301.80011 428.66225 298.1842 425.66154 293.74931 curveto
+422.65953 289.3125 420.79883 284.19708 420.33623 278.85979 curveto
+419.87383 273.52487 420.82526 268.1705 422.97905 263.26836 curveto
+425.13132 258.36969 428.416 254.06671 432.42729 250.52727 curveto
+436.435 246.991 441.08989 244.28029 446.07475 242.35466 curveto
+451.05627 240.43033 456.30649 239.31104 461.62956 238.89091 curveto
+466.95058 238.47096 472.30032 238.75194 477.56584 239.62334 curveto
+482.82971 240.49446 487.97789 241.94978 492.9467 243.89275 curveto
+497.91486 245.83545 502.68091 248.2564 507.21062 251.07353 curveto
+511.74016 253.89058 516.01697 257.09335 520.0219 260.61638 curveto
+524.02672 264.13933 527.74748 267.97163 531.17607 272.05742 curveto
+534.60428 276.14275 537.73154 280.47081 540.55717 284.99382 curveto
+543.3827 289.51665 545.90039 294.22427 548.11028 299.07768 curveto
+550.32008 303.9309 552.21765 308.91998 553.8079 314.00993 curveto
+555.39796 319.09924 556.67792 324.28008 557.65312 329.52202 curveto
+558.62845 334.76456 559.29733 340.05933 559.66728 345.37895 curveto
+560.0372 350.69809 560.1077 356.03374 559.88396 361.36101 curveto
+559.66023 366.68802 559.14267 371.99847 558.34282 377.26982 curveto
+557.54297 382.54123 556.46196 387.76613 555.1049 392.92229 curveto
+553.74768 398.07912 552.11629 403.15979 550.22209 408.14445 curveto
+548.32803 413.12874 546.1738 418.01024 543.76762 422.76848 curveto
+541.36134 427.52696 538.70644 432.15556 535.81474 436.63567 curveto
+532.92337 441.11528 529.7992 445.44032 526.45195 449.59038 curveto
+523.10446 453.74074 519.53862 457.71017 515.76775 461.48003 curveto
+511.99663 465.2501 508.02586 468.81517 503.86894 472.15508 curveto
+499.71228 475.49478 495.37572 478.60439 490.87456 481.46294 curveto
+486.37389 484.32118 481.71577 486.9239 476.91887 489.25102 curveto
+472.12157 491.57832 467.19336 493.62613 462.15446 495.3698 curveto
+457.1152 497.1136 451.97453 498.54999 446.75835 499.65752 curveto
+441.54195 500.76509 436.26031 501.54155 430.94414 501.9616 curveto
+425.62769 502.38167 420.28854 502.44429 414.96513 502.12334 curveto
+409.64204 501.8024 404.34833 501.09866 399.13261 499.9871 curveto
+393.91637 498.87543 388.79369 497.35905 383.82805 495.41252 curveto
+378.86235 493.46597 374.07172 491.09613 369.53972 488.28362 curveto
+365.00645 485.47032 360.75252 482.22652 356.89018 478.54546 curveto
+353.02731 474.86389 349.57909 470.76604 346.69731 466.27434 curveto
+343.81389 461.78008 341.52158 456.92693 340.01701 451.8029 curveto
+338.51143 446.67537 337.81425 441.33551 338.14629 436.0009 curveto
+338.47856 430.66243 339.83958 425.42586 342.35161 420.70244 curveto
+344.86519 415.97609 348.46321 411.90144 352.92595 408.94402 curveto
+357.38855 405.98666 362.54729 404.25937 367.88567 403.85979 curveto
+373.21985 403.46051 378.55702 404.39627 383.51982 406.3897 curveto
+388.4783 408.38138 392.95718 411.38141 396.83464 415.05669 curveto
+400.70987 418.72987 403.9336 423.02551 406.51787 427.69707 curveto
+409.10052 432.36569 411.02203 437.36613 412.34367 442.53471 curveto
+413.66498 447.70197 414.37878 453.00333 414.55315 458.33366 curveto
+414.72745 463.6621 414.3622 468.99287 413.5247 474.25774 curveto
+412.68718 479.52275 411.38086 484.70132 409.66423 489.74846 curveto
+407.94783 494.79489 405.82687 499.69374 403.3532 504.4152 curveto
+400.8795 509.1367 398.05986 513.66808 394.9395 517.98943 curveto
+391.81921 522.31067 388.40555 526.41182 384.73747 530.27885 curveto
+381.07007 534.14519 377.15604 537.76945 373.03093 541.14311 curveto
+368.90561 544.51694 364.57695 547.63383 360.07622 550.4876 curveto
+355.57495 553.34169 350.9094 555.92767 346.10832 558.24211 curveto
+341.30772 560.55632 336.37941 562.59532 331.35002 564.35783 curveto
+326.32048 566.12039 321.19753 567.60376 316.00578 568.8073 curveto
+310.81429 570.01079 305.56158 570.93274 300.27092 571.57219 curveto
+294.97957 572.21173 289.65785 572.5678 284.32854 572.64336 curveto
+279.00021 572.71892 273.67162 572.51399 268.36479 572.02995 curveto
+263.05696 571.54582 257.7782 570.78316 252.55058 569.74419 curveto
+247.32336 568.70529 242.15454 567.39157 237.06596 565.80742 curveto
+231.97758 564.22333 226.9766 562.37103 222.08488 560.25627 curveto
+217.19273 558.14131 212.4168 555.76682 207.7813 553.13652 curveto
+203.14622 550.50647 198.65854 547.62463 194.34135 544.50005 curveto
+190.0242 541.37549 185.88419 538.01295 181.94817 534.42009 curveto
+178.01157 530.82669 174.2856 527.00888 170.79704 522.97905 curveto
+167.3086 518.94934 164.0637 514.71475 161.09245 510.28984 curveto
+158.12144 505.8653 155.42982 501.25902 153.05107 496.48979 curveto
+150.6723 491.72057 148.61162 486.79872 146.90483 481.7498 curveto
+145.19766 476.69975 143.84883 471.53497 142.89787 466.2896 curveto
+141.94685 461.04388 141.39656 455.73248 141.29265 450.40215 curveto
+141.18874 445.07172 141.53171 439.7408 142.36687 434.47502 curveto
+143.20207 429.20898 144.52625 424.03038 146.38603 419.03313 curveto
+148.2464 414.03436 150.63301 409.24445 153.58208 404.79973 curveto
+156.53201 400.3537 160.02382 396.2862 164.05876 392.79411 curveto
+168.096 389.30005 172.63579 386.42014 177.5872 384.42009 curveto
+182.54315 382.41821 187.83382 381.333 193.17863 381.44768 curveto
+198.52774 381.56245 203.79364 382.88104 208.48015 385.46379 curveto
+213.16606 388.04622 217.10062 391.80031 219.91203 396.35246 curveto
+222.7224 400.9029 224.31313 406.0878 224.73076 411.41899 curveto
+225.14796 416.74467 224.38908 422.08559 222.71355 427.1569 curveto
+221.03928 432.22438 218.47847 436.94627 215.28252 441.2194 curveto
+212.08823 445.49031 208.293 449.2709 204.08562 452.54753 curveto
+199.8797 455.82303 195.29256 458.57217 190.45952 460.82085 curveto
+185.62704 463.06926 180.57442 464.80586 175.39604 466.06682 curveto
+170.21931 467.32736 164.9385 468.10757 159.6215 468.44719 curveto
+154.305 468.78677 148.97032 468.68486 143.66692 468.18169 curveto
+138.36353 467.67851 133.10626 466.77559 127.93205 465.50835 curveto
+122.75803 464.24115 117.67963 462.61282 112.72514 460.65605 curveto
+107.77074 458.69931 102.95093 456.41841 98.28728 453.84453 curveto
+93.62338 451.27051 89.12463 448.40846 84.80766 445.2874 curveto
+80.4913 442.16676 76.36418 438.79263 72.44194 435.18913 curveto
+68.51971 431.58563 64.80893 427.75885 61.31828 423.73589 curveto
+57.82742 419.71266 54.56197 415.49933 51.53435 411.11687 curveto
+48.50677 406.73447 45.72163 402.18959 43.18474 397.50603 curveto
+40.64778 392.82234 38.36269 388.0066 36.3366 383.08037 curveto
+34.31076 378.15474 32.54668 373.12547 31.05095 368.01384 curveto
+29.55518 362.90205 28.32983 357.71498 27.37968 352.47429 curveto
+26.4294 347.23283 25.75566 341.94498 25.36247 336.63261 curveto
+24.96933 331.32098 24.8572 325.99223 25.02983 320.66887 curveto
+25.20248 315.34515 25.65973 310.03444 26.40312 304.76006 curveto
+27.14645 299.48611 28.17484 294.25616 29.4915 289.09538 curveto
+30.80827 283.9342 32.41136 278.8502 34.30107 273.87016 curveto
+36.19083 268.89 38.36414 264.02191 40.81963 259.29497 curveto
+43.27496 254.56831 46.00818 249.99101 49.01665 245.59563 curveto
+52.02539 241.19984 55.30371 236.99442 58.84636 233.01628 curveto
+62.38951 229.03757 66.18951 225.29474 70.23552 221.82854 curveto
+74.281 218.36278 78.5628 215.1819 83.06511 212.33452 curveto
+87.56786 209.48686 92.2786 206.9808 97.17033 204.86992 curveto
+102.06311 202.75858 107.12111 201.04958 112.304 199.8101 curveto
+117.48639 198.57076 122.77257 197.80614 128.09685 197.58842 curveto
+133.42267 197.37065 138.75935 197.70161 144.00261 198.66264 curveto
+149.24759 199.62401 154.36285 201.21 159.18205 203.49358 curveto
+164.0032 205.77808 168.481 208.74014 172.35649 212.40776 curveto
+176.23528 216.07849 179.45233 220.40495 181.6552 225.27092 curveto
+183.85997 230.14113 184.99332 235.44087 184.76799 240.783 curveto
+184.54263 246.12576 182.96278 251.32611 180.14458 255.8709 curveto
+177.32721 260.41432 173.37836 264.1348 168.75847 266.82365 curveto
+164.14235 269.51031 158.98303 271.09883 153.67668 271.69731 curveto
+148.37485 272.29529 143.01614 271.89851 137.8167 270.70549 curveto
+132.62146 269.51343 127.6419 267.54143 122.97295 264.97124 curveto
+118.30461 262.40138 113.98198 259.254 110.03654 255.67253 curveto
+106.09305 252.09282 102.54813 248.09988 99.40422 243.8012 curveto
+96.26025 239.5024 93.53082 234.91678 91.20415 230.12627 curveto
+88.87747 225.33577 86.96164 220.35742 85.43633 215.25505 curveto
+83.91103 210.1527 82.78058 204.94116 82.02446 199.66972 curveto
+81.2685 194.39928 80.88853 189.08214 80.86479 183.75786 curveto
+80.84106 178.43436 81.17345 173.11562 81.8383 167.83379 curveto
+82.50316 162.55186 83.49918 157.31715 84.80766 152.1569 curveto
+86.11615 146.99666 87.73473 141.92027 89.64165 136.95 curveto
+91.54857 131.97972 93.74068 127.12373 96.19987 122.40227 curveto
+98.659 117.68095 101.3813 113.10156 104.34807 108.68156 curveto
+107.31483 104.26157 110.52158 100.0076 113.9489 95.93437 curveto
+117.37648 91.86086 121.01979 87.97389 124.86198 84.28886 curveto
+128.70428 80.60374 132.74 77.12582 136.95 73.86711 curveto
+141.15962 70.60869 145.53769 67.5739 150.06645 64.77592 curveto
+154.59468 61.97829 159.26724 59.42131 164.06487 57.11601 curveto
+168.86232 54.81079 173.77817 52.76044 178.79265 50.97588 curveto
+183.80841 49.19086 188.91579 47.6743 194.09416 46.43791 curveto
+199.27112 45.20186 204.5114 44.24765 209.7924 43.58452 curveto
+215.07379 42.92133 220.38792 42.55026 225.71037 42.48283 curveto
+231.03288 42.4154 236.35506 42.65175 241.6497 43.2 curveto
+246.94562 43.74837 252.20493 44.60786 257.39677 45.78789 curveto
+262.58728 46.96759 267.7006 48.46547 272.70134 50.28923 curveto
+277.70242 52.11313 282.58043 54.2592 287.29485 56.73149 curveto
+292.0098 59.20406 296.55017 61.99721 300.86601 65.11467 curveto
+305.18259 68.23265 309.26274 71.66661 313.04863 75.4113 curveto
+316.8348 79.15625 320.31456 83.20021 323.41545 87.52983 curveto
+326.51674 91.86 329.2268 96.45921 331.45683 101.29631 curveto
+333.68675 106.13318 335.42537 111.18425 336.56548 116.38725 curveto
+337.70602 121.59229 338.23956 126.91588 338.03947 132.24113 curveto
+337.83926 137.56961 336.90495 142.85136 335.11589 147.87529 curveto
+333.32558 152.90271 330.70073 157.60358 327.19963 161.63261 curveto
+323.69603 165.66454 319.38545 168.9354 314.4677 171.02287 curveto
+309.54887 173.11081 304.18294 173.94254 298.87016 173.36662 curveto
+293.55905 172.7909 288.50114 170.83096 284.10881 167.79106 curveto
+279.71927 164.75308 276.11932 160.72853 273.39409 156.13945 curveto
+270.67087 151.55377 268.86778 146.49109 267.88567 141.24992 curveto
+266.90431 136.01282 266.75195 130.65942 267.29362 125.35942 curveto
+267.83511 120.06126 269.06459 114.8596 270.85503 109.84428 curveto
+272.64487 104.83061 274.98409 100.0327 277.76726 95.49492 curveto
+280.5502 90.95749 283.76413 86.70053 287.32536 82.74467 curveto
+290.88582 78.78966 294.78029 75.14995 298.94035 71.83159 curveto
+303.10048 68.51318 307.5136 65.52608 312.12395 62.86858 curveto
+316.73384 60.21133 321.52905 57.89038 326.46416 55.90141 curveto
+331.3985 53.91275 336.46138 52.26047 341.61308 50.93315 curveto
+346.76482 49.60583 351.99521 48.60606 357.27165 47.92717 curveto
+362.54912 47.24815 367.86281 46.89136 373.18352 46.8438 curveto
+378.50403 46.79622 383.82266 47.0579 389.1137 47.61894 curveto
+394.40445 48.17995 399.65916 49.03938 404.85466 50.18547 curveto
+410.05069 51.33167 415.17963 52.76285 420.22026 54.46709 curveto
+425.26018 56.17108 430.20451 58.14557 435.0335 60.37834 curveto
+439.86275 62.61124 444.56985 65.09927 449.13567 67.83073 curveto
+453.70108 70.56197 458.11882 73.53273 462.37114 76.72966 curveto
+466.6233 79.92647 470.7042 83.34497 474.59648 86.97136 curveto
+478.48906 90.59802 482.18762 94.42757 485.67436 98.44597 curveto
+489.16109 102.46434 492.43103 106.66586 495.46745 111.03447 curveto
+498.50381 115.40298 501.30228 119.93225 503.84453 124.60564 curveto
+506.38708 129.27957 508.66948 134.09052 510.67436 139.01909 curveto
+512.67934 143.94789 514.40355 148.98648 515.82878 154.11308 curveto
+517.25389 159.23924 518.37761 164.4447 519.17961 169.70451 curveto
+519.98167 174.96481 520.46042 180.26958 520.59868 185.58891 curveto
+520.73694 190.90811 520.53442 196.23111 519.97002 201.52214 curveto
+519.40567 206.8126 518.48077 212.05884 517.17766 217.21733 curveto
+515.87415 222.37744 514.19551 227.43619 512.12395 232.33879 curveto
+510.05237 237.24141 507.59416 241.97261 504.73564 246.46233 curveto
+501.8771 250.95206 498.62892 255.18318 494.98833 259.06609 curveto
+491.34694 262.94984 487.32985 266.4667 482.9522 269.497 curveto
+478.5739 272.52774 473.86197 275.05229 468.87444 276.91887 curveto
+463.8849 278.7862 458.66191 279.97784 453.34404 280.30937 curveto
+448.02151 280.64119 442.67082 280.10468 437.5756 278.52715 curveto
+432.4762 276.94832 427.73523 274.3539 423.80302 270.74211 curveto
+419.86855 267.12823 416.86925 262.60533 415.1696 257.5402 curveto
+413.47015 252.47566 413.134 247.05928 414.09843 241.80534 curveto
+415.06161 236.5582 417.28667 231.64027 420.3698 227.28813 curveto
+423.4545 222.93378 427.34683 219.21239 431.83525 216.32622 curveto stroke
+newpath 497.63725 297.63725 moveto
+297.63725 297.63725 lineto
+297.63725 497.63725 lineto stroke
+newpath 299.16833 493.94096 moveto
+297.63725 497.63725 lineto
+296.10617 493.94096 lineto
+ closepath
+gsave fill grestore stroke
+showpage
+%%EOF