HAL Id: inria-00071722
https://hal.inria.fr/inria-00071722
Submitted on 23 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,
Theorem Proving Modulo Revised Version
Gilles Dowek, Thérèse Hardin, Claude Kirchner
To cite this version:
Gilles Dowek, Thérèse Hardin, Claude Kirchner. Theorem Proving Modulo Revised Version. [Research Report] RR-4861, INRIA. 2003, pp.54. �inria-00071722�
ISRN INRIA/RR--4861--FR+ENG
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
Theorem Proving Modulo Revised Version
"!#%$&'(*)!#+&$,.-/%01',
No 4861
June 2003
TH `EME 2
!#"!$
%,."!#%$&''& *)!#+&$,.-/%01',)(
*+-,/.10$2436587/9-:;0<>=@?A:>B :;0/<
0 C'B DE<FBG)<IHKJL.4MN=@<>:FOAG)0
PRQS=@TU0CVHWI=@?A:>B/DE<YX[Z\=AH]B=_^_D-XLPRQ]=EC]+-0 =
`D@a-aN=@QSCb-08Q]0/BV+)0 QVBV+-0c94d1eAfAg-h'36iAG-9-0$2EjAj@k$3ml_e1a)DE?A0/H
npo q/r s_t-u@r@v w1xVy_z){ |~}E/yEz[; :FH$D DJ\CS=\Q]0 .=_^@0B =@.a-G[CVD_CS:>=@9DE<RDEQ]?@G).10/9C]H8Q]=@.a)QS=L=EH
MLJQ]0/D@HS=@9):;9-?\.=[b[G-<>=DB=A9-?@Q]G-0/9)B0=A9a-Q]=@aN=AHS:C]:;=A9)H/LG)BV+D\C]0/BV+-9-:FOG-0@X:FH]HKG-0bQ]=@.DEG-CS=E
.DECS0/b\CS+-0/=@Q]0 .a-Q]=_^:>9-?X):FH=@R?@0/9-0 QVDE<:;9CS0/QS0HUC8M0B D@G)HK04:Ca0/QS.:;C]HCS=HK0/a)DEQVD_C]04B=A.a-G[C]DECS:>=@9)H
D@9)bb[0/b-G)BC]:;=A9)H:;9DB <;0DE9 DJA*+-0¡)QVHUC$B =@9CSQ]:;M)G[CS:>=@9=E CS+):>HaDEaN0 Q:FHCS=¢b[0 ¡)9-0D£ xV¤z)x )|
{V¥E;{z[z
£
y_z[>
C]+)D_C?@:>^@0H¦Da-QS=L=@CS+-0/=@Q]0CS:FBD@B B =@G-9C4=@CS+)0B =@.4M):;9)DECS:>=@9=@B=A.a-G[C]DECS:>=@9)H
D@9)bb[0b[G)BC]:;=A9)H/*+)0'B=A9-?@Q]G-0 9B0=@9a)QS=Aa=HK:;CS:>=@9)HR:>H§+)DE9)b-<;0b^:FDQ]0 Q]:C]0QSG)<;0H§DE9b0/OG)D_C]:;=A9)DE<
DE¨[:;=A.H/`0 Q]:C]0QSG)<;0HDEa-a-<>JC]=CS0 Q].HM-G[C'D@<>HS=1b-:;Q]0/BCS<>JCS=DECS=@.:FB8a-QS=Aa=HK:;CS:>=@9H
*+-0©HK0B=@9bªB=@9C]QS:>M-G[C]:;=A9:FHC]=?@:>^@0¢DB=@.a-<>0C]0¢a-Q]=L=EHK0DEQVBV+.0 CS+-=[b«XB/DE<><;0b¬® |¯x NyAx]y
° ¥_±±SE²}³´¥ENy\µx £ _z[|~}E·¶¸§¹'º `'»XR=@Q¦CS+-0/=@Q]0 .a-Q]=_^L:;9-?©.=Lb-G-<;=HSG)BV+¼B =@9-?AQSG-0/9)B0H *+-0
B =@.a-<>0C]0 9-0HSH!=E[CS+):>H .0C]+-=[b:>Ha-Q]=_^@0b :C]+$QS0HKaN0/BC!C]='a-Q]=_^_DEM-:><;:;CUJ8:;94HS0/OG-0/9C B D@<>B G-<>G)HI.=[b[G-<>=)
º 94:>.1aN=@QSC]D@9CDEa-a)<;:FB DECS:>=@9:FHIC]+)D_C +-:;?A+-0 QS¯=@QVb[0 Q«<>=@?A:>BRB/DE9$MN0§a)QS0HK0/9AC]0/bDAH!DC]+-0 =AQSJ8:>94b[0/b-G)B
C]:;=A9.=Lb-G-<;= º a-a-<>JL:;9-?$CS+-08¬R® |½x Ny@xVy ° ¥E±±S_²}³L´¥_¾yµx £ _z[|~}E .0CS+)=Lb1C]=CS+):>H§a-QS0HK0/9C]D_C]:;=A9
=@+-:>?@+)0 QSY=AQ]b[0/Q¿<>=@?A:>BHSG-M)HSG-.0/H G-<><!+):;?A+-0 QSY=AQ]b-0 Q QS0HK=A<;G[C]:;=A9I
À\Á¾Ã]Ä4Å
s_Æ q@vmº
G-CS=@.DECS0/b¢CS+-0/=@Q]0 .a-Q]=_^L:;9-?X)Q]0 Q]:C]:;9)?)X¾QS0HK=A<;G-CS:>=@9IXN9)DEQ]Q]=_ :;9-?X-+-:>?@+-0/QK¯=@QVb[0/Q
<>=@?A:>B@X[BG[C0/<;:>.:;9)DECS:>=@9IXb[0/b[GBCS:>=@9.=[b[G-<>=)X-HS0/OG-0/9ACB/DE<FBG-<>G)H.=[b[G-<>=)X)HSÇ@=A<;0/.1:>È/DECS:>=@9I
ÉFÊ«ËS̯Í/ÎËÏ Ð>̯ÑYÒÓ
ÔRÕÖ ×IÕ³ØÙ×IÚ/ÛUÜ ÝÞUßÛUÚÝàáSâã äå-ä@æKçèâ@éVêæKèëìLÞ§í¾îÞUï~ß_ðKñí¾ÞKòÞUó@â_ô_à~ðVßÛUÞâAõ öø÷ø÷øÞKïKäù ÚSú¾ÞKûü öøßàöýðäþ>à
ÿ
ìÕåðVßò1ÕÖ ×IÕ³ØÙ×IÚ/ÛUÜ ÝÞUßÛUÚÝàáSâßöÞUàïYöáå-ðVàöøïâ âå)÷ýðVÛKÞÝï~ïYöøÞUÝâéVèè$å-ðVà~öøï í¾ÞUòÞ½óçèâ-ô_à~ðVßÛUÞâ
îÞKàÞUïYÞä ðVàòöøßEü ÷øöäþ>à
ì ×IճؼðVßò¦ÕÖ×!ճاâæKèâ[àÝÞòÝðVà~òöøß1ã¾ÚVáYðVßöøÜ ÝÞâ)ã äå-ä)æKçæâ-èç öø÷ø÷øÞKàï~ÙF÷KïÙÖ ðVßÛUñí¾ÞKòÞUó@â[ô_à~ðVßÛUÞâ
í«÷ýðVÝòÞäöøà~Û¯îßÞUà¯ü ÷øÚàöýðäþ>à
Unit´e de recherche INRIA Rocquencourt
"!$
q v WDSb[7b[G)BC]:;=A9©.=[b[G-<>=10/HKCG)9©.=_J@0/9©b[0HSG-a-a-Q]:>.10/Q<;0H8a-+)D@HS0/Hb[0B/DE<FBG-<RD@a-a)D_
QVDE:FH]HSD@9AC b-DE9)H¿<>0/H b[7 .=@9HUC]Q]DECS:>=@9)H¿0 9Q]D@:>HS=@9-9DE9CR.=Lb-G-<;=1G-9-0B=A9-?@Q]G-0/9)B0'b-7/BQ]:>^D@9C¿<>0/HB D@<>B G-<>H
0N0BC]G-7/HHKG)Q<>0/HpCS0/QS.0/H0C<;0Hpa)QS=Aa=HK:;CS:>=@9)H/¿0 CKCS0©CS0BV+-9-:FOG-0@X:FH]HKG-0b[0<FDb-7 .=@9)HKCSQVD_C]:;=A9
D@G[CS=A.D_CS:FOG-0@X'0/HKCbG-9-0a=AQKC]7 0©a-<;GHp?A7 9-7/Q]D@<;0B/DEQ0 <><;0©a0/QS.0 Cb:Fb[0 9CS:;¡)0/Q0 CB =@.4M):;9-0/Qp<>0/H
a)+)D@HS0/H8b[0Q]D@:>HS=@9)9-0 .0 9C80C<;0Ha)+)D@HS0/Hb[0B D@<>B G-<~¦W!Da-QS0/.:;,/QS01B=@9C]QS:>M-G[C]:;=A9©b[0B01a)DEa):;0/Q80HUC
<FDb[7¡9-:C]:;=A9ªbG)9 {]¥E;{ z[y@x ££ ¤ z)x|£ y_z[; a0/QS.0CSC]D@9AC<FDB=A.4M-:>9)D@:>HS=@9b[GªB DE<FBG)<0Cpb[0
<FDb[7/b-G)BC]:;=A9IpW!DB =@9-?AQSG-0/9)B0HSG-Q<;0Ha-Q]=@aN=AHS:C]:;=A9)H80/HKC4b[7¡9-:;0aDEQG-90 9HK0/.4M-<>0b[0QS,/?@<>0/Hb[0
Q]7 7BQ]:C]G-Q]00CbDE¨[:;=A.10HR7OAGD_CS:>=@9)9-0 <FH WI0H§Q], ?A<;0H§b[0QS7/7/B QS:;CSG-Q]0'HD@a-a-<>:>OG)D@9C§:>B :9)=@9pHS0 G-<>0 .0/9AC
HSG-Q<>0/H C]0 Q].10H.DE:FHDEG)H]HK:IHSG-Q<>0/Ha)QS=Aa=HK:;CS:>=@9)H/
WD8HS0/B =@9)b-0B =@9CSQ]:>M-G[CS:>=@9b[0B0 C]Q]D^_DE:><[0/HKCRb[0b[=@9)9-0 QG-9)0.17 CS+-=[b[0B =@.a-<>,C]0b-0b-7 .=@9)HKCSQVD_
C]:;=A9D@G[CS=A.DECS:FOG-0@XLDEa-aN0 <><>7 0SLG)QSQ]7/b[GBCS:>=@9p0CQS7HK=A<;G[C]:;=A97C]0 9)b[G)0/H ¶¸§¹º `'»X[.=Lb-G-<;=b[0CS0/<;<>0/H
B =@9-?AQSG)0 9)B 0/H/4W!DB=A.1a)<;7 CSG)b[0b[0B 0CKC]0.17 CS+-=[b[00HUC7CVDEM-<>:>0¦0/9HS0M)D@H]DE9CHKG-Q<FDpa)QS=AG-^_DEM-:><;:;CS7
b)DE9)H<>0$B D@<>B G-<Ib[0/HHS7/OG-0/9C]H.=[b[G-<>=)
'9-0'DEa)a-<;:FB DECS:>=@9:>.a=AQKCVDE9CS0B =@9)B 0 Q]9-0<>D<>=@?A:>OG-0b=AQ]b[Q]0HKG)a7/QS:>0 G-Q OG-:-aN0 G[CCSQ]0Q]0 a-Q]7/HS0 9-
C]7 01B=@..0$G-9)0$CS+)7 =@Q]:>0$0 9b-7/b[G)BCS:>=@9\.=[b[G-<>=)'WD@a-a-<>:>B/D_C]:;=A9¢b[04<FD.7C]+-=[b[0¦b[0¦QS0BV+-0 QVBV+-0$b[0
a)QS0/G-^@0 ¸§¹º `B 0CSCS0$a-Q]7/HS0 9CVD_CS:>=@9\b[04<>D<>=@?A:>OG-0b=@QVb[Q]0$HKG)a7/QS:>0 G-Q'a0/QS.0C8DE<>=@QVHb0¨[a-Q]:;.0 Q
<FD1QS7HK=A<;G-CS:>=@9b=AQ]b[Q]0HKG)a7/QS:>0 G-Q
Å
rq
Ã
u!
v "
7 .=@9HUC]Q]DECS:>=@9DEG[C]=@.D_C]:>OG-0AXQS7/7/BQ]:;CSG-Q]0@X8QS7HK=A<;G-CS:>=@9IXHSG-QSQ]7/b-G)BC]:;=A9IX<;=A?@:FOAG)0
b=AQ]b[Q]0pHSG-aN7 Q]:;0/G-Q/X7/<;:>.:;9D_CS:>=@9b[0/H1B=AG-a-G-Q]0/H/XRb[7b[G)BC]:;=A9.=[b[G-<>=)XRB/DE<FBG-<b[0H¦HS7/OG-0/9ACVH4.=[bL
G)<;=X-HKÇA=@<>7 .:>H]D_C]:;=A9I
! $
, + %' ' ! + ! $ ,'
¯¿<;0 C<>=L=AHS0@X¾G)HSG)DE<D@G[CS=A.DECS0b\CS+)0 =@Q]0 .a-Q]=_^L:;9)?p.0C]+-=[b-HHKG)BV+D@HQS0HK=A<;G-CS:>=@9=AQ'CVDEM-<>0/D@G[¨¢B D@9
MN0^A0 Q]J:>9-0 !B:>0 9CXHSaN0 9)b[:>9-?\C]:;.0:;9C]QS:>^L:>D@<¿b[0b[G)BC]:;=A9)H/#")=@Q$:>9)HKC]D@9)B0AXC]QSJL:>9-?CS=a-QS=_^A0CS+-0
a)QS=Aa=HK:;CS:>=@9 $
%'&)( *+&
$,$
-&/.0*&)1*23%4&
$5$
(&)-6*+&
$
.7&)1*,*
:;CS+C]+-0$D@H]HK=[B :>DECS:>^:;CUJD_¨[:>=@.
8:98;<8=
$,$
9 & ;
*+&
= 2 9 & $; & =
*5*
D@9)bpCS+-0:Fb[0 9C]:CUJD_¨[:;=A.
89#9
2 9
D¢9)DE:>^@0a-Q]=@?AQ]D@..DJ0 9)b[<>0/H]HS<;JQS0DEQ]Q]D@9-?@01M-QVD@BVÇA0C]H$M0 =@Q]0¡)9)b[:>9-?\C]+-0pQ]:>?@+C¦b[0/QS:>^_D_CS:>=@9!> ½9
B =@9CSQVD@HKC/X +LG-.DE9)H4 ¿=AG-<FbCS+-:>9-ÇCS+)DEC4C]+-:>H¦a-Q]=@M-<>0 . Q]0/OG-:>QS0H9-= yAx]yEz){|Y}_ XRM-G-C¦QVD_CS+)0 QTUG)HKC1D
{VE?¾z[|¯¥E|~}E *+-0 J© ¿=AG-<FbD@a-a-<>J©D\b[0 CS0/QS.:>9-:>HKCS:FBD@9)b©CS0 Q].:;9D_CS:>9-?¢D@<;?A=@Q]:C]+-. CS=¢BV+)0/BVÇ¢C]+)D_C
C]+-0/HS0CU =CS0/QS.H8DEQ]0CS+-0H]DE.0$.=[b[G-<>=pD@H]HK=[B :>DECS:>^:;CUJ@@'0 9)B 0$C]+-0¦b[:FHKCS:>9)BC]:;=A9¢M0 CU ¿0/0 9¢B =@.a-G[
CVD_C]:;=A9D@9)bb[0/b-G)BC]:;=A9HK0/0 .HCS=M0=@ a)QS:>.0:;9CS0/QS0HUC¦ +-0 9HS=@<>^:>9-?\.D_C]+-0 .DECS:FB DE<§a-QS=AM-<>0 .H
¿=A.a-G[C]DECS:>=@9)HQ]0/OG-:>Q]0§TUG)HKCM-<>:;9b0 ¨[0/BG-CS:>=@9 +-:><;0b[0b[G)BC]:;=A9)H9-0/0/b9-=A9[¯b-0CS0/QS.:>9-:FHUC]:>BHS0/DEQVBV+I
¿=A.1a)G[C]DECS:>=@9pB/DE9MN08b[0 ¡)9-0bG)HS:;9-?¦D4b[0B:Fb-DEM-<>0'B =@9-?AQSG-0/9)B0'=@9a-Q]=@aN=AHS:C]:;=A9)HBA!:>9CS+)0'0¨-D@.¦
a)<;0'D@M=_^A0CS+-:FH§B =@9-?AQSG)0 9)B 0:>b[0/9CS:;¡)0/H§a-QS=Aa=HK:;CS:>=@9H0/OG-:>^_DE<>0 9CR.=Lb-G-<;=4QS0DEQ]Q]D@9-?@0/.10/9C=@«M-Q]DABVÇ
0 C]H/RLG)BV+b[0/B :>b-D@M-<>0B =@9-?AQSG)0 9)B 0/H B DE9=E³C]0 9M0b[0 ¡)9-0/bMLJpB=A9DC)G-0/9CD@9)bC]0 Q].:;9)DECS:>9-?HKJ[HKCS0 .H
=@¿Q]0 Q]:C]0¦Q]G-<>0/H/ ½9HS=@.0B D@HS0/H/X«0/OG)DECS:>=@9)D@<D_¨[:;=A.H8B/DE9DE<FHK=MN0B =@9)HS:Fb[0 Q]0/b«
"
0/b[G)BCS:>=@9B D@9
MN0$b[0 ¡)9-0/bGHK:>9-?:>9[0 Q]0 9)B 0QSG)<;0HDE9)bD_¨[:>=@.H/X-D@H:;C:>H:;9¢HS0/OG-0/9AC'B/DE<FBG-<>G)H/X[9)D_C]G-QVDE<!b[0b[G)BCS:>=@9IX
@':;<>MN0 QSCH§HSJLHKCS0/.H X " 0b[G)BCS:>=@9Q]G-<;0HRDE9bB=@.a-G-C]D_C]:;=A9QSG-<>0/H§HK+-=AG-<Fb9-=EC§MN0'B =@9[G)HS0/bDAHCS+)0 J
.=[b[0/<«^@0 Q]Jpb[:¾0 Q]0 9CD@BC]:;^L:;CS:>0/H/
º G[CS=A.DECS0bCS+)0 =@Q]0 . a-Q]=_^L:;9-?4.10 CS+-=[b-H¿MN0 9-0 ¡-C¿Q]=@. HSG)BV+pD$b-:>HKCS:>9)BC]:;=A9pMN0CU 0 0/9pb[0/b-G)BC]:;=A9
D@9)bB=@.a-G-C]D_C]:;=A9IE"-=AQ:;9)HKC]D@9)B0AXLCS+-0$DAHSHS=[B:FD_C]:;^L:;CUJDE¨[:;=A. B D@9MN0QS0/a-<FD@B0bMLJC]+-0QS0/ QS:;CS08Q]G-<;0
$9 & ;
*+&
=FG9
& $; & = *
*+)0 9IX[C]+-0a-Q]=@aN=AHS:C]:;=A9
H
$,$
%'&I( *&
$,$
-&).0*&/1*23%4&
$,$
(J&)-6*&
$
.4&/1*5*,*
Q]0 Q]:;CS0/H¿C]=
H $
%'&
$
(J&
$
-&
$
.4&/1*5*,*23%4&
$
(E&
$
-&
$
.7&)1*,*5*,*
C]+)D_C?A:;^A0/Hb[:>QS0BC]<;JpD1Q]0G[CVD_C]:;=A9 :;CS+C]+-0$B<FDEG)HS0
9 2 9
¸ D@BV+HKCS0/a=E§CS+-01QS0/ QS:;CS:>9-?pb-0 Q]:;^_D_C]:;=A9B D@9MN01HS:>.4G-<FD_C]0/b\:>9Q]0/HS=@<>G[CS:>=@9\ :;CS+©CS+)01DAHSHS=[B:FD_CS:>^L:CUJ
DE¨[:;=A. DE9b8CS+-0 D_¨[:;=A.H«=E[0/OG)D@<;:;CUJ@K¿G-C/XG-9-<>:;ÇA0CS+)0¿HS0/DEQVBV+8=@Q!DQS0 G[C]DECS:>=@9$b[0/QS:>^_D_CS:>=@9!X/Q]0 Q]:C]:;9)?
B/DE9MN0G)HS0/b:>9D¢b[0C]0 Q].:;9-:FHKCS:FB DJAX!a-Q]=_^L:>b-0/b©CS+-0pQS0/ QS:;CS0HSJ[HUC]0 . :>H$B =@9DCG-0 9C/>@'0 9)B 0@X CS+-0
Q]0 Q]:;CS:>9-?1b-0 Q]:;^_D_C]:;=A9b-=0H CS+-0TU=AM=E
¥_³
CS+-0.0/9AC]:;=A9-0/bQ]0G[CVD_C]:;=A9b[0/QS:>^_D_C]:;=A9)HD_C=@9B0@
½9C]+-00 ¨[D@.a-<;0¼DEMN=_^@0@X$B =@.a-G[CVD_C]:;=A9QSG-<>0/H©DEa-a)<;J CS=ªC]+-0C]0 Q].H¢=EC]+-0<FDE9-?AG)DE?A0@
º H
D@<;Q]0/DAb[J Q]0 .DEQ]Ç@0b MLJ ¾i)WI0 0AX " pPR<FDE:FHUC]0/b DE9)b`pP =@CKC]0 QPR<>D@:>HKCS0bDE9)bP=ECKC]0 QXIh-h_X
W!0 0DE9bpPR<FDE:FHKCS0/bIXIhEe§HSG)BV+¢Q]G-<;0HB DE9DE<FHK=DEa-a)<;JCS=CS+)01a)QS=Aa=HK:;CS:>=@9)H=E§CS+-01<>D@9-?@GDE?@0AWI0C
GH=@Q0 ¨[D@.a-<;0B =@9)HS:>b-0 QCS+)0$D_¨[:;=A.H!
$"
#$
* X "
&%X
$
'%X(X
H
%R*+-0/QS0$D@QS0.DE9LJ
DJ[H XA0/OG-:>^_DE<>0 9C¿G-apCS=¦a0/QS.¦G[C]DECS:>=@9=@Ia-QS=L=@!HUC]0 a)H/X@C]=¦Q]0G-CS0'MLJQ]0/HS=@<>G[CS:>=@9:;C]HB<FDEGHSD@<)^_DEQ]:>D@9C
H
*)
" )$ H "
)+
H $ )+
H "
),%
H
%-)
" H $
),%
H
%-)
$ H %
K G[CCS+-0¦a-Q]=@aN=AHS:C]:;=A9./
$"
#$
*
B/DE9¢MN0¦B =@9)HS:Fb[0 Q]0/b\DAH'Db[0 ¡)9-:;CS:>=@9¢=@ DE9)b¢HS:>.1:><FDEQ]<;JCS+-0
a)QS=Aa=HK:;CS:>=@9)H
"
0%·D@9)b
$
1%¼DAH'b[0 ¡)9-:;CS:>=@9)H'=E
"
DE9b
$
*+-:FHaN0 Q].:CVHC]=pHKG)a-a-Q]0/H]HCS+-0HK0
DE¨[:;=A.HD@9)bCS= ¿=AQSÇ.=[b[G-<>=CS+)0$B=@9)?@Q]G-0 9)B 08b-0¡)9-0bMJCS+-0Q]0 Q]:C]0Q]G-<>0/HBA
F "
#$
" F %
$ F %
CS+)DEC=@Q]. DB=A9DC)G-0/9ACD@9)bC]0 Q].:;9)DECS:>9-?QS0/ QS:;CS0HSJ[HUC]0 . =A9a-Q]=@aN=AHS:;CS:>=@9)H/[==@9-<>JCU =¦a-Q]=@aN=E
HS:;CS:>=@9)H¿QS0/.DE:>9+A2 DE9)b
H
%*+-0a)QS=Aa=HK:;CS:>=@93G)9[=@<Fb-H
¶
:Y0ALQS0/ QS:;CS0H]»CS=
"
#4$
CS+-0/9CS=5%
#4$
D@9)bC]+-0 9CS=3%
#
%*+-0B<FDEG)H]DE<N=AQS. =@!CS+):>H a-Q]=@aN=AHS:C]:;=A9p:FH%C]+)D_C?@:>^@0H¿b-:;Q]0/BCS<>JD4Q]0G[CVD_C]:;=A9
:;CS+CS+-0B<FDEG)HS0
H
% º ?ADE:>9IX0/DABV+pHUC]0 a=@«CS+-0QS0/ QS:;CS:>9-?4b-0 Q]:;^_D_C]:;=A9B=AQSQ]0/HSa=A9)b-HRCS=4D4QS0HK=A<;G[C]:;=A9
HKCS0/a\:;9¢CS+-04¡)Q]HKC'a-Q]0/HS0 9CVD_CS:>=@9!X)M-G[C8G-9-<>:;ÇA0CS+)0¦HS0/DEQVBV+=@QDQS0 G[C]DECS:>=@9¢b[0/QS:>^_D_CS:>=@9!XQ]0 Q]:C]:;9)?:>H
b-0CS0/QS.:>9-:FHUC]:>B8 +-0/9C]+-0Q]0 Q]:C]0HSJ[HUC]0 . :FHB =@9DC)G)0 9C/
*+-0HK00 ¨-DE.a-<>0/HD@QS0HKCSQVDE:>?@+CK=AQS DEQVbD@HCS+-0a-Q]=@aN=AHS:;CS:>=@9)H:>9L^@=@<>^@0bp:>9CS+)0$b[0 Q]:;^_DECS:>=@9)HB =@9[
CVDE:>99)=^D@QS:FDEM)<;0H JK G[C/X-:; ¿0 DE9CCS=a-Q]=_^@0CS+-0a)QS=Aa=HK:;CS:>=@9
609760;
$,$
%4&I( *+&
$9
&/1*2 %'&
$,$
(E&
;
*&
$
.7&)1*,*,*
GHK:>9-?1CS+-0$DAHSHS=[B:FD_C]:;^L:;CUJD_¨[:;=A.X[ ¿0.DJQ]0 Q]:C]0:;C:;9C]=
609760;
$
%'&
$
(E&
$9
&)1 *5*2 %'&
$
(E&
$; & $
.4&/1*,*5*,*
M)G[C ¿0B/DE9-9-=@CM-G-:><>bD1QS0 G[C]DECS:>=@9Q]=@. C]+-0$B<FDEG)HS0/H
H $
%'&
$
(J&
$9
&/1*5*23%4&
$
(J&
$; & $
.7&)1*,*5*,*
= 2 =
HS:>9)B0 CS+)0HUCVDE9)b-D@Q]b¦G-9-:;¡B/D_CS:>=@9D@<;?A=@Q]:C]+-.cb[=L0/H9)=EC KHS0 0 ¿C]+)D_CR:>9)HKC]DE9C]:>DECS:>9-? 9 MJ
- & .
DE9)b ; MLJ
-
aN0 Q].:CVH'D9-0/ QS0b[G)BC]:;=A9\=E CS+-0¦a-Q]=@aN=AHS:C]:;=A9I¿*+-:FHa)QS=AM-<;0/. +)DAHMN0 0/9¢HK=A<;^A0/bMLJ51NPR<;=@CSÇL:>9
PR<>=EC]Ç:>9IXIh89@2§MLJ¢CS+)0:;9C]QS=[b[G)BCS:>=@9=E xV¤z)¥E|~}EN¥E§z[)}: {V¥_|Y}_ *+-:FH:>b-0/D<>0/bD\b[0B D@b-0<>DECS0 Q
C]=$C]+-0HS=E½B D@<;<>0/b xV¤z)¥E|~}EN¥EN±]x £ _z[|~}E D@9)b.=@Q]0?@0/9-0 QVDE<><;J¦CS= | x]E±<;¦±]x £ _z[|~}E øCS:FBVÇ@0/<~XIh8@flY
*+):>H:>b-0/D+)D@H DE<FHK=M0/0 9¦0¨[a-<>=@:;CS0/b$:;94C]DEM)<;0DEG[¨$.0C]+-=[b-H ¶HS0 0AX=@Q :;9)HKC]D@9)B0AX=5D@<;<>:>0 Q0CD@<~>XIhAf>LX
" 0 ?@CUJAD@QS0/^D@9)b?=@Q]=@9-ÇA=_^¾XL2@j@j-h@»
º
<C]+-=@G-?A+¢C]+-0 J¢D@QS0$9)=ECG-9-:;¡DEM-<>04:>9¢C]+-01=@QVb[:;9DEQ]JHS0 9)HS0@XNC]+-0/HS04a-Q]=@aN=AHS:;CS:>=@9)HDEQ]040/OG)DECS:>=@9[
D@<;<>JG-9-:;¡DEM-<>0@# ½9[=AQS.D@<;<>J@X =@Q¦DE90/OG)DECS:>=@9)D@<CS+)0 =@Q]JRXD«¯G-9-:;¡B DECS:>=@9a-Q]=@M-<>0 . B=A9)HS:>HKC]H=@
0OG)D_C]:;=A9)H8=E CS+-0=AQS.
2
D@9)bDHS=@<>G[C]:;=A9©=@ HSG)BV+DE90/OG)D_C]:;=A9©:FHDHKG)M)HUC]:C]G[CS:>=@9 HKGBV+
C]+)D_C D@9)b DEQ]00OG-:;^_D@<;0/9AC.=[b[G-<>=R
¸ OG)DECS:>=@9)D@<¦G)9-:¡NB D_C]:;=A9 i@=AG)DE9-9DEG)bDE9)b:>Q]BV+-9)0 QXNh8>)h@1.DJ M0G-9)b[0B:Fb-DEM)<;0¼=@Q©OG-:;CS0
B =@.a-<>0¨« K G[C=AQKC]G-9)D_C]0 <>J b[0B:Fb[:>9-?G-9-:;¡DEM-:><>:CUJ B D@9 MN0 aN=AHKCSaN=@9-0b D@9)b .=Lb-G-<>D@QS:>È 0b
MLJ C]+-0cG)HS0=EB=A9)HUC]Q]D@:;9CVH CVDEQSCS:>9-? QS=A. C]+-0cHK0/.:;9)D@<\ ¿=AQSÇ =E51@G-0 C =@9+-:>?@+-0/QK
=AQ]b-0 Q Q]0/HS=@<>G[C]:;=A9 @'G-0CXIh 9E2X@G)0C/X!h9Ek8YX CS+)0 9-=@CS:>=@9 =@ b[0b[G)BC]:;=A9 :;CS+ B=@9HUC]Q]D@:;9C]H
HSa-Q]0/DAb :;CS+cB =@9)HKCSQVDE:>9C<>=@?A:>Ba)QS=A?@QVDE..:;9-? iAD ¾D@QD@9)bW!D@H]HS0 È@X«h8@f 9 ¦DE9)b C]+-0 9cB =@9)HKCSQVDE:>9C
a)QS=A?@QVDE..:;9-? *+-0cB=AG-9CS0/QSa)D@QKCVH·:;9 C]+-0 =AQS0/. a-Q]=_^L:;9-? D@QS0b[0b[G)BC]:;=A9 :C]+ B=@9HUC]Q]D@:;9C]H
:>Q]BV+-9)0 Q0C'D@<~>X«h@jLXEK-Q]BVÇA0 QSC/X¾h@jLXEK-QVBVÇ@0 QSC/X¾h8>-h@'D@9)bB =@.a-<>0CS0B=A9)HKCSQVDE:>9ACHSDECSG-QVD_C]:;=A9
a)QS=[B0HSHS0/H ¹ :>0 GL 0 9-+LG-:FHDE9b`G)M-:;=XIhEe[X ?':>?@9-0/QS=A9IX¾h>lX KD@BV+).D@:;Q0 C'DE<Y;X«h8>Al¯*+-0$:>9AC]0
?AQ]DECS:>=@9=EQS0/ QS:;CS0M)DAHK0b©CS0/BV+)9-:>OG-0H$DE9b©=AQ]b-0 Q]:;9-?H8:;9¡)QVHKCK¯=@QVb[0 Q8CS+)0 =@Q]0 . a-Q]=_^:>9-?\HSG-QS^A0 JA0/b
:>9 :>Q]BV+-9)0 QXNh8>Af8+D@H<;0b\CS=^@0/QSJaN=_ ¿0/QKG-< Q]0/HSG-<CVHDE9)b¢HSJ[HUC]0 .H/*+):>HDE<><>=_ H XN:;9B=A.4M-:>9)D_
C]:;=A9© :;CS+0/OG)DECS:>=@9)D@<B=@9HUC]Q]D@:;9C]H/XNCS=\HS=@<>^@04a)QS=AM-<;0/.H8B =@9)HS:Fb[0 Q]0/bMJ\.DECS+-0/.DECS:FB:FDE9)HDAH8+)DEQVb
Z¢B ¿G-9-0@X!h> 9 ¶HS0 0$D@<>HS= ¿=@<FD_CVD-X«h8>@g8»
K 0/HS:Fb[0/HcCS+-:FH :>b[0D =E M)G-:;<Fb[:>9-?E¯:>9 a)DEQSC =@ªCS+-0 0/OG)DE<>:;CUJ :>9 ?@0/9-0 QVDE<¼QS0 G[C]DECS:>=@9a-Q]=E
B 0/H]HK0H X CS+-0 H]DE.0 B =@9)B 0 Q]96=@ M-G-:><>b[:>9-?@Y:>9 a)DEQSC =E C]+-0 0/OG)D@<;:;CUJ :>9#0OAGD_CS:>=@9DE<Q]0/D_
HS=@9):;9-?:;C]HS0 <; 9G-CS+\DE9)bK 0 9)b-:¨«XIh89_j8 +)D@H <;0b CS= CS+-0 HUC]G)b[J =Ec0/OG)DECS:>=@9)D@< Q]0/D@HS=@9-
:>9-? .=Lb-G-<;=X +-=AHS0.D@:;9 <>D@9)b[.DEQ]Ç[HDEQ]0CS+)0 HUC]G)b[J=ED@H]HK=[B :>DECS:>^@0½B=A..4G[CVD_CS:>^@0¼B=@.a-<>0
C]:;=A9 P0C]0 QVHK=A9D@9)bCS:FBVÇ@0/<~X«h8@f-h@¯X CS+-0\?A0 9-0/Q]D@<HUC]G)b[J¼=EB=@+)0 Q]0 9)B 0=@D@90OG)D_C]:;=A9)DE<C]+-0 =AQSJ
:;CS+Q]0/HSaN0/BCC]=DQ]0 Q]:C]0HKJ[HKCS0 .'iA=@GDE9-9)D@G)bpD@9)b:;QVBV+-9-0/Q/X¾h8@f@g8¯X :CVH$G-9-:;¡)0ba-QS0HK0/9C]D_C]:;=A9
:>9 KDABV+-.DE:>Q/X¾hAf9 !D@9)b:CVH0¨LCS0/9)HK:>=@9:>9 Z¢D@Q]BV+-7AX«hEe[X ?:;Q]J@X)2@j@jA2¯
'$&' ',!#% ' ! '$ + '
¸ OAGD_CS:>=@9DE<NQS0HK=A<;G[C]:;=A9aN0 Q].1:;C]H C]=¦:>9CS0/?@QVD_CS08HK.=L=EC]+-<>J@X[DE9)bp:;9D¦B =@.a-<>0C]0 DJ@XACS0/QS. Q]0 Q]:C]:;9)?
HKCS0/a)HDE9bb-0/b[G)BCS:>=@9HUC]0 a)H/K G[C:;C:>H9-=@C0 9-=AG-?@+CS=+)D@9)b[<>0QSG)<;0HQS0/ QS:;CS:>9-?1a-QS=Aa=HK:;CS:>=@9H
")=@Q:>9)HUCVDE9)B 0@X[C]+-08CS+-0/=@Q]J=E:>9AC]0 ?AQ]D@<¾b-=@.DE:>9)HB=A9C]DE:>9)H¿CS+)0$D_¨[:;=A.
898;
$
9;
2
$9
2
# ;
2 *5*
*+):>Ha-Q]=@aN=AHS:;CS:>=@9B DE9MN0CSG-Q]9-0/b:>9CS=D1QS0/ QS:;CS0Q]G-<;0
9;
2
F 9
2
# ;
2
*+):>HQ]G-<>0QS0/ QS:;CS0HDE9D_C]=@.:FBa-QS=Aa=HK:;CS:>=@9¦CS=$Db-:>HTUG-9)BCS:>=@9DE9)bD@?ADE:>9IX@DAHDEQRDAH 0Ç9)=_ X_CS+-0/QS0
:FH9-= DJCS=Q]0 a-<FD@B 08:;CMLJpD1QSG)<;0Q]0 Q]:C]:;9-?1C]0 Q].H/
HK:>9-?CS+):>HQ]G-<>0@X- 0B DE9a-Q]=_^@0CS+-0a)QS=Aa=HK:;CS:>=@9
6D=
$%
%<2
=
% 2 = *
M)G[C8 0B DE9)9-=ECb[0 Q]:;^A0$C]+-0¦0/.a[CUJ¢B<FDEG)HS0$Q]=@.C]+-0B<FDEG)H]DE<=@Q]. =ER:;C]H9-0/?ADECS:>=@9I7 ½9)b[0/0/b¢ :;CS+
C]+-0$B<FDEGHK0H
%
%<2
= H $
%<2
=
*
0B D@9-9-=ECD@a-a-<>JCS+-0Q]0/HS=@<>G[C]:;=A9Q]G-<>0@
L=X¾ +-0 9¢ 0$+)D^A04HSG)BV+B=A.a-G[C]DECS:>=@9\Q]G-<>0/HQS0/ QS:;CS:>9-?a-Q]=@aN=AHS:;CS:>=@9)H/X) 0$:>9AC]QS=[b[GB0¦D@9-=EC]+-0 Q
a)QS=L=ENHK0DEQVBV+$QSG)<;0AXEB DE<><>0/b r Á Æ Á
Æ\t[ss
ÅLÄ5!XECS+)DEC/XE:>9$C]+-:>H0 ¨-DE.a-<>0@XEB=A.a)DEQ]0/H!CS+-0a-Q]=@aN=E
HS:;CS:>=@9
%
%2
= :C]+C]+-0<>0³CK¯+)D@9)bHK:Fb[0=E CS+-0Q]G-<>0
9;
2
F 9
2
# ;
2
D@9)bHKG-?A?@0HUCVH'C]+-0:>9)HUCVDE9CS:FD_C]:;=A9 = F
X«C]+)D_C$aN0 Q].:CVH8CS=Q]0/b[G)B 01CS+-0:>9)HKC]DE9C]:>DECS0/b©a-Q]=@aN=AHS:C]:;=A9
%
%<2 C]=
%<2
#
%<2
+-=HK0B<FDEG)H]DE<[=AQS. :FH
% 2
*+-0/9 0'B D@9B=@9B<>G)b[0C]+-0'Q]0G[CVD_C]:;=A9
MLJpD1Q]0/HS=@<>G[CS:>=@9HKCS0 a :;CS+CS+-0=@CS+-0/QB<FDEG)HS0
H $% 2 = *
*=@?A0CS+)0 Q :C]+CS+-0\Q]0/HS=@<>G[CS:>=@9¼QSG)<;0AXRCS+):>H0 ¨LCS0 9b[0/b¼9)DEQ]Q]=_ :;9-?©QSG)<;0=@Q].HDa-QS=L=@8HS0/DEQVBV+
.0 CS+-=[b«X!CS+)DEC$ ¿0B D@<;<¬®
|¯x NyAx]y
°
¥_±±]_²}³´¥_¾ypµx
£
_z[|~}E¶¸§¹º
`'Ȼ+-0/99-0 :;CS+-0/Q$Q]0 Q]:C]0
Q]G-<>0/H«9)=@Q!0OG)D_C]:;=A9)DE<@DE¨[:;=A.H!DEQ]0§B=A9)HK:Fb[0/QS0b«X C]+-0 ¸§¹º `.10 CS+-=[b:FH-TUGHUC G)HKGDE<EQ]0/HS=@<>G[CS:>=@9!ª+-0 9
0+)D^A0QS0/ QS:;CS0Q]G-<>0/H=AQ$0/OG)DECS:>=@9)D@<RD_¨[:;=A.H$DEa-a)<;JL:>9-?CS=C]0 Q].H4=@9-<>J@XCS+)0 ¸§¹'º ` .0C]+-=[b:>H
TUGHUC40OG)D_C]:;=A9)DE<RQ]0/HS=@<>G[C]:;=A9IX +)0 Q]0CS+-0Q]0/HS=@<>G[C]:;=A9Q]G-<>0?@0/9-0 QVD_C]0/HB =@9)HKCSQVDE:>9C]HC]+)D_C¦D@QS0HS=@<>^@0b
:;CS+D@90/OG)DECS:>=@9)D@<-G-9-:;¡B DECS:>=@9D@<;?A=@Q]:C]+-. *+-0'9-0 ªB DAHK0:FHR +)0 9 0+)D^@0D@<>HS=Q]G-<;0HRQ]0 Q]:C]:;9)?
DECS=A.1:FB$a)QS=Aa=HK:;CS:>=@9)H8HSG)BV+¢C]+)D_CCS+)0 r Á Æ Á Æ\t[ss ÅLÄ5D@a-a-<>:;0H ©01a-Q]=_^@0$C]+)D_CX«:;9©CS+):>H
B/D@HS0@XLC]+-0 ¸§¹'º `.10 CS+-=[b:FHB=A.1a)<;0 CS0a-Q]=_^:Fb[0bC]+-0QS0/ QS:;CS0HSJLHKCS0/. H]D_C]:>HK¡)0/HHS=@.0a-Q]=@aN0 QSCS:>0/H/
0©B =@9)HS:>b-0 Q=A9-<;JQ]G-<;0H +-=HK0¢<>0³CSY+DE9)bªHS:>b-0:FHpDE9 DECS=A.1:FBa-Q]=@aN=AHS:C]:;=A9I @0/9)B0¢ 0b[=
9)=ECpDE<><>=_ QSG)<;0H=E8CS+-0=AQS.0
" F $ ½9b[0 0b¼:>9CS+-0¢HS0/OG-0/9CpB DE<FBG)<;G)H5
"
B/DE9·M0
a)QS=_^A0/b©G)HK:>9-?\C]+-0pb[0b[G)BCS:>=@9Q]G-<;0H=EB =@9_TUG-9BCS:>=@9!#K G[C¦CS+-:FH$aN=AH]HS:;M-:><>:CUJ© ¿=AG-<>bMN0<>=AHKC4 +-0/9
Q]0/b-G)B:>9-?CS+):>Ha-Q]=@aN=AHS:C]:;=A9C]=
$
@0/9)B0$CS+-01b[0/b[GBCS:>=@9¢D@9)b\B=A.a-G[C]DECS:>=@9\Q]G-<>0/H =@G)<>b\B =@9DC):FBC
:>9·D©HS0 ^A0 Q]0 DJD@H1:Cb[=L0H:;90/OG)DECS:>=@9)D@<b-0/b[G)BCS:>=@9.=Lb-G-<;=X§ +-0/QS0CS+)0a)QS=AM-<;0/.:>HHS=@<>^@0b
MLJB =@+-0/QS0/9)B0Q]0/HKCSQ]:>BCS:>=@9)H iA=@GDE9-9)D@G)bDE9)b:;QVBV+-9-0/Q/X¾h8@f@g8¯ ½9C]+-0¢H]DE.0 DJ@X¿a-G[CSCS:>9-?CS+-0
a)QS=Aa=HK:;CS:>=@9
$
" * #
%:>9B<FDEGHSD@<-=@Q]. ¿=AG-<Fbb[:FHKa)DEC]BV+C]+-08<;:;CS0/Q]D@<>H DE9)b
"
:>9CU ¿=1b[:N0/QS0/9AC
B <>D@G)HS0/H/X.D@Ç:>9-?:;C.1=AQS0B =@.a-<>:>B/D_CS0bC]=QS0 CSQ]:;0/^@0CS+-0Q]0/b-0¨«
*+-:FHQS0HUC]QS:FBC]:;=A9ªCS=ªDECS=@.:FB¢<>0³CSY+)D@9)b HK:Fb[0/H9-0/^@0 QSCS+)0 <>0/H]HD@<;<>=_ H=AQa=_ 0 QSG-<¡)Q]HKCK¯=@QVb[0/Q
C]+-0 =AQS:>0/H <>:;ÇA0+-:>?@+-0/QK¯=@QVb[0 Q <>=@?@:FB8D@Hb[0 C]DE:><>0/b:;9\HS0/BCS:>=@9g-
+,' 0 !#0 ++ $+
*+)0 :Fb[0/D =EHK0/a)DEQVD_C]:;9-? B=@.a-G-C]D_C]:;=A9 HKCS0/a)H D@9)bb-0/b[G)BCS:>=@9 HUC]0 a)HB D@.0 C]= =AG-Q DECKC]0 9[
C]:;=A9 Q]=@. DEG[C]=@.D_C]0/b CS+-0/=@Q]0 . a)QS=_^L:>9-?) `0 Q]:;CS:>9-? CS0/BV+)9-:>OG-0H·+)D^@0DE<FHS= MN0 0/9:;.a-<>0
.0/9AC]0/b :;9.DE9LJªa-Q]=L=ED@H]HK:FHUCVDE9C]H/ @=_ 0 ^@0/Q/X:;9 =@G)Q\=@a-:>9-:>=@9IXDE9)b D@H\D@<>HS=.10/9CS:>=@9-0bMLJ
KDEQ]0 9)b-QS0/?ECDE9)bKDEQ]0 9)b-HS0 9!X[2@j@j2G-9)b-0 QC]+-09)D@.10=@ _}³¾{]¥E± ?N±}³¾{}?¾;x X:;C§:FH=E« :Fb[0 Q§:;9CS0/QK
0HUCDE9)bb[0/HS0 Q]^@0HC]=4MN08HKCSG)b-:;0bpDE<FHS=$Q]=@. D$a-Q]=L=E«C]+-0 =AQS0 CS:FB DE<NaN=@:>9AC =E!^L:>0 J ½9)b[0/0/b«XLQ]0 Q]:C]:;9)?
DECS=A.1:FBa-Q]=@aN=AHS:C]:;=A9)H:>9AC]QS=[b[GB:>9-?$B=A9-9-0/BCS:>^@0HRDE9)bOG)D@9AC]:¡0 QVHRB D@9BV+DE9-?A0¿C]+-0<>=@?A:>B/DE<)HKCSQ]G)BC]G-Q]0
=@CS+-01a-Q]=@aN=AHS:C]:;=A9)H'D@9)b¢+)0 9)B 0¦DE<><>=_ H9-0/ b[0/b-G)BC]:;=A9©HKCS0 aH *+-:FH<>0/DAb-H'CS=DpQS0DE< :;9C]0 QVD@BC]:;=A9
MN0CU 0 0/9B=A.a-G[C]DECS:>=@9DE9)bb-0/b[G)BCS:>=@9DE9)bC]=D9-=@9-~C]QS:>^L:>D@<¿a-Q]=L=EC]+-0 =AQSJA ½9CS+-:FH1a)DEaN0 Q1 ¿0
b-0¡)9-0Da-QS0HK0/9C]D_C]:;=A9\=E yAxVy_z){ |~}Ey_z[> MD@HS0/b\=A9¢CS+)01HS0/OG-0/9ACB D@<>B G-<>G)H ' B=@G)Q]HS0@X¾=EC]+-0 Q
=AQS.D@<;:FHK.HRHSG)BV+DAHR9)DECSG-QVDE<Nb[0/b[GBCS:>=@9=AQ @':;<>M0/QKC H HSJLHKCS0/.H§B D@9M0'G)HK0bD@H§ ¿0/<;<Y ½9pb[0/b-G)BC]:;=A9
.=[b[G-<>=)XLC]+-0Q]:;?A+ACQ]G-<>08=@C]+-0$B=A9_TUG-9)BCS:>=@9B D@9-9-=ECMN00¨[a-Q]0/H]HK0bDAHG)HSG)DE<
*)
"
)
"
)
MN0/B/DEG)HS0 ¿0+D^@0¿CS=C]D@Ç@0:>9AC]=$D@B/B=@G)9ACC]+-0D@BCCS+)DECCS+-0'B =@9)B <;GHK:>=@919-0 0b19-=ECMN00/OG)D@<LCS= "
M)G[C.DJM0=A9-<>JpB=A9-?@Q]G-0 9C CS=C]+-:>Ha)QS=Aa=HK:;CS:>=@9IE@'0 9)B 0CS+-:FHQ]G-<;0:FHHUCVD_C]0/b
*)
"
)
$
)
$
D@9)b
"
DEQ]08B =@9-?AQSG-0/9C
, 0 & ', , $
¿=A.a-<;0 CS0/9-0/H]HI=@)¬R® |½x Ny@xVy ° ¥E±±S_²}³L´ Nyµx £ _z[|~}E :>H=@M-C]DE:>9-0ba-QS=L=@³~C]+-0 =AQS0 CS:FB DE<><>J@X Q]0 <FD_C]:;9)?
:;C]H8b[0/QS:>^_D_CS:>=@9HCS=pCS+-=HK0¦=EC]+-0¦HS0/OG-0/9ACB D@<>B G-<;GH.=[b[G-<>=) º 9©D@<C]0 Q]9)D_C]:;^A0$HK0/.D@9CS:FB DE<.0CS+)=Lb
+D@HMN0 0 9Q]0/B 0 9CS<>Jpb[0/^@0 <>=@aN0/bMLJ øCSG-MN0 QX2@j@j-h@¯X-G-9b[0 Qb[:¾0 Q]0 9C+LJaN=EC]+-0/HS0/H/
º H'G)HSG)D@<!:>9¢HKJL9C]DABCS:FBa-Q]=L=EH/XB =@.a-<>0CS0/9-0/H]H:FH=AM[C]D@:;9-0bQS=A. B G[C0/<;:>.:;9D_CS:>=@9 ¶HK=A.0CS:>.0/H
G)9)b[0 QICS+-0=AQS. =ED@0/QSM-QVDE9bH«CS+-0/=@Q]0 .»@'0 Q]0 ¿09)0 0/bB G[CI0 <>:>.1:>9)DECS:>=@9=@QICS+-0RHS0/OG-0/9AC B DE<FBG)<;G)H
.=[b[G-<>=) ¯Cb[0 aN0 9b-H=A9C]+-0B=A9)HS:>b[0/QS0b¼B =@9-?AQSG)0 9)B 0@X G-9-<>:;ÇA0¢BG[C0/<;:>.:;9)DECS:>=@9=@Q¡)Q]HKCK¯=@QVb[0/Q
HS0/OG-0/9CB/DE<FBG-<>G)H/X«CS+)DEC:>Ha-Q]=_^@0b\=@9B0DE9)b¢=@Q$D@<;<Y ¿G[C$0/<;:>.:;9D_CS:>=@9©=@Q^_DEQ]:>=@G)HB=A9-?@Q]G-0/9)B0H
+D@H¿M0/0 9pa)QS=_^A0/b:>9 " =_ 0 ÇD@9)b ©0/QS9)0 QX«h>8YXL:>9)B<>G)b[:>9-?DE<><)C]+-0B=A9-?@Q]G-0 9B0/H§a-Q]0/HS0 9CS0bMLJD
B =@9DCG-0 9C§DE9b1CS0 Q].:;9D_CS:>9-?$OG)D@9AC]:¡0 QS~Q]0 0Q]0 Q]:C]0HKJ[HKCS0 .X@CS+-=HK0a)QS0HK0/9AC]0/b1MLJ¦D$B =@9DCG-0 9C§DE9b
C]0 Q].:;9)DECS:>9-?aN=AHS:;CS:>^@0pQ]0 Q]:;CS0pHSJ[HUC]0 .DE9)bCS+)DEC¦=@D\¡)QVHKCK¯=@QVb[0 Q$a)QS0HK0/9ACVD_C]:;=A9=E+-:>?@+-0/QK¯=@QVb[0/Q
<>=@?A:>B@
¯C:>H¿ =@QSCS+.0 9C]:;=A9-:;9)?$CS+D_C§C]+-0 Q]0':FH¿CSQ]:;^L:FDE<><;J19-=
¸§¹'º
` b[0/QS:>^_D_C]:;=A9=EIC]+-0B =@9CSQVD@b[:FBC]:;=A9
.=[b[G-<>=¦CS+-0B=A9-?@Q]G-0/9)B08b[0¡)9):;9-?1+-:>?@+-0/QK¯=@QVb[0/Q§<>=@?@:FBEJ@0/9)B08C]+-0B=@.a-<>0C]0 9-0HSH¿=E
¸§¹'º
`.=[bL
G)<;=¦CS+-:FHB=A9-?@Q]G-0/9)B08:;.a-<>:>0/H CS+)0B =@9)HS:FHUC]0 9)B J=E!+-:>?@+)0 QSY=AQ]b[0/Q§<>=@?A:>B8DE9)b:;CB/DE9-9)=ECM0a-Q]=_^@0b:>9
+):;?A+-0 QSY=AQ]b-0 Q«<>=@?@:FBE *+LG)HI:;C :FHI9)=EC HSG-Q]a-Q]:>HS:;9)?CS+)DECaN=_ ¿0/QKG)<@a-Q]=L=E[CS+)0 =@Q]0C]:>B/DE<AQS0HKG-<;C]HDEQ]0R9-0/0/b[0b
C]=¢=@M-C]DE:>9B=A.a-<;0 CS0/9-0/H]H=EC]+-:>H¦.0C]+-=[b ¶=@Q1D¢b[:FHSB G)H]HK:>=@9=@9C]+-:FH4aN=@:>9C¦HK0/0 " =_ 0 ǾX-2EjAj@j8»
*+):>HRB =@.a-<>0C]0 9-0HSHC]+-0 =AQS0/. HSG-?@?A0/HKC]H9-0/ ªDEa-a-<>:FB D_C]:;=A9)H=E«a-Q]=L=ENCS+-0/=@Q]JCS=¦DEG[C]=@.D_C]0/b¦CS+-0/=@Q]0 .
a)QS=_^L:>9-?)
&0 ! '&
" 0/b-G)BC]:;=A9.=[b[G-<>=p+)DAH'.DE9LJ:>.1aN=@QSC]D@9C8DEa)a-<;:FB DECS:>=@9)H<>:;ÇA0$CS+)04:>9AC]0 ?AQ]DECS:>=@9¢=@§b[0/B :>HS:;=A9¢a-Q]=[B0
b-G-QS0H:;9C]+-0 =AQS0/. a-Q]=_^@0 QVH/
º 9-=EC]+-0 Q:>.1aN=@QSC]D@9CD@a-a-<>:>B/D_CS:>=@9:>HCS+)0©.0/BV+DE9-:>È/DECS:>=@9 =@4+-:>?@+-0/QK¯=@QVb[0 Qp<;=A?@:FBE L:>9)B0 ¿0
:>9)b[0/0/bHKC]DEQSCS0bQ]=@. CS+-:FH<FD@HKCa-QS=AM-<>0 .X[ ¿00 ¨[0 .a-<>:JpCS+-0$D@a-a-Q]=AD@BV+pMJDEa-a)<;JL:>9-?1CS+-0a-Q]0 ^L:>=@G)H
Q]0/HSG-<;C]HC]=4D8¡)QVHUCSY=AQ]b-0 Qa-Q]0/HS0 9C]DECS:>=@91=E«+-:>?@+-0/QK¯=@QVb[0/Q <>=@?A:>BMD@HS0/b=@9B =@.4M):;9)DECS=AQ]H/X@DE9b¦ 0'HS+-=_
C]+)D_C!CS+-0 ¸§¹'º `.0CS+)=Lb4HKG-MHKG-.0HI+-:>?@+-0/QK¯=@QVb[0/QNQ]0/HS=@<>G[C]:;=A9 @G)0C/Xh 9E2XB@'G-0CXIh 9_k8¯0¿HS+-=_
:>9 " =_ 0 Ç0C'D@<~>X)2EjAj-h@!+)=_ CS+):>HB =@G-<FbM0$D@a-a-<>JCS=D¦¡)QVHUCSY=AQ]b[0/Qa-QS0HK0/9C]D_C]:;=A9p=@+-:>?@+-0/QK¯=@QVb[0/Q
<>=@?A:>BM)DAHK0bp=A9DB/DE<FBG-<>G)H=E 0¨[a-<>:>B :C'HSG-M)HKCS:;CSG-CS:>=@9)H/
+ '" &!J
[0/BC]:;=A9·h1a)QS0HK0/9ACVH8CS+-0£ xV¤ z)x|8{V¥_;{ z[ýz £ y_z[> DE9)b:;C]H.D@:;9a-Q]=@aN0 QSCS:>0/H/pL0/BCS:>=@92b[0¡9-0/H
C]+-0¢¬® |¯x NyAx]y ° ¥_±±SE²}³´ ¾yµx £ Eýz[|~}E¶¸§¹º `'»1a-Q]=L=E'HS0/D@Q]BV+.0 CS+-=[bD@9)bHS0/BCS:>=@9)H1k-Xe
D@9)bl¦DEQ]0b[0/b[:FB DECS0bC]=4C]+-0B=@.a-<>0C]0 9-0HSH a-Q]=L=E!=@!C]+-:>H .0C]+-=[b« 0B =@9)B <;Gb[0:;9\L0/BCS:>=@9g4MLJ
a)QS0HK0/9AC]:;9)?1D@9D@a-a-<>:>B/D_C]:;=A9CS=+):;?A+-0 QSY=AQ]b-0 Q <;=A?@:FBE
/
*+):>H a)D@a0/QD@a-aN0/DEQ]0/b¡)QVHUCD@H ¹ ` º Q]0 aN=@QSCkEeAjAj3" =_ 0 Çp0CDE<Y;X!h>Af8«:;9 º a-Q]:><h>Af4D@9)b:;C:>H
0 ¨[a0BCS0bCS=DEa-aN0/D@QMLJCS+-00/9)b=E2Ej@jAk4:>9CS+-0$iA=@G)QS9)D@<¾=E º G[CS=A.D_CS0b`0/DAHK=A9-:;9)?)
*+):>HQS0/a=AQKCB=AQSQ]0/HSa=A9)b-HC]=C]+-0pTU=AG-Q]9)DE<8^@0/Q]HS:;=A9ª :C]+ .=@Q]0©b[0 C]D@:;<><;0b B=A..10/9C]HDE9)b·G)<;<>J
0 ¨[a)DE9)b-0/b1a-Q]==@H +-0/QS0 CUJLa-:FB DE<><>J4=@9)<;J4CS+-0.D@:;9a-Q]=L=E«DEQ]?@G-.0/9ACVHDEQ]0a-QS0HK0/9CS0/b1:>9CS+-0RTU=@G-Q]9)DE<
^A0 QVHK:>=@9!
$
'& '&
0B=A9)HK:Fb[0/QDHS0C=EG-9)BCS:>=@9HKJL.¦M=A<>H/X_G)HSG)DE<><;J¦b[0 9-=@CS0b ) ) );X@DHK0 C=Ea)QS0b[:>B/D_C]0HSJL.4MN=@<FH X
D@9)bD@9:>9[¡)9-:;CS0\HS0C=E'^_D@QS:FDEM-<>0/H +-:>BV+¼0 <>0 .0 9CVH1D@QS0b[0 9)=ECS0b 9 ) ; ) =
)¼*+-0/HS0HS0CVHDEQ]0
DAHSHSG-.0/b8C]=MN0¿b[:FHTU=A:;9C ¸ DABV+G-9)BC]:;=A94HSJ.¦M=A<AD@9)ba-Q]0/b[:FB DECS0§HSJL.4MN=@<@+D@H!D¡-¨[0/bDEQ]:;CUJ@ ¹ G-<><>D@QSJ
G)9)BC]:;=A9HKJL.¦M=A<>HD@QS0¦B DE<><>0/b {V_ £ |½¥_|£ 0¦D@H]HSG-.0CS+)DEC'C]+-0 Q]0$:FH'D_C<;0D@HKC'=@9-0¦B=@9HUCVDE9C/*+-0
HS0C$=@ |½x ± £X ¥_|½_1}{4?¾±S ?) £ }³|Y}_ £X ?¾±S ?) £ }³|Y}_ £$D@9)b¼£ x )|½x N{Vx £ ¶:Y0A!B<>=AHS0/ba-Q]=@aN=AHS:;CS:>=@9)HV»8DEQ]0
b-0¡)9-0b$D@H!G)HSG)DE<:;9$¡)Q]HKCK¯=@QVb[0/Q«<;=A?@:FB5D@<;<>:>0 QX«h@fAg8Y0¿D@H]HSG-.0CS+)DEC!C]+-0§Q]0/DAb[0 Q:>HIDE.:;<>:FDEQ! :;CS+
C]+-08M)D@HS:>B'9-=EC]:;=A9)H¿=E!Q]0 Q]:C]:;9)?4D@H b[0¡9-0/b«XL=AQ¿:>9)HKC]D@9)B0:;9 " 0 QVHK+)=_ :C]ÈD@9)bi@=AG)DE9-9DEG)b«X«h8>Aj8Y
[:;9)B 0 ¿0B=A9)HK:Fb[0/Q¦Q]G-<>0/H1QS0/ QS:;CS:>9-?a-Q]=@aN=AHS:C]:;=A9)H$C]+)D_CB =@9C]D@:;9¼M-:;9b[0 QVH ¶OG)DE9C]:¡)0/Q]HV»X¿ ¿0DE<FHS=
GHK0HS=@.09-=@CS:>=@9)H=@ {]E }³N¥E|¯E±<;±SxVyEz){|Y}_ £ ; £ |½x £<>=@a0C'DE<Y>X«h>Ak8Y\*+-0GHKG)D@<§9-=@CS:>=@9)H
HSG)BV+pDAHRC]+)D_C=E {V{z[±±]x¾{]x DEQ]0'?A0 9-0/Q]D@<;:>È 0b1CS=¦a-QS=Aa=HK:;CS:>=@9H XLB<FDEG)HS0/H/XN ]*+-0HKC]D@9)b-D@Q]bB/DEa[C]G-Q]0
D^A=@:Fb[:>9-?1HSG-M)HKCS:;CSG-CS:>=@9=E CS+-0$CS0 Q]. ¿=@QC]+-0^_DEQ]:>D@M-<>0 9 :;9\D1a-Q]=@aN=AHS:C]:;=A9 :>H QS:;CKC]0 9 9
½9¢B =@9CSQVD@HKC/X 9 F b[0/9-=EC]0/HC]+-0¦HSJL9C]D@BCS:FBQS0/a-<FD@B0/.0 9C'=E =AQ 9 :>9*+-0 y@E¥E}³ =@D
HSG-M)HKCS:;CSG-CS:>=@9 :>H'CS+-0HS0C=ER^_DEQ]:>D@M-<>0/HC]+)D_CDEQ]049)=EC'C]QS:>^L:>D@<;<>J.DEa-aN0/b¢CS=C]+-0 .HS0 <>^@0H'MLJ X« ¿0
b-0 9-=@CS0:;C "!$#
$ * ª+-0 9&%ª:FHDE9\=[B B G-Q]QS0/9)B0:>9¢Da-Q]=@aN=AHS:C]:;=A9XN ¿0 Q]:;CS0 '(¢=AQCS+-0$CS0 Q].
=AQ¿a)QS=Aa=HK:;CS:>=@9pDEC=LB/BG-Q]Q]0 9)B 0)%¼D@9)b +*-,
(
=AQ¿C]+-0a-Q]=@aN=AHS:C]:;=A9=@M[CVDE:>9-0/bpMLJQS0/a-<>DAB:>9-?'(\MLJ
:>9
Á/.22r Å 103240 CS0/QS.Q]0 Q]:C]0$Q]G-<;0 }£ ¥ ?)¥_}³±65¦|½x± £87 F:9<; £ z £ z)¥E>= | x<_¥_±}¥?>x £ 6589
1z £ |R/{V{ z[±'}³ 7; 0/OG)D_C]:;=A9)DE<ND_¨[:>=@. }£ ¥ ?)¥_}³±$5'|½x± £@7
2
9; a-Q]=@aN=AHS:C]:;=A9QS0/ QS:;CS0'QSG-<>0 }£
¥'?)¥_}³±¦5 ?N±]?) £ }³|~}E £87 FA9/=¿² x±Sx 7 }£ ¥_¥_|½_1}{?¾±S ?) £ }³|Y}_¥_¾yB9}£ ¥E±}³|Y±S¥E±<;C; £ z £ z)¥E>=
| x@5V±SxVx ¥E±}¥C ;x £ 59¦z £ |/{V{ z[±}³ 7 ;
º 90 ¨-DE.a-<>0=@ D¦CS0/QS. Q]0 Q]:;CS08QSG-<>0:>H 9 &
FG9 CS+)DEC:FHa)D@QKC=ECS+-08C]+-0 =AQSJ=@?@Q]=@G)a)H º 9
0 ¨-DE.a-<>0=E«DE90/OG)DECS:>=@9)D@<)D_¨[:>=@.c:FH 9 & ; 2 ; & 9 CS+)DEC§:>HRa)DEQSCR=ENCS+-0CS+-0/=@Q]J4=E º MN0 <>:FDE9?@Q]=@G)a)H
º C<>DAHUCXDE9\0 ¨-DE.a-<>0$=ERDa-Q]=@aN=AHS:C]:;=A9QS0/ QS:;CS0Q]G-<>0$:>H 9EDGF
$; * F 8=
$
=HD>9 =HD ; *
C]+)D_C:>H
aDEQSC=@ HS0CC]+-0 =AQSJA
º { ;¥ £V£ ±Sx ²±}³|½x £ ; £ |¯x :FHD1a)DE:>Q/X-b-0 9-=@CS0/bMLJ+I §XB=@9HK:FHUC]:;9)?¦=@A
J I A§DHK0 C=Ea-QS=Aa=HK:;CS:>=@9QS0/ QS:;CS0Q]G-<>0/H/X
J
A§DHS0C=E CS0/QS. Q]0 Q]:;CS0QSG)<;0HDE9)b0/OG)DECS:>=@9)D@<ID_¨[:;=A.H
Á/.22
r
Å 1032
}_x¥ ?N±S ?-
£
}³|~}E±Sx ²±}³|¯x
£ ; £
|¯x
I
=R|
x ?¾±S?)
£
}³|Y}_
IYQ]0 Q]:C]0/H
|½
=
yAx¾_|½xVy
F
=1}5
'( 2 $7*
¥ENy
2
+*
$9 *,( =5E±
£
Ex±z[;x
7 F 9 D I = £
_x
{V{z[±±]x¾{]x
%
}³
¥ENy
£
Ex
£ z £
|Y}³|~z[|Y}_ ; £ z £ z)¥EI²
x ¥ ? ?N;_}³´ = ¤ z)¥_|~}: x]y ¥E±}¥C ;x
£
5 9¥_±Sx4±Sx N¥ExVy|½p¥ E}y{V¥ ?N|Yz[±Sx £ ;
")=@Q:>9)HKC]DE9B0@X[ :;CS+C]+-0QSG)<;0H
9 ;
2
F 9
2
# ; 2
%
D
$
( *
F 89 $9 D %
G9 D
( *
0+)D^@0CS+)0=@<><;=_ :>9-?QS0/ QS:;CS0HKCS0 aH6A
8= =#=
2 F
8=
$= 2 # =
2 *
8 =8=
==
2 F
8= 8 = $=
2
# =
2 *
8:9 $ ; ;
2 9BD
$
( *,*
F 8:9
$
8 D ;;
2
9 D
*
¹ =EC]:>B 0C]+)D_CC]+-0a-Q]=@aN=AHS:C]:;=A9 = #= 2 = B D@9-9-=ECMN0QS0/ QS:;CKC]0 9MLJCS+-0HK0Q]G-<>0/H/
*+-0QS06C)0¨[:>^@0 ~C]Q]D@9)HK:;CS:>^@0B <;=HKG)QS0=@«CS+-0QS0/<>DECS:>=@9 F :FH§ Q]:CSCS0/9 F *+-0'Q]0 <FD_C]:;=A9)H
2 DE9b
2
DEQ]0CS+)08B =@9-?AQSG-0/9)B0HR?A0 9-0/Q]DECS0/bQ]0/HSaN0/BC]:;^A0 <>JMJ DE9)bIR 0CS+-0/9b[0 ¡)9-0C]+-089-=EC]:;=A9
=@I «¯Q]0 Q]:C]:;9-?
Á/.22r Å 1032 }_x¥{ ;¥ £V£ ±Sx ²±}³|½x £ ; £ |¯x I =| x ?¾±S ?) £ }³|Y}_ I I¯QS0/ QS:;CS0H |½ =
yAx¾_|½xVy F
=§}5
2
" = " '( 2 $7*
¥_¾y
2
" * $9 * ,(
=35_± £ Ex¦±z[;x 7 F 9D I =
£ Ex?N±S ?- £ }³|~}E
" = £ Ex1/{V{ z[±±Sx N{Vx % }³
"
¥_Ny £ _x £ z £ |Y}³|Yz[|~}E ;
*+-0 9)0¨LC CU ¿= Q]0/HSG-<;C]H DEQ]0 b[:;Q]0/BC B=A9)HK0OG-0 9)B 0/H =E CS+-0 HKC]D@9)b-D@Q]b QS0/ QS:;CK
:>9-? B=A9)B0/a[C]H i@=AG)DE9)9)DEG)bDE9b :>Q]BV+)9-0 QX¾h@fAgLX KD@DAb[0 QDE9b ¹ :;a-ÇA=_ X«h@f8 DE9b
*0 Q]0/HS0 ¶Z K 0 È/0 .X-i <;=AaD@9)b`-b[0 ?Q]:TU0/Q/X[0b-H/»X2EjAjA2¯
! s Å#"§Å
q r
Å 03240%$
x {V_|¯¥E}³
£
E);±Sx ²±}³|½x±z[;x
£
¥ENy|
x$±Sx²±}³|½x
£ ; £
|¯x
I&
}£ {V_#'
( z)x )|R| x | x4±Sx ;¥_|Y}_ F
}£ ¥_£ {V_ ( z)x )| ;
! s Å#"§Å q r Å 032)5 2 " | x 2 "
E± +* F
"
=};³x; ¥_¾y
"
¥_±]x±Sx ;¥_|½xVy ;
| x4±Sx( x® }_x = £ ;_1x |~±}{1¥_¾y|Y±S¥_ £ }³|~}_x¦{ ; £ z[±]x¦5| x$±]x;¥E|~}E F ;
-,
,. +, ' 0 ! 0 ++ $+&
0DEQ]0¦9)=_ DEM-<>0¦CS=?@:>^@0@X«:>9 ":>?@G)QS0h@X«C]+-0b[0¡9-:C]:;=A9©=@RCS+)0HS0/OG-0/9CB/DE<FBG-<>G)H8.=[b[G-<>=)¦*+):>H
HS0/OG-0/9C B D@<>B G-<>G)H!0 ¨LCS0 9b-HIC]+-0 G)HKGDE<=@9-0 ¶HS0 0@X=AQ:>9)HKC]D@9)B0AXø5DE<><>:;0/Q/X«h8@f@gLXE58:>Q]D@Q]bp0C'D@<~>X«hAf>8»X
MLJ4D@<;<>=_ :>9-? ¿=AQSÇL:>9-?.=[b[G-<>= I RJ ½91CS+-0HK0Q]G-<>0/H/X \DE9b DEQ]0 ¡)9-:;CS0.4G)<C]:>HS0CVH=E¾a-Q]=@aN=AHS:C]:;=A9)H
¹ =EC]:>B 0CS+)DECCS+-0¦b[0/b[GBCS:>=@9\Q]G-<>0 t Å QS0OG-:;Q]0/H C]+-0$<>0³C'a)QS=Aa=HK:;CS:>=@9\DE9bpC]+-0$Q]:;?A+C=@9-0C]=M0
:Fb[0/9AC]:>B/DE<[.=[b[G-<>=CS+-0B =@9-?AQSG)0 9)B 0D@9)b¦9-=EC«TUG)HKC§G-9):¡D@M-<>0@/. x N{Vx| x 5V±SxVx ¥E±}¥C ;x £ 65¥ £ xV¤z)x )|
{V¥E)NE|Vx4}³ £ |¯¥E)|Y}¥_|½xVyp¥_¾yp¥E±Sx$|Y±SxV¥_|½xVy¥ £ {V_ £ |¯¥E)|£ ;
ª+-0/9\CS+)0¦B=A9-?@Q]G-0/9)B0
2
:FH'HS:>.1a)<;JCS+)04:Fb[0 9CS:;CUJ@XCS+):>HHK0OAG)0 9CB D@<>B G-<>G)H'B =@<><>D@a)HK0HCS=pCS+-0
GHKG)D@<«=@9-0AJ ½9C]+)D_C'B/D@HS0HK0OAG)0 9C]HD@QS08 QS:;CKC]0 9\D@HGHKG)D@<« :C]+CS+-0HKJL.¦M=A<~
*+-09)0¨LCCU ¿=1a-Q]=@aN=AHS:C]:;=A9)HQ]0/HSG-<Cb[:>Q]0/BC]<;JQS=A. CS+-0$b-0¡)9-:;CS:>=@9H6A