numbers.ps

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

%%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: 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
dup 2 /multiply put
dup 3 /asteriskmath put
dup 6 /plusminus put
dup 15 /bullet put
dup 20 /lessequal put
dup 21 /greaterequal put
dup 24 /similar put
dup 25 /approxequal put
dup 28 /lessmuch put
dup 29 /greatermuch put
dup 48 /prime put
dup 49 /infinity put
dup 50 /element put
dup 54 /negationslash put
dup 67 /plus put
dup 68 /equal put
dup 79 /circumflex put
dup 81 /tilde put
dup 98 /floorleft put
dup 99 /floorright put
dup 102 /braceleft put
dup 103 /braceright put
dup 104 /angbracketleft put
dup 105 /angbracketright put
dup 106 /bar put
dup 112 /radical put
readonly def
/FontBBox{0 -954 1043 796}readonly def
/UniqueID 5018947 def
currentdict end
currentfile eexec
80347982ab3942d930e069a70d0d48311d70c1e2528f01045f8caec9829f31d6
48c8d0a29ea851af41c327a0d569abaafe5afe94dad818c312d3cee72f1acea0
b701b6a5608521a2866790bdd5776d6cd0c7d971b9a48b96aa970dcbb8b76edc
b90da356dc2529b665eb4bb80ac4f5b0f4c0ed76861e399638ad3db1be4759c7
8d4f2e81a2ff688d366b91d729d63ab5fc9556fe10a07b81904d879a7446da82
dc107ff41b0e3b7c2245d57b2ee9bab31eccfe9b79e3ec32cb1f10c622f4bce1
8df0e5c4b98ec714593d6f127c5cf6d719a79b83c627433d3aa39cb88ef85d27
4184c4b4c46ca5b496f20460ed75ccfb3d66073b710cc1ad2f2bec4ac64065ed
5e03930ed9ec97810f36845dd5048d90d724a88fd3c814ce17c417c84ba45c43
f5569a4d73739f71544ed91c657705e131f4d0c61752509fbe0212bde9c02a83
3910dff28f7c53f64b032c8e3cd2ba95c22177c3e0532f8699d106f119b80549
c45726d793b9aec38ff4c3120c259083fd13c644dea026e1e7c75dea2ec23419
83aff4d712c27c024393022797db1500c6543d620f20c9ce973ef7d917e7fb3e
6cfee0999e06c9dfff2d01bac5b3be0c47b2d5abc02e1f0f383588f430fa64bf
d5250e56da323c91f033c8f0f4e0f9cbb36eb8d4d25b127fda1bb032a7088cf6
fb34b617290de038198297f2af323602e5e96d475e4678e129d88aa15d5ad9cb
58e244028cd8d9a8210fb1aecfc3f29299986c1df1cb3ffa0fc203626e8e2f6f
3a6ab198963acb2b528d6bc06687d59efddb9c88535c1c69da5d81812b911c5e
f9985179796d2b2e4e92beec47a4075e306c8d26431d8e0732768dff70ef2270
d1fddddd4cca0f209ad05c9af2f26da7ca0accc0349d5548000499bc9c0876fe
d2523328acef33a054372366461b58782ad0500752724b16b7f03004badcd45c
aaf63fd86581c6f687cf45e07421e28845a4fd59c427a175a40b224f3b74baa0
375ea820c46604b594ecf69b30cd9bbc45a8df09c2b5f1a80d55920bd624c6ce
9fab9e8e18f82feab210ddc23dcda3888900abf812d6e67d866db8f095b48bab
37870a6352f10094e8693e8ddc41fd9e80e70388aaa4d601fdd19951eee31525
7364c2c66ed7478fcc949da0ec1db9de229a99a96b20156ad92aa9e665af8324
1b2faa32ec9256bdbbca71cb75b2175040af428a00cbed6c9e46c296f9715616
bd4769232bc9ab74fc8f6e0226db7cb8a5404c7a8f8587664226e17f50142fc6
6cdd58e56dd2e15d50c2cf80b3599d18f095111bcb2ee0f757474668f96fa849
ded5359f6eb2de907bbbc9926e08bfefd826d1b831c333cd6a02a9eabef3cb16
875f23401dbc341ca0f408f15803a406018b0201c985b83d99eb41c571437a30
89cd8c17dfeed6dd67cd94b1515ae677629c3f2c0765ba674cc8efff65199d85
d8924dfb404b0d2443a9305b8092ed6a2c6917ab8ab2aa7594914c8508b77c3a
9ce90c35b946a50f53ac3d2c65597aba898fd72da2df5049f6891d0e099fc657
22786db2baabbeecd5df72f40e1c91973f58dae73d1f6a5bd998056b67cb8cd6
f2fbc2ab919425e978678b1f55401d321e654f5009a3028ffaf1293e7106d2af
6ce37974a6f860982d87aa9dd8759eb2b116a6997fa9e509c28b5e8cff1b1f88
1e98b4c3aff68345b17b8296e9508210234f287143d43b8c92fbe52c7ff1bc61
21e3445a07dcc168b94a00d52acb191447936ac72bf7055bd8802c54be229f6c
2eed97e8ecaa1aa6aabdb434cde7436fbe5d6068589aadf9219e7759ca048a39
2bae3346ab7413a5eb5a9a1d3f40ac3db4d4a7d919fb61a58528fe73c7357df3
c02c1930208c313272181bcb68d24c538a21aad125ea29d2396e0f9ed6dbce0b
83bb7a9ebd415687124a017ad39ce071c345ecbe2787ad8aafe5a6f9df23a455
5ea857211852884afa1deeb98e93a46aa66fda3bddb9ed8e58d12571e31aab40
e2159ec81247d62c2ccd24661e0e5b25a7108d0307d3230c917b7a427555a932
2d5d4d252cad82810d71784082f0a3b5eeabd3490e8eebb0adf7b3ddbb7f1105
e1a9d40b53b699b4c87449e0cfd69ad52ba92f1c8e5be1bb9d54ea09e0960680
1cf5fe03448c270192156ce6addbc4505d8a1fdc5543fd7708d274ab7a81344e
c54e43415d490d87c1c7efdec727ba9cd1319224b4a0b937d01c6450e9cd5f8e
be028885c0ff04201de62f4923973f54860db2efebf25bf5e07981914a53a517
4cfd7c67a4a59e26217428fa0f297f2f2e457fbee507e4b60177be4c30d13509
81953263ce3f768e92cdf583844ebdcd9fa46a57f7ccf2fc755b60cc972c4c80
8ce29857947c596a7a37dde2c148117b9834a4e872d60d4eca3cdb2d2e4c2c05
558c3fb3cda6543dfce1508ec29786d61c887bf5b76cad23f915c28a798a2551
61429fc349a2515a56b442c419ffa3966b1ddabfc78ef4b193e047d6c6b00fb1
c7916b0980a2ddef739b1b93e62e2d2c18e3a321e6d111433149932c8943bf22
beead1b5c2b2f8378f8a2cdf1674c6953af9584f7841a8893d40d99ed3e55349
fd06d37db575bcbc039cff4842d293f9759d9b96f6d664462a86edae912d7156
cfd8a8b72cae233736673fb1742537dd2055c51df9834a121b738ef0b9804782
44a7095305fc9d508db1a51c150275053bf5511e6ce79d77d59842ad41a038ac
4b431ea20847d2c2b6f9d4a47708d23305cfb38be9d02e2c378622ab8b3cd400
5165741ead638046aecba30da10de31ec7107ca4c30740721cd1447abaf2b814
ab3bde09b98dc6ef40a43e9a0790bc10eaf4f8ea4a5282eda69ea81cecaabfe2
d1434bdcfddebaa2551fc178edc1f715e658f2477faeab0c908c599381fa3e05
abef1f32bb4fa35457c1e09154d32d3d7d7b8f500c30c21efcb44382f2d2c140
457ff56ff8bf44b9b067ab500a4a94fc418829002772a1e5460ae79a5ab12dda
713e57618d99f4c6206c46cdf0dcd4cd89544981153eba8ae5e5d07674b3dfb1
394b8bd95f0b44f46db60f47ad2c25572cc3edf065bcb94293ee0a575a8314a4
78afb9bf2a3ad0488e3a39dbab6caaecc5cf70386aaa331675a22351af26bcc9
5a5c67e121ccf7970f88ecd416ce5a6a16d6ded978f3036004b37029ebecd288
105e7cd9ca9064728aff830937cd5dee247c3167cfb7b2bc07b857984bce86fe
41982dee0ab3b8cbca2ccde5440f58ed843812f6640a99960c1256bde042c05e
239722b9ab68f43bfa7ca2ee4f1a0f47990d1b8269e329ea14d10f9b0a3df639
0cec3acebc3eceaa587e290300ec5d3c97d00795d3b97f32a0591fda449f3449
8c1650097b5b4e798dd60b4d8ef4f05edb5a22fd4a30eaddf1bba50b920a32b2
72efde3722d08b9f2ce7d8807f98c13688be99f2fa5d50982d3b07fe6feb6928
03efeaa0279b08c717b17d6f51aab63a9aaeaf6ecebd39b69f1bbdd958ca6390
fac87ee522f1e416f983e877eccbaf50f6b60a40389fc9eaae15a5cdd15730ee
31351c18847f96174a2b46a204867227106ce18a74054a31e442e02b4171d4b6
a4ee40d111a8cc3d01b597e6bf5e56bad96e6ec770b0207fbda7103226a24f76
9f6395f90082cd28c7d9a245b740a3b811a50d094d7111a77e0de6e481268ce5
d8394c23b7f18ddee44736ef489c36e2237a9cd17eb336d51e37fb11af1bc36d
dd621a9ad8412f37e74338af75909ce8e565b66758f416bfe41839b600d15558
33d4422b7289b646a10d61387131939ffcd63e1f488418e06d788f59dbc0674c
6a775cc0d3110c8c21bbba193f2cd1c3a75185c49bae492d38a1ec2a5aa1ce3a
6be0e6f33bd872a60efd2bb14927df28af421e2eba34493deedfa715adfd96e7
c73b9dab10d406c60de64a8e2cb1e7e9d9d796696cbe85fc4efbfcaad8e38eac
93ca40a9ad02a1c0798f81c624364b501ff83502f37b43a8eb7773f5007fbbf3
d5b5e6db71b2fbf7019feaedb174ef8265ce13adae2b7fafa2c50b81f9238356
10e00077e01b84d45927ef70eba811db23a766b385a1860adee2e68f88b903d8
a48432a27955ffb48e3584c9c11008d84400610a0858d3d0a4db43329517e945
d300ed1f5ecc61447c0a6b4d595a840b8f1b981e81d5ef0899c37032b1aa711e
d34edd6b847803ec16d35d036fced254883f6a34f1be4e1e6cf982983861c2ae
d682ed8e19e599edfaab1336555b672c398e5f130d72410b33c0186df8c345c2
01af7b8f9eebeca974295f5ca2e1ee96f5044e829868043506ee1d31b0ed9aa6
87879c3d6eba74d9bb06f4dcff04daa467a7b01cb13dd4eb3e2d03c30032392b
50c4455db6de49558a43a8aea724cfda0b86391393eee7e9ae4a0f2f39cebe57
f6084060816e04420c941fc5f832f9c1e83dd041c7cdd5882e625266b4dc0da7
b3c76a16ae5f167e587eafce95e6876713603a6d977a050bd9e2be495bc03779
6a408163bf69112bed20f15c2dfe2c88ba32fbde5d9616a9949bf0f57b13bb1a
0af386064ffc573bc4139bb0d36b6566baf6da27fc786a75dcfd2aed9bc02fd3
0eac748fe777f4f4dac840aaf4cbaaac5d991ba18aad4a8b8195127619ef3240
f3acdfb9129f6edfd2c5ce2c7f8a45dbf0a3fe3fee3de4b8a382fda6f05af6ea
56abfe83847d9a4b94e5687169ce9175c3f48f8e5de3451323e2a8bfa1940239
d1bc1233d9e9b2099486bed3ffadc228097ed4513036879cf31a9760a4d995ff
5028f1eb30932f419834466b1c2588d619595b99753116d1aa770306e69172fc
59a0801f813a7ca0404bcb8915e57e9abce246dd5136dace48fdbc1a9fa7fb24
90368283901980d9ebf5d96961e6957aee81e7bd223f107aa8a2a07bbb40a774
6cc2c3801b1a944fab1daed0b173a8c673be023e2f50e04cec8ab0c4ad42462f
f780763358dcafa3b0e87322e2e44e5ce964b559dd6dd1747b582939bd4e8b27
2db169c2c3b935fb18f1c23698026925ed73ba9ea52ae7076a2087467c9b579a
1d26e677617d414b3f525372da2da249bda8c13a724f33b5a5cfd50c8305dcea
b46c4efb08f49faac3f5a80d75b057a9bfac62ba72a6198bf352a145a0d8da5e
98697d710b7a1b449620c0e5304168f8b84aee6afea9eebf71dd7439d2bbcd90
84b3e429aed53681f1288b16fe8d681a8d818cf29688b74504b117a813cb8eab
609c7953951aa8028b1583ab706404e9f536a7bb0a522ff1570d26b280206c98
5f925e95ab3cda0b4e9e8d0d460f6b15373bcb365cd689a3b6ae1d20c7464c70
52e73b6915751f89b1472a067686f2f8362aedf19b49833420fb823bb748f414
899b4b8312f300c52ff1c03f1dab91b6e73c7e7988af573e79bc11897297d1ca
9be150bf508f46236420d7e425bda57ec85dff256667647096d34c5c7d9fce19
c451ede76feeda9ad95d3d43995f144b5c1dbf6cb3a4c9233d48d0c504ceb8d8
733467749a9ae7efe823e6435d893511f58c7a87584a23fd4e449bac289f3c71
b159454d787d7da16900316b6416894b9a3508527a3f43f1e55ef9238bac39ec
9ee62f399759c04b4617d757388e7c74f82e7133e58db61685f3292318695a68
636644bd00b42aad370fc9bc1d977ed00c55972ca85cba1496059d463714f9cf
9a00a9ea80ff3bd5a230a696b6cca2fbec59f64069212fbfcbd1df2bc91753f4
2f9f3f6fd2c4aafc5177529dac117f11b0fe9fc8a4aa6eba4fe303ec8a5ebc3a
192de26e906115bc5066118fadb020389d83a933c190cc03100b6bcb76a8a9a9
3fc231a9873fd1bfc4b6317c69be29e5b365f647f789ec2f0d51b30c0d374510
bbc1a152342c9a72d1275e4c40ee9d28bbaeff824d13cff50da95be7e1f935d3
8b46ba702446a053e8b8ed70e71706db992cbd46d61f01c12f954939fd265ed7
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000