Quantified Mu-calculus for Control Synthesis

(1)

HAL Id: inria-00071793

https://hal.inria.fr/inria-00071793

Submitted on 23 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.

Quantified Mu-calculus for Control Synthesis

Stéphane Riedweg, Sophie Pinchinat

To cite this version:

Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-calculus for Control Synthesis. [Research Report]

RR-4793, INRIA. 2003. �inria-00071793�

(2)

ISSN 0249-6399 ISRN INRIA/RR--4793--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 1

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Quantified Mu-calculus for Control Synthesis

Stéphane Riedweg — Sophie Pinchinat

N° 4793

Avril 2003

(3)

(4)

Unité de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 Rennes Cedex (France)

Téléphone : +33 2 99 84 71 00 — Télécopie : +33 2 99 84 71 71

,.-0/21+35476$8:9<;=82>?@8BADCE,#FG1$3$;H8JIK;H6$L3$;=6$4M-

NPOQSR(T(UWVYXZ\[]T\^`_bacTde[]fb[gdhQSR(T\[

iEj]k`lgTdemon

Xp^rqsq7k`j]dptbTuj]TwvxOsTSjxvxOsTzyG{no|}B~@V #ojh#```~VU\nq^``Tw[

c+\Ss``+

TuvkBy[]tbT\j^`ycTSa2dhTSy[]k`yck`.d]OTWR_bvS^rv__[^`[P^)`TSyTSjx^rMjh^`R@T\kBj]d]k(tbTw[]vSj]MT

^`yt[foy2d]OT\[]\T(vSk`y2d]jhk`TSjx[SNPOs[KTaodhTSy[]kByJ[KkBbdh^`ysTwt2fJ B_M^ry2d]foys¡^rd]kBR@v@qsjhk`q7kB[]¢dhkBy[S£

Tv\^r#dhOsT@j]Tw[_sd]yskB`v¤S¥¦§¨=©ª«x¬@¥b®¯h¦r°¯S¥b°±¥o²³ T@[d]_Mtbf´¢dx[µR^`y¶dhOsTSkBj]TSd]vS^`qsjhk`q7TSj]d]T\[

^`yt[Ok·dh[^`tbTw B_M^`vf:d]k:vSk`y2d]jhk`E^`qsqsv\^dhkBy[SNPOsT<qsjhk`q7kB[]T\tJjx^rR(TSk`jh¡[KTabqsjhT\[h[`T¶¸¢d

k`¹7T\jh[^_sy¢kBj]Rº^0fdhk»tbT\[hvjh7T¶^`[(^rjhT\t¼q^rjx^rR(TdhTSjx[(^`[@d]OT¶2yt½kru[fb[d]T\R([:¾¿vkB[]T\t¼k`j

kBqMT\yMÀ³£sd]OsTvSk`y2d]jhk`Gk`slgT\v³dhBT`£odhOsTudgfoqMTKk`+y2d]TSjx^`vd]k`yMTSdgT\TSyd]OsTvSk`y2d]jhk`TSj^rytcd]OT[fb[d]TSR´£

dhOsTKk`qsd]R(^`dgfcvSj]d]T\j]^¾¿^rj]yT\[h[S£oR^abR(^`f<q7TSjhR([h[`T0À³£bTSdhvrsNk(k`_sjoyskT\ts`T`£oyskBysTukr+d]OsT

kBj]R(T\jP^`qsqsjhkB^BvxOsT\[PvS^`yv\^rqbdh_sjhTu[]_vxO´^@tbTKjx^ry`TWkr+vSk`yvSTSqbdx[

Á¶Â2ÃGÄhÅ)Æ Ç+`È _bvS^`vS_s_M[S£` 2_^`y2d]ÉT\t(R_bÊv\^rv_s_[\£`[]f2y2dhOsT\[][\£`vSk`y2d]jhk`=£r[_qMT\j]o[kBj]fB£k`qbdhR^rf

vSj]d]T\j]^

(5)

kB_[vSk`y[]tbZSjhk`y[#_sysTTaod]T\y[k`ytb_)R_bÊv\^rv_sBqMkB_sj+^µtbT\[hvjhqsd]k`yTSd^e[]f2y2dhOsQ\[]TtbT

vSk`y2d]j`TS_jh[\TddhTTaod]T\y[]kByTw[gdEkBbd]T\y2_TqM^rjE 2_^ry2dh¢ÉMv\^dhkBy@tbTw[5qsjhk`q7kB[]¢dhkBy[$^dhk`R( 2_sTw[S£yk`_[

^`qsq7TSk`y[@°«<¥b®¯x¦°¯¥b°E¤S¥¦§¨=©ªµ^kB` B_TjhZ\[]_sdh^ry2dhT` k`_M[uZd]_MtbkBy[K[]T\[u^`[]qMTwv³dx[edhOsZSkBj] 2_sT\[

TSdµ[]k`y¡^`tsZ\ 2_^dhkBy^`_ba´qsj]kBsQSR(T\[ptsT)vkByBdhjBTB.TvS^`tsj]T 2_sTyk`_[qj]kBqMk2[kBy[PT\[deTabqsjhT\[h[]¢g¸M

k`¹7jhTe_ycR(kf`T\y<_sysk`jhR(TµtbTutbZ\vSj]jhTµtb¹7Z\j]T\y2dh[q^rjx^rR(Qdhj]Tw[ vSk`R(R(TµTedgfoq7TWtsTµ[]fo[d]Q\R(T@¾¿k`_sBTSj]d

kB_´TSjhR(ZwÀ³£Mk`slgT\v³dh¢ tsT)vkByBdhjBTB£sTKdgfoqMT@ty2d]T\jh^Bv³d]k`y´T\yBdhj]T)T)vSk`y2d]j`TS_jTdµT)[]fb[gdhQSR(T`£7tbT\[

vSj]d]Q\j]Tw[ tk`qsd]R(^`d]Z(¾Zw 2_s¢dhZ`£oq7TSjhR@[h[o¢dhZµR^abR^rTwÀ³£2TdxvrbDyskrdhj]TWvk`yy^r[][h^ryMvT`£2^r_vS_sysTWtbT\[

^`qsqsjhkbvxOsT\[Tab[gdx^ry2d]Tw[ysTtbT[h^r[jP_sy¶[^`[d]TKT\y[]TSR)TKtbTvSk`yvSTSqbdx[S

"Æ w Ä ¼ È _bvS^rv_H£$R)_sÊv\^rv_s 2_^ry2dh¢ÉZB£+[]foy2d]OsQw[TB£$vSk`y2d]j`TS_jh[\£[]_sq7TSjh2[]TS_sjx[S£$vjhd]QSjhT\[

tkBqbd]R^r¢dhZ

(6)

yDd]OT»^rR krBTSysT\jh^`Sys¼d]OsTdhOsTSkBj]f k`(vSk`y2d]jhk`u[foy2d]OT\[][´y2d]jhkots_vTwt of Xp^`R(^Btb`T^ryMt

k`Oy^rRU=£+krd)k`pkBj]b[K_[]TdhTSR(qMkBjh^` k`Bv\[)^`[)[q7T\vS¢ÉMv\^dhkBy2n=#ed]OkB[]Tc^rqsqj]k2^`vxOsTw[

[]_b¹GTSjej]kBR []_s[dh^`yBdh^`#R(dh^rd]k`y[\¸dhOsTSjhT[eyk<^0fcd]kR(q7kB[]Tqsjhk`q7TSj]d]T\[pkBy´d]OsTy2dhTSjx^`v³dhkBy

7TdgTST\ycdhOsT[]fo[d]T\R^ryMtdh[evk`y2dhj]kBTSjw£Byk`jPd]k(jhT\ 2_sj]TukBqbd]R^r¢dgf<k`+vSk`y2d]jhk`T\jh[\bNPOsTuR(krd]^

dhkBy¡krEkB_sjWkBj][ed]kcÉdhOsT\[]T)2^rq[\ T@qs_bdWk`jh^`jht´^ry:Taod]T\y[k`y:kr5d]OTR_bÊv\^rv_s_[eT\

[]_sd]Twt¡dhktbTw[]vSj]7TBTSysT\jh^`+vSk`y2d]jhk`+k`blgTwv³dhBT\[u^ryt¡d]k´[foy2d]OT\[]\T)Éy¢dhT([dh^rd]TvkBy2d]jhk`T\jh[\MNPOsT

qj]kBqMk2[Twtjx^rR(TSk`jh([PTSaoqj]Tw[][]BT¸bdpkr¹GTSjx[P^@_sysk`jhR^0f(dhktbT\[hvjh7TK^`[^rjhTwtcqM^rjx^rR(TdhTSjx[

^B[.dhOsTPoytkr7[fb[d]TSR[¾¿vSk2[Twtk`j$kBqMT\yMÀ³£wd]OTPvSk`y2d]jhk`2k`slgT\v³dhBT`£\d]OsTdgfoq7Tk`yBdhTSjx^`vd]k`y7TdgTST\y

dhOsT)vSk`y2d]jhk`T\j^rytdhOsT)[]fo[d]T\R´£bd]OsT)k`qbdhR^rdgfvjhd]TSjh^¾¿^rj]yT\[h[S£sR^raoR^rfqMT\j]R([][]`TwÀ£sTdxvr

Nkuk`_sj5oyskT\ts`T`£yk`ysTPkr7d]OTPk`jhR@T\jE^rqsqj]k2^`vxOsTw[+v\^ry(vS^`qbd]_sjhT[_MvxO(^WtbTjx^rysBTk`7vSk`yvSTSqbdx[S

µ[py !|!Ê£bTKTSaod]TSyMt^@dhTSR(q7k`jx^r.k`Bv(¾dhOsTR_bÊv\^rv_s_[xÀof 2_^ry2dh¢foys^d]kBR(vuqsjhk`q7kr

[]d]k`y[\ TJvS^rPd]OT¶j]Tw[_sd]ys k`Bv ¤S¥¦§¨=©ª«x¬@¥b®¯x¦°¯S¥b°±¥o²³ T¡[gdh_tbf dh[<R(^`y½dhOsTSkBj]TSd]vS^r

qj]kBqMT\jdhTw[^`yt []Osk dh[(^`tbTw 2_^`vSfJdhkvSk`y2d]jhk`P^rqqsvS^rd]k`y[\ T¶[dh^rj]d)jhk`R ^`¢dhTSjhy^dhy¡d]jhTST

^`_bd]kBR^dh^<k`juR)_sÊv\^rv_s_["#£]}$E^`yt¡TTSaod]TSyMt¶d]OTSjud]OsT\k`jhf_M[ysd]OsT<moR)_s^dhkByJNPOsT\k`jhTSR

U\£SUBU`£%#&o^`yt@^uqsj]k`lgT\vd]k`y)k`G^`_bd]kBR^dh^rNPOsTemoR)_s^dhkBy@NPOTSk`jhTSR·[gdx^d]Tw[+d]O^rd ^rd]T\j]y^rd]ysK^r_b

dhk`R^dx^)^`ytyskBytbTdhTSjhR(ys[d]vµ^`_bd]kBR(^rdh^^rjhTeT\ 2_s^rTSy2d\oNPOsTWqsjhkrlgT\vd]k`y<[^ry^Bts^rqsd]k`y<k`.d]OsT

vSk`y[d]jh_vd]k`y)k`'Uw$=NPOsTPR(T\^`ysyB[+krTSab[d]T\yBdh^`s 2_^ry2d]ÉT\j+[$tbTÉMysT\t@qsjhkrlgTwv³d]ysW^r_bdhk`R^dx^ekBy

[]Tdx[ek`Eqsjhk`q7kB[]¢dhkBy[S)(µT\v[]kBy¡qsjhkovST\tb_j]Tw[k`jWR(kbtbTSÊvxOT\vxoyc^ryt:[]^rd][g¿^Bv³d]k`yJvS^ry¡d]OsT\j]TSk`jhT

7Tk`bdx^rysT\t+*krdhO»qsjhk`sTSR[(^rjhT<yskBybÊTSTSR(TSy2dh^`j]fOsT\y TvSk`y[]tsTSjd]OsT_skB`vr T´vS^`y

OkT\`TSjutb[q^0f¡y2d]T\j]Tw[gdhysjx^rBR@T\y2dh[W¢dhOkTSjKvkBR(qsTSab¢dgfB£.vk`T\j]ys[gdh ^tsT(vS^B[][uk`

vSk`y2d]jhk`Gqsjhk`T\R([\

NPOsT@kBky^rR[K^duTabqs^rysyscdhOsT^rqsqvS^rd]k`y[µkrk`_sjK^rqqsj]k2^`vxO´dhk´vSk`y2d]jhk`= T(oT\

[]_sq7TSjho[]kBykrG[fb[d]T\R([$^B[qj]_syysµd]OTP[]fb[gdhTSR[0vSk`R(qs_bdx^dhkBy)dhj]T\T\[\ kBy[]T\ 2_sTSy2dhfB£0^WvkBy2d]jhk`T\j

v\^ryJMT(vS^`ysk`ysvS^`f´j]T\qsjhT\[]TSy2d]Twt¶of¡^<^r7TSys-,k`Ed]OT´¾¿_syvSk`y2d]jhk`TwtÀµ[fb[d]TSR[µvSk`R(qs_bdx^dhkBy

dhj]T\Tcy2d]k/.!0132&42£[]_vxO»dhO^d@d]OsT ¾Htbkyo^`jhts[vkB[]T\tÀ52Ê^`MT\Twt»[]_sbd]jhTST´tbTSÉysT\[dhOsT7TSOM^02k`j

k` dhOsTvk`y2dhj]kBT\t¡[]fb[gdhTSR´76skBjK^ryof¶qsjhk`q7kB[]¢dhkBy8,£TtbTÉyT(^cd]jx^ryM[gkBj]R^dhkBy:9<;9$=>,?µkrR)_b

v\^rv_s_[Ek`jhR)_s^`[;[]_vxOdhO^dP[kBR(TµvkBy2d]jhk`T\jEyMtb_vTwt<jhT\[d]jhvd]k`yk`A@½[h^d][ÉT\[;J#^ryMtk`ysf

B,CD9E;F9$=G,?OskBts[kr7[kBR@TH,xÊ^`MT\ysekByKd]OTPvSk`R(qs_bdx^dhkByKd]jhTSTB ^r7TSysWTSyM^rsT\[_[#d]kuvk`yM[tbTSj

dhOsTKkBj]ststbT\y¶q^rj]dpkr$dhOsT)vkBy2d]jhk`Twt[]fb[gdhTSR´ T)vS^`y´y´dhOs[e^0ftbTSjh`TvkBy2d]jhk`T\jh[k`je^`j]BT

vS^B[][]T\[k`$[]qMTwvÉMvS^rd]k`y[\£o_[]ys<^(vSk`y[d]jh_v³dhBTµR(kbtbT\¢vxOsT\vxoys

*T\f`k`yMt<dhOsT)vS^`q^r¢dgf<d]k<[]qMTwvfvSk`y2d]jhk`T\jh[OsvxO´k`ysfvS_bdµvSk`y2d]jhk`^`sTedhjh^`y[d]k`yM[S£bTvS^`y

R(kBj]T(yBdhTSjhT\[d]ys`fJ[]q7T\vf¼¾H^ryt []foy2d]OsTw[ST0Àu^(¦3I`©¦°°KJMLs«N³@©²h²³©PO«¶¯RQ§¨SN%Qr°°«ENk`j";THT`#^

vSk`y2d]jhk`TSjU,[]_vxOd]OM^dKd]OT5,xÊvSk`y2d]jhk`T\t:[]fb[gdhTSR [h^dh[ÉTw[U; ^ryMt:yskV,W±vkByBdhj]kBT\tJ[fb[d]T\R [_MvxO

dhO^dX,<YZE=G,3?H[/,<YZE=G, W?+[]^rd][gÉMT\[\;TOTSjhTH,<YZE=G,3?H[:,<YZE=G, W?[#dhOsTPR)_bvS^`vS_s_[k`jhR)_s^eTSabqsj]Tw[][]ys

dhO^d$dhOsT]2Ê^`MT\Twt[]_sbdhj]T\TtbTSÉysTwtofD,[5^Wqsjhk`q7TSj5[]_sbdhj]T\Tk`dhOsT]2Ê^`MT\Twt)[]_sbd]jhTSTtbTSÉysTwt)of

, Wr¼R^abR^`fKqMT\j]R([][]`TvSk`y2d]jhk`TSj+TSybkBjhvSys^;¶vS^`yd]OTSjhTk`jhTMT[]qMTwvÉT\t)2fudhOsT 2_^ry2d]ÉTwt

R_bvS^rv__[kBj]R_s^¸

_ ,$`a<b3,XCc9<;9=>,?d:CfeA,

W

`b!,<YBZE=>,?H[f,<YBZE=>,

W

?cg h]iS,

W

Cc9<;9=>,

W

?kj3dl

(7)

ÉMT\t^`yt[]f2y2dhOsT\[]\T\t0mo_vxO)vSk`y2d]jhk`TSjx[.^rjhTEjhT\ 2_sj]TwtuR@kBj]T\k`T\jd]kp7Tj]kBs_[d^r2^ry[gd#d]OsTTSyoojhk`ys

R(T\yBd [pqMkBvfBp[kM£bd]OTKR(qsTSR(TSy2dx^d]k`y¶vSk`y[]tsTSjx^d]k`yM[k`HU\~&#^ryt´tbTwvT\yBdhjh^`STwtvSk`y2d]jhk`TSjx[

R^0fMTKkBj]R_s^d]Twty: 2_^`y2d]ÉT\tR)_sÊv\^rv_s_[\ k`dµ[_j]qsjh[ys`f`£sd]OsTTSabqsj]Tw[][]`TuqMkTSjekr$d]OsT

R_bvS^rv__[T\y^rsT\[P_M[Pd]ktbTw^r.d]O¿^rjhysT\[h[S

NPOsTjhT\[d)krpdhOsTcqM^rq7TSj@[@k`jhB^`ysST\t^B[kBkp[<¸5moT\vd]k`y&¶qsjhT\[]TSy2dh[d]OsTk``vr$moT\vd]k`y ~

[d]_MtbTw[p^rqqsvS^rd]k`y[d]kcvSk`y2d]jhk`GdhOsTSkBj]fBp`kBj]d]OsR[p^`j]TKtbT\`T\kBqMTwty:moTwv³d]k`y¶nM£s^B[TwtkBy´d]OsT

^`_bd]kBR^dh^rHdhOsTSkBj]TSd]ve[]TSR^ry2dhv\[S6+y^rfB£vkBy2d]jhk`[foy2d]OT\[][P[P_[gdhjh^rd]Twtcy¡moT\vd]k`yVb

+' $%A%

Ã w

TK^`[h[_R@TuBBTSy^Éy¢dhTu[]Tdk`+T\`TSy2dx[)£s^Éysd]T[]Tdkr+qsj]kBqMk2[d]k`yM[(£s^ryMt^`yybÉysd]T[]Td

k`^rjh^rsT\[! #"%$ .'&V1)(1`3``R42

*Â#+,,- -¿Æ

.0/)

Ã \ Æ.12436587:9;s«²S«¨Q=<><EQ$N³@¥b°¦0²DQ?<u¨@;s«¤¥¦r§¨=©ª«x¬@@¥b®¯h¦r°¯S¥b°±¥o²]Qr§BADC

FEHG+N³©¨=¨Ê«S§I24365)=A]?JE ©²)¬B«¿ª §7«x¬BKJ¨L;«MN]¦r¦$NON

_P `;RQkh\;>SHQ;>ST ;,U6Q?V

GW;«ENh« P CX.FEX;ZY[23\5)=A^] P ?JEX; S ¦§G¬ ; U ¦$N]«<EQ$N³@¥b°¦0²©§_2365)=A]?JEµ¦r§7¬0V ©²<¦!<EQ$N³@¥b°¦

Q=<)¨@;s«LG¥N]«@@¥b®¯h¦r°¯S¥b°±¥o²"Q§:A0`%a(«²Qr(«S¨H©«²bG+N³©¨«%23\5 ©§s²³¨«h¦B¬ Q?<!2c3\5=dA^?e`%a(« N]«x¯x¦°°$¨L;¦¨

¨@;s«c²S«S¨]Q=<<EQ$N³@¥b°¦² Q?<<¨@;s«DLG¥N]«<@¥b®¯x¦°¯S¥b°±¥o² Q§fAgChFEG+N³©¨=¨Ê«S§i3\5=dA^?jEe©²¬`«HªE§G«x¬iKJ:¨@;s«

MN]¦r¦$NON

k

QLlbQ?&hQ%h,VRQm OnoVBQVBTRV W Qpc&V`V=&8?

GW;«ENh«H qYrDEsl:Y:A%Et&uYv! #"#E¦§G¬V»¦§G¬V W ¦&N]«P©§w3\5)=A]?O`yx Q$N]«RQ$O«NJE.©§ Q$N]¬B«ENP¨QK«§²x¥Nh«P¨L;¦¨

ª IB®LQr©§¨H²<EQ$N³@¥b°¦²w;¦$O«<«x¦§M©§#Mr²zE©¨µ©²MNh«h¤S¥b©PN]«x¬´¨@;s¦r¨e©§¼«x¦`¯J;{<EQ&N³¥b°¦0pc&V`;=&8?JEH& Qw¯h¯S¥Nx²

¥b§G¬`«N¦§«O«§J§¥b{Kh«NDQ?<u§G«|M2¦¨=©GQ§:²<J0KRQ°±²h ©§ ;H=@&8?e`

a(«G+N³©¨Ê«}wE,~ P;HEA; C!VHEct& `;H=@&8?jE5¦r§7¬ e P `;/Nh«³²SL«h¯S¨=©PO0«S°J<EQ$NW§7«MB¦r¨H©§tM

k

EWm n/h\;6E7h\;wT h,V>E

pc& `h\;H=>h,&8?¦§G¬

_P

`h\;`0a@«{G+N³©¨Ê«¦°²Q

E!

EX; gVHEµ¦§7¬

_t

`; N]«³²SL«x¯¨=©PO0«S°J%<EQ&N{m6 tn k E

~ }wE'h\;RTRV>E¦r§7¬

_ .

4`;`

Ea2dhTSytsys<d]OsTudhTSjhR@yskBkB`f<k`$R_bvS^rv__[\£bTvS^r5²S«S§¨«§G¯h«²^` B_M^ry2d]ÉT\tR_bÊv\^rv_s_[PkBj

R_s^`[Pd]OskB_bdj]T\Tu0^`j]^rTw[S

µ«¦$N)B` k`d]vTd]O^rd$d]OsT[]f2y2dx^aKkr23 5 tbkoT\[+ysk`d5^`k» 2_^ry2dh¢ÉT\jh[+y[]tbTÉsabTwto=q7k`y2ddhTSjhR[S

#¢dhyedhOsTPj]Tw[gdhj]v³dhkByK`koT\[¿^rj+7TSf`kBytKdhOsTP[]vSk`q7Tk`sd]Os[+q^rq7TSj$^ryMtk`_st)tbT\R^ryt[kBR@TT¹Gk`j]d\£

[]yvTuyBTSysT\jh^`H£2ÉsabTwto=q7k`y2dk`q7TSjx^d]kBjh[P^`yt 2_^`y2d]ÉTSjx[tbk(yskrdevSk`R(R)_sd]T`

(8)

Â -

NPOTe 2_^ry2d]ÉTwtR)_bvS^`vS_s_[S£B^`[ ^)`T\ysTSjx^rw^dhkByk`d]OsTµR)_bvS^`vS_s_M[S£r[^r[kKBBTSy<^ryy2d]T\j]qsjhT

dx^dhkBykBTSjtbTdhTSjhR(ys[d]vWd]jx^ry[]¢dhkBy[d]jh_v³dh_sjhT\[vS^`T\t5LN Q\¯x«²h²S«²y ~&

*Â#+,,- -¿Æ

c

qsjhkbvT\[h[Pk`yrAXC ©²¦<¨H¥!LG°«@ $bm A1\11kZ<1z3 n EHGW;s«N]« ©²K¨L;«K²S«S¨FQ=<

²³¨¦¨«³²JE Y·©²@¨@;s«(©§M©¨H©¿¦r°5²³¨Ê¦r¨Ê«E\Z

·©²<¦ Ls¦&N³¨H©¿¦r°y<x¥b§7¯S¨H©GQr§ ¯x¦°°«x¬´¨@;s«Kd]jx^ry[]¢dhkBy

_yv³dhkBy¼¦§G¬%3

=dA^?u¦L7²u²x¨¦¨«²u¨ Q@²³¥yK²«S¨Q?<LN Q L Q0²³©¨H©GQr§s²O`

LN%Qw¯x«³²x²+@ ©²5Éy¢dhT)©<½©²#ª §©¨«e¦§G¬©¨+©²EvkBR@qTSd]T)©<4<EQ$Nµ¦r°°B= 1!?YrE ZE=1z ?p©²e¬`«HªE§7«x¬`

kBR@q7k`_ytqsj]kbvST\[h[Tw[v\^ryMTK_sdp_sq´ofc[]f2yMvxOsj]kBysk`_M[qj]kbtb_vd\

*Â#+,,-

-¿Æ 9;«@¾¿[]f2yMvxOsj]kBysk`_M[hÀ qsjhkots_v³d Q?<u¨|GQ^LN Q\¯x«²h²S«²

@,SF$bmXAWS$14S$1S 1%Z)S1)3S{n ¦§G¬ @4Uq$bm AU1cU&1U 1kZ?U1)3\Uqn Q§¼¬r©²Q©§¨µ²S«¨H²!AWS¶¦§G¬{AU¶©²¨@;s«

L)N%Qw¯h«²x²F@,S @4U$bm A14ScU13=S 1U ?E1kZ<1)3 n Qr§RA $ AWS>]IAU²³¥¯J;¨@;s¦¨N

= WS 1 WU

?Y ZE=k= S 1 U ?E1) ?!GW;«§G«EO«N WS Y Z S = S 1z ?)¦§G¬ WU

Y-Z U = U 1) ?k?jE

3= S 1 U ?H$ 3 S = S ?]I3 U = U ?O`

yd]OT([]T\ 2_sT\H£T[OM^r5yq^rj]d]v_^`jWR^``Td]OsTqsjhkbtb_vduk`^qsjhkbvT\[h[Wk`y_A ¢dhO^`yskrdhOsTSj

¾HvkBR@qTSd]TwÀEqsjhkovST\[h[5k`y<^)tb[¿lgk`y2d[]Tdkrqsjhk`q7kB[]¢dhkBy[

P

y<kBjhtbT\j5d]kk`bdx^ry<^[]R(^`j qsjhkbvT\[h[5kBy

Ar] P `NPOs[E[5dhOsTpP^0fyOvxOR23657Te^rqqsT\t@dhk[kBBTpvkByBdhj]kBbqsjhk`sTSR ¾¿[]TSTeNPOsT\k`jhTSRU

mbT\v³dhkBy~2À³

*Â#+,,- -¿Æ!

^r7TSyqsjhkovST\[h[5k`y P C ©²p²³© LG°J¦¯RQL7°«¨«LN Q\¯x«²h²" Q§ P `$# Q GE#<EQ&N

¦r§ JLN Q\¯x«²h²H@ $bm[A1+11%Z<1)3 n G5©¨L;qA¬©²Q©§M¨<RN Q P E)@%" ©²K¯x¦r°°«x¬¦u^r7TSysk` @ ¾of

"+Àk`y P ` a(«K°«S¨,3\ '&)( ¬`«S§Q¨«)¨L;«K²S«S¨FQ=<u°¦Kx«S°±©§#MDLN Q\¯x«²h²S«² Q§ P `

krd]vTudhO^dp^r7TSys @&kBy+*(^`R(k`_sy2dh[dhk_sybk`tqsjhkovST\[h[@e

T)vS^`y´ysk tsTÉysTd]OsT)[]TSR^`yBdhv\[kr+d]OTkB`vrµ[pTSaoq7T\vd]Twt£bd]OT) 2_^ry2d]ÉMv\^d]k`ysHjhTSTWjx^rr

R(T\yBdpk`>24365vk`yvStbTw[¢dhO´d]OsTuR)_sÊv\^rv_s_[\

*Â#+,,- -¿Æ-,

0/)

Â -` Æ.1243 5 7v9;s«)©§¨«NSLN]«S¨Ê¦r¨H©GQr§Q=<u¨L;«H<EQ$N³@¥b°¦²u©§r23 5 =dA^?K©²]Nh«°¦r®

¨=©PO«p¨Q¦HL)N%Qw¯h«²x²\@ $bm A1\11kZ<1z3[nz¦r§7¬)¦DO0¦r°±¥¦¨=©GQ§/.t 102w #"

= X?O`H9;b©²p©§¨«ENSL)N]«¨¦¨=©GQ§

3

;%456

798

:

=?CX?K©²)¬`«HªE§G«x¬©§7¬r¥¯¨=©PO«°J¦0²H<EQ°°Q G$²ON

3 k 4 56

)798

:

$;

3

l456

798

: $ .< Y+:Ql:Yr3=?<4

3

&=4 56

798

:

$-.# >0%=@&8?

3

h\;?4 56

7@8

:

$A+B

3

;C4 56

)798

:

3

m n/;%456

)798

: $ .D YE:Q_ W ZE= 1z ?H$; W 1FHGI W Y 3

;%456

)798

: 4

3

;ITqVC4 56

798

: $ 3

;%4 56

)798

: ] 3

VC4 56

798

:

3

pc& `;H=@&8?J4 56

798

:

$;K. CL:Q

3

;%4 56

7MONQPSRUTO8

: C 4

3

_8P `;%456

798

: $ .D%Y+rQ_ "i$bm P 1SV 1XW<1kZ W1)3 W n!Yr36 '& ( 13= 1XW<!?Y

3

;?456

7 YQZ8

:

YQ[

4

GW;«ENh«¨@;s« O0¦r°±¥¦¨=©GQ§\.t 10]+V^% #"

@+" ©²¬`«HªE§7«x¬RKEJN

=_.# >0]+V ?E=&8?H$-.# >0k=&8?I+VX<EQ$N)¦r§ J!& Yrw #"`

(9)

krdhvSTud]O^rd\£M^B[Pk`jpd]OsTKqs_j]TR_bvS^rv__[jx^rBR(TSy2d\£bdhOsTK^r_^dhkBy+.# >05tbkoT\[pyskrdey_TSyvSTKd]OsT

[]TSR^`yBdhv\[Wkr[]TSy2d]T\yvTw[SeTSyvST`£H;&[K^r2365BÊ[]TSy2dhTSyvST`£GT[]O^r$j]d]T"@ Q$ ;&OsT\ysTSBTSjWd]OsT

ysd]^r#[dh^rd]Tukr'@ MT\kBys@d]k

3

;?4

:

Tµ[]Osk&yd]OsTµTSyt<krd]OTµ[]T\v³dhkBy(d]O^rddhOsTµ[]TdkrR(kbtbTS[ k`#^ryofq23 5 kBj]R_s^u[vkB[]T\t(_syMtbTSj

[]R_s^d]k`y#£bOsvxOTabOssdh[PdhOsTK7k`_syt[kr+TabqsjhT\[h[`TWqMkTSjPk`H243 5

*Â#+,,- -¿Æ

K©²³©@¥b°¦¨=©GQ§^Kx«¨|G «x«§ ¨|GQ L)N%Qw¯h«²x²S«³²]@,SF$bm A14S1

S

1kZ)S$1)3S{n!¦§G¬M@4Uq$bm

A1U&1

U

1kZ?U&1z36UFn©²(¦¨Qr¨Ê¦r°KS©§7¦&N<J N]«S°¦r¨H©GQr§ CA4S cU²³¥¯z;:¨@;s¦¨ =

S

1

U ? Y bEP¦r§7¬ <EQ$N¦°°

= S1'U!?Y{N

3=

S

?H$ 3=

U

?jE

e RY !E e

WS Y S E ©< Z S = S 1z ?$ WS E¨@;s«S§:¨@;s«N]««IB©²x¨H² WU Y U ²³¥¯z;¡¨L;¦¨\ZU = U 1z ?$ WU

¦§7¬ =

WS 1

WU ? YbE

e RY !E e WU Y U E ©< Z U = U 1z ?$ WU E¨@;s«S§:¨@;s«N]««IB©²x¨H² WS Y S ²³¥¯z;¡¨L;¦¨\Z S = S 1z ?$ WS

¦§7¬ = WU 1 WLS ? Y{`

Æ Æ - -¿Æ

.

< @ S $bm A1 S 1

S

1%Z S 1)3 S n ¦r§7¬-@ U $bmgA1 U 1

U

1kZU 1z3 U n ¦$N]«_K©²³©@©°¦$N

L)N%Qw¯h«²x²S«³²K¨@;s«S§w<EQ$N¦r§ J(²S«S§¨«§G¯h«;oYv23\5)=A]?JEHG « ;s¦$O«'N

@ S Q$ ; © @ U Q$;

FN%Q3Q=<`µmb_sqsq7kB[]TedhO^dH@ S ^`yt @ U ^rjhTe[]R(^`jqj]kbvTw[][]T\[\ TWqsj]kBTd]OTµjhT\[]_sdof(yMtb_v³dhkByckBy

;bNPOsTW^`[]vµvS^B[TB£BOsT\j]T^;[P^KkBj]R_s^krdhOsTWqs_sjhTµR_bÊv\^rv_s_[\£`[P^TS7oysk jhT\[]_sdk`.d]OsT

q_sj]T(R_bÊv\^rv_s_[\ kK£yd]OsT<v\^`[]TOsT\j]T ; $ _8P ; W£.[_sqqMk2[T(dhO^d]@ S Q$ ;T.T( qsj]kBT

dhO^d@ U Q$ ;B*ftsTÉysd]k`y´k`$[h^dh[¿^`vd]k`y.£odhOsTSjhTKTab[gdx[p^@^`MT\ysqsjhkbvT\[h[U"k`y P []_vxOd]O^rd\¸

@ S +"[Q$ ; W7mbyvST)s[]R_s^rd]k`y´jhTS^d]k`yM[p^rjhTKqsjhT\[]TSjh`T\tofqj]kbtb_vd\£ @ S +"»^ryt @ U +"»^rjhT

[]R(^`j\pTSyMvT`£#j]kBR!dhOsTcytb_vd]k`y OofoqMk`d]OsTw[[\£A@4U " Q$ ; W

^ryt@4UiQ$ ;'*fts_^r¢dgfB£.

@4U%Q$ ;d]OTSy @,S!Q$;

NPOTuv\^`[]T\[;i$ ;>S>T ;WUK^`yt<dhOsTvS^B[Tw[F;_$h\; W ^`j]TK[d]jx^r`O2dkBj]P^rjxt

8 6F! A] k

NPO[P[]T\v³dhkBycqsjhT\[]TSy2dx[ ^rjhk`_[Tas^rR(qsT\[k`[q7T\vS¢É7vS^dhkBy[k`jvkBy2d]jhk`7k`blgTwv³d]`Tw[ yv23 5 6+jh[d\£

^Wdhjh^`y[k`jhR(^rd]k`y@krGk`jhR)_^B[5[tbTÉMysT\t£BOsvxO_[Twt@d]kys{23 5 R(kbtbTSÊvxOT\vxoyWd]O<vSk`y2d]jhk`

qj]kBsT\R[S£7^`[W[Osky:2f¶NPOsT\k`jhTSR U`E^rjh^`y2dh[pk`Ed]OTNPOsT\k`jhTSR ^rjhTKd]OTSy:TSabqskB¢dhT\t´dhkv\^rqbdh_sjhT

jhT\ 2_sjhTSR(TSy2dh[\£b[_MvxO^B[u(¦3I`©¦°Ls«N³@©²h²³©PO«(¯ Qr§¨SN%Q°°«ENx²³£¯RQ§M¨>N Q°°«Nx²H<EQ$N"QRLs«S§¡²<J0²³¨Ê«S²x£Tdhv`

*Â#+,,- -¿Æ

Q&N¦§BJ¶²S«§M¨Ê«S§7¯x«"; Y 243 5 =A]?¦r§7¬b<EQ$N´¦§ J Y FEe¨@;s« =dkr ; ©²<¨@;s«

<EQ&N³¥b°¦ 9<;9$= ?Yv243 5 =A ] . 4?jEE©§7¬r¥¯¨=©PO0«S°J¬B«¿ª §7«x¬BKJBN

9 k 9= ?6$ k 9l+9!= ?6$ l

9E;RTRVH9$= ?6$ 9<;9$= ?Tc9JVF9= ?9Eh\;9= ?6$ h 9<;9$= ?

9j&:9= ?6$ & 9m On ;9$= ?6$bm n = C 9<;9$= ?k?

9jpc&V`;9$= ?6$^pc&V`9<;9$= ? 9 _8P ;9= ?6$ _8P 9E;F9&= ?

(10)

*Â#+,,- -¿Æ ©PO«S§J¦LN%Qw¯x«³²x²@ $bm A1\11kZ<1z3[n ¦§G¬²Q« Y:A%E$¨L;« =qsjh_sysyskrA@ ©²

¨@;s« L)N%Q\¯x«²x²@

MT

$bm^A1\1 1kZ W1)3 n ²³¥¯J;¶¨@;s¦r¨E<EQ$N¦r°° FY ·¦§G¬w rYv%E'ZW=1) ?$ ZE=1) ?)©<

Y:3=ZE=1z ?%? Q&NZ

W

= 1z ?K©²K¥b§7¬B«¿ª §7«x¬5Q¨@;s«NjG5©²S«e`

Â »

Q$N)¦r§ J]L)N%Q\¯x«²x²H@ Q§rA%Ey<EQ&N¦§BJ Y:A%E¦r§7¬<EQ$N)¦§BJ²S«§M¨Ê«S§7¯x«;oY 23\5)=A]?JE6G «

;¦$O«eN

3

;%4

:

$ 3

9<;9= ?4

: `

FN%Q3Q=<`µmod]jx^r`O2dkBj]P^rjxtof<ytb_vd]k`y´k`y-;

kBy2d]jhk`.[]f2y2dhOsT\[][^B[Tabqs^rysTwty»«e`M#`+U`£h~s£\USn£]n&[p^(`T\ysTSjhvWqsjhk`T\Rd]OM^devkBy[][dh[\£s``T\y^

qj]kbvTw[][@ v\^rTwt:^qs^ry2du^`yt:^qsjhk`q7TSj]dgf ;¼ykrduysT\vST\[h[]^`j]f¶[h^d][ÉT\t¶of´dhOs[uq^`yBdw£7d]kTSybkBjhvST

dhOs[Pqsj]kBqMT\jdgfofR^roys@d]OsTuqsjhkbtb_vdPk`#dhOsTuqs^`y2dPd]O´^ry´^`ttb¢dhkBy^rvSk`y2d]jhk`[]fo[d]T\R dhO^d

jhT\[d]jhv³dh[dh[P7TSO^0ok`jx[S [PvS^rT\tc^´¯RQ§M¨>N%Qr°°«NUQ=<H@ <EQ$N ;£s^ryt<d]OsTuBkB^r7[ dhk[foy2d]OsTw[STW[_MvxO

vSk`y2d]jhk`[]fb[gdhTSR[SydhOs[e[Twv³d]k`yTukovS_[Pk`ydhOsTPlgk`y2d[]q7T\vÉMv\^d]k`y´k`+vkBy2d]jhk`k`slgT\v³dhBT\[P^ryMt

^Btstbd]k`y^`pvkBy[gdhjh^`y2dx[kBy jhT Twv³d]ysd]OT¶^0f y&OsvxO¼d]O[<[]fb[gdhTSR TSabTSj]dh[vkBy2d]jhk`=$NPO[

v\^rq^`sdgf<jhTSTw[kByd]OsTukBky)dhOsTSkBj]T\R

ÂoÆ Â ©PO«S§J¦²S«§M¨Ê«S§7¯x«F;oYv243 5 =P ]0A^?jE,GW;«ENh« P ¦§G¬!A¦$Nh«)¬©²Qr©§¨dE¦§7¬¦^LN%Qw¯x«³²x²

@ Q§RAwEE¨@;s«H<EQr°°Q G5©§tM¡¦0²x²S«N³¨H©GQr§s²)¦$N]«@«x¤¥b©PO¦°«§M¨N

9;«ENh«@« IB©²³¨¿²¦c¯RQ§M¨>NQ°°«N Q§ P Q?<@[<EQ$N;`

@ Q$ _ , _P `3,+Cc9<;9=>,?!GW;«EN]«^,(©²¦<RN]«³²); LN%QRLQ²x©¨=©GQ§`

FN%Q3Q=<`6+jh[d\£r[]_sqsq7kB[]Td]O^rd5d]OsT\j]TTab[gdx[5^µqj]kbvTw[][ $bm P 1 1="D1kZ<1)3 n¼[_vxOd]OM^d\@- Q$ ;

`T\y , Y:. BF=P ]0A]?³£2TWtbTSÉysTµd]OsTW^r7TSysqsjhkovST\[h[" $bm P ] .,41 i] .

MT

41)" 1kZWS1)3Wn

OTSjhTe"wY 3 W="&?6$ 3=@"&?] .!,$4B£83 W=

MT

?6$-*s£s^ryt ec {YI)¸

Z W=!

M T 1z ?H$"

M#T £

Z W="$1) ?6$%$

ZE="$1) ?¼¢\ZE=@"$1z ?[tbTSÉysT\t

M T

krd]OTSjh[]T

=@- " ?

M'&T

k`jµT\ 2_s0^`T\y2d]f @;c=_"'?

M'&T

[h^dh[ÉT\[; £G[yvST( [ =" ?

M'&T

¢dhOsk`_sd^,^`yt ,KtbkoT\[

ykrdkbvSv_jy ;*)e[]y .TSR(R^U`£bTKvk`yMv_tbTWd]O^rd =P@;\"'? Q$ ,\Cc9E;F9&=G,?

mb_sqsq7kB[]T<ysk d]O^rdD@ Q$

_ , _P

`,FCf9<;9$=>,?³\*f(µTÉMys¢dhkBy/b£#d]OsT\j]Tc[^¶^`MT\ys¡qj]kbvTw[][ "XY

3\ '&,+

.-0/

( [_MvxOcdhO^d@-\"oQ$ ,XCc9<;9=G,3?³B*f #TSR(R^U`£ =@- "'?

M&XT

[h^dh[ÉT\[;MNPOTSydh^``T1

^B[U="'?

M&T

T(_M[gdhjh^rd]T@ysk d]OT_[]T@kr 2365´dhk[]q7T\vf¡^rjhk`_[WvkByBdhj]kB#jhT\ 2_sj]T\R(TSy2dh[\NPOsT)kBj]R_s^

_ ,$`,]C 9E;F9&=G,?ckr)NPOTSk`jhTSR UJ[TSyj]vxOsT\t d]k y2d]T\`jx^d]TJvk`y2dhj]kBµjh_sT\[\y dhOsT[Tw B_TS=£TJTd

m0rn$32

465

mF 6nK£~{$87

465

~ Ê£ :9s ,;

=#<7? $ 9jp(`ymn ( T=<9=G,3?³£^ryt>F.

=#<7?v$

9O(`~ L(C<X9=>,?³Bp[kM£0d]OsT Ê¢d [5vS^`ysk`yv\^rfKTSa2dhTSytsT\t)d]kK^ryof)vSk`ylg_syMv³d]k`y@kr7qsjhk`q7kB[]¢dhkBy[S

(11)

^`yofckr+d]OTSR´ Êdx[pTab[gdhTSyvSTKR^0fc7TTabqsjhT\[h[Twtcofcd]OsTKkBj]R_s^¶¾gUwÀpy¡^BtbR([h[]sTvkBy2d]jhk`T\j ,

dhjh^`y[]¢dhkBy[5dhO^ry ,r j]d]ys ,<YBZE=>,?H[f,<YBZE=>, W?5dhOsTeR_bÊv\^rv_s_[Ek`jhR)_s^(>F.

=>, W?C :9' ,,;

=>h\,3?<T

dhOs[j]Tw 2_sjhTSR(T\yBdP[TabqsjhT\[h[Twt<ofdhOsTuk`jhR)_s^´¾HBÀ³

_ ,$`> F.

=)~),3?7C ,\Cc9E;F9&=G,? ¾gUwÀ

_ ,$`6>F.

=)~zP,?7C ,XCc9<;9=G,?%C

b e),

W`i>F.

=)~), W

?AC=>,<YBZE=>,?H[f,<YBZE=>,

W

?k?j g h i, W

Cc9E;F9=>,

W?j3d

¾H`À

R(T\yBd [q7k`vSfy2d]k^BvSvSk`_sy2de¸Bd]OsTW^rqsO^`MTSd k`d]jx^ry[]d]k`y[ [^tb[lgkBy2d_sysk`y<k`d]OsTW^rqsO^r7Td

k`vkBy2d]jhk`^`sT)d]jx^ry[]d]k`y[W^ryt:d]OT(^`qO^r7Td!

kr_syvkBy2d]jhk`^`sT)d]jx^ry[]d]k`y[\£MT\y^rTwt

kBjuyskrdKof´d]OsTT\yo2jhk`ysR(TSy2dwGNPOT QRLs«S§¼¯RQ§M¨>N Q°°«N<R)_M[gdKTSyM[_sjhT\[];&kBjK^ryof¶qMk2[][]sTvxOskBvSTk`

dhOsTWTSyoojhk`ysR(T\yBdw2NPO[jhT\ 2_sj]T\R@T\y2d[TSabqsj]Tw[][]T\t<2f@dhOsTWk`jhR)_s^<¾¿~2À³£bOsT\j]Ted]OsTWqsjhk`q7kB[]¢dhkBy9

jhTSqj]Tw[T\yBdx[5dhOsTµT\yo2jhk`ysR(TSy2d [ qMkBvfBoNPOTµ^`tb=Oskbvµ[kB_bdhkBy<kr$Gv\^rysysk`d7TµTw^`[]f(Taod]T\ytbTwtd]k

_ ,$`>F.

=)~)P,?7C5e 9 `bi9C>F.$==~ z#9$?kjg iS,\C9HC 9E;F9$= 9FC ,?%j!d ¾¿~BÀ

_ ,&`>F.

==~zP,?%C ae 9`b i9HC>F.$=)~ J#9?j g i,+C9HCc9<;9= 9FC ,3?j!d

C eA, W`bi> F.

=)~ P, W?7C=G,<YZE=G,?H[f,<YZE=G, W?k?%jg

_ 9 W`9 W C>F. =)~ 9$?7C-hF=>, W C9 W Cc9<;9= 9 W C , W?%?dl

¾n2À

OvxO.£bR(kBj]T\k`TSjw£B[]TST\vdh[PTSab^Bv³dhfkBysTKvk`y2dhj]kB^rsTpdhjh^`y[]¢dhkBy^rd^)d]R(T`£^`yt[_vxOd]OM^d\£byd]OsT

jhT\[]_sd]ys([_sq7TSjho[]T\t[fb[d]T\R£s^ÉyM^r[gdx^dhT(¾¿``T\ycofd]OTWqj]kBqMk2[d]k`yIoÀ[^`P^0fb[ jhT\^BvxO^rTB

#Td0$ `i =pc&V` T^m4\n &8? Cf~j)^`yt´Td! #"$0$ i%=2

465&%('

?g 2

465&%('

==m4 sn

,'Cr~ B.' B4Oh\,? j Tb^)yskBybÊskbvxoysR@qT\R@T\y2dh^rTuvkByBdhj]kBTSjkr^[fb[d]T\R @&R^0f(MTWTabqsjhT\[h[Twt

ofdhOsTuk`jhR)_^¸ _ ,$`,XC 9)9&=G,? C>F.

==~zP,?7C>F.

=* #")$?

+@«x¯x«§M¨>N]¦r°±©-,w«x¬¯RQr§¨SN%Q°°«Nx²\<EQ&N^;`KNPOsTTab[d]T\yvT)kr tbTwvTSy2dhjh^`STwt¶vk`y2dhj]kBTSjx[ S ^ryt U [_MvxO

dhO^d@- S U Q$; R^0f<7TKTabqsjhT\[h[]T\t<ofcd]OsTukBj]R_s^¸ _ , S3_ , U `=G, S C , U ?7C 9<;9$=>, S C , U ?

NPOsT^`Bk`jh¢dhOsR[k`j5[]foyBdhOsT\[]SysµvSk`y2d]jhk`T\jh[#j]T\fKkBy^`_bd]kBR(^rdh^µ[T\R(^`y2d]vS[kr243 5 £qsjhT\[]TSy2d]Twt

yd]OsTKyTaodp[Twv³d]k`y#

(12)

e_bd]kBR^dh^rHdhOsTSkBj]TSd]v¶^rqsqj]k2^`vxOsTw[qj]kotbT´d]OsT:R@kbtbT\pdhOsTSkBj]f½kruR)_bvS^`vS_s_[S£^ryt¼dhOsTSf&kr¹GTSj

tsT\v[]kBy ^r`k`jhd]OsR[kBj<dhOsTJ[h^dh[ÉM^r¢dgf&^ryMt&d]OsTJR(kotsTSÊvxOsTwvxoys qj]kBsT\R[VU!b£\U\£SU$7U!#s£

#&=(µTSq7TSyMtbyk`yd]OsT^`qsqsjhkB^BvxOk`kT\t.£stb¢¹GTSjhTSy2de^`_bd]kBR(^rdh^O^0`Tu7TST\y´vSk`y[]tbTSjhT\t£btb¹GTSjhys

R^`ysfKydgkWk`j]d]OskB`k`yM^r`qM^rjx^rR(TdhTSjx[ ¸0dhOsTPR@kBj]Tk`j$T\[h[$j]Tw[gdhj]v³dhT\t)2ytkrMd]jx^ry[]¢dhkBy[\£wjx^ry`ys

jhk`R ^rd]T\j]y^rd]ys^r_bdhk`R^dx^d]kdhOsT []_s7vS^B[][Gk`bysk`ybtbTSd]TSjhR(y[d]v5^r_bdhk`R^dx^s£^`ytµd]OsT ^BvSvSTSqbdx^ryvST

vSk`yts¢dhkBy[«e`M#`Xp^`sy.£m2d]jhTSTSddw£ È krdh`kp[]oq^rjh¢dgfB

NPOT¡v^`[h[(krWd]jhTST¶^r_bdhk`R^dx^Jk`j<R_bÊv\^rv_s_[(OsvxO&T¶[]O^re^Bts^rqbd(dhk[23\5»[(d]OsT¡vS^B[][(k`

[$[gdx^dhT\tofNPOsT\k`jhTSRzeMT\k»OvxO@vk`yM[gdh¢dh_bd]Tw[#dhOsTPR^ry)jhT\[]_s¢d$krd]Os[5[Twv³dhkBy7TSdhOsTPj]T\R^rysy

j]ysB[^Bvxd]OTKR(^rd]T\j]^rysT\T\tbTwt<kBj¢dx[qsjhkokrg

Qr§RA ²³¥¯J;´¨@;s¦r¨Ey<EQ&N¦§BJ^LN%Qw¯x«³²x²F@ Q§IAFN

*Â#+,,- -¿Æ

0/)

- Â Æ »b\ Æ Æ Â \ Â 7

$bm A1M1 1 1 D1/

=A]?

=%= ] .! 4$? "D?4]8=d 8.

1

4$?O`

*Â#+,,- -¿Æ

#4F/%$

Æ. Ç Â Â -dW-S -¡# Æ b\ Æ. Æ Â \ Â 7

=! 1 P ?C .! 34 b<EQ&N¦§BJ(wY¶¦r§7¬= 1 P ?HK= "D?C <EQ$N@¦§ J(bY`

. £od]O^q^`jdh¢dhkBy =d0/ 1z0//? krd]OTµBTSj]d]vT\[\£o^rytd]O^q^`jdh^`MR^`qsqsysw"ujhk`R d]OTµBTSj]d]vT\[

dhkK^µBBTSy)Éysd]Tp[]Td5kr7y2d]T\`T\jh[\r L7°¦&J6<RN%Q ²Q«O0«N³¨Ê« I .qsjhkovSTSTwts[$^`[+k`kp[S¸0J.qYv0/`£0dhOsTSy

q^0fBTSjvxOskokB[]T\[^[]_vSvST\[h[kBj BTSj]d]TaC. W£2T\[]TWqs^0fBTSjHk vxOk2k2[Tw[^[_MvSvTw[][]k`j`T\jdhTaC. W£s^`ytc[]k)kBy

[+Éysd]Tµ^ryt@TSyMts[$y^uBTSj]d]Takr // £rk`j57dE[5ysÉysd]Te^`ytdhOsT_sqsq7TSj MkB_syt(krMd]OsTµ[TSd$k`7jx^ryo[

"=_. ?µkr`TSj]d]vTw[ .dhO^d^rjhTT\yvkB_sy2d]TSjhT\t:ysÉysd]TSf¶krdhTSyJ[WTSBTSy.²³¨>N]¦r¨Ê«MJ<EQ&NLG°¦$J`«N [µ^

_yv³dhkBy1»^`[h[]Bysy<^c[]_vSvST\[h[kBjp`T\jdhTad]kcT\`T\j]f´[Tw 2_sTSyvSTkrEBTSj]d]vTw[2. £7TSytsysyJ^<`T\jdhTa

?POsT\ysTSBTSjdhOsT)[]T\ 2_sT\yvTw[ 2. ^ryt 25 T\yt´y

dhOsTe[h^rR(T`T\jdhTa` ²³¨SN]¦¨«M&J\<EQ$N+LG°¦$J`«N

ysd]^rG`T\jdhTac^`j]Tµysyys@kBjqs^0f`T\j³ ysysys([gdhjh^rd]T\`T\[ k`jPqs^0f`TSjHk^rjhTµtbTSÉysTwt[]R(^`j]f`