cs.uwaterloo.cabrecht/papers/getpaper.php?file=eurosys...Couldn't lock the fileUnable to grab lock...

download cs.uwaterloo.cabrecht/papers/getpaper.php?file=eurosys...Couldn't lock the fileUnable to grab lock %!PS-Adobe-2.0 %%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %%Title:

If you can't read please download the document

Transcript of cs.uwaterloo.cabrecht/papers/getpaper.php?file=eurosys...Couldn't lock the fileUnable to grab lock...

Couldn't lock the fileUnable to grab lock%!PS-Adobe-2.0%%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software%%Title: report.dvi%%Pages: 15%%PageOrder: Ascend%%BoundingBox: 0 0 612 792%%DocumentFonts: Helvetica-Bold Helvetica CMSY6 Times-Bold CMR9%%+ Times-Italic Times-Roman CMBX9 CMTI9 CMTT9 CMSY9 CMR6 CMTI7%%EndComments%DVIPSWebPage: (www.radicaleye.com)%DVIPSCommandLine: dvips -t letter -Ppdf -G0 -e 0 report%DVIPSParameters: dpi=8000, compressed%DVIPSSource: TeX output 2006.04.03:2234%%BeginProcSet: tex.pro%!/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{SN}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 00 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsizemul 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 roundexch 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}2array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat Ndf-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn Adefinefont 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 ctr1 add N}if}B/CharBuilder{save 3 1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cysetcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]{Ci}imagemaskrestore}B/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn/BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put}if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get Amul 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 X1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4index 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 0exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelseend{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemaskgrestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B/QV{gsave newpath transform round exch roundexch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlinetofill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S pdelta 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 Srmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end

%%EndProcSet%%BeginProcSet: alt-rule.pro%!% Patch by TVZ% Makes dvips files draw rules with stroke rather than fill.% Makes narrow rules more predictable at low resolutions% after distilling to PDF.% May have unknown consequences for very thick rules.% Tested only with dvips 5.85(k).TeXDict begin/QV { gsave newpath /ruleY X /ruleX X Rx Ry gt { ruleX ruleY Ry 2 div sub moveto Rx 0 rlineto Ry } { ruleX Rx 2 div add ruleY moveto 0 Ry neg rlineto Rx } ifelse setlinewidth 0 setlinecap stroke grestore} bind defend

%%EndProcSet%%BeginProcSet: texc.pro%!/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{SN}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 00 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsizemul 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 roundexch 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}2array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat Ndf-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn Adefinefont 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 ctr1 add N}if}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{save 31 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cxsub 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/gpgp 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 copyget 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 cpfillstr 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 addchg 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 Amul 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 X1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4index 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 0exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelseend{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemaskgrestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B/QV{gsave newpath transform round exch roundexch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlinetofill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S pdelta 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 Srmoveto}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 2index/UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 rollexec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metricsexch def dict begin Encoding{exch dup type/integertype ne{pop pop 1 subdup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def}ifelse}forall Metrics/Metrics currentdict end def[2 index currentdictend 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 -1roll mul exch}def/ReEncodeFont{CharStrings rcheck{/Encoding false defdup[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{/hoX}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 mdmaxlength 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 Satan/pa X newpath clippath mark{transform{itransform moveto}}{transform{itransform lineto}}{6 -2 roll transform 6 -2 roll transform 6 -2 rolltransform{itransform 6 2 roll itransform 6 2 roll itransform 6 2 rollcurveto}}{{closepath}}pathforall newpath counttomark array astore/gc xdfpop 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 3get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflipyflip not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg subneg 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 pop90 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 getneg sub neg TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr1 get neg sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr2 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 STR}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$SavedStatesave N userdict maxlength dict begin/magscale true def normalscalecurrentpoint 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$xpsf$urx psf$llx sub div N/psf$sy psf$y psf$ury psf$lly sub div N psf$sxpsf$sy scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury subTR/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 2roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpathmoveto}N/endTexFig{end psf$SavedState restore}N/@beginspecial{SDictbegin/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 rlinetoclosepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llxsub 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}ifelseCLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx urylineto 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{/SaveXcurrentpoint/SaveY X N 1 setlinecap newpath}N/st{stroke SaveX SaveYmoveto}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 01 startangle endangle arc savematrix setmatrix}N end

%%EndProcSet%%BeginFont: CMTI7%!PS-AdobeFont-1.1: CMTI7 1.0%%CreationDate: 1991 Aug 18 21:07:18

% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.

11 dict begin/FontInfo 7 dict dup begin/version (1.0) readonly def/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def/FullName (CMTI7) readonly def/FamilyName (Computer Modern) readonly def/Weight (Medium) readonly def/ItalicAngle -14.04 def/isFixedPitch false defend readonly def/FontName /CMTI7 def/PaintType 0 def/FontType 1 def/FontMatrix [0.001 0 0 0.001 0 0] readonly def/Encoding 256 array0 1 255 {1 index exch /.notdef put} fordup 77 /M putdup 84 /T putreadonly def/FontBBox{-27 -250 1268 750}readonly def/UniqueXX 5000825 defcurrentdict endcurrentfile eexec9b9c1569015f2c1d2bf560f4c0d52257bacee583a5c939393e012707b47e0c1fa47d284a1edc9d01a497d772bca8c543388e6dc0d1e2c4944740470e0914f65efb0737b0851b2ba713a9a00b36d07da6bcb52920b9b59efe587734027a3c5e6566aad332fe6fbcced1417802822a3b81d6187875263d6bbda04bbcf6e4870feead60f104bb3c5a766610dd11aea64a6b107b0b04439fa2888b8cc39232bb83f7695aba81f0260cd5248b9e649cd80219794832af151fe9d5386d1ed91db54d1f56dbec55d7c48ed295977e18f23fda49f00cbf6b37dbcbd34dd98770e780450fab0bb54cb467b1038527da84f47b0cdff9561b343383c7cd96f818e10597fb394e91fc05dacdb7b418c8e6362ca4e803b563f227624bc4d8e0e1f76925affaeb710c3b8220db48814ac08cc6a4d735d85316555bd4ab77a1098370dcb2bd272efce72e2125b0a783a9b1fe202217eae8eb51e4ee2b9735b997af5b43174c58b407c1c7a4b7528d6ddbc7091f1fb8d4a731d78ec08e4c996301846cbeb567359769578272b49423899ffa88ed9e3fb5511c3e471150a3e257ba5656d21b8ed57c4d1f6433eb9e04012c52e0fad62312eb2a88dbff69cde9d39d372dd7934fde7f906a9c4828c1762dd4e1ae410026c58b56db7df324dad8fc3696323900480ff909c9f4b9acbf7d983b9429b25d317613beae8ea83b7626fa7b010aeda862d9d09b45c73d841e6d5e36bc8db0151d6dd635442552fa4d942210b738d3b625884628e541a7abb75c347ec149ecc27a148cea9cdf7f1e6842ec26e2b9fdac2bd6aea7bb0a594e0298b7003b2b858a51d0da0ecdb9172942c16eec62c8b4352d64acee149e55cd6a72b0e80c67782b42c244b955a3885f87c6b7fa8d83a611e2e10d5a6fce63f0a6cbeac3684f01f7cb60166a924849aa33626d97a1f7c7d323388b666e15a2b4a21ee5542aef982c7c88902127b872f9405c9f3ddee6f09361efbb93e28d89714b02c9263ff96cd423a693ae2834a8f26e926aaab01f70ad759640dc6d18b0867d828a3c9a3a8758c2b3408100b416b920aee2155e70bcf5c769202d54ad46f5af53045e6040862d2cd51f0571f3d440aeb71635a5d3d55570cc88acde19a70fd94d075e2c186f98d3d9b727268c9bf47e5c7fde226f568beacece835a23c186574da175e2c57d59f241e02bdd2f5547352219c6343ce0199f19f34c93d27af8b36880803726ab284a64c7b05310c855f32993fe433ff42c96339f6d6b397c8b47b65fd9070c3a9a51e2c9c02d21d54759b9bda6b1562dc1784e98e1fc093b6ca1ee61f975c534dccf8731c329c893bf74b89f8f36aa7cd70f01fe1e41a5062f08d57d6d045848b1bbf625df21dc06e51db6d32c9a52128e90da3666ad0c2d1e186f82bea0554aa80aa9ee923af7ca6b6695682c8426f0ac71a838ecc4a206ce52aa8bb529adc5a7c1d16d5cb8277ee8243a10428e5160e7674e1f81f3a67582d967b0b9cbfe5b0a8ac1e38dfe8ddd4f6855cc6b9bd1403a8a5861034c5d6f6b181d21eeee2278888cc16831b9eb4fbeba49efeb00e16c198894a49d535d94dd272cc29e612b825c56d967b3c7325e9a7c5dc8cb8460b8fc014f2a42676d3bd8e66d024bae2b88ad27643a11b1f7ab1b051e32042c30bc4ad57b04f3a9bb85257347c769b9858beefdfae3559f4d485ff239b5f8f8b6a79ad7f29b4529d35d8f79e5b0aa7dd78ee9beb24c0312ae95c764ac6366faf75f7cf4c93e3ab82608b4e742aec2094fb6b07568a12dbcd70f8e084d0168e98b2436ed779ad5656207d3cc71b2e27b2c8afb0a42d34036df73061a2ac4c71441599ae54a51c2b6bd49f2a4ac5034147af33aa11aca426db4ce80d2c52b579482b4a3d9004ff5a446ab464c20bc1ac2bb62896a8f67ca64fa660ca0b5f8677a6c7b0af61097986f1737e3ba3e84cb74bf1b55919abc8846d8fd5e65a31e4b3eed0996111aa992fcae684b2bc84df9ca4464ae4865b539fe2d225c821d29b51862208fab4b4f602b208acde0aa413800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000cleartomark

%%EndFont %%BeginFont: CMR6%!PS-AdobeFont-1.1: CMR6 1.0%%CreationDate: 1991 Aug 20 16:39:02

% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.

11 dict begin/FontInfo 7 dict dup begin/version (1.0) readonly def/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def/FullName (CMR6) readonly def/FamilyName (Computer Modern) readonly def/Weight (Medium) readonly def/ItalicAngle 0 def/isFixedPitch false defend readonly def/FontName /CMR6 def/PaintType 0 def/FontType 1 def/FontMatrix [0.001 0 0 0.001 0 0] readonly def/Encoding 256 array0 1 255 {1 index exch /.notdef put} fordup 77 /M putdup 83 /S putreadonly def/FontBBox{-20 -250 1193 750}readonly def/UniqueXX 5000789 defcurrentdict endcurrentfile eexec9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f00b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec379791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb32ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d823385fe55f3402d557fd3b4486858b2a4b5a0cc2e1bf4e2a4a0e748483c3bcf5de47cc5260a3a967cac70a7a35b88b54315191d0423b4065c7a432987938c6bedad3b72ad63c2918b6e5a2017457e0d4ebc204b031f3fc6c13d7da7277a94ba018e9998b3dd888011a5d7c4204989f30f908b95533bda845746b673ab71ea5765a0d14f4350707e47c8276305b28513cbe1bb0dbd269a53719bda46e536685ddf78ca0146b6b93e760256b74d939d4e35b5e77238f04c92298dfdd188feea30e053eefbcbb52f2011772b3aae39f5805597bbc1e8bb75a446ce014030f4f2f0f49f9e962ee4a1024a746fa92a3628db5270732b54e43fe5ecfa524f127e5fcc788e77e66098336ad67fe4cccaf0253272d5df79864bf4b734cb9a5859d557d8bc11b8e00221ebc12e97de4b1f466ead83a4c894709363bca9040410a52d592e34ee40cc7e5efa920546b981aa659513a24b1b85c221a1875b62d0b89e57a368321b8043a5b094e0379760a443d632892b14ad6d19dacc8c78093243ad67e6a308e56e6b68412ee690b10dac6e17708754a00d51fc957b500eb80175716eef4b2ca1ef867614659bee3f2b7319e97b6fdf1efc847bf3cee3156f72f21751da8e5fb6898919e6799820d3de0642d756e09d6fae4ff08dd3deda3173bff4bb11f79109c97ddc05897af709ea199a90fcee8ce4c7a3c15b18170c41c04de2d3fba8f34296a95b8e1e8de3739b17273f8f2c85e914615e8eac5e8bd2387ba3b1edf47968f06e2067d836d0f9f3e085cdfd2de06a62c81d786b304326f7002e83160a36598589228b4dddddc43c85e1d126f8fe81b828028e26317af5894aaccf4f696301e1a9fc45935d8a414957f08febebbc3a72ada80f101e47447d019ade56e9f4fab969bba2b44e47399fedf5caa1bcea216d7ba713d523de97a57cbed59a39c235a135d115ebd4abbd5c9622673a3b81397a34c4489a741b6b1303f14dcc9b53fa003b5af9907e9d5c1666059dc769302a36f9bfc0b20f5c7247afb340ffb3d5d168a880d8b0c3d4bcfb67582acdb261fe271f7b3286bb717c20eaf87bc684c235488d450eefddc9d12eae4fdb11b63777e9ff3186ac566461c3e33d8adebc7a1904022c0ec6a4d3befa2024c35841c9a1332bf8256a3cf535e7e9b51a972156906a4bc276860325141a953413ef6797b4a5eaaed616a475775ec2304f0059851a30c79c36dd8fee3b65f2b8e69ae0ac8fa5a38a5a5dc9bfa12e36febfe14b0d24081d5fa2ed8778d9f2c7fc51435af3c7fbd3c0f856c9e5af5434a52f5619ef5bca52fcd3b65f3a8f6b90e896d462fdd1084d8244f7fc0a3c3415b4cdc9d35d89b915c6a854ee6d5fc2a8a6081f92630782c8763904cdc2a2b8a7d10db4bfd791f172af058b3dc3a85d21ed68cc6e7e631a4128517dc75f990b035845f4cf91d1d944730912e630bf2d7af3d77924f3d098d22fe912bde1d0b6c41efb7bdccbe1eba0bf1927aa09b4696dfdace7cb8cbc7a3ad6b963ed71fdcd38b51dbc32ea070f160583d51229c7faf650924368e0192e646f0708af76207e935c9bf6ceab6a7ca54bdc7b37abafaaf127a4ffec3a193d7441a062a6841d4f43635b3ee351ad21499ddd64be36d2a86dbe508b6251444dc2254040b78d4f747dde8858ee8124155f6f42ec7a58811b17fa85bfd907a85494854011e622f2b12b24549490433ea4ca3c0d90d509e16ac1691be6827a082200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000cleartomark

%%EndFont %%BeginFont: CMSY9%!PS-AdobeFont-1.1: CMSY9 1.0%%CreationDate: 1991 Aug 15 07:22:27

% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.

11 dict begin/FontInfo 7 dict dup begin/version (1.0) readonly def/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def/FullName (CMSY9) readonly def/FamilyName (Computer Modern) readonly def/Weight (Medium) readonly def/ItalicAngle -14.035 def/isFixedPitch false defend readonly def/FontName /CMSY9 def/PaintType 0 def/FontType 1 def/FontMatrix [0.001 0 0 0.001 0 0] readonly def/Encoding 256 array0 1 255 {1 index exch /.notdef put} fordup 24 /similar putreadonly def/FontBBox{-30 -958 1146 777}readonly def/UniqueXX 5000819 defcurrentdict endcurrentfile eexec9b9c1569015f2c1d2bf560f4c0d52257bac8ced9b09a275ab231194ecf82935205826f4e975dcecec72b2cf3a18899ccde1fd935d09d813b096cc6b83cdf4f23b9a60db41f9976ac333263c908dcefcdbd4c8402ed00a36e7487634d089fd45af4a38a56a4412c3b0baffaeb717bf0de9ffb7a8460bf475a6718b0c73c571145d026957276530530a2fbefc6c8f67052788e6703bb5ee49533870bca1f113ad83750d597b842d8d96c423ba1273ddc63eb43f34fa90ea73a234af35fd9b24eb74f19626e9124df7acb92629cc87b2cf81c4a89b27447806db34393ddf0402958e2daee0b4bf315f9aa0a2650d2e11ee289ffaec940d0af160fe7f29411c1c45869d1ac3bcfe2ae4da72422549095f1fc9fec606289316f106e719a4ae2fd45ee868fddf07a80e9a626bb43cdfdaa9dcd208b88fd99af20b27f9d6b5cda6a3fa88d5acfce8b5eebb38854378cecc3bfdac526514f1be9fb28ae628918ba942a3e05b78c3aff808cf416a5ed01be280231b75a7aee0c66b0549713bef6b3cbc188e625ba81a0a7f34771e69cf51959595a11c3e703d4cc8f9daea61c58d008fbc0959107ceed88f118447806a58da7f3f163e616d826cfa1b90ee66fa6c33ae07d86c283831e2a657467efe4b563e7b47c8d822b5c9605d5fb16eae7afa329320feb8dfec3309cb217ba00cfa72e1a8b61ce896c5043861986019d244ff1489c7709bcb1c1de052926f9a5749c18ee5b1bbe208f58894840a16db64a5121d03f22b3cc183f62574199992e35c05debfda3209d81cb93251b2ced32f840fa6648daa73ef183a748e2654dbf63627306f5dc097e416fd5f741c751ec820335f31f36e24c604517dc7e3a7a5901e12097ee9d4b467e362fade7166c1d558b59d8d6f352a413cdf5b8f55a46606bd87e066537da2f4bb25b492c37e6feeae000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000cleartomark

%%EndFont %%BeginFont: CMTT9%!PS-AdobeFont-1.1: CMTT9 1.0%%CreationDate: 1991 Aug 20 16:46:24

% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.

11 dict begin/FontInfo 7 dict dup begin/version (1.0) readonly def/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def/FullName (CMTT9) readonly def/FamilyName (Computer Modern) readonly def/Weight (Medium) readonly def/ItalicAngle 0 def/isFixedPitch true defend readonly def/FontName /CMTT9 def/PaintType 0 def/FontType 1 def/FontMatrix [0.001 0 0 0.001 0 0] readonly def/Encoding 256 array0 1 255 {1 index exch /.notdef put} fordup 37 /percent putdup 45 /hyphen putdup 46 /period putdup 47 /slash putdup 57 /nine putdup 58 /colon putdup 65 /A putdup 67 /C putdup 68 /D putdup 75 /K putdup 78 /N putdup 79 /O putdup 80 /P putdup 82 /R putdup 83 /S putdup 84 /T putdup 85 /U putdup 95 /underscore putdup 97 /a putdup 98 /b putdup 99 /c putdup 100 /d putdup 101 /e putdup 102 /f putdup 103 /g putdup 104 /h putdup 105 /i putdup 107 /k putdup 108 /l putdup 109 /m putdup 110 /n putdup 111 /o putdup 112 /p putdup 114 /r putdup 115 /s putdup 116 /t putdup 117 /u putdup 118 /v putdup 119 /w putdup 120 /x putdup 121 /y putdup 122 /z putreadonly def/FontBBox{-6 -233 542 698}readonly def/UniqueXX 5000831 defcurrentdict endcurrentfile eexec9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f00b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec379791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb32ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d823385fe55f3402d557fd3b4486be465959b1188f76df7824c135a7fb382c4e11b0ddfe856b6f34552ca48c24b57dd8448fac257c4d93fb122e1218fd36b99b2d79dadb8a66613ef11039be77816a7a2d6781fe0d69cecc36232ae87a172afe095532a8c7ff40bdd4a5fcfb6ccfd8f73c572231734e0609c6743ee11010f6579820b367c49069ac1d45760c0ce8dc1e67e2beb72be6d287910547e1b4bb52465b75947d224998223275a2c340a1c14c04328cc2935c53ee2723f1de6357a291e14863f6c1411477b3ea074052b30a4c1ef03ab324d678307e1cb02c7aaffa90b73975378b9debcd3f6aab626a361be8068c60edd0b2be4a7bbf4efa21cc23607bf7e2556c17b5923d7b0fc036d5fea743c55f2bbf72e8a61995bd63d7104a085b8dd5a83d9077376a4ae8f0c048606bb9e84c640c52d0a95b35d48cfafd6ebe3d6eb0ed88c1212818ca93e40614740a77c446b792d02945642014a5d55ba970ef97dcdd5b839f621a052d1085a1e668161d3ac0227c7867324ede883589b39e5d152793009cb5a08eb6719a44dd01b6147e3436bdbb28215ce3d29a3b1dfc72bd942f8cb3376b4e12cff53a793d935346ceb2afc3428cd9313c671ec1911252c19de341556999aaf7417aa5085daa35ee71353fdc2c7d83ec2dedaabb1b89b99e4cb5282159cbfb45a286f8d6bf3abdedccbdcebaf6994b17f1be07d10f00cba47f2fbf66c0cf524494c53786b0f88f5d96a18a086fbfd22b6cd3108ee9183698b342fe978502afdebf98632d63bc149de9eab94230a55327fb96b72a85ef6b7acde791164e8f856e95058b875b02a2262b85a2ff02fddaaffc3a476f7abdb58f5b1df019a4ca14695cf1f238756b3ce61ffa44d543341b9c1a3b422ad6ad0bedb2f2ef0ad1d60a8589decb250451260a0dfafca04c4435a350b80b75f198c1eccddca12489fe22c127dbb5c933103e2f6c5e040dc9bd79cc76c707daed13326151d59d8e435cf883ec064f754c6162f182d1d766e5c0b2954344a4c2a469e6b6c1e98c666927b47eef8776f7a7ee66faf4f23696e5df3945d74e52f5db0d44afc65205b799c229460c421254accda852c2c97eff802727e74cb9990c95b73144a8b9275eb025313cc5fcaef3b814172ee926563104ba9e6645c4df6472992dc3595cc7c66b15583353fbade77ba45ae327e496662550e8597fcc1a233aea5686f38fe6ddafc14d355d59748d87b46129a54eb993b84b2630b6fbd4d9dc28212325bc3c01c15e185890161d670b1466dab3f62c644d0bafe90771ae9f70680be44855c9369bab6063040403ff5651abf11c557cea310b8b5d4ed5ef6b3885537e57b95b4384352645fbfd02994a0226319d5e60f3dafb25b5f8158d100ad997be644e086393ba8ac12ae20bf3bd26396ae40e0f76e4c224594b42b438e2c3792fed69b6d3e030c14ea7e2686e18127a2511e01a62b66b80c9eae101a02b7f3b7536191f6dafc6ee02feffdb6e31c4e94c7d039628d7b07d32a963337030d7b07528f68a10d3e5925fd85a617f2a78d01ebe9c257097a4f08887c936528c95163ab8e592731b381eab9862fbeace828815477fa19dde5fc152eed25aeaf25180c8be7aaaa7806be194d7366dff5dbab54b930023d2b446ac2bfa9eff28bb5486ebabd9851177cb4ce6ef95eb44e1a25fa25b22ef9fec655e75adb1d678e0ad1d9e98db53e299efd0e896c2fffacc113f1b3422d77167aff9e07086ec41b4a53adaa99d95f0ceafb561de6a0b70b6386a0bf4b8ec684764da7664ec288bab1c5d0a0b75de9bbbf5e1a60e505eebe91e4719c284242f6348754ead1b0dacf1bb4fd44463cc1bf811f4670ccb10f2f330752cd706f8081e91cec0535d294ab95e7b5e82ebf931bf4b450fd6234f505e5d551541702eef32ef01c1049b2ed22c1593a5d87048ef16e134b7de030bdd1e1db0b46e230133846b0e2e9de2e87d3302a861b4ab8822a9060a85f4d43e24742a54102deb090cd78bc376f6927333970b22512d87c670ded1993ed1ed553a52d117d9dc4722433954fc97689f456d93cc93ff2270fb678deee81ddc9474f9eceda35422dd7f1b0bf46d9135fca45dbbe82c017fdfa8818e24ea845830de04dc0506dd541f250a265fe6d7b31ac2b5c35fc29839eb1dae2e5d3092273c85ffaf60c1fed54ba2316d077d7f252f24a7e9a35293df57ef93000671d6c6df5c618747ba4222b9cbcf766d2fc187238ce8ed5517d161c8599356eda158d07bbe92376076b3409648c6fc015f9e7549b5bb322fa115f764045e19d17f1c7ff538ca76fe488dd868e2e1900ddbd38d1d3547fd1581f0fcb7de7fd17bc3c918ae5fec46ec64f1eb92400d0a6cb1b8f1d2cba4c89ce5188bdb69e017df945600e298fbadd4fa2a0a3489dd978e70a87322ddd94fd4dfccef9b58e49fb701225e33575814bca3a1bfe7199b87ecd25ce58df792d5f4836c92eb976206bfa32bb3b54f2def914f68cb456fe8a211cf89046923dbeb7c188d4ac2abc211f9e45104fd083f0f29523bc9690bbcf83c44afa2affa90c9774586f870be72279a4e5b5c59eda9600dd9f1686ffac4f560f946fdb65f5f54724d894c3ae6b1172bce7dcfe512da2c5648725f54531812dd438cd673e8d1c516c0ad86e5dc7419ce3e8881b0cedad20cb7e61fd39ea0b7327328c733008b3da884acf252b4c3597f9d90d798891b70ae0fe808973f30ad2f889e873f072641c4c5cc75a781d968541e92f9a4ad9ec06ef866f26ba975e6586bdf2a7477a9ffbedb445c8b007169862e4f841066f50a55bbca8e11013321feb66fe13810c309d4422708fc8b777a05e23059bef0c5827d1ae2acd200800e2acd45a3378aed96271a03a1e8a974308b7702f06d4f5f922a36199a59b8bb96b7cca55411af78981bc2ab6b03f049ab5fe23b1c40aa956446c159c1cde367ed6ccd0238a13df3b2a48113f4e4833422572a933c198a1316df3a592d0df4b912542b254f4567a0960d304c3456130030dafbf4079143807fc91308d207d31100496f67031cfbb5a3e38b92c156c80f203c1c746968bcae499b40e2556ff084b51c5cbcbe5b1e36cc5d2a1f75225be6a9636f00a7dc22a6fd4b14c84c2c403575fc9cb1cdf62a17dac0fc522a1c90f141811c08c38648d39b22522e8e248697977cf3250026d6034dbef31105eac219d5f18a0643ad9f7fba8ed0c3d60f8fed8af3bf4dacf9a5d62388a3e024cf108b6338b89422fdaa58dbebc7699d864eb979427b132c5a08e972a88d4ec12d708bd89e4f3749bd67b1f6d028ec2fcb42a4c4a209975cfd0202a9b105128f8e1900ac0efb5c83902b58740dca1dca33837e0322c56647a3e003c0da9aa39930b9a8ac57c74cc2726b9bace145c5910a8903528b31ed9d733437986d8e97025c313cca5b83b646f53b097dcd5631f500a62392c2b481ec35a298269bf58d4afe02fdc0264040f58d92047df793405d048150ccd1cd698e48160cc1e0ea04718cf015377da31d06eb8fad126df08b3c77afc4574954b9bbf410c15a7c91a0bc3ae7ccf06d998a87275e08075b03cf801e7b1c8aef945db49489f7ab2f7cc17f9e6e078f7ff3cc78af7c389f16e96d4987e7437f6ac7158ee8da316bb29a41b6cbb0bae1a45b2939e665a201b8dca9589e99bbec041bf1e0ad166dd295cc7cca95c4f1d44473918157d214b4b0080df7e8088797fd36564947cf8299e3e6285dec782a172c151fe0e4cfbc1c77dfdab775af12842cc9857cb52ff5e660b3c5c7ada5b5d090c37c82caf57c45a2b09765a740be08877833ad36319dfb4a25b7ff40e7bed901a5ab5e949027a5e966dbae8e551738f6d04f8a04c78b021b021fc1c29c04c49ffd38144b9b34349c3965fedc426ffb3ab045cbd001b5921e06d99a1dc5e95283462dfca0050771b1b2e0c12e8433020bf2d8ebe1cc952cfea8a833579ee9ac68c5b6dee11800c2993e65e35c21fc231214fb54a6463f3290429f33b72a2ab00f4dc49d3c53c8104cfa6fe0a663ffa58c8d89d1eba7d41e91fa0229b3521d9d89a306000c05f3fc38dbff253ceb56e786675ccf05a6df6ebe6b8b533a0ea2a350fad501bbef0d3bde9db93a4e41c5b721ef138bc005b502b10c6ad10cb001929abb8c3507671677345b9dbdfdeb7c581edb113fa09f288111db3470f6af2a3cbccc0cdae506b85be9c3b70e6e66c6276b521912d884c3b2fd7231f77d379250167d8ed7795883d5f953b8b72e4087d0525f1c7043ea9daedbd154e7eaf4f23c322f9f348baf3af86f202978488a066e3c0c4519df310b8c62ce87b17041ad64665f4536aae33d143357da2a8ca262234fedb414e16f441a558ac631b1246700ab9bfefd4d3a5c4c2df7e5aacce594d254e569b1ccb4d874c982cb71d7760fb3b1f280de8110ca85de45f8685aa97cd545ac719b98b51d86c318b513dc82bfe3da8fd37c81eaede97388b14011ba853b714c7da930a7e4df10f4a6e9a4fbb515ca8c88902735bb998e41adfcfb6f3d056c6e59ab97a512831e66993c15b67de9bccbfd0bfb77fdc98c21eca70165e36f1a2479faadb0671e114a4ef7dbd6ecfa7d6cf0c8616d616647a758bc05166d799a327134b12463d03957300c6cb2527cefd1fe8ed53db92011ef5a59f2d317131b5de780e8df36dbd8a2e73a9c9ca6da287cf5f1b901fad93d653d782206404c82478652f8607aa562e3952d19c5ee20d7ff8593b178b152b092d70084b99d2d38152b2dba40994dcf8b0dcdcb06b0bcc303c8366624fe675433661488cd5e0eab917ef54d0f43b5dd1725a27040ebbefcbe93d3bb575acc6d1b80b143decdc04df53a065be0714bd65529917bc0bcd8eae4066aee261e8419c3ef02b242eb3c4bbacc6e55f115f272e1ba3d839ab0f76d5024b9f6a4d03307ed588c6aeb4b53f345a5a8cc0f7f703219664ff72874651c8081e996245fd7768928c8c0bb66c1a195965f764c8d8419e77e9cfe57919cb4ad5ecad877938bdbc10f455693699af224d90179aa07846aa92c3937882ed7980b54994f54b4cb32b712ab2598a16ca26e3a02f64ee9a4a8a15c06ca0ebd39775b93d0cf6d9bc311bed90b8b4a4614e3ccaee9cffecfdb599ea49aadc1ef8a04391b9a5f7e6bb57a1ed3be7bc779195b61f2160e7e897fa92558ba2107d0000a8ca1018f21652309a61515045afd4ad5f0d78c9e01051fbd77c1fb265cca285089fca95983b76989c07f572cf03ceb2822b8767132c82aba22b28f5149e92201cadb8e92b98480879aedf617c54af7af77ca78d6696b15614b516fe1349f65e4a90714e13672be98b565ecf7e0324e49493d565d52da968bb80c7426248bd4c5ba4f67c0ca8363795b7aca4464e1eb2ccabbd50afa75ad5dbf075cef6c7461d71f0049366cd0bfa3701ab65f149ec501cc4b45606c76158f787e247eb06cb74bb16acd91ad743c93d17d27f76bb6be5b06a609736d20556dae8475bbafff83c5101fa9bb1ffacde6d5a690edb19fcb3d0e2dc2158d958dafc1d67d296f8b0481f5c4afd34763fb9c06eaf76018d01e853d0b3491f0ecd49d12452bb123c4eed2b6be62462446c6ea37136762716e68901186bad0dcb66bf2f3661ea722da26f99f9b2d7929786e655577dbe3f582d6eb8aaba01aa7963347a1453c969440f70492d5bfdb6365167682bac91de9a03207730e7963ec09497183db2581813b34e47eab1d420b224eb03be9af6645ef0f07d9a967e1e67dfe353dc408e704393c527e8d910a7a5a888b4d40b10b2a9eae3d9e8b251917d1a8bfb9ec6da60cc6b6f0a03e27969f718e0f49f426f0925c42c47b1a5aa22dbd255891fdceba95bc82bdcdd1906d1358210f97f15cad8a09f5e79b16917840afa7957064c362bd205fb0d8247c5bc12f39da6965dc3e8f9f0a3ddf947c4c4892a2ec00feeb34f9cde61a9eec40e2c287cef15d5f71cb116988052f892324049d7a1700351b7dc5f0282340c9fdfc3c9e928bcc6a8b381fb5229d121e9ef9cf076ba837a2e0f6327cf497bea926e616b97bee9dde575a2e8e42b52e240fbebb165a5e6073dc5ae671cb0a68ec1226709f49ac1e963a745fd53ecd6764e2409a2efab8834516714021bd8aa705e9c9afccc97cdd2cd5bec33f6f940b04efb4093a805299905419f188bd16aa27fa9c71cb176f2eb5c2f2466ae294971e25c199374210a46c3095d3d1d03be669877d9a6199db7a1f8c1435c50482a4c6ad1682683abbc5e53124f1b96cfa584572fa9416cca851653ed930f6057a3b1cf4b6369f5aa86bb164d410b9a6ae8e6c588cc8dd020dcb8223f9dff5e7c9fe151523a8b6415589c02421d9f924967a780fed93526a8222ca63f9b47444294710c6a05c0593c06d5e2187af48929cf66ee21f846ad2f62c5e59b7b8a7a1992767bb2c3b75634d48bb5ffdfe3cba1680957348f04731dbc30d22327a3da8e203e740c58b4c2edb14471bbedcf2eefcf4530da2c9de7ae58dada65a151b0db6323f2fed5643516649cebae7d857b0be1b6057e3d0a87b49375c0169d5d152327ac2010291babb45767096eba09a69b000e910bbbec0515a85c7fb94d251dbd16e7bf853129594ab3a3e9933c4dc2091afb7b6cfa7d815649c82276e561ee8d0cf039fb172abdb3a28b7c3c13636f2a6a8c25e734a6b672873e2d4ba16d9b05f4920755152ef7905dd4d8c48bba442be8c238642124f328f0ec970598d82044eaa53a62d5af5aa0b7f4be757a1c172d90273d376e178981f0656834f87b4709ba7c9d4e0b26d0eff9105f221bbd1d47dae6ac08149082ee207d41fdb530fa866bc53d1a08bd634fcafc61a54720c9e8ad9950ef3e3e22c31cc1828e95bf8a4983072e4d8d905383944938b92125a0904be504aca76d43a82797bc8696f48881eb72abd5cc9aba481dcf88226cf79c3069e5d51e0bf623cfeeb561e327f86e31b5449ec2d4401b3a6faa55f442029f9ae6b6f2b1c89d17f5cd12773c73acdfa2ec50e405edd75729458b625ee61f245a9b7ce47f074d4128cf77a2735dd9ceb0d18c84ac541cc13dc386b2470be2e703cbbda035d54a42dc80537e44acdfdc693a284fb8a1aad0037936d57dc37e23050760027e5ad850f5060fb73a761cbd592fa814741a546d583f78ea4830afdb3a79f324e00cf3bb1d4b0e4eb01b3d6ef91700022e2377558ecf8778a7e53a4517ce89a391ce1ed7e3cadc55d537a9c5272fbdeaf215f410c8808eafd0ebabf6bcca2da9241b232f390c205546988c5ab25b22007d7110f83281871a14851f2cdd1a7149353708b4584227e06c89b083bc5e98ea749ed2117f351f5873104ac63823e0c01feb501352679f79b6e27287c9fca5f369696f38b4cc06e714921f8a451af82f1aac53aaabddb6fb37d9f4c3415328ce06693b8ff3c0bc27a77fdd6be1c66d649308fd91b34f09efe65053b6739a02c025502aa5aa8bad705acf97ffd18318c1ca00b07e146d7355954229a865348665e80bef92e692c899b5f48b930a30d6c72aaf239b503754131e17d76d79ba23a2825b66b48c2c738b24c547ce2c8903c5be4496217fcde3536fc4061309ec3dd142d839bfca060e1d018f01139159fd4919a48d47dc259d2bbe405300070d520bf4743ab58524d3f1a57c3ee4ae1236f17db2ffbd4ab93e158c7bec0aed02228c4d95b1c7e2c0f84c2cc31c7a4a39963eb261b5730b055fabe0c9624ac6fbcf297ed6a52dc981af0b0499b42592f721d441b66d8493da9ad0e945f2a048387615db014d4f2516e7752002594339b38e9014d71899b3d3f0e35bd64536e29b25879e5e43a7de3e8d0b70bfe219a21c129adf63b691d72e90276459763a07f4344ee5ddd89270abba111186a0965b9911650ef3671da8738c820fb68cde52651810aba23f22c903f1e5bcd1a9ff3e424eb2315f198e7e0f9e61278ecc8521cb0fb833e7e88130350045b12024c676776908c12d4c8ebfddd5387785bd5a329027f15ef098cd6b6c950cadb5ff65693ef7b1e6bc271e538b49015ea79196435198139eaa23fa697408d4955203c9eda8eb6031ba52db836254eb4aef6ebc9824cd1d39cf110de157fe6cee3dad3533a125172893e2637dfe4f1b27611a86c10c0aa04b9671f674f1e2082948bd4dfb6b0b4500f93b7e9d7bf5cf5dac93eb636f38f600ad95a1f5f540a9d7a9732f09a4a1960718057e2ef7e4988e5f832d82e103262006cbf4a550adc2c6944714e4cacf4c3fcd61bc56f8e0cf0a4d8126db159280b931859c03d830daece045d448942b45a102f82c82eea2657d0a3c2102e98c535dcd4fe353a9c299a4ef2b0dd3a14881b197bae684c550bf5014bcfe5ed746d801804e05152b34da87bd7c987bd109e782d629d29d30a0a222ee1f29cc99a281ac72f42bd31f158d13f52fc7b9093b4f255106e72fc0948a3b967bf80d4b9e5206e877b996a690e78b8e0adff2ed61293b8cab422ecbc853ba840b788653175dd2fa29d9b57be2a4beebfb6968ff7c2117173d9359c90dd798e1278e18df0669d39bd086e910d208ddb599b58c5ea74e333a31d40db875ee6d9b0b3a14be0f48a423be9182aca57d68a9d2d895f46e479df277188c1ddc5c5ca289ecd9ff471f012a346b0034b832239b689cafe952ba7737d4ab635e4945c1c8c5cf8e25723fa0406926353e93a6c1a898f8aa5c331bfb4834580c495bdeddfd417fcfe5e8f5b6c2f43e887bced56689235f10ea7200b395dc4199b902b94f20ad320fc923551e2d2633119070a4e0e62253d8c517e6e6598a68ee6d56ae6670adb434ab451358a2998c55b916a5529c0235dd187459121dd4443d62e9a98cb11f2f5b585b08d38d6375adf9e41fb17f734cd8e0aa05aae7dde9a0d194644a988c8c9fbbc34829d596f4263eb8b72605cb9466434705b67873c55d5ccfcef9df22261b30fbc411a304642bd3d11f8a1e463f8860ac9fbf93710d9a4292a83b7d2be7a53641372fa720c7c14e1205dd31dcb9a2f9ae7b31e417af36f258b07a196f9504f30a2c661035223466c8ebc3d22daa7e3e7ec9d3254e70a333c22a8d3d76b56a359b930fbc5d4999c6eece59ac1a8b1b9b3e3c7356ea2d1202aa3222a2c2104f225b61f691229a5461baaa19168801a5454c01ed13e093177b88a2c8b31b1cb2e7e6bdf4cbfc79dffcaeefb348585845b0afc875efb17f33b28c183344a182702ef95bdcc51f05085fe57ee2228cbae3929da02486e120f44f33ce10d8c9009542d4a2de38948ab7c636406c4846019a8b54884fff94745cf7049b23473b95602316c1fd6569ae486b772d233b0f1160c51af59f43f6fef6f980e3ba65e362978bb4f7ea08fe4323a80136cf63963426fe234056a72f3dc932ed4334c30fef0bf6fe0e6528adae9329227254fc7caaee66bffc388049aa8d545376b832b638766f055e603b2724be54563b1f8d5ecde1a5c7beaccc1d88bf18ba14f8557cea5f085e21c3ae820f133126e05fd1499b6c0c4228896c69ced01490918bed987f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000cleartomark

%%EndFont %%BeginFont: CMTI9%!PS-AdobeFont-1.1: CMTI9 1.0%%CreationDate: 1991 Aug 18 21:08:07

% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.

11 dict begin/FontInfo 7 dict dup begin/version (1.0) readonly def/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def/FullName (CMTI9) readonly def/FamilyName (Computer Modern) readonly def/Weight (Medium) readonly def/ItalicAngle -14.04 def/isFixedPitch false defend readonly def/FontName /CMTI9 def/PaintType 0 def/FontType 1 def/FontMatrix [0.001 0 0 0.001 0 0] readonly def/Encoding 256 array0 1 255 {1 index exch /.notdef put} fordup 12 /fi putdup 14 /ffi putdup 15 /ffl putdup 39 /quoteright putdup 40 /parenleft putdup 41 /parenright putdup 43 /plus putdup 44 /comma putdup 45 /hyphen putdup 46 /period putdup 47 /slash putdup 48 /zero putdup 49 /one putdup 50 /two putdup 51 /three putdup 52 /four putdup 53 /five putdup 55 /seven putdup 56 /eight putdup 57 /nine putdup 65 /A putdup 66 /B putdup 67 /C putdup 68 /D putdup 69 /E putdup 70 /F putdup 71 /G putdup 72 /H putdup 73 /I putdup 76 /L putdup 77 /M putdup 78 /N putdup 79 /O putdup 80 /P putdup 82 /R putdup 83 /S putdup 84 /T putdup 85 /U putdup 86 /V putdup 87 /W putdup 88 /X putdup 97 /a putdup 98 /b putdup 99 /c putdup 100 /d putdup 101 /e putdup 102 /f putdup 103 /g putdup 104 /h putdup 105 /i putdup 107 /k putdup 108 /l putdup 109 /m putdup 110 /n putdup 111 /o putdup 112 /p putdup 113 /q putdup 114 /r putdup 115 /s putdup 116 /t putdup 117 /u putdup 118 /v putdup 119 /w putdup 120 /x putdup 121 /y putdup 122 /z putreadonly def/FontBBox{-35 -250 1148 750}readonly def/UniqueXX 5000827 defcurrentdict endcurrentfile eexec9b9c1569015f2c1d2bf560f4c0d52257bacee583a5c939393e012707b47e0c1fa47d284a1edc9d01a497d772bca8c543388e6dc0d1e2c4944740470e0914f65efb0737b0851b2ba713a9a00b36d07da6bcb52920b9b59efe587734027a3c5e6566aad332fe6fbcced1417802822a3b81d6187875263d6bbda04bbcf6e4870feead60f104bb3c5a766610dd11aea64a6b107b0b04439fa2888b8cc39232bb83f7695aba81f0260cd5248b9e649cd800bcb325468c79ffacb9cd3036f2ed7bb65dcc883aff8d6350d6e8af1a9c1d2d7fcddc4c554c7e350f2420586f43e2124611487cdb176d453854b51cb8f9100bf241899bbef87d57f1135e589813995c4d86ce91db2b3757948f365186c2a4f32d845f659a8e95028f9c0168851997135c67ce7654f2de4f22f51311aa78f440e5fc2c58f6df901fd071b2d53b2697bfcebc43fe4508828b4756ebbe1f3e8512514162b3bb44493a65f11ab56deaf152fd01bc8b642e6021af01998edc76b6a1929fbb9fa4fd1a430bfd4464b53f75075f66c726fc037fc23cf09a178ffc60908f77d8ea9dea79c1e21fcb5a6a994e5a8e5cc6d6291891df7695db58a2dfcf3bc9a17888c29559ce8f37dd35c0ae35def3e8daa6d8d574f457b0385efd1611c048b9ce76393fbfa006fd23d742cfe70160355fe95302b129a824c7794a9de47e463a7fdc42fd72b9da3fabc3e65d90258ac9c1ecbd3654b103a488715f9e0e649b57146b786aa399c6ff39f362816306a1e0ac83a4c83410030d740e15165683e843f69579ec1824c36935ed4705962f494c401400303b590614e5daa8dc53fdda083fc854e535fcd575b38aa43d3d5c4a38d56bafa926fb9e7fd69be1af2b502849500693dadd5f00b3185a8b18a0b64f289f33f5f1eceb14d6945a22d0def259076cb9b11d899318852053d98c36ce0a0be347edaf1e4e777c303b4a051e3da7ae5140ce9dfa018a8669b0b551696e194dd54ca062ea1ff406ca877790dfd1dc18ac62288cfff849d4a142cb1c1ac5faa0ae05f039e3cdec6ede558fa3faebb0d3eeb981e561fde8899d5d4effd8610a21b1ee990d09836d75ca7f8adf56ce3802bb45fa9a0e9449fb97ed1933f36869237d6f9b8ba6e7ddd9b21bc2e53af56e28c2dc8ae41f3869a71f23667ab4871f212c30e98bb95cea819e6090ee15cbc4a780b3841ad67f801a21b09af55aeea5daff653d9787a7709880fd235d7af8af8c3079098ae8b50289b5685c33aca3ac2c0e4ed05a352cd9acc3b320f7cd2e938ad77cb54e5bb8ccfb05404a52261cbcbc367adbc332fe68b9f473941b6cc0b2be302610314a52cc03f26569700ea0f719ec7cdb4f94ef31fc229825d5cf2dd65b22288236ba549f092627701cd1c7da53787f9bfec6c4b714780f90118d8b15475623dac265c7504338b858271cf7a996b16acc4b61c273d2b07cb2d915d47768d917efa738a7fc126ef0a8a7f0a91d27f4c1ed6d4d63b1a4bce47402661a031d46365b9877655bdd92571e4113aec3e38e02ebb67933b0052af3b424848825af2a7c587a3993ec356fa3c274b39037217b5cd45d6008709e8f3295d7883e79c54a0447301f485308e083ef2ba0f5466d16dd9634d8d40d8a6479c0744beca010110cf18b59c7f46e801f9a6f9e1251b74764f2ff48aff209582773b52b273fedd1ace9beda57f2d035408c74d94bd390359a07bb47afe13af9e62d78577f92822bdbbbd5b3702acd7da085684e191ba5812e584d60e35e28635786c88d9d3fdc0158308519144f6fa70a1e30872aff35c37240f29c6ec5f82632ff160676de6b50c0ec0d15c91fc8811c8d1935e51d031be6d3b58b8f55673da0cc98aee60a5f1b0a35d55124e8d4f365388a0a772587704f697c357c4ac61e10553fd15733d7ca47548fd7ea924402bfe7227c98137c2e606312691c78f4fab735386fdb8aa3a63225cfa19638743af3246bea94dc281788a36247e07008c34834657b123d276a29cecc6aa995e0df40f5a6236439bad7bbb7c65841b5e531085474d54389fb8309241454f34167d118bd26b8d88b82d672d3a7b0c47fdc1d265be7c37a38e48e194a60fc48d3b9db34b1aa04379132cb6f7bdaef75816f3c49be66a400dce621d20137df9dc318f6e93c896baff7cb7ba3426df97535ebaabe35b077e40f1fefb5a9c8e19becbb2e648fa2c22e7d2768cbd98c76c792efda5ca6e5e7bbbf7c18e155506a35e10447b6d7360e265a2df39cc9a1cfb0c4ae587d14933d15f05f39112602e1ebf92c96e035c3dc8b4f30be7c979ce98b62513e848260e7fbcf416df7cfb5f198d5cf63d52a6bf0bb73bc245059c42747f0b68d38040404d2e4f0dcb316587274d04ecb3a277284412cd497d6901b41e64ea5ae4a9ede314e9e025284af1a80d0bd51395d9faecf27513e76fbeff1a2431dc24675a2482318fe196e71d652877d4c720b5044da445b8412c8557ae18a1498d48cbf8206efd2e98d172b4adee5e04f7039adbdc941027ed0b9aced5aa3f76ee7dbc35fdf82cc67fd59269581c8750166c709d977dfd9246e084e3dc7951fb53b7546fdcc5b3df57468264f8165bdba177a6f05918b2249b7ba35e764ef3bfdb515809df2f38919de7caefa779a789b46739d3996cbb81e4b20edbcc2d000a754f46fb000630538377446e7a1e055dd2524b56068fb34454297b6ec87c96d44b29cbe5c621d096a0310b6d0fe4c57e4548185a7494cd4145c83a6de6b6c2f7277ae639c8998980043bbfe554953a778bd15fbec9fcbe5b0369a9675cc3ec33c488f08bee67f673cd79ca6834646cbc67f7bd6d9e7d0f790694b11635355659abc432ebb2290def30f6bd3bc161ce532eee95245e7e981967ac84ac9c6129d9819bef13666d1d10176271a39e4dbc24319df90ab66bea6f7171953a196bd35a7c5f46ba027a148b0e43946f3f88ba375283fbefc0e5882e5b8e06510fef1f9ec81831e3a69362ae03372b815864e64bfae6c331b3ee5ffa8d2f81d31762ee8f18955d974e9e1731a55d69e4c06953787a517cca855696ff4fc1da52fc83ab033caf0dd6f2fe160616a2dbfd84c29a787852d7bc4d259c5c78350dc6a173389ed01180ce41e724e81b5903182bd015c660a289060bf7ca3a95252b7c4695f0fb37dd062eb87e8ac672eb8fbbdfeb63833b1e64cdc8e1302b734f797eb20fca65f86f9abe9b9b9adf2f0eca6526e24066453a19f4aa974896e8ac98c17552e918c1333c0119af3635ecc71eca0bde4096c4aa86fcf127774b7d983f32c946687d6a1569eb7187bc7f355237a2a8db58351257ba45544809fab3679b081cffa864b70660ad860350131f7285f7b0427165109cd3020d02652e3867ce1464d7866b787718591bca14404ac15e6ae6246c1a2a24e60287cec4facec465c75b79d2ff1983237e0ea06259ae81ef2ba7269c88f0218d43ac1c2b1b7e9bab7be5735aae28743b265ca5be69cde13162a765b47aacd730193c160534d5855041a5d2d1b4062f73576ab70c25e60f9d9311f50d6cfcffc0f7577ebbfca0c94bd95095695648f8bb6502fc86c53449e99396797189aaafee151c0352552910b6610e5a11d5dc7e4c05fb722ee0aa3f8aad69d49d5537dcaf265c2128bc827e0a88f059d4dd54d28af56abf50c7ae4b2beb6575cffcf3eb26483d4e8eac3b869abf34053fd9c69fb08874fd7dcb295d71924716ae092a7f538acef6d4a873482e01dcffc9c27ca329d33efb46a0788c38ac1f7d74af7aa6e3450762bc68d7e913df8f8ada6363fecda1178ff362047623005bf233ef800168a4cf896e5b9e98b35f2c0ac82dc16d757d37b44eaea40a489e3b7682d0fc339690369c7342beda8b74df6561d5b6af124a437e7ef519bb40bd8a92aba42c044684843632f31f9d8329f04c5adbc005f2ee80eddc480084781afdf1d544fb48ff42e69fd38a0a152f9f7c779bb3aab6b024ae2490da3f64c157f5bf9e140924aea682aa2caf9a411ca8745ce1028752466540fc1524272a9e6da190bd976bd818f1d8be3f5aa561114b567e5ca83051ae1fb40712ee66bc1021e6c34cb23495f1c8a22a81b6ccc877c07a44759bc3a1a42f56b6865f11cbff43385ce51e9dc5bb5bc687e14d908a10d2468dabb010bc06d669c7ef8fed1d1c0731f662a4c947405bdb79359ca06b0b60b749d98f48d446c5f4857f5a901bdd46a981c3fe0575996b97c04cb6cf9fe68bc95f6896442aeaa3eb6c3cb7743e6c08117deafe9e657ebe9a391ab5af6bad2131a848bfc6698be19a4bc156d35aeb55cbde7e86adc60b66f41e1001cba93af64512cbe8affb716bf0e821151bfdf68c68babb032af073676f9e8084dc68af314d7b23426c66f166d84bfaf2d85fd3fe37beb995d4eca3ad92cbb81d3de3cb12114879951d9a6686e85c6066a57f665941840deb00d7e445525fff4f31f960d03876dd22d852a8d973ff32077269365c54317abe9331ed784f6234b130cd51783c7d9f1e5689dfb784a3e3f72d61b7d20da34298b426181f2f0d9e633c3f7b04cb952eee037d45e8179d6d4a7b9aa39ebe2285328b264f266e1ffdb92e2ce5e8010f0a88e8b1c21e970337d4b3f6895ed0b9d9a5e236e94f8d3c80adbcaf7b6d9b32330cbd4e1e94c81e45887f5ddbff61c25d70fa0986e4230242e34499590ae6f445077bae445e38c716b8611fd33fa1c70f8f80b336d0c274e464fe8e6c4c8795abedc69b6fda778f43e19cbc8eb0da31233a5806836ce631a27ac4018e392fddfab3eb6b35f756766d75668908af57ff36e85bab58982a3f82ef362303e77b35622ee83ad564caa98eabcd2af5a3deefe83853b5d1f849254562f80fb4269a00a3bbd6ea98032ef7ec59ab0d5b0410a06a51eeb32de75342e1d88e00787c6aef0cc463aca797180c5efb74b6821ccd08118546f29cbe70b7240e40485b8667f701ba3da79b3c498e3d6ba9da041420202b126256d3e118759dbc973b917b3e70a45de7bb4055b74f7233d5e1686815784982dee0973c8b3a8ec53efef2055a067118e140827a02979a4d983bb3003ce08424c9d47e6f3da94c06f191add73f9b09ae9d16d94f8a63a98fa821fd1532ef84dd962c3657c335e8371f900a975e44123247083d1ecfe7ae59b3082e5827fb26af37d344ba508c71a00b15c1bca140ed1d3cbc71f0e1d99fb403e3746ec6581487b99d3278a3b347a7af3e39568595cf88f157bda848ce06c917d1d7fbc098b29ba88f261f8c2c75e9f67bffaec442049fc94bd5dd5977a5b44407bd5586fb1dcf09d4a80e6021b38977f919e904f34c167f58bb944b11dc4efa5841ffcfbfd1975db2e232b0b2c7909c96a3c649a67c2b49d127cd81db35050aab0131f33098b01ff694240e00a1285b1b84ffda7b9cb4f166079e69954da521599ccd02fda58372700c89bae02a595a2eb8035b379b20329cbc2c2409959b6b5cad4fd4b1a92b59aa953fc8bb6efa16565a4c80cf9fdbba914b4d743734e66b16624f9cfdb3fdc506197bacbb9fd99ccc1bcedf79036d8fb840aef15a9d7af304c86c81d74aac65aa782524f1e0f4279aa641ced50e50f15c88bf5764d9c305987c41bed05def16b50a5f0fbdf2cf56ffd2e1f8ea7008db011edef45b0a45045bb6a64210af4715f9688a0df9fbbd300a0ba559255c71191f4bf93b848252e5d82ffc84c8681d0c99a11086f30b6a666bbcb3ac7d710f479d2ae4e326201e49db924bb67070e05db3e3549ea0d18fa7e7fe8c305112811697f31abc849b17fbe3b94c2fb3b1492ee9c9975178ae88008359660d8c4d1b57c3b6b2c6f42ac6d8e050431a795938817fb92c10e5144b1e9e6c63f74eda7f4cb27bab20baea8a92a87019c4a87eb69c5982f0cfb508aea4cb2faeaa6a55c27f4cc7c3f0bdd3946293f1702aa2fa959477e8a6e4487a33d28179e997d58139fda9f594c4d6ca3737281d6fdb5a92df6956a86bdfd6412acdc492a890e56d34ed77564c0e01c5d53a06a24646d09bdf32ad483990247584289432d80a41b7e0342f5d986aa1180858099d1cedf1e4c02ed5db8bd4b2ab5f018241a54de79b24095ee7a2cdde680c7c416bd07fa5d16c8ed7af76bc0abbeeb10c1e800ced3275b72907767e962e2bef118f340aca43d82d234d7c544ed8d65a090de0b18dd6acdad410df7b54901b4dfa44949ab7c0b8464331a3a50ac868d3ee461575f1c2cf40a5c6a54199b6637d84b5ba0b0818321dd5ad428ab036ba7c02cf7e4507dfc23117537f2829c515b61ba90e0af7a20a6eadff57db5bc8defadd760588fc49a7d5f8fdff316e1255a3a275e24e3bb598db2876a91b1d54f8bc3ed849480453761fa5d2c3ebcae1cb9029d584f552ab758c89e87a09a5c9bb70e68b660e6a97a59a0088f2be53b74cea8630bfcdaa73fab69b461ae7ed612e92948f4dbce4c7edbcbe21323adc0227285e8b34b4e3fb0772e4f77e2e7f1da98509520cb011eeacb6539574240e2ae4fbc165749d7d77168f7b583ab9f5a63ce90da12e5ae8bb33d070e6239417896ef49faa906265d093de95baa3cc2a06924b9279ba1f8f2cc8fb74290221e387a517049704fb5a1e8407bbe836663eb5d933dde7070b53d265741f06adeb4c1704eb2114f8d62e4f8de5382e92cdb4fc637b33309ae958c865a106510b6822129e09f154df765bc5c38981576ca7f6b179998391e329020b110b489c3051326725df207c51a18e65d62d409c95d65f15fad92a82f235f50658000c54f197794cfca276907cd329a6292b4fa754a0c4a41b7cdc6d476f32bad13e7713a845aad4530a5d037449abc8ed8c9dc5f4c30d370005404a750157208f93698ad762e03cfc241dee37970eef91e1ea8d95fcec5f387ae5f41449f5147a08eef94abfd28f419d9f77114e1e0ab10bb8e17b1ed21492872dcea5d22a3ac19096b9b530c916df9aaec1c60907bba23b97bfcf617f83063ae6e1e08d35bd4a7c9b3296d9d896ae81a1ffc4a6feba3e773ee2e70bef8ae6b39f0de51ef435efe1d69ed06646d3e28a18382c9f10fe58bcc3cd6d9f40d2f4f321550997d8d77b4346e68f1f8430cad4f0c245a633386a40965cdd776d43e9fe916417a003665438ceb48e87bb9f0709ef487c95d7d69509da818b8070f00ecb724ab63e626b72533c6705ae1a238b113e1fd22d7f65b5f1dedc37eda0efc343a4f8e11bd6e9dcc5b314f58883d31f5ad5b5f9b2365ef18b8f1a83a368bbd00c262af9d7b84e03fe3d11690993afff6c18102a287bfeedd50d0068bcebf139d92df0fcf3f4c5d3b2d35c4782eff5cc197ebc2bcc7ba42d1c160bd947bc75cc392f8fcb17b5dfb6e2e7b8799b74a9f63434f273add5cf20d530c7ecae8056989fb8cf12c0f777153d48fa50ca27f1f46f325286609ce24c3c4ec7669585e7daa7235c9f15c582a8319bc7428b1a0da35f5184b20332648437e94dc527e70f17bdb56fa81d24a137bc756ebdce05c372b8123992635380fce1af824364dd5a844f00f92cc5743d69a4cb4f42bf857f445d13765fa7b4b5c3709787db18ced95d8d3bda2931fb15a9410cfa7edd2497922ededb4ca29bc3edcefd039ca9b000b620ce163dc9844a4562b913f00ca6db6a19b26edf819ba855c9af39ff9b5645dfd0b19d4d4f50b555b3c8b6e2078abd9ed2953a9f5a80f8cb7fe4e88f4f037fe8dd97a9bf879521d4faeb32a2e4818d9765c3271dc8d810e7feba2bce7f6779ea1535af6e718692c9e4d7b2ca5b6852a2721746368896eea83c97c51cf47e2a1c8fc94e3118ea69435e3dccbcf56178865590653810779297f5ce8b077392781c856f175fcaf4afcfc0abf9a530c28357a6e1f26fcc6c5c9c04b91c543d849a4cbd3228f66ea9f128e01dbd2384ae8fe5b75d1133523fbe9b9785f7e8a5c6b8b03f20ba957f18edff1f5b9d3a9049d92f08dfdeb75cd3da481ceb96ad2d616719e574d6e4371425b98c4c9ba623d7e275be6d04d63c81ff4b35641cb45920bc7ac5fec7b324220b58f879832ca364744edb04b9b73e96117968264fffef84c789252fe584d8ee9e33a10b04243a02ba505ce24cde938a8d5f98ef0f44f66123bf809ed096788a5ac994daa477007de6171d49ad24710242ddae8825cef3c4a37456bdcca045becda6ee081de1e7662c7e3d385367da2ba5fdfc035ebda9b169c8502ba2aa95817919f106ed9356d8c4889f5e7f2bfc95ff6dd79545f85c3a39d395bef3b6c9917761cc310908f28ccd8abe9520422cb868887116feb3206d4b57dd58cae97267f8384b9ac9a1757fe8b6da0421821369d66e51db43047cbffb50ce20153392f3684154e181981ede2ef589a7785d9ccc3a76e30b9923069de4ab842abaeb2318cdd14d1969cfb2cd6a5d8587f4b2c42ee4859d16c5d3d3c23aa199a82b71ef71627aa0352e7cbc263d071549984f54b485bbec99519a1b4a0c6c9a128c53a61c98e4cafc35a86cc21a2d4c456b27af40c12a5db6d52e1d28985b0d4ff6c0d31cdc86ad9a0d084b46c1b81cd89967ba75969992fe4d8c99a205bbb76580fa0a174c1a2b00550c44b9f64129b4f9999b4505c344bdcb8712d27c4c4f27e43870950de12dba9b78fb387959dfd9fb8f77a0b268c33c95bd2e14bb4901d62aa880313eec069defa944ed3f5547a288521ab6bea9a45b1eda0ec2a6bc5c708b9fa88123db142ccf68db8ac4131942dc2858db8b57c60d8d73073ae997043b7f3a0e40f995dbc349c25b91924561ed2dad8b4908c85bd33e7b676b2a0ae9eb37fcfc7bbae0f180173cfd8e538cd3457b96f1f00afec1fa2def8c5815178ed033ef55ce685c89a38e9f0b5f94d84b0b8f0be415a646d12ed363f49645947b93cc8d4e65cfba10a0e1a469f76f224db436aec04f9da824f1cc1215c02dde3c20f8770493584b0d1611e6ba9f775ac6c4ecbdfda16ef50604de9cdb98befb0e1ab4b10b6b38800f9b436296d5ec4c506ce30ce8f279804a6491d72732c6e90ccd75938218f27f091c9e4ec0b4081db27bd11f9f241fc2d6d40e79211fe78b359dc029d92e1204f6a803bd8d7cf98aa7b4d9fc315624e598be686634b71b07864b6696a2715109707574de6f443bb134e139b118dc7d7ea00ca9274abc95f1ebb64581de51383f7bac3316d085adc62745242bd95cde8e6234420deee8c6704b1b5a2076a438574cb452a2441cfefbccadade2721e09f9887add034990b6b58185cf91855904b2ba9803f96d12f89afc924c6e8a3325cc75642720942f41d60b83afceeeddb60799b343c3708aec8f80e449738ce85ed1f6336ab52506736b500c8768f663843b982e1e4b2f8e338a35bb7890e4dd87499a83487925bcf68c362736121999d4a3bb8dcffe9e8016db4dcce78183b72405552f3516717210567575b7211a9dd02fc7f1633e1afa71244f7a5c8e3d5415dcc6b0c6c7f7a37eedd79d1dbdb72d269b591643edac0ccd9418255ee31e6cbd65fcef2c886e8848897b98b92e4f4d8b424f09fc68ee591438500373d0d971ff431b19a54f4f4f0f245f34158d40566b670e022db9ad807f501504800c603f863dca786931e1706193f332e4d90bb6d49fc1a8ea68b4d6f3b14ad71c5738ca2f0b0bef0b39a6d82d406be3af68cebbccae11020cee9d2840f25464034d90ba8008c3547793ad2d460ee2b1fdd9feef9cd86fb4a04f3bb72b5ecc61c50d47d8841cd2c4a1231ffcf1f73f11e5181d4831aaa2242e79b706d8c767fd63ece3893388128dc169581e21a4b50eb7e5b7c04af626abe2dac3811439f92bee6ffb268f4d10d917c0803c7f68d08c1baf81922bfe3bd8238ec4805bb96fe2f6c0ab504ca3a24304606e256f34c00f55cfa89a0700effca06ac3095275318061206905d9f80ce81e4ca6f9dc739ac8edb162d945cec0e86a551ed8cc259eb6d379672bc4b0aa8fcb3fcd9e2f3a4bba3dd8253b9e0e4ece328b3324e63a4139c978f797cfb9d1a65a9f6fc3c4d182070937d2cac09f73e15e6454ddfffdb5e344db2f90835b8eabaf4f98ea2d1969cd23d1727851da238e128d898344515d412650d16164a70a8e44065c6c91f88efdb54549a6476751ce8368e9b2a3e824fdf0e6ec45ee5281f595ec804277b6ba723407471d9b9dc6603a6ec0d086884c3a16f2ceeb08e5ff9da4e7a4757493b22c7e68e8322ed04bb25e2cfd407f6e97e3e94017cdffa645df4e962507b45b56841272f9d062b8687224af229fee3755bacf03668ff731a4f7e0df869db607b86da4e3a74bddd26e8b561ca7ca548c3f41e72c25fc72a335286a873a99ddb50344ecc8f588be47424749a86a59d92493e79e5ea24c763f17e6475da089133900871444689efacb72ee44829b07e21caf7d4946add7a86d80dfbde184af8afc621889516b5db556ebddb23b5647bfe49246843f72444f2ce722ac4d28a14dca601e69bbdd58b038f3c8b2c80ff2003283570d5905a17c8d535f97e9ca21706c8833c1f76cd7d52a20bb7e351ecb977d351c2e15027790713da80a9a0c80cc77e31cbefbe4bc8e40a879cbdee032afd24ae89282d90b7fa2fd4737d358683421ca1a4c9bfb3fb5b0899c1399a31ca6d3edf709b09e2cc9496629be793de5f6bf0ca7bd7a0abe6e0b9bad76cda00389ea2b2684535b0ae6b74865a044e41b51a8bcfeb9b2c5d30f9968adacfb1a6bbc755d30ef4f3c2c9cea2a5f6b1f3de7effbabd4d6aba4e27350c801113f6026ea0c009fb52d91834a8cedbe323c26f85d95e1c82f9fe46f48617d8b59c8b1797adebd59e14d26876de081ff146119b182fa71cff5bd79a68006da9f4af839d95af6ec3b7743c195c0db31d57711842380f5cc69f427badaeee19a694d9fa44dfdb39b806da04cc3338f7d574d48d14189ed43a9bdc3a1a65a1650510ef240803681eb6ed65c52522474e07f40f44e6aa2de12fe3a5fbff340c0575b2dcb82953c1c37b9ea257de060786d508ab859375dc79bf34730cc4fa7941774562a6dfbab69e701f20259385cf7c696441b6fe34277936423da27ca8c24dad8b24e229d1c0203da4e8839a7dae76efd600dd0c7e9ce764c93306abae7c94502f1d1c79e2d4d513f528c367b405e9a92cef9ce716c27b24b3e3e3b3aeef6831d1a52ce00847ee7117a21c02e841e14637c5ec7cef4b5dffe0b569da9b4ba9ebcf84deacfab38fbe2b3b91b9b5140dabc437829c1b75aec1f9abaa4345fe52c04bfd91e43e26209d33a40c61e675bb049fcbed91ef7acdecf3a7c1ab76ad8691bcc441ae88fc41a052cdf83c6cea8a16c530c3b42e544d492a3ffead3b00229f741129f7614cbe91a88e5e13f3a8636d05f619f1902e109eac17063ecbd80b5b322fe707be53dd47df5a94cad8c7e3dd19eae549eb749f3072e48f05c28f55528ad1f7f021853f4ee0653d004ff8ec1ac48e76fbd643e84086450cd74a7eb0e71c646ec0a6cd1944c3ccad4533207622cf1791f8a55d3f5d673e15773a7489b0da320f4e220032fb807681d550a26a41fa71dd4460c04e64f4899b24f37b65040d6ffb2c555f553201fa1358ca42c80cf1243c0e3d567817ee08065c7b0096b7b6b91bea1d4b788ea6120c91c1c82cc68c8ad111181672f2c508171111018a0e27b63db49608606611e4409cb5c9c5dcaa91eb9ebd0b88373928b3c02272479f3f50450685298ccea76953cdb99c3da07e51522a93d924e2de869f4fea74d8fc50c66fa7e52e9e55c1368ac327846e9f93f0b5c1336021f3df1bad8c5b1259638cd9f7b4a663755e4bdac9e46f8c1e866a0f5273a652ffcacf8c71e16df8974a0f130a22101c2488a22ab8347cbe192fcf457f43e6df964f6af149da9b082de413f74eb07ea3e8e2e5e03f14dbb5016de4acef05ec07f74baa8780bd3ddeaf4a8616abb901ba2ec2b284ce79bdd26576fea949acc2f164b24fef587916faf5a1bbb851ead186c766ea7973d55ee792a113a5e4dd459f63a6b309ac3ad6d4dd4f087f7a4feda6bcc5d515abcdd3a9b5d3184b4565041ffd46b9598dcda989df7bf9c8cdfc579d9f2e2bc22b534c9c037ff20d60509b9a6e615d5f1b2b5e38edc49ecbe73d4372d40f2e56320c546e4736a3dc7218a31472d9cd2a40e01eaed7a935e69b730ceb48165e4d10f8d49f2af17b494e39d8b840206e2f4ad13587940ac91d2cd4d4b5e963101f7ef7de53f5f821494d8f2dbd97975439487befb2d4f31675da079592049e38db23cd686f055d468b8e6d9d837f43e71fea42bbce39a66a1d9f01ce619c47a1ea44d96655e616bb6cab9f6ad5530a838346d07304ad3c10881f11626d3a19ed428230485a240163b4e520cd7dcd051d2a458bbe41e71edf9f1e94cbd728843a4a5311349b6195622ac0e0d1bb82af52a7591622560b33ac54cb5ba0a4df034c39ee6a327341f7fe6bdebbfb52a50aed1fb3f8a3035108c01e9600e32563a83cabf9d5bba6a9f59042143d7a19c9bba7b2424fafcbfbc24e40724583ce0bcbda59500a1e6baf9df64913a684dd4aefea935ee4986e81175cff64d8b54c329e1d735b7f663832c934e5c76559f202821ac80fbc4731e175443a3ae76ffe6f73b111be7dd7589fc19d820fe29cba8af686555c2969453d09628e87de2c7fdb0936f24772bf32f67663c6779d60c68982670ffbfba2df21c30772213d5e7eba961517b6ed5330121f52a37eed68cb6dc08545b750ad6fb37da9dfdf7b932656ffd30959576b00ce645e5e53424913ca9183a12d479de975f06f53a40b4b462df7cda1d248af02ff19ac570db567c15a031e58c9768f5260b2242733aca6b1da88647de0934f736cd1d0471a469581b72cfbe05be09896dc85e36c10f8a7907afdee2c8524cb54eb74d02cc97f66ed807fc23b4c6d18f649769d16ebc5c552f1e073151120ff106b409e0a46591feae76d2b8c0e644c94d9b7b5fcf9eaef6338a10f5ca44c980fd6e445cc32210359588bcc23648611749c29e45e358f310acd04eca3d0b3cb5492b0beba13ed976b61f4a5a0e707b554db3ab78f059cd5fe0e5d8d49ba659b7a9994b29888105dc4f599f4ba645f5b5f0a934045390a272c64d04da4aa81b23da41a5b8564b69983b1930419cbf1561e5b4ddad1517e786fad5e0e8feaae3ab2eb40e6cb1fffa8dc125f147f4292989d69301f3c2ba012dac31128e081fd79104ac5efeb40a523a05b9c6821316c613aea84d5768353442fddcbea02851783ccd9f72104496e523a34c88fc3640b6c0439979089e1016f9c08ab9a09ea6c114cc586ca0d99cf3d4a3ec2bf739220547dca0d00aec639f98f0b4159607f8fadbc988d66f878397e4c34ed59140898f27e2697478b06f1065ccb4259e90f91a6fae53aaaf2c8db90989027d9e0de2ede50e48606cb48a834714d726a68043babe4fb046c1db66860e140ba899c4335df78f5dd6083bbaebccf689ea3e93a5386c0ebec680b825a38d68815b4ef782cfc862ff7f556f640382d06294515182220f86284cc95cba919678f7bad48faf48ec7c04ec24c9dde4d25efe72e87003c0af3dc9c238cddd993a578d247a2be2fcd640c2b21b7a4eb968a7d5c5b46a33c50637efa76986773649e1343a01ccff5d23bb83bf201e8d4d9a34c1e5efe7bed95a850c60f50747c3e0e7ddcba90de9257f1714114d1b44915d2f13ee632229cf66c3db288bc6d5048bc53b686ee6adfe8111c29ae222b87c16d083b2c706e0fd0299e080865f1242b4affbcedc8e65ccffa6cb7cbd880d3c58d5ec2de1e0adf79e6cf67d15cb12098ba7a93dfeed178fdf061aa1d9bb6fecd14cad154226b3a8aaa5239596fb9e4568515f43b36e5c449f425dc0a609743e5492951e77b0b553e3019509a09ecf8b2e9d70923d7cb88980e927f973a8c6555b65ea1821ab40828b69b7f09d7125fc85f64e16a7f0ecbe93fdf79263ba983dbbd38620e061487e6937ae200ee83cf2a991764cbfc0cd3608aa0736b43a3e77811d76a3dcb3690c2364163a4edef498c08ae62649488e8ad2c2becced696fbd2ab4beaa780f0cae366a6b210cd0c4e5beb9e667821fdb5a2a1e04c406a207788cb272114f13387a92ba8bc2e9f1f123b5c9a518387c7ab967643b3d3262e22cdc2ade8486bc012915dfbb69d402387a411cc1b165f2ba00fb2a3147946aa5c4ce8b32cd4c694295dc682cf65033973e32cb598b4a6942cc8a20fdbf96123df3c6aed62534617b523171ba797c58f59684685fdde866fd8ef73cfbe4ec39868f908bd15afb555ac806259c707e75536d5210fc71ab7d14e8f05641cee59681264ba4ddc863db9a34624e2928fd7bebf06c5f3d12931e1be2674d100600056e4c388a6482dc3086cb2184aa6c9f01d01f2404003de4946d511492981374c689efb4cc870bea60ebe6cb75c1218997c02dc557e198ea52cc7da8b07cfd783b04eb0b0fd4bb19e2041c34ea2ceb7670a00da630ff5c5258084c2bddffe0dd839f9942153c7634541518b77341b7b8437af69973408e58b8a7e83d75adf1e65336e03465247fb710106bb0bdf222f208c5336444ca2ac08f1cb31df8f0ce0ab9ea6bd344cf76de1f005fcbd304d593d773e40845ce49249b89ea618567fc347d10a64e4770e53963b324c038d9fa1ca670b2912240e0f17c50b96c38c7a60edc7014ca134dedab606464fd3fa167144a9d1329d9af7e0c9101544421cb73da4182d963957bc2239361d882967472bee2d962e781ecd9f83a9c8ed8a5ad7a0d24d573b6c891a5c92b886d7e1af4f6dfb6229d8dc265581f722d978173c1d6805bd08fa4d7054653684292e04536744d9cee670b375b1b817cea5df10c7365ffa27e544cb68b0d249db82080f133388e76da4a5936e359657e3f86dc2326a9160fa423586be65be527eaa2c5903712c0af3215de456ea67a0cc35e0bd1c1c54535d2d7a8a593d13bf42c5d6a1a3e03723b6dd4d48d0bb17f93de6d0ceac093e21148e3054a9bed459a6b77796b87c01a288e2fd92a83693b3a4b87ca9e9f9fccdb380f8b7a8c9abe948365b069384fbb7439268e4508fcf7b2d0e927742ec5820c23f393995541e2e26ab7c9b2beb9cdfaf9f3cb68ca7556c5e84db027daa0f2989e65a7adf8c50274664076d47b19025aeae86e00c120d73650f6b981711b30defb4698953c35e52a507464ee586597323f153afeafbe0452e95cb27b93b14684f77720722bab8bf5f2e51cf4196b82ba9532387da6fa83113a7144259369276323d9bcd5e8f7803c2f41c78ff0ab2d8b3bbbec894bab7b5e60bf516f359022910e7d44cae0958a67e82fafbb04aff431b50515b504d0cf3797c06fc052d8a7cf6e886377f4bd5e2b53183d070cff064e8296f39e86918810b74ecdb06543f149268f72864915e1db093cbdc965c42afd2226393eef52ea24a53d0137dd2708b2a9308638f2513e71fb4af20b69055848e53e5923c4cd937935bf0cab1dbef639f68b9668e975f6dffcc58cc4c11ca736920eeb76c2f78e416a80344ad32cebcb0674d66199c016d43da98a9a9a69edc695d7b0cd9ecc70d59a477f78edc31df0755b04570e68ed5863af1430aea32d9ab7bfb9e9d1e070990927ff2057abafe5b363be1faf36ad766c1cf38543c3d6402104e604d337ed579ba7bf9126ba361925586fe9ffa32746ccce22148da88bfbdbe4463bb7690738dfbd729ca01d67b4dc18c5ce0db0bccf0d0fdffcc2bca7605f7cd92f4ef73b36ac6d5e2e4e3bc0411c33098cdcaafcafbd33f0124ab8098b6102176c228841a6198dd041c71c75478399da65db2d857346e15fff56ae56e200196975206bae42d4875fcc6d0555adddefbc03f4abbe6e5b0611cc637cc15acb784c9e4faf2e422e0ef1ca8da857d5f8fb3326cc9acad10170f3da91f5800a91da8fe1d31163a8185fbe34e8fb20a9839f977304508aa819901122efaa77d1aa78a5c8d04c6c38f57d22b15e70615fcd1a61268d52bd6b106d0b17f1086978feb6128d45e60b353594abdb5ae0b4bb8d6e832e780049315f2e385ca38d543cb8598e253beaa0e9468a87ca4903303dfeb7b5848089eb8b80331cfca54dc00970a7a524fda289ce783fc9e0f40f666dced2bb5c532263577586603d90f870d004daa68d8321657e477ea83cb5a8f7c285afaa10c6ab67ad5f05b61a7af5ef1193ddc57d177f5120ab9cbaf9ae645ab48f309c8b89286c0208a4b6d0dae76e783ee5d7126cb776aecbda8a0bbe9c1cc33c227a2a911274e4f44a902e78a94eb32eb3c24933b495658c6a3738d182d005b8b3044fe407d477316cf7110db665e836ccdc719e37f71312434b7f08b8540213abeb36be9336d3ca9466930ccf5ffa832e115e56ccf74548d4ff9580304607387e79acca1a3fedf4b468b5474cea964f0065499e657a1ebccd729ad354fbb9770f7fdf7639fe52e50c3468639cce1b5c40ff951e89be0a91781954b6a24193ed0b67b5a73e63bf6f7966d16fd78486740fcf1e80576d3ec67c07ed8f5f1a3db3d0abd3bfd84edcdc37ff0891de7d98ae879b178581cc063b1de61646b94076cd727639d40c8f495bcbd1776107d65c4c3036cc36eac6befa507506a7ee8d903f7791046fb11b0b272457cc8c09c5201d2c374ef09cfba580c3cbdc7ca1081c027d9ad0a4eb4a8c8093341bac8fde227029874dafaf4d091fcfcbde7ada273078662e6d51151f61df160276e28e48b9c565b3a52975be1f57e1a9d23f6e01499adb234bbdcac5d118be7f2cbd2180d78fc2b6ac71cabec4aac7d46d6420c8f0b3e9a2071fe21f5b5593dfb9ceda5fb3c363d285d30f36f3eb8c6948267774ea06d0a1f5b0c598752fa6142e3fda9d6b228cc9d063409f02438f3fd0413ec2a31cce8233feccdbc992064ccf043d073adf519c048aeecd5674061d75edc75ec37c72306793967c11f1ca189b091eb41715fc25c7a2b65fcf8a6c10644343089b4f8dacc2c05b555b0e61bfe16cdaa95d2c821938775623f59addcd07dffed323e401602ab6e32cf4617527559047b45cc0cadaf0b5116caec7ed8d54727ef500760b8a3df11ef0d39875ff9265c5b4a9fbc93eb39fda740733229588df06b377a3ebc97ab0b6e38b7b3f739ca78cec1e8a45a847161fc5cd382d46e63220ef049b7fc32bf2d1df3853e3a4469912c3ac086cc27188460f99a7b71a21d70e1f50e06ca180e73b7aa606491b4cd9da6d165eacaa9597573113d8bd78858f0a2b88dc63cd0af116c4e23c235e80816c9100f8039296653569b3ba632d34896b7d6afc9725d17833242bc4f3deac23004752c418f7b8779ee8be187f775b1638129d1d519d0fab8ea9b0bed1fea9a9898b933b840c72a68f8b387ae5e16132415d45666d859e553d4f9ba5bf7482a6f8eb4cd063d8ea9e707d9a28e8809a794c4f2f9ee592daaaecf80327649b69c924d460bd95775ce75dae019af72353fa6f05bca8053cc40b8b34ce5369ad0dabe47300298396a343436a2c982f6eaaf1985de6c0061d1e04d43700ec511d440364b60b2b92895cf6dd8b506995d07a00e7ac943c5907c08abf3eb5716636369207ad347f72339fce8e656656e6f07295fa2c06b6a3177240905cc7ef75b8880e4d5e30ef4120dd393990502fc996d860d65517d2e9217b8e2813841faa961708ac2abd443ed51ea1e212f4e0a5e41cda84a76f6f6329bea59f731230ab1c1f7207a05c5df265f355b0e27fe425553c219cb8ecdefb0b0e0b58f9ad073323988d63703655a5a6427d1f2f356888cbf28aa906f93571b3f22c3e0019ec64c63b3bf1b871ebd7a6dfbebd80c39813585a86f4c97183d15c249bf4b44508715deae18726400ea1e3013286b67414eabe40595e6d36662b1356d0837523460110322a6285965e5dd30561ec484cc1ee3ed6f33731d5004ccf67402569e6b5aa225a680c0420eb72495eb77b08a2cbdffa63ddd898058ed90f396a27e6aab9d10ef01ab9383b88961dc53f01fba7db4e96e2bed8e4f4447e6c9d3102f0583ed838a0c66e1538899018e249f0d064c02a1234d1a77a408b4b06246c497f4a853e71090d915e4c7bbde058f477aa72c0e415d5056089f9833f17f2976f0de52f7a5eecf6048381ba7dd68ea156222f34de2c2630f4d061a943afafb374684813150e042a6a02ef9fe7ca824fdc58321b66e69d1ceadd18ffa04056c1f93166381fc1dd2cd7054d20d5871b45a52ffe12fe0e0a8a68358db6d0345060e26b5f144ae39ea51b59f337a1a6c7fbbcdf84aab038c057ba196bf426911fe286ee48b642929b8c4c700f359b65447d687296f0ef1f68602a20d4d85438f97b5b5d8e5dd9739b19d084f8e2a4a330d163f2f33cc4ded9948d8cd652351e4e478e30e25217e4b7cd33abdc274274b3796a8e0e5b34eb5683826754b35435e4b2b07138f656110c938da7b48ff7e0a44587824f9020c88c1271b715e887ef191991ed4578c6c6fe7b63553e5a839776265c899fc58835eef6804d549d3fa26bf6a8a81d512f37b9c1876abc9f0e03bfeac7700752abcd24fd9ce2f28aef24570f7deae918b8acb4d754f59cc3a0846111c2cdcb495d7604e1b6edd7965dc67075a3df99ba48297ad09ef30de66b2e07f62c5fbea51e78d8d7825c9d260e016a9b2bffc899f64c5c01fb689c21bc8b1f16ef1ff7b98143dcd58f2d290989027e61c3f7fb92a574c767396b2bb5a53365a370479278af0108cda3b1898b60df749fb72f33e1b5d2c61176a3e15bff2b48a2621434b8d13d65abc70c185365503c77b44185e5126c97154d099e91323773620edc5adcf7136f3ffbeb1e54be4a847be3f6cca29b31cfc680447d967c1cb0526b5e8741ae218aff2781433df13b6c900e1a478fb7175496ededb9e842f28bd7937c4f1ec59d7a19702a3c3e2a826dfe02eccf7ed8a4267a1cd814c0ccdb75c81f2e32ebe6531b442e85dd37edb16f27993a94647d24a5fb652d41b073adbc7be7fe75ac7e525d872ad4e793607f595f6d02f4989f2666173a036554d65a734adf6773caa7ea6dcb4e9def459ee24d83d9fdff5636608abf9d0b75582e94ae39341d2bda04d2d9c6bf5f276d929e1ea6d58953f9f3b3b2c7b26b7ef54707daa34b7df3d50dbca1559b5481f228a13f5cd1a3a426cc618d420903b86dec7d90011a7109f608ed4744193f15d8d00973e0a23916915bb4dc29fbb2e3860abb7eae011ca40df6de05a342526c8d40b851723dec531dc115c8be635a02f3bc711a383a4478d98e1e1c7938e6734450d77d6e8d293684d2e571532cffe92fb3f5fd107ef6ddd2bcd005d35a00fdae7f120a0b98dbda0a7db337e14927d3b2eddf4406f58462d926d7748d98079b568687c5aff97c5a286bd7f66d248bb6ce0c155581d3d60bac965dd96d4526e034d3d03b5729e6bb6c4edd5ec00b9b02d4e5eb60a3ead0a45f20c09f0c8cf787a72d6ea29eda9f1daaee6a619657080b7a03765b5a69977b243568ee69183225567587e16ceff34c5b0d34c74db188aac5ae5f66196a1d2b3605d65603920f03fb0e1086fb9cfa2e6da16f8abb65a24703d00aad67f96e576eec429562708c8020f19f006ef98d1fc935b356712d3c6a1ff37b92cde3aec5f4c436f90d09108fff88815d5e1301f212efe28db9186a9601ed4c942ee4d4e844f0b45ea03273c861a2b978fec399ba59d6df68c8d77dfeb918f4c0fb128b1634b78a7bab8132ac9eed8204165b551d083953f711962643f88cec04a425580f9215c1ff794b785ab5dbe3d463f009c50dafd243a7500f8ab21d59e7926361f4c5c105dcae6b9f6798892239f8042ccb848c7ec2eaaa28c03cd019c97225d9f1ecf353fc179df814d00896d97b580ca2751d8ec4d3a6a37ee6b2df173b3091474234fb7ba996328734fb5a519ba4d5f4f3f20d10a1f9ee07ca3df87404212ba3a1fd440a3bdb1862c23766a63f66d98ac540325a5af87a1ae7ccb9fa3b6a35e81403a019c405ad7ab497d0ed6816e07f91c34d3ede1da488955125147d2ad04f22d3bc3a81071b0052f5e13b764b28e52e701473ac8aa3810c8c0b6210cd216ccdd9c8aa6cc6e37aefbdea2be8c5cab78883051663f8671af53216156e5c327d52adb4a708b35f8be47c6b969e9435a06b428400c23e0ffba67cd0001fd5a1e9d0a31117b37d66339d01dd4cd63bd84678aa8219477989ee04e378fbf5287c4b9f3c4ee326399c4303f7d34dcbf506f927c19454efc5a2641cd28d96a02f9bb798b652ac7f0b98764839760726d33d83a691e73d052bfe3a1995956cf13bb804a0b9e1a749328b9aec4a9bd8a43180f29370919514d98abb07924b0e87c3a66fe702890c73dd5d71685f724fd9519112522015e1a74d24ead6ffbd701f0a8cb07e8aabe3805b72b1111e947da13a6c6ff5683a700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000cleartomark

%%EndFont %%BeginFont: CMBX9%!PS-AdobeFont-1.1: CMBX9 1.0%%CreationDate: 1991 Aug 20 16:36:25

% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.

11 dict begin/FontInfo 7 dict dup begin/version (1.0) readonly def/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def/FullName (CMBX9) readonly def/FamilyName (Computer Modern) readonly def/Weight (Bold) readonly def/ItalicAngle 0 def/isFixedPitch false defend readonly def/FontName /CMBX9 def/PaintType 0 def/FontType 1 def/FontMatrix [0.001 0 0 0.001 0 0] readonly def/Encoding 256 array0 1 255 {1 index exch /.notdef put} fordup 14 /ffi putdup 40 /parenleft putdup 41 /parenright putdup 43 /plus putdup 45 /hyphen putdup 46 /period putdup 47 /slash putdup 49 /one putdup 50 /two putdup 51 /three putdup 52 /four putdup 53 /five putdup 54 /six putdup 58 /colon putdup 65 /A putdup 66 /B putdup 67 /C putdup 68 /D putdup 69 /E putdup 70 /F putdup 73 /I putdup 75 /K putdup 76 /L putdup 77 /M putdup 78 /N putdup 79 /O putdup 80 /P putdup 83 /S putdup 84 /T putdup 85 /U putdup 87 /W putdup 97 /a putdup 98 /b putdup 99 /c putdup 100 /d putdup 101 /e putdup 102 /f putdup 103 /g putdup 104 /h putdup 105 /i putdup 107 /k putdup 108 /l putdup 109 /m putdup 110 /n putdup 111 /o putdup 112 /p putdup 113 /q putdup 114 /r putdup 115 /s putdup 116 /t putdup 117 /u putdup 118 /v putdup 119 /w putdup 121 /y putdup 122 /z putreadonly def/FontBBox{-58 -250 1195 750}readonly def/UniqueXX 5000767 defcurrentdict endcurrentfile eexec9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f00b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec379791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb32ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d823385fe55f3402d557fd3b4486be79011d1f5bfae5c1f476ee6f05eb1d2caeb269958b194521197b312fcced4867f3c8fbd030bd715d8ffda1dcd454b174e7a1a97b59fe770e67702519d9d9b23d61ac08424d55fd4dda249cff0b56b9f3affe9d0de215c02a52a6bc77155ff6b8cba5cd6646ba331254ac58ace650a967d3b272331b87b6df06d5ab9d80fabe9f9ceac10139b61244814dd9fc295ed42d1b5cd11c2e4beab318b20f51ca2c2930657e5343ab7bcf0e8870a0d12de4ffacb6cb3fdbdda481c2fcb84408d3d902e9a32070b2af6cd9317a33a42a43857c114b3f4c3005cef9401f1c2bad3e69150d7145b79f95c9cfaf7a335b277e6435ab374f6a3e78e124ac1e4615511f743ad65c5d778403a840310ac4902985f107fd33c0049623e4c496cd353d2ae2a4804110c6a420a38ece5d5b235c5e35886a0987d284e6110527b653b1b2c68c636ef423536180acadb954843eff4d9a82568a713b682c574e30f793f093aef755c650e0e7175c2e3138695212d9fea7bd4b5805ca90985b134c6bc15a19afae0bfb3066363ca3e2568c2ac4559a69fc32feb443b61243b4508b7524d974636855c83c8149d489b68fe18bd497116a953431251dfbd09fa1d2ef66c85b997ab2f6b7c6d9d096cb43931379ff9782fa00c5f3cbd0604265d16891ffc4f66e4a0307765d384c32aa83a4e4f89ac79ef8e76eed08450e3466fbaf54f85324f0a4f04bd00ccc22d32e4132c51749bea28f112c2051857423ea203df902ae80224d75efeb59094bdc5f4b6784ebeb01c38c34b695e681e57a93ae18b657d13770300bde28833c732010ded4c8e79078d17acc3d4b521b16f2cac338c4f72e2e07c667227ef142d0273e5b501f24b02e9cad75fe9d18741b36bbb29c9cd3d46964e00d8ba318912e69a6aa7ccf823c12a921b08afed553692ec8fdc7940b07b5f7ce937eff2eb74fca831152cf54473c367cacd316dd61ea33ac9425708ce2b0d2f84fc62fad89aa4d0ad807a0b19b25514af5f73f53aac6d4a1e08f28052163c88fd7c68ebb2010a000795b05bd77c9ac1f825a8cd32df8ad98a78196e368342a5f6ea40e34ff3d90fccd680dd78089b278c6450890d9520a2ed3fbde25f675d0c6266f5f803d7cab2e14152f598dca5c08da20426600a4f3bf4239b9832759cf2f8cfad557b53a07e114255fe1ea1eeb68e241207170cfff063eb59945d8b5940156add65d17aa630aac93d304e0880465eee64462508f0167b0a0ec991e043531c5b1ca3de00c77e1eed2d666393841751be09ad19ee71450b22708a2ffdba10deb7c7cc7a6dc8ebc6d3ba6b99132d551c7a103a4d1f1f9f9ea88f98e175c724e2c4063cb1290bd267a12990c88e45d5c0a8ce71e28fa7b4c0e8ddf5dc78f4b465cf422aac7895c6ac856dd887602b73e14f5d90bcfbfbcfa2c937630ce7c15ab8903547e99d6af4495779b9b0162645c94f71db5b5739224bc9a91edfb9b9d4d22ab6d940cbf409c0a7f4bb67e97981ff9bf93f3ad45861ae9904c0c8410ed7e2e36eee288356fc0cd049b838531150e27bbaa4e9f2caabfba16b2a4197b1bb60faa06d555df8a5f15efd59ebc9c3f4e214ee8655a94e73a9f9757626acabd09f5ba9f486a1f06a55e3f41df62654b400d7cbce1cfa92e7cce49171a7df598b6af599d86a2fe5dceffc27763655c9ddcc3d5830d085c4a94655d5603d9396660000b9450fe0bb798251490fc6b878dccbeaa667c7a77235d87e30ca22996d6108593ad2a456eb33a6bf9e72f3403ff46500c0402fd7ce4a4fb95dc1a2f34bdf0bb6e12c3d836fd1cf9d0ac22e4da5002c78599b3ac3f80c3175b3739203037d2a957a1143b64cceef7fc8b6ec0aa1e5e13a31d9352db73cea3ad6bc8b4c161caa06b6ad60246079030ae3a0d3a3e2fc74dc93bdce31e04b6a4c0e72a14090d49d4b5bcdf413389e2aee5833f402adf9a6c02fb86b61633bdfad281d06234900c5e088a34d0136be866ebad33c8ae05fcd0d10bb49f06528e01df624040423b38e48a9d2f3aa77246f416d6cb00a125812329ac9a258e3e0eed595cfa6e74782c3be90301954f21eb73103682014120d5fd05ec8dd0febe5aa6e6ba9669c3a53d3f4569fbc5dca407f0f561718fd1bd02ee27f97c4fb44a5f61c3d7e494ce1ee06d5c1020927cf6d83852e5ca9860e1050cb96a27c962923bf67afb569c9826013c9cb387782f5ce514e11c56711616faa9437397add23608de0a4e73864b0d8ec6c1f4cf1bb0c5cabce02e72c9a10ca3d7a820c999f08efc2ac09acd62e60223f3731479304a455cecfbf61141723efb0fef3f2d798eeeb5b331108a44ac6c6afeb3810ecbea28364c8ea6acb3cc3f54aab59a974d9eceaf40fae2e491d493ebd8b229c875f6edbb9082df533b8d9a859d9a7ceb1f12285a140f37b0ba688ec9cd156e7de81d4fc1f7f23814ba9ba2d5801b7066d3a316e8d43365438792ad21665cb91d4e32f6d52e89e98a5c74d73fbedc23fd459f9f39e49a9194a55a5602d5b27e385910803a7d5d5f23bc8b4d7c72da1860b3330da41e5f50d6efb6eb116d1ea099fc9f66670949642d0332ae5f570215c77d96b264e2c1bedd4ed31e1fa1be3bdc56a3bec9c2c79b45eea8785aadd7c341c0958868ee897e4becda3a489c4f138fdf590af171b8f7dc48460af6130a5f376db04dd9fa8e0c3ba23682b8fbb749496f8496ef0329703aacbd697951122355f9cd1690c944164ad3a7351da1a9b0319e69d75bb636d728c90828aec7a39f8b946a0b62897ea63c6d9336985000c1be75fcb4c3dd5cfe15ac2a393c139bfab4f3d19ab3ec7383e42f05217b9da0c6c03fd09d34233e03c47e5ba17c27a32a0d60c197647602729fa2fc8735190cd23c89cd9e1ea01d0cd6878bc28a140f1aa2b5d17dcf6db67707349c320dffdfaeb1ca114a73c68aa151a963ccbc1671dc77b8b5b55ea3f9173553b552e849906b3d2ab1c9691aa47490682685db8487c5ebbe4f7c068dd5acf4bb948ba6b024bf6bc06a40f1a6fe93fbe3a464c9759ad590ee21809d4504542c72300613ec092927d0ee2f65e0bd7e5f429a47904e37454acb5b8a8b3666c911346e9570665fdbeff85949092eecc3a45b55a2f74b754a71d9205947745a7c00288c3a3181a7665946b56cc016ba9e6fc54912247133b18eb1bfff575e78dbde790d2b23bb1a0069f3600f5044f30b462e8578d32b7b69859dd7eeed3d066af2d476a3d08da5f3ae280e6cc941377d7418b11d5d663ab767142a8b0ad69e47849baa4278eccb8c6827fdf26b931e0887105fd5e480ee559e343966d99a957074defadd3e21258907665648f58a788b743023be040bea60b9a916c4cbf7b4407293f765b92c01a2910895590640b2b3762fea720621648396db7d56ff60fb3969bddfa8836ee5b698191e22dae6579bc3d40dbba7d6b999a89374aa2c869ab64d5dde2c9528d2e03fb311819c255f549dda436a306fd36d16e2c70d3324efada0ee1ccad09b7738041d4e015bbbf56a53ce36450b3c48e64418084f172be7a3ba8b89af54d279d014277d2a30f9caa27993daccab23cd49b33b183057c6ba8947dadf30fdd5368fd95df0df98f3100174aa5c52ff9bbecdcb14dcac15f3adad0404339c3be74f7f99bc36bb1c698c3e4f786b1709de23c987b24ef778451d09e5f1f9a92d09523ceb180463b1057a558fdca7c0b85db59c23ce637d08fc73d881e34a7fa97d951a1e49a512d321ef3dce0fa3639be3615340d8fdf42c2d0897293b52ee5158e39c205548b777ea16a3d76d92af4f0b867b9ef38bf323074bbf33c7aa02e21ce31934ca65801d9b7350eb2080f86b2be98e3e890519af258fbee537e351c97d372115b83a69789a632067d9b86fd7f87faff2f601317f84c2f5bb10dae56d7ba9170756dbe21c14f477c3ccc8ff12e81a765833e50314713fe8ca95e4eb87c7c265e88732d48ef157a1eed0d9a46f193dbbd125fe48c0c26ccf1b5e4691e0f16a5ea763e042c25867263ebbc0d8cd462d0c149cb204749e28de5d6ae3b5ac93f25b77ccb7d5d5de9d69e6ab2f64f6fda6e809794a0745ade2551f39ab87904f3f7923a6e8b886bb3dd815b9a46e6f1d12e9dec3715981af9c8da0c3016a1c915c53fdd18cde14b7fd02ee7b3fb36afbc4d057e73704565af9eeb5630807e0f91c8dda687bb9861561bf4a19067b85deb2214c48c93939d2ecbd0c53839af8b1808c893b1fb1ee74edcd47f081e0375e1e8866225f203448a607dcd83a40da27f2ebf2e42004cbabfe704600d239e45f49e274d2fb4e595e419517e8982936bf0dd212a64cace3f2766e3ae74f82bfcd8b43822aefe479427c4cdc1957e3b9e1810717f0d2d678ebbda2bcec61692b914a402dfe48b75276219825bf54cabbe0b4907b3222b62ed62516b29217b4e75f0124f9283ff5a4350f58c5ab5b67fc22a01faefb238f4b309eb8fc3b483a200b85c7e01cce82b1a9f26baf324540061e9f4c76e1bea99e4a1e726e0ad0cd632685cc4f79f7a67a58de4a138d7d7fddfe55dda7491ce7c6bc8ed244da3893f153c25bd72cd7cbdf040c0ac82b6f00b9465a3cb2ec8a62edc038c80ff5cd30810dab6b992b2df3d290697a085bd80fa32b14a18008e7fdb27d4296d96422fa5352958fe03ee965a4bf9448f1e3568bc7b25922dff9b11613df13c948a6142d1b7b650403ffe9af12b8ece6f4d6a4d482b5deb26fdc2302a88468288a237a2c7883f39b4a44b4e80d71e772d41c7dcdc403521adcee1881ba7fbf9c267222e7123673218251d04bc2146c902392028fae1f7ec7c4fe78f264e38c8ae9400245652c8e37da1f9393c31f5b828c8e95638c40238c572079377d13703394ccd31a3a5ae951cfc62e0761b9f052b372aa03233fd377822271f89862d61c7dfa18777fd8d40ab9e31301929ab8b39d2ace68c351ef2d7429fcb8659c9d9dc500deb63954b98f107e6ebed71ec86b6f576f728e91d22ad9ecb27ce17ffa947e60645c16967879d39e2942123e349f8dcb8f2f268156781bd30a2d16a5400d4b38eaaea94190a6867bd316204d37ff4689cff09c1d342419307e5292a80a53ee3ed43283b7469613a68bee2a509df7f2f6c1049a28421e84ab3dad595391aa89a13c6a5f1d2c6701856236e8b290cb2b05abeb8a777f122339e53d7bac3a6028082e25f68d949160aa0dd93bcc41e9658d1a4978aeaee51f68caeb6126d62f55ce6507ba9f3662d2466c33783765cf4a2208b88acc8d2589bd4ae5984d3c8f7b253ea1dffd1617ef72731a37ec7e0d874c92aeb8f3e7600ca4a3b02b47f41c3325297aa8ef1f5e94ba5c295e3b78b239d6cef70dedee5fbf362ce0c240f9ed2c96b71151970d550257b7657dd16dc4fe88322195e338cdfc1223387464f74a29e040d5d22b778738621f87df62c8d40fe725303d891292745efeb96c303ce2f8882641140e153c20b037ed0093ec03f5080fa68c7e6a68db402ebbb19089f95ca04552e57e86c0bea88cfb8f387fb6a4e646f9ff7b267a6ea96a64841d722bb9dfee8f6ff44a535a568ea813e6abbdae331df3c20c5744379016e240e492c3e6e2230ad703bceb7dc3f932ae4f5eb037d9dfe8d82a875ae3c9563c45bcb5fadac2c48f5d2ed335eb03e1da3334df6ab1a44c50445978001c1f2885a58cb2f538e6e13c00d1b9beccec2fb84e751c28a097edace589d69d916745462e42aecbb19a269ccd488812e762197c6a155594c24c03be105468f579d011d6aa0096dc8b8e6b14939c078e78b7a6daaebbc60d37122871aa25a3537a58fd10d4668adcdf714552089ac91a1c09beafb6f1bb619f9999de6139b6f7f6dec7d656427ef95b980147136cdcb39c9a81dd0ee08c3069b5452aaf147bf79757740ddc82bc7feeea8dfc7accd60b0a29066db9ce1a5dc30aea972f4908f68ef972f637b9384593df21423b288da7d3b1833a0b74f5d09dbb5c1530352feaa6ffc0bf011a4a1b7adf0854c82ff4acd729cbe44cf73a956d4b0dbf3b49db043505b40583eaad5b82f0d71b809748d9404c7adcbf648209997d65e9766596daef1584083a832125cd832d1c24b93c7b898f6a11e01cc7219df4f2505c1216b2f9a91afd2b9e1ec8976cadf0071eba083acd6a774725056420fddb403c1f2761ca576e54acbf174c6789a6a2626cd961e4db6f99161ae515b90feda651effdbb91682b96783c172402146145a54da6eb3ae4638616c50163e085db3002840b8d1e7b1386a3e0e661b39b07491ada3425bb077a9dc1be9344658a7e0ccc61e256bc1103148ff184007365a8fa9be2313164b0a11f5a477875e34834b0a8a7ac5407d7b91c767738aac6738afc2952a6e372ed50a8732b04ba70a95a7fe0ad75247800a6fa3b530602fa14c0e9b4626522d22f3dad8923ee20f8687dd0f5c8450addc627f3fb5f08673d6d7f281644a52e9f65590da84755a8994dd1016f23de378e92e8940bf986a55bb45de900621f089998addd7c9cc94996c9d3110e683d288a858019647f01ec4da5987059b80567914c2f0ef09a6795e2e4c22cc4d73048d9371fbd516b0d3648b964e31ea6b19e3ff3385648c9ac0ee7157bb94ed172fb5907e8e2f5e3b12c033f02efe71820c4cea3b9e18737f8e5be92794baf4a8321d47e5a85a284ce78638c6ca5a9d135643284ef56e930b6e3c96a3e1d73fdb0e44c3b9805e21318b1d2b7f7561b9f7b12af04bdad4079639944673acbf4174d2c82ce44beb9ec3f2dd84ff4e97390c9df67862ba655ff4e187a67808da50bbe9005b39210c644ad1da199e0bc01bf0d29e71af88efe9399fa6ccd52e66c168d27aed6be8510efad27da25d04a73b2fd7640f7dbb4c240fed3498ab973b02cd33aeadea81225bce40813e4363347a4051c4b59499d2fe33f842a872c7de0523765e07eadbc880b7378be7c880f23b08337f1551852ae9cc5e7cba0652b421cf9d7ca15bc5a7e84d6ff8791eaae8653eab0630d971e5f77eedc1c80d0cd35e36557c4154c2226ccf96217e755dbdcf87dbda0f60a9444e1b248cb7057fa2fc57c7a2850f5441c0de3497c789a30e4031aa75d5d4851d720fcc8d6369c7a00bf71c845653498ad5dfc8196dd86a290889306bd0a3f72722f018f14ae2e47ebaf79ececa260a399fea7e2592b6915a9423d8f35129d1038d2f939d24d2947401b754548d47399a19970538a9cffee025597940cc1e89cbb9a9fabcaea48f7aa9a4d71f51b8f7c99091c1566333d1904b8236ba223e1e5867a932e3a65129802086cecb7d2c85f6b3ba0ad6940ff36161c8d4f585983e5a247de15390d6779753e5e7d361f0841e8eda473bd708e1de490d83c3fa6147a5b0660452b085f0df6ca155890465461dae1c6ef7c65f9ad6dee4ca15f73d9720849892ddc5ea7b4da0794fb78e75b933a3650a14d94ff4b3674784e39daf693021f4fb9aa472599dd5afba769509b170c1245195a072a5b25dbad319e8b6498eb780329d0ce5aa29fb729a965826902bff49517d38cbab4bbee2a9f2fae16d13ebc04854ee5bf1a1fb6419c8d986c169226f01d0d63fe295f254d3e3f3e45979d6c7ad92756aca23fcaa56f27894a6c67b47510c41af0f3a0aab8fe8bed67fa52b0d7ec0db500eb623c3bc4dda6986c1694a8410751e8df7bbadfd092d66adc3cff03f153fe25bf819cd8bb63dffa8985edbce3c0e766c174339c0505b808a750b222030019f26d4e305a76f3f53f7b1636e9201cdebb7a6d76443f915d090b6e25658d47e86d9722d9ce948379e6865addf2306c1ca0d4006d34b84df0957bcf7a2363ef5864b176ac2b9dd7d0a96955cb799183ec239354725cd416a81bb0fd9e0afdfcf870d509c5cd4662f524d0a489f23d851cd748f348026c622d38c0c774d35caf6797eb06198aeb7ed1b8540b0f492db5df1a9663a398358c6017d762724829965876d4d4a147ad098cd925a18c3c1fd2ca022b6eb884535edd366b0cd17d9f48ece6da2b7211097054786b25be80aa326f747b8694c9bcd0bf07b6121e33e81f301b5e72f56cb8009ab8f28e4025778e9aa8f85f06e094426bd47194ac2fb8ca68beab7dea8cc0efc45fa2be52074c6534235a9fb9ae2b0e5fe141e8ece8980376840003a3cb258304ceaac8fb8a6e511d6c87fbd97de126d455c93ea6ff78a4a0a8c9bfd115d0b860fb9659bb57593252b4b2a9f691828b617e0c5ad47cc95df062bfcb74f45ea4340a5e661295c251521d6816bf2691a351ac9bfd13ba00ea2dccb91261c53af727a4622f9b41655f4d113ba8944b865c34d4cd3da9ffaa35fd94b424e16b0f3b1f061894b34e159d06b8b28406e440ad1c8acb6f3b07352d2592af705422dbe1496220d1661c8d182580e0175bc36bfdfd2563892083faf9b0e3fd1f5c367912e215ec1a2cd051b8d3c537591c6b1701c179bdc12fac906f15c6a7132cf557b8f9ac76c40718bebf57b035f511a071baea827c5779802e43c7e4479a566f27ed8a038b9298b76d3ac63b7e68cc065a3945be7fb347ef03396323bc28dfc2a550ef56b2238e2918acfc8925253944090e8ceeac58eeab80c1e12179979fc27b26e88547db006a9bf38375bcebcb6aa9ae60c8d0cde1e9c4cde375eb5cb55148f997261b5a8cf25d618c3dfb46d12b6ad93ceb1a65a8ead5ccb2bf46b1538f30461c4ce405e4150fcee89a5e893d1ee66e3305b6855145a4d99047c4059945298c0426f7c847550fb9a03630f5f77c29cdbdd25223200c6887be2d7c15d98b2c7f7f5893ffd0a7b433b4ce9790a4652e415dbb8299fa6faa253de2cdd73fc574befdd733d932a9c371fbb908984753790ef9ba95443e4b04f77be50e126ffddf188620ad58e17475a67744957a9f2e42312af8abea1ea513aa26b1991956eda901d8d03019d63d5bffdb836a66cb0c78a512b3dcf8b1a3015997c1722f4710c326ea2c18a29da9348171ee6ea2385c2056ff38c73f9c30209fce7cb7ef0c326f7105662a1a5f3f289b6a483ea40f0ca17e210692b7699477482813e320ac28f59968b510ba617f8c3622b62f259aafb7cb62f9ef0f613d4e91aaa77636868fc79bda010514a9001b4ab39b3cc55f92a6b2861f85509728cb63ec29a816ab90046454f94a37c71a5f8100aa2eafbc4298914ea90ba2b84843365eeb9c9859587f301f3265031a68408a0d97ecb9c7d92001245be8818580c1adbdf1de7f5058d725891a6f2e812a48b3ae10aee78fdcef5d4365488384e86cf02c9bc3dfa59f062fda1ad334a3b074c1e422ca1a3f3dfcd1e0cf50c8e0f5f86adbdb7b716a66a251b635c05826221ee83f27baf36996846642a8f671184de760b1fd5781a6adb505c4ba5a63298482ab3e47eb111d001ee02b9b7777c5913530c88c3cb9f0d932c0447c5a887eb3b9155f4d60289bc9117933b09c1ca23677a6711963b23aae6f0147fb68f8f34d41b9209d22f258d8026bf3a793ad1394dcc3b0fb2a3e99e4d93ec7c3ea620a326137cad30f6