HAL Id: inria-00070641
https://hal.inria.fr/inria-00070641
Submitted on 19 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished 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ée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstraction
Grégory Batt, Hidde de Jong, Johannes Geiselmann, Michel Page, Delphine Ropers, Dominique Schneider
To cite this version:
Grégory Batt, Hidde de Jong, Johannes Geiselmann, Michel Page, Delphine Ropers, et al.. Sym-
bolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstraction. [Research
Report] RR-5362, INRIA. 2004, pp.37. �inria-00070641�
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
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÷õ
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}¿¤#§;¿
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}¿
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¨´imi½*;¿´}¨O¦;qq¦#q}¿¿JÉ?¿¿´¤lD¦#qÈ~#J¤¨´?ÁHz}ÏÎ}¤~#¥}¿Á^z}o¨q¿¨´¤OJaD¥¨O
¿¨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¤
*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
Ñå³Ó
½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õùúõ?÷ðóòóòõôOF aaíòéñ°îQù QùúõJíòñ°îQëQî Qóòíò÷ðìeíòñ°éQë~ 'jlÿk'°ÿk kI
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~
