Probabilistic Cluster Unfoldings for Petri Nets

(1)

HAL Id: inria-00072162

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

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-4426, INRIA.

2002. �inria-00072162�

(2)

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

Avril 2002

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

oUOQVNVpSae3P Z BeYBA`q=?BAeY`q=NBrT#sQDaDtmQuvFwk'xJeYIbM'm1y1yamFzm1{#VNO1|1B;W

}~A^?11 <=?IKWOQeRPRIX`MKBIKTaPYeRS Z Lp`BAW"OV?eYS1NO1?IKMbIXW]PYIK`L?T\S1MZ IKT?|WRB^@OQTtPYIK`AWS1eL?TtPRIK@CB Z d(BPYeRIT?BPqW^S

W3PReYLN`PYL?eqOQMS1eWYOB^P][lO1WYWRL?@_V\PRIKS1TNWO1eRB_@O Z B1_BWR=?SPR=NOQP"J ¡C^^¢_£Q¤N¦¥§IKWO1T¨O Z BA©tLNOQPRBCeqOQ@_B^&S1eYª

Sae«PY=?B`SaTNW]PYeRLp`PRIKS1TSQ'V?eYS1pOQ?IKMbIbP][_@_BAO1WRL?eYBAW¬S1e`SaTN`LNeReYB^TtP«eYL?TNWA<=?BL?T\S1MZ IKT?|_W3BA@_O1TtPRIX`^W&IKW`^S1TNW3PReYLN`PYB Z

J[_MbS\ÀOQMN`q=?SaIK`^BAW¬S1TBAOa`q=`MKLNW3PRBê;®aO1T Z O Z IKW3PReYIbNL\PRB Z WR`q=NB Z L?MKIKT?|@_BA`q=NO1T?IKWR@°¯R^J±^¡¤8³²OQL?PR=?SaeRIK´ÎKT?|`MKLNW3PRBAe

Oa`PRIKS1TpW^<=?BV?eRSaNOQNIbMKIµP][@_B;O1WRL?eRB;WfSae&PR=?B`q=?SaIK`^BSQ(W]PYB^VIbTO_`MKLNW]PYB^eOQeYBSa\PYO1IbTNB Z J[`^S1TNW3PReYLN`PRIKT?|¶jO1eRªaSx

·IKB^MZ W¬SaT_PR=?Bn`S1T?¸NIK`P¬|1eqOQVN=CS18PReqOQTNWRIµPYIbSaTNWA®QeYS1@¹W3L?IbPYO1?MKBniIbNNW¬V5SQPYB^TtPRIXOQMXWA¨BIKTtPReYS Z LN`BUO1T Z `q=NOQeqO1`PRBAeRIK´^B

W3PRSaV?V?IKT?|CPRIK@CB;WS1ePY=?BAWRB@_S

Z

B^MXW^®?O1T

Z

O_W]PYeRSaT?|CjlOQeYª1SxV?eYS1V5B^eRP][1

º»t¼8½R¾¶¿ À1 d¬eRSaNOQ?IKMKIKW3PRIX`E@_BPR=NS Z W^®5Á«SaTN`LNeReYB^TN`^[1®\d(BPYeRI'T?BPLNT\S1MZ IKT?|aWA®N`MKLNW3PRBAeUW3BA@_O1TtPRIX`^WA® Z IXW]PYeRIK?L\PYB Z

WR[\W]PYB^@W^

ÂXÃÄ3Å±Æ;Ç&ÄÈÉXÅ±ÊÌËÍ

Î«ÏÐ'Ï§ÑAÒ(ÓYÏÔÐÏ³Ò«Õ1Ö×qØÙ/Ú;Û'Ü;ÝfÞ8ÝR×qÚ;ßáàáÝ3ÚaÕQâãäqåæÐ'Ý]ç/ç;Ý3Û'è]Ý]Ü/Ý éaÕQêëÌ×qç/è]ÝìÑAÚ/Ù;Ù1íëîÌÝ3ÜïðñNò8ñaó_îÌô/ë§íÚ/õôEîÌô/Ýö«÷Nø8ù\÷Ù/ë§íqú§Ý3è î

Unité de recherche INRIA Rennes

(5)

Á«BPOQeRPRIX`MKBIKTtPReYS Z L?IbP&L?TNBEW^@O1TaPYIK©tL?BnV?eYS1NO1?IbMKIXW]PYBV5S1L?e&MbB;WoAWRBAO1L\c Z Bnd^PReYI5TNS1TPYB^@_V5S1eYIKWAWA

kLN`LNT?Bn=J[JV5SQPR=N>AWRBTBAW3P&B^c\Ib|^Bn`^S1TN`^B^eYTNOQTtP&MKO¶W]PYeRLN`PRL?eYBSaLMXO#W?eYBPaUS1LpW Z ^@_S1TtPReYS1TpW¬©tL?BMKO^¢£¤N¦¥ ^N

!

^J±^¡q

Z

SaT?T?B_L?T`^O

Z

eYB_O

Z

OQV?P#"MKO`^S1TNW3PReYLN`PYIbSaT

Z

B@_B;W3L?eYBAW

Z

BV?eRSaNOQNIbMKIµP$_VpSaL?eMbB;WEBc%A`^L\PRIKS1TpWEB^T

VpOQeqOQMKMb>AMbBa'&B

Z

^V?MKIKO1|1BB;W]PE`SaTNW]PYeRLNIµP("VNOQeRPRIKe

Z

BAW`q=?S1IbcMKS\`Ô1L\cWRL?eE`q=NO1©tL?B¶`MKLNW]PYBê;®5O1IbTpW3I(©tLLNT@)A`Ô1T?IXW3@_B

Z

IKW3PReYIbNL*l¯R^J ¡¤8³²©tL?I

Z

SaT?T?BM+O1L\PRSaeRIXWYOPRIKS1T

Z O1`PRIKS1T*O1L\cv`^MbLpW]PYB^eqW^,&'BAW#@CB;W3LNeRB;W

Z

B"V?eRSaNOQNIbMKIµP$|1SaL%-

xaB^eYTNOQTtPUMKB#`q=?SaIµc Z O1`PYIbSaT Z OQTpWUL?Tl`^MbLpW]PYB^eWRS1TtPSa\PRBATtLNBAWUBATl`SaTNW3PReYL?IKWYOQTtP;®."VNO1e3PYIbe Z BV5SQPRBATtPRIKB^MXW Z BCiIb?pW

O Z OQV?PAWA® Z B;W`q=pOQ@_VNW Z BjOQeYª1SxWRL?eMbBC|1eqOQVN=?B Z B_`^S1T\¸pIµP Z BAWPYeYO1TNWRIµPYIbSaTNW^#dSaL?e`B;WE@CS Z >AMbB;W^®TNS1LNWIKTaPYeRS/-

Z L?IKWRS1TpW Z B;WUPYB^@_VNW Z OQeYe0^PBP Z S1T?TNS1TNWnL?T?BC`^OQeqO1`PAeRIXWROQPRIKS1TV5S1L?e`B^L?c1-±M2"?®5BP Z ^@_S1TtPYeRSaTNWUL?TNB#V?eYS1V?eYIKBP Z B

jlOQeYª1SxCS1eRPRBa

3¿

;

½

/4

d¬eRSaNOQ?IKMKIµP$1®\dOQeqOQMKMb>AMbIXWR@CBa®*56AV?MKIKO1|1BAWA®\W7A@OQTtPRIX©tL?B

Z

B`MKLNW3PRB^eqWA®?W3[\W3PR>^@_B;WeRBAVNOQeRPRIXW^

(6)

&¡q£^¥³¥XÌ¥§¤ Q ¥³¤

¶¶

A ¿ À Q¿

» A » ;

m?OaW3IX` 5nB pT?IµPYIbSaTNW EEEEEEEEEEEEEEE u

m?m `A`L?eYeYB^TN`^BnT?B^PYWA®\dfeYB ?c\BAWA®5Á«SaT!N|1LNeYOQPRIKS1TNWA®tO1T

Z

oL?TNW EEEEEEEE "

m? #T\S1M

Z

IKT?|aWEEEEEEEEEEEEEEEEE $

m?N &eqOQTN`q=NIbT?|CdfeYS\`BAWYWRBAW EEEEEEEEEEEE $

m?Nm Á«=pOQT?|aIbT?|CPY=?B&%IKB^&'«Á«MKLNW3PRB^eG\B^@OQTtPRIX`^W#EEEEEEEEE(Ay

m?D <IKMKBAW EEEEEEEEEEEEEEEEE(;m

)*

¿ 4+§ ¼-, § » 1 » À/.

10

¿ 4§À2

23

N k@#?IK|1LNIµP][IKT<IbMKBAWO1T Z USaT%-5nBPYB^eY@_IbT?IXWR@4&BP]&B^B^TÁ«MKLNW]PYB^eqWrEEEEEE(^D

Nm 5'-±L?T\SaMZ IbT?| EEEEEEEEEEEEEEEE(5

N 5nBAWRIK|1TNW EEEEEEEEEEEEEEEE(Au

ND Á«MKLNW3PRBAeUUBP' 5IXW3PReYIb?L?PRB Z Á«SaTtPReYS1M5S1ePY=?B6#UT\SaMZ IbT?|kMb|aS1eYIµPY=?@ EEEEEE(7"

(869 » ¿

~\~: 4+§AÌ

3¿

À » 4

!;

Dp <=NBd¬eRSaNOQ?IKMKIµP]["G\VNO1`^B EEEEEEEEEEEEE($

Dpm Á«MKLNW3PRBAe@CB;O1WRL?eYBAWrEEEEEEEEEEEEEEE(A{

Dpm? <S1ªaB^ToS1L?PRIKT?| EEEEEEEEEEEEE m!

Dpm?m <eqOQTNWRIµPYIbSaTÁ«SaIbT<SaWYWEEEEEEEEEEEE m1m

Dpm? KKfOQT Z @_S1eYB6<EEEEEEEEEEEEEE m1m

=(>

¿@?1?

23A8

» C

À 3 \7B ¿C

¿D?«» / ¼

@)

5? 5nB pT?IµPYIbSaTOQT Z dfeYS1V5B^eRPRIKBAWSQfGtPYS1V?V?IKT?|<IK@CB;WEEEEEEEEEE mE

5?m jlOQeYª1Sx_dfeYS1V5B^eRP][ EEEEEEEEEEEEEEE mD

5? Á&O1LNWYOQM8h T Z BAVpBAT Z B^Tp`BEEEEEEEEEEEEEE mQu

F ¿

4 ¿

(7)

c

a b

b a

A

C D B C D

A B

·IK|1LNeRB '¬Á&O1LNWRO1MOQT Z W3PRS\`q=NO1W3PRIX`IbT Z B^V5B^T Z B^TN`^B

¶'( "¬

<=?B«O1Ib@7SQ\PY=?IXW'&S1eYªIXWPYSU@OQªaBPR=?B NeqW]P(W]PYB^VNW'PRSOQe Z WOU|aB^T?BAeYO1MPR=NB^S1eY[SQN`SaTN`LNeReYB^TtP'jO1eRªaSxdfeYS\`BAWYWRBAW

IKT?£Q¡Ì¥§£Q³ ¡ ! ¡Y ! Q¥§q£Ì¥³¢^(<=NBSaeRIK|1IKTNO1Mp@_SQPYIbxOQPRIKS1TSae&PR=?IXWOQV?VNeRStO1`q=IXW«PR=?B Z IXOQ|aT?SaWRIKW«SQ Z IXW]PYeRIK?L\PYB Z

WR[\W]PYB^@W¯§WRB^B $?®Q{²J'h TCWRLN`q=_W3[\W3PRBA@_WA®QO1WPY=?B^[¶OQeYB¬SaL?T Z IbT¶PRBAMbB;`S1@_@¶L?T?IX`^OPYIbSaTNWT?BP]&S1eYª\W^®/§O1L?MbPYW(IKMbMJPYeRIK|1|aB^e

O1MKO1eR@W(O1Wf«BAMbM?OaWSQPY=?B^e(§O1L?MµPqWB^MXWRB^=?BAeRBIKT_PR=?BUWR[\W]PYB^@<=NBUW3L?V5B^eYxJIKWRS1eqWIbMKM?PY=?B^T_SaNW3BAeRxaBW]PYeRB;OQ@WSQOQMXOQeY@

BAx1BATaPqWU`Sa@_IbT?|IKTeYS1@ Z I8B^eYB^TtPMKS\`^OPYIbSaTNWA®?IµPY=T?S|1MKS1pOQMPYB^@_VpSaeYO1MS1e Z BAeRIKT?|D'SaT?MK["OQMXOQeY@WeYS1@ PY=?B#WYOQ@_B

WRB^TpW3SaeIbMKM'5BPYSQPYO1MbMK[SaeZ BêYB Z IµPY=eRB;W3V5BA`PUPRS_PY=?B#MKS\`Ô1M]MKS1|aIKÀOQM`^MbS\`qªES1(PR=NOQPnW3BATNWRS1e;fxaB^TtPYWIbT Z I8BêYB^TtP

MKS\`^OQPRIKS1TNW¶OQeYBS1e

Z

BAeRB

Z

S1T?MK[vIµUPY=?B^eYBB^c\IKW3PYWCOªJT?ST`AOQLNWYOQM&`q=NOQIKT*5BP]&B^BAT*PR=NB^@*GJIbTp`BSaT?MK[PY=?B£b£Q¡¢#

O1eRBS1pW3BAeRxOQNMbBa®1PY=?BAWRB`^OQLpWRO1MbIbPRIKBAWOQeYBT?SQP

Z

IKeRB;`PRMK[SaNW3BAeRxO1?MbBn?L\PO1eRBVNOQeRPSQ'PY=?BE@_S

Z

B^MLNWRB

Z

S1e

Z

IXOQ|aT?SaWRIKWA

<=NB Z IXOQ|1TNSaWRIKWPqO1WRª"IXWPRS Z B Z LN`^BPR=NB#MKIbªaB^MK[`AOQLNWRBAWS1PR=?BCOQMXOQeY@W^®\PY=NOPIKWA®pPR=?B £\ÌJ'&|aIbxaB^TOVpOQeRPRIXOQM'SaeZ B^e

VpOP3PYB^eYT#S1pOQMXOQeY@W^®Q`^S1TNW3PReYLN`PPR=NBD/q¥^b^q^¤5£¡¥®1I¦Ba'PY=?BVNOQeRPRIXOQMJS1e Z BAeVNOQP3PYB^eYTNWSQ?§O1L?MµPqW]£fPY=NOPeYBAWRVpB;`P

PY=?BªJT?ST`^O1LNWRO1MbIbPRIKBAWIKTPR=NBW3[\W3PRB^@®5OQT Z nPR=NOQPBc\V?MXOQIKTPR=?BSaNWRB^eYx/OQPRIKS1TNWA®\I¦Ba¬=?StW3BOa`PRLpOQMS\`^`^L?eYeRBATN`B

&S1LNMZ =NO/x1BPReYIb|a|1BêYB Z PY=?BEVNOPRPRBAeRT"SQO1MKO1eR@W«eRB;`BÎKx1B Z PR=?BAT®NT Z PR=NB¶¢ /¬µ¥1ÊOQ@_S1T?|#PR=?B;W3BVNO1e3PYIKO1M5Sae Z Bê

WY`BATNOQeYIKSaWfS1§OQL?MbPYWAf<=?B@_BAO1WRL?eYBUSae¬PY=?IKW&MKIbªaB^MKIb=NStS Z =pO1W«PRS¶pBE|1IKx1BATJ[OQT"O#V?eYIbSaeRI5V?eYS1NO1?IbMKIbP][C@_B;O1WRL?eRBnS1T

PY=?B Z I5BAeRBATtPV5SaWYWRIb?MKB?£Q¡Ì¥§£Q³ Q¡ ! ^¡R ! ¡\¤?

<=?B_èYLNÌXOQMVpSaIbTtPIXWPY=NOPET?BAIµPY=?BêPR=NB 1 Y£QÌ¥³¢nT?S1ePY=?B 1 Y£Q±£Q±nS1fPR=?B_WR[JW3PRBA@OQeYB¶O/xOQIKMXOQ?MKB PY=?B

PYB^@_V5S1eqOQMW]PYS\`q=NO1W3PRIX`#VNeRS\`B;WRWRBAWnPYeRB;OPRB Z IKTlPY=?BMKIµPYBêqOPRLNeRBC|1BAT?BêqOQMKMb[eYBA©tL?IKeRBC5SQPR='_<=NIKWEIXWnPR=?BÀO1WRBCO1MKWRSSae

@_S Z BAMKW Z BAWRIb|aT?B Z PYSeRB^¸NBA`P«`SaTN`LNeReYB^TN`^[#OQT Z T?S1T%- Z B^PRB^eY@_IbTNIKWR@®aWRLN`q=O1WU^¤5^¡R£¥ ; ! !pA"?£Ì¥§ ^¦¡¥$##^Ì

¯§B1|N %²®&p A"?£q¦¥§('\¡Y£¤?¥³¦¥¤)/ ¢¶¯Z B#kMµ§O1eRS 5\®pu*²O1T Z 5¡ q£^¥³¥XÌ¥§"£\¢£ £¯§oUO1?IKT+ * GJBA|aO1MKO

5\® 1u?® ",³²®aB^PY`1.-l£Q¡/10 ! q^¥Xq¥Q¤25¡ ;qq^q®\WRB^B3 *¦®JOQeYIKWRBeYS1@ PR=?BOaW3[JTN`q=NeRSaT?S1LNW(VpOQeqOQMKMbBAMN`Sa@CV5SaWRIbPRIKS1T_SQ

¯Z IXWR`^eRB^PRBEPRIK@_B;²jlOQeYª1Sx`q=NO1IbTNWA®?[JIKB^MZ IbTN|OQ|aO1IbTO_V?eYS\`B;WRWIbPR=|aMbSaNOQMW3PYOQPRBOQT Z PRIK@CBa&<=NBMbS\`^O1MPReqOQTpW3IbPRIKS1T

VNeRSaNOQ?IKMKIµPYIbB;WOQeYB_`q=NSaWRB^TlTNS1T%-Z BPYB^eY@_IbT?IXW3PRIX`^OQMKMK[1®Oa`^`^S1e Z IbTN|PYSW3Sa@CB!D¥§4_PR=pOP@O/[5BeYO1T Z S1@_IK´^B Z IKTvIµPqW

PYL?eYTU<=?B#@_S Z BAM'&B Z BAx1B^MKS1V=?BAeRBa®pIXWO ! ¥XÌ¡¥^\ ! Q¤5%5'=?S&B^x1BAeA®NS1T?BBATN`SaL?TtPRBAeYWPY=?B¶O1pSxaBW]PYeYOQPRIp`^OQPRIKS1T

OaW&B^MKM+'IbT_§Oa`PA®1PR=?BAeRBIKWfO1T_L?V?V5B^e¬MXO/[1BAe&6#PR=?BU`^MbLpW]PYB^efT?B^P76¶`SaTtPReYS1MXWPR=?BULNT\S1MZ IKT?|#OQMK|1SaeRIbPR=N@S1TCPR=NBUS1eYIb|aIbTpOQM

TNBP98 J[lWRB^MKBA`PRIKT?|"PR=?BVNO1e3PYIKO1M(S1e Z BêESQ&V?eYS1NO1?IbMKIXW]PYIK`C`q=?S1IX`B;W^®O1T Z O"MKS&BêMKO/[aBê;®8PR=NOQPES1:8 IµPqW3BAMµ]®=?BêYB

PY=?BAWRB`q=?S1IX`B;WOQeYBn@O Z B1®NOa`^`^S1e Z IbTN|PRS Z IKW3PReYIbNL\PRIKS1TNW|aIbxaB^TJ[PR=?B`^L?eYeRBATaPMKS\`^OQMW3PYOQPRB;W^

·Ib|aL?eRB W3=?SUWCO¨`S1@_@_S1T d(BPReYIT?BPWRIµPYLNOPYIbSaT®f=?StW3BV?eYS1NO1?IKMbIXW]PYIK`PReYBAOQPR@_B^TtP`^O1LNW3B;W#VNeRSa?MbBA@W;; k

TpOPRLNeYO1MNeqW3P(O1V?V?eYSaO1`q=PRSeYO1T Z S1@_IK´^IKT?|UPY=?BVpStWRWRIK?MbB&5B^=NO/xJIKS1eqWS1T#PR=?BMKB³P=NO1T Z WRIZ B&IXWPRSEO1WYW3IK|1T#V?eRSaNOQNIbMKIµPYIbB;W

<:=>?<A@>?<7B>?<AC

PYSBAO1`q= PYeYO1TNW3IbPRIKS1T

<ED

Z B^T?S1PRBAWPR=?BVNeRSaNOQ?IKMKIµP][PY=NOPFCIKMbMnpBPR=?BT?B^cJPPReqOQTNWRIbPRIKS1T PRS5B

peRB Z ¨<=NB^T&B=pO/x1BPYSeYBA©tL?IKeRBPR=NOQP

<:=GH<A@IGJ<7B!GJ<ACLKNM

O1WYW3L?@_B"IµPY=?S1L\P_MKSaWYW#S1U|1B^TNB^eqOQMKIµP][PR=NOQP

<:=!GO<A@3GO<PBGO<ACRQSM

®OQT Z PY=NOPOQMKM

<:T

WEOQeYBVpStW3IbPRIKx1Ba<=NIKWOQV?VNeRStO1`q=[JIbBAMZ WnOV?eRSaNOQNIbMKIµP]["S1e¶^ N^¤5q

eqOPY=?B^efPR=NO1TS1eEQ¤5^\¡¡R^¤N¡\¤aW'`^S1TNWRIZ B^ePY=?BeYL?TIbPR=VU*O1T ZW ®JI¦Ba'PY=?BB;©tL?IbxO1MbBATN`B`^MKOaWRW¬S1eU¦¡R£aYfS1eY@_B Z

J["PR=?BP]«SIKTtPRBAeRMKBAO/xJIKT?|aWXU W O1T ZYW UnGJIKTN`B5SQPY=l`q=?SaIK`^BAWUO1eRB@O Z B#IKT Z B^V5B^T Z B^TtPRMK[SQfS1TNB#OQT?S1PR=?BAe#¯IKTPY=?B

PYB^eY@_IbT?SaMbSa|1[5B^MKS®PR=NB_P]«SµJq ^¡qnOQeYB_IbT Z B^V5B^T Z BATtPq²®S1T?B_&S1L?MZ =?S1V5BCPR=NOQPPR=?BSae Z BAeESQ.UOQT ZZW Z StB;W

TNSQP@OP3PYB^e'=?S&B^x1BAeA®aPR=NBV?eRSaNOQNIbMKIµP][PR=NOQP.[U OQT Z PY=?B^T W IXW

< =I\ < B

< B G]< C >

^

îÌô/ÝÝ é/×qØÙ;ßáÝàáÛ×qßáÛ¦íÜ/àáÛÌè]Ú/Û¦ÛÌÝ3Ünàáç`_åa³ì

(8)

&¡q£^¥³¥XÌ¥§¤ Q ¥³¤ 5

b c

d b

b

d b c

d

A B

d a

b

B A

B A C

C a

d

b

d b

B

C A

d c

A C B

B B A

A b d

b a

c b a

·IK|1LNeRBm!'<=?BMKIK@CIbPYOQPRIKS1TNWS1PY=?B?eqOQTN`q=NIbT?|CV?eYS\`BAWYWW3BA@OQTtPRIX`^WO1T

Z

PY=?BLNWRBSQV?eRB -±WRB^MKBA`PRIKS1T¨¯§WRB^B $³²

=?BAeRB;O1WA OQT Z PR=NB^TXE|1IKx1BAW

<&= \ <7B

< = G+< @

<=?B©tL?S1PRIKB^TtPSQ¬PY=?BAWRBCP]«SV?eYS1NO1?IKMbIbPRIKBAWIXWEL?TJpSaL?T Z B Z O1T Z `AOQTPYOQªaB£Q¤ ¶VpStW3IbPRIKx1B_xOQMKL?B PR=?IXWE@_S Z B^M(PY=tLpW

T?BAIµPY=?B^eneRB;W3V5BA`PYWA®NT?SaeU@OQªaBAWLNWRBS1]®?PR=NBIbT Z B^V5B^T Z B^TN`^B#SQ(PY=?BP]&S`S1@_V5S1T?BATtPYWA« =?BATMKStSaªJIbT?|_SaeO`]PReYL?MK[

MKS\`ÔQM@_S Z BAM®\«B=NO/xaBPYSC5BÔQeYB1®J=?S&B^xaBê;®aS1T?SaT%-±MbS\`Ô1M8B%8BA`PqWIbTNB^xJIµPqOQ?MKBEIbTd(BPYeRIT?B^PYW'S1T"PR=?BEeYIb|a=tP&=NO1T Z

WRIZ BSQ·IK|1L?eYB 1®?OCV?MXO1`^BIXWO ZNZ B Z ®Qg]S1IKT?IbTN|¶PY=?BEP]&S¶VNO1e3PqW^S®JPR=?B Z BAVpBAT Z BATN`B /IKT Z B^V5B^T Z B^TN`^BSQ O1T Z

Z BAVpBAT Z WSaTPY=?B@OQeYªJIbT?|_S1'IµIXWB^@_V\P][a®\PR=?B Z IKWY`LNWYWRIbSaTO1pSxaBneYB^@OQIKTNWxOQMKIZ SQPY=?B^eYIKWRB1®JPY=?B^eYBIXWOQT

IKT\¸NL?BATN`BnSQ SaT_PR=?BnVpStWRWRIK?IbMKIbPRIKBAW¯ÌOQT Z =?B^TN`^BUV?eYS1NO1?IKMbIbPRIKBAWq²S1e ®\OQT Z xJIX`BUxaB^eqWROD''|aIbxaB^TCPR=?BnS\`^`LNeReYB^TN`^BSQ

®aPY=?BVNeRSaNOQ?IKMKIµP][CSQ IKTN`^eRB;O1WRBAWeYS1@

<<2GR<

PYS

<

(h TPR=?BSQPY=?B^e Z IKeRB;`PRIKS1T'®a|aIbxaB^T_PR=NBS\`^`^L?eReYB^Tp`B

S1 ®5PR=?BCV?eYS1NO1?IbMKIbP][SQrIKWnB^xaB^T

M

¯§SQPRB 'U<=?IXWIXWnOV?eRSaNOQNIbMKIKW3PRIX`xJIKB^rS1T=pOPnIXW`^OQMKMKB Z ¤qJq¥Q¤"IKT

$±

·?Sae@_S Z B^MKIbTN|"`SaTN`LNeReYB^TtPU5B^=NO/xJIKS1e;®5OTpOPRLNeYO1M'eqOQ@_B^&S1eYªIXWn|1IKx1B^TJ[¨\¤ Q! ¥³¤_W3BA@_O1TtPRIX`^WULpW3IKT?|;q\¡

¡R^¤5q ^Ì¡¥f¤8¦¬h TPY=?BMKIµPYB^eqOPRLNeRBa®JPR=?B;W3BO1eRBLNWRLNO1MbMK[`SaTNW3PReYLN`PYB Z LNWRIbT?| ^¡R£Q¤5"J¥³¤ 38¡Aqq&S1MKMbSIKT?| tm[

WRB^BOQMXWRS 7"t®Nm1y\®Nm1m\® 1y±7c?OQ@_V?MKBAW«S1eNeYO1TN`q=?IKT?|#V?eYS\`B;WRWOQeYBEW3=?ST"IbT"PR=NBnP]&SCVNOQeRPYW&SQ(·Ib|aL?eRBm!'(IKTpS1PR=

VNO1e3PqW^®aPR=NBn5B^=NO/xJIKS1e«SQPR=NBnd(BPYeRI5T?B^P&SaTPR=?BnMbB^³P&=pOQT Z WRIZ BIXW&eRBAV?eRB;W3BATtPRB Z J[_OQTOa`[\`MKIX`UT?B^P&SaT_PR=?BeRIK|1=tP &B

IKMbM`S1@_@_B^TtPUSaTPY=?B@_BA`q=NO1T?IKWR@ S1'PR=NIKWU`^S1TNW3PReYLN`PRIKS1TpBAMbS

h TZ $1¦®NOaW&B^MKM'O1W Day±®NVNeRSaNOQ?IKMKIKW3PRIX`L?T\S1M

Z

IKT?|aWS1e6 -±WYOBL?TtPRIK@_B

Z

d(BPYeRITNBPYW«BAeRBEIKTtPReYS

Z

LN`B

Z

pO1WRB

Z

S1T

¡ Q\Ì¥³¤¢q£/\¡R<=?IXW&S1eYª\W(IµPY=CTNS

Z

I`^L?MµP][¶IbTCPY=?BU`SaTaPYBcJPfSQ·?eYB^BÁ«=?SaIK`^BUUB^PYWA®1=?BAeRBOQMKMN`q=?SaIK`^BAW(MKBAO Z -

IKT?|_PRS_?eqOQTp`q=?IbTN|¶5B^=NO/xJIKS1eOQeYBEMbS\ÀOQM8PRSCPY=?BV?MXO1`B;W^·NS1e|1BAT?BêqOQM8T?B^PYWA®?=?S&B^xaBê;®1PY=?BT?B^B Z SaeeRB -¦TNS1eY@_O1MbIK´ÎKT?|

PY=?B¶eYS1L?PRIKT?|V?eYS1pOQ?IKMbIbPRIKBAWUS1eEOQeY?IbPReqOQeY[T?B^PEW3PReYLN`PYL?eYBAWUeYBAWRL?MbPnIKTlIK@_VpSae3PqOQTtPneYBAW3PReYIK`PRIKS1TNWUPRSPR=?B_OQV?VNeRStO1`q=SQ

$*±<SW3BAB_WRS1@_B_SQ&PR=NB Z I`^L?MbPRIKBAWA®`SaTNWRIZ BAeEPR=?BMbB^³P=NOQT Z WRIZ BSQ·IK|1LNeRBm\h±P#W3=?SUWOWR@OQMKMfd(BPReYIfT?B^P

8 OQT Z OV?eYB NcSQ¬IbPYW?eqOQTN`q=NIbT?|"V?eYSJ`^BAWYW^oUS1L?|a=?Mb[WRVpB;OQªJIKT?|N®BAx1B^eY[`L?eYeYB^TtPnSaeL\PYL?eYB¶PYS1ªaB^TIKTlPY=?B_T?BPEIXW

eYB^V?eYBAWRB^TtPYB Z J[OÌKeY`^MbB¶IbTPR=?BC?eqOQTN`q=NIbT?|"V?eYSJ`^BAWYWTNBPA®O1T ZlZ I8BêYB^TtPES1L\PY|1S1IKT?|OQeq`^WneRBAV?eRB;W3BATtPPR=NB Z I8BêYB^TtP

V5SaWYW3IK?IKMbIbPRIKBAWnPYS`^S1TNWRL?@_B#PY=NOPPRSaª1BATUS®?eqOQTp`q=?IbTN|SQ&OQeq`^WnIbTlPR=?B_L?T\SaMZ IbT?|@O/[`S1eYeYBAWRVpSaT Z PRSO1`PRLNO1M

`q=?SaIK`^BAW PY=?IKWIKWPR=?B#ÀO1WRBES1ePY=?B#O1eYÀWMbB;O/xJIbT?|! J®NSaeS1ePY=?B#`q=?SaIK`^BpB^P]«BAB^T(U OQT Z(W W3BAB^TeYS1@#"J$S«BAx1Bê;®

PY=?B^eYB#IXWT?S2R`q=?S1IX`B%ES1"5BP]&B^B^TPR=?B Z I5BAeRBATaP UWA®W3IKTN`^B¶OQMKMSQPR=NSaWRB#eYB^V?eYBAWRB^TtPUPY=?BC`^S1TNWRL?@_@OPYIbSaTSQfPY=?B

WYOQ@_BPYS1ª1BATSQ"JlGJSp®O1WYW3IK|1T?IKT?|V?eYS1pOQ?IKMbIbPRIKBAWPRSPY=?B Z I8BêYB^TtP#?eqOQTp`q=?BAWS1"èYBAOPYBAWPRBA`q=NT?IKÀOQM&O1W&B^MKM&OaW

`^S1TN`^B^V\PYLNOQM Z I`LNMµPYIbB;W^¯h TC§Oa`PA®aPR=NBeRIK|1=tPf=NO1T Z W3IZ BSQ·Ib|aL?eYBmEWR=?SUWO1T_OQP3PYB^@_V\PfPYSW3SaMbxaB«PY=?BAWRBV?eYS1?MKB^@WA®

WRB^BnpBAMbS²vknW«O¶`SaTNW3B;©tL?B^TN`^B1®1PR=?BEOQV?VNeRStO1`q=_eRBA@OQIKTNWfMKIb@_IbPRB Z PRSCW3LN5`^MKOaWRWRBAW¬SQd(BPYeRI5T?BPqW^®tS1L?PYWRIZ BnSQ=?IX`q=

IbPUIKWUT?SQPUOQVNV?MbIX`^O1?MKB1

<=?BV?eYBAWRB^TtPnO1e3PYIK`^MbB¶W3=?SUWPR=NOQPPR=NB Z I`L?MbPRIKBAWOQT Z eYBAW3PReYIX`PRIKS1TpW`^O1TpB¶Sx1BAeY`^S1@_BEIµPY=?B#?eqOQTp`q=?IbTN|V?eRS/-

`^BAWYW¶WRB^@OQTtPYIK`AWIbPR=IbPYW#PRSaª1BAT%-¦SaeRIKB^TtPYB Z xJIbBA IKW¶eRBAV?MXO1`B Z J[vO J ¡ 0A¥§&%*Á«MbLNW3PRBAe¶VNeRS\`B;WRWRBAW«BAeRB peYW3P

(9)

VNeRSaVpStW3B Z IKTO ám ",±<=?B_L?T\SaMZ IKT?|WRB^@OQTtPRIX`^WESa\PYO1IbTNB Z eRSa@ IµPIKMbM=NB^eYBC5BLNWRB Z IbTv`SaTNW3PReYLN`PYIbT?|5SQPR=¨PY=?B

TNBP«LNT\S1MZ IKT?|¶O1T Z PR=?BnV?eYS1NO1?IbMKIbP][¶@_BAOaW3LNeRB;W^(<=?B^eYBUIXWfT?SCW]PYeRLp`PRLNeYO1MNeYBAW3PReYIK`PRIKS1T_S1TPY=?BUSaeR@ SQPY=?BTNBPA®JT?Sae

O1TJ[pSaL?T Z B Z T?BAWYWUOaWRWRL?@_V\PRIKS1T PR=?BO1V?V?eYSaO1`q="OQV?V?MKIKBAWPYS£Q¤ d(BPReYI'BPA

h TCW3PRL Z [JIbT?|PY=?BU`MKLNW3PRBêWRB^@OQTtPYIKÀW(=?BêYB1®&BIbMKMNWRB^B&pBAMbSPR=NOQP¬`MKLNW]PYBê(L?T\SaMZ IbT?|tW(T?B^B Z PYSEpBU`^S1TNW3PReYLN`PYB Z

LNT Z BêWRS1@_B_`S1TtPYeRSaMbMKIbTN|V5S1MKIK`^[1®=?IX`q=lIKMKMpB_|1IKx1BATlJ[PR=NB^J ¡C¤5ÎbTtPYeRS Z LN`^B Z pBAMbS#<=NB_WRB^@O1TaPYIKÀW

PY=?B^TMbB;O Z WIKTO"TNOPYL?eqOQM&O/[PRSO"V?eRSaNOQNIbMKIKW3PRIX`@_S Z BAMS1TPY=?BW3VNOa`B¶SQ«`^S1TN`^L?eReYB^TtPeRL?TpW^®IbPR=¨OxOQeYIKBP][SQ

V5SaWYWRIb?IKMKIµPYIbB;WSaeeqOQT Z S1@_IK´ÎKT?|UMKSJÀOQMKMb[IKTNWRIZ B¬PY=?B&`^MbLpW]PYBêqW Sae'PY=?IXW^®Q&B¬IKMKM\V?eRB;W3BATtP'P]&SBc?O1@CVNMbB;W'S1¥«^!

`^S1TNW3PReYLN`PRIKS1TNWPY=NOP[JIbBAMZ V?eYS1pOQ?IKMbIbPRIKBAWeRB^¸NBA`PRIKT?|d(BPYeRIT?BP Z [JTNOQ@_IX`^WUO1T Z MKS\`^OQMKIbP][1<=?B6pTNOQM`S1TtPYeRIK?L\PYIbSaTNW

=NB^eYBUIbMKMpPR=?BATpBnPR=NBIKTaPYeRS Z Lp`PRIKS1TO1T Z W3PReYLN`PYL?eqOQMp`q=pOQeqO1`PYB^eYIb´;OPYIbSaT¶S1f1¥§q£5 8¥³¤ ¦¥³¢®JOQT Z PY=?BVNeRSJSQ

S1O_W3PReYS1T?|jO1eRªaSxCd¬eRSaVpBAe3P][a

<=?BVNO1VpBAeUIXWS1eY|aO1T?IbÁB Z O1WSaMbMKSUWA«GJBA`PRIKS1TlmCeYB^xJIKBÛWNOaW3IXÈT?S1PYOPYIbSaTNWOQT ZZ B NTNIµPYIbSaTNW IbTlG\BA`PYIbSaT ?®N&B

Z IKWY`LNWYWfO1T Z_Z B^xaB^MKS1VCdB^PReYINT?B^PfL?T\SaMZ IKT?|tWL?T Z BAe«`^MbLNW3PRBAe¬WRB^@OQTtPRIX`^WA<=NB Z IXW]PYeRIK?L\PYB Z TNOPYL?eYBSQ8PR=?BLNT\S1MZ IKT?|

O1Mb|aS1eYIµPY=?@$MKBAO Z WULpWPRSIbTtPReYS Z LN`^B#OQTO1L\c\IbMKIKO1eR[`SaTNW]PYeRLp`PRIKS1T'®?PR=NB"µJq ^¡¤5^ IbPnIKMbMWR`q=?B Z L?MKB1®peRSa@$PY=?BPYS1V

MXO/[1BAeA®?PR=?B¶S1e Z BêUS1IbTNWRV5BA`PYIbSaT¯Dµ¥§%^²SQPY=?B#`MKLNW3PRBAeYWIbTPY=?B#MKS&BêMXO/[1BêT?BP;®5O1T Z PR=JLNWUPR=?B¶S1e Z BêIbT=?IX`q=

PY=?SaWRB@OQªaB«PY=?BÎKefMKS\`ÔQMp`q=?S1IX`B;W^kUMKMNV5S1MKIK`ÎbB;W(S1e Z IbeYBA`PRIKT?|PR=?BULNT\S1MZ IKT?|V?eYSJ`^BAWYW`Ô1TC5BUSa\PYO1IbT?B Z O1WfO peRIKT?|

WRBA©tL?BATN`B%_S1PR=NOQP¶xJIbeRPRLpOQM¬TNBP @CSaeRBASx1BAeA®IµP_OQMKMbSUWEPYSlW3PReYLN`PYL?eRBPR=?BWRVNOa`BS1V5S1MKIX`IKBAW¶IµPY=*OV?eYS1NO1?IbMKIbP][

@_B;O1WRL?eRBn`S1TpW3IXW]PYB^TtPIµPY=PR=NSaWRBnLNWRB Z S1e&PR=?BMKSJ`AOQM8`q=?S1IX`B;W^(<=?BV?eYS1NO1?IbMKIXW]PYIK`@CS Z BAM8IKW Z BAx1B^MKS1V5B Z IbTGJBA`PRIKS1T

D GJBA`PRIKS1TA5IKTtPReYS Z LN`B;WnW3PRSaV?V?IKT?|PYIb@_BAWO1T Z VNeRSxaBAWPY=?B_W]PYeRSaT?|"jO1eRªaSxdfeYS1V5B^eRP][1®O1T Z GJB;`PYIbSaTu"B^T Z WnPY=?B

VpOQV5B^eIbPR=W3Sa@_BE`^S1@_@_B^TtPYWO1T Z S1L\PYMbSJS1ª\WA

%&'( *) &

¨B5B^|1IKT¨IµPY=vPR=?BNOaW3IX` Z B pT?IµPYIbSaTNWPR=pOPIKMbMf5BLNWRB Z PR=NeRSaL?|1=?SaL\PA! "$# Z B^T?S1PRB;WPR=?BWRBPS1n¤ Q¤ ¤8t£¦¥0

IKTtPRBA|1B^eqWA®pOQT Z " PR=NOQPnS1PR=?B` ¥³Ì¥0IbTtPYB^|1BAeYW &%% IXWPR=?B_W3B^PnS1¯§OQMKM³²IKTaPYB^|aB^eqW^·?S1eOWRBP('® Z B^TNSQPRB#PR=?BCW3B^P

S1@#L?MbPRI-±WRBPqW*),+-'/.0 "!##Sx1BAe1'OaW32546'87 &B^P39;:<'n·NS1e=)>:?2@4A'87®eYIµPYB(9;:B) I)C4D9E71FHG PY=?B

[ Q¡SQ)¹IKWPY=?BWRBP3IKJ

<:<

4L)=7NMLOQP

Q,R

9TSK9*:<);Ua

h±=VXW/'ZY[' IXWONIbTNO1eR[eYB^MXOPYIbSaTSxaB^e'®«MKBP\V]^CMLOQP

Q_R 4Q`

>La 7\S

a

Vb`cUOQT Z V a MLOQP

QdR

`eS

a

Vb`cU J[

B^cJPRB^TpW3IKS1T®Ib1f@W,'®«eRIbPRBV

f MLOQP

Qhg*i=j=k V a

·NS1eO?IKTNO1eR[eYB^MXOPYIbSaTHVlW,'mY&'® Z B^T?S1PRBO1WCVonPY=?B

eYB¸pBc\IbxaBEPReqOQTNWRIbPRIKx1B`MKSaWRL?eYBSQV OQT Z OaWpVNqPY=?B#IKeYeRB^¸NBc\IKx1BVNO1e3P*VNqM OrP

Q

Vonts

R

4D9

>

9E71Su9;:?'!U#SQVnUk ^Ì¡¥

¤8&¯IbPR= £Q¡R %¬^¥["\§3²IKWnO_PRL?VNMbB¶SQPR=NBS1eY@S8

Q

4wv

>yx >Lz >

)=7$UBAeRBa®v

Q

v;48{7IXWnOW3B^PSQfV?MXO1`^BAWUO1T Z

x QHx

48{7&O¶W3B^P«SQ'PReqOQTNWRIµPYIbSaTNW&W3LN`q=PR=NOQP|v{}

x Q~

®\OQT Z v[

x

IXWHpT?IµPYBKakW&LNWRLNOQM¦®tPR=?B N|1LNeRB;Wf=?BAeRBW3=?S

VNMKOa`BAWOaW&`^Ibeq`MKBAWO1T Z PYeYO1TNWRIµPYIbSaTNWO1W&eRB;`PqOQT?|aMbB;W^(·?L?eRPR=NB^e;®

z

+-4L4wvlY

x

7?4

x

Y8v*7 7. " # IKW«PY=?B£¡R %¬¥"J

LNTN`PYIbSaT<=?BW3B^P8SQ£¡RnS1:8 IKW|aIbxaB^Tt[[CMLOQP

Qmz

]^ 4 "$7 S1eOT?S Z B*9:H4wv

x

7®WRBP=9;M OrP

Q ]^

9 ®

9 *M OrP

Q 9

®(OQT

Z 9 TM OQP

Q 9

R

9U3!9 "k¹TNBP 8 Q 4Qv

>Lx >yz > ) # 7EW3Lp`q=PY=NOP

z

PYO1ª1BAW(GO1T Z M

O1WIbPYWSaT?MK[

xO1MbL?B;W^®pIKWn`^O1MbMKB

Z

Q¡

!

¥³¤8£¡

«B#IbMKMTNSQPRB#S1e

Z

IbTpOQeY[T?BPqWOaW8

Q

4Qv

>Lx > > ) # 7B¶eRIbPRBT|CO1T

Z

uSaeUPY=?B

@¶L?MbPRI-±WRBPqW|

>

EH:?254

x

7US1¬IbTNV?L\PS1L\PYV?L\PE«BAIb|a=tPYWS1e*t®8I¦Ba|aIbxaB^T®5Sae F:

x

®8t[|4FL7 M OQP

Qz 4F >

u7UO1T Z

4FL7M OQP

Qz 4F >

u7k ¢_£Q¡/¥³¤#S11 IKWEO@#L?MbPRI-±WRBPT)$S1¬V?MXO1`^BAW

Ib1)C4u7

Q

®&B¶WYO/["PR=?BAeRBCOQeYB

,a¤NUS1T

VNMKOa`B= PYS1ªaB^TNWO1eRBWR=?ST"OaW?MKOa`qª Z S1PYWIKT"PY=?B N|aL?eRB;W^)*#(:254wv*7&IXWPR=NB¥³¤N¥³¦¥§£'¢£¡/Q¥³¤ SQ8

<'eqOQTpW3IbPRIKS1TNW«@O/[f¡R«SaT?BnJ[SaT?B1®JSae&IKT@¶L?MbPRI-±WRBPqW O1Tt[_PYeYO1TNWRIµPYIbSaT@#LNMµPYI- W3B^P*+

x

. "8#EIXW`^O1MbMKB Z O 8

5nB^TNSQPRB¶O1W1PR=?B¢ 5 8®pI¦Ba4FL7

Q

G_S1eOQMKM F3:

x

<=NB¶WRBPS1W3PRBAVNWUS1 8zIKW Z B^T?S1PRB Z 48{7kW]PYB^V

¶IXW¶^¤5£^b ! IKTO_@OQeYªtIKT?|\)"® Z BAT?SQPYB Z )

.%®NIB)$=NO1WBAT?S1LN|1="PRS1ªaB^TNWUS1TOQMKMT:!v PYSWROQPRIXW][PR=?B¶W3L?@ SQ

Z B^@OQT Z W&eRSa@XJ®?eYB^|aO1e Z B Z OaWOCx1BA`PRSae&IKT %%T ®p`S1Tp`B^eYT?IKT?| '

)47 ¡ >

u¢

> ¯/²

=NB^eYB¡

\> \

¢+%£% |£ Y %£% |£ . %% IKWPR=?BIKT?T?BAefV?eYS Z LN`PfS1 %£% |£5nB^TNSQPRBPY=?BWRBPfS18W3PRBAVNWB^TpOQ?MKB Z IKTOE@_O1eRªJIKT?|)

OaW¤¦¥ " ¨§©tª-4L)=7NMLOQP

Q,R

*S)

.«U

'`^S1L?eqW3Ba®¬\:$¤¦¥ " ¨§©tª-4L)=7S1e£¤ @O1eRªJIKT?|;)"(GtPYB^VC_Ì¡R£Q¤? ¡¢¶@OQeYªtIKT?|

ÆK®L¯°²±³²´µ®K¶Åc·íëç/Ý îÌÛè3×qçEïQÝàáçt¸ç;àî¦Ýç/Ý îr¹³ßáà»ºÝÛÌîÌë§Ú/è î¦Ú/ë§Ý]ÛRÕ1Û¦Ý]ÝïQÝ]ßáíL¼fì

(10)

&¡q£^¥³¥XÌ¥§¤ Q ¥³¤ "

) IKTtPRS_@OQeYªJIbT?|!)

T ® Z BAT?SQPYB Z )

.)

T

®\IL±¥T)

. ®pOQT Z ±¥³¥nSaeUOQMKMop:;v '

) T 47

Q

)C4u7

¡

>

u¢

G ¡ >

u¢

¯Ìma²

k|aOQIKT®««B"PReYIbxJIXOQMKMb[=pO/x1B?)

. )+S1e£¤@OQeYªJIbT?|«)"k@_O1eRªJIKT?| ) IXW¡Rq£1"?£ b_eRSa@h) # ® Z BAT?SQPYB Z

)*#

n

.)"®?I2'U¯§IX²)

Q

)*#Q®?S1e¯§IbI³²«PR=NB^eYBBc\IKW3PYWO¬¡¥³¤ ^N¤8q)p#

.h)

^

. &

.)

qb^

Q

)"

"» \7B

z 4 a&>

`7¥³¤ ! ¥§q£ #"NC¤N\¢ q¡ ,a¤NE"?£Q&?£Y¶"\¡""?_£Q¡RT4

a&>

`7¶£QU%0¡ NeYIbT?| 5¬¥3`

¥X£¦¡R£¤N¥³Ì¥Q¤

z 4 a&>

`7 1¥0"?¤p\¢ q^¡ _ [1^¤?_"?£n¤5q ! q 8¡R^^¤N ¤

a £Q³ % £pf¡¥³¤ `

£Q¤ ! "?£Q%¥³³:Y¡R^¢ 10/ ! q¡¢

a

%"?£Qc¬¡¥³¤ 9 ¤pÌ¡R£¥X`¥X#£8b£1q_£¤ ! "\J

a

£_¦¡R£¤Nq¥³¦¥¤f"N¡Y

¥X#¤ ¡Y$^\¥³¡R^¢_^¤N ¤C` ¡C£1¬¡¥³¤ a 5&¥ a

f¡R«¥³ ¤p ! N¤ ! Q¤¥³ÌUIbTNV?L\P 5b£aq±¥C£¤ Q¡ ! ¥³¤

#£Q¤ ! 5\Ì"N¥³¤ ! ¥§q£Q± ! ¤N\¢ q¡ ¤8 % ,a^¤? ¤p;` %&"\¥§ " q£Q¤N¤ QE¡RqJ^""?^¢ ' "J¥X£ ¢¶¢¦¡

¡Rq¦¥³¤ "N ! ¥³¡Rq¦¥¤ Ì¥³¢¥³¤¨"? ¦¡¥¤5^ ! ¤5£Q¢¶¥§«bq£ ! JE"Q¤?¥! ^¡¶£Q¡R¥³¤

x

Y;v+£VNO1WYW3IKx1Ba®

£& D/^ ! _"?Oa`PRIKx1B Q¤5¥³¤8v Y x

5¥ F( ^\4C FL7%¬^£*_"N£"¥XVNO1WYW3IKx1B %K¡KnÌ¡R£Q¤?¥³¦¥¤ F

' "J¥X ! ¥XÌ¥³¤8¦¥¤ %¥³³ 8b£*"£Q¤l¥³¢ Q¡±£Q¤N«¡ b¶¥³¤"N\¤ Q! ¥³¤^¢£¤N¦¥§6q^ %

A ["!$##1e%'&(#-$)%*?3,+!$#N %$-/.0!1

GJSa@_BL?eRPR=?BAeUV?eYB^VNO1eYOQPRIKS1TNW5BSaeRB Z B NT?IKT?|;q\¡¡R^¤5q#¤5^§®\PY=?B#WRB^@OQTtPYIK` Z Sa@OQIKTS1eUL?T?S1MZ IbTN|aWA&k7PYL?V?MKB

S1UPR=?eYB^BWRBPYW Q 421

> ¤ >

¬7#IKW_`AOQMKMbB Z O¤8&I31 }B¤

Q~

®¬O1T Z W

421Y«¤7B4 ¤$Y417

h TVpOQeRPRIX`L?MXOQe;®

T> ¤ T> T7IKW¶OW3L?NT?BP#S1 I65 7 1 T

W81®95 +:7 ¤ T

W,¤8®OQT Z 5 +:7

T Q }

421

T

Y&¤

T

7b4L¤

T

Y;1

T7 S1e,<>W@41;¤7®5PR=NB¶WRL??T?B^PnSQ WRVNOQT?TNB Z J[=< IKW Z BAT?SQPYB Z <

neYIµPYB

>²91MLOQP

Q ]^

9

OQT Z 9?>MLOQP

Q 9 W3B^PA@M OQP Q q

OQT Z

KQ

n

f<=?BQ¤&¥§^eRBAMKOQPRIKS1TNW9BCO1T ZED OQeYBn|aIbxaB^TJ[ '

1·?Sae©

^ >

©F:<¤8®\MKBP3©

^ BC ©GFEI©

^IH

Q

H

QH~

m\·?Sae

aE>

`:$418?¤7®?MKBP

a D

^ >

©GF:<¤@'±¥F

^ BC FFa®7±¥³¥F

^

KBa

®pOQT

Z

±¥³¥³¥FF

K

`8

·NS1eKJ W@41¤7®8eYIµPYBILNMPOQ|4RJ(7O1T Z LSUTVQ|4UJ(7US1enPR=?BCW3B^PnS1f@_OQc\Ib@OQM/@_IKT?IK@_O1M'BAMbBA@CBATtPYWnSQJ eAPA@®

eYBAWRVpB;`PYIbxaB^MK[1US®\&BOQeYBneYBAO Z [PYS Z B NT?B '

,»W

¿ YX ¤5^ Q

41

> ¤ >

7¥X#q£³b

!

£V?eYB-±S\`^`^L?eReYB^Tp`BT?BPC¥Zr¥³¬^£QÌ¥XQ«[

\

T?S_NO1`qªJOQe Z ?eqOQTp`q=?IbTN|-+S> S

K M

¡¶£Q³ p:]175

^ nk`[\`MKIX`IbP]["[`_¥³";a@Nb ^ £¥³¤5 ! q¡ ¢ ¨£#£ *0cd4

a @ a 7 ¡¶£Q³

a

:<4218$¤75

e nkUNWRB^Tp`BSQ(OQL\PYS - `SaT\¸NIX`P[f4

a D a 7 ¡¶£Q³

a

:<4218?¤75

g ¥X`^S1T Z IµPYIbSaT%-¦IKT?IbPRIXOQMKIb´AB Z ¥³Gh #3MLOQP

Q

LSRT Q 41;¤7Wi1

X

¤*S\`A`L?eYeRBATN`BT?B^P Q¡kjml¥X£

8¡R ;q\¡¡Y¤8Y#¤5^¬"?£Qf¥³¤v£ !! ¥³¦¥¤&¥X

\ «BAMbM-¦S1L?T Z B Z f¥³Gn"N¡RCon1¥XÌ¤ ¥³¤tf¤N¥³ ^N@ ! q^¡Rq£/¥³¤ ^$^N^¤5qc

^ n`SaT

Z

IbPRIKS1T%-±pSae

Z

B^eYB

Z

[pLMqOQ4218$¤7Wr1

X

`^OQLpWRO1M5TNBP Q¡,spl7¥X#£ 8¡R& Aq^\¡¡R¤8q¤5^«qN""?£QS q>¨S

K M

¡C£³ p:;1

<=?BV?MXO1`^B-±pSae Z BAeRB Z eYBA©tL?IKeRBA@_B^TtPIKWTNS1T%- W]PqOQT Z OQe Z ?L\Pn@CB;OQTNWUT?SMbStWRWS1|aB^T?BAeYO1MbIbP][ OQTJ[T?B^PU@_B^BPYIbTN|OQMKM

IKTtPRSOCV?MKOa`B -¦5S1e

Z

B^eYB

Z

S1T?Ba®\IµPY=?S1L?P`q=NOQT?|aIbTN|¶IbPYWS1PR=?BAeV?eYS1V5B^eRPRIKBAWA

<=?BSaMbMKSIKT?|leYB^MXOPYIbSaTNW¶O1eRBLNW3B^L?MIbT OQTNO1Mb[J´AIbT?|S\`^`LNeReYB^TN`^BT?B^PYWA*<=?B`AOQLNWYOQM

Z

B^V5B^T

Z

B^TN`^B"eYB^MXOPYIbSaT*IXW

§B M OrP

Q

@«t@]^ IµPY=PR=?BIZ BATtPRIbP][¨eYB^MXOPYIbSaTtBª MLOQP

Q R 4 a&> a

78+

a

:61\[¤¦Ut® Z B NTNBB^MKB^@_B^TtPqOQeY[¨`^S1TN`^L?eReYB^Tp`[OaW

Cu M OQP

Q

421;?¤7 F

4§BK D =Bª¨7^ nT?B_Sa\PYO1IbTNWBAO1WRIKMb[PY=NOPk5:7 @ IKWOVpOQeRPRIXOQMS1e Z BAe 57 §Bb®Cvup®dBCO1T ZwD OQeYB

WR[J@C@_B^PReYIK`O1T Z IbeYeRB^¸NBc\IKx1B 5 +:7 OCV?eRB -¦S\`A`L?eYeRBATN`BT?B^P *IXWUOxsplI D

Q~

·?S1eUOC?IKTNO1eR["eRBAMKOQPRIKS1T?V«® Z BAT?SQPYB