(original) (raw)

%!PS-Adobe-2.0 %%Creator: dvips(k) 5.95a Copyright 2005 Radical Eye Software %%Title: beyond-sli.dvi %%Pages: 9 %%PageOrder: Ascend %%BoundingBox: 0 0 595 842 %%DocumentFonts: LCMSS8 CMSY8 CMMI8 LCMSSI8 %%DocumentPaperSizes: a4 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips beyond-sli %DVIPSParameters: dpi=600 %DVIPSSource: TeX output 2005.06.22:1812 %%BeginProcSet: tex.pro 0 0 %! /TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72 mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{ landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[ matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{ statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0] N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin /FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array /BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2 array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get }B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub} B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr 1 add N}if}B/CharBuilder{save 3 1 roll S A/base get 2 index get S /BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]{Ci}imagemask restore}B/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put }if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{ bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{ SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{ userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X 1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4 index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N /p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{ /Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT) (LaserWriter 16/600)]{A length product length le{A length product exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot} imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M} B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{ p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end %%EndProcSet %%BeginProcSet: texps.pro 0 0 %! 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]FontType 0 ne{/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}{{1 index type /nametype eq{exit}if exch pop}loop}ifelse[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{CharStrings rcheck{/Encoding false def dup[ exch{dup CharStrings exch known not{pop/.notdef/Encoding true def}if} forall Encoding{]exch pop}{cleartomark}ifelse}if/Encoding exch def}def end %%EndProcSet %%BeginProcSet: special.pro 0 0 %! 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/setpagedevice{pop}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 /setpagedevice{pop}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 %%BeginProcSet: color.pro 0 0 %! TeXDict begin/setcmykcolor where{pop}{/setcmykcolor{dup 10 eq{pop setrgbcolor}{1 sub 4 1 roll 3{3 index add neg dup 0 lt{pop 0}if 3 1 roll }repeat setrgbcolor pop}ifelse}B}ifelse/TeXcolorcmyk{setcmykcolor}def /TeXcolorrgb{setrgbcolor}def/TeXcolorgrey{setgray}def/TeXcolorgray{ setgray}def/TeXcolorhsb{sethsbcolor}def/currentcmykcolor where{pop}{ /currentcmykcolor{currentrgbcolor 10}B}ifelse/DC{exch dup userdict exch known{pop pop}{X}ifelse}B/GreenYellow{0.15 0 0.69 0 setcmykcolor}DC /Yellow{0 0 1 0 setcmykcolor}DC/Goldenrod{0 0.10 0.84 0 setcmykcolor}DC /Dandelion{0 0.29 0.84 0 setcmykcolor}DC/Apricot{0 0.32 0.52 0 setcmykcolor}DC/Peach{0 0.50 0.70 0 setcmykcolor}DC/Melon{0 0.46 0.50 0 setcmykcolor}DC/YellowOrange{0 0.42 1 0 setcmykcolor}DC/Orange{0 0.61 0.87 0 setcmykcolor}DC/BurntOrange{0 0.51 1 0 setcmykcolor}DC /Bittersweet{0 0.75 1 0.24 setcmykcolor}DC/RedOrange{0 0.77 0.87 0 setcmykcolor}DC/Mahogany{0 0.85 0.87 0.35 setcmykcolor}DC/Maroon{0 0.87 0.68 0.32 setcmykcolor}DC/BrickRed{0 0.89 0.94 0.28 setcmykcolor}DC/Red{ 0 1 1 0 setcmykcolor}DC/OrangeRed{0 1 0.50 0 setcmykcolor}DC/RubineRed{ 0 1 0.13 0 setcmykcolor}DC/WildStrawberry{0 0.96 0.39 0 setcmykcolor}DC /Salmon{0 0.53 0.38 0 setcmykcolor}DC/CarnationPink{0 0.63 0 0 setcmykcolor}DC/Magenta{0 1 0 0 setcmykcolor}DC/VioletRed{0 0.81 0 0 setcmykcolor}DC/Rhodamine{0 0.82 0 0 setcmykcolor}DC/Mulberry{0.34 0.90 0 0.02 setcmykcolor}DC/RedViolet{0.07 0.90 0 0.34 setcmykcolor}DC /Fuchsia{0.47 0.91 0 0.08 setcmykcolor}DC/Lavender{0 0.48 0 0 setcmykcolor}DC/Thistle{0.12 0.59 0 0 setcmykcolor}DC/Orchid{0.32 0.64 0 0 setcmykcolor}DC/DarkOrchid{0.40 0.80 0.20 0 setcmykcolor}DC/Purple{ 0.45 0.86 0 0 setcmykcolor}DC/Plum{0.50 1 0 0 setcmykcolor}DC/Violet{ 0.79 0.88 0 0 setcmykcolor}DC/RoyalPurple{0.75 0.90 0 0 setcmykcolor}DC /BlueViolet{0.86 0.91 0 0.04 setcmykcolor}DC/Periwinkle{0.57 0.55 0 0 setcmykcolor}DC/CadetBlue{0.62 0.57 0.23 0 setcmykcolor}DC /CornflowerBlue{0.65 0.13 0 0 setcmykcolor}DC/MidnightBlue{0.98 0.13 0 0.43 setcmykcolor}DC/NavyBlue{0.94 0.54 0 0 setcmykcolor}DC/RoyalBlue{1 0.50 0 0 setcmykcolor}DC/Blue{1 1 0 0 setcmykcolor}DC/Cerulean{0.94 0.11 0 0 setcmykcolor}DC/Cyan{1 0 0 0 setcmykcolor}DC/ProcessBlue{0.96 0 0 0 setcmykcolor}DC/SkyBlue{0.62 0 0.12 0 setcmykcolor}DC/Turquoise{0.85 0 0.20 0 setcmykcolor}DC/TealBlue{0.86 0 0.34 0.02 setcmykcolor}DC /Aquamarine{0.82 0 0.30 0 setcmykcolor}DC/BlueGreen{0.85 0 0.33 0 setcmykcolor}DC/Emerald{1 0 0.50 0 setcmykcolor}DC/JungleGreen{0.99 0 0.52 0 setcmykcolor}DC/SeaGreen{0.69 0 0.50 0 setcmykcolor}DC/Green{1 0 1 0 setcmykcolor}DC/ForestGreen{0.91 0 0.88 0.12 setcmykcolor}DC /PineGreen{0.92 0 0.59 0.25 setcmykcolor}DC/LimeGreen{0.50 0 1 0 setcmykcolor}DC/YellowGreen{0.44 0 0.74 0 setcmykcolor}DC/SpringGreen{ 0.26 0 0.76 0 setcmykcolor}DC/OliveGreen{0.64 0 0.95 0.40 setcmykcolor} DC/RawSienna{0 0.72 1 0.45 setcmykcolor}DC/Sepia{0 0.83 1 0.70 setcmykcolor}DC/Brown{0 0.81 1 0.60 setcmykcolor}DC/Tan{0.14 0.42 0.56 0 setcmykcolor}DC/Gray{0 0 0 0.50 setcmykcolor}DC/Black{0 0 0 1 setcmykcolor}DC/White{0 0 0 0 setcmykcolor}DC end %%EndProcSet %%BeginFont: LCMSSI8 %!PS-AdobeFont-1.1: LCMSSI8 1.01 %%CreationDate: 1991 Dec 10 07:35:01 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.01) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.) readonly def /FullName (LCMSSI8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -12 def /isFixedPitch false def end readonly def /FontName /LCMSSI8 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 46 /period put dup 73 /I put dup 97 /a put dup 99 /c put dup 100 /d put dup 101 /e put dup 103 /g put dup 104 /h put dup 105 /i put dup 108 /l put dup 110 /n put dup 111 /o put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put readonly def /FontBBox{-110 -208 1391 857}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE 3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B 532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470 B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B 986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE D919C2DDD26BDC0D99398B9F4D03D6A8F05B47AF92445A20A2285C8AB1196A47 F3F74925627A9AA6B4BB9DEA2B4366A405F38F1BE88DD664AA3C4C3B8AD266C1 508FD562B96783DDC99A4B3B86B17746E3118C3BB5EC8FCC3F1B806DFF63CF27 76A7B722476FA492A04BC21712307F7F07DFB18423A0A345FA227DDA5AE9AF54 C6B10253B6714D725B22488FD86608A9E51A6CA8C352076521840ADF22D5A918 0541D6D4BA99AD79C326EDA9466A8FAC2E19832785F7745122CA70AAE6B4665E 2290A37F0969A5F01F453D4C6CD9711FBDC30C311F873F807337CA8A8D021F7A 2F3B49ED08FCC0B22EEF2B01D841AEC2365B983CA5DA7220B7EAED5357ACBA7F 85CC4BF0BE30344260DFBCA729813392EFE768D1CB8D8D44DE6C0A769E792087 8BC0A916C4D0B23AEA3A0889D16122C8EC2781E03049B0A6C7293F09330A0295 74C81896A7389875B60DDEE2F68907AC2F079A55C2383E21B03F7B1151582292 2AB30C680BBD1C7F00F05F0D6D81A5C323AF3179AB9EC11B940FA962768EA4B6 F74F6876A5F63421341ABA04AA3A993EF456CC2330EA7D219432F8EA2B809F93 D69F4432C5A192F74A9EA2F3985C938D34D67BF40BD3FAFE257716313E5E0FAB D750E1476E5A1543260141B9A412BC703E617DCC2AFC7B89E0F469FCE99342D9 71FDDB944AE4C22ACA3A0D441A5E3BE2C6403FAD7B4C8D240F780130816B248D 320852F5DBC70057E41312E92EF96E3CC228BAB46CB6CED21DA7797C86A4D255 9C85723337B72025AD081E61AB1E54A672AC2EF6D612653E3CE60DB776EF731B 500B94C3CCAA774783E10F38E1A6EFEEC5252BB905AF8A992EF1D0F837686739 A01A12934E40377C4784E3E5B81F8459D969B5DE81A5456FD2FC569ACE2DB004 BBCFB0343A7DED14167999A33FB1502F2FBCB95F6DB3EB1B44F55C5C3A591684 4BB535CE14ED011E28320F489CD5296CC03E9DF1BD5532466F8A00AFF33571F7 EDA46A0123455C9611DC0AF65382814659556DD2C4E5550BCEC8637847702041 DED0990C4A6948C89C4878E11A86C43F7118ADF33CED983E2FF5EFD21CA22C41 A4A896CE396918AC2D84A7F6B2AB9BF199FAC799621EA6DFBC346A4D79A0179B 5CE4058C996908B2EF5AB327A20F2524D14B2F9114B36CD2EBE08831C26C7DA7 14B2F7A29ED442301A95FB6DF7B44B3C92F9C8AE0FFD5D7A69FB3159BBD676E4 6AE7269CB8609419237E56CF825992067C1C593A0E9D4E60D26F1B9A3BB056E9 6D29255181481534E54FFB07CBC2FB169308ED6018ADE84C081C7633BB536554 811E1E8BC1D7151915424E90BD4148B80002BAE3D88C167E616D8A1297C2AE3A 993F160DAEDB07EF2B61005F53EBDF25A8BBCD82B15FD9B2E0BCC5027715C4DB BE47BB8C73579D5187E2C467E827E7C83451996E9A04F5D796B72AE08A7DE2AE 9485ABDBC3CBDC9F479DB4B049830EC54CBCFDFBA1C22E02E38461620CACB8FE 6475B477ABB587E776717C4D3D629AEB0685BC897C6749E480E05578C8F32634 4B5BD917D9CB5832DEFCFE9838820E53ACA9C40BD44FEFFA4FA11E5C619DA9CF 59C351121A359985C4229FDE8D802641A821D676955A5E6DDEC438B7A954A5AF C6E79B0A9E022590615592B3671B4EF5C593013AF683820AD9BEA451DD776B02 40EE82AB071F712CA3F81CDDFA93BCBD24BB294FB1E62DFF244792DD323E0D7A F291E5BEB55AF7DCB2739049D210CE00B8D1E05D33A45447AD826BB90DD1D4BC 3471965147DEC5EA4D4722F2D61CA3A097EF4AF3C9DA4A0A00FE895466654F73 DE1603F1B8063B1F42B8066F23AEAD6C24D0A6C09D0D94D0C278C9202656A21B 9D43D0E7DA3C98FCA38FA6881F11D27C7858A946DCDCDE7878EE5D09E3A57A2B 09BFC9E88C52314D00695CEBAFEEB88F06092210055EB6FF2D3910ECD8379503 1689B49A51DA90DB1258E11AEC9602AD3F68A83118B0EBE40FDABFC92B3C4FEA F5A43A6E3E3AD26E104938220E5283EE1CA13BD81A4AA1F1DCB311F5E9E8CA13 47B8C0ED0E33FBEE4F3CE4552BAF264427D4733CAFA9199AB253EB6884B2187D 89474311FFEC48E10DE1C85E2F95C05F6B138C3A224D7733806551BFE59A42B2 7D5059C774DB0192292D90E122389640A71E1EC569D9732B39353B755DE05F45 D2EFBDD714CC1F10731501E45569277EDD68619C0E62A2B34700632DBE1F1FA4 85CC9AECBE3B0BF893A571AA289D3BFE57E5B6B425022808064BCFE4A4BFA979 52566A945BC6A7BCB0CFAD8851E9EFFDE28BCD0AF7A593E8D6C4A66954332327 17E88EEB7F6D334203C3DBAE9965D3EE660D6AAF20BED3C1E4BFA6F06DDB6374 8690EB11E735ECCDB10F118E3894DDA84502D8AD84C76E419E04A3E0C60E97F7 67FAB99B92ED72E1C4ECDC4178D42B6884D4015997B2ABE48A5E03A112B1EB01 B083398CEDF8D15DA07F0FE1E97F04AEC019118B46EE45E36207F11BAAA7B50F 30EE00D8962705E2D5A415BFFA10E22288B9C4C33E27B689840BB84BCC5E82F3 8FB06E9232C80A6B8BE0EA7C7DF5140208F124F39E1AA2008CA613E7774BCE7C A3C5FBD1BEAF8608B070F0C716C57B05829AEB711F76B1547474074699D74F95 F9AA79FA658504676C5228D8ADB4B22662B11F9EB1BBF3F5D73422C1482F8716 8A663341D61FBD549B5343952D9ACF1D8D0666E62C7C74DDCA5E6F2088FE4AC0 1F65BCDB050723052247CCF95332A0DE858897D3AC988D9B292ECFF154211940 5C63DFE40291FED98B6851F1B11085B7FFED6A14B86EB09EA2D4A3D72A83A7D9 31E0BDBA7FF9A3D09DCB2CA0093C2C5F1B4230F39155B8E51EB01366FCBAB46E 348FD6BB7F2B26688AA922BFE8D9CEE454AF6A93EA61ACF225D483FA4EBF37C0 5C428CA4DF5F7141E8D948B74911EC20B38C1893A85AA51777BABE92DCA2176F 049C17423A4D239FBD5834C7B95CF699EB7EC59E67087B13C0E1D7F9509332A7 6B635DA131E15424ADC42EF6957EC823B3E17929F4856D83C5C5F69AB0BA9B65 7383EF01A5F03D20F3429F9D468FAAA12B623190349AB1F3C810071BED4C363D FC0E68AF5C40925E3DC520DAE4625F25262B7342A2F33077939C03100C83723F 070851CE35F39248158A5059C5582E3DF7F628A2942EAFAB5D7C052985221730 7F478212599069A6A8685D58CE6EE5EB9ACA78D1F696B6BF980D9DC3EAC6944D 2012E93B7A5AD2B47BE211CEF41280E8DE4BF56FA246245E289E7D122D69576E 1F769E60BD78094AD1136E434D10CBAEC579241C6D3793B79B1D77E63CAC4FC4 1C79245271F0D57141DB7970BBE8822F8BD5755F37AD60F08F7A52DABFA3C090 A13AE9D433E2C58E5710306F39A91125B400EC837CD28FB9BD268F62E5FC582C BBFD5F65EE00A1B0C391BB33F1D999ED894E6EE86ABB15F84E1BA9D9625D3BFB D0BBAC8D466E40CFFF71E3E71B4A95141C83E7C018DD6B2B6A3950DF52DFBCE0 578EBADDAB7402934C403F02AF47C82337B1F30659D99E986EA19C2A0D40CF81 02E25EAE5A39A7ADCB2CCEFCBD1EF22C6487BB89EC833B1BA8A34071D537301B 32A7CD6F3A5376023EC48FDCA4576B9B989EAAD01B7C65958A6681759914B357 82EC42D1484382C7009C8A986134AD1D4AB899C2929549820B85D78BD1847F7F 2C7042079308150BEEC1C97AEEBB9A2C6D4C57F9712E53AFA0B5D744D0493073 765AEF4CC88E1EC13E298A704F15A145A7D9E608E4C0656CE62B7704412471CD 2C82972304E7885EBBD8B879CFE5D75CD350652CD6EACB8295E186573D06C200 28AB16C04F9F2F6AA287E0BDD4FFF11A424C6A736BF997478EC4C667611ACE75 FC8903D59F6DC36C5429234414ECD08FFA7FC0DF9BFDB05B7D721EB7DC99EEF1 0829CAB0F6552D9E73667AA0165B9817933EC8A9B859824CE2B543134BA95895 DA6C22A2E89AF1CF1067D1904E054C16BDCC5A8914A5FA4FF38C6642DB11FD48 C24BDEEDA2F44121573BC5E0F9142C8B06A534D0F688D2D867C8ABE8DB4C7603 CC55C4528CE77FAFA505C3B04F2F41B8AFCBDEB4E23674DFF712FFBBC7E1EDF7 38E601A5747A8D7C023EED338D5110FF6F5AF45723323854F090900A32B79B63 885B5D85F71C71059D42077D37E11BC93C62267CE90EB3BC5D5DEADD9513D9A4 15C413EA82F06950F8A50E6F7E4EC900C7C08C2BF48E03B570A3063B09B27026 CED73DFA4E9D7D798C6EC8F82B3176951AD66B97971EAA169A593CDA5CA1B5FA DCEE77AF86FFF3490B74D54F293885BB4E11B6D5C3753339D85BA38210FFE1F9 6CF5DD1AE8DFF7064D2B2B43C6BBE974630A4663E249F54C4DE49FD17EC33F36 A587D63E411BFCEFFBC7A5CC28945926BCE2BBA0280A5731EFC3240273923DEF DE543C9708517061F551A46545176086B7F4DD25AA78E3ADF0930B608F02DA7A 146E2B50C14BA142B44C904CCE56EE231C42444A5DD0870C3FB5F23879249026 67F5AA15AEA8875811D594541777CA66F25CD506877C 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMMI8 %!PS-AdobeFont-1.1: CMMI8 1.100 %%CreationDate: 1996 Jul 23 07:53:54 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.100) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMMI8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.04 def /isFixedPitch false def end readonly def /FontName /CMMI8 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 22 /mu put dup 58 /period put dup 59 /comma put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 106 /j put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 120 /x put dup 121 /y put readonly def /FontBBox{-24 -250 1110 750}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE 3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B 532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470 B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B 986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE D919C2DDD26BDC0D99398B9F4D03D6A8F05B47AF95EF28A9C561DBDC98C47CF5 5250011D19E9366EB6FD153D3A100CAA6212E3D5D93990737F8D326D347B7EDC 4391C9DF440285B8FC159D0E98D4258FC57892DDF753642CD526A96ACEDA4120 788F22B1D09F149794E66DD1AC2C2B3BC6FEC59D626F427CD5AE9C54C7F78F62 C36F49B3C2E5E62AFB56DCEE87445A12A942C14AE618D1FE1B11A9CF9FAA1F32 617B598CE5058715EF3051E228F72F651040AD99A741F247C68007E68C84E9D1 D0BF99AA5D777D88A7D3CED2EA67F4AE61E8BC0495E7DA382E82DDB2B009DD63 532C74E3BE5EC555A014BCBB6AB31B8286D7712E0E926F8696830672B8214E9B 5D0740C16ADF0AFD47C4938F373575C6CA91E46D88DE24E682DEC44B57EA8AF8 4E57D45646073250D82C4B50CBBB0B369932618301F3D4186277103B53B3C9E6 DB42D6B30115F67B9D078220D5752644930643BDF9FACF684EBE13E39B65055E B1BD054C324962025EC79E1D155936FE32D9F2224353F2A46C3558EF216F6BB2 A304BAF752BEEC36C4440B556AEFECF454BA7CBBA7537BCB10EBC21047333A89 8936419D857CD9F59EBA20B0A3D9BA4A0D3395336B4CDA4BA6451B6E4D1370FA D9BDABB7F271BC1C6C48D9DF1E5A6FAE788F5609DE3C48D47A67097C547D9817 AD3A7CCE2B771843D69F860DA4059A71494281C0AD8D4BAB3F67BB6739723C04 AE05F9E35B2B2CB9C7874C114F57A185C8563C0DCCA93F8096384D71A2994748 A3C7C8B8AF54961A8838AD279441D9A5EB6C1FE26C98BD025F353124DA68A827 AE2AF8D25CA48031C242AA433EEEBB8ABA4B96821786C38BACB5F58C3D5DA011 85B385124C3C9645B2FCE42C4DBF03045EA0D76FA71D27199EDF5FC9E61EAC3D 35CDA10AA71D339BA7A6337784ADE21D895F3CEB53ED576E410FE3633B94DE61 00A3D7E91945F00565D4670E45890DD6E25F55CCB296FEC7CE0BED4016E4DE63 652BB536BB46FEBEBB661711C936554CEF02C56E0316696F2A6E4FD58167E4F5 D6BC871FA6ABBE24E2229BB3DF4CEA1469F95F43B53310E47AB064666C728D43 BA7E088AE55B92F5607502DF198B664091E1C9DB89740DC872502AFE59144820 31B0ABC0BDF267EE1E3466BEB837B1B13EC93A0783834806997C1A0109C36182 5D47C5FC53965657D62E0C1FD6B5AD1BEA2776711771F5AA8A47B06D15B5F417 02DD7726A5C0A1789B558F76355077AC6C96BFD3665C734DA9D0B58EA66D2243 B082ED97AC55EDF2D926870B25FA5B0CC5A3C47ACEC7025A69A028B0DF823E67 CC07963CBD37133DE7948C2640E600FBD84766F3007A9DD1DD60B1E149F18A3C 0E98FBBAD29D51EB9F2CF802A871B629D5612A2DF0F8A94A77D753210DFA6D73 E9090A4BE669130B4831976F444387B49786AEFB0C738B42D03A39DD1352EF93 858CC369D9C0999DDF1601BA5C2FC7E22C7F0693DFEDCB8EC68EA2B24D5736D3 7A85EA10FE8FEB03A644BBBC2284BAA3D49ECB929814F3D20FB02FDCC0288EBC C7F98FD4EABCBB185649A0DCCC98D7B29BE908C90EEF432BF6CB80A60C8BBEC5 CA7F36771BAE61BF03E31BC9930FAE21094D554B4A091234FCDB9DD74668FC8A C606513C7FCA7AA0A51C0F5C1F51A67070B0E45DFECABBAAD64D15633BCAD011 BDD15FE9EFA07ECFF6A228F9D8C3180CEAD3A61F59758399166AE7AA34983347 01C37BC4BD135C5DFCD7D95B743A2B7FCC801D8B0F464E7973C082366686DC88 890E1940DE85AF86268729E53410D8D28BA763DD2018BDFEAE4526A509595563 C70515F1F78905F937628A736E6F1C2CE6182A4D9D13D8824224C5D2663A8451 C2B5BDB8D8E4E440F63F98C050A4795D11DB2399B127E24FCAB81CC04EDC9F67 5365D4CE6ED6B435055C529DD37210E4AFF82CCB80628C9267B5CB3F9D6403ED D932BB7F53E9CD2AD3355E717C5936327B3711255711B5DE5E5795526D591E80 D38E1C54BBFCE3D3E8C5A76092E87ACE44EE2B09F10EAA13DB43D83120945047 8DAB1D56D4578BBCEDD94AF793788BAB262353A5679BAE7F5632298727E47EE0 5C1AF65DE465D59358C5CC63FACF26684209740306F951957AE97474CF4966E7 F03646653BE089AA92DC19808E97CADE503FDFD275B6E724818D706BF2BA73D8 8BF63ED951DFC931E7295DD6F7ACD30A0D31C3E4D1CF03CBABCE91D05BFB016D CAE61D62CE7621CA82ADC996A9F8D9DB5E6CA091E216DF02F87F24F53A4CF9E8 1AC97B3A28E22B905C3919324C716D876927B8E97DC3268133E3C2623965A69F D57F00E8AC6131A25FC1C91B5E930541C861F8D6CCE5405DF877B5F16913A0DE 2836594DD0F11387416950093AD38CB9AA772FB48F90B69DF24CC546C851A67B E78934A614964D1BE28A6EB82C63AE1E7222EA4918106A5A4C99771264EC76DD 7D222B6CD9803CBD427D6D2BB28E8DCD6ABA6A78BB4AD89CC1C1726A9FE6C2CC CA1CC48C6A337EA6B68904C8EE60CCB6393E769C190E2CBD66E371FE516BDB65 F9B1B7119F2158325197F0F8BC153C685C61D1957D14E495731D2580AFB735B4 5B9B1A381094B63D430793FF85AD83FC23BB8CA2CC11A22165494608B75B8827 392091A4F382401F2906EC3B213FA7006633D501D4F89844846A305F05E89C9E C3685DD7FFF4F58C46DA39A602B6A9E3F7D945EA42341172021F073B86D470D4 10BC6DF818FA42BC637E16216911A863E892ED698A84E75696BD8D377E370E42 72F60F9DF57D764B02CED420CCC1D207A5684BB5CB71FAB188D7EDD1290D7510 9B26474C5940677F6101A90A8DA09CF9882B3F2A51108C94FC32E822E3C0F65B 7912FB03620CC5BAF73DB043BDF6ECF96740A0C4B5D73FD0DFA518A784210E1F 7E99AF629607C19DD5C419D42293468339872C774F3411B7C55C90ED6AFEDBA7 B4980D9A91B6C2506E67508C3D803B850EC042928B88D33D41625254B19AB239 9470616E04784E397EBCA8D7C70AC841C34443EE10E2CECDE9FB6134D0975ED3 A14698105B02AFAE0D0E0DCEB5B69C3D7EEC87BA82980EC511024EAEFA3736C1 CE85B46BEAC928F755C6E9731054A444508D396647874DDBBA7D3CF2E910440A 8ADA1E7E3BB884CE87127CF88235F22C4B26AEB939AB753C3DE32BD4A80A4244 27C597C7F9B6D1A1395883D02F84CD1675FC8893149B960800287A57C753FEA9 5CD0BCCD22F221908753D97AFB2EF89E5872535FBD5ACE70A24DD5F50CF5666B C21E5E5B8A00E20C71C5EE6393355ED336371128C6579C1FAAB94461B130BD6F 01A8E0A1E6137F72D3497EEA99B27CCD5E96BAA081428E641191F8C2AA8D9694 30E76589C61BC61061EBA16EE6E9B5F9F389F3E28F5F182EFC8FAB33A21A7991 DE6108A76808D9F1B28C1D9521240209454140EBDB911A0512BA7474A1C2726B 26471DF622BDAF1EE5FAAB29568FFA1D4CFD1BF398264095EE0A249A21F58D94 D12085C5D91ED0803258D70D7AE9C507AC19CFC0C0ACFF68E1338D54AB1C239D 4B07EF165B37516CA1BD8AB9FC28EFC827BC5DEF4CFEDE3F53B3702102C33BEC 445710E7E79432C8535AA902F7AF09841049BB894B6DC72663851005639D71DD F6FCF76694B3EF9F304F8022B78161533F9EB52602B0477A19129D1D56232B39 D757838B11D3C308F33D9382A085C757CC1CE00E33B1FD844DF5EDF1DB875A6A 5ABD02745FD0EFC55E2AF120D6017F495A68E8CC6F83CA2CCA31D45BAEBDAF35 0096004F3710346295A48268207EA4007B99BD21CE8F62CAE5DFA749C7D0B624 1FFFB828EBE3DCD5887949869A608BBB96D265E55D56FE31E458A35475D4D88B CE42EB39E92826837CA558EA1EA50056429208EE087C338309A67B851648DD88 7A6D4B2D4B50D5FF9A70BC24902685F04960AC17C99668A6A8786768B431EFA0 BA02AD083A357EC8294812A576308F310AFD3858CD507E28822A548C4CFE8550 C85A7A319E293F16FCA79C4DA541535E94103BB2AC260BFBA809CA91E7628C2E 4C43251C6816C18CE6CE99E29670ECE0C6A7C4BEEEA34068C329E137AFE08A19 87278C2D7A323ECE279AEA2E94482E0858E45698F292D617BBBE2A7D85D71870 63055C1CDA3E72FBE26893E436AFA927576704E6B6F565603299061526F7A434 326A1A482A0489B2769E4C9136E93308CF0AB7777DFA6B1486244D21165BFE4A BA74AB83D8D5DE205EC112F25B0AD442AD947F5A71F872780FEC605C437C995F AF9FBFB74DE6161B67B3A57DAABCC74C3886A8C6022AC7382B63FE2B5BDCCAAD 80B27509AF0005D94DC3A0202B136F0D078C8A18E43D32ABD2D30EFB63E28B3E 3A23075D6CAD0B30A94AC4907551370C3C5903E20A970BCC78428BC3773ABB1B 87A5A1FA983DC9D9A079A4EE3C3B902A11E0DD62FE30F7283E3B626EA2863D58 C8841C892B641487769604C344E74AC3B9394749EA2137914B9C5D4B0631B9F2 FD1212E3AD50F1557499E00B8C53EFFF0D94065E0406CE38E82C770FB7C786D9 48D6104F7A956293CBF5C7BB63A3F67FB0F138EA5E0B848F81196769ED960CD2 DC7A2B2643B035D49FE1ED425CBF53DEF188AD582F48A6D4B36D154AC5429266 A5B73D5C1E9BED9409506B099126BD9D47BC50FD066A950590A075D4C971A284 F66A633250C7FDC4E86AA78D5258CAA7F7A201068C1EFAA1C616979D98CA05B2 C08EA73F06AC55940D40F217431DE88ED06A1DAB6F968371FC4B32FCA9E3BE95 011B183FA2BF47EFE02A6CFD37CCEF12D088235745F3780B749DDEB4B3D8DDD9 B8991EDE25C6B2BBE0DF9F0C885C819F414AAF4C0553F69A0E23FC5CCA9293CF BAE397F77A0924D00BFDF86145ECF0AF6A99E554D0FEEB5C00294BCF7BC49B67 2FFA52D185C0973C46AD0B3AECD3A910D1037013E5C1A65A7F372103DD14769E 5FDA87C85A3BD3C9571DC9E46D6C9C626C6FB6AD4B14142707A1B1FA431C504A 72D03DDBDCA2AE2FFA66EDB7A0A6FDE4BB3A921F7EFB1EA460210E2DB91E7468 330413100C62A1BEA9F541B4FF71FEC145A63DD8ABFB1B753511E639FD0249B8 155401F3BE9AEB24E75821F552390B5180EFB3E18A816DB80B6B311E6CC8EC72 3FCA318114FB72CF3B54936A1FB40039BB1DF442502D6721E0ABE64C6BAA23FB 9190E6BA2B079007DE95F1A25691357627A27837ABC0F5262265D7A2383581DE 5135EB6B3ED06B95F1798970A31793EB4FDD3B39481F6344D02F60E51CD3D878 9E35418FCE6F1B898CCF90D5C2C211C5522E98AE4D2E8D5D2C68302EB6DF3670 408CD94DDC2C30FA7399731B2217743B96F842BE046663AE723DC61EEF189903 899402057BFE89857CA9137D983590140707DBEA0AD359529E8AAFA5662D154B 3838246AE16109A50BD4431BCA256D0538ECD51A1E665350F95AE47B64404823 2CFAA7C343B98609A8DCB97F2E48E9AB347361CED0BEA8C1C139E29D9997AEE0 75B67D08C10002842451529C1AD96402395E7B8AE3AFDD148F94553EA83415DA 52EA379EA7A08900AC6B4DD2C8A89C01C9AFF2F12D2E1D04F3F7A7B161D0DA43 4C0F9385DA8ABB34EAF20DB3D09849747AFDB60A467808D437E2273355079820 68C6CDC87A93BD41CE35D7454CB2D6BE1F32824A2ACC1079AFD0B3A01A626A87 5DAB26CC2CB40CD4F46E18728FF06B40EDBD2068DF360ADF08DBF8540CD3C475 ED05A2B68066FB831BC81060F7AB8122E2221A3ACE99C516CB663B3214E4D338 2368E71494B5695413920330E44C37F449CEAA8C61B45E7462BB4E53A22C594B 452747FC0439F3766B5358F9C16AEECF772900B5974FC5F3D1FAB12B879D8FA6 2B4C65BE380FC8908036836022FECC12565339A24F4CBAE99B256AAF83686F6F 332E0514E08DDBCCAA7AFC8B879ACC49D91AB1BE205E47BAD055CF8B0CD82095 0B503AA928B8D8505E654308D5D413394E6516DFCDE46C1957D38398D3AECF14 F92243C365B025CB21F5D43FF5AD71795645B7C5F25881EC20F9BE82C9991E8C 09DDDC2CAC487167FEB7F7D6A859A0564CDCAE04EF1EE673702D68523E7EFF3E D5F0894BA5C87803D1B4C327C46233C59E79B34AF23DBBEF7420A543BC8CA654 40F70F3A1647EF970EC12A26ADB7D7771DF89180ED619160EF1940D368E05F45 74BC63D0F3C69A3C20B132753DFD600043D222E91C3284578652AB0B4F89B662 6B3277E13C0C09399553D8293C42816774C52E3BB4E0064075509C7CE3A36F76 B829C761311D853B661CE1E0545C3FABD1AC1C5BDF50D2D3687B8413AF4AD8DD 519852A253A7B07679DFB49DBDB50C86ABB54260D6D0972FA63C7FF5352E8614 D80F8D9A42D2EF89A14351DEF7CC38C8417799AC1C9DE9E465490ECE6682381A 0767CC62FD72F997CEF280B639CDCED05B2AA3701FF475423B581E43D9217A8A A3D368FF1C69FF22CD958A6FF86ADABDDB00451CAAC48EB2FB91D25ADBA3D3EB F6562BB79B67B6DEE7345D80F9AE8D64C7C5584846A6DC3AE02C0CF28B9AFAA6 391BFFFC996B9CCDDCE1BBFC750D80D3CDED0E0D8AA04B0BC0BEC8B8AA248C28 3A2BBEA8644BF7FE2A93DD8D46694A2C165F4C73995093FC9D76F2E36BA715BD 3791143ABFDF124D2E03479807149A3E8F174C844A1144C8FFE3695422532C27 A0275159972FE3F742F22FEE5F5B4E9E9A6C125F1CE780087F668E90400FEB3B E522EA2DA1F38064B0917201B339D10A580EB54B2B15160BCA3CE4835074A8C6 30ADE5CCF46AF65C06E99C114CC4BD077E1DFE7A6818747D1F19A9A333CECAEC CC41B1A4A565420307FBF5C1489133DD781B0D9B95E7CFB13BFB92DA7FBA205D 8D3F7F06261225750AFF9ABED5604157E2B80685577171F077831C2829E4C4E0 21D9C4146879479C8922FF14D39CC78DFE819BB5F0EB059C1779CC5D93C6CDBA 66076EC8AB86721E13B3E20B6F8B4724A7DC29BD4EF1201391A8E3B16AC3B61E D30D7DD9F2BC126F767A04154E469713FBAC382776D6D96B25A87CBE97E07A67 7A325220827B6DD69D3E3978BA7AEF01A09B5F4006456605972564AA7F9C2901 A81E7EEF7379026F345CC6EA1527324B706C0F6852A3713A77CC8D79FA4CCA87 7338EE22E347892B63BAB17E35FEB9BAF5A730702B98AFBBD9D328CF961C1C22 E932511B1001E874ADCB4B00F1BC86424C36AA5E21214CF7C47582CC294FBCC3 4DCE16F3AFC46D436DBCFBFCE45ECDB700BF4EACEA594DB81FCCFB9680AE3A3E 766193442FACDF24FAF0CE5D93D76610E527D81E7A5CC088A554F869C2C24CE2 15FEF73CB88019A523B21D7F85F2FE64E122F9C5D37D3EA28634285915CBDD9B B594C4F8CC6C66F32EE9D86DB2EC9B4F8A09F3751CF60056329F03F8FE8EF5F1 5E441C12FF0C91EBB8AB3052225AF5BD18938DE761F2BBFB0C8D94030FB60221 6A2D1B04A9D835C6353F728C038DB762B0971981BBD88629B9667F095BEBB830 1C0D09F1E607C7EF8097CAFE31949B25B7FD45CEE181DBC96EF0B01380F73F95 684CCBCE65FEB8126508E204CC9D1EB2C56A594DB065A4991A1924EA740C2282 EA12454009310C3BF5F368DD036FDACE075260AB9E0C54EA471DC0AE9CDBCBE3 8DA0BD75E84DCAE30D119FB589FA61E9950D3495D5867A416160F570D2298108 102C371F00BB4DBC57CCE6FA4E29CD9D899C56204D8FFBAA67D0193017DF5D5C 9441763A1C8924729BE9D8E19610E48FD86965704BFB94C9D0782C05109732B6 0D43CFA4AD9B93A3D7259C114CE0AF17CFEC5E5F624A079EC19C8CFB90A5ECA3 E7840245DC03CE3C590980277312C575877A32773C4D6D423F918ADC62B07A8F 29CDC5D6D75EC8B27F353EF8F7D7B990F7D08E437D9B4E7EA45BA7F4D65B229F FA10548C31C8BEE03C640DBF24C859B07E894C8988D49A47FB2160E1F842EA0C 3F9BDAFB28C973213AF15B5CF4115E27DF551ABEB01896B88F6A50D55A6EE0EE 3DD758BA0892716620F9A201C5D871C5E1D5E740A0D4F0D2B333EB2DDD0095CE 1E7AE6CBEDA9A87FE90DE9E1F9349B914BDF16A4117A262F3CE764A78AFCA985 7103D75FCFB198CFE8C7E213649C1E8FEE5D1160B98A36512A930D50C2F7982E C6F0AB05B406EB3D4D04A7FC41A267F1CFDD0464EED6710BA0213183736C86F4 5D16F39C36D4C7D08B95E2FAFE3A4BB7DC0CBF820D61DB94BD6747F36DD57154 7ACCD96AB4FC7863D00C89752A3BF663112AB87E2191C10B0978C42F5198C34C 55B03320CAF13038C9B2C5166246CEAC685848FD55A98BFF6E028A343A88F683 16 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: LCMSS8 %!PS-AdobeFont-1.1: LCMSS8 1.01 %%CreationDate: 1992 Jun 07 22:46:24 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.01) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.) readonly def /FullName (LCMSS8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /LCMSS8 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 12 /fi put dup 13 /fl put dup 34 /quotedblright put dup 39 /quoteright put dup 40 /parenleft put dup 41 /parenright put dup 43 /plus put dup 44 /comma put dup 45 /hyphen put dup 46 /period put dup 47 /slash put dup 48 /zero put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 53 /five put dup 54 /six put dup 55 /seven put dup 56 /eight put dup 57 /nine put dup 58 /colon put dup 59 /semicolon put dup 61 /equal put dup 64 /at put dup 65 /A put dup 66 /B put dup 67 /C put dup 68 /D put dup 69 /E put dup 70 /F put dup 71 /G put dup 72 /H put dup 73 /I put dup 74 /J put dup 75 /K put dup 76 /L put dup 77 /M put dup 78 /N put dup 79 /O put dup 80 /P put dup 82 /R put dup 83 /S put dup 84 /T put dup 85 /U put dup 86 /V put dup 88 /X put dup 89 /Y put dup 91 /bracketleft put dup 92 /quotedblleft put dup 93 /bracketright put dup 96 /quoteleft put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 106 /j put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 113 /q put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put dup 122 /z put dup 124 /emdash put readonly def /FontBBox{-87 -208 1285 857}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5CF4E9D2405B169B077C51B8CEC58A64F93279 93461255C3731B4964C586F0ECB1D4C4C11A8DE9455681C3D6AA88DB5D5CB0E9 E61D0F2ACDB447F7E49A41DE0DC2CC77A92307FA6A537D9C89200285DCECD31F 7A27378A7C8FE034B7D97170D6726FBF822C1AE63089907009D50CB0CC866635 3219425C3FB9C4F5EDA7689F91874E7A4EC808BD8049E8A6CFC64E302287D4D5 B644489738732002D249E2747E7DC11795BF966921D2E61E0C05256B71694853 290DF3A86D07AB423A0CCFC39634293BF07D3B8AA140A9B12B291454BA7BCEB4 F0EC576E89C8DDCCA6449C94AC2229A8D64B0D26F811A0B0DB8913A2524051E8 76420339699D91F262A1F227C82E0EFE4459F4B367B0820572700FA5D89884E7 91A29A7048089836FCF88784E64AC6B6B19B55928AFFBFA5269A8DB8AC9506A8 788C8C5508CE0DAD2185EE7E2B530374C21B8800686D96862A621759E2984DFB FEC6ADE490672F0D7F6814525930961A841DE5B002EC3DD47EAC6C35ECCB29F6 A9FE3A5900A6CFA164066FE572C0C9941EDEEC5FB4059D394461AECD3639DDD0 4A64579AF5E545CA5A5B5AAE2459DA49885D00B7EE3DD9418D6FE413B5B5A6CE 31FF6DD11E1533D94899DECDA802056546C95B1401114C88A8756AE64EC7E4C6 13985ED6FF61C00AF5F01079EB583386462E197376A1025400B0A6156AA3F0D6 755D8F26B2E4CA7238202CBC9DB2A2A972759AA069A41EEED25AAF2A77A9A9B5 5CDBF2B3FCE985ECB47DFA88D1BB317EFBB6376D17E7295FD94BBBFFB483B8D3 6C355570A70C393231DFD03E5770136A2AF1645970BD173AC93C25E2D8480C0B 0AE863CE6C65AD8229A26274FC87C1396D5268180A73EAEB87EF529C7DA9ECBE ACCD055D7D9E748B51A8C175C8B939F07CDAB7D8D9C8242F705EC5C80ED5372E 65845E2A88635ECEBEAD9F3FE354EF74B865EC9C3BF2F26298D60C5F92667F01 8439B07DE96410E4F0D13F7DFBC342552F851DB168099585F080CF055B04FB06 45B72DCA59F58DEC4A2E57B46A4128B544C0361F23D509A40B374B3A86E7D176 ACD8A12AE1700B2ACCDACDAF0B42DC4548C2BB190025F42B87C16AC91011044E 5436ADB883F89BA906F46F83B0F9CD1631EF9A9AC714ADDBEAAD39D1A6B885C5 8C195E03521AD9F09AC3D7D25BBFCA66D88E142D0CDA1248D52946A2BF6DE03D 0A398686071F805FF746005A240477F840018C18E1A0F0AE4AC708166325C3DC 73AC2512AE5487E44DB270B8EC1F4EBB26297800242DDF16B8DF8EE04F59D75A 6094CA03A099310CFAA6A0076706A8D1A1EE1B232E65CFFD529870FE6338DFC3 A4077D8076E4559C70D83492F807898B04627F302CF0821EFCE7C1F4D4D20A19 ACED00EE413CB12F48282BE5A38A5DB622F28EAF0CC91F332B67A47A81170891 AEC22C1894F43F377983C70509EDE439A971FB84DB6E4C4E21C635BCF6734BD6 020DB155C164DDE218D7CD1DC9FD29C39C2FF86A72626D8BBBAC1B36B74A48FD BE57912703D1EAE1958A64CBB3FD6583E24310A1D4F1D560268D9FC992DE7959 B9158CB91CC64458B010BA8E89C74C5A256FC69176ED6A131D4B7E912307F1E4 8D6FFE82AD2BC839AD86406AF462F8F4D58DA35F1055B9155CE167994C137B8A 1FAE1F39793F654A076B33649F9B8F357445F21B727677C8B8DE6E6BE406057E 2D906B1F6E87D9AC6CB310E8DD5E64D378A749278FE5AD5E23F340FEA1376CEE 786853CFEDF89474D4A7429F6CABC70BCEF3C580167D7C004B5D5DB9DD5EEB23 F4FFDF6A9D07AE474CE7D986D741219B4DD9FA7365843F21305AA1A0E6325B5F 78426535A618F3A69C1C4CF80DCD18DE63040DABC25DE6AC87DB113BF8FFB2F7 5A2DE9A6337D7A87729F1741CBF77AC9BFDD4628083FD367271CEE28747E11A2 827C9839D30D3DDDD83AA7A4B525303644B687DC2DB096DAB65889D20B0670F3 4F0D0FB98F5454F2F07D26A8AAB819EC14774078E655A9F048233B6A0E592EC8 BE1D984F0037CE47709BCC5FFDFEC573A5C0D1FDC637769095D4E0ED3DD0AFE4 7C09FE8BAD3E5266D0B5EBBB583C488291012036247455669AD570D7A27D0030 F64AD2694BC57FCEFC52B72D54D0C013A976D351663AD3A49B3E94BC3AD06FCE 601BAB55222C6F4EB8D5D87DCE36365E1CDCAEE7AAD7E2DCE515E8C63453C12C E5A66DA587B4E89FA506F8A1B39B0E8B19F2AB5AF20B8F247191E76C0ECE7DF3 3A846924244F315E9474D6AC39CCE72972D98FE2C10B72B3C969BEFD2E1FFADC 660D86FE348D3E7C51F9CBB44C36A9546A751BB1F38BE1F7E55D41BBE7C7360A 5DB71BD3CA9213D248C1F7A06D89EDAEA13EB3B644A8763BE96E63A6444A628C DEF8124C9753C5423E7D499DC81A8F1D130F54E2411ACB3D1DC2A02199257C1E F10836C39B72869CD36964A4BBCF744EEAB27EA103E185A4F5E22A6857E40DFD E100607672C9EA41AFD8C728774C691C8F29C981C3103B7CF6AB685A5D47A7B8 BB69589A817ACC22E42A315984E1757E6FB40B48F9E4C9ACA6D374B5E3BDFB27 3B1B60126685DF5F86A6089FB57D2227938D813331081AE027A5501631C6D42E BC3A73D688D50D1EE285093E5E2F1ABEB0C9D93F0BDA890CD7AC9B6130975B01 29830438807E860D07B031CC8A82077A80036A375731C9E7968431BE3A0C2B23 9000D3FF6496CB1C5131C3077A245BE8159FBEFD2A4E36CFA7DC23B1F43B94D6 88ED124CF412B24F0E5B4C94A2CCE5426A4B8D9978CED24953789AF01A768A57 32E2D6968DFD3794F61301EEA9AF7F7E5F07155D7470B01E2C8618B073A1F93B 1AAC8C762BDE98BA28B2BEC5594A39BD54E3F6EC7D9D16A5FE6C4C26353EE504 498BA97B0FD8F9CE34E591EC658D72E97D2068629DCE75650AF91D665B3F188D CAE936EA8CCA4284F30E3A16532FAD3818B0807B5A1D57292B8D50F80D4E41B0 0ABCD5BC6BBE786E2B0FC285C76832CFD52E3526B15FBB37B0303D34A8143744 A1F65C4E908F22708A59283528324032257A16F87F501E66CB2D0DE31786FAC4 532066DBFF646799948134D7F6B75ADB415EEA83426D1634A9283A28F15776DD 8B179E7FACC759FF8D01512C05AFB55E6E01702314B65B16F95B8389A6E9AA80 0098716FF79CB0B5C6BE764478CF4365598721C6A5CBEBB2C655552569BC5F23 BCDAABB98720AFEE301E9E796AC62E87514F5D8D131D0D7D65EBD7F6AE4478BB 849DE4214499FF5B1A2E406754D33BC3CF97AB3B0DA26D29AE332B4DF1FC23A5 F48F8B72048A0DF5AFF3827FF36AC2C16B0C9C12363D5AA8DD795B503A907DA9 D3A6C42360AB8EE4CF36B44293042C0B61ECF415CF322213023828337A9888E5 0A3568751F47CB07433D3F56DF976B12B4C8804617360FA3E8A75EB6C6A71875 0388A56761E20C02EF78F82CA4221AE89D8ACA4359F45211A83131484257A17E B6EDEF7F6E725735514FCF9D66D48784EE7B3CB9503661B2D4FA29F042169027 846F3E121DBE549BF1D893916A7EC5DC25DF873193B30A8BB59D217701A5CA5B 0FE3BE22BC80DA08FC74CE19FAD159DB62EA7F172C5587FD881DFA18EE372768 50E9A32D9B0B46FC2BA36DCBE03B2722CD181F9543E11CDB5B026514EF2F3138 89569332631CF4BAD964764054B3716C11B1569A9A02ECFAD83B0DFBE281F502 78A0F23F7322604597053833D3DFC31212E0A6E379EC80644190E5C311A12C41 263FF121274ED1C31B10503738F44DFDDAF3586460BD3A989FF8A11E6B67F373 D518736D1168A701515A01E31472E10364D90755DDF6E9490D1E62E7C3CE8E5A 08196FA26B580B11EACB83E48A713E6E09DB8D0387FFF1543528C522385DC34A 4B1EF5DF2193C11B11AAB0B878D1129386AC22AFF4E7AEAEBFF848D37C5935D0 A3499233F696E678557FF8CDD99D24FAF0E74066C316EB40BAE0023872CF93B5 3D83BBD293B7E8A1D4718F4C47E185B6E6C54E470D00EBEE9E1A2EBF3F543C13 0DC5245F41A788D0B39735A0A86E28E60078BA8F8B225C6CFEAC2D89BEE5E901 24136B03FA826D86AA0B41B0B368DB616FC643C5F88CEEA0B36491F7A6B03C07 71F9D233994F58801B85413065AF3D03A3E8AB511DBD0AA3440DC8AA56427781 68473A36699FED366E299AE7BE749C8763B76A28E2F5F122999A9D24FF8AADE5 29C0549B0043588BF59E5BEEC36AB7F6E190A3FAEF95E062D23C67BE8BB4D4F9 5EBE1A85B2079D7C7D82BDC594AAE87B7F90473E0CCE0FF0A34283541C6B8081 7B5129B619A40E76C6FAA94382423FF226BF14E0D8EBC305D0A05D838AE5E2A3 4771B82C0937BAB71656CC7B23F6349B7A12F63B972F84A472B9B9F565F2360E 3F9B2343C60904BE013A7DA6670985BE9411CBFF1970537229416AABF646B2CA F0C7D40361CFBCC4FD20F834E5318F268E84F92E2B44AEAD2C34A814C3A8DAFC EBE0AC58050FC9F06EFD7FD928A45A9CEC610369A8A87298E353F5E29C3D1618 C5B2C9C6D05AB78E761B3D198DC4ADB730C50D3D8B45DF7626EB8A4FD16D5470 E8CA6B56564F02DF96F0B6A841633BEBDC595905FB44A4EA875510ACB36282C2 C43613B22B8B27F58855BDA2D328A6D42F4770956A38559647CDF70D2EF89E70 7CADA3C223C0484B5567DC1809ED95F3D8776AE2B658CB600A0ACD689102955B 826885EB2EA49B1A6892E3AC86F6F86AE7DD39FE20C5A5D839B0346C0C34796C 831331011563ED4296B3A37742C07484F324EF8320DE61715F03FD440860B775 D0CAA9CA410958A98DB2487A0F90EBAF0DB4775B98F960D770BEB25E8AA33685 BE30528BF36B0E88E1C8F62945099D6902F90C37E5D791D36BF03E8291D20921 F6934E6EB32650AC290983DA609F555209E532CF77B5C72757E20C999E1B0611 4C73408F40C7B82B8A495E2C425F888003B873B8306862EE66444BFC2178B98D AB5E8C43E66EDFF3F30D64E21220E654E53F4C8FF7072D99517A5AF741340959 0D2883F754617DF1ADE95DCAE34C694795B868394C13DA575398ABEEF2489981 9911E72ED42980CDD48397ADB0F652A45CAF7D4CCD88EDAB73BFC3E956D357DF 087D087423D1A2ADCF42EA340ABD381538CA1FAA70DD0DC574D46AE533917152 4944370B14204D06DBF879C1E9797AD178624032C732AA428B37178BCAA2AAE6 9734311B01F8C05F45E2FC9A9178117FF5265B35199AFDB7DC9A31F0C7DF4CD5 EC6F5FAB2358C90BB2AEC9D7856C4C4821F38E8E3141CAC8625FDFD17066334B 9DD573ABE458E91CCF970CB53D72B66610DBEF539DD083C199992C217863641E 8271E0539EC4360F17F621B3350F8194BF0F172E369E62A0F53A51695C1A20E8 767AAA1BE3C5AC38348690E57461101BAE54A8F863FC0A21D96230F9AFD94C21 0989E59446BD9B47CEA3AF06DCFB265F607B495ACAD9E1C56D7B88942AAA728B 7093113CE0801A9CB6668C75ACE0A154FE6AC21282598828A5816EA7FA9D9F50 EA284F0B737C5B6EFB7271BEEC68CA489D71D27EC078920BC6358A39964F0080 5452D41449792826579FEFAE55D0F22E0DC16D8B999E074840E21352CBFFD8C5 59CFD4DD4C57CE61008FC2F82AD753E150B4A382659BB12BAD880F8E103B4464 CC559FEF3A4758EC60FB862F44812FF177637219BDD438C59D5C482023F966E3 61CD95F03243D18D31874DD279F91177C99450F49B1253624B8BC6B8688962F9 B23733F6F710C5F83DF740D8BE36A3C7A6993C3F0F82D4C0E31FB5B365093874 5D9B36BAB1674F4198002568E80750F810FA1EFE5C4559D83C9BE5A7EAF78F50 64C39E022DBBF854ED585BDED19243C986396E8D64D6B0F3C9C8605CD56E0680 8C6A046B253E5BDF1C0B98869DF68FAABA48713875A520408FA6B9845F51F93E 56D419C2330A06A09CABB65ECC39AD1140FF554269EADB0C17FA83CCD4E31B19 F05F54491FA2830571A4C8CE229CC655C1BFE85958B68C7FBC83F06E7AD34804 F8858106667609B5DC0E45C87A7B97DD02A214CCF545FA5A4E70BEA57F1EA40F 1D15D20371960F56EDD863524E334C8148FCE678C9DF1945F305611E35420FBA 5ACA2BE3588C55D21C45F8BD646E6E90CF8E19603F3FF862E153E57AE13F5F71 5BD1E28CA8F849B253AB8D745A734B44E78683E7E476C4C03182D2044DA16382 F3D801F7B38BA1BFA7CE73E1D5A7D3366CB28D17C3F055DA2D7D77C615647D74 25EA051D0DEA84ADCC0DCE10B5F2E77770BA37585405DDCBABCC4E9059C0E468 0786782DDA9BA11D1F843028546D5268835AD053E4DA689E0EB8B99BBB62D640 5B1DE0784E23B21CD79D7EEAD55895A5E3FFC8482B65FFBE2319598C1CBE29F5 679DDC0C34D87AA6A3FB047DFE66BD2AF8590D27710703593271031C0F760FBB 3B58403BD4410EC610E8D0A98ECF5935B7842BD38C888883098B46F4A260DCEF 6199477B74FC15C20C7A390A4F3CD60DA75C9CD9ECB6BE186C39790B6B81449A A709542A3DB5A877E3A51CB41B663663FC32FE0574DAA093D5401562742777AD 2E23012B01FD4D27AF24E21222A291CA80623162F9E156E6E106B2D5A335E313 953F4CE8FF4C0525A7DC853C5A9DB5167688C7349D26C7CF15546571A0D3E11E 38BF8458616CAD7F868C7EB04665607E7DE5839871A5C3C3992C42FBAC5B1D44 267E3126C2E80481D0D8BFE82EC6319BDC494066BF3406F271A73A1D38D147C1 ABC271818C3BA3674EB0F83E344BFF5781486E8F33F4D7CE5C5BF41CC3F06CC4 57DF659508A31FAC46E5594C6B16DB5544B9B1DA7535F4C2A7C0AC1C49E1BDDB 862BDA1ABF2AB45DC3BD51FA6DAD1FCEB87902CAF79698CAC8CCB46E66C47738 648BFA9EFEE2A808B3E72EEF14E0A4FDD46BA0C17CF176437CF1D5A976EE2975 C40855C5736180F4041F814806FC604313238C06F68A5F288E130A880A714EEF 7455409884F0F4B2D79DC0CD0E257F99EEA97973CAF01532741F0A482A5F0B6A 9272178B2AC2D9197D6D06A5DE0C64963818AD5065F8A35C17D2BCD9E2B5E92E DCF301D9467BE7B71FB47038BE966E1B4E0F5F4D1A0D0AAE2C6FCA377980292B EAE74C226CCAEE78EE778988AF2CE276FE6EB0C1D0D40505EDD33858D73BE0DC 5F8BC5AB1A21D52393F6413534881BAC7973609C89F7EC91B5E64F67E3CC7554 2BBAB7DF05CA297E54BBBF6FC19CE6236888871FD9CEA38DA7DC2298974AEA75 1DF6B74C01BA13F4F7579441F8E79EDA807E68165947C6528D7D9AB88A73F991 6DCBA7EF9DDB9E18CBA702B7E6313939FFC77C4E6C303971C99CAAAF1D210323 8CB4EF2BF7C0BE3771CA7BFB1A17A669EB42C3E2D7B9DACD30EC82C88C76A813 FE66F59D2EF3539B4DF26218394284BB9219B1F20DD8D4B79ED8920EBE671D23 7BC5A2BCE24B7358EC8FEE8622176201B463A7673C7584513DA7DE6C789549F6 B918E7FE6AAB172BD3392F623870EF2183973CEF7EA566841146CC4856735C8B 5B8CAF7355AF3D19015FA36B98ACF90D0E5426DC75D943EF05DAA071F05598FF 29FE9F80027F6F6037806A2F8230D3762C8E8E17E8723763C9C6B8197028C748 A0991AE319EAC6B90D588BB4D76EEA9543E5CD1B4EBE8C75BF260CDE8B2623DC AF95F6766EA1158E5FE3488940AA6107F5D9E8286FE55E01226F0C894968228E 92580E825918FD3BA610838E763AB2300AC9C7F994F73A4DBA8ABD3DD26AB6FC 3D04E64E774F537ABF285F093841DD7408256767764C933F9E0A6DF8A397DF27 964614972FF40A7DD60576568253B85CEEC4E12AA38283A5530E017A955947CC 104F2508161D376E9E1A54395F82C69774DDE0773C7B0A131661F806B70EDA6B 639235078B54FDC33B0B15E9FF0AF9646236C9A7728474FC0A642381245DE345 FE9D9E35D8BC68CAD40BCD58DA1908E23800777537065D7C32945A6A5B9A0966 DC918A9954D77CA67340AF3D79768825AA91D9DE64D4C0F2C3443EB047E6C27F E59072044FD1075182DFDBA9293F71C0FBD8F2770DC8F5B0271F88868D9054F6 DF23630698083ACC23DFD140D1F217C66F553A2EEEDBE03E89B49FBD5B9E6D2C 1188D8EEB96A8D8F2BCEF3941EB24744BFEFE07FC03B3314EAFE977A832AA50B 31EACF2AC45C5E5EAF03BD33B0462BC008038676552D8045339FE25A4887AB40 348FFAB95BD1F33A3F8B4D8843B882A54C69F7884EDE2B0A86D81FF685B1DD51 BFE230DE89ED02956AFCDF9E4446BF531ED0380F433E21EF1715AF18FF92F6FC 5E0316814998728C046BC8FCEEF271E9E5E884E0D7A2FEBE4B6C5A943D9718A9 6562F6E3E0392914E3847690BA38E0B1D4466BDFA562739DC5CD65F8C4D72131 D26A73F575FBEE36F06B978AC4736A9231A44AD59667FC0DA8030883762A6015 255B26145E22473667AB356820604F72E780479686F3C3667C39799EFA562E85 BE2F0BD548271794C9FDC964F62F01B05615958F3F4EDAD33AE58A11C0672DB9 B937908C3D1AC9F58E18014C2F4E9FD0863ED70BC3052C52FB3DC5BCB40BDF89 B0E3BE69C5ED147E2BC79351802EBF67D1476D6132ED034B37FBFEE4E8DB044B E73D16B11B9CB4BA77AA8C0316EF4E2B9EC1C566B45C39DCC400D61FF8BB1509 D77446A373C9F64C25258E95DAE63BF9F8A7FC844511589ADB2FAA775793E42D 3BBA6E71941DBB0D76159B6235CDF2580EA02B72AAA50C93C1C3ED0BE746E24B 701BB613AD7D06A167F6622531AC5A732F403E2EB6184F3E65B6E5F9F6180F1C A069E0603B4968A8BD385425D7D0C2D474EF6836D692924C9A579E0BAC7538D8 C5F6EB1D02E9553BA4AC57FFCCBED6DD84E6EA37882A38A20C5EA2204DC7852F 275BB6BFFDD11CA0E286F13205EA0A0277056A6BCCBC1C74F2E9D2ED93964892 2E3F52DDAC298023C8FB4E72250B20FF1CA1A243BC80D30FBDA3328915C07AE5 0FDFA9F09A35F94F5BDE3B0865CD8DD8F0E06B4C3E89C685310FE28DEDE02EB9 F0C107CF66243C0445E946204F87CB5A4691C1CE30E0F1BC8D893A37AC1933C9 58DC46D86F379BED0986F82A0EB2F3C1DAC0FDB4837AED48F9F199179F910DE7 BDDB990848CF7589FB4F26545F45433E2C8ADD0CCD27A7C1274B880AD275A775 5D2F38B2737B7E895F823A9DE991FDE9046F876421D167A24F7C0020A11B372E 5CC3E36863EE924E60B3621AAD6005B238061929D234AC3B95E45CF828A455D9 6E68D6AAD20C4E7C5E255A5B36B65C844B65078945483EC5ED0DD2E58DD06347 8179CBB572AC89F3B97176C991D6E5497DC60094AB14AFD70F9C3D5EA17C0170 217E19BB0AD9E3C356A62FB5157BD195FBB2F2B8E6FA3D31EB7628D815A06284 03CC6B7470E2E35C8B51FD2FB81F80A807140C6D62AA54A9343F9CF554AE705E AA3E52095B25389DB8F375F6E1722DD99A261C33823C67CF8685C4CB76BBDED8 661122F84C3CFFE54A55BECBCEBD3CE839653D9D20984771E5962055F8811839 FC4734BC00493ED0972608C1C4A36FBB2BFBE27DA9B9599C215D9A519AF4A338 2F2C46EF702C94EA831C6D93E4E1D8E965D843E8A3D30EC2DBEC3EE42458CC1B 4BA197C94FA5319130E2034DFE4796DAA775A0F4D31572F73F011CEA32841F26 335B8481965AA5CB18D4A4C98D5EA46CE6A6C0185465405C7F5FD6155681F48E 5CE9B7544466159E229794690876FA33EB842AC23083C488D69E50C9A4DC92FD 9DC7FAC855B661E2A8E5F3950E7DDEB03D6A0E49B37A516BB6E414656F7F3F6F 1D99371C0F70D229B2EC7B3BB044EACAB43ECB7CEA10470ED00D19CF89F3D34C 583AF465338BFEBB6E8D66A2CD093530765D6132481F0DF8AAB89F655504C799 7E4317D9D558651FDE750BC0976CA55F83D7BAE7D8DDE69DB4A870D7B21AB246 17BFB768EC30C96B93AF5006E795B062FE9662799DB771C83841BEA0B16B791A 57A93982809E8F4E7F236FD421483C53495D28E0948FC4D19EACA12D7BC36C70 028D6270EBF64DD266915990EA8BDCC60365D02C9D568E3A63FEB38EDDBA1042 D6658A0AF499172B5E16D83097D32E1556ADB25383CE6627AA7A81E6B4198A01 2BDA098793EF7663876E2188A92A6C176315E3B32E45A9FDE44FB887E8BD85B3 17ACF2AE572399417893C136F158A0F60B32FDBCFF13F873B5292D0281E3B8B3 79B70879345ECE054D3209537107312FDB26A83342201B729124EE447BDFA9BA D8F95901C25F94DFB3AD9EDBA2A7AAB038C8E1F254742C8A1FE5D6FE6F60AE0E 01913EF68F160F7AFEA210F7C81AC2BA9008C2B8C6F0D002CABEB08188A8590A 9643A0BD993F73FCA7A3DD7079F8867D9CBC7AA6BD8924DD8D583B92A8AC19C6 9946EEB534549A3C8EAACB1A4695D704B7E643C607AD9BAE43623CF93C5383B8 EA23834E0AA79B497037C9727E56DDB615D0364FA648F984A080D96ACE7B7C81 77A642C5F149BFB53328BA9A4D7599F99B59B1650A9F12DD08F074458DA33BE7 A7E09F1B50F3A751B748EBF6624A392DEF608BC327ED6DABAE20FF185E0A2878 D28206A3B5597CF88E1D1D9A4EB239B51F0E983C9D90BC31D8E58A6F084C67AC B1ED15AF894B558F62FDCA3B9866672A2D49B4EA30BE1660BA3C2B231A4C6F00 A7731807D1E439A0AD9FB7B1A7966C745AD5F178C4E3AA7660955794433BEDE8 F8729DDB58FC38E9BED16C0636C34C730E5A25A2A80902736725BF01FF3A3AE2 3C8B45ABDFD743011042D8AB8B883265D26B2355CEC26EF81ACB764F4B780738 10CC7082032D2165D0F88FC57FB068F9717A361B2B0AFBAC4052F2093170B1E5 38C1FB67EBF39B852E4196D9D0CBBF7602B16CF9344F2D509606EDDF74EC1A9D 8B4FA478F39472CB3865FBA9E144DD2859DBCD02545F9166B07EB61D97B7E57B 16913262DA3ED8084088F88F4AFD0FC60870D717EC783980FAFA4C87FD7FB61A 8BADFA958C97B2DD8227E4A549ADE1739F00BC7AFDA5B92A819359B7B53DBBBF 5EC05FEEC46141F69FAB66EDDB395A0A176C7B011FEF592B2C3AB6C477A546CB 320E8B5497F3F799AB410A63DAA10F930D8CA22121BBD16CE372616D9C78B27D 403007D0EA064948937052C1B71E8CC3A7C1FEAFE7AC7B4F63AD4B5A53285353 B6CB53555487BFA86B29619CBA0A065E7FD757C03AAF7AE613B4CF08CAA13797 6F02897CF2977BBFD705DEBD88E484F32AEFA5E433F373B8DC95D96AE688A843 EED16BBD0F0979B79B67EE7F54AFB2B83DD960574882FD14B2A42EBE54E53E10 F775480FE48A89899897B08C84FEC725C74146E085BE4F5F2EEB6A57F0204741 72E1FF748C09D7DB0BC72C59481AD83EF8B5C9EC33A73FDF4CA74E40F6A4BC54 F71DB09127BA4D6E9827C449B37E83807A5CCC89CF7228C689A219DA647CF1E3 5E6BDB5A108E98150B1855EE2E4EB8EBDFC8EE4B7DE068B32D5015E3DEAD3C1C F0277FCC98AA8EF1F58BEEB2ABC9483038129A257DEF22DB402BCAC5BC7BC614 19A7AD1C9B0727552436BCA9B3EFA6362B6BCDE9175B35CBE7B7627BB8E04EA9 E0B428C95D5458C0155AC156648B8ECC3857CCD021AC90DD6056F2FC4B159972 A0FB572036BFE5A7B1BFC4E5A2F56E4D4AAB909D0145207A9EA1EF56428A9EFF 0D9B7F9F9624C9B7455EE553BB225C3C6B8D5BE676AC8AF5A792E310F5B5AF8F 9DD1D1B93D9214FA28BC4DB7DC8C6D8BF10F7CC67AB4012A78B6489F0DCDD716 327FB813B3A97C9679FDD946B5F7CD459A6A5F482DED43901CE2D5B5B08B7694 A1A0B7B25C6BC59689B6E32A0BBBAB34FF02E9E2484B6DAA4B79B7FD9B3E2E3D DD9119E7F37F047BECD324BB3557A15345C8A2CFC659B77267B42998EBDF6EBB DFB988C004CF9FB6B79011B809CBF2136D4D37DFDE86656285B5D80C34B5A660 21B21A6753DA158B6402D70B84A2FD636406B137914FD546F0A762FE837793D1 B5AF900B4A8FEB2AE7C35B4A6C4A570DDF327855BE4B083A84D867989FEC287C C35C1E5B9EB2A9E9BF76564978CAD1588A3C36A3A89CBAFAAED0A7353837A764 FC6484FADD1705A95D58E7C40D8C738D3F0F0DC49809AACF86B51A4031952772 32996A6D5EE4CC5776CA31B1A9FBE4CA79C816BB1D59688D6ECA0A7DED5CC86A 50F04A49FCF674CDF3950DB6FEBC941CD27CD1367468CBDB356076E3746595D6 ECA5321F26208272609D643F78C49FB96A57511A6E4BBF13A6348EA875578ED3 E540FBC5DD33672740BD197F421E74041A6EC3A3C43534CE3A3D794FFC2AC713 59A15148546AFFAC00DA5ECA10B7BB58A10FDE38FED6EF92782454811537249D CDB505AFDBF9BE08030473FA610798D7A0F2F507C7544605335221FFFDD9E45E 4FFB8AA3C4B35BB0324461E94295345570F6BE4885555CE674CB95DC0019B700 93E3C6CE22D815AE01237FD49AB0B945DDBED8C1B6DF74EABE8600A8DC4E2C77 106718361DC2DBFE7BD3894640D19198F2EA7ACA2490454F728E10534A3277AA EDFE17C0060BBB94601014350A1F323350B68CA348C09E52BD156DB41DEBBEEF 6663C8C6A38DF97F4241FCE6E08774EE34CE33498387789DD3AE60DC892FA442 92D7E9436192245B41EC36E8D003B3225639DA3DD9A8E22B14CBE508DD4E208D 88323506B3A04E3B73D4EF865D74607120159D55EE8749AB5FA09129B5F2CE51 F49EC5995BAC01A9906E697FEE90643ED1DD82944181F186D4059CBD2E99496D 2CB1773E8D8B6C8E9F6DFE02C0ACA98B58F9C43988444AA41B7E24D8859A317D A72AAD27AAE5F2B14FDC16E05B0EDEC6D6681C1E09E752A2A4FB1D191BA8C6DF C1E3997E022ED8855F51B369E85DB9DD15863BCEEFFB8ACA95C30010D6A9B9E3 B8334935F08848111D5AEE012D090045369F1FE7459AB6F6E376450B61E666BB A994EF6E4EBCE63E10008C3CE98CB0772C5276FCFAA70808715AD9496C5C8893 EA40F730F6323F4B3B1DB272314AF10E566A946EA0DBDF5CDDC3DD50DC0E4C40 5124975C9A71B71A4DC1708E1F138D85665801EBEA50340FAB6DBDBFEC7A8E15 0521B6306D425C38291DBCFDCF7AD8113905CD710C03DD33347D3B94704F9E1E EA1E6E4DA73885D54364C600235A93147824CA4D116BCE1201B5115011007677 5DE0D220A5E20FB2DF1FDE2D5BD7236AB874F5C495ECAFC1686DC557992AD58C BE92D9A2810025EFD71B21F04968CF595F5371B1BA64902DB171FB4AE71138F4 7E8F6E5A855C2053481FD7E02566A3BA926FE33933FE1F4A35D92639C7D7F3E1 4CAFD059A8A30E7B1C66F854034947E6620D8462650425A51A1AB75AA2BFBBBB 0F7A13AD0673F36A2E151A6F2C83DBAD197667E9E845B061361C5641A7AFDE23 A24E656122AE2985B5F5DC349C464F9CAED7B2FAA147A98F93DE2EA5CA389104 6AAF60965D1443CCA32F7811D9E5F58C76C7F239274B6E09D1E49788E1E72D0C 6D7D142A71F279FC5550E394EDEF82F2DB3A53314E09854C91A1793B9777980A F78F47E76FA4935CDE00ABC68F140D6CEDB6DF7BB0C867231603E150C0058AC8 6AF5152DB3E05D98DED61168E82921F16F3E99EA49BD292F5F79CEEFBA250DB5 AC41B253E40BCE61E5E96CA1C7460291FE694472F2FFBD9CF6D65E8520134DF6 D1C66389BCD24EC2408202B589B6B2E285AC81462D6AA2DAE7DCF1D48C605C0F 7F414AB13CC0A01DDD4C218E20C3D299547D1F35953864A25D452EE04C788791 B1605574653FE51F48987D65023CE9BD44B3191D73DFBC1FA9A6008C97AB6EF3 89B1CC5DE508D87605510294B421CDBC340DF9DED5ED4199F27B2E7708B39122 4C79D2F165C7CDB7A58DBDE3791E7BCF094F8D055EB01DAF5A01B71DEF1ED6A4 9FBA80F0E879084855C3109222AA5C685DD0FC324616CB3F433CAACBF129A47E BBDE8B037058CB9B99C3426481190542F910A7BFC8D25ECB4B28B7F1548B2FAB 20203D3B16BBC5542B28F16DD931CBE502D6A09CFB3AA2CCAC4310AEAE2BCC37 90DF68D0A7532C41BCC105B7819FCD49DC3CD906743E8E34DB9BCDA6C1D201EA FC1B2B82ECD1C5BC3B392AB62F3D8754F41CDD915DD1BEC4E8BEFA937ADCFB63 E92F30D9062B05F378FC8F64AF7D5A17DE200731001971A0D9990838F58603E7 D5CED6873A0D845BE3CC258D49E8134E90458A6339794A08B454D90EA58831E7 41FADBDA0BC88FA39697025D7B8AC2DB95D2A9A12FA7CE61B4AE60F9A3EE65D4 263AED95AF327A14BE9B350EE627777D4B6ABA251250595DCC874E3D4BD6376C 7EA88B6CE5BE8D6CE37FBBBFD64E686C441D7AACA8D139D828043E2B9F74FEB7 1869D08F3AB4158F60B7E177B1FD049DF0C31567479521D858513FE91D4986E6 E39CC1A1822F9721FD368F69D32A182E345968C66D7FA5D1035809B44804D54E 01BD2FB52E0AAA27AC8853802494A2F39400E1471DD9C3B9C308D1824059EAF2 6A14F894DDB5EFD02A03C78190BE127A61BC02955478333FDE879B41581820FF 0F10DB5FB9AE6BAA3D4B2DDBA4D495B60E25DF587856A33F33DFC8DC2669B015 DF726CCF13E0162B7D955B54A97E7B2858671A73E47EABE6F2C1872453D8A183 A542E7A0E24D1E4D40D7C6998AD11736E025CCEC2C90EA19170EBD1613179CCB 3639E739F28C523021E8BF1FCA2822DC41A2ACC2E49E15DC9221844822CCB669 9141F411B3CA3829B48BBC55EBB0E9DB40E1F17A291C4B066A0316783FB93718 8507F66A08662B5C3E522286E858E9859AAAB478C140816FB6A44EAA2558EE13 72C300977DADB9F92AD5B5408EBB9989920B1D5113A7C8143E31A0C72236D9FB 8B05EF83E120FF8B0ADFED015729A6A22DABCCE9085F344E400FB9AF23C34D2F D53A019482E276B7C547EA752B0F2D2F84A7FF27BF99C5E146D51AB29736A623 44EB49AC17184738580B1F6F820C502A6677FF2573AFA35D053D80410C3645B9 D841DE190EC13E0828D6A8A109296E9B07F6E9F2C6EF0720834D331192F0E99A E545E888EA7CD5E483E815D2C490F6E88F11EA71C699B9785FBAFF70E1B247B8 7717E4FFE3C6A126C39FF14AD0513722B0543992493AE73F027F32576CFC4D7A D40894AEEC907E6A1A7E3C64CB05001CA0BA49D41533F905909455D8B81ED8E9 E876D9E3FBC6B1E8467996998358FC9D83FCE514A9FF4F7AA0BBB1483110A2E0 B0F3991AEEF4C65B547D8BB05CEE65C748C4051071E303AD3CD61628DA28EA07 7F3710C51D7996472CCFDA9FE4769F352534EB01D633191745D6723B49D0DDA3 BB1DAE7ABF604A786DE04C6B4A1FFC3FA9580F1F972A9E78FC6A1B81E0C44CCC 429FD2F20F9F6E42345420FDF70E57A2CACE3D62DED4C1969B281ED8FA14C691 76E94E11B435099FDA57E76D6546287D066E9FC7A7CD8DBA7D2B94D548FAD70D CC03F5DC3A9B91E0B06B256F82C7442CCAA85DB33B32C51A7B4BBC2EE0279A82 1E5EF3BE97C1D9F720AF58C3993B28D83D73F271A82E0330B79BB70608B40D00 FBC3F2FBE9C62B56303B360EE63A4AC67A007694C602D091C92ABE3F5AC1968C A82B70DF00CCAABC071BB71682B6A01326C7F5EBF21DA73F09CE20AC6E89F3F7 2A7A421609A2263DF82D1511861F06703E859F77FC204BDC7B6EA6BBA24D4325 DDC7532C77EB49689330D2E8F5CB645596475A31017A9E5DCB4F5ECE4EFBAFDB FA7747F2B18AE4411F69F2258584F91897182BB0614D7DFF22D5651272EB766F A03C40BFD97A05ABEB9511CA8526B28FFE487A584C5EFA83C19DFD826E6CE137 28B5C770B50A71D1862C5C5DC22FB02BCB10B3045BE9D1F4BB34E08EE4D0403D F8B8A7D71C3BC8E8E177B2CD27A9D2CF4389FA28942C910FA2460A66798FB610 1C2388F10018B9E604207610FA9E98B9CF0A1627338C4425C08B81A8CA1E671F 2978168F0ECBBDAF45EFDC6184BC169A3E66BAC1233887A48ED63ED8FDB808E2 22E9B18D1EA52F05131593FC059407486FA7C2AD6752373480F3 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMSY8 %!PS-AdobeFont-1.1: CMSY8 1.0 %%CreationDate: 1991 Aug 15 07:22:10 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMSY8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.035 def /isFixedPitch false def end readonly def /FontName /CMSY8 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 15 /bullet put dup 21 /greaterequal put dup 57 /existential put dup 94 /logicaland put readonly def /FontBBox{-30 -955 1185 779}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052F09F9C8ADE9D907C058B87E9B6964 7D53359E51216774A4EAA1E2B58EC3176BD1184A633B951372B4198D4E8C5EF4 A213ACB58AA0A658908035BF2ED8531779838A960DFE2B27EA49C37156989C85 E21B3ABF72E39A89232CD9F4237FC80C9E64E8425AA3BEF7DED60B122A52922A 221A37D9A807DD01161779DDE7D5FC1B2109839E5B52DFBB2A7C1B5D8E7E8AA0 5B10EA43D6A8ED61AF5B23D49920D8F79DAB6A59062134D84AC0100187A6CD1F 80F5DDD9D222ACB1C23326A7656A635C4A241CCD32CBFDF8363206B8AA36E107 1477F5496111E055C7491002AFF272E46ECC46422F0380D093284870022523FB DA1716CC4F2E2CCAD5F173FCBE6EDDB874AD255CD5E5C0F86214393FCB5F5C20 9C3C2BB5886E36FC3CCC21483C3AC193485A46E9D22BD7201894E4D45ADD9BF1 CC5CF6A5010B5654AC0BE0DA903DB563B13840BA3015F72E51E3BC80156388BA F83C7D393392BCBC227771CDCB976E93302535C253C2A7A0D2A39F364428A2F6 E75C522DF7779C207C50458653CFCBB74C28D8FB93C4A505CBCFF64175CE3168 7335D1F5349075B3FD6AB84CBA8513CAA1308A96DB6D10EA70D799A769103385 A17B45DECE34805BEF8FED049AC47DCCD481DFFCBAAD9B92E154881D12B10720 91835C4973726ECB874BEFF91BB8D701781834E159D86C9B510C6E898B2DEA26 8772928FC99D816658BFFB4FCE86B09E93BF3CE49FD98B866A1030385952BAE4 3261FF089F24C137330A3A48338B2EFBA8C58D8D380FFB5D5361D36569BBECFA 4F6A5AB8AA026E2D3C52520990E716731D4A7838289AF3509545F6D81B2B6AD2 15740DC274B5D1FE137A47FD6BDB58D2C371A76A99F4B3FBE8D79B287BCD4771 7706519D14F603069124E7C08C23DACDA184E8D56509F4DC253C3B1EED139EFC 7E194AF12897E65BA854677654CCBA4A042AE53DDD8FBF9BB90179102067E9D9 63AA32351389F065BED7C66C81952AAF0D6361A1A739556A0105A9F90086F16B DDBB2D73B6791DC744CBDC823667FFF27278F6268F08F4EC0B7B426442B3A299 C07ED926144082F2E118DEB86996A373175808EF37DD46EE0FE36C02B3899D01 6AC8C16C2951A39B55146329C4352B8A051A832EFA7FDBE7DBAB4982C530D891 A485F2EFABC95DC24BDA5AE83870DA3F71A88029D37AA70A1F3112C94615C6A7 7F3278794D4F25223FD513C210BD12A049BD9EA66726E9FCE9D2F85F815803E5 FA324840B57C8BDF59B1071362DA37CCC3A443AA28163D812C3162E4ED546C71 A7921E4DBE00CC6AD2C443D3652DDCC8A011CE9FFACF47DD3F47F825DA6D6451 A4025BA3EE97B5B0AE845B635231105A87D429853D27F7FF20C4EF08B77CE5F9 B8831A0871A7BC996BDF58F79998D24D39DA992A8F64C871AE4403AE2BE1C000 BE5D61DE55504E89F4598F436F69F84A24B4D128DD5E3F6AC3DF94178D61B07F 82CD 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont TeXDict begin 39139632 55387786 1000 600 600 (beyond-sli.dvi) @start /Fa 137[92 103 75 79 69 2[103 103 1[46 2[46 103 103 1[92 103 92 1[98 23[53 26[57 46[{}17 165.272 /LCMSSI8 rf /Fb 134[72 82 120[{}2 137.733 /CMMI8 rf /Fc 200[72 72 72 72 72 72 72 49[{}7 114.736 /LCMSS8 rf /Fd 134[87 99 1[86 102 63 81 79 1[88 85 107 155 52 91 71 60 101 84 84 81 90 76 75 93 37[49 49 35[106 22[{}26 165.272 /CMMI8 rf /Fe 161[117 36[98 35[137 5[88 14[137{}5 165.272 /CMSY8 rf /Ff 131[207 1[89 92 92 138 92 103 75 79 69 103 103 103 103 161 46 98 52 46 103 103 63 92 103 92 103 98 57 2[58 103 58 1[133 133 1[133 134 148 115 135 1[130 160 134 169 117 139 95 53 134 138 123 129 147 132 135 133 138 2[161 1[57 57 103 103 103 103 103 103 103 103 103 103 103 57 69 57 161 1[80 80 57 4[103 20[109 109 12[{}79 165.272 /LCMSS8 rf end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin %%PaperSize: A4 end %%EndSetup %%Page: 1 1 TeXDict begin 1 0 bop Black Black Black Black 1 0 0 TeXcolorrgb 2039 465 a Ff(BEYOND)69 b(LISP)p Black 1190 695 a(John)h(McCa)-6 b(rthy)-17 b(,)68 b(Stanfo)-6 b(rd)69 b(Universit)-6 b(y)1700 925 y(Stanfo)g(rd)69 b(June)g(22,)h(2005)1077 1155 y(http://www-fo)-6 b(rmal.stanfo)g(rd.edu/jmc/)1843 1384 y(jmc@cs.stanfo)g(rd.edu)p 1 0 0 TeXcolorrgb 2052 1614 a(MAIN)68 b(POINTS)p Black 2 2087 a Fe(\017)g Ff(Lisp)i(p)-6 b(rograms)69 b(a)-6 b(re)68 b(Lisp)i(data|abstract)c(syntax.)2 2317 y(Programming)52 b(languages)h(need)g(functions)h(fo)-6 b(r)54 b(their)e(abstract)g(syntax.)2 2547 y Fe(\017)68 b Ff(English)i(is)f(imp)6 b(o)-6 b(rtant)68 b(fo)-6 b(r)69 b(its)g(semantics|not)e(its)i(syntax)2 2777 y Fe(\017)f Ff(The)h(la)-6 b(rgest)69 b(piece)f(of)i(cak)-6 b(e|Kleene)67 b Fd(\026)h Ff(op)6 b(erato)-6 b(r)2 3007 y Fe(\017)68 b Ff(An)i(elephant)e(never)h(fo)-6 b(rgets)69 b(and)g(is)g(faithful.)2 3237 y Fe(\017)f Ff(Resolution)i(considered)f(ha)-6 b(rmful.)2 3467 y Fe(\017)68 b Ff(Sp)6 b(ecial)68 b(p)-6 b(rovers)69 b(a)-6 b(re)69 b(just)f(strategies|Davis-Putnam)2 3696 y Fe(\017)g Ff(Programs)h(as)f(logical)h(fo)-6 b(rmulas|Algol)69 b(48)h(and)f(Algol)g(50)p Black 4968 3927 a Fc(1)p Black eop end %%Page: 2 2 TeXDict begin 2 1 bop Black Black Black Black 1 0 0 TeXcolorrgb 626 465 a Ff(PROGRAMS)67 b(AS)i(D)-6 b(A)-17 b(T)g(A|ABSTRA)-6 b(CT)69 b(SYNT)-17 b(AX)p Black 2 844 a Fe(\017)68 b Ff(Sums)h(ma)-6 b(y)68 b(b)6 b(e)69 b(rep)-6 b(resented)69 b(as)g(\(+)f(x)h(y\),)h(x)e(+)h(y)-17 b(,)69 b(3)4109 786 y Fb(x)4195 844 y Ff(7)4298 786 y Fb(y)4449 844 y Ff(as)g(text.)2 1218 y Fe(\017)f Fd(issum)p Ff(\()p Fd(exp)p Ff(\),)j Fd(s)p Ff(1\()p Fd(exp)p Ff(\),)g Fd(s)p Ff(2\()p Fd(exp)p Ff(\),)h Fd(mk)t(sum)p Ff(\()p Fd(exp)p Ff(1)p Fd(;)31 b(exp)p Ff(2\))2 1592 y Fe(\017)79 b Ff(Programming)h (languages)f(\(even)h(Java)f(and)h(Curl\))g(need)g(their)f(ab-)2 1791 y(stract)66 b(syntaxes)g(de\014ned)i(and)f(function)h(in)f(the)g (language)g(fo)-6 b(r)68 b(the)e(ab-)2 1990 y(stract)h(syntax.)2 2364 y Fe(\017)h Ff(Lisp)i(is)f(close)g(to)f(its)h(abstract)e(syntax,)i (but)g(needs)g(it)g(anyw)-6 b(a)g(y)-17 b(.)2 2738 y Fe(\017)56 b Ff(Input)h(syntax,)i(p)-6 b(rint)57 b(syntax,)i(compute)e (with)f(it)g(syntax.)88 b Fd(x)18 b Ff(+)g(3,)p 1 0 0 TeXcolorrgb 60 w Fd(x)p Black 0 0 1 TeXcolorrgb Ff(+)p Black(3,)2 2937 y(\(+)69 b(x)f(3\).)93 b Fa(I)69 b(should)h(have)e (given)h(the)g(list)f(structure.)2 3311 y Fe(\017)g Fd(issubr)5 b(outine)p Ff(\()p Fd(exp)p Ff(\),)71 b Fd(body)6 b Ff(\()p Fd(exp)p Ff(\),)71 b Fd(isj)10 b(av)c(apr)f(og)h(r)f(am)p Ff(\()p Fd(exp)p Ff(\))2 3685 y Fe(\017)68 b Ff(http://www-fo)-6 b(rmal.stanfo)g(rd.edu/jmc/to)g(w)g(a)g(rds.html)70 b(\(1962\))p Black 4968 3927 a Fc(2)p Black eop end %%Page: 3 3 TeXDict begin 3 2 bop Black Black Black Black 1 0 0 TeXcolorrgb 162 465 a Ff(ENGLISH)68 b(AS)h(A)g(PROGRAMMING)e(LANGUA)-6 b(GE|IT'S)68 b(THE)1112 697 y(SEMANTICS)g(THA)-17 b(T'S)70 b(IMPORT)-17 b(ANT)p Black 2 1110 a Fe(\017)73 b Ff(COBOL:)f(add)h(3)h (to)e(x,)j(F)-6 b(ORTRAN:)73 b(x)f(=)h(x)g(+)f(3,)j(Algol)e(60:)101 b(x)73 b(:=)2 1342 y(x)68 b(+)h(3;)h(trivial)d(va)-6 b(riants)2 1824 y Fe(\017)68 b Ff(\\the)h(la)-6 b(rgest)69 b(piece)f(of)h(cak)-6 b(e",)69 b(Kleene)f Fd(\026)h Ff(op)6 b(erato)-6 b(r)2 2305 y Fe(\017)62 b Ff(\\I)g(need)h(to)f(b)6 b(e)63 b(at)e(a)h(meeting)g(in)g(Monterrey)-17 b(,)63 b(Mexico)f(from)g(Novem-)2 2538 y(b)6 b(er)68 b(15)i(to)f(17")g(follo) -6 b(w)g(ed)70 b(b)-6 b(y)69 b(dialog)g(ab)6 b(out)69 b(details.)2 3019 y Fe(\017)57 b Ff(\\The)g(U.S.)g(w)-6 b(ants)57 b(Iraq)f(to)h(b)6 b(ecome)57 b(a)f(non-aggressive,)k(p)-6 b(rosp)6 b(erous,)2 3252 y(demo)g(cracy"|Plan)89 b(government)h(p)6 b(olicy)-17 b(.)158 b([to)92 b(b)6 b(e)90 b(done)i(without)f(a)2 3484 y(p)-6 b(recise)69 b(de\014nition)g(of)g(demo)6 b(cracy].)p Black 4968 3927 a Fc(3)p Black eop end %%Page: 4 4 TeXDict begin 4 3 bop Black Black Black Black 1 0 0 TeXcolorrgb 832 465 a Ff(INCLUDE)69 b(LOGICAL)f(SENTENCES)f(IN)i(LISP)p Black 2 877 a Fe(\017)45 b Ff(\(assert)h(`\(on)h(blo)6 b(ck1)46 b(,x\)\),)52 b(\(assert)45 b('\(\(fo)-6 b(rall)47 b(b)6 b(o)-6 b(y\)\(\(exists)47 b(girl\)\(\(loves)2 1110 y(girl)69 b(\(only)g(b)6 b(o)-6 b(y\)\)\)\)\)\))2 1591 y Fe(\017)68 b Ff(Also)i(include)f(a)f(theo)-6 b(rem)69 b(p)-6 b(rover-p)g(roblem)69 b(solver)2 2073 y Fe(\017)f Ff(Resolution)i(considered)f(ha)-6 b(rmful.)2 2554 y Fe(\017)80 b Ff(Sp)6 b(ecial)79 b(p)-6 b(rovers)81 b(a)-6 b(re)80 b(just)g(tactics)f(in)h(general)g(p)-6 b(rovers)81 b(to)f(b)6 b(e)81 b(used)2 2787 y(on)i(subp)-6 b(roblems,)88 b(e.g.)135 b(Davis-Putnam)81 b(used)j(when)f(only)g(the)f(outer)2 3019 y(p)-6 b(rop)6 b(ositional)60 b(structure)e(is)h(considered.)90 b([)p 1 0 0 TeXcolorrgb(confession:)p Black 89 w(I)59 b(can't)f(do)i(this)2 3252 y(y)-6 b(et.)p Black 4968 3927 a Fc(4)p Black eop end %%Page: 5 5 TeXDict begin 5 4 bop Black Black Black Black 1 0 0 TeXcolorrgb 2173 465 a Ff(ELEPHANT)p Black 2 877 a Fe(\017)68 b Ff(Elephants)h (never)f(fo)-6 b(rget.)93 b(An)69 b(elephant)g(is)f(faithful,)i(100)f (p)6 b(ercent.)2 1359 y Fe(\017)60 b Ff(A)h(passenger)g(has)f(a)g (reservation)g(if)g(he)h(has)f(made)g(one)h(and)g(it)f(hasn't)2 1591 y(b)6 b(een)80 b(cancelled.)126 b(P)-6 b(assengers)80 b(with)g(reservations)g(should)h(b)6 b(e)81 b(on)f(the)2 1824 y(passenger)69 b(list)f(at)g(\015ight)h(time.)2 2305 y Fe(\017)47 b Ff(A)g(necessa)-6 b(ry)46 b(condition)i(fo)-6 b(r)48 b(p)-6 b(rogram)47 b(co)-6 b(rrectness)46 b(is)i(that)e(a)g(p)-6 b(rogram)2 2538 y(ful\014ll)69 b(its)f(p)-6 b(romises.)2 3019 y Fe(\017)68 b Ff(Alas,)h(Elephant)g(2000)h(is)f(not)g(ready)f(to) h(b)6 b(e)68 b(implemented.)2 3501 y Fe(\017)g Ff(http://www-fo)-6 b(rmal.stanfo)g(rd.edu/jmc/elephant.html)p Black 4968 3927 a Fc(5)p Black eop end %%Page: 6 6 TeXDict begin 6 5 bop Black Black Black Black 1 0 0 TeXcolorrgb 2230 518 a Ff(ALGOL)68 b(48)p Black 2 931 a(If)111 b(w)-6 b(e)111 b(intro)6 b(duce)111 b(time)g(explicitly)f(as)h(distinct)g (from)g(the)g(p)-6 b(rogram)2 1163 y(counter,)85 b(Algolic)c(p)-6 b(rograms)82 b(can)f(b)6 b(e)81 b(written)f(as)i(sets)f(of)h (equations.)2 1396 y(Here's)87 b(an)g(Algol)g(60)h(p)-6 b(rogram)86 b(fo)-6 b(r)88 b(computing)f(the)g(p)-6 b(ro)6 b(duct)87 b Fd(mn)g Ff(of)2 1628 y(t)-6 b(w)g(o)69 b(natural)f(numb)6 b(ers.)1186 1985 y Fd(star)f(t)50 b Ff(:)1618 2243 y Fd(i)132 b Ff(:=)h Fd(n)p Ff(;)1589 2500 y Fd(p)g Ff(:=)g(0;)1259 2757 y Fd(l)r(oop)49 b Ff(:)484 b Fd(if)87 b(i)49 b Ff(=)f(0)69 b Fd(then)h(g)6 b(o)68 b(to)h(done)p Ff(;)1618 3015 y Fd(i)132 b Ff(:=)h Fd(i)39 b Fe(\000)f Ff(1;)1355 3272 y Fd(g)6 b(oto)483 b(l)r(oop)p Ff(;)1208 3529 y Fd(done)49 b Ff(:)p Black 4968 3927 a Fc(6)p Black eop end %%Page: 6 7 TeXDict begin 6 6 bop Black Black 2 465 a Ff(Here's)66 b(what)e(mathematicians)f(might)i(have)g(written)g(in)g(1948,)j(b)6 b(efo)-6 b(re)2 697 y(p)g(rogramming)69 b(languages)g(existed.)2877 1054 y Fd(pc)p Ff(\(0\))135 b(=)d(0;)2680 1312 y Fd(i)p Ff(\()p Fd(t)39 b Ff(+)g(1\))134 b(=)e(if)69 b Fd(pc)p Ff(\()p Fd(t)p Ff(\))50 b(=)f(0)69 b(then)g Fd(n)2 1569 y Ff(else)f(if)h Fd(pc)p Ff(\()p Fd(t)p Ff(\))51 b(=)d(4)138 b(then)69 b Fd(i)p Ff(\()p Fd(t)p Ff(\))40 b Fe(\000)e Ff(1)70 b(else)e Fd(i)p Ff(\()p Fd(t)p Ff(\);)2651 1826 y Fd(p)p Ff(\()p Fd(t)40 b Ff(+)f(1\))134 b(=)e(if)69 b Fd(pc)p Ff(\()p Fd(t)p Ff(\))50 b(=)f(1)69 b(then)g(0)24 2084 y(else)g(if)f Fd(pc)p Ff(\()p Fd(t)p Ff(\))51 b(=)d(5)69 b(then)g Fd(p)p Ff(\()p Fd(t)p Ff(\))41 b(+)d Fd(m)70 b Ff(else)e Fd(p)p Ff(\()p Fd(t)p Ff(\))2575 2341 y Fd(pc)p Ff(\()p Fd(t)40 b Ff(+)f(1\))134 b(=)e(if)69 b Fd(pc)p Ff(\()p Fd(t)p Ff(\))50 b(=)f(2)39 b Fe(^)g Fd(i)p Ff(\()p Fd(t)p Ff(\))50 b(=)e(0)69 b(then)g(6)122 2599 y(else)g(if)g Fd(pc)p Ff(\()p Fd(t)p Ff(\))50 b(=)f(5)69 b(then)g(2)g(else)g Fd(pc)p Ff(\()p Fd(t)p Ff(\))40 b(+)f(1;)p Black 5851 2856 a(\(1\))p Black Black Black eop end %%Page: 6 8 TeXDict begin 6 7 bop Black Black 2 1267 a Ff(The)82 b(p)-6 b(ro)6 b(of)82 b(that)f Fe(9)p Fd(t:)p Ff(\()p Fd(t)68 b Fe(\025)f Ff(0)46 b Fe(^)h Fd(pc)p Ff(\()p Fd(t)p Ff(\))68 b(=)f(6)47 b Fe(^)f Fd(p)p Ff(\()p Fd(t)p Ff(\))69 b(=)e Fd(mn)p Ff(\))82 b(follo)-6 b(ws)82 b(from)2 1500 y(the)55 b(sentences)f(exp)-6 b(ressing)56 b(the)f(p)-6 b(rogram)55 b(and)h(the)e(la)-6 b(ws)55 b(of)h(a)-6 b(rithmetic,)2 1732 y(i.e.)123 b(no)79 b(theo)-6 b(ry)79 b(of)h(p)-6 b(rogram)79 b(co)-6 b(rrectness)79 b(is)g(needed.)123 b(Ho)-6 b(w)g(ever,)82 b(the)2 1964 y(p)-6 b(ro)6 b(of)69 b(ideas)f(a)-6 b(re)68 b(essentially)f(the)h(same)f(as)h(those)h(used)f (to)h(p)-6 b(rove)68 b(that)2 2197 y(an)94 b(algolic)h(p)-6 b(rogram)95 b(terminates)e(and)i(that)f(the)h(outputs)g(have)f(the)2 2429 y(co)-6 b(rrect)76 b(relation)g(to)g(the)g(inputs.)117 b(Amir)76 b(Pnueli)g(and)h(Nissim)g(F)-6 b(rancez)2 2662 y(had)71 b(this)g(idea)g(b)6 b(efo)-6 b(re)72 b(I)e(did,)j(but)f(they)e (mistak)-6 b(enly)70 b(abandoned)i(it)f(fo)-6 b(r)2 2894 y(temp)6 b(o)-6 b(ral)68 b(logic.)p Black Black eop end %%Page: 7 9 TeXDict begin 7 8 bop Black Black Black Black 1 0 0 TeXcolorrgb 910 465 a Ff(PRO)-6 b(VING)68 b(LISP)g(PROGRAMS)f(CORRECT)p Black Black 4968 3927 a Fc(7)p Black eop end %%Trailer userdict /end-hook known{end-hook}if %%EOF