Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols

(1)

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�

(2)

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

(3)

(4)

/

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\[Zky¡ kU#hvzv zk[Znuvn[Zk[ex¢>hvzXyZkpwzXd£¥¤`z#kUX[kUX[epwn[ZkygfS`dxv[¦

¡§[dUXpg¡kU)fSk`kUX[EpwhvzXxv[exn[gfwy0U)fSv k¨l©uvnpwv[ZYd`xv[eyZxXfSv[< zkUvd6Y\pNxv[Zª£¤`zkUX[

uvn0fwyZkygfS7dxv[¦kUX[©yZfwdd9d9hXd[>hv6«pwnY\p@xv[Z zv¬uvnpwn0fSY\d¡ kUuEpwk[ZzkfS l® zjXzv k[

xXfSk0fdknhXyZkhvn[edg¦vfSzXxkUX[n[gfwy0U)fSv k¨luvnpNye[exjhvn[¯ygfSz9%[hXd[ex\«pwn°dlNY%pw y6d YhvfSkpwz±¦

k[edk zvX¦)fSzXx²~[Zn³)ygfSkpwz±£

´µ~¶E·¸¹ º uvnpwn0fSYPY\p@xv[Z zvX¦Xd YhvfSkpwz±¦Xk[edk zvX¦X~[Zn³)ygfSkpwz±£

»³¼3½¿¾ªÀgÁ½°Â3Ã ¾ªÄ«ÅeÆ

(5)

#"E$'&X(<"%$*"$ e,±0&+ `$*"%1"'$'&

pwhXdMcZkhXxjpwzXd<hvzX[²yZfwdd[9xfShvkpwY^fSk[ed^cZk[ZzXxjhXdg¦°xvcXzvd<u)fSnMxv[edMyepwY

Y^fSzXxv[ed¯fSnxvce[ed[ijuvn Y\ce[ed[Zz fSn kUvY\[ZkhX[Mxv[m'n[edvhvn~[Znfg~[eypwzXyZkpwzXd6zXpwz© zk[Zn

uvncZkce[ed£ pwhXd^Y\pwzknpwzXdNhX[[uvnpwvY\[txfwyeye[edd v kcEpwnzXce[[edk9xvceyZxXfSv[©xXfSzXd

ye[^Y\pNxvWZ[£ozBuvn0fSkNhX[¦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%pwhvnfMdlNYhvfSkpwzdl@YEpw hX[¦v[¯k[edkg¦X[Zkf<~cZn³)ygfSkpwz«pwnY\[Z [£

!¹ g · " Y\p@xvcZ d0fSkpwztxv[¯uvnpwn0fSYMY\[edg¦d YhvfSkpwz±¦)k[edkg¦v~cZn³)ygfSkpwz±£

(6)

# $

`)"E.,3

sp@xv[Znz¥n[ed[gfSny0U# z#fShvkpwY^fSk[ex#~[Zn³)ygfSkpwz¢ygfSz %[9xj @xv[exB zNkptk¿¡°p ygfSk[Z~pwn[edg£&%¿z

kUX[XndkygfSk[Z~pwnl~¦j¡UvyU zXyZ hXxv[edVfSzvh)fS~[edfSzXx9kp@pwd§dhXyU²fwd(')+*,.- ]g0/¨¦2103546-

"

/±fSzXx

798;:

)<->=/¨¦~kUX[V«pNyZhXd d pwz\hXd zv7¡°[Z ¨[edk0fSv dUX[exk[ey0UvzvhX[ed§dhXy0U9fwd dk0fSk[[ZzhvY\[Zn0fSkpwz

pwnVv z)fSnl9xv[eyZdpwz²xjfSn0fSY\dg¦XfSzXx9uvhXdUv zv<kUX[ZY kpkUX[6 YM kdVl9pwuvk YM@?e zvMkUX[fS ~p

n kUvY\d` zt[Z~[Znl²uEpdd v[¡§fgl~£TVUvd`U)fwduvnpg~[Zznhv k>hv zk[ZnY\d6pS fSuvuv ygfSkpwzXdg¦IfSzXx

kVdfY^fSnApSdhXyeye[ed0dpS kUX[ed[¯k[ey0UvzvhX[ed¦v¡UvyU²«pwnVkUX[¯Y\pdku)fSnk¡°[Zn[7 zv kfSk[ex² z

kUX[[Z UNk[ed6fSzXx[gfSn lzv zX[Zk[edg£

TVUX[d0[eyepwzXxygfSk[Z~pwnl pSn[ed0[gfSnyUdyepwzXye[ZnzX[ex¡ kU[i@uvpwn zv¬zX[Z¡k[ey0UvzvhX[edg¦

¡UXpd0[ YMu)fwyZk pwn uvn0fwyZkygfSXfSuvuv ygfSkpwzXdg¦fS kUXpwhvU z Nh)fSzk k0fSk ~[§uvnpwn[eddg¦dk U)fwdkp

E[Vfwdd[edd[exI£T±¡§p¯n[Zuvn[ed[Zzk0fSk ~[[ivfSYMuv[ed*«pwnkUvd'ygfSk[Z~pwnl<fSn[Vm'n[edvhvn~[Zn fSn kUvY\[Zky

- ]B=C/ fSzXxkUX[<kUX[epwnltpS§hvzv zk[Znuvn[Zk[ex©hvzXyZkpwzXd¡ kU [ Nh)fS k¨l6- ]/¨£EDzv @A~[Xzv k[ ¨dk0fSk[

Y\[ZkUXp@xvdg¦EkUX[ed[n[ZfSk ~[Z lnyU 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 ³)ygfSkpwzXdg£VTVUX[ed[7kUX[epwn[ed6fSn[7xv[eyZxXfSv[

F

fS kUXpwhvUkUX[Z n yepwYv z)fSkpwzd3zXpwkHGIfSzXxfSn[ [I^yZ[Zzk l7 YMuv[ZY\[ZzNk[ex zdk0fSk[ ¨pSªkUX[ ¿fSnk

~[Zn³)ygfSkpwztkpNpwddhXyUtfwdJ)4;1K- ]BLC/ fSzXxt¤`Y\[ZfM- ]BN0/¨£

stpwk fSk[ex Nl¬kUX[ed[n[ZY^fSnAjdg¦¡§[ zN~[edk fSk[t z kUvdu)fSu%[Znf yZfwdd9pS[ijk[ZzXxv[ex

fShvkpwY^fSk0fMkU)fSkyepwzXddkpS*kn0fSzXd kpwzXdp~[Zn`fXzv k[yepwzknpwdknhXyZkhvn[¦v¡ kUh)fSnxvd`fSzXx

fwd0d zvY\[Zzkd9 z®fBxv[eyZxXfSv[t>n0fSY\[ZzNk9pS7kUX[kUX[epwnl pSm'n[edvhvn~[Zn²fSn kUvY\[Zky¡ kU

hvzv zNk[Znuvn[Zk[exMhvzXyZkpwzXdg£'TVUX[§«pwnY^fS dY{d'[ijuvn[edd ~[

F

[£X£ ¦pwzX[kn0fSzXd kpwz^ygfSzMY\p@xj³>l

fSzBhvzEpwhvzXxv[ex zhvY%[Zn<pS§>hvzXyZkpwz¥wfS hX[edHG£O%¨kygfSz Y\pNxv[Z hv k[Mz)fSkhvn0fS l uvnpwn0fSY\d

¡ kUhvzEpwhvzXxv[exxXfSk0fMdknhXyZkhvn[ed`dhXyUfwdu)fSn0fSY\[Zkny ¨d@?g[ex~[eyZkpwnd6fSzXxfSnn0feljdg£

[dUXp¡ kU)fSk9n[gfwyU)fSv k¿l z®f %pwhvzXxv[ex zhvY%[Zn²pSdk[ZuXd^dxv[eyZxXfSv[t z®kUvd

Y\p@xv[Zª£TVUX[n[edhv kd` zk[Zn[edk zvX¦% zpwhvn`pwuv zvpwz±¦%%[eygfShXd0[7 k ~[ed¯f\xj n[eyZk6uvnp@ye[exjhvn[

«pwndl@YEpw yd YhvfSkpwz±£§TVUX[¯uvnp@ye[exjhvn[yepwYMuvhvk[edkUX[¯¡§[gf0A~[edk`yepwzXdkn0fS zkdpwzfuvnp

n0fSY d§ zvuvhvkVxXfSk0f«pwn§f ~[ZzXzv k[`d[ NhX[ZzXye[6pS±kn0fSzXd kpwzXd§kpE[[iv[eyZhvk[exI£'TVUhXdg¦@¡§[

pwvk0fS z fSz fShvkpwY^fSky^d0pw hvkpwz 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\³IkUvd°dokUX[6ygfwd[¦

pwvk0fS z zvuvhvkxXfSk0fM«pwn`[iv[eyZhvk zv kg£TVUX[Zz±¦% ~[Zz f\yep~[Zn0fS~[MyZn k[Znpwz6-j]/'xv[XzX[extl

f\Xzv k[d[Zk6pS Xzv k[u)fSkUXd6 zkUX[uvnpwn0fSY

F

[£X£ ¦E[iv[eyZhvk zv²[Z~[Znl zXdknhXyZkpwz fSk¯[gfwdk

pwzXye[¦3pwn¯y0UX[eyeA@ zv[gfwyU¥yepwzXxj kpwz¥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£'TVUvdVn[edhv kdV zfyepwYMuv[Zk[yepg~[Zn0fS~[6«pwnVkUX[¯yUXpd[Zz²yepg~[Zn0fS~[yZn k[Znpwz±£ih z)fS l~¦

dlNY%pw y9fSz)fS l@ddygfSz¬fSdpE[\hXd[ex#fwd<fd[ZYM¨xv[eyZdpwz#uvnp@ye[exjhvn[\«pwn~[Zn³)ygfSkpwz¬pS

dFf [Zk¿luvnpwu%[Znk[edg³§f9d0f«[Zk¨luvnpwu%[Znk¿lxvp@[ed6zXpwk6UXpwxI¦EkUX[uvnp@ye[exjhvn[<¡ 'xv[Zk[eyZkkUvd

zf<Xzv k[zhvY%[Zn6pS*dk[ZuXd£

(7)

}

TVUX[n[edk`pS'kUX[u)fSu%[Zn`dpwnfSzv@?g[ex fwd«pw pg¡d£5%¨z@[eyZkpwz©\¡°[uvn[ed[Zzk6kUX[7kUX[epwnlpS

mon[edvhvn~[ZnVfSn kUvY\[Zky`¡ kU^hvzv zNk[Znuvn[Zk[ex9>hvzXyZkpwz9dl@YEpwdg£[%¨z@[eyZkpwz

"

¡§[xv[XzX[¯f

yZfwd0dpSo[i@k[ZzXxv[exfShvkpwY^fSk0f

F

ygfS [ex&) ¿fShvkpwY^fSk0f G¡ kUh)fSnxvd¯fSzXxtfwdd zvY\[ZzNkd z©f

xv[eyZxXfSv[>n0fSY\[ZzNk pS%kUvdokUX[epwnl~£TVUX[ zv kfSXyepwzXxj kpwz^Y^fel<yepwzXdkn0fS zfSzMhvzN%pwhvzXxv[ex

zNhvYE[ZnpS§>hvzXyZkpwzBwfS hX[edg¦ fSzXxBfwdd zvY\[ZzNkd7Y^fel©Y\p@xj³>l fSz hvzEpwhvzXxv[ex zNhvYE[ZnpS

dhXyUfS hX[edg£;%¨z@[eyZkpwz}¡°[ uvn[ed[Zzk*fxv[eyZdpwzuvnpNye[exjhvn[opwn3kUX['%pwhvzXxv[exn[gfwyU)fSv k¿l

uvnpwv[ZY z ) ¿fShvkpwY^fSk0fj¦ )fwd[ex pwz dl@YEpw y\fSz)fS ljdd¯k[eyUvzvNhX[edg£<TVUX[<uvnpNye[exjhvn[\d

YMuv[ZY\[ZzNk[ex#hXd zvkUX[ *7

19xv[eyZdpwz¥uvnp@ye[exjhvn[9u)fwyeAfS~[ -C/°>npwY@a(% %¿zk[Znz)fSkpwz)fSª£

@[eyZkpwz N<uvn[ed[Zzkd`yepwzXyZ hXdpwzXdg¦vn[ZfSk[ex¡°pwnAE¦)fSzXx hvkhvn[¡°pwnAE£

,"E.

%¿z kUvdd0[eyZkpwz±¦3¡§[Mvn[Xl xv[edyZn %[\kUX[MkUX[epwnl pSmon[edvhvn~[ZnfSn kUvY\[Zky9fSzXx kd[i

k[ZzXdpwz¡ kUhvzv zk[Znuvn[Zk[exhvzXyZkpwzdl@YEpwdg£

! #"$%& ')(+*-,#./0*(1

23[Zk43©xv[ZzXpwk[§kUX[°d0[ZkpS) zNk[Z~[Zndg¦~fSzXx65®E[§f`d[Zk pS zk[Z~[Zn'fSnfSv[edg£ r PSRe^d+d'fXzv k[¦

fCI\zX[^yepwYv z)fSkpwz#pwz kUX[MfSnfSv[edg£^r`z V@X R87Z)9Cb@V P;:Bdf²yepwYMu)fSndpwz

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)fSkpwzpS

zX[ Nh)fS k[edg£²rPI^`RUTaZ^KE\Re^L _B^dOZbM9dfXzv k[NVpNpw[gfSz yepwYv z)fSkpwz¬pS zX[ h)fS k[ed¦

z®¡UvyUdpwY\[tfSnfSv[ed²ygfSz E[ Nh)fSzk³)[exI£ TVUNhXdg¦³?Q

>SR>UT >SV

fSn[fSnfSv[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£$jfSkdfSv k¿l\ z^m'n[edvhvn~[Zn

fSn kUvY\[Zky9dxv[eyZxXfSv[ - ]B=/¨¦ ¡ kU¥k Y\[yepwYMuv[ij k¨lBkn uv[[iju%pwzX[ZzNkfSV zBkUX[9d@?g[^pS

kUX[6«pwnYhvfQ- ]l/

F

vhvkd YMuv[[ijuEpwzX[ZzkfS3 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~[ZnfSnfSv[edg¦3fSzXx E[fd[ZkpSo hvzXyZkpwz dl@YEpwdg£ h)pwn

[gfwy0U9>hvzXyZkpwzO\¦@¡§[6pwzv lKANzXp¡® kdi9C^V P;:

F

fz)fSkhvn0fSIzhvY%[Zn~;G¦jfSzXx9kUX[ªfwyZk§kU)fSk

k°d§f>hvzXyZkpwznpwY3<kp3£'r PSRe^dF[V PLSZXHPcVc_BX T=:\d a2_BbT d§[Z kUX[ZnVffSnfSv[¦Npwnf

hvzXyZkpwzfSuvuv ygfSkpwzkpMfk[ZnY¦vpwnfSzfCI\zX[yepwYv z)fSkpwzpSkUXpd[£| 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@[eyZkpwz\j£ ]¦[ivye[Zuvk kU)fSk*kUX[ZlfSn[°vhv k'pg~[Zn*k[ZnY\d¡ kUhvzXyZkpwzMdl@YEpwdg£

h)fSzNk³)ygfSkpwz pg~[Zn6hvzXyZkpwzdl@YEpwd`dzXpwkfS pg¡§[exI£TVUhXdg¦%³|Q

>SR>UT0>SV

fSn[wfSnfSv[ed

fSzXx

>K

fSn[ hvzXyZkpwzXdVpS fSn k¨l9pwzX[¦QWY

R

W

TS

dVf7k[ZnY ¡ kU^ hvzXyZkpwz²dl@YEpwdg¦

Q

AeR?^

QW}Y

R

W}

TgS@kb

d°f¯npwhvzXx9m'n[edvhvn~[Zn°pwnYhvf7¡ kU^>hvzXyZkpwz9dl@YEpwdg¦

(8)

N

fSzXx c Q dQ AeR

W

TgSD^fgVhd

QhW_Y

R

W

T~@e

VH

dfm'n[edvhvn~[Zn pwnYhvf¡ kU hvzXyZkpwz

dlNY%pwdg£ %¿zkUX[d[ NhX[Zª¦X¡°[xv[ZzXpwk[l ) 9kUX[kUX[epwnlpSom'n[edvhvn~[Zn7fSn kUvY\[Zky¡ kU

hvzXyZkpwz<dlNY%pwd£4jfSkdfSv k¿l z) 6d

¨yepwYMuv[Zk[J- ] " /¨¦Svhvk*xv[eyZxXfSv[§ 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[ZnwfSkpwz±£ %¨zfnpwhvzXx9pwnYhvf¡ kUhvzv z

k[Znuvn[Zk[exhvzXyZkpwzdl@YEpwdg¦)kUX[pwzv l²n[Z[ZfSzk6uvnpwu%[Znk¿ltfS%pwhvk>hvzXyZkpwzXd6dkU)fSk`kUX[Zl

Y^fSu[ h)fSd'kp[ Nh)fSdg¦fSzXxI¦l< zXdk0fSzNkfSk zvkUvd'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\[Zky 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)fSnlhvzXyZkpwztdlNY%pw*¦v¡UvyUd`pwzv lfSuvuv [extkp\k¿¡°pk[ZnY\dg¦

fSzXx w£TVUX[Zz±¦¬d

dFfSkdfSv[³ofSzXx²pwzv l9³*kUX[6«pw pg¡ zvmon[edvhvn~[Zn«pwnYhvf<dd0fSkdfSv[g

!

#" %$&

('

>

&

('

*)

^

&

C + C F

]G

TVU)fSk<dg¦o z

!

V¦okUX[^hvzXyZkpwz fSuvuv ygfSkpwzXd& ,

npwY-+fSn[9n[Zuvfwye[ex#Nl¥zX[Z¡8 zk[Z~[Zn

fSnfSv[ed.,¦3fSzXx©kUX[M~[ZzX[Zn0fSouvnpwuE[Znk¨lkU)fSkhvzXyZkpwz ¥Y^fSuXd7[ Nh)fSdkp²[ h)fSd7d¯ z

dk0fSzkfSk[extkp0/¿[ Nh)fS k¨lpSokUX[7k[ZnY\d , YMuv [ed¯[ Nh)fS k¨lpS'kUX[7fSnfSv[ed ,1 £TVUX[Zn[d

f<pwzX[ ªkp ¨pwzX[yepwnn[eduEpwzXxv[ZzXye[7E[Zk¨¡°[e[ZztkUX[Y\p@xv[ZdpS#fSzXx²kUXpd0[7pS

!

§£

2 pwzXdxv[ZnzXpg¡ kUX[[i@dk[ZzNkfSI n0fSY\[Zzk`pS )

F

ª£[£ ¦Xpwzv l[i@dk[ZzkfS Nh)fSzk³)[Znd6fSn[

fS p¡°[exI¦IfSzXxhvzXxv[Zn`kUX[dyepwuE[7pS fSz[Z~[ZztzhvYE[Zn¯pS*zX[ZfSkpwzXdG£stp@xjhvpf<n[Zz)fSYM zv

pS`wfSnfSv[edg¦* k<du%pd0d v[^kpY\p~[fS Nh)fSzk³)[ZndMkptkUX[pwhvk[ZnY\pdk<[Z~[Zª£ TVUX[Zz±¦ f

«pwnYhvf f Q d

# zkUvdn0fSY\[Zzk¯U)fwd¯f\Y\p@xv[Z³°fSzXxtpwzv l³3 fSdpU)fwd`pwzX[£J%¨zXxv[e[exI¦%³

kUX[Zn[[ijdkdfS hX[ed¯pSokUX[7 hvzXyZkpwzXdfSzXxt>n[e[wfSnfSv[ed6kU)fSkd0fSkdl°¦%kUX[ZzkUX[<d0fSY\[

fS hX[ed dFfSkd>l f Q d

°¦@fSzXx\³EkUX[Zn[[ijdkd°fY\pNxv[Zv«pwn f Q d

§¦~kUX[Zz^kUvd Y\pNxv[Zª¦jfShvY\[Zzk[ex

¡ kU<kUX[3/¨¡ kzX[edd

1

fS hX[§pSQ<pwn*kUX[[ijdk[ZzkfS Nh)fSzk³)[Zng¦d'fY\p@xv[Zj«pwn§£TVUhXdg¦~kUX[

[ijdk[ZzNkfS3n0fSY\[ZzkpS ) 9d6xv[eyZxXfSv[£6TVUvdn[gfwdpwzv zv²ygfSzt%[uvhXdUX[ext[Z~[ZzthvnkUX[ZnBg

f ) pwnYhvf4¢d`dFfSkdfSv[³°fSzXxtpwzv l³°kUX[7«pwnYhvf f d

§¦¡UX[Zn[ d¯f\hvzXyZkpwz±¦

dd0fSkdfSv[£ pwk[MkU)fSk7kUX[\fSkk[Zn7«pwnYhvfdzXpwk7 z.) £ [M¡ hXd[MkUvd7n[edhv k7 z

@[eyZkpwz}X£

µ " B¸ 576 µ " ¿¹ ">v

TVUX[`hvzv ~[Znd0fS>n0fSY\[ZzNk§pS )MyepwzXddkd§pSI«pwnYhvfwd§ z^¡Uvy0Upwzv lMhvzv ~[ZndFfSNh)fSzk³)[Znd

fSn[\fS p¡°[exI¦ hvzXxv[ZnfSz [Z~[Zz zhvY%[ZnpS§zX[ZfSkpwzXdg£MTVUvd>n0fSY\[ZzNk7d¯Uv Uv lthvzXxv[eyZx

(9)

fSv[£ [Zkg¦3hvzv ~[Znd0fS'«pwnYhvfwdfSn[MhXd[ hv g6pwn7[iXfSYMuv[¦3duE[eyZ³lN zvf9uvnpwuE[Znk¨l pS 9Cb@b

kUX[¯[Z[ZY\[ZzNkdpS*fu)fSn0fSY\[Zkny ¨d@?g[ex²~[eyZkpwnVn[ hv n[edfhvzv ~[Znd0fS Nh)fSzk³)[Zng£i%¿z9kUvdd[ey

kpwz±¦ ¡°[xv[XzX[f²yZfwd0dpShvzv ~[Znd0fSW)pwnYhvfwdkU)fSk<fSn[\d0fSkdfSv[¦*fSzXxBdUXp¡ UXp¡

kpxv[eyZxv[^d0fSkdfSv k¿lpwnyepwYv z)fSkpwzXd<pSVnpwhvzXx fSzXx hvzv ~[Znd0fS pwnYhvfwdg£

[\hXd[

kUX[ed0[¯n[edhv kd z²kUX[zX[ijkd[eyZkpwzXdg£

[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

fSnfSv[edfSzXxpS3>hvzXyZkpwzXdVdhXy0U9kU)fSk 'O

G¦jfSzXx d§fk[ZnY8pS[) ^pg~[ZnVkUX[¯d0fSY\[

[Z[ZY\[ZzNkdg£$NhXyU^pwnYhvfwd°fSn[dFfSkdfSv[g pwn fSzNlfS hX[ed pSEkUX[fSnfSv[ed

F

zXyZ hXxj zvkUX[

Nh)fSzk³)[ex9fSnfSv[

G fSzXx hvzXyZkpwzXdg¦@³

UXpwxvdg¦@kUX[Zz

ygfSz%[`yUXpd[ZzkpE[[ Nh)fS

kp ¦vpwkUX[Zn¡d[¦

Y^fgl9U)fg~[fSzNlfS hX[£

[\d0fel«pwnYhvfpS) tdOZX\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 fSnfSv[ pS \d

dFfSkdfSv[£QhXpwn<[iXfSYMuv[¦* kdzXpwkU)fSnx¥kptdUXpg¡ kU)fSk<fwdd zvY\[ZzkdkphvzXyZkpwzXd<fSn[

hvzv ~[ZndFfS ldFfSkdfSv[£

r «pwnYhvf\pS ) d5TRed V ZX\V0Re^eTD9Cb±³' kygfSzE[¯¡n kk[Zzfwd ^

6¦v¡UX[Zn[ dfMnpwhvzXx

«pwnYhvfj¦'fSzXxdf²hvzv ~[ZndFfS l d0fSkdfSv[^pwnYhvfpSkUX[\hvzv ~[ZndFfS n0fSY\[Zzk<pS)

¡ kUkUX[¯uvnpwuE[Znk¨l9kU)fSk[gfwyU Nh)fSzk³)[exfSnfSv[¯dV zkUX[dyepwu%[¯pS'f7hvzXyZkpwzdl@YEpwª£

F pwk[¯kU)fSkkUvddzXpwkf<dlNzNk0fwyZkygfS xv[Xzv kpwz±¦)%[eygfShXd[¯kUX[yepwzwqhvzXyZk®dn[ Nhv n[ex²kp

U)fg~[fMd[ZY^fSzNkyuvnpwuE[Znk¨l~£G

TVUX[<pw p¡ zv[ZYMY^f²d0fgl@d7kU)fSkd0fSkdfSv k¿l©pSfd[ZYMªhvzv ~[Znd0fS pwnYhvf²ygfSz E[

n[exjhXye[exBkpd0fSkdfSv k¿lBpSf²npwhvzXx «pwnYhvfj¦Nl zXdk0fSzkfSk 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[edknyZk zvkUX[~[ZzX[Zn0fS k¨l~¦

¡§[ygfSzfwd0dhvY\[kU)fSkokUX[Zn[d pwzv lMpwzX[VhvzXyZkpwzdl@YEpwp@yeyZhvnn zv z4'£[hXpwnYhvf6 d

kUX[Zz9Y\p@xj³)[exfwyeyepwnxj zvMkpkUX[ pw p¡ zvMkn0fSzXdpwnY^fSkpwzXdg pwnV[Z~[Znl\k[ZnY8 z7 pS±kUX[

«pwnY &

¦¡UX[Zn[ Y^fgl%[°fSzl¯k[ZnY+[ivye[Zuvkf Nh)fSzk³)[exfSnfSv[¦1d±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³)[exfSnfSv[ed`fSn[ zkUX[7dyepwuE[pS'fhvzXyZkpwzdl@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*;1c?

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?]@?

(10)

fS §kUX[ed[9kn0fSzXd«pwnY^fSkpwzXd\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±¦ 4d[ 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)fSkdg¦«pwnYhvf| d*duv k zNkpk¿¡°pyepwzwqhvzXyZkdBg± zkUX[ XndkpwzX[¦wkUX[ Nh)fSzk³)[exwfSnfSv[ed

T

>8d8d8dDT

fSn[6 zXdk0fSzkfSk[exkp[Z~[Znl9uEpdd v[¯yepwYv z)fSkpwzpS kUX[6k[ZnY\d

>8d8d8dh>

¦vfSzXx

z9kUX[6d[eyepwzXxpwzX[¦NkUX[ Nh)fSzk³)[exfSnfSv[ed T

>8d8d8d T

fSn[6n[ Nhv n[ex^kpE[xjI[Zn[ZzkVnpwY

fS kUX[ed[7k[ZnY\d£5h z)fS l~¦¡§[dUXpg¡ kU)fSk6kUX[d0fSkdfSv k¨ltpSh)pwnYhvf

F Gd6[ Nhv wfS[ZzNk

kp<kUX[dFfSkdfSv k¨lpS kdVXndkk¨¡§p^yepwzwqhvzXyZkdg¦j¡UvyUyepwzXdk khvk[fnpwhvzXx )M«pwnYhvfj¦

¡UXpd0[d0fSkdfSv k¨l²dxv[eyZxXfSv[g

n&

D>8d8d8dx>

&

S&^

[

_ [

n

T

D>8d8d8dh>

T

S F" G

%¿zXxv[e[exI¦ fSzNltY\p@xv[Z pSWhXpwnYhvf

F G6dfSdpf9Y\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[§hvzXyZkpwzfSzXxMkUX[§n[e[VwfSnfSv[ed§fSuvu%[gfSn zv z F " G£

r`zl\dhXyUY\pNxv[ZEyepwzXdkn0fS zXd§kUX[`wfS hX[6pShpwzv lfSk§kUX[`u%pd kpwzXd§xv[XzX[ex9l\kUX[`fS hX[ed

pS

>8d8d8dx>

£©TVUNhXdg¦'«pwn[Z~[Znl¥u%pd kpwz xjI[Zn[Zzk<npwYkUX[ed0[fS hX[edg¦* k<du%pd0d v[

kpyUXp@pd[MkUX[MfS hX[\pSi n[e[Z l~£K%¿z u)fSnkyZhvfSng¦ ¡°[^y0UXpNpd0[MkUX[ed[MfS hX[edfwdxv[XzX[ex

Nl²kUX[fS hX[pS# zdpwY\[Y\pNxv[Z*pSokUX[7hvzv ~[ZndFfSyZpdhvn[pS `£

F

TVUX[Zn[[ijdkd6dhXyU f

Y\p@xv[Z3E[eygfShXd[¡°[U)fe~[dhvuvu%pd0[ex dhvzv ~[ZndFfS ld0fSkdfSv[G£ [yepwzXdxv[Zn¯fMY\p@xv[Z

pSihXpwnYhvf

F " GV¡ kU yUXpd[Zz©fwd6fSEpg~[¦EfSzXxdUXpg¡ kd`fSd0pfMY\p@xv[Z pSihXpwnYhvf F G£

N§l¬yepwzXdknhXyZkpwz±¦kUX[tyUXpd[Zz wfS hX[ed9pSfSzXx pS7kUX[ n[e[fSnfSv[ed¡ `d0fSkdl kUX[

Xndk9k¿¡°p¬yepwzwqhvzXyZkdpS hXpwnYhvf

F G£ TVUX[ed0[tfS hX[edfSdp#d0fSkdl¢kUX[kUv nxyepwzwqhvzXyZk

c T

>8d8d8dx>UT

'

>8d8d8d

d

n

T

D>8d8d8dh>

T

S

gd zXye[ d`hvzv ~[Znd0fS ldFfSkdfSv[¦%kUvd

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[fSnfSv[ed

F

z

u)fSnkyZhvfSng¦)kUX[pwzX[edy0UXpd[Zz²npwY kUX[¯Y\pNxv[Z pS[hXpwnYhvf

F " GG§¡ d0fSkdl^ kg£

V%

%¿zkUvd¯d[eyZkpwz©¡§[xv[XzX[kUX[<dl@zk0fitfSzXx©d[ZY^fSzkyedpS°fyZfwdd¯pS [ijk[ZzXxv[ex©fShvkpwY^fSk0f

¡ kU h)fSnxvdfSzXx fwdd zvY\[ZzNkd7 zBfn0fSY\[ZzkpSVm'n[edvhvn~[Zn<fSn kUvY\[ZkyM¡ kU hvzv zk[Zn

uvn[Zk[ex²>hvzXyZkpwzdlNY%pwdg£

(11)

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 kfS`yepwzXxj kpwz

d^n[ hv n[ex kp E[f d[ZYMªhvzv ~[ZndFfS«pwnYhvfj£ r6d

Y\[ZY%[ZndUv u z kUvdyZfwdd¯d¯zXpwkxv[eyZxXfSv[¦3pwkUX[Znk[eyUvzvNhX[ed

F

[£X£ ¦IkUX[epwn[ZY uvnpN zvG

Y^fglE[§zX[e[exv[exkp¯[edk0fSv dUkU)fSk f ~[Zz\dknhXyZkhvn[Vd'f ) ¿fShvkpwY^fSkpwz±£ [V[i@uE[eyZk*kU)fSk

) ¿fShvkpwY^fSk0f¡Uvy0U²Y\pNxv[Z/¨n[gfS1 uvnpwn0fSY\d¡ %U)fg~[6n0fSkUX[ZnVd YMuv[` zv kfSIyepwzXxj kpwzXdg¦

¡UXpd0[d0fSkdfSv k¨l²dzXpwkU)fSnx²kp^fwdd[ed0dg£

h hvn[]d7fSz [ivfSYMuv[MpS ) ¿fShvkpwY^fSkpwz±¦±¡UvyUBY\pNxv[Zd¯kUX[<dhXyeye[edd ~[ zXd0[Znkpwz

pSfS okUX[[Z[ZY\[Zzkd<pSf~[eyZkpwn

pSd@?g[-/ zNkpkUX[dpwnk[ex ~[eyZkpwn¬pSd@?g[o£9TVUX[

zv kfS°pNygfSkpwz¥d,0

¦*fSzXx kUX[\ zv kfS§yepwzXxj kpwz du%[eyZ³)[edkU)fSkkUX[^~[eyZkpwn dd0pwnk[exI£

1 fSnfSv[32d'hXd[exfwd°f7yepwhvzk[Zn°~pw zvp~[Zn kUX[[Z[ZY\[ZzNkd°pSI~[eyZkpwn

£ ¤`z\kUX[kn0fSzXd kpwz

npwY40

kp50

¦%kUX[>hvzXyZkpwz 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 kpwzkpkUX[n UNkg£oTVUX[hvzXyZkpwz²fwdd zvY\[Zzk

pwzkUX[7kn0fSzXd kpwz>npwY90

kp077duE[eyZ³)[edkUX[ zXd[ZnkpwzpS'kUX[7zX[Z¡ [Z[ZY\[ZzNk

62

fSkkUX[

yepwnn[eyZkuEpd kpwz±£ NV[eygfShXd[ dd0pwnk[exI¦IkUvd¯u%pd kpwzd¯hvzvNhX[£TVUX[Zz±¦±kUX[Md@?g[<pS

np¡dNl9pwzX[¦)fSzXxkUX[zX[i@k[Z[ZY\[ZzNk`pS

duvnp@ye[edd[exI£

(12)

=

,

"!

#

$

&%

'

(')

'

(*

' '

,+

.- *

+

-

.-

"-

*

.-

"-

(*

h hvn[^]g*iXfSYMuv[7pSi) ¿fShvkpwY^fSkpwz g %¿zXd[Znkpwz zj@pwnk[ex 1o[eyZkpwn

dknhXyZkhvn[ed`dhXy0UfwdX[edg¦Xvh I[Zndg¦%fSzXxtfSnn0feljd¯pS'u)fSn0fSY\[Zknyd@?g[£ %¿z0/¯[Xzv kpwz " £ ]¦)¡§[

U)fg~[^fwddhvY\[ex kU)fSkkUX[\pwzv lt)fwdyMk¨l@u%[<d7 zk[Z~[Zng¦ vhvk7Y\pdk7pwkUX[Zn7k¿lNuE[ed

F

NVpNpw[gfSzXd¦

[ZzNhvY\[Zn0fSkpwzXdg¦§n[eyepwnxvdg¦ dhvvn0fSzv~[edHGygfSz¬%[[ZzXyep@xv[ex#hXd zv zk[Z~[Znd£ TVUX[n[edknyZkpwz

kU)fSkkUX[Zn[^d<fSkY\pdkpwzX[fwdd zvY\[Zzk«pwn[gfwyU fSnfSv[9fSzXx >hvzXyZkpwz¬fSuvuv ygfSkpwz#d

hXd0[>hv)pwnfe~pwxj zvMd[ZY^fSzNky6yepwYMuv ygfSkpwzXd

F

ª£[£ ¦@d kh)fSkpwzXd°¡UX[Zn[¯f7>hvzXyZkpwz~[Zkd°k¨¡°p

xjI[Zn[ZzkVfS hX[ed°d Yhv k0fSzX[epwhXd l2G£i%¿k°ygfSz9%[`xv[gfS k§¡ kU9 z^uvn0fwyZkye[6Nl\ zknp@xjhXyZ zv<zX[Z¡

fSn[¯hvz)fSnldhXd0[exkp\d YMuv ³ l9d[ZY^fSzNkyxv[Xzv kpwzXdg£

21 3 µ %>~ ¹) ~· 3 ¹ jg

kpwY^fSkpwz±¦'fwfS hX[^ z 3¦*fSzXx kp[gfwy0U hvzXyZkpwz¥dl@YEpwª¦'f9hvzXyZkpwzBnpwY 3kpj3£ [

xv[ZzXpwk[7l54 kUX[d[ZkpSofS IwfS h)fSkpwzXd£or TBP9 PSRd`fu)fS n

>

%

yepwzXddk zvpS*fp@ygfSkpwz

fSzXx ffS h)fSkpwz

%

64¯£

pwk[kU)fSkg¦o«pwn^f ) ¿fShvkpwY^fSkpwz ¡ kU fSkM[gfwdk\pwzX[

hvzXyZkpwz^dl@YEpwª¦kUX[Zn[fSn[hvzXyepwhvzk0fSv lMY^fSzlMdk0fSk[ed£r`z V@X\V PcVM9Cb+TBP9 PSR°d f¯dk0fSk[pSEkUX[

«pwnY > %

87C

¦)kU)fSk6dg¦kUX[p@ygfSkpwzd zv kfSofSzXxtkUX[fS hX[ed¯pSokUX[

fSnfSv[edfSzXxt>hvzXyZkpwzXdd0fSkd>l²kUX[ zv kfS'yepwzXxj kpwz

£¯TVUX[<d[Zk6pS§dk0fSk[ed¯d¯xv[ZzXpwk[ex

Nl:96¦)fSzXx²kUX[d[Zk`pS zv kfS3dk0fSk[eddxv[ZzXpwk[ex²Nl;9

£ fwy0Ukn0fSzXd kpwz0<

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[

(13)

]g

n[ZfSkpwz = ? ³*kUX[¯p@ygfSkpwzpSD

F

n[edu±£vpSD G°dVkUX[pwn z

F

n[edu±£oxv[edk z)fSkpwz9GVpS<I¦XfSzXx

kUX[wfSnfSv[ed¯fSzXx²hvzXyZkpwzXd` z Dd0fSkdlkUX[7h)fSnxpS <I£Vspwn[epg~[Zng¦%kUX[7fSnfSv[ed¯fSzXx

hvzXyZkpwzXd~[ZkzX[Z¡ wfS hX[edfwyeyepwnxj zvkp<kUX[fwdd zvY\[ZzNkdpS <

% 4¦)[Zk %$

% )

%[kUX[knhvkUfS hX[

pS ¡UX[ZzkUX[>n[e[fSnfSv[ed`fSzXxkUX[ hvzXyZkpwzdl@YEpwdpS #[ZwfS h)fSk[fwyeyepwnxj zv^kp % £

h)pwnf9k[ZnY

(

¦I¡°[Mxv[ZzXpwk[^l

fSzXx >hvzXyZkpwz dl@YEpwdfwyeyepwnxj zvkp

% £

[\zXpg¡ xv[XzX[^UXp¡-fS h)fSkpwzXd<fSn[\Y\p@xj³)[ex

Nlfwdd zvY\[Zzkd£ ryeyepwnxj zv^kp /6[Xzv kpwz

"

£ ]¦vkUX[ed[fSn[pSk¿¡°pA@ zXxvdBg fwd0d zvY\[Zzkd`kp

fSnfSv[ed7fSzXx fwdd zvY\[ZzNkdkp\hvzXyZkpwzXdg£?23[Zk % 4E[kUX[wfS h)fSkpwz pwvk0fS zX[ex npwY

%

f>k[ZnfSzBfwdd zvY\[Zzkg¦±kUX[Zz±¦

%

dpSVkUX[\pwnY Q C (

¦±¡UX[Zn[Q dffSnfSv[¦ kUX[Zz

%

*dkUX[\fS h)fSkpwz¥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[

d7fk[ZnY¦

EpwkUpg~[ZnkUX[6wfSnfSv[edi5 fSzXx>hvzXyZkpwzXd~\£'TVUX[Zz±¦

%

)d§kUX[6wfS h)fSkpwz²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[

fSnfSv[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 kpwz±¦ ¡°[²xv[ZzXpwk[Nl % $ 0>

) kUX[fS h)fSkpwz¬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 ¡UvyU®kUvd^d9xvpwzX[td\zXpwk9 YMu%pwnk0fSzNkg¦%[eygfShXd0[kUX[Zn[td9fSkY\pdkpwzX[fwdd zvY\[Zzk

< C >4>! >

>

dkUX[7dY^fS [edkn[ZfSkpwzxv[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 kpwz¥n[ZfSkpwz¥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

d4o£3r¢dk0fSk[ D 9 d ^`R9)r9a0bcR

V@X 9 PWd _TBP&/ TBPSR Y T¯³§kUX[Zn[\[ijdkdf9nhvz pS°[ZzvkUq

F A / G¡UXpd[<fwdkdk0fSk[<d(DN£

TVUX[ a\_ZXHG\R8GQ^`R9)=9a0V@b@V P: Y^`_a0bcReddBg¯ ~[Zz¥fd[Zk7pSdk0fSk[ed{fSzXx¥fSz zk[Z~[Zn,/ ¦±d

kUX[Zn[f²dk0fSk[:D ¡Uvy0UBdn[gfwy0U)fSv[^ z¥fSkY\pdk,/ dk[ZuXd£K%¿z @[eyZkpwzB}¡§[Muvnpg~[

kU)fSkkUvduvnpwv[ZY dxv[eyZxXfSv[7pwn) ¿fShvkpwY^fSk0fj£