Model-Checking of CTL on Infinite Kripke Structures Defined by Simple Graph Grammars

(1)

HAL Id: inria-00074118

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

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.

Model-Checking of CTL on Infinite Kripke Structures Defined by Simple Graph Grammars

Yves-Marie Quemener, Thierry Jéron

To cite this version:

Yves-Marie Quemener, Thierry Jéron. Model-Checking of CTL on Infinite Kripke Structures Defined by Simple Graph Grammars. [Research Report] RR-2563, INRIA. 1995. �inria-00074118�

(2)

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

Model-Checking of CTL on Infinite Kripke Structures Defined by Simple Graph Grammars

Yves-Marie Quemener and Thierry Je´ron

N˚ 2563

Juin 1995

PROGRAMME 1

(3)

(4)

+,#-'(."/#0.'1243 5! 67 +98 ):; <='>?)@

<='>8 8 >?'(2

ACBDFEG HJILK9MNDPOQDSRTDSUDSKVILUWYX*Z0MNDSKK9[]\_^DSKa`LUcb

degfihaekj9lml*n?oqp rqetsvuFwyxzns xz{Fegn|%}~j9etj9n;n|Sji|n|qSnSfaFn;n|Fen|nj{F

n;x/|F|x$n;lmn|1Sw|xgezw{n|

d%ezfin$x5d%jl*}~j

qj}F}~fiezxSn_eznsvuFn$ekskuFnYiaip i{Fw o$iap o$}~jhin|

*¡¢£¤¥F¦i£¨§~©Pn}Fezn|n;x%j*jhafiezwyxzuFl«ª¬faesvunsv®wh¯uFn;xzun;ej9?wyS°~Fwyxznxzekj~|wyxzwyfi

||xgn;lCSn°Fnq_jhiekj}Fuhaekjl*lVj9e~fª±j1ezn|xzegw²sxgnq®w~L;w|³j(lmfSn;f9ª±j0ª¬faezlc{F²j

f9ªxzuFn?xgn;l*}~fietj9%yfihiws´µ¶%·³©Pn°~et|x_}Fegn|n;x/xzuFnm|Sxtj9j9~CxzuFnc|n;lVjSxgw²s;|f9ª

´µ¶%Sxgu~j9xj9eznSn°Fn?¯wxzucezn|}~nsxxzfxzetj9~|wxzwyfim||xgn;lV|a²j9~n;yn¯wyxzumj9xgfil*ws

}Fezfa}~f¨|wyxzwyfi~| ·µ1uFn;³¯1n|uf9¯¸uFf¯«xgfcjiFj}FxqxguFnqª¬faezlVjw²|l¹fª%haekj}Fuhaekj9lmlVj9et|

ª¬fie?n;}Fegn|z|wFh|{~skuºwS°~wxzncxzetj9~|wxgwfi»|F|xzn;lV| ·P¼/{Fe?jhafiezwyxzuFl½xzeznj9xk||{~sku»j

°~Fwyxzn*egn;}Fezn|n;xkjxzwfa³j9~:l*fw¾ª¬wyx;n;~|{ezwhxzuj9xxguFn*j9~n;ywFh*ª¬fae¿ª¬fiegl{²ji|

ezn;lj9w|¿s fiuFn;egn;x¯wxgu:xzun*xzeg{Fxzu:Àaj{Fn|fª/xzuFnSw¾Á±n;egn;Sx|xtj9xzn|¿f9ªxzun*wS°Fwxgn

xzetj9~|wxzwyfi||xzn$lC·

ÂÃ¨Ä³ÅzÆÇ~¤ÈÉ¢i§ l*fSn;yÊËskuFnsk®SwyFhF¨´µ¶%SÀ¨n$ezw¾°Ìs;j9xgwfiÍiwS°Fwxgn;ÊË|xkjxzn_|F|xzn;lV| ihietj9}Fu

hietj9l*lVjek|

Î²Ï?Ð

ÑNÒÓ;Ô

Ð

Ñ0ÕÉÖyÒ×ÙØkÚ

ÛÜ¬ÝÞÜ¬ß;àáâ³ãvä/åæç³è;éêÌégãkæëíìíéæáiîðïòñó ôkõ;öÝ³é÷÷éçzáøîFÝÞà-ùâ³úÞûúSïä5ãkìíë²ük÷aãvä/égýÉìíþ¬ìíçã9ûÿyþ

(5)

& '$)P* ºP$2 5ºP$2 )">?' C2 '>8 8 >$'12

C c'1>?):C2 208 )@$2

Ã¢ Ã¸§qfa{~|?}Fen|n;xzfi|{F jhifaezwyxzuFl*n¨{Fw/1n;xgn;ezl*wyFnc|w{ ||x$n;l*nmSn

xzetj9~|wxzwyfi wS°~wË~n°Fw³}~j9e/{FFnhietj9l*lVjwegn5Snhietj9}FuFn|q{Fx}~n¿egn|xgezn;wySx$Sn|x

fi{Ffi{Fl*f±n;n-{Fn%ª¬fiezlc{Fyn%Sn²j1yfihiwð{n0xgn;l*}~fiegn;yn%´µ¶%·/fi{~|³}Fen|n;xzfa~|

íj~fiek ²j |Sxtj9nCn;x*²j |Sn;lVjSxgw¨{Fn Sn:´µ¶%¨{Fw_|fixV1n°~wn|*|{FwÀajSxVn|

||x$n;l*n|5nxgekj9|wxgwfa~|"n;xgw¨{Fn;xn|(}j9e?n|5}Fezfa}Ìfø|wyxzwfa~|?j9xgfil*wð{n|·±d%{Fw²| Þfi{~|

l*fixzegfi~|msfil*lmn;¨x?jaFj9}Fxgn;eVnVª¬fiezlj9w|l*nmSn|chiekjl*lVjwezn|?Snhaekj9}uFn|*}~fi{Fe

n;}Fezwyl*n;e³n1xzn$²|³||x$n;l*n|³n1xzetj9~|wxgwfiwS°Fw²| ·qfixgeznjhafiezwyxzuFlmn%xzetjÀajwyn|{Fes n

xS}~n/Snegn;}Fen|n;xkjxzwfa°~Fwyn¨in;x%jql*fSw°~nnqlVjFwn$eznj_ji|z|{Fezn$e¨{Fnzn;xgw¨{Fn;xkjhin

}~j9eyn|Þª¬fiegl{n|Sn;l*n${Feznsfaun;ezn$Sxj;À¨nsn|Àijn;{ek|%SnÀn;egwxnSn|Sw Án$ezn;xk|n$xkj9xt|

S{C|F|x$n;lmn5Sn_xgekj9|wxgwfaw°~FwË·

YÇ£¢Åk¦Ã!§¸l*fSn;yÊËskuFnsk®wFhÌ´µ¶%LÀn;ezw°±s;jxzwfa³~||x$n;l*n|/gn;xkjxqwyS°~FwÌhaekj9lmÊ

lVj9wyezn_n¿haekj}FuFn|

(6)

E

%V#%'P."/#0$*

FfSn;yÊËskuFnsk®SwyFh:w|*j!¯wSn;º{~|n l*n$xzuFf!ª¬fae,xguFn"À¨n;ezw°±s;j9xgwfa f9ªmw²|xgezwyF{Fxzn

||xgn;lV|·±µ1uFn?fÀ¨n;etj9³~n;ujÀwfa{Fe5fªjVSw|xgezw{Fxzn ||xgn;l4w²|ql*fn;nVja|¿jcxzekjFÊ

|wyxzwfa"||xgn;lCF¯uFfø|nc|xtj9xgn|qezn$}Fezn|n;xqxguFn?hiyfi~j|xtj9xzn|qf9ªxzun?Sw|xzegwF{xzn ||Ê

xzn;l¨j9~*¯uFfø|n5xgekj~|wyxzwfaVezn;j9xzwyfichiwyÀ¨n|0xguFnq}~fø|z|wyFnn;À¨fiy{Fxzwyfi~|f9ªxzun_||xgn;lC·

GËxs$j9«~nºskuFnsk®¨n!¯un;xzuFn$e|{~sku«jºxzekj~|wyxzwyfiY|F|xzn;l w|,jºl*fSn;_fªcj!xgn;l*Ê

}~fiekjqyfihaw²sª¬fiegl{FjS·IHqSxgweznsn;xzøÞlmfSn;ÊskuFnsk®SwyFhV¯ji|faF {~|n:ª¬fie°~wxzn$Ê

|xtj9xzn"l*fSn$²|·9J1{Fx$KF{Fyn;emj9~MLskuS{F}}ON*FPL1QaR_|uFf¯n xzu~jxVxzuFn"}F{~|u~Sf¯FÊ

j9{FxgfilVjxkjCxzetj9~|wxzwyfi~|?hietj9}Fu|u~j;À¨nVj"SnswFj9Fyn*l*fa~jiSwsV|nsfa~SÊ¬fietSn;ecxzuFn;faez¨·

´fi{Fetsn;yn¨9N´fa{QiR³n;Sxgn;~Snxgu~j9xezn|{Fx$Þ |uFf¯whxzuj9x?n¨{~j9xgwfa~j9hiekj}Fu~|

j9|fcu~j;À¨n_j?SnswFj9n_|nsfiSÊÙfaekSn$exzuFn;faez¨|wy~sn´j{~s;j9SN´j{~iRF|uf9¯n*xzu~jx

xzuFn}F{~|u~Sf¯FÊj9{FxgfilVjxkj5xzetj9~|wxzwyfihiekj}Fu~|j9egn1n;jis xzxzuFnezf¨fixgnL;°~Fwyxzn;ÊSn;haezn;n¨

n¨{~j9xgwfij9~hietj9}Fu~| ·+Tqn$~sn¨a|fal*nwS°Fwxgn;ÊË|xkjxzn||xzn$lV|És$j9*u~j;À¨n1°~wxznegn;}Fegn|n;Ê

xkjxzwfa~|¯uFw²sku s;j ~nC{~|n!ª¬faeVSwÁLn$ezn;xÀ¨n$ezw¾°Ìs;j9xgwfi»l*n;xguFfF|·9UFfie*n$Fjl*}Fnø

J1{Fez®ajezx?j~VL¨xzn ÁLn$³9N*J@LWRË³}Fegn|n$Sxj9@j9hafiegwxzul ª¬faexzun*l*fSn;yÊËskuFnsk®w¾h*f9ª

xzuFn jxzn$ez~jxzwfaFÊ²ª¬ezn;nVlc{FÊËs$j9²s {F{~|5fa!}{~|u~f9¯ }ezfsn|g|n| ·XFn;xzufF|}F{FFyw²|uFn

|fªje|xg{~SY#-Z3[-\ *]&fie9)^/_2`##aIb)^&032232 iw·n¨·iegn|xgezwsxzn?}Fegfsn|z|j9yhin;Fetji|

|{~sku*xgu~j9xxzuFn5wyS°~Fwyxzn/xzetj9~|wxzwyfi*haekj}Fu~|f9ªxzun;wexzn$ezlV|%jezn5}{~|u~f9¯ÊËj{FxzfalVj9xtj

xzetj9~|wxzwyfi hiekj}Fu~| ·

©"n_j9egn5wxzn$ezn|xzn?wVxzun5l*fSn;yÊËskuFnsk®w¾h5f9ªc#D6D6/`A-d@7e+8- f2(-dA-Z52]=g2(

-Dh2Kiòª¬fae|uFfaezxq´9UXL1FC|jtiwË·n¨·iw²|xgezwyF{Fxzn?||xzn$lV|Én|zsegw~n?ja|-°Fwxgn;ÊË|xkjxznj9{FxgfiÊ

lVj9xtj?sfilml{Fw²s;jxzwFh_Sml*n|z|gj9han|1xzuFegfi{FhauBUkGZU%¼ ¨{Fn;{Fn|·F-n$ezfi u~ji|}Fegn|n;xzn

j|n;l*wÊSns w²|wyfi}FezfsnS{Feznf9ª³xguFn/wS°~wxfªxzuFn/xzetj9~|wxzwyfiV|F|xzn;l|Éezn;}ezn|n;SxgwFh

´9UeL1FC|9N-n;etiR·µ1u~j9x}Fezfs nS{FegnSn;xgnsxt|Ésn$ezxkjw|n ð{Fn$~sn|Lxgu~j9x%¯wyaÌnwyS°~Fwyxzn;y

ezn;}~njxzn±·lxzn$~Swh?xzu~jx}FezfsnS{FeznøF¯1nj9egns {Fezegn;SxgcSn$À¨n;fa}FwFhjxgn|x¯uw²sku

¯wy¨n;~j9n1{|Éxzf/n;xzekjasx;;ª¬fie-sn;egxkjw´9UXL1FC|jqhaekj}Fu?hietj9l*lVje³ezn;}ezn|n;SxgwFhxguFn

wS°Fwxgn?xzekj~|wyxzwyfi"||xgn;l fªj´9UXL1F:·mTqn;sn¨F¯1ncjezn?wySxgn;ezn|xznVw"jhifaezwyxzuFlV|

xzu~jx}~n;eª¬fiegl=l*fSn;yÊËskuFnsk®wFhVf9ªw°~Fwxgn*hietj9}Fu|*Sn°~n:S:haekj}Fu haekj9lmlVj9et|·

©Pn?}ezn|n;Sxun;eznj°~ek|x_j9yhifaezwxguFl4f9ªxzuj9x/®Swy~L~¯uFw²skuVlVj9®¨njl*fn;Êsvunsv®wFh

f9ª_xguFn*xgn;l*}~fietj91yfihaw²s,´µ¶nNí´9loL1QiRfi jhaekj}Fu Sn °~FnPºjC|wl*}Fyn?®Swy~:f9ª

hietj9}FuChaekj9lmlVj9e$·

©"n°~et|xc}Fezn|n;xxzun,xgn;l*}~fietj9fihaw²s´µ¶%j9!xzun;º¯1nV|uFf¯ uFf¯¹xgfP{|n

sn;egxkj9wy*hietj9}FuVhaekj9lmlVj9et|ifª-j|wyl*}Fyn®Swy~L¨xzfcSn °~Fnsn;ezxtj9wywyS°~Fwyxzn|xzeg{~sxg{Fezn|

¯uFw²skuVs;jVÌn{~|nVja|jl*fSn;~f9ªSw|xzegwF{xzn*|F|xzn;l|·F´µ¶ª¬faezlc{F²ja|j9ezn_wySxgn;ezÊ

(7)

}Fezn$xznfaxguFf¨|n/|xzeg{~sxg{Fezn| ¨j9¯nxzuFn;?}ezn|n;Sxfi{e0lmfSn;ÊskuFnsk®SwyFhjhifaezwyxzuFlC·

µ1u~j9xj9yhifiegwxguFlJu~ji|xzfl*fSw¾ª¬_xguFn(°Fwxgnqegn;}Fezn|n;xkjxzwfa?f9ª-j*wS°Fwxgnxzekj~|wyxzwyfi

||xgn;lCÞª¬faen$~|{FegwFh"xzuj9x*xguFnV²j9~n;ywyFhCf9ª|xkjxzn|fª_xzun°Fwxgnezn$}Fezn|n;xkj9xgwfa

S|{FSª¬faezlc{F²ja|1f9ªxguFn5ª¬fiegl{Fj¿~n;wyFhcsvunsv®¨negn;lVj9wy~|1s fiuFn;egn;x¯wxzuVxguFn_xzez{xzu

Àaj9{n|ª¬fae5xzun|xkjxzn|qfªxzunw°~Fwxgn|xzeg{~sxg{Fezn¨·L¼/Fnwl*}~faezxkjSx}~fawxqw|(xgf*|uFf¯

xzu~jxwxw²|ÉFnsn|z|gj9egxzfn;S}fiegn1faFj(°~Fwyxzn}~jezx%fªLxguFnw°~Fwxgn1xgekj9|wxgwfac||xzn$l

ª¬fieSnswSwh¯uFn;xguFn;e/jc|xtj9xzn|gj9xzw|N°~n|qjª¬fiegl{Fj¿faeFfix$·

#%8 )ºc'1>º$*

´µ¶!w|qjekj9svuFwyFhiÊ¬xzwyl*n_xzn;lm}Ìfaekj³fihaw²si~¯uFwsvu w²|wxzn;eg}Fezn;xgn*¯wxguezn|}~nsx5xgf

|xtj9xzn|fªxzekj~|wyxzwyfi~|V||xgn;lV| ·µ1uFf¨|n:|xkj9xgn|Vj9egnC²j9~n;ynº¯wxgu¸j9xzfal*w²s*}Fegfi}~fiÊ

|wyxzwfa~|·µ1un´µ¶ ª¬fiegl{²ji|s;j9º~n*n;}Fegn|z|nºji|¿ª¬fiegl{²ji|_f9ªxzuFnml{FÊs;j²s{Fy{~|

¯wxguFfi{Fxj9yxzn;eg~j9xgwfa*f9ª°~}Ìfawxk| ·~µ1uFn;Vs;jVn;S}ezn|g|0}Fegfi}~n;ezxgwn|1fª|gjª¬n;xcfie/wyÀ¨n;Ê

Fn|g|FF{Fx/FfaxqfªÉªjwezn|z| ·

Jw²|qxguFn?{F~Sn$ezwh*|n;x5f9ªjxzfilmw²s¿}ezfi}~fø|wxgwfa~|·µ1uFnª¬faezlVj%|Sxkj,ª¬fie´µ¶

ª¬fiegl{Fji|w²|

l%À¨n;ezj9xzfal*w²s}Fegfi}~f¨|wxzwyfi! !"#Yw²|j*´µ¶ª¬fiegl{²jS·

GÙª$%_j~&$('¿jeznV´µ¶!ª¬fiegl{Fji| ÌxguFn;"|fj9egn)$(%;*$%,+#$('.-/0$%k1/0$%

-Xi2$%435$'jk.1^i6$%635$'jk·

787

w|qxzun?j9xgfil*ws5}Fezfa}Ìfø|wyxzwfaP¯uw²skuw²|xzeg{FnwyCj-|xkjxzn| ·³µ1uFn_ª¬fiyf¯wFhV|SÊ

xkjasxzws;j9Sn °~Fwxgwfa~|j9egnjaFSn9

-Xi

787

35$ejw²|¯ezwyxzxgn;:-*;<$1Fj~=1^i

7>7

35$ej%w|1¯ezwyxzxzn$=1?;<$1·

)*-*;i>)($ejw²|1¯egwxgxzn;#1A@,$1j9~#)B1^i8)$Xjw²|¯ezwxgxzn;C-@,$1·

GËSª¬faezlVjøvxguFn1xgn;l*}~fietj9sfaFFns xzwÀ¨n|³s;j9Ìn/n|zsegw~n_ji|³ª¬fiyf¯/|D-/0$ i¬ezn|}³·

1/0$ej_w²|xgez{Fn f9ª jP|xkj9xgnwª_ji¬ezn|}³·j9xcnji|x?faFnfª(jwyxk|?|{s;sn|g|fiet||gj9xgw²|Nª¬E$,F

-Xi2$ % 35$ ' j'i¬ezn|}³·G1^i2$ % 3H$ ' j3jw²|qxgez{Fn?fª/j*|xkj9xgnI?w¾ªfi j9 iÙezn|}³·~fi"fiFn?fª(jqxguFn

}~j9xgu~|w²|z|{Fn*ª¬ezfilJIðFxguFn|xtj9xzn|1À¨n;ezwª¬$ % /1-d8fiFn|xtj9xzn|gj9xzw|Nª¬!$ ' ·

(8)

Tqn$~sn¨w¾ªÍj_|xtj9xzn |zj9xgw²|Ëª¬H-*; $9wyx0lmnj9~|xzu~jx;¨w?xguFn ª¬{Fxz{ezn5f9ªÍxzu~jx|xkj9xgn¨j

|xtj9xzn¯uFw²skuV|gj9xzw|Nª¬!$:w|1{F~j;À¨fiwFj9Fyn F 1?;<$@lmnj9~|xzu~jxqwyx1w|1}Ìfø|z|wFynxzf?egnjisku j

ª¬ezfalJxzu~jx|xtj9xgn5|gj9xzw|Nª¬C$,Føj9~*j_|xkj9xgn5|gj9xgw²|Nª¬1A@,$Cw¾ª±xguFn;ezn/w²|-j¿}~jxzucw²|z|{Fnª¬ezfal

xzu~jx5|xkjxznfaV¯uFw²sku j9|xkjxzn||gj9xzw|Nª¬ $1·

UFfienjiskuª¬fiegl{FjH$Pfª´µ¶%F¯1n_Ffaxzn5Ii2$ejxzuFn|n;x1fªj9y³|{Sª¬fiegl{Fji|f9ª $1

w~s {~SwyFhC$:wxt|n;ªg·

6 ,,

µ1uFn?|n;lVjSxgw²s;|f9ª´µ¶ª¬faezlc{F²ja|1w²|Sn °~Fn*¯wxguegn|}~nsxxgf*j $'&(*)+#2(-.&0/10-./&k·

r egw}F®¨n |xzeg{~sxg{Fezn_w²|j?xzegw}Fyn ioj1¯un;ezn

:w|qj?|n;xf9ª0|xkjxzn| ·

w|0j_Fwj9ez?egn;²jxzwyficfi i !#"$Xjti¯uFw²skucw²|%xzuFn/xzetj9~|wxgwfimezn;j9xzwyfi³·

lc{~|x1~n -d-.Aí~wË·nø· -GI"%1

7

"&]i6I'

7 j "(·

)+* -,/.»ji|g|wha~|qxgf*njisku"|xtj9xgnxzunc|n;x/f9ªj9xgfil*ws¿}Fegfi}~f¨|wxgwfi| ¯uw²sku

j9egnxgez{Fn_wmxzu~jx5|xkj9xgn¨·

r )+A-?w|5j*|n ð{Fn$~snfª|xkjxzn|'i6I10 I %1121212j/|{~skuxzuj9x -435>i6I167 I1698 %0j":·³µ1uFn

Ffixtj9xgwfi$ I10;!<ml*nj~|Éxzuj9xxzuFnª¬fiegl{²j=<cuFfa²F|j9x|xtj9xzn I>0w?xguFn5|xzeg{~sxz{ezn

:·9©"nSezfa}?¹¯un;_wx|LfiÀSwyfi{~|Lª¬ezfal«xzunsfaSxgn;Sx³¯uw²sku_|xgez{~sxg{Feznw²|³sfa~sn;egFnL·

µ1uFnegn;²jxzwyfi@;«w|Sn°~Fnwy~S{~s xzwÀ¨n$cji|1ª¬fiyf¯/|

I10; Vw¾Á !"&Ki2I>0(jk·

I10; )($ºw¾ÁCfix>i2I10; $ejt·

I10; $(% + $'(wÁ I10; $%qj~ I10A; $'·

I 0 ; 1/0$:w¾Á 1 7

"&]i6I 0 7 j "(]j9~

7

; $1·

I10; -(/0$Pw¾Á - 7

"&]i6I10

7 j "(CB

7

; $1·

I10; 1^i2$%435$'0jw¾ÁCª¬fae/|fal*n5}~jxzu i2I10 I %D1212E2jk

1F3NHGAI!3KJML + I>6N; $'+-PO!NQG=I:ORJS3KB IDT; $%ZR8R·

I10; - i6$% 35$'0jw¾ÁCª¬fae/j9y³}~j9xgu~|hi2I10 I %D1212E2jt

1F3NHGAI!3KJML + I>6N; $'+-PO!NQG=I:ORJS3KB IDT; $%ZR8R·

(9)

+V#%'(."/#0.'12 C5ºC 67 c'1>?): c'1>8 8 >?'2

) KFB,

´n;ezxtj9wy:wS°Fwxgn?hiekj}Fu~|?s;j:~n°~Fwyxzn;yCSn|zsegw~nCSChaekj9}u~|hietj9l*lVjek| ·mGËSª¬fiegÊ

lVj9y¨¨xguFf¨|nhietj9}Fu|5j9egns fil*}~f¨|n*f9ªj°~Fwyxzn5{Flc~n;e1fª}~j9xgxzn;eg~|xzu~jx/j9eznwS°Ê

Fwxgn;msfal*}~fi{F~n*w jegn;hi{²j9e¯j;¨·

UFfiecn;}Fezn|z|wyFh"xzuFn hi{wFh"f9ª_}j9xzxgn;ez|wxcw²|csfiÀ¨n;Fwyn;Sxxzf"{~|nCu}Ìn$ekj9ets;|

njiskuj9~n;yn_uS}~n;ekjeks0w|%ji|g|fswj9xgn?jqhietj9}FuAFixzuFn|xtj9xzn|fª~xzunuS}~n;ekjeks0wy~Sws;j9xgn

¯uFn;egn*xzuFnchiy{Fwhlc{~|x5~nclVjin¨·³µ1uFfø|nVez{Fyn|Íji|z|fsw²jxzwyFh"j9:u}Ìn$ekj9etsj~ºj

°~Fwyxzn5haekj9}u³ðª¬fae/sfil*}~fa{F~SwyFh}~jxzxgn;ez~|sfilm}Ìfø|n_j_hietj9}FuVhietj9l*lj9e;·øµ1uFn_j9}}FwyÊ

s;j9xgwfa~|(fªxzuFn_ez{n|1fªjhietj9}Fu hietj9l*lVje1xgf*jCwFwyxzw²j³jSwyfil4hietj9}FuSn;xzn$ezl*wyFn|

j{FFwð{n¿wyS°~Fwyxzn_hietj9}Fu ¯uFn; xzuFnhiekjl*lVje1w²|/Sn;xgn;ezlmwFw|xzws9^¯uFn;xguFn;egn¿w|

fiFy*finez{nqª¬faeqnjasvuV®w~cf9ªuS}~n;etj9etsi·

©"n*ezn|xzegw²sx_fa{Fek|n;À¨n|_xzf|wlm}Fn?wyS°~Fwyxzn*haekj9}u~|·µ1uFnmhiekj}Fu~|?¯1nm|xg{~Sºjezn

lVjin¿fªj9 wFwyxzwj9Lhaekj}Fu³±j9~fªxzuFnsfal*}~fi{FSwFhcf9ª-fin®w~*f9ª}~j9xgxzn;egwj

wyFnj9e¯j;¨mfiFy*fiFn_}~jxzxgn;ez w²|sfal*}~fi{F~n*xzfcj?}Fezns nSn;x1}~jxzxgn;ez³·

6 8)

©Pn?{|n?j?ª¬fiezlj9w|l |wyl*wj9exzfmxzu~jxqfª1haekj}FuChietj9l*lVjek|0ª¬faeq°~Fwyxzn;y*n;}Fezn|g|wyFh

sn;egxkj9wy wyS°~Fwyxzn |xgez{~sxg{Fezn|·©PnjiFj}Fx*wxcxzf sfa}ÌnC¯wyxzu»xzuFn ²j9~n;ywyFhCf9ª|xkjxzn|

¯wxgu:jxzfilmw²s}Fegfi}~f¨|wxzwyfi~| ·0¼/{Fe_}Fegn|n;xkjxzwyfi"w²|qwy~|}FwyeznC¯wxguCxzuFnc}Fegn|n;xkjxzwyfi

f9ªhaekj}Fuhaekj9lmlVj9et|0lVjaSn5w Ní´j9{~aRË·

VÃò£ÙÇ§Lr #&A# A)+`A#;0- w²|j°~Fwyxzn|n$xf9ªyn;xzxgn;ek| F¯uFn;eznj?}~f¨|wyxzwyÀ¨n

wxzn;han;e/w²|ji|g|fswj9xgn¯wyxzu njiskuVn;xgxzn;e "·~µ1u~jx5wxzn;han;ew²|xzun<A#&(8-d=qfª É·

s;j9 ~n¿}j9ezxgwxgwfiFn*w |n$xk| 6¬F¯wxzu #"! 6³wÁ"xzuFnjezwxcf9ª w| 3z·

VÃò£ÙÇ§~¶Ln;x ~n?jhaekjaSnVj9y}Fu~j9~n;x$·Lr/ `=)(&32(-d&(/10-d/1& w|j?sfi{F}n

i #"%$j?¯uFn;egn% i$ &$ $Cj?w²|*jP°~wxzn#5ezw}®¨nC|xgez{~s xz{Fegn¨j9'"%$w|

j,°~Fwyxznm|n;xf9ª'`=)(&3A#&2 .I % 21212I(F·%µ1un*uS}~n;ekjeksR.I % 2E212 I( w²|¿j9~n;ynCSCxguFn

+# d-Z(&(D6+A &") ( j~,xguFn5I 6 jeznSw²|xzwsx|xkj9xgn|f9ª $ ·

µ1uFn uS}~n;ekjeks;|cjiSn!xgf:xzunCsji|z|w²s;j5ezw}®¨n|xzeg{~sxz{ezn¯wyn;j9Fyn{~|xgf

w~w²s;jxzn_¯uFn;egn¿xguFn_hiy{FwFh?fª%faxzuFn$e 5ezwy}F®¨n_|xzez{sxz{Fegn|1lc{~|xÌn_lVjaSn¨·

VÃò£ÙÇ§Fr 2(-.&0/10-./&9#&3A#D6D6A#&*:w²|j °~wxzn |n;xf9ªuS}~n;etj9eks/ezn;}Fjisn$l*n;x

ez{Fyn|

(10)

.I % 2E212 I( * :L¯uFn$eznR.I % 21212 I(mw²|5jPuS}~n;etj9etsiLj~ w|5j9"uS}~n;et|xzeg{~sxg{Fezn¨

j9~VxzuFn5I16-j9eznSw|xgw~sx|xtj9xzn|(fª $5·

µ1uFn ez{Fyn|?f9ª|{~sku¸jPhaekj9lmlVj9e?wy~Sw²s$j9xznV¯u~jx*}~jxzxzn$ez u~ja|xzf:~nCha{Fn xgf

j9ºwwxzwj9uS}~n;et|xzeg{~sxg{Fezn¨j~PxzunV|xtj9xzn| I 6 w~w²s;jxznc¯uFw²sku:|xkjxzn|u~j;À¨ncxzfC~n

l*n;eghinª¬faeha{FwyFhCxzun,}j9xzxgn;ezÍ·µ1uFw²|ha{FwyFhPfa}~n;ekjxzwfa w|}Fezns w²|n$"Sn°Fnºji|

ª¬fiyf¯/|·

VÃò£ÙÇ§/wyÀ¨n;:jV|xzez{sxz{Fegnhaekjl*lVj9e *«j9~ j9:uS}~n;et|xgez{~sxg{Fezn J

&(aI&08-Z32 %#c2(-Zd)xzf?j5uS}~n;et|xgez{~sxg{Fezn Pj~¯1nfixzn * :iwªgøª¬fae|filmn

ez{Fyn i .I % 21212 I(A* Pj"!*S¯n¿ujÀ¨n

Ê1^i

7

%DE212121

7

(#j " i j ( /

7 % 212E2

7 ( "!"

ÊH-3 "¨o 1212E2DH'$5i2I>6\jNS<i

7

6\j

Êcj9LSª¬fie|fal*nqlj9xkskuFwyFh¿ª¬{FsxzwyfiVlj9}F}FwyFh I16³xgf

7

6Fj~,lVj}F}FwyFhwyinsÊ

xzwyÀ¨n;?xguFn_fixguFn;e|xkjxzn|f9ª $¸xzfc|xtj9xgn|(fa{Fxk|w²Sn_fª

Ê "+ i "

7 % 212E2

7

(j^i2I %0jP21212^i2I(#j.I % 21212 I( ")"%$

Ê + ^i2I_j I"&$

Ê M #i!^i6Ij^i

7

j3j>i6I'

7

j("% $

Ê * , w²|/Sn°Fnja|ª¬fayf9¯/| F) i6Ij i2I_jw¾ªBI"@ fae

@i2Ij $ i 7

jw¾ª I=^i

7

j%ª¬fie|fal*n

7

"%$

xz{Fegnu~j;À¨nxzf5~nl*n;eghin5¯wyxzu?|xkjxzn|Éfª±xzuFn}~j9xgxzn;eg³·9©"n1wyl*}~f¨|n1xzuj9x%xguFn1j9~n;ywFh

f9ªxguFf¨|n5l*n;eghinc|xtj9xzn|0w²|%xguFn_|zjl*n¨iun;~sn/¯1ns;j9Sn°~Fn{F~j9lcFwyhi{Ffa{~|yxzun5²jÊ

~n;ywFh?fª%xguFn|xkjxzn|f9ªxzuFn_ezn|{Fyxzwh?uS}~n;ek|xzez{sxz{Fegn¨·

µ1uFn1°hi{Fegn5ficxzuFn1ª¬fayf9¯wyFh_}~j9hanq}ezn|n;Sxt|j haekj}Fu*hietj9l*lj9e *(øsfil*}~fø|n?f9ª

fiFn/ez{n¨ixgu~j9x{~|n|%xzuFnu}Ìn$ekj9ets#"o;aSj9~cx¯f_|{s;sn|g|wÀ¨nezn;¯egwxgwFhø|0jas;sfaekSwyFh

xzfcxzu~jxqeg{Fnø·

UFezfal Ff¯ fi³¯1n"ezn|xzegw²sxmfi{Fe |xg{~S xgf |wl*}nC|xzeg{~sxz{ezn"hiekjl*lVjek|wË·n¨·

hietj9l*lVjek|¯wxzuVfaF*faFneg{FnøS¯uFfø|negwhauSxl*n$l?Ìn$e0uji|fiFy*fiFn_uS}~n;etj9etsi·

¶Ln;x$ ~nj~j9xg{FekjË±j9~%"]jj9~n;³f9ª-uS}~n;etj9eks5fªj9egwx&"·

¶Ln;x('0 i*),+-).+(),+0j³~nj(°~Fwyxzn 5egw}F®¨n|xgez{~s xz{Fegn1¯wxgu/ w²|xgwFha{Fw²|uFnL

}~j9wyez¯w|nw²|xgw~s x;;|xkjxzn| #i021 6fj

%

j~H Mi

,

j±j°Fwxgn 5egw}F®¨n|xzeg{~sxz{ezn

(11)

¯wxgu* w²|xgwFha{Fw²|uFnL}~jwez¯w|n/Sw|xgw~sx|xkjxzn| +i 3 6fj

%

j9%i

7

6fj %

·i©Pn1ª¬{ezxzun;e

wl*}~fø|n_xzu~jxD -43" No 22%R(),+>i 0 1 6jNM

, i 3 6fjNM

,

i

7

6\jk·

¶Ln;x '0Mi ' 0#"/),+ " 021 % 212E2 021$jk;j~ ! i6 " , "

7

%42E212

7

$j F

j9~Vn;x *)0~nxzuFn|xgez{~s xz{Fegn¿haekjl*lVj9e¯wyxzuVxzuFn_{Fw¨{Fn_ez{Fyn"A3 .%212123 +* _·

©"nC|uFf¯xgu~j9xmxzuFn wS°~wxzn wxgn;ekjxzwÀ¨n j}F}Fws;j9xgwfa f9ªxguFn{Fw¨{Fneg{Fn f9ª*)0

fi"xzuFn?u}Ìn$ek|xgez{~s xz{Fegn ' 0 Sn;xzn$ezl*wyFn|j{Fw¨{Fn?wS°Fwxgn?5ezwy}F®¨n|xzeg{~sxg{FeznR

iAojk·

_¤Ç³Çk§mUÉwyek|x$F¯1n|uf9¯Txzu~jxqxguFn{Fw¨{Fn_ez{Fyn¿fª * 0

s;j9 Ìn_wyS°~Fwyxzn;y*j}F}Fwyn

fi ' 0 ·

L¨wy~sn¯nu~j;À¨n-"/0 1 % 2E212 021 "!" ).+ Sj~-43" No 22%R ),+ i021 6jNS

, i 3 6jka¯1n

s;j9 j9}}FCxguFn{Fw¨{Fn?ez{n?f9ª * 0 xzf ' 0 ·L©"ncu~j;À¨n ' 0 * + ' % ³j9¯n*s;j %

xzuFn_lVjxkskuFwh¿ª¬{F~s xzwfa ji|z|fsw²jxznVxzfcxzu~jxqegn;¯ezwyxzwyFh?|xzn;}³·

L¨wy~sn " , "

7 % 212E2

7

$¨¯1nujÀ¨n)"/)& "- %>i

7

%j 2E212 %>i

7

@j¨

j9~± -43" No 22%R()0i %>i

7

6\j3jKM

,

i

7

6\jNS

,

i3 6\jk·

©"n|{F}F}~fø|nxgu~j9x/xzun;ezn5n$Sw|xk|KOcuS}~n;ek|xzeg{~sxz{ezn| ' %1 ' '11212E21 ' T/|{~svuVxgu~j9x

Ê '0 * + '% * + ' ' * +21212 * + ' T

(12)

Ê1^i0%D1212E21 Kj"&

) "/)

" % 212E2 -B+ -43""N¾o 2 2<R ()

i-6\jNS

,

i3 6\j

µ1uFn$³Swy*xzuFn |zj9lmn5¯j;mji|0ª¬fie '0¯1n_s;j j9}F}FyxguFn5eg{Fn5fª *)0xgf ' TS¯uw²sku

ezn;¯egwxgn|(wyCfiFnc|xzn;} xzf ' T8 %;·³µ1uFnu}Ìn$ek|xgez{~s xz{Fegn ' T8 %¿À¨n;egw¾°~n|1xguFncsfa~Swxgwfa~|

xzu~jxj9ezn/Fns n|z|gj9ezxzfj9}}FfiFn/l*fiegn1xgwl*nxzunqeg{Fnf9ª*)0xgf ' T 8 %·i©Pn/s fi~|xzez{sx

wVxzuj9x/¯j;Vj9 wS°Fwxgn_|n;xfªuS}~n;et|xzeg{~sxg{Fezn| ' TSª¬fie/j³}~f¨|wxgwÀ¨n_wxzn;han;ek|O~·

©"n_Ff¯«Sn °~FnA ioj

Ê @N*)

Sª¬fie/j³}~f¨|wxzwyÀ¨n5wxzn$hin;et|KOÌ·

ÊRC #i6I'

7

j 1 O']i6I'

7 j "( )

¨·

ÊH- I"&Ki2I_jNM()

i6Ij¨ª¬fiej OV|{~skuVxzu~jxIH"&*)

· @

VÃò£ÙÇ§F©Pn|zj;*xgu~j9x'i'0 5jw²|j79+8-Z'&d)^&32(-.A-d#?f9ª :·

©"n5s$j9. 6±xzuFn/lVjxkskuFwFh/ª¬{F~sxgwfimji|g|fswj9xgnxzfxzuFn 3Ùxguegn;¯ezwyxzwh|xzn;}mf9ª³xguFn

hietj9l*lVje *)0/fi '0ij9~& 05xzuFn_wSn;xzwx?fa *).+·

©"n_u~j;À¨n -GI"& 1 7 " i*),+((

,

j1F35 I 6.i

7 j

GËVhin;n;ekjË

7

w²|Ffax5{FFwð{Fnø·S©"n?s;j 0 !i6IjxguFn|n;x/f9ª|xkj9xgn|

7 " i*),+

, j

|{~skuVxzu~jxq¯n_u~j;À¨n 1F35 I 6di

7

jk·

©"n"Sw²|xzwyFhi{Fw|uTSw¾Á±n;egn;xVs;j9xgn;hifaezwyn|f9ª|xtj9xzn|,f9ª ª¬faeVlVj9®wFh nji|wn;e*xguFn

}Fezn|n;xkjxzwfaVf9ªxguFnj9hafiegwxzulC·

VÃò£ÙÇ§9©"n|gj_xgu~j9x(IH"&Vw|³j9+:& f2(-.A-ZÉfª~xzuFn 3ÙÊ¬n;S}j9~|wfiÍ#iÙezn|}³·f9ª

xzuFn G9Ê¬n;}~j9~|wfa!jk~w¾Á 1 7

"@

, 3 %

121212 3 7 %

1212E2D

7

' I 6 i 7

jkmi¬ezn|}³·

1 7

"& ),+ 021 % 12E2121 021 ' I= 0 i 7 j3jk·

VÃò£ÙÇ§S©"n5|gjcxzuj9xI5"&"w²|1jK]&3#-.f(& f2(-.A-%fªxzuFn 3ÙÊÙn$S}~j~|wyfi³i¬ezn|}³·

f9ªxzuFn G9Ê¬n;}~j9~|wfa!jkw¾Á 1 O " N¾o 22<R IS 6 i

7 T j& 68 % i3 T jtiÙegn|}³·1 O "

N¾o 22<R I 0i021 TjN %>i 3 PT(j3jt·

¶Ln;x i'A j~n_j¿°~wxznezn;}Fegn|n$Sxtj9xzwyfi*fªjVwS°~wxzn|xgez{~s xz{Fegn:·¶Ln;x$:~nj

´µ¶ª¬fiegl{²jS·¶Ln;x ~nj?²j9~n;ywyFh¿ª¬{FsxzwyfiVfiVxzun|xkjxzn|f9ª 'Yj~*¨ª¬fie/j9y

xzuFn|{FSª¬fiegl{²ji|1fª $F Ci*)(kj "#Ii2$ejN* 0 # I 0 ¨·

VÃò£ÙÇ§Ì©"n?|gj xzu~jx6i'A jt~|{F}}Fwyn,¯wyxzu( ~Fw²|6 &(-Lª¬fae$!¯wyxzu

w¾Á

-GI"%>- $ 0 "#Ii6$Xj, I ; $ 0 - 7

" 0 ^i6Ij i7 $ 00jN 0

UFfiemj9y, " ?¯1nSn°~Fn#0 -GI " ),+ +

,

i6I'6 j 0mw¾Á I "

(13)

sfi|xzeg{~sxgwfiÍÉxzuj9x<i'0 5jqw|j,°~wxznmezn;}Fegn|n$Sxtj9xzwyfi³sfauFn;egn;Sx5ª¬faexzunVj9xgfil*ws

}Fezfa}~f¨|wyxzwyfi~|q¯wyxzu :·

µ1uFn5ª¬faf¯wyFh°~hi{ezn_hiwyÀ¨n|j9Vn;j9l*}n5fª|{~svu j°~Fwyxzn5egn;}Fezn|n;xkjxzwfa³·

¶ki j5/} ¶ki j5

%

ô

% 2%

GËxgu~j9xs;ja|n¨~xzun?uS}~n;ekjeks¿¯uw²skuwSw²s;jxzn|/xzuFnhi{wFh*fª}~jxzxgn;ez~|/w~sy{~Sn|

fiFy*fin?|xtj9xgn¨·~µ1uFn_²jÌn$wyFhVjxzfilmw²s}Fezfa}Ìfø|wyxzwfa~|5Sw|xgwFha{Fw²|u,faFmx¯fc|n;xt|

f9ª|xtj9xzn|·~µ1uFn5°~et|x/|n$x1w²|sfilm}Ìfø|n*fª%xguFn5{FFwð{n_|xtj9xznjxxzuFn5n$Sxgezn;l*wyx¿fª%xguFn

wS°Fwxgn|xzeg{~sxz{ezn¨xzuFn_fixguFn;e|n;xw|sfilm}Ìfø|n*fªj³xzun¿faxzuFn$e/|xkjxzn| ·

>;cc'($#0"8

= ) 8

r wyFnjej9yhifaezwxguFlJª¬fie/skuFnsk®SwyFh?´µ¶ª¬faezlc{F²ja|fa*°~Fwxgn_|xgez{~s xz{Fegn|0¯ji|1}Fegn|n;Ê

xznVw N´9loL1QaRË·µ1uFw²|/j9yhifiegwxguFl fi}~n;etj9xgn|qja|ª¬fayf9¯/| ~j°Fwxgn|xzeg{~sxz{ezn_w²|1hawÀ¨n;*F

j9y³|xtj9xgn|1¯wyÌ~n5j9~n;yncj9y³|{FSª¬fiegl{²ji|f9ª($P¯uw²skuVj9egn5xzeg{Fn5wmxzuFn;li¯1faezÊ

®SwyFh?wsezn;lmn;Sxtj9y¨~n;hiwyFFwh¯wyxzuVxzuFn|wl*}Fyn|x|{FSª¬fiegl{²ji| ·~µ1uFw²|1¯wy±n;~|{ezn

xzu~jx;FnjasvumxzwlmnxzuFn_jhafiezwyxzuFlu~ja|(xgfÀ¨n;egw¾ª¬cjhiwyÀ¨n;?ª¬fiezlc{FjS¨xzuFnxzez{xzu*Àaj9y{Fn_f9ª

j9y³xzuFn_}~n;ezxgwFn$Sx|{FSª¬faezlc{F²ja|1¯wyL~n®Ff¯*ª¬fie/j9y|xtj9xzn|(fªxzuFn|xzez{sxz{Fegn¨·

¼/{Fe_jhafiezwyxzuFl4ª¬fieskuFnsk®SwyFh?wS°FwxgnR egw}F®¨n|xgez{~sxg{Fezn|q{~|n| xguFnc|zjl*n}ezwÊ

sw}n¨·~r °~Fwyxznezn;}Fegn|n$Sxtj9xzwyfiVf9ªjw°~Fwxgn?|xzez{sxz{Fegn_w²|hiwÀ¨n$³F¯wxguCjj9~n;ywFh

sfiun;ezn;x1ª¬fie/xzunjxzfal*w²sq}ezfi}~fø|wxgwfa~|·L©"n_}Fezfahiegn|z|w~s ezn;l*n$Sxtj9yiSnsw²SwyFhxguFn

²jÌn$wyFh_f9ªl*faeznj9~cl*fiegn/sfil*}n;|{FSª¬faezlc{F²ja|Þª¬fiexzuFn |xkjxzn|f9ªfa{Fe0°~wxzn/ezn$Ê

}Fezn|n;xkjxzwfa³·J1{Fx$Fxzu~jxqegn;}Fezn|n;xkjxzwfaVl{~|x1egn;lVj9wyVsfauFn;ezn$Sx¯wyxzuxguFn_wS°Fwxgn

|xgez{~sxg{Fezn5ª¬fae5j|{Sª¬fiegl{Fji| ·

UFfie/~f¨fiynj9 sfiFnsxgwÀ¨n| Sxzunxzeg{Fxzu Àaj9{nf9ªjhawÀ¨n; |xkj9xgn?fiFy Sn;}~n;~F|fi

xzuFnmxzez{xzu:Àaj9y{Fncf9ª/xzun*|{FSª¬fiegl{²ji|_jxxzunV|zjl*nc|xtj9xznø·kTqn;sn¨Ìª¬faen;j9l*}n¨±j

(14)

sfiun;ezn;xegn;}Fegn|n;xkjxzwyfiPª¬fae?xzuFnV|{FSª¬faezlc{F²ja|H$%?j~ $'¯wy1ezn$lVj9wy:sfauFn;egn;Sx

ª¬fie/xzuFn5ª¬faezlc{F²j5$%+ $'Fwª%¯nSn°~Fnja|ª¬faf¯/|1xguFn_²j9~n;ywyFh?

D

- I"&*),+(

,

>- $

%

"#Ii2$%0j

]i6I' $

%

jNM

i6I' $

% j

- I"& ),+

,

>- $ '

"#Ii2$ ' j

i6I' $ '

jNM i6I' $ ' j

- I " *),+S

,

>i6I' $(% + $'0j 0

i2I' $%j 0H+

i6I' $'j 0

µ1uFw|(w|qFf*lmfiezn_xgez{Fnª¬fae5xzn;lm}ÌfaekjsfiFnsxzwyÀ¨n|F~ns$j9{~|n?xzuFnxzez{xzuCÀaj9y{Fn?f9ª

jxzn$l*}~fiekjLª¬fiegl{Fj¿ª¬fie_jc|xtj9xgncSn;}~n;~F|fiCxguFnxgez{FxguCÀaj9{nf9ª0|{FSª¬faezlc{F²ja|ª¬fae

UFfie/xzunH-/1i6$Xjj9~ 1/1i6$ejª¬fiegl{Fji| FxzuFn|xkjxzn|5fª1xguFnwyS°~Fwyxzn|xzeg{~sxg{Fezn¨~ezn$Ê

}Fezn|n;xznCfin*|xkj9xgnfª Lu~j;À¨ncj%xguFn*|gj9l*n?wyl*l*n$Sw²jxzn|{s;sn|g|fiet|³n;sn;}Fx

¯uFn;CxguFn; j9egnhiwyÀ¨n;VxzuFn_°~ek|xqn$S}~j~|wyfiCfª1xguFnhaekjl*lVj9e$·+GËxgu~j9x s;ji|n¨ÌxguFn

wFÊ|xtj9xgn|(fªYj9egnl*n;eghinc¯wxzu xzuFn_n;Ê|xkjxzn|f9ªxzuFn_wwxzwj9±hiekj}Fu '0~j9~VxzuFn$

s;j9 u~j;À¨nwyl*l*nSwyjxzn?|{~s;sn|z|faek|_w' 0a³¯uFn;egnji| Íª¬faexguFnª¬fiyf¯wh,n$S}~j~|wyfi~|

xzuFncwÊË|xkj9xgn|5jezncl*n;ezhan,¯wyxzuCxguFn?fi{FxgÊË|xkjxzn|_f9ªxzuFn?}eznsnSwFhmn;S}j9~|wfiÍ³j9~

xzuFn$we_wl*lmn;Swj9xgn|{~s;sn|z|faek|5u~j;À¨nmj9-xzuFnm|zjl*n?²jÌn$wyFhª¬faexzunc|{FSª¬faezlc{F²j $1·

µ1uFn;egnª¬fiegn¨Éwyx¿ljC~n*nsn|g|zj9egPxgfl*fw¾ª¬Cxzun*ezn;}ezn|n;Sxtj9xgwfiÍ·Éµ1uw²|¿w||wl*}Fy

jiskuFwn$À¨n*xkj®SwyFhcji|xzuFn_Fn$¯ wyFwxgw²j9±hietj9}Fu xzuFn_l*n;eghiwyFhfª '05j~ ·

UFfie_xguFn 1^i2$%435$'0j_j~=- i6$%35$'0jª¬fiezlc{Fji|±xzuFncl*fSw°±s;j9xgwfaC¯w~ncl*fiegn

sfilm}Fws;j9xgnLi~ns;j{~|n_xguFn5xzeg{FxzumÀij{Fnf9ªj?|xkjxzn5ª¬fie|{~skuVj¿ª¬faezlc{F²j_s;jn;}~n;~

j9yhifiegwxguFl ª¬fie1 $%3H$('ª¬faezlc{F²ja|·µ1uFnVjhifaezwyxzuFl ª¬faeH-Xi2$%3H$'0jw²|À¨n;eg"|wyl*wj9e

j9~Vw²|1Ffaxq}ezn|n;SxgnuFn$ezn¨·

6 8=

ö

N

¶Ln;x i '0 hj/~n*j*°~Fwxgn?ezn;}ezn|n;Sxtj9xgwfi"f9ªj:w°~Fwxgnc|xgez{~sxg{Fezn i jt

¯wxguC²j9~n;ywyFh¨|

fiFxtj9wyºj,Fn$¯Jezn;}Fegn|n$Sxtj9xzwyfi"i'

0 jkj~:j,j9~n;ywh

;sfauFn;egn;Sx_¯wyxzu

|njeksku*f9ªj¿n;¯ ezn;}ezn|n;Sxtj9xgwfimxzfxguFn_|xz{~Smf9ªxzunqª¬ezfaSxgwn;egÊË|xkj9xgn|j9~cxzuFn;m¯1n

}Fezn|n;xfi{Fej9yhifaezwxguFlC·

(15)

¤ÃSÃ ¬Ã º¥F¢

1Ã !¥

|zjxzw²|Ë°~n|:1^i6$(%63H$'jkw¾ª/¯1nm®SFf¯w¾ª/xguFnª¬ezfaSxgwn;egÊË|xkjxzn|fª5xguFnBi 3YojËÊ¬n;S}j9~|wfi

j9~Vf9ªxguFnA3ÙÊ¬n;S}j9~|wfi |gj9xzw|Nª¬ 1^i2$%63H$('0jk·

_¤Ç³Çk§FrqySxguFn/}~j9xgu~|0w|z|{nª¬egfil I5j9egn(°~et|xsfal*}~f¨|nfª³xzunqwyFFn;egÊË|xkj9xgn|%f9ª

xzuFn 3ÙÊ¬n;}~j9~|wfa³·µ1uFn;cj9egn_sfal*}~f¨|nfª³fixguFn;e|xtj9xgn|0faFcj;ª¬xzn;exzun;?w~s {~SnxguFn

ª¬ezfaSxgwn;egÊË|xkj9xgn|f9ªxguFn i3 ojËÊfie 3ÙÊÙn$S}~j~|wyfi³·^Tqn;sn¨Swª%¯n®Ff¯«w¾ª-xzun¿ª¬ezfaSxgwn;e

|xtj9xzn|fª³xguFn i3 Co jËÊ±j~ 3ÙÊ±n;S}j9~|wfim|zjxzw|Nª¬1^i6$% 3H$('0jki¯n/Sfi xFn;nxgf|xz{~

xzuFn}j9xzu|w|z|{Fn ª¬egfil Iða¯uFw²sku?s;j?w~s {~SnjwyS°~Fwyxzn1{Flc~n;e³f9ªÍ|xtj9xgn|i~n;¨fa~

xzuFfø|n_ª¬ezfixzwyn;e|xkjxzn| ·@

qfaxkjVÌn$Fn SUFfiexguFncwFFn$ezÊ|xkjxzn|_f9ª/xguFn G9Ê¬n;}~j9|wfa³K ³xzuFnV|xkjxzn|_f9ª'0

n;sn;}Fx?xguFn |xkjxzn|<i021 6jk%wyx?w²|n;Ffa{Fhiu»xzf"®Sf9¯w¾ªxzunª¬egfixzwyn;ezÊ|xtj9xzn|f9ª_xguFn G9Ê

n;}~j9~|wfa:SxzuFn|xkj9xgn|5i021 6jt~|zjxzw²|Ëª¬ 1^i6$%635$'0jt·

Ã :¥

7

T(jkL¯wyxzu

3ToiSfªxzuFn 3ÙÊ¬n;}~j9~|wfaV|zjxzw²|Ë°~n|,1^i6$%635$'0jtðwª±¯1n/®SFf¯ wª³xzun(ª¬egfixzwn$ezÊ|xkjxzn|f9ª

xzuFn'i 3 CojËÊ¬n;S}j9~|wfim|zjxzw|Nª¬1^i6$%3H$('0jkic|xg{~SwFh_xzun²j9~n;ywyFhqª¬fie$%j9~C$'

f9ªÍxzuFnwyFFn;egÊ³j9ª¬egfixzwn$ezÊ³|xkjxzn|%f9ªÍxzuFn5i3 o jÊzi 3*#jËÊg 21212+i 3&BjËÊ¬n;}~j9~|wfa~|

¯uFn;egn w²|1xguFn_S{l~n;ef9ª0|xkjxzn|5i021 T jtmi 3 T jfae i

7 T jk·

_¤Ç³Çk§oGÙª/¯n°~~Pwy j}~j9xgu i

7 T I 0 I % E21212 I ( j5¯wyxzu: i6I ( $ ' j?

0j9~S

i6I $ % j 0a- G!I J É¯1nCs$j9Tsfi~s {~Sn xzu~jx I

6 i

7 T j; 1^i6$ % 35$ ' jk|wy~sn/¯1n/®Sf9¯»xzu~jx1xguFn;ezn/w²|%wy j¿}~jxzuBi 6 i

7 T j 6 i6I % j

212121 6 i6I

(

jjk1¯wyxzu 6 i6I

(

jS; $ '

j9 - G I J

6

i6I j ; $ %

/|w~snCxguFn

²jÌn$wyFh¨|

w¾ª-¯1n5°~~V|{~svu j?}~j9xguwy Sw²|g|{Fnmª¬egfil 3 T;|wy~sn5I= 6Zi

7

T(jN 698 % i3 PT(jk·

¶Ln;x |{F}F}~f¨|n!¯n:fi x,°~~Tj9 f9ªcxzuf¨|n }~j9xgu~|· Gª¯1nC°~~ wy j!}j9xzu

i

7 T I10 I %DE212121 I(( 3 j5¯wyxzu:

i2I16 $%0jA 0 >-35 GI 3=I É³¯1nVs$j9

SnswSn_w¾ª-xzu~jx5}~jxzun$~j9Fyn|{~|(xgf*s fi~sy{~Sn_xzuj9xI ; 1^i6$% 3H$'0jt~|wy~sn_¯1n®SFf¯

¯uFn;xguFn;exzuFn1ª¬egfixzwyn;ezÊ|xtj9xznfª³xguFn5i 3 o jÊÙn;}~j~|wyfi/ 6?% i

7 jN 6di 3 j%|gj9xgw²|N°n|

1^i6$%635$'jfie/Ffix$·mJ1{Fx;Fwª¯1n5°~w#]|{~skuCj?}~jxzuª¬ezfal 3 PTxzf

7

Ìwyxqlmnj9~|

xzu~jx5¯1nu~j;À¨nwy(=j}j9xzuª¬egfil 6.i

7

T0j 698 %>i 3 PT(jxzf/ 698 %i

7 jtLj~LLfaCj9y

xzuFnc|xkjxzn|qfªxgu~j9x5}j9xzuÍ*$%quFfa²F| ·mTqn;sn¨F¯1n?ujÀ¨nxzf*lj9®¨njFn;¯Yn;}Fyfiekjxzwyfi

f9ª/xguFn}j9xzxgn;ez ³~n;hiwyFFwyFh j9x

7 j9~ 3 ·SJ1{Fx;LwªNO&~³¯1ncu~j;À¨ncj9egnji

lVjin5xzu~jxn;}Ffaekj9xgwfa³·:L¨wyl*wj9eg¨w¾ªxguFn;ezn/w²|j}j9xzu*ª¬egfil 3 xgf

7

Fj~):O

(16)

fie ~¨¯1nSfi x1n;n?xzf?|xz{~xguFnq}j9xzu|1w w|z|{nª¬ezfal 3 fae

7

·+Tqn;sn¨

wxw|1Fnsn|g|zjez*xgf*|xz{~Sj9x/l*f¨|x n;S}j9~|wfi|qj;ª¬xzn;exguFnA3ÙÊÙn$S}~j~|wyfi³· @

qfaxkj5~n;Fn _UfaexzuFnª¬ezfaSxgwn;egÊË|xkj9xgn|Éfª³xzun GÊÙn;}~j~|wyfi³¨xzunqn;}Fyfiekjxzwyficf9ª'0

|xtj|Þª¬faeÉxguFnn;S}fietj9xgwfif9ª9º¯uFw²sku|xgfi}~|%jxÉxguFn0ª¬egfixzwyn;ezÊ|xtj9xzn|Lf9ª±xzuFn}Fegnsnn;Sx

n;}~j9~|wfa³·

Ã :¥

§L¨{F}}Ìfø|nxzuFn;egn_n;Sw|xt| 3%j9~ROV|{~skuVxzu~jxD

- C" N¾o 21212 %R 6 i

7

>j ; 1^i6$

%

3H$

'

j T

i

7

>j ; 1!i2$

%

35$

' j

µ1uFn$³S¯n¿ujÀ¨n

- C" N¾o 21212 %R 68 % i

7 j ; 1^i6$% 3H$'0j T8 % i

7 j ; 1!i2$%635$'j

_¤Ç³Çk§³µ1uFw|1w²|/jSwyezns xsfa~|n¨{Fn;sn_f9ªxguFn_n;l*lj¿·Lµ1un¿j9~n;ywh¨|0ª¬fie $%

j9~ $'cj9ezn xzuFn |gj9l*nª¬faexguFn |xtj9xzn|fª5xguFn ª¬faf¯wyFhCn;}~j9~|wfa~|j;ª¬xzn;e?xguFn

i 3 o jÊj9~iO :ojËÊ¬n;S}j9~|wfi|~|wy~sn/xzuFn$*jezn/xzuFn5j9~n;ywh¨|N

j~ f9ª(·

Tqn;~s n¨FxzuFnfiFy Sw¾Á±n;egn;~sn|¯uFwsvu s;j"j9ezw|n_ª¬fie/xzuFn?xgez{FxguÀaj9y{Fn|1ª¬fieH1^i6$(%435$'0j

f9ªxzun ª¬egfixzwyn;ezÊ|xtj9xzn|(fªxzuFni3 ojËÊj9~iO ¸ojËÊ¬n;}~j9~|wfa~|5j9egnxguFf¨|n~n;x¯1n;n$

xzuFn?ª¬ezfaSxgwn;egÊË|xkjxzn|5f9ªxzuFnR3¬Ê/j9~ O¨ÊÙn;}~j~|wyfi~| ·GÙªxzuFn;j9egnwSn;xzw²s$j9ËFxguFncxzez{xzu

Àaj9{n|(fª%xguFn5ª¬fiyf¯wFhª¬egfixzwyn;ezÊ|xtj9xzn|1¯w±~nw²n;Sxgw²s;jË·9@

VÃð£¥ ¬¢Ç/£ Ã¥ ~ÇÌ¤ ²£

¼/{Fe5jhafiezwyxzuFl w²|Sns fil*}~f¨|nwy,xguFn5ª¬fiyf¯wFhc|xzn;}|

Lxgu~j9x_hiwyÀ¨n|5j°~et|x_xzeg{Fxzu"Àaj9{nfª1^i6$% 3H$('0j(ª¬fae_xzuFn?n;Ê|xkjxzn|5fª-'0?j~xguFn

wFÊ|xtj9xgn|_j9~Cfi{FxgÊË|xkjxzn|5f9ª ·Íµ1uFn;³L¯n?|n;n;®xguFn?}~jxzu~|5w'0i~fi"¯uFw²sku#$(% w|

j9y¯j;F|xzez{n¨;xzu~jxsfaFFnsx-j9?n$SÊ|xtj9xznxgf_j9fixzun;e%n;ÊË|xkjxzn¨aj9~xguFn|wl*wy²jeL}~jxzu~|

w !ª¬ezfalj9*wy;fa{FxzÊ|xtj9xznxzfj9FfaxzuFn$e1w ;fi{xzÊ|xkjxzn¨·µ1uFw|s;j9c~n5SfaFn5l*fn;Ê

svunsv®wh¨|¿fª_xzunª¬faezlc{F²ja|1 $%63 i6$%+ 6djk%¯un;eznC 6/w²|?j jxzfilmw²s}Fegfi}~f¨|wxgwfi

¯uFw²sku¸w²|faF xgez{Fn"f9ªj@hawÀ¨n; n$$w$fi{FxgÊË|xkj9xgn¨·CTqn;~s n¨0¯nPn;n xzf»lVj9®¨n

l*fSn;yÊËskuFnsk®wFhø|fª ' 0 j~ lmfSn;ÊskuFnsk®SwFhø|fª·

ÍÃS¦¨ÇÈ«¢£Ã§µ1uFnegn|{xk|/f9ª/xzun°~ek|x?|xgn;}"¯w-n;~j9n?{~|_xzf Sn;xgn;ezl*wyFn_w¾ª

xzuFn1ª¬egfixzwyn;ezÊ|xtj9xzn|Éf9ª±xzun/Sw¾Á±n;egn;Sxn;}~j9|wfa~|%|gj9xzw|Nª¬C1!i2$ % 35$ ' jt·¨µ1uFnxzn$l*}~fiekjez

xzeg{FxzuºÀaj9y{Fn|hiwyÀ¨n;"S"xzuFn*°~et|xc|xzn;}:wy~Sws;j9xgn*¯uFn;xguFn;exguFn;egn*w²|j}~j9xgu³%w:xguFn