Modal specifications are a syntactic fragment of the Mu-calculus

(1)

HAL Id: inria-00070396

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

Submitted on 19 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.

Modal specifications are a syntactic fragment of the Mu-calculus

Guillaume Feuillade

To cite this version:

Guillaume Feuillade. Modal specifications are a syntactic fragment of the Mu-calculus. [Research Report] RR-5612, INRIA. 2005, pp.17. �inria-00070396�

(2)

ISRN INRIA/RR--5612--FR+ENG

a p p o r t

d e r e c h e r c h e

Thème COM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Modal specifications are a syntactic fragment of the Mu-calculus

Guillaume Feuillade

N° 5612

Juillet 2005

(3)

(4)

-./--

021'354648791:+;<=;>1'3645487@?';BA

CEDGFIHKJ#LMONQPSRBTVUXWYFIHKJZU[\]HKH#^G_G`a[cbd_]WeU

fhgY\dijJWkRBl

mnbdoGo9\dgYWpGJgYJZ[eDGJcge[eDGJq_9r=sdtGu&v2PSwd^G`yxyxzJcW{v}|d|>sOP~u&o/bddJZU

IcGddq_WYD/`yUgYJIo@\]gXWJ2`z_>WYg\VpV^/[cJ2HK\VpGbdxkUYo@JZ[`z@[cb}WY`y\d_/UIb_/Jc\dVijJZ[WpVJZpV`a[cbWJIp+WY\

UYo9JI[`zTUX\]HJhGgeb}_/[eDG`y_Gd6W`zHJhoGg\do9JcgYWY`yJIU\dg'UXTVUXWYJIHUIN\Bp/b}x]UYo9JI[`z@[IbWY`y\d_@UbdgYJ$bn^/UXJc^Gx>WY\B\dxd\dg

UXWY^@pVTB`z_Gf'JWgY`V_/JW$UYT>_>WDGJIUY`yU=bdxWDG\d^/dDWDG`aUhbdUYo@JZ[W=`aU'_G\}W=oGgJIUYJc_>WYJZpD/JcgJd'CEDGJEHbd`z_KoG^Ggo9\]UYJ\d

WDGàUEgYJIo@\]gXWàUWY\JIUXWbdGxy`yUYDWDGJJI>^G`yb}xyJc_/[cJO9JWjJcJI_bUYTB_]Webd[WYà[kgeb}]HJc_>W\}WDGJN2^V[cbdxy[c^Gxy^/Uc

_@b}HJcxyTWYDGJ[\d_}ij^G_/[W`z]J k^V8[Ib}xa[^Gxy^/UKb}_/p¡HK\VpGbdxUYo9JI[`z@[IbWY`y\d_@Uc¢£Jd`ydJWYDGJb}xyd\dg`zWYDGH¤\dg

[c\d_/UXWYg^/[WY`y_Gb[c\d_ij^/_/[W`z]J{ n^G8[Ib}xa[^Gxy^/UUXJI_]WJc_/[cJkJZ]^/`zb}xyJc_>WWY\#bH\Bp/b}x¥UXo9JI[c`@[IbW`z\]_b}_/pWYDGJ

[c\d_BdJIgUYJd¢£JbdxyUY\UjW^/pVTWYDGJUXWYg^/[W^GgJO\dWDGJUXJcWn\}HK\VpVJIxyUn\}bKH\VpGb}xUXo9JI[c`@[IbW`z\]_

¦2§>¨¥©ª« ¬d N^V8[Ib}xa[^Gxy^/UIVgb}WY`y\d_/bdx¥xybd_Gd^/bddJZUcVUYo@JZ[`z@[cb}WY`y\d_

h®¯°®²±°³j´&´&³jµY¶·Z¸6¹eº»³¼=½c¾

(5)

-.G-

LJpV\V[^GHJc_>W`y_>WYg\VpV^G`zW^G_ _G\]^GdJIx=\dVijJcW#pIpG` xab2UYoZ[`z@[cb}WY`y\d_o@\]^Gg^G_¡UYTVUj

WFcHJdhpGJoGg\doGg`WZUpV^ WYJIHKo@U#bdgY9\dgJIU[JI_]WxyJIUKUYoZ[`z@[cb}WY`y\d_/UHK\VpGbdxzJZUcJZU#UYoZ[`z@[cb}WY`y\d_/U

H\VpGbdxzJZUUX\]_>W^G_ \d^GWY`yx$^VW`zxy`yUo9\d^Gg#xW^/pVJpVJxab2UXTB_>WYDGFZUXJpVJgIUYJIb}^£pVJf'JcWYg`! h[JcW#bdUYo9JI[W

_"cWb}_>WWY\]^VWYJc\d`aUo@bdU'b}9\dgep`y[c`6JEoGg`z_/[c`zo@b}x>\dVijJZ[WY`z9pGJ[cJgeb}o/o@\]gXWJIUXW'p#Web}Gxy`ygx$I>^G`y&bdxzJI_/[J

p%JBo/gYJZUYUY`zB`zWJI_>WYgJ^G_ gbddHJc_>W#UYTB_]Web&V`a]^/JpV^ N^V8[Ib}xa[^Gx('xyJ n^V[cbdxy[c^Gx[c\d_ij\]_/[W`*)JcWKxyJIU

UYo+I[`z@[IbWY`y\d_@UH\Bp/b}xyJIUI k\d^/U{pV\d_G_/\d_/Ux$b}xyd\dg`zWYDGHJo9JcgHKJcWXWeb}_>Wkxab[\]_/UjWgY^@[WY`y\d_2p#^G_GJ#UXo+I[c`

9[cbW`z\]_H\VpGbdxzJ(I>^G`yb}xyJc_>WYJK^G_GJUYJc_>WJc_/[cJpG^ N^V8[Ib}xa[^Gx JcWgZ[`yoGgY\V>^GJIHKJI_>WI= n\]^/U,W^/pV`y\d_/U

I]bdxzJIHKJI_>WxabUjWgY^@[WY^/gYJO\dgH-cJo/bdgx$Jc_/UYJcH#GxzJpGJIUEH\VpVFcxyJIUp#^G_GJUYo+I[`z@[IbWY`y\d_ H\VpGb}xyJd

. « Z © 0/ N2^V[cbdxy[c^Gx5Vxybd_G]bddJIUgebWY`y\d_/_GJcxaUcGUYo+I[`z@[IbWY`y\d_

(6)

#'-$

geb}_/[eD/`z_GKW`zHJxy\d]`y[IUnb}gJbo9\JIgX^/x WY\B\dx\dgOUXo9JI[c`TB`y_GUYTBUXWYJIHo/gY\]o@JIgXW`zJZU /WYDGJITbdgYJ`apVJcxyT

^@UXJZp `y_WYDGJbdgYJZbdUK\}dJIgY`z@[cb}WY`y\d_b}_/p [\]_>WYg\dx5N2\>UjW\d{WDGJIUYJ xz\]d`a[cUbdgYJ UX^//UX^/HKJZp>T WYDGJ

N^V8[Ib}xa[^Gxy^/UD/`y[eD `aUnbKB5o9\d`y_>WX8/bdUYJIpGgeb}_@[eDG`z_/#W`zHJxy\d]`y[d _ \d^/gn\]g¥VJ[\]_/UY`ypVJIgnN2^V

[Ib}xa[^Gxy^/UKbdUKb @bdUY`yU#`z_+\dgepVJcgWY\xz\B\ b}WpGJI[àpGbdGxzJxy\ddà[cbdxhgeb}]HKJI_>W\dgf'JWgY`_GJcWUYTB_>WYDGJZUXàUc

! Ub[c\d_/UYJI>^GJI_/[J]JpVJ/_/Jb2UXTB_>Wb][W`y[Kgeb}]HKJI_>W\}WYDGJN^V8[Ib}xa[^Gxy^/UI[Ib}xyxzJZp£WYDGJ[c\d_ij^/_/[

W`z]JH\VpGb}x' n^G8[Ib}xa[^Gxy^/UI9D/`y[eD£`yU{JIxzxzUX^G`zWYJZp \dgUXWY^/pVTB`y_GpGJI[`apGbdG`zxy`zWjT2@\]^G_/pGUk\dgOf'JWYg`'_GJW

UYTB_>WYDGJZUX`aUc#"k\JIdJIgI>WYD/J[\d_}ij^G_/[W`z]JH\Bp/b}x n^G8[Ib}xa[^Gxy^/UxyJIb]pGUWY\[c\dHoGxyJ oGg\B\}»UE`y_WYDGJ@Jcxap

\df'JcWYg`_GJWeUcRB`z_@[JJbd_]WnbH\dgJxybd_Gd^@b}dJc5@bdUYJIpbdoGoGg\]bd[eDWY\Ggeb}_@[eDG`z_/}5WY`yHKJoGg\do9JcgYWY`yJIU

WD/bWk[Ib}_@JJVoGgYJZUYUYJIp^/UY`z_GWDG`aUxz\]d`a[}VJ`z_>WYg\VpV^/[cJOH\VpGbdxUXo9JI[c`@[IbW`z\]_/Uc$RV`z_/[cJWYDGJZUXJUYo@JZ[

`z@[IbWY`y\d_b}gJKpGJIUY`z]_GJIpbdU{WY^/oGxzJ\dgebW`z\]_/b}xxybd_Gd^@b}dJZUc `zW`yUJZbdUY`zJIgOWY\ JIUXWbdGxz`aUYD xy`z_VU9JWjJcJI_

f'JcWYg`h_GJWKUXTB_>WYDGJZUX`aU\]ggb}WY`y\d_/bdx=xybd_Gd^@b}dJZUb}_/pf'JWgY`_GJWKUXTB_>WYDGJZUX`aUO\dgHK\VpGbdxUYo@JZ[`z@[cb}WY`y\d_/U

WD/b}_\]g[\]_ij^G_/[WY`ydJH\VpGb}x$ k^V[cb}xa[^/xz^/UI _WDG`yUgYJIo@\]gXWZJoGg\dJ#WYD/b}W#[\]_ij^G_/[WY`ydJH\VpGb}x

k^V[cb}xa[^/xz^/U'bd_/pH\VpGb}xVUYo@JZ[`z@[cb}WY`y\d_/UD/b&]J$WDGJUb}HJJ VoGgJIUUX`ydJ$o@\Jcg=b}_@pWYD@bW'JE[cbd_#UY`We[eD

9JWjJcJI_ 9\}WD£`zWYDG\]^VWxy\]UUk\ddJI_GJcgeb}xy`zWjTd¢Jb}xaUX\oGgY\]JWD/bWWYD/JUYJW\dH\VpVJcxaUO\}bH\VpGb}x

UYo9JI[`z@[IbWY`y\d_`aUbxyb}WXWY`a[J`zWYD/_G`zWYJH\VpVJIxyUnb]UEJ BWYgJcHb/

CED/JngYJIo@\]gXWh`aUh\]gY>b}_G`%$cJZpbdU'\]xzxy\nU/geUjWZ]`y_UXJZ[W`z\]_ X dJkpVJc/_GJWDGJkH\VpGbdx@N2^V[cbdxy[c^Gxy^/U'g\dH

D/`y[eD#JJ BWYgebd[WWDGJ[\]_ij^G_/[WY`ydJHK\VpGbdxG n^V[cbdxy[c^Gxy^/U'bdU'b{UYTB_>Wbd[WY`a[hgeb}]HJc_>W &WDGJc_]`z_KUXJZ[W`z\]_

YX JoGgJIUYJc_>WH\VpGb}xUXo9JI[c`@[IbW`z\]_/Ub}_@p£JoGg\dJKWYD@bWWYD/JUXJcW\}EH\VpVJcxaU`aUb xabWXW`y[cJ0 =b}_@p

@_/b}xyxzTUXJZ[W`z\]_ '& `yUkpVJIpV`a[cb}WYJZpWY\WYD/JoGg\B\}'\}WYDGJJZ>^G`zbdxzJI_/[J9JWjJcJI_ HK\VpGbdxUYo@JZ[`z@[cb}WY`y\d_/U

bd_/pHK\VpGbdx n^VXLb}xa[^/xz^/UI

(#)*( +-,/.1032406587:9';9<,74=

JW?>A@CBEDGFHIJII*DLKNM#9J#b/_G`zWYJb}xyoGD/b}9JWZn¢JK[c\d_/UY`ypGJcgWDGJ#xab}_/d^/bddJIUE\]Jcg8>{¥`zWYDO4HPQIII

b]UhWjTBoG`a[cbdx@JIxzJIHJc_>WUEb}_@p`zWYDWDGJO^/UX^@b}x9_G\}WebWY`y\d_@UROTSOUIDK`WDVDXW>{BJWe[}=CEDGJOJcHoVWjT\dgep

`aU_G\}WJIpZYd'¢ DGJI_V[2b}_@pX\b}gJnWj\KJcxyJcHJc_>WU\dR> S G[]I\pVJIUY`z]_/bWJkWDGJ[\d_@[cbWJc_/b}WY`y\d_\}^[2b}_@p

\b}_/pV[6S4@3BJ[6_-`*aVW

NMDGJcgJb[c_`yUWDGJ[\]_/[cb}WYJI_/bW`z\]_\}#aWY`yHKJZUEWYD/J\]gpd[

e§gfihij j»«Nh3kmlnkml!JW-O @JObxab}_G]^/b}]JddJkUb&TWD/bW-O `yU#Nopiqr*s tn`bd_/p\d_GxyTK`#YuWvO¡b}_@p

\]gbdxzx¥\dgepXDFEIJIII^IDLwxWvO JkD@b&dJ:DFIIIJIIDgw:yF:WzOk'CED/J{oGgJ >[xy\]UY^GgJn\}bxab}_G]^/b}]J4O+`yU

WDGJkxyJIb]UjWoGgJB[xy\]UYJIpxab}_G]^/b}]JDG`y[eD`yUbUY^Go9JcgeUXJcW\d^On'¢£J{_G\}WJ:OT{|}@3B\XW>~S#`'I\XWOUM

WDGJ t-<b t}qL $\d]q`y_zOk

JW^@U$gJcHb}gp#WYD/b}W$WYD/JkJcHoVWjTxab}_G]^/b}]J`yU_G\dWoGgJB[xy\]UYJIpKBTpVJ/_/`W`z\]_BJn`yxyx@D/b&]JWY\

WgYJZbWn`zW{UYJco/bdgb}WYJcxyTD/Jc_2_GJIJIpVJZp# /`y_o/bdgXW`y[c^GxybdgIB\]g{boGgJ >[xy\]UYJIpxab}_G]^/b}]J?OnVWDGJxab}_G]^/b}]J

OT{p| `yUnJc`zWYDGJIgnoGgJB[xy\]UYJIp8`zixWO=h\]gJcHoVWjT] _WYDGJ\]xzxy\`z_//O b}xyEb&TBUEpVJI_G\}WJIUboGgJ >

[cxz\>UXJZpxab}_/d^/bddJd

(7)

) -.G-- -$ )!-./--

_ WYDG`aUUYJI[WY`y\d_ J]`z]J2WYDGJpVJc/_G`zWY`y\d_ \dHK\VpGbdx{H#^V[cb}xa[^/xz^/U\dgH^GxabdUb}_/p \db UYTB_]Webd[WY`a[

geb}]HJc_>W\}WYDGJ2H\VpGbdxkH^G8[Ib}xa[^Gxy^/UKWDGJ [\]_ij^G_/[WY`ydJ2_B^V[cbdxy[c^Gxz^@U ¢£J£b}xaUX\oGg\B`ypVJ2bd_

`y_>WYJIgYoGgJWebW`z\]_\d\dgH^GxabdU\]JcgoGgJ >[xy\]UYJIpxab}_G]^/b}]JIU`y_/UXWYJIb]p \}WYD/J\d_GJ \dJcgoGgY\V[cJIUUXJZU

]`z]Jc_ \dgJ Gb}HoGxyJK`z_! k|/u 5KCEDGJIUYJKWj\`y_]WJcgoGgJWb}WY`y\d_/UOb}gJWDGJUYbdHJ#`zWYDWYD/J[c\d_BdJI_>WY`y\d_

WD/bWbxab}_/d^/bddJpVJI_G\}WJIUkWYDGJUYJW\}UXWb}WYJIU{\}boGg\V[JIUUnD/`y[eD[cb}_ @JKgYJZbd[eDBT\dxyxy\`z_GWYDGJ

Wgbd_/UY`W`z\]_UXJZ]^/Jc_/[cJk\}JZbd[eD\dgep\} WDGJ{xab}_/d^/bddJdi"n\Jc]JcgZ}WYD/Jkxab}_G]^/b}]JnoGgJIUYJc_>Wb}WY`y\d_d`ydJI_

D/JcgJO/gY`y_G]UEH\]gYJOgYJZbdpGbdGxyJOo/gY\B\}»UI

~)*( .:=},0! 065"#$<,/=g0^2%R7'&()&/0^=

¢J$]`z]J=WYD/JpVJc/_G`zWY`y\d_\d/H\VpGb}x]H^V[cbdxy[c^Gxz^@U\]gYH#^Gxyb]Ub}_@pb}_`y_>WYJIgYoGgJWebW`z\]_\dJcgoGgJB[xy\]UYJIp

\]gYH#^GxabdUIJW*?D,+?@3B.- H-dFH-0/HIJIItM9JbUXJcWn\}bdgY`ab}GxyJIUI

e§gfihij j»«Nh216lnkml4365 ¨h Z7 «98 ;: § . © d /»0/$<

CED/JnUXJcWh\} H\Bp/b}xGH#^V8[Ib}xa[^Gxy^/U\]gYH#^Gxyb]U'`yUh_G\}WJIp O(=#b}_/pK`aUhpVJc/_GJIpBTWYDGJ\]xzxy\`y_Gdgeb}HHb}g

>O =@?ACBcF H B9/DED@2FHG,IKJ4`L- `NMNDPO BcF `Q BcF `B6FSRTBU/ `LV-IB6F

>- A

D/JcgJXD W > bd_/p`WDWYDGJgJI>^G`ygJcHJc_>WWYD/b}W#b}xyxhb}g`ab}GxyJ0- `aU^G_@pVJcgWDGJU[\]o@J\dEbd_JIdJI_

_B^GH#@JIg\}_/Jc]b}WY`y\d_UXTBH9\dxaUWQ `y_ B F >- A \dgbdxzx\dgH^/xybXV- IB F >- A 5`y_\dgepVJcg{WY\ Jc_@UX^GgJKWYDGJ

JV`yUXWYJI_/[J\}VJIpV5o9\d`y_>WUX

¢Jn_G\dWYJYZ[K\]JH;^D`_B FEH B FKa B /H bdcgHfebdcOb}_@p@gH- IB F >- A WYD/JngYJZUXo9JI[WY`ydJE\]gYH#^Gxyb]UhQ)FHG`IiJH6QdM

DjO

>Q B F A HkQ

>Q B F R Q B / A H;MNDPOlFHG`IiJH;^Df_mYZ[\fJbd_/pnQ)V-IQ B F >

Q)- A

¢JUYb&TWYD@bWWYDGJ0-28b}g`ybdGxyJ`yU-oX B `z$`zW`aU_G\dWO^G_@pVJcgOWYD/JU[\]o@JK\}b}_BToVRI- \dgpgGI-

\]o@JIgb}WY\]gI¡CEDGJ UYJW\}ngJcJb}g`ybdGxyJIU#`z_ B `aUK_G\}WJIp \gD,+

>

B)A ! \]gYH#^Gxab B `WDG\d^GWbd_BT£gJcJ

bdgY`ab}GxyJO`yUn[Ib}xyxzJZpbV 'tcpc

¢JpVJc/_GJbd_2`z_>WYJIgYo/gYJcWbW`z\]_\d=HK\VpGbdxH#^V8[Ib}xa[^Gxy^/U\]gYH#^Gxyb]U\dJIgoGgJB[xy\]UYJIpxybd_Gd^/bddJZU

\]JcgWDGJb}xyoGD/b}9JW?>{{CEDGJ#`z_>WJcgoGgYJcWb}WY`y\d_2\}$bH^V[cbdxy[c^Gxy^/U\]gYH#^Gxyb\dJcg{boGgJB[xy\]UYJIp xab}_V

]^/b}]JO `aUnWDGJUXJcW{\}h\dgepGUk\}/O UbW`yUXTB`z_/WYDGJ#\dgH^/xybb][c[c\dgepV`z_/WY\bd`ydJI_2`z_>WYJIgYo/gYJcWbW`z\]_

\LDHq\dJcgWDGJgYJIJ&bdgY`ab}/xzJZU\dWDGJ\dgH^/xyb ]WDG`aUnUXJcWn`yUE_/\}Wn_GJZ[JIUUb}g`zxyToGgJB[xy\]UYJIp

e§gfihij

j»«Nh216lm16l4365§

¡

h j

«U8~O = «Hr9§

Ts

§gf

7 © /« § ¬ /»

h)t

t9§

<

WDGJO`z_>WYJIgYo/gYJcWbW`z\]_\dJIgb#oGgJB[xy\]UYJIpxab}_G]^/b}]J:Ou >~Sk\db#UYJc_>WJc_/[cJ B WvO = bd[I[\]gpV`y_GW\Kb

bdxz^/b}WY`y\d_z\gDHq D *D`+pb O`aUEWYDGJUYJWp^^Pv@__xwy ckz|{

} u ODG`a[eD `yUE`y_/pV^/[WY`ydJIxzTpVJ/_/JIpBT+

^^jF,G,IiJN__

wy c z|{

} @ O

^^j-~__wy ckz|{

} @ \gDHq

>- A

^^;QSv__xwy ckz{

}

@AO^^Pv__xwy ckz{

}

^^ B F RXB /)__

wy ckz|{

}

@^^ B F)__

wy ckz|{

}

^^ B /)__wy ckz{

}

^^]MNDPO B F__wy ckz|{

}

@xBJ WvO `E?IDdW^^ B F__

wy ckz|{

} M

^^jV- I

B6F

>- A

__xwy ckz{

}

@XB$*u O `^^

BcF __wy

c zm

{6

{

}

u*M

(8)

D/JcgJWYDGJb}xy^/bW`z\]_ \gDHq >*$-

A0D

*?D,+b >O A

`aU]`z]Jc_BT}\gDHq> *$-

A >-

A @ * >-

A

\]g#bdxzx

bdgY`ab}GxyJ-6Wo*?D,+KUY^/[eDWYD/b}W'-)e@2- bd_/pd\LDHq>*-

A >- A

@2*

CEDGJO`y_]WJcgoGgJWb}WY`y\d_^^6V- IB >- A __wy c z|{

}

'gJIUYo ^^6gH-IB >- A __wy ckz|{

}

)$`yUWYD/JOxyJIb]UjWVJIpB8o9\d`y_]W'gJIUYo

]gYJZbWJIUXWVJIpB8o9\d`y_]W )\dWYD/J£^/_/[W`z\]_ *b ^^ B __wy ckzmm

{6N

{

} CED/JUYJcHbd_]W`y[ \}H#^V[cb}xa[^/xz^/U

UYJc_>WJc_/[cJIU$pG\>JZUh_G\dWpVJIo@JI_/p\]_WYDGJ{&bdxz^@bWY`y\d_" ]`y_WYD/`yU[cb]UXJ]dJk_G\dWYJ ^^ B __}

WDGJk`y_>WYJIgYoGgJWebW`z\]_K\d

B bd[I[\dgepV`y_GW\Kbd_>Tb}xy^/b}WY`y\d_'¢JOUb&TKWYD/b}WjWYDGJOxab}_G]^/b}]J4O n t kWDGJUXJI_]WJc_/[cJ B O `@ B

\]gnUXD/\dgYWX=`=b}_@p\]_GxyT`-YuW^^ B __

}

~)x ,/7H47N;9L/0 7:=

¢JOJ BWYgebd[WEbKUXTB_>Wb][W`y[ngbddHJc_>WE\}]O#=@=CEDG`aUgeb}dHJI_]W`zxyx 9J{\]^GgE/bdUY`yU$\dgb#_GJc xybd_Gd^/bddJc

@bdUYJIpgYJIoGgYJZUXJI_>WbW`z\]_DG`a[eD`yUWDGJHb}`y_o/^GgYo9\]UYJ\}WYDG`aUgJco9\dgYWI

e§gfihij j»«Nh216ll43#«mh h } jr@§ « ¬/ © ]/» /$<

CED/JUYJW\dG_B^V8[Ib}xa[^Gxy^/U\dgH^GxabdU`yU_G\dWYJIpObd_/p`aUWDGJ$geb}]HJc_>W\}NO(=pVJ@_GJIp>T{WYD/J$\]xzxy\`z_/

gJIUXWYg`a[WY`y\d_\}WYDGJ]gbdHHbdg\d O#=`zWYD D W>

>O

4?A BcF

H

BU/DD@ FHG,IiJ4` - `hb c `P^D`_

BcF

`eb c `

BcF

a

B9/

`gH- I

BcF

>- A

CEDGJ`z_>WYJIgYo/gYJcWbW`z\]_ \}$bK\dgH^/xyb B WOK\]JcgkboGgJ >[xy\]UYJIpxab}_G]^/b}]JuO2u >~Sbd[c[c\dgepV`y_G

W\b#bdxz^/b}WY`y\d_z\gDHq D *D,+Wb OàUEd`ydJI_BTWDGJUXJIHb}_>WYà[O\}WYDGJUb}HJO\dgH^Gxab#`z_O(=+ VWD/bWnàU(

^^jFHG,IiJN__xwy ckz{

} @ O

^^j-__wy c z|{

} @ \gDHq >- A

^^.b!c B __wy ckz|{

} @ B3WvO `E?IDVWzOUM

^^eb!c(__wy ckz|{

}

@3B3WO `IDWvOUM

^^f^D`_

B __wy ckz|{

} @ BJxWvO `E?IDXW ^^ B __xwy ckz{

} M

B3WvO `E?IDWzOUM

^^ B Fa B /)__

wy c z|{

}

@^^ B F __wy ckz|{

}

^^ B /)__

wy ckz|{

}

^^;g- IB >- A __wy ckz|{

}

@XB*u O `^^ B __wy c zm

{6

{

}

*M

CEDGJ\]o@JIgb}WY\]gMcDjO B \}iO#=[Ib}_ @JJVoGgYJZUYUYJIpBT^D`_B a bdc`y_vOB#"n\Jc]JcgZ>WYDGJ\]xzxy\`z_/

\]o@JIgb}WY\]gU=[Ib}_G_G\dWh@J{J VoGgJIUUXJZpK`z_XO B F

RpB

/d`V- IB >- A

HYZH[K\fJV=CEDGJ{pV`yU»ij^G_/[WY`ydJn\]o@JIgb}WY\]g

R

`aU_G\ \d_/xzT`yHoGxz`a[`zWYxyToGgJIUYJc_>WE`z_WYDGJ\]o@JIgb}WY\dg^D`_

B

D/`y[eD[\d^/xyp@JJ VoGgJIUUYJIpBToMcDjO

B R eb!c

`y_O(=9

£ * e )!c

_ WDG`aUkUYJI[W`z\]_/JoGg\do9\]UYJb_GJc HJIbd_\dg{UYo9JI[`zTB`z_/bUXJcWk\}'H\VpVJcxaUc@_/b}HJIxzTH\Bp/b}xUYo@JZ[

`z@[IbWY`y\d_@Uc ¢JUXD/\*`y_ WYDGJ2_GJBWUXJZ[WY`y\d_WD/bWH\VpGb}xnUYo9JI[`z@[IbWY`y\d_@Ub}gJ2UjWgY`a[WxzT¡JZ>^G`zbdxzJI_]W

W\£[c\d_ij^G_@[WY`ydJ_B^V[cb}xa[^/xz^/U#UXJI_>WYJc_@[JIUI "n\Jc]JcgZWDGJ9UjWd\>b}x\}nH\VpGb}xUYo@JZ[`z@[cb}WY`y\d_/U#`yUWY\

(9)

JZbdUYJWDGJb}_/bdxzTVUY`yU{\}WYDGJUYJW\}H\BpGJcxaU\}bUYJc_>WYJI_/[J\}TOBD/`zxyJKWYDGJUYJI[\]_/p£d\]bdx6¥DG`a[eD`yU

_/\}WkoGgJIUYJc_>WJIp `y_ WYDG`aUkgJco9\dgYWI@`yUnWY\o9JcgH`W{WYDGJ#J BWYgebd[WY`y\d_ \}hbUXWYg^/[WY^Ggeb}xgbddHJc_>W\dg{DG`a[eD

^/_Gxybd@JIxzJZpfJcWYg` _GJWkUYTB_>WYDGJZUX`aUE`yUpGJI[`apGbdGxzJ]

~)*( 06587:9';9<,/7:=

e§gfihij j»«Nh lnkml43. « ¬/Ps § jf dV j»«Nh <

!

H\Bp/b}xUYo9JI[`z@[IbWY`y\d_ `yU#b2WY^/oGxzJ @'B

c M c

HDGJcgJd\dgb}xyxD W >{

c

`aU#b2gebW`z\]_/b}x

xab}_/d^/bddJO\}\dgepGUWD/bWW L JI_/b}/xzJb}_2b][WY`y\d_vDbd_/p`yUWDGJgebWY`y\d_@b}x xab}_G]^/b}]Jk\}\dgG`apGpVJI_

\dgepGUICED/J ]Ucst}ptop'ob]UYUY\V[`abWJIpW\V_G\}WJIp`aUWYDGJbdoGoGxy`y[IbWY`y\d_

D >>~S A b

>>~S

A

pGJ/_GJZp>T >O A @

c

>O c A ID9

! H\VpGb}x{UXo9JI[c`@[IbW`z\]_pVJc/_GJZUbUXJcW\}HK\VpVJIxyUDG`y[eD b}gJ oGgJB[xy\]UYJIp¡xab}_/d^/bddJIUI ¢£J

pGJ/_GJWDGJUYJcHb}_>WY`a[{\}=b#H\VpGbdxUXo9JI[c`9[cbW`z\]_b]UbUXJcWE\dH\VpVJIxyUE`y_WYDGJ\]xzxy\`z_/#Eb&T

> A @ BO u > S

` >O A u O azO

@GM

/gY\]H WDG`aUKpGJ/_G`zWY`y\d_=JUYb&T WYD/b}W `aUX n t%`z

> A e@!b}_@pWYD/b}W O n t " `z

O W

> A 'CEDGJEH\BpGJcxaU\d#bdgYJWYD/Jc_WDGJExybd_Gd^@b}dJZUUbW`yUXTB`z_G{WYD/J\]xzxy\`y_GnWj\{[c\d_/pV`zWY`y\d_@U

$

\dgJZbd[eD\]gpV \}iO `y_%

c

?IDH^@UjWn9JbK\]gp\}ROn

$

_G\\dgep\}ROHb&T@J`y_/

mnJcHb}gpWYD@bWnWDGJH\VpVJcxaU\}hbH\VpGb}xUXo9JI[c`@[IbW`z\]_Hb&T_G\}Wn9JgebWY`y\d_@b}x xab}_G]^/b}]JIUI/"n\Jc]JcgZ

b]UhH\VpGb}x¥UYo@JZ[`z@[cb}WY`y\d_/Ub}gJkpVJZUX`yd_GJZpWY\#@JOJI>^G`yb}xyJc_>W$W\#bgbddHJc_>W$\d WYDGJOH^V[cbdxy[c^Gxy^/Uc]WYD/JcT

`y_GDGJIgY`zWhWDGJ/' Noo'&nb]UhJn`yxzx¥UXD/\+xabWYWYJcgEb}_@pKWYDGJI_BDGJc_

> A `yU$_G\d_GJIHoVWjTd

D/b]Ub#gebW`z\]_/b}x H\VpVJIx6

^lkNlk ( &Ks): j]/E § s § §Lh IG j»«Nh

_£\dgepVJcg{WY\9JKbdGxzJ#WY\d`ydJ#B`yUY^/b}x'JVbdHoGxzJZUc¥JKpGJ/_GJb]gbdoGDG`a[cbdxgJcoGgJIUYJc_>WebWY`y\d_2\d$H\VpGb}x

UYo9JI[`z@[IbWY`y\d_@UH\Bp/b}x b}^VW\dHbWebG'CEDGJIUYJb}^VW\dHbWeboG^VWEW\ddJcWYDGJIgbdxzx@WYD/J[c\dHo9\d_GJI_]WeU$\dH\VpGb}x

UYo9JI[`z@[IbWY`y\d_

!

H\VpGb}xhbd^VWY\]HbWY\]_£`aUb}_b}^GWY\dHb}WY\d_£`WDG\d^GW/_/b}xhUXWb}WYJZUDGJcgJJIbd[eDb}ge[#`yU

JI`WDGJcgnbKoGxab}`y_ xz`y_GJ\]gEbpV\dWXWJIpxz`y_GJ]

JW >x@ BDNH)EH*EM]¢J_G\}WJ"+

>-,

A

WDGJ#xab}_/d^/bddJ\d$WDGJb}^VW\dHbW\d_`zWYD

,

b]UOb/_/bdx=UjWebWYJ

bd_/pD/JcgJkJIb][eDWYgeb}_@UX`zWY`y\d_`aUE[\]_/UX`apVJIgYJZpbdUbdco dWYgeb}_/UY`W`z\]_-.gJcoGxabd[c`z_/WYDGJpV\dWXWJIpxy`y_GJIU

BT#oGxybd`z_xy`z_/JIU'W\dJW$bd_^/UX^@b}x/bd^VWY\]Hb}WY\]_ _/]^GgJOu/+

>-,

FPA

@ >

DS0)21

A

Snb}_/p3+

>',

/.A

@ >

DGS )21

A

SD9

$

b[\]_>WY`y_>^/\d^/U{b}ge[`yUUX^/`z_GbUjWebWJ

,

b}_/p xab}9JcxyJIp>TvDHKJZb}_/UnWYD/b}WkWDGJWgbd_/UX`zWY`y\d_D L

@Jo9JcgY\dgHJIpBTWYD/JUXTVUXWYJcH gY\]H*UjWebWJ

,

$

bpV\}WYWYJZpbdg[O`aUYUY^G`y_GbUjWebWYJ

,

b}_@pxab}9JcxyJIpBTdDHKJZb}_/UWD/bWWDGJWgbd_/UX`zWY`y\d_vD s4/

WY\WDGJUXTVUXWYJIH gY\]H*UXWbWJ

,

(10)

q1 q2 b

b a a

`yd^GgJu0hbKH\VpGb}xbd^VWY\]Hb}WY\]_

$

_G\D]5xab}9JcxyJIp£b}ge[`aUYUY^G`y_G2bUXWb}WYJ

,

HJZb}_/U{WYD@bWWYDGJWgbd_/UY`W`z\]_ZD2`aU{\dgG`yp/pVJc_£gY\]H WYD/`yU

UjWebWJ

CEDGJZUXJ WDGgJcJ2`y_V\dgHb}xg^GxzJZU[cbd_+9JgJ\]gYH#^Gxyb}WYJZp¡`y_ WYJcgHU\}H\Bp/b}xkUYo@JZ[`z@[cb}WY`y\d_ JW

@ 'B c M

c

H $@J{WYDGJOH\VpGb}x¥UXo9JI[c`9[cbW`z\]_bdUUY\B[c`yb}WYJZp`WDWYD/JObd^VWY\]Hb}WY\]_dWDGJnWDGgJcJOgY^GxyJIU

9JI[c\dHJIU(

$

b[\d_>W`z_B^G\]^/Ub}ge[O`yUUX^/`z_GbUXWbWJ

,

bd_/pxab}9JcxyJIpBTdDUjWeb}_/pGU\]g/+

>',

A u c

$

bpV\}WYWYJIp bdg[O`aUYUY^G`y_GbKUXWb}WYJ

,

b}_/pxab}9JcxyJIp>TVDUXWb}_@pGUE\d_GxyT\]gEWYDGJUXWYg^/[W^GgJ

$

_G\XD]5xab}9JcxyJIpb}ge[{`yUUX^/`z_GbUXWbWJ

,

UXWbd_/pGU\]g/+

>-,

A IDVW

7 s /§ ^l1l~G] *#cGo :o'Not tmN# J }@ <B c M c

H

4R c

@ @

>

DS0) A SD T@ N @ >~SI*.

^lkNl1 « : § §Lh ¨ h ¬ 5 © /« §

¢J2UYb&TWD/bWbUYo@JZ[`z@[cb}WY`y\d_ @ <B c M c

H #`yU toptm`- `aUUYb}WY`aUj@bdGxyJ0'`zHoGxy`yJIU

>

>~S A @ V G\dgObUbW`yUX@b}/xzJH\VpGbdxUYo@JZ[`z@[cb}WY`y\d_9@JI`z_/[\]DGJcgJc_>W{[c\dggYJZUXo9\d_@pGUEWY\gYJZ]^/`zg`z_/

WD/bWg\dHQJIdJIgYT2\dgep _G\2bd[WY`y\d_}D2`yU9\}WD`zHo9\]UYJIp£>T ' W c

)bd_/p\]gY/`ypGpGJc_>T

'?IDdW )

§ ¡ ^l^lto2&T6 Z ?GEsNr4R ?'ddpoN6 r

T#.

-oJ* . /gY\]H bUYb}WY`aUj@bdGxyJH\VpGbdxnUXo9JI[c`@[IbW`z\]_ @ 'B

c M c

HJ2[\d_@UjWgY^/[WWYDGJ H\VpGb}x

UYo9JI[`z@[IbWY`y\d_ ]@ <B

c M c

H nUY^/[eD2WYD@bWO\dg{bdxzx DW >{

c @ c

bBJ W}>~S/`'?ID W M>:T

[c\d_/UXWYg^/[WY`y\d_"

>

>~S A @ VD/Jc_/[cJ/ B`yU=[c\dDGJIgYJI_]WZ W=`aU'\dBB`z\]^/UWD/bW

> A @

>

A

/gY\]HWDG`aU{o9\d`y_>W{J#[c\d_/UY`ypGJcgk\]_GxyT [c\dDGJIgYJI_>WkH\Bp/b}x'UXo9JI[c`@[IbW`z\]_/UcRB^GoGo9\]UYJ#bxybd_Gd^@b}dJ?O

]Jcg`@JIUTO

@ G^VW_G\dW >O A u Ok>`zW`yU\d²WYJc_o9\]UUX`yGxyJkW\ Y[\]HoGxzJcWYJ O `y_\]gpGJcgWY\K\dVWeb}`y_

bKH\VpVJcx\}

(11)

e§gfihij j»«Nh l^l4365¥© 0/« § <

CED/JR>[xy\]UY^GgJ\}boGgJB[xy\]UYJIp xab}_G]^/b}]JOn¥_G\dWYJZpO

`aUkWYDGJKxzJZbdUXWOxab}_/d^/bddJOUY^/[eDWD/bW

Ou O bd_/pvO W

> A

§

¡

^llmr*s Gop< onN]s uoc

-oJ* .n¢JUXD/\ WYD/`yUEoGg\do9JcgYWjTBTG^G`yxapV`z_/b#/_/`WJb}^VW\dHbW\d_gJI[c\d]_G`s$I`z_/WYD/JR>8[cxz\>UX^/gYJ{\}b

]`z]Jc_oGgYJcB8[cxz\>UXJZpgebW`z\]_/b}x xab}_G]^/b}]J:O!

udEG^G`yxypWDGJb}^VW\dHbW\d_ gYJZ[\d]_G`%$c`y_G O

c c ID@

vVEgYJIH\dJhg\dH bdxzxBWDGJE_G\d_V5WYJIgYH`y_/b}xVUXWb}WYJIUICED/`yU']`z]JIU'bk_/Jc+bd^VWY\]HbWY\]_ GgYJZ[\d]_G`%$c`y_G

WYDGJ]gYJZbWJIUXWEo/gYJcB8[cxz\>UXJZpxybd_Gd^@b}dJO`y_/[xy^/pVJZp`y_O

c

c ID9

GEgYJcWY^Gg_+

> A

RV`z_/[cJTO£`aUo/gYJcB8[cxz\>UXJZp ZWYDGJI_ O u + > A

b}_@p\dBB`y\d^/UYxzTbO

u + > A

}H\]gYJI\dJcg`NO

(

+ > A

WDGJc_UY`z_/[cJzO

b}_@p + > A

b}gJoGgJB[xy\]UYJIp 'WDGJcgJ J V`aUjW W3O

b}_/p D W > UY^/[eD¡WD/bW

IDdW+

> A

bd_/pdID WzO

VWYDB^/U-xW%

c

GDG`a[eD [\d_>Wgb]pV`y[WUO W

> A

CEDGJ{\dxyxy\`z_G#xzJIHHb#d`ydJZUbd_G\}WDGJcgEpVJc/_G`zWY`y\d_W\WDGJR>8[cxz\>UX^/gYJnJZ>^G`zbdxzJI_]WWY\#WYD/J{oGgJcB`y\d^/U

\]_GJd

§ ¡ ^l^lmr*sE Go4<Ucoiq r*ts pus /O TUsE 6 GnV<-:

P @ O >P A .

-oJ* .4TpVJc/_G`zWY`y\d_ O W

> A WYDGJI_

>

O

A u O

=RB`y_/[J-O u O

JdJcW O

>

O

A u O

/gY\]H O

@JI`z_GWDGJxyJIbdUXWxybd_Gd^@b}dJOJO]JWWDGJJI>^/bdxz`zWjTXO

@AO

>O A

7 s /§ ^ll]t p 4 J i < Go TstRO @ >

DS A . -r*sE Go*

O ~O @ >

DGS

DGSI) A .

~)x +-06;Q,z.1,-240*=},TC.1,~2'=, u069'5i;G9*,/7

¢JUYDG\ `y_WYDG`aUo/bdgXWDG\ WY\[\]_/UXWYg^/[WEWYD/JWj\KWgY`yB`ybdx HK\VpVJIxyUE\d'bUbW`yUX@bdGxzJH\VpGb}xUYo9JI[`zG

[IbW`z\]_b}_/pWD/bWWYD/J{UYJW\dH\VpVJcxaU$\dbH\VpGb}x¥UXo9JI[c`9[cbW`z\]_\dgHUbxyb}WXWY`a[JODG`a[eDJ BWgYJIHbb}gJ

WDGJIUYJOWj\KWgY`yB`ybdx HK\VpVJIxyUI

¢J @ 'B

c M c

HEb[\]DGJcgJc_>WH\VpGb}xUYo@JZ[`z@[cb}WY`y\d_=¢J_G\dWYJ?O \dgbBgYM

b}_@pVO

\]g:>~ShmI>~Sd

§ ¡ ^l^lt tGoTNo n op GEs

. b Ts

.4O W

> A

.4O

@

(12)

.4O W

> A

-oJ* .{RV`z_/[cJ Yd YJcW b}gJ{WgY`yB`ybdx6VJUXD/\V6Y bd_/pG

$

>TxyJcHHb GtJ dJWzO

@ B YM

>O A WDGJc_

>O A u O

b}_/p BT

DBT>o9\}WDGJIUY`aU~O

@ GBWYDB^/UUO W

> A

$

Y `yUO[\]DGJcgJc_>WI¥HJIbd_G`y_G

>

>~S A

V@ DG\]xyp/Ucbd_/p

>O A u

>

>~S A ¥WDGJc_

>O A u O

b}_@pVO

@ VB@_/b}xyxzTVO W

> A

$

~O

>O A @3O WYDGJI_O uxB YM

>O A u O b}_@pO

X@ @JdJW

O @ V

/gY\]H WYDG`aUOxzJIHHb/J#gJWgY`yJc]JWDGJJI>^G`y&bdxzJI_>WO\d$WYD/Jb/'0 J tNcopto &K\}O = O`z/ `yU

UbW`yUX@bdGxzJOWDGJc_2`zWkD/b]Unbgb}WY`y\d_/bdx H\BpGJcx 'nO

`aUgb}WY`y\d_/bdx BTxyJcHHb Gsb}_/pvO

`aUgebW`z\]_/b}x BT

pGJ/_G`zWY`y\d_+)

_ WDGJ[cbdUYJ\dH\VpGb}xhUYo9JI[`z@[IbWY`y\d_¥WYDGJZUXJgebWY`y\d_@b}xHK\VpVJIxyUbdgYJ]¥>T£[\d_@UjWgY^/[WY`y\d_

WDGJJBWYgJcHb\}=WDGJH\VpVJIxyUk\} \]gpVJIgYJZp>T `y_/[xy^/UY`z\]_ ~O `aUnWDGJ]gYJZbWJIUXWnHK\VpVJIxbd_/p O `yU

WDGJxyJIbdUXW\d_GJ]

: §B« § ^l^l b Tst

>

> A H;u A V no-Gn p]Ucs sn0.

-oJ* .4TpGJ/_G`zWY`y\d_ \d

> A

7 s /§ ^lkl ^ i pnQ<T Go

. c$ < J t X< o

ct'z Gop

qLt o'Not tm- cV oo 4 3t4/t qL ?opco

ds gXctL osn#. so&zO

@ O! NdO

@ OUY . tovpq n XQ#m

mo<4 3'4/zO!N O"}E 3'4/zO#Zc O#$ o4O%}N O! . 0 NO#&

4 u O"

O#$Te@AO! .

a a

a b b

`yd^/gYJv=CEDGJH\VpGbdxUXo9JI[c`@[IbW`z\]_ R

~)' ' c,/. u,/=L9';9<,7'pS ,h)( ;G, .1,-2 =, u069<5i;9<,/7:=

¢J_G\ d`ydJb[\]Ho@\>UX`zWY`y\d_/bdxb}oGo/gY\>bd[eD\]gnH\VpGb}xUYo9JI[`z@[IbWY`y\d_@Uch¢JUYDG\ WD/bW{JIbd[eDH\VpGb}x

UYo9JI[`z@[IbWY`y\d_ [cbd_9JJ VoGgJIUUXJZpb]UbK[c\dHo9\]UY`W`z\]_\dUY`zHoGxyJHK\VpGbdxUXo9JI[c`9[cbW`z\]_/UE`zWYD2bUXJcWE\d

\]o@JIgb}WY\]gUICEDGJI_`y_WYD/Jk\]xzxy\`z_/#UYJI[W`z\]_>J{^/UXJ{WYD/`yUJ VoGgJIUUY`z\]_`z_\]gpGJcgWY\o/gY\]JWYDGJOH\VpVJcx

JZ>^G`zbdxzJI_/[J`zWYDO `ygUXWJ]`z]J{WDGJ\do9JcgebW\dgeUc

(13)

a

a a b

a b

a a

a b

b a

a b a b

a

a a

a

L1 L2

L3

L4

L5 L6

b L7

b b

`z]^GgJb $RB\dHJJcxyJcHJI_]WeU\}WYDGJxabWYWY`a[J\dH\VpVJcxaU\}=R

^l^lk # « jPs § jf dV j»«Nh h ¬ « s § V «

e§gfihij j»«Nh lnkmkNl!JcW F @ 'B F

c M c

H F

Eb}_@p / @ 'B

/

c M c

H /

$

CEDGJdmo t\}'Wj\UXo9JI[c`@[IbW`z\]_/U ^Fb@ <B F

c M c

H

F

nbd_/p /u@ 'B

/

c M c

H /

¥`yU

WYDGJUYo9JI[`z@[IbWY`y\d_%^F

/4@ 'B

F

c / c M

c

H F / M

$

CEDGJNon]q \}$bUXo9JI[c`9[cbW`z\]_ ^F>Tbxybd_Gd^/bddJP ux>~S`yUkWYD/JKUYo@JZ[`z@[cb}WY`y\d_P I^Fb@

'BEP I c M

c HP I

CEDGJk`z_>WYJIgUYJI[WY`y\d_\}9Wj\UXo9JI[c`@[IbW`z\]_[c\dggYJZUXo9\d_@pGUWY\WDGJb}_/pbxybd_Gd^@b}dJE`aU=H\VpVJcx@\}¥WYDGJ

`y_>WYJIgUYJI[WY`y\d_`zhb}_/p\d_/xzT`z'`Wn`aUH\VpVJcx \dWDGJWj\UYo@JZ[`z@[cb}WY`y\d_/UI

§ ¡ ^lkK16l ^ ^F c /}4/b

>

]F

/ A @

>

^F A

>

/ A .

-oJ* . /\dghbdxzxO W

> F /A dJED/b&]J

>O A u Obd_/p

>O A @

>O A

WDB^/U

>O A u Ob}_/p

>O A u On'N2\dgJc\]Jcg

> F /A

O @ VdWYDGJI_ F

OQ@ / O @ VdWYDB^/U

O W

>

^F A

>

/ A =mJZ[`yoGg\B[Ib}xyxzT]O W

>

^F A

>

/ A `zHoGxy`yJIU >O A >O A u O

bd_/pJF

OQ@ j/

OQ@ B@_/b}xyxzTVO W

>

^F

/ A

CEDGJoGgJV`y_G\dkb UYo@JZ[`z@[cb}WY`y\d_ BT bxab}_/d^/bddJdP `aUWDGJUYo9JI[`z@[IbWY`y\d_ D/`y[eD+`yUKUYb}WY`aUj

@JIp¡JGbd[WxzTBTWYD/Jxab}_G]^/b}]JIU\dgKDG`y[eD+JIb][eD UX^ ¡xab}_/d^/bddJ\d{b\dgep `y_ P UbWY`aUX/JIUWYDGJ

UYo9JI[`z@[IbWY`y\d_%E

(14)

§ ¡ ^lk lW^omOu >~S

O W

>P I A WzP HpO{p|Z@ oUOT{| W

> A

4 top4OT{| uu T*b t qLt u*~ VO .

-oJ* . /\dgEWDG`yUnoGgY\B\djVWYDGJ»b][WWD/bW4O

\NI>~S:@ \NIOT{

y

WDGJc_O

\mIOc@ \NI

>

O{

y

OA b}_/p b}xaUY\

IO F u O / O F u O /

{|¡`yU^@UXJZpUYJc]Jcgeb}x9WY`yHJIU`zWYDG\]^VWnHJc_>WY`y\d_/`z_G`zWI

A JcW4O W

>P I A GBTWYD/J[\d_@UjWgY^/[WY`y\d_\} P I,

>O A

@

c

>O P I c A ID @

c

| >O

?I c A ID @

c

|

?I

>

O{p|

c A ID

RV`z_/[cJ" >O A u OkG\]gkb}xyx WP b}_/p\]gkb}xyx]DVWZ>~Sd?I

>

OT{|

c A IDnu OkGWDGJc_

>

O{p| A u

OT{p|$RV`zH`yxybdgYxyTdGUY`z_@[J?O

P I @ VVJdJcWE\dgkbdxzx6xWPKO

?I @ #bd_/pWYDGJI_O{p|

@ V

`y_/b}xyxyTdO{p| @ #\dgUO{p| W

> A

A ¢£JOUXDG\ @gUXW$WD/bW\dgEb}xyxNDdW>{

>O P I c A ID@u On JW\VWzO

P I c

BWYDGJIgYJ{J V`yUXWxWvP

bd_/p [ W c

UY^/[eDWD/bWb\@ U[CEDGJI_Z[ W O{p|

c

`zWYD}O{p| e@ GT2D>TBo9\}WDGJIUY`yUIO{p| W

> A

dWDGJc_

>

O{p|

c A IDTu OT{|b}_@p`z_o/bdgXW`y[c^Gxab}g#[iIDdWzOT{p|$'¢J{pVJZpV^/[J4\mID @ ?I[]IDXWvOn

¢JUYDG\ _G\ WD/bW O P I @ \dg#b}xyx/ W PK`zUO{p|3@ WYDGJI_ O

?I @ =\dWYDGJIgY`aUYJ

OT{p| W

> A WDGJc_O

?I @ B/_/bdxzxyTVO

P I @ G

e§gfihij j»«Nh lnk ]ln¢JpVJ/_/JWYDGJ\]xzxy\`z_/KUYJWn\dbW\dH`a[UXo9JI[c`@[IbW`z\]_/U

-@ <B LM

c H

@ 'BLM

c

HtB )EM b}_/p

@ 'B

c M c

H V`zWYD c @ \]gUDoe@ )kbd_/p

@ BgYM]

CEDGJUYJWeUE\}'H\BpGJcxaUE\}WYDGJb}WY\dH`a[UXo9JI[c`@[IbW`z\]_/Ub}gJkWDGJc_ \]VWbd`z_GJZpBTpVJ/_/`W`z\]_ bd_/pb}gJ0

> jA @ BO W >~SEM

>

A @ BOu > S ` ) WvO~M

> A @ BOu >~Su` ):WvO~M

^l^l1 «

s « j

j6«mh

/=s)s

«

G:

: §B« § ^lk l~ X J m %uqtco E 8$4 n<:] Nt

4RvGZcX?s r%Nopiq vptoo

-oJ* .!JW3 @<B c M

c

H @Jb H\Bp/b}xUYo9JI[`z@[IbWY`y\d_\]gD`z_ > JpVJc/_GJWDGJUYJW" c @

B[W>~S/`'[iIDdWM] JW m@ 'B

c M c

H 9JWYDGJUYo@JZ[`z@[cb}WY`y\d_ pVJ@_GJIpBT

@

c

c I c

c c I

c

TpGJ/_G`zWY`y\d_/zu]uObd_/pvGyuclVG`zWn`yUE\]B>`y\d^@U$WD/bW @ 6