%!PS-Adobe-2.0 %%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %%Title: intro-to-def-note-and-tkeden.dvi %%Pages: 5 %%PageOrder: Ascend %%BoundingBox: 0 0 596 842 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips -o intro-to-def-note-and-tkeden.ps %+ intro-to-def-note-and-tkeden.dvi %DVIPSParameters: dpi=600, compressed %DVIPSSource: TeX output 2005.09.27:1502 %%BeginProcSet: texc.pro %! /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/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/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]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{ rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B /chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{ /cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{ A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse} ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17 {2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{ 1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop} forall N/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: special.pro %! TeXDict begin/SDict 200 dict N SDict begin/@SpecialDefaults{/hs 612 N /vs 792 N/ho 0 N/vo 0 N/hsc 1 N/vsc 1 N/ang 0 N/CLIP 0 N/rwiSeen false N /rhiSeen false N/letter{}N/note{}N/a4{}N/legal{}N}B/@scaleunit 100 N /@hscale{@scaleunit div/hsc X}B/@vscale{@scaleunit div/vsc X}B/@hsize{ /hs X/CLIP 1 N}B/@vsize{/vs X/CLIP 1 N}B/@clip{/CLIP 2 N}B/@hoffset{/ho X}B/@voffset{/vo X}B/@angle{/ang X}B/@rwi{10 div/rwi X/rwiSeen true N}B /@rhi{10 div/rhi X/rhiSeen true N}B/@llx{/llx X}B/@lly{/lly X}B/@urx{ /urx X}B/@ury{/ury X}B/magscale true def end/@MacSetUp{userdict/md known {userdict/md get type/dicttype eq{userdict begin md length 10 add md maxlength ge{/md md dup length 20 add dict copy def}if end md begin /letter{}N/note{}N/legal{}N/od{txpose 1 0 mtx defaultmatrix dtransform S atan/pa X newpath clippath mark{transform{itransform moveto}}{transform{ itransform lineto}}{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{closepath}}pathforall newpath counttomark array astore/gc xdf pop ct 39 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack} if}N/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 -1 scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0 TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{ noflips{TR pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr 2 get ppr 0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4 -1 roll add 2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S TR}if}N/cp{pop pop showpage pm restore}N end}if}if}N/normalscale{ Resolution 72 div VResolution 72 div neg scale magscale{DVImag dup scale }if 0 setgray}N/psfts{S 65781.76 div N}N/startTexFig{/psf$SavedState save N userdict maxlength dict begin/magscale true def normalscale currentpoint TR/psf$ury psfts/psf$urx psfts/psf$lly psfts/psf$llx psfts /psf$y psfts/psf$x psfts currentpoint/psf$cy X/psf$cx X/psf$sx psf$x psf$urx psf$llx sub div N/psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR/showpage{}N/erasepage{}N/copypage{}N/p 3 def @MacSetUp}N/doclip{ psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2 roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath moveto}N/endTexFig{end psf$SavedState restore}N/@beginspecial{SDict begin/SpecialSave save N gsave normalscale currentpoint TR @SpecialDefaults count/ocount X/dcount countdictstack N}N/@setspecial{ CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR }{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury lineto closepath clip}if/showpage{}N/erasepage{}N/copypage{}N newpath}N /@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{end} repeat grestore SpecialSave restore end}N/@defspecial{SDict begin}N /@fedspecial{end}B/li{lineto}B/rl{rlineto}B/rc{rcurveto}B/np{/SaveX currentpoint/SaveY X N 1 setlinecap newpath}N/st{stroke SaveX SaveY moveto}N/fil{fill SaveX SaveY moveto}N/ellipse{/endangle X/startangle X /yrad X/xrad X/savematrix matrix currentmatrix N TR xrad yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}N end %%EndProcSet TeXDict begin 39158280 55380996 1000 600 600 (intro-to-def-note-and-tkeden.dvi) @start %DVIPSBitmapFont: Fa cmti10 10 11 /Fa 11 119 df12 D<0103B612FEEFFFC018F0903B0007F8000FF84BEB03FCEF00FE020F157FF03F 804B141F19C0021F150F19E05D1807143F19F05DA2147FA292C8FCA25C180F5CA2130119 E04A151FA2130319C04A153FA201071780187F4A1600A2010F16FEA24A4A5A60011F1503 4D5A4A5D4D5A013F4B5A173F4A4AC7FC17FC017FEC03F84C5A91C7EA1FC04949B45A007F 90B548C8FCB712F016803C397CB83F>68 D<902603FFF891B512E0A281D90007923807F8 006F6E5A61020F5E81DA0E7F5DA2021E6D1307033F92C7FC141C82DA3C1F5C70130EEC38 0FA202786D131E0307141C147082DAF003143C70133814E0150101016E1378030014705C 8201036E13F0604A1480163F010715C1041F5B91C7FC17E149EC0FE360010E15F3160701 1E15FF95C8FC011C80A2013C805F1338160013785F01F8157CEA03FC267FFFE0143CB515 38A243397CB83E>78 D<14F8EB07FE90381F871C90383E03FE137CEBF801120148486C5A 485A120FEBC001001F5CA2EA3F801403007F5C1300A21407485C5AA2140F5D48ECC1C0A2 141F15831680143F1587007C017F1300ECFF076C485B9038038F8E391F0F079E3907FE03 FC3901F000F0222677A42A>97 D<147F903803FFC090380FC1E090383F00F0017E13785B 485A485A485A120F4913F8001F14F0383F8001EC07E0EC1F80397F81FF00EBFFF891C7FC 90C8FC5A5AA55AA21530007C14381578007E14F0003EEB01E0EC03C06CEB0F806CEB3E00 380781F83803FFE0C690C7FC1D2677A426>101 D105 D110 D<147F903803FFC090380FC1F090381F00F8017E137C5B4848137E4848133E00 07143F5B120F485AA2485A157F127F90C7FCA215FF5A4814FEA2140115FC5AEC03F8A2EC 07F015E0140F007C14C0007EEB1F80003EEB3F00147E6C13F8380F83F03803FFC0C648C7 FC202677A42A>I<14FE903807FF8090380F83C090383E00E04913F00178137001F813F0 0001130313F0A215E00003EB01C06DC7FC7FEBFFC06C13F814FE6C7F6D13807F010F13C0 1300143F141F140F123E127E00FE1480A348EB1F0012E06C133E00705B6C5B381E03E06C B45AD801FEC7FC1C267AA422>115 DI<01F0130ED803FC133FD8071EEB7F80EA0E1F121C123C0038143F49131F00 70140FA25BD8F07E140000E08013FEC6485B150E12015B151E0003141C5BA2153C000714 385B5DA35DA24A5A140300035C6D48C7FC0001130E3800F83CEB7FF8EB0FC0212679A426 >118 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fb cmsy10 10 2 /Fb 2 34 df15 D<181EA4181F84A285180785727EA2727E727E85197E85F11F80F10FC0F107F0007FBA12 FCBCFCA26C19FCCCEA07F0F10FC0F11F80F13F00197E61614E5A4E5AA24E5A61180F96C7 FCA260181EA4482C7BAA53>33 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fc cmtt10 10 58 /Fc 58 126 df<003C131E007F137F481480A66C1400A6007E7FA6003E133EA3003C131E 001C131C191977B32C>34 D<010F133C90381F807EA8013F13FE4A5AA4007FB612F0B712 F8A4003F15F03A007E01F800A5EBFE0301FC5BA6003FB612F0B712F8A46C15F03A01F807 E000A30003130F01F05BA86C486C5A25337DB22C>II38 DI<143814FC130113 03EB07F8EB0FF0EB1FC0EB3F80EB7F0013FE485A485A5B12075B120F5B485AA2123F90C7 FCA25A127EA312FE5AAC7E127EA3127F7EA27F121FA26C7E7F12077F12037F6C7E6C7E13 7FEB3F80EB1FC0EB0FF0EB07F8EB03FC130113001438164272B92C>I<127012FC7E7E6C 7E6C7EEA0FE06C7E6C7E6C7E6C7E137F7F1480131F14C0130FEB07E0A214F01303A214F8 1301A314FC1300AC130114F8A3130314F0A2130714E0A2EB0FC0131F1480133F14005B13 FE485A485A485A485AEA3FC0485A48C7FC5A5A1270164279B92C>II<147814FCAF007FB612F0B712F8A46C15 F0C700FCC7FCAF147825267DAB2C>II< 007FB6FCB71280A46C150021067B9B2C>I<121FEA3F80EA7FC0EAFFE0A5EA7FC0EA3F80 EA1F000B0B708A2C>I<1507ED0F80151FA2153F16005D157E15FE5D14015D14035DA214 075D140F5D141F5D143F92C7FC5C147E14FE5CA213015C13035C13075C130F5C131F5CA2 133F91C8FC5B137E13FE5B12015B12035B12075BA2120F5B121F5B123F90C9FC5A127E12 FE5AA25A127821417BB92C>II<1307 497EA2131FA2133F137F13FF5A1207127FB5FC13DF139FEA7C1F1200B3AE007FB512E0B6 12F0A36C14E01C3477B32C>IIII<000FB512FE4880A35D0180C8FCADEB83FE90389FFF8090B512E015F8819038FE03FE 9038F000FF01C07F49EB3F8090C7121F6C15C0C8120FA2ED07E0A4123C127EB4FC150F16 C0A248141F007EEC3F80007FEC7F006C6C5B6D485A391FF80FFC6CB55A6C5C000114C06C 6C90C7FCEB0FF823347CB22C>II<121FEA3F80EA7FC0EAFFE0A5EA7FC0EA3F80EA1F00C7FCAE121FEA3F80EA7FC0EAFF E0A5EA7FC0EA3F80EA1F000B2470A32C>58 DI<1507ED1F80153F15FF14034A13 00EC1FFC4A5AECFFE0491380010790C7FCEB0FFCEB3FF8EB7FE048485A4890C8FCEA0FFE EA1FF8EA7FF0EAFFC05BA27FEA7FF0EA1FF8EA0FFEEA03FF6C13C06C6C7EEB3FF8EB0FFC 6DB4FC01017F6D13E0EC3FF86E7EEC07FF6E13801400153F151FED0700212A7BAD2C>I< 007FB612F0B712F8A4003F15F0CAFCA8003FB612F0B712F8A46C15F025147DA22C>I<12 7012FC7E6C7E13E06C7EEA1FFC6C7E3803FF80C67FEB7FF0EB1FF8EB0FFEEB03FF6D13C0 6D6C7EEC3FF8EC0FFC6EB4FC0201138080A25C02071300EC0FFCEC3FF8EC7FE049485A49 90C7FCEB0FFEEB1FF8EB7FF0EBFFC000035BD80FFEC8FC485AEA7FF0485A138048C9FC5A 1270212A7BAD2C>III<14FE497EA4497FA214EFA2130781A214C7A2010F7FA314 C390381F83F0A590383F01F8A490387E00FCA549137E90B512FEA34880A29038F8003FA3 4848EB1F80A4000715C049130FD87FFEEBFFFC6D5AB514FE6C15FC497E27347EB32C>I< 007FB512E015F8B612FE6C8016C03903F0003FED0FE0ED07F01503A2ED01F8A6ED03F0A2 1507ED0FE0ED1FC0EDFF8090B612005D5D15FF16C09039F0001FE0ED07F0ED03F81501ED 00FCA216FE167EA616FE16FC1501ED03F8150FED3FF0007FB612E016C0B712806CECFE00 15F027337FB22C>I<02FF13700107EBE0F84913F9013F13FD4913FFEBFF813901FE007F 4848131FD807F0130F1507485A491303485A150148C7FCA25A007EEC00F01600A212FE5A AB7E127EA3007F15F06CEC01F8A26C7EA26C6C13036D14F06C6C130716E0D803FC131F6C 6CEB3FC03A00FF81FF806DB512006D5B010F5B6D13F00100138025357DB32C>I<387FFF FCB512FEA314FC00FCC7FCB3B3B3B512FC14FEA36C13FC17416FB92C>91 D<387FFFFCB512FEA37EC7127EB3B3B3387FFFFEB5FCA36C13FC17417DB92C>93 D<137013F812011203EA07F0EA0FE0EA1FC01380EA3F00123E127E127CA212FC5AA4EAFF 8013C013E0A2127FA2123FEA1FC0EA0F800D1B71B82C>96 D<3801FFF0000713FE001F6D 7E15E048809038C01FF81407EC01FC381F80000006C77EC8127EA3ECFFFE131F90B5FC12 03120F48EB807E383FF800EA7FC090C7FC12FE5AA47E007F14FEEB8003383FE01F6CB612 FC6C15FE6C14BF0001EBFE1F3A003FF007FC27247CA32C>II<903803FFE0011F13 F8017F13FE48B5FC48804848C6FCEA0FF0485A49137E4848131890C9FC5A127EA25AA812 7EA2127F6C140F6DEB1F806C7E6D133F6C6CEB7F003907FE03FF6CB55A6C5C6C6C5B011F 13E0010390C7FC21247AA32C>IIIIII<1307EB1FC0A2497EA36D5AA20107 C7FC90C8FCA7387FFFC080B5FC7EA2EA0007B3A8007FB512FCB612FEA36C14FC1F3479B3 2C>I107 D<387FFFE0B57EA37EEA0003B3B3A5007FB61280B712C0A36C158022337BB2 2C>I<3A7F83F007E09039CFFC1FF83AFFDFFE3FFCD87FFF13FF91B57E3A07FE1FFC3E01 FCEBF83F496C487E01F013E001E013C0A301C01380B33B7FFC3FF87FF0027F13FFD8FFFE 6D13F8D87FFC4913F0023F137F2D2481A32C>I<397FF01FE039FFF87FFC9038F9FFFE01 FB7F6CB6FC00019038F03F80ECC01F02807FEC000F5B5BA25BB3267FFFE0B5FCB500F114 80A36C01E0140029247FA32C>II<397FF01FE039FFF8FFF801FB13FE90B6FC6C15 8000019038F07FC09138801FE091380007F049EB03F85BED01FC491300A216FE167EA816 FE6D14FCA2ED01F86D13036DEB07F0150F9138801FE09138E07FC091B51280160001FB5B 01F813F8EC3FC091C8FCAD387FFFE0B57EA36C5B27367FA32C>I114 D<90387FF8700003B512F8120F5A 5A387FC00F387E00034813015AA36CEB00F0007F140013F0383FFFC06C13FE6CEBFF8000 0314E0C66C13F8010113FCEB0007EC00FE0078147F00FC143F151F7EA26C143F6D133E6D 13FE9038F007FC90B5FC15F815E000F8148039701FFC0020247AA32C>I<131E133FA900 7FB6FCB71280A36C1500D8003FC8FCB1ED03C0ED07E0A5EC800F011FEB1FC0ECE07F6DB5 1280160001035B6D13F89038003FE0232E7EAD2C>I<3A7FF003FF80486C487FA3007F7F 0001EB000FB3A3151FA2153F6D137F3900FE03FF90B7FC6D15807F6D13CF902603FE0713 0029247FA32C>I<3A7FFF01FFFCB514FE148314016C15FC3A03E0000F80A26D131F0001 1500A26D5B0000143EA26D137E017C137CA2017E13FC013E5BA2EB3F01011F5BA2148301 0F5BA214C701075BA214EF01035BA214FF6D90C7FCA26D5A147C27247EA32C>II<3A3FFF03FFF048018713F8A36C010313F03A 00FC007E005D90387E01F8013F5BEB1F83EC87E090380FCFC0903807EF80EB03FF6D90C7 FC5C6D5A147C14FE130180903803EF80903807CFC0EB0FC7EC83E090381F01F0013F7FEB 7E00017C137C49137E0001803A7FFF01FFFC1483B514FE6C15FC140127247EA32C>I<15 FF02071380141F147F91B512004913C04AC7FCEB03F85CB31307EB1FE013FF007F5BB55A 49C8FC6D7E6C7FC67F131FEB07F01303B380EB01FEECFFC06D13FF6E1380141F14070200 130021417BB92C>123 D<127812FCB3B3B3A9127806416DB92C>II E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fd cmr10 10 65 /Fd 65 122 df11 DII<001C131C007F137F39FF80FF80A26D13C0A3007F137F001C131C00001300A4 0001130101801380A20003130301001300485B00061306000E130E485B485B485B006013 601A197DB92A>34 D<121C127FEAFF80A213C0A3127F121C1200A412011380A212031300 5A1206120E5A5A5A12600A1979B917>39 D<146014E0EB01C0EB0380EB0700130E131E5B 5BA25B485AA2485AA212075B120F90C7FCA25A121EA2123EA35AA65AB2127CA67EA3121E A2121F7EA27F12077F1203A26C7EA26C7E1378A27F7F130E7FEB0380EB01C0EB00E01460 135278BD20>I<12C07E12707E7E7E120F6C7E6C7EA26C7E6C7EA21378A2137C133C133E 131EA2131F7FA21480A3EB07C0A6EB03E0B2EB07C0A6EB0F80A31400A25B131EA2133E13 3C137C1378A25BA2485A485AA2485A48C7FC120E5A5A5A5A5A13527CBD20>I<121C127F EAFF80A213C0A3127F121C1200A412011380A2120313005A1206120E5A5A5A12600A1979 8817>44 DI<121C127FEAFF80A5EA7F00121C0909798817>I<15 0C151E153EA2153C157CA2157815F8A215F01401A215E01403A215C01407A21580140FA2 15005CA2141E143EA2143C147CA2147814F8A25C1301A25C1303A2495AA25C130FA291C7 FC5BA2131E133EA2133C137CA2137813F8A25B1201A25B1203A25B1207A25B120FA290C8 FC5AA2121E123EA2123C127CA2127812F8A25A12601F537BBD2A>I49 DII<1538A2157815F8 A2140114031407A2140F141F141B14331473146314C313011483EB030313071306130C13 1C131813301370136013C01201EA038013005A120E120C5A123812305A12E0B712F8A3C7 3803F800AB4A7E0103B512F8A325397EB82A>I<0006140CD80780133C9038F003F890B5 FC5D5D158092C7FC14FC38067FE090C9FCABEB07F8EB3FFE9038780F803907E007E09038 8003F0496C7E12066E7EC87EA28181A21680A4123E127F487EA490C71300485C12E00060 5C12700030495A00385C6C1303001E495A6C6C485A3907E03F800001B5C7FC38007FFCEB 1FE0213A7CB72A>I<121C127FEAFF80A5EA7F00121CC7FCB2121C127FEAFF80A5EA7F00 121C092479A317>58 D<1538A3157CA315FEA34A7EA34A6C7EA202077FEC063FA2020E7F EC0C1FA2021C7FEC180FA202387FEC3007A202707FEC6003A202C07F1501A2D901807F81 A249C77F167FA20106810107B6FCA24981010CC7121FA2496E7EA3496E7EA3496E7EA213 E0707E1201486C81D80FFC02071380B56C90B512FEA3373C7DBB3E>65 DI<913A01FF800180020FEBE003027F13F8903A01FF807E07903A03 FC000F0FD90FF0EB039F4948EB01DFD93F80EB00FF49C8127F01FE153F12014848151F48 48150FA248481507A2485A1703123F5B007F1601A35B00FF93C7FCAD127F6DED0180A312 3F7F001F160318006C7E5F6C7E17066C6C150E6C6C5D00001618017F15386D6C5CD91FE0 5C6D6CEB03C0D903FCEB0F80902701FF803FC7FC9039007FFFFC020F13F002011380313D 7BBA3C>III< B812F8A30001903880001F6C90C71201EE00FC177C173C171CA2170CA4170E1706A2ED01 80A21700A41503A21507151F91B5FCA3EC001F15071503A21501A692C8FCAD4813C0B612 C0A32F397DB836>III I76 DIIII< B612FEEDFFE016F8000190388007FE6C90C76C7EEE3FC0707E707E707EA2707EA283A65F A24C5AA24C5A4C5AEE3F8004FFC8FCED07FC91B512E05E9138000FF0ED03F8ED00FE8270 7E707EA2161F83A583A6F00180A217F8160F1803486D01071400B66D6C5A040113069338 00FE0ECAEA3FFCEF07F0393B7DB83D>82 DI<003FB812E0A3D9C003EB001F273E0001FE13 0348EE01F00078160000701770A300601730A400E01738481718A4C71600B3B0913807FF 80011FB612E0A335397DB83C>III< B5D8FC07B5D8F001B5FCA30007902780001FFEC7EA1FF86C48C7D80FF8EC07E000010307 ED03C01B807F6C6F6C1500A26E5F017F6E6C1406A280013F4A6C5CA280011F4A6D5BEE06 7FA26D6C010E6D5BEE0C3FA26D6C011C6D5BEE181FA26D6C6F5BEE300FA26D6C6F485AEE 6007A26D6C4CC7FC9338C003FCA203805D913B7F818001FE06A203C1150EDA3FC3C7EAFF 0CA203E3151CDA1FE6EC7F98A215F6DA0FFCEC3FF0A302075E4B141FA202035E4B140FA2 02015E4B1407A2020093C8FC4B80503B7EB855>I<007FB590383FFFFCA3C601F8010713 80D97FE0D903FCC7FC013FEC01F06D6C5C5F6D6C5C6D6C13034CC8FC6D6C1306160E6D6C 5B6DEB8018163891387FC0306E6C5A16E06E6C5A91380FF18015FB6EB4C9FC5D14036E7E A26E7F6F7EA24B7E15DF9138019FF09138038FF8150F91380607FC91380E03FE140C4A6C 7EEC38000230804A6D7E14E04A6D7E49486D7E130391C76C7E01066E7E130E010C6E7E01 1C1401013C8101FE822607FF80010713E0B500E0013FEBFF80A339397EB83E>I<390180 0180000313033907000700000E130E485B00181318003813380030133000701370006013 60A200E013E0485BA400CE13CE39FF80FF806D13C0A3007F137FA2393F803F80390E000E 001A1974B92A>92 D96 DII< EB03FC90381FFF8090387E03E03901F80070484813F83907E001FC380FC003A2EA1F8012 3F90380001F848EB00F01500A2127E12FEAA127E127FA26C14067F001F140E6D130C000F 141C6C6C13386C6C13706C6C13E039007C07C090381FFF00EB07F81F277DA525>III<147E903803FF8090380FC1E0EB1F8790383F0FF0137EA213FCA23901F803 C091C7FCADB512FCA3D801F8C7FCB3AB487E387FFFF8A31C3B7FBA19>IIIIIII<27 03F00FF0EB1FE000FFD93FFCEB7FF8913AF03F01E07E903BF1C01F83803F3D0FF3800FC7 001F802603F70013CE01FE14DC49D907F8EB0FC0A2495CA3495CB3A3486C496CEB1FE0B5 00C1B50083B5FCA340257EA445>I<3903F00FF000FFEB3FFCECF03F9039F1C01F803A0F F3800FC03803F70013FE496D7EA25BA35BB3A3486C497EB500C1B51280A329257EA42E> II<3903F01FE000FFEB7FF89038F1E07E9039F3801F803A0FF7000FC0 D803FEEB07E049EB03F04914F849130116FC150016FEA3167FAA16FEA3ED01FCA26DEB03 F816F06D13076DEB0FE001F614C09039F7803F009038F1E07E9038F0FFF8EC1FC091C8FC AB487EB512C0A328357EA42E>II<3807E01F00FFEB7FC09038E1E3E09038E387F038 0FE707EA03E613EE9038EC03E09038FC0080491300A45BB3A2487EB512F0A31C257EA421 >II<1318 A51338A31378A313F8120112031207001FB5FCB6FCA2D801F8C7FCB215C0A93800FC0115 80EB7C03017E13006D5AEB0FFEEB01F81A347FB220>IIIIII E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fe cmbx12 14.4 44 /Fe 44 122 df12 D<157815FC14031407141F14FF130F0007B5FCB6FCA2147F13 F0EAF800C7FCB3B3B3A6007FB712FEA52F4E76CD43>49 DI<91380FFFC091B512FC0107ECFF80011F15E090263FF8077F9026FF800113FC4848 C76C7ED803F86E7E491680D807FC8048B416C080486D15E0A4805CA36C17C06C5B6C90C7 5AD801FC1680C9FC4C13005FA24C5A4B5B4B5B4B13C04B5BDBFFFEC7FC91B512F816E016 FCEEFF80DA000713E0030113F89238007FFE707E7013807013C018E07013F0A218F8A270 13FCA218FEA2EA03E0EA0FF8487E487E487EB57EA318FCA25E18F891C7FC6C17F0495C6C 4816E001F04A13C06C484A1380D80FF84A13006CB44A5A6CD9F0075BC690B612F06D5D01 1F1580010302FCC7FCD9001F1380374F7ACD43>I<177C17FEA2160116031607160FA216 1F163F167FA216FF5D5DA25D5DED1FBFED3F3F153E157C15FCEC01F815F0EC03E01407EC 0FC01580EC1F005C147E147C5C1301495A495A5C495A131F49C7FC133E5B13FC485A5B48 5A1207485A485A90C8FC123E127E5ABA12C0A5C96C48C7FCAF020FB712C0A53A4F7CCE43 >III<121F7F7FEBFF8091B81280A45A1900606060 A2606060485F0180C86CC7FC007EC95A4C5A007C4B5A5F4C5A160F4C5A484B5A4C5A94C8 FC16FEC812014B5A5E4B5A150F4B5AA24B5AA24B5A15FFA24A90C9FCA25C5D1407A2140F A25D141FA2143FA4147F5DA314FFA55BAC6D5BA2EC3FC06E5A395279D043>I<913807FF C0027F13FC0103B67E010F15E090261FFC0113F8903A3FE0003FFCD97F80EB0FFE49C76C 7E48488048486E1380000717C04980120F18E0177FA2121F7FA27F7F6E14FF02E015C014 F802FE4913806C7FDBC00313009238F007FE6C02F85B9238FE1FF86C9138FFBFF06CEDFF E017806C4BC7FC6D806D81010F15E06D81010115FC010781011F81491680EBFFE7480181 15C048D9007F14E04848011F14F048487F48481303030014F8484880161F4848020713FC 1601824848157F173FA2171FA2170FA218F8A27F007F17F06D151FA26C6CED3FE0001F17 C06D157F6C6CEDFF806C6C6C010313006C01E0EB0FFE6C01FCEBFFFC6C6CB612F06D5D01 0F1580010102FCC7FCD9000F13C0364F7ACD43>I58 D<171F4D7E4D7EA24D7EA34C7FA24C7FA34C7FA34C7FA24C7F A34C8083047F80167E8304FE804C7E03018116F8830303814C7E03078116E083030F814C 7E031F81168083033F8293C77E4B82157E8403FE824B800201835D840203834B80020783 5D844AB87EA24A83A3DA3F80C88092C97E4A84A2027E8202FE844A82010185A24A820103 854A82010785A24A82010F855C011F717FEBFFFCB600F8020FB712E0A55B547BD366>65 D<932601FFFCEC01C0047FD9FFC013030307B600F81307033F03FE131F92B8EA803F0203 DAE003EBC07F020F01FCC7383FF0FF023F01E0EC0FF94A01800203B5FC494848C9FC4901 F8824949824949824949824949824990CA7E494883A2484983485B1B7F485B481A3FA248 49181FA3485B1B0FA25AA298C7FC5CA2B5FCAE7EA280A2F307C07EA36C7FA21B0F6C6D19 80A26C1A1F6C7F1C006C6D606C6D187EA26D6C606D6D4C5A6D6D16036D6D4C5A6D6D4C5A 6D01FC4C5A6D6DEE7F806D6C6C6C4BC7FC6E01E0EC07FE020F01FEEC1FF80203903AFFE0 01FFF0020091B612C0033F93C8FC030715FCDB007F14E0040101FCC9FC525479D261>67 DII<932601FFFCEC01C0047F D9FFC013030307B600F81307033F03FE131F92B8EA803F0203DAE003EBC07F020F01FCC7 383FF0FF023F01E0EC0FF94A01800203B5FC494848C9FC4901F882494982494982494982 4949824990CA7E494883A2484983485B1B7F485B481A3FA24849181FA3485B1B0FA25AA2 98C8FC5CA2B5FCAE6C057FB712E0A280A36C94C7003FEBC000A36C7FA36C7FA27E6C7FA2 6C7F6C7FA26D7E6D7F6D7F6D6D5E6D7F6D01FC93B5FC6D13FF6D6C6D5C6E01F0EC07FB02 0F01FEEC1FF10203903AFFF001FFE0020091B6EAC07F033FEE001F030703FC1307DB007F 02E01301040149CAFC5B5479D26A>71 D76 D78 D<93380FFFC00303B6FC031F15E092B712FC0203D9FC0013FF020F01C0010F13C0023F90 C7000313F0DA7FFC02007F494848ED7FFE4901E0ED1FFF49496F7F49496F7F4990C96C7F 49854948707F4948707FA24849717E48864A83481B804A83481BC0A2481BE04A83A2481B F0A348497113F8A5B51AFCAF6C1BF86E5FA46C1BF0A26E5F6C1BE0A36C6D4D13C0A26C6D 4D1380A26C1B006C6D4D5A6E5E6C626D6C4C5B6D6D4B5B6D6D4B5B6D6D4B5B6D6D4B5B6D 6D4B90C7FC6D6D4B5A6D01FF02035B023F01E0011F13F0020F01FC90B512C0020390B7C8 FC020016FC031F15E0030392C9FCDB001F13E0565479D265>I82 D<91260FFF80130791B500F85B010702FF5B011FED C03F49EDF07F9026FFFC006D5A4801E0EB0FFD4801800101B5FC4848C87E48488149150F 001F824981123F4981007F82A28412FF84A27FA26D82A27F7F6D93C7FC14C06C13F014FF 15F86CECFF8016FC6CEDFFC017F06C16FC6C16FF6C17C06C836C836D826D82010F821303 010082021F16801400030F15C0ED007F040714E01600173F050F13F08383A200788200F8 82A3187FA27EA219E07EA26CEFFFC0A27F6D4B13806D17006D5D01FC4B5A01FF4B5A02C0 4A5A02F8EC7FF0903B1FFFC003FFE0486C90B65AD8FC0393C7FC48C66C14FC48010F14F0 48D9007F90C8FC3C5479D24B>I<003FBC1280A59126C0003F9038C0007F49C71607D87F F8060113C001E08449197F49193F90C8171FA2007E1A0FA3007C1A07A500FC1BE0481A03 A6C994C7FCB3B3AC91B912F0A553517BD05E>II97 D<913801FFF8021FEBFF8091 B612F0010315FC010F9038C00FFE903A1FFE0001FFD97FFC491380D9FFF05B4817C04849 5B5C5A485BA2486F138091C7FC486F1300705A4892C8FC5BA312FFAD127F7FA27EA2EF03 E06C7F17076C6D15C07E6E140F6CEE1F806C6DEC3F006C6D147ED97FFE5C6D6CEB03F801 0F9038E01FF0010390B55A01001580023F49C7FC020113E033387CB63C>99 D<4DB47E0407B5FCA5EE001F1707B3A4913801FFE0021F13FC91B6FC010315C7010F9038 E03FE74990380007F7D97FFC0101B5FC49487F4849143F484980485B83485B5A91C8FC5A A3485AA412FFAC127FA36C7EA37EA26C7F5F6C6D5C7E6C6D5C6C6D49B5FC6D6C4914E0D9 3FFED90FEFEBFF80903A0FFFC07FCF6D90B5128F0101ECFE0FD9003F13F8020301C049C7 FC41547CD24B>I<913803FFC0023F13FC49B6FC010715C04901817F903A3FFC007FF849 486D7E49486D7E4849130F48496D7E48178048497F18C0488191C7FC4817E0A248815B18 F0A212FFA490B8FCA318E049CAFCA6127FA27F7EA218E06CEE01F06E14037E6C6DEC07E0 A26C6DEC0FC06C6D141F6C6DEC3F806D6CECFF00D91FFEEB03FE903A0FFFC03FF8010390 B55A010015C0021F49C7FC020113F034387CB63D>II< DA3FFF14FF0103B5D8F00713C0010FDAFC1F13E0013FECFF7F90267FFC0F9038FF9FF090 26FFE001EBF83F48496C13E0484990387FF01F4890C7D83FF813E0489338FC0FC0F00780 48486E6CC7FCA2003F82A9001F5EA26C6C4A5AA26C5E6C6D495A6C6D495A6C6D485BDAFC 0F5B4890B6C8FCD803EF14FC01C314F02607C03F90C9FC91CBFCA2120FA37FA213F813FE 90B7FC6C16F817FF18C06C836C836C836D828448B9FC12074848C700031480D81FF8EC00 3F4848150748486F13C083485A83A56D5D007F18806D5D003F18006C6C4B5AD80FFEED1F FC6C6C6CEC7FF86C01E049485A6C01FE011F5B6C6CB71280010F03FCC7FC010115E0D900 0F01FCC8FC3C4F7CB543>II<137F497E000313E0487FA2487FA7 6C5BA26C5BC613806DC7FC90C8FCADEB3FF0B5FCA512017EB3B3A6B612E0A51B547BD325 >I107 DIII<913801FFE0021F13FE91B612C0010315F0010F9038807F FC903A1FFC000FFED97FF86D6C7E49486D7F48496D7F48496D7F4A147F48834890C86C7E A24883A248486F7EA3007F1880A400FF18C0AC007F1880A3003F18006D5DA26C5FA26C5F 6E147F6C5F6C6D4A5A6C6D495B6C6D495B6D6C495BD93FFE011F90C7FC903A0FFF807FFC 6D90B55A010015C0023F91C8FC020113E03A387CB643>I<903A3FF001FFE0B5010F13FE 033FEBFFC092B612F002F301017F913AF7F8007FFE0003D9FFE0EB1FFFC602806D7F92C7 6C7F4A824A6E7F4A6E7FA2717FA285187F85A4721380AC1A0060A36118FFA2615F616E4A 5BA26E4A5B6E4A5B6F495B6F4990C7FC03F0EBFFFC9126FBFE075B02F8B612E06F148003 1F01FCC8FC030313C092CBFCB1B612F8A5414D7BB54B>I<90397FE003FEB590380FFF80 033F13E04B13F09238FE1FF89139E1F83FFC0003D9E3E013FEC6ECC07FECE78014EF1500 14EE02FEEB3FFC5CEE1FF8EE0FF04A90C7FCA55CB3AAB612FCA52F367CB537>114 D<903903FFF00F013FEBFE1F90B7FC120348EB003FD80FF81307D81FE0130148487F4980 127F90C87EA24881A27FA27F01F091C7FC13FCEBFFC06C13FF15F86C14FF16C06C15F06C 816C816C81C681013F1580010F15C01300020714E0EC003F030713F015010078EC007F00 F8153F161F7E160FA27E17E07E6D141F17C07F6DEC3F8001F8EC7F0001FEEB01FE9039FF C00FFC6DB55AD8FC1F14E0D8F807148048C601F8C7FC2C387CB635>I<143EA6147EA414 FEA21301A313031307A2130F131F133F13FF5A000F90B6FCB8FCA426003FFEC8FCB3A9EE 07C0AB011FEC0F8080A26DEC1F0015806DEBC03E6DEBF0FC6DEBFFF86D6C5B021F5B0203 13802A4D7ECB34>IIII<007FB500 F090387FFFFEA5C66C48C7000F90C7FC6D6CEC07F86D6D5C6D6D495A6D4B5A6F495A6D6D 91C8FC6D6D137E6D6D5B91387FFE014C5A6E6C485A6EEB8FE06EEBCFC06EEBFF806E91C9 FCA26E5B6E5B6F7E6F7EA26F7F834B7F4B7F92B5FCDA01FD7F03F87F4A486C7E4A486C7E 020F7FDA1FC0804A486C7F4A486C7F02FE6D7F4A6D7F495A49486D7F01076F7E49486E7E 49486E7FEBFFF0B500FE49B612C0A542357EB447>II E %EndDVIPSBitmapFont %DVIPSBitmapFont: Ff cmr12 12 25 /Ff 25 120 df<121EEA7F80A2EAFFC0A4EA7F80A2EA1E000A0A78891B>46 D<1618163C167CA2167816F8A216F01501A216E01503A216C01507A21680150FA2ED1F00 A2151E153EA2153C157CA2157815F8A25D1401A24A5AA25D1407A25D140FA292C7FC5CA2 141E143EA2143C147CA25CA25C1301A25C1303A25C1307A25C130FA291C8FC5BA2133EA2 133C137CA2137813F8A25B1201A25B1203A2485AA25B120FA290C9FC5AA2121E123EA212 3C127CA2127812F8A25A126026647BCA31>I<121EEA7F80A2EAFFC0A4EA7F80A2EA1E00 C7FCB3A5121EEA7F80A2EAFFC0A4EA7F80A2EA1E000A2B78AA1B>58 D69 D71 D77 D82 D97 D99 D<167FED3FFFA315018182B3EC7F80903803FFF090380FC07C90383F000E017E1307496D 5AD803F87F48487F5B000F81485AA2485AA2127FA290C8FC5AAB7E7FA2123FA26C7EA200 0F5D7F6C6C5B00035C6C6C9038077F806C6C010E13C0013F011C13FE90380FC0F8903803 FFE09026007F0013002F467DC436>II< EE0F80D901FCEB7FE0903A0FFF81F0F090393F07E3819039FC01FF033A01F800FE014848 017E13E00007027FC7FC497F000F8149131F001F81A9000F5D6D133F000792C7FC6D5B00 03147E6C6C5B6D485A3903BF07E090380FFF80260701FCC8FC90CAFCA25AA37F6C7E7F90 B512F86C14FF16E06C15F86C6C8048B67E3A07C0000FFF48481300003FC8EA3F80003E15 1F48ED0FC0A2481507A56C150F007C1680007E151F003E16006C153E6C6C5CD807E0495A D801F8EB07E0D8007FEB3F8090261FFFFEC7FC010113E02C427DAC31>103 DII107 DII<3901FC01FE00FF903807FFC091381E07F091383801F8000701707F 0003EBE0002601FDC07F5C01FF147F91C7FCA25BA35BB3A8486CECFF80B5D8F83F13FEA3 2F2C7DAB36>II<3901FC03FC00FF90380F FF8091383C07E091387001F83A07FDE000FE00030180137FD801FFEC3F8091C7EA1FC049 15E049140F17F0160717F8160317FCA3EE01FEABEE03FCA3EE07F8A217F0160F6D15E0EE 1FC06D143F17806EEB7E00D9FDC05B9039FCF003F891383C0FE091381FFF80DA03FCC7FC 91C9FCAE487EB512F8A32F3F7DAB36>I<3903F803F000FFEB1FFCEC3C3EEC707F0007EB E0FF3803F9C000015B13FBEC007E153C01FF13005BA45BB3A748B4FCB512FEA3202C7DAB 26>114 D<90383FE0183901FFFC383907E01F78390F0003F8001E1301481300007C1478 127800F81438A21518A27EA27E6C6C13006C7E13FC383FFFE06C13FC6C13FF6C14C06C14 E0C614F0011F13F81300EC0FFC140300C0EB01FE1400157E7E153EA27EA36C143C6C147C 15786C14F86CEB01F039F38003E039F1F00F8039E07FFE0038C00FF01F2E7DAC26>I<13 06A5130EA4131EA3133E137EA213FE12011207001FB512F0B6FCA2C648C7FCB3A4150CAA 017E131C017F1318A26D133890381F8030ECC070903807E0E0903801FFC09038007F001E 3E7EBC26>II119 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fg cmr17 17.28 15 /Fg 15 119 df12 D73 D97 D<4AB47E020F13F8023F13FE9139FF007F80D9 03FCEB07E0D907F0EB01F0D91FE0EB007849488049488049C87E48485D4915FF00034B13 8048485CA2485AA2485AA2003F6F130049EC007C94C7FC127FA35B12FFAD127F7FA4123F 7FA2001FEE01C07F000F16036D168012076C6C15076D160000015E6C6C151E6D6C5C6D6C 5C6D6C5CD90FF8495AD903FCEB07C0903A00FF803F8091263FFFFEC7FC020F13F8020113 8032417CBF3A>99 D<181EEF3FFEEE07FFA4EE000F1703A21701B3AAEDFF80020F13F802 3F13FE9139FF803F81903A03FC0007C14948EB01E1D91FE0EB00F94948147D4948143D49 C8121F4848150F491507120348481503491501120F121F5BA2123F5B127FA45B12FFAD12 7F7FA3123FA27F121FA26C6C1503A26C6C150712036D150F6C6C151F0000163D137F6D6C ECF9FF6D6CEB01F1D90FF0D903C113C06D6CD90F81EBFF80D901FFEB7F019039007FFFFC 021F13E00201010091C7FC41657CE349>II<133C13FF487F487FA66C5B6C90C7FC133C90C8FCB3A2EB 03C0EA07FF127FA41201EA007FA2133FB3B3AC497E497EB612E0A41B5F7DDE23>105 D107 D110 DI<9039078003F8D807FFEB0FFFB5013F13C092387C0FE0913881F01F92 38E03FF00001EB838039007F8700148FEB3F8E029CEB1FE0EE0FC00298EB030002B890C7 FCA214B014F0A25CA55CB3B0497EEBFFF8B612FCA42C3F7CBE33>114 D<9139FFE00180010FEBFC03017FEBFF073A01FF001FCFD803F8EB03EFD807E0EB01FF48 487F4848147F48C8123F003E151F007E150F127CA200FC1507A316037EA27E7F6C7E6D91 C7FC13F8EA3FFE381FFFF06CEBFF806C14F86C14FF6C15C06C6C14F0011F80010714FED9 007F7F02031480DA003F13C01503030013E0167F00E0ED1FF0160F17F86C15071603A36C 1501A37EA26C16F016037E17E06D14076DEC0FC06D1580D8FDF0141FD8F8F8EC7F00013E 14FC3AF01FC00FF80107B512E0D8E001148027C0003FF8C7FC2D417DBF34>I<1438A714 78A414F8A31301A31303A21307130F131FA2137F13FF1203000F90B6FCB8FCA3260007F8 C8FCB3AE17E0AE6D6CEB01C0A316036D6C148016076D6C14006E6C5A91383FC01E91381F F07C6EB45A020313E09138007F802B597FD733>III E %EndDVIPSBitmapFont end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin %%PaperSize: A4 %%EndSetup %%Page: 1 1 1 0 bop 531 739 a Fg(In)l(tro)t(duction)44 b(to)f(de\014nitiv)l(e)i (notations)f(and)f(tk)l(eden)1089 980 y Ff(Empirical)29 b(Mo)s(delling)h(Researc)m(h)k(Group)972 1096 y(h)m(ttp://www.dcs.w)m (arwic)m(k.ac.uk/mo)s(delling/)0 1430 y Fe(1)135 b(The)44 b(concepts)0 1612 y Fd(Real)36 b(w)n(orld)f(phenomena)h(can)f(b)r(e)i (mo)r(delled)f(on)g(a)g(computer)g(b)n(y)f(describing)h(them)g(as)g (problems)f(that)i(can)e(b)r(e)0 1712 y(solv)n(ed)23 b(using)g(computer)g(programs.)33 b(These)24 b(problems)f(and)g(metho)r (ds)h(of)g(solving)e(them)j(need)e(to)h(b)r(e)g(someho)n(w)e(rep-)0 1811 y(resen)n(ted)29 b(in)i(the)f(programming)e(language)h(b)r(eing)h (used.)44 b(Con)n(v)n(en)n(tional)29 b(languages)f(\(i.e.)45 b(pro)r(cedural)28 b(languages\))0 1911 y(use)33 b(v)-5 b(ariables)32 b(and)i(pro)r(cedures)e(to)h(mo)r(del)g(the)h(problem)f (and)g(ha)n(v)n(e)f(a)h(set)h(\015o)n(w)f(of)g(con)n(trol)f(for)h (solving)f(it.)55 b(The)0 2011 y(v)-5 b(ariables)34 b(refer)g(to)h (storage)f(lo)r(cations)g(that)h(hold)g(data)g(ab)r(out)g(the)h(ob)5 b(jects)34 b(b)r(eing)i(mo)r(delled)f(and)g(their)g(v)-5 b(alues)0 2110 y(collectiv)n(ely)31 b(represen)n(t)g(the)i(curren)n(t)f (state)g(of)g(the)h(problem.)50 b(Pro)r(cedures)30 b(describ)r(e)i (what)h(to)f(do)g(with)h(the)f(data)0 2210 y(stored)26 b(in)g(the)h(v)-5 b(ariables)25 b(and)h(consist)g(of)g(sequences)g(of)g (instructions)g(whose)g(side)g(e\013ects)h(c)n(hange)e(the)i(state)f (of)g(the)0 2309 y(problem.)39 b(The)28 b(computer)g(has)g(to)g(b)r(e)h (told)f(explicitly)h(when)f(to)g(c)n(hange)g(certain)f(v)-5 b(ariables)27 b(and)i(ho)n(w)e(to)i(compute)0 2409 y(them.)44 b(This)29 b(puts)h(added)g(burden)f(on)n(to)g(the)h(programmer)d(since) j(he/she)f(has)g(to)g(decide)h(when)g(it)g(is)f(appropriate)0 2509 y(to)e(up)r(date)i(certain)d(v)-5 b(ariables)27 b(and)g(has)g(to)h(include)g(instructions)f(to)g(do)h(so)f(in)g(their)h (program.)0 2708 y(Imagine)37 b(a)g(mo)r(del)g(that)h(con)n(tains)e(a)h (table)h(and)f(a)g(lamp,)j(whic)n(h)d(can)g(b)r(e)h(mo)n(v)n(ed)e (around)g(b)n(y)h(sp)r(ecifying)h(their)0 2808 y(p)r(ositions.)g(T)-7 b(o)28 b(represen)n(t)f(this)i(y)n(ou)f(w)n(ould)f(need)i(a)f(program)e (that)i(con)n(tained,)g(among)f(others,)h(v)-5 b(ariables)27 b(holding)0 2907 y(the)32 b(p)r(ositions)f(of)g(the)h(table)f(and)g (the)h(lamp.)48 b(T)-7 b(o)31 b(mak)n(e)f(the)i(lamp)f(sit)g(at)h(the)f (cen)n(tre)g(of)g(the)h(table,)g(the)g(p)r(osition)0 3007 y(of)37 b(the)g(lamp)g(needs)f(to)h(b)r(e)g(the)g(curren)n(t)f (table)h(p)r(osition,)i(plus)e(an)f(o\013set)h(to)g(the)g(cen)n(tre)f (of)h(the)g(table.)64 b(If)37 b(y)n(ou)0 3106 y(w)n(an)n(ted)e(to)h(mo) n(v)n(e)f(the)h(table)g(to)f(a)h(new)g(p)r(osition)f(then)i(the)f(p)r (osition)g(of)f(the)i(lamp)e(also)g(needs)h(to)g(b)r(e)g(c)n(hanged)0 3206 y(requiring)31 b(a)h(pro)r(cedure)g(to)g(c)n(hange)f(the)i(table)g (and)f(lamp)g(p)r(ositions.)51 b(No)n(w)32 b(whenev)n(er)g(the)h(table) f(is)h(mo)n(v)n(ed,)f(the)0 3306 y(lamp)e(is)h(mo)n(v)n(ed)e(with)i (it.)46 b(If)31 b(y)n(ou)f(also)f(w)n(an)n(t)h(to)g(mo)n(v)n(e)g(the)h (lamp)f(to)h(an)n(y)e(p)r(osition)i(on)f(the)h(table,)g(the)g(pro)r (cedure)0 3405 y(needs)f(to)g(b)r(e)h(c)n(hanged)e(to)h(tak)n(e)g(in)n (to)g(accoun)n(t)f(the)h(p)r(osition)h(of)f(the)g(lamp)g(on)g(the)h (table.)45 b(In)30 b(addition,)h(to)f(get)g(an)0 3505 y(up-to-date)d(picture)g(of)g(this)h(mo)r(del,)g(a)e(redra)n(w)g(pro)r (cedure)g(needs)i(to)f(b)r(e)h(called)f(ev)n(ery)f(time)i(something)e (is)i(mo)n(v)n(ed.)0 3605 y(All)36 b(these)g(dep)r(endencies)g(need)g (to)g(b)r(e)g(programmed)e(in)i(explicitly)-7 b(,)38 b(whic)n(h)d(can)h(b)r(ecome)f(a)h(complex)f(task)g(with)0 3704 y(man)n(y)27 b(dep)r(enden)n(t)h(ob)5 b(jects)27 b(or)g(dep)r(endencies)h(that)g(are)e(more)h(complicated.)0 3903 y(The)34 b(ab)r(o)n(v)n(e)e(example)h(sho)n(ws)g(that)h(while)g (pro)r(cedural)e(languages)g(can)h(b)r(e)i(\(and)e(are\))g(used)h(for)f (mo)r(delling,)j(they)0 4003 y(demand)29 b(extra)f(e\013ort)h(that)g (could)g(b)r(e)h(b)r(etter)f(sp)r(en)n(t)g(on)g(the)g(actual)g(mo)r (delling)g(itself.)42 b(It)29 b(w)n(ould)g(b)r(e)g(more)f(con)n(v)n(e-) 0 4103 y(nien)n(t)h(to)f(b)r(e)h(able)f(to)h(pro)n(vide)e(abstract)g (de\014nitions)i(of)g(ob)5 b(jects)28 b(in)g(term)h(of)f(other)g(ob)5 b(jects)28 b(b)r(eing)h(mo)r(delled.)40 b(The)0 4202 y(computer)32 b(can)h(then)g(handle)f(these)h(de\014nitions)g (implicitly)-7 b(,)35 b(making)d(sure)g(that)h(they)g(are)e(alw)n(a)n (ys)g(true.)52 b(This)33 b(is)0 4302 y(esp)r(ecially)22 b(imp)r(ortan)n(t)f(during)h(dev)n(elopmen)n(t)g(of)g(the)g(mo)r(del,)i (when)e(ob)5 b(jects)22 b(and)g(the)h(dep)r(endencies)f(b)r(et)n(w)n (een)g(them)0 4402 y(need)j(to)h(b)r(e)f(frequen)n(tly)g(c)n(hanged.)35 b(Only)25 b(the)h(actual)f(de\014nitions)g(need)h(to)f(b)r(e)g(c)n (hanged)g(whereas,)f(with)i(pro)r(cedural)0 4501 y(languages,)31 b(en)n(tire)h(sections)g(of)g(co)r(de)g(ma)n(y)f(need)i(to)f(b)r(e)g (altered,)h(whic)n(h)f(tak)n(es)g(time)g(and)g(is)g(prone)g(to)g (errors.)48 b(A)0 4601 y(system)27 b(that)h(can)f(manage)g (de\014nitions)h(b)r(et)n(w)n(een)f(ob)5 b(jects)27 b(is)h(called)f(a)g (de\014nition-based)g(or)g(de\014nitiv)n(e)h(system.)0 4800 y(De\014nitiv)n(e)c(systems)f(consist)g(of)g(v)-5 b(ariables)23 b(\(referred)f(to)i(as)f(observ)-5 b(ables\),)23 b(whic)n(h)g(hold)h(data)f(represen)n(ting)f(di\013eren)n(t)0 4900 y(ob)5 b(jects,)25 b(and)g(de\014nitions,)h(whic)n(h)f(describ)r (e)g(the)g(dep)r(endencies)h(b)r(et)n(w)n(een)f(ob)5 b(jects.)35 b(A)26 b(de\014nition)f(usually)g(de\014nes)g(a)0 4999 y(single)j(target)f(v)-5 b(ariable)28 b(b)n(y)g(an)g(expression)f (con)n(taining)g(one)h(or)g(more)g(source)f(v)-5 b(ariables.)38 b(The)28 b(target)g(is)g(then)h(said)0 5099 y(to)k(dep)r(end)g(on)g (the)g(source)e(ob)5 b(jects)33 b(and)f(the)h(expression)f(go)n(v)n (erns)e(ho)n(w)i(the)h(target)f(should)h(b)r(e)g(computed)g(from)0 5199 y(them.)39 b(These)28 b(de\014nitions)h(are)e(handled)h(b)n(y)g (the)h(system,)f(whic)n(h)g(ensures)g(that)g(whenev)n(er)f(a)h(v)-5 b(ariable)28 b(is)g(c)n(hanged,)0 5298 y(the)g(v)-5 b(ariables)26 b(that)i(dep)r(end)g(on)g(it)g(are)e(re-ev)-5 b(aluated)27 b(to)g(re\015ect)h(this)f(c)n(hange.)1860 5816 y(1)p eop %%Page: 2 2 2 1 bop 0 390 a Fd(The)28 b(follo)n(wing)e(illustrates)h(a)g(t)n (ypical)g(de\014nition:)262 570 y Fc(t)43 b(=)g(f\()g(s1,)f(s2,)g(...,) g(sn)h(\);)0 749 y Fd(where)26 b(t)h(is)g(the)g(target)f(v)-5 b(ariable,)26 b(s1...sn)h(are)e(the)j(source)d(v)-5 b(ariables)26 b(and)g(f)i(is)e(an)h(expression)e(in)n(v)n(olving)h(the)h(source)0 849 y(v)-5 b(ariables.)45 b(This)31 b(de\014nition)g(states)g(that)g(t) g(dep)r(ends)h(on)e(s1...sn)g(and)h(is)g(computed)g(from)f(these)h (source)f(v)-5 b(ariables)0 948 y(using)35 b(the)h(expression)d(f.)61 b(Should)35 b(an)n(y)g(of)g(the)h(source)e(v)-5 b(ariables)34 b(c)n(hange)g(then)h(the)h(expression)e(is)h(recomputed)0 1048 y(automatically)24 b(so)g(that)h(this)g(de\014nition)g(will)f(alw) n(a)n(ys)f(b)r(e)i(true.)36 b(An)25 b(example)f(of)h(de\014nitiv)n(e)g (principles)f(in)h(use)g(is)f(the)0 1148 y(spreadsheet,)e(whic)n(h)f (consists)g(of)g(a)g(grid)g(of)g(cells)g(\(observ)-5 b(ables\))20 b(whic)n(h)i(can)f(hold)g(v)-5 b(alues)21 b(or)g(form)n(ulae)f(\(de\014nitions\).)0 1247 y(The)32 b(form)n(ulae)e(state)i(ho)n(w)f(the)h(v)-5 b(alue)32 b(of)g(a)f(particular)f(cell)i(can)f(b)r(e)i(computed)f(from)f(other)g (cells)h(automatically)-7 b(.)0 1347 y(Whenev)n(er)29 b(an)n(y)g(cells)h(are)f(c)n(hanged,)g(form)n(ulae)g(referring)g(to)h (that)g(cell)g(are)f(recomputed)g(and)h(a)f(displa)n(y)g(action)h(is)0 1446 y(in)n(v)n(ok)n(ed)21 b(b)n(y)h(the)g(system.)35 b(In)23 b(the)f(case)g(of)g(the)g(spreadsheet,)h(the)f(displa)n(y)g (dep)r(ends)g(on)g(all)g(the)h(cells)f(and)g(the)g(displa)n(y)0 1546 y(action)27 b(is)h(an)f(implicit)h(action)f(since)h(it)g(is)f (pre-de\014ned)g(b)n(y)h(the)g(system.)0 1745 y(Some)f(adv)-5 b(an)n(tages)26 b(of)i(using)f(de\014nitiv)n(e)h(notations)f(are)f(as)h (follo)n(ws:)125 1925 y Fb(\017)41 b Fd(There)22 b(is)i(no)f(need)g(to) g(remem)n(b)r(er)g(whic)n(h)g(v)-5 b(ariables)22 b(to)h(up)r(date)h (when)f(a)g(c)n(hange)f(has)h(b)r(een)h(made)f(to)g(the)h(state)208 2024 y(of)j(a)g(mo)r(del.)37 b(This)28 b(is)f(esp)r(ecially)g(useful)h (when)g(the)g(en)n(vironmen)n(t)f(is)g(con)n(tin)n(uously)g(c)n (hanging.)125 2189 y Fb(\017)41 b Fd(All)28 b(v)-5 b(ariables)26 b(will)i(con)n(tain)f(the)h(most)f(up-to-date)g(v)-5 b(alue.)125 2354 y Fb(\017)41 b Fd(They)27 b(allo)n(w)g(easy)f(in)n (teraction)h(for)g(a)g(user)g(since)g(resp)r(onse)g(to)g(a)h(user's)e (actions)h(is)h(immediate.)125 2519 y Fb(\017)41 b Fd(They)27 b(pro)n(vide)f(a)i(natural)e(w)n(a)n(y)h(of)g(describing)g(the)h (relationships)f(b)r(et)n(w)n(een)g(the)h(ob)5 b(jects)27 b(b)r(eing)h(mo)r(delled.)125 2683 y Fb(\017)41 b Fd(Most)27 b(notations)g(are)f(run-time)i(in)n(terpreted,)f(so)g(there)g(are)g(no) g(long)g(compilation)g(dela)n(ys.)125 2848 y Fb(\017)41 b Fd(If)23 b(they)h(are)f(in)n(terpreted)g(then)h(all)f(ob)5 b(jects)23 b(and)g(de\014nitions)h(can)f(b)r(e)h(mo)r(di\014ed)g(at)f (run-time,)h(allo)n(wing)f(a)g(wide)208 2948 y(range)j(of)h(in)n (teraction)g(and)g(run-time)h(c)n(hanges)e(when)i(dev)n(eloping)e(new)i (mo)r(dels.)0 3222 y Fe(2)135 b(A)44 b(general)i(de\014nitiv)l(e)g (notation:)62 b(Eden)0 3404 y Fd(Eden)30 b(is)h(a)g(general-purp)r(ose) d(language)h(that)i(supp)r(orts)f(the)i(concept)e(of)h(de\014nitions.) 46 b(Its)31 b(name)g(comes)f(from)g(the)0 3503 y(name)i(of)g(its)g (original)e(in)n(terpreter,)i(EDEN)g(-)g(an)f(Ev)-5 b(aluator)31 b(of)h(DE\014nitiv)n(e)g(Notations.)49 b(The)32 b(language)e(is)i(not)g (a)0 3603 y(purely)j(de\014nitiv)n(e)g(one)g(but)g(a)g(h)n(ybrid)g (language)e(com)n(bining)i(de\014nitiv)n(e)g(and)g(pro)r(cedural)f (programming.)57 b(Eac)n(h)0 3703 y(statemen)n(t)25 b(in)f(a)h(t)n (ypical)f(program)e(is)j(either)f(a)g(pro)r(cedural)g(st)n(yle)g (statemen)n(t)h(or)e(a)h(de\014nition.)37 b(When)25 b(a)f(pro)r (cedural)0 3802 y(statemen)n(t)31 b(is)g(encoun)n(tered)f(b)n(y)h(the)g (in)n(terpreter)f(it)h(is)g(executed)g(and)g(will)g(ha)n(v)n(e)f(the)h (e\013ect)g(of)g(ev)-5 b(aluating)31 b(an)f(ex-)0 3902 y(pression,)d(assigning)f(a)h(v)-5 b(alue)28 b(to)g(a)f(v)-5 b(ariable)27 b(or)g(calling)g(a)h(pro)r(cedure.)36 b(On)28 b(the)g(other)f(hand,)h(when)g(a)g(de\014nition)g(is)0 4001 y(encoun)n(tered,)d(an)f(equiv)-5 b(alen)n(t)25 b(de\014nition)g(is)g(set)g(up)g(in)n(ternally)-7 b(,)25 b(whic)n(h)g(will)g(then)g(b)r(e)g(ev)-5 b(aluated)25 b(b)n(y)g(the)g(in)n(terpreter)0 4101 y(whenev)n(er)i(this)g(is)h (necessary)-7 b(.)0 4300 y(The)33 b(syn)n(tax)e(of)i(Eden)f(is)g (similar)g(to)g(C.)h(Lik)n(e)f(pro)r(cedural)f(languages,)h(it)h(has)e (v)-5 b(ariables)32 b(that)g(represen)n(t)g(storage)0 4400 y(lo)r(cations,)f(and)f(can)h(b)r(e)g(assigned)f(v)-5 b(alues)30 b(from)h(expressions)e(that)i(can)f(con)n(tain)g(other)h(v) -5 b(ariables,)30 b(op)r(erators)f(and)0 4500 y(functions.)51 b(Unlik)n(e)32 b(C,)g(v)-5 b(ariables)31 b(do)h(not)g(need)g(to)g(b)r (e)h(declared)e(b)r(efore)h(b)r(eing)g(used)g(and)g(are)f(allo)r(cated) h(storage)0 4599 y(when)25 b(they)g(\014rst)f(app)r(ear)g(in)h(the)g (program.)34 b(The)25 b(t)n(yp)r(e)f(of)h(a)f(v)-5 b(ariable)24 b(do)r(es)g(not)h(need)g(to)f(b)r(e)i(giv)n(en)d(and)i(dep)r(ends)g(on) 0 4699 y(the)i(t)n(yp)r(e)h(of)f(the)g(v)-5 b(alue)27 b(assigned)f(to)g(it.)37 b(The)28 b(follo)n(wing)d(are)h(t)n(yp)r(es)h (that)h(are)e(essen)n(tially)g(the)h(same)f(as)h(those)f(in)i(C:)125 4878 y Fb(\017)41 b Fd(In)n(teger)26 b(e.g.)37 b Fc(123)26 b Fd(\(decimal\),)i Fc(0456)e Fd(\(o)r(ctal\),)i Fc(0x1f)e Fd(\(hexadecimal\))125 5043 y Fb(\017)41 b Fd(Character)25 b(e.g.)37 b Fc(`a')125 5208 y Fb(\017)k Fd(Floating)26 b(p)r(oin)n(t)i(e.g.)37 b Fc(1.23)p Fd(,)26 b Fc(.23)p Fd(,)g Fc(1.23e-15)0 5387 y Fd(There)h(are)g(also)f(some)h(additional)g (t)n(yp)r(es:)125 5567 y Fb(\017)41 b Fd(Unde\014ned.)c(This)26 b(is)f(represen)n(ted)g(b)n(y)i Fc(@)p Fd(.)36 b(A)26 b(v)-5 b(ariable)25 b(that)i(has)e(not)h(y)n(et)g(b)r(een)g(de\014ned)h (will)f(ha)n(v)n(e)e(this)j(v)-5 b(alue.)1860 5816 y(2)p eop %%Page: 3 3 3 2 bop 125 390 a Fb(\017)41 b Fd(String.)34 b(A)22 b(string)e(can)h(b) r(e)h(de\014ned)f(as)g(a)g(sequence)g(of)g(c)n(haracters)e(surrounded)h (b)n(y)h(double)g(quotes,)h(e.g.)35 b Fc("this)208 490 y(is)42 b(a)h(string")p Fd(.)125 645 y Fb(\017)e Fd(List.)36 b(The)25 b(only)f(structured)h(t)n(yp)r(e)g(in)g(Eden.)36 b(It)25 b(represen)n(ts)f(a)g(list)i(of)f(data)f(v)-5 b(alues)25 b(and)f(eac)n(h)h(elemen)n(t)g(can)f(b)r(e)208 745 y(of)i(a)g(di\013eren)n(t)h(t)n(yp)r(e.)37 b(An)27 b(example)f(of)h(a)f(list)h(is)f Fc([)44 b(100,)d(`a',)h("string",)e ([1,2,3])h(])p Fd(.)36 b(If)e Fc(l)26 b Fd(is)h(a)f(v)-5 b(ariable)208 844 y(holding)24 b(a)g(list,)h(then)g Fc(l[i])e Fd(is)h(the)h Fc(i)p Fd(th)f(elemen)n(t)h(of)f(the)h(list)f(and)h(is)f (of)g(the)h(same)f(t)n(yp)r(e)g(as)g(that)h(elemen)n(t.)36 b(The)208 944 y(length)27 b(of)h(the)g(list)g(is)f(giv)n(en)g(b)n(y)h Fc(l#)p Fd(.)0 1100 y(F)-7 b(unctions)31 b(in)g(Eden)f(are)g(similar)g (to)g(C,)h(except)g(that)g(parameters)e(are)h(sp)r(eci\014ed)h(inside)f (the)h(function)h(b)r(o)r(dy)-7 b(.)46 b(All)0 1200 y(lo)r(cal)26 b(v)-5 b(ariables)25 b(used)h(in)h(the)g(function)f(also)g(need)g(to)g (b)r(e)h(declared)f(at)g(the)h(b)r(eginning)f(of)g(the)h(function)g(b)r (o)r(dy)-7 b(.)37 b(This)0 1299 y(is)26 b(done)g(b)n(y)f(pro)n(viding)g (a)g(list)i(of)f(them)g(after)g(an)f Fc(auto)g Fd(k)n(eyw)n(ord,)f (although)i(their)g(t)n(yp)r(es)f(do)h(not)g(need)g(to)g(b)r(e)g(giv)n (en.)0 1399 y(F)-7 b(unction)38 b(de\014nitions)g(are)e(indicated)i(b)n (y)g(the)g(k)n(eyw)n(ord)d Fc(func)h Fd(or)h Fc(proc)f Fd(\(generally)-7 b(,)39 b Fc(func)d Fd(should)i(b)r(e)g(used)f(for)0 1499 y(functions)28 b(that)g(return)f(something,)g(and)h Fc(proc)e Fd(for)h(those)g(that)h(do)f(not\),)h(for)f(example:)262 1655 y Fc(func)41 b(max)i({)392 1754 y(para)f(m;)958 b(/*)43 b(m)g(is)g(alias)e(of)i(first)f(argument)e(*/)392 1854 y(auto)i(i;)958 b(/*)43 b(local)f(variable)e(*/)392 1954 y(for)j(\(i)f(=)i(2;)e(i)h(<=)g($#;)g(i++\))172 b(/*)43 b(for)f(each)g(argument)f(*/)523 2053 y(if)i(\($[i])e(>)i(m\))g (m)g(=)h($[i];)128 b(/*)43 b(keep)f(max)g(*/)392 2153 y(return)f(m;)871 b(/*)43 b(return)e(max)h(of)h(all)g(arguments)c(*/) 262 2253 y(};)0 2409 y Fd(Eden)25 b(has)f(the)i(usual)f(arithmetic,)g (relational)f(and)h(logical)f(op)r(erators)f(for)i(handling)g(the)g(n)n (umerical)f(t)n(yp)r(es)i(\(e.g.)35 b Fc(+,)0 2508 y(-,)43 b(<,)g(>,)f(=,)h(&&,)f(||)p Fd(\).)36 b(V)-7 b(alues)26 b(can)g(b)r(e)g(assigned)f(to)h(expressions)e(through)i(assignmen)n(t)f (statemen)n(ts)h(whic)n(h)g(are)0 2608 y(of)h(the)h(form)f Fc(var)42 b(=)h(expression;)p Fd(.)33 b(Other)26 b(statemen)n(ts)h(in)h (the)g(language,)d(used)j(for)e(con)n(trol)g(\015o)n(w,)h(are)f(the)i (usual)0 2707 y(C)g Fc(if-else)p Fd(,)c Fc(while)p Fd(,)i Fc(for)h Fd(and)g Fc(switch)p Fd(.)0 2907 y(The)f(language)f(also)g (has)g(t)n(w)n(o)g(additional)h(statemen)n(ts)g(for)f(de\014ning)i(dep) r(endencies)f(and)g(triggered)e(actions.)36 b(These)0 3006 y(statemen)n(ts)g(are)f(not)h(executed)g(directly)-7 b(,)38 b(but)f(when)f(encoun)n(tered,)i(set)e(up)g(the)h(de\014nitions) f(in)n(ternally)-7 b(.)62 b(These)0 3106 y(statemen)n(ts)28 b(sp)r(ecify)g(that)g(a)g(v)-5 b(ariable,)27 b(or)g(action,)g(dep)r (ends)i(on)e(a)h(set)g(of)g(source)e(v)-5 b(ariables.)37 b(Whenev)n(er)27 b(a)h(v)-5 b(ariable)0 3206 y(has)18 b(a)h(v)-5 b(alue)18 b(assigned)g(to)h(it,)i(an)n(y)d(de\014nition)h (that)g(includes)g(it)h(as)e(a)g(source)g(v)-5 b(ariable)18 b(is)g(re-ev)-5 b(aluated.)33 b(A)19 b(dep)r(endency)0 3305 y(is)31 b(similar)f(in)h(format)f(to)h(a)g(v)-5 b(ariable)29 b(assignmen)n(t)h(statemen)n(t)h(except)g(it)g(pro)n (vides)f(an)g(abstract)g(de\014nition)h(of)g(the)0 3405 y(v)-5 b(ariable.)44 b(The)30 b(syn)n(tax)f(is)i(the)f(same)g(as)g (that)g(of)g(an)g(assignmen)n(t)g(with)g(the)h Fc(=)f Fd(sym)n(b)r(ol)g(replaced)f(b)n(y)h(the)h(k)n(eyw)n(ord)0 3504 y Fc(is)p Fd(.)36 b(A)28 b(t)n(ypical)f(form)n(ula)g(de\014nition) h(is)f(giv)n(en)g(as)g(follo)n(ws:)262 3661 y Fc(t)43 b(is)f(f\()h(s1,)g(s2,)f(...,)g(sn)h(\);)0 3817 y Fd(where)30 b Fc(t)f Fd(is)h(the)h(target)e(form)n(ula)g(v)-5 b(ariable,)30 b Fc(s1...sn)d Fd(are)i(the)i(source)e(v)-5 b(ariables)29 b(and)h Fc(f)f Fd(is)h(a)g(form)n(ula)f(whic)n(h)h(ma)n(y)0 3916 y(b)r(e)d(an)f(expression)f(or)g(a)h(function.)37 b(This)27 b(statemen)n(t)f(forms)g(a)g(de\014nition,)h(whic)n(h)f(sa)n (ys)f(that)i(the)f Fc(t)g Fd(dep)r(ends)h(on)f(the)0 4016 y(source)k(v)-5 b(ariables)30 b Fc(s1...sn)p Fd(.)44 b(The)31 b(v)-5 b(alue)31 b(of)38 b Fc(t)30 b Fd(is)h(re-ev)-5 b(aluated)30 b(if)i(an)n(y)e(of)h(the)h(source)e(v)-5 b(ariables)29 b(c)n(hange.)46 b(Hence,)0 4115 y(the)31 b(di\013erence)g(b)r(et)n(w)n(een)g(dep)r(endencies)h(and)f(assignmen)n (ts)f(is)h(that)g(dep)r(endency)g(de\014nitions)h(can)e(b)r(e)i (considered)0 4215 y(to)e(alw)n(a)n(ys)d(b)r(e)k(true)e(\(target)g(v)-5 b(ariable)29 b(is)h(equal)f(to)h(the)g(expression\))e(but)j(an)e (assignmen)n(t)g(statemen)n(t)h(can)f(only)g(b)r(e)0 4315 y(assumed)e(to)g(b)r(e)h(true)f(at)h(the)f(p)r(oin)n(t)h(directly) f(after)g(its)h(execution.)36 b(As)28 b(an)f(example,)g(if)h(y)n(ou)f (w)n(an)n(ted)f(to)i(de\014ne)f(the)0 4414 y(follo)n(wing:)49 b(\\C)34 b(lies)g(at)g(the)g(mid)h(p)r(oin)n(t)f(of)h(line)f(AB,)g (where)g(A)h(and)f(B)g(are)f(de\014ned)i(indep)r(enden)n(tly",)h(then)e (this)0 4514 y(could)27 b(b)r(e)h(giv)n(en)f(as)g(the)h(follo)n(wing)f (de\014nition:)37 b Fc(C)43 b(is)g(\(A)g(+)g(B\)/2)p Fd(.)0 4713 y(The)35 b(second)g(de\014nition)h(statemen)n(t)f(that)g (Eden)g(pro)n(vides)f(is)h(for)g(triggered)f(actions.)59 b(These)35 b(pro)n(vide)f(a)h(w)n(a)n(y)f(of)0 4813 y(sp)r(ecifying)39 b(explicit)g(actions,)j(whic)n(h)d(are)f(called)h(when)g(certain)f (observ)-5 b(ables)38 b(c)n(hange.)70 b(T)-7 b(riggered)37 b(actions)i(are)0 4912 y(pro)r(cedures,)27 b(whic)n(h)h(dep)r(end)h(on) f(a)g(set)g(of)g(source)f(v)-5 b(ariables.)37 b(Their)28 b(syn)n(tax)f(is)h(similar)f(to)h(that)h(of)f(a)f(function)i(but)0 5012 y(with)34 b(a)e(list)i(of)f(v)-5 b(ariables,)33 b(called)g(the)g(dep)r(endency)h(list,)g(whic)n(h)f(the)h(function)f (dep)r(ends)h(on.)53 b(This)33 b(is)g(a)g(comma-)0 5112 y(separated)25 b(list,)i(preceded)f(b)n(y)h(a)f(colon,)g(b)r(et)n(w)n (een)g(the)h(function)g(name)g(and)f(its)h(b)r(o)r(dy)-7 b(.)37 b(An)27 b(example)f(of)g(a)g(triggered)0 5211 y(action:)262 5367 y Fc(proc)41 b(print)h(:)h(a,)g(b,)g(c)g({)392 5467 y(writeln\(a,)d(")j(",)g(b,)f(")i(",)e(c\);)262 5567 y(};)1860 5816 y Fd(3)p eop %%Page: 4 4 4 3 bop 0 390 a Fd(In)30 b(this)h(action)e(de\014nition,)i(the)g(pro)r (cedure)e(is)h(triggered)e(b)n(y)i(the)h(v)-5 b(ariables)29 b Fc(a)p Fd(,)h Fc(b)g Fd(or)f Fc(c)p Fd(.)44 b(If)31 b(an)n(y)e(of)h(these)g(v)-5 b(ariables)0 490 y(c)n(hanges)31 b(then)j(the)f(pro)r(cedure)f(is)h(called,)h(and)f(the)g(v)-5 b(alues)32 b(of)h(the)h(three)e(v)-5 b(ariables)32 b(are)g(prin)n(ted)h (out.)53 b(T)-7 b(riggered)0 589 y(actions)27 b(are)f(useful)i(when)g (some)f(pro)r(cedural)f(side)i(e\013ect)g(is)g(required.)0 789 y(The)e(\014nal)g(statemen)n(t,)h(and)f(most)g(useful)g(when)h(mo)r (delling,)f(is)g(the)g(query)g(statemen)n(t.)36 b(T)-7 b(o)26 b(\014nd)h(out)f(the)g(de\014nition)0 888 y(\(and)i(curren)n(t)e (v)-5 b(alue\))28 b(of)g(the)g(observ)-5 b(able)26 b Fc(x)p Fd(,)h(use:)37 b Fc(?x;)0 1163 y Fe(3)135 b(A)44 b(de\014nitiv)l(e)i(notation)g(for)f(dra)l(wing:)61 b(DoNaLD)0 1345 y Fd(The)19 b(name)g(DoNaLD)g(stands)g(for)f(De\014nitiv)n(e)i (Notation)f(for)f(Line)h(Dra)n(wing)f(and)h(this)h(notation)e(allo)n (ws)g(the)h(de\014nition)0 1444 y(of)32 b(t)n(w)n(o-dimensional)f(shap) r(es.)50 b(The)32 b(de\014nitiv)n(e)g(nature)g(of)g(this)g(line)h(dra)n (wing)e(notation)g(allo)n(ws)g(the)h(p)r(oin)n(ts,)i(lines)0 1544 y(and)22 b(shap)r(es)f(to)h(b)r(e)g(describ)r(ed)g(in)g(terms)f (of)h(other)f(p)r(oin)n(ts,)i(lines)f(and)g(shap)r(es.)34 b(Through)21 b(dep)r(endency)h(main)n(tenance,)0 1644 y(c)n(hanges)e(to)i(one)f(observ)-5 b(able)21 b(will)h(propagate)e(c)n (hange)g(to)i(all)g(the)g(dep)r(enden)n(t)g(observ)-5 b(ables)20 b(in)i(the)h(mo)r(del.)35 b(With)22 b(this)0 1743 y(graphical)j(output,)i(the)g(results)f(of)h(mo)r(delling)f(a)g (problem)g(can)g(b)r(e)h(seen)g(immediately)f(and)h(in)f(a)h(con)n(v)n (enien)n(t)e(form.)0 1843 y(The)32 b(notation)f(itself)h(consists)f (only)g(of)h(de\014nitions)g(of)f(shap)r(es,)i(and)e(it)h(is)g (therefore)f(a)g(pure)g(de\014nitiv)n(e)h(notation.)0 1942 y(This)j(means)f(that)i(there)e(are)g(no)h(directly)g(executable)f (or)h(pro)r(cedural)e(statemen)n(ts,)k(and)e(ev)n(ery)e(statemen)n(t)i (is)g(a)0 2042 y(de\014nition.)h(A)26 b(script)e(in)h(this)h(notation)e (is)h(therefore)f(lik)n(e)g(a)h(sp)r(eci\014cation)f(of)h(the)h(dep)r (endencies)f(b)r(et)n(w)n(een)g(di\013eren)n(t)0 2142 y(shap)r(es)i(and)h(their)f(elemen)n(ts.)0 2416 y Fe(4)135 b(A)44 b(de\014nitiv)l(e)i(notation)g(for)f(screen)g(la)l(y)l(out:)62 b(SCOUT)0 2598 y Fd(This)36 b(de\014nitiv)n(e)g(notation)g(for)f (SCreen)h(la)n(yOUT)f(pro)n(vides)f(a)i(notation)f(for)h(displa)n(ying) f(windo)n(ws)g(and)h(creating)0 2698 y(graphical)f(user)g(in)n (terfaces.)62 b(It)36 b(is)g(used)g(for)g(describing)f(the)i(geometry)e (and)g(la)n(y)n(out)g(of)i(windo)n(ws)e(on)h(a)f(displa)n(y)0 2797 y(screen)29 b(using)g(dep)r(endency)-7 b(.)44 b(Since)30 b(it)g(de\014nes)g(the)g(la)n(y)n(out)f(of)h(the)g(screen,)f(it)i(pro)n (vides)d(an)h(in)n(terface)h(b)r(et)n(w)n(een)f(the)0 2897 y(output)24 b(of)f(other)g(de\014nitiv)n(e)g(notations)g(and)g (the)h(actual)f(displa)n(y)-7 b(.)35 b(F)-7 b(or)22 b(instance,)i(a)f (windo)n(w)g(can)g(displa)n(y)g(the)g(image)0 2997 y(from)28 b(a)f(DoNaLD)h(line)g(dra)n(wing.)37 b(The)28 b(notation)g(also)f(pro)n (vides)f(v)-5 b(arious)27 b(means)g(of)h(detecting)g(in)n(teraction)f (ev)n(en)n(ts)0 3096 y(\(e.g.)50 b(pressing)31 b(a)g(mouse)h(or)f(k)n (eyb)r(oard)f(button\))j(and)f(en)n(tering)f(text.)50 b(This)32 b(allo)n(ws)f(the)h(dev)n(elopmen)n(t)g(of)g(simple)0 3196 y(graphical)26 b(in)n(terfaces)h(with)h(eac)n(h)f(windo)n(w)g (handling)g(its)h(o)n(wn)f(in)n(teraction.)0 3470 y Fe(5)135 b(Other)45 b(notations)0 3652 y Fd(V)-7 b(arious)25 b(other)g (de\014nitiv)n(e)h(\(and)g(non-de\014nitiv)n(e\))g(notations)f(exist)h (to)g(pro)n(vide)e(supp)r(ort)i(for)f(more)g(domain-sp)r(eci\014c)0 3752 y(mo)r(delling:)35 b(Sasami)24 b(for)g(3D)h(graphics,)f(Eddi)h (for)f(relational)f(databases,)h(LSD)h(for)f(distributed)h(agen)n (t-based)e(in)n(ter-)0 3852 y(action,)k(and)h(man)n(y)f(more.)0 4051 y(F)-7 b(or)27 b(syn)n(tax)g(and)h(more)e(information)i(on)f (Eden,)h(DoNaLD,)g(SCOUT)f(and)h(other)f(de\014nitiv)n(e)h(notations,)f (please)g(see)0 4150 y(the)h(do)r(cumen)n(tation)f(at:)37 b(h)n(ttp://www.dcs.w)n(arwic)n(k.ac.uk/mo)r(delling/)0 4425 y Fe(6)135 b(Getting)46 b(started)f(with)h(tk)l(eden)0 4607 y Fd(The)38 b(primary)f(to)r(ol)g(for)h(building)g(dep)r (endency-based)f(mo)r(dels)h(is)g(tk)n(eden.)68 b(This)38 b(to)r(ol)f(incorp)r(orates)f(the)j(main)0 4706 y(de\014nitiv)n(e)24 b(notations)g(\(Eden,)h(SCOUT)f(and)h(DoNaLD\))f(as)g(w)n(ell)g(as)g (some)f(other)h(domain)g(sp)r(eci\014c)h(notations.)35 b(Tk)n(e-)0 4806 y(den)c(is)f(curren)n(tly)f(a)n(v)-5 b(ailable)29 b(for)h(Windo)n(ws,)h(Lin)n(ux/Unix)f(and)g(Mac)g(OS)g(X.) g(Binaries)g(and)g(sources)f(are)g(a)n(v)-5 b(ailable)0 4906 y(from)27 b(the)h(EM)g(w)n(ebsite)f(men)n(tioned)g(ab)r(o)n(v)n (e.)0 5105 y(T)-7 b(o)31 b(start,)h(run)g(the)g(tk)n(eden)f(executable) h(and)f(an)g(en)n(vironmen)n(t)g(for)g(in)n(teraction)g(will)h(b)r(e)g (displa)n(y)n(ed.)47 b(The)32 b(k)n(ey)f(el-)0 5205 y(emen)n(ts)k(of)h (the)g(in)n(terface)f(are:)51 b(the)36 b(text)g(en)n(try)f(b)r(o)n(x)g (\(1\),)j(the)e(accept)f(button)h(\(2\))g(and)f(the)h(notation)f(switc) n(hes)0 5304 y(\(3\).)59 b(Statemen)n(ts)35 b(are)f(en)n(tered)g(in)n (to)h(the)g(text)h(en)n(try)e(b)r(o)n(x)g(\(1\))h(and)g(then)g (executed)g(b)n(y)g(clic)n(king)f(on)h(the)g(accept)0 5404 y(button)d(\(2\).)48 b(The)32 b(en)n(vironmen)n(t)e(enables)h(the) h(mo)r(deller)f(to)g(switc)n(h)g(b)r(et)n(w)n(een)h(notations)e (on-the-\015y)h(b)n(y)g(selecting)1860 5816 y(4)p eop %%Page: 5 5 5 4 bop 564 1563 a @beginspecial 14 @llx 14 @lly 429 @urx 212 @ury 3159 @rwi @setspecial %%BeginDocument: tkeden-window.eps %!PS-Adobe-3.0 EPSF-3.0 %%Creator: GIMP PostScript file plugin V 1.12 by Peter Kirchgessner %%Title: /dcs/emp/ant/cs405/2005/misc/tkeden-window.eps %%CreationDate: Tue Sep 27 13:03:24 2005 %%DocumentData: Clean7Bit %%LanguageLevel: 2 %%Pages: 1 %%BoundingBox: 14 14 429 212 %%EndComments %%BeginProlog % Use own dictionary to avoid conflicts 10 dict begin %%EndProlog %%Page: 1 1 % Translate for offset 14.173228 14.173228 translate % Translate to begin of first scanline 0.000000 197.000000 translate 414.000000 -197.000000 scale % Image geometry 414 197 8 % Transformation matrix [ 414 0 0 197 0 0 ] currentfile /ASCII85Decode filter /RunLengthDecode filter %%BeginData: 12218 ASCII Bytes image qj.8Ms-ESNoq6l(QC3])l^@d=rL*MJrg*SPrj)@8J]r\hO3@^AbeVHl_#L\@QA5C)s-<\RT_u*H ^k':P_"GM@Z2gQsQN*9NRJ`_/Z@T<9ZLFOdRK&o[RJrNOQMI3CZ@S["TTu2@RK&QUR?iSXQ3)f/ QN!TRiM^RDtWrlMoK5_"k8ATX+U_R@3@?fDEAZZ3d20s6?#?lMoJ[p;$X4!WVH_ L&cE$J;/fER@3N:JXM(W`0gf/fAkoIfDWqi^^IH@T`:FJs4?;kh:MVLqS3?ATV2=QRK(nh:MSKr4r?<$CUp^RK(Lkj5&PCr65)Ss0;ou s-];TbiA6Rrn%%krP/K?RK*2>!-\KpL6hh,n">6"JXOHE"TQ9nj5'^Yq8!!8#at^\RK((Yj5'^Y q8!!8$(:g]RK(Lkj4Do]bk]$UZC1ajL&cE!J;0BhRK&rVLA[\ELAmisR=UdER0EW+fA4ZpqnW'6 #at^\RK((Yf@T`rriu]qs-];T_#DscrrC:?^]si/^qd7Ds87TOG63;LLAmS@T_O9@T`9cGT_b)V s6uHVs6?$Ps7i#Zs8AAcs7D`Zs+-T/R0nq7ud2"e#CYRK'Sl^]=E5_#1J.7s6AG?s-];Ts6>.7s+(.LlJ;L?R@4*TfA6K,qO%GO s8RWFR0EWHJFW[>rgs8SLTs8RV;s8RV;s8RV" JXO-npqZa3#,%:^R@4)\rkJO6r4r9:#lh39TU,VGRK*6$!mJHqr;ZZ"".B1TQMuU=J-:CgQC40< T`9cHZMfLYTSE?:s8N+MT`"fjR@sHW#_o#Ps+$dBs+("H#_o#Ps+$dBs+'s=s8N(Loq;?b!.b'A s8N(Loq;?b*.X^^s+$dBs+$dBs+$dBs+[3Hs+$dBs+$dBs+#Zn\tB*(ZM203Z3Htfs.H%bZMqW> s80V2Z3gQ:ZCmN`R@4)\r4r=3!5SU6r3??ks8J>aL&c`+L6e-nqk*tqLAnLWL&nT7qk3uh$@nfL s31NClCe1Wr.#*Hs8RVBs8RWLs87BPT`>%BT`>%BqOmlg!.aa8s8N(Lrh0;k!.aa8s8O'hT`>%B T`>%BT`>%BT`>%BT`>%BT`>%BT`>%BJY9TI"TPd5^qfgHqm$R%QN*VNs0ArG_#O;Iriuk1ZEg-h s-];TZMhTZM^Bqs!E8hs8RVBs8U=C s7,CSs.H%bs7)c^s+(.Ln`p/STV2>bJ=urBJGPr=rr@TKT`>&kT`>#pT`>&^LAmkGrr@TKT`>&g T`>$3J=urBJ=urBJ=urBJEm17L7nSHbiAa'J=urBJ:XB)TEP:fZG=9Ps80)/TU,VNT`:[j^qg!I _#CVGs0Ar'QN*VGs0DX>rr;r4!4)V(s0;^!RK*5O!JZ+,L6e6qrLj1r!/C*Ns.Bbbs8Sbls+$d& s8Sbjrr^K5TV25_!J$jArs?o;T`>%BT`>%BqOmlg!.b'As8N1eTV1?DrrIY-6HT`251 Q@O^?J=s39L4G#OZEf"2ZEf"2q6L$NrNcHhriu["L4G#Hr3H?QrNcHhqQg-Os0DZTs0DZT#.":/ J;/TBrium(L4GS?J?lJRJ:NN_ZCh6uRI[WgTUD,GTV2=Qo!/OoR?mlGT`;='q7uj4"/)(^RJrKQ L4BAVQC40?TT-8Wrr@S#ZDt23s-]PPZN$R&R>1aIZN$>coWnLi#+:5GTV2=Xrj)R>!OBN:ZN$R& RK&\CQBm8U"+Z]*RJrk=ZN'q)J:Y#+Z3('!RIm0PR0T%Gs0As1TUGGFs-X+XRK&qQs0AdI3RHp18LB!P?L4BAV QBmqiQ@Y?QQKje9L&c`+J;1@tJcC<$JcG'9"."[rJ-1=VZC-:DJcC<$li.'QL5(3\J;1@tJcC<$ JcG'9"."[rJ-1=VZC-:DJcC<$li.'QL5(3\J;1@toD\f&jSo3l^]+:GJcC<$g]%AAL5(3\J;1@t qu?S+"93!5B(#]sB)MZ3B)cKCB(Gs%B)_f3B)cK*rr?[0rr?[-rr?Y^s+14)s8SDbJ-1=VZC1Ui !+u*-!+t[!!+u$+!+u61!+tg%!+u61!+t0hq>UG,JcC<$h>dM@s*t3%L9d4us+13$s6K^bQN)I;J;1@tJcC<$JcG'9s-E\8"+Z-3R=YBh s+149s8SDbJ-1=VZC-:DJcC<$li7!Ns*t3%L9d4us+13$s6K^bQN)I;J;1@tfBN?JJ_,J)`n/Z( "D3scJ:IcQL9d64ft[WVAqAQbf>cDBlIcDBlIcDBlIB#E4#lIUKI s7t:HB)gH_B)C0[B("7NB)L6\B(smXZ=`q4!S@AIfDfI_f)TFHf)TFVf)`0hq>UKIs7t:HB)gH_ AtmlWlM\KuB)04BB'6r0B)TLKR:_bNJ:IcQL9d64r4iAG^h2`E!+u2F!L[Qtf)rNB)2H-fDkQr!+u2]rFZ)]rau2^"(p.sB)^E]B)gHa B%PZ5B(smXZ=`q4!S@AFf)TF]fDfI^fD]C]fD]C^f)TF^f)oX:AnLeh!O?>5rrLaOp=B:VrR_'] rn%-]rn%0^rn%-]s4@6^"kR?uf@OWPf)Y+7^]8!B^]8!0^]8!F^]g-UKIs7b+FB)UNB)2H-fDkTs!+u2]"(p0:B)L6a B%LYHf4Os4$>.n%f@OWdf4NWH_q+nRrP/hR^qaQtAnJioAnJiorau2Gs(2DLAnJhjrkJPH_#7mF _#J$G^]g-:s8Q^1rrLaOpt#LXr7CjY!S:r_f)]L8r+5u]B)^B^B(smXZ=`q4!S@AHf)TF\f)TF^f)fR9 B)^B`B%LYof)fR9fDT:`f4NWHrmq-^pX]GOB)2H-fDkWt!+u,[!+u5^!+u/\!+u5^!bU%rrmq3` f4Oa.!O?>5rrLaOpt#LXqptg[rR_![s476_rR_![$.ie@f4NXdB%LY4f)Y+7^^Ohj^h.2o^h1Ao ^qaR]^^+PfB#)2o^qaR]^]J,`B)]RIB#&$W^]g-7 rrLaOpt#a_f@OVHf@OX6f)fR9B)^B`B%LYof)fR9B)^BbB%LYHB)^B^B(jgWZ=a"6!S@AHf*#^; f4JXnf)oX:f4Os4!+u5^!bU%rrmq3`f4O^-!O?>7rrLaOpt#X\f@OVHrRV-`f@OX6f)TF^f)oX: f4P$6$>.n%f@OWdf4NWH_q+nRrP/MI^qaR]^]\8bB#)4[Ad?+`^qaQt^h3S]!bT5[rkJSI^h3P\ "drtgQ@OJgJ;1@tlM\NrB)fXHB)KFEB)KFEB)KFST`=;mB$A'UlG13'_#N]uf)i80fDYaLf)YjH f*H!?f4NXdB%LYof)fR9B)^B`B%LYof)fR9B)^B^B(jgXZId_,s8U[Ns7t7PB%PXHf@OWdB)^B` B%LYof)fR9B)^B`B%LYof*#^;B%LYof)TFVf)i80fDYaLf)YjHf*u?Df4NXdB%LYHf4NWHrmq3` f4P$6#\M\#f@OVHf4O^-!j^G0rVuoL!<;lH%;+5DB%PXHf4NXdB%LYof*>p>B%PXHf4P$6$>.n% f@OWdf4NWHqpu,=s7+^mj730>rmq5As6A7g!:'Nu"(o?aB)]RLB#&#o^h3M[#%kZdB#)2orkJSI ^h3S]!bT5[rP/T)AsSa5J-:CWZC1"W^]8!E^]J,`B)]RIB#&$X^]J,`B)]RMB#*s:beRigrrg-* JH,ZIfDkmLfDkmCfDfI^fD]C]fDT=]fD]C^f)TF^f)TFUfDkmLfDkmCfDfI^fDT=]fD]C^f)TF^ f)fR9fDT:`f4NXdrFY`Ss8W&Ls8V`Cs(;8^s(;8^rau/]rau/]s(2DcB%PXHp"06DrR_)Lo[j+T rn%0^rn%*\s4@9_rn%*\$.ie@f4NXdB%LYlfDkjPh:Lris8U[Ph>dN-f)Y+7^]S2a^h3S]"_PP^ ^qaR]^^atlB#)2o^qaQt^h.2oB)]RIB#&$W^]g-c;CB#+HHh>dN!R:cL!j87I,s2imks2!=cs2Wais2rpsj8]/2fBW;6"ln4ds8V-4f)Y+7 ^]S2a^h3S]"_PQcB#)4]B)fXKB#)2orkSPG!l/E`rFZ&E!+u5G"drtgQ@OJgJ;1@tlK,e_nc.GE ^^Ao5_#OGjR:baas+/dRfDkjNlMK35rrq]>fBWD9g"-5hhnT5(pV6s#AsSa5J-:CWZC1"W_"q[3 _#OH2_#OERK* fDh0:J-1=VZC1[Cr+>6Gr+>u\rFZ#[r+>u\!+u2]!+pf6J_-gOs-E\8"+Z-3RJk_;B(aaUB(OUS B)C0[B)^B^B)^B^B)C3[B)^B^B(smWB)1$YB'%VEAqAQbf@\^TQN)I;J;1@trRV$]p"'1Uo@EtS qptg[rRV-`f@OX3fDfI^f)TFWf)TFYf)TFEf)TE6f7DQ+fDh0:J-1=VZC1[C!+u,[$"he$B%PXH B%PZ6B)gK_B)U<]B)C0[B)U<`B%PXHqpu!`f4NXdB)C3[B)gK_B)gK^B)gK_B)gK^B)gK^AcgRr B)^E]B)gHmB%LX,f@OVHf@OVHf@OVcf7DQ3fDh0:J-1=VZC1[CrFZ&\s(;;_"_Q@uf@OX6f)fR9 B)L9ZB)^B^B)U<_B%PZ5B)^BcB%LYHf4Os4"_QBu\! +u5^"_QBs-E\8"+Z-3R= Wt@f7DQ>fDh0:J-1=VZC-9qJ_,J)ldu0&s*t3%L9d4uf7DP)fB_&gQN)I;J;1@tJ_,J)J_05>s- E\8"+Z-3R=St$Aq=RmB(5g'ZBgf,J-:CWZC,ZJ:IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b;?5R: b'%s+13$s6oskh6N?4J:IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b;?5R:b'%s+13$s6oskh6N?4J: IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b;?5R:b'%s+13$s6oskh6N?4J:IfRL9d4Zf7EsQs+14=rr q5aQBm&O"b;?5R:b'%s+13$s6oskh6N?4J:IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b;?5R:b'%s+ 13$s6oskh6N?4J:IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b;?5R:b'%s+13$s6oskh6N?4J:IfRL9 d4Zf7EsQs+14=rrq5aQBm&O"b;?5R:b'%s+13$s6oskh6N?4J:IfRL9d4Zf7EsQs+14=rrq5aQB m&O"b;?5R:b'%s+13$s6oskh6N?4J:IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b;?5R:b'%s+13$s6 oskh6N?4J:IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b;?5R:b'%s+13$s6oskh6N?4J:IfRL9d4Zf7 EsQs+14=rrq5aQBm&O"b;?5R:b'%s+13$s6oskh6N?4J:IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b ;?5R:b'%s+13$s6oskh6N?4J:IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b;?5R:b'%s+13$s6oskh6 N?4J:IfRL9d4Zf7EsQs+14=rrq5aQBm&O"b;?5R:b'%s+13$s6oskh6N?4J:IfRL9d4Zf7Et>rr V#2_#=96h!l0QHJcEC_"l6JMQ@OJhJ;1@tB%MV6_uBalB)V`2h.DE?rrH_dJcEC_"l6JMQ@ OJhJ;1@tB%MV6`;]o(At]/'"0uNNLAh,RTP!J?s1SF9h6N?4J:IfRL9d4Zf7Et?rrTK[EVL1 Y%PrVlrTB!R!f^&J8lZBgf,J-CIXZC,=VJcE[g!JY4arrV"gLA_&PAqkm:^&J8lZBgf,J-CIXZC ,=VJcE[g!G6l[rrV"gLA_&PJ7aB4^&J8lZBgf,J-CIXZC,=VJcE[g!G7)arrV"gLA_&PL1Z#:^& J8lZBgf,J-CIXZC,=VJcE[g!G7)arrV"gLA_&PL1Z#:^&J8lZBgf,J-CIXZC,=VJcE[g!G6l[rr V"gLA_&PJ7aB4^&J8lZBgf,J-CIXZC,=VJcE[g!JY4brro]YAnHe_rr3"2L4TB @F\]`//kZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC ,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@ OJhJ;1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n, ERIZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJc C<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ; 1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n,ERIZB gf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJcC<$Jc G3="l6JMQ@OJhJ;1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB% MV6JcC<$n,ERIZBgf,J-CIXZC,=VJcC<$JcG]Ko%aGSQBm&O"b;?5R:b'%s+13$s8N&fZN$6jJ- CIXZC,=VJcC<$JcG-;s-E\8"b;?5R:b'%s+13$s6fmiZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@ OJhJ;1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n, ERIZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJc C<$JcGQGqI]a,"l6JMQ@OJhJ;1@tB%MV6JcC<$q#C8(rVm&WZBgf,J-CIXZC,=VJcC<$JcGKEra u*."l6JMQ@OJhJ;1@tB%MV6JcC<$pAY,)qu6iUZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ; 1@tB%MV6JcC<$n,ERIZBgf,J-CIXZC,=VJcC<$JcG3="l6JMQ@OJhJ;1@tB%MV6JcC<$n,ERIZB gf,J-:CWZC,'JX1kQm$@[+s+#ZNJUi<%j+)]2JUi<%j+)X~> %%EndData showpage %%Trailer end %%EOF %%EndDocument @endspecial 0 1812 a Fd(the)28 b(notation)f(switc)n(hes)g(\(3\).)0 2012 y(Other)j(useful)h(features)f(in)g(the)h(en)n(vironmen)n(t)e (include)i(the)g(abilit)n(y)f(to)g(view)h(all)f(the)g(observ)-5 b(ables)29 b(and)i(de\014nitions)0 2111 y(curren)n(tly)f(in)i(the)g(mo) r(del)f(\(`View)h Fb(!)g Fd(View)f(Eden)g(De\014nitions'\).)49 b(Basic)31 b(guides)f(to)i(eac)n(h)e(of)h(the)h(main)f(notations)0 2211 y(are)c(a)n(v)-5 b(ailable)26 b(from)h(the)h(`Help')g(men)n(u.)0 2410 y(Note:)38 b(When)29 b(running)f(tk)n(eden)g(under)g(Windo)n(ws,)h (a)e(console)g(windo)n(w)h(will)h(b)r(e)f(op)r(ened)h(to)f(view)g(an)n (y)g(text)g(output)0 2510 y(from)f(the)h(en)n(vironmen)n(t.)0 2784 y Fe(7)135 b(Loading)45 b(existing)h(mo)t(dels)0 2966 y Fd(A)32 b(mo)r(del)g(can)g(b)r(e)g(dev)n(elop)r(ed)g(in)n (teractiv)n(ely)e(as)i(describ)r(ed)f(ab)r(o)n(v)n(e,)h(or)f(existing)h (mo)r(dels)f(can)h(b)r(e)g(loaded)g(in)n(to)f(the)0 3066 y(en)n(vironmen)n(t.)37 b(T)-7 b(o)27 b(load)g(an)h(existing)f(script,) h(use)f(`File)i Fb(!)f Fd(Op)r(en')g(and)f(select)h(the)g(\014le)g(to)g (b)r(e)g(op)r(ened)g(in)g(the)g(en)n(vi-)0 3165 y(ronmen)n(t.)36 b(T)-7 b(o)28 b(execute)f(the)h(loaded)f(script,)g(simply)h(clic)n(k)f (the)h(accept)f(button.)0 3365 y(A)h(large)e(v)-5 b(ariet)n(y)27 b(of)g(mo)r(dels)h(are)e(a)n(v)-5 b(ailable)27 b(from)g(the)h (Empirical)f(Mo)r(delling)g(Arc)n(hiv)n(e:)0 3464 y Fc (http://empublic.)o(dcs)o(.w)o(ar)o(wic)o(k.)o(ac.)o(uk)o(/)0 3663 y Fd(When)34 b(y)n(ou)e(do)n(wnload)g(a)h(mo)r(del)g(and)g (extract)f(the)i(\014les,)g(y)n(ou)f(will)g(\014nd)g(v)-5 b(arious)32 b(\014le)i(t)n(yp)r(es.)53 b(Generally)-7 b(,)34 b(mo)r(dels)0 3763 y(are)d(often)h(split)h(in)n(to)e(scripts)h (con)n(taining)f(di\013eren)n(t)h(notations:)45 b(.e)32 b(\(or)f(.eden\))h(refers)f(to)h(Eden)g(scripts,)g(.d)h(refers)0 3863 y(to)d(DoNaLD)g(scripts)f(and)h(.s)g(refers)f(to)h(SCOUT)g (scripts.)44 b(Mo)r(dels)30 b(will)g(usually)f(con)n(tain)h(a)f(\014le) i(named)e(run.e)h(\(or)0 3962 y(run.eden\))e(that)g(can)f(b)r(e)h (loaded)f(to)g(start)g(the)h(mo)r(del.)0 4162 y(A)33 b(mo)r(del)g(can)f(b)r(e)h(started)f(b)n(y)g(op)r(ening)g(the)h (`run.e')g(\014le)f(from)g(within)i(the)f(tk)n(eden)f(en)n(vironmen)n (t)g(using)g(`File)h Fb(!)0 4261 y Fd(Op)r(en/Execute'.)j(Otherwise)27 b(it)h(can)f(b)r(e)h(started)f(from)g(the)h(command-line:)262 4444 y Fc(tkeden)41 b(run.e)0 4626 y Fd(This)30 b(will)g(cause)f(a)h (new)g(tk)n(eden)f(en)n(vironmen)n(t)g(to)h(b)r(e)h(op)r(ened)e(and)h (the)h(\014le)f(run.e)f(to)h(b)r(e)g(loaded.)44 b(Once)29 b(a)h(mo)r(del)0 4726 y(has)35 b(b)r(een)h(loaded,)h(the)f(tk)n(eden)g (en)n(vironmen)n(t)f(can)g(b)r(e)h(used)f(to)h(in)n(teract)f(with)h (the)g(de\014nitions)g(and)f(en)n(ter)h(new)0 4826 y(statemen)n(ts)27 b(in)h(an)n(y)f(of)h(the)g(notations.)0 5100 y Fe(8)135 b(Revision)46 b(history)0 5282 y Fd(This)25 b(do)r(cumen)n(t)g(w)n(as)f (deriv)n(ed)g(from)h(Andy)g(MacDonald's)f Fa(Notes)j(on)h(De\014nitive) f(Notations)32 b Fd(with)26 b(material)e(added)0 5382 y(b)n(y)j(An)n(ton)n(y)g(Har\014eld)h(on)f(in)n(tro)r(ducting)g(tk)n (eden.)1860 5816 y(5)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF