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�
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
,'-/.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`^BAW 5RaYaXpl^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=NB N^¯¢<=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Ó§æÑÿ
} À±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`AOQL\cWRL?e`p=NOa¶L?Bf`MKLNW3PRB^e&¦WRS1LNW3¸Æe;W3B;OQL B^eY@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/MXO N#"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^¢
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
'( "
local time
3
s5 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`A`L?eYeYIbT?yµMKS\`^O1MbMK[lIKT¤PR=NB|T?B^P]¡±SaeR´³¡vIbMKMfPYeRIKy1yaB^e#O1MKO1eR@W
OaW#¡&B^MKMvO1WSQPY=?B^eOQL?MbPYWCBAMKWRB^¡v=?BAeRB"IbT¥PR=?BWR[JW3PRBA@¢¥GJL?V?V5SaWRB|PY=?BMbS\`^O1M&WRB^T®W3SaeYWCW3BAT Z PY=?B^IKeOQMXOQeY@ @_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^eYB Z ¡vIbPR=³eRB;W3V5BA`P°PRS|PR=?BCMKSJ`AOQM]MKS1yaIK`AOQM'`^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^eY¬/O1?MKB1¢ 2f¬aB^TPYWIKT Z I8B^eYB^TPMbS\`^OQPRIKS1TNWOQeYBCS1e Z B^eYB Z SaT?MK[µI±PR=?BAeRBCBc\IXW]PpWO"´JT?S¡vT³`AOQLNWYOQM(`p=NO1IbT³®B^P]¡±BAB^T
PY=?B^@\PY=?BAWRB`^O1LNWRO1M8MbIKT?´\WvOQeYBnIKT Z IX`^OQPRB Z J[|O1eReYS¡UWSaT|PY=?BEeRIKy1=Pv=NO1T Z WRIZ BESQ·IKy1L?eYB 1¢£<=?BEVNO1e3PYIKO1MS1e Z B^e&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£`IKeY`^MbB;W(¡vIPY=_MKO1®BAM 3·¢1·NO1L?MbPYWfO1T Z O1MKO1eR@W(V?eYS1V®OQyaOQPRB±PR=?eYS1LNy1=PR=?BUWR[\W]PYB^@1I¢Ba¢OMKS\`^OQM?OQL?MbPQOQMXOQeY@PReYIbyay1B^epW
S1PR=?BAeUO1L?MPpWUSaenOQMXOQeY@WvMKSJ`AOQMKMb[S1enIbTlSQPR=NB^eUVNO1e3PpWUS1£PR=?BCW3[\W3PRB^@¢ $°S¡®SaT?Mb["PR=NBOQMXOQeY@WUOQeYBSaNW3BAeR¬O1?MbB ?PY=?B
Oa`PYLNOQM(`^O1LNWROQPRIKS1TNW`^O1TlT?S1P®BCS1NWRB^eY¬1B Z 8=?S¡&B^¬1BAeA®PR=NB_WR[\W]PYB^@ @_S Z B^M£´JT?S¡vTuPRSPR=?B Z IXOQyaT?SaWRB^e_¦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=?B N/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^eY¬OPYIbSaTNW^JI¢Ba¢£¡v=?SaWRBO1`PRLNO1MSJ`A`L?eYeYB^TN`^Bn¡&S1L?MZ =NO/¬1BPReYIKy1y1BAeRB Z PR=NBVNOPRPRB^eYTSQ(OQMXOQeY@_W&eYBA`^B^IK¬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¤E 88V?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^X 8R;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
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´IKWT?S¡%PRS_y1BAT?B^epOQMKIbªABUPY=?IKW&PYSCPR=?B`^OaW3B¡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\u 5R;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^U5^§a¡vIbMKM®O1MbMKS¡ PRS#W3PRL Z [V5S1MKIK`^IbB;W^¢(kUMKMNV5S1MKIX`IKBAW£ 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
`AOQTl5B_`S1T®W]PYeRLN`PRB Z eRSa@ y1B^TNB^epOQM Z IKW3PReYIbNL\PRIKS1TNWSaTuMbS\`AOQM(`p=?S1IX`B;WnO1T Z V5S1MKIK`^IbB;W^OQT Z V?eYS¬1B#O"W]PYeRSaT?y|juO1eR´aS¬
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
%&'( *) & &
º ~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( + S1z9 1¢
º
~^ º
~;}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!¢ `O1T Z ( :JH¡RO!¢ ` ¢l<OQ´JIKT?yn¡&B^IKy1=PpWIKTPRSO1`A`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"U 8§¯ p 5NI¢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 #
³
,¼S7?I'U¦ I©S S #
?S1e¦IbI©±PR=NB^eYBB^c\IKW3PYWvO @_^ "^N8YyS
#
²=Â
³
,ÃS
@
²NÄ
³ , 2 2)2
²CÅ
³
,ÃSsÆ
@ S¢
"º *\ 5
263 = 8 pQÆ# ?N p# 3aNN ?p\R1/µ ?QRH63 = 8 v/5¯ NeYIbT?yDZ
XE#RQ?§QÈ;63 = Z8 15/n ?n® _p^n nÆ31^?U ?Q£5p _p 5R^®£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\P 8b1pÆ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¬1B1EY a ?^
_ ?nO1`PRIK¬1B"Q5Eµ{kTÇf ®g%\Ì|6¨g 8 ÈB^¯ ?Q?g XV®O1WYW3IK¬1B$ÉK_ÉKÉ CÉ
º ~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& & XEv 8R_%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#E 5R_%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`^O1T®BB^cPYB^T Z B Z IbTPRS O_`^S1T Z IbPRIKS1T?¸5S1e Z B^eYB Z S1T?Ba\¡vIPY=?S1L?P°`p=NOQT?yaIbTNyIbPYWvS1PR=?BAevV?eYS1V5B^eRPRIKBAWA¢
,
/}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/.
³
`^MbIX¶L?B( 1 > S1®`SaT Z IbPRIKS1TNW'IKW(`^O1MbMKB Z O#p«%Æ^¢(<=?B@Oc\IK@OQM8¦ ¡¢eA¢PA¢(W3B^PIKTN`MKLNWRIbSaT®©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=?BE N/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 ¢