The Steam Boiler Controller Problem in Signal-Coq

(1)

HAL Id: inria-00072888

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

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,

The Steam Boiler Controller Problem in Signal-Coq

Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin

To cite this version:

Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin. The Steam Boiler Controller Problem in Signal- Coq. [Research Report] RR-3773, INRIA. 1999. �inria-00072888�

(2)

ISRN INRIA/RR--3773--FR+ENG

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

The Steam Boiler Controller Problem in Signal-Coq

Mickaël Kerbœuf, David Nowak, Jean-Pierre Talpin

N˚3773

Octobre 1999

THÈME 1

(3)

(4)

.0/21436587:9$;=<:>@?BADC!EFHG#5JI/2K0LNMJO&583HFBP8<Q5SR TUV/W<X>Y>@<[Z\5892]/WR

^_6`(a&b&cedgfh@ijb@kmlJnNbopijqJiro*`(a&b@i

sHtjumvrbowHsyx{zy^f

f$km|}|8umtjo~}bVtjbY_}b(t_}bX:mdeo*um}t*bc@mXVdm|6kXb@i

N!@(4}mm zpa&um}oj_6bVkmtjumlSiuXtja-km i¡a-iBumt¢o*_}b~Jb@ijm#u t*b@kXo*XbeijqJiro*b(a-i(£:o*_}b&¤8¥¦ §+¨©mª

«e¬! umt*a-kkm|}|}t*uXkX_®£Q2¯bm¯o*_}buXa}}bY~Nl6ijbVu!oj_6bi¡qQ6_}t*um6uml6i~}ko*k4°Su4±²km}mlSkmb¤8¥¦ §+¨©

km6~Noj_}bV|}t*uQukmi*i¡ irok:o «e¬ £Si¡b@b(a-i¢oju&8bVb@ij|SbY kqNijl}ojbY~#km6~|}t*kXo*@kW¯

³{6~}b(b@~®£Joj_}b~}bojb@tja&} iro*V(um6(l}tjt*b(Sq&a&|}b@~´Qq-oj_6bi¡qQ6_}t*um6uml6iBa&uQ~}b(®uX±_} _¤8¥¦+ª

§®¨©µiuXl}6~JbY~¶iro*tjuX}mq·i¡a&|}¹¸6bYi&oj_6bDi¡|8b@(¹¸S@k4o*uXºkm6~·o*_}b=mb@tj¸S@k4ojum»u¼i¡l6_¶ijqQi¡ojb@a-i(¯

½Dumt*b(u4mb@t@£

«e¬!

iB}uoBa&¹o*b@~-o*uijuma&b$¾Q6~-u+|}t*um|8b(tjojb@iBk6~Ni¡uS£Xo*il6i¡b\b(6km}b@iyo*u~J ijtjb@Xkt~

±_Sk4o$(km8b_}b@¾Xb@~#~Jl}t*6o*_}bij|SbY¸S(kojum´irokmbX¯

³{µoj_6ikmt¡o*(bX£±¢b&l}6~Jb@tj6b&oj_}b-4kt*uml6iebYk4ojl6tjbYi¼uo*_} i-¤8¥¦ §+¨©mª

«e¬!

umt*a&kmHk|}|6tju:km_

±oj_=k kt*mb¼ij@kb¼@kmijbViro*l6~Jqm£JSka&b(q¿o*_}bÀ:ojbYkaÂÁ¢uXb(t|}t*um6b@a#¯

Ã=Ä:ÅÇÆ*ÈÉ 4Ê!m tjbYkmo*Xb#ijqJiro*b(a-i@£ijqQ6_}t*um}uXl6ia&uQ~}b(W£¢Xb(t*¹¸8(k4o*uX®£a&uJ~Jb@p_}b@¾Q}6£¢|}t*uQu

kXijij irok:o@£JumxW6~JlSojum

Ë Ì+ÍjÎÐÏ@ÑÍÒ!ÓÎÐÔWÕÖ

Unité de recherche INRIA Rennes

(5)

sykmtja&Jb@iH~JÇh(t*b(:o*i!uXtja-k i¡a&b@i!|8b(t*a&bo¡ok:oH ke(um6(b(|Jo*uX~}b@iyijqQi¡oj`@a&b@it*h@kmoji(£

k|}|}t*uJ_}b\umt*ab@b¤8¥¦§®¨©ª «e¬ £HlJoj i*k4ojum´uXa}}h@b¼~}l k}:kXb\~Jb¼|}t*umXt*kmaa-kojum

ijqQ6_}t*um}b°6uo~}b¿~Jum}6h(b@i¤Ç¥¦§+¨ ©#bo~Jb-kXijij irok:o~Jb&|}tjb@l}mb «e¬! £ ijb(a}b(ojt*b-|6ktjoj x

l6`(t*b(a&b(:o$km~6k|Jo*h(bm¯

wH#bÇboY£JkuX6l6tjt*b(6(b\~Jh(ojb@tja&}i¡ojbe6~Jl}ojb¼|6kmtBb¼auJ~J`@b¼ijq:S_}tjuX}b\ijl}t¢b:l}b(!¤8¥¦ §+¨©

bYiroVuX6~Jh¿ija&|}¸6b&umtjojb@ab@:ok´ij|ShY¸S(kojum bo k´mh@tj¸S(kojumµ~Jb&ojb@iijqJiro*`(a&b@i@¯¿wH uXlJojt*bm£

«e¬! bYiro|6kXia&ojh!l}#b@t¡ok&orq:|8b¼~Jb\|6tjuX|}tjho*h@ibok6i¡W£Qi¡uX¿lJoji*k4o*uX¿|Sb@tja&b(o~Jb\kt*b

km6i¡ojtkmo*uX~Jb(b"Xl6®|Sb@lJo#o*tjb¼Xh(t*¹¸6h¼|8b(6~6k:o$k|}_Skmijb¼~}bi¡|8h@(¹¸S@k4o*uX®¯

$ek6i#bµ~JuJl}a&b@XoY£p}uXl6iNijuml6m}uX6i¿b@i#~J8h@tjb@:o*iNkXi¡|8b@o*i#~Jb(bojojb k|}|}t*uJ_}b´umt*a&b(b

¤Ç¥¦§+¨ ©ª «e¬! %k ~JbV~l}}bVh(ojl6~Jb~}b(kmi¢ ijijl}b~Jb¼6~JlSiro*tjbm£&&i*kmuXt¢bV|6tjuX}`@a&be~Jl=i¡ojbYka

8umb(tY¯

'É Y Æ )( ijqJiro*`(a&b@iBt*h@kmoj i(£:a&uJ~J`(b\ijqQ6_}t*um}bX£mmh@tj¸S@k4ojum£Xa&uJ~Jb(x{_}b@¾Q}6£:kmi*i¡ irok:oB~Jb

|6tjb@l}mbX£}uxÐ6~Jl6ojum

(6)

* +

-,

³{oj_6ikmt¡o*(bX£:±¢beQmbYiro*:k4o*b$oj_6b¼(uma}6b@~l6i¡beu oj_}bVijqQ6_}t*um}uXl6iH k}Xl6kXb¤8¥¦ §+¨©&km6~¿um

o*_}b|}tjuQumkmi*i¡ irok:o «e¬! umt¼i¡|8b@(¹qQ}#km6~=Xb(t*¹qQ}N|}t*um|8b(tjojb@i\uk kt*mbi*(kmb(kmijbi¡ojlS~Jqm£

Ska&b(qm£Qo*_}biro*b@kma SuXb(t|6tjuX}b@a´¯

^_6i¼~JuJl6ab@:o¼ i¼~J: ~JbY~[:ojuor±Bu#a-k[|6kmt¡oi(¯/.!t*i¡ojqm£ k4ojb@tVkij_}umtjo¼tjbY(k!uHo*_}b-um:o*bnQo@£

±¢b|}t*b@ijb(:o$o*_}b¿¤Ç¥¦§+¨ ©ª «e¬! uXtja-kmk|}|6tju:km_#umtpoj_}b~Jb@ijX=uyt*b@kmojmbijqJiro*b(a-i(¯$^_6b(®£8±Bb

t*b(|8umtjoVoj_6b¿tjbYi¡l6¹oiu$ij|SbYqQ}k6~ Xb(t*¹qQ}´oj_}biro*b@kaxÐSuXb(t|}tjuX}b(a ±¹o*_ oj_} ia&bo*_}uJ~+¯

0puok}qm£J±¢bV~Jb@i*t*8b¼uml}t¼¤Ç¥¦§+¨ ©a&|}b(a&b(:ok4ojum´=~Jboki@¯

1231 46587:9;=<?>@5BA@CED;F5HGID

f$b@kmojmbVijqQi¡ojb@a-ikt*beumojb@´i*k4b(orqNt*oj (k®km|}|}@k4o*uX6i±_} _´kmtjb¼=_6kt*mbeu_6kS~J}&al6¹x

o*|6b¿:ojb@t*kXojumSi¼±¹o*_ oj_}b-b@:QtjuX}a&b(:o@¯^_}b(q kt*b-k i¡u´uo*b(·(uma&|Su:i¡bY~[um$i¡b@mb(tk|6kmt*kmb(

(uma&|8um}b@Xoioj_Sk4oe(uQum|8b(tk4ojb¼o*uNkm_6b@mb¼oj_6bbnJ|8b@o*b@~=8b(_Sk:uml6t@¯^_}uXijb(uma&|SuX}b(:oitjuXl}m_6q

8b(um6&oju-or±¢u-a-k#|6tjuJbYijip kmi*i¡bYi(¯¢^_}b(q´kt*b¼b(oj_}b@tp|6kmt¡o$um!o*_}b:ojb(tjkm(bV±¹o*_´oj_}bb(QQt*um}x

a&b@Xo¼±_} _b@6ijl}tjbYi$o*_}b&bn}_6km}mbuHo*_}b-~}k4ok}£Çumteoj_6b(qD(kmtjt*q´umlJo¼|}t*uJb@i*ij}um[oj_}bYi¡b&~}k4ok}¯

^_6b(t*bumt*bm£!uX6l}t*t*b(6(qDiuo*b(·k a&|SuXt¡ok:oVb@kojl}t*b-o*_6k4oij|8b@¸S@k4ojum km6~ |}t*ummtka&a&}

uXtja-km i¡a-i¢_6kXb\o*uo*k¾Xb¼:oju-kX(uXl}:o@¯

zp}uo*_}b(t¢b@i*ijb(:oj kÇkmij|SbYoY£Xa-kqQSb\oj_6bpa&uXi¡o¢a&|SuXt¡ok:o@£: iBt*b( k}orqm¯!³{6~Jb@b@~+£Qt*b@kXojmb\i¡qJi¡ojb(a-i

kmtjbpuojb@-_6kt*mbumt*¹o*@k6_Ql}a-km¿umtBb@uX}uma& tjbYi¡uXl}tb@i@¯ ^_Ql6i@£Xoj_}b@qumojb@¿tjb:l}t*buXtja-k

Xb(t*¹¸8(k4o*uX¿o*u:uXi±_6b(´Sb@6&~}b@ijX}b@~+¯

J8K

Ä

$LNM!XJ)L

ÉO z\i¡qQ6_6tjuX:q ioj_6b=au:iro-6kojl}tka&uJ~Jb@umt¿uX6l6tjt*b(:o&|}tjuXmtka&a&6kS~

ijb(b@a-iNo*_Ql6ioju¶Sbµ±¢b(km~}km|JojbY~ umt#o*_}bµij|8b@¸S@k4ojum0utjbYkmo*XbijqJiro*b(a-i(¯ zpijq:S_}tjuX}umlSi

k6ml6kmmb@i¾mbEPÀQsRQc)ST}umt:UWVÇ¨!QST6kt*b6kXi¡bY~uXoj_6ia&uJ~Jb(W¯yÀQSb¢oj_}b¢|}t*umXt*kmaa&}$a&uJ~Jb(Jum

o*_}b@ijb¼km}mlSkmbYi i¢uml66~Jb@~#uX¿oj_6bV:ojb@tjb@kQ}um!b(nQojb(t*6km8b@mb@Xoi(£QXb(t*¹¸S@k4o*uXiju:uXN8b@(uma&b@i

k&_6kmb(6m} i*i¡l}bX¯

^_6b\ijq:S_}tjuX}umlSiyk|}|}t*uXkX_oju(um6(l}t*tjb@6qYX±_} _Ni¡o*ktjojbY~&ojuSbeQXb@i¡ojXk4o*b@~!Qc[Z\T^]Hb@6k}b@i

o*uVkmum ~¼o*_}iy~}#_¿l6¹orqX£X~J i¡t*b(:kt~J}$bnJbYlJo*uXkm6~(uma&al}6@k4ojum~Jl}tk4o*uX6i(¯ ³Ðoyoj_Ql6ib@6k}b@i

o*uij|8b@qm£6mb(t*q¿k6~#i¡al6kojb¼kt*b@kXojmb¼ijqQi¡ojb@a k4o$kl}6o*uX6k+b(Xb(W¯y^_}b`&%? BbYk4o*l}tjb

um+oj_}bei¡qJi¡ojb@a ±8uX}q8be_6b@¾mbY~-k4oBoj_}b\a&|}b(a&b(:ok4ojum#irokXb$umNk|6ktjoj l} kt¢kt_}ojb@ojl}t*bm¯

½[kQq=|}t*ummtka&a&}N k}Xl6kXb@i\¾mbbadcfe gihijkQc\l[TÐ£fmegij=hij}©nQ:£\THuXt¤gm¨ogijqpr+¨Hhgie-Qc@Tkt*b

Skmijb@~#um´o*_}ieijq:S_}tjuX}umlSik|}|}t*uXkX_®¯@0\ka&b(qm£ ¤8¥¦ §+¨©!QZJ£!cY\T ipk¿~}ko*k°6u4±0 k6ml6kmmb¼±_} _

_Sk6~Jb@iJ¸66¹o*bi¡bXl6b(6(b@iuy~}ko*k=s!o*_}b`t #"ut¯

vVÄ L^MmJ[LÉO ^_}bau:iro´uXaa&uX²±¢kqºo*u mb@tjq ijkborqº|}t*um|8b(tjojb@iut*b@kmojmb[ijqJiro*b(a-ii

a&uJ~Jb@¹x{_}b@¾Q}6£Y±_} _t*b(bYi®umi¡bYkt_}6$bnJ|8b@o*b@~V|6tjuX|Sb@t¡o*bYi®k¸66¹o*bBa&uJ~Jb(:u6oj_}b¢i¡qJi¡ojb(a´¯

^_6iNab(oj_}uJ~¶_6kXi¿ijb(mb@t*km$km~J4kmXokXb@i@¯w.}uXt¿6irok6(bm£o i¿uXa|6b(ojqºkmlJojuXa&koj =k6~ :l}ojb

kXiroY¯H½=umt*b(u4Xb(tY£mo$|}t*uQ~}l6bYiuml6Xo*b(t*bn}ka&|}b@i¢±_}b@No*_}bVmb@tj¸S@k4ojum_6k|6|Sb@6iojukmW¯HÁ¢lJooj_}b

a-km ~Jtk±6km¾Ji¼uma&uJ~Jb@B_}bY¾:}=kt*b&oj_6bNirok4o*b¿bnJ|}uXijuX|6tjuX}b@a km6~oj_}bNtjbYiro*tj o*uXµum

b(nJ|}tjbYijij}b|}tjuX|Sb@t¡o*bYi+o*uekpmmb(£~}b@ ~}km}bX£uXm ¯³{S~Jb(bY~+£4|}t*um|8b(tjojb@i+o*_6k4o:XummbH|Sktka&bo*b(ti

(7)

uXt}um´}bYktQl}a&b(t* (kÇ4kl}bYi(k6}uo$8b¼|}tju4Xb@~~Jt*b@ojqN±oj_=ka&uQ~}b(xÐ_}bY¾mb@t@¯

^_6b(umt*b(a |}tju4Q} i¿}uo¿a&ojbY~¶:q·oj_}u:i¡b=t*b@i¡ojt*ojum6i@¯0\ºoj_}b[uoj_6b(t-_6km6~+£¢oj_} i-a&bo*_}uJ~+£

±_6_´ i6kmijb@~#um´k&a-k4o*_}b(a-k4o*@k+umXemmb@Qq#kuXtja-km®i¡qJi¡ojb(a´£}t*b:l}t*b@iXo*b(tkmojumN±oj_

k¿l6i¡b@t@¯e^_}bo*_}b(uXtjb@a |6tju4Q}-|}t*uQ(b@i*i$ i$o*_}b(t*buXtjbi¡u4±Bb@toj_Sk=o*_}ba&uJ~Jb(_}bY¾:}¿uX}bm£ÇkS~

o$(kmijuma&bo*a&b@i¢8beojb@~}uXl6i(¯H^_6b(umt*b(a |}t*u4mb@t*i¢(kmN8bV kmi*i¡¸6b@~km@umt~J}Vo*uo*_}b(t~Jb(Xtjb@b\um

kmlJojuXa-k4ojum¯!^ uQum iH¾Xb «e¬ Q\TÇumta@j6¦ ¬ t*b:l}tjb\kV_}m_}b@tXo*b(tkmojum-±oj_¿o*_}bplSi¡b@tBkS~&oj_Ql6i

o*_}b(q#kt*be@kbY~[/t t t'?qt¯

«e¬! ie±¢b(Hi¡l6¹o*b@~=o*u´tjbYi¡uXXbuXa|6b(nD|}tjuX}b(a-i(¯³Ðo¼b@6k6bYi$o*u#a-km}|6l}kojbumt*al} kmi\uBoj_}b

@k l}l6ium!6~JlSojmb(um6i¡ojt*l6ojum6i Qc@\TÐ£6b(nQojb(S~Jb@~´±oj_=umxW6~JlSojum Qcmc'TÐ£Sk&umX@k+ k}Xl6kXb

(uma&}t*uma orqQ|8b\o*_}b(uXtjqX¯y^_:lSi(£Jij6(b «e¬! (kmN_6km6~Jb\J¸6}ojb¼uXJvrb@o*i@£:oi¢±¢b(+km~}km|JojbY~-oju

t*b(|6tjbYi¡b@XoijX6k i(¯

12 "!E5 A;o5H7 G$#%'&d<)(35+*-,.&0/@;1*2&0(435*6&879(35HG

C maximum gradient of increase maximum gradient of decrease maximal outcome of steam

:;:

:;:<

<

pump controllers provided data: flow

pumps capacity:

provided data: status P

M₂

N₂

N₁

M₁ M₁

M₂ N₁

N₂ steam boiler maximal capacity:

minimal limit:

maximal limit:

minimal normal:

maximal normal:

C U₂ U₁ : : : W

=;=

>;>

steam measurement device provided data: outcome of steam

water level measurement device provided data: quantity of water

.!Xl}tjb&csysH_QqQij (k+b@Q:t*um}a&b(:o

ÀQb@mb@t*km$umt*a-kea&boj_6uQ~6ib@6k6b[oju»ij|8b@q²kS~ mb@tjq k·t*b@kmojmb[ijqJiro*b(a´¯ ³{ umt~Jb@t¿oju

(uma&|6kmtjbo*_}b(tiro*tjb@}o*_6iBkm6~-±¢b@km¾:6b@i*i¡bYi(£:kuXaa&uXN(kXi¡beiro*l6~Jqm£QW¯bX¯!oj_}b¼iro*b@kma8umb@t¢(um:ojt*um

(8)

ij|8b@¸S@k4ojum´|}t*um6b@a#£6_6kmi8b(b@´|}tjuX|Su:i¡bY~#:q6¯x{fV¯6z$6tj kW£}w$¯8ÁXtjXb(tkS~¯ k}Xa&kXkm¾ Q}£

cm£ l\TÐ¯´^_}b¿umt*m6kHij|SbY¸S(kojum iV}umt*a&km2£!} kmijb@~ojuk´|6ktjoj l} ktVa&|}b(a&b(:o*kojum·km6~ ¹o

(um:o*kmSiVi¡uXab-kma}ml}ojb@i@¯N^_}b@®£ ijuma&b-|}t*b@(ijum6i¼kS~µijuma&b¿~JbY i¡umSiVk8umlJoVo*_}b-|}t*ummtka

km6~Noj_}bV|}_QqJij@k+b(QQtjuX}a&b(:o¢al6i¡o$SbVa-km~}b¼ko¸6tiroY¯

ÇÅ [LX ( Ä O L ÉO ÄoO ^_}b\|6_:qJij@kÇb(QQtjuX}a&b(:o¢ iuXa|8uXijb@~Nu ijb(Xb(tk8l}}o*iX¢¥¦]¯

wBkm_#um}b¼ i$_6ktkmojb@tj(bY~-Qq¿|}_QqJi¡ (km®umSirok:o*ikm6~ijuma&b¼u oj_}b@a |6tju4Q ~Jbe~6k4o*k6¯

É (Ä @@} Ä ÄoO ^_}b¿|}t*umXt*kma _6kXiVojuµuXXo*tjuXyoj_6bNb(mb@um$±¢kojb(t·oj_}b#iro*b@ka 8um¹x

b@t@¯·^_6i:l6k:o*¹orq _6kXio*u8b#}b(oj_}b@tojuQuu4± }uXto*uQu[_}m_®¯»po*_}b(t*± i¡bX£yoj_}b´ijqQi¡ojb@a a&X_Xo

8bk 8bYo*b@~+¯¼^_}b|6tjuXmtka kmiju¿_6kXi$o*uNa-kSkmb|}_QqQij (k l}}o*ipkl6tjbYi(¯.}umt\oj_Sk4o\|6l}tj|8uXijbm£Çk4o

b@mb@tjqauXa&b(:o@£S¹oi$ok¾mbYiXo*uNkm@uXl}:ooj_}bmum6kmirok4o*buoj_6b|}_QqJi¡ (km®b(QQtjuX}a&b(:o$±_} _=i

~}b(}umojb@~¿:q-km & N b ¯Hz@umt~J}Vo*uoj_6ii¡o*k4o*bm£Xoj_}be|}t*umXt*kma~JbY ~Jb@i¢k4o¢b@km_qJb$

o*_}bijqJiro*b(a al6i¡opiro*um|=uXt$}uoY£Skm6~´¹y}umo@£S¹o¼kmo*4kojb@i$umtp~JbYkmojkojbYi|}l}a&|6ip=uXt*~Jb@toju-¾Xb(b@|

o*_}bVb(mb@®kmial6_#kXi|Su:ijij}b¼#oj_}bVa& ~}~JbVuo*_}bi¡ojb@kmaÂ8umb@t@¯

^_6beij|SbY¸S(kojumNkmijuXXb@i¢km~}~JojumSk8JuXtja-kojumN(um6(b(t*}6oj_6b\|}_QqJij@k68b(_Sk:uml6tBum®oj_}b

i¡ojbYka8umb@t@¯ 0pkmab@qX£4}b(± kml6b@i@£m(kmb@~kX~vrl6i¡ojbY~km6~@k l} k4o*b@~V4kl}bYi(£kmtjb¢|}t*um|8uXijb@~+¯^_6b(q

b@6k6boju=¾Xb(b@|[o*_}b¿uXXo*tjuXyu¢oj_}b¿ijqJiro*b(a´£a-km6kX}´k#QijuX uBo*i~JqQ6ka& £±_6b( k´a&b@k4x

ijl}t*b(a&b(:o$~Jb@: b¼ i$~Jb(b@o*Xbm¯

µb_}uXijb\oj_} i$(kXi¡b¼i¡ojl6~JqSbY(kml6i¡b¼o$i±¢b(®km~6k|Jo*b@~Noju&uml}t$kma´£JW¯bX¯oju-ij_}u4±²o*_}b¼:ojb@tjbYiro

umo*_}b´¤8¥¦ §+¨©mª «e¬ uXtja-kmkm|}|}t*uXkX_®¯³{6~}b(b@~®£®oj_6b|6tjuXmtka_6kmieo*u´_6k6~}b-ijb(mb@t*km|}_QqQij (k

|Sktka&bo*b(ti$k6~D¹oea&kq´l6ijb6umD6b@kt\Ql}a&b(t*@k4kml}bYi(¯e^_Ql6i(£Çi*k4borq´|}t*um|8b(tjojb@i\(km}}uoeSb

|6tju4Xb@~N~}t*b@ojq¿±¹o*_=k(kXijij (kÇa&uJ~Jb( _}b@¾Xb(tY¯

# !"$#&%('N *) ,

µbµ|}tjbYi¡b@:o#²o*_}i´ijb@ojum²o*_}b»¤8¥¦§®¨©ª «e¬ umt*a-k¼k|}|6tju:km_¶umtoj_6b ~}b@ijX²ut*b@kXo*Xb

ijqJiro*b(a-i¼±_} __Skmi¼8b(b( |}t*um|8uXijb@~[6Qc)TÐ¯-zo*b(tkmJumt*a-kyt*b@@k!umBo*_}b&|}t*6(|6bYi¼uux

6~JlSojum£y±Bb}tjb°Sq ~}b@i*t*8b¿o*_}b «e¬! uxÐ6~Jl6ojmbknJuXa&koj@kojum uN¤8¥¦§®¨©·£±_}_ i

kmiju|}tjbYi¡b@:ojb@~´~}bo*km inQc[TW¯

231 ,"& #\< /,+,-9;=<&0/

^_6b¼(uma&a&um|}tj6(|}b¼u6~JlSojum#b(Sk}b@i¢o*ul}S~Jb(t*}beoj_6b¼_Sktkmo*b(t*i¡oj (iBuumxW6~Jl6ojum®¯

µbVJumt*a-kq-:ojt*uJ~Jl6(b¼oj_}u:i¡b¼ ~Jb@kXi=ijuma&b¼bn}ka&|}b@i@¯

.O Ê m)LSÄ O Ê É6Æ LO Ê!)LSÄ Ä Y z i¡o@£2¯bm¯´k0/d& Vi¡b:l}b(6(b-u4kl}b@i@£!i~Jb¸66b@~

«e¬! ±oj_#oj_}b13254768:9;:<5=(uma&a-k6~®¯ .6umtb(nJkma&|}bX£

132>4768?9;3<5=@2BA79DCE;GF?9IHKJD=79LHNM

O

;QPRHS25A79>CE;GF:9

(9)

2F HS2BA79?2BA79>CE;7F?9 2>A79DC;7F?9

~}b¸6}bYik¸6}ojbi¡ou6k4o*l}tk+Ql}a8b(ti@¯

³{}umt*a&kmqm£®oj_} i~Jb(¸6}ojum ijkqJi\oj_Sk4ok# i¡oi¼b@¹o*_}b(tVo*_}b-b(a&|Jorq i¡o

O

;QP6£®umt

2Fp2¯bm¯¿k

4kml}b´uXu4±BbY~NQqNki¡or¯

½Dumt*bVumt*a-kqX£52BA79DCE;GF?9N~Jb(¸6}b@i¼£Soj_}bi¡b(o\um!o*_}b iroi$umH6k4o*l}t*kmQl}aSb@t*i@¯³Ðoe~Jb@}uo*b@ipoj_}b

ija-kbYiro¸}nJ|8um:o$u!k a&um6uojuX}umlSiBuX|Sb@t*kojuXt¢uX iroiu!6k4o*l}t*km+Ql}a8b(tis

!

O

;QP#"$% 2F&'()+*,.-0/ km6~01-23"

µb-}u4±(um6ij ~Jb(tkmµb(n}ka&|}bum¢k=(uxÐ6~}l6o*Xb&~}b¸6}ojum¯b¿~Jb(¸6}b¿k=i¡ojt*b@kma#£2¯bm¯¿km

3/ \i¡b:l}b(6(bum4kl}b@i@¯ bl6ijbuXtpo*_6k4oV|}l6tj|8uXijbo*_}b 13254Q68?9;:<>=&(uma&a-k6~[ «e¬ ¯

.6umtb(nJkma&|}bX£

13254768:9;:<5=*2BA795J79#45=DA,5 HKJD=79LHNM

8 2F HS2BA79?2BA795J79#45=DA,5'6 25AQ9>J7974D=DA85+

~}b¸6}bYik´J¸6}ojbi¡ojt*b@kma u!6k4o*l}t*km+Ql}a8b(ti(¯

³{}umt*a&kmqm£Qo*_} ip~Jb(¸6}ojum=ijkqJi¢o*_6k4o\k&i¡ojt*b@kmaÂ i$k±¢kqJi¢}l}op±¹o*_´oj_}b 8 2FuX6i¡ojt*l6o*umtY£J2¯bm¯

o$ ik±¢kqJikkml6b\uXu4±¢b@~:qki¡ojt*b@kma´¯

½Dumt*bumt*a&kmqm£Q2BAQ95J79745=GA,5&~Jb(¸6}bYi9 £mo*_}bpijboumÇoj_}beiro*tjbYka-iyu+6kojl}tkSQl}a8b(ti(¯!³ÐoB~Jb@}uo*b@i

o*_}bV kt*mb@i¡o¢¸}nJ|SuX:o$uk;: a&um}umojuX}uml6i¢uX|Sb@t*kojumtuX#i¡ojt*b@kma&ium 6kojl}tk+Ql}aSb@t*i)s

:2<= 78 2F#>?@+*,.-0/ km6~2?A-0B"

0puo*bBo*_6k4oyo*_}b$ija&kmb@i¡oy¸}nJ|8umXoyumSo*_}iHum|8b(tk4ojuXti!o*_}bb(a&|Jorqi¡b(o@¯!³ÐoHio*_}b(t*buXtjbl}6:ojb@tjbYiro*6

#oj_} i(kXi¡bX¯

Ä ) [L8Ä O Ê[ É}Æ Ä 4[L8ÄDC O m)LÉO «e¬ b(Sk}b@i®oju¼~Jb¸66bt*b@l6t*ijXbkS~umxWt*b@(l}t*ijmb

l66o*uX6i±oj_#oj_}bFE;,G#H ;32>9um|8b(tk4ojuXtk6~Noj_}b E;,G&H ;32>9um|8b(tk4o*umtY¯ .6umtb(nJkma&|}bX£

E;8G#H ;32D9 P5F:65JI P H2BA79>C;GF?9K HS2BAQ9 HNM

ABFQ=5F P #L

O ; P MNM

PO7

2F3G PRQ M

O

HBP 6F3G

O

P5F:65 PRQ#Q

=Q254

~}b¸6}bYikl}6o*uX=±_} _#@k l} k4o*b@i¢oj_6bi¡l}aÂu!oj_}bV4kl}bYiu!k& iroY¯

½Dumt*b-umt*a-kqX£ o*_} ilSojum ioj_}b´ija&kmb@i¡o¸6nQ|8um:oumoj_}b2?

P5F:65

a&um6uojuX}umlSi¼l}6ojum um

l6Xo*uX6i)s

?

P5F365TS

VUXWY/Z[U\W >NU\WJ/Z

] ^U\W _ O

;QP ^UXW `

2EF7'( ^UXW ba ] >

«e¬! k i¡u»b(6km}bYi¿o*uº~}b¸6}b t*b@(l}t*ijmb=l}SojumSiuX0(uxÐ6~}l6o*Xbijbo*i@¯ÂÀQl6_ l}6ojum6i

a&|}b(a&b(:o*i\o*_}b&kQ(q=b(4kml6kojumD|6tj6|}bm¯^_Ql6i@£Çoj_6bt*b@ijl}oeumBijl6_kNl}6ojum k|}|}b@~=o*u#k

(uxÐS~Jl6o*Xb¼umJvrbYoi(uma&|}lJo*b@~#um6qN~}l}tj}-k´b(nQ|6 o$(k+u!oj_6il66o*uX®¯.}uXt6i¡o*km6bs

(10)

E;,G#H

;32>935A H H O

2BAQ9 2BAQ9Q7 25A795JQ9#4>=DA,5 ?25A79>J79&45=GA85IH M

I H25A79 25A79KIEH 2BAQ9>JQ9745=7A,5XK

A5FQ=BF E

&L

O 8

2F3G\Q M

O 8

2F O

GQ

O

5AH

\Q7Q

=Q254

km|}|}bYio*_}b

l}6ojum=o*uNb@kX_=b(b(a&b(:opumk¿i¡ojt*b@ka´¯$z(k oju-o*_}ipl}6ojumDuXDkNi¡ojt*b@kma ·£

J¸66¹o*bQq#~Jb(¸6}ojum®£8(km}}uop@kl6ijbVo*i$b@4kl6k4o*uXuXt$b(Xb(t*q¿b(b(a&b@Xoi$um1·¯¢³{=t*bojl6tj®£(km

8bVk|}|6b@~¿ojuoj_}be¸6tiro4kl}b@i¢um' o*_}b@ijb¼kml6b@ikt*bpb(nQ|6 o@¯H^_}b@®£Jt*b@l6t*ijXbp(km i¢al6i¡oSb

"q) 4£QW¯bX¯ o*_}b

«e¬!

:ojb@tj|}t*bo*b(tHal6i¡oSbek}bo*uV¸66~&o*_}b$¸St*i¡o4kl}b$um+oj_}beiro*tjbYka´£o*u±_} _

o$±km|}|}q-oj_6b¼l}6o*uX®£}=k¸S}¹o*b¼oja&bm¯

^_6bD5A Hl}6ojum·~Jb(¸6}b@~· o*_}ibn}ka&|}b¿ iVo*_}b¿ kt*mb@i¡oV¸}nJ|8umXouoj_}bZ?

5AH

a&um}umojuX}uml6i

l66o*uX#uml}:o*uX6is

?

5A H S >/ ÛWJ/Z29+ Û\WJ9+ [U\W / Û\WY/Z29+ ÛXWJ9+

] ^U\W

8

2F#>()

^UW8

2F7 \ ]

\ (

.O Ê m)LSÄ O Ê É6Æ LO Ê m)L SÄ K Ä ÊfL2mJ Ä bD@kºbnJ|}t*b@i*i& «e¬! oj_6bDi¡a-kb@i¡o-ijbo¿um

b@b@a&b(:o*iNmb(t*q:}·k t*b( k4o*uX ~Jb¸66b@~ Qq¶k·i¡b(oNuknQuma-i@¯B.}umt¿oj_6ko|}l}t*|8uXijbm£±¢b=l6i¡b[oj_}b

13254768:9;:<5=um|8b(tk4o*umtY¯E.}umtebn}kma|6bX£6o*_}buXu4±6#|}t*b@~J (kojb~Jb(}umojbYioj_6bija&kmb@i¡oeijbo

um i¡o*i$u Sk4ojl6t*km+:l6a8b(ti¢oj_6kopum:ok6ik&mmb(:s

cX¯ 1-Z 7 2F# ()

l}¯ -Z/%1-2

>)

2F7(

^_6b «e¬! ij|SbY¸S(kojum#u oj_} i|}t*b@~J (kojb¼ ioj_}b¼uXu4±}qs

132>4768?9;3<5=5=,5YI2H 2BA79KRH 2BA79DCE;GF?9 ! 74 H HNM

5=,5#"%$B=DAG4H O P H2BAQ9>CE;GF?9\Q O 5=,5 2 O 2F*2 PRQ7Q

5=,5#" 95A;QP H O5,H2BAQ9Q O P H2BA79>CE;7F:9Q O 5=85 2 PRQ7 O5=,5$2 O 2EF5 PRQ7Q'

\´o*_}bumoj_}b@t\ij~JbX£6o*_}b 132>4768?9;3<5=uXa&a&km6~´b(Sk}b@i$oju¿b(nQ|6tjbYijio*_}b kt*mbYiropijbo\uyb(bx

a&b@Xoi+mb@tjqQ6kt*b( k4o*uXV~Jb¸66b@~eQq\kijboumQknQuma-i@¯H.}uXt+bn}ka&|}bm£@oj_6byumu4±}'&)(+*'-,/.102.3%4,/

|6tjbY~J@k4o*b~Jb(}umojbYioj_6b kt*mb@i¡opijbopumH6k4o*l}t*kmi¡ojt*b@ka-io*_6k4oe_6kmb¼o*_}bi*ka&bV4kl}bYi$=oj_}bijkma&b

uXt*~}b(t[s

cX¯%-2/ 65 - 9++879&)(+*'-,/.102.3%4,/<> 95D

&)(+*'-,/.102.3%,/ 2F# ( 2F7 95D

^_6b

«e¬!

ij|SbY¸S(kojum#u oj_} i|}t*b@~J (kojb¼ ioj_}b¼uXu4±}qs

13254768:9;:<5=;:=<" 2BAQ95J79745=GA,5 H 2BA795JQ9745=DA,5 2BA79>J79#45=7A,5 ! #4 H HNM

=/<Q2BA79EF?9#45=DA,5,H O2 H25A79Q O9>?1@ H2BAQ9>J7974D=DA85Q

O :+<" 2BA79>J79745=DA85 >A@ Q7 O :=<" 25A795J7974>=GA,5 O 8 2F 2 > Q O 8 2F*2 @ Q7Q1

½=uXtjb&Xb(}b@t*kmqm£(uxÐS~Jl6o*Xb&|}tjbY~J (k4o*b@i¼b@6k}boju=b(nQ|6tjbYiji¼|}t*um|8b(tjojb@i¼um \ Nu4mb@t

i¡ojt*b@kma-i(£Q±_}b@tjbYkmi6~Jl6ojmb¼|}t*b@~J (kojb@ib@6k6beoju-b(nJ|}tjbYiji¢|}t*um|8b(tjojb@i¢umC t t¯

(11)

2 ,"& #\< /,+,-9;=<?>d5w7E<)&dG 7f;=<i7f;=<)&0/ & w<)/

stjuQuiBu |}tjuXmtka|}tjuX|Sb@t¡o*bYi «e¬! kt*bp}l}ouXNkijbou!k4nJuXa-iyoj_Sk4o~Jb(}umojbYiHo*_}bVi¡b@a&km:oj

umoj_}b k6ml6kmmb¼±¹o*_D±_} _#oj_}b|}tjuXmtka i±t*¹ojojb@®¯^_:lSi(£SDuXt*~}b(tojuN_6kmbVb_-(b@:op|}t*u:umi(£

o*_} i\ijb(a-k:o*V_Skmipoju¿8b±¢b( ijl}ojbY~=oju «e¬ ¯,µbl6ijbuXt¤Ç¥¦§+¨ ©¿k¿4kmtj k:o$uyo*_}b&i¡b@a&km:oj

umo*t*kXb@i Qc TW£6(uma&|}bo*b(qN~Jb@i*t*SbY~N Qc4)TW£6´±_} _#k&ijX6k+ ik-umxW6~JlSojmbeum}vrb@oY¯

³{}umt*a&kmqm£»oj_}b=ijb(a-k:o*u$o*t*kXbYi(£ijm6kmikt*bt*b(|6tjbYi¡b@Xo*b@~ Qq·kQl}a&b(t*@ki¡b:l}b(6(bum

4kml}bYi$kS~ijq:aSuXip~Jb(}umoj}&oj_6bk6ijb(SbVu4kl}bm¯^_}b@®£Sk#¤8¥¦ §+¨©-|}tjuJ(b@i*ii\~Jb¸66b@~=kmi

k´ijboumijl6_ i¡bXl6b(6(b@i¼µt*b@ij|8b@oVumijuma&b-uX6iro*t*km:oi(¯&³{µoj_}b¿(uxÐS~Jl6o*Xb&kmtj k:oVu¢oj_6i

ijb(a-kmXo*m£Sk-ijX6k i\k-umxW6~Jl6ojmbijbo\uy4kl}b@i$km6~´uijq:aSuXip~Jb(}umoj}-o*_}bkm6i¡b@6bVum

4kml}bX¯y^_}b

«e¬

i¡|8b@(¹¸S@k4o*uXum!ijl6_uXJvrb@o*i ioj_6b¼umu4±}qs

132>4768?9;3<5= J5ADP 6B= I HNJD=79KRHKJD=79LHNM

A! FQ= 2>9 H O

J5A>P?6B=" Q

H45=BF =Q2>9IH#

O

J!5A>P 6B=$ Q1

% = L ;32 ;:9E; 2$J;

2BA>P HNM I H JD=79K O J79745=GA,5 O J5A>P 65=" Q7Q1

^_6b A! FQ= 2>9umSiro*tjl6ojuXt¢~Jb@}uo*b@ioj_}bVkm6i¡b@6b\u4kml}b&¯^_}b\|Sktka&bo*b(t'~Jb@}uo*b@ioj_}b`)(

umoj_}bijm6km2¯ _}b@=oj_} ipijm6km®_6kmi\k-4kl}b&*#k4opuX}ba&uma&b(:oY£6o\ ip~Jb@}uo*b@~´Qq2H745=BFQ=Q2D9 +*7¯

^_6b(uxÐS~Jl6o*XbHorqQ|8b O J79745=GA,5,Q$~Jb@}uo*b@ik¼iro*tjbYkau.- 4kml}bYik6~¹oy iy~Jb¸S}b@~&i¡o*kS~}kt~

«e¬! }tkt*b@i@¯

^_} ie4kt*kmXoeiebXl64kb(:oeojuoj_}bumt*m6ki¡b@a-k:oj km6~D_6kXi¼k[a&|SuXt¡ok:oekX~J4k:o*kmmbs$¹o

b@6k6bYi¢oju-~J i¡t*b(:kt~-ojb@a&|SuXt*km+6~}bnN±_} _´ib(nJ|} o$#Ql}a&b@tj (km®i¡bXl6b(6(b@i@¯

µb@k´}u4± mmbeoj_}bi¡b(o$uHk4nJuma-i¢oj_6ko\umxW6~JlSojmb@qNauJ~Jb@ip «e¬! o*_}bum|8b(tk4o*umti¢uoj_}b

¤Ç¥¦§+¨ ©¾mb(t*}b@+km}ml6kmmbs

/

³{6i¡o*k:ok}b@uml6it*b( k4o*uX6is

13254Q68?9;:<>="05=>P7A79; 221 I ? ?43 H JD=Q95 H ! 3 ! #4 HK H

O

JB;

2BA>P6 Q7

O

JB;

2BA>P$Q7

O

J;

25A>P

3

Q#! 74

HIHNM

45=DPGA79;

271="GA H O9>

H O J;

2BADP8 Q7Q O9@

H O JB;

2BA>P8Q7Q O:9

H O JB;

2BA>P

3

Q7Q

O

05=>P7A79;

221

>A@,9

Q7

O 05=>P7A79; 221 O( 2F O A; FQ=Q2>9< Q > Q

O( 2F O A; FQ=Q2>9=\Q @ Q

O( 2F O A; FQ=Q2>9 3 Q 9 Q#Q

45=DPGA79; 271=" H H O9> H O J;

2BADP8 Q7Q O9@ H O JB;

2BA>P8Q7Q O:9 H O JB;

2BA>P 3 Q7Q

O6 H) Q O <H\Q O> H 3 Q

O 6 < > Q7 O 05=>PGAQ9; 271 >@,9 Q7

O 05=>P7A79; 221 O( 2F O H745=BFQ=Q2D9 6 Q > Q

O( 2F O H745=BFQ=Q2D9 <Q @ Q

O( 2F O H745=BFQ=Q2D9 > Q 9 Q7Q1

/

$pb(ojb@tja&}i¡oj ¼a&b(t*mb 4>= L AQ6PQ9 s

(12)

E;,G&H

;32>9 4>=

L A 6PQ9IH O ?

HNJD=79Q

O

J;

2BADP Q7

O

JB;

2BA>P$Q7

O

J;

25A>P8

Q HNM

I

?

HJD=Q9KI

> H O

J;

2BADP Q6KI

@ H O

J;

2BA>P8Q6K

ABF =BF

> @ #L

O

2EF

O

H45=BFQ= 2>9 6 Q

>

Q

O

2F "

@

Q@M

O( 2F OH4>=BFQ=Q2>9 O ;32P 6 Q#Q O 4D= L AQ6P 9 >@ Q7Q

O 2EF A; FQ=Q2>9 > Q O 2F O H745=BFQ=Q2D9 <Q @ Q M

O( 2F OH4>=BFQ=Q2>9 O ;324 <Q#Q O 4D= L AQ6P 9 >@ Q7Q

O 2EF A; FQ=Q2>9 > Q O 2F A! EFQ=Q2>9 @ Q M

O( 2F O A! FQ=Q2D9<

Q O 4>= L AQ6PQ9 > @ Q7Q

=Q2>4

/

$pu4±}xÐi*ka&|}6 > $B=Q2!s

E;,G&H ;32>9 > $B=Q2 H O H JG=79Q O JB;

2BA>P Q7 O J;

2BA>P$ 7 PRQ7 O J;

2BA>P Q HNM

I H JD=79KI> H O JB;

2BAGP Q6KI@ H O J;

25A>P$ # PRQ6K A5FQ=BF >A@=#L

O 2EF G > Q O7 2F O H45=5FQ=Q2>9 9#4G6B=XQ @ Q M O7 2F G O4> $B=Q2 > @ Q#Q

O

2EF "

>

Q

O7

2F "

@

Q@M O(

2F

O

A; FQ=Q2>9< Q O>

$B=Q2

> @

Q7Q

=Q2>4

/

$pb@kqNum|8b(tk4ojuXt s

E;,G&H ;32>9 H45=IH O H JD=79\Q O J;

2>A>P Q7 O J;

2BADP8 Q HNM

I H JD=79KI6 H)RKI> H O J;

25ADP Q6K ABFQ=5F >=#L

O 2EF A; FQ=Q2>9 > Q@M O( 2F O A; FQ=Q2>9< Q O H745= 6 > Q7Q

O 2EF O H45=BFQ= 2>9 <Q > Q@M O 2EF O H45=BF =Q2>9 6 Q O H4>= < > Q#Q

=Q2>4

Xl6kXbm¯

#® "( 0 !E" # %

Á¢bY(klSi¡b-um¢o*_}b¿°SbnJ6¹orqµ±oj_·±_} _ oj_6bNumt*m6kij|8b@¸S@k4ojum umoj_}b#iro*b@ka 8umb@t(km Sb

:ojb@tj|}t*bo*b@~ QTÐ£+±¢b¸6ti¡oe}b@b@~Doju#a&km¾mbi¡uXab~Jbokiea&umt*b|}tjbY i¡bum[oj_}b|}_QqJi¡ (km 8b(_6kQuml}t

|6tjbYi¡b@XouXl}t|}tjuX|Su:ijkmÇ=~Jb(o*k i$k6~Noj_6bV|}tjuX|Sb@t¡o*bYi¢oj_6ko$(k´8bV_}b@¾Xb@~±¹o*_

«e¬!

¯

231 3.*=5H9i<D <)&0/ D'&/ ;2! 5 &8*<d< /E7 ( D5H9i<97 ;=<&0/

^_6uXijbN|}t*b@(ijuX6iumSb(t* o*_}b8b(_Sk:uml6tum$oj_}b´|}_QqJij@k¢l}}o*i@£yoj_}b=(um6i¡ojojlJo*uX um$oj_}b#bnQx

_Sk}Xb@~á&b@i*ijkmmbYi$k6~=oj_}btjbYkmo*uXój_}b@q=a&|}qm£8o*_}bkml}t*b~Jb(ojb@ojum®£+km6~ój_6ba-k6kmmb@ab@:o

umo*_}bVQijuXum o*_}b~JqQ6kma eu!oj_}bVijqJiro*b(a X¸66¯+cX£}|YS ]¯

(13)

L2([L

O

)L

ÉO

Ä

ÈÄQÄoO

K K

C

=L%(

Ä

&

O

Ê6K K

ÉO

@

É

((

Ä

C

=L%(

Ä

z |6l}a&|´(um:ojt*umb(t¢ojb@ ioj_6bV|}tjuXmtka !o*i$kXijijuJ k4o*b@~|}l}a&|´i|8uml}t*}&±¢kojb(t:ojuoj_6bVSuXb(t

uXty}uoY¯!^_6b(®£X¹oa-kqb@6k6bo*u_}b@¾Vo*_}bt*b@k}i¡o*kojbumÇk¼|}l6a|¯ .6umtyb(nJkma&|}bX£m±_}b@oj_}b$i¡o*kojl6i

umk#|}l6a| i ¬ §»km6~±_}b(µoj_6i|}l}a&|µojb( iV¹oY£o*_}b¿uX:ojt*umb@te_SkmieojuD(umJ¸Stja o@£ ojb@}´oj_}b

|6tjuXmtka !o*_} i$|}l}a&|=t*b@kmqN|}t*u4Q~}b@i±k4ojb@t$k4o$o*_} i$a&uma&b(:oY¯BÁ¢lJo$o*_}buX:ojt*umb@t$(k=kmiju-Sb

~}bb@ojmbX¯!^_Ql6i@£Xo iya|8uXi*ij}bo*u~Ji¡oj}Xl}ij_®£:um}q±oj_&o*_}uXijbp~}ko*k6£oj_6bor±Bu¼uXu4±}V(kmijb@i

uXtSirok6(b$s

|}l}a&| (um:ojt*umb@t i¡o*kojl6i irok4o*be|6tju4Q ~Jb@~ irok4ojb¼|}t*u4Q~}b@~ t*b@k

kl}t*b kl6tjb Qq¿oj_6be|6l}a&| Qq¿o*_}buXXo*tjuXb(t irok4o*b

@kmijbc qXb@i }u ¬ ¬ ¬ § ¬ §

@kmijbl }u qXb@i ¬ ¬ ¬ § ¬

½=uXtjb@u4mb@t@£Xoj_}bij|8b@¸S@k4ojumnQT~JuQb@i$}uo$i¡o*k4o*b¼|}tjbY i¡b@qN±_6k4o9 ¼umkl}tjbVk&|}l6a|´uXtk

(um:ojt*umb(tpa-kq´_6kXbm¯V³{Do*_}b&i¡|8b@(¹¸S@k4o*uX®£®kN|6l}a&|[umt¼k#um:o*tjuXb(t\i¼~Jb(b@o*XbBo*i¼i¡o*kojbi

6(um6iji¡ojb@:o±¹o*_No*i¢irok4o*l6i(£QkS~¿k|}l6a|Ni¢k i¡u~JbbYojmb\¹®o|}tju4Q ~Jb@ikVk ijbpirok4o*bm¯y^_Ql6i(£:

o*_}b|6l}a&|kS~´¹oie(um:ojt*umb(t$|}t*u4Q~}bk-k ijbirok4o*b}lJoVuX6iji¡ojb@Xo\±¹o*_=oj_}b|}l}a&|[i¡o*kojl6i@£8oj_}b

|6tjuXmtka@k}6uo¢~}bojbYoBoj_}b\kl6tjbX¯ .6umt¢bn}ka&|}bm£Xoj_}b\umu4±}(kmijb@iBkt*b$}umo¢~J iro*6ml} i¡_Sk}b$s

|}l}a&| (um:ojt*umb@t i¡o*kojl6i irok4o*be|6tju4Q ~Jb@~ irok4ojb¼|}t*u4Q~}b@~ t*b@k

kl}t*b kl6tjb Qq¿oj_6be|6l}a&| Qq¿o*_}buXXo*tjuXb(t irok4o*b

@kmijbc qXb@i qXb@i

¬ ¬ ¬ ¬ §

@kmijbl qXb@i }u ¬ ¬ ¬ ¬

Á¢b@@kl6ijbeuo*_}b@ijb¼ka6Xl}¹o*bYi(£:o*_}bVi¡|8b@(¹¸S@k4o*uX#i¡o*kojb@i¢a&umt*be|}tjbY i¡b@qo*_6k4ouXt*~Jb@t¢oju&~Jbx

o*b@o\k¿uX:ojt*umb@tkl}t*bm£6oj_}b|}t*ummtkaÂ_6kmio*u¿¾Q}u4±- ut f& o*_6k4opo*iekmi*ijuQ(kojbY~N|}l6a|

±¢umt*¾Jip(umt*tjbYojqm¯e³{ i¡l6_umS~J¹o*uX6i@£8o*_}b&um:o*tjuXb(t\|}tju4Q ~Jb@iekNi¡o*kojb±_} _[ ip6uX6iji¡ojb@Xo

±oj_#o*_}birok4o*be|6tju4Q ~Jb@~Qq-oj_}bV|6l}a&|®£Joj_6bum:o*tjuXb(t iumQQuXl6i¡q¿~Jb(b@o*Xbm¯

Á¢lJo$_}u4± uXl}~±¢be8bijl}tjbeo*_6k4o$k|}l}a&|´±BuXtj¾JiuXtjt*b@ojqm£QW¯bX¯y_}u4±0(uml} ~N±¢b¼¾Q}u4± b(nJkXo*q

o*_}bn i¡o*kojbupk|}l}a&|Rµb#@k}}umoijl}|}|8uXijb¿o*_6k4o-uXXo*tjuXb(tikmtjbJkm}b#8b@(kml6ijb¿oj_6i

_QqQ|8uoj_6b@ijiBiojuQutjbYiro*tj mb$±oj_tjb@Xkmt*~ojuoj_6bpumt*m6k8i¡|8b@(¹¸S@k4o*uX®¯y^_}b(®£Q¿umt~Jb@to*u¾Q}u4±

o*_}bt*b@kSirok4ojbumÇk¼|6l}a&|±oj_6umlJoB(um:ojt*umb(ti JuXtja-k4o*uX®£m±¢bal6i¡o8b$k}boju~}bojbYo|6tjbY i¡b@q

±_6_#|}l}a&|6i|6tju4Q ~Jb@~±¢kojb@tko$b@kX_qJ(bkX(uXt*~}}oju&o*_}bVb@mb@®_6k}Xb@i@¯

µb=¸6tiro#umSi¡ ~Jb(t¿k·auXtjb=ija&|}b[ijqJiro*b(a ±_} _ um}q uX}b=|}l}a&|² i-QmummbY~+¯0^_6b(®£

ijl}|}|8uXijbeoj_6kooj_}b¼uXu4±}(um6~}¹o*uX6i_}um ~´k4o6irok:o .'s

/

oj_}bi¡ojbYka abYkmijl}t*b(a&b(:o~Jb(Q b¼±BuXtj¾JiuXtjt*b@ojq¿k6~#|}t*u4Q~}b@i *¯

/

oj_}bV±k4o*b(tb(Xb(+a&b@kXi¡l}t*b(a&b@Xo~Jb@: bV±¢umt*¾Jiumt*t*b@o*q¿km6~|}tju4Q ~Jb@i(¯

/

oj_}bV|6l}a&| Xuy(km|6km(¹orq ]o*b(io*_6k4o$o*ipirok4ojb¼ i ¬ §¯

/

oj_}bi¡o*kojl6i$uo*_}bV|}l}a&|´ i ¬ §

(14)

µbV}u4± ~Jb¸66b\o*_}b¼umu4±}&4kt* k}b@i)s

/

a&}a-kkX((b@i*i¡}beb(Xb(ÇuXtoj_}bV}b(nQo6i¡o*kmXo . ae!oj_}bV|}l6a|= ii¡ojum|6|SbY~is(

7

/

a-k4nJa-km®km((b@i*i¡}b¼b@mb(ÇuXtoj_}bV6bnQo6i¡o*km:o . aV¹!oj_6bV|}l}a&|´ii¡ojuX|}|SbY~is(

7

/

a&}a-kkX((b@i*i¡}beb(Xb(ÇuXtoj_}bV}b(nQo6i¡o*kmXo . ae!oj_}bV|}l6a|=|6tju4Q ~Jb@i¢±k4ojb@t)s2(

7

/

a-k4nJa-km®km((b@i*i¡}b¼b@mb(ÇuXtoj_}bV6bnQo6i¡o*km:o . aV¹!oj_6bV|}l}a&|´|}tju4Q ~Jb@i¢±k4o*b(t[s2(

7

µbV_6kXbpo*_}b¼umu4±}tjb@kojum6i)s

(

7

( U * : .1U

' : . 7

(

7

( U * : . a ' 7 : . 7

(

7

( 7

a @: .

(

7

( 7 a @: .

³{»umt~Jb(tVo*u[8bijl}t*b¿oj_Sk4oo*_}bN8umb(t_6kmikmojl6kmq8b(b@ ijl}|}|}bY~··±k4ojb@t@£!o*_}b¿uXu4±6

(um6~}¹o*uXal6iro$8bVmb@tj¸6bY~is

( 7

6(

7 (

7 9(

7

Xrc[]

³{6~}b(b@~®£4kl}b@ieumoj_6i¼:ojb(tijb@o*uX[t*b(|}t*b@ijb(:o¼b@mb@i¼km@bYijij6b±¹o*_ umt¼±¹o*_}uml}oVijl}|}|6qDum

±k4o*b(tY¯B^_Ql6i@£}o*_}ieuX6i¡ojtkXoib(6km}bVoju-8bijl}t*b¼oj_6ko$oj_}bi¡qJi¡ojb(a _6kXiSb@b(Dijl}|}|}b@~DkXojlSkq

´±¢kojb@t¢yk6~#um6q¿ s

( 7

(

7

@: . (

7 U (

7

Xl$]

@: . : .7 ' a<'

7 X]

7 : . )' a ' 7 X^S ]

µb6u4± Xb(}b@t*km(boj_} ipt*b( k4o*uX®£ÇumSi¡ ~Jb(t*}NkNijqJiro*b(a±oj_ |}l6a|Si\±oj_µ(km|6km(¹o*bYi

o*u ¯

µb~Jb(¸6}b¼oj_6b\uXu4±}l}6o*uX6i)s

! "!#$

&%('('('(%*)+

S ,,,,,, - W /

. ^W _

¹ .

` ¹}umo