HAL Id: inria-00071832
https://hal.inria.fr/inria-00071832
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.
Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets
Stefan Haar
To cite this version:
Stefan Haar. Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets. [Research Report]
RR-4754, INRIA. 2003. �inria-00071832�
ISRN INRIA/RR--4754--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
Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets
Stefan Haar
N˚4754
March 2003
THÈME 4
,-!(-./"01(3245267%8)-:9;)
<=?>A@CBEDGFHBIBEJLK
MONQPSRUTWVUX&Y[Z\R^]_\`bacZ\dAe/T1adAfQacZ\RUZhg`iacZ\dAe
j T"gcklgmaPRnTSgOo1dpRnfQ_qTrlTSg
sutdbvmTagY[wCxWy{z}|
~$`bfQfEdAtca j TWtcTLoNQTtoNQTe^AV[AiVX&y `AtoN|bpA"X7SUf`bpTSg
-SiQAA
MONQTQEmERnd
j
T_\_\ZqeQ`bfQftcd `AoN6¡gcTT¢xW`b]Q£ETtca¤by `bZ\tcTLgcgcTA¥)s§¦$s§y¨©A©pªH`
j
RUZqagH`
¡Rn`br¥¬«Wª®¯_\ZqeTS`bt$RUd j TS_°±dptacNT"acZ\RnT,odAegc]QRnflacZ\dAe¥]Qe j Tt$TL`bt_qZ\TSgCa²tZqe`be j `AZ\³ATe/at`po1TA¥5db°ug`i°±T^M)¯acZ\RnT j
eQTagS´/MONTfQtTSgcTe a"f`bfETt,gCNQdiµg¶aN`ia^acNQZhgamk[fETdb°ORnd j T_·oS`be¢£ETT1r[acTSe j T j ¥ ]gCZ\eQ `Ae¢`AfQfQtdAfQtZh`iacTnf`AtCaZ\`A_
dpt j TStgCTSR`be acZhog]e j TtHo1_\]gmaTt³[Z\Tµ¥)acdZ\eo1_\] j T gCacdloN`pgmaZ\o¸oNdAZho1T¸`be j aZqRnZ\eQ¹}µ·T¸pZq³pTHaNQT `b_\AdptcZqacNRUZho
odAegCact]oaZqdpeHdA°aN`iagcTR`be aZ\oSg`be j dA£Qa`bZ\e`UgcTRnZqºy{`bt»Adi³nfQtdAfETtcamkZqeR^]_¼aZ¼ j Z\RUTSegcZqdpe`b_tTS`A_IacZ\RUTp´
½¸¾ ¿IÀcÁ, iÃ-A gmad[oN5`AgCacZho)M)¯acZ\RnT j eQTagS¥ odAelÄ5Z\o1a·o1_\]gCacTtgS¥bf`btcacZh`b_dAt j TtugcTR`be aZ\oSg¥pRn`br[¯fQ_\]gCº`A_qpT£Qt`Q¥igcTRnZq
y `Atc»pdi³fQtd[oTSggCTLg
ÅhÆ0ÇCȺÉLÊ)ÇË-ÌhȺÍÏÎ1Ð
Ñ"ÒÓ?Ô?ÔbÕÖ×ÏØmÙHÚ1ÛU×ÏÜ?Ø}ÝWÞß àÞ-áWÔ?ÖÏÕâÏØmã®×cäEåæ-ålçéèQê¯ØmØׯÜ?Ø$ê¯ë×ÏØmê)ì1ííîï±ððcñññòhí1ó1ôóõö®÷Iòhøöcù1úQòhûüSðüýüíðSþCý1ÿ1ó
ýóíQò\ì1íc÷?Ù
ì1ííîï±ððcñññò÷øÿlòó1ôSþ ó1ôlòhíC÷0òhûüqÕÖÕÖÏØ-ë\ÕÖ×Ïë¬Õ
Unité de recherche INRIA Rennes
¨`bfQfQtdloNQT j TRnd j _\Z\g`iaZqdpegWf`Ata`pg j TfQZ\PSo1TLg¥³AdpZqt^xW`A]Q£5TStCa1¤iy `AZqtTSggcTA¥s§¦$s§y¨©A©Q¥ ` j RUTa
]eRnd j P_\T¡±R`ir¥«Wªºº_qZ\eQTS`AZqtTfEdA]QtO_h`,odAegcdARnR`iaZqdpe j T¶acTSRnfg¥QgcdA]5g§_h`^fEdA_\ZqacZ! p]T j ]acZ\t`b]HfQ_\]g·a#"baTa·at`po1T
j ¨ ³
eTRnTe a
j
dpeQe
TA¥?f5dp]Qt-_qTLgt
gcTS`A]lr¶M)¯acTSRUfEdAtZhg
gg`b]l°gS´
TufQt
gcTe a-`AtCaZ\o_qTuRndpepatcT$ p]T·o1Tuamk fET
j
T§Rnd
j
P_\T
fET]Qa&%1atcT
acTe
j
]0¥?Te]laZq_\Zhgc`Aepa]QeQT§g
R`be aZ' ]QT j ¨dAt
j
tTéf`btcacZ\T_A`
j
`bfQa
T( ]QZpfQtTe
j
]QeQT§f5TStgcf5TLoaZq³pT
j
T§o1_\]gCacTStgS¥
fEdA]t}Z\eo1_\]QtT,]e oNQdpZ¼r¸T1aW]QeQTUaTRnf5dptcZhg`iacZ\dAe gmad[oN5`AgCacZ! p]TSgS´¶¦$dA]g
j
dpeQeQdAe5g$_h`HodAegCact]o1acZ\dAe{`A_qpdAtZ¼aNQRnZ' ]QT
j TWoT1acacT"g R`be acZ! ]QTA¥lTadA£laTeQdpegO]QeQTftcdpfQtcZ\T1a g RnZqºy{`bt»Adi³[ZqTSeQeQT}Te/acTSRUf5gt T_R,]Q_¼aZj ZqRnTe5gCZ\dAeQTS_Ï´
)  L À +* ~ gcTS`A]lr j Ts T1atcZM)¯acTSRnf5dptcZhg g¥)o1_\]gCacTtgS¥·g R`be acZ! ]QT j ¨dpt j tcT/f`btcacZ\T_¯¥·`A_qpP£QtT/Rn`br[¯fQ_\]gS¥
ftcdlo1TLgcgc]gOg RnZ¼®y `Atc»pdi³ Z\Te5g
% &
+, !/H(§1!"+
w®eHM)¯acZ\RnT
j
eT1agS¥[act`be5gCZqacZ\dAeg)o1dpegc]QRnTacZ\RnTWµNQTe²tcZ\eQ5¹paNQTWo1dAttTSgcf5dpe
j
Z\eQacdp»ATSeg·`AtcT¶o1dpegC]RUT
j
`ba·aNQT
'b('dA°acNQT/T³pTe aS´¢MONQZhg,odAe act`AgCag^µZ¼aN aNQT)A^Q+*,Z\e-®L?Ï."#/$,"Ï0# 1$32µNQTtTaNQT
at`AegCZqacZ\dAe5gO²tT^`i°aTt$` j T_h`?kµNQZhoN¸Z\g$T1rlfEdAeQTSepaZ\`A_q_\k j Z\gCactZq£]lacT j ¡±Z\e-4"I"c+*65L.71$'dpt.4 1$98\b¥I|l¥L©;:º¥
gcdARnT"at`AegcZ¼aZqdpeg$R`?k/£5TUT1rlTSRUfQacT j °±tcdpR acN`ba¶t]Q_\TLª´WMONQTUo1dAeQÄZ\o1a¶£ET1amµ)TTSe{gcT³ATSt`A_0at`AegCZqacZ\dAe5g$o1dpRnf5TacZ\eQ
°±dptaNQTg`bRnT{acdA»pTe gCa`AtCagµNQTSe acNT TSe`b£Q_\Z\eQ adA»ATSeg`AtctZ\³AT `be j Z\g j TLo1Zj T j `iaaNQTRUdpRnTe aHµNQTSe aNQT
²tgCa^o1dARnfET1aZ¼adAt"tTS`poNQTSg}acNTTe j dA°)Zqag^t`Ae j dAR j T_h`?kI¹dpeQ_qk `iaacN5`ia^fEdAZ\e a"Z\gWaNQTadA»ATSeodAegc]QRnT j ´.< Z¼aN
fQtdA£5`b£QZ\_qZqamk"dpeQTA¥peQd¶amµ·d j TS_\`?klg TSe j `iaéacNTgc`ARUTORndARnTSepaL¥pgcd¶acNQT$odAelÄ5Z\o1auZ\gétTSgcdA_\³AT j Z\e j TST j £[k"acNZ\géfEdA_\Zho1k^Z\e
`^fQ]QtT_\kUTrlf5dpeQTe acZh`b_EgCTaCaZqeQ5¹ °±dAt§pTeQTSt`A_qZ>=S`bacZ\dAegS¥bZ\eµNQZhoNgcdARnTat`AegCZqacZ\dAe5g§`btT]Qe aZqRnT j `be j R`?kUTe acTSt·Z\e
`odAelÄ5Z\o1a$eQdba j TSoZj `A£Q_\T"£[kaNQT^t`AoTf5dp_qZho1kp¥tdA]laZqeQdpt?§@'L ¼j T²eQT j{j TSoZ\gcZqdpefQtcdp£`b£Zq_\Z¼amkHRnTS`Agc]QtTSgN5`?³AT
£ETTSeHfQtdAfEdpgcT j ¡gcTTp¥lTA´´\¥A8\A¥Q|:ª1´uMONQT}£ETN5`?³ Z\dA]t)dA°-Y[s§¦}gZhg j TSgo1tZq£ET j £ kH`,odAe acZ\e[]QdA]g§acZ\RnTy `bt»Adi³oN`AZqe
¡B)My)BOª¹aNQTRnTRndAtk[_qTLgcg}fQtdAfETtcamk¸db°·acNQTTr[fEdAeTe acZh`b_ _h`?µ Zhgo1t]o1Zh`b_-°±dAt¶aNQZ\gS´nw®e RndptcTnATSeQTt`b_ gcT1aCaZqepgS¥
µNQTStcTW²5tcZ\eQUacZ\RnTSgR`?kN`?³pTWRUTSRndAtkA¥ldAeT¶µZ\_\_0amk[fQZho`b_\_\keQdba²5e j B)My)B}¨gS´u~`bacNQTStS¥QdpeQT¶actZqTLgOacdnTLgma`b£Q_\Z\gcN
`#' Ec¯?¥Ac"I"?§+*¥ dAt3"U{pOCc"#,i¹[Z¼a)gma`iacTLg¥ Z\el°±dAtR`b_\_qkp¥bacNT$oN`bZ\endb°R`bt»[ZqeQ g Z\g·o1TStCa`bZ\e,ad
tTS`poN0¥QZ\e²eQZqacTaZqRnTA¥E`n²QrlT
j
R`bt»[Zqegma`iacTp¥`ia}µNQZ\oNfEdAZ\e a$ZqeaZqRnTaNQT"fQtdlo1TLgcgOfQtdA£5`b£QZ\_qZhgCacZho`b_\_\ktcTLgma`btcagS´
z}g§`W°±]la]QtT$`bfQf_qZho`bacZ\dAe ¡±edba·oS`bttcZ\T
j
dA]la·NQTtTLª1¥pdpeQT$o`AeUacNQTSe]gcT`btA]QRnTe ag °±tcdpR tTeTµO`b_[acNTdAtk,acddA£Qa`bZ\e
Tr[ZhgCacTe5o1Tdb°m¥lTp´5´q¥Q`pgCk[RnfladbacZho}acNQtdA]ANQfQ]QagS´
w®e-8\V:º¥ acNQZhg,µ)`pg"gma] j Z\T j °±dAt^_\Zq°±TH`be j £5dp]Qe j T jED tTTFB·NdAZho1Ts T1atcZ)eQT1agG0*6HIHEJ/KL$32nµZqacN:fQtcdp£`b£Zq_\Z\gCacZho
c+ Ï('¶`be j `Atc£Z¼at`Atck,²tZqeQ^acZ\RnT j ZhgCactZq£Q]QacZ\dAegS´NM$ ¯O'$RnTS`AeguaN`ia)acdp»ATSeg§ftcd j ]oT j dpegcdARnT$fQ_h`AoTQP `btT
`pgcgcZqpeQT j ¥µZqacN `Aggcd[oZ\`bacT j fQtdA£`A£QZ\_qZqacZ\TSgS¥0ad¸dAeQTdA°·aNQTfEdpgCaC¯act`begcZ¼aZqdpegSRUTVPLW ¡±eQd{tcdp]lacZ\eQZ\g j dAeQTµNTe
X
PLW XZY\[
ª1¹lacNQT¶°±tTT"oNQdpZ\oT}ftcdpf5TStCamknaNQTeTe5gC]QtTSg)aN`ia]R)µZ\_q_£ETTe`A£Q_\T j £ kacN`baacdA»pTe¢¡gcZqe5o1TR j TfETe j gOdAe
eQd¸dAacNQTStfQ_h`Ao1T?ª´wºa"µO`AggcNQdiµg¶aN`ia"_¯´£´ D B)¦ N`?³pTUacNQTn°±dp_q_\diµZqe/ftcdpf5TStCamkC^"Y[]QfQfEdpgcTdAeT,at`AegcZ¼aZqdpe`_^Zhg
oNQd gCTSe `bt£QZqact`btZq_\kA¥Q£]la¶gc]oNacN5`iaa_¶Zhg}eQdba$Z\e{gCact]oa]Qt`b_odAelÄZhoa¶µZ¼aN{`be[kHdbacNTtat`AegcZ¼aZqdpe ¡±Z¯´Tp´acNQT,fQ_h`Ao1TLg
Z\ebW _N5`?³ATc_$`Ag)dAe_qkdp]lacpdAZ\eQ"at`AegCZqacZ\dAeEª´d< NQTe_Zhg]"*\SA,¥[acN5`iaZ\gS¥[fQtT³ATSe acT j °±tcdpR ²tcZ\eQ5¥paNQTe/eQTaOµZ\_\_
`A_qRndpgCagC]tcTS_qkTSepaTt"¡f5d gcgcZq£_qk`b°acTStO²tcZ\eQUR`be[kdbaNQTt)at`AegCZqacZ\dAe5gª)`,Rn`Atc»[Z\eQfe.gZqeµNQZhoNHed,at`AegcZ¼aZqdpeZhg
TSe`b£Q_\T j £Q]Qac_?¥`Ae j N`b_qaS¹`Ae j acNQTStcTZhgdpeQ_qkHdAeQT!ehgµZ¼aNHaNQZhgfQtdAfETtcamkA¥lZ¯´Tp´éacNT"£Q_\d[o»pT j R`bt» Z\eQnZhg]QeQZ! ]QT
pZq³pTe)_?´¶¦diµ¥EZ¼°§acNQT^²tcZ\eQacZ\RUT j ZhgmatcZ\£Q]laZqdpeg$N5`?³ATjiCNQTS`?³[k/TeQdp]QANa`bZ\_\gFk¥5Z¯´Tp´¶`AtcT,gC]oN acN`ba}µZqacN{fEdpgcZqacZ\³AT
fQtdA£5`b£QZ\_qZqamkA¥(_§a`b»pTSgugcdR^]5oNn²tcZ\eQWaZqRnTaN`ia·`A_q_5dbaNQTtuTSe`b£_qT j at`AegcZ¼aZqdpegéN`?³pTO²eQZhgCNQT j acNQTSZqtu²tcZ\eQ gé£5T°±dAtT
_,Zhg j dAeTA¥0aNQTeQTa"Z\g"eQTSoTSggc`AtcZ\_qk¸Z\e¢acNTRn`Atc»[Z\eQlenm
g
dA£la`bZ\eQT j °±tdARoehgW£[kgC]Q£Qact`AoaZqeHaNQTadA»ATSegW£ETZ\eQ
odAegc]QRnT j £[kp_i´·MONQTSe0¥5`baacNQT^RUdpRnTe aj_}²eQZhgCNTSgZqag²tcZ\eQ5¥lacNQT^fQtcdloTSggOtcTLgma`btcagOfQtdA£`A£QZ\_qZhgmaZ\oS`b_\_qk°±tcdpR aNQT
eQTSµ4R`Atc»[Z\eQU`Ae
j
`b_\_0o1_\dlo»[g`baQ´
MONQT^ftcTLgCTSepa¶µ·dptc»/`bZ\Rg}`ba}T1r[aTe
j
Z\eQHacNQT,tcTSATSeQTt`iaZqdpe/ftcdpf5TStCamkHacd/ATSeQTt`b_s-TactZeT1a$adAfEdA_\dApZqTLg´¶¦dbaT
²tgCa¶dA°)`b_\_-acN`ba¶ed j Z\tTSoaWT1r[aTegcZqdpe{dA°uacNQT`AfQfQtdp`AoN¸Z\eV8\V+:uZ\g¶fEdpggCZ\£Q_\TA¥0gcZqeoT^aNQTn»ATSk/tTSgc]Q_qag}°`bZ\_-acd/NQdA_j
dp]lagcZj T$aNQT¶o_\`pgcg§db° D B)¦ ¡dAt·t`bacNQTSt)`,o1Ttca`AZqefQtcdpf5TSt)gc]QfETtgCTa·dA° D B)¦"¥lodAe a`AZqeQZ\eQ^acNQd gCT}eQT1aguaN`iaNim£ETN5`?³AT
_\Zq»pT D B)¦/k¹ugcTT/acNQT j Z\go1]ggcZqdpe:Z\eq8\V:±ª´ w®e°`Ao1aS¥·acNQT¸`AfQfQtdp`AoN:µ·TfQtdAfEdpgcTHNTtTodAR,£QZqeTSgUf`btcacZh`b_Odpt j TSt
gcTR`be aZ\oSg¥ ATSeQTt`b_\_\k{]gcT j ad N`be j _qT/o1dpeo1]QttTeok Zqe:]Qe acZ\RUT j eQTagS¥-µZqacNQ(,?*acZ\RnTA´ w®e¢°`poaL¥éµ·TµZ\_\_
atcTL`iafQN[klgCZho`A_§aZqRnTeQdba`pgU`go`b_h`btL¥é£Q]laR,]Q_qacZq j Z\RnTegcZ\dAe`A_)dp£lvmTSo1aS¥utT1Ä5TSoaZqe{aNQT j Z\gCactZ\£Q]lacT j `Ae j _qdlo`A_
t`iaNQTtWaN`beA_\dA£`A_ e`ia]QtcTndA°·s§¦ TS³AdA_\]laZqdpe0´!< TUacNTtTT1r[acTSe j aNQTHQr p"*`bffQtcd `AoN db°OxW`A]Q£ETtca`Ae j
y `AZqtTSggcT8\L|[¥IS:¯¹lgcTTW`b_hgCdf8|A;:¯´éMONQTStcTp¥[f`btcacZh`b_EdAt j Ttg§`Ae j fN klgcZ\oS`b_5acZ\RnT¶`AtcT}£Qtcdp]QAN a·acdApT1aNQTt)gC]oSo1TLgcgC°±]Q_\_qkp¥
]gcZ\eQ aNQT`be5`b_\dAAk dA£gcTt³AT j £ kls$Z\TeeQdbap8|bV:)dA°NQTS`Af RndAeQdpZj g"µZ¼aNact`AoTRndAeQdpZj gS´¸suZ\TSoTSg/¡±tTSoa`beQp]Q_h`bt
gcdA_\Zj £Q_\dlo»lg¥QdptO²eQZqacT"]eQZqdpegdA° gc]oN5ªO`AtcTgCa`Ao»pT j Zqe/aNQT"dAt j TStdb° d[oSo1]QttTeoTW`Ae j R^]la]`b_ j TfETe j TeoZqTLgdb°
at`AegCZqacZ\dAe5g}Z\egCdpRnTUodAeo]QtctTe aWT1rlTSo]lacZ\dAe¥0AZ\³ATSe{£[k{`Hact`AoTA´,MONTNQTZ\AN aWdb°§aNQTgCa`Ao»¸dp£la`AZqeT j AZ\³ATSg}aNQT
adba`A_IRn`A»ATLgCf`Ae]Qe j Tt)TS`bt_\ZqTLgma)T1rlTSo]lacZ\dAe0´ D dAtO`^e[]QR,£5TSt)dA°`bfQf_qZho`bacZ\dAegS¥[ZqeHf`btcacZho1]Q_h`btvmdA£gcNQdpfg¥[tTSgc]Q_qag·dAe
`pgCk[RnflacdAacZhoUfQtcdpf5TStCaZqTLgW`btT,pZq³pTe{Z\er8q?|[¥éS;:º¹acNQTnfQtdA£`A£QZ\_qZhgmaZ\o,Rnd j T_ °±dptn1*qÏ(',acNQTUact`AoTSg¶Zhg¥0Ndiµ·TS³ATtL¥
eQdAa$y `bt»Adi³[Zh`be0´
D Zqe j ZqeQ ` j T p]5`iacTftcdp£`b£QZ\_\Z¼amk RUTL`Agc]QtTSgW°±dpt"f`btcacZh`b_\_\k{dAt j TStcT j ¥f`At`A_q_\T_§T1rlTSo]lacZ\dAeg^db°]Qe acZ\RnT j s§¦}g^Z\e
*qt'A+*1aZqRnTuZhgaNQT§gc]Q£lvmTSo1a0db°u8¬l¥bIvl¥L|pI:¯´w®e8Q¥S|A;:¯¥?tdA]laZqeQftcdp£`b£QZ\_\Z¼aZqTLg0`btT ]gCT
j
acdpAT1aNQTtµZ¼aNWacNQTjc+E[O'
CcS1¶gcTR`be acZhog}°±tdARo8¬|A|l¥éS;:º¥0ad/dp£la`AZqeRnTS`pgC]QtTSg¶dpe{fQtdAptcTLgcgcZqef`At`A_q_\T_ T1rlTLo1]laZqdpegp0®+ wx'Z c+Ï+Q2i¥
²_qacTStcT j £[k aNQT°`ARUZ\_\k dA°O£t`AeoNQZ\eQ¸fQtT1²QrlTSg^µNQZhoN gCTStc³pTn`pgjimacTSRUfEdAt`b_@kf`bt`bRnT1aTtg´ Z\RnZ¼a`iaZqdpeg"dA°)aNQZhg
`AfQfQtdp`AoN OZ\e£5dAacNdb°§ZqagW³i`btZh`be ag$ j Zj eQdAa`A_q_\diµ'acd/t`be j dpRnZ6=STUodANQTStcTSepa_qk +1#c,UeQTa¶adAfEdA_\dApZqTLg¹IaNQT
Z\e j Z\tcTLoa j TfETe j TeoZqTLg³[Z\`o1dAeQÄZ\o1ag}`be j fQtdAptcTLgcgOdA°éacZ\RnT,o1tTS`bacT j gcZqac]`bacZ\dAeg$µNQTtT"tTeQdptcR`b_\Z>=S`iaZqdpe°`AZq_\T j ´
w®el8\ v;:º¥Qµ)T}ad[dA»`¸·"*[®"º®o1TSe acTtT j `bfQftcd `AoNaN`ia_\Z¼°aT j acNTSgcTtcTLgmatcZhoaZqdpeg¹[Z\Rnf5dptCa`be a`Agcf5TLoagOµZ\_\_
£ET j Z\go1]ggcT j £ET_\diµ¥E`pgaNQT,`AfQfQtdp`poN/NTtT^t]Qegdpe{`o_q]5gmaTt$³[Z\Tµ`pg$µ)T_\_Ï´j< T,dA£la`bZ\eQT j `gCactdAeQy{`bt»Adi³
ftcdpf5TStCamkZ\e{_\dAAZho`A_aZqRnTnZ\eV8\ v:¡Ï`be `Ae`b_\dApdA]g$fQtdAfETtcamk/ZhgWgCNdiµe{Z\eV8¬;:±ª¥µZqacNtcTLgCfETSo1a}ad/gCacdpfQfQZ\eQaZqRnTLg
aN`iaU`btTf`btcacZho1]Q_h`btftcT²QrlTSgdA°)aNQTfQtdlo1TLgcgeT1a,gCact]oa]QtTA¹ acNTtcTLgC]_¼a^gc]QApTSgCaacN`baS¥ dAe5o1TfQN[klgCZho`A_éacZ\RnTZhg
Z\e actd j ]o1T j ¥`tTpTeQTSt`bacZ\³AT^y{`bt»Adi³/fQtcdloTSgg$o`Ae{£ETndA£la`bZ\eQT j ´"MONZ\g¶Zhg¶` jQj tTSggCT j Zqe acNT,fQtTSgcTe a`btcacZho1_\TA¹Zqa
Z\e actd j ]o1TLg$`eQTµ¥IeQdpel¯£t`AeoNQZ\eQfQtd[oTSgg$gcTR`be aZ\oSgaN`ia¶µ·dptc»lg]e j Tt}acNT,g`bRnT/*[ºL?:`AgU8qIv;:º¥E£]la
Zhg` j `bflaT j acdnacNTWacZ\RUT j °±t`ARUTSµ·dptc»I´
¦dAacTaN`ia¶fQN[k[gcZho`b_acZ\RnT^Zhg$o1dpe acZ\e ]dA]g$NQTtTA¥5kAT1a}Z¼a¶Z\g}eQdba,1j ZqRnTSegCZ\dAe5`b_¯´WTSTf¸at`po»dA°éo_qdlo»gma`iaTSgZ\e
j ZITtTe af`btcagWdA°·aNQTgck[gCacTSR¥0NQTZ\AN a"R`iatcZqr{Zhg`AggCdloZ\`bacT j µZ¼aN¢TS`AoN_\dAAZho`A_égma`iacT ¡tcTSfQtTSgcTe acZ\eQ`HtTS`poNl
`A£Q_\T"R`bt» Z\eQdA°éacNQT,eQT1aª¹0odAeoS`iacTSe`iaZqdpe¸db°ufQtdlo1TLgcgcTSgOaNQTe act`begc_\`bacTLgZ\epad ººR^]_¼aZqfQ_\Zho`iaZqdpe¸db°éaNQT
`pgcgcdlo1Zh`iaT j R`bactZ\oTSgS¥Q`AgOZ\ef< Z\eQ»Adiµgc»[Z18| ¥5|Zvl¥|b©;:º´
MONQT§f5`bfETtZhgdAtp`beZ6=ST j `Ag°±dA_\_qdiµgS´Y[TLoaZqdpe,|OtT³[ZqTSµg0s T1atcZ eQTag-`be j aNQTZ\t j k[e`bRnZhogS¹AY[TSo1acZ\dAe"Z\e actd j ]o1TLg
`WeTµfQtcdloTSggégCTSRn`Ae acZhog °±dptuM)ºMOZ\RnT j eQTag aN`ia·odAegCacZqac]QacTSgudA]Qté²5tgCa§o1dpepatcZ\£Q]laZqdpe0´w®eYlTSoaZqdpenV¥Aµ)TT1rlNQZ\£QZqa
` j ZhgmatcZ\£Q]laT j gcTRnZqºy `Atc»pdi³$fQtdAfETtcamkWgc`bacZhgm²T j £[k¶acNQTYlMOs§¦}gftcdlo1TLgcgcTSg0Zqe actd j ]oT j NQTStcTp¹pY[TLoacZ\dAeUo1dpeo1_\] j TLg
µZqacN¸gcdARnT¶²e`A_tcTSRn`Atc»lgS´
+H-1!"+/
§j TSeQdbaTSgIaNQT·gcT1adb°CEE' ¯?0Zqe acTSATStgS¥L`Ae j aN`iadb°[acNQTéQi¯i0Z\e acTpTtg¹ ZhgaNQT§gcT1adA°ltcTL`b_be[]QR,£5TStgS´
MONT "!#$º"UO' &%')( ZhgaNQT,gcT1a +* ,"-/.10 T ]QZqff5T j µZ¼aN aNQT^dpf5TSt`bacZ\dAeg2E¥IµtZ¼acacTSe43,¥E`Ae j
aNQT"]gc]`A_gc]QR9iQk¥QµtZ¼acacTSe45,´76$TSeQdbaT98;: -/. `Ae j=<< :?>¹QacNTe¸°±dpt$`b_\_@T A%')( ¥BC3D8
Y
8E3D Y
`Ae j F5 << Y << 5G
Y
¢¡gcTTf8¥?I:°±dpt$tT1°±TStcTSeo1T"dpeGHI$º®`b_\ATS£Qt` ª´¦$dbacT^acN`ba J%7'$( Zhg^p"$Q+º LK
Z¯´TA´MN3G
Y
E´ D dAtR`bactZ\oTSg7O T PBQ
%
%7'$(
`Ae j R T % QTS
%7'$(
`Ae j gcoS`b_h`bt7E¥
OU3 R WVYXZ: O2VYX[3 R V\X
LO
R
WVYX/:;OU5
R
WVYXZ: ] S O2V
S 5 R SX
^O/V\X :;F5_ON VYX : 5GO VYXa`
<T
j
TedbacT¶aNQT³ATLoacdptOdb°
j
ZqRnTe5gCZ\dAeb Y XcX
¥Q°±dAtgCdpRnT}²5eQZ¼aT"gCTa
c
¥QµZqacN¸`b_\_Te actZ\TSg)T ]`A_Iacd
<
<
¡Ï`b_\_Te actZqTLg
T ]`b_Iad8ª`pg
<
< P
¡L8
P
ª´
d}¾ fehg ¾ Lai z4ac]Qf_qTdA°-gcT1ag7j Y klnmH$o)Z\goS`b_\_qT j `pEIZ&k1pm Yrq ¥l`Ae j otsvuwkyxmz * Lm;x{kz}|º´
x¶t`bfNQZ\oS`b_\_qkp¥"o8µZq_\_£ET$Z\e j Zho`bacT j £ kai~lkZ\enacNQT$²A]QtTSgS¹Aµ)TgcN`b_\_5`A_\gcdWµtcZqacT!~^Z\enacNQT$acTr aL¥AZq°!@/TJo,´
MONT,TS_qTSRUTSe ag¶db°hk µZq_\_ £5ToS`b_\_qT j A*\A¥aNQdpgcTUdb°[m Q¯¹-`Ag}]gc]`b_¯¥µ·TngcNQdiµfQ_h`AoTSg¶`AgWo1Z\to_qTLg}`Ae j
at`AegcZ¼aZqdpegn`AgntTSoa`beQp_qTLg´1jbm
Y
km mmLocmUZ\g` "I"dA°j Ze km9sk¥eLe m]mzsm¥)`Ae j eeLe
ocm
Y
o1pukmxAmm * Lmm@x km|¯¹I°±dptNs * ¥IaNQT,gc]Q£QeQTa¶dA°hj gcf`beQeT j £[kA Zhg j TeQdAacT j juF|¯´Wz
bO',dA°Mj Z\g¶`R^]_¼aZ¼®gCTae^k~ db°ufQ_h`AoTSgS¹IZ¼°3eP
Yt
¥Eµ·TUgc`?kHacNTtT,`btT
® p"dAe fQ_h`AoTaP-¹
adA»pTeg)`btT¶gcNQdiµe`pg)£Q_\`po» j dbag)ZqeacNQT¶²p]QtcTLg´éz dEIZ\g`^ac]fQ_qTHjn"e 1¥QµNQTStcTj
Y
kl mlo§Zhg
`,²eZ¼aTeQT1aL¥T"ov~ ZhgOacNTc?§1@'?(I E¯¥5`be j e fk;~ Zhg)acNQT5Ï+*bO'A´ D dpt`UeQd j T
!bTk * m9¥QgcT1a W !:o9 ¡u!|º¥¢! W :o£u!|º¥Q`be jW ! W : W ! *, ! 0¤* ! W ´ MONQTSgcT}edba`bacZ\dAeg)o`AtctkUdi³ATt·acdH"Ïédb°
ed j TSg ^éZ¼°
c
sUk * m¥lacNQTSe)W
c
:v¥
(a¦¨§
W)!¥
c
W/:?¥
(¦¨§
!uWi¥E`be j W c
W2: W c * c * c
Wi´·wº°¤ ¨gdAeQ_\k³i`A_q]QTLg
`AtcT>n`be j [
¥[acNQTs T1atcZeQT1aZhgo`A_q_\T j bE+,i´
©H¿ª _epai Mt`AegCZqacZ\dAe5gR`?kUwNOdAeQT^£ kHdAeQTp¥dptZqe¸R,]Q_qacZqºgcT1ag¹5NQdiµ·TS³ATStS¥lµ)TµZq_\_`pgcgc]QRnTµZqacNQdp]la$_\dpggdb°
pTeQTSt`A_qZqamk¸aN`ia,acNQT + º+CE cE,)A'ZcZhg
[
¥aN`ia,Z\gS¥ eQd¸act`be5gCZqacZ\dAeR`?k{£ETZ\e¢acNTfQtdlo1TSggdA°)²5tcZ\eQ
RndptcTnaN`bedpeo1T`ba,`be[kAZ\³ATSe aZqRnTp´ w®e¢°`Ao1aS¥é`be[k + ApteQT1ano`be£ETRnd
j
Zq²T
j
Z\e:gc]oN `¸µO`?k aN`ia"aNQZhg
odAe j Z¼aZqdpe¸Z\g°±]Q_¼²5_q_\T j ^O_\T1a« £5T,»pº£EdA]Qe j T j ¥E`be j aNQTtT^Tr[ZhgCag`tTS`poN`b£_qT"gCa`bacT"dA°« Z\e µNQZhoNact`be5gCZqacZ\dAe`R
Zhg)²tZqeH=¬
aZqRnTSgS´§MONQTSetcTSfQ_\`po1T!R)£ k o1dpfQZ\TSgOdb° ZqagcT_q°m¥QµZ¼aN¸Zj Te acZho`A_fQtcTº`Ae j f5d gmagCTaS¥`Ae j acNQT"g`bRnT
e5`bRnT_\`A£5TS_ R1¹ ad TS`poNo1dAf[k RVC¥-` jQj `¸fQ_h`AoTSP^V$gc]oN¢aN`ia.e P^V
Y [
`be j WtP
V Y PLW
V Y
RVm´¸MONQTSeTS`AoNnRV
N5`Ag`b]Qacdb®o1dpeo1]tctTeok j TptcTSTnA¥`Ae j acNQT"Rnd j Zq²T j eQTah« m0N5`AgOaNQT"gc`ARnT£5TSN`?³[Zqdp]Qt`Ag« mZ¼°éµ)T"o1dA]epadpeQ_\k
aNQTe[]QR^£ETt^db° RV±¯_h`b£ET_\T j at`AegCZqacZ\dAe5g¶²tcZ\eQ `ba^`be[k aZqRnTA¥ `be jj d¸eQdba j ZhgCacZ\eQA]QZhgcN¢acNQTSZqt"Zj TSepaZ¼aZqTLg´®TSeo1Tp¥
°±dpt£5dp]Qe j T j eQT1agZ¼a}RUTL`begOed_qd gcgOdA°-pTeQTSt`A_qZqamkµNQTSe/µ)To1dpegCZj TStdAeQ_\kat`AegCZqacZ\dAe "Ï4s1m*`AgOTSe`b£Q_\T j ¥
fEdpggCZ\£Q_\T"®ºE¹ aNQZ\g·µZ\_q_E£5T}acNT}o`pgCTacNQtdA]QpNQdA]QauacNQT}f`bfETtL´6$TSeQdbaT}`pgWacNQTn"$A#,,®®E¥[ZÏ´TA´
Yrq
´z4gmaTf
rm*Zhg,E "*q^Zqe `R`bt» Z\eQbe'¥ j TeQdAacT j e - ~ ¥5Zwne N`pg$TSeQdA]ANacdp»ATSegdAe `b_\_uPETJk*adgc`bacZhgm°±k/aNQT
gc]QR dA° j TR`be j g)°±tcdpR odAeoTteQZ\eQ]Pd^
PlTkpevP
¦
P Rn ` ¡m?ª
6}TeQdAacT,acNQTngcT1aWdb°§gCacTf5g}TSe`b£_qT
j
Zqe`R`bt»[Zqee `Ag¨Fe /:
, X e
- ~ 0"`
°)o1dA]tgcTA¥fT" eE
°±dpt^ ,}R`bt» Z\eQheG´§Y aTfE#c±1,§R`bt» Z\eQhe Zqe acdUR`bt»[ZqeQfe m ¥ j TeQdAacT j e
- ~ e m¥lZw-0¯2e
- ~ ¥
`Ae j 0¯2}°±dAt`A_q_CPGTk.^
e m P
Y
eP -
¦
PR ! l
¦
P Rn ` ¡Ï|pª
z$p`bZ\e0¥-µ·TnatcZ\³[Z\`A_q_\k{N5`?³ATe "
- ~ e °±dAtH+ ,nR`bt»[ZqeQ e'´z*R`bt» Z\eQle ZhgcpZ*q^°±tcdpRoe ¥ j
TSeQdbaT
j
e $#- ~ eG¥QZwd^¡±Zªje Y e ¥QdAt¡ZqZª)acNTtT¶TrlZ\gCag`awN('&%"Ije ('- ~ e ¡
*)
- ~ ` ` `+-,- ~ e
P. ¡ Y e'´
/0  (0-QS e mÀ e ¾ à d}¾ fe ª¾ /21 d g¸f i D dp_q_\diµZqe{aNQT/acTtRnZqedA_\dAAk¢dA°/6}`?³[Zj `Ae j z$_q_h`r8v:¯¥)`be
YlMOs·¦8Zhg·`ac]QfQ_\T¶db°acNT°±dAtRv«
Y
kl mlne 431¥ µNTtT9kl mHn"e uZhg§`^s-TactZ5eT1aS¥l`Ae j 3 Y 53
¦6 `
³pTSoadAt·db°
.
-³i`b_\]QT j t`Ae j dpR ³i`btZh`b£Q_\TSgS´-z8tcTL`b_\Z6=L`iaZqdpedb°23
AZ\³ATLgéaNQT j ]t`bacZ\dAedA°`W²tZqeQ,Zqe5gma`beoT$db°NR¹pµ)T
`pgcgc]QRnTWacN`baacNQT j ZITtTe atTS`A_qZ>=S`bacZ\dAeg)db°73
`btTZÏ´ZÏ´j ´\¥`b_\RndpgCa$gC]tcTS_qk²5eQZ¼aTA¥E`be j acN5`ia j ]t`bacZ\dAegOdA° j ZwITtTe a
at`AegCZqacZ\dAe5g$`btT"Z\e j TSf5TSe j Te aL´ <T^tT ]QZ\tcTp¥Z\e{M)ÏaZqRnT j eQT1ag¥EaNQT/*¼LwN('p *q^·aN`ia¶Z\gS¥I`act`be5gCZqacZ\dAe R
aN`ia^£ETSodARnTSg"Te`A£Q_qT j TZqacNQTSt0º2^²tTSgZ\RnRnT j Zh`iaT_\k{ZqagcT_q°m¥dptb0¯2n_\d d gCTLgo1dpeo1TLgcgcZqdpe¡ZqRnRnT j Z\`bacT_\kQªW£[k aNQT
²tZ\eQ^dA°`^o1dpRnf5TacZqacdAt·acN5`iao1dAe5gC]QRnTLg§`adA»pTetT ]QZ\tcT j £[kpR´-w®eHeQd,oS`AgcTR`?kRuZj _qT}ZqeacNQT}Te`A£Q_qT j gCa`iaT$°±dpt
`Ae keQdAel=TStcdn`bRndp]Qe aOdA°aZqRnTp´uMONQTe0¥QacNQTW²tZ\eQndb°-`,at`AegCZqacZ\dAelROo1dAe5gCZhgmagOdb°-acNQtTTWfQN5`AgcTSg ^
A´~TRndi³i`b_dA°CiCdA_j k}adA»pTeg)°±tdAR*aNQTZ\eQfQ]lafQ_h`AoTSgS¹
|l´ D ZqtZqe¥0µNQZhoN{R`?k¸a`b»pT^aZqRnTA¥`be jj ]QtZqeHµNQZhoNeQTZqacNQTStWacNQTndp_j eQdAt¶aNQTneQTµ acdA»pTegW`AtcTn`?³i`bZ\_\`A£Q_qTp¹
`be j
Q´OfQtd j ]oaZqdpeHdA°uiCeQTµk¶acdp»ATe5g·dpeaNQTdA]QacfQ]la}fQ_\`po1TLg·dA°R´
¦$dbacT acN`baacNQT¸aZqRnZ\eQ°±tdAR83¢`poagdAeQ_\k:Z\e suN`AgcT{|l¥)aN ]5gZqeQÄ]QTe5o1TSgQ¥O£Q]laHoS`beQedbatTSgcdA_\³ATo1dAeQÄZ\o1ag`ba
gCa`AtCaZqeQWaZqRnT ^ odAe act`btkWacd"acNQTt`AoTOf5dp_qZho1kp¥AaNQTact`be5gCZqacZ\dAeUacZ\RnZqe j d[TSgéedba§gcT_\TSoa§acNQTat`AegcZ¼aZqdpeg acd£ET²tT j ´
z8fQtcdp£`b£Zq_\Z\gCacZhooNQdpZ\oTµZ\_q_5acNQTStcT°±dAtT£5T¶`AggC]RUT j °±dAt·suN`AgcT^p¥AaN`ia)Z\gS¥pacNQT¶gmaTfnacd,£5T$²tT j µZ\_q_E£5T¶oNQdpgcTeZ\e
`AeZ¯´Z¯´j ´-µO`?k¸¡±Z\eH`,gCTSegCT$acN`ba)µZ\_\_5£ET}R` j T}ftcTLo1ZhgCT£ET_\diµ$ª´éMONQT j ]Qt`iaZqdpedb°0s§N`AgcTW|"µZq_\_IdA£ETkgcdARnT$_h`?µ:9
aN`ia¶Z\g$amk[fQZ\oS`b_\_qko1dpe acZ\e ]dA]gS¹5Ndiµ·TS³ATtL¥Qµ)T^µZ\_q_-eQdAa$tcT ]QZqtT^`Ae k/f`AtCaZ\o]Q_\`At°±dAtR db°éZqag j Z\gCactZ\£Q]lacZ\dAe´$wºa}µZ\_\_
£ET^eQTLo1TLgcg`btkadtcTSfQtTSgcTe aacNQTUo1]QttTe a_qdpAZho`A_gma`iaT"db°u`be ¡ÏYQªCMOs§¦eQdAa}£[k/Z¼agR`bt»[ZqeQ`A_qdpeQTA¥5£Q]la¶t`bacNQTSt$`
f`AZqt ; Y
Fev&<
µNQTStcT=<ysEm Z\gacNQT^gcT1a}db° act`begcZqacZ\dAego]QttcTSepa_qk²tZqeQ5¹tTSoS`b_\_acN`ba$µ)T^`AggC]RUT"`A]lacdAºodAeo]QttcTSeo1k j TAtTT [ ´
¦$dbacTWaN`ia
; j d[TLgaEZqe j Z\oS`iacT¶aNQTWacZ\RnTWacN`ba$`,pZq³pTeHact`begcZqacZ\dAe/N`Ag`A_qtTS` j k£5TSTe/²tZqe´
>, -S *Ng ¾ Lai MONQTgcTR`be acZhog j dpR`bZ\e NQTStcTUN`pgW£5TSTeZqe¢]gcT^°±dpt"`_\dAeHaZqRnTnZ\e aNQTo1dpepaT1r[aWdb°j Ï
eQTagS¥gcTT!8:¯¹Qdp]QtOT1r[acTSegcZqdpeadnM)¯acZ\RnT j eQTag)°±dA_\_\diµg)gcZ\RUZ\_h`bt_\ZqeQTLg`Ag·acNdpgcT¶dA° 8\L|[¥S;:`Ae j 8¬|p[¥5|+vl¥|A©;:º´uMONQT
gCact]oa]QtT,tTfQtTSgcTe aZqeQ/`eT1aS¨gW£ETN`?³[Z\dA]Qt¶N`Ag¶ZqagcT_q°§aNQTU°±dAtR db°·`HeQT1aL¥°±tdAR acNTUtTSgCactZhoacT j o_\`pgcg}db°¶+[1+*
I"Ï^
TaCj
Y
/ o}`/eQT1a¡eQdbaeQTLo1TSgg`btZq_\k/²eQZqacTLª1¥µNQTStcTUµ)T,µZ\_q_uoS`b_\_-acNQTTS_qTSRUTSe ag¶db°[4aNQT AbÏ+Q
`Ae j acNQd gCTWdb° acNQT? Ï·dA°¤j¢´
©/¾@?ª e±e ªBA iDC Ej
Y
/ o"h^+**qH^o`A]gc`A_eQT1aUE6·1+Ïhw)GF
HeQd£Qt`beoNZqeQno1dpe j ZqacZ\dAeg XW X ¬ [
C
X W X ¬ [
1+^**]T
H$zo1klo1_\Zho1ZqamkF/ }Z®iE}co ?^ +?)K!G!I§1+^**B!T4 *
H/j ho1dAe j Z¼aZqdpelºZqeQZqacZh`b_\Z>=T j KuH H
: h *{ sG
Hµ·TS_q_q¯°±dA]Qe j T j eQTLgcg(F EIwN5º*, Ac?O' %E,ph§C
H$o1dpe j ZqacZ\dAelº£5dpt j TtT j FMh * sDaH
MONQTno1dAe j Z¼aZqdpelº£5dpt j TStcT j tT ]QZ\tcTSRUTSe a¶Zhg¶eQdAel®gCa`be j `bt j £Q]laRnTS`Aeg¶eQd_qd gcg}db°)ATSeQTt`b_\Z¼amkI¹0`Ae keQTaRUTST1ac
Z\eQ`b_\_·dAacNQTSt^tT ]QZ\tcTSRUTSe ag^oS`be £ET/T1r[acTSe j T j Zqe acd`{odAe j ZqacZ\dAeQ¯£EdAt j TtT j dpeQTA¥éµZqacNQdp]laoN`beQpZqe Z¼ag^dAacNQTSt
ftcdpf5TStCaZqTLg´ D tdAR `Ao1klo_qZho1ZqamkA¥[Zqa°±dA_\_qdiµg)aN`ia4Z\g`nf`AtCaZ\`A_IdAt j TtL¹[acNQTI" "I",c*q+Ï+! "Z\gOpZq³pTe/£ k
!# "£ %$& !('
Y
*) !'U+)!'D! `
> S¨i
z, "
-
o1_\Z! p]T
c
s=*dA°WodAe
j
ZqacZ\dAe5gZ\go`b_\_\T
j ` º"¯´4MONT¸Rn`brlZqR`b_}o1_\Z' ]QTLgdb°- " ¡±µ´tS´aS´GgCTa
Z\eo_q]gcZ\dAe5ª^`btTHo`A_q_\T j " Ϲ j TSeQdbaTaNQT/gcT1aUdb°}o]lagn`pg!./ R10aLjJ1´¢MONT/o]lagUo1dpegCZhgCacZ\eQ{dpeQ_qk¢dA°}o1dpe j ZqacZ\dAegS¥
Z¯´TA´{R`br[Z\R`b_Oo1dAºgcT1ag¥ µZ\_q_)£5To`A_q_\T j +Ai¯C" ϹuaNQT/gcT1aUdb°$odAe j ZqacZ\dAeQºo]lag,Z\g j TSeQdbaT j ./ R1032LjJ1´{w®e
f5`btcacZho1]Q_h`btL¥4 Y
5 {*
Y
6 7§Zhg`no1dpe j ZqacZ\dAel®o1]QaS´ B·]lagµZq_\_0tTfQtTSgcTe aOA_\dA£`A_0gma`iacTLgOdb°acNQTeQTaS´
> Â ª2?7
ile
 ª
}
ª Ã ª
ai D
dAtu`be[k"gcT1a
c
db°EeQd
j
TSg dA°Ij¢¥boS`b_\_98:/4;<;W
c
:
c *
W c p W
aNQT^AbÏ+
+Ac¶dAt^Q ** dA°
c ´ D dAt`UeQd j TF!¥_\T1a$g!=: , X
{¬U! 0h* £ETWacNQT¶?0dA°!¥`be j
>!@? : 84/4;<;W! =
aNQT"AbÏ+ tAc]*qL*I+ w '+ c+Ï+Wdb°B!´ w®e,pTeQTSt`A_Ï¥b`n w '+ ¯Wdb°j Zhgé`be[keQd
j
TgcT1aBA sv
*2
aN`iaOo1dpepa`bZ\egB `Ae j gc]oNacN5`iah!GTCAZqRnfQ_\Z\TSg >!D?zsEA´F)k`b£]gCT$db°acTStcRnZ\eQdA_\dApkA¥AacNQTWgC]£QeQT1a7juA¢|EµZq_\_E`A_\gcd
£ET$oS`b_\_qT j `^o1dAeQ²A]Qt`iaZqdpe0´@6}TedbacTacNQT$gcT1a·db°j¢¨g§o1dAeQ²A]Qt`iaZqdpegé`Ag.G"IH¤Lj&´ wº°JAA muTE.K" LHjJégc]oNUacN`ba
AJsMA mµNQTetTp`At j T j `AggcT1ag¥Qµ)T"g`?kacN5`iaA¸Zhg`,CcwNdA°KAmÏ¥µtZ¼acacTeA!OMA mϹZqa$Zhg»[eQdiµe/acN`bazP.K" LH#IO2
Zhg^`¸odARnfQ_\T1aT_\`baCaZ\oTA´ D dpt^`b_\_u²5eQZ¼aTo1dpel²p]Qt`bacZ\dAegA¥ _qTaQTRAB"£5TacNQTl+ AbO'¢" ·db°A¥Z¯´Tp´acNQTHgCTa^db°
OºR`irlZ\Rn`A_o1dAe j Z¼aZqdpegOdb°GA0´
S¸¾ e7 0I Â9T§¾ ?Q  ?¨i TaVU a * ~ u> . é£5T¶`be[k^R`bffQZqe´ < T}µZq_\_]gcTUacd"tTfQtTSgcTe aé²tZ\eQ j ]Qt`iaZqdpeg
dA°at`AegCZqacZ\dAe5g¥QgcTTW£ET_\diµ´ D dAt7!T * ¥laNQTWUÏQ@'L YX[4
Y
XZ 4Odb°!¸Z\gpZq³pTeHtcTLo1]QtgCZ\³ATS_qk£[kC^
Xh! : U#! @5]
[ ¦ (
X[ Y U#! Hf , X[ X fT W ! 0
µZqacN acNQTUo1dAe[³pTe acZ\dAeAHf
q
7:
<
< Y
>Q´
T1a\AA m£ET"²eQZqacTno1dpel²p]Qt`bacZ\dAegA!O]A mÏ¥`be
j
µtZqacTQl:*T1A `Ae
j
mB:^T1Am¹_\T1ab : X X
`Ae
j
bLmB:
X
Zm
X
´uMONQT,Q@'L /n+_a`4bZm
Y
` 1A#AmT
PBQPdc
%7'$(
ZhgOAZ\³ATe/£[k
`!ef_e
c : gh (
m ¡ ª
°±dpt aTh`be j mLTCZm¯¥QµNQTStcT¶acNTfgCTS] j dA¯RnT1atcZhoagZ\g j T1²eQT j tcTLo1]QtgCZ\³ATS_qk£[k
g[!#n : i
jk 8 =!# "
l+m
¦ [
g[!@on^ =!p
g[I!I =q !
¡±V[ª
w®ef`btcacZho1]Q_h`btL¥AµtZqacTr`-s}°±dAtB` b ¨·`be j `ut^°±dAtB` b AB1´d< T}eQdbaTacN5`iaS¥ Zq°v` ZhguAZ\³ATSe0¥:X{Zhg§TL`AgcZq_\kUdA£la`bZ\eQT j
]5gCZ\eQ¸¡ ª´
¦dAacTUacN`baWacNQT³i`b_\]QT5`!ef_e
c
Zqe j Z\oS`iaTSg¶acNTU_\TebacN¥0]Qe j TStWU0¥db°·acNQT_\dAeQpTSgCa¶f5`iacN_\TS` j ZqeQ/°±tdAR8UadméZ\e
odAel²5A]Qt`iaZqdpewAm´`utn`pg`b£Edi³ATWo`be¸`A_\gcd,£ET"gcTTe`Ag` ºº_\ZqeQTL`btOdAfETt`iadAtI^
XNt
Pdx
%')(
~ P
%7'$(
¡Ïpª
!
zy~
!{t9:^Xt25!
¡ ª
w®e/dA]tgCTaCacZ\eQ5¥! F<< P x ´
b a
p p x
p
A
y
a
B
x
p
b
y
V U
u
B u
V u
A
V
U A
u
U
y
B x
p
z a
b
D Z\A]QtT ^ sutdlo1TSgg/gCTSRn`Ae acZhogH]Qe j TStHaNQTZqe j Zq³[Zj ]`b_WadA»pTe ³[Z\Tµ´ F)T_\diµ acNQTs T1atcZWeQTa/µNQd gCTR`irlZ\Rn`A_
odAeo]QtctTe afQtdlo1TSggcTSgO`btT¶gcNQdiµe`b£Edi³ATp´
> Â ª
pl
¾^ª
l e
ÂBª
i
©/¾@?ª e±e ª
i /j
Y
N $ob{w ®{[*3I"?éw E+*$" Kn+A *q/jbm
Y
/m m$ocm
+[*QI"^r±Q+±Qc h V"¯ #?§-±Q{¯*} m
Cljbm,+AAH IQ¢[+*QE
jjbm
Y
/mm mm$o ?é±
mm : {*{
m
mm : d¨
* m
o mm : o * o m
*&, ¨4
X
¨*3TJo 0
h,**\th±QodAeoS`iaTe`bacZ\dAe:mjm)+AAH
MONQTWfQtdAfETtcamkRndpgCaOtT_\T³i`AepaNQTStcTWZhg)acNQTW°±dp_q_\diµZ\eQ ^
·¾ A i #¯¢mQU"H K ?é{j
m w ®,+A
m
ÏNwNI* KN?§WQ+?*F
`
c Y `
c
5` ` ¡¯Aª
i^c*q¯¢m^Qc+º+é1+**q?é('l0
2 K 0 2h+n1
!
c Y
`
c
5_! Y
`
c
5_!
Y
`
c 5 `_5_! ` ¡v ª
MONQTWfQtd dA°ZhggCact`bZ\AN aC°±dptcµO`bt j °±tcdpR*acNT j T1²eZ¼aZqdpeg´
%'-!()
s§tcdlo1TLgcg$gCTSRn`Ae acZhog°±dpt$s T1atcZeQT1ag}`pgcgcdlo1Zh`iaTA¥lad`AZ\³ATSel«'¥EoS`b]g`b_eQT1agµZqacN R`AfQfQZ\eQpgacN`ba$tcTÄTSo1a$aNQT^`bto
gCact]o1ac]QtT`be
j
aNQTÄ5diµdA°IacdA»pTegS´-w®eo1dAe at`pgmaéad"dbaNQTt·d[oSo1]QttTeoT)eT1a)gcTR`AepaZ\oSg¥AacNQT}dAeQTµ)TµZ\_q_EZ\epatcd
j
]5o1T
£ET_\diµ:µZ\_\_Qo1dAe a`bZ\eUodAe
j
ZqacZ\dAe5gaN`iautTftcTLgCTSepa-acNT
j
]Qt`bacZ\dAeUdb°I`$²5tcZ\eQWdb°IgCdpRUT)at`AegCZqacZ\dAefR1¥A`Ae
j
`AtcT·acNTtT1°±dAtT
edbaR`bfQfET j acd`Ae[kfQ_\`po1TWdb°«'´
F)dbacNxW`b]£5TStCa1¤iy `AZqtTSggCTf8q?|[¥éS:·`be j < Z\eQ»Adiµgc»[Z8¬|p[¥|+vl¥|A©;:§]gcT j R`iactZqr tcTSfQtcTLgCTSe a`iaZqdpe{dA°·s T1atcZéeQTa
ftcdlo1TLgcgcTSg§acdndp£la`AZqe/`Hf®¯tTfQtTSgcTe a`iacZ\dAedA°aZqRnT j £ETN`?³[Z\dAtL´-MONT¶R`AZqe j ZwETStcTSeo1T¶Z\g)aN`iaQ< Z\eQ»pdiµgC»[Z
j d TLgedbaétcT ]QZqtT$¯£EdA]e j T j eQTSgg¹bgCacZ\_\_Ï¥iaNQTOgCTSRn`Ae acZhogZqeUNQZhg-`AfQfQtdp`poNZ\gacNTOgCa`Ae j `Atj edAel®gCT ]QTe acZh`b_ fQtdlo1TSgg
gcTR`AepaZ\oSgU]Qe j TStnacNQT¸Z\e j Z\³[Zj ]5`b_Oacdp»ATSe ³[Z\Tµ¥)db°}µNZ\oN `¢o1dARnfQtTNTegcZq³pTatcTL`iaRUTSe aoS`be£5T/°±dp]Qe j Zqe 8;:º´
D Z\A]QtTngcNQdiµg}`/gcRn`A_q_ s T1atcZ eQTa¶µZqacNZqag}amµ·d/R`irlZ\Rn`A_Cimacdp»ATSe{³[ZqTSµk^fQtd[oTSggCTLg´§`poN adA»ATSe{fQtTSgcTe5o1T^Z\e
`fQ_\`po1T"pZq³pTSgtZhgCTad`odAe j ZqacZ\dAe¸Z\e¸aNQT,oS`b]g`b_0eT1ag¶`b£Edi³ATp¹QaN ]5g¥IgCZ\eoT"fQ_h`Ao1T{tTSo1TSZq³pTSgOamµ)dnacdp»ATSeg j ]tcZ\eQ
aNQTnT1rlTSo]lacZ\dAe¥ZqaWZhgtTfQtTSgcTe aT j amµZho1Tp´MONQTUamµ·dfQtdlo1TSggcTSg¶gCNQdiµe¢`btTUeQdAelºZhgCdpRUdptcfNQZ\oA¥kATa¶aNQTZ\tfQN[klgCZho`A_
j ZITtTeoTH_\Z\TSgUdAeQ_\k¢Zqe acNTHNQZhgCacdAtk¢db°}acdA»pTegS¥éZ¯´Tp´ µNQZhoN act`be5gCZqacZ\dAe ftcd j ]oT j acNQTHacdp»ATe dAeodAegc]QRnT j
£[kAO"´®diµ)T³pTtL¥lacNZ\g j ZhgmaZqe5oacZ\dAe{db°éacdp»ATSe Zqe j Zq³[Zj ]`A_qZqacZ\TSg}Z\g}eQdAa¶e`bac]Qt`b_¯¥E£Q]la}t`iaNQTt¶`f`AtCaZ\o]Q_h`btZ¼amk/db°éaNQT
gcTR`AepaZ\oSg§]5gCT j adUdp£gcTt³ATZqaS¹lad^°±tTT¶aNQTo1dARnfQ]Qa`iaZqdpeg)db°0aNQTWtcTLgC]_¼aZqeQno1dpR^£QZ\e`bacdAtZh`b_E£Q]Qt j Te0¥ < Z\eQ»pdiµgC»[Z
8¬|p[¥|+vl¥5|A©;:fETtc°±dAtRg`be`
jQj
ZqacZ\dAe5`b_0gCacTf/adn`A£gCact`Aoa`?µO`?kU°±tcdpR*acNQTfETtR^]Qa`iaZqdpegOdb°-acdp»ATSeg)Zqe¸`UfQ_h`Ao1Tp´
A B C D
a b c
x w
u v
D
Z\A]QtT"| ^ B·dAeQÄZ\o1agOZ\e¸o1_\]gmaTtg
®TStcTp¥µ)T"µZq_\_actTS`ia}fQ_\`po1TLg`Ag$³?`AtcZh`b£_qTLg¥E`be j aNQT"e[]QR^£ETt¶db° adA»ATSego]QtctTe a_qk/fQtTSgcTe adAe¸fQ_h`AoTaP¢`pgaNQT
o]QttcTSepaW³i`b_\]QTdb°)³i`btZ\`A£Q_qTP-¹-at`AegCZqacZ\dAe5g`Aoadpe{aNQTSgcT³i`btZ\`A£Q_qTLg¥0` jQj Z\eQdAtgc]Q£lact`Ao1acZ\eQ/°±tcdpR acNTZ\t"³i`b_\]QTSgS´
MONZ\gU+**q"¯i!ºIA S? `b£5gmat`poag$o1dAe5gCZhgmaTe ac_\kH°±tcdpR adA»ATSe¸Zqe
j
Zq³[Z
j
]`A_qZqamkI¹EZqa}Zhg$`baacNT^NQTL`btca$db°}[ ¯
gcTR`AepaZ\oSg¥lgcTT8¬|bl¥pb¥0L;:¯´M®$diµ·TS³ATStS¥ acN5`ia$gcTR`be acZhog)N`pg)amµ·d
j
t`?µ£`po»[g ^
A´OZ¼a¶`b_\_qdiµgO°±dpteQdf5`bt`b_\_qTS_I²tcZ\eQdA° j ZITtTe aat`AegCZqacZ\dAe5ggCN5`btZqeQ`odARnRndAefQ_h`AoTA¥TS³ATSe/Zq° acNQT,R`bt» Z\eQ
fQtdi³ Zj TLg·TSeQdA]ANHacdA»pTeg)°±dptgCZ\R^]_¼a`beQTSdA]g)²tZ\eQpgS¹l`be j
|l´)acNQTUZ\e j Z\tcTLoa j TSf5TSe j TSeo1k¸dA°éact`begcZ¼aZqdpegTSeQp`AAT j Z\e j ZwITtTe a¶odAelÄZhoag}`AtcT^eQdba$TrlfQtcTLgcgcZ\£Q_qT ^OZqe D Z\A]QtT
|l¥[at`AegCZqacZ\dAe5ghO'`be j `AtcT¶eQdbaOZ\e/odAelÄZhoaL¹lkATa·aNQT}ftcdp£`b£QZ\_\Z¼amkdA°@O4²tcZ\eQ,Z\goN`AeQAT j £[kZqeQ°±dAtRn`bacZ\dAe
`b£EdA]la ´wº° ²tTSgS¥¨O ZhguµZqacNQdp]la§o1dpRUfET1aZ¼aZqdpe0¥[`be j ]Qe j TtéaNQTTS`Atc_\Z\TSgCa-²5tcZ\eQt]Q_qTp¥AZqagu²tcZ\eQWZhg§`Aggc]QtcT j ´
D dAtOaNQdpgcTWtcTL`AgcdAegS¥[µ·TW]gcT j `URUd j Zq²T j ³[Z\TµGZqe 8\? :`Ae j 8qIv;:^
A´ B·dAelÄ5Z\o1agW`btT^tTSgcdA_\³AT j eQdbaW£[k `gcZqeQp_qT^act`begcZqacZ\dAe{dpt}f_\`po1TA¥I£Q]Qa)vmdpZqe a_qk£[kacNQTUTe aZqtT+ )"¶"*[®"
¡oS`b_\_qT j C"*@[®§NQTStcTp¥QgCTST¶£ET_\diµ$ª´
|l´ B·dAegcT ]QTSe ac_\kA¥ATS³ATSepag j d"edba§tTfQtTSgcTe a§gcZqeA_\TO²tcZ\eQ gudb°Iat`AegCZqacZ\dAe5géZqepTeQTSt`A_Ï¥A£Q]la·t`iaNQTt§d[oSo1]QttTeoTSg
db°)º®5´
> *-S ¾ iai « Zhg-e`ia]Qt`b_\_qkf`AtCaZ¼aZqdpeQT j Zqe ad}eQd j TgcT1agaN`iau`AtcT)RnZqeQZ\R`b_\_qk"o_qd gCT j ]Qe j TtuodAelÄZhoag´-¦dAacT)acN`ba
Ï)"uo`Ae/£ETa`b»ATSeHZ\eacNTW°±dAtµ)`At j dAt£`po»[µ)`At j gCTSegCTp¥gcZqeoTfQ_h`Ao1TLgR`?k£ET°±dAtµ)`At j `be j ¤?dpt)£5`Ao»[µ)`At j
£Qt`be5oNQZqe¹lNQTSeo1TWµ)T j Z\gCacZ\eQA]Z\gcN/acdUamk[f5TLgdb°éo1_\]gCacTtg ^
©/¾@?ª e±e
 ª
i
E¡±Z\elmªmo_q]gCacTSt
Y
a!Im[!bTk
*
mz¶hj±Q}**q1u§+ ®i5O'!`±Q+ 1+Ïhw)GF
R T mRT & W
R[s P)Tk!P)T& P W
s `
Q, o ®"+K**o1_\]gCacTt+ ,H"sk * m9O1+U?ll±QcphUpI p!)±Q+ Y a!
p"I®±QU$m"*@[®nm[«? Mw«EH!**, KQ±QWdp]laC®o1_\]gCacTStmUEIAF! hSUn+**q1$"s
k * m9, ®i5O'9!V±Q+§¯hw·1GF
RTmR/T& R W
s P)Tk!P)Tr&
W
P&sf
+A !
Y
!Mw«EUp"I® ±Q""Om^+ C*[ºWCM«\H3J+ aT "4C#cT$ !K·ZIc"L®
k&%')(h:UkEp*a7k+-,/.0(h: kEp1 Am2%')([: mEp*f/m3+!,4.0(h:m p5 `
Y[TT D Z\A]QtT^°±dpt`beZ\_q_\]gCact`iacZ\dAe´
d a F
a F
K I H
G
K G e
H e
I B
C D
F
E h
f e A c
l
k b
g i
e
e B
C D
F
E h
f e A c
l
k b
g i d
D Zqp]QtTW ^éz'eQT1a j TLo1dpRUfEdpgcT j Z\epadnZ¼ago1_\]gCacTtg¡±_\T1°aª`be j dp]laC®o1_\]gCacTtg¡±tZ\AN aª
H¾ :l6 A i Kd*[ºcº+Ap rh*¼ºc# c)Kj?#*, Ap"hhIm^odAelÄ5Z\o1a,o1_\]gCacTtg K$
7)8!9
H IºLQ?¯UCcS111H *\'A* ih#" ®lÏ/# i
7
":
9
+c? *\S*$Qb 0¬1
#cÏ+fwN('i!®5Ï+º2{C"*[®"KQ *ql", )ih ®t #c+*1nQ5hW" #C"*@[®
?§c EEAZHh^c$Kx?§3Ea®"p"$+ C*[®"º" ? ±Q$+A.?lhiE$c c+Q¯QK
L¸$A*qÏ+CQ±QwN('fKA éf+njc1LO'C*qAPd±Qc+*#,Um §C,+ C*[®"3cLÏ
±Q+}m!#'A 5O'¸+A¸A¸mnp¯nfQ¯.w O'OHGIQ+*'p+ *q? ?é**dcLO3 bh# Ï+
C c*\GF} C*[º¶1*q ±QQ¯c®h"®® K·+ C*[ºWLbE+ºU±QU"CiO'b^mNw O'bH
D Zqp]QtcT$V^gCNdiµg amµ·d,o1_\]gmaTtg$¡fQ_q]5guaNQTZ\t§dp]lacfQ]Qa·fQ_h`AoTSgª¥ µZ¼aNacNQT$²tgma·gCa`AATdA°acNQT}fQtd[oTSgguo1dpegCact]oaZqdpeL^
£EdbaN gcT_\TSoa¶gCdpRUT"²t`A£Q_\T^gmaTf:¡eQdbaW`b_\_odAR^£Zqe`bacZ\dAeg}`btT^gcNQdiµe5ª¥Eo1tTS`bacTaNQT,odAttcTLgCfEdAe j ZqeQTS³ATSepag¥EoN`beAT
aNQT³i`b_\]QTWdb°Z\eQfQ]QafQ_\`po1TLg¥Q`Ae j `AfQf5TSe j acNQT j ]t`bacZ\dAeo1dAe j Z¼aZqdpegW¡gcN` j T j ZqeAtTkQªu°±dAtOaNQT¶act`begcZ¼aZqdpeg)Zqe/aNQT
gcT_\TSo1acZ\dAe0´éMONQT G ºT³pTe agS¥AR`Atc»[Z\eQ¶acNQT}Te j dA°I`W²5tcZ\eQZ\egma`beoTacN5`ia§fQtd j ]oTSg adA»ATSegS¥p`btTOeQdba·fQtcd j ]5o1T j Z\e
aNQZ\g¶gCa`bpTA¹acN`ba$fQN`pgCTZhg j tZ\³ATe¸£[kacNQT,dA]lacºo_q]gCacTStgS¥`pggCNdiµe¸Zqe D Z\A]QtT^`be j T1rlfQ_h`bZ\eQT j Z\e¸acNQT"°±dA_\_qdiµZ\eQ
`A_qpdAtZ¼aNQR´
MONQTHoNdAZho1TdA°$`{gCacTf:Zqe` o1_\]gCacTtno`Ae £ET j dpeQTH`poo1dpt j ZqeQ acd `Ae[k RnTS`pgC]tcTodAeoTe act`iaZqe Z¼ag^R`pgcg^dAe
3p*AgCacTSfg$¡µ´tL´aL´-gCacTSfZqe5o1_\]gCZ\dAeEª¹[`b_\_dbaNQTtu²tcZ\eQ géTZqacNQTStu³[Zqdp_\`bacTOaNQTTS`Atc_\Z\TSgCaé²tcZ\eQt]Q_\TA¥AdptuZ\eo1tTS`pgCTOaNQT