HAL Id: inria-00073821
https://hal.inria.fr/inria-00073821
Submitted on 24 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.
Some Congruence Properties for pi-calculus Bisimilarities
Michele Boreale, Davide Sangiorgi
To cite this version:
Michele Boreale, Davide Sangiorgi. Some Congruence Properties for pi-calculus Bisimilarities. RR- 2870, INRIA. 1996. �inria-00073821�
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
Some Congruence Properties for -calculus Bisimilarities
Michele Boreale , Davide Sangiorgi
N˚ 2870
April 1996
THE` ME 1
24365"78:968<;>=@?A8CBD968FEHGIBKJ36L8NMBPOQD3R=@?+QP3
STVU+W>XY[Z]\^+_`X+a:bKcX/d_`ef_gd`U+W>X+_
hji`kmlnX+doqpHrgstp
\uatvVvDk:i`dwfXxigXAy1TfX+izy1TfX {|:}m~K"Z0uv'ig Y+:tZY+~>vVam:X+_
++Vtt ktd`Tk:i{CdgXAigX+aK{fat{'wNk:i>{fk:{K{:d`X+i`XAaK{fq_`X+Wat{Cd`y+_/ _`X/tXAi`atH"ati`a:{Cd`_kt
a@y+amy/bfbV_ f_`W>a:igd¡eNy+at{¢ DXttXA{N£Tfy1TwV¥¤@X+i&k:{¢dzTfXi`X+¦KbfigXAW&XA{Cd`_xWv'kC_gXAw¢k:{{Va:W&X
{V_`d`a:{:d`atdgk:{V_+§p cVatWvfX+_a:igX¨dzTfXª©¥«"¬¡®¯°«"±©³²®¯´1µf/¶a:{Vw¸·t±`´m¹f¶Pº["ati`a:{Cd`_+§STVXx:i`k:bV{Vw"ati`a:{Cd
_d`TfX_`WvfX+_`d 'XAy/atb'_gX¯d vfaty/X+_{fk¨igXA¦CbVi`X+W>X+{Cdz_kC{{Va:W&X*{V_`d`at{Cd`atdgk:{V_+§¼»Fd`T>d`TfX¯XcVy/X+vfd`kC{
ktkCv'XA{< f_`W>a:igdgX+_+¼{fk:{VX>ktdzTfXª f_gW>ati`d¡ey/k:{V_`wfX+i`X+w{<d`TfX½dgX+izamdzbVi`X&_xay/k:{fCi`bVX+{Vy/X
i`X/amd`kC{ªkC{dzTfX¨¾bf¼@¡y/amy/bVbV_*at{V:bVattXt§
»NX_`Tfk"£¿dzTVamd¸{4dzTfXNy+at_`X<ktÀ6y/X+i`d`at{ÁkCi`W_¸km1Â<ð«m¹KÄ«t©¨ÅÆÄ1ÆÈÇ&¹V©«"¬Rƾ´"¶ dzTfX¢atdgX:uX+a:iget
kCv'XA{a:{VwCigkCbV{Vwq"ati`at{Cd`_Éykt{Vy/wfXat{'wati`X&y/k:{fCi`bVX+{Vy/XigX+atdgk:{V_É{d`TVX>_zbV fat{fCbVam:Xktjd`TfX
@¡y/aty+bfbV_u£d`TVk:bfdxWamdzy1Tf{V'§x»NX>at_`k_zTfk"£d`T'amd¨dgk¸k: fdzam{qd`TVX_zatW>X>igXA_`bfd`_[{dzTfX½y/at_`Xkt
dzTfXx{:d`X+i`XAaK{f f_gW>ati`d¡etV{IatwVwfdgk:{¸d`k&kCi` VwVwV{fªWatd`y1Tf{fd_{fXAyXA_`_zati`e½dgkªy/k:{V_`d`izam{
dzTfXxk:bVd`vVbfdv'igX/ÊVc˧
ÌIÍCÎ@ÏzÐÑ Òt _gWbVatdgk:{Ë@¡y/aty+bfb'_/uy/k:{fCi`bVX+{Vy/Xt*{Cd`X+i`XAaC{fÓa:{VwF{fkC{KR{CdgXAigX+aK{f
_`X+Wa:{:d`y+_
ÔÈÕ¼Ögר+ÙÖ*ÚÛ×ÜÝÞ
ßàáâãnä6å6áæç¯èAáKé¼ê1ëìHí¾îKì*ïAì°ðá³ãnàñgìzò
óôéóÈõjömï+ê1ð÷AáøìzùÈõàæRá³ðmê1ú³á³å
< )#&%'(&)*)
{&v'XAbfdwV^ÊD{fivfbV_gX+b'i`_"ati`a:{:d`X+_wfXau V_`W&bfamdgk:{v'kCbViX@y+amy/bfRmatbV_z_`C fX+{&v'kCbViwfX+_
_`^+Wa:{:d`¦KbfXA_XA{Cd`i`X/atyXAW>X+{Cd[¦KbfX½vDk:bVixwVX+_x_`^+Wat{Cdg¦KbfX+_¨_zat{V_¨XA{Cd`i`X/atyXAW>X+{Cd/§X+_¨"ati`a:{CdgX+_
wV¥¤@U+i`X+{CdvDk:b'i¼X+_yk:{'wfd`kC{V_¦KbX/X+_¼Wv'kC_gXA{Cd_zbVi¼{V_`d`a:{:d`atdgk:{wVX+_{Vk:W_/§
{avVa:i¼X/cKXAWvfX
X+_"ati`a:{:d`X+_ª©«"¬¡°«"±©³²"u´1µf/¶X+d>·t±`´"¹f¶@º"§a f_gWbfamd`kC{¢:i`k:bV{'w<XA_gdavVbV_>_`WvfXvVa:i`y/X
¦KbX/X{fXv'kC_gXa:bVy/b'{fXxyk:{'wfd`kC{I_`bVi{'_gdzat{Cdgamd`kC{wfXA_{fkCW>_+§jvVa:igda f_gWbfamd`kC{¸k:vDX+{Ë
a:bVy/b'{fXwfX+_j f_`Wbfamd`kC{V_HykC{V_`wf^Aig^+X+_ wVa:{V_ axd`dg^+izamdzbVi`X{XA_gdHb'{fXui`X/amdgk:{wfXy/k:{fCi`bVX+{Vy/X*_zbVi
X+{V_`X+W& fXxwVb¸@¡y/aty+bf6§
Ék:bV_ W>k:{CdzigkC{V_¦KbfXvDk:bVi y/X+i`d`at{fXA_¼kCi`W>XA_ wfXxÅÆÄ1ÆÈÇ&¹V©«"¬Rƾ´"¶qÃz«m¹KÄ/«m©¥¼bV{VX¯^A¦Kbf"atXA{VyX Va:_g^+X
_zbVi¯bV{fXx_`^+Wat{Cdg¦KbfXÉ_zat{'_XA{Cd`i`X/atyXAW>X+{CdH X+_¯"ati`a:{:d`X+_atdgX:CXAati`e:Kk:vDX+{ªX+dCigkCbV{Vwyk¡{Vy/wfXA{Cd
X+dª_gkC{CdªwfX+_ªy/k:{fCi`bVX+{Vy/X+_½_zbVi½X_gkCbV_nat{fCamtX¸wVbÁ@¡y/amy/bVu{fXykC{CdgX+{'at{CdªvVat_ªk:vD^+izamd`X+bVi½wfX
Watd`y1Tf{f'§ {W>k:{Cd`i`XatbV_z_`'¦KbfXuvDk:bVi kC fdgXA{fiHX+_HW +W>XA_ji`^+_zbfdzamdz_HwVat{'_ XÉy/at_jwfXu_`^+Wat{Cdg¦KbfX+_
ÉX+{CdzigX+a:yX+W>XA{:d+C¾atbVd{Vk:{_`X+bVXAW&XA{CdX/cfy/b'igXX*Wamd`y1TV{fDmWam_a:bV_z_gKigXA_gdzigX+{'wVigXk:vD^+izamd`X+bVi
wVX¨v'ig^/ÊVcVamtX¨vVa:ibV{¸k:bfdzvVbfd/§
! Ñ A Ï #" _`Wbfamd`kC{ËË@y+amy/bfbV_+y/k:{fCi`bfXA{VyX:¼_g^AWat{Cdg¦KbfX+_¸X+{Cd`i`X/aty/X+W>X+{Cd+_g^AWat{%$
d`¦KbfX_zat{'_XA{Cd`i`X/atyXAW>X+{Cd
¨É(¨/
{VX¸ktÉdzTfXqW&kC_gd_`d`bVwfX+wÁa:{Vw Wv'kCigdzat{Cd_z_`bVX+_>{ vVi`kfyX+_z_amtXA Vi`a_d`k¢{VwVKwVbVamd`Xq 'XATVa $
Kk:bVizamjX+¦KbfatXA{VyXA_x£Tfy1T 'XvVi`at:Wamd`y+ame<_`atdg_n¾a:ydgkCigeÓÀ¾R§X:§d`TVXwfX+{CdgÊDy+amdgk:{'_WatwfXªkC{
v'igkfyXA_`_`X+_¯ DX¨_`X+{'_g fXÂat{VwWamd`TVX+Wamd`y+ame½dzi`a:yd`a: fX&À66§Xt§Vat Dk"tX[am6VvVi`kfyXA_`_X+¦Kbf"amX+{Vy/X+_* 'X
XAat_`ed`kªtXAige'°§'kCidzTfXamdgd`X+iÉv'k:{Cd/@at{IWv'kCigdzat{CduvVi`k:vDX+i`d¡ekt d`TfX DX+T'aCk:b'i`at¼X+¦Kbf"amX+{Vy/X
_ð´"¶K·m±1¹'/¶Pð/f£Tfy1T¸atk"£_*bV_*d`TVXigXAvfa:yXAW&XA{Cd¯ktgX+¦KbVat¨dgX+izW_*{Ia:{:eyk:{Cd`Xcfd/§
rn{ :mX¯vVigkfy/X+_z_at:X+ Vizat_+A V_`W&bfamdgk:{&TVat_aty1TVX+tX+w£wfX*ykC{V_`X+{V_zbV_at{Vw&v'kCvVbfati`d¡exat_
aÉWamd`TVX+Wamd`y+amCdgkKkt:k:iwfXÊP{f{VÉ DX+TVaKk:bVizammXA¦Kbf"atXA{VyXA_/§STfX_`WvfX+_`dk:izW kt' f_gWbfamd`kC{
_dzTVamdktd`TVXx{CdgXAigX+aK{fatvVvVi`k:a:y1T˧r¡digXA¦CbVi`X+_¯d`T'amd at{Vw ati`X[ f_`W>a:i/fdzTfX+{
"!¼WvfXA_ #!¾fkCi_gkCW>X"#!Ë f_`W&ati*dgk"! $&%('
a:{Vwd`TfX¨Ky/X¨tX+iz_zaVCk:{d`TfXxvDk:_z_g fX[dzi`a:{V_`d`kC{V_* :e)½§ rn{a ½dzi`a:{V_`d`kC{*
+
"!6Vatyd`kC{
,
y/a:{ DXxd`TVk:bfCT:da:_*d`TfXxkt¤PXAi¯¾igkCW- kta½_`ef{Vy1TVi`k:{f_`atdgk:{½£d`TIa:{X/cKd`X+iz{Vam¼v'igkfyXA_`_+§
rn{&d`TV_ vVa:v'XAi/"£¯XwfX+atK£dzT& f_`W&bfatdgk:{K¡ Va:_gXAwX+¦Kbf"amX+{Vy/X+_k:idzTfX*gÃz«t©¥Ã/¹V©³¹KÄ/.10§rn{CdgXA{V_`X
i`X+_`X+a:i`y1Tk"tX+id`TVX*v'at_`d_`cetX+a:i`_TVa:_W>a:wfX*d`TfX*@¡y/aty+bfb'_¬32Kv'atizatwf:Wamd`yjXcVatWvfX*km@vVigkfy/X+_z_
at:X+ VizaxkCi¨Ç´CÅ1Æ©_gef_`dgXAW>_+§'kCi`Wametf@¡y/amy/bVbV_*i`X+vVi`X+_`X+{Cdz_awfX+tX/k:v'W&XA{Cdkt ª{¸£Tfy1T
ð´mÇ&Ç>¹f¶'ƾð«"¬Rƾ´"¶Á´4¶@«"ǽ1Ä[_xatk"£XAw˧rn{VvVbfda:{Vw<k:bfdzvVbfdvVi`XÊVcfXA_¨d`a5tXd`TfXkCi`W768$9:;'=<> a:{Vw
6?9:A@B<>i`X+_zv'XAydgtX+eC¯d`TfX¸kCi`W>X+i>vVi`kfyX+_z_&£¯atdz_kCiadzbVvfX¸ktÉ{Va:W&XA_
9D
d`kN DXq_gXA{:damk:{VE6
a:{VwId`TVX+{q DX+TVa:X+_FtX#HGIJKILNM D£TfX+i`X+a:_d`TVXatdgd`X+ivVi`kfyXA_`__£{fªdgkª_`X+{'wq{VatW>X+_9:¨amk:{fO6
a:{VwdzTfX+{<ykC{:d`{KbfXA_umXP§"Q[XÊP{fd`kC{R$S%('*_Éd`TfX½_zatW>X{@¡y/aty+bfbV_Éa:{Vwq{ PËbVvdgk¸d`TfX
wV¥¤@X+i`X+{Cd¨_gef{Cd`amcIktjaty/dgk:{V_[at{Vwd`TfX&¾aty/dÉdzTVamd+Ë{d`TfX>@y+amy/bfbV_+DwfXA{:d`d¡eqktaty/dgk:{V_É_udza5mXA{
W>kfwVbfkªamvVTVay/k:{CtXAi`_`kC{˧
STVX>{fk:dgyXAat fXXAamd`b'igX>km$S%('_ÉdzTVamd[d[i`X+¦KbfigXA_¶@´{'atW>X&{V_`d`a:{:d`atdgk:{˧x»NX½y/at ·m±z´"¹f¶Pº
ÅÆÄ1ÆÈÇ&¹V©«"¬Rƾ´"¶¿a& V_`W&bfamdgk:{£dzTªdzTf_v'igkCv'XAigd¡e:§TQ¨bfX¨dgkd`_*_gWvfy/d¡e:fd`TfXxwfX/ÊD{fdgk:{dz_gX+¥kt
CigkCbV{Vwª V_`W&bfamdgk:{vVigk"KwfX+_bV_¯£dzTa&igX+atdgtX/e>XUªyX+{Cd¯dgkKktDk:i¯y1TfX+yNC{fvVi`kfyXA_`_¯ f_gW>a $
i`dgX+_+§
V[{Kk:i`d`b'{Vamd`X/et@{d`TfX&@y+amy/bfbV_É:i`k:bV{Vwq V_`W&bfamdgk:{_[{fktd[aªykC{f:izbfXA{VyXi`X/amd`kC{˧uSTfX
¾atbVi`X_H{fX+Kdzat fX*{½vVi`X+_`X+{'yX*km@d`TfXWatd`y1Tf{f¨k:vDX+izamd`k:i+m£igdgd`X+{W6HXY:BZDat{VwbV_`X+w>d`kxdgX+_`dk:i
XA¦KbVamd`XA_ 'X+d¡£X+X+{¸d¡£¯k{'atW>X+_6ªa:{Vw:§'kCi*{V_`d`a:{VyX:f¥6a:{Vw[:Éa:igX¨wf¤PXAigXA{Cdd`TfXA{¸v'igkfyXA_`_`X+_
]\_^&`XaW6HXb:>Z:c?3:A@N<>d b\A^&`Xed
a:igXNd`TVXN_zatW>X¢_g{VyXNd`TVX/e X/cfTV fdq{fkÁ 'XATVaKkCbVi/É Vbfdqy/a:{4 DX¢wV_`dg{f:bV_zTfX+w4{ d`TVX¢y/k:{CdgX/cfd
f
WhgZ\_^&`Xi$
D
$j6k'><;WhgZj'Bl
D
?j:A@x_`{VyX
f WZTVat_&awfXAig"amd`:X½£Tfy1TÓy/at{vDX+igk:izW at{¢kCbfd`vVbVd&aty/dgk:{<Z
dzTfX¨{Cd`X+izatyd`kC{ª DX/d¡£¯X/X+{{VvVbfd
D
$j6k'Ha:{VwªkCbfd`vVbVd
D
?3:A@_`X/d`_¯dzTfXxW>atd`y1Tf{f&{mdgkdzi`bfXuZ]£Tfy1T
f WZT'at_{fk:d/§
Ék"£X+tX+i+ËvVi`kKy/X+_z_gXA_ -at{Vw y/at{< 'X½wf_`dg{f:bf_zTfX+wNbV{VwfXAi¨d`TfX{V_`d`at{Cd`atdgk:{ G L
K M ¼£Tfy1T
i`X+W>k":X+_d`TfXwV¥¤@X+i`X+{Vy/X 'X+d¡£X+X+{{Va:W&XA_ 6a:{Vw :§rn{'wfX/XAwË:dzTfX{Vatd`bVizamf£*aekmËW>kfwf¥eK{fx:i`k:b'{Vw
V_`W&bfamdgk:{¼_`kdgktX/d&yk:_`X+ixd`kaykC{f:izbfXA{VyXªi`X/amd`kC{Ë_d`kd`a mX{'atW>Xª{V_gdzat{Cdgamd`kC{N{Cdgk
a:y/y/k:bV{Cd/§ bfddzTfX+{ËDamd*XAat_`d*d¡£k½_`X+i`kCbV_*wVi`a£ 'atyNK_jXAW>X+i`tX
Yt§ ¯TfX+yNC{fx f_gW>ati`d`XA_ y/a:{> DX+y/k:W>XXcVvDX+{V_`tXtmk:i {Va:W&X{V_`d`a:{:d`atdgk:{>y/a:{>y+atbV_`Xa¨_gdzamdgX
XcVvfk:_`kC{v'igkC fXAW!{dzTfXxtXAigÊDy+amdgk:{¼§
}f§Qɤ@X+i`X+{Cd"a:igat{Cd`_Hkm f_gW>ati`d¡e>a:igXuvDk:_z_` fXtK{ªykCi`i`X+_zvDk:{VwfXA{VyX£d`Twf¥¤@X+i`X+{Cd¯£¯aef_ kt
bV_`{f½{Va:W>Xx{V_`d`a:{Cdgamdgk:{¼§pHcfa:WvfXA_ati`X¨d`TfXª©¥«m¬/°«"±©ø²¨a:{Vw¢´°µV¶½"ati`at{Cd`_ .V¼Y};0R§
r¡dy/at{ DXÉvDX+izTVatv'_H¦KbfX+_`dgk:{fXAw£TfX/dzTfX+iÀR}:Â _`TfkCbfw½ 'Xuy/k:{V_`wfX+i`X+waxwViza£ VatyNPt 'bfdjdH_jamd X+a:_gd
a_gkCbVi`y/Xªkmuy/k:{K¾b'_gk:{{ a:vVvfy+amdgk:{'_/§EDbVi`d`TfXAi/ dzTfXamd`Xa:{VwX+a:igeNa:igat{Cdz_½Ä1¬6Ʃȩ8«"Æ©dgkN 'X
y/k:{fCi`bVX+{Vy/X[i`X/amd`kC{V_/f DX+y+atbV_`Xx{fktdvVi`X+_`X+i`tXAw Ceª{VvVbfdv'igX/ÊVc˧
STfX¨at Dk"tX[wf_`y+bV_`_`k:{ª_zbft:X+_`d`_jd`TVatdd*_WvDk:i`d`a:{:d¯dgk>_gk:atdgXÉ_zbV Py/aty+bfPkmd`TfX¨@¡y/amy/bVbV_
£d`Ta4{fk:{Kd`i`CamXcVvVi`X+_z_gtXA{fX+_z_qat{Vw kCi`W_km½:i`k:bV{'w V_`W&bfamdgk:{ kCidzTfX+W£Tfy1T 'X
y/k:{fCi`bVX+{Vy/X¨i`X/amd`kC{V_+§jSTfXi`X+_`X+a:i`y1Tyk:{'wVbVyd`X+wqTVa:_X/KwfX+{'yX+w¸dzTVamd+Pa:_*¾atia:_XcVvVi`X+_z_`:X+{fXA_`_z_
_y/k:{Vy/X+iz{fX+wË'd`TfXkCv'XAi`atdgkCi`_*kt Watd`y1Tf{f'D_`bVW at{'wdzTfXx¾bfk:bfdzvVbfduvVi`XÊ'cKXA_vfaea½_`X+y/k:{VwVa:ige
i`ktXj£x§i+§d+§AdzTfX¯ktd`TVX+ik:vDX+izamd`k:iz_HÀ6i`X+_`d`i`ydgk:{¼v'atizamX+Cy/k:Wv'kC_gdgk:{¼migXAvfy/atdgk:{a:{Vwx{VvVbfd vVi`XÊ'c'Â
.ffPYtYN0§\X+_`d`i`ydgXAw>k:izW_Hkm¼kCbfd`v'bfdvVi`XÊ'c@C{½£Tfy1T½d`TfX[ykC{:d`{KbVatdgk:{>_{KbfÀ°«Ä1²"¶PÃ2:±z´"¶P´m¹KÄ
´m¹f¬¥µP¹f¬ÈÂ.10¼k:i¯£TfXAigXxatË{Va:W&XA_*X+W>dgdgXAwIati`X[vVi`atdgX>À°Åz´"¹f¶@º´m¹f¬¥µP¹f¬ÈÂ.¥Y;0'TVatX¨ DX/X+{¸vVi`k:vDk:_`X+w˧
»NXa:igXd`TfXAigX/k:i`Xª{Cd`X+i`X+_`dgX+w¢{ y/k:{fCi`bfXA{VyXªv'igkCv'XAigd`XA_xk:ik:izW_kmCigkCbV{Vw f_`W&bfatdgk:{¢kC{
_zbV Py/aty+bfË£TVy1TITVa:X[_`k:W>Xx_gef{Cd`a:yd`y[W>d`amd`kC{V_*k:{IWamdzy1Tf{f'V_zbVW!kCi*k:bfdzvVbfdvVi`XÊVc˧
»NX<a:igXqkC{feÁa£*ati`X¸ktxd¡£k y/k:{fCi`bfXA{VyXi`X+_zbfd`_kCiªCigkCbV{VwÁ f_gWbfamd`kC{ ÓÀ6{Cd`X+i`XAaC{ffÂ
CigkCbV{Vw f_`Wbfamd`kC{TVa:_ 'X+X+{IvVi`k"tXAwªdgkª DXaykC{f:izbfX+{'yX¨igX+atdgk:{
Yt§*{¸dzTfX_`b' Dy+amy/bfbV_*£d`TfkCbfdWamd`y1TV{f½a:{Vw¸£dzTkC{feat_`ef{Vy1TVi`k:{fkCbV_jkCbfd`v'bfd`_#. ¼Y 0&C
}f§*{¸Ër1Va_zbV Dy+amy/bfbV_*ktd`TVXx@y+amy/bfbV_¯£dzTfk:bVdW>atd`y1Tf{f½at{'w£d`Tk:{fe Dk:bV{'wkCbfd`v'bfd`_
.¥Y;0§
k:d`T¸igXA_`bfd`_*a:igX[k: fdzam{fX+w¸ Cei`X+_`d`izam{f{Vd`TVX[kCbfd`v'bfdykC{V_gdzi`b'yd/§ STfX+ewfk½{fk:d*_zTfk"£xfTfk"£¯X/:X+i+
dzTfX{fXAyX+_z_`d¡eªktdzTfX+_`XxW>dzamd`kC{V_/§Dk:i*{V_gdzat{Vy/XtVkC{fXxW>CT:dTfkCv'Xxd`k½aty1TfX/:X[dzTfX_zatW>XxigXA_`bfd`_
Cek:iz fw'wf{V_`bVWWamd`kC{ Vbfdji`X/dzam{f{Vxd`TfX¾bVDk:bfdzvVbfdjvVi`XÊ'c@§STf_jvVa:v'XAiHykC{Cd`am{V_d¡£¯kWam{
y/k:{Cd`i` Vbfdgk:{'_
Yt§*»<X<_`Tfk"£ d`T'amd½¨dzTfX@¡y/aty+bfb'_½a:{f:b'amtX¸{VybVwfXA_ªd`TVXI¾bf[k:bVd`vVbfdªv'igX/ÊVc a:{VwFTVat_½a
{fk:{fRdzigKat XcVvVi`X+_z_gtXA{fX+_z_À66§Xt§dx{VybVwfXA_ykC{V_`d`izbVydz_ukCivVa:i`atX/_zW¸¼igXAvfy+amdgk:{Nat{'w
igXA_gdzigyd`kC{DÂ@dzTfX+{&:i`k:b'{Vw f_gWbVatdgk:{x_{fktdauy/k:{fCi`bfXA{VyX¯igX+atdgk:{Ë"{fX+dzTfX+i{dzTfX¯_`d`i`k:{V
{fk:i*{¸d`TfXx£¯X+a ½y/a:_gX:§
}f§*»<X[_`TVk"£ dzTVamdd`TfXu¾bfPkCbfd`v'bfdvVi`XÊ'c>_jd`ktX+izamd`X+w¼:i`k:bV{Vw½ V_`W&bfamdgk:{_j_`d`i`X+{Vtd`TVX+{fXAw
_gk>dgk½i`X/:X+am@yXAigdzam{<ð«"¹KÄ/«t©wfXAv'XA{VwfX+{'yX+_atW>kC{f&a:ydgk:{'_/f{Va:W&X+ed`TfkC_gX[£Tfy1Tªk:i`t{Vamd`X
¾igkCW dzTfX<{VX+_`dg{fkmvVi`XÊ'cKXA_ªat{'wÁ£Tfy1TFa:igXv'igkCvVamCamdgXAwÓdzTVi`k:bfCTÁ{CdgXAi`a:yd`kC{V_.f/ 0R§
ktd`T<Ä1¬R±`´"¶K·!at{Vwj°« k:izW>_kmH·m±`´m¹f¶PºÃz«m¹KÄ/«m©ÅÆÄ1ÆÈÇ&¹V©¥«m¬6ƾ´m¶ a:igXxykC{f:izbfXA{VyX¨igX+atdgk:{V_
{Ia: V_gXA{VyX¨ktWamdzy1Tf{V'§
STVXªd¡£kvDkt{Cd`_&ati`XªwfX/:X/k:vDX+w¢{ CX+y/dgk:{V_#at{Vw §rn{ CXAyd`kC{ }Id`TfX@y+amy/bfbV_a:{Vw_gkCW>X
'at_`y¨{fk:dgk:{V_*kC{{CdgX+i`X+aK{V>_`X+Wat{Cd`y+_ati`X¨v'igXA_gXA{:d`X+w˧
, (¸
STVXy/k:bV{Cdzat fX&_`X/d ktu¶P«mÇÄ!_¨izat{f:X+wqk":X+i[ Ce 6 B:A<_<A<!"#_<A<A<+§P*±`´Að1İÄ/Ä!a:igXizat{f:X+w
k":X+iÉ :e[$>$at{Vw&%&§[STfX@¡y/aty+bfbV_É_`ef{Cd`a"cI£¯X_`T'am£¯k:i>£d`T_[ Vbfdɾi`k:W d`TfX&k:vDX+izamd`k:iz_
ktCbVatizwfXAw_zbVWW>atdgk:{ËDigXA_gdzigyd`kC{ËfvVatizamX+Ëyk:WvDk:_`d`kC{a:{VwIigXAvfy+amdgk:{
'X(*),+.-0/
) < )
l21P6 l 3lN4 l65=
/ 'X]68$9:;'el 6?9:A@ l87"<
STVX¸vVi`XÊ'cKXA_ 68$9:c'¨a:{Vw 6?9:A@ati`Xy+amXAwËHi`X+_zv'XAydgtX+e:{Vv'bfd½at{VwkCbfd`v'bfd>v'igX/ÊVc Cj{ d`TVX{VvVbfd
v'igX/ÊVc 68$9:;'` dzTfXy/k:Wv'kC{fX+{Cdz_km 9:½a:igXªv'amig£_gXwf_`dg{Vy/d/§rn{ _zbVWWamd`kC{V_/dzTfX{VwfX/cC¡_`X/d:9N_
ÊP{fd`X5Cuk:i (;)<+.= / )< )
dzTfX_`eKW& 'k: dÁ_ªam_`k¢b'_gXAwË*£TfX f{Vati`e _zbVWWamd`kC{ (>)<+@?
3BA4DC )
_
ktdgXA{£i`d`dgXA{<a:_3$E 4m§>»<X£ £i`d`XO6+<>-at{'w 68<=-£TfX+{N{fkq{VatW>X>_xy+atizigX+w :eE6D§&»<X
a: V Vi`X/KamdgXF//<>dIa:_/ at{VwG1P6H1H: at_ $I1P6JB:T'j§
»§i+§d+§+dzTfX_`ef{:dza"c¨{). 0C£¯XTVa:X k:W>dgdgXAwdzTfXWamdzy1Tf{fuykC{V_`d`izbVyd++kCidzTfXi`X+a:_gkC{V_ËX/cfvVat{fXAw
{ dzTfX¸{Cd`i`kfwVbVy/dgk:{ËHa:{Vw £¯XkC{fea:wVW>dzw ·t¹'«"±`º:zºÓ_`b'W>Watdgk:{ _`{'yXtH Ce y/k:{Cd`izat_`d£d`T¾bV
_zbVWWamd`kC{ËËd¨vVi`X+_`X+i`tXA_u f_gW>ati`d¡e¸X+tXA{{d`TVX&£¯X+a ¸y+at_`Xt@d`T'amd[_[£TfXA{_`X+{Cd¨atyd`kC{V_[ati`X
v'ati`dgameª:{Vk:i`X+wª{¸d`TfX V_`W>a:igd¡ey/a:bV_gXA_/§
rn{'vVbfdvVi`XÊVc68$9:;'Ha:{Vwi`X+_`d`i`y/dgk:{K1P6Faty/dat_ÅÆÈ¶Pº:±°ÄHkCi*{VatW>X+_ 9:uat{Vw*6Dfi`X+_zv'XAyd`:X/et§ML¼±zz
¶@«"ǽ1Ä1ËÅ`´m¹f¶Pº¨¶@«"ǽ1ÄkmPa¨vVi`kfyXA_`_m£i`d`dgXA{¾{ $3H'¼at{Vw> V{ $jH'igXA_`vDX+y/dgtX+e:mati`_`X¯a:_XcVv'XAyd`X+w C
dzTfX>¶P«"Ç½Ä km K£i`d`dgXA{ª{ $3H' ati`X¾{ $3H'ON& V{ $jH'`§ ¹DŰÄ1¬RÆÈ¬6¹f¬Rƾ´"¶'İCi`a:{ftXAwk"tXAiH CeQPRP
!
<_<A<¯ati`X
¾b'{Vyd`kC{V_H¾i`k:W dgkS CCk:ija:{Ce&X/cfv'igXA_`_`kC{QT½:£¯X£i`d`XT:PIkCiHdzTfXuX/cfv'igXA_`_`kC{>k: fdzam{fX+w>¾i`k:W
a:vVvfeK{f6PÁdgk&T½§ kCWv'kC_gdgk:{¢kt*d¡£¯k_zbV V_`dgd`bfd`kC{V_UPFa:{Vw8P !_&£igdgd`X+{8PP !R§q»NXat_z_zbVW>X
dzTfXk:k"£{fxwfX+y+igXAat_`{fxkCi`wVX+ikm¼vVi`X+y/X+wfXA{VyX£TVX+{£i`d`{f&vVigkfy/X+_z_ XcVvVi`X+_z_gk:{'_ _zbV V_`dgd`bVdgk:{Ë
v'igX/ÊVcËVigXAvfy/atdgk:{ËVi`X+_`d`i`ydgk:{¼VvVatizamX+Ëyk:WvDk:_`d`kC{ËV f{Vati`e_zbVWWamdgk:{¼§
STVX&dzi`a:{V_gdgk:{<i`bVXA_kCiÉdzTfX>@y+amy/bfbV_[k:vDX+izamd`k:iz_uati`X>ttX+{{<Sa: fX¸Yt§QVuÃ/¬6ƾ´m¶VÄ1¼izat{f:X+w
k":X+iË Ce
,
y+at{x DXHkmfdzTVigX+X k:izW_ 7À6{CdgXAi`a:yd`kC{D°168$9:_'À¾{VvVbfd1°"k:i"19:N! 68?9:A@À6k:bfdzvVbfd°Â1§TPbV{Vy/dgk:{V_
'{ $4'zɾ{ $4'ªat{Vw { $4'ªa:igX<XcfdgXA{VwfX+w4dgkÁaty/dgk:{V_¸at_¸XcVvDX+y/dgX+w¼ÉkC{VyX<£X¢_gX+d¸ '{ $368$9:c' 'EX79:a:{Vw
'{ $W1 9:N! 6?9:A@>' X 9:N!6§
ST'igkCbf:TfkCbfdudzTfX½vVatvDX+i+Ë£¯X&£¯k:i>qbVvd`kX/¼¡ykC{::X+iz_gk:{IkC{{Va:W>X+_ÉZ d`TVatd¨_+¼£¯X&Wvfydge
dza5tXat{¢bV{VwVX+i`eK{fi`X+vVi`X+_`X+{Cd`atdgk:{<km{Va:W&XA_ Va:_gXAwNk:{wfX izbflg{¢{VwVy/X+_m.};0jZ _`kqdgk<atktw
d`X+wfk:bVk:_ _`wfXy/k:{VwVd`kC{V_{>dzi`a:{V_gdgk:{>izbfXA_Hat{'w& f_`W&bfatdgk:{yatb'_gXA_/§STfX+i`XkCigX:k:i {V_`d`at{'yXt
{avVigkfy/X+_z_ 'kCbV{Vw{'atW>X+_[ati`Xat_z_zbVW>X+wqwf¤PXAigXA{Cd¾i`k:W X+aty1TIk:d`TfXAiua:{VwI¾i`k:W d`TfX¾igX+X&{Va:W&XA_/
a:{VwY/¼X+¦Kbf"amX+{CdvVigkfy/X+_z_gXA_a:igX¨at_z_`b'W&XAwd`k>T'atX[d`TfX_zatW>X[d`izat{V_`d`kC{V_+§uËkCbVi*{fktdzamd`kC{V_*ati`X
X/cfdgX+{'wfX+w¸dgkdzbVvfX+_y/k:Wv'kC{fX+{Cd¡£_gX:§
Dktk"£{f¸oq{fXAiP.~10Ë£X>k:{Veqatw'W&d j/©È©Ä´m±1¬°º>µP±`´AÃzİÄ/1Ä1Ëd`T'amd[_¨vVi`kfyX+_z_`X+_É£Tfy1Tk: DX/e
avVi`X+wfX/ÊD{fX+wNÄ/´m±1¬6ÆÈ¶K· wf_zyvf{VX{qd`TfX+i[Wat{fvVbfamd`kC{Ikmj{Va:W>X+_+§uSTfX_`k:i`dg{fvVi`X/:X+{Cd`_uati`d¡e
W>_`Watd`y1Tf{f{ ykCWWbV{fy/atdgk:{V_+mXª{ 6?3:Z
D
@N<= l168$,! '><>§<oqk:i`X/k":X+i+_zbV V_`dgd`bfd`kC{V_W&bV_gd
"! #%$'&
)(+*, -
. 0/
*, -
1 /
24365
879-
. /
7
7 (:+; -
. /
7
(<+; =>
? 87A@CBED
FHGJIK6L
D
FNM
. /
7 ; K @DO I
. /
;
7 (<;QP
SR
IL
/UT /
7
(< /
;:V ILCW
IJ'X6Y
#%$Z
-
. 0/
R J -
.9R
J
0/
J W
?[
T\
Y^]
&4$_
@CB`D
FGIK6L
D
FaM
0/
R J @bBED FGOIKL
D
FNM
R J
0/
J cd J
IL
IL
/
Sa: fX½Y rn{:d`X+i`XAaK{f>k:vDX+izamd`kC{VamË_`X+Wat{Cd`y+_¯k:ifeª§
Wa:vq{VatW>X+_uk:{Cdgkª{'atW>X+_ukm d`TfX>_`a:W>X_gkCigd+§»<XwVk{fktdÉvVigXA_gXA{Cdd`TfX>_gkCigd`{Vª_gef_`dgX+W DX+y/a:bV_`Xd
_{fk:dX+_z_gXA{:d`at@dgkªbV{VwVX+iz_gdzat{Vwd`TfXy/k:{CdgXA{Cd`_*kmd`Tf_vVa:v'XAi/§
»NXy/at
g e dzTfXxat Dk"tXx_`X/d*km@y+amy/bfbV_vVi`kfyXA_`_`X+__C
g
eh¨d`TfXx_zbV V_`X/dktie {¸£Tfy1Ta:{kCbfd`v'bfdvVi`XÊVcT'at_*{fkªykC{Cdg{Cb'amdgk:{¼CR§Xt§Vk:bfdzvVbfdz_ati`XÉkt
d`TfX¨kCi`W 68?j:A@B<Bd C'£Xxy/atËdzTf_*k:izW!km vVi`XÊVcf{f«Ä1²"¶PÃ2:±z´"¶P´m¹KÄ´"¹f¬µD¹f¬R§
g
ekjd`TfX_zbV V_`X/d*kmle £d`TVk:bfd_zbVWWamdgk:{¼§
mnn,o lpqnrts
FX/£ k:izW>_Hkm À¾{CdgX+i`X+aK{VK f_gW>ati`d¡e>TVatX DX/XA{½vVigkCv'kC_gXAwkCi d`TVX@y+amy/bfbV_+:{fk:d`a: fe&d`TfX
©«"¬¡1®j°«"±©³²[at{Vw¢´°µV/¶ f_gW>ati`dgX+_.'PY};0§ »<X[k:{feªi`X+y/atPd`TVX¨wVXÊD{fdgk:{kmX+ati`e V_`W>a:igd¡et§
uÍ1vwyx xÑw{z8|H}~ /A Ñ+wyÍ '"Î x x x"¾V x Îy8VÄ1²"Ç>Ç/¬R±1ƾÃx±`+©¥«"¬Rƾ´"¶" ee ÆÄ¨«¨_`d`i`k:{V
XAati`eª V_`W&bfamdgk:{¢Æ] ÆÈÇɵP©³Æ¾Ä
%
2K/¶P/±6a
8
"! ´"±«m©È©C¶P«mÇÄ
9D
¬32K/±`:ÆÄ1¬6Ä "!PÄ
¬
a
+
"!¼«"¶@º"!GAIJKILM "!GIJKILM%
1
2K/¶P/±
8
"!*«m¶Pº
,
ÆÄ¶P´m¬«m¶ÆÈ¶tµD¹f¬«tÃ/¬6ƾ´m¶V®¯¬2f±`>tÆÄ1¬6Ä"!Ä
¬
8
"!¯«m¶Pº
"! "!
j´ªµD±`´Að1İÄ/ÄP «"¶@º* «"±`>_`d`i`k:{f:e<X+ati`e f_gW>ati/® ±1ÆÈ¬R¬/¶
^
>®ÉÆP] ´"±½Ä/´"ǽ
Ä1¬R±`´"¶K·°«"±©ø²¸Å1ÆÄ1ÆÈÇ>¹V©¥«"¬Rƾ´"¶
«"¬¡ÉÅÆÄ1ÆÈÇ&Æ©¥«m±1ÆÈ¬6²":£igdgd`X+{"
h
"{CtXAigdz_dzTfX¯k:izwfX+ikm'dzTfXjX/cK_`dgX+{Cd`atKa:{VwbV{V:X+iz_`at:¦KbVat{Cd`¥Ê'XAi`_
{¸d`TfXx{VvVbVdyatbV_`X¨d`TKbV_
r96a
8
"!¾'d`TfXA{dzTfX+i`X¨Xcf_gdz_"!Ë_+§d+§+Sa
8
"!at{Vwk:iat
9D
"!GAIJKILAM "!GIJKILNM §
amd`X V_`W>a:igd¡e__`d`i`y/dge{VybVwfXAw¢{NX+a:ige f_`W>a:igd¡et§µV¶ÁÅ1ÆÄ1ÆÈÇ>Æ©¥«"±1ÆÈ¬R² _aq_gdzigkC{ftXAi
XA¦KbVamd¡e d`TVa:{Fd`TVXatdgXa:{VwÁX+a:igeÓkC{fX+_+§ rn{Fk:vDX+{F V_`W>a:igd¡et_zbV V_`dgd`bfd`kC{V_¸ati`XbV_gXAwÁ{Fa
:kC Vam¾a:_`Tfk:{¼igXA¦Kbfi`{fdzTVamdxdzTfX½ f_`W&ati`d¡ei`X/amd`kC{d`_`X/* DX½yk:_`X+wNbV{VwfXAix_`b' V_gd`dzbfdgk:{'_/§
ok:i`X/k"tXAi/@dzTfX½W&XAy1TVat{V_zW¿kmxº"ÆÄ1¬RÆÈ¶PÃ/¬6ƾ´m¶ _xbV_`X+w<dgkqigXAykCi`wd`TfX>¾aty/d¨d`TVatdai`X+_`d`i`y/dgXAw<{Va:W>X
y+at{V{Vktd 'XwfXA{:d`¥ÊDX+w>£dzT>ktd`TVX+i{VatW>XA_/§rn{>d`TfX*at{fCbVam:X eªmkCv'XA{ f_`Wbfamd`kC{_ a¨yk:{V:izbfX+{Vy/X
i`X/amd`kC{>£TfX+i`X+a:_atdgXat{'w&XAati`e> f_gWbfamd`kC{ati`X*{VktdH DX+y/a:bV_`Xd`TfX+e>a:igX{fk:djvVi`X+_`X+i`tX+w> Ce{VvVbfd
v'igX/ÊVcE.10§
STVXÉ_`WvfX+_`dHkCi`W km f_`W&bfatdgk:{½_HdzTfX[k:{fX£TVX+i`XÉ{fk{'atW>Xu{V_`d`at{Cd`atdgk:{½amd¯amPa:vVvDX+atiz_+
a:vVati`d¯¾igkCW /y/k:{CtXAi`_`kC{˧»<Xy+amËdu·t±`´"¹f¶@ºÅÆÄ°ÆÈÇ>¹V©¥«m¬6ƾ´m¶'§
uÍ1vwyx xÑw{z8|z)~ /A Ñwy Ñ w ÒF x x x"V x Îy8VFÄ1²"Ç&ǽ¬R±1ƾñ`+©¥«"¬Rƾ´"¶ ee ÆÄ¯«j_`d`i`k:{V
CigkCbV{VwI f_gWbVatdgk:{Æ ] «m¶PºH
8
"!¯ÆÈÇɵP©³²¬2f«"¬*¬32K/±`:ÆÄ1¬¾Ä #!HÄ
¬
8
"!«"¶Pº
"!']"!
j´µD±z´+ðÄzÄ/Ä «m¶Pº «m±`¨_`d`i`k:{f:e:i`k:bV{Vwq V_`W>a:i® ±1ÆÈ¬6¬¡¶
>®¯Æ ]
´m±xÄ/´"ǽxÄ1¬R±`´"¶K·ÅÆÄ1ÆÈÇ&¹V©¥«m¬6ƾ´m¶
STVX[£¯X+a tXAi`_`kC{V_¯kmd`TfX f_`W&bfatdgk:{V_+K£TfX+i`X¨k:{fX¨:{fkCigXA_*_gXA{Cd*_`dgXAvV_*{Wamdzy1Tf{fd`izat{%$
_`dgk:{V_+Vati`X¨k: fdzam{fX+w{¸dzTfX_gdzat{Vw'atizwª£*aet§ X+d X 'X¨dzTfXigX'XcftX¨at{Vw¸dzi`a:{V_gdgtX¨yk:_zbVi`XÉkt
X/d X 'X[X X at{VwNX/d# X 'X X
,
X 7Ë a:{Vw X ½
,
X>7˧STVX+{>£XAa5:i`k:bV{Vw> f_gW>ati`d¡e_jwfXÊD{VX+w Ce&i`X+vfaty/{f¨{ QÉX/ÊD{fdgk:{½}f§³}[d`TVXd`izat{V_`d`kC{
+
"!P£dzTm X "!6§ KW>a:ige½k:{fX¨wfX/ÊD{fX+_¯£¯X+a &kCv'XA{ f_`W&bfatdgk:{˧rn{d`TfX¨wfX/ÊD{fdgk:{V_
kt¯£¯X+a IatdgX½at{'wXAati`e V_`W&bfamdgk:{<d`TVX>{VvVbVdyatbV_`X_xa¸d`dgXwf¤PXAigXA{:dx DX+y+atbV_`Xd`TfXª{Va:W>X
{V_`d`a:{:d`atdgk:{ W&bV_`dkfy/y+bViWW>X+wfamd`X/e¢amdgXAidzTfX{VvVbVd&_&vDX+igk:izW>X+w˧¢STfX{Vv'bfd>y/a:bV_`Xªk:i
£¯X+a ½X+a:igeª f_gWbVatdgk:{_
rSN
+
"!¾VdzTfX+{kCiam
9D
dzTfX+i`X¨Xcf_gdz_ "!¼_+§d+§+ X a
+
"!Ëa:{VwË
k:i_`k:W>X#"!!6+"!G IJKI LM
X "!!¼a:{Vw["!G IJKI LNM
-"!!6§
STVXx{Vv'bfdyatbV_`X[k:i*£¯X+a ½atdgXx f_gWbVatdgk:{_
rSa
8
"!Rfd`TfXA{dzTfX+i`XxXcf_gdz_ "!¼_+§d+§k X a
8
"!¼a:{Vwk:iam
9D
dzTfX+i`X¨_ "!!_/§d/§+#!G IJK ILAM
X "!!¼at{'w*"!G IJKI LM
"!!6§
»NXubV_`Xd`TVXu_gefW& 'k:_
h
^
at{Vw*kCi d`TfX£¯X+a :X+iz_gk:{V_ktPCigkCbV{VwËmamd`Xt:X+ati`eat{Vw>kCv'XA{
V_`W&bfamdgk:{¼VigXA_`vDX+y/dgtX/et§
r¡d[£*at_[vVigk":X+wËP{VwfX+vDX+{'wfX+{Cdgeq{ . 0Hat{Vw .¥Y 0¼wfX/:X/k:vf{fa:{X+a:igX+iui`X+_zbfd[ Ce ukC{VwVa .c0R
dzTVamd{Iat V_`X+{'yXxkmWamd`y1TV{fªa:{Vwkm yk:{Cd`{KbVatdgk:{¸bV{VwfXAi`{fXAamdzTdzTfXxk:bVd`vVbfdv'igX/ÊVcËV:i`k:bV{'w f_`$
W&bfamdgk:{_*a&yk:{V:izbfX+{Vy/Xt§
3 mX+e½XAW>Wak:i¯vVi`k"C{fdzTfXxykC{f:izbfX+{'yXkt:i`k:bV{'wª f_gWbfamd`kC{
_d`_y/kC_`bVi`XxbV{VwfXAi_`b' V_gd`dzbfdgk:{'_/§
jÍ z |u+©¥«"¬Rƾ´"¶'Äf
«m¶Pº
«"±zHµP±`Ä/± "zºÅ²¶P«mÇuÆÈ¶VÄ1¬¡«"¶'¬Rƾ«"¬Rƾ´"¶'ÄÆÈ¶¬32K[©¥«m¶C·t¹'«/·C`eh
ÍKÑ Í z8|
«"¶Pº
«"±z&ð´"¶K·m±1¹'/¶Pð±`+©¥«"¬Rƾ´"¶'ĨÆÈ¶<¬2f©«"¶C·t¹'«/·C eh
Ñ Ñ ""¾V Î z |
% u+©¥«m¬6ƾ´m¶VÄ
<
h
<
^
<ð´"ÆÈ¶@ÃÆ¾º:>ÆÈ¶¬32K&©¥«"¶K·m¹'«+·: eh
7
÷ãúøì°à"!$#"ì!1ã á³à&%('*)+:èê/ãnåàAê°æ÷ìgâã å,#AëëìzæRá³ê1à.-áæ¼á³åË徿Rä6ì°á(!1÷æRê/ê1ä10Ëì°ä6è¨æ6ê*ì2*2nê1ëëê+èìzæRã3!$#ì°ä6èãnè¨å4#ëëì65
æRá³ê1àåá³àæR÷ãHðä¾ê/ê/47
1 u+©¥«"¬Rƾ´"¶'Ä
h
$
^
ð´"ÆÈ¶@ÃÆ¾º:&ÆÈ¶¬32K&©¥«"¶K·m¹'«+·:eh
Ñ¼Ñ Dk:iÉÀgY"°Kd`TfXÉ{'ybV_gk:{'_0
h
^
ktk"£FwfigXAyd`e>¾i`k:W d`TfX¨wfX/ÊD{fdgk:{V_+§VÉ_`{f
dzTfX¨¾aty/d*d`TVatd
_y/kC_gXAwbV{'wfX+i_zbV V_`dgd`bfd`kC{V_kC{fXxy/at{IvVi`k"tX
§
É_`_`X+i`dgk:{<ÀR}CÂj_v'igk":X+w_`W&ati`e:§
&%'¯¯ )1
»NX&_zTfk"£ d`T'amd[{STVX/k:i`X+W }f§ a:{Vw k:i`ktati`e¸}f§dzTfXW>d`atdgk:{qd`kat_`ef{Vy1TVi`k:{fkCbV_kCbfd`vVbVd`_É_
Wv'kCigdzat{Cd/§STfXi`X+_zbfd`_¾amVPdzTfXat{fCbVam:X{VybVwfXA_/:{a:wVwfdgk:{>dgk¨¾bfVkCbfd`vVbVdHvVigX/ÊVcË:atdX+a:_gd
dzTfXxk:vDX+izamd`k:iz_jktv'atizamX+_`W¸fi`X+vfy+amd`kC{ËVigXA_gdzigyd`kC{a:{Vw¸{Vv'bfdvVi`XÊVc˧
r¡d£*at_ K{fk"£{].10dzTVamd:i`k:b'{Vw f_gWbVatdgk:{ _½{fk:dv'igXA_gXAig:X+w Ce {Va:W&Xq_zbV V_`dgd`bfd`kC{V_{
v'igXA_gXA{VyX>km*d`TfX½Wamdzy1Tf{fqyk:{'_gdzi`bVy/dÀ6_`X/X{CdzigkfwVbVy/dgkCige_`X+y/dgk:{DÂ1k:i[{Nd`TfX½at{fCbVam:X eª¼£d`T
DktdzT¾bfk:bfdzvVbfdvVi`XÊVc¸at{VwI_zbVWW>atdgk:{ËVa:_*d`TfX¨k:k"£{f>y/k:bV{Cd`X+i`XcVatWvfX[_zTfk"£_+§
Ñ w Í Í "Í i|}~ Ñ " wy PÍ e /¬ \A^&`X ! l#¢«"¶Pº \_^&`X !T<#E6#< ! 2f¶
>®Å1¹f¬"HG4K M
HG K M ®Ä1ÆÈ¶PðmHG K M ð«"¶ ¬/±1Ç>ÆÈ¶P«"¬¡ ÆÈ¬2f´"¹f¬[µV±´m±1Ç&ÆÈ¶K· +ÆÄ1Æ6Å/©¥
«:ìRƾ´"¶'Ä
2KÄ/«"ǽµf«mÆÈ±&´4¯µP±`´+ðİÄÄxÄB2K´ F¬ 2f«"¬6®HÆÈ¶ e½®H¶P/ÆÈ¬32K/±
ÆÄ*µD±`Ä/± "°ºÅ²½Ä1¹DŰÄ1¬RÆÈ¬6¹f¬Rƾ´"¶'Ä
STfXqvVi`k: VXAW _½W>k:i`X¸{CdgXAigXA_gd`{V<{ÓdzTfXIa:{f:b'amtXekjjj£TVX+i`X¸_zbVWWamdgk:{Ó_>kCi` VwVwVX+{˧
rn{'wfX/XAwË k:bV{CdgXAigX/cVatWvfX V§Y_É Va:_gXAwIk:{qdzTfX>XcVvVat{'_gk:{Ia£xD£TVy1TWa mX+_É{fk_`X+{'_gX&£dzTfk:bfd
_zbVWWamd`kC{˧¨»<X_`TVk"£d`TVatdÉX+tX+{{ekjÓ:i`k:b'{Vw f_gWbVatdgk:{q_¨{fktd¨vVi`X+_`X+i`tX+wq Ceq{Va:W&X_zbV %$
_`dgd`bVdgk:{V_+'{fX+dzTfX+i*{¸d`TfX_`d`i`k:{f{fkCi*{¸d`TVXx£XAa5½y/a:_gX:§iz_gd+'_gkCW>X¨_`W>vVX¨a£_/§
jÍ i|z
%
1H: $ ? @N< :c<> l ! $ '><>:c<BH'l
h
+? @B<! $5'><7 <R1H: $j l_H'JE ! $ '>< +? @B<7k<1 : $3 lAH'`®
Æ
¾{ $k? @N< :c<>H'g® :
G !"! M «"¶Pº" X*!
1
51 9 $3*E H'l
h
51 9 l 51 9/
# /<7 <=
h
/<>
Ñ¼Ñ À`Y¯_ua½_`WvfXkCi`W$km d`TVXXcVvVa:{V_`kC{a£"CÀ}:¯_dza5tX+{¾igkCWa.Y_10jCÀ3K¯_uk:{fXkm d`TfX
kCi`wV{Va:ige 7Ka£_/§
Ñ w Í Í "Í i| ~" wy PÍ ekj /A Ñ+wy tV Íq 2f´m©È©¥´ ÆÈ¶C·Ã°´"¹f¶D¬/±`K«"ÇɵP©¥ÄB2K´ Ä
¬32K«m¬
ÆÄ¨¶@´"¬µD±`Ä/± "°º¸Å²½¶P«mÇÄ1¹DŰÄ1¬RÆÈ¬6¹f¬Rƾ´"¶'Ä[ÆÈ¶kekj
D«m
\A^&`
X 5
<!T<7 <# l5! <
<7 <# \A^&`
X
5R1H: $ < :
lB! <>:1<#8'
$Ä1ÆÈ¶C·½¬32K&©¥« &%
('
ÆÈ¶ Ç>ǽ«
# J
«"¶@º½Ä/´"ǽ[·:«m±+Å`«+·:ð´m©È©zÃ/¬Rƾ´"¶´4¨±`Ä1¬6±1ƾÃ/¬6ƾ´m¶Vİ® j[·:/¬
1P: $ < :lB!T<>:c<#8'l
h <! <7 <#:E ! < <7 <#
2f±`3´"±z1® Ä1ÆÈ¶Pð h
ÆÄjµP±`Ä/± "zºÅ1²&±`¡µ@©³Æ¾Ã°«"¬Rƾ´"¶<«m¶Pº>ÆÄxÃz´m¶'¬¡«"ÆÈ¶@zº>ÆÈ¶
® «m¶Pº>¹KÄ1ÆÈ¶C·©« % ' ´
/Ç&ǽ« #1J ® j>´:Ŭ¡«"ÆÈ¶
5 <! <7 <#FE8!T< k<7 <#
5 <! <7 <#Ol5!T< k<7 <# X
&´j/±°® HGK M GK M
®Ä1ÆÈ¶Pð GK M
ð«"¶½µV/±´"±1Ç «½Ç´ «m¬"#<« °¬/±¨¬j´Ä°¬¡nµ'İ® 2K/±`°«Ä
HG K M
´m¶D©³²« °¬/±¬32:±`°¨Ä1¬¡¡µDÄ
Ñ w Í Í "Í | ~ " wy PÍAekj ÐÍ tV Íq{ 2KP´m©È©´ ÆÈ¶C· ð´"¹f¶D¬/±`C«mÇuµ@©¥¸ÄB2K´ Ä
¬32K«m¬3
ÆÄx¶@´"¬ËµP±`1Ä//± °º¸Å1²½¶@«"ǽ¨Ä1¹DŰÄ1¬RÆÈ¬6¹f¬Rƾ´"¶'ÄÉÆÈ¶kekj ±1ÆÈ¬¡ 68$ '=<R% «"Ä«CÅ+ű`+ƾ«m¬6ƾ´m¶P´m±
$I1"'6?@B<R%
D«m
\A^&`X 51 ? @N<! $ '=< 6 $ '=< T? @B< ? @[l 51" ! $ '=< +? @B< 68$ '=< T? @B< ? @
\A^&`
X 5A$W1 >:T'
+? @B< : l ! $5'><>:c<68$ '=< T? @B< ? @
±`´+ð°°º"ÆÈ¶K· «ÄÆÈ¶Á¬32K&µP±` Aƾ´"¹KÄqK«mÇuµ@©¥q«"¶@º®ÆÈ¶ «tº:º"ÆÈ¬Rƾ´"¶V®&¹KİÆÈ¶K·N©¥« % # ' ´ Ç>ǽ« #1J ® j
´CÅ1¬¡«"ÆÈ¶+
5R1
k? @B<! $ '><7 < 6$ '=< ? @N< T? @0E ! $ '>< +? @B<7k< 68$ '=< ? @N< ? @
5R1 k? @B<! $ '>< 6$ '=< ? @B< T? @0E ! $ '=< +? @B< 68$ '=< T? @B< ? @
5R1
+? @B<!T$ '=< 6$ '=< ? @N< ? @ l 51"
! $ '>< +? @B< 68$ '>< ? @B< ?1@ X
2CƾÃN2qµP±`´"ÄH u¹f¬HGK M
«"¶@º[HGK M
«"±`¸¶@´"¬xÆÈ¶ ¬2f¸±`+©¥«"¬Rƾ´"¶ H´"¶'Ä1ƾºt/±¬32K
Ä//¹'¶@Ãz>´4«:ìRƾ´"¶'Ä °±`´"Ç-HGK
M
HGK M
8
$I1H:!' : l_:c< 6+$ '=< ? @N< ? @B<PlHGK
M
8
1 68$ '=< ? @N< ? @B< lAHG K M
8 U:
+ "!
8
HGK M <
2f±`«"±`½¬j´Ið´"¶'İÃ/¹f¬6Æ"ª«:ìRƾ´"¶'Ä«"¬# 2:ƾÃ2Nð«"±1±1²I¬2f&Ä/«"ǽ¶P«mÇ 2CÆÄªÅz2K«Aƾ´"¹f±ÆÄ>¶P´"¬
µV´Ä°Ä1Æ6Å/©¥´"±HGK M Ä1ÆÈ¶Pð®jÆÈ¶«"¶'²Ä1¹DÅzð´"Çɵf´m¶P/¶'¬ 68$ '=< T? @B< ? @´ HGK M ¶P«"ǽ Ið«m¶'¶P´m¬Åz
ÆÈ¶'Ä1¬«m¶'¬Rƾ«"¬¡zº ÆÈ¬2¸¶P«mÇ 2K/±`3´"±`HG K M
Ãz«m¶'¶@´"¬jǽ«"¬¡Ã2¬32K>«:Åz´"xÄ//¹'¶@Ãz&´4¨¬R±`«"¶'Ä1ÆÈ¬6ƾ´m¶VÄ
°±z´"Ç HG K M
«"¶PºO2K/¶Pð HG K M
HG K M
$ (() I/ )/(¨/
SkkC fd`at{ aqkCi`WkmÉ:i`k:bV{Vw V_`W&bfamdgk:{ £Tfy1TÓ_>ay/k:{fCi`bVX+{Vy/XigX+atdgk:{kC{d`TVXat{fCbVam:X
eªK£¯XÉTVa:Xdgk>at Va:{VwfkC{½{Cd`X+i`XAaC{f V_`W>a:igd¡eat{VwªW>k":Xudgk¶P´m¶k¡ÆÈ¶'¬¡/±©¥°«AÆÈ¶C·[ f_gW>ati`d`XA_/
W>kCigXxvVi`X+y/_`X/eªdgkdzTfk:_`X¨£Tfy1T¸dza5mXªÃ°«"¹KÄ/«t©³ÆÈ¬6² {:d`k½aty/y/k:bV{Cd+§
¯a:bV_zamKwfX+vDX+{VwVX+{Vy/XA_{Vw'bVyXAw Ceaty/dgk:{v'igX/ÊVcªÀ¾X:§D§dzTfXj¾a:ydd`T'amd{ /<%¸d`TfX*XcfXAy/bfd`kC{km&%
_¯X+{Va: fX+w Ce½dzTfXÉX/cfX+y/bVdgk:{ªkt / Âja:{Vwv'igkCvVamCamdgXAwd`TVi`k:bV:Tªy/k:WWbV{Vy+amdgk:{'_a:igX[{fktd*igX+tXAamX+w
Ce¸d`TfX&{Cd`X+i`XAaC{f½dzi`a:{V_gdgk:{q_`ef_gd`X+W¸§rn{qkCi`wfXAidgkd`a mX_zbVy1TwfXAv'XA{VwfX+{'yX+_{Cdgk¸aty/y/k:bV{Cd+'£¯X
a:wfk:vVdÉa½kCi`W ktHk:vDX+izamdgk:{'am_`X+Wat{Cd`y+_u£d`TXcVvfy/d[y/atb'_gXA_/Dktk"£{f'xX+T'{_[atv'vVigkCaty1Tk:i
E.³_0'atwVa:vfdgXAwd`k½d`TfXx@¡y/aty+bfbV_*{ .YN0§