HAL Id: inria-00073197
https://hal.inria.fr/inria-00073197
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-
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,
Representations of Reversible Automata and State Graphs of Vector Addition Systems
Eric Badouel
To cite this version:
Eric Badouel. Representations of Reversible Automata and State Graphs of Vector Addition Systems.
[Research Report] RR-3490, INRIA. 1998. �inria-00073197�
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
Representations of Reversible Automata and State Graphs of Vector Addition Systems
Eric Badouel
N ˚ 3490
septembre 1998
TH `EME 1
& ' ()'+*+,.-/ 01$2!%%3 &4 5 #
6798;:=<?>A@CBEDCFHGI
JLKNMOQPRTS U V9WXPZY\[^]+P_`WXaHWX_bMOQP9W
cedgf\hiP_jcCY\dkY\lmdkY\noKNP
UpY\nonqfmdX_ rsPdgPtgKNPdbtgKNPvuwmxzy|{QS WbPns_gPO?}sdbPQR~ymy|S m{?nAYml|PW
"Z smz WiuNl+_bKNPu_gPdbnsdbP_gY\_bfmuf\Y+noYmtPf\Y+mP9t_gfmd?Ymrsro_bf\uWiaHWX_gPO
YmWTYWiauNtgKsdgf\ust?tfmuNWi_bdkYu_j1P?rsPdbmP?YtgKNY\dkYmt_gPdb9Y\_bfmuf\e_bKNPWX_kY_gPl\dkY\nsKsWjfm
|P9t_gfmd1Ymroro_XfmuWia^Wi_gPOW1YmW_bKNPOY]HOY\^[sfm_bPu_gWfmnqf\aKNP9r^dkY\AY[s_gfmOY\_gYo P
lmmPpY'tYmWbWi¡Nt9Y\_bfmufmq_XKNP dgPnodgP9WXPu_kY_bf\uNW1f\qdgP|PdgWX}sPpY\[s_bfmOY\_kY¢£Y[s_gfmOY\_gYu
KstgK¤P|PuH_bWY\dgP¥fHtZY\}s¦hiP9t_bf\uNWCf\u¤WX_gY\_gPWk§CY\W[sHWi[s}NlmdgY\nsKNWef\¨^tgKsdbPPdelmdgY\nsKNW
PrsPWbtdb}EP_bKsPt9fmOns[s_gY\_bfmu¤fmA_XKNPtZY\usfmust9Y\odbPnsdbP9WXPu_kY\_XfmufmEYTtfmOQO[s_kY\_XmP
Y\[s_gf\O"Y\_bfmu¢£Y\[o_gfmOY\_gf\u©_XKAY\_ [sa3PO}qPrsrsWpu©_XKNPªY~aPa+lmdkYnsK«f\Y\u¬Y}qPYu
lmdgfm[on§/ PWX[Nlml|P9Wi_fmu_bKAY_"}AYmWiW3Y\u®Yl|fmdX_XKsO¯_gf°roP9trsPKNP_bKNPd+Y¡sus_bP
Y\[s_gf\O"Y\_bfmuW WXfmOf\dbnsKstT_gf_bKNP$WX_gY\_gPlmdkY\noK«fmY|Pt_bfmdYmroro_Xfmu+WXaHWi_gPO©`JLKNP
t9fmdXdgP9t_bfmu±f\T_bKsWY\l|f\db_XKsOKsf²1PmPd"dbPP9Wfmu._bKNP+t9f\umhiP9t_b[sdbP©_bKNY\_Q_XKNP+WX_kY_gP
lmdkY\noKNW fmCmP9t_gfmdpYmrsr^_bfmuWXaHWi_gPOQWpY\dgPT_bfmdgWifmuo³£dgPPm
´«µz¶q·X¸?¹ ºCm U`P|PdbWX}sP'»p[o_gfmOY\_kY^¼o½P9t_gfmd »prsro_Xfmu©¨a^Wi_gPOW
¾À¿CÁÃÂÃÄ~ÅÁÆCÇÈÂÃÉ;ÊË
ÌÍÎÏÑÐÓÒÔNÍEÕÖÐØ×ÑÙÚÏÛ~Ü9Ý~ÞiÒÀßCÐÓÕ;ÐØà;ÏÙáÈÕ
Unit´e de recherche INRIA Rennes
'+*3 %%3 4
5 # v% $%+%3Ñ %3
? 01 3C
u u_bPdbnodgV_gY\u_[susPQnsYmt9PQr¦[ou WXaHWX_bMOQP"rYmrsro_bf\ursPQ|P9t_gP[sdgW
t9fmOOP[suNPt9f\uH_XdkY\u_gP"WiaHustgKsdgfmuoz[NP+fmu tZY\dgYmt_bVdXWbP"P9W?l\dkY\nsKsP9W¤rsP"OY\dgz[AY\l|P
rsP9WWXaHWX_bMOQP9WQrÓY\rsro_Xfmu rsP|Pt_bP[sdbWt9f\OQOQP"PWQlmdgY\nsKNPWdbV9ro[o_gWrsPWQl\dkY\nsKsP9W
nqfma|Mrodb[sP9W9`fm[NWuNr^z[NfmuNW[suNP+tYmWbWi¡Nt9Y\_bfmu.rsP9WdgPnodgV9WXPu_kY_bf\uNWrsPWY[o³
_gfmOY\_gPWjdgV|PdgWX}sPW¢;tm3r5¤rsPWY[s_gfmOY\_bP9WTrNYuNWP9WXz[NPWtgKAYmz[NPQYmt_Xfmu¬uNro[s_
[suNP}ohiP9t_bfmu«nAYdb_bPPrsPPuNWbPO?}sPrsPWTV_gY\_gWg§`tfmOQOQP$Wbfm[NWjlmdkY\noKNP9W`nsPuNW`rsP
lmdkY\noKNP9W'rsP¨^tgKsdbPPdZjuroV9tdX_'P¤t9Y\t[srsP¤Y"dbPnsdbV9WbPu_kY\_XfmutZY\usfmusz[NPr[su
Y\[s_gf\O"Y\_gYQtfmOQO[s_kY\_X¢;tmr5r¦[su=Y[s_gfmOY\_bPz[sWXPnsfmuNl|PrNY\uNWjPlmdgY\nsKNPrsP
ªY~aPaQr¦[ou3lmdgf\[snqPpt9fmOO?[s_gY\_bk§Ñju3Wi[Nl|l|MdgPnAY\dX_bd1rsP`$[ouY\lmfmdb_bKsOQPz[s
rsV9trsPpWXA[suY\[o_gfmOY\_gP¡suoqPWX_LWbfmOQfmdXnsKNP`Y\[3lmdgY\nsKNP`rsP`O"Y\dbz[AYml|P`r[su3WXaHWi_gMOQP
rÓY\rsro_XfmursP?|Pt_gP[sdgWY"t9fmdXdgP9t_bfmu=rsP¤t9P_$Y\l|f\db_XKsOQP$dbPnEf|WbP¤Wi[sdY"tfmumhiP9tѳ
_b[sdbPz[NPPl\dkY\nsKsPrsP'O"Ydgz[AYml|P$r[su¬Wia^Wi_gMOP?rÓYmroro_Xfmu©rsPmP9t_gP[odgWP9Wi_TWbY\uNW
_gfmdbWXf\u
¹ ² · »`[s_gf\O"Y\_bP9WdbV|PdgWi}sP9W9¼AWia^Wi_gMOPWprYmrsr^_bfmursP|Pt_bP[sdbW
* + % +0¥
¨H_kY\_bP9WQlmdkY\noKNW"fmT\Y\dXfm[sW-,usr fmuNP_gW3Y\dbP©dbP|PdgWi}sPY\[s_bfmOY\_kY¬KstgKOQPZYuNW
_bKAY\_pPmPu_gWTuNro[NtP$f^t9Y\}s¦hiP9t_XfmusWpfmu©_bKNPWbP_TfmWi_kY\_bP9WjJLKsW`nodgfmnEPdX_Ãa«lmdbPZY\_Xa
WXOns¡NPWT_bKNPWX_X[Nroa=fmL_XKNPQY\l|P}sdkYt?nsdbfmnqPdb_XP9W$fm1_bKNPWbP"Y[s_gfmOY\_gY+Y\W$uNf\_bf\uNW
}qfmdXdgf~1P9r¬dgfmO)_bKsP?_X_gPdkY\_X[sdgP$fmu t9f\O?}suNY\_gfmdXY\lmdbfm[sn¬_XKNP9fmdXa|¼WXP9P/.ÀR|R|¼RZyo¼R~^¼
021'3
¼m4,|P¥_bKNP¥uNfm_bfmuNWCfmNt9f~mPdbuNl|W¼zlmdgfm[onYmt_XuNlpfmu¤lmdgY\nsK¼|Y\uNrKNf\Ofmf|lma'YdgPL1P
u|PWX_blzY\_bP9r+Y\uNr3OQfmdgPTP9YmWXaQ_gf¤OY\usno[sY\_bP`_XKAY\u_bKsPdt9fm[su_bPdbnNY\db_bW [sWbP9ru3_XKNP
OfmdbPel|PuNPdgY\zt9f\uH_bP]H_fm_bdgY\uNWX f\dbOY\_bfmuTOQfmuNfmrsW965 u$WbPt_bfmuQ¢0 §ALPlm|PYLdgPP
fmp_XKsW_bKNPfmdba Y\Y\dXY\u_¤fm`KstgK.W,Husf²u±YmW¤_bKsP3WX_b[sroa fm !"%879:;(<%=!>
¢;WbPP?.0 Rm¼ 0@A3 §B5 uWbPt_Xfmu ¢;wz§1P«l\|P«YtYmWbWi¡Nt9Y\_bfmu.fmT_bKsP«dgPnsdgPWbPu_gY\_bfmuNW
fm1dbPmPdgWi}sPY\[s_bfmO"Y_kY3YmW[seWX[o}NlmdkYnsKNW'fm¨^tgKsdgPPdl\dkY\nsKsWQ¢;Y\WXf3tZY\Pr¬t9f|WXP_
lmdkY\noKNW'fmLl\dgfm[snsWk§JLKsPQtfmuNro_bf\u¬_bKAY\_'WiKNfm[sr¬}qP¤[s¡sPr}Ha¬_XKNP¤dgPnsdgPWbPu_XuNl
lmdgfm[onNWLYdgP|PdbaWXOQY\dC_gf_XKNP`WbPnNY\dkY\_XfmunsdbfmnEPdb_XPW1roWbtf²mPdbP9r}a KsdgPus P[NtgK_
Y\uNr"U f|Pu}qPdgl$u_bKNPd1WX_b[sroafm5PPOQPu_gY\dba¤_XdkY\uNWi_XfmuWXaHWi_gPOQWC.¦y^¼AR~{ 3 ¢ÖWbP9PjY\WXf
.@A3§¬ PY\WXf¬rsP9WXtdX}EP_bKNP3tfmOns[s_kY_bf\u fm _bKNPtZY\uNf\ust9Y\LdbPnsdbP9WbPu_kY\_Xfmu fmpY
t9fmOO?[s_gY\_b|P$Y\[s_bfmO"Y_gfmu¢£Y\[o_gfmOY\_gf\u©_XKAY\_`[saPO?}EP9rsroWpu©_bKNP?ªYZaHPa+lmdgY\nsK
fmeYu«Y}qPYulmdgfm[on§
»vnsYmt9PfmLY3|P9t_gfmdYmroro_Xfmu Wia^Wi_gPO ¢ÖfmdY"ns[sdgPQcCP_bdXuNP_k§W'Y+WiaHustgKsdgfmuot
t9fmuNWi_bdgY\u_f\u"_bKNPpPmPu_gW fHt9t[odbdbuNlu"_bKsPjWXaHWi_gPO©¼ouAYOPa¤_1t9f\uNWX_XdkY\uH_bWL_bKsPpdgPѳ
Y\_X|P¥dgP[sPuNtPfmP]^P9t[s_bfmufmN_bKNP1_bdkYuNWX_bf\uNWeYADEP9t_buNlj_bKNY\_ensYmt9P\E5 A_bKNP1nsYmtP
W }qfm[ouNrsP9r_gW`dkY\uNlmPfm\Y\dXY\_Xfmu+_bKAY_pW9¼E_XKNP?ro4DqPdgPuNt9P$}qP_ÃLPPu=_gW OusO?[sO
Y\uNr3O"Y²]^O?[sO \Y\[sP9W9¼^WY?OQPZYmWi[sdgPfm_XKNPTdgPtnodgfHtZY\5uNrsPnqPuNrsPust9PFKslmKNPdmY²³
[NPWjOP9Y\uf^f|WXPdjt9fmuNWi_bdgY\u_gW$JLKsWTWpu¬YmlmdgPPOQPu_T_bK¬_bKsPu_gPdbnsdbP_gY\_bfmu¬fm
YnsY\t9PTY\WY\}NWi_bdgYmt_1dgP9WXfm[sdbt9PWXKNY\dgPr"}Ha_bKsPj_bdgY\uNWX_bfmuNWt9fmuouNP9t_gP9r3_bf_bKAY_LnsYmt9P\
JLKsPusfm_bfmu fm`WXauNtgKsdbfmust©roWX_gY\uNt9P"LYmW¤u_XdgfHro[Nt9Pr5¼u _XKNPt9fmu_gPÑ]H_Qf\`usP_
_bKNPfmdbam¼T}Ha ªj¦»`cP_bdXYmW+Y _bf^fm_bf OQPZY\WX[sdbP _XKNP dgPY\_b|P¬rsPlmdgPPf\dgPP9rsf\O
}qP_ÃLPPu=WbP_gWTfm_bdkYuNWX_bf\uNWu¬YQt9fmuNt[sdbdbPu_Wia^Wi_gPO«5 _jKAYmW`}qPPu¬[NWXP9r«u?.
03 _gf
rsP¡susPpYjusfm_bfmuYHG %=IJK!MLIN9 G !$%O Yf~uNlp_bfY\rNY\ns_e_XKNPdgPnsdgPWbPu_gY\_bfmu_bKNPf\³
dgPO2f\ KsdbPus P[NtgK_'Y\uNr«U`f|Pu}EPdgl_gf_bKsPtfmu_gP]H_jfmmP9t_bfmdjYmrsro_bf\uWXaHWX_bPOQW9
»±WXlmK_Xaro4DqPdgPuH_eY\nsnsdbfzYmtgK?_bfTWXauNtgKodgfmustLdgPY\_XfmusWu¤cP_bdXouNP_gWLYmWCWbP_efm[s_u
.0 3 ¼HKNPdbPTuNPZY\d¥nsdbf|lmdkYOQOuNl_bP9tgKsusz[NP9W Y\dbPp[NWXP9r3_gft9fmOns[s_bPp[snsnEPdL}qfm[ouNrsW
fmeWiaHustgKsdgfmuot'u\Y\dbY\u_gWu©YQl\|Pu©usP_ZP5 uQ.ÀR 3 _bKNP'[NWXPfmCuNPZY\d`Yl|P}sdkY\tj_gPtgKo³
usz[NPW nodgf~rsPWjY?nEfmauNfmOYE_XOQPY\lmfmdb_bKsO WbfmuNl?_XKNP'WXau_bKNPWXW`nsdgf\}sPOfm
|P9t_gfmdpYmroro_XfmuWia^Wi_gPOW
x
WXuNl©_XKNPu_gPdXnsdgP_kY\_Xfmufm YnsY\t9Pfm Y3|P9t_gfmd¤Ymrsro_bf\uWiaHWX_gPO Y\WY+WXauo³
tgKsdgfmuottfmuNWi_bdkYu_1P"rsPdbmP"Y«tgKNY\dkYmt_gPdb9Y\_bfmu°f\_bKNPWX_kY_gPl\dkY\nsKsWfmmP9t_bfmd
Ymrsro_bf\u3WXaHWX_bPOQWjY\W _XKNPO"Y²]^O"Yqz[Nfm_XPuH_bW fmCnEfmaHKsP9rodgY\Y\[s_bfmOY\_kYoeJLKNPa+Y\dbP
t9fmOO?[s_gY\_b|P'Y\[s_bfmOY\_kY¤Y\usr+1PtfmumhiPt_b[odgP'_bKAY\__XKNPa+YdgP_gfmdbWXfmuo³ dbP9P\¼o ¦Pm_bKNY\_
_bKNPd?t9Y\uNfmuotZYLdgPnsdgPWbPuH_gY\_bfmu rsfHP9WuNf\_¤t9fmu_gY\u _bfmdgWifmu PPOPuH_9 uNrsPd¤_bKsW
YmWbWi[sOQno_bf\u"Y\usr[NWXuNl_XKNPjt9Y\uNfmuotZYdbPnsdbP9WXPu_kY\_XfmusWLfmtfmOO?[s_kY_bmP`Y\[s_gf\O"Y\_gY
LPprsPdX|PjY\u3Yl|fmdX_XKsO KstgK"rsPtrsPpKNP_bKNPd Y$¡ous_bPpY[s_gfmOY\_bfmuQW¥WbfmOQfmdXnsKst
_gf¤_bKNP'Wi_kY\_bP$l\dkY\nsK+fmY¤|P9t_gfmdpYmroro_XfmuWia^Wi_gPO«
+¯) "# '
» #%O!">!$%&:( WY_bdbnsP tfmuNWXWX_XuNl¤fmCY?WXP_ fm $ ¼sY?WXP_ fm
7%8 Q¼HY\uNrY'_XdkY\uNWi_XfmudgPY\_Xfmue P`WXKAY\Ndb_gP "!^YmW1Y\u
Y\}s}sdbPY\_Xfmu fmd#$%'&('$ !*)'CJLKNP_bdgY\uNWi_bfmuWXaHWX_bPO WWbY\r_bfp}EP W( !"%8!>!$
¢ÖdgPWXnEP9t_bmPa + W( !"%8!>!$ §¥ -,/.01 3254 $ ,76 $ 2 ¢ÖdgPWXn8-,9 :.
32 :4 $ ,;6 $ 2 §Ñ
<+µ>=?A@ @ ¹B?C
79!ED J#%O!">!$% &'( ! W( !"%8! #!$ % + W'+
( !"%8!#!$N>%O!"#!$% &'(
FHGJI KMLNPORQ/SUT7SUVXWZY\[]N^TZY_`VS^VXWZYba#c/_>S^LdOe_
» nqPdbO?[o_kY\_Xfmu_bdkYuNWX_bf\u°WXaHWi_gPOW?Y+_bdkYuNWX_bf\u°WXaHWi_gPOu°KstgK PZYmtgK P|Pu_
uNro[st9P9W1YTnqPdbO?[o_kY\_Xfmufmu_bKNP WXP_1fm5Wi_kY\_bP9W9E5 _¥W_bKNPdgPf\dgPpY ( J dgPmPdbWX}oP
_bdkYuNWX_bf\uWXaHWi_gPO©H5 #f WY"l\dgfm[sn5¼g Y"WX[o}Nlmdgf\[sn=fmZf¼5Y\uNrhY"WX[o}NWbP_'fm*f
¢Ö[NWi[AY\a=Y©WXP_¤fml|PuNPdkY\_bfmdgWg§¼e_XKNP3¨^tgKodgPPdlmdkY\noK1/ifjgkjljW$_XKNPnEPdXO?[s_kY²³
_bf\u_bdgY\uNWX_bfmu WXaHWX_bPO Ksf|WbPWX_gY\_gPW$Y\dgP?_XKNP?dblmK_X³Ãtf|WbP_gWmgn%f 6po grqsq)1ft
Y\uNrQKsf|WbP`_bdkYuNWX_bf\uNWY\dgP _bKsP`_XdbnoP9Wuvgrqw'&(jgrqU&kJLKNPTªYZaHPalmdgY\nsKyxvfjl
W/if{z%jl'KNPdbP|z3W¤_XKNP+_XdbHY\Wi[s}Nlmdbfm[sn}OQfmdgP3lmPuNPdkY\ag WYuNfmdi³
O"Y\jWX[s}slmdgfm[on fm~f Y\uNr'uNf\_3_ÃLf.roWi_bust_3l|PuNPdgY\_gf\dgW3u Y\dgP¬Pz[s\Y\Pu_
OfHro[sfg¼_bKsPu _bKNP©¨^tgKodgPPdlmdgY\nsK0/ifjgjW?WXfmOf\dbnsKst_bf¬_bKNP+ªYZaPa
lmdkY\noK9xif (gkj~(ghgp»`uHanEPdXO?[s_kY_bf\u«_bdgY\uNWi_bfmu©WXaHWX_bPOij/'${3KNfmWbP
[suNrsPdbauNllmdkY\noK+Wt9fmuouNP9t_gP9r+WWbfmOQfmdbnoKst`_gf_bKNP$¨^tgKodgPPd`lmdgY\nsKvfgkjl
KNPdbPMf)W$_bKNP3l\dgfm[sn°l|PuNPdkY\_bP9r }a_XKNPnEPdbO[s_kY\_XfmusWu Y\uNrg 6 f v 6
o q)fs${5`q 6 ${t©W¤_bKNP+WX_gY\}sWXPd¤f\j_bKsP+us_XY\1WX_gY\_gP\ 5 uNrsPP9r.PZYmtgK±WX_kY_gP
$|)R tZY\u }EP[ousmf^t9Y\aPuNt9fHrsP9r }a°_bKsP+WXP_f 6 o q ) f s8${:q 6 $(t
KstgKW$YvdblmK_X³ t9f|WXP_Y\uNr _bKsW't9fmdXdgP9Winqf\uNrNY\uNtPQWYuWXfmOQfmdbnsKoWXO fmL_XdkY\u^³
WX_Xfmu+Wia^Wi_gPOWpJLKsPWi_kY\}sWbPdbW fm_XKNPWi_kY\_bP9WpfmYt9fmususP9t_bP9r«nEPdXO?[s_gY\_bfmu©_XdkY\u^³
WX_Xfmu=Wia^Wi_gPOYdgPt9fmumh [slzY\_gP+¢H$ ! 6 $_bKsPuf 6
,
f E§¼Y\uNr=_bKNPOY\n
vff jjl
/ifjf jl]f
f
,
WLY\u3WXfmOQfmdbnsKoWXOv}EP_Ã1P9Pu©_XKNP
dgP9WinqPt_X|P¤¨^tgKsdgPPdTlmdgY\nsKNWªLfmu|PdgWXPa9/ifjgkjl6 /vf1OnsP9W_bKNY\_
_bKNP'lmdbfm[snNWug Y\uNrYdgPt9f\umh [NlzY\_bPukf
FHGF L!;LNU_UV"#XL%$ Q/SUW*OeT8SUT
P_ }qPYu Wbf\OfmdXnsKstt9f\nHa°fm t9fmuNWiWi_busl¬fm fmdbOY\Lu|PdbWbPW &3fmpPmPu_gW
&) P dgPtZY\'_bKAY\__XKNP=dbP9Plmdgfm[on l|PuNPdgY\_gPr }a W3_bKNPlmdgfm[on _bK
nsdgPWbPu_gY\_bfmu'&il 6)(+* i-, /.'&u &( &u&%&) g1» 1fmdgru0&v¥W Y¤1fmdgr
) i1, l2}5u fmdgroPdT_bf3PZYmWXP?uNfm_kY_bf\u«1P¤WXKAY\[NWi[AY\aO"Y,|P?uNf3roWX_XuNt_bf\u
}qP_ÃLPPu Y+1fmdbru3&iTY\uNr=_bKNPYmt_X[AY\¥PPOQPu_$fm4&ilj_XKAY\_'_'dgPnsdgPWbPuH_bW9
» 1fmdbr©u0&i¥W _bPdXOPr
9I(8I
C_ tfmu_kY\uNWuNfWi[s}LfmdbrsWjf\_bKsP$fmdXO &u &
fmd &:^&Qf\d¤WbfmOQP&9) ¬» dgPro[NtP9r Lf\dgr W$_bKNPdgPf\dgP_XKNP3tZY\usfmust9Y\¥ fmdbO fm
Y\uPPOPuH_fm5&vk"JLKNPdbP9PQlmdgfm[on6&ilpKNYmW?Y3nAY\dX_bYa©rsP¡suNP9r°Ymt_Xfmufmu
_bKNP+WbP_fmjWX_gY\_gPWfmTY dbP|PdgWi}sP+_XdkY\uNWi_Xfmu WXaHWi_gPO ijlm|Pu.}a P_X_busl
$& 6 $ ! Y\uNr|$ ! & 6 $KNPu
!7vW'WgY\r¬_gf3}qP %8%=I KsPu&il
Ymt_bW _XdkY\usWX_XmPaQfmuF98 $>j$ ! ) 3:;r)<&il $= 6 $ !
<+µ>=?A@
@ ¹B?->
979!ED JH(W(-% !N;%8%=I-979!ED J >%O!"#!$%/&'"+
( G 8@? !"" % !"%8!">!>J=
FHGA B5QYCT*OeLdYZSUTD#/E N^WZQF TZYCHGhWI!;LNUV YJ;_
JLKNP
' %(<%8$J
G
9
fm _XdkY\uNWi_Xfmu Wia^Wi_gPO u Wi_kY\_bPk$|)R/WLK , E/'$ 6
o )M&il~sP$ 6 $%t$»pu=PPOQPu_'fmDK , E/'$ WTt9Y\P9r Y J::I) }AYmWXP9r
fmuh$|C5 _bKNP¤Y[s_gfmOY\_bfmu«WTt9fmuouNP9t_gP9r=Y\[suNrNY\OQPu_gY\elmdbfm[snNWTY\dgP?tfmumh [Nl|Y\_gPu
N T áÈÏ×OPORQ²ÞSZ×Q²Õ;ÞiÐÓÞXÕUT9Õ;ÏWVXQZY\[^]5_a`@_RbcÐÓàÏdT9Õ;ÏWVXQ~ÐØ×iÏÒAÕÖÞeV²ÕÖÞbàÖÞ T O;ÏfO;ÐÜ T ÜágOaQ~Þ`×iÜà;ÞhOàaV²Ï×iÞ
×iÜàhi]Ô`kjml|ÐÙÞÙnORQ~Þ1àÖÞOÜÑáAÕ;ÐoTpQpO× Ü9àÖÞO;àI`Lq]Ü Tdr Q~ÐØ×Qs] Ï×O;à9tpujÕ;ÐoTpQpOÎ¥ÝvO;ÐwV²ÒÐØ×iÏxOÖÐÓÜ T Ï T Û@ORQ~Þ
Õ;ÞXà£Ý~ÒwO;à5ÎLÞ T OÖÐÓÜ T ÞXÛ`ÏWtÜyÞCÏÕÖÞ9ORQ~ÞUTÕ£ÏxVzQ=ORQ~ÞXÜÕ;ÞhO;ÐÓ×× Ü9Ý T OÖÞXÕaV²ÏÕO£àÜá{ORQ~ÞáÈÏ×OgORQ²ÏxO5Ï T u
Ç|R}f~²ÂÇÉ
]àaV²Ï×iÞqÐØàNÐØàÖÜ9ÎLÜÕaVXQ~ÐØ×+O;ÜÏ× Üà;ÞhONàaV²Ï×iÞ× Üàhi]Ô`kj^áÀÜ9ÕNàÖÜ9Î1Þà£ÝXtvT9ÕÖÜ9ÝXV `±Üá]«Ï T ÛOaQ²ÏfONÜ T ÞnQ²Ïà
OaQ~ÞXÕ;Þ áÈÕ;ÜÎ.Ï=t~Ð ÞX×O;ÐoyÞ¥× Ü9Õ;Õ;ÞXàaV\Ü T Û²Ï T × ÞUt\ÞhOr ÞiÞ T OaQ~ÞÐØàÖÜ9ÎLÜÕaVXQ~ÐØ××iÒÓÏà;à;ÞXàÜÑáO;Õ£Ï T à;ÐoO;ÐoyÞD]àaV²Ï× ÞXà
Ï T ÛORQ~Þ×iÜ T ÖÝvT9Ï×hu × ÒØÏà£à5ÜÑáNà;ÝXtXTÕ;ÜÝXV²àqÜá;]Ù
@
&v'KNPuNt9PWXfmOf\dbnsKstF/K , v/'$ ! 6 , K , v/'$ # .KNPu $ @ 6 $ !° P
P_@K , 7 6 K , E/'${3prsPusfm_gP_bKNP¤[suNrsY\OPu_kY\¥lmdbfm[snfmLdbP|PdgWi}sPQY[s_gfmOY\_bfmu
7 6
j/'${3k P_ }EP'WbfmOQPWXnAYusususl_XdgP9P'fmC_bKNP$Y\[o_gfmOY\_gf\u7 P_
}EP_bKNP¢dgPro[Nt9PrA§Lf\dgr¤Y\}EPuNl_bKNP'¢ [susz[NPZ§nAY\_XK¤u±dgfmO _bKsPus_bYWX_kY_gP
$-_bf¤WX_kY_gP$| YmtgK+tgKNfmdgr*)9hn/KNPdbP 6 "!NrsP_gPdbOuNPW Y?tfmWbP9r3nAY_bK
6
B &Hp ,
}AYmWXP9r+fmur$-9JLKNP[suNrNY\OQPu_gY\lmdbfm[sn K ,
R7:WL_XKNPlmdbfm[sndgPPa
l|PuNPdkY\_bP9r}a3_bKNP$tf|WbPr+nAY_bKNW YmWXWbfHtY_gP9r_XK_bKNP$tgKNfmdbrsWpf\WXfmOP'WinAY\ususuNl
_bdgPP'fm7
JLKsPdgPpW1Y$}s¦hiP9t_XmPjt9f\dbdgPWXnEfmuNrNYuNt9Pj}EP_Ã1P9Pu_bKNPpWX[s}Nl\dgfm[snsWHg!f\I&veY\uNr
_bKNP"dXlmK_¤tfmuNlmdX[NPuNtP9Wfm&v$lm|Pu }aH , ) g¼¥Y\usr!W¤Y
t9fmuNl\db[NPuNt9P3pY\usr f\usa=g W?Y¬usfmdbOY\Wi[s}Nlmdbfm[sn fm&vg= PWgYZa_XKAY\_Y
WX[s}Nl\dgfm[sng)fm\&vCWgY\_X[sdkY_gP9WLY$Y\uNlm[AY\l|P -&vCKNPu_gW1YmWXWbfHtY_gP9rdblmK_
t9fmuNl\db[NPuNt9P$rsfHP9W9¼N£P\KsPu W Y¤[susf\u©f\dblmK_ t9f|WXP_bWpfmg1JLKNP JM% G G fm
YdbPmPdgWi}sP`Y\[s_gf\O"Y\_bfmu/7 6 /'${3g¼zP_7 6 o k)<&vus : $ ) ${
6 $(t"W$WgY\_X[sdkY_gP9r=}a_gW[suNrNYOPuH_gY\¥lmdgf\[sn¼CuNrsPP9r7 6
K , 7m
KNPdbPB 5W_bKNPj¢ÖdgPro[NtP9rA§1fmdbrY\}EPuNlL_bKsP1nAY\_XK?uWbf\OP¥¡o]^P9r?WinAY\ususuNlp_XdgPPLfm
7 dgfmO ${_bf$|ªLfmu|PdgWbPam¼HBg WYWX[o}Nlmdgf\[snfm &vCY\uNr0 &ilYjnsdbP¡o]³
tfmWbP9r¤Y\uNlm[AY\l|PWgY_b[sdgY\_gPr}ag¼|LPP_Z//jgj}EP_bKNP Wi[s}AY\[s_bfmOY\_gfmuf\_XKNP
¨^tgKsdgPPdlmdgY\nsKlR&vjgkjluNro[st9P9r$}a$_XKNP|PdX_bt9P9W¢igvdbl\KH_tf|WbP_gWk§uNt[NroP9r
u/}C ¦Pm/gkjl 6 v'/j$-"pKsPdgPy 6\o g0 s 1) &i g0Ht
Y\uNr 6 o
ig0d'&(g0 & s e) &v & ) g0e g &1!Ht¼`Y\uNr
$- 6 g `fm_bt9P_bKAY_kK , i/jgkjl 6 g Y\uNrui//jgk 6 Y\uNr67 6
R7eK , 7jk¥ PKAYZmP_bKsPdgPdgfmO }ohiP9t_b|P't9fmdXdgPWXnEfmuNrNY\ust9P9W`}qP_ÃLPPu_XKNP
WbP_fm`dblmK_t9fmuslmdb[NPuNt9PWQWbY\_b[odkY\_XuNl YnsdbP¡o]³Ãtf|WXP9r Y\uNl\[AYml|P" &vg¼_XKNP
WbP_QfmpWX[s}slmdgfm[onNWfmd&v$WbY\_b[sdgY\_buNl Y\uNr _bKNP+WbP_f\jWXfmOQfmdbnsKot"tYmWXWbP9Wfm
dgPmPdbWX}oP$Y\[s_bfmO"Y_kYdgPt9f|l\usuNl
#`[AY\_gf_bKsP'uNt[NWXfmu+fm_bKNPd[suNrsY\OPu_kY\lmdbfm[snNWW _XKNP't9f~|PdbuNlfmdgP|PdX³
WX}oPY\[s_bfmOY\_kYOFTY 7!"% G¤fmLY3dbPmPdgWi}sPY\[s_gf\O"Y\_bfmu 7 W$Y\uNf\_bKNPddgPmPdbWX}oP
Y\[s_gf\O"Y\_bfmu%$7 _gf|lmP_bKsPdT_bK YQOY\n&'$
±}EP_Ã1P9Pu_XKNPdpdbP9WXnEP9t_b|P¤WbP_fm
WX_kY_gP9WWi[NtgK=_bKAY\_8 $)0 8 $
$)($ &
$
$ 6
$l4 8 ) &i $
$
$4 g
JLKNPdbP fmdbP 7 $ Y\uNr 7 Y\dbPdgP|PdbWX}sPY\[s_bfmOY\_kYQ_XKNPdbP¤P]HWi_gW$Y"t9f~mPdbuNl3dgfmO 7 $
_gf/7 eY\usr«fmusa"_bKsPa3KAYZ|P$_bKNP$WgYOP'Y\uslm[AYml|P'YuNrK , )$7H-K , 7Y\uNr+WX[NtgK
Yt9f~|PdbuNlW %8!+*8JK& roP_gPdbOuNPr}a"&A
$
${P 6
${\P Ppdb_gP7-, 7 $ KNPu
_bKsWLKAY\nsnEPusWjY\usr+WbY\r"_XKAY\_.$7 79 7e PrsP9ro[st9P'_bKAY\__XKNPWbP_`fmCWbfmOQfmdXnsKst
tY\WbWbPWTfmdbP|PdgWi}sP¤Y\[s_bfmO"Y_kYdbP9tf|lmususl &ilfmdbrsPdbP9r}a«_XKNPtf²mPdXuNl
1
dgPY\_bfmuWro[AYaz³£Wbf\OfmdXnsKst1_gf'_bKsPpWXP_f\5WX[o}Nlmdgf\[snNWLf\\&iCWbY\_b[sdgY\_buNl Y\uNr
fmdgrsPdgPr+}a"uNt[NWXfmu
`fm_bt9P_bKNY\_C K , 7Z$ K ,
7E_bKNPuLK
,
)$7:EWgY\_X[sdkY\_bP9WCP|Pdba'YuNlm[AYmlmPWgY\_X[sdkY\_bP9r
}HaLK , R7Y\usr_XKH[sW¥_XKNP t9f~|Pdbusl|W 7®f\7tZY\u}EPtY\WbWX¡NP9r[sn_gf'WXfmOf\dbnsKsWXO$ }a
_bKNPWX[o}Nlmdgf\[snNWfm K , 7}\u$nAY\dX_bt[sY\d5_bKsPdgPWCYOY]HOY\|tf~|PdXuNl`t9f\dbdgPWXnEfmuNrouNl
_gf«_XKNP_bdXYWX[s}Nl\dgfm[sn5=¨HaOQOQP_Xdbt9Y\a_bKsP *8#!$%8" fm47 tfmdbdbP9WXnEfmuNr°[on _gf
Wbf\OfmdXnsKsWXO _gf"_XKNP?lmdbfm[snNWg WgY\_X[sdkY\_XuNlQ_bKNPY\uNlm[NYml|Pf\D7vY\uNruNt[NrouslQ_bW
[suNrNY\OQPu_gY\lmdbfm[sn
» t9f~|Pdbusl&1 $7 7 W_gPdbOQP9r Y J! 7!"% GQ=K
,
)$7:WY«uNfmdXO"Y\
WX[s}Nl\dgfm[sn«fmUK , 7gJLKNP J! G 9 fme_XKNP Y\fmWLt9f~|Pdbusl&¬W_bKNP[sfm_bPu_
lmdgfm[on3K , R7:JzK , 7g©»$ "
uY+dgP|PdgWX}sPY\[s_bfmO"Y_gfmu 7 6 /'${3pWY
nAY\dy$% ]) &ilWX[stgK _XKAY\_l$@@ WrsP¡suNP9rq¼_W?Y J::I }NYmWbPr fmu0$|¼
uNfm_gPrri$% Z)9xi$ k¼zOf\dgP9f~mPd#$n\ 6 $¢_bK[NWDK , v/'$ 6 o k)<&isUi$>e7)
xi$(t\§JL1ftfmWbP9r3nAY_bKNW
$
$% ¥YuNrh
$
$ !
!
¥fm$7 Y\dgP %' G u3_bKNPtf²mPdXuNl
& $
7 7 C_XKNPa3KNY~mP_XKNP'WgY\OQP &N³ OYml|P\¼^£P\ &
$
$ 6 &A
$
$ !
LY\uNr 6 !
LJLKNPu
Ytf²mPdXuNl & 7$ 7 }qP_ÃLPPudbP|PdgWi}sPY\[o_gfmOY\_kYW`Y Y\f\Wtf²mPdXuNlY\uNr
fmusaQPmPdXa+nNY\_bK+fm$7 t9fmumh [slzY\_gPT_bfY¤tf|WXP9rnAY\_bKWtfmWbP9rq
JLKsP
W *W!"7J%=
YmWXWbfHtY\_gPr©_XK¬YY\uNl\[AYml|P' &i¥W
8 )3&v ) ] );¼q£P\ 3Y\usrfmusa3P
, 6
,
5 _TW`_bKNP?l\dgPZY_gP9Wi_dblmK_Tt9f\uNlmdb[sPuNtP¤WgY\_X[sdkY\_XuNl ¼E ¦Pmj_XKNPpPdgfHrsP?lmdbfm[sn 6
o
r)<&ils , 6
HtW_bKNP'lmdbPZY\_bP9WX_`Wi[s}Nlmdbfm[sn©fmU&il¥WgY\_X[sdkY_busl
¤¯) "#
AuGJI HSULdY_`VJWZYu_0W 0L!;LN^_`V"#XL%$ QSUWZOeT7SUT
<+µ>=?A@ @ ¹B? % P]H_gPuNWXfmu C 97!ED J (W(-% 7 6 j/'${3 !C%8&
( J 97!ED J (W(-%! (l $#!$% ( (-%Q! :(<$W!$
:(<
7 ! 6 v'
!
!
'${3
"8 "O
p
! %
6
!
i| *"
8
!"%=J !$% !"%8 ! !H(<I [sPO?}EP9rorouNl 7 !"%8 7 !
5 /WTWXfmOQP?WXnAYusususl"_bdgPP¤fm¥YdgP|PdgWX}sPY[s_gfmOY\_bfmu'7¼5LP?P_! 7~ :
rsPuNf\_gP_bKNP fmf~usl?WX[s}sWbP_pfm&v9F
R7~ 6 o B v ,
sp8 $%'$
! ) $#"6 $ !
t=, o B A&up ,
sp8 $%'$
! ) $
"
$ !t
JLKNPp1fmdgr w
,
W¥WgY\rQ_gfWbPnAY\dkY_gPjWi_kY\_bP9WH$TY\uNrM$ !¼^Y\uNr_bKNP`Lf\dgr B w'&8
,
W
WgY\r_bf¤usKs}s_1_bKNPT_XdkY\usWX_Xfmu "!JLKsP$ fmf~usldgPWX[s_`lmmP9W Y¤tYmWbWi¡Nt9Y\_bfmu
fm5_bKsPjP]H_bPuNWifmuNW1fmYdbPmPdgWi}sPjY[s_gfmOY\_bfmu¼z_bKNPpt9fmusro_XfmuNW_XKAY\_Y'dgPnsdgPWbPu_XuNl
lmdgfm[onQWiKNfm[srQWbY\_bWXa?Y\dgP`Y\uAYf|lm[sP9We_gf_XKNP WbPnNY\dkY\_XfmuQY]HfmOWeu_bdgfHro[NtP9r¤}a Ko³
dgPuo P[NtgK_$Y\uNr U f|Pu}qPdgl" fmdjPPOQPu_kY\dXa©_XdkY\usWX_Xfmu«WXaHWX_bPOQW91a0`dX[NWXKNf~HW,W
_bKNPfmdgPO .ÀRZx
3
¢;WXP9P3YWbf .ÀR
03
§'1P3Y\dbPZYmr^a ,Husf² _XKAY\_Y\ua¡suo_gPdgP|PdgWX}sP"Y\[s_gf³
O"Y\_bfmuKAY\WY¡ous_bP¤P]H_gPuNWXfmuY\uNr¬_bKNP?[sWbPfm jY\ ¦Wj_bKsP9fmdbPO u fmdgroPd_gf3nsdbf~|P
_bKNPP]HWi_gPuNt9P"f\L_bKoW'¡sus_bPP]H_gPuNWXfmu°W_gYA,|Pu°dgfmO _XKNPnsdgfHfmf\4`dX[NWXKNf~HW,W
_bKNPfmdgPO lmmPu+}a YmWbt9Y\dpY\uNrpPdXl .ÀR~w
3
¹¹ @ @Ö¹B? 7&C979!ED J( (-% 7 6 /'${3 O %/2%O!$%
7 ! 6 i'
!
!
'$
! ? !"" 8N (< 'W%(<%8$J
G
9:
K , 7
! 6 K , 7'
7 !
%8!" !" OP %8!" 2%O!$% !:(<$W! ( 8 2%O!$%O P)%8%=I
79!ED J ( (-% 7 9 !"%D ! >!"7<9%%=Z? !"" "8"PD G 9 g
&v
"8- O
K , R7:# g
%
g
7~ : 6
?E89
! :(< %8%8!"%
G
#9< 7l 8-2%O!$% ::!>I? !"" g ! 7
6
/R&vjgkjl ? !" )' J"J
(DI!"% G5
g9n&i3l$
g0 ?E89 ${; 6 $ 7 I%D ' J"JK& (DIWI
!"%? &J&
G
! % %8JK&;!
|K , 7
R7~ 6
?E89
K , 7
!
8%=(-JK!: 8N'W%(<%8J
G
9 !"%
&v"
w8 &J&
G
!
8% xifj ?E89 f ! 8 G 9 ? !" 9:%8$#!$% f 6 ( * i ?E89
6 o s ) n t
!) 8lD:
K , 7
W!"7I ( :(<N %8%8!"%
G
#9
7l
9: PpKAYZ|P$YnAY\dX_bY\EdXlmK_Ymt_Xfmu3f\&ilfmu3_XKNPTnsdbf^ro[st_u &ilmmPu
}Ha$% 6 i$L ,
g P«rsP¡suNP¬Yt9fmOnsP_gP+dgPmPdbWX}oPY[s_gfmOY\_bfmu
7 6
ij !/'$ !
1}a©P_b_XuNl ! }EP'_bKNPWbP_jfmfmdX}s_bW
$% fmi$>eH) 0 &il
[suNrsPd_XKsW$Ymt_bf\u¼_bKNPWbP_f\L_bdgY\uNWi_bfmuh
!
W'lmmPu=}Ha
$% 5& 6
$>e & ;¼CY\uNr
_bKNPus_bYWX_kY_gPW]$
! 6
${-{z ;©_XKNPOY\n"! 7
!
7$
$>z 1WumhiP9t_bmP
}qPtZY\[NWXP
$%{z 6 $ !{z a: ) &v $ ! 6
$k! . z 6
4 $ ! 6
$|
pf~ '!4
$%{z \ & 6
$%'& 6 $ &({z L ¦Pm$#&%('*) #"!+%('*)£ ªLf\uHmPdbWbPa
#&%('*) #"!+%('*);¼z¦Pm
$ !
z 6
$%'& N_bKNPu_XKNPdbPpPÑ]^WX_bW )<&ilCWX[NtgKQ_bKAY\_#$ 6 $ !
Y\uNr z 6 & ¥¨uNtP WY?dbP9ro[NtP9rLf\dgr5¼o_XKsW1Lfmdbr©WiKNfm[sr3WX_gY\db_}a|¼sY\uNr3u3ÖYmt_
}qP¤dgPro[NtP9r_bfs¼_bKNPP_b_gPd &m¼Y\usr=_XKH[sW~ !JLKNPdbP fmdbP 7 ! W$Y\uPÑ]H_gPusWXf\u°fm
7 _gPdXOPr¬_bKNP
I%=%8!$IJ
PÑ]^_bPuNWifmufm7
PuNPdgY\a+_XKNP¤tZYuNfmustZY\PÑ]H_gPusWXf\u=W
uNfm_L¡ous_bPTPmPu fmd¡suo_gP7 5 _bW[suNrNY\OQPu_gY\ql\dgfm[sn K , 7 !W¥_bKNPTWXP_ fmdbP9ro[st9P9r
LfmdbrsWZ WX[NtgK _bKNY\_
$-{z 6
${{ 6
${{{z £¼e_XKNPu _bKsPdgPP]HWi_gW ) &il
WX[NtgK _XKAY\_${ 6 ${= !¢Ö£P\ )-K , 7 §Y\uNr z 6 ®¢Ö ¦Pm 6 ,
§'}_bK[NW
K , R7
! 6 K , R7:k
P_g }qPTY?WX[s}Nl\dgfm[snf\&ilWX[stgK+_XKAY\_5K
,
7Z g Y\usrMg R7 :
6 ¼
_bKNPu_bKsPOY\n
g9n&il $
g0=KNPdbP${ 6 $WLPrsP¡suNP9r
}qPtZY\[NWXP K , R7: g Y\uNrumhiP9t_b|PQ}EP9t9Y\[NWXPMg
R7 : 6 5 u '!_XKNPu
&~; ,
)eg }EP9t9Y\[NWXP'K
,
R7: g|}`KNPuNtP
'!u /a&ijgkk
ªLfmu|PdbWbPa Y\WbWX[oOP_XKAY\_ !ju/R&vjgkjlk¼C£P\0B *`&: ,
)g¼
_bKNPu !! fmd'WXfmOPWi_kY\_bP$
!! ) WXust9Pg
M7~ : 6 JLKNPu=uNPt9P9WXWgY\dXa
$ !! 6 $ ! }arsP_bPdXOQuAYmta?fm\7 6
/a&ijgkY\uNrumhiPt_X_Ãa¤f\
JLKNPdgP f\dgP
7
7±W Y\u+PÑ]^_bPuNWifmu©fm97
¨uNtP+P|Pdba t9fmuouNP9t_gP9r±t9fmOnsP_gP"dbP|PdgWi}sP«Y\[o_gfmOY\_gf\u W?WXfmOf\dbnsKst_gfY
¨^tgKsdgPPdCl\dkY\nsK]/a&iljjgjN f\d g,WXfmOPWi[s}Nlmdbfm[snfm^_XKNPdgPP¥l\dgfm[snL&ig¼Y\ua
P]H_gPuNWXfmufm+7 WYjOQfmdbnsKoWXO fmA_bKsPfmdbO
7
/R&vjgkjlkCJLKH[sW
i$ 6
g0 KNPdgP
i${3 6 g0YuNrl${z 6 $|S5 _fmf² W_XKAY\_I7
! ,
)K , R74 g0 6
g0 ! ! , ,
)g £P\K , 7* ,
g0A`f² WXust9P
WeumhiPt_b|P$#"6 $ ! 4
g0 6" g0 B B ,
")9g¼_XKH[sW
,
g0 o B {^
,
sp8 $%'$ ! ) $ 6" $ !t 6
pf~ $
"
$ ! 4 g0 B J& "6 g0 B {B J&p ,
,
") g B &p ,
") , g
»p_bf|l|P_bKNPd g ! 6 ,
g0pWgY\_XWX¡sP9W\K , R7:Zg ! Y\uNr g ! R7 : 6 YuNr$1PKAYZ|P
Y\u¬P]H_bPuNWifmu
! 7
/a&iljjg ! B$ g ! `f²
Wp_bKsP?t9fmOnEf|WX_bf\u
fm
!
_bK_bKNPWbfmOQfmdbnoKsWiO /a&iljjg
!
jl
/a&iljjgj >g
!
g0
5 n7W¡sus_gP\¼{K
,
7eWLY'¡sus_gPal|PusPdkY_gP9rWX[s}Nl\dgfm[snf\5_bKNP`dgPPjlmdbfm[sn &il
Y\uNr}a jY\ ¦W_XKNP9f\dgPO K , 7eW1_XKNPpuH_bPdbWbP9t_bfmu3fmYA_bKNPpWX[s}slmdgfm[onMg fmn&il
fmq¡suo_gP usrsP]Wi[NtgK"_bKNY\_DK , R7* g¨HuNtPjY¡sus_gPu_bPdgWXP9t_bf\u"fmqWX[s}Nl\dgfm[snsWLfm
¡sus_bPpuNrsP]QWLY?WX[s}slmdgfm[onfm¡sus_gPjuNrsP]"Y\uNr 7~ :W1¡sus_gP\¼^1PrsP9ro[st9PT_bKNY\_
7 KAYmW`Y¡ous_bPP]H_gPuNWXfmu
uAY\a~/a&iljjgjWeWbf\OfmdXnsKstL_gfY$ªY~aPalmdgY\nsKEY\uNrfmusa? g WY
uNfmdbOY\NWi[s}Nlmdbfm[snfm\&ilk¼zuKstgK"tZY\WbP5R&vjgkjl 6 xvfKNPdbP5f W
_bKNPlmdbfm[sn'nsdgPWbPuH_bP9r$}Haf 6 ( * v . AKNPdgP ,WY WXP_fm^l|PusPdkY_gfmdbWf\Pg `f²
K , R7Z g&iCYuNrg
M7~ : 6 OnsP9W_XKAY\_ R7 :
|K , 7 6
ªLfmu|PdbWbPa± R7 : K
,
7
6
_bKsPu-7![oa°PO?}EP9rsWQu _XKNP¬ªYZaPa
lmdkY\noK-7 6 /a&ilj K , R7:j 6 xifjl¤KNPdbPhf 6 lmni .
_bK 6Ro s ) nt?_bKNP'}AYmWXPf\UK , R7:LroPdb|Pr«dgfmOWbfmOQPWinAY\usuouNl_bdbP9P
fm97
R~{
¹ ¹ s ¶-K , 7 R7 : 6
P_47
,
}qPT_XKNPfmf²uNldbP|PdgWi}sPY[s_gfmOY\_bfmu
5 _gWT[suNrsY\OPu_kY\l\dgfm[sn<K , 7 , Wj_bKsP¤WX[s}Nl\dgfm[snfm &il|PuNPdkY\_bP9r }a«_bKsPPPѳ
OPuH_bWjY\uNr
,
_bKsPjuNfmdXO"Y\Etf|WX[odgPTfmKotgKW¥_bKNPlmdbfm[sn3lmPuNPdkY\_bP9r3}a
_bKNP'PPOQPu_gW4f
, fmd4k) &vkJLK[NW
&iX |K , R7 , 6 # o .{t .{U6
5 /W_bKNPWinAY\ususuNl_bdgPP'fm7¼Nt9fmusWXWi_buNl¤fm_XKNPm³ Y\}qPP9r_XdkY\uNWi_XfmuNW¼
7 , : 6 o .
2
. ."!v.#$v.
,
.%
2
.
v.v.
,
. 2
.
{t
M7 , :
|K , 7 , 6 }EP9t9Y\[NWXP$uNf\uNPfm_bKNP'PPOQPu_gW fm R7 , :¥O"Y\nsW_gf
& ) ' JLK[NWp_XKNPt9YZaHPa+lmdgY\nsK7 2 WjYu«PÑ]^_bPuNWifmufmU7 , 5 )( 1&ilk¼NLP'P_
7 ,
( rsPuNfm_bP_bKNPY\[s_bfmO"Y_gfmuR&vjg *(hjjlpKsPdgP g *( pW'_bKsPuNfmdXO"Y\
tfmWX[sdbPfm_bKNPWX[s}Nl\dgfm[snfmD&i1l|PuNPdgY\_gPr«}a+
2
'Y\usr«_bKNP'1fmdgrsWpu,(°`JLKNPu
7 , *-W Y¡ous_bPP]H_gPuNWXfmu«f\7 ,
.
0/210354
.
6/210754
.
0/2168*4
7 , *
!
'WuNfm_Yu P]H_gPuNWXfmu±f\7 , }qPtZY\[NWXP9
! ) R7 , 'KotgK.t9fmdXdgP9Winqf\uNrsW
_gf_bKNPQYmr\h [sust_bfmufmL_XKNPP]H_bdgY+_bdgY\uNWi_bfmu
;:
3¨HOQY\dXa7 , * <3jWuNfm_Y\u
