(original) (raw)

%!PS-Adobe-2.0 %%Creator: dvips(k) 5.95a Copyright 2005 Radical Eye Software %%Title: lisp-sli.dvi %%Pages: 14 %%PageOrder: Ascend %%BoundingBox: 0 0 595 842 %%DocumentFonts: LCMSS8 CMSY8 CMMI8 LCMSSI8 CMBX12 %%DocumentPaperSizes: a4 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips lisp-sli %DVIPSParameters: dpi=600 %DVIPSSource: TeX output 2005.06.22:1811 %%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: 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 3 /asteriskmath put dup 15 /bullet put dup 17 /equivalence put dup 21 /greaterequal put dup 32 /arrowleft put dup 48 /prime put dup 56 /universal put dup 57 /existential put dup 58 /logicalnot 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 F83C7D393392BCBC227771CDCB976E9330253245BD6D61BF2BA22206C96741D8 7E123953AB197A62AD24FC6D36565720F65DF5C7BD4FAF2FF60E32BE9D3BDC0B 8A08596F4FF219DFB7F13B64AD649A9766D3343D14887FFF0F2279294CAC247D 5334EB0055A2F7FD97E03844CBF48490884BEC8B7E49FA5143BCB9F7C29155C5 4BBC0EA7C96BF1C3FF99E5A83CF0F124265C2EA2B176C44938582B4D9063772C 830FD1C77438802F94D7510413D1B70C5E52748F704EA45D46B29F14A39F140A 56C3949BE8C781214DD46422BD5D9EB5CD23B3DF6A944E00BF82AFDAD46347C2 B8A163D75A8FFF54B3CB485DC4D3984B213134FF0CF11F6E2F822E5B7D9ACD71 13841661265DBD73826A712206898355278027E648FF0A643D6FFFF796320A46 0EA7C3E92DAD7B297BB03D2826625CF35519D84ECBBA7E000CD0481C37477D1F 39C2043475281F87818D5531517BDC9DDE87F4FAB3CF8B1A1D1EF03F6547474D 206F2D1640BABFFD31EB18B0A64FEAA3923E8B3DD911D5285DD18E3B83F35519 D84ECCEC8B24D57C36D4771A873F4F5BC84D90B606ED627AF7D4A4A81F8686D5 AE3F71B2E4CE3113CA849B40A431BCACA4F2192AC0CAE29FEB0C59F3518BCD85 5576E08A358B5FC2A4BDC97E7DCDB93B2BF7489EE83AB1415EFF549A6C007091 A4F6883F158B8F33799249619696D548A8FB77E6A57C5364E47FE8F0052A6DF0 C478FADAB21E21C2A49EF2120FB09F7018DF0BA5265EF8D7491F0A1E369F43AD 03C9C022172FE4368A0A6A980E50B8E9BA3EC6A4B68387CC3F0FFF5A679EA712 AFB14DA4FA88C8A8DB6EF60227EE01FF59B6F53488B51E6F8C19095212F2077D 21548922F7F429F333DFBE2AFF0EEDBD406354652D015A4C5F12DB29528A3ABD 7B60082657F77E38AF27FD1124FAA26E5F15AE675B241FB2CC9FD20B2CB1E4B5 4F67A58D577082B1AA6C9F0C318DABF123260F2B99B698543C549693B0DB57D6 E90F1DDD385B1DE64AEA9FF6F8824C9646D05CBBDA8AC8E5C718E7F854D26BF5 5F308111C3A00CE2F856C6D3805BDF04C4449340E51DF5D998AFA59ECA5DA1B6 23E5CA2AD21F1C89790B9FC26E4ACFAD286457A314A8D0E411C413BF5F2D906A 8AA97EF055C3B2CC41D9BEA5599057C342EAD70339C0A546F6D9C09AF3E9CCDE 12E48B191BF4AFE5BDA9D749E39F00D5279E6EDCFE0940F18BC6BACC0D9C8488 BB487A4DFACC385CE3D3215EFAC63366512C83476FD2C4D8C5E3AD4792E9CA50 342E687BC29D735E0F79148826516C7ABB61E5FE685C8C5098F7AD29407D3E17 2BC11F76BFB33588E74770B2C53D844F33DCA626ED726D8E56AE543ED4B4F328 1CBD7897A64B107410CD95D1D6B25B7E74C7510443416A3F1DB1D0B95CE1A822 F9BFF1B077FC9D7AA20DE8EB7CF009DEF44CA2F79142B7F67D70AD67070464C1 57696EAAD4BD21E57E05F5063817C837B3E3B16F16FBE79EDD2B5F0D770A1B45 BC776A3192A1D8E27B81460B89ABD74CD807C2C1C006354116E394B42ECF3F99 DBE267E14E782859FBAFE406DC52BDF9A23E48A1617DC2CBFB4D74F127AE03DF 808886C1EC9407925C759B07D4F4435ECB8082E7E28345E24DE5685A2DBCF654 29D26897FB25DA9E7890AB7271F0DE7CE3F5C286658E58AAB17E15C73ECC9161 92452008D014D4E77A8A8AA7E2486937FEEB2F979D0828C6990E388D8131B20F F7B3CB0C5C2763E86A7DBF6D4DCF7A7AB37A62EC4B3301015C9A172E8DEAF0DF 0A842541354175CFFBA85E1EEF54DCF7B761B7DF60CAA5889A620A7E79543D3A 28814D834A294C55F8F59013653DB2CBE837CE6E8B6454AFAE716683982AE689 625AD224CEFB05534613A3901BFB1976E8CA7E1D5413CA876B81FC4D75967F98 51FC611E533D36260BD180E23B1DE4A33E4FF3D078AADEE2757D3276DB1C4251 FD4566D90A097749BA0E4F78438D6C689D94FC68CEAA5C1AEDBDE0C454C8F4EA 561B98D172388161C111A55DE0C1AA40CACA490DA73575682D751ECBC8607624 F9C14DA881DACD7C96C64F9E98418A023EC73F077D5AF4158F82696905F6E2CC 1FA1822304AE29AA6C8B1A717D6D49C5CB3FA90CCB16165888905CE9852D84E0 03C3178B176A5A72BE01AD78 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMBX12 %!PS-AdobeFont-1.1: CMBX12 1.0 %%CreationDate: 1991 Aug 20 16:34:54 % 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 (CMBX12) readonly def /FamilyName (Computer Modern) readonly def /Weight (Bold) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMBX12 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 97 /a put dup 100 /d put dup 101 /e put dup 102 /f put dup 104 /h put dup 105 /i put dup 108 /l put dup 110 /n put dup 115 /s put dup 116 /t put readonly def /FontBBox{-53 -251 1139 750}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5F0364CD5660F74BEE96790DE35AFA90CCF712 B1805DA88AE375A04D99598EADFC625BDC1F9C315B6CF28C9BD427F32C745C99 AEBE70DAAED49EA45AF94F081934AA47894A370D698ABABDA4215500B190AF26 7FCFB7DDA2BC68605A4EF61ECCA3D61C684B47FFB5887A3BEDE0B4D30E8EBABF 20980C23312618EB0EAF289B2924FF4A334B85D98FD68545FDADB47F991E7390 B10EE86A46A5AF8866C010225024D5E5862D49DEB5D8ECCB95D94283C50A363D 68A49071445610F03CE3600945118A6BC0B3AA4593104E727261C68C4A47F809 D77E4CF27B3681F6B6F3AC498E45361BF9E01FAF5527F5E3CC790D3084674B3E 26296F3E03321B5C555D2458578A89E72D3166A3C5D740B3ABB127CF420C316D F957873DA04CF0DB25A73574A4DE2E4F2D5D4E8E0B430654CF7F341A1BDB3E26 77C194764EAD58C585F49EF10843FE020F9FDFD9008D660DE50B9BD7A2A87299 BC319E66D781101BB956E30643A19B93C8967E1AE4719F300BFE5866F0D6DA5E C55E171A24D3B707EFA325D47F473764E99BC8B1108D815CF2ACADFA6C4663E8 30855D673CE98AB78F5F829F7FA226AB57F07B3E7D4E7CE30ED3B7EB0D3035C5 148DA8D9FA34483414FDA8E3DC9E6C479E3EEE9A11A0547FC9085FA4631AD19C E936E0598E3197207FA7BB6E55CFD5EF72AEC12D9A9675241C7B00AD58FAF645 1297991B5D01701E82228D0313FC7C66B263BC79ACDDF9AAC48A3CBF42B96E38 583E1D059953076D68148DC8B6C9527B3A74CE7DEF788A11531F44120BDF0F61 0B2F3ED94EEBCDE4ACD23834C242AA4314B9EF98E4BE72DB76EBDD0A028CEA9D B4C38C1F2D24B8FDE686832FE96204552C820E45B6BAF0C3308742AE2BF8E09B 5C68BEBF37982B2EC24C4A8F927B726DF068DF50BCC78C1918EE174C2074B73D 218BF4042BB450D584D4F3D587F340AB562C367F74570F100E2F0521EB0A09A6 747A40B5BECDA3C4D6C8BBAEBCA050C0958B522C6A4328815BB72F866C2A9662 A8C9AA45CD93C2976B276174E29F691A925E3F013DB95D9F0F71C37C08BC560D CB909BF79F9C28B0CC54C857EB9A8580903C8F04D9DF254F7D200479AC4EAAD5 D41C5F0B173EA83B53EEFC42E7FC60CC4D7E623D77E3F1AECDB4626F882CB7A0 79AD2A1D26175408E61BB2BC1C53D49142F35D2A9B0F7F75E0E64EC13B83CD74 99E24CD55CFE5041730E3A57786BEAFC25B8C1EF2B140082BBCCBAD5267ABEF9 C2BCFFF9172159EEAC2B0A8BE653EE28D9244391A8A25FEC76E29879B9D8786E B5C08E7CD3A472557EB43D543356751E65580FBED82E2EB9645E69DBEFDD7B9E A9EB3A09BDC41645F625C3FF53ACEBBCD78D579B46B44A45195939DD0A945DC2 C8B90E323E5614031DAD60A71B56BB2D944439033DD9967008F5EA2256125983 E011E42D48D69BBA8C2F96315969D747AD5B5F6CEBD98B850A69E6C8D19227DF AE79B04BAC2875BA22F264918808AF8DC7E24F8FF2A98CABE680F38810CFF966 0659DA4F275DD227B53EF053A790614D07230C4F9EE54078799FB7850AB4225E 68F25EADA5C643D4B45D3B2DFF866020E755989FD6A47B2D1745A7ABA7F6A326 FD5B40751CA963BF7AFD5406B82209B65F02D3F5A209467FDE77B31190785EA2 A961D590100741AF66DF9F3C7E4FEE1E4E4E853F0F4ABDF55FD92D3F0D5CD2F1 9941863AFEAD59BB3EAB413A17426C2C16A52D4413D4DB181AA792D890F2D15A 19A714494F24C6772AB18EB209EF4051EA34C23A5DAE7D7FB7203ADC7B9B1A9C 41ACCC648680CD2589DB1308C8222604BF4E20CA6B03D7FFD8009AE4B85AB6FA 42027B84740996AED38A4018E0B2487853E59221B1FBA9561E6BD52A900102ED 536CC3ABC14F2DFDD063ED231ACE4027AFCF726766D658BA4A0F31EF7478174D 3B0155381C790500836DEFBF5CB77578A89FBA80F08D41C3B50658F0A1C71583 67D3D25D67F3426FEE5249228B59A17AB2B7C27D4740E2D31016FEDCA14E6EF5 6A931E2A8CF2F0A693C9A24CC6A4213DDDB37B67D363660672E75055E0DC3375 C356A4EB5292439A513A76F28E9CAD3DC154B6FEE428D06257C8010FF03EB99A 465A626B40C5F52C22BB3E94D29E23880A566A427187E7CEF16E346F4CCA2458 4A1E3D39801F4413C4012254550DFC8D9DD8B167ADEEEEC7F2CF69FD89CF12ED 1006F7EAE65FC6623347262F03310A77858654916FB3D995E854D2213C2BD845 2C3BA3B8CEBF15097E423733F1AAD1420E6B89C10DF97069E3D4901B5504ADCE 72B6804CAA7ECEAC1E09CE0F8989F0DF542772D2A587B0ADA1DE91CE6A2207D8 4633B4E13CD3D41C1AA3C08CDB3BB41122631004E3F52512911D14F7EBCCCC07 130D4215B1038A5160FD84D1607524288752504C381DA9329B8CD9AC63D03C5E 7DF964B280DD593C48298F8ACAE7AD5180E18AA2FAABC3AFB4254AA982A7D4A6 4187A5830BB4C1A1361F9DD7E2FB1F1E61F3F14B1734F766ACB620A8B46C49AB BEED04C703520E1508B36022518498F49446CE525ABA07373937D8F3E90556F4 BD20C947704EC0648B932E698D9BCC76B909965DC62B50ABE37080D86A4BCF19 C7084E08D11E8B10CCF45B0AEA73A97D32D5B04FEDE03E0B67EF26DC1E7D6BF1 E237A29882444F31FEBA12A1D918295ED136543E0B50F6C2CA921B4401C864B8 80545A41077A1B3E1A3A32699C7BFEE4A8DFA801982AD09AB29A6848E914784B A14EE0A75820F997F71C6F991FB32E65DB128F821AE2DBD35D3E03B72CDF022E 371E2D1835F3DB059997348AB882B34AE25A448F0725760AC8EDCEAA89A99F74 58972020F1FAD80E04594A85F4607219A1537E30703ED20DE1C90D641CC036EF 01479F4A5198AE4AD75ACAA79847E2C275F69BAD39440FB8EBF63A9251FE78C8 CFB0137C6469D37F676F28E58BE30799A5799110CCFA53983A72FA119D56D7A7 BEE741CEBEDC611033359E0B9261015A80D5D9246F5BE8AF9935961BA4CBD1F3 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%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 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 105 /i 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 dup 120 /x put dup 121 /y 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 EDA46A296437EC917194ECD057F69CD2A3862EFE925F7677484A853731804A7B A8CF4A09F2809F5D570BE62E2266B63F1120BAF0A11DC8BCE2E480A941E2A2CC D77EF12AB41C9EA55B1D74EC1E05EF4F4547A578496C59753ED34AE40DB50FA6 B071B80D2819D23F01F3A47348B6E02B4B4A67FD9E6B40BE1E8C1197FE0159A1 269FF5750432D815D8CEDBAEF05F7F7D801F82723B1D22D45FCE89E7A10D5926 4E010FA696BB0CAF5D690BF08E9737B804C58BAD9F985A1808654B2A4D83B249 7231F98ADAA2A895DCCE8DA62F7495FF009548D4BCEE0F497501403AEDFDBEF8 0DF0A02C19F3CF04349D24249CED44626C3001BCB45C8C24AA951E1DF02D5090 5518B7DDC77A9492C19F12EA999578789AFC71D3E997EA8F213881C69A5FC8D2 2DB13991C88B0BCB18EAF78A88A6D37277E66CDD8705CA420AAA27FB2E9C3C7E B201EBB0023E8BEB91E2B7043E4745E1F0549C4738721C42C8C9C9AD97DD3218 6CC0B3BA46ED1EF58D283988FC6E4D5713F8E530EE07DA4DAFB4F1B6BF685331 B5A7F90B112B65C6918544E0C320DEDAFD435E598CBBE576595F324EE2B4AA01 827FB44D32B6B7949978BEED7AD85C700ED89024AB2DB0912B6AAAF141BC01D9 F60A6B42B385B09FD684181B2AAD0389AFBBF8D54681BE8CAB7A370BBE39CCE7 CA6CE2968849C4C10177AE0EEF4CE3106D30AABB4164429DCE8DD4FAB8B3D78A CD76EBF3606E9A7948E66AA5B4C18E30006BF3CB864E66950018F2B618222661 78C8D61B11C06F67B3F9FFDB932EBA6836BC316350CCA0934D45EE1049FA4EF7 DD892A873B0754E98FC4E5DD050EC3F5E33D5D7060406B4800D0DD2F8ABEB9D8 F881133B9138DC1DEE2D6B2F74167D7A5A992EA1BA88E7B4F7B34103647EA749 C544F9E23800759DECD349AD67DCCD5684E94840891CB3EC37A382BDCCEE38F5 880237200F5F82FD61B90C7866954902B850DC20534CE2A52609F97A8A670C84 2170F228B87C91CA1387B7AE3160EC6AE90B38DE32C14A9A328924CF9AE63AD1 31FE82ECE0417636A0A0D95983B35CDC38B28FB54FA6BF39B03CEC7E3080534C C7AD6C1FAADCB9B1F14748CA54E0D23543A5BEF0C545770F26644B78824D4FDC F00DA3171C0923B9037194776862629F76B09D6E48FD1B3705A954D21A217D70 6368CBEE9D930DCB91718B3DE4FC6998E793881AD8D0506E5F98D719DB586DBA 97F48D275A7B8DEDB62E9E55EDC4F163995467E881C7238719684D3163FE6740 C145C49728C2A466A1E9583EE7C538B6D0CB8B1A9F9FBA49BF1EFE4D9C237AC6 BF42057378F050C804E5552930E824ABD4594AE1CA824029A2916DF02945EA5E DC0B8FA7D1DB7C89E03E987844496B099E2B57732703880DE7370CD1314E6185 950296C57A841820E7D0282D0003B56689476245F3744A0241A1174130159E2C 9FE2575AA35811B303E4A1AA48499F5A8E066739DCEFDEDDC64B657CFC088F45 156C5E3ACE32284942D288AEA6C7069CDF504F67C33BB458D2715BCBFD2CA7EA A510DCA7C5550538D7E458E054019C5D0CB2D46AD19E774B4E87C1444387CC2D EB9BFEF81845C037ACF7CAD2620FA15322339F2E720D3B249AFC9E9CF43FBE9E 184DB5DF69AA6C45D5F2E7018FF9C27495C66B447DD272641EB79541882D1D95 3239F9F68FF5151B258ABEF53B32FDE66E421B2FA9FBF89F2A47F48C1F82D6CA 6C86CF0ACAD96126A940B48C9EDAA626BB7CF3ECF59A8185C266991243E2AD37 BF5AE620F8B5C267BD52E7C4137501CD45148B60650CA5A85F402175BCBE7C5C B41BD2863EA350633932AC83DF6D3BA7C560734F5E4D2F146332A9EF40CE0CDC 53E191F2DE1249C289AD5F74D4F7990E9CD824EBA88550DAFE8E88E564EEBD47 2E3864B2E6FCB61FD42273E7C2C552F9EBEF42A84B485B9634D7CE4DA489A4F9 26A1394893C9D3025CEC6D63B8CAFD57FFC094F28887786E1C20F400BAB5D96E B1ACC086D2C069CDCFB1F84D6423BB8D250638F6F75F8B5D83EFD590C07AE2FA 7B2C96BD71E2952D2B584A2F090C24D98BB70704927C2AD2AD1656A691F4791F DBAD975BB8DABAD8ADCBF56FB15BDE19EFD7B8A2E904F50E266432BE5009EEB0 7930C706C4C8A2580B6C848370B70D15C734596927FF76D6C3273F61F896CE88 BA777F89198FC749997A49EABAAE6461EDDEE50C5F5B47099EDE740D93CA4416 DCA80DE459F989C4E12EB03F3EC54FC30425F90EC887BFE7C627BD2578EC8398 F224E1381A60BC42902C390C342F8D7E31CA982E4F0AE7F59644EF84A2669D59 81C18E116C5B8D9A65E82A738899622EAFAB01124816B22C3801EAC1DBD6B58C 93DD3D3377FC47ABA89EC492B5E0029AFE0C60381C00ED07DB7452820F4B3C97 12835EE8CA0FC973857B651DDE4D4FADFBE9F2437D308B9AA17E6628BF2920ED 101DE0417F2609CCCD2D28CA4F5F6BF78A73FA99093E9C19F23B67AECCF4F440 EA6434A997CFB1AB31FDD1F69C820AAF2A0AFC8AE4BC07FA30DC2D67502CE4DF D0D1E53428F30D64705BC6716D8B455CA4DE3D9B02DF509F750B621BE5FE190C 6014712D50DB6F2D1ECDC16E5C92EE8424E40E47F58656D8805C43355E6B66D8 C92580F4D202B1B41A43B6F353BD9B8EA0BB8205D6AA45C0C90DE24C3673F821 D3B415565A13E1CB29CFE9F163EF86B93F44A62A6C6D96FC6151A8C435FC9E34 4DA44417FC0972C23F0BF97D1A6E001A30C5F546E7CABAA385FD756A656B9B8C EC8F13840A9D2504ABAD83FE984EDB60308D5C3844B7CEBEC6204B8682D4660C 48F8FEE7BF614DD68DAC24944BD88D054493DB3749B32A2EC910ED4BE92B9CD3 1FFF76640A352F0A7AB833317358F13226D964D263C02280ADF8120C32AADD21 208336C02748BA59ADD32997329ABA2B089C7E16449ACE2C3800C27662D77C7D 609F4D8C1BA1CEA000E1B195CF546729DC9E4BB6ACBAF3B0D462E654877D2A94 AAA49FAF763553633B23BF7808E0C24005E161CE2150B8DAC85F43E724C5536A 4C59A09D6423449CA68F57F2C41008623163806B20F43496197EBEC9B97FE3B9 32B0E688E6F1EB01B5DBB61179D22706579247869087558890CE6FCD5F31186A 83DF24649A249F34DB7BAEB150A687B2BC4308B9277425B44C9BC5D8C619864A F21004AA9FE97BDC2EE6D6DA8BCBDC36B8A2DA0B456A4AE7EBE69044CA915241 00A82CFE5B71A810A7DB68A4A0819CD0FC183F685A2A4EA06DE29C8DFF8A93C2 D5E2EA3B52D9F55918703273C6BC308BFB50DF9A972DAA8D73E11AB223EF045E BE4A56097F455FC29A7D8F04277189CAF7FF42F1E61D2EA8E19FE9229601FE28 8CA11E90B6A15A06EC9940C043ED61D6D26CDF00EC578F4C57D4C043CD6AFDF5 97EF9CDAF359E592CC9BC53ACA02AC4910C3EB92EC3C4418FBEC5C31BA97C903 DA2175E2B2EDE75DDB8F9C2CA171B7B89408A756BFE80B27785A0737F6587F39 8B0BB60C7FCE05266F34319580FC4D75AA9A11CAE489E4B0A2B6CA0D0FA0AFE3 9E451ED61373C2D90A2DE2CC540E58C664D9ED938B097E7E78209071B3A0B1C8 43387D9EB7D15FDCC4CCBEEEC55FE72E111357499AA803A9C629A67BDCA61AAD CFAC946C4E7A6B103C24E203EE5D00BA8742AE3FFD27E7D8725E5BFB0F198280 695913FB94B9E63585AB7FCA79F72424663ADD40A052039037E0A473FCB74CC0 31F8F17DFCD96346CE1598FFA966 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 21 /lambda put dup 58 /period put dup 59 /comma put dup 60 /less put dup 62 /greater put dup 67 /C put dup 69 /E put dup 72 /H put dup 73 /I put dup 76 /L put dup 77 /M put dup 78 /N put dup 79 /O put dup 80 /P put dup 83 /S put dup 84 /T put dup 85 /U put dup 86 /V put dup 88 /X put dup 97 /a 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 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 119 /w put dup 120 /x 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 85B385124A5F9A9A7771CD7E456C6920ABC7C904BE2155717927835D36A2A871 CF59A563B4DB1349686614563B6C2C748A86659CC7C6BCAB86347B62DC2FFB35 EFAD2149001758FEF79C3F7FB1DFADBD8515FA904BA565B7AAF06C89EE7B4EDC 6E7FEF567DCF13AE22C06DD4D9C456929289E2830ADAD7954E00DBE1DA3F99A4 B6C4A3C2AB31BF88C51578BF40B765C4DBAB480FF7EB3807B6CBE2D7E28A462E E8B8CAA44FBCFB0F607589A836D5AE283B2D610DDDE6E7B0819D17A131710924 A0D9C7E49A9EA6E914EAC539B04E492A8B29B28886FC4B4C795E3740F979203C 437A0427C7555347F30B01924E77BAEAE9B8294205CE9E3A97D2D2CF74268E41 C9044174809AA3C874F62A5EBB01592474B01BFC191D87BD87E893BD8D0E290B 660AAC3E7D114278A193DCD7A161B5FD3A2C13478514B0D0AE401BA5C6F5C567 A5D55209B4D2B2A84C9CFCDC35BBAF545CE45479EE959C1B6F3A6A9059D47E82 D79B67465C363A98845AF984D1D64026BABC50410C801608DA5D095823550527 8DE29464F87E8BF213A07842F2D0AEB5673D68D5163D19F5C5FD347347D194E0 A58B4F951797B5A1993835DD4B6744D93CFFDF33C1388B6224C6D3C5A61553EA B055ED2D98A9F4605D50BCB2DEA00CF6E3D7390C4D4AFE8A63FC0D1D324B7E4C 23739BA0C83175A7E25851E4FCF1E32D1523E4C4E4BEB97A3866FF2C80AA4ED5 0D1F7DEB4F2594BEB54A152B56FC07FC75EDE8C846328ECA54B622AB6A1AA9D5 984AEBFC4B820A5D5882B7AB1FD96D6E31651CF279200194E2C00A15E20731F5 D8D1F42A7215856F04F2F2FE0772EA84DE69F259096975127867FBE9D6414620 6AC40CA1E80ED705C51F4293C23E8182740800A82D70A980CABCAA5CE9AB5E58 39084200673BD4456EB15DE7B2158EDF272286383BBEEB056C2BBDBD31EF0C3E A36F8D43084E3F95A20239532F641CD4BDC9321A720BD77587EDBAD8780A555F 208E5DBC60491C323AFE6ED5D3C1F5A3E846E2274D5F7F8BE3B3F967F5AE4B25 A0F051140A352490BCC6EB9DFF924A45590559D73AD97208CC7C69D7A1DD43BD 0C45031F1A493047641C4E8942DA5FAFD523301009EC2DFA75DC0583DC981C69 D9DC47496B0B102FB1C9DF877D3029FBBEAD0EB319AF0D681D41ECC7DE941FD2 7D54ED4CA0A34E0F8CC24D1EF9BC29C5AA90D8282737BE26F2D6C231AA977A5D D3778690076E794FBC2CB781E5E0EB334C219FAFAD631AE4BD9FD2A6CD437892 B12A4402E89FDD11BE8BBD2B5C0B8F0B55603B0CDE83815AA62368D3D794D249 2D9D2CDC534ED49B43033FF98FDCAD16B87CFD546CEB7659B0E81EE4464103B3 21544EF1E59E743641802A1BA28D25A0A712EDAD05AC12B072CA53E7A29B31E9 CFE69C840B46DA1FC10CD8CA37ABFE762DD2A0F6D05C075B682E1C9F52C1DC2D 87B5D86C8A29CA8576128D954B70922B5144109D30F5364B442388C65A1804C8 60FD6D2B5D77F95C395A106B6C7168E651754BB2A5DF1986D27F93F6B81E2FC1 7E79A09A3C42E427C500A8F7A6A2CB85447E633870D4A8CCAA8990E079D8227B 245EAE647E01F72F916D8175AD0582AE20A711FD24085888D2B7DE73591C0682 97D6B2E61E80C9EE0B14AC269F0E953839F7EF0878F8B27BE8C36C5027273E9D 43CCC17DD5EDCCD7907770B4A8302CBFDF117E61AD8E94AF95044C9F15AFA700 3B4F82D35FC44E7A6CEFD3F46A36AA2C92C3D5F8A5B1072FD240DB6E98A1F4A3 875E0D6F7656A1D61E16B048C52B30A59D237A2EAEF18EF7F8FA6C57EDB6E40B 380860FF9C25C34C710FC685775163FE129464A03EDD58C668A4FB64E3DADC2E 997E69FDD4C8F6431EA86B9DCDDE3254910F1FCCA6E0830172FFCFEEE3D92423 827A2F6BAAC45513F31DC65BCE4C291077B9B38D80A209ACA348301613B6647B BF75086F0C0D699D0F964B0D479D570A41ED5141615B64EE9FA8AC33C70F1FBC CB4765C5A6E03F0DAE561E8E7548442A7EC78363B0A331BFAE641D23259EBEAA E21D136C94E86ED4EB23C3CFB30625F5EED049076B06663AAE947DC308DB6F1B 3D96A1B2633AB225C5F9B78A80AA0C5FA49FACF456FD9604F5D7C10424D72F63 1B0D3AF01E17464B6C1BB3141B230A6B4D17378149E2F765BFADF69E63A9AC2A A24DC8D197BC8EE97F91EF7D8813B73AC725B3C46B3B06BF4D57B9B2D0B21CA2 1551A91675DA3949C8AA67F96D54D65CB28C2C95204A7C5C41F362527D9FDE5A 0677C25B4D6DE09CA9D90D3B23629DB3E17F810D91CFE88EEAD2B84499B4A478 D1B1FE6F28E4A201EECE8BC8260060A4DE362E2AE562A41E4613FC9B16F93839 A6BDC521EBE68C6D1CC420212835207FD17AFBBC7345B7A3D7F45411E2DF1EC9 0A061432C47285C76364EE4B5533B54FE7C082B45EC127A42C138C4E372BD4F7 0B7CC7E9B79539B5096157D57ACFA456052235193E07881177A0C8CBDA032C6B 869816F167A97E5597A0F68382A634BA029224151DA3B54EC5C8D067FC349EA6 CEC4A06E335D9F7057A90D6FF6C047C815F67A79B942DB60E082AE8B8FF907BC BFE3044C4F1DB8D2D26F58E1903CF8CBD8C8B409DEC662228C851D5699C2C37C 838301D0B9FC84B8D13B0E86443625E10A2022EAA75C689AB07D15CB41C74C5E B2C7FECBFCB95EB9C9D3DEF6A042EBE07423BC447F01449CCB42C0B424020F32 063DC9735D6285D6E3034D41DAE3D0136FD420A6E4AE872241429D4E2FA66B02 7118C37ADDDF7E49E5A0684C67656BC8BF4383B9135C8A4B24A0FCBA30F5FF8C 1D070731C8998756BE90C26C0C0209F4BF2BA3216039AA42C004E8CC048B99F8 0EC0C465545AFEF14A821E2E0998339EF1AE82C472958A0DE2A2048CCEA603AB AD92D2478E55AD9AA638A64747D4AFC4383091BABC8C001423D5F4EAC3D23B30 68ED0C6F42AD80004C5D1E44390571C704AD35A8158743543474A7E85880896E 424AE9FC0E005EEC22F62C91245FB95859C6600B47217B53CCC67802B40C7EBE 675BB6FE547DA91316DF5D94299BD5EAFD22EC667C2928EFE30D639E7F8DFD23 866E36F9CB34EA2B6A72129B0338583B44AE8BC0F86FB3BA88A73F720D60F39B 773F4584515D4933DCB592130C24C42F3D08B6C98411AE757CE5C87BFAFF0D17 CAD190BF3F1B0D2B94D21638A4DD2FD3AD16198909D71B28209FD2A17760E361 C0B1BC024D6AB8415A2066E524A359E942A8C2D7A809EBD89842F5C708DFC25C BA6705890F8DF392FB55D9C34C483D4B943FDAB76B07A86ED6055AAC8CE7D57A D2C65FD8C8E97650F3B7B57BB8AA07B9DC46EEBF01A5928EB3835BC11F1DFF7E 201CBCB598324FCD28307C12B6BDFD8FD7862F6A67FBBB5C4C34257C2AEE0291 0D53D6607C5080366F928A6D8E5219511EE50FF90960537011B48246ABEE8849 4A49C518614F016AAB0DDB3405693E28F5E0A6235C09A63B242017072BC53794 F326D1F4791308D97F7CA672E248FE360304CA02561B729F81D9CD7135BBC73C 1C315C3A46C382172F80A679D91FAF70A76C747F8FF983692780F2C449EF1F09 30C646797EBD1B8CD5982517986D2B1BD1997BE28A5ACB9C654B240A8FBC420E 0939AF04F4F8DB63EBA31614F7D6285BD228A844DF7E45949966B46B369AE18D DDCF3E8A97486B0CE0B7C693D202DFF16CFDB909E2EF01B555C1FC6885C8726F 05551B79101B567E677F7915C4C9DD2B51F88BDDAB0D1C5959BA0C811CB07A92 6D1EA3B6410FE22FFCB9F80027EEB92F9988829685CD850FBFDDD3CA9366116B 077ACE7943FC6C49E3E56DAE8570BE3B5A546B0073499BC23507469CE194FF14 244802C6BAD4933DAD6573671E38B59B3B7FE143B14AE8EF1E0A60478AE330A7 DE2FD979068B3D4555D5BD999367B20D06F30C7FF29353FE12780B0531F8BAFD BBF9E85A8D80B0C7D690F1B1E80EC0BB29CA9A6B096832568FB0414A6A7D7120 955E38D4B2D00D382606C2DC833132A55E7E9B6EBB929814456E689521AEBF14 3D84D94FDE046903B28B6220D4EF2BB3267AD76A40FACB5D2899344DECF6FDFD 89C6843676E922F81604A54CB0D8F1A99DEE0FABA4419137BD4278FA6F14345B 5E7209CCAF94298FCE4F97CC64E321D806A83B319154D277AAAD889F30AF9820 C085710950D721C75AA9B095126F4EE0685FB15DCF7705A1FC5100001F4EA7B8 6DBB2EB1B698C72740F5ACEC8FDB8BFAE065BABD4EA68076B0F1F9A2B6783F56 9F0081A7D2864061AB1A2EBFB5D2C2B6FAC84A5C423EE427E4A10E98336FCB1F D78296363A278D02AFFC8A6493E1A9C42B7EBCD9B26FAF8AD758A358F7DD63A9 1D2C5469A9C874CDECA650E7782EEFA2E69FAE2C4CF6D0B197D5B59846F5E24C E1F72A6A6E30E2C326E2D29D50393E262268353294D7272BC33632FF19B121E4 C4AE672A61F18B72DF48CDA0D88EBD51125686D5FAAB33E6DE7AD27F3B81EFEB 95663FB8CAB25E5C314613DB92D36B503FF0DA8AA31AA74F5E72FBAF8ED5D498 330C18293C3A9C45797DF580BDA2181C714CF1D4F0F688A2F0EEC6FBD81AC211 873B392BF19FA6D8A9ACBC493D7FFF57F0E41499BF439814C5F265B911DA1659 9C3D05D3801DDA8A6FBAED116FBA94A2C33AA7128A5E4D75B83CCBDC15AF98E5 35CD9CD7E52BE3D8B87139436F548EC78FFA35019C5A1434297125C298459E7A C7D12DB00BC1D9FF55D36A9436C9FE1D6A27A9507B12F9A2EBD322970F069C88 E046D3F79829C83986D7A2AEC4C8F36C5648C06C70035DB029EC8D19FCF4FF29 D45875FF61E28C1617273050EFC3AEB0C6214E32CBF6CC6C0AABEACCC3D8C6C1 95669A3427AEF0EC8EB5528E4F8D234615F8C815F70790C61BAF362B3F787B6C D809BE4DDDCB94CEB4737A74E0B0B6A17AD908B9C6A6D1FA70549F23E895FAE6 F4F897CEFC0715FB4E37DF27E54A974553E0A1FE943B805FFF7A2544163380AC 138A010FF91BD9C93C79B8BB0B02E990A77735E34E806CB529649898C1D9CA35 C3BDD2B98D40D84B659EE315B09675E2AD5E1219C33F3C33100BE69BE59B6046 41A8AF4993D3D27BA72BC9F8492523AE1C405F88E47285D6FC90FB5CA9A35936 BC475611F245607167C5AC0D15BC70F8629A307B8362A8573D2746BFF0AA4C69 4C0E413029663508DEC2581D668536F3CE2B459D9B7E196545DF4A2CA5C7B451 A764D4C303913391A1532386DD999F993D62B5C219C91E1849269109703E3513 487DD45D97C33A0BA99295B41D5BD974296BFE23D53F5C7CFF374BBF10BE753B 86418136BC906A42BB3ACB1B60C7CCA8C789AB10E517DCE08D21F1BF3852E78D CCF183922B0D8A9EE097CBD41C23EBA63A846E781F8662F38DA534D5F9FC2F5D 2C5DE93A7B441DC8436746D62E0670D64D0B1989B3FF03A851E864436F26C2A4 F9A065B48CE4DE5A7A84D2A3DAFFED48EC80CFB7C90915C747A8AF32154C6287 941268CCB68C0C12FDEB73A539E82749881EC88E1BE6C50F5B011D658FCF31EA AFAEE20205A407AF4CF31E20619245235DC86198AE0BB3802EBC4DCA4C4FD37A 47A6655FFD3585BD65CB5361200FE602EF0EF23F93DFD934A6E29F334AD7D43F 2DCBA214D8518A847E705F3B972E8AD34FEF6521E164CE983AFB465C679133E3 375097D651C49564BF35FFA40866459024E18690AEAFCFF7C5254FE800E23185 C39116B76B8C3427DB744D75E6A135E4D87538958CD13D1DFA79869D7F0C7D96 D662E9ED681FC05D45999C165DEF0A68677DC65EC5720E7D0343D8B08FE5D4E1 090C490A1C6E6A888DA13AE8194710444D108698A40D9BA96BA6EF270183E6F2 1BC045C9FAB00BBA0C253796AB1B4BC7D46E02BB0F4F4C8A3F0A2C4003F33AFD 86F2531E10D114E7AD12722584FD3C34D650C1A1280C01B7058F6D982366EEE0 64AB742F6DC18B8600348BC53BC18C7CC709482ABFC0E78474C5226D4BDE7498 7E726B13F09EB46FBC4F5F5CDFED964CE3A0E858B93559BEA9A4D060F715FEA6 DEDAB01A53BC0A03CD0E2121CCCF2E684AE46FF4FAF70DDB1156660ADF62CA5D B9D9FE33D2F18F36EE048367E781D0882690C747BB281CF29FB50E2A1AAFB726 F8AC07DC3BF93DA0B2B38661153D23B77E8BC6A7230ACD0850356E924B5FF1E3 0C4918F547A4847CDDB2CC30A8B61C738E31FB3F209C0C904588F0520311755C EF0637B710F51681553C24A146391A316AC9DA76C640B06313F9EABAFDFB0323 FC01D4802E3826031036166301B28C37FF80FE411B92FC0CFBBF0595E37908A3 849FBDDDA0F39E8D1EB4BD125FA35DC8654074BDF258B6EBF63832D77CD430F9 BC9B101266639050451EED7101687F6F20E810EF7BE82A113115E4A5AB6A2F2B 645381308E5883276E4AD07C335DD26D480EDF5BF4EE7A42FC939890DE172D30 80CFE53DCC8795E0A21A6D61D0B1A858BAB4EB1E876828DE810AB4A59F78EC57 DE4BBA8848266987DAC182B86510AD5ADD3D439B3BF3E8909EF60BEC2D2174BC 51071BF27B51010031EADB88F739B96EBA4A60A9AD09FF4F89A08C24234F9526 5240EDFA34AC94942ED2655B4591A0563CCD91021DD0B8AFF9590D2771075EAD 1094B51F17A7286A16AF72AFACE93A2044E94B43A1EE2D29DEE496561427F2A7 E94E6919597C733C1DEC934E4E6578E6AC73BC32BB1096FEF40A44DE385E0F47 E3929DDEE5F9664E91E3D13D50B724F8FCF3583C5CE97E6A55B8864552068D6A CD6F3FFB366F272F6BCFBC00748F024F70C71B53C0318794898F9B870C4F8D92 F7AB2EAED29C5ED4D06D7EC608AC9BEAFA7E9CDB990DF054300C01371B664202 04455A0017CAF52FB63C625B045F46519767584C14A5FC00EA0A8AB8AB28ABDC 03BE8EC32B2FB3010B0969CA38C56D1802DFE2E552D18F9949EB8F7D05DDA4BB 9B2112D6195BACE60A794C874A9BF2B1D518CF9385D1421D723B468F5A65F60C B6B1B15708F7F05DF3A5B9DC280B465E3F0A0A988C6DF55247DF91AC338C253D FCB043B8AD9C12ECFFFF517B1C96B7EE1AF1BC0009CED7C501297A71A8A92A99 BC08701B04054164B7D30599C5C31E30E8ACB31942D810BC7BB98B806D75D80B A97E996D7B0AB3B044320254C9B599BCCD68C48A54AF6ED95079DDA59125F014 3EE9B76959F48F731EC4B473822E6EBFE616921CFF01EC97703F721CA7331C9B 7AD028777C69EDE0D085DD89E7ABDA8F271C60884016B8C39D002CBC13A63383 77927DE6476AB9C1839F6011FE18DAD332A471DF64C4098B5069E9055FBAF73C 210B45B16DCFCD4B400738A9B84293E64CFE9E37F01A3A592B1CCC9BCFCB1114 FD483F3697E3D679CB5CD7FFDA3832BDC51B3E01B56E24A6871678CCE6D360E3 E3F9FB010C4C199093A537DF6FD5703AA63A6FCBCC1812CA7B247744F4AD7ADF EB365E9AA63A3691EA1721A72197B41421B9B79A99E1DB2A505CE2A15F888329 A1518FDA797E1AED1A14DD442CD748FBED662483CE5E9ADA8EC4D27423A3F55C 77828AF56831E081800A9080092BA1CCFDAB7FA670E3CF5E6E43718BF219AA73 8CBE9C4107C7796D47143E32828CFAB7F728DEE488B03DE245C00A6326156EFA 1F96883536D5F76B6F6FCB600DC6D41CD05E6DB5C902A903DDE296FD56E32CE3 61A0739B48B211D88493FA3D84518D340B85EC394D5F6899F2CD3E384B5F4193 3D976AEBAE063182B13D09FCFD1A0827B7047D991DE563CB3490C2BF94C52C86 3A1F287DB2A974E64A023DB13A9B533272B6F90EE1FF3096FF89FFFE739A3D85 73061CC8B0FF05C6BBA75D2035FC0214EA6D90AE6BABF5383B1694178EAB6241 3C0251D652030E1D88FA5A85DFFDA0A72ACBA98E6FEA1F4999BF4B1DAD5586E9 0D586EBA3B3FADAF6965E80ED30285E1DFE083A3BAAB8E8023D96A1E6772BF51 78C95CBAE383193B1AE16CBD50BCA02136FB943C12CFA4E80A28CE0EA4140672 6F72AF072F0F32DF55D15F8E8314E57124B7A6919D393CE22354500F4947E99A 80DCA971A6C379EDAD0DF32B7DA52C9A6CD95F49B159E8F930740FF44D7606B6 6095B007D7C28719FFB0761B02A1F04C2347D2AD47D7E0894FC03D0477E87E9E 752FE42759DA17A0898923D08891E5979BFB41FFE09C6CD9C91140A747329F43 33247F43B8DCA18DFFC51B4F5B8B95B508CCC3A7F5ADA726FCE80820CFEE5903 E79CB24F8D462018AEC2AD19779FCEA78925140ED8A740CF1C273ED5C04C04A6 AC8926F995E689972863687A70B8C87C0A41F9D490E6749D29BD8F90327BE6E8 B057C0FF3409D627B75CC58180ED958E379C12F258FFBF1824A0E7BF569F5CB8 A96264AC6E845E7A1B8F850C87CDF7C17C90A2BE0DEF31EDCA13A0637EE04C05 560A205FBE070B56D099E8F6DABA83F1227965A34AE17F2871E0D514B9846273 443C6B57A1437AFAD07EB26EB9B09313D6F097EF66B6404CB0CAE02929070A3E 5D919A2BF7DEA5633D4341195A2D9BEF70189EF5600D7CD329CF614C836D2DC4 B0FC65C1F06F53CE4AA6ECD8E38559F00A7F3B9B2539754AF9C64656BFF4A7B6 6671DD28C76588330D0D498636E865DFE699AE3D41856413B807EEE179B54E6C FD6FDED05EE39CF37E4A94C5C64BDC26A1EA7455F85AAF3214F3A1B22CB9102B F5EC49D3C8150300AE3C5EB33AA5FB033F66098A6A13DC2A29ECE7EC23D9CCA8 4E7A41C24B81CDBEFDEE659EAEF8685CD10C6A888AE584F228923A7F7A389B5E D61647787B9CC60040588E4566674E8C2BEF43EFA0719394E4E24D6812B02F66 67C8DDB2D24C87BB7F2C2B0AC826D6E0CA84DF9B5C89189D73FD94DDE86DA4F9 3F4AF5110528975406DED1C65A1179EDBD2D0B1EF0363882DC73BF801AD90B0A 0CC608DB77149FAB344216AEDFBA6298B53BE409DACF450E6D82F31116F4AFC1 0F7B5832350C53E4AACAC3AA0F4A09B6BA4E5972C6643AADC437B638D6D6D306 5D277BB6BAB0A214D8E862B83A5898485B6C52869A7CD396B3AEA4C5F01F0F19 12BBB9D1D352BC81F2D63F4BECC9E17715A9BAE7023D7FAAF5619E0F519124AF AE03BD26CDD545B8A02453E47818EE8B9BC73E3130658013B06D81FA4986A438 58947B276239609DB472C285DDCA571073271113DE6064A99525CFFFBBB312EA 851267CE8BC6A34454339EF2ACC8905069267BF3F371D45B5E1A8831E5FDDFC4 7F358DEF5C17272A9DD266D0D7F7344EEFC0685EA492BEE92E38EDA43FC339E4 8B8646DE75DFFFBDEC00898D9F4821ECA30D847A51071B320EC33B4B392DC8E5 6D2C10F28F1DD231948F4EF924742A93FE5B3354D568F3141ADF5D99D2932E40 1B5DA6B82A0B65FA2A7B729E3A4A7DBECAE07908ED5A15A8C13CA046D64D6203 03904AB445D506DC646E583A941DCF78448EF4082519157D980DA67F322B962C 8F33F361D1003F074138E401884877D0F7A2769486C6CC26AA227BE061398376 0AEE219AFF35976272E2582D2B50BF9B8574373F5A7D32013377E840D4F1DA5C 861EF6AB5F93545DA7911EA23C609B75C835437AC75F46C3F8466D8563563C0B 5FD051E34D0B0DD1AD9783FFA9111660E5D79523E511B87E2CE83CDB96C59E51 72F46F8BCD987497965D1142F04FF5814D029AFAA5DA45592A1CFE6F50E6298E AEBA7D73609B713AE47EA855591E8CD8E437D35A06F9AC9B5B86D5C604CA732E CABB83F96AFFB7D5B54809D4BABA2B43B9DA31A7FBAC02611B14F2213D505E80 723370BDDC2DD4DBF5D70D8A10269664C017B873A1343201EC236363CF062DE7 C8A97C02948097CF1893FAF24DD6B3CF50BBB8FCFF6260BA4261B6EBC3DA2B03 48C3B7A317733EF12AF0BB07F2874EAFE0C637C215A7E7F7980055E65E9527D5 ABB13F9ACDFB0CBE999BE213A24B29ABCA4D1DA4FF161F8DD14BD471F063F73A 110FB0363C629378F1ABD481783DC5B404BD534C05408170C4E5A942E35D293F 1D0AE91F247DFDBD0CEEADB7BBE81D72E1D0ED10008014EA5E61E5DDEE20E839 0DE3578B57A41003E37273AD3E46B925AFDDB812C8D4DBFA6FE60C45B7BA9058 15ED2BF0A3B3D6B018024BB685CF7D46CE1D00BAF12772499EE6DDB8690D87E2 942AD1CF56284F32317381F8CEBAC823205ED4511E66001C02F0C5AD7A02CCE4 CBBC99D6F0CE3BBEA012587FAC38225D1EFD89FB7F055DE458F509675D8E8C7E A475C16DAA6424CF950EC3949C22833A3FC212FE28B187EC9BEFB9B2EA2E2048 7466F5ECD927B36B40AB19AD1EF12E3E91BF6508F5EEABAAFFD251D947553CD1 9C684EA9CE78351A158731EBC281E5790216D85EFB15FD7E69BDE90DD8182123 EE84FADC11F451B309D3F0059A887BE5ED9B5B1356234B5E3A00119EEC048BE0 FE700014D41C426E8ED265DC80A64CD0017D917F1709438E717B8A15641B67D7 6ABE617240A9160E70C369B5866F16E7CCC031980004F1BB377F422D9DA5DEC2 B96A762A238A573D2A60036EE203DF61EADF3AD80C890AB6D53BCA06C96A43AD C87F1B0A7EBD992C02ADFEF791C8592AC2BFACCA38AA3922950A92E39EB62C07 F662E7C6344F2A2098415F9050826D4E311036B2F3C0A69516CEF8B880CF1211 6F39F7D8AE5E99CB1609A72D686A244A789660882191E0ECD2D4397F2894A475 6E16BF1A552A8A0FE34B4DD17C329664BE0E3FA78DE24F90E6EB0F5318095829 2A5F6C02B971C13A5B66B2C1E123497BB83C9E787C72277DACC779BB3AAB667F CD5684B025179C5B7E4C8EC373B660B62237B7596BE3AA4219B3A03D5BE0000E 9C44A826C4BBB65A494E77EAC1FE7647D8727CA320AE409678CDCA1B12B90A18 AB65F90E8D27BCE817C9B582E8387987286F7E5DCF4D68A430AAA98BC2CED019 0BDCACB7526DA8AC5403DE98D51E08462D525380A55A34188772340138BA6296 4CF09930AE496354A6C3B3FDE7E84DEAB10FD39F3A456AB051485C8AF1B691C1 63BD41F560711094C45EB1E5B9C9659C0BC7FE6F39BD0B63D83FCA4DFAB812E7 676B15E038EB8EC68DFEB5920A3AA55C77CD5517E2C98BCC31A8B3CD7430A535 8C9E4E0C96A2AE8A331245B462E727B48DF1290BED4BBC59211744A28CBD23B3 568DC3C4EBA0543C5A8B150DB4806A481E6EE9385B65280A43C2EDC97408738F AE46F0AD374C946FA8CE5890B86BEAC3A76CB91885E0C03A7411E2F9CAFA8CBD 4FE8B351A255616F8524DD1CEC00B12BD74EBAC5A6656784F2B3C8A5B7561066 71FFE08F6AF2999EDFBCA0A03385C8CD9C52DEF08312B2FA96CD101109BA0D52 8EE800B943226BFA27DCDF0284598B7DC2249225FD2559FE622CF56CD43A5730 2CD56095DC0F5745C07DBC4EB432CEAF8329C9D6BC5A238BC17BCE9D27E8922A 738369FFCBDB966016EA984FC5CC87AA60B583D1F7B2E9F689C015238714B7CA 861291F9A3BD21CC27DF08E0EDA02D9AF6D18601458F2D84D80234B68BDC3E43 C57C0FE616216DA01799BAFB89EBB8E812A9F3356B6790C62BEA85EECC68F641 C4C696DA0FDC62372352104E74303BFB33B1A125EEE85A8E1A80901BAD6F894B A387B3915C4C3A14974D452F0FDD72AFA96A5F2DB5259119E9ACC21DBA3378C9 E0AF20873A1CF4BFB23E48B9429A 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 11 /ff put dup 12 /fi 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 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 87 /W put dup 88 /X put dup 89 /Y put dup 91 /bracketleft put dup 92 /quotedblleft put dup 93 /bracketright 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 0AE863CE6C65AD8229A26274FC87C1396D5267621B55C863D0B820331D09750B B867D77AF8313E682FFDD4D92DDE4B4CA2A7CDBA250B377A5618FFEDED1BEDAE 768B734F939A2D1A887137E879A89EE54F411B5FC219A008BAC33B672F6C40D9 14D76DB41C4F35C0857B2A834597F74653A70013C1A6038704AC5BA58B8C30FC B27421E11D46929CBE33EDB74CD96C706D53AE483B1452ECB9DB4277814EBA57 E2A06E28AE6919351594E8943EF51F932EC385370312DA5ED5097D4A9775BD56 277F4F42A6E3E9666A6D19A7556E986F07D1FAACA5B9408166C3ACD4C7E77E24 8A3C07F545FC24D58698778BDAC5D009A27CF6A50E64AFAAF7B2784BE7924852 04CC50E04DEBE30F812DAC3E93532DF94DC295BBFD061A564FC5BE7E35B662B1 F3C166C391BF44B86E0AACA1BF30D5C0D658F10DFE24AD4E6AEFD184E15C353A 098B6C53E02678C282A5958C9E415D7AFE96D0A25178C9F331560E2E48B6B82D 101365F64850214E8A8A58552599465F834A5CB01941CD1AAF2909B7F93B37D8 99691B01FA4E155AFBA4DFD0D31BA8F0EF452D2A6329E77C34812686D9E47087 A827BD72F34473DDC5B6197FCD02C8D0E4D4E872CB9BDA8EE23CDC3E1CE77699 F0D0EF163264BBB5914EFB3485D3E0687C42EB1B05988999F7BC91483FA61509 B1A9DD8BD0E7BC4158656F78B7AA62CA602A4C7DB41B419C4296F67917D25E9F E1019D76941350B8E7F5B999D854CF21CBE866D67A4EB0B22687BFF05BAA2553 4571BA563EEB47C3F65F3F0DDC7C6C8290E31B862B9E9CE2302AEBBA41D887D3 DEBA5DDD55773E4C4802B41BE80E31BB2E580575EEB37744B9F5F5FF44768F4A 7883AD21EB26DB709E1E38502E9EACDACE1A45F0B352D67B2196F84620B9EC8F 6C748D38C2B75DB9F0E835176971BE70E93D73FBA2C668250A35277EC1D46CBA 9CBFF74D976975B870CB8F425EC2E14B1D706364692F99D2B73D71EF517D58C8 B213B2CC9219C4E4591D89116A001CF5D1A33A603C0CFFEE884DD4A82A652838 B960A7370FCC883222A18CCF32311C36BF579962C03090A4C36738FFB621B1A6 3E80458DA3C6E22F685D9636B771CFF57B7B0F8C03EBCC1CEF1D84F1C25CF853 70046E61A63BC781DC0D5331C7CFD6C5A0749B706FB82CA36F04673887F88A92 77B5BA27CA4E76883142B1E7119D245617F6F460B63ED38C5B0209373D62B540 9079B65FA0A1A6A1CF545C69C65BAFC5FF9F7C63EDAF026D02B4DB737D1E36D7 7FE809743E8950A8C7AA355A1A0B0F907892331B0E7834423C27E850FABE066F 46D403267787DEE4C0EC67137369E3D9C5DD1F645285C9F76935DE8DCDC26571 E9EBE77ABBC7F717667CB20CBE0DD3F62D552D66E1F48AA28738D0D7548FAACE C903E9F8208E46ECC4906F51B1B501DEF6411269785F08B7501A7EA308533730 3CB8AFF44816321DF134ACADB69D62AD738CF56057943762DA72110A8ED87FC2 41A1D0943695DFB3666B6AAA887E50EBDE5984B72D4A01D8E588952616691E50 E400BC08845F7845CF5006C4810AEDC2E67832594370DFC2E49BE74EC16B3B3E AFF5270B60871C8636F4EEBF1BB7AB9797B3ADE45BDCB1B8961B3D14AA03CF8D A7BF00E7BF165ACA59FBD11E65FA2F57364B97F91E55A2BC69D828BFA3F5F30A D346605342AE222B1C95E9B7317317681A59355DE76555616776EE4213414892 6FECEF6EE197EB8CA175B5E0A0120052F8FBE10CFE24A5E375B3762978534BE3 37783FA77853312E7662D359CA2F33F5C8EC57ADDB787658BB9012C3EDDCAA91 FAB05CD5DEB22765E6904E8C94C29E7DE43A8AE6D98ADACE7DE34207F4AB7A4F 243A07EE18EED934251D6CF19649BBBA6FCC946C6A3655322AE510780BDA1189 4A141F3DD371D00AD6729B63F005A94545A239D3CCC312BF31641A68C28CA847 6DF9761CC96A78494D1BD6B135EE49E3550D50A0A6CCCCFFC423F6B26413E49D 0545AFBB358908C62A30578AC22343CD30DCF5402A687786E70B43DD2D9A89CD 02F9BD642B1D55C4A80D2D1BAF838F86966E5AD84740A60D6AB885324B563CC5 CFEE9EDD5EAC745371FE5180105A2845BC3867D7560A549846DF608DCE7411E7 0BA977FD738852929D2A565D0EFABB44D1243796A84D1D18264863D8B5CDFD06 670B90F3687D2DC25851F2BAC4C0C2727FDFEA2E5A17B8C6B85683B29CF1C877 C2CA1D4C0E7F49F973279A6C7CA221FA47F76FCEB6DCE7915DA2474AF6AA9705 3FD92A594A198FD4606D5DF4A20EE95362304AF21429D0BAB8A8EC59E04D4BD1 8A5757063BCDF9606810BE73B700047043C46B13A0C405C3434593B230DB080E 336A4724F8617021D10F75BFA4946C63326BB6ACD7BFEE053701A1C631221376 846EEE5F5D4D684DF3A3C251C57628B63935B04D6FC96F608AAEFD74921C14F0 E66C02E5141172A37CE50D51C0A8F3676BF3D0A9241A878EE366952D9F3BC0FA 2C9F5784F8C3BDFB0274D74FA5F5E8E85333BC0812DB942899396789D51E4CE2 32C85C464A1FD375106A3691943D5396B931AD204A5E172B4DD773F99AF6140C E26E73FB876E7C558CF3EA4444DBE69E4747775AD7318E972FA75DD9681138B3 8DFE9372D34B822321D641B2AEF12DDF579B403087BFD652B51C1824454F3FED BF7BC54E745872BBEB1C152FCE635B73DC4602706E673CC3F45ED3E0E78745DA 5CCD7C708C463498AB7D8A6B33F199114684E8F9754B26EDABBA259975A942ED 2A1C59CC77F3BD3105B3EF29A5817F63DFD7457BAFFFA50990779758DDDDE30E D47B7ACC7041F36DDED26D3277182F5209AD61670DE804FFC130DB0EFE13DA27 C6D0D378A478FAF2BAE5B7B69EB0086A5C5000B3C2D2B3B97AAEA0476176B7C1 105909D5523F87D959ECF158E724B1505D4547290AE930318892DB4E01740799 55EE3A2C2F432B936FFDD28D0353C3C79D34A1C4D3CA86CFDF17CDF20FA7F61C 3EA9746C6D1091A19621FA9ADB8E1D2F6A4DA0F781B8266FDE6EE6672539BBD3 6338E618CC9E3D3612131F79F27F9F3D4C2CDC155C2892C176EA5FE7A40574CD 7EBB9226696ED4A9D46B9ED10ED05AF43BDB68E1CD42518E97C1998A9136CECC 4901678216C1B51DD73BE26D3CB8DFE0CE2FCAD0F5C3074816F536A6DF560B63 FC1A267A93289252BF3FC8F16EC51AC33E3475984A980331465F4D1F4E7F3D1C 99C9CDFB13E51A176989B4F7C4B29397013336A66C0B8CD3C106A727F929F87C 62412C11F47CEB607917B6DCF21161DD6A4318E2E08D019A1E16B089E4D3E3D5 3693032C4BC2DE3690C9CAF417754BECDABA6BEA82F4D8708F4C6FA5660B2E93 F364139E30B886B19ACF279E35DF52E79F7DF922E0BA8BF04B1E2AE3155133A7 54DFF48F2B20C6111CA2FFBCB7C40110251FCDEBA3C8967B76415B081498A315 0BA2CF7A7AD16AA73686389A01745CE4C211C656BEFBEADE638C28ADBB853CE3 29707E309EF48D3893C97ED9B6399801B9B03A7BD56792818897505010FFBDD7 709AB053AFD9C0086CC945B754B2E6646B3D6DAAB348438534666B0B800325D8 9A9747FA87347F3DFA6DE618072686434FF059F751CA1FEFAC403F2270972ECA D252AC985993DF2613DD83137EB17E181B268C675F282C1E101B66575732A5A1 3B66B91894522269101C8111AD2F3FCE5ADF0BA6CB937E8CDA0D8DBFBFB98175 52D4EA9AB43BFB56712B5E8C8D11F8AD336F4BF8A3D20EB11460ECD243C127C7 6A9249AE3078AC582891FF610AE87C9545C0C4153C3D77C8B6AE9702D2A89361 DF8C4859D8002F8ED5963A7F97126D3FED2AB3A740C4688CD8495AEF8B8C3F96 13C45C9ACF7483F915F28592DDDA331BB81081A67D5693E4B85FD880721E4E6C 9DA9D476C4465E8B60E482594BD931B96DBA84B9C87798340ACC1C560ECCB735 F571FE7D84DF7228207F1B524EEAB2FE34F542690A91746CF7B9D11071B3ABE7 2017F6B608F79C2D38C2A6791C15BDE12127454F6242D6C88387B118A2DD5FB6 742EBFB26C1B3FB0C586F01F924FB377A5876483E9E40856A80DA7552E119D17 2B08276B35A36581C41602AF86A557D2365803CBCCF1AA857E080C76AFFCE549 A2606BCA6FD9F8E4F6FEAF160D9AB2BB53DB57BD1BA32E9D13CDA1C1097D9B33 82AAF68F0E3D41859CFF5C9EF7DAB523C963480A1D65C4968B2617C37CF783A5 FCF8442E893474816B97FDD5C23FFB445DE12101C1C6E8F2A69D4FBB79BD15A4 E6BDB05EE5D434EA99BA8DBEC803758DC2BDF56818424AF38CF5EDFE7E70B31A 8955C0766B1269F45AB76FA6F9C53355D7778F41E5DF78B982DE5A05E1018BD7 81F3D9EAA369AB39A07939B2A71890C60C2BC5D68E417F8D7609D4531DBEEACE 35CA53F50A2674499AF7747B83DB07AE5ACF00A120470C4A03B0FD047F665264 5F59D4E2627BAC12E77D3E9EE69C102B413038098706AE79FA30CE5948CCAD05 4CD7112DD91C590E15357E9F586FCF7B02C93461966C98DB2ECC67C13F9D9296 A254DE346209CB5BC1CA9218C8D47B67CD361F3F08B32E4A293B15BDD058838C 51582F97B403D0385455F61B393987AFBBA8EAF2646A2F15B29681918516295D CBBDAA146F710F9AB76E1B0729C4338B33EFECD29107351D41EC557A0DCA6051 79FB14249C2C08A78217BAEE3C558D404394C70E893C28E31E07CD6CE7D45C21 8FA578289724D95A91CA9F50AC7B1715B79E9EEB5BA9BBDDB829F9079A4B54A2 EE1EF141E9BA411BC9E3B1091EA1B2B1FA87424D611649E6096A7A721F17B1F9 3476918A65BF029CF58ECF5DAAF58839EAB86D353E15BA229FFC6FC93632BFD6 A99E0B1AD04DEE4B89430A252856E8FD7559F5EAD5B78A224E1D9D79585CEABE C755685C730D284E90CD3F4AB9B101BB7AF788FDCF4513F5DA0953BBCEB7C18A 4FE0D5ADB53122E329D4581D337E701DBFF214381094BEF10561708DE79367E4 0179BB97F98BC4F5C37979AD45A42C0B2D84831DCFE699B48BF23D3EFFFCFB73 3081C9DABB64F2BE0F0DBB04357773F2AA0BBF1BBF4ACD41104DB6FE3324D977 111D0664D7AF0AAED5D9BE11276EBCDD9B052B3AE7F569679CD384697030782D 80DDE64CA6C784D9703CE7597A80BD19866A21389CFD03CA115CF348EAD176C9 102D0113E7E2B857A7EC4720C9541BB2F90FAB0B31B3FB70B08FF5BBE53039ED 737083DC99E3FB8F1C8AF3C176D10370E08B45CCA30F6BC851AECE7210DB4CBF DAE79CA1025742195C263D073B373541A7E31F14FDB5BF313C7298A18441E545 93B65C30057D33CB8EA2B3AB3F06360DCEE99ADB7EEBA6C9391C67341514CBC2 DBC96C0E9CC9373EC17FF60817233C7349F765547015CE207BEBE72B23B07653 E527764CA5A8C3322D78D77F0A44F70FAB28B8BDC8F917797DE382250F9B1C5E 1D2198470AB6A0685F2BBB74E0AF19ACCC3A65E160F78E0E2F1CE2FCDDDACCE8 9064260377297C5087F002C7606C62F90C420F22D51BD92D9FC5CB03E463F930 D5B7D05058A17DE02DD253335D9990DF69AEE3A4F01600983648C101EDFC68FC 440880D3A1B409B1C76142DC2FB3294617A2162CC1388BE5E456F87D0F698750 9C7891EF8D5B68D96C164EC8405369AF8B5A3968E436DF0090DFA332682F3605 3A711DB21F3473B0738E3A2E9545D8FCF340F372C6E18069A56A76AA171E0BAB BD92DE45A5CAC93C71BDF1F4602DF38C881CDA59DC270F50C5D31F1B5E02DC9B 827C7C1AB9C194C7E822FD8626BEC439415F67A8503DE79F93C1538563BF8D67 D2078252F05817D2AA69DD7325797583B0EBFF7E5A7FABEC07C831CD2D0AAE22 A13092149347FF969CBFAF460DBED5028486785E067AB837016F059381A30F7C 541ED9A3C83946D0AF691F5D5E22CDA9D31F83BBD3B205E7E3B103CEBD90C534 8770E7559F4EB379A36F8C108916534A67B55046044EB735C0852E243952D7B3 4036E23F1C98E9D2F93F53438BAD5586EDE9E24B6CF8BB4823416F578595D9BE F2A8C9729B5E53E0BA8A10A717808455C528C2B668284AE92150444FA11F3899 D07EF7BDE2F146B2B42753B8CBC3DC27ACAAC6E6027D53A5A180D998E00A7E16 3D5D682727DA56C5A56E337E38D4A9C2E0159A94021B8D51628F07A72C9DD258 8783277835FBB56A88ABCC003036C87A1B46B018D68D67713A4AC1B778F4796B D180D5CD9E3B3436ED1DD34D96AE629241224F225A4D590C9BBD87606C84C09E 9B78300804E609C5A686801EB59A4D2F2FDC218ABE07881728D2A6A1AC614947 D88FFAAB6E95A3C741F7CE85BC1761662DE65D7FD193CADBF57808156373B551 B7EF641B5AC10E90991F396266ED02E490E6FEA9099603A8A9A0248B2822F64C C7490C26937D839D6E468DF906B6C40C1D7F8672978CF486739A14B07CEC5F2F 1AF958970C9EFD4221C9FB245BC3E9D7F9B8D8DC20F71D6E0B9F3F209D56B2B3 2335CBAA0A1565746F41608D93D293E0E123DE8B820CBA515BDE125649FBCB2A 9E78FC6A2ED350FC8CEA10F055C1836DB410D56585638CCF73D8B01C6136DE57 FEFB6DE85DD9C265572A6DE89A7CCDB2DA74615B683D19706B3F9D78DBF36DED 013E10ECACDDFC322118D556DEBF9246E9830E2E1B9076BDB0796AF520C857B7 7F241EF7D447A9DD2E02FB281D473DFA690530E536E2922C55E90A9300F72128 1800F4CA735E4DB7571962D08A1CC7F53C0ECD1C7154DF7690AA895D8944DC34 07703A132EA36A0928B1AAB70E25037DA3AA6F93F70B5ECBF2FFF3A2C8516FED 0195265B2EAEA134499A9A1FF32D8599510AB6957D0D946D5C4093499ECA4C99 C37A15C842321B0339AC96F42923B2A3EFFF56116FFB16E7547881F0F2389714 0D56A5E52F442203E21542BA228C52537D7350B9AF29DF23889E861EACF7D96E 695E15E9DD9C97B2D308F28CB85976E4C3BB2809F1121A823906B2F2C16238F8 749BC7A3815C739B5EFA4B71197B1BBE727A571C023E62C5DD93C52AE2888082 990B5A86CBA6B6B83772EE9484442CD821C16D650D1FECAB9105706B05E03221 31F52440DD25BAE0EFDB0F0194CA2FC56707AFFA91BEA31D15B39CBAC76518A1 C979913F0A5AE0E679814AD236E0F254376594798C0A24DFADE32C164B56485D 6C8F6B83979BB3BF9FC0279C6EB42F56324D546051B5C540259952CC3A452FBF CF1C201CB15E3D9E1CC0DA6C626B1CCF8BB2CAC59A54CFCCEAA5ECF576A65320 33C67A7B16F40721141536426C73C261C1D80B71EE46B2B33CFD5D6B3302B53E 84FA734DC7F3E9DAF1E883EC219290F550DC1BEA46711AD408993592DE51A258 C987DB9F0A914D1F4E4764232371345A5D2D04C004899BE93A7290FB1403D3D7 533663D60092B26D2E192D8129589F4DF79E95BACA582FCDDF8F8191856EB3CE A8DBBC4E71E00EE17A7BC81ACB1002A3DD52AEDCAD897171682D2E39A37A0A5F E17C63403272E676F6C86ACB8B24D9C7536E7BE775BF803FCBD8AB68429D116D F3F7F4EAB22411A667B6B54A735DD3AD92165061B509C89A6BA2CB6ECF6CFCED BD74A2653D8DBBD659BC2580C3C8D8D51F461E3470C9A125889F22CF380E2763 A22105A779F77D63A1E9A254DAE23A8663489894FA63D75582CF933F6F4B5FE7 94182C84559E5F745F805573CD3C4B95496C95FCAFFBA20B6C01718AD4604C1D 3D9F173DA77AF76BE7061D707977BC4D97990D2FC4E72B5E9B072139157290EF 12A8140A5C21D7D2D9EEB1E6273362E4D67FE26FCF2D1C6FF033EC773F1A822C A3F7098E608D5AD6F0E3075EB22B4BFD6378E9DD8F574BC1AC30327007949B76 DC51C3CDC7CF593963D232595E0526BEB93B9E110EAB13622C26D06E396365B4 6DB516EFF5F6A691E88855E8AF74717ABD1914A570FA6B6749EE6F80D42E8BE5 ADF46D08C069749C30603E60CCC0AA82839A55C3484382F4F3173590B3322D0B 1CE47EEDB87B2448B8AB9AC74BE0D009CDAFF04931D5303D55331BDC6ACF5CA8 1DD9D73E3430450DC4100EC449B4CCA5733B2EFA62AAC2F71B72683421F7B6BB E3AA7D246D5549EAB64E5E02089D7F1A1562B2F9D223BDFA803E723C78E60C42 F85CD041603E6041317F886DA4B2824E63A2FEDC82E1E607626EB5E55B720F2C 488E3195B03CE29DE4042CED4CFA4821523A7D2D8C27969BE0A36DFE3091E178 95F154642F449B44DE301CD9BC1F4881D30C2B1C2D6854FE45C19862CA2B0126 5347BBCAE297E911708D76C3A65D58D57845D8490664633A14607A6563121FFF 0CFCCDFEA27895A75D2F4B753392709EE2F0A2C564ACA55120C7EB68DE12E902 A6C23C38288675A6C6470F5E02434BB66BE1A9B9EA902DA860EE45ABCDB79D87 7B2CCA66151EAA759A5E8003A07080234AB4F30786D97F90CC8F0FB5F4C20D28 2412339B3775F86CBD7A80E6289A17E731B6E0CAE7482166EC5E78A49CCAFE0A D04C870325AC08D9E83CAA5B5706F33D92D936C5DC088FFD7EC84F79BEFD47CB 63B06B90315396BE05F76154049C6504879FC16EBC8C8A2E35F49AD84AAFFC88 56C5EBE9FCE88942EE3259E45687D246383C4400B784B67F70C4EEE5498E3142 0B43BD6FF48110607AE24FFD52461A0A46364F4DF66F681905A9A3BC9F7D590A 90FF8713298733BC453C78D2F52C278FE0785A2BD1527032E8CB9B2293A17613 BD4F3FA3E669CF4AA5915A316BC5CB7200B65326038D392BB636FEB33B2FA244 46A48D37C79E16704EA011812C736ECBD2F202BDB312253649EA8EAF08D5D26A 67DEE3A5484F080C509D303EF620D4F231B51526417BB32A658E8595D0426917 226B6D40CAE8F81374994973CA4319692AFDE3571A60D8B719FDC4E04DD38701 D04F6B0D75A5D9A98620A23F4166BE34C4552EFC74B769CFEDAC70B78C4336E7 AC67C6FF0732740597503D1614910C6842F93BF5656388B3109D55A4174CCE0A E82F9F1EB45807BA29F60267C850D1BABDEC485D63EFB14E427F04C637C2B364 40DF998E9981F49FFAF3ADA491D18C8B57151D99F099AF418C81ADD2705E011A 63FC85079AFED84B465AA4ABC3D69F6FCC128B08C0C5B00535B4D58CC7F9D8AF 3390BE48AD799EFA1D92B3C75E30CBEA4DA09DD44E4381088E0475426DC5D04E 72D9F296B3FD8E40DE7BBB240EF4A1E6FADFC95B4E7866EBDA3A5ACB1C932CA4 EC0DF0B2BDF0AA3F7E187D68A4969972380BD0D164F2A2968618A07147E24B56 E15BC8790A2C34CE9901F16C96AF35632873D72D373BF12D8B8447DAF39985DD 5C648ADCAFD90E6ED2005F140CB207B7032ADEBC22A81839465BF0820E61081C DC83ED7FE72AF64325537D275F872CD542B0D002FB6FF616938E36024347D537 3F0B6D80D14493D05B684F5223B94A3DF0A9E669F18CCD25460BA50E08D7F900 C4600AB59C17C53EA3A4A75445831BB312A39CD587BBE002214A7D16EB3A1D6E 311DB03FF087CF44BB8C50D4A70FEF47DE17D8AEAB48B52005A22CE51ECDEAEE B44CC7F73D48976AD45CA45A0EB3CF5EBC988E91B814D33F7D4EFD0992FDCF4D 3CFC6B23F23D6A24181DDCF6F3EF86057FA90AB0445A317AF787D46FF537495A 70DFCA9C3EF299D78B6EA1F0AE47EBCFCDDCA4C5D9C2BADCD7C3EE0011F1FC6E E9440D6B681BA98AAF1E7FA81115605D0116792F447427DBBB0881A4015FAC60 26C8A3E7E5C645F016CC07C1EA50996A61ED198A6572578EED35718B6BF1AA20 1613C314E3AD8D5AEE1DB3F3EDF48593654513058A6740DF66AE21E36A64DC08 B9F0EC31D31B9559C1D53A99F9C79FE3457A5C6191943566C033EB8FCDEF58AD 731495C8D6EEFA05E2F3251306F0E8F46AFDB87AF558E8B4AE1B01F93CB52A3B 24D628544BEAE8CED4BE953F80FA1A84DC06A4192C1CC3AFD17C68FE240FEA74 62EE2EFC635176193CA5F1FCAB13AFB8DDDA702A3F2155FF184985FB1DBFCB56 31F3D0D2C167F14AF36446CDD05D03DD082B2D09A8F3F8F987C5AD2517D5C2CC A2E73C2604DF424D8DD56491E23319D12F068EA43E726DDBD6E2CAD093613210 D0F35E8DD14169B85517DB2367DF25A8CBCACE852EBA9806AED4896B6BE2D99A 5058D091926D7F857E0AF5E47B0BE0A03423E7B5BFF3E388A304D6479BC8786E 0B5FFC985E924D323859F958FE5313CFF5E56B545011A53CE056AA7A9A5CAB46 732766C2ED60718B32F3D60A8B1FAE1B49F8C00755A8021CE3024690A1265FB8 9736D7C4B447F26C4FC69A41A425A6D1C8E10961CBB17F80CB0ECDE4EA34C92E 5DCEE910FFFA6CE8DD05BCDD1ECD28B3A622BFE56FBF523450D7CB679DFFAD96 E1D31BFDE3105B7976824800263FD3BDD6CE0B64E351EE0BFB663EC62C9FD4FC DD2A112534B42BC3D241B354D932FC2202657C1ACF833BE8B9BD9097F83CAA07 DDF6B2C296C18976577FBD290F72D2C7326AB763092D98C3F44A4FB8E750DE29 953119DF9A434F8455121F9FB0FF0A4B2A7526AFC968A98A7D8174E9D9B2EA01 EAF4AE581031832C9E3FD8FAAAA4F9904E88E3F1951431AC8918B9CA06800C4D A5AE3552D417C04BF3E33CE4263E1927B4797C332FDEBA20B906A02309CF72D9 1C7E419DBA4A378EDDF329480680AAB35DBD01049906F98BE37961510FA27F7B 31805456D16475C2F15D7A3CD5AB0F8046A6EEA64E463F461AF4CA6250346816 89E60F6ADD74F70E9496BA7C5E2659EE1549230CFFDF8002ABA47526520AC8C8 98270BEEFFFBAEB1771B9EF9ACB284DCC28154E49213965E7FCC7A96F859A1F3 9D8598901CC28127F82AA645B14F69ECD5CA25B7DEEC80146B4EDA4D1A160C92 B76A1EC9CE2C076528CB55AC11C695353C74E25EC828C13BB7F730F43529C801 C21FAA664CB42D2F724C91CFBF44ABABFCB79CBD0BCCD8CC760E9A9A2DAB98BA 714560E2495101736441D546A38D9D40FE7823DFC68809F679AA4C431A05242F CBADD76ADD718B8B1F1EB3396C57BFE122C7A361C4B2E5F11AB2F8C79FF8CD54 D76F1B85003FB8EAF07BAF2193C8F711CD4C6DF14D9ABAE721686D0486345001 EA8F310C8DE8A79EDBBF0E5519AF5BFF0DAB76CAE0DBB7158DC0A662B25C57B5 CB52B436295105D42E605D8166E99B3C37E5F2955AB24388C941C4F386667155 D8E0A009F6A655446B6F1505F6852CAD14C38A60F49424C2A70B2557A79348AD 5787CC77D312D528117D79D98BFF591DC518A604C5155216D4653A308102368E 88FCFC67762383A50F394C2FC113990BED797581D3B478530439A0D88B737F12 7D1E169ED911AB36C82612F278CF74EE15A1D06FEB948C2640A46BFFDCA91C17 74C045447A72723B8A466929CA4871571C3492F5858EC0356B3D6DF4CEC2F022 CCDB2E3F005E79CF64C4EF167B827838C8DC22EA61C0D17032EEFF1A19968677 B3B76D52BB75087758FB6F11D69552D0051F6515B2B879C1D940E1AB08B9046A A28817FAB3CA8DDD667DE8B2843746874AF21BB790430BF2DFE28ECC6AEF592A AD95EFB87C89865C83229DDAF61F68594F1F8C8574780F50332393C22C678305 40FB1DD1F96FB6F6D5C3EAABB142CCB099561538408ABFD5BB3BFB5C909853AD 1AD66BB889519E745B58431061B17685B1FD3B52CED8802B633F2E00C194DD33 62244F8A25B53DC1369F6960C869BA93BBEC79FEEE0B8677D00B965F0F62F0EA 410C530032FE567B73F8A2093F63F7B1BE5B9FBCFDCE29C8551D2AEB97ED05A4 77E17989E7866E5D6D1C89A39C6EC8A6F36180FB15314FB9467DECCCB773AB8B 97BF677B03A4387DBDA4A8DD94284EC8A893674BA68E790D0935DF31882801D2 98394C5AAF0C44BEB69F79F5FC850A0997FB137A65892787EA63F7B6B0E13467 A90AA3232EE5BAD722D8694EB1582BC74D7E9B4650262128E2B40D1F8FA55E2A 1C8AD94241F9BC7A9BB02670DEC1B6E9DF68C2175B04BE8E7CA827ADC9B400A5 B176E77B4EDBE4AE4DB0043B6352230F6D102909B355C4B832F4F6773DAE7F0F B8217E00668424F42FD0A35CDF30D536BF26E2CDE66BB38E7371FA6DE46D6C1A 091EA1F4BDAE0588EB0DBA03D923264D2095EDCFC50DB89F407A897D1171CDBB 1625D087CE15B7467197387B7B0A362298DF8D8C6598E272EBA474AC1C087371 4C4116A7D1340CD2E1F33CA8A18BA9E42E14EE8884843A0F8093526EE56CD1E6 EA08643A1349FBEB9B4DAEF5E1606CA219BBF0D0BD73C9891A9172CDBCDE89CC 12F64B988EC04335DC568042EDCAFE10C8EF2D4E531EA16CB5901D9CE9D27B2B EB5CC1374ABAD896EEF0C4585915F34BE9E7B0769FC226FABA0338B49AD26DD6 14329D180BC5214B98C6DDD0F4D710AC7155B1E36221F8AD82D4B5EC9184AE09 E24B38BE3385170AB7B528A8DCBC37B263D94F8C5B23AD7D63746C12AFDBA212 5ECD12FAB7C52EF5DCE28A10282C3513FD3CB9F880030FD82209D2CD61DDCE37 BE1FF18A821D34953E38C3463FBEA9ECF0C334302117EF5F651523BAE6009178 B2E0488AAACD558348BFAA158AAF4873A095AC629218380EC6AA3FE1A89E2E56 3C88483D8904C0826D4A01CEC5F586D46AD22662A982C0D8B5EE7280DBA89BDF 7B221944688FD212C3228397D79D422BAEEC2AC7246E9FDD1671BFB7365D5436 A98958E25C01C9A6715BFEEA567B0A30B3FF3A25885BFF2B8A7B6B46F227FF33 5E33D9AFF81AE1BB4C40DA5C5A25CB27D88EF1B3D183B35B3499D1BD8987E92E 362FC14099C992C3A78C7B4DB795B55EF2F133227C0FE152FD47601BD5B50FAB C56D6456222D11EA430276705DF75E5AA3FD66957A4AE18DFC9F897EA4EC76F9 C971C23B6F15AC9BC1FBB1D35439B9E5D637B30A52856E063BC1303DC708795D 53F054EE744630E70A8B3C19D8DA0E81D93E247F60F048581A4913B39C16E5F7 390112771352BB74B76C6A605C3B597A5E806EF5F1B7369670FDE6970FAFF324 C3E1BB94679E8F3D7F5EEE27A07BB097AB0AF372F88ECB4843A49105CA9E5D2E 3ADA4C34601684146350C2D07678B391A2C6AD8364F18C5E3A045892E23A4936 2FCCAB8C2DCE78104543EB343E6E080D0E6D95E89E20D1AF706A64065DB56988 5E76367DC8AAA2BCE2113C60C25C2CA018DA8D8D349C2DEC4EF814838D5F05E5 2161C9E18EE72B447D176E92410AA76619DFE06C8D8A9FCBEA098C0081497C9F 6795211678B355E7688FC69158EDF2D447E69505AF6DA647586B5893F4F4FE8F AEA924093F1526D67F66B15652AE8FE9235B261C322594AB9E726917F674DE6B 3268AD56416037F5460E059898918E62B173EE415647D843692A2909E6771096 6B1B5EA150A8371FFD0A4F2C9FBF1BFB9488302A705BBF561771230A8AC7FD5E F70AAB1C3D1CFB4B31ECE9EDF1533E679DC76C98CB07AFDE661C8B073F9C8369 395ED559BF2C3B2B7EBF01F8EBA277D8037FDFD25E770242D990CC82D241B24D 234D6A1713E87DB571795BB8E98D331F0AE6907DE327AEC6CA6281EA4D9CC599 46F23646CF2AF9371EBACD40CD7E77077DC389FE64B1D62D59B7D9D58DD7B710 3C4340BB3783A746C14946E74F61D94ECF93C415947B546D4741D920CF84F045 C0A0CD33F153993733659E1A3CA00ACADF78A09DFCD1A4EE4109F05D6942BD6F 69A3702B8104FDCB51551CB46B9173D193834707EB12FC9F7D2D48BF4F5F0D62 6A367693AEE2B5ED1307C2273519C84462A1C4CA3E33376B209FFDF01CF2B7C8 59A418CF07C28027E03C34902DE4983B4819028F9B8928E392B678169E28A030 DA6846BE8930FC7616FB794080EB39D3BAA83DCD23D70D7452A00559B6E05430 45B9018B94CDA2335ED802086EB5E96CF5C2778609AE9FBFA438613E758C1E06 752D587DBE0CFB302C84537EE438681E7BFC7BF8F28EEB44A2BF42614614FEDA 5ABEB6B64E8C783C30374EF6735B3697A9E0E47EE8E0A8DB8B80017B0F7668FC 39FB937890DF9BF9B7F044CACA50176161C89B390F2DE4C0F03A98995F3C768A 864802360099FDC8727C4DA3661EE1BD14DAD55F5EEA1356250CC2093BC17818 2D5B295379E0CD2E958B1E3DEF7F21533B938EB25AA7042599901B58AE51360C EA8B6B061E8F5B5FE4859382BD13022AC90FECB14FAB0EC5DC57A5789BC6D320 E61292815B462633542A6F5BACC3ED5A3AC44B357A44AE1F3B9076C7F7864F7B 73856209F9E77368D91BE13CC04B4FEC057466CF55D40C6FC58495376E75348C 070D283F6D264E38E89B2A8F7D6B5FDD0E6603EB1D477D17C589E2FFF1BC237F E0130427B5EE788038030E1739C77A0316EA99A88980E6A9318E9ABBAB9B5052 4B3DC304EB8FA8C7F41A38EE02E7BF07A9504BECC86464522A0BAA24DCD365D2 3F598ED880FEC0076106E4FABA1D7BDB76A5295C90536580B3FBDC67A1B12A8D 18338C1A544B58758DEA0F1F7C1D686B3FD43492221F66B36BFA8AA9AC3ABB5B B2EF59FA72B63BB3C8E11854EDFCF482C5743AA64B8DEF052E7E209B116AB47E 14A61CF9301115D48C737EEBDBE35A0D45A2615690EA321A01C1EECABDABD3E6 5D3620751275F7ECA353A8744E803F01143EDB79C74DA58679A97D112CE1D06D 47F6C2C7B20CB975AB894FB2E70A70238D34E9F80009EA25FBE24544BB9BB713 AE5078AA04F420BCFD79C47B8C3CCE52F6A144848429D434E66EA76E5ACFB8FC A43940A6D82B0D7939CBA5926EA567B748B4A4FD0EBB28786BEDE3D65557C43A 64DF1A8CB21F02588BCB62F1E6C8DF1F7A3AEA56CD68FCE1A6AF88D6DC702E4A E40AFB9EA4A876E06FAADA87AA7CAB40905106D7313CA51E8A1BDCE87E740F90 2E58E8FDE395D9B27C50EF5CBD2B153C8693CD99FFA27C67202F9D223C5C0296 97AC45E7 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont TeXDict begin 39139632 55387786 1000 600 600 (lisp-sli.dvi) @start /Fa 207[40 48[{}1 137.733 /CMSY8 rf /Fb 139[75 76 4[108 1[54 2[54 108 1[59 88 108 2[94 97[{}10 172.188 /CMBX12 rf /Fc 134[92 92 1[92 103 75 79 69 2[103 103 4[46 2[63 92 103 92 103 98 50[57 46[{}17 165.272 /LCMSSI8 rf /Fd 135[99 126 86 102 63 81 79 1[88 85 107 155 52 91 1[60 101 84 84 81 90 76 1[93 8[144 1[102 119 102 107 2[111 133 139 169 119 2[76 144 2[129 1[125 4[137 1[137 49 49 36[102 21[{}40 165.272 /CMMI8 rf /Fe 199[72 72 72 72 72 72 72 72 49[{}8 114.736 /LCMSS8 rf /Ff 161[117 35[117 98 98 23[176 10[137 3[137 1[88 11[88 2[137{}10 165.272 /CMSY8 rf /Fg 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 3[58 103 58 1[133 133 191 133 134 148 115 135 1[130 160 134 169 117 139 95 53 134 138 123 129 147 132 135 133 3[161 1[57 57 103 103 103 103 103 103 103 103 103 103 103 57 69 57 161 1[80 80 57 26[109 121 11[{}77 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 357 465 a Fg(SOME)68 b(LISP)g(HISTORY)g(AND)h(SOME)f(PROGRAMMING)1853 696 y(LANGUA)-6 b(GE)68 b(IDEAS)p Black 1190 927 a(John)i(McCa)-6 b(rthy)-17 b(,)68 b(Stanfo)-6 b(rd)69 b(Universit)-6 b(y)1781 1159 y(Berlin,)70 b(2002)g(June)f(19)2 1816 y Ff(\017)83 b Fg(I)h(supp)6 b(ose)84 b(I'm)g(here)f(b)6 b(ecause)83 b(of)h(Lisp,)k(although)d(I)e(haven't)g(b)6 b(een)2 2048 y(involved)69 b(in)g(the)f(Lisp)i(communit)-6 b(y)68 b(fo)-6 b(r)70 b(a)e(very)g(long)i(time.)2 2525 y Ff(\017)63 b Fg(Lisp)g(is)h(actively)d(used,)k(e.g.)91 b(on)64 b(the)f(Deep)f(Space)h(1)g(spacecraft)f(and)2 2756 y(in)88 b(the)f(Orbitz)g(airline)g(reservation)f(system,)92 b(but)c(I)f(don't)i(kno)-6 b(w)88 b(any)2 2988 y(details.)2 3465 y Ff(\017)83 b Fg(F)-6 b(ritz)82 b(Kunze's)i(F)-6 b(ranz)83 b(Inc.)134 b(mak)-6 b(es)82 b(quite)h(a)g(go)6 b(o)g(d)83 b(common)g(Lisp,)2 3696 y(called)68 b(Allegro)h(Common)g (Lisp.)p Black 4968 3927 a Fe(1)p Black eop end %%Page: 1 2 TeXDict begin 1 1 bop Black Black 2 465 a Ff(\017)102 b Fg(Some)h(imp)6 b(o)-6 b(rtant)102 b(asp)6 b(ects)102 b(of)h(Lisp)h(a)-6 b(re)102 b(not)h(available)e(in)i(other)2 693 y(p)-6 b(rogramming)82 b(languages)g(and)g(systems.)131 b(I)82 b(don't)g(kno)-6 b(w)82 b(if)g(they)g(a)-6 b(re)2 922 y(used)69 b(in)g(the)g(ab)6 b(ove)68 b(applications.)2 1390 y Ff(\017)d Fg(The)i(o)-6 b(riginal)66 b(idea)f(w)-6 b(as)66 b(to)g(combine)f(1956)j(list)d(p)-6 b(ro)6 b(cessing)67 b(as)f(done)2 1618 y(b)-6 b(y)65 b(New)-6 b(ell,)67 b(Simon)e(and)g (Sha)-6 b(w)65 b(with)g(ideas)g(from)h(John)g(Backus's)g(F)-6 b(o)g(r-)2 1847 y(tran.)2 2315 y Ff(\017)55 b Fg(Herb)6 b(ert)54 b(Gelernter)g(at)h(IBM)g(underto)6 b(ok)55 b(to)g(implement)g (Ma)-6 b(rvin)54 b(Min-)2 2543 y(sky's)71 b(idea)h(fo)-6 b(r)72 b(a)f(plane)g(geometry)g(theo)-6 b(rem)71 b(p)-6 b(rover,)73 b(and)f(I)f(p)-6 b(rop)6 b(osed)2 2772 y(list)84 b(p)-6 b(ro)6 b(cessing)85 b(in)f(F)-6 b(o)g(rtran.)138 b(Gelernter)82 b(and)j(Ca)-6 b(rl)83 b(Gerb)6 b(erich)84 b(devel-)2 3000 y(op)6 b(ed)69 b(FLPL.)2 3468 y Ff(\017)f Fg(In)g(1958)h(Lisp)f(w)-6 b(as)68 b(sta)-6 b(rted)67 b(at)g(M.I.T.)i(using)g(recursion,)f(which)g(w)-6 b(as)2 3696 y(not)69 b(feasible)f(in)h(F)-6 b(o)g(rtran.)92 b(Lisp)70 b(w)-6 b(as)68 b(intended)i(fo)-6 b(r)69 b(AI)g(p)-6 b(rogramming.)p Black Black eop end %%Page: 1 3 TeXDict begin 1 2 bop Black Black 2 465 a Ff(\017)82 b Fg(Lisp)g(w)-6 b(as)82 b(intended)h(to)f(b)6 b(e)82 b(compiled)g(at)f(\014rst.)132 b(Ho)-6 b(w)g(ever,)86 b(I)c(wrote)2 697 y(a)d(universal)g(Lisp)i(function)f Fd(ev)6 b(al)82 b Fg(in)e(1959)h(to)f(sho)-6 b(w)80 b(that)f(Lisp)h(w) -6 b(as)80 b(a)2 930 y(neater)65 b(language)h(fo)-6 b(r)67 b(computabilit)-6 b(y)65 b(theo)-6 b(ry)67 b(than)f(T)-17 b(uring)66 b(machines.)2 1162 y(Steve)82 b(Russell)i(p)6 b(ointed)85 b(out)f(that)e(the)i(universal)f(function)i(could)f(b)6 b(e)2 1395 y(tak)-6 b(en)87 b(as)h(an)g(interp)-6 b(reter)87 b(fo)-6 b(r)89 b(pure)f(Lisp,)94 b(and)88 b(hand-compiled)g(it)g(in)2 1627 y(IBM)69 b(704)g(machine)g(language.)p Black Black eop end %%Page: 2 4 TeXDict begin 2 3 bop Black Black Black Black 1 0 0 TeXcolorrgb 710 465 a Fg(DIFFERENTIA)-17 b(TION|the)66 b(motivating)i(example)p Black 2 875 a(The)h(follo)-6 b(wing)70 b(example)d(motivated)2 1347 y Ff(\017)h Fg(recursion)i(using)g(conditional)f(exp)-6 b(ressions)2 1820 y Ff(\017)68 b Fg(lisp)i(notation)e(fo)-6 b(r)70 b(algeb)-6 b(raic)68 b(exp)-6 b(ressions)2 2293 y Ff(\017)68 b Fg(allo)-6 b(wing)69 b(functions)h(as)f(a)-6 b(rguments)69 b(with)f Fd(\025)p Fg(-exp)-6 b(ression)70 b(syntax)2 2766 y(di\013\()p Fd(e;)29 b(v)6 b Fg(\))49 b Ff( )f Fg(if)69 b(at)f Fd(e)i Fg(then)2 2996 y([if)f Fd(e)49 b Fg(=)g Fd(v)74 b Fg(then)69 b(1)g(else)g(0)g(])2 3225 y(else)f(if)47 b(ca)-6 b(r)46 b Fd(e)96 b Fg(=)49 b Fd(P)24 b(LU)18 b(S)56 b Fg(then)47 b Fd(P)24 b(LU)18 b(S)56 b(:)47 b(mapl)r(ist)p Fg(\()p Fd(cdr)54 b(e;)30 b(\025u:dif)18 b(f)g Fg(\()p Fd(car)53 b(u;)29 b(v)6 b Fg(\)\))2 3455 y(else)68 b(if)h(ca)-6 b(r)69 b Fd(e)118 b Fg(=)48 b Fd(T)24 b(I)13 b(M)18 b(E)9 b(S)78 b Fg(then)69 b Fd(P)24 b(LU)18 b(S)78 b(:)69 b(mapl)r(ist)p Fg(\()p Fd(cdr)76 b(e;)30 b(\025u:T)24 b(I)13 b(M)18 b(E)9 b(S)78 b(:)2 3685 y(mapl)r(ist)p Fg(\()p Fd(cdr)e(e;)30 b(\025w)t(:)138 b Fg(if)69 b Fd(u)137 b Fg(eq)69 b Fd(w)74 b Fg(then)69 b Fd(dif)18 b(f)g Fg(\()p Fd(car)76 b(u;)28 b(v)6 b Fg(\))138 b(else)68 b Fd(car)75 b(w)t Fg(\)\)\))p Black 4968 3927 a Fe(2)p Black eop end %%Page: 3 5 TeXDict begin 3 4 bop Black Black Black Black 1 0 0 TeXcolorrgb 1832 465 a Fg(ASPECTS)68 b(OF)g(LISP)p Black 2 863 a Ff(\017)49 b Fg(Lisp)h(lists)f(including)h(lists)g(of)f(list)g(a)-6 b(re)49 b(the)g(app)-6 b(rop)g(riate)50 b(rep)-6 b(resentation)2 1081 y(of)71 b(symb)6 b(olic)70 b(exp)-6 b(ressions)71 b(fo)-6 b(r)71 b(computation|b)6 b(etter)68 b(than)i(strings|)2 1300 y(and)f(b)6 b(etter)67 b(than)i(XML.)2 1735 y Ff(\017)55 b Fg(Lisp)h(p)-6 b(rograms)56 b(a)-6 b(re)55 b(Lisp)h(data.)86 b(Put)55 b(abstractly)-17 b(,)57 b(Lisp)f(has)f(functions)2 1954 y(fo)-6 b(r)69 b(its)g(o)-6 b(wn)69 b Fc(abstract)f(syntax.)2 2389 y Ff(\017)97 b Fg(Lisp)h(p)-6 b(rograms,)105 b(most)97 b(conveniently)h(pure)f(Lisp)h(functional)g(p)-6 b(ro-)2 2607 y(grams,)69 b(a)-6 b(re)68 b(a)-6 b(re)68 b(describ)6 b(ed)69 b(extensionally)f(b)-6 b(y)70 b(\014rst)e(o)-6 b(rder)69 b(sentences.)2 3043 y Ff(\017)74 b Fg(Many)f(imp)6 b(o)-6 b(rtant)73 b(p)-6 b(rop)6 b(erties)74 b(of)h(the)f(functions)g (can)g(b)6 b(e)74 b(p)-6 b(roved)75 b(b)-6 b(y)2 3261 y(\014rst)68 b(o)-6 b(rder)70 b(reasoning.)2 3696 y Ff(\017)e Fg(Other)g(imp)6 b(o)-6 b(rtant)68 b(p)-6 b(rop)6 b(erties)69 b(require)g Fc(derived)g(functions.)p Black 4968 3927 a Fe(3)p Black eop end %%Page: 4 6 TeXDict begin 4 5 bop Black Black Black Black 1 0 0 TeXcolorrgb 497 465 a Fg(EXAMPLES)67 b(OF)h(LISP)h(FUNCTIONAL)f(PROGRAMS)p Black 2 877 a Ff(\017)2 1109 y Fg(\(defun)i(app)6 b(end)69 b(\(u)g(v\))2 1342 y(\(if)2 1574 y(\(null)g(u\))2 1806 y(v)2 2038 y(\(cons)h(\(ca)-6 b(r)68 b(u\))i(\(app)6 b(end)69 b(\(cdr)g(u\))h(v\)\)\)\))2 2519 y Ff(\017)90 b Fd(u)140 b Ff(\003)h Fd(v)84 b Ff( )78 b Fb(if)108 b(n)90 b Fd(u)f Fb(then)h Fd(v)96 b Fb(else)91 b(a)f Fd(u)f(:)h Fg([)p Fb(d)g Fd(u)141 b Ff(\003)50 b Fd(v)6 b Fg(])90 b(is)g(a)g(pure)g(LISP)2 2751 y(functional)69 b(p)-6 b(rogram.)2 3232 y Ff(\017)93 b Fg(\()p Ff(8)p Fd(u)h(v)6 b Fg(\)\()p Fd(u)146 b Ff(\003)1145 3174 y Fa(0)1336 3232 y Fd(v)89 b Fg(=)84 b Fb(if)111 b(n)94 b Fd(u)f Fb(then)h Fd(v)99 b Fb(else)c(a)f Fd(u)f(:)h Fg([)p Fb(d)f Fd(u)147 b Ff(\003)4558 3174 y Fa(0)4655 3232 y Fd(v)6 b Fg(]\))94 b(is)f(an)2 3464 y(equation)72 b(fo)-6 b(r)73 b(the)f(function)h(computed)g(b)-6 b(y)73 b(the)f(p)-6 b(rogram.)103 b(The)72 b(close)2 3696 y(co)-6 b(rresp)6 b(ondence)69 b(is)g(very)g(convenient)f(but)h(sometimes)g (confusing.)p Black 4968 3927 a Fe(4)p Black eop end %%Page: 4 7 TeXDict begin 4 6 bop Black Black 2 465 a Ff(\017)62 b Fg(The)g(pure)h(Lisp)f(functional)h(p)-6 b(rogram)62 b(as)g(an)g(equation)h(p)6 b(ermits)61 b(con-)2 697 y(venient)84 b(p)-6 b(ro)6 b(ofs)85 b(in)f(a)g(\014rst)g(o)-6 b(rder)85 b(theo)-6 b(ry)84 b(that)f(Lisp)i(p)-6 b(rograms)84 b(meet)2 930 y(their)79 b(sp)6 b(eci\014cations.)122 b(F)-6 b(o)g(r)80 b(example,)h(it)e(is)g(easy)g(to)g(p)-6 b(rove)80 b(b)-6 b(y)79 b(list)g(in-)2 1162 y(duction)69 b(that)2 1644 y Ff(8)p Fd(u)93 b(v)6 b(:)p Fg(\()p Fd(u)52 b Ff(\003)h Fd(v)6 b Fg(\))52 b Ff(\003)h Fd(w)88 b Fg(=)c Fd(u)52 b Ff(\003)h Fg(\()p Fd(v)59 b Ff(\003)53 b Fd(w)t Fg(\)\),)101 b(i.e.)166 b(that)93 b(app)6 b(ending)94 b(lists)g(is)f(an)2 1876 y(asso)6 b(ciative)67 b(op)6 b(eration.)p Black Black eop end %%Page: 5 8 TeXDict begin 5 7 bop Black Black Black Black 1 0 0 TeXcolorrgb 1248 465 a Fg(LISP)68 b(AND)h(OTHER)f(LANGUA)-6 b(GES)p Black 2 877 a Ff(\017)75 b Fg(Ga)-6 b(rbage)76 b(collection,)h (conditional)f(exp)-6 b(ressions)77 b(and)f(recursive)g(p)-6 b(ro-)2 1110 y(grams)68 b(have)h(b)6 b(een)68 b(tak)-6 b(en)68 b(into)h(other)g(languages.)2 1591 y Ff(\017)f Fg(LISP)h(data)f(structures)g(have)g(b)6 b(een)69 b(imitated)e (clumsily)i(in)g(XML.)2 2073 y(\(BUY)g(item1)f(Item2)g(Item3\))2 2554 y Fd(<)p Fg(BUY)p Fd(>)g Fg(item1)g(item2)g(item3)h Fd(<)p Fg(/BUY)p Fd(>)2 3036 y Ff(\017)92 b Fg(LISP)h(p)-6 b(rograms)93 b(having)g(access)f(to)h(the)g(abstract)e(syntax)h(of)i (the)2 3268 y(p)-6 b(rogram)67 b(has)f(not)h(b)6 b(een)67 b(imitated.)89 b(This)68 b(rep)-6 b(resents)66 b(a)g(lack)g(of)h(imag-) 2 3501 y(ination,)g(but)f(I)g(admit)f(I)g(don't)i(have)f(convincing)g (examples)f(of)i(its)f(use.)p Black 4968 3927 a Fe(5)p Black eop end %%Page: 6 9 TeXDict begin 6 8 bop Black Black Black Black 1 0 0 TeXcolorrgb 1664 465 a Fg(DERIVED)67 b(FUNCTIONS)p Black 2 877 a(The)78 b(computational)f(cost)h(of)g(a)g(Lisp)h(functional)f(recursive)f(p)-6 b(rogram)2 1110 y(is)69 b(not)g(determined)f(b)-6 b(y)69 b(the)g(extension)g(of)g(the)g(function.)92 b(W)-6 b(e)69 b(have)2 1342 y Fd(f)18 b Fg(91\()p Fd(x)p Fg(\))50 b Ff( )118 b Fg(if)68 b Fd(x)49 b(>)f Fg(100)70 b(then)f Fd(x)39 b Ff(\000)f Fg(10)139 b(else)68 b Fd(f)18 b Fg(91\()p Fd(f)g Fg(91\()p Fd(x)42 b Fg(+)d(11\)\))2 1575 y(and)69 b Fd(f)18 b(f)g Fg(91\()p Fd(x)p Fg(\))51 b Ff( )117 b Fg(if)69 b Fd(x)49 b(>)f Fg(100)70 b(then)f Fd(x)38 b Ff(\000)h Fg(10)138 b(else)69 b(91.)2 2056 y(W)-6 b(e)72 b(have)g Ff(8)p Fd(x:f)18 b Fg(91)1362 1998 y Fa(0)1406 2056 y Fg(\()p Fd(x)p Fg(\))54 b(=)f Fd(f)18 b(f)g Fg(91)2343 1998 y Fa(0)2389 2056 y Fg(\()p Fd(x)p Fg(\)\),)74 b(but)f(clea)-6 b(rly)71 b(the)h(functional)h(p)-6 b(ro-)2 2289 y(grams)73 b(a)-6 b(re)72 b(di\013erent)h(computationally)-17 b(.)104 b(Supp)6 b(ose)74 b(w)-6 b(e)73 b(a)-6 b(re)73 b(interested)2 2521 y(in)91 b(ho)-6 b(w)91 b(many)f(times)f(the)i(+)f(op)6 b(eration)90 b(is)h(executed)e(in)i(evaluating)2 2754 y Fd(f)18 b Fg(91\()p Fd(x)p Fg(\).)94 b(This)69 b(is)g(given)g(b)-6 b(y)69 b Fd(f)18 b Fg(91)p Fd(p)2518 2695 y Fa(0)2564 2754 y Fg(\()p Fd(x)p Fg(\),)69 b(where)2 3235 y Fd(f)18 b Fg(91)p Fd(p)p Fg(\()p Fd(x)p Fg(\))90 b Ff( )184 b Fg(if)97 b Fd(x)88 b(>)f Fg(100)98 b(then)e(0)h(else)g(1)55 b(+)f Fd(f)18 b Fg(91)p Fd(p)p Fg(\()p Fd(f)g Fg(91\()p Fd(x)58 b Fg(+)d(11\)\))h(+)2 3468 y Fd(f)18 b Fg(91)p Fd(p)p Fg(\()p Fd(x)41 b Fg(+)d(11\).)p Black 4968 3927 a Fe(6)p Black eop end %%Page: 7 10 TeXDict begin 7 9 bop Black Black Black Black 1 0 0 TeXcolorrgb 47 465 a Fg(ELEPHANT)69 b(2000:)93 b(a)68 b(p)-6 b(rogramming)69 b(language)g(fo)-6 b(r)70 b(the)e(y)-6 b(ea)g(r)69 b(2010)p Black 781 682 a(www.fo)-6 b(rmal.stanfo)g(rd.edu/jmc/elephant.html)2 1295 y Ff(\017)p 0 0 1 TeXcolorrgb 101 w Fg(An)101 b(elephant)g(never)f (fo)-6 b(rgets.)p Black 190 w(An)101 b(Elephant)f(p)-6 b(rogram)102 b(can)e(sa)-6 b(y)-17 b(,)2 1512 y(\\A)66 b(passenger)g(has)g(a)g(reservation)f(in)h(a)f(situation)h Fd(s)g Fg(if)g(he)g(has)f(made)h(a)2 1730 y(reservation)49 b(and)i(not)g(cancelled)e(it.)86 b(The)51 b(Elephant)f(p)-6 b(rogram)50 b(need)h(not)2 1947 y(sp)6 b(ecify)54 b(a)g(data)f (structure)h(to)g(rememb)6 b(er)53 b(reservations.)86 b(The)55 b(compiler)2 2165 y(must)89 b(p)-6 b(rovide)90 b(the)g(necessa)-6 b(ry)89 b(data)g(structures)g(so)h(that)f(whether)g (a)2 2382 y(passenger)69 b(has)g(a)f(reservation)g(can)h(b)6 b(e)68 b(determined.)72 3085 y Fd(H)13 b(as)p Fg(\()p Fd(passeng)6 b(er)-5 b(;)31 b(r)5 b(eser)g(v)h(ation;)30 b(s)p Fg(\))49 b Ff(\021)72 3285 y Fg(\()p Ff(9)p Fd(s)331 3226 y Fa(0)424 3285 y Fd(<)f(s)p Fg(\))p Fd(O)5 b(ccur)g(s)p Fg(\()p Fd(M)18 b(ak)t(es)p Fg(\()p Fd(passeng)6 b(er)-5 b(;)33 b(r)5 b(eser)g(v)h(ation)p Fg(\))p Fd(;)30 b(s)p Fg(\))72 3484 y Ff(^:)p Fg(\()p Ff(9)p Fd(s)565 3426 y Fa(00)649 3484 y Fg(\)\()p Fd(s)49 b(<)g(s)1206 3426 y Fa(00)1338 3484 y Fd(<)g(s)1605 3426 y Fa(0)1688 3484 y Ff(^)39 b Fd(O)5 b(ccur)g(s)p Fg(\()p Fd(C)12 b(ancel)r Fg(\()p Fd(P)24 b(asseng)6 b(er)-5 b(;)32 b(r)5 b(eser)g(v)h(ation)p Fg(\))p Fd(;)30 b(s)5164 3426 y Fa(00)5248 3484 y Fg(\))p Black 5134 3685 a(\(1\))p Black Black 4968 3927 a Fe(7)p Black eop end %%Page: 7 11 TeXDict begin 7 10 bop Black Black 2 899 a Ff(\017)p 0 0 1 TeXcolorrgb 94 w Fg(An)95 b(elephant)f(is)h(faithful)f(one)h (hundred)g(p)6 b(ercent.)p Black 169 w(A)94 b(reservation)2 1117 y(is)80 b(a)f(p)-6 b(romise)80 b(to)f(let)g(the)g(passenger)h(on)h (the)e(airplane)g(if)g(he)h(has)g(one)2 1334 y(when)66 b(he)g(sho)-6 b(ws)67 b(up.)92 b(One)66 b(kind)g(of)g(Elephant)g (output)g(statement)e(is)j(a)2 1552 y(p)-6 b(romise,)69 b(and)g(co)-6 b(rrect)69 b(Elephant)f(p)-6 b(rograms)69 b(ful\014ll)g(their)f(p)-6 b(romises.)2 1986 y Ff(\017)100 b Fg(The)h(Elephant)e(language)i(includes)g(p)-6 b(rogram)100 b(statements)f(called)2 2204 y(commitments)e(generalizing)i(Flo)-6 b(yd)99 b(assertions,)106 b(b)6 b(ecause)98 b(they)h(can)2 2422 y(refer)71 b(to)h(the)f(future,)i(A)f(co)-6 b(rrect)71 b(Elephant)g(p)-6 b(rogram)72 b(ful\014lls)g(its)g(com-)2 2640 y(mitments.)945 2971 y(\()p Ff(8)p Fd(s)48 b(>)h(N)18 b(ow)t Fg(\)\()p Fd(V)40 b(al)r(ue)p Fg(\()p Fd(X)s(;)31 b(s)p Fg(\))49 b Fd(>)f(V)40 b(al)r(ue)p Fg(\()p Fd(X)s(;)30 b(N)18 b(ow)t Fg(\)\))p Black 680 w(\(2\))p Black 2 3261 a Ff(\017)49 b Fg(Elephant)h(i-o)f(input)i(output)f(statments)e(a)-6 b(re)49 b(sp)6 b(eech)50 b(acts,)j(e.g.)87 b(ques-)2 3479 y(tions,)71 b(requests,)f(acceptances)f(of)h(p)-6 b(rop)6 b(osals,)71 b(answ)-6 b(ers)70 b(to)g(questions.)2 3696 y(Answ)-6 b(ers)69 b(to)g(questions)h(should)g(b)6 b(e)69 b(true)f(and)h(resp)6 b(onsive.)p Black Black eop end %%Page: 8 12 TeXDict begin 8 11 bop Black Black Black Black 1 0 0 TeXcolorrgb 2230 518 a Fg(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 Fg(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 Fg(:)1618 2243 y Fd(i)132 b Fg(:=)h Fd(n)p Fg(;)1589 2500 y Fd(p)g Fg(:=)g(0;)1259 2757 y Fd(l)r(oop)49 b Fg(:)484 b Fd(if)87 b(i)49 b Fg(=)f(0)69 b Fd(then)h(g)6 b(o)68 b(to)h(done)p Fg(;)1618 3015 y Fd(i)132 b Fg(:=)h Fd(i)39 b Ff(\000)f Fg(1;)1355 3272 y Fd(g)6 b(oto)483 b(l)r(oop)p Fg(;)1208 3529 y Fd(done)49 b Fg(:)p Black 4968 3927 a Fe(8)p Black eop end %%Page: 8 13 TeXDict begin 8 12 bop Black Black 2 465 a Fg(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 Fg(\(0\))135 b(=)d(0;)2680 1312 y Fd(i)p Fg(\()p Fd(t)39 b Fg(+)g(1\))134 b(=)e(if)69 b Fd(pc)p Fg(\()p Fd(t)p Fg(\))50 b(=)f(0)69 b(then)g Fd(n)2 1569 y Fg(else)f(if)h Fd(pc)p Fg(\()p Fd(t)p Fg(\))51 b(=)d(4)138 b(then)69 b Fd(i)p Fg(\()p Fd(t)p Fg(\))40 b Ff(\000)e Fg(1)70 b(else)e Fd(i)p Fg(\()p Fd(t)p Fg(\);)2651 1826 y Fd(p)p Fg(\()p Fd(t)40 b Fg(+)f(1\))134 b(=)e(if)69 b Fd(pc)p Fg(\()p Fd(t)p Fg(\))50 b(=)f(1)69 b(then)g(0)24 2084 y(else)g(if)f Fd(pc)p Fg(\()p Fd(t)p Fg(\))51 b(=)d(5)69 b(then)g Fd(p)p Fg(\()p Fd(t)p Fg(\))41 b(+)d Fd(m)70 b Fg(else)e Fd(p)p Fg(\()p Fd(t)p Fg(\))2575 2341 y Fd(pc)p Fg(\()p Fd(t)40 b Fg(+)f(1\))134 b(=)e(if)69 b Fd(pc)p Fg(\()p Fd(t)p Fg(\))50 b(=)f(2)39 b Ff(^)g Fd(i)p Fg(\()p Fd(t)p Fg(\))50 b(=)e(0)69 b(then)g(6)122 2599 y(else)g(if)g Fd(pc)p Fg(\()p Fd(t)p Fg(\))50 b(=)f(5)69 b(then)g(2)g(else)g Fd(pc)p Fg(\()p Fd(t)p Fg(\))40 b(+)f(1;)p Black 5851 2856 a(\(3\))p Black Black Black eop end %%Page: 8 14 TeXDict begin 8 13 bop Black Black 2 1000 a Fg(The)82 b(p)-6 b(ro)6 b(of)82 b(that)f Ff(9)p Fd(t:)p Fg(\()p Fd(t)68 b Ff(\025)f Fg(0)46 b Ff(^)h Fd(pc)p Fg(\()p Fd(t)p Fg(\))68 b(=)f(6)47 b Ff(^)f Fd(p)p Fg(\()p Fd(t)p Fg(\))69 b(=)e Fd(mn)p Fg(\))82 b(follo)-6 b(ws)82 b(from)2 1232 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 1465 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 1697 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 1930 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 2162 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 2394 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 2627 y(temp)6 b(o)-6 b(ral)68 b(logic.)p Black Black eop end %%Trailer userdict /end-hook known{end-hook}if %%EOF