Factorization of Unfoldings for Distributed Tile Systems Part 1 : Reduced Interaction Case

(1)

HAL Id: inria-00071757

https://hal.inria.fr/inria-00071757

Submitted on 23 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,

Factorization of Unfoldings for Distributed Tile Systems Part 1 : Reduced Interaction Case

Eric Fabre

To cite this version:

Eric Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 1 : Reduced Interaction Case. [Research Report] RR-4829, INRIA. 2003. �inria-00071757�

(2)

ISRN INRIA/RR--4829--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

Factorization of Unfoldings for Distributed Tile Systems Part 1 : Reduced Interaction Case

Eric Fabre

N˚4829

Mai 2003

THÈME 4

(3)

(4)

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

34 6587:9;&'$<&'>=?@&A B!DCEF&

GHJILKNMBOQPHJR

ST/UWVNXZY[ \^]_V` acbed#]gfihjXWd@fik d#]_Vl]gmnbed#]gfih

o Xm#pQmdUWVNXmqfiVlk agXsr?Xm

t1ufevwXWdx\^]_yzV{b{|

}xbek k!fiu#d o XZuXqT/XWuqT/X6h<~Yz|z[be]|zzz<[zkFbeyXm

z XNqfih/m#]o XWuk uf o `/qWdmfed#unbeh/m#]_d#]gfih8m#p?m#dXWVNmd#TFbed<XluXWk uXmXWh^d%bimZd#]_agX

mpQm#dXWVNm{S]_agXNm#p?m#dXWVNmZqbeh!XN ^]gXW¡X o bimZtXWd#u#]h/XWdm¢Zk acbiqXm<beuX{uXWk acbiqX o ^p¤£¥mdnbedX¦

zbeu#]cbe agXmbeh o d#unbeh/m]_d#]gfih/mxqnTFbeh yXd#T/X< zbea_`/Xfe1kFbeu#d.fe1d#T/XmXZ zbeu#]cbe agXm§d#]_agX<m#p?m#dXWV

]gmmnbe]o df!X o ]gmd#u#]_ ` dX o T/XWh]_d1]gm'¨fiu#VNX o feBmXW XWunbea!qfiVlk!fih/XWh^dm]_h^dXWunbiqWd#]_h y%d#T ufi` yzT

mTFbeuX o ibeu#]cbe agXm Xk uf Q]o Xu#` h/mfed#T/XmnXm#p?m#dXWVNm']_d#T{d#u#`/Xqfih/qW` u#uXWh/qWp{mXWV{behd#]gqm

ST/X` h?¥fiao ]_h y<dXqT h ]g©^`/Xz bªqfih XWh ]gXWh^ddf^fia/dfuXWk uXmXWhdu#` h/m«]_d#T¬qfih/qW` u#uXWhdXW XWhdm

TFbim«!XXWh¬m#T/fhdfbek k a_pldfZm#`/qnT{VNf

o

XWagm«^pl1m#kFbeu#®bbeh

o

}¯iVNXWu]_h±°Yz²³A´³h{d#T ]gm1kFbekXWu

¡X1k ufikfzmX«behXW XWhVNfiuX«qfiVlkFbiqWduXWk uXmXWh^dnbed#]gfihfe d#T/X«mpQm#dXWVµ!XWTFb ^]gfiu'\^k!XqW]·¶Fqbea_a_p

¡XNm#T/f¸d#TFbedZd#T/Xl` h?¨fiao ]_h yjfed#T/XlyzagfiFbeam#pQmdXWV¹qbeh4XlXsrQk uXmmnX o bim<bºk uf o `/qWdfe

agfQqbeaQ unbeh/qT ]_h yªk ufQqXmmXmifih/X¡k!XWuAqfiVlkfih/XWhd

Xbeagmf

o

XmnqWu#]_!XbVNf

o

` acbeuAk ufQqX

o

` uX

df< ` ]_ao d#T/XmX@agf^qbea! unbeh/qT ]_h ylk ufQqXmmXm^FbimX o fih¬Xsr qTFbeh yXmfe»]_h?¥fiu#V{bed#]gfihºXWd³XXWh

]_h^dXWunbiqWd#]_h yªqfiVlk!fih/XWh^dmzT ]gqTlb fi]o m'beh^pZ`/mX«fe/yzagfiFbeaQ]_h?¨fiu#V{bed#]gfihm#`/qnT%bim»d#T/XyzagfiFbea

` h?¨fiao ]_h y/ XZXWa_]gXW Xªd#T ]gm@uXm#` a_dqfi` ao fikXWhblh/XWµ¡bpdflVNf o ` acbeuVNf o XWa»qT/Xqn¼^]_h y

dXqnT h ]g©`/Xm']_h:d#T/Xm#k ]_u#]_dlfek uXW Q]gfi`/mfiu#¼8fed#T/Xbe` d#T/fiumNbe!fi` dVNf o ` acbeu o ]cbeyzh/fzm#]gm

bea_yfiu#]_d#T VNm

½¿¾ÀÁÂ<Ã Äzo ]gmqWuXWdX%XW XWhdZm#p?m#dXWV¿!VNf o ` acbeu.mpQm#dXWV¿qfih/qW` u#uXWh/qWp` h?¨fiao ]_h y/ÅbiqsÆ

dfiu#]_®bed#]gfihBFd#` u#!fNbea_yfiu#]_d#T V¿Fyzunbek T ]gqbeaVNf o XWafeA]_hdXWunbiqWd#]gfih/m

Ç·ÈÉËÊÅÌÍÉÎÏ_ÊÅÐ¨ÑÒ

Unité de recherche INRIA Rennes

(5)

$ <&' F-./102&' &

'&' F #"%$

3: !&102A !& F!& 7:@&A !Bn< n02# &'

hqfih/m#]o UWuX o Xmk uf o ` ]_dm o XmpQm#dUWVNXm o XZd#unbeh/m#]_d#]gfih/m/uXWk umXWh^dmxmnfi`/m

¨fiu#VNX o X%m#p?m#dUWVNXm o X%k ]gUqXm¡XmZm#p?m#dUWVNXm o X%k ]gUqXmªmfihdªd#uUmZk uf^qnT/Xm o XmªumXbe`?r

o XtXWd#u#]<¢¿agXmlk acbiqXm{mfih^dNuXWVlk acbiqXmkFbeu o Xml zbeu#]cbe agXmj£oWdnbedJ¦sXWdNagXmld#unbeh/m#]_d#]gfih/m

£LagXm@k ]gUqXmJ¦VNf o ]·¶FXWh^d.acbN zbeagXW` u o` hmfi`/mwÆ³XWh/mnXWV agX o XqXmx zbeu#]cbe agXm@hjm#p?m#dUWVNX o X

k ]gUqXm%Xm#d o ]_d o ]gm#d#u#]_ `¬agfium©^` ]_aXmd¨fiu#V o X¬k a_`/m#]gXW` um%qfiVlkfzmnbehdm%]_h^dXWunbeyz]gmmnbeh^d

d#unb XWumagXW` um zbeu#]cbe agXmkFbeu#dnbeyXm hV` h ]»agXmd#unbv#XqWdfi]_uXm o XªqXmm#p?m#dUWVNXm o X.k ]gUqXm

o

` h/XmWV{beh^d#]g©`/X

o

Xqfih/qW` u#uXWh/qX< Qunbe]gXzbNdXqnT h ]g©`/X o X o

Wk a_]cbeyX%Xm#dxbeagfiumx` hfi` d#]_a

qfiVlVNf o XNXWdqfiVlkFbiqWd<k!fi` uªuXWk umnXWhdXWua XWh/mnXWV agX o Xmªd#unbvwXqWdfi]_uXm{tAbeuZunbek k!fiu#dbe`

yzunbek T/X o X@V{beu©`FbeyXz?agX o Wk a_]cbeyX@kXWu#VNXWd o Xm b unbeh/qT ]_uXWh¬kFbeu#d#]gX o Xa Xsr?k agfzm#]gfihºqfiV%Æ

]_hFbedfi]_uX

o

`±h/fiV< uX

o

XZd#unbv#XqWdfi]_uXm

o

`/X!lacb{qfih/qW` u#uXWh/qX

o

Xm"W Wh/XWVNXWh^dm"#ªbeh/mxqX

unbek kfiu#d/fihk ufikfzmXª` h/XªuXWk umnXWhdnbed#]gfihjXWh/qfiuXZk a_`/mqfiVlkFbiqWdX o X.a XWh/mnXWV agX o Xmd#unbÆ

v#XqWdfi]_uXmªt'a_`/m.k uqW]gmWVNXWhdfihVNfihd#uX{©`/X<agX o Wk a_]cbeyX o` hmpQm#dUWVNX o ]gm#d#u#]_ `%kXW` d

m

XsrQk u#]_VNXWuZqfiVlVNX%agXk uf

o

` ]_d

o

Xm

o

Wk a_]cbeyXm

o

XlmXm.qfiVlk!fzmJbehdm

h k ufik!fzmnXXWh/m` ]_dX

` hbea_yfiu#]_d#T VNXxk!XWu#VNXWd#dnbeh^d o X@qbeagqW` agXWuagXm«¨biqWdXW` um¡Vl]_h ]_V{be`?r o beh/m¡` h/X@dXWa_agXuXWk umnXWh?Æ

dnbed#]gfih:XWh k uf o ` ]_d o ` o Wk a_]cbeyXyzagfiFbeaÅ$¡XWdbea_yfiu#]_d#T VNXºqbeagqW` agXagXmZÅbiqWdXW` um o XlÅb&%fih

VNf

o

` acbe]_uXzkFbeu'qnTFbeh yXm o

]_h?¨fiu#V{bed#]gfih/m«XWh^d#uXqfiVlkfzmnbehdm"(XWhNkFbeu#d#]gqW` a_]gXWuagX

o

Wk a_]cbeyX

yzagfiFbeaAh Xm#d¡vbeV{be]gmªqbeagqW` a)z*# be` d#uXm.d#unb zbe`?rfih^d.VNfihd#ul©^`/X o XmZbea_yfiu#]_d#T VNXmm#]_Vl]·Æ

acbe]_uXmkXWu#VNXWd#dnbe]gXWhdbe`/mnm#] o Xxumfi` o uX o Xm¡k ufi agUWVNXm o X o ]cbeyzh/fzm#d#]gq o ]gm#d#u#]_ `N£o `ºdËp^kX

k ufiyzunbeVlV{bed#]gfih o pQhFbeVl]g©`/X¦sk!fi` u¬` h m#p?m#dUWVNX o p^hFbeVl]g©^`/X±VNf o ` acbe]_uXzmnbeh/mvbeV{be]gm

V{beh ]_k ` agXWu<a WdnbedyzagfiFbea o ` m#p?m#dUWVNXz»bºuXWk umXWhdnbed#]gfihÅbiqWdfiu#]gmX o XlaXWh/mnXWV agX o Xm

d#unbv#XqWdfi]_uXmbimmnf^qW])X+qXm'bea_yfiu#]_d#T VNXmAVNf o ` acbe]_uXmzmXWV agX¡k ufiVNXWd#dXW`/mX¡kfi` u obe` d#uXm

k ufi agUWVNXm kFbeuXsr XWVlk agXªacb Wu#]·¶Fqbed#]gfih

o

X.VNf

o

UWagXm

, Ã Á .- m#p?m#dUWVNX/0W Wh/XWVNXWh^dm o ]gmnqWuXWdmm#pQmdUWVNX o ]gm#d#u#]_ `zqfih/qW` u#uXWh/qXz o sÆ

k a_]cbeyXz ¨biqWdfiu#]gmnbed#]gfihB!bea_yfiu#]_d#T VNXZd#` u#f ?VNf o UWagXZyzunbek T ]g©`/X o]_h^dXWunbiqWd#]gfih

(6)

CE!&'!

G HI

Ã Ä »zJÃ I K

L M JL I Ã JÃ I N

|?O S]_agXZm#p?m#dXWVNmlZªZªZªZZªªZªZZªZªZªZªZªZªZª P

|?|

qqW` uXWh/qXZh/XWdmxbeh

o

` h?¥fia

o

]_h ym@fed#]_agXm#pQmdXWVNm ZªZªZªZªZª Q

R STI/U

Ã -LÄ%J

I/VWU

z Ã "JX?JÃ I G3G

?O Ar?dXWh o X o qfiVlkfih/XWhdm ªZZªªZªZZªZªZªZªZªZªZª OO

?| t'uf o `/qWd@feA unbeh/qT ]_h yk uf^qXmmnXm ªZªZZªZªZªZªZªZªZª OO

? @h?¥fiao ]_h ylÅbiqWdfiu#]_®bed#]gfih ªZZªªZªZZªZªZªZªZªZªZª O

K , J I J -

U

z

Ã

e

GZY

Y/O fih/fidfih ]gqW]_d³p¿fe\[%] ªZªZZªªZªZZªZªZªZªZªZªZª O

Y/| j]_h ]_V{bea¨biqWdfium@fe'bk uf o `/qWd ªZªZZªZªZªZªZªZªZª O

Y/ j]_h ]_V{beaBk uf o `/qWd@qf XWu#]_h yDZªªZªZZªZªZªZªZªZªZª |z

Y/Y #.XqfiVlk!fzm]_d#]gfihjfe1b5[\^ ªZZªªZªZZªZªZªZªZªZªZª |z|

N , Ã

Ä-L ¬

Ã

`_ ?J

Ã I Ã U

`J

I J4-

U

z

Ã

U Ã

l

¾¾Á

a»@_

¾ Ä À

¾

4

L@K

?O t'ufev#XqWd#]gfihjfe1b unbeh/qT ]_h y¬k uf^qXmnm¤ZªZZªZªZªZªZªZªZª |eY

?| t'ufev#XqWd#]gfihjfe1bk uf o `/qWd ZZªªZªZZªZªZªZªZªZªZª |Q

? f

o

` acbeuqfiVlk ` dnbed#]gfihfeVl]_h ]_V{bea¨biqWdfiumªZªZªZªZªZªZª |z

?Y §@k k ufr?]_V{bed#]gfihjfeAVl]_h ]_V{beaBÅbiqWdfiumªZªZZªZªZªZªZªZªZª z

b c Ã I - »JÃ I R3R

(7)

5 =Q@F ª$<

#x]gmqWuXWdXXW XWhd o p^hFbeVl]gqmpQm#dXWVNm«]_d#Tbim#pQh/qT ufih/fi`/m¡]_hdXWunbiqWd#]gfih/m¡TFb Xagfih yZXXWhqnTFbea·Æ

agXWh yz]_h ydfmdnbeh

o

beu

o

VNf

o

XWa'qT/Xqn¼^]_h y±dXqT h ]g©^`/Xm%ST/X

o

]{qW` a_dËp qfiVNXm.LufiV2d#T/XÅbiqWd

d#TFbedªmXW XWunbea£¥qfih/qW` u#uXWh^dJ¦@d#unbeh/m#]_d#]gfih/mªV{bp±!X<]_h o XWk!XWh o XWh^d#a_p XWhFbe agX o beh o ¶/uX]_h behp

fiu o XWuAT ]gqnTyXWh/XWunbedXmNbeh8XsrQk agfzm]gfih8fed#T/Xh` V<!XWulfekfzmm#]_ agXNd#unbv#XqWdfiu#]gXm o `/Xdf

]_h^dXWu#agXb Q]_h ym¡ST ]gm

o

unbFbiqn¼¡bimxb o o

uXmmX

o

^pºmnXW XWunbea»be` d#T/fium°O/|i²³?T/flk ufik!fzmnX

o

d#T/Xh/fid#]gfihfe%) ' bim1bxVNfiuXbek k ufik u#]cbedXuXWk uXmXWh^dnbed#]gfihN¨fiu'u#` h/m1fem#pQmdXWVNmA]_d#T

b@T ]_yzT%agXW XWa fe!qfih/qW` u#uXWh/qWp'´Ëh%d#T/XmX³d#u#`/X¡qfih/qW` u#uXWh/qWp%mXWV{beh^d#]gqmbu#` hNbek kXbeum1bim1b

qbe`/mJbea_]_d³p%yzunbek Tj£L]ÅXz1bxkFbeu#d#]cbeafiu o XWuJ¦'feXW XWh^dm]_h/mdXb o feb.mnX©`/XWh/qXzA´Ëh{fid#T/XWu1fiu o m

blu#` h±XqfiVNXm@blqWacbimm@fe1mX©`/XWh/qXm@fe1XW XWhdmVNf o ` agfNd#T/XZ]_hdXWu#agXb ^]_h yfe1qfih/qW` u#uXWhd

XW XWh^dm'ST ]gmh/fid#]gfih{TFbimk uf X o dfm#]_yzh ]·¶Fqbeh^d#a_pNuX o `/qXd#T/X@qfiV ]_hFbedfiu#]cbeaXsr?k agfzm#]gfihfe

u#` h/m°²³Fbeh o df%XZbeVNXWhFbe agXZdflm#dnbeh o beu o VNf o XWaBqnT/Xq¼Q]_h y{VNXWd#T/f o m°QQF?/²³

´³h:d#T ]gm%kFbekXWu1Xºk ufikfzmXºdfj¥` u#d#T/XWuËqfiVlk uXmmºd#T/XuXWk uXmnXWhdnbed#]gfih fexk!fzmnm#]_ agX

u#` h/mxfe«bNm#p?m#dXWV¿/md#]_a_a]_h±d#u#`/X<qfih/qW` u#uXWh/qWp±mXWV{beh^d#]gqmFT/XWhd#T ]gmmpQm#dXWV o XqfiVlk!fzmXm

bim¡bZk uf o `/qWdfemV{bea_agXWuXWagXWVNXWhdm1´³h¬m#]_Vlk agXdXWu#VNmd#T/X@]o Xbª]gmd#T/X¨fia_agf]_h y¢«bZu#` hfe

d#T/XxyzagfiFbeampQm#dXWV o XqfiVlkfzmXmbimb<k uf o `/qWdfeagf^qbeau#` h/m fih/X@]_h¿XbiqnT¿qfiVlk!fih/XWh^d«´Ëd

]gm1 XWu#p<a_]_¼XWa_p%d#TFbed«b.yz]_ XWhNagfQqbea u#` hN]_hNmfiVNXqfiVlk!fih/XWh^d«kFbeu#d#]gqW]_kFbedXm1dfmXW XWunbea/u#` h/m1fe

d#T/X.yzagfiFbeaBmpQm#dXWV¿AST/XWuXs¨fiuXz d#T/XWuX.V{bp¬X¨XW agf^qbeau#` h/m]_h¿XbiqnT¿qfiVlk!fih/XWh^dT ]gqT

yXWh/XWunbedXV{beh^pyzagfiFbea?u#` h/miT ]gqnTNm#` yzyXm#dm'bÅbiqWdfiu#]_®bed#]gfihlk T/XWh/fiVNXWh/fihB1ST/X¡k ` u#kfzmX

fe1d#T ]gm@kFbekXWu]gm@k uXqW]gmXWa_pdfXW Q]o XWh/qX<d#T ]gmk ufikXWu#d³p±fihjd#T/X` h?¨fiao ]_h yºfe1bqfiVlkfi` h o

mpQm#dXWV ¢<d#T ]gmZ` h?¨fiao ]_h y o XqfiVlk!fzmXm%bim<b¿k uf o `/qWdfeagf^qbea unbeh/qT ]_h yk uf^qXmnmXmfih/X

kXWuZqfiVlkfih/XWhd»beh

o

d#T/Xlqfia_agXqWd#]gfih fe¡d#T/XmnX%agf^qbea' unbeh/qnT ]_h y±k ufQqXmmXm.V{bpX%VNfiuX

qfiVlkFbiqWdld#TFbeh¤d#T/Xº` h?¨fiao ]_h y fexd#T/XyzagfiFbea@m#pQmdXWV ]_dmnXWa·w§ ¶/um#dNbek k ufbiqT ]_h¤d#T ]gm

o ]_uXqWd#]gfih:bim%k ufik!fzmX o p ¡fi` ^uXW` uF+&«°O²ª£¥mnXqWd#]gfih8Y^¦!¢ST/XWp m#T/fX o d#TFbedd#T/X

` h?¨fiao ]_h yfeb qfiVlkfi` h o mpQm#dXWV uXWacbedXm{df ` h?¨fiao ]_h ym¬fe.]_dmqfiVlk!fih/XWh^dm¬d#T ufi` yzT

kFbeu#d#]cbeaT/fiVNfiVNfiu#k T ]gm#VNm«bea_d#T/fi` yzT:h/fjX XqWd#]_ X¬k uf o `/qWdlfe unbeh/qT ]_h y k ufQqXmmXm<¡bim

o XWu#]_ X o

ST ]gmuXm#` a_d]_VlVNX

o

]cbedXWa_pºunbe]gmXmd³¡fN©^`/Xm#d#]gfih/m'ST/Xx¶/um#dfih/Xªqfih/qXWu#h/md#T/XªqfiVlk `?Æ

dnbed#]gfih¬feBd#T/XÅbiqWdfiu#]_®X o uXWk uXmnXWhdnbed#]gfihfebeh{` h?¨fiao ]_h y/^T ]gqnT¬mT/fi` ao Xm#]_Vlk agXWud#TFbeh

d#T/XqfiVlk ` dnbed#]gfihNfeFd#T/X¡` h?¨fiao ]_h yª]_dmXWa·# X¡k uf Q]o Xb@VNf o ` acbeu1bea_yfiu#]_d#T V df o f.mf e]_h?Æ

mk ]_uX o ¥ufiV k uXW ^]gfi`/mA¡fiu#¼°O| OWYF Oe²³»ST ]gm1bea_yfiu#]_d#T V ]gmFbimX o fihagf^qbea qfiVlk ` dnbed#]gfih/m

kXWuw¨fiu#VNX o pXbiqnT±qfiVlkfih/XWhdFbeh o fihºVNXmmnbeyXmXsr qTFbeh yX o !XWdËXXWh±qfiVlkfih/XWhdm (F]_d

fih a_p%TFbeh o agXmagf^qbea unbeh/qT ]_h yk uf^qXmnmXmAST/XmXqfih o ©`/Xm#d#]gfih¬qfih/qXWu#h/m«d#T/Xk!fzmnm#]_ ]_a_]_d³p

df`/mXxd#T/X@ÅbiqWdfiu#]_®X

o

uXWk uXmXWhdnbed#]gfihfebehº` h?¥fia

o

]_h y{bimd#T/X.m#` k kfiu#dfe»X{qW]gXWhdVNXWd#T?Æ

f o mxdf o Xbea]_d#T4qfiVlkfi` h o m#p?m#dXWVNm ` uªXsr?k!XWu#]gXWh/qX%]gmxa_]_Vl]_dX o df¬`/m#]_h yº` h?¥fiao ]_h ym

e

! !"

e#%$'&(

"*)

(

"+

e,

-

(

"* .

$/"e0$

*

"

e#

1

( ( 2

e

43

# 5

$0(

'/0(

'46

(8)

¨fiu'Åbe]_a_` uX o ]cbeyzh/fzm#]gm«]_h o ]gm#d#u#]_ ` dX o bim#p^h/qnT ufih/fi`/mmpQm#dXWVNm°Oe²³z ` d¡beybe]_hd#T/XVNf o ` acbeu

bimp^h/qnT ufih/fi`/m.bea_yfiu#]_d#T VNmxVNXWh^d#]gfih/X o bef Xk uf Q]o X<X{qW]gXWh^dªmfia_` d#]gfih/m<°Oi²³ST/XZkfzmwÆ

m]_ ]_a_]_d³p±dfºXsr?dXWh o d#T/XWV dfVNf o XWa'qT/Xqn¼^]_h y¿k ufi agXWVNmZuXWV{be]_h/mZbehfikXWh ©`/Xmd#]gfihB ` d

d#T/XWuXZ]gmyf^f

o

T/fikX.d#TFbedd#T/Xbeh/m#¡XWu]gmkfzm#]_d#]_ Xz

#xXW XWagfikXWVNXWhdm¬fe.d#T ]gmlkFbek!XWuqfih/m#]o XWuNVNf o ` acbeu{m#p?m#dXWVNml` h o XWuNd#T/Xº¨fiu#V>fe.d#]_agX

mpQm#dXWVNmNS]_agXNm#p?m#dXWVNmbeuXNqWagfzmnXWa_puXWacbedX o df¿mnb¨Xlt»XWd#u#]¡h/XWdmbimZX{XW ^]o XWh/qX{!XWagfZ

beh

o

d#T/XNuXm#` a_dmXNk uXmnXWhd<qfi` a

o

!XlXsr?k uXmmX o o

]_uXqWd#a_p4fih d#T/Xlacbed#dXWuxfXW XWu¡X

k uXs¨XWu¡df<XWVlk TFbim#]_®Xxd#T/X@h/fid#]gfihfeB ibeu#]cbe agX%£L]_h/m#dXb o feBk acbiqX¦!¢'XWpfih o mfiVNX@dXqT h ]gqbea

m]_Vlk a_]·¶Fqbed#]gfih/mFd#T ]gm.bea_agfm.blVNfiuX o ]_uXqWd@a_]_h ¼]_d#Tjk uXW ^]gfi`/m@fiu#¼4°O|i²³beh o k uXWkFbeuXm

d#T/XZ¡bp±dfNm#pQVfia_]gqZ` h?¨fia

o

]_h ym/T/XWuXd#]_agXmdnbe¼Xªd#T/XZ¥fiu#V,fe»¥` h/qWd#]gfih/mxfik!XWunbed#]_h y¬fih

zbeu#]cbe agXm

ST/XZkFbekXWu]gmfiu#ybeh ]_®X o bim¨fia_agfm\QXqWd#]gfih| o Xs¶/h/Xm@d#]_agXZm#p?m#dXWVNm d#T/XW]_uxqfiVlk!fzm]·Æ

d#]gfihB beh

o

uXqbea_agmm#dnbeh

o

beu oºo

Xs¶/h ]_d#]gfih/mbeh

o

uXm#` a_dmbe!fi` d¡` h?¨fia

o

]_h ym\QXqWd#]gfih¿

o

Xs¶/h/Xm

d#T/X.k uf o `/qWdfeA unbeh/qT ]_h yNk ufQqXmmXmbeh o m#dnbedXmd#T/Xx¨biqWdfiu#]_®bed#]gfih¿k ufikXWu#d³p¬¨fiud#T/X.` h?Æ

¨fiao ]_h yfe@b±qfiVlkfi` h o m#pQmdXWV¿\QXqWd#]gfih8Ym#d#` o ]gXm]_h o XWdnbe]_a¡k ufikXWu#d#]gXm%fe¨biqWdfium%fe

b± unbeh/qT ]_h y k ufQqXmmA]_d#T*beh:XWVlk TFbim#]gmlfih8d#T/Xh/fid#]gfih¤feVl]_h ]_V{beaÅbiqWdfium]_hFbea_a_p

mnXqWd#]gfih ¬]gm o XW fidX o df¬VNf o ` acbeubea_yfiu#]_d#T VNm.¨fiuxd#T/X%qfiVlk ` dnbed#]gfih8fe«Vl]_h ]_V{bea'ÅbiqWdfium

febeh ` h?¥fiao ]_h y/<ST ]gm.uX©` ]_uXm.df o Xs¶/h/X%d#T/Xk ufevwXqWd#]gfih4feb unbeh/qT ]_h y¿k ufQqXmm.fih b

qfiVlkfih/XWhdbeh o df%qnT/Xq¼¬d#TFbedk ufevwXqWd#]gfih±beh o k uf o `/qWdfe unbeh/qT ]_h yNk ufQqXmmXmmJbed#]gmwLp

beh brQ]gfiV{bed#]gqº¥unbeVNXWfiu#¼¤k uXW Q]gfi`/m#a_p o XW XWagfik!X o ]_h °O|e²³«LufiV>T ]gqnT bea_yfiu#]_d#T VNm¬beh o

qfih^ XWu#yXWh/qXuXm` a_dm o XWu#]_ XhFbed#` unbea_a_p't'ufev#XqWd#]gfih/mbeuXXbim#pdf o Xs¶/h/X¨fiu«b.a_]_Vl]_dX o dËp^kX

fe»]_hdXWunbiqWd#]gfih/mXWd³¡XXWh¿qfiVlk!fih/XWh^dm ( d#T/XxdXqT h ]gqbea»XsrQdXWh/m#]gfihºdfd#T/XxyXWh/XWunbeaqbimXx]_a_a

XZb o o uXmmX o ]_h±b<¥fiu#d#T/qfiVl]_h ykFbek!XWu

F <

ST ]gm'mnXqWd#]gfih o Xs¶/h/Xm'd#]_agXm#pQmdXWVNmbeh o uXWacbedXmAd#T/XWV dfªt»XWd#u#] h/XWdmST/XW]_u'V{bv#fiu']_hdXWuXmd

]gm{df XWVlk TFbim#]_®Xjd#T/X¿h/fid#]gfih feªagf^qbeaxm#dnbedX¿ zbeu#]cbe agX£Lk acbp^]_h y8d#T/XjkFbeu#dfeb k acbiqXj]_h

tXWd#u#]h/XWdms¦s Xª]_a_auXWa_pºfih±d#T/XmXª zbeu#]cbe agXmdf o Xs¶/h/Xd#T/Xªh/fid#]gfihjfeAagfQqbeaB]_hdXWunbiqWd#]gfihB

S]_agXªmpQm#dXWVNmbeuXªqWagfzmnXWa_puXWacbedX o df%d#T/Xªmp^h/qnT ufih/fi`/mk uf o `/qWdfe»d#unbeh/m#]_d#]gfihjm#pQmdXWVNmbim

o Xs¶/h/X o pl§@u#h/fia o ]_hj°OOs²!beh o uXW ^]gm#]_dX o pl1m#kFbeu#®bZ]_h±°Yi²³AST/X¨fiu#VNXWu«qbehbiqWd#`Fbea_a_plX

Q]gXWX o bim¡b ËqfiVlk ]_agX o XWum#]gfih.feBd#T/Xacbed#dXWu Xd#T/XWhºb o bek d«d#T/Xh/fid#]gfih/m¡fefQqqW` uXWh/qX

h/XWdbeh o ` h?¥fiao ]_h ydf%d#]_agXZm#p?m#dXWVNm^¥fia_agf]_h yj°Yi²³

(9)

À

¾

4

§ + !D2"!,+4 ]gm'b@d#` k agX "!$#% &'"(*),+AT/XWuX':beh

o

µbeuX¶/h ]_dX¡mnXWdm

feB zbeu#]cbe agXmbeh o d#]_agXm¡uXm#kXqWd#]_ XWa_p beh o !$#]gmd#T/X]_h ]_d#]cbeam#dnbedX@fed#T/Xxm#pQmdXWV¿$-«beu#]cbe agXm

beuX o XWh/fidX o ^p¿qbek ]_dnbeaagXWd#dXWum/.0 132,453276989898eFbeh o dnbe¼X ibea_`/Xm/:;=<">?45">6989898@]_h±d#T/X

¶/h ]_dX o fiV{be]_hA@º'§ !,+¡fe$¤]gmbL` h/qWd#]gfihA!BDCE@¬AS]_agXmbeuXxyXWh/XWu#]gqbea_a_p o XWh/fidX o

^pGFH"F5I"F45"FJ6%XWdqz ` h/qWd#]gfihK)LBMNC O%Pµbimmnf^qW]cbedXm{df4XbiqT d#]_agX¿d#T/X± ibeu#]cbe agXjmXWd

fih T ]gqnT ]_dfikXWunbedXmB¢ª zbeu#]cbe agXm)F%+@]_VlkFbiqWdX o ^pd#]_agXQFbeuXNbeagmf o XWh/fidX o pR,SZ¨fiu

mT/fiu#d«´Ëh¿d#T/XZmnbeVNXªbpFd#T/XWuXXsr?]gm#dmkFbeu#d#]cbeaB¥` h/qWd#]gfih/mT&'"(UBVXWAYCZ@ o Xs¶/h ]_h yN¨fiu

XbiqnT d#]_agX[Flbeh o XbiqnT ibeu#]cbe agX\2^]_`S.d#T/X zbea_`/X%fea2 uXm#kXqWd#]_ XWa_p±Xs¨fiuX%beh o b¥dXWubF

¶/uXmcFl]gmªXWhFbe agX o pm#dnbedX[!« o XWh/fidX o pd!feF%gs] ih`2] S "!fj2Q+TkL&fFH32l+s0FNqbeh

d#T^`/mZ¶/uXz»T ]gqT8pQ]gXWao mZd#T/XNh/XW m#dnbedXQ!`I o Xs¶/h/X o pmh`2n]D`S5"!`Ij2o+0kX('FH32l+sAbeh o

h`2p]qirf,S5"! Ij2l+ks!'j2l+s XZb o fik dd#T/XZm#dnbeh o beu o h/fidnbed#]gfihd!'eF%gt! I

S]_agX¿m#p?m#dXWVNmNbeuXº XWu#p¤m#]_Vl]_acbeul]_h*hFbed#` uXdf tXWd#u#]h/XWdm]_d#T¤k acbiqXmNuXWk acbiqX o p

zbeu#]cbe agXmbeh o d#unbeh/m#]_d#]gfih/mA^pd#]_agXm§kFbeu#d¥ufiVd#T/X1ÅbiqWdAd#TFbedd#T/XWp o fih d'TFbeh o agXdfi¼XWh/m

d#T/XV{bvwfiuxm#d#u#`/qWd#` unbea o ] XWuXWh/qX<]gmd#TFbedxd#T/XmnbeVNX ibeu#]cbe agXm.bek kXbeu@]_hjd#T/XZk uXsÆ³mXWd.beh o

]_hd#T/XZk!fzm#dwÆ³mnXWdfe'bd#]_agXz

c Ã _ Ã

JJ

Ã I

Xjyz]_ Xd³f

o

Xs¶/h ]_d#]gfih/m¬¨fiud#T/XqfiVlkfzm#]_d#]gfih fed#]_agXjmpQm#dXWVNm;´Ëh

d#T/XZ¶/um#d@fih/Xz!qfiVlkfih/XWhdm.]_hdXWunbiqWd.fih a_ppjm#TFbeu#]_h y{ zbeu#]cbe agXmST ]gm o Xs¶/h ]_d#]gfih]gm XWu#p

qfih^ XWh ]gXWhddf:¼XXWk d#T/X]_hdXWunbiqWd#]gfihm#kFbeh ` h o XWu±qfih^d#ufiaÅbeh o ]_a_aZX`/mX o ¨fiud#T/X

mdnbeh

o

beu o4o

Xs¶/h ]_d#]gfih8feqfiVlkfi` h

o

m#p?m#dXWVNmª]_h mnXqWd#]gfih8?{´Ëh d#T/XNyXWh/XWunbea

o

Xs¶/h ]_d#]gfihfe

qfiVlkfzm#]_d#]gfihBm#p?m#dXWVNm{beuXjbea_agfX o df4]_h^dXWunbiqWdºbeagmnf p¤m#TFbeuX o d#]_agXm«T ]gqnT qbek d#` uXm

¨Xbed#` uXmfe1b%`/m#`FbeaBm#pQh/qT ufih/fi`/mk uf o `/qWd

BXWd0u4[kn4v w45"!$#4 &45"(,45*)4x+Zbeh o `6\kyz6 {6%"!z#6 &|6"(;6*)?6J+xXldËfjd#]_agX{m#p?mwÆ

dXWVNm?]_d#T '! d#]_agXZmXWdm?X o Xs¶/h/Xªd#T/XªqfiVlkfzm#]_d#]gfihfe| 4 beh o 6 ^p

u4} `6~ 4|z6% w4|{6%"!

#

4

! #6

&"(*),+ £O¦

T/XWh/qXºd#T/XºdËf4qfiVlkfih/XWhdmN]_hdXWunbiqWd{d#T ufi` yzT*mTFbeuX o ibeu#]cbe agXmQ 4f 6 8ST/Xº]_h ]_d#]cbea

mdnbedX!z#k!z#

4

!z#

6

]gmyz]_ XWh±^pA!z#Hj2l+k!z#

]

j2l+]·'2]] ;kL=O?!beh o d#T`/m@uX©` ]_uXm

d#TFbed!$#

4

beh o !z#

6

qfi]_h/qW]o X{fih 4 6 T ]gqnT X o Xs¶/h/X¬bim.d#T/XF %@+ -+ A+ "!D!D) 4 F

)F%+@]gm

o

Xs¶/h/X

o

^pdF]U*] )uF+kp) ]"F%+sT ]gqnT4]gmª` hFbeV ]_yz`/fi`/mbim.Åbeuªbim.d#]_agXlmnXWdm

beuX o ]gm¥v#fi]_hdtbeu#d#]cbea'¥` h/qWd#]gfih/m& beh o (EbeuX o Xs¶/h/X o ]_hd#T/X%mnbeVNX¡bp!#.Xs¶/h ]_d#]gfihE£O¦

Xsr?dXWh o mdfKO%qfiVlkfih/XWhdm@]_hjb%m#d#unbe]_yzT^dw¥fiu#beu o V{beh h/XWu

Xlh/f¸qfih/m]

o

XWuZd#]_agXNm#p?m#dXWVNm ]Mk ]t *]"!z#

]

&/]"(Z]**) ]+sp8T ]gqT8qbeh

fid#T m#TFbeuX% zbeu#]cbe agXmbeh o '+D!W ¡fiVlkfzm#]_d#]gfih qbeh X%XsrQdXWh o X o dfºd#T ]gmZqbimnX<k uf ^]o X o

mnfiVNX¡Xsr?d#unb %@+ -+ A+1k ufik!XWu#d#]gXm«beuXmnbed#]gm#¶FX o ¢B¨fiu'XW XWu#p<kFbe]_u'fed#]_agXmpQm#dXWVNm| ]";"k

XZuX©` ]_uX

(10)

OzfhF]d ]7 ) ] F+ k) F%+ ]

|?fhFq]*] Hh,2 ]Y ] [&]"FH32l+ck & F 32[+beh o (Z] FH32[+0k (V F 32o+Zfih

kFbe]_umoFH32[+¡T/XWuXªd#T/XmnXxL` h/qWd#]gfih/mxbeuX o Xs¶/h/X o

tfi]_hd OlXsrQk uXmmnXm.d#TFbedZd³¡f¿qfiVlk!fih/XWh^dmZV<`/m#d o XqWacbeuXld#T/XlmnbeVNXlm#TFbeuX o zbeu#]cbe agXm.¨fiu

b%qfiVlVNfihjd#]_agXz/beh o kfi]_hd@|%d#TFbedfih±d#T/XmXZm#TFbeuX o zbeu#]cbe agXm k uXsÆ¡beh o k!fzm#dwÆ³qfih o ]_d#]gfih/m

V<`/m#d«beagmfxXd#T/XmnbeVNXzA´Ëhlfid#T/XWu'fiu o mqfiVlVNfih{d#]_agXm'fih a_p o ] XWu'pd#T/X zbeu#]cbe agXm'd#T/XWp

]_VlkFbiqWd<]_h4d#T/XNqfiVlkfih/XWhdm<T/XWuXNd#T/XWp bek k!Xbeu\Qfd#T/XWuXXsrQ]gm#dm<b ³yzagfiFbeal) k %]) ]

m`/qT*d#TFbedlhu_ ?hFU] ] {) ] F%+kn)uF%+ ] \^]_Vl]_acbeu#a_pd#T/XWuX±XsrQ]gm#d{kFbeu#d#]cbea

¥` h/qWd#]gfih/m &¤beh o ( fih_j%] ] +fW_j%]*]+s?d#T/X.uXmd#u#]gqWd#]gfih/mfeAT ]gqT o Xs¶/h/Xªd#T/X&/]1beh o (Z]#

]_d#Td#T ]gmªqfiT/XWuXWh/qX%k ufikXWu#d³p»beh

o

d#T/XlbimmfQqW]cbedX oo

Xs¶/h ]_d#]gfih fe'&'"(*)d#T/X%qfiV%Æ

kfzm#]_d#]gfih¿feuu45"`6989898`"

]gmm#]_Vlk a_p o Xs¶/h/X o bim]_h £O¦

u4} `6?}`89898H}

~ j%] ]w%]*]

]! #

]

7&'7(w\]) ]+ £¨|¦

ST/X%V{bv#fiu o ] XWuXWh/qXl]_d#T4d#T/X%k uXW Q]gfi`/mZqbimXNbek kXbeumª]_h d#T/Xlacbim#dªdXWu#V)Uk %]) ]?¢.]_d

md#uXmmXm%d#T/XºÅbiqWdNd#TFbedN]·Zbyz]_ XWh*d#]_agX ³hFbeVNX±bek kXbeumN]_h* zbeu#]gfi`/mld#]_agX¿mnXWdm«d#T/XWhEd#T/X

qfiu#uXmk!fih o ]_h yjagf^qbea o Xs¶/h ]_d#]gfih/m<fed#T ]gmZd#]_agXlV<`/m#dZX%yza_`/X o dfº¨fiu#V b¬ ]_yzyXWud#]_agXj£L]ÅXz

]_h^ fia_ ^]_h yVNfiuX zbeu#]cbe agXmJ¦sbim.]_hbm#dnbeh o beu o m#pQh/qT ufih/fi`/m.k uf o `/qWdª´Ëhd#T/XmX©^`/XWaÅ!p

be `/mnXfeBh/fidnbed#]gfih/m^X@V{bp

o

ufik¬d#T/X]_h

o

Xsr\]_h &/]"(Z]»beh

o ) ]T/XWh

o

Xs¶/h ]_h ylbeh

o

`/m]_h y

qfiT/XWuXWh^d1qfiVlk!fih/XWh^dm'´Ëd»]_a_a?Xfih a_p<V{be]_hdnbe]_h/X o ]_ho) ]]_h%qbimnXm»T/XWuXqfih?¥`/m#]gfih/mAV`/md

XZb fi]o X o F]ÅXz'T/XWh±qfiVlkfih/XWhdm@m#TFbeuXªd#]_agXm

¡fiT/XWuXWh/qXlfe¡qfiVlkfih/XWhdmZqbeh X%qT/Xq¼X o uXqW` um#]_ XWa_p]_h4beh4bimmfQqW]cbed#]_ X<V{beh h/XWu

´Ëhd#T/XªmnbeVNXªbpqfiVlk!fzm#]_d#]gfihD}@feAqfiT/XWuXWh^dd#]_agXªm#p?m#dXWVNm]gm@bimmfQqW]cbed#]_ Xz

}XWV{beu#¼.¢ST/X.mXqfih o¬o Xs¶/h ]_d#]gfihfe»qfiVlkfzm#]_d#]gfihºV{be¼Xm0}m#]_Vl]_acbeudf%bm#pQh/qT ufih/fi`/m

k uf

o

`/qWdB¢]_d ³yza_`/Xm4Zd#unbeh/m#]_d#]gfih/mxdfiyXWd#T/XWuST/XWuXZ]gm.blV{bv#fiu

o ] XWuXWh/qXzT/f¡XW XWu]_d#T

b<m#dnbeh o beu o m#pQh/qT ufih/fi`/mk uf o `/qWd xm#`Fbea_a_p o ]gm#d#]_h/qWdagfQqbead#unbeh/m#]_d#]gfih¿mnXWdmbeuXªbimm` VNX o

fih/XZk!XWuqfiVlkfih/XWhd!beh o beh±Xsr?d#unbacbe!XWa_]_h yl¥` h/qWd#]gfih¿]_h o ]gqbedXm@T ]gqT¿agfQqbeaBd#unbeh/m#]_d#]gfih/m

V<`/m#dX@yza_`/X

o

(/d#T/XWh±bhFbeVNX.]gmqnT/fzmXWhº¨fiu¡d#T/XªqfiVlkfi` h

o

yzagfiFbead#unbeh/m#]_d#]gfihB @XWuXz?¡X

o ]_uXqWd#a_pºyz]_ XªyzagfiFbea»hFbeVNXmdflagfQqbeaBd#unbeh/m#]_d#]gfih/m]_h±XbiqTqfiVlk!fih/XWh^d!bedd#T/XZXsrQkXWh/mXªfe

acbeu#yXWuagf^qbeaBm#p?m#dXWVNm XZ]_a_aBqfiVNXªFbiq¼ºdfld#T ]gmbimk!XqWdbedd#T/XXWh o feAmXqWd#]gfih?

H 7 z' $cHtj _

X u#]gX/pjuXqbea_a fQqbe ` acbeu#p beh o mdnbedX<h/fidnbed#]gfih/mªfe¡d#T ]gmxkFbek!XWux¨fiu.mdnbeh o beu o h/fid#]gfih/m

a_]_¼XZh/XWdm?T/fiVNfiVNfiu#k T ]gm#VNmXWdqz

(11)

¿¾ X o Xs¶/h/Xªb:+!bimb<d#u#]_k agX kMT3CD+s?T/XWuX beh o beuX o ]gm#d#]_h/qWd' A+

beh o -@!lmXWdm?beh o C Wb+d Wb+«]gmd#T/X8 +F'§ ( ++ :+!]gm

bªh/XWd¡be` yzVNXWhdX o ]_d#T¬bªacbe!XWa_]_h y<V{bekqBRsCxT/XWuX8]gmb.¶/h ]_dX@mXWd«feacbeXWagm

1agXWVNXWhdm.fe beuXbeagmf{qbea_agX

o +!sST/Xd#unbeh/m#]_d#]_ Xbeh

o

uXFXsrQ]_ XqWagfzm#` uXfe'd#T/X

FfuXWacbed#]gfihGC fih4h/f o XmZ]gm o XWh/fidX o p £¥fiuªd#T/Xl]_u#uXFXsr?]_ XNkFbeu#dJ¦s /fiu<bºh/f o X

]_dma -+D!+»beh o *"!!+]_h¿d#T/Xªh/XWdxbeuXZuXm#k!XqWd#]_ XWa_p o Xs¶/h/X o bim

k! AB" C

$#

beh o

k%! B

C&

#

A§ h/XWdT*44 j !4 ¥ufiV% df'YI ]gmbªV{bek)(mB*+CI5+TI

m`/qT¿d#TFbed O-,.(|[+/ I0(u1b+2 Ibeh o |*,<¨fiuXW XWu#p¬d#unbeh/m]_d#]gfihqFfe$;3(uXmd#u#]gqWdX o

df F o Xs¶/h/Xm<b¬ ]v#XqWd#]gfih ]_d#T (uF%+Wbeh o (8uXm#d#u#]gqWdX o dfAF o Xs¶/h/Xmbº ]vwXqWd#]gfih ]_d#T

(uF%+i'´³4 beh o I

beuX.acbe!XWagX

o

dflk uXmXWu# Xªd#T/XZacbe!XWa_]_h y/

´³h:bh/XWdAd³¡fh/f o Xm

IbeuXmJbe]o df¿X ' -h¨ o XWh/fidX o p

657

I¥] *d#T/XWuX

Xsr?]gm#dmdËfNd#unbeh/m]_d#]gfih/m FH"F I ]);m`/qT¿d#TFbed F+

F I I beh o xF xF I k98?

:@fid#]gqXld#TFbed%bºd#]_agXNm#p?m#dXWVnpk "!z# &'"(*),+qbeh XlXbim#]_a_pd#unbeh/mw¨fiu#VNX

o

]_h^df

3Fok=Vj2 &fF 32+"+332^],S

#

beh o F>k=Vj2"('FH32Q+"+332^],S

#

.ST ]gmªbea_agfmxd#T/X`/mnX<fe

h/fidnbed#]gfih/m

Fªbeh o F

fe ]gmmnb¨X{^p qfih/m#d#u#`/qWd#]gfihB ¡fih XWumnXWa_p«fih/X¬Xbim#]_a_p qT/Xqn¼Qm%d#TFbedlbjmnb¥X{h/XWdlqbehX

V{be¼Q]_h yjbº ]_hFbeu#p zbeu#]cbe agXNfeXbiqT kFbe]_u¬£Lk acbiqXzqfiVlk agXWVNXWhd%k acbiqX¦s»mnfºd#T/Xld³¡f¿VNf o XWa

ÅbeVl]_a_]gXmTFb XZd#T/XªmnbeVNXZXsr?k uXmm#]gfihkf¡XWu

?l.» ¾ I ¾ I ¾ §*h/XWdA@Lk CB/ED3CD+']gm'mnbe]o df.XbehF ) -+ A+:+] ]_d1mnbed#]gm#¶FXm

d#T/Xx¨fia_agf]_h yk ufik!XWu#d#]gXm

Ozfh

]FB)DHG

+BIµ]gm.b{kFbeu#d#]cbeafiu o XWul£¥fiuC o Xs¶/h/Xmªb o ]_uXqWdX o biqWp?qWa_]gq

yzunbek T£ #§<JZ¦fih¿h/f o Xms¦s

|?fh

]KBDDLM! BN O

P#

LRQ S BlkFbeu#d#]cbeafiu o XWuT ]gm¡XWa_a¨fi` h o X o

?fh4U/]VB/'LWU*L? BNXbiqTjk acbiqXªTFbimbedVNfzm#dfih/XZ]_h k ` dd#unbeh/m#]_d#]gfihB

Y/fhYX]ZD'L[XRL?B{XbiqnT¿d#unbeh/m#]_d#]gfih±TFbim@bedagXbim#dfih/Xª]_h k ` dk acbiqXz

?fh

]KBDDHG

Y57

+UBNh/flh/f o X.]gm]_h¿mXWa·LÆ³qfih /]gqWd

´³h*beh*fQqqW` uXWh/qXh/XWd1k acbiqXm±£CB<¦beuXqbea_agX

o @!s¡beh

o

d#unbeh/m#]_d#]gfih/m±£D%¦%beuX

qbea_agX o +]\"+3!s /mXWu# X<d#TFbed@Vl]_h ]_V{beaAh/f o Xmxfe@ beuX<qfih o ]_d#]gfih/m¢_^.`ba`C@Q+<%BlST/X

kFbeu#d#]cbeafiu o XWuT o Xs¶/h/Xmd#T/X ) !2 +F:@f o Xm

IbeuXZmnbe]o dfN!X A ) D +3¨

o

XWh/fidX

o

^p

6cc'

I

Q] jh/XW]_d#T/XWu

657

I

h/fiu

I

h/fiu

I

T/fia

o

m1§ Ad!+YefgB ]gmb

(12)

mnXWd@fe'kFbe]_u#]gmXqfih/qW` u#uXWhdªqfih o ]_d#]gfih/mbr?]_V{bea»qfeÆ³mXWdm%£¥fiuxmXWd]_h/qWa_`/m]gfih¦beuX<qbea_agX o

) !W8§ %) -*]gmNbm#` ?ÆÅh/XWdfe@ £¥fiulVNfiuXºyXWh/XWunbea_a_p*bm#` /mnXWd%fe.h/f o XmJ¦

T ]gqnTj]gm@fid#Tjqfih /]gqWdwÆ¨¥uXXzqbe`/mnbea_a_pÆ³qWagfzmnX o £¥fihjd#T/XagXs¥dF]ÅXzfihjd#T/X ³kFbim#dm#]o X¦sbeh o

mJbed#]gmwLpQ]_h y[hYXc]

D\ X B

M e I a%JI/V _» Ã ¾ ¾ I Ä IU Ã -LÄ%JI/V qqW` uXWh/qX¬h/XWdm%beuX`/mXs¥` a«dfjuXWk uXmXWhd

u#` h/mfeb¤d#]_agX8m#p?m#dXWV ]_h d#T/X mfeÆ³qbea_agX o )@+ ) D + 2 !+43!s ST/XacbeXWagX o

fQqqW` uXWh/qX8h/XWd @ k CB/ED3CHw+j]gm b ( x -A+D!D!fe{d#T/Xd#]_agX:m#p?m#dXWV k

/ "! # &'"(*),+]

Oz]gmªbh/XWdªT/fiVNfiVNfiu#k T ]gm#V XWd³¡XXWhYCB/ED3CD+Zbeh

o

kFbeu#d#]gqW` acbeu^qfih o ]_d#]gfih/mbeuXacbeXWagX o p%kFbe]_um£L zbeu#]cbe agXz ibea_`/X@fe!d#TFbed« ibeu#]cbe agX¦sQbeh o

XW XWhdmxbeuXªacbe!XWagX o p¬d#]_agXm

|? o Xs¶/h/Xmxb ]vwXqWd#]gfihj!XWdËXXWhV^.`ba,C@Q+beh o Vj2"! # j2l+"+332L]q

#

?fhYX X I ] D WXbk WX

I

beh o $ X+k zX I+dfiyXWd#T/XWu@]_Vlk a_p Xk X I

}XWV{beu#¼.¢ ]_d#T d#T ]gm o Xs¶/h ]_d#]gfihB1b unbeh/qnT ]_h yk ufQqXmm<fed#]_agX{m#p?m#dXWV ]gm<h/fid#T ]_h y

yXWh/XWunbea!mnb¨Xh/XWdm^b.d#]_agXm#pQmdXWV]_Vlk!fzmnXm1m#d#u#`/qWd#` uXdfZd#T ]gm1h/XWdB¢AXbiqT ibeu#]cbe agX]_VlkFbiqWdX o

^p:bjd#]_agX¿bek kXbeuml]_h¤d#T/Xºk uXsÆ³mXWd{beh

o

¡XNqfih/m#]o XWu<uXm#d#u#]gqWd#]gfih/m<febº unbeh/qnT ]_h yjk ufQqXmmªdf¿mnXWdmfe ibeu#]cbe agXm¬ST ]gmmd#u#`/qWd#` uX

k uXW XWh^dmTFb ^]_h y o ]gmqfih h/XqWdX o XW XWh^dm

§ qfih?¶/yz` unbed#]gfih¬fe»bZ unbeh/qT ]_h y%k uf^qXmnm«fe`¤XWh/qf o Xmbªu#` h¬fe`:]_h{d#T/X¨fia_agf]_h y

bpBXWd+X45 X56989898ZX Z2a_]_h/XbeuXsr?dXWh/m#]gfih4fekFbeu#d#]cbea1fiu o XWu. uX o `/qX o dfXW XWhdmZfe

qfih/mnXqW` d#]_ X<qfih/qW` u#uXWh^d.XW XWh^dm´Ëd]gm@k uXqW]gmXWa_pd#T ]gm@`/mXfe1qfih/qW` u#uXWh/qWp±T ]gqnTjuX o `/qXm

mpQm#dXWVNm]_d#T±uX o `/qX o ]_hdXWunbiqWd#]gfih/m

@ I ]gmxb0 -+fe@¬ o XWh/fidX o ^p @ I @¬?]·]_d]gm@b¿£LagXsLdJ¦¡qbe`/mJbea_a_pÆ³qWagfzmX o m#` ?ÆÅh/XWdfe

k uXs¶ rºfeAb< unbeh/qT ]_h y{k uf^qXmmfe|*uXWV{be]_h/mb unbeh/qT ]_h y{k uf^qXmmfe|@'SB¡fl unbeh/qT ]_h y

&

' !

(

e & e

#'/

(

"*

e

/ e ( 1

$

'

(!(

- $

# e

"

( 6 "+

& e ( ( 53 "(

(

(Ae

e "(

"+

e 3 "

&

(

& e !"

%

/ !

( $

e ( 6

(13)

k ufQqXmmXmnm @ 4 beh o @ 6 TFb X@bV{br?]_V{beaFqfiVlVNfihlk uXs¶ r o Xs¶/h/X o ` kldfZbehl]gmfiVNfiu#k T ]gmV¿

ST ]gm@qfiVlVNfihjk uXs¶ r±beh o d#T/Xqfiu#uXm#kfih o ]_h y{acbeXWagX o h/XWd@]gmfiVNfiu#k T ]gm#V qbehj!X o Xs¶/h/X o

acbeXWagX

o

m#`/qqXmnmfiuXW XWhdm¥fiuXW XWu#pºkFbe]_ufeA]gmfiVNfiu#k T ]gqZqfeÆ³mXWdmfeAqfih

o

]_d#]gfih/m

«¾ 4

G . < ( x [ D+D!A!+D!7@[49H@6 T7 -+ !4 ; + x /) -d

'@ 4 ! '!4 ; 5 %) -`@ 6 3\"+ A!+2

h/XjTFbim¬dfmT/f2d#TFbedd#T/X]gmfiVNfiu#k T ]gmVNmuXWacbed#]_h y¤kFbe]_umºfeqfih?¶/yz` unbed#]gfih/m¿fe@[4QW

@c6qbehEX ³yza_`/X o ]_hdf:bacbeu#yXWu{]gmnfiVNfiu#k T ]gm#V XWd³¡XXWhg@[4ºbeh o @6i ST ]gmN]gm{V{b o X

kfzmm#]_ agX%^p d#T/X%ÅbiqWdZd#TFbedZd³¡f±]gmnfiVNfiu#k T ]gq{qfih?¶/yz` unbed#]gfih/mfeb unbeh/qT ]_h yk uf^qXmm<beuX

h/XqXmnmnbeu#]_a_p ]o XWhd#]gqbeaÅAXqbe`/mX{fekfi]_hd%]_hd#T/X o Xs¶/h ]_d#]gfihB/#.XWdnbe]_agmfed#T/XNk ufQfebeuX

agXs¥d1dfªd#T/XuXb o XWu /mXWu# Xd#TFbedd#T/XuXm#` a_d¡m#d#]_a_a/T/fiao m^]_d#TNd#T/XmJbeVNXk uf^fe#]·#]_h/mdXb o

fe'qT/Xqn¼^]_h ybea_a»qfih?¶/yz` unbed#]gfih/m.fe1b% unbeh/qT ]_h y¬k ufQqXmm/fih/X<qT/Xq¼?mxfih a_pbNqf XWu#]_h yºmXWd

feªqfih?¶/yz` unbed#]gfih/m £¥fiuXsr beVlk agX±d#T/X¿mXWd{feªV{br?]_V{beaqfih?¶/yz` unbed#]gfih/mJ¦s ´Ëh¤d#T/X±mX©^`/XWaÅ

¡X o f{h/fid o ]gmd#]_h yz` ]gm#T±]gmfiVNfiu#k T ]gq unbeh/qnT ]_h y¬k ufQqXmmXmbeh o ¡Xk uf Xd#T/XZ]o XWhd#]_dËpjfe

unbeh/qnT ]_h y{k ufQqXmmXm^p¬qfih/md#u#`/qWd#]_h y¬beh¿]gmfiVNfiu#k T ]gmV !XWdËXXWhjd#T/XWV¿

ST/X` h ]gfihfeB unbeh/qnT ]_h y<k ufQqXmmXm@

4

beh o @ 6

]gm

o

Xs¶/h/X

o

bim1d#T/XVl]_h ]_V{beafQqqW` uXWh/qX

h/XWdªTFb ^]_h yK@[4beh o @6lbimªk uXs¶ r Xm%´³dªqbeh beybe]_h4X o Xs¶/h/X o uXqW` um#]_ XWa_p]_d#T b¬k ufeÆ

k ufQqXmmªTFb ^]_h ybea_a1 unbeh/qT ]_h yk uf^qXmnmXmbimªk uXs¶ r Xm (]_dª]gmZqbea_agX o d#T/XT) lfed#T/X

d#]_agXªmpQm#dXWV £¥mXXªd#T/XfiuXWV |zl]_h4°|e²L¦s

§µ unbeh/qnT ]_h y{k ufQqXmm0CB/ED\3CH+feu qbeh¿Xªqfih/m#d#u#`/qWdX o ^p¬d#T/Xx¨fia_agf]_h y

Ã ¾ Ä » ¾ G

]_h ]_d#]cbea_]_®bed#]gfihZ¢

D k98

qWuXbedXFLTL]_h ]_d#]cbeaqfih o ]_d#]gfih/m]_h/B m#`/qnT*d#TFbedlh,2 ] U] B B zU5+k

j2"!$# j2l+"+

uXqW` um#]gfihZ¢

qT/fQfzmXZqfeÆ³mXWd e& B¸beh o d#]_agXbFc]d m#`/qT±d#TFbed'ze+k 3F

qWuXbedX+X]_h D6m#`/qnT¿d#TFbed<[Xkge beh o $ X+kF£L]·Ad#T/XWuXª]gmh/flm#`/qnT±XW XWhdJ¦s

d#T/XWh h,2]q,S/qWuXbedX<b U.]_hZB m#`/qnT¿d#TFbed<WU k X<beh o zU5+kpj2"('FH32Q+"+

k ufQqXmmXmfi dnbe]_h/X

o

pZk ufQqX

o

` uXCOzbeh

o

` uX Oz