Compositionality in Dataflow Synchronous Languages: Specification & Code Generation

(1)

HAL Id: inria-00073379

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

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,

Compositionality in Dataflow Synchronous Languages:

Specification & Code Generation

Albert Benveniste, Paul Le Guernic, Pascal Aubry

To cite this version:

Albert Benveniste, Paul Le Guernic, Pascal Aubry. Compositionality in Dataflow Synchronous Lan- guages: Specification & Code Generation. [Research Report] RR-3310, INRIA. 1997. �inria-00073379�

(2)

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

! #"%$&'()

*)+,(+-/.01-2 ' 3, )4 * 5 -6+-#!-#$7

Albert Benveniste , Paul Le Guernic , Pascal Aubry

N ˚ 3310

November 1997

TH `EME 1

(3)

(4)

&/4=0/4 +4 )>?

@8ABCEDF8GHCEIJ5CKI'LNMOFPCRQST?U'AWVXCZY[U2CED\I'LN]_^_Q2ST?M]`TA @8U'B'D\a-b

cXdfe\ghjikmln\oph\qEr`s8hOtopuovtpe\gh\o

w xvyKz{hOt%| }f~%t*x

lWqE}f}y$xvtXhxph\>dfh\x*>dh3Efi\8k yKhg?h\xi\E$1kmEj}fqEh\o

8+\OfKK y`r:qExv:tu.oqKfKyOqKtvh\qKoq opyK.rtpy$¡y$xjtpdh¢fh\op$RyK¡.qKxpKh£opu`optvhgjoO¤/tpdh

gjqKtpdhgqKtv.OqKt*xpqEfov.qtpy$¥y¡Wt*d.oOyEfOh\}tH:oyK¡tvh\RtpdfqKtHyK¡H¦¨§© ª§«¨¬®¬¯§°5±²¬®³K´cXd.o}qK}?h\xH:o

fhOKyEtvhµtpdh¶.opo*rh\o7y¡OyEgj}?yEoptpy$fq:tu·q.g:f¸qt[gyfr.qKx¹ºyh¢Eh\hxpqKtv:yE»¤%¡y$x7qtpq¼y½

opuf>dfxpyEy$rfo.qKfErfqKKh\o\¾¿~Wo£OqExvh\hopo7ovtpyExp:fRy¡HyE`z{hºt[ºyhZ¡yEx7¡¯rfxptpdhx¹xph\rovhZ:Àovuoptvh\gjo

fh\op$R¡¯qK.otpy ½y$xpÁ¤/½h[Â?x*optºyEºh\$t*xpqKtvh[yE½dfqKt8qKxph[tpdh¢qEf:tv:yEfqKX¡h\qKtprfxph\o8hOhh\tvy

qEfoptpx*qKºtj}fxpyK$xpqEgo¡yExjt*dh_}frfx*}?yEoph7yK¡1Oy`fh¹Eh\hxpqKtv:yE»Ã¹½/h[o*dy½t*dfqtq¥Oh\$tpx*qXyEtv:yE¸:o

t*dfqt y¡%«O¦*ÄÅ¨ÆÇ²¬®°`È¹«NªÅ¨¦O¬É¦¨±¬¯§°¹qKoWxph\o*r:tv.¡¯xpyEgÊq¢¦¨±Ç`«O±²¬®Ë³[±°5±²³P«>¬.«WyK¡'t*dhEEh\£}fxpyK$xpqEg¹¾

cXdfh\ ½/h7optprffuovh}fqKx*qtph8ºy$g}f.qtpy$¥¡yExovuf>dxvy$yErfo}fxvyEEx*qKgjo\¤+qEf ½/h¹.o*Orfo*ot*dh7.o*oprh

yK¡ .ovt*xv.frtph\£.gj}hgh\$tpqKtv:yE_rfop.7qE_qKopuf>dfxpyEy$rfoXgh\.rfgÊy¡ OyEgjgr:\qtpy$1Ì¡y$x ?yKt*d

tpyE}.Oo½/hH}fxpy`:fhHq¹ºyEgj}:hOtph¡y$xpgjqK+optprffuK¾HÍyEx*xph\o*}y$f.8q:Ky$xv:tpdgoqKxphH\rfx*xvhEtpu£rfh\x

fhOKh\y$}fgh\$t%:7tpdfh1¡¯xpqEgHh\½y$xpÁjyK¡+t*dhÎÏ/ÐÑ¦¨§©©j§°HÒº§Ó>©j±»¡yExXopuf>dfxpyEy$rfo/:qEErfqKKhoO¾

Ô[Õ$Ö5×*ØÙ Ú+K opuf>dfxpyEy$rfoW.qKfErfqKKh\o\¤»gy`r:qExv:tuK¤OyEgj}?yEoptpy$fq:tuE¤ºyhjKhh\x*qtpy$»¤».o{Û

t*xv.frtph\[ºyh1Eh\hxpqKtv:yE»¤OqErfo*q:tu8qEfq:uov.o\¤`oph\}qKx*qtvh1ºy$gj}.qtpy$»¤fhovuf>dfxpyEf:o*qtpy$»¾

Ü®Ý»ÞpßNà\á%ÞXâ+ã:ßNäNåºæ

ç»èPéëêXìí¨ìî{ïXéëêí¨ð8îñOòî{ðPóîvó7ôºîvï¯êéëõ>ð8õ¨öíìPï¯îv÷ëéëøXéëðPí¨ï¯ùï¯î{ìõ>ï¯òWú3èPéëûNè8í¨ìPìîví¨ïËî{ó¹üðPóPî{ïXòèPîêNí¨øXî òËéòË÷ëîéëð

òèPîýïËõOû{îvî{óPéëðþ>ê1õ¨öÿ í¨÷ëîvðºòËîõ>ï \êËèPõ>ì£õ>ð5õ>øXìõ>êéòËéëõ>ðí¨÷ëéò®ù3õ>ïËþºí¨ðévî{óºùý5óPîõ\îôºî{ï1í¨ðPó

`í¨ðPþ>øí>í¨û \òèîvêËîìPïËõOû{î{îvóéëðPþ>ê+ú3éë÷ë÷î2ìPüP÷ëéëêèPî{ó éëðWòËèPî! "$#%&#\ìPï¯éëðPþ>î{ï('?î{ïË÷í¨þ)

çèéëêú5õ>ï* Wéëêõ>ï3èPí¨ê+î{î{ðêüìPìõ>ï¯òËî{ó éëð ìí¨ïò+OùòËèPî2ö:õ>÷ë÷ëõvú"éëðþ/ìPï¯õ-,¯îvûòËê.0/üPï¯î *í21#43" "5$6" 7&/?êËìPï¯éò(8:9

1#<;+5+/0#>=?/?êìïËéòìPïËõ2,Ëî{ûò5/?ý@-ABC)/êìPï¯éòD\ç$$1#3:(E=F/êìPï¯éò5ìPï¯õ-,¯î{û{òD/ýG@@-AHCIKJ®ðXí¨óPóéòéëõ>ð%òËõ'òèî"÷ëéëê¯òî{ó

í¨üòèõ>ïËê5òèî öõ>÷ë÷ëõpú3éëðPþ ìî{õ>ìP÷ëîèí{ôºî1éëðPóPéëï¯î{ûò÷ùDüòXêËòËï¯õ>ðPþ>÷ù»û{õ>ðOòËïËéüòî{ó8òõòèéëê/ú»õ>ï .òèPîMLINOLöõ>ïËøí¨÷ëéëêËø

èí¨êî{î{ðêËèí¨øXî{÷ëî{êê÷ùPõ>ï¯ïËõvú»î{óöï¯õ>øQ;+øXéëï3ý?ðOüPî{÷ëéRKí¨ðPó1òËèPîSPí¨û \þ>ï¯õ>üPðPóõ>ð ÷í-î{÷ë÷ëîvóìí¨ï¯òËéí¨÷fõ>ïËóîvï¯ê2éëê+øXõ>ê¯ò÷ù

í¨û >õpú3÷ëî{óPþ>î{óòËõýí¨ü÷»í¨êìPéR

T ;Uí¨ðPóý÷WVS í¨ïËîú3éòèXJ®ï¯éëêNíY2J®ðPï¯éíZ»í¨øXìPüPêóPîU5îví¨üP÷ëéëî{ü[\H]-A-^4@î{ðPðPî{êjû{î{óPîñ_EPïËí¨ðPû{îî{øí¨éë÷-.

ðí¨øXîa`+éëïËéëêíö:ï

b

J®ïËéëêíY2J.ö:êËéëûOí¨øXìüPêóPî7U5îví¨üP÷ëéëî{ü[&H]-A-^4@>î{ðPðPî{ê+û{î{óPîñ&EPïí¨ðPû{îî{øí¨éë÷.?ðPí¨øXî2`+éöêéëûöï

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : 02 99 84 71 00 - International : +33 2 99 84 71 00

(5)

&'9&": 45¶0)º%4À&»%4

qºy$g}?yEop:tv:yEfqK:tvn£hovt8rh¢?yEfh¢tpx*qKfrfOtv:yEµgjqt*dn\gjqKtv$rfh¢frµºy$fºh}t8h

gyfr.qKxp:tvnK¤OyEfOh\}t.g}?yExptpqE$t}?yErfx.q7OyEfOh\}tpy$¢hopuovtpe\gh\oh\gHfqKx`rn\o\¾ Wy$rfonOt*rf:yEfo

.q£ºy$gj}y$ov:tv:yEfqK:tvn}?yErfxho :qEEqKKhoW¼?yKtpohyEnOhoovuf>dxvy$h\o\¤qPKhOyEgjghyE`z{hºtp¡%:q

o*}?n\ºÂ?\qtv:yEh\t:q¥En\nxpqKtv:yEh_ºyh_.optpxp:frfnK¾= yErfojhOsfd:?yEorf¡yEx*gjq::o*gh£rf¡yEx*gHh

}?yErx1tpx*q:tvh\x fh\o`rhovtpy$foh\qKrfo*q:tpnK¤y$xpfyEffqEfºhgh\$tO¤h\tºy$ggHrf.OqKtv:yE1Ã .q¹fyKtv:yE¥h

«Nª¨¦º¬É/¦*±Ë¬¯§°-Æ§Ó*ÆK§°?°±°¦¨Åº©ÅO°%yErfh¶Æ{ªfÅº°5ÆK±°5¦¨Å\´WyEroqK}}fruEqE$tHo*rfxOhOtvtph¹fyKtv:yE¤'fyErfo

OyEfr:opyEo2rfhXnOt*rfh%¡y$xpghO::hºyEgj}:eOtphhX.qOyEgj}::qKtv:yEjopn\}fqExvn\hh\th.qfn\opu`>dfxvy$.opqKtv:yE

h8rh h1.qKn\fn\x*qtv:yE8h ºyh .ovt*xv.frnE¾ h\o%qKEyExpt*dfgh\o%ºy$xpxph\o*}y$ffqEEt*o opyE$t%h\¹ºy$rfxpo%h

fnOKh\y$}f}?h\gh\$tXqKrtpyErfxXr8¡y$xpgjqKt%OyEgjgrRhoX.qK$qKhoopuf>dfxpyEhoO¾

Ù

×

}fxpyKEx*qKgjgjqtpy$[ovuf>dfxpyEfhK¤5fqt*q¼y½ ¤5op}?n\OÂOqtpy$»¤5Knn\x*qtpy$£hOyhK¤5KnnºÛ

x*qtpy$h Oyh .optpxp:frfnK¤ºy$g}?yEop:tv:yEfqK:tvnE¤Egyfr.qKxptpnK¤`yEx*fxph\o}fqExvtph\:o\¤`OqKropqK:tvnE¤$hovuf>dxvyKÛ

f:o*qtpy$»¾

(6)

<Ù fÙ

Õ_Õ Õ Ë¯ Ù Õ Ö Ù+Ù + +fPÚ!#" $

%'&

Õ ()+E Ù & Ö ¥ Ù #¯

P **Ù

& Ö \ Õ ¸,+.-0/1-*2,354 768:9 ;

< Ù = Ù * Ù " Õ Ù " Ù K +¯ Ö Ú-\

Õ Ú "¶0 Õ >?)'K*Ù 6

?¾iA@-dqtX.oXtpdh }fxpyEfhgCB ¾1¾ ¾1¾ ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾

?¾D E>dh\frf.op}?h\OÂOqtpy$fo¹¾ ¾1¾ ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾ i

$ <Ù Ú ¯ Ú-Ú¯\O¯ " Õ Ú· Ù Ú Õ " ÕF+Õ Ù ;

G ¾i lWhO.qs:fjopuf>dfxpyE$u_¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾ i*H

G ¾D I hh\x*qtp:fjo*>dhfr::¡y$xXovh}fqKx*qtphgyfr:h\o ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾ i*J

G ¾ cXdfhyEtvtvy$g::fhÃ2gHyfrf:qExXqKf[.ovt*xv.frtph\[ºyh1Eh\hxpqKtv:yE ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾KDK

;'< Ù +Ù

1

,! Õ Ú!L NÙ 2O "Ú Ö¸Ù E "# Ö Úµ

Õ Ú # "¶ Õ ()+E Ù

~¾iKMh\}?h\h\fOhoÑ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾KD>D

~¾D Í.x*Or:t{¡¯xphOh o*>dh\frf.Eo¸¾1¾ ¾1¾ ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾KDK

~¾NMh\xp:$.h}hfh\º:h\oqEoXOqKropqK:tuºy$fovt*xpqK:$t*oX¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾KD

G

~¾ Íy$xpxph\Ot/}xvyEEx*qKgjo¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾KD$

O ,! Õ Ú!L NÙ O "Ú Ö Ù Ú Õ Ö Ù #PK* Ù +v Ùf× "

Ù Õ Ú Ø

OÕ+Ù:Q

<H:¯ "ÚSR02

%T

U1¾:iVMh\opuf>dfxpyE5WO. -0/- Ã+¡¯xpyEg -X/- tvyH:Â?:tvh1}fqKxptv.qyEx*h\x*o\¤EqKtpdh\:x%qEovuf>dfxpyÛ

fyErfoXOyEgj}y$ov:tv:yE ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾ E

U1¾YD |fy>dfxpyE$u¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾ FD

U1¾[ZqKff.h\y>dfxvy$$u.[}fx*qKºtp:Oh¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾ >H

U1¾f¾:i Í/dh\>Á$.Hhfy>dfxpyE$u ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾ >H

U1¾f¾YD | `¡yEx*º.jh\y>dfxvy$$u ¾ ¾¾ ¾1¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾¾ ¾1¾ ¾ ¾1¾ ¾1¾ ¾1¾ ¾ ¾¾ ¾ >J

\

JF$J#<;:Y2JF +(J?;ðí¨øXîa`+éëï¯éëêNíöï

(7)

X,

y`r:qExv:tu[:o qEKy\qtvh_qKot*dhrtp:gjqKtvhovyE:rftv:yE£¡y$xtpdhhov:E¢y¡ .qKxpKhovuoptvh\gjo\¤qKfZtpdf:o

dfyK.foX.£}fqKxptv.Or.qKx/¡y$xhg?h\fh£ovuoptvhgo\¤qEf[tpdh\:xWovyK¡t½/qExvh qK£qKx*>dtph\OtprfxphK¾ yfr.qKxptu

qK:y½ot*dhfh\op$h\x"tvyop\q:h y½hov:E}fxvy$:h\gjoO¤qEf1¡¯qKO::tpqtphxph\rfoph yK¡}fxph\hOÂ?h\gHyfrfhoO¾

cXdhgjqtpdfh\gjqtp:\q+tpx*qKfop:qKtv:yE[yK¡tpdhºyEºh\}ftWy¡ gyfr.qKxp:tu¹.o y¡tvh£tpdqtWyK¡ ¦¨§© ª§«¨¬®¬¯§

°5±²¬®³K´'w2qPu`:f1qKtvtph\$tv:yEtvytpdhOyEgj}y$ov:tv:yEyK¡5o*}hºÂ?OqKtv:yEfo w FD.oOh\$tpx*qftpyqK$uopuovtph\g

gyh\:$EyK:$.£ºy$fOrxpxph\fOu£yEx }fqExpqK:hO:.opg¹¾ y$xvhxph\Oh\$tv:uK¤+ov:EÂ?\qK$t1h5yExptdfqKo?hOh¥hºÛ

EyKtph\¹tvy½%qKx*.$tpxpy`rfº.ºy$gj}y$ov:tv:yEfqK:tu8.¹KhxvÂ?OqKtv:yE7½Xt*d£q.g:qKtWhxv:`:}fxpy`y¡¯oXyK¡

.qKxpKh1}fxpyK$xpqEgo ¡¯xpyEg}fqExvtp:qK}fxpy$yK¡¯o%:$EyK:$.ËqEfovt*xpqEºtpy$fo/y¡/OyEgj}y$h\$t*o w G N¾

Íy$g}f.qtpy$¢qK¢ºyhKhh\x*qtpy$£dfqKo1?hOh¢EEh\£:h\o*o1qtvtph\$tv:yE_¡¯xvy$gÊtpdhjo*qKgh}?yK.$t yK¡

`:hO½ ¤dy½/hOEh\x\¾cXd:o3:o"rf`¡y$xvt*rffqtphK¤qKo3t":o"Oxptp:\qK¡yExt*dh hov:Efh\xtpyWo*Oq:hy½1t*dhhov:E1yK¡

.qKxpKhXopuovtph\gjo$u8iovtpyExp: gyfr:h\o .Áh.qK>ÁEÛyPs! p}fxpyºh\rfxvho#"%yEx$ p}fxpyºh\o*oph\o%"½Xt*dg:.gjq

.$tvhx{¡¯qEºhHfh\o*Oxp:}tpy$»¤5qKf D&Eh\hxpqKtv.8ºyhyEfu£rfop:f8tpdfh\ophH.$tvh\xv¡¯qKOhhop\xv.}tv:yEoO¤5½d:h

optv::ErfqExpqE$tvhO.7tpdfqKt1Â?fq2hfOqE}fo*r:qKtv:yE¢y¡XqKºt*rfqOyhj½Xt*d:¶t*dh\oph.qK>ÁEÛN?yPsh\o tvyEKhOt*dh\x

½X:tpd¹t*dhO.xXºy$g}?yEop:tv:yE»¤½X:"gqK:$t*q.7OyEx*xvhºtpfh\o*oyK¡"t*dhh\op:E7½ ¾x\¾t\¾op}?h\OÂOqtpy$»¾

cXd.o%}fqK}?h\x.o/fhOKyEtvhtpdh.opo*rh\oy¡3OyEgj}?yEoptpy$fq:tujq.g:fqKtgyfr.qKx/ºyhWEh\hxpqKtv:yE»¤

¡y$xfqKtpq¼?y½ opuf>dfxpyEy$rfo1:qEErqKhoO¾¹~WoHfqt*q¼y½¿ovuf>dxvy$yErfo1.ox*qt*dh\xq£}fqKx*qK:Eg gyExph

t*dfqKq¡h\½-ºy$fOxphOtphX:qEErfqKKho'yEx2`.oprfqK¡yEx*gjq::o*gjo'U UXi¤$t½/qEohov.xpqE:hXtvyqKovt*xpqEºt'¡¯xpyEg

o*rf>djqKo*rf>dj}fqExvtp:\r:qEx2.qK$rfqEhK¾3cXd`rfo ½hdfqPEhX>dyEoph\tvy ½/yEx*Á ½X:tpdq¡y$xpgjq:.opg}fxvy$}y$ovh

$u_~ gH.xw `rhO:¤tpdfqKt1y¡ E$ugHyE.Hc+x*qKfoptpy$ E$uoptvhgo(-X/- w `rf$)*¨¤3½d:>d¢:o qKt t*dhopqEgh

tp:gh Eh\xpu:Ed$t½/hO:Ed$tO¤qK8¡¯rf:u8Eh\hxpqKtpyOqE}tprfxphtpdh hopoph\fOh1y¡2ovuf>dfxpyEfyErfo/}fqKx*qKf$g7¾

+ov.tpd.o¡y$xpgjqK.opg¹¤`½/h optprfuOyEgj}y$ov:tv:yEy¡"o*}hºÂ?OqKtv:yEfo\¤`qKhxvutpxp:$.qtvy$}.W.fh\h\»¾

yEoptHyK¡ yErxHh,y$xvtj.ojtpdh¸fhOKyEtvhtvy¥.opo*rhojy¡ OyEgj}y$ov:tv:yEq:tu t*dfqtqKxph[Oxptp:\q%tvy ºyh

Eh\hxpqKtv:yE»¾[~WoHOqExvh\hopooptvy$xv.[y¡y$`z{h\Otºyh¡y$x ¡¯rfxptpdfh\xxph\rovh.opu`optvhgjoh\op:E¶¡¯q:.otvy

½/yEx*Á¤`½h Â?x*ovtXºy$fºh$tpx*qtvhyE7½dfqKt%qExvhtpdfhqKf:tv:yEq¡h\qKtprfxph\oXh\h\h8tpyqKfoptpx*qKOt/}fxpyK$xpqEgjo

¡y$xtpdh£}frfx*}?yEoph7yK¡ ºyh¹Khh\x*qtpy$1Ã½h£o*dy½ tpdqtqZOh\$tpx*qXyEtv:yER:otpdqtjy¡1op>dhfr::f

o*}?h\ºÂ?\qtv:yERqKoxvhopr:tv.¢¡¯xvy$g qZOqErfopqK:tu qKfqKuop:oy¡Wt*dh¹K:Kh\ }xvyEEx*qKg¹¾ @¶h¹}qPu¥optpxpyEf

qKtvtph\$tv:yE¶tvy¢tpd.oyEtv:yE»¤2q[½dyEh7qK}f}?h\ffs¥:oHhOEyKtph\¶tvy_:tpoHgjqtpdfh\gjqtp:\q qEfq:uov.oO¤+rfop:

q8tvh>df$rfhyEt rff.ÁhtpdhyEfh¡yEx tpdfh\qKrfo*q:tu[qKq:u`op.oy¡| ovtph\xphOU/hxp

G

¾1lh\:qKtvh_.opo*rh\o

yK¡ ºy$gj}y$ov:tv:yEfqK:tu qKxph8.$Kh\optv:EqKtvh»¾ cXdh\R½h[opdfy½ tpdfqKtt*dh\xph¹:ojopyEgh7qE}f}fxpyE}fxp:qKtvh:hOEhO

yK¡- v:$tph\x*gHh.qtvh£Oy`fh ">¤ ½d.>d¸qKtjtpdh_o*qKgh[tv.gh_q:y½ojrfojtpy¥o*OqKh£y½¸ºyh£Eh\hxpqKtv:yE

¡y$x:qExvEhHopu`optvhgjoO¤qEf¢optv:gjqK:$tpqK:oOyEx*xvhºt*h\o*oWqKtt*dhovuoptvhgÊ:$tvh\Ex*qtpy$_}fdfqEovhE¾/.':fqK:u

½/h.op\rfopot*dhov.hj.opo*rhjy¡%:optpxp.frtvh¶:gj}:h\gh\$t*qtv:yE¶rfop:f[qEZqEovuf>dxvy$yErfo gh\.rfg yK¡

OyEgjgr:\qtpy$»¤fqKf¹q$q.»¤qH¡¯r+qK}f}?h\s7:ofhOKyEtvh8tpy:tpoX¡yEx*gqKovt*rfuE¾

U%h\op.h\o t*d.oO¤':hOtrfoHgh\$tv:yE¶tpdqt~ gH.xw$rfhO:10Êºy½/yEx*Áhxpo(w$r$2/dfqPKh.$tpxpy`rfºh¶q

gy$xvh[hO.qK?yEx*qtph\¸Khxpopy$RyK¡ yErfx -0/- ¡yEx*gjq::o*g¹¤ ¡y$xtpdfh_}frfx*}y$ovh£yK¡1.$Khovtp$qtv.¶:o*o*rh\oyK¡

OyEgj}?yEoptpy$fq:tu.[}fxpy$yK¡¯o%:$EyK:$.:Khh\o*o%}fxpyE}?h\xptv:h\o\¾

cXd.o1½/yEx*Á[½/qEo .:tv.qtph\Z½Xt*d:¶t*dhºy$Etphºsty¡t*dh4365879;:$<¹opu`>dfxvy$yEroW.qK$rfqEhH$u_w'¾

h Irh\x*.jqKf¶:tpooptprffh\$tpo U1¾ h I y='¤?>H¾ q5hO.o@ I=¤+qKf¶w'¾"~ rffxpuA~Wrff`) ½dy

Âfq:u8:gj}:h\gh\$tph\¹tpdhovh .hqKo\¾

(8)

G

V ! X

,

cXdfh\xph dfqEo/?hOh8ophOEh\x*q5qtvtph\gj}t*otpy>dqKx*qKºtph\xpW\htpdfh hopoph\$tv.q.oy¡3t*dhopuf>dfxpyEy$rfo }qKx*qK:Eg

U UXfi'Zq.fK¾ @µt*d¢opyEghhºsf}?h\xphfºhqKf£q¡tvhx qKtvtvhgj}tpo tvy¹qKffxph\o*ot*dh.o*oprhHy¡ gy`:f

¡¯xpyEg opu`>dfxvy$$utvyqEovuf>dxvy$EuËqKfqK>Á >¤K½/hX¡hOh\tpdfh¡yK::y½X:1¡hqt*rfxvho qExvhX.fh\h\hopoph\$tv.q

¡y$xX>dfqKx*qKOtvhxv5WO.t*d.o}fqKx*qKf$g=Ã

iK¾%w xpyKEx*qKgjo%}fxpyK$xvhopo`:qjqK7.`Â?:tvhoph`rhfºh1yK¡ÓpÅ¨±K¦O¬¯§°f«5Ã

½dh\xphÑhyKtph\o%t*dh1¡¯qKg:uyK¡'}?yEo*op::h xvhqKOtv:yEfo¾

D¾ @µt*d._qxph\qKOtv:yE»¤?h\O:opy$fo\qK[htpqKÁKh\¹yE[t*dhfqEov.oXyK¡'t*dh7±&>«OÅO°¦¨ÅyK¡'opyEghh\KhEt*oO¤

qKo2hOsh\gj}:ÂhjEutpdh%¡yE:y½X:ftu}.OqKfovt*qtph\gh\$tpo\¤Kt*qKÁKh\¡¯xvy$g -0/"!$#"!

<&%('*) -0/+#"!

¤EqK

365879;:$<jxph\o*}hºtv:Kh\uÃ

,$-/.102.43/5768.:9$02.;0<5$=25?>

@BADCFE$-:-:.23/5HG

@JIKAHEBL/.NM/=2E1925HO

cXdhÂxpopt3optpqtph\gh\$t.o3ophO¡hºsf}.qKqtvy$xvuE¾3cXdh

CFE$-:-/.43/5

""y$}hxpqKtvyEx»fhO:Eh\x*otpdfh gyEopt"xph\ºh$t

q.rhXy¡

G

qt'tpdfhº:y`>Á1yK¡t*dhXºy$fov.hxvhyhE¤K:t2tpd`rfo2dfqEo'tvy1tvhovt'¡y$x+qEfoph\fOh/yK¡

G

?hº¡y$xvh

}fxpy`rfº.

@

¾cXdh

L/.PM/=2E(925

"y$}hxpqKtvyEx1h\:Khxpo1:tpo Â?xpopt qKxpErfghEt1½dh¶t .o}fxph\oph\$tO¤

qKf¹yEtpdhxv½X.ovh:tpooph\OyEf¹qKxpErfghEt\¾

f¾ @-dh\_t :ohºÂh\»¤5}fqExpqK:hO+ºyEgj}?yEoptpy$[:o q:½/qPuoXEEh\[$u[tpqKÁ$.tpdfhHºy$PzvrffOtv:yE£yK¡

qKo*ovyO:qKtvh\¹xph\qKOtv:yEfo3Ã

RQPSUTV WXQRYTFZ

c u}.OqK:uK¤¡o*}?h\º¡u`:f.o+tpdh%.$tvh\$tpy$»¤tpdfh\HtpdhXqK?yKh ¡yEx*gr.q :o'q}hx{¡hºt2hºÂtpy$yK¡

}fqKx*q::hO?OyEgj}?yEoptpy$»¾U[{8ºyE$t*xpqEovt\¤K¡"}fxpyKEx*qKgjg.1½/qEotpdfh .$tvh\$tpy$»¤Et*dh\tpdh1hOh¡yEx

tpd.oXhOÂ?:tv:yE7tvyh OyEgj}fqtp:fh½Xt*d7qEy$}hxpqKtv:yEfqKoph\gjqK$tp:\oEh\xpugrf>d¹ºy$g}f.OqKtvh\o

tpdh v½dh7:tX.oXhºÂ?fh\ "}fxph\xph`r.ov:tvh]\¾

>W¡OyErfx*ovhE¤?o*rf>d£q>dfqExpqEºtph\xpWqtv:yE7y¡2½dfqKttpdfhHopu`>dfxvy$yEroX}fqKx*qK:Eg :ogjqKÁKh\oXt*dhHO:qEopoXyK¡

popu`>dfxvy$$u2^ºy$g}f.qK$t#"2¡y$xpgjq:.opgjo'grf>d.qKxpKhx3t*dfqKjrfo*rfq::uºy$fov.hxvh»¾ UXrt2:t dfqEo2h\h\yErfx

hOsf}hxv:h\fOhtpdqtWt*dh\oph½/h\xpht*dhHÁKhOu¹¡h\qKtprfxph\o¡yExt*dhtph\>dff`rhoW½/hdfqPEhhOEhO:yE}?h\_opy¡¯qExtvy

½/yEx*Á¾

Í:h\qExv:uK¤\tpdhovh xph\gjqExpÁ`o5OqK¡y$xqXºy$gjgHy$ ¡yEx*gqKt»:gj}:h\ghEtp:fXtpd.o3}fqExpqE:Eg¹¤Ot*dh6

¡y$xpgjqKt MÍ/(H5dfqEo ?hOh}fxpyE}?yEoph\j½X:tpdt*d:oyEz{h\ºtpEhK¾'~.ovy?¤Et*d.o\q::o¡yEx qHov.gj}:h\opt }y$opop.h

¡y$xpgjqK.opg ½Xt*d[tpdhqK?yKh¡h\qKtprfxph\o\¤y$[½d.>d¹¡¯rfffqEgHh$tpq`rh\optv:yEfoWopdy$r.£h.$Khovtp$qtvh

Ëtpdh }frxp}?yEoph yK¡"t*d:o%fqEov.ovuf>dfxpyEfyErfo ¡yEx*gjq::o*g¿½y$r.8yEt/?h tvyjq:y½-?hOtptvhxXop}?h\OÂ?\qtpy$

y$x%}fxvyEEx*qKgjg:f¤dy½/hOKhx5Ã"t*dh -X/- ¡y$xpgjq:.opg ½/h h\o*Oxp.h hOs`tdqKo%tpdf:oX.¹t*oXyEz{h\ºtpEh\o\¾

_

J®ðö:í¨ûòa]`Ëï¯îví¨ûòéëõ>ðbaéëê"í%ê÷ëéëþ>èºò÷ù ï¯îvê¯òï¯éëûòéôºî òî{ï¯øMKí¨ê"ú»îêËèí¨÷ë÷êî{îéëðòËèPîêËîKc\üPî{÷òËèí*ò `Ëï¯îví¨ûòéëðPþXòËõXòèPî î{ðOô\é1

ïËõ>ðPøXî{ðºòXa'éëêðPõ¨òòèPî2õ>ð÷ù ìõ>êËêéP÷ëî" OéëðPóWõ¨öféëðOòËî{ïí¨ûòËéëõ>ðíê¯ùðPûèPïËõ>ðõ>üPê'êËù\êËòËî{øøí{ùXèívôºî2ú3éòËè éòËêîvðºô\éëïËõ>ðPøXî{ðºòa

d

EPõ>ï'éëðêËòí¨ðPû{î$øXõ>êËò"õ¨öòËèPî/îfeKõ>ïòïËî{÷í*òËîvóòËõWòËèPî/êËî{øí¨ðOòËéëû{ê'õ¨ö g+LN4hbi4h]j%èí¨ê"î{î{ðHóPéëï¯î{ûòî{óòõvúí¨ïËóêõ>÷ô\éëðPþ

òèPéëêéëêËêüPî2êí*òéëê¯ö.í¨ûòËõ>ïËéë÷ùkU5î{ï ]l?

(9)

1 X

$ X

!

& Ö ¥ Ù Ë

¯Ù

& Ö \ Õ +.-0/1-*2 @¶hqKo*o*rfgh%qEy`\qKfrf:qExvu¥½d.>d:o2q1ophOt'y¡5tu}h

qExv.qK:h\o\¾~Wtu}?h\o qExvhH:gj}::OtpuZhºstvhfh¢½X:tpd¥q¹op}?h\O:qK2hO:h\gh\$t tvy£?hj:$tvhxp}xvh\tvh\¶qKo

pqKovhEt%"¨¾ E$yEgh y¡2t*dh tu}ho½/hºyEov.h\xXqExvh t*dhtu}?h y¡'ª?ÇÓpÅ«>¬È°5±²ë«%½X:tpd£y$gqK:! /#" ¤qK

¨§§²Å¨±°f« ½X:tpd¹yEgjqK:$ /&%(')" Ëxph\OqK»?yKt*dtu}hoXqKxphWhOs`tph\ffh\7½Xt*d8t*dhf:optv.Erf:o*dh\7hO:h\ghEt

>¾

@¶h hOÂ?hWq«¨±Å+* tpyh q tu}hOÛNOyEfop:optvh$t:$tph\x*}fxvh\tpqKtv:yEy¡, ¤$qEopop$.1tvyhqK>dqKxp:qE:h

-/.

q8qK:rh0*21

-43

yKhxW:tpo fyEgjq.»¾ @¶hh\fyKtvhj$u!5µt*dhovh\t1y¡/qK2optpqKtvh\o\¾ .?yEx1q¹oprfovh\tyK¡

qExv.qK:h\o6879W¤½/h hºÂhq:61Ûovt*qtvh1tpyj?hqjtu}hOÛNOyEfop.ovtph\$t.$tvhxp}fxphOt*qtpy$8yK¡;6¾

.?yK:y½X. w$r$)=<K¤f½/h hºÂhq?>?³© *§²¬¯¦A@Ó*±°f«>¬®¬¯§°B>?³P«>NÅO© -0/- %tvyhqjopuovtph\g

C EDF6

%HGI%KJL

OyEfop.ovtp:y¡'tpdfh1¡yK:y½X.jºyEgj}?yEh$tpoÃ

M 6 :oXqÂtphovh\t%y¡'tu`}?h\ ±Ó>¬¯±&º²Åº«

M G WN6 Z/:oXqE¹qEopoph\xptv:yE7>dfqKx*qKOtvhxv5WO.8¬®°?¬®Ë¬¯±²«>±Å>«>¾

M J J WN6PO % 6ZX:oXt*dhÓp±°«¨¬®¬¯§°ZÓpÅO²±¬¯§°8xphO.qtp:f}fxvh\`y$rfoXqKf[\rfxpxph\$tXoptpqtph\oQ*ROqKS*E¤

$u[xphº¡hxpxp.tvy[?yKtpd¢}fqKoptUTqKf¢Orfx*xvh$tWKhxpop:yEfoXyK¡ qKxp:qE:h\oV6POqKB6¾ .y$xhOsqEgj}h

tpdhHqKo*ovhxvtpy$?W W OXZY optpqtph\oWtpdfqKttpdhPqK:rfh y¡[W_.$*.o$xvhqtvhxX$u Y tpdqK[:tpoqK:rh

:A*RO ¾R[N¡ J WF*RO\16 3 % *216 3Z / ¤f½h o*qPutpdfqKtovt*qtph*]O¥.oq J .ªÓpÅ¨ÆKÅ¨¦¨Å>«¨«O§Ó/y¡2ovt*qtph*E¾

~¿Ó>Ç°:^`_a*cb % *<Q % *]T %cdeded :oXqjoph`rh\ºh1y¡2ovt*qtph\oXo*rf>d8t*dfqt

*cbgf G WN*cbFZih jlkm/n % WN*po

O Q % *poZf J WN*po

O Q % *poZ vi

cXdfh¦¨§©Wªf§P«>¬®¬¯§°yK¡+t½/y -X/- C C Qq C T :oXhOÂ?h¹qEo/¡yK:y½o3Ã

6 6 Qr 6 T

G G Q Y G T

J J QRY J T %

t*dhºy$gj}y$ov:tv:yE7:o%t*d`rfoXtpdfh}fq.xv½X.ophOyEPzvrfºtv:yE¹yK¡".tp:qK3qK8t*xpqEfov:tv:yE¹xphO.qtv:yEoO¾

s

ç»èPî'òí¨÷ëî{ðOòËî{ó1ïËîví¨óPî{ï3ú"éë÷ë÷Eí¨÷ëêõ/ðPõ¨òéëû{î2êËõ>øXî'û{÷ëõ>êî2ï¯îv÷í*òËéëõ>ðòËõ/òËèPî ç(;¢øXõOóPî{÷$õ¨öKK&`í¨øXìõ>ïòa

tvu

êüí¨÷ë÷ùô>í¨ï¯éí-P÷ëî{ê2í¨ðPó åxwzyá|{}

ô>í¨ï¯éí-P÷ëî{ê2í¨ï¯îüPêËî{ó1òõï¯î{öî{ï+òËõWû{üPï¯ï¯îvðºò í¨ðPó~

{ºã

ê¯òNí*òËî{êa'çèéëê+éëê3î cOüPéô¨í¨÷ëîvðºò

òõWõ>üPï'ìPï¯î{êî{ðºòðPõ¨òNí*òËéëõ>ð[:î/èPívôºî/ìïËîöîvï¯ï¯îvóòõû{õ>ðPêËéëóPî{ï+£í¨ðó4,ËüêËò"î{ûví¨üPêîòèPî ö:õ>ï¯ø/ü÷£ú5îêËèí¨÷ë÷ú"ï¯éòËî

øXõ>êËòË÷ù%éëðºôºõ>÷ôºî'û{üPïËï¯î{ðOòô¨í¨ïËéí-P÷ëî{êPïËí*òèPî{ï»òËèí¨ð ìPí¨êËòõ>ðPî{êa

u

êéëðPþòèî'êËòí¨ðPóí¨ï¯óðPõ¨òí*òËéëõ>ðWú»õ>ü÷ëó èí{ôºî'ï¯îvêËüP÷òËîvóWéëð

í PüPï¯óPî{ð1õ¨öfìPï¯éëøXî{óWô¨í¨ïËéí-P÷ëî{ê"éëðWòËèPî'öõ>ïËøüP÷"

(10)

[Ù

\f

Ù

NÙ

-0/1-

½/h1o*dfqKrfoph tpdfh1¡yK:y½X.Kh\fh\xp:1yEtpqtpy$fo/:¹t*dhovh `rhOEÃ

M

% %%ededcd

hyKtph -X/-

±Ó>¬¯±&º²Åº«>¾

M

¡yEx qqKxp.qK:hK¤

.

/&% " hyKtph\o%:tpo¦O²§¦2Ã

1

3

1

3

M

¡yEx qqKxp.qK:hK¤Hh\fyKtvhoX:tpoXqKo*opy`O:qKtvh_«>±Å±Ó>¬¯± O²Å3hºÂh\[$u Ã

"! # O

D&

½Xt*d£tpdfhºy$EEh\$tv:yE7tpdqtV*cb 1 O

3

EH¤¾hK¾:¤.oWqKovhEt?hº¡y$xvhtpdhiovtXy\Orfx*xvhfºh yK¡ ¤

qKf8:oXqK½%qPuo }fxph\oph\$t%q¡tph\x/tpdhi\opt/y`\Orfx*xph\fOhWy¡ ¾ E$t*qtphqExv.qK:h$ :oXqEopo*rfgh\tvyh

²§¦*±² ¾hE¾¤":o fhOKhx1opdfqExvhZqEgyE[hxvhEt -0/- ¤+qKfZtpd`rfoovt*qtvhjqKxp.qK:h\o1}.qPu¢y£xpyK:h

¡yEx -0/- ºy$g}?yEop:tv:yE»¾

%

L

Õ

Ù

¯

Ù Õ

Ë

Ù

Ã

M

qjovh\hºtvy$xÃ

'& ( -

!)( Bd

WyEtvh tpdqtXtpdfh *+ "!"1}fqExvtXOyEx*xvhop}?yEfotpyjtpdh}fxpyE}?h\xptu \1

& '

3-,

1& 3

">¾

M

h\\xvhgh\$tv.qjxvh\K.ovtph\xÃ

"

./0

1 O.32

Y

!

%

½dh\xph4

.

.o%tpdfhovt*qtphqExv.qK:h qKo*ovyO:qKtvh\8½Xt*d5(qKo%. D&>¤qKf6 O

.

hyKtph\o%:tpo}fxphO`:yErfo

q.rhK¾/cXdhgyExph.$tpr:tv:Kh .$tvhxp}fxphOt*qtpy$8yK¡+t*d:o ovt*qtph\gh\$tX.oÃ W87 9( 7 O Q 2 Y Z>¤½dfh\xph

:hºs :6"7hyKtph\otpdfh7.foptpqK$t*oqKt½d.>dR?yKt*d qEf(¶qKxph7}fxph\oph\$t ¯tpdfhO.xOy>Á`oqKxph

op}?h\OÂ?h\¹tvy?h h`rfqK>¾'cXdfhop}?h\OÂ?\qtpy$8yK¡+qxphOK.optvh\x/½/yEr.¹ov.gj}u7hÃ

. # O. ! Z d

WyEtvh tpdqt?yKtpd[optpqKtvh\ghEt*o%:gj}:u8t*dh h`rfqK:tuyK¡+º:y>Á`oÃ

.'; gd

M

tvhovtp:j¡y$xXqj}fxvy$}hxvtuÃ

< & W>= nPZ? ! & Z d

WyEtvh tpdqtqjºy$fovh `rh\fOh yK¡+t*d.ohºÂtpy$¹:o\¤fq$q.»¤

.'; gd

(11)

M

qjovuf>dfxpyEfWqtv:yE7ºy$fovt*xpqK:$tÃ

W& / Z ; W"

/ Z %

gh\qKf:jt*dfqtXt*dhº:y>Áy¡

-

:o%t*dhophOtXy¡+:ovt*qK$tpoXqKtX½d:>d¹?y$yEhqK7qKxp:qEh

&

:o%t*xprfhK¾

wrtvtp:t*d.EoXtpyKEhOtpdfh\x/u`h\:fotpdh -0/- Ã

u

u u

-1

time

z

" &

0+(

-

!(

q

"

. 0 O.

2 Y ! Z

q "

0

&

W-= nNZ + "!

&

q

;1 . ;1

q W& / Z ; W"

/ Z

~ x*rfy¡"tpd.o -X/- ¡yExtpdh4(HPqExv.qKfh.o%h\}f:Otvh\8yEt*dh ÂErfxph qEyEhK¾+| qK>dtv.gHh

-

:o/xph\ºh\Eh\»¤

(¹.o xvhovh\t qKfZKh\tpo1tpdfhqK:rhjyK¡

-

¾jcXdfh\ ([:o hOxph\gh\$tph\¶Eu£y$hqt1h\qE>dZqEºtpqtpy$¢Ou`Oh

yK¡2tpdh -0/- ¤5rf$tv:+tWxph\qE>dh\otpdhqK:rhInf¾ [{gjgHh.qtvh\u£q¡tvh\xtpd.oW.qtptvhx.fovt*qK$tO¤qj¡¯xph\o*d

-

OqE

?hxvhqK»¤qEf¶ovy¹yE»¾WyEtvhjtpdfhjo*>d$uWOyE}dfxvh.fqKtprfxphHyK¡t*dh/ {.f}frt*o#"jy¡/tpd.o -X/-

¾@-df:htpdh

qK:rhjOqExpxp:h\_$u

-

:o1qK¢:}frtO¤3tpdhj.fovt*qK$t1qt½d:>d

-

:o1xph\qK_:o yEtÃWxph\qE:f8y¡/tpdh.f}frt

.o%yE7h\gjqEf`Ûfxv:Kh8gyhK¾cXdf:o%.oXxvhO¼h\Otvh8$utpdfh ¡¯qEºt%tpdqtX.f}frt*o%y¡"t*d.o -X/-

qKxphtpdh}fqK:x

qKOtv:PqKtv:yE7º:y`>Á ¤fqK:rh1yK¡

-

½dh¹tX.oX}fxph\oph\$t$¾

+ov._t*dh\oph7}fxp.gH:tv:KhoO¤'fqKtpq¼?y½¿opuf>dfxpyEy$rfo1.qK$rfqEh\o o*rf>d qKo '?) -0/"#"! Zq.fK/qK

3 587$9;:<4 Ifi "qExvhh\qEov::uh\fOyh\»¾

Õ Õ

Ù

ÕF

Z

Ú Ù

Ú ¯

Ö

~Wogyfr.qKxp:tu:oj½%qK$tph\»¤/t.ohov.xpqE:h¹t*dfqt

t*dh£}fqKOh7yK¡ qK

-X/-

.oyOqK%tvy¶tx*qtpdfh\xHtpdfqEREy$fq¾ E$.fºh£qK$u -0/1-

.ojopr`z{h\Ottpy¢¡¯rxvt*dh\x

OyEgj}?yEoptpy$R.·ovy$gHh[uEhOtrffÁ`y½¸h\$`.xvy$fgh\$tO¤tpd.ogjqKÁKh\ojtpdfh_xvh $rf:xph\gh\$tjy¡ dfqP`.¶q

Ey$fq}fqKOh`rtph.fºy$EEh\:h\$t\¾_cXd:o:o½d$u Åª?Ó*§\Ä`¬*O¬®ÄfÅ7Ç`«OÅ[§{Ò8¦O²§¦«8Äf±±ÓpÅ[±² ±³P«

ªÓpÅº«ºÅO°´2cXd.o dqKoophOEh\x*qOyEfoph`rhfºhoO¾.+.x*ovt\¤E:t.o yEt }y$opop.hWtvyOyEfop:fh\x2t*dh1 pºyEgj}:h\ghEt

yK¡ q8Oy>Á "yExt*dh vh\EqKtv:yE[y¡ q7º:y>Á="2ÃXtpdf:o½/yEr._xph`r.xvhxphº¡hxpxp.tvy¹tpdhq:½/qPuo }fxvhovh$t

Oy>Á¾cXd`rfoO¤+qKo1½X:hxphOEh\q:h\¶$u_yErx1hºsfqKgj}:h\o\¤3º:y>Á`o1½X: q:½%qPu`o1?hqKxp:qEhoO¤"qKfZ½h

o*dfqK»?h1qE:htpyxphO.qtphOy>Á`o/yE:u8rfop. Y ¯.$tvh\x*oph\ºtpy$yK¡".fovt*qK$tpo%yK¡"}fxph\oph\fOh>¤

,

Ëry$8yK¡

.foptpqEEt*o%y¡'}fxvhovhfºh¨¤qEf @ovh\thxvhfºh1y¡'.fovt*qK$tpo%yK¡'}xvhovhfºh¨¾

&

"O Õ "& [{t*dh¹o*qKgh7KhO.»¤:tjopdy$r.R?h¹}?h\x*gtptvh\¤2¡yExjqK -X/- ¤tvy¥yZfyKtpdf:¶½d:h

t*dhhE`.xvy$fgh\$t%:o }y$opop.u7½y$xpÁ$.¾cXd:o¡h\qKtprfxphdfqKoWh\h\[uKh\t.h\$tvÂh[:¹tpdfh:tptvh\x*qt*rfxph

qEf.o%Á$fy½qKoW«¨ÇNÅOÓ>¬®°$ÈW:$qKxp.qKfOhyEx/xvy$frfoptphopo! qKg JKEq`¤ qKg JEK&¾R[t/.oOh\$tpx*qtvy / <&:2¤

½dfh\xph:t':o2rfh\x*ovtpy`y`tpdfqKt2q t*xpqEfoptpy$½X:tpdy h\KhEt2qKt+qKfqEfy >dfqEKhy¡5ovt*qtvho+:o2qK½%qPuo

:hO$q¾

(12)

.?yExXqK

-0/-

C ¤ovt*rtvtph\xp:f.$qKxp:qEfºh1.oXhºÂ?fh\[qKo/¡yE:y½oÃ+¡

^`_a* bR%* Qx% * T]%cdeded

.oXqjxpr7yK¡[C ¤opyj:o

^_a* bR% bR%cdedede% b

b

% * Q% Qx%edcded% Q% * TR% T]%cdedcd% TR%ededcd % Ë

½dfh\xph1opug?yK o2fh\yEtvh\oXq¹«>¬®²ÅO°"ovt*qtvh .¹½d.>d¹qKoptpqKtvh qKxp.qK:h\oXÁKhOh\}7tpdfh PqK:rfh tpdh\u7dfqE

qKt optpqKtvh* o ¤5½d:hyKtpdfh\x PqExv.qKfhotpqEÁht*dhPqK:rfhPH¾ cXdhH`rfgHhxWyK¡ .fovhxvtph\_op:hEtovt*qtph\o :o

n7frtÂ?:tvhE¾HcXd.o1gHyh\:ot*dfqt1tpdfhOyEfop:fh\xph\ -0/- OqKZy[yKt*d:f8¡y$xqE$u[qExpft*xpqExvu[frt

Âtph vrfxpqKtv:yE ">¾

E$t*rtvtph\xp:f.$qKxp:qEfºh:oXfyKt%dfqKx*½X.xvh.EtpyjyErfx -0/1- ¡y$xpgjqK.opg¹¤frtXq `r.>Áj:fo*}?h\ºtpy$8yK¡

qK5t*dhoptpqKtvhgHh$tpo/½h1dfqPEhW.Et*xvyfrºh\:7yErfxhºsfqEg}fh1xvh\Khq.otpdqtXqK$uºy$g}?yEop:tv:yEyK¡3tpdhg

.oovt*rtvtph\xp:7:$qKxp.qK$tO¾ yExphKhh\x*q:uE¤qE$u -0/- yEtW.$KyK:`:ftpdhq:½/qPuo}xvhovhEtº:y>Á h

:t.xvhºtpuy$x%::xph\Otv:u.ooptprtptvhxv.j:$qKxp.qK$tO¾

$ X 0 $, ( U

1H X

"!$#&%'!()+*-,/.021)4365

UXqEov.OqK:uK¤ft*dhH}xvy$hg.ot½/y¡yE:1Ã ijfx*rtphº¡yEx*ºhoph\}qKx*qtvhOyEgj}::qKtv:yE[OqE£OqErfovhfh\qKfy>Á`oO¤

qEf D&1Kh\fh\x*qtv..optpxp:frftvh\8ºyh.o Eh\hxpqK:uHfyKt OyEgj}fqtp:fh½X:tpd8gqK:$t*q.:fovt*xv.ºt/ºy$gÛ

}f.qKfOh½X:tpd¢tpdhjovuf>dxvy$yErfoWgHyh\'y¡ ºy$gj}frtpqKtv:yE»¾ @¶hH:.rfoptpx*qtphHfxphO¼u[tpdhovht½/y8.opo*rh\o

fhºstO¾

? Õ Õ +fPf Õ Ù ¯*Ù ¸ Ö Õ Ú" " Õ Õ`Ù "a cXd.o%:o%:.rfoptpx*qtph\.¹tpdh¡yE:y½X:f

}f:OtprfxphÃ

cXdfhÂ?x*ovt.q$xpqEg h}:Otpotpdh vh}hfhfº:h\o%"qEopopyº.qtph\Z½Xt*dovy$gh -X/- o*}?h\ºÂ?\qtv:yE1ÃHtpdh

iovtyErt*}frt/hOhfo/tpdhHi\opt .f}frt¡yExt*oOyEgj}frt*qtpy$»¤qKft*dh DKfy$rtp}rth\h\fotpdfh DKf.f}frt

¡y$x/t*oXºyEgj}frftpqtpy$»¾2cXdh1ovhºyE8.q$xpqEg o*dy½o%q}y$opop:fh1op>dfh\fr:.¤fOyEx*xvhop}?yEff:tvyjtpdh

optpqEffqExpZop>dhfr::fÃji8xvhqK_.f}frftpo\¤D&7OyEgj}frtphjxph\qEºtpy$»¤3 h\g:t yErt*}frt*oO¾cXd.o1K:Khoq

(13)

OyEx*xvhºtoph`rh$tv.q/hºsh\\rtv:yE yK¡Wtpdfh -0/-

¾ [{Rtpdh¹tpd.x*R.q$xpqEg7¤2qERqKtpy$fq%h}hfh\ºu

.oh\`¡y$xpOh\_$u_ophOtptv.7t*dhºy$fov.hxvh

-X/-

.ZopyEghh$$.xpyEfgh\$t ½d:>dZxvhqKOtpo ½Xt*dZy[h\:qPu

tpy7:tpo1.f}frftpoÃ1q¹h\qEy>Á¹.o\xvhqtph\»¾[{Ztpdfh.qKopt1:qKEx*qKg¹¤»dy½/hOKhxO¤:t.o1xvh\Khq:h\£t*dfqt1tpdf:o

qEf:tv:yEfqK3h}hfh\ºu7\qKrfoph\[$u8t*dhhE`.xvy$fgh\$t%:hOh[½/qEoXºyEgj}fqKtv.:h ½Xt*d[tpdhy$xv:K.fqK

o*}?h\ºÂ?\qtv:yE¤fqKf[yhqK:y>Áxph\o*rtph\8¡¯xvy$g qE}f}:u$.j:tO¾ Z h\xphK¤hqK:y>Á½%qKoXOqErfoph\¹Eu7tpdh

qEºt*rfq».gj}hgh\$tpqKtv:yE7y¡'tpdho*}hºÂ?OqKtv:yE»¤ffyKt$utpdfhop}?h\OÂ?\qtpy$8:tpophO¡{¾

cXdh%t*xpqEtpy$fqqEfov½/h\x+tpy t*d:o }fxvy$:h\g<$utpdfh%opuf>dfxpyEy$rfo+}fxvyEEx*qKgjg:fWop>dfy$yEdfqKo2?hOh

tpy£xvhO¡¯rfovhOyEfop:fh\xp:[oph\}fqExpqKtvhjºyEgj}:.qtv:yE1Ã1gyfr:h\o1¡y$xW¡¯rxvt*dh\xxph\rovhjopdfyEr.Z?hoptvyExph\¶qKo

opyErxpOhOy`fhK¤qEf7OyEgH:fh\[qKoXo*rf>d¹hO¡yExph1Oyh Khh\x*qtpy$»¾7@Zho*dfq:dy½/hOEh\x:qKtvh\xXophOh t*dfqt

t*d.oy`h\oXyEtXhOh7tpyh1t*dhOqEovhE¤fdy½h\KhxO¾

7Õ Ö Ù Ë\fÙ cXdf:oX.o%:.rfoptpx*qtvh8.¹tpdh1¡yE:y½X.}:OtprfxphÃ

cXdf:oWÂErxvhh\}.ºt*o1q8ºy$gjgrf.OqKtv:yE£o*ºhfqKxpyWÃ/t½/y7}xvyºhopopyEx*o\¤gy`fhO:h¢qKooph`rh\$tp:qK+gjqÛ

>df:hoO¤3hºsf>dfqKfKhHghopo*qEh\orfov.£qK¶qKopuf>dfxpyEy$rfoWgh:rg ¡yExt*dhO.x ºy$ggHrf.OqKtv:yEfo\¾HcXdh

qtprxpqK5optpx*rfOtprfxph yK¡3tv.gh1:o%t*dfqt%y¡+qªf±Ó>¬¯±²'§ÓpÆEÅºÓ»qKo%hxv:Khj¡¯xvy$g tpdfh1f:xph\Otvh\8Ex*qK}fd7ºy$gÛ

}?yEoph\¹yK¡/i:.h\qExXtv.gh yE¹h\qE>d¹}xvyºhopopyEx\¤qKf D OyEgjgr:\qtpy$foO¾cXd:oWovt*xprfOtprfxph1¡yEx%tp:gh

fy$hoyEtWgjqtp>d¹t*dh::hqKxXtp:ghºyEx*xph\o*}y$f.Htpytpdfh:Â?:tvhoph`rhfºh yK¡2xph\qEºtpy$fo%½d.>d[:o

t*dh KhxvuqKop:o%yK¡+opu`>dfxvy$yEro/}qKx*qK:Eg¹¾

Õ "Õ`Õ

Ú

NÙ

H

Õ

f

Ù

"£

Ù

"K +¯

Ö

Õ Ú

"

Ú

Ù

ËK*

Ù

R

cXdf:o

fhOh\jhgh\xpKh\o+¡¯xpyEgÑtpdh qK?yKhX.op\rfopop:yE»¾ [{jtpdh hºst o*rffoph\Otv:yE»¤E½ho*dfq:f.$tpxpy`rfºhWq r`rh

¡¯x*qKgh\½y$xpÁtvydqKf:h1tpdhovhfEh\x*ovh1qKo*}hºt*oÃ'tpdh1¡y$xpgjqK.opgy¡/«º¦¨ÄfÅ¨ÆÇ²¬®°$È«NªÅ¨¦O¬É¦¨±¬¯§°«º´

) -1&# % * ) # "!/#.-%

4 Õ`Ù PÚ Õ Ú 'PË Ù Ú Õ P1 Ù Ù Ú Õ 5K +¯ Ö Õ ËÙ Õ Ú # "? Ú Ù ×

¯KfÙ R Í/qErfo*q:tuxvh\:qKtv:yEfo»dfqPEhh\h\ .$Khovtp$qtvh ¡yEx3ophOEh\x*quEh\qKx*o5. tpdh}fqKopt. tpdh

qExvhqy¡ gyh\:oy¡ f:optpxp:rtvh¢opu`optvhgjo qEf¢OyEgj}frt*qtv:yEoO¾1cXdhjº.qKo*ov.OqK"qK}}fxvy$qK>d[ºy$fop:hxpo

qjO:qEopop:\qqErtvy$gqKtvy$»¤:¹½d.>d[ºy$fOrfx*xph\fOu:ogyh\:h\¹`:qjqE v.fh\}?h\h\fOh "1h`r:PqKhfºh

xphO.qtpy$qKgy$tpdfh/.qK?hO.o"y¡t*dht*xpqEfoptpy$foO¾SE$.fºh/:h\}?h\ffh\fOh.o+Kh\fh\x*q:u1yKt'qWopugjgHh\tpxp:

xphO.qtpy$4ËqEºtv:yEoy¡"½xv:tv.qEfxph\qKf:HqKxphWyKt/ovugjghOt*xv.2>¤$t*dhWt*dhOy$xvujyK¡tpx*qKºho ~l J>JdfqKo

?hOh hºstph\fh1tvyWopyÛOqK:h\ povhgÛºy$ggHrtpqKtv:yEfo%"'Í J$)N¤qKf1t*d:o"tvh>df`rh dfqEo3?hOh\xvhºh\$tpu

(14)

qE}f}:htpyt*dh1:gj}:h\ghEt*qtpy$y¡'xvhqKOtv:Kh qErtvy$gjqtpqHyE7.ovt*xv.frtph\¹qKx*>dtph\Otprfxph\oÍXÍ I$$2¾

Í/qErfo*q:tuR}xvh\yEx*h\xxphO.qtpy$fodfqPEh[qK:opy?hOh\µrovh·:µq 5h\xph\$t½%qPu: UWÍ ZW?I ¤/¡¯xpyEg

½df:>d7½h ?yEx*xvy½µt*dh h\o*oph\$tv.q.o/y¡"t*dh }fxph\oph\$t%tvh\>d`rhE¾R[{7qEf:tv:yE7tvygyhO:.OqErfo*q:tu

xphO.qtpy$fo\¤5}xvh\yEx*h\x*oW\qK_?hrfovh_tpy¹o*}hº¡u¢o*>dh\frf.7xph`r.xph\gh\$tpo\¤5tpdh\u¢OqE_q.opy7?hjrovh

tpygHyh\3oph\f xvhºh\Eh tu}?hyK¡'OyEgjgr:\qtpy$foO¾

@¶h_ºy$fov.hxq¶ophOtg6 yK¡qKxp.qK:h\o\¾µ~ ª?ÓpÅ¨§Ó*ÆKÅOÓHy$¸t*dh_ophOt06 :oq xphO.qtpy$ ËKh\fh\xp:\q:u

fh\yEtvh\¥$u! ½d.>d¶:oxvhO¼hºs:Kh4W W;1qKZt*xpqEfoptpEhNWZqEf (£.gj}:uBW ( ¨¾

c"y¿½/h8qKo*ovyO:qKtvhjtpdh7h`r:q:h\fOh8xvh\:qKtv:yEH¤2hºÂh\ $u W Z9W¶qEf W"¾ [N¡

h `rqKhfºh º.qKo*oph\o/y¡<qExvh1ov.Eh\tvyEoO¤t*dh\=.oqHªf±Ó>¬¯±²+§ÓpÆKÅOÓO´

cXdh_¦¨§°>Ç°¦OË¬¯§°7yK¡ t½/y¹}fxphOy$xpfh\x*o.o t*dhg:.gjq}fxphOy$xpfh\x½df:>d¢:o1qK¢hºstvhfopy$_y¡/tpdh

t½/yºy$fov.hxvh8ºy$PzvrffOtpo\¾

-0/- Ø

Õ Ú "R0 Õ >?)'K*Ù a y½ ½hOyEfop.h\x -0/- CH DN6 %vGI%KJL qEoW?hº¡yExphK¤frt

½X:tpd¹t*dh1¡yK:y½X.jqKfftpy$fq5¡hqtprxvhÃqEo%}fqKxpt%y¡

M G WN6 Z xvh\:qKtv:yE¹hºÂ?f:j.:tv.q3optpqKtvh\o ¨¤fqEf

M J WF6PO

%

6ZËtpx*qKfoptpy$7xphO.qtpy$ ¨¤

½/h dfqPKh ª?Ó*Å*§ÓpÆKÅOÓ¨«Xh\yEtvh7$u

W ¡yEx W % . 6 %

o*}?h\ºÂh7`.qªf§P«¨«>¬*O²³7¦O³K¦º²¬¯¦ :xph\Otvh8$xpqE}fdfoÃ

W ¡y$xZW % . 6 d

-0/- .$KyE`.opr>dtu}h y¡3}fxphOy$xphx xphO.qtpy$opdfqKh1OqK:h\j.t*dhoph`rh\ -0/- 2¬®®Ä8«O¦¨ÄfÅ¨ÆÇ²¬®°$È

«NªfÅ¨¦º¬É/¦*±Ë¬¯§°f«O´'~Wo"}fxphOyEx*hxpoqExvh5zvrovt".Áh qE$uWyKt*dh\x"xvh\:qKtv:yE»¤ -0/1- ½Xt*do*>dh\frf.Wo*}hºÂ?OqKtv:yEfo

qExvhzvrfovt::ÁKh¹qEEu¶yKt*dh\x -0/1- ¤ dhfºh¹tpdfhOu¥:dh\xpttpdfhO.x}xvy$}hxvtphoO¤'.R}fqExvtp:\r:qExÄfÅO³¥¦¨±° ¨Å

[Ù \fÙ NÙ 8

Õ Ú "¥ Õ ()+EÙ Ã'¡yEx & qqKxp:qEh1yK¡"tu}h¨§§² r x " ¤qK

-

%

qExv.qK:h\o/yK¡'qEEutu}?hK¤

"&

- ¤fxvhop}»¾

<&

!

-

.oXhyKtph\[$u

- & xph\o*}»¾

- &

yKtpht*dh1¡yK::y½X:WÃ

- &

! #"$&%

- &

! #"$&%(' )*)+)