Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstraction

(1)

ISRN INRIA/RR--5362--FR+ENG

a p p o r t

d e r e c h e r c h e

Thème BIO

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Symbolic Reachability Analysis of Genetic

Regulatory Networks using Qualitative Abstraction

Grégory Batt — Hidde de Jong — Johannes Geiselmann — Michel Page — Delphine Ropers — Dominique Schneider

N° 5362

October 2004

(2)

(3)

Unité de recherche INRIA Rhône-Alpes

."7-98:.! ;$/$<=,">70?$;

@BADCFEGHAJILK#MONDNQPQR!S?TVUXWYWZBWYZ\[GH]YE^P_S?[GH`aMO]Y]YZFb@BZFUXbJZFcedfM]]ag6SihjUXkl`YZmconpMEZqP\SYrZFcesY`YUX]Z\tGHsiZFAJbQP_S

rGHduUX]UXv>wYZ_x$kl`]YZFUeWYZFADg

y{z}|J~#2q|;~#D{}mmF}J

?oi >¢¡

£¤¥}¥o¦D§z};§z}©¨ª?«¬F®_¯p§°;®±m±²9¬F³¥´¤J

µV¶·J¸;¹lº}»¸¼ y{z}½§z}¾X¿Àm§zO¤¤§°;/Á*z´¦q¨´¤~#§;/Á{J¨}¿§#;m}¤lm¨};½mÀ/z´¤m¤l¤§°J¦\~´§zÂ¤¾

;¨F¿¨\ÁÃm~Ä~6¤lz};~6¤l¿§J¤a}¿¿m¿/¤¨´¦_JJ¤§z}J¨zqF´¦\;~6/¤¿ÀmÅÆÇz}¿6¥l½JÁÃ´$J§z}¨´¿F}DpÁÃ

z}È¤¨´¤¿;É´Ê;ËO§;¤¿¨>É´¤¨´¦B§m¨F>ÁYzqq}¿¦B;~6ozO¤QÊ;;¨_¦};ÊJm¥OD¦^É}z}È¥J§ËO§;ÌDoÁYz}}¿¿m¿§J¤

¤¥}¥}¿¿§J¤l¿¨¦~6¤¨\¥OF#¤V¨q}~ÈOJ/Á§z´¤¿;¨´JJÅ¢¨Í¥O¤§}¤DÉH½z}¿#~#mp¨};½mÀÁ´mm§;¤$¨F;J/¤

¤¤¨´¦\§~#¥}¿Î^É>F´¤¨mÌ¤lÊm¿¨ÁÃ~6¤l¿¨Í¨_z}#Àq¨};§¥O¤¤~#;¤¨O¦_~#¿J§;}¿¤p§;¨´§;;¨F¤lm¨´¤È´¾

¤¿_¤´;¨FDÅÆ\#¿¨Fq¦}´§#¤V~#;z}¦ÍÁÃpz}6¤¨´¤¿ÁJ¤m§z´¤}¿¿Ì¥}¥;¿JÏÁim;¨};§J}¤l!¨};½mÀ

z´¤loO¤J¦¨B¤§;¿¤moÁa¦¿§m¨F¿¨F´´¥´D§;½¾¢¤lÐ6¨}ÑÃ^ÒpÓo¦ÔJJ¨F¤7DF´¤lm¨´½*;¿Ì¾¢¤¦}¤¥D¦!#z´È¤lÊ

§;¨´¤¿¨FJÅiÕB¥OD§ËO§;¤¿É}½*¿¨m¦O§¤#¥´¤Ìm¨ÁYz}¥´z´¤¥O¤§/qzFq¥;D§°¤¨}m}¿¤;mm¨´{¿¨BJ¤§z

Á{½z´¿§zÖz}!¦J¿Êl¤lÊmJÁ*z}V§;¨´§;;¨F¤lm¨Êl¤¤}¿Jz´¤QÊ¤}¨´¿F}¿¨Ö¥´¤J¨7Å_y{z}¿¥´¤¿¨ÁÃm~6z}

´¤m{ÁÃm{z}¦}Ë´¨}¿¨BÁY¤6¦}¿§/¤´¤§°m¨V¤¨´ÁÃ~¿¨}z´§¨F¨q}m´*¤¨´¿¨BJ~¤q§;¿¤D¦V½z

¤VHÒÏ×j~#q¦};¨F!¤V¦§;;mÏF´¤¤¿Ê¤¨´¿¨_;~Åy{z}È¦¿§¤¨´¿¨B;~ ¿Ï¤V~È}¤l¿¨

Áiz´#§;¨F¿¨q}Oo¤¨´¿¨J~ÉHzq´/¥}lÊF¦¿¨}!¤§m¨´;ÊQ¤¿Ê¤¥}¥}QÎ~6¤¿¨_Á?z}6F´¤¤¿Ê#¦q¨´¤~#§;

Áz}#¨}½*ÀHÅÈÕBmJlÊ;DÉz}¦}¿§¤¨´¿¨ÖqJ~Ø§;¤¨\#J¤m¿\§~#¥}}J¦\¿¨¤F~ÈOm§~6¤¨}¨}J/ÁÃm~

¿¨}JF´¤Ö§¨O¤¨F¨Öz´¥´¤¤~#;;JÅy{z}!~#z´q¦ÖzO¤;J¨Ù¿~¥´J~J¨FJ¦Ù¨Ù¤B¨´;½Ú¥}q¥OÊm;¿¨Á

z}§m~¥´J/qiÛpJ¨}¿§6Ü½*À_Òo¨´¤qÝ;JÑeÛ/ÜÏÒÏÓ°É$½z}§z\z´¤m/OJ;¨Â¤¥´¥}¿J¦\!z}¤¨O¤¿qÏÁ*¤;´¿¤

;~%½z´mÁÃ}¨O§°¿¨´¨}6¨}½J¾X´¨´¦;q¦Vq}¿¿m¿JÉFz}¨q¿¨O¤>JJ¥¨´/¨z´´¤§;¿}~

i§z}J§z}¤§;¿

ÞBßFàHáâÈã ¹lä·¼ zFq}¦ÙJ~#JÉ?¥}¿J§;;½;¾å¤Ð6¨}V¦ÔJJ¨F¤{JF´¤¿¨´JÉ?¦ÔJJ¨m¿¤{JF´¤lm¨´È½Ìzæ¦§;¨F¿¨q¾

m´omzFz´¤¨´¦¦JJÉOF´¤¤¿Ê¤¨´¤¿;ÉO¦¿§¤´¤§¿¨>É}ÁÃ~#¤7Êm;ÌËO§J¤lm¨>ÉJ¨}¿§;m}¤lmV¨}½*À;É

ÛpJ¨}¿§Ü½*ÀÒo¨´¤qÝ;JJÉ¨q¿¨O¤>J{D¥¨´Éqi§z}J§z}¤§;¿

çèêéQëeìeíìXîJìYï$ðìXíòñ°élðóFôQõ?ö7õ÷åøDõùú÷åøQõiõépèêéDûñ°ùúüoðìXíòý;îQõ?õ¢ì$õéÏþîDìeñ°üoðìXíòý;îQõ°ÿ7éQíìaôDõaùeõ÷åøQõùú÷åøQõö7ø°éQõêþó õëÿùúõéQñQóòõ°ÿlùeðéQ÷õ

$éQíõùúëXíìñ°ëeõQølñ°îQùúíòõùÿùúõéQñQóòõ°ÿlùXðéD÷õ

ðñ°ùXðìeñ°íòùeõiþ>ôlðDìXðìXíòñ°épõì}ðìXøDñéDíòõiôDõë/íò÷ùeñ;ñ°ù ðéQíòëXüõëÿ"!^ïö#$ö&%')(*Dÿ"$éQíõùúëXíìñ°ëeõQølñ°îQùúíòõùÿùúõéQñQóòõ°ÿlùXðéD÷õ

(4)

0">70?$;#. $$°<

· ¼ >§J¤¤§°|;Ï¦§§m¨m¨q¦/¿¤#¦q¨´¤~F}/¦J{JJ¤ÎV¦/J}¤lm¨V;¨}F}p¤#¤¿Ï¤;¨F¿¨

¤ÖÁÃm¿!¦JV}m~6¤lz!;~6¤l¿§;J¨´;¦DV§z}J§z}J}#;¨ |;~#J6zqq}¿¦}JJÅ ¿;¨(F}\¦JJ§z´¨}¿F}D;Ð6§J¤§;J

¥}#¤¨´¤¿mÉ?¤ÍÊ;ÌËO§J¤lm¨Ù#B§;¨F"¿!¦D#|;~#DÈzqq}¿¦}JÈÎ¿J¨FJÉi¿J¥´¤¿§;}¤ÌJ¦§;B¦~6¤¿¨}

¦#¤¥´¥}§;¤¿¨Ù¥m;¨F}¨u§J¤¿¨Â¨}~È}V¦¥}m}¿|;~#JJÅÍÒo¿¨´eÉ?¤mÈF}¤_¥}¿}¥´¤#¦JÈDD¤ÎÖ¦J}¤lm¨

;¨}F}i¤Qm¤¨FH´¨¨FJ$;>}¿¿F}?¨F>¤¨´¦´H$§;~#¥}¿ÎJJÉJ¿¨%;Îq?J¨p;¨&J¤¥´¤m>¦#¨ÁÃm~6¤¿¨F´¤¨F¤¿Ê

}i¿JiÊl¤¿;}i¦D?¥´¤¤~#|Ji§¿¨&¿F}D?{¦J§m¨´§J¨m¤¿¨´Y~#m'D§}¤¿D;ÅYÜom´?¥´m¥OFm¨´Y}¨}Ï~(;z}¦Ï¥Om}

¤¨´¤¿¦D#¥}m¥}';J¦#¤l;¿¨O¤}¿B¦D#DD¤ÎÙ¦;m}¿¤¿¨æ);¨´¿F}!ÁÃ¨´¦&;B´´¨}B§¤¦#JF´¤lm¨´

¦Ô*;;¨F¿;¿D¤lÐ6¨}D¥´¤~m§;J¤ÎuÑÃi×ÒoiÕÍÓ¥´¤¿§;}¿|;;~#J¨m}¿;¨Â¤m¦}¤¥;D¤ÎÖ§¨F¤¨FDp¥}D§JJJÅ?¿´

¥}J§;¿;~#J¨mDÉ¨}m´?¿¨F¦}m¨´a}¨}¥´¤¿¨6¦oJ¥´¤§;¦o¥}zO¤;¨6;¿¨OYzFq¥;D§°¤¨}m}¿¤JY¦}¤¨´?¿JF};¿¿J

¿J¦+;¿Ê);DV¦DVÊl¤¤}¿J!¦\§;¨´§;;¨F¤lm¨Ç¨FV~,$;~#Ö¿¨´JJÅ.-¥´¤¿¨(;¦\´¤ /¨F¦´§¿¨

¦#}¨}\¤´¤§¿¨L¦¿§|¤¨´ÁÃ~6¤¨F#Í|;~#_¦¤¨´¿¨L§m¨F¿¨FÇ¤m§0¤L~¦|JÍi×oÒoÕ2;¨Ç}¨

|;~#¦}¤¨´¿¨\¦¿§pF´¤¿Ì¤lÌÁÅ1-#|;~##¦¤¨´Ìm¨Í¦§;;pD/}¨}¿~}¤lm¨\¦|J~¦

¤¨´¿¨\§¨F¨q>ÉH;¥}J;¨F¤¨FÏ¤¿¨´$}¨´¤¥}¥}QÎq¿~6¤lm¨§;¨´;Êl¤lÊm¦¿¤!¦q¨´¤~#m´È¦\DD¤>Å/×¥}¿´JÉ¿

|;~#V¦#¤¨´¿¨Â¦§¥;($#Áú¤§;¿;~#J¨m§;¤§´'¦6~6¤¨}|Jq~¿¿F}6J¨Â¿¿¿¤¨F¦D§m¨F¤¿¨mJ

¦#¿¨&;F¤¿ÌJ/´Ï¿Jp¥´¤¤~|;JJÅp $¤~,z}¦#¤2;~#¥}0;~#;¨F;#¦}¤¨´Ï}¨}#¨}m}ÊJ¿Êm;¿¨B¥´q¥È¦m¿

¿¨ÁÃ~6¤l¿F}Ûp;¨´§/Üo;½mÀ6Òo¨O¤¿FÝJ;{¤3¤¥}¥}¿m!; ¤¨´¤p¦#}¨|J~¦/;m}¿¤¿¨;¨}F}/¦¨F

¿ÁÃ¨O§°¿¨´¨};~#;¨FDÏ;¨´§;p~6¤$§m~#¥}¥´¤o¿J}¿¿m¿D;É ¤QÊm¿JÉ¤#J¥Om¨´¤_J¨qÌm¨}¨}J7§z};Ý¿¤

´¤m§°;/i§z};§z}¿¤§mXÅ

4 ã ¸J· á »5 ·¼ q|J~#J$zFq}¦JJÉ6JF´¤lm¨´¦ÌÔ*;;¨FJ¿JY¤lÐ6¨}D¥´¤~#§J¤Î^É6JF´¤lm¨´¦ÌÔH;;¨FJ¿J J§;¨´¦

~#;~È}¦§;¨F¿¨q>Él¤¨´¤?F´¤¿Ì¤lÊmÉl¤´¤§¿¨¦§;|;mÉDÊ;ÌË§;¤lm¨/ÁÃ~#;¿mÉDJJ¤Îp¦}i;´¿¤¿¨)J¨}m´É

ÛpJ¨}¿§Ü½*ÀÒo¨´¤qÝ;JJÉ;¥¨O¤J{¨F}Ìm¨}¨};XÉi§z};§z}¿¤#§;¿

(5)

A B

È70Y .!i$

C 40 D< /43 ¤#¦}F¨O¤~#¿§J¤aqJ~6/½z}¿§zÎz}¿}OzÖ¦§;;6¤¨´¦§m¨F¿¨F´´p;z´¤QÊq¿;Å#yiq¥}§;¤YÎ}¤~¾

¥}¿JÁ$zFq}¦6;~6*¤qJ~6i½z¤¦§;¨F¿¨q}´¦q¨´¤~#§;JÉq¿Ào´¨´§¿¨}O¤¿¿*;¿J§¿§J¤O§;§´Ìi½z

¦¿¦JJÅYy{z}zqF´¦È§zO¤¤§°;ÁH¤p;~ ~6¤Q¤¿/¤¿*ÁÃm~©z}¿¨FJ¤m§°¿¨O$Á¤/§m¨F¿¨F´´¥}§JY½z#¤¦¿¾

§;;§m¨mm¿;DÉlO§z¤m¤Ïz};~#m¤la§m¨F¿¿¨}oz}{J~#¥OJ¤}Á¤pFm~ÅFE¨O¤¿mÉ§m~¥´;Î¥}};¿m¾¢§m¨F¿¨F´´

;~6i¤~#;¿~D?¥}ÁÃJ¤}¿;¥}J;¨FD¦Fzqq}¦#~#¦;;ÉF´¨´¦§;¨F¿¨q}ÌDi¤mi~#¥}¿ÌË§;¤lm¨´aÁ>¤¥}¿¦

¤¨´¦z}¿z}¿!¨´¨}¿¨´J¤¥}z};¨´~#;¨´¤´Å*y{z´zqF´¦¥´¤¤¦}m~:z´¤OJ;¨ÁÃ}ÁÃ}¿B¤¥}¥}¿D¦¥}´J~#o¨_¤m~¿Ê

J¨}¿¨}i§;¨FHGIÉJKåÉl§z};~#§;¤m¥}q§;J¿¨}¥}¤¨FLGò®l²KåÉ¤~6¤lJ¦pz}¿zq½{¤QÏqJ~6LG¬ÉD²mKåÉQ~6¤¨qÁú¤§}¿¨}9G«±Él«KåÉ

¤¨´¦¤¿¤Ð§Ï~6¤¨´¤m;~#;¨F9Gm±KåÅ

y{z}!¤¨´¤¿Á

*M'N0O*,- .?+?0 P'56?087

zO¤J§;;¨F¿ÍJ~#;J¦Ö¤m¤B¥}~#¿¨}_¤¥}¥}¿¿§J¤l¿¨ÖËO;¦ÁÃz}

zqq}¿¦q¾¢qJ~6§;~#~´¨}ÌÑ RQS*MQ

ÉGò®qÉF³qÉ-TMTÉm®É¬F³qÉl²F«RKÃÓ°Å?Ûp;¨´§{;´¿¤/¨}½*À;É§;~#¥mJ¦ÈÁ´z};´¿¤

¿¨F;¤§¿¨´?O;½J;¨#J¨}JJÉ¥};¿¨´JÉm¤¨O¦~6¤¿´~#¿J§;}¿JJÉ}¨´¦};z}ÁÃ´¨´§°m¨}¨´¤¨´¦#¦JÊJm¥}~#;¨F?Á>¤¿}¿Êq¿¨}

mF¤¨}~6JÅÏy{z}¦q¨´¤~#§;ÏÁaz}JÈ¨´½*Àqo¿pzqq}¦¿¨Í¨´¤}ÉH¿¨Bz}#;¨´z´¤lpz}§m¨m¨q}m´Ï;Êm}¿¨BÁ

z}!§;¨´§;;¨F¤lm¨Á¥}J¨´È¤¨´¦Öz}J~#¿J§;}¿J¥´}¨´§°´¤lJ¦ÂqÖ¦§;;V§z´¤¨}D/¨Ùz}¤§°Êq\Á;¨´J

§;q¦}¨}ÁÃz}p¥};¿¨´;ÅYÕBmÏ¥}D§JmÉz}/§;¿¿}¿¤§;¨´§;;¨F¤lm¨6Á^z´Ï¥};¿¨´¿iz}pJ}Ì*Á^½*È¤¨m¤m¨}

¥}z´;¨}m~J¨´¤U¥´;¿¨Íq¨mz}JÏ¤¨´¦B¥};¿¨Í¦;m¤m¦}¤lm¨>Åy{z}#F¨Fz}J¿Ái¤V¥}J¨Í¦};¥;¨´¦}pm¨Bz}Î¥}Jm¨

ÑQVQÉ¤§°Êq}ÓiÁ${m;¨}mÉ½z}¿§z§;¤¨!/J}¤lJ¦VFz}§m¨´§J¨F¤l¿¨!Áz´;{¥}J¨O;Åay{z}¦J¤¦}¤¿¨VÁ¤

¥};¿¨Í§;¤¨_¤VO§¨Fm¿J¦z}m}zB;m}¤lm!¨F;¤§°m¨´½z\z´;¥´;¿¨´JÅoÆÇz}¿È¥Ol½*;ÁÃ}$D§z}¨}m´J

ÁÃmÏz}¤¨O¤¿q;ÉHÊJËO§J¤l¿¨7ÉH¤¨´¦§¨Fm$Ázqq}¦Í;~6pz´¤QÊ;;¨Ö¦JÊ;¿¥J¦æÑú;NG²³FÉ>KaÁÃm/JÊF¿;½oÓ°ÉHz}

¥OD§ËO§¿J!Á/z}_}¿¿m¿§J¤¤¥}¥}¿¿§J¤l¿¨Ç¦m~6¤¿¨Ç¥OFÍ¤Ù¨F´~;VÁ§z´¤¿J¨}DWG.TRIKåÅXE$¿DÉÎ}§J¥ÁÃ¤ÖÁÃ;½

¥´¤¤m¦¿~6¤l¿§{;Î¤~#¥}D;ÉqF´¤¨FÌ¤l¿Ê¨ÁÃm~6¤¿¨6¨VÀF¿¨};§o¥´¤¤~;J?¤¨´¦#~#¿J§;}¿¤§;¨´§;;¨F¤lm¨´ai´´¤¿

¨}¤QÊQ¤¤´mÅÂJ§m¨´¦^É~F#¨};½mÀÁÏ}¿¿m¿§J¤¨FJD#¿¨FÊm¿Ê¤Í¤!¨F´~;#Ám;¨}DÈ¤¨´¦æ¨FJ¿§ÀD¦

ÁÃJJ¦´¤m§À¿Fm¥´JÅa#z}Jo¦q¨´¤~#¿§J{¿§;~#¥}¿Î!¤¨´¦¤¨¨F´ÌÊmp´¨´¦;¤¨O¦¨´Á$z};¿{ÁÃ}¨´§¿¨}¿¨}6¦Ð6§;}

m¤¨>Å?y{z´Jp§;¨´¤¿¨F~¿Êl¤lpz}¦;Êm;¿¥}~#J¨m{ÁY¤~#;z}¦VÁÃ{z´/F´¤¤¿Ê/¤¨´¤¿Á~#q¦};{Á$¤

¤¨´¦§~#¥}¿Î!;¨´§pJ}¤l#¨}½*À;Å

¢¨_m¦};V¤§z}¿;Êm/z}JÉOm;¨};§;´¿¤¨};½mÀo¤;¥´DJ¨mJ¦qB¤§¤Á?zqq}¿¦~#¦J¿m¨´¤¿

¥}¥mJ¦qÂÛp¿¤m¤¨´¦ZY¤}Ô~6¤¨[Gò®?JK{¿¨Öz}D¤JÊJ¨mD;Å¢¨Öz´J~#q¦};;Éz´V§m¨m¨q}m´¥}z´;¨}m~J¨´¤Á

¥};¿¨Èq¨mz}J$¤¨´¦¦J¤¦}¤¿¨¤*¦J§J¦q~D¤¨´$Á¤lÐ6¨}{¦ÌÔH;;¨F¿¤mDmO¤l¿¨O;Él½z}¿¿iz}*¦}¿§m¨m¨q}m´

¨´¤}6Á{z};¿¿¨m;¤§¿¨Ö¿§;¤¥}}J¦qÍ~#J¤¨´ÁJ¥ÖÁÃ}¨´§¿¨´JÅ!y{z}VD}¿¨}N\ O5]!4^__`a<Db)08>

c,> ÑÃ^ÒÏ×Óo~#q¦};zO¤QÊp~#¤z}J~6¤l§;¤^¥}¥;¿Jz´¤{Áú¤QÊ{F´¤¿¤lÊmp¤¨´¤¿Á7z}J¤m¦F¾å¤p¤¨´¦

¤¨´¿;¨FOJz´¤QÊqmÁz}¨}½*ÀVÑVQS*dQÉ)Gò®¬É?®F³FÉa¬±Éa¬TÉ$²dIÉ?«-TÉ?«l²?KêÓÅÙÏ¨f¤BÁÃm~6¤*¿;ÊJeÉYz}HÒÏ× ~#¦;

¤ÈJ¿¤J¦B!¤!§¤Ái¤q¨´§z}¨}m´¿§;¤7~#¦;p¥}¥mJ¦qBy{z}~6¤p¤¨O¦_§m¿J¤}D2Gò«m³VKåÅ/HÒÏ×~#¦;

¤¨´¦_z};¿/m§;¤$;¤lÊmJÏz´¤QÊÈOJ;¨´D¦BÁÃmÏz}6´¦BÁ*¤!¨F´~;/Ái¥´mÀQ¤m¿§¤¨´¦_J}Àl¤§;´¿¤

¨};½mÀ/ÑRQS*dQÉeGfTVJ}É´®É}²dJÉO«¬}É´«?IKÃÓ°Å

¢¨6z};¥JÉmz´p¤¨´¤¿?Á^z}p^Ò×Ïæ~#¦;Á>J¨}¿§J}¤l¨};½mÀi¿D§;¤mi¿¨!¤zqF´¦q¾¢;~6

ÁÃ¤~#;½*ÀHÅ7y{z}¥}z´¤¥´¤m§?Áz}{J~$¥´¤¿¨}D¦q/zFq¥;D§°¤¨}m}¿¤^J¿¨´7½ÌzÈF´¤¤¿Ê;¿F¾X¦J¨m¿§J¤

¦q¨´¤~#¿§J;ÉDzO¤lY¿JÉDz}{¿¨¥O¤l;¨Áz}?~#{¦;¿ÊQ¤¿Ê?Áz}*¤liÊl¤¿¤}¿J>$¿¦J¨F§;¤m¨ÈJ¤m§zÁz´Ji;¿¨O;Å

Æ6Î¥}¿/z}¥´¤Ìm¨Í¤m§¤lBJ¤§z\^Ò×Ï©~¦Ji¤§m¨m¨q}m´Ï¤¨´¿¨Ö;~Øz´¤QÊq¨}JF}¿Êl¤¿;¨F

J¤m§z´¤}¿¿Ì¥}¥;¿JY¤¨´¦z};¨7Ém¤¥´¥}q¿¨}¤ D!40O4/ m c,> +?'@(408M4 G²}ÉF«qÉT;²´É-TD«qÉ-TDÉ¬¬}É«?JKåÉm¤/¦§;;

¤¨´¿¨ÖqJ~Ä¥}lÊq¿¦¿¨}¤§;~#¥´¤m§°¤¨´¦F´¤¿¤lÊm¦}J§¥m¨ÍÁz}6¦q¨´¤~#§;/Áz}6§;¨F¿¨q}´/;~Å

E´~#¤¿Émz´p¦§o¤¨´Ìm¨VqJ~Ú¿*¤~È}¿¤¿¨>ÉmzO¤l{¿JÉF¤È§m¨´JÊl¤¿Êo¤¥´¥}QÎ¿~6¤l¿¨6Á^z}p§m¨m¨q}m´

¤¨´¿¨_;~ÅÆÈz}l½zO¤lz}È¦}¿§¤¨´¿¨_qJ~)§;¤¨BD¤¿§~#¥}}J¦_¨Í¤!q~ÈOm§~6¤¨}¨´;

ÁÃ~,¨´JF´¤¿§;¨´¤¿¨Fm¨z}È¥´¤¤~#;;Å{y{z}oJ¨´¤}¿Joz}È¦Jm¨BÁa¤¿mD¦¤mÌz}~6{zO¤lÏ§;¤´¥

¤/¤¨´¦§;~#¥}¿ÎVm;¨};§Ï;m}¤lm6¨´½*ÀqJÅ

y{z}azqq}¿¦>ÉD½Ì§z¾å¿À?§z´¤¤m§°;HÁqz´i¦q¨´¤~#§;^Á;¨´§Y;´¿¤¨};½mÀHz´¤m>¤l¤§°J¦p~O§z/¤;¨F¿¨

ÁÃ~ JJ¤§z´;7m¨Èzqq}¿¦È;~6Ñ VQS*dQ Gò®qÉF³FÉ>TTÉ®É¬F³qÉl²F«RKÃÓ°ÅiÏ}a½*À¦ÌÔH;YÁÃ~ z}¿?½mÀ¿¨z};{J¥OD§°JÅ

E¿JÉ>½*´¤m}¤¥}¥}m¤m§zB¨\¥}D§J½¿¾¢¤lÐ6¨}È~¦J¿JÉ>½z}JD¤pm~#´¥´zO¤QÊ;~#¥}¿lJ¦_¥}D§J½¿¾å~}¾

¤Ð#¨´B¥}¿J§;;½;¾X¨´¨}¿¨´J¤#~#¦;<Gò®É*³É&TTÉi²F«KXÉ¤¨O¦æz}J#zO¤QÊ´J¦L§z´¤§¨OJ¤¦fÁ/¦;J~#¿¨}¿§

~#¦;G¬F³VKåÅÆÇz}¿#^Ò×Ï ~#q¦};Ï¥´lÊq¦È¤!~#¤¥}¥}QÎq¿~6¤l¦J§¿¥¿¨\Á?z}#J}¤l!¿¨F;¤§¿¨´Ï¿¨¤

¨};½mÀHÉYz};Ù¤!½J¾å¤m¦}¤¥}J¦Íz}§}J¨F¿Ö¤QÊl¤¤}¿V;Î¥OJ¿~#;¨F¤*¦}¤¤\¤¨´¦Ùz}JÂ¥OJ~##¤¨æ¤¨O¤¿qÁ

z}¿z}¾å¦¿~#;¨´¿¨´¤´J~#i´¨}¨}DF´¤¿Ì§m¨´¤¨Fa¨6¥´¤¤~#JY¿¨´D¤¦#Á^¨q}~#;§;¤´ÊQ¤´JJÅYqD§m¨´¦^ÉF½z}¿

z}6^Ò×Ï©~¦J¿/zO¤QÊ#¤OJ;¨Ö´J¦\q\Ûpz}mz\¤¨´¦§¿¿J¤m}JgGò®KåÉ^z}J¤z}/¦¨}/¤À¿¨mB¤§;§;}¨F

z}6¦q¨´¤~#§;pÁ?z}6J~)¨\z}¥}¤¨}DÏÁ*¦§¨F¨q}É^½z}JÈJF}¿¿}´~Ä¥Om¨Fp¤¨´¦_z}J/¥}z};¨´~#;¨´¤!Á

¿¨F;J~6¤QBq§J§}hG¬T4KXÅÆ\#´6¤¨Ö¤¥}¥´F¤§z_¿¨´¥}J¦\qz}#D¤l~J¨F/Á*¦§¨F¨q}¿Jp¿¿¨´¤¿¥}¥mJ¦

qWE$¿¿¥}¥lÊiG®m«RK¤¨´¦BJ§;;¨F¿!¤¥}¥}¿D¦^ÒÏ×j~¦J¿Á?m;¨};§J}¤l¨};½mÀqBÛp}Ý ¤¨´¦_}¤6G¬T KåÅ

y{z}¿¦^É½*¿¨Fq¦}´§¤¿J¦È¤¿z}~67ÁÃz}§;~#¥}¤l¿¨ÈÁOz}¦§;;¤¨´¿¨;~©z´¤la¦/¨}YJF}¿

(6)

z}/´ÏÁ$§;~#¥}¿ÎV¦D§¿¨V¥}§;J¦}J*´§z!¤m?z}pF´¤¨FË´;*;¿~#¿¨´¤lm¨J§z}¨}F}p´D¦¿¨ Gò®KåÅ?y{z}{¤¿l½oi´

ÈÁÃ´¿V;Îq¥´mÌ{z´ÏÁú¤QÊm¤}¿~6¤z}J~#¤§;¤^¥}m¥OJD*Á7z}/^Ò×ÏÇ~¦J¿¤¨´¦Vzq´{¥}~#pz}/}¥´§;¤¿¤}¿

Á$z}~#z´q¦>Å

¢¨§;~#¥´¤m¨Ï½z}$¥}JÊqm´>½*À"Gò®-TÉl®®KXÉDz´i~#z}¦¥}J;¨FD¦/z};?7´¤mD¦/¨¤{ËO¨};¾Xm¤¨´J¦p¥´¤¿¨

Áz}#¥}z´¤6¥O¤§#½z}§z´¤¤¨m;DÏ¤}¨}F}m¨Í¥´¤J¨ÖÁiz´¦;Êl¤¿ÊJp¿¨\D¤§zÁz}6zqq¥OJJ§¤¨}}¤

;mm¨´;Åpy{z}mFÊq¿´¿!¿J¤m¦}o!¤V;Ë´¨}J¦Í¦¿§È¤´¤m§°m¨>É¤¨´¦Bz}J¨´§¤~#¥}J§;¿È¦}J§¥m¨BÁ?z}

J¤m§z´¤}¿¿Ì¥}¥;¿JÏÁaz´;~Åol½*;ÊJJÉ´z}Ë´¨}J~#;¨FpÁaz}#¤O¤m§°¿¨_¤¿VJ¨´}D¤VO;J/~#¤§z

½*;J¨z´Ï~#¦;¥}J¦§°m¨´*¤¨´¦z}p§}J¨F¿#¤QÊl¤¤}¿o;Îq¥;¿~J¨F¤H¦}¤¤}ÉF¿ÊJ¨6zO¤l*z}p¿¤;*´O¤¿¤À

z}/ÁÃ~:Áa§z´¤¨}D¿¨z}¿¨¥´¤l;¨Áz}¦J¿Êl¤lÊmJ*Áz}Êl¤¤}¿JJÅ

y{z}~;z}¦¥}J;¨FJ¦z};z´¤m;;¨B¿~#¥}¿;~#;¨FD¦¨\¤#¨};½ ¥}q¥OÊm;¿¨ÁYz}qm %&44(1"'56?087

R0%L1 Gò®±KXÅåY¤¥´¥}§;¤}¿pÏz}¤¨O¤¿q>Á§~#¥}¿Îm;¨};§?;m}¿¤mp¨}½*À;ÉQ½z}FiÁÃ}¨´§¿¨}¿¨}

i¨ími½*;¿´}Ö¦;qq¦#q}¿¿JÉ?¿¿´¤lD¦#qÈ~#J¤¨´?ÁHz}ÏÎ}¤~#¥}¿Á^z}o¨q¿¨´¤OJaD¥Ö

¿¨z}´¤m§°;}~

0 O- ?

ÅaÆ\pz´l½Çz}l½Ç¤F´¤¿¤lÊm¤¨O¤¿q?Á7¤^Ò×Ïæ~#¦;Á7z}i¨´½*ÀÈJ}

¿¨B¤¦}¿§Ï¤¨´Ìm¨!qJ~:Ái³l¬È}¿¿m¿§J¤¿6;¿;Êl¤¨F¤lJJÉ½z}m/D¤§z´¤}¿¥´m¥OJD§;¤¨pÊl¤¦}¤lJ¦

q~#J¤¨´*ÁÎ¥OJ¿~#;¨F¤^¦}¤l¤´¿¨}¤¨´¦}¤¦V~¦JÌ¾¢§z}D§ÀF¿¨}q;Åay{z}{z´¤m¿J¦V¨}J½ ¿¨´¿zF¿¨F#z}l½Çz}

¤m¦}¤¥¤lm¨ÁY§;;¿>l½{z!6¨q¿¨O¤>J;~#;DÁÃm~:z´~#¿J§´¿¤¨FJ¤m§°m¨´;Å?Õ_;lÊJJÉqoz´¤o¿Ê;¨

¿¥}J¦§°m¨´?ÁHz}ÏOJz´¤QÊqm?Á^z}Ï;~Ú¤lÁêJ¤¨q¿;¨F*}¥´z}ÌÁêDÉq½z}¿§z¤Ï§}J¨F¿È;¿¨}JJ¦¨m}

¤¤l<G«m®RKXÅ

y{z}¥´¤¥;Ï¿Ïm¤¨}ÝJJ¦¤oÁÃ¿l½oJÅ{¢¨\qJ§¿¨Í®½¿¨F¦´§HÒÏ×j~#q¦};oÁ?m;¨};§;´¿¤¨};½mÀ

¤¨´¦Â½*Î¥}¤¿¨Âz}l½ Í¦}J¤½ÌzÂz´!¦§;¨F¿¨q}¿J¿¨Öz´Vmzmz´¤¨O¦Â¦Áz}V¦}ÌÔH;;¨F¤*JF´¤¿¨´JÅBy{z}

¦q¨´¤~#¿§J¤a¥}¥;¿J/Áiz´6HÒÏ×©~#¦J¿¤#¤¨O¤¿FÝJJ¦\¨ÂqD§°¿¨Â¬´É>½z}§z¿J¤m¦}/´/¿¨Fq¦}´§6¤¥´¤¿¨Á

z}¥}z´¤m¥´¤m§qVzqq¥OJJ§¤¨}}¤*;¿¨O{¨B½z}§zz}È¿¨¥´¤J¨Á$z}¦J¿Êl¤l¿ÊD{¿¿¦};¨F§;¤eÅ*y{z}¿o½¿

;Ê#¤¤!´¤pÁÃ/z´#¦}¿§mmO¤¿Ì¤l¿Ê#¤O¤m§°¿¨\¥}J;¨FD¦Í¿¨ÖJ§°m¨\²OÅÈÆ6ÁÃ~´¿¤Èz}#^Ò×Ï

~#¦;a¤Y¤/§m¨F¿¨F´´$¤¨O¿¨;~4½ÌzÈDm´Êl¤¿;¨FaJ¤§zO¤}¿/¥}¥;¿JJÉ¤¨´¦¦ËO¨}¤p¦}¿§i¤¨´¿¨

;~z}}mzz}OÁa¤´¤§°m¨>Åi¢¨ÍJ§°m¨Í«É}½*z}l½z}l½ z}¦§/¤¨´Ìm¨;~ §;¤¨D¤¿

§;~#¥}J¦¨Â¤Bq~¿¿§~6¤¨}¨´;/ÁÃ~Ø¿¨}DmO¤¿ÌÍ§;¨´¤¿¨Fp¨Ö¥´¤¤~#JJÅ6y{z}¤¥´¥}§;¤}¿_Á*z´6~;z}¦

¿O¤J¦Ù¨LqJ§¿¨uÍFÖz}!F´¤¤¿Ê¤¨´¤¿Áoz}!J¤m§z´¤´¿Ì\¥}¥;¿JÈÁz´!m;¨};§;´¿¤

¨};½mÀV}¨´¦J¿q¨}#z}¨q¿¨´¤7JD¥¨O¿¨

O>40 :P?

Åy{z}Ë´¨´¤7J§°m¨ÁYz}¥´¤¥;¦}¿§´J

z}D´Ì{¨z´§¨FÎqÁYJ¿¤J¦!½*À¤¨´¦!¿ÊD*~#/¿¨´¦§;¤lm¨´{ÁÃm{ÁÃ}z};½*ÀHÅ

" &L-*$Ø0-.! $02*O3 0$56"

! "$#&%')(*+-,/.1032546)%87923

y{z}Ï¦q¨´¤~#§;?Á^;¨´§{;´¿¤¨};½mÀa§J¤¨#OÏ~#q¦};¿J¦#qÈ¤§;¿¤m?Á^¥}¿J§J½¿¾¢¤lÐ6¨}o¦}ÌÔH;;¨F¤´JF´¤lm¨´

ÑúHÒÏ×*ÓÁz´/ÁÃ¿l½¿¨};¨´;¤ÁÃ~ Gò®?JÉ´«F³VK+U

:

;$<>=@?A;CBC<ED?A;CBGFHI?A;CB1J

Ñ_TDÓ

½z}J

;K<L?NMPOQJRSRSRSJTMVUVB8W-XZY

7¤oÊmJ§7Á´§J¿}¤$¥}J¨§;¨´§;;¨F¤lm¨´;É

D[<\?^]*O_JRSRR`Ja]QU)BTW

É

H<

¦¤

?cbdO_JRSRRSJ8b*U)B

É

¤¨´¦

YLegf Uh6i

/¤}¨O¦J¦jH¾å¦¿~#;¨´¿¨´¤$¥}zO¤È¥´¤§;QÎHÅy{z}¤lÈÁi§z´¤¨}ÈÁiD¤§zB¥};¿¨\§;¨´§;;¨F¤lm¨

M6k

ÉmlonqpCn&jaÉq?zq´¦}Ë´¨}D¦V¤maz´p¦ÔH;;¨´§;Á^z}p¤Á7q¨Fz´J¿

]QkT?A;CB

¤¨´¦#z}¤lÁ7¦};¤¦´¤l¿¨

b*k?r;CBM6k

Á$z}¥}J¨7Å

y{z}ÁÃ}¨´§¿¨

]skGtuYwvxf hVi

Î¥}JDaz}l½Lz}Ï¤loÁ7q¨Fz}DiÁ^z}p¥};¿¨;¨´§;¦J¦6q#J¨}5pa¦J¥OJ¨´¦}¨

z}§m¨´§J¨m¤¿¨´

;

Áz}¥};¿¨´{¿¨!z}§JXÅaÕB¥J§;ÌË§;¤¿¿Éqz´/ÁÃ}¨´§°m¨

]Qk

¿¦Ë´¨´J¦¤

] k?r;CBC<zy

{c|*})~s

{

k*

{k

?r;CB`J

ÑX®Ó

½z}J

{ kGq

¤¤lÏ¥´¤¤~#JJÉ

{k

tYwv

J

ls/¤¥´D§;½¾¢§¨F¨q}m´ 0O*,- .?'?"#,-'? É}¤¨´¦

k

¤¥m¿}¿

J~¥};*Á>¨´¦}¿§;J*Á7;m}¤l¿¨#ÁÃ´¨´§°m¨´;Åay{z}ÏÁÃ}¨´§¿¨

b*k

;Îq¥´DJ?z}pJ}¤lm¨Á>¥´;¿¨V¦J¤¦}¤¿¨>Åå

¦}Ë´¨}D¦¤¨O¤¿m´

]Qk

Ém;Î}§;¥}izO¤l½*¦J~6¤¨´¦#z´¤l

b*k

i¿§¿#¥OF¿ÊmÅ$¢¨V¤m¦}¦¿¨>ÉF¿¨¦;iÁÃm~6¤¿

¦¿¨}}zV¦;m¤m¦}¤lm¨#¤¥O¤¤~#;YÁÃm~ q¨Fz}D?¤lo¥´¤¤~;JJÉ½*½¿H¦J¨}oz´oÁÃ~#;Fu¨´D¤¦

Á

Å?Üo§pz´¤o½Ìzz}¤OlÊmp¦;Ë´¨}¿¨´JÉ

=

¿¤3\

O5]!4^__`aN

ÁÃ}¨´§°m¨>Å

Ò©;m}¤l¿¨ÁÃ}¨O§°¿¨

{k

¦J§¿ODz´§m¨´¦¿¨´´¨´¦;Ï½z}§zz}¥´;¿¨B;¨O§¦J¦q;¨´opq¨mz}J¿Ý;J¦

Ñe¦;m¤m¦J¦´Ó/¤¤B¤l

{k Ñc

{

k

MVk

Ó°Åå¦;Ë´¨}J¦Ö¿¨J~6ÁJ¥ÁÃ}¨´§°m¨´¤¨´¦¿z}!¤Ìz}~#§#JF}¿Êl¤¿;¨FÁo¤

(7)

*q¿J¤¨6ÁÃ}¨´§¿¨V;Î¥}D¿¨}z´p¿m¿§oÁ7m;¨}ÏJ}¤lm¨PG®JÉ}«m³VKåÅaÕB¥´D§JmÉz}§¨O¦Ìm¨´iÁÃ{q¨Fz}D

¦J¤¦}¤¿¨¤p;Î¥}DJ¦V´¨}z};¥ÁÃ}¨´§¿¨´

J

6U

?NMdJ B9<

l J

Á

M

*J

J

Á

M*J

¤¨´¦

?NMdJ BC<

l F

?NM*J B1R

Ñe¬mÓ

½z}J

M

V¤¨ÇJJ~#;¨FVÁ/z}Í¤l_ÊD§°

;

¤¨O¦

¤Ù§;¨´¤¨F!¦;¨´¿¨}Ù¤Öz}Jz}¦Ç§m¨´§J¨m¤¿¨>Å

<

?TRSRSRJ

~

k

JSRRSRB É

<\?TRSRRSJ

~

k

JRSRRB

¤¨´¦

<\?TRSRRSJ {~

k

JSRRSRB

½¿7¦J¨}/z}/¥´¤¤~;J*Êl¤}D;Å

E¿} T¿ÊD¤¨\Î}¤~#¥}¿Á¤¿~#¥}J¨}¿§J}¤l!¨´½*À§;¨´¿¿¨}!Á?½*Vm;¨}D;É ¤¨O¦ ÅÆÇz};¨

¤Bm;¨}\Ñ Ó¿Î¥}JD¦^É7z}!§;D¥¨O¦¨´B¥}J¨(ÑeÒ:Ó/¿F¨Fz}JÝJJ¦^ÅBi;¿¨´ÈÒ%¤¨O¦Â4;m}¿¤

z};Îq¥´Dm¨!Áa;¨´J

¤¨´¦

ÅoÕB¥J§;ÌË§;¤¿¿É´¥´;¿¨B ¿¨}z}¿}z}Î¥}J¿¨ÁaJ¨}

É¤OlÊm/¤V§;¤¨

z}Dz´¦Í§m¨´§J¨F¤l¿¨7É½z´¿#¥}J¨Ò ¿¨}z}¿}pz}#Î¥}J¿¨_Ám;¨}

¤lÊ¨}Èz}Jz}m¿¦\§¨O§;¨F¤¿¨>É

¤¨´¦Á{Ìl½¨Ö;¨´É$¤OlÊm¤BJ§;¨´¦>É7z}¿z}J/z}Jz}m¿¦Ö§m¨´§J¨F¤l¿¨7Å#y{z´¦;m¤m¦}¤lm¨\Áz}6¥}J¨O/¿¨´

;m}¿¤D¦^Å

b a

A

B

E¿})TMU>aÎ}¤~#¥}¿iÁO¤om;¨};§?;´¿¤¨´½*ÀÏÁ½Ï;¨´JiÑ

¤¨´¦

Ó°ÉlD¤§z§;¦¨´oÁÃY¤;m}¿¤mp¥}J¨!ÑúÒ

¤¨´¦VÓ°Åy{z}p¨}¤lm¨6ÁÃ¿¿l½o;ÉF¨¤È~#J½z´¤l{¿~#¥}Ë´D¦6ÁÃ~ÉFz}p¤¥}z´¿§J¤O§;¨qÊJ¨F¿¨´i¥}m¥OFD¦6qhYmz}¨PG²>T KåÅ

y{z}/¨};½mÀV¨WEm}T§J¤¨O¦D§;¿J¦!FV~D¤¨´{Á$z}/ÁÃ¿¿l½¨}¥´¤ÁY¤/JF´¤¿¨´VU

:

Mo<

?NM+J

B

?NMJ BIF

!M

Ñú²FÓ

:

M <

?rMJ

O

BIF

+MSJ

ÑX«Ó

½z}J

O

¤¨´¦

¦};¨}\z}z´Dz}m¿¦ §¨O§;¨F¤¿¨´VÁÃ¥};¿¨jÒÉ½z

O

Ép¤¨´¦ ÉÏz}z´Dz}m¿¦

§;¨´§;;¨F¤lm¨\ÁÃm¥};¿¨ÙÏÅ$Æ\V½¿?;~#¥Om¤¿¿\¤}~#6z}ÁÃ¿l½¿¨}B¥´¤¤~;JÊQ¤´JVU

<"!#!

É

u<

l É

< <$!

É O

<%

É <&

É <'%

É)(+*,

< l !

¤¨´¦-(.*,

<&

É½z´;/(+*,

¤¨´¦0(.*,

¦J¨}z}~6¤Îq¿~´~

§;¨´§;;¨F¤lm¨VÁYJ¤m§z!¥´;¿¨>Å

iF´¤¿¨ Ñe«mÓ#¦J§Jz}B¤lÁ/§z´¤¨}Ápz´_§¨O§;¨F¤¿¨uÁp¥´;¿¨LÏÅaåV¤D#z´¤¥}J¨L

¥}¦´§;J¦LÑú¤È¤¤

ÓÉ$Áo¤¨´¦¨´\ÌÁ1

?NM

J

O

B9<

lÉ$z´¤¿JÉ$Á¤¨´¦¨´\ÌÁ

M

É$z´V§m¨´§J¨m¤¿¨\Á¥}J¨

ÒÉ>¿/;¿l½ z}Jz}¦

O

Å6?;¿¨ ¿¦J¤¦D¦Í¤¤!¤lÈ¥´m¥Omm¨´¤l½¨§m¨´§J¨m¤¿¨fÑc

\

¤

¤l§m¨´¤¨FÓÅiF´¤lm¨uÑÃ²qÓ¤lJoz´¤Ï¥};¿¨_Ò o¥}¦´§D¦ÙÑú¤Ï¤6¤l

ÓÉOÁi¤¨O¦B¨}¿ÌÁaz}È§;¨´§;;¨F¤lm¨

Á?¥}J¨ÍÒ4¿Ï;¿l½

Ñ2

?NMJ

B<

lQÓ¤¨O¦

M

Éz}§m¨´§J¨m¤¿¨BÁ?¥}J¨_pÉ¿ÏOJl½

Ñ3

?rMJ aB@<

lDÓÅ

?;¿¨BÒ ¿¤¿6¦;m¤m¦J¦!¤lo¤#¤p¥}¥¿¨´¤O6Ì{l½¨§;¨´§;;¨F¤lm¨>Å

^ 4765T0)%87923[7C. *+

Æ_z´¤QÊmB¥}DJ¨FJ¦L¤OlÊm¤Â§;¿¤m#Á¦ÌÔH;;¨F¿¤oJF´¤¿¨´6OD¦uÙ~#¦;om;¨};§B;´¿¤Â¨};½mÀJÅ y{z}

¦ÔH;;¨F¤$JF´¤lm¨ÂÑ$TDÓ*¿¨´§;¥Om¤JJ¥ÁÃ}¨´§¿¨´o¦D§;¿O/z}¿¨7´´;¨´§;Á?§J¿}¤o¥};¿¨B§¨O§;¨F¤¿¨´

m¨Ç;¨´_Î¥}J¿¨7Å Ï}!m¤o#u¤¨´¤¿qÝ;z}\¦q¨´¤~#¿§J¤o¥}¥;¿JÁ/z}J~ ¿¨Çz}Í¥}z´¤Í¥´¤§;

Y Å

-m~¥´§;¤¿¨´¤¿ÁÃ~ z}Ï´Á7;¥ÁÃ}¨´§°m¨´JÅYy{z´Ï;¥ÁÃ}¨´§°m¨8:9

?NM*J B

*¦¿§m¨F¿¨F´´?¤

M3<;

ÅYÒÏ

¤Ï§¨ODm´;¨´§;ÉDz}*mzmz´¤¨O¦¦Á$Ñ_TDÓ°É

=

Él~#¿zFYO*¦¿§m¨F¿¨F´´$¨=<ÈÉQz}i´¨}m¨Áz}z}Jz}m¿¦zqq¥;¥}¿¤¨}JJÉ

mÊm;¨Íq><

<@?

k

|A OCBDBU:EGF

{~^|A

OHBDBI ~E ;gX YKJ)M k <L {~

k

mÉ7½z};z}¥}J¨;¨´§;¦J¦ÍFBm;¨} ¿/¤}~#J¦B!zO¤QÊNM

k

z}Dz´¦!§;¨´§;;¨F¤lm¨´;Åaq¿¨´§

=

¨}{ÁÃ}¿¿!§m¨F¿¨F´´{m¨

Y

É´§;¿¤m§;¤H¿¨F;m¤¿¨VJ§z´¨}¿F}D¦#¨}¤¥}¥}¿Å

¢¨f¦;#Â¦J¤½Ìzæz}6¥}}¿;~Éi½*½¿ÁÃm¿l½%¤¨Ç¤¥}¥}m¤§zu½¿¦JF¾å´J¦æ¨Ç§m¨F*z}JÉm¨´¤¿

¥}¥mJ¦!q E¿¿¥}¥OlÊ G®m«RKåÅaå§¨O*¨Îq;¨´¦¿¨}#z}¦ÔJJ¨m¿¤ c4,>?'?

:

;[< =@?r;CB`JC; XZYPO

< J

ÑemÓ

½z}J

=

¿o¥}D§J½¿¾¢§m¨m¨q}m´*¨

Y

É}½z¥¿¨mÁY¦§;¨F¿¨q}ÌV¨Q<ÈÉq#z}¦ÔJJ¨m¿¤ ,:

:

;&XR&?r;CB`J

½z

R&?r;IBC< SUTV?' VXWZY

[\^]

F

[`_|a

=?cb B

B`JC; XZYJ

Ñå³Ó

(8)

½z}J

SUT ? B

¦;¨}Daz´~6¤¿J§¿mJ¦#§;¨qÊ;Î§;¨F¤¨}¿¨}/z} Éq¤¨´¦

VZWXY

[ \^]

F

[`_|a

=?b B

mÉmz}Á>¤¿

¿~#*Êl¤}DiÁ

=@?cbGB ÉFÁÃ

bX

<¤¨´¦

b v ;

ÅYy{z´¿*¤¥}¥´F¤§z#z´¤;;¨¤¥}¥´¿J¦6¿¨6z}p§;¨F;ÎqiÁ7m;¨};§;´¿¤

¨};½mÀ6~#¦J¿¨}6q!Ûp´Ý¤¨´¦B¤]G¬T4KXÅ

¢¨æ¥}¤m§°¿§;É

R ?A;CB

~6¤QÖ¦}ÌÐ§´ÌÖ§m~¥´OD§;¤´!z´~6¤¿D6§¿mJ¦Ù§;¨qÊ;ÎÖ6§;¤¨u¤§m~#¥};Î

¥¿qz}J¦¨¿¨

Y

ÅaÆ/z´;ÁÃp;~#¥}¿lV¤¨¤J¨´¤¿Ê/Îq;¨´m¨!Á7z}¦ÔJJ¨m¿¤^JF´¤¿¨ÖÑúmÓÉ

:

; X ?r;CB`J

½Ìz

?r;CBC< HS `?8 VZWXY

[ \]

F

[`_|a

=?cbGB

B1J ;&X YJ

Ñ'ImÓ

½z}J

HS S? B

¦J¨}Jz}~6¤¿¿JÈ§¿mJ¦

-

\

0 084/:*?,- f0

È§;¨F¤¨}¿¨}Bz}! ÅÍ*\´¿¨}

HS

ÉY½§;¤¨

;½Ì

?r;CB

¤6¤¥}¦´§#Áp;É QVQ

?A;GB < O ?r;CB RSRSR U ?r;CB

Å(y{zq´JÉ?z}_¦ÔJJ¨F¤¿¨´§¿´m¨Ñ'ImÓ

§J¤¨fO;½Ì;¨f¤#¤;~ Áp¦ÔH;;¨F¤{¿¨´§¿´m¨´

:

M k X k ?A;CB1J

p

X l RR

jåÅæÜ§B¤¿_z´¤l

?A;CB

#¤¨

lÊm;¤¥}¥}QÎ~6¤¿¨6Á

R ?A;IB ÉÁÃmo¤¿

; XZY

Å

E´~#¤¿É7½¦;Ë´¨}¤^Ò:qJ~4¤¤¿¥}¿

?AYJ

<

JB

Åy{z´mm¨´/Á¤^Ò:qJ~Ø¤#¿ÊJ¨\q_z}

¿¿¨O{Áz}¦ÔH;;¨F¤^¿¨´§¿´m¨Ñ'ImÓÅ

ß¸ úã! #"$>ã 5$¸ eã% ã& ä 'iß ¹ ß ¸ º&5 »)5/$· úã)(+*Ò ¿¿¨æÁoz}B¦ÌÔH;;¨F¿¤¿¨´§¿´m¨jÑ'ImÓÈ¨f¤_~#

¿¨F;Êl¤-,6¤¨B¤´m};¿F¾å§;¨F¿¨q}OiÊmJ§°¾XÊl¤}D¦6ÁÃ}¨O§°¿¨/.

?10TB

ÉO´§z!z´¤

:

.

?10TBX ?.

?0TBTB`J

¤¿~#m{JÊJq½z}Jp¨,

J

Ñ'JmÓ

½z}J32ò¤¿~#m{JÊJq½z}Jp¨,!´~D¤¨´{JÊJq½z}Jp¨,6Î}§;;¥¨¤6ÁY~#J¤}ÏÝJ;´Å

y{z}?¦;Ë´¨}¿¨6ÁH¤¿m¨¤¿l½oY´a¦¨}m}z#ÁÃJ½f§J¤JJÅ$åÁ>¤la~#

0

¤¿¿¨3.6¿?¨¤/;mm¨È½z}J

=

a§m¨m¨q}m´{ÑQRQÉ4.

?0TBXZY O

</Ó°Éz}J¨

?.

?10TBB9<gQ=?

.

?10TBB

FÉm¤¨O¦.¿a¦ÔH;;¨F¤}¿{¤¨´¦¤ËOJ

:

.

?10TB9< =@?

.

?0TBTB ÅåÁ

ÁÃm~#p

X l RR

jåÉ45

k

J¤§z´JYD¤QÊDa¤/z}Jz}m¿¦#Êl¤¿}

{~

k

¤l?~#

0

Éz}Ï¿¿¨3.6~#mzF¨}iOÏ¦ÌÔH;;¨F¿¤}mÉ

¤¨´¦Ù§m¨´JF};¨F

:

.

?10TBX6 ?.

?0TBTB

~#mzm¨}z}¦^Å E$¿¨´¤¿ÉaÁÏ¤lÈ¿~#

0

¤Í¿m¨7.u¿¿¦}J¤¿¨}Í¤Í}Áú¤§;Á

¦§¨F¨q}É8.¿¦}ÌÔH;;¨F¤´¤¨O¦

:

.

?0TB X9 ?.

?10TBB z}m¿¦}JÅ

E´o¤¿

; i X Y

¤¨´¦/:

XZf<;

i>=

@?

FÉBADC E

?A;

i J : B

½¿$¦J¨}pz}oÁY¿m¨´F.Á$z}^Ò qJ~GÇÁÃz}

¿¨}¤i§;¨´¦¿¨H.

? B<";

i

¨

J

:8åÉ>ÁF:\¿pËO¨}ÌÉ$/¨

JI?&B

É>z}J½ÅKJÇq¿¨´§#z}#¿zFzO¤¨´¦\¦#Á/ÑImÓÏ

}¥´¥OJp;~#¾å§;¨F¿¨q}´JÉ}z};Î¿J¨´§Á?¤lÏ¿J¤mÏ¨}¿m¨.m¨Í~#¿~#¿¨F;Êl¤

J :8åÉ%:

É½Ìz_¿¨}Ì¿¤

§;¨´¦¿¨/.

? B9< ; i

¿o´¤¤¨m;D¦^ÉFÁÃ¤

; i XY

Gò®«RKåÅiol½*;Êm;DÉFz}J¿¨m;¨}J¤^¨}¤}¨´¿F}¿m¨>Å?y{z}

ADCE

< ?

;)L |4M FN@;

i A

?r;

i J : B

pz}#;Á¤?¿¿¨O;ÉH¨Ö¤VË´¨}#p¨}Ë´¨}#¿~##¨FJÊl¤eÉ^Á?z}#^ÒÚJ~

ÏÅBÆVJ¿§´¤¨´¤¿Bz}!OA

E

Á{z´Vm}¿¨´¨PADCE z´¤D¤§zÂ¤¨O¦ÖD¤QÊ#Ë´¨}JF¾å~6¤¨qÍ~#DÈ¤

z}Dz´¦Vzqq¥OJ¥´¿¤¨}Å

Q

! #"$"%&Ù$V6 *":&

"76"^$o "

¢¨6z}J§¿¨>ÉF½Ï¤¨´¤qÝ;oz}pmm¨´?Á>¤^Ò ;~R

<\?AYJ

<

JB

¤¨´¦#½*¥}¥mo¤§z´¤¤m§°;ÝD¤l¿¨Á^z}

¿¿¨Oi¿¨z}¥}zO¤Ï¥´¤§;ozO¤l½¿¿p´D¦#È¥OJÁÃm~ ¤Èq~¿§¤¨O¦F´¤¿Ì¤lÊmJ¤§zO¤}¿È¤¨´¤¿?¿¨z}

¤l;ÏD§°¿¨7Å¢¨Bm¦J{¤m§z}JÊpz´¿JÉ´½*¥´¤Ìm¨!z}¥}z´¤m¥´¤m§¿¨m;¿¨OzO¤QÊF¿¨}F´¤¤¿Ê;¿F¾X¦J¨m¿§J¤

¦q¨´¤~#¿§J;Å¢¨\Áú¤§JÉ^½*´§J§JÊm;¿¿¨F¦´§È½*V¥´¤Ìm¨´Up¤¨\¨}¤XÉ>§F¤;¾Xm¤¨´J¦¥´¤¿¨fÑeqD§°m¨¬´Å.TQÓ°É

z´¤loo¤¥};¿~#¿¨´¤#¤#J§m¨´¦^É~#/;Ë´¨}D¦V¥´¤Ìm¨ÑXqJ§¿¨B¬}Å¬mÓÅ

S TDU+)%')%T7925%2WV )(g,3(XTGd\d,XTI4m %T2 +7 "7ZYY7 [TI%25

y{z}¦q¨´¤~§;¤¥´m¥OJDÁz}mm¨´ÈÁ\Ú§J¤¨Ù¤¨´¤¿qÝ;D¦Ö¨uz} jH¾å¦}~#;¨O¿¨´¤i¥}zO¤!¥´¤§;OQÎ

Y<

YO]RRSR+uYU Éq½z}J

Yk!< M6kIXZf J n MVk

n (+*,

k

Ï¤¨´¦(+*,

k

¦J¨}J¤/~#¤Î~È}~ §;¨´§;;¨F¤lm¨#ÁHz}Ï¥}J¨

J¨´§¦D¦!qm;¨} pÉPlonqpCn&jaÅ

y{z}

?j F l B

¾¢¦¿~J¨´m¨´¤az}Jz}¦ÖzqF¥;¥}¤¨}D

_; X Y JM k < {~

k

FÉ ln^

k

n'M

k É ln"pn jaÉY¥´¤¿¨

Y

¿¨F!ÑúzqF¥;°Ó¢J§¤¨}}¤iJ¿¨´JÅY¨´§;oz}Ï;m}¤l¿¨#Á>;¨´Î¥}Jm¨6¿¿¦};¨F§;¤´;Êm;q½z};o¿¨VO§zV¤;mm¨

ÑXqJ§¿¨B¬}Åò®ÓÉÌ§;D¥¨´¦´i6¤È;m}¤l¿¨

hVDM

Å -m¨´DF};¨F¿Éqz};¿¨O*¤/§;¤¿J¦

hVDM3DMh>

Å_

ß¸ úã#`"4 ã ä ß ä ã Ùº · (a*>b pz}Á{zqq¥OJJ§¤¨´}¤pJ¿¨´>c

< c

O RSRSRd

c

Ue Y

É´§z

z´¤lÁÃmo¤¿Pp

X l RR

jåÉfc

k

¿{mÊm;¨q¨}/Á$z}/ÁÃ¿l½¿¨}JF´¤¿¨´VU

g

èêéìXøDõiëeõýJîQõóÿ+hHõaëåðjiÿiÏðQîQëeõañû}ìXõùúüíòéQñ°óòñIiÿQìXøQðìlkÏíòë>ð*ëeñ°óòîDìXíòñ°éÏñûm!ñ°é3noqprqsêÿqr\tZuDvxw-y\zI{}|~

/ñ;ôQõaôQñ°üoðíòéDë-hHõùúõ?÷ðóòóòõôOFaaíòéñ°îQù QùúõJíòñ°îQëQî Qóòíò÷ðìeíòñ°éQë~ 'jlÿk'°ÿk kI

(9)

c k < M k XZY k J n M k 0 Ok J

c k < M k XZY k J M k <;

O

k J

c k < M k

XZY

k J M k

<;

I ~

k J

c k < M k

XZY

k

J^

I ~

k

qM

k n (+*, k R

E¿}Í®Öz´l½oz}_¥O¤¿¨}¿¨}Ö¨FÙ~#q¦}_¦~6¤¿¨´6ÁÏz}B½*¾¢¦¿~J¨´m¨´¤¥}zO¤_¥´¤m§Á/z}_Î}¤~¥´

¨};½mÀHÅjÆ\Í¦}¿¿¨}´¿zLO;½J;¨Ç~#¦Í¦m~#¤¨O6¿ÀHc

¤¨´¦ c

É{½z}§z(¤§J¤lD¦f¨ ÑÃ¿¨FJJ§¿¨´#ÁÓ

z}Dz´¦Ùzqq¥OJ¥}¤¨´JJÉY¤¨´¦Ù~#¦¦~6¤¨´È¿Àmc

O

Éi½z}¿§zf¤V¨}JÅÙy{z}VÁÃ~#;#¦~6¤¿¨´¤!§J¤¿D¦ d*,- .0

~#¦Í¦m~6¤¿¨´¤¨O¦uz}_¤l;DÉ 08+*?,- f0

~#q¦}Í¦~6¤¨´JÅ ÆÍ¦J¨}_q bB¤¨´¦ bVz}Í6Á;m}¿¤6¤¨´¦

¨´}¤~#¦¦~6¤¨´JÉJ¥OD§°¿ÊJmÅ

!" #

$ % %&

%'

&

Em}®Ua¤Ìm¨!q~#¦¦m~#¤¨O{Á7z}¥}z´¤m¥´¤§;§J¥Om¨´¦¿¨}z};m}¿¤m#¨};½mÀ¿¨WE$¿´TÅ

Æ¿¨Fq¦}´§m~È¿~#¥}m¥Omm§;¤$§¨O§;¥}JÅ)E}m;Êm;!zqq¥;D§°¤¨}´¿¤J¿¨)(

egY

Á?¦~#J¨´¿¨+*HÉ

n,* nqjaÉF½o¦;Ë´¨}z}}¥}¥¿¨}zqq¥OJ¥}¤¨´Á-(ÈÉ/.10232

?( B eqY

Éq¤az}4*q¾å¦¿~#;¨´¿¨´¤zFq¥;¥}¤¨}o§;¨F¤¨}¿¨}

(Åoy{z}ÈOm}¨´¦}¤!Á5( ¨6.10232

?( B

É879(É´mÊm;¨qVz}ÈÏÁ?¥¿¨m

; X .02:2

?( B

ÉH´§zz´¤lÏJ¤§zBO¤¿<;

?A;J=1B

½zÖ§J¨m;

;

¤¨O¦_¤¦¿´

=

¨FJJ§ÏOz6(Ú¤¨´¦>.02:2

?( B O

(ÈÅÈy{z};¨>É^½*#¦Ë´¨´z}6;?(

?c B

ÁJ}¤

~#¦¦m~#¤¨OWc

W

z´¤QÊq¨}z}¿¨}m}¿¤{~¦¦}~6¤¿¨c¨z};¿Om}¨´¦}¤!¤VU

( ? c

BC<g

c W X b J c e

7c

W J c X b R

E´Î}¤~¥´mÉ7¿¨\z}6¥}z´¤m¥´¤m§6§mJ¥Om¨´¦¿¨}B}/½*¾åJ¨}Î}¤~#¥}¿z´l½¨\¿¨ZE$¿´®É$Ìz´¦}/zO¤l

.10232

?c O B <Y É.10232

?c

Bu< ;"X>Y JPM < O

FÉY¤¨´¦@.10232

?c B < ;"X Y J-M < O

¤¨´¦

M < < c É

½zuz}¦~#J¨´¿¨OÁ c O É]c

É?¤¨´¦ c

;¿¨}ÍDF´¤

!

É@lÉa¤¨O¦

ÉYJ¥OD§°¿ÊJmÅÍy{z}!Om}¨´¦}¤Á c

¨

.10232

?c B

§J¥Om¨´¦}z}#¿¨}m¥Om¨F¿¨7c

É7½z}¿z}}¨´¦´¤BÁFc

O

¿¨>.10232

?c O B

§;D¥¨O¦}!z}

}¨´m¨Á{z}¦m~6¤¿¨´ c

É)cBA6¤¨´¦c

ÅqOÉc

O

¨O§¿´¦J¦Ö¿¨C(

?c B ÉD(

?

cBA

B

¤¨O¦+(

?c B

ÅÕB#¥}J§;¿É

( ?c

BC< c O J cBEsmÉF(

?

cBA

B9<g

c O J c OO

¤¨´¦(

?c

BC< c O J cBE

J c OO

J c O EQmÅ

S^ G[(WTDUBTI46+-U %IHdT )%87 2 7C. 7 5T0@)%T7925$%2 "7ZYY7 [TI%25

J *`-* µ º&5à · · ¹ ßLK 5úº}¹2 ã ä ß ä ã Ùº ·

å{ÁÃ¿¿l½o?ÁÃ~ z´p¦;Ë´¨}¿¨Á>z}p¥´¤¿¨Á

Y

z´¤l{z´ÁÃ}¨O§°¿¨O

{k

¿¨!DF´¤lm¨ÍÑe®mÓ?J¦O§Ï

? +?>'

¿¨¤

;m}¿¤Y~¦¦m~6¤¿¨ c ÉÏz´¤az}*ÁÃ}¨´§¿¨´

]Qk

¤¨´¦

b*k

D¦´§;i/}~6aÁ§m¨´¤¨F;ÅÕB*¥J§ËO§J¤¿mÉlÁÃY;Êm;

;m}¿¤o~#¦¦m~#¤¨Hc ÉO½z´¤QÊ/ÁÃm¤¿

;wX c É

D?A;CB <NMPO

¤¨´¦

HC?r;CB<BQRO É½z

MPO/< ?TSUO

O

JSRRSR`JSUO

U BWDVXW

¤¨´¦

Q O <

¦¤

?ZY OO

JSRRSRJ[Y O

U B W Å

Ï}m¤?\¤¨´¤qÝ;#z}V¦ÔH;;¨F¤¨´§;O¿¨(Ñ'ImÓ/¿¨u¤;´¿¤~#q¦}V¦~6¤¨Pc É½z}; :

; X ?r;CB

ÉY½z

?A;CBC< US `?' VZWXY

[ \]

F

[`_|a

=?cb B B É ; X c É@c

X

blÅ¨´§;?z}?ÁÃ}¨O§°¿¨

=

7§;¨F¿¨q}O>¿¨ c ÉJz}$Á}¤¿¿~#

Êl¤¿}DYÁ

=

¤l

; É

VXWXY

[ \]

F

[`_|a

=?cbIB

FÉ¿Y¤/¨}m;m¨È?¤¨´¦ÈJF´¤¿

Q=?r;CB

FÅqOÉ

?A;CBC< Q=?r;CB

< M O F6Q O ;

¤¨´¦ÖÑImÓJ¦O§J{¿¨ c2#z}¦ÔH;;¨F¤^¿¨´§¿´m¨ U

:

; X ?A;CB1J

½z

?r;CBC< M O F6Q O ;

J); X c Ñ$TD±mÓ

Üiz´¤*Ñ_TJ±mÓ7§;¤¨OJ½;¨¤m^z´qJ~ Á ,-?, \ .D ¦ÔJJ¨F¤F¨´§;O¿¨´ :

M k X/ k ?r;CBC< S

Ok

F\Y

Ok M k

mÉ

p X l RR

jåÅ?y$D¤§zJ}¤{~#¦¦~6¤¨¿¤§¤lJ¦!¤ #4R e4 G®IÉO«-TÉO«l²KåÅ]

^

èêéÏñ°îQù7õðùúóòíòõùlhHñ°ùZ_ÿQûñJ÷ðóFëeõ¢ìXë-h^õùeõ?÷ðóòóòõôÏìXðù°õ¢ìõý;îQíòóòí QùúíòîQüuëXõ¢ìeë] 'jDÿk';ÿk k~