Tech Report

RC23246 (W0406-083) June 15, 2004
Computer Science
IBM Research Report
Applying Static Analysis to Verifying Security Properties
Xiaolan Zhang, Trent Jaeger, Larry Koved
IBM Research Division
Thomas J. Watson Research Center
P.O. Box 704
Yorktown Heights, NY 10598
Research Division
Almaden - Austin - Beijing - Haifa - India - T. J. Watson - Tokyo - Zurich
LIMITED DISTRIBUTION NOTICE: This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. Ithas been issued as a Research
Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific
requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties). Copies may be requested from IBM T. J. Watson Research Center , P.
O. Box 218, Yorktown Heights, NY 10598 USA (email: [email protected]). Some reports are available on the internet at http://domino.watson.ibm.com/library/CyberDig.nsf/home.
!#"%$&(')
*+"%-,.$&/102$34"%$5"6
78:9<;<=>9@?BA5CD9@?DEF9<?DGHIJK?MLONP9<JKEPJKIQ9@?DGR9<ISITVUW;YX<JZG
[]\_^`HWaDN/acbd9@LeS;<?.fQJgeSJg9<Ih(CBi6JK?MLSJgI
jgk+{ h
ln|cm }KTnCD=o9<8:?p?pJ3EDr q~9@IJg8:E<X<JgJ<IrpLZsr 9);Yt_X<JgLSCpG&;P€YIS?D‚DJ<egrpa uQ8:ƒpv „.a jZhwP;<x<„ yPz
m
…V†‡gˆK‰YŠp‹@ˆ
X<JgIS8o /hg9YLS8:;<?dÐ x rDÙcr jPj
Ñ aH_CpJgeSJ3eTceLSJK„+eO9<ISJ—„F;<IJ3eShg9@=o
9@ƒD=oJ-LSCD9<?3LSI(9<Gc8oLS8:;<?/9@=<„F;cGcJg=Mh(CpJZh m JgIega¤sO;Yt%JKXPJKIZrKLCpJKT
bŒCp8:=oJ+GcJgX<Jg=o;Pp8o?DEŽƒD‚pE@’‘“ISJgJg”VeS;@‘•L]t_9@IJ–8>e—8o„F5;Pee8:ƒp=:J 9@9@I„FJVpšM=:J<‚prO8oLSLSJ+Cp=:J8o„FLS;n8oLS;<Jg=>G¢e8oƒD?d‚p8oLS=oCDL.JKƒM8:IT¿h(CpNPJKJZ?Dh m eSJK8:?p?ÖE½JK9@LgƒDaÛ8o=:8œ9@L]=’TPa—aÐ j<ÚDj
;<Ñ I–hKJK9<|n? 
8:?E<Jg?pJKI(9@=’r˜tQ8oLSC™ISJZhJK?MLF9<GcXY9@?/hJge8:?™eL9@LS8>h9@?/9@=:TneS8>e
LSJZh(Cp?p8>šM‚pJge›8œL8:e–‘“Jg9<eS8:ƒp=oJVLS;BXPJKI8œ‘“TžhJgIL(9@8:?žhK=:9PeSeSJge–;@‘ LSh(ICp;<JZ=Mh ÜDm ;Y‘“t3;PIa˜eSÝJg‚ph‚DIISE<8o;ML]T9@=’DrZ;PIS;P?–/LJgCpIJ_L8o;@JZeQLSCDLSJKC/Iº9YCDL9@8:?D?nG¤X<;Pr@=o8:XPeJ3L;;<?pƒp=:‚DT½8o=>Gh;<9<?p? 
eSJgh‚DIS8oL]TDIS;P/JgIL8oJZeO‘“;PI=>9@IE<J›eS;@‘•L]t_9@IJ–eSTneLSJg„+eKr5LSCn‚De
E<IJg9@LS=:TJg?pCD9<?Dh8:?pE–Jg?DG+‚DeSJKI(eKŸMh;P?c /GcJg?DhJ;<?FLSCDJeS;@‘•L ƒp9@?/=:J›9@=:;<Tn‘-eS8>h(e_Cp‘“JgIh 9<m „F8:?pJKEVt%9V;<I tQm 8>LSGcC/J›9YI(L9@8>?DeE<ƒ/J3;<;@LS‘-CeSeJghKhK9<‚p=:I9<8œƒpL]T=oJp9@I?D;<G½5JKhgIS9@LSD8:Jg9@eg r
t_9@IJ<aW[¡?BLCp8:e—D9</JgIWt6J8:GcJg?MLS8o‘“T9@?B8:„F/;PIL(9@?ML3h=>9<ee 8:?Dh=:‚DGc8:?pEDIS;P/JgIL8oJZeWLSCD9@L8:?nX<;<=:X<J+ƒ5;@LCh;P?MLSI;<=-9<?DG
;@‘–eSJghK‚pIS8oL]T™pIS;P/JgIL8oJZeFLSC/9YLhg9@?Œƒ5JBIJgGc‚DhKJgG™L;¢LSCDJ Gp9@L9ÜD;Yt3a
h=>9<eeS8:hg9@=¤£<¥@¦§•¨ª©Y¨5«(¬­5®¥<¯K°o¬¦±9@?DGeSCp;YtCp;YtLSCpJgT›hK9<?
ƒ5Jh(CpJZh m JZG.J²Vh8:JK?MLS=:TB9@?/GB9<hgh‚pI(9YLJK=:T<r5‚De8:?pE9Gc;P„ H;M;P=:eWJK|c8:eLWLSCD9@L›9@IJhg9@D9<ƒp=oJF;<‘68>GcJK?MLS8o‘“Tn8o?DEBeJZh‚pI8œL]T
8:?D9@?DhKJ9<=oEP;<I8œLCp„8o„Fp=:JK„FJg?PLJgG4;<?LS;<d;@‘-LSCpJ+NM9<\_³ 9@?/G;<LSCpJgI_Ü/9)tOe_8:?.eSTce]LJK„ÞeS;@‘•L]t_9@IJFÐ k r5ß Ñ a-\%‚cLQLSCpJg8oI
9@?/9@=:TneS8>e-‘“I(9@„FJgt6;PI m a
„+9@8:?–p‚pI5;PeSJge9<ISJLS;Gp8:eh;YXPJKI&Ü/9)tOegrZI9@LSCpJgI¤LSC/9@?–XPJKIS
8o‘“TM8:?pE½eSJgh‚DIS8oL]T½pI;<5JKISLS8:JgeFà“pI;YX<JLSCDJ=>9<h m ;@‘-Ü59)tOeáa
´ µ¶ ˆK‰Y·¤¸º¹‹<ˆg»¼· ¶
[]GcJg?PL8œ‘“Tn8:?pEØeSJghK‚pI8œL]TØÜ/9)tOe½8>eJZ9<eS8oJgI½LSC/9@?#XPJKI8œ‘“Tn8:?pE
³ee;<‘•L]t%9<ISJ+eSTce]LJK„+e3ƒ5Jgh;P„FJ+8o?DhKISJZ9<eS8o?DE<=:Th;P„D=oJK|ªr eSeSJg;<h„F‚DJžIS8oL]Ü/T¿9)tOpISe½;P/tQJgCpI8:L=:8oJ¢JZeKX<âÂJgIS8:8oGp /JKhK?M9@LSLS8o8: /;<hK?±9@LS„›8:;<‚D?±eLB9@8: D„F?/e.GÀ9@9@L=:=3 D?/Ü/Gc9)tO8o?DegE a
LSCDJVeJZh‚pI8œL]T½8>ee‚pJZe39<hgh;<„FD9<?nTM8:?pELSCpJg„¾ƒ5JghK;<„FJF8o?c ã˜JKI8o‘“TM8:?pEB9.eSJgh‚DIS8oL]TBpI;<5JKISL]TBIJgšM‚p8:ISJZeLCpJVGcJgX<JK=:;<p
hIJg9Pe8:?pEP=oT¿9@EPE<I(9)X)9@LSJZG&aÀ[ÁL8>eE<JK?DJKI(9@=:=oT‚p?DGcJgIeLS;n;cG
LSC/9YL—GpJKX<Jg=o;Pp8:?pE9¢ŽSƒp‚pE<¼‘“IJKJZ”+9@pp=:8>hK9YL8o;P?½;@‘IJg9Pe;P?c „FhJgJKc?MLLOeW;@9<‘?D9G„9<?;cGc9@Jg?D=ª9<LS=oCDTceS9@8:LOeJKLS?DC/hK9Y;<LW„F8:e+D9P«(eS¥YeS¦Jge%­5°o9@¬K=:Æ¡=&¬FISJgà“8’=oJga JPXYao9@r&?MCDLO9Phe;<?D?p; 
9@ƒD=oJe8:}KJ8:e?p;=:;<?DE<JKI/;MeSeS8:ƒp=oJPa[ÁLF8:eCp;Yt%JKXPJKIZrºeLS8:=o=
LS58:;PJgee–e8:‘“ƒp;<=:I3JW=>LS9@;+IE<X<J+JgISeS8o;@‘“‘•TL]t_9+9@hKIJKJFISLeS9@Tc8:e]?½LJKh„+=>9<egerºe_eS;@‚D‘˜h(eCdJZhLS‚pCDI9@8oL–L]TVLSCDpJ+I;<X<5JKJKIIS8o ‘Ç;@9@‘_=>eS‘ÇJ-9<=:?peSJ+JgEP/9Y;ML8oeXP8oLSJg8:e(X<á¤JZ9<eK?Da.G3H_E<CnJg‚D?pegJKrI(9YXPLJKJgIe8œ /9Ohg„+9YL9@8o;P?D?49<E<IJZJg9@šMƒp‚p=:8:JISJZ?ne3‚p„›„Fƒ5;<JKIJI
/hg9YLS8:;<?dhK9<?4pI;YXn8:GpJeS;<„FJ=oJgX<JK=;<‘%9<eeS‚pI9<?DhJ›LS;LSCDJ 9<hgh‚pI(9<hKT+ƒ/;<LSC.8:?„F;cGcJg=¤GcJKXPJK=:;<p„FJK?MLO9@?/G9<?D9@=:Tce8>ega
‚DeSJKIF;@‘LSCpJ½eS;@‘•L]t_9@IJ<a¢H_Cp8>eF8:eFeS8o„F8:=:9<ILS;dLSCpJ¿Ã¥Y¦Ä l 8:?DhJOeSJghK‚pI8œL]TM¡hI8œL8:hg9@=peS;@‘•L]t_9@IJ68>e;<‘•LSJK?F=>9@IE<JPrYLSCpJeJK
¦+¥Y¨Åî
§•ÆÁ¬K®
§Ç©¿Ã¬®
ƒ§ È6«(©@Ƽ§Ç¥@¨ÂÉ%Ê)©@°ÌËD©Yƒ§Ç¥Y¨2©@¨5£±Í/©@°Ì§Ç£<©@Ä h‚DIS8oL]T49<?D9@=:Tce8>eLS;n;<=„‚DeL›ƒ/JV9<ƒp=:JFLS;BehK9@=:JLS;.LCp;<‚c
ƒ§Ç¥Y¨dΪ«(Ïp¬K¦F¬Ð r/tQCDJKIJ–;<?pJ›E<;nJgeOLSCpI;<‚pEPC½9hJgIL8œ D
hK9@LS8:;<?pI;nhKJgee6jgLSw)CDÑ 9@LOX<JKI8o DJge6LSC/9YLQLSCDJL(9@IE<JKLQeS;@‘•L]t_9@IJ pe9@I?DJghKGp8:e—eSJ_;<JK‘6?p=:;P8o?p‚pJZE<e—C;@e‘%;WhK8o;cL-GchKJ<9@r?9@ƒ5LJ%L‚/CpeJVJZG›e9@‘“„F;PI˜J›X<LJg8o„FIS8o /JFhKI9@JKLS„+8:;<9@?8:?pp8:‚p?pISE 
e9YLS8>e DJgeQhKJKISL9@8:?=oJgX<JK=&;<‘ºeSJghK‚pIS8oL]TVIJgšM‚p8:ISJg„FJK?MLega
5;PeSJgega2H_Cn‚DeV9žE<;n;cG¿9@?D9<=oTceS8:eL;n;<=O„‚De]LV„+9 m J.LSCDJ
HI9PGc8œL8o;P?D9@=:=:T<rª/Jg;<p=:JFCD9)X<J‚DeSJgGB„F;cGcJg=h(CDJgh m 8o?DE‘“;PI I8oEPCPL_LI9PGcJÁ;@佃5JL]t%JKJK?½9PhKh‚DI9PhTV9@?/G5JKIS‘“;<I„+9@?DhKJ<a
X<JgIS8o‘“Tn8o?DEeJZh‚pI8oL]TpI;<5JKISLS8:Jge6Ð z r y rZÒ Ñ aÓO?c‘“;PIL‚p?D9@LSJK=:T<r [¡?dLSCp8>eWD9</JgI3t6JF8>GcJK?MLS8o‘“T49<?48:„F/;PIL(9@?ML–h=>9<ee—;@‘QeJK
„F;cGcJK=&h(CpJZh m 8:?pE–8>e_93L8o„FJWh;<?/e‚p„F8:?pE›DIS;chJZeSegaº[¡?9<Gc h‚DIS8oL]T׍pI;<5JKISLS8:Jge›LSCD9@LFhg9@?ƒ5J.ISJZGc‚DhKJgG×L;LCpJ.h=>9<e
Gc8oLS8:;<?¤rc„F;cGcJg=¤h(CpJgh 8:?pEGp;MJZe%?p;@LQt%;<I ;P?LCpJW8o„Fp=:J
„FJK?ML9@LS8:;<?¿Gc8:ISJZh
LS=:T<m r6I9@LSCpJgIgr-LSCpJ.„F;cGcm JK=8:eFJK|MLI9Ph
LJgG eS9@8:IhgE<9@‚D=6J½£P¥YLSCD¦9@§•L¨5©Ye¨ªL9@«(LS¬8>hB®S¬9@°:©Y?Dƒ9<§Ç¥Y=oTc¨peSåS8:ÏceV§ ­½LS;nh(;<Cp=>JZeh mhg9@8o?p?ÖEFƒ5pJI;<ƒDƒD‚p=oJg8o=o„La%LSCDbd9@JL
‘“I;<„*LCpJ¿8o„Fp=:JK„FJK?ML(9YLS8:;<?Ô9<?DGÕIJKDISJZeJg?PL(eBLCpJÖ9@ƒp 9@IJƒ/;<LSC¿eShg9@=>9@ƒp=:J9<?DG9PhKhK‚pI9@LSJ‘“;<ILSCDJD‚pIS5;PeSJ;@‘
eLSI(9<h
LQeL9YLJge%;@‘LSCpJWpI;<EPI9<„.aH_Cn‚DegrcJKIIS;PIe-„8:E<CMLQƒ5J
8:?PLIS;cGc‚/hJgGGc‚pI8o?DE–LSCDJ—„+9<pp8:?pE–‘“I;<„LCpJ39<h
L‚D9@=58:„ X<?DJg9<IS?D8o‘“hTnJž8o?DIEÂJK=>9YhLS;P8:„F;<?/pe=oCpJK8:|֍/áeJZ;@h‘F‚pI=>8œ9@L]IT¿E<JdpIIS;<JZ59@JK=:8:ISeLSLS8:8>Jghže49@à“pJPpa E/=:a8>hK9YGpL8o;<;P„F?Deg8œ a
p=:JK„FJK?ML(9YLS8:;<?¢LS;½LCpJ9<ƒDe]LI9Ph
L›„F;cGcJg=¼a4[¡?e‚D„„+9<ISTPr bdJ¿GpJK„F;<?DeLSI(9YLJ¿;<‚pI×h=>9@8:„*ƒnT#pIJgeSJK?MLS8:?pEÅ9±E<JK?p
8oLV8:eF?p;<L+pI9Ph
L8:hg9@=%LS;ׄF;cGcJK=Oh(CDJgh m X<JgIST=:9<ISEPJeS;@‘•L JKI(9@=n9@=:E<;PIS8oLSCD„ØLCD9YLX<JgIS8o DJZeGc;P„F8o?D9<?DhJ6ISJg=:9@LS8:;<?DeSCp8:Degr
t_9@IJeTceLSJg„Fegr˜‚p?p=:Jgee›LSCpJeJZh‚pI8œL]TžpI;<5JKISLS8:Jge›ƒ/Jg8o?DE 9@?/G8:„Fp=:JK„FJK?MLS8:?pEWLCpJ9@=:E<;PIS8oLSCD„#;<?LSCpJNP9P\%³¿eL9@LS8>h
h(CpJZh m JgG9@IJ3e‚c²VhK8oJg?PL=oTe8:„Fp=:J<a
9@?/9@=:TneS8>ež‘“I9<„FJKt%;<I m aæ݂DIJ|c5JKI8o„FJg?PL(9@=JKXn8:GpJK?DhKJ
[¡?LSCpJ3/9<eL%‘“JgtØTPJg9<Ie_eS;<„FJWpIS;PE<IJgee-C/9<e_ƒ5JKJK?.„+9<GpJ 8oeSLSCp8:X<;YtOJgeQe6hKLS;<CD„F9@L%D9<8oLOISJZpGVI;ntQGp8o‚DLSC½hJZ9e%eSp8:ISE<Jg?pXn8o8o /;PhK‚D9<eQ?MLS9@=:pTD‘“ISJg;Mt69<Jgh(I%CV‘ǃD9@9P=>eeJWJZG5;P;Pe? 
8:?Ø9@Dp=oTn8:?pEÂeL9@LS8>h49<?D9@=:Tce8>eLSJgh(CD?p8:šM‚pJZeVL;™eS;@‘•L]t_9@IJ iQç—Ó³RŒÐ j)xZÑ a
1
_H CpJFIJgeL—;<‘-LSCDJ/9@5JKIW8:e—;PISEM9@?p8:}KJZGB9<e‘“;<=:=:;YtOeKa Jgh

LSI8:JK;<=>9Y? LS8:z ;<?/GcJgeCpeh8:¤I8oa ƒ5JgeJZLSh
CpL8oJ;P?pIS;Pƒpp=:JKI„ÛJgeSJK;@?M‘&L(X<eJg;PIS‚p8o‘“I–Tn8oeS?p;<E=:‚cGcLS;<8:;<„F?¤8:a ?D9@l ?DJghKh
J 
LS8:;<?2èÂeSCp;YtOe+l LCpJ4JK|c/yJgIS8:„FJK?ML9<=IJgeS‚p=oLega l JZh
LS8:;<l ? x
Gc8>eShK‚DeeJZe-;P?pE<;P8o?pEt6;PI m 9@?/G l JZh
LS8:;<?ÙhK;<?DhK=o‚/GcJge6LSCDJ
D9</JgIga
é ê ·5뢻 ¶ Š ¶ ‹<ì½íìMcˆg»¼· ¶ ‡Zï»Çð
¬%òVLS8o;‘ºJgòÖX<JK8oI?/TFh=:D‚D9YGcLJgC e
‘“bdI;<JW„óe9)LST+CD9J4pƒ5ISJK;PEPE<8o?pI(9@?D„Û8o?pE™/;P;@8o?M‘›LQLSñCpJd£<¥@p¦I;<§•E<¨ªI(©Y9@Æ¡„ô
ñ×Ð jZy)Ñ a—[¡?d9<GpGp8œL8o;P?¤r&8œLW8>ee9@8>G.LSC/9YL39VpI;<EPI9<„õ5;<8:?ML
öø¿­DLS¥);Âå
Æ¡LS£<CD¥@Jd¦Jg§•?D¨ªGÖ©YÆ¡¬O;<‘›pIL;<CpEPJ4I9<D„÷IS;P5E<I(;<9@8:?P„ùLOø8o?D8œhK‘=o‚/JgX<GcJgJgISe TV/a 9YLSCl 8:„F‘“I;<p„ =:J
9<e8oL=:;M; m eKr9=:9<ISEPJeSJL;<‘eSJgh‚DIS8oL]TDIS;P/ö JgIL8oJZehK9<?
ƒ5J½ISJZGc‚DhJZGÂLS;dLSCpJ½DIS;Pƒp=oJg„ú;<‘—h(CpJZh m 8:?pEžtQCpJKLSCpJgIV9
Gc;P„8:?D9<?DhJWIJK=>9YLS8:;<?/eCp8:Cp;<=>Gpe_ƒ5JL]t%JKJK?L]t%;JgX<Jg?PL(eKa
H_CpJBeS8o„Fp=:JgeLh=>9<eeF;@‘3eSJgh‚DIS8oL]T׍pI;<5JKISLS8:JgeLSC/9YLhK9<?
ƒ5JÛIJgGp‚DhJZGûLS;9Gc;<„F8:?D9@?DhKJՍpI;<ƒD=oJg„ 9@IJ#LSCD;PeSJ
LSC/9YLV8:?MXP;<=:X<J;<?p=:Th;P?MLSI;<=%ÜD;YtOega™ÚD;<IFJ|p9@„Fp=:J<r6LSCDJ
pI;<5JKIFt_9)T4L;×hIJg9YLJ9Œ«(Ïn®S¥Z¥YÆüK©@§•°ISJZšP‚D8oIJgeFhK9<=o=:8:?pE
ý)þpÿ 8o„F„FJgGp8:9@LSJK=:T9@‘•LSJgI-hK9<=o=:8o?DE ý)þ Ð xYÑ a
JZh‚pI8œL]TpI;<5JKISLS8:JgeLCD9YL-8:?nX<;P=oXPJOGp9YL(9—ÜD;YtOe9@IJQ„F;<IJ
hl ;P„F„;P?¤aسûhK=:9PeSeS8>hK9@=QJK|p9@„Fp=:J½8:eVh(CDJgh m 8o?DE4‘“;PIV‚p?c
„+9YL(h(CpJgG+eSp8:?V=o;ch m e8:?+LCpJR8o?n‚c| m JgIS?pJg=DtQCp8>h(C+„F8oEPCML
hK9<‚DeSJGcJg9PGc=:;nh eÐ Ò Ñ a˜H_CpJ—R¤8:?M‚p| m JKI?pJK=/‚DeSJge-L]t6;›eSp8:?
=:;nh m ‘“‚p?DhLS8:;<?Dm eg
r 9@?/G Dý DDý ý !
Dpý ý " r ISJZeD5ý Jgh 
LS8:X<Jg=oTPr5‘“;<I—=o;ch m 8o?DE9@?/GB‚p?p=:;ch m 8o?pE/a3i6CDJgh m 8o?DEV‘“;<I—‚p?c
„+9YL(h(CpJgG¿=:;ch ‚p?p=:;ch D9<8oI(ehg9@?Œƒ5JBLSI(9@?/e=>9YLJgG™8o?ML;
LSCDJpI;<ƒp=:JK„`m ;@# ‘h(CDJgh m m 8o?DE.‘“;<I9Gc;<„F8:?D9@?DhKJVIJK=>9YLS8:;<?p
eSCp8o2ƒ/JKL]t6JgJK$? 9<?D$G 9@?/GŒ9
5;PeLGc;P„8:?D9<?DhJBIJK=>9YL8o;PD?Dý eS Cp8o2ƒ/JKL]t6JgJK?% pý pý 9@?/&G a&H_CpJQGc8oä5JgISJg?DhJ%ƒ5JL]t%JKJK?›LSCp8>e˜h=>9<ee;@‘
LSpC/I;<9YL5JK8:?–ISLSL8:CpJge¤8>e9<hgD?D9<ýG—eS JLSCD;<;P?peSJ6J˜?pLSJKCDJZ9@GpLe;PLS?p;Q=oT—LI8:9P?Mh XP;<=:LX<CpJ˜J6hXY;P9<?MISLS8>I9@;<ƒp=o=:¼J ÜD;Yt48:e
8:?9PGpGc8oLS8:;<?VL;+h(CpJgh m 8:?pE–LCpJ3Gc;<„F8:?Dm 9@?DhKJIJK=>9YL8o;P?DeSCpD8oý  r
CpJg?DhJWLCpJ3?D9@„FJ3Gp9@L9ÜD;Yt3a
[¡?LSCp8>e˜D9</JgIgrPt6J%‘“;ch‚/e˜;<?+9Wh=>9<ee;@‘&eJZh‚pI8oL]T–pI;<5JKIS
LS8:Jge&LSCD9@L9@IJ˜ISJZGc‚DhK8oƒp=:JLS;_LCpJ-Gc;P„F8o?D9<?DhJ˜DIS;Pƒp=oJg„Öƒp‚cL
LSC/9YLIJgšM‚p8:ISJ–9F„F;PISJWÜDJK|c8oƒp=:J›GcJK D?p8oLS8:;<?½;<‘ºLCpJ–JgX<JK?ML(e
LS;4ƒ/Jh(CpJgh m JgG&aBH_Cn‚Deh(CpJgh m 8:?pE.LSCDJgeSJpI;<5JKISLS8:Jge›ISJK
šM‚p8:ISJ9¢„;PISJ4h;<„Fp=:J|Œ9@?/9@=:TneS8>e+JK?pEP8o?DJ<(a '˜|p9<„D=oJZe
8:?Dh=:‚DGcJPâ
) ã˜JgIS8o /hK9@LS8:;<?¿;@‘3h;P„Fp=oJKLSJ½„FJgGp8:9@LS8:;<?™;@‘39žISJK‘“JKIS
Jg?DhJ3„F;<?D8œL;<I_8o?MLJKIS‘Ç9<hJPa
) ã˜JgIS8o /hK9@LS8:;<?;@‘/hK;<„Fp=:JLSJ_h;YXPJKI(9@EPJ˜;@‘/9<?9@‚/Gc8œL8o?DE
‘Ç9Ph8:=o8oL]T<a
) ã˜JgIS8o /hK9@LS8:;<?;@‘˜h;PISIJghL%„FJK„F;PISTV;Pƒc~]JghLQISJg‚DeJPa
H_CpJZeJJK|p9@„Fp=:JeJZh‚pI8œL]TpI;<5JKISLS8:Jge¤9<ISJeS8oEP?p8o /hK9<?PL¤ƒ5J
hK9<‚DeSJ˜LSCpJgT3hK9@?3DIS;YXn8>GcJ˜‚DeSJKI(e¤tQ8oLSC3LCpJ69PeSeS‚pI(9@?DhKJLSCD9@L
LSCDJ–e5JghK8œ DJZG.eJZh‚pI8œL]TpIS;P/JgIL8oJZe_9@IJW9<=ot_9)Tce-„FJKLga
*+-,.0/123546 18794:,63;2 <>=6 ?>@3BADC9.,
E +F:>G:H<I:33>JLKNMO
:?QPO 32R?QO@S42BTUAAAWVYX
ZB+
:>@6M
C>@U4?I3[.Y4?I3S\04P3@BK]42
V^
_L+
AAA
63@a ;IS\U:>3 CQM6?Q@G <1>b:cd4?I3<1>b:cdII:33>JeK]4
?I3
V^
` +
fB+
?>4%KN63@a ;IV0X
gB+
,,Y4 ;?I329CQh 3 C8JeT&3i?>@
jB+
P 1>@ 1Yk;2^
lB+
m
*onB+
,,Yb ;::32pCoh 3 CoJeTqb 364 1>6Q7!1>b 36;@?1>O
**+
63@a ;IS\SII:33>JLK]4?I3"TpAAArV^
*QE+
AAA
*oZB+-m
ºÚ 8oEP‚pIJ j â³O?.J|p9<„D=oJW;@‘˜R l ^¾Cp;n; m a
³O?ŒJK|p9@„Fp=:J;<‘—IJ‘“JgISJg?DhJ.„F;<?D8œL;<IV8:?MLSJKIS‘Ç9<hKJgeF8>eFLSCDJ
R¤8:?n‚c| l Jgh‚DIS8oL]T^½;cGc‚p=:Jge›àÇR l ^á%8o?MLJKIS‘Ç9<hJ+Ð j è Ñ a-R l ^
GcJK D?pJge+9<?¿8o?MLSJgI‘Ç9PhJ‘“;<IFÜDJK|c8oƒp=:J<r%„+9@?DGD9YLS;PIST¢9PhKhKJgee
h;P?MLSI;<=8o?dLCpJVR¤8:?n‚c| m JgIS?DJK=’aFR l ^óh;P?De8>eLe—;@‘Q9.eJKL
;@‘5E<Jg?pJKI8:h%9@‚pLSCp;PIS8:}g9@LS8:;<?›CD;M; m eºLSCD9@L˜9<ISJ%8:?DeJgILJgG8o?ML;
LSCDJ m JKI?pJg=ªeS;<‚DIhKJLCD9YLOJg?D9@ƒp=:J m JgIS?pJg=ª„;cGc‚D=oJZe%LS;FJK?c
‘“;<I(hJ×eSTce]LJK„ 9PhKhJZeSe.hK;<?MLSI;<=35;<=:8:hKTŒ‘“;<I.LCpJ m JgIS?DJK=’a
H_Cn‚DegrYLSCpJOR8o?n‚c| JKI?pJg=M8>e?p;<LC/9@I(GnÁhK;cGcJgG›tQ8œLCF9—eS8o?c
E<Gc=:8oJWä5Jg9<IShKJghK?MJgL%ee_9<hghh;<JZ?MeSLeIS;PhKm=/;<?M5LS;<I=:;<8:hK=/T</a;P^½=o8>h;c8:JgGceg‚Drn=oJW9@?DtQGI8œLLCpJKJI(e6hK;<hg9@„F?.„›Gc‚pJ?D D8œ?DL]T J
hK9<?h(Cp;n;PeSJVLCpJ/;P=o8>h8:JgeLSC/9YL+9@IJ„F;PeLJKä5JZh
L8oXPJ‘“;PI
LSCDJK8:IOE<;M9@=>eKa
H_CpJhK;nGpJ¾eJgE<„FJK?ML÷8:? Ú8:E<‚DISJ j eSCp;YtOeÔ9@? JK|n
9@„Fp=:JÔ;@‘¿Cp;Yt1R l ^ Cp;n; m eÕ9@IJÛ8:?DeSJKISLSJZG 8:? LSCDJ
IS?DJK=’a H_CpJ ‘“‚p?DhLS8:;<s
? tt 8:„Fp=:JK„FJK?MLe
mLSCDJgJô
eSTneLSJg„ hg9@=:= tt a ö H_CpJúeS>Jg h‚DIS8oL]T CD;M; m r
t
uv
w t uv t
t w t à“=:8:?pJ á
r
8>e8:ý ?DeSJKISLSnJgö G–ƒ/ JK‘“;<IJLSCDJ% 9P
h
LS‚/9@=Mt6;PI m à•LSCDJ% hg9@=: = tt x 9YL=o8:?pJ j<j áWL9 m JZe›p=>9<hKJ<ažH_CpJEP;P9<=-8>e›L;4h(CpJZh m LSCD9@L
9@=:=ceJZh‚pI8oL]TP¡eSJK?DeS8œL8oXPJ-;P/JgI9@LS8:;<?De%à“JPa E/aor tt áª9@IJ
LSGcCD;PJ–„e8:JZ?Dh9@‚pLSIJg8œGL]TƒnT–Cp;n9W; h(m Cp9@JghL_m =:8:L?p;J Lx CpáJ_a ISJK‘“JKIJK?DhKJ6„F;P?p8œL;<IQà“JPa E/aor
8:„F8o=>9@I=oTPr&8o?4LSCDJVhK9<eSJ;@‘69<‚DGc8oLS8:?pEDr¤t%Jt6;P‚p=:G4=:8 J›L;
X<l JgIS8o‘“TWLSC/9YL9@=:=ceJZh‚pI8œL]TM¡eJg?DeS8œL8oXPJ-;<5JKI(9YL8o;P?Deº9@IJ%mGc;P„
8:?D9YLJgGƒMT9@?.9@‚DGp8œLOhK9<=o=’a˜[¡?LSCpJ–hg9<eSJ;<‘º;Pƒc~]JghL_IJK‚/eJPr
t%Jt%;<‚p=>G+=:8 m JOLS;X<JgIS8o‘“TLSCD9@L6LCpJIJK=:Jg9PeJ;@‘&LCpJ„FJg„
;<IT×;chKhK‚pp8:JgGƒMTÂ94eSJghK‚pIS8oL]TMÁeSJK?/e8oLS8:X<J;<ƒc~]JZh
L+8:eFDISJK
hJZGcJgGփMTŒeLSJgDeVLCD9YL.pI;<5JKI=oT™IJK„F;YX<J9<=o=WeSJK?DeS8œL8oXPJ
8:?c‘“;<I„+9YLS8:;<?a
x y ìM‰Y{» z]|¤» ~
¶ }×ê ·/돻 ¶ Š ¶ ‹Pì.íìnîNJcˆZ»Ç· ¶ ‡Zﺻ“ð‡
xeÇ´ € ·5ë×ð¹ˆZ» 
¶ }4ê ·/돻 ¶ Š ¶ ‹Pì½íìnîNJpˆg»Ç· ¶ ‡gﺻ“ð‡
H_CpJÛ9@=:E<;<I8oLSCp„æ‘“;<IÅh;P„D‚cLS8:?pEõGp;<„F8o?/9YLS;PIe28o?MLI9@
pI;chJgGp‚pI9<=o=:TÛ8:eÂt6Jg=o= m ?p;YtQ?Þ9<?DGÔCD9Peƒ5JKJg?ÞGc;ch‚c
„FJK?MLSJZG¿8o?Œ„+9<?MT™h;P„D8o=:JKI+LJ|nLSƒ5;n; m eBÐ j r jgy)Ñ aÀ݂DI
9@=:E<;PIS8oLSCD„ ‘“;PIdhK;<„Fp‚cL8o?pE±Gc;<„F8:?D9@?/hJIJK=>9YL8o;P?DeSCp8o/e
„+9 m JgeeSJKXPJKI(9@=pJg?pCD9@?/hJK„FJg?PL(e;YXPJKILSCDJh=>9<eeS8:hg9@=DGc;P„
8:?D9YL;<I9<=oEP;<I8œLCp„.a Úº8oI(e]LZr;P‚pI9@=:E<;PIS8oLSCD„8:e8o?MLJKIS
2
pI;chJgGp‚pI9<=¼a l JZh;P?DGc=:T<r½;<‚DI™9<=oEP;<I8œLCp„ L9 m JgeÂ8o?ML;
h;P5?DJgeShK8:8œGc /JghgI9@9@=:LS=oTP8:;<rc?Öt6JGp9@=oJgLX<9JgI;<9<ƒcE<~]JJZh
GDL9YeL9–9@=:ÜD;<;Y?Dt2E9<tQ?D8o9@LSCÖ=:TceL8>CpeJdL;JKX<XPJgJK?MI8œL‘“egT a
LSl C/9YLFLSCpJ.Gp9@L94;<ƒc~]JZh
Le8:?LCpJ.Gc;<„F8:?D9YL;<IJKX<Jg?MLF9<?DG
LSCD;PeSJ8:?LCpJWGc;<„F8:?D9YLJKJ—JKX<Jg?ML6‘“;PIS„÷9ISJg=:9@LS8:;<?DeSCp8:9Pe
eS/JZh8o DJgG8:?LCpJ–eSJgh‚DIS8oL]T+pI;<5JKISL]T<a
H;ƒ5JLLJKIW‚p?DGpJKI(e]L(9@?DG.LCpJF9@=:E<;<I8oLSCp„.rªt6J‚DeSJ9eS8:„
p=:JJK|c9<„Fp=oJLS;Ö8:=:=o‚DeLSI(9YLJ¢LCpJ„+9@8:?#5;<8:?MLe4;@‘+LSCDJ
9@=:E<;PIS8oLSCD„a¿Úº8oEP‚pIJ àÇ9MáeSCp;YtOe+9dCnTn/;<LSCpJKLS8>hK9@=QDIS;<
E<I(9@„ÀhK;<?ML9<8o?p8:?pE DX<J6z ‘“‚p?DhLS8:;<?Deg"⠂ƒ r w„ r w… r
r69@?/pG Š‹Œ aØH_CpJ½‘“‚p?DhLS8:;<?
/JgI
‘“†;<‡Iˆ„+†ed‰ LS CpJŒ9<‚cLSCp;PIS8:}g9@ LS8:;<?Ûh(CpJgh m  9@?DGՆLS‡CDˆJ¿†
‰ ‘“‚p?D h
L8o;P?
Š‹Œ àÇeL9<?DGpe‘“;<I.Gp9<?pE<JgIS;P‚De;P/JgI9@LS8:;<?De(áVhK;<?ML9<8o?/e
5;@LSJg?MLS8>9@=:=oTGp9@?pEPJKI;<‚Deº„+9@?D8op‚D=:9@LS8:;<?De;<‘ªhKIS8oLS8>hK9<=DGp9YL(9
eLSI‚Dh
L‚pISJZeKr69@?DGLSCn‚De?pJgJgGpeL;dƒ5J.„FJgGc8>9YLJgG&a™^½;<IJ
eS/JZh8o /hK9<=o=:T<rº9@=:=˜8o?nX<;chg9YLS8:;<?/e;<‘-‘“‚p?/h
LS8:;<S? Š‹Œ „‚DeL
ƒ5JpIJghJZGcJgGWƒnTW9QhK9<=o=<LS;_‘“‚p?DhLS8:;<? †‡ˆ†‰ a&H_>Cn ‚De&LCp8:e
eS8o„Fp=:J4hK;nGpJJ|p9<„D=oJBIJKDISJZeJg?PL(e+LCpJ4hK=:9PeSe;@‘›h;P„
p=:JLJ„FJZGc8:9@LS8:;<?4pIS;Pƒp=:JK„ àÇeSJKJ l JZh
LS8:;<? z a–H_CpJ+Gc;P„
8:?D9YL;<ICDJKIJ8>eVLCpJ †‡ˆ†
‰ ‘“‚p?DhLS8:;<?¤r—9@?DG¿LCpJ4Gp;<„F8œ
[email protected]>eFLSCDŽJ Š‹Œ×‘“‚D?Dh
L8o;P?¤aÖÚº8oEP‚pISJ z à“ƒ/áFeSCp;YtOeLSCDJ
h;PISIJgeS5;<?DGc8:?pEdå
ËZ­p¬Kq® <®S©­DÏnr˜GcJ /?pJgG×9Pe–9½hK9<=o=EPI9<pC
;YX<JgIS=>9@8>G™tQ8œLC28:?MLSI(9YÁpIS;chKJgGc‚pI(9@=OhK;<?MLSI;<=ÜD;YtE<I(9@pCa
'-9Ph(C½?p;cGcJ;@‘LCpJ8:?MLSJgIÁpI;nhKJgGc‚DI9<=e‚D/JgIÁE<I(9@pC½8>e—9
‘“‚p?DhLS8:;<?×à“8:E<?D;<I8o?pE›LSCpJ3=>9@ƒ5JK=>e_;<?LSCpJ3JZGcE<JZe6‘“;<I_?p;Ytá
a
[¡?MLSI(9YÁpI;nhKJgGc‚DI9<=o=:T<rYJZ9<h(C?p;cGcJOhK9<?ƒ5JQIJKpIJgeSJK?MLSJZG›ƒnT
9Fh;P?PLIS;P=5ÜD;Yt2EPI9<pC;<‘ƒD9Pe8>h—ƒp=:;nh m ega
݂pI+Gc;P„8:?D9@LS;<I+9<=oEP;<I8œLCp„!h;P?De8>eLe;@‘LSCpIJKJ.e]L(9@EPJgega
[¡?÷LCpJØ DIeL™eL9<E<JPrt%JØhK;<=:=oJZh
LÂ8:?c‘“;PIS„+9YL8o;P?Þ9@ƒ5;<‚pL
LSCDJFGp;<„F8o?/9YLS;PIetQ8oLSCp8:?4JZ9<h(CB?D;nGpJàÇ8o?MLSI(9YÁpI;chJgGp‚pI9<=
9@?/9@=:TneS8>eáa±bdJBLCpJK?2pIS;PD9@EM9YLJLCpJ4Gp;<„F8o?/9YLS;PIeV‚p
LSCDJhK9<=o=/E<I(9@pC½àÇ8o?MLSI(9Y9@?DGF8:?MLSJgIÁpI;nhKJgGc‚DI9<=p9@?D9<=oTceS8:e(á
8:?.LSCpJ–eSJghK;<?DG.eL9@EPJ<a6[¡?LCpJ3 D?/9@=eL9<E<J<rDt6J–hK;<„Fp‚cLJ
‘“;<IJZ9<h(C›Gc;P„F8o?D9@LSJgJ-LCpJQeJKLº;<‘/Gc;<„F8:?D9YL;<I(e6àÇ8o?MLI9@ª9<?DG
8:?PLJKIS’DIS;chJZGc‚pI(9@=˜9@?/9@=:TneS8>eáa+b4J+?pJK|nL›GcJgehI8oƒ5JFLSCDJgeSJ
LSCDISJgJWeL9<E<JZe_8o?.„F;<IJ—GpJL9<8o=’a
¤ˆgŠ ì
·¤‹<ŠDî ·5뢻 ŠcˆZ·D!‰ ¤ìM!ˆ “ì ìM‰YŠcˆg»¼·
[¡?™LS} Cp8>eV"´ eL’9<E<‘ J<r6t6J½8>Gcê Jg?PL8œ‘“T¶ =o;chg9@=OGc;P„8:?D9@LS;<¶ I(etQ8œLCp”¶ 8:? 
Jg9Ph(C?p;cGcJ.8:?™LSCpJ½eS‚p/JgI+E<I(9@pCa 8:?DhJLCp8:e+hK;<„Fp‚c
L9@LS8:;<?d8:eW5JKIS‘“;<I„FJgGJK?MLS8:ISJg=oTtQ8œLCpl 8o?dJg9Ph(C4?D;nGpJ<r&LCp8:e
pI;chJgeed8:ež9<? 8:?MLSI(9YÁpIS;chKJgGc‚pI(9@=F9@?/9@=:TneS8>eKa bdJ¿‚DeSJ
•–~—e˜B•™–šœ›Ÿž LS;dGcJK?D;@LSJGc;<„F8:?D9YL;<I(e–tQ8oLSCp8:??D;nGpJ
¡ aù[¡?ÕÚº8oEP‚pISJ z àǃ/á
r •–e—~˜B•™–š¢›£—~¤”¥~—e¦§ ©¨«ª ¬D­®W¬D¯8° a
Úp;PI×9@=:=;<LSCpJgI×?p;cGcJgegr •–e—~˜B•™–š¢› C/9<e×9@? JK„FcL]T
XY9@=:‚pJ<a
¤ˆgŠ ì
‰Y·/𺊠ŠcˆZ» ·/돻 Šcˆg·/‰Y‡ [¡?ÛLCp8:e
eL9@EP} J<rYt%LéJ_ /;Pp± ‚p=>9YLSJ_‚p} ?/h;<?/¶ Gc} 8œL8o;Pê ?D9@=pGp;<¶ „F8o?/9YLS;PIe‚pLSCDJ
hK9<=o=_h(CD9<8o?¤až[¡?¢;<LSCpJgIt%;<I(Gpegr˜t6J D?DG¢‘“;<IJg9<h(C¢‘“‚p?Dh

LS8:;<U? ²ºrtQC/9YL–Gc;<„F8:?D9YL;<I(e—tQ8o=:=£<¬¼È¨/§•ÆÁ¬K´° ³ƒ/JVhg9@=:=oJZG8o‘
‘“‚p?DhLS8:;<U? ²d8:eWhg9@=:=oJZG&a–H_Cp8>e8>eW9<h(Cp8:JKXPJgG.‚DeS8:?pE9h;P„
ƒp8:?D9YL8o;P?+;@‘9WL;<c¡Gc;YtQ?F8:?PLI9@’DIS;chJZGc‚pI(9@=nLI9)XPJKI(eS9<=c;@‘
LSCDJ5JKIF?p;cGcJ.h;P?PLIS;P=-Ü/;Yt÷E<I(9@pC¢9<?DG94ƒ5;@LL;<„Á‚p
8:?PLJKIS’DIS;chJZGc‚pI(9@=˜LI9)XPJKI(eS9<=;@‘QLCpJEP=o;PƒD9@=%hK9<=o=%E<I(9@pCa
¡[ ?MLSI(9YÁpI;nhKJgGc‚DI9<=o=:T<rc9FL;<c¡Gc;YtQ?LSI(9)X<JKI(e9@=ª;<?.LCpJ–ƒD9@
LSeSCD8:h4J6ƒpeSJ=:;nLh ;<m ‘p‚ph?D;<hK?M;<L?DIS;PGc=8oLSÜD8:;<;Y?/t¾9@=nE<GcI(;<9@„FpCÖ8:?D9Y8>e.L;<5I(e¤JKISE<‘“Jg;<?pIJK„I(9YJZGŒLJgG—L;Â8:?– /LS?DCDG J
E<8:X<Jg?B‘“‚p?/h
LS8:;<S? ²×9<eW9ISJZe‚D=œLW;@‘6hg9@=:=o8:?pŽE ²ºr&8¼a J<a:rGc;P„
8:?D9YL;<I(e›LCD9YLV9<ISJ8o?/h=:‚DGcJgG™8:?ÂJgX<JgISTžD9@LSC¿J|c8oLS8:?pSE ²ºa
bdJ½‚DeŽJ µ •–e¶˜B•™–š¢›Ÿ· LS;¢GcJg?p;@LJLSCpJBeSJLV;<‘‚p?c
h;P?DGc8oLS8:;<?D9<=QGc;<„F8:?D9YL;<I(e›EPJK?pJgI9@LSJgG¢tQ8œLCp8o?ÂLSCDJ?D;nGpJ
²ºa2u;@LSJBLSCD9@L+LSCp8>¸
eµ
‘“‚p?DhLS8:;<?ŒGc;nJge
?p;<L8:„D=oT3Gc;P„8:?D9@LS8:?pEO•I–eJK=>¶9Y˜BLS8:•;<™?/–eCpš¢8:W›ƒ/Ÿ·JK L]t6JgJK?3LCpJ-?D;nGpJ
²B9<?DG8œL(e_;<‚cLE<;P8o?pEFJZGcE<JZeKa
[¡?MLSJgIÁpI;nhKJgGc‚DI9<=o=:T<rV9Ń5;@LSLS;<„Á‚pÛLSI(9)X<JgIe9@=F8>e׍/JgI
‘“;<I„FJgGLS;FpI;<D9<EP9@LSJOLCpJ3eJKLQ;@‘‚D?Dh;P?DGc8oLS8:;<?D9<=ªGp;<„F8œ
?D9@LS;<I(eQ‚p.LCpJhg9@=:=h(CD9<8o?¤aQu;@LSJ–LSCD9@LLSCDJ3L]t6;FLI9)XPJKIS
e9@=>eOà“8:?MLSI(9Y9<?DGF8o?MLJKISpI;nhKJgGc‚DI9<=>áº9@IJQ5JKIS‘“;<I„JZGLS;<
E<JKLSCpJgIga l ;49<e3?pJgt÷Gc;<„F8:?D9YL;<I(e39@IJVpI;<D9<EP9@LSJgG4‚pc
t_9@I(GWLSCpJQhg9@=:=nh(C/9@8:?¤r)LSCpJ%‘“‚p?/h
LS8:;<œ? µ •–e¶˜B•™–~šœ› EPJL(e
‚pªGp9YLJgG39<=o;P?pE%LSCpJt_9)T<a³OEP9<8o?—L(9 m J˜Úº8:E<‚pIJ z àǃ/á&9<e&9<?
J|p9<„D=oJPr@8o?D8œL8:9<=o=:T<r µ •–~¶~˜B•™¹–~šœ›£—e¤º¥e—~¦§ CD9PeºX)9<=o‚DJ
» t
9<?DG+‘“;PIQ9@=:=5;<LSCpJgI_?p;cGcJge6LSCDJ—XY9<=o‚pJ—8>e_JK„FcL]T<a
lLS8:8:ý);<?Dþ ?hr@Jý 9@?p?D;c¼ G–GcLS½J Cnw‚D„¾e µ‚p?DhK;<?DGp8œL8o;P?D9@=:=oT+hg9@8:=:eº=:e-‚pLSªCpGpJ 9Y†LJg‡G›ˆ†LS‰;X)‘“‚p9<?D=o‚Dh
J 
•–~¶~˜B•™–~šœ›Ÿ·¿W » ý)þ t ý ¼ aH_CpJ_ D?D9<=DXY9@=:‚pJZe˜;@B
‘µ
9@L6h;P„
p=:JL8o;P?Â;<‘LSCD8:e+eL9<E<J.9@IJ=:8:eLSJZG™•–~;<¶~?¢˜BL•Cp™J½–~‚pšœp› 5JKI+I8:E<CML
CD9<?DG.e8>GcJW;@‘Jg9Ph(C?p;cGcJW8:?½Ú8:E<‚DISJ z aÚº8:E<‚pIJ y 8o?LSCDJ
³OD/Jg?DGc8o|ŒeSCp;YtOeFLCpJBDeSJK‚/Gc;h;cGcJB‘“;<IVpI;</9@EP9@LS8:?pE
Gc;P„8:?D9@LS;<I(ega
¤ˆgŠ ì
·5ë×ð¹ˆZ» ·5뢻 ŠcˆZ·D‰Y$‡ “îÇ·/†ºŠpî |
H_eLCp9@8>EPe+} J+e]WL(9@xLt6EP
JJp8>eF€IS;PJgDe9@eSJKEM?M9YLSL8>JF9@=:LS=o¶ CpTž}÷J.LCpGcê J½;<„FIJK8:?DX<9YJg¶ ILeS;<JI(e–;@h‘;PL„FCpJBp‚ceSLSJgJZhG¢;P?D8:?G
LSCDJBeJZh;<?/GÂeL9<E<J×£<¥ À˜¨¢LSCpJBhg9@=:=QE<I(9@pC¤a l 8:„F8o=>9@IFL;
LSCDJ—eSJghK;<?DG+eL9<E<J<rPLSCD8:e_eL9@EPJO8>e69<=:eS;9h;<„ƒp8:?D9YL8o;P?+;@‘
8:?PLJKIS-9@?DG8:?PLI9@pI;nhKJgGc‚DI9<=ª9<?D9@=:Tce8>ega
bdJނDeSÂJ Á ¬DÃ8Ä´Ä£®WÅÇÆȬDÃoÄ´Ä£®W® LS;¾GcJg?p;@LJÔLSCDJÞJgGpE<Jԑ“I;<„
?p;cGcÊ
J ÉQËÌ{Ì{ÁÍõLS; ?p;cGcÂJ ÉQËÌ{ÌNÁÁ÷8:? LSCpJhK9<=o=ÂE<I(9@pCr
J ђLSC pIJgGcJZhJgeeS;<I ;@‘
ÎLÏB¥~™ à ¡ rá ÐùLS; GcJg?p;@LJ LCpÒ
?p;cGcJ ?¤r 9@?DG ™–~š¢Ó8Ô՘B֖~ÏL› {à Á ¬DÃ8Ä´Ä£®WÅÇÆȬDÃoÄ´Ä£®W® á L;
GcJg?p;@LJLSCDJ Gc;P„F8o?D9@LS;PIe LSCD9@L h;YXPJKI LSCpJ JgGcEPJ
Á
a [¡? 9<GpGp8œL8o;P?¤rÔt6J 8:?MLSI;nGp‚DhJ`LSCDJ
‘“‚p¬DÃ8?DÄ´hÄ£®WLSÅÇ8:;<ÆÈ? ¬DÃoÄ´Ä£®WÓ8®ÔÕÖ"ÏB˜B™–~šœ› {à Á ¬DÃ8Ä×Ä£®DÅ8ÆȬDÃ8Ä´Ä£®r® á1L; GcJg?p;@LJ
Gc;P„8:?D9@LS;<I(e E<JK?DJKI(9YLSJZG8:?DeS8:GcJù?p;cGcØ
J ÉQËÌ{ÌNÁÍóLSCD9@L
Gc;P„8:?D9@LSJÖLCpJ±JgGcEPÙJ Á ¬DÃ8Ä´Ä£®WÅÇÆȬDÃoÄ´Ä£®W® à“„F;<IJ2DISJZh8>eJg=oTPr
LSCDJ؃D9Pe8>hփD=o;ch m LSCD9@L¿hK;<IISJZe5;<?/Gpe×L;#LSCDJ±hg9@=:=L;
ÉQËÌ{ÌNÁÁ)áa#H_CpJB‘“‚D?Dh
L8o;P?
hK9<?ŒLSCn‚Deƒ5J
IJgh‚DIeS8oXPJK=:TVGcJ /?pJgG.9<e%‘“;P™=o=:;Y–tOšÚegÓ8â Ô՘BÖ"–eÏL›
áÛ
™–~š¢Ó8Ô՘B֖~ÏL› {à Á ¬DÃ8Ä´Ä£®WÅÇÆȬDÃoÄ´Ä£®W® Ü ™–šÚÓ8Ô՘BÖ"–eÏL› Nà Á
ÎeÏB¥e™ÕŸ¬DÃoÄ´Ä£®DÅÇ ©ÝNÆq¬DÃ8Ä´Ä£®DÅ á
Ð
Þ Ó8ÔÕÖÏB˜B™–šœ› {à Á
àjá
¬DÃ8Ä´Ä£®WÅÇÆȬDÃoÄ´Ä£®W® oá ß
[¡?MLS‚p8oLS8:X<Jg=oTLCp8:e%„FJg9<?De˜LCD9YL%LSCDJGc;P„8:?D9@LS;<I(e-hK;YX<JgIS8:?pE
JgGpE<ÕJ Á
9@IJLSCDJ%8:?MLSJgIeSJghLS8:;<?›;<‘/9@=:=pGc;P„8:?D9@
LS;PIe3hK;Y¬DX<ÃoÄ´JgÄ£IS®D8:Å8?pÆÈE¬DÃ88:?DĴğ®WhK® ;<„F8o?DEJZGcE<JZeW8o?ML;½?p;cGc&J ÉQËÌ{Ì{ÁÍVD=o‚De
3
main
main() {
struct secure_obj *o = getObject();
}
f1(o)
f2(o)
f1(o);
f2(o);
end
f1(struct secure_obj *o) {
CHECK(o);
DOP(o);
}
f1
DOP(struct secure_obj *o) {
// perform dangerous operation on o
}
f2
start
CHECK(o)
f2(struct secure_obj *o) {
DOP(o);
}
CHECK(struct secure_obj *o) {
// perform security check on o
}
start
start
DOP(o)
DOP(o)
end
end
CHECK
start
DOP
start
//check
//dop
end
end
(a) Example Program.
(b) Super-graph Representing the Example Program.
ºÚ 8oEP‚pIJ z â'˜|p9@„Fp=:J›i6;cGcJ39@?DG[ÁLe l ‚p/JgIáà—I(9@pC¤a
8:Gc?D;P9Y„LJd8:?DJZ9@GcLS;<E<I(JSeQÁ EP¬DJKÃ8?pÄ´Ä£Jg®WIÅÇ9@ÆÈLS¬DJgÃoGÄ´Ä£®W8:?D® ae8>Gc³J–EP?D9@;n8:Gp?ÖJqL(ÉQ9 Ëm Ì{JžÌNÁ͛ں8:LSE<CD‚p9@IL—J Gcz ;Pà“„ƒ5ᐠJà•L|pCp9<Jㄝw D=oJP r<t›I;<JgƒcšM‚p~]JZ8:ISh
JZLQeºÚºLS8oCDEP9@‚pL˜ISJLSCpj JOá-;P8:e6ƒc~]LJgCphJ3LeSƒ/9<Jg„8o?DJE3;<;<ƒc5~]JKJZI(h
9YL_LSƒ/JZG›Jg8o;P?D?E
9<e_9<?J|p9<„D=oJPrPLCpJ—X)9<=o‚DJ
h(CpJZh JgGƒnTžLSCpJ½eSJgh‚DIS8oL]T×Cp;n; a[¡?¿eS;<„FJhg9<eSJgegr˜LSCDJ
ÏL› Nà Á ·¿âÆ㙖~Î á
r
;<ILSCpJžh(CpJZh m eh;YX<JgIS8:?pEžLCp™¹J4–~š¢JZGcÓ8E<ÔºJB˜B‘“Ö"IS–e;P„ù
?D;nGp5J ² j L; R l ^ m 8:?MLSJgI‘Ç9PhJ—ISJZšP‚D8oIJge6LSCDJWL]t6m ;+Gp9@L9;<ƒc~]JZh
L(e-‘“;PIS„õ9
?p;cGcJœä¸å½æÔ8>eWhK9@=>h‚D=:9@LSJgGBƒMT.L(9 m 8:?pEVLCpJ8:?MLSJgIeSJghLS8:;<? eLSI‚Dh
L‚pISJK¼ /JK=>GFISJg=:9@LS8:;<?DeSCp8:+tQCpJKIJO;<?DJGp9YL(9–;Pƒc~]JghL-8:e
;@‘QLCpJ.Gc;<„F8:?D9YL;<I(e3‘“;<IJg9Ph(C¢8:?Dh;P„8:?pE4JgGcEPJ;@‘O?D;nGpJ 9<eeS8oEP?pJgGLS;FLCpJ3 DJg=:G.;<‘LCpJ–;@LCpJKIZa6H_CD8:eQ=>9YLSLSJgIh(CpJgh m
² rY8:?LSCp8>ehK9<eSJ<r
Nà Áç
á
rP9@?DG›LSCpJg? hK9<?Œƒ/J4ISJZGc‚DhKJgG™LS;Â9@?ÖJZšP‚/9@=:8œL]T™h;<„FD9<IS8>eS;<?¿;@‘3;<?DJ
„Fj JKIE<8:?pELSCpJFIJgeS‚p™¹=œ–~L8oš¢?DEÓ8ÔºeS˜BJLWÖ"–etQÏL8œL› C48:?MLSà JgÐ ISž?DÆq9<·=˜¿ Gc;<„F8:?D9YL;<I(e ;<ƒp~]Jgh
L-9<?DGLSCpJO DJK=>G;@‘5LSCpJO;<LSCpJgI˜;<ƒc~]JZh
LZaH_Cn‚Det6J%‘“;@
E<Jg?pJKI(9YLJgG28o?Å?p;cGc9J ² j LSCD9@LGc;<„F8:?D9YLJgeLCpJ¢hK9<=o=WL; h‚/e_;<‚pIQGc8>eShK‚Dee8:;<?;<?X<JKI8o‘“TM8:?pEJgšM‚D9@=:8oL]TV;@‘¤L]t%;+Gp9YL(9
ä¸å½æFrQtQCp8>h(CŒ8:?¿LSCp8>ehg9<eSJ½8:eVLSCpJeSJL » t
à¼GcJ ;<ƒp~]Jgh
L(eKa
?p;<LSJgG;P?VÚ8:E<‚DISJ z à“ƒ/ẃnTLSCpJOGc;<LLJgGF=:8o?pJý)tQþ 8œLCpý 8o?+¼ ?D;nGpJ
² áaºH_CD8:e6ISJZe‚D=œL(e8:?
{à èêé
áCD9)XM H;VX<JgIS8o‘“TLCpJFGp9YL(9+ISJg=:9@LS8:;<?DeSCp8:DegrpLSCDJGc;P„8:?D9<?DhJ9@=o
8:?pj ELSCpJ3XY9@=:‚pJ3;<‘ » ý)þ t™ý –~š¢¼ Ó8a Ô՘B֖~ÏL› ¿rÆ㙹–eÎ
E<;PIS8oLSCD„8:e¢JK?pCD9<?DhJZGۃMT 9<ee;ch8>9YL8o?DEØLCpJÖGc;P„8:?D9@
LS;PI # Gc;<„F8:?D9YLJKJ3tQ8oLSC½LCpJhK;<IISJZe5;<?/Gc8o?DEFGD9YL9V;<ƒc~]JZh
Lga
8:H?P;LJKhKIS;<’D„FISp;c‚chJZLJGc‚p™I(–9@=Oš¢;<ÓǑ–Ô՘BLSCDÖ"J–eÏLE<I(› 9@rnDt%C¤JaՍ5JKbŒIS‘“8o;<LSICp„Ô8:?±9–JgL9<;<h(cCŒ¡Gc?D;Y;ntQGp? J LS³O;PEMI 9@ý)8:?Vþ t L(ý9 m JWtQÚº8:=o8o=EP‚pƒ/IJJ 9Yz LL(à“ƒ/9<h(á%Cp9<JZe_G9<tQ?8oLSJC.|p9<L„CpJ–D=o;PJPƒcrn~]LSJgCphJ3L Gc ;PtQ„Cp8:?D8>h(9@C 
9@?™8:?PLI9@’DIS;chJZGc‚pI(9@=%LSI(9)X<JgIe9@=%;@‘WƒD9Pe8>hƒp=o;ch e+h;P„ 8>eBD9PeSeSJgG±L;ŒLSCpJ
‘“‚p?/h
LS8:;<? 9<e9¿/9@I(9@„FJLJKIZa
p‚cLJge_LCpJW‘“‚p?DhLS8:;<? Ó8ÔÕÖÏB˜B™¹–~šœ› 9<?DGLSCpJ–Gc;Pm„F8o?D9@LS;PI H_CpJ39@=:E<;PIS8oLSCD„ÔISJg„F†9<‡8oˆ?/†e%‰ LSCpJ3e9@„FJ<rcJK|chKJKcL_LCD9YLOtQCpJg?
eSJLO‘“;PIJg9Ph(C½;<‚cLE<;P8o?pE+JZGcE<JPaOH_CpJhK;<„Fp=:JLJ–XY9@=:‚pJge;@‘ h;P„FD9@I8o?DE3L]t6;Gc;<„F8:?D9YL;<I(eàÇGp‚pIS8:?pE8o?MLSJgIeSJghLS8:;<?V9<?DG
„FJKIE<8:?pE3;<5JKI(9YL8o;P?De8:î? '-šM‚D9@LS8:;<?Bà áárMLSCpJ9PeSeS;ch8>9YLJgG
™–šÚÓ8Ô՘BÖ"–eÏL› 9<ISJeCD;YtQ?49<e—=>9@ƒ5JK=>e—;<?JZ9<h(C4JgGcEPJ8:?
Úº8oEP‚pIJ z à“ƒ/áa2Úº8oEP‚pIJèž8:?™LSCpJB9<p/Jg?DGc8o|™eSCp;YtOeLSCDJ Gp9@L9;<ƒc~]JZh
L(e_tQ8o=:=¤ƒ5J–h;<„FD9<ISJZG9Pe_j t6Jg=o=’a
DeSJK‚DGp;FhK;cGcJ<a
Ý?DhKJLSCDJ_eS;<=:‚cL8o;P?›eJKL‘“;PI
8:eh;P„Fp‚cLSJZG
‡ ëìM8ˆ í›ìnì ¶ ‘“8:?D;<I9YLJgJK9<J—h(CW8o?DJZeSGc8>GcE<JJPrg?DL;nCpGpJ-J 9<?D9@rM=:LSTcCDeJ8>eª™¹8:X<?M–~JgLSš¢JKIS8oI(Ó8 DeSÔºJgJgh
e&˜BLLSÖ"8oCD;P–e9@?ÏLL¤;<› ‘“‘;<I¤GcJZ;<9<„Fh(8:C–?DGc9YL;P;<„I(e
xe>é y ìM‰Y{» z]|¤» 
¶
}÷ê ŠcˆgŠÞíìnîNJcˆZ»Ç· ¶ ‡Zﺻ“ðì
ˆZïì ê ·5뢻 ¶ ŠcˆZ·D‰VŠ ¶ ¸¿ˆgïºì ê ·/돻 ¶ Šcˆgìnì
h;YXPJKI8o?DEJZ9<h(C8o?DhK;<„F¡ 8:?pEWJgGcEPJQp=o‚/eGc;<„F8:?D9YL;<I(eºE<JK?DJKIS
H_CpJOGc;P„F8o?D9@LS;PI9<?DGFGc;<„F8:?D9YLJKJ%‘“;<I„ 9WGp9@L9—IJK=>9YLS8:;<?p ?p9YL;<JgLGJK„FtQ8œcLL]CpTP8:a?bd?p;cJ6GcLSJ CpJg¡ ?LShCD;P9@„FLDGc9@;<I„FJ˜8:LS?DCD9YJ%LGpJ9@LLCp9QJ–;PGcƒc;<~]„FJgh8:L?D9P9YeSLeSJK;cJ—h8:8oe
eSCp8o4LSC/9YL–8>eWD9@ISL—;<‘-LCpJVeJZh‚pI8oL]TBe5JghK8œ /hg9YL8o;P?¤aH_CDJ 9YLJgGtQ8oLSCLSCpJOGp;<„F8o?/9YLS;PI˜tQ8œLCLSCD9@L;@‘5LSCpJOGc;P„F8o?D9@LSJgJ
R l ^ ISJK‘“JKIJK?DhKJ—„F;P?p8œL;<IO8:?MLSJgI‘Ç9PhJVàÇeSJKJ–Úº8:E<‚pIJ j árp‘“;PI
4
9@?/GVGcJLJKI„F8o?pJ8œ‘&LCpJL]t6;›GD9YL9›;<ƒc~]JZh
L(e-9@IJQLCpJ—e9@„FJPa
H;.GpJLSJgIS„F8:?pJLSCpJ+JZšM‚D9@=:8œL]T½;<‘-L]t%;½Gp9YL(9;Pƒc~]JghLe—8>e39
h=>9<eeS8:hg9@=˜Gp9YL(9ÜD;YtՍpI;<ƒD=oJg„îa à—8:X<Jg?ž9<?d9<?D9@=:Tce8>e—JK?c
E<8:?pJ—LSC/9YLOe‚Dp/;PIL(e_e;PpCp8>e]L8:hg9YLSJZGGD9YL9›ÜD;Yt29<?D9@=:Tce8>egr
LSCD8:e–šM‚pJZe]L8o;P?dhg9@?žƒ5JV9@?DeSt6JgISJZG×åK¥YËc¨ª£n´° ³Yrº„FJg9@?D8o?pE½8o‘
LSCDJ9@?/et%JKI8>e6T<JgeLSCpJg?+LSCDJOL]t%;–;<ƒc~]JZh
L(e-9@IJGcJK D?p8oLSJg=oT
LSCDJ.e9@„FJPr˜tQ8œLCp;<‚cL+EPJK?pJgI9@LS8:?pE½LS;n;d„+9@?nTž‘Ç9@=>eJ5;Pe
8oLS8:X<Jgega¢ð³ ï©Y° åK¬­D¥)å
§•Æ’§•Ê)¬+ISJK‘“JKI(e–L;LCpJhg9<eSJVLCD9YLFLSCDJ
9@=:E<;PIS8oLSCD„ûE<8:X<Jge—9?p;.9@?DeSt6JgIgr&ƒD‚cLWLSCpJL]t%;Gp9@L9;<ƒp
~]JghLeO9<ISJW9<hLS‚D9<=o=:T+LCpJ–eS9<„FJ<a
[¡?½LCp8:e—D9</JgIgrªt%J–‚DeSJ–LCpJGD9YL9VÜD;YtÀ9@?D9<=oTceS8:eJK?pEP8o?DJ
pI;YXn8:GcJZGƒnT4LSCpJNP9P\%³ ‘“I(9@„FJKt%;<I m Ð jZzZÑ a.NP9P\%³IJKp¿ 
IJgeSJK?MLe_LCpJ–XY9@=:‚pJ3;<‘;Pƒc~]JghLeQ‚/e8:?pE©Y°•°:¥g«(©Yƒ§Ç¥Y¨žå
§•Æ¡¬
å r
GcJK D?pJgG9<e„FJKLSCp;cG9@?DGpI;<E<I(9@„ō5;<8:?MLºLCD9YL˜5JKIS‘“;<I„+e
LSCDJW9<=o=:;chK9@LS8:;<?V;<‘¤LSCpJW;Pƒc~]JghLWà¼e‚Dh(C9<e%ñ9 ‚ƒ pý hK9<=o=•á
a
H_CpJ+h;P„FD9@I8:eS;<?4hK9@?4LSCn‚DeWƒ5J+Gc;<?DJƒnTBhK;<„FD9@I8:?pE8o‘
L]t%;;Pƒc~]JghLe%CD9)X<JLSCpJ3e9@„FJW9@=:=o;chK9@LS8:;<?e8oLSJPaH_CD8:e_tQ8:=o=
t%;<I m 8œ‘ªLCpJO;<ƒp~]Jgh
LC/9<e˜;P?p=oT;<?pJO9<=o=:;chK9@LS8:;<?Fe8oLSJPaHº9 m J
Úº8oEP‚pIJ z à“ƒ/á9Pe˜9@?J|p9@„Fp=:J<rMe‚Dp/;MeJ%LCpJOGcJ /?p8œL8o;P?F;@‘
ò t ‹ óôt ý 8>eO9Pe%‘“;<=:=o;YtOegâ
h;P?Dh=:‚DGcJ4LSC/9YL.LSCpJ×Gc;P„F8o?D9@LS8:;<?ØISJg=:9@LS8:;<?DeSCp8: ©Y°´À-© ³)å
Cp5;P;P=:eSGpJegaWe;P³O„FEPJK9<tQ8o?BCpJgLIS9 J+m J›8:?×ÚºLS8oCDEPJ‚pI„FJ 8:z GDàÇGcƒ/=oáJ9<;@e—‘_9@LS?BCDJJK|cp9<I„F;<EPpI=o9<JP„ r5eS‚p9@c?p
;@LCpJKI%‘“‚p?/h
LS8:;<0? t ‹ óôt 8>eQhK9@=:=:JgGVtQCD8:h(CCD9<e6LSCDJ
‘“;<=:=:;YtQ8o?pE+GcJK D?p8oLS8:;< ?¤â ý jB+sa 1 ?>29:>3@ ÷>kõ3 C>@BKâV5X
lB+
: 3 C<1>kõS\$KD:>@6M
CQ@9:3 CQM63<1>k õ . Vr7;II1CK
*onB+
:?>ö314KW:>@6MC>@ì:3 CQM63<1>kõ V V^
**+¢m
_H CpJd;<ƒc~]JZh
L t6;P‚p=>GŒLSCDJK?±ƒ/Jž9<ee;chK8:9@LSJgGÖtQ8œLC2L]t%;
9@=:=:;nhg9YL8o;P?eS8œLJgegrcLSCDJ–;<I8oEP8o?/9@=&9@=:=o;chg9YLS8:;<?.eS8œLJ3p=o‚/eQLSCDJ
;<?DJ‘“I;<„Þ8o?DeS8>GcJWLSCpJ–hg9@=:=¾t ‹ óôt ý a
;PpCp8>e]L8:hg9YLSJZGØ9<?D9@=:Tce8>eLSJZh(Cp?p8>šP‚DJge.e‚/h(C±9PehK;<?MLSJK|nL
eSl JK?DeS8œL8oXn8oL]T›„F8:E<CMLISJZGc‚DhKJOe‚Dh(CF9@„ƒp8:E<‚p8oL]T<rPƒp‚cL6hg9@?p?p;<L
JK=:8:„8:?D9@LSJLSCpJg„¾9@=:= <a›ÚD;<ILSCpJZeJFIJK„+9@8:?p8:?pE9<„›ƒp8:E<‚p
;<‚/e-hK9PeJZeKrPt6JJK„Fp=:;YT9–GcJK‘•’‚/eJh(C/9@8:?V9@?D9<=oTceS8:eOÐ j r jgy)Ñ
LS;±CpJg=o ISJZGc‚DhJ¿9@„ƒp8:E<‚p8oL]T<a ³úLSI(9<Gc8oLS8:;<?/9@=FGcJ‘•Á‚DeSJ
h(CD9<8o?9<?D9@=:Tce8>eLJK=:=:e%‚De6tQCpJLCpJKI6L]t%;–;<ƒc~]JZh
L(e-CD9)XPJQLSCDJ
e9@„FJ–GcJ /?p8œL8o;P? @a_[¡?Úº8:E<‚pIJ à¼9PárpLSCDJ›D9<I9<„JKLSJgIQ;@‘
‘“‚p?DhLS8:;<? †‡ˆ†‰ 9@?/GBLCD9YL–;<‘-LSz CDJ‘“‚D?Dh
L8o;P5? Š‹ŒBeSCD9@IJ
LSCDJFe9@„FJ+GcJK D?p8oLS8:;<?¤r¤?/9@„FJK=:T<r&LCpJ+9<ee8:E<?D„Jg?ML—;<‘-LSCDJ
IJLS‚DIS?XY9@=:‚pJW;@‘‘“‚D?Dh
L8o;P? ò t ‹óôt ý « LS;LSCpJW;Pƒc~]JghL
abdJhg9@?FLSCn‚De6eS9@‘“JK=:ThK;<?DhK=o‚DGpJ_LSCD9@LLSCpJOL]t6;3D9<I9<„
J LJKI(e9<ISJWLCpJ›e9@„FJ <aOH_CD8:eCp;<=>GpeQLIS‚DJ–JKXPJK?.8œ‘-eS;<„FJK
tQCpJgISJ4ƒ/JKL]t6JgJK?ŒLCpJdGp;<„F8o?/9YLS;PI9<?DGŒLCpJ4Gc;P„F8o?D9@LSJgJ
pI;<EPI9<„`5;<8:?MLegr-LCpJ½XY9@=:‚pJ.;@ڑ t ý óô48>e+h(CD9@?DE<JgG¤r
ƒ5JghK9<‚DeSJLCpJ.X)9<=o‚DJIJL‚pI?pJgGƒMT ò t ‹ óôt ý e]L(9)Tce
LSCDJ–eS9<„JPa
‚pD/;MeJWCp;Yt%JKXPJKIZr<LCD9YL_LSCDJWGpJ D?p8oLS8:;<?;@‘‘“‚p?DhLS8:;<? w…
8>l eQh(CD9@?pEPJgGLS;FLCpJ—‘“;<=:=o;YtQ8:?pEDâ
/.
*+&:Q@ ;@?C5:>@6M
CQ@p:3 CQM63<1>kõ[.:3 C<1QkõS\
E +
KW:>@6M
C>@p:3 CoM63<1Qkõ. Vr7;II1CK
ZB+
:?>ö314BKW:Q@6M
C>@ì:3CQM63<1>kõVV^
_L+
` +&:Q@6M
C>@[:3 CQM63<1>kõ9.>P3@ ÷>kõ3 C>@BKâV5X
fB+
63@M6Oì:3 C<1>kõ"^
gB+œm
10
32
[¡?–LCp8>eºhg9<eSJ-ƒ5;@LC–LSCDJ6D9<I9<„FJLSJgID9PeSeSJgG3LS;
9<?DG
LSC/9YLD9PeSeSJgGLS;&Š‹ŒIJ‘“JgI_LS;FLCpJ›e9@„FJ–9@=:=o;chg†
9Y‡LSˆ8:;<†?.‰ eS8œLJ
Gce9YJK‘“ DJK?p=:T×JgGžh;P9@?DLWh=:=:8:‚D?pGcJ Jz LSCDƒM9@TBLLSLCpCpÈJ J ‚ƒ Dý hKhK9<9<=o=o=_=’a+Gc;PH_„CM‚/8:?DeW9@LSt6JgJ+e›hKLS9<CD? J
†‡ˆ†
‰
Š‹ŒVhK9@=:=¤tQ8oLSC.IJKEP9<IG+LS;FLSCDJK8:IOD9@I(9@„FJKLSJKI(e a
ÓO?p‘“;<ISLS‚p?D9@LSJg=oTPr‘“;PI2„F;PeL֍pI;<E<I(9@„+e™;@‘×IJg9Pe;P?D9@ƒp=:J
eS8o}gJgegrO8œL.8>e„F;<IJhK;<„F„F;<?Œ‘“;PI9<?Ö;<ƒc~]JZh
LLS;ƒ5Jž9<e
eS;nhK8:9@LSJZG4tQ8oLSCׄ‚p=oLS8:p=oJ9@=:=o;chK9@LS8:;<?×eS8œLJge3ƒ5Jghg9@‚DeSJ+LSCDJ
;<ƒp~]Jgh
L.„F8oEPCMLL9 m J4;<?ØGp8œäªJKIJK?ML.D9YLCDeLSCpI;<‚pEPCŒLSCDJ
pI;<EPI9<„Fe49@?DGÕLSCn‚DežD8:h m ‚pGc8oä5JgISJg?MLžXY9<=o‚pJZeKa [¡?
eS‚Dh(CÕhK9PeJZeKr9@„›ƒD8oEP‚p8œL]TÅ9@I8>eJZeBJKXPJK?À8o‘VLSCDJ¢L]t%;2;<ƒp
~]JghLeCD9)X<J+8>GcJg?PL8:hg9@=%eJKL;@‘O9<=o=:;chK9YL8o;P?×e8oLSJZeKrƒ5JghK9<‚DeSJ
;<?DJhg9@?p?p;<L3ƒ/J+eS‚pISJJ|p9Ph
LS=:T½tQCp8>h(C;<‘-LSCDJF9<=o=:;chK9@LS8:;<?
eS8œLJgeLSCpJ;<ƒc~]JZh
L—ISJK‘“JKI(eQLS;9YLLSCpJD9@ISLS8>h‚D=:9<IpI;<EPI9<„
5;<8:?PLZa l ‚Dh(Cd9<„›ƒp8:E<‚D8œL]T½8:?DGc8>hK9@LSJge—5;Pee8:ƒp=:JFI9PhJFh;<?p
LSGcC/8oLS9Y8:L–;<?D„Fe8oEPƒ5CMJL–L]t%=oJZJK9<JK?¢GLSLSCp;½JHGcÝ3;<i%„FHQ8:?DH9YݗL;<ÓI9<àÇ?DH_Gž8:„LJ+CpJ;<‘OGc;Pi6„FCDJg8o?Dh m9@LSLJg;J
H_8:„J4;@‘–ÓeSJÐ è áV9@LL9Ph eKaÀÚp;PIJK|c9<„Fp=oJPr_LSCpJdGp9YL(9
;<ƒp~]Jgh
L–„F8:E<CML–IJ‘“Ñ JKIWL;½;<?pm JF;<‘6LCpJ9@=:=:;nhg9YL8o;P?4eS8œLJge–9@L
LSCDJ4Gc;P„8:?D9@LS;<IpIS;PE<I(9@„!5;<8:?ML9@?/G™LSCpJg?քF8oEPCPLISJK
‘“JKIOLS;V9@?D;@LSCDJKIO9@=:=:;nhg9YL8o;P?eS8œLJ›9YLQLCpJ–Gc;P„8:?D9@LSJKJ3DIS;<
E<I(9@„ú/;P8o?MLgaÖ\%JZhK9@‚/eJ.t%JBhK9@?D?p;@L+ƒ5JBe‚pIJ.LSC/9YL+LSCDJ
L]t%;;Pƒc~]JghLe–9<ISJB©@´° À-© ³)åWLSCDJVeS9<„JPrt%JVhK9<?p?p;@L›e9Y‘“Jg=oT
*QE+qa 1 ?>2S4E"KW:>@6M
C>@p:3 CoM63<1Qkõ9.1VYX
*oZB+
>: @6M
C>@p:3 CoM63<1Qkõ[.1E5\0P3@ ÷>k õ3 C>@BKrV^
*8_L+
46÷ 5BKD1EV^
* ` +¢m
[¡?¿LSCD8:ehK9PeJPr%;Pƒc~]JghLe 9<?DG …¢CD9)XPJ.LSCpJ4eS9<„J4eJKL
;@‘%9@=:=o;chK9@LS8:;<?eS8oLSJgegr&ƒp‚cLWLCpJK8:I–GcJ /?p8œL8o;P?DeWGc8oä5JgIga›H_CDJ
9@?/9@=:TneS8>eºLSCn‚De-hK;<?DhK=o‚/GcJgeLCD9YL-LSCpJQL]t%;3;<ƒp~]Jgh
L(e9@IJQ?p;<L
LSCDJ6e9@„FJ<rY9@?/GWLSCD9@LLCpJ †‡ˆ†
‰ hK9<=o=nGc;nJge?p;@LGc;<„F8:?D9YLJ
LSCDãJ Š‹ŒVhg9@=:=9YLQ=:8o?pJ j èDa
7988ü]ý : þ ÿ ;; 8 * áý <- ÿ%8 * <- ü]ý ý * ü]þ ú=& 8 )=*>?@,
AB (C úþ ü]þ>8oú½þ ÿDþ E F úQüDG 8 ?H ú *>* 8 $ ü]þ>8oú½ÿNþ ü þ ú ü]ý ü (C úþ üNþ>8oú % G ÿ«ü%8 ú ÿ]ÿNþ>&oú ?I ú>ü«ü%8 úJ8 )LK%$ üM ý %N ÿ ú
*>* 8 $N üNþ>o8 úîÿ]þ ü O% G ÿ¹üF8ÈüNý 8 þ>&oþ ú *P*>* 8 $ üNþ>8oú 8oþ úQüI8G~ü]ý ÿ]ÿNþ>o& ú <*>,
QB ÿ]ÿ ? þ úL
& ü]ý ü"ú8 * þ ÿ8GüNý ?I? 8 %+;* 8 $ üNþ>8oúR8G SF?T'
ü 8 (U þ ÿ{üLü]ý ü ? þ>o& ýQü $ ý ú& üNý /<*> 8GV8 ,
øWùûúüNýþ ÿ ÿ ú "!# þ úQü %$ ý ú & ( '
)* +-,
5
íìn‡g¹ºî“ˆZ‡
~Ç´ µ ë×ðºî¼ìnë¢ì ¶ ˆgŠcˆZ»Ç· ¶
bdJO8o„Fp=:JK„FJg?PLJgGFLCpJGp;<„F8o?/9@?DhKJOh(CpJgh m 8:?pE–9@=:E<;PIS8oLSCp„
;<?™L;<¿;@‘LSCpJNM9<\_³9@?/9@=:TneS8>e‘“I9<„Jgt6;PI m a2NM9<\_³
8:„D=oJg„Jg?MLe8o?MLSJgIÁpI;chJgGp‚pI9<=h;P?PLIS;P=-9@?/G¢Gp9YL(9.ÜD;Yt
9@?/9@=:TneS8>eKa NM9<\_³úGp8œäªJKI(e4‘“IS;P„*„;Me]L¢9<?D9@=:Tce8>eBL;n;<=>e
8:?LCD9YLV8oLV8:e+hK;<?MLSJK|nL¡eJg?De8oLS8:X<JPr-9@?/G¢LCM‚/eF8:e+9<ƒp=oJL;
9<9<h(GDCDGc8o8œJgLX<8o;PJF?¤Cprc8:NPE<9PC¢\_9<³2hghe‚pLS;<I(9<IJghKe¤T~]‚Dà“=:e;YL%t Jg?p‘Ç9@;<=>‚peJVEPC5h;P;PeS?M8oLSLS8:JX<|nJ+L%I(8o9Y?cLS‘“J);Pá
ISa„+[¡9@? 
LS8:;<?e;LSCD9@L˜8œL˜hK9<?ehK9@=:J-‚D–LS;—Cn‚p?DGcIJgGDe;<‘pLSCD;<‚De9@?DGDe
;@‘=:8o?pJZe_;@‘˜h;cGcJPa
~>é íìn‡g¹ºî“ˆZ‡
H_CpJWJ|c5JKI8o„FJg?PL(e_t6JgISJ—I‚p?;P?9 a è àWs}3^½;<ƒp8:= JK?p
LS8:‚p„óè×[]\_^ LSCp8:? m D9PGŒH y<w tQ8oLSC z j àW\õ;@‘3„FJK„F;PISTPa
H;ۄFJZ9<eS‚pISJ2LSCpJ#9PhKhK‚pI9PhT;@‘4LSCpJ±L;M;P=¼rt6JÀh;P„
D9<ISJ—LSCDJ3ISJZe‚p=oLeOtQ8œLC.9FDISJgXM8:;<‚/eQ9@ppI;P9Ph(CƒD9PeJZG;P?
iQç—Ó³RØÐ a—b4JF9@?/9@=:TM}gJgGBR8o?n‚c|½XPJKI(e8:;<? a è/a ƒ5J
hK9<‚DeSJLCpJ3jZpx)IÑ JKXn8:;<‚De_9@DpIS;M9<h(C‚DeJZGLSCp8>e_X<JgIeSz8o;P?¤a k
»¼ë¢» ìM‰ zÁ·/‰Y뢊 ‹<ì H_CpJØR8o?n‚c| JKI?pJK=8:eÂ9
=>9@IE<J¶9<?D}’GV±h;P„Fp=o8>hK9@LSJZ¶G+p8:Jg hJ;@‘eS;@‘•L]t_9@IJ<rPm tQ8œLC9@ƒ5;<‚pL
LCp;<‚De9@?/Gpe—;@‘6=:8:?pJgeW;<‘_iÀhK;nGpJà“LSCpJ+5;<ISLS8:;<?LSCD9@L
8>y<he%;cwPGc9Pw h
JPLa+‚DH_9@=:Cp=oT+J+hKR ;<„F^óp8:=o9@JZ?/GD9@á%=:Tn9@eS?D8>GeLèD;na z ; ^B;<\¿?DJ8:?CDhK;<;<‚p„FI–p9<8:?D=oJZGBGLƒnCpTM8:ILSL]JKT 
‘“;<‚DI+„8:?n‚cLSJZel LS;4 D?p8>eCa™bdJ.ƒ/m Jg=o8:JKXPJLSCp8>eF8:e+94E<IJg9@L
9<h(CD8oJgX<JK„FJg?PLWƒ5JghK9<‚DeSJ„F;Me]LW;@LCpJKIWL;M;P=:e—tQ8oLSC×eS8o„F8:=:9<I
=:JKX<Jg=:e–;@‘eS;<pCp8>eLS8>hK9YL8o;P?žtQ8o=:=-?p;<Lƒ5J9@ƒD=oJ+L;9@?/9@=:TM}gJ
pI;<EPI9<„Fe6;@‘ºLSCD8:eOeS8:}KJ39YLO9@=:=’a
ë×ðº‰Y· ¤» …‹<‹P¹‰YŠp‹ | ݂DI9<?D9@=:Tce8>e+L;M;P=ƒ/9<eSJgG
;<µ ?ÂNP9P\%³÷¶ E<} JK?DJKI(9YLSJZG j ß z  t%9<IS?D8o?pEMeKr˜9Pe›h;P„FD9@IJgGdL;
‘Çx<9@z =>èŒeSJtQ58œ;PLeSC 8œL8oiQXPJgç—eӃn³TFR„Fa;<H_IJQCnLS‚DC/e9@?t6J×Ù w t%JKaºIJ¢u;@9@LƒDJ=oJ×LCDL9Y;ÖL_93IJg=:Gc9<‚DISEPhKJJ
9@„F;P‚p?ML;@‘LSCpJ/;Me8oLS8:X<JZeF9@IJGc‚pJLS;deS9@‘“J‘“‚D?Dh
L8o;P?DeKr
9@?/Ghg9@??p;@LOƒ5J3JK=:8:„8:?D9@LSJgGƒnTV„F;<IJ39<hgh‚pI(9YLJ—9<?D9@=:TM
eS8:egaH_Cn‚De%LSCpJ38:„FpI;YX<JK„FJg?PL_8>eOe8:E<?D8œ /hg9@?MLga
[¡?BeS‚p„F„F9<ISTPrpt%J3CD9)X<J3GcJg„;P?DeLSI(9YLSJZGLSCD9@L;<‚pIOGp;<„F8œ
?D9<?DhJ–9<=oEP;<I8œLCp„Þ8:„Fp=oJg„FJK?ML9@LS8:;<?½;<?L;<½;@‘˜NM9<\_³Å8:e
ehK9@=>9@ƒD=oJ–9<?DG.T<JKLe]L8o=:= D?DGpe9@=:=JKII;<I(e%LSCD9@Lt%JKIJ–hK9@p
LS‚DISJZG‚/e8:?pELSCpJiQç—Ó³R4LS;n;P=¼a
ê »¼‡g‹P¹‡Z‡g»¼· ¶
©<«KÆÁ¥@o® ³—¦+¬KƕÏD¥g£YåpIJgeSJK?ML;P?pJ-5;@LJK?MLS8>9@=npI;<ƒp=:JK„±&;<ƒp
~]JghLe%hIJg9@LSJgGVƒMTLCpJO‘Ç9Ph
LS;PIST„FJLCp;cG9@IJOIJKpIJgeSJK?MLJgG
ƒnTdLSCpJ.eS9<„FJ9@=:=:;nhg9YL8o;P?¢e8oLSJPrJKXPJK?×LCp;<‚pEPC¢Jg9Ph(C¢;<ƒp
W
W
YX
W
PZ
[
\
^]
_
`
ab 8 c<- MDd e B þ ÿ" ÿ]þ>&oú îü%8 ú * +Lf d <J 8& ? ÿ ,
g 8 =* + þ ü§üF8ih $ 86 M c ú ü%8Úü úÿ *j ü üNý h[ÿF8 %$
$ 8L þ úQüF8kd <=, g ý ü úÿ *j ü]þ>8oú&þ ÿ $ ýþ (<- ÿ]þ ú=& ÿF8 %$
ü%½
8 ÿF8 %$ ü F úÿ *j üNþ>8oúÚü%868 * ú ?I mlù:h gn dmo£ÿNü úÿpGq8 l * 8 ùûúÿ úÿ]þ üNþ <- h gn d <-r M ýþ $ ý§þ ÿ $ 8 <-F þ úI ü þ * þ ú ú88üNý Sspt uv9w#,
~]JghLV8:e+Gp8:eLS8:?Dh
L8oXPJ<aÖH_Cp8>eF„F8oEPCMLV=oJZ9<GLS;d‘Ç9@=>eJ.?pJgEP9@
LS8:X<JZeº8o?;<‚pI˜9<?D9@=:Tce8>eKrYeS8o?/hJ%LSCpJ_Gc;P„8:?D9@LS;<I;Pƒc~]JghL9<?DG
LSCDJGc;P„F8o?D9@LSJgJ;Pƒc~]JghL—„F8:E<CML—ƒ5JE<JK?DJKI(9YLSJZG.‘“I;<„LSCDJ
e9@„FJ‘Ç9<h
L;<IT½„FJLSCD;nGž9<?DG4LSCn‚DeWt%J‘Ç9<=:eSJK=:ThK;<?DhK=o‚DGpJ
LSC/9YL-LCpJL]t6;–;Pƒc~]JghLe%9@IJQLSCDJe9@„FJJgX<JK?FLCp;<‚DE<C+LCpJKT
9@IJ38:?DGcJKJZG½Gc8oä5JgISJg?PLZa_b4J›9<ISJ–hK‚pIISJg?PL=oTJ|cp=:;<I8o?DEF9<?
9@DpIS;M9<h(C¿LCD9YLB9<GDGpe.h;<?MLJ|nL.eSJK?/e8oLS8:Xn8œL]T¿L;‘Ç9Ph
LS;PIST
„FJLCp;cGpeBeS‚Dh(C±LSCD9@L;<ƒc~]JZh
L(e½hIJg9YLJgG±8:?De8>GcJž‘Ç9Ph
LS;PIST
„FJLCp;cGpe—tQ8o=:=ƒ/JISJgpIJgeSJK?MLSJZG.ƒMT½Gc8oäªJKIJK?MLW9<=o=:;chK9@LS8:;<?
eS8œLJgega2H_Cp8>e.åK¬°o¬(«KƼ§•ÊY¬+hK;<?MLSJK|MLSÁeSJK?/e8oLS8:Xn8œL]T9<=o=:;YtOeF;<‚DI
9@?/9@=:TneS8>eL;ehK9<=oJLS;=:9<ISEPJpI;<EPI9<„+etQ8oLSCp;P‚cLOeS9PhI8œ /h
8:?pEFpISJZh8>e8:;<?a
€ · ¶ ‹<îǹº‡Z»Ç· ¶
TceLSJK„+e3tQ8oLSCžXPJKI8œ /9<ƒp=:JFeSJghK‚pI8œL]T½pI;<5JKISLS8:JgeWDIS;YXn8>GcJ
‚Dl eSJKI(e¤tQ8oLSC9OpI;YXY9@ƒp=:J˜=oJgX<Jg=P;<‘DeJZh‚pI8œL]TW9<eeS‚pI9<?DhJLSCD9@L
CD9Pe+ƒ/JgJK?Œ=>9<h 8:?pEž8o?Œ„F;PeL;<‘L;nGD9)T5Ÿ eVeS;@‘•L]t_9@IJ½eTce
LSJg„+eKaº[¡?3LSCD8:em D9@5JKIºt%J8:GpJK?MLS8o‘“T–9@?38:„F/;PIL(9@?MLºhK=:9PeSe;@‘
eSJgh‚DIS8oL]TVpI;<5JKISLS8:Jge6LSC/9YLhK9<?ƒ5J3IJgGc‚DhKJgGLS;LSCDJ–h=>9<e
eS8:hg9@=£P¥Y¦§•¨5©Y¨ª«(¬F­ª®S¥<¯K°o¬K¦rO9<?DG¿eCp;YtCp;YtÞLSCpJgTÂhK9<?
ƒ5Jh(CpJZh m JZG.J²Vh8:JK?MLS=:TB9@?/GB9<hgh‚pI(9YLJK=:T<r5‚De8:?pE9Gc;P„
8:?D9@?DhKJ9<=oEP;<I8œLCp„8o„Fp=:JK„FJg?PLJgG4;<?LS;<d;@‘-LSCpJ+NM9<\_³
9@?/9@=:TneS8>eW‘“I9<„FJKt%;<I a.݂pI–IJgeS‚p=œL(e›GcJg„F;<?DeLSI(9YLJFLSCD9@L
;<‚DI›8:„D=oJg„Jg?ML9YL8o;Pm ?hK9<?¢h(CpJgh m LSCDJR¤8:?n‚c| m JgIS?pJg=-8:?
=:Jgee%LSCD9<?L]t%;CD;<‚pI(e_9@?DGTn8oJg=:G.eS8oEP?p8œ 5hK9@?ML%‘“JKt%JKI%‘Ç9@=>eSJ
5;PeS8œL8oXPJgeQh;P„FD9@IJgGVLS;+pIJKXn8:;<‚De%p‚pƒD=o8>eCDJgGISJZe‚D=œL(eKa
x
y{zs|%zs}-z~c=z€
>‚Nƒ3„†…ˆ‡O…{„Š‰^‹ŒŽ†…{9‘‰“’#ŒŽ”L•^–˜—“…{™ˆ…Jš:›œ‹=•S‘(’jž^Ÿ‘‹LN ¡R¢j¢j£ ”L•…¥¤D¦L§p¨
©#ª«N¬­9®°¯/¬©±
²9© ¨ª«N­³Ž´V«(²µs±“©·¶9¸^«N­³k¹6±º
´¦¦=ª ­…„R–“–“’j»(‹=•¼:½¾» ¢ 9¿SŒV‚ÀLÁ=…
 Ã3ÄR…PÅ;” ¢¢ ”6•
–ƏV…cR”Ç(” £ ”L•^’#…¾„pŸ‘‹ £ ”6‘’jȔ ¢j¢ ¿¾É=” ¢ ’q–“”6‘(¼
’j•^Êˑ £{Ì ‹L” ¢ »”-͐9‘%¿ Ì ‹ Ì 9(‘’j»¾‹6Ím’j•S‘9(͔LȐ»…ÏÎF•
Ð ¯Ñ(ÒÔÓÕÕ=ÖY×J¦L¬Ø6­µ“¦¨Ë¦L±°ÙÚ¦ºS«9ªÛ¤Üµ^«(²Ø6©±Sݾ¦Þ Ð ¦Þß·à
á ¹L¬«NŒâi”¿iÃLãLã‚L…
 ä-ƒ3ÄR…sÅ;” ¢¢ ”6•
–kV…=R”Ç(” £ ”L•“’·…åÄ;‰“p» ¢ ” £æÌ ‹-ÇÈ9‘çP™Rž^Ÿ“ÊL¼
Ê=’j•^Êp»¿»‘ £ »(‹6͑Fè;”6/És’”Š»‘”-‘’jÈ/”L•^” ¢ ¿»(’»…Î%•@¯;¬(¦²««(º=à
©±sÝL­I¦Þ"ßµ“«†ÓséLßµmꆤÜÙ Ð“ë §p¨¦L­©¸s§ì¦L±J¯;¬N©±²9© ¨ª«N­I¦Þ
¯/¬¦ÝL¬(¹L§O§ˆ©±SÝIíܹL±SÝL¸^¹ÝS«N­†î¯TïD¯DíœÕ6ÓðŒ—”6•sŸ
”6(¿@ÃLãLãÃS…
 ñ6ƒkâڅŜ’j»(‰^‹ Ì ”L•^–kâڅs™T’ ¢ ÊL9…P›œ‰“Èò’j•“ʆ͋L/”LÈ9RȋL•
–“’>¼
‘’j‹=•^»’j•"ó ¢ ;”6ÈȐ»(»(9»…¤D¦L§p¨
¸sß#©±sÝ Ð^ë ­ß%«N§ˆ­ŒsÀš:Ã= Nçj‚äs‚Nô
‚-õLÃsŒÜ‚À=ÀL…
 õƒ{öO…6›œ‰“•åŒ6™ˆ…™T”L•ŒL”L•
–T™O…½÷”6Ê=•^N…âJ‹s–“ ¢ ›œ‰“Èò’j•“Ê
ø •^ùâJ’ ¢j¢ ’‹L•ûúå’j•^»k‹LÍO›ü›œ‹s–“L…ýÎF•Y¯;¬(¦²««(ºL©±SÝL­ù¦Þ
ßµ^«ùÖÖ6ßµÆꊱ^±“¸^¹Lª;Ò"«Nß á ¦L¬(Ø1¹L±
ºùþI©­ß#¬©·ÿ9¸sß%«º Ð^ë ­ß%«N§
Œ ^žŸ
”6(¿ ñ-ô
Ð «(²9¸s¬N©ß ëŽÐ^ë §R¨¦L­©¸s§ˆŒc“”6•¾™T’jÊL‹“Œ›;„†
Œ
ÃLãLãLñ“…
 Â-ƒ{öO…›œ‰^•@”L•
–†™ˆ…6½÷”LÊL•^9…â ø ç„Š•ˆÎ%•“͝”6»‘(Ÿ^È9‘Ÿ
͋6
 “” £ ’•“’j•^ÊmÈ9Ÿ“’>‘F¿ ‹ Ì N(‘’9»I‹LÍ;‹LÍq‘Fè;”6=…†ÎF•
¯/¬¦²««(ºL©±sÝL­J¦Þ3ßµ“«iéLßµ¾ê†¤ÜÙ ¤D¦L±Þ«N¬(«N±²«i¦L±û¤D¦L§@à
¨
¸sß%«N¬ ¹L±ºý¤D¦L§ˆ§O¸s±^©·²¹Lß#©·¦6±^­ Ð «²9¸s¬©ß ë Œ Ì ”6Ê=»¾ÃLä=õô
Ã6ñLñ“ŒVÃ6ã=ã=Ãs…
 ƒ{™ˆ
… D•“Ê ¢ 9ŒJÅp…3›œ‰“ ¢ ÍFŒJ„†…@›œ‰^‹=ŸŒi”6•
– V…OöT” ¢j¢  £ …
›œ‰^Èòs’j•^Ê »¿»‘ £
Ÿ ¢ » Ÿ“»(’•“Ê »¿“»‘ £ ¼%» Ì 9Ȓ>ó
È=Œ
Ì ‹LÊL” £{£ N(¼:è/’>‘(‘•¾È‹ £{Ì ’ ¢ 9ˆ
 s‘•^»(’j‹L•^»… ÎF•1¯;¬(¦Là
²««(ºL©±sÝL­ ¦Þ÷ßµ^
« ܦL¸s¬ßµ Ð^ë §R¨¦L­©¸s§ ¦L±üïc¨“«N¬(¹Lß#©#¦L±
6
Ð^ë ­ß%«N§˜þ†«N­©ÝL±ù¹L±ºOѧp¨ª«N§3«N±“ß:¹Lß#©·¦L±÷îï Ð þRÑ%ðŒ ø È9‘‹L¼
ž9RÃLãLã=ã…
 Á-ƒ3—“…^‹=»‘NŒ÷ÄR…mÄܐ9”6Ÿ^ȉ^’#Œ°”6•
–¥„†…k„p’jò9•å… ¢ ‹-è/¼
•“»(’>‘’É=/ÄD¿ Ì  RŸ^” ¢ ’>ó
9»…ÎF•{ꆤÜÙ Ð Ñ D¯DícêŠÒ ¤D¦L±^à
Þ«N¬«N±
²«O¦L±k¯;¬(¦ÝL¬¹L§ˆ§O©±sÝOíܹL±SÝL¸^¹ÝS«TþO«N­©ÝL±Ž¹L±ºOѧ@à
¨ª«N§3«N±“ß:¹Lß#©·¦L±1î¯íÜþR
Ñ Õ6ÓðŒ
ÃLãLãÃs…
 À-ƒkV…/öR” ¢j¢  £ ŒIŊ…p›œ‰^ ¢ ÍFŒˆ…p’LŒI”L•^–Ë™ˆ…P•^Ê ¢ 9…˜„
»¿»‘ £ ”6•
– ¢ ”L•“Ê=Ÿ
”6Ê=¾Í‹LŽž“Ÿ^’ ¢ –“’j•^ÊÆ»¿»‘ £ ¼:» Ì È’>ó^È
»‘”6‘’jÈ ”L•
” ¢ ¿“»(9»…ÏÎ%• ꆤÜÙ Ð ÑD¯DícêŠÒ ¤D¦L±Þ«N¬«N±
²N«
¦L±ù¯;¬(¦ÝL¬¹L§ˆ§O©±sÝkíܹL±SÝL¸^¹ÝS«@þO«N­©ÝL±1¹6±ºkѧR¨
ª«N§3«N±
à
ß:¹Lß#©·¦L±Æî¯DícþR
Ñ Õ6ÓðŒ^—=Ÿ^•“†ÃLãLãÃs…
>‚ã-ƒ{ÎÄۏœ›p…P¤D¦L§O§{¦L±i¤¬©ß%«N¬©·¹PÞ¦L¬Ñ±Þ¦L¬§{¹Lß#©#¦L± Ð «(²9¸s¬©ß ë
´V«(²µs±¦Lªj¦Ý  œ›pŒ‚ÀLÀ=À…œ„pÉL”L’ ¢ ”Lž ¢ "”6‘
ë ¹=ª ¸“¹Lß#©·¦6±^…DÎÄÛ
‰S‘(‘ Ì ç -È»È=… •^’j»‘… Ê=‹-!
É 6È"È 6’j•
–
 V… ‰S‘ £{¢ …
>‚=‚Nƒ3ÄR…
—L•^»(•Œ
™ˆ…^âJ9‘”¿SNŒ
”6•
–iÄR…^Ä;‰^‹6•å…D‡N’jó^Ȕ6‘’j‹L•
‹L͊ȋL•s‘(‹ $
¢ # ‹èæž
”6»(–÷»(ÈŸ“’>‘%¿ Ì ‹ Ì 9(‘’j»… ÎF•1¯;¬(¦Là
²««(ºL©±sÝL­O¦ÞIßµ^«{Ö=ééé@Ñ %& Ð^ë §R¨¦6­©¸§ ¦L± Ð «(²9¸s¬©ß ë
¹L±ºO¯;¬N© ¹=² ë Œâi”¿ù‚ÀLÀ=Às…
>‚-Ã3úD…'I‹-ɐ–VŒSâڅ ’j»‘‹L’q”sŒ”L•^–ˆ„†…'I9»(‰“•sž
”6Ÿ £ …s„ŠÈȐ»(»
’jÊ=‰S‘»T”6•
” ¢ ¿»(’j»R͋6;Ç(”ÉL”…pÎF•ù¯;¬(¦²««(ºL©±sÝL­ˆ¦ÞOßµ“«{Ö)(-ßµ
ꊱ^±“¸^¹LªcꆤÜÙ ¤D¦L±Þ«N¬(«N±²«m¦6± ïÛ+ÿ *-«(²9ß·àï;¬N©·«N±^ß%«(ºJ¯;¬(¦Là
ÝL¬(¹L§O§ˆ©±SÝL³ Ð“ë ­ß%«N§ˆ­³†íå¹L±sÝL¸“¹ÝS«N­³k¹L±
º¾êœ¨¨ª ©#²¹6ß#©·¦L±^­
îïTïD¯ Ð ícê ÓsÕÕ6ÓðŒ Ì ”LÊL»ŠäõLÀôsä =ÃsŒ ,p‹-ɐ £ žNŠÃLãLãÃs…
>‚ä-ƒkV…/V…ŠâJŸ“ÈN‰“•^’jÈNò… êÛº ¹L±²«(º
ѧR¨ª«N§{«N±^ß:¹Lß#©#¦L±^…„pȔ=–“ £ ’È
¤D¦L§p¨
©#ª«N¬Jþ†«N­©jÝL±H¹6±º
»(»Œå‚ÀLÀ.s…
>‚ñ6ƒk›p…½¾’jÊ=‰S‘Œ;›p…›œ‹è/”L•Œ/—“…œâJ‹6(’»Œ/V…D £ ” ¢j¢ 9¿SŒ”L•^–
/ 0… 'T‹=”L‰¼%öR”6(‘ £ ”6•å…Dúå’j•s!Ÿ k»(È9Ÿ“’>‘F¿ £ ‹s–“Ÿ ¢ 9»ç / •“¼
9” ¢ »(È9Ÿ“’>‘F¿ù»(Ÿ Ì“Ì ‹L(‘T͋LI‘‰“ ¢ ’j•
Ÿ ò9•“ ¢ …OÎ%•°¯;¬(¦Là
²««(ºL©±sÝL­†¦ÞTßµ^«OÖÖ6ß2
µ 1 )
РҊ4Ñ 3 Ð «(²9¸s¬©ß ë3Ð^ë §R¨¦L­©¸s§ˆŒ
ÃLãLãÃs…
>‚-õƒ5O…6‰
”6•^ʌ^„"…7D–è/”-–“»Œ“”L•^–3ÄR…^—=”LÊL9… ¡ »(’•“ÊOÈ98sŸ^” ¢
͋6œ»‘”-‘’ÈŠ”6•
” ¢ ¿»(’j»œ‹6͔LŸ“‘‰“‹L;’ :”-‘’‹L•{‰^‹S‹Lò ̓¢ ”6Ȑ £ •S‘…
ÎF•ù¯;¬(¦²««(ºL©±sÝL­@¦Þ†ßµ“«kÖ=Ö6ß<
µ 1 7
Ð Òp4Ñ 3 Ð «(²9¸s¬©ß ëJÐ“ë §ˆà
¨¦L­©¸s§ˆŒ
ÃLãLãÃs…
>‚Â-ƒ5O…&6‰
”6•^ʌ;ÄR…D—”6Ê=NŒÛúD…='I‹-ɐ–Œ”L•^–1„"…'I9»(‰^9•“¼
ž
”6Ÿ £ >
… cΛ;Ä ø —“ç@?
„
¢ ‹è ÎF•^»(9•^»(’>‘ɐ˛ ‘‹ —”ÉL”
Ä坔L•“» ¢ ”6‘‹LŒÃLãLãLñ“…ÎF•  Ì ”6”-‘’j‹=•å…
7
@BACA z“~EDCFHG
IKJML9J9N IPO+QSRMTMU
VMW"T"X"Y9Z-[
\9N]
N]^O+Q`_›IKJML9{"J"Te
gM]tuv[
w N"c xKJ.yKeKc–x9e}kfm"NMJM]
Zfe}k!y}cL9Je
{fI)~€t
ƒ"h)yKb9]„~.…H\9N]
N]v†‡y
IKY€kfmMJ"n!~€"z
cfe
gM]`O+Q\9N]
N]v†HmfeKm0~€7[
]9g"|M]I<O+Qcfe
gM]v†+|M]9JMs
N x"x
]I"I9e
{"Y"g"|M]I)~€[
w e
{M]"Lx€h‰]9g"|M]y}c‚]9g"|M]I
y w ~€œlT"9žMW9ZfpKrs~‡]9g"|M] Q"QSc"Nfb"bfd
" ƒ]c]"]9gSJetx9e}kfm"NMJM]–ylJ
x9e}kfm"NMJM]9oeMx
LMbKZfe}k!y}cL9Je
{fI~‡]9g"|] 7[
‹
e"b
g9Zfe}k!y}cL9Je
{fI`O+QZfpKr)œlT"W"pKžs~‡]9g"|M] 7[
" I
]"]S]9\9NL9J.yKeKcP~€Ÿ"
ZfpKr)œlT"W"pKžs~‡]9g"|M] †HN"c)yKeKc0~
œlT"9žMW9ZfpKrs~‡]9g"|M] "7[
mM{M]9g"Y"g"|M]I^O+Qcfe
gM]v†+|M]9J"ˆ"{M]9gM]x
]I"I9e
{"Y"g"|]I)~K7[
w e
{M]"Lx€h‚mM{M]9g"Y"g"|M]™y}cmM{M]9g"Y"g"|M]It
ZfpKr)œlT"W"pKžs~‡]9g"|M] †‡y}cMJM]9{.I
]xKJ0~
ZfpKr)œlT"W"pKžs~ŠmM{M]9g"Y"g"|M] "7[
‹
y w ~ŠZfpKr)œlT"W"pKžs~‡]9g"|M] `…HQ‚e"b
g9Zfe}k!y}cL9Je
{fIS
" iMLMbKN]IdhL9iM]zx€hL
cM|M]9gv—›c]"]9gtJeN"mMgML9JM]
" I€N x"x
]I"I9e
{tcfe
gM]ISLIƒ]Mb"b
I€N x"x
]I"I9e
{"Te
gM]zQt]9g"|M]v†+|M]9JMU"LMb"b9]"]~€7[
\9N]
N]v†Hm"N I€h0~}I€N x"x
]I"I9e
{"Te"gM] 7[
‹
‹
‹
‹
IKJML9J9N IPO+QSRMTMU
VMW"T"X"Y9Z-[
\9N]
N]^O+Q`_aLMb"bdcfe
gM]IJ9hL9JhL9iM]ScfeKcfj9]lkfmMJ"n
X"op
q"W"o9ZfpKrstiMLMbKN]tuv[
w N"c xKJ.yKeKczmM{eKmL9|ML9JM]
Zfe}k!y}cL9Je
{fI)~€‚
ƒ"h)yKb9]„~.…H\9N]
N]v†‡y
IKY€kfmMJ"n!~€"z
cfe
gM]`O+Q\9N]
N]v†HmfeKm0~€7[
]9g"|M]I<O+Qcfe
gM]v†+|M]9J"ˆ"{M]9gM]x
]I"I9e
{"Y"g"|M]I7~€7[
w e
{M]"Lx€h‰]9g"|M]y}c‚]9g"|M]I
mM{eMx
]I"IKY"g"|M]~‡]9g"|M] 7[
y w ~}IKJML9J9N IQ"QtU
VMW"T"X"Y9Z)
mM{M]9gM]x
]I"I9e
{"Te
gM]‰QS]9g"|M]v†+|M]9JMU"LMb"b9]9{!~€7[
\9N]
N]v†Hm"N I€h0~ŠmM{M]9gM]x
]I"I9e
{Te
gM].7[
‹
‹
‹
‹
w N"c Kx J.yKeKczmM{eMx
]I"IKY"g"|M]~‡]9g"|M] t
x
LMb"b9]9{ŒO+QS]9g"|M]v†+|M]9JMU"LMb"b9]9{!~€7[
k.]9J9hfe
gŒO+Q‚x
LMb"b9]9{-†+|M]9J9r]9J9hfe
g!~€7[
 LIy
xKqb"eMx€Ž I^O+Qk.]9J9hfe
g-†+|M]9J"qMLIy
xKqb"eMx€Ž I)~€7[
" |M]9J‚J9h]  LIy
x  b"eMx€Ž‚J9hL9Jx9e
{"{M]I€mfeKcMgfI
" JeJ9h]zx
LMb"b{M]
mM{M]I
]
cMJM]9g  nt]9g"|M]
ge}k!y}cL9Je
{"q"qO+Qzx
LMb"b9]9{-†+|M]9J"qMLIy
xKqb"eMx€Ž0~‡]9g"|] 7[
" J9h]‰IKJML9{"J.y}cM|  LIy
x  b"eMx€Ž
\9N]
N]<O+Q`_  LIy
xKqb"eMx€Ž I0_’‘9u‰uv[
" J9h]‰I
]9J‚e w {M]"Lx€hL  b9]  b"eMx€Ž I
{M]"Lx€hL  b9]9qMLIy
xKqb"eMx€Ž IO+Q<_  LIy
xKqb"eMx€Ž I0_’‘9uzuv[
ƒ"h)yKb9]„~.…H\9N]
N]v†‡y
IKY€kfmMJ"n!~€"z
 LIy
xKqb"eMx€Ž“O+QS\9N]
N]v†HmfeKm0~€7[
I€N x"xKqMLIy
xKqb"eMx€Ž IŒO+Q
 LIy
xKqb"eMx€Ž”†+|M]9JMs
N x"xKqMLIy
xKq b"eMx€Ž.I)~€[
w e
{M]"Lx€h " y}c‰I€N x"xKqMLIy
xKqb"eMx€Ž Iz
" JM]9{€k!y}cL9JM]SJ"{ML9iM]9{fI
LMb‚L9JSJ9h]
" ge}k!y}cL9Je
{  LIy
x  b"eMx€Ž
y w ~ " …HQSge}k!y}cL9Je
{"q"q„
\9N]
N]v†Hm"N I€h0~ " 7[
{M]"Lx€hL  b9]9qMLIy
xKqb"eMx€Ž I0†’LMg"g!~ M 7[
‹
‹
‹
" y w J9h]t]9•.ylJ  LIy
x  b"eMx€Ž–y
Icfe
JS{M]"Lx€hL  b9]˜—
" J9h]
c„ylJk.]"L
c IdJ9hL9J‚LMb"bmL9J9h IJ9hL9JS{M]9J9NM{9c
" w {e}k™J9h)y
I5k.]9J9hfe
gSƒ)yKb"by}c x9bKNMgM]Sge}k!y}cL9Je
{"q"qv—
" L
cMg‚J9h"N IdJ9h)y
I5k.]9J9hfe
g‰x9eKcMJML y}c ItL
c
" N"c x9eKcMg.ylJ.yKeKcLMbtmL9J9h‚JeJ9h]ge}k!y}cL9Je
{-†
y w ~…H{M]"Lx€hL  b9]9qMLIy
xKqb"eMx€Ž I0†
x9eKcMJML y}c I)~‡]9•.ylJ"qMLIy
xKqb"eMx€Ž)–
" N"mMgML9JM]tX"op
q"W"o9ZfpKrs w N"c xKJ.yKeKc
x
LMb"b9]"]`O+Qt]9g"|M]v†+|M]9JMU"LMb"b9]"]~€7[
X"op
q"W"o9ZfpKrs~}x
LMb"b9]9{.†
L9g"g!~šX"op
q"W"o9ZfpKrs~}x
LMb"b9]"] "7[
IKJML9J9N I<O+QtU
VMW"T"X"Y9Z-[
‹
‹
w N"c Kx J.yKeKczmM{eMx
]I"IKY"g"|M]~‡]9g"|M] t
x
LMb"b9]9{ŒO+QS]9g"|M]v†+|M]9JMU"LMb"b9]9{!~€7[
k.]9J9hfe
gŒO+Q‚x
LMb"b9]9{-†+|M]9J9r]9J9hfe
g!~€7[
 LIy
xKqb"eMx€Ž I^O+Qk.]9J9hfe
g-†+|M]9J"qMLIy
xKqb"eMx€Ž I)~€7[
]9g"|M]9q"qŒO+Q‚x
LMb"b9]9{-†+|M]9J"qMLIy
xKqb"eMx€Ž0~‡]"g"|M].7[
ge}k!y}cL9Je
{"q"qfI^O+Q^_  LIy
x  b"eMx€Ž IJ9hL9J
x9eKcMJML y}c  |M]
c]9{ML9JM]‰ge}k!y}cL9Je
{fISuv[
w e
{M]"Lx€hzge}k!y}cL9Je
{"q"q–y}ctge}k!y}cL9Je
{"q"qfI‚
" J9h]zIKJML9{"J.y}cM|  LIy
x  b"eMx€Ž
\9N]
N]`O+Q^_  LIy
xKqb"eMx€Ž I0_’‘9uuv[
" J9h]zI
]9J‚e w {M]"Lx€hL  b9]  b"eMx€Ž I
{M]"Lx€hL  b9]9qMLIy
xKqb"eMx€Ž IO+Q`_  LIy
xKqb"eMx€Ž I0_’‘9u‰uv[
ƒ"h)yKb9] ~.…H\9N]
N]v†‡y
IKY€kfmMJ"n!~€"t
 LIy
xKqb"eMx€Ž“O+QS\9N]
N]v†HmfeKm0~€7[
I€N x"xKqMLIy
xKqb"eMx€Ž I`O+Q
 LIy
xKqb"eMx€Ž”†+|M]9JMs
N x"xKqMLIy"xKqb"ex€Ž I7~€7[
w e
{M]"Lx€h " y}c‰I€N x"xKqMLIy
xKqb"eMx€Ž I‚
" JM]9{€k!y}cL9JM]tJ"{ML9iM]9{fI
LMb‚L9JSJ9h]
" ge}k!y}cL9Je
{  LIy
x  b"eMx€Ž
y w ~ " …HQSge}k!y}cL9Je
{"q"q„
\9N]
N]v†Hm"N I€h0~ " 7[
{M]"Lx€hL  b9]9qMLIy
xKqb"eMx€Ž I0†’LMg"g!~ M 7[
‹
‹
‹
" y w J9h]  LIy
x  b"eMx€Ž‚J9hL9J‰x9e
{"{M]I€mfeKcMgfISJeJ9h]
" ]9g"|M]‰x
LMb"bzy
Icfe
Jy}ctJ9h]S{M]"Lx€hL  b9]‰I
]9Jv—¡J9h]
c
" ylJk.]"L
c IJ9hL9JtLMb"bmL9J9h IJ9hL9Jzb9]"L9gSJeJ9hL9J
"  LIy
x  b"eMx€Žtƒ)yKb"bzy}c x9bKNMgM]‚ge}k!y}cL9Je
{"q"qv—L
cMg
" J9h"N IJ9h]ge}k!y}cL9Je
{‚ge}k!y}cL9JM]ISJ9h]S]9g"|M]v†
y w ~…H{M]"Lx€hL  b9]9qMLIy
xKqb"eMx€Ž I0†
x9eKcMJML y}c I)~‡]9g"|M]9q"q.t
" N"mMgML9JM]™œlT"9žMW9ZfpKrs w N"c xKJ.yKeKc
œlT"9žMW9ZfpKrs~‡]9g"|M] †’L9g"g!~šge}k0y}cLMJe
{.[
‹
‹
Úº8oEP‚pIJ y â -eSJK‚DGc;chK;nGpJ‘“;PIOq;P„F8o?D9@LS;PI I;<D9<EP9YL8o;P?¤a
/Z
"Z
Úº8oEP‚pIJè/â 6eJg‚DGc;ch;cGcJ‘“;<IÈà—=:;<ƒD9<=˜q;P„8:?D9@LS;<Ii6;P„
p‚cL(9YL8o;P?¤a
@Z
8