Axiomatizations for probabilistic finite-state behaviors

HAL Id: inria-00201123

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

Submitted on 23 Dec 2007

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.

Axiomatizations for probabilistic finite-state behaviors

Yuxin Deng, Catuscia Palamidessi

To cite this version:

Yuxin Deng, Catuscia Palamidessi. Axiomatizations for probabilistic finite-state behaviors. 8th In-

ternational Conference on Foundations of Software Science and Computational Structures (FOSSACS

2005), Apr 2005, Edinburgh, United Kingdom. pp.110-124, �10.1007/b106850�. �inria-00201123�

, &.- /0

132547698;:<87=5>@?BAC8DFEGAIH2KJLM69ANOACP9ACQR69D<JJ69S?@?

TVUXW(YZU\[F]_^$`babcedfg[ZhMijce`C^$klcemZdhInophbclqsrutjmvcwixrzy7dtjcemp{

|BUXW(YZU\[~}b€ij_tjmd$hbnV‚ƒUX„.…

x

†K‡

^ˆklr3y5^ˆkw‰ijr

‡

a€hbceŠMbr

‹Œ7%Ž%I‘$Žˆ’“

rpm\ijbn_‰Gd3`_tj^

‡

r%mvm

‡

dk

‡

bklbm”a€c

‡ a ‡

^$•–bclh€r%m+–C^ija—h€^ˆhbn€ruijrutvf

•˜clhbclm\ijc

‡

dhIn`€tj^$–Id–bclklcem\ijc

‡

–CruaId@qce^t˜clh™ija€rm\iX‰_ker^$š]_r%›ˆd$keddhInR‚œ‰_h

‡

aƒm

`_tj^ˆ–Id–bclklclm\ijc

‡

d$€ij^$•diždŸ

“ r ‡

^ˆh€mvc n_rutq$dtjcl^ˆ€mm\ivtj^ˆh€›GdhInG”r@d¡˜–Cr%aId@qcl^$tždk

r@ŠM€ceq$d$klr%h

‡

r%m%…¢d$hbn™”+rV`€tj^qcen€r

‡

^ˆ•˜`bklruijrd£_cl^ˆ•dijce¤%dijcl^ˆh€mš¥^$t¦Ih€cwijruf§m\iždijr

`_tj^

‡

r%mvmvr%m%…5tjrum\ivtjc

‡

ijr@n0ij^V›$Idtžn_r@nn_ru¦Ih€clijcl^$hbmclh

‡

dmvr—^šijabrG”+r@d$¡Br@ŠMbclq$df

klr%h

‡

r%m%Ÿ

“ r ‡

^$h$¨\r

‡

ij€tjrijaIdiclhijabr›$r%hbr©tžd$k

‡

d$mvr^$šª€hb›$Idtžn_r@n3tjr

‡

€tjmvcl^ˆh.ijabr

«

hIdij_tžd$kl¬G”r%d$¡—r@ŠMbclqˆdklr%h

‡

rumpdtjrbhbn€r

‡

cen€d$–bklrˆŸ

­

a€cem.clm3ija€rG¦btjm\iz”^tj¡ª…ƒij^*^ˆ_t¡hb^@”klr@n_›ˆrˆ…ƒijaIdi.`€tj^qcen€r%m3d

‡

^$•˜`bklruijrd£_f

cl^ˆ•dijcl¤@dijcl^ˆhš®^t+”+r@d$¡Gr%Š€clqˆdkeruh

‡

r%m¢clhGijabr`€tjr%mvruh

‡

rZ^$šœtjr

‡

_tjmvce^$h—d$hInG–C^ija

h€^ˆhIn_ruijrutj•˜clhbclm\ijc

‡

dhIn`_tj^ˆ–Id–bclklclm\ijc

‡z‡

ab^$c

‡

rˆŸ

¯ °b±Z²C³ª´µ.¶3·¸²ª¹j´Z±

º» <¼P§ACJ@HD<LMACD7< » ACJB½6¾H87<JJ@<D¿698LsÀ<ACJ6987=Á6§8œH@<MÀ<JH698ÂH » <ÃAIÀ<AÅÄCÆÆgÄCÀQRACP

Q<MH » Ä5DJGÆXÄCÀ˜H » <ÇJ@È<LM6¾ÉKLMAIH6¾Äª8;AC8D;AC8KACP¾Ê¸J69JÄCÆpÈÀÄCËKAIËK69P96§J@H69LJ@Ê5J@H@<QRJ0Ì®ÍθÏ$иÏ

ÍѸÏ$ҀÓjԜÕ%8ÁÌ®ÍҀӢÖIAC8Ø×*P9AIËË<M<MÙ;ÚÛ(ÜCݮ޸LMP9ACJJ6¾É<DÈÀÄCËKAIËK69P96§J@H69L3QRĸD7<P§Jz698ƒH@Äß@ÚܪàMá

Û\âXãCڈäpåƒÚMæ+Úsß@ÜCÛ\âgãIÚAC8DÅçˆÛ\ß@ÜCÛ\âèÚéIÔ¢Õu8ÃÀ<ACLsH6¾ÖC<0QÄ5D7<P9Jσ<ACL

»

P9AIË<P¾<DØH@ÀAC8J6¾H6¾Äª8

69JACJJ@ĸLM6§AIH@<DF½6¾H » A¼ÈÀÄCËKAIË¢69P96¾H©ÊCÏAC8DÁÆgÄCÀ<ACL » J@HAIH@<H » <J2QêÄCÆzH » <ÈÀÄCË7ë

AIËK69P96¾H69<JG½—6¾H » H » <0JACQ<P9AIË<P69JÇÍIԁ×<87<MÀ$AIH6¾ÖC<QRĸD7<P§JD6®ì<MÀÆgÀĪQêÀ<ACLsH6¾ÖC<

Ī87<J.6§8H » AIHÆXÄCÀ.<ACL » J@HAIH@<VH » <J2QÄCÆH » <ÈÀÄCËKAIËK6§P96¾H6¾<JOÄCƁACP9PH » <—Ī27H@=CĪ6§87=

H@ÀAC8J6¾H69Ī8JG69J*ÍIÔ¢í¸H@ÀAIH6¾ÉK<D;QĸD<P9J » AÖC<0QÄCÀ<ÇJ@H@À2KLsH27À<*AC8DÃÆgÄCÀ<ACL » J@HAIH@<

<6¾H » <MÀÇH » <MÀ<™69JV<s47ACLsHP¾ÊîĪ87<RĪ27H@=CĪ698=ÁP9AIË<P¾<DîH@ÀAC8J6¾H6¾Äª8îÄCÀÇH » <MÀ<™AIÀ<RĪ8P9Ê

28P9AIË<P¾<DØH@ÀAC8J6¾H6¾Äª8JGAC8D;H » <BJ2QïÄCÆOH » <6¾À˜ÈKÀÄCËKAIËK69P§6¾H6¾<J69JÇÍIÔ

Õu8ðÌ®Í΀ÓÇí5<M=ªACP9A#ÈĪ698ƒH@<DñĪ27H¼H » AIH¼87<69H » <MÀRÀ<ACLsH6¾ÖC<î87ÄCÀ¼=C<87<MÀAIH6¾ÖC<Å87ÄCÀ

J@H@ÀAIH6¾É<DòQRĸD7<P§JØLMAIÈKH27À<óÀ<ACP*87Ī8KD7<MH@<MÀQR698K69JQ;ÏAC8ô<JJ@<8ƒH69ACP*87ÄCH6¾Äª8ôÆgÄCÀ

QĸD<P96987=ØJL

»

<DK2P96987=ØÆgÀ<M<D7ĪQ;Ï69QÈ¢P¾<Q<8ƒHAIH6¾Äª8ÅÆXÀ<M<DĪQ;ÏH

»

<<s4¸H@<MÀ$8ACPO<85ë

Ö¸6¾ÀĪ8Q<8ƒHGAC8KD;698LsĪQÈKP9<MH@<V6§87ÆXÄCÀ$QRAIH6¾Äª8Ô7õ<*H» <8;698ƒH@ÀĸDK2Ls<D;AQÄ5D7<PvÏ5H » <

ö

ß%÷ƒøܜøMâXÝ¥â§çsÛ\â\àÜIù7Ûj÷IúRÜCÛjÜû\Nü*ý$σ½ » <MÀ<—ËÄCH » ÈÀÄCËKAIËK6§P96¾HžÊAC8DØ87Ī8D7<MH@<MÀQ™69869JQ

AIÀ<*HAIÙC<8F6§8œH@ÄRACLMLsĪ28ƒHMÔKN3ÀÄCËKAIËK69P§69J@H69LL

»

Ī69Ls<069JG<s4¸ÈKÀ<JJ@<D;˸ÊØH

»

<Ç87ÄCH6¾Äª8;ÄCÆ

þ

]b`b`C^tvijr@n–‰ija€r

†

oÅ`€tj^¨\r

‡

ipyYZÿO}5o(WOUv]CŸ

þ©þ

y7dtvijc dklkl‰.mvb`€`C^$tvijr@nz–M‰Oijabr+ytj^¨\r

‡

iKYp^$mvmvce›$hb^$k€^šbijabr+[+U5]Kxr ‡

€tjcwixrUXh€š¥^$tj•dijceŠMbrclh€f

clm\irutjrzn_rk d3tjr a€rut abrruih€^ˆbqˆr%klkerumijr a€hb^ˆkl^$›ˆclr%m ©Ÿ

» »

û\ACLsH6¾Äª8σJHAIH@<€ýzAC8D¼D7<ACDP¾Ä5LÙ+ÔĪ8D7<MH@<MÀ$QR69869JH69LGL » Ī69Ls<CσĪ8™H » <ÄCH » <MÀ » AC8DÏ

69J<s45ÈÀ<JJ<DÇ˸Ê*H » <3ÈĪJJ69ËK69P96¾H©ÊÄCÆL » ăĪJ6§87=D6¾ì+<MÀ<8ƒHH@ÀAC8KJ6¾H6¾Äª8JÔbí¸<M=ªACP9A—ÈÀÄIë

È+ĪJ<DØACP§J@ÄAJ6§QÈKP96¾ÉK<DÖC<MÀJ6¾Äª8ØÄCÆ(N+ü LMACP9P¾<DFç$âgú

ö

Ý9Ú

ö

ß%÷œøܜøsâgÝ¥â§çsÛ\â\àÜIù7Ûj÷IúRÜCÛjÜ

ûjí5NüVý$Ï5½ » 6§L » AIÀ<VP§6¾ÙC<—ÄCÀDK698AIÀÊAC27H@ĪQRAIHA<s47Ls<MÈHH » AIH˜A0P§AIË+<P9<DRH@ÀAC8J6¾H6¾Äª8

P¾<ACDJ.H@ÄA0ÈÀÄCËKAIË¢69P969J@H6§L.D6§J@H@À6¾ËK2H6¾Äª8Ä_ÖC<MÀA0J@<MH.ÄCÆpJ@HAIH@<JG698J@H@<ACD¼ÄCƁA0J6987=ªP¾<

J@HAIH@<CÔ

O6¾=ª27À<VÍ3<s45<QÈKP§6¾É<JpH » <.ÈKÀÄCËKAIËK69P§69J@H69LQÄ5D7<P9J(D69JLM2JJ@<D0AIË+ĀÖC<CÔCÕu8QÄ5D5ë

<P9JG½

»

<MÀ<VËÄCH

»

ÈÀÄCË¢AIËK69P96¾H©ÊRAC8D;87Ī8D<MH@<MÀQR6986§JQ AIÀ<*ÈÀ<J@<8ƒHMÏP96¾ÙC<VH

»

ĪJ@<*ÄCÆ

D69AI=CÀACQRJ¼ûƒý*AC8D ûvѪý$Ï(A;H@ÀAC8J69H6¾Äª8ó69JÇ2J2ACP9P¾Ê~À<MÈÀ<J@<8ƒH@<D ACJ0A;ËK28DKP¾<0ÄCÆ

AIÀÀÄ_½J3P9698ÙC<D˃ÊA0JQRACP9P7AIÀLIÔÌ®ÍЀÓ+ÈKÀÄ_Ö569D7<JzA0D7<MHAC69P¾<D™LsĪQÈKAIÀ69JĪ8Ë<MHž½<M<8

H » <ÇÖIAIÀ6¾Äª2JQRĸD7<P§JMÏAC8D~AIÀ=ª2<JH » AIHN+ü J2ËKJ2Q<*ACP9PÄCH » <MÀQÄ5D7<P9J—AIË+ĀÖC<

<s45Ls<MÈH—ÆXÄCÀH» <ÇJ@H@ÀAIH6¾ÉK<D;Ī87<JMÔ

a a b b

1/2 1/2 1/3 2/3

a a

b b

1/2 1/4 1/8 1/8

1/2 1/2

2/3 1/3

a b

a

a

a a a b b

1/2 1/2 1/3 2/3 1/2 1/2 1/2 1/2 1/3 a 2/3 b 1/2 1/2

a c

b c

(1) reactive (2) generative (3) stratified

(4) SPA (5) PA

’I’

ytj^$–Id$–€clkeclm\ijc

‡

•˜^n€r%klm

Õu8#H » 69J*ÈKAIÈ<MÀǽ<™AIÀ<¼698œH@<MÀ<J@H@<D 698 698œÖC<JH6¾=ªAIH6987=~Ab476¾ÄªQ JʸJ@H@<Q™JÇÆgÄCÀBA

ÈÀÄ5Ls<JJ3LMACP9LM2KP92JËKACJ<DĪ8¼Nü0Ϝ698H » <J@<8J<H » AIH3H » <ÄCÈ<MÀAIH6¾Äª8ACP¢J@<QRAC8ƒH69LMJ

ÄCÆz<ACL

»

<s45ÈÀ<JJ69Ī8ÁÄCÆH

»

<P9AC87=ª2KAI=C<69JA¼ÈÀÄCËKAIËK6§P969J@H69LVAC27H@ĪQ™AIH@Ī8CÔ¢ü—476¾ÄªQ

J@ʸJH@<QRJAIÀ<B6§QÈÄCÀHAC8œHGËÄCH » AIH˜H » <BH » <MÄCÀ<MH69LMACPP9<MÖC<PvÏKACJ˜H » <MÊ » <P¾È;=ªAC6§86987=

698J6¾= » HÄCÆH » <—LMACP§LM2P92JzAC8KDR<J@HAIËKP§69J » 698=V69HJzÆgĪ28DAIH6¾Äª8KJMϪAC8D™AIH.H » <—ÈKÀACLsH6®ë

LMACPKP¾<MÖC<PvσACJ3H@ĸĪP9JzÆgÄCÀ.JʸJ@H@<Q J@È<LM6¾ÉKLMAIH6¾Äª8™AC8DÖC<MÀ6¾É¢LMAIH6¾Äª8ÔV2À3LMACP9LM2P92KJz69J

† £ ‡

r%`€i(š®^$tija€r

‡

dmvrG^$šn€r@d$n€kl^

‡

¡C…C”a€c

‡

aclmOivtjr@dijr@nÇmvkecl›$aijkw‰0n€cªrutjruhijkw‰Cš®^$klke^@”clhb›Vija€r

ivtžd$n€cwijcl^ˆh*^$šK`_tj^

‡

r%mvm

‡

d$k

‡

bklc¾…ªclh*^ˆ_t

‡

dmvr3n€r@d$n€kl^

‡

¡cempdGm\iždijr$…I”abclklr.clhÇyª[Åcwipcemp^ˆh€r3^š

ija€rO`C^ˆmvmvcl–bklr ^$•˜`C^ˆhbruhijm^šd.ivtždhbmvcwijcl^ˆhƒŸ

»

ÉK86¾H@<sëžJ@HAIH@<BË+< » AÖ56¾ÄCÀJÇ̸πÍC͈ÓjÔ

ó<˜J

»

ACP9PƒLsĪ8J69D7<MÀpH

»

<Hž½ÄVJH@ÀĪ87=VAC8DBH

»

<.½<AIÙÇË<

»

AÖ56¾ÄCÀACPƒ<¸26¾ÖIACP¾<8Ls<J

LsĪQRQĪ8ó698îP96¾H@<MÀ$AIH27À<CÏÈKP92JĪ87<87ĀÖC<Pz87ÄCH6¾Äª8ÅÄCƽ.<AIÙÅ<ƒ2K6¾ÖbACP9<8Ls< » AÖ56987=

H » <ÇACD7ÖIAC8œHAI=C<ÇÄCÆ(Ë<6987=J@<8J69H6¾ÖC<VH@ęD6¾ÖC<MÀ=C<8KLsÊCÔ7ÄCÀÀ<LM27À$J6¾Äª85ëjÆgÀ<M<V<s4¸ÈKÀ<J%ë

J6¾Äª8J½<ØÈKÀÄ_Ö569D7<ÃLsĪQÈKP¾<MH@<;Ab476¾ÄªQRAIH6AIH69Ī8JÄCÆACP9PH

»

<ÃÆgĪ27À<ƒ2K6¾ÖbACP9<8Ls<JMÔ

7ÄCÀH » <ÇJ@H@ÀĪ87=<ƒ2K6¾ÖbACP9<8Ls<JG½.<ÇACP§J@Ä=ª6¾ÖC<ÇLsĪQÈKP¾<MH@<ÇAb476¾ÄªQRAIH6 AIH6¾Äª8J˜ÆgÄCÀACP9P

<s4¸ÈÀ<JJ6¾Äª8JϽ » 69P¾<ÆgÄCÀBH » <™½.<AIÙó<¸26¾ÖIACP¾<8Ls<JB½.<™ACL » 6¾<MÖC<ØH » 69J*À<J2P¾H*Ī8P9Ê

ÆXÄCÀ=ª2KAIÀD7<D;<s45ÈÀ<JJ6¾Äª8JMÔ

º» <GÀ<ACJ@Ī8½ » Êǽ<˜AIÀ<698ƒH@<MÀ<J@H@<D698J@H2Dʸ698=A*QÄ5D7<Pƒ½ » 69L » <s45ÈÀ<JJ@<J

Ë+ÄCH

»

87Ī8D<MH@<MÀQR6986§J@H69LAC8DÈÀÄCË¢AIËK69P969JH69L(Ë+<

»

AÖ56¾ÄCÀπAC8KDAC8<¸26¾ÖIACP¾<8Ls<J@<85ë

J6¾H6¾ÖC<îH@Ä D6¾ÖC<MÀ=C<8LsÊCϘ69JÃH » AIH;Ī87<îÄCÆBH » <#P¾Äª87=IëjH@<MÀQ =CĪACP9J~ÄCÆBH » 69JÃP96§87<FÄCÆ

À<J@<AIÀL » 69JGH@ÄRD7<MÖC<P¾ÄCÈ~AH » <MÄCÀʙ½ » 69L » ½—69P§P¢ACP9P9Ä_½ 2JGH@ÄÀ<ACJĪ8;AIË+Ī2H˜ÈÀÄCË7ë

AIËK69P969JH69L0ACP9=CÄCÀ6¾H

»

QRJB2J@<D#698óDK69J@H@À6¾Ë¢27H@<DîLsĪQÈK27H698=7ÔÕu8óH

»

AIHBD7ĪQRAC698 6¾HÇ69J

69QÈÄCÀHAC8ƒHH@Ä <8J2À<;H » AIH™AC8 ACP¾=CÄCÀ6¾H » Q ½69P9PG½ÄCÀÙ¿2K8D7<MÀ™AC8ƒÊñJL » <DK2P¾<MÀÏ

AC8DF2K8D7<MÀ—ÄCH » <MÀ28Ù¸87Ā½—8~ÄCÀV28LsĪ8ƒH@ÀĪP9P§AIËKP¾<ÇÆ\ACLsH@ÄCÀJMÔ º» <87Ī8D7<MH@<MÀQ™69869J%ë

H69LÃLsĪQÈĪ87<8œHÄCÆH » <;LMACP9LM2P92KJACP§P¾Ä_½—JLsÄCÈ¢6987=Ž—6¾H » H » <J@<~LsĪ8DK6¾H6¾Äª8J698¿A

286¾ÆgÄCÀQ AC8KD <P¾<M=ªAC8ƒH½A_ÊCÔ 27ÀH » <MÀQÄCÀ<CÏO698¿QRAC8œÊÂD69J@H@À69ËK27H@<D#LsĪQÈ¢27H6987=

AIÈÈKP969LMAIH69Ī8J™6¾HÃ69JØ69QÈÄCÀHAC8ƒH™H@Ä¿<8J27À<FP96¾ÖC<P9ĸLٜëjÆgÀ<M<D7ĪQ ûgÈÀÄC=CÀ<JJ$ý$ÏGAC8D

H »

<MÀ<MÆgÄCÀ<¼½<™½69P9Pz87<M<D¿AÅJ@<QRAC8ƒH69LMJB½

»

69L

»

D7ĸ<J087ÄCHJ69QRÈKP¾Êî6¾=ª87ÄCÀ<™DK6¾ÖC<MÀ@ë

=C<8LM6¾<JMÔ

ó<~<8D H »

6§JJ<LsH6¾Äª8ñ½—6¾H

»

AóD6§JLM2JJ69Ī8ÂAIËĪ27HJ@ĪQ<;À<P9AIH@<Dñ½ÄCÀÙ¢ÔÕ%8

̀ÓAC8DÅÌ®ÍC͈ÓF69P98<MÀz=ªAÖC<*LsĪQÈKP9<MH@<Ab476¾ÄªQRAIH6AIH6¾Äª8KJ3ÆgÄCÀJH@ÀĪ87=BË¢69J69Q2P9AIH6¾Äª8

AC8DÇÄCËKJ<MÀÖbAIH69Ī8ACPª<¸26¾ÖIACP¾<8Ls<CÏÀ<J@È<LsH6¾ÖC<P¾ÊCÏ_ÆgÄCÀOA—LsÄCÀ<Ì®ÍbÓjÔ º» <J@<.Hž½Ä

ÈKAIÈ<MÀJ3J@<MÀÖC<ACJ.Ī27À.J@HAIÀH6987=BÈĪ698ƒHª698¼J@<MÖC<MÀACP+LsĪQÈKP¾<MH@<87<JJ3ÈÀăÄCÆ\JzH » AIH6985ë

ÖCĪP¾ÖC<.À<LM27ÀJ6¾Äª8ǽ.<ACD7ÄCÈHF69P987<MÀlJ.Úù7ܪÛ\â\÷Iæ+ÜIÝà¸ÜIß@ܪà_۞Ús߈â_ÜCÛ\â\÷CæÃÛ7Ú÷IßÚsú AC8D

ù¸æKâùÚçs÷IÝ¥ù7Û\â\÷Iæ¿Û5Ú÷Cß@ÚMúÔÕ%8óí¸<LsH6¾Äª8 ØAC8KDîí¸<LsH69Ī8îѸÔeμ½<0<s45H@<8Dñ̀ÓAC8D

Ì®ÍC͈ÓGûgÆgÄCÀ—=ª2AIÀD<D;<s4¸ÈKÀ<JJ6¾Äª8KJ$ý.À<J@È<LsH6¾ÖC<P¾ÊCÏKH@ÄRH » <BJ@<MH@H6§87=RÄCÆOÈÀÄCËKAIË¢69P969J@H6§L

ÈÀÄ5Ls<JJACP¾=C<MËÀ$A5Ô

Õu8#Ì®Í IÓ(í5HAIÀÙ¼AC8DÁí7QĪP¾ÙIAB=ªA_ÖC<BAÈÀÄCËKAIË¢69P969J@H6§L˜ÖC<MÀJ6¾Äª8ØÄCÆpH » <*À<J2P9HJ.ÄCÆ

̀Ójԁí5Ä7ÏKĪ27ÀÈKAIÈ<MÀ<s45H@<8DJÌ®Í IÓz698~H

»

AIH½<LsĪ8KJ69D7<MÀACP9J@ÄÃ87Ī8D7<MH@<MÀQ™69869JQ~Ô

—ÄCH@<îH » AIHý » <8 87Ī8D7<MH@<MÀ$QR69869JH69L~L » Ī69Ls<Å6§J¼ACDD<DϘí5HAIÀÙ AC8Dòí5QĪP¾ÙIAlJ

H@<L » 86ƒ27<ÄCÆzÈÀÄ_Ö56987=¼JĪ28D87<JJÄCÆ3Ab476¾ÄªQRJ69J87ÄØP9Ī87=C<MÀ2KJAIËKP¾<CÔ º» <0JACQ<

À<QRAIÀÙBAIÈKÈKP96¾<J(ACP9J@ÄH@ÄR̮͈Ó5½

»

69L

»

ÆgĪP9P¾Ä_½JpH

»

<AIÈÈKÀĪACL

»

ÄCÆpÌ®Í IÓË¢27H(2KJ@<JpJĪQ<

Ab456¾ÄªQ™JÆgÀĪQ 6¾H@<MÀAIH6¾Äª8ÅACP¾=C<MËÀ$A™H@Ä;L » AIÀACLsH@<MÀ6M<À<LM27À$J6¾Äª8Ô¢Õu8ÅLsĪ8œH@À$ACJ@HMÏĪ27À

ÈÀÄCËKAIËK6§P969J@H69LÇÖC<MÀJ6¾Äª8îÄCÆ%ËK69J6§Q02P§AIH6¾Äª8F2ÈóH@Ä! ÃH@<L » 86ƒ27<½ÄCÀÙ5JV½.<P§PO½ » <8

LsĪQBËK6§87<D;½—6¾H

» H »

<Ç2J2ACPH@ÀAC8KJ6¾H6¾Äª8;698KD2LsH6¾Äª8Ô

Õu8ñÌwрÓ#"GAC8D698K6ZAC8D#í¸<M=ªACP9AØAb476¾ÄªQRAIH6M<DîËÄCH » J@H@ÀĪ87=;AC8DŽ<AIÙÁË< » Aփë

6¾ÄCÀACP<ƒ2K6¾ÖbACP9<8Ls<JÃÆXÄCÀÃÈÀĸLs<JJ;LMACP§LM2P96VLsÄCÀÀ<J@ÈĪ8DK6987= H@Ä í7N+ü AC8D H@Ä AC8

Ë+<*À<M=ªAIÀD7<D~ACJAC8;<s4¸H@<8KJ6¾Äª8;ÄCÆ(H » AIH½ÄCÀÙÃH@ęNüBÔ

7ÄCÀÈÀÄCËKAIË¢69P969J@H6§LBÈÀĸLs<JJ0ACP¾=C<MËÀAÁÄCƘü—EGNëžJ@H©Ê¸P9<CÏ(J@<MÖC<MÀ$ACP.LsĪQÈ¢P¾<MH@<¼Ab4¸ë

6¾ÄªQ J@ʸJH@<QRJ

»

AÖC<#AIÈKÈ+<AIÀ<D 6§8H

»

<óP969H@<MÀAIH27À<CÔGõ—Ä€½.<MÖC<MÀ_ϗ698 <ACL

»

ÄCÆ0H

» <

J@ʸJH@<QRJ<6¾H » <MÀ½<AIÙ¿ËK69J69Q2P9AIH69Ī8 69J87ÄCHR6§8œÖC<J@H69=ªAIH@<D Ì7Ï$΀ÓÄCÀ™87Ī8KD7<MH@<MÀ@ë

QR69869JH69LL » Ī69Ls<B6§J˜ÈÀÄ » 69ËK6¾H@<DîÌ7Ï$ЀÓjÔ

¼³ª´¹ž¹ €²C¹©·™³ª´· ©·7¶ž¶

ó<ØË<M=ª698 ½—6¾H » J@ĪQ<ØÈÀ<P96§QR698AIÀÊÅ87ÄCHAIH6¾Äª8JÔZ<MH Ë<¼AÅJ@<MHMÔOü Æg2K8LsH6¾Äª8

Ì͈Ó69J(LMACP9P¾<DAéIâXçsàß@Ú۞Ú

ö

ß%÷œøܜøsâgÝ¥âgÛéIâ§çsÛ\ß$âjøsù7Û\âv÷IæÏIÄCÀéIâXçˆÛ\߈âvøMù5Û\âv÷Iæ*ÆgÄCÀ

J » ÄCÀHMÏĪ8ñ6¾ÆpH » <ç$ù

öªö

÷I߈ÛpÄCÆ

Ï¢D7<MÉK87<D;ACJÇç

ö

Ûû

ý "!$#&%')(

û*#ý,+ .-ªÏ+69J

ÉK86¾H@<ÄCÀLsĪ28ƒHAIËKP¾Ê™698ÉK86¾H@<AC8D0/2134

û*#ý ÍIÔ5Õ©Æ

69JGAD69J@H@À$6¾ËK27H6¾Äª8R½—6¾H »

ÉK86¾H@<™J27ÈÈÄCÀHÇAC8D6587 çö ÛMû

ý*½<¼2J<™H

»

<ØJ@<MH9!ƒû;:=<

û;:=<žý@ý>-@?A 3B

H@ÄF<8¸25ë

Q<MÀAIH@<H » <—ÈÀÄCËKAIËK69P969HžÊACJJ@Ä5LM69AIH@<D™½6¾H » <ACL » <P9<Q<8œH.ÄCÆ5RÔ º Ä0QRAC869ÈK2P9AIH@<

H » <BJ@<MH½<Ç698ƒH@ÀÄ5D2Ls<*H » <*ÄCÈ<MÀAIH@ÄCÀDC D7<MÉK87<D;ACJ—ÆXĪP§P¾Ä_½—JÔ

!ƒû;: < FE <ý>- <

3HG

C'!ƒû;: $Eý>-I

J

!ƒû;: < KE <ý>-

<

3G>L;MON

!@:

M

KûPE MQ

Eý>- 6¾Æ:I R:

M

ÆXÄCÀJ@ĪQ<TS%0U

!ƒû;: < KE <ý>- <

3G

N

!ƒû;: KEý>- ÄCH » <MÀ½—69J<CÔ

!ƒû;:

<

FE

<

ý>-

<

3HG

C'!ƒû*V

M

KE

M

ý>- M$3

>XWYWZ

û!ƒû;: < FE <ý>- <

3G

C'!ƒû*V

>

FE

>

ý>-býC'!ƒû*V

M

$E

M

ý>- M$3

S[WYWZ

×V6¾ÖC<8J@ĪQ<GD69J@H@À69ËK27H6¾Äª8J

>

F\]\]\]

Z

Ī8ÁAC8D0JĪQ<3À<ACP¸8¸2QBË<MÀJ_^

>

F\]\]\]X^

Z %

Ì͈Ó5½6¾H » / <3

>XWYWZ

^$<_ ÍIÏ_½<GD7<MÉK87<zH » <à÷CæãIÚ>`0à$÷Iú™øsâgæ¢ÜCÛ\âv÷IæD^

> > Q

\]\]\

Q ^ Z Z

ÄCÆ

>

F\]\]\]

Z

H@ÄÃË<0H » <DK69J@H@À6¾Ë¢27H6¾Äª8

J2L » H » AIH

û;:býa / <3

>XWYWZ ^ < < û;:bý$ÏÆgÄCÀ

<ACL

»

:b%'Ô

ó<—2J@<A*LsĪ2K8œHAIËKP9<J@<MHÄCÆ¢ÖIAIÀ69AIË¢P¾<JMÏdcÜIße "!$fgihF\]\]\j-ªÏƒAC8KDRA*LsĪ28ƒHAIËKP¾<

J@<MH0ÄCÆAIH@ĪQR69LØACLsH6¾Äª8JMÏlk—à_Ûe m!=no>p@F\]\]\j-ªÔ.×V6¾ÖC<8 AÁJÈ+<LM6§ACP3ACLsH6¾Äª86qÏ(½.<ÃP¾<MH

r

XsF\]\]\(ÀAC87=C<™Ä_ÖC<MÀH

»

<™J@<MHk—à_Ût0 ukàÛ

N

!=qv-ªÏpAC8DÂP¾<MHxwXylF\]\]\pÀ$AC87=C<™Ä€ÖC<MÀ

H » <*J@<MHgcÜIß

N

kàÛ t Ô º» <VLMP§ACJJGÄCÆZ<s45ÈÀ<JJ6¾Äª8JOz#69JGD7<MÉK87<DØ˸ʙH » <VÆgĪP9P¾Ä€½—6987=

J@ʸ8ƒHAb4 {

i| P ~}

<3

>XWYWZ E <r < \{

<€ 

<3

>XWYW‚ {

<€ f xƒ„

{

õ—<MÀ<…

<3

>XWYWZ E <r < \{ < JHAC8DJÆXÄCÀVA

ö

ß%÷œøܜøsâgÝ¥â§çsÛ\â\àØà¸÷Câ\àˆÚÄCÈ+<MÀ$AIH@ÄCÀÏ¢½ » <MÀ<

H »

<DE < lJÇÀ<MÈKÀ<J@<8ƒHBÈĪJ6¾H6¾ÖC<ÈKÀÄCËKAIËK69P§6¾H6¾<JMÏ6vÔw<CԾρH

»

<MÊ#JAIH69J@ÆgʆE < % û͈ӘAC8D

/ <3

>XWYWZ E < ÍIÔ » <8ˆ‡‰ ó½<ÁAIËËKÀ<MÖ¸6§AIH@<~H » <~ÈÀÄCËKAIËK69P96§J@H69LØL » Ī69Ls<ÅACJ

Š‹ ½ » <8Œ‡ Í ½.<ñAIËËÀ<MÖ¸69AIH@<ñ6¾HóACJ

r > \{ >

ÔBí¸ÄªQ<MH69Q<Jî½< AIÀ<ñ698ƒH@<MÀ@ë

<J@H@<D 698 Ls<MÀHAC698 ËKÀAC8L

»

<JFÄCÆØH

» < ÈÀÄCË¢AIËK69P969JH69L#L

»

Ī69Ls<

‹

698ðH

»

69JîLMACJ@<ñ½<

½À6¾H@<T…

<3 E <r < \{ < ACJE

> r > \{

>.ŽFFŽ

E Z r Z \{ Z ÄCÀû‘…

<3 E <r < \{ < ý Ž

E Z r Z \ Z ½ »

<MÀ< … <3

>XWYWY’“Z•”>–

E<

r

<\ <AIËËÀ<MÖ569AIH@<JÂûg½6¾H

»

AJP96¾=

»

H~AIËK2J@<#ÄCÆ

87ÄCHAIH6¾Äª8¢ý E > r > \{ > Ž FFŽ

E

Z•”>

r

Z•”>

\{

Z”>

Ô º» <;LsĪ8JH@À2LsH6¾Äª8 / <3

>XWYW‚ { <

J@HAC8DJVÆgÄCÀRæ¢÷Iæ+éœÚM۞ÚMß$úâgæâ§çsÛ\â\àÁà¸÷Iâvà$ÚMρAC8DóÄ5LMLMACJ6¾Äª8ACP§P¾ÊÁ½<RQRAÊî½À$6¾H@<6¾HÇACJ { > Q

\]\]\

Q { ‚ Ô

º»

<R87ÄCHAIH6¾Äª8

ƒ„

J@HAC8DKJ*ÆXÄCÀA;À<LM27À$J6¾Äª8î½

»

6§L

»

ËK698KDJVH

» <

ÖbAIÀ6§AIËKP¾<Of Ô ó<J » ACP§Pƒ2J<

ã+û

{

ýpÆXÄCÀH » <GJ<MHÄCÆKÆgÀ<M<GÖbAIÀ6§AIËKP¾<J˜û\6vÔw<CԾϪ87ÄCHOËĪ28D

˃ÊîAC8œÊ ƒ „Vý*698

{

ԁüJÇ2J2KACPO½.<R69D<8œH6¾ÆgÊÁ<s45ÈÀ<JJ6¾Äª8J½ » 6§L » D6®ì<MÀ*Ī8P¾ÊF˃Ê

AóL

»

AC87=C<;ÄCÆËĪ28DÂÖbAIÀ$69AIËKP¾<JMÔó<ÁJ

»

ACP9P½À6¾H@<

{

!=|@f-FÆgÄCÀH

»

<ÃÀ<J2P9HÄCÆ

J27ËKJ@H69H27H6987= | ÆgÄCÀ<ACL » Ä5LMLM27ÀÀ<8Ls<*ÄCÆ f 698

{

ÏKÀ<8ACQR698=Ë+Ī2K8DØÖbAIÀ6§AIËKP¾<J

6¾Æp87<Ls<JJAIÀÊCÔ

5Ú¼ãbÜI߈âvܜøsÝ9Ú f âXçǽ.<AIÙ5P¾Êî=ª2AIÀD7<Djßڈç

ö

Þ=ª2KAIÀD7<D~âgæ

{

â ÚMãIÚsß[ ßÚÚ÷à$àMù5ß$ßÚsæ+à$Ú÷ f âXæ

{

÷ààù5ßçâ\ۜâgæîçs÷Iú™ÚBç$ùKø$Úi`

ö

ß@Úsçç$âv÷Iæ

r \|

jßڈç

ö

Þno\|_ä÷ªÛ5Úsß â§çÚ f âXçG½<AIÙ5P¾Ê;287=ª2AIÀD<D!jßڈç

ö

ށ2K87=ª2AIÀD7<D"âgæ#—Þ

º» <ØÄCÈ<MÀAIH6¾Äª8ACPGJ@<QRAC8ƒH69LMJÄCÆAC8¿<s45ÈÀ<JJ6¾Äª8

{

69JD7<MÉK87<D¿ACJAÅÈÀÄCË7ë

AIËK69P969JH69L™AC27H@ĪQ™AIH@Ī8 ½ »

ĪJ<~J@HAIH@<J™AIÀ<;H

»

<;<s4¸ÈÀ<JJ6¾Äª8JÀ<ACL

»

AIËKP9<;ÆXÀĪQ

{

AC8DóH » <RH@À$AC8J6¾H6¾Äª8#À<P9AIH6¾Äª8#6§JÇD7<MÉK87<Dî˸ÊîH » <™Ab476¾ÄªQRJ0AC8D#6987Æg<MÀ<8Ls<À$2P¾<J

698 º AIË¢P¾<;ÍIρ½ » <MÀ<

{

D7<JLsÀ6¾Ë<JVA;H@ÀAC8KJ6¾H6¾Äª8ÅH » AIHBP9<AÖC<JÇÆgÀĪQ

{

AC8D

P¾<ACDJÇH@ÄîAÁDK69J@H@À6¾Ë¢27H6¾Äª8

Ä_ÖC<MÀ~û cÜCß

N

kàÛ t ý%$&zzÔ ó<;J » ACP§Pz2J@<'&zû*fóý*ÆgÄCÀ

H » <*J@È<LM69ACPD69J@H@À69ËK27H6¾Äª80!ƒû*fg Š Í_ý>-ªÔÕuHG6§J.<MÖ569D7<8ƒHGH » AIH

{

(&zû*fîý6®ìgf 69J

½.<AIÙ5P¾Ê;287=ª2AIÀ$D7<DÃ698 { Ô

)+* ,.-!/10 -

2436587:9 A<;

T>==?@

A<A A>BC_A

/ED A<;

T>==?GF

A AIH>C A @ A IJ

,LKNM

C

FNOQP CSR

- J /T

OP

C

/T U

36587

CWV

/T

X

AY;

T>==Z C A /1T

š®^$tZmv^$•˜r\[^]`_

BaBb

c bŒdfe I’

]ivtj^$hb›ivtždhbmvcwijcl^ˆh€m

º» <îË< » AÖ56¾ÄCÀ;ÄCÆ<ACL » <s45ÈÀ<JJ6¾Äª8òLMAC8òË<îÖ¸6§J2ACP96M<D Ë¸Ê A H@ÀAC8J6¾H6¾Äª8

=CÀAIÈ » Ô 7ÄCÀ¼698J@HAC8Ls<CÏH » <;<s4¸ÈÀ<JJ6¾Äª8òû >S n Ž >S psý

Q û > n Ž S

Gg ý Q û >

S p Ž >

SGg

ý

<s4

»

69ËK6¾HJH

»

<ÇË<

»

A_Ö¸6¾ÄCÀDÀA½—8Á698;D69AI=CÀACQ ûvѪýÄCÆ (69=ª27À<RÍIÔ

üJ.698~ÌwрÓjϜ½<—D7<MÉ¢87<˜H

»

<—87ÄCH69Ī8ÄCÆzà÷Iú™øsâgæ+ÚéÛ\ß%ÜIæç$â\Û\â\÷IæACJ3ÆXĪP9P9Ä_½—J

{

ih

69Æ+H

»

<MÀ<<s4769J@HJ3ABLsĪP9P¾<LsH6¾Äª80!

<X^=<-$<

3

>XWYWZ

ÄCÆD69J@H@À$6¾ËK27H6¾Äª8KJ(AC8KDÈÀÄCËKAIË¢69P96¾H6¾<J

J2L » H » AIH / <3

>XWYWZ ^ < ÍIÏ

^ > > Q

\]\]\

Q ^ Z Z

AC8D

{ < ÏzÆgÄCÀ™<ACL »

j %óÍ\]\Y‡Ô

ó<.87Ā½Â698ƒH@ÀÄ5D2Ls<OH » <38ÄCH6¾Äª8*ÄCÆ5½.<AIÙVH@ÀAC8KJ6¾H6¾Äª8JÏM½ » 69L » =C<87<MÀACP96M<JZH » <

87ÄCH6¾Äª8ÃÄCÆKè3æâgÛjÜCß k.ÚÜmlRÛ\ß@ÜIæ7ç$â\Û\âv÷Iæ7ç698~í5Nü Ì®ÍрӁH@ÄH

»

<ÇJ<MH@H6987=ÄCÆ(Nü0ÔO6¾ÀJ@H

{

» »

ËK27H3Ī8<ACP¾H@<MÀ8KAIH6¾ÖC<6§8™LMACJ@<VÄCƁJ@<MÖC<MÀACP87Ī8KD7<MH@<MÀQR698K69J@H69LGLMAC8D6§DAIH@<JMϸ½.<AIÀ<

P¾<MÆXH½—6¾H » AJ27ËH@À<M<½—69H » Ī8P9ÊÈÀÄCËKAIËK6§P969J@H69LGËKÀAC8L » <JMÔ¸ü ½.<AIÙ¼H@ÀAC8J69H6¾Äª8™ÄCÆ

{

69J˜AÉK86¾H@<VJ27ËKH@À<M<VÄCÆZH

»

69JGÙ5698DÏƒLMACP9P¾<D .ÚÜml™Û\ß%ÜCæ7ç$â\Û\â\÷CæîÛ\ßÚÚMÏKJ2L

» H » AIH698

AC8œÊ~È¢AIH » ÆgÀĪQ H » <ÀĸÄCHH@Ä;AØP¾<AIÆzH » <MÀ<69JAIHVQĪJ@HVĪ87<Ö¸69J6¾ËKP¾<ÇACLsH6¾Äª8Ô ÄCÀ

<s45ACQÈ¢P¾<CσP¾<MH

{

Ë<H » <<s4¸ÈÀ<JJ6¾Äª8 ƒ „û >

S n Ž >S

q\Yfóý$ԃÕuH.6§J3À<MÈKÀ<J@<8ƒH@<D™Ë¸ÊH » <

H@ÀAC8J6¾H69Ī8V=CÀAIÈ

»

DK69J@ÈKP9A_ÊC<D*698Ç:V69AI=CÀACQ û%Í_ýÄCÆ O6¾=ª27À<3θԀü—ÆgH@<MÀZĪ87<.287ÆgĪP9D6987=7Ï

½.<=C<MH*:V69AI=CÀACQ ûvΪý½ » 6§L » À<MÈÀ<J@<8ƒHJH » <½.<AIÙÅH@ÀAC8J69H6¾Äª8

{

Ï+½ » <MÀ<

Œ!ƒûn Š ý _ûq

{ >

ý>-ªÔ

E

E

E

a τ

1/2 1/2

a τ

1/2 1/2

E

1/2 1/2

τ a

0

0

(1) (2) 0

’œ’

[~”r@d¡—ivtždhbmvcwijcl^ˆh

7ÄCÀQRACP§P¾ÊCρ½<AIÙÅH@À$AC8J6¾H6¾Äª8KJ*AIÀ<™D7<MÉK8<Dî˃ÊîH » <À2KP¾<J*698 º AIËKP¾<™Î¸Ô2P¾<

JAÊ5JRH

»

AIH¼Aî½.<AIÙñH@ÀAC8KJ6¾H6¾Äª8 H@À<M<FJ@HAIÀHJRÆgÀĪQ A#ËK28DP9<¼ÄCÆVP9AIË<P9P¾<D

AIÀÀÄ_½J™D7<MÀ69ÖC<DñÆXÀĪQ A#J@H@ÀĪ8=#H@ÀAC8J69H6¾Äª8Ô

º»

<~QR<AC86987=óÄCƗ2KP¾<

69J

ACJRÆgĪP9P¾Ä_½JMÔ3×V6¾ÖC<8ñH©½.ÄÂ<s4¸ÈÀ<JJ6¾Äª8J

{

i| AC8D H » <6¾À½<AIÙ¿H@À$AC8J6¾H6¾Äª8 H@À<M<J

V^û

{ ý XV^û|0ý$Ï56¾Æv|ð69J.ABP¾<AIÆÄCÆV^7û

{

ýAC8D™H

»

<MÀ<69J387ÄBÖ¸69J6¾ËKP¾<˜ACLsH6¾Äª8Ø6989V^û|0ý$Ï

H » <8Ž.<LMAC8Å<s4¸H@<8D&V^û

{

ý½—6¾H » V^û|0ý—AIHV87ĸD< |Ô+ÕuÆl|

M

69JAÃP¾<AIÆzÄCÆlV^û|0ý

H » <8 H » <;ÈÀÄCË¢AIËK69P96¾H©Ê#ÄCÆÀ<ACL » 6§87= | M ÆXÀĪQ

{

69J E

M

Ͻ » <MÀ< E AC8D

M

AIÀ<

H » <—ÈÀÄCËKAIËK69P969H6¾<J(ÄCÆÀ<ACL » 6§87=x| ÆXÀĪQ

{

Ï5AC8D†|

M

ÆXÀĪQ |ϜÀ<J@È<LsH6¾ÖC<P¾ÊCÔ2P¾<

69JJ69Q™69P9AIÀ3H@Ä2P¾< Ï5½—6¾H » H » <*D6®ì<MÀ<8Ls<H » AIHG½<VLMAC8 » AÖC<VÖ¸6§J6¾ËKP¾<

ACLsH6¾Äª8J*698'V^û|0ý$ÏË¢27H8ÄCHV6§8ÁH » <ÈKAIH » ÆgÀĪQ

{

H@Ä |ԗ2KP¾<

ACP9P¾Ä€½—JH@Ä

LsĪ8J@H@À2LsHp½.<AIÙ*H@À$AC8J6¾H6¾Äª8KJH@Ä2K87=ª2AIÀD7<DVÖIAIÀ69AIË¢P¾<JMÔ ÄCH@<.H » AIHp6¾Æ

{

&û*fóý

H »

<8 f 69J˜287=ª2AIÀ$D7<D;698 { Ô

7ÄCÀGAC8œÊ<s45ÈÀ<JJ6¾Äª8

{

σ½.<2J@<¸û

{

ýzÆgÄCÀ3H

»

<286 ¸27<˜D69J@H@À$6¾ËK27H6¾Äª8!ƒûq

{

Í_ý>-ªÏGLMACP§P¾<D H » <Âã_âg߈Û\ùÜIÝVéIâXçˆÛ\߈âvøMù5Û\âv÷IæñÄCÆ

{ Ô 7ÄCÀ;AC8ƒÊ <s4¸ÈKÀ<JJ6¾Äª8

{

Ï.½.<î6985ë

H@ÀĸDK2Ls<~A#J@È<LM69ACP½<AIÙ¿H@À$AC8J6¾H6¾Äª8ÏOLMACP§P¾<Dòã_âgßsÛ\ù7ÜCÝÛ\ß%ÜIæç$â\Û\â\÷IæKÏD7<8ÄCH@<Dñ˃Ê

{

ƒû

{

ý$Ô ó<ØACP9J@ÄÁD7<MÉ¢87<A .ÚÜmlFà$÷Iú™øsâgæ+ÚéîÛ\ß@ÜIæ7çˆâgÛ\âv÷Iæ {

h

6¾ÆH

»

<MÀ<

<s4569JHJAÇLsĪP9P¾<LsH6¾Äª8 ! < X^ < - <3

ÄCÆ+D6§J@H@À6¾ËK2H6¾Äª8JZAC8KDÈÀÄCËKAIËK6§P96¾H6¾<J(J2L » H » AIH

KN*

/T

C

T

K *

C

F A A>HIC_A @ A

IJ A

F A H @

IJ

F

H V

V

IJ

V

C

F A A>HIC A @ A IJ

A

F A H V @ V IJ

V

KN*

C

F A AHIC A @ A IJ

A F

H

@ IJ

F

V H V

V

IJ

V

C

F A A HIC A @ A IJ

A F

V HGV

@ V IJ

V

KN*

C

F

HC A @ A

IJ

A

C A 0 -

C

0 -

c €Œ"dfe œ’C“

r@d$¡ivtžd$h€mvcwijce^$hbm

/ <3

>XWYWZ ^ < ÍIÏ

^ > > Q

\]\]\

Q ^ Z Z

AC8DÁÆXÄCÀ<ACL » j %ÂÍ\]\Y‡Ï¢<6¾H » <MÀ

{ <

ÄCÀ

{

< Ô ó<F½À6¾H@<

{ h

69Æ<MÖC<MÀÊñLsĪQÈĪ87<8ƒH™69J™A @87ÄCÀQRACP û\6vÔw<CÔ¾Ï

87Ī85ëjÖ56¾ÀH2ACPXý3½<AIÙÃH@ÀAC8J6¾H69Ī8Ï78ACQ<P¾ÊCÏ

{ <

ÆXÄCÀACP9P

j

‡Ô

! z¹j´³•#"%$O¶3¹ v‘¢±3·

Õu8H » 69JOJ@<LsH69Ī8½.<˜D7<MÉK8<.H » <GË< » A_Ö¸6¾ÄCÀ$ACPƒ<¸26¾ÖIACP¾<8Ls<J(H » AIHO½<Q<8ƒH6¾Äª87<D698

H »

<6§8œH@ÀÄ5D2LsH69Ī8Ϝ8ACQ<P9ÊCϸJ@H@ÀĪ87=0Ë¢69J69Q2P9AIH6¾Äª8ÏªJ@H@ÀĪ87=ÈÀÄCËKAIË¢69P969J@H6§L.Ë¢69J69Që

2P9AIH6¾Äª8ÏD69ÖC<MÀ=C<8LsʃëžJ@<8J6¾H69ÖC<Ø<¸26¾ÖIACP¾<8Ls<;AC8D ÄCË¢J@<MÀÖIAIH6¾Äª8ACPG<¸26¾ÖIACP¾<8Ls<CÔ

ó<~ACP9J@Äó698ƒH@ÀĸDK2Ls<¼AÅÈÀÄCË¢AIËK69P969JH69LÖC<MÀJ69Ī8ÂÄCÆ %ËK69J6§Q02P§AIH6¾Äª8 27È H@Ä! ÅH@<L » ë

86 ¸27<—H@ÄRJ » Ä_½òJ@ĪQ<*698ƒH@<MÀ<J@H698=0ÈÀÄCÈ+<MÀH6¾<J3ÄCÆpH » <VË< » AÖ56¾ÄCÀACP¢<ƒ2K6¾ÖbACP9<8Ls<JMÔ

&

> ' )(mW +*-, +.0/ 1,32547698;:!,< >= 1?

º Ä D<MÉK87<ÃË< » AÖ56¾ÄCÀACPG<¸26¾ÖIACP¾<8Ls<J698 ÈKÀÄCËKAIËK69P§69J@H69L™ÈÀÄ5Ls<JJRACP¾=C<MËÀ$A5Ïz6¾HR69J

LM2J@H@ĪQRAIÀʼH@ÄRLsĪ8J69D<MÀ<¸26¾ÖIACP¾<8Ls<ÄCÆpDK69J@H@À6¾Ë¢27H6¾Äª8J½6¾H

»

À<J@È<LsHGH@Ä<ƒ269֜ë

ACP¾<8Ls<À<P9AIH6¾Äª8KJ—Ī8îÈÀĸLs<JJ<JMÔ¢ÕuÆ

69JVA¼D6§J@H@À6¾ËK2H6¾Äª8;Ī8 $A@BÏ:% AC8D

5 75@BϽ<B½—À6¾H@<

û;: 5ýÆgÄCÀI/CB3 B

û;: XVý$Ô ó<P96¾ÆgHAC8~<¸26¾ÖIACP¾<8Ls<ÇÀ<P9AIH6¾Äª8

Ī8ˆz H@Ä A#À<P9AIH6¾Äª8ñË<MH©½.<M<8 D69J@H@À69ËK27H6¾Äª8JBÄ_ÖC<MÀóû cÜIß

N

k—à_ېtCý$z 6§8ñH

» <

ÆXĪP9P9Ä_½—698=½GAÊCÔ

CD EâXãCÚsæîÛ3÷¼éIâXçˆÛ\߈âjøsù7Û\â\÷Cæ7ç

>

ÜIæ+é

S

÷IãIÚMßBû cÜIß

N

kàÛ t ý $ zä

.ÚÁçsÜ Û¸ÜCÛÛ5ÚF ÜIßÚ#Ú Mù5âXãIÜIÝ9ÚsæKÛ 3Þ9ßMÞXÛjÞÇÜIæ Úù5âXãIÜIݾÚMæ¢à$ÚFßÚsݾÜCÛ\âv÷Iæ5F ÷Iæˆzä

ß$â\Ûv۞Úsæ

>G#H S

ä3â

I w% cKÜIß

N

k—à_Ût I 5 % z JF >

û;wl 5ýd

S

û;wl 5ý \

í¸H@ÀĪ87=—ËK69J69Q2P9AIH69Ī86§JZD7<MÉK8<D*˃ÊVÀ<¸26¾À$6987=G<ƒ2K6¾ÖbACP9<8Ls<ÄCÆD69J@H@À$6¾ËK27H6¾Äª8KJ

AIH—<MÖC<MÀÊ;J@H@<MÈÔ "<LMAC2J@<BÄCÆOH

»

<B½A_Ê;<ƒ269ÖbACP¾<8KLs<ÇÄCÆD69J@H@À69ËK27H6¾Äª8J69JD<MÉK87<DÏ

&

xkæØÚù5âXãIÜIݾÚMæ¢à$ژß@ÚMݮܪÛ\â\÷Iæ F 7€z$ z âXçGÜJH@ÀĪ87=—Ë¢69J69Q2P9AIH6¾Äª8

â F | âXú

ö

Ý¥âjڈç

5ÚsæÚsãIÚMß

{ >

ä3Û5ÚsßÚRÚ>`CâXçˆÛgç

S

çˆùà;Û¸ÜCÛ |Œ

S ÜIæ¢é

> G H S \

FÚ`ß$â\۞Ú

{ | â Û5ÚMß@ÚÚ>`CâXçˆÛgç0ܙçˆÛ\ß@÷IæƒåÁøMâ§çˆâXúù5ݾÜCÛ\â\÷Cæ F çsÞXÛjÞ

{ F |™Þ

թƽ<RACP9P¾Ä_½ AÁJ@H@ÀĪ87=;H@ÀAC8KJ6¾H6¾Äª8ÅH@Ä~Ë<QRAIHL » <D#˸ÊFA~J@H@ÀĪ87=~LsĪQBË¢6987<D

H@ÀAC8J6¾H69Ī8ÏH » <80½.<.=C<MH(AÀ<P9AIH69Ī8BJP969= » HP¾Ê½<AIÙC<MÀH » AC80JH@ÀĪ87=—Ë¢69J69Q2P9AIH6¾Äª8Ô

\xkæ¼Úù¸âgãbÜCݾÚMæ¢à$ژß@ÚMÝ®ÜCÛ\âv÷Iæ F 7ˆz$ z â§ç˜Ü˜J@H@ÀĪ87=ÈÀÄCËKAIË¢69P969J@H6§L

ËK69J69Q2P9AIH69Ī8îâ { F | âgú

ö

Ý âjڈç

5ÚsæÚsãIÚMß

{ >

ä3Û5ÚsßÚRÚ>`CâXçˆÛgç

S

çˆùà;Û¸ÜCÛ |Œih

S ÜIæ¢é

> G H S \

{ h | â Û5ÚsßÚRÚi`ªâ§çsÛgç0ܙçˆÛ\ß@÷Iæƒå

ö

ß@÷œøܜøsâgÝ âXçˆÛ\âvà™øMâ§çˆâXúù5ݮܪÛ\â\÷Iæ F çMÞ§ÛjÞ

{ F |¼Þ

ó<F87Ā½êLsĪ8J6§D7<MÀH » <ÁLMACJ@<ÁÄCÆH » <~½.<AIÙ ËK6§J69Q2P9AIH6¾Äª8Ô º» <~D7<MÉ¢86¾H6¾Äª8

ÄCÆ*½.<AI٠ˢ69J69Q2P9AIH6¾Äª8 ÆgÄCÀÃN+ü 69J™87ÄCHØAIHØACP§P—J@H@ÀAC69= » H@ÆgÄCÀ½GAIÀDÔ3Õ%8 Æ\ACLsHMÏGH » <

@8AIH27ÀACP B½.<AIÙ¼ÖC<MÀJ6¾Äª8¼ÄCƁ:<MÉK86¾H69Ī8¼ÐB½.Ī2P§DR=ª6¾ÖC<À69J@<H@ÄA0À<P9AIH69Ī8R½

»

6§L

»

69JZ87ÄCH(H@ÀAC8J6¾H6¾ÖC<CÔ º» <MÀ<MÆXÄCÀ<3½<.Ī8P9ÊVD<MÉK87<3H » <3½<AIÙÇÖbAIÀ$69AC8œHpÄCÆ:<MÉK86¾H6¾Äª8 7Ô

xkæFÚù¸âgãbÜCݾÚMæ¢à$ÚßÚsݾÜCÛ\âv÷Iæ F 7ˆz$ z âXçÜV½<AIÙRÈÀÄCËKAIË¢69P969J@H6§L

ËK69J69Q2P9AIH69Ī8îâ

{ F | âgú

ö

Ý âjڈç

5ÚsæÚsãIÚMß

{ >

ä3Û5ÚsßÚRÚ>`CâXçˆÛgç

S

çˆùà;Û¸ÜCÛ |

h S

ÜIæ¢é

> G H S \

{ | â Û5ÚsßÚRÚi`ªâ§çsÛgç0Ük.ÚÜml

ö

ß@÷œøܜøsâgÝ âXçˆÛ\âvà¼øMâ§çˆâXúù5ݾÜCÛ\â\÷Cæ F çMÞ§ÛjÞ

{

Fm|¼Þ

üJ2J2ACPjϸÄCË¢J@<MÀÖIAIH6¾Äª8ACP<¸26¾ÖIACP¾<8Ls<Ç69J—D7<MÉK87<D;698~H@<MÀQRJ˜ÄCÆO½<AIÙ;ÈÀÄCË7ë

AIËK69P969JH69L—Ë¢69J69Q2P9AIH6¾Äª8Ô

3÷ØÚ>`

ö

ßڈç$ç$âv÷Iæ7ç

{

ÜIæ¢éx| ÜCß@ڗÄCËKJ@<MÀÖbAIH6¾Äª8KACP9P¾ÊR<¸26¾ÖIACP¾<8ƒHsä

ß$â\Ûv۞Úsæ

{

|ä3â

Þ 5ÚsæÚsãIÚMß

{ >

ä3Û5ÚsßÚRÚ>`CâXçˆÛgç

S

çˆùà;Û¸ÜCÛ | h S

ÜIæ¢é

> G S Þ

Þ 5ÚsæÚsãIÚMß |Œ

S

äÛ5ÚsßÚÚi`ªâ§çsÛgç

>

ç$ùà;Û5ÜCÛ

{ h >

ÜIæ¢é

> G S Þ

ÆgH@<8 ÄCËKJ@<MÀÖIAIH6¾Äª8ACPG<¸26¾ÖIACP¾<8Ls<Ã69JLsÀ6¾H6§LM69J@<DÂÆXÄCÀË<6987=î698J<8J6¾H6¾ÖC<¼H@Ä

D6¾ÖC<MÀ=C<8LsÊCÔí¸Ä½.<0698œH@ÀĸD2KLs<VARÖbAIÀ6§AC8œH˜½ » 69L »~» ACJ87ÄCH˜H » 69J—J » ÄCÀHLsĪQR6§87=7Ô

xkæFÚù¸âgãbÜCݾÚMæ¢à$Ú*ß@ÚMÝ®ÜCÛ\âv÷Iæ F 7ˆz $ zâ§çGD6¾ÖC<MÀ=C<8LsʃëžJ@<8J6¾H6¾ÖC<

â { F | âXú

ö

Ý¥âjڈç

5ÚsæÚsãIÚMß

{ >

ä3Û5ÚsßÚRÚ>`CâXçˆÛgç

S

çˆùà;Û¸ÜCÛ | h S

ÜIæ¢é

> G H S \

{ | â

Û5ÚsßÚRÚi`ªâ§çsÛgç0ÜÃéIâXãCÚsßvåƒÚMæ¢àFIá©çMÚsæç$â\Û\âXãCÚÚ Mù5âgãbÜIÝ9Úsæ¢àˆÚ F çsÞXÛjÞ

{ F |™Þ