HAL Id: inria-00074293
https://hal.inria.fr/inria-00074293
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.
Expressing and Detecting Control Flow Properties of Distributed Computations
Vijay Garg, Alex Tomlinson, Eddy Fromentin, Michel Raynal
To cite this version:
Vijay Garg, Alex Tomlinson, Eddy Fromentin, Michel Raynal. Expressing and Detecting Control Flow Properties of Distributed Computations. [Research Report] RR-2384, INRIA. 1994. �inria-00074293�
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
Expressing and Detecting Control Flow Properties of Distributed Computations
Vijay K Garg, Alex Tomlinson, Eddy Fromentin, Michel Raynal
N˚ 2384
Octobre 1994
PROGRAMME 1
!#"!$% &'($)
*+,$ -$.0/1 2345/6$
798;:$<>=#?A@9<CBEDGF>HI1JLK>MONQPSR#JT8LUVWPSUFXHY[ZZ-=]\BEPSR#K>U_^E8LUF`FEHab8dcfegK>Jih1<>=_U<jJXF`F
klWmCnCl$o>pqprsutwvxl$yWz|{~}`rXyE}`l`rX_o>l$o rErXf__oCrX[|r|mCrrX|lrXrXo>|
r}x}XrprXj{L}`l{~rX
kQl`mCr}$vu|
[o>_mjl`}x|rl`rXyWzrl$yWzr6|CC>9t xyE}WmCl`rsC>1t sX9_o>njrX
(¡¢£X¤¥_¦>£C§
kl`mC-rl`}{~rXm>¨ij{L}`l{~}`rX©yEmCp}$o>}{mj_Gyo>0_rrE{~}`zrlmC0}`zrE{~ln>~mC_oi}$o>}WrXmClmC
}`zrE{~lyEmC|}`l`m>ª_m>«xf¬5®z|{¯1_o>-rloC|lWrX`rX9yEmC|}`l`m>ª_m>«lWmC_rl`}{rXf¬(°}²±_l$}6lWrXrS}E
o(³{~p|~r0Cr}_m>«rl¨d|~mCn´{¯y¨dmClrEl`rX`³{~nµnjrrl$oGl`mC-rl`}{~rXmj¶yEmjS}`lWm>iª_m>«xfgrr
oCqrX·Cr_yErXqm>¨[~myou}Eo>}`rX¬¸vxpmjnOmj}`zrll`mC-rl`}{~rX«rµyo>+rElWrX`1{~S¹>o>l{Lo>_yErC
rX·jr|}{Lo)l`mj_rl`}{~rX»º}`mµ`o>}{¯¼¨d#_y`zbo(l`mC-rl`}Oo(yEmC|}`l`m´ª_m «½p9_}p0o>}$yWz¶o0_o´}`¾
}`rlW'|rX`yEl{~_rX¿oC9oµ«mClE#mC'mCpqr5o~z_o>-r}Ào>_¸mC¾rX·jr|}{Loxl`mC-rl`}{~rX0º}WzrXr
l`mj_rl`}{~rXo>l`rmCµr¹Crl$oÁyEmjS}`lWm>ª_m «)o´}[}`zr6`o>pqr}{~pr>À$¬
vÂ|rXyEr|}`l$o {~ÃrX(|r}`rXyE}{mjµo~nCmCl{~}`zpĨdmCllWmC_rl`}{rX|rX`yEl{-rX(|9}`z|{L~mCn´{¯y®{L}`zr
l`rXrS}`rX¬©z|{Lo njmCl{~}`zpµl`l{¯¼{n´+³{~p|~rµ|rX|{~}`r0}`zr0_m>«rl6m>¨[}`zr9~mCn´{¯y>QmC¾
rlW¹CrX}`zr6_|rlj{~nj{¯}`l{~}`rXyEmCpq}$o>}{~mC|mSrXmj}uo~}`rl{~}$yEmC|}`l`m>ª_m>«xo>_
_rXprX`Wo>nCr}$o>n|G}Wm»yo´l`l`(|r}`rXyE}{~mC¾Ål`rELo>}`rXÆ{~|¨ÅmCl`po>}{mj¬
ÇÆÈSÉÊË9Ìg¤>Í¢C§Î_rz_o¹C{~mClEolWmC_rl`}CCj{L}`l{}WrXyEmCpq}$o>}{~mCCj{L}`l{}WrX|rnCn>{~n_
mC©}`zrª_(|r}`rXyE}{~mCyEmCS}Wl`m>ª_m>«x¬
ÏdÐ9Ñ
ÒÓÔXÕ
Ñ
ÒÖ×Ó¼ØTÙXÚ
Û¼ÜÝÞXßáà`âwã_äã å æçè;éEÝêÅëTè;ßLì à`âîíݼïXðWë ð`ßáñòXëÅßTè;çjóôñòXëÅßTè;ç íõóöݳ÷Lø[ðèúù~û;üéEèýðìEó
ðù;ÝïßþÿÞfè;çXÝÝ
ÝòXßÅÝïXðWëÝò
ÛÛ ñ åÄäðWøÞXòëXÝ_Ý`ðWòùúè;ÝòCóãã
ÝXÝï½åñ iäã óݳ÷Lø[ðèúù~û;ü³âêÅàEøÝçßTè~ó
êðìç>ðù~þ`ÿè;êTè;ë¼ð!â~ê
/ !$ ½qAG²x²!$
/A)®/6$ [ i$
È¢ÈO§
rX(l`mjl{r} rXúr¸rE)rXyE}{~mClr_o>l`}{~r#_r¹Cr|}r}`l`r#rEl{~p rrX(l#rX r}$o>}$
n>~mC_o´|'mC+|{~rÂlrX1ª_mC}E|rOyEmC|}`lm´rC¬mC_qmC_1{~S}rl`rX`mC_9o>_yEr(lEo>_mClW}
o>|l`mjl{r} rXxl~rX²ª_mC}$|r0yEmCS}Wlm>~rC¬o>_l`rp»{rl9}`rpq_rX}lrXrS}rr6r
~mCn>{L·jru¼{pq|r²º¼·Cm´{¯·jr[|{L``o´S}`r>À_rl`pqr}`}$o>|}ÁrEl{~prl|rXl`mjl{r} rXl~rXª_mC}E
|rµyEmC|}`lm´r(¹|_9yEmCpprµ|rX9|rX·Cr_yErXq¼r}$o´}$~myo>|¬v+pm>Cr+|rµyEr}`}`rqmjn>{L·CrC
mC_-mC¹CmC_mj}$o>ppr|}rEl{~prl6|rXlWmCl{r} rX}`rE~rX{~|¹ o>l{Lo>_yErC ~rXl`mCl{r}rX
|rX·Cr|}{~rE~rX9º0ª_mC}|ryEmjS}`lm>~r`o>}{¯¼¨ o{~}[r9l`mjl{r} ru|rX·Cr|}{~rE~r»¼{ir}ur|rpqrS}
³{{[_r}r}Wl`rp9{L1r yEmjl`l`rX-mC_o>_yEr(oX¹jrXybpmC}{¨xrXyEl{}yEmCpqprbpmC}9l6
o~z_o>-r}Àir}Q~rXl`mCl{r} rXmC|rX·jrS}{~rE~rXº¼yErXl`mCl{r}rXrxyEmC_³{Lrl`rS}_ojG·jú
r|ª_mC}[|ryEmjS}`lm>~r6o>(prpqr{_}$o>|}À$¬
[mC_lrXr|}`mC_r_|{~}`rq]o~nCmCl{~}`zpqr»rXyErS}Wl$o{LSr9_rlWpr}`}$o>|}Lo(Gr}`rXyE}{mj¶|r
}`mj}`r6l`mjl{r} rurXyEl{~}`ro>©pm>CrO|r9yEr}`}`r²mjn>{L·CrC¬! Gr}o~nCmCl{}WzprC_|{~r·jr³{~p|~r
r+Gr|{~}|r(`o0|{L``o´_yErµúrElWrX`³{~mCmC_rl`¹jr9úrE)rXyE}{~mClr_o>l`}{~rmC_¾oCyEr|}`rr
r+lrXrl`¹>o>S}²~rX1ª_mC}$9|rµyEmC|}`lm>~r©ºÅ~rX²{|¨ÅmCl`p0o>}{~mC_9rXyErX``o{~l`roƯo¸Gr}`rXyE}{~mC+mC|}
}`lEo>_p9{LrX[o´_~rXprX``o>njrX)|r²;o>|{Lyo>}{~mCÀ$¬
" Ì-£X¢Ê`¦#$ȧ,l`mjl{ r}ryEmCp-mCl`}`rpr|}$o~rCrE)rXyE}{~mC+lr_o>l`}{~rCGr¹Crl`p»{_o´nCr5|r(lWmC¾
nClEo>pprXlr_o>l`}{¯fS|r}`rXyE}{~mC#o>µ¹jm>Cª_mj}$[|ryEmjS}`lm>~rC¬
, -
x10/$²
GmjS}`lEo>l`µ}Wm(pm|rE[y`zrXy/.j{n-«[z|{LyWz]«mCl.o>}10yEmjp|{r¾Å}{pqr2#mC#l`rl`rXr|}$o>}{mj_m>¨
o_m|`³{~|~rrErXyE}{~mC_®m>¨ioj{L}Wl{~}`rX0l`mCnClEo>p43ú65jl`¾Å}{~pr|r}`rXyE}{~mC(m>¨l`mj_rl`}{~rX
m>¨j{¯}`l{~}`rXbrErXyE}{~mC_1{L9yEmC_yErl`rXb|]oµ³{~n>~r(}9l`rXorErXyE}{mj¬G«mµyWLoC`rX
m>¨78*9:;<= *+ )z_o¹Cr-rrµ{L|r|}{±_rX?>mCrX}`z_o>}xo>lWrmCµn>~mC_o Á}$o>}WrX[o>_(mjrX
}`z_o´}6o>l`r9mCyEmC|}`l`m>ª_m>«xm´¨®o0j{¯}`l{~}`rX¸rErXyE}{~mC¬°#}`zr9±_lE}uyojrCn>~mC_o)}Eo>}`rX
z_o¹Cr9}`m(-ryEmCp}`rX¬° ¨)}`zrql`mC_rlW}¼Æ{L}$o>|~r(ºmj_yEr}Wl`r1{}1l`rpo{~_}`lWr6¨ÅmCl`r¹jrlÀ$
o0_o>_zmj}xo~nCmCl{~}`zp yo>µ-r6_rXÆ}`m|r}`rXyE}{~}<3;65¬@ zrµ}Wzr6l`mC-rl`}{LmC}x}Eo>|~rC
o}`zrn>~mC_o}$o>}`rXfS}Wzl`mCnCz(«[z|{LyWzµ}`zr6yEmjp}$o>}{~mCµyEmj|¯©z_o¹Cr_oCWrXz_o¹Cr}`m9_r
yEmC_¼{¯|rlWrX¬®zrXrx}$o´}`rXyEmC_}{~}`}WrxoLo>}`}{¯yErA3~s>_sBC5EDCom|rxm´¨g}`zrLo>}W}{LyErxl`rlWrXrS}Eo
-mS`³{~|~rn>~mC_o}$o>}`rm>¨}`zrxj{L}`l{}WrXyEmCpq}$o>}{~mCo´_o>rX|nCrl`rl`rXr|}$Go´r¹Cr|}
}`z_o´}xy`z_o´nCrX[}Wzrn>~mC_oG}$o>}`rm>¨G}`zr6yEmjp}$o>}{~mC¬ v½nCrrl$oipqr}`zmÆ}`m|r}`rXyE}_yWz
_}Eo>|~rl`mj_rl`}{~rX9yEmC_³{L}E{~]|{Lj{~n}`zr9Lo>}W}{LyEr5oCWmyW{Lo>}WrX#«{~}`z}`zr0j{¯}`l{~}`rX
rErXyE}{~mC(3FBHGI5io>_(}Wzrµ{~©}`l$o¹Crl$³{~n9{~}}`m0|r}`rXyE}x}Wzr6l`mC-rl`}J3sX65KD}`z|{Lxyo´µ_r
|mCr9mC©}`zr1ª_(S©|{~_rE{~|{-n#}`zryEmC_}`l`_yE}{~mCo>_Æ}`zr9}`l$o¹Crl$`o m´¨G}`zrLo>}`}{¯yErq«{~}`z
}`zrrErXyE}{~mC¬|zr[_oC¼{¯yl`mC|~rp «{~}`z}`zrx|r}WrXyE}{~mCm>¨nCrrl$oº_}$o>|~r>Àil`mj_rl`}{~rX
mC0n>~mC_oi}Eo>}`rX{L}Wz_o>}}`zru¼{Ãrm´¨ }Wzr¯o´}`}{LyEr6yo>0_rrE_mCr|}{Lo«{~}`z(l`rX-rXyE}}`m9}`zr
|p9_rlm>¨lWmyErX`rX!3~s>CsCB65¬Lm>«)r¹jrl_¨ÅmClimCprG-rXyW{±gyl`mj_rl`}{~rXmCn´mj_o}$o´}`rX_yWz
oC1yEmC>_yE}{~mC+m>¨G~myo[l`rXj{Lyo>}`rXM3;C5l`rELo>}{~mC_on>~mC_o)lWrXj{¯yo´}`rJ3¯sGC5GmCl²{r¹j{~}$o>|~r
n>~mC_o Á}$o>}WrX3ONC_C5}`zrLo>}`}{¯yEr9yEmC_}`lW_yE}{~mC({LmC}rXyErX``o>l`C¬
zrrXyE}m>¨G}`z|{L_o>_rl²{L}`zrrXyEmC_#yWLoC`m>¨l`mC_rlW}{~rX_o>prE~µ}WzrmjrXmC
yEmC|}`l`m´ª_m>«xm>¨)oj{L}Wl{~}`rXyEmCp}Eo>}{~mC¬vyEmC|}`l`m´ª_m>« {LorX·jr_yErm´¨)yo>_`o~
l`rELo>}WrX0r¹CrS}El`m|_yErX0S0o6j{L}`l{~}`rX(yEmjp}$o>}{~mC0mClXjrX·C|{~¹>o~rS}~C-}`zrrX·Cr_yEr
m>¨~myog}$o´}`rXl`m|_yErX1S}`zrXr)r¹jrS}$f¬°}{L {pq_mCl`}Eo>S}}`mmC}`r}`z_o>}XX|r}`mprX``o>njrX
rE_y`z_o´nCrX_yEmC|}`l`m´gª_m>«x¹j{L³{~}xl`myErX`rXfSpqrl`nCr6o>_q¨ÅmCl.¬zr6r}[m>¨oÁyEmC|}`l`m>-ª_m «
yo>0rXoC³{~-ru|r}`rlWp9{~rXq¨dl`mjp o>pq_mCl`} ;_o>l`}{LomCl$|rll`rELo>}{~mC0mCr¹jrS}$Qm>¨io6j{L}`l{¾
}`rXbyEmCp}Eo>}{~mC(3~sXC5[º³__o~¶yo ~rXQP*RTS/U mCl8 "RCHÀ$¬[r
m>¨[}`zr»±_l$}6lWmC_mSWo)}`m(rEl`rX`1l`mj_rl`}{~rX²mC]yEmC|}`l`m>ª_m>«x²«[oC{~S}`lWm|_yErX¸{~V3~s65
_|rl}Wzr_o>prW"O*X6RYR ¬-{~*.CrXblWrXj{¯yo´}`rX9|rX`yEl{~_rµo©yo>_`o[rX·Cr_yEr0m>¨
~myoÁ}$o´}`rX«[zrl`rrXoCyWzµ}$o>}Wr[{~(}`zr6rX·jr_yErWo>}{L³±_rX[o9-rXyW{±gy²~myol`rXj{Lyo>}`rC¬zr
-rz_oX¹j{~mClW0o>#myyEl`l`r_yEr0m>¨G~myo)l`rXj{Lyo>}Wr[Z#{L6yo´_`o~#¨dm´~m>«rX#|Oo>myyEl`l`r_yEr
m>¨~myo il`rXj{Lyo>}`r<\]2{¯o>(rE_o>p|~r6m´¨Qo²{~*.CrX©l`rXj{Lyo>}`rC¬-v[~nCmCl{}Wzp¨ÅmCl{~*.CrX©l`r¾
j{Lyo>}`rXo>_rXo>l{~T3;|sCsC-s5¬jvnCrrl$o{~ÃXo>}{~mC(m´¨{*.jrX(l`rXj{Lyo>}`rX®}`mo1l`mSoj|rl®yWLoCW
yo~rX^& ;< R_C8CH UAR 6z_oj6-rr'l`mj_mSrX¸{~^3~sjsR5³¬°+}Wz|{¯qyW¯oj`myE¾
yEl`lWr_yErXm>¨~myol`rXj{Lyo>}`rX[yo>0_r¨ÅmCl`|{L|rµ-r}¼«rr(oC`oCyErS}l`rXj{Lyo>}WrX{~0{~*.CrX
l`rXj{Lyo>}WrX¬[zrµrE_o>p|~r©n>{~¹Cro>_m>¹Cr0¨ÅmCl9{~*.CrX l`rXj{Lyo>}WrXyEmC|L¿_r#rE_o>_|rX¿}`m
{~_yW~_|r>)0\²¨Åm>~m «`Zµo>_a6r¹jrl[myyElE{~µ-r}«)rrH25ºmC}`r}`z_o´}!ZF\|o>_Wa9yEmC|L©o
myyEl{~+j{rl`r|}6lWmyErX`rXEÀ$¬©mCl`r9nCrrl$o 7:8"O CR «)rlWr6{~|}`l`m|_yErX#{~ 365ED
o9lWmC_rl`}9{L}Wzrµ_rXyW{±_rX(|(o6lWrnC|Lo>l[rEl`rX`³{~mC(m>¨myoilWrXj{¯yo´}`rX¬ mClrE o>pq|r
ZH\]a{L}`l`r{~(o6yEmCpq}$o>}{~mC9{¨i}Wzrl`r[rE|{¯}$o6rX·jr_yErxm´¨g~myo }$o>}`rX®º! #"$#%!"#&!&!&'"$)( À
_yWz+}`z_o>}Zb{L9}Wl`r0{~*! >!\5{¯q}`l`rq{~+#%,"!&!&#&-"$(. 0o>_(aÆ{¯»}`l`r0{~*)(¬[mC}Wr(}`z_o>}
}`zr(}$o´}`rX{~]}`zr(rX·jr_yErrrXbmj}6_rE~mCn#}`m©}`zr`o´prl`myErX`¬rnC|Lo>l9_o>}`}`rlW_
o>lWr1 _8H"-«[z|{Ly`zpqrXo>_}`z_o>}}`zryo>#_rrEl`rX`rXoCo(r}m>¨)«mClE[mCmjpr
o~z_o>-r}ºrE~rpr|}$m>¨G}Wzr»o z_o´_r}o´l`r~myoGl`rXj{Lyo>}`rX²«[z|{Ly`z#p9_}_r`o´}{L³±_rX©S
~myoQ}$o>}`rXEÀE¬
z|{L[_o>-rl{~S}Wl`m|_yErXo9³{~p|~r9}[-m «rl¨Å|~mCn>{Ly²}`z_o>}[yo>µrEl`rX`®nCrrl$oilWmC¾
-rl`}{~rXmCOyEmjS}`lWm>ª_m>«xm>¨«[z|{LyWz¶rX·Cr|}{Lol`mC_rlW}{~rXo>l`r6o0_rXyW{LoGyoCrC¬-v Lo>_rE~rX
-mSr}m>¨~myoQ}$o>}`rX®{L[_rX©}`m0pm|rEQo0j{L}`l{~}`rX¸yEmCp}$o>}{mj¬0/oCy`z#}$o>}Wr{~#}`zr
-mSr}z_oCor}m>¨Lo>-rE¯Q«[z|{Ly`zql`rl`rXr|}_m|m>~rXo>rEl`rX`³{~mC_º myo_l`rXj{Lyo>}WrXEÀ«[z|{Ly`z
o>lWr[}`l`r{~0}`z_o>}G}Eo>}`rC¬>°0}`z|{Lpqm|rE}`zr[n>~mC_o_oC}m>¨ o>|1~myo}$o>}Wr1¨ÅmCl`p0oLo>_r¾
~rX0j{lWrXyE}`rXojyEyW{LynCl$o>z_yWz}`z_o´}2{¯ol`m|mC}{~}`zrnCl$o>z¬6@ryog}`zrXr}`l`_yE}`lWrX
[v43qºÅLo>_rE~rX+lWmSmC}WrX [v53uEÀ$¬ mCl`p9|LoC{~+}`zrq~mCn>{Ly0rEl`rX`1l`mC-rl`}{~rX1m>¨ ¾
v43uf¬_z|_xo1¨ÅmCl`p9|Lo0yo>µ-r6}`zmCnjzS}[m´¨)oC[oq_m|m>~rXo>©¨d_yE}{~mC©«[zmSr9o>l`nCpqrS}{L
o> v43¬©mCl`rm>¹Crl{~o1Lo>_rE~rX©_m|r}[}`zrl`r²{Lxo9mjr}`mmCr1l`rELo>}{~mC_z|{~#_r}«rr
}Eo>}`rXo>_ v43u-}`z|_[«r9yo>oLm}Wz|{*.©m>¨®o»¨ÅmCl`p9|LooCoq_m|m>~rXo>#¨Å_yE}{~mC#mC
~myoQ}$o>}`rX¬
zr(_o>_rl0oLml`rXr|}$9o|rXyEr|}`l$o{~ÃrXCr}l`l{L³{~n>~ ¼{pq|rCo~nCmCl{}Wzp }`m
|r}`rXyE}}`zr®¨dmClWp|LoCQrElWrX`rXq«{~}`z}`z|{LQ~mCn>{Ly6DSm1}`z|{L|r}`rXyE}{~mC(o~nCmCl{~}`zpÄ{_yW~_|rX[oj
-rXyW{Lo®yoCrX[}`zr9mCrX|rXWyEl{~_rX©{~ 3~sfsCsC65¬-zr|r}`rXyE}{~mC]o~nCmjl{~}`zp,{L1_rl{~p¾
-mSrX(mj(}`zrj{L}`l{}WrXOyEmjp}$o>}{~mC¬|°³}[{L_oC`³{~¹Cr{~µ}Wzrr_r{~}yo>(mC|~(mC_rlW¹Cr
}`zryEmCpq}$o>}{~mCbºÅ{~}yo>#rE{}Wzrl{~|{~}{Lo>}`rmCl{~z|{~|{}9}`zr9r_j{~nµmCll`rXyErE{~¹j{n#m>¨GpqrX¾
`o´nCrXmCl)o }Wrl}`zrxyEmC|}`l`m>|ª_m>«+m>¨g}Wzr[mC_rl`¹jrXyEmjp}$o>}{~mCÀE¬Czr[prpmjl`o>_»}{~pr
m>¹Crl`zrXojm>¨}`zr|r}`rXyE}{~mC(o~nCmCl{}Wzp{Lo¨Å_yE}{~mC(m>¨}`zr¨ÅmCl`p9|Lo_rE{~n|r}WrXyE}`rXo>_
mC}m>¨Á}WzrSp9_rlm>¨l`myErX`rX¬_||{LyoC-}`z|{Lm ¹jrl`zrXoCq{L[·j|{}Wr~m>«6¬
zr_o´_rl1{Lj{~¹j{L|rX¸{|}`m©¨ÅmCl6po {76CrXyE}{~mC_¬86CrXyE}{~mC'(lWrXrS}E}`zr0pm|rE)m>¨
j{L}`l{}WrX'rErXyE}{~mC_¬96CrXyE}{~mC ©{~S}`lWm|_yErX0}`zr [v53,~mCn>{Ly(}WmrElWrX`9nCrrl$o
l`mj_rl`}{~rX0mC yEmC|}`l`m>ª_m>«x¬:6CrXyE}{mj bl`rXr|}$0mCpr(_rXm>¨6}Wz|{¯»~mCn>{Ly>¬96CrXyE}{~mC^B
l`rXrS}$oq|rXyErS}`lEo{ÃrXbo~nCmCl{}Wzp }`z_o´}x|r}`rXyE}$l`mj_rl`}{~rXrEl`rX`rX#oC®¨ÅmCl`p9|LoCm>¨
}`z|{L®~mCn>{Ly>¬
1!O*+,$ -$.0/1 /1i$²
v j{¯}`l{~}`rX#l`mjnCl$o>pAyEmC_³{L}$m´¨! l`myErX`rX1º¼|rmC}WrX#" ,"$" %#"&%&%%-"$"('À«[z|{Ly`zbyo>
yEmCpqp|{Lyo>}Wr[«{~}`z0rXoCy`z9mC}WzrlGmC|~9¹C{Lo²prX``o>njrX¬>°}Q{¯oC`pqrX9}`z_o>}prXW`o>nCrXyo>mj}
-r9¨dmjl`nCrX0t }`z_o´}{L-{¨)l`myErX`)" l`rXyErE{~¹CrX1oprXW`o>nCr1}`z_o>}o>_rXo>lE[}`m0_rr|}¨Ål`mCp
}Eo>}`r ²{~OlWmyErX`*" %>}`zr#" %j{L#r_©}`z_o>}[prXW`o>nCr¨Ål`mCp }$o>}`r j¬*@roj`pr1}`z_o>}
{~|¨ÅmCl`po>}{mj5yo>0_r|{~nCnC|_oCy/.CrXmjprX``o´nCrX¬ ©rX`Wo>nCrxyWz_o>rELrrX0mC}G-rxl`rE{Lo>|~r
mCl °Q6¬
+ ,-.,/0120354672
/oCy`z lWmyErX`f8"9'yEmC_¼{¯}$ m>¨o rX·jr_yEr m>¨Î{|}`rl~rXo¹CrX2}$o>}`rX o>_ r¹Cr|}$>
º;:
9
"$<
9
"
9
"$<
%
9
"$
%
9
%&%&%À$¬-°|{~}{Lo~C1" 9 {L{b}$o>}`r =:
9 ¬ /¹Cr|}><&?
9
}`l$o>_³¨ÅmCl`p0[}$o>}Wr
?
.
9
{~S}Wm
}Eo>}`r ?9 ¬º¼zlWmCnCzmC}9}`zr(_o>-rl«r(_r#@}Wmµ{~_|rE l`myErXWrXGo>_BAb}Wmµ{~_|rEr¾
·jr_yErXm>¨Á}$o>}`rX¬&@r_r ?
9
}`m9|rmC}`ro9_rXyW{±gy6}$o>}`rxo´}®o1_rXyW{±gy²l`myErXWo>_ ²}`m
|rmC}Wr6mC¾-rXyW{±gy}$o>}`rX¬À
r}*CO-rx}`zrr}m>¨i}$o´}`rXm>¨io}`zr[lWmyErX`rX¬-º¼zr}`rl`p 0f}$o>}`r2o «[ol`rE¨Årl$}`m
o»~myo)}$o>}`r1m>¨Qo(¼{n´r9l`myErX`EÀE¬H@roCWpr6}Wz_o>} ;D
9FE
;G
H {¨®o>_ÆmC|~({¨JI ELK
o>_
@
ENM
¬@r6|rE±_r6}«m9l`rELo>}{~mC_mCOCNPOC+oC¨Åm>m>«x+>
Q
"O "&R Ql`rELo>}{~mC >R
D9 R G
HLSUT
@
EVMWXKE IZY s
Q
;< R&R &l`rELo>}{~mC >\[
D9 [ G
H]SUT
< D9
{¯}`zr6r_j{~n(m>¨prX``o>njr>^Ao>_0< GH
{L}`zr1l`rXyEr}{~mCµm´¨_^
zr6}`|~r0`6ba
E
ºcC2"&R4"[ÎÀpm|rELoj{L}Wl{~}`rXyEmCp}Eo>}{~mC¬_zrMR&8 "" 9
R& lWrE¯o´}{~mCed {¯©|rE±_rX oj0}`zr}`l$o´_³{~}{~¹Cr]yW~mSl`rbm>¨fR]g#[½¬x®z|{¯Æl`rELo>}{~mC {L
o´p_mClW} ;l`rELo>}{~mC 3~sXC5o>|{rXÆ}`m}$o>}WrX¬zr6r}m>¨Á}Eo>}`rXhC#{L_o>l`}{Lo~(mCl$|rlWrX0S
d ¬>vx|9rErXyE}{~mC0m>¨o>Sj{L}`l{}WrXl`mjnCl$o>p½yo>-rxpm|rE~rX|o²_o>l`}{Lo~mClE|rl`rX
r}m>¨i~myoÁ}Eo>}`rX¬
{njl`rµszm «6o(j{L}`l{~}`rXbrErXyE}{~mC+o>_ {njl`rµzm «}`zrlWrX|~}{~n¶}$o>}`r
-mSr}X¬|°(}WzrXr±_nCl`rX||LoCy/.5yW{~l$yW~rXo>l`rr¹Cr|}$o>_«z|{}Wr6`·C_o´l`rXo>l`r}$o>}`rXf¬Cvl`l`m>«x
l`rlWrXrS}prX`Wo>nCrXQ{~ {~nCl`r0sC|«[z|{r9}`zr0l`rl`rXrS}[}Wzr6l`rELo>}{~mCF[ {~ {~nCl`r9¬
=: %
< < %
<
=:
%
%
< %
<
%
=:
%
< < %
<
< %% %%
<
%
{~nCl`rs&>v j{L}Wl{~}`rX©rErXyE}{~mC `6
: %
:% %
: %
%%
%
{njl`r6*> 6C}$o´}`rx-mSr}
* .2f31 2.# 72
Gmj_³{L|rlG}`zrx_mSr}¨ÅmCl`pqrX6|6}Eo6.C{~n9o~myo }Eo>}`r OCOo´_o ~myo }$o>}`rX«[z|{Ly`z
yo>_Wo©l`rXyErX|r C¬z|{Lx_mSr}gyo~rX#}`zr_oj}6º³l`rE±OyW~mSl`r>Àm>¨2o´_µ|rmC}`rX
º´À¨ÅmCl`poql`mSmj}`rXµj{~l`rXyE}`rX#oCyEyW{Ly9nCl$o>z¸º v436ÀG«zmSr6lWmSmC}®{¯4qºÅ{~#}`z|{L v43
rX|nCrXo>l`r6j{~l`rXyE}WrX(}`m>«[o>l$}`zrl`m|mC}À>
º´Àa
E
`6 l`rX}`l{LyE}`rX(}Wm hg d
r}v-r»o0r}m>¨Lo>-rEL6o>_Æ~r}µ_r0o9¨Å_yE}{~mC©¨dlWmCp C+}`m(¬g®zrOrXojy`z©~myo
}Eo>}`r 0z_oC9o#r}1m>¨¯o´_rELºÀ6oCWmyW{Lo>}WrX«{~}`z¸{~}X¬zrXrqLo>_rEL9l`rlWrXrS}9-mSm>~rXo>
rEl`rX`³{~mC_®r¹ o~_o>}`rXq{~(}`zr~myo }$o>}`r &D|l`rXr_yErm>¨Áo²Lo>_rE{~ºÀprXo>_}`z_o>}}`zr
oCWmyW{Lo>}WrX(_m|m>~rXo>©rEl`rXW³{~mCbºÅ~myol`rXj{Lyo>}`r>Àr¹ o~_o>}`rX}`m}Wl`r{~ |¬mjl)rE_o>p|~rC
o>#rEl`rX`³{~mCb_y`zboC1º! Îs#"|À«[zrl`r!0{L6oq¹ o´l{Lo>|~r{~ yo´_roC`myW{Lo>}`rX¶«{~}`zo
Lo>-rE)Z D}WzrWZºÀ{¨uo>_¶mC|~#{¨6º! Îs#"|À[{~+}$o>}Wr C¬°Å¨uo5myox}$o´}`r (`o>}{¯¼±_rX
m9l`rXj{Lyo>}`r}WzrºÀ
E
$C¬CvyyEmCl$j{~n}`m1}`zrl`mC_rlW}{~rXG«r«[o>S}}`m6rEl`rX`r¹jrl$o
~myo[l`rXj{Lyo>}`rXyo>b_r(oC`myW{Lo>}`rX¸«{~}`zb}`zr(`o>pr9Lo>-rE¬:6>{~_yEr(rXoCy`z¸~myo }$o>}`rz_oj
Lo>-rE¯f«)r6yo }`zrXr6}`lW_yE}`l`rXLo>-rErX¶l`mSmj}`rXv43|mCl v43¬
% & ' )(+* & $
z|{L1~mCn´{¯y(o ~m>«x1mCr0}`mO_rXyW{¨dCÁ¨dmClo>|©~myo}$o>}`r Cl`mC-rl`}{~rXoCu¨dmjl`p9|¯oj
mCÎ}`zroC`myW{Lo>}`rX¿Lo>-rErX º´À$¬[zrT.j{~_ m>¨lWmC_rl`}{rX©}`z_o´}5yo>Î_rrEl`rX`rX
o>lWr(¹Crl`nCrrlEoxo>_#{~_yW~_|rXq{~S¹>o>l{Lo>_yErCrES{L}Wr_yErCGrX·jrS}{Loo>_mj¾rX·Cr|}{Lo
l`mj_rl`}{~rX¬ 6CrXyE}{~mC+©n>{~¹CrXrE_o>p|~rX1{~_}`l$o´}{~n}`z|{L~mCn>{Ly>¬ºv rX·Cr|}{Lo)lWmC_rl`}
yo>¸_r0rEl`rXWrX]ojoµr}m>¨[«mCl$mj]mCpro~z_o>-r}X}`zr9Lo>-rE¯+DÁo0mj¾rX·Cr|}{Lo
l`mj_rl`}#{L1pmCl`r0_m>«rl¨Å|®³{~_yEr0{~}yo>b_r0mC r¹Crl$o_o>}`z_1m>¨ º>Ào>}6}Wzr5`o´pr
}{~prC¬À
4-,13/.
°³(}`zr¨Åm>m>«{~nS|}$o|rE±_|{~}{~mC(v {Lo6r}m>¨Lo>-rE¯o>_!0Â{¯o1r}m>¨mjn>{Ly¹ o>l{Lo>|~rX
«[zm|rl`_m|r6«{_r|rXWyEl{~_rXÆLo>}`rlX¬
Z v
I 0
1 E
Z24365 I78398I:1º<;
1
À=1º
1 W 1 À
z|{L1S|}$oµyo>#_rqrXoC³{~µ_|rl$}WmSm©S©mC}{LyW{~nµ}`z_o>}o»¨dmClWp|Lo
1
{L||}$oCyE}{Lyo~
yEmClWl`rXyE}{¨)o>_0mC|~0{¨ 1
{¯o9-mSm>~rXo>©rElWrX`³{~mCµm>¹Crl}`zr¨Åm>~m>«{~n5r}C>
v g 35 I: I08g 39BI2)I0
rE±_r aE
0 9o´_ 0 aE I " I % %%&% I S¬zr#o1l`mC_rlW}¼q{L[|rE±_rX#oCor}m>¨
rX·j_o>}{~mC_«[z|{Ly`z#|rE±_r6rXoCyWz0~mCn>{Ly1¹ o>l{Lo>|~r²{ 0º
1
9Go´l`r[¨ÅmCl`p9|LoCEÀE¬
I >E 1
¬¬¬
I >E 1
+ 43(
zr¨ÅmCl`p0!I
H
rES{L}xm}Wz_o>}G«ryo>(_o>pr¨dmjl`p9|¯oj{~µo>(rX·j_o>}{~mC¬z|{L[o ~m>«xlWrXyEl`¾
³{~mC+_yWz oj>I M>
E Z W
35 I >¬?@¸r5yo I H
o5~mCn>{Ly¹>o>l{Lo>|~r#ºÅ{~}{L9o0¹ o´l{Lo>|~r(m>¨[}`zr
|r}`rXyE}{mjOo~nCmCl{}WzpµmC}[}Wzr_|rl~C{~nµyEmCp}Eo>}{~mCÀ$¬_®zrmjn>{Ly¹ o´l{Lo>|~rZI
H
{L[}Wl`r
{~(mCpr[}$o´}`r OC({¨io>_9mj|1{¨¨dmjl`p9|¯o 1 H
{¯Q}`l`r{~ j¬Sz|{Lyo>9_r}$o>}`rX²¨ÅmCl`po ~
oC)¨dm>~m>«x>
+
E I H aE E 1 H
365(o´_39 o>lWr6}`rp-mCl$omC_rl$o´}`mCl$«[z|{LyWzOlWm ¹j{L|r6}`zr1_m>«rlxm´¨Á}`z|{L®~mCn>{Ly>¬°#o
}Eo>}`r C/3 5 I H
prXo>_®}`z_o>} I H
{L}`l`r{~µ}Wzr~myo il`rX|rXyErX`mjlxm>¨ So>_ 3 9 I H
prXo´_
}`z_o´} I H
{L9}`lWr9{~+}`zrlWrpmC}`rlWrX|rXyErX`mCl9m>¨ j¬mC}`r0}`z_o>}²{'o´#{~|{}{¯o u}$o>}WrC_mj}`z
¨ÅmCl`po>l`r¨oLr³{~_yErx}Wzrl`rxo>l`rmlWrX|rXyErX`mCl$+DSo>_»¨dmjlG}$o>}`rXÁ{~«[z|{LyWz}Wzr[l`rXyErXj{~n
r¹Cr|}{LmC}xo9l`rXyErE{~¹Cr1r¹Cr|}X 3 98I
H
{L ¬
E
35 I H aE
º
>
R[> E I H À
E
398I
H aE
º > [ [> E I H À
rXyoi}`z_o>}[o²Lo>_rE Z0l`rl`rXr|}$[o1-mSm>~rXo>(rEl`rX`¼{mjµr¹ o _o´}`rX(mC(mCpqru}Eo>}`r{
C_o>_0}`z_o>}ZºÀGprXo>_®}`z_o>}[}`zr-mSm´rXo´µrEl`rX`³{~mCÆ{¯}`l`r{~ S¬
E Z aE
Zº>À
zrl`rpo{~|{~nµrpo´S}{Ly|rE±_|{~}{~mC_o>lWr6}`l$o{~nCz|}¨ÅmCl`«[o>l$¬
E º 1 W
1/ À aE
º
E 1 À W º E
1/À
E º ; 1 À aE
;º
E 1 À
!3121 2
°³}9{L6_rE¨d|[}`m|rE±_r(l`rXj{Lyo>}`rX»mC~myox}$o>}WrX«[zmSr}`lW}`z]¹>o~rX|r_r_ mCb}`zr
-mS³{~}{~mCbm>¨[}`zr9~myo ®}$o´}`r 9{~ `6_¬izrXrq|{~}`¾T{~+l`rXj{Lyo>}WrXyo´_r0_rX#}`m#_rXyW{¨Å
l`mj_rl`}{~rX«[z|{LyWz#}$o6.Cr{~|}`m5ojyyEmCS}}`zr9}`l`_yE}`lWr6m>¨ `6_¬g®zr6l`rXj{Lyo>}`r1Lo>-rErX
{Lq}`l`r0mC|~b{b{~|{~}{Lo6}$o>}WrXo>_b}`zr0l`rXj{Lyo>}`r(Lo>-rE~rX {L}`lWrmC|~b{¨}`zr
l`rXyErXj{~n(r¹Cr|}{Lo9prX``o´nCrxlWrXyErE{¹jrC¬
E aE
;º >>
RCÀ
6
E aE
º >>
[ >À
µmjl`rm>¹CrlX~r}[o6lWrXj{¯yo´}`r[Lo>-rE~rX _r}`l`rmC|~9{¨i}`zr{~pprXj{Lo>}`rE~0l`rXyErXj{~n
r¹Cr|}«[oC}`zrur_j{n0m>¨io1prX``o´nCrC¬@ruyo´(}$o6.Crxoj|¹ o>|}$o>nCrm>¨imj}`zrl_m|m>~rXo>(mC_rlEo>¾
}`mjl$º¼_yWzoC
T
o>_À³{~_yErx}`zryo>q_r[rEl`rX`rX{0}`rl`p0m>¨
W
o>_ ;G¬ {_o ~C
~r}o9l`rXj{Lyo>}`r²¯o´_rE~rX _r9|rE±_rXµoC a D|{~µmC}Wzrl[«mCl$>
E
aE
º E À(º
E À
9340!$
z|{LrXyE}{mjn´{¹jrXrE_o>p|~rX|rpmC_}`l$o>}{~n}`zrG-m>«)rlo>_uª_rES{~|{{}m´¨ [v43b~mCn>{Ly>¬
-3 3 N3! .1723 3#"= . ,
° ¨!I {L[|rE±_rX#oC>
I >E Z W º ; T
35 I À
}`zr I {¯}Wl`r{~ ?
9 { ? 9 E
ºZ
W
º$ 35 I À`ÀE¬°Å¨ ?9
{Lo>Æ{~|{}{¯o )}$o>}`rC }`zr
I {L}`lWr{ Zq{¯®}`l`rC¬|°Å¨2&?
9
{¯®mC}[o>{~|{~}{LoG}$o>}WrCC}`zrfI {L}`l`r{ Zq{L}`lWr6o>_ I
{L}`l`r1{~#}`zr1~myo~#l`rXyErXj{~nO}Eo>}`rC¬-°}¨dm>~m>«x|0{~_|_yE}{~mC}`z_o´} I {L}`l`r1{~
?9
{JZ0{L}Wl`r{~ ;D
9
¨dmCl[o " 8I 8A¬
°µo9³{~p9{Lo>l[«[oCCrE|{¯}`r_yErº¼ojGmj_mSrXq}`m1{~S¹>o>l{Lo>_yEr>Àm>¨Zq{~(}`zrmyoi_oj}Gm>¨ ?9
{L_rXyW{±_rX©S(}Wzr¨dm>~m>«{~n¨ÅmCl`p9|Lo*>
I >E
Z+365 I
+ -3 3 N3! .1723 3#" .1.*>
zr1n>~mC_oi_oj}[m>¨Go1~myo Q}Eo>}`r4{L}`zrr}8 , º´À S¬vÎLo>_rE Z0{L{~|¹ o>l{¯o´S}
{~b}`zr9n>~mC_oG_oC}m´¨1»{TZ º
À¨ÅmCl6o º >À`¬z|{L6yo>¸_rrEl`rX`rXO{bo
«[o5¼{p»{Lo>l}`m1{~S¹>o>l{Lo>_yEr1{~µ}`zr²~myo_oC}>
I >E Z W º ; T
35\I À
W º T
398I À
°³O}Wz|{¯yoCrCI {L}`l`r²{#mC¾T{~|{~}{Lo)}Eo>}`r ²{JZ({L}`l`r²{j I {¯}`l`r²{~O}Wzr~myo
l`rX|rXyErXWmClXo>_BI q{L9}Wl`r0{~'}`zr(l`rpqmC}`r(l`rX|rXyErX`mCl9{¨o©prX``o>njr(z_oC_}_rr
l`rXyErE{~¹CrX¬
°Å¨1I {Lx|rE±_rXÆ{~µ}Wzr¨dm>~m>«{~n«[o?>
I >E
Z 35 I 39BI
}`zr 6
E I {WZ0{L[}`lWr{#mCpr6}$o>}`r{~ º´À¬
-32 .4O1 \3
°³}{L0mCpr}{~prXq_rE¨Å|u}Wm¶yEmj_³{L|rlµoj{L}`l{~}`rX¿rErXyE}{~mC pm|rE~rX oCo¸_m|r}m>¨
{~|}`rl`¹ o ¯ 3~sGC5{~_}`rXojm>¨o(_m|r}6m>¨~myox}$o>}`rXf¬rXyo {L1}`l`r»{ }`zr0l`r¾
yErXj{~nr¹Cr|}#«[oCµo¿r_ mClµlWrXyErE{¹jrC¬ mC_³{L|rl}`zr+rX·jr_yEr+m>¨}$o>}`rX5{~½l`myErXW
"(9`>º :9 9
%&%%
(9
À$¬_z|{LrX·jr_yEr{L[_o´l`}{~}{~mCrX0{~|}`m_rX·Cr_yErX|rE}`rl`_o ir¹Cr|}$¬
zrXrO_rX·jr_yErXµo´l`rT
" ¬ mClrE_o>p|~rCQ{~ {~nClWr]sC}WzrO}$o´}`rX1m>¨ "%(o´l`r
_o>lW}{~}{~mCrX0{~|}`m}Wzl`rr{~S}`rlW¹ oL> :%
"$
%
S/ %%
|o´_ % S¬
GmC_³{L|rl}`zr¨dm´~m>«{~n0_o>}`}`rl`µ_rXyW{±gyo>}{~mC >
I >E
Z,º ;
W
35 I À
I {LQ}`l`r{~ ®{YZ1{L}Wl`r{(o>}~rXoC}GmjrG~myo }$o>}`r[³{~_yEr[}`zrl`r¹C{~mC_QrE}Wrl`_o_r¹Cr|}X¬
zr²Lo>_rE l`rXr}$ I rXoCyWz(}{~pro9r«Â{|}`rl`¹>oi-rn>{~_¬
O21. . 12 -31
v rX·Cr|}{Lo_l`mj_rl`}{L|rE±_rXoCoLo>nC_o>nCrº¼r}m>¨g}`l{n|EÀmCmCpr±_|{~}`ro~z_o>_r}
º}Wzr9Lo>_rELEÀ$¬ mCl6oq~myo)}$o´}`r C}`zr9l`mC-rl`}({L6Wo>}{L³±_rX©{¨[mCrm>¨Lo>_rE~rX¸_o>}`z_m>¨
º´Àx-rEmjnS9}`m©}`zrLo>nj_o>nCrC¬i®zr5r}9m>¨xoLo>_rE~rXb_o>}Wz_6m´¨ º >À[{L9|rmC}`rX
º>À$¬ mCl`po~C}`zrµ}`l{~n+º: %&%&%
(
À{L9{~ º>À{¨6o>_+mj|¸{¨
}`zrlWr6rE|{¯}$[orX·jr_yEr6m´¨Q}Eo>}`rXº : %&%%
(
À)_yWz(}`z_o>}>
s% º @`>> : E :9 À º{ ¬rC¬~ : {L[o>({~|{~}{LoG}$o>}WrC¬À
%Ìg¤Æº" 8AÀ$"
?
R
?
?
[
?
%
( E
%Ìg¤Æº" 8A À$"!"8º ? À#
E 6£%$gÈ'&
6? º(?À
È #T¢È
?
E)(
*
@rxyEmC_³{L|rl[zrlWrurX·jr|}{Logl`mj_rl`}{~rX|rE±_rX0|lWrnC|Lo>lrEl`rXW³{~mC_|mClGrX·j|{~¹ o>¾
~r|}~C>So±_|{~}`r}$o>}WrGo>}`mCpo´}`mC,+¬,3{~¹Cro[}$o>}`r2j«r)yo>6-rXyW{¨d9o>_6|r}`rlWp9{~r{¨
}`zrlWr[rES{L}EGo}`l{n{~-. º>À«z|{¯yWz9{LGojyyEr}`rX9|/+ ¬-{~*.CrX9lWrXj{¯yo´}`rX=3~s65
o>}WmCp9{LyrX·Cr_yErX1m>¨[l`rXj{Lyo>}`rXM3~sjs5)o>¸l`rnC|Lo>l9_o>}`}`rlW_<3;65)o´l`r-rXyW{¯o yojrX1m>¨xr¾
·jrS}{¯o Ál`mj_rl`}{~rX}`z_o>}[yo>(-r|rX`yEl{~-rXµ|0}`zr [v43Î~mCn>{Ly>¬
v mC#|r}`rl`p9{~|{L}{Ly²±_|{~}`r}$o>}`rpoCyWz|{~r0+ {¯|rE±_rX©S(o9}`|~r>
+ E
º21 "`v "R\) #"1432"5jÀ«{~}`z
677777
8777779
r}[m>¨G}$o>}`rX+>:1
E
]\) ,"!&#&!&-"\ qº ;1 E
»À
v<>_r}m>¨{~}6|p-m>LºÅLo>-rE¯ À
\) 4<1 ºÅ{~|{~}{LoG}$o>}`r>À
143>=1 º¼r}m>¨±__oÁ}$o>}`rXEÀ
5A>:1 P(v@?dô%A º}`lEo>_³{~}{~mC0¨Å_yE}{~mCÀ
6C_y`zo>'o>}WmCpo>}`mj+l`rXyEmCnC|{~ÃrX(or}0m>¨6}`l{~nSqmCCB }`z_o>}yo>¿_r-rXyW{±_rX {
[v43 ~mCn´{¯y|»o1r}m>¨ rX·C_o´}{~mC_|rE±_|{nFI
H
¨ÅmCls8
M
_yWz}`z_o´}1I
H
{LG}Wl`r
{~ ²{}`zrl`rrE|{L}$o}`l{~n9{~D º´ÀÁ«z|{¯yWz#«mC|L0|¯ojyEr0+ {#}$o>}Wr[\
H ¬
E
íFàHGEè;ç XëàWâSù;à
ðùSëÅßðWßÅݼëð`êÅÝ
à$çëTèXÝêÅÝ[è;çß;Iè;ëëÅÝ
ßTè;àEçCû>ß;IXàEëÅÝiàWâß;IÝiëÅßðWßÅÝø®ð
Ifè;çXÝGðWç ß;IXàEëÅÝiàWâ
ß;IÝ fè;ëÅßÅêTèKJXòßÅÝqݼïÝ
òXßTè;àEç _äàEçßÅÝïßië;Ià$òfù
ùð`êTèúâ~ì,FIfè
I9ßTìÞ ÝàWâgëÅßðWßÅÝLFÝ)ðWêÅÝêÅݳâÝêÅêTè;çNMxßÅàFOIXÝçPFÝ
òëÅÝGß;IXÝßÅÝêÅøRQ ëÅßð`ßÅÝS
r} 3]I
?
-rozmCl`}¨ÅmCl`p ¨ÅmClº3 5 I ? 3 9 I ? À % ¬ r}
H E Cº
W
3LI
? À 6\
H
<5jº:\
?
"À
W <B
W
A Ss"!&!&#&-" $
º
H
l`rl`rXrS}$9o}`l$o>_³{~}{~mC_1m>¨}`zr5o´}`mCpo>}WmC#rS}`rl{n \ H
À$¬i®zr rX·C_o>}{mj_o´l`r
|rE±_rXÆ{~µ}`zr¨Åm>~m>«{~n«[o>
I 7>
E 1
I H >E 1 H M
"#&!&#&"
«{~}`z
1 H
E
1 H
z_oj}`zr1¨dmClWpº 1 H 1 %
H 1
H
%&%%úÀ$¬?@ zr#«ryEmC_³{L|rlo|{LyE}`mCl{¯o )l`rl`rXrS}$o´}{~mC
m>¨[}`zr(}$o´}`r9poCyWz|{r(rXojy`z]o´l`l`m>«½_m>{~|}{~n#}`mJ\
H
z_oC1o0Lo>_rExo>_b|rE±_rX1mCr0m>¨[}`zr
j{LT_yE}$q{~ 1 H
¬v0o>+rE o´p|~rC)yEmC_¼{¯|rl(o> o>l`l`m>« {~_yW{¯|r|}(mC \ H
o>_+-mSr©{~}
|rE±_rX 1 H ¬ r} \ ?
-rx}Wzru}Eo>}`rmC}WzrxmC}WzrlGr_0m>¨i}Wzruo>lWl`m>« ºÅ{¬úrC¬|«)ro>l`ryEmC_³{L|rl{~n
}`zrrX|njr9º:\
?
"\
H
À`À$¬ r} #-r}`zrLo>_rEimj}`z|{LrX|njrC¬®zr
1 H E W
3]I
?
¨zS_
1 H
{L
}`lWr{ ²{¨}`zr9}$o>}`rpoCyWz|{~ryEmC|LÆz_oX¹jr}`l$o¹CrE~rX0rX|nCr9º:\
?
"R\
H
À{~©}`zrl`r¹j{mj_x}Wr¬
zr¨Åm>~m>«{~nOrE_o>p|~r0{~_}`l$o>}WrX6}Wz|{¯9yEmC_}`l`_yE}{~mCbSbyEmC_³{L|rl{~n]oµ}$o>}`rp0o>¾
yWz|{~rµº{~nClWr»À{pq|rpqrS}{~n#}`zr9l`rnC|Lo>l1rElWrX`³{~mC,Y
F
º\
{L²}`zr9mC|~µ±__o
}Eo>}`r>À$¬
{lE}6yEmC_³{L|rl
1
>¬[m#o>l`l`m>«xrS}Wrl \) >¬zrl`rE¨ÅmCl`rq}`zrj{LT_yE}{L}1{¯²rp}o>_
1 E 1 &<j¬
[rE}GyEmC_³{L|rl 1 %>¬|[r{~_yEmCp9{~no>l`l`m>«¸{¯ÁLo>_rE~rX)o´_yEmCprX¨Ål`mCp}Eo>}`r \) >¬Cz|_
mCr6j{LT_yE}{L
W
3I >¬zrmC}`zrl{~_yEmCp9{~no>lWl`m>«+{LLo>_rE~rXxo>_0yEmCprXQ¨Ål`mCp \)%>¬
z|_o>mC}`zrl[j{LT_yE}{¯
W
3I %>¬_z|_
1 % E
º
W
3LI À ,º
W
3]I%fÀ$¬
[rE})yEmC_¼{¯|rl 1
¬Czrl`r{LGo>»{_yEmjp9{~n»o´l`l`m>«b¨dlWmCp \) Lo>_rE~rX-So>_qo>mC}`zrlmCr
¨Ål`mCp4\ % Lo>-rE~rX>¬-zS_ 1 E º
W
3LI À ,º
W
3I % À$¬
zrl`rE¨ÅmCl`rC|{~µmjl~mCn>{Ly>}`z|{Ll`rnC|Lo>l[rEl`rX`³{~mC#yo>µ-r6_rXyW{±_rXoj¨dm´~m>«x>
I >E
I% >E º
W
3]I À º
W
3LI %À
I >E º
W 3 I À º
W
3I % À
ñëFÝ
ð`çëÅÝÝÁðëÅÝòݼçßTèðùSÞêÅà$Þ>ÝêÅßLì àݼëçà$ßè;ëÅßTè;ç MEòèë;I,J>ݼßFÝݼç®ù;à
ðùSð`ç [êÅÝøà$ßÅÝÞêÅÝXÝ
ݼëÅëÅàEêÅë
àWâù;à
ðù_ëÅßðWßÅÝë
c
<
c
8LU8T^$8Å<jJÁVW^ <j^EK
{~nClWr*> 6C}$o>}WrpoCyWz|{r²{~p|~rprS}{n Y F
I H
{L1}`l`rq{~]-mSr}}$o´}`r q{ }`zrl`rq{Lo©}`l{~nÆ{C. º >À«[z|{Ly`zb«mC|L|LoCyEr
+ {b}$o>}`r<\
H
¬z|_I
{L}`l`r1{~ 1{+}`zrl`r1{L6o0}`l{~n(«[z|{LyWzpo>}Ey`zrX}`zr9l`rnj|¯o´l
rEl`rX`³{~mC ,Y
F
>¬
V3 -3(. 1 77
zrl`r¹j{~mC_rE o>pq|rX|rpmC_}`lEo>}`rX9zm>« v43 ~mCn>{Lyyo>0rEl`rXWGrX·jrS}{¯o lWmC¾
-rl`}{~rXm>¨[yEmC|}`l`m>ª_m>«x¬-vmC¾rX·jr|}{LoGl`mC-rl`}Oyo>mC}-r9rEl`rXWrXoCo(r}m>¨
{~_|r_r_|r|}«mCl$mC(mCpro~z_o>-r}X¬ 6C_yWzµo9l`mC-rl`}9{LmC(r¹Crl$oiyEmC|}`l`m´_ª_m>«xo>}
}`zr9`o>pr}{pqrC¬
v½mC¾rX·jrS}{Lo)yEmjS}`lWm>ª_m «½yo>©_r|rpqmC_}`l$o´}`rX(«{~}`z©}`zrWyo>}`}`rlo>_µyEm´~rXyE}
mC-rl$o>}{~mC_«z|{¯yWzo>lWr)yEmCppqmC|~6_rX9}Wmuj{L}`l{}Wrxo[«mCl/.C~mSoC1o>_9yEm>~rXyE}G}`zrl`rX|~}$f¬
6C-mSr}`zrl`r{L[op0o>}`l{ _o´l`}{~}{~mCrX»{|}`mF Apo´}`l{LyErXU9j¨ÅmClxs8 @ 8 b¬|zr
po´}`l{ «z|{¯yWz¸{¯u{~|{}{¯o ~bm>«[rX©S " >-{¯1j{L}`l{~}`rXbo>pmCn(}Wzrl`myErX`rXm©}`z_o>}
" 9 m>«[_ 9 ¬Sv¨Å}`rll`myErXW!" 9 _rl¨ÅmCl`pmjprxmj_rl$o>}{mjmC 9 " yEm>~rXyE}$}`zrl`rX|}E
o>_0}Wzr(m «_G}Wzrxr|}{~l`rpo>}Wl{mC_yEr6o>nSo {¬ r}*@ % 0 %
H
o>_©s% 0 % -r¯o´_rEL
_yWzµ}Wz_o>}>
@c% %
H
º>À
SUT
OC 9 W
m>«[_
H
s% % º>À
SUT
OC0
W
1m>«[_}`zr6r|}{~l`rpo>}Wl{
zr(`yo>}W}`rl`¾o>_|¾yEm>~rXyE}yEmjS}`lWm>ª_m>«½{L}`zrby`z_o>lEoCyE}`rl{~ÃrX¸S#}`zr9¨Åm>~m>«{~nµ_o>}`}Wrl`
-rXyW{±gyo>}{~mC¬@r_r
K
o>_! 0oCumjn>{Ly0¹ o>l{Lo>|~rX1{~+oCj{~}{~mC+}`mOI 9io>_ 3 {L1}`zr
`o´pr5zmCl`}1¨dmjl`p_rX¸{~'rXyE}{~mC+_¬ú¸º¼oÆ~myox}Eo>}`r0m>¨ "(9x`o>}{L³±_rXI 9_}o¨Å}`rl9}`zr