(original) (raw)

%!PS-Adobe-2.0 %%Creator: dvips(k) 5.95a Copyright 2005 Radical Eye Software %%Title: concepts-sli.dvi %%Pages: 13 %%PageOrder: Ascend %%BoundingBox: 0 0 595 842 %%DocumentFonts: LCMSS8 CMSY8 LCMSSI8 CMMI8 %%DocumentPaperSizes: a4 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips concepts-sli %DVIPSParameters: dpi=600 %DVIPSSource: TeX output 2003.04.11:1626 %%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: 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 58 /period put dup 59 /comma put dup 62 /greater put dup 65 /A put dup 67 /C put dup 69 /E 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 81 /Q put dup 82 /R put dup 83 /S put dup 84 /T put dup 87 /W put dup 88 /X put dup 89 /Y put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 103 /g put dup 104 /h put dup 105 /i put dup 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 119 /w put dup 120 /x put dup 121 /y put readonly def /FontBBox{-24 -250 1110 750}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE 3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B 532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470 B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B 986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE D919C2DDD26BDC0D99398B9F4D03D6A8F05B47AF95EF28A9C561DBDC98C47CF5 5250011D19E9366EB6FD153D3A100CAA6212E3D5D93990737F8D326D347B7EDC 4391C9DF440285B8FC159D0E98D4258FC57892DDF753642CD526A96ACEDA4120 788F22B1D09F149794E66DD1AC2C2B3BC6FEC59D626F427CD5AE9C54C7F78F62 C36F49B3C2E5E62AFB56DCEE87445A12A942C14AE618D1FE1B11A9CF9FAA1F32 617B598CE5058715EF3051E228F72F651040AD99A741F247C68007E68C84E9D1 D0BF99AA5D777D88A7D3CED2EA67F4AE61E8BC0495E7DA382E82DDB2B009DD63 532C74E3BE5EC555A014BCBB6AB31B8286D7712E0E926F8696830672B8214E9B 5D0740C16ADF0AFD47C4938F373575C6CA91E46D88DE24E682DEC44B57EA8AF8 4E57D45646073250D82C4B50CBBB0B369932618301F3D4186277103B53B3C9E6 DB42D6B30115F67B9D078220D5752644930643BDF9FACF684EBE13E39B65055E B1BD054C324962025EC79E1D155936FE32D9F2224353F2A46C3558EF216F6BB2 A304BAF752BEEC36C4440B556AEFECF454BA7CBBA7537BCB10EBC21047333A89 8936419D857CD9F59EBA20B0A3D9BA4A0D3395336B4CDA4BA6451B6E4D1370FA D9BDABB7F271BC1C6C48D9DF1E5A6FAE788F5609DE3C48D47A67097C547D9817 AD389FD24494D365D62017182ABEBCC79E7127AC417197B6109301EFEFD60FA3 94298CD8A0CFA8861BE3814E05368B4CDD4ED901F4CCAA145D0C7A5A6080618A 96D5B23FFA9F70DCA3BC0C0C9B9469A96F50117D57FAFACDC9F059CFD81B50B9 A1654593E5FFA2E906F3C0B6861BC85CEBAB83464F26C049EC0D70F25DC9E399 FCBA99C4E026953949028A6B7E92E0A9F922D3DBDBBD07DA1B1C76BD1D05ADA2 A309199A8C278B6CE76AA34ECA5FAC0370469626C0114ADE1B875C14839D7B00 BBB91354C72102F147F514FB8DBB716FD7CDF13998A7540339BAFB8D99465375 30951C7BC8830B152A6DB6925F2F93CC439FBC439FD0E6DDEB1C78A18517ACFA CD6D9F2754A952AABFE9AA258CA8B09249927F02172479F98BF436E35735EBAB C991BF7A13C1F75761F26C060343ACCAA4A02A7088A3781555A1B191D1A430A8 85C38B17BBB7B9A5861158716E8D7240987C12CDDBB6D291715A8AB682D39754 86411C1899A0C15F699F73FEE8FBFD13908389A374AABA38DC652A1F525F3270 2F25F595DBFE2178B8A0846D4DED946403F6FF20B4A9C648E89EED80F5253BC6 65BFCC85A61C2500396F597C35CCF3BC1BB874AFC16E26D17EBE2FCADAF66CB9 7436E7C6CF1F666C4EEB90BDCF7C04345FF4F9B0CED98E28AECC263FE5997B52 8DF25AE4ACF5DA8C7890E21FFF97EB53ED7F6B3A02632EB31AD9080D75019A36 6E7898B5C25218DE8C41380F482DCB5C704F41DACF23C34660CDBB8044C5E6B2 D3A81504851E8FF06627AE9436E2C5C34A77ABE995CCEEA853106484DCBE8FD9 CD39694EEA5551403C1B3F85ADD161237ABA8EFE49C1A9866645E1A1CAEB6EB5 3F07206ECBE7756936EC11812F883ADDED8EEF31E20579666547BB6EE6BFD576 A535368D3F4037D0FFB58FA8E8D792EEB199082BDB5F50C0E2AF5D3C5CEA5143 6086416427C0C3D50E714497FBDD13007AE8000E4C004B1E08F84213794C5324 07EDBCF0541F45993D35B29C20A54B5BFD5BD4E5CDCBE0A8771FBC1594B18532 5B98D809B31B3B19D91D38BA87DAE83A0A30E26A4C99E045EF4DB7AE40303CD1 BF8E6F5CCC6D64EE879789E6AD0DFAA80A19C4C16F1E831C271BB490BAF4F005 6163371AC3CDD07CFDB60E1521EE906B4EE965F9B3DD59B367AC5B7376BE99ED B95594B3BE5CA2D5DAA296E66E7CE30F8F1F08028A766F1564D1AD428E19FD4A 2845894DBAD8ED4549D04EBC05128F2E89B7976048F96290BE81FDEEBF767ABF 959C739675790D53B5C45E3D42103A6876C5AE2F689FD171B0C4568B32CA2971 BCB33A47445466B5AD2E408C5684358AAC82730DFCC54469C5D742D50A621FD4 33CC6519353C6740030570CB3C738AE3DEF65F790B14DECCA2713E2A11B1B121 25F7A584B60FA06F56C002CF01F2F9185011B665219C5C5DEDDB994E5D424A6C 2A0E410ADD65EC914186D45C61A2CCCD59AF54D50E0B34B583AB7954C4FFDCC1 F38135962BE5E96BAC2D7845FCF55285A18138D8C8C7BC87194F62BDF3E1542D ABED97CDBBB93504FBF039C7EC3562864C87C34733B1614657B96B4D5781FBE4 43B02D4B29D92C35A6FB6E308E7C3C92ABBBB47C877FFE49653AD3EACE8FDF6E 27374AF1B29C05FDD22697372E9E43A9FE5D5BC90675C2F9D62E7C19C8D50083 B4253145B70EA9FFC0DA8216208A5E4FB5B65E5918644A1EBD993AB5438A1216 9569C62250916D92819305884CCE077E3C1E3259FE0D990AFB59CA068E870965 1F7F046D81123A3ACB2655BA7D4D0A9782F24CFF3379E0214E787C494E9AB77E D3EB91C3F75AB226575D99DA5754A6CFA4F46296DE220461BB26FB7EA0F8A26D 52FC5F312F8A525183E0A4625908972C4232AD78C297DD83DED47AA39864BA24 0629C634FEA1136B38A867C40F4A77A258458585674AA05384630209B44988E5 96A400A7E63A291BBEA385BD0B219E5AC9F4A2B7B01D12A579E8595F365C7C56 028684C857483C357B3F7D60087E6EC548D5662372B7EC915C8224F367822343 1A8439C382CE5D788FEFA0EB4F76EC1174C93E58A8A2AB03499E164AF7FFF251 B5A9929095D90483F1B5D7D936E6F3E2FB78FE8F644FB6548350AF1783045C4A 92F2B1C795989B149C089645B2BA8D1F3799C6633FDEA5A4D4B4F3FA86E0271D 2C3573A3BE81761EB33B38674F841EF7203421B241F396101BEFA49A93B0BCE3 B42979AF551ACB6785F5BF230FF6E870C25763C396BF7F7C66143A9A197C7165 5E3815C6BBE4E4B450A8FB4170E56DB29DD0898D275FCEC150DBF6A4480A6C0E EFB7E2D3450611121683B352667004422A1C96065F6CF616E1EFBAA74AA8882D 0F2889B522DE375A7E78B31F923C35A79A4EE356CECAAC80E1B42D91CAA5A092 B842AA95EC71D8A4D9A9391C137BCF75B45EBF9F3772C023227149C7D34A5ABD 5FA796D866F7AFAE5986DCAB33ACD1EF7ACC62866C1195170F2484B31CDDB52A 5FA8EC33E94EC002A2B72C226873C4472111D1E65A3164209D75D5D31B3254EA 38B9E0006841B47CD6BAD091AE0E03D3657D6651FA11D38CA58D67E43032DA31 36C9C71EBA2B783000070EAF00724988CBF3F1CDCFC437876570DB7061642E83 45CC29BDA56C6380D6D1099DC57AC825FB6E5DDC8BD10171712C0F3BFD1C9F42 24E4A2954216AD3D4F4A84D5FA82042DE9EF0057273C97B63C3EDB00EFBAEF65 F5200315A8AF534A78A9D71308F094EA6562A472E74BA6C495F62782EFCCDB85 3398B4EE45E9A820528A1FBDADF4E237B935F24C4874F56E16CAE988638E2E33 171A94B35C725E3C945F95235B5C41C649CD2F6C18AE33ACA387ED9A10F89BD5 1DF32AC466E98150824C8532D010FE5F33BF476A2EF274665693B1E91816B95A B33E6F92D3A0DEF543770FA070032EC37217F1091450D16B12BC25597C81CF6F DF889011278B7A7179B30908057486943EBB0E9C622B65CA5F348B102903CD62 8BD8C31479524E17E97723AA9E107C77DBFD918390DFF7557CFEEDE194401822 009ADEB0EDEB708CBB076C35071C8CB8B4E5637431DB3A4B3334C98042206884 26036FBF1045FDA47E59C6BDAF3896157F5A2E0F2DEC727E37F1D09A7E916B26 D9480625D93CB89203ACFE843EE2CBB16665693B0F7EFCF02B75CF6A06CCB612 139882AF7C7C96774B8870CC11B1741973BF877A8B80F084FB814E953A8E8E28 978F99AF78D719F4BCDBE0A61B086129B81F425A147F24DD3565704C50A35A53 F3DF7A1F79865F251013BE21FB0E7CE038205F6A901B52711432AA807A26B3D3 7C5BAE117A920BD6D2A0FD11DC1D99107340D8DE3190BEDDAAC4D45CA0743C99 3BE1B82D47070EE08255ED9A490D073A7A340B439A005AE184D45F532E565B13 3008CAF64D37DF7B663A257A2AAFF6344F570E8560CA935F874563DBDC481073 8224306843DD719FBF9B928701366F454616E19C3B9ADC2D525E4623EB56D055 5EEA8099CA7875C56CEADE01F55CC8335EBD173D92D827946C80ADA9845F143F 5E5E7B66734B350D4E086AA66B9AD9428546AA408C4129FE447B39EEFC2B8A57 EB684A22269831400E928BCF292ECEFE9599F2DB0F3210ABB7DAE7DDD3979B27 BB538DD08BAE82A902F06D95CCD94FA4376866BBECC114235B5EEA6C7267A0FF 586D44D7E1E13076CB6D910E03D14A8CEDA093C462559900B3FF95DB78F8E994 747C698A5E5C0A63423D6A0D00F57E1F32FCD47F64D1CAA48C7AF95FF13C171B 69DCF5E7A5871275415544A12DEC7A9A2CF0513D707E41771CEE5348EE8F2CD9 6CD475D005F36AA668883582425F991CD36EA26D73A5416E99A913DD3350CAAA B50F9477A4075D92F2D034CEDB7BB571A0CEDF6A9731C7644E4443DA14932114 F0CFAE8F5A47D76BDCC23D8DF74D81BBF3D65709592515564E47ED255DB3F90C 960D9679CD8C195EB33D95F5836A11CE12555355CC5C7E4BBE84EA54FF84AD0E A45A27158E3EF39C1A8B664616A51378219F812A1BA9BA375906274549220216 EF1B8897AFFA9899DDE3E6943EE2150666F6F41A5C5EBBCF1D26682F39E50C75 8CA9337033461563643282BE1433AFED78550A306E7D8E34778C626180440480 62FD2D057C387EA2865E3EF08B3D823054D0E19F39F1C204E3FA6139CE7CDBF5 BF8AE9A42DCFA6EADBB02248099D397F0413E2595AD518323D5E3FBF277D1DE0 231D6D467987024CA90B2AFD82A2F66FC4B400D386D0B08938D892A10A80A8CF 76DB6D9129BDE023DC0E6CF71400372250F627BB4D6F11D5EE3F034EFEB6C8E0 50BD5580EB64528F10C19B7BC5DFFA28BA6C6330A7563BFD69F1ED140AC2A6D4 5E8AC11242C09C684FE067945B45C7487609C838A064C2439BEADD9B6C0F8AD5 25264D2371534DB8F48A002BB939E7325D4B74868429724EF4B3EF09AF0BD836 E3DF247340C49BA878E7C021204C097C8DEE0AE2745161D0F3D60CE839CC30A1 301425BBE2373EDE581FFAB7A23404533B344C51C647905E17DFBEF25A7555DD 8A2111AEB48F0539EE256A3A4BB715B6BE2E4057691C203571369F2EE94B58C4 8F358B2FE9CF051EFF0BBE682B32696D418CBC6C14C4679D582F32CDEB5E6367 04061C38A21A5DC5D79B3EA87D2F6A9B17CD64BA4BA930067F16A9867D6FD392 34AFADA53846F935BDC09D423BFCD633FF1FDC45F4A0470EE57D652AEE1548FC 777033B157AEC4ADE6CF0E2D7EE16CCC17077E3D22C90BACDF01C5FC2BE42497 ACCBBDC182F8246B21C4DACD307B0E2EC589B56B8FBEE6BC539E453CFCEAD111 5836B3CAE76A16066D55C60396270E7B99D4DB85594DC6EAE20FD9847C929C63 1AC5D7BBDE6730DF2DBB1A91AD883935C912CC8AA52FB52B81B74E109486D45B F8BDA5B1753D1CA83BB6DB0F2FB19AD263011AE92AE3FBC80595FC85BC00059C 67EACB23DE418D82796A794EDA2A3B5068178A1611CFE5DF81674E504A7682B9 388320C368D6B4DF505B1D2C5B8D18D03E5416550A6F5C65E3374CE5605539BF 4E3FB8E6A7D1513580C1879681AE636DCF69F8621F0740BFABB646CED5DCF925 38623B9719569979FB1F3EE3686E8CF1C4AE7D57E5578160441E89EE550DED31 7A68C760821FB25F5F24B270CD4140A06CFA9CEA61225FB60D2FE1B139231904 14766FC4284713F729DEDCDC8E29F4F02619CE23785FDE31F1EB48799BB750A4 5DABBF4445B26B2E18B6652F7598879823BACEB96940ADFB8EA5CA4724565E45 399BAD3C54FC8D9F4C799CD649719625EECD4D4B0A9AB9F42ED3C1AFD0FA2A9A 3B8BCF0BF51C92423D7D055CA6C44D1F68CCC53DBEE8E98F9040550A2A32D13E 91AE558E296DE47BDF424634313594DFB0CB6D596BE8F59BCF5038C8D5EBBA5A E14DF1B21CE30100A9D4927DE660A077CF9F4F50749FC2B95A46B7D92B1E8E07 5865F1BE3E761631C80B335F2B35F8B9DE698830CC84B6296FC223F7EC287F07 C8D336AF5881E8BF187F63399910801468B2729FDDB01B469579CEF7674DF866 377D9FECFA4E0867A6C8F8094EC5D45C2A3FA60FCAE5805FEC9AB6C0F93C3072 C0569BAAAF57286E01D05E1C5468195B791567B6BE4D71C1F1C5864F001C32C2 D9181F3E51E4B2C3F0C3D5C3C04240ACC647E408204EA95AB1C353AD1A9F038D 31B74BCF7005582CA3C91D1510C5E4CBB055CAB75C11A2AD04ACC6CDC39CD6D9 097C09434210292D15AD468337109E9FDC5E6EF661354CDE34AB8979E9BE2C82 B4631FC44E1DB482CC8330A156778B5D968A4D983856EC3F66986A9D62C327D4 A4FED4AA3BF3911267CE6DF5A975370CD3B199EECBB074845B581061C29C828C D629C2C98D35E26341E72E07D86870BA3CDD2306B79650C7E249CC41C4B27C7F 5B7837C301DE0CA52C58ED469B932C0F5018A6543CDBDF5555465D5EAC3BB3E1 D35660A3A41F3B7D795AF3F8FF20D50DFE5377EF2C2C313B5032CD644192521F 07DFA57E6202ADAF8E2BCC7F4AE1248EFABE0BF8DECFCD544A1A71BF16D19CFB D61245A8A451FBD20959620FA231886903150063ED610A8C835B377F03FE09D9 FEBBDDA42978001BAFEC047A97A4908FEEA89DB67CB1AC8EAA42D3AD6B8E0BC5 DFFF91CF632206A23E6FC4E5DA8A1DD95F9C1A3D88EC6D057BA3E14790642FAF 68F5E740F082DC2527A552E36508BDFA285CBA5F4E59A43DC5FC8093BFCB20DE 2751BCC070B60AD091901310DA88A744B09FEB3E8B64A6F144504E012933E081 BA0DAD7DD06360D32D9A94FF431F75F03CF66CF3B649E5CBBC452D007A990ED5 22DB74F1C82788BA9AEE0E2E28858BEB339FA347D844F6376AD920B1235BD3EC 202AA5F0113DE8B9B1C3325C50C349DD75B99F6A3979CB3898A590EFE3F914FC 8643D049DA4D15E1D7926B029AC63AA6EFD66804EA20C24917BF5C8323FF92C3 7A9B5B4C99B4A677C0E9046FDC2D9C257BE823EE7FFAC0D0E5ED39F05C1FC96D 8AF9E1FD3A5FE2634D42D9F671641EBC455227CA4FAE161AE887457042F4C7C3 52551BFB59BEF0A8C63C4F12B7C9F3F756F2B2C6AC97F6F4830AF9107551A97F C4FD4202182D44029FC7568F85FBCAFCF2D021C0D3CDCAC1ED38DDCC5E3FD470 E994B561D1C938C28701B2F740CA10A5AA494CED651178F19DC49C581F1206F8 42255B6EAFD3EC0EECB7B6FFF57E0102A70AF678D0996F0A219C39A73C1F3C8F 645FB265CEEE83EE5D03A6AE6FD2F0B6E5CB215F28A4D3D9A5C92389E9E975CD 887F37E49DBFC77E8A55E3724121FA221FCB3BEEB8BC4365ED9FFDB97FDE3A47 7BE7014133DBFE5FF43DB0A1F7C5D1CCAF3FB18D9B41CABA9F8B7F6DA39EBEF3 9A9E894F3700BC61A1E648371AD942F58A60099A2747DDCD7CF30AF660F92A10 58D33BE80782B06D31E3E3A502224C7980AEFF1D8C034DE12DD684631D9EDCB9 9DDFE57F7A12017F4FC80773711C056DAE1E90022695718FB5B9A5AAC982BABC CFF23CC342E97D282146F05F063F3E3A40A6D00CC90317F24AD87C96CBAAC04A CA6B7E96DE00B571B83EDA3326792C8D0DCF16EF9856058E1CE5573C85442D77 62ECDCE4B40ECEAFFE74536026E09CEC8FFF44D22EC2C2D13F5B3F29E60B4237 76DCB26AD835527C4CAFF55341C53FFE5725D3B5A0248F670681FE4F6E789F9E 919FB5D787361B31BBB100CBA385DB9B1E916B8264399F5DE1574E5E6537806C 9CA5F1EA6587AF51A5AE997467CC63B77F955375434F96B1B1DB428D329B366B EA28F5EFA71BF6E3E9CC6FE6B0F0B3BF960B08AA58ACA333A0FBFFCAA1571AFF 419A9682DED7681D39C37FEF8E368D6224F50530821E880DA65456A6AF624B10 146D48B5960EFFD52EE4A43276BAD2FD714CC93CF0AD9A051D8586FDDFBADE20 54B020B8D43B13DBD24A3410162D78C9C0934DE4C4A5E93265D1C334457B54DD 5F5EC717661044AAE625DC4B402AEA9DBBBA5720BAE629FC3FF700841CE9CDA2 E96B55A089C4630D8EB5FAF1B98F3FA2ACF86649583A271ECF4B37E6D8E4A6A5 B62B695588786DF0EECFB1D4F2BA0CEF169B1812389E92246D7C1ADD170B1DDC E5EA4207A411737244AE5082BEEED926DD7BD416E522B08F13C67B6D814D525D 6A1B339A5705EA41C95757D14C13D1900BDCF8BAD6CE11E260EBF3626FDA893A 40FB91B6255F28C0D9BBFD5B12D8CFB921EDBB12235F629D59D67F53D2EAC07D 71D2A5A0E4AC55C15D894A09B16D5483DB1E11D79156CF1149E1251C867B66C7 289A25503F5805913F1BD9561CA3CC610C0F674ED643DA437B93E744F083235F 98ED349B28EE8F8D5CA893C5B3BEB675E075AFC6388F803CCF18CEE21FDEC721 59E28222A89348F503FC2D14EE72E2AC1C6B88080849A6F544EC46AA98663DC1 1425FA68381A1FDB58B84E039A41A899A1DA9C77DDD327EB7FC67E079CBE5EAD C3EE71913934D1BD26D7F45A5F557EF357F7590520C926A413D0BB341D3F927D BC94570A214BB818B9BA9E1257D5AD629A0D073058C21D3E462D86D5A869A2D0 0B60B8ABC26B101F04E15E0D1291EAF17CDBC4E72335CEE8CCC14D975532D849 F17D6AF05E37D1CE86316456C3C058BB4A259C49E17183BFD9A09A182D4721EB 4ED8B705F406843425D112885A5FE35A806042A81F5EFAD4D1A8B4B0E49E5DE1 FFC10EDE96D5A197BE35F1012D029E5D5AC64C048EEBE3296CC8FE4E6B24D20F 08530A62A1292A5F8B7A32C6DC6604AFB20849575B6E6487D1E77E8E63C4EB9D FCA09A3E3035B471FEFC1D9235D883715D20F69F4D70D0C8C01FFFCC56A59A19 5684060D0761AE0393B05F84133ACDE5DF7501841906D8A3117BCF2FDF52DA7B C15B665F96133E82BB89F8F3B92D03465A828CC7BE8FFFD390D320A0DA977D3E 7974A6EF780F71A57B091EB3BD4B7FBA3B89B1FE04973B0143CECD3AC3669584 CA1E8AD333E04B1C5F212FAD93DED91D8C6B045C7B7D272C746C08F0ECBB14B8 2ED726979A89D1F96FC26E851D24274655AA6606BA636761BFBB0A5CF94A5D97 2A1667A297762396309E46F79ECC0C5A53A11DD51C7BAD57294AC5F58B958799 64C1E5D6A86E6CCB4D479BD744401EC13A91FF16082CC75161748A9C940FDFC5 3055C6C5809B01B807ADA96AE62E0BDFA41D7A3EE27744E996503CA33099943A 34A0C77BBF32DF002B5663E46C6E61793B4C8BACB5BA5F5470251E2E6A959C18 96268E8682C3C4C21A259EFC96CDED9D4737B69D272AEB1E2A04783610BE193C 5D8922217477AC1548BFF5C7F4A11F36EF6F42FDD4660720BD3C6EEB7D8E64AB BAC6623642604996D69840503111A7E6619458555D274A9A77A8C7C1EE5B0017 261A0C0F63DDB2766C0A57FE5B6B19205ED9577812644E12A9CB222FF0E75F6C D18237F851FA3C68DF73C0DD38B12EA3FED35DFDC680E0C8EC04FB949B032D71 C282BFF5A42B3674C8E463C6298D9E0CDD7282E3FB952536C84062337A872E93 9F1DC7D365B19C26C86A7936DFEB228753DDAFA7B30B15E69099817FA05AA105 09C930DAE77F0240D436CBB6FB9B4A2D7AAD33B00F30B8D7EEA3207BE3AD4C04 B9D23FFA9545C11CE60F0C7E1CAF5AD15951738F400F2D9B52C57D8DF4FE6811 3A5D750254C55FE664D29D4D8399118A2CFEC3F25F1C2C3E52EF6F1CF83738C3 F8AD3CE4844A6D0A074AFB943BD8785BADD651912747CDB29DBBA7BC25ECC0FB A091A6FECE408FD8B53DC3AB07DE0ED47F301AF90BAA7835A3C6087DBFA6E1E7 588DF093A92A5732C6366EE9A1DA7BD5B6E2871D7D133E38F3AC9F108D521C6D 88913B3C5A200B7C811B60F1A896D3630A946475E0F647EF231AB0CB12B9DE1B C73C81DB217B2B3317F1E27A04BB423672D1FD64F11F8F56775BB2C401744ED5 C66EE92D2DF052C5085A0B1651D546A258E894CAEFF47D1FAB0B8E62B334DDC5 C30CE68C3EF3D8AEA5C2958A2C5F7B34F9255F54DB78CEE0393DF3FA5A58ED22 0E3CAAA171C582A8C7FBA2AC5E877CE2F4CB654F73FE1003BA4B08E957075BD8 18FD9FE424E85FD5173540B4995B465E515618DCC1327386E637E0E0592AE912 7DFEF8888D24F3FA5B8D5B088AFA90FA6FD60FB20EA6EC706BCFD20401E0FD7A 1517A1446487876D1A31D4F7BA87670C0D4E71B5C804AC03717E63F81ECD3015 F70E61C82C6BAFA19CDA06F27F1D2897E501CDE607BF4DC582BCA8D6110D4B03 BB90FFD45F6CECDEBB94760E35DF620F3FC3D75D53FAED29469B860460655414 9D4765EF6725F79E5BD6F243E22F1875C14E82BCE9D5E355789DA2F9D533113D 59496BF7C1B158A7371AA6B1D35A7594D9FB8D150B4BCECCBE3658543E815F34 F6591A7E37D719EA900D988222ABEF52FC29B26846C67D2C119735F2B59F4570 DBB4E1B3D4FEC591CEA3967BB0768FEBB9BD93AB396D650C41CF81B1BE119462 A760A094A9AC7FD45B7C3927827AA9A25577B277C11BD0805B7F93C4AE11CA18 2FC7F8C1F715A8D2BA71FBC87179E4DE92798B06A418644FAF8DE1108F2B0416 D08C001D44D5306D1795F4EB719099F814296FE0A14519B63980A7A9C3EAB7DF 313EF91A2C2AE91E4B6BBA6B4D48A8D7611B24ABED93CEAAB36A49CFE460B50D D7373EAF5C1CA42A07EA184144D4B537B9D7C96BED83684C6EE11DB71CF6952F 9667FF67114B0D2D70E2C67E86DE02C6D56261C397E84053F3A819BB72C27087 EA91603BE958552237F714E4ED83596BC738F4D7205462D208068F727E725CF8 96BA89230139CDA6B39F1E2814D5C5A8675382F27E983BD9D108DFD05E60E3B9 351958FEB3051EF4C003F63497B7F7BA16D73AC95C938874C66409970518EBFC 150E919BA342D53A5D7BE5D58C86992CEE1A36AF99BEA52AAB30094EC078D0B4 3130A97E12D824B929FF4753B9EAE320C148CC4228B27BD538458AC780EAC8A0 1EBEA1E68C0DD7E0DC56377CF327241C5570BE96AD1D2870A338E3D3FDE9A0CC 798100008482374346836DB2E943ECB2A3F4174AF697ACB1993374A6FBD19CD5 8BA99D48E8037BF41D678D88CFF0772BE64C2F36B5C1B5C9E3EF41CB96DE7BD7 3345008AEA0EC2DDF535611C6AF3504A6C1953B04D82ABE793245AB5307B4976 E1A179A61852501F47EFBF41A7221E48D33C34B9431C486DEF69BAD99883B220 DC7AECC0F5B1B933517CA6DC09554975A67726411DA1FF3CA0D5F993F98D5768 1B2A9CA5FB925D6B6F44ABBAF767C9FB260E5F491577E8D8E9B3A2BA9E31EF5B FB6D691B102AE9480078F654A0C10B880A6394D69B9AD1EB2AF43C321ECA6621 566B6467E7BD6FB581F3999F098C26A763AAA73EDD53DA1299EA014FEB47D220 2C29F3A87903A40A7FF4DBA47238A1588F73C38CE2D8C07D9063C74A518F8A49 332FF35E3E1289650CBEE741F0FED29008D639E2A599C4ABDB84B91808EED714 0DFBCB7ED9B639CE6094EE2DD173A067E780B9065D13ABA019630CD2319E7FEB 54E26BA945F251E1828154E2600EAC836CC542B0B9788436E176EF7C4B41887A 1666F5A7B3A646934EC5904CCA65EB092544CD671DE2946D3364B828965FA32E CE10BDB2F82B7AA31DF74C084136C112DC458E52CF06DD50250D64ADF18C2D89 8D93AA38F452F1A809DE7DC2A2036C8C8C7EFAF265883B918F3643616DF70395 E7131A93D49B47917C46DAC52674B5FD3057C068473CE9D596CD3FF887FA51B4 04045CEA5094044E91DD464A32028C0CCCE8C020BFEF30072351777FBC580811 95533FD2443D2D527E8083813B549DF094151575E1B90AE38FF3602BF15B2B00 713EB01493939B25876D416D0DEE8B7BFD0F8D6FA95F62915DC12C15842F2E37 B252BBC3E6BAD7D9A2289B87A9DA69EC7603DE953E30F37C56C89E720BD807D0 69DC6BF38057E32DAEC59F21ED8388ACEA628806C24200EEDED712844A9922DE D7392D038A3A1F40FE7FB6399C3F5F929D44E466CFDE1DD0FDBAD6236A64A057 4DC9F25FF84218F4CAFCE43B462626C2DE42F7E42104BE4859D5EB2ECDDFA2D4 D5CF30C32DA478E068D7582B2D9962C66A179BDF675CC23F26EAC12921600C5A 76563A4D13E2A53FB26AEFB3F1B00AA557B13CD8F25A4975ECD05B301C32B602 AA9601CBC75AE19E03A5E5C2F1CD0998AC9348145452B8E5595950889A4DB96C BC70C138E895F8B1C069D6A2D875571F9EFD83E34F12861A4B542507AE909A93 B78F91A262B1AEA7A16A1FD24CE49003B05E2C5074F71640937FAB36183C6A82 DA28792AA098AB03CECB7A967956ABBB5976375875BA79E64284A50ABD412403 99B872426B12CC0FED1DE387858015F16FE092DB3166AFBB8A5E4476E623D023 0A43138EA6135C6D35479033BD89A9357FEA677D06C919859FFF79670B0B9E6C 0013CD4D820EC5FC28BCC34B7932052579765CA21FC2CC64D537162BCBCFF023 92FE29CA10D137A50E9BDC0C3ABBEB8C93D337A6EE8871B484E320BD2581A4F8 A9E7E5A3401E02BA896D67835946B5AF3333E931312E5BC66CEAE6DD9A975565 8BE7F643D56A12A3EDCC826871C35ACFE403F98E8F539CB00A5C461CDFA49EDB 18A48077F59F84FA65D59EB6DC525800A308E8AC3CC7CB3E8EF91A8AD28D9264 0D7E53A12EE2301C44E8E07F472C59823BD7DA71FE71BC0ECC124EC34BFF6172 A845B9CED35C65E3443CD225A27EBFA904E23F38E64A3D45A36A1BCE6C8DC401 B8DF2C50481BF3EA5247A0B6821DADA29644A4DF03E9BED2429A76A35BCBEF8E 42BFC448B6745C806C37A10BB0327F8790A9D99824C492D402E568D28CDD5798 66CCD7A4CCD50E2D30BF9D2E1F6888C57D2B5AC2415EC53BF7ECA4294F5E738E 9FA3CA801F00509DEB09AC7CFF878BC23F462907F9ACFCB0EB142E17DBB6A7C7 B0CEF7E68F2583995AE64F3F6A41F6246FAE717182974A427658D59F560B21EA B7309534341E4360319804C2031C5A9BB5CE4760B55804568F90F03BBA82AD11 99BE5280F49A8716AC17AE15C644A70181FF8926C5A6F5BBB6F0052A1BE63AAC B0B714233CC8E918691A52A840D46064B210078DF10C6C24A574C1DEFA36BC6B BBC6A55F54414BC3CD6EA69487C2A7CA76C0EAD5CAB29A09D51970A1C799528B 1B7B4FE2A75362B5C5065E3985B492942D4C0714BBA35349A17BAA7FD25741FD 8BE2D1671194E30741 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 11 /ff put dup 34 /quotedblright put dup 44 /comma put dup 45 /hyphen put dup 46 /period put dup 73 /I put dup 76 /L put dup 92 /quotedblleft 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 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 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 500B94C3CCAA774783E10F38E1A6EFEEC5252BB905AF8A992EF1D0FA9D9C944C A337BBA7ABCDF13D3FCCE0A88D6A82C46A88F1F7E2DAE85DD767F53DAA85F3A1 5EB642A95CC1D615FAE65139614F251A8CB31C950B1346A52BB300DE8DDB1161 2BC0FD80EB75EB29FDCA8A1DB214362CC6F1A9B2047E00B814BB08D3DC3ED0E8 133A672E64B950350CB8004AEBD20E2EB02786DE3B006E91ACC1BC3EEDFB7228 0E01B21F5A02EE3B392289143B748A22E776EA53E63703B3351547A9461EC8F9 83ABC5655F89389DEE1A4CAE535C8ED81286EC3E4F088CAAE6E8D247F96334C9 23E00F548B67D55D3452DCEB02C4774ECFA8180DB20FB6F5D841D7E778667229 5A38F7DFC6E013439EC7CF8202E4008597BA930A12A79B087C0E5C625E4C09FF 7F88B7ED2FCCB663C07AD0154A9130520A2FA3ED56B54F87F82727E682722702 1EA60B0F09E6E4D72A3C2780371A404A1A9689EC5E9FDE2049CF6AE5B6853CED 56F2BEC8B475C44A8D818FF0EB097DFFEDE73109F2D82CA016A58F6D2CE91BD0 5832AC25310EFD6F0D33779C8FCAC4497DE2013C22E8C971B3E5F765C191FDB5 0708797083EF2E8E566A9E6734BBF013B69CDBD62E63BC22F82A28452646DD4E AC8C34E1B19F12D6E6EB211F97E5672C7D5E2B74A4300405BD1807BD283C913F 25BEC505512B3037829189214401D3CC0B31D2F90C765457F31F58D7E463C171 9C8DA7907AB6BE5E5C453BC98D791C40776BD0975ECE9E0D35E954994AAAC868 F944C07B112AE316B5E002E926F791296AB6719EB8ACE74766C88A3BCDCA9263 0CEF18D1B927A52AC685A80FF22E4BDD0A958D457ADD496924E3B50A7A645EC3 01646078BF656DBCD8BD2BFDB873CE3813E7D62CDD419D57A9C5AB0E023B8871 E588BA6C3443EA99101374AEE0391313DFB520AC8AB132C55E965B18552531F3 E9FBCA730E03D3DDA98E16C9F871BCDE046843D6A0ED656FB7B1D71F55062615 E194898642998E0F1BAC6C19F11330C0A19934FB3CE6BDF9F91C72C1FA87048A C6DB2DF4079A5CA4B4FDEF9C86027ADE69474AB936000D987F3F0B82E43639B1 06A77FBB33293458A1F10965E2B575C0E2CBEB9804693CC0F038B133F284B17C 6113E4F943FC2681A29D9CC1EFF72B2E60C9815373340ADB05067373B84B72A2 9806C89FCA4DE3373EF8EEBD7F9877B532C5E23A991676DA06CC4798B5AE68BB 9712239CF90FCA1DC5A8D862939AD00659EB678F4227230807E323EDB4AC9B93 11F3E1B1F59D6958A4E1A1AF42BE527583FF34574098108072C17B43C7140A65 E6E86F51963508FC7A837BA3A60E709F0765DBC788F10FEA8EBAD221D2AF0257 02A5E4B683DE790D496EE09BACD6C5D136F4C9BDBCC22A53F5664A400EBF26C2 5BDF4EDB468DC2FC796F4FDCE4D21529E01260EA3D6F01B4512B7DDE65EC6959 B6010E24722F1B1165E39CEA5D96E81C29719A0724769E607F593BF812CFFEB1 78D7087C6989EE8C36833454C9A0251B76C5C7B71A76967F8FBBB624691144EA 40F0E3250025FB81689553ACC260555B0CB5EA770C0353CF39B1F5B9C9EF2C2C 7EB66C186008745617DA337D4BDA1CCF66ABCF33C2CDF82A7EA7BC739B4714CB F1E8E695C3A64E6468B860FA64DED7A4A261E8683395744E2062A093608B7AC9 6A15BEECBF527BA5B9C23948A26EA63A3B255E9C4223AA590AB63091F1FB7EFA C723D2B25BB9A8C21B9F3D641282928FB96784BDA4AC72AD2B0AD5D822E70B93 BC8574B89F4F02576B9C7794C5878B7C7B34F95F8098CA8DAA9A55F35FB2A630 21B5DA03DFEE9FC8F6B1BDD92193FF571F87C66D4362EED0623C73FC58EE1AB3 9FDC2C8E71ABB2C490AEA0189BC203364E7DB8D03C7EE1B74CAE46DE767D71B0 8F97343F9F2E8C5B0FBA7154BBA8EA52CE3933B4F29FF53F954505C1EB2CE0BB BE1FC242822ABF477761FD1ED2FAE2DB240983946F8F50CA28D5FADFC5775CC1 8452DA28855036A7A1A712CA8C5126BB2DB68D55E226CBE3C1958736E63A2A1E C5AC61A3F2CCF0A89B996C118B1871970EC56DF104C1621A284BA620AAABA5BB 0AD9213A4CD5D3B13B9B9614C83FCE44350201D15FB4C3853925D8CB235CB7E8 F8D2313DFA43CB33F98685D26BE4FAF75621CA385F0773D5070E3194BA9E84AF 5E8C956C6EE3A33CC243F0434F6E034528BE2FE4D9FD45CE082BA8F2A72A596B ECA857664EA62A759DCB4D048BD52CFB9D012AA45BFC22B97CBE1ECEC54FC271 B54164B02AD4852A73085E0537DD7DA928F63A20E672D6288E04AA8D87C4AADE 6D7601009434C251FA3D3F460A07B147807DD9BB2E07C2F1E26AF27C0D6E6A0A 33F0D3B30478E4FC4AC1CCF3934C4E5B36925517227292FA1DA6D7BB7CC58A17 C4DFE791F33DD0D3B4E783AAD99D6415F26BE498ECF22CBE36944F41B4DCDCD6 6C8795789615EA753437C43AB750743F59BB5C3767B7E9A0E7E1D0FF38C60443 172386917A91B2C0E92F6087D653B0B008C4A066F8DAC16E35AD34F69C42615D CD203344E6BC73420E24F2F829F7754C865E60853BEA6228558751514C1FBE13 FAEF4E78760FEE3851A9F5F33C6E78F80F36B2DB869D094E0FBEFEC99F5F6CBB BAA25CAFEFA3319AB1E8A9A7D345150806E4BC8667BC8800276C99AE9FC65275 78D68F5410615B44F3C72220907BF9823B364CBCF2C14C7C105A2990C75611CE D26BCBF1407B004C29BAD3530EA4079EA44009E2B711627AB084AAFA0B924490 CB07F449D2CF2694BD478D70244D8BE14C62074B53A1B762FAADE3AC4FC0549D 7FF8BDE5D7ECA43594045EC8D94D39210FCF064C2BCDF50E55B21325B4DD4DC5 D6EC49CAFBB6AE49D534CA6D250D4AA6B0BE466D5D1AC56A6D90AB386D5F369D ABF4231CE52F1932119E1271C7D2F8B12A45882DCC9FA119944257DC792E8C4F 7EA4E7BBD8A0D3075F1898DD1611EE2B0912D2CA5FB6E9BD35BEB4F27D40940B 13737856607C30487BA6C2BAB68B829C18ECD04163B260D0FF96AA826720DCC4 4CEE70E46D650DFBBEF91617FC9CACF1AEC84C4D0ADC10867BAD4165D5595190 7C32E87047D87078A316B7E58A18803D2F09F7F5EE9E269E224A3031BB5B0579 33CFC415BA367F19DE89445BB69BA00485034A8B55BFB7DF557B22762DA317FE 80E2150AA0E11379F00666D40DE54EA92DEC5D43F7A93CC45C984768CCF83A26 2B0E3568328281F4E0778658383DFFCB6A53B9A2862216E23ABEEFAD55E3B118 1AEC649D391B2C3A56C053054FAAB10AF6AAD5B32DE283F5B879116E8657293C AB8123CBC09F7834A19F323C871789EF955743993809A6BD652CF517DD4B91C9 26CE1833202E403E050AF4AE9F6B9EE51ED73486A76408F6D65CC2AC3AEBD597 7F93DFA6E0979B13F4B42B06331C09D4330F9107942850265B95C67E65941FA5 E52427C61C7E7C745FF028CF7604B83384833A579BD30CECDB8D4F630E67A787 9DB0FFE359845C23490AB650759C2A960CD0DAA4CC265FD79C34E452981F0597 4A906E17A54952BE06630039B2037E0AB69383D78D78DB2A3939558447E8AF67 7E39E0A063EF2E8DC78CA287A81996410411074C243466A4E0E8B598C2A05C3E 259DB3AF81BACE1B03E46759FDF75C8DAB376D293247B9E8746DF0F5E3DB56E4 075A9EA3867DCBAA519693B701D3698244658BE0401EA9FCE858D9390327B3DF 39FC982251F44B8D370A6AB4D56CE918C9F370A3AEACBBB2DE0576EE770CE250 E64C04A6A9C5411F9A01C9218976455FA46CCBCA9995CF6FC5C93DE9790FF807 C7EDD8520C52322DA5BE9C711517FD9BF23AA0F42E6062219B2D582FF1CEA085 D5A46EAB39853C81EA317E034A936650994A9042C6EDD36D4B6600887DE31D58 38F08A7CEE0FC9D674A6C9F0C21A5A0112460650E2D7E36362FD43F954FB7574 316E6EAFCC013AC21677DDAC6590F94231EFAB074FBEA8D9D092345A7D44A9CF E0C6D02249F549EE0EDCF0B4253EBDA109E71DC5A7BFB514D138B2C3C8CD990C 541E0A23D1736310D80DC4139EC3A31D09B5DD9CF6B4EE1424EE20790145DA76 39A088AC1D9A7D6BA1C9CCF84514EAA88775C2735CC4B92746E84A76273786CC 9CA8C7B8691761B7F13803C8507B2740B423A8BF426F9BE3CCB5274953E0A9E2 622447119C331BCA6B364FB552526C315B2F9EBF4AB0F56CEFE2A42E0F4A4064 6E6AF80CA91CFE40057CF53367A79205473D864645C7D3EBA6BEA75BB91CAC1A 80B9BB0C8A4721D5D1A1C8328EA2567E483613440FA320BE4A7AD0554623D00E 71B9DA0B15E34B6A8DE87A457A939AFF10210FF7A07F8FCCDD771B44FC66B761 D62DF0210315A332D3C9DF48E2FF190AFE4383BE22CBA37FB72D7CEB949F72CB 7D35DBEBC181BBF94D008C55B1B3249787A9F0EE96265AF5C03A524A8BA97890 AF8D0358671A5EE419EA00A1D20EF81869F3B51E291D0047BE3008CC97F3FD41 BCB176D8CB97AAF025E5F6680DF41E3AD2D10779FBC36B1BC53480AA7C4E22FD 02E9282ED40668AC3FCC864679BF3141C1273F9C883EA75C4411DBA9C0FC9E3C EB9D775094A9C546588357D61F605D8C504EA88A3BF0CA7F9840538D89544042 DDCCA86CA27C9A13F1A81B68BD4B87689CCFF3913302856B85E4D0B5B8C2D8C3 8A44870FAA9DD6F271AB162ACA13F8898BA514621372D7B2F30676F561D35132 839C948F21D4E3B349A3C5286ADE8570273D97AB832C77282DEF3372C53D03A0 CF4861B4116019EF4204E17F83791A736B766BD4F3A8E3FD14543242BEE52930 28765EB6023C5435F389C4B6EE52E6F526A0E7049F66FBFC4B851C3F22DFB1D0 BE44AB0B0300D0876FC7FF2B8EF7D3D36BAA890370726AA471099F675AF8B95D FEC8FB007A12F5010C2ADE327F0B478A836938A9EE875031F97453AD7C7E3814 D23204948E46AD1D7934B0A6B0C3A5B232F1E89C2DFC5C8FC120B1B9DB701C15 06738180C9735A9DB19714CE38E9F356E6159F41E0896BC28E863CDCACCCAF6C E1C1C60C9084A4F17462DE13A788F968876F42CFFB9A0388944EC49631E132FC 095079F35AF0F4BFE861C066B22F7F6927CD8F0ABCD94D460F98C12B613632A5 F21F92DB2063B23C9548FBD966619A7092B6D8B8CA5B21AF0F028BAD6323D5A0 F67F10D5961C0E4258782D8EA73661F6CD64C2994BE8DE8C0EDAA01C891A981F 0F24096F8978DAE0DB59CBBE414254BAD0895C88F9DD469B4C96EDD1FF1BC29A 73D4EAF6F128ED44772303C11B45268867B1F006D5EEDE1DA548E0795BCAAFF1 1AE4FDF42BBCC042735AF57743823E94C69F7C8E42314762A7F86D5015AA7F43 2709789721A2C2A44B826B58D1030B833D1F92D98A64029D6F72DA037DCB3DBE 283008DF30CE664C527EE26638C18B1D7B0B58E320247E28EA820D8FDC00D4D2 41892FACCC55F088CE7E87FB431153CBDD12905727839CE590E20FBC0C8D02E2 EB163937A2212089A5BCE726B0B655A0C7A95EF47B4BE4410638ACD0CBAD75FB 1E818B828BE2EAA58D3473B4DDE48EB78625BE83AC2CD504BCBD1AD33A7A96F1 4564192108EF07A2D32ED0C166A7A318FCE51A84C62B80A0FF515F34700DC1D1 B8A5C356FC83B84CD914EB17AA1927AE73C7959B54CBF446747ADC968B7A42E1 53704C7A1053AA70A4DDE5811FABD33F6B1D9807018ACD924D210A27F51B699C 48A27A9FB8123DEDF9EE8A83EA3F831CE880D67687DEE39F0ADDF1B6FB592583 B30BB7B7CEC8BDE33421A0BBCC81B85E3D0367FC9EEA1EACE3CFF7040D08E396 F8E8FD8C126CE6670E5D873F407B3B1F6726B7B4DF6ABE39503839B94E126827 D6D5EC140CE1E4FB39084514F215F889D70E8F2219C24DCE35CE187A03AFD0DB B3D540F578A2ECE935FBCF820AE8A0F5150357CBA38EA519793A83B7BF856372 6D6DB1D77FFE27BEB5360ECCBD0CF53E4D7985C8D4BD2CC3A51D9A491BB7B37F 9EBB08641C0218B5F94464B577CB9726CF723CD05C162070ADEB69D8AAB23AEE 4421372B5237899A692BFB348954ABB711E072DE572AA2F755352051DAF7EFAD 90C8C34F4BCDB825ADA68F6A63EE03EA3743D9A1F3E888D0D0CD4F8A7B94BA75 B9B30FAC2E6AE16A598C69F4604847F1EA7FECF63B2576BCC128CDC3B01FF891 448ACF01559874D51920332047E036825A47E405BB02D1C675300C1112B99485 1FFF4FC5B61D40BE4EFD947A6EABD95B2D9D64F7382915B51ECBF9AA86673DB5 9EFE17FBAA98FEAA7DE72DC79451CD3C8E5430318BB3960299E2B226C6072C25 C0692A5012E9807D066DE64CC7D2C955FF9FC086C890F351BBA8CA2457FD4E74 57EB662897E949400D63249DBF7BE8061AA0FCF3F5396D857D2F4ED327048DB7 50064E42110E64591C44A59ECB2554636770A7BBEC2B82506C39671AC4ED8A49 288891B27FF81D84EB72FA180C43C57C253158D1A789EC8309516033627DF3A3 F34A2FA53B2D15A7B8A897EE56DDFAA395C8CD71957EA034DB5E76D359D2F85E DFD956F857359E0B689A9D06E53D69DAF888E425B33DE2C0A8FA4D2594CAAEE9 E839D9E856BA6C5D38BBE1A5143EE400FD41B799326B15BCBC0DD1103AB1D77E A40A8145D27AC173D2D73D0E269F0173E73707F0708DE7A6ED27AD5021FEACDF 12B9F7678740AF12CEBDA9515D1A59230884280707F1F7C47A77F0DFCF29ED06 40AB9042106C0818B2AA34289F56B471BD01C6FDE62FED2AEF9C150B41EDA79A D91A3E815EA653C662BD8BDC2D20DA 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: LCMSS8 %!PS-AdobeFont-1.1: LCMSS8 1.01 %%CreationDate: 1992 Jun 07 22:46:24 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.01) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.) readonly def /FullName (LCMSS8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /LCMSS8 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 12 /fi put dup 34 /quotedblright put dup 39 /quoteright put dup 40 /parenleft put dup 41 /parenright 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 61 /equal put dup 63 /question put dup 64 /at put dup 65 /A put dup 66 /B put dup 67 /C put dup 68 /D put dup 69 /E put dup 70 /F put dup 71 /G put dup 72 /H put dup 73 /I put dup 74 /J put dup 75 /K put dup 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 86 /V put dup 87 /W put dup 92 /quotedblleft 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 123 /endash 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 0AE863CE6C65AD8229A26274FC87C1396D526769C013FE35A333FBBB450183B3 839BA7B4C4DA3587504E36300D5004A9E49DFDADE2304105552988242CA9FE58 55BF9AFBA98AAE0C67644133D8949E17B2DDD84E35F771F80A32B6A12C9DF26D F867E86EF5ECF8B0217D41AE9AF1BDCF02FD1387FF56113F5B270745F5CFA396 4B5E81EEF5DA47F4ECF1B055A29498557C689CE3C69C8AC53F23CCEA81B092EF 53C9A1399B9CA1AE4B01F8D10EFF8319BCEEAA83FD7053D1B410DCE83219AF95 1DC059F812A5076669D22365F407DC61A41EE5CBDE1DFC05331E5B52AD1BE275 4F6C8DDCFA94840CEA69527FAF488C1725DF405039F223B97EC3581BBCEE0767 6AE588F3D86C054195267BA23C6531EF4F4DD0776997144E42B22408C37A418B A586C5CA4CF87AA64A7E0F45A43BEE29A28288FB244CA1AC47ACFB30DB2C1B1B 90C50CAE14BF9E227A6F2E719531B21A542F6D1F00C85E10461E35D32E897373 B3EA2081B9A438372687628D8859D942BF2CBA149B7D293146690E3FFE91205A 3ADEACEBBAE50D770C381D53D5C1B85881E7493D2279A598D48B17B2D13106F7 4E70FB4E22CEFA1382FAA30BEAD4DCC4A877C8F57ABFF3B9FBC98CDD2EBF3442 AFF2192756419C70AD2F79430900AD642180B45CE050AEDE634A7C41AFAEDB10 8AA23D4441C0C997A70CAE65E72587EB718FE931B8360AD14A3AD214C0140CC6 17F60D006FCE9D0D89D62858B1092D40EAB02E4BDA59EA9DEFE9C70418739B90 95611DCE2DF7B8940AB58FDEB444EF60919BC12EE02C7638860FB12770698736 8286559A18D5AFB25845CFB18B093629349246FC4567827356F8034191E8145E BF6873EF2B26B0528B8FE7969189D92223195593C4F657807A7683DE69A930F1 5BFAE4B20799A3A01EF2CA6C20706F15B811A6F05E793F7B87141A3E40C7334D 6A3B36D68B848C78774605319A25E994FDDD31D52E840947FCCA53F370824B69 70CC85388AF1DBB6B552E8118A5F6DA6A68314C375A241DAFE3E0121ABA20DFC 2D528BE3EA747A3950BCA6A335285A36C5625439371395B71EB6ACE849622FFC B64D6B4CFA08A2358236CA0645D8F76B2945F28F42183EC58929C1BE5AD81117 C2F57FA7E29B1D66E9528C74207985B0A6B80A1894250DDBDF1011859FF78EF6 5C603F4444DCCFEE12EEE8BCCB6278EE8D0DA479AC57CC9BA47F3030C5D3E561 D8C05DE39D2837F16274A352A877ECEC2D8487AD56B44EDDC189F984A9441643 313C81CBA710788C10D2CD7E28C68C44B4162E1D9824A4A45BBB0EF97C99065B 7BC46CDC5425F8E7DD91250996FD9B7B4CC9B981D80638490A2605F7987D3B05 2C4A1CF46EA650EFAF0E40FBAB4966E7564BEAB9F1992A9A41DE227B6AA8D7A8 2C221E80D7F8CBBDFABF05BDBCAACC376E0D2A9DBF5A584B3F567A7698597B97 8169754E8E986533AB8F42A531F9AFAD6F08D00D557BAD2F5689CE364B9CDB4B 1C81E4A0C7F826B8CCAAD86BD70F04CCB27ED3EA1596232C794C82041FCF6AB5 639B8A405C4AE08130688B2A362F19CD4F4EE239FE9AA7B72000AEE352BDAE6D 7395C28C4D1068B02EF2C867A2D05CFE60341F7DD816762E4EB155C640CA0D7E EFF8D9D8A7C0FC6300F4983AA6060AFDE6FA2069426DE4FBD4F10DAAF4A488AB F9BC3DE79866BFF3081D3C773E1FC30D5DA834A901BEF7EF411681AA5EEC0896 671B8D3DEBCF71EBDD08DC30B07C45F1D1E9FC718A38E2314193BFF97457E7B0 F3C09E4AE4D54E7DC46AF84DCE58D99109B42B3669941943650A320DF7660A6C 39D3E0874D83973E94992862DB10499A6FBBB8431F395B6AE011B12058CE8252 B63D90E8E2DA765FBCE06F9FE1E7CEA82E8C45D5FFA44B1FC03CE74AA817D7E2 757DDAA4C150F9744EC2040649580696CD8AAA8B7974DF2F2A3D81BE47468688 935BE90760D8A9CFC8A99F6AAAEE3F684981AE95B0D595347C984D1EFBE54C62 33D0BBDCEAACE5861EA1D5B76E67DE5DC2D5AF618DBC5E974704A949AB8EC003 2245B0222A8AE7135DBD94D2A6DF1895D2580107461E0A16B60F61DC16E21FDF F480B7233CE2AFF8DE12F1E57D3D4A20C3272CB37B2293D7EA2ADB97BDFDCB97 E97E90306FD788290E79162C63EF723CDAB9A0A0C1AC986727B4846006645009 9F3816708A0F4C5BE63408D261E3E3DD46DDEADEE90A6B7C97A2712198A55606 0CE8D4486223329C4F1D1CB2D4F0687E604F51862CA63549B665DBA263610DD2 96DC591B48E2DFF9E1408EA9704FEF41BDDC1A8A851941341A62191526B36244 22B377B38F08CF925A656DF603E0624F0A37B8A5B2687F937638DEB4A43E39D1 580413958E31E2B82842D40A3CDF5E5AF151F2A1E9CF2B85B0AFBE67951F04C2 EEF4A84C0496BE3653543D6C7D8B21B4CF6543C503376F8936EE4BC176EF7F12 2BBDEFF729D3CEF9080729FF69762F3C5830B22371BFEA14150B42EA1B4F2A05 3CE02679FD933ACFA833829ED3EAC75CE7200D7017ADA65348B4BC27A24236E3 0B1326FBD0B30337676F388E4C0D909D03150E2DC697030643C3CB65ADD15383 8886443C21810B3B59A9C47E8E983EFBBACD79B3965F365455E1FD6960823ABD 17B9765EF07CD06DB57B35325EC4D9104009AC57A126EDFEDCD4D0ABF8D3DC6C 447BAA16FE73240BF68E25A2DB7EEEBFA6F463B952A449152A8210F5B75579A0 EE3FE64EA73A1DE8CADE0097F077C7BDE07C8D428B300158EEE52161F116428C 1094CBC53D54B35C89ACC6F86F934AD48C38CE2DE1FF288AA9F000DD0DC572D1 C000435AEF7E54E8A5CBFE1BC4C6B767EBA59AB31486F7139AEF667233E23248 CB59F6212417BDA0B8721B490C53A62EDA21ECA32ACC94EA4496181945EF0CEB ECA0C79B4CA82F2E02F14CBE850748F5347793B73401DBBC9ACBCED96BEE2781 B46515E43F3269F4B087A19CCF2BC92981B550F0D0402D0C1719C621CAC318BD 9932997BAF86585E7ED1DC1CFD37221D5D77BF8AB1AB3393CFF8F3CB220ED60C AD817D7CD0ED99F51F88686E1B9E3EA6D79FD9189E40A436B63D1D3429760B41 E352E0274386820E6016BA870FB2F4E1F1A2C5D5AD48EB53648AE88A2065F299 6F5F481F93787C1A09843AEB0E37DA32B3250CB3C1B0A8C717F9829EDFCFB277 9612B5BE1E63BDCCED445117DD5EAEE31107022B4B073F6B51C78E07A5578BC8 AF28FF035415C0C37BB3435DA84CC4865949E6495912547036E1A7B3078BBEF7 7C1EB44FDACDE9E19C50BC66A4682176AD241620D58F019D333EAB1FE9BA0F26 DF8FD88AE7CFFD3E5FFDF285002C1D471B5ED85B0E7023B915B0D75D03A16CC5 EFA2735B890EF4F17BB9DC9B5FD9272196D6FEFCC694B2A79B7FE97245E48DA1 08358B6EA44873387E888AA9C7D91A66E288E80DB9F3712373B741BF8E8FED13 34E29422BB947B246D94C3A22C339DF8A856A7EA6B64573286DA562E36687E66 73DCF2C4C963A2699FE93DB4F461EA37BC7C4B6788D9D58B7C38194BBCD8500E 46EAC841DA9A066B2A6D0E9C38E63B7376B15E495067A326E9007982B7A8CD5A AE5221210FCB85B84BA905CDF10633C1C8E087FFE594483348DFEFB2BBDF2D91 DACF3CCABB63B5DA53470278F35A5CFA7000E5CF320BDAD38AC4B3C4768AA400 68C1D5441AA3D1C570702A810A8065513DA8A9B7587A4F4801253166C6BFE2AA 3111714FD68840BFE346D0347E66B5A81318485558F3B97A0ECBE7D7604A5FDC A40B78EAF76BF367FC2D3687ADDB6E90ED6363D6416AD36577F55DC94F78C2A2 97783C6F669AA8BD994BB9D8CF7DDD540CFBBC94B130E45AA3FA7B7D4AA179ED 75B5F7DFFDFFCF981000BDB06F49A22A6661DAC5DF829396698E234ED6B193A3 97C97005911FE76CC96B284E9F6E04D0380FE276154C6D89C78D7CEE10072D65 9E9F1494A4183F52E4CCEDE12755271F4A9CDBE43C198C5395649AE9580669C2 1A99516BB2D425752176DC6F9A00D8F7707FF7A36EE234870D4508EABF86C796 45ABF88F90561A6BE263B2EA9E3D8932392F6A7D2856976CD6F8525F68A7057F 6F1A619D8AAC32694C01828BC58BA7F45EDAC4A8FC3A2518D73A9C757AE93C89 7F853A711C22944898261C97B4A64A724D834C65676974F8C0BB4C56749D520D A15CFD31ED8DE7FA58D1B7741F3ED9FF2792DF98A5FD28217BC5AB1D5B6A9DB1 8E7D736C24F7546BCF05EA2CF929FF7C05686EFFAAD1CDC91EB2FEB245346891 036CFBCFBE64C822EC96C2ECA1AAF0E4D981F02DC862D335AAC25743FB69EB0B E30C9FC40BB07110FEBDB313B44D407BA2C5D5FA99802BB18B558FB74BE08BAF 80070967D8F7725807BD3E6A9DE02E278B607ADBFC4046EACBB90076B52B8B74 FA15A40BB42DC12FAAC2C1E70EACF44EA51E0B844CAE5EB30AB1940E1E26AE79 80F2572357640AA28BF4D39CA000561E388780607525FF8356F4271019DBF3E3 B68E8BCE74CCE0B291474FE84D7CFAD7307429F11ECBEC554E54E3081A389AC8 D41A646825C6964A181772ADCAC6B9B0A56FCC610C2507B755A70190ED11CED4 74F4BAA2391705D68A6CD23BD719B1B6B6B05DD81F6B193BD2EE2E92F22F623D E0E13D9841D5F5C04A5D15B76E3B3AB821F9317D5C68E8C77B4AD29595E6EB90 028F5D9A67233280209945C31A44E4AC7C544F18C6A10DC2E316E2D01F5CC6D8 76DC8D6B5A9B0F606077BF6569EA8C08082B59C0FCD80DFBF19E1374813A6BAA 050776AC9FD1F4964280B58D0A9B3B3E7CD4A2524DDC57E533689193CBEDE487 EE69DF59D46D13E1EB2DED870822E7BFD99BBEAC003623365A22F7C9E36DEE11 929BA240575DB5137EAE9929DD6B0156236BE0AE0C426996CC1457F0A00F04AB 0390B11CDDEEA84EABC5538F66FCE27CF8822EDB9281044326BF68BC35863AC1 5439337893C7DBF0CADB7436432277E33DFDFF5F9C503BBA59F03E6B1312947D 593AA33803F2D742E12AF9DCAB5C7FBC12D3A33DFE8793F3BA9268E0380E8A02 DE8427C4330B94E562C1B4AA461FB5B3C96789DF9991F5A6494FE3452AE31E83 06272C024243624B62FD0DB7D75D1507AA3BFEB1497B0D0A1940344279D21AFB 81101B88F67FAA94E037503B566A0B3A0E6909B60769A4B032662E4EE920BC2A C6FC8F32DDBF1C172BD0ECAD9A56FA67197FBC89FD255F85DFE2EBE89616F7D5 A316391831647AD6EFA964336C8EFCE6F5AD72696629F3BABAA741ED61F3E74F A1E7E200F09EA095055E0DEF4C5A238A145AACDE5E25A0D9E3B9C415D5DC7E2B 1CAF146B51261A37E0C1819A4F3DE9E55A4EE7FBFE6D8357CD4E89666F539F51 5ED7E4922E00F9583A1486122D6A3FD26C4C9E759BB09FB2247BBD4E1E4C8246 C787B46EBCB18D4B391D3B60A7169019807AF5560E7FC29A7510DB67AD3131DF A6FDEB9CBC095AB86A416FB4F0C96AB08487053DE73B4E70F316BF7B38ADD8EF 9EF2544F286A55DE34D1DE01152BEB65CCD3ABEC73B8F3615F8EE91787A0F863 B8D96C06D3620298A59FC674BB3D2FB415D048A880DAC4241D6C3174FF851954 236397890E1939224BFA3F64F17EE12B0736AC02DF8CF4B331DC9D84F0537F83 A9AF9488D78A30955CA66B3ABF12A623100EFF2BD948B3DAF1981BEC07FFC5DB C7343F31F76294B0D958BDD6885EF1F80044CB364A2E091C9657C7DF49BF72BA D197AC548B09C905FFA038EE8CD5E6DC2BA5686600F5B595E58A91CF8B7C1A45 114B2DBAE1B93FC5723390B092F12BBF712C4F1F66B10D46A8E4B014A373BB13 131DCF7AD8EC9A5EE66BAB4BFBCC4BD98939D734EABD3C9759CAEECB4E86E944 002099601F17CA622060D2AAFA4A6D75597D4F5E7AED228ABCB7DFC9CC5F601D 6868946D66991700B43A6C8767B5EAC313EAB938C1436D0777728A0CA213C8AB 106EB269F04DF42B55B35679B04ED6F3A37765872C40A9F9B1B94180EF54E571 3F6B263FF4EE5CAE0358496AAD2833ACB39F27854AD26722659F884B29ADA815 863F8E043F67F50EC14718193F195C77446CE65369C2C7FB36AF939CD98AC483 AFCE7CEC77897B4458D655CCEBCF2B57954F2323A3F2931A3A3B0E925D5FF6E9 0C647F8BC20D4D032E685B673061974CC266BD7196DF7C6EAA2B427C494EDFF6 25B2D6D1FE4D695A7BDF1C402EA91C7B518ABA82C3CD7B4C6C8ADFC55D4CE579 B26CA705EFF89E6F550605CE048B45BB81060412C900F9EE430F77BA39FDD23E DA6BD3DEF346B5CE5338C5EB24F4C13C85C84CC117272DBB6919EA24D368B3E4 272BD178946893DD299B57C32DC0E89E8538DDE650495A480589F5F100FD67C8 DF7DFEC8301440398345598DC0869DEC8A75E32A88B4D409D7F160E9712A4AE7 804E9788B3F8383F15923DE1BF7D141E639FA093F69BBC4720BC07ED987F20E3 99D7FDD1916BC16D459E1E939FB92CE255049369C3D6DFDFA9CFA5F66A686E25 DF55FCCC80171A53D7766B84BA57EFF5622A666096A75D15358FBFE64DA5B77B 58906A5AD4411526945CC3294C3F4A3F117E40947196B1A15B88206DF6EB85BF 3659C5C1FD4EDAAFD09626687197AFC673762900F8BBAF496790DBB1CAAD237F AB0745106CC79A92D9673EC731C49AD854A593E2D0E048A4A7EE6F12ECA01F85 207077AE6B9A8F01A8898DF8CA4FA0C56A61E2078510F46694ECABA4B197F945 97A678114CACD2A41AE5467F6F7E1957CC44B6CCCD76A872283696394F9C789C 8A5DEA1A4462D8560CC4CBBD4AE64E091964EF767131C406B73A33C88480CA17 E9FE9CCB559929D32262D30D8BC508387A89B76E97BD71ADDF83D6F57DEFE376 41E12769E3FEEF8F67DDB8A8FB77E78BC4AEF5C39262DB5A68FCD803ADE7F484 04DED00FF766AFF3479D30E029722939FB8C1D58523B9F80AA2E6B57D8ED58EA 07A366D78227B683A733CE6F412E55491CBD6957055BDE7E613EB274E56CE422 5027DB8B08866AC89AE883BD825B1DECA82667B2354DD57FD94CD3167B4D73F9 6251473D980F0524B41084147525D7E78D3E67CEA45BFE679895838D3802C8A8 56ADC7FA4C954E0111948CBF3FC904A7D167B228B564209EF748E9A7A8BE60C4 1C7D3956DA65F4D306CD6412BA83C7D6597A4B5C5FB12B8789C148725CC4F8F2 5CE6ABD9D241861E8DB6A3FF1CDE91E919488F3654D015A423805E1B2F5FAA8D D18E398F3F30C9361AF9DE12752CE23EBDD5EFA77CF2036623B3BA2EB780F258 430734C64E294C3A739C876605435CDDEC5549FF09F67646AAA27543F6CB5F8D C195C715ED2A6919202887393CBF92FCC3582E9CA936458799E7F949ACBFCAAA DD350CD108B71B7B7E585B882D4A55C75E18EE770BBC700BFFD7A6467F737BB6 7C580074D84C4CF96EA679D552AE14112FC36B95419E27E88FBF359771E5410E F0A8509633315DC41951C80FF077136EC1FA81DEC3AB4415C02846F403DD99ED 4A2754272F04BD501493DD262903DD5AD7382B08C45C45252FF87F9F8AA92A03 21786331BDF5A4649B3FEC07D4A2D07449832D2501615A5604F735AB36681A3B A012985417CDFD8842B8541B74CDF2C2CD49B15586181FF492B65407471FC9FC 5E0D969816BEC13C5DD5F3C60C3A3D1B4F9419A628EC1C52BFA2365898E5C71B FDFB490CE414FC1A5EF98DE4072CE6FE2F73758D2CFB31E4C687F4F741CC12D4 50195DE1EBF731E30FD955CE91F2D64DE1CE8B3C1B3BDA4837D475C212E35D9D EDE884A62D744CA81FCA84E71B744BDAE3F61A3E4E2D765B1D6893F6C858FA92 66FE774EB5F305F7B5FA505DE84570F6E545567F47386A2AF592C1B6BC97A76D 8A5EFC251B7014AAE33E78DB54A72853E5060EC5445FAB5DEB2657EDDC22CE80 29561F137778659B3AE6B3F071606A14E582FAEDBC2781DFAF59648F2C3816DA 02654738652EA8A3488F267F70680BF1806C07A814D414718919B4AD093C6C13 546DAF641F47DBADAC4B98410FC1CC04974F4971143F7E63F91D0F05119701CC F044C57A675C3AF0C00B3310CE74656B91959D2C4B30CDE0CD377A1321CE5DDC 9F333DBDF2A2BE2BA60F4A08CDCBEA3B0BF57998452CBF268610A2B3F1B5F862 8FAED3FCD2EA323FC71B7D363749A5C61FC4B9B745948EA3C15E5FFDDAFB10D8 D15490F1FF3474BFF57ED5D551238D0C6DEB6B9C0856BB15329C6B19409D9717 3C31ACAB1B34B1EE7A81F67D2A73BFB4BB623200A7B7AF8D3A5BDB6A4C259955 28C4BF064EF90A8181B2CB453B13FFA4B5E32515DDCA4AB66AB15C92F0B6E3C2 8FE61FF0E8474C22F87C69B949DCBAACC9185D5243E6A04D12A21C707A6FADA5 14FD39BEBC4BF8E10C436F3C8D7E9FA8C93E022000B52FFCDDF9E94ACAC82E36 CE84BDE6BFF10E83D1A5CDC794AA24230A47635F04DC906AFA40B907EB1CCB42 2FE785118EA9B43BDF1A74F73304D6C7A871E08F702625D8468FFFE69715439A D69413044F253FE4ADA1D74E64D58852A28542EF691188271DF9F771C3E940F0 5A59133A7E672C669331FD0AA0C89996CED74F847FCF07F9CB98508A4ED1DDBA 5077B695591BB338E21CBD81389DD55FE0968322CB108F13F1C4F00B420A9663 83AA953FE97FC58416A43CB8433C64C450E7C05EDF04DD4A1348C129BE57F3FB D8EEEC657D02032F703E57296685421F9F54679ED4685DCC91543D90825E3673 009F8AD3411A04E0EE9BA1250876CC3CD86B8134D5D0206D3ABD19F87B7DA83F 98BF985FF169607143E2FA58D7FE0B69527FDA461B62F7FBE4F8AB5A2D16D7D9 7BE065BF8CD4972BCC3DD7F50EDAF752DB6D1DFA7F65069D4BF6A9BC975EE8F0 F34C3A99BA55308F4AA09F30FE8DAA4501DE9D594AD4A2B8E8CA2979B5C1CA28 509994A28F409B705A2336253238DDFF959FB93DDEEEB683E19B40DC3235E299 CFE16502F8082F7960664D1AA589AB456AB14C2F29C469C4C81A6691697406A6 C20D8E3D5CF543B273FB98FA0D6BDF93DC72F445B99508D834415C4E83B5CB2F 52ED3A36A2A6C931B65C662AE9A37DCFC9F9822811FDF904C424734E0DD0E7F1 BAC8C4A9D065CEC0D9B88427702EB0F5C1B237A2451AAE351ECA8E4941082859 34B9E0A793A12AEDCBFB30BE7ABA05B417F05AC042C7DB3A759B3EA917AC2853 F52544E79911CAF0093F22F807123AAB9A3D782B8653DAF182E521852EFCC7CA FB674AEDF02F66EBBB58062E5EDE52465A3BF4AB2BDE44ED1D0B2289CC6E085C 2E7502599AC72D70EC7A638F95A285BE4949F8E35BDC8A1F75744ECF0DC5CD67 193E15BB459C1B95CE8BCA5CE031A245D7E81B2EAF7E5B129FDA025CC567AA92 5185EF70C210F6ACF911779BB06C82DFE4DBAC8E48E05B43E781B6CF8EFE698D 79AA318635F9A6AFB6393D7566B3A9472D7AADCF5169612078057342CA86A145 D7A6428218DB3E317E18476F2E01EEE2D44412A8E94FBD8330B3A63B29F7500C 8A038765A8D001042FC23EF6E94668F15E9C0E85E298E2ADB89B0016EB72C220 FD5C9BC51D0A34845A72BFEAD1C50973D7AC6A7B867E4C2C9279EE9EC6CF32F6 A7CC5307CD39D29D3ADB98842B455C704C4B15832AC3E19E9B8293A8D8505BDD 19E32D04092DD314586CB771CE347FB332948ABDF1A028048C69F49EDEE97CEE 5451E9F34A2E5E60409B9AF48B8410263A0B11B34E88B3E2334B79598B0C464F 72DCBA1AA42C3E2526C84D6E7E0710355ADDD6E8AE06E3095C872513481EB125 92715B9E550468457E6CF13B05DD908EF47D18DB2C7ED30B3B3BB764EA48BDF5 0B12C3C05C35428B30E69156B63CE7EE930523A2C92F091633C3051368D3B7C8 DCA2F7E985AB6D89F2A85C43326AEBA47F8B48A227607863FA0D5A60F03EFF72 B46168B19FEE02B1534D571B850F4B574AB3CF456358D7620F50A37435239B48 CBB4EEFF09C805B5060F389A26A123A3435FFCDC3B901E4E3F816196B9F891AB 3E8C89F9D0DAAE668409EADD58188A4CB47D519B68E1A2E08A3939CBB5A22EC1 8244D1D359EBE5C88346168BFDDDD327568166B4111150660F9814B50922E8B0 C1CBF5590543DEB308FDF0140669BB726FF4F5CF07EDD7E7FEFDAE52A7FCB40A 7293D789F1F5DECB691218F0386D79DC017598A1A7BCAEDDFC31814E885A744F 6C714C5554B7B4C77E57E06793FF84A00CB68496213342DBB88339770676BB74 8111DEE0F74959BC9657EC16F13620BC72428D5792793E53AC1D112F85E4B1E3 2863603DEDF1AB22A3611BCC52DF4AB0CD94E535E67E6F4DE34D9F7BD905FEF8 89EBFA210616660AE99F9C6DA29D026E2DFFC0AFF66C024D47B08B3E50207CC2 559EED2ED9A487E44C0975A46B364AAC4FB678181638B23FA3EB6CCF5E6A1CA5 393FEE9A6E9B156D367261E1AF4A1741328D2C1EA78AC6E9851308863EA56A4F 85CE17BFF8ECA3DD5015E627D275E4CC1886133E0593F74CEAFDF6975C2D891F 623ABE4AAD04F2C93165B6FE0BB0A750F6B229B6BC592A578A9A92FEC8C1754C 34A10B184BE599143F82FED9A00B6D2263AC140C76D6C3D36E6B870AE6039E93 56918E57827A6BC84444FB498CD78B94A29EDC9B9ABCD6F1C8E0F9D43BA264C0 091EFB5EA0EA98BEE5EADE0FB3AAE54E8A952B4056E5859E672986E0855DC0D5 4EFFD62E12C9AEA14AAFFD436B919BBAC9E93C2D7362AD4775185205CB64A1C1 41BF8D37ED84C3EE1402C5E4FEEF5BACC818CE961D67A491BC9349470316A94C 9ABA79DB165EABCD28B210AA228A1DFC4DCA85AA15A03CF16A70AF316BB85271 F4FCB8ADA6F9A24E9B49734B2D30B3534FD8ECB535101134A97DD93997D12545 8D0FB1C6EB33A8BB1BFF6F645580800CFACAF1ABFC5A204F90E0D6A1144E2B63 047C66A947EB0C8F2676D5DD2A1E7C75B0AD0DB42BB329BFF73EB5599C6D1B0D B1536255E2595D57DDF5E1CE55FB937921068E8F9EB847340F9CF26758041BE2 EADFAC34BD7B00CAB20815EC2BCF740A434B3E0C674B1E88AA8D9F12096553DC D42F9FAD44CDFCD575BD0FA2EE07C55364A143878E8D93307AD35F0F5F595082 51F4BD94BA6E97D3B4733046441219180BEDF8EE930F36AF1ECED60C6F1BCE72 75423A46AA752C084899040D4E27B470B37B0D453E2E3D2DA50E2CC6E05928DC 346C3A702EBC9194FAD9AE5AD50CB518CA64C64BA75A400CA584277F2CAA3799 25898B3FBF4483F4E16CF5ABBCBF4A1913EC65B9490D3DC0B21975B0E7352A0E B437C6D003EE4316059073FBC969B01EF83FB0616228864D0F9FC135DDFDC598 104718BAF01B6AA11A59A36A6794C39C0BB70534641BDACFAE6FB90BB0C4BD5A 087607D273F55AD9B2A7E64B5231B22CB63CE684706C93C4969FDF9E63C38945 661876443CD10D28F8990DA28AB679E552D1CF86D48DF04AB5108DAD0C88C393 78128A2F3900F35644399D32EF1E418A1AE8D0BAA05CA8310DA71E9D0BEDA92F 5BD39FE675D6C14EC7D4FE88346A13C6EA3705A518BB6EF6DF0BDB9BCBB122CD B1B54B9ABC782051225372C44D3E1F62F7E4BE4F7E9F3CB9AF6A49E971D09A88 CFA54D309064BD954A0BA2C3643BD84441F41245153BC61B8725CC897EEA0AA3 A8117C32E1EB58AC180DF6F573A607460E62C0965E325912F6F9A33F5E18D42E 3476E6FA895A31BE3915D8B870A1F00AA111D6D6A38C608D890867F9E4AAF94F 986CC72A17BD9B125F93C9FE90F2D5B3FE6A55D9D0C006B0FF79B8FD3A6AB77B 83696F033EF7B32058CAD0FCF58EA2BBAE8A7DA60413E096E781DE75F9865FC7 07607CEE866A4B79F5ACF1022B7149B3511C310058094F5BD1AA9547AE622A6C 01B5D74F007543F9B33563531C46B9680C27B7BF28FF5A3595FABD4136FDF93C B0C809D4CBBEA4AB422FA2DEC48910A6E8FF9BD042BE0A133D44F4B780CFDFC7 8416C5C66D5500EA1823E7D97BEA9B4EFA8C957A710784916291B6B62366C58F B0EFF16626623B2D9A2E468DBD2BFC9ACEB480ED2A0C582A4180880D81ADA013 1CDF899EE8A7F83F9F766A7D241B41E78E5F43FFC510258866343A0B08EDE645 951C380350EC8EFA3D9068A335E5042C04420B6BD477455A94CE9D8F9C5923CD 931F60C68B4A4E76AC72251B46BD8B334F3E1356996D3D584DF032415ACBA9F0 6AF750B068FC981481F4E497453A9E14C53639B3D3B82A5C171EE839021A13AB 2EC7DE03907F7939C401D8C323B42832EF7A57EA0BD7D6E36A5B2F75EC273B97 51770F59084F676A5A932A421ED1C8D97978A86BA3372868E10CA72D650BEF6D 2A6B4DC7750465F1B9F83286BC6652759CC1F5AFE32BDC3310F7A67AE86C6E4D 0CA3653928C16AE3CA843D19C868EB040280A50B195A79F509332B8A66AB9348 9802AD47B39D0B0DDED851A14E8806E3E6DFE63FFAAA257B4F4A61B73784FA02 E75D7AC78BF92CCF44B584B6DBC4FA0118E9AD7E7C3412DA7FB15E90B49245A9 9D0D0B7CC572055213F407681218197D5D3137A09CB6C6F147DE074E474A04BB C61786CFF88697CF92EE59F09D3242A5B7BBFBC493AFA63BA554E852A7AC166D CD7BE41E175F486B4E10768D337DBB4D681FF16133DDBFF30354F2012544AA0F 787F6FA79C95087398F2BDAC35C2E60289B866A6C5D97E9D19D171D3BDA14307 444DEFE042470B8D2DBCC5E6E164B321FD5DA3876FEB1776789880B123032F5C 5F5316ACA239E0434AE3A8939E8C3F6325344A25413CC2FACF7739166B872F83 B8FDE591C212BA79265A8D300B14E649D3CB7CEB51484D3C2D076BC13FA84261 F30FFF2D1BCC95A7BAF616B15FA14CB0EBF261505D6523B11AED08AFDB66FFB3 6D06B51FB2D8D0CF5BF8B4091A055221289441CD36749EB22956880FC4FEE1ED 1A2CBB82AD4C956BBEA85781B8BFCD0D3A397340162CC960505CD89B482DC3A7 FF72B7F00882957C59DF48AFBCC61E12925275449ED1B076FA27AD3A9968F877 F984BFE005E0289283CB1D4D18045E4CD4542A421817D6E3D44725FB41496C26 E5179A1CB7ECD192F28217021B9CB6B9CE17563D354EE8399CA24EEC5ACD366D CB6C976246EF25D2ABDEB6D597EEABABC29DB0A2BACAFB41C09B0213E3B8F42D 90204EF1B695766FA3B24D27A8CD100960CC9FCCE3D17CB17F72FAB587931858 1E1EBF17A7048D91D23955D259D3D01A5691CDBE5BC0FA2A4F6BEE151F939D01 9690472980DBC8C3AAD1A7C43E3F89D7A2B4859A4A8586390774CCE9C5CE385A C1A721DF73C1E5FE332748D55E7C4F05CA2C0CBDA1EB4BC01D55512025802033 C8D04C22365B75D42BE59C7C7039ACE96F8524DA4D50D9D906F2CDB1811C2CAD E2E502F4C304A9C1EF42DCFDB5EA767739D5241E4E38E417905E7F9F613B66BE E7494117412D10391CE6459CE8EEA37602F99E8321A182491E23E66B6B352560 76FC32CBA3A9ECA78885AB70CD6E2562F85256E79EC967E08F2CAD1847672598 F30BEB198065A9B5D27D32A01CCFEE5B0FE142446F4B50FB0005A1C2CB22B825 4196F90ACA821E89CF19C974DA507F24F79C40CD35B73ED341291C56E9C3ED3E 4322597EF1B428185FB489F467E5951A8CB6647BE7DD713FDFD85FCA54AFE5A1 99CF70910E088BB07E123E712F58CAEF5B6C016F593981BEB23DACFA49E22F6E 0DEECE4304DF30DF2CC5DC67E29071529656BD09235D4A04EFEF5627EC58F763 93B9E2445A4EB46446DDA6000C3C8D9167970E78FA53A7D4C0F0D72FE32AD507 5CA266FD1C1936B203411FEE2123CCAD5BDAE236C6F7E0701E8A2A5D529CE6FD BA9871391CFB0211FBFF4C3AC969912DC8A7CFB2FB6CA5FD9A5B91FA53A468D0 25203918BE0AB9E23324E8F236B4F5714E70734E96426BD28BE66486E829690B 9A14F266F1D1BB32527C32FBACD6787B626112B163EC35DF8C69884FE998985E 28AFBB5C403BB8C9305D611B3867007C31B1E3850BAAC859F4D9199C108F7F2C 5E9AEDB36175D2C52F869A2BA419F1C1E5BD9F81BC0A9AE902133EB110730F12 35938DD26E132893DF0CBCF058DF2D4765AE1C200BD5D365AE4949E1CE8BFB73 76D8547D5E95D2EF3AE0ED87121262124138C535C2 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMSY8 %!PS-AdobeFont-1.1: CMSY8 1.0 %%CreationDate: 1991 Aug 15 07:22:10 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMSY8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.035 def /isFixedPitch false def end readonly def /FontName /CMSY8 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 15 /bullet put dup 17 /equivalence put dup 20 /lessequal put dup 27 /propersuperset put dup 33 /arrowright put dup 54 /negationslash 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 F83C7D393392BCBC227771CDCB976E93302532464BD3A87BB4BAABEB40184D2D 419B5A7DF9E53DBCB7F7761456C245F2E433AA138F75019C4D960DAEF32EFE79 21118F5BA4B4765E81D3E491657CF70F6871A866541130F5567BEDE01FFEA944 110576BB825FD42C30E34E4827881A8F830113267EC6F7A015CC3DFD62A3D89A F94388D4779D96A569CCCB869188F01070454570C0AD46137519455494268703 7A0127AF9D2E4577001087DAEE6D87172BB8C8902B61F6C881C588FF53FAF312 72BA985D96C8799489B7D32CA132EC899E294ACE9D34DE1BC036661E910E81C7 8419892CDF4ACD9567FCE769B2155B7A255498E884470E8DF5D6A6D79D4B06F4 19035513C243793E51C6FB1B7B1EB5B18378AE14EC6E04FDDA8D30F18AD15961 0841F910334CB1D3870A5CC8183EC5D90C7F1FD4B6C92D6EC176F3EC08288F8B D8148C5DE4FFFD115FD515848537E134C01E82F71FCDF8BCBF84AD34CDAF6BFE A1846473A2604A6B5EC063187865F25306C0D9FA38497886EB6F8B06C024E958 5017283D9BC820789D22A0A196696FE9E18CACA67E2116F980D47840C9B9B232 8D2BDCE2055D4F4AE79DFFEC582BAA0226F42666C13A29AAF9614308337A01C8 A0916138390AD655718A16E7803C34F0E914091922A21C206F8289CD715482B6 BA2D51D8D4A2B9A71D1AEC5A48B96749031662D08735E6F5CFC532D87D3AF1C5 29C44EC0BEB03C74CD3B7FDB9E0A036620A55D5024B79BAEC51E1E2FB5239D79 C08A9D37D1EB389FA706410769669B7BDBFC9EBAF8F40F3D44BBCE24A597A459 93CFAF3814EEAB9EF72F84D4383F840C9CF84E380343BEFD455E4742D827836C 9E615E6738A5A57A013869E448DB6CAAEBBD12A0E042AFE40DAC91DBAF6644BE 260B120D336BB289D6E08F465228CA77318FA9FCAFDD8287F8C741C3ABA779A3 E2125133B014FB9CD52DCDD0D34BCCA8FC11FCF74EFC7029E482C826FD1870E0 0AE03F7604D9D5BC9FF5A3DAE75FA417FD1A86A1BD6E9EBE370D6851162CD598 59B609A26D6D8C34AA028F195FFEEDB312DD71E2CF5B6ED2C9DF8DC1667BAC0D 07D088F64744953574B7960AEDD9B5B57931DA0B5A81C900E51241925D6B7876 F06250AC30BD1197A449CAC60BD33BFC24AFC16D23C6299A9F112628463A341F 2C6FF4D44E0AB0F7A0DED5778984C771E1111566D12412D7C420FEBB76CED252 A5D236FB3CDC7569E5FA9B7961B8242C6140DBA5714D4D85CAEDE45BCC635194 1F7ECCE6C78ECD80F2140162A3BD91DBB7EBB093C3460A27C75ADB181326A7FF C479E139640E881EA0C5129397CBB04008D3C555E2719AE42B73818A2533A8D2 D46CC5F078AD3BB8468B6676419FF6E740B4145675D3F34645F6815C5885F79F 2E4060E631BE58C2DDA24EC1D3077370EC401550B392B355D6735D9FF1B1446E 3024F61456E51FB424FE772A8BC7F56DCDBA6391996CE6437062520C5D9CC0F8 C4483E88A004D0C0C52A8EDCE92AE4261C82CF729E41DB579CB423F5F3783D12 FAD808310D820A0A13EF6285EEA8E9AECA63F3DB41029473A33DC81A4463F447 92E36023DBDAF01A53100D6408922D91816002E213E27D53B36F6E726C3CC24F 283736B0FF69B72127C9795857C9A437CBD1C875B538CDB72D72B214CDCC62B6 8CC9B9FB1A913E3B3F1DF68E51CA953C5CE55483D7467FFF216F72985A9D4B3D 84013B167FFD5D53C6844838F288B7CB2E4F6BC00AD94791A1893C5CA6E80AB9 AFADE9F8C00A064681C58D290584636EEF8F162535735099FC16603EB872E5EF E089514C2CFC389D4DFE6650248E79EE031D1A38D8441D8BD0E4B4C93F26B80F F873B071EBD1F741504F3AB610F5A0190261DA7F82AE05D15DC704291F6AA28D 25685BBE2E6CD414E58CC3D2EC18B99FBAFFE20575C232196F 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont TeXDict begin 39139632 55387786 1000 600 600 (concepts-sli.dvi) @start /Fa 134[87 99 126 1[102 63 81 79 78 88 85 107 155 52 91 1[60 101 84 1[81 90 76 75 93 7[102 144 166 2[102 107 132 138 111 133 139 169 119 2[76 3[129 1[125 1[132 2[137 2[49 49 58[{}41 165.272 /CMMI8 rf /Fb 134[92 1[138 92 103 75 79 69 1[103 103 103 161 46 98 1[46 103 103 63 92 103 92 103 98 4[103 15[117 2[53 26[57 69 57 9[103 22[121 11[{}30 165.272 /LCMSSI8 rf /Fc 198[72 72 72 72 72 72 72 72 72 72 48[{}10 114.736 /LCMSS8 rf /Fd 161[117 35[117 98 98 1[0 20[176 5[137 6[137 2[137 1[88 15[{}10 165.272 /CMSY8 rf /Fe 131[207 103 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 4[103 4[191 133 1[148 115 135 1[130 160 134 169 1[139 95 53 134 138 123 129 147 132 135 133 138 98 1[161 2[57 103 2[103 103 1[103 103 103 103 103 57 69 57 2[80 80 57 4[103 21[109 12[{}69 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 1214 490 a Fe(CONCEPTS)68 b(AS)h(OBJECTS)p Black 1755 698 a(John)h(McCa)-6 b(rthy)1096 907 y(Computer)69 b(Science)f(Depa)-6 b(rtment)1546 1115 y(jmc@cs.stanfo)g(rd.edu)p 1 0 0 TeXcolorrgb 780 1323 a(http://www-fo)g(rmal.stanfo)g(rd.edu/jmc/)p Black Black 75 1836 a(1.)p Black 84 w(Concepts)69 b(\(including)h(p)-6 b(rop)6 b(ositions\))71 b(as)d(objects)p Black 75 2364 a(2.)p Black 84 w(F)-6 b(unctions)69 b(from)g(objects)g(to)f(concepts)h (of)h(them.)p Black 75 2892 a(3.)p Black 84 w(Concepts)f(and)g(p)-6 b(rop)6 b(ositions)70 b(a)-6 b(re)68 b(not)i(a)e(natural)g(kind.)p Black 397 3287 a Fd(\017)p Black 83 w Fe(There)g(a)-6 b(re)69 b(a)f(va)-6 b(riet)g(y)68 b(of)h(useful)h(spaces)e(of)i (concepts.)p Black 397 3682 a Fd(\017)p Black 83 w Fe(Concepts)f(a)-6 b(re)68 b(\(usually\))i(app)-6 b(ro)g(ximate)68 b(entities.)p Black 4373 4048 a Fc(1)p Black eop end %%Page: 2 2 TeXDict begin 2 1 bop Black Black Black Black 1 0 0 TeXcolorrgb 1131 490 a Fe(Concepts)69 b(and)g(p)-6 b(rop)6 b(ositions|1)p Black 3 902 a Fb(\\...it)58 b(seems)f(that)f(ha)-6 b(rdly)57 b(anyb)6 b(o)g(dy)57 b(p)-6 b(rop)6 b(oses)58 b(to)f(use)g(di\013erent) 3 1135 y(va)-6 b(riables)82 b(fo)-6 b(r)83 b(p)-6 b(rop)6 b(ositions)84 b(and)e(fo)-6 b(r)84 b(truth-values,)h(o)-6 b(r)83 b(di\013er-)3 1367 y(ent)k(va)-6 b(riables)86 b(fo)-6 b(r)88 b(individuals)f(and)g(individual)h(concepts.")p Fe(|)3 1600 y(\(Ca)-6 b(rnap)69 b(1956,)i(p.)92 b(113\).)3 2081 y(V)-6 b(a)g(riables)91 b(fo)-6 b(r)91 b(p)-6 b(rop)6 b(ositions)93 b(and)e(individuals)h(a)-6 b(re)90 b(written)g(in)3 2314 y(lo)-6 b(w)g(er)78 b(case,)j(e.g.)120 b Fa(p)79 b Fe(and)f Fa(x)p Fe(.)120 b(V)-6 b(a)g(riables)78 b(fo)-6 b(r)78 b(p)-6 b(rop)6 b(ositions)80 b(and)3 2546 y(individual)69 b(concepts)g(a)-6 b(re)69 b(capitalized,)e(e.g.)93 b Fa(P)h Fe(and)69 b Fa(X)13 b Fe(.)3 3028 y(This)66 b(talk)e(is)h(ab)6 b(out)65 b(exp)-6 b(ressiveness)66 b(rather)e(than)h(fo)-6 b(r)66 b(p)-6 b(resent-)3 3260 y(ing)69 b(a)g(theo)-6 b(ry)-17 b(.)p Black 4373 4048 a Fc(2)p Black eop end %%Page: 3 3 TeXDict begin 3 2 bop Black Black Black Black 1 0 0 TeXcolorrgb 1183 490 a Fe(Concepts)69 b(and)g(p)-6 b(rop)6 b(ositions{2)p Black 3 902 a(W)-6 b(e)69 b(write)70 1185 y Fa(denotes)p Fe(\()p Fa(M)18 b(ik)t(e;)31 b(mik)t(e)p Fe(\))70 b(o)-6 b(r)69 b(when)g(functional,)h Fa(mik)t(e)50 b Fe(=)e Fa(denot)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\))70 1583 y Fa(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\))72 b(is)d(the)f(concept)h(of)g(Mik)-6 b(e's)69 b(telephone)g(numb)6 b(er)70 1982 y Fa(denot)p Fe(\()p Fa(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\)\))53 b(=)c Fa(tel)r(ephone)p Fe(\()p Fa(mik)t(e)p Fe(\))p Black 4373 4048 a Fc(3)p Black eop end %%Page: 4 4 TeXDict begin 4 3 bop Black Black Black Black 1 0 0 TeXcolorrgb 1022 490 a Fe(Kno)-6 b(wing)70 b(what)e(and)h(kno)-6 b(wing)70 b(that)p Black 70 993 a Fa(k)t(now)t(s)p Fe(\()p Fa(pat;)31 b(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\)\))70 1392 y(Supp)6 b(ose)69 b Fa(tel)r(ephone)p Fe(\()p Fa(mik)t(e)p Fe(\))53 b(=)c Fa(tel)r(ephone)p Fe(\()p Fa(mar)5 b(y)h Fe(\))70 1790 y Fa(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\))52 b Fd(6)p Fe(=)c Fa(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ar)5 b(y)h Fe(\))70 2189 y(P)-6 b(ossibly)p Fa(;)98 b Fd(:)p Fa(k)t(now)t(s)p Fe(\()p Fa(pat;)31 b(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ar)5 b(y)h Fe(\)\))p 0 0 1 TeXcolorrgb 70 2587 a(T)-17 b(ruth)68 b(values)h(and)g(p)-6 b(rop)6 b(ositions:)p Black 70 2786 a Fa(man)p Fe(\()p Fa(mik)t(e)p Fe(\))70 2986 y Fa(tr)f(ue)p Fe(\()p Fa(M)18 b(an)p Fe(\()p Fa(M)g(ik)t(e)p Fe(\))70 3185 y Fa(k)t(now)t(s)p Fe(\()p Fa(pat;)31 b(M)18 b(an)p Fe(\()p Fa(M)g(ik)t(e)p Fe(\)\))69 b(means)g(P)-6 b(at)68 b(kno)-6 b(ws)69 b(whether)f(Mik)-6 b(e)68 b(is)h(a)g(man.)70 3384 y(P)-6 b(ossibly)69 b Fa(k)t(now)t(s)p Fe(\()p Fa(pat;)31 b(M)18 b(an)p Fe(\()p Fa(M)g(ik)t(e)p Fe(\)\))40 b Fd(^)f(:)p Fa(man)p Fe(\()p Fa(mik)t(e)p Fe(\))70 3783 y Fa(k)t Fe(\()p Fa(pat;)31 b(M)18 b(an)p Fe(\()p Fa(M)g(ik)t(e)p Fe(\)\))49 b Fd(\021)f Fa(tr)5 b(ue)p Fe(\()p Fa(M)18 b(an)p Fe(\()p Fa(M)g(ik)t(e)p Fe(\)\))41 b Fd(^)e Fa(k)t(now)t(s)p Fe(\()p Fa(pat;)31 b(M)18 b(an)p Fe(\()p Fa(M)g(ik)t(e)p Fe(\)\))p Black 4373 4048 a Fc(4)p Black eop end %%Page: 5 5 TeXDict begin 5 4 bop Black Black Black Black 1 0 0 TeXcolorrgb 1406 490 a Fe(Equalit)-6 b(y)68 b(and)h(Existence)p Black 70 979 a Fa(tr)5 b(ue)p Fe(\()p Fa(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\))73 b Fa(E)9 b(q)d(ual)r(sC)81 b(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ar)5 b(y)h Fe(\),)72 b(although)70 1178 y Fa(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\))52 b Fd(6)p Fe(=)c Fa(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ar)5 b(y)h Fe(\))70 1377 y Fa(tel)r(ephone)p Fe(\()p Fa(denot)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\)\))53 b(=)48 b Fa(tel)r(ephone)p Fe(\()p Fa(denot)p Fe(\()p Fa(M)18 b(ar)5 b(y)h Fe(\)\))70 1576 y Fa(tel)r(ephone)p Fe(\()p Fa(mik)t(e)p Fe(\))53 b(=)48 b Fa(tel)r(ephone)p Fe(\()p Fa(mar)5 b(y)h Fe(\))70 1776 y Fa(denot)p Fe(\()p Fa(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\)\))53 b(=)c Fa(denot)p Fe(\()p Fa(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ar)5 b(y)h Fe(\)\))890 2419 y(\()p Fd(8)p Fa(X)13 b Fe(\)\()p Fa(exists)p Fe(\()p Fa(X)g Fe(\))52 b Fd(\021)c Fe(\()p Fd(9)p Fa(x)p Fe(\))p Fa(denotes)p Fe(\()p Fa(X)s(;)32 b(x)p Fe(\)\))399 2986 y Fa(ishor)5 b(seC)12 b(P)24 b(eg)6 b(asus)399 3185 y(W)24 b(ing)6 b(ed)p Fe(\()p Fa(P)24 b(eg)6 b(asus)p Fe(\))p 1 0 0 TeXcolorrgb 399 3384 a(?)p Black Fa(tr)f(ue)p Fe(\(Winged-Ho)-6 b(rse)r(\()p Fa(P)24 b(eg)6 b(asus)p Fe(\)\))399 3583 y Fa(tr)f(ue)p Fe(\(Greek)69 b(mythology)p Fa(;)29 b Fe(Winged-Ho)-6 b(rse)q(\()p Fa(P)24 b(eg)6 b(asus)p Fe(\)\))399 3783 y Fd(:)p Fa(exists)p Fe(\()p Fa(P)24 b(eg)6 b(asus)p Fe(\))p Black 4373 4048 a Fc(5)p Black eop end %%Page: 5 6 TeXDict begin 5 5 bop Black Black 3 490 a Fe(W)-6 b(e)69 b(can)f(have)92 1096 y(\()p Fd(9)p Fa(X)13 b Fe(\)\()p Fa(exists)p Fe(\(Greek)70 b(Mythology)p Fa(;)29 b(X)13 b Fe(\))40 b Fd(^)f Fe(Winged-Ho)-6 b(rse)q(\()p Fa(X)13 b Fe(\)\))p Fa(;)3 1411 y Fe(but)95 b(most)g(lik)-6 b(ely)-17 b(,)101 b(there)95 b(do)6 b(esn't)95 b(have)g(to)g(b)6 b(e)95 b(a)g(domain)g(of)3 1644 y(Greek)73 b(mythological)g(objects.) 107 b(This)74 b(suggests)h(that)e(some)h(of)3 1876 y(the)g(rules)h(of)f (inference)h(of)f(p)-6 b(redicate)74 b(logic)h(b)6 b(e)74 b(w)-6 b(eak)g(ened)74 b(fo)-6 b(r)3 2109 y(such)70 b(theo)-6 b(ries.)p Black Black eop end %%Page: 6 7 TeXDict begin 6 6 bop Black Black Black Black 1 0 0 TeXcolorrgb 1600 490 a Fe(Ab)6 b(out)70 b(p)-6 b(rop)6 b(ositions)p Black 416 975 a Fa(tr)f(ue)p Fe(\()p Fa(N)18 b(ot)p Fe(\()p Fa(P)24 b Fe(\)\))51 b Fd(\021)e(:)p Fa(tr)5 b(ue)p Fe(\()p Fa(P)24 b Fe(\))416 1174 y Fa(tr)5 b(ue)p Fe(\()p Fa(P)94 b(And)68 b(Q)p Fe(\))50 b Fd(\021)e Fa(tr)5 b(ue)p Fe(\()p Fa(P)24 b Fe(\))41 b Fd(^)e Fa(tr)5 b(ue)p Fe(\()p Fa(Q)p Fe(\))p 1 0 0 TeXcolorrgb 416 1374 a(?)p Black 68 w Fa(P)94 b(And)68 b(Q)49 b Fe(=)f Fa(Q)69 b(And)g(P)p 1 0 0 TeXcolorrgb 416 1573 a Fe(?)p Black 68 w Fa(P)94 b(And)68 b Fe(\()p Fa(Q)h(O)5 b(r)74 b(R)q Fe(\))50 b(=)e(\()p Fa(P)94 b(And)68 b(Q)p Fe(\))i Fa(O)5 b(r)74 b Fe(\()p Fa(P)94 b(And)68 b(R)q Fe(\))3 1845 y(This)d(w)-6 b(a)g(y)64 b(lies)g(NP-completeness)g (and)g(even)g(undecidablit)-6 b(y)65 b(of)3 2078 y(whether)j(t)-6 b(w)g(o)69 b(fo)-6 b(rmulas)69 b(name)g(the)f(same)g(p)-6 b(rop)6 b(osition.)p Black 4373 4048 a Fc(6)p Black eop end %%Page: 7 8 TeXDict begin 7 7 bop Black Black Black Black 1 0 0 TeXcolorrgb 943 490 a Fe(F)-6 b(unctions)70 b(from)f(things)g(to)g(concepts)p Black 3 902 a(Numb)6 b(ers)98 b(can)f(have)h(standa)-6 b(rd)97 b(concepts)h Fa(C)12 b(oncept)p Fe(1\()p Fa(n)p Fe(\))99 b(is)f(a)3 1135 y(certain)45 b(standa)-6 b(rd)46 b(concept)g(of)g(the)g(numb)6 b(er)45 b Fa(n)p Fe(.)85 b(W)-6 b(riting)45 b Fa(C)12 b(oncept)p Fe(1)3 1367 y(suggests)75 b(that)e(there)g(might)g(b)6 b(e)74 b(another)f(mapping)h Fa(C)12 b(oncept)p Fe(2)3 1600 y(from)69 b(numb)6 b(ers)69 b(to)g(concepts)g(of)g(them.)3 2081 y(W)-6 b(e)69 b(can)f(have)70 2363 y Fd(:)p Fa(k)t(new)t Fe(\()p Fa(k)t(epl)r(er)-5 b(;)33 b(C)12 b(ompositeC)g Fe(\()p Fa(N)18 b(umber)5 b Fe(\()p Fa(P)24 b(l)r(anets)p Fe(\)\)\))p Fa(;)70 2563 y Fe(and)69 b(also)70 2762 y Fa(k)t(new)t Fe(\()p Fa(k)t(epl)r(er)-5 b(;)33 b Fe(\()p Fa(C)12 b(ompositeC)g Fe(\()p Fa(C)g(oncept)p Fe(1\()p Fa(denot)p Fe(\()p Fa(N)18 b(umber)5 b Fe(\()p Fa(P)24 b(l)r(anet)q(s)p Fe(\)\))q(\)\)\))q(\))p Fa(:)p Black 4373 4048 a Fc(7)p Black eop end %%Page: 8 9 TeXDict begin 8 8 bop Black Black Black Black 1 0 0 TeXcolorrgb 840 490 a Fe(F)-6 b(unctions)70 b(from)e(things)i(to)f(concepts{2)p Black 3 902 a(Russell's)60 b(example:)87 b Fb(I)59 b(thought)h(y)-6 b(our)60 b(y)-6 b(acht)58 b(w)-6 b(as)59 b(longer)h(thann)3 1135 y(it)i(is.)90 b Fe(can)61 b(b)6 b(e)62 b(treated)f(simila)-6 b(rly)-17 b(,)62 b(although)h(it)e(requires)h(a)g(func-)3 1367 y(tion)77 b(going)h(from)e(the)h(concept)f Fa(Leng)6 b(th)p Fe(\()p Fa(Y)40 b(our)5 b(y)h(acht)p Fe(\))77 b(to)g(what)3 1600 y(I)69 b(thought)g(its)g(value)f(w)-6 b(as.)405 2229 y Fa(denot)p Fe(\()p Fa(I)13 b(;)30 b(Leng)6 b(th)p Fe(\()p Fa(Y)40 b(our)5 b(y)h(acht)p Fe(\)\))50 b Fa(>)e(l)r(eng)6 b(th)p Fe(\()p Fa(y)g(our)f(y)h(acht)p Fe(\))p Black 4373 4048 a Fc(8)p Black eop end %%Page: 9 10 TeXDict begin 9 9 bop Black Black Black Black 1 0 0 TeXcolorrgb 840 490 a Fe(F)-6 b(unctions)70 b(from)e(things)i(to)f(concepts{3)p Black 3 869 a(W)-6 b(e)51 b(ma)-6 b(y)51 b(also)h(w)-6 b(ant)51 b(a)g(map)g(from)g(things)i(to)e(concepts)h(of)g(them)3 1068 y(in)81 b(o)-6 b(rder)80 b(to)g(fo)-6 b(rmalize)80 b(a)g(sentence)g(lik)-6 b(e,)83 b Fb(\\Lassie)d(kno)-6 b(ws)80 b(the)3 1268 y(lo)6 b(cation)68 b(of)i(all)e(her)h(puppies")p Fe(.)93 b(W)-6 b(e)69 b(write)f(this)3 1566 y(\()p Fd(8)p Fa(x)p Fe(\)\()p Fa(ispuppy)6 b Fe(\()p Fa(x;)30 b(l)r(assie)p Fe(\))51 b Fd(\033)d Fa(k)t(now)t(sd)p Fe(\()p Fa(l)r(assie;)32 b(LocationdC)12 b Fe(\()p Fa(C)g(onceptd)p Fe(\()p Fa(x)p Fe(\)\)\))p Fa(:)3 1824 y(C)g(onceptd)87 b Fe(tak)-6 b(es)84 b(a)i(pupp)-6 b(y)86 b(into)g(a)f(dog's)j(concept)d(of)h(it,)k (and)3 2023 y Fa(Locationd)76 b Fe(tak)-6 b(es)73 b(a)i(dog's)h (concept)f(of)g(a)f(pupp)-6 b(y)76 b(into)f(a)g(dog's)3 2222 y(concept)d(of)h(its)f(lo)6 b(cation.)101 b(The)73 b(axioms)e(satis\014ed)h(b)-6 b(y)72 b Fa(k)t(now)t(sd)p Fe(,)3 2422 y Fa(Locationd)93 b Fe(and)g Fa(C)12 b(onceptd)93 b Fe(can)g(b)6 b(e)92 b(tailo)-6 b(red)92 b(to)g(our)h(ideas)g(of)3 2621 y(what)68 b(dogs)i(kno)-6 b(w.)134 3076 y(\()p Fd(9)p Fa(n)p Fe(2\)\()p Fa(k)t Fe(\()p Fa(pat;)32 b(C)12 b(oncept)p Fe(2\()p Fa(n)p Fe(2\))70 b Fa(E)9 b(q)d(ual)r(sC)82 b(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\)\)\))548 3275 y Fd(\021)48 b Fa(k)t(now)t(s)p Fe(\()p Fa(pat;)31 b(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\)\))134 3474 y(o)-6 b(r)134 3673 y Fa(k)t(now)t(s)p Fe(\()p Fa(pat;)32 b(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\)\))548 3873 y Fd(\021)48 b Fa(denot)p Fe(\()p Fa(pat;)31 b(T)24 b(el)r(ephone)p Fe(\()p Fa(M)18 b(ik)t(e)p Fe(\)\))53 b(=)48 b Fa(tel)r(ephone)p Fe(\()p Fa(mik)t(e)p Fe(\))p Fa(:)p Black 4373 4048 a Fc(9)p Black eop end %%Page: 10 11 TeXDict begin 10 10 bop Black Black Black Black 1 0 0 TeXcolorrgb 1005 490 a Fe(Concepts)69 b(as)f(app)-6 b(ro)g(ximate)68 b(entities)p Black 3 872 a Fd(\017)99 b Fe(App)-6 b(ro)g(ximate)98 b(entities)g(o)6 b(ccur)99 b(in)g(human)g(common)g(sense)3 1074 y(reasoning.)90 b(They)58 b(don't)i(have)e(if-and-only-if)h (de\014nitions,)j(e.g.)3 1276 y(the)69 b(ro)6 b(ck)68 b(and)h(ice)f(constituting)h(Mount)g(Everest.)3 1659 y Fd(\017)86 b Fe(The)g(set)g(of)g(individual)h(concepts)f(of)g(Greek)f (mythology)h(is)3 1862 y(another)e(app)-6 b(ro)g(ximate)83 b(entit)-6 b(y)-17 b(.)138 b(F)-6 b(ew)84 b(of)g(them)g(have)f(denota-) 3 2064 y(tions.)3 2447 y Fd(\017)c Fe(The)g(logical)f(w)-6 b(a)g(y)79 b(of)g(handling)h(app)-6 b(ro)g(ximate)78 b(entities)g(is)h(to)3 2649 y(axiomatize)67 b(them)h(w)-6 b(eakly)-17 b(.)p 0 0 1 TeXcolorrgb 91 w(Did)69 b(P)-6 b(egasus)69 b(have)f(a)h(mother?)p Black 3 3032 a Fd(\017)g Fa(exists)p Fe(\(Greek)g(Mythology)p Fa(;)29 b(P)24 b(eg)6 b(asus)p Fe(\),)3 3234 y Fd(:)p Fa(exists)p Fe(\(Greek)69 b(Mythology)p Fa(;)29 b(T)24 b(hor)5 b Fe(\),)3 3436 y Fd(:)p Fa(exists)p Fe(\(Greek)69 b(Mythology)p Fa(;)29 b Fe(Geo)-6 b(rge)69 b(Bush)q(\),)3 3639 y Fa(exists)p Fe(\(Greek)g(Mythology)p Fa(;)29 b(M)18 b(other)5 b Fe(\()p Fa(P)24 b(eg)6 b(asus)p Fe(\)\)?)p Black 4373 4048 a Fc(10)p Black eop end %%Page: 11 12 TeXDict begin 11 11 bop Black Black Black Black 1 0 0 TeXcolorrgb 1696 490 a Fe(Mr.)69 b(S)g(and)g(Mr.)f(P)p Black 3 881 a(Tw)-6 b(o)91 b(numb)6 b(ers)90 b Fa(m)h Fe(and)f Fa(n)g Fe(a)-6 b(re)90 b(chosen)h(such)g(that)e(2)79 b Fd(\024)g Fa(m)h Fd(\024)3 1093 y Fa(n)65 b Fd(\024)f Fe(99.)127 b(Mr.)80 b(S)g(is)g(told)h(their)e(sum)i(and)f(Mr.)g(P)g(is) g(told)h(their)3 1304 y(p)-6 b(ro)6 b(duct.)93 b(The)69 b(follo)-6 b(wing)70 b(dialogue)f(ensues:)3 1717 y(Mr.)g(P:)g(I)g (don't)g(kno)-6 b(w)69 b(the)g(numb)6 b(ers.)3 1928 y(Mr.)69 b(S:)g(I)g(knew)f(y)-6 b(ou)69 b(didn't)h(kno)-6 b(w.)92 b(I)69 b(don't)h(kno)-6 b(w)69 b(either.)3 2140 y(Mr.)g(P:)g(No)-6 b(w)69 b(I)g(kno)-6 b(w)69 b(the)g(numb)6 b(ers.)3 2351 y(Mr)137 b(S:)69 b(No)-6 b(w)70 b(I)f(kno)-6 b(w)69 b(them)f(to)6 b(o.)3 2803 y(In)69 b(view)f(of)i(the)e(dialogue,)i(what)e(a)-6 b(re)68 b(the)h(numb)6 b(ers?)3 3216 y(\\Tw)-6 b(o)70 b(puzzles)f(involving)g(kno)-6 b(wledge")3 3428 y(www-fo)g(rmal.stanfo) g(rd.edu/jmc/puzzles.html)p Black 4373 4048 a Fc(11)p Black eop end %%Page: 12 13 TeXDict begin 12 12 bop Black Black Black Black 1 0 0 TeXcolorrgb 1174 490 a Fe(F)-6 b(o)g(rmalizing)69 b(Mr.)g(S)g(and)g (Mr.)f(P)p Black 239 975 a Fa(k)t(now)t(s)p Fe(\()p Fa(per)5 b(son;)31 b(pair)-5 b(;)29 b(time)p Fe(\))p Fa(;)i(k)t Fe(\()p Fa(per)5 b(son;)31 b(P)24 b(r)5 b(oposition;)29 b(time)p Fe(\))239 1174 y(p)6 b(ersons:)93 b Fa(s;)98 b(p;)g(sp)239 1374 y Fd(:)p Fa(k)t(now)t(s)p Fe(\()p Fa(p;)30 b(P)24 b(air)5 b Fe(0)p Fa(;)31 b Fe(0\))239 1573 y Fa(k)t(now)t(s)p Fe(\()p Fa(s;)f(S)9 b(um)p Fe(\()p Fa(P)24 b(air)5 b Fe(0\))p Fa(;)31 b Fe(0\))239 1772 y Fa(k)t(now)t(s)p Fe(\()p Fa(p;)f(P)24 b(r)5 b(oduct)p Fe(\()p Fa(P)24 b(air)5 b Fe(0\))p Fa(;)32 b Fe(0\))239 1971 y(\()p Fd(8)p Fa(pair)5 b Fe(\)\()p Fa(sum)p Fe(\()p Fa(pair)g Fe(\))51 b(=)e Fa(sum)p Fe(\()p Fa(pair)5 b Fe(0\))652 2171 y Fd(!)48 b(:)p Fa(k)t Fe(\()p Fa(s;)31 b(N)18 b(ot)p Fe(\()p Fa(P)24 b(air)5 b Fe(0)70 b Fa(E)9 b(q)d(ual)72 b(C)12 b(oncept)p Fe(1\()p Fa(pair)5 b Fe(\)\))p Fa(;)31 b Fe(0\)\))239 2370 y Fa(k)t Fe(\()p Fa(sp;)f(:)g(:)f(:)g(;)g Fe(0\))3 2654 y(In)78 b(the)f(pap)6 b(er)78 b Fa(A)p Fe(\()p Fa(w)t Fe(1)p Fa(;)29 b(w)t Fe(2)p Fa(;)h(per)5 b(son;)30 b(time)p Fe(\))79 b(means)e(that)g(in)h(w)-6 b(o)g(rld)3 2886 y Fa(w)t Fe(1,)70 b(w)-6 b(o)g(rld)70 b Fa(w)t Fe(2)f(is)g(p)6 b(ossible)70 b(fo)-6 b(r)69 b Fa(per)5 b(son)70 b Fe(at)e Fa(time)p Fe(.)3 3368 y(\\Tw)-6 b(o)70 b(puzzles)f(involving)g(kno)-6 b(wledge")3 3600 y(www-fo)g(rmal.stanfo)g(rd.edu/jmc/puzzles.html)p Black 4373 4048 a Fc(12)p Black eop end %%Trailer userdict /end-hook known{end-hook}if %%EOF