HAL Id: inria-00074199
https://hal.inria.fr/inria-00074199
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- 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.
Formal Verification of Concurrent programs: How to specify UNITY using the Larch Prover
Boutheina Chetali
To cite this version:
Boutheina Chetali. Formal Verification of Concurrent programs: How to specify UNITY using the
Larch Prover. [Research Report] RR-2475, INRIA. 1995. �inria-00074199�
ISSN 0249-6399
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
Formal Verification of Concurrent programs:
How to specify UNITY using the Larch Prover
Boutheina Chetali
N˚ 2475
Janvier 1995
PROGRAMME 2
./0 +*&132547678:9<; $#*=#)>?#A@BC?ED<1F1
GHJIKMLNPORQTSVULNPKWSYXZO\[
]^`_\ab^dcfee#g1h%i5jc3kmlonpkrqtsPevuJ_\kxwzy\nYg\{f|p^`_\a\^cfee(cf}`wx_f~g}a\~Ywgkx_\abwzlwxgk
]^`_Mg}np^`gMlc
cf|p|J_\^`}-Pg^`gMl` pg^dl` pg~h=P\i>c3~Pwxg^=\biE=|c3a\gq
=ffb1 pwxqT|c3|g^-Pgqdl^`wuJgq}t pgnpqtg_f:}t Yg:c3^dl` (]^t_f\g^}`_\g^`w Rs¡lo_\~lnY^t^tg~}|p^t_ba\^cfe#q=¢
pgl` p_bqtg~Vqt|JgMlw £¤lc3}twx_\~¥g~PPwx^t_\~Ye#g~P}wxq#¦§r¨z©Jª{uJgMlcfnYqtg«wx}|p^`_fPwm¬gq¡c pwxa\ pg^kxg\gk_3cfuP®
q`}t^dcbl}twx_b~¯}t_°g±p|p^tgq`qq`_\kxnp}`w_b~pq}`_|cf^cfkxkxgkT|p^`_\ab^dcfee#w ~pav|p^t_bupkxge#q=¢v²Bgvwx~P\gq`}twxac3}tgv p_f³<}t pg
q`s~P}c=±c3~v}` pgq`ge(c3~}`wzlC_f¦§r¨z©Jª¯lcf~ug´e#gMl` c3~pwxµgMvwx~°¶T·{pc}` pg_\^`ge|p^t_fbg^1Pgq`wab~pgM}t_
l` pgMl`¸Bcf~°^tg=cfqt_b~¯cfuJ_\np}c3kabgup^cfwzlqt|JgMlw £¤lcf}twx_b~pqM{cf~° p_f³¹³Cg#lcf~npq`gv}t pg}t pg_\^tgeº|Y^t_fPwx~pa
eg}t p_pP_bkx_\a\s}t_v|Y^t_f\gqc=Rg}»s«cf~kxwbg~pgq`q
¼½P¾r¿tÀÁJ\ÂfÃR_\^`e(cfkY\g^`wÄ£rlcf}`w_b~:{pl_b~lnp^`^tg~P}|p^t_ba\^cfeÅ{bÆ~pwx}»sP{p:cf^l` (|Y^t_f\g^
ÇzÈÉËÊ»ÌMÍ1ÉÎÏxʻлÑÒ
ÓdÔJÕ:Öz×ÙØRÔJ×:ÕÚ´ÛÜ\ÝÖÞ×:Õ:ÖÞßrØxàÄáâZâËÛãäÜ\åæMçÙÜfãÄèå»â»ézãÄêÞë1áìíîå»ÜfâZãïpáãäÜ\ð`Ûâ»ñæfòóïpóôõöfæ÷øM÷ùúTûpÛÜ\Ýfá=å»ü\èâËåýØxàÄå»ézØz×:ÛoÜ\ð»ëæ
åýþ1Ûãäàzÿð\å`êRÛoàäãràÄáoâRãÄÛfóì â
Unite´ de recherche INRIA Lorraine Technoˆpole de Nancy-Brabois, Campus scientifique,
615 rue de Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY (France) Te´le´phone : (33) 83 59 30 30 – Te´le´copie : (33) 83 27 83 19
Antenne de Metz, technopoˆle de Metz 2000, 4 rue Marconi, 55070 METZ
Te´le´phone : (33) 87 20 35 00 – Te´le´copie : (33) 87 76 39 77
v *&1 47678:9<; F/ @BC?E&«$vF$#
¬ ¯jCg}vcf^`}twzlkxg#PMl^`wx}knp}twxkxwxqdc3}twx_\~ŬnB|p^t_bnp\gnY^¡Pg}t p_\^e#gq¶¯|J_\nY^\^`w £g^vPgq
|p^`_\ab^dcfee#gql_\~Jlnp^t^`g~P}tq=¢g~PPw^`_\~p~Yge#g~P}Pgvq`|MlowÄ£rlcf}`w_b~¯l` p_\wxqtwCgq`}v¦§r¨Þ©Jª¢#jCgve#_pägkxg
R_bnp^t~Yw}np~~pwx\g=cfnkxg\1äc3upqt}`^dc\lo}twx_\~|_bnp^g±p|p^twxeg^kgqTqt_bknY}twx_\~pqcfnP±|p^t_bupke#gqTPg|Y^t_\ab^dc3ev®
e«cf}twx_b~(|Jcf^dc3kxkkgb¢_\nYqc=\_b~pq}tnJPwxkzcZ_\^te«cfkxwxqdc3}twx_\~#Pgkzcvq`s~P}c=±pgg}Pgkmcqte«cf~P}twzybnpgPg
¦§r¨z©Jª g~¯¶î{:|p^`_\npbgnp^l_b~lnvk_\^`wxa\wx~pg|_bnp^^dc3wq`_\~p~Yg^qtnY^kxgqq`|MlowÄ£rlcf}`w_b~pqc3kabup^`wmybnpgqM{
pc3~pqkxgupnp}1np}`wkxwxqtlg|p^`_\npbgnp^|_bnp^kzc|p^`gnpbgPg|p^t_b|p^twx}`Pg "!#%$&Cg}Pg('*)+'-,/. )$&¢
0!ÁJW¿d213'b^tw £¤lcf}twx_b~#Z_\^tegkxkxg\{f|p^`_\a\^cfee#gl_\~lonp^t^`g~P}M{äÆ~pwx}»sP{îcf^dl` «|p^`_\npbgnp^
1 8 °$#C
2 g\g^cfk#cf|Y|p^t_Pc\l` pgq}t_ |Y^t_\ab^dc3e>\g^tw £¤lc3}twx_\~¹ c=bgBugg~|p^`_\|J_\q`gMc3~!npqtg=¹wx~¹kxw}`g^dc3}tnp^`g\¢
3 e#_\~Yav}t pge{p}` pg^tgvcf^`g}»³C_v|p^`w~Jlwx|cfkîwxg³q={r_\~Yg_\|Jg^dc3}twx_\~Jcfk:}` pg_\}t Yg^1q`s~P}c\l}`wml3¢ pg£^`qt}
_b~pg1l_\~Yqtwxqt}`qT_f:cf~vcf~c3kxsq`wxq_3¤}` pg|p^`_\a\^cfe¹wx~}tg^`e#q_frwx}tqg±pgMlnp}`wx_\~#q`gMybnpg~logqM{pc3~cfkxsPqtwxq³ pwzl`
wxqC_fR}`g~#q`nllgq`q»RnYkwx~v}` pglcfq`g_3:qtgMybnpg~}`wzcfkr|p^`_\a\^cfeqTupnp}Cevnl` kxgq`qqt_wx~v}t pglc3qtg_fl_b~lnp^ý®
^`g~P}|p^`_\ab^dcfeqM¢r YgqtsP~P}dc\lo}twzlcf|p|Y^t_cbl` vwqucfq`gM_\~#c3~¡cW±¬wx_be(cf}`wzl:^`gMcfq`_\~pwx~paJ{\³ Yg^tg_\~pg~pggMPq
cR_\^`e(c3kwxq`e }t_g±p|p^tgq`q#}` pg«^tgkxg\c3~}|p^`_\|Jg^t}`wgq#_fc°|p^`_\a\^cfe{c3~ cf|Y|p^t_b|p^twzcf}`g#kzcf~Ya\nc3a\gv}t_
l_b~pqt}`^tnlo}³gkk ®ZR_\nY~PgMR_b^tevnpkzcfqcf~Jcv|p^`_P_fTqtsPqt}`ge'}`_(l_b~pqt}`^tnlo}|p^t_P_3RqM¢ Yg#¦§r¨z©JªBg~Pw ®
^`_\~peg~P}54Äj%68797\c;:|p^t_fPwzPgq´}t pgq`g#}`__bkxq}`_ÅPgq`wxa\~¯cf~J|p^t_fbg#l_\~lonp^t^`g~P}|p^`_\ab^dcfeqM¢=<gq`|pwx}tg
}` pg^tgkmc3}twx\gqtwxe#|Ykwzlwx}»s_3}` pg|p^t_b|_bqtgM«e_pPgk»{f}t YgR_\^`e(c3kp\g^`w £¤lcf}`wx_\~#_3c´|p^t_ba\^cfe q`|gMlowÄ£JgM
wx~ ¦§r¨z©Jª ^`gMybnpwx^tgq#clc3^tgRnYk1cf~c3ksPq`wqcf~ w~Pb_\kx\gqcf~¯g~p_\^`e#_\nYqcfe_\np~P}_3lkxg^twzlc3k1Pg}dc3wxkË¢
pg^tgR_b^tg\{î}t Ygnpq`g_3-cv}` pg_b^tge |p^t_fbg^|p^t_fPwzPgqcv\g^ts pwxab ÅPgab^tggv_3lo_\~P£¤¬g~lgv}` cf}}t Ywq
bg^tw £¤lc3}twx_\~wxql_\^`^tgMlo}M¢¦§r¨Þ©Jª_>¤g^tq1c´k_ba\wzlCcf~c~p_\}cf}`w_b~vwx~#³ pwzl` #cfupq`}t^c\l}q`|gMlowÄ£rlcf}`w_b~#_3
}` pgl_be#|pnp}cf}`w_b~(c3~qtnllogqtq`wbgv^tg£J~pge#g~}`q1_3}t Ygqt|JgMlw £¤lc3}twx_\~cf^tg´g±p|p^tgq`qtgMÙ{r³wx}t p_bnp}1cf~Ps
eg~P}twx_\~v}`_}t pgg±pgMlonp}twx_\~«q`gMybnpg~lgqM¢C pwxq %$, $)3.Pwxg³ _3:}t pg|p^`_\ab^dcfe ^`gMlcfkxkr}` pg¶?#@#ACBqt}»sPkxg
_3q`|g=lw £¤lcf}`wx_\~!4EDFGDH90;:ý{P³ Ywml` «ge|p cfq`wxµgqup^`gPw}»s#c3~«lkzcf^`w}»sv^cf}` pg^1}` cf~«g±pgMlonp}dc3upwxkwx}»sP¢
I»~¥}` pwxqv|cf|Jg^M{_\np^#c3we wxqv}t_Bwx~P\gq`}twxac3}tg« p_f³ ¦§r¨Þ©Jª kx_\abwzl#cf~J¯eg}t Y_¬¬_\kx_\abs l_bnpkzVug
q`|gMlowÄ£JgM³wx}t pwx~cvabg~pg^cfk ®Ë|Ynp^t|J_\q`g}` pg_\^`ge'|Y^t_f\g^R_b^£^`qt}_\^Pg^kx_\a\wzlkxwx¸\g¶J4KDLDp:t{cf~J
³Cgcf^tg´w~P}`g^tgq`}tgMw~«npq`wx~pawx}}`_v\g^`wÄZsvqdc=Zg}»s(c3~kwxbg~pgq`q|p^t_b|g^`}twxgq_fl_\~Jlnp^t^`g~P}1|p^`_\ab^dcfeq
³^`w}`}tg~°w~°¦§r¨Þ©Jª¢T]^t_P_fZq1cf^tgP_b~pgwx~Ŧ§r¨z©JªÅkx_ba\wzlf{pcf~g±p}tg~Yqtwx_\~_3}` pgkzcf~pabncfabg¦§r¨z©Jª¢
Yg1|c3|g^CwxqT_\^`ac3~pwxµgM#c3qR_bkkx_f³q=¢r²Bgqt}cf^t}CuPs#cf~vwx~P}t^`_¬¬nl}twx_b~v}t_¦§r¨z©Jª{Pcf~Jw}`qRnp~Jpc=®
eg~P}dcfkxq:l_b~lg|Y}tqM¢ g±p}³CgPgql^twxuJg}t pgCe#gMl` c3~pwxµMcf}`wx_\~_f:¦§r¨z©Jª#kx_\abwzlf{abwbgT}t Ygq`|gMlowÄ£rlcf}`w_b~pq
_3}`ge#|J_\^cfkr_b|g^cf}`_\^tqwx~#}` pg´R^dc3e#g³C_\^`¸_3}` pgc3qtqtwxq`}dcf~P}|p^t_fbg^¶î{cf~J#abwx\gcf~«g±cfe|pkxg1_3
|p^`_P_f:_f:_b~pg¦NM5OPRQ!wx~PRg^tg~log^`npkxg\¢Sîwx~cfkxkxs{=³Cg1l_\~JlkxnPg1³wx}` #cPwxqdlnYqtqtwx_b~(cfuJ_\nY}T}t pwxqTq`}tn¬s
c3~Rnp}tnY^tg³C_\^`¸¤¢
T U V
1¹= °$C>47678:9<;
3 ¦§r¨z©Jª¯|p^t_ba\^cfe'l_b~pqtwxqt}`q_fPg=lkzcf^dc3}twx_\~Yq_3\cf^`wzcfupkxgq={¤cPgql^twx|p}`w_b~Å_3}t Ygwx^wx~pwx}`wmc3kr\cfkxnpgq
c3~r{\c£~pwx}`gq`g}T_fJqt}dc3}tgeg~P}tq=¢ 3 kxkPqt}dc3}tgeg~P}tqwx~v¦§r¨z©Jªc3^tgcfqtq`wxa\~peg~P}tqM{3}t pg^`gR_b^tgg±pgMlnY}twx_\~
_3g\g^tsq`}dcf}`ge#g~}}tg^`e#wx~c3}tgqw~°g\g^`s|p^`_\a\^cfe q`}dcf}`g¡c3~c|p^t_ba\^dc3e g±pgMlnp}`wx_\~Bl_\~pq`wxqt}tq_3
c3~(wx~P£J~pwx}tg~Pnpevug^_3qt}`g|pqw~«³ pwzl` #g=c\l` qt}cf}`ge#g~P}wxqCg±pgMlnp}`gMwx~P£J~pwx}tgkxsv_fZ}tg~:¢
3 ¦§r¨Þ©Jª¡|p^`_\ab^dcfe¹}`g^tewx~cf}`gqruPs^`gMc\l` pwx~pac XW/#YZ[-)+"$»{=³ pwzl` wxq:gMybnpwx\cfkxg~P}r}`_1}tg^te#wx~c3}twx_\~
wx~¥qt}cf~pc3^dVqtg=y\nYg~P}twzcfk ®»|p^t_ba\^dc3e#ew~Ya#}tg^te#wx~p_bkx_\a\sP¢¯jC_b^t^tg=l}t~pgqtq«_fl_b~lnp^`^tg~P}#|Y^t_\ab^dc3e#qwq
Pgo£~pgMwx~}`g^teq_3|p^`_\|Jg^t}`wgqT_fgo±¬g=lnp}twx_b~q`gMybnpg~lgqM¢T Yg^tg1c3^tgC}»³_ucfq`wml¸Pwx~Pq:_3|p^`_\|Jg^t}`wgq
_3Ylo_\~lnY^t^tg~}|p^`_\ab^dcfeq]\/^ ,*#%$f{=}t pg|p^t_b|g^`}»sevnpqt}rcfkx³c=sqJuJgT}t^`npg\{\c3~L- )+'-##%%{=}t pgT|Y^t_\|Jg^`}»s
evnpq`}1gbg~P}tnc3kxks°ug}t^`npg_4Ä:cfe«\:t¢ pg^`g#cf^`g£bg^`gkzcf}`w_b~pq_\~|p^tg=Pwzlcf}`gqwx~B¦§r¨z©Jª¥}t pg_b^ts#\
/[# %o{/^ $,'`;#{)+ '-,-!%)3,"$Ë{ba""!#%c3~c# ,9Y d $3¢ pg´£^tq`}}t p^`gg¡c3^tgnYqtgMR_\^qt}cf}twx~paqdcWRg}»s
ÕîÕÜYôoø]e÷
|p^`_\|Jg^t}`wxgq³ pg^`gMcfq}` pgkmc3qt}T}»³C_c3^tg1nYqtgM}t_´g±p|p^tgq`q. !-!#%%¥|p^t_b|g^`}twxgq={cq`npupqtg}_f:kxwx\g~pgqtq
|p^`_\|Jg^t}`wxgqM¢
]^t_P_fRqwx~¦§r¨z©Jª c3^tguJcfqtg=«_\~cfq`qtg^`}twx_\~Yq1_fT}»sP|Jg {P³ pg^`g%^tg|p^`gqtg~}`qc¦§r¨z©Jª
c3qtqtwxab~pe#g~P}Cqt}cf}tge#g~P}M{c|p^`gMl_b~Pwx}twx_\~«}` cf}evnpq`}uJg}t^`npguJgR_\^`g}t Ygg±pgMlnp}`wx_\~«_fc3~
c|J_\q`}dl_b~Pwx}twx_b~#}t Jcf}T^`gqtnpkx}`qTR^`_\e cf~vgo±¬g=lnp}twx_b~#_fb¢ pwxqT~p_b}dc3}twx_\~vPg~p_b}tgq}` cf}g±pgMlnp}`w_b~#_3
q`}dcf}`ge#g~}´wx~cf~Psvqt}cf}tg´}t c3}1qdc3}twxq»£Jgq1|p^`gMPwzlc3}tg<^tgqtnpkx}tqwx~c´qt}cf}`g}t c3}1qcf}twxqý£gq1|Y^tgMPwzlc3}tg
v{Cw go±¬g=lnp}twx_b~ _3°}tg^`e#wx~c3}tgq=¢¯ pwxq#c3qtqtnYe#gqvwxe#|Ykwzlwx}`kÄs}` cf}vg±pgMlonp}twx_\~¥_3%g\g^`s ¦§r¨z©Jª
c3}t_\ewzlCqt}dc3}tgeg~P}Ëc3qtqtwxab~pe#g~P}T}`g^tew~Jcf}tgqM¢
"!$#&%(' )*%(#&+' )+,%-' .
/101R½p= SY_\^1cabwx\g~|p^t_ba\^dc3eÅ{24357698:;<¬g~p_\}`gq}t c3}_\~log|p^tg=Pwzlcf}`g2«wxq}t^tnYg\{Jw}^`ge(c3wx~pq
}`^tnpgc3}kxgMcfq`}1cfqkx_\~pavcfq<´wxq~Y_\}}t^`npg\¢ZSp_b^te(c3kxks#\
2=>?A@ B;BC<EDGFIH
JLKNM
&OPRQS512 TVU OWOV2&XY(<Z G2[<Z \
w»¢g\{w 2]X^Y(< p_\kzPq|Y^twx_\^}t_go±¬g=lnp}twx_b~ _3cf~Psqt}dc3}tgeg~P}_f}t pg|p^t_ba\^cfeÅ{Ù}t pg~^2][^< p_\kzPq
R_bkxk_f³wx~pa´}t pgg±pgMlnY}twx_\~_3}` cf}q`}dcf}`ge#g~}=¢
_`0 f½p SY_\^ca\wxbg~#|p^`_\ab^dcfe{a2b8:57;3c8:&<wxe#|pkxwxgq}t Jcf}"23d576N8;:&< p_bkzPqR_b^}` pg1|p^`_\ab^dcfe{
c3~w P2 Y_\kzPqTcf}cf~Ps|_bw~P}îw~}` pggo±¬g=lnp}twx_b~v_fp}t pgC|p^`_\a\^cfe¹}` pg~]< p_bkm¬q:gbg~P}tnc3kkxsP¢#Sp_b^te(c3kxks#\
2@V>eBf=g@ B< DFIH
J
24357698;:<h
Kji
ROP&QA5b2kTlU OWOVG2&XY(<Z <Z \
I»}CR_bkxk_f³qR^`_\e }` pwxq1Pg£~pwx}`w_b~#}` cf}_b~lg2«wxqC}t^tnYgwx}^tge«cfwx~pqC}t^tnYg%c3}kxgMcfq`}1cfqkx_\~pavcfq<´wxq~p_\}
}`^tnpg\¢ZSpnY^t}t Yg^te_\^tgb{bR^t_be }t pg^`npkxgq_f|p^t_ba\^dc3e g±pgMlnp}`w_b~:{pq`}dc3}tgeg~P}1³wxkxkJugg±pgMlnY}tgM°qt_be#g
}`wegc=Z}tg^m2ÅuJgMl_be#gq}t^`npg\¢IZC<vwxq1q`}twxkxkrËc3kq`g|Y^twx_\^}t_#}` pgg±pgMlnp}`w_b~B_fb{r}t pg~n2]X4Y(< Y_\kzPqM{
c3~}t pggo±¬g=lnp}twx_b~(_3e´gqt}cfupkxwxqt Ygqo<P¢
p½PÂPq=Á Sp_b^-cabwbg~#|Y^t_\ab^dc3eÅ{:24698;rVsV tGu<Pg~p_\}`gq1}` cf}_b~lg2«wxqC}t^tnYg\{7<wxq_\^uJgMl_be#gq
}`^tnpg\¢Æ~Ykwx¸bg#;""!#%{ 2«e«c=sv~p_\}^tge«cfwx~#}`^tnpg´np~P}twxk<uJgMl_be#gq}t^tnYg\¢ 1Z½JÂZqMÁ«wxq¬g£~pgMcfq
}` pgqt}`^t_b~pa\gq`}1|p^`gMPwzlc3}tgqcf}twxqýRsPw~Ya \
2v8:57;3c8:4<
2&698:rVsV tGuC<
2w698;rVsV tGuxcycz6N8;rVsV tGu{<
2|698:rVsV tGux<
SY_\^1c3~svq`g}&}{
KNM
U~OPU}OWOa2jU1 698:rVsV tGux<\
i
U~OPU}OWOa2jUb\ 6N8;rVsV tGux<
Öz×îÕ:Özß
# «=#)+47678:9<; $#*=#)
pgkx_\abwml_3}t pg}t Yg_\^`ge |p^t_fbg^«wx~ ³ pwzl` wx}#wxq#wx~P}tg~JPgM¥}`_¯e#g=lt Jcf~pwxµgÅc3~p_\}` pg^«~p_b}dcf}`wx_\~
evnpq`}vug°u_b}t |J_f³g^»Rnpkcf~ a\g~pg^dcfkg~Y_\npab }t_¯c3kkx_f³ cq`_\np~J cf~ |p^dcbl}twzlc3kR_b^tevnpkzcf}`wx_\~:¢
2
g\g^cfk}t Yg_\^`geA|Y^t_f\g^tq c=\gugg~¯npq`gMV}t_e#gMl` c3~pwzlcfkxkxs«\g^`wÄZs¯¦§r¨z©Jª |p^`_\ab^dcfeqM{î~cfegkxs
MP 4ED_bkm:t{© 4690;:t{v¶ 43
~Y\h;:t¢
Æ~pkxwx¸\g}t pg_MP q`sPqt}tgeº_b^ {î}t pg#îcf^lt ¯]^t_f\g^P_Pgq~p_b}l_b~}cfwx~Bcf~Ps|p^`gMPg£~YgM
}` pg_\^`s¢C¶ vwqucfq`gMv_b~gMybnc3}twx_\~Jcfkp}`g^te ^`g³^twx}`w~Ya 4EDDY :t{=R_\^CcZ^dcfabe#g~P}_fJ£^`qt}»®»_\^Pg^Ckx_\a\wzlf{
c3~«qtnY|p|_b^t}`q|Y^t_P_fRqcfuJ_\np}1cW±pw_be(c3}twzlCqt|JgMlw £¤lc3}twx_\~YqM¢
3
kxk:|p^`_P_fRqcf^tglcf^`^twxgM«_bnp}1uPs(c3|p|pkxsPwx~pa
^`g³^twx}tg^tnYkgqM{p|Y^t_P_fRquPs«lcfq`gq`|pkxw}`}twx~paJ{Pw~JPnl}`w_b~:{pl_b~}`^dcbPwzl}twx_\~c3~«cf|p|pkxwzlc3}twx_\~_fTwx~PRg^`g~lg
^`npkxgqM¢° pg(Pgqtwxa\~¯c3~BPgbgkx_\|peg~P}_31}t pg#îcf^lt V|p^t_P_3cfqtq`wxqt}dc3~P}v¶¯ Jc=\gvuJgg~¯e_\}`w\c3}tgM
|p^`wxe(cf^`wxksv}`_(Pgupnpa¶r¶ q`|gMlowÄ£rlcf}`w_b~*4EDF)DH'0;:Tupnp}wx}1 c3q1uJgg~Bcfkxqt_npqtgM°}t_gqt}cfupkxwxqt °}t pg
l_b^t^`gMl}t~Ygqtq_fr c3^dP³cf^`gPgq`wxa\~pq 42 DD7\:t{\cf~J}t_^`gMcfq`_\~(c3u_bnp}c3kab_\^`w}` pe#qîwx~b_\kxPwx~pal_b~lnp^ý®
^`g~ls!42 DD797;:t¢
np^|Ynp^t|J_\q`gvw~qt}cf}`w~Ya(}` pwxq³_b^t¸³cfq}t_l` pgMl`¸³ pg}` pg^}` pgvkx_\a\wzlq`np|p|J_\^`}tgMuPsB¶¯lcf~ug
npq`gMV}t_g~l_pPg«}t pg«kx_\abwzl_3¦§r¨z©Jª{Tc3~Bw 1}` pg#q`}»skxg_f¶T·q`|g=lw £¤lcf}`wx_\~ l_\nYkmuJg#nYqtgMV}t_
q`|gMlowÄZs c°¦§r¨z©Jª¯|p^t_ba\^cfeÅ¢²Bgvcf|Y|pkxs(}` pwxq}t_«\g^`w Rs|p^`_\|Jg^t}`wgqcfuJ_\np}l_b~lnp^`^tg~P}|p^t_ba\^cfe#q=¢
c3}a\_PcfkJ^tgMybnpwx^tgq}t_g~l_pPg}` pgqtsP~P}dcW±#_f¦NMNO PQ#{f}` pg³|P®tlcfkzlnpkxnpqcf~Jv}t Ygq`sP~}c=±#_3:£^`qt}
_b^dPg^|p^tg=Pwzlcf}`gqM¢
²Bgq`np|p|J_\q`g c kwx}`}tkxgËcfewkxwzcf^`wÄ}»s³wx}t }` pg¯¶ qtsPqt}`ge »cfqRg³'cfq|_bqtq`wuYkg:(c3~V³g^tg=l_\e®
e«cf~ 4KDLDp:cfq1c3~(wx~P}t^`_pPnl}`w_b~:¢
"! # %('V . )%$'&~)(#R".
pge#_pPgk|p^`_\|J_\q`gMBuPsV¦§r¨z©Jª¥wxq}t^c\Pwx}twx_b~cfkTwx~}t pgqtg~Yqtg#}` cf}´³gv c=bg#c«qt}cf}`g®Ë}`^dc3~pqtwx}twx_b~
q`sq`}tge ³w}` B~cfegM°\cf^twzc3upkxgq}t_g±p|p^`gqtqv}` pg#q`}dc3}tg(c3~Bl_b~Pwx}twx_\~Jcfkevnpkx}twx|pkxgc3qtqtwxab~pe#g~P}}t_
g±p|p^`gqtqq`}dcf}`g}t^dc3~pqtwx}`w_b~pqM¢ Ygq`wxe#|pkxwzlwx}»s_3}` pge#_pPgkrl_\egqCR^`_\e }` pgcfupq`g~lg_3l_be#evnp~YwÄ®
lc3}twx_\~l_b~pqt}`^tnlo}cf~J*J_f³ l_b~P}t^t_bk»¢
Ygv£^`qt}vqtg=l}twx_\~¥wx~ c ¦§r¨z©Jª!|p^t_ba\^dc3eÅ{%+-,/.102435,f{1l_b~P}dcfwx~pq}t Yg#\cf^`wzcfupkxgv~c3e#gqvcf~ }t pgw^
}»sP|JgqM{rcf~Jv}t YgqtgMlo}twx_\~769816:;6<20<0=Pg£~pgq}` pgwx^wx~pwx}twzcfkJ\cfkxnpgqM¢
_?>r A@1R½#\CB+@ED?GF g@
H c&OZ57rt
I/I O I uu6
J > JLKMJF ?S?ON
H c
JQP y I/I
JSR rV69:8
I»~«}t Ywq1¬gMlkzcf^cf}twx_b~:{ H c´cf~ I/I cf^`g\cf^twzc3upkxg1~c3e#gq=¢I»~c %$ , $ #UT$!," )$)e_¬¬gk»{\}` pg\cfkxnpgq_3
}` pgqtgq\c3^twzcfupkxgq^tg|Y^tgq`g~P}¡c3}cf~Pse_\eg~P}_3}t pgvl_be#|pnp}cf}`w_b~cv|p^`_\a\^cfe q`}dcf}`g\¢ pgs}cf¸bg
}` pgwx^1\c3knYgqCR^t_be ¬wE>rg^`g~P}1}»sP|gqM¢ TnY}1³Cg%lcf~ c=bg}t_v|p^`_f\gc|p^`_\|Jg^t}»s«kxwx¸\gN\
MWV
O
VYX H c X
V[ZAP
¢XI»~v}` pwxqT|p^t_b|g^t}»sP{ H cwqCcwzPg~P}tw £g^C_f:}»sP|Jgo57rtcf~
V
wxq-c%wm¬g~P}tw £g^C_fr\cf^`wmc3upkxg_fr}»sP|g
57rtM¢
ÕîÕÜYôoø]e÷
pg^tgR_b^tg¦§r¨z©JªÅ\cf^`wzcfupkxgqc3^tg_f:}»³C_¸Pw~JPqM¢ pgwzPg~P}tw £g^`q-c3|p|JgMcf^Cwx~v}t pg|p^`_\a\^cfe }tgo±¬}cf~J
c3^tgvg~lo_¬¬gM¯c3ql_\~Yqt}dc3~P}wx~¯¶B_3qt_b^t}6<+Y¢v pgv|p^`_P_f\cf^twzc3upkxgqcf|p|JgMcf^´w~}t Yg«¦§r¨z©Jª¥|p^t_P_3
c3~«cf^tgg~Jl_pPgMcfq¶«\cf^`wzcfupkxgqC_fqt_\^`} 6<+ 12 3»¢
I»}CwxqTwxe#|J_\^`}dcf~P}T}`_Pwxqt}`wx~pa\npwxq` #uJg}»³gg~¶#\c3^twzcfupkxgq={\kx_ba\wzlcfkY\cf^twzc3upkxgqT³ pwzl` (c3^tgwzPg~P}tw £g^
q`}dcf~JPwx~paR_b^cf~#c3^tupwx}t^cf^`s\c3knYg_frqt_\egq`_\^`}M{pcf~J¦§r¨z©Jª|p^`_\ab^dcfe<\cf^`wmc3upkxgqC $, $#\c3^twzcfuYkgqG¢
Ù_\a\wzlc3kr\cf^`wmc3upkxgqP_v~p_\}l` cf~Ya\g_fbg^}twxe#gb¢
pgq`_\^`}tqnpqtg=vcf^tg9\:~c3}tnp^cfkxqm;842M:{fq`gMybnpg~lgq ,P{b^tg=l_\^1;35,/.a{Pcf~JuJ_P_\kxgMcf~î¢r²Bg-c3kxqt_¬g£~pg
c3^twx}t peg}twzlgo±¬|Y^tgq`qtwx_\~pq,{îu_P_bkg=cf~g±p|p^`gqtq`wx_\~pq]-,qtnJlt Bcfq
Z V
P+X I {rc\lo}twx_\~pq
c3~«kxwxqt}C_fc\l}`wx_\~pqR 24. :{206;: {Y|cfwx^`q_fTwzPg~P}tw £g^`qc3~g±p|p^tgq`qtwx_\~YqQSsy8Z2dC_b^jQAsyI 8Z2dcf~J
£~Jcfkxkxsq`g}tqC_f:|c3wx^tqC,U: C}t c3}T³g}t pwx~p¸_f:cfqCuJgwx~panp~p_b^dPg^tgMkxwxqt}tq_f:|c3w^`qT_f:wzPg~}`w £g^tqcf~J
g±p|p^`gqtq`wx_\~pq=¢
2 |gMlowÄ£rlcf}`w_b~pq_f}` pgc3upqt}`^dc\lo}pcf}c}»sP|JgqmR~c3}tnp^cfkxqM{fq`gMybnpg~logqM{g}laTcf^`gT|c3^t}_f}` pg:cf^l`
2 Jcf^tg=îcf~pabncfabg%4EDFGDHî'0 :ý{=³ pwzl` ³CgT c=bgTe#_pPw £gMwx~_b^dPg^}`_c=±pwx_\e«cf}`wµglnpq`}t_be#wxµgMYcf}dc
}»sP|JgqM¢ pgqtgqt|JgMlw £¤lcf}twx_b~pqTcf^tgPg£J~pwx}twx_\~c3k\wx~}` pgq`g~pq`g}t c3}:}t Ygskxwxqt}:go±¬|Ykwzlwx}`ks}` pgT|p^`_\|Jg^t}`wgq
_3}t pg}»sP|gb{³ Ywml` ³Cgvlcf~e«cf~pwx|pnYkmc3}tgnpqt}wx~P\_b¸wx~pawx}tq_\|Jg^dc3}twx_\~pq=¢²Bg³wkxkîqtggv}` cf}wq~p_\}
}` pglc3qtgR_b^}` pgq`|gMlowÄ£rlcf}`w_b~«_fT}tge|_b^dc3k_b|g^cf}`_\^tq=¢
_ ÅT½pÂÂS0
pgv_b|g^dcf}`_\^"!$# ,&%<,(' ,&l^tgMc3}tgqvc«~pg³"go±¬|Y^tgq`qtwx_\~B_bnp}_f}»³C_(go±¬|Y^tgq`qtwx_\~pq=¢jCkxgMcf^`ks
}` pwxq_b|g^dcf}`_\^wq~p_b}1}` pgqcfeg%c3q1}` pg_b|g^dcf}`_\^)!$# 812M:*%9842M:+' 842M:{rupnp}cfq³Cge(c=svwxe(c3a\wx~pgw}
wxq1q`}t^`_\~pabks«l_\~Y~pgMl}`gMr{rcf~wm¬g~P}tw £g^`qcf~J#~Jcf}tnY^dcfkxq1c3^tg}` pge#q`gkx\gqgo±¬|Y^tgq`qtwx_\~pq=¢ 3 q}t pg´k_ba\wzl
_3¶BP_Pgq~Y_\} cfqq`npupqt_b^t}`qM{³Cgg±p|pkxwzlwx}tkxs«gevuJgMpPg= 6<+Y{ 6<+ 12 3cf~JA842M:wx~P}t_ ,&#npqtwx~pa
RnY~l}twx_b~pq 6<+& :,- ,&#cf~842M:. :,/ ,P¢
0
812M:. :,- ,&8\}t^cf~pqýR_\^`e#qc~c3}tnp^cfkîw~P}`_¡c3~#g±p|p^`gqtq`w_b~:¢
0
6<+& :,- ,& \C}`^dcf~Yq»R_b^te#qcf~wzPg~P}tw £g^wx~}`_¡c3~#g±p|p^`gqtq`wx_\~:¢
0
6<+& :,- 842M:\T}t^cf~pqýR_\^`e#qcf~«wzPg~P}tw £g^w~P}`_¡c3~(~Jcf}tnY^dcfk»¢
0
6<+& :,--,& \C}t^cf~pqýR_\^`e#qcu_P_bkg=cf~#wzPg~}`w £g^1wx~P}t_vcf~u_P_bkg=cf~«g±p|p^tgqtqtwx_b~:¢
0 ,* :,- ,& \}`^dc3~pq»R_b^teq-cq`gMybnpg~lgwx~P}t_vcf~#go±¬|Y^tgq`qtwx_\~:¢
1ÁJM½#\ pgvq`wab~cf}`np^tgv_3QAs tGu 57rtwq \)2435'7698:cf~;243 <>= ?>8>@A'76>8:¢=SY_\^wx~pqt}cf~lgb{ H cwxq%c
~c3}tnp^cfkrwzPg~P}`wÄ£Jg^_f}t pgq`_\^`} 6<+p{-wxq1c\c3^twzcfupkxgwm¬g~P}tw £g^_3}t Ygq`_\^`} 6<+& > 4243cf~³gl_bnpkz
c=bg&QSs tGu 57rtaH c
J
QSs tGu 57rta¢
CB D .V.&EFC$ !x$-
²Bg¬g£~pgvc¦§r¨Þ©Jª¯|p^t_ba\^dc3e c3qckxwxqt}_3-c\l}`wx_\~pq1c3~«³Cgcfq`qtwxa\~}` pwxq1kxwxqt}}`_(cvl_b~pqt}cf~P}]\G43HI#
' 24. : 06;:¢
_g~l_pPgvcfq`qtwxa\~peg~P}M{b³gnpq`gR_bnp^_b|g^dcf}`_\^`q]\
0
2HJ#K124693 ' 24. :\Tq`w~Ya\kxgc3qtqtwxab~pe#g~P}C³wx}t #|Jcfwx^_f}»s|JgjQAsyG8P2C_\^ QSsy
I
8Z2d¢
Öz×îÕ:Özß
0
..E84+& 2HJ# 124693,% -,& ' 24.U:\Tl_\~¬w}`wx_\~c3k¤c3qtqtwxab~pe#g~P}C³ pg^`g I 8P2«wxqC}t pglo_\~Pwx}`w_b~:¢
0
0:. 2H # , : ' 24.U:\Tevnpkx}twx|pkxgcfq`qtwxa\~peg~P}M{b³ pg^`g2d:8t1wxq1c´kxwq`}_f|cfwx^tq QSsy8Z2d¢
0
..E84+&
0:. 2HJ# , :*% -,& ' 24. :\evnpkx}twx|pkxgl_\~¬w}`wx_\~c3kcfq`qtwxa\~Ye#g~P}M{Y³ pg^`go2;8 twxqc
kxwq`}_f|cfwx^tq1c3~ I 8Z2«}t pgl_b~Pwx}twx_b~:¢
3 evnpkx}twx|pkxgvcfq`qtwxa\~peg~P}wxqvc|Jcf^dc3kxkgk1cfqtq`wxa\~peg~P}M{upnp}³Cglcf~p~p_b}#Pwx^tgMlo}tkxs l_pPg«}` pgËc\l}
}` cf}cfkxkcfqtq`wxa\~peg~P}tqvwx~ }t Ygkxwq`}(c3^tgBlcf^`^twxgM _\np}qtwxevnpkx}dc3~pg_\nYqtkxs¢ I»~ }t YgÅkx_\abwzl#_3#¶:{}t pg
l_b^t^`gqt|J_\~¬w~Ya^tnpkxg³_bnpkz«uJg¡c3~Åwx~P£~Yw}`g^tg³^twx}tgv^`npkxg\¢ Pnpq³Cgnpq`g}` pgËcbl}1}` cf}¶Bcfkxkx_f³q
c3qtqt_plwzc3}twx\gvcf~l_be#evnp}cf}twxbg_b|g^dcf}`_\^`qM{cf~12d:8twxq%cq`g}_f|c3w^`q³w}` Å}` pgnp~pwx_\~BPgMlkzc3^tgM
}`_ug#c3qtq`_¬lowmc3}twx\gvcf~JBl_\eevnp}dc3}twxfg\¢²Bg_\uY}dcfwx~}t pg~¯c#nY~p_\^Pg^tg=Bkxwxqt}_f|cfwx^`q_fwzPg~P}tw £g^
c3~«g±p|p^`gqtq`w_b~pq1 Ywq^tg|Y^tgq`g~P}dcf}`wx_\~ c3q1}` pg|p^`_\|Jg^t}»s«}t Jcf}1cv\c3^twzcfuYkge(c=s_pllnp^e#_b^tg}t c3~
_b~lgwx~«}t pgkxgR}ý®Ë Jcf~qtwzPg_3cf~c3qtqtwxab~pe#g~P}=¢I»}wxq}t Yg|p^t_ba\^cfe#eg^*q^tgqt|J_\~pq`wuYwkxwx}»sv}t_vg~pqtnp^`g
R_b^c3~sqtnl` \c3^twzcfuYkg}t c3}c3kkr|J_\q`qtwxupkxg\c3knYgq}t c3}1e«c=suJgcfq`qtwxa\~YgM«}t_wx}w~cq`}dcf}`ge#g~}1c3^tg
wzPg~P}`wmlcfk4Äj%68797\c:t¢
G
#
)* * .
pg«cfq`qtg^`}twx_\~ vwxqc°~p_\}cf}twx_b~BgMybnpwx\cfkxg~P}}t_^-27jZy&{³ pg^tg(2jZyG&%wq´}t pg
³CgMcf¸bgqt}|Y^tg®tl_\~JPwx}twx_\~R_\^T}` pg|_bqt}ý®ýl_b~Pwx}twx_b~b 4E<w :ý¢î²Bg1 Jc=\gCR_b^te(c3kxwµgM}` pg³|P®tlcfkzlnpkxnpq
R_b^1cfq`qtwxa\~peg~P}Tqt}cf}`ge#g~P}`qM¢Trg}|O
J QR I
{PuJgcf~«cfqtq`wxa\~peg~P}q`}dcf}`ge#g~}C³ pg^`g'wxqckxwxqt}
_3wzPg~P}tw £g^`qM{
cvkxwxqt}_fTg±p|p^`gqtq`wx_\~pq|J_\q`qtwxupkxs(¬g|g~Pwx~pa«_\~B{rcf~ I cu_P_\kxgMc3~«g±p|p^tgq`qtwx_\~î¢
pg´qtge«cf~P}twzl_3}` pwxq1cfqtq`wxa\~peg~P}wxq]\
-27O
J
yG&
-27O
J
QR I yG& I -27,O
J
y& X jY I &
-27 O
J
QR I y& I !
"
"X Y I &
³ pg^tg4¹wxq_\uY}dcfwx~pg=usqtnYupqt}`w}`np}twx_b~Bw~ _3cfkxkT_pllnY^t^tg~lgq_f+BuPs
{îqtwxe#wxkzcf^`ks
"
wq
_bup}dc3w~YgMR^`_\e~uPs«qtwxevnpkx}cf~pg_bnpqCqtnpupq`}twx}tnY}twx_\~pq_fT}t Yg\cf^`wmc3upkxgq#9%$ ,'&(wx~*)<uPs#}t Ygg±P®
|p^`gqtq`wx_\~pq!#8+$ 8,&(wx~
¢
-%./-%.10 2 @½¬133pZÁ0BÁ541=0B½l0î
6
,U: 812
,7
2 ,M3:
7 98"2H:8;6<+';=<<,=>*%9>@?A? -,B8.=8;6<+';=<<,=>*%9>
7 98"2H:8;6<+';=<9>%B>C?? +-,&98 =8;6<+5;D<9>*%B>
7 98"..E84+& 2HE8;6<+';=<<,-%9>*%B>A??F8.*GH7 98;2H:8;6<+5;D<<,+>%9>I> XJ8 8-8-:I8 9>G B>
7 98"..E84+& 2HE8;6<+';=<<.>%9>%9>??K8 *GH7 98"2HE8;6<+';=<<.L>%B>I> XM8 88:I8.9>NG B>
ÕîÕÜYôoø]e÷
7 98
0:.?2H:8.-0>%9>C?? , B8.-0%B>
7 98"..E84+&
0:. 2H:8.0%B>*%9>?? 8 GH7 B8
0:. 2HE8.0>*%9> > X 8U8-8-:I8.B>NG 9>
I»~}` pwxqqt|JgMlw £¤lc3}twx_\~î{}` pg£^`qt}}»³_vkxwx~pgqqt|JgMlw Rscfq`qtwxa\~peg~P}_3cf~«g±p|p^tgqtqtwx_b~ ,v_\^1cuJ_P_\kxgMc3~
g±p|p^`gqtq`wx_\~ .´}t_c3~ÅwzPg~P}`wÄ£Jg^M¢ 3 q}` pgvqtg} , «wxq1~p_b}»cf~lc3~p~p_\}´ug;´cf~g±p}`g~pqtwx_b~B_fu_P_\k
»c«ucfq`wzl}»sP|Jgv|p^t_fPwzPgMuPsB¶î{:³Cgv c\°}t_Pgo£~pg)GCE
-!
, Y
$! #
*, #c3q G {[ c3~X
Pw>rg^tg~}R^t_be ¶T· qupnpwxkx}»®»wx~_b|g^dcf}`_\^`q G R_\^wxe#|pkxwzlc3}twx_f~:{Pwxqonp~l}`w_b~¡c3~l_b~Mnp~Jl}twx_\~î¢
2 _
c3qR_b^ 8-8:*%
J
³ pwzlt cf^tgPw>rg^tg~}R^`_\e ¶ _\|Jg^dc3}t_b^tq 8-:*%?¢T pg%Rnp~l}`wx_\~5
-,B8 06":*%B>{
³ pg^tg 06;:Cwxqckwxq`}1_fT|c3wx^tqA8"6<+-%<,&9>{rqtnpuYqt}twx}`np}tgq´gMc\l` _pllnY^t^tg~lg#_3 6<+vuPs7,&vw~°}t pguJ_P_\kxgMc3~
g±p|p^`gqtq`wx_\~ P¢T²Bg1q`|g=lw Rs«qtnpupq`}twx}tnY}twx_\~pqwx~¬nl}twxbgkxsv_\~«}t pgq`}t^tnJl}tnp^`g_3Tg±p|p^tgq`qtwx_\~YqM¢
#
#& E )+-E%C$$%b "!x#R%(' )*%(#&"'k)" %('k.
3 q1Z_\^1}` pg_\|Jg^dc3}t_\^7 P{r}t Ygq`|gMlowÄ£rlcf}`w_b~pq_f}` pg}tge|_b^dcfkî_\|Jg^dc3}t_b^%c3^tg8 # !, $) ,q`|g=lw £p®
lc3}twx_\~YqM{J³ pwzl` ¬g£~pgvc´Rnp~lo}twx_\~uPsqt p_f³wx~pav p_f³¹}`_#l_\e|pnp}`gwx}=¢-Ùg}npq1abwx\g}t pg´gMybncf}`w_b~cfk
q`|gMlowÄ£rlcf}`w_b~_f}t pg´}t p^`ggkx_\abwmlcfkJ_\|Jg^dc3}t_\^`q1³ pwzl` (c3^tgc3}}` pgl_b^tg_3}` pg¦§r¨z©JªBkx_\abwml3¢
/101R½p='\
8-0,. 8 %4-%<281690>@?? : 3 ,
8-0,. 8 % -%E2B>??F8I88.X-Y 8D>I> G 7 98"2&% [ => >I? >
8-0,. 8 %4-%<2C24. :. 0>@?A?
80,. 8.%4/%2B>
8-0,. 8.&%4-%<24. :. 0>
2C24.U:. 0fwxqT}` pgkxwq`}T_f:cfkxkP}t Ygc\lo}twx_\~pq_3:}t pg|p^`_\ab^dcfe¢SY_\^Tcf~#c3}t_\ewzl:q`}dc3}tgeg~P}[2P{
8-0,. 8 %4-%<2B>
egMcf~pq}` cf}w K p_bkm¬q1cf~5#¬_gq1~p_b}w~c|p^`_\ab^dcfe qt}dc3}tg\{J}` pg~ÅcWR}tg^go±¬g=lnp}twx~pa 2gw}` pg^v_\^
# Y_\kzPqr pg~Jlg\{uPswx~Pnlo}twx_\~_b~Å}` pgv~PnpevuJg^1_3qt}cf}tge#g~P}g±pgMlnp}`wx_\~pq={K'¸\gg|pq p_bkm¬w~Ya(cfq
kx_\~Ya¡c3q #P_Pgq~p_b} p_\kzr¢
_`0 f½p'\
,18
3, 8.&%4-%<281690>?? 20 ,
,18
3, 8.&%4-%H
>@?A?
80,. 8.%4/%H
> ,-6;:, 24. :I8.&%/%H
>
³ pg^tg
, 6":,* 24. :I8.&%4-%<281690>@?A? 20 ,
, 6":,* 24. :I8.&%4-%<2B>C?? 8 8I8 X(Y 8=> >GH7 98"2&%D>I> ? >
, 6":,* 24. :I8.&%4-%<2C24. :. 0>C??Q, 6":,* 24. :I8 %4-%<2B>[ ,-6;:, 24. :I8.&%/%<24. :. 0>
YgCRnp~l}`wx_\~),-6;:,?24.U:l` pgMl`¸Pq³ pg}t pg^C}t Yg^tgwxq[2wx~5H
qtnJlt }t c3}CG2mX&Y(<Z r <Z wq\cfkxwzr¢
SY_\^ca\wx\g~B|Y^t_\ab^dc3e H
{%,M8
35,. 8.%4/%H
> wxe#|Ykwxgq}t c3}
80,. 8.&%/%H
>´ p_\kzPq#{cf~JwÄ
p_bkzPq1cf}1c3~sv|J_\wx~P}Cw~«}` pgg±pgMlnp}`w_b~_f}t pg´|p^t_ba\^dc3e }t Yg~(v p_bkm¬qgbg~P}tnc3kxksP¢
p½PÂPq=Á \
71,M8,M8
35,. 8 %4-%H
>?=16<,10+ 0,/24+* :,E8 %4-%H
>
0, 24+>* :,:8.%93,%H
>mX 0, 24+>* :,:8 3,%/%H
>I> 0, 24+>* :,:8.%4/%H
>
0, 24+>* :,:8.%4/%H
>CX 0,/24+* :,E8U3%4/%H
>I> 0,/24+* :,E8 [ 3,%/%H
>
Öz×îÕ:Özß
0, 24+>* :,:8.%93,%H
>mX 0, 24+>* :,:8-%<.>%H
>I> 0,/24+* :,E8 [ -%93[ .>%H
>
I»~«_\^Pg^}t_vwx~PRg^(246N8;rVsV tGu<´_\~lg´³g c=bg248:57:3dc8:<´wx~«}t pglnp^`^tg~P}qtsPq`}tge{P³gnpq`g³ cf}
¶Blc3kkxq1cÂ:½p TfRÁ0^`npkxgcf~³ pwzlt «wx}1~Y_\}tgqC74,M84 [ $A # *#% =46<,M0+. .;E ) \C}` pg e #;
lkzc3npqtg#l_b~P}dcfwx~pq}t pg PsP|_b}t pgq`gq_f}` pg^`npkxg¡c3~«}` pg -)#Ylokmc3npqtgb{r}t pg´Ëcbl}w~¬Rg^t^`gM°³ pg~}t pg
PsP|_b}t pgqtgqvcf^`gv}t^tnYg\¢=I»~B}` pg#Pg£J~pwx}twx_\~_f}t pgv|Y^tgMPwzlc3}tgvkxgMcbPq}t_ 4j%6 7'7fu9:t{r}` pg#PwxqnY~l}twx_b~
^`npkxgvwq´^tgMc3kkxsÅc3~Åwx~P£J~pwx}tgqtg}_f^tnpkxgq={:_b~pgR_b^g=c\l` Bwx~}`ga\g^5¢I»~PggMr{Tcfkxk_f}t Ygqtg^tnpkxgqc3^tg
l_b~pqtg=y\nYg~lgq_fqt|JgMlwzcfklc3qtg#_31}t pgv^`npkxgR_\^5
J
p¢_Spnp^`}t pg^te#_b^tg\{î³Cg#l_pPg#}` pg#PwxqnY~l}twx_b~
^`npkxgR_\^C5
J
p{pc3~«cqt|JgMlwzcfklcfq`g_f}t pgabg~pg^cfk¬wqxnp~lo}twx_\~«}t Yg_\^`ge 4Äj%68797fu,:t¢
1ÁJM½#\²Bg#P_Å~Y_\}vl_pPg«}t pg«kzcfq`}_b~pg(c3q#cÅPg=Pnl}`w_b~¯^`npkxg(uJgMlc3npqtg°qtnl` c°^tnYkg«³C_\npkzkxgMcb
}` pgq`sPqt}tge w~P}`_#cf~wx~P£~Yw}`gkx_P_\|:¢ZIZT³g´³_bnpkz# Jc=\g2%$o698:rlsV tGu<B$cf~]2&698:rVsl tGu]<wx~«_\np^
lnY^t^tg~}qtsPq`}tge{:¶ ųC_\npkz«wx~PZg^2$([]2a698;rVsV tGuj<+$([4<fc3~«³wx}t }t Ygkzcfq`}_\~pgwx}³C_\npkz
wx~PRg^&2 $ [ W2 $ [2 698:rVsV tGu1< $ [ j< $ [4< cf~qt__\~:¢ pwxq1wxq1Pnpg}t_v}` pg»c\l}}t c3}1}t Yg^tg
³wxkxkTuJgR_\np^Pw>rg^tg~}\cf^`wzcfupkxgqwx~Å}` pgv PsP|_b}t pgq`gq_f}t pg#Pg=Pnl}`w_b~B^tnpkxg\¢ I»}wxq~p_\}´}t pg#lc3qtg
R_b^}t pg´qtgMl_b~c3~}t pgZ_\np^`}t c=±pwx_\eqTug=lcfnpq`g}` pg^`gwxq}t Ygqdc3e#g1\c3^twzcfuYkgwx~(}` pg PsP|_b}t pgqtgq={
upnY}TR_b^nY~pw R_\^`e#wx}»s³gg~l_pPg}t YgR_bnp^-cW±pw_be#qcfqCwe|pkxwzlcf}`w_b~pqc3~³Cg1npq`g}` pge ³wx}` vg±p|pkxwmlow}
wx~pq`}dcf~P}`wmc3}twx_\~ *#%# f¢
pg´~pg±p}_\|Jg^dc3}t_b^tqc3^tgcfuYup^tgPwzcf}`wx_\~pq=¢
a0Pp>Rk0:b
B K F?A@2«wq1cq` p_\^`}t c3~R_\^Z 01Z½¬=Z*,*#C_\^Cwx~Ŷ (kzc3~pa\nc3a\g'\
":;2 -0,L8 %H
>??
8-0, 8 % %H
>
IZ2« Y_\kzPqc3}g\g^tswx~pwx}twzc3kq`}dcf}`g¡c3~2wxqqt}cfupkxg\{J}` pg~b2° p_\kzPq1c3}1gbg^ts«qt}cf}`g¡PnY^twx~pa#cf~Psg±pg®
lnY}twx_\~«_f|pa\e \wx}wxqcf~)+ '-,-!%)3,"$_3|pabe\
898 %H
%<69816:I> ?? 8 8;69816:G B>I? > ;:;2 -0,,8.%H
>
KG>r½p @ÁJA0:b
3 £p±pgM|_bw~P}C_fTc|p^t_ba\^dc3e wxq1Pg£~YgM«uPs8\
R K
&O] b2 TVU Xw QAF O
J OWO
J
\
ÕîÕÜYôoø]e÷
pwxq|p^t_b|g^t}»s¯wxq~p_\}vcf~V_\|Jg^dc3}t_b^kxwx¸\g! # { #""!# rg}dlf¢JI»}wxqvcuJ_P_\kxgMc3~Bg±p|p^tgq`qtwx_\~î{
³ pwzl` «³gl_be#|pnY}tgnpqtwx~pavc^tg=lnp^tq`wx\gRnY~l}twx_b~(_b~#}` pgc\lo}twx_\~pq_3}` pg|p^t_ba\^dc3eÅ¢
=Z82 a
JJ
@ :Z2Py a
=Z: 8Z2Zy a2:
JJ
@ :Z2Py aX @ :2:
=Z <-693 8,2 y
JJ
6 6< :[ @ :Z2 P
=Z <-693 : 8y
JJ
6 6< :[ @ :
=Z88.:
JJ
=P,8;7X =Z8
=Z8 692
JJ !
³ pg^tg
@ : 692
JJ !
@ :P2 a
JJ
243 :,< P,2;
J
a"X @ :
I»~B}` pwxqq`|g=lw £¤lcf}`wx_\~:{%6;qt}dc3~PqZ_\^cf~wzPg~P}tw £g^698E;\{<6:;\{<6 ;´_\^ 6E;:{cf~ ,´R_b^%c3~Ågo±¬|Y^tgq`qtwx_\~
,_\^1cuJ_P_\kxgMcf~g±p|p^tgqtqtwx_b~^
"
D#\* $# *
pg«¦§r¨z©Jª¯|p^`_P_fq`sq`}tge7wxqupnpwxkx}1np|J_\~°^tnpkxgq¬g^twx\g=«R^`_\e }` pg¡¬g£~pwx}twx_b~Å_3R,[# %o{ #""!#
c3~c#%,9Y d $3¢R<g^`wbgM«^`npkxgq|pkzc=s#}t Ygqcfe#g^`_\kxgwx~|p^`__3Rq1_3T|p^t_ba\^dc3e |p^t_b|g^t}twxgqc3qkxgee(c3q
wx~#e«cf}` pge(c3}twzlc3k\|p^`__3RqM¢ 2 _³glcf~wx~}`^t_pPnlog}` pge c3q-cW±pw_be#qwx~v}t pg|p^t_P_3_\^C}t_´npqtg}t Yge cfq
}` pg_\^`ge#q=¢Sp_b^T}t Yg1kzcfq`}-lc3qtg\{P}` pgsv c=bg1}`_ug|p^t_fbgMvuJgR_b^tgcf~Psvcf}`}tge|p}T}t_´|p^t_fbgc|p^`_\ab^dcfe¢
3 l}tnc3kxks´³g|p^`_f\gM}` pge npq`w~Ya¶ #cf~´|pnp}T}` pge wx~P}t_cpcf}c1uJcfqtwxqT_3¤abg~pg^cfkJ|pnp^`|_bqtg¦§r¨z©Jª
kxgee(cfq}` cf}1lc3~«ug^`gnpq`gMR_b^_\}t Yg^g±p|g^twxe#g~P}`qM¢ 2 _\e#g_3T}t p_bqtg^tnpkxgqcf^`g'\
#1>?A@,B:B D4Fk> D@V? O
357698:;2+yG<VyA2 TVUbfyG357698:;j<VycyA2 TlU1
357698:;2][1<VyGcyA2 TVUb
$`>(Ba=g@ B D%>'&%d>CD O
8:57:3dc8:W2"y<VyS2kTlU1ay8;57:3dc8:jcy(yA2 TlU1
8:57:3dc8:W2]XncyG<([)(yA2 TVUb
*(@ F BB
K % D F >CD@V? O
698:rVsV tGuZ2"y<([
I
yA2 TVUbay698:rVsl tGuZ
I
yGcyA2 TVUb
698:rlsV tGuZ2+yG<m[cyS2kTlU1
²BgC|p^t_fbge_\q`}:_fJ}t pg^`npkxgqTcfuJ_\np}%,[# %cf~J #;""!#%uPswx~¬nl}twx_b~_b~}` pgkxwxqt}_3}t pg1cbl}twx_b~pq:_3
}` pg1|p^`_\ab^dcfe{uJgMlc3npqtg}t Ygqtg|p^tgM¬wmlcf}tgq-c3^tgPg£~pg=vwx~Pnlo}twx\gkxs_b~}` pg1c\lo}twx_\~pq_fr}t pg|p^`_\ab^dcfe¢
"! +-,
)!x# *
3 qcf~g±cfe|pkxg\{J³gvPgql^twxuJg#}t Ygve(cfwx~«qt}`g|pq_3-}` pgv|p^`__3_f}t Yg#Pg^twxbgM^`npkxgb3d576N8;: (arV5.(a8:6
R_b^c3~Åc\l}`wx_\~ r Rkxg}6TuJgvcf~_b|g^cf}`_\^1_3qtwxab~cf}`np^tgr(t 'Lr(t 69QAtG{JR_bkkx_f³CgMuPs(wx}`q1e#g=lt Jcf~pwzl
wxe#|Ykge#g~P}dc3}twx_\~wx~¶î¢
Öz×îÕ:Özß
=>?S@ B:B D F >CD@V?(O
357698;:2"y<Vy6AjrVfyG357698:;j<Vycy6AjrV
357698;:2[<Vycy6AjrV
fÁrÁ'4]\
3d57698::W2"y<VyG6A rV :¾ @ d:
3d57698:: <VyGcy6A rl :¾ @ »hP
3d57698::W2[<Vya Y72&Xc7[ jY(<mX<7[4W2&Xcay6AjrV 01Z½pMZqv »C_\~d:cf~ ËhP
3d57698::W2[<Vya Y72&Xc7[ 2&Xcay6AjrV X rV57s][(C|Y^t_\|Jg^`}twxgq
jY2&Xnc7[ W2&Xnc c 1Z½ B 0Z
3d57698::W2[<VyGcyG6A rV Á0T½¹½P _\~4;c3~ 0P
½V0TÂfÁrÁ54M¢
pg¶«qdl^`w|Y}1_f}t pg|p^`_P_fTwxq]\
! #"$# #$%& '
()!+*,$-!%'$./1032405%6.7 !8990:-!%';.7240/<03%6.7 899
=
%>-!%$..?A@)B2$9!0/<05%6.C 899
$DEAF
=
$G0H2EF
=
2G0I+F
=
2'G0J>F
=
K0H 8LF
=
8
>!M#-;(#'& '
! "$ #$#%&%'""!
().../!(4./N9#ODG9I@).72'OP99L@QRG9QSQQ-;IF
=
QRT"
-"$LF
=
'U.C2'O!9LQS
$DEAF
=
./$B@)2!90H2EF
=
..?!(4.?$!9#O!!9V@).72'O'990
F
=
G05 !8WF
=
!8X($2*# #Y!& 'D
2'>
pgwx~PRg^`g~lg«^tnYkg8,[#%%d(.%, .%#;:wxq}`^dcf~Yqtkzcf}`gMBwx~BcPgMPnJl}twx_\~V^tnpkxg\¢°_(|Y^t_f\g#c°PgMPnlo}twx_\~
^`npkxg\{¶ }`^dc3~pq»R_b^teqv}t pg PsP|J_\}t Ygqtgq«uPs¥^tg|Ykmcblwx~paBgMcblt \cf^twzc3upkxg#uPs cBl_\~pq`}dc3~} o2¥uPs^2 (f{
<°uPs <(«cf~ c°uPs c(avc3~¥c\pPq}t pwxqv PsP|_b}t pgqtwxq#}`_Åwx}tq«lnp^`^tg~P}#q`sPqt}tge>cf~V}t^`wxgq#}`_B|p^t_fbg
}` pgÅl_b~lkxnpqtwx_b~:¢¯ YgÅl_\ee(c3~ 698;:vPwx^tgMlo}tq¶ }`_ÅnYqtg}` pg«w~¬Rg^tg~lg^`npkxg 357698:; sVQSCZ cf~J
(au57:8:<Z} 8;r H {J}»³C_¡Pg=Pnl}`w_b~^tnYkgq³ pwzlt «³CgPwz#~Y_\}a\wxbg1 pg^`gupnp}³ Ywml` «}t YgqtsPqt}`ge ¸P~p_f³qM{
³wx}t ¥}` pgcf|p|p^`_\|p^`wzcf}tgl_b~pqt}cf~P}tq=¢ ²BgPwx^tg=l}«¶ }`_B|p^t_fbg(}` pg«kxge#e«c . 281./,M04 0,
2uPsM
eg}t p_p#\/S:wx^`qt}C¶~p_\^`e(cfkxwxµgqî}t pgl_b~MgMl}`np^tgb{P}t pg~vc\YPq}t_}t pglnp^`^tg~P}CqtsPqt}`ge}` pg PsP|_b}t pgq`wxq]\
../!(4./;89[O\89[@).72'8OB899]Q^S
}`_v|p^t_fbg}` pgq`npupa\_Pcfk\3.B;? ?A?Q: 3 ,
ÕîÕÜYôoø]e÷
$
""' # #$%&%'""'
8
-F( %(E(( A( AQR
*(#$ #
$8;0 8$0 2'8
=
!(,$
$%&%'""! "!%' = 8
..?!(4.?$89[O\89L@).72'8EOB899IQ^S QQ-$
-F( %
$%&%'""!
8 8
!8\Q^SAQQ^-$
CB D
$ $ &
@
-E %C$#'-E"$ E#* a%(' *")%&.
%
pgCZ_\kxkx_f³w~Yawx~PnJl}twx_\~^tnYkg JcfqTcl^tnlowmc3kpwxe#|J_\^`}dcf~JlgTwx~}` pg|p^`__3qtsPq`}tge uJgMlcfnYqtg1wx}wx~P\_\kxbgq
}` pg«e#_\q`}wx~P}tg^`gqt}`w~YaÅ|p^`gMPwzlc3}tg\{C~c3e#gkxs*# ,9Y d $3¢Bgegevug^}t c3}}` pwxq|Y^tgMPwzlc3}tg« pgkx|pq}t_
q`|gMlowÄZs#}t Yg|Y^t_\ab^tgq`q1|p^`_\|Jg^t}`wxgq_fTc|p^`_\ab^dcfe¢#I»~#e_\q`}T_f}t pg|p^`__3RqC_flo_\~lnY^t^tg~}|p^t_ba\^cfe#q={
wx~_\^d¬g^}t_#|Y^t_f\gvcv|Y^t_\ab^tgq`q|p^`_\|Jg^t}»sP{r³Cg c=bg}t_g±p pwxupwx}qt_\eg}t Yw~Yav³ pwzlt MPgMlo^tgMc3qtgq\{qt_
³Cg~pggMc^`npkxg}t_vqt|JgMlw Rs}t c3}CËc\lo}M¢²Bga\wx\g}t pg^`npkxg%c3qwx}³-c3qw~ 4Äj%687'7bc;:\
a>CB+= D K J
%> O M
U~OPU } OWO698;rVsV tGuZ2&X
J U yaW2&X U1"[<
698:rlsV uZ2+yG<
}/wxqcqtg}³Cgkxk ®RR_bnp~Pg=1nY~Pg^}t Yg^`gkzcf}twx_b~ cf~J wxqcCZnp~l}`w_b~R}t YgR(#%$!%)3.JR^`_\e¹|p^`_\a\^cfe
q`}dcf}`gqC}t_]}¢XSp_b^qtwxe#|pkxwzlwx}»sP{wx~}` pg^tnYkg R³wx}t Y_\np}Twx}`qc3^tabnpe#g~P}¬g~p_\}`gqC}t pgCRnY~l}twx_b~v\cfkxnpg
³ pg~(}` pg|p^t_ba\^cfe q`}dcf}`gwxqnY~Pg^`qt}t_P_pR^`_\e }t Ygl_\~P}`g±p}M¢ pg PsP|_b}t pgq`wxq_f}` pwxq^tnpkxgwq}` cf}
R^`_\e c3~Ps#|p^`_\a\^cfe q`}dc3}tgwx~(³ Ywml` 2« p_\kzPq={P}t pg|p^`_\a\^cfeg±pgMlnp}`wx_\~«g\g~}`ncfkxkxsv^tg=c\l` pgqc´qt}dc3}tg
wx~B³ pwzl` < p_bkm¬qM{_\^´w}^tg=c\l` pgq#c«q`}dc3}tg#wx~B³ pwzl` 2 p_\kzPq³wx}` ¯ckx_f³Cg^\cfkxnpgv_3-}` pg«e#g}`^twzl
¢ 2
wx~log}` pgeg}t^`wml\cfkxnpglcf~p~Y_\}1PgMlo^tgMc3qtg´R_\^`g\g^={pgbg~P}tnc3kxks#cq`}dc3}tgwxq^tgMcblt YgM«wx~#³ pwzl` 4<
p_bkzPqM¢
pg´Rnp~Jl}twx_\~ cf~«}` pg_\^d¬g^twx~pa«Pg|Jg~_\~°}t pgg±cfe|pkxg_b^1}` pg|Y^t_\ab^dc3e }t_#|Y^t_f\gb¢
2
_
c3~«}t Yg¡l_b^t^`gqt|J_\~¬w~Ya(_b^dPg^q` p_\nYkmuglo_\~pq`wm¬g^tgMBc3q1|c3^dc3e#g}`g^tq}t_#uJgwx~pq`}dcf~JlwxgMr¢ cf}w}
wxq1~Y_\}1|J_\q`qtwxupkxgwx~¶:{rcfqwx~c3kxe#_\q`}-c3kxk:}t Yg_\^`ge |p^t_fbg^tq=¢RSY_\^go±Yc3e#|pkxg\{ lo_\npkzugvcupwx~c3^ts
RnY~l}twx_b~ R
+y
V J
+y
V
{J³wx}t }t Ygkxg±pwzl_\ab^dc3|p pwzl_\^Pg^`w~Ya(cfe_\~pa|c3w^`q_fwx~P}tgabg^tq={r_\^
c3~(nY~cf^`svRnp~Jl}twx_\~
R
,d
J Z
³wx}t }t pg´_\^d¬g^twx~pa¢
2 _v³g c=\gR_b^te«cfkxwxµgMv}` pwxq1|p^`wx~lwx|pkxgnpq`w~Ya(ckxg±pwzl_\ab^dcf|Y pwzl_\^Pg^twx~pa«cfe_\~pakxwq`}_fcf^`wx}t P®
eg}twzlgo±¬|Y^tgq`qtwx_\~:¢C²BgPg£~pg´}t pwxq_\^Pg^`w~Ya#cfqCR_bkkx_f³\
0, 6<..:8 84690%84690>I??
0, 6<..:8;.. 8 8;,B; %06":L; >%. E8 8;,! /%906;:" => >I??8;,B;# ,! => [ 8 8;,B;
J
,! =>XS0,-6<..E8U06;:L; %906":" =>I>
³ pg^tg 06":L;Bcf~ 06;:" ¥cf^`gB}»³_¥kxwxqt}«_fvg±p|p^`gqtq`w_b~:{,+;¯cf~S,! V}»³C_ go±¬|Y^tgq`qtwx_\~pq=¢7²Bg ¬g£~pg
&OV8Z2"y8Z2"' I 8P2«cfq1c3~«g±p}tg~P}twx_b~(_3$&OV57rt;y57rt ' I uu6
pg%R_\^`e(cfkxwxµMc3}twx_f~_3T}t pgwx~Pnlo}twx_\~|p^twx~lwx|pkxgwxq\
Öz×îÕ:Özß
6 ,U: 812
, 6981+
.4356981.
2 ,M3:
0,/24+* :,E8 X ,*
204 ,& 06;:I8",& 06;:L; %<, 06;:" =>%
8.X 0,-6<..E8", 06;:L; %<,& 06":" =>I>[ -%H
>
G 0,/24+* :,E8 %4-%H
>
³ pg^tg,*wxq1cRnY~l}twx_b~(}`gqt}`wx~pa gMybnc3kxw}»s _f}»³_g±p|p^tgqtqtwx_b~kxwq`}tq=¢
² wx}` (}` pwxq|p^twx~low|Ykgb{P³g|p^`_f\g}t pwxqCR_bkxk_f³wx~pa^`npkxg \
D %dg%?A?O
*8>3 :,< X) ,PyPfy 2.<kZyZay'&
*8>3 :,< :.@ yY ly
Yg^`gMc\¬g^lcf~£~g±c3e#|pkxgqCucfq`gM«_b~(}` pwxq³_b^t¸w~ 4ÄjC pgM\ :t{P³ pg^tg´³gPgql^twxuJg¡c´Znpkxks
l_be#|pnY}tg^Tl` pgMl`¸\g=v|p^`__3_f:c´¦§r¨Þ©Jª(|p^`_\a\^cfe¢ Ygg±cfe#|YkgwxqTc|p^t_b}t_pl_\k¬R_\^Tl_be#evnp~pwzlc3}twx_\~Yq
_fbg^CËcfnYk}»s#l` c3~pgkxqM{Y|p^t_fPwzPgMuPs#jC c3~Ps(c3~_6«wxqt^cwx~ 4Äj%68797\c:t¢
*$#**
I»~«}t Ywq|Jcf|Jg^M{Y³g c=bgPgql^twxuJgM°}t pge#g=lt Jcf~pwxµMc3}twx_\~v_3-¦§r¨z©JªÅkx_ba\wzl1c3~v_3wx}tq|p^`_P_fTqtsPqt}`geÅ{
c3~v³Cg c=\gqt p_f³~v}` cf}}t pg}t^dc3~pqtkzc3}twx_\~vwx~P}t_}` pg£J^tqt}ý®Ë_b^dPg^k_ba\wzl_fT¶wqqtn(lwxg~P}`ks~c3}tnp^cfk
}`_#cfkxkx_f³ lo_\~lg~}`^dc3}twx~pa#g>¤_b^t}tq_\~R_\^`e(cfkJ|p^`__3RqM¢
I»~%Ëc\l}}` pwxqq`wxe#|pkxwzlwx}»swxq:_\uY}dcfwx~pg=uPsc ]k )%$)3.%, $)_fJ}t pgCg~l_pPwx~paJ¢: Yg-cW±¬wx_be(cf}`wxµMcf}`w_b~
_3¤}` pgqt}cf~pc3^dpcf}c}»s|JgqT³CgCnpqtgMÙ{\q`nl` b57rtG3crV69cf~J:8;<38:5.(a8;b{pcf^`g|Jcf^t}_f}` pg1:c3^dl` 2 c=®
^`gM:c3~pa\nJcfa\g`¶Cr¶4EDF)DH:90 :t¢²Bg1 Jc=\ge#_pPw £gM}t pgqtgPgo£~pwx}twx_\~Yqw~«_b^dPg^}`_#c=±pwx_\e«cf}twxµg
lnYqt}t_be#wxµgMpc3}dc}»sP|gqcf~}`_(|Y^t_pPnlgZ_\^te«cfkPg£~pwx}`w_b~pqR_\^uc3qtwzll_\~log|p}tq^tgkmc3}tgM}`_«}t pg
lc3qtgvq`}tnPwxgq=¢
~}t Ygv_\}t Yg^ cf~Ù{:c\p¬w}`wx_\~c3k:³C_\^t¸°³-c3q^`gMybnpwx^tgM°}t_«q`we|pkxw Rsv}t pgv}`^dc3~pqtkzcf}`wx_\~
c3~}t_vup^`w~Yaq`_\e#gg±p|p^tgqtqtwx_b~pqw~P}`_¡c%R_\^`e }t Jcf}}t Yg|p^t_fbg^1lc3~( Jcf~Pkxg\¢
²Bg´ c=\gq`gg~B}` cf}}t Ygq`}»skxg_fq`|g=lw £¤lcf}`wx_\~w~ ¶ lcf~ugnpqtg=}`_(q`|g=lw RsB¦§r¨z©Jª{Jqtwx~lg
c3kabgup^cfwzlqt|JgMlw £¤lcf}twx_b~pqcf^`ggMc3qts}`_#³^twx}`g¡c3~«}t_«npq`g\¢ pwxq1wxqwe|_b^t}cf~P}³ pg~BPgMc3kwx~pav³wx}`
l_b~lnp^`^tg~P}|p^`_\a\^cfeq³ p_bqtg|Y^t_P_fRq1c3^tgl_be#|pkxg±#wx~«gqtq`g~lgb¢%I»}wxqwe|_b^t}cf~P}}`_v~p_\}`g}t c3}}t pg
l_be#|pkxg±pwx}»s_fT}t pgq`|gMlowÄ£rlcf}`w_b~pqlo_\e#gqCR^t_be }t pg´gevug=pPwx~pa_fq`_\^`}tqM{Y³ pwzl` (e«c\Pgwx}1Pw(lnpkx}
}`_ ^`gMc\Ù¢ pg^tgR_b^tgB³CgÅl_b~lg~P}t^cf}`gM¹_bnp^#g>r_\^`}tq£^`qt}«}t_¥e(c3¸\gw}«cfq«^tg=c\pc3upkxgÅcfq«|J_\qtq`wxupkxg
uPsÅc«l_b^t^tgqt|J_\~Pg~lg#uJg}»³Cgg~ Rnp~l}`wx_\~~c3e#gqcf~°}t Ygwx^q`ge(c3~P}twzlqM¢ Ywq|p^`_\upkxge7l_\nYkmug
_fbg^dl_be#g³w}` Rnp}tnY^tgPgbgkx_\|peg~P}tq_f}t pg´|p^t_fbg^M¢
I»~}t pwxqC|cf|Jg^={P}t c3~p¸Pq}`_}` pg1³| 1lc3kzlnpkxnpqM{P³Cg1³Cg^`g%c3upkxg1}`_^`gMcfq`_\~#_b~#}` pg1q`s~P}c\l}`wmlq`}t^tnJl`®
}`np^tg_f1}t Ygv|p^t_ba\^dc3e'wx}tq`gk 1wx~pqt}`gMc\_31^tgMc3qt_\~Yw~Ya_\~}t pg«l_\e|pnp}cf}twx_b~pqM¢I»~JPggM ~pg\g^wx~}t pg
l_bnp^tq`g_fp}t Yg|p^`_P_f³CgTe(cbPgTcf~Ps1eg~P}twx_\~}`_c^`np~_3}t pg|p^t_ba\^dc3eÅ{np~pkxwx¸\gD_\kzPq` pkzcfawx~4ED_bkm :
wx~« pwxq GFG6 |p^`_P_fd¢ np^1c3|p|p^t_Pc\l` «³-c3q1lkx_\q`g^}t_v}` pwxq_f ^t_f³~c3~_6«g^tswx~4Z6'0;:t¢
np^Rnp}`np^tgg>r_\^t}`q³wxkxk:l_\~log~P}t^dc3}tgv_b~}t pge#g=lt Jcf~pwxµMc3}twx_\~«_fT}` pgnYqtg_fwx~P\cf^`wmc3~P}tqwx~«}t pg
|p^`_P_fRq=¢I»~|cf^`}twzlnpkzc3^³CgC³wkxkbw~Pbgqt}`waPcf}`g p_f³B³Cglcf~npqtg1c|p^t_fbgM´w~P\c3^twzcf~P}rwx~¡c|p^t_P_3d¢I»~JPggM
|p^`gqtg~}`kxs{b³gCwx~P}t^t_pPnJlg}t pgqtgwx~P\cf^twzc3~}`qc3qcW±pw_be#qrwx~}t pgC|p^t_P_3RqM¢
~v}t pgC_\}` pg^T c3~r{f³CgC³-c3~}
}`_v^tgMPnJlg}` pgql^twx|p}_fT}t pg´|p^t_P_fZq³w}` «kgqtq¬w^`gMl}`wbgq1}`_v}t pg´|p^t_fbg^M¢
~Yg³-c=sv}`_v^tgM¬nlg}t pg
ÕîÕÜYôoø]e÷
ql^twx|p}_fc«|Y^t_P_f1wxq}`_npqtg«e_\^tgvPgM¬nl}twx_b~¯^tnYkgqM{uJgMlcfnYqtg«wx}wxq}t pg_\~pkxs³-c=s°}t_wx~PRg^Ëcbl}tq
³wx}t Y_\np}Cwx~}`g^dcbl}twx~pa³wx}t }t pgnpqtg^=¢[np}M{JcfqCg±p|pkzcfwx~pgMugoR_\^`g\{P}t c3}e«c=skxgMc\}t_wx~P£~pwx}tgkx__b|pqM{
c3~g\g~°wÄ~p_\}={P}t pgnpq`g_fe(c3~svPgM¬nl}twx_b~^tnpkxgqq`kx_f³q1P_f³~#}` pg|p^`__3|p^`_plgqtq=¢
3 ~p_\}` pg^1wxq`qtnpg_f_\np^C³C_\^t¸v³wxkxkJug}t Yg%¬gqtwxa\~«_3c}t^dc3~pqtkzc3}t_\^={P³ pwzl` #}t^cf~pq`kzcf}tgq1cfnp}`_\e(c3}twzlc3kkxs
c¦§r¨z©JªB|p^t_ba\^dc3e wx~(cql^twx|p}¶î{cf~J#|Y^t_P_f_\upkxwxac3}twx_\~pqcfqCwx~p|pnp}}`_«¶:¢
I»~ 4¢3 Y :ý{J}` pg¡c3np}t Y_\^1q` p_f³q}t c3}l_bevupwx~pwx~pa}t pgqtnpuYqt}twx}`np}twx_\~Bc=±pwx_\e 4Äj%687'7bc:T³wx}t °}t pg
}` p^tgg}`ge#|J_\^cfkJ|p^tgM¬wmlcf}tgqkg=c\PqC}t_vcf~vnp~Yqt_\nY~v|p^`_P_fq`sPqt}tgeÅ¢/I»~#_\nY^q`sq`}tge{\³Cg¬_~p_\}l_pPg
}` pgqtnYupqt}`w}`np}twx_b~Åc=±pwx_\e{\cf~³Cgcf^`g~p_b}1l_\~log^t~pg=uPs#}` pg .N! ), Y # ! %$ , Y-),cfuJ_\np}
}` pgPg£J~pwx}twx_\~_fT}t pg_b|g^cf}`_\^tqN,[# %-cf~J #;""!#%4¢3 p :t¢
"# =$#*v
np^g±p|Jg^twxg~logq³wx}` }t pg}t Yg_\^`ge'|p^`_f\g^¶î{r}t_|p^t_fbgc«lwx^dlnpwx}_f-PwxPwxqtwx_\~!4Äj:bh;:cf~c3}»®
}`ge#|p}`qP_b~pgvuPs_\}` pg^tq}t_«npq`g#wx}wx~Å}` pg#bg^tw £¤lc3}twx_\~_f1lwx^dlonpwx}Pgq`wab~B_\^Z_\^}t pgvbg^tw £¤lcf}twx_b~
_3cl_\e|pwxkxg^G4
2
lo_\h;:t{ä{Je(c\¬g1npql_\~P£rPg~P}1}`_#}t^`s«w}wx~«}t Yg|p^t_P_3_3l_\~lonp^t^`g~P}|p^t_ba\^cfe#q=¢
²Bgl` p_bqtg¦§r¨Þ©Jª cfqc|p^t_P_3g~PPw^`_\~peg~P}CR_\^l_\~Jlnp^t^`g~P}|p^`_\a\^cfeqM{puJgMlc3npqtgv_3wx}qtnllgqtq}t_
|p^`_fPwm¬gcl_\ee#_\~%R_\np~Jpcf}`w_b~Z_\^C}t pgPgqtwxab~#_f|p^t_ba\^cfe#qîR_b^-c%\cf^twxg}»sv_3:|cf^cfkxkxgkrcf~vPwxq`}t^tw ®
upnY}tgMc3^dl` pwx}tg=l}tnp^`gqM¢
pgl_bnp^tq`g_f_bnp^:wx~P\gq`}twxac3}twx_\~´kg=c\Pqînpq}t_1e«cf¸bg}` pgCe#gMl` c3~pwxµMcf}`w_b~_f:¶?#@#ACB#|Y^t_P_f_3:¦§r¨z©Jª
|p^`_\|Jg^t}`wxgq1cfqC|p^dcbl}twzlc3k:cf~~Jcf}tnY^dcfkrcfqC|J_\qtq`wxupkxg1wx~v_\^Pg^C}t_ugcfupkxg}t_´R_b^te(c3kxks\g^`w Rs³wx}` p_\np}
g±lgqtqtwxbgvg>¤_b^t}lo_\^t^`gMl}`~pgqtq_fC|p^t_ba\^dc3e#qg±p|p^`gqtq`gMwx~}t YwqR_b^te«cfkxwxqte¢<gq`|pwx}tge(c3~s^tgq`gMcf^ý®
l` pg^`qnp^tabgR_b^T}t Yg1e#_bqt}|J_f³g^ýRnpkJ|p^t_fbg^M{b³Cg³g^`g cf|p|Ps³wx}t #cf~#c3qtq`wq`}dc3~}|p^t_fPwzPgMwx}T pgk|JgM
npq}t_£~J#g=cfqtwxkxsvupnpabq1wx~#³^`_\~pav|Y^t_P_fRq1c3~wx}-c3kkx_f³CgMvnYq1}t_g±p|p^`gqtq|p^`_\|Jg^t}`wgq³Cg³-c3~P}tgM}t_
|p^`_f\gcfuJ_\nY}w~JPwxwzPnJcfkJ|p^t_ba\^dc3e#q=¢
pwxqCg±p|g^twxe#g~P}C cfqCuJgg~l_\~JPnl}³wx}t v}` pg^tgkxgMc3qtghp¢_3T¶(c3~v_bnp^C|p^t_P_f:q`sPqt}tge l_b~P}dcfwx~pq
c3u_bnp}-^tg³^`w}`gT^tnYkgqM{fwx~lkxn¬w~Ya}` pgPg£J~pwx}twx_\~pqr_3d57rtG3crV69b{;:8;<38;5.(f8;b{ I uu698;rV58P2c8;:;QAu57 {
c3~}t pg}` pg_b^tgeq-c3u_bnp}}t pg´}tge|_b^dcfkJ|p^`gMPwzlcf}`gqM¢
Yge«cfwx~#l_b~}`^twxupnp}`wx_\~«_fT}t Ywq|Jcf|Jg^l_b~pqtwxq`}tq1wx~}dcf¸Pwx~pa#cbP\cf~P}dc3a\g_fuJ_\}` }t Ygq`wxe#|pkxwzlwx}»s
c3~¥}t Yg|_f³Cg^_f}t pg°e#_pPgk|p^`_\|J_\q`gM uPs¥jC cf~¬s c3~ 6«wxqt^c¯cf~J¯}` p_\q`g_f}` pg c3qtq`wq`}dc3~}
|p^`_f\g^¶î¢¡jC Jcf~Psc3~6wq`^dcqtgge'}`_( Jc=\glc3|p}tnY^tgM³ c3}wqwxe#|J_\^`}dc3~}CZ_\^1}` pg#Pgq`wxa\~_3
|c3^dc3kkxgkr|Y^t_\ab^dc3e#qcf~|p^`_fwzPgc´|p^t_ba\^cfe~p_\}cf}twx_b~:{\q`|g=lw £¤lcf}`wx_\~kzcf~Ya\nc3a\gc3~|p^t_P_3}t Yg_\^`s
wx~«_\^Pg^1}`_vqt|JgMlw Rscf~J«}t_v|p^`_f\gwx~cvlkxgMcf^`ks«cf~«l_b~lwxqtg³c=s¢ 2 _vwx}wxqwxe#|J_\^`}dcf~P}C}t_#P_v}` cf}
=cfnp}`_\e(c3}twzlc3kkxs cf~}t_vabg}CR_\^`e(c3kbg^tw £gM|p^`_P_fRq=¢
\1%*
43
~Jp\h : SC¢
3
~JPg^tq`g~:¢ $S # 2!# . !2' # !]2! " $9&)()+ ): # ! !Y # ! - ).¢] <!}` pgqtwxq={
gMl` p~pwzlc3k:Æ~pwxbg^tq`w}»s_f<1g~pe(c3^t¸r{=\bhp¢
4¢
3
p:
2
c3~Pg^`q ¢
3
¢kxwxe#wx~c3}twx~pav}` pgvqtnpuYqt}twx}`np}twx_\~¥c=±pwx_\eÃR^t_beºÆ I» kx_ba\wzlf¢ 2! (,
#%.%$ ) $)+,f{[0[\x]7bph-\Y{pMbpb¢
Öz×îÕ:Özß
4Z6'0 : ´¢ ^t_f³~!cf~ <¢%6«g^`s¢ 3 |p^t_P_3g~PPw^`_\~peg~P}R_\^l_b~lnp^`^tg~P}|Y^t_\ab^dc3e#qM¢ I»~
$;c. ! .%# #Y2)+, _a!^ ) ) {\_bkxnpe#g b-«_3R-#%.%$"!# " $ # ()+ GC/$# !
^ . )3#; .%#¢ 2 |p^`w~Ya\g^Tg^tkzcfaJ{=\'0Y¢
4ÄjC pgMb : ¢\jC pg}cfkxw»¢
3
R_b^te(c3k\|p^`_P_fr_f:c1|Y^t_\}`_pl_\kPZ_\^Tl_\eevnp~pwzlc3}twx_\~pqr_fbg^îËcfnYk}»sl` c3~p~pgkxq
npq`wx~pa}` pgkzcf^l` #|p^`_f\g^=¢gqtgMc3^dl` Åg|_b^t}1hfP Y{'I»~p^`wzc=®tr_\^`^dc3w~Yg\{rMb\p¢
4Äj:bh : ¢jC Yg}dc3kw1c3~¯]¢rgqdlc3~p~pg\¢ 3 ~Vg±pg^dlwxq`gwx~ :]{}t pg|p^t_P_f_fc«~p_\~V^tgq`}t_b^twx~pa
PwxPwxqtwx_\~#low^lnpwx}M¢ I»~Æ¢[6c3^t}twx~cf~J#J¢P² wx~pa{Pg=Pwx}t_\^`qM{ . !*.f)+! $$ $ # ! , $),
_-! *[* - ,2!.P¢ 2 |Y^twx~pa\g^»®Tg^tkzc3a{rMb\hY¢
4Äj%68797\c : ¢ 6 ¢jC c3~Ps(c3~«J¢ 6«wxqt^cp¢). ,2!,+# . !-!, # ) , Y , $)p¢
3
pPwxq`_\~P®
²Bgq`kxgs{JM97'7Y¢I
2 W®ýhpo®b'7 =®tp¢
4Äj%68797fu,: ¢[6c3~pw:jC cf~JPs(c3~c=scbPg=6«wxq`^dcp¢Z. ,-!,#;#. ! !, # )
! ¢ 3
pPwxq`_\~P®»²BgqtkxgsP{rM97'7Y¢
4E<w : ¢P²<¢[<1w¸Pq`}t^dcY¢ " )*. ) )+ #N. !-!,N ),W¢C]^tg~}`wzlg®F1cfkxk»{rMb Y¢
4EDDY: 2 ¢#¢Dc3^tkzcf~JÅc3~¢$¢D%np}t}cfa¢ 3 a\npwzPgv}`_kx|:{î}t pgvkzcf^l` B|p^t_bnp\g^=¢#gMl` p~Ywmlcfk
g|_b^t}7\hp{#<wxa\wx}dc3k
2
q`sPqt}tge#qgqtg=cf^dl` ¯jCg~P}`g^M{C]0vrsP}t}`_\~
3
\gb¢{r]cfkx_
3
kx}t_J{¤j
3
3 0-Y\{PÆ 2,3
¢x{rM\Y\¢
4EDF)DH'0 :J¢%¢Dnp}`}dc3a{J¢rJ¢F_b^t~pwx~paJ{
2
¢r¢/Dcf^`kmc3~r{&¢#<¢Ù\_\~YgqM{
3
¢#6«_pPg}={c3~°¢#6B¢
² wx~paJ¢ - ,2!.,_- ,, , 2# , YJ& -!N-! ,^9 #%. ) .%, $)Y¢
2
|p^twx~pabg^»®Tg^`kzcfa{
=\'0Y¢
4ED_bkm : <¢[6B¢CD_\kzPqlt Ykmc3a¢Z6«gMl` cf~Ywmlcfkxkxs#\g^tw RsPwx~pa¡lo_\~lnY^t^tg~}|p^`_\ab^dcfeq³wx}t «}t pg´u_fsbg^»®
e__b^tgv|p^`_f\g^=¢*$a aa & !,"*,/. $)"J^ %$ ,-!# aZ, ) #%# !%)+,f{VËZ\x \ ¤ bh\hP{
2
g|p}tgevuJg^=\-Y¢
4Ä:c3e(b : ¢p:cfe|_b^t}=¢T]^t_fPwx~pa}t pglo_\^t^`gMl}`~pgqtq´_fTevnpkx}twx|p^`_¬logqtq|p^`_\ab^dcfeqM¢$aaa &!, , . T
$) ^ %$ ,-!# a,-)+ #%# !%)+ W{#0V»hP;\=h\ ¤,0p{p=\bp¢
42 l_P\h : ¢ 3 ¢ 2 l_b}t}M¢VÆqtwx~pa¯î]¹}`_Åwx~P\gq`}twxac3}tg«l_\e|pwxkg^l_\^`^tgMlo}t~pgq`qM¢ g=lt Y~pwzlcfk^`g|_b^t}={
I6j®ýhY¢3 ¢äh=®;pC_fj%F 3 G6 C 3 0bhpY{=\bhp¢
42 DDL7'7 : J¢ 2 }cfnp~Yqt}t^`np|:{ 2 ¢î¢XDc3^tkzcf~Ù{c3~¢$¢XDnp}`}dcfaJ¢'Tg^`wÄ£rlcf}`w_b~B_f( 2 Ilwx^dlonpwx}tq
npq`wx~pa î]¢JI»~ . ! .%# #Y2)+, $A #$ $.)+*-,.0/ # !#; .%# $A # # )
,-!Y ,-!#1#% ) , Y # !%) .%, $)p{T|c3a\gq0\hb[0fY¢rkxqtgPwxg^
2
lwxg~Jlg]npupkxwxqt pg^tq
¢2¢ _b^t}` P®F_\kxkzcf~k{JM'797p¢
42
DDL7\ : J¢
2
}dc3np~pqt}`^tnp|î{
2
¢Y¢[Dc3^tkzcf~Ù{c3~\_\ Y~3¢[Dnp}`}dcfaJ¢Tr_plc3kwxµg=v\g^tw £¤lc3}twx_\~«_fTlwx^»®
lnYw}Pgql^twx|p}`wx_\~pq=¢XI»~(J¢ 2 w Ëcf¸PwxqM{bgMPwx}`_\^M{C. !*.%#%#Y-)+, 5,4_-! G[* /$(, $)3.
# !%) .%, $)5#%$A Y X]-!Z)+ )$ # ^ $, $# ^ %$ #; * !#; '`;# !, .%# \{\b_\kxnpe#g\_3
-#%.%$"!#)" $ # )+!GC/$# !G^. )3#; .%#{p|c3a\gq%0fP 0 fJ¢ 2 |p^`w~Ya\g^ý®6Tg^tkzcfaJ{\bnp~pgvM97\p¢
ÕîÕÜYôoø]e÷
