Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

(1)

HAL Id: inria-00071682

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

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-

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,

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

Albert Benveniste, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli

To cite this version:

Albert Benveniste, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Heterogeneous Reac- tive Systems Modeling and Correct-by-Construction Deployment. [Research Report] RR-4901, INRIA.

2003. �inria-00071682�

(2)

ISRN INRIA/RR--4901--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

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

Albert Benveniste, Luca P. Carloni, Paul Caspi, and Alberto Sangiovanni-Vincentelli

N˚4901

Août 2003

THÈME 1

(3)

(4)

+ ,- .0/213/ + 4 )65789():' "3<;

=>@?ACBEDGFHACI0JKACI LNMODPACQSRUTV WCXZY:[\XKB]>N^_I L@`]RUYaXbV >c\XKM]d Lfe]R

XKI gh=>@?ACBOD]^Zi-XKI j_LN^kJKXbI I Lmlon9LNI WCASID]AC>N>@Lfp

qrtsEuvwaxzy{O|}vO~kv):|}k|osEuvO|

.}v):

y!~2K}2v,}v]r2vEr2vStwx2cSxHt~SvO|

¡-¢O£E¤¦¥2§£¨ © vªt}SbC|«v<~¬u'~¦}rtvEu'~¦o®O~¯c°±o~uHvO²³S}´Z}µkvO~¯c²¶}r·}r2v¸)SubC|«¶}®h°

rtv)}vO}SvO2vESt|-}v]~o¶¹Sv!|«k|«}vOu|Oº.»c2U}rtvEo3~¯¶¯®¦²!|-}vO|«o~¼t¯¶½|«rHor2vES}vOu|O¾°±ou¿²r2½r2vO|}¶S

ovOr2t®ÀC2v]|!E~¼KvkvO}®¹v]0º © v®¯®¯¶t|«}~¦ov}r2½|!¼²³GO~|}vO|OÁU}r2v3kvE2¯®¦uvEC!°.|}Cbr2}S2b|

2vO|}¶St|a¦¹vEÂ:Ã-ª~ortÄovOo2ovO|O¾_~tÅor2v'kvEt¯¶¦uvEC°|}tr2o2St|:2vO|}¶St|a¦¹vEc}rtv|}Æ

O~¯®¯¶v]Ã4S|}vE¯®Gq¶uv)ÆÇq}®SvEovO:ortÄovOo2ovO|Oº

qr2½|}vObS«®|~v)ovEtkv]G¹SvE|«®'°~t~bvO³²¶}r9|o~uv!oÄo¯¶va}rb~¦~2KvO~}v]'¶}r2vÈÉ}Ê]Ë]Ì

Ê«ÍÎ³Ï9ÐÑÒÓ:ÔÕÖÖ×SÌ'qr2½|a}vObS«,~tbv]~ovOØ~¯®|}~S|a~}v]r22½E~¯-ovEK}:°±ouÙor2v'Ú!2®¹vOo|}¶°

Û ~¯¶¶°±o2½~3~!Ü³vO}´SvE¯®vES¾kCtu¼KvE!Ú Û Ü!Ý¦Þy!ÃàßØSCÝ2º

áÅâCã_äoåæ

¤¦ç-¢¨

ovO~S}®¹v9|}|«}vOu'|E¾vEu3¼bv]2kvOè|}k|ovEu'|E¾|}Cbr2}S2b|E¾~S|«trt}S2t|O¾Â:Ã-_¾

°±S}u'~¯0uHvE}r2k2|O¾kr2vE}vEoSvE2vOt||}k|ovEu'|Eº

é½ê0ë}ìfíOîëï-ð®ìfñ@ò)ó

ô!õ4ö]÷ùøúmûø@û«üúmýföHþüø.ø@ÿúNû÷ PüúNöPûbÿ]úû«ü ÷ùø@øN÷ ÿ PûúNöPûPúNûýNø! #"!$%&"!')(

*

'Oõ&+-,..,/+-01023(ü 465kõ

*

'Oõ(

*

'Oõ&+-,..2+-0371,.(7@öPû686':93ÿ Pûú&@ö]û6PúNûý

*

õ;5=<>&5+>.,,[email protected](ü C7

@öPûED':56F

G *

úm÷ùøfü7H

*

Púm÷ü(0üPÿPøIPû6%_û«üÿJù÷ùûÿK(0?.37,E54û Pûø0ýûPûLM(9¦ú@ü ]ý«û(I!ü÷JONP4QJû«ú-AF%_ûA 7R)û P÷ùøNûTS-÷ùúN÷ùø@üFU®ú(V3ûKN

öWMNHH}þ4þþXF÷ùúm÷ùøfüFU¶úYHoøN÷Z!ü,7H/û 7R)û P÷ùøNûTH

[

"XF!F\%_ûú]ûJùû7(%_ûú]ûAJùû7(&4_^3`,.(aI!ü÷JONcbTJùý«üúJ P÷O(üJûú-W:dS-ûûýøTFûú]ûJùû7FûA]ÿK(&VûAMNöKNHH}þþ4þ+

ý}üMFû«ûýøTFûú]ûAJùû7FûPÿHe;ûTf2üZûøH7bTJùý«üúJ P÷O(üJûú:d

gih

û«úm÷!üZ(E_û NúmûjIkEÿ¦ü/N÷ K(E,(UúmÿPûlPû

h

÷Z ¦ü/Nû(X9#[email protected]÷ùûúmû«øA(EI!ü÷JONf2üÿJOF0üøP÷nS-÷!üZFU®ú(;V3ûKN

öWMNHH}þ4þþXF÷!üZFU¶úYH

h

a5

*

$o4!DHfI6fp #Hf2üÿJOF0üøW]÷

q

øfüûUüø; aF!F

(5)

& 8(E)! "3 ³ . 8,³4-)

¢ ¨ »cZ2oKS|}v2 O~kovu'~}r2{Ou~}½ÀC2v9bS2')uKS|}vE'kv]|'|«k|«}sEuv]|}{]~oÄ°m|

rt{)}{O}SsO2vO|Oº Û v!O~kovbvO}uv)S¼k}vO2¶³kvO| or2{ES}sOuvO| v)kv!)St|o}t¶ovkvO|.~¯¶SoÄor2uvO|-K2

~S|}|}2ovE³¯®~3)oovOo¶SGk2{E2¯®®vEuvEC]º.»c¶¯®¯¶b|o}v)vE«}v~t2}kr2vc|«2¯®vO|~r2ÄovO)}2ovO|Â:Ã

~¶b|«ÀC2v,|}2¯¶v]|!~r2¶}v]}t}v]|2ÄovO|}ÀCt~|}ÄÆÇ|}Cbr2}S2vO|º

Û vHo~2K}:vO|«at2v¹SvE|«®ØEu2¯®{)}{Ov32 ~}}½)¯®vK}o~Ca¯¶v3uOuvoÄo}vS¾Kb~o<2~b|:¯®vO|

ÈÉ}ÊOË]Ì9ÊÍÎ³Ï9ÐÑÒÓcÔÕCÖSÖ×SÌ Û v3~2K}cv]|{EC~¯®vEuvECt~o<|}t|c°±S}uvkv3~tbS«c}vOrt2®ÀC2v

2va¯Ú!2®¹vOo|}Äo{kv Û ~¯®Ä°±S}t¶vS¾2Ü³vO}´SvE¯®vES¾:'Ú Û Ü!ÝPÞy:ÃàßØÝtº

æ £]¢ ä § ¨ |}k|osEuvO|!}{]~oÄ°m|O¾_|«k|«}sEuv]|vEu3¼t~ÀC2{O|O¾b|}tr2o2vS¾t~|}tr2o2vS¾bÂ:Ã-_¾bu{E}rkÆ

kkv]|°±ouvE¯®¯¶v]|E¾2|}k|osEuvO|r2{E}{O}SsEtvO|Oº

(6)

+ --

1324

£O¤ æ ç -§£5æ 4 6

798

¥*:: â ç<; ã ¢E£ â ¬¢3¥

4

ç>= â £ â ¤ æ : â 4

âæ ¢?; ã ¢E£ â ¬¢ @

2º¶w q-~Sv]k|«}vEu'|º,º,ºº,ºº,ºº,º,ºaº,ºº,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º A

2º¶wSº¶w B:vCt2¶}®t|Oº¬ºº,ºº,ºº,º,ºaº,ºº,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º D

2º¶wSº tr2o2St|k|ovEu'|Eº¬º,ºaº,ºº,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º D

2º¶wSº q¶uvOÅtrt}S2t|k|«}vEu'|Oº<º,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º E

2º¶wSº :|}Cbr2}S2b|k|«}vOu'|Eº ºaº,ºº,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º E

2º¶wSºA y222®2'vEk~u2¯¶vSº$ºº,º,ºaº,ºº,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º E

2º¶wSºD B:½|}Et|o|«®ººº,ºº,ºº,º,ºaº,ºº,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º F

2ºHG:v)ovEovO2vESt|k|ovEu'|ºº,ºº,º,ºaº,ºº,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º

I KJLJ M5N§¥k£5æ 4 £ æON3æ ¤P¤ â §£QP â J æã â 4 £ 11

tº¶w }v]|«vO}¹®2kvEu'~C}½E|OÁSR2S}u'~¯¶UTO~}®7º,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º wSw

tº% ÂavO2vE~¯y!vO|}2¯Ä!S Û S}ovO)VBcvEt¯¶¦uvEC º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º wP

6 P â Jæã 54 : 8 5 â ç>; ã 4

§W4¤ æ 4 æ ¢X;YJ â §Z5\[ §¥k£5æ 4 ¢ æ]bâ ¤#^`__Za

1 @

bº¶w qrtv ^`__Za Æf2}}k)S¯K~t,bfo|.oKvE}}®vO|ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º wA

bº Û S}ovO) ^`_`_Za BcvE2¯®¦uvEC ºº,º,ºaº,ºº,ºº,º,ºº,ºº,ºaº,ºº,º,ºº,ºº,ºº,º,ºaº,º wE

@ N3æ

4 § -çL5

4 : â ¥2¤c¢

70d

KJLJ â 4

çL5MeU¨à gf M5hJ ¢ âàæi £W âkj ¤5l:5

4 ¥ 8

¥*:: â ç ä ;m5M:

4 ¥ æ ç â ¡ ãonââ ¥ 4 ç

;4¥

4

:5æ] ¥

4L4

5äqp 54 § â 4 £ â M5

7Y1

(7)

34 '&)

qrtv? KÊmÊ ¸ÊÍ ?rt~S|¼bvOvEØ~)ot)½~¯~|}bv]° vE¯®vO)}o2½,|«k|«}vOu kv]|«®°±!SvO~o|OºsB:v]~¯®¶2

²¶}rµ)St)2oovEtE¾ }®uvÅ~tZE~b|}~¯¶¶¸rt~|H¼KvO)Suv®t)ovO~S|«®2S¯¶¸k'E2¯¶'~S|3}r2vÅ)Su2¯¶vEkÄ

°.}rtvHkv]|«®ªo¦²!|Eºqr2v, KËÉ}Ê$ KÊ .KÉoÊÉ-- #'Ê Z!Krt~S|crb~Øu'~|«tO)v]|}|}vO|a~¦a}r2v

|}KvO)CbO~¦}®µ¯®vE¹vO¯!¼KvOE~t|}v¶2o¦¹®2vO|~à|«®u2¯®vE'²~Pà} ~SE)v]|}|Hor2vÅK¦²³vO'°,)b)2o}vOt)

®è°±2t)}®t~¯:|}bv])CbE~}®ºtr2o2St|'Ã4~2b~v]|¯¶®´v _F@¾ ^ _!"wE#f¾!~b

$!%'&)( a*+2w,f¾4or2v $ _Za_-/.Ya* _ HukkvE¯®®2Åuv)}rt2¯® wF0f¾-~t¸kvO|}¶S¸vE¹¶o2uvOS|¯¶®´v

$!%21 %2(354$ _ a_6778/9:¦U~¯¶¯-¼KvE2vC2°±}Su or2v|«®u2¯¶½)¶Å°}r2v, KËÉ}Ê$ KÊ? .`lmÊ$ t¾

@ºvº®Á";w0<}r2v¸|«k|«}vOu vE¹S¯®¹vO|G}r2otr ~·® Ct2¶}và|}vOÀC2vOt)vª°H|}tO)vO|o|}¶¹Svª~¦ou½ØovO~)}®t|

®tkvEkvO¼H~ !¶ÊZ(q$!`!¶Ê mË!Ë!¶ÊOË=¾!;@><k2o¶2~}v]~o¶SvO~r'EubS2vEC³Eu2kovO|2vE²èvE¹SvECo|

°±S!~¯®¯0Ä|ko2k:|}¶St~¯½|¼t~|}vO}rtvat}v]|«vOt)v¦Ý¦~¼b|«vOt)va°-vE¹vOCo|)SuHtk}v]®}r2v,2ovE¹®t|

ovO~So¶SZ~b0¾?;N@<3}rtv9Euut2®O~¦o¶S¬°vE¹SvECo|~uHS2¸)uK2vOCo|kEE2# * $ 0 `oÊ$!"

¼Kv)²vEvO²'|«bE)v]|}|}®¹va}v]~o¶St|Oº

G:¦²³vO¹vE]¾KÄ°.or2v3|}tr2o2St|:~S|}|}2uko¶S<|«®u2¯®Ctv]|c|}k|ovEu |}bv])CbE~}®¾K}rtv32o¼t¯¶vOu°

2vEo¶¹®2Å~Å)oovO,2rk|}®O~¯U®uHt¯¶vOuHvOCo~¦o¶S °±}Su ¶kvO|,ovEu'~®ºQbÇ¸t~«o®E2¯½~]¾kG)2¯¶}®vO|

~}½|}v²r2vO<or2vHo~ovE~ortÄovOo2ov°±Scor2vvEu3¼bv]2kvO |}|«}vOu7rt~S|a~k½|o}®¼2kovOªt~¦o2ov3ort~¦

¼b~k¯®Øu'~¦r2vO|or2vG|}Cbr2}S2b|a~S|}|}2uko¶S ¼KvOO~t|}v°¯®~}Sv¹P~}½~b)vH¶ Eu2k~¦}®¸~b

Euut2®O~¦o¶SÅ}®uvO|,~bØ¼KvOE~t|}v3°}rtv2AG)t¯ÄÅ°³u'~®Co~®2®29~S¯¶S¼t~¯-2o¶S<°.}®uvº

qrt®|4®|¶b)ovO~|}®2¯®!or2v³O~|}vU°±u~c®ubS«~C)¯½~|o|}vO|0°2vEu¼KvOtkvO~22¯®®O~¦o¶St|®~P¹¶S2®O|E¾

®tkb|o}½~¯C2¯½~Co|O¾~t}r2v~k}SuH}®¹v³¶t2t|o}SºLG:vEov¾¦ut¯Äo¶2¯®v2oEvO|o|«®2!vO¯¶vOuvECo|-KvE~¦o¶t

~kBKvO}vOSE¯¶k´°±}v]ÀStvEtE¶v]|U~ov2®|«}o¶¼tk}v]'~v)ovEtkv]~ovO~~tE22v]ovOH¹®~,EuukÆ

t®O~¦}®uvOk½~|«br~S|³¼tt|}|}vO|C;mvºtº®¾ Û °±S~k}Su}®¹v,~22¯®®O~¦}®b|E¾k:yb Û °±~P¹¶S2®O|E¾

~t ÞU}rtvEo2v),°±S¶bkt|«}o®~¯~kou'~¦o¶SD<c|}vEo®~¯U¯¶®2´k|OºÜt|}|}vO|,~t¸|«vO}½~¯U¯®®2´k|E~¾4r2¦²Æ

vO¹vOO¾k¼KvE~}vE°±2¯®¯¶2vO|}¶S2vO}GEu2¯®²¶}rØ~2}®9° ¯®¼b~¯|}Cbr2}S2UTO~¦o¶S~S|}r2v°m~u¶¯®

°.q¶uv)ÆÇq}®SvEovO9!r2¶}vO)}2ovO|E;_`_ a <¾_¶Co}kktEvOÅ~tÅ2ouovO9¼#Gº!F:SbvET wO0f¾K}v]|oÄÆ

CbvO|Oº |}tr2o2St|³¶u2¯®vEuvEC~¦}®b|ut|«¼bvEt|}vEo¹¦~¦}®¹vS¾C°±)®2or2v)¯®k´}o2~S||«¯®¦²

~S|,or2v|}¯®¦²³v]|3Eu2k~¦o¶SKÝ¦Euu2t®O~¦}®àt}k)v]|}|G;IHÊÉ'«Ë q.Z.KÉ}ÊË<)º¬qr2v¦¹vEor2v]~

®u2¯®¶v]¸¼C<}®uv)Æ@}o¶SvEovO ~r2¶}v]}t}v]|~t¸|}tr2o2St|¶u2¯®vEuvOS~¦o¶St|,½|°ovEàvO22Sr

o E¹¶b)v2vO|}¶S2vE|oªb|«v9~|}tr2o2St|Euu2t®O~¦}®Z~r2ÄovO)}2ovO|H|«brZ~|}rtvS2vO|

®u2¯®vEuvEC}v]¼CG}r2v,¼2b|}|}vO|uvECo¶S2vO9~¼K¦¹vSº

~22oS~Sr¾P)u2¯®v)HkvO|}¶St|-²¶¯®¯k¼Kv¶tE}v]~|}¶t¯®2AG)t¯Ä]º G:v)ovEovO2vE¶,²®¯¶¯ku'~tÄ°±v]|U¶o|}vE¯¶°

~3or2v9)uK2vOCH¯®vE¹SvE¯²r2vEovkB_vEovEC'uHkkvO¯®|3°a)u22o~¦o¶S¬u'~P¸¼bvt|}vO } }vO2}v]|«vOC

EuK2vOSKvE~¦}®h~t0¾uovÅ°±ovOÀC2vOSo¯¶S¾:~¦kAB_vEovEC¯¶vO¹vE¯½|G°~¼t|«}~)}®¾²r2vO}vS¾°±

vE2~u2¯®v¾b~|«tr2ott|«Æ@¯½~tt~vc|}KvO)CbO~¦}®Å° }r2vHkvO|}¶SÅu'~P¼KvovCt2v]9¶Co~'¯®¼b~¯®¯¶

~S|«trt}S2t|³¯®O~¯®¯¶|«tr2ott|;NÂcÃ<~ortÄovOo2ovº

bÇ9or2®|:t~KvE]¾t²v,2o¦¹®kv~u'~}r2vOu~}½E~¯°±~uvE²o´°±:}r2vrtv)}vO}SvO2vESt|uHkkvO¯¶®2G°

ovO~So¶¹Svc~bGovO~¯¶Æ@}®uHv|}|«}vOu'|oH~¯¶¯®¦² °±ovEv]ku$°r2½)va¼Kv)²vEvEkBKvO}vOS!|}tr2o2UTO~}®

K¯®½)®vO|~¦kBKvO}vOC,|«o~v]|c°.}rtvGkvO|}¶Sº3qrtv3°±kEt|°S2°±~uvE²o´½|rt~tk¯®¶2ÅEuukÆ

t®O~¦}®ª~tª)k®t~¦o¶SØ~u2r2v)ovEoSvE2vOt|:2}kEvO|o|«v]|!®ª~Gu'~}r2vOu~}½E~¯¶¯®Ø|«S2tÅ²~Pº

bÇCovEovO|«}®2¸²³S}´¬~¯¶S2à|«®u¶¯½~'¯®®2vO|'rb~|'¼KvEvOZor2vØUo¯®vEu3¬2ov] w]k¾!wAJ@¾or2v<ßÅCÜ bÇÞ

(8)

t}vO

w @¾.}r2v9ßÅkkvE¯¶Æ bÇSovESo~}vO

Û

u2ko¶2;mß b Û

<°±~uvO²³S}´

wD0f¾~t EÉ±ÍË¬Ó!*Ê$'

ÉM

wE@º

»c2u'~®ªEC}o®¼2k}®b|c~}vH~u'~¦or2vEu'~}½E~¯ ukkvE¯-°±Sartv)}vO}SvO2vESt|:|}k|ovEu ¼22®¯¶,~S|c~

¹¦~}½~¦o¶Sa°k}r2v «q-~Sv]ÆÇk¶St~¯ßÅkkvO¯°tÃvOv~t3k~2S¶¦¹¦~22¶Æc¶tEvEC}vO¯¶¯® 0;±®,or2®|t~bvOO¾

O~¯®¯¶v]9}rtv Ð Ê !<c~tª~|}v)a°.or2vES}vOu|!}rt~|}22K}cv BKv]o¶¹SvovOr22½ÀC2vO|:}vO2vE~¦ov

~k}Su'~¦}½E~¯¶¯®Å)S}ovO)«Æf¼CCÆÇ)St|o}b}®Ø~S2~2}|c¼bvE²³vOvEª2vO|}¶St|c°±ou2¯½~¦ovOªt|«®29kBKvO}vOS

2vO|}¶S bS¯¶½)®vO|Oº © v¶¯®¯¶b|oo~}vGor2vO|}vEtEvEk|²¶}r¬²³ª~22¯®½E~¦o¶St|,ort~¦'~ovG°!t~}}½)2¯½~

ovE¯®vE¹¦~t)v°±Sor2vc2vO|}¶SG°4vOu¼KvO22vOG|}k|ovEu'|EÁ}rtvakvO2¯®¦CuvOS°4~3|«tr2ott|.2vO|}¶SG¦¹vO

~GÂcÃÅ~ortÄovOo2ov~t9¦¹SvE!~'|}ÆÇE~¯®¯®vO9ÃS|}vE¯®q®uv)ÆÇq4o®vO}v]:ortÄovOo2ov ;^`_`_ a < E0@º

qrtv:½kvO~°±¯®¯¶¦²vO®'}rtvO|}vcvEk~u2¯¶v]|.½|.o3~¼t|oo~S³~P²~P°±ou or2va|}tr2o2St|.|}bv])CbE~}®t|

or2v)St|oo~¶C|4~uS2cvO¹vOS|4°KkB_vEovEC |}®t~¯®|-k2v}c}rtv|}tr2o2St|b~~k®u~b0¾P}r2vO¾

o:u'~}r2v tt)St|oo~¶tvO kv]|«®®C}~:kB_vEovEC-~or2¶}v]o2}v³rt~~)}vEoUTEvO¼,~!t¦¹vE¯C|«vE-°

Et|«}~®Co|³~u2vE¹vOCo|OºLbÇk®2|}t¾²v:ub|u~´va|«2ovort~¦]¾C²rtvE²v:ovEu'~'}r2vakvO|}®¾

or2v!®C}vEbkvO «¼bvOrt~P¹¶S2 °K}rtv:|«k|«}vOu¿½|Uov)o~¶tvO0º q43k|«,²v®So}kkb)v!~°±S}u'~¯t2o¶SH°

/$ 0mË .KÉqEÉ 3}~t|«°±ou'~¦}®4ºaqr2v)St|«}~®S|!Sª)Sok®t~}®Ø~uS22ok)v]|}|}vO|c~ov

O~ko2ovOØ¼Åt|}®2}r2v o~C| ®Øor2v'ÃukkvE¯.~t<}r2vH}~b|°±S}u'~¦o¶St|:~}vHrt~tk¯®vOØ²¶}r

uS}2rt®|}u'|~u23o~'|«vEo|Oº

qr2vt~bvO®|aoS~2UTEvOÅ~S|c°±¯®¯¶¦²!|OºvO)}®¸G½|kvE¹S}v]Åoor2vu~}r2vOu'~¦}½E~¯UkvCttÄo¶S

°!r2v)ovEoSvE2vOt||}k|ovEu'|Oº bÇZv]}®ZÅ²³v°±ou'~¯®TOv'}r2v)St)vOk3°:|«vOu~C}½E|t}v]|«vO}¹®2

~tGEo}v]«Æf¼CÆfEt|«}oto¶SH2vE2¯®¦uHvOCOºU:|~¼t~S|«½!vE2~u2¯®v¾²³va~22}v]|}|.}r2vkvEt¯¶¦uvEC³°

|}tr2o2St|42vO|}¶St|4¦¹SvE Â:Ã~r2¶}vO)}2ovO|Oº bÇvO)}®c²³v)Su2¯¶vOuvEC2ovE¹®t|²o´ EJ

¼H2o¦¹C½k®22vE²èovO|}2¯¶o|.SG|«vOu'~C}½2ovO|}vEo¹P~}®3°± ^`__Za kvE2¯®¦uvECOº bÇGt~S|}|}¶tt¾²v:~¯½|}

v]|~¼2¯®½|«rG~,¯®®2´3¼Kv)²vEvO'2kvEt¯¶¦uvEC²¶}r'or2v ^`_`_ a t}}k)S¯t~tHor2v:Kt2¯®~³Ã~ubS« |

¯®S®O~¯0)¯®k´k|°±!k½|o}®¼2kovO9|}|«}vOu'|EºsR-¶b~¯®¯¶S¾k¶Øv]}® A3²v2o~P² |«SuHvaKvE|«KvO)}®¹vO|Oº

& H'0-! " & --! "

bÇ }rt®|Ø|}vO)}®¾²v¸¼22®¯® or2v ÃvOv¸~t k~2S¶¦¹¦~22¶Æc¶tEvEC}vO¯¶¯® ;mÃ-< }q-~SvOÆ®t~¯

ßØ2vE¯ 0@º R2SovO~S|«St|'ort~¦²¶¯®¯c¼Kv¸)¯®vO~¶·}r2v |«v]ÀC2vE¯@¾!²vª|}¯¶®rC}¯® kvE¹½~¦ovØ°±ou}r2v

S}®®t~¯_Ã-ukkvE¯@º

kCu3¼bS¯! 2vE2}vO|:}rtvH|}v)a°.KS|}Äo¶¹Sv®SovESvE|Eº#"%$&(' kvE2}v]|!or2vH|}v)a°~¯¶¯-u'~t|crt~P¹¶t

" ~|:ku'~®¾t~t²r2S|}vo~2v½|!)SCo~®2v]®)'Gº:¯®|}t¾tÄ°*+"-,/.021~t3*4',/.651~ovt~}}½~¯

So2vE|E¾k~Hu'~87)9:";$&%' ®|!O~¯®¯¶v]& _Ê ` Ë)Éqq Ä°

<>= , =@? 9A"CB = . 0D=>?FE GIH7*=>?1J 5 7*= 1LK ;wJ<

Û Stk¶}® ;«wJ<,vEk2}v]|}|}vO|,}rt~H~Å2Stkv])ovO~|}®2Åu'~ E~223®C¹SvE}kvE|Oº G!¦²vE¹vOO¾ÄE~

~S2ovEu¦¹v|«SuvaSo2vE|Eº qrt|E¾kttkv])ovO~S|«®2H®|²vO~´vEort~¶b)ovO~|}®2tº

(9)

7M1M1

P â [ 4 5m£ 5æ 4 ¢

G¾b~b²v²}¶}v8J

? 8.

?

~t

?

º³ Ë!¶Ê]Ë=½|!~2Stkv])ovO~|}®23u'~)98 $&Gº

c|}|}2uv,~2tkvO}¯®¶t|}v)è°¹¦~o½~¼2¯®vO|O¾k²ÄorÅku'~®ÅºsR2 Ct2¶}vS¾t~?')(*mÊkÉ

S|«®u2¯¶¼bvOrt~P¹¶S2]¾C½|!~vO¯¶vOuHvOCOÁ

9 $&% $&(* 1 , ;N><

uv]~2®2Gort~¦]¾K°±avO~r-9G¾_}r2v_ÆNor<kEE2}ovEb)v° ®Ø¼KvErt~P¹®2

rt~S|!~! 9 ~b

¹¦~¯¶2v

=

9"Åº?R2S#<~¹P~}½~¼t¯¶vS¾_}r2vu'~

*$ 1 9 $& *%&' 1a½|,E~¯¶¯®vOª~& $!¶ÌQRt

~

¼KvErb~P¹C®tO¾k~h 0³°

½|~o22¯®v *$>,( ,( , =

19): *+ |}tr}rt~

*%1/*$ 1

*% , = 1-,

ort|a²³vE~<ovES~o9¼KvErb~P¹C®to|a~|a|«vEo|a°³vE¹vOCo|Oº

©

vovOÀC2®}v}rt~O¾0°±Scv]~r' 9"¾0or2v+.]|

t}vOo¶S<°.}r2v'u'~

*$ 1 ;mÄ,½|,~u'~ $&/ <c®|ttkv])ovO~S|«®2tº3qrCb|c¶½|,~E¯¶k´_¾0²³v

O~¯®¯0Äor2vË!¶ÊOË=ÊÍ0

Ì

Z? ®|!~}o®2¯¶v21

*3,4 ,-5I1¾k²r2vO}v2¿®|~CttÄov|«vE°¹¦~o½~¼2¯®vO|O¾6¿½|~3o~

|}v)]¾2~t75h~H|}v)!°8,Æ@¼KvErt~P¹®2|OºLbf°9;:

6<

>=@?BA

'¾2}r2v .0¦É$!!! ËÊ.tÊlmÊ$ <°-|}|«}vOu'|C18:

~t1D<½|¼G®SovE|«v]o¶SÁ

19:EF1G<

>=@?BA

*F:9H;<,I ,-5C:8J5K< 1 ,²rtvEov

5C:9J5K<

>=@?BAML N

N

DOPRQ 975KS ,(T

. ,VU W,

;m@<

~t

XOY

kvE2}v]|}rtvovO|«}o®)}®Å°

o~G|}2¼t|}v)Z °.¹¦~o½~¼2¯®vO|Oº!qr2v3|}v)[ ° ~S|cE~Ø¼bv

~SPt|«}v]o'~EE2C°±!2AB_vEovEC!)¯½~|o|«v]|° |«k|«}vEu'|Oº

7M17 ; ã 4

§W4¤ æ 4 æ ¢X; ã ¢O£ â ¢

q<ovEt}v]|«vOSK _Ë kÉ}Ê _Ê,²¶}rZ2Hu2vE¯@¾Uo~´vG°±S\ ~Åoo~¯¶¯®¸kvEovOà|}v)]¾~b

ovOÀC2®ov}rt~~¯¶¯_)¯®k´|³~ov @ÉmË!" _Ë)Éqq CÌqr2v:o~¶bkv)|}v)0 oS~2UTEvO|.¼bvOrt~P¹¶S2o|.¶C}

|}tO)vO|o|}¶¹SvovO~)}®t|O¾.~|3v)k2¯½~®2v] 2vEC]º Û ~¯¶¯ÉËmÊ h~ªu~k¶u'~¯|}v)'°:vO¹vOS|°

²¶}r

½kvOSo®O~¯0º®t)v)¯®k´|³~ov:|«}o®)}¯®'¶tE}v]~|}¶tt¾t²vE¹SvECo|³°0or2v|}~uHvc}v]~)}®GE~Grt~P¹Sv

or2v|o~uv'¹¦~o®~¼2¯®vºyvOS~o ~Å¼KvErt~P¹®2~S|~Å|«v]ÀC2vEtEv'°¯®¼t~¯.ovO~)}®t|OÁ

: , < ,R]@]R]¶¾

²¶}r9~C|C : ,( < ,@]@]R]@9^'ºqrCb|_2o¦¹C½kv]|!~¯®¼t~¯N¾t¯¶S½E~¯}®uHv¼t~|}®|Oº ~«o®E2¯½~!®t|«o~b)vO|

°±S_)oovO|}bSt'o2AB_vEovEC!¹¶vO²!|° |«tr2ott||}|«}vOu'|EÁ

`

q~´¶2

uvO~b|U}rb~¦²v:~|o|}2uv:|«Suv!¼t~|}½¯¶S½E~¯b)¯®´ ;or2v:½kvOSoÄHu'~¾S°±ou

} <¾C²r2½r®|US¯¶S¼t~¯2}~¯®¯tEt|}®2vEovO|«k|«}vOu|O¾S~t~¯®¯t)¯®k´k|.~ov|«2¼2ÆfE¯¶k´k| °_}rt®|

¼t~|}½cS2vº.qrt®|½|!~HkukkvO¯_°±:E¯¶C|«v]|}|«}vOu'|Eº

`

!¦²,¾k~´Svc°±S_~H}~¯®¯¶kvEovOkvEb|«v|}v)«xèvSºbº¶¾a

cb

¾kor2v|}v)!° ovO~¯_2u3¼bvOo|O¾2

d ¾S}r2va|«vE°~¦o¶St~¯tCtu¼KvE|Eº qr2vE4¾°±S³~H®¹vOE¯¶k´¾S}rtvEov!v)k½||~t}rtvE³E¯¶k´

e ²r2S|}vc~tvart~|vOuH2G¶CovE|«v]}®²¶}r}r2v,~2Svc°84º.qr2½|uHkkvO¯®|or2v°m~)}rt~O¾

°±~¸®¹vO¬|«k|«}vOu¾ or2vEovvEk®|«o|H~2}r2vOH|}k|ovEu}rb~¦3½|H²³S}´®2Å²r2®¯¶v}rtv°±S}uvE

®|H|}¯¶vOvE2®2;,.}r2½|½|3~<|«2¶o~¼2¯®vukkvE¯°±HKvE |}|«}vOu'|Eº bÇ °m~]¾U~kv]ÀSb~¦}vuHkkvO¯®|°±

KvE¸|«k|«}vOu|~}v|ok«ovEo¶t®¹¦~o®~S|«k|«}vOu|²vkvCttvHtv)Oº

Û

~¯®¯Vl?Ë*$ G~

(10)

¼2vOo¶¹Sv~b|«}o½}¯®¶tE}v]~|}¶t3°±tto¶S B $&'¾K~tÅ2vE2}v,¼èor2v|}v):° ~¯¶¯

}®uvGrt~2SvO|¦¹SvE#GºGqr2vO¸~9|}tr2o2St|c|}k|ovEu 1

* ,I ,V5I1c½|E~¯¶¯®vO l EÉ

0¦ÉM$ 0HAB ¶H½|H¶¹¦~o®~C2tkvOH}®uHv9rt~2vS¾UNºvº®¾ °±vE¹SvEoª¼KvErb~P¹C®t

9 5~b

vE¹SvEo'}®uvrt~2Sv 9 ¾2}r2vO

95hr2S¯®2|O¾k²r2vO}v

*%@,I ,( , = 1 9

=R?BA

*$>,( , *$ 1 ,= 19

] ;± <

ÞU2~u2¯®vO|4°k|ok«ovEo¶2®¹¦~o®~S|}k|ovEu'|~ov-}r2v³|~¯®¯®~¼2¯¶vUt}k)v]|}|}vO|K°¯½~¦ovEtECÆ@®t|}vEt|}Äo¶¹Sv

kvO|}® w]0@¾t²r2vEov

¸º

7M1UI 8 5 â ç>; ã 4

§W4¤ æ 4 æ -¢,; ã ¢O£ â ¢

q®uvO|«trt}S2t|³|«k|«}vOu|~}v|«trt}S2t|³|«k|«}vOu|®²rt®r2r|}½E~¯Ko¶uv®|~P¹¦~®¯½~¼2¯®v¾®

~S2k¶}®àoØor2vSokvO}®2Å°c|«bE)v]|}|}®¹v'ovO~)}®t|Oº :}v}rt~HvO¹vOS|¼KvE¯®2S¶tÅ}<}r2v9|}~uv

ovO~So¶S<u'~P<kEE2~¦kB_vEovEC2rk|«½E~¯U¶t|«o~Co|OºQR2}r2½|E~S|«v²vHo~´Sv

! ¾

²rtvEov ®tkvEkvO|or2vÅ}v]~)}®t|O¾~tè½|}r2vÅtrCk|}®O~¯o¶uvØ¼t~S|«½| ;±vSºbº¶¾C

b

°±

ovO~¯ÄÆ@}®uvJ<)º

7M16

¢ ã 4

§W¤ æ 4 æ -¢,; ã ¢E£ â ¬¢

qrtv,2o¶S° ~S|«trt}S2®EÄ'½|¹¦~S2vº³!|}k|ovEu$ort~¦:½|2:|«trt}S2t|E2¯½¼bvO~¯®¯¶v]

~S|«trt}S2t|O¾.¼22²³vÅ°}vOµ²~C'oà}v]|o}½|}uvE²rb~¦}r2½|Gt}®µo E~2}2ov9t~}}½)2¯½~

rb~~ovEo®|«}½E|°.~uHkkvO¯Nº bÇ9or2½|:t~bvOO¾b²³vo~´Sv~'¹vO}¯¶®¼KvE~¯4®C}vO}2ov)~¦o¶S°±S:~Ø~S|«kÆ

rt}S2t|c|«k|«}vOuº bf°³²v3®C}vEo2ov),~'~9|«vE~S|a~)St|«}~®Sa<}r2v')Sok®t~}®Ø°³kBKvO}vOS

|}®t~¯®| °_~,|}k|ovEu¿~tH}rtv!¶CovEvO9 9A ~| or2v!¼t~S|«½)St|oo~¶CU°K}rtv:|«v]ÀC2vEtEv°_vE¹SvECo|U°

or2v¼bvOrt~P¹¶S24°t~!¹¦~o®~¼2¯®v¾]}r2vOor2v³uC|«ECSo2¶t~}®,2b)b|oo~¶2v] |«k|«}vOu¾Por2vS2v²¶}r

uC|!kvOovEvO|³°°±}vOvOkSu ®ovEou|°-r2S®Evc°-ECSo2¶t~}®Guv]rt~2½|}u¾2E2¯½¼bv,)St|}®kvO}v]

~'®2vO~¯_~|}tr2o2St|U|}|«}vOu9º-qr2vO~~|}Cbr2}S2b|U|«k|«}vEu)S}ovO|}Kt2|U}~uHkkvO¯b²rtvEov

or2vo~¸|}v)'kvO|32®¹v~à¶2°±ou~}® S or2v~¼t|}¯®k}v}vO¯®~}®¹vGSo2vEo¶2ª°:vO¹vOS|Eº

bÇµuov°±S}u'~¯²~P¾o~´v

]C¾U}rtv9}o¶¹½~¯|«vEG)b|«½|o¶tª°a~¸|«®2S¯¶vvE¯®vEuvEC]ºèqrtvE¾

¼KvErb~P¹C®to|½kvEC}¶°±²¶}r9vO¯¶vOuHvOCo|

9 $& $& Øº

7M1@ 4L4 54 : â e¥ hJâ

qrt®|c|«®u2¯¶v3v)2~u2¯®v²®¯¶¯¼bv3t|}vO9or2}S2rtkor2vovO|«:°Uor2vt~bvO!o®¯¶¯®t|«}~¦}v2c}v]|«2¯¶o|

~tª}r2vO¶3¶u2¯®½E~¦o¶St|OºÃvE1~t ¼Kv'²³Ø|}tr2o2St||«k|«}vOu|¶¹S¯¶¹®2}r2v|}~uHvG|}v)

°.¹¦~o®~¼2¯¶v]|EÁa°UKv¼K¯®vO~4¾K~t = °Ubv3¶C}vOvOOºÞ~Sr<|}|«}vOu KS|o|}vO|o|«v]|!t¯¶9~|}¶t¯®v

¼KvErb~P¹C®tO¾C|«r2¦²'or2vco®rC³rt~tG|}®2vc°X1 Ba]R]@]k~b Ba]@]R]¶¾ovO|}bv]}®¹vO¯¶SºÞ³~rG¼KvErt~P¹®2

Et|}½||!°~|}vOÀC2vEb)v°|«bE)v]|}|}®¹vovO~S}®b|E¾_|«vOt~~¦ovO9¼9¹vO«o®O~¯4¼b~|EºaÞ.¹vOCo|a|«¶«o¶2®

or2v|o~uv'ovO~)}®¸E~à¼bv|}vEvOk!" ÌØÞ~ràovO~So¶S Et|}®|«o|°!~à~|o|}¶S2uvEC°¹¦~¯®2vO|

oG~G|}2¼t|}v)!° or2v¹¦~o®~¼2¯®vO|R,t~¼2¯½~2´¶t2®O~¦}v]|or2v~¼b|«vOt)v,°or2v)St|}®kvO}v]¹P~}½~¼t¯¶v,®9}r2v

Et|}½kvEovO}v]~o¶Sº

Á ! 7 ! 7 ! 7 ºEºOº Á ! 7 ! 7 ! 7 ºOºEº

(11)

»c2vÅ°cor2v<ÀC2v]|o¶St|'~22}v]|}|}vOZ¶èor2½|'t~KvE®|'rt¦² } 2vE2¯®¦Z~¸|}Cbr2}S2b|H2vO|}¶S

S ~Z¯¶v]|}|9Et|«}~®2vO·~r2ÄovO)}2ovº qr2v vO2vE~¯|«}~¦}vOè²v<°±S¯¶¯®¦² ®|oZvO¯¶®u¶b~¦}v Ct|

or2vG)St|«}~®S|a¶C}okktEvO ¼Ø}rtvG|«tr2ott|~|o|}2uk}®¸~tªor2vE }Åu'~<or2vGovO|}2¯Äo¶t

~S|«trt}S2t|0|}k|ovEu 3~¯¶v]|}|-)St|«}~®2vO,~or2¶}v]o2}v.}rt~u'~Pc~tvU°±ou~|}tr2o2St|K}

ovE¯½~¦kv]Ø¹vOo|}®t|c°.o¶uv]ÆNo}®SvEovOª~r2ÄovO)}2ovO|Oºqr2v KËÉ}Ê$ 0mÊ <°~|}Cbr2}S2b|

|}k|ovEu ¯®®´v71 )St|«½|«o|® ;«wJ<HovEu¦¹¶t<or2v<|}Cbr2}S2UTO~¦o¶S ¼t~}o¶vOo||}vEt~o~}®2 }r2v

|}tO)vO|o|}¶¹SvG}v]~)}®t|O¾U~t0¾.}r2vO¾ ;N@<Eu2ovO|o|«®29or2v|}vOÀC2vOt)v°:¹¦~¯¶2v]|°±S3v]~r ¹¦~}½~¼2¯®v¾

®tk®¹®2t~¯®¯¶Sº.qr2½|C®vE¯½2|OÁ

1

:B

Á ! 7 ! 7 ! 7 ºEºOº

= Á . . . º º º

²rtvEov }r2v.|}2¼t|o)o¶2a}vE°±vE|_}!~S|«trt}SCSºqr2vUovO~2vE0u'~P!or2¶t´:ort~¦vO¹vEC|0rt~P¹¶t½kvOSo®O~¯

®tkvE°±SckB_vEovEC:¹¦~o®~¼2¯®vO|!~}v~¯¶®tvO0¾b¼2k:or2½|!½|!2:}rtvE~S|«vSº bÇ9°m~]¾K~S|or2v~¼b|«vOt)v°

¹SvE}}½E~¯2¼t~|.®'or2vck½~So~u¿|}2SvO|«o|O¾or2vEov!½| _Ê-$!" 0? ~¦³~¯¶¯K¼Kv)²vEvE'vO¹vOS|~S|}|}k)½~¦}v]

²¶}rÅkB_vEovEC¹P~}½~¼t¯¶v]|Eº

yvOS~ok®2Åkv]|«tr2otT]~¦}®4¾0}r2vG°±¯®¯¶¦²®2Ø)SuuHvOCo|~}v®àkvE]º !}v'ort~¦\1

¼tk01 º !vEO¾C}r2v|}Cbr2}S2b|.|«k|«}vOu kvCt2v]'¼

1 H ¾C}r2vc2bkv)ovEouH®2½|o®

rt½)v9¼bvE²³vOvE 1 ~t ¾KS|o|«v]|}|}vO|H²¸¼bvOrt~P¹¶S2|Eº<G:¦²³vO¹vOO¾³Ä|GkvO|}tr2o2UTO~}®

v]ÀCt~¯½|C1 ¾t~bKS|o|«v]|}|}vO|S2¯¶2v,¼KvErt~P¹®2]º

:¦²,¾.²³vt|}vor2vt}SbC|«v] °±o~uHvO²³S}´ª}¸kvO}®¹v'°±S}u'~¯³ukkvE¯½|3°± 1I,¾³~t 1 ºOR2

or2v|}tr2o2St||}|«}vOu'| 1Ù~t'¾-²v'~´v

oØ¶bkv)¸}rtv|«bE)v]|}|}®¹v'ovO~)}®t|Oº1

KS|o|}vO|o|«v]|~|}¶t¯®va¼KvErb~P¹C®t ;m2ov}r2v~¼t|}vEtEva°

=

~o~ U )<Á

* 1 *3U . 1

*3U .,!1 , * 1/*U 1

*3U , 7 1

*= 1/*$ 1

*3U .,@. 1

;lA><

Rt ¾k²vrt~P¹v ;m2ovcor2vkBKvO}vOt)v0<Á

* 1 *3U . 1

*3U . ,!1 , * 1/*U 1

*U , 7 1

*= 1/*$ 1

*U ,@. 1

;MD@<

Rtor2vØ~|}tr2o2St|3|}k|ovEu'|1

¾³²vo~´Sv

]S¾³}r2v9o}®¹®~¯!|«vE²¶}r ~à|}¶t¯®v

vO¯¶vOuvECOºhqr2vÅovO~S|«S¬½|}rb~¦G²vØk¸2G2vOvOè~¬~S2k¶}®t~¯}®uvØ|~u2®2à¶2°±ou~}®º

qrt|O¾a1

KS|o|}vO|o|~'|}®2¯®v¼bvOrt~P¹¶S2OÁ

* 1 *3U . 1 ! , * 1/*U 1

7>,!~b

*= 1 *% 1 . ] ;E<

7M1 P,5N¢O§ ¢]¢ 5æ 4

2oS~So¶¹SvovO~2vE²³S2¯½Ø®uHuv]k®~}vO¯¶<E}¶}½)UTEvHor2v'kvCttÄo¶S ;@><a°³¼bvOrt~P¹¶S2o|Oº»ct2vC2Æ

tÄo¶SØt|}vO|²G®tkvE®2Guv]rt~2½|}u|O¾Kt~uvE¯®A ¸¾tokvO!vE¹SvECo|:¶Øv]~rÅ®tk®¹®kb~¯ |«®t~¯N¾

~t'¾}kvO ;±}®uv|~uD<³vE¹SvECo|S¯¶S¼t~¯®¯¶'~S)oS|o||}®t~¯K¼Ktt2~o®vO|Oº.»:° )S2o|}v¾k|}¶b)va}r2v

vO¹vOS|!°U~|«®t~¯~}voo~¯¶¯®kvEovO9¼}r2vO¶ Ço¶uv3|«o~ut| ¾2or2vE®a¯¶kE~¯4®tkvEàovO|}2¯¶o|!ov)Æ

22t2~S]ºUqr2v!ovOk2b2~tE3°0}r2vc¶bkv)k®2½|t~«o®E2¯½~o¯¶3¹C½|}¶¼2¯®v!®;lA@<.~t ;MD <ºUqr2v:S}®®t~¯

(12)

Ã- ukkvE¯ kvO|:2c2vEv]}r2½|:ovO22t2~t)}GovEt}v]|«vOSor2v|}k|ovEu°.®SovEovO|«Oºqr2v3}v]~|}

°±S:®C}o2t)®2'or2v3ovO22t2~t)®|:}vO¯®~}v]9}'or2vkAB_vEovECc|}vEu'~So®O|!°U}r2v3²³kvE|EÁ³2v

½|,®C}o¶t|}½3® }r2v¹vEoØ2}® °vE¹SvECo|°~Å|}¶St~¯@¾0or2vGor2vE,½|,ovE¯½~¦ovO<}9}rtvG)b|oo~¶Co|

SvO¹vECkvO}®2322va}H}r2v|}tr2o2St|~|o|«2uko¶SºsB:v])S22¯®¶23}rtv²³HkvE|~¯®¯¶¦²!|t|

oovEt}v]|«vOS,)¯®vO~2¯®9}r2v'kv]|«tr2otT]~¦}®ÅSbvOo~}® ~tØ}r2v'kvO2¯¶¦uvEC uovvO2vE~¯

~ortÄovOo2ovO|Oº-kvEo~¶¯®vO9k½|}Et|o|«®®|t}¦¹½kvO¶Å!tbvOtk¶º

bÇ ~2k¶}®4¾bor2½|c¹SvE|«®Å°.}rtvHÃ-¿ukkvO¯-u'~or2v]|:vEk~So¯¶}rtv3®k°±ou'~¯ kvO|o)o®k}®Ø°

or2v ^`_`_ a 2o}kE¯_®¹vO®9kvOo¶S9tº®wº

6D

c|}|}2uvª~ °±2t)}®t~¯a|}k|ovEu*|«KvOECKE~¦o¶Sht|}¶t¬~¬|}tr2o2St|G~t2}C~r¾°±S|}2¼t|}vOÀC2vOS

2vE2¯®¦uHvOC3¦¹vO3~ k½|o}®¼2kovO¬~S|«trt}S2t|3~r2¶}vO)}2ov;N|«tr2ott|H~tZ~|}tr2o2St|

~}vGEt|}½kvEovOª¶¸or2v|}vEt|}vG°|}2¼t|}vO)}®¬kº®wJ<)º

©

rtvEà²vGkvE2¯®¦ª}r2v2vO|}¶S S ~ÅkBKvO}vOS

~ortÄovOo2ov¾²v<ub|9u'~´vª|«2ovØort~¦}rtvªS}®®t~¯c¶CovEC°}r2v¸kv]|«®2vO½|u'~¶Co~¶tvO0º

qrt®|H|ovEZ®|32 }o¶¹½~¯¼bv]E~b|«v}r2v¶2°±ou~}® S ²rt~3½|HEt|}½kvEovOàEo}v]¼KvErt~P¹®2

®C}okkt)vHor2v'2o¶S¸°|}vEu'~So®)Æ@t}v]|«vO}¹®2Goo~t|°±S}u'~}®ØoÅ®2vEC}¶°±<2ovOE®|}vE¯®Ø²rt~®|,~

4 4 54 : â e¥ hJâ § æ 4

£¶ç yvEC~k¶t9|}vEu'~So®O|a2}v]|«vO}¹®29kvE2¯®¦uvECO¾4}r2v°±S¯¶¯®¦²¶t

EuuvECo|O~9¼Kv|~¦}v]2!o22t¶2vEk~u2¯¶vSº.qr2v|}Cbr2}S2b|³b~~¯®¯¶vO¯)uKS|}Äo¶S°

1¿~t¾bkvCttvO¼G¶CovE|«v]}®4Á81 E

>=@?BA

1 ¾t®|vOuH2ºqr2vovO~S|«S½|}rt~1¿~t

2®|o~S}vOvª²r2vEovotk~¼t|}vEtEvO|:°±a}r2v¹¦~o½~¼2¯®v = ºH»cØor2v3}r2vOrt~t¾|«®t)v 1

0¾

or2vE 1E

>=@?BA

1"

1

º,qrCb|E¾K°±c}rtv3t~¶ *1I, 1)¾kvO|}tr2o2UTO~}®

2Cv]|2!t}v]|«vO}¹Sv!}rtv|«vOu~C}½E|°-t~~¯®¯®vE¯)SubC|«¶}®¾k®Å~'ovO~|}b~¼2¯®va|}vEb|«vSº

G:¦²¸}cuHkkvO¯C}rt~ |}vEu'~Co®O|½|t}v]|«vO}¹SvO²r2vO}vO2¯½~)®2:}r2v®2vO~¯|}Cbr2}S2b|0¼2oS~tE~|«4¼

or2v~S}b~¯S~S|«trt}S2t|0Euut2®O~¦o¶S?bÇor2v³O~|}vU°2kvEt¯¶¦uvEC4t|}®2}rtv

^`_`_ a

Æf2o}kE¯@¾

²v°m~Ev}r2v!|o~uv½|}|}2v]|E¾¼tk²¶}r}rtvO)2oovEtEv°bo¶uv:~S|U~'~tkÄo¶St~¯b)uK2vOC.°Ko~C|Eº

bÇª°m~)O¾~ªvO¯¶vOS~C|«S¯¶ko¶S<²~|a2oKS|}vO<¼CØÃ4vÂatvEo2®~t<q-~¯®2®<°±Scor2vH°±ouvE,Â:Ã

æ ¤J WL5N¢ ¢

Rt ,I

?

²ào~¬|«vEo|O¾:E~¯¶¯ÊÉ. ~¬u'~ B $& ?

²rt®rh½|Gttkv])ovO~S|«®2 ~b

|}2NvO)}®¹v]ºsRt B $& ?

~uo2r2½|}u¾S~t

9 $& $&(* 2 1U~a¼KvErt~P¹®2]¾ovE2¯½~E¶t

¼ *$ 1®

kvCt2v]|!~H2vE² ¼bvOrt~P¹¶S2rt~P¹¶t\ ? ~|o~'|«vEO¾2²v,kvE2}v,¶!¼

, ¼

] ;MF@<

vO«°±S}u®2or2½|°±vO¹vEo'¼KvErt~P¹®2°-~3o~|}k|ovEu 1 ¶vO¯®t|}r2v~'|«k|«}vOu

1 ] ;m@<

(13)

Rt_;: >&

6<a²³uo2r2½|}u|O¾2kvCt2vÁ

:

< =@?BA

*$ : ,( < 1 : *$ : 1 < *$ < 1 ] ;«wO@<

ÙO~|}v°a®C}vEovO|«®|6S

?

S ,IT

. ,VU ,U~b or2v ?

S

~ov9kAB_vEovEC]ºèqrtvE;:

6<

½kvOSoCbvO|²¶}r}r2v,t}kkt) ?

:

?

< º

P â ¢ ã 4

§W4¤ æ 4 5 ¥k£5 æ

4

Rtv)2~uHt¯¶vS¾}r2vKZ KËÉoÊ 0$lmÊ$ ª°-|}Cbr2}S2b|³|}k|ovEu'|®|O~kÆ

o2ovOà¼ª}r2vuHS}tr2®|}u B8 $& ]S¾ ²r2½r vOo~S|«v]|~¯®¯S¯¶S¼t~¯}®uH®2ª¶k°±S}u'~}® ;m|}vEv

Þ³ÀSb~¦}®b|C;lAk¾D@<)¾2~t+; E< <)º

= â £ â ¤ æ : â 4

âæ -¢c¥k¤¦¥ â N3æ hJ æ ¢ 5m£ 5æ 4

bÇor2½||}2¼t|}vOo¶S²³v!kvCt2vor2vcEuKS|}Äo¶SH°b²o~SvO|«k|«}vOu|1DS

* S ,I6S ,V5KS1 ,(T

.,4Uk¾

²rtvE+;:\

6<Sº qrt®|kvCt2¶}®®|2o¦¹®kv]'®G²3|«o~SvO|Oº Rt}rtvCt|«|«o~v¾²vc~S|}|}2uv:ort~¦

;:

6<ºSRt

S.~H¼bvOrt~P¹¶S2°91DS}¾t|o~P}rt~ * : , < 1½|!~X 0 (!,t~¶]¾k²oÄ}}vE

:

< B : OP

P < OP

P ]

Rt

:

<¾or2v/ 0Ëq$lmÊ$ 9°

:c~t

<a®|or2v¼bvOrt~P¹¶S2

:

<art~P¹®2\F:GH! <~||«vE°

¹¦~}½~¼2¯®vO|O¾k~t|}tr}rt~OÁ

* :

< 1 OPRQ

S,IT

. ,4Ua]

:¦²,¾k}vE}2o}H}r2vO~|}v;:

6<S¾2~t9~S|}|}2uva²³Huo2r2½|«u'|C;: @&

6<º © }¶}vSÁ

: < B

: 6:

< < ] ;«wwJ<

Rt * : , < 1~Ht~®!|}~}½|°±®2 ;wSwJ<¾22vCt2v

: < ;«w]><

~S|¼KvE®2}r2v|«vE°vE¹SvECo| *$>,( , *$ : ,( < 1 , = 1|«br'}rt~ : *% : 1 < *% < 1 =R?BA

~t-*%@,I ,( , = 1®|

~vO¹vOS°

~t5K<¼C_Á

5C:

J 5K<

>=@?BA :

<

:

< ;«wO@<

R-®t~¯®¯®¾}rtvE*EÉ}ÊqZ Ê .0¦É$!!! ËÊ.tÊlmÊ$ <°81 : ~t1 < ®|!2vCt2v]¼C_Á

18:

E 1G<

* :9H <,a;:

6< ,5C:

5K<1F] ;«wE <

©

v|}¶u2¯®G²oÄov!

E ®t|«}v]~°"

E

²rtvE < ½|}rtv,®kvOC}¶º