Professional Documents
Culture Documents
Using Coq To Verify Javacard PDF
Using Coq To Verify Javacard PDF
Using Coq To Verify Javacard PDF
N¾<8D2NSU D2?bA8LbC7:DV9h7:L03=RNSLb?nM<H¹Î ;|ÊQD2; ¾:N8?B?B¿~AS>¢M<èmA;n»Ê°DzLnNSÇM:9<Î}AN849 ÊÏÀ8;20@» ÊK;Dz;;LB9dCY;2AdL\Ðh9AdLB;29¡à:9<HAd> ÊK9:;0Lb;"M<>:M<;;NS¿BÁÂ9DAd?B>
?bCY»HŹN8;0N89<RLb>¢M:¿~;\LBLbNSM:¾<Lb;-?b;2AZ» =
AS;ÁI9dNSÎKL%?GA8DGA8M:9¡ÁCYLbLbLb;M:M:D;%;Lb7:A8D2?BA8Lb;QM:9@;LBã?!NS>:FZM<;2CE9hN89:Lb9<À"C>6NSCYRE9h5:CLBLmCE9]A
Lb¿~AVAd»4LBM:;";P?B;RE¿b;27:XdRY;2LBR¿\¿%NSASŹÁ\A8LB7:M:L\;¢LbDM:NS;%?G>ìCE9hLb»;2ÀdNS?b9<CYLmN8]À8;2¾:??BA8NS¾¹9<;2>ì?bLmA8]8Á\Ç LbM:;¡= ÎzÇuÎ}79 0Z;nDzLbCEA899 8<HÊK;¾¹A8CE9hLA87:L
Xh: C(Ù¿b;;¿KØI«ÁÂA8ª0?0ÕY¨GLB2M:åhC+¨¿\< ÊQ¨2AdØ<?b>ÖFI=!Ç È0M:;-N87@LbM<A8?G¿KNdDGFZ9:AÊ\RY;n>@À8; ?nÇ<OW?Ç 'NS7:RECE9@@½ VA8M:?BCY9<À-ÁÂA8?\M<;2?!N8>@½
A BDC ¸
·!´<ºm³FE ºb²HGJI6KLINMOI´<¶QP C S¸ R²!µTmµVUWE
XSYZX []\_^`\bac\ d,egfihZ\ jlk@mSdon
=Ï6dNÈ0XM:N;POK«BNSÔ<?G¨2>P¬bÓÅ<ÖTNd×ÆØh¿~å;n>¢®z©¿b®G»Ö}¨+NS< ?bL!NSD29NS?G>P>¢LBCEM:¿0;»Ø¹N8ÓS>:Ö¤×.;%-¨qASÁK< Ú¤¿~¨2;ÖÆð<;«Ûßd®lßzrdÝÂÞzÇ ä
p
s t
qm£_So8KxprcfJ{cqmo0jGu g%edt pyZvQxv8yZjz@ wVv0v|iqmdoQahkmj\$ qmxrad£djGju`BkmqQjB£8yhkmf`~pKjGayhx2`~ykma\jGp}J{lnjzyDxwkmzÌjB`bkma4yddg%kmyd$ jGprxrqmyjGqz`Bqm edqQ qmfj\y4adj^| qm{QZah{Qx2j!k}Tv8qmtydnjBg- kmp¹x22ySqmahj^fyddEkm$kmxrg-jG`bx2q
qmx2fkmy j_8pro8`~ahprqmcfedjGg%g3pGi@hjBhkmlx2jBk}ks
} Æ jnh'kmq}qmjGy fy4x3cfÍcfjGwjGc<cxydlneZx2lnjn
}p fyhl-S%qm"wjBkmYo4nxwx%xk~v xdhcfjBq*fp}ncx2qmfny8kmn@jBk}qmfjGp
p È0M:;ZÓF-Ó'!Ó¬b -×ƬzÖ|#<ÓÕ <Ó8ÙGðZ×ÆØI¨\Ê\M:Ah¿~;QLBNd¿~F"C¿LbA3CY9hLb;?b¾<?b;2LuÅZ]hLb;D2A@>@;Q¾<?bAdÀ8?GNS»¿
ÅÈ0ÚÆLB;2M:M:Lm;;KÊQD2:;A@;2Ô89->@ÔI;6hÕfצA8NÙGÅ:XÓNLBÖTצNSOK«CE9:Ø NS;n?G0>%>%¬bNNS«bÁÆå8¾:Lb¬b¾:;FÓ ?RE<cC6hD2NN<4LBXCY×ÆN\AdØh9<cåDAd¿^*z»4NSØ<L¾<Ö}¨2?bCY¬ÂR7<îN9dÓ8LBLBCYÙGAdCY¨ » 9Ú¦Þ
;d
= H2NSCE99->"Î'¾<ÁÂLbNSAdA!?b?KLb;¿bC9@DM:ÁÂ7<A8A8RE?b?GN8LGD?Þ;Q>:Ê\¿~N;nM:LGDN!C7:DG?BMD;*AdM<9@>:NSãNS9>@LB>@N!;RY9h¿b;nLbM<¿QCNSNS6h?BRENCCELm9:X]dÀN Ç
D2È0OKNSM:NSLb?G;4CEA8>¢ÙG9<¿bÓS¿\¾¹¬bcNd;¿\D< CYãDÓSRDWN8ع¿BÁÂÓ2¿0;åhNSA8¨2Lb?0¬37:?BRYÊ\CE;Å:M<¿\?GCENSN8DG?B9<M]>¡M<¾<N8NSNd9<R¿~DG>@A4FREN8;¾:À8¿?B;nALb¿2M:XhÇ ;WC>@RY;nCYÁ¿K;W¿bD2]@]Z¿mLBD2;2RY;»ÒASÁI¿b;2Lb?BM:XZ;3CED2D2;N8¿Q?B>LbA NS;9»|> ŹCLG;¿*>:;>@»|;n>¢Å¹;N8>:¾:>@¾:;nREC> ½
p
¾?b;nAdN8CY9h>@= LB;¿0?!¿bÊ\A8» ?3M<N8;2N?~9¡LLb;CD2L\?bN8» C?B¿Q> CE9<CE9<NSD2¿bA8RT;2Ç» ?bÈ0Lb»|;nM<>P7:; 9<CEOK9hCEDLb=NA LbN;n¿P¿b!7:Ê\Ó¾:¬BCY¾:Lb M RECE: ;Lb¿ÙBM:ÙGLb;5¨}M:Ô¹;4A8Ö}7@ÓD2ØILGNS¿~ÙB?GC¨ >>@;5Ê\+¨ÊQCYLb-nAdMVצÙB?b¨"R¾¹> AÚrOKÊQXZ=;CENé?W N8CLG9<Á¿¢Ad>?\;;CY¿~Àd¿~M:LBMhAdN8L¡?~Å:LzRYDÞzCAd¿bH@M:9hCTÇLB;;dN8¿WÇ@DNN L
CE>:=¿-NLG>:NA8½}9:ÏD2;NS?BCÅZ¿!?B]h] N CE9:;2>:ÀPÐ@NDGLGD2MN A8NS9:¾<9:9<ÀdN8;DGCY9:DzFdLBÀ ;CYL!Ad: 9^DÔdÇ^AdÔ¹9hÈ0ÕfLBצM:NSÙG;CEÓS9:Ö¤DCEצ9:Ad«SÀØ» ;2»|KCYLb7:¬BM:«9:;Ö}C?«D2ÙGNSNV«Lb Õ CEÙGA8«,9<ÓSÅÖr< Ó ;2LmÓSÊQ
uع;WØ<;2×ÆÁÂ95Ö¤?B®A8Lb»ÒÚ¤M:= ;LbM:DNS;-?GM<>5AdÁÂN8¿~AdLK9<?->VLB¿~A M:LBAdLbM:M:?~;PLz;ÞzOKÇD2=NS=?G 9>
ÁÂA8CL!?b?!Ad?B»N¡;2¾:¬bLbRE¨M:CE®¤;;KÔ<¿K«LbLb;Ø<A ?b®2» ¨KLBM:CEÁÂ9<;3?bAdNSLb» |R ;5?bÊ\» LBM:M:CE;-9<;294NSD2R^N8CYLÊ\?B>?BCY;LbLbM.D2A ;2CEN8LbX89¡M<;n;%¿=
AdM:9:Ad;8¿~LH ä@CYLLB?bM:;2;nÐ@;-¿~;¾¹D2DA8N87:9<?BLb>¢¿b;;8¿uÊ0Ç LBNSM:CY;\LB¿K¿~¾¹ÁÂA8;?!D2CN8ã<9¡;n>
= NdDzLBCYAdÏ]9 5DNSAd9<»4>-»LbN8M:9<;9>
ONSK9<NS>.?GÈ0>|D2M:A8¾<;» NdDGD2»|FN8NS?B7:>4À89<;nCE»¿2DHNNSN8Lb9CE¾:A8NS¾:9À8RE;¿2;?ÇLë CCE¿'9<¿mM:LbLGM<;2NS;W9REREDNSLBAdLbM:»CE;A89¾DAdNSNS9:?G9<>;2>49hCEL*CE¿9:Ê\CYCY9<LbM:C¿bNSC;2DGRE?bCYMLbçn;nNC>¿*LbCECEA8CY99h9LBDGH8AM<D2NSN8LbM:?B?BÀ8>;;\?bOK;nA8=¿~ÁIAdLb7:M:?GH<;3Dã;K¿m?BLB» ¿~A8LW?GN8NSN9<À8NS;0?BÀd;A8;2¿bÁ
;» L6h;2NA@9hXDLnN ½ H
ÁÂRYD;n?b7:AdDz?GLB» ¿2¿'H^N8LbLb94M<M:;4;N89ì¾:OK¾:Lb= REM:;;LÇ<LbDA"ë NS?G?B>5M:7:;9 »9VN8N8NS¿9<9.CYNS9=Àd¿m;2LB?b?"7<
;2D9h LbLb;n;>|D?BA8¿-CE»94CY9h»LbM:LbNSAV;\9DN>¡Ad»REN8AZ?b»A8?B¾^CEN8X8H9<;ÊK¿>HhN8A8LbCLB?M:CY;ÁÂ9:A8À¡D2?BNSÊKÁÂ?GAdN8>¡?|?B><»= ¿^NSLB9<M:
N8;\ À8D;2A8?0D2» A8;»»CLBM:»NS;29NS?3>-9<¿~><LB;2A ¿½
LbLbM:A¡;"LbM:?B7:;9:D29:7:CE9:?B?bÀ ;9dNSLB¾:RY¾:]5RE;¿~L%;RY;nÚÆLBDzM:Lb;%;n>ìD7:NS?B¾:?B¾:;29hRE;LbLnRE]H
ÊQ¿~;;RY;nNdDzDzLbLb;n7>¢NSREN8RY¾:]V¾:» RE;;nLzNSÞzÇ@9ìJK?b] ; /hÁÂA87:?B;ÊK¿~LbN8CE9:?B>@À¢CE9:ÁÂ?bÀ|AdLb»ËM:;"LbM<DAd;»4Xh»CE?bLbN87<9<N8> R
»CY9:ÀNdDGASM:Á\CE9:Lb;3M<Lb;¢M:D;"Ad;» Ð@»;nDN87@9<LBCY>ìAd9¢C¿%A8ã<Á^9:LbM:C¿b;M:;>
HuLbM<;¢"D2N8» ?B>;LbM<»AZNS>¢9NSASÀ8Áu;Lb?%M:CLB¿!N8N8F8¾:;n¿-¾:REÅ<;LNdÇDGFVUW9LbM<D;W;¢LbDM:Ad;%9hLb¾:?B?BA8A@R*DN8;n9<¿b¿~> ½
ÁÂDA8A8?B» ÊK»N8?BNS>:9¿>
LBÇ M:;?B;¿b¾¹A89<¿b;0LbA%LBM:;"OK
= |ÇZÈ0M:;!Ê\M<A8RE;!¾:?BAZD2;¿B¿'?B;2¾¹;NLG¿ÁÂA8?Q;NdDGM4CE9<D2A8» CY9<À
XSY \ !e m"$# m]e h
:¾È0¿~»RYM:;2NSLB;3¿K?bÓGL';2Ô8D2»Ô¹NSÕEÅ?G¨>:;nÖ^>:¿×Ç®2>@«S
<;nÕYA8>Ó?ÖTA8צCE«9P9<Ø"¿mLbLGÔIM:NS¬z;39<×ÆD2ع¿b;8N8Ù2HS»4× Ô¹N3;3ÕY¨2¿~»HD2N8CTN8Ç ?B;d?~>
ÇL'HhLbD2M<C¿QN8;?BD2×>%;2®29h«»LbÕYÓS?GNÖ¤NS]-צR<«SD2ÁÂØ"A8A8?Q9h?b;LBLbÀdN8M:NSCY;"94?G>@¿~N;nCE9:D¾:À\7:7<?B?B>:CY¿bLmN;K]LGN!N8A8¾:N8Á¾:D»|REDCE;n7:D¿bNRY¿
LbLBCYCYŹ½}AdNS;9-¾:LmÊK¾:LbAdRE;2CÀ8;D2;29|NLbLBM:NSCYXd¾:;;?½
Ê\RYAC]hLBNSMRYLmN%]RYAN8]h¾:NS¾:RYRELmCE]|DNNSLB¾<CYAd¾:9 RYCD2¿~NSM<LbA8CE7:A89R>VŹŹAS;LbM¢NSÅ:DA8RE;» 9<CE9:;2À"CYLbM:ÁÂ?B;A8?"»ÃLbA¡>:CÀ8ÄI;;2L"?B;29:9hAdL*?¾:LB?BA¡AXZ» CE>:A@;2>@?GCY¿2ÁÂ]VÇÎ}NS9 9ZLB].M:CE¾:¿K?BD2CYXNdNS¿~;dLb;4HLbCYM<9@; ½
ÁÂCE¿bA8A8?BR» NLBNSCYLbAdCE9^A89VäZLbŹM:;2;REA8×ÆØ9<ÖrÀ8¨rCEå89:¬zÀ×ÆÖ¤LB©"APNSLB9M:>;LB¾<M:7:;P?BÙG¿b;8«ØÇ
æKÈ08M:¨2CØ<¿3ÖT;צÓÐ:ÕfNS×ÆÖT» ©"¾:ASREÁ;|>:M<NCYLGÀdN:M:Ç RYCEÀ8MhLG¿!LBM:;4LmÊQA¡DA89D;2¾:LB¿WASÁ
RYN8CE¿BF8¿~;KA@ȾDA-CAdNRY;LBC9@D;]d>PÁÂA8ÇF?GLb*DANd;0CYDGLBLBM¿M:;NS¾<¾<N8C¿b¾:DGA8RYF;2RN8NL'À8LbCECE; ¿A85:9DN8Ad9<¾:9@>¡?Bã<CE9<9:LbD;nM<CE>-;-¾:RELBX8;8A%;HZ?bN6dCYãN¾<D2XN8NSN|?~LbLBOKCECEA8D2NS9¡7:?GR> ASNSÁ?'¿~;nLb¿~M<D¾7:;-N8?BDCECY;0¿bLmA8]D2RN8NCE»RYLBRECY;Ad¾:>9RY;N» ÅÙB;2;2«SLm9hÊQØ<LBÖ};¿Q¨&;2%dN-9VÖTH¿bDN8Ê\Ad9<M<9h>@CELbŹDG;M4AÐZÐZLGCE¿¿½
CE¿4;29:ÁÂA8?GD;>ÍNL ?b7<9dLBCY» ;¡ÅZ]éN¢æ*¬b¨ª*ÓSÕÆÕu» ;nDGM<NS9:C¿b»¡LÇ .Ad?b;¡¾:?B;DC¿b;2RE]8H;N8DGM;<N8DGFN8À8;
ehyhj!t*yZvSkmnyhf`~¥@unedqmadjGfyZx%adjBq~xcfÆ@x2yZvKcfwSfjBk<o
>@N8>:;ã<>@9<CYLb;CEA8¿ 9NÌH:LbÙGM<«S;2Ø<?BÖ};-&¨ %dCE¿WÖ0NSN 9<¾:>ê?BCY;XZN8CERYDG;MÍÀ8;NS>.¾:¾:D2A8RE;9hL Lb;2CYÐZLLD2PA89hLbLBM:N8; CY9S¿|!C¿ N8¿B¿~ÙGA@«Ø<DCÖ}N¨ LB%8;Ö>ì¡LB>@A ;2XdLBM:ASLBC¿4;>¢D2A8Lb9hAPLb;2¿b]@ÐZ¿mLLBÇ;2Î}» 9
A8¾¹;2Îm?G¿~NAdLbRECENSA8Lb9CE¿2A8Ç 9éA8ÁWDAd9dLB;ÐZLB¿4?B;2RECY;n¿4A89éLBM:;.DAd9<D;¾@LB¿ASÁ«8 ñ 2¨BÙ2Ö«Sª'ع¨2¬G®~ð@× ÔÌNS9> Ó8Ù2ÖT.× -¨
«ª'ع=!¨2¬K9éÊ\«M:ª'CEDGØIM.¨¬KN8C?b¿\;";2>@CYLb;M:ã;9:?!;>NS9.N8¿KNS¾<ÁÂAd¾:RYRYRE;2AL\Ê!CY¿9<ä ¿~LBN89<D;dH:A8?KLBM:;-6ZJO !Ç
p =!9¼A8Å:èm;DzL ñG¨2ÕY«ØZå®-LBALbM:;.AÊ\9:;? Ê\M:AD2?b;nNLB;>ÍCLnH'C¤Ç ;8Ç'LBM:;AÊ\9:;2? Ê\M:CDGMÌÊKNd¿
p
¿A8mLG7<NS¿
9<Î}¾¹D29-;2;8Á¦?bHZN8ÁÂLbA8DM<?BL;-»HnLb»NSM<9<;0;D2Lb
= ;M<AZ?b;n> Î^N8» ¿bA8;29<Lbl¿ M:5zA@Ê\>:M:¿CENSRY; ?B;K»4Ah¿mLBRY]%CE» ¾:RE;2» ;29hLb;n>|Nd¿QØIÓÖT.× -¨ 0C¿0» 9<;NLbLBM<CYXdAZ;"><¿2ÁÂA8,Ç ?\
:AdA8?ÅZCYXZ9@CY½½
"!$#%'&($)*+,-.#"/0-1032
NÅh8 D2]D2 LBA8M:?G>@;%(CE¿~9:¾¹ÁÂÀP?B;A8D2LB» ACã¹D2ASLbNÄ
M:LB¿~;.CY;2AdLB9<¿b¿ ¾¿0;n NSD
ŹCYã< A8;7@>¼!LK!Lb¿bM<A8NS;37:9<?G> ADÊ\; 9< ;2
?G ¿.AS!LBÁ A!¹Ç Lb
!M:-;.A.N8¿b¿b9<¾;> D2;n7:D?bCYã<CYLm;] ¹>¼ÇZD2>@È0A8;n9<M:¿m¿~;LBLbCY?b?G9<;2NSNSÁÂCEA8Lb9h?BCELBA8;8¿"9¼HhNSÊ\NS?BC;?BLB?BM:CENA8» ] 7@¾L!AhN8¿~9h;n>]
Q
R
$S TS LU
N 0( (0 1 *0)8"( <0-(A2 (-/ 0089/$#"?A8"
!
( (-/ 089/#"?A8
#" $
0)* P8"("( A8 "!# (-/ 0089/$#"?A8"H
$ %
?0 A"()"0
08:/$#"?A8 O7( $# 089/$#"?A8" 089/#"?A8
89/#"?A8 (-/ "089/$#9?A8 89/$#"?$8H
'
70*"( O9/0 0#
#"?
)(
!
.0#"?0 O9/0 0#
#"?
*
#" ?A89(** "/ #"9(
)" /$0:%A">0 0)9?#
$
):?A8"(** "/$0R8
#B"?0
8"( #"?
È0M:;%D2NS?G>¢» N89<NSÀd;2?0C¿KLbM:;9¡?B;2¾<?b;n¿~;9dLB;>¢ÅZ]LbM:;-D2AS½rCY9>@7<DzLBCYXd;3Lm]h¾¹;8ä
p}fyhl-S%qm"wjBkmYo4nxwx%xk~v xdhcfjBq*fp}ncx2qmfny8kmn@jBk}qmfjGp
! + %
Ê\¿mLGM:N;2Lb;"?B;A8ÁuLBM:LB;¡M:;-¿~LB6ZNSOLb;¢É?b;nDä A8?G>:¿"LBM:;¡¾<N8DGFNSÀd;¿|CY9<¿~LBN8RYRE;>éA89ÉLBM:;¡DNS?G>
H^LBA8Àd;LbM<;2?4Ê\CLBMéLbM<;
*)"0 P" 0)9? 0" 08"("(0
" # ( 0#9/
$ + &
$
+
0#M"0 089((0 7(
5. 7(( D)9?A8"(0** "/$0:%$>08 /$:%A>0 ("<$*
0 0($)#"? 08"((
0"9 08"(( +
CYD9 A8» LbÈ07:»?BM:9VNS; 9» >
A@Ç:
>@È0 ;2M:RE+RYC;n¿\>V!RENd4CE¿m9<L\C>@¿!Ad7<>@9:D;2;"Lbã<CEX8CE9:¿\;;nRY» ].>.A@7<N8>@¿\¿b;CE9:NSRYRE9À;>¡LBCE9@M:ÅZã<;]9:» LbCYLbM<A@;;%>@¿~¾:;;RY?b/dRE;nCY7<9<>@;2ÀPC9<D2ND2AS;%LBÁ';8LBASä M:Á'; ¿~;n>@¿bCE¿b¿bCY¾<AdNS9<LB¿DGÇ`M:*CE9:N8ÀPDGMA8Á*¿b;N¢¿B¿~¿bCEA8CE9:9¡À8RECE;¿
! * %
! * *
)89/$(9E O/$:%A>0 ("<$*
0"9 08"(( D#"?0
»4NS9V;2Lb;2M:Ð@A@D2>
;2¾@ÇdLBÈ0CYAdM:9^;\ÇINSÎr¾:Á*¾:CYREL3;L'?B;»LB7:N?b]%9?B¿ ;ÁÂ7<
¿b;*<LBH<A"LbÅM:;!; ¿bN8;2DRELb;7<DLbN8;R >'ÅZ]% ?b;2Lb7:?B9:CE 9:À D2!A8» »WNSA89<?>VÅZ]%CE¿"Lb¿bM:7:?B¾:A¾:Ê\RECECY9:;n>À
LbCE¿|A4LbLbM:M:;;%9êN8¾:CE9h¾:LbRE;2;?BL0¾:CY?B9;LBN;>É¿b7:ÅZÅ<]¿b;lLb/hM:7:;¡;9hXZL\CY?bDLbNS7RENSR¹RKLbA4» CNdLGDG¿ M:CE9:
;8ÇÈ0 M:";¡» CY9h;LbLB;M:?bA@¾<>
?b;2Ç:LBÈ0NM:LBCY; Ad9É
;29<><¿|CEW9Í» NV;LBã<M:9<A@NS> R
A
A
$*8L1=<0-(GID<
R
0-HK
¿mLGN8DGÈ0FM:»;07<¾:¿m?bL\;nDM<AdN9<Xd>@;3CYLbLbCEM:A8;"94ÁÂASAdÁ<?b»LBM:äC¿»4;2LbM:A@> ¿b¾;nDCYã<;¿LBM<NLNSLLBM:;\CE9hXdA@D2NLBCYAd9^HnLbM:;\Ad¾;?BN89<>
ÇEÇYÇ
Ê\M:;2?B;LbM<;ã<?G¿mL4CLB;2» ?B;2¾:?B;¿b;29hLB¿ (IHILBM:;¢¿b;D2A89<>ìAd9:; !! IH
LBM:;LBM:CY?G>ìA89<;
*
PNS9<>¡LBM:;-ÁÂAd7:?bLbMVAd9:;%LbM<;|?B;ÁÂ;2?B;29D;8HRY;2L7<¿3¿bN]
!¹H<LbALBM:;|AdÅ@èm;DLCY9¿mLGNS9<D2;
R
»4M:;2A@?B>@;8Ç;RYRECE9:À5A8Á!LbM<CE¿4¾:?B;D2A89<>@CYLbCEA89ÍCY9 OQ A /ìCE¿4¿mLB?BN8CYÀdMhL~ÁÂA8?BÊ0NS?G>N89<>éC¿49:ASL>@;n¿bD2?bCEÅ;n>
>@N CÄI ;2[^?B;;2"L 9h!L!7<+Á¿?BA89:» AS LB
;P +LBM<<NÇ@L4Î}Lb9<M<>@;¢;P;¾:>?B»|;CED297<A8¿~Lb9<L|M:>:ŹCC¿LB;CYDAdLbN89êM<¿b?b;8>@AH@AZÊ\LB;M:9ì¿4;|ÅZ9:¿b] A8¾L ;nLBDM:¿bCY¾;ã;nD2» DNSCYLb;ã<CELBA8;M:9¿|A@LbAS>6MÁ5uNLBLbL M:M:;-;*?b» ;2
ÁÂ;A8
LB?B M:;85A@H
>LB»M:CE7<CE¿!¿|¿mLLbCEM<¿|ŹNSN;L
A
A
¾<NS?bL\È0ASM:Á;"Lb¾M:Ah;%¿mLGŹD;2A8M<9N>@XZCCELBA8CY7:Ad9?0A8CE¿\ÁuLB>@M:;2;%ã<9:» ;n;>¡LbM<NdAZ¿\>¡NS9¡Ê\CYM:9C>@DGM¡7<DzCELB¿!CYXd¿b;"¾¹;LmD]ZCY¾ã<;%;n>¢A8ÁÅZ¿b]CYÀdLB9<M:N;%LB¾¹7:Ad?b; ¿~LBDAd9<>@CYLbCEA89^Ç
$*08
È0¿~#7:M:RYLbCE¿|CE9:?bÀ.;RE6@NSO LbCE
A89É ¿b¾¿mLG;nNDLBCYã<;;Á¿"?BA8LB»ËM:;PLb?BM:;; LB7:CE9:?B9:C LB;CE>N8R*X ¿~NSLBREN7:LB;;A8NÁKL%LB» M:;; Lb»M<AZ;>LBM:CEA@9Z>X8A@LbD2AdNSÀ8Lb;CELBA8M:95;2?|N89<Ê\ > C%LBLbMÉM:;Lb M:N8;P ?bÀd?b7@;2½½
/$#08"( #"?0 0"9 8"((0 *08 ):?0# (E$#" 8"(( 08 $*( 0#"/
Lb M:;-)=!#'¿bCY$REÀdR@ 9<LbNM:LB;\7:¾¹)?B;WAd(¿~A8LB* ÁD2A8;n9<N8
>:DGM¡CLB$+CY¾AdAh9<!¿m¿LG+DASA8Á
(9= *>@*C#LBÎuCYAd» 9¢(;CLB¿!M:%A@Nd$¿K>:¿ÁÂA8ÁÂREAdRYRYAREÊ!A$Êé¿
ä LBM:+;!)¿b,N8» (-;0*.¿B!DGM:
;»4 _; 5CY9 ¾<N8?~LBCED27:RNS?nH
Ê\M:;2?B;3LbM:;"Lm]Z¾¹;
$+!>@;2¾¹;29>:¿\A89¡LBM:;%» ;LbM<AZ>¡Å¹;2CE9:À¿~¾¹;D2Cã;>
Ç
D¾:;?b+¨ ¿BA@< ¿bD2CY;9:ÓS¿BÀì¬ ¿~; CE9:A8_Á%À-=!NÉA8È0Á^¿bM:LbCECM:9:¿ ;"À8>@RED;V;Adã<»D9<Ad» C»4LBCYN8»Ad9<9ÍN8>9<¿bC>
¾¿0H;n¿~D¾¹CTCYÇ ã<;;dD2;Ç*C¿|ã<DAd;nLb9<>M:D;.ÁÂ;?B?bD2A89<A8» CY9@9:ãN|À>:6@;2LB9hOM:Lb;
CNS REC Lm]É ¿m+LGNNSLBL| ;8 LbHZ(M<N8;¢D2
D2REA8;2¾:?GXd>@?B;2;CERK9:>@ASÀ%CD2Á!LbNSA4LBLbM:;8RE;¢ÇQAdN8È0¾<>:?bM:;A8CE> ¿½
Î}D=9.A8¿» ¾<» »NS;?bNSLb9dC9LBDCY>ì7:AdR9:¾:NS;?n7@> H LB¿|ɾNSCYŹ9hÀ8;LB; AD2CZA8N8HS» DLB;LbM:CE¿!;!A8Lb9» M:;|Lb;M:LBNdM:;¢DzA@LBNS> CY¾:Xd¾:;-REA;L|Ê\
9:LbAV;2?!ŹN8;P 9<¿b-> ;2REÃ; DzLBLb;KM<>
;|C¿'HDLb¿b7:M<N?B] ;2?B9;29hCELbH9ZREX8CY]¢9ìA8NdFdLBDz;M:Lb>
;PCEX8_Ç ;-DAd7:D29hA8?BLbCE9h;9:LbÐZÀ%;2L?ÐZLbL4M<S; ÇÇ
LbM:;-N8¾:¾:RECEDNLbCEA89H:NS9<>¢9:ASL!A8ÁuLBM:;-¿b]Z¿~Lb;»Ç
,]Y .3m?d,n \`h _d0>? _\ j0Zm
'd+ 0 j Fjd Y
;A8Ð@9:;;nD2È0¿27@Ç M:Lb;CEA8Xd9é;2?BA8CÁWãDN NLBD2CYA8Ad» 9»ASÁ
NSLB9<M:>é;W?bC¿b;nA8DR;2NCEX8LbCE;nA8>9PÁÂAS?bÁuAd» N8¾:¾:NRE;OKLB¿Q=
M<|NdÇ'¿È0LBAM:;nŹ¿~;3;¡>:¿mA8LB9:;2¾<;"¿ NLKNS?B;;N8DGLBM¢M:;P¿mLBÁÂ;2Ad¾PRYREAA8Ê\Á^LbCE9:M<À;
ß8Ç ¾<
NSCY?G?B¿m; Ln%H^LbN¡M:;3¾:?bCY;29<½¤CLBLB?bCE;nN8NRILB¿~»4LBNS;Lb9h;WL"ASCÁ^¿"LB¾¹M:;2;3?b6@ÁÂA8O?B
»4é;n> ÇÅZ
<].A8?KLBCYM:9;¿mLGD2NSN89<?BD2>5;8Hh»CÁ^NSLB9<M:N8;"À8;2D?3A8» CE9»AdNS?B9>:>;2?3M<LbN8A ¿*Lb~A4¾<?bŹ;2; ½
')(
*
+ _8jBj0Zx2lnj 2kqmahj\v8jBZydfqmfy ^x2`Bqmfwj\zyhjBkQx2yZv4`Ge8k}kmjGyqmco|x`Bqmfwj\`GyqmjBSqz
}p fyhl-S%qm"wjBkmYo4nxwx%xk~v xdhcfjBq*fp}ncx2qmfny8kmn@jBk}qmfjGp II
1@Ç\È0M:;29ìLBM:;» ;LBM:A@> ÚÂ;CLBM:;2?
.Ad? :ÞCE¿-CY9@½
Lb¿~;;?b/h¾:7:?B;2;9<LBD2;;¢> A8ÅhÁ]ÌLB?BLBN8M:9<;5¿~CYXZLbCECEA8?~LB97<¿2NSWÇ R3*»NdDGN8MéDGM:LBCE?B9:N8;d9<Ç0¿~CYÈ0LbCEM<A8CE9Ì¿¡D2CE9dN8LB9ê;2?BŹ¾:;.?B;;2LBNSCYLbLbM:CEA8;9? NìD2A86@9<O¿bCE
¿~LB ¿¢ASLbÁ4?GNSNÉ9<¿bã<CYLb9:CECYA8Lb9 ;
D2¿mÚ¦LG>@N8N;RYRLB9:;0LbASA NSLB;L'N->ÉLb» M:ÅZ;\;] LBDM:NSA@RER@> ASÞzÑÁ HC¤ASÇ ;8Á
NSÇu9<LBLbM:>|M:;";¢Lb=M:;;\Ð@?BÎW;;D2¿bÚ¦7@>@7:Lb;RYCELb9:A8CE9:AS9êLBÀ";AS¿m>Á!LGNÅZN Lb] ;\¿bCYAd9<
Å@ À8 LBRE N8;ÞzCYHZ9<ÅZC¤;]dÇ ;8>4LBÇ@;NN|D2ÁÆAZLb?b>:;;?;RENSLbLbCYM:9CEA8;K¿m9LBÁÂ?b7:Ź7<RER:D;LbLm;2ÊKCEÐZA8;n;29^D;H7@9A8LBLbCY?AdM<9N;
(
¾:?b;n¿~0Z;CY9h» Lb;CERE>¢N8?bCERE9ì]8r HuÛYßzLbÝrM<Ç ;¿b;D2A89<>ê »NSCE9éLb M<;2A8?B;2» ¿~r LBNSLb;n¿|LBrM<NL4ÁÂA8? ;nN8DGMé» ;LBM:A@> A8ÁLbM<;
(
! + ,
+
$)"<* (E# "/$#8"( 0#9?0$)"($)#"?
% + ,
0"9 08"(( /00 )9?0# (E# 08"(0(0 8 $*( 00#"/
$)"*"?0(M0"9
$)9?A)9($)#"? #"?$)"0?($)*0)9(- "/$)
1
+
89((08 ( (E$#M)9?#0()#"? 2
1 )9?0"% 8"(HK ):?0% 8"( 60": 08"("(0A2
+ + +
1 #"!? 6#"!? 2 1=/E$) 1,000?$ 00"?AA22
$)"*"?0(
/$B
1 0": 08"("(0 A)"*?A / (# 0#"? 0#9?0(0 ( ):?0% 8"( ):?0% 8"( #"!?
/E$)2
1
+
+
(08
0#
(E (E$#" 2
$
1 )9?0+K )9?0 /00 )9?0#$2D)9?0 +1=/0 0)9?00# 0)8#B )9?0 /EA)2
1
$
(ED**M#"?0( ( )8 ?#(
(ED5. 02
1 099 0** #"?0(0 ( )9?% 8"( 5. .0#9?0(0 (A2
1
(ED#"?0(0 (
!EA):E A8"( ?$#( <
088)9<$* 02
+
1 #"!? 6#"!? 2 1 0": 0** 0#"?0(0 ( )9?0"% 8"( 1 //$*( .0#"?0(0 ( #"!?22
1=EA)"0?$#"!? 6#"!?0 2
1 8A #"!?0 #"!?
EA)90?$#9!?2
1
(E E0-/$#(E8)8 0#M#"?$)"0?($)*0)9(- 02
1 #"?$)"0?($)*0)9(- 0#9?0$)"($)#"? )9?0"% 8"(M)9? 2
1
+
(E 0 ($)#"? 2
1=/$#089($8"((+K=/$#089($8"(( 6099 08"(0(0A2
$
1,08TK,08 (E# 008 $*( 2
$
1' (E$# "/#08"( 0#"?0$)"()#"? ):?0% 8"( )9?0 1 (E 8 /$#089($8"(( 08F22
+ + +
1' (E$# "/#08"( 0#"?0$)"()#"? ):?0% 8"( )9?0
1 (E 8 /$#089($8"(( P08 322
1 0": 08"("(0 A)"*?A / (# 0#"? 0#9?0(0 (C/#08"($8"(0(0
/$#08"(8"((0 #"!?
/E$)2
1=08 1' (E# 008 $*( )8# 8 /EA)022T
?0
/A)".0#"?0$)90?0($)*0)"(- 0#"/(-
LbN8È0M:DGM:M:;CECE¿!;2DXdNSÀd;uRENRYX8;LB?-M:;W;D?bCA8¾:¿b9h?B;WAZLBLB;ASAÐZÁZLASLbH
ÁZM:Ê\Lb;"M<M:ÁÂ;'AdCDG¾:RYMìRE?bAAdÊ\CE¾¿3CE;9:LB?~ÀM:Lm;]d?BH;CEÊK¿b9<7:;'¿mRYLGLM<NSä N89h>WLbCLbNAWLBCYN8Ad¿B9ì¿~7:AS» Á ;LBM<!NL *
!+C¿^ Nd%D2D$;n ¿b¿bCEÅ: RY ; ÁÂ?B A8)»
Ç
$
A
$*8 #"?0$)90?0($)*0)"(-
'
@E0#0
#$*08)9?0#
G6)9?0%A8"(
1 ** - 88 08 $)"(0- 0#?A8"():?0($8J)9?0"% 8"(X16 )9?0 22
5ë);- >@ A
%9:$A8 L!
À8CEX84;3$LbM<;- >@; LG$NSCE RE¿0 A8Á
LbM< ;-%>@$; ã<)9< CLBCYAd
9¡+A8Á
1 #"?0$)90?0($)*0)"(- "/A)F $*8 0)9?00#F $*08 "/#08"( 0#"?0 #"?0$)90?0($)*0)"(- 0#"?0)"($)#"? 2T
LbÊ\Ú¦M:¿bM:;2;!;CEDGDMêÛYNSß8REßzRY;;ÝÂÐ@Þz?¾:Ç D2?BA8;9h¿BLb¿~;n;2ÐZ¿"LLbM<NdD2NSDL Ad*?B>:CY
9:
ÀW LbÌM<;0ÚÂM:¿b;;?bD2; 7:?BCLm-]-& +¾¹A8RECD]%LB!A3 ?B;2Àd
7:
RNLb;0! N8SDÞ"D;nCE¿b¿4¿N8N8DD2D?b;nAh¿b¿b¿b¿CYÅ<DAdRY; 9hLbÁÂ;?BA8ÐZ»LG¿
$
A A
LbÊQAAd?b;FI9@ÇÁÂA8?GD;%LBM:;|D2A89@ã>:;29hLbCNSRECLm]¡¾:?BA8¾¹;2?bLm]8Ç<È0M<CE¿CE¿WNS9.CE»4¾¹A8?bLBN89hLWNS¾:¾<RYCD2NSLbCEA89.ASÁLBM:CE¿
+¨ < ÓS¬ ;
=\Î}9<>@;¾;9<>@;9dLBRY]ìA8ÁKAd7:?-ÊKA8?BF¹H^LbM:C¿-?B7:RE;M<N8¿|Å;;29éN8><>@;>CE9é6dNXN OKNS?G>
»4A81@9:Ç 1A@RE]P>@¿~;¾¹>@RE¿";CYĹD2A8C;ãÁK?bD;6hN9<NLBDXCY;%AdN9^C¿KOKÇ LbN8M?BA>NÊQL\1@;LbÇX8M<1 ;2;-5
?nCYH^¿~L";nÊKDC¿";P7:?BX8NSCLm;R]P¿b?bAV]VMh>@]Z¿bCECE¾¹»4>ÉASCELBLbRM:NSM:;?";¿bLbCE¾<¿0A¡?bCAZLB¿0M:AS9:Á\; AA8A8ÁKRE9:A8;4LB9:M:ÀdÁÂ;¢A8;2?0?-¿BNS9:6h» ;N;X;>@N¡;n¾:OK>
?BA8Ç N8¾¹?B>;2?bLm1@]ÇEß8A8ÇEß 9ì5¹LbLbM<M<;;
0 7%µ*·!³é`³ R C ±d²Q³ C U´º}F³ E
*(M)9?0(>$)"(- 0#"?$)"($)#9?
G6)9?0%A8"( 6099 08"(0(0 >0(<A):?0 =>0( 0)9?#I
1 ** - 88 08 $)"(0- 0#?A8"():?0($8J)9?0"% 8"(X1,>(<A)9?# >0(<A)9?0A22
):?
1 )9?0(0>$)"(- "/A) >0( 0)9?0#
>0( 0-(008 9/$#08"( #"?0J)9?0(0>$)"(- #"?0$)9($)#"?2
In!8^tQyhv8kmnydf`b¥@ QuahjBq~x2cfÂ
xyZ
kmkmnn@l2k~jbxk}g%qToWg%y"fyhl8xz wnx\xk~v jG`badv yhWct l<o:o<P_Seh£hih2g%kmg-q}xqmjzc vvx2jBqukmnZ`Gedx2kmqmyhfnxyVch2?qmadlnj4f`*xyZydv3ZvdtQjGcfylnqmjGi8xk~cfxqTfo `
(
I ehyhj!t*yZvSkmnyhf`~¥@unedqmadjGfyZx%adjBq~xcfÆ@x2yZvKcfwSfjBk<o
qmWVW{*jzx2xk}p}qmadyêjnxWi@nVe8z0q4edqmadxGoj¡Vu¢xzwxKxedk~fp}vÍg-^xycx2q}x2yhkmgvÍ_b¤u4yéjBcb5tvdj¡q}q~x_8cf\ehx2pmyZxSvÏ x2¥nnxjBk}yhq~xp}jG*y<x jz vdnqmcfp}kmjBpGq
!#"$%&(' )+* 'wcfehg%j'S{0'_ I 8*hxlnjBp
, I 0_SdkmfyhljBk}s vujbkmcYx2ld
In
8Wlxk}qmahjn- Wlz0edxGo+ x¥SedihfjG`nxyhv3_@ u4jGcf\vdj_8nedpmx8dt £hkmg-x2ch2k}kmjGp}@nyhvdjGyd`Gj
i@ jbqT
jBjGyq.:jG
/yh1`B02wn"4jQx235yZ$7v 68z0' ):jb9 8jGwydp}cfehwnjKg%Dj xz?wx{\'x_ k~vqlvQfk}qmZehhxxclu jGp x`~ah
,fyhjnS<¤y-t8 2k}qmjGp}ÆSjzvdqmkz
w
W8?jG`Ge8x2k}q~qmxahihjcfj!; W_SjGSg-zKxedyÆqmxGfo`G`p'^2
<qmahxj\¥SedihxzfwjGx`n? xQk~v _SjBkmcx@q}jBq}qmkmjng <x2yZ¤yvPz3_:S Zu4_dx2jByZc4vdpGvd8j3jzv8_8qmehkzpmx8 t
£h2kmg-x c
Sx2W
yZov 5<vjBq~=jBxkm>k}Zqm' jn)-`G x2* QqmhfwnnSnycfehad2g%jB^q~qmJj xahcfSÆj! {\w''xz# w_ Kxfg%x2jGk~vyhhAj @nZSxInxl I3yhjGpv%_8jGQ`GFe8?,<kmnqTo4fI p}8jzt*:x_8e8km`~d:ahkm<fqm£hydjGln`BkmjBqmg-k}e8s kmvxzjnwSjBfkm-j ¤cxy ld£h2km!g-#"xIc $ u4%S&BvdjG9cf)+cff):yh9 l
"
hC@MXxahPlNjG' ehpWy4Y I T# Zah, jB y u7IntQ D#vhEvdF:fE p}3 yE 1jB&Gp}cjboH# 2
IJ
SKLA
(NM E PO3 E :?Q5$7H#ROSAOUT# E 2V/
E MW
Sp}u fg%xvddp cjz\Zx2xGgo8g%x2jGyZyvPq<d
kmx2ihqmcf `GnKcÆSYx2Ty g3*id[Yx2ORHlnÆ6/"\\n]ydZ3\vd
jGMy^_qmT#xOScfPqT oGEAkT#Pg%ROUnK7id`5fc
jWT#`G2S vdE j OUZ
8badj3a`z
:x2p}c:j"/H8
P'^ x
!h8*xg-t!lh-jG9i p KNK: lnML ed, ^jG
:y%xRTyh:Mjv3|w3d
wo kwìu4GjGp}AjGT#g%lehhjBOUe8Kkzqm:jBE _8kQ2jG>_8`Ge8 km`GfqTjB oWq¤F:o E IA
nK cfkmfjG`Bho3p}xpGxhlyZjGn$p v3ehcI_8o I jG, `BedSkmI8qTo| w3u4wSwêvdjBcnpGhg%Thy e8qmjB/k
e_Sdf
/`GfjBORHNqTo
"
"o
+pAUIqb3\
unnady4ÉfcfjBc o y _SnydpG I6SD#EF:E 3 E / 9d*-d* -^8A rs E OUZ
IIn_Sehy u4`bkmnpro8prqmjGg%pG
I !I u4eht cfcfjBk0xyZvthIjBq @Gp}`~ad!s KPj .@qmjBkzut o8@j_odprqmjBg kKadjG`b¥Sfyhl"tQhdcfjBq*Tp}ncxqmy
E((/ 8 ? 6# /# A9($8 00 " S
I 8_S`Gq}
fy4xzq wnx%0x2¥SxpGk~ v<D#E:TF:y E _:2_zKAT#kmnp}OUp}K W @Vnedu {*cjGefccjBoq* xI cÆhjzvd qmkz
:#V
/7`L&# D X' )+* I "
I q}w'k~Ãx2yhpmIx2n`BcfqmcÆjz v#Ig%v jG0g%xk}k}qmo jGcÆ2x2k yZv p}g-w'xk}$q vd`zj xk~vdnpG yhl8 Ty t `s ORxrHwxwx NM kmEjbPjBOxkmjGyd3 `GE j /yg%%SvdPAjB cÒE 2H
E 2z$7 F:E _j$ ^+^_I Z E OUZ
{3\
?
d}|35$7%lL6~' 9)+):9? tQd@jzx2kz5_SjGj
+ +
I Sw'hIncfcÆ:ddwnx2y vdjB4 y jBkml8@xyhv Qhx`BnihpG£h km g-x2cp} @jB
`G, Z`zxIqmyIn
qmadj x}xzwx3`zx2k~vx2h
E((/ !!! 68 % ? ?$* $)").0 $)*8 / <$*0)"($)#?A8 E(9*
:
f
y xrg%Uc dqmadj\x:v8e4`Gcx2p}pG 3\
M^_T#OSPPOUms
c:
I adj!Siz0jGwjBchg%jGyq jzxg nlYxcI
km$xrjG`Bqz &;H8X3\
/
/$O E 8O\%
PP_P
" E NT E I
I S!nahy{*ehp}aSio {KnydfySqmjbk}jBkmjGyd`Gjn@q}k~x2yhp}qmfw8q¤o:xyhv`~aZx2yhydjGcs¤`Bnyq}kmnc
p}jG`BedkmqTo@cf`BjBpG
E0((/ /$ A)**0 ):?0$)+ # #0 0)9?E0(:*
v8jG`/I6
I !8wxyvdjGy jBkmld Qx`BnihpG'xyZO
2a
L
x}xzc:w/xH8`z
Px^ k~fv u p|x8dhcff`zx2qmfn yYv8jGyqmZv jBk-w`Gcx2Ip}pGnécfcÆÍTy £hkm/g-
Px2cp}@jG`G1Z
>@;ã<9<;>¡ÅZ]LbM:;CY?¾:?bAd¾;?~LBCY;n¿2Ç
"Y do\ 0 j0 m
hÅ=Ú¦>@]h;LB9:;!$DASA@LB#&;>@%>¡;¢ÅZCYÖ¤9¬B]Ó¿mLBØ: ?b®z7<×ÆÖTDצLb«CEA8Ø ÆÞ09^ŹÇLD;Ad.Lm?bÊK?BAd;;2?b¿b;2;¾¹9PA8¾<Lm9<?bÊQ;n>:A D¿QC¿~6@LB;AO RY]d
LBHM: ;-NV;2Lb¿~ÐZ?GLBNS;nNS9<DLb;n7@¿b¿QCLBLBCY?BCYAdAd;29¢9ì¾<?bAdÁÂ;n9-?b¿~Ad;8» 9dH@LGA8¿N ÁuLBLBM:¿~M:LB;"N;-;LBD;Ð@7<;¢?bD2?B7@;2LBLbA59hCEA8L\N9¡ÅZ]d¿~NLBLBNS¿b;CELbD29:; AZÀ8>:RE;;
ASDÁ 8[^H@;CTÇL!;8Ç@7LB¿!M:RE;%AhAdA8F9:;" ÁÂAd¾¹?!A8CYCE99h¿mLbLG;NS>¡9<ÅZD2;|]NLBL\M:;%LBM:¾:;-?BA8ÅZÀ8]h?GLbNS;» D2A@>@D2A8;-7:CE9h9<LB¿m;2LB?\?b7ASDzÁLbCECA8LG¿09 LbAd¾PÁÂ! ?GNS» ;d%Ç $ Ê\M:CDGM
(
¾:7<¿bM:CE9:ÀCL!Ad9hLbALbM:;%Ad¾;?BN89<>¢¿~LBNdDGFIÇ
_8jBahj0j0Zx2lnk~j v4fp'2qmkahqmj0ahx2j\qmnv8g%jBZf`!ydfvdqmfx2q~y x3edIyhqmadqj0ehp}`Gjze8v|k}kmfjGyyqKxzx2wn`Bx"qmfwj0x2k~`GvyqmqmjGjB`~Sahqzyd ncfnl2o
}p fyhl-S%qm"wjBkmYo4nxwx%xk~v xdhcfjBq*fp}ncx2qmfny8kmn@jBk}qmfjGp I6
µ 9d³:¸Iµ*²¶Wº}³:ºmµ*²Òµ ³`R C 3 C ³`R!µ\¶
ZY
CEÈ0¿!M:>:;*;¾¹ã<Ad9:¿~;nLB>PD2A8CE99<>@OQCYLbA CEA8/9ÅZAS]Á@LbLBM<M:;";Q»ÁÂA8RE;2RYLbAM:Ê\A@CE> 9:À4-& ¾:+?b;n>@CKD2NASLBÁ:;8LBä M:;QD2RENd¿b¿
"!
# $
%
A $
*08 "/#08"(
0#"?0
?0 A"()"0D
*08 0):?0#
*08)9? ,
G )9?0"% 8"( 6"9 089((0
(E008
+
(E# 08"(0(0 8 $*(I
0#9/
" *08
$*08)9?0A2D):?
$#9 *
1< "- 2
#
$*08)9?0A2D):?
*(F 16 $*08):?0# "
1 #$8( 2
*
*9?0>(EC $*08)9?0A2D):?
*(F#$8 16 $*08):?0# #"$8
1 *?0>(E2
$*08)9?0A2D):?
*(F*"?0>(E 16 $*08):?0#
1 02
+
*(
16 $*08):?0# (EA)8 (EA)8
*( E/ 1 8"(0(0 "E00"/ )9?0%A8"( 2 )9?
1
M)8 00?A
(# "? )9?A8"(9?AF#F*?0>(EF0)"*(E
+
!$)"(EF* D0)"( 2
1 )" 0)9?$8"("?A" 0 )9?0"% 8"(D 2
+
1 )"(0 1 *0)8"(M<-(0A22
%
1,>( 0)9 0)9?A89("?A * 0 E/
X1 ?A8"( * 0C0)9(22
*(F0)"*"(E 1 *?0>(E )"(0$2 )9?
1
#"D $*
#"$8( )8 ?$#( ?0>($)90F"?0F#"$8(
(E$"?F(E
*"?0>(E # (ED-
D0)"*"(E )8
/$" ( 2
*88 (E"?
1
0( 0?D0* 2
+
@E
+
? **
1,>0( "<0-(0 "- 08>: ?0(CE/FF#$8 1<0-(0 89E$#(M*9?0>(E2 )"(0$2
(E0?
0*8
1,008 "//
1,008 "//
A(E082
A(E082
1 (E *X1 7#A 1 (0 "! 1 7"E#(M8#9?A2222
1
(E *X1 7#A 1 (0 "! 1 7"E#(M8 #$22222
1
*
@E 0( 0? 89((0 2
1,8 08"( A(E082 F)9?% 8"(
%
1,8 "// (E0082
1 (E 16 $"/0($)#"? 000?A ?00 N 0(N" $# ?$8 $"/0($)#9?22
#$*08 "/$#08"(
+ *08)9?
16 0#"?0 )9?0"% 8"(F (E0082T
È0
M:;- ¿~;nDAd 9<>¢! D2 A8 9<¿~Lb ?B7< DLbA8 ?\¿b¾ ;n D)CY-ã<;»|¿K7LB¿mM:L!;%Ź;2;"?B?BLbA8M:?\?BAD2NdÊ\¿~9^;"Ç Ê\M:;?b;3LbM<;%;Ð:D;¾@LbCEA89
#"$8(+KO<0-(0D*?0>(E 2
ATS0 TS $
}p fyhl-S%qm"wjBkmYo4nxwx%xk~v xdhcfjBq*fp}ncx2qmfny8kmn@jBk}qmfjGp I
M ±h²*³ C U*´<º}³FEW´:µ C ´:³FE
!;2?B;"CE¿\LbM:;->@;2ã<9:CYLbCEA89ASÁN4À8;29<;2?BCED3CE9dLB;2Àd?bCYLm]¾:?BA8¾¹;2?bLm] ÁÂA8?0LBM:;-=*Îzä
7"($)#9? /A)
?(0>$)9(- 0#9/(-H
+ &
$)"<* /00 )9?0# 7(
* + ,
+
$)"<* (E# "/$#8"( 0#9?0$)"($)#"?
+
0": 08"("(0 /0 0)9?00# (E$# 089((0 "08 $*"( 0#"/
* + ,
$)"<*M)9?0(0>$)"(- 0#"?0)"($)#"?
0": 08"("(0 /0 0)9?00# 0#9/
$)9?A)9($)#"?
&
)9?0(>$)"(- "/A)
1
(E
0"9J89((0D"( (E# )9?0#($)#9? 2
$
1 )9?0"% 8"( 6"9 089((0A2
1
$
(ED**M#"?0( ( )8 ?#(
(ED5. 02
1 099 0** #"?0(0 ( )9?% 8"( 5. .0#9?0(0 (A2
1
(ED#"?0(0 (
!EA):E A8"( ?$#( <
088)9<$* 02
+
1 #"!? 6#"!? 2 1 0": 0** 0#"?0(0 ( )9?0"% 8"( 1 //$*( .0#"?0(0 ( #"!?22
1=EA)"0?$#"!? 6#"!?0 2
1 8A #"!?0 #"!?
EA)90?$#9!?2
1
+
(E E0-/$#(E8)8 0#M)9?0(>$)"(- 02
1 )9?0 /00 )9?0#$2
1 )9?0(>$)"(- 0#"?$)"($)#9? )9?% 8"( )9? 2
1
(E 0 ($)#"? 2
1=/$#089($8"(( 60": 08"("(0A2
$
1,08 (E# 008 $*( 2
1' (E$# "/#08"( 0#"?0$)"()#"? ):?0% 8"( ):?0 1 0(E 08 /$#08"($89((0
00822
1 #"?(0 ( $* EA)90?$#9!?C)9?0%A8"(
/$#08"(8"((0$2T
?0 /A)
?0(0>$)"(- #"/(-
l ehyhj!t*yZvSkmnyhf`~¥@unedqmadjGfyZx%adjBq~xcfÆ@x2yZvKcfwSfjBk<o
!#"%$&('*),+-.$/0*1%'2436571&08392':3!<;92'8=>'?%"@BA
à8ÜS½ràdï:Hh?b7:;->:;3RN4?BCE9<D;n¿b¿b;8H@JDV8@H4Cï 8dà:ß3[^Ad7:X8;nDCE;29:9:;n¿!OQ;>@;2ÐIHS
:?GNS9<D2;
M:Ad9:;"9Z7:»|Ź;2?nä^8Ú C3àdàdÞ3Ú¦áhÞzß%à8á á8c ï 84ádá
D
"
) % *( + ( +
& $4E&F
# *& #