A model checking verification environment for mobile processes* G

 

    !"#$%&'
 #)(*
'+%-,&. 0/1/2 /43 5'68789:;:;A@CBEDF6E5G89CH?>JI=B8KL68MN=GPO;VHWO?N=:;9CX }o~wbd[xbd€=bdkmZ\ln[^Y#]`[{_=Z\acr;bd[^[‚]`[^f;eghP_%acƒfibd_hj[^egbdf0kfi„Elnhjfi[Sbdrikmo~hPh=lnkCqV[SkC…^k‡adop†‡eLhn[^qVf _%kbdadln[^eLrf;_…‚_Qˆbdf0o~[^h=r„ qV_"k…^adrs2eLtus2_ChntŒƒi[^[^hPvRk‡[^f;hnvRadff;wcad[xs2bwc_y[xobn_"yl=„ [{lno‰z|[Es&[^„EwdŠŒ_adfi‹ "hjbd‹ k Ž0‹^`z|[^wd_ cadw‘LkCkC’4hPhP[^eg“ihP”i†fi•%hj–`b_C—C2›š”‡kCr˜ €n_C„…^bžf™nbdl¢[‚™Pw0f.¡F]P£›š_C]šfi¤=™Pf;&a0_%f?v*]=¥n[^k‡ad]nfi€=…^wck‡a'fi[xbdhjkw'bdq w0_eg_'hnk‡wck›Pfiv‡[^eL…fif.…\_h*w_Ÿ=bd€n[^wr;bdbdk‡sœfi›PeLeg_C_%wcwifbW‹&_l„sœ…^fi[™n¦Rh*ff.v=[xv‡adegf;kCadhPk*[xlneg `firfi… _%hjbd§bu[‚kC™PqJhkC[^r?a ™fiadh*fv=__…x[xsss …^¡Fk£§¤0ww `Ÿ=hPw[xbdbdfif"eªwbW[‚_w bd_Cfm›PvR…^f f?adbd[^k" Pr[^_hjbdbd[^f;kCach¨qQ_kCrifŒq1w§Ÿ=[xwbdbd™žfiegwcfiw\vRf;wcaW]š_fi…šrif;[x P«gfril$[^fi[^hjh.b2bdbd™Pkjfk‡…^©S¦*[^sœbdrw_C…^¬QrifC€n‹ †=…^€P‹*wieg‹Ek*„ ln™Pfif … rWwc]š™PfifirWr;¦R[^ Pf;rad_wW­Fbd[^bdkCk0hE‹Pln®¨f?bdf;f\adegadfi[^]šhPkCf1acb §f;™n¥=f;]šbd™Pf;f;ada2[^egkCfia2hjhPbWk_b1…`adr;fif;wcac€PbW_C…xbd[^w hLk‡]nh'adkCwc]škCf;egacbdf[^firw2_C™nwcfk‡…‚wlbd€PqVklna&[^fi_\wi‹ †C[‚v‡fih ¯ °P± ²š³S´µ"¶ ·{²S¸d´ ± ¹»N=È#º*¼JÖ{½=N=¾iGS¿j¼g9CGPÀiO;½jHCÁ 6 Â{×\ÚØ8Ä~9¨ÅQÆPÖ8º :?>JH?ÈÙÇ`HWVVNnHLÈ#ʚÖEÇ`NnG8GSJGSò ÛB?ónÑAôRN=õ1ÚSO;GEN ÊS‚O;O;>Ý9ÙNnG8‚Ë 9$Õ Þ=ÝË ÖS:?Õ J:;N=9CGÜH;HWO?9‡9 H0ØSØ8GSVÞnínÕ9žÚ8Ó{9CHg99CO;GÜNÕ ÈÙH?ÚSJ:?G O ÑAO?N=9 :;È#Ø8GSÝ:?9‡>ÝH Ë Õ ÖSJÞ`N=>JGàÊS9"N*ÑmÔJ>ÝÈ#Û=ÔJ>ÝN=O?ÓE9‡Ê$JÖSN=ښGEO?H >JGSO;ÛNÙÕ HWH?NnǚÈ'HdO;99ÈÙN*Ñ2HB O?ØSÕ Õ 9mÚS:;>V:?H?9CH?ÚSGP9‡OHŒHWÕ NnN=ښÑQOdO?ÎuÔJ>JJGSØ8Û9 ÖS9:i:?ÕÝÔJÔ4:;9CíPÚS>J:?9‡H Õ N=G8H?>Jʚá Õ Õ È#9%O;ØSNšÊSHmÑAN=:gÞn9:;>‚ÑAÇ`>JGSÛ¨Ë8GS>ÝO?9.HWO;VH?>ÝGSÛnÔÝÇ#9ö{9 Õ O?>JÞ=9 ð ø õ6`ìcG8ʚ99‡Ê4B`Ë8GS>ÝO?9gHWO;ÝË Õ JN=GÙO;9 Õ ØSGS>VíPÚS9CH ù ®Rý kad¦\]`_%uacbdo [‚{_C…^ûÜxŸ"_Cwch`€nl ]P]š'kaco~bdtŒfŽàl ›jz4Ÿ0adkú4ü~û‰fir;„bŒz4 adŒkü~z fir;bd8w|o?oc‹ =„1sýþ‡þ*ÿ;s *ÿþ‡þz|Ž \úFtuŒZ\ocšion„1s~ýCþCþ=ÿ;s


 













8Ø9:iVH ÈÚ Ø È'HWÖ8Nn< :?99‡HÊS6 >‚ë¹ G'Õ Ú8>JԂÔÝO‡ÔJÚ86CìcHWG8O?:iÊSJÞ=Ê|9uBC>J9 GmSO?Ýë'á Õ Å Ä½ c Æ %ÆEĞ¿jÚÄc½jÁÙ¿jÄc¿ ã ác :;Øä9CH?J:?ʚ9¨9‡HGSNß>JG ÔÝNnO?GSØSÛ=9ß9C:'ќ< ÊSÕ O9C‚NšO;ʚښ9CO? Ôp>JN=B`áG8ÎJÎÊS>ÝO?>J90ÊSØÝN=Ý9ÔJ>‚:;N*OdÈ'ÑEÇÖS9‡VV9‡HdH?O;HŒÇ`:?Gnãœ>J9=ÓSOi6JJJÕ ÝË GSÕ >ÝO?‚O\:;9CJÛ=OiØÙJ9N=Þ=G#9CÔ8N=ÑÔJÕN=FÛná > Õ ÝÚSO?ØÔJÚ8È'HŒH?NšÖ{ÊS9 Ý>ÝË O?>JÕ 9CJ>JN=G8Õ GEʚH9 šÖS9‡:;Ê#9CH?ÓP9ÇGPO?F9‡Ê#á ÝG ÕÔ ÚSð ÔÝóRÚEõH 6 Ý Õ ÝÚ8ÔJÔÝʚÚE>J9CHdO;Hu:;Î O;بØS9uÝÞnÚE9HuGSO?9‡N#H?H1ʚ‚ÎŒË 9 ÝGENnG.HW>VʚÖ89 ×\Õ ØØS9žVHWVH"ÚSÕ 9N=GP:;ÛnO;ÔÝÝêCØ89CÊ9G‚FË á Õ JÈ#È#9NšGPʚO;ÚSH ÔJ9CNnH#G#N=H?Ñ"N=È#O;ØS9 9Õ ÝHWË O?Õ ÚEÝ>J9‡N=HG 6 &· ³8´ ¶ ±"µ ìcΌG9mO?ÎØS>J>VÔÝH0Ô|H?ÚE9 HWÕ 9mO;>ÝO;NnØSG:?NnΌÚS9gÛ=Ø8ÖSN=:;9CښH?Ou9GPO?ØSO 9gJN=È#>JN=GäGÝOHiéL>JH\Ø8:iÝÞjÅQÝÈÚSÔVJN=G (%½ 2 @ ¿*Æ 2 I Å (   Æ =<  @ R  I   ¿C< Ä  ¿jÄM! (%½ $¿*¼Q¼ 5 @  @ IKGJ C@B )½ ( 2 @ Ä  TnÅ Ä 5 I U I IKG J CIB )½ ( 2 I Ã8À  Ä  ¿jÄ  @B R  I B 8 V ¼Ý¿jÄ~Ŝ½jWÆ R Å L¿ ÓS>VH?>ÝÈÚSÔJJN=G Å (ž¾i½*Ä  R ¿jÆ ;R7X @ ¿ ÅQÁڼݿ*ÄpŜ½*Æ =8 Y  ½¿*ÚĽ*Á#¿*Ä¿ 2 ¿jÆ 2 ¿ ÓS>VHW>JÈ#>ÝÔVÝÕ ÞnÝÎuNnG 9 JØ8G JO;G.H O?Ø8ÝHÙ99OdH?ǞÖEÕ N*9Ý9‡H;Ë H0ÝJÇ'Õ N=N=GàJÊÊ H ÔÝØ8>JÞ=ÝÖ8O?Ø:?Nn:;ÖE9C9CH?:WÖ{O;9 >Ý9‡OŒH;Õ é O?N'ØSÕ N=VHW×\>JȞØS>VÚ8HÔJJN=H?G.9CÕH 9‡O?ínØSÚ89#>ÝÞjNnJN=9=Ú86`H"K íPH?ÚSÚ89CJÇ=N=BPGÜO?Ø8N*9 Ñ ÔJØSN=NjÛ=Î > O?Ó{ØS99#ØEH Õ ÎŒÓ{9C9%ÔÝáÔ ÖOdSΌ:?NjNÞ`>VÖ8ʚ:?9CN ʨ9‡O;H?Ø8H?JVbHWÃ8>JÈ#¿jÄ >ÝÔVÝÖSO?:?ØNjÞ`:;9C>VʚH?ÖE9CÊÜ9 Õ O0O;Ø8O;VH?H;>ÝJÚSHWÑAÔJÇßJ9 N=SG< 9‡O?ínÔJǝÚ8>ÝÞjO;ØSÝ9‡ÊšHÚ ‡ÕN=9‡Ñ ʨ‹ F>Ýá GŽÕ ÝG8È#9C9CH;HH >ÝÓEGÍ9ÝÓ89CÊàÔÝ9Ó`ÑAښÇO?Ú8O?Ø8:?9n9B‰NJN=O?Ø8G8V¨HgH?ÝG ËEGS90>‚O;O;ØS9.>JHŒHW9>VOCHŒ64ÚEåßHW99#ÑAÚS:?Ô{9CÑAÈ#N=: ÝGPO;O?Hu9CNn:?ÕÖ8G$:?O;9ØSO;JN=N=G8щHŒO;ØSO;Ø89gÕ ÝlÑ{ÝiZÑ8i=O;i ØSIPW19J 0:;9ul9 š) >JHWJȞ:WÓ{O;9ÚS>Ý9‡9CÔVGHÝÝð óÞjJHuÖ8ÔÝO;9CØSÈ'9g9C< GPO?O?9C>JÊgN=GÑAN=ÓE:|ÝNnÔJG.N=ÛnN*> Ñ Õ Š ð‚ñ „ B ñ ð‚ñ õ6Cõ×\6Õ ØS 9 Ó8:;VH\Õ ØSΌ>JGS9CÔÝÛ Ô HWÝO?>ÝO;9‡HmÊÎuO;N¨N=:;ʚÏP9‡>JGSH ÕÛ$:?>JO?Ó{>JÈ#9L9=ÕO?Ø86‰9×\ØSÓ{99Ø8JN=ÖS:"ÔJ9%N*O;ь9.Õ ‚9O;È >ÝNnGß>JGN=Ñ O;9 :;ÈÙ H N=ÑH?ÇPO?ØSGP9#Oi< < ÜÕ O?JG8N=ÊÜG8H"H?>Ý9OÈÙÖ{N=:;HmÈÙ>JHH Õ ÖS:?9‡HW9CGPO?9CÊ$>JG$O;ØS9 ¹ Ö8ÖE9CG8ʚ> FÕ 6

³8´  j· W·4 ¶ ?¶  ‰±Œ² T²š´è´³8µ"¸W±  ³  &¶²š´  1²  ìcVB1H O?H?Nß9 Õ Û=O?>J9CN=GSG|9BE:iJË8GSGS9L>ÝO;O?ØS99LHdOiO;ÝÑAOW:?O;Nn9CÈïÊO?>JGPØSO?9 NÙO;0ØS9CácH?ÝʚG>JG8O;ØSÝÈ#>J:?ÖSNnGSÔJ9È#È#99GPGPOCOi6PJN=N=G¨:;9N*NjÑ1Þn9O?:‡Ø8BR9LO?ØSHW9 9Õ >ÝN=GPGEO;Ê.9:;O;È':;VJG`:?GS>VÚSHWÖSÈ9ښÓEO?O‡NB‰9C:uO;ÝHWNnGSO;:;Ë8J9C>ÝG8O?H‚Ñ öF9O?:ØS9 dÚ8HdO ÑAáN=‚HWO;O;>ÝNnVH"HN=:;Õ ÑŒ9CíPJ:?ǚ9‡HdÊ.O;9O;È N :?ÔJ Õ >ÝO?ÔJÇgO?ØS9 Õ N=Õ :;:?9‡HWÖ{N=G8ÊS9G Õ 9CH2ÓE9OdΌ9C9GLO;ØS9\G8Õ JÑ2H?:?O?ØS>JGSØS9CÛg9mÊ#O;OiH?ØSJH 9mN=ÚEGÙ>ÝG¨HW9‡>VH O?ʞØ8VʚÑA:?99‡: HWÕ JGS‚OO?Ø8ʚ9mN`9CÑAH\:?9‡GSHWN=بO0G8È#~6 9n6nO;ØS99ȞÓ{9CÊ8ʚ>ÝG8Û ÑA:?ÚS9CÖSG :?Õ 9‡O;>ÝHWNn9CGGPO?ÑA9C:;Ê$N=ÈîÓ`ÇÙO?O?ØSØ899mG8ÑAÝNnN*G Ñ&O;Á#ØS¿i9LÕ Â Oii + A@ l Gã A +k&P5Wé +-,&./ 0&13246IKJ 5798%: ;%24 )=< N*ʚÑ&9%Ë872G8>JÛ=9CÊÚ8:?%G8é ʚ >JGSÛ#`6E971È>JÓEG89‡JB{GS>ÝÛ#GÑAO?ÚSØSG 9 Õ O?>JN= G áJGSÈ#>ÝO?9C>VÝO?>JN=Gg>JG8HW>Vʚ9Œ:?9 Õ ÚS:iHW>JN=G‰B JÈÙN=GäJ< H Ö8ãA>JV9ÝJÞRÝÓ8Nn>JG8H?Hu>ÝÈ#Ȟ>JÔJÚ8JÝÈ#ÚSÔVÝNnG (%½ 2 @ ¿jÆ 2 I Å ž¿ Ä\)½ (mÄ Å ÂF¼ R -Œ‹ > @  C I %  @ DE @ e I D7 I  Â8¿ Ä~Ŝ¿j¼ ¾%Å  iÀÄpŜ½*ÆÍ)½ ( @ ã  @ é ¿jÆ I >ã  I é Ž iÃ8À  Ä  ¿*Ä   %Æ Q< > @   I D R   C¿ < Z! # (%½ i¿nÀ 5 @  @ I9G J // C@B Ä  žÅ ½jÁ 5 I u I IKG J CIB  ¿*Æ ! ø


"!$#

  %





$

"($

"($

'&

)(

"($

*

+(



,(





-

.(

/(

0(

'

21



 

3&



 

4(






&

4(

*

  +

!









5(

*




 

"($







  



76








-

!





86



7 @ I ) ã @ @ é+     ) Å) ¿ÂS¿ÄpŜ¿*¼¾Å iÀ%) Ä~Ŝ½jƪ¾ Ä   Æ @ ã> @ é[“‚‹ Ž ¿jÆ! I ã I ép“ ‹Ž Ã8À  Ä  ¿*Ä ãywFé X @ šã>w{) é Å ( @ 8 ã>w{éD I ã> I é * 7 >C@B  CB>CIB D R      CB I
V ¼Ý¿jÄ~Ŝ½jÆ R Åu¿*Æ "%$ á~ÓS>VH?>ÝÈÚSÔJJN=G Å (Œ¾i½jÄ  R)¿jÆ [R7X @ ‹ > I  X @ @ % > @  C I D R Ž ¿
   
ÅQÁ'ڼݿjÄ~Ŝ½jÆ Q8 ÄpY Ŝ¿* ¼'ã>½   Äc é5¿jÄX 
¿j¿ÚãÄcÙ½j ÁÙ¾é Å8¿jiÄcÅQ¿Á'2ÅQ¼Ý¿@ Ù¿*¿nÆ!ÀiÀ;½2  jÅI QÆ`¿
º  Äc½. Ä   
¾ÂSÅi¿ÅQÁ'ÄpŜÅQ¿*¼Ý¿¼& ¾'Å  iÀ%Ä~ÅQÄpŜ½jÄ ÆTÆ Ä 2 ¿*@Ä\ Åž2 Ä  I 'Å ('Å# Ä Æ8Ä~Å ÅQÙÄ ÅQÆ8½*Å Æ
@ @ I I (

%6

(

6

(

&

)(

(

(

*

6

(

(

&

6

)(

&

*

)(

*

6

ÜO?å Nß9 9 Õ`ݝ989Ç >ÝO?ÕØSNn9CÈ#:#È'ÓPÇT9CGPÈÙO0JØSGS9g۝ÖSO;:;ØS99Þ`>JHWN=Ö{Ú89 H>JÊSÝȞO?>JN=Ó{G‰N=68Ô ×\ØS>Ý9gGnÈÙ5 ÝÖ8GPO;>ÝGSN#Û )>ÝGnJG J GSÛLJG8GPÊ O?N  ÝG8ÛgO?NgO;ØS9mʚ9%Ë8G8>‚O;>ÝNnG.N*Ñ 0áÓS>VHW>JȞÚSÔVÝNnG|BnO?ØS9"O?:iÕ ÝO?>JN=G ÙãGA +kK5 é IKJ K5ƒ i mpoq Õ JGSõ۞>‚O;OLN'Ø8O?JGS99ÖSGTښO"H?ØSN*NjÑ1ÎH?Ö{GÜ9 ÕO?Ø8>VJN=GÍN*Ñ áÓS>JH?>JÈ'>JÔV‚OdǝÝ9‡Ê O?JVJG¨O?ØS9 Õ NnÈ#ÖSښO;JN=G8HŒÑA:;N=È  á = < š Ú ? O n N # È * < ? O O?N=Ø8GSÝ O;ðH'ácÝÝO;ÔVVN=H:iʚÖS>Ý:;GEN VHOGGS< O?NjØEF΂Om> ÊSÕ >V9%HmÑAË8N=ÖEGS:;ȞNP9H?ÝÙO?9LÑAN=HW:;O;ȞJGS>ã hš6ÖSéÚS6 O"0< N=O?O?9g>JN=O;G8Ø8H9Lhšé:;9CJGS+UÛ …nã >%é 6EìcG Õ O?ØS>VH Õ ã hš+é Ž‡‹ K5ƒ h Ž Ä à BD‚‹ A +U…PBã >%é ŽF‡‹P5ƒ?>"Ž Ä à VÝ9CGSÊ'Û$Ó`J9GS:;Û#>ÝË O?Õ ØSJ9N=:?G á :O??ØSNn:C9g6 Ú8 H?ÚS9::?:;>V9H\GP:;O;9CÔÝÇnÕH?B*ÖEO?NnØ8G89 HW>JÕ ÓSNnÔJÚS9mGPN*O?Ñ 9C:W:?á99 á~S>JGPVO;H >ÝGS:;Û'9%O;>ÝÚSO0:?N=G8G$9CÊÙO?ØSNn9LG#HWO?O;ØSÝGS:iÕ ÊšÛ >JG8FÝO?H 9N=ÚSHWO;O?ÝO?GS9Ù9‡ÊÞ=9CO?:?ØS>ÝË 9\O;JN=NnGß:?9O?N*> Ñ\Õ JHž>JH;H?ÚS9ÙÓ`ǝʚ9CH Õ :;>JÓS>ÝG8Õ ÛN=ÚS:g9 `Ö{9:;>J9G Õ 9Ù>ÝGÍ9 ՚Ö{9:;>ÝÈ#9CGnO;>ÝG8Û ñ 

















Ý>ÝF:;áN=Õ G8VHŒGß< O?>JN È'NnÕ Ö8È'N=ÔÝÈ9CÈ#È'ÓSNn9C>JGžGSGP9O?ÑANn9CÊSÊÜ:?>‚ÈÙöFN=9‚9‡ØSË HW9
Õ9CÝ>JNnGSG$Û" ÝG8Þ`Þ=Ý9C:;:?:?N=ÇL>ÝG8Ë ‚O;O?ØTØ89:?9‡Ó{HWÖ{9ØE9 JO?N=NÜÚ8:ŒHW9CN=Þ=щ9O?:iØ8JÈ#N=G>JGSN=>ÝÈ#Ñ ÔJ>JN=êCÛ=O?>JN=ÝÕ Ë Ø89 J9CN=:&GEÖSHB*:;NjV9ʚ:9‡ÊO?Ø8Ó` Ȟ9žÚ8O?ÔJ‚OdǨÖS:;N*N=Ñ Ö{O?9Ø8:?9O?>J9CÈ#HNšÕ Ø8ʚJGSO?ÕÛ:i O?ØSØ9 >VHÕ BšN=>JG8G¨HWO?O?:;ØSÚ 9gÕ Õ O;Îu>ÝNnN=Gä:iHWO N=Ñ"ÝêCVHdØSOi9ŒH1ÝO?9\9 ÈÙÕ O;ÚSJ:?G9 È#N*Ñ NšÕ ʚ ÚSÔJ 09CH&>VH2JH?>JÖSGPO?ÔVJG8>JÛ=HWÚS>Vʚ:;9\9 O;ØS6C9 ×\Õ ØS¹ 9Õ Õ ÚS :;:;9C9G`GPÞPO‰>J>J:;È'N=GSÖ8È#ÔÝ9C9È'GP9CO‡GP6*O;×\Ý:?Nn9CG 9 NÑA*Õ :?Ñ`NnO?È ØS9‡HW9Œ0È#ácÝË Õ JN=GLÕ O?ØS:;N=ÚSÛnØÈ#NšÊš9CÔ Õ ØS9 Õ Õ Ï`>JGSÛ'ãœN=֚O;>ÝNnG O?N=ØS:iʚ9>ÝD`HdGE9OiÝN*9‡È#Ñ4ʚ>JÚO?êCØ8ÕJ€N= GO;>V:;H"JH?Þ=>‚O;9>ÝGNnG8Ó`H;Çé O;O;ØSN#9žH?>J:;È'9CʚÖ8Ú Õ ÔÝ9 Õ O?e>JN=€G N*O?:iÑ ÝO?>JÕ ÕN=ØEG8JG8ãœN=H֚ãAO;O?>ÝØ8NnJ¿jGSÆEÖSÄ ÚšÊšOg9 N=Õ ÔJ:"JGEN=G8HdOiH'ÝG Ñ2>Jð GSÖSõÚS6 O O?N=:iGEÝO;NnHuG8Ø8HuJHuÞn9":;9CO;ʚN#Ú ÓEÕ 9C9LÊ|ʚ6S9 ×\ÔVØSÝG¨ 9 Õ FØ8á S G n Û S Ú J > ? H S Ø ‡ 9 L Ê A Ñ ‡ 9 j < ? O 8 Ú ? : \ 9 * N { Ñ = N Ó8ÝÕ O?Ë ØS>VJVO1H'H;O?VHWË8Ûn9C9H2GSHW9CNn:;HWGnO;ØO;J>JÇ"ʚGS9‡Û"9 HšO?ÖSHWØS9CÔÝ9CNn:?È Þ`>‚O;> >ÝNnG89‡GÛ H O?N.ÝÈÙ ÜJO;H#9gÎÝÊ$OWO?Þ`9C>JGäH?Ú8>JJê 9mN=:iʚ>Jݹ GP>VO?ÝÕG8H?Ø8H ÛmÝÑAÇP>JGSÛ#O;Ø8JN=G¨GS9Þn9:\:;9C< Õ Ø89CH\ÝÑAÇP9C>J>ÝGSÞnÛÙ9CÊ'O;Ø8Ó{JH >ÝË Õ N=JN=ښG O;9CãÊN=Ó`ÔJÇÚSÈ#Ûn9G GS9CF:;á~Já~GSØ8Û.ÊEéO;ØSB\9 O?Ø89ß :;á9CÕJÈÙGSÛ Ý9‡ÈÙH"VH 㜠ÕΌÚ89H;‚õ{>JO;9C9CÑAHmN=Ê:ŒÚ8O?G8O?NÙØSʚ9m:;99C:;ʚJGSJÔJÝGPJÈ'Ö8ÔÝ9 @Sá Õ VH  8 8 @5 8 : 5 875 5 1 8 0 5 /875> 8 5?  ?+  ? 

2

)

 8  JH?È'ÚSOdΌÔÝ9RO;éNHm6{N=ÓS×\Ñ >JØSH?O?>J9È'Ø8Nn9Ù:?>JÔV9J>ÝÔVO?J:\GSÛO?NWî  ßã ò ќi ò< Õ >JÔJH?>‚9 O;Õ>Ý9‡éH.BSÓ8Îuښ9 O0>JÕ H NnÈ'Æ{½jÖ8Ä ÚšÓSO?9>VHW>JO;È#Ø8ÝÔVOVH. 9CG ã Õ ò Nši ò8ʚñ >JGSH?ÛT9 Õ >VéH.6 GSN=O Õ Nn:?:;9 Õ O  l >JH 2 

/S

0


?d &  ( #  * (+* d *KO>N

W>JH ʚǚ:?9CHWÇ`GPO?֚9O?ÈÙO;>ÝÑAN=ÇßHCÛ=6:iH?J9 ǨN=GEÕ >VHgHg:?9‡N=JNÈ#GªO?ÖEN*>JNnÈ#Ñ:WOi9CÚSV = < Ô S Ú Ý Ô E Ú Õ Õ :?9C|9CGPØEO JÖSÓEØS9C9C9:WGO;9 Ú8`O;H?HC9CBšÊ$ÝÑAO;Ç:?Ú ÝÑA9CÇGSH?99 :iÝNnGÙÇN*‚:WáÔJO;>Ý>ÝÏn9‡9H N*ÕHW>JÑ Û=H?GSÕ 9>JÞ=GS9CÛ¨:;JÕ GSÛÖS:;O?N*N`O;N=NÕ ÔJÕ Ï`N=>‚OiÔVHH06{O;MN¨N=JHWÞnO 9:‡:;B`9CÝG8Ø8ÛÝOd9Ç=:;Bš9=ÓSB ÚSÎuOC9¨B8ÎuÊSNÜ9gJN=È O.JH H?Õ ØSÚENjH?ÎH'>J>JGSGäÛʚO?9ØSO;9gJÚ8Ô\H?O?9gØ8N*9¨Ñ >VH;HW ÚS 9‡H'ќ< N*Ñ >JÔJG8>‚O;Ý9‡È#H\9$O?NÙÖ8JGSHWO0Û HWÕ Õ Ö{‚ÚSË ÔJ>uÝ:ÙNnG¨H?Õ 9 ÝGSË > Õ JN=N=GßGÐN*‚Od9 ǝÖSØ8:?VN=H?H?ÚSÚS:09‡ÛnH\NnN*JÔJH\N=O;Ó8N.JÔÝÔJÚ8N=È#HWO?:iÖSÝG8O;Û#ØS9LH?ÇšÕ Ú8HdH;O;ÝÔJHC>‚Od6 Ç$N*Ñ  ×N=ÔVHC\6EÕ ØSU9Ù:;N ÑAN=9‡ÔJÔJH?NjH?Î9CH >ÝGSÛ o Fá qÕ J:;Þ=>J9mÓEÕ9ÙOdÎuÑANnNÙÚSÖS:žÔVJ>ÝGšÈ#ápO;ÖS9 ÔJ`9$O H?9È#Õ 9CÚSH;:;H;>‚JN*HžÑ1GSO?K0ØSN*9O#G8ʚÝ9CÓSÖS:0ÔJØ89ÙO;9ØSO?:\9NÜO?9Ö{ʚ`99 OC:?Õ 68ÑA:?9 ×\Ç`Õ ÖšO"ØSO>V9CHGO?>VØSÕ Hu:;9 O?Ç`ØSÕ֚>J9LO?ÖS>JHWN=ØSO;G9ÝHCNnÖ8BSG$:?O?N=Ø8N=O?9žÑ1N 9ÔJÕ 9C`NnÝ:;GSG8N`Û'9CJÊSÔVՂNOdÇn6EØSìc9G8ÊSÏ.99CÓSÊ|>VHWBE>JÈ#O;ØS>Ý9'ÔV‚OdNÇn6 Fá Õ ÕÈ#Õ09CÕȞH;Ø8HŒÚS GSÕ 9JN=O?ȞØ8G ÚS¿V:;ÝÛn:;N=ØPÖ{O\9È#:?Od9‡Ç H?H;O
^
O
^_ * 
N

AÑ×\׉N=9CØS:LÔÝ99 O;ÔVØS ÕÕ D`N=O;‰Ý9%Ë O;Od9=Õ ÎuJ:;N=Ø8ÏäGg9\ã~N*H?5gÖ{Ñ`DšO;9 ØSM>Ý9 Ë éžÕ NnJNnN=N=ÖEG#Ñ`NPO?>VHWHØS9‡9ŒÓEÊßNnØ8ÓP:?ÝGG¨N*O?Ñ2Ú8:?O?GØS9žÊš5g9C:?Dš>JÞ=M 9‡Ê.ÖSÑA:;:;N*N=O;È÷Õ N O;N=Õ Ø8Ô4VO0H >JG ð C õ6 Õ Õ Õ Õ Õ

 

+



#2 ,)#   ,', -& '0 A-& /  / 0     -3   0 ',  +0 # )&  0 A- # -&  // 0* A    /#  0 3/# ,+#  ,)&  0 A- &*/ / 0*  O?O?3>JØSN=9LmG8 HgÈ# JÞjÓSJÔÝO;9R9CDPÊ4O;B`ÝN=G`È#ÚS9ÈÕ O;ÚSØSGS:?> NnÕ ÚSÝØ$NnG8O?HØ89gÓ{9%GSOd9ÎuÎ 99CÓ8GÙÝ×\’ O?>JØSN=ˆ9 Gˆ NnÓ8Ó8ښHWö{9CÝ9‡H6 ‚O :?N=JGšÔ|á>VN=H :iʚ9¼^:0Ŝ¿=ÊS¾9¼ ÔJ>Ý4ÞnÎ9:;ØSÇÙ9CG>JHJGSÖSÚSOŒÑA:;N=È Õ O?ØS9C:ÔÝNnÛ=> Õ ÝOdÇ#ÔJÔ2O?O?Ø8ØSRR`˜ 'k*l=fi…ErW™Pf;r?¦*[^hP†  ]nadk‡]šf?acbd[‚f;wi‹










 





 

 











 
















 





 











 




















 





 







 

















nò 



Ü´Œ± ·W¶"µ ¸?± 
   ³  åÜFá 9JÔÝ9‡ÔJÊÚ8HWO?:i JGÌO? Ø8ác9 JGS9 Û`Õ O?O;9N¨GENnÊšÕ :;>ÝG8ÊSÛ>ÝG8‚Ë ác‚O;GS>ÝN*NnO;GÐØS9O;:\9 :;ØS9CGSH?9C>VíP‚G'O;G8ØO?JÖ8ÝÔVN=‚HWOd>VÇàʚ9ãA:;:;9CÚSÊ|GSB8GSO;Õ >JØSGS9.Û5gNnGDšMÉJÚSÕ Õ ÈNnÔpBE=O?ØSó=9'5 0O;>ÝÈ#Õê#9#ÈÙ:?< 9‡Õ íPØ8ÚS>ÝGS>Ý:;9R9CémÊÕ N*ÓPÑ Ç M 墈  ç q?q ÑAN=J’ GS Û$ˆÓSˆ >JH?>JÈ>JHá :?HW>J9‡È#ínÚ8>Ý×\ÔV>Ý Õ O?Nn: %š-A‹ @BE _)adk‡
 wd _*n‹E „ u™Pr;f bdk‡[‚hj›šbdf;fia†-ÿaW_bd [^nk‡šh]nz4]Ead‹PkýCü~þ fi!r;=b\ýCqJý kC*‹a\bd™nf  Š û|h=v*[xs *‹ 0‹ 1kC€`_…‚[Q 0‹šŽŒf;wcwck‡€PrW™PfC 6"‹`ŽŒkŸjP_Ch`lَ0‹`Z\f"*[‚egkChPf‡‹`„ ™Pf"úFŠ&ý„{kjk‡…^wwcf;b‹šopC h BD!#" -E1?3 4,F 8Š&Ùÿ‡ÿþ‡ý*‹š=]nad[^hn†‡f;aG6‰f;ad…‚_C†n8ÿ *‹ =‹ |‹=Š _C[xadfiw_h`l ‰‹*Š _aWlnf;…‚^[Q‹ Twc]`_bd[‚_…š…‚kC†‡[^ruqJkCa&rikChPri€=acadfihPr?Ÿ#¬Az4_acb ococ­?jop
h !#"%H%IEJ EK$L3 MN5R 8Š&#ý jý*ÿCS*]nad[^hP†Cf;ašýþ‡þ‡ý*‹ *‹ |‹jNŠ ?_[xadfiQ w Q_h`LPl `|wc]š‹*f;Š ri_%[‚_CaWln…{fi[^wc…^wc[Q€n‹ fÜk‡wchÙ]P_„ bd [‚_CŠ&…`…^kC†‡ýC[^þ‡r&þ*qVÿ‡kC‹Sa2„ErikgkChP_Cri]n€=]šacfadfi_hPa‹r;Ÿ¬Az4_acb‰o­?  L 

Q LL L

=‹ š‹SŠ1™P_C¦*[Q8S‹šŽŒ_üc_CeL_hP[QS_h` ]=‹0Pû&_C‹SwcŠ1wc[^…‚hP_%†ad¦R]nfadk‡_†h`aW
l _Cegn‹Pwi®T‹no~h.[^hP†Lû‰!#"ln0wil ‹SAnúPH‹škŽ adeL+/fi™P_C3 MNk… 5‡q~'‹S „|f;bdŸ=Š ™P]š÷k*fil=w\wz|_8adw *f;wcbW'wi_%Sbdk*f ýClnþCkf;þR…‚q|w ýjbdS‹ ™Pegf k* l=acfibu…{rW_C™PhPf;lÙr?¦*úP[^€nhPbd†L€=egadffiZ\wcwd[x_ad†‡fir;f;ss bd) [^RkCThPS wi"‚‹Pn*Z\bcaWfi_%r;bdfifie†‡›š[^rf;aZ\ÿ-[xadfir;=bd‹[^kChPw&[^hي1kCeg]E‹=ŽŒf;wi‹PúnkCadeL_C… 'f;bd™nk*lnw ® àŽŒf;]E8‹ -/OP Q" ÿiþ=‹0û&l=f‹{lnŠ1€n…‚r;_bdad[^¦Rk‡hf‡4wSb~Ÿ=‹ …^‡fٙP_=eg{fi_Cwch`wd_ClنCf.®Òln‹ f;#ad[^vC__acbdad[^f;k‡adhÜk=‹FfitŒhPwc†C[‚[^hnhP†'f#wbdbWk¨_%bdv‡fgf;adwc[x]`qJŸ_Cr;wcfmfirif;¥=€=]Pad[^…^bpkCŸßaW_%]=bdad[^k‡kChbdkj_rih`kC…^l¨wi‹ _o~Uh h`_Bbd€=DaW!_C#"… VW YXL DZN LR[\ L MT M L M9 L/BD][  \ ^ LR[\ L M_ Q`9 LGO$M Q=2@c ÿCÿ‡‹ $*-ÿ ]n‹ad =[^ZhP‹ †C_Cf;e#a9‹ 6‰'f;adk*…‚_Cln†nfiE…ÿ rW™P fi=‹rW¦*[^hP†egk‡›n[‚…^f.]nadkjr;fiwcwcfiwi‹ o~dh BD!#" H%IeEK$L3 4'f‡ EŠ& jÿ j‹ ÿý*‹ $ L‹i Z) _C& e#L€=ad>%[xb~> Ÿ$@8Š1™P f;L8r?`T¦R ,f?3Qa  ÌLbd kjL k‡…|) qVkQa i%bd ™n fM ýjÿ‡‹ op>$h LR‹ n[ ‹ LNQ=\JO?HL9ßÈÙÝVʚÞ`9#9C>ÝNnJH ÖE?NnÕ9Ø8:;Þn GÒÕ:?>JêH?>J9‡GäÚSÊ.>ÝO;O;ÝÈ#ÓSÇ.ÔÝ99#O;ØSO;Ó`9žNÇà< 9 Õ< šO?ÖS>JO;N=:;>ÝG8Nn9CG8H;HH"H O?ßØSÖ89C:?Ý9‡N=Û=Hm:;> ȨN*† é 8  ÅL† ÅQÆ"& Æ8Ä  ÅQÄ Æ  %Ä  %Æ % ò 8 %  8 # (( Ò E  ( ã>†  )† éãy†  )† é9iZi=iCã>†   †  é++ - ò  Ä  Æ + ñ 8 ½
 i½C
<     s  @  ÅQ@ ¼Q¼ @ Æ{½*s Ä I žÄ I  A ) Ä¿*Ä s ž) ÅQƝ@ Ä  )  @ cbà Æ{À   Å>8 "8 †"‰, ¾% 6% ãGAdé 8 v 8 
   (/ *  -$ d (+ *  ` *- , &fO !
N
,.! (/ d NC Y   ¿jÄ~Åy%( ¿=ÀÄpŜ½*Æ  ¼Ý¿*ÄpŜ½*Æ % (%½
¿nÀ%Ä~Ŝ½jƐ%( ½
Á'ڼݿ Å & Æ  $¿ %( ½j¼Q¼J½  =! # hh %% >Ä ÃÅ  ¨h ¿j¼  ¿>"    # h % Å ïÆ{½*Ä h %  # h %
\  fB Å  h % ¿*Æ! h % fB 8 # 
   (/ *  "1   N
, ! (+ d NC ' %Äp. ã 2‘45“‹ e€ Žug é ¾ g¿jƽ
 *Å
Æ{¿
¿*ÚĽ*Á#¿*Ľ*ÆK8'%Ä ;DE ¿jÆ ¢¾ ¿"Â8¿jÄ  8 Y  ¿*ÄpÅy(%¿=ÀÄ~Ŝ½jÆ- %¼J¿jÄ~Ŝ½jƛ(%½   (%½
Á'ڼݿ Å & Æ  .ÅQÆÄ   %( ½j¼Q¼Ý½  ÅQÆPº  ¿! # %% DÄ à  ¨P¿jB ¼  Å  ¿  %  ¿jÆ % KB # %  Å  Æ{½jÄ %  # % \ Å ïÄ    TnÅÄ# D ã Ré Ã8À  Ä  ¿jÄ %  # % 2  Å ‚%( ½¿j¼Q¼ D 㠇é %  # % ‡‹F Ž Å  E ã ã ò éQ  ã ñ éWé B  ¿*Æ! %  ¿jÆ ã ñ é %  # % ‡‹ € Ž1 Å  3 ã ã ò s éQ @ e€  ã ñ é?é B  ¿*sÆ!6 @ ã ñ é %  # % ð U‹F Ž&PB‚õ Å  Ä    TnÅÄ# A- ò Ã8À  Ä  ¿jÄ ãGAdé % KBy ¿*Æ!›(%½
$¿*¼Q¼ ò48 # 9  A ! pB ã ã 9 éQ <   ã 9 ñ éWé pB 0B ÅQÁ0ÂF¼^Å# ã 9 é % U ¿*Æ! <  e€  ½ v s @ s @