HAL Id: inria-00074287
https://hal.inria.fr/inria-00074287
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- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
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, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Imagining CLP (Lambda, alphabeta)
Olivier Ridoux
To cite this version:
Olivier Ridoux. Imagining CLP (Lambda, alphabeta). [Research Report] RR-2388, INRIA. 1994.
�inria-00074287�
ISSN 0249-6399
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
Imagining CLP( , )
Olivier RIDOUX
N˚ 2388
Octobre 1994
PROGRAMME 2
! "$#&%')(*+-,/.
013254618799-:<;>=@?A7BDC8EFBHGJI$9&KL25BNMDO5EF:6P5QF1J26461879-97R3MS25TU:)RA4WV:)TFMS:XBS2646MDC8MS:)B
01J2ZY8:)R<[!7TL\$:
]<7^QFQ_2613RA\$:1J:ZCJ`F:)18C3`a:bTcd;5e6f5fX=@gXC8RJ26KF1J:hi6ijk=lhZi>QL7^46:)G
mnWo)pqrLsp5t<uv:G3RJEL\$IXEFTL\w:)1xA`FMDC3`yC826TL\wMNRJMS26TFGHRJ`F:z\$2597MST{2|L}$~R3:139G A 7^TL\{R3`F::ZO5EL7BSMSRIAR3`a:)261JI2|FR3`a:z}$~3C)7^BCEFBSEFG
X6F{|26139RJ`F:&KL7^G3MSG2|<7-EFG7^KFBS:C826TaG3R3187MST$RXBN2546MDC>QF13254617^99-MTF4&BD7Ta46EL7^46:&?A[ 0WHA`F:C825TL\$MSR3MS26TaGU71J:URJ`L7RRJ`F:
:O6E_7BSMSRIR3`F:2613I9&EFGJRkC26T$R7^MNT7FMN259_P7^TL\R3`F:y|26139&EaB7BD7TF45EL745:U9&EFGJR\$:)QL7^13RX| 1J269A2513TC8BD7^EFG3:)Gy7TL\v75C)C8:)QFR
EaTFMS6:)1JG7B O5EL7^T$R3MC)7^R3MS26TFG<7^TL\&MS9-QFBSMC7R3MS25TFGMNT452d7BSG TG3`a2613RPL?A[!0 XPFX6_9&EFG3RWK_:UC8BS25G3:XR32}_01325BS264L
-$ H¡3¢>£Lq6¤o^t¥?A[!0PF}$~3?A7BDC8EaBNEaGZPF}_01325BN254
¦D§&¨
©«ª¬Z
¨
©®¯Sª°«±²
³µ´ ¶·¸8¹6º»¼¶½´ ¶¾¿ÀÁ´
Unite´ de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Te´le´phone : (33) 99 84 71 00 – Te´le´copie : (33) 99 84 71 71
Fo t A25EFGV:)R3EL\wMN25TFGGJ26EFGUO5EF:BNBS:)GyC826TL\wMNRJMS26TFGBS:\$2597^MNTa:U\$:)G&}$~R3:139:G& AX:)RBD7-R3`AV:)261JMN:\$:&B3V:)4d7^BNMSRFV:U\$E
}w~3C)7BDC8EFB 5L | 25139-:)T$R<EFTF:yKL7^G3:&EFRJMNBSMSG7^KFBS:Q_26EF1XEFTBD7TF4$746:y\$:&QF132546187997RJM26T-BS2646MDO5EF:Q_71C826T$RJ17MST$R3:?A[ 0W
[¼:)GWC826T_\$MSR3MS26TFGGJ26T$RzO5EF:B7 R3`AV:2613MS:<\$:ABJV:)4$7BSMSRFV:W\$26MSRW7EaG3G3M_C826T$R3:TFMS1WB7FMN259&:WLP:)RBN:BD7TF4$745:z\$:| 25139&EFBS:W\$26MSRyV:)RJ:)TL\$1J:
C:)BSEFM\$:G C8BD7EaG3:)GX\$:UA2513T:)RX76C)C8:QFR3:)1\$:G O5EL7T$RJMHC)7RJMN25TFGEFTFMS6:)1JG3:)BSBS:)G{:)R \$:G<MS9QFBSMDC)7^R3MS26TFGW\F7^TFG<BS:)GAKaEFR3GT|7MSRZP
?A[!0 XPFX5wA\w26MSRA13:)GJG3:)9&KaBN:17&}L01J26BS264_
£_po)¡8st ?A[!0PL}w~µC)7^BDC8EFB P_}L0 1326BS254
! #"
z
[¼2645MC>QF1J26461879-9MTa4UMSGU7-QF1J26461879-9MTa4&QL71876\$MS469MSTxA`FMDCJ` QF1J2645179-G 7^13:&BS2645MC7B!| 261J9&EFBD7GPL7T_\:8F:ZCEFR3MSTF4RJ`F:)9
7^925EFT$R3GWRJ2UGJ:Z718C3` | 261A7Qa132$2|$A`a: 9-26GJR|«79-26EFGQF175C8R3MDC)7^BHMNT_C)71JTL7RJMN25T2^|BS2645MC QF13254618799-MTF4XMSGA01325BN254LP5xA`FMDCJ`MSG
K_7G3:\25TA261JT-| 261J9&EFBD7G%$½e&'3
A`F:| 251397^BSMNGJ9 2|HA261JTUQa13264517^9GHMSGWC8269-QFEFR7^R3MS26T_7BSBSIC8259QFBS:)RJ:%$Sh6Pjdf'3PKFEFR25TF:z`_7G2| RJ:)TRJ13MS:Z\yR32X7EF459:)T$RHMSRR32
4$7MSTX92513:)(L:8FMSKFMSBSMNRIX7TL\k:8FQF13:)GJG3MS$MSRIdg{TF:2|FR3`F:G3:<7RJR3:)9-QFR3G!MSG R3`a:WQL71876\$MS459/2^|C826TaG3R3187MST$R BS2645MDC Qa13264517^99MSTF4$Nh5hP
;+*$P6h,&FP8jdi'38R79-26EFT$RJGLRJ2A13:)QFBD75C8MSTF4AEFTFMC)7^R3MS26TX2^|d_13G3Rµ~«251\$:1RJ:)139-GZP)C825TFG3MD\$:13:Z\y7G7QF132FC8:Z\wEF13:| 261HGJ26BS$MSTF4A:ZO5EL7RJMS26TFG
25T&L1JG3Rµ~«251\$:)1{R3:)1J9GP$KdI&25R3`F:1<QF1J2wC:Z\$EF1J:)G{| 261G325BN$MSTF4U7yxAMD\$:1A17Ta46:X2|QF1325KFBS:)9GA:ZO5EL7RJMS26TFGAKFEaR<7BSG32yMSTF:ZO5EL7RJMS26TFG
7^TL\\wMNGJ:ZO5EL7RJMS26TFGPF:)R8C)A25T 7>xAMD\$:)1{17Ta46:X2|W\$2697MSTFG.-5K_2d25BS:Z7TFGP5LTFMSR3:\$2597^MNTaGZP5MNT$RJ:)46:)1JGZPa17RJMS26TL7^BNGP$13:Z7^BSGZPF:RC0/<T
MS9-QL2513R7^T$R Q_26MST$RMSGWRJ`L7RR3`F:<C825TFG3RJ17^MNT$RW`_7TL\$BS:)1G3:Z7^1CJ`FG| 251G87RJMNGµ7KaMNBSMSRIX2| RJ`F:<C826TaG3R3187MST$R3GP6KFEaRWTF26RTF:ZC8:)GJG7^13MSBSIy| 261
GJ26BSEFRJMN25TFGZA`FMSG:8FR3:)TFGJMS26TyQF13:)GJ:)135:)GR3`F:92F\$:)B~R3`F:2613:R3MDC13:G3EFBSR3G2|01J26BS264_)RW76\a\$G1(L:wMSKFMSBSMSRI<K_:ZC)7^EFG3:6P$C8259QFEFR87RJMN25T
25TG3259:U\w2697^MSTFGA9&EFG3R{KL:\w26TF:yMST 7\$MS13:ZC8RJMS26TL7^BxA7IMST 01J26BS264_PFRJ`F26EF45` MSRC)7^T K_: \w26TF:>| EFBSBSI13:)BD7RJMS26TL7^BNBSI-xA`F:)T
C26TFGJM\w:)13:Z\-7C825TFG3RJ17MST$RZP2a261MSTFG3R87TLC8:{MST01325BN254LP34658793:5P6xA`a:)13:{6713MD7^KFBS:7 MSGWTa26RWK_26EFT_\&7RW:8F:ZCEFR3MS26T&RJMS9:6PMSG
7>9MSGJR7<;5:6P5R3`F25EF46`MSR3GA:ZO5EL7^R3MS26T_7B C825EFT$R3:)1JQL71JRZP3+4>=?793+:6PF97<;5:)GWQ_:)1| :C8RXG3:)TFGJ:6PH7TL\-MSGG326BS5:Z\-KdI-G3EFKaG3R3MSRJEFR3MSTF4h
RJ2@7A`F:A:8FR3:TFG3MS26T7^BSG32 75\F\>:BAC8MS:)TLC8IyK_:ZC)7EaG3:<GJ:Z718CJ`FMSTF4X| 251G87RJMNGµ7KaMNBSMSRIXMSTFG3RJ:Z76\>2|HG3:Z7^1CJ`FMSTF4{| 251GJ26BSEFRJMN25TFGG75:)G
Ta26T$~3\$:)RJ:)139-MNTaMNGJ9
A`F:&45:)TF:)187BWG8CJ`F:)9:y|261C826TaG3R3187MST$RBS2645MCkQF13254617^99-MNTa4UMSGXTF26RJ:Z\v?A[ 0P_MSTFGJR7T_C8:)Gy2|AxA`FMDC3`vC)7^TvKL:y| 25139-:Z\K$I
Q_7G3GJMSTF4 \w2697^MSTFGz7T_\&R3`a:)261JMN:GAR32&R3`a: G8CJ`F:)9:5$TRJ`FMSGzx261C;HP$xz:XG3RJEL\$I?A[ 0 PF 5 xA`FMDC3`MSGA7TMSTFGJR7^TLC8:X2|W?A[ 0
xA`a:)13:RJ`F:\$2697MST&MSGA2|W}$~R3:)1J9GX7TL\-RJ`F:R3`a:)261JIMSG
~«:ZO5EFMS67^BN:TLC8:y« 5 )
A`F:>G3R3E_\$I2|WR3`F:>46:)TF:17BG8C3`a:)9:X`L7^GA| 2FC8EFGJ:Z\25TxA`_7R<Qa1326Q_:)1JR3MS:)GXR3`F:y\$2697MSTFGz7^TL\R3`a:)261JMN:G<9&EFGJRAG7RJMSG| I| 261
GJ269-: 9-2F\$:)B~«RJ`F:)2513:)RJMCk13:)GJEFBSR3GXR32-`F26BD\HEDELCJ` BS:)GJGXMNG{G7^M\ 26TRJ`F:#F+5.GHI6JLK{2|R3`F:yG325BNEaR3MS26TFGA2^|zR3`a: C825TFG3RJ17^MNT$RJGZ1MWI
EaG7KaMNBSMSRIXxz:{9:Z7^TURJ`F:<7KaMNBSMSRIRJ2KL:AEaG3:Z\KdIyR3`a:<QF1J26461879 MNRJG3:)B| RJ`L7RW45:)TF:)187RJ:Z\-R3`F:<C825TFG3RJ17^MNT$RJGzMST&2618\$:)1R32U7^TL7BSI$G3:
RJ`F:X13:)GJEFBSRZPaR7<;5:{| EF13RJ`F:)1X\$:ZC8MSG3MS25TFGZPaKFEFMSBD\&TF:)x C26TFGJR317^MSTdRA:RCENAG7^KFMSBSMNRI&MSGAMST&|76C8R<7y9-:)R7~«QF1J2645179-9&MTF4C)7^QL7KaMNBSMSRI$
[¼MSR3R3BS:{MNGAG87MD\-2|EFG7^KFMSBNMSRIyQF1325KL7KaBNI| 261Rx2&13:Z7^G326TaG.-
h5MNRAMSG Y8EaG3RATL7^R3EF187B_| 251zT$EF9-:)13MDC)7^BH261LTFMSRJ:k\w2697^MSTFGZP|261AxA`FMDCJ`25QL:)187RJMN25TFGA:8FMSG3R{MNT7T$I&13:7G325TL7KaBN:XMSTFGJR7T_C8:2|
01325BN254LP
;a926GJRW:8L79-QFBS:)GMNT&RJ`F:XBSMNRJ:)17^R3EF1J:6PF7T_\&97^T$IU1J:)QL2513RJ:Z\7QFQFBSMDC)7^R3MS26TFGP625KL:I7O5EF:)1JI5~µ7^TFG3x:)1<G8CJ`F:)9:{MSTxA`FMDCJ`7
?A[ 0 QF1325461879 KFEFMSBD\$GA7UC825TFG3RJ17^MNT$RJGAG3I$G3RJ:)9b|261G326BS$MSTF4GJ269:AQa1326KaBN:9 P5QL7GJGAMNRR32&R3`a:<G325BS6:)1PF7TL\13:)Q_261JR3G<RJ`F:
G326BSEFRJMS26TFGARJ2&G3269-:<25QL:)187RJ261Z
TLC2613Q_26187RJMNTa4 }w~«RJ:)139-GzMST01325BN254UGJR3MS9&EFBD7RJ:)GWRJ`F:XG3R3E_\$I2^|R3`a: Ta26R3MS25T&2|EaG7KaMNBSMSRIyKL:ZC7EFGJ:R3`F:C825TL\$MSR3MS25T7K_26:
7^13:XTF2&BS26Ta46:)1R31JEF:-
h5MNRAMSGATF25RYEFG3R{TL7RJEF17^BHG3MSTLC8:U0 1326BS254U2PO:)1JG<TF2y26Q_:)187R3MS25TRJ276C)C:)G3G}w~«RJ:)139-G)P
;aA7TL\ R3`a:925R3MS67RJMN25T|261yMNT_C8261JQL2517RJMSTF4}$~R3:139G&MSGyR32v1J:)QF13:G3:)T$RQF1J2645179-G261y|26139&EaB7^GxA`FMDCJ` xz:xA7T$R&R32
97TaMNQaEFBD7R3:AMST01J26BS264&7TL\-TF25Rz25TFBSI\$MSG3QFBD7I&RJ2&R3`F:25QL:17RJ261
uv:X925R3MS67RJ:75\F\$MSTF4}w~«RJ:)139-GzMST01J26BS264yMSTGJ:ZC8RJMN25T ;F$A`a:)T PFx:X46MS6:X7yQF132$2^|D~«RJ`F:)2513:)RJMC>76C)C825EFT$RA2|zA2513TC8BD7EaG3:
Qa13264517^99MTF4MST GJ:ZC8R3MS25T/eFuv:G3RJEL\$I RJ`F: C825TFG3:ZO5EF:TLC8:)G2| 75\F\$MSTF4}w~«RJ:)139-G7^TL\
~«:O6EaMN67^BS:)TLC8:MST/0 1326BS254vMNT
GJ:ZC8RJMN25TjL2!MSTL7BSBSIdP5x:kC26TLC8BSEL\w: MSTG3:C8R3MS26T!QF$uv: 7^G3GJEF9:X:)5:)13I$xA`F:)1J:U7yKL7^G3MDC;dTa2xABN:\$46:X2|W01325BS264L
R S
UTV
uv:&45MS6:7*KF13MS:8| 75C)C826EaTdRy2|XR3`F:-G3I$T$R7 2^|k}w~«RJ:)139-GU7TL\¥2|<RJ`F:RJ`F:)261JIv2| }w~µC7BDC8EFBSEFG!A`F:)Tx::wQaB7^MSTvR32xA`L7R
QaEF13Q_26GJ:U}$~R3:139GAC)7^TK_:EFGJ:Z\MST[¼2645MC{013254618799-MSTF4L
WYX[Z \!]%^`_a<\b^cdfe
}w~:139GA71J:X46:)TF:17RJ:Z\K$IRJ`F:{| 26BSBS2xAMSTF445179-971,-
-6-hgji kml
-6-hg }Eln MD
-6-hgo MSMD
xA`a:)13:ARJ`F:8i7TL\ l71J:z1J:)G3Q_:ZC8RJMS6:)BSI&MD\$:)T$R3ML:13GW2^|¼C825TFG3R87T$R3G7TL\yMD\$:)T$RJM_:)13GW2^|67^13MD7KaBN:GZ]AEFBS:{ MD!46:)Ta:)17^R3:)G@G 5BJB
JP5)PL7T_\1JEFBS:& MSMD46:TF:)17^R3:)G> HIB,J < 50/<T 7^KFG3RJ175C8R3MS26TC)7TK_:MSTdRJ:)13Qa13:)RJ:Z\v7G<7>| EaTLC8R3MS25T PL7^TL\7T7^QFQFBSMDC)7RJMN25T
C7TK_:XMSTdRJ:)13Qa13:)RJ:Z\7GARJ`F:X13:)GJEFBSRA2|W7QFQFBSI$MSTF4GJ269: | EFTLCR3MS26T-R32yG3269-: 75C8R3EL7^BHQL71879-:)R3:)1 2a261MSTFG3R87TLC:6PFRJ`F:XM\w:)T$R3MSRI
|EFTLC8RJMN25TMSGAxA13MSRJR3:)T } Fuv:7GJG3EF9-:7QFQFBSMDC)7^R3MS26T7^G3G32FC8MD7^R3:)G{R32&R3`a:BS:8| RZP$xA`aMCJ`97P;6:)GG3259:XKF1876CC;6:)RJG<EFGJ:)BS:)G3G,-a| 261
MSTFGJR7^TLC8:6P BU \$:)Ta26R3:GWR3`F:G7^9:WRJ:)139 7G8 BB \w2d:GZ $MS9-MNBD7^13BSIAxz:A\$1J26QTF:G3R3:\yKF175C[;5:)R3G
251AKF175CC;6:)RJGAMNTTF:G3R3:\7KFGJR31876C8RJMN25TFG.-w| 261AMSTFGJR7^TLC8:6P_}!)}K">K \$:)TF25R3:)G{R3`F:G879-:<R3:1397G<}P})K ">K BB \$2$:)G
/{KFG3RJ176CR3MS26TBS:Z75\$GAR32&RJ`F:TF25R3MS26TaGA2|$#BPP!# P_7TL\ G%PK_TRJ:)139})}G3}&.BG ' PFRJ`F:`F:76\$MSTF4&MSG<})}G3}&P
RJ`F:X`F:Z75\MSGGPL7^TL\&RJ`F:K_2w\wIMSG BGb( Lg{TF:XG7I$G 7>R3:139jGU),5AR3`F:X67^13MD7KFBS:)G2|WMSR3G`F:Z75\$MSTF4L
g{TF:X\$MSG3R3MSTF45EFMSG3`F:GzK_:)Rx:):)T+*,7TL\ G<F{2FC)CEF131J:)TLC8:)G{2| 67^13MD7KFBS:)G6T&RJ`F:<RJ:)139 K}-µ}>K- P K `L7GW25TFBSI
|13:):{2wCC8EF131J:)TLC8:GZP_R3`F:X25TFBSI2FC)C8EF1J13:)TLC:U2^|.-MSGKL25EFTL\HP$7TL\/z`L7^G7k| 1J:):<2FC)C8Ea1313:TLC8:&R3`F:{L1JG3R7T_\7XK_26EFT_\&26Ta: RJ`F:
GJ:ZC825TL\F)aTR3`F:EaTL\$:)1JBNMSTF:\GJEFKFRJ:)139P)-7T_\ K{`L75: 25TFBSIy| 13:: 2FC)CEF131J:)TLC8:)GP7^TL\-R3`F:X25TFBSI&2wCC8EF131J:)TLC8:&2^|0<MSGAK_26EFT_\H
D 2613:&45:)TF:)187BSBSIdPH7^Tv2wCC8EF131J:)TLC8:*2|AG3269-:U67^13MD7KaBN:>MNG>KL25EFTL\MST 7 46MS6:)TR3:139 M|MSRMSG7G3EaKFR3:)1J9 2| 7Tv7KaG3R31876C8RJMS26T
RJ`L7R{KFMSTL\$GXR3`a:U67^13MD7KFBS:U7^TL\MSG7&GJEFKFR3:139 2|zRJ`F:y46MS6:)T*R3:)1J9 E/<T2FC)CEF131J:)TLC8:2|G3269-:671JMD7KFBS:XMSG<|13:):yM|zMSR<MSGXTF26R
K_26EaTL\HLg{TF:&C)7^BNBSG.*1<2UGH3 52^|z7&46MS5:)TR3:)1J9R3`F:y671JM7^KFBS:)GAR3`_7R<`_76:U7>| 1J:):y2wCC8EF131J:)TLC8:-MSTMSRP G<F4<2GH3 5
RJ`F26GJ:XR3`L7^RA`L76:7>KL25EFTL\-2FC)C8EF1J13:)TLC:&MNT-R3`F:XRJ:)139Fg<Ta: xA1JMSR3:)G65l [JDR3`F:$*78U+GUH9B5W2^|sJPF7TL\4:l [JDR3`F:G,PF
<2GH3 5)/R3:)1J9 xAMSR3`a26EFRA7T$I&|13:):X671JMD7KFBS:<MSG<C)7^BSBN:\;H35%,{2517<PG J"8)Fg{TF:xA13MSRJ:)G>=?A@mKBWRJ`F:X26Q_:)17^R3MS26T2|
1J:)QFBD76CMNTa4 7^BNB_|13:):2FC)CEF131J:)TLC8:)G>2|0{KdI!KPF7TL\DCE=%@mKBWRJ`F:U7^QFQFBSMDC)7RJMN25T&2|WR3`aMNGA25QL:17RJMS26TRJ2&R3:)1J9FC
WYXW G \IHeJ^LK&M _aNOH&PRQ!S6PRS%e
A`a:\$2697MST2| }w~R3:)1J9GMSG:)T_\$2xz:\vxAMSR3`7^Tv:ZO5EFMS67BS:)TLC8:&1J:)BD7RJMN25TvxA`FMDCJ`vMNGy\$:8LTF:\ 7^GR3`a:G397BSBS:)G3RC825TF461JEF:)TLC:
K_7G3:\25TR3`F:{| 25BNBS2xAMSTF4U7FMN259G,-
=@}P"C })KC&=?%@mKB P$M|K{`L7^GATF2&2FC)C8EF1J13:)TLC:UMSTTCz
A`FMSG 7FMS269 | 251397^BSM3U:)G/RJ`F:13:)TL7^9MSTF42| K_26EFTL\ 6713MD7^KFBS:)GZ!2F251 MSTFG3R87TLC:6Pv}!V*7 }KV*@K PKaEFR
}!+K <WX })KK K
= }!"C (XE CE=%@ X B)P$M|E5 l XEIY :l@"C =[ZF
A`FMSG 7wMS259 | 251397^BSM3U:)G R3`a: :)67^BNE_7R3MS25T 2^| 7T 7^QFQFBSMDC)7RJMS26TKdIGJEFKFGJR3MSR3EFRJMSTF4 7^T76C8RJEL7BvQ_717^9:)RJ:)1ZP X P
R32 7 | 261J97^BUQL7^17^9:)RJ:)1ZP\ 2a261vMSTFG3R87TLC:6P }]*^ 3: { ]* 3: P>KFEFR }})K" K /W{ })KCK KL:ZC7EFGJ:
K_`5lVCK IY : l@ })}K" zA2x:)5:)1ZP@}!)})K K X }}bas" K { }basCK WT |«76C8RPWMSRMSG7BSx7I$G&Q_26Gµ~
G3MSKFBS:&R32 7^QFQFBSI 7wMS259
R327RJ:)139 BSM6;6: }C (XE M|25TF:&EFG3:G 7wMS259
| 25113:TL79-MNTa4R3`a:&KL25EFTL\671JMD7KFBS:)G
2|$Cz
=@}!"Cc 6d<CP$M|e W_f5lV"C
A`FMSG7FMS269 | 261J97BSM9U):)GaR3`F:WQa13MSTLC8MSQFBS:W2^|g*UF JL?< PH,J"5U<E<HJLK<-)h,i{MIOH:)13:)T$R_| EaTLC8R3MS25TFG I$MS:)BD\X\$MIO:)1J:)T$R 1J:)G3EFBSRJGRjL
/ C)C8251\$MSTF4>R32RJ`FMSGQa13MSTLC8MSQFBS:6Px:A`L75:k=VlbP"Cc = X B6mnCs= X PxA`FMDCJ`&MNGTF25RQF13267^KFBS:zEFGJMSTF47FMS269G
7T_\
7BS26TF:5 2a261{MSTFG3R87TLC8:5P }!V*7 6d1*P_KFEaRk} <Wod I 26RJ:URJ`L7RX7FMS269
C7TTF:)6:1 `a:)BSQ 7^QFQFBSI$MNTa4
7FMS269 _
/ FMN259G
7TL\
71J:7BSx7I$G{QF13:)GJ:)T$R&MST RJ`F:}$~3C)7^BCEFBSEFGZPHKaEFRU7FMS269 MNG>26QFRJMN25TL7B -aMNRX45MN5:)GTF25R3`FMSTF47^G<|717GRJ`F:
C269QaEFR7^R3MS26TL7^BQF1325QL:)1JR3MS:)G-2|<R3`a: }w~3C)7BDC8EFBSEFG&71J:C826TLC:)13TF:\HAA2x:)6:)1Pxz:-xAMSBNBG3::MSRyMSG C81JELC8MD7B|261yR3`F:-:ZO5EL7BSMSRI
RJ`F:)2513I$
/{QFQFBSMDC)7RJMN25T }P"C <XE MSGUC7BSBS:Z\ 7
R, /<KFGJR3175C8R3MS25T}!"Cp xA`F:13:67^13MD7KaBN:'UMSGXTF25RX| 13::&MNTfC MSGUC)7^BNBS:Z\
7^TR0/ }$~R3:)1J9xAMSR3`TF2
~13:Z\$: 1J:)G3Q H^~13:Z\$:¼MSG<C)7^BNBS:Z\
[2U <H_13:)GJQ Hq[2U <H)aA`F:U7FMS269-GW97I&K_:
2513MS:)T$R3:\R32| 25139r,sa.U6J+UFH3 5)H2 7^QFQFBSI
~:ZO5EFMS67BS:)TLC:&| 251 GJEFQFQF1J:)G3GJMSTF4 7
~«1J:Z\$:8MSGRJ2
~13:\$ELC8:7RJ:)139L2
7^QFQFBSI^~«:O6EaMN67^BS:)TLC8:{| 251zGJEFQFQF1J:)G3GJMNTa4 7y^~«1J:Z\$:8MSGAR32^~13:Z\wELC8:U7yRJ:)139
/45MN5:)TR3:)1J9 97I&KL:7^QFQFBSMS:Z\\$MIO:)1J:)T$R<1J:Z\$ELC8RJMS26T1JEFBS:)G<GJMN9-QFBSIUK_:ZC)7^EFG3:>MNR<C26T$R7^MNTaGAG3:)5:)17^B1J:Z\$:8F:)G g{TF:X97I
x26T_\$:)1xA`F:)R3`a:)1<RJ`F:X13:Z\$E_C8R3MS26T251\$:)1AMSGG3MS46TaMHC)7T$R261ATF25RZ5T|76C8RP$MNRMSGzTa26RZ$A`aMNGG3I$GJR3:)92|13:Z\$E_C8R3MS26T1JEFBS:)GX xAMSR3`
251zxAMSRJ`F26EFR<^~13:Z\wELC8R3MS25TL:)TZY82I$GARJ`F:?`dEa1CJ`$~3]A26GJG3:)1{QF1325QL:13RI1-1tX 8I2sUK@Ja0
,uF vPH3J8J"sU 50w <yxbJ?#s,
5JRU{z JR4a&##(w <)+x|,PF,b !5sP FGs(*b5BJR058} A:TLC8:6P!:)6:13IR3:)1J9`L7^GU7R{926GJR<25TF:&TF261J97^B
|26139| :)6:)1JI&R3:)1J9b`L7^G7XTa261397B5| 25139 P7^TL\7^TdI&71JKFMSR318713IyG3RJ17^R3:)45IyLTL\$GMSRZP5xz:AG87I&R3`F:XC)7BDC8EFBSEFG:)TZY82I$GR3`F: 5 J,P
)2U <HI65.,J< JLK
$259:&RJ:)139-G&`L76:-TF2vTF261J97^B| 261J9 -H:54_R3:)1J9~ =f}P" }P"+ MSGUTF25R&MST
~TF261J97B| 25139 P¼KFEFR&MSRU25TFBSI
~13:\$ELC8:)G-R32MSRJG3:)B| w269:yR3:139G>xAMNRJ`7TF251397^B!| 261J9 `_76:&TF25T$~«RJ:)139-MSTL7RJMNTa4G3:O6Ea:)TLC8:)G-2|<1J:Z\$ELC8RJMS26TFG,-:64LHRJ:)139
}})K" }!" ~
~13:\$ELC8:)GXRJ2 }P" 7yTF261J97Bw| 261J9KdI&MSRJGL13GJRA13:Z\$:¼P_7TL\-MSR
~«1J:Z\$ELC8:G RJ2&MSR3G3:B|K$I&R3`F:X13:\$:8
MST4~XF]A:)Q_:Z7RJMSTF4&R3`F:>G3:ZC825TL\1J:Z\$ELC8RJMS26TQF132F\$E_C8:)G7Ta26T$~R3:)1J9MSTL7^R3MSTF4GJ:ZO5EF:)TLC8:y2|13:Z\wELC8R3MS25TFGZ
WYX _a<\b^cdfe HIK RQ cqK cHdfd
A`a:A926RJMS67R3MS25T RJ2X97TaMNQaEFBD7R3:}$~R3:)1J9GWMSTyBS2646MDCQF13254618799-MSTF4zMSGWGJMS9QFBS:-R3`a:)I 7^13:ARJ`F:<9-26G3RTL7^R3EF187BF1J:)QF1J:)G3:)T$R87R3MS25T
|261G3R31JELC8RJEF13:)G>R3`L7^R| :Z7RJEF13:X:)MSRJ`F:)1<G8C826QaMNTa4LPFC8259Q_26G3MSRJMN25TL7BSMSRI$PZ251AG3259:A|26139 2|45:)TF:)1JMDC8MSRI $½e5;'µ
FC26QFMSTF4_PC269Q_26GJMSR3MS26TL7^BSMNRIv7T_\ 45:)TF:)1JMCMNRI 713:TF25R:aCBNEaG3MS6:6 /<925TF4vR3`a: GJR313E_C8R3EF1J:)GvR3`_7R&|:Z7RJEF13:vG8C826QFMSTF4_P
x:GJ:): BS2645MDC)7B&7TL\ 97^R3`F:)97RJMC7B{| 261J9&EFBD7G BS2546MDC)7B&O5EL7T$RJMHC)7RJMN25TFG.-6l PXGJEF9G 7^TL\ QF132F\$E_C8R3G,- "!!P
#$
%&
'!L()*!!P+A\$:)1JMN67^R3MS26TaG.-,)*-)*! P+P<7TL\ C8259QFEFRJ:)1QF1325461879GQL71879-:)R3:)1JMSG7RJMS26T-&*." J0./01P23
KaBN2FCC;$G.-4/Je.561P,3/<9-26TF4*R3`F25G3:RJ`L7Ry| :7R3Ea13: C8259Q_26GJMNRJMS26TL7^BNMSRI$PHx:GJ:)::8FQF13:)GJG3MS26TaG2|UC8259Q_26GJMNRJMS26TL7^B
GJ:)97^T$R3MDC8G«\$:TF26R87R3MS25TL7B-4798$$x
$;:
x< '' g/}>=¼798$$x $
'' ?798$$x<C''@=_3 $½f'3P23VD26T$R8746Ea: GJ:)97^TdRJMDC8G| 251T_7R3Ea17B>B7^T$~
45EL745:#$Sh;'12 MSTL7^BSBNI$PFBS2546MDC)7BWO5EL7^TdRJMC)7RJMS26TFG{MNTv7EaR32697RJ:Z\\$:)9-26TFGJR3187R3MS25T| :7R3Ea13:7| 261J92|A46:)Ta:)13MDC8MSRI1-H26Ta:&MNTaG~
R87T$R3MD7^R3:)GARJ`F:)9EFG3MSTF4yG3EFKaG3R3MSRJEFR3MS26TaGA| 251zKFEaMNBD\$MSTF4yQF1J2d2^| GZ
A`F:{| 25BSBN2xAMSTF4>R7KaBN:{QFMDC8R3Ea13:)G{G3269-:<Q_26GJG3MSKFBS:13:QF13:)GJ:)T$R7^R3MS26TFG{EFG3MSTF4}w~R3:)1J9GZ
lACBy'L *%2B<HHF})F?F
#$
%&
'!L()*! JR 2 PHAD 3&}PV*7
) &
-)*! sU<,J g{}PV*7
*,
J0. /E1 *UFBJ PI*VJW}P
/> J0.51 GUH9%GF J }6
7H8 $$x
$:
x<C'' g }I=¼798$$x $ ''!798$$x<C''@=_3 J >"3 <)8:
}JFP" V3#" :KF
-MLbJ I83+ V3<YJ :\ :
FC26QFMSTF4&MST$R31J2w\wELC8:)GXR3`a:TF26RJMS26T2|85%,'<2U GH3251$ 8 <+ J"s)FA`a:@;6:)I-26Q_:)17^R3MS26T | 261<C8259Q_26GJMNTa4UGJR313E_C8R3EF1J:)G
MSG{R3`F:5UF G 5BJLJLF+J<-2|7R3:)1J9RJ2 7QL71879-:)R3:)1_MNR{9&EFG3R{KL:yG325EFTL\*xAMSR3`1J:)G3Q_:ZC8RyR32-GC825QFMSTF4L1/ FMN259
92F\$:)BSG{G3ELCJ`
7 G3EFKFGJR3MSR3EaR3MS26T !A`FMSGMSGyxA`dIv}w~«RJ:)139-GU71J:x:)BSBzGJEFMSR3:Z\ | 2611J:)QF1J:)G3:)T$RJMNTa4vR3`F:)GJ:G3R31JELC8RJEF13:)G,-z7^KFG3RJ176CR3MS26T G3:)1J6:)G7^G 7
45:)TF:)1JMDCO5EL7T$R3MC7R3MS25T /{BNBHRJ`F:)GJ:&G3R31JELC8RJEF13:)GyC)7TK_:1J:)QF13:G3:)T$R3:\vxAMSR3`-L1JG3R~2618\$:)1XR3:139GPFKFEaR<R3`a:UC8261J13:ZCR`L7T_\$BSMNTa4
2^|WG3EFKFGJR3MSR3EaR3MS26TxAMSR3`13:G3Q_:ZC8RRJ2&GC825QFMSTF4TF::Z\$G7yBS26RA2|z7^R3R3:TdRJMS26T $A`F:>926GJR| 13:O6Ea:)T$R<G325BSEFR3MS26T-MSG<R32&1J:)QF1J:)G3:)T$RRJ`F:
Q_717^9:)RJ:)13G{ RJ`F:(GON%BJ?[H3s2UH)8U+GUH9B53xAMNRJ`01325BS264y6713MD7^KFBS:)GA RJ`F: J[2<2U+GUH9B536A`F:13:71J: T$EF9-:)1325EFGW:8L7^9QFBS:)G
2^|zR3`aMNG{G325BNEaR3MS26TMSTRJ:8FR~KL2$2+;dGHA`F:)IC)7^T K_:>| 26EFT_\MST CJ`L7QFRJ:)13Gy\$:Z\$MDC)7^R3:Z\RJ2R3`a:U97TFMSQFEFBD7^R3MS26T&2^|zQF1325461879GX7TL\
|26139&EaB7^GZ
uv:XR7P;6:7G<7^T:8L79QaBN:ARJ`F:X| 25BSBN2xAMSTF4C8BD7^EFG3:X|13269 QF13254617^9 hPF½;yQL745:k;+Q6i5MNTRQb#67BJo*0,PH3 <K$I $RJ:)13BSMSTF4
7^TL\( w`L7QFMS1J2 $j*'
$
JB<5UHJ",V?V ? 3<83 7 5TSVU5 -MLbJ P5UH,JR,0 @3<7V56S7 5 3 J P5UHJ",eY.83< 7 5 3SU)5 XW
A`FMSGC8BD7EFGJ:AMNG!QL71JR2|7 QF13254617^9 | 261RJ17TaG3BD7RJMNTa4<461879-971_13EFBS:)GWMST$R32<0 1326BS254L6:13IUC8BD7^EFG3:2|LQa13:Z\$MDC)7^R3:VJ P5UH,JR
`_7GXR3`F:-G7^9:GJR313E_C8R3EF1J:6A`F:yL1JG3RyQL71879-:)R3:)1XMSG7C8259Q_26TF:)T$R{2|AG3269-:U4517^997^1z1JEFBS:6P!R3`F:&GJ:ZC826T_\vMSGXR3`F:C825131J:)G~
Q_26T_\$MSTF4C8269-QL25TF:)T$R<MSTRJ`F:yR71J46:)RX01325BS264CB7^EFG3:5P7^TL\RJ`F:UBD7^G3R<25TF:yMNGX7&QL7^MS1<2|6713MD7^KFBS:)GAR3`L7^R<9&EFGJR<2FC)C8Ea1 MSTRJ`F:
R871J46:)R<01J26BS264&C8BD7EaG3:6) $2LPaR3`F:)GJ:Rx2U67^13MD7KFBS:)G<7^13:X26K6Y:ZC8R~BS:)6:B 671JMD7KFBS:)G$A`F:XQF1325KFBS:)9 MSGARJ`L7RAMSRMNGATa2&BN25TF46:1zQ_26Gµ~
GJMSKFBS:<R32y46MS5: 7y\$:ZC8BD7187RJMN5:<1J:Z76\$MSTF4&RJ2URJ`FMSGCB7^EFG3:XK_:ZC)7^EFG3:RJ`F:X26K6Y8:C8R~BS:)6:)B!671JM7^KFBS:)Gz7^13:X13:)Qa13:)GJ:)T$R3:Z\\$MS13:ZCR3BSIxAMSR3`
9-:)R767^13MD7KaBN:GZA`F: \w:ZC8BD7187R3MS5:<13:76\$MSTF4y2|01J26BS264y\$2$:)GzTa26RG3Q_:)BSBH26EFRR3`F:X76C8RJEL7B_1;Y25BS:<2| 7 5)P 7 5 3X7T_\RU5)5A`F:)I7^13:
67^13MD7KaBN:Gz2^|R3`a: R871J46:)RXC8BD7EFGJ:6PL7^TL\&MSRA97P;6:)GTF2&G3:)TaG3:RJ2C826TFGJMD\$:)1<MSTFGJR7^TLC8:)G{2|RJ`F:)97GARJ`F:\$:ZC8BD7187RJMN5:XG3:)97T$R3MDC8G
2^|01325BS264&\$2$:)GZaRzx261C;dGAMST01J26BS264yK_:ZC)7EaG3:RJ`F:XMNT$RJ:)13QF1J:)R3:1 7BSxA7I$GC8259QFEaR3:)GR3`F:X9-26G3R46:)TF:17B!G325BNEaR3MS26TFG w2LP$MSRzMSG
RJ`F:X26Q_:)17^R3MS26T_7BHG3:97T$RJMCGAR3`L7^RA46MS6:)GR3`a:9:Z7^TFMSTF42^|R3`aMNG<CB7^EFG3:5PFMSTFG3RJ:Z76\-2^| RJ`F:\$:ZC8BD7^17RJMS6:XG3:)97T$R3MDC8G
TR3`a:G7^9:XKL2$2+;P_C8BD7EFGJ: sU<,J2.7 7V5.3D
B
QF13254617^9 ea½;6iFP5QL7^46:P5e6MSGAQL71JR<2^| 7yQF1J26461879R3`L7^R C8259QFEaR3:)G
RJ`F: \w:)13MS67RJMS6:AxAMSR3`&1J:)G3Q_:ZC8R{R32 7 2|W7{| EFTLCR3MS26T $g{TF:<2^| MSR3GBN2546MDC)7^BLC826TaG3:ZO5EF:)T_C8:)G<MSG1sU<,J 2.C3:P3:P5.3D
B
P6xA`FMDCJ`MSG
7^KFG3Ea1\H_?B7^EFG3:yPHK<PPH7V67 QF1325461879eF½;6faP6QL7^46:P5;6MSG<7&Q_713RA2^|WR3`F:U\w:8LTFMSR3MS25T2^|WxA`L7R<7QL25BNI$TF259MD7BaMNT 7
MSG$RA`L7G<7^BNGJ2 7^KFG3Ea1\BS2645MDC)7BHC826TaG3:ZO5EF:)T_C8:)GXBSM;5:7PHK<PPHC3:P3:
T01J26BS264_P$G3EFKFGJR3MSR3EaR3MS26T2|26K6Y8:C8R~BS:)6:)B67^13MD7KFBS:)GMSGA:Z7GJI7^RAR3`F:Qa13MDC8:2^| \$:ZCB7^17^R3MS$MNRI$5A`F:)T PaMNR|261C:)G<RJ`F:QF1J2~
4517^99:1HR32CJ`F:ZCC;&R3`F:<C26131J:ZC8RJTF:)G3G{2|H26K6Y8:C8R~BS:)6:)B_R3:139G97TaMNQaEFBD7R3MS2TFGHxAMSRJ`&13:)GJQL:ZCRAR32XR3`F:{26Q_:)17^R3MS26T_7B$G3:)97T$R3MDC8G
TFGJR3:Z75\2|R3`F:7^KL25:kCB7^EFG3:GZPFx:Xxz25EFBD\-BNM6;5:<R32yxA13MSRJ:R3`F:{| 25BSBN2xAMSTF4X25TF:)G
< -
sU<,J g,}!" 5.3DBXW
PHK<P PH}P" EW
JB<5UHJ",V?V ¼},5µ})K,5.<65BJ5<}.5U3 3'.57,5 3P.83+,5 3K,5V -ML J P5UHJ",. E@3 J P5UH,JR,eY.3 XW
<65BJ5[Z?-ML#(Z XW
}w~:139GQ_:)139-MNRJG7&C26`F:)1J:)T$R 7^TL\\$:ZC8BD7187RJMN5:X`L7TL\wBNMSTF4>2|WGC825QL:G 7T_\GJEFKFGJR3MSR3EFRJMS26TFG
\]>^
¶¾_¶¾H¿ q ¿3_C`<¸)¾?aIb(c´?d6¿aD¶C`fe3¸3g hz¸Áia
^
cAeT_¿8¹6¾?c)À ]>^
c¸ q _jh `<¸·¶Cke3¿a¶¸ q ¶¾_ÁN¸´¿3b)¸8¶·¶ql ¿4e'_¿)¾
^m
¶ja
^ q ¸a ¿(aD¶¸ q ¾w¹6¾cJ·¶q a^
¶¾H¿8´'a¶je'_jc)À
q a^
c¸´ ¶l ¶q ¿G_;a?c3ºa6nIopCqsrJ¶¾ q ¸a?c3·+t&À
u a_¶¾ q ¸aH¸ q _jh5a
^
cv`<¿aa?c´_¸8ÁIa
^
c3¾?cAe'_¿¹6¾cJ¾6na
^
cvg´wcJ·¶je3¿a?c3¾*a
^
c6h4dscT_¸ ql a¸ `¹6¾?a9d*c ´'c
m
´¶ja?ac q cq aD¶½´'c'_jh¿3_¸ ql a^
c ¾¿3`c¾?e
^
c'`c)À
n
Z
uv:XQF1J:)G3:TdRy7&BD7TF45EL745:X2|C8BD7^EFG3:)G7^TL\462$7BSGAR3`_7RX:)TLC8259QL7^G3GJ:)G<RJ`F:UBD7^TF46EL7^46:X2|AA261JT C8BD7EaG3:)GHR<MSG 7-C826T$5:)TFMS:)T$R
K_7G3MSG | 261XR3`a:U:8FRJ:)TFG3MS25TFG\$:)GC13MSKL:\vMSTR3`a:UGJ:ZO5EF:)BHTL\$::Z\HPHMSR<GJR31J:)G3GJ:)G7y| EaTL\F79-:)T$R7^B7GJI$99:R313I&MSTRJ`F:yB7^TF46E_746:
2^| 2613T?BD7EaG3:)GARJ`L7RARJ`F::8FR3:TFG3MS26TaG<xAMSBSBL:)BSMS9MSTL7^R3:6
?BD7EaG3:)G<7^TL\-462d7^BSG7^13:X46:)Ta:)17^R3:Z\*K$I&R3`F:X|26BSBS2xAMNTa4 4517^997^1.-
-6-hg k m k l l ¯ k MNMSMD
-6-hg MSF
] EFBS:)G{ MSMSM7T_\MSw46:TF:)17^R3:<UH6<F+5%B5A7TL\ 8,<H5)PF13:G3Q_:ZC8R3MS5:)BSId
A`F:*G3:)97T$R3MDC8G-2|R3`F:C826TFTa:ZC8R3MS5:)GMSG&46MS6:T K$IR3`a:| 25BSBN2xAMSTF4\$:Z\$ELCR3MS26T 13EFBS:)G-2|R3`a: MST$R3EFMSRJMN25TFMSG3RJMCG3:ZO5EF:TdR
C7BDC8EFBSEFGd
B
:
$C!'@ '"!$#
B : l!
!$#
l&% AMSG7^T 7^13KFMSRJ171JIRJ:)139
B
:' $ :'
< !(#
B
: $ < !$#
%
B
:
!)# B! w
B : wcm
!(#
m %
/{BSBdRJ`F:)GJ:<13EaBN:Gz71J:ABN:| RMNT$RJ132F\$ELC8RJMS26Ty13EFBS:)G6RJ`F:)MS1zC825TFTF:ZC8RJMS6:A2|HMST$R3:)1J:)G3RMSGMSTyR3`F:ABS:8|RQ_713R2|LRJ`F:<C826T_C8BSEFG3MS26T&GJ:ZO5EF:)T$RZ
2XG3`F2x RJ`L7RWRJ`FMSGB7^TF46E_746::)TLC269Q_7G3GJ:)GAA261JTy| 261J9&EFBD7GP)x:A26KFGJ:)135:<R3`_7RWRJ`F:A13MS46`$RMST$R3132F\$E_C8R3MS26T&1JEFBS:)GW2^|9-2613:
C26TFTF:C8R3MS6:G C)7^TK_:U\$:LTF:Z\K$I&GJ:ZC826T_\5~«251\$:1kCB7^EFG3:G+*-
B Z $
, ZV< .- %Z
$
/- % ZV<
V(Z
$10
, ZV< .- %Z
$ % V(Z
$0
, Z < /- %Z <
A`$EFGPFx:C)7TMSTLC8BSEL\$:yC826TZYEFTLC8RJMN25TFG<7T_\\wMNGSY8EFTLCR3MS26TFGAMST462$7BSGZN G3MSTF4&RJ`F:)97BSBS2xAGzEFGARJ2&13:)GJR31JMCR RJ`F:EFGJ:2|MS9QFBSM~
C7R3MS25T| 261{KFEFMSBD\$MSTF4C8BD7EaG3:)G2FEa13R3`a:)139-2613:5PLx:&76\$25QFR<RJ`F:C826T$5:)T$R3MS26TRJ`L7R7^BNBC826TY8EFTLC8RJMS26TFGXMST C8BD7EaG3:)G71J:UQaEFG3`F:\
RJ2URJ`F:<RJ26Q2| RJ`F:2~| 261J9&EFBD7GZP7^TL\&RJ`L7R<7^BNBaEFTFMS6:)1JG7^B O6E_7T$R3MC)7^R3MS26TaG7^13:<QaEFG3`F:\13MS46`$RWEaTL\$:)1JTF:Z7RJ`v«CB7^EFG7^B_| 261J9
w2LP$x: GJ:):RJ`L7R< 2613T-| 25139&EFBD7^GzC)7TGJ:)135:U7G<7&C825TLC81J:)R3:GJI$TdR87-| 261A25EF1ABD7TF45EL745:6
M:ZC)7^EFG3:-2|<R3`a:C8BD7EFG87B| 25139PLC825TZY8EFTLCR3MS26TFGy7TL\EFTaMN5:)13G87BzO5EL7^T$R3MC)7^R3MS26TFGXMSTvC8BD7EFGJ:)GUTa:):Z\vTa29-261J:UK_:&TF26RJ:Z\
:wQaBNMDC8MSRJBNI&K_:ZC)7^EFG3:>R3`F:)IC)7^TKL:X13:C826TFGJR31JELC8R3:\M|13:ZO5EFMS1J:Z\H w2LP$R3`a:UC826T_C813:)RJ:UGJI$TdR87MNGA7G|26BSBS2xAG.-
3 -6-hg k4 W 3 F
-6-hg k -ML5 $MD
-6-hg k 6 k .7 dMSMD
] EFBS:)GX FPH $MDA7T_\ $MSMDW45:)TF:)187R3:G>), gB< 5)PEH<F+5% 5P_7TL\ .PHh5)PF1J:)G3Q_:ZC8RJMS6:)BSI$ / QF1325461879MNG<7yGJ:ZO5EF:)TLC:&2|WMSTFQFEFR
EaTFMSR3GZP_7BSBHR3:139MSTL7^R3:Z\-K$I7>|EFBSB~G3RJ26Q P98DS6TaQFEFR<EaTFMSR3G<71J:UC8BD7EaG3:)GP7^TL\-:)6:13I671JM7^KFBS:XR3`L7^RAMNG|13:):MST7T*MNTaQFEFRAEFTFMSR
MSGAC826TaG3MD\$:)1J:Z\7GAEaTFMS6:)1JG7BSBSIO5EL7T$RJM_:Z\7^RAR3`F:C8BD7EaG3:XBS:)6:)B$uv:XC)7BSBHR3`a:)G3:67^13MD7KaBN:G H9B<B<H!<2UGH3 5W261@F*F<2a 5
Ty13EFBS:XdMDPZRJ:)139-MSTL7B;:-ML6<µMNGRJ`F:<C826T_C813:)RJ:<xA1JMNRJMSTF46G!| 251 C26TFTF:C8R3MS6: - %<5?26TFTF:C8R3MS6:el9%v`L7GTF2C825TLC813:R3:<Ta26R7^R3MS26T
K_:ZC)7^EFG3:>MNRAMSGAMS9QaBNMDC8MSRZT1JEFBS:U$MNMDP$R3:)1J9MSTL7BSG=:><Z7^TL\:.><Z7^13:RJ`F:C826T_C813:)RJ:UxA1JMSR3MSTF46G| 251<C826TFTa:ZC8R3MS5:)G1,7^TL\
0
,
? @
BA5C
y
EDGF CIH
UT
"
276\F\}$~R3:139GXRJ2 0 1326BS254MSGXG3RJMSBNBW7| EUsU)I 25K6Y8:ZC8RJMS6:H25TF:&9&EFGJR \$:ZCM\w:&R3`F:C8MS18C8EF9GJR7^TLC8:)G1/ L1JG3R25KFG3:)1J67RJMN25T MSG
RJ`L7R{R3`F:13:yMNG{TF2&EFGJ:| 251 75\F\$MSTF4}w~«RJ:)139-GAxAMNRJ`F26EaR
~«:O6EaMN67^BS:)TLC8:6_TL\w:):Z\HP_MSR<MSG
~«:O6EaMN67^BS:)TLC8:yR3`L7^R 7^BNBS2xAGEFGXR32
GJEFKFGJR3MSR3EFRJ:<RJ:)139-GRJ2X6713MD7^KFBS:)GxAMNRJ`U1J:)G3Q_:ZC8RARJ2GC26QFMSTF4_ $2LPGJIdGJR3:)9?A[ 0 PhgX!xA`F:)13:J<=K<\w:)TF26RJ:)GA01325BN254G :O6E_7BSMSRIdP
251A:)6:T ?A[!0 XP½XLxAMSR3`a26EFR
~«:O6EaMN67^BS:)TLC8:$PF71J:EFG3:BN:G3GZ
L ¾cM)¹cq aONPRQ*´'c3¿·¾TSl ¸¿3_&Q*¶¾¿e3¸ q ¾?c+M¹cq ec ¸8ÁHg´«¸ l ´«¿3`UNVÀ ´ ¹ _jc/WYX+Z[\X^]`_
³
WaXZ+[\Xb]\_
´'c3¿)·¾cS?e3¸ q eT_½¹6¾D¶¸ q
WaX+Z[\X^]`_
¶¾aD´¹c¶½ÁL¿G_C_
g´'c'`A¶¾?c3¾
WaX+Z[\X^]`_
³ ¿8´'cAa´ ¹cVÀ
dfe
ee¹´´wc
q
e6cJ¾F¸8ÁIeJ¸
q<q
c6eaD¶jbcOg-¶
q
¾h
q
a¿eaD¶je¼¹
q
¶ja ¾_¸8Á9ah(gschjilk ¸8´nmao_¿8´'c
q
¸acJ·cpTq¼À
X[Z \
T*261\w:)1XR3276\F\*}$~R3:)1J9GX7TL\
~«:ZO5EFMS67^BN:TLC8:yR320 1326BS254LPF25TF:y9&EFG3R<7^BNGJ275\F\R3`a:&`L7TL\wBNMSTF4&2^|7FMS269-G
7^TL\
R32
EaTFMC)7RJMS26T $g{TF:xA7T$R3G<7^BNGJ2URJ2&KL:XGJEF13:RJ`L7RARJ`F:)1J:MSG<7BSx7I$GA7Ta261397Ba| 261J9bR32}w~R3:)1J9GZPF7^TL\-R3`L7^RAMSRC)7^TKL:X|26EFTL\
K$I7^TdI-13:Z\wELC8R3MS25TGJR3187R3:46I1-FRJ`F:G3RJ1325TF4&TF261J97^BNM9UZ7^R3MS26TyQF1J26Q_:)13RI$
A`F:\$2697MST2^|<G3MS9QFBSIRI$QL:\}w~«RJ:)139-G`L7G&77BS925G3R{x:)BSB~«K_:)`L75:Z\EFTFMC)7^R3MS26TvQa1326KaBN:9 PH7TL\MSRMSGyG3RJ1326Ta46BSI
Ta261397BSM9UZ7KaBN:5A`F:XEFTFMC)7^R3MS26T-QF1325KFBS:)9 | 251AG3MS9QaBNIyRI$QL:\}w~R3:)1J9G92F\$EFBS2U7wMS259G
7^TL\
MSGAG3:9M~µ\w:ZC8MD\F7KaBN:X7TL\
MST$_TFMSR71JI2F251&MSTFG3R87TLC8:5PzRJ`F:EFTFMC)7^R3MS26T QF1J26KFBS:)9 }-}!" - = }-."- `L7G7^T MNTwLTFMSR3:T$EF9&K_:)1U2^|G326BSEFRJMS26TFG
MST V-
%
=$=6@¥} 53}!-."-B3P
$
=$=6@}153}- 56- B)P < =$=6@}153}- 5@ 57-B B)PU=$=6@¥} 53}!-. 5 - BP¼:)RC¼:139 } 53}!-. 5 - MSG
RJ`F:?`$EF1CJ`:)T_C82F\$MSTF4&2|MNT$RJ:)46:)1@
TQF175C8R3MDC8:5PH26TF:yEFGJ:)GR3`a:UGJ:)9M~37BS462513MSR3`F9 QF1325QL25G3:Z\K$IAEF:R>$½;Q'3FA`F:yEFTFMC7R3MS25T QF1J26KFBS:)9|261<GJMS9QFBSIRI$Q_:Z\
RJ:)139-G<MSGX1325EF46`FBSIR3`a:UG879:>xA`F:)R3`a:)1 7FMN259 MNG7^G3G3Ea9:Z\251XTF26RLT*|«75C8RAEF:)R G GJ:)9M~37BS462513MSR3`a9bG3:Z7^1CJ`FGX|261XQF13:~
EaTFML:)13G,-FM:6$G3EaKFG3RJMNRJEFR3MS25TFGAR3`L7^RA97P;6:AR3`a:QF1325KFBS:)9R313MS$MD7BSBSIG325BS67KFBS:6P$KFEaRAR3`L7^R<713:XTF25RATF:ZC8:G3G7^13MSBSBSIGJ26BSEFRJMN25TFGZ
g{R3`a:)1ZP9261J:GJ26QF`FMSGJR3MDC)7RJ:Z\HPRIdQ_:Z\ \w2697^MSTFGX:8FMNGJRRJ`L7Ry`L76:7^BNGJ2 RJ`F:GJR31325TF4vTF251397^BSM3U7R3MS25T QF1J26Q_:)13RI 7TL\ 7
Qa176CR3MDC)7BHEaTFMC)7RJMS26TQF1325KFBS:)9 $Sh.*$P!hP$Paj6jFP$jdeaP$jd;'µ
< wo
A`a: Ta:)x/RJ:)139BD7^TF46EL7^46:{MNGR3`a:BD7TF45EL745:<2|R3`F:>G3MS9QFBSIRI$Q_:Z\}w~«RJ:)139-GZ
$MS9-QFBS:ARIdQ_:)GX713:X45:)TF:)187R3:\K$IR3`a:<|26BSBS2xAMNTa4461879971.-
-6-hg k` H
-6-hgoL"! $MNMSMD
xA`a:)13:RJ`F:# 7^TL\$
71J:XM\w:)T$R3ML:)1JGA2|WRI$QL:X671JMD7KFBS:)GA7TL\RI$QL:UC26TFGJR313E_C8R32513GXxAMSR3`7^13MSRI DP$1J:)G3Q_:ZC8RJMN5:)BSId_]AEFBS:y $MSMSMD
45:)TF:)187RJ:)GX| EFT_C8R3MS26T*RIdQ_:)G1/ RIdQ_: L"!7 C)7TK_:UMST$R3:)1JQF13:R3:Z\v7^G RJ`F:yRIdQ_:y2|W| EaTLC8R3MS25TFG<xA`F25G3:\$2597^MNT-MSG> 7TL\
C2~3\$2697MSTMSG1A_uv: 7^G3GJEF9:%&XC825T$R7MSTFGX7RXBS:Z7GJR<RJ`F:C826TaG3R7^T$R :O<| 251<QF1J26Q_26GJMNRJMS26TL7^B RI$QL:GZHuv:U7^BSG327^G3GJEF9:RJ`F:
7^131J2xPL"!PL7^G3G32FC8MD7^R3:)G{R32&R3`a: 1JMS46`$RZ$A`FMSGA97<;6:Gz97T$IUKa176CC;5:)R3G{EFG3:)BS:)GJG.-a| 251AMNTaG3R7^TLC8:6P& L'!y L"!Iy\$:)TF25R3:)G{R3`F:XG879:
RI$Q_:7G L'! L"!I B \$2$:)GZ
uv:X7G3GJEF9:XRI$Q_:kC26TFGJR313E_C8R32513G71J:k\w:ZC8BD71J:Z\EFGJMNTa47&\$MS13:ZC8RJMS6:F <-w| 261MSTFG3R87TLC8:5P
F) JLK W ( y_ &
F)>HI65BJJK L"! J K W ( H65BJ_ $)
A`a:U\$:ZC8BD7^17RJMS26T2|%H5 JHGJ`F2xAG<MSRAMSG 7yRI$Q_:UC826TaG3R31JELC8RJ261XR3`L7^R<9&EFGJRzK_:U7^QFQFBSMS:Z\-R32&G3259:XRI$QL:>R3276CR3EL7^BNBSI-QF132F\$ELC: 7
RI$Q_:6
+* { WF¤,$q o
wMN9-QFBSIRI$QL:\}$~R3:139GA71J:46:TF:)17^R3:Z\ KdI-R3`F:{| 25BSBN2xAMSTF4X45179-97^1.-
¯
-6-hgji
¯ k l ¯
J._
¯ rq.-
¯
-6-hg }El
¯r ¯ J J <_
¯
-6-hgo
¯ rq-
¯ ¯ r J J <_
xA`a:)13:R3`F:8i
¯
7TL\ l ¯
713:13:G3Q_:ZC8R3MS5:)BSIUMD\$:)T$RJM_:)13GW2^|C825TFG3R87T$R3GW7T_\MD\$:)T$RJM_:)13G2|_6713MD7^KFBS:)G xA`F25G3:RI$QL:MSGsJU/ARJR31JMNKaEFR3:)G
MSTRJ:)139-MSTL7BW7T_\TF26Tw~«RJ:)139-MNT_7B GJI$9&KL25BNGX71J:UEFGJ:Z\R32C825TFG3RJ17^MNTRI$QL:GU7TL\*R32:)TaG3EF1J:R3`a:Ux:)BSB~«RI$QFMSTF4-2|z45:)TF:)187R3:\
RJ:)139-GZ
5:)13IR3:1392^|RJ`F:GJMN9-QFBSIRI$Q_:Z\}w~µC7BDC8EFBSEFG`_7GU7
~TF251397^B!| 261J9 1MW:C)7EFGJ:2|AR3`F:?`dEa1CJ`$~3]A26GJG3:)1yQF1J26Q_:)13RI$P
MSRMSGEaTFMDO6Ea:6D261J:)26:1ZP!MNR&C)7^TvKL:C8259QFEFRJ:Z\EFGJMNTa4 7T$Iv713KaMNRJ17^13IvG3RJ17^R3:)45IdA:)T_C8:6PWRJ`F:C7BDC8EFBSEFGy`L7GyR3`a:G3RJ1325TF4
Ta261397BSMSG7^R3MS26TyQF1325QL:13RI$
uv:X7G3GJEF9:XRJ`F:XRIdQ_:)G{2| C26TFGJR7T$RJG 71J:U\$:ZCB7^13:Z\-EFGJMSTF47&\$MS13:ZCR3MS6:bJK-$| 251zMSTFGJR7^TLC8:6P
JLKo=BCH65BJ Q [W ( l Q¥=B_ i
¦0/
ª¯216²
JLK <W <QRL"! CH65BJ Q L"! CH5 J+Q W ( l Qv <W <8_ i 1
q-
¦0/
ª¯216² q-
¦0/
ª¯216²
JLKU)#CHI65BJ Q L"! CH65BJ Q L"! CH5 J+Q L'! W#( l Q¥ U)_ i
¦0/
ª¯16² q-
¦0/
ª¯216² q-
¦0/
ª¯15² q-43
A`a:RI$Q_:W2|=B_GJ`F2xAGHMSRHMNG 7Ta26T$~| EFTLCR3MS26TL7^B6C826TaG3R7^T$RZA`F:RI$QL:W2^|c:W <DGJ`F2xAG MSRHMSG 7| EFT_C8R3MS26TXRJ`L7RHR87<;6:G Rx2<71345EF9:TdRJGZ
A`a:)G3:Rx2&C826TFGJR7^TdRJG 7^BNBS2xAGEFGAR32&KaEFMSB\/#P 8<F+5AQ_26BSI$9261JQF`FMDCABSMSG3RJG.-$Q_26BSI$92513QF`FMDCBSMSG3RJG<7BSBL:BN:9:)T$R3GA2^|WxA`FMDC3`
`_76:<RJ`F:G879:{RI$QL:6E2!MNT_7BSBSIdPRJ`F:1J:)G3EFBSRARI$Q_:2|%P :O<PaG3`F2xAGAMSRMSG<7yQF13:Z\wMC7R3:yC826TFGJR7^TdR
5
]>^
c´'c eJ¿ q d*c!¶q k q ¶jacT_jh`<¿ q h `<¸)¾?a l c q cµ´«¿3_¹ q ¶Ckcµ´«¾JÀ
{ WF¤kq£_qr o
{7$MNTa4UCJ`F26GJ:)T 7yRI$QL:\$MSG8C8MSQFBSMNTa:<|261R3`F:RJ:)139-G\w2d:G<TF25RAG7I:6:)1JIdRJ`FMSTF4&26T-R3`F:>RIdQ_:\$MSGC8MSQFBSMSTF:X2|QF1325461879G
A`F: L13GJRQ_26MST$RHMSGHR3`L7^R x:z76\w26QFR!R3`F:.), 5%UJg JK Q_26MST$RH2|F$MN:x@-)R3`a:zRI$QFMSTF4<\$MSG8C8MSQFBSMNTa: \w:8LTF:)GW77a0HHJLKE
Qa13:Z\$MDC)7^R3:6P_7TL\-TF25RAxz:BNB~RI$QL:Z\QF1325461879G{ HH JK QF1325461879G8z7^13:XG3MS9-QFBSIUTF25R<C826TaG3MD\$:)1J:Z\7GAQa13264517^9GZ
A`F:XEFGJEL7B!QF13MSTLCMNQaBN:GA2|Q_26BSI$92513QF`aMCRI$QFMSTF4&71J:R3187TFGJQL25G3:Z\ R32?A[ 0 XPF 5 -
JLKA\$:ZCB7^17^R3MS26TFG<75C8R 7^G<7>H9BJHMST D[ $½e6i'3P$MSRzMST$R31J2F\$ELC8:)GX7yRI$QL:XGCJ`F:9:{| 261AGJ269-: C825TFG3R87T$RAG3I$9&K_26BP
O6E_7T$R3MC)7^R3MS26TaGX MSTLC8BSEL\$MSTF4&7KaG3R31876C8RJMS26TLA75C8R<7G<7^T 7^KFG3RJ175C8R3MS26TMST#D*[WP
:)6:)1JI2FC)C8Ea1313:TLC8:y2| 7yC825TFG3R87T$RAG3I$9&K_26BF`L7^G7>RI$QL:XRJ`L7RMSG7^TMSTFG3R87TLC: 2^|RJ`F:XRIdQ_:<G8CJ`F:)9:X2^| R3`L7^RC825TFG3R87T$RZP
7TL\-:)5:)13I2FC)C8EF1J13:)T_C8:U2^|z767^13MD7KFBS:{`L7GARJ`F:G7^9:{RIdQ_:6
A`F:-G3:ZC26TL\ Q_26MST$RUMSGRJ`L7Ryxz:76\$25QFRyR3`F:`JLP <HYUJLKyQF1JMNT_C8MSQFBS:-(tvC02UK A,F ,<"*#'<B,JR
P5BJPJ J?#y#B<* 4UH6<F+5% bF5BJ$#22> JLKbJ?# J%65', P /*b6J5VJLKb5%#})_T26R3`a:)1Xxz251\$GPLRJ`F:
RI$Q_:)G<7RARJ`F:)GJ:2FC)C8EF1J13:)TLC:)GUC)7^TFTF26R{KL:WY8EaG3R<7T$I-MNTaG3R7^TLC8:X2|WRJ`F:XRIdQ_:XGCJ`F:)9-:F25TFBSI&13:)T_79MSTF45G7^13:7BSBS2x:Z\H
A`FMSGQF13MSTLCMNQaBN:{MSG<7G3GJEF9:\yMNT-R3`F:Xx261C;&KdI>D IwC132|R<7TL\-g {:):8|:$j&,'3P6KaEFRzTa26R<\$MSGCEFG3GJ:Z\HFR<7^QFQ_:Z71JGAEFTL\$:)1ARJ`F:
T_79:#B+<)<6J<XMSTyxz251[;$GWK$I&<7T$EFGP67T_\&AMSBSBL7TL\y[HBS2IF\$;ahP6;6;'3RW7BSG32U7^QFQ_:Z71JGWEFTL\$:1zRJ`F:ATL79-:^ 6J< PH
UJLK>MNTv[ 7P;$G3`F97T 7^TL\v]A:Z\a\$I GXx261C; $½;6i'3 <7^T$EFG`L75:UGJ`F2xATvMSR MSGU7-TF:C8:)G3G871JI C825TL\$MSR3MS26T*| 251k7 5%PJL?
5%PF )< 5B5RJ`F:)2513:)9G3R87R3MSTF4&1J26EF45`FBSI&R3`L7^R t4UHH JLK7), gB< 5yBP,JY+a.<})
/{T/:8L7^9QFBS:MSBNBSEFGJR3187R3:GRJ`F:v:BOH:ZC8R2^| \$:8_TFMSR3MS26TL7^BX46:)TF:13MDC8MSRIdY/{G3G3Ea9MSTF4RJ`F:vC8EF131JMS:Z\ G3I$T$R7 |261R3:)1J9GPzRJ`F:
?A[!0 XPF 5 xA1JMSR3MSTF4y| 251zQF1J:Z\$MDC)7^R3:#UkMSG<7G| 25BNBS2xAG,-
=B%7?7 W
=?C |7 BEUO=?C | B@-ML#Ub7 U W
A`aMNGQF13254617^9 MNGx:)BSB~RI$QL:\&xAMSR3`&1J:)G3Q_:ZC8R{R32yR3`F:{RIdQ_:<G8CJ`F:)9:GA46MS6:)T&MST&GJ:ZC8R3MS25Tj_Sh6½;FA2x:)5:)1ZP$RJ`F:<G879:AQa13264517^9
QaBNEaGAR3`F:C8BD7EaG3:
=6D,3P :<4<sBo=<, ,"B$=6D,3P :<4< <B,"B W
MSGXMSBSB~RI$QL:\K_:ZC)7^EFG3:MSR$MS26BD7RJ:)GXR3`F:-`F:Z76\d~µC825TL\$MSR3MS25T HA`F:&2FC)C8Ea1313:TLC8:2^| UMSTvR3`F:7^KL25:C8BD7EFGJ:`L7^GU7-RI$QL:6P
CHI65BJsJ L"!CH65BJs J L"!CH5 JYJ L'!I6P$RJ`L7RAMSG<7>G3RJ13MDC8R<MSTFGJR7^TLC8:2^|R3`a: RI$Q_:GCJ`F:9:6P$TF25R Y8EFGJR<7y13:)TL7^9MSTF4_
uv:TF25R3:?A[ 0P_ 6 yRJ`F:MSTFG3R87TLC:2|?A[ 0 MST xA`aMCJ` R3`a: \w2697^MSTvMNG&2^|G3MS9QFBSIRI$QL:Z\ RJ:)139-G &)PWRJ`F:
:O6E_7BSMSRI&R3`F:)2513IMSG
~:ZO5EFMS67BS:)TLC8:« 5 PFRJ`F:QF1J26461879-G<713:>RIdQ_:Z\Qa13:)G8C813MSQFRJMN5:)BSIdP_7TL\ R3`F:U\w:8LTFMSR3MS25TL7BH45:)TF:)1JMCMNRI
Qa13MSTLC8MSQFBS:<MSG<75\$26QFRJ:Z\H
XW GR68a! #"$S$.H&P[^voQ1^
uv:`L75:zGJ:):)T&R3`_7RWGJ269:R3:)1J9G2| ?A[ 0P_ 6 M:6RJ`F26GJ:AxAMSR3`&7T&7131J2xRI$Q_:ZWC)7^T&KL:AMST$R3:)1JQF13:R3:Z\&7^G| EFTLCR3MS26TFG
uv:>`L76:U7^BSG32&G3::)TvR3`L7^R<QF1J2$2| G{MNT?A[ 0 P_ 5F<7^13:&\$26Ta:U9-2w\wEFBS2
~:ZO5EFMS67BS:)TLC8:5 w2LPFMSR{BN2$2+;dG{BSM;5:XM|26TF:UC7T
Qa13264517^9bMST 7>|EFTLC8RJMN25TL7BHGJRI$BN:XMST?A[ 0 P_X6FPL7T_\RJ`L7RAEaTFMC)7RJMS26TMSG<7^KFBS: RJ2\$MSGC81JMS9MSTL7RJ: 7^QFQFBSMDC)7RJMN25TFG| 13259
7^KFG3RJ175C8R3MS26TaG 7^TL\ RJ2 7T_7BSI$G3:RJ`F:)MS1C8269-QL25TF:)T$R3Gzuv:*xAMNBSBAGJ`F2xRJ`L7R-R3`F:)GJ:71J: Rx29-MNG8C826T_C8:)QFRJMN25TFG7^KL25EFRRJ`F:
C7QL7^KFMSBNMSRJMN:Gz2^| }w~«RJ:)139-GAMNT?A[ 0 P_X6F
+* Xq£%Lqr '& & r)( & sp £ & r Wo)p &+*-, /.J
/0
X621
g{TF:9&EFGJRH13:ZC)7^BSBdRJ`L7R?A[ 0 P_X6F¼R3:)1J9G7^13::)G3GJ:)T$R3MD7BSBSIXG3MS9QaBNIARI$Q_:Z\y}$~R3:)1J9GU/<GGJELCJ` PR3`a:)IX`L76:z7{C8269-QFEFRJMNTa4
Q_2x:)1AR3`L7^RAMSGAR32$2Ux:Z7P;&| 251z1J:Z7BSBSIGJ:)13$MSTF47G<7yQa13264517^99MTF4XBD7TF45EL745:6
D[*QF1J26461879-Gz71J:k7^BSG32:)GJG3:)T$RJM7^BSBNI&976\$:A2^|GJMN9-QFBSIRI$QL:\}w~R3:)1J9GZP5KFEFRARJ`F:XBD7TF45EL745:<7BSG322PO:13G 7>C826TFGJR31JELC8R3MS25T
M:51H3 J,µR3`L7^RAMNGMST$R3:)1JQF13:)RJ:Z\*KdI7Xad~Q_26MST$RC8259&KFMSTL7RJ2616A`L7^RAMSGzxA`L7^RA46MS6:GAMNRJG<C8269-QFEFRJMNTa4QL2x:)1ARJ2>D[W
u `_7R&46MS5:)G?A[ 0 P_X6FMNRJGC8269-QFEFRJ:)1&QL2x:)1* xA`FMDCJ` MNG&RJ`F:G879:7^Gy| 2617^TdI 13:Z7^G325TL7KFBS:Qa13264517^99MSTF4
BD7^TF46EL7^46:ZMSG<RJ`F:G3RJ13ELCR3EF1J:&2|WMSR3G<C8BD7EaG3:)GPLKaEFR<TF25R<MSR3G<}w~R3:)1J9GZaT26RJ`F:)1{xz251\$GP
~13:Z\$E_C8R3MS26TMST?A[ 0 P_ 5FAMSG
Ta26R13:Z7^BSBNI>EFG3:Z\>|261:)67BSEL7^R3MSTF4| EaTLC8R3MS25TFGZRMNG97MSTFBSIAEFG3:\y| 251MSTFGJR7^TdRJMD7R3MSTF4{R3:)1J9 G8C3`a:)9:)G13:)QF1J:)G3:TdRJ:Z\-K$IU}$~R3:139G
2xz:)5:)1ZPF}w~R3:)1J9GA7BSBS2x EaGzRJ2| EaTLC8R3MS25TL7BSBSIU:TLC82F\$:X26Q_:)17^R3MS26TaGAR3`L7^R7^13:XG3EACMN:TdRJBSI&G3MS9QFBS:6 $MSTLC8:X671JM7^KFBS:)Gz7^13:
7^BSBN2x:Z\MSTRI$QL:)GP KaEFRR3`a:O6E_7T$R3MC)7^R3MS26TaG 2^|RJ`F:)GJ:671JMD7KFBS:)G71J:7BSxA7IdGXQF1J:)TF:8 P!R3`F:\w2697^MST2^| ?A[!0
PFX5F
RJ:)139-GHMSG :)GJG3:)T$R3MD7^BNBSI{:ZO5EFMS67BS:)T$RHR32VD[43LD*[&9MST$EFGH3 J)A`FMSG \$2597MSTX7BSBS2xAGLEFG!R32{QF13254617^9/:wRJ:)TL\$:\Q_26BSI$TF269-MD7B
|EFTLC8RJMN25TFG26TFBSI $½;j,'32a261MNTaG3R7^TLC8:6Pa26TF:X97IU:)T_C82F\$:UC825TLC)7RJ:)TL7^R3MS26T7GA7&}w~«RJ:)139P$$MD7U7>G3EaMNR87KFBS:X:)TLC2w\wMNTa4&2|BSMSG3RJG7^G
|EFTLC8RJMN25TL7BHBSMSG3RJG $½i'µ