HAL Id: inria-00071678
https://hal.inria.fr/inria-00071678
Submitted on 23 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.
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
Bertrand Jeannet, Wendelin Serwe
To cite this version:
Bertrand Jeannet, Wendelin Serwe. Abstracting Call-Stacks for Interprocedural Verification of Im- perative Programs. [Research Report] RR-4904, INRIA. 2003. �inria-00071678�
ISSN 0249-6399 ISRN INRIA/RR--4904--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
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
Bertrand JEANNET and Wendelin SERWE
N˚4904
Juillet 2003
THÈMES 1 et 2
$78*9() 4;:(=<2!# 57>
?'@BADCEAGF&HIKJLNMPOPOQLNRTSUF&HIWVT@BHI@YX[Z\HK]^L_&`aLcb
d4egfGhji"kUliGm5noqp5r"kitsBuwvxiGm5k;ywk;mfGhji"kTo{z|rG}~i ~G~iG
iGm'tsBGuk;y&hU~ugi
-BiGmk5iGdiksB}gi g#Gm;~}ip5i"egiGegi&rGsBm;~i/ &
p'sB;m5i|i"egiGegi¡}/¢ £¤ ¥B£ o§¦ u~iGmn ¥ ¥ ¨/o§©wlsBi"k
ª9«¬t®t¯Y°± ® ² ³ i'swi"kk~}jm;e~kQsBiGQm;egi#iG;~µ´tsBm;~}¶B·~h¸iGsBm;~i sBhjkP¹#~m;eji"Guk;~}^ºQ»'usBw¼
se"}gk~k;mk~}/ugk;~}sBgk;m;sGm~}½miG;iGmsBm;~}¸miG¾sBmim;egiQkmsB}ggsB/kiGh¿sB}½m;~"k-B·g~h¸iGsBm;~iP sBhjk
msB}csBgk;m;sGm/kiGh¿sB}m;~"kt+yam;egijhjitsB}cB·5sÀzsB~k"}}gi"Gm;~}^-sB}gWm;egiG}Ám1i"k;mUmaÂ[ÃÄÆÅ;ÇDÈÅ;ÉtÊË;Ì Í½Å;ÇÎ
mi"e}~ugi"kt½¹#e~e¶tsB}jisB~i"¿}jm;egi5sBgkm;sGmQkiGh¿sB}m;~"kº-d4e~kPsBseÏsBt¹kPm;egi#iGugki#B·^G¾skk;~tsB
~}½m;sB½"i"wusBmi"e}~ugi"k|¹#~m;e·ÐiG¹%hj&w~µ´tsBm;~}gktiG}giGsB~ki"k|iEvw~k;m;~}xsBsegi"km9~}miG;&"i"wusB
sB}sBywk;~kjsB}g2BÑiGk¸sw~m;~}sB4ÒiEvw~~~mÓysk/~mÔi"iGgk¸k;ugkmsB}m;~¾sB4~}w·Æ;h¿sBm;~}K}2m;egiÏtsBµ¼Ók;msÔcB·'m;egi
sB}sBywki"x sBh1º
ÕxÖ×ØÙ/Ú ¯YÛ+¬ ² ~}miG;&"i"wusB+iG;~µ´tsBm;~}^sBgk;m;sGm~}½miG;iGmsBm;~}
ܵÝ^ÞàßÓátâ#Þ4ã^äßæåÐç"è
é)êëìÐíÐìÓîïðñòDë;îDïYïBëíàó+ôõìæô÷öæîñøùì
úû
ëïðYëüýô÷ïñþtëìÐÿë;ó+ôýïìæôýîñøùì EïYë ü ëö)þ Gëï"!BëðYë4ü$#%&!Yì(' ë)+*,'Eï"í(-.'EïYï'í/)0//21/þYîDô÷ï"í3[ö54#ô÷ëì
6
ë;ðë798YìÓîï
6 ë
Unité de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00
Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71
*/!# 57 7>(- 78*) 4"
¬ ² ugk}gugk+~}mrGi"kk}gk5¾s5rG;~µ´tsBm;~}jiQ sBh¸hji"k)~h¸rGsBm;~µ·Æk+r"Guk;~µ·Ðktº m;i#sB&egi
"}gk;~kmiÏum;~~kiG/ijtswijm;egr";~½ugi¶i¸~}miG;rGmsBm;~}KsBgk;m;sB~mi9uUiG~iGU¾s1krGh¿sB}m;~½ugi¿k;msB}ggsB
i"k¸ sBh¸hji"k9~h¸rGsBm;~µ·Æku}gi1krGh¿sB}m;~½ugiÀsBgk;m;sB~mi #sBu hjyiG}Tu}gi1"}}giEvw~}i zsB~kQu~k
i¶i""u;~ i"kmi"e}~½ugi"kj÷sB}sBywki Â\ÃÄÆÅÇDÈÅÉtÊ;ÌÍ&ÅÇÎ˽u~iGuiG}mGm;ixw~i"GmiGhjiG}½m9sB~½ugr"iÀ¾s
krGh¿sB}½m;~ugisBgk;m;sB~mi ºiGm;misB½egiiG;hjiGm5irGum;~~kiG'i"kmi"e}~½ugi"k~}½miG;½"r"wusBi"k|G¾skk~ugi"k
sti"iGu1ihj&w~µ´tsBm;~}gktrG}grGsB~kiUi"k#hjrGm;eg½i"k5iEv&~k;msB}½mi"k#u#÷sB}sBy&ki~}½miG;½"r"wusBi iGmBÑi
u}gi4kui"kkis"G;ugi4iG}h¿sB~}miG}sB}½mQi"k+~}w·Æ;h¿sBm;~}gk)r"G~ki"k)k;u+¾s'~iP÷sBiGwu sBh¸hjisB}sBy&kr º
Ú ®t¬ Ø ± ² rG;~µ´tsBm;~}À~}½miG;½"r"wusBi ~}miG;rGmsBm;~}asBgk;m;sB~mi
$&'!,./!
³ i"}gk;~iG¶m;egiÀ~}½miG;½"i"wusBUsB}sBywk;~kÏsB}gKiG;~µ´tsBm;~} B·UsB}T~h¸;msB}mxG¾skk¶B·~h¸iGsBm;~iÀB¼
sBhjktmsBÔ&~}1~}ms""u}mUm;egijsBugi"k/B·&tsBPsB}ga sBPsB;~¾sBi"ktugk;~}1m;egi·ÆsBhjiG¹P;ÔWB·sBgk;m;sGm
~}½miG;iGmsBm;~}^º
d4egiQh¿sB~}/w~¿Gumày¹Piswi"kk~km;egiQsBgk;m;sGm;~}B·m;egiQtsBk;msÔ¹#e~e"}msB~}gkm;e^"}½m;½~}mk
sB}gÁsBugi"kB·#½tsB sB;~¾sBi"ktºÏd4eugkm;egi9k;m;;ugGm;ui¿B·#m;egi9k;msBmi¿k;s"i¿B·s1 sBh ~k/u~mi9"h¸iEvº
à}aiGm¶iGugkik;msB}ggsBasBgk;m;sGm|~}½miG;iGmsBm;~}Ámi"e}~½ugi"kt¹i¸k;u i"k;msjhji¸sBgk;m;sGmkiGh¿sB}m;~"kt
¹#e~e k;m;~|Ôi"iGgkÏi"G~ki ~}w·Æ;h¿sBm;~} } k;msÔT"}½miG}mktsB}g ¹#e~e tsB} i i¿G~iG}½m;yT~h¸iGhjiG}½mi"
ugk;~}Ïk;msB}ggsB ~}m;sB&"i"wusBsBgk;m;sGm'~}½miG;iGmsBm;~} ·ÆgsBmsj sBugi"ktº ³ i/ ~im;e";i"Gm;}gi"kksB}g
m;~h¿sB~màyxi"k;umk5B·)m;egi| ki"ÀsBgk;m;sGm5kiGh¿sB}½mG~k¹ºtºmtº-m;egiUk;msB}ggsB1kiGh¿sB}½m;~"ktº
Ö ¯!#"+±°w®$!Ú&%('Ö ¯B¬¬*)x°w®t°,+ Ú&Ù ª % ° × ¬$![¬.- mk#h¿sB}½ysBiGk+sBiiEv&~G~m;yiGmi"UmBËEÅEÂPÊÇ ÄÆÂÐÉÃ
B·~}miG;&"i"wusBg sBhjkt ¹#e~ej"}m;sk;mk-¹#~m;em;egi~h¸;msB}m-~miGsBm;uis" sB~¾sBi#}~}miG;&"i"wusB
gsBms#Òt¹ sB}sBy&k;~k^·Æ"h¸~¾sBm;~}¸sB~tsBm;~}gkº-h¸~¾sBm;~};~iG}mi"gsBms4Ò¹2sB}sBywk;~k+sB}giG;~µ´tsBm;~}
½y sB;~m;eh¸~ mi"e}~½ugi"kÏsGm;usByKk;esBixm;egi1ksBhjix·Æ;h¿sB#·ÆsBhjiG¹P;Ô0/ ~}Km;eTtski"ktPm;egiÀsB~h ~kjm
"h¸umi·ÆitseÀ"}m;^~}m'B·-s sBh s¸iG;mày21 m;esBm5egk5sBmm;esBm#~}mt¹#~m;e31 iG} ~}
m¶s¾sBm;m;~"iUB·)iG;m;~i"k54Æi"w~tsBmi"k6875º:9'¹PiGiG'·[h8ssGm;~tsB~}mB·+&~iG¹ gsBms¸Òt¹sB}sBywk;~k
sB}gÁiG;~µ´tsBm;~} w~µÑNiGU~}Wmà¹P sk;i"Gmk;/=<>@?~}WiG;~µ´tsBm;~}2}gijm;;~i"km1iG;~µ·[yWsB}ÁugkiG¼ÓiE´g}gi"WiG;mÓy
¹#egiGitsk9gsBms Òt¹ sB}sBywk;~k~k¸i"kk¸B·ÆmiG}Kw;~iG}K½y2si"G~kiÏiG;mÓy0A<>>@?m;egix¾sBm;m;~"i"kjB·'iG;m;~i"k
"}gk;~iGi"¿~}¸iG;~µ´tsBm;~}¶sBi#ugkusBy/hji"h¸iEv¸m;esB}¸~}jm;egi#tskiB·G¾skk~tsBgsBmsÒt¹ sB}sBy&k;~kºd4egi
h¿sB~}aw~µÑNiGiG}g"ijsGm;usByÀ~i"k~} m;e~kki""}g ~}m;/5iG;~µ´tsBm;~}ai"u~i"k|iG;yÀi"G~ki~}w·Æ;h¿sBm;~}am9i
sBiUm¸"}gGugimjksBm;~k;·ÐsGm;~}B4Æ5}g}ÀksBm;~k·æsGm;~}C64B·-m;egik;i"G~µ´i"xiG;mÓyg¹#egiGitsk5~}À"h¸~¾sBm;~}
u}i"G~ki ~}w·Ð;h¿sBm;~} ugk;m¶i"k;m;;~GmkÏm;egi kk;~~~m;~i"k9·Æxm;~h¸~ksBm;~}^¹#~m;egumxh¿sBÔ&~} m;egi sB}sBywk;~k
ugkiGi"kktº=dy&~tsBy ~} iG;~µ´tsBm;~}^}gia}gi"i"kED#ÉF ËEà Â[ÄÆÂBË.G¸Ç ÄÐÄÆÅD ÍwÄÓË Ì½ËÓÈËEÃ̽ËEÃÄIHÂ[Ã;ÃgÂÆÄÓËa1iGiG}
Â[Ã;ÃgÂÆÄÓËKJwËEÂLMJ½Ä¾sBm;m;~"i"ktºONugi1mam;egi"kixi"u~iGhjiG}½mktkiGiGsB'~}miG;&"i"wusB|mi"e}~½ugi"k9i"k;~ }gi"K·Æ
sB~tsBm;~}c~}W"h¸~¾sBm;~}csBi}gmw~i"Gm;yWsB~tsBi¸mÏiG;~µ´tsBm;~}^+sBm;egu eÁm;egiGytsB}WB·4"ukii
ugki"1miG·Ð;h iG;y¶ugkiE·[uNiG&"i"kk;~}¶sB}sBy&ki"kº
à}Ïm;e~ksBiGtwu#eg~"i"k5sBi|;~iG}½mi"Ïmt¹sBki"G~kiiG;~µ´tsBm;~}1B· sBhjk#msBÔ&~}~}½m¸s""u}m
sB;~¾sBi"k sBugi"ktº
P Ù/Ú °Q! % ªSRTR+¯ Ú °±U Ö ¬|® Ú(VW% ® Ö ¯MR¯ Ú ± Ö Û ¯Y° ^ª % ° × ¬X!\¬Y- »'}gi#tsB}jw~k;m;~} u~k;ejmà¹Ph¿sB~}¿sBsegi"k
m ~}½miG;½"i"wusBk;msBm;~1sB}sBy&k~ktºÁd4egi¶´gk;m¸}gi Pm;egi
Í&ÃÊ"ÄÆÂÐÉÃÇÎÇDÈÈÅÉÇÊJZ4ÐsY·[miG¸m;egi¶}sBhjix ~iG} ½y
[]\
_^wl;`6E"}gk;~kmk~}1ugk;~}ÏsjiG}gmsBm;~}sB)kiGh¿sB}m;~"k|B·-m;egi/sB}sBywki"À sBh8sB}g1~} ½"i"i"w~}¶~}1mà¹P
k;miGgkºÀd4egi9´gk;m/kmiG "}gk;~kmkU~}2"h¸um;~} m;egi¿i"w~tsBmi¶m;sB}gk·Ð;hjiGkjskk&G~¾sBmi"Wm m;egi¿&"i"wui"k
B·Qm;egi sBh1¹#e~ea~h¸~i"kk½~}9´vw~}½m|i"½usBm;~}gk}i"w~tsBmim;sB}gk·Æ;hjiGkºd4egiki""}g k;miG
m;egiG}Á"}gk~k;mk|~}csBy&~}xmxkhji¸~}umi"w~tsBmijm;egi¸"h¸ k;~m;~}ÁB·i"w~tsBmijm;sB}gk·Ð;hjiGkUsB} s
sBh sBm;eÁmÏiGmm;egi¸i"w~tsBmi9egw~} sBmm;egi¿iG}gWB·#m;egi¸sBm;e^º
[
#*a.aY
\
_^wlcb
\
¤ nM`sBy m;e~k
sBse m¸w~µÑNiGiG}mG¾skki"k#B·) sBhjktº
d4egiki""}gsBse^¹#e~e¹Pi/tsBm;egi9ÉEÈËEÅ;Ç ÄÆÂÆÉ ÃÇÎ-ÇDÈÈÅ;ÉtÇÊJ&"}gk~k;mk~} sm;~}ÏsB}iGsBm;~}sB
kiGh¿sB}½m;~"k·Ð# sBhjktº:9'iGi ~Ôi~}1h¿sB}yÏ~}m;sB&"i"wusB+iG;~µ´tsBm;~}Àmi"e}~½ugi"ktm;egii"w~tsBmi"ksBi
sBsBmi"¿sB}|m;egi4"}m;~}mk-B·m;egiP sBh1ugk;~}|}yUm;egii"w~tsBmi4m;sB}gk·Ð;hjiGkskk&G~¾sBmi"/m
ËEÎË¿ËEÃÄæÇ Åd9 sBh k;msBmiGhjiG}mku}m;~s/´vw~}½m#~k4itsegi"Nºd4egisB}sBywk;~k#tsB}xi½~iG¹i"1sksk;y½h/~
iEvi"Gum;~} B·#m;egi9 sBh ¹#egiGi¿sBugi"ksBiugk;miG¾s"i"cyaiG;m;~i"kt+¹#~m;egum¸sB}yÁ"h¸umsBm;~}2B·
i"w~tsBmi"kQm;sB}gk·Æ;hjiGkskk½G~¾sBmi"m|&Ôwk-B·~}gk;m;;ugGm;~}gkQ+&"i"wui"ktºe9t¹PiGiGt&sks'itsBgiEvwi"Gum;~}
B·^m;egi' sBh ~kPk;~h/u¾sBmi"N&m;egiGi5~kPm;egi5}gi""i"kk;~mÓy¿B·^msBÔ&~}U~}½m¸s""u}m4m;egi5tsBk;msÔ9B·^m;egi5 sBh1º
à}gi"i"N)¹#egiG}Ks1&"i"wui¿iGm;u;}gkm ~mktsBiGt)m;egi¶tsB4k;~mi¶sB}gcm;egi9&tsBiG}½½~}hjiG}½mjB·m;egi9tsBiG
k;eguÏii"9·[h=m;egi|k;msÔ¶kmi"Ï~}ÏiG#muh¸ÏsÔ¶mm;egiiEÑi"Gm;~itsBiG5sB}gÏmi"k;mi|~mk
f îí^ô÷öí('4öæîIg YðYë ëïðôýïXh 'Dï Eîü!Bëö 'ø&Eîìæôî2-Bü÷ëöîDïBði 'Dì^íÓîjtô÷ïMh4ô÷ï"í('#î
66 '!Yï"í
6
'EïBðYôõíæô'Eïîü÷ö 'øí(Bë ì('hDìÓî24|ñ
k îí^ô÷öí('4öæîIg YîíÐíÐìæô- !Yíæëöml$'Dìì(' ëìÐíæô÷ëöonNîíÐíÓî
6
Yë;ð5í(' Eîìæôî2-Bü÷ëöîìæëô÷ï"íæëì5ìæëüýîíæë;ðñ
&tsBQiG}&~}hjiG}miE·Æi¸m;egij½"i"wuijtsBæº9d4egiàtsBµ¼Ók;m;;~}ksBse¿B·
[]\
_^wlr`Ó¾sBmiGiG}giGsB~ti"
½y
[
¦ ^ nM`Ó&iG}¸mm;e~k#sBse^sk¹PiGskmi"e}~½ugi"k#ski"x}Ïugk;eg¹#}1k;y&kmiGhjk [
b¤ ¤M`Óº-5kws
i""iG}½m5iEv&miG}gk~}
[p \
¦¥ ¨X`^~i"k4~}w¼æiGmÓ¹i"iG}1m;egi|mÓ¹jsBsegi"ktºPp5iG¾sBmi"ϹP;Ô¶~k#w~kGugkki"9~}ÏhjiiGmsB~
~}
\
i"Gm;~} a&sk#¹PiG+sk#~}
\
i"Gm;~}gk¨wº÷©¸sB}g ©wº÷¨wº
Ú Ö ªÛ ' ° % ®t° Ö ¬ Ú! ®$U Ö#" R Ö ¯Y°w®$!ÚC% ° ª=R R+¯ Ú °±MU_- d4egi¿·Æu}gGm;~}sB'sBseK~k"iG;msB~}ychji
ÒiEvw~i Qsk/m;egi9i"w~tsBmi¶m;sB}gk·Ð;hjiGk¸kum;~}2B·5m;egi¿´v&~}m¸i"½usBm;~}gktsB} i¶sB~i" m sB}yW}giG¹
~}um¶i"w~tsBmi #¹#egiGitsk¶m;egiÀiGsBm;~}sB|sBse i"u~i"kÏsa}giG¹ ´v&~}m¿·Æ¶itse w~µÑiGiG}½m9~}um
i"w~tsBmis}giG¹ ´v&~}m%$º'&Pum#m;egiUiGsBm;~}sB)sBseÀi"kiG}mk5kiGiGsBswsB}½msBi"k;/
l º Óm#i"½u~i"km;egi/"h¸umsBm;~}B·s¸k;ywk;miGh B·)´vw~}½m5i"½usBm;~}gk5~}1m;egiUh¿sB~} 75 FeJÂÆÊrJ1Â Â'ÈÎËEÅ
m;esB} m;egi/h¿sB~}7)( 75i"ki"G~¾sBy1~µ·_7 ~k|sj"h¸iEvÀ¾sBm;m;~"i+*½ºd4e~k'"h¸sB;~k} keguÀeg¹PiGiG
i'sBm;miG}usBmi"NskQ~}¿m;egi5iGsBm;~}sBsBse9m;egi'tsBk;msÔ¸eskmi#msBÔiG}¶~}ms""u}mtwkm;esBm
m;egi5itsBh¿sB~}1B·"h¸umsBm;~}x&Ô&kPhji~Ôi-,.0/21+34=7 ¹#egiGi5,6.0/21+3j~k4khji54[ kk;~yjk;~h¸i$6
k;msÔ¶¾sBm;m;~"i º
nwºd4egi¿"h¸umsBm;~}gk¸sBi ÊÉÃÄÓË87 Ä ËEÃ ÂÆÄÆÂ#BË /~}gk;mitsÁB·"h¸um;~} i"w~tsBmijm;sB}gk;·Æ;hjiGk/sB~W·Æ
sB}yx~}umt¹#e~ees"i/m9esB}gwisB kk~iUtski"ktm;egiUiGsBm;~}sBsBse msBÔi"k'~}mÏs""u}m
}ym;egiatski"kÏiG}g"u}½miGi" wu;~} m;egi´vw~}½m1"h¸umsBm;~}^º mÓy&~tsBiEvsBh¸i ~k1s "}gw~µ¼
m;~}sBN~}gk;m;;ugGm;~}^wm;egi"}gw~m;~}1B·¹#e~e sB¹sty&k5iGsBusBmi"k4mm;;ugi,4Æ·æsBki$6Pwu;~}¸m;egik;y½h/~
iEvwi"Gum;~}^kugeÏm;esBm4m;egi|sB}sBywk;~k}gi"i"k#}y¿mmsBÔi~}m¸s""u}½m5}gi|B·m;egimÓ¹PsB}gegi"ktºPh¼
umsBm;~}gksBi~}khji¹4s"y9ÓsB;m;~¾sByiGsBusBmi":y m;egi/~}um|i"w~tsBmi ^sB}g k9~ÔiGyÀm9i/i"kk
iEv&iG}gk;~i º
¨wº ³ egiG} 7 Â
ÃÉ ÄUÌ Â
ÄÆÅDÂ
ÍwÄÆÂ#BË"Q¹#e~e~k¸B·ÆmiG}Km;egixtskiϹ#egiG}TsBgk;m;sGm¿~}miG;iGmsBm;~}~kjugki"NQm;egi
iG½~ugk5gkiG;sBm;~}Àh¿sBÔi"km;egiUsB}sBywk;~k5sBkhjii"G~ki º
iGmugk#~ugk;m;sBmiUm;egi"ki|m;ei"i~}mk½y1sk;~h¸iiEvgsBh¸i ~}xm;egi~}m;sB&"i"wusB)tski º
;=< ° R Ö?>A@CBEDF%GIHJ%KMLINOJPFELRQ:LSJ%TJ%DLVUXWZY[]\^`_bac]dZYfeg\hYiX^QDOH9LINOJjGDlknmLOkK+JoH2GIpqQ:LSJsrtvuw)xyw{z2|
}J5F~mEkk'B~F+JLIN6Q:L-'Jm]F+JLINOJQ:L8LIGIpoJBE poBEDXJ8k'BENOJoH2KQQXFLINOJ-F+J~LBE 'kK+JoH2GIpqQ:LSJF+CQDOHLIN6Q:LkK+JoH2GIpqQ:LSJ
LIKQDF8 gBEK8TJ%K%FQK+JsK+JgkK+JFoJ%D6LSJoHK+J%Q:LIGIBED6QQXFCkBENOJoH2KQHJ%DOJoHBEDmDlkK8GTJoHQDOH5kK8GTJoHyoQK8GQXIJ|NOJ
kK+JoH2GIpqQ:LSJLIKQDF8 RBEK8TJ%KBE jLINOJ=F~LRQ:LSJ%TJ%D6LGF
<x8x!?'t <xwhx6tvx0? <xh=x6tvx Y?t <x w)x!w¡x0?
nNOJ%K+J5`QDOH¡QK+J5LINOJ=TJoJ~L¢QDOHM£EBEGD¤BkJ%KQ:LSBEK%FGDLINOJ5poBED6XJ8kBENOJoH2KQ¥Q:L8LIGIpoJ|¦NOJ¦Q+kkGIpqQ:LIGIBEDBE
LSBLINOJ¢kK+JoH2GIpqQ:LSJ=r¥GIJ%IHlFLINOJsK+JFEm0L
§ x¨2r&<x0?©
<x8x ?ª § x¨C<x )z¦w¡x w¡x¥«vz$? <Iuw¡xw{z$?Cª <S =w¡x w{z$?
¬-BXj!G ¢'J¦Q+kk?LINOJ-Bk'J%KQ:LIGIBED6QTJ~LINOB:HJN6Q]XJ
r&<x0? <xwhY?¯®P
<0°x±x² Y?r<IrC<xc?n <xhY? ?¯®MªvrC<xc? <0°x±x ³Y?r<0´?Cªvr&<x0?ª <Iu¥w¡xwµz$?
¶gDLINOJBkJ%KQ:LIGIBED6QTJ~LINOB:H·'J=TQDG¸knmQ:LSJ-BEDOJH2GTJ%DF8GIBED6QGD6LSJ%KEoQFGDF~LSJqQlHBE jLg'BH2GTJ%DF8GIBED6QkBE¹
º
BEDF+·'J=FQ2XJBEDOJ·£EBEGD»Bk'J%KQ:LIGIBED»QDOHy'J
º
J~LjQ5DOBlLIGIpoJqQX9TBEK+J¦Qlpop~mKQ:LSJ=K+JFEm0L%|
¼ û
ë)îDöÐö5!4#ëBëìæë)í(Bîí^ö5'Eütô÷ïMh¢½ 7 .'Dô÷ïtíë8¾ !îíæô'DïBö^ô÷ö4 'ìæë)ë7 ëïYöÐôEë+í(îï|î) Bügô÷ïMh ìæë;ðYô
6
îíæë)íÐìÓîDïBöÆø'Dì(4#ëìæöñ
¿
8'ì^ôýïYöÆíÓîDï
6
ëBí(Yë-ð ')4îDô÷ïÀÁ9Â{ÀÁô÷ö^ï'í
6
'!YïtíÓî2-Bü÷ëÿ BëìæëîDöÀÁô÷öñ
" ¯ Ö ®$U Ú Û_- d4egihjm;~ sBm;~} B·-u5¹;ÔÏ~kmji"k;~ }sB} sB}sBy&k~k#ugk;~}¿m;egiUiGsBm;~}sB)sBse^
~}ÁiG/mxmsBÔi¿sw sB}msBi¶B·m;egi"ki¸m;ei"ij~}mktº ³ i¿swi"kkUegiGi¸m;egijtski¿B·4 sBhjk/¹#~m;eW sB
sB}g½tsB'sB;~¾sBi"kt4ugk~}ÁtsBµ¼æy½¼æsBugi sBsBhjiGmiGÏskk;~}g4kam;esBm9m;egiGi1~k9}gÁsB~¾sk;~} B·sB;~¾sBi"k
~}cm;egi¿k;msÔº ³ i¶sBk sB~hsBmsxhjiGm;eg&csB¹#~} m;egijiG;~µ´tsBm;~}2B·~} sB;~¾sB}g"i¿iG;m;~i"kt+¹#egiGi¿m;egi
"}gk;~iGi"ÀiG;m;~i"ksBii"u~ sBiG}m'm¸kiGmkB·-k;msBmi"k5sB}gxm;egi|¾sBm;m;~"iUB·+iG;m;~i"k87~k#m;egit¹PiGkiGm5B·
k;msBmi"k<m?EºQd4egih¿sB~}ÀesBiG}iUegiGi|~k#mmsBÔi~}½m¿s""u}m'm;egitsB^k;msÔxB·+m;egi sBh1º ³ i|msÔ½i
~}gi"i"ÏskiG}gk~y¸hji'"h¸~tsBmi"Ïtski5m;esB}¿m;egitsBµ¼Ók;m;;~}sBsexiGiGi"9~}
[]\
_^wlW`Ó¹#egiGi}y
sBsBhjiGmiG;i"kk9&"i"wui"k¶sBi1"}gk~iGi"N#k m;esBm¿k;msÔ&k9"}msB~} }y tsBµ¼Ók;~mi"kº
[
¦ ^ nX`'i"kG;~i"k9s
hji/iG}giGsB)sBseam;esBm5¹iUsB;m;~¾sByx·Ðt¹º'^iGmugk5¹#;~mi/m;egiUk;msBmik;s"i/B·Qk;uge sBhjktº8Ó·-¹Pi
"}gk;~iGsB}1~}m;sB&"i"wusB sBh ¹#~m;e 4[ sB&tsB#6PsB;~¾sBi"k~mkk;msBmiks"i|~k
stn.'4 4l$6
¹#egiGin.~kxm;egi´g}~miWkiGm1B·"}m;U~}mkÀB·m;egi sBh sB}g m;egiah¿sB~} B· sBugi"k1B·m;egi
sB;~¾sBi"ktº Ó·¹Pi/"}gk;~iG|sB}~}miG;&"i"wusB) sBh ¹#~m;eÁ sBsB;~¾sBi"ksB}g &tsB sB;~¾sBi"k'~}
itseÀ&"i"wui m;egik;msBmik;s"ii""hji"k
't <n.n4 ?"!³4 4ÐnY6
¹#egiGi-«%iG}gmi"k#m;egi b|i"iG}giiGsBm4\·ÐsB}y¶kiGm$#¿%# !&
('
t*),+-/.0#
+
6Eº-d4egikiGm1n.42 ~km;egikiGm4B·
ÇÊtÄÆÂ#YÇÄÆÂÆÉÃÁÅ;Ë;ÊÉÅÌ m;esBm|k;mim;egi/½tsB+k;msBmiUB·Psj½"i"wui NsB}g m;egiUkiGm5<n.V4 ? !
~k'm;egi/k;msÔ1B·
sGm;~ sBm;~}Ài""ktgm;egi|mÀB·+¹#e~eÀiG~}¸m;egiGu;iG}m|sGm;~sBm;~}Ài""Nº
&4i"tsBugkiÏB·u}gi"G~gsB~~màyciGhjktiG;m;~i"k~}3<_?UsBi9ugk;usBycsBtv&~h¿sBmi"2ugk;~}asBgk;m;sGm
~}½miG;iGmsBm;~} m;egi";yº ³ e~i¿kiGiGsBPsBgkm;sGm/h¿sB~}gk/es"iji"iG}Ák;u i"kmi" ·ÆUm;egijh¿sB~}4m< 56W?
¹#egiG}7=~km;egi|kiGm4B·~}miGiGk988 ·ÐP~}gk;msB}g"i i"k~ }~}w~i"Gm;yÏsB}1sBgk;m;sGm#h¿sB~}9·Ð:< 56?~}¶m;egi
~}½miG;½"i"wusB)tskiki"iGhjk#mugk#k¸esBiG} ~}¿m;esBm5¹Piw~w} m5iGiG}1m;;y0/)egt¹ miGi"kiG}m#·Ð#~}gk;msB}g"i
8
8 ! wiGiG}ÏsBtv&~h¿sBm;~iGy7;À»5·"uki ½k;~h¸ikum;~}gk4iEvw~k;mkt½~Ôi'wsk;m;~tsBy¶sBgk;m;sGm;~}m;egi'k;msÔjB·
sGm;~ sBm;~}Ài""k5y¶~mk#mÀiGiGhjiG}mtum¹Pi/sBi½Ô&~}·Ð#hjii"G~kikum;~}gkº
»'u5hjiGm;eg½x&"i"i"km;e½ugk~}xmà¹P¿kmiGgk;/
l º ³ ixiE´g}giÀs hji1sBgk;m;sGm9kiGh¿sB}m;~"ktm;esBm¿iG};tywk¿s k;~h¸iG9k;msBmi1k;s"iÏm;esB}<= 6>UyiGmjÔi"iGgk
k;ugk;msB}½m;~¾sB~}w·Æ;h¿sBm;~} }Wm;egijtsBQkmsÔº¿ii"G~kiGy~}Ám;e~kkiGh¿sB}m;~"k/m;egij"}gGiGmi9kiGmB·
iG;m;~i"k?
4 <n.X4@ ? ! ® ~kiG¾s"i"/½y/sB}¸sBgk;m;sGm+kiGm+B·giG;m;~i"k
m<n.
!
4A
B!
? ®DC
~}W¹#e~ec~}Wm;egi,b|i"iG}gi9iGsBmU&i"k}gmsByasB}½y hjijmxm;egijgsBms1h¿sB~}Áum/}y mxm;egi
ÃgÂÆÄÓËkiGmB·-"}m;~}½mktº
nwº ³ iUi"k;mm;egiG} m¶hjiG¾skk;~tsBsBgk;m;sGm|~}miG;iGmsBm;~}Ámi"e}~½ugi"kmÏi"k;~ }Ws¿iEÑNi"Gm;~iGy "h¼
umsBi¾sBm;m;~"iUsBtv&~h¿sBm;~}
m<n.! 4
E!
? ®DC º
^iGmugki"G~ki'm;esBm4sBm;egu e¶m;egi´gkm4sBgk;m;sGm;~}Ïk;miG¶~kP½u~mi';~ ~Nm;egiGi~k4s|·ÆuktsBi'B·kum;~}gkP·Æ
m;egiki""}gÀsBgk;m;sGm;~}Àk;miG^º
[
¦ ^ nM`sBm;msÔwkm;egiiG;yÀksBhji/iGh>½u~mik;~h¸~¾sB;yy sBgk;m;sGm;~}1s9k;msÔÀy s¿sB~"h¸ ki"
B·scÄæÉMËGÃTsBgk;m;sGm;~}WsBPumm;egi9m sGm;~ sBm;~}2i""NsB}g sB}O4ÐsBgk;m;sGm6UiG}&~}hjiG}mj·Æ/m;egi9m
sGm;~ sBm;~}/i""Nº 9t¹PiGiGtm;egiPkiGmB·mÔiG}gk~k^}gm ~iG}s4¾sBm;m;~"ik;m;;ugGm;ui BmÔiG}gk+sBi^ugk;m^iG}½uhjiGsBmi"N
kjm;esBm5~m'tsB}}gm'itsÀw~i"Gm;yxm¿sB} sBgk;m;sGm5¾sBm;m;~"iU¹#e~e~km;e1~h¸iGhjiG}msBi¸sB}gÀi"G~kiUiG}gu e
mxh¿sB~}½msB~}Á~}w·Ð;h¿sBm;~}Á}Wm;egi¸ sBugi"kB·4sB;~¾sBi"kS4ÆB·~}w´g}~mi9h¿sB~}C6~}Wm;egi¸k;msÔºj hji¸i"G~ki
"h¸sB;~k} ~k# ~iG}1~}x~}
\
i"Gm;~} a&º
F Ú&% ®t¯M![« ^®$!ÚC%Ú6 ®$U ![¬ Ù/Ú ¯HGe-³ iji"kG;~i¶sxk;ywk;miGh¿sBm;~¸¹styam sB}sBywki¸~}½miG;½"i"wusB4 sBhjkt
½yTw~i"Gm;yTsBgk;m;sGm;~}KkmsÔwk¿ugki"TyTm;egi kmsB}ggsB iGsBm;~}sBkiGh¿sB}m;~"kxB·/~h¸iGsBm;~i sBhjk
¹#~m;eWsB}asBgk;m;sGmh¿sB~}m;eu eWsÏzsB~k|"}}gi"Gm;~}^ºd4egiU ki" k;msÔ sBgk;m;sGm;~} ~k|"h¸iGmiGy
kiGsBsBmi" ·[h s kk;~iÏgsBmsWsBgk;m;sGm;~}¹#e~eKh¿styÁ·Ðt¹4sB}gsBt¹kjmai"kG;~iÏiG;m;~i"k¿}
k;msÔ&kº i"iG|m;e~k'k;m;sB~ e½m·Æ;¹4sBWsBseWsBt¹ugk'mjiG¾sBmi/m;egiUi"k;umB·m;egisB}sBywk;~k'¹ºtºmtºm;egi
iGsBm;~}sBQkiGh¿sB}½m;~"kUB·4m;egijsB}sBy&ki" sBhjksB}g mÏ ~ijkhji¸m;~h¿sB~màyi"kumktºd4egiugki¸B·m;egi
sBgk;m;sGmx~}½miG;iGmsBm;~} ·ÆsBhjiG¹P;Ô sBk2iG}sBi"kÏugkÏm iG}giE´gm¶·Æh G¾skk;~tsB|mi"e}~½ugi"k1k;uge skÏm;egi
"h/~}sBm;~}%B··Æ;¹4sB sB}g sÔ&¹sB%sB}sBywk;~kx1k;msBmi k;s"i sB;m;~m;~}~}g|¹#~m;egumÀi"u~;~} }giG¹
";i"Gm;}gi"kk5½B·Ðktº
³
iUsBkjsB}sBy&kisGm;~tsB^~kk;ugi"k5sBum5i¿G~iG}½m5~h¸iGhjiG}msBm;~} B·)m;egihjiGm;eg½Nº
" ^®!%Ö - d4egi¶sBiG¸~k¸;sB}~ki"Ksk·Æ¹ktº ³ iÏi"kiG}m´gk;m¸m;egi¶ sBh hj&iG4¹Pi1"}gk;~iG¸mB¼
iGm;egiG|¹#~m;e ~mk|iGsBm;~}sBQsB}g"i"Gm;~}1kiGh¿sB}m;~"kº ³ isBk9k;m;ugwy khjiUiG;m;~i"kB·Qm;e~k|k;msB}ggsB
kiGh¿sB}½m;~"ktº ³ ii"kiG}½mU~}
\
i"Gm;~}c¨xs9´gkmk;msÔWsBgk;m;sGm;~}^~}Wm;egi¸tski¸B·4 sBhjk¹#~m;egum sB
sB;~¾sBi"ktº ³ i ~i";i"Gm;}gi"kk|i"k;umksk¹PiGsksB} m;~h¿sB~mày i"kumu}giGkhjisw~m;~}sB-um|iG;y
"h¸hj}¿skkuh¸m;~}gktº)d4e~k-m;~h¿sB~mÓyi"k;um-";i"k;}gk)m¹iGµ¼æÔ½}g¹#}ji"k;umksBitswy¸s" sB~¾sBi4~}m;egi
~miGsBm;ui um~k#·Ð;hUu¾sBmi"WsB}gÀti"~} s¿u~miw~µÑNiGiG}m¹s"yº à}
\
i"Gm;~} £g¹iUiE´g}gi/m;egi/iG½~ugk
sBgk;m;sGm;~}2½yaugk;~}tsBµ¼Ókm;;~}k/~} iG/mÀ~}gGitski9m;egi¿i"G~k;~}2B·m;egi9sB}sBywk;~ksB}gÁmÀi¶sBi¿m
i""}gk;m;;ugGmk;msÔ"}miG}½mkQhji4i"G~kiGyºÓ}
\
i"Gm;~}9©w¹Pi#i"kiG}½mPsB}j;~ ~}sBgmi"e}~ugi·Æ)msBÔ&~}~}m
s""u}½m5 sB^ sB;~¾sBi"kt¹#e~e1iG}giGsB~ki"k5m;egiG5mi"e}~½ugi"k~}xm;egikiG}gki|m;esBm#~miG}sBi"k's/´g}giGm;u}~}
B·)m;egii"G~k;~}ÀB·)m;egiUsB}sBywk;~ktº
\
i"Gm;~} i"kG;~i"k5m;egiki""}gxk;miG B·)u'sBse^g ~&~}je~}mk5egt¹
mÀsBgkm;sGm·[u;m;egiGUm;egijk;msÔasBgk;m;sGm;~}c~}WiGm1msB~}ÁiEÑNi"Gm;~i¿sB}sBywk;~khjiGm;eg&ktº ³ ij"h¸sBi
u'sBseÀ¹#~m;e1iG¾sBmi"À¹P;Ô¶~}
\
i"Gm;~} a&º
\
i"Gm;~} ^¸"}gGugi"ktº
<2!5# '7 {!,(-Ï /, ' /, #, (7> '+
»'uÀsB}sBywk;~kÏ"}gk;~iGkÏ sBhjkx¹#;~m;miG} ~} s k;~h¸i~h¸iGsBm;~i sBh¸h¸~}K¾sB} usBi ¹#~m;e }g}w¼
}gi"k;mi"W½"i"wuijiE´g}~m;~}gkugk;~}Às¶ sBugi¸sBsBhjiGmiGskk;~}1kegiGhjiº¥&i"k~i"kUs9´vwi"akiGmB· sB
sB;~¾sBi"ktitseT&"i"wuiÀesk9~mk¶t¹#}T´vwi"TkiGm9B·&tsB' sB;~¾sBi"ktº ³ i W}gm¶i"G~ki1m;egiÀmÓy&i"k¶B·
sB;~¾sBi"ktºmà}Ï·ÐsGmtw sB;~¾sBi"ktsB}1sBm;egiG5i|m;egu e½m5B·-sk5w~hjiG}gk;~}gk'sB}gx}gm5";i"k}gx}gi""i"kksB;~y
mÁsWk;y½}½msGm;~1 sB;~¾sBix~}Km;egix sBh1ºg9~}gk;msB}g"i #sak;i"G~¾sB sB sB;~¾sBiÀ"u iGi"kiG}½m9m;egi
egitsBxh¿sB}~u¾sBmi"Ͻy¿m;egi sBh1~µ·wy&}sBh¸~sB½tsBm;~}Ï~k#"}gk;~iGi"Nº ³ i"}gk~iG sBhjk'sk4skiGm
B·-&"i"wui"k81o±o±o±1 giE´g}gi"1½yxm;egiG~Â\ÃÄÆÅÇDÈÅÉtÊDË;ÌÍ&ÅÇÎ8-É ÃÄÆÅÉ ÎÎÉF4ÅÇEÈ J 4æz ·Æ'k;eg;m6EºQd4egi
h¿sB~}i"k;m;;~Gm;~}gk+¹#~m;e/i"ki"Gmmhji"h¸iEv sBh¸h¸~}¾sB} usBi"k)sBiQm;egisBgkiG}g"iQB·iEv"iGm;~}gk+
}g}w¼æ&tsBwuh¸gkw~}½miGk4m½tsB sB;~¾sBi"k4Ðsk4~mesBiG}gk4¹#~m;exiE·ÐiGiG}g"i|sBsBhjiGmiGskk;~} 6E&~}miGk
m¸&"i"wui"k5#&"i"wusBsBsBhjiGmiGkº
³ iUh¿sBÔim;egi~h¸;msB}mskk;uh¸m;~} m;esBm·Ð;h¿sB^sBsBhjiGmiGk|B·+&"i"wui"kÇÅ;Ë/ÃÉ Ä_jÉtÌ ÂËÌx~}Àm;egi
&"i"wui ºd4e~kPsB¹kmiGi"kiG}½m4siG¾sBm;~}9iGmÓ¹i"iG}¶iG}½½~}hjiG}½mksBmQm;egi5iG}½m;;yjB·^m;egi&"i"wui'sB}g
iG}½½~}hjiG}½mkUsBmsB}yÀ"}½m;-~}½m|B·m;egi&"i"wui Nk;~h¸~¾sB;y sk~}
[]\
_^wl&b
\
¤ nM`Óºàm~k'm;;~&~¾sB+m¶s
}giG¹ &tsB^ sB;~¾sBi"k#mjiG}gk;uim;e~k5skk;uh¸m;~}À}ÀsB} iEv&~k;m;~}¿ sBh1º
! "#%$'&()
d4egiky½}½msGm;~h¿sB~}gk¹iugkiUsBik;uh¸h¿sB;~ki"1~}1dsBi9l º
* ¯ Ú ¯Y° - sBh,+ .-0/ t <2143/B:$< 1 +
?576
+
6 ?~k/iE´g}gi"Á½ycs1kiGm8143/EÀB·# sBsB;~¾sBi"kt)m;egi
i"GmB·+¹#e~ex~k4}gmi":9+gsB}g1s/kiGm<1 + ? 76
+
6 B·½"i"wui"ktº
³
i}gm4estisB}y¶h¿sB~}x½"i"wui gsk
¹ik;i"G~µ·[yÏkiGsBsBmiGyϹ#esBm'sBi|m;egi~}~m;~¾sBkmsBmi"k4·[h ¹#e~e1mjkmsB;m5sB} sB}sBy&k~ktº
* ¯ Ú ± Ö Û¯
Ö
¬.-
&"i"wui1
+ t <<;=3/E
+
?>+/E
+
?>@BAE.
+
?C
+
?¿~kxiE´g}gi" ½y~mkÏkiGmxB·/&tsB|sB;~¾sBi"k
;=3/E
+
~mkkiGm|B·P·Æ;h¿sBÊÇ Î\ÎÈwÇÅ;Ç¿ËGÄÓËEÅ
>+s/E +ED
;F3/B
+
~mk|kiGmB·Q·Ð;h¿sBÅËGÄÆÍ&ÅDÃÀÈwÇÅ;Ç¿ËGÄÓËEÅ
>@BAo.
+GD
;=3/E
+
NsB}g ~mk~}m;sB&"i"wusBPzHC
+
º|}gk;~iGi"ask'i"Gmktm;egi"kikiGmksBiU¹#;~m;miG} i"k;i"Gm;~iGy8I +
JK + tMLJK%N .O
+Ao±o±o± JK=N
O
+QP#sB}g JSR
+
tMLJSRN .O
+Ao±o±o± JRN O
+HPEº
T Bô÷ö
6
'DïEëï"íæô'Dïô÷ö
6
'4 4 'Dï'ô÷ïìæë
6
ëï"í Yì('hDìÓî)4 4#ô÷ïXhüýîDïXh!î hEëöBü÷ô]jEë=UWVX?V 'DìY4Zñ
[]\
ë;îü÷ôýïXhÿ^ôõí(í(Bô÷öNøµëîí(!Yìæëö
6
'!Büýð,ìæëöÐëï"íæüg - ëð 'EïYë-!í 'EïBüg-Wg5ð 'Eô÷ïXh#ðìÓîöÆíæô
6
î2-BöÆíÐìÓî
6
íæô'EïBöñ
"!$#&%'
#
(*)+-,./*013245167298:01
;=<1>?1@A98:1 CB; 4D E8FG2HI8JK L
%M;
#
<1N
#
1O=P2Q8F86R CBS 4D 19T8FUI86PTV5XW
#
Y[Z\
#
<1]_^ # `G51I98FUFa8:4Lb c6 dI1 LeR248F[I8=6RV514XW
#
Y[Z\
#[f
%'
#
YgihPj
#
<1]_k
#
`G51I98FUFa8:4Lb MP250lI K LP2RK'8FI86PTV5AW
#
YgihPj
# f
%';
#
m #
onRpj_7q
#4r4sP#ut
v98;wxJK IHl8FU24HI86PTV5XW
#
p[j_7q
#
y80&248CIM80&2E8FU2HXI486RV5W
#
z
#3r{S#[|
p[j_7q
#
R0&24}~ 01VlP2\IM80&2\8FUI86PV54W
#
s
#
pj_7q
#
p[j7q
#U
(*)+-,./*013245167298:01E 90JbVJ: 8F m #
m
nPp[j_7q r4s=t
/*0&24RI86PV5 M18;wJ: IH~8FU2HI8JK L
p[j_7qC !R #1 p[j_7q
#
y80&248CIM80&2E8FU2HXI48:JK L
s
p[j_7q
p[j7q
(*)1+3,4u9* /*013245167298:01E 90JbVJ: 8F m
dsBijl./
\
y&}msGm;~/h¿sB~}gk
VW% ®t¯B° R¯ Ú ± Ö Û ¯Y° :F + - 5}~}m;sB&"i"wusBQz ~ksj sBe C + t <n.
+
%r
+
?#¹#egiGi n.
+
~k'm;egi/kiGm
B·ÊÉÃÄÆÅ;ÉÎgÈwÉÂ[ÃÄ B·+&"i"wui1
+
"}½msB~}~}Ïsu}~½ugiiG}m;;yÏ"}m;~}½m$
+
sB}g1su}~½ugiiEvw~m"}m;
~}m$
+
ºCr
+ ¨ n.
+ 4 n.
+
(Kd774~k4·Æu}gGm;~}x¾sBiG~}9i"wi"k#iGmà¹Pi"iG}"}m;^~}mk#¹#~m;eÁÂ\Ã
ÄÆÅDÍÊ"ÄÆÂÐÉÃ
iG} ~}ÏmKd77tº'd4egiU~}gk;m;;ugGm;~}gk¹i/"}gk;~iG|~} m;e~k'sBiGsBi/iG~m;egiG~}m;sB&"i"wusB-~}gk;m;;ugGm;~}gk
&"i"wui~}½½tsBm;~}gk;/
Kd77 ¨¨t Lu P ~}½m;sB½"i"wusB+~}gk;m;;ugGm;~}^g¹#~m;e
D
<21X d¡48;' d¡?
C
¢
L_£¨tO1[¤ <_¥T?.P &"i"wui~}&tsBm;~}^g¹#egiGiUm;egi¥
N¦
O
õk'sB}g§£
N¨
O
õk5sBisB;~¾sBi"k
à}m;sB&"i"wusBg~}gk;m;;ugGm;~}gksBik;i"G~µ´i"/~}¸s5iG}giGsB&¹4s"ysk)s5iG¾sBm;~}©i"kG;~~}egt¹2m;egiQ sBgsB}g
m/½tsB&iG}&~}hjiG}msBim;sB}gk·Ð;hji"½ym;egi-~}gk;m;;ugGm;~}^º»'&~ugk;ysB}½yUskk;~ }hjiG}m+B·s# sB;~¾sBiyUsB}
iEvwi"kk;~}jsB}y"}gw~m;~}sBg~}gk;m;;ugGm;~}jtsB}¸i4k;i"G~µ´i"/m;esBm-¹4s"yº
h¸mày/iG¾sBm;~}gksBiugki"mk;i"G~µ·Æy
m;esBm|m;egiGi/~k5}g9~}gk;m;;ugGm;~} iGmà¹Pi"iG} mÓ¹Ï"}m;-~}mktºd4egiskk;uh¸m;~} m;esBm'·Ð;h¿sB)tsB+sBsBhjiGmiGk
sBi4}gm-hj&w~µ´i"¸~k)iEÒi"Gmi"j}¸iG¾sBm;~}gkQym;egiskk;uh¸m;~}¸m;esBm,<*
.
R
C
?~h¸~i"ki
. <JK=N¦
O
¤
?t
C <JSKFN¦
O
¤
?E
sB}ga}½"i"wui¸tsBk|½yÀm;egi¸skk;uh¸m;~}am;esBm JK +ª
£ t¬«w¹#egiGi5>4~k|m;egi/}½uhUiGB·Pm;egi"}gk;~iGi"
4ÆtsB~} 6½"i"wui º à}1m;egiUiEvgsBh¸i"k'¹Pi¹#~ugkim;egiU}gmsBm;~}gk Lx»¨tWP·Ðm;egiskk;~ }hjiG}mB·-sB;~¾sBi
x yÏm;egiiEvwi"kk;~}?sB}g L*:® P·Ð#m;egi"}gw~m;~}sBguh¸1 usBi"1½y9m;egi"}gw~m;~}~k#m;;ugiqº
VW% ® Ö ¯MR+¯ Ú ± Ö Û¯B° F +X - d4egi4kiGm-B·~}½m;sB½"i"wusBNz õk 4Æ"}½msB~}~}½"i"wui4~}½½tsBm;~}gk6)sBt¹k
mjiE´g}gim;egi¸Â\ÃÄÓËEÅæÈÅÉtÊDË;ÌÍ&ÅÇÎ B
C{t <n.t°¯
+
n.
+
%r ?
¹#egiGir¨ n.n43n.(±Kd77R²³´aµ¶-sB}gx¹#egiGibKd77R²³4´aµ¶~k#m;egiUkiGmB·+~}½miG;½"i"wusB+~}gk;m;;ugGm;~}gk;/
Kd77R²³4´aµ¶ ¨¨t Lu P ~}½m;sB½"i"wusB+~}gk;m;;ugGm;~}^g¹#~m;e·
D
<21X d¡²48;' d¡?
C
¢
L4¸¹cºº\£¨tO1 ¤ <_¥T?.P &"i"wuiUtsBktw¹#egiGim;egib¥
N¦
O
õk'sB}g»£
N¨
O
õk5sBisB;~¾sBi"k
¢
L_¼c½1¾£¨tO1¤ <_¥T?.P &"i"wuiiGm;u;}gktg¹#egiGim;egi¥
N¦
O
õk'sB}g§£
N¨
O
õk5sBisB;~¾sBi"k
r ~kiE´g}gi"cskm;egi Óu}~}),+Xr
+
^¹#egiGij·[u;m;egiG;hji9itseÁi"wi¿¾sBiGi"WyWs¶½"i"wui¿~}&tsBm;~}Á~k
iGhji" sB}gxiG¾s"i"Ày¶mÓ¹P9i"wi"kugk;usByÏtsBi"»pqQ¹¯LSB¹IFELRQKEL#sB}g»J8G0L0¹¯LSB¹K+J~L8mK8D i"wi"k$/
r +
<u¿XP¿
?$ÀtML_£¨t 1¤ <_¥T?.P
rC<u¿XP¿
?'tvr
+
<u¿XP¿
? r +
<u¿P¿
?'tML_£³¨tO1[¤ <_¥T?.P
r&<u¿R ¤ ?tHL4¸¹cººQ£¨t 1 ¤ <_¥T?.P
rC<* ¤ P¿
?tHL_¼c½1¾i£¨tO1 ¤ <_¥T?.P
kxsB} iEvgsBh¸i ~ ui2l iG~GmkÏm;egi~}miG;&"i"wusBz B·Um;egii"Guk;~i ~h¸iGhjiG}½msBm;~} B·/m;egi
·æsGm;~¾sBN·Æu}gGm;~}ÂÁ)º
z
{
n ©
t
n
t
n
t
n
t
n
t
!"$# %
%
&('*)
+,.-*/$0
12354 687:9
;< =>@?
n
BACD
t
+~ uijl./mà}miG;&"i"wusB)z ·Æ#m;egi sGm;~¾sB u}gGm;~}
EGF E H EI
JKF JLI
M F M I
M H nON
BPQRS
t
nT
UPQV
t
nR
WX
t
n
Y
t
n
ZW[X
t
\ ]O^@_
_`ba cedgfh
ikj
l.m[nKoqpQr*sZtvuxw yz {$|[}D~(
OL
e
.k
~ ui/n /Ó}½miG;½"i"wusBz B·qkS
1Ú ®t°w®$!ÚC% ¬.- g»¿ n.e¡[D¢ <u¿;?¿¹#~iG}gmim;egi~}giEv¤£2kuge m;esBm§¿¥ n.¤ ºg1sB}y~}w¼
miG;&"i"wusBUm;sB}gk;~m;~}
t ¿§¦$¨D©ªC«¬
N$®
Ok¯
R ! ( ¿
5¹iWiE´g}gi¥°K±W<u¿;?
&
('
t ¿
sB}g ~mkÏ~}iGkiB¢²´³*³<u¿
? &
('
t ¿Bº
³ i tsBÀs "}½m;1~}½m¿µ n.¹#~m;e sB} um;~} i"wi ¾sBiGi" ¹#~m;e8s &"i"wui tsB 4[~æºõi º
§ ¿
¨r&<u¿P¿
?tML4¸¹cºº\£¨tO1[¤ <_¥T?.P 65sxÊÇÎ[Î ÂÆÄÓËS4[mj½"i"wui£6Eº
;=< ° R Ö·¶ -É Ã ÂÐÌËEÅ|ÄJwË ÉÎ[εÉ.F-Â\à Â#'ÈÎù ÄÆÂÐÊPÈÅ;ÉÅ;Ç ÊÉà  ÄÆÂ[à jÉ ÎÉ ÇÎ0YÇÅEÂÐÇ ÎË x ÇÃÌQ¸ ÇÃ̸ÄJÅËË
ÈÅ;ÉtÊËÌͽÅË
1¹»º8ÇÃÌ
¼¾½¿BÀqÁÂÄÃÆÅLÇSÈqÉ
ÊS¿¾Ë¾ÌÍÏÎÐÑà Î5ÐBÅÒ
¼¾½¿U½ÏÁ@ÓÔÃÆÅLÇ[ÈqÉ
ÓÖÕ×DÅLÇ
EF
½ÄÃ@ØÙSÚÏÉ
JLF
ÓÛÃ@ØÝÜÞÎG½´ÐßÉ
ÕàǾá M F
ÊS¿¾Ë¾ÌZÜÞÎÅÑÃâÅÇSÈVÐÑà Π¿ÄÃâÅÇSÈVÐÅÒ
ÓÖÕ×DÅLÇ E H
¿ÔÃ@ØãÅßÉ
ÕàǾá M H
Ê[¿¾ËÖÌåäæÎÐÑà ÎÐÅÒ
Ó¾Õ×VÅLÇ
EGI
ÀçÃØZÙ¾ÚÏÉ
JKI
ÂçÃØUÜèÎ ÀVÐgÉ
ÕǾá M I
4ÅÉtÊDË;ÌÍ&Å;Ëéº Â#'ÈÎË¿ËEÃÄ ÄJwËUÂÐÌËEÃÄÆ d Í&ÃÊ"ÄÆÂÐÉÃ(¹-ÅËGÄÆͽÅEÃgÂ[à 9Â[Ä ÇÅÍ¿ËEÃÄ >F-ÂÆÄJ&ÉÍwÄ:¸ÉÌÂÊÇ ÄÆÂÐÉÃ Ç Â[Ä
ÅË
Í&εÄëê!¤ì JwËÈwÇÅ;Ç¿ËGÄÓËEÅEÎË
ÈÅÉtÊDË;ÌÍ&Å;Ë
1ÇÃÌ ÊÇÎ\Îíºé¹:1 F-ÂÆÄJ ÄJwË¿ÎÉtÊÇÎ:YÇÅEÂÆÇ
ÎËéîß¹ÇÃÌ F-Â[ÄJWÄJwË
ÎÉ Ç Î YÇÅEÂÐÇ ÎË=xn
QÂLÍ&Å;Ë·ï̽ËÓÈÂÐÊ"Ä ÄJwË Â[ÃÄÓËEÅÓÈÅ;ÉtÊË;ÌÍ&Å;ÇÎ=E8É ÄJ ÈÅ;ÉÅ;Çé¹,FeJwËEÅË ÄJwË ÌÇ JwË;Ì ÎÂ[ÃË ÅËÓÈÅË ËGÃÄjÄJwË
ÄÆÅ;ÇÃ Â[ÄÆÂÐÉÃ É ÄJË|Â[ÃÄÆÅÇEÈÅÉÊË;ÌÍ&ÅÇ Î E ÄJ&ÇÄ J&ÇBË ËËEÃ ÅËjÉBË;Ìlðì JË|Â[ÃÄÆÅÇEÈÅÉÊË;ÌÍ&ÅÇ Î Eòñ É qkSÇÅË
ÄJwË/ÄJÅËËó#BËEÅGÄÆÂÆÊÇ Î)ÊÉ.5ÈÉÃËEÃÄ [ô
É
QÂLÍ&Å;Ëï:
õ÷öø &¾ùS'$%Ïú "»ø $ &Sù û(ü
d4egiiGsBm;~}sBkiGh¿sB}m;~"k5B·) sBhjk~k ~iG}1y1sÏÄÆÅ;ÇÃ
ÂÆÄÆÂÐÉÃ d
ÄÓË <g,6.0/2.SAb( ?Eº