HAL Id: inria-00073599
https://hal.inria.fr/inria-00073599
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution
Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer H. Rose
To cite this version:
Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer H. Rose. Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution. [Research Report] RR-3092, INRIA. 1997.
�inria-00073599�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Modeling Sharing and Recursion for Weak Reduction Strategies
using Explicit Substitution
Zine-El-Abidine Benaissa, Pierre Lescanne , Kristoffer H. Rose
N ˚ 3092
Janvier 1997
TH ` EME 2
! "$# %&')( *(+(,- .
/ 103245. 6 7(89:(, 7(;<( /
=>@? ACBEDFGBEHI >KJ:>@? AMLAN?OP>KQQRO:S T>UANVVRAXWAYQZNO[? ? A\S]V>^Q_`[a)AbVced,f/`gQ.A
h6ikj
lmlon"prqesl.t[uvlowvxCyzuv{uvlw
l.|6{R}~wv{[w:Nmxzwvuv bPl
xR7l.|o )
}~Px
|)[l
l.{
i l { i
lt"bzCznpz}t[Nuvl
-
zzopz"}yzl
/ .¡¢~£¤~¡C¥$¦
l)§k¨©.ªE©«[¬ |
i
lo®k¯
°:±
{R}~wv{Pw²PR³N}´Ux
m}~wNNtN|
i
l.uvµx´+|
i
l{xCt[{lP|6x~´+
i }
uvt[y-}~tP
l¶N[wvuv{uv|6P[|·u²|·[|uvxCt´@x
6¸
lR}~¹
l[P{|uvxzt:º
¦
l
i x
¸»i
x ¸
®k¯
°
{}~tl"[le}~}"´UxC[t[}|uvxztx´
uvmPw²l.mltN|¼}|uvxztPkx~´´U[t[{|·uvxzt}w[
xCy
}~mmuvt[y6w½}~t[yC}~yCl bmxN[l.w²uvt[y6|
i
ll.l.tb|·u½}~wu²tPy
l.[uvltN|
x´·[{
i
uvm[wvlmltN|¼}|uvx~t[R³Ct}mlwv¾©7¿RÀ¨©7ÁzÂNìUĽÅC«ª¬U¨·¿z¬@©^ÆzĽ©.ª³k¨©7ÃÂb¨EªEÄGÅz«[³ÇªU§[¿zÃ7©"Ȳ©7¿RÀª³+¨·©¼ÃÂN¨7ªÄ½É©
ÁC¿z¬@¿ª¬@¨ÂNÃR¬@ÂN¨©.ª³b}t[§Y¿C¨¿~ÈGȲ©.È+©RÉ¿~ÈvÂb¿C¬UÄGÅz«[³Pu²t}[t[uÊ´Ux
m ¸
}Nº
Ë u
·|R³
¸
l'yzuvzl'}e
l{uvlÌ}~{.{xz[tN|x~´Í|
i
lÎm5}7x
-
l[[{.|uvxztÏ·|
}~|l.yzuvl[l.Ïuvt\´@[t[{|·u²xCt}~w
xzy
}~mmuvt[y}~t[Ð|
i
l{xCt[l N[l.t[{lx~´{
i
xNxCuvt[yÌ
±y }~
i ±
l.[[{|·u²xCtÑbº+l.tbNu
xCt[ml.tb|
±
}~l.
lz}wv}~|·u²xCt+º+ÒNl.{xzt[:³
¸
l6
i x
¸Ñi
x ¸
|xÍ}~P5Ã7Åz«YªE¬@¨ÂNìUÅC¨7ªÓ¿C«[Á©7Ô7§È²Ä½ÃĽ¬+¨·©7ÃRÂN¨7ªÄ½ÅC«-|·xyzuvzl6}
l{.u²·l
}{{xzPtb|"x~´
l{
uvCl´@[t[{|·u²xCt[Í}~t[Ì}~|¼}·|
P{|
llClt
¸
uv|
iÌ
l.l{||x·}~{l{xzm[wvl¶Nuv|^bº
h6i
u
+³
¸
lÕ´Ux
m5}w²uvÖl6|
i
ltPxz|uvxCtx~´ª@§[¿zÃ7©"Ȳ©7¿RÀªuvt5®k¯
°
}t[Pl|
i
uv)|x[l7×tPlØ}"}~{lwvlR}~¹´
ll
{R}wv{[wv[RÙ |
i
uvÍPyzyzl.|xzP|uvmuv¼}|uvxztP)´Ux
{R}w²w
±
N
±
t[ll.
l[P{|uvxztÌ|
i
}~|"
lCltN|Í}~{lw²l}~¹Nuvt[y
}t[lt}~Pw²l.6[6|x
x~zl|
i
}|6|
i
lÚ|
uvmmuvt[yzÛl
´Ux
mlN|
i
lØÒ
h
qÜm5}{
i
uvt[l6[xNltPxz|)w²l}~¹
·}~{lCº
Ý
tPmm5}
¸
l6yCu²ClÓ}Õ´Ux
m}~wb}{{xC[tN|x~´klCl
}wuvm[wvlmltN|7}~|uvxCt|l.{
i
t[uv bPlµPlb"|¼}|l
x´|
i
lÍ}
|6u²m[wvlml.tb|7}~|·u²xCt[ x~´:´U[t[{|·uvxzt}wk
xCy
}mmu²tPyw½}~t[yC}~yClRº
ÞßNàá¼âÍã¢zä ~¥ Ý
mPw²l.mltN|¼}|uvxztx´ ´U[t[{|·uvxzt}w,
xzy
}mmuÊt[y³Cw½}~m}"{R}~wv{[wv[³
¸
lR}¹
l[P{
±
|·u²xCt+³Nl¶N[wvuv{uv|6[P|uv|·[|uvxzt:³N
i }
uvt[y³
l{
uvxzt:³·}~{.lÍwvlR}~¹N
åvæç
èêé^ëRì
ç
è;í,îvé^ï@ðñ
Unit´e de recherche INRIA Lorraine Technopˆole de Nancy-Brabois, Campus scientifique,
615 rue de Jardin Botanique, BP 101, 54600 VILLERS L ` ES NANCY (France)
7( 4e :(+( ! Í .95.8 -
&6Í\ ;/9:(, E((, / Õ245. 6 7(,
ßY ße¥
}~tPµ{l.|o}
|uv{wvlz³Nt[xC[6
slltN|·xzt[w²lÍ®k¯
° ±
{}~wv{[w: bPuku²tP{wv[|µwvl{xzt[{.l[|P5}
|7}~yCl
[l.6{R}~wv{[wkl.|6[t{R}wv{[wk[lP[|·u²|·[|uvxCt[µl.¶bPw²uv{uv|·l6xC
w} sl.[[{|·u²xCt´K}~uv[wvl6[
±
{R}~wv{PwKºxz[
mxztN|
xzt[ {xCmml.tb|:[|uvwvuvl
{l{R}~wv{[wxz
´@xzt[[l
wvluvm[w½}~tN|¼}|uvxzt[kPlµw½}t[yb}yzl ´@xzt[{|·uvxzt[t[l.w²
ltmxN6sl.w²uv7}~tN|kwvl u²tPy
sl.[uvltN| l·ltN|uvlwv'{l.uvm[w½}~tN|7}~|uvxCt[R³7{xCmmlȲ©.ªª¬@¨¿z¬©7ÆzĽ©.ªµÁC©¨©ÁzÂNìUĽÅC«[³
Èv¿Í¨©7ÃÂb¨EªEÄGÉRĽ¬©³~Ȳ©.ªª¬@¨ÂNÃR¬@ÂN¨©.ªÁC©ÁCÅz«[«©©.ªÓ¨©ÃÂb¨EªEÄGÉR©.ª³zÈv©ªÂNĽ¬U©.ªµÁ©ª@§[¿zÃ7©©-ÅCĽ¨©;l|)È ©ÉR¿È²ÂN¿z¬@ĽÅC«
§[¿z¨·¿~ȽÈ"!©Èv©Rº
h
xC[|6$#}~x
+³t[xz[{xCmmlt&%{xCt[µ}
l¶N
uvml
[l"´K}'%{xCt'
sl{uvlwvl|
}|[slyCu²l.o·|¼}t[}
[
[|·uvw²uv[sll+}~t[:w})Pw²P}
|+[l:uvm[w½}~tN|7}~|uvxCt[[[lw½}t[yb}yzl´UxCt[{|·u²xCt[t[lwv+}u²tPuz N[l;w²l.+{xCt[[sl N[l.t[{l
[Ì{
i
xCuv¶5l.tb|
lwvlÍ|·l{
i
t[uv N[lÍPl
sl[P{|uvxzte[ly
}~
i
lÍl|wvlÍ|·l{
i
t[uv N[lÍPlm5}~{
i
uvt[l.
j
}lt
±
Nu
xCt[t[lmltN|Rº t[Pu²|·lz³kt[xC[mxztN|
xzt[{xzmmltN|6}7xC[|l
Ȳ©.ª-Ã7Åz«Nª¬@¨ÂNÃR¬@©Âb¨Eª-©R¬)ÈÅ7§(©R¨·¿z¬@©RÂN¨Áz©
¨©ÃÂb¨EªEÄGÅz«Ñ©¼ÔE§ÈvĽÃĽ¬U©ÎxC
6sl7×t[u
sl{.u²[slml.tb|w)#uvm[w½}tb|7}~|·uxzte[l´@xzt[{|·uvxzt[
sl{
uvzll|wvl
·|
P{|
l[l[xztPtÓsll
sl.{
·uvzl³ lt }
|·uv{[wvuvl
Nuv
j
}Nuv[lwvl
"{xzmx
|l.mltN|}~Ît[uvzlR}
[lw)#l·}~{lmÏsl.mxzu
lxN{{[6slzº tN×t+³Çt[xz[´Ux
m}~wvuvxztPµw½}tPxz|uvxCt'[lÂNĽ¬U©.ªÁ$©.ª@§Y¿Cü©*©ÅzĽ¨·©
}t[o®k¯
°
³NtPxz[w+#[|·uvw²uv·xzt[xz
Ósl7×t[u
[t{R}~wv{[w: N[uoslNuv|lÍ{l.6´U[uv|·lR³P[[uv6t[xzPw)#xz[|·u²mu·xzt[
xz
w½}·|
}~|[sl.yzuvl}
l·l[·lz³ {l bPut[xzPl
ml|[l-mxztN|
l
N[lw½}Ò
h q m5}~{
i
uvt[l"l|¼}t[
´UPu²|·l6mÏsl.mxzu
lRº
t
sl.[mÏslz³Nt[xzPµ
sll.tb|·xzt[[tmxN
j
lwvl)´Ux
mlw[xz
l¶N
uvml
sl{uv[slmltN|6l|)lt6sl|7}~uvwkw½}
[wv[}
|6Pl|·l{
i
t[uv N[l#uvm[w½}~tN|¼}|uvx~t-Plw½}~tPyb}~yCl;´Uxzt[{.|uvxzt[tPlwvRº
,»ã¡ EáE¤.-/ße¥ Ý
m[w½}~tN|¼}|uvxzt[lw½}~t[yN}~yzl.´UxCt[{|·u²xCt[t[lwv³[w½}~m}{R}~wv{PwK³Nw½}
sl[[{|·uvxzt´K}~uv[wvlz³Nwvl
·[[|·uv|[|·u²xCt[l.¶bPw²uv{uv|·lR³Pw²l}
|¼}yzlz³Pw} l.{
·uvbuv|[slz³w²l.)´U[uv|l6#l.}{lmÏslmxzu
l
Í( Í(
¡¢~ã+ä$¤¡½ã
º
)xCm[wvl¶Nuv|^x~´+´@[t[{|·u²xCt}~wk{.xzmP[|¼}|uvxzt[ºÍºººÍºººoº"ºoººÍººººÍºººÍººoºº
ºn Ò i }
u²tPy<}t[|
}~|·lyzuvlºººÍººoº"ºoºººÍºººÍºººoº"ºoººÍººººÍºººÍººoºº
º qØlt[l
u²{"[l{
uv[|uvxCt[x´,uvm[wvlmltN|¼}|uvx~t[ ºººÍºººoº"ºoººÍººººÍºººÍººoºº
º w}t ººÍººoººÍºººÍººººÍººoº"ºoºººÍºººÍºººoº"ºoººÍººººÍºººÍººoºº
¢~ß/-
£[¢½ß[
£ -^¤ -! ã¢#"ÜßN£$ ß[ä¤~¡%Uã â&@¡%')(*' £[¢!+ ,
Pº
¶bPw²uv{uv|)[P|uv|·[|uvxzt'}t[
i }
uvt[y ºoºººÍºººÍºººoº"ºoººÍººººÍºººÍººoºº
Pºn [
l·l-}~tP}
}~wvwvlw
l[[{|·uvxzt*ºoºººÍºººÍºººoº"ºoººÍººººÍºººÍººoºº
Pº ¶bPw²uv{uv|)[P|uv|·[|uvxzt
¸
uv|
i
}[
l.l. ººÍºººÍºººoº"ºoººÍººººÍºººÍººoºº
/ß[ä$¤¡@ã (k¡¢~£[¡ß + @ßY
º
[
l
±
{xCtN|
xCwvw²l.'|
}~|·lyzuvl ºoº"ºoºººÍºººÍºººoº"ºoººÍººººÍºººÍººoºº
ºn Ú76}~wvw
±
N
±
llPÛ-·|
}|lyCuvl ºÍººoº"ºoºººÍºººÍºººoº"ºoººÍººººÍºººÍººoºº
- ã .¡¢ ¤¡Rã¢z £ ä ß[¤ ¢z .Uã /
Pº
wvyzl
}~uv{}~|7}Í·|
[{|
lܺºÍººoº"ºoºººÍºººÍºººoº"ºoººÍººººÍºººÍººoººnzn
Pºn Õl{
uvzl"{xN[l-}~tP}|¼}»ººÍººoº"ºoºººÍºººÍºººoº"ºoººÍººººÍºººÍººoººnz
021;¢Ñ¥43Ü5(76 £¤ß -UßN£$8 ¢~ßbß'¤£ -K¤.-
*9
9 ã ¤.- .Uã /,
Í(+Î)(, /
h6i
l}~uvm x´g|
i
uv}l
uv|x"
l·ltN|Ó}o´
}ml
¸ x
¹´Ux
·lzl
}~w´Ux
m+x~´+uvm[wvlmltN|7}~|uvx~tx~´k´@[t[{
±
|·u²xCt}~w
xzy
}~mmutPyw½}~t[yC}~yClRº
Ý
|)u²)x~´@|lt7}~uv|
i
}~|)|
i l
lÍ}
ll·ltN|u½}w²wv|
¸
xÍm5}uvtÍ{w½}~·l6x´
uvmPw²l.mltN|¼}|uvxzt:³~t}~mlwv|
i
xClÍ}~l. xCtMÆC¨¿E§ e¨©7ÁCÂbì@ĽÅz«e}~t[|
i
xzl"}~·l xCtÌ©R«[ÉĽ¨·Åz« ©R«P¬½ªº
h6i
l"×
|xzt[l.o}
l-l{uvltN|ouvt|
i
}~||
i
l'xC[|uvmu²Ö.l|
i
l-{xN[l
i }
uvt[y³|
i
lÍ·l{xCt[Ìuvt5|
i
}~||
i
l.
}w²wvx
¸
}Í[l.uvyztx~´+|
i
luvm[wvlmltN|¼}|uvxzt{wvxz·l
|x"|
i l i } ¸ }
lzº h6i
l·lo|
¸
xÍ{w½}l.}
l|
}~[uv|uvx
±
t}wvw²·[wvu²|uvtb|·x·[{.w}·l<}{{x
[uvt[y|x|
i
l|
}|lyC
¸6i
uv{
i
uv[l.½lz}w²}~|uvxCt5x´µ|
i
lz}~wv[l
×
|³Nx~´k|
i
lÕ´U[t[{|·uvxzt}w[xN[Ø×
·|R³Nx
bt[ll.ºx
¸
lCl
³Cuvtxz
}~[
xb}{
i
}·|
}|lyCuv,tPxz|µ}t
uvt[y
l[uvltN|6x´}"l{uÊ×{ÍuvmPw²l.mltN|¼}|uvxzt:³RP[|6xCml|
i
uvt[y
¸6i
uv{
i
u²)[l7×t[l´UPw²wvuvt[[llt[[l.tb|·wv
x´,|
i
lo{
i
xClt´Ux
mx´+uvm[wvlmltN|¼}~|·uvxzt Gy
}
i
l[[{.|uvxztx
ltNNu
xztPmltN|!º#"
[tPu´@buvt[y´
} ±
ml
¸ x
¹uvÓ}"{R}~wv{Pw²P
¸6i
uv{
i
[l·{
uvl6´K}uv|
i
´UPw²wv-}t[uvt[l|¼}uvwg}w²w|
i
loml{
i
}~tPu²·m uvtNzxzwvCluvt
¸
lR}~¹
l.[[{|·u²xCt+º}~|
i l
t}|
}~wvwv
¸ l i
}zl{
i
xClt\}
¸
lR}~¹'{}~wv{[wv[Íx´Ól.¶bPw²uv{uv|P[|·u²|·[|uvxCt
@)
uvlt+³$o}
[uvt&%('slN
zCn)}Í|
i
l}~·u²³kl¶N|l.t[[uvt[y'uv|
¸
uv|
i
Æ~ÈvÅ 7¿~ȵ¿CÁzÁC¨©.ª¼ª©.ªº h6i
u²
¸
}N³
¸
l-{}~t'|7}~wv¹lR}uvwvb³}~t[e}~|o}
i
uvy
i
wvlzl.w,x´µ[l|7}~uvw^³}xC[|o}[
l.l.-}~t[Î
i }
uvt[yºÕ6|×
|³|
i l
{R}wv{[wv[6uvµtPxz|6|uvl|x}~tN¹Nuvt[x´,uvm[wvlmltN|¼}|uvxzt*P|
i
l"l}
}|uvxztl|
¸
lltÎy
}
i
l[[{.|uvxzt
}t[ÌltNNu
xzt[mltN|
±
}~·lelz}~wv}|uvxzt'l.ml
yzlÍt}~|
}~wvwv
¸6i
ltÐ|P[Nu²tPy i x ¸
|xe}~·uvyztÌ}~tÌ}~
±
l|x|
i l
l·[wv|Íx~´}[{.{lê´U[w6z}
u½}~[wvlÍwvxNxz¹N[:º<ÒY|
}|lyCuvlÍ{xCmlÍw½}~|·l
}
l|
uv{|·u²xCt[Íx´
| i
l{R}wv{[wv[Rº
Ý
t|
i
u²;}~l
)¸
l6·|[['Ã7¿È½È ,+,ÉR¿È²ÂN©}t['Ã7¿~ȽÈ-.+,«[¿ -©x~´
wvxz|·¹Nu²t/
z )}
¸
l.w²w
}Í|
i
lt[xC|Ízl|´UPw²wv[t[Pl
·|xNxNÏü¿È½È,+,«[©7©7Áe|
}~|·lyzN³+}~tP
¸
l
i x ¸ i x ¸
}
}wvw²l.w,·|
}~|l.yzuvl
{R}tl[lNuvl.+º
Ë
uvt}~wvwv
¸
l|
lR}~|}tu²mx
|7}~tN|
xC[wvlm$x´,uvmPw²l.mltN|¼}~|·uvxzt"´Ux
)¸6i
uv{
i
lxz[wvl
xzxz·l-}~
±i
xN{xCw²P|uvxzt[³Nt}~mlwvª@§[¿zÃ7©"Ȳ©7¿RÀCĽ«zÆ0*
¸
lo
xzxz·l-}t}|
}~w+}~tPl!{uvltN|xzwv[|·uvxzt
|·x
lCltN|uv|1
¸6i
uv{
i¸
lÍ
x~zl{x
·
l{.|2º
3#43 57698;:<=0>?A@ BC6$D D.EGFHI@J?K6#FGL<MH06#8N:E@JL$@J?K6#FGO
)xCm[[|·l
{.u²l.t[{lÍuv
xNxC|luvt|
i
lt[xC|uvxztx~´Ã7Å Õ§gÂN¬U¿ RÄȲĽ¬P+}~t[ÌÁz©7ÃĽÁz¿ RÄȲĽ¬P+
¸6i
uv{
i¸
}~)[lCl
±
wvxzlÌuvte|
i
lz~N
h
uvt[y&
z Q}~t[Ì
i { i
C )}Ø}t\}~t[
¸ l
|xRuvw²l
|-}~t[\qTSxz[lw
z
.º
¦3i
uvw²l|
i
l[
xClx~´|
i
llÎ|P[uvl
¸
}-ml
l.w²e|xe[l7×t[l|
i
lÑÚlUgl{.|uvzlwvÌ{xCm[
±
|7}~[wvlÛ´UPt[{|uvxCt[6Nl·|¼}~Pw²uv
i
uvt[y
¸6i
}~|6{.xz[wv§YŪ7ªEÄÈV+-lÍ{xCm[P|luvt5}ml{
i
}~t[uv{R}w
¸
}N³C|
i l
´Ux
m[w½}|uvxzt·|uvwvwklt[[le[
i
}Nuvt[y}
x´Uxz[tP5uvtXW[lt[{lxzt
¸6i
}|
¸
}6|xl͹Nt[x
¸
t}~Ú
i
uvy i ±
wvlClw[
xzy
}~mmuvt[yw½}~tPyz}yzl·Ûo·uvt[{l)´Ul
¸
xz|
i l
t[xz|7}~|·u²xCt[
¸ l
lYU}t[}
l,+¹Nt[x
¸
t"´Ux
l.¶b
l·uvt[y
xz[wvlmµuvt'}
¸
}|
i
}|µuv6yz}
}tN|llÎ|xlÍ{.xzmP[|¼}[wvlzº
Ë x | i
low½}t[yz}yzl;u²tP[u
l.5NÌÚ h
uvt[y[Z'}~{
i
uvt[l·Û\
h
Z2.³[t[x
¸
¹btPx
¸
t5}~ÄÕ§Y©¨¿C¬UÄGÉR©
x ±
y
}~mmuvt[y)w½}~t[yC}~yClR³~|
i l
louv}t}|
}~w[tPxz|uvxCt-x´Ç}{xCm[[|7}~|·u²xCtÍ|·l+º;µ}{xCt[l N[l.t[{lz³P|
i l
·|[[ex~´){xzm[[|¼}|uvxzt}~wÃ7Å Õ§Èv©¼ÔCĽ¬P+x´Ó}~wvyzx
uv|
i
m6l¶N
l·l }uvml
}|uvzl"
xCy
}m6uv
¸
l.w²w
l·|¼}[wvu²
i
l+³}~t[
l.{uvlmlR}
l;´Ux
| i
l|uvmlY@}~t[}{l.
lxC
{l.
l. bPu
l|xxCw²Clm}~tN
{xCm[P|¼}~Pw²l
xC[wvlm)l¶Nuv|³}~wvw}~·l'xCt|
i
l-}~·[m[|uvxzt|
i
}~|6|
i
l|·l]U}t[}~|7}|
[{|·
l,
x´;}
h Z
x~Nuv[l}"´^}~u
Pt[uv|6x~´,{.xzmP[|¼}|uvxzt}w[|uvmlMU}t[}{l..º
Ë x
w½}~t[yC}~yCl}lÌxCt i { i #5Ú7
±
{R}w²{.[wv[Û|
i
luv·[luvt[xC|x{wvlR}
³ i x ¸
lzl
*|
i l l
t[l.zl
¸
}~,})
xzl
w²l·|¼}[wvu²
i
lt[xz|·uvxztx´µÚ{.xzmP[|¼}|uvxzt6·|l[Û´Ux
|i
l)
±
{R}~wv{Pw²P.*k|
i
lµx
uvyzuvt}w
t[xC|uvxztx´,{xCtb|
}{|uvxzt[·uvt[y-|
i l
[wvl
U /*
¸
}~
l{xzyCt[uvÖl3´
xCm | i l'|7}
|}t[xC|´U[wÊ×wvwvuvt[y'|
i
u²P
xz·lz³6l{R}~Pleu²|uvt[xz|{.w²l}
| i
}~|
| i l
luv}xC[t[xzt|
i
l-}~mxz[tN|x´
¸ x
¹uvtNzxCwvzluvt|
i
l"[[·|uv|P|uvxztx~´ ´Ux
uvt uvt[{l
{R}t\{xCtb|7}~uvtÌ}~t\}
[uv|
}
etN[ml
x~´PRº h6i
uv
¸
}
l.{xzyCt[uvÖlÏ}~-}M
xC[wvlm }t[\}×
|
·xzwv[|uvxCt
¸
}´Uxz[tP*üŠ&Ľ«[¿C¬UÅC¨ +ȲÅ7ÆzÄGÃÍuvtN|
xN[P{lÌN'ÒN{
i
SxztN×t[¹zlwG
CnX6}~t[ ½·ll)
7%
Ë
lNY
Q ´@x
}"[uv{[·uvxzte)
CzQyCu²Cl6}|
Pw²·|l
¸
uvl
lR}w²uvÖR}|uvxztx~´ |
i
l-
±
{R}~wv{[wv[
}t[
i
lt[{l}~·uvyzt[Í}{xzm[wvl¶Nuv|^|x
l[[{|·uvxztex~´
±
|l
mºYx
¸
lCl
³:|
i
uvml}~
lu²Õ´K}
|·xbx
l·uvmuv|·u²{)´@x
lR}wvu²·|uv{)[lÕ´Ux
|¸ x
lR}~·xzt[,*:×
·|uv|ÁzÂ.§È²Ä½Ã7¿z¬@©.ªÓ{.xzmP[|¼}|uvxzt+³·l{xztPu²|;|
uv{|wv
ltY´Ux
{l-}}
|uv{Pw}
ª©RÂN©«[Ã7©x~´)lz}~wv}|uvxzt+³|
i u
'|
i
l-{.xbPu²tPy5x´Ó
±
|·l
muvtN|x{.xzm[uvt}|x
wvxzyCuv{5à [¿C«zÆz©.ª¬[©ª¬@¨ÂNÃR¬@ÂN¨©x´Ó|
i
l|l
m uvt } ¸
}5|
i
}~|"m5}uvt[{
lR}l|
i
luvÖl N}
}|uv{R}w²wvNº
h6i
[´@x
}
¸6i
uvwvl|
i l l ¸
}t[x
lR}w
¸
}'|·xM}·u²yCt'{xCm[wvl¶Nuv|^|x5}wvyzx
uv|
i
m6}~·lÌxzt'|
i
lu
´Ux
m[w½}|uvxztuvtM
±
{R}~wv{[wv[YGx
w½}~tPyz}yzl)}~·l'xCt5
±
{R}wv{[wv[|
i l .Âb«PÃR¬@ĽÅz«P¿~È È²¿C«zÆzÂN¿Æz©.ª.º
3#4 "!L$#J?F"%;LF'& OQ@(#JL$@ =)% ?K=$O
h6i
l)l.muvt}~w´U[t[}~ml.tb|7}~w~·|[["x~´|
i
lµ{.xzmPw²l.¶buv|^x~´g
±
l.z}~wv}~|·uvxzt
¸
} ':}~t[[uvt$# Q; +*,
¿zà [Ľ«P©
¸6i
uv{
i'¸
}|
i
lÍ×
|[l.buv{l[l·{
uvle|xml{
i
}~tPu²{}~wvwvlz}~wv}|l-
±
|·l
mRº h6i
lÍ|·l{
i ±
t[uv N[l'PlÏuv}´Uxzwvwvx
¸
Rº Ë u
|xzt[l|
}~t[·w½}~|l.|
i l ±
l¶N
l·u²xCt[uvtb|·x\}'·l N[lt[{.lÌx~´5Ú·uvt[
±
|
[{|·uvxzt[·Û³ l.{xzt[ÌxCt[l
l.[[{l|
i
xz·luvt[|
[{|·uvxzt[Í·l N[ltN|u½}w²wv'Puvt[y }{xCm[wvuv{R}~|·l'·b·|lm
x´Ó·|¼}~{7¹N|x¹zll.Ì|
}{7¹ x´Ó|
i
l{xN[l|xÎll¶Nl{.[|lÐw½}~|l
º h6i
l{.xzmPw²l.¶buv|^xzuvwvoPx
¸ t |·xM}
mlR}~·
l ¸ º º|Rº[}·l.{uÊ×{ª¬U¨·¿z¬@©^Æ)+}~tP5m}~¹Clµ|
i
lÍmltN|uvxzt[l.'ÁzÂ.§ÈvĽÃ7¿z¬@ĽÅz«Îu²m[wvuv{uv|,uvt|
i
lo}~|¼}
·|
P{|
lRº '+}~|·l
}[|
}~{.|om}~{
i
uvt[luvt[{wv[[lxCmlÍz}
u½}~|·u²xCtu²tÎ|
i
l[l.
l[P{|uvxzte|
}|lyC
[P|
lm}~uvt Pl[uv{R}~|·lÑ|xexzt[l ½·xzmll}
wvN³ lmuvt}~wl.¶Y}m[wvl}
l
wvxC|¹Nuvt
zC[³0lt[[l
xCt
zP³[6}
[lwvwvu
C).º
h6i
l×
| uv·[lz³PªP¿z¨ÄG«zÆ|xÍ}CxzuvÍ[[Pw²uv{R}|uvxzt:³
¸
}~}~[
l·l}~w
lR}[N
¦
}[
¸ x | i
z
¸6i
x"
xCxCl' UÆz¨·¿7§ ¨©7ÁCÂbì@ĽÅz«
¸6i
uv{
i
u²;|
i
luvm[wvl)uv[lR}|
i
}~|P[[wvuv{R}~|·u²xCt-
i
xzPw²lÍÁC©Èv¿)+~©7Á
}µwvxztPy-}~)xC·u²Pw²lN
l
l.ltN|uvt[y[P|l
m)x~´+{xCmmxCtÍx
uvyzuvt-Nuv[ltN|·u²{}~w[[y
}
i
Rº h6i
u²
¸
} }~wvwÍÚ·[[[wvuv{R}|l·Û'
x×|´
xzm }~tN
l.[[{|·u²xCt[
i
}~[lt[uvt[y|·x'|
i
}|Í}
|uv{Pw}
[[|·l
m ½x
±y }~
i
³)}~uv|
¸ l
l.º h6i
uv|l.{
i
t[uv bPl
¸
}~{xCm[uvt[l
¸
uv|
i
{xzm[uvt}|x
Í
lP[{|uvxCt N
h
t[l
zC))}~t[yClt[l
}~wvuvÖlN[[y
i
l1
znQuvtN|x/ªEÂ.§[©R¨·Ã7Å RĽ«P¿z¬@Åz¨6Æz¨·¿7§¨©7ÁzÂNìUĽÅC«
¸6i
u²{
i
u²;|
i l
{xCm[P|¼}~|·uvxzt}wmxbPlwPt[[l
w²Nuvt[ymxz|;u²m[wvlml.tb|7}~|·u²xCt[ x~´:´U[t[{|·uvxzt}wkw}t[yz}~yzl.6|xN}Nº
h6i
l ·l{xztP uv·[lz³lz}wv}~|·u²xCtÑl N[ltP{lz³
¸
}~'}[
l.l.Ü}
|wvÑb
wvxz|¹Nuvt
z Q
¸6i
x
uv[ltN|·u×l\|
i
l[u-Ugl
lt[{.l5l|
¸
lltÑ|
i
llz}w²}~|uvxCt'l N[l.t[{lx
¨©7ÁzÂNìUÄGÅz«eª¬U¨·¿z¬@©^Æ)+[·l\uvt\}w²w
uvmPw²l.mltN|¼}|uvxztPo}~||
i
l|·uvmlz³6Ã7¿~ÈGÈ ,+,ÉR¿È²ÂN©R³)}~t[Ð|
i
l·u²m[wvl|"t[x
m5}~wvuvÖuvt[y|
}~|·lyzйbtPx
¸ t
|·x't[x
m5}w²uvÖlC³,Ã7¿È½È ,+,«[¿ ©º h6i
luv·[lx~´6|
i
l{xzm[wvl¶Nu²|^x´Ólz}wv}~|·u²xCt
¸
}~Ít[xC|-}~P
l·l:³
i x ¸
lCl
º h6i
l ¸ x
¹'xCt Ã7¿C¬U©^ÆCÅz¨Ä½Ã7¿ÈÃ7Å &Ľ«[¿C¬UÅC¨ +ȲÅ7ÆzĽÃuvtN|
xbP[{leN )
uvlt
C)}t[e|
i l
´UxCwvw²x
¸
uvt[y©¼ÔE§ÈvĽÃRÄG¬ªÂ2ª¬@Ľ¬@Âb¬@ĽÅC«Nª ½}~[u^³6}
Plwvw²u^³[)
uvlt7%C'slN
z
)l
muv||l.5|
i
uv|·xl
-/.1032546/0578"95:;/<>=?4
<@ABDC<
6/054E
<
<F77<
<@>C
< @
;/9G<>23;IH<>93;J'E
<
05K;
<
EF054E
< E BML
è3Nêë
L
éPOÊï¼èè5Q^ëR7îDOTSVU~é
<>9M;W?:7<>4
<
;/J"H18
X
6VY<>2305K?8[Z5\
CF]AB1^_
K46PK49I`baT6<F76
C 7C 9G:7
C
9c<
<
;/W1:746/40G25;/6
C
23954E
<
E>:;/25<F05EF2d
_
;"23;0
C 2<
05E'05K499
C
H037;e:EF4
<
04
<
05K;$:<F:;2/f
l}~u
l*
i l
l}~tN|
}|lyC'{R}~tÎl[l. }t['|
i
lÍ{xzm[wvl¶Nuv|^uvtlR}~{
i
{R}~·l-uv
l
lltN|·l\N
| i
l-¨·©¼ÁCÂNÃR¬@ĽÅz«/Ȳ©«zÆC¬4uvt|
i
}|P[|·u²|·[|uvxCtu²;[l7×t[l.uvt}ª¬U©ê§g¾;Ävª©m}~t[t[l
·[{
i | i
}~|l}~{
i
·|l
{R}t{xCt[{luvz}[wvlu²m[wvlml.tb|·lu²t'Ã7ÅC«Nª¬U¿C«[¬¬@Ä-©Í}t[
i
ltP{lÍl
zlÍ}|
i
l}uv;´Ux
| i
l·|[P
}t[N|·lm5}|uv{[l
uvz}|uvxztx~´,l{uvltN|6u²m[wvlml.tb|7}~|·u²xCt[Rº
3#4 =FG=#J?H &=OXHG#J?:@J?K69FO&6$DR?K8;:G<K=8C=$F#@JL$@J?K6#FGO
h6i
l}~uvmx´
x~Nuv[uvt[y}~te}~{{
}~|·l<}t}~wvNuv6x´|
i
lÍ{xCm[wvl¶Nuv|^x~´{xCm[P|¼}~|·uvxzt[6x´,´@[t[{|·u²xCt}~w
xzy
}~m u²tP{wv[[uvt[yo}{
i
uvlNu²tPyØ}Ø{wvlR}
}t[u²tP[llt[[ltN|)uvtb|·ly
}~|·u²xCt-x´g
i }
uvt[y-}~tP-[l.{
u²P|uvxzt
x´,|
i l
l|
uv{|·u²xCt|x}Í·|
}|lyCb³
i
}~)w²l}~Pµ|·x<}"t[l
¸
}~[
xb}{
i
|x|
i
loPl{
uv[|uvxztx~´}~[·|
}{|
m}~{
i
uvt[lº
Ý
t[Pll+³NuÊ´k|
i
xCl|
i[
l.lo}~·l.{|){R}~tl)´@[wvw²"[uvxN{u½}|l
¸
l{R}t|xÍ
xzxz·l}yzl.t[l
uv{
[l.{
u²P|uvxztx~´+}~[·|
}{|)m5}~{
i
uvt[l.R³~Nuvlwv[uvt[ylR}~{
i
·l{.u×{m5}{
i
uvt[lÓ}µ}}
|·u²{.[w½}
uvt[|7}~tN|u½}~|·uvxzt
x´lCl
}w}
}ml|·l
º h6i
u²:uv,{.w²l}
wvuvwvw²P|
}~|·lÍN
h
}~[wvl?º
Ý
t|
i
uv {xztNClt[uvltN|:´
}ml
¸ x ¹ ¸ l
¸ l
lÍ}[wvl6|x´Ux
m}~wvuvÖlµxC|
i l
}l{|6x´k´U[t[{.|uvxzt}w[
xzy
}~mmuvt[y6w½}~t[yC}~yClR³Ct}mlwv
l{.
·u²Cl
[lE×t[uv|uvxztPR³[{.xzt[·|
P{|x
Í}~t[}{lÍwvlR}¹´
llt[l·Rº
3#4 <KLF
¦
l-}{
i
uvlzlÍxC
}uvm$N
x~Nuv[uvt[y}·xzwv[|uvxCt5|·x|
i
lÍ|
iP
lluvPlÍl¶Nlm[wvu×lu²t|
i
l-
lNuvxz[
·l{|uvxCt[.*
¸
lxz[|7}~uvt }{xCm[P|¼}~|·uvxzt}w,mxN[lwv|
i
}~|³+uvtÌ}yzltPl
}w´K}
i
uvxCt+³kuvÍ}
lR}wvu²·|uv{{xzm
±
[P|¼}~|·uvxzt}wmxbPlwN´Ux
µ¸
lR}~¹
±
{R}wv{[wv[
l[P{|uvxztuvt[{x
x
}~|uvt[y ¼ÅC¬4
lR}~wvuv|·u²{
i }
uvt[y|x-}Cxzuv
[P[wvu²{}~|uvt[y
¸ x
¹'¿C«[Á'}
lR}w²uv·|uv{mlR}
lx~´|
i
l{xzm[wvl¶Nu²|^x~´ [P|uv|·[|uvxzt}~t[wvlR}[uvt[y-|·x<}
yClt[l
u²{"[l{
uv[|uvxCt'x~´}~[·|
}{|m}~{
i
uvt[l
¦
l6·|¼}
|)u²tÒYl{|uvxCt5N{xzm[uvt[uvt[y
i }
u²tPy-}~t[l.¶bPw²uv{uv|·[[·|uv|[|·uvxzt´@x
¸
lR}~¹
±
{R}~wv{[wv[
l!Wl.{|uvt[y|
i
}~|k´@[t[{|·u²xCt}~w~w½}t[yz}yzlk
i }
lµ|
i l
l|
uv{|uvxCtÍ|
i
}|
l[[{|·uvxztÍt[l.zl
i
}[l.t[+[tP[l
}ÌIuvtb|·x }e{}~wv{[wv[³Ó®k¯
° ³ ¸ uv|
i
l¶N[wvuv{uv|-·[[|·uv|[|·u²xCt+³)t}~muvt[y³ }~t[Ï}[
l.l.Rº Zx
lx~zl
³
uv|Ít}|
}~wvwv'l
mu²|·|
¸
x'P}|l
uvt[{uv[wvl"|
i
}|-}
l
lR}[uvw²euv[ltN|uÊ×g}[wvl<}-ÆC¨¿7§\¨·©7ÁzÂNÃR¬@ĽÅC«
¦ }~[
¸ x | iÐ
z
6}t[\©«[ÉRÄG¨Åz«-©«[¬ ¼¿ª©¼Á©ÉR¿È²ÂN¿z¬@ĽÅC« @)
uvlt
z
.º
Ý
teÒNl{|·u²xCt ¸ lÍ
i x ¸
i x ¸
®k¯
°
}~Pl N}~|·lwv Pl{
uvl
i }
u²tPy
¸
uv|
i
}~tN ¸ lR}~¹J
l[[{.|uvxzt»|
}~|·lyzkÙ|
i
le
xbx´Íu²
}
|·u²{.[w½}
wvuvm[wvlol{R}[luv|{R}t l-|·uvl Pu
l{|·w²Î|x5}[
l·lRÙ |·x5uvwvwv[|
}|lÍ|
i
uv
¸
l
x~Cl
| i }~|®k¯
°
uvt[{.w²P[l|
i
l-Ú7 ½Û{R}wv{[wv[ x~´
uvxzw½}P³
Ë
lwvwvluvlt:³)Z'}
}~uv|³)"[l
¹N %
¦
}~Pw²l
z )º
Ýt ÒYl{|uvxCt ¸
lÍ|·[[
i x ¸ | i
lÍ[·}~w l¶N|l.t[uvxztPox´©¼ÔE§ÈvĽÃRÄG¬µ¨·©¼ÃÂN¨7ªÄ½Åz«'}t[\ÁC¿z¬@¿5Ã7ÅC«Nª¬U¨ÂNìUÅC¨7ª
{R}tl-}[[l|·x-yCu²Cl|
i
l´U[wvwkl¶N
l.uvClÍx
¸ l
x´+´U[tP{|uvxzt}~wk
xzy
}~mmutPyº
Ý
t'ÒNl{|·u²xCt [³
¸ l
uvwvwv[|
}~|·l|
i
l-}}~P|¼}~Pu²wvuv|^x~´ |
i
uv{R}~wv{[wv[6N[l7×t[uvt[y|
i
l"t[xz|·u²xCtx´;}ª@§[¿zÃ7©È²©7¿ÀzĽ«CÆz³[}t[
¸ l
·|[['}{w½}x´6ªU§[¿zÃ7©"Ȳ©7¿RÀ ¨·©¼©"[{R}w²{.[wvuKº;}{x
xzwvw½}
¸
lÍyCl|6|
i
}||
i
l|
uvmmuvt[y[l.'uvt
| i l'Ú¼Ò
h
qÛ-{}~wv{[wv[6x´
lN|xCt5Cxzt[l.M
zCn);u²67}´UlCº
¦
l)|7}
|;b·[mm}
uvÖuvt[y){l
|¼}u²t·|¼}t[}
-{.xzt[{l.[|6}~t[t[xC|¼}~|·uvxzt[:|
i
}|
¸
uvwvwz
x~zl6{.xztNzltPu²l.tb|
|
i[
xC[y
i
xC[|Rº
ã¡R£[¡%@ã ¢~ß -U£P¡@ã ¦
l [luvyCt}~|·l Ľ«[¿C¨ +¨·©Èv¿z¬@ĽÅz«Yª,No}
x ¸
R³.´Uxzwvwvx
¸
uvt[ywvxz[
zCn)º
'Çl|
l"[{
i
lw½}|uvxzt[}t[wvl|
º
º?
"!
}t[#
%$
[lt[xC|l|
i
lÍ{.xzmxz·uv|uvxztx´&
}t[#
º
n[º" u²6|
i
l¬@¨¿C«NªÄ½¬UÄGÉR©Í¨·©(')©7ÔzĽɩÃÈvÅ~ªÂN¨©x~´»º
[º
¦
l[lÍ6xClt#Y
Cz)Õª¬U©«[ÃÄvÈ,ÁCĽ¿RÆC¨¿ ͪ|xl.¶b
l·
xzxzuv|·u²xCt[Y½·lzl
}~w l¶[}m[wvlµ}
l
yzuvzl.t'l.w²x
¸
.³
¸
uv|
i
xzwvuv'}
·
x ¸
o}t[t[xN[l[ltPxz|uvt[y ½xC[|l
[t[uvzl
¼}w²wv b}~tN|uÊ×l
l ±
w½}~|uvxCt[}~t[xCz7l{|·R³}t[[xC||l.}
x ¸
Ó}t[
i
xCw²wvx
¸
t[xN[l.µ[l.t[xz|·u²tPy ½uvt[t[l
;l¶Nu²·|ltN|·u}wvw²
N}~tN|uÊ×l.
lw½}~|·u²xCt[}~tPxzzEl{|³
l·l{.|uvzlwvNº
º" uvüÅC«')Âb©«[¬6uÊ´*)) $ + $ ))Ϻ
[º h6i
l ±
«[Åz¨ ¿~È .Åz¨ "ªØ}
lÍ|
i
xz·l,·[{
i | i
}~|.-/1*0 1~º
Ý
t'xz|
i l
6¸
x
PR³2uv}t[x
m5}w
´Ux
muÊ´3[16uvmPw²uvl 4~º
[º"65u²|
i l «PÅz¨ ¿~È$ÅC¨ ¨©.ª¬U¨ÄGÃR¬@ĽÅz«Ðx~´|
i
}~|7}~|uvê×l7 859u-U: ;}~t[<uv<}
± t[x
m}~wN´Ux
meº
[º"uv¬U©¨ Ľ«[¿C¬UĽ«CÆeu´o}wvwl N[l.t[{l#
;
$=$=$
}
l×t[uv|·lzÙ)u²|"u²Ã7Åz«[É©¨UÆC©R«[¬"uÊ´u²|"u²
|l
muvt}|uvt[y-}t[{xztXW[ltN|Rº
>ß@? @¡%Uã 4<¡RßN¢ ¢~ßNâ¢U¡%!+ h6i
l´Uxzwvwvx
¸
uvt[y-·[mm}
u²Ö.l6|
i
lm}~uvt{xztP{l[|·Íx~´µ|·l
m
l
¸6
uv|uvt[yPl'uvt|
i
uv6}l
º
º ¦
ll
mu²|kuvt[P[{|uvCl[l7×tPu²|·uvxztÍx´Y·l|;x~´+¬U©¨ "ª[uvt[yNtN|¼}¶o
xN[[{|·uvxzt[º
Ë | i l
mx
lz³
¸ l
¸6
u²|·lBADC0EF´Ux
}üÅC«[¬@©¼ÔC¬Uº
n[º) ¬@©¨ ¨©¾¨Ä½¬@©ª +ª¬U© uv<}Îl.|
[wvlDGH ;IH7³
¸6i
l
lJGHÍ}~t[<IH}
l|·l
mÍ{R}~wvwvlÐ|
i l
Ȳ© ¬[¿z«PÁeªEÄGÁz©&½w
i
!}~t[<IH|
i l ¨ÄÊÆP¬`P¿z«[ÁeªÄ½ÁC©]
·i
2.³
ll{|·u²Clwvbº
Ë | i l
mx
lz³µ}w²w
z}
u}[wvl)u²t'}
i
}~wvxxN{{
uvt5|
i
lÍ}~·xN{u½}~|·l'w
i
Rº
[º) ªÂ.ª¬UÄG¬UÂN¬@ĽÅz«®uv}Ím}~"´
xCmz}
u½}~[wvl)|x|l
mÙz|
i
uv6u²
i
xCmlxCmx
i
uv{R}w²wÊl¶N|lt[Pl
|x-}tNÍ|l
mLK·[{
i | i
}~|µ®MK2 [ltPxz|l.µ|
i
l6|l
mxzP|¼}~uvt[l.-N
l[w½}{uvt[yÍ}~wvw[z}
u½}~[wvlIuvtNK
¸
uv|
i
®3Iº: ¨©7Áz©7Ôuv}|·l
m x´g|
i
l´@x
m ®OG.:´Ux
xzmlP[|·u²|·[|uvxCt®}~tP-·xzml
l
¸6
uv|l
[wvlPG 1INº: ¨©¾¨Ä½¬@©6ª¬@©^§u²)|
i
l
xb{.l[
lÍx~´
l[w½}~{uvt[y}
l[l¶uvt·xzmlµ{xCtN|l¶N|ADC E F
¸
uv|
i
uv|ͨ©7ÁCÂbì&AQC ®(I RFbÙ
¸
l|
i
lt
¸6
uv|lBADC~®OG.SF'1ADC~®(I RFbº
º
¦
l6¼}|
i
}||
¸ x l
¸6
uv|·l
Pw²l.G
1I
}~t[DG
+I
ÅCÉR©¨7Èv¿7§uÊ´g|
i l
lol.¶buv·|·[[|·uv|[|·u²xCt[
® 7®
³+} ½xz·uv[wv'|
uvNu}w`6{xCtb|·l¶N|BA
C E FN³+}~tP }|l
mK
³k·[{
i | i
}|Ø®
MG
'TA
CK F
}~t['®
OG
IK
P[|-[®1*[®OG
I4A
CbFbº:Ü|l
m l
¸6
uv|·lÍN|·lmuvoÅC¨¬[Å7ÆzÅC«[¿~È uÊ´,uv|
i
}~
t[xx~zl
w½}~[6}~tP5uvÈv©¬^ȲÄG«[©7¿z¨[½tPx-z}
u½}~[wvlxb{.{
mx
l6|
i
}~txCt[{lÍuvt5}tNw
i
2.º
[º'kl|"|
i
lx~Cl
wvuvt[uvt[yx´Õ}|·l
mUKR³ KR³klxzP|¼}~uvt[l.Ìb
l[w½}{uvt[y'}~wvw |
i
l·bmxzwvu²tVK
¸
uv|
i
½t[l
¸
}t[[t[uv N[l.Ú·x~zl
w²uvt[l.[ÛNmxCwvRº Ë x
}|l
m l
¸6
u²|·l6N|·lmXW
¸
uv|
i-
l
¸6
uv|l
[wvl
G YI/wvl| W i
}zl
[wvl G ZINº-)wvlR}
wvN³uÊ´
¸
lx~zl
w²uvt[l|
i
l-·bmxzwvx~´Ó}
l.[l¶Î´Ux
|i l
1;ßN¢ \
&}t[ Plt[xz|·l[
l
±
|l
mº®
° ±
|·l
mÓ}
l
}t[yzl.'x~zl
N1yzuvzl.tN
*V*
¦
lR}¹
4 *V*Ï
l.
Y*V*
$
uv @ÒN[[·|uv|P|uvxzt
"ßN¡R£Ná7¢~ß[ä$¤¡@ã
U F
$
°
( ¡%U¡ ¡A@ã ß - £[¡%½ã
3 R> ½[
$
Ë
}
$
U
}
u² }
Ý
Ë
uvyz
l
*®
° º
W ±
[wvlG'1I)uvt<}Õ|l
m KR³~|
i
lt|
i
uv
¸
uvwvwztPx
¸
u²tP|l}~l}
l[l.¶Í´Ux
| i l W ±
[wvl G'1INº
Ý
´K
{xztN|7}~uvt[·lzl
}~w W ±
[wvl
l.[l¶NlR³Puvt}
|uv{[w½}
xzt[l6·[{
i | i
}~| K 4ADC ®GRF6´Ux
| i l W ±
[wvl
G IN³N|
i
lt|
i l W ±
l[l.¶bl.
l.m5}~uvt[uvt[yuvt|
i l
l[[{.|.ADC~®(I SF}
l{R}wvw²l.|
i
l<¨·©ªÄ½ÁCÂN¿~Ȫ6x´
| i lt[xzt
±
l[[{l. W ±
lPl¶NlRº66l.[[{uvt[yÍ|·x W ± tPx
m}~wC´Ux
m}~t[|
i
l.tl
}~uvt[y}~wvw[x~Cl
wvuvt[l
uv{R}~wvwvl}Áz©É©ÈvÅ7§ ©«[¬ÙN[lClwvxz[uvt[y Kuv {R}~wvwvl}Ã7ŠէȲ©¬@©oÁC©RÉ©.ȲÅ7§ -©«[¬;uvt[{l}w²w
l[l.¶bl.
x~´ KÕ}
¸
lwvw+}}~wvwk|
i l
l·u²P}~wv}
l
l[P{l+º
ã¡R£[¡%@ã
4
ä:ßÍ¢ !
ã¡£[¡%Uã
¦
l lm[wvx~)|
i
l"Út}ml7´
llÛ
l
l·ltN|¼}~|·uvxztx~´
±
|l
m
uvtNzltN|·l N[l
[u7t
CznQ *6}~{
i
xN{{
·
lt[{.lx~´6}z}
u½}~[wvluvt }
±
|l
m uv
l
lltN|·l\N
}t}|
}~w tN[ml
³{R}~wvwvl'|
i
l'Ľ«[ÁC©¼ÔC³k{x
lxzt[Pu²tPy5|·x|
i
ltN[ml
x~´6$#|
}zl
le´
xzmuv|
[uvt[Pu²tPy Ñ|·xÌuv|\GxÌuvt[[uv{l·|¼}
|}~|Qº h6i
ll|x~´|
i
l·l'|l
muv[l7×tPlÏuvt[[[{.|uvzlwvÌN
4 *V* º
h6i
l¨©7©Ä½«[ÁCĽÃ7©ªx~´}|·l
m {x
l.xzt[Ì|·x5|
i
luvt[[uv{lÍ}|o|
i
lxz
±
|·l
mxz|6wvlClw+x´
¸6i
}|6uv6[}wvw²¹Nt[x
¸
t}~6|
i
l¨·©¼©"ÉR¿C¨Ä½¿ .Ȳ©.ªÍ}~t[uvµyCuvzltN× 5 $Ñ×! Q3
¸6i
l
l6× H uvµ}~yN}~uvt[l7×t[l.uvt[[[{.|uvzlwvÍN"× H 5 RI × H 5 ! × H 5R³× H U M × H
c
3 ³N}~tP
× H " I C#N%$ F
¸6i
lt'&($:[[|*)
¸6i
lt,+-$·º
¦
l{R}wvwk|
i
uv){R}~wv{[wv[6 }t[
¸6i
ltmuv¶Nu²tPy
uv|
¸
uv|
i
xz|
i l
{R}~wv{[wvu
¸ l ¸
u²wvw
l7´Ul
|x
±
|·l
m}~)§kÂb¨·©Í|·l
mRº Ý t
¸6i
}|)´Uxzwvwvx
¸
R³N}É¿~ȲÂN©"u²}
|·l
mx´,|
i
l´@x
m +x
.
?1/.0
¸6i
l l.
?11 1.20 }
lÍ}~wv·x-z}w²PlRº
Ë
uvt}w²wvN³
¸
l}lxC
͸
x
¹ÎxztÌ|
i
l®
° ±
{R}wv{[wv[R³:
i x ¸
tÌu²t
Ë
uvyº
³+xCt[lx~´6lCl
}w6{R}~wv{Pw²u
x´-¾©7¿RÀ'©7ÔE§È²ÄGÃRĽ¬ªÂ2ª¬@Ľ¬@Âb¬@ĽÅC«Ìyzuvzl.t NÌ)
uvltÌl|}~w^º#
Czn).º h6i
lu²PlR}l
i
u²tP\|
i
u²"{R}~wv{[wv[
uv6|x´@x
Pu²·[[|·uv|[|·u²xCtu²t}~[·|
}~{|·u²xCt[.*;|
i
uvu²}{{xCm[wvuv
i
l.Nt[lCl
xz}yb}|uvt[yl¶N[wvu²{.u²|
·[[|·uv|[|·u²xCt['uvt[·u²Pl }~[·|
}~{|·u²xCt['Cl|
l N[u
uvt[yÐuvt 3
°
|
i
}~|'}ÐP[|·u²|·[|uvxCt uv
l·ltN|'uvt
lCl
l[l.¶gº h6i
u²
l·|
u²{.|uvxzteyzuvzl.}{xCtXW[ltN|
¸
lR}~¹{R}w²{.[wv[[P|t[l{.l·u²|7}~|·l-Puvt[y5}|·l
m
l
l.ltN|¼}|uvxzt
¸
u²|
i
wvuv|·µx´,[uvt[[uvt[yCµ}~)x
uvyzuvt}~wvwv´UxC[t[u²t|
i
lÍ
±
{}~wv{[wv[6x´)
u²l.t7
z
º
Í./. ! Í # %&Î)(, . 7(; /Ø /
Ý
t'|
i
uv6l{.|uvxzt
¸
lyClt[l
}~wvuvÖl-|
i l ¸
lR}~¹l¶N[wvuv{uv|6[[·|uv|P|uvxzt'{}~wv{[wv[®
°
[lE×t[l'N')
u²l.t
l|}~w^º
CznQ6|xuvt[{wv[Pl<}[
l.l.-uvtex
Pl
|xl¶N[wvuv{uv|oxzuvtN|l
m}~t[uv[Pw}|uvxztPRº"
·|¼}
|uvt[y
xzuvtN|6uv
l.muvt[uv{l.tb|6x´|
i
lÍw½}lwvuvt[y[l. N\ZÎ}
}t[yzl.|M
z
³ i x ¸
lzl
³[xC
tPxz|uvxCt5x´ÍÚ¼}~
±
l·ÛÍuv+mx
l}[|
}~{.|}t[-}w²wvx
¸
k[ }6l||·l
{xCm
l i
ltPuvxztÍx´[u²m[wvlml.tb|7}~|·u²xCt[[x´m5}{
i
u²tPl
´Ux
´U[t[{.|uvxzt}wk
xCy
}~mmut[yw½}~tPyz}yzl6}~t[|
i
lu
xz[|·uvmuvÖR}~|·uvxzt[º
43 >:G<K?KH0? @ OXEOQ@J?A@JE@J?K69F(LF'& O !GLM# ?KF"%
Ë
uvyz
l Ð
ll.tb|· | i
leNtN|¼}~¶»}~t[
l[[{.|uvxzt
[wvlx~´®k¯
°
½uv|
¸
u²wvwle
xCl
wv ·|¼}|l»uvt
l7×tPu²|·uvxztÏ[º
exCt[{l'|
i
l't[xC|uvxztÑx´<}~[
l·5uv´Ux
m}~wvwv l·|¼}[wvu²
i
l.º 'kuv¹ClM®
°
uv|´Ux
[uv[
·[[|·uv|[|·u²xCt uvt'}~P|
}~{|·uvxzt[Nt[l.zl
xz}yb}~|·uvt[yl¶N[wvuv{uv|P[|·u²|·[|uvxCt[uvt[·u²Pl-}~[·|
}~{|·u²xCt[
Cl|
l. bPu
uvt[y|
i
}|lzl
l[l.¶m[|:{xztN|¼}uvt<}P[|·u²|·[|uvxCt+º h6i
uv
l·|
uv{|·uvxztyCuvzl}{xzt W[ltN|
¸
lR}~¹"{R}~wv{[wv[;[[| t[l{l.uv|7}~|l.6[uvt[y}|·l
m
l
l.ltN|¼}|uvxzt
¸
uv|
i
wvuv|·,x´gPu²tP[uvt[yz }~ x
u²yCuvt}~wvwv
´UxC[t[uvt|
i
l-{R}~wv{[wv[6x´µ)
uvlt&
z
º
®k¯
°
u²tP{wv[[l6|
i
ll{u½}~w
[wvlM@)xzwvwvl{|!
¸6i
uv{
i
uv6mlR}tb|;|x¼}zl[·lwvl{xzm[[|7}~|uvxCt[µ}~tP
{R}tÏl5xCmuv||·l*uv|-{xCwvw²l.{|ÐÚyb}
}yzlÛeuvtÑ|
i
l|^Nwvlx~´*µwvxNx]% Õxzl&
z ).³Ä½ºv©º²³;|l
muvt
·[[|·uv|[|·u²xCt[
¸6i
uv{
i }
lt[lCl
[P|uv|·[|l:ºµwv|
i
xC[y
i
{xCm[P|¼}~|·uvxztuvt·[{
i
Plwvl·|l
m){R}t
l<}Cxzuv[l[·uvt[y·l{.u×{-·|
}|lyCuvlR³k|
i
l}~{{Pm[w½}~|uvxCtx~´[·lwvl"|l
m6uvt'P[|·u²|·[|uvxCt[uvo}
} ¸
}~{7¹
¸ º º|ºz|
i
l·u²Ö.lox´+|l
m³[}~t[
i
l.t[{l
¸ º º|ºz·}~{l{xzm[wvl¶Nuv|^bº
Ý
tÒNl{|·uvxzt P³
¸
l·|[P
}
i
lt[xzmlt[xCt
¸
lwvwk¹btPx
¸
t5uvt/´U[t[{|·uvxzt}wk
xCy
}mmu²tPyo}~6|
i
lª@§[¿zÃ7©ÍÈv©7¿RÀاg¨Å Èv©"º
Ë | i l
mx
lz³t[xC|uv{l|
i
}|o|
i l
[wvl[
Ë }
qY}t[]
Ë }
#
i
}ClÍ|
i
l¼}~mlw²lE´U|
±i
}~tP ·u²Pl
P'0oÒ *:|
i
l[u-Ukl
l.t[{ll|
¸
lltÐ|
i
l·l|
¸ x
[wvlÍuvÍuvte|
i
l{
i
xCuv{lx~´6|
i
l}[
lÍuvte|
i l
uvy i |±
i
}t[\·uv[l7@oÒ
¸6i
uv{
i
uvÍl.u²|
i l
/ Ë
} qÍx
Ë }
#.º h6i
u²{xCt[{l[|·}~w6{
i
xCuv{l
i
}<}
[u
l{|Í{x
lxzt[Plt[{l|x|
i
l[[[wvuv{R}~|·uvxztzl
["
i }
uvt[y
xzPw²l.mx~´µuvmPw²l.mltN|¼}~|·uvxzt[º h6i
u²
uv uvw²wv[·|
}~|l.Í´Ux
xzml 3NÍ|
i
l6l¶[}~mPw²l uvt
Ë
uvyº nPº
¦
l)xzP|¼}~uvt´@xz
xz·uv[wvl6[u-Ugl
ltN|
l.[wv|uvt[y
|·l
mkt}~mlwvY" ! ¯N³X" .·¯N³X" ! !¯N³~}~tP ! ,¯Pº
Ý
|kuvk{wvlR}
|i
}|kl
}uvt[y|
i
lµ}[
l.l.
x´Ó|
i
ll´@xz
|l
m
xN[[{l|
i
l-7}~ml|l
m ³t}mlwv *|
i
l[u-Ukl
ltP{ll|
¸
llt\|
i
lm u²
| i
lo}mxzPtb| x´g
i }
u²tPy ½x
i
}~l)x~´+|
i
lo}~·xN{u½}~|·ly
}
i ¸
lxC[|¼}u²t:³~mx
l)
l{.u²·lwvb³k¬[©"Âzª©
Å [ Ë }
qY ¿zĽ«P¬U¿CĽ«Nªª P¿z¨ÄG«zÆ'¾ P©R«P©RÉ©R¨[
Ë }
#Áz©7è©7¿~ª©.ª<ÄG¬Uº"wvxt[xC|uv{l|
i
}|o
i }
uvt[yu²
xCt[wvu²tP{
lR}l
¸6i
l.tM}Ø|l
m ¸
uv|
i
}~[
l·lu²tuv|)uvµ[P[wvu²{}~|l.+³kĽºv©Rºv³
¸6i
lt&½Puv)[l.
¸
uv|
i
·xzml}[
l·l6uvt[uv[l*zº µ}{xCt[l N[l.t[{lz³P´U
| i l
G}
}~wvwvlw`
l
¸6
uv|uvt[yÍx´+|
i
uvµ}
yzPmltN|
¸
uvw²w
l-
i }
l
¸
u²|
i
}~wvw+uv|xz|
i l
xN{{.
lt[{luvt'|
i
lÍ|l
m7*)·[ml|
i
}||
i
l<}[
l.uv.³}/{xzN
x´µ|
i
l|l
m }~|o}[
l,T½x
³|xl
l{uvlz³:}{xCbÎx~´uv|
xNxz|t[xN[ll{}~[·l}~[
l·lÍx´
uv|)P[|l
m6}
lotPxz|){
i
}~t[yCl;u²)l
´Ux
ml+º h6i
lt|
i
l|l
m
$ +}~|6}~[
luv
lPw}{l
NÌ|
i
}~|{xzN\}~tP\w½}~|·l
-
l
¸6
uv|·u²tPy x´|
i
uv}
yC[ml.tb|
¸
u²wvw)t[xz|"l
i }
l.+º h6i
[
¸
ll.l5|
i
}~|
^<
:<>230546
C
7<F2 03K;
C
93;$E
B
J;F;/7E>:";
<
059 < <
J':<F25<F77;723;J
C
6/054E
<
05E"E1J;/795K<F254
<@
f
+Ľ«[© )È Ä½ÁzÄG«[©©«[¿zÄvª7ª¿ 6Ľ©¨¨©:©.ªEÃ7¿C«[«[©¨Ävª¬UÅ6©R¨ 6Å~ª©
z / / / /,¯
/ .·¯
Ë } qY
" ! ·¯
Ë
} q
" ,¯
Ë
}
9
g / P.·¯
Ë }
#
" ! ·¯
Ë } qY
" ,¯
Ë }
#
Ë
uvyz
lÍnJ*q
}~
i ±
ɪº[ tNNu
xCt[mltN|
lP[{|uvxCt+º
| i l
lP[{|uvxCt
{.xztN|¼}u²tPo|
¸
x·[[·|uv|[|·uvxztelwvu²muvt}~|·u²xCt·[
l.[[{|·u²xCt[R³ 0
}~tP 0 ºY'Çl|
® CX½[ ,U
}
, }
Ý
FNº h6i
lt'® »®
!
CX Ë }
qY F-}t[5® ® ! C
Ë
}
9SFbº
4 & &'#J=$O OX=$O]LF'& :GLM# L <<K=$< #J=&GEHI@J?K69F
ÒNx³Í}Ð{xzt[·l N[lt[{.l x´<muv¶buvt[ye|
i
xzlÐ|
¸
xÑ·b·|lmu²|
i
lÌ{
l}~|uvxCtÜx~´}\{
uv|uv{R}wÍ}~u
½tPxzt
±
[l.|l
muvt[uvm/,}t[|
i
[µtPxzt
±x | i
xCyzxzt}~wvuv|^bº Ë x
|·[t}|lwvN³z·u²tP{l|
i
uvµ{
uv|uv{R}~wk}~u
uvµ}~|)|
i l
xNxC|R³
| i l l·uv[}~w
l[l¶et[xz|·uvxzt][l|%;'slN
z
6{}~tell¶N|ltP[lÌuvt }/|
}~uvy i |±
´@x
¸
} ¸ } *
¦
lµE[|xzPl
zl|
i
}|o|
i l
l-uvtPx
luv[}~w
lPl¶'x~´1 Ë }
qYY
l·+º#
Ë
}
9K}´U|·l
}[[wvNuvt[y
Ë
}
9[
l+º9 Ë }
qYK.º
¦
l"×
·|l|7}~[wvuv
i | i
}~||
i
u²uv7}´Ull7´Ux
l ¸
lyzuvCl-|
i
l-Pl7×t[uv|uvxCt
lE´¼ºPºQº
>ß@? @¡%Uã
Ã7Å Õ§Èv©R¬@©Áz©ÉR©.ȲÅE§ ©R«[¬"x~´}
l|l
m uv-}·l
uvlx´Õ®k¯
° ± l
¸6
uv|l|
i
}~|
l
¸6
uv|l}~wvw
lPl¶Nlx~´»[tN|uvwkt[x
luv[}~wv
lm}~uvt+º
h6i
[k|
i
lt[xCt[l|l
muvt[uv·|uv{ {
i
xzuv{ll|
¸
llt/
Ë }
#k}~tP Ë }
qY³[uv{.[·l<}x~Clz³m}~¹Cl
{xCm[wvl|·l[l.zlwvxzPmltN|«[ÅC«[Áz©¬@©R¨ Ľ«[ĪE¬@Ľú
¦ l ¸
uvw²w[ltPxz|l|
i
l·l|6x~´
l|·l
mµxC[|¼}uvt[lN}w²w
xz·uv[wvl-{.xzmPw²l.|l[lClwvxz[mltN|6x~´ÜN[l0.Ùkt[xC|uv{lÍ|
i
}~||
i
l·l-
l|·l
m[llt[ÌxCt|
i l
´ l
i
}~[
l·luvtb|
xN[[{.l'NR½[º
;ß Ì£
4
[l. ÍÄvª«PĽ¬U© ÅC¨o¿C«J+§k¨©¬U©¨ Y
6¨·ÅRÅ )wvlR}
wv[l. n H
¸6i
l l$ uv6|
i
ltN[ml
x~´
Ë }
qC#
±
l[l¶Nluvtͺ
>ß@?
@¡%Uã
4<
A' £[¢
!+
ã¢zä+ßN¢
!+
'kl|l6}m}~ÍxCt-|
i
l)l|x´Ç}[
l·lRº h6i
l6x
[l
uvt[y
"!
uv6[l7×t[l'uvt[[P{|uvzl.w²N
# Ý
´ ´Ux
}~wvw$·³$-$%(&
H
'!
)(
H | i
l.t
$ $=$
+* U¯
"!
)(
$ $=$
)(
*
!-,
¯-.³
# k¯
'!
!-,
¯-.7³[}~t[
#XuÊ´
"!
)(,}~tP0/
"!
/"(k|
i
lt&1/1¯
"!
)(2/"(V
!-,
¯3.7º
¸
l-7}|
i
}||
i
l<}[
l.l.Ì|l
m4Ü{xzwvw½}~[·luvt5/³6 / uÊ´µ|
i l
ll¶Nuv|·Ø}/m5}·[{
i | i
}~|
/
"!
.º
ÅÁz©.ȲÄG«zÆ[¿C¨Ä½«zÆ¿C«[Á6©7ÃRÂN¨7ªÄ½ÅC« ÅC¨©7¿À6©7ÁzÂNÃR¬@ĽÅC«¬@¨¿C¬U©^ÆCĽ©.ª ÂCªÄ½«zÆ ÔE§ÈvĽÃĽ¬Â.ª¬UÄG¬UÂN¬@ĽÅz«
(kà ¡£ h6i
l¿zÁzÁC¨©.ª7ªE©7Áاg¨©¬@©R¨ "ªÍ}
l[lE×t[l'uvt[P[{|uvClwvb
-/& 1. *V* ¯
G[
l·l
6 *V* / . Uz}~wv}~|·uvxzt)xztN|·l¶N|2
4 V *V*3
l.
@ K*V* u² / $ @ÒN[[·|uv|P|uvxzt
¸6i
l lÍlCl
¸6i
l
l6 S
}~t[yClox~Cl
}~tuvtN×t[uv|l·l|
x´Ó¿zÁCÁz¨·©ª7ª©ªº
"ÜßN£$
á ¡¢~ã+ä¤~¡%½ã 6 ¢~ßN¢~ß[䤡Gã
?
uvµ[lE×t[l'N|
i l
Pw²l
U F
/
¯
/ $ ¯
°
"ÜßN£$Ï , .¡@¡,¡.½ã
ß -
£[¡A@ã
6 ¢~ßN¢~ßYä¤~¡%@ã
u²)[l7×t[l'N|
i l
[wvl
5 RF ¯ 3
¯
Ó´
l.
i
½[
$ ¯ Ë }
qY
$ ¯ ¯ Ë }
#
/ $ ¯
¯
U
}
uv ¯
¯ }
Ý
ã'--@ßY¤¡@ã 6,¢~ßN¢~ß[ä¤~¡%Uã
0
uvµPl7×t[lÎb|
i l
[wvl
¯ 2
,
.¯ 2
,
.
@)xzwvwvl{|2
¸6i
l
l©R«PÉRĽ¨·Åz« ©«[¬¬@¨Ä -Ľ«CÆÍuv[lE×t[lb +
¸6i
l luv H
3uv}~t[R/ $
, H / $
H
c
¸6i
l.t%$ [[|
$
H
c
¸6i
lt%$[º
Ë
uvyC
lÍJ*®k¯
°
* ·Ntb|7}~¶}~t[
l[P{|uvxzt
[wvlº
