Probabilistic Cluster Unfoldings for Petri Nets

(1)

HAL Id: inria-00071831

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

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.

Probabilistic Cluster Unfoldings for Petri Nets

Stefan Haar

To cite this version:

Stefan Haar. Probabilistic Cluster Unfoldings for Petri Nets. [Research Report] RR-4755, INRIA.

2003. �inria-00071831�

(2)

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

Probabilistic Cluster Unfoldings for Petri Nets

Stefan Haar

N˚4755

Mars 2003

THÈME 4

(3)

(4)

,'-/.10325476"28259;:

<=?>A@CBEDCFHGJIK@#LNMKOQPRIKS1TBPUS1V?PRIK@CIXWYOPRIKS1T

Z

BWR[\W]PY>^@_BAW`Sa@_V?MbB^c\BAW

dfeYSQg]B^PYWUGJh3iEjlknm

oUO1V?V5S1eRP Z BeRB;`p=?B^ep`p=?BqT#r1DJsQtatlFHjuO1eYWvmQwaw1xFHx1xCVNO1y1BAW

z|{}A~^?1~1 <=?IXWO1e3PYIK`^MbB"IbTPYeRS Z LN`^BAW5RaYaXpl^JRQ5pJJ|5R;pp^OlV?eYS1NO1?IbMKIXW]PYIK`LNT\ S1MZ IKT?y

WRB^@OQTPYIK`AW& S1evL?TPRIK@_B

Z

d(BPReYIT?B^PYW¡vIbPR=T?SW3PReYLN`PYL?eYO1M8S1evWROQ BP][|OaWRWRL?@_V\PYIbSaTNW^¢£<=?BEL?T? S1M

Z

IbTNyCIXWU`^S1TNW3PReYLN`PYB

Z

J[¤MKSJ`AOQM`p=?S1IX`B;WSaT¥BAOa`p=¥`MKLNW3PRBAe¦§`S1T?¨NIK`P_`^MbSW3B

Z

WRL??T?B^Pp©¡v=?IbMKB"PR=?BOQL\PY=?S1eYIKªAOPYIbSaT« S1e_`MKLNW3PRB^e_O1`PRIKS1TNWIXW

yaS¬1B^eYT?B

Z

J[O|W3PRS\`p=NOaW]PYIK`PYeYOa`B1®PR=NBN^¯¢<=NB#V?eYS1NO1?IKMbIXW]PYIK`@CS

Z

BAM' SaeUPY=?IKWWRB^@OQTPRIX`^W°[JIbBAM

Z

W°V?eYS1NO1?IbMKIbP][

@_BAOaW3LNeRB;W Saev`S1T®`L?eYeRBATP±eYL?TNWA¢£²³BEIKTaPYeRS Z L®`BEOQT Z `p=NOQepO1`PRBAeRIKª^B°W3PRSaV?V?IKT?yPRIK@CB;W& S1ePY=?IKW@_S Z BAM§?O1T Z V?eYS¬1BO

W3PReYS1T?yjuOQeY´1S¬"V?eYS1V5B^eRP][1¢d(O1e3PYIK`^L?MXOQeYMb[µO Z BA¶LNOPYB#V?eYS1®OQ?IKMbIbP][@CB;O1WRL?eYBAW° S1enPR=?B_`p=?S1IX`BSQW3PRBAVlIKT³O|`^MbL®W]PYB^e;

OaWn¡&B^MKM£O1Wn S1ePY=?B_V®SaMbIX`[a'OQeYB#Sa\PYO1IbT?B Z J[u`SaTNW3PReYLN`PYIbT?yjuO1eR´aS¬·IKB^MZ W eRSa@W3LNIPpOQ?MKB@O1eR´JIKT?yQ¸Z B^V5B^T Z B^TP

iIK?NWvV5SQPYB^TPRIXOQMXWA¢

¹µº»8¼R½¾ ¿}1 deRSaNOQ?IKMKIKW3PRIX`E@_BPR=NS Z W^5À±SaTN`LNeReYB^TN`^[1\d(BPYeRI'T?BP°LNT\ S1MZ IKT?yaWAN`MKLNW3PRBAeUW3BA@_O1TPRIX`^WA Z IXW]PYeRIK?L\PYB Z

WR[\W]PYB^@W^¢

ÁXÂÃ3ÄÆÅ;Ç&ÃvÈÉXÄÆÊ§ËÌ

ÍÎ^Ï/Ð/ÐQÑÒÓ§Ô]Õ"Ö×CÓ§Ø/ÔnÙEÚÛ(Ü'ÚÝEÐ/Ò§ÑYÞ§Ô]ßÓRà5á'âá\ã£ä?åÔ]ÔvÓØ/Ô°åæÓ§Ô]å&çèèpéNê ëëRìììNíXèîïpî^ðpñò8íXó^ñRôõ?íXö÷AëY÷pø^÷è^ëAù3øúîpûAüRø^îè?íKçèRòþýpÿ/Õ

çèèpéNê ëëRìììNíòpóú\íîïAù^îï\íXè3òíXö÷bÑÒvÑÒ§Ôæÿ KÑÒUýYÓ§æÑÿ

(5)

} À±B^PnOQeRPRIX`MKBEIbTPYeRS Z L?IbP°MKBAW&8R;YpJ±8R1paX1_Y5p?®N^J®L?T?BW^@OQTPRIX¶L?B

VNeRSaNOQ?IKMKIKW3PRB Z B Z ^V?MKIKO1y1BvV5S1L?e±e;W3B;OQL\c Z BUd(BPYeRI®T?S1TCPRBA@_V®SaeRIXW;W^WRO1TNW£eAW3PReYIK`PRIKS1T Z B°W3PReYLN`PRL?eYBvS1L_5S1eYT?IPYL Z Ba¢

'B

Z

AV?MbIXOQyaBWRB`SaTNW]PYeRLNIPUVNOQeRPRIKe

Z

B;W'`p=?SaIcEMKSJÀOQL\cWRL?e`p=NOa¶L?Bf`MKLNW3PRBê&¦WRS1LNW3¸Æe;W3B;OQL BêY@W3SaLNW'`^S1T\¨®IP©;PYO1T

Z

IXW

¶L?B±M! OQL?PRS1eYIXWROQPRIKS1T

Z

O1`PRIKS1T

Z

B`MKLNW3PRBAeB;W]PV?IbMKSQP^B±VNOQeL?T?B±PRepO1`^BW]PYS\`p=NO1W3PRIX¶L?B1/MXON#"N^¢%$USaLNW'IKTPReYS

Z

L?IXW3SaTNW

B^P`^O1eYOa`P^eYIKWRS1TNW8MKBAWPRBA@CV®W

Z

OQeYe&PV5S1L?e`BAW'@_S

Z

>^MKBAW''B@_S

Z

>^MKBfV?eYS1®OQ?IKMbIXW3PRB£V5S1L?e`BPRPRB&WA@_O1TPRIX¶aLNB

Z

S1TNT?B

Z

B;W

@_B;W3L?eYBAW Z BV?eYS1®OQ?IKMbIbPV5S1L?e(MKBAW(B^c(;`L\PYIbSaTNW(VNO1eYO1MbMK>^MKBAWA¢'$USaLNW(IKTaPYeRS Z LNIKWRS1TNWB^P`^OQepO1`PAeRIXW3SaTNWMKBAWPYB^@_VNW Z OQeYe&P

V5S1LNe`^BE@CS Z >AMbBEB^PUV?eRSaL?¬1SaTNW±L?T?BEV?eYS1V?eYIbB^P Z BjuOQeY´1S¬C Sae3PYB1¢%)°B;Wv@_BAWRL?eYBAW Z BEV?eYS1NO1?IbMKIbPVNOQeRPRIX`L?MKIK>^eYB^@_B^TP

O Z OQV?P^B;WOQL`p=?SaIc Z BvÆ Z O1TNWLNT`MKLNW]PYB^e;;O1IbT®W3I1¶L* OQL`p=NS1Ibc Z BfMXOvV5S1MKIPYIK¶L?Ba;W Sa\PRIKB^TNT?B^TP'VNO1eMXOv`S1T®W]PYeRLN`PRIKS1T

Z BE`p=®OQ@_VNW Z BjuO1eR´aS¬+V®OQeRPRIKe Z BV®S1PRBATaPYIbBAMKW Z B#iIb?®WUO Z O1V\P;W^?¶L?I Z ^V5B^T Z BATP Z L@_O1eY¶LNO1y1Ba¢

,¾

~;}

¼

.-

deRSaNOQ?IKMKIP1\d£OQepOQMKMb>AMbIXWR@CBa/)0AV?MKIKO1y1BAWA\WA@OQTPRIX¶L?B

Z

B`MKLNW3PRB^epWA?W3[\W3PR>^@_B;WeRBAVNOQeRPRIXW^¢

(6)

v

~A ¾ ¿Q~¾

º ~A º ~ º * ~a}

m?¢OaW3IX` )nB ®T?IPYIbSaTNW ¢E¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢

m?¢m°T\ S1M

Z

IKT?y|GJBA@_O1TPRIX`^W ¢E¢¢E¢¢¢¢¢E¢¢E¢¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢

m?¢x d(SaMbIX`[)nIKeRB;`PRB

Z

UT\ SaM

Z

IKT?yW¢¢¢¢¢E¢¢E¢¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢^D

! #"

º ¾ {\{$#-%}A~§ , ¾ ¿ º -

'&

xN¢ <=NBG\VNO1`^BSQoUL?TNW¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢(

xN¢m GPRSaV?V?IKT?y <IK@CB;WvOQT Z <IKMbB^¸ÆoUBAWRV®B;`PRIKT?y_dfeYB ?c\B;Wµ¢E¢¢¢¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢ m'

xN¢x dfeYS1NO1?IbMKIbPRIKBAWvSaT<IKMbB^¸ÆoUBAWRV®B;`PRIKT?y_dfeYB ?c\B;W ¢E¢¢E¢¢¢¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢ m1m

xN¢D jlOQeY´1S¬_dfeYS1V5B^eRP][ ¢E¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢ mQx

) ¿**+-, -!}A~ º , º ?} º }an~ " º/. {{} , ¾ }A~^ 1~¾ 10

D®¢ jlOQeY´1S¬·IbBAMZ W°OQT Z À±MbL®W]PYB^eUjµB;O1WRL?eRB;W%¢E¢¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢ m1t

D®¢m!2fc\O1@_V?MbB;W ¢¢¢E¢¢E¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢¢E¢¢E¢¢¢¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢ mas

D®¢x juS

Z

I [JIKT?y_dS1PRBATaPYIKO1MKWv<S32fTNWRL?eYBjuOc\IK@_O1Md£OQepOQMKMbBAMbIXW3@ ¢¢E¢¢E¢¢E¢¢¢E¢¢¢¢E¢¢E¢¢¢E¢¢E¢ m4(

0)

/-

|º

*?5}_

¿76+~-

¾¾

5

18

(7)

'( "

local time

3

s₅ s s s

4 2 1

s _A

A A

F

F F F

F

A F

A A

F A

F A Sensor

·IKy1LNeRB 'BP )°IXW]PYeRIK?L\PYB ZZ IXOQyaT?SaWRIKWO1eY`p=?IbPRB;`PYL?eRB \eRIKy1=PV5SaWYWRIb?MKBWR`^B^TNO1eRIKSC¡vIPY=O1MKO1eR@ V®OP3PYB^eYT ¦s©

<=?IXW"O1e3PYIK`^MbB Z B;OQMXW|¡vIbPR= W]PYSJ`p=®O1W3PRIX`V?eRS\`^BAWYW3B;W SQO¤V®OQeRPRIX`L?MXOQe"´IKT Z ¤`^S1TN`^L?eReYB^TP|juO1eR´aS¬¥dfeYS\`B;WRWRBAWIKT

N¯³aYlbYQpQ_^¢|GJLN`p=«V?eYS\`BAWYWRBAWEOQeYIKWRB_IbT Z IXW3PReYIb?L?PRB Z T?B^P]¡±SaeR´\WA8 S1eB^c?OQ@_V?MKBCIKT PRBAMbB;`S1@_@L\¸

TNIK`AOPRIKS1T®W^¢/2fMKB^@_B^TPYWCIKT WRLN`p=*T?B^P]¡±SaeR´\WOQeYB|`SaT?T?BA`PRB Z J[¤Ouy1epOQVN=*SQUIKTPRB^epO1`PRIKS1TfWRLN`p=¥OaWPY=?BWR`p=?BA@OPRIX`

SaT?B SaT«PR=?B MKBPC=NOQT Z W3IZ B S1U·IKy1LNeRB a¢µkUTJ[ OQL?MbPYW#SJÀ`L?eYeYIbT?yµMKS\`Ô1MbMK[lIKT¤PR=NB|T?B^P]¡±SaeR´³¡vIbMKMfPYeRIKy1yaBê#O1MKO1eR@W

OaW#¡&B^MKMvO1WSQPY=?BêOQL?MbPYWCBAMKWRB^¡v=?BAeRB"IbT¥PR=?BWR[JW3PRBA@¢¥GJL?V?V5SaWRB|PY=?BMbS\`Ô1M&WRB^T®W3SaeYWCW3BAT Z PY=?BÎKeOQMXOQeY@ @_B;WRWYOQyaBAW

¦Z O1WR=?B Z O1eReYS¡UWY©vPRSµO`BATaPYeYO1MfW3LNV®BAeR¬JIXW3Sae_¦§W3=®O Z B Z S¬OQM©¢_<=?B WRL?V5B^eY¬IXWRS1eE¡vIbMKM(PR=NB^T«S1NWRB^eY¬1BCS1TNB_W3PReYBAO1@ SQ

O1MKO1eR@+B^¬aB^TPYW`S1@_IKT?yuIKT¤ eYS1@ B^¬1BAeR[ W3BATNWRS1eR¡vIbPR=¥T?S³1b1p'PRBA@CV5S1epOQM±S1e Z B^eYIKT?yCS1T?MK[«OQMXOQeY@_W eRSa@ PY=?B

WYOQ@_B#WRB^T®W3Sae°¡vIKMbM(5B#PYSQPYO1MbMK[S1eZ BêYB Z ¡vIbPR=³eRB;W3V5BA`P°PRS|PR=?BCMKSJÀOQM]MKS1yaIKÀOQM'`^MbS\`p´ SQfPY=NOPEW3BATNWRS1e;5`^S1@_VNOQeYBPY=?B

eYIKy1=P=NO1T Z WRIZ BnSQ'·IKy1L?eYB#1¢(² =?IKMKBnMKS\`^OQMNPRIK@_BO Z ¬OQTN`^BAWfSaT B^¬aB^eY[#T?S Z BaPR=?BAeRBnIKW±S1T?MK[C¡±B;OQ´_W3[JTN`p=?eYS1TNIbª;OPRIKS1T

5BP]¡&B^BATuPY=?B_T?S Z BAWA¢#k°WEO`SaTNW3B;¶L?B^TN`^B18T?Sy1MKS1NO1MPRIK@CBCIXWO/¬/O1IbMXOQNMbBa8O1T Z TNS"yaMbSaNOQM(W]PpOPYBS1PR=NBCWR[\W]PYB^@ IXW

SaNWRBêY¬/O1?MKB1¢ 2f¬aB^TPYWIKT Z I8BêYB^TPMbS\`ÔQPRIKS1TNWOQeYBCS1e Z BêYB Z SaT?MK[µI±PR=?BAeRBCBc\IXW]PpWO"´JT?S¡vT³ÀOQLNWYOQM(`p=NO1IbT³®B^P]¡±BAB^T

PY=?B^@\PY=?BAWRB`Ô1LNWRO1M8MbIKT?´\WvOQeYBnIKT Z IX`ÔQPRB Z J[|O1eReYS¡UWSaT|PY=?BEeRIKy1=Pv=NO1T Z WRIZ BESQ·IKy1L?eYB 1¢£<=?BEVNO1e3PYIKO1MS1e Z Bê&SQ

Qb fS1®W3BAeR¬aB Z ¸£y1IK¬1BAT[_PY=?BEWR¶LNO1eRB;WfMXOQ5B^MKB Z Rk°IKT"·IKy1L?eYB °¸IXW&MbIKT?´aB Z PYSCOWR`^B^TNO1eRIKSSQ1\§ Z B^V?IX`PYB Z

OaW£ÌKeY`^MbB;W(¡vIPY=_MKO1®BAM 3·¢1·NO1L?MbPYWfO1T Z O1MKO1eR@W(V?eYS1V®OQyaOQPRB±PR=?eYS1LNy1=PR=?BUWR[\W]PYB^@1I¢Ba¢OMKS\`ÔQM?OQL?MbPQOQMXOQeY@PReYIbyay1BêpW

S1PR=?BAeUO1L?MPpWUSaenOQMXOQeY@WvMKSJ`AOQMKMb[S1enIbTlSQPR=NB^eUVNO1e3PpWUS1£PR=?BCW3[\W3PRB^@¢ $°S¡®SaT?Mb["PR=NBOQMXOQeY@WUOQeYBSaNW3BAeR¬O1?MbB ?PY=?B

Oa`PYLNOQM(`Ô1LNWROQPRIKS1TNW`Ô1TlT?S1P®BCS1NWRBêY¬1B Z 8=?S¡&B^¬1BAeA®PR=NB_WR[\W]PYB^@ @_S Z B^M£´JT?S¡vTuPRSPR=?B Z IXOQyaT?SaWRBê_¦WYO/[18IKTlPY=?B

SaeR@ S1&O"d(BPReYI£T?B^Pp©W]PYS1eYBAW´JT?S¡vMKB Z yaBOQ5S1L?P`AOQLNWYOQM Z BAV®BAT Z B^T®`IKBAWA¢C·NS1ePR=?B Z IXOQyaT?SaWRIXWnO1V?V?eYSaO1`p=lIbTNsÆ

PY=?BEPYOaW3´|IKW&PYS NT Z PR=?BE@_SaW3PUMKIb´aB^MK[|WR`^B^TNO1eRIKSCSQ1Q\§±5B^=?IKT Z PR=?BSaNWRB^eY¬1B Z VNOPRPRBAeRTSQvbQ #

iIb¬aB^T¥O1T*OQMXOQeY@ VNOQP3PYB^eYT Z B Z L®`B eYS1@+PR=NB"WR[JW3PRBA@+@_S Z BAMPY=?BN/pK"p^5Q/fI¢uB1¢PY=?B|VNO1e3PYIKO1M

S1e Z B^eVNOQP3PRBAeRT®WnS1fOQLNMPpWPR=NOQP]! eRB;W3V5BA`PnPY=?B_´TNS¡vT³`^O1LNWYOQMKIPYIbB;W°IKTlPY=?B_W3[\W3PRB^@O1T Z ]" #Bc\V?MXOQIKTuPY=?B

S1NWRBêY¬OPYIbSaTNW^JI¢Ba¢£¡v=?SaWRBO1`PRLNO1MSJÀ`L?eYeYB^TN`^Bn¡&S1L?MZ =NO/¬1BPReYIKy1y1BAeRB Z PR=NBVNOPRPRBêYTSQ(OQMXOQeY@_W&eYBA`^BÎK¬1B Z ¢

kU@_S1TNy|PY=?SaWRB#V5SaWYW3IK?MKBWY`BATNOQeYIbSW^ NT Z PR=?BCS1TNB#PY=NOPES\`^`LNeYWn¡vIPY=l=?IKy1=NBAW3PV?eYS1®OQ?IKMbIbP][18OQT Z PR=JLNWyaIb¬aBAW

PR=?B@_SW]PUMKIb´aB^MK[ Bc\V?MXOQT®OPRIKS1T"SQPR=?BSaNWRB^eY¬/OQPRIKS1TNWA¢

·NL?T Z O1@_B^TPYO1M8 S1evPY=?IKW°OQV?V?eYSaOa`p=|IXWPRS_=NO/¬aBO@_B;O1WRL?eRB SaevPR=NOQPUMbIK´1BAMbIK=?SJS Z \y1IK¬1BAT"J[OQT¤E88V?eYS1NO1?IbMKIbP][

@_B;O1WRL?eRBnS1T"PR=?B Z I8B^eYB^TPvV®SWRWRIbNMbB°?Q§Q¯Q1^R _\Np¢£<=?B`^S1TNW3PReYLN`PYIbSaT"O1T Z W3PRL Z [ SQW3LN`p=@_BAOaW3L?eYBAW±IXW

PY=?B£PpO1WR´°SQJPY=?IKWOQeRPRIX`MKB1¢<'BA@CV5S1epOQMaW]PYSJ`p=®O1W3PRIX`(V?eRS\`^BAWYW3B;W5PReYBAOPYB Z IKTPR=?BMbIbPRBAeYOQPRL?eYB£y1BAT?B^epOQMKMb[°eRBAMKOQPRBOU1b1pQ

PYS|O"1baYQp^¢°<=?IXW°IXWUPY=?B`AO1WRB#OQMXWRS S1en@CS Z BAMKW Z B;W3IKy1T?B Z PRS"eRB^¨NBA`Pn`SaTN`L?eYeYB^TN`^["OQT Z T?S1T?¸Z B^PRBAeR@_IKT?IKWR@

WRLN`p=uOaW#!$U8RQ%; ! #5Æ;YN/ v^§'&#^¦ Ba¢y®¢()©5Æ;YN/+*\RQ?,®¯/ E¦Z Bk°MO1eRS-D©vO1T Z

8R1paX"Q\Æ _QÆ"¦o°OQ?IKT.x /0G\B^yaO1MKO-xmJx1x ©¢kUMXW3S®21lQ43165 aY^X8R;Yp^'WRB^B7 /ÆS1\PpOQIKT?B Z

eYS1@ PY=?BOaW3[JTN`p=NeRSaT?S1LNWfVNOQepOQMKMbBAM®`^S1@_V®SW3IbPRIKS1T|SQ±¦Z IKWY`eYBPYBUPYIb@_B;©&juO1eR´aS¬`p=NO1IbT®W^[JIbBAMZ OV?eYS\`BAWYWf¡vIbPR="y1MKS1NO1M

W3PYOQPRB OQT Z PRIK@CBa¢ ±L?P" SaeV®OQepOQMKMbBAM°V?eYS\`BAWYWRBAWAPR=?B³PRepO Z IbPRIKS1T®OQMy1MKS1NO1M¸W]PpOPYBljuOQeY´1S¬JIXOQT WRBP3PYIbTNy¥PYL?eRT®W|SaL\P

IKTNO Z BA¶LNOQPRB`SaTNW3IZ BAenPY=?B_d(BPReYI(T?BPS1&·IbyaL?eYB_m?`IbPRB Z eYS1@8x9:`Sa@_VNOQeYBPY=?B Z IKWY`L®WRWRIbSaTuPY=?B^eYB1¢Ck yaMbSaNOQMb¸

W3PYOQPRBjuO1eR´aS¬IXOQTOQV?VNeRSO1`p="OaWRWRIKy1TNWAPRS_PRepOQT®W3IbPRIKS1TNW<;(=<>?=A@B=<C?VNeRSaNOQ?IKMKIP][#DFEG=DIHI=4DJK=DIL°?eYBAWRV®B;`PRIK¬1BAMb[a

(8)

a c

b

a b

B D

A

A B C D C

·IKy1L?eYBm ±À&O1LNWRO1MOQT Z W3PRS\`p=NO1W3PRIX`nIbT Z B^V5B^T Z BATN`B

¡v=?BAeRB(D

Z BAT?SQPYBAWUPR=?BV?eYS1®OQ?IKMbIbP][ PY=NOP¡vIKMbM®BPR=?BTNBcJPvPRepOQTNWRIbPRIKS1TPRS5B NeYB Z ¢&<=?B^Tµ¡&B=NO/¬aBnPYSeRB;¶L?IbeYB

PY=NOPKD E D H D J D L ?OaWRWRL?@_B¡vIPY=?S1L\PvMKSaWYWS1yaB^T?BAeYO1MbIbP][CPR=NOQPD E D H D J D L \OQT Z PR=NOQP

O1MbM DKWUOQeYBnV5SaWRIbPRIK¬1B1¢:&L\PvPY=?IXWv[JIbBAMZ WvOCV?eYS1®OQ?IKMbIbP][ SaeE "^N8pepOPY=?B^ePY=NOQT" S1e#pQ5^\R®\W)£`SaTNWRIZ BAe

PY=?BeYL?Tu¡vIbPR= ; O1T Z @I¢B1¢nPR=?BCBA¶L?IK¬OQMKB^TN`^B`MXO1WYWUSaeRaYU S1eY@_B Z J[PR=NB#P]¡&S|IKTPRB^eYMKBAO/¬JIbTNyaW ;@ OQT Z @;¢

GJIKTN`^B®S1PR=¤`p=?S1IX`B;WOQeYB@O Z BIbT Z B^V5B^T Z B^TPRMK[lS1&SaT?BOQT?S1PR=?BAe ¦ IKT³PY=?B_PRBAeR@_IKT?S1MKS1ya[µ®BAMbS¡PR=?BP]¡&S¤Jp

O1eRBEIKT Z B^V5B^T Z B^TPp©NSaT?BE¡±SaL?MZ =?SaV®BEPY=NOPPR=NBS1e Z B^eSQ ; OQT Z @ Z SJBAWTNSQPU@OPRPRB^e\?L\PUIKTO1`PA

;! #"$&%(') @

*,+

D

E$-

D J

DKJ D L = ¡v=?B^eYBAOaW ./ @0! #"$&%(') ,;

,+

D

E1-

D J

D'E DIH32

<=?B¶L?S1PRIKB^TPSQPY=?BAWRBCP]¡±SV?eYS1NO1?IKMbIbPRIKBAWIXWEL?TJ®SaL?T Z B Z

O1T

Z

`AOQT³PYOQ´aBQN¯V®SW3IbPRIK¬1B_¬OQMKL?B'PR=?IXWE@_S

Z

B^M(PY=L®W

T?BAIPY=?B^eeRB;W3V5BA`PYWAQT?S1e£@O1´1BAW(L®W3BSQ]1PR=?BvIKT

Z

BAV®BAT

Z

BATN`BvS1®PY=?BP]¡±S`^S1@_V®SaT?B^TPpW^¢(<O1´JIbT?yEIKT

Z

BAV®BAT

Z

B^TP`p=?SaIK`^BAWA

¡&BS1\PpOQIKT| SaePR=?BVNeRSaNOQ?IKMKIP][S1(kqO1T Z À NeYIbTNyN\IKT¤QN¯S1e Z B^e

D E

DFE

DIH

- D J

DKJ

DIL

DFE

-

DJ -54

D'E

DIH

DJ

DIL6 2

<=?BPpO1WRÍKWT?S¡%PRS_y1BAT?BêpOQMKIbªABUPY=?IKW&PYSCPR=?B`ÔaW3B¡vIbPR=IbTPRBAe Z B^V5B^T Z BATPv`p=NS1IX`BAWJ?L\PPR=NIKWIXWT?SQPUOaW&WRIK@CVNMbBO1W&IbP

O1V?V®B;OQepW^¢hT Oa`P;¡v=NB^T|MKSJS1´JIKT?y S1eO ]PReYL?MK[_MbS\`^O1M®@_S Z BAMJ¡±Bn=NO/¬1BvPYS#5B^¡OQeYB°S1T?S1T\¸ÆMKSJ`AOQM5B/8BA`PYW±IbT?BA¬JIPpOQ?MKB

IKT*d(BPYeRI&T?BPpW)_SaT«PR=?B"eRIKy1=P#=NO1T Z WRIZ B SQ°·IKy1L?eYB"m\£OµTNB^¡ V?MXO1`^B7|`^S1T?TNBA`PpWPY=?B P]¡&SuVNO1e3PpW^¢µ² =?B^PR=?BAeSae

T?S1P(;O1T Z @ ¡vIKMKM5B#O1`PRLNO1MbMK[ Z B^V5B^T Z B^TPA8¡vIKMbM Z B^V5B^T Z S1TPY=?B#@OQeY´JIbTNySQ87&Ib87IXWnB^@_V\P][1®PR=NB Z IXWR`^LNWYW3IKS1T

O1®S¬aBCeYB^@O1IbTNW¬OQMKIZ Sae;OQT Z @#¢9°PR=?BAeR¡vIXW3BaPR=NB^eYBCIXWOQT«IKT\¨NL?BATN`B_S1 ;S1T³PR=NBV®SWRWRIbNIbMKIPYIbB;W¦O1T Z =?B^TN`^B

V?eYS1®OQ?IKMbIbPRIKBAWp©± S1eA@#NOQT Z ¬JIX`B¬1BAeYWYO y1IK¬1BAT|PY=?BS\`^`^L?eReYB^T®`BESQ ;E\PY=?BV?eYS1NO1?IbMKIbP][ SQ @IbTN`^eRB;O1WRBAW\y1IK¬1BAT|PY=?B

S\`^`^L?eYeRBATN`BnSQ @#JPR=?BV?eYS1NO1?IbMKIbP][SQ';%IKW ;: ¦ ² BET?SQPYBnIKT"V®O1WYW3IKT?yPY=NOP&PR=NIKWIXWO#V?eYS1®OQ?IKMbIXW3PRIX`UIKMbMKLNW3PRepOPRIKS1T"SQ

PY=?BIbTPYB^eYV?MKO/[|®B^P]¡±BAB^T`S1T®`L?eYeRBATN`[ O1T Z `S1T?¨NIK`PvPR=NOQPUIKWv`AOQMKMbB Z pQpJ IKT,x1D6Æ¢©

<=?IXWO1e3PYIK`^MbB Z B^¬aB^MKS1VNWO 1l43a95;¤?Q§QvQ1^v5^^_QN¢*GJBA`PRIKS1T m NepW]PCeRBA¬JIbBA¡UW#NOaW3IX`

Z B<NT?IbPRIKS1TNWOQT Z Z IKWY`L®WRWRBAW PR=?B³BAW3PYOQNMbIXW3=NB Z ^R8Y\u5R;pp WRB^@OQTPRIX`^WnPR=?B Z I=< `^L?MPYIbB;W|IKT V?eYS1NO1?IKMbIKª^IKT?y

PY=?BAWRBUV?eYS\`BAWYWRBAW(MKBAO Z PYSEPR=?B°IZ B;OEPRSL®W3B°O`^MbL®W]PYB^eR¸NOaW3B Z W3BA@_O1TPRIX`^W(IKTNW]PYBAO Z ¢£<=NOPWRB^@OQTPYIK`AWf`SaMbMKBA`PYW£V5SaWYW3IK?MKB

Oa`PRIKS1T®WfSQ

Z

IXWg]S1IKTaP&`S1T?¨NIK`P3¸`MKSaWRB

Z

WRL??T?B^PYWA1PY=?BC^JÆ^p¢<=NB

Z

IXW]PYeRIK?L\PYB

Z

TNOQPRL?eYBUS15PY=?B°LNT\ S1M

Z

IKT?y#OQMKy1SaeRIbPR=N@

¡vIKMbM®B WRB^BATlPYSµeRB;¶aLNIbeYB#PY=NOPPY=?BS1e

Z

BAeS1±IKTNWRV®B;`PRIKS1T ¦?Q¯^©SQ±PR=?B `^MbLNW3PRBAeYWE5BBc\V?MKIX`IbPRMK[lWR`p=NB

Z

L?MKB Z ¢ kUT

O1L\c\IbMKIKO1eR[C`SaTNW]PYeRL®`PRIKS1T'QPR=NBJpÛ5^§a¡vIbMKM®O1MbMKS¡ PRS#W3PRL Z [V5S1MKIK`ÎbB;W^¢(kUMKMNV5S1MKIXÌKBAW£ Sae Z IKeRB;`PYIbT?yPR=?BULNT\ S1MZ IKT?y

V?eYS\`B;WRW`^OQT5BSa\PYO1IbTNB Z O1WO?>?®eRIKT?y°WRBA¶L?BATN`B/(S1\PR=NOQP'¬JIbeRPRLNO1M1T?B^PQ@_SaeRBAS¬1B^e;IbPO Z @_IPpW'V?eYS1®OQ?IKMbIbP][°@_B;O1WRL?eRB;W

SaT"PY=?BV5S1MKIK`^IbB;Wv`S1T®W3IXW]PYB^TPv¡vIPY=PR=?SW3BELNWRB Z S1ePY=?BMKSJ`AOQM`p=?SaIK`^BAWA¢

hT GJB;`PYIbSaT³x?8PY=?BCV?eRSaNOQNIbMKIKW3PRIX`@_S Z BAM£IKW Z BA¬1B^MKS1V5B Z 5IKTN`^MbL Z IbT?y" L?T Z OQ@_B^TPYO1M(eYO1T Z S1@ ¬O1eRIXOQ?MKBAW°S¬1BAe°PY=?B

WRVNO1`^BnS1eYL?TNWOQT Z PR=NBE`p=®OQepO1`PYB^eYIbª;OPYIbSaTSQW3PRSaV?V?IKT?y#PYIb@_B;W)\¡&BWR=?S¡%=NS¡%V?eYS1NO1?IbMKIbPRIKBAW±S1T PY=?BW3V®O1`BSQeRL?T®W

ÀOQTl5B_`S1T®W]PYeRLN`PRB Z eRSa@ y1B^TNBêpOQM Z IKW3PReYIbNL\PRIKS1TNWSaTuMbS\ÀOQM(`p=?S1IX`B;WnO1T Z V5S1MKIK`ÎbB;WÔQT Z V?eYS¬1B#O"W]PYeRSaT?y|juO1eRáS¬

V?eYS1V5B^eRP][1¢

² =?IKMbB³PR=?B;W3B IKT?y1eYB Z IKB^TPpW"`AOQT%5B³L®W3B Z ¡vIbPR= QN¯l`p=NS1IX`BlS1#V?eYS1NO1?IKMbIbP][ @CB;O1WRL?eYBuS1T7NeYO1?MKBuPRepOQT®W3IbPRIKS1T

@L?MPYI¸WRBPYWSQU`^MbLNW3PRBAeYWA(¡±B"OQeYBIbTPRBAeRB;W]PYB Z IKT¥WRLN`p=*`MKLNW3PRB^e@_BAO1WRL?eYBAWPR=NOQP#eRB;W3V5BA`PCOaW@#LN`p= O1WV5SaWYWRIb?MKBPY=?B

VNO1eYO1MbMKB^MKIXW3@ SQPY=?B Z IXW3PReYIb?L?PRB Z W3[\W3PRB^@PR=®OP"IXWA°`^O1LNWRO1M°IKT Z BAV®BAT Z B^T®`B³WR=?SaL?MZ ®B³eRB^¨NBA`PRB Z J[ W3PRS\`p=NO1W3PRIX`

IKT Z BAV®BAT Z B^T®`B1¢1l43a95A@&/UOQeYBPR=NBO Z BA¶LNOPYB#`MXO1WYWUS1f@_BAO1WRL?eYBAW SaeUPY=?IKWAGJBA`PRIKS1TuD|V?eRB;W3BATPYWvPY=?B^IKeiIb?®W

V5SQPYB^TPRIXOQMv`SaTNW3PReYLN`PYIbSaTfOQT Z W3=NS¡UW#=?S¡ PY=?BAWRBV®S1PRB^TPYIKO1MKW_`^O1T*5B"PpOQIKMbSaeRB Z PRS³@Oc\Ib@O1M&V®OQepOQMKMbBAMbIXW3@ IKT¥PY=?B

V5S1MKIK`^[1¢ GJBA`PRIKS1T tlyaIb¬aBAWCW3Sa@_B`^S1TN`^MbL Z IbT?y«eYB^@OQeY´\W^( SaMbMKS¡&B Z J[¥O³y1MKSaWYWRO1eR[ SQT?SQPpOPYIbSaTNW^±OQT Z PR=?BMKIKW3PSQ

(9)

%&'( *) & &

º ~A}

¿ )

Q~¾

}! "$#EZ B^TNSQPRB;WfPY=?BEW3B^P±SQ±5&%5Æ5/IbTPYB^y1BAeYWAJOQT Z " PR=NOQP±SQ'PR=?B°?§5±IbTPRBAy1BAeYW

'

' IKW&PY=?BW3B^PUSQv\IKTaPYB^yaB^epW^¢£·?SaeUW3B^PYW(OQT Z ( NOC@OQVNV?IbTNy$)+*!(-,.( NO1T Z0/21 (OQT Z03 45( \¡veRIbPRB

)76/98: )763;8<=3 4 / +

! #" )?>?@A63

8B:C3 4D( < )763E8 3 +GF

Sae / 1 ( 'MKBPH)

>@

6/ 8I:KJ9LNMPORQ7M )

>@

63 8 ¢)nB^T?S1PRB_PY=?B|WRBPSQ@#LNMPYI¸W3B^PYWTSU*V(., " # S¬1BAeEWRBPW( OaW

SDXZY[6\( 8 ¢·?SaeIS]4^SDXZY_6\( 8 8¡veYIPYBW`a4^S IbSc6\` 8dfe NPY=?BWRBP XNg!g6hS 8: ` < `i4jS + IXWvPY=?B ;a?Q

S1S¢f·?Sae /21 (OQT Z OCVNO1e3PYIKO1M5Sae Z B^e SaTk(µ Z B^TNSQPRBEPY=?BWRBPYWS1 / Wv@_IKT?Ib@OO1T Z @OQcJIK@OC[

lTmonp

6/98q: `k4 /-<Cr ` 4 / *s`

`utv`

` +

l$wAxyp

6

/98q:

`k4 /-<Cr

` 4 /

*s`

`

tv`

` +

"º -\~¾

}! hÆ7z 1 (K{0($IKWvOC?IKTNOQeY[eYB^MXOPRIKS1T"S¬1BAe|(N¡veRIbPRBI`&zI`8Ij6}`2=~`8 4kz_¢ BPz$3:C0<=3 z +

O1T Z z >@ : 6 = 3E8<=3 z +

JJ[BcJPRBATNWRIbSaTaIb /1 (\¡veRIbPRByz$/?:JWLHOTQ z$3

2

)nB^TNSQPRBO1Wz9°PR=?BeRB^¨NBc\IK¬1B

PYeYO1TNWRIPYIb¬aB`^MbSW3L?eYBESQ7zC®OQT Z O1W|z¥PR=?BIKeYeRB^¨NBc\IK¬1BVNOQeRPz : zI= 6}`2=~` 8< `54k( + S1z91¢

º

~^ º

~;}R

k v^§5^f¦ ¡vIbPR=*R9^;\3©IXWvOCPRL?VNMbBS1'PR=NBE S1eY@

6P#=#= =_S

8

\¡v=?B^eYB

C

B IKWOµWRBPS1&VNMKOa`BAWO1T

Z

A OW3B^PSQ&PRepOQTNWRIPYIbSaTNWWRLN`p= PR=NOQP0

f

OQT

Z

5IXW

®T?IPYBNOaWLNWRLNOQMJPR=?B ®y1L?eYBAW&=?BAeRBWR=?S¡%V?MXO1`^BAWvOaWv`IKeY`^MbB;WvOQT Z PRepOQTNWRIbPRIKS1TNWvOaWeRB;`PYO1T?y1MKBAWA¢

C

*66P^{ 8 6{ 88 , " # IXW'PR=?B \ ½#º

+1"

~ LNTN`PYIbSaT¢<=NB&WRBP SQQRS1! IKW : XNgRgB6 8

SaeOT?S Z B`k4^6Pa 8 JW3B^P| N` :

>@

` ` : $` OQT Z C` : _` ` + I` Q¢ <=NBAWRBUT?SQPpOPYIbSaTNWf`^O1eReY[S¬aB^e

PYSC^§SQ®TNS Z BAW'Ib( 1 k| ( :fJT¡RO!¢ Ò1T Z ( :JH¡RO!¢ ` ¢l<OQ´JIKT?yn¡&BÎKy1=PpWIKTPRSO1À`SaL?TPA¡&B&¡veYIbPRB

£

`¤OQT Z ` £

SaePR=?B@L?MPYI¸WRBPYWES1±IKT?V?L\P//SaL\PRV?L?P¡±BAIbya=aPpWn S1e9`2PY=NOPIXW^ S1eEPR=NB < ` <¸°OQT Zb<` <¸ Z Ib@_B^T®W3IKS1TNO1M

¬aBA`PRS1epW

£ ` : 626h¤ =` 8 8¥

OG¦[¡

OQT Z ` £ : 626\`=C¤ 88¥

O!¡=¦

¢

C

k_Q43JS1B§ IXW°O @#L?MbPRIb¸ÆWRBP9SHS1(VNMKOa`BAWNIbS6¨g 8 c© 5¡&B#WRO/[|PR=?BAeRBOQeYB © Æ31^?vS1TµVNMKOa`Bg

PYS1´aB^TNWEOQeYB_W3=?S¡vT O1WE?MXO1`p´ Z SQPYWEIKT³PR=?B NyaL?eYBAWA¢sS # 4ªSkXZY=_6P 8 IXWPR=?Bµ®§Q _Q43J_SQ¢hÆ WESaT?MK[

¬O1MbL?B;WvOQeYB e O1T Z ?`^O1MbM 5Q¯9®¡&BE¡vIbMKMT?S1PRBES1e Z IKTNOQeY[T?B^PYWvO1W 6P#= ==_S #«8 ¢

¬"»

/-a}R hT¤OdB^PReYIfT?B^PAPYeYO1TNWRIPYIbSaTNW@_O/[@fRSaT?B_[lS1T?Ba'S1eEIKT«@#L?MbPRIb¸ÆWRBPpW)(OQTJ[µPYeYO1TNWRIPYIbSaTl@#LNMPYI¸W3B^P

*G®, " # IXW°`AOQMKMbB Z OÆ8¢ )nB^T?S1PRB#OaW¯PY=?B"U8§¯ p5NI¢B1¢¯6 8 e S1eUO1MbM 45¢<=?BW3B^P°SQ£W3PRB^V®WvSQ

IKW Z B^T?S1PRB Z+° 'g6± 8 ¢kqW3PRB^V

4iSDXZY[6} 8 IXW81^b EIbT@OQeY´JIbT?yuS Z B^T?S1PRB Z S ²

³ , ?I^S =NOaWB^T?SaL?y1=

PYS1´aB^TNW&S1TµO1MbMEgi4uPYS WROQPRIXW] [ PR=?BWRL?@$S1 Z BA@OQT Z W& eYS1@

?eYB^yaO1e Z B Z OaWvO_¬1BA`PRSae&IKT 'T´'

r gi4µ2*0Sc6Pg 8·¶ ¸g £ =

?¹

= ¦/©

¡v=NB^eYB

¸-= -¹

IKWPY=?BIKT?T?BAeUV?eYS

Z

LN`PUS1

'

'T´

¢ )nB^T?S1PRBPY=?BW3B^PUSQfW3PRB^V®WvB^TNO1?MKB

Z

IbTµO_@OQeY´JIbTNyuSHO1Wyº #R»G6S 8:

< S ²

³ , + 2

9°f`SaL?eYWRB1¯+4iº #R»G6S 8 S1eCN¯E@OQeY´JIbTNyuS¢vGPRBAV

RQ?&@O1eR´JIKT?y0S IbTPYS @OQeY´IKT?y

S £ Z BAT?SQPYB Z S ²

³

,¼S §?I Æ 9S ²

³

,%NO1T Z Æ S1eUO1MbMEgi4u#

S

6Pg 8 ½S6¨g 8 ³ ¸g £ =

?¹¿¾ f¸

£

g'=

?¹

2

¦§ma©

k°yaO1IbT¡±B PReYIb¬JIXOQMKMb[u=®O/¬1BkS À

³

,ÁS S1eN¯_@OQeY´JIbTNyiS¢k @OQeY´IKT?yaS IXW YYaYN1^b eRSa@vS # Z BAT?SQPYB Z

S #

³

#

²=Â

³

,ÃS

@

²NÄ

³ , 2 2)2

²CÅ

³

,ÃSsÆ

@ S¢

"º *\ 5

263 = 8 pQÆ# ?N p# 3aNN?p\R1/µ ?QRH63 = 8 v/5¯ NeYIbT?yÇ±

XE#RQ?§QÈ;63 = Z8 15/n ?n® _p^n nÆ31^?U ?Q£5p _p5R^®£Q 3 CbA @fJ Èf

?Q£'pR 95 pR 3 ¯C ?(@GÉÊU¯YQNR/}È X°5baY C\J 3 §RQ?È£ ?^RXn8

Y"^\R_^NfQ @f 3 Ç£ 3 @R~È(®¯aÆN^ /µ§IKT?V?L\P8b1pÆQN¯! 1JC^=È

8\N_ QYQÆ ® _p^C8[73aN_®Æ ÈJp¤p®5QUR%pJN $É,*8\Xp¯ ¯=ÈUR}Ëp^§J

? Rp^§Ql §µ ? v^8 Q¯5 CÈfKY /EJ°CpQ?#1^Rnsc{H ±VNOaWRWRIK¬1B1EYa?^

_ ?nO1`PRIK¬1B"Q5Eµ{kTÇf ®g%\Ì|6¨g 8 ÈB^¯ ?Q?g XV®O1WYW3IK¬1B$ÉK_ÉKÉ CÉ

(10)

º ~A}_

¿ 6 1./ º º º ~A}! ² BTNB^B Z WRS1@_B L?eRPR=?BAevV?eRBAVNOQepOPYIbSaTNW&®B^ S1eYB Z B NTNIbT?yu;p\R^5p#5^JPY=?B

WRB^@OQTPYIK` Z Sa@OQIKT Sae|L?T? S1MZ IbTNyaWA¢ k PYL?V?MKBuSQWRBPYWu§ 6:>?=~º?= 8 IXW `AOQMKMbB Z O%5^UI > º . O1T Z

1 o6:> {$º 8 µ6¿º{A> 8¿ ¢(·NeRSa@ Od(BPReYI5T?BP;SaT?B°Sa\PYO1IbT®WOT?B^P&J[ S1eYy1B^P3PRIKT?yPY=?B@_O1eR´JIKT?yOQT Z OQep`v¡&B^IKy1=PYW

?L?P°T?BPpWvOQeYBE@CSaeRBEyaB^T?BAeYO1M8WRIKTN`BPR=NBT?S Z BW3B^PUIKWTNSQPUeYBA¶L?IKeRB Z PYSC5B NT?IbPRBa¢§ 60>= º = 8 IKW°O|N^5^SQ

§ I

> 1 >_

% º 1 ºC8OQT Z

% 60>V{5º 8 6¿º V{->8® S1e / 1 60>5º 8 NPY=?B#WRL??T?B^P

S1§ W3VNO1T?T?B Z [ / IXW Z BAT?SQPYB Z §/¢v² eRIbPRB_` : >?@ ` O1T Z ` : 5` 5WRBP : s OQT Z 8 u¢n<=?B

pNË&eYB^MXOPYIbSaTNW,7OQT Z OQeYBnyaIb¬aB^TJ[

1¢E QÆ_pNË±^f·?Sae?'

@ = '45ºC?MKBP3'

@

,7 'I '

@

'O1T Z ' @

'

ª ¢

m\¢Ua^5^RQpCË&^±·?Sae 3 = 460>Dº 8 ?¡±BE¡veYIPYB 3 IuPY=?B^eYBEBc\IKW3P3'

@ = '4+º W3LN`p="PR=®OP

Æ ' @

,7 'aFÆ ' @

b3 NO1T Z Æ ' j ¢

¬º

~¾

5^7§ 6:>?= º = 8 X#pb V?eYB¸ÆS\`^`LNeReYB^TN`^B°T?B^Pq±^X&@±

É°T?S_NO1`p´J¡OQe Z ?epOQT®`p=?IbTNy* <G» < Q»4+>HÇ

Énkv`[\`MKIX`IbP][n1^5 pR ap95 È7Ì|63 3E8 Q 3 4^60> Dº 8 Ç

! ÉnkUNWRB^T®`BSQ(OQL\PYSQ¸`SaT\¨NIX`P"Ì|63 93E8 Q 3 4^60> Dº 8 Ç

# É§ XU`S1T

Z

IPYIbSaT\¸ÆIbT?IbPRIXOQMKIKª^B

Z

ÈfÉCÉ%$

# :

lTmn p 60>ªkº

81

>µÉ

*8?#b®G>YYQb E`SaT Z IbPRIKS1TNW_È ? |º B^¬aB^TPYW=É CS\`^`LNeReYB^TN`^BvT?BP#Q& & XEv8R_%3Ap^\R8p

8 ?Q X Æ ³¡&B^MKM¸ S1LNT Z B Z 8 @f®Æ^¯'%1p^Rp/ ^ "^N8Y«)(aXp§~È Æ `SaT Z IbPRIKS1T\¸Æ5S1e Z B^eYB Z

l$w«x p

6:>kº 8|1 >sÉ `^O1LNWYOQM8T?BP* & X#E5R_%3Ap^\R^5p8NY ?Q <» !< Q#»4+>sÉ

<=?B`SaT Z IbPRIKS1T\¸Æ®Sae Z B^eYB Z eRB;¶L?IbeYB^@_BATaP±IKW±T?S1T?¸ÆW3PYO1T Z OQe Z ?L\P@_BAOQT®WfT?SMKSaWYWfS1y1BAT?B^epOQMKIP][ OQTJ[TNBP@CBABPYIbT?yOQMKM

S1PR=?BAeU`S1T Z IPYIbSaTNWv`Ô1T®BB^cPYB^T Z B Z IbTPRS O_`^S1T Z IbPRIKS1T?¸5S1e Z BêYB Z S1T?Ba\¡vIPY=?S1L?P°`p=NOQT?yaIbTNyIbPYWvS1PR=?BAevV?eYS1V5BêRPRIKBAWA¢

,

/}A - ~» ¿ , ¾

.; º » <=?B S1MKMbS¡vIKT?y_eRBAMKOQPRIKS1TNW`^S1@_V?MKB^@_B^TP IKTµOQTNO1Mb[Jª^IKT?yCS\`^`LNeReYB^TN`^BET?BPpW^¢

<=?B|pJ^1?^ a8YvS1e8eRBAMKOQPRIKS1TIKWY+ : 63 = 8 4^60> Dº 8 {60>ªkº 8<«3 ,u 3 + ¢

² IPY=«#1^N§¯-," : 63 = 3E8 * 3 4+>kº

+ Z B NTNB|YQ5^\R^5^¯nO1W7/. : 60>Dº 8 ³

6hY0 1," 8 ¢

*f °?Q§^¯S1e5Q%3pNË&IXW&PR=?BeYB^MXOPYIbSaT 7g : 6 7/. Y08 ¢

9nT?BESa\PYO1IbTNW&B;O1WRIbMK[_PR=NOQP

IKWvOVNOQeRPRIXOQM8Sae

Z

BAe

Y+Y 7/.N,7OQT Z2

O1eRBW3[J@_@_BPYeRIX`EOQT

Z

IbeYeYB¨NB^cJIK¬1B

%

O_V?eYB¸ÆS\`^`^L?eReYB^T®`B°TNBPy§ IKWvO* &7I f

¢

,

~A}! k 7/.

³

`MKIK¶L?B;W

O1eRBU`AOQMKMbB Z ^\§! Z B^TNSQPRBPY=?B°WRBPS18`^L\PYW±O1W @X 6}§ 8 ¢£À±L?PYW`^S1TNWRIXW]PYIbT?yESaT?Mb[SQ`SaT Z IbPRIKS1TNWOQeYB`AOQMKMbB Z YQ Q§Q%

^\ Z BAT?SQPYBEPR=?BWRBPvS1§ Wv`SaT Z IbPRIKS1T\¸`L?PYWvO1W?@X 9H 6\§ 8 ¢(hÆP°`^S1TPYO1IbTNW3$ #

lTmn p

6¿º > 8

lTmn p 6:> 8 ¢

º54º }76v ¾ +

\~¾

}76&

¿7

}R ·NS1eO T?S Z B$` Z B^TNSQPRBCO1W`8 : Ca< ` +

$ # PY=?B"p^(?

O1T Z O1W`:9 : C5<! ` +

PY=?BEN/SQ`25WRIb@_IKMKO1eRMK[1NPR=?B p^ p\\RvO1T Z p\\RvS1B`³OQeYB9`; : C5< `< +

O1T Z `>= : N0< ` +

¢%BP?` : _` ` +

µ`@n5BnPR=?B_5^/?p\RNA ESQT?S Z BI`'¢£·NS1e($OCWRBPSQTNS Z BAW&SQ

§« ( : JH¡AO!¢ ` N`^O1MbM5%ZXZYPYh6}( 8: ( 6\(kº 8

PY=?B|p Q§Q%3p1^R ES1e#p?^\\\SQ(µ¢

k 8R,@A("SQy§ 6:>?=~º?= 8 IKWCOQTJ[«W3B^P_`^S1T Z IPYIbSaT\¸5S1e Z BAeRB Z WRBPB 1 60> º 8 PY=NOP_`S1TPpOQIKTNW$ # O1T Z IXW

pJ^Q¯^b 6vhÆ 3 41BuNPY=?B^T 3 8 1 Bu¢U<=?BCW3L??¸S\`^`^L?eYeRBATN`BT?B^P§^B WRVNO1T?T?B Z J[V?eYB ?c2B¡vIbMKMO1MKWRS 5B

`AOQMKMbB Z OV?eYB ?c¢U<=?BCW3B^P°SQfV?eYB NcJB;WvSQ§+IXW Z B^T?S1PRB Z1C 'ED¢°kYQ @Q\RQ§Q IXW°O `^S1T\¨NIX`PR¸§ eYB^B#V?eRB<?c1F 5I¢Ba¢

WRLN`p=PR=®OP a6GF {1F 8 ¢)°BAT?SQPYBPR=?BW3B^PUSQf`SaT'Ny1LNeYOQPRIKS1TNW&SQ§ O1W#@H. 6}§ 8 ¢ 2f¬aB^eY["`^S1T'NyaL?epOPRIKS1TIXWUO

`^MbIX¶L?BSQ(PR=NB`S1@_VNOQPRIK?IKMbIbP][|eYB^MXOPYIbSaT 7g'NPR=?B@OQcJIK@OQM'`^MbIX¶L?BAWUSQ 7¿g O1eRBPY=?B@Oc\IK@_O1M`SaT'Ny1LNeYOQPRIKS1TNWA\`^OQMKMKB Z

\NSQB§«¢(²³B Z B^T?S1PRBPR=?BWRBPUS1eYL?TNWvS1§+O1WJI6\§ 8 ¢