HAL Id: inria-00072335
https://hal.inria.fr/inria-00072335
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-
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,
Markov Nets: Probabilistic Models for Distributed and Concurrent Systems
Albert Benveniste, Eric Fabre, Stefan Haar
To cite this version:
Albert Benveniste, Eric Fabre, Stefan Haar. Markov Nets: Probabilistic Models for Distributed and Concurrent Systems. [Research Report] RR-4253, INRIA. 2001. �inria-00072335�
a p p o r t
d e r e c h e r c h e
THÈME 4
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Markov Nets: Probabilistic Models for distributed and concurrent systems
Albert Benveniste, Eric Fabre, Stefan Haar
N° 4253 – version 2
version initiale Septembre 2001 – version révisée Mai 2003
/),"#/1243!*5687
9":<;>=@?BA-C1=@D*EF=GDH<I$AJ=LK>M?NHPORQTSL;?N=UK>V4AJ=XWYSLD[Z)SFSU?]\
^`_ba$cedgfihkjmlnc0obprq'stlvuGwds#uXxystlvcelrz{q|s{lnuXw
} dz{~mzYs{aBcedBz#uGcexbpvd$ydBz
Ttu|d$s jmlvGc!qG
qXxbxLuX{s } d{dN_bd$_bdwLfmXX!Gd$zYlnuXwGhGd$zYlnuXw"lvwblvs{lrq|pndjyd$xystd$cebtd0|X#hGd$zYlnuXw
t$mlnz{$dRq|lXXXf@xq|GdBz
- B¡$¢'£b¤X¡X¥ ¦
uG
}
lrzst{lnboystd
}
z{~yzstd$c!zB§lP¨dX¨n§#prq|tXdRuGcexbpvd$©wbdsªuXt«Xd
}
z{~yzstd$c!z$§s{_bdB{dRlrz-q
} tqGzstln } lv¬LdB{dBwd!Ldsªd$dBwqpvuy$qXp]mlvdBªqXw } «@wu'ª#pvd } Xdeu|®s{_d-zY~yzYs{dBc)§q|w } lvstzGpvuGq|p]mlnd$ª¨
¯ lrzst{lnboystd } z{~yzstd$c!z#_qJGdpvuy$qXpzYstq|s{d0qXw } s{lncedX§Lboys } u°wbu|s xUu@z{z{dBztz#XpnuXUq|p4zYstq|s{d0qXw } s{lnced0lnw
st_bdiozYoUq|pzYdBwzYdG¨ ±w²s{_blrz³xq|xLd$N§Fceu|s{ln'q'std } m~)s{_d1ceuXwl´stuXtlvwb"u|® } lrzYs{tlvbobs{d } zY~yzYs{dBcez³q|w } lnw
xUq|{s{lrobprq|uX®#s{dBpvdNuXcec1obwblr$q'stlvuGwzwdsªuXt«mzB§ªd } d$XdBpvuGxqRGd$wbdBtqXpvlnµBq|s{lnuXw¶u|®·RqX{«Gu'¸_qXlvwz
qXw } _bl}b} d$w"Rq|t«Xu'ceu } d$prz·¹<º1» »·¼®½uG } lrzst{lnboystd } qXw } uXwUobt{dBw@s>zY~yzYs{d$c!zB¨¾~iquXwUobt{dBw@s
z{~yzstd$c§`ªd¿cedNq|w©qzY~yzYs{dBcÀlnw©ª#_bln_©$uXcexUuGwbd$w@sz!c!qJ~Ád$GuXpnXdlnw } d$xLd$w } d$w@s{pn~X§`ª#lvs{_Âz{xq|z{d
z{~mw_btuXwblnµBq|s{lnuXwzB¨Ã¸d®½uGpvpnu'ªÄqez{u|Å$qXpvpnd } s{tobduGwo{td$w$~°q|xbx{u@qX_§mlnw)ª#_ln_wbdBl´st_bd$GpvuGq|p
zYstq|s{dwbuGXpnuXUq|pFs{lnced0q|tdqJ'q|lnpnqXbpvdG¨T±wzYs{dNq } §bªdoz{duXwpv~"pvuy$qXpzsq'stdBz#lnwRuGc0blnwq'stlvuGw"ª#lvs{_Rq
xUq|{s{lrq|pFuX } d$#ceu } dBp*u|®s{lncidG¨Æ ob#qGzYlr³ceq|s{_bdBc!q's{lr$qXpFs{umuXp*lrz`st_q'suX®dst{lwdsobwy®½uGp} lvwb@z$¨
^`_blrz{dBxUuGYslnzq|w!d$@std$w } d } Gd$zYlnuXweuX®*s{_bd³xq|xLd$ª#l´st_"ztq|ced#stl´stpvdG§yª#_bln_-ª#lvpnpLqXxbxLdBq|lvw-s{_bd
ÇtÈTÈTÈÉbÊ{Ë|ÌbÍ$ËXÎ$ÏPÐÒÑ|ÌbÍ1Ñ|Ì)Ó ÔyÏÕÑ|ÖeË|ÏPÐÒÎ-×TÑ'ÌUÏPÊ{Ñ|ØÚÙ|XGb¨
Û¿Ü@ÝFÞtß0à ¢'á X¥â} lrzst{lnboystd }R} lnzttdstd0d$Gd$w@s³z{~yzstd$c!zB§Ld$s{tlwbd$stzB§Fxb{uGq|lvpnlnzYs{lrceu } dBpnzB§Fobwy®½uXp} Å
lnwb@z$¨
ãä4åNæÚç·èJéèXêëæÚçìJêìJæÚíYétî<êì)îPïeðñòéæÚó"ôFêóJçPï+õJç<ç<éó@ö÷nï+ëåJæÚçø+ùtîPåúJæÚë½îPåJì'éYûü²äåJæÚç#ý*ï+ëÒþ°ý*éç·çPõJèJè|ï+ë½î<êìúû
î<åJê·ÿÿyäèJëÒïÒêYíîgð ðö@÷nõJóNìJêìeú$û0îPåJêgæÚóJæÚçPîëPêìJêñòéÿêYí<åJêëPíÕåNêLïîPåJêëè'éë½îPóJêëPç#ï÷îPåJê èNëPïÒêíî#éëÒê
ë<éóJíêmäyêñÚêíï)ÿöNðñÚíYétî<êñröñÚïJö|éóJìbéëÒæÚç4ï+ëPìóJæêëÒç<æîûü
½ÿ! Bð"#ÿð>ö%$*é#èJõJç)ìNê¸ôFêYéõJñÚæÚêõ@ö'&(+ù)+*ÿêóJóJêçíêìJê-,Gö
ëPéóJíêü.$Fï+ëPëÒêç<è|ï+óJìJæÚó éõNîPåJï+ëðñ
úXêë½î{üôFêó+êóJæÚçPîPê0/æÚëPæÚç<éNü÷në1$î<åNæÚçFý*ï+ëPþ`ý*éç*çPî<éëÒîPêì ý4åJæÚñÚê |ü2>üýéçFý4æî<å3íYï+ñÚêóJï+ë!éñÚêç<õNè54ëÒæÚêõJëPê+ö674YèJéëÒîPê8#êYóî
ì:9óN÷vï+ëétîPæ<;BõNê="=>13? Xö:)+( ÿ4õNêì:94ñ<göA@(*&+ùbéëPæÚçB$FêìJê-,0ù(NöyéóNì0çPõJèJè|ï+ë½î<êìiúû'3?¸èJëPï#PêíîBCD#CEGF5HFJI
KML7NO:P
ü
Q
äåJæÚç`æÚç#éç<æ<+óNæR'íYéó$îPñû°ëPê-BæÚç<êìSêëPçPæÚï+ó"ï÷ÿÿT)+*(&ý4æî<å!îPåJêgç<é#êîPæîPñÚêüU Bê-êëPéñ#æÚçPî<éþ+êç`å'é8êgú|êYêó
íYï+ëÒëÒêYíîPêì@ö5éæÚóJñû#íï+óJíêëPóJæÚóîPåJêTóJïîPæÚï+ó³ï÷çPîPï+èJèJæÚóî<æ<#ê÷nï+ëéëÒþ+ï0·óJêî<çYü
¥ ¯ qXwzd$s0q|{s{lrpndewbuXozs{dBw } uGwzprq"wu|s{lnuXw }q|obs{uXc!q|s{d°zYs{uy_qXzYs{l@obd } dBzz{~yzÅ
sta$cedBz]$uXw$obt{dBwGsz$¨4TpvoUz]xbtBlrz{$ced$w@sB§'wuXozc0owblnztz{uXwzpndBz]#NzYdNq|oy } d`dst{l }obwdzYBceqXw@s{lGod
}uG} td`xq|{s{lnd$p<§Xd$sTwbuXoUz]sto } lnuXwzT$uXceced$w@sTxbtuXqXblnpvlrzYdB]pvdNz]uX } tdBzxqXYstlvdBpnz]ceu } Bpvlrz{qXw@sTpvdNz]dyÅ
$oys{lnuXwUz } ds{d$prz]tBz{dBqXoy*¨ds{s{d#sto } d#dNzs]ceu|stlvG$d`xq|]owbd#zYB{lnd } ds{qJJqXoymlnztq|w@s } $Gd$pnuXxbxLd$
owbdq|pnXuG{lvs{_bcel@obd uG{lnXlnwqXpvd³xUuGob#pnd } lnqXXwbu@zstln } lrzst{lnbob } dNz#tBz{dBq|ob } dgs{BpvNuXcec1obwblr$q'stlvuGw¨
à
¡N
Þ
¤
1¥
z{~mzYs{aBcedBz
}
lrz{${d$stzB§XtBz{dBqXoy
}
d#dst{lzYs{uy_qGzstl@obdNz$§GuXwUobt{dBwd`mq|lndX§
}
BxbpnlnqXXdX¨
0/0#/0
à ¡b£y¡à
Ü ¡B¢ Ü ¡B e£ á Õà Pá 4£b £b¢N¡Ò£ à ¢'á Ü ¢ à á Ü Ò à áÒ B¡$¢½ ¡ Ü á Ý B¡ Ü
b¨v ¦ {uGc $uXw$obt{dBwGs4qXoys{uGc!q'stq#s{uxqXYstlnqXpXuG } dBceu } d$przqXw } dst{l@wbdsz! q|wlnwy®½uXtc!q|p
} lnztoztz{lvuGw ¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨
b¨¾`qG«@G{uGobw } wu|s{lnuXwUz`uXwds{tl*wbd$stzqXw } st_bd$lnobwb®½uXp} lvwGz¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ "
#
eáá ¢ à £y$Ò¡ Ü G¥ £y¢&% à Ü ¡B
¨v ²q|t«Xu'ewbdsz0¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨G
¨¾q|w_lvwbixbtuydBztz{dBz`q|w } zYs{uGxbxblnwbis{lncidNz ¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨N
¨b¨v ^`_bd$qXz{dgu|®]q|oystuXc!q'sq"¹PzYdBd ¦ lvU¨"G¼-¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨N
¨b¨ ^`_bd$qXz{dgu|®XdBwbd$q|pFdst{l*wbd$stz¹P+®¨ ¦ ln¨'@¼¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨Bf
¨)( Golvxbxlvwb!owy®½uXp} lnwbGz#uX®dst{l4wbdsz`ª#l´st_)x{uGq|blnpnl´stlvdNzĨ¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨J
¨¨v _buXlrd$ÅÕ$uXcexqXsd$s{tl*wbdsz$¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨J
¨¨ ^`_bd$qXz{dgu|®®½{dBd_buXlrdgdst{l*wbd$stz ¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨*
¨¨ ( @oblvxxblvw°_buXlrd$ÅÕ$uXcexqXsd$s{tl*wbdsz#ª#l´st_xb{uGq|lvpnl´stlvdNz#¨¨g¨¨g¨¨¨³¨¨+
¨f ^`_dRq|t«Xu'exbtuXxLd${s~ ¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ X
¨ ±w¿RqX{«Gu'ewbdsz$§$uXw$obt{dBw~!c!q's_bdBz#zYs{uy_qGzstln lnw } d$xLd$w } d$w$d°¨¨g¨¨g¨¨¨³¨¨ b
-,¿£ á.UÜ/Ü ¢J£ N£ ÕÜ0Ü ¡N
fU¨v21 zYlnwb!xbtdÅz{d$pndB+stlvuGw ¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ G
fU¨)3·u'ªÂstu°_bdB«!lv®x{d$ÅÕz{d$pndBs{lnuXw"®Òq|lnpnzstuiªuXt«4 } uXobpv~-$uXcexbpndstdxb{d!5b ¨g¨¨¨³¨¨ |f
fU¨Ã©_Uq's_qXxbxUdBwz#lv®x{d$ÅÕz{d$pndBs{lnuXw°®ÒqXlvprzs{u!ªuXt«¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ 6"
"Ü P£y¡ Ü á ß0à ¢&% 87
9;: Ò N¤ B à< £ á= Ü ¢J Ü ¤|¡> Ü #?
@
Ü/
áA]¥
¢ à á¤X¡B
à
£b¢%
à Ü
¡B ³£
á
£b¢%
à Ü
¡B
ß
½¡B¸¢'£
á à Ò£y
Ü
P
#C
D ¨v ²q|t«Xu'ewbdsz#ª#lvs{_tqXw } uGcpnqXUdBpnz⨨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨
D ¨>{u } ostz·¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨
E @ Ü/ áA]¥¤ à Ü ¤X¡ ¢ àà<
##
¾³¨n>{umu|®u|®$FdBcic!q) ¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ G
¾³¨ÚÀ>{umu|®u|®$FdBcic!qif ¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ G
¾³¨ ^`_dHG·uGpvceuXGuXtu'0d$@std$wz{lnuXw¿q|tXobcedBwGs¿¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ Xf
¾³¨f >{umu|®u|®s{_bdBuXtd$c ¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ Xf
¾³¨ÚÀ>{umu|®u|®s{_bdBuXtd$c((¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ /+
¾³¨* >{umu|®u|®s{_bdBuXtd$c2¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ '
¾³¨I+ >{umu|®u|®s{_bdBuXtd$cf ¨g¨¨g¨¨g¨¨¨³¨¨g¨¨g¨¨¨g¨¨g¨¨³¨¨g¨¨¨g¨¨g¨¨g¨¨¨³¨¨ '
g+ ³g0/"
^`_d } lv¬LdB{dBwd"Ud$sªdBd$wqØvÑNÎË'Ø@lnd$ª&qXw } «mwbu'ª#pvd } Xd!uX®·q } lrzst{lnboystd } z{~yzstd$c q|w } lvstz|ØnÑË'Ø
mlnd$ªlrz $uXwz{l} d$q|bpndX¨ D zgq|w²dbq|cexbpndX§Flvs lrz³z{lncixpv~wbuXs³xLuGztzYlnbpndstu-uXUzYdB{GduX } dstd$tcilnwbd1s{_bd
GpvuGq|pzsq's{d0u|®Tqes{dBpvdNuGcic1obwblr$q|s{lnuXwz#wdsªuXt«L¨`±wRq!wdsªuXt«Xd } z{~mzYs{dBc§UdNqX_wbu } dxLuGztzYdNz{z{dBz
totally ordered local time
communications distant times:
ordering given by
¦ lnXobtde6 ]^`_bdzYs{to+stobtd³uX®4stlvcedlnwqiwbd$sªuG{«Gd } zY~yzYs{d$c¨
lvstzu'ª#w°pnuy$q|pLzsq'std q|w } s{lncedX¨ FuyBq|pbstlvced³lnz>s{uXstqXpvpn~euX } d$td } qGzToz{oq|p<¨ 3u'ªd$Gd$N§|s{_lnzwbu0pnuXwXd$
_uXp} z®½uX`XpnuXUq|pFs{lncedX¨>jm_Uq|tlvwb1s{lncedUd$sªdBd$w } lrzsq|w@s#wbu } dBz#td @oblntdBzdyxbpnln$l´s·z{~mw_btuXwblnµBq|s{lnuXw
qG+stlvuGwzgq|w
}
lnz$d${stq|lnwbpn~wbu|slnwzsq|w@stqXwbd$uGozi¹Òz{d$d
¦
lvU¨$N¼¨3·d$w$dX§*d$Gd$w@stz ®½tuXc
}
l´¬Fd$td$w@sgwbu
}
dBz
qX{d³uXwpv~"xq|{s{lrq|pnpv~!uG
}
d$td
}
¨Tjmlncelvprq|tpv~G§bboblnp
}
lvweqeGpvuGq|p*zYstq|s{dtd @obln{dNz@q'st_bd$tlvwiq!$uXwz{lnzYs{dBw@s
z{ds!uX®·pvuyBq|pzYstq'stdBzB§Tª#_blr_ lrzewbuXsedNqXz{~¹Òz{d$d6*#®½uG1st_blrzis{uXxlnN¼+¨ ^4u zYocic!qX{lnµ$dG§>wbd$sªuG{«Gd
}
z{~yzstd$c!zxLuGztz{dBztzpnumBq|pzsq's{d"q|w } stu|sq|pnpv~¶uX } d$td } pnuy$q|p>s{lncedX¨³pnuXUq|pTstlvcedG§]_bu'ªdBXdBB§lnz0uXwbpn~
xUq|{s{lrq|pnpv~!uG } dB{d } §bq|w } lvslnz`x{d$®½d$t{d } wbuXs`s{u°uGwz{l} dBs{_bdGpvuGq|pzYstq|s{dX¨
±w¸s{_blrzgxqXxUdBB§*ceu|stlv'q|s{d } m~s{_bdeceuXwl´stuXtlvwb"u|® } lnzYs{tlnboys{d } z{~yzstd$c!zgq|w } lvw¶xqXYstln$obpnqX uX®
std$pndB$uXcec0obwlnBq's{lnuXwUzwbd$sªuG{«yzB§ªd } dBXd$pnuXxRq°Xd$wd$q|pnlvµNq's{lnuXwuX®>zstum_UqXzYs{lr0q|obs{uXc!q|stqb§LRq|t«Xu'
_Uq|lnwz$§uX 3·l}} d$wÁ²q|t«Xu'²¿u } dBpnz-¹Pºi»·»·¼§®½uX } lrzYs{tlvbobs{d } q|w } uGwo{td$w@s0z{~mzYs{dBc!z_qJmlvw
pnuy$qXpzsq's{dNz#q|w } xqXYstlnqXpvpn~°uX } dB{d } s{lncedX¨
D zªd>z{_q|pnpmzYdBdX§'qwq|s{obq|pGceu } d$p@®½uXzY~yzYs{d$c!zª#l´st_pnumBq|pmzsq'stdBzq|w } xUq|{s{lrq|pnpv~³uX } d$td } stlvcedlnz
st_q'su|®]Í$Ë $ÏPÊ+ÐÌ<$ÏÒÍ]^`_dBz{d q|tdlnw@s{tu } od } lvwjmdBs{lnuXw"b§Gª#_d$tds{_d qXztz{um$lnq|s{d } zst{os{obtd·uX®
tobwzlrzq|przYu xb{dNzYdBw@s{d } §'ozYlnwbgzYuXÅÕBq|pnpvd } Ì<$Ï4ÔyÌÑ'Ø|ÐÌ|Í>Æ XdBtqXpvp<§Ns{_bd`c!q'std$tlnqXpGuX®LjmdBs{lnuXw!uX¬LdBtz
wu|s{_lvwb0wbd$ª¨
D
pnpbst_blrz>lrz]®½uGpv«mpnuXtd#u|®uGcixoys{dBztlnd$w$dboyslnz>pvlvsYstpvd «@wu'ª#wiuGoystz{l} dX¨TjmdN+s{lnuXw°lnz
st_bduG{d³u|®uXob$uXw@s{tlvoys{lnuXw¨Ã¶dzY_bu'ªÄ_bu'ª©stuiwUq's{otqXpvpn~!d @oblnxd$s{tl*wbdsz`ª#l´st_xb{uGq|lvpnl´stlvdNz$§
lnw²q-ªqJ~¿uGcexq'stlvbpnd0ª#lvs{_²s{_bdBlv³xqXYstlnqXpuG } dB z{d$c!q|w@stlnBz$¨ ±w²xqXYstln$obpnqXB§Lªd0td @obln{dst_q's³sªu
5U{lnwb¸z{d @obdBwdNzst_q's } lv¬LdBiuGwbpn~¶mlrq¿st_bd$lnelvw@s{dB{pndBqJmlnwb¿_qJGd-l} d$w@s{lr$qXppnln«Xd$pnln_bumu } ¨¶Ã¶d°st_bd$w
lnw@s{tu
}
od²Ë'ÊGÑ!Ì4ÏPÍÙFqex{uGq|blnpnlnzYs{lr³dms{dBwzYlnuXw)u|®dst{lwdstz·lvwª#_blr_UuXs{_¿zYstq'stdBzqXw
}
s{_bd
x{uGXtdBztz·uX®>s{lnced°q|td1pnuy$qXpP¨!RqX{«Gu')wdstzqXpnz{u_qJXd1s{_diwln$d!xb{uGxUdBYs~st_q'sN§4lnwy®½uXtc!q|pnpv~Rztq|l } §
$uXw$obt{dBwGs_buGln$dBz#qX{dzYs{uy_qGzstlnBq|pnpv~°lnw
}
dBxUdBw
}
dBwGsN¨Ã¶d0z{_bu'ªÄs{_q|s Rq|t«Xu'!wdstz·z{q|s{lrz®½~zYuGced
z{xLdBlrq|p«mlvw } uX® Rq|t«Xu'¶xbtuXxLd${s~X§]ª#_blr_ qXxbxLdBq|ziqXz0s{_bd){lnX_@seXdBwbd$q|pnlvµNq'stlvuGwu|®st_bd)zYs{tuXw
²q|t«Xu'RxbtuXxLd${s~¸®½uX1$pnqGz{z{lr$q|pº1» » zuXiRq|t«Xu'¸_q|lnwzB¨¶Æ ob1$uXwzYs{tos{lnuXw } umdBz1wbu|s1ªuG{«
®½uGGd$wbdBtqXpdst{lFwbd$stzB§m_bu'ªdBXdBB¨±Õstd @obln{dNz>z{uXced zYs{tos{obq|pFuGw
}
lvs{lnuXwz>s{_q|s`qX{d·lvw"xq|{s{lrobprq|
ztq'stlnz 5d
}
m~ ®½{dBd)_buGln$d-wbd$stzB§>bobs!qX{d"lvwÁ®ÒqXseceuG{d"Xd$wd$q|p<¨.3 q|w
}
pvlnwb¶Xd$wd$q|pg¹Òztq'®½dN¼0dst{l
wdstz lrzlnw@GdBzYs{lnGq|s{d
}
lnwRz{dB+stlvuGwRf¨ #d$prq'std
}
ªuXt«-lrz
}
lrztoztzYd
}
lvw¶jmdBs{lnuXw¸b¨
¦
lvwqXpvpn~X§*jmdN+s{lnuXw0*
uGoys{pnlnwbdBz#z{uXceduGwpnoz{lvuGwz#q|w } xLd$zYxLdBs{lnXdBzB¨
Â4 /)À/) ,)/)%' )/0 )` 56! "#À%
"$*4+,°# 83!56
!"#%$&'&()*,+- .+(/0+213,'
/54)%'67*89(:+';/<=/"/<'
±west_blrz>z{obz{dB+stlvuGw!ªd } lnztoztzTlnwy®½uG{c!q|pnpn~0ª#_m~0dst{lUwbdsz>qX{dqXw°q } d GoUq's{d`®½q|cedBªuG{«stuceu } d$p
} lnzYs{tlvoys{d } z{~yzstd$c!zª#l´st_1pnuy$qXpbzsq's{dNzq|w } xq|{s{lrq|pmuG } dBciu } dBpyu|®Us{lncidG¨Ã¸d#uGwz{l} dB]q|oystuXc!q'sq
>#?A@CB)D7E=DGFHDI8JLK
§ª#_bd$td
B
q|w } E
qX{d1s{_dez{dsz³u|®zYstq|s{dNz³qXw } d$XdBw@stzB§
F
lnz³st_bdis{q|wz{lvs{lnuXw²tdÅ
prq'stlvuGw§Tq|w } I,J
lnz0s{_d-lnwbl´stlnqXp#zsq's{dG¨¸^ªu¶zYoU_Áq|oystuXc!q'sq
>NM
§TtdBz{x¨
>NMM
§>$qXwd$lvs{_bdBexUdBY®½uG{c
x{ln'q's{d qX+stlvuGwzB§XuX$q|w°z{~mw_btuXwblnµ$d#m~1d$cel´s{s{lnwb0l} dBwGstlnBq|pUpnqXUdBpnz>UdBpvuGwbXlnwbgs{u
E MMPO E M
¨^`_lnz>lnz
lnpnpvozYs{q'std } lnw ¦ ln¨tª#_bd$td·ªd z{_bu'ª©qtobw!®½uGqxUq|ln >NM,QR>SMM uX®4uXwUobt{dBw@s>q|oystuXc!q'sqb¨±w°s{_lnz
2’ 3’ 3’ 1’ 1’ 4’
3" 1" 2" 2" 3" 1"
¦ lnXobtd D tobw)®½uXqixq|ln >NMQT>NMM uX®$uXw$obt{dBwGs#q|obs{uXc!q|stqb¨
5UXobtdX§bpnuy$qXp4zsq'stdBzqX{dtd$xbtdBz{d$w@std } @~lnpndBz¹Òª#l´st_s{_bdBlv wq|cedBzB§bxbtlncid } q|w }} uGobbpndxbtlvced }
®½uGst_bd 5zsiq|w } z{dB$uXw } qXoys{uGceq|s{uGw§{dNzYxLdBs{lnXd$pn~b¼gq|w } sttqXwz{l´stlvuGwz0qX{d°z{_bu'ª#wqXz{dN+stqXwbXpndBz
¹½s{_bdBlvgprq|Ld$przq|td0uGcilvsYstd } ¼¨ij@sq'stdBz³u|®
> M QU> MM
q|td0xqXlvz³u|®>pnuy$qXpzYstq|s{dNz$§ } dBxblr+s{d } m~sªu"pnu|Å
Bq|pzsq's{dNzpnlvw«Xd } @~ qRG{dB~²µBuXwbdG¨
D
t{u'ªz0q|w } tdBstq|wXpndBz0Bq|wLd"z{uXpnl} uG } qGzY_d } ¨²¯³qXz{_bd }
qX{tu'ªz³q|w } tdB+sq|wbGpvdNz } d$xlnsWVYz{lnpvdBwGsX1sttqXwzYlvs{lnuXwUz$§lvw ª#_blr_¶s{_bd-$uXwz{l} d$td } q|oystuXc!q'stuXw } umdBz
wu|s _qXwbXd0l´sz·zYstq'std1qXw
}
d$celvstz wbu|st_blvw²¹st_bdBz{d
}
ocic1~-sttqXwz{l´stlvuGwz_qJGduXwbpn~"s{_bd1xbobtxUu@zYduX®
pnds{s{lnwb"s{_bdeu|st_bd$qXoys{uGceq|s{uGwRxbtuXXtdBztz¼+¨jmuXpnl
}
q|ttu'ªzq|w
}
{dN+sq|wbGpvdNz
}
dBxblr+sd¬FdBs{lnXd1s{q|wz{l´Å
stlvuGwz³lvw¶ª#_blr_¶z{uXcediceu'XdilnzgxLd${®½uXtced
}
qXw
}
q)prq|Ld$p]lrz³d$cel´s{s{d } ¨ D
pnuXw"tdBstq|wXpnd0lnw
}
lr$q'stdBz
q¸zY~mw_{uGwblvµBlvw¿s{q|wz{lvs{lnuXw¨ ¾dsªd$d$ws{_bdBlvezY~mw_{uGwblvµBlvw¿s{q|wz{lvs{lnuXwzB§s{_bd"sªu¸uGcexUuGwbd$w@stz
dBXuGpvGd1lnw } dBxUdBw } d$w@stpv~ q|w } $uXw$ob{td$w@stpv~G§4q|w } st_bd$td®½uG{dÐϳÐrÍ"ËNÐrÍ$Ë$Ø)ÌLÑ|Ï·ÏÑ |ÐrÍÏ<ÐÌXÔyÐrÍ;Y [Z
Ï]\ Ì¿Ï^Y 1ËÑ0Ê+Ôy̲Ë'Ì!Ï_Y80Ñ'Ì4gÍ;YbÑ`\]̲ÐÌ >Ðba'ÙË'ͳÏ^Y Í! 'Ðc Ê0Ñ|ÌØedeÐÌRÏ^Y N\>ËHd-ÎÑ'ÌFÎÔyÊ+Ê$ÌÏ
3" 1" 2" 3" 1"
2’ 3’ 3’ 1’ 4’
3"
3’
¦ lnXo{d
D } lv¬Fd$td$w@slvw@std$tpvdNqJ@lnwb1u|®s{_bdtobw)u|® ¦ ln¨y¨
Ï<Ê{Ë|ÌbÍ+ÐÏPÐÒÑ|ÌbͳÐÌÏÊ+ØË&^`_blnz
}
d!5wbdNz$§mlnwy®½uXtc!q|pnpv~G§mqXw°d @obln'q|pnd$w$d td$prq'stlvuGw°uXw-s{lncedBzB¨^`_d$td®½uXtdX§
lnw¿q|w
}
uGcelvµBlvwb!tobwz·u|®>qXoys{uGceq|stq§uXwd0zY_uXobp
}
tq|s{_bdBq|w
}
uGcelvµBdd @oblnJqXpvdBwd1prqXztzYdNz#ceu
}
obpvu
st_bdq|Lu'Xd³d @obln'q|pnd$w$dg{dBpnq|s{lnuXw§ywbuXs`s{_bdtobwzst_bd$c!z{d$pnXdBzB¨
3·d$w$ds{_d0q|pvs{dB{wq|s{lnXdxblr+stobtd®½uX#st_bd0tobwzu|®TuXo·uGwobttd$w@s·q|oystuXc!q'sqb§z{_bu'ª#wlnw ¦ lvU¨Yf§
z{_buGobp} Udixbtd®½dB{td } lvwzYs{dNq } ¨±w¸s{_lnz³xblr+stob{dG§Fs{q|wz{lvs{lnuXwzgq|td0wu|sgpvlnwbdBqX{pn~uX } d$td } q|wm~¿ceuXtd
3" 1" 3" 1"
2’ 3’ 1’ 4’
2"
¦ lvGobtd f
D
uXceceuXw)xqXYstlnqXpLu } dB#mlvdBªÄuX®4s{_dgsªuetobwz`u|® ¦ lvU¨tiq|w }"¦ ln¨{¨
qGzTqGpvuGq|pLzYd God$w$d#u|®d$Gd$w@stzB§GqXw } s{_d·Xtd$~1µ$uGwbdBz>lvw } lnBq's{lnwbGpvuGq|pUzsq's{dNzT_qJGd } lrz{qXxbxUdNq|td } ¨
±wUzstdBq } §JzYstq|s{dNzLdBuGced>pnumBq|p@q|w } dBXdBwGsz4qX{dTuGwbpn~Ë'Ê+Ï<ÐÒË'ØØeduX } d$td } qGz4z{xUdNl5d } m~³s{_d>blnxq|{s{lvs{d
}
lvtdBs{d
}
Xq|x_ z{_bu'ª#w¨
D
@oblr«dbq|celnwq'stlvuGw uX® st_blrz 5Xo{dtd$XdNq|prz1s{_q|s!s{_bd¿tlvG_@seª`qJ~ s{u
td$x{dNzYdBwGs-s{q|wz{l´stlvuGwz)zY_buGobp
}
Ld¸lnw®ÒqG+s)s{_bd¶uXwbd z{_bu'ª#wÂlnw
¦
lvU¨tb¨ ^q|wz{l´stlvuGwÂu|®0s~@xLd ¹N¼
(2) (1)
(3)
¦ lvGob{d T^`_bdgXd$wd$tln s{q|wUzYlvs{lnuXwzuX® ¦ ln¨YfU¨
} d$xblr+sz1q¿Gd$wbdB{lr!xbtlnJq|s{d-s{q|wz{l´stlvuGwu|® >NM§s{q|wUzYlvs{lnuXwuX®#s~@xLd¸¹<X¼ } d$xblr+sz1q²XdBwbd$tlnex{ln'q's{d
sttqXwz{l´stlvuGw"uX®
>NMM
§q|w } sttqXwz{l´stlvuGw-u|®s~mxUd°¹PG¼ } dBxblr+stz·q1Gd$wbdB{lrgzY~mw_{uGwblvµBlvw0sttqXwzYlvs{lnuXw)u|®
>NM
qXw }
>NMM
¨ ¾oys³s{q|wz{lvs{lnuXw¿u|®]s~mxLd"¹PG¼Bq|w¿Ld1td$@q| } d } qGz·q!sttqXwz{l´stlvuGw¿u|®>q!dst{lwbd$sB§Fª#l´st_²lvstz
x{d$Å>q|w } xUu@zs{ÅÕz{ds#uX®xbprqX$dBzB¨
(]mstd$w
}
lnwb²s{_blrz
}
lnztoztz{lvuGw s{u²z{d$Gd$q|p>$uXw$ob{td$w@s0qXoys{uGceq|stq§ªd°wq|s{obq|pnpn~¶qX{tlvGd!q'si$uXwyÅ
z{l
}
d$tlvw"dst{l>wbdsz "§4+ TlnwzYs{dBq
}
u|®qXoys{uGc!q'stq)q|w
}
st_bd$lnxbtu
}
o+szN¨
¦
uXuXoxbobtxUu@zYdG§*s{_bd
lncexUuGYsq|w@s³®ÒqX+sz qXUuGoyswbdszgq|tds{_d0®½uGpvpnu'ª#lvw8 !zYstq'stdBzgq|td0pnuy$qXptd®½dB{tlnwb!s{u)uXo d$yqXcexbpvd
qXUu'GdX§s{_bd 5wq|pxblr+stob{d-lvwmXuGpvGdBzuGwbpn~¶zYstq|s{dBz I8M q|w } I8MM uX®`s{_bd)uXcexLuXwbdBw@stzB§oys1wbuXs1zYstq'stdBz
uX®st_bd°xbtu } os0q|oystuXc!q'stuXw >NMQ >NMM§ª#_blr_q|tdixUq|lntz @CI8M]DI5MMK >-s{lnced°lrzpvuyBq|p]stu@uU§qGzl´s1lnz
uGwbpn~xq|{s{lrq|pnpn~uX } d$td } X{d$®½d$t{lnwbstuguXob]d$yqXcexbpvd#qXUu'GdX§'dBqG_1$uXcexUuGwbd$w@s]_qGz]q·stu|sq|pnpv~uG } dB{d }
stlvcedG§bboys#st_bdXpnuXqXp*zY~yzYs{d$c(_qXz`wu|sB¨
-Ü A£ Ü ¥# $¡N£y¡)à 4¢ à Ü ¤|¡> Ü ¦ ln¨*Jmpvd$®slnw@s{tu } odNzuXobtobwbwblnwb³dbq|cexbpndX§
ª#_ln_"lnz } lrz{$oz{z{d } lvw } dsq|lnpFlvw + Lstu1lnpnpvozYs{q'std qGzY~mw_btuXwuXozT®Òq|obpvs } lnqXXwbu@zYlrzTuX® } lrz{${d$s{d·dBXdBwGs
z{~yzstd$c!zB¨±Õstd$x{dNzYdBwGszs{_bddBXuXpnoystlvuGw"uX®st_bdg®Òq|lnpvd } 'ztq'®½dgzYstq'stoz#uX®4sªue$uXcexLuXwbdBwGsz`lvw@std$qX+stlvw
mlrqRst_bd$ln!zY_Uq|td } xbprqX$dBzb¨ ^`_bd@5UtzYse$uXcexLuXwbdBwGsexLuGztzYdNz{z{dBz1xbprqXdNz²q|w } s{q|wUzYlvs{lnuXwz
ÐrÙ½ÐÐrÙ½ÐÐÐTqXw } s{_bd zYdNuXw } $uXcexLuXwbdBwGs]xLuGztzYdNz{z{dBzxpnqGdBz qXw } s{q|wz{l´stlvuGwz`ÐBÙ>$Ù>NШ D
pvs{_uXobG_
gï+ëPêèJëÒêYíæÚçPêYñûöBý*êíï+óJçPæÚìJêë7yêîPëPæXóJêî<ç4éçé #ïBìNêYñ|ï÷yìNæÚçPîPëPæÚúJõBî<êìgéõBî<ïétî<éNöNærüê+üÚö$óJêîPç4æÚó#ý4åJæÚíÕå#îPåJêçÒîÕétîPõJç
ï÷éèJñòéíê]æÚçúXï$ï+ñÚêYéó-î<åNê>ï+óNñû·îPï+þ+êógæÚçêæî<åJêëéúJç<êóîï+ëèJëÒêç<êóî{üLä4åNæÚç4æÚçþ$óJï{ý4óéç yêîPëPæmóNêîPç{ü
5 3
2 4
7 1
i
iii ii
iv v vi
6
3 2
7 1
i
iii ii
iv 5
4
v vi
6 iv’
¦ lnXobtdH* #obwbwblnwb°d$bq|cexbpnd°¹s{uGxU¼+§Lq|w } lvstz·zYxbpnlvs·XdBtz{lvuGw¶¹ÒUuXsYstuXc°¼+¨##uGoys{lnwb°_buGln$dBz`uy$$ob·q's
xpnqGdBzqXw }
¨
z{lncixpvdG§st_blrzdbqXcixpvd°lrzcedNq|wblnwb|®½opqXw } {lr_¨¿^`_blr«¶$lvpndBz0lvw } lnBq'std-q|wlnwblvs{lrq|pTstuX«Gd$w¨¸Æ ob
uGydBs{lnXdglrzsªuX®½uXp}
ÏÕÑ $ÔyÐ \]ÐÏ^YRË LÊ{ÑË$ÐØòÐÏd"Ï_Y8Í!$ÏÑ 0Ë'ØØÊ+ÔyÌÍÙ
Í $̸ËJÍ Ë'Ê+Ï<ÐÒË'ØÑ'Ê ÊÍÙ
Pd-Ñ|ÌØed!Ê{Ë|ÌGÑ'ÖiÐÐÌ "Ê{Ñ'ÔyÏ<ÐÌ"ÎGYÑ'ÐÒÎ +ÍÙØvÑBÎË|ØØed
¹N¼
·u'ª§ ¦ lvU¨*Jm{lnX_@s`zY_bu'ªz`qizYxpvlvsXdBtz{lvuGw-uX®4s{_d ®½uG{cedBB§ylnw"ª#_ln_"s{q|wz{lvs{lnuXw¶Ð_qXzLd$dBw } obxbpnl´Å
Bq'std } yst_blrz#{dNzYop´sz`lvw¿qids{tlwbd$sc!q } duX®sªuewbuXwblnw@s{dBtqG+s{lnwbeuGcixLuXwd$w@stzB¨ ¦ uG`s{_blrz$qGzYdG§yªd
z{_qXpvp*td @obln{d s{_Uq'slvstz`sªu!uXcexLuXwbdBw@stz#q|td³xb{uGq|lvpnlnzYs{lr$qXpvpn~!lnw } d$xLd$w } d$w@s
FÊ{ÑË$ÐØòÐrÍ+Ï<ÐÒÎeÐÌ8Ì 6$ÌLÎ ÍYË'ØØÊ+Í8ÎÏ#ÎÑ'ÌLÎ$ÔyÊ+Ê$ÌLÎ[d ¹PX¼
:
Ò N¤ N à Ü ¢ Ü Cà £ ¢ à £b¤&B Ü ¢ Ü Ò£y¡
Ü ¡$¢ Ü ¡B £ á ¢ à £y$Ò¡Ü ·u|s{d
5UtzYss{_q|s0td @obln{dBcidBw@stz!¹G§G¼gq|tdewbu|s1z{oblvs{d } stuRceu } d$przlnw@GuXpnmlvwbxb_m~yz{lnBq|ps{lncedX¨^`_bd!prq'sYstd$
qX{d²®½{d @obd$w@s{pn~ oz{d } ¹Òª#l´st_[Gu@u } tdBqGzYuGwz¼i®½uX)xUdBY®½uG{c!qXwd¸d$'q|pnoq'stlvuGw[zYs{o } lndBzB¨j@stum_UqXzYs{lr
stlvced } d$s{tlTwbd$sciu } dBpnz®½uXxLd${®½uXtc!q|w$didB'q|pnoq'stlvuGw¸Ld$pnuXwbstus{_bdNzYd°$pnqGz{zB¨-^`_bdB~²GlvGdiq|lrz{d
stu²RqX{«Gu'¸_qXlvwz0ª#_blr_ } u²wbuXs0uXLd$~ uGob1qXUu'Gd!{d Golvtd$ced$w@sz$¨¿±w®ÒqG+sN§®½uXstlvced } ceu } d$prz$§
st_bd·x_@~yz{lnBq|ps{lncid³lvstz{d$pv®4lnzXpnuXUq|pUqXw } tdBz{obpvstzTlnw-qXw°lvcexbpnlrlvs`$uXobxbpnlnwb0Ldsªd$dBw-q|pnpL$uXcexLuXwbdBwGsz$§
z{_buGobp} s{_bdB~Rlvw@std$qX+s³uX³wbu|sN¨±w²uGob ªuXt«ªdeuGwz{l} dB owGstlvced } ceu } d$prz$§*LdBBq|oz{dst_bdis{lncelvwb
lnwy®½uG{c!q'stlvuGwRtd$GqX } lvwb-s{_bdid$Gd$w@stzg$uXpnpvdN+s{d } q|sgq"wbdsªuXt«¿zYoxUdB{mlrzYuG lrz³wbu|sqXBobq'std0dBwbuXobG_
stu 5bwbuGw } dstd$tcelvwblrz{c } od°s{u²lvw@s{dB{pndBqJmlnwb¹½td @oblntd$ced$w@sN¹YN¼{¼+¨
D w } ªd°ªqXw@ss{uRx{dBxq|tde®½uX
}
lnzYs{tlvoys{d
}
zYoxUdB{mlrzYlnuXwC ¶sªuÁz{obxUdB{mlrzYuGtz
}
dBqXpvlnwbª#lvs{_ÄwbuXwlvw@s{dBtqG+stlvwb
}
uXc!q|lnwz)zY_buGobp
}
Ud
qXpvpnu'ªd
}
stuelvGwbuXtdgdBqX_"u|st_bd$¹Ò{d Golvtd$ced$w@s¹PG¼Y¼¨
D }
dsq|lnpvd }}
lnztoUz{z{lvuGw u|®`s{_blrz0s{uXxln!lrz®½uGobw
}
lnw v<§ªd°XlnXd!uGwbpn~¸q|wuGoys{pnlnwbd-_bdB{dG¨)·q|wyÅ
} uXcelvµBlvw°ds{tlwbdsz·lrz xUdBY®½uG{ced } §U®½uG³j@stuy_qXzYs{lrdst{lwbd$stze¹Pjm ¼ X Ú Õ§Fm~qXxbxbpn~mlvwb¸Ê{ËXÎ
Ñ'Ø´ÐÒÎÐÍ)lnwª#_blr_d$mxLuXwd$w@s{lrq|pªqXl´stlvw¿s{lncedBzeq|td-q|pnpnumBq'std } s{u¸d$wqXbpnd } sttqXwzYlvs{lnuXwUz0q|w } uXwbpn~
st_bd³dBq|tpnlvdNzs`uXwbd 5tdBzB¨^`_d oz{d³u|®qX$d·xLuXpnln$lvdNzlvwmXuGpvGdBz>XpnuXqXpstlvcedq|w } mlvuGpnq|s{dBzuXoxbtd$mlnuXoz
sªu¿td @obln{dBcidBw@stzB¨ D z1qXwq|pvs{dB{wq|s{lnXdG§ªd-$qXw_bumuGz{des{u 5U{d°uGwbpn~¸c!q'ylnc!q|pz{dszuX®`dBwq|pvd }
sttqXwz{l´stlvuGwz$¨^`_lnzgª`qJ~X§Fdst{lwbd$sgd$ydBobs{lnuXwz³LdBuGced1lnw } dBxUdBw } d$w@sg®½tuXc s{_diwuXw } d$s{dB{celnwblnz{c
} obd³s{uis{_bdlnw@s{dB{pndBqJmlnwb0uX®uGwo{td$w@ss{q|wz{l´stlvuGwzlvw¿q5tlvwiz{d @obdBwdG¨$1·wy®½uX{s{owq'std$pn~X§z{o_"q
xLuXpnlr~lrzwbu|spvuyBq|p<§|q|w }i} umdBzwbuXsztq'stlnzY®½~uXoz{dB$uXw } {d Golvtd$ced$w@sN¨Æ·s{_d$]q|xbx{u@qX_bdNz_qJGdLd$dBw
x{uGxUu@zYd } qXz³ªd$pnpP¨3u'ªd$XdBB§*qGz d$yxbpnqXlvwd } lnw v Õ§ ³dBwbd$q|pnlvµBd } j@s{uy_qGzstln1ds{tl]wbd$stze¹jm ¼
Ú LqXw } TtuXqXblnpvlrzstln`d$s{tlUwbd$stz ¹½T ³¼ ' } uwu|sztq'stlnzY®½~0st_bdBz{dtd @obln{dBced$w@stz>d$lvs{_bdBB¨±w!s{_lnz
xUq|xLd$N§yªd } dBXd$pnuXxq|wq|xxb{u@qX_-s{_q|scidBdsz`{d Golvtd$ced$w@sz¹X§ÚX¼¨
=+%'/ 13,': / &=+ ' =67(+='/
¾`qGzYlrg{d$®½d$td$w$dBz#qX{d Ú+ "vN <¨ 3uGceuXceuXtxb_blrzYc!zB§uGw lr+sN§UuGwo{td$w$~X§qXw } obwy®½uGp} lnwb@z$§Lq|td
st_bd#dBztz{d$w@s{lrq|pb$uXw$d$xyszuXwiª#_bln_!q s{tobd#uGwo{td$w$~q|w } ®½obpnpn~1qXz{~mw_btuXwbuGoz@lnd$ª u|®Lds{tlbwbd$stz
lrzTUqXz{d } ¨±w!uX } dBTs{u0lvw@s{tu } o$d#s{_bdNzYd wbu|stlvuGwzB§Xlvsª#lnpvpLUd³uGw@Gd$wblnd$w@sTstu0uGwz{l} dBTXdBwbd$q|p"VwdstzX
lnw)s{_bdz{d @obdBpP¨
¿Ü ¡N 6B à à à ¢&BÒ P£y Ü 6g£ á ¢ à á¤X¡B
D
Ì<$ÏlrziqRs{tlvxpvd
? @.DD K §
ª#_d$td
q|w }
q|td } lrz½uGlvw@sz{dsz>uX®LØvËGÎ +Ígq|w } Ï<Ê{Ë|ÌbÍ+ÐÏPÐÒÑ|ÌbÍ+§yq|w }
@0QWK @ QNK
lnz>s{_bd
Ñ`\ÄÊ$ØvË|ÏPÐÒÑ|Ìe^`_bdi{d dylnXd0s{q|wz{l´stlvGd1$pvu@zYobtd0uX®>st_bd Uu'ª {dBpnq|s{lnuXw
lrz } d$wu|s{d } m~§q|w }
lvstz0lvttd d$mlnXdesttqXwz{l´stlvGd°pnuGz{ob{d!lrz } d$wbuXs{d } m~ ¨¿TprqXdNz0qXw } s{q|wz{lvs{lnuXwzqX{d°Bq|pnpvd } ÌLÑ6ÍÙ
Gd$wbdB{lr$qXpvpn~ } dBwbu|std } m~
I ¨ ¦ uX
I"!#$%
§ªd } dBwbu|std°m~&
I ?('*),+-). I-/
s{_bd LÊÍ!ÏuX®
wu } d I §Fq|w } m~ I &
?0'1)2+<I3)4/ l´sz ÑJÍ+ÏÒÍ!$Ï ¦ uX B65#78 §ªdª#tl´std
& B ?:9;=<=>
& I q|w }
B &
?"9;=<=> I & ¨ D YbÑ'Ö!Ñ'Ö!Ñ'Ê,YmÐrÍ+Ö(®½{uGc q1wbd$s?s{ueqwds
M
lrz`qc!q|x8@ +=.ACBD4E MFM
z{o_!st_q's # G@ @HNKI, M§@ @J=K M§bq|w } g®½uGdBXdB{~is{q|wUzYlvs{lnuXwLK>u|®M¸§@s{_bdgtdBzYs{tlns{lnuXw°uX®N@
stu
&
K]lnzqbldBs{lnuXw!Ldsªd$d$w
&
KTqXw } & @ @K K §mq|w } s{_bd {dNzst{lr+stlvuGwiuX®O@²stuK
&
lnzqbldBs{lnuXw°Ldsªd$dBw
K &
qXw } @ @K K & ¨ ¦ uGP ? @H.DDQ K q"wbdsN§q²ØnË Ø´Ð̲lnzgq"ceqXxSR +0BD4T §*ª#_bd$td T lrzgzYuGced
5Uwbl´stdiqXpvx_q|LdsN¨ D wds ?A@.DUD D R K d @oblnxbxUd } ª#lvs{_¶q-prq|Ld$pnlnwbR¸lrzg$q|pnpnd } q¸ØvË$Ø Ì4Ï
d$s{tl*wbdszq|w } uy$$ob{td$wUdgwbdsz`lvw_bd$tl´s#st_bdq|Lu'Xd³wbuXs{lnuXwz`uX®prq|Ld$pnlvw¨
V°¤X¤ 4¢J¢ Ü/ ¤ Ü Ü ¡N 6`¤ à< áÒ¡à< )£ á Ü Ü/ ¡N ^4ªu)wbu } dBz I DI8M
u|®q)wbd$sGqX{d)ÐÌÁÎÑ'Ì ÐÒÎ$ÏPÙ
ª#tlvsYs{dBw IXWNI5M
§*l´®Tst_bd$tdidylnzYs } lnzYs{lnws sttqXwzYlvs{lnuXwUzK D K
MY!S
§*zYo_²s{_q|s & K O & K M?Z?\[
qXw } K]
I §
K M I8M
¨ D
wu } d I
lrzlnw©Í!Ø7ZYÎtÑ|Ì
ÐÒÎ$Ïl´®
IXWSI
¨ D
wÄÑNÎtÎ$ÔyÊ+Ê$ÌLÎ -Ì<$Ïlnz1q¿wbdsL^
? @H_ DU` D K §
ztq'stlnzY®½~mlvw1st_bdg®½uXpnpnu'ª#lvwbeq }}
l´stlvuGwq|p*x{uGxUdBYstlvdNz!
I! _C2` +I WSI ¹Òwbuewbu } dlnz`lnw¿zYdBp´®ÅuGw lr+s+¼
I !8_ 2` +I
I @ lrz#qixq|{s{lrq|p*uG } dB¼
I8! _C8` +'*) +=) I-/ @ lrz`ªdBpvp®½uXobw } d } ¼
!_ +&
¹ÒdBqG_"xbprqX$dg_qXz#q|sciu@zs
uGwbdglvwxboyssttqXwzYlvs{lnuXwL¼
öd°ª#lnpvpqXztzYocidest_q's0s{_bd-z{ds1u|®#celvwblnc!q|pwbu
}
dBz0u|®^ lrz0$uXw@stqXlvwbd
}
lvw
_
§qXw
}
ªd
}
d$wbuXs{d!m~
celnw @_:K uGcelvw @ ^ K s{_blrzcelnwblnceqXpz{dsN¨`jmxLdB$l5Lgs{dB{c!z·qX{dgoz{d } stu } lrzstlvwXoblrzY_uy$$obt{dBwdwbd$stz
®½tuXcÀXd$wd$q|p`wbdsz$¨ _ lrzis{_bdRz{ds!uX®eÎÑ'Ì 'ÐÏ<ÐÒÑ'ÌbÍÙ ` lrzis{_bdRz{ds°uX® !&$ÌÏPÍÙGlrzis{_bdÁÎË|ÔmÍË|ØòÐÏ]d
td$prq'stlvuGw¨ u } dNz I q|w } I M q|td¿ÎtÑ|ÌLÎ$ÔyÊ+Ê$ÌÏPÙª#tl´s{s{d$w II M§lv®wd$lvs{_bdB I I M§wbuG I M I §wbuX
IXWSI8M _buXp} ¨ D ÎÑ`ZÕÍ $Ï]lrzqz{ds#u|®4$uXw$ob{td$w@s>$uXw } lvs{lnuXwUz$¨ D c!q'ylnc!q|p¹½®½uX`zYd$s>lnwpnoz{lvuGwU¼T$u|ÅzYd$s
lrz#$qXpvpnd } qÎÔyÏ D ÎÑ'Ì XÔyÊ{Ë'Ï<ÐÒÑ'Ì)lrz#qezYoyÅ<wds#u|®Y^!§bª#_ln_)lnzÎÑ|Ì ÐÒÎÏ]ZÊ !¹Òwbuesªuiwbu } dNz#q|td
lnw¿uGw lr+s¼§4ÎË'ÔmÍ$Ë'ØØed)ÎØvÑ'Í! ¹Òl´® I8M I qXw } I ! 4§yst_bd$w I8MO! L¼+§Uq|w } uGwGsq|lnwz @^ K ¨
ƳBobt{dBwd1wbdszgq|tdoz{d®½obpstu-td$xbtdBz{d$w@s d$ydBobs{lnuXwz u|®>d$s{tlwdstzB¨^`_bdB~®½uXtc q)z{obL$pnqGz{z
uX®4wbd$stzlvw"ª#_blr_-dBztz{d$w@s{lrq|pLxbtuXxLd${s{lndBzq|td·mlnz{lnbpvd³mlnqs{_bd³stuXxLuXpnuXXlr$qXpUzYs{to+stobtd uX®s{_bd³blnxq|{s{lvs{d
GtqXxb_¨
Ü ¡$¢ Ü ¡B ¦ uX qiwbdsN§bq)ÖeË|Ê'ÐÌ °uX® 2lrz#q1c1obpvs{lrzYd$s u|®4xpnqGdBzB§yl<¨dG¨v§bqic!q|x
+= BD4
'! D D#"D%$&$%$ / ¨ D $ÏPÊ+ÐÌ<$ÏlnzTqgxUq|ln('
?-@
D JLK
§@ª#_bdB{dlnzTqgwds>_qJmlnwb 5wblvs{d zYd$stz]uX®FxpnqGdBz
qXw } s{q|wUzYlvs{lnuXwzB§qXw } J
lrz0qXw©ÐÌÐÏ<ÐÒË'Ø#c!q|t«mlvw¨
D
s{q|wUzYlvs{lnuXw K
!#
lrz $ÌLËØ q's0c!q|t«mlvw
l´®)
@+*K,-
®½uG!d$XdB{~
*0!
& K+¨Âjmo_ q¸s{q|wz{l´stlvuGw Bq|w.TÊ$§>pndBq } lvw²stu q¶wbdBªc!q|t«mlvw
M&?
D & K0/ K& 4ªd } dBwbu|std0st_blrzg@~1
K323
M
¨1^`_dez{dsgu|®³ÊËXÎ7YbËØ°c!q|t«@lnwb@z·uX®4'lrz³s{_bd
z{c!q|pnpvdNzs³¹½ª¨B¨sB¨]z{dslnw$pvoz{lnuXwU¼>zYd$s J 2uGwGsq|lnwblnwb5 J qXw } z{o_!st_q's6 ! J 2TqXw } K323 M
stuXGds{_d$Tlncexbpv~7 MX! J 2+¨dst{lUwbds4' lrz#Í$Ë lv®8 @NK"' D / ®½uX>d$XdB{~0{dNqX_qXbpvd`c!q|t«mlvw
¨Â^`_{uGobX_buGoyses{_blrz!xqXxUdBB§ªdRuXwUzYl} d$euGwbpv~ z{q|®½dd$s{tlwbd$stzB§_d$w$d¿ceqX{«mlnwb9 Bq|w Ud
td$@q| } d } qXzq¿z{obz{dsuX®xbprqX$dBzB¨ D 5wblvs{d°uyBobt{dBwdiwbd$s5: $qXw¸Ld°td$GqX } d } qGzqds{tlTwbd$sB§
ª#_d$td st_bdlnwbl´stlnqXpc!q|t«mlvwbilrz J ? ; @: K ¨
±w st_blnz°xq|xLd$N§ªd¿tdBzYs{tlnseuGobzYdBpvGdBz1s{u st_bd²prqXztzeu|®ztq'®½d¿wbd$stz°ztq'stlnzY®½~mlvwb¶st_bd²q }} l´stlvuGwq|p
$uXw } l´stlvuGwC 4®½uGdBXdB{~is{q|wUzYlvs{lnuXwLK+§ & K Z?"[=< K & Z? [ ¨ ·u|stds{_Uq'sË1ÍË $Ï<Ê+ÐÌ4ÏÍ+ÔÎ7Y"Ï_YË'Ï ËGÎGY
Ï<Ê{Ë|ÌbÍ+ÐÏPÐÒÑ|ÌTYbË'Í1Ñ'Ì4 FØvËXÎ 1Ð̲ÐÏPÍFÊÍ $Ï#Ë'Ì"Ñ'Ì4Ð̸ÐÏÒÍ ÑJÍ+ÏÒÍ!$ÏÒÙÎË|Ì Í! Ì ËJÍ0Ë'̶Ë'ÔyÏÑ'Ö!Ë'ÏÑ'Ì
E ¢'£ ¤B ¢ à ¤ Ü B Ü £ á Õà Pá D
$Ê{Ë'ÌFÎGYyÐÌ FÊ{ÑBÎ ÍͲu|®dst{l wbds>' lnz"qxqXlv
:
?-@
^ D @ K
§yª#_bd$tdP^ lrzqXw°uy$o{td$w$d·wbd$sB§yq|w } @ lnz`q0_buXceuXceuG{xb_lnz{c ®½tuXc ^ s{u?' td$GqX } d }
qGzwbd$stzB§>z{o_s{_Uq's ² "st_bd"tdBzYs{tlr+s{lnuXwuX®@ s{u¸cilnw
@^ K
lrz1q²bldN+stlvuGwÁLdsªd$d$wÁcilnw
@^ K
q|w }
J ¹st_bdezYd$s u|®Tlnwblvs{lrq|pnpv~c!q|t«Xd
}
xbprqXdNzt¼§*q|w
} 1®½uXgq|pnpA@
D @ M ! ` § & @ ? & @ M
qXw } @ @@
K?
@ @@ MK
stuXGds{_d$glvcexbpn~@
? @ M
¨°¾~²q|ozYdeuX®wbuXstq|s{lnuXw§ªd!zY_Uq|pnp>zYuGceds{lncedBzgª#tl´stdecilnw
@: K
lnwzYs{dBq
}
uX®
celnw
@^ K ¨ ¦
uG:Âqebq|w_blnwbixbtum$dBztz`u|®0'°§q|w
}
@1q|w)d$Gd$w@swbu|sLd$pnuXwXlnwbis{u7:©boys _qJmlvwbelvstz
x{dNzYd$s³uGw@stq|lnwbd } lvw: §Lªdi$qXpvpA@eqÑJÍÍ+ÐØ-ÎtÑ|ÌÏ<ÐÌÔË|ÏPÐÒÑ|Ì"uX®B: §Lª#{lvsYstd$w:DCE@@¨ ¦ ob{s{_bdB{ceuXtdX§
ªd } d$wbuXs{d1s{_bdeuG{tdBz{xUuGw } lnwb°d$@std$w } d } tqXw_blnwb-xbtuydNz{z m~F:GH@G§*qXw } Bq|pnplvsq|w #IGÏ$ÌbÍ+ÐÒÑ'Ì
uX®J:³¨
