HAL Id: inria-00070750
https://hal.inria.fr/inria-00070750
Submitted on 19 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
in Partial Order Semantics
Stefan Haar
To cite this version:
Stefan Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics.
[Research Report] RR-5248, INRIA. 2004, pp.25. �inria-00070750�
ISRN INRIA/RR--5248--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
Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics
Stefan Haar
N˚5248
Juillet 2004
Systèmes communicants
456''+78 %9#.%213-'&
:;=<?>A@CBED @F@CGIH
JLKNMPORQS/TUM,VW?S/SYX[Z]\^VU_`ZaORM
bdcW?ePTOM,fg\hMPO c \^iCj$WkS
l
_?m[mW
c
O2nNT
c
TUVo]T
c
Vo[TpZYqkrksutavxwzy?X]\|{^{|TO}s`~k~`t6ws?r-m]_`kTUM
U u[? ? Z6Oc X[{^K_kMAKLZ]Vo c WkZ[W?X]MUUn[\^MAO c \|i]XNOTInMAKNMAOTUS/MU=Z[T\|Oo]T c ?{^W?i]_?{kMAOR_uORTdZ[W c k{|Wki]_`{uOR\|S/T
_ c T_=u_`\^{^_?i[{|TkgXNOWkS_uOR_`i_?MTUnnN\h_`kZ[WkM\^MgOo]T c TW c T c TU_kVo[TUM}\OM{|\^S/\O_uO\^W?ZM2ORo[T c T?_ nN\|CT c TUZkO
_?m[m c Wk_kVoui]_?MTUn-W?Z b TO c \NZ]TOX[Z[W?{hnN\|Z]kMU`&_kMm c W?mCWkMTUn-\|Z =¡ Od\hM¢S/W`OR\|u_uORTUniLK6Oo]T2m c W?i[{^TS
W?0T?TUZaO$VW cc T{h_uOR\|WkZ\^ZORT{^TUVWkS/SYX[Z[\hV_`O\^W?Z]MdZ[TOP&W cR£ S_`Z_`?TUS/TZaOUL_`Z]n/XMATIMdW?Z]{|K{|WNVU_`{MAOR_`OTIM
\^ZVW?S-i[\|Z_uO\^W?Z,\ORo _-m]_ c O\h_`{CW c nNT c S/WNnNT{FW?O\^S/T?df}\^_??Z[WaMA\hM\hM&mT cW cS/TIniLK¤VW cRc T{h_uO\^W?ZW?
ORo[TgWki]MT c ?TUn/m_ c O\h_`{]W c n[T c _?{^_ c S¥m]_`OAOT c ZM$_?Z]nm]_ c OR\^_?{]W c nNT c T¦NTIVXNOR\|WkZ]MdW?0Oo[TMAKNMAOTUS¥S/WNnNTU{§
}Md\^Z/Oo[T}V{h_?MRMA\hV_?{]_`XNORW?S_uO_6MATOAOR\|Z[`ORo[Tgm c TUMTZVT,W`0\^ZLa\hM\|i[{^T9Oc _`ZMA\|O\^W?Z]M c _?\^MTUM ORo[Tgm c W?i]{|TUS/M
W?¢W?i]MT c u_`i[\^{|\|OPK_?Z]nnN\h_`?Z]WkMR_`i[\^{|\|OPKW?d_/?\^?TZMKNMPORTS ZOo[\hM2m_`mCT c ]&T?\^?T_¤n[T¨]Z[\|O\^W?ZW?
&TU_ £ _?Z]n©MPO c WkZ[«ª?¬®¯±°u²?¬³µ´¶³µ·¸_`Zn5¹u³º²»?¼Cªu²?¬³µ´¶³µ·§¸ \^Z½OT c SMW?9m_ c O\h_`{^{|KxW c nNT c TUn¾T¦NTIVXNOR\|WkZ]M
_?Z]n¤Vo]_ c _kV±ORT c \|¿UT2nN\^_??Z[WaM_?i[{^T2MAKNMAOTSMU?ORo[TVo]_ c _?VOT c \^¿\^Z[6m c W?mCT c OPKVU_`ZiCT}TCTIV±O\^?TU{|K/kT c \¨]TIn
XMA\^Z[_-¨]Z[\|OTVWkS/m[{|TOT6m
c
T¨]¦W`'Oo[T6Z[TO2X[ZNWk{^nN\^Z[
ÀÁaÂFÃRÄYÅ uÆ ? _kMAKLZ]Vo cWkZ[W?X]M&nN\h_`kZ[WkMR_`i[\^{^\OPKk b TOc \Z[TOM]X[ZNW?{hnN\^Z[kMU[_`{h_ c SVW ccT{h_uOR\|WkZ
ÇhÈ0ÉÊÌËUÍ9É,Î Ï^ÊÌÐÑÒ
Ó ÔUÕ=Ö=Ö`×±ØÙÚPÛ ÜÝ ÙÞ=Ú ßà'áâàã ÖIا×äºÚPåæÙç èé èNê¢ë ìÚPÚ Ù§Þ=Ú ìíÙ§ÚPì
îï±ïð]ñò±òó±ó±ó]ôhïõöõ÷øæùFôhúøûü[ôhýþòRþÿþ±ïòæÿõÿUõï[ô^îUïAù
Û
îï±ïð]ñò±òó±ó±ó]ô¶ùúNôµõöõöNôhïAù0ôhý±þ
×±Ø,ױاÚ
í ×±Ø
Ù§í×
Unité de recherche INRIA Rennes
Å I Ã
f}\h_`?Z]WkMAO\hV_`i]\|{^\O¢_?MKaZVo
c
WkZ[T?
l
UMTU_?XN¦nNT
b
TO
c
\§=nm]{|\h_`kTUMUIVW
cRc
U{^_`O\^W?Z}n_?{^_
c
S/TUMU
U Å Æ ` Å
Á U Á I
Æ-u
Å Á I Á
Â
Å Å '§
Å §
º Å IN!"º Â
#
t%$ bc TUm]_ c _uOR\|WkZ]M9_`Z]n& _`\^ZfgT¨]Z[\|O\^W?Z 66666666666666'$=r
ts (}iMAT cu_`i]{|Tfg\h_`kZ[WkMR_`i]\|{^\OPK 6666666666666666'$)
*+ Nu[? Á ",?[ Å Å - º Å IN"º Â /.
0 *1 Á 234 º Å IN!"º Â /5
6
%$ 87gTUVTUMRM_
c
Kj$WkZ]nN\|O\^W?Z 66666666666666666'$I
6 s j$W?S/m[{^TORT bdc
T¨[¦ 6666666666666666666#s9$
: ;
-8 !'
< Á º Å º>= Å Á
@?]_?\|{^X
c
TYnN\h_`?Z]WkM\^M9W
c
n[\^MRV
c
TORTTkTZaOMKNMPORTSM2\hM}_V
c
X]V\h_`{'OR_kM
£
\^Z _`X[OW?S_`O\hVVWkZkO
c
Wk{§BA9o[T¹`³º²»?¼Cªu³hDCC¯ªk¬´^®E¥o]_?M
c
TIVTU\|kTUn SYX]Vo _`OAORTZaO\^W?Z\^ZOo[T-{|\|OT
c
_`OX
c
T?
MTT $? sI¡GF/\|OVW?Z]M\^MAORMU \|Z«_?i]MAO
c
_?V±OYOT
c
SM\^Z«nNTOT
c
S/\|Z]\|Z[ mWaMM\|i]{|T¤iCTo_=a\^W
c
M6\^Z«_m]_
c
OR\^_?{|{^K W?i]MT
c
u_`i[{^T6MAKNMAOTS Oo_uO}_
c
TVW?S/m]_uOR\|i]{|T6,\|OoORo[TWki]MAT
c
kTUnm]_uOOT
c
ZW?¢_?{^_
c
SMU[\Tk$ORo]_uO
T¦Nm[{^_?\|ZaORo[TgWki]MAT c u_?i[{|TgiTUo]_=L\|W c ZOo]TnN\hMRV c TOT}TkTZaO&_?m[m c Wk_?VokMKLMAOTUS7iTUo]_=L\|W c \hM$S/WNnNTU{|TIn
_kM_ c TkX[{^_ c {h_`Z]?X]_??T?0_?Z]nORo[TMAKNMAOTS \|ORMT{|&_kM$TU{|{d_kMgORo[TnN\h_`?Z]WkMT c _ c TS/WNnNT{^TUnx_?M}¨]Z[\|OT
MAOR_`OTS_?Vo[\^Z[TUMIHJ?¢J&LK±_`Z]n¤Oo[TUKMAKLZ]Vo c WkZ[\|¿UT}WkZ¾ªk¬±®¯±°=²k¬´|®/®°=®¼]·§±MA9o[TZLº_`X[{|OPK¤iCTo]_=L\^W c \^M
n[TOT cS/\^Z[TUniLK c TU_knN\|Z]YORo[TMPO_uORTW?'ORo[TnN\h_`kZ[WkMT c
º
Å IN!J Â A9o[T £ TUK-m c W?mCT c OPK-Oo]_`O&o]_kM¢ORW-iCTgkT c \¨]TIn/iLK-ORo[TMATOX[mLHOo]_`O&\hMU?ORo[TMX[i]MTO
W?W?i]MT c u_`i[{^T,{^TOAORT c M$_?Z]n/ORo[TN?¢J& M\^ZL?W?{^?TInOK W c Oo]\^MOW-$W c£ a\^M¹u³º²»?¼Cªu²?¬³µ´¶³µ·§¸u O&MAO\^m[X[{h_uORTUM
T¦N\^MAOTUZ]VTW?,MW?S/TVW?Z]MAOR_?ZaOS/_`¦N\|S_`{{|TUZ[`ORoPMX]Vo½ORo]_uOI',o]_`OTU?T c Oo[TV\c VX]S/MAOR_?Z]VTIM \|,_
º_?X[{|O$WNVVX c MZ[Wu6kOo[T}{|WkZ[?TIMPO$MTQaX[TUZ]VTg{|TI_?nN\^Z[ORWY_Yn[\^_??Z[WaMAT c MPO_uORT2Oo_uO$\^Z]nN\hV_`OTIM¢Oo_uOº_?X[{|OU
O_ £ TUM_uOSWaMPORPpMAOTUm]M/c W?S Z[Wu6S?]W c ORo[T S/W c TW c S_`{gnNT¨]Z[\|O\^W?Z9Wk{|{^Wu,\^Z[ JN_`S/m]_`Oo+TO
_?{§ ~=¡Ì{^TO>T iCT_¾m
c
T¨]¦aæV{^WkMTUn {^_?Z[?X]_??TUHµOo]TiTUo]_=L\|W
c
W?gORo[TMAKNMAOTS OW½iTnN\h_`kZ[WkMTUnK
WukT
c
ORo[T T?TUZaO_`{^m[o]_?iTO
A
dnNTUZ[W`ORTWVYX
A
Oo[TMTO-W?ª?¬®¯±°u²?¬´|®/_?Z]n[Z\V
, A] V ORo]_uO/W`
^
¼Fª?¬®¯±°u²?¬´|® T?TUZaORMU$f}TZ[W?OT+_a`
AbDc V b
ORo[Tm
c
W`ePTIV±O\^W?ZOWW?i]MT
c
u_`i[{^T$W
c
n[MULOo_uOg\hM]Oo[T
o]W?S/W?S/W
c
m[o[\hMS ORo]_uO6T
c
_kMATIM}_?{|{X[Z[Wki]MT
c
=_?i[{^T-TU?TZaOM}_?Z]n {^TU_=kTUM}W?i]MT
c
u_`i[{^TYWkZ[TUMX[ZVo]_`Z[kTUn0
S/W
c
TUWu?T
c
C{|TO+deX'ZV iCTOo[TMTO6W`f²
^
´¶·§hguiA9o[TZUT \^M¤¹`³º²»?¼Cª=²k¬´|®\«Oo[T
c
TT¦N\hMPOM@Pkjklm
n
×±Ø ì§í,ÖoíåPíÙµÝçp0Ú$ÛIاױÖÙ§Þ=Úq±Ú ÚPØ
oísr
Ùí× Û=Údí
ituwvyx çzpíÙÞ|{
Õ=غ٧Þ=ÚPØÖ
ØÙ§íÙí× ÚPÛYí Ù§×\}~
ËÏÏæÑAÊ
ë`ÙÞIÚ
اÚPìÕoÙìq±í Ú Ü`Úo×hp ÚUÙ§Ú ÛÙ§×9ÙÞ
Ù å
ìÚ
MX]VoORo]_uOIFW
c
_`ZLK$W
c n T ½,\|Oo j d}0_`ZLKLj
Ab
MORoLj T _`Z]n P
MR_uOR\^MA¨]TIM
j __ "!$# %'&)( H$K
* T c T?+,anNTZ]W`OTIMdORW`O_`{C{|TUZ[`ORoN_`Z]n-+,% Oo[TZLX[SYiCT c W`0º_?X[{O9TkTZaORM$W`&W c n.+ j$W?Z]nN\|O\^W?Z H$K
S/TI_`Z]M}Oo_uO6TkT c KiTUo]_=L\|W c
Oo_uO6m c WLn[X]VTIMgORo[TM_?S/T/MTQaX[TUZ]VTW`&W?i]MT c u_`i[{^TYTU?TUZkOM_?M/
n[WaTIMNVW?ZaOR_?\|Z]M$_uO9{|TI_?MAO$WkZ[T2º_?X[{O9TkTZaOF¢_?{|{CT¦LOTUZ]M\|WkZ]MW?0 W?'_uO&{|TI_?MAO&{^TZ]`OoP ,\|{^{FS_ £ TgOo[T
º_?X[{|Og_`m[m]_ c TUZaOU
Â
' Å Å +ƺ Å º A9o[T¾m c TIMATUZaOm]_?mT c \hMS/W?O\^=_`OTIn5iLK Oo[T½nN\h_`?Z]WkM\^MW`6O c X[{^K
_kMAKLZ]Vo
c
WkZ[W?X]M9MKNMPORTSM]\|Z,o[\hVo Oo[TY_?iWukT6nNT¨]Z]\OR\|WkZ\^M,Z]W`Og_?n[TQaX]_uORT_?M9\|O}MAOR_`Zn[M2M\|Z]VT6\O}\^M
i_?MTUnxW?Z©_?{^W?i]_?{dMPO_uORT¤_`XNORW?S_uORW?Z¾SWNnNTU{§AW MTTORo[T¤{^\|S/\|OR_uOR\|WkZ]M6W?$ORo]_uOS/WNnNT{VW?ZMA\hnNT
c
Z]TOP&W
cR£
TUn6MKNMPORTSMU=MX]Vo_?M MAo[Wu,Z6WkZORo[T${^TµOo]_?Z]nYM\^n[T\^Z1? \|kX
c
TD$?A9o[T
c
T?=ORo[T9MATUZ]MAW
c
MKNMPORTS
local time
1
2
4
s s s s s5
3
F F
F
F
F F
F
A A A A A
A A
F A
? \^?X c T>$ F21®Jf·3/
^
C]®¯±°U³h±³ºªu¼©ªfY¼C®·54ª`¯76?®¹¤±¸=·æ® EY98$¯±³»;:L·<3>=}´^²u¯wE-@?§BA
^
²u¯®DC²u¼C¹Nf²
^
´¶·º@?"E³µ¯GF
E´|®DC
\hMnN\hMAO c \|i[X[OTUn3F-MT?T c _?{¢{|WNVU_`{dMTZ]MW c M6_ c T¤_uOOR_?Vo]TUn OW MW?S/T/Z[WNnNTUMYW`&Oo[TZ[TOP&W cR£ HºMo[Wu,Z½\^Z
i]{^_kV £ KIH_kVo½{|WNV_?{MTZ]MW c o]_kM6W?Z]{|K¾_m]_ c O\h_`{dL\^T¥W`&Oo[TMAKNMAOTS_`Z]n¾\|ORMY{|WNV_?{¢O\^S/T¤\hM6Z[W`O
MKLZ]Vo c W?Z[\^¿TIn,\|OoORo]_uO}W`W`Oo]T c MTZ]MW c MU$2{h_ c SM,_ c T c TUmW c ORTUn_?MKLZ]Vo c W?Z[WkX]M{|K/ORW/Oo[Tk{|Wki]_`{
MX[mCT
c
L\^MW
c
¢nNTm[\hV±ORTUn«\|Z c
TK?¢,o]\^Vo mT
c
W
c
SMnN\^_??Z[WaMA\hMU¢Oo[\hM\^M-ORo[TOPKLm[\hV_?{&_
c
Vo]\ORTUV±ORX
c
T\^Z
ORT{^TUVW?S/SYX[Z]\^VU_uO\^W?ZM$Z]TOP&W
cR£
S/_?Z]_`kTS/TZaO2MKLMAOTUSM&OWNn[_=KLH§MATUTsut`¡K
< Á ÁLÁ
Æ
-ÌÅ
= N= º Å
uÆ
Á
Á
º? HdkTZ\|Oo[TW
c
n[T
c
W`TkTZaORM2S/_=KiT-VW
cRc TUV±OR{|K
Wki]MT
c
?TUn {|WNV_?{|{^K©iLK TU_kVo«\^Z]nN\^L\^nNX_`{,MATUZ]MW
c
VWkSS-X[Z[\hV_`O\^Z[¾_?{^_
c S TU?TUZkOMa\h_ Oo[TZ[TOP$W c£
VU_`X]MTUM$_{^WkMRMW?MAKLZ]Vo
c
WkZ[\|¿I_uOR\|WkZ3F'_kM_
c
TUMX[{|OUaOo]T}\^ZaOT
c
{^TU_=L\|Z]6W`TU?TZaOMVWkS/SYX[Z[\hV_`OTIn/OW-Oo[T
MX[mCT c L\^MW c \hM2¼Fªu¼F¹?®·Ì®¯wE-³µ¼³h±·§³EMA9o[T c \^?oaOm[\hV±ORX c TgW`,o]_`OdOo[TMAX]mT c L\hMAW c VWk{|{^TUVORMd\hMOo[T c TW c T
_ C[²`¯±·§³º²`´µ´¶¸©ªu¯¹k®¯®¹«MATOU c _uOo]T c ORo]_`Z _©®9A
^
®¼ E®W`}_?{^_ cSMUdMATUT¤Oo]Tm]_`OAORT c Z©W c S/TUn©iLK¾Oo[T
MyQaX]_ c TUMdW?Z/Oo]T c \^?oaOo_`Z]nM\^n[T2W`? \^?X c TI$?A9o[TgMKNMPORTS¥\OMATU{iCT\^Z[nN\^MAOc \^i[XNOTIn0a$Tg_?{^MW6o]_=kT
m_ c O\h_`{^{|KxW c nNT c TUn¾MVTZ]_ c \^WkMW?Mf²
^
´¶·§ H§V\c V{|TIM\^Z ? \|kX c T $K±_?M-V_`ZnN\^n]_uOTIMW c T¦Nm[{h_`\^Z[\|Z]Oo[T
_?{^_ c S m]_uOOT c ZWki]MAT c kTUn-iLKYORo[T}MTZ]MW c MU4A9o]_`O\^MUa$T2Z]TTUnORWYVWkS/m[XNOTk?W c nN\h_`kZ[WkM\hM`m_ c O\h_`{^{|K
W c n[T c TUnMATORM¢W?FTU?TUZkOM Oo]_`OS_=KYo]_=kT9WLVUVX cRc TUn/_`Z]n?o]_knYORo[TKWNVVX ccTUn`$WkX[{hn-o_=?T9m c WLn[X]VTIn
ORo[TW?i]MT c ?TIn/m]_uOOT c ZW?'_`{h_ c SM T}TUSm]o]_?M\|¿UT2ORo]_uO9TU_kVoMAXVom]_ cOR\^_?{W c nNT cc Tm c TUMTZaOM\^Z\|ORM
ORX c Z¾_?ZxTQkX]\|u_`{^TZVTV{h_?MRMW`&MTQaX[TUZ]VTIMOoLX]Mm]_kMM\|Z]ORWm]_ c O\h_`{W c nNT c M_`{^{^Wu2M0\^ZxkTZ[T c _?{§_
MX[i]MAOR_?ZaO\h_`{Fk_?\|Z¤\^Z T¤V\^TZ]VK? Z _MTUVW?Z]nMPORTmUHZ[W?O&O cTI_uORTUn¤o]T c TK±LORo[T/´¶³6k®´¶³:]ªUªI¹W? MRVTZ_ c \|WaM
o_?MOWYiCTVW?S/m]_ c TIn0kOW/MATU{|TIV±OUN_?SWkZ[6ORo[TMRVTUZ]_ c \^WkMdW?CT c TIniLKOo[TS/WLn[T{LOo[TS/WkMAO$m c W?i]_?i[{^T
T¦Nm[{^_?Z]_uOR\|WkZ¤W
c
Oo[T6k\|kTZ W?i]MT
c
u_uO\^W?ZLMTT/$¡W
c
_/VW?ZMPO
c
X]VO\^W?Z W`MAX]Vo {^\
£
T{^\|o[WLWNn[MU
A9o[T6m
c
TIMATUZkO2_
c
OR\^V{|T
c
TUV_?{|{hM$Oo[TW
c
S_?{F
c
_?STU$W
c£
W
c
nN\h_`?Z]WkM\^M$W
c
m_
c
O\h_`{^{|KW
c
nNT
c
TIn
c
X[Z]M
k\|kTZ\|Z u¡Ìk_`ZnYTIMPO_`i[{^\^Mo[TIM Oo[T2_knNTQaX]_`OT,nNT¨Z[\OR\|WkZ/W`d¹u³º²»?¼Cªu²?¬³µ´¶³µ·§¸u\A9o[T2nNT¨Z[\OR\|WkZ/?TZ]T
c
_`{|
\^¿TIMdORo[TV{h_?MRMA\hV_?{]W?Z]Tg?\^?TUZkW c Oo[T_`XNORW?S_uORW?Z¤VU_?MT?a\|Zx ~=¡aORWYm]_ cOR\^_?{W c nNT c iCTo]_=L\^W c k,o]T c T
&TU_ £ _`Z]n MAOc W?Z[nN\h_`kZ[WkMR_`i[\^{^\OPK/,\^{|{o_=?T}OW/iTn[\^MAO\^Z[?X]\^Mo[TUn T6k\|kT_/Vo]_ c _kV±OT c \^¿U_`O\^W?Z¤W?
n[\^_??Z[WaM_?i[{|TMKNMPORTSM¢_?Z]n©MAo]Wu o[Wu7Wki]MAT c u_?i[\|{^\|OPKx_`Zn©nN\^_??Z[WaM_?i[\^{|\|OPKxVU_`Z©iCTVo[TUV £ TUn¾W?Z _
¨Z[\ORTVWkZ]MPO cXV±O|HZ]_?S/T{^K?[_¨]Z[\|OT6m cT¨[¦W`'Oo[TMKNMPORTS X[ZNW?{hnN\^Z[#K
45%& %&' 8 4 &%,%,
b
TO
c
\gZ[TORM_
c
T&T{^{ÌTUMAOR_?i[{^\^Mo[TUn W
c
S_`{gSWNnNTU{^MU,,o[WaMAT _knNTQaX]_kVK W
c
S/WNnNT{^{|\^Z[«n[\^MAO
c
\|i]XNOTIn
MKNMPORTSM\hM,\hnNTU{|K c TIVWk?Z[\^¿TIn0 b TOc \?Z[TO'\hM_,i[\^m]_ c OR\ORT c _`m]oVW?S/mCWkMTUnW`#CF´|² E® c TUm c TIMATUZaO\^Z[
mCWkMRM\|i[{^T6{^WLVU_`{MAOR_`OTIMC_`Z]n½·¯²u¼]±³µ·§³ºª`¼[&Oo]_`Og{|TI_?nc W?S _`Z\|Z]m[XNOMTO}W`m[{^_kVTIM9OW_?ZW?XNORm[XNO}MTO
W?m[{h_?VTUMF·Ìª 6?®¼[\^Z]nN\hV_`OT}Oo]_`O2_{^WLVU_`{0VWkZ]nN\|O\^W?Zo[W?{hn[MU b TOc \CZ]TORM&W c ORo[T}W c S/_?{0nNT¨]Z]\OR\|WkZ
MTTiCT{^Wu &V_`ZiCTMATUTZ_?M2Z]_uORX c _?{0?TUZ[T c _`{^\|¿I_uOR\|WkZW` ¨]Z[\|OT-_`XNORW?S_uO_F\|Z]n[TTUn[TkT c K?NpV_?Z
iCT c Tm c TUMTZaOTIn-_kM¢_ b TO c \[Z[TOd,o[WkMT9O c _`ZMA\|O\^W?Z]Mo_=?T9T¦[_?VO{^KW?Z]T,\|Z[m]XNO_`Z]nWkZ[T,W?XNORm[XNOdm[{h_?VT?
_?Z]n,\ORo T¦[_?V±OR{|KW?Z[TOW £ TUZWkZORo[T\|Z]\OR\^_?{MPO_uORT?
,VUVW c nN\^Z[?{^K? ORo[T MTS_?ZkOR\^VUMYW? b 7_`{^{|Wu2M-_ kTZ[T c _?{|\^¿U_`O\^W?Z©Wu?T c ORo]_uO/W`g_?XNOWkS/_`OR_OF¤2XN
ORW?S_uORW?ZiCTo]_=L\^W?X c V_`ZiCTT¦Nm c TUMRMATIn-iLK 4ªu¯¹u±a,o]\^Vo_ c Tg{|\^Z[TU_ c {^KYW c n[T c TUn_`Zn/o]_=?Tg_{|TUZ[`ORo
k\|kTZiLKVW?X]ZkOR\|Z]/Oo[T-{|TOAOT c MU b TO c \'Z[TOiTUo]_=L\|WkX c M[WkZOo]TW`ORo[T c o]_`Z]nCVU_`ZiCT c Tm c TUMTZaOTIn
iLK Eªu¼ '»
^
¯²u·³ºªu¼]Oo_uO}\hMUFMTOMgiCTU_ c \^Z[_ C[²`¯±·§³º²`´ªu¯¹k®¯,ORo]_uO\^M}Z[W?O}{^\|Z[TI_ c \|Z kTZ[T c _?{§C\^Z]MPORTU_kn
W?{^TZ[?Oo0&T-,\^{^{¢iTS_`Z[\^m[X[{h_uOR\|Z[ :[®³»;:L·dW?$MAXVo m c
WNVTUMRMTUMUF_Z[W?O\^W?Z W?,o[\hVo ORo[T
c
T-T¦N\^MAORM
_-{^Wu$T
c
_?Z]n _`ZX]m[mT
c
?T
c
M\|WkZM\|ZVTW?Z[TV_?ZS/TI_?MX
c
T}Oo]Tm
c
Wk
c
TUMRMW?Oo]T´^®R²u±·&²?¹`°=²`¼ E®¹¤´^ª E²u´
CF¯ª ER®±[W
c
ORo[T E/ªu·,²?¹`°=²`¼ E®¹ª`¼C®
TW c T}VW?S/\^Z[i]_kV £ ORWORo[TUMTgZ[W?O\^W?Z]MUkMW?S/T2S/W cT2i_?V £ c W?X[Zn-W?0Oo[T}$W c£ m c TUMTZaOTIn/o[T c T?
A9o]\^Mm]_?mT c T¦Nm[{|W c TIM,ORo[T_?MKaZVo c WkZ[W?XM2nN\h_`?Z]WkM\^M_`m[m c Wa_?Voc W?S =¡X]MA\^Z[ b TOc \¢Z[TOM Hb 7}MyK
_kM2\|ORM}S_`\^ZOWLW?{&CVW?S/m]_ cT¤ Ct[0s )U¡W?ZORo[T1A9o[TUW c K _?Z]n_`m]m[{|\hV_`O\^W?ZW? b 7gMUD?[W c ORo[TYXMATW?
b 7gM¢\^Z¤nN\h_`?Z]WkM\^MU`VWkSm_ c T$U [ks` NO$
6
9$)U¡K±,¯R²u¼ E9:L³µ¼L» CC¯ª E®±®±g_?Z]n
^
¼fª`´|¹u³µ¼L»u,W` b 7}Md&T c T
W c \^?\^Z]_?{|{^Kgm c W?mCWkMTUniLK@72\^T{hMATUZ b {^W`O £ \^ZY_`Zn \|Z]M £ TU{]s 6
¡u_`ZnX]MATInW c E/ªI¹?®´ E :]®9E 6`³µ¼a»??MTT & V
& \|{^{^_?Z s?rI¡_`Zn.HMm]_
c
¿U_YTO&_?{§9
6
9)I¡ÌaOo[TUKo]_=?T2iCTTUZX]MTUn¤W
c
MAX[mCT
c
L\^MW
c
K/VW?ZaO
c
Wk{]\^Z s?sL[s ¡
&c
_`Z]Vo]\|Z[m
c
WNVTIMMTUM
c
TUm
c
TIMATUZaO,Oo[TMATOgW`dT¦LTIVXNOR\|WkZ]M2W?d_
b
TO
c
\ Z[TO\|Z _¤Z[TOMPO
c
X]VOX
c
T?X]M\|Z[
component 1
component 2
7 1 1 1
1 5 6
α
α α
2 3 44
γ δ η
1 7
4 3 2 2 γ
11 7 5 6
2 3
β
ζ
γ δ η
2
1 7
4 3
4 3 α
5 7 γ
δ 5
3
2 4
1
7
η ζ δ α
6 β
γ
? \^?X c T2sF
^
¼¼]³µ¼L»Y®a²zE CF´|® 3 ?Ì´|®Jf·C²¬¯²u¼ E :N³µ¼a» CC¯ª E®±3fªu¯ ?̯±³» :N·C²`¼C¹² Eªu¼ '»
^
¯²u·³ºªu¼
ª f ¬®³µ¼L» ®k·Ì®¼C¹k®¹¤¬¸²¤¼C®B4 ®°u®¼]·/?<E®¼]·æ®¯DC
_?Z _?MKLZ]Vo c W?Z[WkX]M,MTS_`ZaO\hVMg,\ORo {^WNV_`{MAOR_uORTUM}_`Z]nm_ c O\h_`{^{|K W c nNT c TUn OR\|S/Tk6j$WkSS/WkZ m c T¨[¦NTUM
W?¢T¦NTUVXNO\^W?Z]Mg_ c TMAo]_ c TIn0_?Z]nT¦NTIVXNOR\|WkZ]M2nN\|CT c\^Z[¤WkZ[{^K\^Z MAWkS/T\|ZaORT c {|TI_=a\^Z[/W`¢\^Z]nNTUmTUZ]nNTZaO
O c _?Z]M\OR\|WkZ]M¢_ c T c TUm c TUMTZaOTIn-WkZ[{^KYW?ZVT??Oo[\hMdS/TUTORMdOo[TgZ[TTIn[MdW?F_kMAKLZ]Vo c W?Z]W?X]M¢nN\h_`kZ[WkM\hM`,o]T c T
MW?S/T c TUVW c nNTUn _`{h_ c S MATQkX]TZ]VTUM2nN\|FT c W?Z[{^KL\h_/Oo]T\|ZaORT c {|TI_=a\^Z[W?¢VW?Z]VX cRc TUZkOg_?{^_ c SMU]o[TUZ]VT
\|Od\hMdnNTUM\c _?i[{|T9Z[W?O¢OWnN\hMAO\^Z[?X[\hMo-ORo[TSa_`Z]n/M\|S/\^{^_ c {^K6W c Oo[T,\^ZaOT c {^TU_=L\|Z]}W?FVW?Z]VX cc TZaOº_`X]{OM
Á IY
Æ Å Å Å =!4§« T,\^{|{FZ[Wu5k\|kT}MW?S/Ti]_?M\^VnNT¨]Z[\|O\^W?Z]M$OW{h_=K/Oo[T c W?X[Zn[M
Á
Å
®·º-²`¼C¹.:[ªzE/ªzE/ª`¯GC :L³hwE- = Z[TO/³h²·§¯±³CF´|®
c
4 :[®¯® ²`¼C¹
²`¯®¹u³h! ªu³µ¼·'®·º,ªfm[{h_?VTIM}²`¼C¹-O c _`ZMA\|O\^W?Z]M'²u¼F¹
c#"
!%$ & '($) 9³h9·:]®+*Wu c TU{^_`O\^W?Z
, ®¼Cªu·³µ¼a» ¬¸.-·:[®-¯®´|²u·³ºªu¼F²u´OCC¯ªI¹
^
E·'&²u¼F¹¬¸0/
b
·:[®-·¯²u¼]±³µ·§³µ°u® E´|ªu
^
¯®/ªfY¬³µ¼C²`¯±¸¯®´|²u·³ºªu¼1/2
®· 6,c b ²u¼F¹13 ,c - 64ª`¯²¼CªI¹?®05Wj67&89}¹?®¼Cª`·Ì®9:;5
, < 5 =5 c 5?>·:]®¤m c TUMTO
²`¼C¹5@:
, < 5 =5 c 5 > ·:[®mCWkMAORMTOªfA5 = Z[TO6o[WkS/W?S/W c m[o[\hMAS f¯ªEB ·æª ,³h¤² E²yC C `DE&FHGI
c J&K
^
E9:·:[²`·D3
L C
! BX%
C
' XM $²`¼C¹
N fªu¯-®°u®¯±¸¼FªU¹k®5 ªf+6 COPRQ `:5
c : C S5 Y²u¼F¹ CTOQDP `J5@:
c C S5 :
³µ¼C¹
^
E®¬³ ®9E·§³ºª`¼[
U¤?'= Á Á Á U A'$W-Z[WNnNTUMV55 W`_Z]TO+ _ c TY³µ¼-Eªu¼XW$³E·'] c \|OAORTZ15ZY.5 L\|Oo]T c TgT¦N\hMPO
O c _?Z]M\OR\|WkZ]M+[\;[ j1 MX]Vo/Oo]_`O@Hº\K+[]^[ H\^\K : [`_ : [ ]ba[a_?Z]n Hº\|\^\K)[
65_`Z]nc[ 65 ¢5Z[WNnNT 5\^M,MR_`\hn¤ORWiT6\^Z¾®´f9F Eª`¼;W&³E·9\|d5@Y.5
Á
Å @
=}¼«WNVVX
cc
TZVTZ[TO-?
C³h¤²¼C®·|V c
R4¢³µ·:½·:[®®´^®E®¼·º¤ªf
E²`´µ´|®¹VWkZ]nN\|O\^W?Z]M²u¼C¹·:[ª=®ªf©TU?TUZkOM\¢²`·§³hf¸u³µ¼a»·:[®²?¹k¹u³µ·³ºªu¼C²`´9CF¯ªyC]®¯±·§³º®B3
L
¼Cª®´f9F Eªu¼XW&³E·<3 @5 j & ` 5@Y.5 !58
N
6 ³hY²NC]²u¯±·³º²u´ ª`¯¹?®¯B3 @5 j & ` 5 3 5 !8
@5 j & ` < 5 `J5 @3M5> 3 8
¼Cª¬R²)E 6 4²u¯R¹¬¯²u¼ E :N³µ¼a» 3Njk` : &
(VUVX cRc TUZ]VT Z[TORM_ c TX]MTX[{9ORW c Tm c TIMATUZkO/T¦NTIVXNOR\|WkZ]M/W` b TO c \,Z[TOM9MTTiTU{|WuIFTIMMTZaO\h_`{
n[KaZ_`S/\^VU_`{Cm c W?mCT c O\^TUM_ c T}L\^M\|i]{|TL\^_Oo[T}OWkmWk{|Wk?\hV_`{CMPO c XV±OX c T}W`ORo[T}i]\|m]_ c OR\ORTg c _?m[oLw+X[Z[{^\£ T
W c$b TO c \0Z[TOM T_kMMX[S/T2ORo]_uO9ORo[TMTO
, V $W`S/\^Z[\^S/_?{FZ[WNnNTUM&W` V #\^M9VW?ZaOR_?\|Z[TIn
\^Z!72WNnNTIMV5_?Z]nF5 F_ c T.ERª`¼ E ^
¯±¯®¼]·'] c \|OAORTZ15#"$J5 §N\|'Z[TU\ORo[T c 5
65 ºNZ[W c 5 65'LZ[W c 5@Y25
o]W?{hn0 Eª FÌ®·g\hM}_MATO%"W`dm]_?\
c
,\^MT-VW?Z]VX
cRc
TUZkOVW?ZnN\OR\|WkZ]MU_¤S_u¦N\^S/_?{ VW`æMATO&%6
c OIMTO
\^Z]V{|X]M\^W?Z \^M2VU_`{^{|TIn_ E ^ ·
Á
Á U A9o[TMPO_uOR\^V-MPO c X]VOX c TYW?dZ[TO\hMgk\|kTZ _nNKLZ]_`S/\hVM}a\h_S_ cR£ \|Z]kM|F} E²u¯76`³µ¼a»W?
Z]TO\^M,_SYX]{OR\æMATO(' `DHGI
c <*)
B&J,+`B(B( (>W? m]{^_kVTUMU
Á
Å
k
= b TO c \Z[TO?-
C¤³h-²IC[²`³µ¯ ' .'/ 4 :[®¯® 3³h-²¼C®· 4¢³µ·:¨]Z[\|OT ¼CªI¹?®
®·Y²`¼C¹0'/«²u¼5\^Z[\|O\h_`{IE²u¯76`³µ¼a»( j ³hTZ_`i[{^TUn ²u·'7 4¢¯±³µ·§·æ®¼1' I c2
6³f' 435
)
fª`¯¤®°u®¯±¸63 j%: [/7"f8' I c2
+[ E²`¼ ¨ c T ,´|®²?¹`³µ¼a» ·Ìª' , 9'#I%:[ #:7[R:;84¢¯±³µ·æ®' I c2 '
;
:]®/®· <='/ ªf
c
TU_kVo]_`i]{|TE/²`¯76u³µ¼L»u¤ªf ³h-·:[®wE²u´µ´|®±·2®· <-='/ .Eªu¼]·æ²u³µ¼³µ¼a»>' ²`¼C¹
^
E9:©·:[²`·?' j<-='/ ²`¼C¹@' I c2
' ·æª»a®·:]®¯³EDCC´¶¸A' j<-9';B-,®·¯±³2¼F®· ³hMR_uT
³f6' ! |X
<*)
& >Ifªu¯¤®°u®¯±¸' jC<-EDF ;G7"fV ³h-²f®\g³µ· :[²u² d¼]³µ·æ®/¼
^
E/¬®¯ªf¯®²)E :]²?¬´|®
±·æ²u·æ®±98$¹k®¼Fªu·æ®·:L³h6¼
^
E¬®¯²uH ;
TVWkZ]MA\hnNT c W?Z[{^KMR_uT b TO c \Z[TORM9o[T cTkNo[TZVT6S_ cR£ \|Z[aM9V_`Z iCT c TUk_ c nNTIn_?M9m]{^_kVT6MATORMU
-u
=
Å Á
I
Á
9
Æ -ÌÅ ºÆ
(VUVX
cRc
TUZ]VT¢Z]TORM V_?ZYMT
c
?T_kM_2MTS_`ZaOR\^VUMW
cb TO
c \
Z]TORMU\T?_
b
TO
c
\Z[TO MYiTUo]_=L\|WkX
c
V_`Z½iCTX[ZNWk{^nNTIn½\|ZaORW_?Z½WLVUVX
cRc
TZ]VTZ]TO,o[WaMAT¤MAO
c
X]V±ORX
c T
c
Tm
c
TIMATUZkOM$Oo[T6mCWkMRMA\^i[{^TT¦NTUVXNO\^W?Z]MF
Á
Å ?
=i
c
_?Z]Vo[\^Z[m
c
WLVTUMRMªfG-2®·¯±³g¼F®· ³h²>C]²u³µ¯GI' S6 C R4 :]®¯® ³h ²u¼
ª E9E
^
¯±¯R®¼ ER®¼C®·$²`¼C¹ C ³hY²:[ªEªEªu¯GC :L³hwE f¯ªzE ·æªAd¢
^
E9:·:[²`·D3
J
·:]®9¯®±·§¯±³ E·§³ºª`¼¤ªf
C
·æªDE³µ¼ S $³h9²¬³ ®E·³ºªu¼¬®·54®®¼iE³µ¼ S 9²u¼F¹D ?·:[®$®·ªf$³µ¼]³µ·³º²u´µ´¶¸
E/²`¯76?®¹ICC´|²)E®±DC&²u¼F¹
J
fªu¯-²`´µ´#KJLK j : K/ : K ²`¼C¹ C ,K; C ,K ·ÌªR»k®·:[®¯6³E CF´¶¸K MK
4'ªu¯I I 2·4ª ¬¯R²u¼ E9:L³µ¼L» CF¯ª ER®®±RI g³h² m c T¨[¦ ?§®®¬®´|ª 4 C ª f&I>4¢¯±³µ·§·æ®¼>I ONPIg³f/·:[®¯®
®k³h±·º,²u¼³µ¼; ®9E·³µ°=® :[ªzE/ªzE/ª`¯GC :N³hEPQ f¯ªE ³µ¼·Ìª+60
^
E9:/·:[²`·RQ5³µ¼F¹
^
E®,²-¬³ ®9E·§³ºª`¼ ¬®·4®®¼
·:[®Y³µ¼]³µ·³º²u´E
^
·§ ²`¼C¹S $²u¼C¹¤·:]® EªzE C]ª=±³µ·³ºªu¼ C -TQ ERª`³µ¼ E³º¹?® 4¢³µ·: C
KORo[TW
c
TUS s W`rI¡?Oo[T
c
T9T¦L\hMAORM¢_X[Z[\QaX[T|HX[mORW_?Z/\^MW?S/W
c
m[o[\hMS>KN9ÌS/_`¦N\|S_`{Li
c
_`ZVo[\|Z]
m c
WNVTIMMUNV_?{|{^TUnOo[T
^
¼fªu´|¹`³µ¼a»W`@z_`Z]n nNTZ]W`OTIn
Á
Å = ^ ¬ Fæ¼F®· ªf ³h²HºMAO c X]V±ORX c _`{Km c T¨[¦©ª f)d,4¢¯±³µ··Ì®¼ NM6³
L ? X
N
³h-V_?X]MR_`{^{|KV{|WaMATIn03,³f5
65 ²u¼F¹05 j d·:[®¼K5 j &²u¼F¹
fªu¯-²`´µ´ ®°=®¼]·§8K KIj©³EDCC´¶³º®6KD:@X
; :]®®·ª fCF¯® TL®±g³h6¹?®¼Cª`·Ì®¹ =kCC¯® ©ªf1V ³h²VW?ZN¨?X c _uOR\|WkZ ³f¾³h6VW?Z *\^VOAc TUT
$³µ®;Y¼Cª¤·54ª¼CªI¹?® f¯ªE²u¯R®Y³µ¼Eªu¼;W&³E·8,¹?®¼Cª`·Ì®/²= ·:[®Y®·9ª f-²u´µ´Eªu¼ »
^
¯R²u·³ºªu¼[R&²`¼C¹
²u !"E·:[®
^
¬®·9ªf# Eªu¼·Ì²`³µ¼]³µ¼L»¤·:[® d¼³µ·Ì® ERª`¼ »
^
¯²`·§³ºª`¼[
TUVU_`X]MTW`gj$W?ZnN\OR\|WkZ _ ¨]Z[\|OT¤VWkZN¨]kX
c
_`O\^W?Z$¾OT
c
S/\^Z]_uORTUM_`O-_VX[OU ,o[\^Vo½&T¤nNTZ]W`OT
% W
c
'&]fgTUZ[W`ORT/Oo[T¤MTOW?&VWkZN¨]kX
c
_`O\^W?Z]M_kM"_UE²k³E²u´VWkZN¨]kX
c
_`O\^W?Z H6
c OUMTO
\^Z]V{|X]M\^W?ZK\hMV_?{|{^TUn½_¾¯
^ ¼ _`ZnxkTZ[T
c
\hV_?{|{^K nNTUZ[W`ORTUn)(2$T¤nNTUZ[W`ORT/Oo[TMATOW`
c
X[ZM6_?M*?[W
c
_?ZTU?TZaOSKk[nNTZ]W`OT6_kM+ K-,Oo[T6MS/_?{|{^TUMAO2VWkZN¨]?X c _`O\^W?ZVW?ZaOR_?\|Z[\^Z[>Kk[_`Z]n _?M.0/K-132$Oo]TMS_`{^{|TIMPO
VW?ZN¨?X c _uOR\|WkZxVWkZaOR_`\^Z[\^Z[ :K? T¤Z[W`ORT/Oo]_`O4 N\hM_VWkS/m[{|TOT¤{h_uOO\hVT Hº,\ORo©X[Z[\^W?Z _?M
ePWk\|Z_`Zn\^ZaOT c MTUV±OR\|WkZ_kM$S/TUTO,W?mCT c _uOR\|WkZK±[_?Z]nORo]_uO 5 N\^M,_/VWkS/m[{|TOT{^Wu$T c MTS/\^{^_`OAO\hVT
o_=a\^Z[ 4! NY_kM-_¾VWkS/m[{|TOT {|Wu&T c MAX]iNÌMTS/\^{^_`OAOR\^VT? A'$W¾VW?Z[¨]?X c _uOR\|WkZ]M _?Z]n 9_ c T
EªzE C]²u·³º¬´^®[ c \|OAOTUZ687 §a\|) & \hM9_-VW?ZN¨?X c _uOR\|WkZ(}iLL\^W?X]M{|Kk>N9 F\|S/m[{^\|TIM87 §Li[XNO
Z]W`OL\hVT,?T c MR_[72W?OT,X c Oo]T c ORo]_uO:7$\^Mg¼Cªu·C_`Z/TQaX[\^u_`{^TZ]VT c T{h_uO\^W?ZF\^ZR?'\^?X c Tgs[`OR_ £ T2_kM; Oo[T
\^Z[\|O\h_`{¢VX[OU
, < !Ì0,o[T c T< \hM}Oo[T c TK=<{h_`iCT{^TUn TkTZaOU0_`Zn)">
, ?!Ì,\ORo8?«Oo[TW?Z[{^K
?{h_`iCT{^TUnxTkTZaOW?ZxOo[T{^Wu&T cc \^?oaO6o]_?Z]nxM\hnNTW`B?'\^?X c T¤sNRA9o]TZ@ 7
_?Z]n$ 7">`'i[XNO
A
7BC> ±D?]W c _?ZT?TUZaOGKF]jD MAX]VoORo]_uOA: KiXE _`ZnMAX]VoORo]_uOZ[W¤TU?TZaO2\^Z)\hM2\^Z VW?Z *]\hV±O
,\|OoFKkCVU_`Z¤iCT@Eªu¼ E²`·Ì®¼C²`·Ì®¹g,\ORoBKkN c \|OAORTZFG KkN\^Z¤Oo]\^M9V_kMATkLW?Z[TnNTUnNXVTUM&TI_?M\|{^KOo]_`O+:K
S-X]MAO}iCT_ VWaMATO}W`
6ÌS_u¦N\^S/_?{'VW?Z]nN\|O\^W?ZM}\^Z)_`Z]nOo[T Eªu¼ E²`·Ì®¼C²`·§³ºª`¼FHK
,9& < K> &CKD:
\hM}Oo[T/MS/_?{|{^TUMAOVW?ZN¨?X c _uOR\|WkZOo]_`OVW?ZaOR_?\|ZM
< K > &|A9o[T c T{h_uOR\|WkZDG¥_`ZnOo]TVW?Z]VU_uOTUZ]_uOR\|WkZ
WkmT c _`O\^W?Z¤T¦LOTZnORW-m c T¨[¦NTUMF c \|OTIGK\ ?̳CA: K|XJ'H\Tk : K\^M&Z[W?O9Z]TUVTIMMR_ c \^{|K/S_u¦N\^S/_?{K
_?Z]n ?̳µ³C6K|j
] N_`Z]nnNTZ[W?OTka\^ZORo]_uO,V_kMATka_kMKIH K
,E& < K >&>KD:2ORo[T Eª`¼ E²u·æ®¼F²u·³ºªu¼ W?L _?Z]nCKkNA9o]T-VWkZ]V_`OTUZ]_uOR\|WkZ WkmT
c
_`O\^W?ZkTZ[T
c
_?{|\^¿TIM9OWm]_`\
c
M2W`VWkZN¨]kX
c
_`O\^W?Z]MU]\^ZORo[TWk{|{^Wu,\|Z]
9_=K?
M- Å- Å
uN Å gZLKY¨]Z]\ORTVW?ZN¨]kX c _uO\^W?Z c W?S Oo[T}X[ZNW?{hnN\^Z[ ANH C
W? '6 '/ 9\^Z]nNX]VTUM}_7:L³f· c WkSORo[TYW c \^?\^Z]_`{0Z]TO S6.'/;9OW2 & '6 ' & 9,\|Oo
X]ZNW?{hnN\^Z[O & & & %N & C& ±],o[T c T
'&
, C %
\hMOo]TS_
c£
\^Z[ _kMMWNV\h_uORTUnORW Oo[TVX[OkTZ[T
c
_`OTIn iLK)iA9o[TUZW
c
_`ZLK Wj9"P&[Oo[T
c
T\^M6_
X]Z[\QaX[TVWkZN¨]?X
c
_`O\^W?Z)- j8ORo]_uO&o]_?M!_kMdm
c
T¨]¦/_?Z]n¤MX]Vo/Oo]_`O/A)- ]
\^M\^MW?S/W
c
m[o[\hV`
Q
p0Ú písoso ×ÙFÛ=íìºÙí q±ÕIíìÞ9Ü`ÚæÙp0ÚPÚ
R ì§ÚPÚ
ì
!S
Ï
Û ì ÊÏ
×
×Û=ÚPìçÕ=ì§í q¢ìÚæÙÚUÙ§Ú ìí× ìCÚPÙ§å
Ù×d×±Ö`ÚPØ
Ù§Ú
× Ù§Þ=Ú¢åPױاغÚPìÖ`× Û=í q ÚæÙ§ìçu×±ÜUÙ
í ÚPÛ
ìÙ§Þ=Údí Û=Õ=åPÚPÛì§Õ=Ü ÚæÙ§ì ×
Ù§Þ=Ú
&Ü=íÚ Ù ÚæÙ