HAL Id: inria-00072131
https://hal.inria.fr/inria-00072131
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.
Logic Functors : a Framework for Developing Embeddable Customized Logics
Sébastien Ferré, Olivier Ridoux
To cite this version:
Sébastien Ferré, Olivier Ridoux. Logic Functors : a Framework for Developing Embeddable Cus- tomized Logics. [Research Report] RR-4457, INRIA. 2002. �inria-00072131�
ISRN INRIA/RR--4457--FR+ENG
a p p o r t
d e r e c h e r c h e
THÈME 2
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Logic functors: a framework for developing embeddable customized logics
Sébastien Ferré — Olivier Ridoux
N° 4457
Mai 2002
Unité de recherche INRIA Rennes
+-,.)%%,(/0120)%3(0
457698;:=<>@?7ACB9?7DED=5GFIHJLKM>@NO>@?7DQPR>MSUTWVX
Y!Z\[^]Q_`acbed^fhgi_jlknmoglp^gi_=j
_qrp=stjupv\j1wyxG]z{knjlgl|7v\_
}~kt_qrstfh\_
+st\{kn~yq+_~_=pZ\_=~pZ\_fWUnGoaIsngO`tn7`a7`hsnmn_Ew
U=^\nn Oknmngupzhsow _EIst\hjigup^stqyglknfhwekt¡¢q_^fvhwy_I£¤G¥¦¨§©«ªi¬=®L¯l§y°nª±£¥²)Z\gupZ³sn~y_Qpko]Q;k7w _EIkt¡)wy_^´n_=~snjjlknmoglp=w^µQY!Z\_Ew _
p^vhwqkn]Qgl¶^_=jlknmoglp=wst~_·stjuw kkn¡¢qy_=f¸©·¹®o®n®RsowsLz\jusnpº7z;k».gif¼snf¼st\\jlgup^sqgikof1µ½Gkh¾Ugi]Q\jl_^]Q_=foqgifhmqyZ\_=]-~y_E|ovhgi~_=w
qZ\_w {_=p^gÀ¿{p^sqgikofkn¡Us«²0_^jljÀ¨_¿;f\_=gif7q_^~y¡±snp_²)giqyZLpko]«]Qkofko;_=~stqyglknfhw!wyvhpZsow)s;st~w _=~=¾s«\~gif7qy_=~=¾\snfhsqZ\_^ko~y_=]
\~k´n_=~=µ.Á¨f¼kn~_=~qyk³z{_stzhji_qyk³pkn]Q{kowy_·qyZh_=wy_jlknmoglpn¾Ukof\_]Âvhw qQsnjlwykÃ_^¿hf\_Lpkn]Q{kowygÀqgikof¼jus²+w^¾9stf;¼\~k´n_QqZ\_^gl~
\~kn{_^~yqygl_=w=µÄ³_Â\~_=wy_^f7qeqyZ\_«\~gif;pgl\ji_Ewekt¡r¯i§°nª±£rŤÆW£¦¨§Ç¥rsnfhqZ\_^gl~pkn]Q{kowygÀqgikofhwr¡Èkn~pkofhwq~yv;pqyglf\mjikomngup^wrqyZhstqsn~y_
É
®Ê@Ë\§E£^¾1z\vqw kov\fh̵Í+f.gi]Q{kn~yqsnfoqeglwwyv\_guwrZhk²ÎqyZ\_Âkn{_^~sqyglknf;w+kt¡0gÀÏW_^~_^f7qw v\zhjikomngup^w+glf7qy_=~ kn{_^~sq_nµrij_h~yko;k7w _
sáÈkn~]·stjlgi¶EsqyglknfÐkt¡+qZ\_jlknmoglpR¡Èv\fhpqykn~w=¾9qyZ\_=gi~·wy_^]·stf7qglp=w^¾gl]Q\jl_^]Q_^f7qstqyglknfhw=¾\~kGkt¡¢MqyZ\_=kn~_qglp·h~yko;_=~ qgi_Ew^¾snfhÑqZ\_^gl~
p^kn]Q;k7w giqyglknfOµ
ÒÓ7ÔWÕyÖÂ× ØUn sn\\jlgi_Ejlknmoglpn¾\w kn¡¢q²0sn~y_pko]Q;kof\_^f7q
ÙÚOÛEÜÞÝßà=áMÛâãOÜÞÝ1ÝMàäEänâãÈá@å æçèéß0ÝMêMÛâëìßã@Ý@ÛÜÞäéíiã±âîðïÌñUòórßôEæò1õ öÜÞâôe÷Wã@å¨áMßöôå
*³O (
) ) 0 % ·
1_Ewésn\\jlglp=sqgikofhw+jlknmoglp^gi_=jijl_=wé_jusRjlknmogl|7v\_v\qygljiguw _=f7qejl_\jlvhwew kov\´n_=f7qé_=wéjlknmngu|7v\_=w
É
®RËh§=£é~d=wyv\jÀqstf7qwé_
jusp^kn]Q;k7w giqyglknf._Âhjivhwygl_^v\~w+jlknmogl|7v\_Ew^µ_=wéjikomngu|ovh_=wrsoIZ\kpÂw kofoqstvhwwygwyknv\´o_^f7qé_=f¡Èknv\gl_=we\snfhwrjl_=westh\jigup^stqyglknfhwr_^f
qstf7qQ|7v\_z{kuqy_=w«f\kogi~_=w=µÑ1_Ew]Q_qyqy~__=fÐkG_^vh´7~_\_^]·stfh\_kofhp_wy{d=pgi¿h_=~Âv\fh_glf7qy_^~y¡±snp^_zhgi_=f d^¿hf\gl_s´o_=pR_Ew
ko;d=~stqyglknfhwp^kn]Q]v\fh_=wp^kn]Q]Q_·jstfhsnjixwy_·w xGf7qst»Ggu|7v\_n¾OjsRpZhsnmn_Qknvjus\d^]Qknfhw qy~sqgikof³\_·qyZ\d=kn~[^]Q_=w=µRÍ)¿;f¼_·ji_Ew
p^kn]zhgif\_=~=¾;f\knv;w+_^´oknfhwrstvhww gd¿hfhgi~e_=wrjikoglw+\_pko]«{kowygiqyglknfhw=¾h_^qr_^fId^qy_=~y]Qglf\_^~+jl_=wr\~kn\~gid^qydEw^µ+kovhw+\~d=wy_^f7qknfhw
jus·qZ\d^ko~ygl_Â_EwŧtÆ{£^¦^¤Ç¥¯i§°nª¤h¥r_q_«ji_=v\~ep^kn]Q{kowygÀqgikof;kov\~ep^knfhw qy~v\gl~y_Â_=wéjikomngu|7v\_=w
É
®RË\§E£e]·stguwrp^knfhwyglw qsnf7qy_=w=µ
rf\_«|7v\_EwqgikofIgl]«{kn~yqsnf7qy__Ewq_Âp^kn]Q\~_^fh\~y_p^kn]Q]Q_^f7qji_Ewrko;d=~stqyglknfhw+\_=wgiÏ{d=~y_=foq_=wéjikomngu|7v\_=wr_^f7qy~stf7qé\snfhwév\f\_
p^kn]Q;k7w giqyglknfglf7qy_=~ ¡È[=~y_=foqEµ+kovhw+h~yko;k7w kofhw)v\f\_¡Èkn~]·stjlglwsqgikofL\_=wr¡Èknfhpqy_^vh~wrjikomngu|ovh_=w=¾;_Âji_=v\~éwyd^]·stf7qgl|7v\_o¾{_Âji_=v\~
gl]Q\jid=]Q_^f7qstqyglknf1¾h\_ji_=v\~w!h~yko\~ygldqd=w0´Gglw ´7guw!_jlsQd=]Qknfhw qy~sqgikof1¾_qr_jl_^v\~épkn]Q{kowygÀqgikof1µ
× = Õ "! jikomngu|7v\_st\\jlgu|ovhd^_n¾\p^kn]Q{kowstf7q)jikomngupgl_^j
ÂO·%
ij_\~_=wy_^f7q!s¡È~st]Q_^²0kn~º«¡Èkn~!z\v\gljl\gif\mQ_=]z{_=\\snz\jl_snvqyko]·sqyguprqyZ\_=kn~_^] \~k´n_=~w¡Èkn~£^¤G¥¦¨§©«ªi¬E®Q¯i§°tª±£¥µY!Z\_e¡È~sn]Q_
²0kn~º³\_¿hf\_Ew¯i§y°nª±£Å¤ÆW£¦¨§Ç¥snwÂjlknmngupRp^kn]Q;kof\_^f7qw^¾9_oµm;µi¾U\~kn{kowygÀqgikofhstjjikomngup·kn~«gif7q_^~´snjlw=µ.OknmoglpR¡Èv\fhpqkn~wÂp=stf¼z{_
p^kn]Q;k7w _ERqkQ¡Èkn~] f\_=²¸jlknmngup^w=¾_nµmhµl¾\~kn{kowygÀqgikofhstjWjlknmoglpeknfglfoq_^~´stjuw^µ
sopZÂjlknmoglp¡Èv\f;pqyko~9Zhsnwgiqwk²)fÂ\~kGkt¡¢MqyZ\_=kn~xn¾²)Z\gupZQp^stf«z{_)gi]Q\jl_^]Q_^f7q_=Qsnw9séqyZh_^kn~_^]"\~yk´o_^~Eµév\~9mokostjGguwqyZ;sq
qZ\_Âh~ykGkt¡¢MqyZh_^kn~xLstfhIqyZ\_=kn~_^] \~k´n_^~rkt¡spkn]Q{kowygÀqgikofIkt¡jikomngup¡Èv\fhpqyko~wé~y_Ew vhjÀqé¡È~yko] snf.snvqyko]Qstqygupp^kn]Q;k7w giqyglknf
kn¡qZ\_\~k7kn¡¢@qZ\_^ko~yxRsnfhqyZ\_=kn~_^] \~k´n_=~kn¡U_EsnpZjikomngup+¡Èvhfhpqkn~Eµ
Írjij{jikomngup!¡Èv\fhpqyko~w0stfh«qZ\_^gl~!pkn]Q{kowygÀqgikofhwgl]Q\jl_^]Q_^f7q0sÂpko]«]Qkofª¢Æh¦¨ÇÈÅ
É
£^µY!Z\guw]·snºn_=wgÀq0;k7wywyglz\ji_rqykh~ykomn~st]
mo_^f\_=~yguprsn\\jlglp=sqyglknf;wqZhsq+p^snfRz{_eglfhw qsnfoqglstqy_ER²)giqyZsÂjlknmnguprp^kn]Q{knf\_=foqEµ knfG´n_=~wy_^jlxn¾7pvhw qyko]«gl¶^_ERjlknmoglp=wz\vhgijiq)vhw glf\m
qZ\_jikomngupé¡Èv\fhpqkn~w)p^snfz{_©·¹®n®n®glfstfLst\hjigup^stqyglknfqyZhstq+~y_Ew {_=pqw0qyZhglw)glf7qy_=~ ¡±sop_nµ
Á¨fw vh]«]·sn~yxo¾1jikomngup¡Èv\fhpqkn~ww {_=p^gÀ¡ÈxÃktÏ{@qZ\_¨w Zh_^ji¡0wykt¡¢q²!st~_«p^kn]Q;kof\_^f7qw^¾ÌqZ\_·´stjlglhsqyglknf³kt¡qyZ\_Rp^kn]Q{kowygÀqgikofÃkt¡
²)Z\gupZL~y_Evhp^_=w0qyk·s«¡Èko~y] kn¡OqxG{_¨pZ\_^ºGglf\mh¾\snfhRqZ\_^gl~rp^kn]Q;k7w giqyglknfLstv\qykn]·stqygup^stjljlx·~y_Ew v\jiqw!glfstfstv\qykn]·stqyguprqZ\_^ko~y_=]
\~k´n_=~=µ1komngup·¡Èv\f;pqyko~wQp=stfÐz{_Lsnww _=]z\jl_=ÑzGxÑjusxG]«_=f1¾snfhÑvhwy_=Ð~ykovqyglf\_^jlxÑglf wyxGw qy_=]«Mjl_^´o_^j0\~ykomn~st]Q]Qgifhm·_nµmhµl¾
p^kn]Q\glji_=~w=¾kn{_^~sqgif\mQwyxGw qy_=]·w^¾G¿hjl_¨wyxGw qy_=]·w^¾glf¡Èkn~]·sqgikofwyxwq_^]·w^µ
Y!Z\guwsn~ qglp^ji_·guwko~ym7stf\gl¶^_E.sow¡Èknjljlk²+wQ½G_=pqyglknf¼`_=´n_^jlkn;wknv\~]«knqygl´sqyglknf;w^¾9½G_=pqyglknf¼Lglf7qy~kG\vhp_EwqyZ\_f\ktqgikofhw
kn¡+jikomngup^wsnfhjikomngupQ¡Èv\fhpqyko~w=¾Usnfh¼wy_^´o_^~stj9jlknmngupQ¡Èv\f;pqyko~\~kn{_^~yqygl_=wjiglºn_.£§t© W¯i¦¨^Æ{¥¥snfh £§ÇÇy£^¦@ÆW¥¥¾½G_=pqyglknf¼
glf7qy~kG\vhp_Ew«swygi]Q\jl_f7vhjijust~xÑjikomngupR¡Èvhfhpqkn~·snwQstf _»\sn]«hji_o¾stfh s.]«ko~y_Lwykn\Z\guw qygup^sq_=Ðv\fhst~xÑjlknmngup·¡Èvhfhpqkn~QqyZ;sq
~stguw _Ew«gi]Q{kn~yqstf7qR|7v\_=w qyglknf;wQknf qyZ\_L\~kn{_^~yqygl_=w«kt¡jlknmngup^wÂqZhsq·~_=wyv\jÀqQ¡È~kn] sp^kn]Q;k7w giqyglknf kt¡jikomngupR¡Èvhfhpqkn~w^¾0stfh
½G_Epqgikof«snfhw ²0_^~wqyZ\_Ew _|7v\_=w qyglknf;w!z7xgif7qy~kvhp^gif\m·s«f\_=²¸\~kn{_^~yqxn¾p^snjijl_=.Çy®¤h£®ÆW¥¥µ9Á¨f½G_=pqyglknf¾\²0_pkn]Qhsn~y_
qZ\glw0²0kn~º²)giqyZktqyZh_^~²0kn~ºw^¾7stfhR²_epknf;pjlvh_+qZ\guwsn~ qglp^ji_oµUÍr\;_=fhgi»Í¸h~y_Ew _=foqw]Qkn~_+fGv\jljlsn~yx«jlknmngup!¡Èv\f;pqyko~w=¾Gstfh
Ír\;_=fhgi» \~y_Ew _=f7qw!]Qkn~_fsn~yx·jlknmoglpé¡Èv\f;pqyko~w=µ
'e
! #"%$'&)(*+,-./0"123+54#.267&)$8$89+#:$<;$<1=&)/:$
Á¨f?>@ +nnz1¾<@ +ACB¾o²0_rZ;s´n_)\~kn{kowy_=·sOknmoglp=stj\Á¨f¡Èko~y]·stqyglknf½Gxw qy_^] qZhsq0glwz\v\gljÀq!knfRs´sn~ygustf7qkn¡)@\kn~]·stj kofhp_=q
Írfhstjlxw guwD>beÄFE<E¾2@ +nosGBµY!Z\_e¡È~sn]«_=²ko~yºQguw!mn_=f\_^~glpéglfqZ\_w _=fhwy_rqZhsqrsnf7x·jlknmoglpé²)Z\k7w __Evhpqgikof~_^jusqgikofR¡Èko~y]·w
sjlstq qygup_«p^snfIz;_«\jlv\mnmo_=Gglf1µ#H+k²0_^´o_^~E¾hjl_=s´Gglf\m·qyZh_ÂjlknmoglpqktqstjljixLv\fh\_¿hf\_EIwy_qwes·qkGkjust~mn_~_=wy;kofhwygiz\gljlgÀqxknfqZ\_
_=fhGvhw _=~w=¾\ko~+_^´o_^fknfs·ºGf\k²)jl_=\mn_zhsow _sn]Qglf\guwq~stqykn~EµÁqéglwrv\f\jlgiºo_^jlxRqyZh_^xLp^stfI\_=wygimofLwyvhpZIsQjlknmoglp=stjOp^kn]Q;kof\_^f7q
qZ\_^]·wy_^jl´n_=w=µ rwygifhmqyZh_r¡È~st]Q_^²0kn~ºÂ\_^´n_=jiko;_E·glfRqyZhglw!st~yqygupjl_n¾7knfh_ép^snf_Ew glmnfsqykGknjlz{k»Qkn¡1jikomngup^snj;pko]Q;kof\_^f7qw=¾Gstfh
kof\jixji_Es´n_éqyZ\_vhwy_^~!qZ\_~y_Ew {knf;w glz\gljigiqxRkt¡pko]«{kowyglf\mqZ\_^]LµY!Zh_\_=wygimofkn¡OqyZhglw+Oknmoglp=stjWÁ¨f¡Èkn~]·sqgikof½Gxw qy_^] glw0qZ\_
]·stglfL]Qktqygl´sqgikof¡Èko~!qyZ\guw)~_=wy_=st~pZ1µ
Hrk²_=´n_^~E¾0²_Iz{_^jlgl_^´n_IqyZ\_³st\\jlgup^sqgikofðwyp^kn{_Ikt¡qyZhglw~y_Ew _Est~pZ mok7_EwRz{_^xoknfh kov\~Rjlknmngup^snj+glf¡Èkn~]·sqyglknfðwyxwq_^]Lµ
½G_=´n_=~snj\gif\¡Èkn~]QstqyglknfQ\~kp_=wwygif\m\kn]·stglfhw9Zhs´o_+sjikomngupzhsnwy_=«´st~gustf7qgif·²)ZhglpZ·jlknmoglp!\jusxwsp~vhp^glsnjh~knjl_IO_oµm;µi¾njikomngup
zhsow _EÑglf¡Èkn~]·sqyglknfÑ~_q~ygl_^´snj#>Þ½?Jn\¾´ 0)E<J!BM¾9jlknmoglpMzhsow _Eglsnmnf\k7w guwK>}k7k'JIJGB¾9jlknmngupzhsow _E.h~ykomn~st]Q]Qgif\mL>1jlk<JGo¾
ý2EIJMB¾jlknmngupzhsow _E\~ykomn~st]stf;stjlxGwyguw>Þ½=@ 1ÄFEIJh¾Írý\½2EIJ\¾ !½\½2EIEGBµUY!Zh_=wy_´st~gustf7qwf\ktqknfhjix]Qk_^jsnfglf¡Èkn~]·sqyglknf
\~kp_EwywygifhmÂko]Qsngifgifjikomngupt¾7z\vq!qyZh_^x·z\~gifhmqkqZ\_r¡È~knf7q)w kojiv\qyglknfhwgif²)Z\gupZjlknmngupéglwqyZh_é]·stglf_=f\mnglf\_o¾7_=´n_=fsq!~v\f
qgi]Q_nµY!Z\glw)p=stfz;_gljljivhw qy~sq_=zGx·qyZh_gÀÏW_^~_^f;p_z;_^q²_=_^fLvhwygifhmQs«jlknmoglpekt¡U\~knmn~st]·w0stfh\~knmo~sn]Q]«glf\mÂgifLjlknmnguptµ
´o_^fglf³glf¡Èko~y]·sqgikof.h~ykp_Ewywyglf\m\kn]·stglfhw²)Z\_=~y_Qq~sogÀqgikofhstjljlxIjikomngupÂ\k7_Ewf\knq\jlsx.sp^~yv;pgustj9~knjl_«giqZhsowz;_=_^f
\~kn{kowy_=·qyk«_^]z{_=sÂjikomnguprpko]Q;kof\_^f7q!gifktqyZh_^~²)glwy_rf\knq0jlknmoglpMz;snwy_=Rwyxwq_^]·w^µ%@hkn~0gifhw qsnfhp_o¾GgifN>Á3E<!BÌqyZ\_stvqZ\kn~w
\~kn{kowy_+qkÂ]Qk_=j1|ov;stjlgÀqxQkt¡w _=~y´Ggup_PORQék7½Sp^knfhgiqyglknf;wglfjlknmoglpn¾stfhRqyk«]Qsnºn_est\\jlgup^sqgikofhw0pZ\_=pºRxGfhsn]Qglp=stjljix«qyZ;sq
qZ\_\jusq ¡Èko~y] knfL²)Z\gupZqZ\_^x~yv\f_^f\¡Èkn~p_=w0qZ\_pkofhgiqyglknf¡Èkn~+sQwy;_Epgi¿h_=L|7vhstjlgiqxRkt¡9w _=~y´Ggup_oµ
Y!Z\_éjikomngup+glfRvhwy_rglfRqZ\_=wy_éwyxwq_^] glw0kn¡¢qy_^ff\ktq!_¿hfh_=RzGx·swyglf\mnjl_r\vh~y_e_=v;pqyglknfw xw qy_^]L¾Gz\vq!~sqyZh_^~p^kn]Âz\gifh_=w
wy_^´o_^~stj0jikomngup^wQstfh pkofhp~_q_ko]·stglfhw^µ Y!Z\__=wygimof\_^~«kt¡éqyZ\_sn\\jlglp=sqyglknf ²)gijlj)Zhs´o_Rqyk]·stºo_snf
É
®ÃË\§E£«\~k7kn¡rkt¡
p^knfhwyglw qy_=fhpx·snfhRstf
É
®Ë\§E£gi]Q\jl_^]Q_=foqsqgikofTO±sqyZ\_=kn~_^] \~k´n_^~USU_^´o_^~xqgi]Q_eZ\_rgl]·stmogif\_Ewsf\_^²
É
®Ë\§E£jikomnguptµ9½Ggif;p_
qZ\_=wy_jikomngup^w!st~_kt¡¢q_^fL´st~glsnfoqw0kt¡UsQ]Qko~y_wqstfhhst~jlknmoglpe²0_p=stjljWqyZ\_=]/£^¤G¥¦§t©Âªi¬E®·¯i§°nª±£¥µ
Á¨fQkn~_=~qyk¡±s´nkov\~9w _=hst~sqgikofkn¡Wp^knfhp^_^~fhw^¾n²)Z\glpZQguw9~_=pkomnf\gl¶^_EÂsow9smnkGkh~sopqygup_!glfRw kn¡¢q²0sn~y_0_^fhmnglf\_^_=~yglf\mh¾ngÀqguw
gl]Q;ko~ qstf7qqyZhstqUqZ\_+sth\jigup^stqyglknfqyZhstqglwzhsow _Ekof«sejlknmngup_^f\mogif\_o¾nstf;qZ\_)jikomngup_=f\mnglf\_!giqwy_^ji¡¾tz;_+\_=wygimof\_=«w _=hst~sq_^jlxnµ
½Gk«knglf\m;¾okof\_ép=stfRsnwwy_^]zhji_rsnfsth\jigup^stqyglknfRsnfhRsjlknmoglp+_^f\mogif\_ésq²)gljlj@µY!Z\guwgi]Q\jlgi_EwqZhsqqyZ\_égif7q_^~y¡±snp_ékt¡ÌqZ\_rjlknmoglp
_=f\mnglf\_kG_=w!fhktq+_^{_^f;LknfqyZ\_jlknmoglpégÀqw _=jÀ¡µY!Z\glw!guw)²)Zhstq)²_p^snjij0©·¹®o®
É
¹ª¢¯ìª¢¦RVkt¡qyZ\_jlknmoglp=stjÌpko]Q;kof\_^f7q=µ
@hkn~«gifhw qsnfhp_o¾9\~snpqglp=stj!|7v\_^~x7snfhw ²0_^~glf\mw xw qy_^]·wÂkt¡¢q_^fÐv;w _LsI]Qgi»7qv\~_kt¡éjikomngupstf;¼pkofhp~_q_pko]Q\vqstqyglknfhw=µ
Qév\_=~ygl_=w)sn~y_z\vhgijiq+²)gÀqZLjikomngup^stjÌp^knf\f\_Epqgi´o_=w=¾\stfh²)giqyZL\v\~_^jlxRkn{_^~sqgikofhstjÌp^knfhw qy~vhpqw!jiglºn_²)gljlp=st~\w^µ9Y!Z\guw)vhwyvhsnjijlx
p=stvhwy_=wUf\keZhst~]z{_=p=stvhwy_qZ\_)|7v\_^~x7snfhw ²0_^~glf\mrwyxGw qy_=]glwfhktq9snpqvhstjljlxsrqZ\_^ko~y_=]\~k´n_^~E¾stfhqyZGvhw9kG_Ewfhktqsnpqyvhsnjijlx
gl]Q\ji_=]Q_^f7q+sjlknmnguptµUÁ¨fh_=_=̾Gglf]Qkow q)p^snwy_=wsz{kGknjl_=stf|7v\_^~xÂguw0vhwy_=·qk¿hjiqy_=~)pknf;p~_qy_éwq~yglf\mowqyZ;sq)pknf7qstglfRf\k²)gljuG
p=st~\w^¾\snfhf\kQz;kGknjl_=snfp^knf\fh_=pqgi´o_=w=µ
Hrk²_=´n_^~E¾tkof\_ép=stfRgl]·stmnglf\_rsjikomngupzhsnwy_=Q|7v\_=~yx7¨stfhwy²_=~yglf\mwyxGw qy_=]·wglfR²)Z\gupZ|7v\_^~gl_=wsnfhR\stqsÂsnpqvhstjljlxÂvhwy_+qZ\_
wst]Q_+justf\movhstmo_nµ@\kn~gif;wqstfhp^_n¾nkof\_+]·sx«vhw _+qyZ\_r¡Èv\jij{justf\movhstmo_0²)giqyZpknfhf\_=pqygl´n_=wstfh·²)gljuGp=st~\w9z{ktqZQ¡Èkn~\_=wp~giz\glf\m
_=foq~ygl_=w0glfsnfglf¡Èkn~]·sqyglknfw xw qy_=]¾snfh·¡Èko~!|7v\_=~yxGglf\mqZ\_^] OÈ_nµmhµl¾w _=_ >@ +nnz=B1stfh½G_=pqyglknfhw)`\µ«stfh \µÞ` Sµ9Y!Z\_=fqZ\_
|7v\_=~yx7¨stfhwy²_=~yglf\m«w xw qy_^] ]vhw qr_=p^gl\_wykn]Q_^qyZ\glf\mQ²)Z\gupZLp=stfz;_²)~giq qy_=fsow !"#$TO±²)Z\_^~_%]Q_=snfhw
jlknmoglp=stjpkofhw _E|7v\_^fhp^_!kt¡hqZ\_)jlknmngupvhw _Eglf·_=wp~glqyglknfhwsnfhÂ|7v\_=~ygl_=w-S¾ostfhÂgÀq]Âvhw qZhs´n_qyZ\_0¡Èv\jljhp=sthsopgiqxkt¡WsrqZ\_^ko~y_=]
\~k´n_=~!¡Èkn~rsRjikomngup²)Z\kowy_w xGf7qst»guw)qZ\__Ewyp^~yglqyglknf"&|7v\_^~xGgifhmÂjustf\movhstmo_nµ0Y!Z\_pZ\koglp^_kt¡sQhst~yqygupvhjlsn~+jikomngup_^{_^f;\w
kofqZ\_sth\jigup^stqyglknf1¾Gz\v\qé|7v\_^~x7snfhw ²0_^~glf\mguw)mn_=f\_^~glpestf;\_^{_^fh\w)wyknjl_^jlxRkofqZ\__»guwq_^fhp^_kt¡'µ
(é_=wygimof\glf\mewy_^;st~sqy_=jixqZ\_+sth\jigup^stqyglknf«stfhqyZ\_!jlknmoglp=stjpko]«{knfh_^f7qwUqZhsq9giqvhw _EwU~snglwy_=wqyZh_+|ovh_=w qyglknfkn¡;²)Z\k~_=snjijlx
guw!qykQz{_qyZ\_\_^´n_=jiko;_=~)kt¡stf_^]z{_=h_=jlknmnguppko]«{knfh_^f7q*)
R +-,& "% 1=.$L, 1.,& (&0/&2134 / & +1 , "%+ 9+#,-./0"1=9+ 4 .267&)$8$89+:$<;$I1=&)/
Á¨f.qyZ\guwwy_=pqyglknf1¾Ì²0_Q\~y_Ew _=f7qekov\~´7gl_^²+wkofIqZ\_·Í)pqyko~wekn¡qyZh_Q\_^´n_=jiko\]Q_^f7qknf³stf³gif¡Èko~y]·stqyglknfÃh~ykp_Ewywyglf\mwyxwq_^]Lµ
rktqy_éqyZ;sq0Í)pqyko~w0st~_+f\knqf\_Ep_=wwst~gijlxÂglfhp=st~fhsq_=Qglfknfh_r{_^~w kof·_=snpZ437_EsnpZRÍ)pqykn~0mostqyZ\_=~ww _=´n_=~snj\;_=~wyknf;w{koww glz\jlx
f\knqejlgl´7glf\mLsqeqyZ\_Qwst]Q_qgi]Q_nµÁ¨f.wyZ\kn~yq=¾ÌÍ)pqkn~wésn~y_Â~ykoji_Ew^¾W~sqZ\_^~rqyZhsnfÃ{_^~w kofhw^µ½Gko]Q_qygl]Q_=w=¾1Í)pqkn~wr]·sxL_^´o_^fÃz{_
glfhp^sn~yf;sqy_Eglfpko]«hvqy_=~)\~ykomn~st]·w=µ
ÄðZhstq!¡Èknjljik²+wglw!~sqZ\_^~)w qsnfh\st~·glfqZ\_gif\¡Èkn~]Qstqyglknfw xw qy_^] O±_=wy;_Epgustjljix\sqszhsnwy_!Spkn]Q]Âv\f\giqx·z;_Ep^stv;w _giq!Z;snw
soknq_=ko~ym7stf\guwsqyglknfLw qstf;\st~\w+kn¡gif;vhw qy~xLsnfhIso]Qgif\guw qy~sqyglknfO¾hz\vq²0_qyZhgif\ºLgiqeguw+fhktqé²)gu_=jixsnp=p_=qy_EzGxqZ\_
sop^sn\_^]Qglprpkn]Q]Âv\f\giqx¡Èko~knqyZ\_=~ºGgif;\wkn¡1gif\¡Èkn~]Qstqyglknf·\~kp_Ewywygifhmw xw qy_=]Qw=¾n²)Zh_^~_rgiqqy_=fh\wqyk¡Èknjljik² ]Qkn~_rsnp=sn_=]Qglp
w qsnfh\st~\w!glf²)ZhglpZwy_^´n_=~snjÌÍ)pqyko~w!sn~y_pkojijust;w _ERglfoqk·knf\_o¾GqyZ\_ +_=wy_=st~pZ\_=~=µ
Y!Z\_r¿h~wq)Í)pqkn~guwqyZ\_Y!Z\_=kn~glw q#37Z\_egifG´n_=f7qwsnfsnzhwq~sopq¡È~st]Q_=²ko~yºW¾njlglºn_n¾wsxÂ~_^jusqgikofhstj{stjlmn_=z\~sh¾njusqyqygup_éqyZ\_=kn~xn¾
ko~)jikomngupPO±~y_=]Q_^]z{_^~!qZhsqrÍ)pqyko~w0f\_=_=f\ktq)z{_w glf\moji_{_^~w kofhw Sµ
½Gko]Q_qygl]Q_=wqyZ\_Lstz;wq~sopq¡È~st]Q_=²ko~yºÃ¿hfh\wQsth\jigup^stqyglknfhw=¾9stfh sÃwy_=p^knfh¼Í)pqyko~=¾UqyZh_L½Gxw qy_=] }~ykomn~st]Q]Q_^~E¾gl]«
\jl_^]Q_=foqw?OÈ;st~yqQkn¡ SÂqyZh_LqyZ\_=kn~xÑgifðsÑ°o^Æ{^Ǫ±£·wyxwq_^] ¡Èko~Rs.~stfhmn_kt¡esn\\jlglp=sqgikofhw^µ Y!Z\guwQ~y_Ew vhjÀqwQgifðwyxGw qy_=]·wQjiglºn_
\stqstMzhsow _Ew^¾w qstqygupstfhsnjixwy_^~w^¾7kn~)jlknmoglpé\~knmn~st]Q]Qglf\m«wyxwq_^]·w=µ
Y!Z\_=f qZ\_IqZ\gi~¸Í)pqyko~=¾)qZ\_Í+\\jlgup^sqgikof (é_=wygimof\_^~E¾rsth\jigl_=wqZ\_.snzhwq~sopq¡È~sn]«_=²ko~yºÐqyk sÐp^knfhp^~y_^qy_ImokostjézGx
ª¢Æh¥¦
É
Æ;¦@ª
É
¦@ª¢ÆG°s«mn_=f\_^~gupewyxwq_^]LµY!Z\guw+p=stfLz;_\knf\_zGxp^kn]Q{kowygif\m·sQ\stqszhsow _wpZ\_^]·s\¾ko~+sQ\~knmn~st] h~yko;_=~ qxo¾kn~
sQjlknmoglpé\~knmn~st]Lµ
@Uglfhstjljixo¾qyZh_ rwy_^~E¾GqyZ\_¡Èknv\~yqyZÍ)pqkn~E¾]·stglfoqstglfhw+snfhvhw _Ew)stfsth\jigup^stqyglknf1µ H+_|7v\_^~gl_=w)s·\stqszhsow _o¾Z\_stfhsnjixwy_=w
\~knmo~sn]·w^¾Gkn~!Z\_~v\fhw!jlknmoglpe\~knmo~sn]·w^µUY!Z\_ rwy_^~)guw!kt¡¢q_^fLgif;p^st~fhstqy_=glfh~ykomn~st]·w^µ
_=~ qstglf\jixo¾UqyZ\_rwy_^~Qpknvhjlz{_snfhstjlxw _E.¡Èv\~ qZ\_^~«glfÐÍ)]Qgifhglw qy~sqkn~w^¾ fhéw _=~w=¾_qpnµ Hrk²_=´n_^~E¾U²_w qyko¼Z\_=~y_
z{_=p=stvhwy_gÀqéglw!qZ\_~_^jusqgikofz{_q²0_^_=fqZ\_½Gxw qy_^]&}~knmo~sn]«]Q_=~!snfhqyZ\_ÂÍ+\\jlgup^sqgikof5(r_Ew glmnf\_=~!qyZhstqrglfoq_^~_=w qw!vhw#3\qZ\_
¿h~w q+knf\_p~_=stqy_Ew0s«mo_^f\_=~ygupw xw qy_^]L¾\snfhqyZ\_wy_=p^knfhknf\_glfhw qstf7qglstqy_=w!giq=µ
76 8 &)+#& .9 31 ; "%+#(*9+ $<18"%+ 123"123+
be_=f\_^~glp^gÀqx guw·kt¡¢q_^f snpZhgi_=´n_= zGx ktÏW_^~gif\m¼sjustfhmnvhsnmn_IÃ_nµmhµl¾s¼\stqszhsow _wpZ\_^]·sjustf\movhstmo_n¾!sjlstq qygup_Ãkn{_^~sqyglknf
justf\movhstmo_n¾stf;sQ\~knmo~sn]Q]«glf\mÂjlsnf\mnvhsnmn_oµ½GxG]Q]Q_q~ygup^snjijlxn¾glfhw qstf7qglstqyglknfglw)kof\_zGx\~knmo~sn]«]Qglf\mÂsnfhpkn]Q{kowygifhm
_oµm;µi¾!~s²)gif\m s¼\sqszhsnwy_ÃwpZ\_^]·sh¾+pkn]Q{kowygifhmÐstf¸snzhw qy~snpqkn]·stglf ¡Èkn~Lw qsqglp.stfhsnjixwyglw=¾!kn~pkn]Q{kowygifhmÐs¼jlknmoglp
\~knmo~sn]Lµ
ij_!\~yko;k7w _qykkeqyZ\_!wst]Q_¡Èko~jikomngupzhsnwy_=qkGknjuw^µÁ¨fh_^_E̾qZ\_+½Gxwq_^]}~knmo~sn]Q]«_=~Oguwpkn]Q{_q_^f7q¡Èkn~z\v\gljl\gif\ms
jlknmoglp)wyv\zhwyxwq_^]L¾nz\v\qZ\_+kG_=wf\ktqºGf\k² qyZh_+st\\jlgup^sqgikof937Z\_)knf\jlxºGf\k²+w9s~stfhmn_)kt¡Ìsth\jigup^stqyglknfhw=µ éfQqZ\_)ktqZ\_^~w gu_
qZ\_Í+\\jlgup^sqgikof:(é_=wyglmnf\_=~0ºGf\k²+wqZ\_st\\jlgup^sqgikof1¾Gz\vq+guw0mn_^fh_^~stjljixQf\knq)p^kn]Q{_qy_=f7q0¡Èko~!z\v\gljlglf\m·s«jikomnguprwyv\zhwyxwq_^]Lµ
Á¨f.qyZ\guwst~yqygupjl_n¾W²0_Q²)gijlj9snpqsnw½Gxw qy_=] }~knmn~st]Q]Q_^~w+zGx\~k´Ggl\gif\m_^jl_^]Q_^f7qst~xLp^kn]Q{knf\_=foqwé¡Èkn~wyst¡È_^jlxz\v\gljl\gif\ms
jlknmoglpwyv\zhwyxGw qy_=]L¾\stfhLstjuwyk«sow)Y!Z\_^ko~yguwqw!zGxRmngl´Ggif\m¡Èkn~]·stjÌ~_=wyv\jiqw!knfqZ\_pkn]Q{kowygÀqgikofjus²+w!kt¡UqyZh_=wy_p^kn]Q{knf\_=foqw^µ
ko~y_w {_=p^gÀ¿{p^stjljlxn¾²0__»\jlkn~_RqyZh_Lwyxwq_^]·sqglpz\v\gljugifhm³kn¡rjlknmngup^w«vhwyglf\m.z;snwyglppko]«{knfh_^f7qwÂqyZ;sq·²_Lp^snjij¯i§°nª±£
ŤÆW£¦¨§Ç¥µF0x<;ypknf;wq~yvhpqyglknf kt¡s.jlknmoglp=²0_]Q_Estf qyZ\_I_^¿hf\giqyglknf kt¡giqw·wyx7f7qs»Ì¾giqwRwy_^]·snfoqglp=w^¾0stfh giqw·snzhwq~sopq
gl]Q\ji_=]Q_^f7qstqyglknfsnws_=v;pqyglknfÑwyxwq_^]Lµ«ÍrjijqZ\_·jlknmngup¡Èv\fhpqkn~we²_·_Ewyp^~yglz;_QglfÃqZ\guwst~yqygupjl_«Z;s´n_Qstjuw ksp^knfhp^~y_^qy_
gl]Q\ji_=]Q_^f7qstqyglknfsnwOstfsnpqyvhsnjt\~knmn~st]Lµ1ko~y_=k´n_=~=¾^s¯l§y°nª±£+£§©# \§¥^Ç{qyZ;sq1qstºn_EwWqyZh__=wp~glqyglknfkt¡s+p^vhwqkn]Qgl¶^_=ejlknmoglp
snfhLz\v\gljlhwés·p^knfhp^~y_^qy_jlknmoglpp^kn]Q;kof\_^f7qrguw+gl]Q\jl_^]Q_^f7qy_E̵r½Gk;¾h²0__¿;f\_s·\~kp_Ewyw!qZhsqémnkG_=w+¡È~yko] qyZh_Â_Ewyp^~yglqyglknf
kn¡s«jlknmngupegifq_^~]Qw!kn¡jlknmoglpé¡Èv\fhpqyko~w0qkRs«p^knfhp^~y_^qy_e\~knmn~st] qZhsq+gl]Q\jl_^]Q_^f7qw+gÀqEµ
?> @BA#$<1=/:DC &)(E13 9 $
Y!Z\_0~stf\mo_kt¡\jlknmoglp¡Èv\fhpqykn~wUp^stfÂz;_0´n_=~yxjust~mn_oµ1Ä._!pkofhwygl_=~glfqZ\guwUsn~ qglp^ji_knf\jlx\~kG\vhpqwsnfhwyv\]·wUkt¡\jlknmngup^w=¾\~kn{kt
wygÀqgikofhw O±knfst~z\giqy~st~xQ¡Èkn~]v\jusnw-S¾glf7qy_^~´stjuw^¾\wy_qw^¾h´snjivh_=Lsqyqy~giz\v\qy_=wO±stz;wq~sopqy_E²µ~EµqEµ´stjlv\_=w-S¾hw qy~glf\mow O±_nµmhµl¾;z{_^mogif
²)giqyZF=¾;ypkofoqstglfhwD=3S¾GsnfhHGJILK O@sQ]QkGhstjÌ_^hglw qy_=]«gupjlknmngupé¡Èv\fhpqykn~ >1_=´=EnGBSµ
Y!Z\_é²)Z\knjl_)¡È~st]Q_^²0kn~º_=´n_=jiko\]Q_^f7qguwmo_=st~_=Âqk²0sn~\w]Qsnf\gl\v\jusqyglf\mjlknmoglp=wsowjusq qglp^_=w=¾7sowglfstz;wq~sopqglfoq_^~\~_
qsqyglknfOµ«½Gk;¾1_=v;pqyglknf³guwpknf;w gu_^~_=Ãsnws~_^jusqgikofÃz{_q²0_^_=fI¡Èkn~]vhjlsow^¾1snfhI²0_«w qyv;xqyZh_Qp^knfh\gÀqgikofhwev\fh_=~e²)ZhglpZ
qZ\glw~y_=jlstqyglknfQguwshsn~ qglsnj\kn~_^~EµY!Zhglw9_^»\pjlvh_=wf\knf\M]Qknfhktqykof\gupjlknmoglp=wUqyZ\kov\mnZQqZ\_^xQw qygljij{p^stfQz{_+vhwy_=Qsnwf7vhjijust~xjlknmoglp
¡Èv\f;pqyko~w=µ rktq_ÂqZhsqf\kof]«kof\ktqknf\gupgiqxLglwwy_^juko] smokostjglf.giqwy_^ji¡¾OsnfhIqZhsqf\knqykn~glknvhwyjixLf\kof]«kof\ktqknf\gup¡È_=sqv\~_=w
Zhs´o_s³]Qknfhktqykof\gup~_^fh\_^~gif\m 3_oµm;µi¾ jlkowy_=ÐÄ.ko~yjuÐÍéwywyv\]Qqgikof p=stf z;_L~_ _Epqy_EÐglf qyZ\_L]Qknf\knqykof\glp]Qk\stj)jlknmoglp
G ILKéµ +knqy_qyZhstqÂ_=´n_^fÐgif knv\~¡È~sn]«_=²ko~yº.f\ktq·stjlj0jikomngup^wsn~y_jlstq qygup_Ew O±f\kn~ÂqyZh_^gl~«_EvhpqyglknfÐ~_^jusqgikofÑglw«sI;st~yqygustj
ko~_=~-S¾z\vq)qZ\_]Qkow q!glf7qy_=~y_Ewqgif\mQkof\_=w OÈqyk·z{__¿hfh_=S!p=stfLstjl²0sxw0z;_p^kn]Q\jl_q_=gifs«jlstq qglp^_nµ
ij_r²)gljijÌp^knfhwygl\_^~sows]«knqygl´sqyglf\mÂ_»\st]Q\jl_ésnfRst\\jlgup^sqgikof·¡Èkn~]·stfhsnmnglf\mz\glz\jlgikomn~st\Z\gup)_=foq~ygl_=w=µsnpZR_=f7qy~x«Z;snw
s_=wp~glqyglknf.]Qso_«kt¡giqwsnvqyZhkn~efhst]Q_<O@w S¾1\v\zhjiguw Zhgif\mL\stqy_n¾O_qpnµY!Z\_Qvhwy_^~fhs´Gglmosq_=wést]Qknf\mLsw _^qekn¡_^f7q~ygl_=wézGx
p^kn]Qhst~glf\me\_=wp~giqgikofhwU²)gÀqZ·|ovh_^~gi_EwOqZhsqsn~y_0²)~gÀqyqy_^f«glfqZ\_+wysn]Q_0justfhmnvhsnmn_nµCY!Z\_)st\\jlgup^sqgikof«snfhwy²_=~wfhs´Ggim7sqgikof
|7v\_=~ygl_=w)zGxjiguw qw+kn¡9_^f7qy~gi_Ew!qyZ;sqé]·stqpZqyZ\_«|7v\_^~gi_Ew^¾;stfhLjlglw qwrkt¡wyv\z{|7v\_=~ygl_=w)qyZhstqep^snfpkn]Q\jl_^]Q_=foqrqyZ\_p^v\~~y_=foqéknf\_
qk·¡Èkn~] s·]Qko~y_\~_=p^glwy_|7v\_^~xnµ)½GkRkogif\m;¾h²0_Zhs´n_sQjlknmoglpMz;snwy_=f\ktqgikofkn¡9fhs´Ggim7sqyglknf²)Z\_=~y_]·sqpZ\glf\mRs·|7v\_^~xguw
z{_^glf\mgif³w ko]«_Â\jusnp_o¾ÌstfhIwyv\zW|7v\_^~gi_Ewésn~y_Âjiglf\ºwrqykktqyZh_^~e\jlsop_Ew^µD@\ko~églfhw qstf;p_n¾Wjl_qvhwesnww v\]Q_qyZ\_¡Èknjljik²)glf\m_^f7qy~x
wy_q!
"!$#&%('*)+'*,(#-.('/+!$#&021
,+43 56#-)
)7(8*9
/5-:)
9;+'/ <!$#&=7,
'*>#/-
<!@?/ABCD
¾
EF
"!$#&%('*)+'*,(#-.('/+!$#&021
,+43 56#-
;8 7 G7-:)
9;+'/ <!$#*H7
HJI$#-
<!@?/AKBD
¾
LF
"!$#&%('*)+'*,(#-.('/+!$#1
/NMOM 7('#/-P
;8 7 G7-:)
9;+'/ <!$##/-:
<!@?/AKQD
µ
ÍrfLsnfhwy²_=~qkRsQ|ovh_^~x
('/+J!R 7
'*ST#1
,+(#
]QglmnZ7q+z{_
;8 7 G7 )
9;+'* <!$#$=7,
'&>#
"!@?/AKKII$?/ACK
) )7(8*9
/5 )
9;+'* <!$#&H7
4HJI$#
"!@?/ACKIIUQKKK
z{_=p=stvhwy_·w _=´n_^~stj_=foq~ygl_=wKO
7 snfh
E
SeZhs´n_QsL_=wp~gi\qyglknf.qyZhstq_^f7qsngijuweqyZ\_R|7v\_=~yx O±g@µ_nµl¾1qZ\_^x³st~_Q;k7wywygizhji_
snfhw ²0_^~w-S¾stfhqZ\_st\\jlgup^sqgikofsow ºwqyZh_vhw _=~!qykQ]·stºo_eZhglw)|7v\_=~yxR]Qko~y_\~_=p^glwy_ézGxwyv\momn_=w qyglf\mQw ko]Q_e~_^jl_^´snfoq)~_¿hfh_
]Q_^f7qw^µ rktqy_rqyZhstq
"!$#&%('*)+'*,(#
guwfhktq)s~_^jl_^´stf7q0~y_^¿hf\_^]Q_=foq0z;_Ep^snvhw _egiq0guwqy~v\_ékn¡OstjljW]QstqpZ\glf\mÂ_^f7qy~gi_Ew^µ%@hkn~
_=´n_^~x{kowwygiz\jl_stf;w ²0_^~
7
²_Z;s´n_
7(
WV ¾nsnfh¡Èkn~+_=´n_=~yx~y_=ji_=´snf7q+~y_^¿hf\_^]Q_=foqYXRqyZh_¡Èknjljik²)glf\m
Z\kojlhw
Anµ0qyZ\_=~y__^»Gguw qw)sQ{koww glz\jl_snfhwy²_=~
wyvhpZqyZhstq
Z&
YX{¾snfh
`µ0qyZ\_=~y__^»Gguw qw)sQ{koww glz\jl_snfhwy²_=~
E
wyvhpZqyZhstq
ZE/S[
YX{µ
Á¨f.ktqZ\_^~é²ko~\w=¾WsR~_¿hf\_=]Q_^f7qe]Âvhw qé~_=w qy~glpqrqyZh_«wy_qekt¡{koww glz\jl_Âsnfhw ²0_^~w)²)Z\gljl_«s´okngugifhm·qyk]Qsnºn_ÂgÀq_^]QqxoµÄ³_
²)gljijOf\ktq)mnkQstfGx·¡Èvh~ qZ\_^~)glfqZ\__Ewyp^~yglqyglknfkt¡UqyZ\guw)sth\jigup^stqyglknf O±wy_^_ >@U rntz̾@U r2AUBSµY!Z\__Ewywy_^f7qygustjÌguw0qykQf\knqy_eqyZ;sq
Anµ)_=wp~glqyglknfhw=¾O|7v\_=~ygl_=w=¾Ostf;.snfhw ²0_^~wez;_=jikof\mqykqyZh_Rwysn]«_Qjlknmoglp=stjjlsnf\mnv;stmn_o¾1²)Z\gupZ³p^kn]Âz\gifh_=wjlknmngup^snj9w xG]z{knjuw
stfhpkofhp~_q__»\~_=ww glknfhw0jlgiºo_wq~yglf\mow=¾fGv\]z{_^~w=¾kn~!gif7q_^~´snjlw=¾\stf;
`µ)sRwygi]Qgljlsn~ésth\jigup^stqyglknfL²)giqyZÃsR\gÀÏW_^~_^f7qéjlknmoglpp=stfIz{_gl]·stmnglf\_E̾;_oµm;µi¾h¡Èkn~é]Qsnf\gl\v\jusqyglf\mwykt¡¢q²!st~_pko]Q;kof\_^f7qw=µ
½Gkh¾Ggiq)glw0gl]«{kn~yqsnf7qqZhsq+stjljÌgiÏ{_=~y_=foq!jlknmngup^w!wyZhst~_és«pko]Q]«kofRglfoq_^~y¡±snp^_r¡Èko~0z{_^glf\mQstz\jl_éqykQ\~knmn~st] wy_^hsn~stqy_^jlx
qyZ\_f;s´7glmostqyglknfw xw qy_^] stfhqyZ\_jlknmoglpwyv\zhwyxwq_^] giq+vhwy_=w=µ
]\ ^A#/:/0" .=;
ij_Â_^¿hf\_qkGknjuw!¡Èkn~+zhv\gijuglf\mŤ¯¢¯V É
¤¦¨§©
É
¦Mª±£)qZ\_^ko~y_=] \~k´n_=~w¡Èko~«£^¤G¥¦¨§©«ªi¬E®R¯i§°nª±£¥µ+Y!Z\guw+guw)z{_=p^snvhwy_qyZ\_ rwy_^~+guw
f\knqswykn\Z\guw qygup^sq_=Ãjikomngupsnpqyko~=µ rktqy_QstjuwykqZhsqeqyZ\_éw _=~é]·sxz{_Qs\~knmo~sn] giqwy_^ji¡3r_oµm;µi¾Ìs]«koz\gljsnmn_=foq\~k´Ggif\m
;y|7vhstjlgÀqxÑkn¡ewy_^~´Gglp^_=\~kn{_^~yqygl_=wQsnwQgiqQqy~gi_EwÂqyk_»_=p^vqy_Lkof wykn]Q_LZ\kow qQwyxwq_^] >Á3EIGBµ Y!ZhglwQ~v\jl_=wQknv\q«glf7qy_^~snpqygl´n_
qZ\_^ko~y_=] \~k´n_^~w=µ
_snjigu\sqgifhmÂsqZ\_^ko~y_=] h~yk´o_^~zhv\gijiq!v\;kofRknvh~qk7kojlw]vhw q!z;_esnw0w gl]Q\ji_snw;k7wywyglz\ji_oµ½Gkn]Q_rºGglfh·kn¡1qxG;_^pZ\_EpºGgif\m
²0knv\ju.z;_Qgu_=snj@µ«Í+mosngifO¾WqyZ\guwglwz{_=p=stvhwy_ÂqyZ\_·Í+h\jigup^stqyglknf_=wyglmnf\_=~=¾WqZ\knv\moZÃ]Qkn~_Qw ko\Z\guwqglp=sqy_EqZhstf.qyZ\_éw _=~=¾Ìguw
f\knqrs«jikomngupesopqkn~Eµ
@Uglfhstjljixo¾qyZh_)~y_Ew v\jiqyglf\meqyZh_^kn~_^]"\~yk´o_^~wO]Âvhw qZ;s´n_!sep^kn]Q]Qknf«gif7q_^~y¡±snp_)wykeqyZhstqUqZ\_^x«p^snfÂz{_©·¹®n®n®!glf«mn_^fh_^~glp
sn\\jlglp=sqyglknf;w^µ (r_EvhpqgikofÂguw9_Epgu\stz\jl_0gifQstjljGqyZ\_!jlknmoglppkn]Q{knf\_=f7qwUqyZ;sq²_)_^¿hf\_nµ9½Gk;¾qyZ\_=xp^snfÂz{_)wyst¡È_^jlx_^]z{_=h_=
sow!z\jlsopº7Mz{k»_=w0gifsn\\jlglp=sqyglknf;w^µ
0 % ( U
Á¡+stfÑÍr\\jlglp=sqyglknf(é_=wygimof\_^~guwqkI_¿hfh_Rsp^vhw qykn]Qgl¶^_E.jlknmoglp«zGxIqZ\_·]Q_=snfhwkt¡)pko]Q;k7w glf\mL\~gi]Qgiqygl´n_Rpko]Q;kof\_^f7qw=¾
qZ\_=wy_pko]Q;kof\_^f7qwwyZ\kov\jl³z{_Rkt¡)s~stqyZ\_=~Z\glmnZjl_^´n_=jw kqZhsqqZ\_·~_=wyv\jÀqgifhmjikomngup«wyv\zhwyxwq_^]/p^stfz{_·\~k´n_^f.qykz{_
p^kn~~y_Epq=µÁ¨f;_^_E̾1gi¡qyZh_Â\~gl]«giqygl´n_·p^kn]Q;kof\_^f7qwésn~y_ÂqykGkjik²!ji_=´n_=j@¾W\~k´Ggif\mRqyZ\_·pko~y~_=pqyf\_Ewywékt¡qyZ\_Q~_=wyv\jÀqguwewygl]«gljust~
qk·\~yk´Gglf\m«qyZ\_Âpkn~~_=pqf\_=ww0kt¡9sQ\~knmn~st]Lµ½Gk;¾\²0__=p^gl_EqykR_^¿hf\_jlknmoglp=stj1pko]Q;kof\_^f7qw0qZhsqest~_e´o_^~xpjlkowy_qyk·z{_
jlknmoglp=wqZ\_^]·wy_^jl´n_=w=µ9½Gk«\knglf\mh¾7²_stz;stfhkofRpko]«hvqstqyglknfhsnj;_^»Gh~y_Ewywygi´Ggiqxn¾7z\vq!²_é²)gijljÌw _=_rqZhsq!\~k´Ggif\mÂpkn~~_=pqf\_=ww9guw
jlgÀqyqyjl_]Qkn~_rqZhstfqxG{_¨pZ\_=pºGglf\m O±g@µ_nµl¾\vhwyglf\m·sQ~yv\jl_jiglºn_
Sµ
év\~9gu_Esglwqykpkofhwygl_=~qyZhstqsjikomngup!gif7q_^~\~y_^qwgiqw¡Èkn~]v\jusnw9sowU¡Èv\fhpqgikofhwkn¡;qZ\_^gl~stqykn]·w=µ0x«stzhw qy~snpqyglf\msqyko]Qglp
¡Èko~y]Âv\jlsow¡È~yko] qyZ\_justfhmnvhsnmn_rkn¡Us«jlknmngupé²_knz\qstglf²)Zhsq)²0_p=stjlj1s¯i§y°nª±£Å¤Æ{£^¦§tǵÍCjlknmoglpé¡Èv\f;pqyko~+p^snfz{_st\\jlgl_=qyk
sjikomngup!qyk¡Èkn~] sf\_^² jlknmoglpnµ@hkn~gifhw qsnfhp_o¾ogi¡O\~kn{kowygiqyglknfhsnj\jikomngup+guwsnzhw qy~snpq_=«k´n_=~giqw0sqkn]Qglp)¡Èkn~]v\jusnw=¾o²0_rkozqsngif
s·jlknmoglp¡Èv\fhpqkn~ep^stjljl_= *¾;²)Z\gupZ²0_p^snfIst\\jlxqykh¾Wwsxn¾;sQjlknmoglpknfglfoq_^~´stjuw0D#{¾hqk·¡Èkn~]&\~yko;k7w giqyglknf;stj1jlknmoglp
kofglf7qy_=~y´stjuw=¾ *0Dµ
6 $
ij_¡Èkn~]·stjljix _¿;f\_LqyZ\_.pjusnwwQkt¡jikomngup^w·sowRwq~yv;pqyvh~y_Ew^¾0²)Z\kowy_Is»glkn]·w·st~_L]Q_^~_^jlx¼qxG;_.s»giko]·w^µC½_=pqgikof ¼stfh
Ír\;_=fhgi»LÍÎh~y_Ew _=foq)_^»sn]Q\ji_Ew0kt¡jikomngup^w=µ
Ó ±× w xGf7qst»"! #ªu¥
É
®n^Æh¤©·Ç
É
¹^¯i¥^¦0§ Å%$
É
¹¥¦MÇ
É
£¦¥UVÆh¦
É
¦@Çy§Å'&rŧǩ«¤¯
É
¥)(
Í"¥^©
É
Æ;¦@ª±£¥snww kpgusq_=wqyk_EsnpZ·¡Èko~y]Âv\jusswyv\zhwy_q!kt¡OsnfIª¢Æh¦¨ÇR WÇy^¦
É
¦@ª±§tÆ.®n§t©
É
ª¢Æ²)Z\_=~y_rqyZ\_é¡Èkn~]vhjlsguwqy~v\_rkn¡Ostjlj
_=ji_=]«_=f7qw=µY!Z\glw+²0sx·kn¡Oqy~_=stqyglf\m«¡Èkn~]v\jusnw!sow!v\fhst~xR\~_=\glp=sqy_guw)stºGglfqk·_=wp~gi\qyglknfjikomngup^w >(e e½=EI BMµ
Ó ±×+*-,!ª/.Æ
É
¥UVÆh¦
É
0! #21
É
wy_^]·stf7qygup^w3#¹
É
¥^®§tÆ4! #Ϊu¥
É É
ª¢Ç57698:;1=<ËhÇ
>
6êu¥¦ÈË\Âglfoq_^~\~_qstqyglknfkn]·stglf?1
>
0@4A4B6%CD! #E;1F$G<Ë\^Çy2A47HI®oÆW§¦¨¥¦¢Ëh h§J<^ÇÊ¥^¦!§Åe¥^^¦H&19ªu¥
É
wystqyguw¡±sopqyglknf~y_=jlstqyglknf¼¹¦<Æê¢Æh¦¨ÇR WÇyÊ
¦É
¦@ª±§tÆ\¥
É
ÆW®+ŧtǩ¤¯
É
¥)(
LKÇy
É
®¥IM?Rªu¥
É
]«k_=j§Å%KON7( §Ç).ÇUVQŧǩ«¤¯
É
KP@Q! #O1 RSK? UT#E@V6 KWЮoÆW§¦¨¥¦ÈË\¥^^¦§Å
É
¯¢¯©·§=®o¯Þ¥§ Å)ŧǩ«¤¯
É
K( §Ç).ÇUVŧtǩ¤¯
É
¥5K8YXZ@[! #21
É Æ _^f7qsngijl]Q_^f7q~y_=jlstqyglknf ªu¥®nB\Æ{®
É
¥VMKÎÆ;¦
É
ª¢¯Þ¥:XNª]
RSK?O^_RS`Xa'(
f7qstglji]Q_^f7qguwfh_^´n_=~vhwy_=«¡Èko~y]·snjijlxglfQqyZ\guw0st~yqygupjl_n¾nzhvq²0_+z;_=jigl_^´o_+giqmngl´n_Ew9smnkGkQglfoqv\giqyglknf·kt¡Ìkov\~´o_^~x¡È~y_E|7v\_^f7q
vhwstmo_kt¡OqZ\_glfhpjlvhwygikofkn¡Uwy_qw!kt¡]«k_=jlw=µ
Y!Z\_L¡Èko~y]Âv\jusnw·_^¿hf\_LqyZh_Ijikomngupjlsnf\mnvhsnmn_o¾qyZh_Iw _=]Qsnf7qygup^w·_^¿hf\_=wgÀqw·glfoq_^~\~_qstqyglknf1¾0stfh snf ª¢©# {¯l©·Æ;¦
É
¦@ª±§tÆ
_^¿hf\_Ew!Z\k²ðqyZh_ejlknmoglpégl]«hji_=]«_=f7qw)stf³ª¢Æh¦¨^ÇÈÅ
É
£0qyZ;sq)glw!p^kn]Q]QknfRqk·stjljÌjikomngup^w=µUY!Z\guw)pko]Q]«kofglf7qy_^~y¡±snp^_ep^kn]Q\~glwy_=w!s
_EvhpqyglknfL~y_=jlstqyglknf1¾\sQp^knfv\f;pqyglknfO¾hsQglw±v\fhpqyglknf1¾;sqstvqknjlknmoxn¾stfhLsQpkof7qy~sngupqgikof1µ
Ó ±×_b,!ª/.Æ
É
¥UVÆh¦
É
I! #
É
ÆW®
É
¥UV©·¹§t¯Ec! 9 JKdc
[
@e! #21
É
Ƽgl]Q\jl_^]Q_^f7qstqyglknfgf ¹ É
¥^®Ð§tÆh! # ªu¥
Éji
Ê
¦M¤! {¯i0Ykl8nmo8;po8nq08;r:;1=<ËhÇ
> k @"A47! #[CV! #=ªu¥¦¢Ëhr_EvhpqyglknfL~y_=jlstqyglknf?1
>
mo8;ph@V! #[C"!3#tsu! #vwT#! 9 KW
É
Çy¦ÈË\épkofv\fhpqyglknf
É
Æ{®R¦¢Ëhrguw±v\fhpqgikof?1
>
q08;rU@"!3#vxT! 9 JKW
É
Çy¦¢Ëh)qstvqknjlknmox
É
ÆW®R¦ÈË\rpkofoq~sogupqyglknf(
é{_^~sqgikofhw"k¾ym¾zp¾zq¾yr st~_stjlj+_¿hfh_= knf qyZh_Iw xGf7qst»Ðkt¡w ko]Q_jlknmoglpn¾qZ\knv\moZ qyZ\_=xÐst~_Lf\ktqRf\_Ep_Ewywst~gijlx
p^knf\f\_Epqgi´o_=w·kn¡eqZ\_Ijlknmoglpn¾!wygl]«hjix z;_Ep^snvhw _LqZ\_Ãp^knf\f\_Epqgi´o_=w·kn¡sjlknmoglpL]·sx z;_Ã\gÀÏW_^~_^f7qR¡È~kn] qyZ\_Ew _Ãkn{_^~sqyglknf;w^µ
½Ggl]Qgijust~jlxn¾GqyZh_w xGf7qst»stfhqyZh_w _=]Qsnf7qygup^w!]·sx_^¿hf\_|7vhstf7qgÀ¿h_=~w=¾7qyZ\kov\mnZqZ\_^xsn~y_snzhw _=f7q0¡È~kn] qyZ\_glf7qy_^~y¡±snp^_nµ
rktqy_rqyZhstqqZ\glw0pko]Q]«kofRglfoq_^~y¡±snp^_rp^snfRz;_égi]Q\jl_^]Q_=foq_=hst~yqygustjljixOÈzGxQvhwygifhm ! 9 JK S9gi¡1gÀq!guwpkofG´n_^fhgi_=foqEµ0_Ep^stv;w _
qZ\_gif7q_^~y¡±snp_guw!qyZh_wysn]«_e¡Èko~)_^´n_=~yx·jlknmoglpn¾mn_=f\_^~glpéjlknmngupzhsow _EwyxGw qy_=]·w)p^stfz{__=wygimof\_=_=sow gljlxnµ
Ó ±×|{e ¯i§y°nª±£3}ªu¥
É
¦@Ǫ W¯i5B! #?~=8#?~8f~;1o<Ë\^Çy3! #?~ ªu¥$¦¢Ëh
É
¹¥¦MÇ
É
£^¦¥-VÆ;¦
É
L§Å'&
É
¥^¦)§Åŧǩ«¤¯
É
¥;1#?~
ªu¥
É
¥^©
É
Æh¦Mª±£¥¹
É
¥^®§ÆD!3# ~ 1 É
ÆW®f ~ ªu¥
É
ÆIª¢©# {¯i^©·Æ;¦
É
¦@ª±§tƹ
É
¥^®§tÆD!3# ~ (
RË\^ÆÆW£¥¥
É
ÇUV1¦¢Ëhé¥
É
¦@ªu¥ÈÅ
É
£¦Mª±§ÆLÇy^¯
É
¦Mª±§ÆH § Å
É
¯i§°tª±£2}<9ª¢¯¢¯Ì¹3<9Ǫ¢¦M¦¨Æ5 ~ 1¦ÈË\骢Æh¦¨ÇR WÇy^¦
É
¦@ª±§tÆ®o§©
É
ª¢Æ 6V<9ª¢¯¢¯
¹5<9Ǫ¢¦@¦¨ÆD6 ~ 1¦ÈË\©Q§E®n^¯Þ¥zRSBK?<9ª¢¯¢¯U¹l<9Ǫ¢¦M¦^Æ"R ~ K?;1
É
Æ{®
É
£Ë.§ hÇ
É
¦Mª±§Æ *h<9ª¢¯¢¯U¹<9Ǫ¢¦@¦¨Æ:* ~ (
Á¨fkoz_=pqOkn~gi_=f7qy_=eq_^~]·w^¾=qyZ\guwO¡Èkn~]Qws+pjusnww9¾²)Z\gupZpko]«h~yguw _Ew1s+wyjiknq1¡Èkn~OqyZ\_qxG;_kn¡\stfglfoq_^~fhstjo~y_=\~_=wy_^f7qstqyglknf1¾
snfhwy_^´o_^~stj{]Q_qyZhkGhw!¡Èkn~)sQ_=\vhpqgikof~_^jusqgikof1¾s«p^knfvhfhpqgikof1¾\sQglw±v\fhpqyglknf1¾\sÂqstvqknjlknmnxo¾stfhsQpknf7q~soglpqyglknf1µÍ
jlknmoglp:} glwrw gl]Q\jixstfLgif;wqstfhp^_ekn¡OqZ\glwrpjusnww^µ
(é_¿hfhgÀqgikofRw Z\k²+wUqZhsqko;_=~stqyglknfhwEm¾ap.p^stfQz{_)hst~yqygustjljlxÂ_^¿hf\_=1¾ostf;qZhsqkn{_^~sqyglknf;wq¾ar p=stfQz{_+v\fh_^¿hf\_E̵
Ó ±×P ¯i§y°nª±£ªu¥hst~yqygustjéªÅ^ª¢¦¢Ëhǧ hÇ
É
¦@ª±§tÆ\¥ m §tÇ p §Ç¹§t¦¢Ë
É
Çy
É
ǦMª
É
¯¢¯VÑ®nB\ÆW® (¦eªu¥·¤Æ{¹§¤ÆW®n®ªÅ
^ª¢¦¢ËhÇ«§ hÇ
É
¦@ª±§tÆ\¥3q&§Ç r&§tǹ§t¦¢Ëªu¥¤Æ{®nB\ÆW® (
ÆI¦¢Ëh§- I h§¥ª¢¦¨«£
É
¥ 1 É
¯i§y°nª±£Âªu¥Çy¥R h£¦Mª/.^¯V£
É
¯¢¯i®Lqyknqsnj
É
ÆW®Lz{knv\fh\_=(
RË\^ÆÃÆW£¥¥
É
ÇUV1=<©
É
ª¢¦ WÇy£ªu¥^0ŧÇl<˪±£Ë³§ h^Ç
É
¦Mª±§Æ
É
¯i§°nª±£ªu¥¦¨§¦
É ¯I
É
Ǧ@ª
É
¯(
YktqstjWjikomngup^w!st~_rv;w vhsnjijlx·\~_¡È_=~y~_=̾Gz{_=p=stvhwy_rqZ\_^x]Qsnºn_st\hjigup^stqyglknfhw!wygi]Q\jl_^~E¾w glfhp_eqZ\_^x\kÂf\kQZhs´o_+qkÂq_=w q!¡Èkn~
! 9 JKUµ9½G_=pqyglknfQhµÞ`wyZ\k²+wUqyZhstqqyZh_+\~kn{kowygÀqgikofhstjGjlknmngup0¡Èv\fhpqyko~st\hjigl_=«qkshst~yqygustj\jlknmoglp!snji²!sxw9pknf;wq~yvhpqw9seqktqsnj
jlknmoglpnµ
Y!Z\_=~y_·guwfhkIpknf;wq~sngif7q=¾U_»\p^_^q¡Èko~qyZh_^gl~qxG;_Ew^¾knf²)Zhstq4k¾=m¾=p¾Eq¾=r p=stfÑz{_nµI½Gk;¾²0_R_¿;f\_sf\knqyglknfkt¡
£§Æh¥ªu¥¦¨^Æ{£VstfhУ§t© W¯i¦¨^Æ{¥¥!qZhsqe~y_=jlstqy_=w+qyZ\_«w _=]·stf7qygup^wéstfhqZ\_gl]Q\ji_=]Q_^f7qstqyglknfIkn¡9sjikomnguptµ+Y!Z\_Ew _f\ktqgikofhwrsn~y_
_^¿hf\_E~_=wy{_=pqgi´o_^jlx·¡Èkn~)_EsnpZkn{_^~sqgikofkt¡9stfgl]«hji_=]«_=f7qsqgikof1¾\stf;kof\jlx·¡Èkn~!qZ\__¿;f\_=hsn~ q)kt¡qyZ\_=]Lµ
Ó ±× ¦g} ¹
É
¯i§°nª±£'( éƪ¢© W¯i©·^Æh¦
É
¦Mª±§Æ f ~ ªu¥ pkofhwyglw qy_=foqu$Çy¥ ( p^kn]Q\jl_q_ &ª¢Æ § h^Ç
É Ê
¦Mª±§Æ:*@ITkl8;q08nr08;mo8;pEW <E(lÇ)(l¦( É
¥^^©
É
Æh¦Mª±£¥z# ~ ª]
ŧtÇ
É
¯¢¯dK8YX@! # ~
>
?* kzeKxkhX R ~ BK?O^+R ~ /X $Çy¥R ?(2R ~ BK?O^+R ~ /X KwkjX&1
>
?* Qq: q ªu¥®nB\Æ{®
É ¯< É
V¥Â£§tÆ\¥ªu¥¦^Æh¦ $MÇ¥R ?(2R ~ Gq: g6 &1
>
?* Qr: r ªu¥®nB\Æ{® Rt~Gr: t$Çy¥R ?(
É ¯< É
V¥«£§©# {¯i^¦¨&1
>
?* Qm K%mX.ªu¥®nB\ÆW® Rt~ K mX O^_Rt~ K?DRj~/X
$Çy¥R ?(2K mX³ªu¥®o7\Æ{® Rt~ BK m Xa+Rt~ BK?VRt~ `Xa& 1
>
?* Qp K%pX.ªu¥®nB\ÆW® R ~ K pX O^_R ~ K?vDR ~ /X
$Çy¥R ?(2K pX³ªu¥®o7\Æ{® R ~
BK p Xa+R
~
BK?vVR
~
`Xa& (
Qé¥
É
V¦ÈË
É ¦ É
ƪ¢©# {¯i^©·Æ;¦
É
¦@ª±§tƪu¥p^knfhwyguwq_^f7q $MÇ¥R ?(pko]Q\ji_^qy_)&ª] ª¢¦9ªu¥£§Æh¥ªu¥¦¨Æ;¦y$Çy¥R (飧©# {¯l¦¨ &«ª¢ÆL¦¢Ëh\=.
§- \^Ç
É
¦Mª±§Æh¥)("«
É
¹=¹^Çy).=ª
É
¦DMf~ ªu¥£§©# {¯i^¦¨Ì£§tÆ\¥ªu¥¦^Æh¦0ª¢Æ *[<E(lÇ)(l¦G(2#?~ON+ª¢ÆhM*9~ ªu¥£§©# {¯l¦¨Ì£§Æ\¥ªu¥¦¨Æ;¦N7(
rktqy_qyZhstqegiqéguwé_=snwyxqyk]Qsnºn_snfIgl]«hji_=]«_=f7qsqgikofÃpkofhwyglw qy_=foqstfhÃpkn]Q\jl_q_¡Èko~rqZ\_Âjusnw qr¡Èkov\~rko;_=~stqyglknfhw:m¾p¾
q¾r¾WzGxºo_^_=\gifhmRqyZh_^] v\fh\_¿hf\_E̾Wz\vqeqyZ\_=fIqZ\_Âgl]Q\jl_^]Q_^f7qstqyglknfIguwekt¡jlgÀqyqyjl_Âv;w _oµ rktqy_Qstjuwyk·qyZhstqspkofhw guw qy_^f7q k
p=stfstjl²0sxwz;__^»Gqy_^f;_=glfoqk·sÂ;st~yqygustjÌkn~_=~0z{_=p=stvhwy_gÀq+guw+p^knf7qsngif\_Eglf ^µ
Á¨fmn_=f\_^~stjM¾1pkofhwyglw qy_=foqsnfhpkn]Q\jl_q_·jikomngup^wst~_Q\~_¡È_^~~_=ÃqykL_^fhwyv\~_«qyZhstq_»;_Epq_=stfhwy²0_^~w^¾1wy;_Epgi¿h_=³zGxIqZ\_
wy_^]·stf7qglp=w^¾\snfhsopqvhstj1snfhw ²0_^~w=¾Gwy{_=pgi¿h_EzGx·qZ\_gl]«hji_=]«_=f7qsqgikof1¾\]·sqpZ1µ½Gkh¾hgifqyZh_=wy_eh~y_^¡È_^~~y_Ejlknmoglp=w0\_=vhpqyglknf
p=stf z;__^»7q_^fh\_= gif7qykÑs.hst~yqygustj)ko~\_^~Eµ H+k²0_^´o_^~E¾w ko]Q_jlknmoglp=wQ_¿hfh_= knf pknf;p~_qy_Lko]Qsngif;w·st~__^¿hf\giqy_=jix¼fhktq
p^kn]Q\jl_qy_oµ½Gkh¾\snfLgi]Q{kn~yqstf7q)guwywyv\_glw+Z\k²ðqyk·zhv\gijuLpko]«hji_^qy_jikomngup^w!²)giqyZpko]Q;kof\_^f7qw0qZhsqrsn~y_ef\knqrpkn]Q\jl_q_nµ
YkRqZ\_¿h´o_ko;_=~stqyglknfhwrkt¡stfÃgi]Q\jl_^]Q_^f7qsqyglknfO¾{²0_]Âvhw qesnhIsqji_Esnw qésR;st~w _=~éstf;IsR\~glfoq_^~r¡Èkn~eZhstfh\jiglf\mRqZ\_
p^knfhp^~y_^qy_wyxGfoqs»Lkt¡9¡Èko~y]Âv\jlsow^µrÁ¨fh_^_E̾ÌstfIsn\\jlglp=sqyglknf]·sxLZhs´o_qykglf\\v\q&kovqyhvqé¡Èko~y]Âv\jusnw)glf.s·~_=so\stzhji_¡Èko~y]·stq=µ
Hrk²_=´n_^~E¾²_Lk.f\ktq·pkofhw gu_=~qZ\_^]-¡Èv\~yqyZh_^~·snwqyZ\_=x¼k³f\ktqQp^stv;w _stfGxÑjikomngup^snj\~knz\jl_^]Lµ éf¼qZ\_Lpknf7q~sn~yxo¾qZ\_
¿h´o_Âjlknmoglp=stjkn{_^~sqgikofhwPO±_Evhpqgikof1¾Op^knfv\f;pqyglknfO¾OguwÈv\f;pqyglknfO¾Ìqsnvqykojikomnxn¾ÌsnfhÃp^knf7qy~sngupqgikofSést~_ÂsqqZ\_·pkn~_kn¡0s
p^knfhw qy~vhpq_=jikomnguptµ
6R ,A#+# 1=.$
Oknmngupr¡Èv\fhpqkn~w)stjuw k«Zhs´o_esQwyx7f7qs»Ì¾s«wy_^]·snfoqglp=w^¾snfhsnfgl]Q\jl_^]Q_^f7qstqyglknf1¾zhvq)qyZ\_=xst~_stjlj1stzhw qy~snpqy_=k´n_=~kof\_kn~
]Qkn~_jlknmoglp=w1qZhsq9st~_p^knfhwygu_^~_=sow1¡Èko~y]·stj7hsn~sn]«_^qy_=~w=µ1ij_¡Èko~y]·stjljlx\_¿hf\_qyZh_0p^jlsowywkt¡hjlknmoglp¡Èv\fhpqykn~wUsnwUwq~yvhpqyv\~_=w=µ
½G_Epqgikof·snfhÍr\{_^fhgi»ð\~_=wy_^f7qw!_^»sn]Q\ji_Ew!kt¡Ujikomngupr¡Èvhfhpqkn~w^µ
begl´n_=fqZ\_p^jlsowywÌkn¡7jlknmoglp=w^¾EjlknmngupU¡Èv\fhpqyko~w1sn~y_¡Èvhfhpqgikofhw1kn¡7qxG{_xs+µOÁ¨fkoz_=pq1kn~gi_=f7qy_=éq_^~]Qw=¾EqyZ\guwO\_¿hf\_EwOs
¦¨©# {¯
É
¦¨1µ@hkn~qyZ\_)wstºo_kt¡;v\f\gi¡Èkn~]«giqxn¾jlknmoglp=wsn~y_!pkofhwygl_=~y_Esnwjlknmngup¡Èv\fhpqkn~wU²)gÀqZÂst~giqxPO±shµºWµs\µsqkn]Qgup¡Èv\f;pqyko~w=¾
ko~)f7vhjijust~xRjlknmngupr¡Èv\fhpqkn~w Sµ
Íéwywyv\]QgifhmqZ\_·pjusnwwékn¡stjljwyx7f7qs»_=wéglwe²)~gÀqyqy_=f¾1qyZhstqkn¡stjlj9w _=]·stf7qygup^weguw²)~ygiq q_^f¾\stfhÃqyZ;sqkt¡0snjijgl]Q\ji_^
]Q_^f7qsqyglknf;w)glw+²)~ygiq q_^f ³qyZ\_wyxGf7qs»kt¡9sÂjlknmoglpe¡Èvhfhpqkn~+guw+wygi]Q\jlxs¡Èv\fhpqyglknfkn¡qZ\_wyx7f7qs»_=w0kt¡UqyZh_jikomngup^w0qZhsqrsn~y_
hsowywy_=qyk·giqrstf;~_qv\~yf;w0qyZ\_wyxGfoqs»Rkn¡qZ\_~y_Ew vhjÀqgif\mQjlknmoglpnµ
Ó ±×P¥¥¤©«ª¢Æ7°¦ÈË\·£^¯
É
¥¥«§ Å
É
¯¢¯U¥UVÆh¦
É
G¥ªu¥5<9Ǫ¢¦M¦^Æ =10¦ÈË
É
¦)§ Å
É
¯¢¯O¥^^©
É
Æh¦Mª±£¥Âªu¥5<9Ǫ¢¦@¦¨^Æ =1
É
ÆW®¦¢Ë
É
¦+§Å
É
¯¢¯Oª¢©# {¯i^©Q^Æh¦
É
¦Mª±§Æh¥ªu¥l<9Ǫ¢¦@¦¨Æ =1
É
¯i§°nª±£Å¤ÆW£¦¨§Ç&ªu¥
É
¦MǪ {¯l0B! #F8#28f=<Ë\^Çy
>
¦¢Ëh
É
¹¥¦MÇ
É
£^¦¥UVÆh¦
É
0! #Cªu¥
É
ŤÆW£¦Mª±§Æ³§Åe¦V h s =19¥¤h£Ë¦ÈË
É
¦!3#
~ ~
! #y7! #~
88!3#?~
>
¦¢Ëh¥^^©
É
Æh¦Mª±£¥z# ªu¥
É
ŤÆ{£^¦@ª±§tÆ.§Å¦RV h 3s d1¥¤h£Ë¦ÈË
É ¦ # ~ ~
# B# ~ 88;# ~
>
¦¢Ëhª¢©# {¯l©·Æ;¦
É
¦@ª±§tÆDf
ªu¥
É
ŤÆW£¦Mª±§Æ§Å¦RV \ %s19¥¤h£Ë¦¢Ë
É
¦f
~ ~ f
Bf
~ 88f
~ (
Í jikomngup·¡Èv\f;pqyko~ÂglfÐgiqwy_^ji¡rguw«f\_^giqyZ\_=~Â;st~yqygustj0kn~ÂqyktqstjM¾9v\fGz;kov\fh_E¼ko~Âz{knv\f;_=̾pkn]Q\jl_q_ko~Âv\f;pkn]Q\jl_q_n¾fhkn~
p^knfhwyglw qy_=f7qkn~Âgifhp^knfhwyguwq_^f7q=µLÁqÂguwqZ\_jlknmoglp=wqyZ;sq«sn~y_·zhv\gijiqQ²)gÀqZ¼sjikomngupQ¡Èv\fhpqyko~qyZ;sq«p=stfÑz{_|7vhsnjigi¿h_=³qZ\guw²!sxnµ
Hrk²_=´n_^~E¾GgÀq+guw){koww glz\jl_eqyk·wqsq_qyZhstq!gi¡s«jikomngup3} Zhsow)w ko]Q_eh~yko;_=~ qxo¾oqZ\_^f B}o0Zhsow)w ko]«_knqyZ\_=~)\~yko;_=~ qxoµÁ¨fqZ\_
¡Èkojijlk²)gifhmh¾qZ\_)_¿hfhgÀqgikof«kn¡;_=´n_^~xf\_=² jlknmoglp¡Èv\fhpqykn~glw9sop^pko]Qhstf\gl_=²)gÀqZ«qyZ\_=kn~_^]·wwqsqyglf\mv\fh\_^~9²)Z\gupZ·pknf;gÀqgikofhw
qZ\_~y_Ew vhjÀqgif\mQjlknmoglpeguw0qyktqstjM¾hpkofhwyglw qy_=foqE¾kn~)pko]Q\ji_^qy_oµ
Y!Z\_Ew _qZ\_^ko~y_=]Qw«Zhs´o_snjij!qZ\_L¡Èkn~]$ #D } 9?!"# 7}Oµ Ä._p^knfhwygl\_^~QqyZh_^] sow«qx7{_
sowywygimof\]Q_^f7qw=¾! $ #Ds 9?!"#9µ½Ggl]Qgijust~jlxn¾1qktqstjlgÀqx&p^knfhwyguwq_^fhp^x.&tpko]«hji_^qy_^fh_=wwr\~kn{_^~yqygl_=wkofjikomngup^w
sn~y_p^knfhwygu_^~_=ÑsowqxG;_Lsnwwygimof\]Q_^f7qw=¾}" "* o¾wykqyZ;sqÂh~yk´Gglf\mqyZ;sq# B}oZhsnwÂw ko]«_\~kn{_^~yqxÃ~_^mosn~\gif\m
qktqsnjigiqxn¾;pknf;w guwq_^fhp^xn¾Gkn~+p^kn]Q\jl_q_^f\_Ewyw=¾glwrw gl]Q\jixRqykQqxG;_^pZh_=pº·giq=µ
$ % *.O^ (
ij__^¿hf\_sLfGv\jljlsn~yxÃjikomngup«¡Èv\fhpqkn~snfhsL\~kn{kowygÀqgikofhstj9v\f;st~xÃjlknmngup¡Èv\fhpqykn~E¾stfh³²0_·knzhwy_^~´n_«qyZ;sqÂp^kn]Q\jl_qy_=f\_=ww
]·sxf\ktqe\~ykohstm7sq_²_=jijU²)Z\_^fò_p^kn]Q{kowy_qyZ\_=]Lµrij_glfoq~ykv;p_ÂsRf\_^²\~kn{_^~yqxn¾{p^snjijl_=ÑÇ®t¤h£®tÆ{¥¥¾;qyZ;sqéZh_^jlhw
p^kn]Q\jl_qy_=f\_=ww\~ykohstm7sq_´7gusÐp^kn]Q{kowygÀqgikof kt¡jlknmoglpL¡Èvhfhpqkn~w^µ:@\~kn]f\k² knfO¾+qyZh_._^¿hf\giqyglknfhwLst~_Ã_^¿hf\giqyglknfhwkt¡
glfhw qstf;p_=w!kn¡ kn~ ̵
> & 1=/:$
éf\_«kt¡9qZ\_Q]Qkow qewygi]Q\jl_Âjlknmoglp²_«p^snfÃgl]Qsnmnglf\_guwéqyZ\_«jlknmngupkn¡v\f\~_^jusq_=Ãstqyko]Qw(' D*).µY!Z\_Ew _Qsqkn]·wévhw v;stjljixL\jusx
qZ\_~ykoji_kn¡Usqkn]Qgupr¡Èko~y]Âv\jusnw!glf]Qk7wq)kt¡ºGf\k²)fjlknmoglp=w\~kn{kowygiqyglknfhsnj@¾7¿h~wqyMko~\_^~E¾G\_=wp~giqgikof1¾_qptµ
Ó ±×,+Q!3#-.0/21 ªu¥
É
¥^^¦!§ Å
É
¦¨§©&Æ
É
©Q¥)(
Ó ±×,3P# -.0/1 ªu¥7698:l<ËhÇy 6 +A47!3# -.0/21 É
Æ{® 4'ê]5'4@ n(
Y!Z\_gi]Q\jl_^]Q_^f7qsqyglknf~y_
_=pqwWqZ\_¡±sopqOqZhsqOqyZ\_0sqyko]·wÌz;_=gifhmrv\f\~_^jusq_=eqZ\_^xé¡Èkn~] snfstf7qygi¨pZhstglfe¡Èkn~1qZ\_\_=vhpqyglknf
~_^jusqgikofNO@s«wy_q+²)Zh_^~_efhk«;stgl~)kt¡_^jl_^]Q_^f7qw)p=stfz;_ko~\_^~_=Sµ
Ó ±×76Qf -.0/1 ªu¥Ykl8;mo8npo8;q08nr::<Ë\^Çy0ŧÇ).^ÇUV8'8:9z@! # -.0/1
;
'k9ǻ]5'<9
;
':m=9'5':p>9@?
' ªÅ'49
! 9 K *AJD
; q É Æ{® r É
Çy¤Æ{®o7\Æ{® (
BDC ÓG×
Ó
+fE-.0/1 ªu¥£§tÆ\¥ªu¥¦^Æh¦
É
ÆW®£§©# {¯i^¦¨ª¢ÆIk:1q51r51mE1p<E(lÇ)(l¦G(2#-.0/21%(
F ×1×G 1_qH'89+z{_sqkn]·w!gif!3# -.0/21 µ
I Ø Ó Øn
±×KJ
_^giqyZ\_=~H'49GL'k9rglw0q~yv\_o¾hstf;"RSM'O^+RSM9)¾
ko~N'
[
<9GK'k9+guw!¡±stjuwy_n¾\stf;xT*' Wl@xRS0'a 8 TO'9WQP@RSM9 RS0'aSR_RST9 µ
I
= × !×UhÔ Øð × ^\Ø t ±×VJÃq~yvh_ez{_=p=stvhwy_5qsnfhxrst~_v\fh_^¿hf\_E̵
I ×XW n ±× Ø Ø W t @×9KJIÁ¡V':m>9rguw+_¿;f\_=̾
qyZ\_=f'3m=9'snfh='<9'uRS0'lmQ9 RS0'a RS0'a VRSM9 µ
}~k7kn¡O¡Èko~+glw±v\fhpqyglknfLguw+w gl]Qgijust~Eµ Y
Á¨f³w v\]Q]·st~xn¾?fV-.0/21 guwef\ktqz{knv\fh\_=Ãsnfhguwehst~yqygustjUgif.z;knqyZpkofv\fhpqyglknfÃsnfhÃguw±v\fhpqgikof1¾Ìz\vqgiqeguwpkofhw guw qy_^f7q
snfhLpkn]Q\jl_q_²µ~EµqEµE#-.0/21µ