HAL Id: inria-00072731
https://hal.inria.fr/inria-00072731
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
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,
Rewriting for Cryptographic Protocol Verification - Extended Version -
Thomas Genet, Francis Klay
To cite this version:
Thomas Genet, Francis Klay. Rewriting for Cryptographic Protocol Verification - Extended Version -. [Research Report] RR-3921, INRIA. 2000. �inria-00072731�
ISRN INRIA/RR--3921--FR+ENG
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Rewriting for Cryptographic Protocol Verification
- extended version -
Thomas Genet, Francis Klay
N˚3921
Avril 2000
THÈME 2
.#/10324/65878/97;:</1=?>@BAC5D.
E$FGIHKJMLNPO6QO6RTSVUXWXYZJ8Q[6\]L$^`_aJVbdc
efCgihkjl'monqpirCstjuBv9w6sBx?stjiu
j?yzx?{1u|x}3u~Vh'8v9uBs|6}3j
X v1jy4~{9r3<j
{9CMv6 y<j jix4f3j? 4x4fCjDr'966lC,mV stul996m'M{1w9jZ~
i?C 99¡ ¢
r£{¤x?{6~j`~y¥}3<6¦§%j`3 ¥jZ~jir6y{)r3j?§¨{1C3 ¥v{9x4fª©«v9 ¬6j? s©«VsBrCw®x Cy¥v9w6 {9CfCs|x
3 ¥v9y¥v<xv6uB~i¦6M{9~¥ji¬v6r j?§ systr3w¯{1rM¬v9ry¥ j?j-{1}<yv9h${y4{yjix4fCrCs|}Cji~i°X v1y¥v<x?v9u|~%{9 ¥jqv98j? 4{ystv6r3{1uBut
Cji~x st8ji±}3~¥str3wPeji ¥h²j?§ sty¥sBrCw;³V<~yj?h$~'{9r3´y¥fCjstrCsty¥s|{1uµ~j?y'v1©xv6hh'}CrCs|x?{1y¥sBv9r) ji}Cji~y~sB~
Cji~x st8ji,V`{$y ¥jij'{1}<yv9h${yv9r°-³y{9 ystr3w$©« ¥v6hy¥fCjZ~j'y§%v¬ j?3 ¥jZ~jir6y4{ystv6r3~?¦M§%j¯{1}<yv9h${ysBxi{1uBut
x?v9hC}<yjq{9rv6j? ¥¶a{9CC vT·VsBh${ystv6r¯v9©y¥fCj-~¥jyv1©j?·Cx4f3{1rCw6jihji~~{1w9jZ~¹¸º{1u|~v¯ ¥jZxv6w9rCsB»?jZ$V¬{y¥ j?j
{9}<y¥v6h${y¥v6rM¼°½efCjir¦VC vsBrCwkxu|{9~~s|x?{9uMC v98j? ¥y¥sBji~µuBst¾6jqx?v9r<¿8<j?ry¥s|{1uBstykv6 {1}<yfCj?ry¥s|x?{1y¥sBv9rx?{1rÀMj
Cv9rCj¯`{9}<y¥v6h{1y¥s|x?{9utuB`~fCv§sBrCw$yf3{yqy¥f3j¯sBry¥j? 4~¥jixystv6r`Mj?y§%jij?r;y¥fCj{1C3 ¥vT·<sBh{1y¥sBv9r`{1rM;{~¥jy
v9©C v9fCsBCsty¥ji¤Mjif3{TVstv6 ~s|~'y¥fCjj?h<y®~¥jyi°)ÁC}3 yfCj? hv9 j9¦y¥fCs|~¯hkj?y¥fCv<Âj?rv<~'{´~sBhCuBjÀ{1rM
8v§µj? ¥©«}Cuç{TPyv;<ji~x sBMjÀstry¥ }3<ji '§µv9 ¾I¦y¥f3jÀ{13stuBsy±yv;xv6r3~s|<ji ¯{1r®}3r8v9}3r3<ji¤r}3h'8j? 'v9©
M{1 ¥y¥sBji~i¦8{9r;}CrV8v9}Cr3CjiPrV}Ch¯Mji ¹v9©ÃsBr6yj? utjZ{T9jZ`~jZ~¥~¥stv6r3~i¦8{9r3P{y¥fCjiv9 jy¥s|x?{9uC v98j? ¥y,j?r3~¥}C str3w
~{©«jirCji~~µv1©y¥fCj{9CC vT·<sth${ystv6r°
Ä`ÅÆIÇÈ'É Ê9¡ ej? hËji§ ¥sty¥sBrCw3¦Ce j?j}Cy¥v9h${1y{C¦MÌzjZ~¥x?j?r3C{9ry~i¦CX v9w9 4{1hͽji ¥st¿Mxi{y¥sBv9r¦8Î% ¥V<¶
yv9w6 {9CfCs|xzX v1yv<xv9u
Ï|ÐÒÑ¥ÓaÔiÕÑÖ×BÓaØ]ÙÚ
ÛXÜ«ÝÜßÞiàá4âãTäåæçßè]äéºê%ëZæXÝæãTãTæèVìí1îCïñðò4äôó|õ<ö÷Tøðò4èùúæãZæéaûäôçßäôèaòZùütç
ýXþÿ
îMöáçºò4ãæ%ö<æóôæøð-íî3ï|ðò4äôó|õçºò4ãäôè¥ùóòTû ãTæ é¥ùütçºò4ãæéºæóôæøð-ùütç
Unité de recherche INRIA Rennes
- $ %&? Ã 'À
¡ ³V}C q}Cr;xi{9~py}3<j6¦8r3v9}3~zhkv6ry¥ v9r3~x?v9hhj?ry¹}Cy¥sButs|~ji zu|{$ p?pix? ¥sty¥}3 ¥jj?yqxji y4{1sBrCji~
yjix4fCr3sB}CjZ~µ{9}<y¥v6h{1y¥jZ~%{1 C ji~%Mv6}C µ9p? st¿3j? µutjZ~µC ¥v9y¥v<xv6utjZ~Ãx? ¥V<yv9w9 4{13fCsB}CjZ~?°jqC v1y¥v<x?v9uBj
jZ~y<pix? ¥sty3{9 }Cr'~¥<~yg?hjÃ<jà ¥pipix sty¥}C j½jyuj?r3~¥j?h¯CuBjÃ<ji~ ¥jZ}yji~CjÃxv6hkh¯}CrCs|x?{1y¥sBv9rji~y<pZx sy
M{1 ½}Cr¬{9}<y¥v6h{1y¥j{1 C j9° 3{1 ¥y¥sB X<jxjZ~X<ji}<·¯ j?C pi~¥j?ry4{y¥sBv9rM~?¦rCv6}3~Xxi{1u|x}CuBv9r3~½{9}<y¥v6h${y¥s|}Cj¶
hjir6y}Cr3j~¥}C ¥¶a{9CC vT·<sth${ystv6r;<jujir3~jih'CuBj$<ji~qhji~~{1w9jZ~qpix4f3{9rCw9pZ~¯¸ßp?w6{9utjihj?ry ¥jZxv9r3r}´3{1
}3rª{1}Cy¥v9h${1y¥jÀ{9 ¥C jZ¼° Ãr3~}3syj9¦X8v9}C kC v9}C6j? k<ji~kC v9C sBpy¥pZ~'x?uB{6~¥~¥sB}CjZ~'~¥}C kutjZ~¯3 ¥v9y¥v<xv6utjZ~
x?v9hhj¬u|{Pxv6r<¿M<jir6ysB{9utsty¥pv9}®u{9}<y¥fCjiry¥st¿Mx?{1y¥sBv9r¦sBuµ~¥}"!yk<jhkv6ry¥ j? '}CjÀustryj? 4~jZxy¥sBv9r)jir6y ¥j
u{1CC vT·<sth${1y¥sBv9r-jy}Cr'jir3~jih'CuBjÃ<jµxv6hk8v9 ¥y¥jihj?ryC v6~x sty~ÒjZ~ys|<j6°Xr'v9}<y ¥j6¦Tx?jy¥y¥jµhkp?y¥fCv<<j
8j? hjy<j<pZx st jqutj-y {T{1sBuÒ<jusBry¥ }3~<jq©ß{$#?v9r,~sBhCutjj?yj!¬x?{6xj9¦<jiutuBj-Mji ¥hj?yz<jxv6r3~s|<pi ¥ji
}3r$rCv9h¯C ¥j}CjiuBx?v9r3}Cj¹<jz~¥ji~~sBv9r3~j?yµ{9xy¥ji}C ~Xj?r<¿3r¦6jiutuBj8p?rCp?¿MxsBjz}CrCj¹C ¥v6C stp?y¥py¥f3p?v9 s|6}3j
}CsÒw{1 4{1ry¥styuB{~&%C jy¥p<j-u{9CC vT·<sth${ystv6r°
' É Z Ç $( ¡ pipix sty¥}C j9¦z{9}<y¥v6h${y¥jZ~{1 C ji~i¦<ji~xjir3C{9r6y4~?¦6p? s¿8x?{ystv6r <j;3 ¥v6w9 4{1hhji~i¦
3 ¥v9y¥v<xv6utjZ~µx? ¥V<yv9w6 {9CfCs|6}3ji~
'' '
-/.
Å (!010!2<0Å 3
4
6575 É98 0¤<&0É 2;: Å =<72>0!? Å @
ACB
ÅVÅ Ê7< ÇD =< ÉÅ Ê Å .
(!0º Ä`Å6Æ
. É É É (
-9E
3GFH2 É Ê>0!2>I´&< Å 5 É É É (µ2ÊdJ< Å 0!2Ii Ê Å
-4
K 6575 É98 0¤<&0É 2d2Ê;L Å =0!M 6<J0É 2 - @
@ON¯É 2 (J0É 2 4PE
G:#< Å B D . ÄQD 5 Å R0!M 6<J0 É 2 4SK
T ÀÅ
(«i
A*K
I¯ X
ry¥fCs|~3{18j? Z¦§%j%C ji~¥j?ry{r3j?§¤§{T¹v9©C9ji ¥st©«VstrCwqx V<y¥v6w9 4{1CfCs|xC v1yvVx?v9u|~?°´j<vzr3v1y{9sth#fCji ¥j
{1y%<s|~¥x?v9ji ¥sBrCw-{yy4{9x4¾<~½v6ry¥fCj3 ¥v9y¥v<xv6u<C}<y%v6}C Xw6v6{1u3sB~Xy¥vC v9jyf3{yXyfCj? js|~XrCv9y%{1rV9¦6§fCs|x4f$sB~
{hkv6 ¥jCs!¬x}3uyµC ¥v6CuBj?h,°r$3 {6xy¥s|xj6¦68v6~¥sty¥sB9jC vVv1©ß~Xv9©~jZx}C sy¯C v98j? ¥y¥sBji~½v6r¬x Cy¥v9w6 {9CfCs|x
3 ¥v9y¥v<xv6uB~{9 ¥j$f3stw6fCut)<jZ~sB {9CuBj$ ¥jZ~}Cuty~¯~sBr3x?j$y¥fCji´w6st6j¬{`8jyyj? kw9}3{9 {9ry¥j?jv6r)y¥fCjÀ ¥jiuts|{1CsBuBsy
v9©Xy¥f3jk3 ¥v9y¥v<xv6uyf3{1r){1rVP{1hv6}Cryqv9©Ã3{9~~¥ji`yji~y~i°r]¦{<jix?sB3{1CuBj${1CC vT·<sth${1y¥sBv9r`v1©%y¥fCj
~¥jy$v9©q<jZ~¥x?j?r3C{9ry~,¸« ji{6x4f3{1CuBj¬yj? h$~¼¯§{9~kC ji~¥j?ry¥jZÒ° rªy¥f3sB~3{9Mji i¦%§%j,C v98v6~¥j¬yv®{1CCuB
yfCv6~¥jy¥f3j?v9 jysBxi{1uC ji~¥}Cuty~Xy¥v-y¥f3jz9ji ¥st¿Mxi{y¥sBv9rkv1©x? ¥V<yv9w9 4{13fCsBxµC v1yv<xv9u|~i° ¢ }C Ãxi{9~¥j~y}3<ksB~Xy¥fCj
zj?jZ<f3{1hk¶³<x4fC vVji<ji qÃ}CCuBsBx-jiPC v1yvVx?v9uBiq¸¹³< ©«v6 '~¥fCv9 ¥y4¼°´j¬x4fCv~jkyfCsB~3{1 ¥y¥s|x}Cu|{1
j?·C{1hCuBj$©«v9 ¯y§%v; ¥jZ{9~¥v9r3~i°;Ást 4~y¯v1©z{9utu]¦y¥f3sB~kC v1yvVx?v9u%sB~¯ ¥jZ{1u%C}<y$x?{1r®8jji{9~¥sBut±}Cr3<ji ~y¥vVv<Ò°
ef3jq~¥jix?v9r3$ ji{6~v6r$sB~%yf3{yZ¦<str~Csty¥jqv1©sy4~µ{9C3{9 ¥jir6y~sBhCuBsBx?sy¬{9r3¬ v9C}M~yrCji~~?¦V{1rM¬sBrÀ~¥Csyj¹v9©
~¥j?6j? 4{1u9ji ¥st¿Mx?{1y¥sBv9r'{1yyj?h<y~i¦yfCsB~3 ¥v9y¥v<xv6u<jZ~sBw9r3jisBri !§{9~C v9jistr3~¥jix?}C j%v6rCutsBri9 "
V®nk°v§%j#Bi{1rM)str Z9%$ÀV¤Î¹°&`jZ{9<v§~t']°#rÂ3{1 ¥y¥s|x}Cu|{1 Z¦½nk°v§µj©«v9}3r3¤{P~¥h${1 ¥y
{1yy4{9x4¾strV{1uBsB3{y¥sBrCw$yfCjkh{9strP~¥jix?}C syC v98j? ¥y¥sBji~v9©½y¥fCjkC v1yvVx?v9u]° r`yfCsB~¹3{9Mji i¦8§%j¯§stuBu}3~j
yfCjxv6 ¥ jixy¥jZ¬9ji ~¥sBv9rv9©yfCj¹³V( C v1yv<xv9u{9uB~¥vkC ¥v6Mv~jZVÀnk°Mv§µj¹sBr)B?a°
³y4{1 ¥y¥sBrCwP©« v9h {´ez³® j?3 ¥jZ~jir6ystr3w`y¥fCjC v1yvVx?v9uµ{1r3ª{`y¥ j?j{1}<yv9h${yv9r¤ jix?v9w6rCst»istr3w`y¥fCj
sBrCsty¥s|{1u~¥jy¯v9©¹xv6hh'}CrCs|x?{1y¥sBv9r¤ ji}CjZ~y4~?¦½§µjÀ{9}<y¥v6h${y¥s|x?{9utuB®xv6hk3}<y¥j,{;~¥}C8j? 4~j?y¯v1©zy¥fCj,~j?ykv9©
j?·Cx4f3{1rCw6jihkjZ~¥~{1w6ji~%V¬v9ji ¶ {1C3 ¥vT·<sBh{1y¥sBrCw-y¥f3j~j?yv9© ji{6x4f3{13utjzy¥j? h$~?°Xef3sB~hv<<j?u+*{9uB~¥vk{
y ¥jij%{9}<y¥v6h{1y¥v6r,*¹y{9¾9jZ~sBry¥v¹{6x?x?v9}Cry{9r}CrV8v9}Cr3CjirV}Ch¯Mji v9©C3{1 ¥y¥sBji~i¦{1r¯}CrVMv6}Cr3<jZrV}Ch'8j?
v9©stryj? utjZ{T9ji£~¥ji~~¥stv6r3~À{6~§µj?uBu-{9~{Â8v§%ji ©«}3u¹sBry¥ }3<j? ,{9xy¥sBVsy£<jZ~¥x? ¥sB<y¥sBv9r° Á3v9 C}CsBuBCstrCw
yfCs|~hv<<j?u]¦§%j$rCjiji<jZ±y¥vPj?·Vy¥j?rM±y¥fCj{9CC vT·<sth${ystv6r;yjix4fCr3sB}Cj¬v9©-a¦str3sysB{9utuB±Cji~¥stw6rCji´y¥v
{9CC vT·<sth${yjz©«}3r3xystv6r3{1uC ¥v6w9 4{1h$~µj?r3x?v<<jiVuBj©ñy¥¶]uBstr3ji{1 ¹ez³<~i¦Cy¥vyfCjhv9 jw9jirCj? 4{1ux?uB{6~¥~v9©
e¹³<~¸«8v6~~sBCuBrCv6rÀuBj©ñy¥¶]uBsBrCji{9 4¼%§sty¥f`{9~~v<x?sB{1y¥sB9j-{1r3,xv6hh'}<y4{y¥sB9j-~¥h¯Mv6uB~i°
r®~¥jixystv6rd1¦§µj ¥jZx?{9utu½3{6~s|x$<j?¿3rCsty¥sBv9r3~v9©%yj? h$~?¦y¥j? h j?§ sty¥sBrCw~¥<~yj?h$~i¦{1rM;y ¥jij¬{1}<¶
yv9h${y4{C°,r´~¥jixy¥sBv9r´lV¦Ò§µj' jixi{1uBuyfCj¯y¥jix4f3rCsB}Cj'©«v9 -{1C3 ¥vT·<sBh{1y¥sBrCw$yfCjk~¥jyqv1©%Cji~xj?rMC{1ry~©«v9
uBj©ñy¥¶]uBsBrCji{9 $y¥ji ¥h ¥ji§ ¥sty¥sBrCw®~<~y¥jih~{1r3K j?w9}3uB{9 ¬~j?y¬v1©-y¥ji ¥h$~#a°r£~¥jixystv6r£C¦§%jP~¥fCv6 yut
3 ¥jZ~jir6yqy¥f3jj?jZ<f3{9h¯¶³<x4fC vVji<ji ¹Ã}CCuBsBx-jiPC v1y¥v<x?v9u]¦xv9hhj?ryv9r±sty~-j·<8jixy¥ji±C v98j? ¥y¥sBji~
{9r3ªC ¥v6Mv~j,{1rdjir3xv<<sBrCw)stryv){´yj? h ¥ji§ ¥sty¥sBrCw®~¥V~y¥jih sBrd~¥jixy¥sBv9rKC°/.v§µj?6j? Z¦½y¥f3j,y¥j? h
j?§ sty¥sBrCw¬~<~y¥jih<jZ~¥x? ¥sBCsBrCwy¥f3j0¹³< sB~zrCv1y¹utj?©ñy¶autsBrCji{9 i¦Mf3{9~¹z~~v<x?sB{1y¥sB9j{1rM;Î%v9hh'}<y4{yst6j
¸ºzÎ#©«v6 '~¥fCv9 ¥y4¼-~¥Vh'8v9u|~{1r3Ò¦xv6r3~¥ji}Cj?ryut6¦s|~v9}<yv9©%yfCj~xv6Mjv1©yfCj$3{9~¥s|x${1CC vT·<sth${1y¥sBv9r
yjix4fCr3sB}Cjv9©1]°½efV}3~i¦6sBr¬~¥jixystv6r2"V¦§%jq~f3v§ªfCv§Kyv'j·Vyj?r3$v6}C Xyjix4fCr3sB}CjyvyfCj¹xi{9~¥jv1©ÒrCv6r
uBj©ñy¥¶]uBsBrCji{9 z{1r3`zÎ ez³C~?°3´jk{1u|~v$<jZ~¥x? ¥sB8jy¥fCj¯{1CCuBs|x?{ystv6r,v1©X{1C3 ¥vT·<sBh{1y¥sBv9rÀy¥v4q³V {1rM
~¥fCv§f3v§y¥v,C v9jkxv6r<¿M<jir6ysB{9utsty;{9r3´{9}<y¥f3j?ry¥s|x?{1y¥sBv9r;3 ¥v6Mji ystjZ~?°Ástr3{9utuB9¦str®~¥jixystv6r5$3¦§%j
x?v9r3x?ut}M<j9¦Cx?v9h3{1 jq§syfv9y¥fCji {1C3 ¥v{9x4fCjZ~µ{9r3ÀC ¥jZ~jiryv6rCw9v6str3wk<ji9jiutv6Chj?ry~i°
6
!#&?87 ?
±j`rCv§stry ¥v<<}3x?jP~v6hjr3v1y{1y¥sBv9r3~${9r3K3{9~¥s|x`<j¿3r3systv6r3~?°DÎ%v9hC j?fCjir3~¥st6j~¥}C 9j?<~$xi{1rdMj
©«v6}Cr3;str9'©«v6 zyj? h¨ ¥ji§ ¥sty¥sBrCwÀ~¥<~yj?h$~i¦8sBr:©«v9 qy ¥jij¯{1}Cy¥v9h${1y{{9r3,y ¥jij¯u|{1rCw6}3{1w6jy¥f3j?v9 9¦
{9r3Àstr;B9<©«v6 xv6rCrCjixy¥sBv9r3~8jy§µj?jirÀ j?w6}Cu|{1 µy¥ j?j-u|{1rCw6}3{1w6ji~{1r3y¥ji ¥hË ¥ji§ ¥sty¥sBrCw~<~y¥jih~i°
! "#$%&(')*
jy+ 8jÀ{`¿MrCsyjÀ~¥jykv1©~Vh¯Mv6uB~¯{9~~v<xs|{yji±§sty¥fª{9r¤{1 sy´©«}Cr3xy¥sBv9r¦, Mj{Pxv6}Cry{13utj~¥jy
v9©%{1 s|{1CuBji~i¦)-/.0+213,/4¹y¥fCj¬~¥jyv9©Ãyj? h~i¦{9r35-/.6+74qy¥f3j~¥jyv9©%w6 ¥v6}Cr3;y¥j? h$~$¸ñyj? h~§syfCv9}<y
{9 ¥s|{1CuBji~4¼°v6~¥systv6r3~XsBrÀ{y¥ji ¥h{1 j j?C ji~¥j?ryji${9~%~jZ}Cj?r3x?ji~%v1©sBry¥j?w6j? 4~?°efCjq~j?y%v1©8v6~¥sty¥sBv9r3~
sBr¬{-yj? h&8¦V<j?r3v1y¥jZV:9:;=<>.68$4¦6s|~Xv6 Cj? jikV'uBj·<sBx?v9w6 {9CfCs|xv9 4<j? str3w?°efCjjih<y$~jZ6}3j?r3x?j
@
<jirCv1yji~Ãy¥fCj¹y¥v6<¶ahkv~yµMv~sty¥sBv9r° a©ACBD9:;=<>.68$4¦y¥fCjirD8FEGCj?rCv9y¥ji~Ãy¥f3jq~¥}C<yj? hv1©8Ã{1y%8v6~¥systv6r
A®{9r3H8JI<FKLG,<j?rCv9y¥jZ~qy¥fCjyj? h v9Cy{1sBrCjZ;VP j?Cu|{9x?j?hj?ryv1©%y¥fCj¬~¥}C<yj? hM8FEG{y8v6~¥systv6r2A)V
yfCjyj? h*<6°½ÁCv6 Ã{1rVyj? h*<BN-2.6+N1O,/4¦6§µjz<jirCv1yjV9:;=<QPR.S<T4y¥f3j¹~¥jyÃv9©M©«}CrMxy¥sBv9rM{1u38v6~¥sty¥sBv9r3~
sBrU<6¦sº°j9°WVXAYB9:;=<>.S<T42EA[Z
\ @
{1r32]D;^;T8J.S<_EG47BY+2`§fCji ¥j7]D;^;T8J.08$4'Cj?rCv9y¥ji~y¥fCj~Vh¯Mv6u%{y
8v6~¥sty¥sBv9r
@
sBrD8°½ R%=ab 'S Oc 3s|~µ{y¥ji ¥h v1©d-/.6+feCV>g`T4X§syfj?·<{6xyutv9r3jzv<x?x?}C ¥ j?rMxjv9©gz¦
§f3j? jg£s|~{$~¥MjZxs|{1ux?v9r3~y{9ryr3v1yv<x?x?}C ¥ sBrCwstrh+°ÃÁCv6 z{1rV$yj? hi8BC-D.6+74¦jkI8lK<j?rCv9y¥jZ~y¥fCj
yj? hËv6<y{9str3jiP{1©ñy¥j? ¹ ¥jiCu|{9xjihj?ryzv1©g N8sBr`y¥fCj¯w9 v9}CrM`xv9ryj·VyjkImKa°zefCjk~j?y¹v9©{9 ¥s|{1CuBji~
v9©{kyj? hi8s|~<j?r3v1y¥jZNnpo>q.68$4°µDy¥j? h s|~uBstr3ji{1 zs©X{1rV¬{9 ¥s|{1CuBj-v1©rnsoq.08$4f3{9~j·C{9xy¥uB¬v9rCj
v<xix}C ¥jir3xj¯strt8°' ~}33~ysy}<y¥sBv9r´sB~-{Àh${1CCsBrCwhu®©« v9hv, stryvN-/.0+213,/4?¦Ò§fCsBx4f±x?{9r;}CrCs|}Cj?uB
8jj·Vyj?r3<jZÀy¥v${1rj?r3Cv9hv9 CfCs|~h v1©d-2.6+N1O,/4° ay~Cv9h${1sBrDw;Tx5.Su4sB~yVQzCBN{|E^zuUZ
\
z)`6°
y¥j? h ¥ji§ ¥sty¥sBrCw¬~¥V~y¥jihi]¨s|~z{¬~¥jy¹v1© % }a( ~dq¦I§fCji ¥j~$1$q7BH-D.6+N1O,/4?¦~ZBt,,¦
{9r3Cnsoq.S~S4Ynso>q.6q=4°z ¥ji§ ¥sty¥j }CuBj:~qsB~ (!' (*'¸« ji~¥° & S('¼st©y¥fCj¯utj?©ñy¶af3{1rM
~¥s|<j¬¸« ji~¥°µ ¥sBw9fy¶af3{9r3,~s|<jZ¼v1©y¥fCj }CuBjs|~utsBrCjZ{1 Z°µD }CuBjsB~zutsBrCjZ{1 st©½syzs|~8v1yf`utj?©ñy¹{1rM, ¥sBw9fy¶
uBsBrCji{9 i°ez³2]¨s|~uBstrCjZ{1 '¸ß ¥jZ~°%uBj©ñy¥¶]uBstr3ji{1 Z¦C stw6fy¶autsBrCji{9 4¼µst©½j?6j? ¬ ¥ji§ ¥sty¥j }CuBj:~qv1©]¨sB~
uBsBrCji{9 ¸« ji~¥°utj?©ñy¶autsBrCji{9 i¦< sBw9fy¶autsBrCjZ{1 ¼°
efCj¯ ¥jiuB{1y¥sBv9rtW sBr3<}3x?ji`VN]s|~¹<j?¿3rCjZP{9~z©«v9uButv§~Q%©«v9 -{1rVh<1X8Bt-2.6+N1O,/4¦<:8st©
yfCj? j-j·<s|~y{¯ ¥}CuBjy~)q'sBr2]P¦3{'8v6~¥sty¥sBv9rACB29:;=<>. <4µ{9r3À{~¥}C3~y¥sty¥}<ystv6rNu±~¥}3x4fyf3{y~Su
\
<_EG
{9r3t8
\
<>IqTuKGC°¬efCj$ jJ3j?·VsB9jky {9r3~sty¥sB9jxuBv6~¥}C jv1©W sB~'<j?rCv9y¥jZ;V
°¬efCj¬~¥jyv9©p]$¶
Cji~xj?rMC{1ry~Xv1©{~¥jyÃv9©Òw9 v9}Cr3kyj? h$~#s|~Ã<jirCv1yji$V]N=.S:4X{9r3k]N(.0:4
\
VQ8sBN-2.6+74E=<:B
~i°yZ°<
83`6°
)%$df%%r)
jy/ Mj${¿3rCsty¥j$~¥jyv1©%~¥Vh'8v9u|~?¦Ò§sty¥f){1 styC¦x?{9utuBji °:-D.0+e4¹s|~qxi{1uButjZPyfCj~j?y-v9©
'J+7(a% ,! ° , !`s|~'{` j?§ sty¥j$ }Cutj/D V¦§f3j? j/hB-D.6+e4{1rM55B¡'°,
< (¢&3b % ,!Às|~¹{y¥ 4{1rM~sty¥sBv9rH£$§fCj? j
\
^¤rBY v9 R
\[¥
.S¦^1F§F§Q§1XQ¨4¦
¥
B+À¦
o>q.
¥ 4
\ª©
¦M{9r3C ¦ 1F§F§Q§1X ¨ B"°D8v1y¥y¥v9hk¶a}C`rCv6r<¶aCjy¥ji ¥hsBrCs|~ysBx-¿MrCsyjy¥ j?j{9}<y¥v6h${y¥v6r®¸ñy¥ j?j
{9}<y¥v6h${y¥v6rP©«v6 -~¥fCv6 y¼s|~{,6}M{9< }CCuBj«
\¬
+N1:1®13¯°¦§fCji ¥jC®t±² {1rM5¯ s|~{~j?y-v9©
r3v9 h{9utsB»?jZy¥ 4{1rM~sty¥sBv9r3~i° y ¥jijq{9}<y¥v6h{1y¥v6r¬sB~RbR < P ! µs©y¥fCji ¥jq{1 jzrCv¯y§%v¯ ¥}3utjZ~çsty¥fÀy¥fCj
~{1hj sBw9fyf3{1rMP~s|<j6°efCj' j?§ systr3w$ ¥jiuB{1y¥sBv9r,strM<}3xjZ`Vh¯Ës|~¹Cj?rCv9y¥ji,jisyfCj? ¹VC"³*v9 V
"´°½efCjy ¥jijuB{9rCw9}M{1w9j jix?v9w9r3st»ijiV«#sB~µ.0«:4
\
V8BC-/.6+74E=:BW®~?°yi°8rU´ >`6°ÁCv9 X{
w6st6j?rhB'¦<y¥f3jy¥ j?j-u|{1rCw6}3{1w6j¹ jix?v9w9r3st»ijiÀ2«{1r3N's|~µ.0«71O=4
\
VQ8sBh-2.6+74ET8
´
>`6°Ã
y ¥jij-uB{9rCw9}3{9w9j¸«v6 {k~¥jyv9©yj? h$~¼s sB~#%=a(%st©y¥fCji ¥j-j·<s|~y4~{Mv9yyv9hk¶]}3Ày ¥jij{1}<yv9h${yv9rh«
~¥}3x4f$yf3{yµ.0«:4
\
$°XefCj-xu|{9~~Ãv9© j?w9}3uB{9 Xy¥ j?j¹uB{9rCw9}M{1w9jZ~Xs|~xuBv6~¥ji$}CrM<j? 8vv6utjZ{1r¬v6Mji {1y¥sBv9r3~
es13¶s13·<¦µ{9r3ÂsBr3x?ut}3~¥sBv9rKsB~$<jZxs|C{13utj6°K¶a~¥}C3~y¥sty¥}Cy¥sBv9rKsB~${)~¥}C3~y¥sty¥}<ystv6ru¸,º¹ '°£jy
».O13,/4¹Mj¯y¥f3jk~¥jyv1©R¶~}33~ysy}<y¥sBv9rM~?°Á3v9 qj?9ji ¥y {9r3~sty¥sBv9r¦MyfCj? jkj·<sB~y~q{1r´ji}CsB{1uBj?ry-~¥jy
v9©rCv6 ¥h${1uBsB»?ji¬y¥ 4{1r3~¥sty¥sBv9r3~i° v9 h${1uBst»Z{ystv6rxv6r3~s|~y~µstr,<jZxv9h8v6~¥str3w¯{¯y¥ 4{1r3~¥sty¥sBv9rN<¼V¦<sBr6yvk{
~¥jy;TqTx5. <7 =4v9©ÃrCv6 ¥h${1uBsB»?jiy {9r3~¥systv6r3~?°-efCjkhjy¥f3vV´xv6r3~s|~y~¹str±{13~y¥ 4{9xy¥sBrCw~¥}C<y¥ji ¥h$~
<¤Òv9©<'~?°yi°<¤ZB#V~y{yji~v9©'° ´j-¿M ~y<j¿3r3j-y¥fCj{93~y {6xystv6r¬©«}Cr3xy¥sBv9r`{9~µ©«v6utuBv§~Q
Å M>2>0«&0
É 2
- r+' 0'(9 bH H0 7 R= '&+7(a% !
<BN-D.6+e4·R À{93~y {6xystv6r < R
W¸VT<_EG7E3ACBD9:;=<QP.S<T43`¹º
P 'R OcR bR3b -2.6+e4bR,+ P9 0bR P # "B¸
s.0=4
\
Å M>2>0«&0É 2
4
+ 5 (9 5 4' <t % ,! "<WB
-D.6+e46b2tB¡ b! "< %R ! <# P2 ;TqTx%$.S<h =4 r3v9 h{9utsB»?jZ
y {9r3~¥systv6r3~ b=aP = (2b !+ *3b& '
(
#<
\
) &;TqTx%$.S<R¼=4
\+*
b
, #<yB b<kZ
\
) P-;TqTx%$.S<R¼=4
\
VT<¼>`" b
. #<
\¥
.68X¦^1F§Q§F§!1$8¨4/ &;TqTx $ .S<¼=4
\
V ¥
.s.68 ¦ 4}1Q§F§F§)10s.68¨ 4X4¼>`pe%1
¨23 ¦
;TqTx%$.68
2
4p.08
2
4X4
F 8 5(Å
-5 d+
\ V ¥
1761Oo` b:«
\&¬
+21T1T ® 1O¯k° $7 %k
\
V8(1XT¦T1O9=1O:1;=`"s ® \
VT8(`' b:¯
\ V ¥
.S¦F4r¼8>1<6!.0T¦T1XT¦J4r¼T¦^1Oo¼T¦`=
>
(9=aPJ 'S¢&Ob k ¦ bk 8 % ((9"µ.0«/1X ¦ 4 <0
Fa( V?61Oo`'?pµ.0«71O ¦ 4 \
-D.mV6 1Xo`^4 byµ.S«71X 8 4 \ µ.S«:4
\ V ¥
.0z4ETzBNµ.S«71X ¦ 4}`#
> <
\¥
.6!.0 ¦ 1 ¥
.0o4$4X4 b@ ¦ ' ' % ! <' R@6!.0 ¦ 1 ¥
.So4$4 9 ¥ .So_4
: bo ; < (¢& ! $ % ' !
¥
.A6 .S ¦ 1 ¥
.0o4$4X4¼ 8 "< %R ! ¦ $
((9"B;TqTx$)C=.
¥
.6!.0 ¦ 1 ¥
.0o4$4X4¼ 8 4 \ V ¥
.0 9 4r| 8 176 .S ¦ 1O : 4r| 9 1 ¥
.S ; 4r| : 1Xo| ; `=
D
ÀFE¬87 - 'HG) À
Á3v9 {k j?w9}3uB{9 ~¥jyv9©yj? h~&±-/.0+k4?¦C{1uty¥fCv6}Cw9fÀy¥f3j? jj·<sB~y~~¥v9hj- ji~y¥ sBxy¥jixu|{9~~¥ji~µv1©½ez³<~
] ~¥}3x4f)yf3{y]
.S:4s|~' j?w6}Cu|{1 ¬¸ß~¥j?j5"<¦lC1¦M¦%Tl ñ¼¦y¥fCs|~'s|~r3v1y'yfCjÀxi{9~¥j$strÂw9j?r3j? 4{1uB91¦µZl]°
r a¦%©«v6 ¬{1rV®y ¥jij,{9}<y¥v6h${y¥v6r« ¸º~?°yi° µ.0«:4HM'¼{1rM¤©«v6 ¬{1rV¤uBj©ñy¶auBstrCjZ{1 ¬ez³"]P¦sty¬sB~
3 ¥v6Mv~jZ;yv;C}3stu|Â{9r¤{1CC vT·<sth${1y¥sBv9r®{1}<yv9h${yv9rW-_JI.S«:4'~¥}3x4f®yf3{yµ.S-_JIk.0«:4X4/*]N(.04°
ef3j}3{9utsty)v1©yfCj`{1CC vT·<sth${1y¥sBv9r®fCsBw9fCuB¤<jiMjir3C~kv9rK{1rª{9CC vT·<sth${ystv6r)©«}Cr3xy¥sBv9rdx?{1uBuBjiLK
§f3sBx4f)<j¿MrCj¬~v6hj (b9' ! }'~}3<y¥ji ¥h$~§fCv`xi{1r±Mj¬{9CC vT·VsBh${yjiÒ° ´j$r3v§ C stjF3
jixi{1uBu8y¥fCjx?v9r3~y¥ }3xystv6rÀv9©d-_MI.0«4,
jyR] 8j¬{uBj©ñy¥¶]uBsBrCji{9 ¹yj? h j?§ systrCw~<~y¥jih {1r3t«
\ ¬
+N1:1 ® 1O¯k°q{y ¥jijk{9}<y¥v6h${y¥v6r
~¥}3x4f,yf3{y
\
µ.S«:4¸ßv9 ¹j?9jirC²±Yµ.N4¥¼°zÁsB ~yi¦8§µjstrC¿3rCsty¥j?uB,j·Vy¥jir3y¥f3j¯~¥jyzv9©½~y{1y¥jZ~Dv9©
«Ë§sty¥f){1r±str<¿MrCsyjr}3h'8j? v1©%rCj?§ ~y4{y¥jZ~?¦strCsty¥s|{1uBuB`rCv1yv<x?x?}C ¥ sBrCwÀsBr ° v1yjky¥f3{1y~¥sBr3xjk§%j
CvrCv9y¹hv<<s©«¯rCv6 ®;¸ßstr´3{1 ¥y¥s|x}3uB{9 i¦3y¥fCji j?h${9str`¿MrCsyjZ¼¦MyfCjkuB{9rCw9}3{9w9j jix?v9w9r3st»iji,VC«
s|~yfCj¯~{1hj6°
¢
r,y¥fCj¯v1yfCj? qf3{1rMÒ¦Msty¹s|~z{9ut§{T<~8v6~~sBCuBjy¥vxv9hjM{9x4¾Ày¥vÀ{$¿3rCsty¥j¯~¥jyqv1©X~y{yji~
©«v6 « ¥jZ~y ¥s|xystrCw yv¯yfCj~¥jyv1© R ' ' ( ¦<sº°j9°X~y{1y¥ji~k~¥}3x4fyf3{yµ.0«71O=4Z
\*
°
³y4{1 ¥y¥sBrCw©« ¥v6hv«8
\
«$¦§%jsBr3x j?hj?ry4{1uBut`C}3stu|){¿MrCsyj$rV}Ch'8j? v9©Ãy¥ j?j${9}<y¥v6h{1y{N«
2 \
¬
+21T1T®1O¯
2
°z§sty¥ff~}3x4f;y¥f3{1y@fC¸#µ.0«
2
4fµ.S«
2 ¦ 4}Crystu½§µj'w6jy{1r´{9}<y¥v6h${y¥v6r
« ®§sty¥fB¨~}3x4f y¥f3{1y2µ.0« 4¼]N(.6µ.0« 8 4$4¦¹s]°j6°*µ.0« (4]N.04° ±j±<jirCv1yj;V
- I.0«4yfCs|~q{9}<y¥v6h${y¥v6rH« V°ev,xv9rM~y ¥}3xy«
2 ¦ ©« v9h « 2
¦Iy¥fCj¯y¥jZx4fCrCs|6}3jkx?v9r3~¥sB~y~¹sBrP¿3r3CstrCw
{Àyj? h <$sBrtµ.0«
2
4q~¥}3x4f;yf3{y</ 8q{9r3H8/ZBWµ.S«
2
4¦{9r3;y¥fCjir±sBr)C}CsBuBCstrCw¯
2 ¦ ~¥}3x4f;yf3{y
µ.0«
2
4Uµ.0«
2
¦4{9r3D8sBhµ.S«
2
¦F4°
!"
#
³<str3x?j«
2
{1r3R«
2 ¦ v6rCuBq<s%$Ij? 4~VyfCj?sB ji~¥MjZxyst6jy¥ 4{1r3~¥systv6r3~~¥jy4~?¦Zy¥vjir3~¥}C ¥jµ.0«
2
4&µ.S«
2 ¦ 4
stys|~jirCv9}3w9fKy¥vÂx?v9r3~y¥ }3xyN¯
2
¦P~}Mx4fdy¥f3{1yÀstyÀ~y ¥s|xyutdxv6ry{1sBr3~N¯
2° r£v9 4<ji $y¥v¤fM{T9jP{1u|~¥v
82Bµ.0«
2
¦4¯sys|~rCjix?ji~~¥{9 ¥´y¥v){9CK~¥v9hj¬y {9r3~sty¥sBv9rM~'yv¯
2
y¥v±v9Cy{1sBr¯
2
¦1°ÂefCs|~$x?{1rªMj
VsBj?§µji,{9~{ ' ( ! 8jy§µj?jirÀyfCjy§µvy¥ji ¥hË ¥ji§ ¥sty¥sBrCw$~<~y¥jih~Q½yfCj~j?yzv1©y¥ 4{1rM~sty¥sBv9r3~
¯ 2 v9©«
2
{1rM"]P° a©-y¥fCji ¥j`j?·<sB~y~À{±y¥j? h <Pstr µ.0«
2
4$~¥}3x4fKy¥fM{y2<"/ 8¦VªCj¿3rCsty¥sBv9r£v9©
D¦y¥fCji ¥jkj·<s|~y4~{ }CuBjk~s qV¦{w6 ¥v6}Cr3Px?v9ry¥j?·y:jkIKÃ{1r3±{À~¥}C3~y¥sty¥}Cy¥sBv9rd¸ß{h${yx4f8¼uª~}Mx4f
yf3{yh<
\
jkI~0uKk jkIq^uK
\
8°
¢
rdy¥fCj´v1yfCj? ¬fM{1r3Ò¦Vdxv6r3~y ¥}Mxy¥sBv9rdv9©qy ¥jij;{1}Cy¥v9h${1y{C¦
< \
jkI~SuKBfµ.0«
2
4¯hji{1rM~ky¥f3{1y;¸Z¼'yfCj? j,j·<sB~y~${)~y{1y¥jCBi ~}Mx4fÂyf3{y/~0u[
´('
;{1rM
¸]l9¼sjkIKU
´('
^¤I~}3x4fy¥f3{1y^¤!BW ® ° .j?rMxj9¦V©« v9h¸Z¼Ã§%jq¾VrCv§£yf3{y§%jqf3{T6j©«v9uBuBv§strCw ,! '(
Pµ8jy§µj?j?ry {9r3~sty¥sBv9rM~v1©d«
2
{1r3À }CutjZ~v1©d]
)%*
+ ,
- . / *
S
³<str3x?jj?6j? $y¥ 4{1r3~¥sty¥sBv9rv1©«
2
s|~strC«
2 ¦ ¸ßsº°j9°s¯
2
±¯
2 ¦ ¼¦C©«v6 y¥fCjy¥j? hi8%y¥v8j jixv6w9rCsB»?jZ¬V
« 2 ¦ ¦9styÃs|~½j?r3v9}Cw6f¯yvj?r3~¥}C jy¥f3{1yz¸ß¼q^uC
´('%0#C
V°efCs|~½s|~Ã~¥}"!¬xsBj?ryÃ~¥str3x?j§%jxi{1rky¥f3j?r$ j?§ syj
8 \
jkIq^uKstryvjkIKI{9r3©« v9h¨¸ºl6¼½§µjzw9j?yÃyf3{yjkIK
´('
¦
^¤]¦V~sBr3xjR¯
2
±¯
2
¦1°ÁsBr3{1uBuB9¦V~sBr3xj
^¤B ® ¦#8pBhµ.S«
2
¦F4°
ev$j?r3~¥}C jk¸º6¼¦C§%j-rCjijiÀy¥v¬{6C~v6hkjqy {9r3~sty¥sBv9rM~ÃyvD¯
2
¦1¦<s]°j6°Iv9sBrÀyfCjx sty¥s|x?{1uÒM{1sB Q
)1*
, . / *
- S
,%2
S
<sB jixy~¥v9uB}<y¥sBv9r;y¥v,f3{T9jq^uU ´ '%0#C
sB~¹y¥v,f3{T6j¯{y¥ 4{1r3~¥sty¥sBv9r;v9©ÃyfCj'©«v6 ¥hvqTu ¬sBr«
2
¦°
.zv§%ji9ji i¦yfCs|~Ãs|~Ãr3v1yµx?v9h3{1y¥sBCutjz§syf$y¥fCjq~y4{1r33{1 4rCv9 h${1uBst»ijik©«v9 h v1©Òy¥f3jy¥ j?jq{1}<yv9h${y4{-§%j
}M~jfCji ¥jT°efV}3~?¦3Mj?©«v9 j'{9CCstrCw7q^ut'y¥v$y {9r3~sty¥sBv9rM~v1©r«
2
¦3§µjrCv9 h${1uBst»ijqstyz¿M ~yy¥f3{9rC¾<~y¥v
yfCj;TqTx
$
©«}3r3xystv6r±¸º~jij-Cj¿3rCsty¥sBv9r`l1¼°1.j?rMxj9¦#¯
2 ¦ \ ¯ 2 e ;TqTx
$
.0qTu¼=4° ´jw6st6jzfCji ¥j
{9rÀj?·C{1hCuBjqv9©x?v9hCuBjystv6rÀC v<xjZ~¥~µv9r`{~¥sthCuBjez³
F 8 5(Å 4 +
\ V ¥
1761Oo` bD] }a( *5]
\ V ¥
.A6 .0z4X4 6!.
¥
.6z 4$4}`#
«8
\¡¬
+21T1T ® 1O¯ 8°-}aP P ® \
V ® ` b¯ 8 \ V ¥
.0 ® 4¼ ® 176 .S^4r¼ ® 1Oo|`#
P µ.0«8T4
\¥
^.A6 .So_4X4 'D] b % ' ! «8 P% OcR ! '(
-
+
-
-
.
S
2}a , a ,!ta 3b % Ru
\
VQz¹ `=,kbR,+ *3b',% =¯ ¦ \ ¯ 8 e
H;Tqx$.6!.
¥
.0 4$4X4¼Q®>4 ' PH"< %R ! 3a* ,! 3aP ' P p.
¥
.0 4$4
\ ¨ 7 %
¨ 2 * J ' Fa % ,! « 8 :¯ ¦ \ ¯ 8 e5V6!.0 ¨ 4
®1
¥
.S 4| ¨ `=
½·Cx?j?<y'sBr¤~¥v9hj¬~sBhCuBj<jix?sB3{1CuBj¬x?{6~j6¦y¥f3sB~¯xv9hCuBjystv6r)C ¥v<x?ji<}C jsB~'rCv1yw6}3{1 4{1ryj?ji;y¥v
x?v9rV9ji ¥w6j`C}<yZ¦¹sBr3~y¥ji{6Ò¦zh${TdsBr<¿3rCsty¥jiut {6C r3j?§¨y {9r3~sty¥sBv9rM~{1rM£y¥fV}3~w6j?rCji {1y¥j´{9r sBr<¿3rCsty¥j
rV}Ch¯Mji zv9©y ¥jij{1}<yv9h${y4{/«¦^1X«9(1Mj?yx1°.zv§%ji9j? Z¦3x4fCvVv~sBrCw$3{9 ysBx?}CuB{9 {1uB}Cji~©«v9 Âh${T©«v6 x?j
yfCj¬xv6hCutj?y¥sBv9r±C vVx?ji~~qy¥v`xv6rV9j? w9j¯V´{13C ¥vT·<sBh${y¥sBrCwÀstr<¿MrCsyj?uB;h${1rV`y {9r3~¥systv6r3~-V`¿3rCsty¥j
~¥jy4~v1©hkv6 ¥j-w6j?rCji {9u3y {9r3~sty¥sBv9rM~?°½efCv~j-3{9 ysBx?}CuB{9 {13~y¥ 4{9xy¥sBv9r¬©«}3r3xystv6r3~{1 j{9~~v<xs|{yji$§sty¥f
'R%Fc ! 3a* ,! <j?rCv9y¥jZd K¦Cj¿3rCsBrCwÂ~¥v9hj,©«v6uB<sBrCw®8v6~¥systv6r3~Q;8v6~¥systv6r3~¬sBrdy¥fCj
sBw9fyf3{1rM±~¥s|<j¬v1© }CutjZ~§fCji ¥j¬~¥}C<yj? h~'{1 j¬{1CC vT·<sth${1y¥ji´V; j?w6}CuB{9 uB{9rCw9}M{1w9jZ~F-©«v6 ji{6x4f
x?v9hCuBjystv6r,~y¥ji©« ¥v6h«
2
y¥v/«
2 ¦ sBrV9v6utVsBrCw${ ¥ji§ ¥sty¥j~y¥jih~SuH qTu¦I{k©«v9u|<sBrCw¬8v6~¥systv6rkA`sB~
{À8v6~¥systv6r;sBrHq§f3sBx4f´sB~-{9~~¥stw6rCjiP{~y{yj^¤½~¥}3x4f;y¥f3{1yq§µj¯v6rCuB`j?r3~¥}C jµ.0«
2
¦=1X^¤4RVQq^urEG_`
sBr3~y¥jZ{9±v1©~y¥ sBxy'ji}3{9utsty :µ.S«
2
¦^1O^¤4 \
VqTurEG`6°`efCs|~xv6hji~©« v9h y¥fCj¬©ß{9xy'y¥f3{1yy¥fCj~¥{9hj
~y{1y¥jN^¤x?{1rÂMj,}3~¥ji¤©«v9 k ¥jZxv9w6rCsB»?sBrCw;<s%$8ji ¥jiry¯yj? h~kv6<y{9strCjZ®V¤<s%$8ji ¥jir6y8v6~¥systv6r3~?¦Ã ¥}CuBji~
v6 ¹~¥}C3~y¥sty¥}<ystv6r3~i°¹efCj¯ ¥v6utjv9©½y¥fCjk{1C3 ¥vT·<sBh{1y¥sBv9r©«}Cr3xy¥sBv9r´sB~zy¥vÀ ¥jiuB{1y¥jq^urEGÀ{1r3yfCjk~y{1y¥j: ¤°
Á3v9u|<sBrCw8v6~¥systv6r3~%Cj?8j?r3$v6r$y¥f3j¹{13CutsBji¬ ¥}CuBj~)q{9r3v9r¬y¥fCjq~}CM~ysy}<y¥sBv9rNu°Á3}C ¥y¥fCji ¥hv9 j9¦
~¥sBr3xjsBr´v6}C ~j?yystrCw`{ j?§ systrCw,~y¥j?<
\
jkI~0uKpDjkIq^uK
\
8zs|~-hvVCj?uBji´´{x?v9hCuBjystv6r
~y¥ji¬v9ry¥fCj-x sty¥s|x?{1uM3{1sB ~0uC q^u;{9r3/~Suh2´('dV¦s|~µ{1u|~v'{¯3{9 {9hkj?y¥ji Ãv1©ÒyfCj-{1CC vT·<sth${1y¥sBv9r
©«}3r3xystv6r°½ÁsBr3{9utuB9¦6y¥fCj¹{1CC vT·<sth${1y¥sBv9rk©«}Cr3xy¥sBv9rKÀh${93~Xji9j? y ¥sBCuBj:.0~)¼q^1X_1Xu4½y¥v'{'~jZ6}3j?r3x?j
v9©¹~y{yji~,¸«v6rCj©«v9 ji{6x4f¤8v6~¥systv6rªsBr"9:;=<QP.6q=4¼k}3~¥ji©«v9 kyfCjÀr3v9 h{9utsB»i{1y¥sBv9r¤v9©zyfCjy¥ 4{1r3~¥systv6r
q^u¼V°
Å M>2>0«&0É 2 A ' 4 bh6 0 JaP * ' ¦ <#W
'R*Fc ,! 3a* ! *9%K¡¸]! " "».X:1O,/4/¹ R -3aP ' P K.0~
q^1O_1Xu4
\ ¦ ) 7P%
\$#
o>q%.69:;=< P .0q^4X4
&'
ææ(Täôã*)é]çßææ-ò+Zéºøðòé]òäôã$èßéaò4ãZëò4çºë¬ãTøçßðò4óôä-,æëüBøçßðò4óôóôø.è¥í3äôã/(ò4ç«éºä+Zóò4çíMé]ø¯ò(*(Tó0+Tè1+ò4óò4ó-)øçßäéº÷Tðè¥õ
äôã?éºæçºèºæ éºäôøãí2+TãTäôøã6íæéù
Á3 ¥v6h j?9ji ¥!K.0~ q^1O_1Xu4
\
¦ ¦Ò§µj¯xi{1r±{9~~v<xs|{yj:¦=1F§Q§F§!1O yv8v6~¥systv6r3~sA ¦^1F§F§Q§!10A sBr
9:;=<QP.6q=4°®efCs|~¯xi{1r¤8jÀCv9rCjÀ®<j?¿3rCsBrCwPyfCjÀx?v9 ¥jZ~8v9rM<str3wP{13~y¥ 4{9xy¥sBv9r)©«}Cr3xy¥sBv9r *v6r®y¥fCj
ji~y¥ s|xy¥jZÀCv9h${1sBrHVq^urEG/E? ~qBD]1<>AhBN9:;=<QP.6q=4J1 u5B».X:1O,/4}`
s.6q^urEG 'O4
\ 2
©«v6 ¬{1uBuA
2
Bf9:;=< P .6q=4
\
VOA ¦ 1Q§F§F§)10A `¦µ~i°yi°A
2
?A 2 ¦ ©«v6
\
§Q§F§ ¸ß§fCj? j? s|~y¥fCj
uBj·<s|xv6w9 4{1CfCs|xv6 Cj? strCwV¼° r±y¥fCj©«v6utuBv§str3w3¦§µj§stuBu½rCv1yj ;TqTxPy¥fCj$rCv6 ¥h${9utsB»i{1y¥sBv9r`©«}CrMxy¥sBv9r
§f3v6~¥j¤T{9ut}3jqs|~<j?¿3rCjZÀ{6x?xv6 CstrCw¯y¥vK;{6~{18v9j6°
³y4{1 ¥y¥sBrCw$©« v9h {$uBj©ñy¶auBstrCjZ{1 qez³N]P¦Ò{y¥ j?j¯{1}<yv9h${yv9r«{1rMP{1rP{9CC vT·VsBh${ystv6r©«}CrMxy¥sBv9r
K¦CyfCj ( ©«v9 C}3stu|<sBrCw$y¥f3j'{1C3 ¥vT·<sBh{1y¥sBv9r,{1}<yv9h${yv9rC-_MIs.S«:4s|~y¥f3j©«v9uButv§sBrCwM°µÁsB ~yi¦
~¥jy«8y¥v7«$°XefCjir¦<y¥v$x?v9r3~y¥ }3xy«
2
¦¹©« v9h « 2
9°~jZ{1 4x4f`©«v9 {x sty¥s|x?{1u3{9st Z¦Òs]°j6°¯{,~y4{yjhB'¦{À ¥ji§ ¥sty¥jk ¥}3utj7~p£qÀ{9r3;{~}33~ysy}<y¥sBv9r
u5BC».O13,/4~}Mx4fÀyf3{y~SuN
´'
k{1r32q^uZU
´('
V°
l<°«
2 ¦ \ « 2
e!;TqTx .6q^uH¼=4°
ef3sB~ÃC ¥v<x?ji~~½sB~Ãsyj? 4{yji}Cry¥sBu8sy~yv93~Ãv9r¬{-y ¥jijz{1}<yv9h${yv9r7« -~¥}3x4fy¥fM{y !BW'¦ !~ qB2]
{9r3& uB5».O13,/4st©r~0uH
´
¯yfCj?rCq^u5
´
V°µef3j?r¦ - I.0«:4
\
« V°efCj-©ß{6xyyf3{yk{1rM
».O13,/4½h${TkMjqsBr<¿3rCsty¥j¹sB~%rCv1y{C v9CuBj?h sBr¬C 4{9xysBx?jz~¥str3x?j9¦©«v9 ÿ3r3<sBrCwk{x sysBxi{1uM3{1sB i¦§µjzx?{9r
ji~y¥ s|xyR yv'yfCjq¿3rCsty¥j~¥jyv1©{6x?x?ji~~sBCuBj¹~y{yji~µsBrN«
2
¦<§sty¥fCv6}<yx4f3{1rCw6str3w:µ.S«
2
4Ãr3v9 µ.S«
2
¦F4 9°
±jrCv§ ¥jZx?{1uBuÒ{¯y¥fCjiv9 j?h v9©3a°
: < ÅVÉ Å
-
*( < $ %'^a « b (!' (*'5S C] S
'R%Fc ! 3a* ,! K
µ.0- I.0«:4X4U]N(.0µ.S«:4$4
ef3j%K ©«}Cr3xy¥sBv9rd¿C·Ky¥fCj´6}M{1uBsyªv1©qy¥fCj;{9CC vT·<sth${ystv6r° ÁCv6 ¬j·C{9hk3utj6¦µv6rCj`v1©qy¥f3jP ¥v6}Cw9f3ji~y
{9CC vT·<sth${ystv6r¤s|~v9<y4{1sBrCjiª§syf£{±x?v9r3~y{9ry K£©«}CrMxy¥sBv9rdh${13Cstr3w±ji9ji ¥)y ¥sBCuBj.S~ q^1Ou 1X=4
yvª~¥ji}Cjir3xjZ~¬v1©:^¤-{®}3rCsB}Cj)~y{yj;v9©2!~7 qfB&]1< uB ».X:1O,D4}1 !ªBv ¸@K.0~D
q^1Ou 1X=4
\
^¤ ^¤]° ¢ rÀy¥fCj-v93Mv~sty¥j6¦Vy¥fCj-8ji~y{9CC vT·<sth${ystv6rxv6r3~¥sB~y~µsBrÀh${13Cstr3w¯ji9j? y¥ sBCutj
.S~p£q^1Xu 1X=4¹yv`~jZ6}3j?r3x?ji~qv1©%CsB~y¥sBr3xy'~y{1y¥jZ~° .v§µj?6j? Z¦Ò{1uty¥fCv6}Cw9f;{9rV` ¥v6}Cw9f±{1CC vT·<sth${1y¥sBv9r
3}Cstuty$§syfKy¥fCj¿3 4~yK s|~¯w6}3{1 4{1ryj?ji®y¥v±y¥ji ¥hsBr3{yj9¦XyfCs|~sB~rCv9ykr3jixjZ~¥~{1 sBut±y¥f3j,xi{9~¥j©«v6 y¥fCj
~¥jix?v9r3Àv9r3j9°
¢ r`{kC 4{9xysBxi{1uI8v9sBr6yv9©VsBj?§¦Vy¥f3j-©ß{9xyyf3{yzx?v9hCuBjyj?rCjZ~¥~µv1©y¥f3j{1CC vT·<sth${1y¥sBv9rx?v9r3~y¥ }3x¶
ystv6r´<vVjZ~zrCv9y-Cj?8j?r3´v9r`yfCjx4fCv6~¥j?rK ¸ºefCj?v6 ¥jih"T¼s|~-{¬6j? sBry¥ji ¥jZ~ystrCwÀC v98j? ¥y9° r3<jijiÒ¦
styw9}3{9 {9r6yj?jZ~-y¥f3{1y'©«v6 k{9r®{9CC vT·VsBh${ystv6r´©«}3r3xystv6r¦-
Ik.S«:4'sB~k{;~{©«jÀhkv<<jiuv1©] .0:4¦XsBr
yfCj~jir3~jkv1©{13~y¥ 4{9xy¹sBry¥j? C jy4{y¥sBv9r°oÁ3}C yfCj? hv9 j9¦Isty-8j? hsy4~?¦Òst©%r3jixjZ~¥~{1 9¦8yvÀhv<<st©«`y¥fCj
Cj¿3rCsty¥sBv9r;v1©y¥fCj K´©«}3r3xystv6rUb^a9yfCj¯{9CC vT·VsBh${ystv6r,x?v9r3~y¥ }3xy¥sBv9r°Á3v9 zj?·C{1hCuBjstr:]¦8§%j
fM{T9j~y}3<sBji){1r){1C3 ¥vT·<sBh{1y¥sBv9r`©«}3r3xystv6r)xi{1uButjZ * ' ' zy¥f3{1ysB~Cj¿3rCjZ){1}<yv9h${ysBxi{1uBut`sBr±{
ÜñãôìñíMò-è]äôð (Zóôæò4ãTë$æ äôæã?éò4ó-)øçºäéº÷TðDø4üðòéa÷Zäôã*)äôãkéºçºææ-ò+ié]øðòé]òZí8ëZæë+äôã*)¯æ åæç/(1øè]è]äZóôæ * íMäôè
(Tçºø (1øèºæë6ù
Ü|ü<éº÷TæXè ièºéºæðKäôèò4óôè]ø%çºä-)÷éºï|óôäôãTæò4çíTéº÷TäôèäôèãTø4éò4ã-ò(*(Tçßøiäôðòéºäôøã*+Zééº÷TæXæZò éèºæé . Û
<Vr3{9hks|x§µ{T strCsty¥s|{1uBuBKÀs|~½}CrM<jyj? hksBrCjZ${1r3kC jix?sB~¥j{1uB}Cji~X{9 ¥j~¥jyX§f3j?r$rCjZxji~~{1 <}C strCw
yfCj${1C3 ¥vT·<sBh{1y¥sBv9rPx?v9r3~y¥ }3xystv6r;sty~¥j?ut©°Î%v6r6j? 4~jiut6¦8©«v9 -9ji ¥st©«VstrCwÀC v1y¥v<x?v9u|~?¦I§µj¯}3~¥j${1C3 ¥vT·<st¶
h${1y¥sBv9r©«}Cr3xy¥sBv9r3~q<j¿MrCji,sBrP{hv9 j ~y{1y¥s|x§µ{T K´sB~zj?ry¥sB ¥jiut¿C·<ji,8j©«v6 ¥jyfCj'x?v9r3~y¥ }3xystv6r
v9©yfCj{1C3 ¥vT·<sBh{1y¥sBv9r°
F 8 5(Å A
R # HOc ( ,
>b(b «8 % ,! sV6!.0Q¨4¼ ® 1 ¥
.0(4r¼F¨`
" h«¦ ! '(
-
+ - S .
-
R *%&!^a Xc9 (/ $ ( &Ja(b¯ 9 6(b(b ;TqTx%$.
¥
.A6 .S ¨ 4$4r¼®>4
R¯ ¦ ' B6 .S ¨ 4 * P ^¤¨ & Fa 7¯ ¦ b(b0
,% ! b * ! (S b P*%& '< = ' '(b
' %hbR,+ * ; *%QcR ! 3a ! K ;#*( b# ! Oc (
!uªBª».O13,/4}1< 5B¡ ¸!K.
¥
.6!.6z 4$4 6 .¥
.6z 4$4}1O_1Xu4
\ ¨ ** 'y9:;=< P .6!.
¥
.0z4$4X4
\ V `
R( * K13a* ,! +6 *( 6 P <|.
¥
.A6 .0z4X4 6 . ¥
.6z 4$4}1O_1Xu4
FaP '< 6( R ? 9 K13a ! bR,+ < %^aR= 'R%Fc !
' kF¨ Na 3b = *< (¢J ,! 7 = %=(aP<k bhu
' P 9 R%Fc !63a !%K P '*( !1 < * P=(aP6 ¯7¦
; 4 Ja 6 *Oc # ( ,! M ;TqTx .¥
.6!.0F¨ r4$4k ® 4 \
V?6 .SF¨d4: ® 1 ¥
.SF¨4 F¨`= _a ¯9
\
¯7¦eV
¥
.0Q¨4: F¨ p`' % * *
! (P ' , ' N¯9 b }a( ¥
.A6 .0z4$4p 6 .¥
.6z 4$4 b HP µ.0« 94
\¥
=.A6 .¥
^.So_4X4$4?
¢ r3x?j:- I.S«:4s|~v6<y{9strCjZÒ¦8syzs|~jZ{9~¥¬yv9ji ¥st©«À~¥v9hj ji{6x4f3{13stuBsyC ¥v6Mji ystjZ~v9rh] {9r3C$°
ayxi{1rMj~¥fCv§r¬©«v6 µj?·C{1hCuBj¹yf3{y{¯ ¥jiw9}Cu|{1 ~¥jyv1©y¥j? h$~ xi{1rCrCv9yµ8j- ¥jZ{9x4fCjZ$©« v9h yj? h~v9©
HD
°-efCsB~qx?{9rP8jk<v6rCj'V`~¥fCv§str3w¬y¥fM{yµ.0-_MI.0«4$4d¶
\ *
°,´jk§sButu{1C3uty¥f3sB~¹y¥v
yfCj9ji ¥st¿Mxi{y¥sBv9rÀv1©y¥fCjzj?jiCf3{1hk¶³<x4fC vjZ<j? X}3Cuts|x--j?X ¥v9y¥v<xv6uÒstr`~¥jixy¥sBv9r#"<°
7
.
À$ ! &? "o!#- $ µ&
r;y¥fCs|~q~jZxy¥sBv9r¦8§µjkC ¥jZ~jiry¹v9}3 ¹x?{6~jk~y}3<`v6r`y¥fCj jiji<fM{1hk¶³Cx4fC ¥vVjZ<j? ¹X}CCuBsBx -j?,C v1yv<xv9u
¸¹³V(¼°&`v6 ¥j%C ¥jZxs|~jiut6¦§%jµfCji ¥jµ}3~¥jÃyfCjÿ3·VjZ'6j? 4~sBv9rv9©3yfCj%3 ¥v9y¥v<xv6u B?C§sty¥f3v9}<y¾9ji~ji ¥6j? Z°
-ji$~ji ¥6j? 4~Ãf3{T6jz8j?jir<s|~x?{1 4<jZ$fCj? j¹©«v9 µy¥fCj~{1¾6jzv1©~sBhCuts|xsty9°1zv1yjzyf3{y{y¥y{6x4¾V~é« v9h B?
fM{T9j8j?jir¬©«v9}3r3¬v6r$y¥fCj ¹³<D§sty¥fCv6}<yµ¾6j?~ji ¥6j? 4~?° &`v6 ¥jiv9j? Z¦yfCjq{9CC vT·<sth${ystv6rky¥jix4f3rCsB}Cj
fM{T9j-{1u|~v8j?j?r`~¥}3x?x?ji~~©«}3utuB{13CutsBjiy¥vyfCjC v1yvVx?v9uI§sty¥f,¾9ji~ji ¥6j? 4~?°
efCjq³VËC v1y¥v<x?v9u½{1sBh {yh¯}<y¥}M{1uX{1}Cy¥fCjir6ysBxi{ystv6r´v9©%y§µv{9w9jir6y4~?¦{1r±strCsty¥s|{yv9 N{9r3´{
ji~¥8v9r3<ji ¦~ji3{1 4{yji,VP{1r´strM~jZx}C j'rCj?y§%v6 ¥¾I° &`}<y}3{1uX{9}<y¥fCjiry¥s|x?{ystv6rPhji{9r3~¹y¥f3{1yi¦Ò§fCjir
{3 ¥v9y¥v<xv6u~jZ~¥~¥sBv9rsB~¹xv9hCuBjyji,8jy§µj?jirÀy§µv¬{1w6j?ry~i¦<yfCj?,~f3v9}Cu|,Mj¯{9~~}C jiÀv1©½jZ{9x4f,v1yfCj? ~
s|<jir6ysy6°-r´w6j?rCji {9uº¦My¥f3jkh${9str´C ¥v6Mji y,j?·V8jixy¥jZ`©«v9 qyfCsB~q¾VsBr3Pv9©ÃC v1y¥v<x?v9usB~¹y¥vC j?6j?ryq{9r
sBry¥ }3<ji ©« ¥v6hËsBhMji ~¥v9rM{y¥sBrCw$v6rCjv1©yfCjy§µv{1w6j?ry~i°µef3sB~zC ¥v9y¥v<xv6us|~3{6~jZ,v9rP{1r,j?·<x4fM{1rCw6j