HAL Id: inria-00074138
https://hal.inria.fr/inria-00074138
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
Large Integrating formal verification methods of quantitative real-time properties into a development
environment for robot controllers
Muriel Jourdan
To cite this version:
Muriel Jourdan. Large Integrating formal verification methods of quantitative real-time properties
into a development environment for robot controllers. RR-2540, INRIA. 1995. �inria-00074138�
a p p o r t
d e r e c h e r c h e
!"$#%'&
(*),+ -(./10' 0234&5
6%7"((08953:'5;(< =>?@: 33&
Muriel Jourdan
N˚ 2540
Avril 1995
PROGRAMME 4
6%7"((08953:'5;(< =>?@: 33&
! #"%$&'()+*-,./01*2345)76*98:*;<
=>?5)&@A*;B
$7CB/B()ED4GFH/5IFH/J<LKNMOC NP#"RQE6N?*TS7UGVVOW"XMVYB(G8
Z\[^]5_G`ba(c_dfeg<h)H*98EB(Bi54jkYDG8=FI?*;'(./4Il/B(5+*25<(FI3jk*;)Hh\D56IS;B/5<)45<6*;</m
5<)#nop='()FI<)CSqS;58r0j7H*9FHsB/6*9DG8#)H/\.(8?5tjk*;)Hnu3bSv65+*qwxF5C)?*;<no./<(FIm
)?*;<(ySq*;)?*;G85z#{ht8?).(D|}H/j~)=./5<N)E)H/G8?#nu./<(FI)?*;<(bST*;)?*;G84'|bS98?\bSTS;jk*;</3no=bS
65+*qwxF5C)?*;<Cn,.(<N)+*2)I)?*;6kGbS;mu)?*;7B/=B(5)+*2G8rzk7./vB/B/=NF=HL*98A'(8?GD#<)H/k)?*;GD
Il/)5<(8:*;<tnxE8?|<(FH/</.(8S9</.(0b<(GDt *;GDmuQEN850C<(D4<t!8?|t'(ST*9F /DIS2m
F=H/GF*;</)NCS<(GDhE</N8nu4)H/GbS;mu)?*;)5B(ySS2*9FEv7Az{ht*TSTS2.(8+))
)H*987CB/B/NF=H\'N|3L=GbSIl1BS2#)5<nu)H/4G#n./)=</.(8 65H*9F=S;G850ij7H*9FH
BiN8?G8k8?EFH(bSTS;5</G8k<)H/EB/BST*-F5C'*qST*9)?|\n)H/)H/5|C<(D#w(<(bSTS;|0/jkD*98FI.(88k8?
BiN88:*;'S;L8?S;./)?*;<(85zkH*98ETurg5T^GbSxCB/BSq*9F5)+*2<*98yS-8+L<B/Bi)./<*;)?|t)E*9D5<N)?*Tnu|
</5jG8?GIFH}D*;GFI)?*;<(8&*;<})H/tG#n^nobS65?*TwxF5)+*2<z
N?tx` ^]d¡nu3bSx65+*qwxF5C)?*;<0GbS;mu)?*;L8?|/8?)58r0¢8+|N<(F=H/</.(8AS9</NCG850)5Bim
ySS;*9F5850/'()?*9F
£o¤t¥
¦?§?¨G©
¥
¦ª«2§¬®G¯
+' :'9 %'1%(43 0706@% 0'0'333 &
=3),+
¢] d
7.(8EDGFI+*26<(84D/<(8EFIpIB/B(=)FI5<N)*;<N)55EDG8E5)H//DG8EDp65+*qwxF5C)?*;<
nuISTS;\DB/B/?*5)G8E,.(C<N)?*;)C)?*;6G84)5B(ISTS;G83./<h5<6*;</</55<N)tDb*9DC. D5m
6IS;B/Bi55<)LDB/BST*9F5)?*;<(8E'i)?*9,./p</#!$7Qtz)=LB/B//FH/#G8?)!'(85
8?./&S./)?*TSq*98C)?*;<hD./</4Il¢)=5<(8:*;<})5B(ISTS;pD.S9</NL8+|N<(F=H/</4QEN8 5)!D./<\./m
)?*TSLD}65?*TwxF5)+*2< 8?|Nt'iST*-,./</E=</N85z.(8Y*TSqS;.(8?)=<(8\FI5))}CB/B/¢F=H/8+./
./<3Il¢5BS245ISD4FI<(D.*;)4./)</!DE65H*-FI.S;G85z5))7Il/B 5+*25<N)C)?*;<G8?)kB(./
</.(8 S!/F5F58:*;<3Dv6bST*9D5./</7B/B//FH/ nuISTS;75)D7DGFI./6?*;Dk</./6G.lt'(G8?*;<(8
bw(<D?*;5<)5kS;G8kGF=H/5F=H/G875<"5G87D/<(8vS2tDb*;</tDES-Y65?*TwxF5)?*;<\nuISqS;tDG8
8?|/8?)#5G8 )5B(8?mu5IS985z
$i_G]5c&%' d 65+*qwxF5C)?*;<hnuISqS;08+|¢8?)#5G8W)5B(8?mu5IS9850S9</NCG8t8?|N<(F=H/</G8r0S;m
*9,./G87)=5B(=ISqS;G850i'i)?*9,./
,%8+: 3:
57698:;=<>8 :?6=@3A
kH/b*;¡n)H*987B(Bi5E*987)38?H/j H/j nuyS 5)H//D/87Cn65+*qwxF5C)?*;<hFI.S9D}'iL.(8?GD
*;< =GbSWCB/BSq*9F5)+*2< G8?.(F=H 8Y*;< ='()+*-F58r0*;<~ID5)FH/GF= )?*;D5B(5<(D5<)
B/B(5)?*;G85zCB tB/GF=*98?IS;|0^jk'/?*;</)\)H/tnu#nu<)L8?B()?*9FI.S9L</5GD/8W*;<(8:*9D
\D56IS;B/5<N)#5<N6*;</5<)Eno4'()FI<)CSqS;58W<(GD !$7QEDGFIHkv4VKJ2L:0<(D
jkp8+H/yjH/j~)no.STw/S)H/5¡'|\.(8:*;</}tS9</.(CL<(GD} *;GD QEN8MDON B !V J'L<(D
8+|Nt'(CSq*9F#65?*TwxF5)+*2<})S<(GD\E</N8PDOQ PF R4VML:z
kH*984Il/B(5?*;5<)#*2< 3GbSvCB/BSq*9F5)+*2< =G*-8t<B/Bi)./<*;)?|n7*;</}},.(m
ST*;))?*;6<(bS;|/8:*98#" DG,.()?*;< n!)=H/B/B/=NF=H )})H/\</5GD/8r0^*;<N)5)?*;< *;<N) )H/
Il*98?)?*;</5<N6*;</5<)G0z;z;zi" <(D \,.(<)?*;))+*26</#" QEN84FIB*qS;5t<(DhE</8
)SB(5+no=<(FIG8A"Rn 'i)H3Q!N8k<(DE=</N85z/kH*98 *987bS98?#¢D3j7b|t)#*9D5<N)?*Tnu|
BiN88:*;'S;t</5j G8+GF=H}D*2=GFI)?*;<(8k*;< )H/p=GLCn nuyS65?*TwxF5)?*;<z
ST6=@U8 V/WC8
$k'()?*9F38?|/8?)58EtH|N'/?*9Dh8+|¢8?)=58EB(5I)?*;</\*;<hGyS2mu)+*2<(D H(<(DST*;</565<N)848
jkISTS8$XrFI<N)+*2<./.(8FIB/./))?*;<(8Y1z$kIST*-C'S2LC<(DLG8?|LB/Y*2</4Cnx)H/G8?78?|/8?)538
G,.*;G83h8?|/8?)5)+*-F35)H/¢D nut)H/}8?BiGF=*TwxF5)?*;< n4'()?*9F\B/BST*-F5C)?*;<(850Ano=bS
65+*qwxF5C)?*;<Cn)=H/I*2 Il¢GFI./)+*2<3no LFI<)?*;<N./.(8<(DD*98FI=5)5mu)?*;4B(C*2<)Cn6*;5j~<(D
ZF=*;5<)7*;BS;55<))+*2<65k)H/4)I5)7F=H*;)GFI)./z
kH/}!$7 Q 8?|/8?)5\[7B(5< $k'i)3<)STS;53B/./)5=muQ7*9DGD EG8*2<^]B/=m
BiN8?G8EFIH/55<)B/B/NF=H4nu H*2H/mS256IS8?BiGF=*qwxF5C)?*;<Dj7<L)=7*;)8 *;BS;55<))?*;<
'|hH(<*;.(8:S;|*;<N)=5)?*;</D*-8=FI5)}<(DhFI<N)?*;<./.(8t8?BiGFI)85ze:)4*98#'(8?GD < ./)=m
C)?*9FLFI<)S)H/5|nuk)H/tDG8:*;<<(D <(bS;|/8:*987n)H/LFI<)CSxS9bjL0(C<(D3<}GFI)?*;6
8?|/8?)538k)H/5|nuk)H/pD*98FI5)=L565<)878+B(GFI)Gz
eg<})=H*-8&B(B(5G0ijkL*;<N)5=G8?)GD\<S2|\<\)H/LD*98FI5)#565<N)I878?BiGFI)85z>B 4B/=GF=*2m
8?IS;|tjk7D/DG88^)H/B/'S;5 n/nu3bS¢65?*TwxF5)?*;<nD*98FI5)7565<N)8^='()FI<N)=STS25I8
*;<(8:*9D\!$7Qtz(kH/G8+pFI<)STS;587CLFI./5<)?S;|\5B/G8?5<)GD 8k'(S;G<h./))/0
j7H*9F=HhL'/)b*;</GD 'N|3)<(8S-C)?*;</}!$7Q 8+B(GF=*TwxF5)?*;<nu3bST*-8+8k*;<)\8?./'(8+5)
n)H/78?|<(F=H/</.(8S-C</.(_H 8?)5ISD@$`4VM'Lg0j7H/N8+&8+5<)?*9F58Il¢B/G8=8?GD#*;<)538
n'(S;G<./)3)/zG&HN.(850r*;)^*98B(88:*;'S;7)E.(8? *2<(8*-D#!$7Qs)H/65+*qwxF5C)?*;<)S
QE./)aDDbF cPdV'L(j7H*9F=H\H(8no?*;5<(DS;|*2<)5?ngFIEjk*;)HaH8?)5=IS zkH*98 )NCSFI.S9D'(E.(8?GD3)
'/.*TS9D'(8?)FI)6*25jE8kn )H/ES;'(bSFI<N)=STS;5vjH*-F=HFI.S-D3'i4I*;)H/5!D*;GFI)?S;|\'(8?5=6GD
[u*Tnk)H/LG8+.S2)+*2</}C./))=<3*9848?bSTS]vFIB(GD\)=</)H/5C./))=<\j7H*9FHIl/m
B/G8=8?G84)H/tB/B(5)?|zkH*98LCB/B/NF=H *-8EjkISTS;mgD/B/)GD )\FH/GF=S;'(bSB/B(5)?*;G8Sq*;
Q7jk565G0)H*985)H//D}DG87</)EbSTS2j)65+*qnu|},.(<N)+*2)I)?*;6L=GbS;mu)?*;LB/B(5)?*;G8
bS;)H/./H S2)n!Il/BST*-F=*;)}DIS9b|¢8tB/BiGt*;< )=H/FI<)CSqS;58+B(GF=*TwxF5)?*;< [D./)?*;<(8r0
)?*;5./)8]z/*2<(8+)<(FI0b*;)jk.S9D4'( *;<)5G8?)?*;</4)E'(7'S;k)7B/=y6)H() )H/kIl¢GFI./)?*;<
n73'i)?*9FtB/BST*-F5C)?*;<*984)?*;5mu'i./<(DGD !)=H()4)H/t)?*;5mS9\'(5)?jk55<)H/8?)I)?*;</
Bi*;<N)8n)?jvtIl/GFI./)?*;<\S9bj!8 *98'(./<(DGDz
Q j7G| nB/6*;</ 8+.(FHB/Bi5)?*;G850LFI<(8*-8+)8*2</DIST*2</'i)FI<N)=STS25I88
*;GDm`EB/H(8 DQ4VP'L" 'iNCS2GC< ./))Il¢)5<(DGD jk*;)H )?*;}FI./<)58p" <(D
.(8:*;</LE8?|p'iST*9Fk65?*TwxF5)?*;<#)SgzykH/78?|<(F=H/</.(8S9</.( Q!=N8 DOBVM-LNH(8 '(55<
w(8+)7*;<(8?B*;GDnu F)C)GFH(C)8 DOQE"d Lgz/e:)878?53<N)+*-F58r0/ST*; H 8?)5ISg0ij78kIl/B/G88?GD*2<
)5=8n'(S;G<\./)C)/z5e:)H(8A'(55<3GFI5<N)+S2|tIl/)5<(DGDjk*;)HE)?*;!FI<(8?).(FI)k<(D
*;)8#8?5<)?*9F58LFI.S9D</j 'iIl¢B/=G88?GD *;<)58n&v*2GDm`!B/H(8rz kH/E=</N8E)S
j7H*9F=H*;BS;55<)8L38?|p'iST*9Ft/DIS2mgF=H/GF=*;</yS2?*;)H/¡nu!)=H/LGbS;mu)?*;)5B(bS
S;*9F#Ev7 DQ4"4VP'L*98 *;<)5?ngFIGD\jk*;)H *;GDmuQEN85z
C8 ?:%@3V 6M8 V <$V
kH/5b*;<(D5LCnv)H/tB(Bi54*98ENC<*5GD 8noCSqS;j!85ze:<h)H/#w(8?)L8+GFI)?*;<hjktB/G8?5<)
8?k</5GD/8n)?*;7D5B(5<(D5<)nu3bS¢65?*TwxF5)?*;<(8^*;<(8:*9D#!$7Q )=H/./H<t65m
6*;5j~n )H*9878+|¢8?)=5}zNkH/48?GFI<(D\8+GFI)?*;<3*987D56)GD)t)H/EB/G8?5<))?*;<3n )=H/ *;GD
QEN8&S9</.(YC<(D})=H/YE=</N8E8?|Nt'iST*-FY65?*TwxF5)?*;<)Sgz(e:<)H/t)H*;D8?GFI)?*;<0jk
DG8FI+*2'iH/j~)*;<N)5)4)H/G8+4nubST*98?8E<(D)NCS-8&*;<N)=}!$7Q*;< D5E)'(
'S; )F=H/GF)?*;}D5Bi5<(D5<N)B/=B(5)+*2G8rzQ!< Il(BS;\)C5<hnu )H/\G n4./m
)</.(8t65H*-F=S;G8*98B/G8?5<)GD ) *qSTS;.(8?)I))H/\*;<)5C)?*;< B/?*;<(F=*;BS2G8rz *;<(bSTS;|0 *2<
)H/WS98?)48?GFI)?*;<jkpD*98FI.(884,.(bST*;))?*;6<(D ,.(<)?*;))+*26p<(bS;|/8:*987Cn)H/LIl/B(5?*;5<)8
B/56*;.(8:S;|DG8=FI?*;'(GDz
! 4(23#" (%$'&)('( !+*
kH/3'(8:*9F35<)?*;)?|*;< !$7Q DGFIHkv4VKJL*98t)H/\FI<(FI5B/)tn-,./0 132(4T[$^ *;< )H/
8?G,./IS]ze:)8Enu./<(FI)?*;<*98#)8?BiGF=*Tno| <(D *;BS;55<)8:*;BS;\'i)?*9FFI)?*;<(85z BS;Il
FI)+*2<(8L'/)b*;</GD 'N|FIB(8:*;</ $^78W.(8:*;</ D*6555<)L*;<(D/8LCn X58?|<(F=H/<*7G)?*;<>Y
Bi5)850)=H/3w(<(bS7G8?.S;)'(I*;</ F5bSTS;GD 8,.9/: 1<;vGI=N? [$7f*;< )H/}8+G,./IS]z>1
*;<(8?)C<(FI08?./B/B(8?\)H()t)H/\t*988*2< FI<(8:*98?)8#*;< ./)=)?*9F5bSTS;|B(*2</F5CGz? *2I8?)G0
)H/tF5Ep.(8+)!8?GF=H\nu!Ynu5LB(=*;</\8?B(FIpC<(D\)H/5<*2)L8+H/.S9D\B(3*;)8+ISqnzeun)=H/G8?
)?jkh8?)5B(83\</)t) FIBS;Il0)=H/\t*988:*;<~FI.S9D 'i8?BiGF=*qw(GDs'| .(8*2</ )?jkh$ 8
j7H*9F=Hh4./<3*;<8+G,./5<(FI#*;<})H/4</t*;<(bSIl/GFI./)?*;< n)=H/p$7^z/{hWw(8?)kB/G8?5<)E)H/
$^ FI<(FI5B/)b0)H/5<hjktB/G8?5<)4H/yj )=}FIt'*2<(C)t)H/G8?'(8*-FY'/>?GFI)8k*;<(8:*9D\\$7 *2<
ID57)8?BiGF=*Tno|}<(D*;BS;55<N)4t'()?*9F#B/BST*-F5C)?*;<z
3V 6$6^8
<^A/6=@/V 8
$^ FI<(8:*98?)8ECnvbS;?*;)H/t*9F5bS8?BiGFI)8EIS9)?*;</\)3)H/tFI<N)=SS9bj <(D3S;C*-F5ySv8?B(GFI)I8
IS9)+*2</t)4)=H/kS;¢F5bS'(5H(b6*2&88?/F=*-C)GDtjk*;)H#8?5)Cnx565<)8jH*-F=H3b|L/F5FI./v'iIno
D./+*2</t)H/7FI<)CS/S-bj Il/GFI./)?*;<zN&H*-8S;¢F5bS'(5H(b6*2*98B/GDIw(</GDz/kH/Il¢GFI./)?*;<
nk)H/FI<)SS9bj '(5C*2<(8#8E8?N< 8!\8?5)4Cnx? E1B / *98L8C)?*98:w(GDzkH/tj7b*;)?*;</
)?*; nuGF=H B/GFI<(D*;)?*;< )'(h8)+*-8w(GD F5< '('i./<(DGDzkeun4*;)\IS9B(8?G850 )H/$
*98t8?)B/BiGDz kH/Il¢GFI./)?*;<n7)H/FI<N)=S S9bj F5C<h'(*;<N)5=./B/)GD *qn XIB/='S;58Y}C
D5)GFI)=GDzeg)E5<(D/8E</bSTS;|}I*;)H/5Lyno)5E)H/t8)?*98:ngFI)?*;< nv8+5)!n 1u= 1BE 1v
'iGF5.(8?tn )H/t8?B(GF=*Tw(GD$^ D./C)?*;<3*987Il(FI5GDGDz
eg<}D57)8?BiGF=*qnu|})=H*-8vS2/F5bS'(5H(b6*2G0/)H/4.(8?5E*;6G8
h8?5)tn4B/GFI<(D*;)?*;<s565<N)I85z^Q j7b*;)?*;</h)?*;ST*2Y*2)\FI.S9D 'i}88?/F=*9)GD jk*;)H
GF=H\565<N)bz
8?5)7Cn XIIl(FI5B/)?*;<>Yt565<N)8rz(kH/54*;<(D/8En Il(FI5B/)?*;<(8!FI.S-D 'ip8?BiGF=*qw(GD
S;'(bS Il(FI5B/)?*;<*;)k*;<N)5=./B/)8EbSTS )H/L$^787.(8+GD3*;<})H/LCB/BSq*9F5)+*2<z
S;¢F5bS7Il(FI5B/)?*;<*;)#*;<N)=5./B/)8#<S;|h)H/\$^4z^{hjk*TSTS8?5S9)5tH/j S;¢F5yS
Il1FI5B/)+*2<(8!=4H(<(DS;GD}'|\$785z
S;¢F5bSF=H(</¢*2)4DG87</)*;<N)=5./B/)4$ '/./)*;<(D*9F5)G84t/D*TwxF5)?*;<n
B(5)58 j7H*9FHB/B(GC7*;<})=H/LFI<N)=SS9Gj#z
}8?5)#nvBiN8?)FI<(D*2)+*2< 565<N)I85zQj&y*2)+*2</ )?*;Sq*;t*;)FI.S9D '(\88?/F=*9)GD jk*;)H
GF=H\565<N)bz
D./)+*2<z
kH*98 8?BiGF=*TwxF5)?*;<t*98^./)C)?*9F5bSTS2|#)<(8S-C)GD*;<N)4< H8?)5=ISNB/I *;<Lj7H*9F=HbSTS
,.(<)?*;))?*;6!DIS9b|/8^H(G6v'i55<)=<(8:nuGD*;<N)WS;*9F5bS()?*;5./)565<N)8rzkH*98B/
*98\FIB*TS;GD *2<) h'iNCS2GC< ./)3)<ze:)H(8'i55<~B/6GD*;< D4B(V Lg0 )H())H*98
./)=)?*9FE)I<(8:S9)?*;<\.(C<)5G8k)?jk4*;B()<)7B/Bi5)?*;G8
*;)p8)+*-8w(G84Sq*;65</G8=8LB/=B(5)?|01*gzz \8?.(F5FIG8=8:no.S)=5t*;<()?*;<hCnv)H/$^ F5<'(
GF=H/GD3nu <|8+))En^*2)I8k56S;./)?*;<
*;)&8=)?*98:w(G8kL8yno5)?|tB/Bi5)?|0*gzz/<|S;'(bSIl1FI5B/)?*;<3*98kB/B/B/?*9)IS;|H(<(DS;GD
'N|35t*988:*;< n8?B(GF=*TwxF#565<)kS;Gb6*;</3)H/L8?|/8?)5*;<8bnuL8:*;).()?*;<z
3V 6$6^8 6/V>>KV6 <%:?A 8 6 /6 3:?@3V 6 6^8
<^A CA
{s*;)H)H/$7 nobST*98? </F5< 8?BiGF=*Tno|*;< }8?)=.(FI)./GDj7b|S;C*-F5ySC<(D)5Bim
ySC</55<)np$^78t*;< D53) FH*;56h<s'/>?GFI)?*;6\*;< FI<)Il/)D5B(5<(D5<)
<(D3=ISq*9'S;tj7b|0NB/=y6*9D*;</B/GDIw(</GDFIGFI)+*2<}FI)?*;<(8 *;<\)H/LF58+4n ./<(8?.(F5FIG88no.S
Il/GFI./)?*;<(8En$^785z
kH/4.(8?548?B(GF=*Tw(G848:*;t*TS9E'(5H(b6*2!)t)H/t$ </z
h8?5)tn4B/GFI<(D*;)?*;<s565<N)I85z^Q j7b*;)?*;</h)?*;ST*2Y*2)\FI.S9D 'i}88?/F=*9)GD jk*;)H
GF=H\565<N)bz
8?5)7Cn XIIl(FI5B/)?*;<>Yt565<N)8rz(kjkt*;<(D/8nIl(FI5B/)?*;<(8EFI.S9D '(L8?BiGF=*qw(GD
S;'(bS Il(FI5B/)?*;<*;)k*;<N)5=./B/)8EbSTS )H/L$7 87.(8?GD*;< )H/pB/BST*9F5)?*;<z
S;¢F5bS^Il1FI5B/)?*;< *;)7*;<)5./B/)I8k<S;|\)H/L$7^z
}8?5)#nvBiN8?)FI<(D*2)+*2< 565<N)I85zQj&y*2)+*2</ )?*;Sq*;t*;)FI.S9D '(\88?/F=*9)GD jk*;)H
GF=H\565<N)bz
kH/t.(8?54bS98?\8?B(GF=*Tw(G84t E3B/ C<(D}8?5)En7 1BEB/=385z/kH/Ly*2<
B/ FIG8+B(<(D/8W))=H/p</t*;<(bSIl¢GFI./)+*2<hnv)=H/p='()4<(D *9848?)I)GD 848?<
8 )H/4B/=GFI<(D*;)?*;<(8!C8=)?*98:w(GDz/kH/4Il(FI5B/)?*;<\B/I8C88?/F=*-C)GD3jk*;)H3S;¢F5yS
Il(FI5B/)?*;<(8H(C<(DS2GDY*;<)H/7$^78^$7 8 [g)H/7$7 nuySq*98?*98AGFI./8:*;6IS;|DIw(</GDb] .(8?GD
'|)=H/4b*;<}B/}zkH/G8?#)jk#*;<(D/8nB/=38vC8+B(GF=*Tw(GD .(8:*;</FIB(N8:*;)?*;<
Bi5)8knv$^78$8EbS;GD|DIw(</GDz 1k*;<(8?)C<(FI0i*2)*987BiN88:*;'S;)3Il/B/G88)H/
8?G,./5<(FItn)jk$^78P[:!$7 8]E)H/I*; XB(bSTS;ISYIl/GFI./)?*;<i)H/5|}L8?)I)GD\))H/
8C*;<(8?)C<N)G0b<(D4)H/5<(D#n/)H/kFI<(8?).(FI)+*2<4¢F5FI./=GDLjH/5<L)H/ )jkkBi5<(D/8 5<(DzGe:)
*98kbS98?LBiN88:*;'S;E)L)C *2<)tF5FI./<)Il¢)5=<(bSFI<(D*;)?*;<(8 jk*;)H3E*;<(Dn
8?)=.(FI)./z(&H/4j&y*2)+*2</3)?*;Enu7)H/LFI<(D*2)+*2<)=p'ip8C)?*98:w(GD}FI.S9D'(L'i./<(DGDz
kH/kj7H/S;!FI<)STS;58?BiGF=*qw(GD'|p4$7hF5C<p'i7)C<(8:S9)GDW*;<N)LC< H 8?)5IS/B/
[DIS9b|/8L)<(8:nuGD\*;<)\S;C*-F5ySv)?*;5./)4565<N)8]7*;<hD5#)\'(35B/G8+5<N)GD 'N|
'iNS;G<~./)=)<zQ8\FI<(8?G,./5<(FI0k*;)3*983B(88:*;'S;h) FH/GF= 8?}B/B(5)?*;G8
ST*; DGDS;/F '(8?5<(FI\FI<nut*;)?| nL)H/$7'(5H(b6*;\jk*;)H =G8?B(GFI)\)t*988:*;<
FI<(8+)b*;<)85z<N)I|3))H/t$ 'i5H(G6*;G0ij7H*9FH *98B/6GD}FI=GFI)7'|}FI<(8?).(FI)+*2<0
)H/4.(8+5*98A*;<}FH(CEn )H/4$7'(5H(b6*;765?*TwxF5)+*2<0NjH*-F=H}8?H/.S9D3'iLD</!j&*2)=H\)H/
QE./)L)=NSgzkH/!B/=B(5)+*2G8 H/!FI.S-D3Il/B/G88 7</))?*;5mgD5Bi5<(D5<N)Gz /A*2<(8+)<(FI0H/
FI.S9D</)7FH/GF=)=H()k)H/!Il/GFI./)?*;< )?*;4nt$7 *-8bS;j&b|/8^S;jk57)H(<\#*;65<\6ybS;./z
kH/y*2 n7)H/3jv}B/G8+5<N)GD *;< )=H*-8#B(Bi5#*-8#B/GF=*98?IS;|)\jk*;)H(DbjJ)H*984*;m
BiN88:*;'*TST*2)?|zkH/*-DGp*-8 )#5BS9FI4)H/E)<(8S-C)?*;<*;<) H 8?)5ISjk*;)H\4)=<(8:S9)?*;<*;<N)=
*;GDQEN8*2<3D5 )L55B)H/6ybS;./G8kn)H/EDIS-b|/8A*2<3)H/EB/I <(Dt)#.(8?E)H/
8?|t'(ST*9F#65?*TwxF5)?*;< )S E</N8k<\)H/4G8?.S;)?*;</\)?*;GD3IB/Hz
# 6%,. ! (&<3 ::+ % $# :(& ,(
kH/ Q!=N88?|<(F=H/</.(8S9</.( DOBVM-LNj78xw(8?)*;<(8?B*;GDt'| F))=GFH(=)8 DOQ!C"d Lgz5e:)
B/6*9DG8)H/k.(8?5jk*;)H48?5)^nB(5C)8 )H()F5<t'(7B/BST*;GD)=!IS;55<)|./)=)
FIB(</5<)8^)E'/.*TS-DYkFIBS;IlY8?|/8?)5385zy&H/G8?kB(5C)8i*;<(F=S;.(DEB(bSTS;ISxFIBim
8:*;)?*;<\<(D#H*;5F=H*9F!FIB(N8*2)+*2<zNkH/kQEN88?53<N)+*-F58*98^Il¢B/G8=8?GDt*;<)=58^n'(m
S;G<C./))I/z5QEN8 H(8^'(55<GFI5<N)+S2|tIl/)5<(DGDtjk*;)H4DIS9b|FI<(8?).(FI)+*2< DN B !V J'L
j7H*9F=HySqS;j!8^)4Il/B/G88^j7)IFH(D8 <(DY)?*;5./)8^G8*qS;|zkH/7G8?.S;)?*;</WS-C</.(k*98A<(m
GD *;GDmuQEN85zieg)I8!8?53<N)+*-F58&*987Il/B/G88+GD3*;<)58kCnv *;GDm`!CB/H(850(jH*-F=HC
./)=) Il/)5<(DGD4j&*2)=HLGbS/F=S2/F=¢85zr{ *;)H#)H*98*2<(D#n/B/ /DIS-8r0G</F5C<pF=H/GF
GyS2mu)+*2,.(C<N)?*;)C)?*;6tB/B(5=)?*;G850.(8:*;</8?|t'(ST*9Ft65+*qwxF5C)?*;<)NCS-848+.(FHh84E</N85z
E</N8 *98!Y)NCSjH*-F=H\*;BS;55<)8E8?|t'(ST*9F4/DIS;mgFH/GF=*2</bS;?*;)H/ DOQ F R4VM'L
nu7)H/4=GbS;mu)?*;L)5B(ySS;*9FLEk7nv*2GDm`!B/H(8MDQ4 4VP'Lgz
eg<)H*98 8?GFI)?*;<0jk w(8?)B/=G8?5<N) )H/7QEN8S9</.(zIl¢)jkkB/G8?5<)*;)8A)5B(bS
Il/)5<(8:*;<z *;<(bSTS2|0jkEB/G8?5<)!)=H/LE</N8k65?*TwxF5)?*;<})=NSgz
3V A3@ 6=@ 6 3A%<^@ 3< =V=6=A
Q D5)Ib*TS2GD B/G8+5<N)C)?*;<\nQ!N87FI.S9D\'i4nu./<(D*;< DONKBVC L:z
eg<hQEN8r0x 8:*;BS;8?|/8?)5¡*98#DG8FI?*;'(GDD*;GFI)?S;| 84<./)C)<}'|}C*26*;</)H/
8?5)kn 8?)I)G8C<(Dt)<(8*2)+*2<(8Il/BST*9F=*2)+S2|zi{ H/5<*;) *98 !FIBS;Il0*;)7F5<'iDG8=FI?*;'(GD
8pFIp'*;<()+*2<}n8+565bS 8?.(F=H}FIBi</5<N)I850/.(8:*;</Bi5)8ASq*;#)H/4B(ySqS;ISFIm
BiN8:*;)?*;<0^j7H*9FHIl/B/G884H/j )H/5|h8?H/.S-D '( X5FI</</GFI)=GD/Y3*;< D54)FIt./<*-F5C)
<(DB()?*9F=*;B()#)t)H/LCS2'(bS'(5H(b6*;En)H/L8?|/8?)5}z
eg<~)H/ B(bSTS;ISYFIB(N8:*;)?*;<0&no3*2<(8+)<(FI07)?jk\hFIB(</5<)8356S;6 *2<
B(IbSTS2ISgzkH/5|F5<FIt./<*-F5C)Ljk*;)H GF=H})H/5E'|\Il1F=H(</*;</\8:*;<(bS98i*Tnv<\*;</B/./)
8:*;<(ySvn!\FIBi</5<)8L<(D <h./)B/./)t8:*;<(bSn!</)H/54</H(b6)=H/8t<(0
)H/t)?jkFIBi</5<)8!C4nuFIGD)FIt./<*-F5C)4*;<)H*98Ej7G|zikH/pFIp./<*9F5)+*2<}*98
)H/W(N /5b I 1uzbeg)A*98</<t'S;¢F=*2</ [g./<ST*;E)H/4? I ^GFH(C<*-8+}0nu
*;<(8?)C<(FI]z/Q FIB(</5<)7F5<yS2j7b|/8./)B/./)78:*;<(yS-8rz(kH/E)H/5k</G8kF5<\bS;j&b|/8GFI)
)3)H/5¡'(GF5.(8+)H/5|}3?31BbG0i'/./)8+LCn)H/5 H(b6t<.STSGFI)?*;< [g)=H/5|}D
</)EFH(</L8?))G8&</7./)B/./)E8:*;<(bS98]z
*2./UY*98<3B/ .(8*2</ w(6\./))3)hDG8FI+*2'i} ¢D.S;m%d! m
FI./<)5jk*;)H#*;<*;)?*9bST*7G)?*;<\<(DW*2<)5=./B/)?*;<#nF=*TST*;)?*;G85zeg)8)?*98:w(G8^)=H/nuSTS;jk*;</L8?B(GF=*Tw(m
F5)+*2<<(FI " $# E*98GFII*;6GD05Y*2)%'&)()* 7565=| d+ 8rz F)BYFI./<N)?*;</4)H/k/F5FI./5<(FIG8
n, j7H/5<I*;)H/5 )?*;t./<*;)8EH(b6LIS9B(8?GD 8:*;<(FI)H/ " -#}8:*;<(yS0 .&0/}H(8E/FIm
FI./=GDz
A
'fOf
^k
D D k
2fOf
f
f
!
" Uk
#$&%
('
' )#
)#
)#
)#
)#
)#
f
*i
*=j
*,+
* k
*-
*h
.0/1324657/(8:9<;</=;8:9<;<>&?8@ ;<13A6BCD5A6>E:FG/C
*2./U QEN8&B/C nuk)H/4/D.S;m%d ymgFI./<)5
$k./<(DGDmgFI</5E'(bl/G8k4./)C)<8?)I)G8/=yjE8E)C<(8:*;)?*;<(8GFI)</.S-C
'iGl/G8C7.(8?GD#nu ./<(|LB(5)=8 [8?5'(IS;jP]zQ~8?5) n8+))G8<(DY)<(8:*;)?*;<(8Aj7H*9FH
=LFI</</GFI)GD3)5)H/57FI<(8?)?*;)./)G8<}./)3)<zkH/Ew(6E'(8:*9FLFIB(</5<)8kn^)H/
B/¡H(b6t)H/#noSTS;jk*;</8?5)I87n78?))=G8IH&J &LK NMPORQ.& TS0&LK NMVUN0IHGWYXZO[W]\LUN0
H^NXZO_^]\LUN0VHJ`X-O_J\&UaHbYXZO[b]\]O[bYcZO_bNd-O[b`ePO0bYfgUNz
eg<\)H/4./)3)/0)H/*;</B/./)7B()k<(D)H/4./)B/./) B()kn #)<(8:*;)?*;<S9'(IS48?5m
B(I)GD4'|pE8:S98?H [gIl(BS; &hGijkl ]z#5N)?*;<#*98D5</)GD#'|465?ST*;<*2</i0<(DtFI<>./<(FIm
)?*;< *98ED5</)GD 'N|}3D)M[gIl(BS;nmoqprIsjkl/]Iz/{ H/5<)=H/L./)B/./)48?5)*98E5B/)?|0*;)LF5<
'i7t*;))GDz&H/k*;<*2)+*-yS 8+))A*-8 DG8:*;<()GDY'N|<=yjjk*;)H/./)C<88?/F=*9)GDt8?./IFIz
17Il(BS;0()=H/Lj~FI</</GFI)GD<})H/4+*2HN)7)=tJuXiz^F)C)G8k4<(GD01'/./)!<(G8
8?H/.S-D 'iLFI<(8:*9D5GD <S;|}8 S9'iIS-8)H/IS;B )H/LB/5Gz
Q!<tjhF5<LH(b6k8?565ySS9'(IS98^j7H*9F=Hp8?)C<(DEnu 8?565IbSN)C<(8:*;)?*;<(85zkH/vD*6555<)
S9'iIS-8&n#87=yj C78?5B()=GDt'N|4FI/z+F&S-C'(IS98 H(G67)4'(EFI<(8:*9D5GD
8'/'/56*-C)?*;<(85z/ *;<(8?)<(FI0i)H/ (YS9'(IS8?)C<(D/8 nov'i)H ( .&0/$O ( m oqprz
kH/ ./))<sj7H/N8?8?))G8\C J &LK NM <(D Q.& TS0&LK NM *98}8=b*9D ) '(
? (4*;< *;)8 J)&&K YM\8?))=zxkH/tIw(<*;</}8?./'/B/= *98E'/.*TS2)#jk*;)H)H/#no./!)=H/5
./)=)10j7H*9FH\7B/./) E ¢?TGK[geg<w(./#U7)H/5|C!8?H/j7<8+5B()GDY'N|D/8?H/GD
ST*;</G8]z4kH/./)5=N8?)\'iGl0kjk*;)H~< C))F=H/GD 8?./'/'(bl jH*-F=H FI<N)Ib*;<(8 ((0 *98)H/
IB/H*9F5bSv8?|<N)ylnu4./<(=|3S2/F5bS8:*;<(bSvDGF=S9C)?*;<B(5C)Gz(&H/L'(blDIw(</G8W)H/
8FIB(#*;<jH*-F=H)H/8:*;<(bS (*987</j7<zkH*9848:*;<(bS^*-8E.(8+GD}8&*;</B/./)4'N| )H/LIw(</GD
./)=)<*;)k*98k.(8?GD\8 ./)=B/./)v'|3)H/!)+*25!FIBi</5<N) [g65)?*9F5bS./)3)<t*;< )H/
Iw(</GD8?))] G4FIt./<*9F5)?*;<tjk*TSTSx)CBS9FI7'i5)?jv55<t)H/k)?jk(z5QE</)H/58?.(F=Ht./<(|
Bi5)E*-8E.(8+GD *;<h)H/tB/I}0*;<hID54)ST*;t*;)t)H/8FIBin)H/8:*;<(bS98$O S3)
)H/#B/I FI<(8?)?*;)./)GD3'|3)H/L)H/=54./</Iw(</GD./)C) [DIGj<\H/?*75<)bSTS;|>]z
kH/k*;<N)=5?n FIvCnx)H/7CS2'(bS(B/I~*98 DIw(</GD8 nuSTS;j!8bSTSx8:*;<(bS98Aj7H*9FH\B/B(GC
*;<h#S;Ino)=muH(<(D [gG8?Bz/+*2HN)muH(C<(Db]&8:*9DtntS9'iISg0<(D\#</)!DGF=S9GD )'i#S2/F5bS)
8?4B()7Cn)H/4B/= =L69/=E 91 [gG8+Bz(69/= 1 91]z
{h7*;67H/5=!)H/&*2<).*;)?*;648?5<)?*9F58Cn)=H/7B(5I)8r0G'|tIl¢BS9b*;<*;</)H/7'i5H(b6*;
n)H/LFI./<)5Gz
*2I8?)G0'(8?56E)H/4)H/5M[gH/+*5<N)yS]./)=)E5t'iGD/DGD3*;<}#B(bSTS;IS8?)=.(FI)./0
<(D3)=H/!Bi5)j7H*9F=H}DIw(</G8k)H/L8FIBi!Cn<(D S¢z/kH*987FI<(8?)?*;)./)G8kt8?./'/B/
j7H/8?4<S;|3*;</B/./)7*98+ ¢0/<(Dj7H/N8?4<S;|3./)B/./)k*98%'&)()* /z/kH/4S;'(bS 'i5H(b6*;En )H*98
8?./'/B/= *984DIw(</GD'| i)H/tS;'(bS^*;<*2)+*-ySv8?))W*98 JuXZOq^NXZOqWNX 1j7H/5< *2)4H(87GFI)GD
)Y*2</B/./) nk)?*;G850/)=H/4B/C*98 *;<8?)C) J VO<^:O<W0/jH/5 Mh k ¢D d
% & ()* L*98./)B/./)7565=| d 85z
kH*98'(5H(b6*; *-8 F=H*256GDt'N|FI</</GFI)+*2</t)H/=57</5mu'*;)vFI./<)58rzkH/kw(8?) </ [gQM]
GFI)8k)tIl/)5<(bS*;</B/./) ¢0i<(D3)?*;5I8k)H/L8?GFI<(D3</ [@ ]jk*;)H8*2<(bS0N565|)?jk
85z(&H/L8?GFI<(D\</0/GFI)?*;</3)01)?*;58&)H/4)H*;D\</ [$]jk*;)H S¢01565|3)jk 85z
kH/ )H*;D#</./)B/./)8% & ()* 7565|E)jk S85zbkH/vFIp./<*9F5)+*2<L'(I*;</(N 505
GFI)?*;< X=*;<t)H/578?)5B(8Y/0)Ej7H*9FH)=H/v)=H/57'*;)8^B()+*-F=*;B()=0b*-8*;<(D5GD i)C<(8:*;)?*;<
*;<})=H/LS;'(bS^'(5H(b6*; [gGFI)?*;<\)= Lnu J`X-O<^I\O<W]\)tJ\O<^YXZO<WYX ]z
FGFI<(D0'(8+56L)=H/)?*;5LFIBi</5<) i*;)456S;6G84B(=)7nu )H/t)H/=5pB/=56*;.(8
./)=)10¢FI./<N)?*;</\)H/#¢F5FI./=5<(FIG8En"K %¢z1eg)E./)B/./)8 ( ./<*;)8En)?*;bnu)5
*;)8&*;<*2)+*-ySq*7G)+*2<z
*2<(ySqS;|0i)H/G8?Enu./!./)=)*;<}B(ySqS;ISIw(</4)H/aS0&LK NM8?))4Cnt)?jkmg8?))=
./)=)<zNkH/6S&&K YM " 4*98k=GFH/GD3jH/5< -# ¢F5FI./I85zQ87tFI<(8+G,./5<(FI0
)H/#Iw(<*;</8+./'/B/C*98!8?)I)GD*;<\*;)8&*;<*;)?*9bSv8?))=zNe:)k*987*TSTS2GD j7H/5< .&0/\¢F5FI./8
*;)4*98#<%E 1uGI= 1B (zGb6*;</3Iw(</GDh8+))#b|bS98?\'iD</'|h5GI 1uG Ei 1B
n)H/4Iw(<*;</}8?./'/B/= z¢&H*-8&*98k)H/tF58?E*;<}./Il1BS2#j7H/5< (#*987./)=B/./)Gz
eg) *-8^./)8:*9D)H/k8FIBivCn()H*98B(Bi5)7*;6 )H/ nobSN8?5C<N)?*9F58 n(QEN8CDBCVM'Lgz
Qjv565G0i*;<hD5#)\./<(D58?)C<(D)H/t)?*;GD Il¢)5<(8*2<hnvQE8EjvH(G6p)=\B/G8?5<)
H/j )H*98L8+5<)?*9F58E*98LDIw(</GDz^kH/QEN848?53<N)+*-F58*98Y1u G9?I 1uzeg)LDG8FI+*2'iG8
)H/'i5H(G6*;\npB/ '| DIw(<*;</ nu./<(FI)?*;< 8?.(F=H )H()$[No<p (oqp&kU]
No<p (oqp&k<(D$[tU pr4M+]K[$[tU]$[4M+]]z
Q!< *;<N)=5G8?)?*;</}F=H(FI)5+*-8+)?*9FLCnQ!N878?5C<N)?*9F58*98E)H()&*2)E*98EG8+|\)=IS2| /DIS
*;<nu)+*2<<8?./IFILB/}zeg<(D5GD0/DISA8+)) [g=G8?BzxY¢DIS)C<(8:*;)?*;<^]*98
38?5)4nX5FI)?*;62Y8+))G8 [:G8?BzCX=w(GD/Y)<(8:*;)?*;<(8]7n)H/p8+./FItB/I ./))/z
{h#jk*TSTSA8?5ES9)=57H/j~)t.(8?L)=H*-8&*;<no)?*;<3*;< )H/465?*TwxF5)?*;< B//FIG885z
: V =6=A8 6 V>A : V : V <> A
Z! g` " $# `b"%`ba %9] d&('/ *)\`ba"#,+]
*;GD `!B/H(8Et./)3)tIl/)5<(DGDjk*;)HhYw(<*;)8?5)EnGbS;mu6bS;./GD F=S;/F/85zkH/5|
=pCnv)H/tnu [-.*/10132*4536 ]j7H/5-J*98L\8?5)4n-3550/10*98E)H/1B9 3G06
*983h8?5)3n=GbS76y?*9'S;G8\F5bSTS;GDG6G 4G507298:-<;>= [6 ]?;>@A;CBM[6 ]?;>- *98h8+5)
n 1u? / 1BE 1z7= [6 ]*-83h8?5)tn4'(S;G< FI<(D*;)?*;<(8'/.*TS;)no )H/\6yC?*9'S;G8t*;<D6
nuSTS;yj&*2</\)=H/pC h FE[pr 0ij7H/5 3*984</</</5N)?*;6#*;<)554FI<(8?)<)4<(D
pr\'iIS2</N8E)RHHGIJILKIMI (ON UNz@*98!8?5)7nS9'iIS985zPBM[6 ]^*-88?5)7n7?55 1 1B /5z
Q ?55 17 1B RQTS>BM[U6 ] *98L\8?./'(8+5)Ln5V jH*-F=H FI<)b*;<(8W)H/6yC?*9'S;G8L)=\'(G8+5)
j7H/5< )=H/)<(8*2)+*2<h*98t)C5<z kH/3)H/5#6y+*-C'S2G83./<(FH(</GDzW4 X-!Y = [U6 ]
*;6G8)H/ES9'iISqST*;</}Cn<//DG87'|*2<6yC?*9<N)EB/Bi5)?*;G85z
kH/8?5<)?*9F584nvv*2GD `!CB/H(8*-8#DIw(</GD *;<h)538En B GbS;| BF=H*;</G85z F))=G8
=vCn()H/ no= [/Z
[
]jH/5?/ *98E</¢Dkn()H/k*;65< *;GD `!B/Ht<(D\Z
[
*98E6ybS;.()?*;<
nk*;)8#F=S2/F=¢85z^I<(8:*;)?*;<(8t#S9'(ISTS;GD I*;)H/5t'|h<IS255<N)tn@ #'N|h3GySv6yyS2./
j7H*9F=H}D5</)G8k)=H/!)?*;EB(88*2</iz(kH*98k8?5<)?*9F58 *98 '(8?GD*;<N)=.*2)+*26IS2|\<)H/nuSTS2jk*;</
B/?*;<(F=*;BS;G8}+] &H/7*;<*;)?*9bS8?)I) *98G,.(bS) [/1L
Z
PK] [ Z
PE*98 )H/76bS;.()?*;<\j7H*9F=H8=8?¢F=*9)=G8
Pjk*;)HhGF=H F=S;¢F=b] '^]! <(8:*;)?*;<(8t=L*;<(8?)I<N)I</5.(8^F']! *;IS9B(8+G8E*;< <//DG8^Db]
kH/#</¢DW*;<N6?*9<)8kH(b64)'ipbS;j7b|¢8k8C)?*98:w(GDz
/k*;<(8?)I<(FI0*TnjkLFI<(8:*9D5!)=H/L *;GD `EB/H\*;65<*2<w(./LM/0
[]^P ] _a`bY [](JNsM+] cedY [fIP+] gY [fO ] chbY []^O+]
*98EtB(N8=8:*;'S2tIl/GFI./)?*;<8+G,./5<(FIz
kH/!</5GDYnu4H*;H3S;56ISiS-C</.(E)LDG8FI?*;'iL *;GDa`EB/H(8*-8 '6*2.(8v8*2<(FIEjk
FI.S9D</)7<(C!)=DG8FI?*;'(tFIBS;Il8?|/8?)5'| *;GD `!CB/H}D*2=GFI)?S;|zx *;GD
QEN8#558WH*;HS;56ISFI<(8?)=.(FI)?*;<(8#)hDG8FI?*;'(< *2<)5G8+)?*;</ 8?./'xF=S98=8tn *;GD
`EB/H(8 *;<FIB(8:*;)?*;<(bS j7b|z
D
i
!
i )h 3
k
*;./=LM /QE<\Il1BS2#n *;GD `EB/H
&^'¢ Z\`L%(]3d a _5 #^x`ba % _5]'- _5 Z\`%ix]
*;GD QEN8 DONKBh!VKJ2L B/6*9DG8#\DIS-b| FI<(8?).(FI)?*;< )\Il¢B/=G884j7)F=H(DN84C<(D})+*2m
5./)85z1 *2<(8+)<(FI0/.(8:*;</3)H*987</5jFI<(8?).(FI)+*2<\)H/LFI./<)5!8?|/8?)5 FI.S-D'(LDG8?m
FI?*;'iGD}'|3)H/LB/*;65<3*;<\w(./ J/z
kH/t)?*;5LFIBi</5<N)4.(8+GD}'|})=H/LB/¡*;65< *2< w(./\ULH(8E'(55<h5BS9FIGD
'|#</48?))4./))<z&H*-88?))&*-88b*9D)=p'i!)=5B(+*5GD'N|)H/DIS9b| ze:)vH(8
< ./)C*2</3)C<(8:*;)?*;<}j7H/8?ES9'(IS*985BS9FIGD 'N|}8=,.(=L'(blz(kH*98&*-8E)=H/ 1B t 91
)I<(8:*;)?*;<z/kH/*2<).*;)?*;6L8?53<N)+*-F58A*9878noCSqS;j!8 <(FI#)5Bi?*75GD\8?)C)k*98 5<N)5=GD0
*;) 1^'itS;Ino)4'iIno=)H/#*;<(D*-F5C)GD C./<)!nk)?*;tH(8EIS9B(8?GDz^kH/B/ F5<
S;Gb6k)H/k)5Bi?*75GD8?)C)'N|#)*;</ XI</bSY)<(8:*;)?*;< [u*Tnx8?.(F=Ht)<(8*2)+*2<(8^IlN*98?) ]I0
E*;)4H(8)3)#)H/8?B(GF=*9bS)+*25./)4)<(8*2)+*2<0j7H/5<)H/DIS-b| Il¢B*;G85zQE./)3)
jk*;)Hs)5Bi?*75GD 8?))G8}F5bSTS;GD)1Bp 91B p1uz7kH/5| \)=H/}'(8:*9F'/>?GFI)8tn
*;GDQ!=N85z
5Bi?*75GD8?))G8&*;< \v*2GDQ!=N8B/C t)<(8S-C)GD*2<)}F=S;/F/8W*2< )H/
FI=G8?B(<(D*2</}v*2GD `!B/Hz
A
'fOf
^k
D D k
2fOf
f
f
!
" Uk
#$&%
('
'
)#
f
*
.0/1324657/(8:9<;</=;8:9<;<>&?8@ ;<13A6BCD5A6>E:FG/C
*;./ J ¢v*2GD\QEN8kB/=Jnuk)H/4/D.S;m%d mgFI./<)5
D
i
D
i
!
i
k
*;./4 (I<(8:S9)?*;<\nt)?*;GD ./)3)<*;<N)3 *;GD `EB/H
kH/3*9DGhn4)H/\</5j 8?5<)?*9F58#nu./<(FI)?*;<D DON B !V J'LP[gjH*-F=H )=<(8:S9)G8tbSTSv*2m
GDQ!=N8kB/8v*2<)\ *;GD `EB/H(8]A*-8E)=H/EnoSTS;jk*;</
[o [jl^Hgoqp (oqp&kU]
o [jl"Q r\C<(D ?[tU pr4M ]D
[U [tU]3 ?[4M+]]z/kH/#)<(8*2)+*2<3S-C'(IS98En)H/
*;GD `EB/H(8 '/.*TS;)kno= *;GD3QE8<(D3)H/E)C<(8:*;)?*;<S9'iIS987nQEN8k./)=)
H(b6)=H/8#nu}z{ *;6t*;< w(./ <Il1BS23nk)H/)C<(8:S9)?*;<hn!3)?*;GD
./)=)<*;<) *;GD `!CB/Hz
3V 6=@36UA V : /<b8 :%6=@ 8 6C6
kH/kE</N8)NCSy*;BS;55<)8^78?|t'(ST*9F/DIS;mgFH/GF=*2</LyS2?*;)H/fnoEk7aDQ4 4VP'L
[&GbS;mu)?*;kIl¢)=5<(8:*;<Ln/)H/ '/<(F=H*2</mu)?*; S2*9F7k7 ](<Lv*2GD `EB/H(8CDQ F RVMLgz
e:)!GC<(8k)H()7)=H/4B/B(5=)|3*98Il¢B/=G88?GD\'|\Ev7no=p.S9C<(D\)H()EE</N87FIm
B/./)G8)H/}8?5)nW8+))G8tCn)H/ B GbS;| BF=H*;</G88=8?¢F=*9)=GDjk*;)H )H/}v*2GD `!IB/H
j7H*9F=H 8)+*-8no|*2)bzkH/tB/B(5=)|*98L8)+*-8w(GD\*Tn!<(D <S;| *Tnv)H/#*;<*;)?*9bS&8?)I)t'(IS;</N8W)
)H*98t8?5)Gz^kH/\bS;?*;)H/ *2BS255<N)GD 'N|hE</N8E*98t8?|p'iST*9F08:*;<(FI)=H/ B GbS;| Bm
F=H*;</88?/F=*9)GD jk*;)H)H/ *;GD `!IB/H *-8E</565LFIB/./)GD0i'/./)4)H/5E5B/G8+5<N)GD
*;BST*9F=*;)?S9|z
Q Ek7 nut.S9*-8'/.*TS;)EnoSTS;jk*;</)H/#3
r !"#$"$"
%
'iIS;</N8)RHHKIGILMIJ UNz`hk*987<3*;<)5576bS;./zur*987tB/=B(5)?|Cnv 1u 1u5 [u*gzz</¢DG8
<(D#6bS;.()?*;<n()=H/&F=S;/F/8]0C<(DLF5<t'( *9D5<)?*Tw(GD)E)H/78?5)^n8+))G8jH/5 *2)^*98^)=./z
kH/\8?5)tF5<h'(3*;65< *;< Il/)5<(8:*;<0 '/./)4*;)#*-8#.(8?.(ySqS;| DG8=FI?*;'(GD'|.(8*2</hno./<(FI)?*;<
j7H*9F=H '/.*TS9D/8 1u1u ¢G1B5t./)tn 1u? 1 1B x /G1B9rz?1#*2<(8+)<(FI0 ['&?]
FIB/./)G84)H/\8?5)4n!8?)I)G8I/\8?.(F=Hh)H()4)=H/5Il*-8+)8t)ES;G8?)L</)<(8*2)+*2< 8?./FIGD
*;< /C<(D3S9'(ISTS;GD 'N|(&?z(&H/G8?#no./<(FI)?*;<(84CLIl/B/G88?GD*;<)58&n)H/pv*2GDm`!B/H
8?)I)G8 7)I<(8:*;)?*;<(85zb`7*;65< )H/EngFI)k)H()k)H/4QEN8k8?5C<N)?*9F58 *9878+.(FH\)H(C)k*;)k*98kG8?|
)IS;|/DIS*;<nu)+*2<<}8+./FI4B/}0C*2)&*-8B(88:*;'S;L)t.(8?L8?BiGF=*TwxF4nu./<(FI)?*;<(8
*;<).*;)?*;6IS;|hnu#)H/B/=5Gz /4*;<(8?)<(FI0 *;)#*98LBiN88:*;'S;\)FH(IFI)5?*75\
8?5)#n!8?))=G8*2<)H/¢DISkn& *;GDhQE8EB/C jk*;)H )=H/tnoCSqS;jk*;</\nu./<(FI)?*;<
)
+* " [/K]j7H/5=(/#*98k)H/L<(C4n<}./)3)<\8?))=7*;<})=H/p8?./IFI4B/C}z/kH/
QEN8kFIB*qS;5755B(85</./H3*;<no=)?*;<nov)=H/E</N8 )NCSx)#'(L'S;4)#56ybS;.()
)H*98&no./<(FI)+*2<z
5)k.(8*TSTS;.(8?)C)4)H/48?5<)?*9F58 n Ev7 jk*;)H3)H/noSTS;jk*;</Il(BS; ,$$-.GH /(UNzQ
<//D /0/x8=)?*98:w(G8k)H*98 nut.S9W*TnA<(D3<S2|*Tn)=H/54IlN*98?)I8</4Il¢GFI./)?*;<8?G,./5<(FI4nu
/ /
8?.(F=H)H()L}8+))t8)?*98:nu|*;</\/*-8WGF=H/GD'(Inu \./<*2)I84n7)?*;ze:)LIl/B/G88?G8W)H/
B/ 1#)\GF=H /1/^'(Inu \./<*2)I84nk)?*;zCFLnut.S984D </)4H(b6t)5B(bS
G8+)?*9FI)?*;<(8 [:*;65< 'N|s)H/ % h\Il/B/G88:*;<^] 2Il¢B/G8=8?G83)H() ~j&*qSTSt'(h8)?*98:w(GD
$"Il¢B/G8=8?G8)H(C)*98C<E"G 1B/Bi5)?|p<(D!"*-8 8)?*98:w(GDY*Tn <(Dt<S;|#*Tn)=H/5
Il*98?)8</4Il¢GFI./)+*2<Cn )H/LB/=<\jH*-F=H *98EbS;j&b|/8k8)?*98:w(GDz
&
4%,.
!
( &@ :% :(& &%7 $'&)('(
!+*
:%@/: >?V>A
e:<)H*98k8?GFI)?*;<3jk7*;6E<S;|<*;<).*;)?*;6*-DG#nH/j jk7B/=B(N8+!)E*;<)5C)765?*TwxF5m
)?*;< 5)H//D/84n7,.(<)?*;))+*26p=GbS;mu)?*;B/=B(5)+*2G8*;<N)!$7 Q tzkH/G8+B/?*;<(F=*;BS2G8
jk*TSTS'(W*TSqS;.(8?)=)GD '(IS;jj7H*TS2DG8FI+*2'*;</}< Il¢Bi5?*;5<)E*2< )H/pCGtn./)</.(8
65H*9F=S;G85z
*;8?)G0/jk#)<(8:S9)=p$^784<(D}$8&*2<)\ *;GD Q!=N850*;<D5E)35B/G8?5<)E)H/
FI<)STS;5}'i5H(G6*;}Cnp)H/'i)?*9FhB/BST*9F5)?*;<'| *;GDm`EB/H [C<(D </)
'N|h'(S;G< C./))=<^]ziQ Y*2<*;t*7G)+*2< )NCS*-8#.(8?GD <h)H/v*2GDm`!B/H
FIB/./)GD'|h)H/3QEN8#FIB*TS;5'iIno=.(8:*;</ E=</N85z^kH*98tt*;<*;t*7G)?*;< *98
5GFI)?*;6L8:*;<(FI0w(8?)b0N)=H/!'i5H(G6*;8kjk48?B(GF=*Tnu|}48?.(F=H\)H()vWS;)7Cn )<(8*2)+*2<(8
S;GDs)h)H/88?))\j&*2)=H D*6555<)S9'iIS987<(D 8+GFI<(D0)=H/}B/Bi5)?*;G83jk
FI<(8:*9D5vFI.S-D#'ivG8:*TS2|tIl/B/G88?GDW*;<)5=8Cn()H/7 *;GDmuQ!=N8^8?./FIkB/
8?))=G8P[8+5p'iIS;yj ]zQ484\FI<(8?G,./5<(FI0S9'iIS-8#FI.S9Dh'i'(8?)FI)L8:*;<(FI)H/5|C
</)L=IS-C)GDh)=})H/3B/Bi5)?*;G85zkH*98#GD.(FI)?*;<B/H(8?*-8tF=H*;56GD'|.(8*2</ )H/
t*;<*;t*7G)?*;<)S<(GD\QS9D5'(< D/5d d'Lgz
FGFI<(D0jk7Il¢B/=G88)H/EB/Bi5)?|#*2<\Ev}<(Dt.(8+!)H/EE</N8 )S()LF=H/GFY*2)bz
{hp=L</j *;</)*TSTS2.(8+))t)H*98EB/?*;<(F=*;BS;Cn*2<)5I)?*;<}j&*2)=H YGbSIl1BS2
)C5<3no= )H/L=GLCnA./)=</.(8&65H*9F=S2G8rz
@ V W>$V : V/@U8T:%@ 8 3V < V>< 6&<C8 6=@ 6 6 A ;V : %VbA
g` a % ]#^/cO'ca/_'- " 7_ + a #%;
7./#S;</mu)5= '/>?GFI)?*;6*98L)=}8?B(GF=*Tnu|06ybST*9D/)\<(D *;BS;55<N)6*;).(yS XI)Ib*;<>Y\n
IS;GFI)?*9FW65H*9F=S2G8 (GF=H\65H*9F=S;4*98kIl/B(GFI)GD)F=S;N8?IS;|3noCSqS;j )H/4B/56*;.(8k</L./)=m
)?*9F5bSTS;|h.(8:*;</hDGD*9F5)GD8?5<(8?I8" 36*98:*;< B/B/FH *984.(8+GDh)S;¢F5C))H/B/=56*;.(8
65H*9F=S;E*;<D*98?)<(FIE<(Dt</S;k" <(Dt4FIB/./)5?*75GDFI<N)=S18+|¢8?)=5}zkH/ w(8?)65H*9F=S;
jk.S9D#'(7)=H/<S;|L</vj&*2)=HYH./<D?*;65GzkH*98jk*98^B()^n()H/ ;v? E1bT ;v 531
[8*2< DPBV 'L]0i)H/t'*2)+*2.(8EB/C '|})H/ 15<(FH 65</5<)!)=D56IS;B
8?ISTnumg8?56*9FI\B/./'Sq*9F)<(8?Bi)L8?|/8?)5 .(8*2</h8?3bSTSvIS;GFI)?*9F365H*9F=S;G85z^{h\FI./5<)?S;|
jk*;</jk*;)H <S;|\)jk#65H*9F=S2G8rz
kH/B/BST*9F5)?*;< jkDG8FI+*2'iGD 8?H/.S9DG8?BiGFI)L)H/nuSTS2jk*;</h8?BiGF=*qwxF5C)?*;<z{ H/5<
*;)E*98!8+))GD01)H/pD?*;65<hF548?H/.S9D8:*;<(bSj7H/5<*2)E*98GD|zkH/5<0i)H/L./<(D?*;65<F5G0
j7H*9F=H}8?H/.S9D3'(E*;<3)H/4./)C)?*9F7/D0)?*;G8 )pF5C)FH3)H/E6*9D58:*;<(bS)WS;¢F5)=4)H/
w(8+)F5bz/{ H/5<\*;)7*98ED</0i)H/L</Y*2<(ySIl/GFI./)?*;<Il¢BiGFI)GD*987)H(C)7)H/L./<(D+*265< F5C
nuSTS;yjE87)H/tD?*;65<F5C7./<N)+*qS)H/tB/BST*-F5C)?*;< *-8E8?)B/B(GDziQ!<\Il(FI5B/)?*;<B/Ip.(8+)
'i8?)I)GDW*Tn )H/76*9D58:*;<(bS(*98S28?)vD./?*;</t)H*98 </t*;<(bSIl¢GFI./)?*;<ze:)H(8A)L8?)B)H/
./<(D?*;65<F5!8k,.*9F}8 BiN88:*;'S;zx&H/LD?*;65<F5 *98E8?./B/B(N8+GD3)FIE'(F=C<(D3)H/
XI)=b*;<>YtInuGDzQ S;)n B/'S;58FI.S9D\H(Bi57)H*98kIl/GFI./)?*;<iB/HN|/8:*9F5bS D/G8
nFI.(F=*9bSFIBi</5<N)I850(FI)?*;6)?*;<\n)H/L3<N.(yS¢D0/GFH(<*9F5bS8?)B(850z;z;z
kH/\)?|NBiG8tn,.(<)?*;))?*;6\GyS&)+*2\B/B(5=)?*;G8tjk\jv.S-D ST*; )hFH/GF= < )H*98
Il(BS;4*98
)H/LB/BST*9F5)?*;< *987)+*24'(./<(DGDz
)H/)?*;5mS9 '(5)?jk55< )=H/Y8+))?*;</ B(*;<)84nk)H/j7H/5ISkIl¢GFI./)+*2<hS9bj <(D )H/
)vIl/GFI./)?*;<S-bj *98'(./<(DGDz
)H/)+*25mS-C!'i5)jk55<t)H/kD5)GFI)?*;<LCn()H/v8:*;<(ySS;N88^D5)GFI)?*;<<(D4)=H/vFIBS;5)
8?)B/B*;</3n )H/tF5k*98k'i./<(DGDz
&k`ba ] %;a/_'- ' (_5_ + x[^i_5L`bc¢ `G gx` a %']'
{h4)=<(8:S9)E)H*98 *;<nubS8?B(GF=*TwxF5)+*2<}*;<)t$7^z/eg)8 </Y*2<(ySIl/GFI./)?*;<FI<(8:*98?)8 n
<Y*2<w(<*;)ES;Bj7H/8?7'(/D|t'(5*;<(8 jk*;)H)=H/7)G8?)n<Il/)5<(bSxFI<(D*2)+*2<j7H*9F=H*;<(D*;m
F5)=G8)H())=H/D?*;65<pF5*-8GD|z5{ H/5</565 *;)*98 8C)?*98:w(GD47$7 <(GD4$ .(DGD 6
*98L8+))GDzikH*98L8?GFI<(D$7fb*;8E)}FI<)S^)H/8?GFI<(DF54j7H/5< *;)EnoCSqS;j!8E)H/#w(8+)
</t<(D3)H(C<(DS2#)H/ES;N88n)H/46*9D5\8:*;<(bS 'i5)?jv55<\)=H/L)?jkL65H*9F=S;G85z
@Inu'(5*;</<*;</ )=H*-8#</Y*2<(yS&Il/GFI./)?*;<0}8+5)Ln!)=H/5B/GFI<(D*;)?*;<(8Yp.(8+)L'(
8C)?*98:w(GDzkH/ *;<*2)+*-ySq*7G)+*2<\B/H(8? [g)=85058?5<(8?850z;z;zG](t.(8?)^H(b6k'(55<tDkjk*;)H/./)
D5)GFI)+*2</5=85zkH/\FI)?*;6¢Dp.(8+)L'(3FI)?*;6y)=GD <(D )H/ XHN./C<>Y\8?./B(56*98?
H(8A)4*;67)=H/!8?)=) ID5GzkH/7</Y*2<(ySxIl/GFI./)?*;<Cnx)H*983b*;<$7 *-8 8?)B/BiGDt*;<)?jk
F58+G850I*;)H/54)H/8?./B(5=6*98?#*;6G8438?)B D54E)H/t<.(bS¢D#*984FI)?*;6)GDzeg<
)H/#w(8+)F5b0/)H/p$ 5<(D/8E</ySqS;|/*;<)H/8?GFI<(D </W*;)7*98*;<N)=5./B/)GD '|}S;'(yS
Il(FI5B/)?*;<z
kH/4Il1FI)!8?B(GF=*TwxF5)+*2<Cn)H*98b*;<}$7 *987)=H/EnoSTS;jk*;</</
Q" % /3b*;<
# `S& ( $& *;<*;) D" NM % % 0JP#8L
(./) /D D YM % % 0JPt8L
& :S / $& (C./)NMC<
&NS) VS / -& &
Q& % ' uSGK -&
&)&-/
w(8+) F5 GD| D" NM % % kOt</L
8?)=) [$7 .(IDGD 6]
(
&)&-/
:S / $& #) -% &
$7 .(IDGD 6A*-8^'/.*TS;)nuf)H/kB(bSTS;ISxFIBiN8:*;)?*;<tn()H/5 '(8:*9F 'i)?*9FkFIm
)?*;<(88+B(GF=*Tw(GD8)=H/5*;<(D5B(5<(D5<)7$ 85zy&H/w(8?) )jk(0b$ 8?5<(8 S;¢Fk<(D#$ 8+5<(8 D*2b0
G8+B(GFI)?*;6IS;|}FI<)S)H/EIS2GFI)=?*9FE)k<(D3)H/Ej7H/5ISn)H/LF5kF5FID*;</)t8?5<(8?I8
*;<nu)+*2<z(kH/ES98?)k</0/<(CGD$^ '/0¢FI<N)=S98)=H/Eno)mu'/C!Cn )H/LF5Gze:)*98
</)EbS;j&b|/87FI)?*;60i8:*;<(FI4*;<}8?)7n)H/LF58?G8&)H/L5</*;</ '/*;</*98E8?.+ZF=*;5<)!)8?)=B
)H/k65H*9F=S;z/kH/ wx8?)^)?jv4$^78D5)GFI)S;¢F5yS(Il1FI5B/)?*;<j7H/5<t)H/k6*9D5p8*2<(bS('(5)?jk55<
)H/#)?jvtF58 *98&S;N8?)Gz/kH/t$7 $7 .(DGD 6EH(<(DS;L)H*98E8:*;).()?*;<\'|\8?))+*2</3<
XI555<(FI|/YtB//FIGD./t<(GD\$7 B(C*;</(z
kH/4Il1FI)!8?B(GF=*TwxF5)+*2<CnA$7 .(DGD 6*987)H/EnuSTS;jk*;</</z
Q" % ($ .(DGD 6
# `S& ( $& &
& VS0& ( -& &
& :S / $& &
&NS) VS / -& &
Q& % ' uSGK -&
-#
8?)=) [$^ 8?5<(8 S;¢F']
8?)=) [$^ 8?5<(8 D*; ]
&)&0/
'/ }8?)=) [$^ '/]
(
&)&-/
( -#
:S / $& #) -%
[k8:*;<(bS S28?) $^ 8?5<(8 S;/F4!8*2<(bS S;N8+) $^ 8?5<(8 D*;&]
8?)I) [$ B(*;<//]
{hpFI.S9D </)?*9FI#)H()7)H/#</t*;<(bS Il/GFI./)?*;<n)H/L$ $ .(DGD 64</565
5<(D/8508:*;<(FI7*;)A*-8 '/.*TS;) no )H/57B(IbSTS2ISFIBi</5<N)I8^*;<jH*-F=H</&*-8 <t*;<w(<*;)ES;NBz
kH/3<S;| 8:*;).(C)?*;< jH/5$ .(DGD 6t5<(D/8W*-8#j7H/5< 3S;N8=8LCn8*2<(bSv6*9D5}*98
D5)GFI)=GD}<(Dj7H/5<}$7 B(=*;</35<(D/85z
{h</j*;</})}DG8=FI?*;'(3</$ 4z {hFH/N8?3$ 8?5<(8 S;¢Fz {ht5t*;<(D )H/
GD5v)=H()t$ FI<(8:*98?)I8n bS;+*2)=H/t*9F5bS 8?B(GFI)I8IS9)?*;</t)#)H/FI<N)=S/S9Gj [u*;<./
Il(BS;0*;)D5)5=t*;</G8)H/78?Bi5GDn()=H/v65H*-F=S;4F5FID*;</#)8+78?5<(8?^*;<nuC)?*;<
j7H*9F=Ht*;6G8nu*;<(8?)I<(FI)H/kD*98?)<(FI '(5)?jk55<L)H/ )jkk65H*9F=S;G8] <(DS2*9F5bSN</G8 j7H*9FH
DG8FI+*2'i)=H/pD*98FI5)3FI<N)=S n)=H/p='()+*-FtFI)+*2<(85z({ p#*;<)5G8?)GD*;<./EB(B(5
<S;|\jk*;)H )H/L8?GFI<(D 8?BiGFI)85z
kH/hFI<N)=S7S9bj Cnp$ 8?5<(8 S;¢FFI.S9D 'ih8?))=GD *qn<(Ds<S;| *Tnp)=H/\*;<*;)?*9bST*GCm
)?*;< B/H(8?#H(87'i55<DLj&*2)=H/./)!D5)GFI)?*;</\5=850(C<(D3*Tn)H/LIl/GFI./)?*;<S-bjj7H*9FH
FI<)CS-8Y)H/\j7H/5IS7n4)H/}F5#*98bS;GD| FI)?*;6yC)GDzkH/}D5)GFI)+*2< n GF=H(<*9F5bS
B/'S25 *2<)H/3)4n7)H/F5C4S;GD/8#)555<(FI|8?)BhCnySqS7)H/\B/BST*9F5)?*;<z
B 565b0b*qn^)H/8+B(5GD36yyS2./LFIB/./)GD'N|t)H/4FI<)S/S9bjs*-8 )LH*;H0/8?7B(C5m
)5I8kn)H*98!FI<)CS(S9bj t.(8?)k'(tFH(C</GD\)FIB/./)Lt</5j 8?B(5GD6ybS;./z
kH/4Il1FI)!8?B(GF=*TwxF5)+*2<Cn)H*98E$ *-8)H/EnuSTS;yj&*2</3</
Q" % ($^ 8?5<(8 S;¢F
# `S& ( $& )= D" NM % % kOt8L
/j7H/5IS 8?))=GD D YM % % kOt8L
& VS0& ( -& &
K.#" -& `K ( 0(
& :S / $& /) B/'
&NS) VS / -& (8:*;<(bS S;N8?)
&NS) TS YM /8?Bi5GD 65?S;ND
$ 8?5<(8 D*;4*98465|}8:*;t*TS9t)$^ 8?5<(8 S;/F0)H/t<S;| D*6555<(FIt*98E)H(C)E*2)4H(8E</
G,.*;6ybS;5<)})h)=H/\B/GFI<(D*;)?*;<~j7H/5IS 8?)C)GD [u*;)H(8<S;| </ B/GFI<(D*;)?*;< j7H*9FH
*;<(D*9F5)G8E)H(C)7)H/E*;<*;)?*9bST*GC)?*;<hB/H(8?4j78FIGFI)?S;|\D</]z
$ '/CL<(D\$7 C*;</CLDIw(</GD3*;<})=H/pB/Bi5<(D*qln )H/#B(B(5bz
&k`ba ] %;a/_'- ' (_5C&('¢ Z\`%ix]
*;8?)b0()H/E</N8765?*TwxF5)?*;<)SH(C<(DS2G8W<S;|}</#)?*;t./<*;) GF=H F=S;/F*;<(FIG8?G8
) )H/48!8+B(5GDz/{hEE)HN.(8A'ST*;GD3)L)=<(8:S9)GFH\DIS9b|j7H*9FH}CB/B(G8*;<\)H/
8?BiGF=*TwxF5)?*;< *;<N)3t*TSTST*2mg8+GFI<(D/85z
Q v*2GDmuQ!N8$^ FIB(</5<)H(8A)H/5!8+))G8 j7H*9FH\FI=G8?B(<(DY)4)H/!$^ FI./m
5<)!8?)I).(8j7H*TS;tj&y*2)+*2</nu7)H/4B/GFI<(D*2)+*2<)='(t8)?*98:w(GD0(FI)?*;6 [g)=H/4Il¢GFI./)?*;<
S9bj*98bST*26] <(DWw(<*-8+H/GDzNkH/ w(8?)8?)C)*98^Iw(</GDt'| Uk./)3) *;<tB(bSTS;ISxjH/5
*-8)H/4<./t'(57nB/GFI<(D*;)?*;<8?B(GF=*Tw(GD *;< )H/L$ Wz/eg<(D5GD0i</L./))<*98788+m
F=*9)GD jk*;)HhGF=HhB/GFI<(D*;)?*;< <(D </FI<N)=STS25E*98#D/DGDj7H*9F=H D5)GFI)I8E)H()4GF=H
B/GFI<(D*2)+*2<h*9848)+*-8w(GDzeunv)=H/Y$^H(8E\D./)?*;<0i)H/ X5bST*;62Y\8?)I)4*98E)5B(?*75GDz
e:<bSTSF58+G850*;)7*98k=Iw(</GD\'| & U4./)C)W*2< B(bSTS;ISj7H/5
t*98)H/4<N./t'i5!n^S;¢F5ySFH(C</4Il1FI5B/)+*2<(8
*987)H/4<./t'(5En^S2/F5bS Il(FI5B/)?*;<(8
& *98k)H/L<./t'(57CnS;'(yS Il1FI5B/)+*2<(8
*987)H/4<./t'(5En BiN8?)FI<(D*;)?*;<(8
7</pFI<)STS;5k*98ED/DGD\j7H*9F=HD5)GFI)I8k)H()7GFH\BiN8?)FI<(D*;)?*;<*98!8C)?*98:w(GDz
/E*;<(8?)C<(FI0)H/t)C<(8:S9)?*;<nv)=H/$ J$ 8+5<(8 S;/F#*;<N) *;GDQEN8&S;GD/8#)
)H/#B/I*;65<3*;<})H/Ww(./LO/z
eg<D5E)8?H/jH/j 3$7 FI.S9D'(t)I<(8:S9)GD*2<)\ *;GD Q!=N850/jk#.(8?GD )H/
QEN8#B//FIGD./\F5bSTS7GFH(C<*-8+}z{s*;)H )=H*-8#GF=H(<*98? *;)#*98tB(88:*;'S;\)5mu.(8?\<
QEN8EFIBi</5<)E*2<3B/C jk*;)H565<)85<(t*;</ B(N88*2'*TST*;)?*;G85z/FIGD./F5ySqS98
n<\QEN8&B/C C4Il¢B(C<(DGD\'(Inu4)=H/pFIB*TS9)?*;< B//FIG885z
kH/\w(./= *98)H/} *;GDsQ!=N8tB/ 88+¢F=*9)GD jk*;)H $ .(DGD 6z
{h}FI.S-D 8+5)H(C)L)H/3</t*;<(bS!8?)C)*98#Iw(</GD'| B(bSTS;IS!FIBiN8:*;)?*;< n!)=H/5
FIB(</5<)8/)=H/4)jk$^ j7H*9FH G8?BiGFI)?*;6IS;|FI<)S)H/4)7<(D3)H/4jH/5IS n)H/
F5 (<(D\t)H*;D FIBi</5<N)j7H*9FH H(<(DS;G8E)H/Eno) '/Ej7H/5<*2)*98k</GFIG88C|z
¢` 'Aca/_'-D#^`bcC¢]b]
{ht4</j~C*2</)8?H/j~<\)=H*-8B()+*-FI.S9E'i)?*9F4B/BST*9F5)?*;<H/j~)F=H/GF=\)?*;
D5Bi5<(D5<N)4B/B(5)?*;G85z
7./Ew(8?)4Il(BS;FI<(8:*98?)I8*2< B/6*;</\)H()4)=H/p3blN*;t./ Il/GFI./)?*;<h)?*;tnk)H/
B/BST*9F5)?*;<*98#bS;j&b|/8kS;jk54)H(<%P3t*;<N./)G8rzkH*984B/Bi5)?|h8?558E)\'i)./8*2<(FI
)H/8?BiGF=*TwxF5)?*;<n)H/L3b*;< $s*;<(D*-F5C)G84)H(C)!)H/tylN*;t./ j7b*;)?*;</\)?*;#nuE)H/
B/GFI<(D*2)+*2<(8k)L'iL8)?*98:w(GD [% /#uSE*;<\)H/!8?G,./IS]*98 G,.(bS)pO#t*;<./)G8k<(D)H()
)H/t*;<*2t./ j7b*;)?*;</})?*;nu4)H/BiN8?)FI<(D*;)?*;<(8#)\'i8=)?*98:w(GD [% / & \*;<)H/
8?G,./IS]t*98G,.(bS4) PY*2<./)G85z 565)H/IS;G8850 </)H*;</ *;<(D*-F5C)G83)H())=H/}B/
j7H*9F=Hh*;BS;55<)8#)H*98t8?B(GF=*TwxF5)+*2< H(8W'(55< FIGFI)+S2|hFI<(8+).(FI)GDz B}565G0i)H/
ylN*;t./ Il/GFI./)?*;<t)?*;nx$7FI.S9D4'( S;jk5)H(<L6ybS;./k 8?.(F=Hp82K% /#uS
% / & zNkH*98 *98 </)k)H/4F58?*;<\./kIl1BS20'/./) *;)7FI.S9D3'(4)./nu)=H/5v</G8
<
<!
)
6 #
!
G
<!! !
f e`*
f
)
!<
u
<
<!
)
) "f
)
-
<!! ! N'
) "f
) e`*
f
)
D
e`*
f
)
)
!<
e`*
f
)
&'2h
<!! !
e`*
f
)
<!! ! u
e`*
f
)
q!! !
e`*
f
)
'
<!! !
'
q!! ! g'
!<
i i
h
!<
!q
<!! !
<!! !
#
!
&
2h
h
h
h
<
!
&
9<B2N9 > 5A6>&;<>= >N8 "!NBB >#g89<?VBBE >%$&B=3>&/E8NA6>&;q>&= ? &8u9<1('&2N/) 3>&9q;C
5+*-,/. 9<B2N9 3>&8102,.3 4 9<B2N9 >&85026 9<?:BBE >)$&B=3>&/GE8Y9<1('&2N/% 3>&9<; 4 9<B2N9 3>C
*;./tO )H/L$^ $^ 8?5<(8 S;¢F#8?B(GF=*TwxF5)+*2<)=<(8:S9)GD*;<) *;GDQ!=N8
f e`* !
#
! !
e`*
f
)
'
e`*
f
)
'`
q
<!
)
('
) f
) e`*
f
)
e`*
f ! '
e`*
f
! 'u Gq
#
<
'
) "f
) e`*
f
!
f e`* !
e`* ! '
f e`* !
) f
) e`*
f ! '
) f
) e`*
f
)
'
f e
! Of
f e
! #
) "f
) e`*
f
)
' ) f
) e`*
f
! '
e`*
f
)
'
e`*
f
!
e`* ! '
f e
! Of G'
e`*
! )
'
e`*
! !
e`*
f
)
e
! #
'
e`*
f
!
e
!
#
'
e`* !
e
! #
e`*
! )
e
! #
'
e`*
!
!
e
! #
'
e`* !
e/
!
#
'
e`*
! )
'
e`*
!
! '
e`* ! '
fG e
! Of '&@N/=ENBE A6>)$&B5A >&;<>&= >N8 !NBB 9q;</G=;<BE88/G= 9<;q>&?N?VBE:C
5+*-,. '&@N/G=ENBE A6>)$&B&8NB2NE '@N/G=ENBE A6>%$BC
9<B2N9 >
#
!
&'
/<
!
'
<
q!
)
'#
!
'
) "f
)
9qB2N9 EN13=
/<
&'
/<
#
<
'
G<
('
) f
)
4 &N=/)&B !
&' !
' ! G"f
/=12 '
#
!
&'u))'
!
A#Of
e
! #
<
G)"f e
! #$
/f e
! #
[unuA*2<(8+)<(FI*qn^)H/7</t*;<(bSIl¢GFI./)+*2<3*-8kEB(IbSTS2IS FIB(N8:*;)?*;<3n)?jkL$ 78k8?.(F=H3)H()
)H/t8?./ n)H/I*;7Il/GFI./)?*;<)?*;E*98kS;jk57)H(< % / & >]Iz
kH/pEk7 nut.S9tj7H*9FH Il¢B/=G88?G8)H()!$*987)+*2L'(./<(DGD\*98)H/EnuSTS2jk*;</
</
) *"
)
) *"
(
)
*;6G8)H/^*;<*;)?*9bS(8?))=nN)H/k *;GD4QEN8iB/ II*;)H/5{b*;) GF $7
7Y*2<(yS $7^0F5FID*;</h))H/\B/G8+5<(FI\'(8?5<(FI}Cn!B/GFI<(D*;)?*;<(8Y*;< )H/}$7
8?BiGF=*TwxF5)?*;<zkH*98nut.S9tt.(8?)7'(W*;<N)5=B/)GD 8 nuSTS2j!8 /GF=H}Il/GFI./)?*;<h8?G,./5<(FI
*988?./GDnuJ)H/k*;<*;)?*9bS8?)I)7n)H/E *;GDQE8B/ *98k8?.(F=H)H() '(Inu4 ./<*;)8
n)?*;#)H/TXI5<(D}8+))2Y#H(8k'i55<}GFH/GDz
kH/8?GFI<(DIl(BS;jkt)t)*TSTS2.(8+))3./45)=H/¢D0FI<(8*-8+)8*;<hB/6*;</ )H()
)H/k)?*;5mS94'i5)?jv55<#)H/78?)=)?*;</7B(*;<)n()H/kj7H/5IS/Il¢GFI./)+*2<LS9bj <(DW)H/k) </
*98E'(./<(DGDzxkH/t8?B(GF=*TwxF5)+*2<*98!8?.(F=H})=H()7)H/#j7H/5IS *98EbS;GD|}FI<)CSqS;GD j7H/5< )H/
Il/GFI./)?*;<tS9bj Cn()H/)*988?)C)GD05'/./)^)H/k5658+*98^</)^)./z5{h7FI.S9DtF=H/GF#)H()
)H/)?*;tS9}'i5)?jv55< )H/)?jk8?)I)?*;</\B(C*2<)8W*98LbS;j7b|¢8S;jk54)H(< Y*qSTST*;mg8?GFI<(D/850
D./ ))H/\j7b*;)?*;</h)?*;3ST*;t*;)8=8?¢F=*9)=GDjk*;)H )H/\)?jk $^ 8?5<(8 S;¢FB/GFI<(D*;)?*;<(85z
e:< D5t) Il¢B/G8=8t)H*98tB/Bi5)?|0jkH(b6\)=.(8+\)H/3noCSqS;jk*;</ 8?))3B/GD*9F5)G8
) * W:S ub &gS
<(D
) *" WVS `b ( # z kH/}B/B/=m
B/?*9)=Evsnot.S-8?H/.S-D Il¢B/=G88)=H()tj7H/5< )H/}8+))RW:S ub ( #*98
FI)+*260*;)*98k</)7B(N8=8:*;'S2#)8?)b|#*;<\*;) no7 Y*qSTST*;mg8?GFI<(D/84<(D3)=H/5<\)tGF=H)H/L8+))
WVS ub )&gS¢0/j&*2)=HR2 J z(&H*-8&*98!D</L'|\.(8:*;</v7 B(5C) /
j7H*9F=H\*98k</)*;65<3*;<}./7DIw(<*;)?*;<nEv7nut.S98k'(GF5C.(8?4n^*2)I87FIBS;Il*2)?|3nu
w(8+)LB/B/NF=Hhn)=H*-8S;*9Fz kH*98no=p.S9*98L8=)?*98:w(GD *Tn!<(D <S;| *qn7</Il¢GFI./)?*;<
Il*98?)878?.(F=H\)H() *-88)?*98:w(GD3<\GFH\8?))=!GFH/GD3'|)H/L8?G,./5<(FIL'iIno!=GFH*;</
h8+)) / j7H*9F=H 8)?*98:w(GD / z? *;<(bSTS2|0 )H/\Ev7 no=p.S9 jkCS;*2</ nu#*-8Y)H/
nuSTS;yj&*2</3</
</)P[
) *" WVS `b ( #
) * W:S ub ( #
) * W:S `b &gS ]
+3-( % ),+ 9 &3& # 4%,.
!
( & 3 + %693 '9 %1#: &
< @U8 :8 <b8 :;V <^@3<3A:%Aa6C $6^8 =6=A /6 3:<%V a< @ K6=@36=A 8 6C6
kH/#)?*;LBi5?nu<(FIG8jk4*;64*;< )H*98!8?GFI)+*2<}H(b64'(55<'/)Ib*;</GD\<tt*9D/DS;5mg8:*75
jk/8?)C)?*;<z
)?*;GDmuB/H FIB/./)GDk)H/<N./t'i5}nL)I<(8:*;)?*;<(85078?)I)G850A*;<N)5=<(bSL565<)850kF=S2/F=¢8
<(D *;</B/./)8" GF=H n)=H/G8?G8\,.(C<N)?*;)?*;G8*98*;<N6S;6GD *2< )H/hFIB*qS9)+*2<~)?*;}Cnp
*;GDmuQE87B/}z
kH/3b*;< B/¡*98#)H/\ *;GDmuQ!=N8#B/I 88?/F=*9)GD jk*;)H)H/3b*;< $
jk4B/56*;.(8:S;|}DG8FI?*;'(GDzkH/4B/J<(GD\$kGD.(FIGD*-88:ST*2HN)?S;|}D*6555<)kno=)H/
y*2< </zeg)tH(8#'i55< '/)b*;</GD 'N| 88?/F=*-C)?*;</j&*2)=H GF=H 8?5)tn7B/GFI<(D*;)?*;<(8</
j7b*;)?*;</t)?*;kST*;t*;)G0*;<(8?)GDn</7j7b*;)?*;</t)?*;kST*;t*;)7jk*;)HGFH3B/GFI<(D*;)?*;<z{h7j&*qSTS
8?54'iIS;yjf)H()k)H*9878:ST*;H)!D*655=5<(FILn )=H/8?BiGF=*TwxF5)?*;<H(8k8:*;<*TwxF5<)FI<(8+G,./5<(FIG8
< )H/4B(5+no=<(FI4n'()=H\Q!N87FIB*TS;54<(D}E</N8 )NCSz
Hl1BS2 I<(8 F))=G8 e:<N)=5<(bS HA65<N)I8 S;¢F=/8 eg</B/./)8 B*TS9)?*;< *;
Bb*;< J/UGP/UbM UGPO P UGO JP PH}MP
$kGD.(FIGD UGMVd UGPO P UU JP PHhUGP
kH/7w(I8?)k5jvEF5<\&*-8&)H()7DG8?B*;)4)H/EH*;H\<N./t'i5vCn*;<N)5=<(bS565<N)I8
.(8?GDp*2<)H/G8?kB/I850bj7H*9FH3</j7<t)4'(kG8+B(<(8:*;'S;Enu '(DL)+*27B(5?nu3<(FI
*;<}8?|<(FH/=</.(8AS9</.(G8kFIB*qS;5P[?8:*;<(FILFIt./<*9F5)?*;<(87=!8?))+*-F5ySqS;|\FIB/./)GDb]I0
)?*;EB(5+no=<(FIEn)H/!QE8FIB*TS;5k*98v,.*;)EN/DzN&H*-8v*-8kD./E)L)=H/!D/B/)C)?*;<
nvC<}bS;?*;)H/¡.(8?GD3*;< )H/ H 8?)5ISFIB*TS254jH/N8?LFIBS;Il*;)|*98kST*;</GE*;<})5=8kn
)H/3<./p'i5tnk*2<)5<(yS&565<N)8#<(D </)LIl/B(</5<)?*9bS!8W)H/w(I8?)pbS;?*;)H/8#.(8?GD *2<
)H/t8vFIB*TS25bz
kH/8+GFI<(D35=t*98)=H()k)H/!QE8vFIB*TS25&*-8&65|8?5<(8*2)+*264)L)H/4<./t'(5kn
F=S;/F/87.(8+GD3*;<)H/L8?./FI#B/I}zN$&./HS;|0GF=H\)?*;LjkE*;<N)=¢D.(FItt</5j F=S2/F=3*2<
)H/L8+./FI4B/}0jk7*;<(FIG8?L)?jknuS9D)H/4<./t'(57Cn)I<(8:*;)?*;<(8kn^)H/LFIB/./)GD
)?*;GD3B/H [u*;<ngFI)G0)H*98*98kIl(FI)?S;|)=H/F58+7*Tn )H/E</5j~F=S;¢F=*98kFI)?*;6E*;<3GF=HS;'(yS
8?)I)4n)H/L8?./IFI4B/Ca]z
eg< )H/\</Il/)t)'S;0jknu/FI.(8L< )H/)+*2\B(5?nuC<(FI\n!)H/3N=</N8#)Svj7H*TS;
F=H/GF*;</)=H()7)H/LB/BST*9F5)?*;< *98)?*;5mu'(./<(DGDz
H^l(BS; AS2/F=¢8 <(8 F))G8 c5?*TwxF5)?*;<h *;
By*2< UGO J1UGP/UGM UbPO M JtH}PP
By*2<\Y*2<*;t*75GD UGO NPP UbPO U4H}OP
By*2<\B/)?*;t*75GD V J1UGP/UGM UbPO M JtH}PP
By*2<\B/)?*;t*75GDY*2<*;t*75GD V NPP UbPO PH}OP
$kGD.(FIGD UU UbMV d UbPO PtHhUGP
$kGD.(FIGD t*;<*2Y*5GD UU yPO PtH}P/U
kH/kw(8?))+*2vjkk)|#)4B/6k)H/7Ev3nut.S9E<t)H/7 *;GDm`!CB/HFIB/./)GD
'|)H/QEN84FIB*qS;5tnu )=H/b*;<hB/ j784nb*TS;./ ^bno)=54)H/5H/./I84jk
8?)=B)=H/7)Sxjk*;)H/./)H(b6*;</<|tG8?.S;)Gz/kH/4 *;GDm`!CB/H8:*754j78^)LH*;H3nu )H/
E</N84)SvF5B(F=*2)+*2G8rz&H*-8w(8?)#Il¢Bi5?*;5<N)#S;GD/8#.(84)=3w(<(D j&b| )\GD.(FI3)H/
8:*75#n)=H/L *;GDm`!CB/HFIB/./)=GD3'N|3)H/4QEN8kFIB*TS;5E'(InuL.(8*2</3E</N85z1{h
Il/B(5?*;5<))?jk\5)H//D/85zkH/tw(8+)p</t*98L'(8?GDh< )H/YnFI)#)H()#)H/B/=B(5)?|jk
F=H/GF\Dt</)7D5B(5<(D3<3)H/L *;GDm`EB/HS9'(IS985ziQ8ktFI<(8?G,./5<(FI0*;) *98kB(N8=8:*;'S2#)
'(8+)FI)7)=H/5 <(D)H/5<)t*;<*;t*75)H/t *;GDm`!IB/Hzx&H*-8EY*2<*;t*7G)+*2<S;GD/8E)
/D3G8?.S;)878:*;<(FI#)H/!'i5H(b6*;8&jvL8+B(GF=*Tno|\L8+.(FH\)H(C)v#S;)kn )=<(8:*;)?*;<(8 S;GD)
)H/48 XI5<(D/Yt8?))=zeg<(D5GD0*Tn jk!8?)=.(D|p)=H/8?BiGF=*TwxF5)?*;<3nubST*98?B/GF=*98?IS;|0(S2)
nFI<)STS;5EGFI)?*;<(87FI<(8:*98?)7*;< GF=H*2</)H/L5<(D\8?)I)z/kH*98k*98)H/LF58?Wnov)=H/L$
j7H/5<#S;¢F5yS 7S;'(yS Il1FI5B/)+*2<\*98!D5)=GFI)GD0/j7H/5<DIS9G|3Il/B*2=G850 z-z;z
eg<}D57)FH*;56#)H*98kGD.(FI)?*;<B/H(8?4jk4.(8?tt)S <(GD3Q7S9D5'(C<0(j7H/8?
)?*;4Bi5?nu<(FIG8 E65|N/DzNkH/Et*;<*;t*7G)?*;< n)H/v*2GDm`!B/H}88?/F=*-C)GD
jk*;)H)H/7b*;<B/=)G8 S2G8=8)H(< JEt*;<N./)G8rzNkH/7<./t'(5n)I<(8:*;)?*;<DGFIG8?
'| 'i./) dOz &H/E</N8W)Sv)CG8S;G88#)H(< M\H/./8W)}C*26)H/G8?.S;)tn7)H/
65+*qwxF5C)?*;<}B//FIG885z
kH/!8?GFI<(DY5)H//DLjk7Il/B(5+*25<N)A*-8A</)8^5</5IbSx8^)H/kwx8+)</zeg<38?!8+5<(8
*;)7B/)+*2Y*5GD3)=H/!<./t'(5kn F=S;¢F=¢8&.(8?GDt*;<\)H/4 *;GDm`EB/H}FIB/./)=GD'|)H/EQ!=N8
B*TS25bzkH*98E</L5</5I)G87</5j F=S;/Fno7GF=H DIS9b|\5<(FI./<)5GD*;<)H/p8?./FI
B/}z&H*-8*98</)4¢Dp*-DG#8:*;<(FI8+!F=S;/F/8kFI.S9D'i75mu.(8?GDYno)jkLD*6555<)
DIS9b|¢8Y'(GF5.(8?\)=H/}8?).(FI)./=nE)H/8+./FI\B/ *988+.(FH)H()t)H/G8?3)?jkDIS9b|¢8
FI.S9D</)k'(LFI)?*;6E*;<\)H/L8=ES;'(bS 8?))=z9/*;<(8?)I<(FI0/)H*98 *98k'6*2.(8:S;|)H/LF58?
j7H/5<t)H/k)?jk!DIS9b|¢8=v88+¢F=*9)GD#jk*;)Ht)?jk!8?)C)G8Cn()H/v8C7./)C)<zI{h7B/BS;|
)H*98kB/)?*;t*7G)?*;<\B/H(8?E<3)H/L *;GDm`EB/H\88?/F=*9)GDjk*;)H\)H/Eb*;<\B/I}0jk
GD.(FI#)H/4<./p'i5knAF=S;/F/8 nu UGO#)V/zeg)kj78 </)78?.+ZF=*;5<)7)t!BiN88:*;'S;t)H/
.(8?\Cn!)H/\E</N8#)Sv< )H/\=G8?.S;)?*;</ *;GD `!IB/H '/./)bnu)5tt*;<*;t*7G)?*;<s)H/
)?*;#B(5?nu3<(FIG8k'(5</Iw()EGC)?S;|nu )=H*-8F=S2/F=\B/)?*;t*7G)?*;<z
{hLbS98?tE)H/L8C4)G8?)8Anuk)H/EGD.(FIGD\B/E[gjk*;)H3S;'(bS^j&y*2)+*2</)?*;
ST*;t*;)8]z^{h3FI.S9D 8?5)H()4)H/E=</N84Bi5?nu<(FIG8#,.*2)=/D}j&*2)=H/./)pD*;</
<|)H*;</<)=H/ *;GDm`!IB/H '/)b*;</GDh'|)H/QEN84FIB*TS25bz&H/t*;<*;t*7G)?*;<
B/H(8+Ln)H/L *;GD `!B/H}ySqS;j!8k)=H(b6!'i5))5EG8?.S;)85z
/)H/t,.(C<N)?*;)C)?*;64B(*;<)7n6*;5jL0ijkLF5<\4)H/EnoCSqS;jk*;</35/8
Q7S;)H/./H )H/\Il(BS;\jk3*2BS255<N)GD *98t</)t65| FIBS;Il not)H/\Dy*2<
G/0 )H/}8:*75\n7)H/} *;GDm`EB/H j7H*9F=H 5B/G8?5<)8#)H/\FI<)STS;5t*98W*2B(m
kH/! *;GDmuQE8FIB*TS;5kB(5?nu3<(FIG8=!,.*;)N/D#nu)H*98v*2GDm`!B/H
8:*75z
Q7jk565G0^)H*988*5 nL *;GD `EB/H *-8'(5|<(D)H/F5CB(F=*;)?*;G8n4E</N85zA{h
H(D)H/5=Ino=)\w(<(D 5)H//D/8LySqS;jk*;</)}=GD.(FI)H*98#8:*75\'(InuF=H/GF*;</h
B/Bi5)?|z
< ?:8 <b8 :;V <^@ < 3A:%A
kH/Yw(8?)4./)FIG8Env)=H/Il¢Bi5?*;5<))?*;<S;GD/8#.(8E)\Il/B/G88#8?,.(bST*;))?*;6t*98?m
8?./G8
kH/pv*2GD\QEN8 S9</.(4*98EjkISTS;mgD/B/)GD ))=H*-8EB/BST*9F5)?*;<hG10(8:*;<(FIt)H/
)<(8S-C)?*;<\n )H/L$&'()=mg/FIGD./4nu3bST*-8+*;<N)3pv*2GD\QEN8 B/ *98
,.*;)t8:*;BS;z
kH/3Il¢B/G8=8:*;6*;)?|hn7)H/v7S;C*-FY*98t8?.+ZF=*;5<N)#nuL)=H/B/Bi5)?*;G8#jv3jk.S9D
ST*2L)B/=y6z
7565)H/IS;G8850i*;)E*98E</)EB(N88*2'S;tnu4<}5<(D .(8?5E*;<'i)?*9F58E)\D*;GFI)?S;|Il¢B/G8=8
H*98tB/Bi5)?*;G8#*;< Ev7AzQ¡.(8+5mno+*25<(DS;| no=bST*98?}0jH*-F=H 8?H/.S9D )
)H/LB/BST*9F5)?*;<h8?BiGF=*qwxF=*;)?*;G8*2<)F5FI./<N)b0/H(8k)'(pDIw(</GDz
{ H/5< \B/B(5)?| *984</)t8)?*98:w(GD)=H/D*9</8:*984*;65<'N|hE</N84DNG8#</)LyS2m
S;yj )=w(<(D G8:*TS;| [u*;)7*98*2B(N88*2'S;no</</muIl/B(5)#.(8?5!Cn&E</8]v)=H/p5=
*;< )H/B/C}z(e:<(D5GD0^)H/D*9</N8*-8*98LIl/B/G88+GD *;< )5=8En&v*2GDm`!B/H
*;<no=)?*;<(87C<(D\</)k*;< )58kCn)H/L8+./FI4B/}zb`7*;65< )H/EngFI)7)H())H/
8?5<)?*9F58 n QEN8*98v8+.(FH\)H(C)*;) *-8&G8?|)#IS;|)=H/7*;<nu)+*2</DIS<3)H/
8?./FI4B/= 0N)=H*-8EDbj7'(F=8?H/.S-D'(tD*-8=B/B(G=GD\*;< )H/Eno./)=./z
( :+&
{htH(b68?H/j7<*2< )H*98EB(B(54H/j)\.(8?#nobS 5)H/¢D/8E)=F=H/GF )?*;D5B(5<(D5<)
B/B(5)?*;G8Y*;<(8:*9D<IlN*98?)+*2</ D56IS;B/5<)5<6*;</5<N)Ynot'()FI<)STS;585zkH*98
5)=H/¢D*-8&'(8?GD\<} *;GD\QEN8r0¢#)5B(yS Il¢)=5<(8:*;<\n8?|<(FH/</.(8 S9</.(0
<(D#<E</N850!8?|t'(ST*9Fk65+*qwxF5C)?*;<)SNn)H/=GbS¢)+*2v)=5B(IbSNS;C*-FEv7zbeg)I8
B/?*;<(F=*;BS;LFI<(8:*98?)8 *;<)=<(8:S9)?*;</4)H/78?BiGF=*TwxF5)?*;<no=bST*98?8^.(8?GD#*;<)=H/v5<6*2=</5<)
*;< *;GDhQE850)<(8S-C)?*;</\)H/B/Bi5)?*;G8W*;<N)Ev7 not.S-850<(D w(<(bSTS;|h.(8:*;</
)H/hE</N83)S)= N</j¡j7H/5)H/5\)H/B/Bi5)?| *98\8)+*-8w(GD 3</)Gzk{h *TSTS2.(8+))
./LCB/B/NF=H'N|3GbSIl(BS;)5<\nu )H/G3Cnv./)</.(8E65H*9F=S;G85z kH*98
B/BST*9F5)?*;<\H(8'(55<*;BS;55<)GD<4GyS()?*;7Il/GFI./)?*;<8+|¢8?)=5}0<(DtIl/B(5?*;5<)8
<aXI6*;)=.(bS )y*2<>YYn)?jkt65H*9F=S;G87H(b64'i55<3D4jk*;)H}8?.(F5FIG88rz
kH/Ew(8?)!FI<(F=S2.(8*2<jkLF5<Dbjsno ./7Il/B(5?*;5<)8&*98k)H()7)=H/LB/B/NF=H\jk
nuSTS;yjs*98 jkISqS D/CB/)GD#*;<*;)8 B/?*;<(F=*;BS;G87)=L)H/E</5GD/8 n)H*98vCB/BSq*9F5)+*2<}G/z+Q7jk565
)H/ B(5?nu3<(FIG8Cn()H/.(8?GDW)S98t.(8?)^'(A*2B/6GDE*;<tD5G0r<L</ H(<(D0b)!H(C<(DS2
Turg5qk=GbS B/BST*-F5C)?*;<0xC<(D\<3)H/4)H/5H(<(D0/)t'(W*;<N)5)GD3jk*;)H*;< IlN*98?)?*;</
D56IS;B/5<N)45<6*;</5<N)I85z F).(D|*2</ X<})H/(| Y38?|t'(ST*9Ft5)H//D/8n65?*TwxF5)?*;<
FI.S9D#'(7kj7b|E)knu.Sqw/S/)H/G8? )?*;=G,.*;55<)85zbQE</)H/5^B(N88*2'S;78?S;./)?*;<t)&*2B/6
)H/4)+*24B(5?nuC<(FI4n )H/465+*qwxF5C)?*;<\B//FIG88 *98k)DIw(</pt8?BiGF=*TwxFL)=<(8:S9)?*;<3n
)H/4$7 nuySq*98? *;<N)t *;GD `!IB/H0j7H*9FH\)IG8 *;<F5FI./<N)78?!F=H(FI)5+*-8+)?*9F58n
)H*98no=bST*98?}z /Il1BS20N8?)n)H/7DIS-b|tIl/B*2I)?*;<(8^S;GDY)4)H/&XI5<(D8?)I)2Y/zbeun
jk7)C)H*98*2<nu3)?*;<t*;<F5FI./<N)j7H*TS;E)<(8:S9)+*2</t4$7 *;<)p4 *;GDm`EB/H0C*2)^*98
</)</GFIG88|3)D5)Ib*TS )H/L8?)C).(8 n )H/4)=H/5!DIS9G|/8E<(D3)H/4<./p'i57n)<(8*2)+*2<(8
jk.S9D\'ipDC)?*9F5bSTS;|\GD.(FIGDz
{h77FI./5<)?S;|t)G8?)?*;</LE</5j bS;+*2)=H/ j7H*9F=HH(8^'(55<Y*2BS255<N)GDY*;<E</8
)LFIB/./)7j7H/5)=H/5vES;'(bSx8+)) *98F5FIG8=8:*;'S2E</)bzkH*98bS;+*2)=H/ *988?./B/BiN8?GD)
H(b6#N/D\)+*2pBi5?nu<(FIzieg)*987BiN88:*;'S;)3)C<(8:no )H/t *;GD Q!N8kB/
8=8?¢F=*9)=GD j&*2)=H $7J'N| D/D*;</*;< B(bSTS;ISp X58?|<(FH/</.(8t'(8?5=65"Y8DIw(</GD
*;< DOQE$7V JLg0i*;< 8?.(FH}j7b|})=H()L)H/38)?*98:ngFI)?*;<n!\B/B(5)?| *98LG,.*;6ybS;5<)) )H/
./</GFH('*TST*;)?|\n4B(C)?*9FI.S975v8?)C)zNkH/EB/'S;5 5<(FI./<N)5=GDj7H/5<\.(8*2</t)H*98
5)=H/¢D*-8&)H/4nuSTS;yj&*2</ *TnvpDIS9b|3*987B/=G8?5<N)&*2< )H/4'(8?5=65!FIBi</5<)P[g)H*98 *98)H/
F58+*Tn()H/B/=B(5)?|E*98 )?*;vD5Bi5<(D5<N) ])=H/<./p'i5 Cn¢)I<(8:*;)?*;<L<./t'(5^n/)H/v *;GD
`EB/H 8=8?¢F=*9)=GDjk*;)H)H/B/ *-8W*;<(FIG8+GDh)?jknuS9D8*2<(FI3)H*98tDIS9G| *98tbS;j7G|/8
FI)+*26z(kH.(8k)H/4FIB*TS9)?*;<})+*24n)=H*-8&Q!N8 B/C *98k*;<(FIG8?GD\<(D3)H/L8?)I)?*9F
<(yS2|/8:*98#nv)=H/Yv*2GD `EB/HB(5?nuGD}'|hE</N8E'iIno56yyS2.(C)?*;</)=H/pB/=B(5)?|
bS98?3)G84)?*;L<(Dw(<(bSTS;|\)H/LG8+.S2)I87ES;G88&*;<N)5=G8?)?*;</)=H(<\Il¢BiGFI)GDz
B}565G0(< *;Bi)<)Ejv\5b*;<(8E)3'(3D</#*2< D5E)3tG8:*;54'()H
B/B(5)?| 8?B(GF=*TwxF5)?*;<~<(DsD*9</N8:*98Y*;<N)5=B/5))?*;<zAeg)jk*TSTS4'(}3*;<N)=5G8?)?*;</ *2<
)H/nu./)./3)}Il/B/G88#B/Bi5)?*;G8#'N|.(8:*;</ nobST*98? Y*2<).*;)?*;6\)H(C< Ev7Az
kH*98</h8?H/.S9D )\*;<N)= F5FI./<)\)H/B/BST*9F5)?*;< F=H(FI)5+*-8+)?*9F58\<(D 8?H/.S9D '(
./)=)?*9F5bSTS;|)I<(8:S9)GD#*;<)Ev7not.S-85z B 7B/GF=*98?IS;|0/./*9DGW*-8 )W*9D5<N)?*Tnu|
s8?5)\nL*;<)5G8?)+*2</s5</5?*9FB/B(5)?*;G8)H()\)H/hB/=5FI.S-D G8:*TS;|~.(8?nu
8?BiGF=*TwxFpF58?G85z/A*;<(8?)<(FI0(#B/B(5)?|j7H*9F=H8?5538)=p'i4G,.*2=GD\N8+)n )=H/4)?*;
*98 )H() )H/!='()+*-FEB/BST*9F5)?*;<3*98 )?*;5mu'(./<(DGDz/eg<3)H/48?S;./)?*;<3jvEB/BiN8?0)H/!.(8+5
H(8<S;|\)8?BiGF=*qnu|})=H/L)?*;4'i./<(Dz(QE<C./))+*-FE)=<(8:S9)?*;<3*;<)\Ev7hySqS;j!8)
F=H/GF\jH/5)H/57)H/#B/B(5=)|Y*-8E8)+*-8w(GD\7</)Gz
{hkH(G6&yS2=GD|#*-D5<)?*Tw(GD)jkE)H/55</5+*-F&B/B(5=)?*;G850jk*;)Htj7H*9F=Hjk7F5<F=H/GF
)H(C)
)H/})+*25mS-C 'i5)jk55<s)H/}8?)=)?*;</hB(*;<)Cn)?jk 8?G,./5<N)+*-yS!Il¢GFI./)+*2< S9bj!8#*98
'(./<(DGD
)H/)?*;5mS9 '(5)?jk55<h)H/8+))?*;</\Bi*;<N)#nv)?jk\65?S9B/B*;</}Il/GFI./)?*;< S-bj!8*98
'(./<(DGD
kH/G8?L)?jkt)?|NBiG8knB/B(5=)?*;G87t.(8?)7'ipD*98?)?*;</.*98?H/GD 8:*;<(FIp)=H/I*2E)C<(8:S9)?*;<3*;<N)=
Ek7 nut.S987LD*6555<)Gz
*2<(ySqS;|0 )H/G8?LIl/B(5+*25<N)84yS-8+8?H/j.(84t</5j*;<N)=5G8?)?*;</\G8?GCFHD*;GFI)?*;<nu
)H*98k*;<(D3nB/BST*9F5)?*;<(8rz(kH/45)H//DjvEIl/B(5?*;5<)8kH/54B/=y6*9DG8 )H/!.(8+57jk*;)H\
j7b|t)L65+*qnu|t*Tn*;)8AB/C 8)+*-8w(G8vW)?*;4D5B(5<(D5<)!FI<(8?)Ib*;<N)G0'/./)nuJ)H/DG8*2m
</5 8^B(*;<)n(6*25j </)H*;</E*-8 D</k)EH/IS2BH*2 )=8?IS;GFI) )H/k?*;HN)DIS9b|L6yyS2./G8Aj7H*9FH
jk*TSTS</GFIG88C?*TS2|h8C)?*98:no|\)=H*-84FI<(8?)b*;<)Gz(kH*984FIBS255<N)C|\B/'S;5¡*98*;<(D5GD65|
IS;56<N)&nok)H/4B/BST*9F5)?*;<G/z{hC!)=HN.(8k8?)C)?*;</L)H/E56yyS2.(C)?*;<}n tF5<(D*9D/)
5)=H/¢D )hD/DG88#)H*98#B/'S;5 e:)4*98t'(8+GDh< </)=H/5LIl/)5<(8:*;< n7QEN8#) HN|m
'/?*9D 8?|¢8+)587<(D3<}t)S(nu!8?|<)H/G8:*7I*;</ST*;</G*2<6yC?*9<N)I87<(GD3B(S;y DOQE$7VC Lgz
kH/w(8?)#)G8?)8WjkB(5?nuGDh<}$^ jk538?.(F5FIG88:nu.Sgz Qjk565G0B/='S;58#n7)?*;
Bi5?no<(FIt8?H/.S9D}+*-8+E*qn)=H/4<N./t'(5En./<N6bS;./GDF=S2/F=*98)NH*2Hz
!
,>"<34%7 6&
ejk.S9DST*;!)=L)H(</ F5*; Ry6*;</C<(D\</D 4bj!8no)H/I*;kH/IS;B}D./?*;</)H/E.(8?
n)H/LE</N8k)Sgz
!
070%'
$^ '/E*98EDIw(</GD\'|
Q" % ($^ '/
# `S& ( $& '/ D" NM % % kOt8L
& VS0& ( -& 1'/ D</TD" NM % % vO8 L
K.#" -& `K ( 0(
& :S / $& /'/I B/'
&NS) VS / -& /</</
&NS) TS YM '/ GF 8?)B
eg<})=H*-88?B(GF=*TwxF5)?*;<