HAL Id: inria-00073242
https://hal.inria.fr/inria-00073242
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- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
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, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Intensional Approaches for Symbolic Methods
Olga Kushnarenko, Sophie Pinchinat
To cite this version:
Olga Kushnarenko, Sophie Pinchinat. Intensional Approaches for Symbolic Methods. [Research Re- port] RR-3448, INRIA. 1998. �inria-00073242�
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
Intensional Approaches for Symbolic Methods
Olga Kushnarenko and Sophie Pinchinat
No 3448
Juillet 1998
TH `EME 1
. /103254687:9<;=2?>(@A;<B?C2?;<DFECG<98H1@JIKH1;<LM98HN;<2PO'Q
RTSPUV-WXKY Z[(\]W_^a`cbWde\]fA\]dgUV-W(\
h=igjaklWdnmoh<prqoRsZ
Ze^atutjMi]dvuWwixW(yxSuWixyxSuW{z}|~MY a`u WdKX_Y X:t?^MW\
<_uMn WtuixW\gW'zAd-^WS?^_ jMix^aTV-jAvuWjMiv \gyigWdgWWW'zd$\lfc\ldxW'V$\?^M\]W(v
jMz&^az zdxW'zP\] jMz?^ajMi]V^ \lV¡ ^M\K^t3jM\g\] uW^atutixj^MyxS¡¢s dgS zdgSPWuixj^avuWiedgigWzPv
dxj:¢+^ixvu\$i] yxS£\lfAV}3jM y ixW'tuixW\gWzdx^adg jMzP\$ z¤W'ig ¥uy_^ad] jMz¦ WvuW¥zPW¨§'©Pªr«'©¬'¯®©±°M²
³°´'«'²«gµ·¶¸]°M©¬'¹ªN¯®©»º?¼:¬'ªr«'½}¬K¢s d]S¾^M\]\gjAy ^adxWvJyjMVu z?^adxjaix\¿jM+t?^iÀ^aW=y(jMVÁt3jM\] p
dg jaz^azPvWW'zdnSu v zuu u^azuv¢WwtuixjMtj\]W¬'¼½Á´'®²Â¯Ã´(¬'¹½ÄA²Å°MªN¯®©dgjÁS?^zPvWw\ldgigjMzP
u \l V`u^adg jMzÆ zdxW'zP\] jMz?^afM¦ÇP`igdgSuWijMzÈ ¢WW'bAtu^a zJSPj:¢Éd]SPW$V-WdgSujcvujajMf¡S?^M\
3WWzvWW'jMtW(v-jMiodgSPWe\]fzPyxSuigjMzPjM`u\T¹^azuM`?^MWwʱ˹ÌÍÎ8Ï? M ^¿d]SPWnMWig ¥Py_^dg jaz-dgjcjM
ʱ˹Ì=Î<ÏA˯¦
СÑÒ3Ó]ÔÕ Ö8MJ× zdxWzu\] jaz?^aÈd]iÀ^azP\l d] jMz$\]fA\]dgWV-\( utjMfzPjMVÁ ¹^\( ?Ø1\]fVjM y:Ùu \l V`p
¹^ad] jMz A\]fzPyxSixjMzPja`P\n^azPM`?^aW(\ uW(Ú`u M^Wzuy(W¿yxSPW(yxÛ zP
ÜÞÝ?ßNà1áãâß<äMåÂàæ¹çÀè
éKê]ë¹ìíîï(ï:ê]ëðñròóÀôðõ(ñöcíï(ë÷øð3ùãú3ûüþýcë¹êlÿñ1ð
ñl÷! #"$%%$&'($)$*,+.-)
Unit´e de recherche INRIA Rennes
È"# %&'
jM`P\tuig[(\]WzdxjMzu\ `uzÁV-jcvuU'W+vWeyjMVÁt3jMi]dxW'V$W'zAdovW(\]d] zP[e^a`cb\]fA\]dgUV-W(\
v['['zPWV-Wzdx\þv \]yixW'dx\eÚ`u \gW¿ixWtj\]W\l`uin`z¡jMi]V^a \lV$We zdxW'zAd] jMzzPW¯¦W\]de`uzPW
^atutuigjcyxSPWtj\g\l uWvP^azP\Wy_^MvigW vuWdgix^:a^a`cb5vujMzdWu`d-W\]dÁvWzui] yxSu iWdajM`
vuW \] VÁtu ¥PW'ivuW\ÁV$^azu tu`u¹^dg jazP\}vuW\ÁigWtuig[(\]WzdÀ^ad] jMzu\Á\lfV3ja Ú`PW\vP^azP\Wvjap
V^a zPWwvuW¿¹^['ig ¥Py_^ad] jMzȦ jM`P\vu['¥uzu \g\gjazP\þvuW\¿¬'¼:¬'ª'½$«µA«ª1¸]°M©¬'¹ªN¯®©¬'ª1(ÄP«'ªÀ¬
¹©Pª «'©Pª1¯®©P©3«'²¬<^a zP\l uÚ`PWvuW\ jat3['iÀ^adgW`uig\ vWsy(jMVÁt3jM\] d] jMz}t?^aiÀ^U'W WdovuWsV$^M\gÚ`?^aW
v['['zPWV-Wzdx\ cW'dzujM`P\tuixjat3j\]jMzP\`uzPWu \] V}`u¹^ad] jMz}\]fVjM Ú`PW^a¥uz-vuWV^az tu`p
Wi<vuWT^eu \] V}`u¹^ad] jMz¿jMi]dxWT zdxWzd] jMzuzuWWV-Wzd_¦ jM`P\=Wãbct Ú`PjazP\=y(jaV-V-Wzd=yWd]dxW
V$['dgSPjAvujMjM W ^K['dx[svu['WjMtut[(WvP^azu\=W+y(^MvixWsvc`¹^azP^MWT\lfzPyxSuixjazPWÊ?˹ÌÍÎ8ÏwtP^ai
V$j:fW'z¡vW¿ja`udg ÈvuWw['ig ¥Py_^ad] jMzÆʱ˹Ì=Î8ÏA˯¦
Õ Ó \lfA\]dxU'V$W\nvWKdgiÀ^zP\] dg jazP\T zdgWzdg jMzuzPW'\( At3jafzPjMVÁ ¹^a`cb3 u \] V}`u¹^ad] jMz
\]fVjM Ú`uWM ^azP^MMW(\+\lfAzuyxSuixjMzuW(\( ±['ig ¥uy_^ad] jMz v[(Ú`u a^aW'zPy(W\
nfz?^aVÁ y}\lfA\]dxW'V$\^aigW\]fA\ldxWV-\KdgSP^adwWMjMMW^My(yjMixvc zPdgjdgSPW' iKW'zA ixjMzV$W'zAd(¦ × z
WzPW'iÀ^a¯ ^az£WMjM`ud] jMz jMwdgSuW¡\]fA\ldxWV T z ^»M W'z \]dx^adxWa TvuW't3W'zPvu\jMz£^z¤ zut`ud
WW'zd&ØN\]jMV-W zujMigV$^ad] jMz¾a W'z f5dgSPWWz igjMzuV-WzdãÙ! dgSu \ÁW'jM`udg jMzW_^avu\dxj
\gjMV-WK zP\ldÀ^azdx^azPW(ja`P\jM`udgt`udeWW'zdK^azuvdgjÁ\ldÀ^adgW¿yxS?^azPW\(¦
"
fzPyxSuixjazPjM`P\¡^azPM`P^MW(\ S?^_WJ3WWz vuW\] MzPW(v dxj¤W(^M\gW¨dgSPW¨tuixjaiÀ^aVÁV$W'i\dÀ^M\lÛ
¢sSPWz$vuW_^a zPw¢s dgS-\]`PyxS\lfA\]dxW'V$\# Ad]SPWftixj: vuW\gjaV$Wtuig V- dg W(\8jMi y(jMzPy'`uigigWzPy'f
^azPvy(jMVÁV`uz y_^dg jaz¦$RTSuWfy_^z W jMJv %$WigWzd£ÛA zPvu\¦ RTSPW V$j\ld t3jatu`u¹^i
jMzPW(\dgS?^dS?^_MW»3WWz vuW\] MzPW(v zFÇPix^azPyW ^aigW'&)(*,+.-0/.-?Ï2143 +M65^az VÁt3W'iÀ^p
dg MW^azPM`P^MWM 879:*,+./:-;1h=^<5-^azuvÉʱ˹ÌÍÎ<Ï=143?>X@5?^a\gW(v jMz vW(y^aiÀ^dg MW
^atutuigj^MyxS¦RTSPW\gWƹ^azuM`?^MW\$z?^ad]`uiÀ^fW_^ai^¾\gW'V^zAd] y\ z dxW'igV-\jM}vc \gy'ixW'dxW
WW'zd\]fA\]dgWV-\( s^zPv dgSuW i-y(jazAd]ixjMet?^ai]dyjMzPy(W'igzP\-3jAjMW(^az a^a`PW(v·\] Mz?^a\(¦ RTSPW
\]fzPyxSuigjMzPjM`P\oW_^dg`uigW(\ ^aj:¢·jazPW+dxj¿W'bAtuigW(\]\\lfAzuyxSuixjMz BA_^dg jaz-yjMzP\ldgiÀ^ zdx\Wdr¢W(Wz
dgSPWv %$WigWzdØ1jM`udgt`udw^azuv zdxW'igz?^a¹Ù+WW'zdx\¿jM=d]SPW\]fA\ldxWV!^azPvd]SPW zutu`udþWMWzdx\
jM dx\TWz ixjazuV$W'zd_¦0CnW'zPy(Wa ?^azfjMtWix^adg jMz?^a3\gW'V^azd] y(\sja8\l`PyxS\]fA\]dgWV-\eW_^Mvu\dxj
^a`udxjaV^adx^}¹^aWW(vyjMVu z?^adg jMzP\+ja=^adgjMVÁ yþW'W'zAdg\(¦
RTSPWw^a`udgjMV$^adÀ^\gWV$^azdg y(\+y(^azd]SPWzWþ`P\]W(v^M\+^}P^M\] \jMidgSPWþMWi] ¥Py(^adg jMzjMʱËED
ÌÍÎ8ÏtuigjMiÀ^V$\¦Ç?jaiy'¹^M\]\] yedgWVÁt3jMix^aujM y\o\]tW(y ¥Py_^dg jaz-MWig ¥Py_^dg jazP\( d]SPWndgjcjM
ʱ˹Ì=Î<ÏAË14>.3+FG5¢T^M\KvWW'jMtW(vH ±d]Su \sdxjAjM \s?^a\gW(v¡jMz&^az zdxW'zP\] jMz?^aigWtuigW(\gW'zp
dÀ^ad] jMz¡jM=dgSuW^a`udgjMV^dÀ^¦ SPW'ixW(^M\ʱ˹ÌÍÎ<Ï$tuigjMiÀ^V$\eW(Ú`u M^Wzuy(W}yxSuW(yxÛ zP¢T^M\
V^MvWW'bAdxW'zP\] jMz?^afAf¡W(W(vc zP jMd]SPWiwMWig ¥Py_^dg jaz¨dgjcja\( WM¦u¦È\l`PyxS¾^M\JI}ÏKL-0MÎND
/Î8ÍO1Ç?W'iÀM<5TjaiQPRS+.TT<Ï*U143+ZeZþV65N ¢s dgSJdgSPWÁW'bAdxW'zP\] jMz?^avuW\gyi] tud] jMz»jMTd]SPW
^a`udxjaV^adx^¦:WþA jM`P\lf dgSuW$\] %A(W-jMsdgSPW-WzuWiÀ^dxW(v d]iÀ^azu\] d] jMzJ\]fA\ldxWV-\ V- dx\þd]SPW
W'bAdxW'zP\] jMz?^aV-Wd]SPjcv\(¦
× z d]Su \-t?^atWi_ ¢TW&tuigjMt3jM\gWÆ^az£ zdgWzP\l jMz?^þjMi]V^a \lV ?^M\gWv jaz dgSPW¨^aWuix^a y
dgSPWjMigf jM<t3jMfzPjMVÁ ¹^a\jMieu \l V`¹^ad] jMzyxSuW(yxÛ zP-¢sSu yxSt3W'igW(y'dgf¥udx\edgSPW\]tu ig d
jMdgSPWwdxjAjM8ʱ˹Ì=Î<ÏA˯¦uRTSuWX t3jafzPjMVÁ ¹^a?^azPM`?^aWZYetuigj vuW(\sdgSuWKtuixjaiÀ^aVÁV$W'iT¢s dgS
^az¾ zdxW'igV-W(v ^adxWÁ¹^azuM`?^MW-dxj&vuW\gyi] W\]fVjM y^ajMi] dgSV$\ z^az¾ zdgWzP\l jMz?^
¢+^_f u¢s dgSPja`ud3jMd]SPWi] zP¢s dgS dgSuW¿`zPvuWi]f zu V-tWV-Wzdx^adg jMz¦
× zjM`ui V$jAvuW' BA(^adg jMz-^atutuigj^MyxS zu\]dxW(^MvjMÈy(jMzP\l vuW'ig zP}WãbcdgWzP\l jMzP^afÁ^a?tj\g\l uW
WW'zdx\wjMi¿^M W'zÆ\]dÀ^dxWyxS?^azuWM 3¢WvuWMWjMtJ^$jMigV$^a \]V ¢sSuWixWÁ^My'dg jMzP\KjMd]SPW
^a`udxjaV^adx^¿^aixWet3jMfzPjMVÁ ¹^a\( ad]SPW(\]Ww^a`udgjMV$^adÀ^K¢s P3Wny_^aWv¹©Pªr«'©¬'¯®©±°M²¹²Â¼w³°´'«'²«gµ
¶u¸]°M©¬'¹ªN¯®© º?¼:¬'ªr«'½}¬¤Ø1jMi£Å³ ¶º jMi \]SPjMi]dãÙã¦RTSPW(\]W t3jMfzPjMVÁ ¹^a\»^aigW ?^M\]W(v jMz
\gWMWix^aÈa^aig ^auW(\nØNjMzPWnjMi+W(^MyxS^adxjMVÁ yeWMWzdãÙ¢s dgSyjcWÁy W'zdx\+ z: c^My(yjMixv zP
dxjdgSuW¿jaj:¢s zP}W'zPy(jAv zu &P^az^adgjMVÁ ynjAjMW(^az WMWzdþy(^azW dgSPW'is3WÁ°´'¬:«'©Pª1 cd]SPWz
WzPyjcvuWv$f jMi¸À«À¬:«'©Pª±^azuv$W(Ú`?^dgj-ª1¸ãÄ?«' AWzPyjcvW(v$f jMi¸x«À¬:«'©Pª^zPv$WÚ`P^a
dxj8°M²¬:«' ±WzPyjcvW(v&f¦ÈRTSuW\gjM`udg jMzP\njM ^-tjMfzPjMVÁ ¹^^aixWyjMVÁt3j\]W(vW'W'zAdg\(¦
>R " zP^adg`uix^af¿t3j\]\gW\g\^az zdxW'igtuigWdx^adg jMz zdgWigV-\jM±y^M\g\l y(^a^a3W'WvdgiÀ^zP\] dg jaz
\]fA\]dgWV-\( u`ud¿dgSuWf&tWigVÁ dwdgj^:MjM vÆdgSuWd]iÀ^azu\] d] jMz¨W'zA`V$W'iÀ^ad] jMz¨jMzPW¢jM`uvJW'd
Af-vuW\gyi] u zPW'bAdgWzP\l jMz?^fÁW(^MyxS WMWzdn^azPvdgix^azP\l dg jMz¦jMigW(j:W'i_ d]SPW¿^aWuix^a y
dgSPWjMigf jatjMfzPjaV- ^a\-j'$3W'ix\ \] V-tWvuW'¥uzu dg jazP\jMi u°M¸]°M²¹²«'²ÃÀ®½?®:¬'¹ª1¯®©^azPv
«M«'©Pª A1µM¹©M c3jMd]Sy(jMV z?^adgjMix\+¢s vuWf$`P\]W(v dxjÁvuW(\l MzyjMV-tW'b\]fA\]dgWV-\(¦
RTSPW tP^at3W'i \jMig^azu %A(W(v^M\jMj:¢\@&
"
W(yd] jMzu\A¦X ^azPv c¦!+ zdgixjAv`PyWdgSPW zdgWzP\l jMz?^
V$jAvuW\w^azPvÆdgSuWÁyjMVu z?^adgjMix\¦Çu`uigd]SPWi¿jMzÈ " W(y'dg jaz"A¦~ È¢Wtuixjat3j\]WÁ^ WS?^_ jp
iÀ^aWÚ`u a^aWzPyWM Èy(^aW(v»¬'¼½Á´'®²Â¯Ã-´(¬'¹½Äc²Å°Mª1¯®© j:Wi¿ B>R " ¢s d]SJMjcjAvtuixjat3W'igdg W(\#
dþSP^M\KdgSPWyjMzPMi]`PWzuy(Wtuixjat3W'igdrf¡¢¿¦øi_¦ød_¦dgSPWyjMVu z?^adxjaix\Ø1\gWW-RTSuW(jMigWV VÙ'¦RTSu \
vuW¥uz dg jMz¨Wz?^uW\jMzuWdgjSP^azPvW-y'¹^M\]\] y\ldgigjMzP \] V`u^adg jMz zJ^az¨ zdgWzP\l jMz?^
\]drfW}ØN\gWWwRTSPWjMixW'V Ùã¦RTSuWz A zjaixvuW'iTdxjtuixjAy(WW(v$dgj\]fVjM ysWi] ¥Py(^adg jMz " Wy'p
dg jaz#c¦- zdgixjAv`PyW(\þ^-\]d] V$jMigW zdxWzu\] jaz?^a\gW'V^azd] y(\ejMin\]fA\]dgWV-\@&?t3jMfzPjMVÁ ¹^a
jMigV$^a \]V \WãbAdxWzuvuW(v$dgj¿vuW(\]yig 3WdgSuW¢sSujMW\]fA\ldxWV dgSP^ado \( ^au dx\=W(^adgiÀ^zP\] Åp
dg jazP\(¦?RTSPWixW\]`udg zuV-jAvuW\n^ixWy_^aW(v§ã©Pª «'©¬'¯®©±°M²±³°´'«'²«gµJ¶u¸]°M©¬'¹ª1¯®©¡º?¼:¬'ª «'½}¬
Ø ×
>R
"
Ù'¦
"
W(yd] jMz¾~¡W'bAtu^a zP\SPj:¢{dgSPWvWW'jMtW(v d]SPW(jaigf¨ \}y'`uigigWzdgf ^tutu W(v¨dxj
dgSPWs¹^zPM`?^MMWKʱ˹ÌÍÎ8Ï&dgSPWjMtud] jMzu\ ja3dgSuWeyjMVÁtu Witu`PWv¢s dgSÁdgSPW?^M\l ys¹`uzPyãp
dg jazP\þjMd]SPW}MWig ¥Py_^dg jazdxjAjMoʱ˹Ì=Î8ÏcË?14>.3+F<5=^aj:¢ `P\þdgj$t3W'igjMi]Vt3jMfzPjMVÁ ¹^a
S?^azPv zP-jMiwu \l V`¹^ad] jMzy(jMVÁtu`udx^adg jMz¦3Ç?jaiK¹^MyxÛ¡jM\]t?^MyWM È¢WixWW'iwdxj 1%$ho<5
jMisdgSPWwtuigjcja\svuWdx^a \(¦
& '.)( +*-,/. *10',2'N43 *)( 65878( ':9;(
RTSu \ \]W(yd] jMz zAd]ixjAv`PyW(\¹©Pª «'©¬'¯®©±°M²¹²Â¼ ²Å°´'«'²«gµ!ª1¸g°M©¬'¹ª1¯®© ¬'¼ ¬'ªr«'½}¬' u°M¸]°M²¹²«'²
ÃÀ®½?®:¬'¹ªN¯®©$^azPv·«M«'©Pª A1µM¹©M ^a\n¢W<^M\edgSPW¬'¼a½Á´'®²Â¯Ã´(¬'¹½ÄA²Å°MªN¯®©Á3W'S?^_A jMiÀ^
W(Ú`u a^aWzPyWM¦nRTSPWz ¹©Pªr«'©¬'¯®©±°M²K²Å°´'«'²«gµ ª1¸g°M©¬'¹ª1¯®© ¬'¼ ¬'ªr«'½}¬^aigWJtuigjMt3jM\gW(v ^a\^
V$jMigW zdxWzu\] jaz?^avuW(\]yi] tud] jMzjMiþ^a3W'Wvd]iÀ^azP\l d] jMz\]fA\]dgWV-\( 3^azPv&^az&^ajaig d]SuV
jMisdgSPW¿\lfAV}3jM yþ \] V`u^adg jMzyjMV-t`udÀ^ad] jMz \sM MWz¦
× zdgSPWejMj:¢s zPu a¢TWþ¢si] dgW +jMid]SPWn¥zu dgWe¥PW'v þ z$¢sSu yxS
^azPv
-jaiK^a :¦>Wd 3W^-¥uz dxW\gW'dKjM!v \ldg zuydeM^ig ¹^uW\e¦
WÁvuWzujMdxWÁAf"
! þØ1jMi "#$%& Ùwd]SPW-\]WdjM+tjMfzPjaV- ^a\nj MWiM^ig ¹^uW\
$%& ¢sSu yxS¨y(jAW Áy' Wzdg\¿ix^azPW}j MWi ¿¢s d]S&drftu y(^aWWV-Wzdx\('*) +ØNjMi,'
jMi\]SPjaigdãÙã -'#) (+%$Þ¦ W¿igW(y(^aÈd]S?^ad.)2 ! /01324+= \^ig zuu¦
57698 :$;
Ñ ;
<Õ ; Ò 1u Ñ Ñ Ö·: ;
<=< Õ ; Ò Ñ 5
>Ñ4? ;
<¹@<
Õ ;A8-6*BC:3;
Ñ ;
$<
Õ ; ÒED
u
Ñ Ñ
ÖGFT ;
<=<
Õ ;GH Ò
Ñ
5
B < D F
HJI$I qnz
LKlµM¹½$«'©¬'¯®©±°M²¹©Pª «'©¬'¯®©±°M²¹²Â¼+³°´'«'²«gµ$¶¸g°M©¬'¹ª1¯®©º?¼ ¬'ªr«'½NMg®¸OLKrų ¶ºP< \8^n\]d]ig`Pyãp
dg`uigW
Q
)SR* TUE+À c¢sSPWigW
V R \s\gW'dnja<\ldÀ^adgW(\(
V F \^Á\]WdejMJ a^aig ^auW(\!e ?^azPv
V
UXWEREY $Z Y[RÁ¦m ^ayxSdgix^azP\] dg jMz \¹^aWW(vfÁ^tjMfzPjMVÁ ¹^uj:W'iTdgSuWn\]Wd
¦
Ww¢sig dxW(\^]7_%`
acb
U \=d8ØNjMi\l VÁtufe\
]
U \@dÂÙ' zP\]dgW_^MvjM)/\f%'g) ,+h%\@di+jJUF¦
k
Wz ^ t3jafzPjMVÁ ¹^al'*) + Z N Æ¢TW^M\]\gjAy ^adxW{ dg\ \gW'd jM£\]jM`ud] jMzu\
mon@p )/'1+gW
<vuW¥uzuW(v5Afqr)/st#%s$u+e
(v
'*)/st%s$u+
¦=RTSuWz = B>R "
y_^az W£`uzPvuW'ix\]dgjcjAv ^M\ ^az;X zdxW'zP\] jMz?^aY¤igWtuigW(\gW'zdÀ^ad] jMz ja&y^M\g\l y_^^aWWv
dgiÀ^zP\] dg jaz\lfA\]dxW'V$\ ±¢sSuWixWdgSPW¿¹^3W'\^aigWd]`utuW\s z
&±W(^MyxS&^igixj:¢ ja<dgSuW B>R
"
¹^aWW(vJfw'g) ,+w zAdgWzP\l jMzP^af&ixWtixW(\]Wzdx\Á^M\V^azf»^aigigj:¢\}¹^aWW(v»fJ\gjMV-W
s
¢sSPWigW
s* mon@p )/'*)x+y+À¦ Wþy_^7zT|{#)SQ+<dgSPWny(jMi]ixW(\lt3jazPv zu X WãbcdgWzP\l jMzP^aEYs^aWWv
dgiÀ^zP\] dg jaz \]fA\]dgWV¦
j:¢¿ u d+ \+¢TjaigdgS¢sSu WwzPjMd] zPd]S?^ads z ! ¯ utjMfzPjaV- ^a\
l%
l&
Wa^a`P^adxWdxj A(W'ixju¦ÈRTSPWz¨jMiw^zAf}'g) ,+^ Z ¯ jMzPWjMiþ zP\ldÀ^azPyW}S?^M\ mn@p )/'1+
mon@p )/'G0~)/
Ay+y+À =`ud-^a\]ju mnp )S'+
mon@p ) '+
mon@p )/'(3+À W'dxya¦¦Å¦q Wi]f
z?^adg`iÀ^a?^P\]d]iÀ^My'dg jazÁ¢jM`uvÁWsdxj¿y(jazP\] vuWio >cR " V-jAv`ujn \gjaV$jMi]tuSu \]V ajM3y(jM`ix\gWa
u`udo^a\gjKV-jcvc`ujKp W(Ú`u a^aWzPyW+j:W'i¹^aW\( ¢sSPWigW'&'
¢sSPWzuWW'i mn@p )/'y+
mon@p )/'
+y ã¦
@ íê#tñ [ ¯ê`[(í÷òñ ëÈðõñ&Àî(ê]ð¹÷ñ [Àðë÷4[$uh$x
òñ/
h-
¢¡
?õ'÷1õe÷í
÷íêê]ë¹ï(õ'÷ðêðõ(ñë÷4[$ êCrî@[ Nð¹÷ê`[(íxë¹ê£
÷4[,r÷4[eêgëòñ¯ëðêoë¹ñríðë÷NðÈðê ï:êøôZ[(ê=÷íêCòñ/gë¹ñ ñ
ð êxíð (
Ç?jaigdg`z?^adxW'fM jMin^aMjMig dgSuVÁ ytu`ui]t3j\]W(\ L14n`udx <5\]Suj ¢W(vSPj:¢FdxjÁvuW'¥uzPW^`uz Ú`PW
ixWtixW(\]WzdÀ^dg MWjM3W(^MyxSeKp W(Ú`u M^Wzuy(Wsy^M\g\ y_^WvdgSPW}Ãg°M©3®©P¯Ãg°M² A«'©3«'¸]°Mª ®¸ã¦RTSu \
t3jMfzPjMVÁ ¹^a± \+d]SPW¿yxS?^aiÀ^aydxW'ig \]dg yK¹`uzPy'dg jazja mn@p )S'+^zPvS?^M\e^adsV-j\]dvuWMixWW A¦
DÑ ¾
5 6 > 5
M«'©»° ?®²Â¼a©3®½1°M²x'
Z TªP«$Ãg°M©3®©P¯Ãg°M²?A«'©3«'¸]°Mª ®¸
® "', ¬ÃÀ®½ÄAª °´(²«
5765 Ñ
c@<
Õ ; Õ±Ñ
<
D F H
RTSPWsy^M\g\jM± ¹R> " y(^az3W+tuigj:A vuW(v¢s dgSdgSuW+`P\]`?^?jMt3W'iÀ^ad] jMzu\=j:WieØ1W'bAdxW'zP\] jMz?^a¹Ù
dgiÀ^zP\] dg jaz \lfc\ldxW'V$\¦}qnV-jMzP dgSPW'V¡ ¿dgSuW u°M¸]°M²¹²«'²-ÃÀ®½?®:¬'¹ª1¯®© ^azPv dgSPW «M«'©Pª¬
A1µM¹©Kt¹^_f ^az VÁtjMigdx^azd+ixjMWþ z d]SPW¿y(jMVÁtuWãb\lfc\ldxW'V$\evuW(\l MzȦ
h<^aix^aWy(jMVÁt3jM\] d] jMz j MWi >cR " VÁt3jM\gW(\dgSPWyjMV-tP^adg u drfÆjMa^a`uW(\Wdr¢W(Wz
y(jMVÁV$jazWMWzdx\ejMdgSPWwyjMVÁt3j\]W(v\lfc\ldxW'V$\¦?ÇPigjMV dgSPWwWãbcdgWzP\l jMzP^at3ja zd+jM W'¢¿
þW¥uz dg jMz ~ \TdgSuWKy^M\g\l y_^¬'¼©3ÃA¸x®©3®Ä¬ u°M¸]°M²¹²«'²ÃÀ®½?®:¬'¹ª1¯®©^M\+vuW'¥uzPWv zU(?*@D
+.-/.-?ÏP Ê?˹ÌÍÎ8Ï»jMi 7 9:*,+./.-¹^azuM`?^MW\( u`ud-dgSPW zdxW'zP\] jMz?^an^attuixj^ayxS£^_jM vu\
^tP^aigdjM dgSPWtjMdxW'zdg ¹^y(jMV}u z?^dxjMi] ¹^a<W'bAtujM\] jaz¨dgj y(jMVÁtu`udgWd]SPW\]fzPyxSuigjMzu %A(W(v
dgiÀ^zP\] dg jazP\(¦
>Ñ4?
;
<¹@<Õ
; 6*B
u Ñ Õ Õ $<@<Õ ;
Õ < D F H I
>W'doQ
)/R1#O.%UEh+83Wn^az
rp >cR " ^azPv[Q
)SR
%U
+3We^az*
p¯ >R " ¢s dgSÁt3jM\g\] uWTy(jMVÁV$jazM^ig ¹^uW\
3W'dr¢TWWz
^azPv
¦RTSPW u°M¸]°M²¹²«'²ÃÀ®½?®:¬'¹ªN¯®©jMQ w^azPv Q
È¢si] dgdgWzQ v Q È \
)/R1uY}R
O UE+ ¢s dgS
)/\=%\
+ ] _ ` acb
] _ `
|b
U )S\
d
%\
d +
¢sSPW'ixWE' '
ò'ñ/
'
0l'
¢sSuWzPW'Wiq\@O]
_%`
acb
U &\
d
z Q
^zPv \
] _ `
|b
U
\@d
zQ
3TW(y(^a`P\gW z : q'! ' E$ )S'
#" '
r+x ·¢W S?^_W
mon@p )/'&$,'
+
mnp )/'&h+&% mnp )/'
+ a dW'zAdx^a \<dgSP^adZ)/'&$,'
+',' '&$)S'
' $+x¦
RTSPWigWjMigWM ut?^aix^aW3y(jMVÁt3jM\] d] jMzj MWie >cR " \sy(jMVÁV`udx^adg Ww^zPv¡^a\g\gjAy ^adg Wa¦
Ce vc zPWMWzdx\yjMzP\] \]dg\ z ^aP\ldgiÀ^aydg zP¡¹igjMV y(jMVÁtjMzPWzdg\}jMsd]SPW-^a3W'¦ × dSPWtP\
z$ zdxWi]z?^a BA zP¿\gjMV-Wey(jMVÁV`uzu y_^ad] jMzu\oWdr¢W(W'zdgSPWþy(jMVÁt3jM\gW(v-\]fA\]dgWV-\TdgSP^ads^aigW
zPjMdsixW'W'M^zAddgjÁjaP\gW'igW¿ z d]SPWw3W'S?^_A jMi_¦
>W'd' Z N ¢WT\lS?^a¢sig dgW|9' jaid]SPWot3jMfzPjMVÁ ¹^af'
v
a
$2r'
v
a 2r'
v
a '
¢sSPWigW'
v
a
\' jMudx^a zPWvf zP\ldÀ^azdg ^adg zPÁ^azf¡jAy(y'`uigigWzPyWjM=a^ai] ¹^aW.8f
M^`PW±¦RTSPW¡igW_^MvWiy(^az yxSPWyxÛ¤dgS?^d mnp )|'+} \$jaudÀ^a zPW(v¹ixjMV mn@p )S'+}f
vuWWdg zPJd]SPWp d]S y(jMVÁtjMzPWzd$jMw dg\$WWV-Wzdx\¡Ø1 d- \^¨tixjaklWydg jMz±Ùã¦qe\gjJ¢sSPWz
F \s\]jMV-W1t
3¢TW\] V-tuf-¢si] dgW
' jMi|
|'Á¦
qn\]j d \¡tj\]\] W»dgj¤vuW¥zPW^¤v`?^aM^ig ¹^uWJ^aP\ldgiÀ^aydg jMz j:W'i&t3jMfzPjMVÁ ¹^a\(
?^M\gWvFjMz `uzu Wig\x^aÚ`?^azd] ¥Py(^adxjMi@& ' \y(jMVÁtu`udgW(v ^M\ ' v
a
' v
a
' v
a
¢sS yxS¤\]jM`dg jazP\Á^aixWWWV-Wzdx\ÁjMþd]SPW jMigV )Sst%s
#%s ! %s$!+}\¦d(¦
7s =)/st%%s
%s %s ! %s$!+ mnp )S'+x¦<RTSu \^au\]dgix^Myd] jMz»¢s oW$yjMzP\] vuWigW(v
¹`uigd]SPWiejMz¦
>Ñ4?
;
<¹@<Õ
;#" 6*B%$
±Ñ
;
'& <NÖ <
;)( I
>Wd Q )SR*
TU +±W^z $p¯ >R " :^azPv
¦
W+vW¥uzPWdgSPW,)/ t+Np >cR " ) Q+*t/+3f )SR*+* tSfU-,/.
a10
+3¢sSPWigWu\@2 a
]
U ,/.
a30
\ %$L\=
]
U \ ¦
576 H Ò
¨
Õ
S<1-J<N$< @<
Õ ;
qþ\+¢W¿^a V dxjV$^azu tu`u¹^dxWnd]iÀ^azu\] d] jMz$\]fA\]dgWV-\s z^az zdgWzP\l jMz?^¢T^_f u¢WWãbAtu¹^a z
SPWigW-SPj:¢ dgSuW$y^M\g\l y(^a \]dgigjMzPu \l V`u^adg jMzÆy_^z»W-S?^azuvW zJdgSu \\]Wdgd] zP»ØN\]W(W
RTSPW(jMigWV Ùã¦RTSPWJvW¥uzu dg jMz \ \]dgigjMzPMf¤ zu\]tu ixW(v£¹ixjaV þW " V-jMzPW \\]fVjM y
u \l V`u^adg jMzj:MWiixW(^Myd] W^a`dxjMV$^adÀ^ 14KZeM'5N¦
× zjMixvWiTdgj}WKy(jMVÁt?^aigW(vÈ AWMWzdx\sjadr¢Tj} B>R " SP^:MWKdxj3W'jMzPdxj}d]SPWK\g^aV$Wn\]t?^ay(W
¦uRTSu \¢T^:fM ¢Ww\]`ututj\]WK¢s dgSujM`ud+jaj\]dTjMdgSuWKWzuWiÀ^ drfM Adr¢j >cR " S?^_WKd]SPW
\x^aV-WwWMWzdx\eM^ig ¹^uW\(¦
F4& ÑAÕ Ñ 5
6*B%H
Ò ¨ Õ S<176<N< @< Õ
;I
³8«'ªTQ
)SR# (U h+Æ°M©±µ Q
)/R
.U
+´'«ª98T®nų ¶º ¬'¼½Á´'®²Â¯Ã+´(¬'¹½Äc²Å°Mª1¯®©Á´'«'ª:8T«À«'©,Q +°M©±µQ
¬+°¿´(¹©±°M¸ã¼
¸À«'²Å°Mª1¯®©<; WERYLR
¬ ª \=/; \ 8 P«'©3«M«'¸
= _®¸°M²¹²|\=
]
U \=d
ªP«'¸x««%>¬'ª¹¬}°?o©P¹ª «K¬:«'ªs®wª1¸]°M©¬'¹ªN¯®©¬.)S\
] U \
+@BA CD8¹ª
V ) +£' +2FEG')
H8 A¯Ã¹½²Â¯«À¬ mn@p )/'1+oWJI
mnp )/'KS+T°M©±µ
V
\=d
; \
0_®¸°M²¹²ML T°M©±µ
N :¯ÃÀ« M«'¸À¬(°
W$SP^:MW$tuigj MW(v¾dgSuWy(jMzuMig`PW'zPy(Wd]SPW(jaixWV*jMidgSPW\lfV3ja yu \] V}`u¹^ad] jMzȦØN\]W(W
^atutWzPv ÅbuÙ'¦
F4& ÑAÕ Ñ
6*B
Õ Õ <¹@<Õ ; < Ò I
º?¼a½Á´'®²Â¯Ã£´(¬'¹½Äc²Å°Mª1¯®© ¬ ° ÃÀ®©M¸'ÄP«'©3ÃÀ«
8-¸ ª u°M¸]°M²¹²«'²8ÃÀ®½?®:¬'¹ª1¯®©Æ°M©±µ «M«'©Pª¹¬A1µM¹©
W\lSPj:¢ SPW'ixWd]S?^adw\lfAV}3jM yu \l V`u^adg jMz \w^az¨^dxW'igz?^dg MW W'¢ ja\ldgigjMzPu Åp
\] V}`u¹^ad] jMz¢sSPW'z¨ zdxWzu\] jaz?^a<V-jAvuW\K^aigWy(jMzu\] vWixWvȦÈq+dKd]Su \þ\]dÀ^aWM ±¢TW^M\]\]`uV-W
dgSPW+igW_^MvuW'i \<1^V- ¹^i¢s dgSd]SPWsy^M\g\jM8Ø1W'bAdxW'zP\] jMz?^a¹Ù¹^aWW(v}d]iÀ^azu\] d] jMz\]fA\]dgWV-\(
^M\s¢TW'^M\s¢s dgS dgSPW¿WÚ` a^aW'zPy(W¿jMo¬'ª1¸À®©´(¬'¹½ÄA²Å°Mª1¯®©P¦ Cnj:¢WMWi_ ?¢W¿igW(y(^a &
>Ñ4?
;
<¹@<Õ
; 6
u
8
< u
B%H
: Õ
;K(
J<N< @< Õ
;I
k MWz dr¢j dgiÀ^zP\] Åp
dg jaz\]fA\ldxWV-\¿Ø1^aWWv-j:MWi\gjaV$Wn\gWdwÙ{h
)SR#.UEh+^azPv {
)/R
.U
+x
^u \] V`u¹^dg jazK3W'dr¢TWWz{h^azPv({
\^su z?^igfKigW¹^dg jaz*WER4Y!R
\¦d(¦r)/\@%%\
+o
¢sSPWzPW'W'i
Ø]X Ù=jMiT^ae Ajai+^a?dgiÀ^zP\] dg jaz \=U \ d
d]SPWigWþW'bA \]dx\+^\]dx^adxW^\ d
\¦d(¦c\
U \ d
^azPv )/\=d %\@d
+ju ?^zPv
Ø Ù yWwWig\x^¦
" fV3ja yu \l V`u^adg jMz3W'dr¢TWWz B>R " y(jaigixW\]tjMzPvu\¿dxj \ldgixjazPu \l V`u^adg jMz¡Wdlp
¢TWWz¡d]SPW¿W'bAdxW'zP\] jMz?^a^aWWvdgix^azP\] dg jMz \]fA\]dgWV-\@&
F4& ÑAÕ Ñ 6
³8«'ª Q þ°M©±µ^Q
´'«eª98T®Å³ ¶º ¶SP«'©ªP«'¸x««%>¬'ª¹¬þ°¬'¼a½Á´'®²Â¯Ãþ´(¬'¹½ÄrK
²Å°MªN¯®©´'«'ª:8T«À«'©*QK°M©±µQ
ª P«'¸x«¿«%>¬'ª¬K°}¬'ªN¸x®©´(¬'¹½ÄA²Å°MªN¯®©´'«'ª:8T«À«'©gz(|{#)SQ%+
°M©±µ zT|{#) Q +
576" :$;
Ñ ;
<
Õ ; D
Ñ Ñ
ÖEFT ;
$<@<
Õ ; H Ò
Ñ
5
× zAdgWzP\l jMzP^as^attuixj^ayxS¾jMi¹^3W'\j'$3W'ix\^ Xry(jMVÁt?^My'd_Y¢T^_f»dxjdx^aÛJ^ajM`ud}\gW'dx\jM
dgiÀ^zP\] dg jazP\ z d]SPW\lfc\ldxW'V¡¦Cnj:¢WW'i_ +¢W¢jM`uv ÛW dxj»igW zjMixyWd]Su \V$W'dgSPjAv
z¨\]`PyxS¾^ ¢T^_f¨d]S?^ad¿dgSuWÁ¢sSPjaW\]fA\]dgWV ^azPvJzujMdjMzuf¡ dx\¿\]Wdx\jM¹^aW\( Èy(^az»W
dx\]W+vuW\gyi] W(v» zdxWzu\] jaz?^af¦ÇPjMi¿d]Su \¿tu`ui]t3j\]WM <^\]d]ig`Py'dg`uigW$j:W'i}d]SPW$\ldÀ^adgW(\ \
`uz?^_jM vP^auWM¦ WJtuigjMt3jM\gWJd]SPW»1^a igf¤\]dx^azPvP^ixv \]d]ig`Py'dg`uigW jMd]`utuW(\jai¡\ldÀ^adgW(\
¢sSPWigW}a^a`PW\eix^azPW\þj:W'iKjcjMW_^azu\Ø z¡jM`uiK\]Wd]dg zu- dV-W_^azu\na^a`uW(\ }^azPv" Ùã¦
RTSu \+ \ey'¹^M\]\] y_^af`P\gWv z \]fVjM yKWi] ¥Py(^adg jMz V$W'dgSPjAvu\¦
× zAd]`u d] MWfM cd]SPWw\gW'dnja8d]iÀ^azP\l d] jMzP\ ¢s 3WwM MWz f ^}t3jafzPjMVÁ ¹^a¯ ¢sSu yxSW'zPWix^p
BAW(\dgSuW >cR " ^attuixj^ayxS¦ qntutu y(^adg jMzP\ z " W(y'dg jMz~¢s \lSPj:¢5SPj:¢¾dgSu \jaigV$^a \]V
y_^az3WjMudÀ^ zPWvjMi¹ixWW ¹igjMV dgSuWixW(^aA\]fA\]dgWV-\<dxje3W y(jaV-t?^ixW(vV$jAv`uj\]fVjM y
ØNjMiWÚ` a^aW'zdgfM u\]d]ixjMzuÙu \l V`¹^ad] jMz¦
>Ñ4?
;
<¹@<Õ ; 6
qnzq)Jh+%KlµM¹½$«'©¬'¯®©±°M²È§'©Pªr«'©¬'¯®©±°M²³°´'«'²«gµ·¶u¸]°M©¬'¹ª1¯®©Jº?¼:¬'ª «'½
Mg®¸§g³ ¶º _®¸}¬P®¸'ªP \^\]dgi]`Pyd]`uixW m
)&w7*.*+e¢sSPW'ixW
%
^azPv
%fÁ^aigWdr¢j\gW'dx\Kja(M¯¬:®Äc¸xÃÀ«°M©±µ ª¯°M¸ A«'ªiPÁ¬'ª¯°Mª «À¬ °M¸ã1°´(²«À¬'
t$%&!¨ \^¾\gW'djM^aW\-M^ig ¹^uW\^azPv ) w g (+ \^ tjMfzPjaV- ^an z
w g ! vuW\gyi] u zPdgSPWwW(^adgix^azP\] dg jMzP\(¦
k
Wz \gjMV-W \gja`uixyW \]dÀ^dxW
) #yf+
^azPv \gjaV$W dÀ^aigWd \]dÀ^dxW
)
%
4+e
=dgSPW\]Wd mnp )e) .
+C+¿vuWzujMdxW\-^Td]SPWt3jM\g\] uW-¹^aW\
jMTd]iÀ^azP\l d] jMzP\K¹igjMV \ldÀ^adgW
dgj\ldÀ^adgW
¦ SPW'z \ldÀ^adgW(\^ixW W¢W(v»W'bAdxW'zP\] jMz?^af
¢TWixW'dgi] WMWdgSPW B>R
"
jMo z
"
W(yd] jMzc¦ÅX 3¢sS yxSÆ z&d]`uigz¨y_^z¨W zdgWigtixWdgW(vJ^M\¿^
y¹^a\g\] y_^a3¹^aWW(vdgix^azP\l dg jMz \]fA\ldxWV¦
j:¢¿ ^az^ajaig d]SuV jMi<y(jMVÁtu`ud] zPedgSPWMixW(^adxW\]d\ldgigjMzPþu \] V`u¹^dg jazWdr¢W(W'zdr¢Tj
× >R " y_^az-3WvuW\gyi] W(v$^M\jMj ¢\¦qþ\]\]`uV-WeM MWzÁdr¢Tj × >R " m ) .-h+
^azPv m ) (
+À¦
( Õ < &
XM¦nW¥uzPW¿dgSuW¿tjMfAzujMV- ^a
) +
c¦
A¦TjaV-tu`dxW! dxWix^adg W'f `uzdg F\ldÀ^au %A_^ad] jMz dgSPW!\gW(Ú`PW'zPy(W*jM tjMfzPjaV- ^a\
))
+y+
vW¥uzPWvf&
! #) +o \+dgSPW¿y_^zPjMzu y_^aMWzPW'iÀ^adgjMiejM8d]SPW.Kp y^M\g\sjM
) +
[) -3) + +2 )
) ,+ ) +C+
[)
) + +2
)-#) ,+ ) +C+
Ø]X:Ù
+^a) +odgSPWwigW(\]`d_¦
F4& ÑAÕ Ñ
86*B
F Ñ £<
;
=< Õ ; ; Ö Õ Ñ M
; Ñ _
I
¶SP«}°M²%A®¸'¹ªA½ ªr«'¸ã½¹©±°Mª «À¬
°M©±µ°Mªª P«K«'©±µ)
+
Á ªP«'¸À«þ«%>¬'ª¬n°}´(¬'¹½Äc²Å°Mª1¯®©<8 A¯Ã¸x«'²Å°Mªr«À¬+¬'ª¯°Mª «À¬
}°M©±µ
m=bAtuigW(\]\] jaz Xþy_^z3WeV^avuWn\l VÁtuW'i¢sSuWz vuW'dxWi]V- zu \ldg ye\lfA\]dxW'V$\+^aixWedxjWþyjMVp
t?^aixWvȦ8RTSu \} \d]SPWy(^M\gW$ z " Wyd] jMz5~c ¢sSPW'z5jM`uidgSPWjMigfÆ \}^atutu WvJdxjdgSPW-\]fzp
yxSuixjMzujM`P\n^azPM`P^MWʱ˹ÌÍÎ<ÏP¦ × zPvuWW(vÈ ? zdgS \y_^M\]Wd]SPWyjMVÁtu`udÀ^dg jazja y(^az¡W
t3W'igjMi]V$Wv^ay(y(jaixv zPdxjdgSPWwjMj:¢s zu^aMjMig dgSuV &
XM¦TjaV-tu`dxW=dgSuW^avV- \g\l uW=WMWzdx\¹ixjMV ^sM MWz\]dÀ^dxW z¿W(^MyxS\lfc\ldxW'VU&_jMi\lfA\]dxW'V
m À Py(jMVÁtu`udgW¿d]SPW¿y_^azujMzu y(^aW'zPWix^adxjMiejM T3)
O+jM
x)
x O(+/ 8
^zPv\l VÁ ^aigfy(jMVÁtu`udgW )
,+ jMi m ¦
A¦TjaV-tu`dxW dgSPW y_^azPjazu y(^a WzPW'iÀ^adgjMi
) + ja 1) T) (+
) ,+C+ <¦
" jM`ud] jMzu\sjM
^ixW¿t?^a ija=\]dx^adxW\1)
+¢sSu yxS^My(yWtudedgSPW\x^V$W¿¹^aW\sjMz
d]SPW ijM`ud]tu`uddgix^azP\] dg jMzP\( A ¦WM¦¢sS yxSS?^_W¿dgSPW¿\x^V$WÁ°µM½¬À¬'1´(²«WMWzdx\¦
~c¦ j:¢dgSuWaixW_^dxW(\ld za^aig ^azdS?^M\dxjÆWyjMVÁtu`udxWvȦ W dxW'iÀ^ad] MWf»y(jMVÁtu`udgW
tjMfAzujMV- ^a K`zAd] \ldÀ^a %A_^ad] jMz^M\sjMj:¢\@&
! ) + \+d]SPW¿y_^azPjazu y(^aW'zPWix^adxjMija8d]SPW.Kp y¹^a\g\jM
[) )x3) + ) (+C+
+2 )
+
Ø Ù
, *+(
RTSPW `P\]`P^aÆ\]fzPyxSuigjMzPjM`u\£tixjMix^aV-\ W'ig ¥uy_^ad] jMz tuix^Myd] yW{Ø1 z tP^aigd] y`¹^ai( d]SPW
Wi] ¥Py(^adg jMzÁjM8¬(°__«'ª1¼+tuigjMt3W'igd] W(\14C >Ze~65Ù=zuW(W(v\ d]SPWe`u\gWejM3t?^iÀ^aWy(jMVÁtj\] dg jaz
^azPvWW'zdSu vc zPÆjMtWix^adg jMzP\(¦ " zPyW d]SPW t?^aiÀ^W'sy(jaV-tj\] dg jMz¾ \Á\]fzPyxSuigjMzPjM`u\(
dgSPWwvuW\] ixW(vtuigjMtWigd] W\sjM8^tixjMix^aVÉy_^az WwW_^M\l f$^azPvV-jcvc`u¹^ai]fWãbctixW(\]\gWv¡f
V$W(^azP\Tja^az»®M´'¬:«'¸ M«'¸ã ¦WM¦c^azPjMd]SPWituixjaiÀ^aV ¢sSu yxS jMP\]WigMW(\+d]SPWnWS?^_ jai+jMÈd]SPW
¥uix\ld¿jMzPW^azPvÆvuWy vuW(\K¢sSPW'dgSPW'i¿ dK \Ky(jMi]ixWyd_¦ÈRTSPWz Èd]SPW\x^V$WjMi]V^ \lVy_^azÆW
`P\gWvdgjÁ\lt3Wy ¹f^azPv dxjMWig ¹f^y(jaV-tuW'b\]fA\]dgWV¦?RTSPWwWi] ¥Py(^adg jMzdgSuWzy(jMzP\l \ldx\
zyxSuW(yxÛ zPd]S?^ad dgSPWnt?^aiÀ^W'?y(jMVÁtj\] dg jaz-jaÈdgSPWedr¢Tj zdxWzu\] jaz?^a?dgix^azP\] dg jMz$\lfA\lp
dxWV-\+zPW'Wiey(^a`P\gW\ed]SPW¿jMP\]WigMWidxjyjMV-t¹^a z¦ × dsV$^_f$S?^tut3W'z dgS?^ads¢W+k `P\]dzPWW(v
^\]`P\gW'djMs\l Mz?^\@&Èd]SPW-tixjMtWi]drf¨dgjMWig ¹f¨y_^az WÁW'bAtuixW\g\]W(v¾¢s d]S»dgS \\]`uP\]Wd
Ø1jMi zP\ldÀ^azuy(WM dgSuWn za^ai] ¹^azPyWs`uzPvuW'isy(jMzd]ixjM±tuixjat3W'igdrfÙ'¦ × dTigW(Ú`u igW(\ dxj}\lt3Wy ¹fÁd]SPW
?^M\] yt?^aigd] y'`u¹^ai\]Wdg\ØNjaK\]dx^adxW\^azuv ajMidgix^azP\l dg jMzP\xÙ^azPv·dgj¨`u\gW¡W'W'zAd-Su vc zPu¦
WzPWW(v dxj¾V^ÛWdgS \S?^azuv zP¾W_^M\l f¤^_a^a ^auWM \gj5dgS?^adtixjMix^aV d]iÀ^azu\]jMilp
V^ad] jMzu\ÈixWV$^a z zAdgWi]z?^ac^azPvdgiÀ^zP\]t?^ixWzd( ¢sSu Wtj ¢Wi]¹`ucvuW(\]yig tudg jMz} \<^j:¢W(vȦ
qþ\&1^ai¨^M\&¢W·^ixW5y(jMzuy(Wi]zPW(v3
×
>cR
"
V-jAvuW\Æ^aixW5^attu W(v jMi&d]SPW¾Wi] ¥Py(^adg jMz
jM \]fA\ldxWV-\ vW(\gy'ig 3Wv z dgSPWÉW(Ú`?^ad] jMz?^5vP^adÀ^ pPj:¢ \]fzPyxSixjMzPja`P\ ¹^zPM`?^MMW
ʱ˹ÌÍÎ8Ï 143?>X#5_¦RTSu \¿^azPM`P^MW \w¢s vuWf`P\gWvJdgj\lt3Wy ¹f¨^azPvÆdxj VÁtuW'V$W'zAd
ixW_^aydg W \lfc\ldxW'V$\^M\ ¢W ^M\ dxj MWi] ¹f d]SPW i¾tuixjat3W'igdg W(\¦RTSPW'ixW£W'bA \ldx\^Fjad
ò'ñxñ êgï:ñ ò ÷4[ðõñöcý@uûë¹ñríñlë1õ3ë¹ê]î(ïêCðõ(ñ <û?<¹ù @ <=3û?<A@ <%[(íð¹÷øðîðñ
jM»Wãb^aV-tW(\¤`u\] zu{d]SPW ʱ˹ÌÍÎ<Ï{Wz ixjazuV$W'zd &^aV-jMzP d]SPWV ^ tuixjAv`Py'dg jMz
y(W 1q > k ¡Ze4<5N Æ^ tj:¢TW'i d]iÀ^azu\]jMi]V$W'i \ldÀ^ad] jMz y(jazAd]ixjMW'i;1>.3 ¡ZeV65N ¨^az
W'bAt3W'ig V$W'zAdT¢s dgSigW_^My'dg WwvP^adx^puj ¢£dx^M\]Û zu z^My'dg MWKixjMjMdA \] jMz 1Z) +FG5¯ ȦŦŦ
RTSPWwjMig M zP^aPV`udg p yjcyxÛvu^adÀ^pPj:¢ \]fzPyxSuigjMzPjM`P\s^azPM`?^aWʱ˹ÌÍÎ8ÏV$^azu tu`u¹^dxW(\
^¨\]Wd-jM¬'M©±°M²¬Z W(^MyxS¤\l Mz?^
vuWzPjadxW(\$^az`uz3jM`zPvuW(v \gWi] W\-jMndrft3Wv a^a`PW\
)
+
A ± zPvuWãbWvfd] V-W,{s z&^dg V$WvujMV$^a z $¦ \þ^t?^ai]dg y'`u¹^iea^a`PW¿¢sSu yxS
vuWzPjadxW(\ dgSuWJ^P\gW'zPy(WJjMd]SPWÆ\] Mz?^a¯¦ WÆy(^a$Ã'²®:à ·®
d]SPWÆ\gWdjM zP\ldÀ^azdg\{
¢sSPWz
\¡zPjMd¨^P\gW'zAd( þ ¦WM¦
¦wRT¢j \l MzP^a\¢s dgS d]SPW¾\x^V$W y'jAyxÛ ^aigW
y_^aW(v&¬'¼©3ÃA¸À®©3®Ä¬'¦±RTSPW«'¸ã©3«'²p ^azPM`P^MWʱ˹ÌÍÎ<Ï- \eP^M\gWv&jMz¡jM`iKjMtWix^adg jMzP\(
vuW¥uz zP tig VÁ d] MW£tixjAy(W(\]\gW\£fÉW(Ú`?^ad] jMzu\( ^zPv ^ t?^aix^aW yjMV-tj\l dg jMz dxj
y(jMV zPWwWÚ`P^adg jMzP\( ?^a\+¢TW'^M\e^\] Mz?^aÈS v zPdxj zdgWigzP^a %A(Wþd]SPWV¦
×
zjMigvuWi dxj\] V-tu ¹fdgSPWtuigW(\gW'zdÀ^ad] jMz ¢Wþ\lS?^aPigW(\ldgig yd dxj¿dgSPWjcjMW_^azÁ¹iÀ^aMV$W'zd
jMÊ?˹ÌÍÎ8ÏÆ^azPM`?^aW' dgS?^ad \}dgSPWdrftWvujaV^a z \1{M p jMi {㦠RTSPW
y(jMzP\ldgi]`PydgjMix\wjMd]SPW¹^zPM`?^MMW^aigW}W(Ú`?^dg jazP\wjMdgSuW}jMigV
"!! #$&%('
^M\s¢TW'^M\e^t?^aix^aW3y(jMVÁt3jM\] d] jMz^azPv^azWW'zdþSu v zP¦
) H
:@<1Æ Ò ;
& Õ ; Õ Õ Ñ Õ
)
+*
$$
,
+ \¿^$3jAjMW_^az&¹`uzuydg jMzÆjM
vP^adÀ^
+*
$$
,
^adW(^MyxS- zP\]dx^azd&{ã¦RTSu \= zP\]d]ig`Py'dg jMzixWÚ` ixW\ ^acixWW'igigW(vM^ig ¹^uW\
dxjS?^_W¿dgSPW¿\g^aV$Wwy'jAyxÛ±¦
)
>Ñ Ñ £<
;
<1@<1 Ñ ( Ñ£Õ
Ñ Õ ¢sig dgdgWz
-/.
0 132546
"7
S?^M\$d]SPW
M^`PWjM
-
¢sSuWz
-
\tuigW(\]Wzd_ AjMdgSuWig¢s \gW doS?^M\d]SPWea^a`PWjM
7
¦ × dx\ yjAyxÛ \od]SPW
`uzu jazja8d]SPj\gW¿jM
-
^azPv
7
¦
) H Ñ Ñ M=< Õ ; Õ Ñ Õ jM+d]SPW$jMi]V
-98:
;%=<
zuÛA\
¢s dgS
-
¢sSPWz¾d]SPW
3jAjMW(^az
<
S?^a\8a^a`uWj{M¦aRTSPWTigW(\l`ud<y_^azW+\]W(WzÁ^a\^þvuj:¢szp \x^aVÁtu zPejM±^þ\] Mz?^a
-
¦ARTSPWnyjAyxÛjM
\dgSPW zdgWix\]W(y'dg jazjMdgS?^adjM
-
^zPv-d]SPWn\]WdjMÈ zP\]dx^azdx\o¢sSPWz
3jAjMW(^az
<
S?^a\+M^`PWª1¸ãÄ?«'¦
)
> Ñ Ò ØN^$vfz?^aVÁ y}\]fzPyxSuigjMzPjM`P\¿jMtWix^adxjaiãÙ
<=>
-
a W\w^Myy(W(\]\wdxjdgSuW¹^M\ld
M^`PWjM3\] az?^a
< ¦
^azPv
<
S?^_WþWÚ`?^a±yjcyxÛA\(¦cRTSPWV$W'V$jaig BA' zPwja3¹^a\]doa^a`PW\¢s
M MWKiÀ^a \gWKdxjÁ\]dx^adxW\ØN\gWWWj:¢nÙ'¦
)
u Ñ Õ Õ <¹@<Õ ;
jMutuigjcyW(\]\gW(\= \zujMdxWv
v
^azuvy(jMzu\] \ldx\ z}d]SPWTyjMzMk `uzuydg jMz
jM8d]SPW¿W(Ú`?^ad] jMzu\Ø1\]fA\]dgWV-\ÀÙ! u ds \+d]SPWz¡^M\]\gjAy ¹^dg MW¿^azPvy(jMVÁV`udx^adg Wa¦
) H < (x; F& <NÖ <;)( *
Su vuW(\e^azfjAy(y'`uigigWzPyWja<\l Mz?^
u ds \+ zdxWi]z?^a BA(WvȦ