Strategy for Verifying Security Protocols with Unbounded ... - Hal

Strategy for Verifying Security Protocols with Unbounded Message Size Yannick Chevalier, Laurent Vigneron

To cite this version: Yannick Chevalier, Laurent Vigneron. Strategy for Verifying Security Protocols with Unbounded Message Size. [Research Report] RR-4368, INRIA. 2002, pp.18.

HAL Id: inria-00072220 https://hal.inria.fr/inria-00072220 Submitted on 23 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published 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´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es.

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Strategy for Verifying Security Protocols with Unbounded Message Size Yannick Chevalier — Laurent Vigneron

N° 4368 Janvier 2002

ISSN 0249-6399

ISRN INRIA/RR--4368--FR

THÈME 2

apport de recherche



      !"#
$&%"
 ')( * #
+-,.0/1223 3-45 (6(67 8)9  :;=@?ACB0D"EGF$;=H@>IEGJKMLONP;=Q"JREGIVWTNHO*JPi8ãbuA@TNHO*J*P1r{l¤tog hjgXr{aq€{`aR‡ hmtur{a¨¡£lG€{`tukmhvxŸ`¨k§ >$lmP §O¬ ]_hvp#] `tz }$aÁplog|oaq€Ÿr„aq‡¤r{l¤tug hmg_†_w r!¡£lo€ tow r{lG`tur{aR‡Moaq€{hj±$ptur{hmlog2r{l|lGkmxfxŸw$p#]Átoox no@R pGEG(§ OIKJW$§ qafPh8m’ r =I¦s » >\l4P!}itox{hmpqtukmkjz2p)lGgGr#tuhmgixstxŸar¯lo¡O€{w_kmaqx¯a)² †_€„aqx„x{hjg_n r„]_aMxƒr#tr{ar{€#tug$xŸhjr{hmlogixlu¡ftÁ†_€„lur„l p)lokI¦ž­®g_hjr{hvtukmkjzG§aGa€„zž†_€{lor{l p)lGk€„w_kma!¡£€„lo` tÃxƒr#tugi‡itu€#‡ g_lur#tr„hjlGg nohmoaRx€„hmx{ar{l1rƒ¬©l r„€„togixŸhjr{hmlogÁ€{w_kmaqxq§Wlog_a7¡£lo€¯r{]_ax{agi‡ aq€ftogix¯log_a7¡£lo€¯r{]_a0€{aRp)aqhjGa€R¦¯\]_ar{€#tugix{hjr{hmlog€„w_kmaqxfptugÁ}$a0a)² aqpw r{aR‡}|z¨`7w_kjr{hvx{a)r togix"xƒr#tugi‡_to€„‡7†itr{r{aq€{g`tur„p#]_hmg_n$¦\]_a €„a¬ €„h¥r„a©€„w_kmaqx†_€„l|‡_wip)aR‡}|zlowi€plo`†_hmkmtur{hmlog7hvx[tukvx{l¯tug0hmgGr„a€„`aq‡ hvtr„a©kvtug_nGwitunGao§ ¬ ]_hvp#]ž]itoxfr„]_a°to‡_togXr„tunGa7r„lM}$a°togžhm‡ hmlo` w_gi‡ aq€„xŸr{l|l ‡1}XzÁ`tog|zÁtuw r„lo`tr„hmp‡_aq‡ wip)r{hmlog x{z|xŸr{aq`x¦­®gžlow_€pqtox{ao§¬©a ]itGa¯txŸhmg_nokmas€„w_kmaP¡£lG€©aqoa€„z0†_€{lor{l p)lGk$`aRx{x„tunGaPa)²_p#]itog_noaG§Gtox©lo†i†$lXxŸhjr{asr{lr{]_afhjgih¥r„hmtoTk >\lmP ¬ ]_hmp#]]itoxrƒ¬ l7€„w_kjaRxu¦ tMlG€{a €„aqpagXr{kmzo§_tog2lG† r{hm`hjÂqaq‡oaq€„x{hjlGg!lov¡ >\lmP]itGx}$aqagM‡ a±ig_aqQ ‡ 8 rA@TNHOJ*Poµ©hmx©r{]$trh¥rhmx g_lortG‡|¹¼]_l pu¸ r„]_ar{€#tugix{kvtr{hmlog2hvx ¬©lG€{«|hmg_n0¬ h¥r„]_low rPw$xŸaq€ hjgXr{aq€„tGp¶r„hjlGg!¡£lG€Pt¬ hv‡ apkmtGx{xlo¡†_€„lur„l|plokvx tugi‡!r{]ia€„a)¡£lo€„a ‡ l|aqxg_lorP€{wigr„]_a €„hmx{« r„lf}=a }_hvtox{aq‡7r{l¬tu€#‡_xr{]_aP‡_a)r{aRp¶r„hjlGglo¡=t«|g_l¬ g·=t¬ ¦»sgi‡¡£lo€Op)lGgip)kmwi‡ hmg_nfr{]iaplo`†ito€{hvxŸlGg7¬ hjr{]0r{]iaPp)hjr{aq‡r„lXlGkmxq§ lGw_€„xs]itoxsr{]iato‡_togXr„tunGa r{l}$a0tu}_kmar„l!]itogi‡ kma7hmg ±ig_hjr{a0xƒr#tr„aqx¯`0l ‡ aqkmxq§Ttugi‡2r„l!}=a0pkjlXxŸaq€Pr„l°r{]ia7lo€„hmnohmgitu k ¯lokmaX¹ xtul `l ‡ aWk 8j’RT@= ! :?06= 

#RQ ¸ #%! ./ RQ # ¸ ! .10 #RQ ¸%S #%!$"! ./ ! .10TU:;/>= RQ & ¸%S #%!$"! ./ ! .10TU:;/>= ! S #%!$! ./ ! .10TD:V06= &WQ ¸%S "! .O/ ! .V0 ! :O/>0TU:;/>= ! S #%! ./ ! .10 ! :;/†Œ0@CBDB …†AEF@ ƒ?„…‡†9…Yˆ…A‰

\]_a«|g_l¬ kjaR‡ noa lo¡"r{]_a†_€{hmgiphj†itokmxPhjgÁt°†_€{lor{l p)lGkyhvxstukm¬tz|x p#]$tug_nGhjg_n$¦sƯg_a]itGx r{l!oa€„hj¡£z!r„]itr¯tokjk6r{]_a`aqx„x{tonoaqxsptug }=ap)lG`0†=lGx{aq‡2tug$‡2x{agXrr{l0r„]_a €{hmno]Xr †=a€#xŸlGgy§|r{lnGwitu€#tugXr{aqaPr„]_a †_€„lur{l plokTptog2}=a €„w_gy¦ \]_a «|g_l¬ kmaq‡_noaflu¡"aqtop#]†itu€{r{hvp)hm†itogGrPpqtug2}$a‡ aRp)lG`0†=lGx{aq‡hmgGr„lr{]_€„aa†ito€Ÿr#x¸ y r{]_a hmg_hjr{hvtuky«|g_l¬ kmaq‡_noao§ ‡ aRp)kvtu€„aq‡!hjg2r{]ia †_€{lor{l p)lGk@§ y r{]_atGp~Xw_hm€{aR‡°«|g_l¬ kmaq‡ nGao§ lG} r„tohjg_aR‡!}|z!‡_aqp)lG`†$lXxŸhjr{hmlog2lu¡r{]_a€„aqpahmoaq‡`aqx„x{tonoaRx§ y r{]_a nGag_aq€„tur{aR‡°«|g_l¬ kmaq‡ nGao§ p)€„aqtur{aq‡!¡£lo€Pplo`†=lGx{hjg_nt0`aqx„x{tonoa³Õ¡£€„aqx{]¨«Xgil¬ kjaR‡ noaµ¶¦ » †_€„lur„l|plokhmxplo€„€{aRp¶rq§W¬ hjr{]À{aRxŸ†=aqp)r¯r„l!r„]_ahjgih¥r„hmtokOxŸ†=aqph¥±$pqtr„hjlGgy§ytugi‡Á€{wig_gitu}ikja0h¥¡ aqtGp#]†_€„hjgiphj†$tuk[ptog1p)lG`†$lXxŸa r„]_a `aqx„x{tonoaqx hjrPhmx x{w_†_†=lGx{aq‡!r{l°x{ag$‡T\¦ e_lG€x{lo`a`aqx„x{tonoaRx§|†_€„hjg$p)hm†itukvx¬ hjkmkywix{a†itu€{r„xlo¡6r„]_a €{aRp)aqhjGaq‡°`aRx{x„tunGaqxq¦"º|l$§ t!†_€{hmgiphj†itok]$toxsr{l!wi†=‡_tur{ah¥r#x¯«|g_l¬ kmaq‡_noa7tGxsx{lXlGgÁtoxsh¥r€„aqp)aqhjGaqx¯t°`aqx„x{tonoaG¸©hjrf]$toxsr{lxŸr{lG€{ar{]_a0g_a¬œhmg ¡£lG€{`tr„hjlGgy§ togi‡!p#]_aRp#«h¥¡h¥rPptog!}=a¯w$xŸaR‡¡£lo€ ‡ aRp)l ‡ hmg_n0lokv‡!p)hm†_]_aq€„xf³£hI¦ ao¦ †ito€Ÿr#xlo¡6€{aRp)aqhjGaq‡°`aRx{x„tunGaqxOhjrPp)lGw_km‡!g_lur ‡ aRp)l ‡ af}$aRptuw$xŸa hjrs‡ hv‡gilurP]itGasr„]_a €{hmno]Xr «oaqz_µ¶¦ ÒÒØ

~€D‚ƒ

Œ


A%€
 1  
 
( *
D 

3
A3D%  !  !¡e '

 3
 3D% !   !  !¡e '

3
A3D%  ! %  ' 7 9 F8%   ' !¡e '

3
 3  %  ! S [T  !¡e '

 3
 3 D%  !  X Yf !¡e '-

 3
 3 D%  !  X Yf  !¡e '

 3
A3  %  ! !&%(' !¡e  '

3
A3 D %  !  !¡e   '

3
A3 D %  !  !¡e   '

hj¡ hmx«|g_l¬ g2}|z  tugi‡gito`0aR‡



!   !Ge ' ! 3
 3% !  !Ge ' % 3
 3 %  !   !Ge ',' 7 9 F % 3
 3 %  !   !¡e ',' S 3
 3D%  !  !Ge '+T  !#"%$'&)(  ( *,+ 3
 3 % !  !Ge ' X 3
 3 % !  !¡e 'uf 3
 3 % !  !Ge ' X 3
 3 %  !  !¡e 'uf  3
 3 %  ! ! !Ge ' % 3
 3 D%  !  !¡e ',' . 5%%/ %(' hj¡> hvxPt¡£€{aRxŸ]2hm‡_agXr{hj±ia€   3
 3  % 

akvx{a

0)13254

ehmnowi€{ab ¸[\]_a¡£wigip¶r„hjlGg

³Ÿ’Rµ ³Iboµ ³@‹Gµ ³´ŠXµ ³;oµ ³@ŒGµ ³Y:uµ ³@Gµ ³VrGµ

3
 3

\]_a¡£wigip¶r„hjlGg 3
 3‡ a)±igiaq‡ÃhjgLehmnow_€„a°b‡_aqx„p)€„hj}=aqxfr„]_a°p)lG`0†=lGx{hjr{hmlogÃlu¡ t`aRx{x„tunGa  }|zÁt¨†_€„hjgiphj†$tuk6 tr r„]_a7xŸr{a† e hjg2r{]ia †_€{lor{l p)lGk@¦O\]ia «Xgil¬ kjaR‡ noalu¡7 }$a¡£lo€„a €{wig_g_hmg_n0r{]_hvx ¡£w_g$p¶r{hmlog¨hvxr{]ia€„a)¡£lo€„afr{]_a7w_g_hmlog¨lu¡"h¥r#x hmg_h¥r„hmtok «|g_l¬ kmaq‡ nGatugi‡2r„]_ahmg ¡£lo€„`tr„hjlGg2hjrfplow_kv‡2noarshjg¨r„]_a7€„aqpahmoaR‡2togi‡¨xŸaqgXrs`aqx„x{tonoaqxq§_w_gXr„hjkxƒr„a† e8:9 ³£hmgip)kmwi‡ aR‡iµ¶¦keilo€ tog2aRtox{hjaq€€{aqwixŸalo¡6r{]ihmx «|g_l¬ kmaq‡_noao§ t0gito`0a hvx tox„x{hjnGg_aq‡!r{laqtGp#]hmg ¡£lG€{`tr„hjlGgy¦ Äslur{a¨r„]itr¬ ]_ag tᣀ„aqx{] hv‡ aqgGr„h¥±$a€Á³´«oazG§©gilogipao=?@ A ‡ a)±$g_aq‡!hjg ehjnGw_€{a‹_¦[\]_hvx©¡£w_gip)r{hmlog¨‡ aqx„p)€„hj}=aqx©r„]_a¯}=a]$tXhmlo€ lu¡ !  !Ge '

>=) A % !  '

 ! G !Ge  %=@ A %  ! %  '879 F:%  ' !Ge  '

 %=@ A %  ! %  '879 F:%G   ' !Ge  '

 >=) A % ! S [T  !Ge  '

>=?@ A %  ! S[T  !Ge  '

%=@ A %  ! S [T K  !Ge  '

>=?@ A %  ! !&%(' !¡e '

%=@ A %  !  !Ge  '

3
A3 % !  >=) A %  !  % 3
 3  %  %%>=) A %  !  SJ>=) A %  !  SJ>=) A %  !  SJ>=) A %  !  3
A 3  %  !

%=@ A % 

 ¡! e ' hj¡[g_lCB)D@E5F  !¡e ' ! %=@ A %  ! G !¡e ' !   !¡e ' '879 F:%%>=) A % !   ¡! e ' © ' hj¡gilHBID3E5F ' hj¡gilHBID3E5F  !¡e ' '879 F:% 3
 3D% !  ¡! e ' © !¡e '-T  !"%$'&)(   ( *,+  h¥¡"g_lHB)D3E5F !¡e '-T  !"%$'&)(  ( *,+  h¥¡"g_lCB)D@E5F !¡e '-T  !"%$'&)( K  ( *L+ hj¡g_lCB)D3E5F !&%(' !¡e ' hj¡gilHBID3E5F

aqkmx{a

M &)( NO( *

³ƒ’R‘Gµ ³ƒ’G’Rµ ³ƒ’boµ ³ƒ’R‹Gµ ³ƒ’qŠXµ ³ƒ=) A % 

! *

!¡e 'SR

3
A3D% ! 

*,T

 !GeVUW9 '

Ó£çÒ6ÓÕÔ


     
    "!#$  %'&(*) ,+-
+/.0
! !1 
2435


:

\]_hvx «|hmgi‡2lu¡`l ‡ aqky¬ tGxtukm€{aRto‡ zwix{aq‡2}|z ¯ lokma2tugi‡xtulhmgQ8m’q‘ =I¦ €%




‘p†‘’…AŒ ‡‰‹ŠaŒ +…„PŽ†9‘¡…AŒ

¿[aq€{hj¡£z|hjg_n t1†_€„lur{l plok p)lGgixŸhvxŸr„x0hjg r{€„z|hjgin1r„lÃx{hm`7w_kvtr„a2¬ ]$tr°tug ­®gGr„€{w$‡ a€°plow_kv‡ ‡ lá£lG€‡_hmxŸr{w_€„}_hmg_nÃr{]_a¨€„w_g lu¡sr„]_a †_€„lur„l p)lokI§[¬ hjr{]_lGw rx{lo`a†itu€{r{hvp)hm†itugXr#x7«|g_l¬ hmg_ni¦Ã­®g¤r„]_hvx†iw_€{†=lGx{ao§[¬ a!€„aq~Xw_hm€„a!`lo€„a°hmg ¡£lo€„`tr{hmlog hjg r{]_a2†_€„lur{l plok ‡ aRx{p€{hm† r„hjlGgy¦7»P`lGg_n2tokjkr„]_a0¡£lokmkjl¬ hmg_nx{aqp)r{hmlogixq§=r{]_ag_aq¬œ¡£aqtur{w_€„aqxf†_€„lo†=lGx{aq‡hjg1r{]_akvtoxŸrfGa€#xŸhmlogMlo¡>A@A@T@
B 3

@~† @ ˆ>†‘’…AŒ

› aptog2‡ aRp)lG`0†=lGx{afr{]_ax{aq~Xw_aqgip)alo¡"xŸr{aq†ix r{]_a ­®gXr„€{wi‡_a€ wix{aqx r„l°xŸaqgi‡t0`aqx„x„tunoaG¸ ’oH¦ e_lG€©aRtop#]tGp¶r„hjGa¯xŸr„tr„a =flo¡yr{]ia¯†_€„lur„l p)lokI§|tugi‡°¡£lo€aqtGp#]°†_€„hjgiphj†$tuk/6§|r{]ia¯­®gXr{€„wi‡ aq€ p€{aRtr„aqx t7g_aq¬ top)r{hmoafxƒr#tr{a(=  ¬ ]_a€„aP]_asr{€„hjaRxOr„lx{agi‡!t `aqx„x{tonoa r„l r{]_af†_€„hjg$p)hm†ituak /6¸r{]_a¯†_€„hjgiphj†$tu]k /}_€„hjg_nXxt7†itr{r{a€„g r{]iturr„]_as­®gXr{€„wi‡ aq€  x `aqx„x{tonoa!x{]_lowikm‡ `tur„p#]y¦Ã» r7r{]ia2x„tu`a°r„hj`aG~§ / nohmoaRx r„]_a†$trŸr„a€„g¤lu¡ r„]_a2`0aRx{x„tunGaH r{]iturr„]_a!­®gXr„€{wi‡_a€0¬ hjkmk €{aRp)aqhjGa¯hj¡]iaxŸwipqp)aqaq‡_xhmgMxŸaqgi‡ hmg_nt`aRx{x„tunGa  b ¦Pº|aqplogi‡y§or„]_a¯­®gXr„€{wi‡_a€©togitukmz|ÂaRxO]_hvx«|g_l¬ kmaq‡_noastogi‡r{aRxƒr#x h¥¡y]_aptog°p)lG`0†=lGx{a¯t7`aqx„x{tonoa `tr#p#]_hjginr{]ihmx©†itr{r{aq€{g



‹_¦­¼¡]_aptogÁp)lG`0†=lGx{at!`aqx„x{tonoa`tr#p#]_hmg_n°r„]_a†$trŸr„a€„g çT]_a7nGlXaRxs}$top#«2r{l2xƒr„a† 9 ¬ h¥r„] =  toxftop)r{hmoaxŸr„tur{aG¦f­¼¡ g_lurR§ r{]ihmx xŸr„tur{4a =  ¡´tuhmkvx tugi‡hmxP€{aq`0lGaq‡°¡£€{lG` r{]_atGp¶r„hjGaxŸr„tur{aRx¦ \]_a logikjzr„]_hjginsr„lftG‡_‡hvxr{]iturq§hmglGw_€`l ‡ aqk@§r„]_a­®gGr„€{w$‡ a€]itoxr„l¯«Gaa†r{€#top#«lu¡$tokjkXr„]_a©†i€{aqXhmlow$xŸkmz xŸaqgGr"`aqx„x{tonoaRx¦ \]|wixq§_¬ af`tohjgXr„tohjg¨t0kjhvxŸrPlu¡"†_€{aq|hjlGwixŸkmz°x{agXr `0aRx{x„tunGaqx ¬ hjr{]2r{]_a «|g_l¬ kmaq‡_noatr r{]iar{hm`0ar„]_a `aqx„x{tonoaRx¬ a€„a xŸaqgGrR¸    

%;   ,grD5  ' Z

;;;

Z %; ! ,-r|5"! '

Ó£çÒ6ÓÕÔ


     
    "!#$  %'&(*) ,+-
+/.0
! !1 
2435


’o’

\]_hvx hvxwix{aq‡T§ ¡£lG€ hjg$xƒr#tugipafhmg2r{]_a a²_tu`†_kmaflo¡[º aqp¶r„hjlGg2‹i¦j’G§|r{l†_€„loafh¥rPhvxPx{low_g$‡°r„lx{w_}ixŸr{hjr{w_r{a 1+%. \ '¡£lG€ M  ¦ › 0 a tokmx{l`tuhmgXr„tuhmgÁt°x{a)rflu¡O«|g_l¬ kmaq‡ nGa2 €{aq†_€„aqx{agXr{hmg_nr„]_a7­®gXr{€„wi‡ aq€  xP«|g_l¬ kmaq‡_noa aGlokmw r{hmlogM¬ ]iag_aqoa€¯]_ax{wipqp)aaR‡_x hmgMxŸaqgi‡ hmg_ntugMtu†_†i€{lG†_€{hvtr„as`aqx„x„tunoaG¦ › a `l ‡ akyt†i€{lor{l p)lGkWxŸr{aq†¨¬ h¥r„]r„]_a €„w_kjaG¸ % !' Q

% !  ! : \ = ! : g=  &ˆÉ •R•q˜PM É • ’G¦A Q  ¸  !  !  ! SD. \>!  !  ! OTU: \ = b_¦- Q & ¸  !  !  ! SD. \>!  !  ! OTU: \ = ! SU. !  !  ! OTU: = ‹i¦ &WQ  ¸  ! SU. \>! : \ UTU: \ = ! US . ! : \ UTU: -= Š$¦- Q  ¸  ! SU. \>! : \ UTU: \ = ;_¦A Q  ¸%S TU: \

h É •q•U Í>i   •q–q˜  ™ É • X  Z]\>^  Z ^$&bZ =Uc ^ : \ = Zd9\ = ^ : g= Zad g=f  g –q— Î É —lk FnmD*-,{C §9op5(qN*+,+)-rDs!  !$\>! UT d9\ = \]_aMx{aqplogi‡ €{aRxŸlGkjw r„hjlGg %  c|=   % - !  ',' hvx`wip#] `0lG€{a2a)² lor{hvpu§x{hjg$p)a¨h¥rhvx0r{]_a¨€„aqpa† r„hjlGg lu¡¯r{]_a¨`aqx„x„tunoa kvtu}=akmkjaR‡ ,0hmg2r{]_a †i€{lor{l p)lGk=}|z†_€{hmgiphj†itok \ ¦"¾¯xŸhmg_nr„]_a †_€„lur{l plok  xx{†$aRp)hj±$ptur{hmlogy§ hjrPhmx ±$€„xŸrP€{aRto‡toxq¸ \ Q 7 ¸  !$\>! ! SU. \>!  !$\>! UT d9\ = Q \ 7 ¸  ! SU. \>! M -T d9\ = \ Q 7 ¸ S TM% » r r„]_hmx†$lGhjgXrq§¬©apqtugÃlog_kmz1x„tz¨r{]itur r{]_a­®gXr„€{wi‡_a€ ]itGxfr{€„hjaR‡Ár„lMxŸaqgi‡1r{l2r{]_a†i€{hmgip)hm†itok \ t2`aqx„x{tonoa  1 Y %    ! SU. \>! M-TD: \ =Gv ¦ dPa0]itoxsg_lp#]ilohvp)a7}iw r¯r„l!w_gih¥¡£ z % 

 c|=   % , , !   ','©r{]_a7r{aq€{` z|hmakv‡ aq‡tu¡Õr{aq€sr„]_a7±$€„xŸr¯`aqx„x„tunoa ¬ hjr{]2r{]ia €{aR~Gwihj€„aq‡†itr{r{aq€{gy¦OÄsl¬ §|r{]_ax{aq~Xw_aqgip)alo¡`aqx„x{tonoaRx©}=aqplo`aqxq¸ \ Q 7 ¸  !$\>! ! SU. \>!  !$\>! UT d9\ = Q \ 7 ¸  ! SU. \>!  !G\>! UT d9\ = \ Q 7 ¸ S T%  !G\>! ' % \]_a0­®gXr{€„wi‡ aq€f]$toxf†_€„loaq‡Mr{]iturf]_apqtug1x{ag$‡Át!r{a€„`.`tr#p#]_hmg_n!r„]_a0†itr{r{a€„gÃlu¡©t¬tuhjr{aR‡M`aqx„x{tonoao§Tx{l¬ aptug1nol lGgMr{lr„]_a7gia)²|rfxŸr{aq†y§=r{]_a0‡ aqplo`†$lXxŸhjr{hmlogMlo¡[r{]_a0xŸaRp)lGgi‡¨`aqx„x{tonoax{agXr¯}|z \ % H &Ne w/  % -  !  ' ')¦ [ w rt¡Õr{aq€sr„]itrR§ ‡ aRp)lG`0†=lGx{hmg_n¬ ]itur ]_a¯«|g_l¬Px§or{]_af­®gXr{€„wi‡ aq€O±igi‡ix©]ihj`x{akj¡y«Xgil¬ hjg_n §or„]itr x{]_low_kv‡]itGaP€„a`tuhmg_aq‡x{aqp€{arq¦"\]_afkmtGxƒr `loa³ ª kmtowix{tok6º|hm`0†ikjhj±$ptur{hmlog$µxŸr„to`†ix r{]_hvxPplogXr{€#to‡ hvp¶r„hjlGg!lGw rq§|r„]Xw$x agi‡_hjg_n0r„]_axƒr„wi‡ zlu¡r{]_hvx †_€„lur„l|plokI¦ \ Q

{




7

6EF@LŒ

ˆ„

Q

†D@



8

 @

{ˆ E{‡Œ;:>@ ƒV„…†…Yˆ…A‰



› a¯x{]itukmk_g_l¬ xŸr{wi‡_z7r„]_aP½Å½¤†i€{lor{l p)lGk@§u«|g_l¬ g0r„l]itoaPt†$tu€#tukmkjaqkip)lG€{€„aqx{†$lGgi‡ aqgip)a¹I}=a)rƒ¬ aaqg ¹I†i€{hmgip)hm†itokmxtr{r„top#«W¦"\]_a >A@! . DT ;_A¦  Q  ¸%SD. UT   ˜ —˜ ' ' É '  X  Z ^  Z]\>^$# Z / ^  c Z |cf  h É ™u— É – / ! |c  Í ' É  X  Za\A@
 . ' f %   ! %  b  o
D! _1 ,+ #A   1 v
 K 1 V  i 9
D 2  5 "!¶§65’ rGr: ¦ 8m’GŠ = »7¦Æc ¦ e_€„ahma€R§"¦Å tu€„k¥r„logy§2tugi‡ ¦ ª ¦Åsl p#]_aq€q¦ \]_aǺiº .O€„lur„l p)lok°c ¿[aq€„x{hjlGg ‹_¦ ‘_§¨ÄPlGa`7}=a€ ’ rGrGŒ_¦ " )D D   D @E F $ IE  S   W¦ 8m5’ ; = \¦Xdfag_ar©tugi/ ‡ e ¦oÅkvtzo¦=… a¬ €„hjr{hmg_n¡£lo€ ª €„z|† r{lGno€#tu†_]ihmp©O€„lur{l plok_¿[aq€{hj±$ptur{hmlogy¦$­®g 7¦X»G¦ tÁp»PkmkmaqxŸr{a€R§oaR‡ hjr{lo€R§  % D 
D*1   *1  \ D

D*
] 3'?Y  1 Y
+ o
+    i§[Glokmw_`a’qG‹_’lo¡ (
D
2 Y
D!w  $  *Y
wD
,
§ †$tunoaRx -b :|g’  Gb ro‘_§XOhjrŸr#xŸ}_wi€{nG]ó´W»7§$¾fº »¯µ)§=bu‘G‘o‘i¦ º †_€{hmg_nGa€¿[a€„kmtoni¦ 8m’qŒ =Ue ¦fŽGtGp~Xw_a`to€„‡T9 § t ¦f… wix{hjg_l¬ hjr„p#]6§togi‡ O¦s¿shmnog_aq€{lGgy¦ ª lo`†_hmkmhjg_nCtogi‡Ç¿[a€„h¥¡£z|hmg_n º|aRp)w_€„h¥rƒz O€{lor{l p)lGkmxq¦.­®g t¤¦T"to€{hmnolorftogi‡Á»7¦T¿[lo€„log_«Gl=§=aq‡_h¥r„lo€#x § ( G kD 2  1  c  i1 *+('?Y  1 Y
+ ?
1 !    u§6olokmw_`a2’ r-;-;lu¡ (
D
o 
!  j\,
D D
,
§ †itunGaqx¯’q‹_g’ =’RŒo‘_§|ºXrsdfhjkmkmaqx³´… eqw_g_hmlogy€§ ei€„togip)aµ¶§_Äsloa`}$aq€bo‘o‘G‘_¦Xº †_€{hmg_nGa€ ¿[aq€{kvtun$¦ 8m
Ó£çÒ6ÓÕÔ


     
    "!#$  %'&(*) ,+-
+/.0
! !1 
2435


'

’