HAL Id: inria-00069941
https://hal.inria.fr/inria-00069941
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,
An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals
Mireille Ducassé, Erwan Jahier
To cite this version:
Mireille Ducassé, Erwan Jahier. An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals. [Research Report] RT-0231, INRIA. 1999, pp.104. �inria-00069941�
a p p o r t
t e c h n i q u e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
An automated debugger for Mercury - Opium-M 0.1 User and Reference Manuals.
Mireille Ducass´e and Erwan Jahier, IRISA/INSA
No 0231
mai 1999
TH `EME 2
$%'& (") *+-,/.1023456789:;<07+
=?>A@CBD>FEFEFBGHJILKNMOMQPRK)SUT?V@OWXK)SZY[K]\J>FB^@`_Ja<ba-cedgf]a<h'cdji
klnmQo9pqrsutQvnwxpy{zD|^w{}-wxpOy
pO~6}-y}-y no]zDy{w`p
zpO~Dv)np
D]z^~ ~pQ}lvnw`pvD`q'ro:DwUO^DrOD|DpQ
5O -¡¢£D D¤ klnw{nzn}-o:pOv`~U|`~lpO¥J~lnp6pOUoX^v`)y)^v~¥lnpp<¦§pQpQv}<poXDvLDynz¦e¨©nw{)oª¬«®
^v^vy{npQ z¦]p<¯npO}On~w{z^v~¥D}<pQezD¦)«°pQ}O±zD|`^oX-²¨©nwo9ª¬«2w5^v^Dn~¥~wxz`v~z©«°pO¥}-)
zD¦U¨©nwo9~¥^}<pDv)y{LpO³¦§z` z^yxz^|)²
«°pQ}O´w9µvnp-¶·y{zD|^w{}zD|`^oXo9wvn|gyDvn|`|^pD²g¸¹~¥~¹n)p^ºo:zLpDv)»np-~pO¥o9wvnwo¼npQ}ª
yD¥~wxz`vpQvDyxp}<znnpQ9~z½]p|DpQvnpO¥~pO»~¥l~:w{XD~9~¥lnpg^o9p~wo:po:z`pp<¾}<w{pOv`~Dv¿o:z^p
p-y{wDny{p~l^v½¶wx~¥l»}-¥pQv`~yxz^|Dw}z^|^¥DoXo:w{v|yDvn|`|^pOO²klnpp-~pQo:wvnw~w{}^~¥z¦«°pQª
}O´zD|`^o:^p^p<¾}-wxpQv^~9D~¥lnp-w:ÀÁ}-z^v`~pQ)D~O²«°z`pOzÂDpOOevLo:pOz^)o:w{~^ÃpODp
p-~pQ}<~pO»~9}<z^oXnw{y~w{z^vR~w{o:p^²'Äuz¶³pOÂDpQ-z^wv)~¥wy7D~vnpQp<¯]pOwxpQv}<p¥lnz¶6~¥l~9~lnp
¦§pO¶³pQ³pOoXDw{vnwvn|:o9w~DÃDpOO^~¥lnplD¥npQº~lp-Dp~z:]p±nw{D|^vnz`pQŲJÆÇlnw{|^lnªFy{p-Â^p-y[npO|D|Dwvn|9~zLzDy
¶ D7~¥l`)6vnpO}-pO¥^^²
zD|`^oZp-¯LpQ}-n~wxz`vX~¥D}-pOU|^wxÂ^pOvX`9~¥^nwx~wxz`vy]npO|D|DpQzÂLwnpzD|^¥DoXo:pO¥J¶w{~lp<ª
¦ÈyJwxpQ}<pO©zD¦ºw{vL¦§z`oXD~w{z^vŲ±Äz¶7p-Â^pOO]wvn|~¥lnpOoÉpOLnwpO6~z'^vy{np9^°l)Dv´l`|Dp9^o:z^v`~
zD¦wvL¦§z^¥oX~wxz`vŲ
¨©nwo9ª¬«#wX}<z^v)vnpO}-~pO¿~z½~lp'~¥^nw{~w{z^vDy7~¥^}<pQ9zD¦«°pQ}O^ºw{~XDyxy{z¶69p<¯npO}On~w{z^v¿~¥D}-p
^vy{npQ±~zµ]p^n~z`o:D~pQŲ¸¹~zÂ`wnpQgpOy{D~w{z^vDyº~¥D}-pLnpOµyDvn|`|^pDpORz`v´³z^yxz^|
¶6lw{}lXpQvDny{pO³pO¥U~z¥]pO}<wx¦§pO}<wp-y{¶6lD~~lp-:¶7^v^~~zp-p6wv~¥lnp6~¥D}-pD²º¨©nwo9ªF«®^~lnpQvÅ
^n~z`oX~w}-Dyxy{XÊ)y{~pQ z`n~w{vn¦§z^¥o:D~w{z^vw{¥p-y{p-ÂDv`~³¦§z^ ~lppQO²
ËÌ`Í[Î¥ÏÐ ¡Ñ5D¤ ez^|Dw}uzD|`^oXo9wvn|]^«°pQ}ODk5^}<p±DvDyxnpOOLk5¥D}<p±LnpOyDvn|`|^pDnÆn~zª
oXD~pO'npQn|D|^w{v|)nÒupOoX^v`)yFn6p<¦§pQpQv}<poXDvLDyA²
ÓÕÔÅÖ׬ØOÙ ÖÚ5Û{׬ܬÝ<Þ
ßOàáâCãFáäÈåæç-èéJê ë5áCìCí]ãAàCäAîïeðÕâCæQñCãAïAäAîóòõôêö ÷µø]äÈáõùAåú¹ï5ûá6üýýõþÿ
ÅáäÈäÈåãAàáâCæòõâCúå±òõæQæCäAåãAã³ð§ûJßOé5÷5åàQïðÕâ{áä 6ò¥ïAîOñCåì]üõþ±òæCåã[ñQïÈïAåãæCå[áã åãì§ÿ<ýõþ<ÿ±ê åâCâCåã
ÅåæCåå 6òõîôæQñCúòõãFãFåìùAò Cîåä"!#5îäAîãFò${äì%ÿ& -ïÈïAà'()(%*%+%,$îäÈîã¬ò$xä"(¥ôóòõâQæCå(¥æCñCúòõãFãAå-(
9:;<0 & ; & 0e±672/6³ $%'& ' ") *+-,+
¤ À³p³nzn}-)o9pQv`~5¥D¥pQony{pUy{p7oXDvLnpOy`~w{yxwD~pQepO~y{p³oX^v`p-yLnp7t<¦§tQpQv}<p³¨©w{o9ª
« `vDvDyxnpO³np~¥^}<pQp<¯ntO}On~w{z^v)³np©zD|^¥DoXo:pOº«°pO¥}-D²º¨©nwo9ªF«8pO~y^D~~wxz`v
«°pQ}O¨©w{ovDvDyxnpO np~¥^}<pQ7]z^) z^yxz^|)²
«°pQ}O°pO~vRvnz^nÂ^pO^°yDvn|`|DpXnpzD|`^o:oXD~w{z^vgy{zD|^w{Lnp^²`pQntQ}<yD¥~w{z^v)unp~¹n]pD
po9znnpp-~npt-~pQo:wvnwo:p]pO¥o9pO~~pOv`~np|^tOvntQpQv»}<znnp
y'¦§zDwnyp-¾}-D}-pXp-~ny
LCÂDpQ}XyxpQyDvn|`|^pOnp)z^|^¥DoXoX~w{z^vµyxz^|DwLnpD}-~npOy{O²epO9D~w{pOnt-~pO¥o9wvnw~pO9npO
)z^|^¥DoXo:pO6«µpO¥}-gz`v^~±D)wU^nw{pO±Lnp9y{pO)©tOLnw{Ây{pOv`~©pQvRÀu²©pXy{Oe]pO^}<z`µnp
¦È^n~pQ z`v^~7nt-~pO}-~t-pQ nmO7y}<z`oXnwxy~wxz`vŲJp<¯]tOwxpQv}<p©np©vz^ D~pQvwpOºwv)~¥w{p-y o9z`v`~p
}-pO]pOv)Dv`~6LnpyxpQ ¦ÈD~pOtQwnpOyxy{pOz^v`~6Dn~¥Dv`~6ny6nwx¾}<w{yxpQ y{zL}Oy{w{pO pO~ }<z`o:)pQvp
Lp-y{y{pOz^v`~)pQ'vz^o)pQpQ-²JÒ©vz`n~w{y npntQ)z^|^D|Dp±nplD~ vwxÂ^pODt-~¥w{~6nz^v)}©vtO}<pQ¥wpD²
pO ~¥^}<pQep<¯ntO}On~w{z^v)enp)z^|^¥DoXo:pOÅnz`vvnt-pQe^enpQentQ)z^|^npQ¥Å~¥Dnw{~w{z^v)vnp-yenz`vvnpQv^~
pO:w{vn¦§z^¥o:D~w{z^v:n~wxy{pOXDn¯ z^|^¥DoXo:pO¥O5oXw:yxpQ:n~w{yxw¥~w{z^v¿npOoX^vnp^vy{npQ y{
oXDw{v'np~mO |`^vnpQ7L^v`~w{~tOwvL¦§z^¥oX~wxz`v-²
¨©nwo9ª¬« pQ~°}-z^vvpO}<~t®D ~¥D}-pO~¥^nw{~w{z^vvnpOynp®«°pQ}O p-~µ]pO¥o:p-~°Dn~z^oX~w{pO
yDvDyxnpnpOu~¥D}-pO6p-¯LtQ}-n~wxz`vO²±¨©nwo9ªF« ¦§z^¥vnw{~uvµy{^vn|^D|Dpnp:pQ`-~p:pOy{D~w{z^vvp-y)Dt
¥©zDy{zD|Lnwº)pQo:pO~DL¯´)z^|^¥DoXo:pO¥np¥)tQ}<wxÊ)pOpXoX^vnwxmQptO}-w{pX}<pLw{y±ÂDpOyxpQv^~
Â^zDw ^v y6~¥^}<pD²J¨©nw{)oª¬«tOyxwo:w{vnp7y{z^¥ D~z^oXD~w`pOo:pOv`~ y{pOw{vn¦§z^¥o:D~w{z^vevnz^v]pO~wvnpQv^~pO
]z^) yxpQz^|^¥DoXo:pO¥O²
ZÐ Q
Î
£
¤
zD|^¥DoXoX~wxz`v:yxz^|Dw`pD`«°pO¥}-DLÆv)y{LpO)³np©~¥D}-pO³p-¯ntO}-~w{z^vOLDv|^|^p
p±pOLO~p¥6npQ ~¥D}<pQ-©tO]zD|`|Dp^n~z`o:D~wt^L«µDvLnpOyen~w{y{w{¥~pOOn«µDvLnpOy npt<¦§tOpOv)}<pD²
95650
!"$#&%')(* +-,/.10324*65879%58: ;
<>=? O¡ Ð Ñ 5£ A@Ð ? B
^²xDC l`'lnz`ny^z^'p¨©nwo9ª¬«Eµ²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²² F
^²qHG^w}u¦§pO~¥pO z¦º¨©nwo9ªF« ²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²² F
^²q²x z^|^¥DoXoXDnw{y{wx~¹4²²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²² I
^²q²q L}<pQvDwxzX^^nwx|`o ²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²² I
^²q² À7~z^o:wKJO~wxz`v^vp<¯n~pQvwnw{yxw{~¹°²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²² I
LNMO?
Ñ Ì
¡- Q¢
?
Ñ@
?P RQ
Ì Ì
¡£¡
Í
O¡C¢)£
Ì S
q²x ¸v`~¥zn}-~w{z^vg²²±²²²±²²±²²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²² I
q²qk5¥D}<p±pOÂDpOv`~pOpOpOv`~D~w{z^v¿²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²² T
q² Æuv'p<¯DoXny{p±z¦J«°pO¥}-p-Â^pOv`~ ²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²
q² klppQ`pOv}-p©zD¦pOÂDpOv`~¥²±²²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²¼Q
q²FÆuv'p<¯DoXny{p±z¦J«°pO¥}-~¥D}-p²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²¼^
UWV Ì - A@
?P
- Q¢n¡C Ì Ñ Ï @§ AQ4XZY@ Î
<<
)²x Lp-~~w{v|'~lnpÒ©vnw¯'pOv`ÂLw{z^v)o9pQv`~ ²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²¼^
)²qHGnw{ynw{v|Dz^)³«µpO¥}-}<z`o:wxy{pO²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²¼Q
)² L~D~wvn|Dvg¨©nwo9ªF« pO¥w{z^v²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²¼Q
)² Æ ÊN~ ~¶w{~l°¨©nwo9ªF« ²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²¼O
)²F supO~~w{vn|z^o:plnpOy{ ²±²²±²²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²¼[F
\ ¼Ñ Ì PP @?P Ì QR@Ð ? Ï @È RQ/XZY@ Î <B
BH]
Ì - R@
?P
Y Í]Ð e¡'Ñ Ì
PP
@
?P
Ì
?_^
@§¡ Ð ? Ì ?
LU
F²x ³zDÊ)yxpQ ²²©²²±²²²±²²±²²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²1qD
F²q Lp-~~w{v|D¥Do:p-~pO¥ ²±²²±²²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²1qD
F² Æunwvn|w{oXny{p}<z`o:oX^v4²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²1q`I
F² À7)~z^o:waJOw{v|:p-¯nw{~wvn|Xz^LpQ}<~¥ ²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²1q1T
F²]²x ÆnÂLw}<p²±²²²±²²±²²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²1q1T
F²]²q supOvnpQDy o9pQ}lDvw{¥o ²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²1q`b
F²]² À7~z^o:wKJ-wvn|}<z^oXoXDv)4²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²1q`b
F²F À7)~z^o:waJOw{v|X)wo:wx~wxÂ^pOOzn}-pOpO^v~¹L]pO ²²±²²©²²±²²²±²²±²²±²²²©²²É`q
SHcd Ì ? Ñ@ ?P RQ Ì Ñ Ì PP @?P Ì ?_^ @È¡ Ð ? Ì ? UL
I)²xDC lpOv'~zoXDÃDp©¥}<pQvDw{z ²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²É^
I)²qklpnpO}-y{^D~w{z^vzD¦U¨©nwo9ª¬«/z`LpO}-~ ²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²ÉD
I)²q²x À³z^oXo:z^v'D~ zD¦~lpnpO}-y{^D~w{z^v ²²±²²±²²©²²±²²²±²²±²²±²²²©²²ÉD
I)²q²q klnp¨©nw{)oª¬« }-pOv^w{z ²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²É1F
I)²q² klnp¨©nw{)oª¬« }<z`o:oX^v'²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²É I
I)²q² klnp¨©nw{)oª¬« w{o:w{~w{ÂDp ²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²É b
I)²q²F klnp¨©nw{)oª¬« zL}-pO)p ²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²É^
I)²q²I klnp¨©nw{)oª¬« D¥Do:pO~pO¼²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²`
I)²q²T klnp¨©nw{)oª¬«¼~¹n)p©²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²]
I)²q²b upQ}<yDw{vn|¨©nwoz`LpO}-~ ¶w{~loXD}O ²²±²²©²²±²²²±²²±²²±²²²©²²]
I)² Lz^o:pDnÂLw}<pQ³z`vpOwx|`vnw{v|XXvnpO¶ ¥}<pQvDw{z ²²±²²±²²©²²±²²²±²²±²²±²²²©²²Lq
I)² Äuz¶?~zo:^Ãp±}-pOv^w{z(²²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²`
I)²F pOoXDÃ`wvn|Dvp<¯nw{~wvn|¥}<pOv)Dwxz9²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²²^
I)²I³z^ o:pO¥D|DpQ³|^wxÂ^pOv'`~lnp¥}<pQvDw{z:l^vny{pO8²²±²²©²²±²²²±²²±²²±²²²©²²^
I)²T ¸vwx~w{DyxwKJOD~w{z^vz¦U}-pOv^w{z^³²²±²²²©²²±²²±²²²±²²±²²©²²±²²²±²²±²²±²²²©²² F
@§ @Ð P ¡¢YQ@È£^¢ Ì¬Ì ¡ Ì ? £ Ì \ S
!"$#&%')(* + 0 0 2 0 7_0 *6587 % 58:
W]
£ Ì ?
¢n¡@Ð"!QÐ Y @$#&% Ì ¡ ? Ì '# )(
\
*W]
£ Ì ?
¢n¡@Ð"! Ð ¡C£ Ì # $(
B
<,+ ] £ Ì ? ¢n¡@Ð"! Ñ@AY È¢ Í # )( B
<< ] £ Ì ? ¢n¡@Ð"! - Ì Y-#: Í #X- Ì Y-# )( S U
< L ] £ Ì ? ¢n¡@Ð"! Q Ì Y ( S B
<U ] £ Ì ?
¢n¡@
Ð"!
O£
Ì ?
¢n¡@
Ð # Q5¢
?
Ñ
Ì ¡ ( S
. "" 07/#0_0 . ;
1 @ÈO R@
?P
Ð23 Ð ¡C 54 S
1 @ÈO R@?P Ð2 RQ Ì PP Í ¢O Ì ¡ @? ÑY5¡ Ð P ¡C¢
61 @ÈO R@?P Ð2 ] Ì Y7#: Í #X- Ì Y7# Q£ Ì ? ¢n¡@Ð *L
8 =?
Ñ Ì d * S
, [5
&
¨©w{o9ª¬«(w{^v´p-¯n~pOv)wny{pnpO|D|Dwvn|pOv`ÂLwz`vo:pOv`~©¦§z^±«°pQ}OTn b¶6lnw}l½z [pO¥))z`~
¦§z`±lnwx|`lLª¬yxpOÂDp-yUnpQn|^|Dwvn|'~¥~p-|^wxpQ-²:Æ·z`D´}-z^]p9zD¦7«°pQ}O°z^|^¥DoXo:pO¥¥Dvn|^w{v|¦Èz^o
]p-|^w{v)vnpO¥ ~zXp<¯]pOwxpQv}<pQ'«°pO¥}-pO¥lz^nyÊ]vD}O}-¥~p©npQn|^|Dwvn|))z`~ wvg¨©w{o9ª
« ²DklnwUw{v`~¥zn}-~w{z^v9yxw~º]zD~pOv`~wy))pQJzD¦ ¨©nwo9ª¬«^vXwxp"!)npQ}Ow)pw{~Dw{}7¦§pQ~¥pQ-²
¨©nwo9ª¬«jw©^vµ^Dn~¥~wxz`v°~z'«°pQ}OzD¦~lnp¨©nwo1npQn|^|DpOu¶6lnw}l°¶ D©npOw{|^vnpQ¦§z^
³z^yxz^|)²JÆÇvLo9)pQzD¦D~w}<y{pO7npO¥}-w)puw{v'np-~¥w{y]~¥lnpw{v}-w{yxpQzD¦J¨©nwo'Lp-p©wv^~w{}Ony{^#qn
%$C²ºÆuv'^D~~wxz`vzD¦U¨©nwo2~zÀ }Oy{yxpQ}-zn}-:w{pO¥}-w{]pO'wv&¬²
')(*' +-,).
.
,#/
%:0/
.)/
% %.10 !"$#&%')(*10
¸¬¦U^z^'~lnwvÃ~lD~w{oXny{'~pQnwvn|~¥lz`n|^l'p-¯LpQ}-n~wxz`v'~¥D}<pQw6y{ye^z^vnp-pQÅ)^z^¥lnz^nyg~w{yxy
~¥´¨©w{o9ª¬« ]pO}ODp¶w{~l½l)DvL¦Èy5zD¦³}<z`oXo:^v±ny©zDy{zD|^z^°}ODv´]pO}-w¦§gpQDwxy{g~lnp
2
43
~¥^}<p:yxwvnp65F87^z^°¶ Dv`~±~zgp-p^²`~¥D~u¶w{~l `pQ}<~wxz`v´¶6lnw}lµp-¯ny{Dw{v±~¥lnpo:w{vnwo)o1Dz`
vp-pO~zÃLvnz¶Çw{vz^¥npQ ~z)v¨©nwo9ª¬«®²
¸¬¦ Dz`u)z^|^¥DolD±lLn|^p:D~~¥}<~¥pQ±DvµDz^µ¶³z`nyµy{w{ÃDp9~zglCÂDp:~lnpQo1D)~¥^}<~pQ
¶w{~l½p-ÂDpQDyy{p-Â^p-y±z¦ D~¥D}-~w{z^vOe¨©nw{)oª¬«(lD±]z¶³pQ¦ÈnyJ|^pOvnpQDyJo:pQ}lDvnw¥o:©~zz'~¥lnw-²
9N~lnpQo:z^pD]wx~©¶w{yxyJlnp-yg^z^gzD|`^o2npQnw{}O~pO°nw¥ny{Czn}<pO)pQ^vw{v`~p-|^¥~p~lpOowv
~¥lnppOv`ÂLwz`vo:pOv`~-²
¸¬¦5Dz^lCÂDp©y{¶7Cn³)pOpOv'}<z^oXnywvnwvn|:~lD~7~¥^}<pQ¶³pQp±vnzD~ ]z¶³pQ¦Èny[pQvnz^n|`l^vy{z^vn|^w{v|
¦§z`u'npQn|D|^pOu~lD~±¶wxy{yJpOv^nyxp:Dz`g~z'¶6wx~p:]z¶³pQ¦ÈyJoX^}-z^O]~¥lnpOv»¨©nwo9ªF« lnz`nyµlCÂ^p
DyxyN~l)~^z^}-z^ny¶wl¦§z^O²5¸¹~7w³vnz^~z`vnyxoXD}Oz`~7pODy]npQn|D|^w{v|zD|^¥DoXU~¥l~7Dz`}-^v
pQDwxy{¶6wx~pD² `pO}-~w{z^v F:p<¯nywv6lnz¶ ~z~¥w{yxz` ~lnp9npO|D|Dwvn|XpOv`ÂLwz`vo:pOv`~~z^z^ ~¥D~pDv)
vp-pO)-²
¸¬¦º^z^gDp¶6wx~w{v|Dv°^ny{w{}O~wxz`v¶6lnw{}lwvg~¥vµpQ`w{pO6z^o:ppOn|^|Dwvn|¦È^}<w{yxw{~w{pOO]~¥lnpOv
¨©w{o9ª¬«j¥lnz^nyg]p:|^pO~6lp-yŲ#:ºz`°}-^v°zÂLw{npDz^)6pO¥¶w{~lg~¥^}<wvn|^v°npQn|D|^w{v|
¦È^}<w{yxw{~w{pO9~9~lnp'z`)pQy{p-Â^p-yzD¦D~¥D}-~w{z^v½¶w{~lnz`n~~z^}lnwvn|°^z^z`}-p}<znnp<; `pQ}<~w{z^v I
~p-y{y{ ^z^'lnz¶?~zp<¯n~pQvg¨©nw{)oª¬«®²
')(>= ? 58. #' 035A@%2 0 . / !"$#&%')(*
¸v ~lnwXpQ}<~wxz`vźpO^}l»z¦6~¥lnp'¦§zDy{yxz¶wvn|g¦§pQ~¥pQ:w{:np-~¥w{yxpQ®wv®~¥v ²¿¨©nw{)oª¬« w9¦Èny{yx®zª
|`^oXo:^ny{puDv)~lp±)z^|^¥DoXo:pO}-z^oXoXDv ^pu|^z^]pOw{v`~zCB}-pOv^w{z^*Dõ²5klnp±pOv`ÂLw{z^v)o9pQv`~
wXp<¯n~pOvw{yxp°^v¿}O~z^o:wKJO^nyxp^²?¨©nw{)oª¬« w{¥vvw{vn|Rwv¿}-z^zn}<pQw{v|´¶w{~l ~lp°npO|D|DpQ
pO¥wxz`vŲ
E
ø)äAåàCäÈîâ-ï+<åäAãAîáâCãeá)ï Cåºòõä§ïFîúôåãJòõäÈåºòõúúåãAãFîçCôå xäAá) <ïAïAà'()(%*%*% $îäÈîã¬ò$xä(¥ôóòõâCæCå(¥æCñCúòõãFãAå(
< 4L 4< ¡ Ð P
¡C¢ ¢n @@§
Í
k5¥D}<pQX¥Dyxy{¿wv^~~¥lnp°wvL¦§z^¥oX~wxz`v ~¥lnp- pO~wxpOÂDp^²4G7 }<z`v^~¥^~O¨©w{o9ª¬« lDvyxpQ~lnp
pOn|^|Dwvn|wvL¦§z^¥oX~w{z^vX^ `& ` ²ºklnpnpQn|^|Dwvn|w{vn¦§z^¥o:D~w{z^v 5È~¥^}<p^vz^¥}<p 7
}ODv~lnpQv)p^vy{npQ`zD|`^oX³]p<¦§z`p±w{~w{6)wv`~pO ²
`z`o:p:~¥^}<pQ±zÂLw{npCBo:^}-z^*Dõe¨©nwo9ª¬« z6NpQ¦Èny{y `& a ~zw{oXny{p<ª
o:pQv^~³npO|D|Dwvn|}-z^oXoXDv³Dv)z^|^¥DoX-²J¨©nw{)oª¬« ºyDvn|`|^pw{zDy{zD|p<¯n~pOvnpQ`:p-~
zD¦JpOn|^|Dwvn|w{o:w{~w{ÂDpQ-²9GD}Ã`~¥D}Ã`wvn|:^vvnwxÊ]}-D~w{z^vpQvDny{p~lppO~z¶6w{~p}-z^v}-w{pDv)
]z¶7pO¦Èny }<z`o:oX^v7z^v'~lp !)D²
< 4L 4L ] £ Ì ?
¢n¡@
Ð
YJ¢n¡¢Ñ@
P
k5¥D}<pQe)y{yx±zÂ`wnpº !]~5pO~ z¦)}-z^oXoXDvO²e¸v:¨©nw{)oª¬«®O~lnp7pO~ez¦)pOn|^|Dwvn|}-z^oXoXDv
w±~¥)}<~)pQ°wv^~z ² ^}l´¥}<pQvDwxz}<z^¥pO¥)z`vu~z}-pO~wv 63 Åz^
~z}<pO~Dw{v'D¥]pO}<~zD¦5npQn|^|Dwvn|)² 9]z^ p<¯^o:yxp^n~lnpQpw6X}-pOv^w{z9¦§z^ p<¯^o9wvnwvn|~lp~¥D}<pQ
p-¯npO}-~w{z^v~pQLª¬``ª¹~pOÅnDv)~lpOpuw ¥}<pOv)Dwxz¥]z^~wvn|:~lnp±pO7z^vp<¯Do:wvnw{v|9~¥lnp©z^)}-p
}-znnpD²'ÄpQv}<py{pO^vnwvn|´¨©nwo9ª¬«(^v»vCÂLw{|^~w{v|~¥lz`n|^l½w{~wp-y~w{ÂDpOyxµpOD´Dyx~¥lnz^|^l½~lnp
vLo9)pQzD¦ 5Èwv`~pQpQ~w{vn| 7©¦Èv)}<~w{z^v)y{wx~wxpQ9wXlnw{|^lŲ»klnp}-pOv^w{zµ~¥}<~¥pw9z`vny{R BÂLw~¥yD
~¥}-~p±~zlnpOy{]p-z^yxpp9¨©nwo9ªF« ²)Æv`}-z^oXoXDvÂLw{wnyxp±¦Èz^o2~lnp}O¥pQv^~o:znny{p}-^v
]pp-¯LpQ}-n~pO~6^v`~wo:pD² klnp¥}<pOv)Dwxz^^nwx|`o·w6yzX~¥lnp^w z¦U~lp}-~z`o:waJQ~w{z^v'Dv)
p-¯n~pOv)wnw{yxw{~¹o:pO}l^vnwoX 5Ap-ppO}-~w{z^v FX^vOI 7õ²
< 4L 4U 6 5O Ð @D¢n A@Ð ? ¢ ? Ñ Ì d Ì ?
A@§ @@§ Í
kl)DvÃL~z®zDy{zD|] vp-¶1pOnw}-D~pQ}-^v )p´pODw{yx DpO Dv) nw{pO}-~y{ )pQ D}<z^oXoXDv)-²
9N~lnpQo:z^pDUp-¯nw{~wvn|´}-z^oXoXDv)9}ODv ]p R ¶wx~¥lnz^~XÃLvnz¶wvn|°~¥lnpgnp-~¥w{y{9z¦u~lnpOw{
woXny{pOo:pOv`~D~w{z^vŲJklnpO}-^v9Dy{z)p6pOp-~5~z~¥lnp-wUnp<¦È^ny{~UÂCDy{pOO²up-¶ }-pOv^w{z^5}-^v9]p6DpOŲ
C w{~lÇ o:wvnw{o9o(z¦pO}<yD¥~wxz`vOu¨©nw{)oª¬« pQv)pQ~l)~'~lnpRvnp-¶1¥}<pQvDw{z®w{
wv`~z®~¥lnp´n~pOo'² ¸v`~pQ¦È^}<pD6lp-yÅoXDvLDyADv) z`o:pµ}<z`vw~pOv)}<¿}lpO}Ã`w{v|®¶wxy{yu]p´^npQ
^n~z`oX~w}-Dyxy{ 5Ap-ppO}-~w{z^v FX^vOI 7õ²
. 50Å9 & ¼57!#57
= (*' 17 @ 2 / /$% @ #/ 7
«µpO¥}-´zD|`^oXDplnpOCÂLw{yx½~¥Dv)¦§z`o:pOR]p<¦§z`p'Dv`´}-zLpw|DpQvnpO¥~pOŲg³zn}<pQpO9Dp
)n~wv`~z [0 ! #"$ ±lnwx|`l z`npQ)pQnw{}O~pO'Dpµ~¥Dv)¦§z`o:pO w{v`~z¿Ê]¥~z^¥npO
)pQnw{}O~pOO^z^o:puzn}<pQpO}ODv]puwvny{w{vpO&%nvpO³~lnp©}<z^oXo9n~D~w{ÂDppOoXDv`~w{}O-L}<z`vCv}-~w{z^v
^vRnw§v)}<~w{z^v)}-^vR)ppOÂy~pORwv»Dv`µz`npQ-²ÄpOv)}<pDJw{~wz^o:p-~w{o:pOnw¾}Onyx~~zµp-y~p
«µpO¥}-9z^¥}<p6}-znnp6¶w{~lXw{~7}<z^¥pO¥)z`vnwvn|±~¥D}<p^DpOÂDpOv:wx¦ ~lnp©zD|^¥DoZw{³}<z^oXnw{y{pOw{v|~lnp
~w}<~pOLnpQv^~w{Dy³pOoXDv`~w{}O¶wx~¥l®y{y~¥lnpz`n~wo:waJQ~wxz`v¶wx~¥}lnpORz65²µ¸v»z^¥npO~zµp-y~p~lnp
~¥^}<p9¶wx~¥l°~lp9wvnw{~wyUzD|^¥Do'Nwx~±o:wx|`l`~©z^o:p-~w{o:pQu]p:lp-yL¦ÈnyU~z'lCÂDp:y{zLz^Ã~©~lnp:Ä
}-znnp 5Ap-p~lp«°pO¥}-ÒupO^vDv|^D|Dp©6p<¦§pQpQv}<p±«µ^v`)yCInF7õ²
¨©nwo9ª¬«8w }<z^v)vnpO}-~pO~zX~lp©~¥^nw{~w{z^vDy]~¥^}<pO³z¦5«°pO¥}-)^²C½pnpO¥}-w{]p©w{v')Lª¬pO}-~w{z^v
q²q'~zµqn²g~lnpw{vL¦§z`oXD~w{z^vR}<z`v^~¥wvnpO´wvR~lnp~¥^}<p^v½¶³p¥]pO}<wx¦§µwvR¶6lD~z^¥npO±pQD}l½~¹n)p
zD¦p-Â^pOv`~9zn}-}OO²RklnpOp'pO¥}-w{n~wxz`v9|Dw{ÂDp^vnzD~¥lnpO9)z^w{v`~:z¦ÂLw{p-¶zD¦~lp Bk¥D}-w{v|°«°pO¥}-)
³z^|^¥DoX DupO}-~w{z^vz¦J~lnp«µpO¥}-pOoXDvLDy²
= (>= 2 5 _0 0 0 7 @ 203"2 0. 07)@5A@ #/ 7
C½p»}-Dyxy 1 2
D~w}-y{^']zDwv`~'z¦:~lnp»zD|`^ojp-¯npO}-~w{z^vǶ6lnpOp´wvL¦§z`oX~wxz`v
}-z^v}-pO¥vnwvn|R~lnpµ}O¥pQv^~~D~pgzD¦±~¥lnp°p-¯LpQ}-n~wxz`v }-Dv ]p´p-~¥w{p-Â^pOŲ «µpO¥}- pOÂDpOv`~¥}<z`v^~¥wv
p-Â^pO¥y)Ã`wv7z¦ wvL¦§z`oX~wxz`v5w{vL¦§z`oXD~w{z^vnpQ}Ownwvn|~¥lnp zD¦ ~lnp©p<¯npQ}-n~wxz`vÅLw{vL¦§z`ª
oXD~w{z^v'D]z^n~~¥lnpÂDw{^ny{p©wv~^v^~w{D~w{z^v 5 ` wvL¦§z`oX~wxz`v 7õ]Dv'wvL¦§z^¥oX~w{z^v~l)~6p<¦§pO¥ ~z
z^)}-p©}-zLp 5 0 _ "$ Z 7õ²
Æ ~¥D}-pw~¥lnpOp<¦§z`p:pOLnpQv}<p9z¦pOÂDpQv^~¥-[¶6lnpQp9pO^}lgp-Â^pOv`~u}ODvµ]pXpOpOvµ^u~yxpXz¦
p-y~wxz`vyÅD~^DpD²Jklnw~¥D}-p±o:znnpOyÅw{~¥lnp^w z¦5~lnp~¥^}<pLnpOo:pO}l^vnwo'²
klnp°w[pOpOv`~ 2
DpgDX¦§z^yxy{z¶6-² klpgw{npQv`~wxÊ)pO¥wv¿~p-y{p-~¹n]p¦§z^v`~Dp~lnp
v)Do:pOpOwvg¨©w{o9ª¬« ~zpOvnz^~p±p-Â^pOv`~~~¥wn~pOO²
6 Ð ?
-¡ Ð ÐLÏ @?
¬Ð ¡ ¢n R@Ð ?
` f
2
!
D~~^}lnpO~z^vpOÂDpQv^~O²
D}lp-Â^pOv`~l^JvnwLnp7p-ÂDpQv`~5vLo9)pQ^}-}<z`w{vn|~z©wx~¥5¥Dv)Ãuwv~¥lnp ~¥D}-pD² ¸¹~Jw©}<z`v`~pO
z¦Jp-Â^pOv`~O²
R
2
! z^ ! D~~^}lnpO~z:|Dz`yF²
Æ6y{y[p-ÂDpQv`~p-y~pOX~z9|^wxÂ^pOvX|^z^y]lCÂDp9vnwLnp|^z^y]v`)o]pO³|Dw{ÂDpOvD~wv`ÂDzn}-D~w{z^v:~wo:pD²
" ` #$%'&() D~~¥D}lnpQ~z9|^z^DyA²
¸¹~w~¥lnp9pOn~¥lgz¦º~¥lnp|^z^yw{v°~lnp:zLzD¦J~¥pOpD[vDo:pOyx'~lnp:vLo]pOuz¦Uw{~©Dv}-pO~z^|Dz`y
*
^²
2
3 # +,&)-(.
~~^}lnpO~zDvp-Â^pOv`~-²
klnpnw[pOpOv`~:«°pO¥}-)Rp-Â^pOv`~~¹n]pOXDp^¦§z^yxy{z¶6O²C½pnw{~wvn|`nw{¥l ]p-~¹¶7p-pQv®p-¯L~pO¥vy
p-Â^pOv`~7¶6lnw}l^p©~lp©~¥^nw{~w{z^vDy[]z^~7wv`~zL)}<pQ`ZG n "F^v~¥lnp±w{v`~pO¥vy[p-Â^pOv`~
¶6lnw}l'p<¦§pQ7~z¶6l~ wzn}-}-)w{v|9wvw{npzn}<pQpD²
U¯n~pQvDy p-Â^pOv`~
/
Xvnp-¶ zL}-pO)p©w{6w{v`ÂDz`ÃpQ
/
%-0.1( ~lnp}O¥pQv^~zn}<pQp©¥}-}-p-pQ
/2 1
~lnp}O¥pQv^~zn}<pQp¦ÈDwxy
/
%)$
DvzD~lpOºzDyn~w{z^v9¦§z`U~lnpu}-¥pQv`~ºzn}-pOpwºD¥ÃpQ¦§z`Uz^vX^}Ã`~¥D}Ã`w{v|)Dv)
X¥n|^z^y[zD¦5~¥lnpzL}-pO)p±lDX}lnz^w{}-p)z^w{v`~-²
¸v`~pO¥vDyÅp-ÂDpQv`~
/
$51
~lnpp-¯npO}-~w{z^vw{pQv`~pOwvn|:X¥Dv)}lzD¦JXnw§)v}<~wxz`v
/
1(5
~¥lnpp<¯npO}On~w{z^vwpOv`~pQwvn|X¥Dv}lz¦U:¶w{~}l
/
()%
~lnpp-¯npO}-~w{z^vw{pQv`~pOwvn|9~¥lnp#B~lnpQv D)^v}lzD¦J^vwx¦ÕªF~¥lnpOvnªFpOy{p
/
%
% ~lnpp-¯npO}-~w{z^vw{pQv`~pOwvn|9~¥lnp#Bp-yp D±¥Dv}lz¦UDvw¦Õª¬~lpOvLª¬p-yp
/2 1
(
~lnp±p<¯npQ}-n~wxz`vpQv`~pO¥ À }-zLp±¦ÈD|^o:pOv`~³¦§z^ ~lp±Ê]~~wo:p
/
)-(!%) ~lnp±p<¯npQ}-n~wxz`v'p<ª¬pOv`~pO¥7À }<znnp±¦È¥|^o:pQv^~
/
%-05%& (.1' ~¥lnpp<¯npQ}-n~wxz`v¥wpQ Dvp<¯}<pQn~w{z^v
$%-(. ~~¥D}lnpQ~z9|^z^DyA²
klnpnw[pOpOv`~ «°pQ}O©np-~pO¥o:w{vnw¥oÇoXD¥ÃLÅDpºD[¦§z^yxy{z¶6O²eklnp-±}l^^}<~pQwKJ-p5~lpvLo]pO
z¦U)z^~pQv^~w{Dy z^y{~w{z^v7¦§z`9|^wxÂ^pOv|Dz`yF²
/
$%-( p<¯^}<~y{z`vnpz^y{n~wxz`v
/
% 1 $ %-(
:z^±zDyn~w{z^v
/
!$%(
:z^^v`vLo]pO zD¦JzDyn~w{z^v)
/
''!$%-(
:z` z^vnpzDyn~w{z^v
/
(.1 ~ yxpQD~ z^vnpzDyn~w{z^v
/
(.1
p<¯D}-~y{z^vnpzDyn~w{z^v
/2
1 % vnzzDyn~w{z^v
/
%) !%
y{pO^ ~zX¥v`~wo9ppQz^
& ,&! D~~^}lnpO~z:|^z^yF²JÆ zn}-pOp±w{p<Ê]vnpQ^.
/ O" & " & ,&()&%
/ `f a $ %
2
.-$ )%
/ `a& a.$%!-.-$ )%
/ .%
/ 3 )51(. Dv
/ !` .)$% %-5 ²
klp6npO}-y{^D~w{z^v:o9znyxpwU~lpo:zL)nyxp¶6lpOp~lnp6pOlDUnpQ}<yDpO9~lnpuzn}-pOpD²
klpµnp<ÊNvnw{v| o:zL)nyxpµw{~¥lnpµo:znny{p°¶6lnpQp°~¥lnpµzn}<pQp'wp"NpQ}<~wxÂ^p-y{ np-Ê]vnpQ
¦Èz^o ~¥lnp}<z`o:wxy{pO ]zDwv^~ zD¦eÂnnpD²ºklnpOoXC)pnwNpQpQv`~7wx¦~¥lnpzL}-pO)p©lD]p-pQv
wvny{w{vpOŲ
klpµo:zLp´vLo]pOw{Dv wv`~p-|^pO}-znnw{v|®~lnp½o:zLp°z¦~¥lnpµzn}<pO)p^² C lnpOv
)pQnw{}O~pXl)D±z^vyx°z`vnpo:znnpD~lnpo:znnpvLo]pO±zD¦7w{~}-z^¥pQ]z^v)nw{v|'zn}<pQp
w)²u¨u~lnpQ¶wpD)~¥lnp9o:znnp:v`)o]pO6w6~¥lnp9¥Dv)Ãwvg~lnp9z^¥npO6z¦ºD]pO^^v}<pzD¦º~lnp
o:znnpnpQ}<yD¥~wxz`vŲ
8
¢n Q¢@
? ¬Ð
¡¿¢n A@
Ð ?
" 2
$ Z )
~~D}lpO~z:|Dz`yÅDv'Dv'pOÂDpOv`~O²
¸¹~|Dw{ÂDpQ~lpµ}-¥pOv`~w{v)~¥Dv`~w~wxz`v¿zD¦~lnp°y{w{ÂDpµzn}<pQp^|`o:pOv`~O²/C½p´¥C®~¥l~
ÂDw{^nyxpw 2 ~6|Dw{ÂDpOv]zDwv`~z¦U~lnpp<¯npO}On~w{z^vwx¦Uwx~l)D6]p-pQvw{v~^v`~w~pQgDv'wx¦º~lnp
pQyx~7z¦e~¥l~ wv~Dv`~w{D~w{z^vw ~wxy{y CÂw{y{^nyxp^²C lpOvw{~ w{ ÃLvnz¶6v~¥l~9ÂDw{^nyxpu¶wxy{yÅvnzD~
)p6)pQ:D|^Dw{vÅw{~}<z^v`~pOv`~Jw{ºvzD~U¥y{yx9ÃpO~º^~lnp«°pQ}O}<z`o:wxy{pOO²eÄuz¶³pOÂDpOO¶6lnpQv
~¥D}-w{vn|w{©z`vÅ[~lnp}<z`v`~pOv`~uz¦wvn~±D|^)o9pQv`~©Dp9ÃpQn~y{w{ÂDpXv`~w{y5~¥lnpXzn}-pOpp-¯nwx~¥-
npO~¥}-~w{ÂDp±w{v)n~5$1 o9znnp 77D|^o:pQv^~¥7p<¯}<pQn~pQŲ
" 2
$ Z 3 -(-&%
D~~^}lnpO~zX|^z^yÅ^v^vpOÂDpQv^~
¸¹~|Dw{ÂDpQ ~lnp~¹n]pO z¦J~lpyxw{ÂDpzn}<pO)p±D|^)o9pQv`~O²
" 32 2
a7-!)
¸¹~6|Dw{ÂDpQ ~lnpwv~^v^~w{D~w{z^vÅ)~lnp~¹n]pO6^v'~lnpv^o:pOzD¦5y{wxÂ^p±yxzn}-Dy ÂDw{^ny{pO ~l)~6DpvnzD~
D|^o:pQv^~¥ z¦5~lnp}OpOv`~zn}<pO)p^²
] Ð e¡£ Ì £ Ð
??
Ì £ R@Ð ? @?
¬Ð ¡ ¢n A@Ð ?
R # )!-(- ~~¥D}lnpQ~zX|Dz^DyÅDv'Dv'wv^~pO¥vy[pOÂDpOv`~O²
klnp°|^z^y6)~l wvnw}-D~pQw{v ¶6lw{}l ^~zD¦©~¥lnpµ}-zLpg~lnpµ}O¥pQv^~pOÂDpQv^~zn}O}-¥-²
Dv ^v}lnpQz¦ºDv " DpnpOvnz^~pQ'` % ^v ( % $ Dv)
8 ^ppOvnz^~pO` 1 $51 Dv)
1 `¶6lnpQp 1 w~¥lnp±}<z^vv}<~ 5ApO¥nw§)v}<~O¶w{~}l 7
vLo]pOO² 9)z` p<¯DoXny{pDnwx¦J^vpOÂDpQv^~ ¶w{~l'|Dz`yÅD~l % $ w |DpOvpO¥~pQÅnw{~ o:pQDv
~lD~~¥lnppOÂDpOv`~ºzn}O}-¥pQXw{v~lnpÊ]~¥Dv)}lXz¦enwÈv}<~wxz`vÅL¶6lnw}lXw{³w{v~lnpup-yp)^v}l
z¦UDvw¦Õª¬~lpOvLª¬p-yp^¶6lnw}lwwv~¥lnp~lw{¥}<z^vv}<~wxz`v'z¦~¥lnp}-)pOv`~ |Dz`yF²
= ( .47 0 58' " :0 / *6032 %2 . 0 0 7 @
klp6p-Â^pOv`~º~¥)}<~)pwUw{yxy~¥~pQ` 9Jwx|`pD²Jklnpnwy{C^pOX~¥)}<~)pwºp-y~pQ:~z^v9pOÂDpQv^~
zD¦n~lnp³p<¯npO}On~w{z^v±zD¦~lnp
))( zD|`^o ¶6lnw}lz`~¥ ~¥lnpy{w{~ zD¦w{v`~pO|DpQ ! w{vn|u#" %$
Dyx|^z^wx~¥lo'²5klp ¦ÈnyxyN}<znnp6zD¦[Lz^~-²oZwU|Dw{ÂDpQv:w{vÆu)pQvnwx¯XƲUklnp6wvL¦§z^¥oX~w{z^vX}-z^v`~Dw{vnpQ
wv'~lD~6~¥)}<~)pwvnw}-D~pO ~¥l~6)zn}<pQp
))(&&))(.1 (.1'(')+*, w{}-¥pQv`~y{w{v`Â^z^ÃpQÅnw{~w{
~¥lnp.-/021~¥D}<pp-ÂDpQv`~]p-wvn||DpOvpO¥~pQÅ)~¥lnp43021|^z^y5)pOw{v|w{v`Â^z^ÃpQÅ]^vgw{~ul^65021^v}<pQ~z^¥
5FnpO~l°w F<7²©Æ ~©~lnw±)z^w{v`~OÅz^vny{~lnp9Ê]¥~u~¹¶³z'D|^o:pOv`~¥6z¦ &!))(.1(51'(') Dpw{v)~¥Dv`~w~pO
~¥lnpXÊ]¥~±z`vnpXw{]z^)vnpO½~z'~¥lnpy{w{~z¦7w{v`~pO|DpQ7 8 ^v´~lnppO}-z^v´z^vnpX~zg~lnpwv`~p-|^pO
%7~lw{¥ ^v»¦§z`~¥l®ÂDwDny{p^p'vnzD~:yxw{ÂDp'¶6lnw}l®w:w{vw{}O~pQ `»~lp:9ª{² klnp'~¹¶7zµy{wxÂ^py{zn}-y
Â^wDny{pODp<;[N]z^v)g~z~lnp:w{v`~p-|DpQ
ÅDv8=]z^v°~z~¥lnp:yxw~uz¦ºwv`~p-|^pO: ²klnw6pOÂDpQv^~
zn}O}-¥pQ½w{vR~¥lnp ()%'
¥Dv}l½z¦~¥lnppO}<z`vR}<z`vCv}-~w{z^vRz¦~¥lnpÊ]¥~
1(5
z¦~lp}<znnpzD¦
&))(.1 (.1'(') ²
!
O
) I
$%& () F
&)-( ~lnpQv
$%-( p-~
&!!()&!% pOnw}-D~p
$%
2
.)$ )% `z^~
$%.)$ )% `z^~
5% ^~wx~wxz`v
)51 (
.)$ %' %)
)
xD]q F)Lª¥nª
) ()&%
y{w{~y{w{~"5Aw{v`~47õwv`~-nªõLª
)'!-
y{w{ÂDpÂ^"5Ä[Dnwv^~47õy{w{ÂDpÂ^"5<k q¬nyxw~"5Èwv`~87 7
! '&-(-
OD}Qqnn~
klp±p<¦ÈDyx~6nw¥ny{Cz¦J~lnw p-Â^pOv`~w{
, & ()%' &!))(.1(51' . : 7* * (
9Jwx|`pX-JÆuv'p<¯DoXny{p±z¦J«°pO¥}-p-Â^pOv`~
= ( &, 0 .10 % 07_0 / 0 0 7 @ .
C½pX}-y{y 5 z¦7zD|`^o2p-¯npO}-~w{z^vµ'pOLnpOv)}<p:z¦pOÂDpOv`~¥uzD¦~lpX¥Do:p¦§z^¥o:D~ % wv½pOvpD
~¥D}<pwnw{¥}-p-~w{¥~wxz`v'z¦U~lnp9p<¯npO}On~w{z^v ² klp«°pO¥}-)'~¥D}-p}-Dvg]pp-pQvgD^vp<¯n~pQvnpQ
Â^pO¥w{z^vz¦5~lnp G n']zC¯o:zLp-y)x ~¥l~6nwv6p<¯npO}On~w{z^vp-Â^pOv`~ ~z|Dz^Dy{O²5¸v~¥lnw6)Lª¬pO}-~w{z^vÅ
¶7p|^wxÂ^p³u]pO}-wÊ]}O~wxz`vz¦)~¥lnp7«°pO¥}-©~¥D}<p¦Èz`o ~lnp )z^w{v`~5z¦)ÂLw{p-¶»zD¦]6|^wxÂ^pOv|^z^y^w{vp<¯n~pQvnpQ
G 9°vnzD~¥~w{z^v ²upQ)pQvnwvn|±z^v~¥lnp np-~pO¥o9wvnwo zD¦~lnp zL}-pO)p^Cw[pOpOv`~JpQ`pOv}-pO zD¦)p-Â^pOv`~
¶w{y{ye)p|^pOvnpQD~pQŲ
np-~6)zn}<pQpO
$ %-( * * )$51
1(5
()!%
%
% %-051(
pQo:w{npO~6zL}-pO)pQ
% 1 $%( * * -$51
1(
(-%
%
%-%-0.1(
2 1
ony{~wzn}-pOpO
(.1**
(.1)%'!$
(.1-%!$ * *-$51
1 (5
()%
%
%
)%-0.1( %-$
(51)%!$
2 1
}-}6ony{~we)zn}<pQpO
) '(.1 * * ' -$51
1(5
()%
%
% %-0.1(
vnz^v)np-~6zn}<pQpO
!!$%-(* *
!!$%-( )%!$
!!$%-( )%!$ * *-$51
1(5
()%
%
%
)%-0.1( %-$
!$ %-()%$
%-0.1 ( 2 1'
}-}6vnz^vp-~zL}-pO)pQ
)'$%-( * * -$1
1(5
()%'
%
%
)%-0.1(
2 1
¦Èw{y{)pzn}<pO)pQ
2
1 !% * *
2
1
pO¥z`vnp-z` zL}-pO)pQ
klnp-¶wxy{yevnz^~ |DpOvpO¥~p±Dv`pOÂDpQv^~O²
À }-znnp©¦ÈD|^o:pOv`~
!)$%* *
2
1
( )-(!%-
= ( ; .47 0 58' " :0 / *6032 %2
.
@2 5 _0
9Jw{|^pq¥lnz¶6±Dvµp<¯l^~wxÂ^p9~¥^}<pXz¦7~lnpXp-¯LpQ}-n~wxz`vµzD¦³~¥lnp ))(
z^|^¥Do 5Ap-pÆu)pQvnwx¯
Æ 7z^v~¥lnp±yxw~ ²5¸v~¥lnw ~¥D}<p^^¶7p©z^vny{w{v`~7~lnp©¦§zDy{y{z¶w{vn|9p-Â^pOv`~7D~~¥wn~pO
!!
&
%&(- !-)(!'51 (51
( )!-(- ² C½pyzuÊ)y{~pOpO9z^~JDyxyL~¥lnpzn}-pOpO
~¥l~¶7pOp±np<Ê]vpO'w{v'~¥lnpo:zL)nyxp &!51 (!1
( ¶6lnw}l^pvnz^~7zD¦5wv`~pQpQ~lnpQp^²
uzD~p7~l)~5w{v)n~5^|`o:pOv`~ezD¦)oXwvzn}<pO)pw{Jvnz^~CÂw{y{^ny{p~5p<¯nw{~5]z^~ 5ÈpOÂDpOv`~ 7 wv}<p
w{~w©npO~¥}<~wxÂ^p-y{')]D~pQŲ uzD~p9yz~¥lnp9lzDy{p9]p-~¹¶7p-pOvpOÂDpQv^~¥ ) Dv ~lD~u}-z^¥pQ]z^v)
~zXp-ÂDpQv`~ zn}-}Owvn|9wv &!1 (1
( o:znny{pD²
7e & 0Åe & $·%'& ' ")
(*' 0 @ @ #7)% " @ , 0 ,/7$# 0 7 # 2 / 7' 07)@
klp³}-)pOv`~eÂ^pO¥w{z^v±zD¦N¨©nwo9ªF« v)e¶w{~l96«°pQ}Op-y{pO^pºzD¦~lnp C±y~pQ ~¥lDv9Æwxyn^²
À7)pOv`~y{DCw{~5l)D5)pOpOv~pO~pQz^v9^}<ª¬¥v `zDyDw qn²[FnITº^vz`v]}<ªFwI`b Iewv`n¯`ªqn²²]<n~
w{~u¥lnz`ny{¶7z^¥Ãz`vgDv`'zD~lpO)vnw¯°n~pOoX-²¸¹~©pQLnw{pO6~lnp&7À³ew{ `p9zDy{zD|n~pOo %[wx~©lD
]p-pQv'~pO~pQ'¶wx~¥l À³ew{ `p²)²)²F²qL)²ó¨ Dv)]²x^²
uzD~p-Uw¦5Dz`Dp©)wvn| 7À³ew{ `p±)²9z^ 9)pOÂ`w{z^)Â^pO¥w{z^vÅ`Dz`vnpOpO~zXD~lnp©¦§z^yxy{z¶w{v|
y{wvnpw{vDz`
,&.1 * *
Ê]yxp-
è<áñUúòõâºæCá%eâCôá<òõæºòÅäÈåôåòõãAåNáOï Cå)æòèºò¥ï'4 <ïÈïFà'()(%*%*%,$úã$ 7ñ $á76 $òõñ (¥äAåãFåòõäÈú" (- åäÈúñQäÈè (¥æCá%eâCôá<òõæ (¥äAáõïAæ$ -ï ô8
CäÈåå ôîúåâCúå xáä(òõúòõæCå îú ãFîïAåã(òõâCæ {äÈåå ïAäAîóòõô áâ<ï ôîúåâCúåòõäÈå òòõîôóòõçCôå {äÈá)