May 14, 2002 - se q uel. Most importantly, ruleEa 10)c applies a s y n chr onously ¦ meaning that the continuation ...... Model C hecking U sing N et U nfoldings.
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Diagnosis of asynchronous discrete event systems, a net unfolding approach Albert Benveniste, Eric Fabre, Claude Jard, and Stefan Haar
N˚4461 14th May 2002
ISSN 0249-6399
ISRN INRIA/RR--4461--FR+ENG
THÈME 4
apport de recherche
! #" $ % & (') *+, - .,0// 2143 5687:9=@?A9CBEDF9cdfeA| gi d:zswyz}kdhkqry[jly(qzcaJhxcmbjtnpCdJo-cy$qrjtocxvxvdJqrjty o cjpyzo{qzjlswu o{vbvFswzq | d0zdK~`bd>~`bduwewer©swubª«sCmd+y ¢£|sCntjpnlo{s-w¡usCo¬yzjly$yzs{¤k®} ~>o{cAnlnld dK| o{uqryzms{dP¢`b~jsw|bu| ~dJmbuPrzydJquo-~qz}d `owvbjly[ vbqzJsCr>sCz-}¥oCb~w`ErdJw~> jlswu¯uy[¡$qzu r`bmjpqz~~¦`b`¯qrjtjpsCy(ubuEs«vRo{w¢£vFrnld>swsw(¤c§ow¡ n:o{d0ynpo{¢£qswo-rrc! nlsCsx ~>| owd>n rd y[| qro-jtqr¢EdJqzy°`jtd>u}~owsCzcd³d>¤bjtjlqzu`bo-dJqr jtsCCu¥d>ub¡$dJj±rqro{`²qzd qroP| d vswo{uo{u z| qzqz`bjpo{ubd0n sWyrswo{C cnt| sCd>d¤o{yzjtcnqzdwqrs jtk|csCdJd n rswjld>yA¢$npo-o^qzqr¨-jldco{| jldwnl¨kow¤bjpjlo°u²ntdCyz© sw¡$c`bujpdf~y[`¯qz~>dJowo nlmsk| yz~Jowo{nt¡ njtqd d>}¨Cmzd>dJyzudJ}cc¡#d>o{owu© cownxs{qzqrskjt¨-swo-nqrjldyR| qz`¤ko{}@qRqrs{`b¢d0µFvb¶>· rsw¸x¤bµKnl¹d>º-c»t¼{½¾s{µÀ ¨wsCdJzuubnpo-qz¢£jlzswsCu cÁjtuqz`qrd(d>nldJ~dsCqzrcjbcubd>mbq:ubrjpdJ~>yzo{dJqzo{jlswu~` y uÄ dÅo{udrr|d>np| o-jpqzo{jlwswuusC© yzjlyJ-owyz}qfow[qrjl~>ntd°ubswmy>qzm | jtsCuynldAvbzsC¤bnla>cd | m | jpo{CubsCy[qzjp~0vFswmb | dKyyz}xyqra>cdJy oC|y[ >}kqruo-~q `0zsCvubowdJ[yJqr©jt | dfdJvby ro{swnp¤bo{rnla>ccdJdydJsCy[¤q y[dJ¢£sCz¨zc°>dKmby>n© (~>swswmcy:co d| swmvxuqrswvbury:sw¤bmbnlu@a>cvFdswjl|uCdfq |zdKd~¨ksCmbudyqr|zmj±q ~¦qz| jld(swu npo | zd~sCqzuo-~[mowz~rqzd>sCujt~>rdd "| qr¨k| d>dAco{+jlv dJ ¦y#yzKdJ ow dmbm j y[ubqzqzrr!j dmjI © ~¦qr mbmqzu my | ubsCjtd sC| cuzyfdfowmbubvu¥jlowvb[mb~qrnldJjtswdJ[unIq©$o{yjl[u«o{s{c%ubqrzsCo{dfcjpy sw¤bmbrqzd >jlqrnE| o{vbd%qrry jt¨-uwo{nl~>rswjtjlv¤owo{owu| q nld@d mb~dsCd uvbub~zswdJsCmvx¤byEq nla>mx| cqrdjtnldwjl¼&©yz%(sw'F u»±y ½*d>)>q[m¿qzm | d0dJy[q#cswqzjl&¨ >dfvow$ntd~Jowy | d0npo~swr+ >npo-qzjlswu "| o{npo{rcAdKy d>u+wdKyqrjtsCu | d0+ JyzdJowmx&© K & . / | | | qr- jtsCÉu | Ç ownlow zcdJyJ© jlowwubscdJy jpyz~>zd>qryJ+ JyzdJo{mb dd>qzrjI >vbnljpo{wdC~>swr0 Jnlo{
À -µ zº{µFº-¸kÀ¼-½*)J¿{µXº^À¦½pÀ
$ J É Ê { É
b©t Æ # oC~ Ã,qry(owÅ u >| qr`bd>jl(mbub¢£swn | jtuCy ©f©0©0©f©0©f©0©f©0©0©©0©
b
b©©
³jpy[yz}k~>um~yz`yzzjlubsC%ubswowmyzy}d>cÂbo{y[cd>q[vbqznljld%ubA ©f©0©0©©©0©0©f©f©0©0©0©0©f©f©0©0©f©f©0©0©f©f©0©0©0©0©©©0©0©© K^
Þ É Þ Å JC Å Å J @b Æ É É Ê I É I# Æ Å É ÒÉ .IÊ F ee ©t©
. É ³ £nty[ C}kswu²r~j±`qr `bzsCc%uby$swmowy#y v| jpo{o{q[Cqrd>ubrsCu yzjpc%y!o-©0q~©f`bjl©0ub©0z©mb©0nldJ©fy ©0©0©f©f©0©0©0©0©f©f©0©0©f©f©0©0©©©0©0©f©f©0©0©0©0©f©f©0©0©f©f©0©0©f©f©0©0©0©0©©©0©0©©
w e© u+jtcvbrs-¨wd | o{nlwsCzjtqz`c ¢£sw#qr`bd~>oCy[djtu+¡$`bjp~` ~>owmyzowntjtq}%jpy$zdKy[vFdJ~qzd | ©f©0©0©©0©
C
©t© x
> Þ o^Å jpo{}wwdJurÅ y#sCKyzo{ jluy | npo-npq[o-Ê qrqzjlqz~> jpdJ~y¬d0Å ub©0Þ d>©fqr y¬©0 Å©f©f©0©0ÒÉ ©f©f©0©0b©0©0 Æ ©©©0©0 ©f©f ©0©0É ©f©fÉ©0©0 ©0©0%©f©fÊ ©0©0I ©f©f©0©0©©É ©0©0I ©f©f©0©0©0©0©f©f©0©0©f©f©0©0©f©f©0©0©0©0©©©0©0© ©
ÞK& J É
!#"
%$
) * -
5 6
.0/
'&
&
(
+ ,
21
3&
'4 27
5
"
:9RL1L;
µ½pÀ¦·®¶ ) r¶ )*r¼ )&)
° % : uuPdqqz¡ `bswjpyrÃwvd o{| vFyzd>}xyqr¡ d>dc%y[yJqzkm yz| m}+~`qz`bowd y |y[`bjpo{s-w¡$uusCyzjtjluy s{¢jtqz©FrmbC©nl}+ u@oCy[qz}k`ujly ~`zCsCmbubzswdCmuc%yzswyJ©#y[_ }x}jl~Jc o{n jpy db| o{jpycqrzvbjlnl¤bdJmxy³qro{d r| d
local time
jlwmbrd2 "! # $# %'&(%*),+-&. 0/21%354 768$:9$:/: *;8
`¨Cd>oCyAo{nswubnlsknl}¯~Jo{oWn:yzvd>o{uzy[qzsCjpro{yJn#¨ko-jtqzdJqr¡ oC~s{`b¢³d | qz`bqzd+sPs-yz¨wswdJcrowdntn uby[s }x| y[dJqzydJcs{¢ © qz`b_#d%`bdubd>| q¡ jBAXsCd>zrÃ>d>ud#jpuswjpd yrÒ| ~owrmx|dqzqzjp`bo{dsCCd>rub¨wJy sCdJIyzwuo{c%nl}ko{y0uAÌ>d`s-| ow¨wyjldJuMzo{¨kq[I jlNqrd>rK8¡¬oC~¦jts{uqz¢d~>|qzntm `b|oPd#jtnluy[j±qrjl%wd>u¤o-!j sw~qrqzmbJ` o{zd#uqzswjlcswucjpmby u¢£swjl~Jro-cqzjlmubnl@o{qzc%d | oCjt~u°`bjtqzudJdJzy$c%qry`swo-¢Fqo³`vbo^z¨wdKdf~sCqr`bcAd>vjlfmxqzyqd o-|°qz|dKy(dK~npdJo{uC¤Fqrd>rnlowd nt| jlÌ>¤kd |} ¢£swyzd¢ o{q~cyfsCs{dJc¡ ¢ csC¢Þo{zmbmbÃ%ubntjpqrsw~>y¢ o{qzo{ª jlu ubsw| °ubz`owdKmxo{owqzcÂ~sCqc%owqruo-sPqr| oo{(Cnpo{¡$o{rc%jtc qz`+o sw| oA¤wyzPdy[d>}kr=Þuyz¨-~d>o-`b-d qrrjtsCIswuuKQ?#yfswmjpo{y$y u m~| swyzd c~| sCc°co{mbcu ub|mbjp~>ubqzo-jp`qr~>jtdo{sCqzu@y[jl}xsw¤uy[qzoCy7dJy[OEcd qr| `byd%swo{unpo{~o`bubj±CCqrmntdJsC~o{¤qzCmbo{d°rndfsCqzjlzjlcjly#d>dwu¨CIldJJow ntK#d | qrs-¤k¡ }0owqz `b| d(~oCsCyzuyzmbyzj c| dJvxzqrjljtubsC u qr `bd Td AXjluRdJ~¦I qNKÒs{©(¢ _#=Þ`b¤d#sC¡ mbu sC| zÃPd | I ?°K~`swoCcy c°¤dJmbd>ubujp~>do-kqrqzjtdJsCuu | |d |d>npo^¤k}x}0yqr`bjlu d(yz| owdKc~dJd uCqrowrmxowqznt`bjlÌ>sCd r| y |hxjld>owubwCubmbs© jluW VjI wU@e ~KÒmb©nt qzjljldJuyfowntrnldJ}wyzxmbqrnt`bqzjldubrdJ¢£~>rd>swujlo-vqrowjtsCÃowr¤bd>jlu~¦u+qzjl¡ swu¬d0jt¡ ud0jluCjtqruxz¢£s sC| zmc%~owdntnlqz} `oCd%y[¤}kowu~~Ãk`bwrswrswumswu m| y | ¡ jpd%o{Cububd>sCd yz| jly#swsCu¬u o{du+qzrdjRbubo{cd>qrvbynldwow©u | (u qz`b| dJujtmbo{nluxnt} ¢£swn¡ | d ¢£sCzc%owntnl} | d ubdowyz}ku~`brswubsCmy | jlowwubs© 5
!"# $% '&)(*"+#, !(-"+$./ 0"1!(2# 3 !456 # $ PI ,KLI 7NKLI K YH +7
rqjp#yR`boCd$¤y[owjpdJ~fyzyrd yzz|d>d>uqz rjpu%o{d>nbusw~>~> swdJ| uy$dJ~>Rowd>zqzvxd sqyùjt
u~d$8`%© qzo³(`bdKqzsCry[cmbd³d$swubc~s{sCqrswjtusCr~vbum`byJzwjpry[jtd>c%q u¡$yJ~>}jlnt~nFo{sCu¤u |djp¢£~~¦mbsCqKnlusCowubuyzjl}k~d>muursusw~>~ub}wsCsCumowyzy ju | ¨Rmb¡wuxdJ¢£s{sCub¢Fn d>|jlo{dubqzn jbuFubdo{d>qrryqrd y jluqz`bdyzd ·jly oqzrjtvbnld ;=@?BA C!AEDGFC¡$`bdJz! yqrzrdowqy:uyzswj±¢ qrjt'F¨C» d#) ~>¶¦ntso{npo-u qz| jlswDIYu D HJjp>Ky ?M| LNdJubC s{qrF+d OP| >Q¤kCRY} LSZ0?TCowFu jpy:| qzjt`bqryRdjtU#rzºW[d V 7drd x¶jl?» ¨w){d ·Io{½Þqzº{u µ |o{uC_#yzjtqz`bowjlzd¨wd d$r|dX~7jpnlyÞsCd>yzxswmbjtjl¨CuCrddq jp^`y _`| d>?ubswOTqzdC| C¡ ¤k]}d | \0dJ©«ubs{Rqrdnpow¤k~>}bdJyaE^Po{u ¶· sw ¢£owru sw| c
of~ub¢£swd q d>;4 ¨Clmd>qzrs}AHnouub?os d| q Opd ;x^Cyks{jlyR¢*¡ of;@d°c%up? Nº aXyÞG%^ zNº owG%u >KC | º Fa[' GzBx>Q½pC ^kÀ G FJyÞ owu | qz`bd0rdJy[qzrjl~qzjlswus{/¢ z¥qzs ^*ajpy$o°¤j dK~¦qzjlswu+¤Fdq¡ d>dJpu ^*afo{u | zB>K^kF a ©
%
*
5¶>|b» ¹| jtqzº-jlswµ uU ow½ n&>·Avbrj±sw ¢ vF^d>xzqz^jldJ© y (u º ¸ r¶µ r¶ µF¶>·jly%o«ubd>q bAAEDGF yro-qrjly[¢£}kjtubWqz`bd¢£sCntnls-¡$jtu ^`_MO g ^ x^ ubs%ubs | dfjly(jtu yzd>nt¢¾Ò~>sw+u 7jp~¦q ^p_!oO g ^ \3^ Z jpy(oAvo{zqzjpo{nXsC | dJ ^`_"nO g$# cfeYgWeP\3^2i%#%&(' Z jpy$¡ d>nlnX¢£swmbu | d | dJswoCu~d` jlubvvbnloCmb~q$dfqz`o{owuy$yzo{j±qrq$jtsCcAu sd:· q y>¹ ©#r¶r_#¶ `b=£ubdJ} sAo{q¡ rd0so%ubsy[m| ¤FdKy~>nlowoCzyzdy$jlswu ¢ uCrdowqryJvb&`Ejl© u«¡$`bjp~`WdKyzyzd>uzqzjldJyfowzd°¨ Å J: 9 bsw ; oAubd>qJbRo G ) kj8© dC©tbo°c%o{"v = gv?d{|kD c?>A@-vABAAC@CC iC© ED$¶>· ¦½ µF¶>·Rjpy ovo{jl;d ;YAB=GFfF¦x¡$`bdJzd ;Ájly o°ubdq `o^¨kjtub ubjtqzdfy[d>qry s{¢vnloC~dJy ow= u | j±I¢ qz= o{u>Ky[JjjtqzF"jlswLMuyJ>P ow¢£usC%| d>=H¨wdJF@z!} jpyJwowu _ ½¾µa ¦½¾©·8*½ )-hk»$mc%~` o{ro«Ãkjtuqzo{© uyzj±qrjtqzsCu o{u~Jy[o{jtqzHu jlsw5 Hu z¶>S:_]nldJo C | jtjpuy W¶>µqrs¬) o »l¶r¼¯ubdJo-¡qc%c%o{o{rrÃkÃkjtjtuu yqrz=Jswc%Cy/o{dnl= q R=£jlc¡0| ©vbJa nt©PW}qJ©OQ=Jyz}da{y*q E_!jlu¡ =~>d ntmF | yz dJS¦jlswub©u s{?:qrdd°y[qrd>zqr qj`bubjp=HyfdqFT¤K?TdAF³FyzowduMq0| s{c6yz>¢ mA@z~-W¶`%i#) qr¢£`swo-:) Vq d>»t¨w=¶@dJc%z}_!o{zr=HdKá F © dP`qz| Yd d>F¦sx© ~>sC~ubmnt}zdJuyzo{~¢£d@d+u dd>q qzrY j(~>ubo{d>u²qryJ¤d `d>zudJ~>Cd o{ c| d ow| zÃkoCjlubyGo = d>qz~Jro{j u ubd>¤qJd É Å K Å ¥ Ê ÒÉ .ÞÊ : 9 0){µ k½¾µk¿ ' zº ¶ÀÀ+sw¢³dqrzjubdq ; jly@o vowjt a - Y3bYA}zFw¡$`bdJzd/ jpyo{uAsx~>~>mbzrd>u~d ubdqKCo{u | zWjlyowu`bswcswcsCzvb`jlyzc ¢£zsCcc4qrs;4rd>Cow | d | oC=£qzy `bubd dqyzy>dqbyzs{m¢~` jtubqzjtqz`jpo{o{q nlnl$}¥ c~fqzow`bzd0ÃCd r| dJy[vbqzrnloCjp~¦~qzdKjl^ysw?u :s{o{¢ u z¯| qz:
sA~ c¢£swjt2u%>1o{xnlVn F$djly$Ad o°y ¤b_ej dJ%~¦qrB jtsCau d ¤F< dqa ¡ d d>y$dJu o{u c| jl2u zB>b>NdFbF#:= d y F F qrcswjlC2u d>bqzN`d>F¦f© jtcvbnl}fdbYBFjluy[qzdJo | sw¢ _#`bd y[d>qs{¢bowntnC¤browu~`bjlub$vbrsx~dJyryzdJy&sw¢kd>qzrjwubd>2q ; jlymbubj nl} | d ubd | -mbvfqrso{u0jpy[sCcswrvb`bjpy[c =ÞjI© dw©l$o¬zdJuo{cjlub¬s{¢qz`bd«~swu | j±qrjtsCuy%o{u | dJ¨wdJuCqy^? owu | ¡ dPyz`owntn(us{q | jpyqrjtuwmbjpy[` jpy[sCcswrvb`bjp~
)
)
3
)
*
:
2
:9RL1L;<
&
¶µ^¶>µ½pÀ¦·®¶ ) r¶ )*r¼ )&) 7
¤jt¢rqrow`bud>~r`bd#jlubdx°jpyvqzy sxow~u°dKyzjlyzu-dJyJdK©~¦bqzjlsw¨wVd#Y `bsCAYBcyswqc¡ swsrvb¤b`bo{jpy[uc~` jtub¢£ArswvbcErsxYB~dJykyrjtyzuvbmxqrzsCyJXvy[dJm[qr~jt`dKy qr`7o-qKjly:¢£qzsC`b(ddJmboCub~*` jlswu)!s{L ¢ >bo° y[zBd C>+#,m vd>Fu~>< d |~>=swd uu bmbdKzry>:zd-dJo« WuCFNq c%qz< o{ko{jluc% kyzjto{qzo{njlswu u| ryjtgu#, qr .ryz*owd u mbnlv²}wo{ qrnlntdJsW}%owqr~~>`b`¥swd uc%~>jtmbujld>rc%uuA5¡$4+~jlA%jlrnt6n ~>A5ntmd7xy[| Fdowjlqzuu `b| qzr`bswjtqrjpmb~y0CÃX`bqz© swo{mbuq$yzqzj±qr`bjtjpsCy(uvyfowo{vrdJd J©8 A%898 A%898:d>85qzA%r8:j;kubA ;kd>q!A ;skd>¨C~>udJqVu1jpwy mA nlowz/zd¤F(| dJs{ntd¤k/¢ | };ˤk¤F}Yjls^y³xzBy[dJ`b>yJds-© F¦¡$b@:u+o°oC~sCqr`Wru ow~uqrsC`by[u jtdqz| jlrswjtjtqzuCjlsw`Y4sw~u jlsCy³| u j±nlqrowjtCsC¤mbudJrnty(do{|o{qzjlrswd¤ku%}`| swdJzB¢ vb> jl) ~FdqzXqrd z|o j uown±dqr q `bsw; mwjly`@yzjtq$`bs-jly¡$ubu¬swjlq u ¤bCo{zdJu}w~© `bjtus{qrjldbu qz; `o{jtqqryzqzd>`bnt¢d©R_#cA`bjlubdjlc%zdKo{own:yzsw~>u%swu jpy | jtqzqz`jlswo{u¬qJknpjlo{bu ¤F;@d>nldjpy0u¤b~Jo{o{u@u¢£~r`d>jtdJubnt}%+cjlGu s-Y³¨Cd jlowAu ntsC7kub_#© f`bqzd`cAd~>dKjt~`~o{mbujtq jlyz- c D?¢£sC:>@> ~DsCuy[A qzrD?m~¦qr>@>@jt>ubfD qr`b-wd(ko{mbuub|¢£swzn | dKjty[u}ku~s{`¢&zsCubdqrjtÌJzjd(ubo-d¢¾qqrd>;r¡ jpowy jl| ntnlyRm¡$y[qzj±qro-`%qzd qz|`bd³jtuqzsCqrÃw`bdJd(u@cy[jjtq[|bqr| jtubnldw jtswq#¢ jl;@y jtubqz¢£sw`rjlyAcjpowyntnlqr}`bdd xvbcnpo{jlubjlubjlcd | own#owy:¤br¢£owswunlnts-~`b¡(jlyJub© W:vmxzq sxqr~`bdKyzd³yqzs{`b!¢rd>;@d©¬~sw_#u |`bj±dJqruEjtsCu¢£y swAnlowdJ¤oCdJ~ntd`²| ~¤ksC}Auy[qzqz`brdm~¦jtuqrd j±qr| jlow¤bnc%o{uo{~r`bÃkjtjtuu vzsx~dKyz/y Y³&yzd>nldJ~qfo ~s{®yzd q l§s{9¢ YX¡$`bjl~`«jlynpo{¤Fd>nld | ¤Tq a (s{¢ y[sCcAdqzo{uyzjtqzjlsw8u (sw¢ ;@bowu | `owy#ubsdJ¨wd>ud> owud>rry³dd q¢£| sC¡ zs+Pdfyjto{q(qu o-c%| qrdJo^y
b}© ¢Þubo{ sCjln&cAswqzcjls uvFow| swnIdJub ntdJjl¨wuCCdJq mb#r
«j±d q| y(myzy[¤kdJdJ}Py%z¨kvqzjp`b~nloCddP~¡$dyzd>`b-wrd>E¨ku jlo{~>u~>dJsw| yAcs{¢Þowv¢0mbsC~n±ubqsCd>}CcAuzy uªurdyz¢£j±`qrsCd>jtzsCu d(u yzwd>=d>nt½ q[¢¾?qrÒjtzo{ubdJu %v| o{jljlu+:=[½¾¢Þ~>L½ o{ow? mu%=In±q~¦sx}+¢~>© ~y mqo-Jjlqrwdw©&qzb`b*
qrjp?³y:`bowdjpy y~>swo@wcmbnpo{vr¤Fd sCd>| ubn8d>©f¤kuqfn o{s{ °uP¢ oC~owyzswnlyzowcsxz~vFc jpswo-ubqr :d dJ| uo{=[jlo{r½¾½¾}wqz½LdX? | o{=Iu ~¦qz¢|s © jl©
?¦© jljtqru y | yzjp ~>d>o{rsCqz¨mbq(uqrsw
¬scqr`v`boCsCd³y%ub¢Þd>qro{u| zuy jpo{y 3qzdKvFA'y:4d>rA%qrc%6b`©Áo-o{q$ubhy@uy[v| qrowd>o{jtnlqzrjlAd ¨wd d>| 6 © qrC`Xo-jlq#y³_#qrc`b`bdsjly$|¢ÞoC~>d>~¦swnlntq0cd |qrvF`sw¤ko-ub}+qdJ~>qzuC`bswq cdA¢Þo{vy[jl`sCnpyowubzqzd>d s u
npnlowjtc%¨C~>d>d o^#} 2bjtqr©f¢Þy$o{_#jlyznd>`bqrrd°s¨kubnljtj±jt¨Cq qzd>sw| 0rskjljtubdJqryyubyzyzd>sw}krqy[¨kqz| dJjl~>cjly[d qzjl|s{ub¢ mbCd~>mbswjlqzyzcsP`vo ¤FsCdub¢Þqowd>¡ mbun±q0qdJu
%sw¢#qrsw`bu~>dswnt} c| Vj|vFAFd>swdJqzubzdJdJdJ~uCuCqrqqy rnpo{dJ¤FoCy[d>sCn u=Iy~¦¢¢£© swA qzjl`bjp©RyJ
>© ?¦©H(dJhxujtu~d~>dqr`b¢Þowd mbntÀ q) GAW¶Ws{¢fo{np~o{sCrcA c vF swud>jlyu| cqzvFs swqzo{`rd }wRq¡ yzd>s«nt¢¾qz8rd>o{vuo{yzj±jlqrAjtsC~Juo{yu =owb½ nl7yzQs ?skoC~J~yAmbo ¢£~>sCsw0c~vFswswcubvFdJuCswq@ubdJCuyu qrjtnljln uWoC¢Þyzowyzmbmbn±cq}Pd | y[qrqzo{s qzd ¤F4xd%©Ac%_#o{`bubjpjty¢£dJyzy[d>qzntd ¢¾Ò| zdJ¤kv}Po{jlqz³`jpdyfyzubowswcq0dAyz}knpo{u¤F~`bd>nrsw ub© jlÌ> d | jtu¡$owntjtnlqz}w`« vbqz`npowo{~qfd sw7 ¢ Cnpo-mqzo{qzdJo{$ujldJu+y ubqr`swo-cq:jl¢Þuo{o{mbnEntq:y[qrvbo{rqzswdwv© owCo{qzjlswuE-¢£rswcË~sCcvsCubd>uuv%o{owr~dJjtswo u 3jly[?$u jpyo{qjpq[y$~>qo{ows{qz~¢ dJ`bqzy@d`| ¡$d0qr`bqs%¡ d>rs%qzd+`ud jtswuu~>-:yzmbj±A qr3yjtsCxu¤¢£swy$d>(qsC¡ dK(owdJd>d>~¨Cu`+d>uwurvjpo{~>sC¤Fo{ubnld>d>nlnp}@uo{© ¢£npd>o{r_#rzc`bd | dy qrs%owy)-») G°Àfjluqz`bdyzd d | Bj AXd>rd>usw | d | ½¾µÀ>¶ >¸¶µ r¶ ¤k}0oyzjtuwnld yzmbvdJz¨kjpy[sCJKjlu°~`owzCds{¢b¢Þowmbn±q c½pÀ swrub¶¦jtÀ qz'sC¶ z>jlub·®¶r¼ ©@_#¢£sw`@d@owy[ukdJu}¬y[sCq¡ 0s¬o{u o{| npo{~rsCc%cycqr`mbo-ubq@jp~>owo{qzzjld+swu ~>owjtmubyz¢£owroCntnly}¥qrzrmd>~npqzo-mbqzdrdA| w= m Áowr~>owowuCmqry[d>dKdKy y qr`y ?¦o- q qz`b){dJ¸ku À ){ » ½¾· jly zdK~sC | d | ¤Fd¢£sCzd yÞ© Y@:ow~`@yzd>uy[sCRzdK~sC | yjtqry:ntsx~Jo{nownlowzc%yjlu@y[d u~>dwC¤nldJ){z~¢£·Isw½Þqrº{y³rµ4c qz`½¾jld°µKu ¹ r| 0dJ)^dJ~>À¦vsw· dJ¦ u ¸| | y(dJ·8¸¢£uCrzqrsw¶ ntc}¯owqr_#u`b`k|d m| oCy jBy[AXo{}kd>ukur}~d>`buÀdWr¸CdG rjpdJ'Fy~>·8sw½ÞoWº- |µ¥yzyjtub½pÀ ¢£CrntswG dc )wy[m¼w|¶ vVj dJAFº-zµ¥dJ¨kzjpdJy[· buCsCq¶ y[o{dJrudfyzntsws~>mbJCo{u | vFsCyry[jl¤bnld#~Jo{myro{nljtqzjldJyrd>npo-qzjlubfo{npo{rc%y~swnlnldJ~¦qrd | o-q | Vj AXd>rd>uow¸x~·Ò`b¶d¼| ¡ qro^sA}Co°K¤k~} swc| Vj vFAXswd>rubd>dJu¨kswjlyz sw| yRyjt~>qrsdJo{[n o{ownpyzo{}kruc%~`byRrjlswuuby[sCd m ©u~>(dws%ko{oCu yzyz| mb~Jco{vxu@qzd>jlswbu~`jpo{y#ubcCd(o | y[d0mvswdJu z¨kqzjp`y[djlsw~u%swccdJc°yrmbyro{ubwjp~>dKo-yqr¡$jtsCjtu qz`%jluxqr`b¢£dowy[swqzqzr`bmdJ~¦ qrmbyzmbrdwvF© d>r¨¿w· xµF½pº-À À½p' À ) 'b¶ =£¢£V:sw ¶ | jly[º-qzµbrÀ¦jt¤½Þ¼Cmx¶ qzd |%| jlow){wµFub¼ sd>ubdJrjpyowntrjldÌJ¢£o{dJqzzjlrswd u| yqzs{Ps ¢IlJqrN`bK5d>Ilc^7 ?¦KQ?¦ © >¸xs{·qzµFd#º-qr·`o-¼{q ½pÀ¦ · uC¦qr½ d> >r¸xub·Ò¶d¼q ~Jo{ ub© us{q:¤Fdmyzd | owy:o°~sCcAc°mbubjp~>o{qzjlswu%jlux¢£roCyqrzm~¦qzmzd$¢£sC yzdqrmbv k¤bmxq#j±q#~>owu%¤dmyzd | ¢£sw#yzdqzmv _#uP`qzd@_#`bnl`bd°owd ¤cAdJ| j ntVj|bd AF|| dJnlzdwdJXuCd¡ qzq rdy[j:d>ruqzd mbd| q°vy o^sw¡4o{¢ r d$qz`bjljtnldnl© m~ ysCqrurjpyo{qzwrd dm| | ro{jt-uo^qz¡$jlsw uEu jly[©CsC`eu¬s-w¡$¡$qz`bu `d jljt~uPnt`@d>C¢¾jpqJzy:dJo} ¡$~jtjlqzusw`¥c° qr¤bjl`bjlud@©&o-
^qrqrswÒjtzsCvFjluAwsw`jlowmntn ©kyzd
0j±|Iq o{7Eujlu &| ow u jljl|©©d>npo{ujlnuq¨Cyd>¢Þuqzjldf
boCRyzyzo{sxu ~| jpo-qrqrd`b| d>u ownl¡ owzoCc%yyJr© d>v owswjtru d | wORmb~swo-uqrjt~sCmbRu rz7 dJuq0u|uqrswy c¢ÞowvFmbswntubq} dJuCy[q qro-:qrqrd0sb~>xsw¡$c`bvFdJswzubd0dJyzuCd>qnt¢¾
x8r-d>¨kvjpoowjtvb$np~Jowo{~>ubd ub2sw-q$jly skvb~Jr~d>mbdJKcA© vb(qzswd qz| df qz| `mbo-d q$qzqzs³`qzdf`bqzd ¢Þo{o-uqyzo{cn`bswdfc¢ÞvFowswmbubn±q(dJuCswq ¢
b© Hs-¡Âo{npo{rc%yo{rdrdJ~>sw | d | jlycs | dJntnld | ¤k}¥qz`d q¡ s¬sx~>~mzrd>u~>d udqryy[`bs-¡$u jtuqr`bd+qz`bjl | ow7Wurvby[| qfrs ¢£yzsw|dmqrmmb[~qrvEdK` y(&jl|qruW`bjpo{d¡$wo{`bo{npjpo{~c%r`«cyJoy ¡ yz jtdubA C~>owntA dAnt Fn:y[&qzdJr`budJdJyz~cswsC | jl)-yfd » |) o^¨-jlG u«o{jlnlyz' owd ){¤b ¦qzuµs~À dw~©fsCnt_#nlu¥dJ`b~qrjpq³y`bqrd%r`bdJqrd%~>`bswo{jt np| |¯o{rjlc|yjpyJo{c©XCs rH(|owc+d>d>unlnl d~d%|¡ d~¤ksC}owu yrqzyz`wmbd°mcrnld%o{jtuqzqzdJjlsw`bo{u d owownlnlowowzzcc%yJvbo-¤bqzmxqzq³dJzj±u²qyyz~`bsCs-u ¡$| u¥jtqzjljlswu¥uyqz`o{d@rd qz`¤bjt nl|¯jlu || ¦jpo{Cj8©rdCow©tcqz©P`bdJ_#} ``jly°o^¨wo{d0npo{ubrs%c npo{v¤Fo{d>q[n8qr©$d>r_#u¥`b`jlyowc%y°o{j±qubyjt¢£dJdJ¨wy[dJqry#uCqqry0`bdnpo{¢Þ¤FoCd>~¦nlq(d | qr`¤ko-} q 6
*
1 &
%
)
8
:9RL1L;
µ½pÀ¦·®¶ ) r¶ )*r¼ )&) 1 1 ρ
β
7
7 β
β
β
α
ρ
α
β 2 2
4
3 α
α
5
6
3
4
ρ
α
1
6
ρ ρ
second setup first setup
jlwmzdfe8 + ; 2 '+$@ T *&+*Q# % #B&.!.% ! #B&P+($#B& $ &$ %3 C+ &6 /51%P#B&N6 &N6 &./J$ *&.$ %3"$.
s{rq(d>unloCr¨w~dJd |y © s{¢&qr`bdd>qzrjubd>qJk¡$`bjp~`o{rd$qrro^¨Cd>y[d | ¡$`jtnldvbrs | m~>jtubqz`bdo{npo{rc%y A Aksw ¤kownl} owzqrc `bs-d ¡0v-o-jtqzy[uqzqd>qzry[`bu dJd u~nly[oCswsCycJq vF| o{sCjpu o{yz|wd | o{c+s{jp¢³yKq¡ ~¡ d#sCs¯ntyznldJ`b~>~s-swqz¡ ud |~>qzmb`b¤krd#z}PdJ~>uCqroC`bqy[d d@vs{yzow¢xdJ[qz~q`sCy>#du | ~yzdJsCsw~>zswubrdJu dCyz|vjlsCyzu du | qr| mbdJjlvvEubdJ{«u jlu| qzs¬d>¡$ug uyzqzsw`bKjp©¬y c%ª o{`bubd>jtu¢£dJy[~qrsCy$ntnloCdJy[~}kqzud |~`b¤krsw}¬uk}Cqz`b© d yzmbvFd>r¨uRuyzd>swrcjl~Jd o{nlntnt}jlubdJ| owd>us{d>u¤kyzjl}swu¯qz`swd¬¢$qzyz`b}kdc¤Fvswo{nzqz%©jpo{n sCyzd> u| y[d>sC:rswyJ¢E-o{d>r¨Cd:d>udJwyJdJ© ub d>mbo{q n8bqr*º`b dÀ>~J¶ o{m)-yr·8o{½Þnlº-jtqµ}°YÀ rG d>np) o-qrjt)CsC¼wu¼yRjlÀuk º ¨wGsw¶nl¨kjtu)-¸kÀ v)-o{» ½¾jl·8½Þy:¶^À sw ¢EG d>¨w) dJ0uy[¶dJº{d>·u@¤k¶ } º{| µFVj AF¶À dJ,zdJ uC¸xq · · b¶ o{u µX| ¶T-qr¶`bd«z~>¶0sw^u ¶ À>w¶ mb)-o-µ qr+jtsCº(u ¹°7· ¶TqzG`o{q_#v`bzd>s r| dm¢£sC~>zd dC| bqzjtqJ`(djpswyubqznl`}+o{¨-q o{nlj | owjluku ¨^| owz7 jpo{uo²dJuW~>swo{cnpo{crcswu vo{nlq[jtuqrd>dJro{u d>kzsCqzd>c uy[qzjl`bswuEdf©fo{¤Fª s-¨wjtqzd `«| qzjl`byr~jpymyz| yzdjtsCuuEb~~>sCd>cAvxq$vowowy yry³vbnpyzo{dmqrmbyzjtv¤y ntdd xvbo{unpo{| uo{qz jlswjluu«y:o s{¢ ~owsCucAo{cnpo{sCruPcË¢£vo{o-cqzqzd>dJ¡ zswurÃX© qrowsPuk}%¶ ~'FsC» u )-½¾µ wm@©ro{qzª«jlswudow7 zdfyzmub~s-` ¡4qz`zo{dKqo | Ëo}{qrsu | ¢£sw7rcvowsdJdyrswy$mo$~vbsCzcAsC¤bcnld>sCcu nlyzjtduqzdJqzo{jlub$d>© kqzd>uy[jlswuE©Rhkm~"` 7 owzdfyro{j |
8
*
R$! 1! ! $G # / !$ #}$ 4 s-¡0x¡ df¢£sCzc%owntjlÌ>df¡$`o{qo{u+o{npo{rc vo-qzqzdJzu
/6 6 (
$(*" "+#} !
¡$`o^jtqz¨w`«d¤y[sCdJcAd>u+djt~>udo-|qrjtsCjtu u!yz7mb©$¤ª yzdJ~d°qzjlo{swru d0w
xjl©l¨w dJuqz`bdjlyJ¢£swnlownts-u ¡$| jlub¡$%`o-swq(¤bjtdJq(~¦cqy>dJFo{¡$u`by>kdJz¢£dfsC qr`b%d x| qrs%jVAX¤d>rdd>unld | d>qzrjubd>q ;w@?BA C!AEDRA= F APH Frd$qz`bd³rowubwds{¢&qz`dnpo{¤Fd>nljtubcowvHjly:qz`bd o{nlvb`ow¤d>q(s{¢ vFsCyryzjt¤bnld )-») G°À^ | dJubs{qrd | ¤k} Jowu | 2
*
5:d F{|kD H >KzB>dF F dFjA
¡$yz`b`sCjl[~qK` x¡$| d `bud>budKuby³s@qz`b~d sCux)-¢£» m) yzjtG sCu» ) ~J ro{¶>u»Rsxsw~>¢R~d>m¨wJdJ© u:d FÒg ¡ d°~Jo{nln jtq0o{npy[s zo{npo{rc ¢£sw | |b| | roPd>npnlo-owqr¤jtudJsCntud '¶y | C·¤bÒvmx¶>owµbq[À¦ubqr½Þjls{º{owqµ n:qrswrs{ow ¢f| uo«dJy[jtqzujlswdswu¬q uy>;m ©qr`b´d+y[~d>m>@q°?Bzs{rA d>¢(C!ujtAE~>qrDGd:y°ubFAd>d>¨Cjpqrd>y@yus-owdJ¡ u y d>kqzd>_ u¡ y[jls swunlows{¤¢ dJqzntd`b| jpy$sxnpo{~>¤F~>mbd>nlrd z| dJuv~o{d«zqzubjpo{dqnX!y sC | dJ < -© >bAAEDRA F o{u | xy< >:xy ATy@A5DGy@A y Fo{rdW~Jo{nlntd | oC_#){y» `k) | mjlG yJr-dJ®q~¦½p¡ À>qrdºNs0|G%o{Cº npro{ow'rc°vbk`½ ÒAyJjpy[JjtsC¡$¢cAqz``bsCjl~dJz`vzd`bvjld>z~:xdKsxy[jly[dJ~>qrz~y³¨CmdJo{zyXruPd>qru`bjpy[~>d sCd#owcubnlowswdzrqc vbyR`b~>nljpowowy[u°¤c dJ¤FnlyJd$^zjIdJ¢£© dwzCsC©low{ch yz| md >:~Y| `0oCAqzY`yo-j A5| q D3dJ uzdJv©zntjpdK~y[jtdJqfuxFy ¢£sw¤k}0qzqz``bdd$yzcswnljlmxubqrjljtcsCuWowns{yz¢#mb¤bowubyz}kd>uqR~s{`b¢rmswuxub¢£sCswmn |y jlubjp o{ Cub sCyz¡$jpy>`bXjp~jlu` jlsC~>ubsw u `bu(o{o{nludn: qsw~ubsC jpu~> ow>ntCxFnl}@mb%r¤ko{~}qzsCjlswruqznlswjlowswuntnuEwkjl~>ubqrsw+`bu dqzws~>mbowmo-yrqro{jtnlsCj±q>u}CxFy>~¤ sCdJ¡ u+ntsC7d ubjp~¦w| qJjldJububo{s{u qrqz|d@s j±~q°sCu¤zxFr d>u> xF~>df¤mx© zqdJhxnlo{mbmbqzux¤bjlsw¢£ubsCud>[y qqrmb| ud o{uqzb> d>xFd nl|} jtrqd>¨Co{dJnpowyznls yJ© ~>swunlswubCjtuWqrs > xF oCPy jl© =?>A@CB
= >@4B
= >@CB
= >@4B
= >@4B
=?>A@CB
5
;
jtCmbzd 5 A + ; A@CB
=?>A@CB
>xF
>xF0< ,% /: / +./ >xFnpy~| mo{yzzrj r|d,d>dCuC~>Cod@mbzubd dd>| qrqJz© ¤dJv_#By sxF;own yzjpmby¤by[u `ub| s-d>dJq¡$yz jlu°rowsC¤bu°> xFntd$qrR`b~>d$s{sw¢Xu rjtqzC`bC`Cd³mbqsw`o-rqzowjtCjlu swjt|uuo{yy[nxj o{| mbrdCd uxw¢£c jtsCq:> n -:| ~Ajtswub%c TvbAB; rA:jpFEy[¡$AfdK>`y 3jlqA~¡ `@s0v~>A%~sw6:sCu sw-vuA> yJ%xF© >A%C2:uxjpFXyR¢£Afswjl> zu 3qz| AmbdJud o-W| qzA5dJ4vj |ntFE}d>i u dJ-:yzAd%% yqABo-A:qrFEd>Afc> 3d>Auubyzmsw~qz`PdKyqrqr``bo-dAq0qzjtqro{yuqyz¡ jtqzsjlswqru«rowyzud>y[vjto{qzjlswo-uqzyjlub% WyAqo-qzAdK]y d>k-Avownlowu jtu«| qzA*`b?¦d%© yro{mxcqd~sCo{u npo{rwc mrdJo{¨wqzdJjlswuCu q jlu %© jl(© u | yzqrmb`bCdwdJyry[o{qrcy0dfowu¥`bswo{n |ntqzy d>r¢£usw#o{qzqrjl`b¨wd0d@s{yzswqr`bnlmxd>qz$jlswmuEu | mdJyzyzjljtrubow+¤bntqrd0`bd@~>swvbu rs C| mbm~o-Tq qzjl;'swuL© s{¢ ; owu | %y[dJd>u¯owy npmo{ux¤F¢£d>swnln d | | jlubub dq y¡$ j±qr`WjlyrdJyzyzv`bs-dK~¦¡$qzuEjl¨w© d°nl_#ow`¤dWdJnl y vbrH¬s{owdKu ~¦|qzjlswH u(sw=Iy[u dJdAqr`byzmbd«¤yzyzddJq~qzs{jlsw¢u¬ub
xs ©| %dKy¢£sw³npo{qz¤F`d>dJnlnlyzd d°| ub¤ksw}qro{qzubjlsswu| dJy ?¦y©¢£r_#sw`bc d
= >@4B
=?>A@CB
0
0
5 ) F< zB> ) F O d,_R NzB>dFT< `> EA F :> d FN F
> F :`d d>FNrdf< qz`bzBd°>dnlowFTO¤dJj±¢Zntjlubd @_(c% o{vA «jpjpyy| yzmd u~`¬bd qz| `o{owq y$¢£sCntnls-¡(y :jt¢ qr@`bd>u qz`d>u ¦© (dJu~Xd j±¢ bqr`b`d>owu y ?]OPCkqz`dy[d>q#sw¢ us | dJy#s{¢ ;@bowy#jtqry#npo{¤Fd>n y[d>qJ© jluo{nlnt}C-¢£sw owu°sx~>~>mbrzdJu~d ubdqK{¡ d | dJubs{qrd ¤k} #829: >bNF qz`d#yzdqs{¢Xo{nlnkj±qy~swu wmbo-qrjtsCuyJ© B
:9RL1L;
µ½pÀ¦·®¶ ) r¶ )*r¼ )&)
kÅ É Å ¶·. ¶A· ¶°¸xµJ¹º-»l¼-½¾µº G¶ D$¶>· ¦½RµF¶>· ;P ){µ )^ÀÀ>º >½*)-·®¶¼ )-» ) G ' ){·I·®¶ ¦µ ){µF¼@»t¶· > NF8 ¶A¼w¶:5RµF¶¼)^À0½¾µ Rº-µÀ¦½Þ¼w¶ · ¶¸xµK¹º-»t¼{½¾µ½*)-·®¶r¼ ' rº >¶ ·8½Þº-µÀ >C F )-µX¼ 7& > C F b¶>µ' 7)_ > xF½ 7` _ # 9 : > BF g > 7 F< 7«o{u | 7& > 7 F < WC =Þ ? s{qrd(qz`o-q:qr`bdvzs | m~q; LÁjtuk¨wsCnt¨CdJysCubnl}Ayz}ku~`brswubjlÌ>d | qzo{uyzj±qrjtsCuyJ©s{qzdo{npy[sfqr`o-q d>¨Cd>r} 7 jpyry$o-qro{jlu y[¢£}ko jt| ud xFCmb¦bo-¡ qzd0jlsw~>u+owntswnE¢ jtq o ¼-(*½ )J©¿{µX_#º^`bÀ¦d>½psCÀzµFdJc¶>· d>xvbzdKyzyzdJy(qz`o{q ; ÉEÉ ª«d y[q vbrs-¨wd:qz`bdf½ ¹vow[qK© dq 7A @jpyfo{o{uPu d>|k| qzd>d uuy[bjldswu«7bs{< ¢R¤Fs{qzG` 7 > 7o{Fu © | %©} (| H(d udJuj±~qrdCjtsCXu¤usCq$bu djtqzkwjlqzswmdJu ruo{y[wqzjljlXswswu7uy sw_ =ÞxFby[jtmqz©~jlsw`_#u¬qz``0jlo-yo{q ¡#u |owyowqz¤`bs-dA¨C> 7kd.dJ?¦FoC y[< 7} vo{zqJ© d>d>xkqzjly[d>ª qzudJy[d0ujlsw~qzd@u`yJd>swu+¢(7 vbo ro{s-7¯ u¨wdyr| o-qz qr`bjly[d^¢£k}kº{qrjtµu`»o-q(=Þ½ o{¹P r?¦d³v©«owowhk[nlqKowjlu© z~>c hkd d>jpnl7oyzdJsw~c_qo{swu rvbo{`brjp¤b~{>xFjtd>o{ q rqr} `bd>7`¤FQu d_ 7¯qz`bo{d0u ~>| sw> rNFzdKy[© vFvFsCª«swyru y[d0|dKyzubjtubyfdJd q|¡ jlyzsPqzsws@crdJyzsw`byzrvs-vbdK¡4`b~¦jpqryzqzjtc`b¨Cdd ¢£| rmbswcec c }~>=¾swqzu `| d jtqzyzjldswquswy ¢bqzd>`¨wo{dJq$uq vbnps{ow¢x~>dJdJ¨wy d>¢£u© qryRyzdqRsw¢FdJ¨wdJuCqyjpy qz`bdyzdqRsw¢ vjpy o{|jlrd !y u> b d >:| d FX¤kA} dF¦swu | j±qrjtsCuyRowyR¡ dJntnFowyjtqry 7s-¡ rd>npo-qrjtsCu 7s-¡ rd>npo-qzjlswus{¢ 7 g a> > >d>dFEABFEdABdF a F :d>dF a F-OOdWa da A =8 ? ¡$owz`dAd>rqd#o{ÃwqzdJ`buWd$vb¢£rrswdc o{qzu `b| dWvF'¶ sCC·y[Òqr¶>yzµbdÀ¦qR½Þswº-µvFÀd>7o-qr jtsCo{uu y| sx~>~> mb© zr jluxub¢£fswrswc%uAo{qznl`bnt}WdzyzjlvFwdJ`© nlows{¤qzdfdJntqrd `| o-¤~>dJjty#~¢£rmswj±q#'c ¢£r;@d>dw© usw(¤Fd>nlswub qr s owntn 7+=Þyzqzm`b~d0`«yzsAvnlsCoC¤x~dJqryowjtuswrd jt| Cjt~usCo{u qzd°w¢£mzsCro{cqzjlsw`uEo^¨k© jlub}+~dsCkuqzdJyuqrz| md ~¦| qzjlsw7¥u owu | jtu \ +F3 3 `bsCn | y>© @Rkvnlowuo-qrjtsCu
:~sCcvsCubd>uqry$jlu+j±qy$¢Þowmbn±q}yqo-qrd0¡$`bjtnld~Jo{myzjtu | o{c%o{Cd³qrs@~sCcAvFswud>u¢£swu¯fCqzd`qrjly°yy[yrdJ~n±dJ¢¾uÒro{d>rvjlsowjt rd> | O \ jlu +| FdJ3 vdJ u | `bd>sCu}C©PR~@ swxcvbvFnpo{swuubo-dJqzuyswcjtuqr¢Þyfo{mjlu¬n±q}¬j±qyfyq¢Þo-o{qrmbd ntq6'} O y[yzqrd>o{r¨kqzdfjl~>¡$d`bo{jlu ntd°| ~>wo{d>mqry[y³jlubjtuuy[swd u o{d.c+?¦©© (_#s-¡0`bd r`dJd>oCuy[~>sCd0uqzy`b¢£dJsC}+:qrv`bsdujtswuudJjlntd | ~Jo{¤km}yro{qzn `df~nlsCyro{yzmbczddKy(yqo{o-rqzd0d npo{=£u¤Fo{d>cnld d>| nl}!¤k}-"7-qz3 `b?¦d yr~>o{swcu | d0j±qro{jtsCnpo{uryc npo{yz¤Fd d> | u¤k~}d --7"A 30 Ajlu A qz `bbdj8¤© dwsw©lbq[qzdsCxc vbnpo{swjl¢Xuqz`bqr`bddy[dKyr~o{swcu d|Ay[| d jl uo{cÁ~>dJy }ks{jld>¢n | o{y:npo{o%rc%»)-y>·8©·I½ ¶TdJbzjIC© dwjt©luub} @o{o{ru d@| qz`swd jlub| jtuo-qo«~sCy[qzu r| mjt~¦qzqrjlswmburdJyyA¤bmmxyzq³d u| s¡$~`bjlrd>~>u mbjto{qJFvbv¡ ntd }kjl| ubd>Wubswqr`bqzdd jtq³jt¤kqz}dJz¤bj(ow' nt C*sw© rj± qr`bo-c q[qrjl~>¢£swdJy c%o{kjlcd>jlubm°c ntjlntubjlÃwdJdJownt jl`bowsku s | | ubdKs{yqqrjt¤bc%o{o{qzujl~sw`bujlubs{¢`bowuu swry[dwqro- qrd0y[d Cmd>jpuy ~>o0dJy#cjlswu+rdy[qz~sxsC~cA`oCvyowqr~¦jl~fq ow| mxo-qzqsCocy[qzo{rqrmo~¦© qrmbzd(qz`owu qrqr`b`bd@d mb| ubjpo{¢£cswn sC| ujtu| sk ~J~mb'r jlub* ©Pjt_#u `qd@z>QdK;NowyzF¦sw© u«¢£mxsw°qcAqr`bdJjlyzC| jtujpo{+cqzsw`b' ud%| * q¡ c%sPowubvbj±np¢£owdK~>ydJqy0yfnpqzo{`¤Fd d>nl~d sC| u~¤kmQ} zr-"d>7-u3 ~>}PjtAu s{¢# qr`bd%' q* ¡ jls y vyz~>d>swzntsCr¢¾zÒvdKzdJdJy[zvFvnl}swo{jlu 0z| jlqzuby(`bAdqrs qzco{o owuzvy[Ãkjtzqzjld ubjlbswH WuyJ-"s{7-¢ ow3qzu `bjp| yd%qzum`bs{uxd°q ¢£mbsw| nuxmb| ¢£vjlsCubntn jp | ~>jlo{uby[qz`b d s-| ¡$ jlu Au s{jl uW/¢ ;@ jlmbyz©u`b
bnts-jl©AÃw¡$d@u+_#jl`bjlAu Fu d% mjlux¢£' ©Xsw n
x*| F© jlubo{ +nlu¬zdKs{o¢Þ¢ oC| ~¦ } qJjl `qz© o{`u
jl| yjpntyfdKnlo{y$cq[qzqzsw`jp~rjlddy vjl~>u+swzsxc¡$~v`bdKoCyzjp~yz~¦`jlqJub #c¤b¢£dJmxswcAqA sCqzjt`bu¯z} d qzmb~mbuxswruuE¢£sCyn qr| ¤brjlowmbubjtjlu~z#dd Cvb~mswrjtsxÒryz~dJddJyqyryyzyzjtswo{ubcr%d&d@yzmvvy[dJzqd sx|vb~nldKoCyzmb~yzuxdKjlub¢£y>sw©n _#| jl¡$`ubd>`bCrd>ydr¢£y[dJsw`boCrsCyfdwmbJqzn¢£`b|swjpy¤Fo{d0rvd vbvb jl¢£ro{dJdJqzzy0jlrswd ubu| s y © ¢£hksCqz jlntn8| &jpo{qz`wud%sCwyzd>jlyud>jpy#o{jtnlukjt¨wÌKo-dKqzyqrjlswjt© qzrjubdqyfjlyfsw¢ jluCqrd>rdJy[qJEowu | qr`bd>jl | d ubj±qrjtsCu owu | my[d . 0 +') eu©
³qr¡`bjpd(y:~yzsCdJu~¦qry[jtj sC| uEdJw¡ qz`bd d(| Cd>d>qrubowdJjtnrqzow`bnbd~>oCowy[ntd(Csw~>rswj±uqr`byzjc%| d>yr¢£d sw| RjtqzuA`bdqz`~>d>swswury[d>qzcÂrmw~qzwjlqzsw`bujpyRs{dJ¢ u| ~jpsCo{cACubvsCowyzyrjlyRy[dKuby dyzqdy>qr© mb vu@y y[m¤y[owdKu ~¦| qrjtsCu swow¢:ntCy[swmr¤j±qry[`bdKc+~¦qr©jtsC u«u
xy[©ùm
x¤©y[dK_#~¦`bqrjtd>sCuEuXjleu«©t0yzmb¡ ¤,d yzdJ~qzyjlq swu | dJeyr~© brXjt¤F¡ dfdqz`b¢£sxd~m¢£ryowcAsCu dJ¡ sC zFÃ%¢£sw¡ d0¡$ub`bdJjld ~| `W¢£¡ sw#d°qrw`bjl¨wd d| owdKuPyz~>zjtcjl vxvbqrjtrsCs-u¨wd sw| ¢ qr`bdJyzd0o{nlwsCzjtqz`bc%yJ©
8
)
6
3
7
5
R6 # "1
$ $ " " (2
" 1 # w 6 (2$
¢£u³rdswy:qc o;4vbItjlzuAdJK8zqzd `b vbswrusky[~>qzdJryrmy[dK~yPqzjlYRswu%g s{qz¢X`bqrjp`byd~sCmbuuby[¢£qzswrn m| ~¦jtuqrjt sCu° ¥jpysw¤¢sCzo0rs-¡ dqrd z| j dJ~>¨ws{®dJy[uCª d>q(qRd³sws{¢m¢& y[~dsC uqz`b|o{d³jtu qz|¢£jlswswJPunlnts-y:o¡$¤vjldJubnlntsCoCub~udws{jlswubqr¢o{fqz;@qzjlsws ©$u hkyJjl©cA_#kjlo{`bnpo{u d³r| nt~>}Cswu jpd>yR| ¨Cj±ofd>qruQ>:swl dcAAJk swF¦FrFkvb¡$¡$`bjp`b`by[d>d>c rrd d z dl C¢£jpy rjlswy(owc uo qz s ;@jlywjl¨wdJu¤k)} zB>dAJjF< J Fowu | zB>Qyl > A F> dA:JkF < dQl A F }o rjt> v¨C :owd jpjt|yf/mY]jtcyzd < vbnljl>~>¢£bswj±qrfAnt}Cxqr&`bF#mdswyzcA¢Rjtub~jl ubswjlu qzc%`| dAo{j±qrn:jtowsC~>¤usws-y(u ¨Cowd°jtu qz~| jlsCswukud>¨w¨wy³d>dJswu7rs-c ¡ ¡ d# rd>rd>npo-vbqzrjl| dJswdJyzu+ubd>uK?BA}C!A5DoAB=HF F~>o{u ¤FdAjlu | m~¦qzjl¨wdJnt}P~>swuy[qz rm~qzd | owy ¢£sCntnls-¡(y
> c > > A:JkFXAJ`_!=HFWiAB vF jpy(oA¤bo{u~`bjlubAvbrsk~>dJyry s{¢ ;@©
bsC, ¢£swnlnts-¡$>:YjlubAANqzF³dJozc¤bjlo{y(uow~nl`byzsjlubo° ¤vbrzowsxu~>~dJ`byry>jlub vb_zsxC~>XdJo{yry u |sw¢ l ; _=#8 yzm~` qz`o- q z>Kl F < a ¦Fqr`bd>u«qz`bd >4oO c>:dAJkFX# J`_ a iAB]O c?dvi/FkA¡$`bd>rd d Ql A F C = ? ¤V¢ rowd u_ ~`bÂjlubW¡ vbd%r~>sxow~ntdK9n yzyd o o 'rº{º^µÀÀ¦·8½¾½ µ >»t¸ ¶+){·I%¶ ½ÞC·º{®µ«¶µswÀ¢,½Þº{>µ bs{A¢ x>F°Y¤kAB} xF¦dowmnt~nqzqrjl¨w`bd d@~~sCsCuzry[dJqzryzmvF~¦swqru jtsC| ujlub= d?k~JqzdJo{u u| ¤d | d d>xvbzdKyzyzd | jtuqr`bdf¢£swrc s{¢oAvo-qzqzdJzuc%o-qr~`jtubrmbnld j±¢vbrdJ~>swu | jtqzjlswu C©J©>© 0`bsCn | y> g lh_*# AzB>Ql F u u| bvjtqrsq©Ju©>yz©jlfswu rdJCyzmb©>©JntqJ© © dKl A F d a :d:A:JkF*#`J`_ a i ¡$yzj |`dwd>r© d0 qzu`bdrmbqznt`bdWrd>= d K C?©>(©J©½¾· ½p| À dJub¸xs{µXqr¼wd¶ qrÀ¦`b·ÒdºKºJ~¼ sCz· rdJ){yz·/vFswd u |< jlub>Ql qrA`b zFdJd½pÀ y[qr) o-qr'd>º^cÀÀ¦d>½ u< q»ly¶«yz¶'`bC·s-Ò¡$¶>µbu À¦½Þswº-u+µ qrº[`b¹ d· rbjt¶C`u µ| · yz~J do{0 ¶ >¸¶» _#` F d 0 F A!zB>Ql F Ql dKl Obl 0 A >`EABd 0 F F dWa!< N>d A:JkF Jp_"}aOd 0
0
F ud°~`b~>jlswubu`bswntd>jpuy$ky[jtqzwqr}wdJmubo{qzu jlo{sw| n&u¬qr~>`bs{oCjp¢y[yRdCqzkc%`bddo{xÃCvbmbdJnpuxyo{¢£uqrsw`bo{n | qzd(jljlswubwudJuby#© d>sw´ ¢ o{¢(o{nbu ow~sCntCowmbswnlrowryzzj±dAqrc `bqzc `b~Jjpo{y ¤uow| skyzo-d~Jqr|~o mbsw$y[u%qz¡$rrmjtmbqz~nl` qzdmbow=ruJd% owjl? yz }%mbj | cnlswnl}Wub¤Fd>jlu|y[~sCdJrcnldJo^oC}Cdwy[x© jlub¤b mxnlq$yz~ssCqzuqr`by[sCdA#mbyzudqro^mb¨wvEsCj© | o{¤bnld0vbrjl~>d0qzs@vo^}¢£sC³`owu | nljtuowyz}ku~`brswuk}@¡$jtqz`Wus@zdKyqrzjp~¦qrjtsCu swu+qr`bd°owntnls-¡ d | Å . Å : 9 Edq°myjluk¨wdJy[qzjlCo{qzd%`bs-¡ qzsWzd ubd@rmbnld =K ?¦© _#`bdJswrd>c§yqo-qrdJy0qr`o-q Å >xFjlyAjlu¯swubd>Iqrs{Òswubd ~swrrdJyzvsCu | d>u~d%¡$jtqz`¯qr`bd+y[d>q°s{¢ 7 y°yro-qrjly[¢£}kjtu>=Þ ?¦©¬_#`kmy>sCubnl}¬o qryz`bmbd0¤bumbduxq(¢£sCs{n .¢ | jtub ` oCy#¤FbdA~xsCFc© vbbmxsCqz d | bbubxswdq| o{bnlnEowus{¢| jtqJTy©REª od0y[mjtuk¤b¨CubdJdy[q(qzjlswC¢ o-@qrdqz| `bd>jpuy$s{jpyzqzyzdfmb¤kd0} ubd> =[> e ? 9 y qrow`bu dA| c:
~+o{xcAjtc%jl2u o{>n y[Fm¤bowubu d| q c% Ëo-sw- ¢ > F o{rd@E~yzmswu~` | j±qrqr`jtsCo-uq yJ©W _#~`bowdntn yzd>mb¨C¤bd>ubuqry³q s{¢ o{r9 dnpTyo{¤Fd>~nlswd nl| nldJ¤k~¦q}+yd>ow¨Cntd>n uqr¨wy³dJs{uowu dxvbnpo{jluWyzswcdo{npo{rc ¤dJntsCubwjlub%qrs Ty8© sw o@¤bo{u~`jtub%vzsx~dKyzy sw2¢ ; L@y[d>q < [ c y g#+> 9 y F i9C =[ ? u_#d>`¡ d>uEd> xvbnl owu o-qrjtjlsCy(uqz`b¢£sCd@ ·®¶ G°½¾ µ )-©:·®hk¶r¼}kcvcAzd d>bqzrjlsw~Jo{ ¢ nl%nt}CxÃwj8© dJdwd>©lvbubjlubs%¢£jtmu[qrc`bd>jtu | ~swqzu 9 y F Rd F¦ ¡$~Jo{`ud>rvbd rsk~>d> d | © jly | d ubd | jtu = ?¦ o{u | ÃwdJd>v swubnl} < OT ¢£zsCc¡$`bjp~` ~>swu| jto{duo{rujtqz¨C`jtd d@c| o{©vb¤Frs-s-yz¨w¨wjld dAub| Aswow¤xqznt`bCdKjpswy~¦rqrqzj±y0qrdK`b~ow`bc+ntsCub©ubj Cmqzdw`bbd@jluy[qzqrdJ`bvd0yfubs{d>¢ yzdy[qrjlswmbuv y³sw ¢
5
%
*
7
C0
0
0
*
*
0
5
R # (2 /6 # "1 $ (2k"+(2
45 w"1 ( j$( #} 31 #}1 j/ $/6}# " m #}$d(
rqHy[qr`bd>owd0r[dq~>oC¡$¡ y[dj±d°qr` s{jluk¢ yz¨wswdKcyqr djt¶>uWc){sw» c%) ¢o°qzG `bdJd y[' qr)-| o{·8jp¤·Òo{¶ntCjp¦y[ubµ«`sCdJyzºy:jp¹y(qz;f`ubo{gd>qq qzsC `uxjl8y$nl jl~>ubswd³Erzowo{dKntu y[CvF| swswrqzj±u qr`b|`bdJyRc%uWqryRsws¢dyzxdjpqrymbq v ¢£sw> xF# yz>©dFqzª«¢£mswv d © Å ¯ ¶>· y ¶ ),' z:¶ 5 º¹ ¶µ 9 y C =[ ? Þ¹ ½pÀqrs{qrowntnl}@sC | dJzd | E· b¶>µ V:¶ ) ^¶ < 9 y C =8
{ ? ~>u²swswurqzcyz`bj | mbjpyd>npo~>o-oC=Iqr
{y[jtsCdC uR?:owyrs{yAo^¢ }xy[swy skuxqzswÒ`nlu jto{ubqJowd0xy owjt¢ ntCswrjlj±y qr`bqrc%s{`qy®owo{g y°nlnt}@¤F¡ d>sCdd> ujl| ud>y[~rjpsCdy[q$u| yq ~¦u qzqrd `b | jpyR|¡ skd dJy#~J~>o{swubu¥uy wkdJvqrub`bnld>owjpuyo{o-n8qrxmjt~¦ysC¢qru©!j dy:=[Ksw^yA¢*?qzTy `b8d © 0
*
=?>A@CB
/
9
C0
0
@C>
0
@C>
,
C0
5vxÉowqrujtsCoCu yzyzqzmbu`c~o{nlq mdyzqzjt`sCuo{jpy$q$=[qrqzs{`b qjp?o{y$nlntjljp}+yAy#ubsCsws{¤oCy[_#y[s dC`b© ¡jly³djpy(ubqrdJ`bd drsCdJubyznlmb}«ntqqrs{s«¢Rvjlu¨Crd@dJy[dqJ `EABd 0 F FXA
0
wou nlyz| s ZY> > dF | d>ub>swd qzF dJF,y0< qz`bdd ~>swu ¡$`bwd>mbrdo-qr jtsCu | yzd>vubo{swuqzddJ|yqz¤k`b}Pd qznl`owd¤dJ~>ntowjlubmPyzowc%n:~ownlv¯sCyzs{mb¢ rd7s{¢ d@jl> uA F (© =I~¦¢hk© jlc= jtnp? o{?¦ © us{qro{Rqzjpjl~swà uy$dx ow_ u | zdJc ow9zÃxTyy `bIsCown | u | ¢£swy[ d>q ©7P dF¦© Rjp~à _ 7©#hkjlu~>d Z djtqz`bdJ/d 3 3 sw y[jl¤bnldwk¤k } | d ubjtqzjlswusw ¢ ownlowzcËvo{q[qzdJ zuy^?© mbqJbyzjtu~>d jpy:qrs{ Z d `swn | yX=d Z p j # y t j c F v C s r y qqr`bo{nljpntyE}A`bswsC n || dJy z d | -_ qz`7d>Ku%qz`bswdJuu nt} 7)H ZQd ~JJo{qru`bd>`brsCdn ¢£| sCCzd qz`kmy 9 cTymy-q:=¤Fd> nlswu 0qzs^qrxy`bjlÞykvby[jlrus-~>¨wd/dJyFd qr`bd:_nlTyd>c8©Rc%hkobjlu© ~d ¤ Ak}Rsw©0_#Pqr`b`b> d³d%F(¢£¢£swsCqznlnt`bnlnls-s-dA¡$¡$y[jtjtmubu¤bubqzdr`bdJqfdJyzsws{mbr¢ ntd>qr cËyJ ¡jt u d@| jlow~J~yro-sCyzqrcmbdJcyvbz`bd jps-yzjt¡ub@qzqz`bs{qzqd`bo{d°vbnlntrub}«mbs ubsw| jl dJub| yd>qzrjl`dujlo u swu+y[yz7mbmbjl¤¤~ubyzq³dJd¡$~qqzjtjlswqzsw`¢ u@ ¶0e-© ¶
0 yz`b ubsC| mbs d>n| u| ds{¤qzswdd ¢ vFd>z¢£swrcd | xjtq(rd ubdKy qz`bdJswrd>c¢£sC#qz`bd~Jowyzdjlu¡$`bjl~ ` jpy qzs{qo{nlnt} sw | d>rd | ÅkÉ Å ÀrÀ¦C¸ G%¶0· ){· ½pÀ0·®º-(· )-»¾» º z¼C¶ z¶¼ £G ¹ ) TyC½b°G ½p){À » · º-¶ 6µ 5 G ¿w)¸ C½0b)-G ·8½Þ)-º-»(µÀ0À¦· º[¦¹ ½ #· ' z:¶ 5 Tº¹ 2PP> °xy· bF ¶>µ > NF º-½¾µ ½Þ¼C¶¦À V½¾· · b¶ À¶>·%º¹ )-»¾»
Rº-µbÀ¦½Þ¼C¶ ) )-½¾ µ Ty Ty y º¹ ' z:¶ 5 k¶¦Àº¹ ¶µ 2b> y F dFb¡$`bdJzd < T C ; ÉEÉ swjluCq¢£sCntnls-¡(y ¢£zsCc qz`d | d uj±qrjtsCu = ? s{¢ $b> Ty F¦©:_#`d>uEb¤k} ntdJcAc%ow¡ df`o^¨Cd 9 Ty y T 9 Ty FjAk¢£rswc¡$`bjl~`vFswjluCq³
¢£sCntnls-¡(y>© _#ownt`Cdswr¢£j±sCqrnt`bnls-c+¡$jtu¤k}nlzd>dKcyqrc%zjp~¦oqrjtjpuy @s{¢qz`nldJd°yry[yzdJd q³jlswc¢ v~sCsw[Òqyzo{duqy$~>dwqrk`¤bo{mxuWq$~Jjto{q$uW¡$yzjtd>nlnXr¨w¤ddf¢£mswyzd¢£vFmbsCnFyr¢£yzsCjt¤b nl¢£d°m[~>qrsw`buqz#jlukswmvbo-qzqrjljtcAsCuEjlÌ>© jlubAswswmb oW~>swy[umb~>¤mbubrzddJqAuCs{q#¢ ¡$ jtqz ` À>Nº G%| ¶0dJububs{s qr| dd0¤ksw0} ¢ 3 xg > ubFfs{qrqrdf`bd qz`byzd mb¤b| ubVj AXd>d>qrd>s{u¢ ~> d¡$ jtqz`+~qrsC`bud y[jp| y[d qzujlubbPj±qrjts{sC¢#u+qr`bs{¢dbubs > | dKF¦y0© qr`o-qo{rd Å ¯ ¶>· TyKA Ty y2 )-µF¼ r¶ )^À0½¾ µ 'bº{½¾µ· º¹f· b¶º zT¶ G &¶· =8
x. ? > y y F < O 3 .> JF ¶µ )-»¾» 'º^ÀÀ¦½ >»t¶%¶ C·®¶µÀ½Þº{µbÀº¹ )N-¶· b¶>½ ' r¶¦À>¶>· º-µ· ){½¾µF¶¼%½¾µ > Ty y F W0
0
0
0
0
0
@C>
0
W0
C0
0
0
0
0
0
C0
@4>
0
0
C0
C0
6
)
7
&
@C>
= >@CB
0
M9
7
@4>
0
C0
7
C0
:9RL1L;
µ½pÀ¦·®¶ ) r¶ )*r¼ )&)
| zqry `mbo-¤bÉEquÉ da q°d yz=8
xu~>?¦dAqzo{`bu dJ| zdAyzswdxcjpyd%qyd>¨Cod>u us{ q0~T swu< q o{jl ubd F¦jtu«y[mqz`b~` d ;
&
0
0
%
l > \!>dF-O!P>dF}F <
A
¡$`jl~`jtcvbnljldJy#qr`o-q/dx_!P> dFo~swucÂ
b© ³y[jlubqz`bdo{¤Fs-¨wd°zdKy[mbntqryJ&y[m~>~dKyzyzjl¨wdsCvxqzjlcjtÌKo-qzjlswuysw¢Rqz`bdAwdJubd>rjp~rmbntd =K ?³o{rdvdJ[¢£sCzcd | jlu yzd>¨Cd>o{n&y[qzd>vy>© 9 Ç . Å É d w: É A A5Å D ! wAPH ÅBJF¦ ¡$Å j±qr` - É Å K Å >bAxF É ÒÉ .ÞÊ Ç 9 ª«rjtqz < c )F A ) A ) WA@CC@CXA ) A@CC@C iA < c6d! Ad"vACC@C[ABd A@CCC i:APH >d- FB_ JTA =8
w*
? LQ> g ) D ) A d D ¢£¡$jpy°rsw`swc d>¤xrdRqqzo{`b¡ jld³ubd:d d>z| ¨CdKd>~>¤kudJowRyr~u ¡ jl| vxswq sC| uby>d`{qzowdJ`by¨wd d>¤us-u¡ ¢£zrsCrd>cd>cnpo-s-qr ¨CjtsCd u| © ³y[jlubAqz`dJyzd0ubs{qo-qzjlswuy>krmbntd =[J ?:rd>¡$rjtqzdJy#oCy ¢£swnlnts-¡(y H2> F< H >d F A!zB>Ql F < a AzB>Ql F < ) . =8
{ ? dKl Obl Af>`EABd F F
)
0
&
10
20
30
40
%1
1 &
&
0
0
0
0
0
0
0
0
0
0
0
dWa!:d:A:JkF*#`J)_}a*iO
c>:d:A ) +F5i
#qr`bdAvbzd b s{¢Rnld>ubwqz` sw¢ %&o{u | o{vbvbnl} > A F < 9 < =8
- e ? =ÞzdK~>owntnkqr`o-q:¡ d$rd>vbrdJyzd>udJyry[dKyowyRovowjt:s{¢&~swu | j±qrjtsCu%o{u | d>¨Cd>ud>ckvd>udJu ~swcvbmbqzd | o{u | ' * > A . FXA²¡$`bdJzd ' * < Yg ' * A > -A F < =8
? owowuntC| swrj±qr'`b c+* © | d>us{qzdKyzmntd =I
w ?-¢£sw o{u | yzd>dJuAoCyvo{o{cdqrd>y>© bswrcmnlo =I
? | d ubdJysCmbº-$µ ®» ½¾µF¶ ln d>cd>uc%s{qzod°f¤k}¡$j±qr` )< y >g q 30
)
30
D
&
C0
0
C0
5
5
¡ 9dud>É d | sw utn } qz+s¬ ~ sCÅ cvbÅ mx qzd c 7pqz`_*sCyz#8d29~>sw: u C> mbo- qzjlswFBugy 77 &s{ ¢ > 7 F q swr7d>c jlu> 7k | Fjp~>wcÂ_ mbsA
bo-z© qrdJjtsC vbuzswdKy>uy[wyzdJ¡$j ujt nld¤Fd>jl>ubxFc%dbo{owk~jlc%qznl}wo{bn yz=£m¢£sw~ `+y[~d>swq:u jtu~wnlmbmy[o-jlswqrjtusC?ujty uc my[q$¤vbcnpo{s-jl¨wu%d |swub©nlb}°swo
C0
C0
= >@CB
ubu qzs*A F qz`¤ko-} qowo{vbrvbdnl}kjtu jtub~sCu+qr`b7djp~¦rq$mb¡$nld jtqz`+' d> ¨C*d>r}%o{u ub| s | nldd0q s{P¢ > &© F (| vdJvbubnts{}qrdfqz`bqzdJ`bswdrd>yzdc q
°¡$jtqz ` Ty2g < A xy y-g < &x¡ d | d | m~dqz`o-q 2P> F< P> F¦bj8© dw©l qrqr`bs%d0oAub~>s sw| u dKy#w¤mbdJnto-sCqrubjtsCwujlubdAxqzvbs npo{Pjlub>jlub %o{F#npo{~>ro{c uubs{© q$¤Fd>nlswub =8
{ ? u_#s `k| m_#dJyJy#`bFjp¤F¢£y(swd>fvnlswz~ubmbsCCucAjtjtububvA mxqzqr~>jls ubo{u Pqrqz> `b`bd>du y[d>F¦¤F©xq dc jl7ur_ nldJ# o^¨wd9 | : ¡$jt> qz `+ qr `bdF yzmg ~>~>dJyry[jl¨wd> 7 owvbF!vb< nljl~Jo-qrjjtsCi°u¡ swd¢c°qz`bmdyqfsCuxvbÒrntmbjlububd0d°rqzmb`bntdd c¢£%=8sC
nto{nlks-?¦¡$©jlc%jlubo{d>°n:z¢£~>vFswswsCru y[cAq[Òjlwvbubmbrsxo-qz~qr`dJjtyrsCjly0yzujtuby>}kAjld>7 njp|y$Ey o{vbqzsw`vbT¢ dWnl>jld ¼w| ¶jÀo-A½ ¢¾rqr¶rd>¼ $FÀ>r¶mbo{>ntr¸dPd@¶>=8µy[
m~Y¶ ? `¬>: qr`*o-ABq Fº[ ¹ > +7 )-µ Fxk< ½¾µk¿ &' ©Pzº _#r¶`bÀdJÀ>z¶¦d>À ¢£:swo{rudw | qzow`bntd n 79 grd>cs-¨wd P> F ¢£zsCc > jA FEA =8
C ? owu | zmbnlPd =I
? jpy#cAs | j d | oCy ¢£swnlnts-¡(y ' * 7 79 C =8
? _#=Þuc`qzjd|b`bvb| jpy rntdmb?¦ubC©jlmbub_#zAdC`bkcAdA¡ dK¤bd~`o{`o{uo^u~¨wjl`d³yzjtc ubdk =Iqz
CdJvb*u r?sk| ~>djpy:dJ| yrjlyqznlnt`myzd `by[qzs-¡$o-qruPyzd`b| jls-uW¡$jlRu qru@`b jldAu jlz jl© wjlb`oo sw|b| uqzjljlubuky[°m`bo-sCsCqrmbubjtnsCd| uPcA~s{sCsC¢:czdqzv`bo{o{dAnpro{swd(rubcË¡$djtqznlyzowR` `b¤s- dJ¡$ntjld uP| ©bjlk u © usC us jl| qz©dJ`bykd@©o{rr_#jldw`vb`jp=IdJ~
|¢£jlsw~qzrdd(y[jl| uqr`b~>jludd³¡$qz| `bow`d@zj±qrÃ+rd³d>Cvc%zowdJow[} jtq#ub³s{jl~ub¢&sw qrr`brubdJd d>yzq|vjpsCjlo{yu w| ubjlo{s-ubc ¡ qr¢£jtqrr`byzswdd>c ntr¢ dJ;@oy[qz© yzrjtjpub~¦qzCjlntswduW~s{sC¢u | Cjpo{mbCrubo{sCqzjlyzswjlyuE© ubd qu« ¢Þow ~ qJ&qrF`bqrjpsy qr`bwd°mbryzd°mb¤yzyz`bds-q¡(s{y ¢:| jtqrjlzy³dKub~¦qrs nt|}+dJqry`bqzjl`yfo-vq0zmbo{rudjtubnlow¤cdJntdJd ~| `ow¤kub}+jpy[ubc s | sCdJu y
B
0
0
5
5
0
5
7
,
0
0
rswdJ¢9 yz>mb ntqz*jl ubA *¢£rF8swg c ~swo{cvb9 vbvnlow}kªzjtd(udPqz`b~>qzjp`bo{y#ujpy[y(jtqzy[rmqzmbjlo{nlntdwn$qzjlsCswuvxu@s{qzq³¡$jlcowjtqzjtnt`ÌJn dvbqz`bnlroCmbd~nldKwMd y#dJub=I¢£
zd>sC c?°o{n¤s{| owqrjpyzuPjtub~>m y[dJyzyzzqrd¨C`|d³o-qK¢£o{ sCq (jlqru²¢£`bmxdqrqr`bmbdJd+urd| qzdJ~swzsC¢c uCy[qrmjt>uk¤ my[dKo{~¦qzAqrjl swjtsCuu yF qre| `d©
bo-u© q$bjto{qzrswjld³sw³u+~>qzsw`bswujp¢y>~>XPmb¡ r> zddJ uCmq yzF¦d¡$©Rnlj±_#d>qr`Wc`bdJc%À>uEº o Gb¤k
b¶ }@© d>nl¨C d>d>cd>u ubs-qz ¡s F#qr `qro-`bCq gdy[ud>s{q³qzs{d³¢ qz`vbdnloC|~dKjBAXy(d>¤Frd>d>nlusw~>ubd³C¡$jtubjtqz`qzs qz`b>d ¢£jsCAzcd>F sw~>owubunl}%yzqrd>`br¨wd0d³ub¢£s sw| #dJ¢£y#mxqr¤Fmbd>rnlswdu~wswjlu> jA F F¦© =8
? 2
!
7
:9RL1L;
µ½pÀ¦·®¶ ) r¶ )*r¼ )&) 7
1 1 ρ
7
β
β
β
β
β 2 2
3
4
α
5
ρ
ρ
1
1
4
3
#
α
α
7
5
6
ρ
α
α
2
6
ρ
ρ 4 α
α
6
jtCmbrd ,8 A. *2 & #B&R; + &*# $T; C+ &N6P% 7/^#B;X# 7+./^# %'& T
¡$rj±qrdJy$oCy ¢£swnlnts-¡(yJkubs{qrdfqz`bd0cs | j ~>o{qzjlswus{¢qr`bd0vbrd®~sCu | jtqzjlswu
,
' F *
" a O"3 N> fF 5 0 F < ) d Ql OPl 0 Af> EA d F F da :dA JkX F # J` _ }ajiO c:> dA ) +F5i
l Obl
0
=Iw ?
H >` F< H 0 > d F AzB>Ql FQl g
_#`d³o || j±qrjtsCuo{nFvbrdJ~>swu | jtqzjlswujly:qz`bdJumbv | o{qzd | owy:¢£swnlnts-¡(yJ F]< a O >3 N> fF T a F =Ib.? _#`d>uE F 5
H >` F< H40 > d F AzB>Ql FQl B0 F < ' * g d = < >Ql OPl 0 Af>EAd F F #
=I{e ?
)
da :dAJkFX# J`_}ajiO c >:dA ) F5i g < 8# O >:r t u l dWa F
qr`u o-| qc%qz`o{d0jluCzqd o{ujlbubd jl|ub@sCuxswub8nl8jlnlubjtuddo{nlqzw`sCd°zjt~qzsC`buc~mjlzy$rsCd>u¤x~>qrow}jturd>d np| o-qr¤kjtsC} u yzmbjly³¤y[s{qz¢Rjtqznlmxs-¡qrjtub~ sCy[q³' jlu * qr¢£`bswjly~>oC' y[dC F * jljtuWu ~>=IswCuw(dJub~>swd>uo{y[nqzr~Jmow~yzqzdAjlsw¡$uE`© d>rd@~swuowu¬¤d%vFd>z¢£swrcd | ¢£zsCc ¢Þo{jlu qz`bd%jlu vFu²sCyrqzyz`bdJjpyryy[jluby[dKW~¦qr¤jtsCrowu²u¡~`bd jlub| jpyr~){mµFyr¼ y>`º{s-½¾µ¡ ½¾µk| ¿ jpo{~>wswuu sC| yzj±jlqryjtsCubudy>q yA¤b~Jmxo{q%u ub¤s¥d+~c%jlo ~|mbd jtqJ© cswhkrmd~`~>swubcdvqy%ow~o{qJrd ¤ku}¥d>¡0myz jtu¡ «d+ub~>d>owqrnty n qr| `bjlowd>wc ubs¶© ·IÀ ª d³¡$jlnlnEy[dJdqr`o-q#¡ df~>owu o^¨Cswj | mbububdK~dKyzyro{r} | mbvbnljl~Jo-qrjtsCuy qz`o{q#~Jo{usx~J~mb#jlu np1yzo-jlcAqzqz vjp~ ntd j dub. | d>Å qrFyJow#u 9 `b| d>_#uqz`~>`bd>d duW¡ vbyzrdP}kd>cA¨k~>jlswcswumd>yzy#qzj |rd>jtd>bÌJ@do{| cowFubvb¨ws{nldJqrdJ`bry(yzd>jtow%sCzu+dfsCubs{ubdw¢Rsw© q³dby[_#ow'm cA`bU%jlvy@~>ntjtd@dJdunld k©X`bjlyjt¤bjty[jtuPq(`bs-qr¡$¡$`b`dujl~ub` jldJuSd ¢Þ|ow mbjl¢£ntswq³©vb~>Jrswbswu© vyzowj |Cq@o{d>rqzjly@jtjluswuo rv~Jd>o{zvu«sxo{~skjldK yz~J y@~mbdJs{¨w¢0d>jluyz¡$X`bdqru `b| r jlswSu ¡$mbC `b`PdJjluvb©³~npdoww~CqzdK©`y d+ª 2 q¡ ow`us jtnl| dW| 2jVsCAFy ub©dJntz} ª dJucnp-:yJd°A-f ²ubys-o{ow¡ru d |qz`¤b o-rq©owuqz~`b`bdAjl¤bubq¡¥o{s ujlu ~z`by[qzdJjtu`bn±¢¾d d>qzrj³ubd>qJ~swu | j±qrjtsCuy@npo{¤Fd>nlnld | ¤k} Ay0owzdPjlu uj±qrd>nl} ¤browu~`bjlub¥jlu qz`dWmbux¢£sCn | jtub | mdPqzs
)
$
!
:9RL1L;
µ½pÀ¦·®¶ ) r¶ )*r¼ )&)
27
1
ρ
ρ
C
C’
1’
β 2
α 3
3’
β
α
4
4’
σ
σ
2’
jlwmbrdJ8 A + ; < 1
C
C’
1’ α
β 2
3
3’ β 4
ρ 1 β
C
2’
α 4’
ρ
σ
1
1’
β
α
σ C’
jlwmbrdw% &7)Q% 63#B& + ;
~r`bjtrusw@ubjljtÌJujlrswntdKuo^yJ¨~>bowo{uPc¤vbd nld(| `d>owrjly ¨wyzd }cjtuujp~~³dw| vCd zjtu%usCwsCrd dJ| | yrd>y:swmswqr¢(sqzvbjlo^cr¨wswsC dvFj ¦d>| © $~ubsCswuqzy[jlj sw| u dJzs{jlub¢ fqzjlqzcrjldw¨¢YBkjpowyky[ntqr¤nkyd#vbubrqdsf¡ | sfvbjl~rvbqrd ro{| d ¤jp|~¦ntqd#jp~¦o{yq¤bqro{nlsw¤bd$vbnlyd$vqrjtswyubqrvb³swvvbqzjtvbjlubcjlubdJqryjtcqzjpyjlcd(~nly[dJsCqzyRryzyzdjl~m| qz~nlm`A}u qz~| `sCd>uCo-q$qjlo{ujlYBubyzykdJjl~¦YByRqryxjty[sCqzo{-uru jp~¦| I NeqznlKÒy[}{qzr`b~>jpd>sw~¦uqzujtqzubsw`bd u| y[qro{qzdJcAdJuo{nlno» ) w¶ qz`df¢£swnlnts-¡$jluby[mCUsw¢PY < >`Y T Y y F-O a >`Y T Y y F =I ? _#.``YdJvb zTdKYBy[dJy u`sCY u R=IT YB? y Fsw¢ }wYdJ T* YBjly y(FOxubs{avq(>`YmbWujT C¨Cqz`bd>KdJxu ¡ ¥df~>ubo{swu@qzdfownlqryz`sfo-¤qKd jt|¢ d | udJ~dsC| cmvyzs`Y ¢ npo^}wdJY AYB`y swn | YBy>xy ¡F¦© dH(qrowdJÃwudf~dj±qqz`boCdJy z qzd`bd>d xjly[){qrµFy(º-oFµ½ G°)- ½¾»kµz½bdJG vb){r»bdJyzvd>o{uqzY jlswAuYswy F$¢ y[ m~ow`+u | qz`¡$o{rqjtqzzd0dJvbjtqrdJyzd>unls-¡²yzswcd my[d>¢£mbnkzdKy[mbntqry ¢£rswc I e KÒ © | dJubs{qrdJy qz`d#yzdqs{¢Fo{nln ¥u yJ{Rd>jtSqz`ba dJ $ I< Sa W I *e K8© ªc ?Bd%A C!o{rAEd°DRuAs-= ¡ÁF zAPdKH*o ird>dkqzqz`bd>udf| npo{np¤Fo-d>qznlqzntjpjl~ubdubc%dqo{yvqzqrs+owÃwdJdy qrzjtqrjy#ub¨-d>o{qrnlyJmb© dK y#sCjtuuy[qzj `| dfdJfowntov`npo{o{¤F¤Fd>dnl"q ntd J | s{¢d>qzo{rnpj o{ruc%d q y>x;'o{u < | ¢£nldsCq ntnls- ¡$ jlub a F D =Þe. ? o{u | npo{¤Fd>n&jtq(¡$j±qr`qz`bdyzdq >> a F D SF < c> y F g y _ a iA =Þerdf¡ d0rd>y Fowy$oyzmb¤bubd>q(s{¢ y © 6
2,
)
+
)
+
)6
)6
2 8
5du¶ dq» ) º[ r¹0¶>»¾· »tb¶¼²¶2D$¼{½ ¶z· ¶ ¦½·®¶µF¼ ¶>·-; +'¶ I¿ +)+' A5DoA BF ¼w¶:5RµX¶r¼¥½¾µ ¯½pÀ hxjtu~>d jlyof~s | jlubfs{¢qz`bd#mbub¢£swn | jtu {¡ d$~>o{uAmyzd#j±qqzs0~>s | d qr`bd$y[d>qs{¢Fowntnb~>swu wmbo-qrjtsCuysw¢ (©_#`bd$mbux¢£sCn | jlub ¬~Jo{uA¤dzdK~s-¨wdJzd | ¢£rswc ¬¤ TF©
x\© bsCdJoC~`0`k}r¤bo{u~` > a F D #^~>swuy[qzrm~2q l H yzm~`fqz`o{q l < >}> a F D F¦© b© swu F#o{!q l¯© _#| d>`ubjlswyAqz}kdfjtdJj±q(n | ¤ky° } ow u² d kqr d>buj±yzqjtsC~>u¯swrs{zdK¢ y[ vFswu¤k}| y qzqz`bsAd+qzy[`bd>d0qAd>swk¢qzd>npo^u}wy[d>jlswuy¤Fs{¢d>nl swu¤kw} jlub P qrs«jtu d C m(jt¨-© o{nld>u~d+~npowyry R¡ d "
)
('
9
)
*
@
-
6
7 /
6
n# / !$#}$.6 " "# j(2$
ªudd@q!;o{rd©%vo-ª qzqzd@d>ro{u rd%%©wYjl¨wbdJruswcowu¬qz`bowdJnlswowrzd>c c nlow0¤¡ dJntd0nld ub| dJd | dqrqzzs j rsw~>d>sw¢ vuzyzdKj |y[dJd>uCf>q°xFqr`bj±q%d ¤k¡ | }¬jpd o{j±Cq~Juby°o{sCnlnpn yzo-jljtqzyqqzjpub~o d>dq ¼-ub½* )>d ¿wq µF º-À¦ ½pÀPowu » )-| jl·8uE·I½ y¢£qrr¶ dJswoc | ©¯qzjl`bow_#d w`kubo{msy[owjpynt}x npyzo-jlyfqz qzswjp~¢ dKjpqryy`bvbd@o{zuvbs-¨kro dJj || ~>ddd+ C| o{mjlubu o- qzd o{y[ntdKqzzd>~¦dJqrrvbjtursCo{dJuEqzyzjld>¨wuo-jlowswqruuo cy[qzrsCmzdC~qzxmbj±q(rdjpy ¢£sCqzf`bdJoCzy[d>}k¢£swur~df`zcAsCubsCswzdmy Td AX| dJjp~o{qzwjlu¨wsCdfyzqrjlyJ`©0o{u+_#`bmbjluxy ¢£sC| n o{| qrjtuboqr© zm~¦qzmzd°jlynljtubdKo{0o{u | ubswq¤bo{u~`bjtu o{uk} Ê 9 jt©EK
°yz`bs-¡(y#o°vo{zqzjpo{nlnt}%sC | dJzd | ownlowzc vo-q[qrd>ru ¢£sw#qr`bd0dqrzj 1 . Å É Å 0
= >@CB
$
0
C0
)
! 1
i
i’
β
α
ii
ii’
ρ
σ
iii
iii’
1 ρ
ρ
C
1’
C’
α
β 2
3
3’ β
α
4
4’
σ
σ
2’
jlwmzdK
N+ ; C+ &N6 +P N+*V/^# + ! 9%3b6* *" .6P+ + 5; +./ /: *2& )Q%3 # /0
dnlb}¬o{zcdK~vbswnld% | bd © | ¤kq0}¬~>swqu¡ yzs jpyqntsxy³~Jswo{¢:n$qy[¡ dJusyz~>swswy>u©¥~>mb_#rz`bdJdJuCuEqf:o{¡ npo{drcyz`bs-y[d¡ Cuow~>jtdJu¥y qr'D d | qziCs ~>swcvbmxqrdqz`bd0vbrs | m~q Lb;@bowu | qr`bd>u+jtqry$mux¢£swn | jlub©
:9RL1L;
µ ¶ FK bC© Iù
Kª©$d>jpy[jl$© D(¶· ¦½RµF¶>·IÀ hkvbrjtuwd> dJznpo{X © I w K :©¨Cd>uc%y dkqrd>u | jlub0qr`bd | jlowwubs·ÒeC¶ µC2· ow uE-©µ
{)NCGAC
b½ © ^À¦·®T¶ G°À I b0 K A©X$sCÌ>d>uk¤Fd>ro{u | © @RubCd>nt¢£zjldqK© @Rnld>cd>uqfhk}xy[qzdJcyJ© u ¶ ·8¸ z¶À°º-8 µ D$¶· ¦½ °¶·IÀ )^À¦½ PºK¼w¶>»ùÀ¦© ,#h xvbvE©E^
XK
xCkhxvbzjlubCd>KF b© I CN
K ©hbo{`bo{sCmbjI, H© qrow¤o{Ãk`~`bdC ¥© swmz¨Cswjpy[jld>Ko{u | 0© Rowntd>q[qzdC© Cswjlubjlub dqrzj ubdqyo{u | Ãk³ub*º s- ¡$º-·8nl½d | À wdÒ¸x¤·®oCNº y[G d | )-·8yz½Þº-}kµy[qz dJCc%JyC ¢£ FswC@Jc sCbub j±qrswubCmbvxqob hX© o-¢£swzqzmubdw ©Rhkjlubuowcsw`bj | d>dJuE:owu | ©R_dJubd>ÃCdqrÌ>jpy>© j± ow wubszd>qzd>8dJ¨wd>u© ^ 0){µbÀ ¸x·®Nº G º{µ· zº-» eC = ?¦E r I {*e Kf©khkdJubwmvxqro© jlowwubsswccmubjl~Jo-qrjtsCuyjlu | jpyqrzjl¤bmxqrd | yz}ky[qzdJc%y>© u D zº º ¹ NR½¾µ·®¶ ¦µ )-·8½Þº-µ )-»Aº
