HAL Id: inria-00074078
https://hal.inria.fr/inria-00074078
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,
Derivation of Static Analysers of Functional Programs from Path Properties of a Natural Semantics
Valérie Gouranton, Daniel Le Métayer
To cite this version:
Valérie Gouranton, Daniel Le Métayer. Derivation of Static Analysers of Functional Programs from Path Properties of a Natural Semantics. [Research Report] RR-2607, INRIA. 1995. �inria-00074078�
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
Derivation of static analysers of functional programs
from path properties of a natural semantics
Vale´rie GOURANTON et Daniel LE ME´ TAYER
N˚ 2607
Juillet 1995
PROGRAMME 2
!"$#%& ('%)! *
+* ', -.',!'( /!0 1 # 234* 56
7!8:9<;
=?>A@B=,C%DEGFIHGJGKLDJNM=?OIP 8RQ
@S=
9T&UWV
;
U
K6HX
U
F2MM
Y Z\[+]^Z`_baLaIcedfhg&_bikjmlRinpo?arqs[+iutkv+l:c+wbxRZ\[+]+Zm_baLa_by\tu[bz!cy6]{cz:t|ciu[+]^tkjmtuci
Y Z\[}mcy~_bzs?c
6_bxRxs[+Z\ye?cZpcj\RcZ`j\Rcz ?d+^+fh+l:t|iuiucy^+fhd+x_]+cn
Abb^%(c_^?+[Rj_ypcey\RclRnpc[3[+xscZm_byptu[^z_bisnpcaG_bz?yptkjmn&_bn&_4q_bn\t|nB[^ZnpxscjmtBo?tuzR]xRZp[^]+Z`_a
_z_biuo?npcnLB[^ZrBl:zjmyptu[^z_bi6i_zR]+ls_b]+cn (c%xRlRyLB[^Zp¡&_bZ`¢_(aIcypR[R?[^i|[^]+o£B[^Z?c5¤zRtuzR]¥_¦n\y`_by\tkj
_z_biuo?nptun q?o!n\ljjmcn\nptu+cZ\cm¤zRcaLcz?ypn[b§ypRc&zs_bypl:Z`_bisnpca_bz?y\tj5n3[ypRc&ik_zR]+l_]+c+¨(c&lRnpc6x_by\Rn_bn
y\Rc_bqRn\ypZ`_^jmyeZ\cxRZ\cnpcz?ym_byptu[^z%[b xRZp[?[b ypZ\ccn_zr¡cxRZp[b?tk?c_ik_bz:]+l_]+c&S[+Z&?cm¤zRtuzR]xRZ\[+xscZpy\t|cn
tuz(ypcZpaIn[Z\cjmlRZ\Zpczj5c%cv^l_by\tu[+zRn[^z©xs_byp:nL(crnpR[b¡ ypRcLnpxscjmt¤ªj_yptu[+z([n\c+cZm_binpym_bzR_Z`
xRZ\[+xscZpy\tucn&[+zrx_ypRn6«Bz:cc?c$zRcnpnAw§_bqRn\czjmc+w?l:zRtkv+l:czRcn\nw¬A¬A¬®_bzypRc&aLcj\_bzRtkj_i?cZ\tu+_byptu[^z![
y\Rc!jm[^ZpZpcnpxs[+z?tuzR]G_bz_iuo<n\cn
¯L°?±§²p³´s+µ b,BlRzj5yptu[+z_iRik_bzR]^l_b]^cnw^[+xscZm_byptu[^z_bisnpcaG_bz?yptkjmnAw+z:cc?c$zRcnpn_z_biuo?nptunw^x_ypRn&_bz_i¶
o?nptunAwR[+x:yptuaItunptuzR]jm[^aIxRtuiucZ\n
·k¸r¹
º®»½¼¾
¹
º¿3Àu»½Á½ÂmÃ
ÄpÅÆmÇbȽÉmÊbËBÆ̨ÍÎÈSÍÐÏBÉÑÒÈ
Ä\ĽÓÐÔ½ÕeÔËBÉmÖ Ô Ì§ÍÎÈSÍÐÏSÉbÑÒÈ
'% 4 % '%!'%e % &-G* A5#% 4* G#G
#4b
°$° &[+l:nx:ZR{cjm[^zRtunp[^zRnilRyptuiutun`_by\tu[+zl:zRc!nR{ca_z?yptkv^lRc[+x&{cZm_by\t|[^zRzRciuiucrjm[+aLaIceqs_bnpcr?c
n\x{cjmt¤ªj_yptu[+z"Î_bzs_biuo?npcnI?c,xRZp[^]+Z`_aIaLcn!xs[+l:Zri|cnIik_bzR]?_b]^cnB[+zsjmyptu[+z:zRciun&[+l:nIaIcypyp[^zRnrcz
_A+_z<ylRzRcaN{cypR[R?[^iu[+]+tucx[^lRZe{cm¤szRtuZlRz:c_z_biuo?npcn\y`_by\tkv+l:cex_Ze?cn&Z`_ IzRcaLcz?ypnnpljj5cnpn\tÐSn?c
ik_LnR{caG_bz?yptkv^lRcz_by\lRZpci|iucI?l(ik_zR]<_]+c+&[^lRnlRy\tui|tun\[+zRniucn!j\RcaLtuzRn!jm[^aIaIclRz:crZpcxRZR{cnpcz<ym_by\t|[^z
_qRnpy\Z`_btuy\cIÎ_bZpq:Zpcn?crxRZ\clR^crcyzR[+lRnB[+lRZ\zRtunpn\[+zRnlRz£ik_bzR]?_b]+c4x[^lRZ{cm¤zRtuZ?cn4xRZp[^xRZptA{cyR{cncz
y\cZpaLc\{cv^l_yptu[+zRn4ZR{cjml:Zpnptu^cnrnplRZriucnrj\RcaLt|z:n! [+lRnaI[^z<y\Zp[^zRni_ npx&{cj5tФ§j_by\t|[^z¥?cLxRiulRnptucl:Zpn
xRZ\[+xRZ\t{cyR{cn6npym_bzR_Z`?n&n\lRZi|cnejp:caItuzRn&«Sz&{cjmcnpnptuyR{c+w§_bqRn\czjmc+w:lRzRtkjmtuyR{c^w§¬¬A¬pcyik_{cZ\t|+_yptu[+zraN{cj_ ¶
zRtkv^lRc?cn_bz_iuo<n\cnejm[^ZpZpcnpxs[+zR_z?ypcnA
"0´s ²`$#%°££i_zR]<_]+cnB[^zjmyptu[^zRzRciunw?nR{ca_z?yptkv^lRc&[+x&{cZ`_by\tu[+zRzRci|iuc+wR_z_biuo?npc?cz&{cjmcnpnptuyR{c+w§_bz_i|o?n\c
?cjp:caItuzw^[+xRy\tuaItun`_yptu[+zr?c!jm[^aIxRtuik_by\clRZ\n
7 8 ! £#&
(c ¤Zpn\ye?cn`j5Zptuqc4ypRc]+czRcZ`_i§aI[^yptu+_by\t|[^z[b ypRc¡[+Z:9rxRZpcn\cz?ypc RcZpcqscmB[^ZpcnplRaLa_ZptunptuzR]6ypRc
aG_btuzrZpcn\lRiuypn?c+ci|[^xcAGtuzIyp:cq[R?oL[b ypRcx_xcZA
;<:; =?>A@#BCDE@FB:>G
Hcj_lRnpc%[^xRyptuaLt|n\tuzR]%jm[+aLxRtui|cZpn!_Zpc%jmZplsjmtk_biB[^Z!y\RcItuaIx:i|caIcz?y`_yptu[+z,[beSlRzjmy\t|[^z_biik_bzR]^l_b]^cnw
y\Rcnpym_by\tj_z_biuo?nptun&[bBlRzj5yptu[+z_i§xRZp[^]+Zm_baIn_n&Zpcjmct|^c£jm[+zRn\tk?cZ`_qRiuct|z?y\cZpcn\y?lRZptuzR]yp:cik_bnpy
?cAj_+?c^I½z,x_bZ\yptkjmlRik_bZe_z?lRarqscZ[bnp[^xRRtunpy\tkj_by\cLBZm_baIc¡[^Z9?n_zG_biu]+[^Zptuyp:aIn_A^cqsccz%xRZ\[b¶
xs[+n\c¦B[^Z!n\ypZptkjmy\zRcn\n _z_biuo?nptunKJL6Rw&d Mpwx_ypN_bzs_biuo?nptunNJu^wdRw&4M_bz nptuzR]^i|c5¶®y\RZpc_^?tuzR]OJÎ?w& M
P&Rcjm[^ZpZ\cjmypz:cnpn!_zry\Rc_+jj5lRZ`_^jmoG[byp:c!_bz_iuo<n\cn_A+c6qccz%cQRypcz:nptu+ciuoLnpypls?tucG_bznpc^cZ`_i
y\cj\RzRtkv^lRcn_A+c6qccz%xRZ\[+xs[+npcAGZpcj5cz?ypiuoGyp[rtuaIxRZ\[b+c&y\Rcc jmtuczjmoG[3yp:c!_bz_iuo<n\cZpnJuA?w4Mp
R6cn\xRtuypcGyp:cG®_+j5yryp_yI_bqRn\ypZ`_^jmyItuz?ypcZpxRZ\cy`_yptu[+z2¡&_bnr[+Z\tu]+tuz_biuiuo©?c5¤zRc2tuzN_bz2[^xcZm_by\t|[^z_bi
BZm_baLc¡[^Z9-JÎ Mw¨aI[+n\y[beyp:c_bzs_biuo?npcn4B[+ZBlRzjmy\tu[+z_iik_bzR]^l_b]^cn!_bZ\cIq_npc [+z _qRnpy\Z`_+j5yrt|z?y\cZ½¶
xRZ\cy`_yptu[+z:n[?czR[^y`_by\tu[+z_inpca_bz?y\tj5nsNRtuiucypRtuneaG_AorqclRz$cZpn\yp[?[R©_n_rzs_bypl:Z`_bij\R[^tj5ctuz
y\Rcjm[+z?ypc!Q$y&[§BlRzj5yptu[+z_iik_zR]+l_]+cnAw+y\Rtunq:t_ns_bnlRz?B[^Zpypl:z_by\cjm[^zRnpcv^lRczjmcnATS6zRcen\t|]^zRt¤ªj_z<y
n\R[+Z\y`jm[^aItuzR][ªy\Rc?czR[^y`_by\tu[+z_i_bxRx:Zp[<_^j\rt|nyp:c&®_^jmyyps_byypRcjm[+zRz:cjmyptu[^zI¡&tuypry\Rce[^xRyptuaItunm_A¶
y\t|[^zr¡&Rtkj\!tunn\lRxRxs[+npcAryp[qsc&ypRc6tuzRtuyptk_bi^aI[+y\tu+_byptu[^zeS[+Z ypRc_bz_iuo<n\tuna_Aoqscjm[^aIc&iucnpn[+q??t|[^lRn
U6n_bz,t|iuiulRn\ypZ`_yptu[+zwJVM_zWJLX4M3l:npc!jm[^z?yptuz?l_by\t|[^zRn&yp[rx:Zp[b+c4ypRc!j5[+ZpZ\cjmy\zRcnpn4[bnpy\Zptkjmypz:cnpn¶®q_npc
[^xRyptuaItunm_byptu[^zRn3P&Rtun&y`_n9Gtun®_bZBZ\[+a/qct|z:]rypZptu?tk_bi½%Uez,cnpn\cz?yptk_biuiuoI[^xcZm_by\t|[^z_bixRZp[^xcZpy½o£«BzRccm¶
?cA?zRcn\n`6tunZ\cj_bn\yetuzIy\Rc?czR[^y`_yptu[+z_isBZ`_aIc¡[+Z:9I«Snpy\Zptkjmypz:cnpnm&S[+ZypRcn`_9+c[b ypRc_z_biuo?nptunw^yp[
qscypRczLlRnpcArtuz_zr[+xscZ`_yptu[+z_iRSZ`_baLc¡[+Z9«®_bq:npypZm_+jmy&aG_+j\RtuzRc[+Zj5[+aIx:t|iucZmYS jm[+lRZ\npc¡cj_z
Z\cnp[^Zpyyp[jm[+z?y\t|z?l_yptu[+z:nyp[Z\cjm[b+cZc+_biul_yptu[+z4[+Z`$cZtuz_?czR[+ym_byptu[^z_bi?npcypyptuzR]qRl:yypRtun a_Ao6zR[+y
qscrypRcaI[^npy6z_by\lRZ`_i3¡&_AoGyp[GxRZ\[$j5cc§AZG[+Z\c!tuaLx[^Zpy`_z?ypiuo<w^yp:t|naG_AoIxRZ\cjmiul?cry\Rc_xRxRiutkj_by\tu[+z
[y\Rcypcj\Rz:tv^lRcn?c^ciu[+xscGtuzIy\RcBl:zjmyptu[^z_bijm[^aIarlRz:t|y½oy\[r[+yp:cZ&®_aItuiutÐcn[b3ik_zR]+l_]+cnA
(c B[RjmlRnG[+z0ypRc£xRZm_+jmy\tj_bi!_^?+_bz?y`_]+cnL[b![^xcZ`_by\tu[+z_in\ca_z?yptkjmnrS[+ZGxRZp[^]+Zm_ba _bzs_biuo?nptun
tuz y\Rtun!xs_bxscZ (crxRl:yB[^Zp¡&_bZm(_%aLcypR[R?[^iu[+]+oLB[^Z$cm¤zRtuzR]©_,npym_by\tjL_bz_iuo<n\tunq?o(npljj5cnpn\t|^c
Z\cm¤zRcaLcz?ypn[by\Rcrz_yplRZm_bin\ca_z<y\tkjmn[b&ypRcrik_bz:]+l_]+c+§(ctuiui|l:npypZm_by\c!y\RcraIcy\R[R?[+iu[^]+oI¡&tuy\
y\Rc!n\xcAjmt¤ªj_by\tu[+z£[bnpc^cZ`_inpym_bz:_bZ` xRZp[^xcZ\yptucn[+z,x_by\Rn«BzRccA?c?zRcnpnw _bq:npczj5c+w§lRzRtkv^lRcz:cnpnAw
¬A¬¬\&_bzypRc!$cZptu+_by\tu[+zI[3y\Rc!jm[^ZpZpcnpxs[+z?tuzR]G_bz_iuo<n\cn
;<[ \-]^@F_:BG2`
P&RcBZ`_aIc¡[+Z:9G¡crxRl:yB[+Z\¡_Z`£tuz?+[^i|^cny½¡[GaG_btuz%npy\cxRn4B[+Z4ypRcrZ\cm¤zRcaLcz?y![y\Rcrz_yplRZm_bi
n\ca_z<y\tkjmn&[b ypRcik_zR]+l_]+cYa
+P&Rce?cm¤szRtuyptu[+zr[¨_ BlRzsjmyptu[+za_xRxRtuzR]6xRZp[?[b§ypZ\ccntuz!y\Rcez_yplRZm_biRn\ca_z?yptkjmn tuz<y\[_bqRn\ypZ`_^jmy
xRZp[?[ypZ\ccnEUeq:npypZm_+jmy4xRZp[?[b&ypZ\ccnc!Q$y\Z`_^jmyBZ\[+aWyp:c!n\cv^lRcz?ypny\RcrxRtucjmcn[btuz?S[+ZpaG_by\t|[^z
¡&Rtkj\_bZ\ceZ\ciuc+_bz?yyp[y\Rcjmik_bnpn[b3_z_biuo?npcnlRzs?cZ&jm[+zRn\tk?cZ`_yptu[+z?(cejp:[<[^npc_bzI_qRnpy\Z`_^j\¶
yptu[+zLtuzy\cZpaLn&[b x_by\Rn«B[^Z&npcv^lRczsjmcn[b+_bZ\tk_bqRiucnmtuzIy\Rtun&x_bxscZA
dRP&Rc©?c5¤zRtuyptu[+z¢[bnpxscjmt¤ªj,xRZp[^xcZpyptucnGcQRxRZ\cnpn\c0tuzNypcZpaInr[Zpcjml:ZpZpczjmc cAv+ls_byptu[^zRnI[^z
V '4 !1#/
(c4xRZp[b?tk?cr_In\o?z<ym_Q%S[+ZxRZp[?[ypZ\ccnr_bz,¡cr?cm¤szRcrypRct|Z_bqRn\ypZ`_^jmyptu[^z©tuz£ypcZ\aIn[bxs_byp:n
Y _by\Rn_bZ\cjm[^zRnpy\Zplj5ypc,BZ\[+aWq_nptkj4ciucaIcz?y\n«By\RccaIxRy½oLx_by\£_bzs%n\t|z:]+iucyp[^z%x_ypRn "!e
_z%y\RcIjm[^zj_by\cz_yptu[+z£[+xscZ`_yptu[+z$#! P&Rco%Z\cjm[+Zm£tuz?B[+Z\a_yptu[+zG_bqs[+lRyyp:cI_bxRxRiutkj_yptu[+zG[bypRc
Z\lRiucGB[+Zr+_Zptk_bq:i|cnrt|z2y\Rc%[+xscZm_byptu[^z_bi6npcaG_bz?yptkjmnAAP&Rc%xRZ\[+xscZpy\t|cn[t|z?y\cZpcn\y%_bZpc£?cm¤zRcA2tuz
_Gik_zR]+l_]+ctuzjmiul?tuzR]GlRn\cZ½¶p?cm¤z:c¦q_bn\tjxRZp[^xcZpyptucnAwjm[+zA}mlRzjmy\tu[+z _bzs&%`_bZ\Zp[b¡ xRZp[^xcZ\yptucn('©[
Bl:zjmyptu[^zRnAU6nI_bz tuiuiulRnpy\Z`_yptu[+zw¨¡cGnp:[b¡ypRc%?c5¤zRtuyptu[+z¦[bypRcLxRZp[^xcZ\y½o2yp_y_,+_bZ\t_qRiuc)¦t|n
+*Y+*t|zG_x_by\Ta
+*,:«-§ . /10325476
+* , «8!e . 9+:<;=6
+*
,
«8>?!e . /10325476
+*,:«A@=BC#D@FEAG. 7*H,?«I@=BJ +*H,?«A@FEA
U"]^czRcZ\tkjtuz?BcZ\czjmcn\o?npypcaWt|nej5[+zRn\ypZplsjmypc BZ\[+ay\Rcz_yplRZm_bi§npca_bz?y\tj5ne_bzypRcxs_byp%_qRn½¶
y\Z`_+j5yptu[+zLBlRzsjmyptu[+zLK:[+ZtuzRnpym_bzjmc^w?ypRc]+czRcZptkj6npo?n\ypca/tuzjmiul?cnyp:ceS[+iuiu[b¡&t|z:]eZpl:i|c6B[^Zy\Rcj5[+z?t¶
y\t|[^z_bi «1M"tune_nptk?cjm[^z?tuyptu[^zI¡&R[^npcxRZ\cjmtunpc?cm¤zRtuy\t|[^zGt|nzR[^y&nptu]+zRt¤ªj_bz?y_y&ypRtun&n\y`_b]^ca
NOQPR SUTWVYX
B a3ZB
SUTWVYX E a3ZWE
SUTWVYX<[
a3Z
[
SUTWV]\^_=`
«X B X E
Xa[
0a3b+c
tdM«1Z=B<e+ZFEe+Z
[
e7bfc®
g$xcj5tФ§jGnpo?npy\caInGj_bz2y\RczNqsc©?cZ\tu+cN_lRyp[^a_yptkj_biuiuoGBZ\[+a ypRc,]+czRcZptkjGnpo?n\ypca _z¦ypRc
?c5¤zRtuyptu[+z:n![exRZp[^xcZ\yptucnAK:[+ZtuzRn\y`_bzsjmcGypRcB[+iuiu[b¡&tuzR]Iy½¡[%Zpl:i|cnI_bZpcG?cZ\t|^c£SZp[+ay\Rc_q[b^c
]^czRcZ\tjZplRiuc6B[+Z7*
, a
NO]PR]h
h
SUTijX
B a(+*Hk
SDT i \^_=`
« X B X E X [
0a7*
k
NO]PRml
h
SUTiX
E a +*
,
SnTiX<[
a +*
,
SDT i \^_=`
« X B X E X [
0a7*
k
P&:c?cZ\t|^ctuz?BcZpczj5cn\o<n\ypcaLn3_Zpc_npnp[Rjmtk_ypc4¡&tuypc jmtucz?y tuz?BcZ\czjmc&_biu]+[^Zptuyp:aInRcQRxRiu[^t|y\tuzR]
y\Rc©z:[+yptu[^z¥[o%pik_qpo y½o?xsc©tuz?BcZpczj5c<'2t|z?y\Zp[R?ljmcANtuz JuMp P&Rc©_biu]^[+Zptuy\RaInr_bZ\c%cQRxRZpcnpnpcA _bn
n\o<z?ym_Q?¶$t|Z\cjmy\c%_bzs$cypcZ\aItuzRtunpy\tkjetuz?ScZpczsjmcnpo?n\ypcaLn
U6x_bZ\yBZp[^azRccA?c?zRcnpn!_z_biuo?nptunw^¡cj5[+zRn\t$cZey\RcB[^i|iu[b¡&tuzR]xRZ\[+xscZpy\t|cnetuzGypRtun&x_xcZa
+Qr1(+*
,3st
¡&Rtkj\!tun n`_yptun½¤cAtÐ_bz?o[RjjmlRZ\Zpczsjmc[b=utuz_6x_ypt|nxRZpcj5c?cq<o_bz[$jjmlRZpZ\czjmc
[bP&Rtun xRZ\[+xscZpy½orj_bzqsc&lRnpcy\[npR[b¡¦yp_y_ +_bZ\t_qRiuc_n_biuZpcA_+?oqscczrc+_i|ls_bypcA!_y_
x_bZ\yptkjmlRik_Z§x[^t|z?yt|zy\RcxRZ\[+]+Zm_ba$vptuyj_zqccQRxRiu[+tuypcyp[e_A+[^tk&ypcnpypn tuzypRct|aLxRiucaIcz<ym_by\t|[^z
[b i_qporSlRzjmy\t|[^z_bi§ik_zR]+l_]+cnA
dRUT
,
¡&Rtkj\GR[+ik?ntd%j_bzRzR[^ye_bxRxsc_Z&aI[+Z\cey\_bzL[+zjmc4t|zG_x_by\%P&Rtun&tuz?B[^Zpa_yptu[+zrj_z
qc4lRnpc,yp[rn\R[b¡"yps_by_+_Zptk_bq:i|cj_bz y6qc4np_Zpc£_bzLn\[Iyp:cZpctun&zR[IzRccLB[^Z&lRxª:_byptuzR]
ypRc4Rc_bx%_ BypcZ&tuy\n&c+_biul_yptu[+z
6RQ
,3st
¡&Rtkjp£aIcA_bzRnyps_byy\RcZpcLtunz:[[Rjj5lRZpZ\czjmc%[mu,_ABy\cZ!_bz£[RjjmlRZ\Zpczsjmc%[b]£tuz _
x_by\AP&RtunrxRZ\[+xscZpy½o2tun!l:npcmBl:ietuz2ypRc%jm[^z<y\cQRyI[&'3( $ & *Y %)y\[ $cypcj5yy\RcGik_bnpy
[RjjmlRZ\Zpczj5cr[b_+_Zptk_bq:i|c^
V
,
¡&Rtkjp2j\_bZm_+jmy\cZptunpcnxs_byp:nr¡&t|y\R[+l:y_z<o([Rjj5lRZpZ\czjmc([
,
tunrlRnpcA tuz¦ypRc
?cm¤z:t|y\tu[+zG[b ypRc_bqs[b+cxRZ\[+xscZpy\tucn
K:[+Z6c_+j\£[by\Rcn\crxRZp[^xcZ\yptucnAw¡c!x:Zp[b?tk?c!tuy\netuzRtuyptk_binpxscjmt¤ªj_yptu[+z(tuz%y\Rci_zR]+ls_b]+c4[bxRZ\[b¶
xscZpy\tucn_bz¡cnp:[b¡y\Rc!?cZ\tu+cLtuz?BcZ\czjmc4npo?npy\ca©
I½z(n\cjmy\t|[^z dG¡crt|z?y\Zp[R?ljmcLypRcLz_by\lRZ`_inpca_bz?y\tj5n[b&ypRcLik_bzR]^l_b]^c+wsypRcLx_by\ _bqRn\ypZ`_^jmyptu[^z
Bl:zjmyptu[^z _zLypRctuzRn\ypZpl:aIcz?ypcAIxs_bypGn\ca_z<y\tkjmn g?cAjmyptu[+z 6r?c5¤zRcn6ypRcik_bzR]^l_b]^ce[3xRZ\[+xscZpy\t|cn
[^zxs_byp:n_bzsryp:c]+cz:cZptkjtuz?BcZpczj5cnpo?npy\caWyp[I_npn\t|]^zGxRZp[^xcZ\yptucn6yp[rcQRxRZ\cnpn\t|[^zRns(ccn\y`_bq:i|tun\
y\RcIjm[+Z\Zpcj5ypzRcn\nr[by\Rcrnpo?n\ypca ¡&t|y\©Z\cnpxscjmyyp[Gy\RcrtuzRnpy\ZplRaLcz?ypcGn\ca_z?yptkjmn'I½z£npcj5yptu[+zWVG¡c
xRZ\[b?t$c_aIcj\_zRtkj_bi xRZ\[$j5c?lRZ\cB[+Zyp:c!n\xcj5t_iut|nm_by\t|[^z%[bypRcr]^czRcZ\tjtuz?ScZpczsjmcrnpo?npy\ca ¡&tuy\
Z\cnpxscjmyyp[&n\xcj5tФ§jx_by\x:Zp[+xscZ\yptucn(c]+tu+c y\Rcn\xcAjmt¤ªj_by\tu[+z[$n\c+cZ`_bi:x_by\xRZp[^xcZpyptucn_z¡c
n\R[b¡y\Rc!jm[^ZpZ\cnpxs[+z$t|z:]Inpxscjmtk_i|tunm_byptu[^zRn[ypRcnpo?n\ypca£Fg?cj5yptu[+z%r?tun`j5lRnpn\cney\Rcik_poLtuz?BcZ\czjmc
_i|]^[+Z\t|y\Ra _bn\np[Rjmtk_by\c£¡&tuyp£ypRcr]^czRcZ\tkjnpo?npy\ca©=g?cj5yptu[+z Ltun_IZ\c?tuc¡ [bZ\cik_bypcA£¡[^Z9©_z©_
n\cjmyptu[^z©r?tun`jml:npnpcn_A+cz<l:cn&B[^ZSlRZpy\RcZeZ\cnpcA_bZ`j\
# ¥ * !& '% - * 6
(cjm[^zRnptk?cZ_z:[+z?¶½npy\Zptkjmy&nptuaLxRiuo!y½o?xscLBlRzsjmyptu[+zs_bisi_zR]+ls_b]+c6¡&R[+n\cnpo?z?y`_ Q_bzLn\ca_z<y\tkjmn_Zpc
?c5¤zRc¦tuz Kt|]^lRZpc£_z Ktu]+lRZ\cdR_Zptk_bqRiucnbw
X
_z,Z`_zR]+cLZpcn\xcj5yptu+ciuo¦[b+cZrw _bzs
r%P&Rccz??t|Z\[+zRaLcz?y
S JKa?«
S e X
/Mtun&iut9^c
S
cQjmcxRy6yp_y]Lt|ne_ypym_+j\RcLyp:c+_biulRc4«
S e X
&_bzs
S JKa$«
S e X
M?czR[^ypcn&_bzcz??t|Z\[+zRaLcz?y3_npnp[Rjmtk_yptuzR]Y¡&tuypy\Rc&+_biulRc6«
S e X
I½z![^Z`?cZyp[?cnmjmZptuqsc
y\Rc!_bq:npypZm_+jmy\tu[+zw:¡c?cm¤szRcyp:cn\o?z<ym_QG[b3x:Zp[?[bypZ\ccn_bzLx_ypRnA
M aa. Je M J e!Ce7M M" J$#% eCe+M B<e7M =E:M
aa. J$'& e eM
aa. EU~()
aa. EU*jKEI,+
#% aa. UYY- SY-g0S R./g0S R 0
M aa.
!1M?B # M E
I½z(y\Rc$cm¤zRtuyptu[^z [bM «½Y Zp[?[ P3Z\ccnmw!w2 W_z3#% /Zpcx:Zpcn\cz?yrZpcn\xcj5yptu+ciuo2_QRtu[+aInAw
n\t|z:]+iucm¶½xRZpcaLtunpceZ\lRiucn_zLypRcarlRiuy\t|x:i|c5¶®xRZ\caItun\cnZpl:i|cn4 tun&ypRc!j_bypc]+[+Z\oI[3npcAv+l:cz?ypn
5 6879;:9;<9>=:@?A;BDCNFEr1 (\«
TG
e e@H` ]@IHNN &( N5/.F !J4$F4% /.F
4 '( 4*
TGLK
(cj_bz%z:[b¡ ?cm¤zRcry\Rc4BlRzjmy\tu[+zM
i
¡&Rtkjp£_bqRn\ypZ`_^jmypn4ypRcx_by\%tuz?B[^Zpa_yptu[+zSZp[+a _xRZp[?[
y\Zpcc,«kB[^i|iu[b¡&tuzR]r[^lRZjm[+z?+cz<y\tu[+zw§iu[b¡cZ½¶pj_npcr+_bZ\tk_bqRiucn6Z`_bz:]+crtuz©y\RcIjm[^ZpZpcnpxs[+z?tuzR],lRxRxscZ½¶pj_bn\c
?[^a_t|z:n`a
'4 !1#/
5 6879;:9;<9>=:@?A? i
a)M
M
i
JWe!M .
i J eJ
S
e+e!M8e @HM . H!#4«>
i
@IH`
i
JDe! e@IHM . i
@H
i
J e! e@IH<B e@IH7E:M . «>
i
@H<B8#4« i
@H7E
P&:ctuzRn\ypZ\lRaIcz?y\c¦npcaG_bz?yptkjmnr?cZ\t|^c BZp[^ayp:t|nI_qRnpy\Z`_^jmyptu[+z2tunrnp:[b¡&z tuzKtu]^lRZpcK6RAP&Rc
Z\cnplRiuy%[!_bz0c+_biul_yptu[+z2tuzNyp:c©x_ypNn\ca_z?yptkjmnItunG_(x_t|Z"
X e@ H !^P&RcGB[^i|iu[b¡&tuzR]
jm[^ZpZ\cnpxs[+z$czjmcrxRZ\[+xscZpy½oGj_bzGc_nptuiuo!qscxRZp[b^czGq?orZpcjml:ZpZpczjmc[+zGypRc6npy\Zpljmy\lRZpc[b xRZp[?[3ypZ\ccna
6 =6 ?A
SUT X
SDT c X
e i
«I@H`+!
E .F4( r1 ( « T
e J
S e X e M e@H`
! #" ÈÔ ÏSÏÍÐÆmÊ+Ï
$&%%')(*,+-*#.(/$0*,$
h132
$ l *
\^_=`4
$ h $ l
$65#78*,$
h$ l
*:96;.<=/.(/$
+0%%' 9+:<;=6
*
/-0 2y4+6
*?>
ÊA@ÍÎÈ®Æ5Ê ÕeÔÊËSÏ B Ô ÈÕ ÍÎÊ+É Ó @mÉ ÓÇ Ô Ï
$C>EDF%%'HGI*?$J>D
hKHL (M%
4
$J>D
lON
$I7QP R&%%')+S*
4
$C>D
N
.(/$T7*#R
h132 R l
Ktu]+lRZ\crYa g?o?z?y`_ Q[b ypRcik_bz:]+l_]+c
U V
- )!4 b^4eG4*
U6n¡caIcz?yptu[^zRcGtuz%y\Rc!tuz?ypZ\[R?ljmy\t|[^zws¡cr_bZ\c!z:[+ytuz<y\cZpcnpypcA£t|z,x_by\ _z_biuo?nptun  6tuz%yp:t|n
x_xcZ§(cZm_by\RcZn\ccrypRcx_yp%n\ca_z<y\tkjmn_n_z%tuz?ypcZ\aIc?tk_ypcn\ypcx(y\[b¡_Z`?n6ypRcr?cm¤z:t|y\tu[+z%[
_z©_bz_iuo<n\cZ'P&Rc4zRcQRyen\ypcx(jm[+z:nptunpy\ntuz%c!Q$x:Zpcn\nptuzR]Gtuzy\cZpaLne[xs_byp:neyp:c!n\cy[bxRZp[^xcZpyptucn[
tuz?ypcZ\cnpyAYI½z4ypRtunn\cjmy\t|[^zwb¡cx:Zpcn\cz?yypRcik_bzR]^l_b]^c [bxRZ\[+xscZpy\tucn_bzs_&]^czRcZ\tjtuz?ScZpczsjmc&npo?npy\ca©
P&RczRc!Q$y6npcj5yptu[+zGnp:[b¡&n&ypRc?cm¤szRtuyptu[+zGtuzIy\Rtun&i_zR]+ls_b]+c&[3n\c+cZm_bi npxscjmt¤ªjxRZp[^xcZ\yptucn_bzypRc
n\xcj5t_iut|n\c,t|z$BcZpczjmcrnpo?n\ypcaLneyp:coGo<tucik§ P&Rcnpo?z?y`_Q%[x:Zp[+xscZ\yptucntunex:Zpcn\cz?ypc£tuzDKt|]^lRZpc V
P&Rc6ik_bzR]^l_b]^c&i|[?[39<n ^cZporarlj\iut9^ce_y½o?xc&n\o?npypca ¡&tuypIj5[+z}ml:zjmyptu[^zI_bzq_nptkjy½o?xcn]b+c`wW 3°
_z0X§ #½°ªg?tuaIxRiucxRZ\[+xscZpy\tucn_xRxRiuo%y\[%x_by\Rn!_z(_bZ\Zp[b¡ xRZp[^xcZpyptucnrj\_bZm_+jmy\cZptun\cISlRzjmy\t|[^z_bi
qsc_A?tu[+lRZ\n'P&Rcq_bn\tkjxRZ\[+xscZpy\tucnjb+c&_bZ\c?c5¤zRc,q?o%ypRc4lRnpcZ4t|z,ypcZ\aIne[yp:ctuZj\_bZm_+jmy\cZptun\yptkj
Bl:zjmyptu[^z bfc_n&npR[b¡&zGtuznKtu]+l:Zpc V3P&Rc!j\_Z`_+j5ypcZ\t|n\yptkj6Bl:zjmyptu[^zIarlRn\yqc?cm¤zRcArS[+Z&c_^jpLB[^Zpa
[ex_by\2«BcaLxRy½o%x_yp w§n\t|z:]+iucyp[^z(x_by\ ! [^Z!jm[^zj_by\cz_yptu[+z$@=Bj# @FEAEP&Rc) c_bZ\crypRc
+_Zptk_bqRiucn6¡&Rtkj\©_bZ\cnptu]+z:tФ§j_bz?y&S[+Zey\Rc!?c5¤zRc£xRZ\[+xscZpy½o «Biut9+cY%tuz 7*
,
_zD>(n\y`_z?n6B[+Z
[^ypRcZ&+_Zptk_bq:i|cnP&Rc?cm¤z:t|y\tu[+zr[b7*
,
t|zry\Rctuz<y\Zp[R?lj5yptu[+zrtun_zItuiui|l:npypZm_by\t|[^z![ypRtunn\o?z<ym_Q
L
zEP
L
.AP.(/
4 N .O/ L
?(OP7+ÔÈÔ ÍÐϧÉÒÐÈ Ô Ï @mÉmÈSÍÐÉ ÓÐÔ
L
zEbP
D
L (M%
4
N
,7QP ( D L!#"
P
h D h
$ l D l
h8132 l D
h132 D l
L%!
x#&('P
$ h
9+:<;=6
l D
\^_=`84
h l 5#7 D L%!
x#&()AP
* h
/-0 2y4+6
$ 5+ D
\^_=`64
h l 5#7, D
L- w/.P
K)L
<M%
4 N
96;.<=/.(/,7QP0 .=(/ D
96;.<=/.(/ D
Lz
""
P
$
h 4
N
.(/1
h
72
K)L (3%
4 N l 7P34 h D
h l D
Ktu]+lRZ\cd#a e_yplRZm_biCg?ca_z?yptkjmn[b3y\Rcik_bz:]+l_]+c
L
zEP567 98:
N1;7<
L
.OP6 .(/98
4 N .O/ L
?(OP7
N ; <
+Ô
È
Ô:
ÍÐÏÉÒÐÈ
Ô Ï
@mÉmÈSÍÐÉ
ÓÐÔ
L
zTb P
76#986D
N/=3<
L (M%
4
N
:7P76(>986D
N
8(
< Ì
=3<
L!#"
P
67
h
98D
hAN?= h@<
6
l
986D
lONA= l@<
76
h132 l
B8D
h132
D
lONA= h Ì = lC<
L%!
x#&('P
$76
h
98 9+:<;=6
NA=3<
767
l
98D
NED<
F76
\^_=`64
h l 5O7,98D
N/=
Ì
DG<
L%!
x#&()AP 76
h
98 /-0 2y4+6
NA=3<
765H986D
NIDG<
F76
\^_=`84
h l 5 7,98D
N/=
Ì
DG<
L- wA.P
K)L
<M%
4 N
96; .<=/.(/:7P076.=(/986D
N/=3<
76E96; .<=/.(/98D
NA=<
Lz
","
P
76
h
98
4
N
.(/1
h 7 N/=3<
K)L (3%
4 Nl 7QPJ7674
h
98D
N4DG<
76
h l 98D
NK=
Ì
D<
Ktu]+lRZ\c6#a%I½zRn\ypZpl:aIcz?ypcAIxs_bypGn\ca_z<y\tkjmn
X '4 !1#/
[+ypc6yp_yA °!_bzsp #½°_bZpc6q[?[^i|cA_bzI+_iulRcn¡&RcZpc_nW °r_bz X¨ #®°r_bZpc6nptuaIx:i|cxRZ\[+xscZpy\t|cn
tuz£ypRcrik_bz:]+l_]+c+Wg?o?arq[^i|nN_bzsoJ0_bZ\cr[b+cZ\i|[?_+?cAGqRlRyz:[jm[^z?BlRn\t|[^z©n\R[+l:i£_bZ\tunpc4BZp[^a yp:t|n
_qRlRnpc4[b3z:[+y`_yptu[+z
P&:cn\ca_z?yptkjmn[b3n\tuaIxRiuc&xRZ\[+xscZpy\t|cnetun$cm¤zRc q<ory\RcBl:zjmyptu[^z (¡&:tj\GZpcyplRZ\zRney\Rcnpcy&[
x_ypRn6n`_yptun½Bo?tuzR]r_]^tu+czGxRZ\[+xscZpy½o a
5 6879;:9;<9>=: A;B
a3Z
«1M
«1b+cp . 7@ b c\«A@s. 9+:<;=6
« :<;=6< . M
« 0 2y4+6R .
«1Z B nZ E . «-Z B «1Z E
P&:ctuz?ScZpczsjmc©n\o?npypca B[+ZrxRZ\[+xscZpy\tucnGt|nI$cm¤zRc¢tuz Ktu]+lRZ\c©RAI½yLa_9+cnlRnpc,[b!_£x_bZ\yptk_bi
[^Z`?cZ\tuzR]r[+zGxRZ\[+xscZpy\t|cn?cm¤szRcGtuzDKt|]^lRZpc:
HcmB[^ZpcxRZpcnpcz?yptuzR]y\Rctuz?BcZ\czjmc&n\o?npypca"B[^ZxRZ\[+xscZpy\t|cnwb¡ctuz?ypZp[R?lsjmc_6jm[+z?^czRtucz?yzR[^y`_yptu[+zTa
5 6879;:9;<9>=: A? !.#j*$%'*5 * b cp«I@=B #$@WE
B «
G
G B
b^«A@B5
B
b ½«I@FEAp
CK
«1b c®.!+«Z B e7Z
E Z B . G
G B
b" F* Z E .
B b #
U6nIy\RcGB[^i|iu[b¡&tuzR]£iucaIaG_In\R[b¡&nw4«-b+cpxRZp[b?tk?cnLnpl jmtucz?yGjm[+z$t|y\tu[+zRnr[^z @=B_z @WELB[+Z
@B #$@FE6yp[rnm_byptunBo)b+c
$6 &% A
«-ZBe7ZWE(' 4«-b+cp _bz @B)' «1Z=B _z @FE*' «-ZWEA
.+ @B #D@WE*'F«-bfc`
P&:ceZpl:i|cntuz)Ktu]+lRZ\cj_zIqscelRzs?cZpn\yp[?[Rrq?oIjm[^aIx_Zptunp[^z!¡&tuypry\RctuZ&jm[+lRz?y\cZpx_Zpy&tuz)Ktu]+lRZ\c
6:TP&RcLx_bZ\yptk_bi[+Z`$cZptuzR]£tunlRnpcA tuz(n\[+aIcZpl:i|cn!y\[©cQRy\Z`_+j5y-,ac6BZp[^a.,qB/2¬A¬¬0,
CK:lRzjmy\t|[^z_bi
cQRxRZ\cnpn\tu[+zRnaG_Aonm_by\t|nBonptuaIx:i|cxRZp[^xcZpyptucn [^zx_by\Rn«Siut9^c +*
,
_+jjm[+lRz?y\t|z:]&B[^Z§ypRcc+_biul_by\tu[+z
x_ypS[+Z§yp:ctuZ§Zpc?lsjmyptu[+z4yp[e¡c_9eRc_^6zR[+Z\a_biAS[+Zpa «Bik_barq§R__qRnpy\Z`_+j5yptu[+z_bz_ZpZp[b¡£xRZ\[+xscZpy\t|cn
«Si|t9^cD +*
, +*
t
r_^jjm[^lRz?yptuzR],B[+ZypRct|ZSlRzjmy\t|[^z_bi&qsc_A?tu[+l:ZAP&RtunrcQRxRik_btuzRn¡&?o
TWV
ÉmÊ+ÅmÇ+ÉÅ Ô ÆmÒ " È½Æ "<ÔÈ®ËÍÔ Ï
%%'6!*
:<;=6
* 032y4+6
*
h l 4ÏÍÕF"bÓÐÔ7
J%%' *
* 4Å Ô Ê Ô È®É Ó7
%%'
h l *
3hl
4
ÒÐÇbÊ\ËkÍÐÆmÊ+É Ó7
ÊA@ÍÎȽÆmÊ ÕeÔÊËSÏ
$C>ED%%'HGI*?$J>D
K)L
(3% P ÉÏkÍ " È½Æ "?ÔȽËkÍÔ Ï 6
4; 7'
6
4
8(
hG<
7!'
h
6
4
8(
<
7!'
6
4
8
<
7'
h
6
4= h Ì = l 7' ( =
%%' 9+:<;=6
*
/10325476
( =
%%' *
4= h
7*
4= l
7* ( = h Ô, " l
* ( = h Ô: #"
l
Kt|]^lRZpc V'aFg?o?z?y`_ QI[b3x:Zp[+xscZ\yptucn
! " #
:<;=6 0325476
" ! "
h
l h
h l
"
l
h
"
h l
l
h
$
l
h
$
l h
"
h l "
l
h l
"
h
l 4 h
$
l 7 4 h
$ 5 7%
h 4 l
5 7
Ktu]+l:Zpc#aRY _bZ\yptk_bi§[^Z`?cZptuzR]r[+zGxRZ\[+xscZpy\tucn
tuzjmiul$cny½¡[Z\lRiucnS[+ZaL[+npy [ªy\Rcen\o<z?ym_+jmy\tj6jm[+z:npypZ\ljmy\ne[b§yp:ceik_bzR]^l_b]^ce«Snpcc UYY B _bz UYY E
B[^Zt|z:npy`_zjmc4asypRc4¤Zpn\yZpl:i|c4t|nlRn\c,yp[Ix:Zp[b+cnptuaLxRiucx:Zp[+xscZ\yptucn!_zGyp:c!n\cjm[+zs£[+zRcy\[GxRZp[b^c
_ZpZp[b¡0xRZ\[+xscZpy\t|cn
I½zr[^Z`?cZyp[Z\cik_by\c&ypRc6t|z$BcZpczjmcen\o?npypca
TWV
¡&tuypry\Rc&[+xscZm_byptu[^z_bisnpcaG_bz?yptkjmn [ªy\Rceik_bz:]+l_]+c
T
w:¡czRccGyp[rtuz?ypZ\[R?ljmc_rjm[^zRnptunpy\czjmoGZ\cik_byptu[^zIqscy½¡ccz©cz<?tuZp[^zRaIcz<y\n
5 6879;:9;<9>=: A&('*)´%+,½A°-+b±/.
01F`«( e@=!je,bC.101%32s«8 e@=!e ,b6_bz401F65:«8 e@=!Ye,b
01F2:«( e@=!Ye,b."«,87 Z + @ 'M«1Z§p
01F5:«(«
S
e)W¬
X
+e@!Ye ,bC.
«,97 ,qB
, E_bz:01;A«p«
S B e X B5ae ,qB` +
01;A«\«
S JKa?«
S B e X B/M-e
X
<e, EAp
5 6879;:9;<9>=: A=<4'*)´sbb° #BR,S´>+?.
01 ; «p«
S e X
ae,b. «
SDT
c X e@=!.+@01%m«8 e@! e,bp
01BA«
S c e S V
C.(C=¬!01; « S c «-s<e
S V
«-sp
01%tuncQRxRZpcnpnpcA%tuzGypcZ\aIn[b01%32G_bzD01%35¡&RtkjpG_z?iuc[b Zpcn\xcj5yptu+ciuoGyp:cn\tuaIxRiuc
xRZ\[+xscZpy\tucnx_bZ\y]Z©_zLypRc6BlRzsjmyptu[+zs_bi§xRZ\[+xscZpy\t|cnex_ZpyE,[b_rj5[+z}ml:zjmyptu[^z ZE /01%&_bxRx:i|tucn
y\[¥xs_btuZpn" e @ ! ¡&:tj\"_bZ\c©y\cZpaLt|zs_bie+_iulRcnItuzNy\Rc£t|z:npypZ\lRaIcz<y\c¢npcaG_bz?yptkjmnAF013;G_bzs
A '4 !1#/
LB b8P5: %
:<;=6
L
zEP 8% 46 ÍÎÒ
;
4
167
L%!
x :P
% h
J% l
F
%
h l
L
zEb
h
P5
L
(% OPJ (M% 46 ÍÎÒ
4
hON l 7
4
467 ÉmÊ
h 4 8(
< 7 É5Ê
l
L
zEb
l
P
L
(3% P (3%
!
L. hP K)L
F%
h
P
L
?(OP% l
4
.(/:7!% h
$
l
+ÔÈ Ô ÍÐÏÉÒÐÈÔ Ï @mÉmÈSÍÐÉ ÓÐÔ
L. l P
4
.=(/,7!%46 ÍÎÒ
;
4
467
Lz
","=h
P
h % h
h % l l
l % l
h l % 16
ÍÎÒ
4 h N l 7
4
467
Lz
""Fl
P
h % l
l
%
l
h l %
L- w/.P
K)L
< % h
PJ .=(/8% h h "
l
96;.E</.=(/% l L!#"
P
$ h % h
F l % l
$
h8132 l
%46 ÍÎÒ
4 h N l 7
4
467
L%!
x#&
h P
* h % h
l % l
5F% 5
F
\^_=`84
h l 5 7 % 16
ÍÎÒ
4
hON l 7
4
467 É5Ê
4
hON 5 7
4
167
L%!
x&
l P
l %
$ 5 %
$
\^_=`4
h l 5 7!%
Ktu]+lRZ\c aczRcZ`_bituz?BcZ\czjmcn\o?npypca
?c5¤zRtuyptu[+z:n[F01F _z(013;_bZ\c!¡ciuiB[+lRzs?cGqscj_lRnpcr¡cj5[+zRn\t$cZ_ry½o?xcA%ik_bz:]+l_]+c+:(c
j_zGzR[b¡cnpy`_qRiutunpGypRcjm[+Z\Zpcjmy\zRcn\n[ypRctuz?BcZ\czjmc4npo?npy\ca _bnB[^iui|[b¡&nA
6 =6 A
C X ¬ C S cm¬-C
S=V
¬ 01A «S c+e
SV
e_z
S=VTWVX
a ,+@01;A«\«
S
c7e
X
ae,b
P&:crxRZp[?[b&[bypRtuny\Rc[+Z\caj_bz(qscra_^?cq?o%Z\cjmlRZ\Zpczj5c%[+z£ypRcrx:Zp[?[b&ypZ\ccI[
SVTWVX a ,?
(c}mlRn\y&npy\l?oIy\Rc!j_npcn B[+ZJEUBM3_bz JUYY BMRcZpcYa
)° JEUBMa?(c6_A+c3a
S V J a , , M T V
Ka3b c tÐN«1Z B e7Z E ' «1b c&_bz Z B «(=!e&_z , , 7 Z E
SWT
c X e@!
S
cJKa?«
S e X
/M
T
cC
eam! #D@!
(c_A^c
01 A§«
S c J a?«
S e X
/M8e
S V JKa , , M
_z
S T c X
e@=!
¡&Rtkj\Gcz?y`_t|iun
01Fb«8 e@! e,
,
BZ\[+a/ypRc?c5¤zRtuyptu[+zL[b9014A %P&?lRn@ 'M«1ZFEABZ\[+a/ypRc?cm¤szRtuyptu[+zG[b01%
HlRy ]=! ' «1Z=Bw?np[sw?BZ\[+aiucaLa_ 6RL6 «8=! #o@R 'F«-bfc`
¡&Rtkj\Gcz?y`_t|iun
01%^«8 ea]=! #D@!Ye7b+c½
_z
01 ; «\«
S c JKa?«
S e X
/M8e++e+b c
)° JUYY BMa?(c_A+c
S V T V X B a3Z B S V T V X B a , E Z E S V T V X E a , E
S=V]TWVYX B X
E+a3b+c
t«1Z=Be7ZWEm ' «-bfcp
S c T c X B
«
S e!)W¬
X B
<e @=B<!
S JKa?«
S
c+e
X
E/M
T c X B e@FEq!
S c T c X B X E
e@B#$@WE !
Ad '4 !1#/
P&RZ\ccxRZ\[+xscZpy\tucn6B[+iuiu[b¡¦BZp[^aypRctuz?lsjmyptu[+zG?o?x[^ypRcnpcna
«m 01%^«8«
S e!)W¬
X B
<e@=B<!Ye+Z=Bm
«½d+ 01%m«84«
S e)W¬
X B
ae@B<!je, E ZWE
«6+ 01;A«p«
S
c(e
X
Eae , E
«mcz?y`_tui|n@B)' ZBe_bz,«½d+&_bzsG«6^cz?y`_t|i
014 ; «p«
S JKa$«
S
c+e
X
EM8e
X B e7ZWEm¬
g?[ @FE*'DZWE _bzs§w^BZp[^aiucaIaG_ 6RL6Rw?¡c_A+c
«I@
B
#"@
E
('F«-b
c
&_bzs 014
;
«p«
S c e X B X E
<e+b
c
¬
P&:c?cm¤szRtuyptu[+z¦[b013;tuz?+[^i|^cnr_©jm[^z?tuyptu[^z
S T c X e@=!¡&Rtkj\ aLc_bzRnyps_byypRc
jm[^ZpZ\cjmypz:cnpnLypRc[^Zpca ?[?cnzR[^yxRZp[b?tk?cr_bz?o£t|z$B[+Z\a_by\tu[+zrS[+ZcQRxRZ\cnpn\tu[+zRn¡&Rtkj\ _bZpcrz:[+y¡ciui¶
?c5¤zRc£tuzGypRc[+Z\tu]+tuz_bi§n\ca_z?yptkjmn«SzR[+z$¶®y\cZpaLt|zs_byptuzR]cQRxRZ\cnpn\t|[^zRnB[^Z&cQ_baLxRiuc P&RcB[^i|iu[b¡&tuzR]
?c5¤zRtuyptu[+z%_i|iu[b¡&nl:n&yp[rjps_bZ`_^jmypcZptunpcxRZp[^xcZpyptucn6¡&Rtkj\j_zRzR[+y&qscn`_yptun½¤cA%_bzypRcn\lRqRnpcAv+l:cz?y
jm[^Zp[^i|ik_Zpor«S¡&Rtkjp4B[^i|iu[b¡&nsBZ\[+a"y\Rcejm[+Z\Zpcj5ypzRcn\n&ypRc[+ZpcanpR[b¡&n y\_by [+l:Z3ik_zR]+l_]+c[xRZ\[+xscZpy\t|cn
j_z%_biunp[rqsclRnpc yp[rxRZ\[b+cyp_ye_bzLcQRxRZpcn\nptu[+z,t|n&z:[+y&¡ciuiжp?cm¤szRc§
5 6879;:9;<9>=: A
Y@IH7u?«-Z§. ««-Z§. ^
Y@IH7u?«-Z E§ . « Y@H7u$«-Z§CJ Y@IH7u?«E§p
Y@IH7u?«E B E E . « @H7u$«E B =J Y@IH7u?«E E p
Y@IH7u?«, B , E C."«, Y@IH7u?«, E p
= = % A
C X ¬ C S cp¬ C
S=V
¬« 01A «S c7e
S=V
e_bzs
S=VTWVX
a ,I_bzs Y@H7u$«,b
+ R¬
S c
T X E14$7*3 +*
! '(© b^4e 4*+r* '(
£e W!0'%'(
I½z£ypRtun6npcjmy\tu[+z(¡cnpR[b¡ R[b¡"npxscjmtk_i|tun\c%tuz?ScZpczsjmcrnpo?npy\caInj_bz£qsc?cZptu+c BZ\[+aWyp:c!]^czRcZm_bi
tuz?BcZpczj5c(npo?npy\ca tun?cm¤szRc¢t|z&Ktu]^lRZpc©:KtuZpn\yI¡c©xRZ\cnpcz<y%_ aIcj\_zRtkj_bi&xRZ\[Rjmc?lRZ\c(¡&Rtkj\
Z\cyplRZ\zRn&_&npxscjmtk_i|tun\ctuz?ScZpczsjmc&npo?npy\ca>
i
BZ\[+a"yp:c&]+czRcZ`_bi?tuz?BcZpczj5c&npo?npy\ca>
V
_z_&n\xcAjmt¤ªj
xRZ\[+xscZpy½o @%P&RczG¡cxRZ\[b?t$ceyp:c!?cm¤z:t|y\tu[+zI[3n\c+cZm_binpy`_zR_Z`LxRZp[^xcZpyptucn4«BlRn\tuzR]rypRcn\o<z?ym_Q
?c5¤zRcGtuzDKtu]+lRZ\c V?&_bz¡cn\R[b¡y\Rc!?cZptu+_by\t|[^zI[3yp:ctuZe_bnpn\[Rjmtk_bypcAGtuz?BcZ\czjmcn\o?npypcaIn