HAL Id: inria-00074073
https://hal.inria.fr/inria-00074073
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
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,
A Front-End Generator for Verification Tools
Rance Cleaveland, Eric Madelaine, Steve Sims
To cite this version:
Rance Cleaveland, Eric Madelaine, Steve Sims. A Front-End Generator for Verification Tools. RR-
2612, INRIA. 1995. �inria-00074073�
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
A front-end generator for verification tools
Rance W Cleaveland , Eric Madelaine , Steve Sims
N˚ 2612
Juillet 1995
PROGRAMME 2
+-,/.10324 56728,:9;2<6=,/.1>?@ACB%D70FEG,/>12<6=,8D7.12H?%?-@JILKM2<9;2NILD7OQPR?
SUT*VXW3TMY<Z[Z#\^]-_a`Y<bdcMebJfhg/ZiV3bkjmle\8n/oT*VXW3TMY<Z[ZFY<p%jdV3qr\MpWXsMqjm\bdVXW3jmcMjm\Mb
StTuV<v%\Mpwx\ujyv%\
zY<ooV3T%p{|\}T*\c%~\MT*c%~\q]X3]_ 8e|jbkbm\Mp3XX-_ ]Xo1Y3WX\f
r$M:3XX
~jmfUo1Y<o\MT{\fcuT%jki\fUp%~\SUT*V/c\f%fbdWX\MiTMY^`V3Zo|jbd\uTS1`MnLY}T*V3q/p ¡\uq{
WX\uq\uTMY<puV3TV3THoT*Vc\f%f! ¢Y<bdWX\MiTMY< i1Y3f%\{£\uTj¤c:Y<p%jdV3q'puV/V3bdf¥$¦}jk£\uq{\f%cuTjopjmV3qfV3YoT*Vc\f%f
Y<bmWX\MiTMY§¨fUcV3qcuTu\up*\Y<q{Y<if!p%TMY3cMpUf!gq/pY<©Y<q{f\uZFY<qp%jmcfUY3fUf!pT%ecMp%eTMY<bV3o\uTY<p%jmV3qY<b/T%e|bm\fn
p%~\-S`ªoT*V{Lec\ffhg/qpMY3cMp%jmcT*V3epjq\fY<q{NeqcMp%jmV3qfCV3TcV3Z[oep%jkqWp%~\-f%\MZrY<qp%jdcfV3
oT*VXW3TMY<Z#f[jq«p%~\¬Y<bmWX\MiTMY¥f!jqW®p%~jdfp*V/V3bW3Tu\<Y<p%bkg¯f!jkZ[objk¤\fp%~\NpMY3fh°¯V3Y3{Y<o|p%jqW
£\uTj¤c:Y<p%jdV3qNp*VV3bmfp*Vp%~\ Y<q1Y<bkgLfhjmfV3f!gLfhp*\uZ#f{\fcuT%jki\{#jqQ{Ljk±1\uT*\Mqpb7Y<qW3e1Y3WX\f<²jkpZFYug
p%~\MT*\MV3T*\Ci\ef%\{p*VY3c%~jd\M£\}fV3eT*c\u bd\u£\Mb1cV3ZoY<p%ji|jbkjp¢g^i\Mp´³\\uq#{Ljk±1\uTu\uqp£\MT%jk¤c:Y<p%jmV3q
p*VV3bmf¥bp%~V3eW3~rp%~\}jkqjkp%j7Y<b1£\MT%jk¤c<Y<pjmV3qFp*V/V3bdfCpMY<TuWX\up*\{µigrp~\S`Y<T*\-wQ ¶ Y<q{
p%~\Q`CV3qcMeT%T*\MqcMg¸·¹V3T%°i\Mqc%~Hnp~\rf!pT%ecMp%eT*\#V3p%~\NS1`ºc:Y<p*\MT*fV3T[p%~\Ff!eooV3T%pV3
V3p%~\MTp*VV3bmfY3f³C\Mbkb¡¥
»x¼8½¾!¿À3Á$Â £\MT%j¤c<Y<p%jdV3qp*VV3bmf<nÂoT*Vc\f%fY<bdWX\ui|TMY3fn8f!pT%ecMp%eT*\{^V3o\MTMY<p%jdV3q1Y<bf%\MZFY<q/pjmcfn
p%TMY<qfhjp%jdV3qNfhgLf!pu\uZ#fn/cV3Z[ojbd\MTcV3Zo|jbd\uT
ÃmÄšƢÇÈÅÉHÊËÆ¢Ì=ÍMÎ
Ï1Ð<ÑÓÒÔ1ÕMÖ×^ÑÓÒUØ3Ù*ÖÚÑÓÙ*ÛÜÛÜÝ}ÞÓß:à3áâ%áãÝä$åæ/çkè7äJéè7êìë´ÕMÛÜÛÓÙ*ã3ÕMÖ¡ÙÚÑÜÕMà-íªîîéçmïð%ñ:ò%ñ<ò*ó:ô/õ1åöéè7Ïø÷ÙMÒ7ÑÓë
éâÒ7â%Ù*Ö¡ë=Ð êHë´ÚÑÜÕMà-îù$ätîúHé$ðô8ätåæû*üHêJéJöêRýMÖ¡ÙàÚUîî1éçdïuþ:ÿ!ñ:òMòô3ù$äHé|Õuß:à<ýèdàMâ%Ò7ÚÑÜýÙ*ÚÕMÖJêÔÙÖ¡á
äJþMþMþ:ÿ¢ñMçdïðhç*çÿ*óðôuÙ*à3áätåæ ÕMß<à<ýèmàMâ%Ò7ÚÑÜýÙ*ÚÕuÖ1êÔÙÖ¡áîî1éçdïðMò*ï
Ï1Ð<ÑÓÒ1Ø3Ù*Ø3âhÖJÐÂÙuÒ1ã3âhâ!àØ<ÖâÒ7â!àÚâ%áÙ*ÚÚÐ:âÏLêHîêtåÔÕMÖ×:Ò7Ð<ÕMØô3êHÙÖÐß3Ò¢ô Ù%Ýÿ%ïMï
!"#%$'&)( *+,&-./0123 41#
ô üJâ!ØÂÙÖÚ15â!àÚ ÕuÞ îÕ5Ø<ß:Úâ!Ö åë¢ÑÜâ!àÂë´âMô
äÕMÖÚÐ-îÙ*ÖÕMÛÜÑÜà3ÙåMÚ¡Ù*Úâúà<Ñ6MâhÖ¡Ò7ÑÜÚ7ÝMôéHÙ*ÛÜâ!ÑÜýMÐôätîNðMòuï%çdóð*þ:ôuútåêUô%7mï:ÿhï89ÿ%ç7ò*óð
:;/=<>#-/,>,.?@/%1/,>/%3A
ô97CBD8ïEò*óþò
! #"$%
¹
`C\-TMY<ooV3T%p{scuTjpbd\SUT*V/c\f%fbmWX\MiTMY#`CV3Z[ojkbm\MTS1`n|eq WXsuqsuTMY<pu\ueT
{\'oY<T%p%jd\fCT*V3q/pY<bm\f{§¨V3ep%jkbmf{\'£sMT%jk¤c<Y<pjmV3qNoV3eTbd\fY<bmWMiT*\f{\ oT*Vc\f%f!ef<¥ o1Y<Tp%jT
{§eq\{\f%cMT%jo|p%jmV3qF{\ffhg/qpMY<©;\fcV3qcMTMp*\f\MpY<ifhp%TMY<jkp*\f{§eq\Y<bdWui|T*\XnY<jkqf!jle\{\f*Y
f%sMZrY<qp%jdl8e\V3osMTMY<p%jdV3qq\Mbbd\f%V3ef-V3T%Z#\[{\TW3bd\fV3osuTMY<pjmV3qq\ubkbm\f f!p%T%ecMp%eTus\f ¶ Mn
bm\[S1` oT*V{Lejkp'eqøY<q1Y<bkgLf\ueTf!gq/pMY<©jdl8e\8nJ\up{\f}V3qcup%jdV3qf c<Y<bdcMeb7Y<qp^bYrf%sMZFY<q/pjmle\
cV3Z[oV3T%p*\MZ#\uqpMY<bd\{\oT*VXW3TMY<Z[Z#\f^{\#c\Mp%p*\[Y<bdWMiT*\8¥§ep%jkbkjmf*Y<pjmV3q¹{Le S1` f!jZ[obkjk¤\
cV3qf!jm{|suTMY<i|bm\MZ#\uqpbd\p%TMYu£/Y<jbqsc\f%f*Y<jkT*\Y3{Y<op*\MT$eqV3e|p%jb{\£sMT%j¤c<Y<p%jdV3qCeqqV3e£\:Y<e
b7Y<qWY3WX\X²Âjkbo\MT%Z#\Mp${§ÜY3f%f!eTu\uTeq\cV3Z[o1Y<pjijkbkjp*sY<eqj£\:Y<ef%V3e|T*c\\Mq/pT*\{;j±1sMT*\Mq/p*fHV3ep%jkbmf
{\r£sMT%jk¤c<Y<pjmV3qH¥J\fV3e|p%jbdf{\r£sMT%jk¤c:Y<p%jmV3q¯cV3qf!jd{sMT*sf{Y<qfeq¯oT*\MZ[jm\MTp*\MZ[off%V3qp
wxC ¶ \Mp$bd\`CV3qcueTT*\uqcug·¹V3T%°/i\Mqc%~Hn3ZrY<jdfJbYf!p%T%ecMp%eTu\{;eS1` o\uT%Z#\Mp${\oT*sM£V3jkT
eqxf!e|ooV3T%poV3eT{§ÜY<ep%T*\fCV3epjbdf¥
À<M¾% !x V3ep%jkbmf{\£sMT%jk¤c<Y<pjmV3qHnY<bmWMiT*\f{\oT*Vc\f%f!efnÂf%sMZFY<q/pjmle\V3osMTMY<p%jdV3qq\Mbbd\
f!p%T%ecup%e|T*s\8n/f!g;f!pMZ#\f{\p%TMY<qf!jkp%jdV3qfnLcV3Zo|jbY<p*\MeTC{|\'cV3Z[ojbY<p*\MeT*f
( )
- "$%
~\o1Y3f!pp*\Mqrg\:Y<T*fC~1YM£\'f%\\Mqrp%~\{\M£\MbmV3oZ#\Mq/pV3Y^£Y<Tjm\Mp´g#V3Y<ep*V3ZFY<p%jdc£\MT%jk¤c:Y<p%jmV3q
p*VV3bmfJ=V3TJ¤qjkp*\M ¡f!pMY<p*\UfhgLf!pu\uZ#fJ\M©oT*\f%f%\{}jkqoT*Vc\f%fHY<bdWX\uiTY²8\u©|Y<Z[obd\fjqcMbke{\wxC
¶
*,+
nJ]-.´np%~\`V3qcue|T%T*\MqcugQ·®V3T%°i\uqc%~
*
X.´n 0/
*
1$.¡nbd{sMi1Y<TMY<q
*
3$.´n$Y<q{ Ll8e|jmWXW3bd\f
*
$.´¥32´q¬WX\uq\MTMY<b´np~\f\}p*VV3bdff!eooV3T%p}Yf!o\cMj¤c}bY<qW3e1Y3WX\8n|f!ec%~RY3f`` *
]4.´nwx\ujyv%\
*
.¡n
V3T65Y3fhjmc JV3p*VXf
*
.´n/V3T{\f%cMT%jkijqWf!g;f!p*\MZµfY<q{ro|T*V£jm{|\ef%\uTufC{Ljk±1\uTu\uqpCZ#\Mp%~V{fn8f!ec%~
Y3f\lejk£Y<bm\Mqc\Cc%~\c%°jqW;nXoT*\V3T*{\MTc%~\c%°jkqW;nÂZ#V/{|\ub|c%~\c%°jkqW;nÂTMY<q{|V3Z f!jkZebY<p%jdV3qHn8Y<q{
Y<if!p%TY3cup%jdV3q¯Z#\c%~1Y<q|jmf!Z#fnV3TFY<q1Y<bkg87ujkqW¸p~\ujkT[i\u~1YM£/jdV3T:¥ ~\repjbkjp¢gGV3 p%~\f%\rp*VV3bdf
~1Y3fi\\MqN{|\uZ#V3qf!pTMY<p*\{µ£j7Yf%\M£\uTY<b$c:Y3f%\'fhp%e{Ljd\f
*
1n13];n3$.´¥!9V³C\M£\MT:n;p%~\}jkZ[o1Y3cup}V3q
f!g;f!p*\MZ {\f!jmW3q#oTMY3cMp%jdc\V3Hf!ec%~#p*VV3bmf~1Y3fi\\MqµbkjZ[jkp*\{ig[p%~\¡Y3cMpp%~1Y<pp%~\bY<qW3e1Y3WX\f
p%~\Mg f!eooV3T%p:n³~|jbd\oVXff%\ff!jqWµqjdc\p%~\V3T*\Mp%jdc<Y<boTuV3o\MT%p%jd\fnJY<T*\[qV3p^³jd{\MbgRef\{ i/g
f!g;f!p*\MZ \uqW3jq\\MT*f¥:2´qQY3{{Ljkp%jdV3qHnLY3fC\:Y3c%~rp*VV3b1jqFWX\Mq\uTY<bfheooV3T%p*fY^{Ljk±1\MT*\uqpb7Y<qW3eY3WX\Xn
jp jdf^{Lj<;#cuebkpp*VrcV3Z[o1Y<T*\p%~\p*V/V3bdfY<q{¬p*VFjq£\fhp%jmWY<pu\[Y<ooT*VY3c%~\fp*Vref!jkqW#p%~\MZjkq
cV3bkbY<iV3TY<p%jmV3qQ³jp~NV3q\-Y<qV3p%~\MT:¥
~jdfoY<o\MTJo|T*\f\uqp*f1p%~\SUT*V/c\f%f$bdWX\uiTY`CV3Z[ojbd\MTS1`MnXYf!gLfhp*\uZ p%~1Y<p$fheif!pMY<q|
p%jY<bbkg f!jZ[obkjk¤\fp%~\pY3f!° V3c%~1Y<qW3jkqWrp~\b7Y<qW3e1Y3WX\µfheooV3T%p*\{xi/gR£\MT%j¤c<Y<p%jdV3q®puV/V3bdf¥
~\S`øjdfY>=%7T*V3qp% ¡\uq{WX\uq\MTMY<p*V3T?;²8W3j£\MqFY}{|\f%cMT%jkop%jdV3qV3p%~\f!gq/pMY<©µY<q{f%\MZrY<qp%jdcf
V3YbY<qW3e1Y3WX\8n|jkp}o|T*V/{;ec\fCT*V3e|p%jq\fC=V3T}oY<T*f!jkqW#Y<q{xeqo1Y<T*fhjqWo|T*VXW3TMY<Z#fjqxp%~\'bY<q
W3e1Y3WX\[Y<q{RV3T cV3Z[oe|p%jqWef%\uT ¡{\u¤|q\{xf\uZFY<qp%jmc T*\Mb7Y<p%jdV3qf¥@5gNoT*V£/jd{LjkqWef%\uTuf³jp%~
~jdW3~ bm\M£\MbqV3pY<p%jmV3qf'V3T{|\u¤q|jqWFb7Y<qW3eY3WX\fY<q{®ZFY<q1Y3W3jqWNp%~\[{Lj<;µcMebkpY<q{®p*\c%~qjk
c<Y<bkbkg®p*\{LjdV3ef{\M£\ubdV3oZ#\Mq/pV3fhg/qpMY3cMp%jmcFY<q{Gf%\MZFY<q/pjmc[7eqcMp%jdV3qfnJp%~\FS` oT*V£jd{\f
p%~\CTu\f%\:Y<T*c%~FcV3Z[Ze|qjp¢g^³jp%~FY'ef%\uebLp*VV3bV3T\u©o1Y<q{;jqWp%~\T*\uo\MT%p*V3jkT*\CV3bY<qW3e1Y3WX\f
p%~\MjTp*VV3bmfc:Y<qxf!e|ooV3T%p:¥
~\FT*\uZFY<jkq{\MTV3p%~\roY<o\MTjdfV3TuWY<qjA7\{ Y<bdV3qWRp%~\#V3bbdV³jqWRbkjq\f¥ ~\rq\M©/p
f%\cup%jdV3q fh~1Y<T%o\uqf'p%~\Z#V3p%jk£Y<p%jdV3q®V3T-p%~\#S1`ig¸o|T*\f\uqp%jkqWrp¢³CVN£\MT%jk¤c<Y<pjmV3q puV/V3bdfn
wxC ¶
*'+
n]-.Y<q{Gp%~\Q`CV3qcMeT%T*\MqcMg®·¹V3T%°i\Mqc%~¡`·B5
*
X$.´nCY<q{Gp%~\NcV3Z[ZµV3q
f%\MZrY<qp%jdc7TY<Zµ\M³V3T%°^eq{\uTbgjqWp%~\'={Lj±1\MT*\Mq/pb7Y<qW3e1Y3WX\f\:Y3c%~#f!eooV3T%p*f<¥ ~\Cf%\cMp%jmV3q
V3bkbmV³jqW'oT*\f%\Mq/pufY<qrV£\uT%£jd\u³«V3p%~\Y<T*c%~|jp*\cMp%eT*\V3p~\S1`«Y<q{#{\fcuT%jki\f$p~\f!o\M
cujk¤c:Y<p%jdV3q¸bY<qW3e1Y3WX\ef%\{RV3T{\M¤qjkqWFY<bmWX\MiTMY3fY<q{¸p~\ujkT f%\MZrY<qp%jdcf<n1³~jbd\L\cupjmV3qC4
{Ljdf%cuef%f%\f$jmf%fhe\f$jkq[WX\Mq\uTY<p%jqW}f\uZFY<qp%jmc7eqcMp%jdV3qfJ7TuV3Zp%~\ujkTS1`Gf!o\cMjk¤c<Y<pjmV3qf<¥ ;\cM
p%jdV3q®[p%~\Mq W3j£\f'\M©o\MT%jkZ#\uqpMY<bJTu\f!e|bp*fV3i|pMY<jq\{x7T*V3Z S1` oTuV/{Lec\{x7T*V3qp\uq{|f=V3T
p%~\Q`CV3qcMeT%T*\MqcMg®·¹V3T%°/i\Mqc%~H²Cf%V3Z#\M³~1Y<p[f!eToT%jdf!jqW3bg/ntp%~\FS1` ¡WX\Mq\MTMY<p*\{ cV{\Nf!jk
W3qjk¤c<Y<qp%bkgRV3ep%o\MT%V3T%Z#f\u©jdf!p%jkqWµ~1Y<q{L oT*V{Lec\{RcV/{|\iejkbp V3T^p~jmfp*VV3b¡¥ ~\¤q1Y<b
f%\cup%jdV3qNcV3qpMY<jqfV3eTcV3qcMbefhjmV3qfY<q{N{LjkT*\cupjmV3qfV3Tep%eT*\³V3T%°¥
4
! #"$N (*) ' "$ ( µ%('^
*"U)
~jdf$f%\cupjmV3qo|T*\f\uqp*f$Y<qV£\MT%£/jd\M³¯V3p´³V£\uTj¤c:Y<p%jdV3qp*VV3bmf<n8wxC ¶ Y<q{^p%~\C`CV3qcueT
T*\Mqcug#·¹V3T%°/i\Mqc%~H¥bkp%~V3eW3~¬f!jZ[jkb7Y<Tjqxjkq/pu\uqp:n/p%~\p*VV3bmf{Ljk±1\MTZFY<T%°\{;bg#jqxpu\uT%Z#fV3
p%~\-Y<q1Y<bkgLf%\fCp%~\ug#f!eo|oV3Tp:nLY<q{rg\MpY<pp%~\}Z#V3Z#\uqpp%~\MT*\}jdfqV³YugFV3TYef\uTp*Vef%\
p%~\p*VV3bdf'cV3bbY<iV3TMY<p%jk£\ubkg/¥ ¶ q¸p%~\V3p%~\MT}~Y<q{np%~\bY<qW3e1Y3WX\f'fheooV3T%p*\{xi/gxp%~\p´³V
p*VV3bmf~1Yu£\-Yf%\MZrY<qp%jdcfp%~1Y<pjmfW3j£\MqNjkqxY^£\MT%g#f!jkZjkbY<Tf!p¢g/bd\8n³~jmc%~#³\^Y<bdf%V{Ljdf%cMef%fY<p
p%~\\Mq{^V3p~jmff%\cupjmV3qH¥
~\f%\V3if\uT%£/Y<p%jmV3qfoT*V£/jd{\{'p%~\tjkZ[o\up%ef|=V3TJp%~\{\M£\MbmV3oZ#\Mq/p
V3$p%~\ S1`¥
! "$#&%('*),+.-0/1'32 45/1227638
5CV3p%~FwxC
}¶
Y<q{p%~\`V3qcue|T%T*\Mqcug-·®V3T°/i\Mqc%~oT*V£/jd{\Cepjbkjpjm\fJV3T£\MT%jg/jkqW¤qjkp*\M
f!pMY<p*\f!g;f!p*\MZ#f\M©oT*\f%f%\{µjkqroT*Vc\f%fY<bdWX\uiTY¥ ~\f!o\cujk¤coT*Vc\f%fY<bmWX\MiTMY3ff!eooV3T%pu\{
{Ljk±1\uT:nJ~V³C\M£\uT3ntY3f-{Vrp%~\fheooV3T%p*\{ Y<q1Y<bg;f%\f¥
~\V3bkbdV³jkqWroTuV£jm{\fZµV3Tu\{|\upMY<jkb
Y<iV3epp%~\f!g;f!p*\MZ#f¥
:9<;>=@? wQ ¶
*,+
nJ]-;n$]X$.jmf-YµfhgLf!pu\uZ =V3TY<q1Y<bkg87ujkqWµq\up¢³CV3T°Lf V3¤|qjpu\u ¡f!pY<p*\
f!g;f!p*\MZµf<¥CwQ ¶ ie|jbd{fY<epuV3ZrY<pY^7T*V3Z oT*VXW3TMY<Z#fjkqxp%~\-wx\ujyv%\oT*Vc\f%fY<bdWX\ui|TMY
*
.
Y<q{jdfUc<Y<o1Y<i|bm\V3T*\{LecMjqWY<q{cV3Z[o1Y<T%jkqWp%~\uZ ³jkp%~T*\f!o\cupHp*V£Y<T%jdV3ef$ijdf!jZeb7Y<pjmV3q
i1Y3f%\{ \lej£/Y<bm\Mqc\f¥ 2¢pQY<bmf%V oT*V£/jd{\frYRqV£\Mb¡Y3cMjbkjp¢gGp%~1Y<p#\Mq1Y<ibd\fef\uT*fp*V¹{\M¤q\
ACB1DFEGHA1IHE
p%TMY<qf!jpjmV3q[T*\Mb7Y<pjmV3qfV3qQY^W3j£\MqQY<ep*V3ZFY<p*V3qHn/V3ipY<jqjkqW-Y'q\M³«f!gLfhp*\uZ¬n8efhe1Y<bbkg
f!ZFY<bbd\MTCY<q{Z#V3T*\p%TMY3cMpMY<ibd\XnÂp~1Y<pU~jdW3~bjdW3~p*ff!o\cMj¤ci\u~Yu£jmV3T*fV31p%~\V3T%jmW3jkq1Y<bfhgLf!pu\uZ¬¥
wNec%~[Y<p%p*\Mqp%jmV3q-~1Y3f$i\\Mq{\M£V3p*\{^p*Vjdf%f!e\f$V31\;#cujd\uqcug/¥02´qoY<T%p%jdcuebY<T:n<p%~\iejkbm{;jqWV3
Y<ep*V3ZFY<pMY7T*V3Z p*\uTZµf$jdfZjk©;\{³jkp%~[p%~\T*\{;ecupjmV3qV3p%~\}Y<ep*V3ZFY<pMYef!jkqW'cV3qW3T%e\uqc\
oT*V3o\MT%p%jd\fUV3p%~\f%\MZFY<q/pjmc\lej£/Y<bm\Mqc\fnXp%~\MT*\uig\Mqf!eTjqWp%~1Y<pY<epuV3ZrY<pY^Y<T*\°\MopY3f
f!ZFY<bbY3f}oVXf%f!jkibd\X¥KJ1Y3cMjbkjkp%jm\fY<T*\[Y<bdf%Vµo|T*V£jm{|\{xV3T \M©/obY<jkqjqWp%~\^T*\f!ebkp*fV3CY<qY<bg;f!jdf
Y<q{rV3T}{LTMYu³jqW-p%~\T*\fhebpjqWY<ep*V3ZFY<pMY^jkqRYW3TMY<o~|jmc:Y<bJ\{Ljkp*V3T
*] +
.¡¥
;KLJ¼NM^ÀPOJ J33¼.OJX½NQ ÀSR¼TOH1L? ~\x`CV3qcMeT%T*\MqcMg®·¹V3T%°i\Mqc%~ ¡`· 5
*
X$.jdf
Y<qR\u©p*\Mqf!jkibd\p*V/V3bV3T£\MT%jk7gjqWfhgLf!pu\uZ#f³T%jpp*\uq#jkqNp%~\oT*Vc\f%fY<bmWX\MiTMY[`` * ]X$.´¥ 2¢q
cV3qp%TMY3fhp³jkp%~ V3p%~\uTo|T*V/c\f%fY<bdWX\ui|TMYrp*VV3bmfnUp%~\#`· 5 f!eo|oV3Tp*f'p%~\cV3Z[oepMY<pjmV3qøV3
q/e|Zµ\MT*V3ef{;j±1\MT*\Mq/p[f%\MZFY<q/pjmcF\lejk£Y<bm\Mqc\f[Y<q{øo|T*\V3Tu{\uTuf²jp#{V\f[f%VRjkq YxZ#V/{;eb7Y<T
¡Y3f!~jdV3qGjkq p~1Y<p[WX\uq\uT%jdcr\lej£/Y<bm\Mqc\u -Y<q{ oTu\V3T*{|\uT% ¡c%~\c%°jqWQTuV3ep%jkq\fY<T*\NcV3Zijkq\{
³jkp%~ f!e|jpMY<i|bm\oTuV/c\ff'p%TMY<qf!V3T%ZFY<p%jdV3qff%\\Xn$\8¥yW;¥kn
*
$.}jkq V3T*{\MT^puVxcV3Z[oepu\{Lj±1\MT*\Mq/p
T*\Mb7Y<p%jdV3qf¥
~\ `· 5ªY<bdf%Vjkqcubke{\fYKU\u©jkibm\WVYX[Z&\^]*_
Ia`
\
Iab[ced&f
¡Y3cujkbkjp¢g[V3T{\Mp*\MT%Z[jq|jqW
³~\Mq[YoT*Vc\f%f$fuY<p%jmfh¤\fY=V3T%ZebYCjqµY£\MT%g\u©oT*\f%f!jk£\pu\uZ[oV3TMY<bbmVXW3jdc8nÂp%~\oT*V3oVXf!jkp%jdV3
q1Y<b1Ze ¡c:Y<bmcMebkef¥$z\c\Mq/p%bkgp%~\`·B5G~1Y3fi\\Mqr\M©/pu\uq{|\{p*V{|\<Y<b1³jkp%~FY^{Ljdf%cMT*\upu\u p%jkZ#\
£\uTuf!jmV3q¬V3`` R `` |MnY<q{µ³jkp%~Fp%~\ f!g/qc%~T*V3qV3efY<bmWX\MiTMY |`` 1¥
3 / % +C/ %(-P6W#&%(-0/1'32 4 -P6 # -74 /1'3+T8
wxC
¶
Y<q{p%~\`· 5¯Y<T*\f!jkZ[jbY<Tjq[p%~1Y<pUp~\ugµY<q1Y<bg87\f!g;f!p*\MZµf$igcV3q/£\MT%p%jkqWp%~\MZ
jqp*V#¤qjkp*\Y<ep*V3ZFY<pMYFY<q{Rp%~\Mq¬jkq£V3°/jkqWrT*V3e|p%jq\fV3q p%~\f%\[Y<ep*V3ZFY<pMY¥ 9V³\u£\MT:nJp%~\
b7Y<qW3e1Y3WX\f¬Y<q{ V3TZµf#V3[Y<q1Y<bkg;f!jmf#p%~\Mg¯f!eooV3T%p3nY<q{«p%~\ Y<ooTuVY3c%~\f#p%~\Mg¯pMY<°\xp*V
cV3qf!p%T%ecMpY<e|p*V3ZFY<pMYr7T*V3Zf!g;f!p*\MZ#fnH{;j±1\MTZFY<T%°\{Lbg/¥ 2¢q p%~\[bY3f!pc:Y3f%\µjkq o1Y<T%pjmcMebY<T:n
wxC
¶
Y3{V3op*fY =%iV3p%p*V3Z[ eo?xY<ooT*VY3c%~$nt³jkp%~GY<epuV3ZrY<pYrT*\cMeT*fhj£\Mbg cV3qf!p%Tecupu\{
V3TNfheif!g;f!p*\MZ#fµY<q{ p%~\MqªY3ff%\uZibm\{¯jqp*VGY f!jkqW3bd\xZrY3c%~|jq\N=V3Trp%~\R\Mq/pjT*\xfhgLf!pu\uZ¬¥
~\F`· 5n$V3qGp%~\[V3p%~\MT~1Y<q{JnHef%\fY<q =*V3q| p%~\M 3Ug ? Y<oo|T*VY3c%~HnH³jp%~¹p%TMY<qfhjp%jdV3qf-V3
cV3Z[oV3q\Mq/pufµc:Y<bmcMebY<p*\{ Y<q{«p%~\Mq cV3Zijkq\{ Y<o|oT*V3oT%jY<p*\MbgGjkqp*V®p%TMY<qf!jpjmV3qf[V3TFp%~\
V£\MT% ¢Y<bkb$f!g;f!p*\MZ¬¥
¶ q\c%~1Y<TMY3cMp*\MT%jdf!p%jdc^f!~1Y<Tu\{NigRwxC ¶ Y<q{xp%~\`·B5'n|~V³\M£\uT:njdfp%~1Y<pp%~\'bY<q
W3e1Y3WX\fp%~\Mgf!e|ooV3T%pU~1Yu£\V3o\MTMY<p%jdV3q1Y<bf%\MZFY<q/pjmcfW3j£\Mqµjkq[p%~\p%T%ecMp%eTMY<b ¶ o\MTMY<p%jdV3q1Y<b
L\MZrY<qp%jdc ¶
*
]X.Jf!p¢gbm\8²p~jmf¡Y3cMpZ#V3p%j£/Y<p*\fV3eTjkqcMbefhjmV3qFjqNp~\S`ªV3Uc:Y<o1Y<ijkbjk
p%jd\fV3T-WX\uq\uTMY<pjqW[T*V3epjq\f7T*V3Z ¶ Q{|\f%cMT%jkop%jdV3qf¥' ¶ NV3TYbY<qW3e1Y3WX\cV3qf!jdf!p*f
V3T%ebd\f'V3Tjkq\MT%T%jkqW#p%~\[\u©;\cuepjmV3q¹i\M~1YM£/jdV3TV3Co|T*VXW3TMY<Z#f^³T%jkp%p*\Mq jq p~\b7Y<qW3eY3WX\X¥
zebd\f~1Yu£\ p%~\V3bkbmV³jqWWX\uq\MTMY<bV3T%Z¬¥
!
"
#$% !&#')(*!&+
~\jqp%ejkp%jk£\tTu\<Y3{LjkqWV3p%~\T%ebd\jdf$p%~1Y<ptjV3q\CjmfY<ibm\p*V\fhpMY<ibkjmf!~p%~\o|T*\uZ[jdf%\fn³~jmc%~
p´gojdc<Y<bkbkg^jkq/£V3bk£\f!pMY<pu\uZ#\Mq/p*fY<iV3e|pUp%~\C\M©;\cMep%jdV3qi\u~Yu£jmV3TV31f!e|ioT*VXW3TMY<Z#fUV3p%~\CV3q\
Z#\uqp%jdV3q\{Njkq p%~\cV3qcMbefhjmV3qHnY<q{xp%~\f!jd{\cV3q{Ljkp%jdV3qx~V3bm{|fnp%~\Mq V3q\^ZFYugxjkq\MTp%~\
cV3qcubkef!jdV3qH¥tf}Y<qx\u©|Y<Z[obd\XnLp%~\V3bkbmV³jkqW{\f%cuTji\fp%~\}fhg/qc%~|T*V3qj7<Y<p%jdV3qfY<bbdV³\{Fi/g
p%~\o1Y<TMY<bkbm\MbcV3Z[oVXf!jkp%jdV3qNV3o\uTY<p%jmV3qFjq¸`` * ]X$.´¥
-,./103254.620
8792;:.<
0 72 0
")=>@?
&&
+
~\CTebm\f!pMY<p*\fUp%~1Y<pj
c<Y<qF\uqWY3WX\jqFY<qQY3cup%jdV3q
=
Y<q{#\u£V3bk£\p*V
0 Y<q{
2
c:Y<q#\uqWY3WX\
jq
?
Y<q{N\u£V3bk£\'puV
2!0 n|Y<q{
=
Y<q{
?
Y<T*\jkq/£\MT*f%\f^7j´¥y\8¥tcV3qf!pjp%e|p*\ Y<qNjq|oep A3V3epoepo1Y<jkT
V3q p%~\[f*Y<Z#\#cV3Z[Ze|qjmc:Y<p%jdV3q c%~1Y<q|q\ubMnJp%~\Mq
8792
c:Y<qG\u©;\cuepu\µY<qøjqp*\MT%q1Y<bY3cupjmV3qHnCBn
cV3TT*\fhoV3q{LjqW^p*Vp%~\f!gqc%~TuV3qjA7\{r\M©L\cue|p%jmV3qQV3
=
Y<q{
? ¥
~\ ¶
ªf!p¢g/bd\¬~Y3fN\u£V3bk£\{ªjqZFY<qg ³Yug;fxf!jkqc\Rp%~\ SUbmV3p°/jkqH§¨fNf%\MZjkq1Y<b o1Y<o\uT
*
]X.Y<q{ ~1Y3fi\\uqìY<oobkjd\{Gp*VRZFY<q/g«Y<T*\:Y3f#V3}bY<qW3e1Y3WX\Rf%\MZFY<q/pjmcf¥
~\ ¶
Gf!p¢gbm\
öÙ*Ö¡Ò7âhÖ¢ûuåë!Ù*à<à:â!Ö
âhà<âhÖ¡ÙÚÕMÖ
8ÑÜã:Ö¡ÙÖÑÜâÒ
öêJî
öÙ*Ö¡Ò7â!Ö
öÖÕ:ë´âÒÒ
êÛÜýuâhã<Ö¡Ù
üHâ%Òë´ÖÑÜØ:ÚÑÜÕMà
èdàÚâhÖ15CâáÑÓÙ*Úâ
æ<ÕMÖ15ÙÚ
÷1ÙMë=×Mâhà3á<Ò
â!ÖÑXë!Ù*ÚÑÜÕMàÏ/ÕÕMÛ
ÏÕÕMÛ×Mâ!Öà:â!Û åuâ 5Ù*àÚÑÓë
æ:ß<à3ë¢ÚÑÜÕMà3Ò
åMÝàÚ¡ÙMë´ÚÑÓë
êà3Ù*ÛÜÝ<Ò7âhÖ
J$jmW3eTu\^T*c%~jkp*\cMp%eTu\}V3tp%~\S1`
jmf£\MT%g U\u©jkibm\8nJY3fq/eZ#\MT*V3efbY<qW3e1Y3WX\f'³jkp%~R³jd{\ubkgx£Y<T%gjkqW=\<Y<p%e|T*\f~1YM£\i\\Mq®W3jk
£\uqQf%\MZrY<qp%jdcfef!jkqW^p~jmf7TMY<Z#\M³CV3T°1¥$z\c\Mq/p³CV3T°~Y3fVcuef%\{#V3qrp~\Zµ\MpMY<p%~\V3T%gV3
¶ *
4;nH]X];nU3n$];nH]1$.´²Hjkq®oY<T%p%jdcuebY<T:nT*\f%\:Y<T*c%~\MT*f}~Yu£\#f!~V³q®p%~1Y<p ³~\Mq ¶ RT%ebd\f
cV3q|V3T%Z p*V{Lj±1\MT*\Mq/pf!gq/pY3cup%jdcCV3TZrY<pufn8p%~\T*\f!ebkp%jkqW'bY<qW3e1Y3WX\f~Yu£\qjdc\oTuV3o\MT%p%jd\f¥
2´qxp~\Y<T*\:Y[V3o|T*V/c\f%fY<bmWX\MiTMY3f<nV3q\'jkZ[oV3T%pMY<qpoT*V3o\MT%p´gFjmfcV3qW3T%e\uqc\^V3p%~\}i\M~1Y<
£/jdV3TMY<bH\lejk£Y<bd\uqc\f³jkp%~#T*\f!o\cMppuVp%~\V3o\uTY<p*V3T*fCV3tp%~\bY<qW3e1Y3WX\8²p%~|jmfY<bbdV³fV3q\p*V
T*\:Y3f%V3qRY<iV3epp%~\}fhgLf!pu\uZ cV3Z[oV3q\uqp*fjqRYcV3Z[oVXfhjp%jdV3q1Y<b³Yug/¥
)* N
~jdff%\cupjmV3qNo|T*V£jm{|\fY<qRV£\uT%£jd\u³ V3Up%~\'S1`Y<Tuc%~jpu\cMp%eT*\-Y<q{rjkq{Ljdc:Y<p*\f~V³ef\uT*f
f!o\cMjk7g[oT*Vc\f%fY<bdWX\MiTMY3fCV3ToT*Vc\f%f!jkqW^igµp~\S`¥
! "!$# &%7#&%%'3#'
J$jmW3e|T*\¹®f!°\upuc%~\f#p%~\RV3T*WY<qj7:Y<p%jmV3q V3^p%~\RS1`'¥ ~\Rf!g;f!p*\MZ pMY<°\fNY3frjkqoe|pr¤bd\f
cV3qpMY<jkqjkqWxp%~\rfhg/qpMY3cMp%jmcFY<q{Gf%\MZFY<q/pjmcF{\fcuT%jkop%jdV3q V3-YxoT*Vc\f%fY<bdWX\MiTMY Y3f³\Mbb}Y3f
bjkiTMY<Tjm\fµcV3qpMY<jq|jqW p%~\R{\M¤qjkp%jdV3qf[V3Y<qg q\c\ff*Y<T%g«Y<e©jbkjY<T%g¯7eqcMp%jdV3qf¥ 2¢pµp~\uq
oT*V{Lec\fp´³VNf%\Mp*fV3M¤bd\f(
``%A f!o\cMjk¤c<Y<pjmV3qQV3$p%~\bY<qW3e1Y3WX\8§yffhg/qpMY<©¥
;\uZFY<qp%jmcT*V3e|p%jq\fp*V[Y<q1Y<bkg 7\oT*VXW3TMY<Z#fC³Tjp%pu\uq#jqQp%~\b7Y<qW3e1Y3WX\X¥
VRf!o\cMjY<bj7\#YNpMY<T*WX\Mp£\MT%jk¤c<Y<pjmV3q¹p*V/V3bp*VNp%~\µW3jk£\uqGbY<qW3e1Y3WX\8nHp~\µS1` ef%\MTZef!p
T%eq ``%A V3q¯p%~\µ¤T*fhp[f%\up[V3¤bd\fp*V¬o|T*V/{;ec\FY¬oY<T*f%\MT#Y<q{ p%~\MqGjqf%\uTpp%~\
o1Y<T*f%\MTFY<q{Gp%~\Ff%\uZFY<qp%jdcµT*V3epjq\fjkq/p*VRp%~\#£\uTj¤c:Y<p%jdV3q¯\uqW3jq\8¥ SUT*V£jd{\{ p~1Y<p[p%~\
pMY<T*WX\Mpp*VV3b$f%\Mo1Y<TMY<p*\fp%~\ f!gq/pY3cup%jdcY<qY<bg;f!jdfV3UoT*VXW3TMY<Z#f7T*V3Z p%~\ujkT£\MT%j¤c<Y<p%jdV3qHnp%~\
b7Y<qW3e1Y3WX\u jkq{\Mo\uq{\uqpJoY<T%pV3p%~\£\uTj¤c:Y<p%jdV3qp*VV3bJ7jkp*f
b \ G^d
\^]7q\\{qV3pc%~1Y<qWX\Y<pY<bkb¡¥
2´pf!~V3ebm{i\qV3p*\{p%~1Y<pUp%~\S1`Gjmf$jkq[¡Y3cupY>=*cV3Zo|jbd\uT? jkpUpMY<°\fYS1`¯f!o\cMjk¤c<Y<pjmV3q
V3YbY<qW3e1Y3WX\[Y3fjkqoepY<q{Qo|T*V/{;ec\ff%V3e|T*c\cV{\'³~jmc%~xjdfcV3Z[ojkbd\{RY<bdV3qW[³jp~xp%~\
°\uTq\ub;V3p%~\tpY<T*WX\upt£\uT%jk¤c:Y<p%jdV3q^p*VV3b¡¥
~\MT*\Ujdf OJÀ
S1`®T%e|q p%jkZµ\UfhgLf!pu\uZp%~Y<pJi\cV3Z#\f
o1Y<T%pV3tp%~\pMY<T*WX\Mp£\MT%j¤c<Y<p%jdV3qrpuV/V3b´¥
~\S` jkp*f%\MbjdfV3T*WY<qj7\{jqp*V-f%\u£\MTMY<bcV3Z[oV3q\uqp*fUc\uqp*\MT*\{µY<TuV3eq{[Y<q#jqp*\MT%q1Y<b
T*\MoT*\f%\uqpMY<p%jdV3q V3p~\f!gq/pMY<©¹Y<q{ f%\MZFY<q/p%jdcf'V3p%~\bY<qW3e1Y3WX\i\ujkqW#oT*Vc\f%f%\{¥
~jmf
jqp*\MT%q1Y<bf!pT%ecMp%eT*\^jdf'o|T*V/{;ec\{Ri/gRp%~\S1`o1Y<T*f%\MT^T*V3Z ¤bd\f oT*V£/jd{\{¬igRp%~\ef%\MT:¥
JT*V3Z jp3n
B[A1Iab
\ d Z D
oT*V{Lec\p%~\T*\lejkT*\{µT*V3epjq\fCV3Tp%~\pMY<T*WX\Mpf!gLfhp*\uZ#f¥fpY<T*WX\up
£\uTj¤c:Y<p%jdV3qxp*VV3bmfY<T*\ p´gojdc<Y<bkbkgr³T%jkp%p*\MqrjkqR{Ljk±1\uTu\uqpb7Y<qW3e1Y3WX\f´wQ
¶
jkq jdf!oHnp%~\
`CV3qcMeT%T*\MqcMg·®V3T%°i\uqc%~jq|wn:bd{sMi1Y<TMY<qjkq[`n3V3TU\M©Y<Z[obd\<n:p%~\MT*\U³jkbb;jqWX\uq\MTMY<b
i\f%\u£\MTMY<bUi1Y3c%° \Mq{fjkq¸p%~\S1`¥ ~\jkqjkp%jY<bbkgNpMY<T*WX\Mp*\{Rf!gLfhp*\uZ#f Y<T*\[wxC }¶ Y<q{
p%~\·®V3T°/i\Mqc%~H²/Y3ccV3Tu{LjqW3bg/np~\C\M©/jdf!p%jkqWCo|T*V3p*V3p¢g/o\jqcMbke{\fi1Y3c%°\uq{|f$p%~1Y<pUWX\Mq\MTMY<p*\
jdf!oRY<q{w nLT*\f!o\cMp%jk£\ubkg¥
;KLJ¼ Mt3¼/(? ~\^S1`ªo1Y<Tuf%\uTpT%jm\fp*V¡Y3cMp*V3TV3ep-Y3fZec%~RV3Up%~\'i1Y3c%° ¡\uq{L
jq{\uo\Mq{\Mq/p³CV3T°RY3foVXff!ji|bm\ 7T*V3Z p%~\'o|T*V/c\f%f!jkqWV3ef%\MT% ¡f!eoo|bjd\{QY<bmWX\MiTMY[{\f%cMT%jo|
p%jdV3qf²LjqNoY<T%p%jdcuebY<T:n/jkpc%~\c%°LfCp~\'S1` jqo|epCV3T}f!g/qpMY3cMp%jdc'cV3T%T*\cupq\ffY<q{ro\MT%V3T%Z#f
c\MT%pMY<jkq-cV3qfhjmf!pu\uqcMgc%~\c%°Lf<¥ 2¢/ef%\uTH¤bd\ff*Y<p%jdf!7gp%~\f%\cMT%jkp*\uTj7Ynp%~\$oY<T*f%\MTp%~\uq oT*V{Lec\f
Y<qNjkq/p*\MT%Z#\{Lj7Y<pu\T*\uo|T*\f\uqpMY<p%jdV3qrV3tp%~\jqo|ep³~jmc%~¬cV3qpMY<jkqf
ªTu\uoTu\f%\MqpMY<p%jdV3qrV3Up%~\'Y<if!p%TMY3cMpf!gqpMY<©rV3tp%~\oT*Vc\f%fY<bmWX\MiTMY¥
f!p%TecupeT*\{N{\f%cuTjopjmV3qxV3p%~\^cV3qcuTu\up*\-f!gq/pMY<©Q7T*V3Z ³~jdc%~Rf!o\cMj¤c<Y<p%jdV3qfC=V3T
fc<Y<qq\uT*f<noY<T*f%\MT*fnY<q{req|o1Y<T*f%\MT*fZrYMgri\WX\uq\uTMY<pu\{¥
¯T*\MoT*\f%\Mq/pMY<pjmV3q[V31p%~\f%\Mp*fUV3 ¶ T%e|bm\f$ef%\{V3T{\M¤qjkqWp%~\f%\MZFY<q/pjmcfUV31p%~\
V3o\MTMY<p*V3T*fjqQp%~\ Y<bmWX\MiTMY¥
úHÒ7ÑÜà<ý êHîîû /õFØ<ÖÕÑÓáâÒÙ*àCâ%ÙMÒ7ÝÔÙ%ÝUÕ*Þ/ýMß3Ù*Ö¡Ù*àÚâ!â!ÑÜà:ýJÚÐ:âUë´Õ5CØÂÙ*ÚÑÜã<ÑÜÛÜÑÜÚmÝHÕuÞ8Ø3Ù*Ö¡Ò7â!Ö¡ÒýMâ!à:â!Ö¡Ù*Úâ%á
ÞÕuÖ;Ù1ýuÑ6MâhàUÙ*ÛÜýuâhã<Ö¡ÙãÝUáÑ8âhÖâ!àÚ/ãÂÙuë¡×Jâhà3á:Ò|ùJÚÐ:â!ÖØ3Ù*Ö¡Ò7â!ÖçkýMâ!à:â!Ö¡Ù*ÚÕMÖ¡Ò+5Ù%Ý$Ù*ÛÓÒ7Õã3â1ß3Ò7â%áÙ*ÚÚÐ<â1áÑÓÒë´Öâ!ÚÑÜÕMà
ÕuÞÚÐ:âãÂÙMë=×çâhà3áÔÖÑÜÚâ!Ö
1
SR¯¼.OJÁ$ ? ~\ i1Y3c%°N\Mq{fCi|ejbd{rp%~\^Y3cMp%e1Y<bHT*V3ep%jkq\fCp*Vi\}jkqcMbe{|\{#jqxp%~\}£\MT%jk¤
c<Y<pjmV3qRp*VV3bmf<¥ ~\MgxY3cc\Mop-Y3f}jkqoe|pp%~\^jkqp*\uTZµ\{LjY<p*\V3T%ZFY<pWX\uq\uTMY<pu\{Nigxp%~\-S`
o1Y<T*f%\MT Y<q{xWX\Mq\MTMY<p*\Y3fV3epoepY `` W3TMY<Z[ZFY<Tp*VXWX\Mp%~\MT³jkp%~xT*V3ep%jkq\fCp%~1Y<pcV3Z[
oep*\p%~\f%\MZFY<q/p%jdcfJV3Yf!g;f!p*\MZ 7T*V3Z jpufUY<if!p%TY3cuptf!g/qpMY<©¥
~\TuV3ep%jkq\fHp´gojdc<Y<bkbg {Ljk±1\MT
7T*V3Z V3q\£\uTj¤c:Y<p%jdV3qrp*VV3bp*V[Y<qV3p%~\MT:²Lp´gojdc<Y<bH\M©Y<Z[obd\fjqcubke{\p%~VXf\}V3T}cV3Z[oepjqW
p%~\ f!jkqW3bm\M ¡f!p*\MoNp%TY<qf!jkp%jmV3qfV3YoT*Vc\f%fnWX\uq\uTMY<pjqWp~\'cV3Z[oVXf!jpjmV3qxV3f\u£\MTMY<bUY<e|p*V3
ZFY<pMY}igFY^W3j£\MqNcV3Z[oVXf!jpjmV3q#V3o\uTY<p*V3T:n/cV3Zo|ep%jkqW'fhe ;#cujd\uqpf!gq/pMY3cMp%jdccV3q{Ljkp%jmV3qft=V3T
YoT*Vc\f%fpuVi\U¤q|jp*\M ¡f!pMY<pu\
*
]X].´nÂY<q{c<Y<bdcue|b7Y<p%jkqWC³~\up~\uTtV3T$qV3pYo|T*V/c\f%fjdf${Ljk£\uTuWX\uqp:¥
7¼ ¼.O<;7ÀPO ? ~\S1`GjmfUjkZ[obm\MZ#\uqp*\{^jkq pMY<q{Y<T*{[w ® w $M¥ ~\CfhgLf!pu\uZ¬n
³~jdc%~^cMeT%Tu\uqp%bkgcV3qf!jmfhp*fV3T*V3eW3~|bg-3n,---bjkq\fV3|cV{\8njmfi1Y<p*c%~ ¡V3T%jd\Mq/p*\{²jkpoTuV/c\ff%\f
jq|oep*fY<q{r\Mjp~\uTWX\uq\uTMY<pu\fV3e|p%oep¤bd\fV3TT*\uoV3T%pufC\MT%T*V3TCZ#\f%f*Y3WX\f¥
3 "!$# %(2+T# 8S8 !6 # %(- CW#&+.'*),+.-0/1'32 4 8
S` oT*Vc\f%fY<bmWX\MiTMYf!o\cujk¤c:Y<p%jdV3qNcV3qf!jdf!p*fCV3tp´³VcV3Z[oV3q\Mq/puf¥
~\ ZµV{Lebd\cV3qpMY<jkqfU{\f%cuTjopjmV3qfHV3p%~\cV3qcuT*\Mp*\Y<q{[Y<if!pTMY3cupf!g/qpMY<©
V3Y3cup%jdV3qfn/oTuV/c\ff%\fY<q{Nf%\MZFY<q/pjmcT*\Mb7Y<pjmV3qf<¥
~\^Z#V{Lebd\fUcV3qpMY<jq
¶
T%ebd\f{\M¤qjkqWp%~\CT*\MbY<p%jmV3qftef%\{p*V-{\M¤q\
p~\f%\uZFY<qp%jdcfV3$oT*Vc\f%f%\f¥
f%\MT*fZFYugRY<bdf%VoT*V£/jd{\]
c BSGFAG
¤bm\fcV3q/pY<jqjkqW[cV/{\ p%~1Y<p{;jT*\cMp%bg#jkZo|bm\MZ#\uqp*fY<e|©/jk
bjY<T%gøf!p%T%ecMp%eTu\f[f!ec%~ Y3ff%\upufV3T[\uq£jT*V3q|Zµ\Mqp*f*^Y<q{ V3o\uTMY<pjmV3qfFf!ec%~¯Y3ff\upZ#\MZ[
i\uT*fh~jo¬V3TbmVV3°/e|ox7eqcMp%jdV3qf*ef%\{FjqR{\M¤qjkqWp%~\^f%\MZFY<q/p%jdcfY<q{NV3T³~|jmc%~Nef%\uTuf{V
qV3p³jdf!~¹p*VNoT*V£/jd{\ ¶ {\M¤qjkp%jmV3qf¥ 5Y3c%° \Mq{f-{LjTu\cMp%bkgxjqf\uT%p-p%~jdf^cV/{|\jkq/puVNp%~\
¤bd\fUp%~\MgWX\Mq\MTMY<p*\8²8cV3qf%\l8e\Mqp%bg-p%~jdfUcV{\Zef!pUi\³T%jpp*\uqjqFYb7Y<qW3eY3WX\cV3Z[o1Y<pjibd\
³jkp%~rp%~Y<pV3$p%~\}pMY<TuWX\upp*V/V3b´¥
~\UT*\MZFY<jq{\uTHV3Lp~jmff%\cupjmV3q{Ljmfcueff%\f1\:Y3c%~V3Lp~\f\$ZµV{Lebd\fefhjqW}Y3f$Y<q\M©Y<Z[obd\
p%~\-`· 5 ¢¥,-£\uT*fhjmV3qxV3wFjkbkq\uT3§yf`` * ]X$.´¥
?P? ÀÁ 7¼/
Z#V{Lebd\fcV3qfhjmf!pV3Uf%\M£\uTY<bJf%\cMp%jmV3qf¥
2¢qrp~\! "$#%& f%\cMp%jdV3qHn/ef%\MT*fC{|\u¤q\p~\'fhg/qpMY3cMp%jmcc:Y<p*\WXV3T%jm\fCV3Tp%~\MjTb7Y<qW3eY3WX\X¥
~\('")* rf%\cMp%jdV3q®{|\u¤q\fp%~\pu\uT%Z cV3qfhp%T%ecMp*V3T*f7j´¥y\8¥-p~\[Y<if!p%TY3cup-f!gq/pMY<©|p*V
i\ef%\{µpuVi|ejbd{#\ubd\uZ#\Mq/pufjkqNp%~\{Ljk±1\uTu\uqpf!gqpMY3cupjmc c<Y<pu\WXV3T%jd\f¥
~\)* ^f%\cup%jdV3qfUjkq/p%TuV/{Lec\fUp%~\Cq1Y<Z#\fCY<q{ =%p¢g/o\f ?^V37eqcup%jdV3qfUp%~1Y<pZFYug[i\
Y<o|objd\{µp*V\Mbm\MZ#\uqp*fV3Uf%V3T%p*f<¥ ~\jZ[obd\MZµ\MqpMY<p%jdV3qfV3Up%~\f%\7eqcMp%jdV3qfZef!pi\
fheoobkjm\{[i/g#p%~\ S1` ef\uT:¥
~\ # f%\cup%jdV3q{\M¤q\fJp%~\q1Y<Z#\fUY<q{#=%p¢g/o\f ?V3p%~\f%\MZFY<q/p%jdcT*\ubY<p%jdV3qfJp*Vi\
{|\u¤q\{ig ¶ T%ebd\fY<q{V3T³~jdc%~[p%~\S1`¯³jkbb1WX\Mq\MTMY<p*\Y<qFjZ[obd\uZ#\Mq/pY<p%jmV3q$¥
~\ )%& -f\cMp%jdV3qrp%~\Mqrjkq{Ljdc:Y<p*\f³~1Y<pp¢go\p%~\}WX\Mq\MTMY<p*\{µ7e|qcupjmV3qfcV3Z[oe|
pjqW p%~\f%\T*\Mb7Y<pjmV3qff!~V3e|bm{[~1Yu£\[7j´¥y\8¥H³~jmc%~#oVXf!jkp%jmV3qftjkqrp~\T*\Mb7Y<p%jdV3qNfh~V3ebd{i\
=%jkqoe|p*f ?Y<q{F³~jdc%~Nf!~V3e|bm{#i\ =*V3ep%o|ep*f ?M¥
~\# }f%\cupjmV3q#cV3q/pMY<jkqfUi1Y3c%° ¡\uq{L ¡f!o\cMjk¤cC{LjkT*\cupj£\fn8f!ec%~rY3fbdV/c:Y<p%jdV3qfV3
bkjkiTMY<T%g[¤bd\fY<q{rq1Y<Z#\fCp*Vi\ Y3f%f!jdW3q\{rp*V7eqcup%jdV3qfWX\uq\uTMY<pu\{#i/gFi1Y3c%°r\Mq{f<¥
~\ øY<q{ ¸f%\cMp%jmV3qfcV3qpMY<jq¯{|\f%cMT%jkop%jdV3qfV3p%~\FcV3qcMT*\Mp*\
fhg/qpMY<©¯V3^iV3p%~¯p%~\NoT*Vc\f%fFY<bmWX\MiTMY¹Y<q{ V3 p%~\NT*\MbY<p%jmV3qfef\{¯p*V®{|\u¤q\Np%~\
Y<bdWX\MiTMY§¨ff%\MZrY<qp%jdcf<¥
V[jbkbkef!p%TMY<pu\}³~Y<p Y<oo\<Y<T*fjkqxp%~\f%\-f%\cMp%jdV3qfncV3qfhjm{\MTp%~\µ\Mbjd{\{£\MT*f!jdV3qRV3Y<q
Z#V{Lebd\rV3TQ`` Gjq J$jmW3e|T*\x]¥ ~\ " #%& ¸f%\cup%jdV3qì{\cMbY<T*\f[p%~\N°jkq{f#V3
V3iLv\cMp*fCp%~Y<p Y<oo\<Y<Tjkqxp%~\ {\M¤qjkp%jdV3qNV3Up%~\Y<bmWX\MiTMYnjqcubke{LjkqW&' % ¡Y3cMp%jmV3qf*Mn )%
¡`` ¯oT*Vc\f%f%\f*Mn$) \l8e1Y<pjmV3qfuMnY<q{ #!" 77TY<Zµ\fnV3TNZFY<oojkqWXfµT*V3Z
jm{|\uqp%jk¤\uTuf$p*V}£/Y<be\f*M¥$#V3p*\p%~Y<pfV3T%p*fUZFYugi\CoV3bgZ#V3T%o~jdc jq[p%~\c<Y3f%\V3%&#";n
V3Tjqf!pMY<qc\Xnp%~\'µZFYMgNi\'jkqf!pMY<qp%jY<p*\{F³jp~ Y<q/gN³\Mbbk V3T%Z#\{xf%V3T%p:¥ ~\S1` Y<bdf%V
jqcubke{\f}p~T*\\^iejkbp jq¹f%V3T%p*f(! %# )!NV3Tc%~1Y<TY3cup*\MT-f!p%T%jkqWXfn)(*""µV3T iVV3bd\<Y<qf<nHY<q{
* %V3ToV3bkgZµV3To~jdcbjdf!p*f¥
~\q\M©p^f%\cMp%jmV3q¹V3Cp~\\u©|Y<Z[obd\jqp%T*V{Lec\fp%~\cV3qf!pT%ecMp*V3T*fef%\{¬jkqG`` ¸Y<q{
p%~\MjT-f%V3T%puf¥JV3T\M©Y<Z[obd\8n !¬jdf'jkqp%T*V{Lec\{ Y3fYNcV3qf!pT%ecMp*V3TpMY<°/jkqWrqVxY<T*W3eZ#\Mq/p*f
Y<q{¸o|T*V/{;ecujkqWQYr£Y<be\V3f%V3T%p+'%²$p%~1Y<p jmf<n !RjdfY<qGY3cMp%jdV3q cV3qf!pMY<qp:¥-, )%RY<q{
.
%%pMY<°\ Y<qrjd{\Mq/p%jk¤\MT7jqp%ejkp%jk£\ubkg/n/Y^c%~1Y<qq\ubq1Y<Z#\:Y3fY<qxY<T*W3e|Zµ\MqpY<q{[oT*V{Lec\
Y<qxY3cMp%jdV3qH¥ 2¢qrp%~\'`·B5¯£\uTuf!jmV3qQV3U`` 1n8ef%\MT*fZrYMgµi|jq{[jd{\uqp%jk¤\MT*fUp*Vf%\Mp*fV3UY3cMp%jmV3qf
Y<q{Rp%~\Mq¬ef%\^p%~\f%\^jd{\Mq/pj¤\MT*fjkqRob7Y3c\V3f%\upufjkqRp%~\^Tu\f!pT%jmcMp%jdV3qRV3o\uTMY<puV3T:¥ Vµc:Y<p*\MT
V3Tp%~jdf$oVXf%f!jkijbkjkp´g/n:p%~\Y<bdWX\uiTY}jkq/p%TuV/{Lec\fUY'fV3T%p #/ $%#"'%"")Y<q{p¢³V^cV3qf!p%T%ecup*V3Tufn
%#Y<q{ 0#n/o\uT%Z[jkp%p%jkqW f%\upufCV3$jd{\Mq/p%jk¤\MT*f7j¡¥¨\8¥Y^bY<i\Mbf%\Mp:n/jqR`` p*\MT%Z#f*
V3TY f!jkqW3bm\jm{\Mqp%j¤\uT¡Y£Y<T%jY<ibd\Cq1Y<Z#\CiV3eq{p*VY'f%\MpM$p*Vi\C£/jd\M³C\{rY3f=%T*\f!p%T%jdcMp%jmV3qf ?;¥
$)rjdfef%\{Np*V[cV3qf!p%T%ecup\le1Y<p%jdV3qf7T*V3Z jd{\uqp%jk¤\MT*fY<q{N£Y<bke\fn;³~jbd\'p~\}Tu\uZFY<jkqjqW
cV3qf!p%T%ecMp*V3T*f Y<T*\ef\{Rp*Vrie|jbd{®Y3WX\Mqp*f¥1#V3p*\p%~1Y<p p%~\2"43¬V3o\MTMY<p*V3T pMY<°\fY<qGY3WX\Mqp
Y<q{ Y<q Y3WX\uqp^TMY<Z#\[Y3fY<T*W3eZ#\Mq/p*f<²1jkqp%ejkp%j£\Mbkgnp%~\TMY<Z#\cV3qpMY<jkqf}i|jq{;jqWXfV3T-p%~\
7T*\\£Y<T%jY<ibm\fCp%~Y<pCZFYugQY<oo\<Y<TjqFp%~\-Y3WX\uqp:¥
$-
!"#
$ %
&' (!"#*)
,+
% (!"#
-%
...
0/
1 23
4
5 1
26789
: 1
;5 1
26789
...
26
78
0
-
2678
0
$
26<=">?78@!"#
$ %
...
A
B 23'
;
+ 23'
'
-
26 78C'
D
)E 23
<9' 78*'
;
D B1
23' <C' 78F'
23' <
0
78*'
G E 23' <H!#' )
,+
% 7;8F'
,
...
)1
5
2
0;
'I78(
$
26<C?78KJ
B
...
-L
23
<9
78MJ
;
B
...
+NO;
,
2F!PQB
0%
78C
+ +J
26<C
789J
B
...
+NO,)
,+
2F!!;"#
$ % B
0%
78@!"#*)
,+
%
+NO,)
,+
- 2(!">C)
,+
%
78R!!"#
$ % B
0O%
+ 5;S
2F"#
-
5 1 T
)
0+
2F!">C)
,+
%
<=!">
;-%
7;8=!"#
-O%
...
B
2F!#'
I -%
<R!P
U, -%
<*'
,
<9
<F' 78MJ
;
B
-L
'
2F!#'
I -%
<R!P
U, -%
<*'
, 7;8MJ
B
;5
1
HV#W PXY#Z[
-L
'
RV#W PX\#Z[
5 '+O
...
]=^
5
I
2_
6' `
^
...
aA
/
b
...
;c aA
/
b
...
J$jmW3e|T*\ ] q Z#V{Lebd\V3T``
~\) µf\cMp%jdV3q¬jkqp%T*V{Lec\fV3o\MTMY<p%jdV3qfp%~1Y<pZFYugxi\Y<oobkjd\{xp*V#\ubd\MZµ\Mqp*fV3CW3jk
£\uq f%V3Tp*f¥ ~\f\^V3o\uTY<p%jmV3qf{Lj±1\MT7T*V3Z cV3qf!p%T%ecup*V3TufCjqxp~1Y<pp%~\-S`ª³jbkbUWX\Mq\MTMY<p*\
jZ[obd\MZµ\MqpMY<p%jdV3qfCV3Tp%~\-b7Y<p%pu\uTie|pqV3pV3T'p~\'V3TZµ\MT:²|ef%\uTufZef!poT*V£/jd{\^TuV3ep%jkq\f
V3Tp%~\f%\8¥ ~|jmfU\:Y<p%eT*\o\uT%Z[jkp*fJef\uT*f$puV'T*\M ef%\\M©jmf!pjqWcV/{|\Y<q{p*VoT*VXW3TMY<Zº\;#cMjm\Mq/p
X
aA
/
b
N ^ B ^ 8 A4
^
TL
^ 8 ];
^ ^ 8 A
^ ^ 8
A
...
5
...
+ B
'
, ? )Q'
,
'
$ B
0I ) !>'
I$ O%
B
0
...
' ,++O
'
,
2 A4 ! A B !
%%
'
;
]; ' )
,+
A ! G E !#'
;
&' ,)
,+
%%
...
'
, )
,+
23'
$ B
0
!+NO,)
,+
!#'
$ B
0%%
B
0
'
$ B
0
+
5S B
0 D
/ a /
I :(ACD
/ a /
)Q'
$
...
;c aA
/
b
...
' ,++O
B;
2 '
-
:
-
::A ' ;L
;:] '
;
!
O
!#'
-
, -
`'
;W
'
;
X
%%
..;.
J$jdW3eT*\- #Y<q{ f%\cupjmV3qN=V3T``
jZ[obd\MZµ\MqpMY<p%jdV3qfV3bdV³ bm\M£\ub{Y<pYrf!p%T%ecup%e|T*\fY3fY<ooT*V3o|T%j7Y<pu\X¥ ~/ef<np*VNWX\Mq\uTY<p*\[Y
`· 5®7T*V3qpU\Mq{V3qp%~\i1Y3f!jdf$V3p%~\\M©Y<Z[obd\Y<bmWX\MiTMYZ#V/{;ebm\Yef%\MT$³V3ebd{^q\\up$puVo|T*V3
£/jd{\jZ[obd\MZµ\MqpMY<p%jdV3qfUjq /pMY<q{Y<Tu{Nw p%~\b7Y<qW3e1Y3WX\}jkqr³~jmc%~Qp%~\ `· 5 jdf³T%jkp%p*\Mq1
V3TV3o\MTMY<p%jdV3qfCf!ec%~RY3f%/#& ;n&/ %[Y<q{ &#!4 ;¥
~\ # CcV3Z[oV3q\uqpV3/p%~\U\u©|Y<Z[obm\Hjqp%T*V{Lec\fp¢³CVf%\uZFY<qp%jdcJT*\Mb7Y<p%jdV3qf %#! )* ! %"")
Y<q{" 0" # ;¥ 2´qxp~jmf£\uT*fhjmV3qRV3`` 1np~\'p%TY<qf!jkp%jmV3qfY<q{NoV3p*\Mq/pj7Y<bV3T{Ljk£\uTuWX\uqc\
V3Y<q#Y3WX\uqp{\Mo\uq{-V3qp´³V\uq£jT*V3q|Zµ\Mqp*f V3q\p*VT*\f%V3b£\7T*\\CY3WX\MqpU£Y<T%jY<ibm\fnY<q{V3q\
p*V[T*\fV3b£\7Tu\\ £Y<T%jY<ibm\fef%\{xjqRT*\f!p%TjmcMp%jdV3qf¥
~/ef}\:Y3c%~RT*\Mb7Y<p%jdV3qRjqcubke{\fY<q )%
)0) #&" ) )%[Y<q{xY<q %* )0) #&" ) )%[Y<T*W3eZ#\Mq/p:¥
JV3T\<Y3c%~[T*\MbY<p%jmV3q[p%~\ )%& }f\cMp%jdV3qjkq{Ljdc:Y<p*\f$p~\V3TZp%~\S1` ¡WX\Mq\MTMY<p*\{eqcM
p%jdV3qV3TUcV3Z[oep%jkqWCp%~|jmfT*\ubY<p%jdV3qf!~V3ebm{-pMY<°\X¥:2¢qp%~\c:Y3f%\CV3 %#! )* %"")1nV3T\u©|Y<Z[obm\8n
p%~\jkqoepfho\cMj¤c:Y<p%jdV3qRjq{;jmc:Y<p*\fp~1Y<pp%~\WX\Mq\MTMY<p*\{¬7e|qcupjmV3qRf!~V3ebm{x~1YM£\p%~T*\\^jkq
oep*ftcV3T%Tu\f!oV3q{;jqWpuV}p%~\¤Tuf!pUp%~T*\\oVXfhjp%jdV3qf$V31p%~\T*\MbY<p%jmV3qx~\uTu\Xn3p´³V'\Mq£/jkT*V3qZ#\Mq/p
Y<T*W3eZ#\Mq/p*f-Y<q{øY<q¯Y3WX\uqpMM¥r¦j£\Mq fhec%~GYµpT%jo|bm\8np%~\7eqcup%jdV3q ³jbkbUT*\Mp%eT%q p%~\f\upV3
öêHîrã3ÙMë¡×â!à3á:Ò$Ù*ÛÓÒ7ÕCýMâ!à:â!Ö¡Ù*ÚâUÑ65CØ:ÛÜâ 5â!àÚ¡ÙÚÑÜÕMàÂÒÕ*Þ1Ò7ÕuÖÚ¡ÒÐ3Ù,ÑÜà<ýë¢ÕMà3Ò7ÚÖß3ë¢ÚÕMÖ¡ÒJáâë´ÛÓÙ*Öâ%áÞÕMÖJÚÐ:â 5
ÑÜÚ1Öâ!ÛÜÑÜâ%ÒÕMàßÂÒ7â!Ö¡Ò1ÚÕCÒ7Ø3âë´ÑÞÝCÑ65Ø<ÛÜâ 5Câ!àÚ¡Ù*ÚÑÜÕMà3Ò/ÕuÞÒ7ÕMÖÚ¡ÒÞÕMÖ1ÔÐ:ÑÓë=Ðà:Õë¢ÕuàÂÒ7ÚÖß3ë¢ÚÕuÖ¡ÒÐÂÙ,uâtã3â!âhàÒ7Ø3â%ë¢Ñ:â%á
æ<ÕMÖ1â:Ù5Ø<ÛÜâô ,*
Ô1ÕMß<ÛÓáÐ3Ù,Mâ$ÙöêJîçdÒ7ß<Ø<Ø:ÛÜÑÜâ%áCÑ65Ø<ÛÜâ 5Câ!àÚ¡Ù*ÚÑÜÕMàô%Ò7ÑÜà3ë¢âJÚÐ<ÖâhâUë´ÕMàÂÒ7ÚÖß3ë´ÚÕMÖ¡ÒÐÂÙ,uâ *
ÙMÒ
ÚÐ<âhÑÜÖÖâhÚß<ÖàÒ7ÕMÖÚ |Ï1Ð<âÒ7ÕMÖÚ A ô3ÕuàÚÐ:âUÕMÚÐ<â!ÖÐ3Ù*àÂáXôXáÕâ%Òà:ÕMÚÐÂÙ,uâë´ÕMà3Ò7ÚÖßÂë´ÚÕMÖ¡Òáâ3à<â%áÞÕMÖÑÜÚ
ë´ÕMà3Ò7âuß:â!àÚÛÜÝMô<Ùß3Ò7â!Ö 5ß3Ò7ÚHÒ7ß<Ø<Ø:ÛÜÝë´Õ:áâáâ:à:ÑÜà<ýÚÐ<âá<Ù*Ú¡ÙÒ7ÚÖß3ë´Úß:ÖâÚÕã3âßÂÒ7â%áÚÕÖâhØ<ÖâÒ7â!àÚ1ÞÖ¡Ù5CâÒ
3]
Y<bb}Y3cupjmV3q ¢Y3WX\Mqpo1Y<jTuf^³~jdc%~HnH³~\uq cV3Zi|jq\{¸³jp%~øp%~\[p%T%jkobm\8nJg/jd\ubd{GYRl8e|jqp%eobd\jkq
p%~\ T*\ubY<p%jdV3qH¥32´qxp~\^c:Y3f%\^V3 " 0"$# ;nY<bbHob7Y3c\fY<T*\'Z#\Mq/p%jdV3q\{rjkqxp%~\'jkqoe|pCbkjmf!p3²;jkq
p%~jdfCc:Y3f%\8np%~\}S1` ³jbkbWX\uq\uTMY<pu\'Y7e|qcupjmV3q#pMY<°jqW-p%~T*\\ Y<T*W3eZ#\uqp*fY<q{rT*\Mp%eT%q|jqWY
iV/V3bd\<Y<q$¥
~\ # ^f%\cMp%jdV3qNjkqcubke{\fZjdf%c\ubkbY<q\V3ef{LjkT*\cupj£\fV3T}f!o\cMj¤ci1Y3c%°N\Mq{f¥:2¢q
p%~\Y<iV£\\M©Y<Z[obd\8np%~\CW3jk£\uqo|TMY3W3ZFYjkq{Ljdc:Y<p*\fHp%~1Y<p$p%~\o1Y<Tuf%\uTtoT*V{Lec\{ i/g-p%~\S`
i1Y3c%° \Mq{ V3Tp%~\#`· 5 f!~V3ebm{ ~1Yu£\F\uqp%T%jd\f'V3TY3WX\uqp*fnY3cMp%jdV3qfY<q{ jm{|\uqp%jk¤\uTf%\Mp*f¥
~\f%\xY<T*\Fq\\{\{Gf!jkqc\#p%~\Q`·B5 fheooV3T%p*fcV3Z[ZrY<q{f^T*\l8e|jT%jkqWxef%\MT*fp*V oT*V£/jd{\
jq|V3T%ZFY<p%jdV3qµ7TuV3Z p%~\f%\f%V3T%p*f<¥ ¶ p%~\MTCoTMY3W3ZFY3fZjdW3~pCi\ef%\{µp*VTu\uq1Y<Z#\f%V3Tp*fY<oo|T*V3
oT%jY<p*\Mbg¹f%V3Z#\'p*VV3bdfZjdW3~pT*\lejkT*\-Yp¢g/o\%#&"'TMY<p%~\MTp%~Y<q' )%n;V3T \M©Y<Z[obd\<V3T
f!eoo|bg[q1Y<Z#\fV3$bkjiTY<T%g[¤bm\f¥
Y<Z[obd\f-V3p%~\#f!gq/pY<©®f%\cMp%jmV3qf^V3p%~\r`` ®Y<bdWX\uiTYQfho\cMj¤c:Y<p%jdV3q Y<o|o\:Y<Tjkq J$jk
W3eT*\¥
~\ cV3Z[oV3q\uqpcV3q/pMY<jkqfUjkqV3T%ZFY<p%jdV3qq\\{\{p*V^WX\Mq\MTMY<p*\Cp~\Co1Y<T*f\uT*f
p*Vµi\ef\{xigxp%~\^pMY<TuWX\up p*VV3b¡²p%~jdfcue|T%T*\Mq/p%bkgrpY<°\fp%~\V3TZ V3Y `` bjk°\[W3TMY<Z[
ZFY<T³~VXf%\Nf\uZFY<qp%jmcFY3cMp%jmV3qfcV3qfhjmf!pufV3>=*f%V3T%p% ¡cV3T%T*\cup?¬\M©oT*\f%f!jdV3qfiejkbpef!jkqWxp%~\
cV3qf!p%T%ecMp*V3T*fHY<q{^eqcMp%jmV3qf{\cMb7Y<T*\{'o|T*\u£jdV3ef!bkg¥02¢q^p%~\\M©Y<Z[obd\8np%~\fhg/qpMY<©-V3p%~\U¤©
oV3jqpY3WX\Mq/pV3o\MTMY<p*V3Tjmf{|\u¤q\{[p*Vi\
=
#
$) $) ) nL³~\MT*\\:Y3c%~
jmfY<qr\le1Y<p%jdV3qH¥ #V3pu\p~1Y<pS` W3TMY<Z[ZFY<T*f\u©p*\Mq{ ``«W3TMY<Z[ZFY<T*fUi/g[o\uTZjkp%p%jkqW
bjdf!pf!o\cMjk¤c<Y<pjmV3qf<²Âp%~\qV3qp*\MT%Z[jqY<b !$)!! $%n3V3T\u©|Y<Z[obm\8n8gjm\Mbm{|fbkjmfhp*fV3 !$)
¡Y3WX\Mq/p\l8eY<p%jmV3qf*³~VXf\'i\W3jkqqjkqW[Y<q{x\Mq{LjkqW[{\MbjkZ[jpu\uT*fY<T*\'p~\^\MZ[op´gFf!p%TjqW[Y<q{
³~VXf%\f%\Mo1Y<TMY<puV3TCjdfp%~\puV3°\uqQ #º ) jqFcV3qcuT*\Mp*\f!gq/pY<©M¥ ~\ f\cM
p%jdV3qR\uqTjmc%~\fCp%~|jmffhg/qpMY3cMp%jmc f!o\cujk¤c:Y<p%jmV3qF³jkp%~NjkqV3T%ZFY<p%jdV3qrq\\{\{Fp*Vo1Y<T*f%\p%~\ ¶
T%ebd\fp~1Y<p{\M¤q\'p~\^f%\MZFY<q/pjmcfV3oT*Vc\f%f%\f²|jkqxo1Y<T%p%jdcMeb7Y<T3n;jkp}jkqcMbe{\f{\u¤|qjpjmV3qfV3
p%~\cV3qcMT*\Mp*\Cfhg/qpMY<©V31T*\Mb7Y<pjmV3qf<¥ ~|jmfU\M©Y<Z[obd\C{|\u¤q\f$p%~\Cf!gq/pY<©V31p%~\%#! )* %"")
T*\Mb7Y<p%jdV3q#p*V'i\
=
=
2 ¥
~\S1` ¤p*fUp%~|jmfjq|V3T%ZFY<p%jdV3qjqp*VY WX\uq\MTMY<b
=%T%ebd\p*\MZo|b7Y<p*\ ?jq#V3T*{\MTp*V'oTuV/{Lec\Y W3TMY<Z[ZFY<T³~|jmc%~[jdfoTuV/c\ff%\{#Y<q{[p%~\Mq[ef%\{p*V
o1Y<T*f%\p%~\ef\uT% ¡fheoobkjm\{[T%ebd\f¥
?P? ÀÁ 7¼
~\#f%\cV3q{ o1Y<T%pV3'YNS` oT*Vc\f%fY<bmWX\MiTMYNf!o\cujk¤c:Y<p%jdV3q cV3qf!jdf!p*f^V3p%~\ ¶ ¸T%ebd\f
q\\{\{xp*Vr{|\u¤q\p%~\f%\MZFY<q/pjmcfV3oTuV/c\ff%\f<¥2¢q®WX\Mq\MTMY<b´nHY[ef%\MT'Zef!p f!eoo|bgRYFcV3bk
bm\cMp%jmV3qøV3CT%e|bm\f}=V3T\:Y3c%~ T*\Mb7Y<p%jdV3q jqp%T*V{Lec\{Rjkq¸p%~\ NZ#V/{;ebm\8¥ Y3c%~ T%ebd\jkq
p%eT%q#cV3qf!jdf!p*fV3=V3eTCcV3Z[oV3q\uqp*f UY'q1Y<Z#\8nLY'bkjmf!pV3
G
\^V
cD \ D n/Y
D c Z&\
I X d Z caEc
X d
n/Y<q{QY
I X d I
]
D c X d ¥ 2¢qNWX\Mq\MTMY<b´noTu\uZ[jdf%\fY<q{FcV3qcMbkef!jdV3qfjkq/£V3bk£\T*\ubY<p%jdV3qfn/³~jkbd\}fhjm{\cV3q{Ljk
p%jdV3qfc:Y<qNi\'Y<qgN\M©oT*\f%f!jdV3qNWX\Mq\uTY<p*\{#ef!jkqW^p%~\}V3bkbdV³jkqWW3TMY<Z[ZFY<T:n
?
!#"%$ 7'&%(
? 7 ?
)&+*
? 7 ?
,(-!
? 7-.
"( >
//
>
( +
3
;c
/
-
J 23
5 5
"
5W
5W
"
5
XY
5
XY"23'
,
26
2F!#'
I -%
2F!P
I -%
...
1B
5 )E
77;77777;77777;77777;77777;777Y!
;
1
%
2 .5
77F(778
5
...
5 BB
B
W
2
5W
7;7C(778
5OW
"
77;77777;77777;77777;77777;77777;7777;7777;7Y!
1
%
2
5W 5
XC7;7C(778
5OW
" 5 X
5 BB
BX
2 5
XC7;7C(778
5
XY"
77;77777;77777;77777;77777;77777;7777;7777;7Y!
1
%
2
5W 5
XC7;7C(778
5OW 5
XY"
5 BB
BZ
2
5W
77*Q7;78
5OW
"6
2 5
XC779J?7;78
5
XY"
77;77777;77777;77777;77777;77777;7777;7777;77777;7777;7777;777
!P
-
!#J
%%
2
5W 5
XC77
77;8
5W
" 5 XY"
...
J$jdW3eT*\4 Z#V/{;ebm\V3Tp%~\-`` %#! )* ! %"")[T*\Mb7Y<p%jdV3q
³~\MT*\
.
jmfY'oT*\{Ljdc<Y<p*\ UY<q/g[iV/V3bd\:Y<q ¡f%V3T%p*\{[7eqcMp%jdV3qµ{|\cMb7Y<Tu\{[jqFp%~\ )* f%\cup%jdV3qFV3T
Y<q/gRT*\MbY<p%jmV3qRjkq¸p~\ #/ µf%\cup%jdV3qøY<bbV3³~VXf%\oVXf!jkp%jdV3qf Y<T*\jkqoepoVXf!jkp%jmV3qf¥ ~\
(
f!~V3ebd{Ni\^p*\MT%Z#fjqxp~\Y<ooTuV3oT%jY<p*\^f%V3Tp:n|i1Y3f%\{xV3q p%~\^{|\u¤q|jp%jdV3qxV3
.
¥'7TMY3W3Z#\Mq/p
V3p%~\T%e|bm\f'V3Tp%~\ %#!$) ! %"" )xT*\MbY<p%jmV3q¹V3T`` Y<oo\:Y<T*f'jkq J$jdW3eT*\>4;¥ #V3p*\[p%~1Y<p
oT*\MZ[jmf%\fFY<oo\<Y<TQY<iV£\8n'Y<q{ cV3qcMbef!jmV3qfi\MbmV³-n}Y¸bkjkq\RV3^~g/o~\uqf<n³jkp%~«p%~\Rf!jd{\
cV3q{LjpjmV3q¹Y<oo\:Y<T%jqWjkq¸oY<T*\uqp%~\f%\f Y<7p*\MT}p~\^~g/o~\uqf<¥-bkb\u©oT*\f%f!jdV3qfjkq¸p%~\^T%ebd\f
Y<T*\³T%jkp%p*\MqµefhjqW-p%~\ cV3qcMT*\Mp*\f!gq/pMY<©#{\cMb7Y<T*\{µjkqNp%~\ Z#V/{;ebm\8²/p%~jdfC\Mq1Y<ibd\f
p%~\T%e|bm\fpuV^bmVV3°[£\uTgµcMbdVXf%\p*V^³~1Y<pY<oo\:Y<T*fjkqrp~\bjkp*\MTMY<p%eTu\X¥02¢qxY3{{Ljkp%jdV3qHn87eqcup%jdV3qf
{\M¤q\{rjqQp%~\ [Z#V/{Le|bm\ZFYugFi\ef%\{NjkqNp%~\T%ebd\f<²V3T\M©|Y<Zo|bm\8n#!
cV3qpMY<jkqfYT*\M\MT*\uqc\p*Vp~\ )0$# o|T*\{;jmc:Y<p*\8n³~jmc%~Fjqp%ejkp%jk£\ubkg#f!~V3ebd{µ~V3bm{r³~\uq
p%~\W3jk£\Mq®Y3cMp%jdV3qfT*\MoT*\f%\uqp Y<qRjq|oep Y<q{RV3ep%o|epV3qRp%~\f*Y<Z#\c%~Y<qq\MbC7qV3pu\^p%~1Y<p %
jmfp%~\cV3qcMT*\upu\f!g/qpMY<©[p%~1Y<p~1Y3fi\\Mqr{|\u¤q\{[V3Tp%~\`` jkq/p*\MT%q1Y<bY3cMp%jdV3q1M¥Uzebm\f\up*f
c<Y<qxTu\u\MTp*VTu\ubY<p%jdV3qf{\M¤q\{µjkqRV3p%~\MTT%ebd\ f%\upufn|Y<bkp%~V3eW3~NqV[f!ec%~NTu\u\MT*\Mqc\jdfZFY3{\
jqQp%~jdfC\M©Y<Z[obd\X¥
$4
N }" )
~\S1`«cue|T%T*\Mq/p%bkg^jkqcMbe{\fUi1Y3c%°#\Mq{f{\{Ljdc<Y<p*\{p*V'p~\`· 5 Y<q{p*VwxC ¶ ¥ ~\
V3T%Z#\MTWX\uq\MTMY<p*\fcV{\Cjkq w nÂp~\bY<qW3e1Y3WX\jkq[³~jdc%~p~\`· 5 jmfU³Tjp%pu\uqHn3³~jkbm\p%~\
b7Y<pp*\uT3n³~|jmc%~jdf$f!pjbkbeq{\MT$cV3qf!p%TecupjmV3qHn<oT*V{Lec\f J\ jdf!oHn<p%~\UoTuVXW3TMY<Z[ZjkqWbY<qW3e1Y3WX\
jqì³~jdc%~ªwx ¶ jdfµjkZ[obd\uZ#\Mq/p*\{¥ 2´q \<Y3c%~ c<Y3f%\8np~\xoT*V{Lec\{¯cV/{\RcV3q/pY<jqfQY
o1Y<T*f%\MT:n/f%V3Z#\eqoY<T*f!jkqW'7e|qcupjmV3qf<n/Y<q{FY^q/eZi\MTV3$f%\MZFY<q/pjmc7e|qcupjmV3qf\MqcV/{LjkqW p%~\
¶ ®T%ebd\fV3p%~\rY<bdWX\ui|TMY¥ ~\o1Y<Tuf%\uTufNWX\uq\uTMY<pu\{®ef!jqWQTu\f!o\cupj£\Mbg H\ jmf!o| Y3cc
Y<q{ w Y3cc:Y<T*\[7ebkbg cV3Z[o1Y<p%jkibm\8nJZµ\:Y<qjkqWNp%~1Y<pS1` ¡WX\Mq\MTMY<p*\{®7T*V3qp\Mq{f'=V3T
wxC ¶ Y<q{xp%~\`· 5ª~1Y<q{Lbd\'p~\f*Y<Z#\f!gqpMY<©1¥f ;\cMp%jdV3q®]jkq{Ljdc<Y<p*\{n~V³\u£\MT:n
p%~\Y<qY<bg;f!jdfteqcMp%jmV3qfUV3p~\CpMY<T*WX\Mpp*VV3bmfY<T*\{Ljk±1\MT*\uqp:nY3fCY<T*\p~\f%\MZFY<q/p%jdceqcMp%jmV3qf¥
~\^Tu\uZFY<jkq{\MTV3p%~jdff%\cMp%jdV3q {Ljmfcueff%\f³~1Y<p f%\MZrY<qp%jdc'7e|qcupjmV3qfp%~\{Ljk±1\MT*\uqpi1Y3c%°
\uq{fCZefhpCoT*V{Lec\Y<q{r~V³ªp%~\ugQY<T*\ WX\uq\MTMY<p*\{µT*V3Z ¶
rf!o\cMjk¤c<Y<pjmV3qf<¥
! # # -P+:4
2´q Y3{{Ljkp%jdV3q¸p*VN£/Y<T%jmV3ef}o1Y<Tuf!jqWxY<q{¸e|qo1Y<T*f!jkqW#T*V3ep%jkq\fnp%~\#`· 5 T*\lejTu\fp%~1Y<p-jp*f
7T*V3qpJ\Mq{jkqcubke{\HjZ[obd\uZ#\Mq/pY<p%jmV3qfV3/p¢g/o\f &'%Y<q{ )%Y<q{7eqcMp%jdV3qf %#!$) ! %"" )n
0" #/ µY<q{ " #%¥ ~\^7eqcup%jdV3qf\:Y3c%~RpMY<°\[Y<q Y3WX\MqpY<q{xT*\Mp%eTq Yµf%\Mp^V3Y3cMp%jdV3q
Y3WX\uqpo1Y<jTufnLY}iVV3bm\:Y<qHnLY<q{FY'f%\MpV3$Y3cMp%jdV3qfn8T*\f!o\cup%jk£\Mbg/¥ ~jdff%\cMp%jmV3q#{\f%cMT%jki\f$~V³
p%~\`·B5i1Y3c%°R\Mq{RWX\uq\uTMY<pu\fcV/{\-7T*V3Zp~\ ¶
x{\u¤|qjpjmV3qfV3f%\MZFY<q/pjmc^Tu\ubY<p%jdV3qf¥
¦'\Mq\MTMY<bbkgfho\:Y<°jqW;n/W3jk£\MqrYT%ebd\f%\MpUV3TY}o1Y<Tp%jmcMebY<Tf%\MZrY<qp%jdcCT*\Mb7Y<pjmV3qHnXp%~\pu\c%~q|jmle\
cV3qf!p%T%ecMp*f Yµ7e|qcupjmV3qR³~VXf\jkqoe|p*fcV3T%Tu\f!oV3q{xp*VFp%~\obY3c\f'jkq p%~\T*\Mb7Y<pjmV3q¹{\cubY<
T*\{RY3fjkqoe|p*fCjkqxp%~\ )% [f%\cup%jdV3qRV3Up%~\ [Z#V/{;ebm\8¥
¶
q¹Y[W3j£\Mqxjq|oep:np%~\
WX\uq\uTMY<pu\{NT*V3e|p%jq\}oTuV/{Lec\fY[f%\upV3Upeobd\fY3fV3epoep*f²Lp%~\ jm{|\<Yjdfp%~1Y<p\:Y3c%~RV3ep%oep
p%eobd\8n³~\MqrcV3Zijkq\{³jp~p~\Cjkqoepp%eo|bm\8nÂgjm\Mbm{|fCY<qF\ubd\MZµ\Mqpjkq#p%~\CT*\MbY<p%jmV3q$¥HfY<q
\u©|Y<Z[obd\XnÂjkqp%~\c<Y3f\V3p%~\ %#! )* ! %"") T*\ubY<p%jdV3q[{\M¤q\{jq L\cMp%jmV3q#¥Ü]n8oVXf!jkp%jmV3qfnL]
Y<q{[V3 %#! )* %"")-Y<T*\{\cubY<T*\{[Y3f$jq|oep*f²3p%~\oT*Vc\{LeT*\p%~1Y<pUjdf$oT*V{Lec\{^³jkbb;p%~\M
T*\MV3T*\Y3cc\Mop Y<q
) $ &+ $ &
>
* $ $ &
>
) $ &
pT%jo|bm\Y3fjkqoe|p Y<q{xoT*V{Lec\fY#f%\up
V3
)"! ( & >
) $ &
o1Y<jkT*fY3fV3e|p%oep³jkp%~rp%~\}oTuV3o\MT%p¢g[p%~1Y<pCjk$p%~\jkqoe|pCjdf#
= >
>
$
n
p%~\Mq o1Y<jkT%
=>
2&
jdfjq p~\[f%\upV3V3ep%oepuf}jkY<q{ V3q|bg¹j'
= >
>
>@=>
2&
jmf^jkq T*\MbY<p%jmV3q
%#!$) ! %"" )¥
2¢q V3T*{|\uT[V3T[p%~\FoT*Vc\{LeT*\Q{\fcuT%jki\{¹i\MbdV³ p*V¸³V3T%°np~\rT%ebd\fef%\{Gp*V¹{\M¤q\
f%\MZrY<qp%jdcCT*\Mb7Y<pjmV3qfUZef!pV3i\ug[c\uTpMY<jq[fhg/qpMY3cMp%jmcT*\fhp%T%jdcup%jdV3qf¥Jz\c<Y<bkb7TuV3Z L\cupjmV3qf]¥Ü]
Y<q{x¥Ü]¥]p%~Y<p ¶ µT%ebd\f~1YM£\'p%~\V3bkbdV³jkqWWX\Mq\uTY<bV3TZ$
!
"
#$% !&#')(*!&+
3
³~\MT*\
I X d7I
] D cX d
jdfY<qF\Mbm\MZ#\uqpV3p~\CT*\Mb7Y<pjmV3q[i\ujkqW{\M¤q\{n'
G \ V cD \ D
jdfY}bkjmf!pV3H\Mbm\M
Z#\uqp*fUV3p%~\T*\Mb7Y<p%jdV3qi\ujkqW{\M¤q\{V3TV31V3p%~\MTUT*\Mb7Y<p%jdV3qfU{\cMb7Y<T*\{jkqp%~\# f%\cMp%jdV3qHn
Y<q{
D c Z&\
I X d Z caEc
X d
jdfYriVV3bm\:Y<q®\M©oT*\f%f!jdV3q®p%~1Y<p ZFYugRjkq/£V3bk£\o|T*\{;jmc:Y<p*\\M©/oTu\f%fhjmV3qf
V3Cp%~\V3T%Z
. "( >
> ( +
n³jkp%~¸p~\
(
i\ujkqW#p*\uTZµfp%~Y<p'ZFYugRjkq/£V3bk£\[£Y<T%jY<ibm\f¥$JV3T
p%~\FcV{\µo|T*V/{;ec\{¸ig p%~\r`· 5 i1Y3c%°ø\uq{ puV¬cV3Z[ojkbm\8n\:Y3c%~GT%ebd\µZefhpf*Y<p%jdf!7g¹p%~\
V3bkbmV³jqWcV3qfhp%TMY<jkq/p*f<¥
¥bkbJ£/Y<T%j7Y<i|bm\fY<oo\:Y<T%jqWjqNp~\}jkqoe|poVXf!jpjmV3qfV3Up%~\oT*\MZ[jmf%\fZef!pY<oo\:Y<Tjkq
p~\jqo|epCoVXf!jkp%jdV3qfV3tp%~\ cV3qcMbkef!jdV3qH¥
]¥bkb£Y<T%jY<ibd\fY<oo\:Y<T%jqW}jkqµp~\V3ep%o|epoVXfhjp%jdV3qfV3p%~\cV3qcubkef!jdV3q#V3Tjkq#p%~\f!jd{\
cV3q{Ljkp%jdV3q[Zef!pY<oo\:Y<TC\Mjp~\uTjkqµp~\jq|oepoVXf!jpjmV3qfV3p%~\cV3qcMbefhjmV3q#V3TCjkq#p%~\
V3e|p%oepoVXf!jpjmV3qfV3YoT*\MZ[jmf%\8¥
¥bkb£Y<T%jY<ibm\fY<oo\:Y<T%jkqWjqQp%~\jqo|epCoVXf!jkp%jdV3qfV3$p%~\'cV3qcMbefhjmV3qxV3Tp~\V3ep%oep
oVXf!jkp%jdV3qfV3YoT*\MZjdf%\ Y<T*\ {Ljdf!p%jkqcup3¥
~\f%\cV3qf!p%TMY<jkq/pufobY3c\T*\f!p%TjmcMp%jdV3qf1V3qp%~\ =^UV³GV3{Y<pY?p%~T*V3eW3~YCT%ebd\ jkqV3TZrY<pjmV3q
UV³}f7TuV3Z p%~\Cjkqoe|p*fV3p%~\cV3qcubkef!jdV3q[p*V'p%~\oT*\MZjdf%\fn/Y<q{[p%~\V3ep%oepufUV3JoT*\MZ[jmf\f
UV³ p*VXWX\up~\uT³jp~Njq|oep*fV3Up%~\ cV3qcMbkef!jdV3q1p*Vp%~\ f!jd{\^cV3q{Ljkp%jdV3qRY<q{rp~\^V3epoep*f
V3'p~\rcV3qcMbefhjmV3qH¥&#V3pu\RY<bmf%V p%~1Y<p[o1Y<p%pu\uT%qfV3^Y<TijpTMY<T%g {|\uop~¯c<Y<q Y<oo\<Y<T[jkq¯p%~\
jq|oepV3TV3ep%oepUoVXf!jkp%jdV3qfUV3p%~\cV3qcMbefhjmV3q[V3ToT*\MZ[jmf%\f¥:2´pf!~V3ebm{i\CqV3p*\{p%~Y<pp~jmf
T%ebd\}=V3T%ZFY<pf!eifheZ#\fp%~\oVXf!jpj£\-¦ ¶ µV3TZrY<pV3
*
4.³~jkbd\}i\MjqWjkqcV3Z[o1Y<TMY<ibd\p*V
p%~\p´g7p A<p¢g©/po1Y<p%p*\MT%qNV3
*
3.tY<q{rp%~\o1Y<p%~¬f%c%~\MZµ\V3
*
]$.¡¥9V³\u£\MT:n|T*\f!p%TjmcMp%jdV3qxc:Y<q
i\Tu\ubY<©L\{R³jp~V3ep p*V/VFZec%~ {;j;#cMebp¢gxp*VxY<bkbdV³ £/Y<T%j7Y<i|bm\fY<oo\:Y<T%jkqWµjkq®p%~\V3ep%oep
oVXf!jpjmV3qfV3oT*\MZ[jmf%\fp*VNY<o|o\:Y<T jqRp%~\jkqoe|poVXfhjp%jdV3qfV3V3p%~\MT'oTu\uZ[jdf%\f<²³jp~¬p~jmf
WX\uq\uTMY<bkj7<Y<p%jdV3qHnLV3eT=V3T%ZFY<p³CV3e|bm{Ff!eif!e|Zµ\p¢g/p A<p´g©pY<q{roY<p%~H¥
¶
p%~\MTC=V3T%ZFY<p*fY<bkbmV³
q\WY<p%j£\oT*\MZ[jmf\f
*
4;n1$4;n]1$.tY<q{xY<T*\jkqcV3Z[o1Y<TY<ibm\p*VV3e|T*f¥
~\i1Y3f!jdc f!p%TMY<p*\W3g[ef%\{rigµp%~\}cV{\'WX\Mq\MTMY<p*\{µ7TuV3Z Tebm\fjkq£V3b£\fo1Y<p%p*\MT%q#ZFY<p%
c%~jkqW JW3j£\Mq[Yp%eobd\UV3jkqoepufn3YWX\Mq\MTMY<p*\{'7e|qcupjmV3q jq\f%f\uqc\{\Mp*\uTZjkq\f³~jmc%~-T%ebd\f
~1Yu£\cV3qcMbef!jmV3qf³~VXf%\ jqo|epoVXf!jpjmV3qfZrY<puc%~¬p~\'jkqoepp%eobd\X¥f!jkqWp~\^oT*\MZ[jmf\f
V3$p%~\f%\T%ebd\f<n;Y<o|oT*V3oT%jY<p*\7T*\cMeT*f!jk£\<c:Y<bbdfY<T*\jmf%fhe\{Jn;Y<q{rp%~\T*\f!ebkp*f³~jmc%~¬f*Y<p%jdf!7g
p%~\Ff!jm{|\rcV3q{Ljkp%jmV3q Y<T*\NcV3Zijkq\{¹jqp*V¹Y¬f%\Mp[V3T*\f!ebkpp%eobd\f^ef!jkqWxp%~\#V3T%ZV3p%~\
cV3qcubkef!jdV3qH¥ V^jkbbkef!p%TY<p*\p%~|jmfUjd{\<YnLcV3qf!jd{\MTp~\CT%ebd\fW3jk£\uq#V3T`` jq L\cMp%jmV3qQ¥Ü]¥]n
Y<q{¯f!eooVXf%\Fp%~1Y<p[p%~\NWX\Mq\MTMY<p*\{Gf%\MZrY<qp%jdcr7eqcup%jdV3qGjdfW3jk£\MqªY<q¯jkqoep#V3p%~\r=V3T%Z
) $ >
$
>
872 ¥ 2¢q[p%~jdfc:Y3f%\8n8p%~T*\\CT%e|bm\fY<T*\Y<oobkjdc<Y<ibd\u_ #!!
n4/#!^Y<q{
/#!
¥ Y3c%~øV3p~\T%ebd\fZ#\Mq/p%jdV3qfp%~\-p%TMY<qf!jkp%jdV3qfV3
V3T
2
jq p%~\o|T*\uZ[jdf%\f²
cV3qf%\le\Mq/pbg/nÂp%~\WX\uq\MTMY<p*\{#cV{\C³V3ebd{jkqcMbe{|\CT*\cueTuf!j£\c<Y<bkbmfp*V-c<Y<bdcue|b7Y<p*\p%~\Cp%TY<q
f!jkp%jmV3qf^V3T%
) $ >
$
>
$ Y<q{
)+$
>
$
> 2 ¥ ¶
qGp%~\[i1Y3f!jdfV3p%~\[¤T*fhpT%ebd\Xn$p%TMY<qfhjp%jdV3qf-V3
3
³V3ebd{Qi\cV3Zijkq\{ Y<ooT*V3oTj7Y<p*\Mbkgr³jkp%~
2
n³~|jbd\^p%~\f%\cV3q{xT%ebd\^³V3ebd{QpTMY<qf!V3TZ
p%TMY<qfhjp%jdV3qfV3
2
i/gRcV3ZijkqjkqWµp~\uZ ³jkp%~
¥ ~\¤q1Y<bT%e|bm\cV3Zijkq\f}pTMY<qf!jkp%jdV3qfV3
p%~\V3T%Z
=>
0 Y<q{%
?>
2 0
jkq/puV B > 0792 0 G X
c
Z&\FZ
E`7A(E
p~\oTu\{Ljdc:Y<p*\ )0$#&
" = >?
+
jdf
f*Y<p%jdf!¤\{¥
~\T*\fhebpufCV3$p%~\f%\cV3Zijkq1Y<p%jdV3qfY<T*\'cV3bkbm\cupu\{#jqp*VV3q\ f%\MpY<q{µTu\up%e|T%q\{¥
V^jkZ[oT*V£\p~\o\uT%=V3T%ZFY<qc\V3Jp%~\WX\Mq\MTMY<p*\{µcV{\Xn8p~\ `·B5¯i1Y3c%°#\Mq{rY<bdf%V\MZ[
obdVg;ff%\u£\MTMY<btV3op%jkZj7:Y<p%jmV3qf¥ JV3T\M©Y<Z[obd\XnLjkqxV3T*{\MTp*VZ[jq|jZ[j7\ZFY<p*c%~jkqWV£\MT%~\:Y3{n
T%ebd\f ³jkp%~¸p~\f*Y<Z#\jkqoe|p}oY<p%p*\MT%q¸jkq®p~\ujkT-cV3qcMbkef!jdV3qfY<T*\[W3T*V3e|o\{¹Y<q{¸oTuV/c\ff%\{
f!jkZebkpMY<q\V3ef!bkg¥Jbdf%V;nÂp%~\WX\Mq\uTY<p*\{-T*V3ep%jkq\fJc:Y3c%~\T*\f!ebkp*f$V3|T*\cMeT*fhj£\c<Y<bkbdf$jq[Y~1Y3fh~
pMY<ibd\X²i\uV3Tu\}jdf%f!ejkqW[YT*\cueTuf!j£\ c:Y<bb´n;p%~|jmfpMY<i|bm\jmfcV3qf!e|bp*\{rp*V[{\Mp*\MT%Z[jq\jkUp%~\ c:Y<bb
~1Y3f^i\\uq ZFY3{\[i\u=V3T*\X¥ Vx{\MZ#V3qf!p%TMY<pu\p~\[f*Yu£jqWXf7T*V3Z p%~jdf'p*\c%~qjdle\Xn$cV3qf!jd{\uT
~V³p~\`· 5 ³V3ebd{xcV3Z[ojkbm\p%~\Y3WX\uqp
872
jkqp*V#Y-bY<i\ubd\{rp%TMY<qfhjp%jdV3qxf!g;f!p*\MZ´J$jTuf!p:n
Yrc:Y<bbUjdf}ZFY3{\puVrp%~\WX\Mq\MTMY<p*\{®`` Np%TMY<qf!jkp%jdV3qR7eqcMp%jdV3q¬³jp%~ = >
>
8792
Y3f'jkqoep
= Y<q{
Y<T*\p~\cue|T%T*\Mq/pY3WX\uqp[Y<q{¹f%\Mp^\Mq/£jkT*V3qZ#\uqp*f*¥µ7p*\MT'ZFY<°jqWFp%~\T*\cueT
f!jk£\}c:Y<bkbmfp*VcV3Zo|ep*\p%~\pTMY<qf!jkp%jdV3qfV3
Y<q{
2
np~\WX\uq\uTMY<pu\{ %#!$) ! %"" )7e|qcupjmV3q
f*Yu£\fp%~\T*\f!ebkp*fV3$p~\f\'c:Y<bbdfjkqRYpMY<ibd\X¥JT*V3Z
AG
G
]3\XnLjp=V3bbdV³fp~1Y<p
872
~1Y3fY
p%TMY<qfhjp%jdV3q
=>
10 792
V3T^\M£\MT%gxp%TMY<qfhjp%jdV3q
=>
10 V3
¥
~\^q\u©p^fhp*\uoRjkq®cV3Z[ojkbjkqW[p%~\
b7Y<i\Mbm\{[p%TMY<qf!jkp%jdV3qrfhgLf!pu\uZ =V3T
872
³jkbbjkqcMbe{|\cV3Z[oepjqW p%~\p%TY<qf!jkp%jmV3qfV3\<Y3c%~
0)792
²
iep:njkq®p%~|jmf-c<Y3f%\jkqf!p*\:Y3{ V3ZFY<°/jkqWµTu\cMeT*f!jk£\[c<Y<bkbdf'p*VrTu\cV3Z[oep*\p%~\p%TMY<qf!jkp%jdV3qf V3
2
n %#$) !%" ) ³V3ebm{GfhjZ[obkg¸bdVV3° p%~jdf^eoGjkqGp%~\[p%TMY<qfhjp%jdV3qf^pY<ibm\8¥
~jdff!p%TMY<p*\W3g
bm\:Y3{fp*Vf!jdW3qjk¤c:Y<q/pp%jkZ#\f*Yu£jqWXf³~\Mq#cV3Z[oe|p%jqW}p%~\¤qjkp*\u ¡fhpMY<p*\CT*\MoT*\f%\Mq/pY<p%jmV3q[V3Y
f!g;f!p*\MZx²Lf%V3Z#\M³~1Y<pf!eT%o|T%jmfhjqW3bkg/n8jpc<Y<q¬Y<bmf%Vbd\:Y3{rp*Vf!e|if!pMY<qp%jY<b1f!o1Y3c\'f*YM£/jkqWXfY3f³C\Mbkb¡n
f!jkqc\ f!~1Y<TjqW-i\cV3Zµ\foVXf%fhjibd\jqQp%~\cV3Z[oe|pMY<p%jdV3qNV3UV3epoepp%eobd\f<¥
3 #! - +$4
wxC ¶ ef%\f Y#=*cV3ZoVXf!jkp%jdV3q1Y<b?QiV3pp*V3Z[ eo1CY<o|oT*VY3c%~Rp*Viejkbm{;jqW[Y<e|p*V3ZFY<pMY²|bY<q
W3e1Y3WX\cV3qf!p%T%ecup*fY<T*\Cjkq/p*\MT%oTu\up*\{Y3fY<ep*V3ZFY<p*V3q[p%TY<qf!V3T%ZFY<p%jdV3qfnXY<q{p%~ef$jkpjdfUqV3pUjkq
WX\uq\uTMY<btoVXff!ji|bm\^puVef\{LjkT*\cMp%bkgrp%~\^p%TMY<qfhjp%jdV3qx7eqcup%jdV3qR{\f%cMT%ji\{xY<iV£\8¥ ~\f*Y<Z#\
¶ FTebm\fp%~1Y<pgjd\ubd{xp%~\
E3GFAd0D caEc X d
7eqcMp%jdV3qxV3Tp%~\`·B5 Y<Tu\^jqp*\MT%oT*\Mp*\{NY3f f!o\cMjk
7gjqWp%~\f%\Y<ep*V3ZFY<pMYp%TMY<qf!V3T%Z#\MT*f¥
~efn;p~\'f\uZFY<qp%jmc 7eqcMp%jdV3qfWX\Mq\MTMY<p*\{ri/gQp%~\
S1`ªV3T-wxC ¶ \MqcV/{|\
EGHAd0D caEc
X
d<D .DHE
\ V
EGFAd D Z%
I \ G D
jkqxp%~\^f\uqf\^V3 $Y<Tuf%\uq Y<q{
jq|©/jkq
*
3.´¥ `CV3Z[oe|p%jqWNp%~\FY<ep*V3ZFY<p*V3qGV3T
8792
nV3T[\M©Y<Z[obd\XnUjq£V3b£\f#cV3Z[oepjqW
f%\Mo1Y<TMY<p*\Mbgxp~\¤qjkp*\Y<epuV3ZrY<pYµ{\f%cMT%ji|jqW#p%~\^ebbUi\M~1Yu£jdV3T*f'V3
Y<q{
2
n$\u£\Mq/pe1Y<bbkg
T*\{LecMjqW[\:Y3c%~RV3p%~\MZY3ccV3T*{LjkqWp*VrY<qgxcV3qW3T%e\Mqc\Y<p~1Y<q{n;p%~\uqRcV3ZijkqjkqWp%~\MZ
ef!jkqWp%~\p%TMY<qf%{Lec\uTV3To1Y<TMY<bkbd\ubHcV3Z[oVXf!jkp%jdV3qH¥ 2¢qxoTMY3cMp%jmc\8np%~\}T%e|bm\V3T%ZFY<pCTu\lejkT*\{
i/gRp%~|jmfjqp*\MT%oT*\MpMY<p%jdV3qxjdf}Z#V3T*\T*\f!p%T%jdcMp%j£\-p%~1Y<qRp%~\V3q\jkq¸p~\oT*\c\{LjkqWrf\cMp%jdV3q }jp
\uqf!eT*\f}p~1Y<p^p%~\p%TMY<qf%{;ec\MT WX\uq\uTMY<pu\{ V3TY<qg cV3qp*\M©/p\u©oT*\f%f!jdV3q¸jdf'¤|qjpu\ubkgxT*\MoT*\M
f%\Mq/p*\{nY<q{ p%~1Y<pp%~\FcV3ZijqY<p%jmV3q V3¤qjkp*\NY<epuV3ZrY<pY¬Y<bk³Yug;fgjd\ubd{f[YN¤qjkp*\rW3bdV3i1Y<b
Y<ep*V3ZFY<p*V3qH¥ ~\f!p%T%ecup%e|T*\^V3p%~\^eqcMp%jmV3qfoT*V{Lec\{NV3T-wxC }¶ jdf-Y<bmf%V#£\uTgR{Lj
\MT*\uqpCT*V3Z p%~\f!p%TecupeT*\V3$p%~VXf%\oT*V{Lec\{#V3TCp%~\^`· 5¥ 2¢qxWX\Mq\uTY<b¡nLp%~\MT*\ Y<T*\p´³V
7eqcMp%jdV3qfUV3T\<Y3c%~QV3o\MTMY<p*V3T3n/V3q\{\fcuT%jkijkqWp%~\CT*\cMeT*f!jk£\f!p%T%ecup%e|T*\CV3Hp%~\iV3p%p*V3Z[ eo
p%TMYM£\uT*fuY<b¡nY<q{FV3q\{\fcuT%jkijkqW'~V³ puVcV3Zijq\p~\p%TMY<qfhjp%jdV3qfV3Y'peobd\V3UY<T*W3eZ#\Mq/p
Y<ep*V3ZFY<pMY¥
f!pMY<pjmcRY<q1Y<bkg;f!jmf#V3^p~\xf!p%T%ecup%e|T*\NV3 p%~\ ¶ T%e|bm\fµV3 p%~\xp%TY<qf!jkp%jmV3q¯T*\MbY<p%jmV3q
Y<bbdV³}f}efp*VFcubY3f%f!jk7gNp%~\oT*Vc\f%fV3o\uTMY<puV3T*fjqRp%~\[Y<bdWX\MiTMY¥
~jdfjdfef%\{QpuVµoT*V{Lec\
V3op%jkZ[jA7\{QY<ep*V3ZFY<pMY< ¡cV3qf!p%TecupjqW-T*V3ep%jkq\fnpuV\Mqf!e|T*\p%~\'¤|qjpu\uq\f%fV3Up%~\oT*V{Lec\{
p%TMY<qf{Lec\uT*f<ntY<q{ puV¬W3eY<TMY<q/pu\\
A G^c
X
G^c
p~\pu\uT%Z[jkq1Y<p%jdV3q V3 Y<epuV3ZrY<pYNcV3qfhp%T%ecMp%jdV3qH¥
~\cMb7Y3ff!j¤c<Y<p%jdV3q[jmfY'WX\Mq\MTMY<bkjA7:Y<p%jdV3qµV3p%~\qV3p%jdV3qf{|\u¤q\{jkq
*
]X]$.´n;Y<q{{;jmf!pjqW3e|jmf!~\f
i\up¢³C\\Mq
XV
BScd7A(E
X
GD
n3³~jdc%~#Y<T*\Cp¢g/o|jmc:Y<bbkgV3o\MTMY<p*V3T*f$ef%\{=V3ToY<TMY<bbd\MbcV3ZoVXf!jkp%jdV3qH¥ ~\
=V3T%ZFY<pU\uqf!eT*\fJp%~1Y<ptp%~\Mg^{VqV3pUWX\Mq\MTMY<p*\jq¤|qjpu\tpTMY<qf!jkp%jdV3qf!g;f!p*\MZµfH7T*V3Z ¤qjkp*\
Y<TuW3eZ#\uqp*f¥
cE Ia`
\ D
nt³~jdc%~ ~1YM£\xV3qbgøV3q\roTuV/c\ff[Y<T*W3eZ#\uqp#Y3cMp%j£\QY<pFYQp%jkZ#\XnY<q{G³jbkb
\M£\Mq/p%eY<bbkgGf%\Mbm\cMp[V3q\xV3p%~\MZaf!e|Zxnf\le\Mqc\:M¥ ~\ug«Y<Tu\ref%\{GV3T#{\u¤|qjqW
fhpMY<p%jdc}cV3q{Ljkp%jdV3qf=V3T¤qjkp*\Mq\ffV3$Tu\cMeT*f!jk£\{\M¤qjkp%jmV3qf¥
c
\S\
D
n³~jdc%~ ~1YM£\®\M©Y3cMp%bkg«V3q\¬o|T*V/c\f%fxY<T*W3eZ#\Mq/p¬Y<q{Y3cMpxY3fRY3cMp%jdV3qªp%TMY<qfh
=V3T%Z#\uT*f<n°\\MojkqW¸p%~\ujkT#f!p%T%ecMp%eTu\reqc%~1Y<qWX\{7~jd{LjkqW;nT*\f!p%T%jdcupjmV3qHnTu\ubY<i\ubkjqWM¥
2h{\Mq/pj7gjkqW^f!jd\M£\f\uq1Y<i|bm\f£Y<TjmV3efT%eq pjZ#\V3op%jkZ[jA7:Y<p%jdV3qfp*Vi\}\MZ[obdVg\{µp%~1Y<p
YM£V3jm{xfV3Zµ\jkq/pu\uT%Z#\{LjY<p*\Y<ep*V3ZFY<p*V3qxcV3qf!pT%ecMp%jmV3qf¥
·¹\µ~1YM£\µoT*V{Lec\{¸cV/{|\efhjqWNp~\f\jd{\:Y3f^p%~1Y<p~1Y3f^oT*V£\{¹p*VNi\£\MT%g¹\;#cMjm\Mq/p
Y<q{ U\M©jibd\8n;Y<q{N\<Y3fhgµp*Vjkqp*\W3TY<p*\³jp~NV3p%~\MTcV3Z[oVXfhjp%jdV3q1Y<bY<oo|T*VY3c%~\f¥
) (%1)
~\cMeT%Tu\uqpUoT*V3p*V3p¢go\V31p%~\S1`Gjkqcubke{\fUY<qQY<bmWX\MiTMY{\f%cMT%jo|p%jmV3qo1Y<T*f%\MTY<q{#Y}i1Y3c%°
\uq{Q=V3T'p%~\`· 5n|³jkp%~Rp%~\{\u£\MbdV3oZ#\uqpV3p~\wxC ¶ iY3c%°R\uq{xjkqRoT*VXW3T*\f%f¥ 2¢q
p%~jdf$f%\cupjmV3q-³C\{\fcuT%jki\V3eTU\M©/o\MT%jm\Mqc\U³jp~^ef!jkqWp%~\S1` p*VWX\Mq\MTMY<p*\7T*V3qpU\Mq{f=V3T
p%~\`·B5'¥ ~\'\M©/o\MT%jkZµ\Mqp*fpMY<°\ p´³V[V3T%Z#f¥32´qQp%~\'¤|T*f!p:nL³C\-cV3Z[o1Y<Tu\'p%~\ \;µcMjd\uqcMg
V3HY'S1` ¡WX\Mq\MTMY<p*\{7T*V3qp\Mq{V3T`` ^³jp%~[\M©jmf!pjqW~1Y<q{; ¡cV{\{7T*V3qp\uq{|ft=V3TC`` 1n
³~jkbm\jkq p%~\f%\cV3q{¬³\jq£\fhp%jmWY<pu\p%~\o\uTV3T%ZFY<qc\^V3CT*V3q/p \Mq{foT*V{Lec\{xigRp%~\
S1` V3TV3p%~\MTbY<qW3e1Y3WX\f¥ ¶ eTjqjkp%jY<bT*\f!ebkp*ffheWXWX\fhpp%~Y<pCp%~\S1` {V\fjq{|\\{µ\:Y3f%\
p%~\^pY3f!°RV3Cc%~Y<qW3jqWµp%~\bY<qW3e1Y3WX\fheooV3T%p*\{Ni/gxp~\`· 5 Y<q{Qp~1Y<p'p~\WX\Mq\uTY<p*\{
jqp*\MT%¡Y3c\f o\uT%=V3T%Z ³C\Mbkb¡¥
¶
eTp*\f!p*f-ef%\{ YN£\uTuf!jmV3q¯V3p%~\F`CV3qcMeT%T*\MqcMg¬·¹V3T%°i\uqc%~