%!PS-Adobe-2.0
%%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software
%%Title: spec.dvi
%%Pages: 4
%%PageOrder: Ascend
%%BoundingBox: 0 0 596 842
%%DocumentFonts: LucidaSans-Demi LucidaSans LucidaSans-Italic
%%+ LucidaNewMath-Symbol LucidaBright ZapfDingbats LucidaSans-Typewriter
%%+ LucidaBright-Italic LucidaSans-DemiItalic
%%DocumentPaperSizes: a4
%%EndComments
%DVIPSWebPage: (www.radicaleye.com)
%DVIPSCommandLine: dvips spec
%DVIPSParameters: dpi=600, compressed
%DVIPSSource:  TeX output 2002.05.15:1150
%%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: 8r.enc
% @@psencodingfile@{
%   author = "S. Rahtz, P. MacKay, Alan Jeffrey, B. Horn, K. Berry",
%   version = "0.6",
%   date = "1 July 1998",
%   filename = "8r.enc",
%   email = "tex-fonts@@tug.org",
%   docstring = "Encoding for TrueType or Type 1 fonts
%                to be used with TeX."
% @}
% 
% Idea is to have all the characters normally included in Type 1 fonts
% available for typesetting. This is effectively the characters in Adobe
% Standard Encoding + ISO Latin 1 + extra characters from Lucida.
% 
% Character code assignments were made as follows:
% 
% (1) the Windows ANSI characters are almost all in their Windows ANSI
% positions, because some Windows users cannot easily reencode the
% fonts, and it makes no difference on other systems. The only Windows
% ANSI characters not available are those that make no sense for
% typesetting -- rubout (127 decimal), nobreakspace (160), softhyphen
% (173). quotesingle and grave are moved just because it's such an
% irritation not having them in TeX positions.
% 
% (2) Remaining characters are assigned arbitrarily to the lower part
% of the range, avoiding 0, 10 and 13 in case we meet dumb software.
% 
% (3) Y&Y Lucida Bright includes some extra text characters; in the
% hopes that other PostScript fonts, perhaps created for public
% consumption, will include them, they are included starting at 0x12.
% 
% (4) Remaining positions left undefined are for use in (hopefully)
% upward-compatible revisions, if someday more characters are generally
% available.
% 
% (5) hyphen appears twice for compatibility with both 
% ASCII and Windows.
% 
/TeXBase1Encoding [
% 0x00 (encoded characters from Adobe Standard not in Windows 3.1)
  /.notdef /dotaccent /fi /fl
  /fraction /hungarumlaut /Lslash /lslash
  /ogonek /ring /.notdef
  /breve /minus /.notdef 
% These are the only two remaining unencoded characters, so may as
% well include them.
  /Zcaron /zcaron 
% 0x10
 /caron /dotlessi 
% (unusual TeX characters available in, e.g., Lucida Bright)
 /dotlessj /ff /ffi /ffl 
 /.notdef /.notdef /.notdef /.notdef
 /.notdef /.notdef /.notdef /.notdef
 % very contentious; it's so painful not having quoteleft and quoteright
 % at 96 and 145 that we move the things normally found there to here.
 /grave /quotesingle 
% 0x20 (ASCII begins)
 /space /exclam /quotedbl /numbersign
 /dollar /percent /ampersand /quoteright
 /parenleft /parenright /asterisk /plus /comma /hyphen /period /slash
% 0x30
 /zero /one /two /three /four /five /six /seven
 /eight /nine /colon /semicolon /less /equal /greater /question
% 0x40
 /at /A /B /C /D /E /F /G /H /I /J /K /L /M /N /O
% 0x50
 /P /Q /R /S /T /U /V /W
 /X /Y /Z /bracketleft /backslash /bracketright /asciicircum /underscore
% 0x60
 /quoteleft /a /b /c /d /e /f /g /h /i /j /k /l /m /n /o
% 0x70
 /p /q /r /s /t /u /v /w
 /x /y /z /braceleft /bar /braceright /asciitilde
 /.notdef % rubout; ASCII ends
% 0x80
 /.notdef /.notdef /quotesinglbase /florin
 /quotedblbase /ellipsis /dagger /daggerdbl
 /circumflex /perthousand /Scaron /guilsinglleft
 /OE /.notdef /.notdef /.notdef
% 0x90
 /.notdef /.notdef /.notdef /quotedblleft
 /quotedblright /bullet /endash /emdash
 /tilde /trademark /scaron /guilsinglright
 /oe /.notdef /.notdef /Ydieresis
% 0xA0
 /.notdef % nobreakspace
 /exclamdown /cent /sterling
 /currency /yen /brokenbar /section
 /dieresis /copyright /ordfeminine /guillemotleft
 /logicalnot
 /hyphen % Y&Y (also at 45); Windows' softhyphen
 /registered
 /macron
% 0xD0
 /degree /plusminus /twosuperior /threesuperior
 /acute /mu /paragraph /periodcentered
 /cedilla /onesuperior /ordmasculine /guillemotright
 /onequarter /onehalf /threequarters /questiondown
% 0xC0
 /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla
 /Egrave /Eacute /Ecircumflex /Edieresis
 /Igrave /Iacute /Icircumflex /Idieresis
% 0xD0
 /Eth /Ntilde /Ograve /Oacute
 /Ocircumflex /Otilde /Odieresis /multiply
 /Oslash /Ugrave /Uacute /Ucircumflex
 /Udieresis /Yacute /Thorn /germandbls
% 0xE0
 /agrave /aacute /acircumflex /atilde
 /adieresis /aring /ae /ccedilla
 /egrave /eacute /ecircumflex /edieresis
 /igrave /iacute /icircumflex /idieresis
% 0xF0
 /eth /ntilde /ograve /oacute
 /ocircumflex /otilde /odieresis /divide
 /oslash /ugrave /uacute /ucircumflex
 /udieresis /yacute /thorn /ydieresis
] def

%%EndProcSet
%%BeginProcSet: texps.pro
%!
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]/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[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
%!
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
%%BeginProcSet: color.pro
%!
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: LucidaSans-Demi
%!PS-AdobeFont-1.1: LucidaSans-Demi 1.002
%%CreationDate: 1993 Aug 11 21:10:03

% Lucida is a registered trademark of Bigelow & Holmes Inc.
% Bigelow & Holmes Inc. Pat. Des. 289,420

11 dict begin
/FontInfo 9 dict dup begin
/version (1.002) readonly def
/Notice (Copyright (c) 1992 Bigelow & Holmes and Y&Y, Inc. http://www.YandY.com All Rights Reserved.) readonly def
/FullName (Lucida Sans Demibold) readonly def
/FamilyName (LucidaSans) readonly def
/Weight (Demibold) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /LucidaSans-Demi def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding StandardEncoding def
/FontBBox{-309 -205 1151 936}readonly def
/UniqueXX 5029006 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8
97e651a592e4f556bef9359fc62408332ebcea130f7b8ec0669941aafae641fa
d7d88dd4ecf7a242dcfa717d34d4c60059fba9a1623373ee8c93009fd5da54b3
7b1b48962ba909e289a3264fa7bb8348760bb3c5aab5c7ac22980ac562528d22
06ebf93af39013e278b7fdfea34364982f0b2f75172fd5b35a7fa624c18a804b
4946b513c2a11e8591385c3b6baa330ca68e18374f5b62faad6a3e77aeb4ee48
f476931bbebf7f2941635d7ac1e2efa1c9390e62a235980d0279637455a48bb7
b66d448a885d97f557db0cbb38e1e6924be5ab5d048dba4fe1f9a59b4f69e463
bdb7c902f44a35353c2574d0f622910dcba1260ea692b3761c5e566cb27f4e08
2162829ceaa90cb148423b040a5e401aca6eae46fb48605a997597a688f917f8
b6e2126dae1c8a10b61a6c1aa447dc815d82ae330b4a1787178d9d2d9c6b88d7
74fee0636e53942ce8941ab608aa06eb750c750ea67a7654448e7d460cdcc017
ef84ab6c180c2ecd09abb19681c809cbc54b06a701916c449f47e455e6021283
fc78075f825f2a9ac0cb2a9172c6ecafe75cba346fd1e11429eaeea2aadcdc9b
2cbe2a8e59da0f5a1d9418ac308016d6fc7545dd26ddf76e82c68a4f251fc393
6efb2d1741c42832788a759e786ea9d67b1ccb2eb45ed5e5d9b358200c7b3e6c
533e1817e3b37ea4bf9c2b854c07103cda01888d9b1b7c2b86297dd550c479d5
5169da0983abde785b2dfa6ae670976758e67f8a4fc362fc7299d85ebec07eae
90a81865c7285d1299345c0cfc822990aa1d86fb1e8dd3c8e0166245a77b8e77
7c9daf0cff3818a1ac6c34c535fbfceadc74fdee3efc8def5afe8be049521cc8
f5fac0bb01f5f232ca90d8ad44dc80f70342ed8ff33943986964906f5ce43d4e
00664c44e964c5440985a2ac60ba3257abfcbc0df9ac2dd28844036a23c755db
a4b6f289a4b8dfd4a83a9aef25e311b1a33a4bbbb1ab857ad9e9151b4b29253b
89122205dff994f8f448beda02231b9965445dc50ba2aae4ff24ebcb1ed5c507
e4a8ac4558fd97c5928bb2b1dcca9d4d1c0caf4a4ae51a3ef87a2cc4e439d20e
f38ea4183ae8071e3c836645551541ceac2782bed875914a298e3559a47a7ad0
6fa06226f11e60dc37821729fcf77e5c4a3292cda82390efde97d4cbad1e2fa2
10d24864e17a1ef19ba0a77f47a1419f6ec4a99d5b76fc3786c01fc9598e9e58
d1e9d0bf598a1342872a519f5ca81bb5ea29479b8946d7b2a190c21042fa4174
510b54e88e51c065039ed3d7ca127ceac8ddb1e8a872187b8a1e437c8562e2cf
bd09343e0c3781c7fd953a3429432ab3533dca6d5343f65b10f722dd86850734
0852ab6fb80cd2948a36700cb311d6b8a73b5e0f15db67d0cc08149bd21a8a6e
4ecc538c9d3b15fbfa9af288746dcaa3f41086d93bbb17fecf0204a6918b5e18
f49471d0ca4dc7aa32b3d20d7ecbbf3630c9734f52f87a4c3ed50c5562f8eb81
82c0f13298aa4e5fb56ff4e234a7d4784502562f81e5170837c181938141fd16
302599bfc7df4acd7119a3a722c3bda2a6012e0744e449388fb34666ac743778
2b743e22e4de8ea27883fbbc19e05ea80339cf7bff7d29a3bcfce126d6dc388d
dd32a208b85f082cfc2d9fd9d9de1a684e0895731a4f121a28bedbb75167dfbb
7efa1a540376de9ae45787134531835ae18682fa6c497c842c271f7b738f6673
d04cc5c68fa3fcb709b11aed157456f9eaff6db0b7288efd5148df531356f3f4
636471e52060b63607100b4086039ab45d214b6df7079a237cb3e0a3876ea08e
d57a2668c2e70be625109005ee97e3da243e5c0e8cf6356ccb9ea2b171dbfe4a
cae2f8fd1a5fa4118e3c3ffc7dac334dfc1a6a7e35a0dc671bd755650e1fa181
43749f771d7704bb8b6f6878d1f282ed128936ed64d14c44d63adb8e6f31cb8e
53ad715802d54a2feefe02f246ba1150b808377e1bc2c4e4bbffcc78220b9579
d8f2f490052fb3b1174c60f07b06e866c739255f7eb2042a3fdd04a2bfd39775
937676fab02cece32787a1f685e0e6b392dd55b9ccb9bad3dfff2d49d6efbbe4
9155f9b6eae6347b75e334c003275e42f68eb96cde5b006fce1a0e37cb95de36
1abb15cec24986efe7f058e235cbf743a18b333a8c034106659697b410bba80b
c4a3498d3b3c2541cea52b21e8e046d6d429da04d6e14f2690dbe119dd3c9c96
ab3c3098c30d66d984f245d2252cd9a0bea3c124da4281804d671443faf66381
3444aafd5334809a588633a581a0b866662e46322b263a1714c34a3d462b7db8
e584fcad986c976ba54c710d0410fc5cd24b816222ff7936cc73025bd8ac6b5a
a472325ef258c6292de9a6dac96169954683d97d7a2f476a1f597fd73402a565
bd5304eeae1624191fcca1c4aaf7d7aaf4c98de71473674762cfaf3b859690d2
ea890c6903fce744a09627d5e3ecb9d344d2c582f4e7b88625e46200da3cc29e
129b6cc8b7667b869142bc8823e323aaa7bb4be787af42c5e9ac245c9dacec6c
51cf6da030bb57f6b8d064008e2e55e6e9bb021b27f527efde0764f1d54e4e3d
46d2c7b23ac1085d20aa8cad3576ca4d4b52abfd554b4475592f0f52133673eb
4bf6e56e445d42a2040acd0ef371ad93d77de624392d616e16bae1c544ec4ebb
bd9592664f76b7b945ccfe1900c7e71cb15849402449058cb9fc4533f967252d
47f47f223485923b2bb7ac8dfbe63c2cca602496dc5351d9881f7bf4fa0801d4
32ff7f1487050293b74b7b0e00d43870b38e252bef3d2d97cd045ad1f591b8b6
4d4904ea2d0338511ff0577cdd71dd9f5a658243787cadf9cca2f279c0112f22
ede418ac40903d1c126e120bdbad4d1e3b88ea09c3c7aec0fa855232c0dafae4
248ab3b39d63eac210131f4582d0d388f7ca820d22c5dfdd538413e153b0aa9f
88d99f71450a5c4165d5ad4c87bb09fde5bf61b59ec737d53eba9e38ca364ecd
fc85428ed5ba99c7ece5908eec2137683e64d8436f6852256add741471a49d18
1ab67c7d021870dcabb19b49c80f8baa20cbbe90cfdb25073f05eaa7481c1fda
4f6a7a5728c0d95c826f90ca7027b25779941b440e0ac3a44c1c707807d0f803
e915a83dec21b550d65d92cf52c33ec4306870ca3ef1531bafcfdf3e314f9436
cd319be6615ee847ccfffd34ca54e858189cd3de7500936a791aa16b55f61f38
7a26e21f6fa873c3c256c8cf9ac179c10e69fad9e32e208df82089f276df0e82
8778c3cb4fae6a2150c1d594ccc9cca48eae1ddc4999ab89b77c96cd5fd6297b
535dec1d7b4e932b0cc5279c8e2a67147958f451ae8003ab31112720d552f886
397bc85bd97a28fe4e97e7f783353e7e8ca25d7700b02eac5353a3338e720bd9
c65345d4e00648fa17ff0763e28292a216a50fe711e2342979f0271d7d7e73b8
bd26d8255f3421891f40f68bad8e84eb2c0a91cc26e661046e5b187f4b6974f1
c631f8092f04db6555bdef6764d23bae8b759456c6e47adc6202f8e27deb0123
0fe9459207624d003951deb3a203f50c58946e61fbeb898469b13f7a17f9aff4
4e220c824e5eb0bf8b16ed876836fb7d93946458eaf8587568b547d2544bafa4
1d46e2fab637997b904cc47a79aeec4d917fe665dd0c3a7c6233896ad9c95220
1a33487352739dcd1e1556eeca5acdaa29beb305087ccbd48c3cd07cdc05bc1c
5a505a3da23bfaaad58df4e99acb9330de27c302c377021d28a11ca7e90f4489
d6973f099473bce91936db5d76284f3ae75b79660b759e842835e66a351d73ac
26536f2dbea5f48b70ee4e6c0a3571719f52a5af1fe91f6cb419d881966b6d3d
acc63fa2040ddc9a28846e4dd855259f9b4b25a9e363f8146eab7b9186931510
127455a65363333f2982b999c66200e6dc06d184d61aeca82f0808c6da1db7a1
32ef8c23752b7325056fb8aeae1e397dbac74c63eb570b164bf7e0d8e2647b81
e31de4cb0510f047cfd4cf1ba52cc1deb6d03e45f0c726325c52d4e8165ba684
0270e7ab0a03397300d094d7c345be69a1a48312c400aed963d658d7d14a052e
e833e05c8cd4ae7c059c2bebad8beea3018e3af03b67e0506019446089e0c2ad
9019064011b7e216a24f73c856598804ff33d969152d494095ddf2e625b22db9
59221ec537c4bba6da8584b8cedc2a87f6cba0443629ec75cd5a74765b9c5a02
d3d87b456d7fe6594ff46665436a3f7f70b11ea12135270bb631054edfd13824
feee0f050c73d98e966de4ee084bb7c901c633d61cd99b596b87a5b76e1975de
f2f65bfe5188fdc37240644509ab376ea7321a64a1193c0e02b914cb924bb04b
d05591e77d8ab44a6b6510aee891f8c21767e8c2287c68f4ada2c57dcebd07d7
eb4560f3d3cf261fafa4d92e70dc548c834cc749997c2a0aea0693f78ba6bd85
429b311c9638af6a4335095055246dfbfc6754fd6e89c739ff893632428eb78d
9c11b8a5012c2c70504b756096991334874a5101199a1c6d2bb5dfb6213e86f9
7f6b31fe2b8bdbd0719d2a4da8d5648bc45469ea13b7e40f1faca0b865f6fc40
c2f064bbf2d004dd1e4f775dadd34472a063226b9c45cecdeed33dbc3907743e
dce926e4ed0bd26902cd67d962e014ccf620a68ac954817b194db763a1f0d3c2
0744d4e99c34323c4a909bee95d60cf8197db0c7b31049bf8c6cbaae1ca1b072
9b47469d1c71b519512301b3183126bf7c2ef5ba72b2ee25b4a798445271e6f1
f6dc1300a8baa0381b648d36d56464c53ee5b3d5fe944fa49d021f047ceab7e9
2b948b32098a42c534257baefa5f579237c4a92e98c8cfca996f575204daaf5b
7ba10cee3305594b01508bd793b4aa1b78fb13bbedd35f30c64a580ed643ebea
12610221a2a34b7e7c07c0916ebb8964916adabe08b26802a3eba3fdd5c246ee
4c836b690ce3d956a36b8794b87b3fda2cb06249796ec5a7770b00dfcc0b5d9a
ca22b9eef3abbcca88d55128ad5e30ff284d7b1271f82f0510e4080143d67621
8bf9bb41d7d4f6f60b70d514914202a8c652a2130f31480e2d1929bf392dd8c9
82fe585ec80dc1ff2218584f70b4520eec48f3c6bf92d3af715a284fdaefa174
7b5fded2b66103e8d46b719a2c469bcf4a679a65c6961463a7d1e55909359b5d
3693094fb774442b490c54d8bfb877ea18df430108af8bbf407827f469e7912f
baf3eda468744ed61946c9488d21179ddaee928d24dd35f43f75b20d47cbde4d
67d2645c88352f19bfa4e82e845fa9ca4271b4d150b062bb4dd9a818cfe670b2
2e1327697033b66bcaf5e4423d360332563f1829765f4470e1d568a2188f9441
964a5603d6b62b7337ea4a73ba6efe0ef046e005d1a6960ce191aaddc9a03c6c
2bc36db8c6af404cb06f68f2bf6d9a1c67426e38923689f94fad7aeb9d466ab7
6d75d24f421f846018afcbdbdffc10b91b7af4b51669839d5e022a2829eeed61
fe8b10b905b4fe05d387d0f776044973ff0b1e14102ff049f8ed1e07e96c683d
540d4db8cb933d4791b3d3b037e8bb1ba05349cc27cf7cd52f1b2ff2bde2dc68
58ac7236c59edd0a68013d53ed29f9d9d08c78334e99c087cb8d87dffa6f2171
72806830d3c3835f054eef619eeff0318f0d8daded53cae2b25232fce766ee64
77448e9302162f2cd9e32da8123fe9b3455d91b65f0d2b7856a130c956cba646
332a40be209c540e611c756b059ffcbf1c52b7ecb8e415a1b75334cb7cc1194c
1467fa1e65af5884117263482f7eef923c8851e89297a42671029b930402d6da
7df1d60d521fcad2e5a7ff1c8b2bdd2eebcec0ee9710e3dda39d79152f3220e6
e9e7d3b6f7ba330672adeabce965116b8019aaff9358d32e4f5c8c18e01a3d6a
d5de8212efc3b20a55cb87173bd30663ab729ec1f05a041f301d849b58e2f55d
9271dd6f95f245de6a1bcf886336bf9c5cb9a1052deba6fbc3b68efce91b25c9
e1ab3cdf59b5f6a0e007d0c5376b54191418863327f5b6b9209d6b767a119ba7
55847cfc08b63cf35b305cca079a02b363e4fc6b657c3449d037d349ad1b63d2
c19c8d81aedd678c58b029fa3ecd2989be2f05d418ddce38f29f81a7d63a22c0
122b014944b0d53b97a9dd72126d64e011034c747200195791dc3728e12bf365
bc7cd79e2363ed8318ce47f1b8a57b3217bbe76fda4322162b65284c81a0c904
c3776e7fb1e984f8dd862caa29a78776aef1b15ddc80abe8215d59e8e6f913da
0c5232dfd4a998f1c19041f2adbab97de39a4c41ce3729a4131a43a93c557644
a6b5849ee0ddad12758b794cd6d691afafbc8a9865b0a98cb239da1e933cdc97
30af55ee64679b7722e8c3b706db0350f1987fa9c375ed3cfc5828351f25c8b2
20ba48e56f3e9b2755baed39e7ebf61c840320c38c9885e2c5ab166a6be3d385
6766bee95d51acf17b6561981cf0be36c2552dab0830af58682c32093ef2e01e
0ef9fd7120bfce3a8c1a315211783f2727aaffbc692711cd947ce648291efada
e651bf261ee8c7db14bda22f6e177b9c33f9f5d061f3e44d0c8661274bc51112
7e6cb26833b0fd99fe7a0a82950f05aba0e3278f5b2a723f6e4e39b440d1d62e
06a241e626a5cb00049f7bc78cc0923b196eb2c89310ba62b48e12c59618565d
d2b2640c135bffc84594f3d9173a725d361268a3c97453f06d7310544ecd9b5d
ab621ff06d2cde93c69dda41c9e78385e14c86644785f2e902140c823539a615
405e8ab14cbca11001c3a0d221c99504a721e443cfa18e593625810f3ffb0a25
3ce7301ca41878ac7b1063cc44b083c551f24767b6fa25e8628e16945736b7d8
a303ad31101ce49919815c5d63cf6ac22c61aa4a86f6e9912a0984dc311f8dda
6e976496edf2cf188a519ca05b5d1a06d05786d1d794c9c947ebc57201234cfc
bcae8a9064373c4fba7da7230733e087e72d1a2a30076037428fcb50f6e0f962
c75f6cc6ecdd5669c4b4b50f8f133a2a3478f9d0de10971fe4b81df3c62166c1
0a4e287c36f7be28909b778246f0448f51f458bdf080379296765cc2eac4ddab
5d752d426bd348b605d5b3292579850e018590101fcd1fea01496b6aa03dc5c5
f1e1cbe8c6a6d3afe93167271cc8319b5d0ebf2c8f495d73a4ce730af0923fee
79963685c78a113a58faddc7d3bb2e366aeeb0d196e22843fdff846f5abac46d
1f60bf3151ef23098bbf0095468264d013909d0731ad42098433cfd24a80dc5e
0fc96d3a4e6922a248b59a4aee859ed8632288d5c8390cadb8ca342488bf6ea3
0255e4a96fa5b124c33deed6078d62666ce74149fe6257ab5dc9824647240406
477215333740044fdae1101b184392997407155beff226875145c7a486b9f2b1
4b
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark

%%EndFont 
%%BeginFont: LucidaSans-DemiItalic
%!PS-AdobeFont-1.1: LucidaSans-DemiItalic 1.002
%%CreationDate: 1993 Aug 11 21:10:17

% Lucida is a registered trademark of Bigelow & Holmes Inc.
% Bigelow & Holmes Inc. Pat. Des. 289,421

11 dict begin
/FontInfo 9 dict dup begin
/version (1.002) readonly def
/Notice (Copyright (c) 1992 Bigelow & Holmes and Y&Y, Inc. http://www.YandY.com All Rights Reserved.) readonly def
/FullName (Lucida Sans Demibold Italic) readonly def
/FamilyName (LucidaSans) readonly def
/Weight (Demibold) readonly def
/ItalicAngle -11.3 def
/isFixedPitch false def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /LucidaSans-DemiItalic def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding StandardEncoding def
/FontBBox{-312 -205 1239 936}readonly def
/UniqueXX 5029008 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3ffd20326947b1065649b533eb5e9e3
a88dd77004cd4fabf149d6c8d56292d3b45879c69986c03ed4b6b9e5994d6a23
138375d9a8118817361f21201be498fc13671b01c995b90c8c26e88a39f062c9
eeb1effd60138701300dd9f1a6070df9a8f3f1d1ef12004d9e25f4776a471728
a4b0f77ff3eaadf16830490108d0bd04dc0df4e81fc4eac68c2887d31b383587
e8f5cb726231787cffffbfcc45504f3f80739d68e050372c4b200c89427f4593
f9b40ebc1bccaf524532e348b95a7a81019bd937880ab32152291d32da2ffd8b
dd38d0c07df67900f80cfedd1e14618c426ca8ee99aa60e601992cb43665be1e
e0124bb792bfbe0103078edd250211471afcc22f73dce324f8fa90d085017b3e
add0611c7f712ca6e987a4c48f5bf06eba2771f2e1ab4d5533130f33a459a40a
68442ddd025c398ecaf2b2f1f73661c276b550b82b95a9abd2d32f874881b04f
acf4e0757ad0b52d43e1200d656f1f593a2a763dcb966fe3a00b3172eee0a461
b7acbf05810f14a0d95772e114ef9791f260e595034b37aaab93c3cfbde0c229
fa0dbc40f2e17403a96ba032625ebbe31ad187f83f89ba659f0ac6d7dcb99bbd
979fc642eabf4f8e6d33eb7684bc2286c48b89f4321e11bb306175e44b2e4d53
b8168d3a05d4fa0d173c6afcdb3d7096d80dff39c69eed708fa1768781242f9a
9bb356c5e871a5fb025285b1cca0fc1c0b7b19c317e2ad4eb629ed9a16e10967
534f61b968e2b340529b31858217c52e860845c318d6d7862a02f78c64dc2283
90a8668cf36d2a1fe97ae8bd0d20bbfc390beace3302fccc1811af4cc88042a7
390837f66838fcf0436f9c55caa387a6009271b17f119246ddae68ce19a75841
79b1015584392fa37fa880fe930f5e688658bdeba0293790b8782a3cc1df2af4
786488d7a015bc427a4b4bcda11b6032cc05bd092b9672669f5d791a7f7ad21a
438ad167f480bd403ae39a7bfdccafc43b577501936a65100fb57b1d335cc20b
037e9470e0e3fa9f9a059acac3f06dd1f83fa50c90c89648d46f42d3b7564637
e1072a59d19295a351ba9bbf9a806fb807690f1bae5ad38b78765ee60502b5d6
ab805c31cbf550ce3174558886436c83bdac11140a382ad6e699337684d1c990
a4ca563e01a55883c097a48c47140c39fca8670d56b07c87c1f2a618f4b95120
a36d826ec2c279e50f03cea584297812579de819e3220116f443eaf67c1ddcf5
dd9e18fd29bd555ff738e97fd6d47e0ba68244a65155888702bb2aaa8a52d9f7
63a6c7bc1f570f3cf61ddd02ba0250c684d1e6d65e365f43f9ed9c7e40ae0c09
6888b29a10e78dd16d8f1de0db95331e163c05b988dcefa34401ac4674c5d5a9
55f549789f82977d2ab0ec4e87ceac8ed578ed62054e7400d7e457f332f21284
e78691b1c69cddf0a0e26acf1d5019ed81f1132c36c6654ed1799fcd7ccc88bc
2dee4813bcd23061cb02ca3e735444803ff6fecade6dfa99a2f04dc152ba7b5e
29855bbdbeac3147a9010038e2fdc6502869380aa7fb8e2b4a3a37fcb5345a3c
71714708644ab753650a32ba69c79631b5ac073541c2aea10b8e6fd3979f2ac3
4158786cbc485accb89676cd31d2d90f3bf756048ee9bd0698c3fd3991c24a4f
7b809acf730b095c6acdb5f598ae1a7bbc3ac8a4f8580e3f55d613f80196f960
eeccd0bfd72b090697e9c02c716d8d747f9df5df5f07adf6ab00866b4b793eda
683e798ca2fd60f9fdcca680e66bdd92539cabc2716b89c3aac5d0983643d727
d0c858f6022dba5c377a52253fc48b54822e98450db69f0f9a37404566395921
030bd89c3f84e9edfa38370e72877565f6e3bd37f70ad32fb8ade662c5281900
1c3e4d586a9662c8bf43e711c3c457e719a688c11a35ca321bdf9ab128dd6af8
c0be288a8e7a0e6b987ff788ac7d87dfce367964c3a4a5fcf52b7a8e6da2fa54
484b3e66558df0fa9841ec480b25047af83e942ee853884d312903f78553e501
c5c8919498c1dcb7d5a098fcda8b66a5e47ce21acc79bbcd9ac66253085fd2de
2739f4fd00bc42c17848b1b29849cd96f9f89d08d3901621b300138e1341c57f
22ec6e3c0afc6a75d51f67d73d42a9069c74fb5e33aae11f88a1e9fd11cb8381
0379b5435a3b0d03b912acffdae0889afb90d5fe0a48610d52f094c5cbda6487
4d9fa6116d8044eb436fc66deee485ad01beb5c0007a1fe3f6d4a303af219aea
a0fdd0abcfdeb9679599b8696fb1e4f368d5ac9b62ff86a700f6b3725b4eef4b
b09c63ca8007d0e7ea143154ec050d9510c67a70a76bc0dbc4789d1e83a43dd2
f0c6749064a381ca51e791d749b390c00518e1fbf0fb42b96b02d6c3bddd86fe
62cf1890c9f8e2c59e8ce3dc760f4f020ed88417431652ad261a3a99f37d87b3
9ba9aa8a3d38afcd4d91fc83c218e3f7229343319c3edeee6ea4f47a2ae2df8c
e6fa374abb32949f2c4c7b0a56fbeaef057a75298a13f3dc1aa12b94e514d1fc
259ce97e61cce3c817124173ae7898a65b9ad338a9bb22fcd3c71aaf9c3481d2
15b94d65792157dab41a5f3ad803d206be15929c22038a795c16ee101233d12b
4b3a4dee9a755bebc4b3e3b96f60110e9c921d4c232359625888e69e31f8e18c
d5b7334e23828c45560a8169fcb5bc06bf4efdde94c7959e58ab4b2959c3a2a0
4d85593bd155f85f857328cf97a0ecdfba7604b297d6f130814717f7163d0e92
57c4
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark

%%EndFont 
%%BeginFont: LucidaBright-Italic
%!PS-AdobeFont-1.1: LucidaBright-Italic 1.009
%%CreationDate: 1993 Aug 11 14:19:48

% Lucida is a registered trademark of Bigelow & Holmes Inc.
% Bigelow & Holmes Inc. Pat. Des. 289,773

11 dict begin
/FontInfo 9 dict dup begin
/version (1.009) readonly def
/Notice (Copyright (c) 1991, 1992 Bigelow & Holmes and Y&Y, Inc. http://www.YandY.com All Rights Reserved.) readonly def
/FullName (Lucida Bright Italic) readonly def
/FamilyName (LucidaBright) readonly def
/Weight (Normal) readonly def
/ItalicAngle -15.5 def
/isFixedPitch false def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /LucidaBright-Italic def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding StandardEncoding def
/FontBBox{-290 -211 1124 928}readonly def
/UniqueXX 5029003 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8
97e651a592e4f556bef9359fc62408332ebcea130f7b8ec0669941aafae641fa
d7d88dd4ecf7a242dcfa717d34d4c60059fba9a1623373ee8c93009fd5da54b3
7b1b48962ba909e289a3264fa7bb8348760bb3c5aab5c7ac22980ac562528d22
06ebf93af39013e278b7fdfea34364982f0b2f75172fd5b35a7fa624c18a804b
4946b513c2a11e8591385c3b6baa330ca68e18374f5b62faad6a3e70c7a3a430
9985c300fa90436b49896d0fc0abba7f20ae89f4d98654b7326f59f636e07f17
2e91894d6f5eb000ef07f8699fae50deaf348c1d4ea3d16a5417c3562f5d189d
50ea31d9d55ecd66a4912a1b5911df143243be6f51e6c6bdbd48c5e70bd113b7
828afbd0be478f2b796da01606d63ced49df07194b69b29a87ff7a4bd5da3dfc
aa0ffb1a2ed3a579c05b26f25ad096f3912f1d3da11fb97b2500e921cfbb376b
df5cd2c6fbeeb89fa50f7253d84f0003ae53c1f35a0dcd595546af67be63f647
97d8500220e0238f496e95fba2c29336b66d60a3ea78fed4a917b1d82ecbf39a
e6995ee5f9a8a6f34505d60908ba7540ec0b710e3a8ec5d5567178fd5958c63d
a48026d4032d20ed53d39cd48b2307527e6ef778493991ca813098e1bb582826
06d5c2893a3966880fef63d4c5dbadb2024c366ffaacd776a4b278e199088cc0
d3e5c5da79873c1d64810eeca52a6394942609869e5dec17ed57b38ed5a9f66d
3c46eae968ea1b375b05f99e8bdca4ac15b1ef66618e09dec517ef7258ed7e36
02d113448f718d8dde3d0c66b221461fdd3cd04944dfa87940fec8c651602b49
c3617f32393e9d64398ba0f1382c7a976ab032d1725d0be06364e3fd58b22ad8
51cdbb218358b114c78e49270bc4f71c908bd64ac58bf0b86baaa1b44dd328f5
2a92decde56df03a929913e6613bf101cd9976cc43a3a82eeb2f15303663c25c
dae443d6c4848bf2473f14e0cb2855d5d04d001d96ba9839bbc91db7199a1fff
0a16fb9d4d260a7a7ed60a55ed5fb32e8c5905e5f39a738c4dc0f50c9fc1a7f0
35890ab5ec44c53f591d29e72557a4c609461fef85bd0e30c853e357d674717e
ba2b6a429fdcdc279f4a52035a732772cb805aa9a08e4cd5a364e65b8ab63fab
611876c3560a677cce151fff0b0de1aab068a8b9b738ae514b34c1ac262187ea
5851fdb455099e2ec95a7ea817c0262c6e8c4c3f2d17380055785ec754c8e573
47f2dbe521cdb2d71228d40821156c93994992c526d86edeff14c720b632fcb7
ba3173129700ac293842538186a42a23af881043a313a28a9ab35b5d1dcc7073
905d3a630ceb5a39462c89a8642dfec25dd7f8eb44a78b4103c1dbdcd8eac8f4
ecb44993af5502a5cbd2b73a4aef2f27f9b006678153c96203219903aab916e9
2a8e3766fb6fe9ede1cb681c51cf11739353fdead4cc198a23e9f02a91105e58
df43b5d005d5f4208311a4e0f2b610fce259b419f58f5e02abff02da9ee16487
17934572f971b9135d2b699afcfd952128a915f514d915524986df607ad4aca9
34355c9bf3a17c4c070418278596eac5bb9d8446e4f491dedd03b4f9294c7d5f
6d74987186ea78b8074861c1def82b847d81e9ff2fda872455d719ab0bd6f326
5f12de4ac50bcfc705197c0a2f9dc8630415734ad37d0b0b3d65c6f9c10031ef
51a54a79f373f585433aee637c49b01a4b948932d19ba2634fd143374698a3b4
42ad01a36e88e7579da8fc668c949ae3e5be365d98a4f938930bc43ecc3da512
cc9b02f6804f7fffabab53bdced28b90dfd411d33fdcc7041f5a43940a9679cd
f71afbef203ce026d5c6bb00edd839f1b19790b16a1850ff59766bfba5682f28
61f4b71b500db520549cad780fb716ee66e578a1a94a90dd1e164a03be21e9b0
babedd275b20526fa8c89c3700b60a1fde581bededa1882fd42b1a08836fe68f
cc574789bf1e941b358096b0c6b1f6496ddb66e0f35a13e3f71b3e5eb572da4f
4c4d240d709958a1b1ac395c81b7fd558d4176d071b236bdd7d30bfce5add72b
6a24c8c0774446d3f495dcf3bd08670f6379750ecc689d5f381544884539690f
8e39f543a827cc47ea4babf39653e6401f3fce271de25eea6b318fe8234bb5cf
de152af9a85917998007161e28c8eb4361a77306cbcde7a27d237ea1292de3f3
6ed2f18f524e3970926445bcb175e70b1545a76d26a61bbc97a1118d71256dab
c859cc5052f78d422cf5d1f9acd22d5c37e7c851dfda67be6c600e9767c935ab
e6793bffcce7c0f6f177ff4909435a5fbf5e481864f448fe05b0db9f8f0559a8
014c9a2617ab1e9082af8707ead65eb31bd251d321dbb8bc978badd671591d34
4705d5ef88111350440aa3ec5a3382c45c9afd731a66494c0daa909387e328b4
7b73a5e07d311369bb845b95ae780673d1dfdc1eecae38c3580de2fc16187b38
9a396c8799bec9464619296eef730f1b66cdc1adec9e3d612507a15929503396
20cc063671c2fc7be0de8c75ed8d71ac847fe37a7849dc13144271eb4bc31cc9
9c744e5e2b8e1a595dd5ffcb5b76f65c3c0b9161ed7b94757a52d12be6d7bc8e
69172367942c13ce80d5d83e418cc7d5665f1aaf06512e0279ab6b544a3d0014
0f1987e457559e38237bde62cf7a054964fedaaaff8eb5552564c9cb76de3a0a
d57d0881ba3d6e104bf56577acdf753df3c0306d6ae66078116eff988b3c4eec
45fbfd9535574f363186ff44731b1f88a1652f3f7a32343af75a5878eecb85a2
983d3784f10013da2c11ae042feaf8a93c011c0464f1313f9376f4bb68f28396
943c120d8a459c23507a4f1dad8da54c49c08f761f604a4afe39e62eb0f5efc4
a3df22362a10abc8a6150e960a86b9de81dcaa37d5c6f1c9dd19283a8b1dcfb3
118992bdd3faa6a6689cac36feeb2b7ad59e505fc07c3f34ac5cf4010408abb9
7f4317896fbfc4bb52c21e5cbfa3bed059b46923340abe90de806f53132374bc
1493584608900d90861f6ab966ab09e3fe174df4cf295a0bc6ce6f5e60597c42
536af1ec2f495ef3316a7e023ae6091da805aacb96e0acc721b9788598bbf08f
21fcc7f2cea10451bcc053a1ed97228abe9d8a3ef338fcc05544a65888e392a1
67496e90aad8f1815bdbf5344f6c6cd7ad9ed60f979f0898e1518d098531b1f2
559a2fd6d8891c2c4850256898125399750dc1b8ee145b6c5e2f9fb6193c4d9a
c2975e8ffc924ac880c40f13f4f739ec9dab799ceabdbcdaace6c30b7537fcae
0558fb59d357308190b7c689dc730ba060a49a185ae5f141f2c4735e448b542c
9c39d66dfa68fa936307d3d19df38d519963806045df5844042dfd34f2bfd53a
5ecc1efd144a5e7abc270818dde8ba2fdb2ba36db283e6984215fb387e56fe20
6c228d1ed48d66e17418d184649238d5963ae8de9a74ca224b814c2d9eb28513
5e1a9cba762e94ccfcb5fc664eb0772783f5ff847fd7b788107135b87beb380c
7626c1f5fba642df06623e0f5a971f286e74c98ba6cec0268f5f7bb530f0a42f
2b10364f99ed9a04e70e075e9dc470ab5517daf65e9ad6799ba94a497155118c
be2514cfee0eff59e9b13c43237d86ea864fe1d78e6bc45c0dcfeb59cc7af32e
cef0ecd7f961395927c70f960f2ea3fb12ae3bc0cea13e554d6b91e6be273326
edbe0bb9d9484baee0f6f9ca52e020bf2fbe2513898ddaf005eba26b0bc91f77
9be9df3d50c33ef5d5c427cb16a1ef37d9f07ab37d3479135ad02b4a2df9c594
55f819caa594453e1b9b1842d3d2bda99ade32838e8b17b5cd3527052505f78a
ef453eee6d86a361d844e52384f2ef038b4325b3b8185a706994c1afa5e85ad3
8ec23f16463ef2cbee37a28699d9b31412e83ecf863ee6dd9384425e431b5f5e
904eaade0af32ab2c23ca950f90fd0f699fde0d8a0acac67e69e5d19c7b4a25d
094a95f9d321b563ae16cdb65f9c6151dd1ccef85723a27b44282d802dad4005
4cb00b20b60916882d892ac4f6a75f6110828f073247f4d3e14062a1ee70e3f3
fc68a5e9734968fdecd526036e3a4fbfd2d95d4a5911f41b16ddc037fe133498
7b58838969241a007744711a08f126a1cea18a9159b517dd94b16147088c95c8
c86fdf59bdca684359a842179fec407e7f9a6fcaceee66efd8a2f1e72bfe702c
939b1d6e6e90b8e23806e0bf16c2625ad97e0783698ff92ef68eac78068149f3
6fc2093f4b051324522f60d40ff7987d3b450a0cb44cc706c1987bee875ebd86
3eb498ab9a1ab1175eefea710f433e58396ee53a5c6bbc7c13ec7cbcf77df522
003609d610a336cb48481ec8549192f74a894699f32cc86a67445ca1cfb655f2
cd1cdcc6e949102a4ab3d9192bbdc9c952a128f6a7d57690038bc065c335410f
9029b2c4dba2916d4b87bd73b71f791f035cbd138d39a7c559ab9f18f36f385c
e53898c7fe560366c9a08865b24acb30020176870953b672101e9729ddbf477d
9d0bcf6c45e0ccb1a083453d55f6f47b84b3dc8977644c80a53f6d04bdca29de
ce3b98ce17b37dde5ca77022c250bac6a922f3bdfa68647eaf9b0874e0492799
c249f7d634c8673876e9060d6daca89a496aaf91f204a2c4f1a1a6799351d05e
345701cfaf1bdd954b131101a87aabd230cf71297e6f43d3130573b213dedb0d
c2320423af6de1931112a4915c72a84c0ee349ad918bbf6df2bae6beed94a86e
ad793c2322881011bb0cc48e10ace96c090c7a91868b0444185e2ab6bc04901c
85454ee8bf4ddaf7c77b8566fefae7534b69c8636545387baaf8c4377829f6dc
c42f6e26e2012195c6965be9b974223e3f11ffe7be52036eed0391cfc845ffc2
25afcb0b5126c296675af56f43b2445ced84b5878fe910d0621d95a486870069
053912da3c5ec8bf5f8c8f2848f62effc977a6dfd3ea92917460e634c2e5f0af
850b2d3fde5f336e9894e39995d2858cada101b4fc565e61b4bc36cb899a8325
27e551b06ef85380a67a6cf8dbfe4a10557643b3e3d40da123d33bab7c054c33
6adf09876843a7aa25dbd4c781bc435cadcaa8d3c6ff0eba8dccd3acc0af193f
b2737b7e94a9e3d5ab8ed234d7c9d6dc61e7dfef0c3c1fbeb5d843fe771a47d3
914e42a93cb250f1c9965d750431ac57d4dd8cee0e54825f7698f8b8c4c5898e
67568151d0c2be786f493236c729c8143acff0db9ddb55eaf182e857590fe11b
33f30f33e4ef7e2dd7a5aad963f4846316ae4a2851620441bc61ccf64cc2a544
d7738bd5dd6f60ea0f64d39fedf4ddde4f2cf3cfab682a1433be98e97c77a4ac
df882f5e5c605bf6b4c926783146bc8649f30e2ba6728ebba1fdcfbc0fc47b42
f097d574b5109feaffdccaadcce2e3568b7f58b3086dac80bd0a34c0afb5a6b6
0f8496b5ff5342ade0ec77b4e60e52f26f8d822a1a0af6f5753a1ef0c7d3c4ca
8962ef86ff64afd2daca232e101169e1805acccb20da20744ae67a94122dedd3
eb914173cb9bd4b4ec9edfd21848e0b5ae3e403ecc2f8be476846d1c45a091f1
24e4d30a3d73f93bf722ff2ae29bd0abc38defabc1052692f30a46d68afdf214
4389e374e58e865f17525d59b9ea9cb731b2bf946ff9366f25204d6c84e4583c
b065e534fb56e147cf922028238f6b355dd2251e9fa857f6d87c539c4703dbc0
99c21942eab27940568e6d5ea0831980c459e9c9
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark

%%EndFont 
%%BeginFont: LucidaNewMath-Symbol
%!PS-AdobeFont-1.1: LucidaNewMath-Symbol 1.003
%%CreationDate: 1992 Sep 13 16:32:25

% Lucida is a registered trademark of Bigelow & Holmes Inc.

11 dict begin
/FontInfo 9 dict dup begin
/version (1.003) readonly def
/Notice (Copyright (c) 1992 Bigelow & Holmes and Y&Y, Inc. (508) 371-3286. All Rights Reserved.) readonly def
/FullName (Lucida New Math Symbol) readonly def
/FamilyName (LucidaNewMath) readonly def
/Weight (Normal) readonly def
/ItalicAngle -11.25 def
/isFixedPitch false def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /LucidaNewMath-Symbol 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 14 /openbullet put
dup 21 /greaterequal put
dup 41 /arrowdblright put
readonly def
/FontBBox{0 -954 1260 898}readonly def
/UniqueXX 5029018 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8
97e17cb027f5c73fdbb56b0a7c25fc3512b55fe8f3acfbffcc7f4a382d8299cc
8fd37d3cea49dabdca92847af0560b404ef71134b0f3d99934fc9d0b4e602011
b9cfb856c23f958f3c5a2fbe0ef8587d1f5774879c324e51fcb22888b74f2415
50d7401eb990d4f3a7af635198422283cac1b6cd446ddbcbd915db9bff88844e
784c6bf7389803d9450b0c21756a0173064625f1e0957f287025663ff0c231cd
33f3d75ffc1a40c9a835688b67f98e4c0127f4c60afd95eb13bc5fd87ee3af6e
b850ea34fe35076f90bf2578810796500d7775bd58bc705b1f7f6ad78fed3804
a93b2b35b43efcfa4050d05c257866da2a33702a46d1f5332670de6051814939
d787042fed0cd9a2177d7f8bbafc4fa8145c6dc2ffba821e859118cc037affca
a196a16e96666e898dd83d72a72ed44032480e2d321f8f15143a260eac6c3230
afad17c5e2942042a1137b2fdda49f1f2bfcab46986b8ae87e9c29202d2d22dc
acfd290c34a82a953162dbaa42a11e900564f74ac8784d4d140f7aa1a3195ba3
04fee4e33ecabec078c2acd6363ffe1072180173a1540470ea7208e7421b7e20
0b842251bf6571478edeb5ef6001bb99a217f4fe6c04dcc21e643931d51a09b7
5e16e17b4340fbbd890205612929b0bf2dacc4d81989f344df8b22faeab9dcaa
62b7f5060249dfabcfc351201303af7009620bbd718b2fd6bc7a2d68bf6599db
ec43c808aabe56a7b846748f816ab477f219a4aa9b6cf7deb6111680daf4316c
a8fa6c51d9e7aa6ed9486a4a5fed89a2d7e2188770433a7b5f2064f25afd6e4f
bc3c5fce3e95c8e6250de6432e3450ef22f212311b8d146a34a8d7f8b64c061a
fcb0c00953501fd0e04024a2e8f56d6c9fc0cba21524ba26208e1f6b5792b2d0
603b5ee49058e2e1e74a861c1ba182a2a33901966d1e8f257da7bb9745d4964f
9bbf3fa9fdb0d90c89f1901004be8fc6738fb57d4c92ec619ce83ac8e8502e71
5b7ad6e3ff6c09c5bb9ba421713e79cf049a79cf107e8f1575e251ae6922ca6e
6d0dde2519d9f90d45175f746b432c43966ac05e847a949a38c48cb588064271
899314e41854631f38badf51d0b6b8353944b7ef6f6c90705ecb934ee7f05481
80cafc979d2ae0dbea28ea5f47600be572b8afcd08b794e6955d3e19cebbdac1
ac9e3468fe5cac1aa78909847a9d19d0c4eb6aa2401a163bc2595cca898b1baa
674d6057ac50954e1f4dcf00e5de05df8d429966741c75accd5c12de2080ee4f
5c18438a045ca82e23da4fe2cb241465829883a2915b840f1bd6f1f74cde6257
4d27b5c3ea8ed5754237a489b4008efba120a6d2498bd8a01820aaafd84e6128
f70c6da04019e006e18d7f0eec14d4b25eec47604785be8091f0ceceb278be9b
64cb1e3f0be92226438367c143cec381181c61778b01cf8b5a18f6046ac9942c
2220fa9609523d262d1aa878a8b1729f9c322eb0fe2e57f66204e6faef4e5e10
d32d7e68e31af77d1e8946e93c71dba410e4461b9ba14a05fa884fd31c2239a8
367fc153dfcd05c2c2f550dcebb53443cb52f8bcb1a32ecc27bc7b18abfc44f8
f54a0dbcb3b8497e7edddb7f5e129f4d44901db7e76c1b1bbcb437af75ea07aa
1a26863d01faf0010b60e0462b165bfa1500b9ed07c4e39e806e915f33236fae
5acaee91102fa63ed584f71f245ef26f2517c72803b4c82cf974f50f4b8fb9cc
e9c2dd1eedef7d3d31410f6b9f3088b365cb4e610f988b368a
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark

%%EndFont 
%%BeginFont: LucidaSans-Typewriter
%!PS-AdobeFont-1.1: LucidaSans-Typewriter 1.004
%%CreationDate: 1993 Dec 07 10:43:50

% Bigelow & Holmes Inc. Pat. Des. 289,422
% Lucida is a registered trademark of Bigelow & Holmes Inc.

11 dict begin
/FontInfo 9 dict dup begin
/version (1.004) readonly def
/Notice (Copyright (c) 1991 Bigelow & Holmes and Y&Y, Inc. http://www.YandY.com All Rights Reserved.) readonly def
/FullName (Lucida Sans Typewriter) readonly def
/FamilyName (LucidaSansTypewriter) readonly def
/Weight (Medium) readonly def
/ItalicAngle 0 def
/isFixedPitch true def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /LucidaSans-Typewriter def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding StandardEncoding def
/FontBBox{-12 -205 618 928}readonly def
/UniqueXX 5029009 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8
97e651a592e4f556bef9359fc62408332ebcea130f7b8ec0669941aafae641fa
d7d88dd4ecf7a242dcfa717d34d4c60059fba9a1623373ee8c93009fd5da54b3
7b1b48962ba909e289a3264fa7bb8348760bb3c5aab5c7ac22980ac562528d22
06ebf93af39013e278b7fdfea34364982f0b2f75172fd5b35a7fa624c18a804b
4946b513c2a11e8591385c3b6baa330ca68e18374f5b62faad6a3e70c7a3a430
9985c300fa90436b49896d0fc0abba7f20ae89f4d98654b7326f59f636e07f17
2e91894d6f5eb000ef07f8699fae50deaf348c1d4ea3d16a5417c3562f5d189d
50ea31dd126d7abb44160f883d12931cce0807674719d06a1ac627f664c7b53c
3fcaf147a25d03500ad2d0714cdc5664278c291166ebff0df00fd1a95b779199
478b07cb4bc068fa37596d4ea6e716e411a61025e65db37c1db5b205a0cae39c
7d37c0fee78a9c092967c794aac29ebbf4d040a306a9d4bfb0669471e87d9674
84e6d6634aa98a69dac271048bee589032da0a8248d033ecc0e457dff95fddfd
34dcbcb7c2a81823615f4c02bc230fd20cbba4251d1cde765def8d8d895777b5
77bab79a96224e44b73ef0fa7c1f46e821885a7107af2361024221a8b0b1b16c
96146912e0baf51fa66373fc1dda8b730a8317e6f58f3dcfd7cf78cb65a9cbc9
6e4cf217681a906089c468b3519d0c831a13b791f1a14b01c1fedabef4cc61a5
e13f89da293d622c8e49df61dbd0e0e9f7abfea85d91278968d1dfc99e70c440
56e0462936f9e9b411c24c5aa2471af2a953e11ef6b06c719b9198307e886bed
5f04c8e49c05ca1732087b202a11a227da671032ce85d555336345575f8d509d
38ba50f0be28dec8800706721f4873ccb342fc49de223754c478894060b2bea5
174d6d512d612966451db330d77d7f7e1f6bf9885ea234cb791f93b4a3edfe30
e68ebb1e636e9763e43bbd561c68155445809c9119629a4ff3b2d86e4d76a821
8fb46e896b7a05b3048fedec4abd9b796b0a1e21dd7fc2c69e4090dca7417a86
e0eda3179a4a5613cac149982a1eea45b1f309eaa8a7bad574adfad342869083
4d7763160f3f2ac6a288c47c17e116d363b9bfefb6c583a99e9f4ff06a17729d
cf0307e1b71e70c5a94cfa9b4380d32a7ed8b3be427ebcc9d8b4267d0035827e
2c0e37efd7ab6a206ff8a951716b24c511aa2924ebadad72b697584bb7991e9b
732e12e65bae6241120243b8b1c6ccb2f08ca2682d08a2ecd55e062cdfdad08e
c58465bc17c870f5089538cfe487e337e527d5c151790693eaf074e9dff05c37
f2eb54f2d620fd64b5abbfc82c0ceaae8ee8d0707836c09bf9210fcb74552d26
48db8a35e05c2bea1ed64c93324e8ebfe149eaf9a8cbbe9714052336fbdd3331
fe5b5ca26e92ff8d5cd20a575a917c9e7a9eb4b6ceb36119fb9c293546ab841b
4e9224f8b8fdd0f8e160acc576b8270587e8f3721fad290207b4e5b187244842
32993a44e5d6d9febfdeb7ae7ab208b6d23d1d73bc0b18c6f05f4569d3c4e4b0
43dbd625c104dcf8d55fee96e7265650152c3df839504f1b6f97f7e64ffaeaf4
c0dbbaf43242f800d117769731543430befff3b92a08b8557e2ff3ec15ff2cf2
ef241468836c87c51bf36f249b9a8253530777bd8107947d94d379e9916c4459
de895ead7478ec49430ec5a35b9efdad04c43406ca182dbd99d59995da10420f
98911630e1a7f9b33b90eae74b58b5df2104a5ded91bb5c18f13be8cc724e63f
cc34a97199203ee519476c05d7b9be6dd490ba54dfa80c9b305b185da7d1de56
eac976933e7cda1761c1858600be6aa320ff9095fcfde4363a4cc3db4859e18f
c64237e3704b730e01a6e9f9a82480bcd8a10f7495d6d688b40d8be6a0705f00
d47b15e8a06869f71d570145968917dcdced811e94bf070347bfd595824bda1f
d61273d6575837979f92ceef48d48b5de571bea40ef6902ddba5a152fec7141e
8f9a5b096d872e0d373e975ffb1a5b8e8dd77b609c6528c51bfa4042a11bdcf7
472bd916dd7bdb6f8070a1c2c09c26a302186a630e2ec983d7102ec7636a6ebb
391e820e57af13e4b667d53c170919932b4db5f070a5ff96b73e69f5a44eeb9c
eeaeee7f6ebe92a3f0b2e33b360e5336fd9b1f8d30597b8f379e348d47af9d96
33361609e64f49dc29487ab459369d24eb5bddcf344668e8fefd86f1317e8791
b16d32d154b93dce16ebb8d2d6ab191c681c76a1d60c2a33a3526daf08c2a9b9
eb173d9db09d6b952373c7546b86eb5fe4b3c1fe212cfa53f4177e0b1960d8db
a33935eb82e4fb1f200ffd3b27ea0de7c5b59942dae98a60275542a02f2d8864
103f780b1980a80f2723e5aae4ff03def12e87394d9ba93dbfd4800a044718b3
1a55607c8109cd76722de6a50f6f689f283e0b4e774aea25e3b8403685353d20
cc4c795b30f1f5217c2900790c4f94105e495a2b3788db194192834d3ff208e7
5326a88ccefca5d64e762abfe34bee9c0f90e157220a09d315574c86bf79a2c5
c9cdce0e8048c170d242687fe2e62dc2a8321fd7f581b1648e7014c7f6a8f7a9
5cd1cfa4a06191267b6f5e9adb8a13d3a4fffdc85b0e40c2a2eb7b674b173ea4
f8a13f7c83bb513c680fd8c5e5158fac2b900cfa49f788c0686fd3691a1d2aaa
4a1237de2ca0ca9437be87b037cb5fffb3b21f59919145d5e29167143f08f252
9f6907205ec41cc1f4cce801030f8419a2c1e715080c84f64dd982ac84bba027
bea78bb40964cf346fc2773256f7ce7b8421010441af2d3b50cbf342c097d407
c1715dc1fffbaf4b5c1656785ee0f6711983b7c9f83141dd74ead6f69378e554
3928ebfee08f8bb25a453df2fdca5d6e192009fac232ec89c688d5d8c3fbfa08
03de96f6a6bb2a80d66d41c89a0bcfd7eab6d82992f9c8d0fb1ad17b10ab88eb
1b88daabfec10b9fe48ac4fab5236c243de4c162d77736ce31da92bb6e878ce2
38f3d3e249ff17d955a93bb358738b0cb75b808461b304690e352b60dec1a156
91c259fd07835b74dd3df05006e3989818887dd15ab45d3d72a8a91e653a0fec
7ec11a622f7f3ead342dbf9b034c41de59579b8acd3e7f0a79bcbd2f1394ff0d
fb6d778cb9eeac1d905cad6bdcd9af3d7d7bc7b840a2cb761f2ce190c5dcb495
9a50d3e942a0f150f1ea8d94dff25f916f6e64b9ac8cee4a7bd1977ebc62183b
ada5565310ce6c1accb069b58017eed8ddc0e0f0613a8c9bd9d8a28549fdc232
05970cf4be0a3bd205b701e79dbb4274f8ac942b63db7f64b468856b2cbea254
59b6945f68a768b4820c833d213c5c949325912a4dbec4a8b8a88d4e0f91007e
4958b6472e0b412c056b82f775becbd3ec71b5f140cf52ca4f894064b5fd2cbf
c1c63ceabbdf003f8ad95610062c852f733b7693198fa7fda6dee30e594eadb6
29438c03d765e2b8e364714a5bf420119e9b99439a2854401360960a3963a645
89e8b0bb9344c1438a4b790290024f9df5882e4dde75589c644c6c9f6c2efd73
6d14b07a84f965811d15f325270ab140647a662995ffc909c27f69e0c59d36cf
bc62ba0c39f593907ab89c5d1eb0b16540a7e0183187db7c723ece4c2a76a18e
ef39d4c3ed6f631f1d7b25c38f0b3a9cb5ed2ed9dcdbf1498e637d4b4d0b6e91
2a38231a486e0e0d7097daa6a362badf76a93205b7dfb88b56d1ff0f4b9e4081
53cdc511579c1ef20435155a595c09485b8e3a0dec9b439edbd9c8cd8961cb5d
a4c91274ab8dd251c800312d92b5dac4e57a82c142346b2a699fb9ed9f5e8352
0391d560252ba0ed068e3c61d79d7aa1a02629beb1232014152b3d9202cef0c8
7974337fd915127636c43a012bb313afe8800e6eafcb7586d4e8d8c586b0dc30
ef73cf46e49253600fff99a1bc9e6fdb8932db7da8f6291ea456fb8eadc2f6e0
50cd7a587b3db22f20814230a21b240c0ab4a9de593843627edb700d5c628a69
dc96685f93a7deb7830341a2ab57dbf67449d6051962eac4d5f8660451a053b0
e1f886d22e54e689da03609a1913ce1b41b0788284f35a333a5332dfb7d3d200
989af13916dc8b0424bef69a01f8efaab63993cd76423e5da4d3fca6992ab73a
d436e5b8c4e0707f79d7be15abfb0895afb0d348c95a42107728b53f5352cebe
2bf1b112521a1df977c84ac775164fb2826a6aedf1c0cc2023e9740c84d89c21
de32cafd178a84bde0b79b230ca1d3f74e0b11599c7f7c4bba19397784264caf
368154e4830559bf3b297341e2dd78c4cb4fc5570b816b446b79fb1ce1dad0ee
debee2566e01497fab45a061b60f434a66a660780ee27ccd61d96fddfdbaaf59
e6b92c6f5f9c7ed366e66917daa19778cf384cab78b0cf1c3a2357598385b781
eade2f842de70ac62fec4feb32d337c9117580f0c7925d633402afb60c26a146
db7b233f71ba7db91c2f462a07dc022c176fcb18cfa9cdfa656d7fa5eeebc350
d3dd7aaac0fb5586359f4473f01ca1c0b3df6e9a95c7c781f1bd1afc3bce1772
13ff00cc4c0198709f96a584530077bac0438393b7c2c35e4e45eeb344848ae0
1363791461a4222a69b7c941a9d8278e3d1021c816999be20772c5f5bf0cc7a2
605b5dc7072bdd657be1165f92e54ea2cd99e4a17fda8546977619b01533780c
9a8f03cdd358b492b216f8e8bdb84d4c3b54c31f89dbd71b78ecb1bbf42e336c
ada34d13af9718be2ec654c8d9d4968d4aa68282a756d9e9c69fd7f61b912d63
17188c8a31f42e8d32cce3721801fbb7051dcc85f5b96e930efb59d7395ccd92
98b62e2e9db13bf2c3bca8e63970a4b4ab90fbaa4197ff6eb3970e23ef7aedfa
aff3151d0bc32ff2e89b87ffe2a13929190b667d3c0254d4a2ff5b747957ccb1
03f1c27ae358428fd4bfd4eabda58cf63a1946417ae66d07a7d434602bb5e206
929be09ff5bc75110a23b49a11744ce4689b706809a487e3ab5f8d061610746e
7a58bdde9b7379fbdd9973a784c7f5b703af4bee115727da7dd0aeae47172c7b
70f31366aebdde434dbc30eda557ed34beea59bce2392e9a707662baa47c5a66
3024556ec5480d9bf1f0341c60132c438c480f857d6d21799264d0cab0ff3419
4c32ab8dcf89fdf3a5787c960e6796929d82dc2a654c6fff63442e7e5e74c2b8
6b0b286204310990bdbff9c2c30e10b985208fc8c531cf1dc86ef3c378d12825
9d7ad2b751df9de8603b784eea0400ea243b78a3d02e884f1c3ceceed3831033
3dd6047d46fe4e7ce918a5bfda051b83689b5570eeaad5004549a291dd9f3cc8
d2ceb159ed07699d6dad960a8186da1779c2f45aa0cc8413fbfb27e0dc84b690
582439cb6ac9114d3f959d02c7c25ff5a37988c3e37b60c01cc80c56887a578c
5cf6f3630092deae33202d3152d87da3694777467466d25778b9029a1684ba9a
773788fb9c60539358333819cdd2ed181f4c062eca1f9a6bb06573b95e03eb7d
c4409fd9f47b633e47c7fb0d2c3f69da9f7a5f4f5cc047226a4064c6f6c8b2e3
0d790d131800564cf0ab42c90fbff4eb44610e27062aeb4300f5c28a5bea4d60
ba6fcc9bf9f714340b4be91277b557a250fce00dcbb594594d0b57e77e077b2b
b805cfa4fd0a917901359f27fb8671bf4454cd3eeb259d0b5ef74e566878e2f7
da858a879dde98d5aa55a98a8a95db2fd09d3b5be04f718ee414e16a10a04545
1588d7e48e4213d4f4fe1f3ee9023c3b4313c9aab8f655d9012ef0324a222a44
ade79fe7cf4899d0245f2ab525b09aafe856be7444649002afc0e222b23b
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark

%%EndFont 
%%BeginFont: LucidaBright
%!PS-AdobeFont-1.1: LucidaBright 1.009
%%CreationDate: 1993 Aug 11 14:19:28

% Lucida is a registered trademark of Bigelow & Holmes Inc.
% Bigelow & Holmes Inc. Pat. Des. 289,421

11 dict begin
/FontInfo 9 dict dup begin
/version (1.009) readonly def
/Notice (Copyright (c) 1991, 1992 Bigelow & Holmes and Y&Y, Inc. http://www.YandY.com All Rights Reserved.) readonly def
/FullName (Lucida Bright) readonly def
/FamilyName (LucidaBright) readonly def
/Weight (Normal) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /LucidaBright def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding StandardEncoding def
/FontBBox{-286 -211 1014 928}readonly def
/UniqueXX 5029001 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8
97e651a592e4f556bef9359fc62408332ebcea130f7b8ec0669941aafae641fa
d7d88dd4ecf7a242dcfa717d34d4c60059fba9a1623373ee8c93009fd5da54b3
7b1b48962ba909e289a3264fa7bb8348760bb3c5aab5c7ac22980ac562528d22
06ebf93af39013e278b7fdfea34364982f0b2f75172fd5b35a7fa624c18a804b
4946b513c2a11e8591385c3b6baa330ca68e18374f5b62faad6a3e70c7a3a430
9985c300fa90436b49896d0fc0abba7f20ae89f4d98654b7326f59f636e07f17
2e91894d6f5eb000ef07f8699fae50deaf348c1d4ea3d16a5417c3562f5d189d
50ea31d9d55ecd66a4912a1b5911df143243be6f51e6c6bdbd48c5e70bd113b7
828afbd0be478f2b796da1c7f3308deac84facce6ff0dc1a28eaee67d877e8de
52701ef7a42d06c008a0e2fb600f918288d53c7c32c0397ebeb3c150e83218e2
3e39587387ff7eef806269eeb35cc002d35172b543c26982a305fb0804da130d
ff7cb6f74d37b22ec1f615e2c21996c0cc4d3a52831f45c8cf3919e2d41cf1de
de422ed836a6d2634f68cea883b66d3ef2eb16df0e8bbdb2ddcf68ac2a799815
8396ee1c7aa77bd24a209a7fa8b45ec93a61acf3557588475c66f67acc8398df
4a3710630146873a3b2856dae2bfaf5cdfea54a628b65a779f558a3520ae2146
e82d00261a0341a1181fe126736c8d8872e98429faaa24bd6017efc8966ebe0f
b344a209da3afe7bc6d6da870d6ced2cbfe3207fa68321792807b540071976b0
2d005494589bd2aaced62f46c169df67819bb7403360337083f6751cff9dc063
793483a6370e8447a209b76dbe5ca07c88a9e649718839843b09200aa9632545
0bdb50396a109ec09bda100580c4dbfeafd8c9a63ae2b7af22ef0ee52d872cc9
15bd5deeff32b709fbb3655a68085143e9b9d194063888ad2e617e51277a41b0
565bb7c2fb5d20f1d8dbae1c23cab620c1d605e278dcbc7da130e354208c97c6
08c3df7f5800a95f33131e80e20d97f5faade6b0d8a2e035caab748aeb71934b
1e95a56ba4bbeda04fd268bc68223cc01d219e50c37466cd38cd7508d0ead76f
73b8113de184e6b21ed832620e36d1edbe356e1ca54b8f9132903b0585e57952
f0644d3b3ad424b5925ee1764c0fddb04b182f98a299a46fe58cf2eda8ac0f84
9fc327bdff2f12f8251606bb7ff4b704f7641bc264bcdb70326babc17b8f6ded
f02809634813faefcdc00bd02c06d77bc46bbd7bc4862812a563a0c0eaee7aee
ebc901cc4ef2902503e65c6dd88d66bbcda5cf29d9566ad1f187a1ef4b727170
1318db9da30814b887220c0c7b9526e492cee3beb441da0ddeed8da574a1e1d0
c956a1c12be45a51ee264574218d847a894dce4278c254b99470ebec57bc6177
49a82264ea5083a230c3699d0a96bc5fa29132fd8894c5080e437f305fb35903
41b3e05a9486f40edf942b79c02d83ef559032f3e488278be42d62b422d6f494
208f46c9c2e7d89b17f09ffb557a5833197f4ae8c7ada46a594d27d0fd68240e
90ec5c92c9cda4bc8ed41f2d6e993dc3f2da0fb9818d1e0df03c75d395ff20a9
c988aafb0a1af6c75c122ef44a0453a21df03953f76336dda5a06c6418216345
0224bec1f60b4843731f4a7fe0ce0b84c8f3e5ba8e34208f58ca1317ac6f9ae4
2893a8cb87864fc697d7885472c317785674ea47d1c18334d3b9961b4a24b058
34924eab47a9b2a61365a4e72f6671d99182b09d31ba68db423f7bae8ce3bf99
8a35d722fbe7d8495cac2690494f4104999ae892a4ea90c88f4cbe71452d7897
a77e5fa55c6ee15135c88f90c25dfa6c040ead627caa677c8d4243a264e5281a
ef9a03dddf7d1810f05e71a987575eb9a1464816b80daf1c1dd2628ba7fc0ce3
80d569a3f3aee5135d25450381531feb9e42efc04da2b3b34374ea12f69681f3
691910301dbd473b5b1c91c56aa1076bdbf234b92cda56c35f3ab8b257051efa
152ff91c7a36c80dbd880a54a3d3b0e7688dca64c3a2ae950abc6736720ec04c
f8f3b5aad4d313c5a02bfa50b6454c50d4553e0a8324ded83fddf8d145dc3b07
faf083dbae2a3c5becc9112f0501b972ce624dea3b08f2e3229d8c5a50dcf9ee
7f60fb905d9ab1673b720fae5b45e7ab345353c2dbda0da06b9e99d2dc0e78c3
91d9bab8f0c45b31a08b434ce118a303cb776c22566b1a4583a3121b44439efb
0627b253578cd84e01355aae5531b3c88a8d37e36fcf02b49f4e0447494f989d
53ea1825a06e601f6015c3bf4a4b60a5c9fe18c5cac649ca841590433186abec
6a73d3338b901f54e2490cdf3f528f2952980a08e467e008a6271f26e3673972
ddfe73628fa98e522843d9ad180c1e9bd774c45207eac1e2abefeb44dc18175d
31508731bb01d88fd6e26f09a02cccd36823cc6c84588280039c267fc3d3f3c4
1abe09b97d5c5eb5de7e7a1676ebf2daaa6ee1904cd82ca6f3c730b85942e4d5
36bb9899883b34a9f10cb66f43b8e11d356de9889d653e3a646def1fd64a8408
6525389b1b11d16cd267d1aceea98100e8aadafdf6f2c473cfd47187f4744660
4435bd600df254bfbaf8358825182ab613f25734f485993f4628602a9ed5bbff
e38409a6ee6871
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark

%%EndFont 
%%BeginFont: LucidaSans-Italic
%!PS-AdobeFont-1.1: LucidaSans-Italic 1.002
%%CreationDate: 1993 Aug 11 21:10:09

% Bigelow & Holmes Inc. Pat. Des. 289,421
% Lucida is a registered trademark of Bigelow & Holmes Inc.

11 dict begin
/FontInfo 9 dict dup begin
/version (1.002) readonly def
/Notice (Copyright (c) 1992 Bigelow & Holmes and Y&Y, Inc. http://www.YandY.com All Rights Reserved.) readonly def
/FullName (Lucida Sans Italic) readonly def
/FamilyName (LucidaSans) readonly def
/Weight (Normal) readonly def
/ItalicAngle -11.3 def
/isFixedPitch false def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /LucidaSans-Italic def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding StandardEncoding def
/FontBBox{-250 -211 1099 936}readonly def
/UniqueXX 5029007 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3ffd20326947b1065649b533eb5e9e3
a88dd77004cd4fabf149d6c8d56292d3b45879c69986c03ed4b6b9e5994d6a23
138375d9a8118817361f21201be498fc13671b01c995b90c8c26e88a39f062c9
eeb1effd60138701300dd9f1a6070df9a8f3f1d1ef12004d9e25f4776a471728
a4b0f77ff3eaadf16830490108d0bd04dc0df4e81fc4eac68c2887d31b383587
e8f5cb726231787cffffbfcc45504f3f80739d68e050372c4b200c8e481af8cc
9967f04fbada1262145ffb1c129fe651b85ce2bce50d8ca8d8c3176210a55af2
67c855b78b0145673c6e50169a38ddd1c0d173553634e6b4eac0c76c5263e2b4
3c54c52ff655e5f6b96880e4562e50d2d7ee0bacdf7cd4d4570a039b91a0cd3c
0a95ef80aa6cc912a55162ef5bd15874d46660f1f8241cb264d6e29f481b2edf
3fe6d5417eb0cc71401e3b5a0272cdaea3b0a655f582420673ae8785225791a4
e92f383ac4bed3f798e0ca5a09aa39456589e0c908153b309a045b777b183f98
405808bb0c0d41ff24dd5f1390b0140b4f6cf4a242c4a6ab96ebd78c281540d8
709d342d1e495b5f437d8603163e01ca235c73198c8e3d6afdcd6e20542522bb
d9a758dd8cce08b72970fa233bd950bba88dcbc6ebfc0f82c1674646ee50e7a5
21f15c50730e952579925598b24a782009df438554b4f675add13488ccb71446
1a74c0ce9b0399fdde4a9d01ffc550945f55029fce7dca66730f5f639d09af06
0a2b42a9c7ddeec1d2a5a0277e987b0dc997ba0c43f0ef1492d8e8743ee7480d
55f84d94875983c2d50380692541c53a059a6a631056786f66b08ab4966f62bb
7b07de7d149f0f9e007f1814319ebeee6c7265d76b0c9be03d11a6c56a2a1a47
f0d335f540feafecc5690f3abcb5ef8ad472760303d6e03ce5cfd351ca0fb514
7a08a208e0eda050581fb78677fd64680c00889f999b8c394a4e7d127041ca7f
acd932fee52236eef5f8190f46553546c7fc262ee2fdead12f1238e57fa35dcf
a09406f128c921905ff808a2d798ee0972fca881d5fc1640992925ce2bea8125
9bec2673cfead8af1aad218ef1fcdae5542df1ad0db9029b67ce902909382575
621f1241c6c2f87f1aa141af291dca6f77123900f1eacf0056e3a79a5196fc3f
87ded133b1f01bb4833b365166dce1cfc7982af6e1202d4bb72dca67adf52e2d
4ae8696e5f3c75554969cb91de12d1d58a00f4725f355d8e99bbd874dd442ad2
8a0946fec68e9e5856ddedeb763f3116f28a28d359baede7b4094a28da1e4073
f2400faa37345a594a169249931229372557d6e194e775a668e35063f8e2980b
14a0bb45ab5f7640083d8b27533ecf1e967ec61cc65b68c639d49ec3b3bc8d00
1f16440e72142c61d87c901f394ba80c19a5292dbf1c6c3c6959fc7e8a57ff73
fb68ace3833b9f86ab3787c9d91d0cac0d72412526528a0ad68ac0d176705e13
2714de500f36c93f939ffc5263b4c0c4225047a0ec71b3a5bcbb9c241beb077e
3731b97ae0cd3b2228517ae2c417e9726a2f7cbfa701541fc94b29e887b72eef
47edd4f8b4ad80063e89fb7dd85f70b84d5618e216c4434cd65d4404b584d606
4a616b96a204cc6e2f54fe10438f9aa9ceda887525014b22e60b05b16ddf669f
8646dbe3229b1cc4dd0a6cbe59b7716440d2bb770e2e00df7fc4fb7058427cd7
5e98cb809321a5538927c4799a9400460f24b8639c695aac3872ff51eb2f5d37
366aa43742c0214c71dc2aa3a86257a94241387c52b7384fff49e53315123f2b
49332342e0cce37f177868f10b19b96032927c6730bd50db80508e65f780a78e
14a3687f03f28c3e0b894b1ab8377f4a896cb3a7d8d5ba72f6d6b2f25c2a5103
9ac05a8c9f8834b7fc8430211c065bd5b1a4e62fe470f3391c166bf393e22b59
e7cd8eccba071a8caef617f73985b7ae9347a8161109e871fd26071dca977a9d
c4dda2a078aa53ca6aa66db80da466c464ef9a0d84e7c61be2c698e3cf270330
89a91276bd9d05679d45f5e1618dc343edfc1bd544857b5e2d01b91b2797ee8b
f44f93d5aa0709a08a007f9c96751ead6031419ee0a1d0ced0c232cf9c3f2e62
deb801e610b521d43736dec49269c7ed746a9ef07d67a0bc1434bea183e543ba
e52e3d9b4fb10413b200a530323f762b3214c8b15078f83b810813712ae7f803
b6e09883fdc9e5d35294d63d832754272254022a3c64dedf175f6a7d672f6c42
fdbc1fd1b4dbf2df4a9227f20dbb348538c40fceb9d6404df7bcdf0865234737
6991b56d4f61a61a0093e1556a9895303ef7798c5a547d724f27ea98b5bb6164
5334c623b3b1cff05a2c6fa4badac9a591f199788d8d592e633e6abdbb7ba99e
9da0fac021773f2ae385d2f3e7a0b407c3052f8dbe4a44ce15931f45f9d672c0
a00c6488f7154d7b4054a91d910d5ab136560fceedf6f52cd3afe45a91bc81b2
547bbeea8b83ebec27b1891fab45f4a6816cfed229991019a404441ae89af944
5cb4287c692f2f0765f70a5c46f2a52af26587916fda451e88e5459ba1a8a2a3
446e13d5cfbf0917edae72920801220856a996985ecccdcc0c3e35881a193b6d
ac4b6222ba23254a651b7624ef91535e6c1b758f333874c95501660cf599fa98
e9994aeab250041171bddcfc78e5b20524ab4df5ace24f19ae0b588e0a9778b7
e35e9401b3e013143e77ed7d6acb2edf2b1336dceecfd8dcad6b0d5aba89308e
04516ef1e5db0b6a7cd4daa31a90353e93d3a8d57bf5cc9b9d7f21b975feff77
1a163ee8ec17e942f839093547cdd42502f390a79ae1d24c078bbf939a9f2b2b
18b191fc6cd6a5bea0eef64a5b7369943464e500cf82cf469cb53b6c69112e3e
4b7125a6ccf71c5fba07229ba42a74d3c71701b0cdd5ae48d7f333bc163dda86
60304e8f70398b75ed06af6b691351834ebe36b5999d0771a1b46fb96b63c0a1
08c598678f92bbc2305b2f0a1d4dddcfbb8de5c2bce72fc5b42415e4aaf90b2f
a2b616d50062dcf61c547f2bb145a17e1ade0525d252e19ba47919780b8a3e67
acedfe13b21d1ef9955615afaf15f50b41b92aecb4265eec596b62bbf635abf6
d9815a151d44d5e0bb47000e660389b21e1c117564642789b130acca68f418ce
8b461df29b4c1257f5a9a4ef65a67ebd4258dc6a3aa0764b6f41e6f8900dbb5e
c340cf35bcc9a4d4a9466da63c41c80de52e33f4a0c1d139a7315ae4273e6585
7ce952fa5b7a50146392d1c257b41fcc01bcd0310fb3b418173ee1d4f0bc46d4
f2dc15fd729b89fd94c3df43e060ec382c2f5fd65ef6f92a08f2bd33f64c0417
58d793824cc4399882fe03843f904adbe762bfd48177b3b054a8a709bdf74156
954574141a5bad6502516abbde0d1160c71f366f0eebcd729ed2e348774da5af
4f836736ddd7da97429dc0293d34c92d6429df0d5831b36504c61d1076a27f32
0c70cf0aa1656df493d55d53d28807c44b28aeb419bcb3fc71ce36527ca29d3d
d50251a7d8c70dcc04c0ac707b3435a7bae637948e579dce09d887a908a32105
ea2b103595892a862e3fc70fd53545aebc653478ef291e3198c9152c39014a23
459542b63e5828b989dcdee128f447d63a4b529ee34752b5b649a9312ea814dc
333a88e0839bc8865b9f0d691c536d0173440a1a89e89f2e5e166fc49744f431
c9f0b1de1ac8851c185fc91b1c96edf3c64f9709a99d9f9d6951f757e84d4d7c
0599f2f84c016e389684e9a0725e00f9054bf044714f418cfbd6f473d54470bb
f914c7033b561160a80014ad576013864b438c5e8462ed66fd5249d70310bd36
a2c46b9af1215e46e95b694cc3cea633c9f176271e3cf3a78d6d4a40876e4e84
9b0c4b67808b031320dbbf56a2414aec95ba5b7ecea180689ffd29bec2edd17d
fc5e45c45f924690b1e32a7be417c325b0638ede25d5fc8140eb948ac66950d8
30d88ec6b95f690f87b30e942189719c595a71ad50ec586b5e2995f5d893c0f7
1ee6abfd21aca1b5b46bec751158d2c07344f7f0de6ee0e4746cd4d874561c9c
b932e437f8aa7d5020d68cd67c8c92e4d6389bb97228cb58e07ff1fada919169
5ad5556578c50711d638462318976a60134e12118729980c64f7e0b98042d56b
b34240a2f8992c9025be60906df750700ed38376486bae90b2a56c9fb3117700
b798b8505ef02993ba54ad7542f1d29dd2a9aee19e786156d58d5b5f91050174
99c389979ae06947453aa230032741343e733b37ae1ced6b296538ba9c1f01bb
3eb5f8c2735e68cb072656a95c3249637c03292024f433e9a939554b4db70e2f
5a367616177a8e2db28376aa05d64f46e5ec0a319792b8486361a0a3c08e6567
5b9f518006e7ecab40351f85f3ad8542ac718aa86a20848cc41b41faec25e875
a88d9a0c67ef8582f5c0aab463f252ce803b20ff22d4f9d3ec480be07d56a7cb
faf81aa7de883b531e23a52f65cbbc1e4928f13c7ad937aa35a77a1a099bf148
9b88ca2f51ee388f69daf2ebf73ad3472a28daf2a866b9cdd77e3e8ab352b1f6
5fe0fb1660e2477b605e329da2d19edd0ecc71b36c670b5235d8e669c6568c61
0aff9be1cf4ff0d5b4689910dbc22639c665f8a1b329636611eccd30e120e21d
b3891b1270c60d5c5bc1101dd671046fee02fb3bf14e06f1e6fdb9e26ecca367
b56d28a77a24ca1ae7fe48c964cd3fdfbe3749a7ce9e90461ae85b587640c54f
1308ff1834b17a8a8be1bc9077fa7701cb68fcf5cbe14036ad1b7660f7685d1b
d47f605379f0d3dd491acee306bfac6a14a77e79c0c75c8a1712d92481604715
8d6771751339bb702c85e0dba68f88f36a395bdf661e689ad649a13e39eac2b8
4d9c4cebe7bac46d9e484fbaa07111326949c997647f5a205605e3f9a265d7aa
b77e2979ab13dbffdc1b94718dd1f304afa0325096058c9b8842e2aa0f0f4feb
d8b461c948a633e05752904ee62eb861c2c7e9b4bab292ff4341e66091f5491a
7739c54f8a34865f8165e106d7d532b99bee34f3d0ef4c1df340f64c1c746e08
d2de992d8d968a1c6d460e0335d97ae1f9e65efa627acf70b83fe12e2481f369
525c496d4a0e9cc1d1c2292b66aa84d0409a8900c5286d479d91c050b253279c
0eb371f1b22d6113b12dbfcdf6044e701e6434e445342beacf875c83974fcd0a
60cceb073467eda29650b7e7c89ddbefb8a2b1cabf5b6f1ed2d59faa17ab3723
19d051b1c3c274d4cb9aa00a1a8ebf1d63903b91266b688fc74a406e444a9cd3
99d9a7073cfe7f9d4d07aa2fd816dea7b2792ec11bcffe334505c2c2136e54d8
fd4629c9154c5612f43b15178da0dc281315bab789105776b77f0d9dead7d68f
daf78853b7da1d716b9f9ef6e7904aab3395db17a1908c4691a3fb4e42a3168a
5919b22e70504f75c7d0128f20b0a0f31402db4a3c8e66f380e43e11aef36155
581e90dfc53dbccb3b85a2b47798fea6fc069d6b5484a664b3e113328eea5e11
0d71d0ce2ff0ddbd5ff4264968e959059ec2dcfc02ebbe9baf284dd5928ac445
cf47c2b1b82ce713356bd54739549fef40f811cf05b443926709072dfd3236a9
cbb6d929fb34efddca0c91fe2b80a8e59daf883dcefc08ed169b24ffd8b5d2c1
6ffe6d517bd8e61f7d0b4d3c8d626b5ad7aab20b18fc8c4c7758b3613a522b39
fb3f75e0f7dd0492f78828bb609801872fa3ae0eb07ec40f7e98f6d0915e7ec9
de5117b9ca932bc9ffe53536a98e46a25b4e0b61013c84ae6dd6de5fabde6e83
dfffb80882efa4f656e9d8477c8976858fa9552a13dc9c7a537de2dce14ada51
7fb2d67e5e312279b905f1453e40f2fb37b4cc63c92629f8c3e86e3d19391618
d9627d68657858ad6fc159e78444663de5bf5ad282d70b2c2b5854a0e7283c38
c86fec5bc93b05d3af999950af1db9689a23f64a843c313fe35fb61fad7eac58
d0be316ccd11b4458af7961694564a5eb8b1b147708d4a31a344ca39ac16e209
f9cf6ca81dfebd94517fcb67347cd51056203ab5fd845fde9aff8443d1290ba7
5b6e858e38964ce865745a607d0b7f5d7740d6915ed548f7e863cf459c408f27
1d2622c70a15d3c5b20e442e3eb1fb48814216c426511cff8c84a58392b34fb2
6875c6416e4127ab901e4e1ed9e77b0eb53469edb4c10131160f7fde6d7ccb1c
3845d147e3315158ca0c8139cb0dd5e525944bd5e9d3ca024db9fc17bea9df39
3e18fad98d0a08ff6c869f26219853b6cfdc3c16403398eb419fedee7401ced1
8ca1eff95fbcd1cd557dcc1c66d40038d1666590cccb256563a7414f4fe0dee2
c0bf5c2e8a97c18f7225cca5cd1d00b35dfba09525eeb0eaefc82e781f028adb
04189a2ffbcb2b40a6bc5406a0543cfa887fa55a50d964f722a6de655b87aa66
aad7d9d88bff91f88447ce44f8206f2bf809cd2ddaf190f654d25b29e3b065d0
baabe59f7f97cf77afb62608ae1db453c5df57ac9cb360658da4824f5050c5bf
1fd27dab09933b9bc56e1698b268cd1d37858e5328ba52d3da6a178811afb511
d068a89100f05c1097a1b53347ca2fd921e19e7ee42df32a16dcb510ebb16a0c
3fd1bd4a2fd074df44d2d35977fd4f772629a12c2ca8f52a54776a210f3bb3a9
2bcf009dd045be5a74345760a93bcb1eddb39f425d4443859c43302d6db48b92
2a026cb887c9650afff05d442e81127c834cc2d6202baee4a9f8c6702d3b2686
612de530cfa903ce5f2329b780d3cc30880d63706b5577845d58bad748bbbafa
b75d4a717d0fc100abf71ea6c0bcea2c8dd41a46ccef89dba7885bc5d74459c4
17e98abbd9bf2fd0a42303ecd614daa6d349087fd9e622b62d5574d1b4dbf2df
78e9c8c056f558228089ac8daf585c916a89144cb26226ff82f710406ed88681
bcb3cc86800b921bb2e7741debf538535b7092755f0a6b60e1f0c60c017dd731
96b59c233b44d5ed9d981d4be47672b8999d30ae331865b4dc0c8bf7fe6bb63c
756b4be06c544506592ae48d55891d84d09c7da51612357a6fcdabea8ec042a8
e4bc07b8ef5f08f4ada5ea20b9c86d87ccd67de48972d0b6d4270f97543bb2bf
b283a0d88b6bd10fc663441ee29145e05413e3e9b973c9d6098fe396201cc625
4d3bd537061aacb7b96f0881085ecf48ff7e8dac5cd765bb353253523608e493
345434de6a02310d527a0af135f62d52d206b8acf045d6a16934d83dedec0bed
a5b275b472a6ec9926c676ae527b4615082beea2d8041b31cf742e2397253d2d
4d6297064aa5b6bb83a3b13842515bf4cbccb0b3e8717a11963f46a99bb43f73
8694d8378722b31eaddec804cbbdba7a05e502dd567792ad37552193bf9d1264
1018be48dcbc3a730f165cb910f3d6cf687d3e35fd21a51f31ea2459d4e4d74c
4d11eae6e8509bd350482c1502e31bf027e3ecf9e53d0d61a11928c2e3ef94eb
1ec3f1cd7b9d59928691a3bb8594bd904cdc86f0da0c3c2349672b6746fc91c2
74897ca318ce75419067113a1c12828b5a747e637a8c4e51a3c6e697db669b87
7b83310619af9f53778a99f66dad79249cb8609fb9f3c272fb9e98366a779ad7
3ada57217b8d1f73d7e4d7abe88d6dfebf66f0426ff8dff51ec7296f2e95b6b7
924ec3932cf37f4cfcb3ea765849f99def8d762bbf13f1281b0d13a61a477608
f214a5a8e5806bca72c3007851e66f8d1d9823d4c284a695d4ccb6a42363045d
9e844eb312cde32af459d15265cd56545088fb85315e23cf243298d1e673e6dd
481be5cd010e9621562db5e29c0ed9f36450a4a95c04ebfae6d00ac4663cc1f0
3560ff7e63f7f21257
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark

%%EndFont 
%%BeginFont: LucidaSans
%!PS-AdobeFont-1.1: LucidaSans 1.002
%%CreationDate: 1993 Aug 11 21:09:54

% Bigelow & Holmes Inc. Pat. Des. 289,420
% Lucida is a registered trademark of Bigelow & Holmes Inc.

11 dict begin
/FontInfo 9 dict dup begin
/version (1.002) readonly def
/Notice (Copyright (c) 1992 Bigelow & Holmes and Y&Y, Inc. http://www.YandY.com All Rights Reserved.) readonly def
/FullName (Lucida Sans Regular) readonly def
/FamilyName (LucidaSans) readonly def
/Weight (Normal) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
/UnderlinePosition -100 def
/UnderlineThickness 50 def
end readonly def
/FontName /LucidaSans def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding StandardEncoding def
/FontBBox{-301 -211 1006 936}readonly def
/UniqueXX 5029005 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8
97e651a592e4f556bef9359fc62408332ebcea130f7b8ec0669941aafae641fa
d7d88dd4ecf7a242dcfa717d34d4c60059fba9a1623373ee8c93009fd5da54b3
7b1b48962ba909e289a3264fa7bb8348760bb3c5aab5c7ac22980ac562528d22
06ebf93af39013e278b7fdfea34364982f0b2f75172fd5b35a7fa624c18a804b
4946b513c2a11e8591385c3b6baa330ca68e18374f5b62faad6a3e70c7a3a430
9985c300fa90436b49896d0fc0abba7f20ae89f4d98654b7326f59f636e07f17
2e91894d6f5eb000ef07f937d130a2e861c90332bd90b488f6e80aa82ff26743
66d74a701a471e0186231d1ec72b7f9761d26d5a24e24a0c6ed6aa86cbe798a2
2d85e2c3e6098b96bf207d56bba6edb9071f15f7bcf39c606fb3689fdd68eb67
eab279b30a4f0bc6dcfda7d89ff1a3836f88bb3740dc6e11478ac5d62fb9b454
451adcdaac817e8800e9ad34cab1069e5e4aba054c049e3a913bc267a1852d01
6e2717290be34b02a152b152a0f1dedd35ae5e01c2927025f2af4ea44e0e301f
2957c7c280420e68a12e154e5d034f25d8a09d7f0d01ee80e867b0a19fca4b67
11082ee357d0cf2fd85742e5508e3c424925c9470a83b3b1d718f433eae7e151
db04ef0324b4915701f06585a5a9370a2494148cb1d0d683a183de5e32f06fac
b89ae88a70722292b159c9252324a77ac42a6f93bd8927716b90bd9283498dab
a60d61c8b4aa96a4cf2f57b168ce762cdc6b8b30823ed37c845153abe26d851d
6d03078d2f45c072644f8b7e72e0d6e4bef4bd46a744507cf33807f6818f6bec
de887eb2a9467d7127cb10032592906bfa353c0bf9d53e84ef5dd7502bfb3c1b
635eddd9ad38dc9fa2aa22cb143d7ecdc0409642f074f5eb40f5708a604c8f12
b2d7418944e3b0d4898de188fb24882ad4a2127101bc440409ceea858c02af9a
7919818774cd86b81617674716c93e9b11879c7e841806a3efc2707ba27132f8
9a9a224814ceccf157f8a5f1a9ffb71aa44ef814a6130df942674f353b698b7e
52f8a891a88b2f5192c22f66289e865489e55da246bb2b0451f1a20dad98f703
18de8bbc5a2d3f72ea360060c600b0ef658dd1a4ddada7debc3a76bddc394407
cecd41262caf2030cc5b83001b07895f0898b872d12cbdf4ea82e5bd2e298fa7
227c5b68223a80e5652ae298829ab423df7464abf8c4ed5b8c753d55e3717a6b
3d662a0c8af5a1936640d4d7853b2bfdf4da6fff3f7f51d8e6f658d88d55f4b2
aae1b34c1e10546f006c58afcc1473f530df66bd3a96c00c3a9e1da3a1649fd4
6c9466bf2240e2a71cc78b33da6a87a8ecd7cd27dcdf50af2f00eedb7f656186
2485b041031d6350f1876b38e8830bdd5beec547dbd9296863903f6a169443dd
8c401da7363413d2ac0594dcc0088359a6fa035d98b392348506380bc5a83a62
64323fad649fbfaf8e2dfe125b4c00f32aaec4a0a6701891f3313696f1b71e60
794dd1bc6b8250ceb3e7636789631fbb91b9bda9db25643bf2a5304f9bef7c5b
7d407536c3e2a76ca42c401941f90fec411600ea142658b4403e0b90ad20b921
62a57f358f44ef740b9c8929b17ac58e543419ca7badb3741a584d869f80c75d
93eb76a46da4550db20c2619f5e8498de59ed9416a112f7b55743ca7991ca820
45fbfa123b34b96c0d125aa93bc85767116dd66ab30732e508c00c397981d176
9e0af337cd892b5c68be76d1486c038b1cd6062f2ad9498aee79137764451516
9fcbee0dadc7605c79626c5cc8ffe49c9dd1219658e2197e5cc6d455728a0a64
33b1307cc5f2487f54eb460b01b9e2aa646fe46173026d15a9bd098968bb5acc
ef545bc9b25f03037f0c8a460cf4257432936aaf66ffa3e94fe83e9f8f093661
18e14746cea7a6d4951e5207e0a5013d49d25971056fc1badf2a9d8e5c344b53
0027a9de4582f597978e2a6ac22f6abe2a11f453bb33895670fc051702eff9f2
cc87fbe93bf8190fb5971ebdcd2e5753e9ffab40c3baccd7f75aa1e3355aeee2
a3ef2602c7832c107f22d0c90d8f9932f9f0a4e544af9837d5b2808c8c907d66
7faed1d59604c93ac4e5a88d5f2f360dff7fb1e3b4dfffdeb5259dd944141b52
c2b15f7d51d02b5b3528f9972efccf348e917f92abdaf01a50dd17b2aaafd6ee
1e263a2d317c142229a0c911ecf17e69d3040d467e56a501024e5b0d5b60c65f
f6630735fd2ff721a6bbd0c0e4a5dabd3e31b122d57440307897d812f539bc69
16a35185a3a4b7f573e6670e123f6d536e4480657fb2896d71f2745167dd2fb7
1d8a2d9d5b07b54df29474972de3fc839a1d2d1464d00349e58ae104be01125a
8f587f3ad6d2d788b0c0e4c5c1ed949bb782794a78a392de227a02d873143183
e1ba248fd0c89dedffdd045f4a19c703e27232b608a0647e445793d53722f039
caec330d3581c31f2f721c5e20981df8b56d2992c64a1352561aa2f2b2d662f6
60fb495b4d0bb5c874786bb67b76955077343a29e085a3b57cda80d4cfa0cd51
6905d17a23724f4c35cbb8b7cfc5fb0f3afda7842d6700e17f8133a80eb7c3b5
4e1bc361b18dfd01563e93ac204b46c1b3c603af77d7f13fd49c12bbf06c9190
f9d76cdfbb08496207831f05908fc0581e461984a277c607954c49720e679e50
734a0804b2bd424e8520128b87103866bdb1b45ac8f5016722845f83a92f3c18
5705a01acc0ddb6190541615c9e8f319a16611e2f2a11a09b57f8682bce1a797
936007dd6dbb718fefdf6e7edf2d50610778e25c013e07a3de0678f853bb72a5
539725c53fdddf705d871e1f4c4e5e6666480a20db87ad02ca34eea424b39c71
e074156ad9ea0581a6da838dc1d9afcfe1b18c76bda1c3fa6a2a4340ed1833d2
a2813c8e9210efd02e61e6772a5e6a0c6a8cd7b135c354f570f936b97b183cab
64195e408a0903247c667c90111efda1675dbbe45dcb47fc2e414af5b1f96931
eca20293498ce0773721f2b1b80d9ce898c04fd571412b3caf2878e4e816080c
3fcda682acf909e840d563de84b86865444b50632b66d434e2c90d26e1339041
5b6b48274d89267cc98c5ca45f052bfad4862e8e26bb7ec23c70fcfe7cdbe905
b9ed95a63990d3dc3efbbd40811a3fa6fca6685f91e0af3fdcf3a07171e25250
b2a85aee2153d1ab1ecbbec653c9b804f678d27118fc247a9bfa269c52f7fed3
17155e33a6cdf524b16e95fc74680032bfb22a5134eb9439678472c2fa5364a9
7a165dff2730019e91c6e818c8c65cfcd70688dd60906e621b0418053c3cf61e
5fba9fcf414ae83fe82d782446340ee26aea4edf5df508be955dd564e213eb1c
52c7a14758e66fc931204024389048734b60679f85e12b9f6e77d536583fd395
22bdc090b648ad0cc70ad271098ade3bb72f067eb4ce2f8672de7a7c2bc87e48
610c0d2706c7b2464b1263ed2861d6dea52e14074391870c36f43591b6ee412f
1fef8d1cdecf83e86b3a4d6c9cc44cbc624a4de32b03699f21b6cbd90294cb20
33fe5ddd527888a8690d601ad48bfc783738667e75b0d0c91384fcd0e3498805
40f8e6724a87baa3efb0cd96651e4bb426b765e56120d1bcd3bad13a972a02e7
626c9bcc18e5801a729ba7449237117439540958f22a34eeee41fd2bf8e7898b
4bfe40422f0034ee5977a881661b138f6a08a64dde9f6fad8fb840e4c49ba368
1c9c76deb7e68d6ef530a50ef43924d9732965c5d22acd84da8cf793eb57b6ae
3b0bde470bac6cc218a4e299b35e1d05b79b67ee7f72e02fa1c48e1cf0a41407
8b69d3e6cca06f5a31a3934e5aa4948a95807aa84bb50d5fea41d036cdd88f80
c14d0206fdac5a7ee44fc4805fefcdd981c9d975f8a7bf54d293e28455d848b6
d3460a4e7b07e316816a77f1fe4d1d9ee787018662675b8952dc49e6b1d1a161
da7b7ac9371eeaa0497a4ea92cddd0a8799b68fd35a7fa53982bff008822c0f3
1b498269566f190828344514055b55408776a8ef72aec13df6f8662a5167231b
bf2a21c7cdfea035d4ff6b7b5c6cf411f20f9a58233b885addf6582c383c81e1
b4c82bb274a09bb734dd0afe20d0d7321e674b3ce337d23767ac7aaca424e4e2
75fad24949032d20551c4777513ba9860576b014867e04d6d07d38c21959facd
c56cbc827f185d42905a0a64104984fe333d9168083f9e93b7296e9797759b38
69a239c746e889b3967cbfb87e9f53ab43357c3253cc3df98be43f2235b78d3f
635f4554821e7b0af793152f2a811ede4b29c89a7d3b3c1b355f40b815eb28be
85e7f10c8fa2209f371160d13382fd3c9cb301c37bcfbb564d02ea8f9c22abbc
bcfdda9d3be7feb16f9859b579fba9db5bde39378b82911a2aafe182163e9675
4898b0fcf2fa22b9c6f31dc72e33c77b6ab0b2e0011210be1879109ee54102a2
a21a461c4188609c1f5051662c31dd2d65dd35db55680ef6d0a3528a3de5999b
de01cda11e6ad5f34491b450bb248a849f23ceb1804bf3d3ee69e9cb956e08a5
ad822fc790a8f936a787cb6d0b8c7b067dd2023cfabf15f87cfaba01ca4d5c38
a2ed92661f338286fc3bbe4cf0677cc676db1efdf6b017ab4b6fcfe017ab7fd7
d1ee777cabe658542a53e18a084b792d697c965921866dd78bd147f110b3d324
ea9670453d5c84dacd02fd8585fbb98fb504040934e8883c3a8c7f225fcbae54
764ea2a7702c5813e890a56a894c40963296861c173ad77ac22b6cb94e4df378
11f16b84171b502af855e9229d3186f3397c7eb862fa3140524cf6d5d0b37ecb
cd750d6b316c613b72c96f4f83e934cc9d942543fd9ca53f17df8a7bab0efd10
6f39c7d47638fa3f6dc86979e40b1ea577284df1ab680b79852c47bd71139ac7
0672b9f2dd9a9a10c3c21ed1c34c48c8ef39944b8cfe6c8f8229a00a1a0d3251
dd1621949c32d395e29ba78fbd22c89a8f56f109182ce5a469c3bcce087436a8
063141cb3167830799d607579c677aa58bbe1fe24b38abb21c785b146d0d39e3
329b34bb1e2700b9bed2b3275e987ef4ea7ed32d2a63863a5b84586c4557a77d
57cb76df7f60d1bbc14b89246eb25b075245e98c99059672da154bcf6a5c03f5
de3c44a171c148f42368b35c6ac1dd22ca029a7bb41342e8da4fcdd23cb7f7b0
cab9c82d10eed244e9fef387c36653e84da2256a283dca31d422584f7f1febae
82c7aa0dc66a1a4fd97e555b950228552f7f230b7d05f04268e3a15e8a5b63a5
1add2a8d1ab45027c47c1fb2f07af56c94c3d2faa6a668b83217d005682ee44e
305e7fc2ef89783bf8c285b3ba705c592e205254b9116312993d0189d2374290
7d9a39c2f5932ae6ebc1384274dc02a6412b071b732a2e4119431e1ad19f5d7c
2110bdd4b3457982beb0d0f83a591094f68e515ac078cd590cc68a66d6eb048a
fed2bef5cf635f0a4dd87eb37a0b2397426b25ee8ee958fb20153a3de7970e85
6645e6b3896238a873c047b3096b0d10e3a779a52d7cf5eebecb0c638b4c98ba
e77321ebfba22407824eb5da56b7912e709a60b6fd27532e435f7b87a4acb23f
a8a427700e37fd1e2f9db52c1d003a8304186afcc5ff47bcf0444d01357e701a
0f9284b5137f410add3e19337549910ad5a1800eb609e7f87539651cba1098ea
4dd86c1c68641d4a88a0a996538299297efcb74693c5a6a9d89abd98877ab296
ea7f48c0b4bd47423c2cb6a6b41361f572652f2c3d9cc06ad02762c9a7a42a22
642e653206333048e572436efb65e7dffc1390a394e7cf42b3cc81ee92396d3f
9a4e36f3d629e7ff1b08d054345bf250b9ca649f4cc8044fe4bc7e0287daac8e
14aac555c7f74ec33ec033cf67e3d09278214ca89f8d6bee19471771847f88a4
aa03456cee5bc9cbc4d07201332933d5a9ac6eab4b125c8a817e0ff363d525c4
a90cac0845c3c8c21cafff843509931ed332d8bd66a426b23798c45c654d346a
95752f58647c4f421956809201f41a8082868eb4acfbd399753db5dff974f1b0
c041b55a5dbab20eae714fb9f86a8e295bb6ec4391bcaaf1f834665f30e6ac88
31e1fcc825a325befac125bae921a33f69cc186b0e2c5bcd6936d2d8bf3c45c6
c798718a5ae69bce8a82bf75557b2221f2e6f01016278460b40d1fcf3d713c6c
36dca3fda25667662f3a80225f166d550fea69714e219dd4985c254d667b21f1
4d5273ab0e1d0c16f58051e1ce012f4ee89522e91d891ea011e0d4e7010fc38d
a5f4c78db3ecde248b55340e6802d2a297b1f51aa19a25a12f3f398108bed67a
0a9c6d29775f1a1879cee6c4b07dc658328cca71291797c4ff482c0fd69cad14
48cd29c5cb86d5049de33d598280b28dfee2ea4d1d627ceb0b8544149f634dff
426c9ba2362eb0bda6589889f318a739d1da07f2ce0266170c6709e2c0bc5425
e2e654f3e8ce1b377fea19b32ff989fea3d1acf3d7df932fdfd0361dc3c1deac
7d19ad30af6b3b659dd5e45fd49474b6ca0fb74a4525a785a43f48fba9c58df4
41c48e8493072e4306426aaf506757404070f97fb9e94d5a2219744a6b0ce61c
7b650c327ff2b416eff5f6a6d799368ca39926bb2613dd3d53b9074b7580bae0
ff766e7b2f52035181262ded7883e4110939d2cbc274bbbbc3dce8b3344a6de7
b9a9fa391edeeb1172ac54199627d8f1ba6cc0ff4c734b90a0788108be79def6
829186aa71fa00d7db5a8bfa5720caf7e3896d9da19cd3a596dc4a56b3a1b5dc
5e19e118800729782ccab77903ad6e40e886c41e6077b65d9c9e61f3ce8a8c5d
4d78968f75dc57ae025fbf3e07ebd6f2bdaf2b052c2333033cb2d1aea2e0078c
cb5a8908ed4a6be5634b953fb2ded2c3d1b9627d570f07098a016a0b02941f70
904222f1d64f9f1a5048686a20a2d7f8382f12d5a33a57b55fc6081a7ee79386
ce06aea27e70355d8d80ebacc7ddd6657223e231aebc87e6a1598c8e8628939a
66cbc5178045d61a57f07f1660ad689b8bea37d241032427f4157e4855610b84
a4a10ff7342cc693d5a8e4192484bcd79c6633936230db27acf8ead1d2ec2201
758fd028ec2c62edafd3f3f74b94697efb9c33b094ef0498a24248c460556faf
8a36e9c9fb1f8b57b444124ed486d0838d09fed1af863f3fe14be612b8d946a4
de7e82fa4521f948a257f20310e96b37dbf3c0b4b3b7eaa153834ba2f24594c1
4fd872b744c349a8ddfc6f38e445fcf70060e3d3cdfb2fdadfaad7eaeb339254
5a1a3025a5f4de1443a3029dadcd520df50d287bde007610f341f360586d52c4
a0ce54722827d55e39d0699a7c43673796c83e43a770ec658b59ae1c3d05ee9e
cd083fb014e362503066376436cd49b6d03265e82f2558c59c1a49afaf2ec47e
f36a64c4747642ed74a5d42bce49aee9b0ba967556e60a42ff4af4002eee0425
316027b652330ef74af54a02ccc77f81400a2ec2c7db6c9da81d2f5114495e52
15e11ffe9549390cab51d53d8ae4c46222abf013916389ea00b0b8cea3af8e28
a0e7687fa72c4fa9124c05e890fc8343b72921a52360104a54e8bebc2e724a92
645f4312cb4bb0f868db8b3a0a3cd2a3c87f1ad8f1be20a7affa854a6c8aca62
44d0a9aba1900a2e6b7770e3079839cffe50e7b46c6aecf43360c0bdf00bce16
7bfed1e50916a2885e8f3ebb170433d315f500835b95d645b8c1e3e1f871926f
085732bc8528de78393ae56bd98ee7a9d6b61556310b444020c5eaec1782e702
a72bf9b2c879bf4480f646324a3aab158743a87ea5a6a3d3065e24df9b8f3e72
43e1b971ece1a0625d9ffeafc7faadb2b4fd169b5f419a43343166c3f1061af0
9082e51b0352aeb813c01e4ce3ab6d94316e56fe8a3bb1c87c578b2182aad573
61cda51f815ff9386a2d07b8778b6c69ae043827c927ec65abc846cf586c9b81
f6d6ff9da079bba73195729cd8bd6cafc14fe0e727b0d43ace6c49e8419deb16
81f65b750613bd0a117a6dd14757a4554c81f059858973d9ce728d1d1703590a
c71da1c47cf55186ef1f2b9535a4a00e5a614ed3b37a0642b6cca53a6fa65516
3d8e6cd90fb96f6d49b050ee63b0fc941f1462e6cc59d9afd3cb99918b723f02
c6fd9ecd68ab95695fd773303787a600d8bb0642b18af308f5b3f4ce7cefe1d4
aa405434674f3a9cb8f25353348e4ac449317efeb4406c99eb49a112063ac24b
78df79cbbe62132c62e432a42fb87cfad8b8a9a59044718d5257b4253e36344b
1afbf313db52255eaa8359298378d425d8b2b595c1fc06210894e79fd9ddce19
fd818d49ba7b09f7820a57c2612412da3d0926e8d2fb1fb63ef82b021146d6b0
e7d53f20dd549f0c442653da8246a0ea290c6ef438f357d2b28f7c0faaae73cd
58ab6018f59ba8715243e236597d6e4a8a93a849b806622be5fe42c9f3b1c394
2664b85a082905e7de258f21d8a366cd6025bdf5891c13bb56e9ec55d26d0f44
6438e98d9e6c8dfbbe64efa50ca8f81e0bd346c8b272552d49117978119aadaa
47c127618111f4dc6a716580510a31feaec01c940dc192ce5b54abe60ab9aa67
f6b8b9e8eb87cd5cdc7a9bf151262cda73d2c1f7a118c9049bbca8f374f16b68
44cdb8d2493831a6399f23658ffd31b1dbdc3ad9872fe427a8f6c1a107b4bda5
2d5a020341d4c227c19168cafbcb9597d7c2fa82e6c56c2011eb494c40528b25
ae68847fa2a57ec9b01866342f2c566286d5f23fd2547aa2ff3779390eb096c1
1231a04b684739116a4a3da240f609de43de0ca6359948ee1dff30131776c9da
886ae76586ae9ca689b0d3fc3fcff98319358cb7d4dfae214552b8524ff5833f
c301e04ba9a65bdca452ad22908f75add56a32e6734e72c57e9348c15f788283
8d87ef398a955a199502b6f5cf39059dfcff9a349d37217971188ad2a134417b
4ba1035ab3f8c32679b70c3387c082412ec125824ed60c2eb2d97294d4899db3
dda1be90d8be6556435c63b3a3f61ecc24f05aa5bf50e9e70fc47c93403af8bb
e25bc951ab7710c5e1eaf045a8063e5a2b4fb499a458671f7b85703e3f617eb9
5b3dae0cb6f5aaa446860799d2b3c8584062be9b1849f1b1c967f98382007718
da86ec734047fae05f657268197f85639b1500cfa3fb3ac6a03b99b688e691d5
5bfd1d1a3616337cd93dbbeb034ec89801adcc4147092da5d159f0e450d86ca1
6f88f98f5c24dec60e0bf68a7e3acf55bb21a2418d6e93f02424ae8eca14be08
1f98c8ba10d63c8c6dd57a1297e24743d9d82e45f6349cc82ea2cf20b74303b3
0e0b081822d3af5193c61266e2b06f63cced1098e1db1e04114b4bdb3aa549ee
222cae06df06c45bfebf89e63b8c62aa20a1c640aee6bd3e5d0fdbf76b0c0ef7
186298d68d0142602cdcb9e7507a0fb6fa43453202290f2281168386c9299b8d
72a17a39c66d0662de1c6ad4c9179ba7ef36fbec0c22a6996606cc3b55103071
9cee8805a3fa06e78c416bf1bcb88e2416c778d083fe13cea6d63a9d4f2b16b8
7bf4593979a863d45d2ca406544b6b2c9ac54680ace18161f0ec80bae993df56
8b81fd16135453ea70d488f52043654138feb39a98f1aba8ca9baee011dae6c1
1996bf1c9ba667909b8d4a1697a8d6cd68fc5243a6cbf6a9add08beebb3d1f87
052379dc8f2f07c9fb2050eb23f7412f2a910f0d91dc4a81d4e8b72c888eaae6
49a4113c1be5c153cc0e4baa5f0cd4d500dbf695e9ee0275019a37b652897884
503879b76de376bcb919452eba780ed2527833217e617080e34265d6b2fd80de
c0e2452667fee906bb3c9254d212a44d9cefd453d533ca0dc530b0686b26a58e
58983731bfbf5991f543a28a447e2f4bd100543172651db1074d5c5345be04af
2c5bf039c11af401d0141cee8d3d0399382737b6518a00df2c6a00c02ce3f3a4
66e32c23904dd8559531ee19b2c4817f3e590d8a797cb3c1231b8c720b30f0eb
b7f35f6c10afab7a835472b76fd9768a3bb1f229c3c526335afc1ada4c807f7f
8d99fe0f73e8efd6542e0d40c68d035c6ad67f3b4f0898250673187953e7fede
983608beb747e0d81f866080734584126b4b70d33c1ec43749c58612653dfb3a
94c4fb53ecc01ae8913453ab64abd3441c91b383f55446b561133ccbfcce82f2
901eae38eb46e10e0e455aeeb36d03ac265a70fbd0e1885c964fe8fb1c8a67a0
827c83d1be3ea8d8b25415d0e2c5860d7d12e004f7583e20ce1319d364cf78ea
b28ec9d078f33a7b597c50d05fd7eb22f2a5c7afb65761420bbd1834f15c33ae
b68cbb8c0c62f79de08709697ffa11045bff49016e44f14dc10f58951d6cf581
08b6de926e73d295b95d123d4bf540b4ecf446e96a2e4c2bcde5b44509e833f3
df652cbf377e58219de621f3a06fca1a74bcd2f96dbb03e7c1d424cd2551315c
049f8d520aa79a5754868d1e9104eb5ed51a94e88672fe7cbb2a62f787f5d5aa
b13eef0e245c87802fd584bffb89357e36188e86911bed3a1f4029200e881e1b
8e3537632b8d47aea9ea56d1fa3d169031037c2d45f21a543087ef3aa8ce721e
4969268cf63bdd817edfff8ca9983ef60589d79141f24960c323cb4b7e1d6e96
af7f552b80d6bbae71a347e2c3976707ff6081e0c8f96344acda36c52d5dc5a7
5a6e398938040d6fd165010c33d4a7eacdf79e7fc0279511904f63f8e9ba114a
3c29c533c6d5b6ff06352c10adcc9e0a3c6ebe846fa30753680bd30cb9b038a9
f8055d059c24f84b5e034939c81eaf9d2815b72220f044f5a569ff3c317c2dc5
c04da4251deb122fee97362a451af54daa671ce235ff86c38c1513889c2d6a4e
07369881be81c7b399c8c5004c8b8e6dc7e20b10b725b1ac4005f524c7f21962
559239702125754ad6ae5b0d1b90186e62b9ee3507a25ad9d66b5c38ee13e106
99589b6c6d196405f13de599f154c74c2beec7531f1e44366d398940c82d47bf
eb3e91b5be30bf9e001e072865510c6a31bab03331e2aa993c2237a71ed32c09
fc86e46a2fea6780b9ebbb720c1c83cc2f6d194826683b9cf94f0f881f29f915
153527c4e36fb3509dd279a887a1722b469eeec3177761ac6d56fd7aef3dfec1
3f0b1b39034109adaf9e6f5b58a91d706dcc56b68492653071c62128b5707e08
c4e280d2885675828f423ecbca9a2d0049fcfcebe5e83b825d0deea5836bc10c
f6ae3c0134df1988b8070fad1d514f8cfb31ffac77704b3e04a37420efe0a916
b8a4104474a4d47fa570eeac1ea33dbfb95f0eff6e86d4dd37d29ffd9f0e96fe
ef0bea6dbbf57645f02f51591bc62de7132c96bbfcb527882fd6e6d0506de2b0
96af2952db7995dd9fa0d4afb1dc52ff83a627c615a23f50aa02ff682eb7030d
3e43a4ab3d8cfa24d7a068f1f0deaf6d2e11cdafb70b6fdf07f0c38abe2f80bc
80ec8a20565b6c26788868700fefe0dc71268a287383f2db98e3ae96019fa506
c88c598bc7b31d67c5e3ab4f545a8b95dc459e42c836b1f0e999838dad881e8b
c24a1854c8553863eac4f2bea19fa28db1fffed34c93d379b3d4ef78b30f45a3
15bf73ad58a5aac10770222a14743b57ccd05526
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark

%%EndFont 
TeXDict begin 39158280 55380996 1000 600 600 (spec.dvi)
@start /Fa 138[52 32 45 36 2[50 52 77 26 2[26 52 52 33
46 52 42 1[46 19[72 7[47 3[58 65[{TeXBase1Encoding ReEncodeFont}19
78.8706 /LucidaSans-Demi rf /Fb 141[56 2[68 1[106 35
5[47 63 3[71 97[{TeXBase1Encoding ReEncodeFont}7 109.987
/LucidaSans-DemiItalic rf
%DVIPSBitmapFont: Fc msbm10 10 1
/Fc 1 79 df<B500E0903801FFFE6E5B6E7F261F003C9038000FE02607801CEC07C02603
C01EEC03806C6C7E6D6C7E140301F87F6D6C7E9038DE00F001CE137001CF13789038C780
3C9038C3C01C01C1131E6E7E9039C0F00780EC7803023813C091383C01E091381E00F06E
13706E1378ED803C913803C01E913801E00E0200130F9238F0078392387803C3ED3C0103
1C13E392381E00F36F137B923807803B0303133FEEC01F923801E00F923800F0071678EE
3803163C161E160F16071783EE03C3EE01E3160017F3177B486C153F486C151F387FFFC0
B5150F6C1607CA12031701373B7DB832>78 D E
%EndDVIPSBitmapFont
/Fd 138[50 28 1[37 1[48 44 50 74 1[44 1[23 1[47 1[41
1[38 1[48 14[54 15[48 59 65[{TeXBase1Encoding ReEncodeFont}16
78.8706 /LucidaBright-Italic rf /Fe 241[32 14[{}1 57.5346
/LucidaNewMath-Symbol rf /Ff 138[47 47 47 47 1[47 47
47 47 1[47 1[47 1[47 1[47 1[47 1[47 1[47 12[47 22[47
1[47 7[47 47 1[47 4[47 47 6[47 33[{TeXBase1Encoding ReEncodeFont}24
78.8706 /LucidaSans-Typewriter rf /Fg 199[56 3[70 52[{}2
83.022 /ZapfDingbats rf /Fh 197[21 5[48 48 48 48 48 48[{
TeXBase1Encoding ReEncodeFont}6 78.8706 /LucidaBright
rf /Fi 214[74 19[63 21[{}2 78.8706 /LucidaNewMath-Symbol
rf
%DVIPSBitmapFont: Fj cmsy10 10 1
/Fj 1 16 df<EB1FF0EBFFFE487F000714C04814E04814F04814F8A24814FCA3B612FEA9
6C14FCA36C14F8A26C14F06C14E06C14C0000114006C5BEB1FF01F1F7BA42A>15
D E
%EndDVIPSBitmapFont
/Fk 87[45 45[42 43 43 62 43 49 30 39 38 1[48 45 49 74
23 45 1[23 49 48 30 42 48 40 48 48 6[46 4[55 49 44 2[45
2[65 6[42 43 59 1[47 54 6[25 12[25 42[50 2[{
TeXBase1Encoding ReEncodeFont}39 78.8706 /LucidaSans-Italic
rf /Fl 87[48 17[39 1[29 29 24[45 41 48 61 41 49 29 40
32 1[50 48 49 74 23 46 24 23 49 49 29 44 50 40 50 44
6[48 2[67 52 55 50 43 50 1[44 61 58 68 42 52 25 23 58
57 42 43 59 55 45 54 1[33 1[50 2[25 11[25 26 25 2[26
26 20[55 16[51 2[{TeXBase1Encoding ReEncodeFont}62 78.8706
/LucidaSans rf /Fm 87[70 17[55 27[65 1[65 1[65 72 45
62 50 1[73 70 72 107 36 70 1[36 72 73 46 64 73 59 73
65 6[71 2[99 1[81 1[63 9[36 2[63 66 2[69 81 1[55 60[75
2[{TeXBase1Encoding ReEncodeFont}35 109.987 /LucidaSans-Demi
rf /Fn 87[57 48[71 48 57 35 47 38 2[57 57 1[27 54 1[27
57 1[34 52 58 47 58 51 11[64 1[50 6[49 22[59 2[59 59
59 2[30 29 44[{TeXBase1Encoding ReEncodeFont}28 92.6518
/LucidaSans rf /Fo 140[52 42 3[61 1[30 6[54 61 2[54 6[60
24[68 65[{TeXBase1Encoding ReEncodeFont}9 92.6518 /LucidaSans-Demi
rf /Fp 133[77 5[53 1[59 1[87 83 86 127 42 83 1[42 3[77
3[77 13[75 12[75 67[89 2[{TeXBase1Encoding ReEncodeFont}15
130.551 /LucidaSans-Demi rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 600dpi
TeXDict begin
%%BeginPaperSize: a4
a4
%%EndPaperSize

%%EndSetup
%%Page: 1 1
1 0 bop Black 0 TeXcolorgray Black Black Black Black
1147 872 a Fp(Formale)41 b(Spezi\002kation)1525 1106
y Fo(Andreas)31 b(Zeller)1210 1222 y Fn(Lehrstuhl)f(f)1693
1221 y(\250)1693 1222 y(ur)g(Softwaretechnik)976 1339
y(Universit)1368 1338 y(\250)1371 1339 y(at)f(des)g(Saarlandes,)i
(Saarbr)2500 1338 y(\250)2500 1339 y(ucken)1608 1529
y(2002-05-15)440 2065 y Fm(Warum)k(Spezi\002kation?)p
0.7 TeXcolorgray 1690 2065 1614 6 v Black 440 2301 a
Fl(Spezi\002kation)24 b(ist)i(Teil)e(des)h Fk(Feinentwurfs:)440
2440 y Fl(F\250)-48 b(ur)25 b(jede)g(Funktion)g(wird)g(beschrieben,)f
Fk(was)h Fl(sie)g(tut)440 2539 y(\(aber)f(nicht)h(unbedingt,)g
Fk(wie)f Fl(sie)g(es)h(tut\))440 2678 y(Letzte)h(Phase)e(vor)i(der)e
(Implementierung)g(\(eben)g(jener)h(Funktion\))440 3014
y Fm(Anforderungen)p 0.7 TeXcolorgray 1335 3014 1970
6 v Black 440 3249 a Fl(Jede)f(Spezi\002kation)g(soll)p
Black 565 3454 a Fj(\017)p Black 41 w Fk(vollst)r(\250)-47
b(andig)24 b Fl(sein)g(\226)i(jeder)e(Aspekt)i(des)f(Systemverhaltens)f
(wird)h(abgedeckt)p Black 565 3620 a Fj(\017)p Black
41 w Fk(widerspruchsfrei)g Fl(sein)g(\226)g(damit)f(klar)h(ist,)g(was)f
(implementiert)g(werden)h(soll)p Black 565 3786 a Fj(\017)p
Black 41 w Fl(auch)f Fk(unvorhergesehene)e(Umst)r(\250)-47
b(ande)23 b Fl(beschreiben,)i(um)f(die)h(Robustheit)648
3886 y(zu)g(steigern.)440 4091 y Fi(\))g Fl(Einsatz)g(von)g
Fk(Spezi\002kationsverfahren)440 4427 y Fm(Spezi\002kationsverfahren)p
0.7 TeXcolorgray 1819 4427 1486 6 v Black 440 4662 a
Fl(Man)f(unterscheidet)i(folgende)f Fk(Spezi\002kationsverfahren)p
Fl(:)p Black 565 4884 a Fj(\017)p Black 41 w Fl(Informale)f
(Spezi\002kation)p Black 565 5050 a Fj(\017)p Black 41
w Fl(Exemplarische)g(Spezi\002kation)p Black 565 5216
a Fj(\017)p Black 41 w Fl(Formale)g(Spezi\002kation)p
Black 1848 5662 a Fh(1)p Black eop
%%Page: 2 2
2 1 bop Black 0 TeXcolorgray Black Black 440 534 a Fm(Informale)35
b(Spezi\002kation)p 0.7 TeXcolorgray 1789 534 1516 6
v Black 440 770 a Fl(F\250)-48 b(ur)25 b(jede)g(Funktion)g(wird)g(in)f
(kurzer)i Fk(Prosa)f Fl(beschrieben,)f(was)h(sie)g(tut.)440
909 y(Die)g(Beschreibung)g(sollte)g(zumindest)g(die)g(Rolle)f(der)h
(Parameter)f(und)h(des)440 1008 y(R\250)-48 b(uckgabewertes)25
b(sowie)g(ggf.)g(Seitene\023ekte)g(enthalten.)p Black
536 1230 a Fg(4)p Black 42 w Fl(Weitverbreitetes)h
(Spezi\002kationsverfahren)p Black 536 1396 a Fg(4)p
Black 42 w Fl(Gut)f(f\250)-48 b(ur)25 b Fk(Dokumentation)f
Fl(geeignet)p Black 550 1619 a Fg(8)p Black 42 w Fl(Unexakt)p
Black 550 1785 a Fg(8)p Black 42 w Fl(Einhaltung)g(der)g
(Spezi\002kation)h(schwer)g(nachweisbar)440 2120 y Fm(Informale)35
b(Spezi\002kation)f(\226)h(Beispiel)p 0.7 TeXcolorgray
2355 2120 950 6 v Black Black 565 2349 a Fj(\017)p Black
41 w Ff(Reactor.cooking)q(\(\))d Fl(liefert)25 b Ff(true)r
Fl(,)f(wenn)h(die)f(Temperatur)h(des)f(Reaktors)648 2448
y Fh(100)792 2419 y Fe(\016)828 2448 y Fl(C)g(erreicht.)440
2670 y(Probleme:)p Black 565 2876 a Fj(\017)p Black 41
w Fl(Was)h(bedeutet)1188 2927 y(\224)1214 2876 y(erreicht)-6
b(\223)6 b(?)p Black 565 3042 a Fj(\017)p Black 41 w
Fl(Was)25 b(passiert)g(bei)f(Temperaturen)g(unter)i Fh(100)2230
3013 y Fe(\016)2266 3042 y Fl(C?)440 3377 y Fm(Exemplarische)35
b(Spezi\002kation)p 0.7 TeXcolorgray 2062 3377 1243 6
v Black 440 3612 a Fk(Testf)r(\250)-47 b(alle)24 b Fl(beschreiben)h
Fk(Beispiele)d Fl(f\250)-48 b(ur)25 b(das)g(Zusammenspiel)d(der)j
(Funktionen)440 3712 y(samt)g(erwarteter)h(Ergebnisse)p
Black 536 3934 a Fg(4)p Black 42 w Fl(Formales)f(\(da)e(am)h(Code)h
(orientiertes\))h(Spezi\002kationsverfahren,)e(dennoch)648
4034 y(leicht)h(verst)n(\250)-46 b(andlich)p Black 536
4200 a Fg(4)p Black 42 w Fl(Nach)25 b(der)f(Implementierung)g(dienen)g
(die)g(Testf)n(\250)-46 b(alle)25 b(zur)g(Validierung)p
Black 550 4422 a Fg(8)p Black 42 w Fl(Nur)g(exemplarische)f
(Beschreibung)h(\(und)f(Validierung\))f(des)i(Verhaltens)440
4644 y(Durch)g Fk(Extreme)f(Programming)g Fl(popul)n(\250)-46
b(ar)25 b(geworden)p Black 1848 5662 a Fh(2)p Black eop
%%Page: 3 3
3 2 bop Black 0 TeXcolorgray Black Black 440 534 a Fm(Exemplarische)35
b(Spezi\002kation)f(\226)h(Beispiel)p 0.7 TeXcolorgray
2627 534 677 6 v Black Black Black 630 770 a Ff(Reactor.set_te)q(mp)q
(er)q(at)q(ure)q(\(9)q(9\))q(;)630 869 y(assert)50 b(\(!Reactor.coo)q
(kin)q(g\()q(\)\))q(;)630 1069 y(Reactor.set_te)q(mp)q(er)q(at)q(ure)q
(\(1)q(00)q(\);)630 1168 y(assert)g(\(Reactor.cook)q(ing)q(\(\))q(\);)
440 1390 y Fl(Probleme:)p Black 565 1596 a Fj(\017)p
Black 41 w Fl(Deckt)25 b(nicht)h(alle)e(M\250)-48 b(oglichkeiten)25
b(ab)p Black 565 1762 a Fj(\017)p Black 41 w Fl(Ausf\250)-48
b(uhrung)25 b(setzt)h(ggf.)f(echte)h(\(hier:)e(kochende\))h(Hardware)f
(voraus)440 2097 y Fm(Formale)35 b(Spezi\002kation)p
0.7 TeXcolorgray 1698 2097 1607 6 v Black 440 2332 a
Fl(Mittels)26 b(einer)e Fk(formalen)g(Beschreibungssprache)d
Fl(wird)j(die)g(Semantik)g(der)440 2432 y(Funktionen)i(exakt)f
(festgelegt.)p Black 536 2654 a Fg(4)p Black 42 w Fl(Exakte)g
(Beschreibung)g(der)g(Semantik)p Black 536 2820 a Fg(4)p
Black 42 w Fl(Ausf\250)-48 b(uhrbare)24 b(Spezi\002kationssprache)h
(kann)f(als)g(Prototyp)j(dienen)p Black 536 2986 a Fg(4)p
Black 42 w Fl(M\250)-48 b(oglichkeit)25 b(des)g(Programmbeweises)p
Black 550 3208 a Fg(8)p Black 42 w Fl(Erh\250)-48 b(ohte)25
b(Anforderungen)h(an)e(Verwender)p Black 550 3374 a Fg(8)p
Black 42 w Fl(Aufwendig)440 3709 y Fm(Formale)35 b(Spezi\002kation)f
(\226)h(Beispiel)g(in)h(Z)p 0.7 TeXcolorgray 2513 3709
792 6 v Black 440 3944 a Fl(Das)25 b(Schema)f Fd(Reactor)32
b Fl(beschreibt)25 b(den)f(Zustand)h(eines)f(Reaktors:)p
648 4157 4 34 v 652 4127 84 4 v 747 4127 a Fd(Reactor)p
1058 4127 2036 4 v 3094 4127 4 4 v 648 4257 4 100 v 734
4227 a(temperature)e Fh(:)f Fc(N)p 648 4282 4 25 v 648
4285 665 4 v 648 4310 4 25 v 648 4409 4 100 v 734 4379
a Fd(temperature)h Fi(\025)f Fh(0)p 648 4434 4 25 v 648
4437 2446 4 v 440 4660 a Fl(Das)k(Schema)f Fd(cooking)j
Fl(beschreibt)e(eine)f Fk(Eigenschaft)29 b Fl(des)24
b(Reaktors:)p 648 4872 4 34 v 652 4842 84 4 v 747 4842
a Fd(cooking)p 1052 4842 2042 4 v 3094 4842 4 4 v 648
4972 4 100 v 734 4942 a(Reactor)p 648 4997 4 25 v 648
5000 665 4 v 648 5025 4 25 v 648 5125 4 100 v 734 5095
a(temperature)e Fi(\025)f Fh(100)p 648 5150 4 25 v 648
5153 2446 4 v Black 1848 5662 a(3)p Black eop
%%Page: 4 4
4 3 bop Black 0 TeXcolorgray Black Black 440 534 a Fm(Warum)35
b Fb(formale)f Fm(Spezi\002kation?)p 0.7 TeXcolorgray
2170 534 1134 6 v Black 440 770 a Fl(Informale)24 b(Spezi\002kation)g
(\(=)h(nat\250)-48 b(urliche)25 b(Sprache\))e(ist)p Black
565 975 a Fj(\017)p Black 41 w Fl(verrauscht)i(\()p Fk(noisy)7
b Fl(\),)24 b(d.h.)g(Einsatz)h(von)g(verschiedenen)g(W\250)-48
b(ortern,)26 b(die)648 1075 y(dasselbe)d(bezeichnen)i(\226)g(z.B.)h
(eine)1882 1126 y(\224)1908 1075 y(nicht-leere)f(Folge)-6
b(\223)32 b(von)25 b(Elementen)f(vs.)648 1226 y(\224)674
1174 y(ein)g(oder)i(mehr)-6 b(\223)31 b(Elemente.)p Black
565 1340 a Fj(\017)p Black 41 w Fl(mehrdeutig)24 b(\226)i(z.B.)1345
1392 y(\224)1371 1340 y(Ereignis)f Fd(A)g Fl(passiert)g(nach)f
(Ereignis)h Fd(B)m Fl(\223)31 b(\(was)23 b(ist)648 1491
y(\224)674 1440 y(passiert)-6 b(\223)6 b(?)1063 1491
y(\224)1090 1440 y(nach)-6 b(\223)6 b(?\))p Black 565
1606 a Fj(\017)p Black 41 w Fl(widerspr\250)-48 b(uchlich)24
b(\226)h(da)g(nicht)g(\(formal\))f(nachweisbar)440 1812
y(Dasselbe)g(gilt)h(auch)g(f\250)-48 b(ur)25 b Fk(semi-formale)d
Fl(Spezi\002kationen)i(\(=)h(Bilder\),)f(sofern)h(sie)440
1911 y(nicht)g(von)h(pr)n(\250)-46 b(azisen)24 b(Annotationen)i
(begeleitet)f(werden)440 2050 y Fk(Exemplarische)e Fl
(Spezi\002kationen)h(wiederum)f(decken)i(per)g(De\002nition)g(nur)g
(einen)440 2150 y(Teil)f(der)h(Anforderungen)h(ab)440
2485 y Fm(Spezi\002kationsverfahren)p 0.7 TeXcolorgray
1819 2485 1486 6 v Black 440 2720 a Fl(Formale)f
(Spezi\002kationsverfahren)f(werden)g(in)h(drei)f(Kategorien)h
(unterschieden:)p Black 440 2926 a Fa(Eigenschaftsorientiert)p
Black 65 w Fl(\226)g(entweder)p Black 747 3092 a Fj(\017)p
Black 41 w Fk(axiomatisch)e Fl(\226)j(Objekte)f(werden)f(aus)h(Typen)f
(konstruiert)j(und)d(durch)830 3191 y Fk(logische)f(Zusicherungen)g
Fl(spezi\002ziert)p Black 747 3324 a Fj(\017)p Black
41 w Fk(algebraisch)g Fl(\226)j(De\002niert)f Fk(Algebren)f
Fl(\250)-48 b(uber)24 b(Objekte)i(und)e(deren)830 3424
y(Funktionalit)n(\250)-46 b(at)p Black 440 3590 a Fa(Modellorientiert)p
Black 66 w Fl(\226)25 b(beschreibt)g(ein)g Fk(Modell)j
Fl(des)d(Systems)g(mit)g(einer)g(reichen)648 3690 y(formalen)f(Sprache)
g(\(VDM,)g(Z\))p Black 440 3856 a Fa(Automatenorientiert)p
Black 66 w Fl(\226)h(beschreibt)g(Zust)n(\250)-46 b(ande)25
b(und)2376 3841 y(\250)2373 3856 y(Uberg)n(\250)-46 b(ange)24
b(des)h(Systems)648 3955 y(\(z.B.)g(Petri-Netze,)g(Statecharts\))445
4270 y Fm(\250)440 4290 y(Ubersicht)p 0.7 TeXcolorgray
1017 4290 2288 6 v Black Black 565 4519 a Fj(\017)p Black
41 w Fl(Modellorientierte)g(Spezi\002kation)f(mit)h(Z)p
Black 565 4685 a Fj(\017)p Black 41 w Fl(Programmbeweise)e(mit)i(Z)p
Black 565 4851 a Fj(\017)p Black 41 w Fl(Von)f(Z)h(zu)g(Code)p
Black 565 5018 a Fj(\017)p Black 41 w Fl(Axiomatische)g
(Spezi\002kation)g(mit)f(Hoare-Logik)i(und)e(temporaler)h(Logik)p
Black 565 5184 a Fj(\017)p Black 41 w Fl(Model)f(Checking)p
Black 1848 5662 a Fh(4)p Black eop
%%Trailer
end
userdict /end-hook known{end-hook}if
%%EOF