May 19, 2006 - HAL Id: inria-00070464 ... L'archive ouverte pluridisciplinaire HAL, est ...... G ordon Plotkin, editor,C M S Р'05 : Procee)A ings of t h e t h irУAl ...
Learning Transition Rules from Temporal Logic Properties Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman, Laurence Calzone
To cite this version: Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman, Laurence Calzone. Learning Transition Rules from Temporal Logic Properties. [Research Report] RR-5543, 2005, pp.19.
HAL Id: inria-00070464 https://hal.inria.fr/inria-00070464 Submitted on 19 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
Learning Transition Rules from Temporal Logic Properties Nathalie Chabrier-Rivier — Francois Fages — Sylvain Soliman — Laurence Calzone
N° 5543 Avril 2005
ISSN 0249-6399
ISRN INRIA/RR--5543--FR+ENG
Thèmes SYM et BIO
apport de recherche
!"$#%&! ' ()*#%+ ,-/.0-2143658790:-2;y{z}|D~_a=b+a@h"ctrsbuhn^=`Za=bv_zxyx>z|D~_aHb Mx
a@hbjxDhz{DhnaHb j_2xnh"ta*naH]_a@]_a2MDosz{yDfoHw/aHb ¢¡£=¤@¥¦_§¤¨ e8x>buhlx©ªhn]_af«lx¬ZxBha@`Z2xyOna=_a=bna@Dhhnzxz}bnbn~_a=blz e]_z_af®ªa=n¯z{_9ta=yb «z{hn]hn]_a9_xv_ya@`x©y{aH_z{¯s°`Zz_z_hna=`Z/x>y¯huha@¯b"©±x`²¢yn>a bua@h³x©Mhna=`92xy_h_´ kµThn]_z}b ¯2a@ «la%zsa=buhnz>hnaPh]_a&bux>`Za@«]¯h tz{¶2a=na=Dh _xv¯y{a=`$x© ya=_z_·h]_av/a=]¯sz{x>y ~_ya=b³x©burtbuhna=`¸©±nx>`z{hb¹x>v¯bua=n>a= ha@`Z/x>y_nx>/a=uhz{aHb"©±x>n`y{zº@aHPz{hna=`92xyyxz}´ m³~_ zDhna=naHbhz*h]_zb_xv_ya@`nxDbua©±x`csrtbha@`bizxyx>r³¯fhn]¯ata=a@yx¯`9a=Dhx©_`]¯z{_aRy{aH_z{¯ ha=]_¯z|D~_aHb©±xMya=n_z_¹v_zxs]¯a@`Zz=y_a=>hz{x> ~_y{aHbM/ ¬sz_ahz+¯`Zahna=bz9hn]_a"ilzxt]_a@`Zz}@y jv¯buhnh¹e8]_z_ailknm*l»j³e&´Om³~¯³x>Dhnz{v_~_hnzxFzbjh«lx©±xy}¼´½z{buh=¾¯zPh]_aa=_a@ybua@huhnz_Bx© ¿fz_¬a buhn~¯hn~_a=b³¯%x/~_na=Dh"hn¯bnz{hnzx8bnrsbuhna=`b@¾O«lawta@À¯_a9/xDbuz{hnza9¯P¯a@>hnza9l\® ©±x>n`w~_y}a/F_nx>/xDbuahn]_a=xr¢a@szbnzxPyx>nz{hn]_`Á©±x"ya=n¯z{_Zh¯bnzÂhz{x>Pn~_ya=b"©±nx>`Ãl\® bn2a=z{À/=hnzx´Pcta=x>¯¼¾z&hn]_a bua@huhz{_x©]srDv¯nz}&burtbuhna=`Zb «]_z}]·_&8@xDhnzs~_x~/btrs¯`Zz}@b _a=bz{v2a=Pvsr8tz{¶Oa@a@Dhnz}ya=|D~¯hnzx¯b=¾O«a9bu]¯x«]_x«Ä¢bnz`9zy}*yx>nz{hn]_`¸@v2awv¯~_z{y{hfhnx y{aH /`Zaha@y{~¯a=b©±nx>`ų@x¯buhnzDh®t\® bu2a=@zÂÀ2@hz{x>ª´kµwhn]¯al@xDhna@ÆDhx©2iknm*l»³je&¾«]¯z]wzb ~/buaH9>bMf~___z_*aÆ_`9¯y{az9hn]_z}bM¯/a==¾>«aa@2xnhMa@y{~¯hnzx9naHbu~¯yÂhbMbu]¯x«z{_¹h]_a"~¯bna©±~_y_aHbnb x©h]_zbj__x>>]¯¢a=¯x>~_z_w/a=u©±x>n`/a¹À¯~¯naHb@´ ÇPÈDÉOÊË Ì ¥Í£¨ \a=`92xy>®ªx>z¾l\®R¾=®t\®M¾x¯buhnzDhb=¾=~¯y{aR®a=n_z_/¾@:`Zaha@ª®a=_z_¯¾ ctrsbuhna=`bizxyx>r
Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30
## g $#F* # *# l
Zg"$#*@ £ ¨ ®"¯y{~_/nhtaHbh~tÆfbn~_y{aHb|D~_aHbhz{x>¯btaRa@_=bna@Dhhnzxfha@`Z2xa@yy{aa@w__a@ hzbba~thx`hz|D~_a:hzÂha@Dh_~_xv_y^@`Za __a@Dhnz}bnb>aMta u`Zxhz© bhna=`92xa@y}b ¯nhnz ~_ >¯Ba=¯bna@` v¯y{ata_x_ =a=blha@`Z/x>na=y{ya=b="´ !¹¯b"@af¯_za@¯x~¯#b @hn~¯_z{x>¯b+y{a*¯nx>v_y{^=`Zaf|D~_a=y|D~_a 2a@~tz{$¶ @a@DhR% __a@/tna+ya=b:^@>y{aHb:ta"x>`Z/x>uha@`Za@DhM% ~_Bburtbuhn^=`9#a f¯uhz{M_a"buaHb_nx>_&z @'h =b ha@`Z2xa@yy{aHb³x>v¯bna@( @aHb"a@h¹©±x>`yz'b @aHbja=%yx>z|D~_a hna@`Z2xa@yy{a>*´ )"xhnawzD'h =na@h¹2x~_*@a9¯nx>v_y{^=`Za sza@Dh¹_a y}Bv_zxyx>z{ataHb³bnrtbh^@`Za=b³ahft~ =a=y{x>_/a=`Za@Dh¹ta hnaH]__z}|>~¯a=b¹% __a@Dhnz}bbna~_hn+x `hnz}|>~¯aw2x~_f¯_na=¯tawtaHb¹n^=ya=b¹taw =>hz{x>¯b"v_zxt]_z`9z}|D~_a=b¹a@hftaHb¹¯`Z^hnaHbj@z{ @hnz}|D~_a=b ¯¯bly}9e]_z_af"v¯buhnz{hna*ilz{xt]_z`Zz|D~_a*ilknm*l»j³e&´ )"xhna¹@xDhnzv_~thnzx a=buha@Fta@~_ÆBhna=`9/b@´ Rna=`9z^@a@`Za=>hH¾__/b+y{a*@>ta¹, @ =y¼ta=bbuhn~¯h~_a=bta*¿fz{_¬>a³a@hjta=bbnrtbh^@`Za=b_afhn¯bnzÂhz{x> @x¯@~_a@Dhb=¾/¯x~¯b³ À¯¯zbbux>¯b³y{aHb"©±x>n`w~_y{aHb¹l\® /xDbuz{hnzaHbja@h³ =>hz{>a=bjahf_nx>/xDbux>¯b~_y(x z{hn]_`ZaB©±x>¯ bu~_wy' =szbnz{x>&taBh] @x>nza¾2x~_Z_¯na=¯taBta=bwn^=ya=bwtaBh¯buz{hnzx/-b 8¯uhz{ _aFbn. =z{À/=hnzx/bZa@ y{x>z}|D~_a hna@`Z2xa@yy{al\®R"´ !ja=~tÆtz{^=`9a=`Za@Dh=¾_¯bZy{a8=taFta=bBbnrtbh^@`Za=b ]srsv_z_a=bM|D~_z2
x~_hna@DhM~_¯ajtrs¯`Zz}|D~_ajx>DhnzD~¯a" =@nz{hna"/RtaH"b H|>~/hnzx/bMtz{.¶ =na=>hz{a=y{ya=b=¾¯x~¯b `Zx>>hnx>¯b¹x`Z`Za@Dh*~_!yx>nz{hn]_`Za9buz`Zz{y}zna92a@~t0h /hnaZx>¯buhn~_zÂh*2x~_*__a@¯ta ya=bfy{a=~_b _a=b+¯`9^@hna=1b Z¯uhz{tabn2 Hz{À/@hnzx¯b+a=Fy{x>z}|>~¯a³ha@`Z2xa@yy{a*®t\®&aH³@xDhnzDhnaHb@3´ !¹¯b yaj@xDhna@ÆDhajtajilknm*l»³je&¾s|D~_z¯aHbhR~_hnzy{z}4b ¹x>`9`Za"a@Æta@`Z_yaj% __yz}@hz{x>B_/bRaj¯_za@H¾¯x~¯b ¯' Hbua=>hx¯b³ta=b³ =bn~_yÂhhbj% @y~¯hnzx|D~_z`ZxDhna@Dhj5y ~_hnzy{z{'h ta9ahnhna9__xt]_aa@hftaHb"ha@`Z¯b a@6Æ H~thz{x>a=¯x>~_aHDhb=´ 7ÄÌ ¤H£ Ê (§ 8 £¨ ®x>z|D~_a\a@`Z/x>na=y{ya¾l\®M¾®t\®R¾xDhnzDhna=b=¾ª"¯_na=Dhnz}bnb>aZ_a9^@>y{aHb@¾" ¯na=>hzbba¹ta*¯`9^@hna=b=¾tizxyx>z{aftaHb"csrtbh^@`Za=b
!"#$%"'&()* +-,.&%
w 'R \+]¯aja@_a=bna@Dhhnzxx©ªhna=`92xyO_h]/bv/a=a@¢zsaHbhz{DhnaHZ©±x+yx¯hnz`Za³zjuhzÂÀ2@y2kµDhna=y yza@/2a 1 t4¾ 354´kµBe8>]_z_a"®ªaH_z{¯¯¾`ZxDbhRx©Ohn]_a"«lx¬ x>Zhna=`92xy/na=_a=bna@Dhhnzx9zbbu~¯a=bMtaHy «z{hn]%hn]¯a_nx>v_ya@` x©ya=_z_s°`Zz{_z_hna=`92xy¯huha@¯b¹©±nx>` yn>awbnahx©Rhna=`Z/x>y¯h 16 3_¾O_¾O>s¾¾6 785 ´³kµ8hn]_z}bfxDhaÆsh=¾/hn]_aw~¯bna x©:ha@`Z2xyy{x>z}*]¯b³v2a@a@_nx>/xDbuaHPb³B`Za= hxZna=_naHbua=Dhlh]_a¹hna=`92xyªbuhn~¯hn~_afx©hnz`9abna@za=b+x©a@>a@Dhb=´ kµhn]_z}b¹¯2a@¹«awz{s>a=buhnz>ha*hn]¯a9bnx`Za@«]/h¹_z¶Oa@a@Dh³¯nx>v_y{a=`¸x©Rya=n_z_h]_a9v/a=]¯sz{x>y ~_ya=b³x©burtbuhna=`¸©±nx>`z{hb¹x>v¯bua=n>a= ha@`Z/x>y_nx>/a=uhz{aHb"©±x>n`y{zº@aHPz{hna=`92xyyxz}´ m³~_ zDhna=naHbh:zwh]_z}b:_xv_ya@`ÄnxDbua©±x` csrtbuhna=`Zb:ilzxyx>r¯whn]¯a"ta@>a@yx_`Za@Dhx©2hn]_a"ilzxt]_a@`Zz}@y jv¯buhnhe8>]_z_aiknm*l»³j9 e 1H: 5R«]¯z]!_xsztaHbfa@ssz{x_`Za=>hf©±x>*`9xtta=y{z_/¾|D~_a@rsz{¯ ¯·@~_hnz_8`Zxtta@y}b9x©j@x`Z_yaÆ&v_z+x `9x>y{aH~_y} z{Dhna=>hz{x>·_xs@a=bbuaHb@´%iknm*l»³je z}bZx>` 2x>bna=x©9n~_y a v¯>buaHBy}_>~¯>a"hnxZ`Zxtta@yv_z{(x 4`Zx>y{aH~_y}lz{Dha@hz{x>¯b=¾s¯ xz{>z{¯y2hna@`Z2+x yy{x>z}fv¯bna=8y_~¯afhx©±x`yz{º=a*hn]_awv_zxyxz}@yª_x2a@nhnza=bjx©hn]_a9burtbuhna=; ` 1 54´¹m³~¯"À¯bh a@Æt/a=nz`Za@Dhy¯a=bn~_yÂhbR]/av2a@a@na=/x>uha=Zx>¢|D~¯yz{hhz{>a"`Zxtta@yOx©¼h]_aj``9`y{z}B@a@yy2@rs@y{a @xDhnxyzD>xysz{_v2x~th >Bz}v_ya=b¹¯4 hnzxn~_ya==b 1H: 5 ´kµ%hn]_z}bfx>>haÆsh=¾¼«laZa zsaHbhz{Dhnz_`>]_z{¯a³ya=n_z_ hna=]¯_z|D~_aHb©±x+y{aH_z_wilknm*l»j³e a=>hnzx¢n~_ya=b 1 5 ¾_b«a=y{y >b*¬sz{¯ahnz}¯`Zahna=b=¾ª©±x`ghn]¯aBxv¯bna@aHv_z{x>y{x>z}@y:_nx>/a=uhz{aHb*x©+h]_a¢x>nD_z}bu` ©±x`Zy{zº@aH z hna=`92xyy{x>z}´\+]¯a@a¹]/bv2a@a=P«x>n¬Bx> hn]_a~/bua*x©`]¯z{_a*ya=n¯z{_9ha=]__z}|D~_a=b=¾/bn~¯]Pb z¯t~/hnza+yx>z_x`Z`Zz_> 1=8 5 ¾hx¹zt©±a=:a@¯aR©±~_/hnzx/?b 1 754¾>`9a@hv/x>y{z}R/hn]s«+rta=bzthnzx¯b 1 t¾@ 5_x:>a@_a+z>ha@hnzx¯A b 1By{aH~_y}z>ha@hnzx¯b©±x` ha@`Z2xyO_x2a@nhnza=blzb|D~_z{hnaf_a=«*¾tv/xhn]©±nx>`hn]¯a¹`>]_z{¯a³ya=n_z_9/a=bn2a=hz{>a¹¯¢©±nx>`hn]_a ctrsbuhna=`bizxyx>r/a=bn2a=hz{>a´ \+]_aP@xDhnz{v¯~thnzx x©"h]_zbZ/2a@Zzb9h«lx©±x>yª´ ½z{bhH¾Mz h]_aFa@¯a@y+bua@huhnz_!x©¹x/~_na=Dh h¯bnzÂhz{x>8burtbuhna@`>b 1 >: 54¾O«la _x2x>bnaa@s~_`Za@hz{>a yx>nz{hn]_`F¾2¯8B`9x>na z{sx>y{>a= h]_a@x>nr a@sz}buzx%yxz{hn]_C ` 1 8 5 ¾O©±xfya=_z_Bh¯bnzÂhz{x>8n~¯y{aHbj©±x` v2a@]¯szx~_ybu2a=@zÂÀ/=hz{x>za= z!x>`Z_~thhnzx\a@aZ®ªx>z}9l\D ® 1{H8 54´w\+]_zbfy{>xzÂh]_`¸zb¹zy{y~¯buhnhnaH8«z{hn]iknm*l»³je naH hz{x>!n~_yatz}bn@xa@rF©±x`g ¯uhzy:`Zxs_a@yMx©la=>hnzx~_y{aHb*¯!Pbnah*x©+xv/bua=n>a=%v_z{x>y{x>z}@y ¯nx>/a=uhz{aHbR©±x>n`y{zº@aH¢zl\®M´ csaHx>¯¼¾Rz hn]_aPbnahuhz{¯%x©³]srsv_nz} bnrtbha@`b9«]_z}] ¯ x>>hz{s~_x>~¯b9trs¯`Zz}@bZta=bzv/aH vsrFtz{¶2a=na=>hzyaH|>~/hnzx/b@¾/«a bn]_x«)]_x«Bbnz{`Zzy³y{>xzÂh]_`Ã=Pv2a ~¯bna= hx¢ya=P¯`9a@hna= y{~_aHbO©±x`)"®t\®Bbn/aHz{À/@hnzx*v¯>buaH³x>fÀ¯b'h 4x>ta=¼y{x>z}«zÂh] x>¯buhnz>hbOxa=¼hn]_aRnaHy}b@´\+]¯zb >a@_a=y:`Zahn]¯xsz}bzy{y~¯buhnha=«zÂh]hn]_aBya=n¯z{_Fx©l¬sz_ahz/`Zaha@*y~_a=bfz·ilknm*l»j³e a=>hz{x> ~_y{aHbw©±nx>` aÆt2a=ha= s~_`Za@z=y+_x2a@nhnza=b=¾Rbu~/]V>bwxDbn@z{yy}hnzx/b@¾:h]_a=bn]_xy}_b=¾~¯n>a /huha@¯b=¾tah´ \+]_a2a@n©±x`¯@a9À¯~_a=bfa@2xnhnaHz{hn]¯aBxDhaÆshx©ilknm*l»jje ©±x> bua=`Zz µ~thx`hz=yy{r @~_hnz_`Zxtta=ybRx©ªv_z+x `Zxya=~¯y:_nxt@a=bbuaHbRaa@/x~¯z_¯y{a=>trwbn]_x«Vhn]¯aj~¯bna©±~_y_aHbnb x©h]_a=bna*`Zahn]¯xs¯b@´ /
0
EEGFH$IIJK
>B % % ' : % + )6 4 B " * +* :
()@ @ * @Á !"$#%*!! 'lÁ
$&%('
0
#
"!
)+*-,/.10243658789:0,`9¯~thhnzxF\a@af®ªx>z}¹l\® 1=5ªv¯bnz=yy{ra@Æshna@/_b+y}bbuz}@y/yx>z³~¯bna=¢©±xta=bzv_z{¯ buhhnaHb ±«la«z{yyRbna@ay}hna=*aÆ_`Z_ya=bf~/buz_Pa@z{hn]¯a@*_x2x>bnzÂhz{x>¯y:yx>zw©±x>Fv/xsxya=bnahnhnz_Px À/buhjxta="y{x>z}fhnxta=bz{v2awnz{hn]¯`9a@hnz}x>¯buhnz>hbxa="a=y}b ¾¯«z{hn]x2a@hnx>b©±xja=>bux>_z_ x>9hnz`9a buhha+hn¯bnz{hnzx¯b ¯9_x> _ahna=n`Zz_z}bu`F´:csa@>a@yshna=`Z/x>y_x2a@hxbna+zDhnxs_~¯aH zl\® `ZaH_z_ z}blhn~_ah_a@Æshjbha@ª¾ `ZaH_z_ z}by«lrtbhn~_a>¾ `Za=_z_ z}blÀ¯¯y{yrhn~_a>¾ `Za=¯z{_ z}blÀ¯¯y{yrBhn~_a*¯ z}by«lrtbhn~_af~_Dhnzy v2a=x>`Za=blhn~_a>¾ ¯ `Za=_z{¯ zby{«+rtbhn~_a*~_Dhnzy v/aHx>`9aHblhn~_a*x zby{«+rtbhn~_a´ )jxhajh]¯h ±a=bnª´ l@¢v2af_aÀ¯_aHBvsr naHbu´ ´:\«lxw/hn] |D~¯Dhnz{À¯a=blajzDhnxs_~¯aH ©±x>naHbnx_z_9v2x~th"_x> µtaha@`9z_z}bu` `Za=¯z{_ zblhn~_a*x> y{y¼/hn]/b@¾¯¯ `9aH_z_ z}blhn~_a*x> bnx`Zaf¯h]ª´ kµl\®M¾yy¹hna@`Z2xy¹x2a@hxbB` ~/bh v/a!z`9`ZaHtzhna=y{r _a=@a=taH vsr ¯hn]W|>~/Dhnz{À¯a@ a´ ¯´ z}b_xh:zBl\®R¾v_~th z}b ´kµwhn]¯a"®ªz_a=\+z`Za®ªx>z¾®t\®M¾x>_yr*hna=`92xy x>/a=hnx>blaf~¯buaH¼¾_bnxwh]_a*a=bnx¯z{_9z}b+x_yr¢v2x~_h"x_a*bnz{_>y{af¯hn]ª´ )jxhnafh]¯hh]_a@afzbj9buhnx¯9t~/yzÂhrBz hn]_a*x>/a=hnx>b >
@?
BA
C?
BA
>ED
FHGI
I
FKJLI
I
FKMLI
I
FNIPORQ F
Q
I
ITSUQ M
Q
I
?
J
Q
A
?
O
S
I
A
VD
FKWI
I
FKX I
?
I
WM4JLI
WM@YZXLJLIT[
\A
]D
FN^_X4GKY`Ia[cbdW'2:& R
W ?:M ]&_SHQe!QTSgfhYiX"NPO \j]&SP_`k= \lb > ?: b M K \on> ?pm K K \7rH> ?:M K NPORQTSPQUQTtuK BWVvNPVHwyx{zZV N \*|Z>?:M ]&_SHQe!QTSgfywxAz \ | b > ?:b M NPORQTSPQUQTtuBWVvNPVHwyx{K zZVgiOyNPK OiX"N1\ |K > ?:M X"
[y\i>?pM]_"SUX"*zl5{w ]&_SdXWwx{z BD]]&_SHQe!QSgf zZlb {w \i>?pM-/NPORQ
K \ | > ?:M b
( P
i)my4lrPp 0
P 1
sp P0.qp /,
0
uwvxp yzil
)+.1vx|na9a=_a@yhn]¯©¡^*z{`Z_yza=b¹hn]/hfa=]%¯h]z{¡^z}b¹¯hn]z{¡ª# ´ \+]s~¯b¹z{©R«a }
~
a
b=Ye
s
s
[
W
b
B
Y`
f
\
s
[
Y
[/bd
Y
[
>_F9hn¯bnz{hnzx n~_ya*z8Zn~_ya v¯>buaH¢`Zxtta@y4¾_h]_a*_a=«W`Zxtta=yªzb"`9x>na*>a@_a=yOhn]¯ hn]_az_z{hnz}y `Zxtta=y6´
EEGFH$IIJK
3
>B % % ' : % + )6 4 B " * +* :
¤ Ìa %H ¡ b=Ye s s [ *)¢¡ % %. "= +A& *&$8
$+B W § -% $-¡ # Ì ¥ È £ RÈ § Z~ § $l¡
È }
~
#
b
Y`
#
#
f
# # #
\
s
[
j£ &¥¤4 $+= % * )¦ # Y [/bd # Y [
¡ # zb Ì ¥ È £ RÈ § § h]¯ ¡ zÂp ¶ ¡ zb Ì ¥ È ¨/È È ¥¦ 8 hn]/ ¡ # ´³\+]s~¯bjz©R«laa@`Zxa h¯bnzÂhz{x>~_ya*z{8Z~_ya v¯bna=`Zxs_a@y4¾//¢h]_aa@y}hz{x>x©h¯buz{hnzxFa@`z¯blhxhy6¾¯hn]_a=Fhn]_a ¯a@«T`Zxtta=yªzb"`9x>nafbn/aHz{À/¹hn]¯ hn]_a*z_z{hnz}y¼x¯a´
0
"!
~
#
$#F
\+]¯ajbuz`Z_ya=buhR«lrhnx ta@À¯_aj ¿fnz_¬a"buhn~¯hn~_azbRx© ha@Zhnx ~¯bua³fn~_ya v¯>buaHwy}¯~¯alhnx _aÀ¯_a ´³kµPhn]_aZx>DhnaÆshjx©csrtbha@`b¹izxyx>r¾2iknm*l»³je_xsztaHb"bn~¯]By}¯~¯afhnx¢©±x`yz{º=a bn~_v µa=y{y~_y}Zv_zxyx>z=yl_nxt@a=bbuaHb9>bZ¿fz_¬a bhn~¯hn~_a¾vsr·`Za=/bZx©³v¯z{xt]_a=`9z}@y+naHhz{x> ~_ya=b=´ »ja@a*zbZbnz{`Z_ya*aÆ_`Z_yafx©iknm*l»³je `Zxtta@yªv/bna=xF9@a@yyrt@y{a*x>DhnxyO`Zxs_a@y 1 8 5
D
!
#"$%'&(! )) **,+ '-./0$21(! **,+ '-130$41 ! )) -. 5 687 9:;? -1 @3A2B 5 6CD9:C7 #-1EF@GAIH)J )B(@3A2< =,>B 5 6CD9KALH)J )B)9 :7 )) #-M @N)@3A2B2-)O@!AIPJ)QB 5)68(R9 :P)J)QK
"© hna=³h]_aZtaÀ¯¯zÂhz{x>x©:h]_a9z{_z{hnz}y:buhhna9x©:hn]¯a9bnrtbha@` /Px©R`>x>bj¯P¯`Zahna=jy~_aHb@¾ h]_aB~_ya=b*a@y}ha=%hnxFh]_a¢rt@y{z&v/a=]¯sz{x>aza= ±hn]_aB©±~_y{y`Zxs_a@yRz}b z{y}v_yaZz{·_2a@¯tz{Æ ´:\+]_a¹n~¯y{aHbMza=ª¾sxa=bn/x>¯tz_fhnxwv_z{xt]_a=`Zz=y2naHhz{x>¯b=¾>bn]_x«Vhn]_afbursDhn]¯a=bnzbRx©ª`Zxya=@~_y{a hn 2¾_°zÂtha=bf@tx`Za@>_y>a_Æ_hhz{z{x>x>ª¢¾/zDh¹hnx x>¯buh´_D\+hj]¯a=bnha*awn~_¯ya=Pbj«z{a¹hn]>z{=>a@h y{«rtbnzÂhzbj]Px¬s© z{_H)a@J hn z}f¾/a/ÆtF_À¯a=b¯buzxy{y/r b+hn«]_aZ]_zx>]P`9@¯xy{a@nÆ a bn2x¯F`Zx>buhnyrhnxh]_a`bb"P)J)hnQzxPy}«pzPh]_zbjaÆ_`Z_ya´\+]_a ¬Dz_a@hnz}*aÆt_a=bbuzx/b"a*xthz{x>¯y ¯ @ v2a*x`ZzÂhnhnaH¼´ ?
RA
S
&%('
5h79
K|-lvxp lt
k ©:«lav¯buhnh©±nx>`Á¬sz_ahz*a@Æt_naHbnbnzx¯b=¾_b~/bu~¯y{yr_x_a*zPyn>aburtbuhna=`Zb=¾_x>_a@F>bnbnxtz}ha hx9hn]_ailknm*l»j³e n~_ya=bZilxsxya=¿fz{_¬>a¹buhn~¯hn~_afz{F«]_z}] hn]_a%bhhnaHbaPtaÀ¯¯a=Vvsr·v/xsx>y{aHVnz}v¯y{aHbbbuxtz}ha=·hnx&`Zxya=@~_y{aHb ta=_xhz{¯!hn]_a=z{ _a=bna@¯@a¹x>"v¯bna@/afz{hn]¯aa@yy UT hD
?
F
A
V2WYXUX[Z \^]U]Y_[`#aYXUbYcd2aYXYegfhLd2aYb,d'c hjiUbg]kml#n[o[pYq[r%]
E
!"#$%"'&()* +-,.&%
hz{x> n~_ya=b=¾"h¬sz_ zDhnx @@x~_Dhhn]_a/xDbnbnzv_y{a x>¯bu~¯`9_hnzxBx©¼hn]_a³naHhDhbMvDr9h]_aja=>hnzx´TnaHhz{x>n~¯y{a³«zÂh]PnaHhDhbM`Zx¯ «]_z}] _2a=³z8h]_a9nz]Dh³]/¯%buz}ta¾¼z}b³hn]s~¯bjhn¯bny}hnaHPz>hx 6 hn/buz{hnzx%n~_ya=b x>na=bn/x>¯tz_lhnxh]_aM2x>bbuzv_yaMx>¯bu~¯`9_hnzx*x_xhx©shn]_ a Åa=h>hbOvsrjh]_aMa=hnzxª´ ³bbn]_x« z{ 1{s¾³> 5 ¾³l\®y{x>z}P_xsztaHbB&>a@r 2x«a=u©±~_yjy_~¯aFhx&©±x`yz{º=aPhn]_a v¯z{x>y{x>z}@yj_nx>/a=uhz{aHb¢x© ·`Zxtta@y4 ´ ³~¯a=buhnzx¯bx© 4+ $ % B ¾fyz{¬>a¾"z}b¢hn]_a=na·¯hn]s«lr ©±x bnrsDhn]_aHbuzº@z_·&`Zxya=@~_ya ¾j@ v/aP©±x>n`y{zº@aH vDr hn]¯a!l\®)©±x>n`w~_y ´ ³~_a=buhnzx¯b v/x>~t-h &$ 8¾:yz{¬>a¾@%h]_a¢@a@yyRa=]!Pbuhh^a «]¯z{yaB¯>bnbnz{¯PvDr_xhn]_a= buhhªa # @ v2a9©±x`yz{º=a=8vsr # Txfz}b¹buhhnj a #Z¯a=aHbnbr + $+T¤& $:©±x>*naH]_z_ bhhna vsr # «]_z}] z}bjv_v_a@sz}hnaH>b "!$#&%('*),+('$-.´ ³~_aHbhz{x>¯bv2x~_h B ¾ yz¬a¾>zba=uhz ±¯uhzy{yrwtaHbn@nzv2a= :buhhna jx©Oh]_aja=y{y2buhna=>trwbuhhna @v2a©±x>n`yzº@a=9vsr 0/ T_xH¾s@¢hn]_a*@a@yy2a=>]¢wza@¢/a=n`¯a@Dh+buhhn5a vDr ´"y}buxZ|D~_a=buhnzx¯b v/x>~th 8%+ ¾y{z¬a>¾ª@8hn]¯aZbnrtbha@`²a@Æs]¯z{v_z{h@rtyzwv/a=]¯sz{x>³«*´ H´ hH´Ohn]_aZ_a=bna@¯@a x© = v/a©±x`yz{º=a=·vsr!h]_al\® ©±x>n`w~_y / / ¾R«]¯z] zb v_v_a@sz}hnaH¢> b 1*23%546-´ ]_aH¬sz{_hn]_aFyz}tzÂhr&x©fl\®T©±x` ~_y}az{V>z{>a@ ilknm*l»j³e`Zxtta@y+_xsz_a=b9P©±x` x©"yz_hnzx·x©hn]_a `Zxtta@yDz¯buh v_zxyxz}@yMaÆt2a@z{`Za=>hb@¾:`>ta¢z «zy y{z{©±aF¯&`w~thhnaH x>nD_z}bn`Zb¯w©±x`Zy{zº@aHZb:*bnahMx©l\®F_x2a@nhnza=b=´½¯x:h]_z}bh>bu¬O¾>ilknm*l»³jezbRz{Dha@n© aH hxBh]_a9buhhna 4x© uh"`Zxtta@y]_aH¬a@ )"~/c_8e 7 1= 5«]_z}]~/buaHbjB>a@r:a 9Bza@Dh¹a@¯naHbua=>hhz{x> x© buhhnaHb¯¢hn¯bnz{hnzx¯b+vsr¢ilz¯r !³a=z}bnz{x> !³z`b=´ »ja@aMzbªhn]_aRnaHbu~_y{hx©tjiknm*l»³je ~_*xfh]_aRv/x>a:aÆ_`Z_ya¾bn¬sz{_z{© zb"]_a=¬s2xzDh ©±x>+hn]_a>hz{hz{x>x© P)J)Q ¾shn]_a= z{ G 'PJ)Q! H > CB ED CB /F PJ)QF)) > E
=&> 6 =? *,+A@ =?
=m- 7=*?
=m-6 > G ; ) (/'PJ)Q! H > CB ED CB ; ) FF PJ)QF)) > 5)*HG
=&> 6 =?*,+A@JI?) )
) 79 :K >
O89:PJ)QK PJ)Q > > )=
) * K E ) +F @ 0$'01
&%e$
© 5
S
/, zb zyv_y{a%¯ h¬>a@ zDhnx >@@x~_Dh=¾jx_a@pbbuxtz}haFhnx hn]_a ilknm*l»³je`Zxs_a@y³&bnrtbha@` x© m³tz¯nr !³z{¶2a=na=>hzy LR|D~¯hnzx¯b m !AL «]_z}] `Z¬aHbZhn]_a ?
EEGFH$IIJK
+A
7
>B % % ' : % + )6 4 B " * +* :
½z~¯naZ Mcsz` ~¯yhnzx naHbu~_y{h©±x+h]_aa=y{yª@rtya¹`Zxtta=yªx©A1 85 D
`Zxtta=y"taha@`9z_z}bhzP¯V@Vv2a8buz` ~_y}ha= «zÂh] D~¯`9a=nz}@y+`9a@hn]_xt_b=´ ½z{>~_a%Pbn]_x«"b9hn]_a a=bn~_y{hx©hn]_abnz{`w~_y}hnzxz{ h]_zb"aÆ_`Z_ya´ \+]_abnz{`w~_y}hnzx%_yxhb ~¯buz_P¯thz{>a9buhna=%bnz{º=aZ"~__a ¿f~_huh¢x*xDbua=Dv¯nxt¬$ bj`Zahn]¯xs¯b ¯nxsz}ta=b"hnz`9a9bua=nza=bj«]_z}]8x/bhzÂh~thnaHb³yz_a=³¿fz{_¬>abhn~/hn~¯na `Za@¯v_y{ahnx®t\® |>~¯a@,r z_·«z{hn] @x¯buhnzDhb=´Wilknm*l»³je yyx«"bZhnx ]¯a=¬·h]_ay{z}tz{hr x©* ®t\®)©±x` ~_y}aP«z{hn] nz{hn]¯`9a@hnz}*x>¯bhz{Dhb+xF`Zxya=~¯y{a @x¯@a@Dhnhz{x>¯b+¯Fx> hn]_a=z{¹ta@z{hnza=b=¾_bnz{`ZzynyrBhx 1 54´ \+]¯a³®t\®©±x` ~_y}a"«z{hn] zÂh]_`Zahz³x/bhz{DhbM©±x`yz{º=aj_x2a@nhnza=bRx©¼hn]¯a¹@~_n>a"h]¯h+@v/a ~thnx>`hnz}@y{yrw]¯a=¬aHZz{*za=`9xtta=y¯x>Rz`92x>bna=¢bR bu2a=@zÂÀ/=hz{x>Z©±xRa@sz}buz_*h]_aj`Zxtta=y6´ »ja@a z}b9hn]¯a a=bn~_y{hx©¹!ilknm*l»j³e ~_ª¾x hn]_aPb`ZaFaÆ_`Z_ya¾«]_a@a x_aPbn¬tb9z© xDbn@z{yy}hnaHb z6´ a´:z{hb_a@z{hz{>a³]¯_a³zÂhbbuz :h]_na=ajh]_a@©±x~¯+hnz`9aHb@¾sx> hn@ajx©y{a=_h]HPJ) Q ?
?
\A
aA
qD
=&> 6 =?*,+A@ ) * = 7=*?
=m-6 )= > G!'P)JQ$M) 6 )= > G #P)J)Q$#M( > )E $ =&> 6 =? *,+A@ ) * = 7=*?
=m-6 )= > G!'P)JQ$'O() 6 )= > G #P)J)Q$4OF > 5 *G $
!* Ã 'M @@ w
# *#+ \~__z_hn]¯ahna=`Z/x>yyxz}|D~_a=nr y_~/a*zDhnx Bbu2a=@zÂÀ2@hz{x>Py_~/af©±x>ja@Æs¯naHbnbnz{¯hn]_a x>v¯bna@a=Fv2a@]/Dzx³x©:h]_a9bnrtbha@`F¾Ox2a@¯bjhn]¯aw«+r¢hxBh]_aw~/bua9x©M`]¯z{_awy{aH_z_hnaH]__z}|D~_a=b ©±x>"x>`9¯y{a@hnz_Zx"x>na=hnz_Zbu~¯]©±x`y¼`Zxtta@y}bbna@`Zz µ~_hnx`hnz}@yyr´
E
!"#$%"'&()* +-,.&%
&$8 ."=
%
bdXY'&
O(&
%
bdXY'&
S)&
EEGFH$IIJK
%
# #
[L [L
0_l
"$#
%
ivxn"|
2&$8 ."= &
%
%
*) & &
&
#
* &$8 8."=4
) & # > &$8 ."=@
H
>B % % ' : % + )6 4 B " * +* :
\v¯y{a¸ \«lx a@Æ_`Z_ya=b=´ \+]_aÃv_z>bÄ>z{>a@ ta@À¯_aHb y{yV/xDbnbnzv_y{aÃv_zxyxz}@y·a=hnzx¯b ta @x`Z_yaÆ_hz{x>ª¾_bursDhn]¯a=bnzb=¾_ta@>>_hz{x>¢x> ta µ_]_xDbu¯]_xrsyhnzx 1D
?s?
A
RQWQTNPQhSPiWQ
L?
A
A
_ _% PN QVvNPQ NPBW`5Q SPiWQV PS RWQV QW*TfuWQ`5_%uQ f yQTNdX SPRQTV `5_WQRQTV VgY Q B[ XNPBW_
iV Vvfu
%NPORQVgBWV(_] fu:u QWQT NPQ V b
K K BW
iOiB BWNPBW_
8_]$ #lQQ f&%('*) !" V XTNPBWe X"NPBW_
_]*%('*) f + V XTNPBWeX"NPBW_
_] f %( '* ) , V %(45' X Vg XRQ & f 6oQeORQ8
7!_ QTNdX SPiWQV `5 _WQTiWQ V VgY Q .*/1032 0 b 9 K :K b VV ;" & *&$8 "=
%
bj^
%
bdWbnbnzÂÀ2@hz{x>¢z}b+z{`Z2xnh>hzFxta@lhnx Dhnz}z¯ha¹«]¯ahn]¯a@x¯a*]¯blhxZ>_xa@`Zxa¹n~¯y{aHb+«]_a@ hnrsz{¯whxZ`Z¬a*9/xDbuz{hnzafa@Æt`Z_y{a hn~¯a ±x>jZ_a@Dhz{>a*aÆ_`Z_ya*© y}bna ´+½_x>jz¯buh/a¾/z© z}bz{8hn]_a bn2a=z{À/=hnzxP¯Fzbj_xh hn~¯a¹z hn]_a@~_na=>h`Zxtta@y4¾_x>_af_a@aH_b+hnx ¦¯ÍÍ 9~_ya z6´ a´Mhnxa=_a@yzº@a³hn]_a¿fz{¯¬afbhn~¯hn~_a zx>_a@"hx¢`¬>a z{h³hn~¯a´fk © zb¹zPhn]¯a9bn/aHz{À/@hnzx¯Pz}b¹_xhfbnhnz}bÀ/a=¼¾Ox¯aw_a=a=_bjhnx ¥ È Ì 2ÈB9n~_ya ±z4´ a>´Mbu2a=@zy{zº@a¹h]_a¿fnz_¬>afbuhn~¯hn~_a ´ k hMz}b:«lxnhn]9_xhz{_fh]¯h:h]_a`Zxtta@&y ]¯a=¬a=:txsa=b_xhMx_yr_xszta¹raHb°_x*¯bn«la@v_~thR=ª¾ z@a@nhz{ @bna=b=¾s_xDz}ta¹x~¯>ha@' 4a@Æ_`Z_ya=b:©±x>+~_¯bhnz}buÀ¯a=¢_nx>/a=uhz{aHb@´kµhn]_afv2xa³aÆ_`Z_ya¾ hrs_z_fh]_ajx>`Z`Z¯ I6? < z{ilknm*l»j³e© hna=M_xhz@z{¯fhn]¯h z}b© y}bua>¾«zy{y2x>`9a~¯9«z{hn] B¯h]8y{aHtz_hxBbuhhnaw«]_a@a z}b³v¯bna@Dh=´jlh¹y{aHbuhjx¯a ~_y{a ~¯buaHPzPhn]_z}b³¯h]8_a@aHFhnxv/a a@`Zx>a=¼´ Mx2a@nhnza=bRv2x~thR@rs@y{z}z{hr na=`Zz{Z_a=a=uh]_a@ya=bb:`Zx¯ j
h]_a +%* .T)¹¯nx>/a=uhz{aHbl¯F@]¯_y{rh¬>af>tDha³x©hn]_a=xrBna=szbnz{x>Bha=]__z}|D~_a=b=´ `]_z_aya=n_z_¢bnrtbha@`Ãh¬Dz_BzDhnx @@x~_Dh"h]_aw@y>bnbnz{À/@hnzxFx©M_x2a@nhnza=b"hnx bu2a@aH ~¯h]_a*ya=_z_9zb@~_na@Dhy{rB~¯¯ta@"_a@a=y{x>_`Za@Dh=´ F
?
A
XLM@Y 1[ ?
Wz{¢¢a=D~¯`9a=hnza¹`Zahn]¯xsz}b~/buaH¼¾_¯Bhn]_a*bna=]¢bn¯>a¹zb+a@Æs¯y{x>naH«zÂh] ¯naHz}buzxZbu2a=@zÂÀ/a=Zvsrh]_a"`Zxtta@ya@H´½¯xMaH]Zbua@hRx©O¯`9a@hna=bhnza=¼¾D*buz` ~¯yhnzxZzbMn~_¾>/ h]_a9naHbu~_y{hnz_¢hnz`9aZbna@z{aHbjz}bj~/buaHb¹¢®z{¯a=f\+z`9aZ®ªx>z}`Zxtta@yx>8«]_z}]8hn]¯a9bn/aHz{À/@hnzx¯b naf]_aH¬a=ª´ kµ!bna@/bua>¾Ohn]_a9`]_z_a9y{aH_z{¯¢_xta=bb¹h~¯yyrPna=_y{z}@hnaHbj«]¯h*`9xDbhf`Zxtta@ya@b³_xvsr ]/¯¼¾z6´ a´hnrsz{¯f_z¶Oa@a@DhMy~_a=b©±x>:¯`Za@hna@b=¾~_z}ta=9vsrz}ta=>b:v2x~th:h]_a_y}~¯bnzv_y{azDhna=ny x©y~_aHb¹hnx hnr/8h]_a *&$¹h]¯h*h]_aBbuz` ~¯yhnzx%bn]_x>~_y%_xtt~¯a>´\+]_aZ`Z>]_z_aZy{aH_z{¯ y{>xzÂh]_` yyx«"b~/b+hnx9hnaHbh"/`Zaha@bua@hb+`w~¯]¢© >bha@x>¯a¹hn]¯af©±x`Zy{zº=hnzxa¶Oxnh+x©h]¯h bn]¯/afz>hxP®t\®!bu2a=@zÂÀ/=hz{x>z}b"tx>_a´ k h9zb «x>uh]&_xhz@z{_8hn]¯h hn]¯zb `9a@hn]_xt·__yz{aHb*hx]_z]_yr_x yz{_aH bnrtbha@`b ¯!_xaHb /nhnz}~_y}y{ra@¶2aHhz{>a¹z hn]_z}b"@xDhna@ÆDhH´ s
&%e$
2&0noy
lUp(,
5
cshnhnz_9©±x`h]_abn`Za¹a@Æ_`Z_yaf>bl~¯bu~/y4¾_y{a@h~¯b ua@bna "hn]¯a*y{~¯a=b+x©¯`9a@hna=b¬Of¯ ¬s _~thh]_a@`ÁhnxB ´M\+]_af`Zxs_a@ytxsaHbu hx>bzy{y}ha*hjyyªsrB`Zx>na>´ hnz_>bZ8`Zxtta@ya@Z«la¢hnr!hxÀ¯/·y~_a=bw©±x> h]_a=bna/`Zaha@bwbn~¯]&h]¯hZhn]¯a bnrtbha@` xDbn@z{yy}hnaHb@´ \+]_ax`Z`/ bna=]¯a=b > ; ©±x>:h«lx¯`Za@hna@b )-.* = )7¯ -)O AI-.z/'hn-]_O ajB3z{Dhna=An[0Gy¯&(x©¼ 2x>b03buzv_&(yma"B3 y1)~_03a=b 2 6 ) = ¾G!« z{hn]¢ ) x/_yrZM(*t,z{0)¶20 a= na=>h y{~_aHblhnz{aH©±x"aH]ª¾_¯Fbu~¯]hn]/hjv2a©±x>na¹hnz`ZaB=>_¾ ; ) F x>bzy{y}ha=bwhnz`Za=b=´\+]_a*x>~thn_~_h"zb >bl©±xyy{x«"b ?
A
&?
A
]D
=&> 6 =?*,+A@ ) * = 7 (AI-//'-)OBA#03&[0G#&(B#1)0G 6 )= > !G ; ) F/#M(%0)0 !
)*=*? > +F @ 8 Q6E) **,+F ? * +F*- C6 )= > !G ; ) F/#M( E @
**,+ '-./0$21)&( **,+ '-)O$0(
4a9À¯¯8>a@r © buhfbnx`Za9y{~¯a=b=¾2v¯~th*xvthz%x>bzy{y}hz{x>¢v¯zÂh¹hnxsx© buhf¯8«]_a=na ub hrtbja@r y{x« 6bua=aw½z{/´f ´f\+]_z}bj`Zz]Dh³v2awa=_x~¯]ª¾2v_~thfz©«aw«l>hjhnx xvthz8naHbu~¯yÂhbjyx> hx h]_af_~_v_yz}bu]_aH x_aHb@¾s«la¹= na@À¯_a¹x~_|D~_a@r «lafzaf `Zx>na¹_a=z}bna³zDhna@y2©±x -. ¾tbuz¯a «lawbna@a hn]¯h¹yx«y~_a=b¹a a=_x~¯]Phx>ah¹8x>bzyyhnz_bnrtbha@` T¼«a9y}bux bn¬ ©±x³hn]_a9_a=z}bna s~_`wv/a=x©x>bzy{y}hz{x>¯bhn]¯h"«af«+Dh=¾_¯¢©±xa*Fhnzhnzx x© ´ ?
A
TD
)* = )7> ; AI-./'-O B A03g>; [0G&mBg,0G 6 )= G! ) F/#M( Bm[6 )= G! F'OF Q AI< =,> B) EEGFH$IIJK
=
>B % % ' : % + )6 4 B " * +* :
½z{>~_a* Mcsz{`w~_y}hnzxFa=bn~_y{h© hna=" À/buhnx>~_¯x©¯`Zaha@+ya=_z_ qD
$0 '0(.,0)0( )
)*=*? > +F @ O$'0)M8 Q6E) **,> +F ; ? * +F*- C6 )= > G! ; ) F/#M( B[6 )= G! F/'O() )QG(A2B )80$'0( )E
@ **,+ '-./0$21(! **,+ '-)O$
\+]_afa=bn~_y{hnz_wbnz{`w~_y}hnzx¢À_hb+y{`Zx>buh+/a=u©±aHhnyrB«z{hn]¢hn]_afxzz¯y2x_a>¾s«]_z] bu]¯x«"bw«aH¬ bna@/buz{hnzszÂhrBx> -)O ©±x>+hn]_z}b`Zxtta@y4´ k h+zby}bux /xDbnbnz{v¯y{ajhnxwbuhuh«zÂh]¢a=nrw«z_ajz>ha@y}b@¾Dy{z¬a 2u2 ¾¯B |D~_z{hna³y{xsxDbuajbn2a=z{À =hz{x>ª´:\+]_a@Fx/afx_af>ahbP¯bn«a==¾Dh]_abu2a=@zÂÀ2@hz{x> = v/a*`>ta*`Zxa³_a=@zbna¾_¯hn]_a zDhna=ny}b+bu`y{ya@z{©¯a=aHbnbr´
' @ 4 z{hn] h]_a*t>a@Dhx©©±x>n`y¼y_~¯aHbM©±x>"ta=bz{v¯z{_9xhn]¯a¹x>_af]¯/¼¾¯x>`Z_y{a@Æ¢burtbuhna=`Zb=¾_/ x>Bh]_a³xhn]_a=+]¯¯ª¾>h]_a@z+aÆt2a=ha=¢hna=`92xy2_x2a@nhnza=b=¾Dhn]_afta=bnz¢x©`]_z_a¹y{aH_z_*hnxsx>yb v2a=@x`Za=bl2x>bbuzv_ya¾tz¢x>ta=lhnxZbua=`9&z µ~thx`hz=yy{rx>na=hx>+@x`Z_yahaf9bnrsbuhna=`z{`Z_ya@`Za=>h hz{x>«*´ H´ hH´:zÂhbv/a=]¯sz{x>~_y¼bu2a=@zÂÀ2@hz{x>¯b=´ kµVhn]¯aPa@¯a@ybua@huhz{_DbZx©¹n~_y a v¯>buaH y}_>~¯>a=b9ta=bzv_z{¯ _x ta@hna=n`Zz_zbuhnz} 9@x¯@~_4 a@Dh:h¯buz{hnzxBbnrtbha@`b=¾>/¢x`Z_~thhnzx\na=aj®ªx>z}©±x`Zy{zº@z_fha@`Z/x>y¯_x2a@nhnza=bMx©Ohn]_a bnrtbha@`F¾2«a]/a bn]_x«Fhn]/h¹¢na=yhnza=y{r buz`Z_y{awa@s~_`Za@hz{>a yx>nz{hn]¯`Ã@8v2a ~¯bna=FhxBÀ¯/ `Zz}bnbnz_fn~_ya=bhxfbhzbu©±r ³hna=`Z/x>y_bu2a=@zÂÀ/=hz{x>ª´½¯~_uh]_a@`Zxa¾«la+]¯al_x2x>bna=w¹@y>bnbnz{À/@+ hz{x>x©l\®P©±x>n`w~_y}az>hx2x>bnzÂhz{>aj¯Z¯a@>hnza+©±x>n`w~_yaz{¢xta@:hx taHbuzB*`Zx>nazsxyaH
?
]A
E
!"#$%"'&()* +-,.&%
h]_a@x>nr%na=szbnz{x>y{>xzÂh]_` `¬Dz_P~¯bnax©+h]_ahna=`Z/x>ybn/aHz{À/@hnzx&hnza@yr8hxPnaHt~¯@ahn]_a bna=] bu/a>´ 4af]¯ajybnxwbn]_x«h]¯h+h]_a¹b`Za¹__x>>]B@¢v2a¹__yz{aHhnxwhn]¯a³ya=n_z_wx©s~_`Za@z}@y /`Zaha@bMz]srsv_zburtbuhna@`ba=|D~_z_2a=«zÂh] 9x>>hz{s~_x>~¯bltrs¯`Zz}@b=¾>©±x` 9bn/aHz{À/@hnzx¢x© h]_a@zv2a@]¯szx~_z¢ha@`Z2xy¼yxz}¹«zÂh]FD~¯`9a=nz}@yªx>¯bhz{Dhb@´ \+]_aHbua+a=bn~_y{hb]¯>av2a@a=wzy{y~¯buhnha=w«zÂh]9a@Æ_`Z_ya=bx>`9z_¹©±x`h]_aizxt]_a@`Zz}@ysjv¯buhnh e]_z_ajilknm*l»j³e²«]_z}]Bx¶Oa@bl*`Zxs_a@yz{_wa@ssz{x¯`9a=DhM©±xcsrtbha@`blizxyx>rwhRh«lx ya@a=yb x©+v¯buhnhz{x> fhn]¯a¢ilxDx>y{aH!v¯buhnhnzx«]_z}]!v¯buhnhb¹©±nx>` h]_a¢|D~¯DhzÂhz{aHb*x©`Zxya=@~_y{aHb@¾ ¯!h]_a@x¯@a@Dhnhz{x>!bna@`>hz=b«]_z}] taHy}b «z{hn] ¬Dz_a@hnz}By}«"b@´8kµ·hn]_z}bZxDhaÆsh=¾x~¯À¯bh a@Æt/a=nz`Za@Dhb+afa=nra=¯x>~_z_w¯_nx>a=By{a=>tr~¯bna©±~_y¼zPbux>`Za³_xv¯y{a=`Zb+x©taHx>`92+x bnz{hnzx&x©zDhna@hnzx¯b ¯!¯`Zahna=*À_hnhnz_¯´8ePx>na¢a@¯a@yy{r>¾«laBv/a=y{za@>ahn]/h h]_aB`]¯z{_a ya=n¯z{_By{>xzÂh]_`_nx>/xDbuaH ©±xjhna@`Z2xyy{x>z}*«zÂh]8s~_`Za@z=yx/bhz{Dhb=¾¯`rFy}bux¢_nx>a bn~¯=a=bu©±~_yª>b xz{>z{¯yOxthz{`Zzº=hz{x>FD~¯`9a=nz}@yO`9a@hn]_xt©±x]¯z{>]_y{r_x 4yz{¯a=bnrtbha@`b@´ D
0
"!
#
!H+
$' 2!$#&% ? ++H*- '' ::!!#&% % ) $D- 4 = - ':':::!$!$#&%% D4)=:4- - '' ::!!#& %% $) :24H 44- - ':':::!$!$#&%% < 48- H*- ' :!#& % - '::!$#&% :4- $$,, %% D4 ?= +*%+ %( D 4 =C " > D4 D=48=C D- 4 =8C 8C *4 -$-*- !! "$*1! I H #$#$ %+$ "@"B' &"$@B' &($, *) ) "' & % ') -) < 4 - ) "$' & #$ +"' & @. < 4 @"B $, % /) ? ) "' & + 0) D 4 = 1 - #$ %"$' &2 @"BD 4 = % 3 *) D 4 = 4)) : D4*44 =) * D 4 = ### D 4= DD@"44B ="="@"@ B DD44) ==:4 4 "@"BD 4 = $55-) 8) DH 4< 4=) D 4) = D 4 = ### DDD 444 ===@@"@ B $B % % ' : % + )6 4 B " * +* :
9) ):44 #$%):4*4 @"B $, )) D4)= ) ) ##%%)) @"@ B D4)=24("@" B ):4( #%)24 @"B ), ) ) :4 )) D4) =:4 ) ) :4 ##%%))2244 @"@ B D4)=:4"4(@"B ):44( #%)244 @"B ):4( ) ) :44 !! $*8 H IH #$#$% $$ @"8B $H @*8B $,H IHH) $8 H IHH) $8 H 4 #$ $8 H 4 @"B $, )) D 4=8 H ) $8 H ## 11$$:: HH @"@ B $D 4*=8 "H (4@"B 8 H (4 # 1$: H 4 @"B 8 H ) 8 H 4 !%! % D< *44 = ) D 4 = - ,% ) > % D 4 = ) D 4 =* --- *#: $ 8$ @. D 4 =@"B < 4 , # < 4 # #$ < *4 @"B $,
!! ? #$8$ @B ?3 IH /) ?3 #$% ?
@"B $, % IH 0) ) 4 + IH') - #$% 4 2 , )) D 4 =?3 ) D = #$#$%% ?3@"@ B
D> D4(4 = ="@"@"B B 4 #$%:4 @"B . ) : 4 IH 4) 4 $# + 4 @"BD 4 = IH 4-) < 4 ) 4 $# + 4 @ < 4 "@"BD 4 = *#& % IHH+ . )- #& % ) + . )$- *#& % / + / - #& % *&0 ++H*- *#&% 3 + . 5- #&% 4 + . 5- *#& % 5 + - #& % 7 ++H*- *#& % 9 ++H*- #& % KH + . - *#&% IHHH+ , - #&% KH2) ++H*- *#& % IH / ++H - #& % KH &0 + - *#& % IH' + , H*- #& % KH 4 ++H*- *#&% )'-3+ )$- #&% 5-3+ )- *#& % IH 43- + - #& %( + ) - IH2)
E
>t´ 1 5/´"yy{a=ª´_\+z`9a¯*hz{`Za+>z{ \+]_al`Zsr¹«+rtbªhx³a@¯naHbua=>hhnz`Za´ % %B 8 %"w¾ 3 ± ¾¼=>_>´ 1 50)jz@x>b¹"_>a@yx2x~_yx>b³¯%cDhna=_]_a@%»´¼eP~_>yahnx>ª´je8>]_z_a ya=n_z_B`Za@hv2xyz}¯hn]s«lr _a=bz{thz{x>¯b"~/buz_¢¯nx>v¯v_zyzbuhnz}fna=yhnzx¯yªa@_a=bna@Dhhnzxª ´ .+% *$ + %@+% > +% %B +*@¾ < ¾¯>>t´y}bnx9z Mnxt@a@a=_z{_Db+x©:e8]¯z{_afkµDhna=y{yza@/aZ=¯´ 1 @ 50)jz@x>bj_a=y{x>/x>~_y{xDb+¯ cDhna=_]_a@P» ´_eP~_>y{a@hnx>ª´cty{¯bl©±x>+_nx>v¯v¯z{yzbuhnz}³¯h]D«+rtb ePxt6 a=y{z_P/8¯`9a@hna=³aHbhz{`hz{x>ª´\a=]__z}@y:a@2xnhf\ >>D°sH_2¾ !³a@¯uh`Za@Dh¹x©x>` ¯~thnz_¯¾¯kµ`92a@z}yx>y{ya@>a¾t®ªx>¯tx¾ j¿Z¾/>_´ 1 5*exwjDhnx¯z{xhuhnz4¾_"yv2a@nhnxZxyz@nz{hnz4¾ )j_z ">a@y4¾_¯i~/ePz}bn]_¯´ePxtta=yOv_~_zytz_/ `Zxtta=yM]_a=¬sz_B©±x>¹v¯z{xt]_a=`9z}@y_nxt@a=bbuaHb@´ %? :+ %" *)? & 8 +¾4 7 4 _´ 1 35*½l´si+@]s~¯bR¯½l´>¿*v¯¯º=_´ jbnz_fhna=`92xy/y{x>z}@bhxaÆt_a=bbMbna=]x>Dhnxyt¬s_x«ya=t>a ©±x>_y}__z_/´ .+ %B +*@¾ª: 3 H 2H_¾s>_´ 1 a= ~_y¯x`ZahH¾tz{a=9"z]¯ª¾¯ ¯´ ¹~_aHbu¯z{ª´/ ©±~_z{hu©±~_y/__yz}@hz{x> x©©±x>n`y¼`Za@hn]_xt_blhx9v¯z{x>y{x>z}@yOa@>~_yhnx>nr9_ah«lx¬tb ~¯b yx>z=y_¯nxD]8«z{hn]hna@`Z2xyyxz}´ + ¾> > s y{a@hnx¾RcDhna=_]_a@ 9´Rm³y{za==3¾ !³x~_>y>bwi¹´¿fa@yy6¾ R]_z{yz 9´D¿Z´>a@z}bua==¾s/9"x>bb !w´>¿fz_¯´x`wv_z_z{¯*z{¯_~¯hz{>a"y{x>z}+_x`Z`Zz_¯¾>hz{>a ya=n¯z{_·¯ xv2xhz=bZhnx _zbx>a@Zhn]¯a8©±~_¯hnzx x©*a@¯a=b= ´ A+ + %@+% +% %B +*@$¾ 3 H ¾¯_>´ 1 5*®~_a@/ajlyº@x>_a+¾ )³hn]/yz{aj]¯v_nza@' µz{sza@H¾½_ @xz}b½¯>a=b=¾®ª~¯@z{ a ¹a=>hz{y}b=¾>/9csrsyz ctxyz{`´De8>]_z_aRya=n_z_"v¯z{(x 4`Zxya=@~_y}zDhna=>hnzx/b¼©±x`Whna=`92xyDyxz}M¯nx>/a=uhz{aHb@´>kµ ¹x>_x*Myxh¬Dzª¾aHtzÂhxH¾ !#" $% ,.*6+) $. )l§=¤8 & "'& % $) 8 %"> ? * ¾¼>>t´ ]
D
/a
?
q?
A
A
D
c
B
q
qD
qD
D
T
EEGFH$IIJK
a
?
A
V E
#
s
?
V
A D
:7
>B % % ' : % + )6 4 B " * +* :
1=5f"xv2a@nhnxl_¯¾¯"ya=bb¯tx¢z{`huhnz4¾CLR`9`D~¯a@ya9m³y{za@huhz6¾2e8xZMz}bhxa¾2¯Fe8@x "xa@z4´N2 %%# $$ ´ le ¸¯ k\j zbuh=¾Mk³ct\ 7³z!csx`Z`za6_7 ¾ 47 D x>x ?6\a@DhxA Mk hy{r>¾ª=>@7 _>>t´
)³h]¯yz{a]¯v_z{a=Z¯V½_ @xz}bw½/aHb@´ csrs` v2xyz `Zxtta@y"]¯a@¬sz{¯%x©³v_zxt]_a@`Zz}@y+_a@h4 «lx¬tb@´ kµTx>ntx%Mz`9z4¾+a=tz{hnx>=¾ !#" $ ,A6+) § ¤ *& " & )8 8 %"> * ¾t>xy~_`Za"3D"x©)+% > "'& % (+ % +@¾_¯a=bf=> 26 3Dt¾Dxa=na@hnx¯¾sk hyr¾_e8]F>_´_cs_z_a=4 7:a@y¯´ 1H5 )³h]¯yz{aF]¯v_za@' zsz{a==¾e8¢]_z}a@z_z6¾ 7jz¯a=Dh !³_x>b=¾½_ @xz}b½¯a=b=¾¯ 7jz @a@Dhct] ]Dha@H´³ePxtta=y{z_¯|D~_a=nrsz_Bv_zxt]_a@`Zz}@yzDhna@hnzxP_a@h«x>n¬tb=´ + " & % +% % +¾_D > s¯¾scsa@_hna@`wv/a=³>/´ 1=50Lt` ~_/e&´Dy}¬a¾>m³¯ ¹n~¯` v2a@¯¾¯ !³xxZ´a=y{aH¼´ )@% $*+¤ ´2ePk\ Ma=bb@¾ H>_´ 1@@ 5f®~¯"ta"ja=th=´ $ %@+% 2' 6 )$+% @ + ,.* *"=" .&@& 64+ t´ ¿f¯x«y{aHta i+bna=csrtbha@`b@´_>@>ta@`Zz}³¯naHbnb=¾¼=>>t´ 1H 5f½¯ x>zb³½¯a=b=¾2ctrDyzcsxyz`Zª¾O¯ )³hn]/yz{a]¯v_za@' zsz{a==´+ePxtta=y{yz{¯/P|>~¯a@,r z_ z{Dha@hz{x>_a@h«x>n¬tbjz{%hn]_aZv_zxt]_a@`Zz}@yv¯bh>h¹`Z>]_z_a9ilknm*l»³je´ @ +), 8 + ) %" ¾¯ 6 3 $y _xha@z¯bB`r v¯z{_]/bnz=yy{r8¶2aHhfhn]_aZya@>a@y}b³x©`Zz{hnx>a@ µhnzhnaH8_xha@z¬sz¯bna9bnz¯y{z_F¯naHt~¯a z{hbhn]_a=bn]_xy}_nx>/a=uhz{aHb@´ , 2¾_ < u 7_: 7 _ 7>_¾e8r >_´ 16 75f» ´e8__zy¯¾»´\xzx>_a@¾l¯
´ 7:a=n¬`9x/´ !³zbx>a@z{¯©±a=|D~_a=>ha@_z}buxttaHbzVa=a=>h bna=|D~_a=¯aHb@´ = $ *)y£ )6 4 > + 8% ¾ > t 7>_¾_H y{a@hnx´ kµs>a@buaa=>hzy{`Za=>h9¯!_x>xy4´ % % "'& ¾ H s t@ 7@3¯¾¯=>>_´ 1 5 O]_z{yz ³~ª ¾ 4´x>v_v e8=®ªa=y{y}ª¾"¯ D`Za=b )~´ 4%a=zbb=´ !³rD/`Zz=bBx©*hn]_aa@yyfrtya ]¯a=¬s/x>z{Dhb@¾_bnz{º=a@b@¾t¯hnz`9a=b=´ ? & 8 + Â$¾ 7> 3 4 3> s4 3_>¾>¯´ 1 t% 5 /´Oxttnz~¯a@º¾ ¯´O"yx/bux/¾//P»´OixDbhnx>`F´"®ªa=n¯z{_ZÀ/buh³x>ta="yxz}fhz{`Zawbna@za=b"@y>bnbnz À/a@b :~_ya=b¯Bv2xsx>buhnz_¯´kµ ,.:+ .**&$* :% +=,A +% & )>,.4+ + £ )% %+ = 8%¾2¯´ 1 5 ³_r>P ´cs]/_¬H´F"&z>hnxtt~/hnzxhxbbua=uhz{x>¯y:a=>bux>_z_ ©±x @x¯@~_na@Dhbnrsbuhna=`b@´ "'& 8¾¯> 6 > _ 3>_¾¯H¯´ 1%5
#
V
a
C
E
s
c
T
4
x?
A D
i
T
q
\
a? A D
RR
1?
A D
E
?
A D
V
w
qD
D
q1
D
]
C
x?
A D
H
q?
A D
E
H
!"#$%"'&()* +-,.&% 1 50LR]D~/
d9´Rcs]¯_z{x¯´ 4 " + ,.* *" = %@ : ´V\+]_aPePk\Ma=bbBy>bnbnz=bcsa@z{aHb@¾ j _z{yMH@7>_´ 1 @5m³ya@&csx>¬xy}bn¬Dr!/ ct@xhuh´Rct`9x>y{¬¯´&kµ¯a@`Za@Dhyl`9xtta=y]_a=¬sz_z h]_a `9xt_y+` ~ =y}~_y~¯b=´¢kµ " " ,.:+T) 8 $ % 6% + "'& % I)4) % + ¯¾_¯aHblDt s@3>_´scs_z{_>a@' 7:a=ny}/¾/H¯´ 1 5fe·´ O¬sz4´cs¯>ta :" 2a 9B@z{a=>hyx>nz{hn]¯`Ä©±x>l`Zz_z_ ©±a=|D~_a=Dh+bna=|D~_a=¯aHb@´ 4+ -) ¾¯D u° ¾__>´ N
]
#
-
j
D
q?
\
A
¤=¥ Ì Í§¤ Ì ¥ È 8 ¦t¥ È £ Ì lÈ RÌ ¥¦ 8 Ì*¨ §£Z¦ Í 7 _´{ ctrDDhÆ Rl\®&¯ ®t\®´f´*´f´*´*´¹´*´f´*´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ _´ cta@`Dhnz}@b M¿fz{_¬>afcshn~¯h~_naHb ´*´¹´*´f´*´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ _´ ¹a=_a@yzº=hz{x>2°ct/aHz}yz{ºHhnzx¢x©:9¿fz_¬a*cDhn~¯hn~_aZ´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ 7 ¦ 8 È ¯´{ l\® ³~¯a@z{aHb ´f´*´*´f´*´f´*´f´*´*´¹´*´f´*´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ ¯´ x>¯buhnz>h"®t\® ³~_a=nza=bô*´f´*´*´¹´*´f´*´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ È ¦_¥ ¨ ¢È ¦_§¤ 6Ì 8 È £ ¥ Ì ¥ Ì È ¥¤ È £ /´{ LRD~¯`9a=hnza*"yx>nz{hn]¯` ´*´f´*´*´¹´*´f´*´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ /´ ilknm*l»³je L:Æ_`Z_ya ´*´f´*´f´*´*´¹´*´f´*´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ /´ xDbuz{hnza*/ )ja@>hnza l\®!½_x>n`w~_ya¢´*´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ /´ kµ`Z_xaH¢\+]_a=xr¢a=Dz}bnz{x> jy{>xzÂh]_` ´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ È ¦_¥ ¨ ¦_¥¦ È ¤ È ¥£ ¥ Ì wÌ £=¤@¥¦ ¤ ¥ Ì RÈ ¥¤ È £ _´{ LRD~¯`9a=hnza*"yx>nz{hn]¯` ´*´f´*´*´¹´*´f´*´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ _´ LMÆt`Z_y{a*zPilknm*l»jje ´*´f´*´*´¹´*´f´*´f´*´*´f´*´f´*´¹´*´f´*´*´f´*´f´*´f´*´*´¹´*´ wÌ ,§ 8 £ 6Ì 7 Ì Í È 8M¦ ¤ È ¥
a
Z
a
PD
]D
Z
Z
a
EEGFH$IIJK
Z
x
3