HAL Id: inria-00072531
https://hal.inria.fr/inria-00072531
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.
Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols
Vlad Rusu
To cite this version:
Vlad Rusu. Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols.
[Research Report] RR-4100, INRIA. 2001. �inria-00072531�
ISRN INRIA/RR--4100--FR+ENG
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols
Vlad Rusu, IRISA/INRIA Rennes
N˚4100
Janvier 2001
THÈME 1
/
0%$*"1"%$%$'.!2,354678(9&
:<;>=@?BACEDFC*GIHA7H0JKMLNHOAHKPA7QSRER%QSD
TVUXWZY\[^]`_ba`ced[gfShji9[Zkdl@dkWZY\[ed
monpSq[Zkm%r6stm%r
a`fSuvuEpwnkxv[n[eyUX[Zny0UX[{z|~}X]g_bfSz@ [Zn6j]`_ ]g<u)fS~[ed
egv~ [dkhXxjlf\yZfwddpS'[i@k[ZzXxv[exfShvkpwY^fSk0f\xv[XzX[exlh)fSnxv[extyepwYMY^fSzXxvd
p~[Zn\m'n[edvhvn~[Zn^fSn kUvY\[Zk y¡ kU#hvzv zk[Znuvn[Zk[ex¢>hvzXyZk pwzXd£¥¤`z#kUX[kUX[epwn[Zk ygfS`d xv[¦
¡§[dUXpg¡kU)fSk`kUX[EpwhvzXxv[exn[gfwy0U)fSv k¨l©uvnpwv[ZY d`xv[eyZ xXfSv[< zkUv d6Y\pNxv[Zª£¤`zkUX[
uvn0fwyZk ygfS7d xv[¦kUX[©yZfwdd9 d9hXd[>hv6«pwnY\p@xv[Z zv¬uvnpwn0fSY\d¡ kUuEpwk[Zzk fS l® zjXzv k[
xXfSk0fdknhXyZkhvn[edg¦vfSzXxkUX[n[gfwy0U)fSv k¨luvnpNye[exjhvn[¯ygfSz9%[hXd[ex\«pwn°dlNY%pw y6d YhvfSk pwz±¦
k[edk zvX¦)fSzXx²~[Zn ³)ygfSk pwz±£
´µ~¶E·¸¹ º uvnpwn0fSYPY\p@xv[Z zvX¦Xd YhvfSk pwz±¦Xk[edk zvX¦X~[Zn ³)ygfSk pwz±£
»³¼3½¿¾ªÀgÁ½°Â3à ¾ªÄ«ÅeÆ
#"E$'&X(<"%$*"$ e,±0&+ `$*"%1"'$'&
pwhXdMcZkhXxj pwzXd<hvzX[²yZfwdd[9xfShvkpwY^fSk[ed^cZk[ZzXxjhXdg¦°xvcXzv d<u)fSnMxv[edMyepwY
Y^fSzXxv[ed¯fSnxvce[ed[ijuvn Y\ce[ed[Zz fSn kUvY\[Zk hX[Mxv[m'n[edvhvn~[Znfg~[eypwzXyZk pwzXd6zXpwz© zk[Zn
uvncZkce[ed£ pwhXd^Y\pwzknpwzXdNhX[[uvnpwvY\[txfwyeye[edd v kcEpwnzXce[[edk9xvceyZ xXfSv[©xXfSzXd
ye[^Y\pNxvWZ[£ozBuvn0fSk NhX[¦ye[\ pwnY^fS dY\[^uE[ZnY\[Zkxv[^Y\pNxvcZ d[Znxv[eduvnpwn0fSYMY\[edMfg~[ey
dknhXyZkhvn[ed§xv[6xvpwzvzXce[edVxv[k0fS [6uEpwk[Zzk [Z [ZY\[ZzNk zjXzv [¦j[Zk°fuvnpNyecexjhvn[6xfwyeye[edd v kc
uE[Zhvk Zkn[hvk dce[7u%pwhvnfMdlNYhvfSk pwzdl@YEpw hX[¦v[¯k[edkg¦X[Zkf<~cZn ³)ygfSk pwz«pwnY\[Z [£
!¹ g · " Y\p@xvcZ d0fSk pwztxv[¯uvnpwn0fSYMY\[edg¦d YhvfSk pwz±¦)k[edkg¦v~cZn ³)ygfSk pwz±£
# $
`)"E.,3
sp@xv[Znz¥n[ed[gfSny0U# z#fShvkpwY^fSk[ex#~[Zn ³)ygfSk pwz¢ygfSz %[9xj @ xv[exB zNkptk¿¡°p ygfSk[Z~pwn [edg£&%¿z
kUX[XndkygfSk[Z~pwnl~¦j¡Uv yU zXyZ hXxv[edVfSzvh)fS~[edfSzXx9kp@pwd§dhXyU²fwd(')+*,.- ]g0/¨¦2103546-
"
/±fSzXx
798;:
)<->=/¨¦~kUX[V«pNyZhXd d pwz\hXd zv7¡°[Z ¨[edk0fSv dUX[exk[ey0Uvzv hX[ed§dhXy0U9fwd dk0fSk[[ZzhvY\[Zn0fSk pwz
pwnVv z)fSnl9xv[eyZ d pwz²xj fSn0fSY\dg¦XfSzXx9uvhXdUv zv<kUX[ZY kpkUX[6 YM kdVl9pwuvk YM @?e zvMkUX[fS ~p
n kUvY\d` zt[Z~[Znl²uEpdd v[¡§fgl~£TVUv d`U)fwduvnpg~[Zznhv k>hv zk[ZnY\d6pS fSuvuv ygfSk pwzXdg¦IfSzXx
kV dfY^fSnApSdhXyeye[ed0dpS kUX[ed[¯k[ey0Uvzv hX[ed¦v¡Uv yU²«pwnVkUX[¯Y\pdku)fSnk¡°[Zn[7 zv k fSk[ex² z
kUX[[Z UNk [ed6fSzXx[gfSn lzv zX[Zk [edg£
TVUX[d0[eyepwzXxygfSk[Z~pwnl pSn[ed0[gfSnyU dyepwzXye[ZnzX[ex¡ kU[i@uvpwn zv¬zX[Z¡k[ey0Uvzv hX[edg¦
¡UXpd0[ YMu)fwyZk pwn uvn0fwyZk ygfSXfSuvuv ygfSk pwzXdg¦fS kUXpwhvU z Nh)fSzk k0fSk ~[§uvnpwn[eddg¦dk U)fwdkp
E[Vfwdd[edd[exI£T±¡§p¯n[Zuvn[ed[Zzk0fSk ~[[ivfSYMuv[ed*«pwnkUv d'ygfSk[Z~pwnl<fSn[Vm'n[edvhvn~[Zn fSn kUvY\[Zk y
- ]B=C/ fSzXxkUX[<kUX[epwnltpS§hvzv zk[Znuvn[Zk[ex©hvzXyZk pwzXd¡ kU [ Nh)fS k¨l6- ]/¨£EDzv @A~[Xzv k[ ¨dk0fSk[
Y\[ZkUXp@xvdg¦EkUX[ed[n[ZfSk ~[Z ln yU kUX[epwn [ed7fS p¡ kUX[Y\p@xv[Z zvpS°n[gfSª ³«[<dljdk[ZY\d6Y\pwn[
fwyeyZhvn0fSk[Z l~¦¡ kUXpwhvkkUX[7zX[e[expSofSvnhvuvk`d YMuv ³)ygfSk pwzXdg£VTVUX[ed[7kUX[epwn [ed6fSn[7xv[eyZ xXfSv[
F
fS kUXpwhvUkUX[Z n yepwYv z)fSk pwz d3zXpwkHGIfSzXxfSn[ [I^yZ [Zzk l7 YMuv[ZY\[ZzNk[ex zdk0fSk[ ¨pSªkUX[ ¿fSnk
~[Zn ³)ygfSk pwztkpNpwddhXyUtfwdJ)4;1K- ]BLC/ fSzXxt¤`Y\[ZfM- ]BN0/¨£
stpwk fSk[ex Nl¬kUX[ed[n[ZY^fSnAjdg¦¡§[ zN~[edk fSk[t z kUv du)fSu%[Znf yZfwdd9pS[ijk[ZzXxv[ex
fShvkpwY^fSk0fMkU)fSkyepwzXd dkpS*kn0fSzXd k pwzXdp~[Zn`fXzv k[yepwzknpwdknhXyZkhvn[¦v¡ kUh)fSnxvd`fSzXx
fwd0d zvY\[Zzkd9 z®fBxv[eyZ xXfSv[t>n0fSY\[ZzNk9pS7kUX[kUX[epwnl pSm'n[edvhvn~[Zn²fSn kUvY\[Zk y¡ kU
hvzv zNk[Znuvn[Zk[exMhvzXyZk pwzXdg£'TVUX[§«pwnY^fS dY{ d'[ijuvn[edd ~[
F
[£X£ ¦pwzX[kn0fSzXd k pwz^ygfSzMY\p@xj ³>l
fSzBhvzEpwhvzXxv[ex zhvY%[Zn<pS§>hvzXyZk pwz¥wfS hX[edHG£O%¨kygfSz Y\pNxv[Z hv k[Mz)fSkhvn0fS l uvnpwn0fSY\d
¡ kUhvzEpwhvzXxv[exxXfSk0fMdknhXyZkhvn[ed`dhXyUfwdu)fSn0fSY\[Zkn y ¨d @?g[ex~[eyZkpwnd6fSzXxfSnn0feljdg£
[dUXp¡ kU)fSk9n[gfwyU)fSv k¿l z®f %pwhvzXxv[ex zhvY%[Zn²pSdk[ZuXd^ dxv[eyZ xXfSv[t z®kUv d
Y\p@xv[Zª£TVUX[n[edhv k d` zk[Zn[edk zvX¦% zpwhvn`pwuv zv pwz±¦%%[eygfShXd0[7 k ~[ed¯f\xj n[eyZk6uvnp@ye[exjhvn[
«pwndl@YEpw yd YhvfSk pwz±£§TVUX[¯uvnp@ye[exjhvn[yepwYMuvhvk[edkUX[¯¡§[gf0A~[edk`yepwzXdkn0fS zkdpwzfuvnp
n0fSY d§ zvuvhvkVxXfSk0f«pwn§f ~[ZzXzv k[`d[ NhX[ZzXye[6pS±kn0fSzXd k pwzXd§kpE[[iv[eyZhvk[exI£'TVUhXdg¦@¡§[
pwvk0fS z fSz fShvkpwY^fSk y^d0pw hvk pwz kp²kUX[QPSRUTPWV@XY[Z\P]Y^`_a0bcRedf- ]gC/ >npwYd0pS>k¿¡§fSn[\k[edk zv2g
~[Zzf¯Xzv k[u)fSkU zf¯uvnpwn0fSY¦NXzXx\¡UX[ZkUX[Zn§ k d [iv[eyZhvk0fSv[¦vfSzXx\ ³IkUv d° dokUX[6ygfwd[¦
pwvk0fS z zvuvhvkxXfSk0fM«pwn`[iv[eyZhvk zv kg£TVUX[Zz±¦% ~[Zz f\yep~[Zn0fS~[MyZn k[Zn pwz6-j]/'xv[XzX[extl
f\Xzv k[d[Zk6pS Xzv k[u)fSkUXd6 zkUX[uvnpwn0fSY
F
[£X£ ¦E[iv[eyZhvk zv²[Z~[Znl zXdknhXyZk pwz fSk¯[gfwdk
pwzXye[¦3pwn¯y0UX[eyeA@ zv[gfwyU¥yepwzXxj k pwz¥fSk¯[gfwdk7pwzXye[G¦I k¯ d¯u%pd0d v[¦EhXd zvpwhvnuvnp@ye[exjhvn[¦
kptd[Z[eyZkkUX[^u)fSkUXdkU)fSk<fSn[^[iv[eyZhvk0fSv[9fSzXxBkpdl@zkUX[ed @?g[\ zvuvhvk<xXfSk0f«pwn[iv[eyZhvk zv
kUX[ZY£'TVUv dVn[edhv kdV zfyepwYMuv[Zk[yepg~[Zn0fS~[6«pwnVkUX[¯yUXpd[Zz²yepg~[Zn0fS~[yZn k[Zn pwz±£ih z)fS l~¦
dlNY%pw y9fSz)fS l@d dygfSz¬fSdpE[\hXd[ex#fwd<fd[ZYM ¨xv[eyZ d pwz#uvnp@ye[exjhvn[\«pwn~[Zn ³)ygfSk pwz¬pS
dFf [Zk¿luvnpwu%[Znk [edg ³§f9d0f«[Zk¨luvnpwu%[Znk¿lxvp@[ed6zXpwk6UXpwxI¦EkUX[uvnp@ye[exjhvn[<¡ 'xv[Zk[eyZkkUv d
zf<Xzv k[zhvY%[Zn6pS*dk[ZuXd£
}
TVUX[n[edk`pS'kUX[u)fSu%[Zn` dpwnfSzv @?g[ex fwd«pw pg¡d£5%¨z@[eyZk pwz©\¡°[uvn[ed[Zzk6kUX[7kUX[epwnlpS
mon[edvhvn~[ZnVfSn kUvY\[Zk y`¡ kU^hvzv zNk[Znuvn[Zk[ex9>hvzXyZk pwz9dl@YEpwdg£[%¨z@[eyZk pwz
"
¡§[xv[XzX[¯f
yZfwd0dpSo[i@k[ZzXxv[exfShvkpwY^fSk0f
F
ygfS [ex&) ¿fShvkpwY^fSk0f G¡ kUh)fSnxvd¯fSzXxtfwdd zvY\[ZzNkd z©f
xv[eyZ xXfSv[>n0fSY\[ZzNk pS%kUv dokUX[epwnl~£TVUX[ zv k fSXyepwzXxj k pwz^Y^fel<yepwzXdkn0fS zfSzMhvzN%pwhvzXxv[ex
zNhvYE[ZnpS§>hvzXyZk pwzBwfS hX[edg¦ fSzXxBfwdd zvY\[ZzNkd7Y^fel©Y\p@xj ³>l fSz hvzEpwhvzXxv[ex zNhvYE[ZnpS
dhXyUfS hX[edg£;%¨z@[eyZk pwz}¡°[ uvn[ed[Zzk*fxv[eyZ d pwzuvnpNye[exjhvn[opwn3kUX['%pwhvzXxv[exn[gfwyU)fSv k¿l
uvnpwv[ZY z ) ¿fShvkpwY^fSk0fj¦ )fwd[ex pwz dl@YEpw y\fSz)fS ljd d¯k[eyUvzv NhX[edg£<TVUX[<uvnpNye[exjhvn[\ d
YMuv[ZY\[ZzNk[ex#hXd zvkUX[ *7
19xv[eyZ d pwz¥uvnp@ye[exjhvn[9u)fwyeAfS~[ -C/°>npwY@a(% %¿zk[Znz)fSk pwz)fSª£
@[eyZk pwz N<uvn[ed[Zzkd`yepwzXyZ hXd pwzXdg¦vn[ZfSk[ex¡°pwnAE¦)fSzXx hvkhvn[¡°pwnAE£
,"E.
%¿z kUv dd0[eyZk pwz±¦3¡§[Mvn [Xl xv[edyZn %[\kUX[MkUX[epwnl pSmon[edvhvn~[ZnfSn kUvY\[Zk y9fSzXx kd[i
k[ZzXd pwz¡ kUhvzv zk[Znuvn[Zk[exhvzXyZk pwzdl@YEpwdg£
! #"$%& ')(+*-,#./0*(1
23[Zk43©xv[ZzXpwk[§kUX[°d0[ZkpS) zNk[Z~[Zndg¦~fSzXx65®E[§f`d[Zk pS zk[Z~[Zn'fSn fSv[edg£ r PSRe^d+ d'fXzv k[¦
fCI\zX[^yepwYv z)fSk pwz#pwz kUX[MfSn fSv[edg£^r`z V@X R87Z)9Cb@V P;:B df²yepwYMu)fSn dpwz
F=<?>8@?>8A?>8B?>DC
G
E[Zk¨¡§[e[Zz k[ZnY\d£®rFE ^`_ZXHGJI^`RUTaZ^KE\Re^L_B^d ZbM9 d9fXzv k[ONVp@pw[gfSz yepwYv z)fSk pwzpS
zX[ Nh)fS k [edg£²rPI^`RUTaZ^KE\Re^L _B^dOZbM9 dfXzv k[NVpNpw[gfSz yepwYv z)fSk pwz¬pS zX[ h)fS k [ed¦
z®¡Uv yUdpwY\[tfSn fSv[ed²ygfSz E[ Nh)fSzk ³)[exI£ TVUNhXdg¦ ³?Q
>SR>UT >SV
fSn[fSn fSv[edg¦kUX[Zz
QXW/Y
R
W[Z< d7fk[ZnY¦\Q A]R_^
QXW`Y
R
WaZ
@]b
d7fnpwhvzXx m'n[edvhvn~[Zn«pwnYhvfj¦ fSzXx
c
T0d
Q
AeR
W
T^_fgVhd
QiWOY R W
Vj@kR
d§f7m'n[edvhvn~[Zn°«pwnYhvfj£$jfSk dfSv k¿l\ z^m'n[edvhvn~[Zn
fSn kUvY\[Zk y9 dxv[eyZ xXfSv[ - ]B=/¨¦ ¡ kU¥k Y\[yepwYMuv[ij k¨lBkn uv[[iju%pwzX[ZzNk fSV zBkUX[9d @?g[^pS
kUX[6«pwnYhvfQ- ]l/
F
vhvkd YMuv[[ijuEpwzX[Zzk fS3 z²kUX[7npwhvzXx²n0fSY\[Zzk -0/G£
M ! #"$%& ')(+*-,#./0*(1jmj(n*,]oqp$(rph*st$ *su]v$"$p$1g*(wxpzy4{|.} ~wx
23[ZkfSfS zq5 E[<f9d[ZkpS§ zk[Z~[ZnfSn fSv[edg¦3fSzXx E[fd[ZkpSo hvzXyZk pwz dl@YEpwdg£ h)pwn
[gfwy0U9>hvzXyZk pwzO\¦@¡§[6pwzv lKANzXp¡® kdi9C^V P;:
F
fz)fSkhvn0fSIzhvY%[Zn~ ;G¦jfSzXx9kUX[ªfwyZk§kU)fSk
k° d§f>hvzXyZk pwznpwY3<kp3£'r PSRe^dF[V PLSZXHPcVc_BX T=:\d a2_BbT d§[Z kUX[ZnVffSn fSv[¦Npwnf
hvzXyZk pwzfSuvuv ygfSk pwzkpMfk[ZnY¦vpwnfSzfCI\zX[yepwYv z)fSk pwzpSkUXpd[£| X R87Z)9Cb@V PcVcRUT
F
n[edu±£
E ^`_ZXHGI^`RUTaZ^KE\Re^L _B^dOZbM90T¦3n[edu±£\Ii^`RUTaZ^KE\Re^L _B^dOZbM90THG[V PqLSZXHPcVc_BX.T=:d a\_BbTfSn[
xv[XzX[exMfwd z@[eyZk pwz\j£ ]¦[ivye[Zuvk kU)fSk*kUX[ZlfSn[°vhv k'pg~[Zn*k[ZnY\d¡ kUhvzXyZk pwzMdl@YEpwdg£
h)fSzNk ³)ygfSk pwz pg~[Zn6hvzXyZk pwzdl@YEpwd` dzXpwkfS pg¡§[exI£TVUhXdg¦% ³|Q
>SR>UT0>SV
fSn[wfSn fSv[ed
fSzXx
>K
fSn[ hvzXyZk pwzXdVpS fSn k¨l9pwzX[¦QWY
R
W
TS
dVf7k[ZnY ¡ kU^ hvzXyZk pwz²dl@YEpwdg¦
Q
AeR?^
QW}Y
R
W}
TgS@kb
d°f¯npwhvzXx9m'n[edvhvn~[Zn°pwnYhvf7¡ kU^>hvzXyZk pwz9dl@YEpwdg¦
N
fSzXx c Q dQ AeR
W
TgSD^fgVhd
QhW_Y
R
W
T~@e
VH
dfm'n[edvhvn~[Zn pwnYhvf¡ kU hvzXyZk pwz
dlNY%pwdg£ %¿zkUX[d[ NhX[Zª¦X¡°[xv[ZzXpwk[l ) 9kUX[kUX[epwnlpSom'n[edvhvn~[Zn7fSn kUvY\[Zk y¡ kU
hvzXyZk pwz<dlNY%pwd£4jfSk dfSv k¿l z) 6 d
¨yepwYMuv[Zk[J- ] " /¨¦Svhvk*xv[eyZ xXfSv[§ zkUX[°npwhvzXx
n0fSY\[Zzk5-C/¨£*r6d¡°[VdU)fS jY^f0A~[§hXd[VpS)kUX[§fSkk[Zn'n[edhv kg¦w k* d YMuEpwnk0fSzk kphvzXxv[Zndk0fSzXx
¡UNl kUXpwxvdg£
µ >ºv" ¶¢¹ µ ¹ 3º 3º µ >e µ % " µ %g
NUXpdk0f0A -C/IY^fwxv[¯kUX[` pw p¡ zv\d YMuv[¯pwXd[ZnwfSk pwz±£ %¨zfnpwhvzXx9pwnYhvf¡ kUhvzv z
k[Znuvn[Zk[exhvzXyZk pwzdl@YEpwdg¦)kUX[pwzv l²n[Z[ZfSzk6uvnpwu%[Znk¿ltfS%pwhvk>hvzXyZk pwzXd6 dkU)fSk`kUX[Zl
Y^fSu[ h)fSd'kp[ Nh)fSdg¦fSzXxI¦l< zXdk0fSzNk fSk zvkUv d'uvnpwuE[Znk¨l<kp6Xzv k[Z l<Y^fSzl<k[ZnY\dg¦ k' d
uEpdd v[¯kp^pwvk0fS zfSz[ Nhv wfS[ZzNk`m'n[edvhvn~[Zn6fSn kUvY\[Zk y pwnYhvfj£#2±[Zk %[f<pwnYhvf
pS kUX[¯npwhvzXx9>n0fSY\[ZzNkpS) £hXpwnd YMuv yZ k¿l~¦v¡°[¯dhvuvuEpd[6kU)fSk z kUX[Zn[¯ dVpwzv l9pwzX[
hvz)fSnlhvzXyZk pwztdlNY%pw*¦v¡Uv yU d`pwzv lfSuvuv [extkp\k¿¡°pk[ZnY\dg¦
fSzXx w£TVUX[Zz±¦¬ d
dFfSk dfSv[ ³ofSzXx²pwzv l9 ³*kUX[6«pw pg¡ zvmon[edvhvn~[Zn«pwnYhvf< dd0fSk dfSv[g
!
#" %$&
('
>
&
('
*)
^
&
C + C F
]G
TVU)fSk< dg¦o z
!
V¦okUX[^hvzXyZk pwz fSuvuv ygfSk pwzXd& ,
npwY-+fSn[9n[Zuvfwye[ex#Nl¥zX[Z¡8 zk[Z~[Zn
fSn fSv[ed.,¦3fSzXx©kUX[M~[ZzX[Zn0fSouvnpwuE[Znk¨lkU)fSkhvzXyZk pwz ¥Y^fSuXd7[ Nh)fSdkp²[ h)fSd7 d¯ z
dk0fSzk fSk[extkp0/¿[ Nh)fS k¨lpSokUX[7k[ZnY\d , YMuv [ed¯[ Nh)fS k¨lpS'kUX[7fSn fSv[ed ,1 £TVUX[Zn[ d
f<pwzX[ ªkp ¨pwzX[yepwnn[eduEpwzXxv[ZzXye[7E[Zk¨¡°[e[ZztkUX[Y\p@xv[ZdpS#fSzXx²kUXpd0[7pS
!
§£
2 pwzXd xv[ZnzXpg¡ kUX[[i@ dk[ZzNk fSI n0fSY\[Zzk`pS )
F
ª£[£ ¦Xpwzv l[i@ dk[Zzk fS Nh)fSzk ³)[Znd6fSn[
fS p¡°[exI¦IfSzXxhvzXxv[Zn`kUX[dyepwuE[7pS fSz[Z~[ZztzhvYE[Zn¯pS*zX[ZfSk pwzXdG£stp@xjhvpf<n[Zz)fSYM zv
pS`wfSn fSv[edg¦* k< du%pd0d v[^kpY\p~[fS Nh)fSzk ³)[ZndMkptkUX[pwhvk[ZnY\pdk<[Z~[Zª£ TVUX[Zz±¦ f
«pwnYhvf f Q d
# zkUv dn0fSY\[Zzk¯U)fwd¯f\Y\p@xv[Z ³°fSzXxtpwzv l ³3 fSdpU)fwd`pwzX[£J%¨zXxv[e[exI¦% ³
kUX[Zn[[ij dkdfS hX[ed¯pSokUX[7 hvzXyZk pwzXdfSzXxt>n[e[wfSn fSv[ed6kU)fSkd0fSk dl°¦%kUX[ZzkUX[<d0fSY\[
fS hX[ed dFfSk d>l f Q d
°¦@fSzXx\ ³EkUX[Zn[[ij dkd°fY\pNxv[Zv«pwn f Q d
§¦~kUX[Zz^kUv d Y\pNxv[Zª¦jfShvY\[Zzk[ex
¡ kU<kUX[3/¨¡ kzX[edd
1
fS hX[§pSQ<pwn*kUX[[ij dk[Zzk fS Nh)fSzk ³)[Zng¦ d'fY\p@xv[Zj«pwn§£TVUhXdg¦~kUX[
[ij dk[ZzNk fS3n0fSY\[ZzkpS ) 9 d6xv[eyZ xXfSv[£6TVUv dn[gfwdpwzv zv²ygfSzt%[uvhXdUX[ext[Z~[ZzthvnkUX[ZnBg
f ) pwnYhvf4¢ d`dFfSk dfSv[ ³°fSzXxtpwzv l ³°kUX[7«pwnYhvf f d
§¦¡UX[Zn[ d¯f\hvzXyZk pwz±¦
dd0fSk dfSv[£ pwk[MkU)fSk7kUX[\fSkk[Zn7«pwnYhvf dzXpwk7 z.) £ [M¡ hXd[MkUv d7n[edhv k7 z
@[eyZk pwz}X£
µ " B¸ 576 µ " ¿¹ ">v
TVUX[`hvzv ~[Znd0fS>n0fSY\[ZzNk§pS )MyepwzXd dkd§pSI«pwnYhvfwd§ z^¡Uv y0Upwzv lMhvzv ~[ZndFfSNh)fSzk ³)[Znd
fSn[\fS p¡°[exI¦ hvzXxv[ZnfSz [Z~[Zz zhvY%[ZnpS§zX[ZfSk pwzXdg£MTVUv d>n0fSY\[ZzNk7 d¯Uv Uv lthvzXxv[eyZ x
fSv[£ [Zkg¦3hvzv ~[Znd0fS'«pwnYhvfwdfSn[MhXd[ hv g6pwn7[iXfSYMuv[¦3duE[eyZ ³lN zvf9uvnpwuE[Znk¨l pS 9Cb@b
kUX[¯[Z[ZY\[ZzNkdpS*fu)fSn0fSY\[Zkn y ¨d @?g[ex²~[eyZkpwnVn[ hv n[edfhvzv ~[Znd0fS Nh)fSzk ³)[Zng£i%¿z9kUv dd[ey
k pwz±¦ ¡°[xv[XzX[f²yZfwd0dpShvzv ~[Znd0fSW)pwnYhvfwdkU)fSk<fSn[\d0fSk dfSv[¦*fSzXxBdUXp¡ UXp¡
kpxv[eyZ xv[^d0fSk dfSv k¿lpwnyepwYv z)fSk pwzXd<pSVnpwhvzXx fSzXx hvzv ~[Znd0fS pwnYhvfwdg£
[\hXd[
kUX[ed0[¯n[edhv kd z²kUX[zX[ijkd[eyZk pwzXdg£
[Md0felpwnYhvf¥ d7fSz 90TeTVE X\d ReX9P PS_9LSZXHPcVc_BX ¥ ³¥ dpSVkUX[pwnY c
d
+
C
¦E¡UX[Zn[
d7f9npwhvzXx ) pwnYhvfpg~[Zn5
j
F
«pwn¯d0pwY\[Md[Zkd5 pS
fSn fSv[edfSzXxpS3>hvzXyZk pwzXdVdhXy0U9kU)fSk 'O
G¦jfSzXx d§fk[ZnY8pS[) ^pg~[ZnVkUX[¯d0fSY\[
[Z[ZY\[ZzNkdg£$NhXyU^pwnYhvfwd°fSn[dFfSk dfSv[g pwn fSzNlfS hX[ed pSEkUX[fSn fSv[ed
F
zXyZ hXxj zvkUX[
Nh)fSzk ³)[ex9fSn fSv[
G fSzXx hvzXyZk pwzXdg¦@ ³
UXpwxvdg¦@kUX[Zz
ygfSz%[`yUXpd[ZzkpE[[ Nh)fS
kp ¦vpwkUX[Zn¡ d[¦
Y^fgl9U)fg~[fSzNlfS hX[£
[\d0fel«pwnYhvfpS) t dOZX\V0Re^eTD9Cb@b: TD9 PcVT9a0bcR ³VkUX[\hvzv ~[ZndFfS yZpdhvn[^pS
kUX[«pwnYhvf¢pwvk0fS zX[ex >npwYPl®hvzv ~[Znd0fS l Nh)fSzk ³lN zv¢[Z~[Znl fSn fSv[ pS \ d
dFfSk dfSv[£QhXpwn<[iXfSYMuv[¦* k dzXpwkU)fSnx¥kptdUXpg¡ kU)fSk<fwdd zvY\[ZzkdkphvzXyZk pwzXd<fSn[
hvzv ~[ZndFfS ldFfSk dfSv[£
r «pwnYhvf\pS ) d5TRed V ZX\V0Re^eTD9Cb± ³' kygfSzE[¯¡n kk[Zzfwd ^
6¦v¡UX[Zn[ dfMnpwhvzXx
«pwnYhvfj¦'fSzXx df²hvzv ~[ZndFfS l d0fSk dfSv[^pwnYhvfpSkUX[\hvzv ~[ZndFfS n0fSY\[Zzk<pS)
¡ kUkUX[¯uvnpwuE[Znk¨l9kU)fSk[gfwyU Nh)fSzk ³)[exfSn fSv[¯ dV zkUX[dyepwu%[¯pS'f7hvzXyZk pwzdl@YEpwª£
F pwk[¯kU)fSkkUv d dzXpwkf<dlNzNk0fwyZk ygfS xv[Xzv k pwz±¦)%[eygfShXd[¯kUX[yepwzwqhvzXyZk® dn[ Nhv n[ex²kp
U)fg~[fMd[ZY^fSzNk yuvnpwuE[Znk¨l~£G
TVUX[<pw p¡ zv[ZYMY^f²d0fgl@d7kU)fSkd0fSk dfSv k¿l©pSfd[ZYM ªhvzv ~[Znd0fS pwnYhvf²ygfSz E[
n[exjhXye[exBkpd0fSk dfSv k¿lBpSf²npwhvzXx «pwnYhvfj¦Nl zXdk0fSzk fSk zvhvzv ~[Znd0fS Nh)fSzk ³)[Znd
kpXzv k[Z lY^fSzNl9k[ZnY\d£
µ
!
cM#"]%$`c &'&(`s *) `!'+ 2',0.-D`%)`/-! @!EM (` %$10
2 - B)30 2±[Zk54 C ^
¥%[f¯d[ZYM ªhvzv ~[ZndFfSv pwnYhvfj£ kUXpwhvk n[edkn yZk zvkUX[~[ZzX[Zn0fS k¨l~¦
¡§[ygfSzfwd0dhvY\[kU)fSkokUX[Zn[ d pwzv lMpwzX[VhvzXyZk pwzdl@YEpwp@yeyZhvnn zv z4'£[hXpwnYhvf6 d
kUX[Zz9Y\p@xj ³)[exfwyeyepwnxj zvMkpkUX[ pw p¡ zvMkn0fSzXdpwnY^fSk pwzXdg pwnV[Z~[Znl\k[ZnY8 z7 pS±kUX[
«pwnY &
¦¡UX[Zn[ Y^fgl%[°fSzl¯k[ZnY+[ivye[Zuvkf Nh)fSzk ³)[exfSn fSv[¦1 d±kn0fSzXd«pwnY\[ex7 zNkp
kUX[M[ Nhv fS[Zzk«pwnYhvf c Rd
RC
+ &
' R0S
£XN zXye[<¡§[MU)fe~[Mdk0fSnk[ex ¡ kUBfpwnYhvf
¡UX[Zn[fS h)fSzNk ³)[exfSn fSv[ed`fSn[ zkUX[7dyepwuE[pS'fhvzXyZk pwzdl@YEpwª¦v¡§[7pwvk0fS zfk[Zn
8:9<;>=?*?7@ACBD=*E
k
;F@?@AGF@HI;KJG
k1LNMCO
HP;KJQSRTUG;KHV@A?HP;KJQXWZY<[]\*^*^*^Y/_`^acbZ^dEBe@fBD=fgZ;K==BUhCTD?i@;
=jk;.TD?*QlBDm*?nbih
L
J?*gTUGFo*B
kp
Be@rqsBe@AtG
k
?]quHIR
k
ov@BU;
k =L
QShZ;.TnwxEyqsACBUo:A
p
BDzk?*=V@A?6?{3RBDzKGKTD?
k
@|HI;KJQSRTUG
WZY [ \]^*^*^Y _ ^d}~bC.w<}~Y [ \*^]^*^Y _Cv 9A?
k
E<G
k
GJhBe@J:GFJ
L
HI;KJQRCTUGV;FH
McO oG
k
hZ?S@J:G
k
=TUGF@? 6B
k
@;|G
k
?{3RBDzKGF
TU?
k
@R
k
BDzk?vJ=GKTkHP;FJQRCTGh
Ln
J=@Ql;z1B
kp GKTDTc{3R/G
k
@B
?vJ=<@;@AC?;KRC@?]JQl;K=@TD?*zk?*T~E.G
k
5@A?
k
=jk;KTD?*QlBDm*B
kp
@A?
?]cBU=@?
k
@BUGFTUT
L
{3R/G
k
@B
?* VzKGFJBUGKhCTD?*=GK=s=A;q
k
GFhZ;zk? k
@ABD=qG
L
Ec@A?qsAC;.TD?
McO
@AC?*;KJ
L
o*G
k
hZ?n?
k
o*;1 c?
Bk Be@=R
k
BDzk?]J=GFT%HJ:G
p
Ql?
k @ 9AcRC=*E=G@BD=
GKhCBDTUBe@
L Bk
@AC?5R
k
BDzk?vJ=GKT`HIJ:G
p
Ql?
k
@s;KH
McO BD=n
[[
o*;KQlgTD?]@?
fS §kUX[ed[9kn0fSzXd«pwnY^fSk pwzXd\fpwnYhvf>-pSkUX[^«pwnY c T d8d8d8d
c T d
n
T
D>8d8d8dh>
T
S
¦
¡UX[Zn[ + df²npwhvzXx.) «pwnYhvfj¦'fSzXx
T
D>8d8d8dh>
T
fSn[^fS okUX[\p@yeyZhvnn[ZzXye[edpSi
z 6£2±[Zk$&
D>8d8d8dh>
&
%[fS vkUX[p@yeyZhvnn[ZzXye[ed pS& z °¦~¡UX[Zn[
>8d8d8d
fSn[Vk[ZnY\d£
TVUX[Zz±¦ 4 d[ hv fS[Zzkkp\g
^
[
_ [
n
T
D>8d8d8dh>
T
S&^
c T
>8d8d8dT
'N
>8d8d8d
d
n
T
D>8d8d8dx>
T
SS F G
TVU)fSk dg¦«pwnYhvf| d*duv k zNkpk¿¡°pyepwzwqhvzXyZkdBg± zkUX[ XndkpwzX[¦wkUX[ Nh)fSzk ³)[exwfSn fSv[ed
T
>8d8d8dDT
fSn[6 zXdk0fSzk fSk[exkp[Z~[Znl9uEpdd v[¯yepwYv z)fSk pwzpS kUX[6k[ZnY\d
>8d8d8dh>
¦vfSzXx
z9kUX[6d[eyepwzXxpwzX[¦NkUX[ Nh)fSzk ³)[exfSn fSv[ed T
>8d8d8d T
fSn[6n[ Nhv n[ex^kpE[xj I[Zn[ZzkVnpwY
fS kUX[ed[7k[ZnY\d£5h z)fS l~¦¡§[dUXpg¡ kU)fSk6kUX[d0fSk dfSv k¨ltpSh)pwnYhvf
F G d6[ Nhv wfS[ZzNk
kp<kUX[dFfSk dfSv k¨lpS kdVXndkk¨¡§p^yepwzwqhvzXyZkdg¦j¡Uv yUyepwzXdk khvk[fnpwhvzXx )M«pwnYhvfj¦
¡UXpd0[d0fSk dfSv k¨l² dxv[eyZ xXfSv[g
n&
D>8d8d8dx>
&
S&^
[
_ [
n
T
D>8d8d8dh>
T
S F" G
%¿zXxv[e[exI¦ fSzNltY\p@xv[Z pSWhXpwnYhvf
F G6 dfSdpf9Y\p@xv[Z* pwn
F" G£ 2 pwzN~[Znd[Z l~¦*dhvuvuEpd[
F" G
U)fwd°f6Y\pNxv[Zª¦kU)fSk dg¦fS hX[ed*pwn'kUX[§hvzXyZk pwzfSzXxMkUX[§n[e[VwfSn fSv[ed§fSuvu%[gfSn zv z F " G£
r`zl\dhXyUY\pNxv[ZEyepwzXdkn0fS zXd§kUX[`wfS hX[6pShpwzv lfSk§kUX[`u%pd k pwzXd§xv[XzX[ex9l\kUX[`fS hX[ed
pS
>8d8d8dx>
£©TVUNhXdg¦'«pwn[Z~[Znl¥u%pd k pwz xj I[Zn[Zzk<npwYkUX[ed0[fS hX[edg¦* k< du%pd0d v[
kpyUXp@pd[MkUX[MfS hX[\pSi n[e[Z l~£K%¿z u)fSnk yZhvfSng¦ ¡°[^y0UXpNpd0[MkUX[ed[MfS hX[edfwdxv[XzX[ex
Nl²kUX[fS hX[pS# zdpwY\[Y\pNxv[Z*pSokUX[7hvzv ~[ZndFfSyZpdhvn[pS `£
F
TVUX[Zn[[ij dkd6dhXyU f
Y\p@xv[Z3E[eygfShXd[¡°[U)fe~[dhvuvu%pd0[ex dhvzv ~[ZndFfS ld0fSk dfSv[G£ [yepwzXd xv[Zn¯fMY\p@xv[Z
pSihXpwnYhvf
F " GV¡ kU yUXpd[Zz©fwd6fSEpg~[¦EfSzXxdUXpg¡ k d`fSd0pfMY\p@xv[Z pSihXpwnYhvf F G£
N§l¬yepwzXdknhXyZk pwz±¦kUX[tyUXpd[Zz wfS hX[ed9pSfSzXx pS7kUX[ n[e[fSn fSv[ed¡ `d0fSk dl kUX[
Xndk9k¿¡°p¬yepwzwqhvzXyZkdpS hXpwnYhvf
F G£ TVUX[ed0[tfS hX[edfSdp#d0fSk dl¢kUX[kUv nxyepwzwqhvzXyZk
c T
>8d8d8dx>UT
'
>8d8d8d
d
n
T
D>8d8d8dh>
T
S
gd zXye[ d`hvzv ~[Znd0fS ldFfSk dfSv[¦%kUv d
dfSdpkUX[°ygfwd['«pwn3kUX[ ¡°[gf0A~[Zn«pwnYhvf c T
>8d8d8dx>UT
'
>8d8d8d
d
?n
T
D>8d8d8dh>
T
SS
£
TVUNhXdg¦kUX[tyUXpd[Zz®wfS hX[«pwn*¦§kpw~[ZkUX[Zn¡ kU®fSzl wfS hX[ed^ pwnkUX[n[e[fSn fSv[ed
F
z
u)fSnk yZhvfSng¦)kUX[pwzX[edy0UXpd[Zz²npwY kUX[¯Y\pNxv[Z pS[hXpwnYhvf
F " GG§¡ d0fSk dl^ kg£
V%
%¿zkUv d¯d[eyZk pwz©¡§[xv[XzX[kUX[<dl@zk0fitfSzXx©d[ZY^fSzk yedpS°fyZfwdd¯pS [ijk[ZzXxv[ex©fShvkpwY^fSk0f
¡ kU h)fSnxvdfSzXx fwdd zvY\[ZzNkd7 zBfn0fSY\[ZzkpSVm'n[edvhvn~[Zn<fSn kUvY\[Zk yM¡ kU hvzv zk[Zn
uvn[Zk[ex²>hvzXyZk pwzdlNY%pwdg£
L µ ¹ ) ~· ± ¹ j ¹ )x+9 Z\PS_Bd9 PS_BX
M Kc 9 >s>
5 >
>>
l V"i2c B` ) bc_9 PcVc_BX2T
'& V@X\V PcVM9Cb bc_g9 PcVc_BX
5
M |"i2c` *)
V@X9PSRSE\Re^ 9C^VM9a0bcRUT
M |"i2c *) 9/-
L ZXHPcVc_BX T=:\d a2_BbT
M B! #+ +#,0k- ) )`/-! @ (e '& V@X\V PcVM9Cb_BXHG V PcVc_BX
MEV" 2]*) Pc^D9CX2TV PcVc_BX2T 0 `(.&Q-0c QM Kc 9
g>h>! >
>
#"
&k-
$ lE'& _B^VE V@X *)E'& - 0Hccc
$ /- ) )/-H! (e @ '&\ E+Z)9C^ G *)E'& -0 c
$ "i2ci`i)
89C^VM9a0bcR 90TUTVE X\d ReX9P T
0WQ!DH@2!K+[ f,0/-H %$&%
5
(M-eDDHQ*) '&)`Z-H!'%
C)(
"
&.-e
( 5 k-H! *) ) /,.- 5 9 0
* /- e`(.&,C/-%$+% j5 '&.-e ! s]! +!`+ ,%
$
M r"i2cW)
L ZXHPcVc_BX90TeTeVE X\d ReX9P T 0 !DH@2!K+ r)H (c
q
MQ -eD c *)<'&6)`Z-H! c
d
+
C
"
&.-e
/-
-\(Bc#,0`< Z- 9 ) )/-! @KKO.-H! *) ) /,0k- 5 0 * /-
`(.& ) (c
jO-
'&.-e i!! !DH@2!K+]
.
$ Oc(ec (e@ '&\
G\RUTPcV@X9 PcVc_BX
*)E'&\ -0c 0
pwk[²kU)fSkkUX[ zv k fS`yepwzXxj k pwz
d^n[ hv n[ex kp E[f d[ZYM ªhvzv ~[ZndFfS«pwnYhvfj£ r6d
Y\[ZY%[ZndUv u z kUv dyZfwdd¯ d¯zXpwkxv[eyZ xXfSv[¦3pwkUX[Znk[eyUvzv NhX[ed
F
[£X£ ¦IkUX[epwn[ZY uvnpN zvG
Y^fglE[§zX[e[exv[exkp¯[edk0fSv dUkU)fSk f ~[Zz\dknhXyZkhvn[V d'f ) ¿fShvkpwY^fSkpwz±£ [V[i@uE[eyZk*kU)fSk
) ¿fShvkpwY^fSk0f¡Uv y0U²Y\pNxv[Z/¨n[gfS1 uvnpwn0fSY\d¡ %U)fg~[6n0fSkUX[ZnVd YMuv[` zv k fSIyepwzXxj k pwzXdg¦
¡UXpd0[d0fSk dfSv k¨l² dzXpwkU)fSnx²kp^fwdd[ed0dg£
h hvn[] d7fSz [ivfSYMuv[MpS ) ¿fShvkpwY^fSkpwz±¦±¡Uv yUBY\pNxv[Zd¯kUX[<dhXyeye[edd ~[ zXd0[Znk pwz
pSfS okUX[[Z[ZY\[Zzkd<pSf~[eyZkpwn
pSd @?g[-/ zNkpkUX[dpwnk[ex ~[eyZkpwn¬pSd @?g[ o£9TVUX[
zv k fS°pNygfSk pwz¥ d,0
¦*fSzXx kUX[\ zv k fS§yepwzXxj k pwz du%[eyZ ³)[edkU)fSkkUX[^~[eyZkpwn dd0pwnk[exI£
1 fSn fSv[32 d'hXd[exfwd°f7yepwhvzk[Zn°~pw zvp~[Zn kUX[[Z[ZY\[ZzNkd°pSI~[eyZkpwn
£ ¤`z\kUX[kn0fSzXd k pwz
npwY40
kp50
¦%kUX[>hvzXyZk pwz fwdd zvY\[Zzk¯kp duE[eyZ ³)[ed6kU)fSk¯fS kUX[<[Z[ZY\[ZzkdpS kU)fSk
fSn[n[gfSk[ZnVkU)fSz
62
fSn[`dUNh87^[expwzX[`uEpd k pwzkpkUX[n UNkg£oTVUX[hvzXyZk pwz²fwdd zvY\[Zzk
pwzkUX[7kn0fSzXd k pwz>npwY90
kp077duE[eyZ ³)[edkUX[ zXd[Znk pwzpS'kUX[7zX[Z¡ [Z[ZY\[ZzNk
62
fSkkUX[
yepwnn[eyZkuEpd k pwz±£ NV[eygfShXd[ dd0pwnk[exI¦IkUv d¯u%pd k pwz d¯hvzv NhX[£TVUX[Zz±¦±kUX[Md @?g[<pS
np¡dNl9pwzX[¦)fSzXxkUX[zX[i@k[Z[ZY\[ZzNk`pS
duvnp@ye[edd[exI£
=
,
,
,
,
"!
#
$
&%
'
(')
'
(*
' '
,+
.- *
+
-
-
.-
"-
*
.-
"-
(*
h hvn[^]g*iXfSYMuv[7pSi) ¿fShvkpwY^fSkpwz g %¿zXd[Znk pwz zj@pwnk[ex 1o[eyZkpwn
) ¿fShvkpwY^fSk0f fSn[©hXd[hv¯ pwn²Y\p@xv[Z zv¢uvnpwn0fSY\d¡ kUuEpwk[Zzk fS l hvzN%pwhvzXxv[ex+xXfSk0f
dknhXyZkhvn[ed`dhXy0UfwdX[edg¦Xvh I[Zndg¦%fSzXxtfSnn0feljd¯pS'u)fSn0fSY\[Zkn yd @?g[£ %¿z0/¯[Xzv k pwz " £ ]¦)¡§[
U)fg~[^fwddhvY\[ex kU)fSkkUX[\pwzv lt)fwd yMk¨l@u%[< d7 zk[Z~[Zng¦ vhvk7Y\pdk7pwkUX[Zn7k¿lNuE[ed
F
NVpNpw[gfSzXd¦
[ZzNhvY\[Zn0fSk pwzXdg¦§n[eyepwnxvdg¦ dhvvn0fSzv~[edHGygfSz¬%[[ZzXyep@xv[ex#hXd zv zk[Z~[Znd£ TVUX[n[edkn yZk pwz
kU)fSkkUX[Zn[^ d<fSkY\pdkpwzX[fwdd zvY\[Zzk«pwn[gfwyU fSn fSv[9fSzXx >hvzXyZk pwz¬fSuvuv ygfSk pwz# d
hXd0[>hv)pwnfe~pw xj zvMd[ZY^fSzNk y6yepwYMuv ygfSk pwzXd
F
ª£[£ ¦@d kh)fSk pwzXd°¡UX[Zn[¯f7>hvzXyZk pwz~[Zkd°k¨¡°p
xj I[Zn[ZzkVfS hX[ed°d Yhv k0fSzX[epwhXd l2G£i%¿k°ygfSz9%[`xv[gfS k§¡ kU9 z^uvn0fwyZk ye[6Nl\ zknp@xjhXyZ zv<zX[Z¡
kn0fSzXd k pwzXd`kp9d[ NhX[Zzk fS @?g[<kUX[<fwdd zvY\[ZzNkdg£¯rdpv¦kUX[n[edkn yZk pwz©kU)fSk¯fS >hvzXyZk pwzXd
fSn[¯hvz)fSnl dhXd0[exkp\d YMuv ³ l9d[ZY^fSzNk yxv[Xzv k pwzXdg£
21 3 µ %>~ ¹) ~· 3 ¹ jg
r 9Cb Z)9 PcVc_BX¬ dMftY^fSuvuv zv kU)fSk^fwdd zXdg¦*kp©[gfwy0U#>n[e[9fSn fSv[fSuvuE[gfSn zv z#kUX[²fSh
kpwY^fSkpwz±¦'fwfS hX[^ z 3¦*fSzXx kp[gfwy0U hvzXyZk pwz¥dl@YEpwª¦'f9hvzXyZk pwzBnpwY 3kpj3£ [
xv[ZzXpwk[7l54 kUX[d[ZkpSofS IwfS h)fSk pwzXd£or TBP9 PSR d`fu)fS n
>
%
yepwzXd dk zvpS*fp@ygfSk pwz
fSzXx ffS h)fSk pwz
%
64¯£
pwk[kU)fSkg¦o«pwn^f ) ¿fShvkpwY^fSkpwz ¡ kU fSkM[gfwdk\pwzX[
hvzXyZk pwz^dl@YEpwª¦kUX[Zn[fSn[hvzXyepwhvzk0fSv lMY^fSzlMdk0fSk[ed£r`z V@X\V PcVM9Cb+TBP9 PSR° d f¯dk0fSk[pSEkUX[
«pwnY > %
dhXy0U©kU)fSk %
87C
¦)kU)fSk6 dg¦kUX[p@ygfSk pwz d zv k fSofSzXxtkUX[fS hX[ed¯pSokUX[
fSn fSv[edfSzXxt>hvzXyZk pwzXdd0fSk d>l²kUX[ zv k fS'yepwzXxj k pwz
£¯TVUX[<d[Zk6pS§dk0fSk[ed¯ d¯xv[ZzXpwk[ex
Nl:96¦)fSzXx²kUX[d[Zk`pS zv k fS3dk0fSk[ed dxv[ZzXpwk[ex²Nl;9
£ fwy0Ukn0fSzXd k pwz0<
xv[XzX[ed6f
Pc^D9CX2TeV PcVc_BXQ^`RebM9 PcVc_BX>=?8@A9CB09`¦X zkUX[«pw pg¡ zv9¡§fel~£(%¨zNkhv k ~[Z l~¦ED<fSzXxFD fSn[7 zkUX[
]g
n[ZfSk pwz = ? ³*kUX[¯p@ygfSk pwzpSD
F
n[edu±£vpSD G° dVkUX[pwn z
F
n[edu±£oxv[edk z)fSk pwz9GVpS<I¦XfSzXx
kUX[wfSn fSv[ed¯fSzXx²hvzXyZk pwzXd` z Dd0fSk dlkUX[7h)fSnxpS <I£Vspwn[epg~[Zng¦%kUX[7fSn fSv[ed¯fSzXx
hvzXyZk pwzXd~[ZkzX[Z¡ wfS hX[edfwyeyepwnxj zvkp<kUX[fwdd zvY\[ZzNkdpS <
hXpwnY^fS l~¦%pwn¯f )9«pwnYhvf fSzXx©f\fS h)fSk pwz
% 4¦)[Zk %$
% )
%[kUX[knhvkUfS hX[
pS ¡UX[ZzkUX[>n[e[fSn fSv[ed`fSzXxkUX[ hvzXyZk pwzdl@YEpwdpS #[ZwfS h)fSk[fwyeyepwnxj zv^kp % £
h)pwnf9k[ZnY
(
¦I¡°[Mxv[ZzXpwk[^l
( $% ) kUX[M zNk[Z~[ZnfS hX[Mpwvk0fS zX[ex l©[ZfS h)fSk zvwfSn fSv[ed
fSzXx >hvzXyZk pwz dl@YEpwdfwyeyepwnxj zvkp
% £
[\zXpg¡ xv[XzX[^UXp¡-fS h)fSk pwzXd<fSn[\Y\p@xj ³)[ex
Nlfwdd zvY\[Zzkd£ ryeyepwnxj zv^kp /6[Xzv k pwz
"
£ ]¦vkUX[ed[fSn[pSk¿¡°pA@ zXxvdBg fwd0d zvY\[Zzkd`kp
fSn fSv[ed7fSzXx fwdd zvY\[ZzNkdkp\hvzXyZk pwzXdg£?23[Zk % 4E[kUX[wfS h)fSk pwz pwvk0fS zX[ex npwY
%
f>k[ZnfSzBfwdd zvY\[Zzkg¦±kUX[Zz±¦
%
d7pwvk0fS zX[ex© z kUX[pw p¡ zv¡§fgl~£ %ª§kUX[Mfwdd zvY\[Zzk
dpSVkUX[\pwnY Q C (
¦±¡UX[Zn[Q dffSn fSv[¦ kUX[Zz
%
* dkUX[\fS h)fSk pwz¥dhXy0U kU)fSk7«pwn
fS
V
k J+5
Q ¦ % V\?C
% VH
¦'fSzXx % Q
?C ( $% ) £¤`kUX[Zn¡ d[¦*kUX[fwdd zvY\[Zzk
dpS°kUX[pwnY c d
+ C
¦E¡UX[Zn[
dfnpwhvzXx©pwnYhvf²fSzXxN
d7fk[ZnY¦
EpwkUpg~[ZnkUX[6wfSn fSv[edi5 fSzXx>hvzXyZk pwzXd~\£'TVUX[Zz±¦
%
) d§kUX[6wfS h)fSk pwz²dhXy0UkU)fSk
«pwn^fS
V
z5 k
¦ % V\XC
% VH
¦fSzXx % n
dMxv[XzX[ex fwd<pw p¡dBg9«pwn^fSzl
O3¦@[Zk
$% > ' ) F
n[edu±£ $% > ' )Goxv[ZzXpwk[6kUX[`wfS hX[6pS
F
n[edu±£ Go¡UX[ZzkUX[`n[e[
fSn fSv[ed 5 [ZwfS h)fSk[fwyeyepwnxj zv\kp
%
¦XfSzXx [ h)fSd
£'TVUX[Zz±¦j pwnfSzNl
O3¢dhXy0U²kU)fSk
$% > ' ) UXpwxvdg¦ % n
C $% > ' ) ¦ fSzXx % n
C % n
pwkUX[Zn¡ d[£h z)fS l~¦
«pwn < C
>4>! >
>
ftkn0fSzXd k pwz±¦ ¡°[²xv[ZzXpwk[Nl % $ 0>
) kUX[fS h)fSk pwz¬pwvk0fS zX[ex#l
dhXyeye[edd ~[Z l9kn0fSzXd pwnYM zv
%
fwyeyepwnxj zv\kp\kUX[fwdd zvY\[ZzNkdpS <I£
F pwk[¯kU)fSkkUX[pwnxv[Zn
z ¡Uv yU®kUv d^ d9xvpwzX[t d\zXpwk9 YMu%pwnk0fSzNkg¦%[eygfShXd0[kUX[Zn[t d9fSkY\pdkpwzX[fwdd zvY\[Zzk
uE[Zn²fSn fSv[ pwn² hvzXyZk pwz dl@YEpwG£ TVUX[Zz±¦¯kUX[©kn0fSzXd k pwz n[ZfSk pwz =?¬pSkn0fSzXd k pwz
< C >4>! >
>
dkUX[7dY^fS [edkn[ZfSk pwzxv[XzX[ex²lkUX[¯«pw pg¡ zv^nhv[g
D > D 9 > D C
>
%
D>
D C > %
D> $% ) C
(sV > % C % $ > )
= ? D > D
[^xv[ZzXpwk[^Nl>=
C
?
=?kUX[\kn0fSzXd k pwz¥n[ZfSk pwz¥pSkUX[ ) ¿fShvkpwY^fSkpwz±£r ^BZX¥ d
f9d[ NhX[ZzXye[MpSdk0fSk[edBg " D > D d8d8dh>
D
dhXyU kU)fSk D 9
¦±fSzXx«pwn C bd8d8d Z¦
=0D , >
D,
UXpwxvdg£TVUX[ bcReX E+P<pS%nhvz4" D > D d8d8dx>
D
d4 o£3r¢dk0fSk[ D 9 d ^`R9)r9a0bcR
V@X 9 PWd _TBP&/ TBPSR Y T¯ ³§kUX[Zn[\[ij dkdf9nhvz pS°[ZzvkUq
F A / G¡UXpd[<fwdkdk0fSk[< d(DN£
TVUX[ a\_ZXHG\R8GQ^`R9)=9a0V@b@V P: Y^`_a0bcRed dBg¯ ~[Zz¥fd[Zk7pSdk0fSk[ed{fSzXx¥fSz zk[Z~[Zn,/ ¦± d
kUX[Zn[f²dk0fSk[:D ¡Uv y0UB dn[gfwy0U)fSv[^ z¥fSkY\pdk,/ dk[ZuXd£K%¿z @[eyZk pwzB}¡§[Muvnpg~[
kU)fSkkUv duvnpwv[ZY dxv[eyZ xXfSv[7pwn) ¿fShvkpwY^fSk0fj£