impl.ps

It s the E-book of LEDA. Library of Efficient Data types and Algorithms

%%EndProcSet
%%BeginProcSet: texps.pro
%!
TeXDict begin /rf{findfont dup length 1 add dict begin{1 index /FID ne 2
index /UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll
exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics
exch def dict begin Encoding{exch dup type /integertype ne{pop pop 1 sub
dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def}
ifelse}forall Metrics /Metrics currentdict end def[2 index currentdict
end definefont 3 -1 roll makefont /setfont cvx]cvx def}def /ObliqueSlant
{dup sin S cos div neg}B /SlantFont{4 index mul add}def /ExtendFont{3 -1
roll mul exch}def /ReEncodeFont{/Encoding exch def}def end

%%EndProcSet
%%BeginProcSet: special.pro
%!
TeXDict begin /SDict 200 dict N SDict begin /@SpecialDefaults{/hs 612 N
/vs 792 N /ho 0 N /vo 0 N /hsc 1 N /vsc 1 N /ang 0 N /CLIP 0 N /rwiSeen
false N /rhiSeen false N /letter{}N /note{}N /a4{}N /legal{}N}B
/@scaleunit 100 N /@hscale{@scaleunit div /hsc X}B /@vscale{@scaleunit
div /vsc X}B /@hsize{/hs X /CLIP 1 N}B /@vsize{/vs X /CLIP 1 N}B /@clip{
/CLIP 2 N}B /@hoffset{/ho X}B /@voffset{/vo X}B /@angle{/ang X}B /@rwi{
10 div /rwi X /rwiSeen true N}B /@rhi{10 div /rhi X /rhiSeen true N}B
/@llx{/llx X}B /@lly{/lly X}B /@urx{/urx X}B /@ury{/ury X}B /magscale
true def end /@MacSetUp{userdict /md known{userdict /md get type
/dicttype eq{userdict begin md length 10 add md maxlength ge{/md md dup
length 20 add dict copy def}if end md begin /letter{}N /note{}N /legal{}
N /od{txpose 1 0 mtx defaultmatrix dtransform S atan/pa X newpath
clippath mark{transform{itransform moveto}}{transform{itransform lineto}
}{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{
itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{
closepath}}pathforall newpath counttomark array astore /gc xdf pop ct 39
0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}if}N
/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 -1
scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 get
ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip
not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0
TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{noflips{TR
pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1
-1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg
TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg
sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr 2 get ppr
0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4 -1 roll add
2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S TR}if}N /cp
{pop pop showpage pm restore}N end}if}if}N /normalscale{Resolution 72
div VResolution 72 div neg scale magscale{DVImag dup scale}if 0 setgray}
N /psfts{S 65781.76 div N}N /startTexFig{/psf$SavedState save N userdict
maxlength dict begin /magscale true def normalscale currentpoint TR
/psf$ury psfts /psf$urx psfts /psf$lly psfts /psf$llx psfts /psf$y psfts
/psf$x psfts currentpoint /psf$cy X /psf$cx X /psf$sx psf$x psf$urx
psf$llx sub div N /psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy
scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR
/showpage{}N /erasepage{}N /copypage{}N /p 3 def @MacSetUp}N /doclip{
psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2
roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath
moveto}N /endTexFig{end psf$SavedState restore}N /@beginspecial{SDict
begin /SpecialSave save N gsave normalscale currentpoint TR
@SpecialDefaults count /ocount X /dcount countdictstack N}N /@setspecial
{CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto
closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx
sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR
}{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse
CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury
lineto closepath clip}if /showpage{}N /erasepage{}N /copypage{}N newpath
}N /@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{
end}repeat grestore SpecialSave restore end}N /@defspecial{SDict begin}
N /@fedspecial{end}B /li{lineto}B /rl{rlineto}B /rc{rcurveto}B /np{
/SaveX currentpoint /SaveY X N 1 setlinecap newpath}N /st{stroke SaveX
SaveY moveto}N /fil{fill SaveX SaveY moveto}N /ellipse{/endangle X
/startangle X /yrad X /xrad X /savematrix matrix currentmatrix N TR xrad
yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}N end

%%EndProcSet
%%BeginFont: RMTMI
%!PS-AdobeFont-1.1: RMTMI 1.1
%%CreationDate: 1993 May 10 16:52:31

% Copyright (c) 1992, 1993 The TeXplorators Corporation
% Hinting Copyright (c) 1992, 1993 Y&Y, Inc.

11 dict begin
/FontInfo 9 dict dup begin
/version (1.1) readonly def
/Notice (Copyright (C) 1992, 1993 The TeXplorators Corporation) readonly def
/FullName (RMTMI) readonly def
/FamilyName (MathTime) readonly def
/Weight (Medium) readonly def
/ItalicAngle -14.036 def
/isFixedPitch false def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /RMTMI def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 11 /alpha put
dup 46 /parenleft put
dup 47 /parenright put
dup 56 /Phi1 put
dup 58 /period put
dup 59 /comma put
dup 60 /less put
dup 61 /slash put
dup 62 /greater put
dup 118 /v put
dup 119 /w put
readonly def
/FontBBox{0 -213 987 680}readonly def
/UniqueID 5018946 def
currentdict end
currentfile eexec
80347982ab3942d930e069a70d0d48311d70c1e2528f01045f8caec9829f31d6
48c8d0a29ea851af41c327a0d569abaafe5afe94dad818c312d3cee72f1acea0
b701b6a5608521a2866790bdd5776d6cd0c7d971b9a48b96aa970dcbb8b76edc
b90da356dc2529b665eb4bb80ac4f5b0f4c0ed76861e399638ad3db1be4759c7
8d4f2e81a2ff688d366b91d729d63ab5fc9556fe10a07b81904d879a7446da82
dc107ff41b0e3b7c2245d57b2ee9bab31eccfe9b79e3ec32cb1f10c622f4bce1
8df0e5c4b98ec714593d6f127c5cf6d719a79b83c627433d3aa39cb88ef85d27
4184c4b4c46ca5b496f20460ed75ccfb3d66073b710cc1ad2f2bec4ac64065ed
5e03930ed9ec97810f36845dd5048d90d724a88fd3c814ce17c417c84ba45c43
f5569a4d73739f71544ed91c657705e131f4d0c61752509fbe0212bde9c02a83
3910dff28f7c53f64b032c8e3cd2ba95c22177c3e0532f8699d106f119b80549
c45726d793b9aec38ff4c3120c259083fd13c644dea026e1e7c75dea2ec23419
83aff4d712c27c024393022797db1500c6543d620f20c9ce973ef7d917e7fb3e
6cfee0999e06c9dfff2d01bac5b3be0c47b2d5abc02e1f0f383588f430fa64bf
d5250e56da323c91f033c8f0f4e0f9cbb36eb8d4d25b127fda1bb032a7088cf6
fb34b617290de038198297f2af323602e5e96d475e4678e129d88aa15d5ad9cb
58e244028cd8d9a8210fb1aecfc3f29299986c1df1cb3ffa0fc203626e8e2f6f
3a6ab198963acb2b528d6bc06687d59efddb9c88535c1c69da5d81812b911c5e
f9985179796d2b2e4e92beec47a4075e306c8d26431d8e0732768dff70ef2270
d1fddddd4cca0f209ad05c9af2f26da7ca0acccdac0ea4f479b548c741193594
d515f614bda3f394c77bd7296981ac947ca0d6d6ccafd9a05547b28f0ce449ff
bde2744249af134a1d3629edfec122c615e4a74067a7f8358519bfac0f31d1a4
6d260a3db271750d02cd6a12d019ab6c1c2f9955ca205f12d8a03de3203bb5eb
869ed8b66b53d1c29eaa26b4d20f9460891b018031bf81eba788b77ccccc5ff9
9acb5b025a4dcbafafc1b34bb2adbd17cdd741da586af1b784cf74cf88603b20
d68afab47d21c1a0c6bee297777db1a8231237a40ec89aa97ce1c848c9da6804
d3b98c11590b239616e0e6d668fc5b987075d77769eaf4877f1a359217b40731
293574eae905bd7a5c46719ec7f8a97fac1c46dcd76b0344e8378fd61d02c990
5b194613df280648e2f86ef15a2dd8e6bec1cac0d90b8302b2846127b2d50d8f
fb7d210c7826fde88f2d165fa6afd755db04910140e070126a663f3d57ea417e
d6d2128bf21a7cc2911f8bf0f2668eadbe8e042a1cdcea38c5c9a71226f6f4ed
bc85ddf8c25d80933a42f5f303e5495c247e973df20e2195b07b60657205de14
9d86dbd56bb2594fea81688f21573a8210f6fbf48c82425bf58215b3d91d3255
012f7b2bc17357bfb35cd40b0c1d5536cde7bd0b29dea7674b32bc83cb453bbf
76807cf4a5aeece57fae3d291ae50098b85e357e9606694fcfe15cc48406012b
f12efcea89892d1811b5ef93abad0e929160090fad55766535e605ecb8381777
df5a2ac4a3e332a7e1b7ab9713a37619293bc7c8a69652ee28e50071a5d46c20
9d48e873d75b1c980fe488f8bb142bd1993ef79e988e9db967c5d0f438904bb9
43cbed9f6de937b6949c66ce7f12d6b4b708f818b1f1a690dfc2403014738048
55a6f009b04a7acb7b41191970c0f0e81dbef65787758d1ec8cf7f0bd32cfac7
ff3740e5c09934e72a666af611c0f78af2ed7368df9b2817b4400f7f84211388
92f4850aaebf23b7cab5c58aefba27dcc16b968c75d6832014e571ec1ee2367b
148d75d9a93a375c05ddbeb100bb6879dfe121f2e4fdaa03b63001e2115f8d3e
2a25226745d82323fdc64ab72cfbb35ddacbac2600b6731b5f0be6d67c56781e
13cc077ecda099f5ce3a4b146c170492702a71cd8c22db451dac6c48ce19bb37
12e2251d0f97aeeed8d3d292b18129d7e8dfe4fe17d296ecd8b4f0b64dcd2b72
601e5c7bbed1d25c3340e57737c9619dcbe2332331104812ada620ce6f52e760
e6af86e00005ad39d1a6fdbe5b3d84b6961c17e254952ce4b899502be9d890a8
70df487e31c30f6e749546ee718d53ea5e4ac20e3d8b1d4f9ae187e91b17a445
4982534cb8c1e8ed0799e2e459b82a6314aa317a53726dfb71ae392b2d3c19ba
455ab43b463a500d76c20956f895530c9bb98e7edef8bad056149948db6094e0
be857569fa92d423f012fe8290bcaf0edeea241f874176f3f697f3b3b7fe6282
5b3d7c393b1436ad3d9b6de580f406dec3e3e3270025483d3abc753a915696f1
2e942f49c24f9a90bb7b69adfa0a3454193a1cd04c9125de8442da144bc28088
9a888da8436c92be9561049f3f8f2dc316afdc4757c9308b325d9797f37a3a45
c6ce62cea40cd4c04d5715b9bef35dfa8d4f2faf794e3ee626d0046e74e2eb00
71729e006152b33ab6aac855cf35ccec4772c970432cbb5afcf7fecb1477b2f9
09d02d8dfcf015ef3180fc7613727deb131364d1a94b649e684dea7cc44341fe
81ddc97062e87d66c8c0247f4c75e388888f76a650ef660a61aca8b7e0cf44d6
2a582a3cd85d46c84c39de22ebff3567d4aa72bd93882835e6a63ae393a7a054
7527792806fdc4b1a8a80cdde76df3bdee7fcdada4891aec7ae25b1e5413c6c0
6baa14fef1caf668f20499c40af21ab6e4f996ed62ff90a71d8f321ea9cab966
c0f8d4c753a6d5a44652630a097b69ce7c351a9ba0b1b3a1ce7765424f10bd99
dd26f031461f66cfa5bb2f9156249279356b752884e2b5c020d6d966afd3a40c
8c8e1cd13112d028c558b8522e2e3d32d0d766623ae059f2447976eefb33ce9b
3bff461f6674f28e860f4d9a56e32bd23e409fc5aeb091f796c1bde295057e8d
d9e9e349fe7734293d97d1b365999444bf1669f2ea77da83d491625e9b55c769
397fa8654eb98a3651cd674d06d2dce744dc1d446f179c48c83f71cacc95ef4a
c0052c8c440378a6e7f6a4f0f92dfc69a117818b1d9e7c17884b243d1b91cdca
47a89aeb4dec626e6a758ea39184bdfca371768f184752e8e2bcb064821fa2df
cff86487d08efc51a36d590f89b4b8e8fe13ea352f8a34918514616e05443df3
fab5a013c437e856cc59c0dc5f4e5fb59c3c151804bcd2ae94c94d4fa38c36df
f048179610e78a469d42cdfe6391e81acc3bdf04a05761ebcab125b1f903f2f1
291ae45463ee0711a5eb2c85f7246f1cb84cfbfbe4b8b3463db9a271eb7b0700
bcc4130f6c11e193053b7d2a0d718dc5b6175dc051245e686a9da2be425fec71
eebad54774c32d1450a2f33a9c360b55556d3399dcf1a8255becb283a85b65d2
c0af612ccc2df6bf27a30874f31a386a7c633b8438be48963fed79d857b8d3fe
fb90d431833235a30cca382b6f5fe2878673cad1d0dc20f89b1c5a82a80f2c9a
624b57ad403c4951d2c0d752999c433f8ee40be4f45e3580be85af52b5a7a38e
4343239572ff2f28ea3bdf30dfa18b906d907ffc60e1e7d1f8feb1748a01aa38
4a28a01e5f530cdd330eb4ac0c80f57e1ca5d9915c9663a4b7da03bb967211c9
611c3c32cddac679200f9c7dea1cd0935aa509661fc10e3bcb201d5d1b389f54
f5d5b16f8e0190ddc7442e899bd9d0dec2e7c447b9c4f3abf171f93d7cdf75e0
8d1895e69326e970760c4764d4406cdf2120b25cd87c0e6c71f0699cc303e0bd
64bc8875b5e513b2a8a0a9d5e72210b320c6079a76ed77cf04f57294dab3e995
64cce8909094c1c948c3fa7243aa1b1995767d7c5202de0b630fb7467beaf2c0
aacddcb88c7be4e25dd661980eb7125fb46909d6f2f498d5cb75de9e1d024d36
7b15b39f74110ffcd6d0e8cb1c29bb08db2640007c46d47f0d16a6732c2e36ed
c0ba191f3f1eecc628ffcc9217a9f31694cec30accf6ba00624ec5002b493267
241dc16ba5e153ef5ae08db3f281483744ee906cb4f3e1a06e799487c50385d3
c38bfcaac9bf900a8a6a2b44b1cab4f3af5e81dc2f49ccd605d7cd688b163a3c
3f302196862ac08444854dc663b6846861148c7b07b0c865455796196434efa1
f3aafdbb5e4199bee390d7ed15a6c3f6f601281a122e33e19ca1c1448cbde803
c02b89832913ee5081c62b14f1c3b5939eb05792761c3cc9b5
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark

%%EndFont 
%%BeginFont: MTSY
%!PS-AdobeFont-1.1: MTSY 1.1
%%CreationDate: 1993 May 30 16:26:28

% Copyright (c) 1992, 1993 The TeXplorators Corporation
% Hinting Copyright (c) 1992, 1993 Y&Y, Inc.

% MathTime is a trademark of The TeXplorators Corporation

11 dict begin
/FontInfo 9 dict dup begin
/version (1.1) readonly def
/Notice (Copyright (C) 1992, 1993 The TeXplorators Corporation. Hinting (c) 1992, 1993 Y&Y, Inc. [phone]. All Rights Reserved.) readonly def
/FullName (MTSY) readonly def
/FamilyName (MathTime) readonly def
/Weight (Medium) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /MTSY def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 0 /minus put
dup 1 /periodcentered put