The CtCoq System: Design and Architecture
29
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. The CtCoq System: Design and Architecture Yves Bertot. N° 3540 Octobre 1998 THÈME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5) !#"$&%('*) +, -+ .&) 1/ 0325467258:9<;39 =?>A@CB7D1E!FHGJICKALMDONQPSRTLQU:LMDCN D:VWU:XYNZU [\N^]`_aB!b3PSNQLZcT[\D dfegPShiD Vkjmlnokd lXYp\pqPTe`VrsDOetDCUu>ADCetUu>\DK3vxwTyYzT{|F#nJU VgPSb\egD}C~T~SOF#ESy$p\XSRSDC]. C: ASS* DkpAetDC]gD:K5VfLQ]t]g[ADC]fVg>\XYVXYetPT]gD?LMK Vt>ADWrsD]`LQRSK PSVg>ADOj V-jPsc![q]`DCe`LMK5VtD:egXSU DmPTe pAetPaPY rAD:SDCNMPTpABD:K5VC jPTD:etDCr LZ]g]g[AD]?LMK\U:NM[qrsDB![ANMVgLMp\egPsU D]g]gLQKAR\srAXYVtXrsLZ]`pANZX<_SaBPS[q]`DLQKTVtD:euXSU VgLQPSK^sXYKqr ]tU etLQpsVBXSK\XYRTD:BD:K5V 5t! S oW[sVgPTBXYVgLZU pAetPaPYi ¡K5VtD:euXSU-VtLMTD$p\egPaPYrsDCSD:NQPSp\B7DCK5VC RTetXSpA>ALZU:XSN [q]`DCe1LMK5VtD:egXSU D]: j V jPscqsp\egPaPY ba_&p3PSLQKTVtLMK\R\. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65.
(6) ^ f
(7) +m !+& $m "1) +x u +f .)
(8) PS[\]rsICU:egLQSPTK\],NQDC]pAetPSbANQ@:BDC] cT[\L3]gPSK5V]g[AetSD:Ka[\] rAXYK\] NQX$U PTK\U DCpsVgLQPSK rsDkN LQKTVtD:egXSU:D >\PSBBD BXTUu>ALQKAD j V-jPsc pqPT[Ae NQD rsICSD:NQPSp\pqDCB7DCK5V rsD rsICB7PTK\]`VgeuXVgLQPSKq] ]`[\e PSeursLQK\XVtD:[Ae DC] Vt>A@:BD]&U PT[ASDCe`Vu] U PTBpAegDCKAKADCKTVN [sVgLQNQLQ]tXVtLMPTK rsD pANQ[\]gLMDC[Aeu] pAetPaU:DC]t]`[q]:?N X Uu>qXYRSD rAD rsPSK\KAI:D]: N LMK5VgDCetXTU-VtLMPTK NZX7]gPS[\egLZ]:aD:VNQX7RSD]iVtLMPTK rAD1]gU:egLQpsVt] ICBPSK\]`VgeuXVtLMPTK XY[sVtPSB XVtLQc5[ADT I:TD:NQPSpAp3D:BD:K5VmLMK5VgDCetXTU-VtL rsDkpAetD:[ATDC]CS¡K5VgDCe`XTU DC] RTetXSpA>ALZc5[ADC]C\j V-jPsc3spAegDC[ASDp\XSe]`ICNMDU-VtLMPTK.
(9)
(10) "!$#%!'& (*),+- ./ +021) . w. !) % .&+ $ ¡K65 =87:9O~5E57?=~T;8<D U NZXYLQB Vg>\XYVU:PSBpA[sVtD:e XYLZrsDCr rsDCrs[qU-VgLQPSK ]`_s]`VgDCB]7KADCDCr pqP=<mD:eg[ANm[\]`DCe` LQK5VgDCe`XTU DC]OXSK\>r <D NZX<_ PS[AV1RSD:K\D:euXYN VgDUu>AKALZcT[\DC]VtP U:PSK\]`Vget[\U V!]`[\Uu> [\]gD:egLQK5VgDCe`XTU DC]Cb\XT]`Dr|PTK X B$[ANMVgLMpAetPsU D]g]XYeuUu>ALMVgDU-Vg[\egD XYK\r VgPaPSNZ] U PTBLMKAR|etPSB pAetPSRTetXSBB7LQKAR|D:KaaLMetPSKABDCKTVu]:@?APTNMNQP=<LMK\R Vt>ADC]gDLZrsDCXT]:" <D>qX<SDrsD:TD:NQPSp3DCrX1]gpqDU BL AqU[\]gD:egLMK5VgDCe`XTU DmPSefVg>ADJjPsc$]`_s]`VgD:BC5 ?D*Ef~Sw;TUCXYNQNMDr j V jPsFc 5 7:7mH~ GYbI 7:7mH~ GS X ;T[q]`LQKAROVt>ADWpAetPSRTetXSBB7LQKARODCK5aLQegPTKABD:K5VfRSDCKAD:euXVtPSemjDCK5VtXY[\eJ5 7j KE S=; nkTD:e&Vg>AD _SDXYeu]:kj V jPac >\XT]&b3D:DCK [\]gDCr VgP pqDCe`PTegB NZXYetRSD:e XYK\r NQXSegRTD:e&p\egPaPY!rAD:SDCNMPTpABD:K5Vt] 5 7:?x~Tya\=?>\IC~SAL 7mD:eu~S ;XSK\rVgP D Msp3D:etLMBDCKTJ V <LMVg> KAND < LQK5VgDCetXTU-VgLQPSK LZrsDCXT]:O ?\PSeLQK\]`VtXYKqU DSL <D>\X<TD p\egPTpqP5]`Dr!KAND < VtDCUu>AK\LQc5[AD] VgPORS[\LQrsD?Vt>ADpAetPaPY3pAegPsU:DC]t]x[\]`LQKARJVg>\DBPS[\]gDS% <LMVg> p\egPaPY ba_5p3PSLQK5VgLQKAR PTep\egDrsLQUCXVtD|U:XSNQU:[ANQ[\$] 5 7:9O=~Yz ;1XSK\r rseuXYRSXSK\ra¡rsetPSp PSeXYNQRSDCbAeuXYLZUB XYKALQpA[ANZXVtLMPTK\P] 5 7mD:eu-~ QY X ; D&>qX<SD&XSNQ]gP rsD]gU:egLQbqDr VgPaPTNQ]!VgP|>AD:NQp [AK\rAP|]gD:NQDCU-VtLMTD:NQ_|pqXS]`V7U PTBBXSK\rAR] 5 d PTK\-~ QN;XYKqr,BPSetD RTD:KADCetXSNMNQ_ [\]gDOrsD:p3D:K\rAD:K\U:LMD]bqD:SV <DCD:K U PTB7B XSK\rA]?PSeB XYVg>ADCBXYVgLZU:XSNPSbshiDU-VtK] 5 Od 7?l~T ; DO>\X<TD XTU:U:[AB![ANZXVtDCr X <DXYNMVg> PS D Msp3D:etLMDCK\U DetD:R5XYeursLQKARVg>ADJLQKTVtD:RTetXYVgLQPSK PY X!XYetLMD:Vi_7PS[AK\U VgLQPSK\]C5Vg>ADCLMe [q]`DLMK$pAetXTU-VtLQUCXYN5pAegPaPS\rsD:TD:NQPSpABD:K5VxXYK\rOB XSLMK5VgDCK\XYKqU DSXSK\rOVt>ADDXS]gOD <LMVg > <>ALQUu>1Vg>AD]`D[AK\U VgLQPSK\] UCXYK bqDOB XSLMK5VtXSLMK\DCr XS]mVg>\DOpAegPaPS ]g_a]`VgDCB XYKqr&Vt>AD1U PTK5VgD MaVD:TPSNQSDT ¡$K 5 T XS]t~S ;aVg>ADXY[AVg>APTemB "X USDC]m]g[AegD]g>ADJU:NMDXYetNM_ ]`VtXYVgDCV] <>\XYVVt>ADOXYLQB ]PS U:PSBpA[sVtD:emVg>ADCPSetD:B p\egPaLQKAR!B X<_ b3DSAXSK\r&RTLMTDC]PS[\epqP5]g]gLMb\NMDU:XYVgD:RTPSetLMD0] WYX) N [ZK\#%]^ _&= .`ab<>ADCegDkVg>\D1XSU-Vt[\XYNU:PSK5VgDCKTV PSkVt>ADpAetPaPY] rsPaDC]K\PYV B XVgVgD:eXYK\r XY[AVgPSB XYVgLZUp\egPaPY]`DXYeuUu> LZ] XSUCU DCpsVtXSbANMD c- X),. SZ>+ +d .!- a_<>AD:etD$Vg>AD7[\]gD:epAetP5LZrsD]WX U PSBpANQD VtD$p\egPaPY,Vt>\XVOPTKANM_ KADCDCrA]kVtPb3D Uu>ADC U UTDCLr c X'),. SZ&= e0+ =\=) a_<>AD:etDJVg>ADpAetPaPY PSetRTXYK\BL fXVgLQPSK&BXYV`VtD:eu]mXSK\r&Vg>AD1U:PSBpA[sVtD:ebAetLMK\RT]?]`[\pApqPTe`VLQg K <PT,e UaLQKAR!LMVPS[sV c- XSK\hr &=1L+ #=` _ =!i#=]HX1)/Xj 08ab<>\D:etD?Vg>ADpAetPaPYB XV`VtD:eu]f]gPOB![\Uu>7Vg>qXV,Vg>\Db\XS]gLZU]iVtD:p\],PS3etDCXT]`PTKALQKAR >qX<SD VgP b3D ]gpqDCNMNQDCr PT[s V c ¡K PT[Ae 0D Map3D:etLQD:K\U:DS?L V XYpAp3DCXSet]7Vt>\XV Vt>AD ]tU:XSNMD XTU-VgPTe LZ] etD:NQD:XYK5VC >\D:K Vg>AD!pAegPaPS ]gBL fCDJLQK\U:egDXS]gDC]CaVg>ADVt>AegDCKD A\eu]iVWUCXVgDCRSPTegLQDC]VgDCK\rVgP BD:etRSDLQK5VgPPSKAHD W,VgP rAXYVgDOKAP XS[sVgPTB XVgLZU$pAegPaPSfVgPaPSN,UCXYK|U:PSp3kD <L Vt> Vt>AD rsLQ]tU PTD:et_PSm]gLMRTKABL AqU:XSKTVJpAetP5PS]:^XSK\r >a[AB XSK\]etXSegDCNM_ >qX<SDmVg>ADkU PS[\etXSRSDmVgP!]gp3D:NQN\PS[AVfNQXSegRTDpAegPaPS]xLMK ]g[\Uu> rsD:VtXYLQNsVt>\XV p\egPaPYUu>AD U U5LQKAlR <LQNMNqbqDk]`[ U:LMDCKTV VtPB7DUu>\XYK\LQUCXYNQNM_ TD:etL _Vt>AlD <>APTNMDOpAetPaPYrAD:SDCNMPTpABD:K58V <L Vt>APS[AVWXY[sVtPSB XVtLQUJpAetPaPY rALQ]tU PTD:et_S nkKADkXYetDCXJVg>qXV TfXT]iVuXY[ART> mDWrsLZr KAPYVmU PSKq]`LZrsD:e LQO] X),. SZ*k#% .!L!i#=!i+ : nkK\U D_TPS[ >\X<TDXOpAetPaPY PTe,]`PTB7D?B XVt>AD:B XYVgLZU:XYNaXTU-VYXYNQLQr$[AK\rsDCef]`PTBD?XT]g]g[ABpsVtLMPTK\:] ab\XT]`LZU?rsD A\K\L VtLMPTK\]xPSe,=X MsLQPSB ] c-YLMV,LQ] etD:NQD:XSKTVxVtPU:PSK\]gLZrsD:e VgPaPTNQ] Vt>\XVf>ADCNM p A\KqrsLMK\ROpAegPaPS] PTef]`LQBLMNZXYexXTU-Vu],[AK\rsDCef]`PTBD?Uu>qXYKARTDC] PY3Vg>AD XT]g]g[ABpsVtLMPTK\]:!¡K NZXYetRSD$]tU:XSNMD7pAetPaPYrsDCSDCNMPTpABD:K5VC[\]gD:eu]WegDcT[\D:K5VgNQ_>\X<SD!VgP]`VtXYegVBXSLMK5VuXYLQKALMK\R XTU-VtLMaLMVgLQDC]DCSD:Kb3D PTegDxVt>A D <>APSNQD,pAetPaPYsrsD:TD:NQPSpABD:K5V^LZ]PSDCNe W3Vt>ADfrsD AqKAL VtLMPTK\]^RTLMTD:nK <>AD:K1]`VtXSe`VtLMK\R X pAegPShiDCU V>\X<SDVtP bqD$egD:U:PSK\]gLZrsD:etDCRr <>AD:K XTrArsetDC]t]`LQKAR NZXVtD:ep\XSe`Vu]PS Vt>AD1pAetPaPYi=?>AD]`D1XT]`p3DCU Vt] >qX<SD$XSNQ]gP&LQK o\[\D:K\U:DCr PT[AeOrsDC]gLQRSK PS?j V-jPsc3D:TD:K Vt>APS[\RS> PT[AeJBXSLMK5VtD:K\XSK\U D$VgPaPSNZ]kBX<_b3D7NMD]g] B XYVg[AetD1Vt>\XYK Vg>AD$VgPaPSNZ]JrsDC]gLMRTKADCrPSeJPYVg>\D:eXSU-VtLMaLMVgLQDC]C¡K Vg>\LQ]rsPTBXSLMK U:PSBB XYK\r\]k]tU etLMpAVt]JXYetD X'), + _ %1IrAXYVtXA D?>\X<TDfVtPJrsD]`LQRSK!Vg>A: D <mPS e UaLMKARkD:KaaLMetPSK\B7DCK5V ]gPWVt>\XV,[\]gD:eu]UCXYKAK\PYV,rsDC]`VgetP_JVg>ADCLMe ]tU etLQpsVt] ba_OD:etegPTKAD:PT[\]^B XSKALMp\[ANQXYVgLQPSK$PSe b5_XSLMNQ[AetDPS\Vt>AD VtPaPSNZ]: 9D:DCpALMK\RWNZXYetRSD]tU:XSNMD?rsDCSD:NQPSp\B7DCK5V LQK BLQK\r,LMV$LZ]$XSNQ]gP [AK\rAD:eu]iVuXYK\rAXSbANQD Vg>\XYpV <mD p\XSLQr NQDC]t]!XYV`VtD:K5VgLQPSK VtP b3D:RSLQKAKADCet]!Vg>qXYK LQK PYVt>AD:e [q]`DCe`LMK5VtD:egXSU D]:NQqL USDVg>\PT]gD XYLQB7Dr XVODCrs[qU:XVtLMPTK\XYN pA[AetpqP5]`D]: D >\X<TD$VtP BXSLMK5VuXYLQK X bqXYNZXYK\U:D b3D SV <mD:DCKVg>\D7p3=P <mD:eg[AN [\K\U-VtLMPTK\n] <pD <mXSKTVkVgP pAetP5LZrsD!XSK\rVt>AD7PSD:eg¡]`LQBpANMBL AqUCXVgLQPSK Vt>\XKV <PT[ANZr b3D etDCc5[ALQegDr|VgP B %X UTD Xb3D:RSLQKAKADCeOD:DCNK\LQU:D&XYK\r U:PT]g_SoW]$X egD]`[ANMVC Vt>AD j V-jPsc|[\]gD:egLQK5VgD:egXSU:D etDCc5[ALQetDC]1XNQPSK\RSD:e1VgeuXYLQKALMK\RVg>\XSK LZ]1[\]g[\XYNQNQ_|etDCc5[ALQegDr PSe7XRSeuXYpA>\LQUCXYNf[\]gD:egLMK5VgDCe`XTU DTh raVgLQNMVN <D 3. 4. sYsCt=uLvw xy.
(11) z. \=*) =. U:NQXSLMB Vt>\XV$Vg>ALZ]$XSpApAetPTXTUu> BXTrsD LMV7p3PT]t]gLMbANQD VtP D0Map\NMPTegD B XSK5_ LQKTVtD:euXSU VgLQPSK BD Vt>APsrA]: <>\LQUu> X BPTegD`pAegLQK\U:LMpANQDCrJrsDC]gLQRSK <PT[ANQr>\X<TDJLQRSK\PSetDCr ¡K Vg>ALZ]7p\XYp3D:eO <mFD <?XYK5V!VtP|etD:aLQD0< Vg>\DpAetLQK\U LQpANQDC]$D:Ka[ABD:euXVtDCr LQK 5 7?=~S ; ]gD:D >AP=< Vg>AD]`D p\egLQK\U LQpANQDC]XYetD LQK\]iVuXYK5VgLZXVtDCr LQK Vt>AD|UCXS]gD PY7j V jPac3WXSK\r rsD]gU:egLQb3D Vg>\D DMaVtD:K\]gLMPTK\]&Vg>\XYVR<mD:etD rAD:aLQ]gDCr1PSe Vg>\LQ] D Msp3D:etLMDCK\U DT =?>\LQ] p\XSpqDCe LZ]x]iVteg[qU-Vg[\egDr!XS]PTNMNQ=P <]: DVA\eu]iVxetD:aLMDN< etD:NZXVgDrl<mPSe U3 =?>\D:kK <DkrsDC]tU etLMb3D?Vg>\DWXYeuUu>ALMVgDCU Vg[AetD?PY3Vg>ADj V-jPsc$]g_s]iVtD:B x=?>AD:K^- <mDegDC5LQD0< Vg>ADkUu>\XYeuXSU VgD:etLZ]iVtLQUC] PS rAXVuXrALQ]gpANZX<_ XSK\r 0D M5VtD:K\]gLQbANMD$KAPYVuXVtLMPTK\]:¡K ]gDCU VgLQPSK ysi <D$egDCaLMND < Vg>AD$VgPaPSNZ]WVgP&RT[ALZrsD$p\egPaPY] [q]`LQKARkVg>ADmBPS[\]gDS¡K7]gDCU VgLQPSK G\= <DmegDCaLMND < Vg>ADmVgPaPTNQ]PSex]tU etLMpsVxB XYK\XSRSDCB7DCK5VC ¡K!Vg>AD?NZXS]`V ]gDCU VgLQPSK^ <mDOrseuX < U PTK\U NQ[\]gLMPTK\]XYK\rD MspANZXYLQK pqP5]g]gLMb\NMD1rsLQetDCU-VtLMPTK\]mPYxegD]`DXYeuUu>^ %. 1 )
(12) :" =PaPSNZ]^PTe Vt>ADmpAegPaPSAPYAVt>AD:PTegDCB]PSK$XWU PTBpA[sVgDCex>\X<SDfb3D:DCK$rsDCSDCNMPTpqDrPSe,XNQPSK\RVgLQBDS D=P <mD:TD:e Vt>AD Uu>APSLZU D$VgP pA[AV!X]gpqDU BL AqU7D:BpA>\XT]`LZ]PSK|LMK5VtD:euXSU-VtLMPTK|XSK\r [q]`DCe`LMK5VtD:egXSU D$>\XS]OXSpAp3DCXYetDCr BPSetD etDCU:D:K5VgNQ_SVt>\XYLK Ua]BP5]iVtNM_ VtPVt>ADLMKqU etDCXS]gLQKAR[q]`D7PYmRSeuXYpA>ALZU:XSN <PT,e Us]`VtXVtLMPTK\]C DCSD:NQPSp\B7DCK5Vt]kPSe <>\LQUu> X|]gLMRTKABL AqU:XSKTV7D mPSeg V <?XS]$pA[sV LQK5VgP|Vg>AD rsDC]gLQRSK PSVg>\D[\]gD:egLMK5VgDCe`XTU DLMK\U:NM[qrsD&Vt>AD [Ap\egN ]g_s]iVtD:B 5 jmo 78Ex" G;5Vg>ADk¡K5VgD:euXSU VgLQSDWdfegPaPY T rsL VtPSKe 5 lL VuS ;,=?>ADkU:NMP5]`D]iVmD Msp3D:etLMBD:K5Vu]fVtP!PS[\et]XYetD Vt>ADmG YTO?$LQK5VgDCe`XTU JD 5 Vj DW~5 y ;<Vt>ADmNMPTRSLZU:XYNSetXSB0D <mPS e Uko Y? 5 ~Y%z ;<Vt>ADRTetXSpA>ALZU:XSNSLQKTVtD:egXSU:D = UDn 5 ra_aB ~T y ; *7?XSegK\XTU NQFD 5 -~ Q; XSK\r ki]gXSbqDCNMNQgD 5 nn Tmjm-~ QN; <>AD:etD7Vg>ADpAetPaPY p\egPsU D]g]JXYKqr : Vt>ADORSeuXYp\>ALQUCXYNLQKTVtD:egXSU:DJXSegDLQB7p\NMDCB7DCK5VgDCr XT]]`DCp\XYeuXVtDkpAetPsU D]g]gDC]C PTegDJrsLZ]iVuXYK5V etPSB PS[\e <mPS e U7XSegDVt>ADJD MspqDCegLQBD:K5Vt]LQK Vg>ADrsDCSD:NQPSp\B7DCK5V PY^VtPaPSNZ] rsD]`LQRSKADrVgP VtDCXTUu>b\XS]gLQU!NMPTRSLZUYJoK LQK5VgD:etDC]`VgLQKAR ]`D:VkPYfRT[ALZrsD:NQLMK\DC]WPSe]`[\Uu> ]g_s]iVtD:B ]kLQ]JrsDC]tU etLQbqDrLMK 5 ra[\p\Y"z ; PSetD7etDCU:D:K5VgNQ_DCrA[\U:XYVgLQPSK\XSNf]`_s]`VgD:B ]>\X<TDbqDCD:K NMLZ]`VgDCr LQK Vg>AD etD:aLQ0D < 5 GJl 7?~Sw ;&oWB7PTKAR Vg>AD]`D ]g_s]iVtD:B ]CqLMVkLZ]WLQK5VgDCegD]iVtLMKAR VgP&K\PYVgD!Vg>A D SXSpqD$]`_s]`VgD:B 5 78rs~Ss r7?~S= ;b3DCU:XS[\]gD1L VJ[\]gDC]JrsLMetDCU VkB X K\LMpA[\NQXYVgLQPSKDCXVt[AetDC]mVg>qXVWXYetDO]`LQBLMNZXYemVtPVg>ADOPTKADC]?pAetDC]gD:K5VtDCrLMKVg>ALZ8] <mPS e U ,DCeg_ ND < RTD:KADCetXSNB XYKAB XSUu>\LMKAD LQKTVtD:euXSU VgLQPSK p\egLQK\U LQpANQDC]>\X<TD&b3D:DCK [\]gDCr LQK Vt>AD rsDC]gLQRSK PS j V jPscqk r5VgLQNQN ]gD:TD:euXYNDCXYVg[AetDC]OUCXY@K #kX = 0) _ =) bqD ]gD:D:K XS]XTrs>AD:etLQKAR&VtP ]g[\Uu> pAetLMK\U:LMp\NMD]: ?APSe LQK\]`VtXSK\U DT PT[Ae <mPS e U PTK pAetP5PS ba_5pqPTLMK5VgLQKARLZ]1etD:NZXVtDCr VgP Vg>ADDCc5[\XSN PSp\pqPTe`Vt[AKALMVi_|RT[ALQrAD:NQLMKAD XSra TPsU:XVtDCr LQK 5 =?>ALZ~S{ ; oWNQ]gP\fPT[AersDC]gLMRTK XYRTegDCDCp] <L Vt> 5 hDWI~ Q ;LQK XS]t]gD:egVgLQKAR Vt>\XV X grsPsU [\B7DCK5V PTegLQD:K5VtDCr XYp\pAegP5XSUu> B %X UTDC] L V?DCXT]`LQD:eVgP$egDrs[\U DkaLQ]tU P5]`LMVi_SaXYNMVg>APT[ARS>&PS[AemrsPsU [ABD:K5Vu]mXSegDWKAPYV?pANZXYLQK VtD MaVWXS]?BDCKTVtLMPTKAKADr&LQK Vg>\XYJV <PT,e U ' )+, u+ .) ! "$#&%. ')(+*,&-/.10,321-4,&.5 6 *. nkK\D7rsDCb\XVtDCr DCXYVg[AetDLQ]kVg>\D LMBp3PSegVtXYKqU D7RSLQSD:K VgP]`Vget[\U-Vt[AegDrsLQegDU-VtDCr|DCrsLMVgLQKAR\7¡K j V-jPsc3Vg>AD qb XS]gLQUrAXYVtXOB XSKALMp\[ANQXYVgDrb5_$Vg>\D[\]gD:e LZ] XJVtegDCD NMLqUSD]`Vget[\U Vg[AetDSTD:SDCKVg>APT[ARS> LMVXSpApqDXYeu],PSK ]tU etD:DCK XT] NQLQKADC]PY Uu>\XSetXTU-VtD:eu]:xGXVgDN<mX<_s]fVgP1VtDMaVg[qXYN3PSetB ] >\X<TDb3D:D:KpAetP5LZrsDrTXT] <LQNMNb3DJ]gD:DCK LQK]gDCU- VtLMPTKw\ EAM}T5b\[sVmLQBpqPTe`VuXYK5VU PSBB XYKqrA]megDcT[\LMetDk]`Vget[\U-Vt[AetDCr&r\XVtX\sXYK\rXYKa_VgD0M5Vt[\XYNrAXYVtX$B![\]`VbqD pqXYeu]`DrbqD:PSetDk[\]gDS,=?>ADkegD]`[\N VmLQ]?X1BBL MsDCr b\NMD]g]gLMK\R1PSemb3D:RSLQKAKADCemXSK\r 0D Map3D:egV?[\]`DCet]XYNQBL UTDS >AD:K B XSKALMp\[ANQXYVgLQKARVg0D MaVetXSRSBD:K5Vt]CA[\]gD:eu]?KADCDCrVgP NQDCXSegK Vg>\FD + %!'+0),0/]g_aK5Vt=X M PY Vg>ADONZXYK\RS[\XSRSD[\]gDCr 798 s7:.
(13) y.
(14) "!$#%!'& (*),+- ./ +021) . =?>\LQ]OLZ]1DXS]gLMNQ_ rsPTKAD ba_ etDCXTrsLQKARU PSetetDCU-VO0D MsXSBpANMD]: >AD:K B XSKALMp\[ANQXYVgLQKAR VgetD:D:NQqL USD ]`Vget[\U-Vt[AegD]: [q]`DCet] KADCDCr$VgPNQDCXYetK$Vg>ADXSb\]iVtetXTU-V,]`_aK5VtX%M1Vg>qXVf]iVuXVtDC]<>ALZUu> ]`[AbA]`Vget[\U-Vt[AetDC]xXYetDmXSNMNQP=<mDCr1LQKk<>ALZUu> U:PSK5Vg0D MaVC VfLQ],K\PYV DCKAPS[ART>!VtP1]`DCDU PTegetDCU Vx0D MAXYBpANQDC] VgPO[\K\rsD:eu]`VtXYKqr$>\=P < Vt>AD:p_ <DCegD?bA[ALQNMV bqDU:XS[\]`D rALQ]gpANZX<_|KAPSVtXYVgLQPSK\]O>\LQrsD&Vg>ADegDXYNm]iVteg[\U Vg[AetDS$ r5VgLQNMN,p3=P <DCe`[ANKAPYVuXVtLMPTK\]1XYetD&XB$[\]`V!VgP|B %X USD X [q]gXSbANMD$B XVg>\D:B XVtLQUCXYN VgPaPSNO=?>AD$VgetD:D]iVteg[\U Vg[AetDCr rAXVuX&B XYK\LMpA[\NQXYVgDCr LMK j V-jPsc LQ]JetD:K\rAD:etDCrPTK ]tU etD:DCK&[\]gLQKAR X7pAegD:V`Vi_5pAegLQK5VgLQKAR7pAegPsU:DCrs[AetDS,=?>ALZ]?pAetD VgVi_TpAetLMK5VtLMKAR7pAetPsU DCrA[AegDOUCXYK B"X USD[\]gDPY X XSegLQD Vi_PY PSK5Vt]Cs]`qL f:DTaXSK\r&U:PSNQPSeu],VtP$etD:K\rAD:emBXYVg>ADCB XVgLZU:XSN3PSetB![ANZXS]BPSetDWetDCXSr\XYbANQDS+ PSetD:PTD:e j V jPsc pAegPaLZrsDC] <mX<_s]PSeJVg>AD7[\]gD:ekVgP XSrAXSpsVJVg>AD7KAPYVuXVtLMPTK\]VtP&Vt>AD:LQeJVtXT]iVtDSO=?>ALZ]JUCXYp\XSbALQNMLMVi_ LQ] XSNQ]gP pAegPaLZrsDCr|LQK PSVg>ADCeOLMK5VtD:euXSU-VtLMTD!VtPaPSNZ]O]`[\Uu> XT] SXSpqgD 5 7:rA~Y=z ; XSK\r XVt>\]`pqXSr 5 7 I~ Q ;fbA[AVC K\PYV]`[\egpAetLZ]`LQKARSNQ_S5Vt>AD:_ XYNZ]`P[\]gDO]iVteg[\U Vg[AetDCrB XYKALQpA[ANZXVtLMPTK^ "$#. 15 , .10 -6 * *,32
(15) ,3** 16 *. . okk] <D XYNQetDCXSrA_ XTrsSPsUCXVgDr LQK65 7?=~S;?j V jPac U PSBB$[AKALZU:XVtDC]p<L Vt> jPac [q]`LQKAR =Wjmd ]gPsU USD Vu]: [q]`LQKARX rsLBm3DCegDCK5VJpAetPYVtPsU PSNLMK|DCXTUu> rsLQegDU-VgLQPSK 1jPTBBXSK\rA]J]`DCK5VkVtPjPsc XYetD$]gD:K5VOXS]kpANQXSLMK VgD0M5V LQK jPsc ]kLQKApA[AV]g_aKTVuX=M XVtXU PTB7LQKAR b\XSU U etPSB jPsc LQ]kVtetXSK\]iDCegetDCr XS]JX VtegDCD NMLqUSD!]`Vget[\U Vg[AetDS [q]`LQKAR7Vg>ADOp\egPSVgPsU PTNQ]mPYV5 l~Sz%;^VtP7DCK\U PsrsD1r\XVtX\ ?\PSeNQXSegRTD7]tU:XSNMD7pAetPaPYrsDCSDCNMPTpABD:K5VCLMVOD:SDCK pAetPSDr <mPSegVg>Vt>AD DmPSegVJVgP LMBpANQD:BDCKTV1X rsLZ]i VtegLQbA[sVtDCrXYpApAetPTXTUu>^5[\]`LQKARrsBL m3DCegDCKTV?B XSUu>ALQKAD]fVtP$et[AK Vt>ADJ<XSegLQPS[q] pAetPsU D]g]gDC]NWLQK Vt>ALZ]]`D:V`VgLQKAR$Vg>AD VS<mPpAetPsU D]g]gDC]rsPWKAPSVxU:PSBp3D VgD PSexU _sU NQDC] XYKqrOBD:BPSet_PSKOVt>ADm]tXYBDBXTUu>ALQKADS =?>ALQ] ]gLMRTKAL A3U:XYK5VtNM_ LQBpAetPSDC]Vt>ADO[\]gD: e ]?U PTB7PSegVC raDCSDCetXSNU:PSBpANQD M LQ]t]`[\DC]m>\X<SDJVtP7b3D1U PTK\]gLQrsDCegDr W raD:pqXYeuXVgLQKARp\XSet]gLMK\R7XSK\r&NQPSRTLQUCXYNpAetPsU DC]t]gLMKARq XYLQK5VtXSLMKALQKAR7Vg>\DOpAegPSVgPsU PTNpAegPsU:DCrs[AetDC]C r5VtXYVgDO[AprAXYVgD1XYKqr&D U:LMDCK\U _T ¡K5VgD:etet[ApsVgLQKAR7Vg>\DONMPTRSLZU:XYNDCKARSLQKADS s T oWN Vt>APS[\RS>7Vg>ADPTKANQ_ A\eu]iVfU:NQXT]g],rAXYVtXLQK7Vg>ADLQK5VgD:egXSU:D?LQ]xVtegDCD NMqL USD]`Vget[\U-Vt[AetDC]C5j V-jPsc!XSNQ]gPJpAegPaLZrsDC] <?X<_s]fVtP$LQKApA[AVmVtD MaVg[qXYN^rAXYVtXA ?\PSeVg>ALZ]:AX$p\XSet]gD:emLQ]metDCc5[ALQegDr DCSDCNMPTpALMK\R$X$p\XYeu]`DCe etPSB ]tU euXVuUu> PTeJegPTB X ]`DCp\XYeuXVtD7XSb\]`VgeuXSU-VOrsD]gU:egLQpsVgLQPSK euXYLZ]`D]kB XSLMK5VgDCK\XYKqU DpAetPSbANQD:B ]C XS]LMV1LQ]K\DCU D]g]tXYet_ VgP Uu>\DC U UVg>qXVVg>\DOLMK\rAD:p3D:K\rsDCK5VWp\XYeu]gD:Ve <PT,e Us]mNMqL USDVt>ADPSKADOLQKVg>AD$jPsc p\egPTD:e ¡K\]`VgDXSgr <mD1[\]gDCr Vt>AD!p\XSet]gD:eegPTB jPsc3=?>ALQ]k]`PTNM[AVgLQPSKLZ]B XSrsD!DCXS]gLQD:eba_Vg>AD7XSU-Vt[\XYNXYeuUu>AL VtDCU Vg[AetD$PS,Vg>AD jPsc]`_s]`VgDCB ¡K jPac33Vg>\D:etD$LZ]X&U DCK5VgeuXYNxrAXVuX&]`Vget[\U-Vt[AegD7U:XSNMNQDCr Vg>qXVLQ] [q]`Dr&XS]mX$pALMTPYVmPSeU PTBB![AKALZU:XYVgLQPSK VtP7XSK\r etPSB Vt>ADJ[\]`DCeC ?\egPTB Vg>AD[\]gD:eSVt>ALZ]rAXVuX$]`Vget[\U-Vt[AetD LZ] Vg>\DPSKAD?pAetPsrs[\U Dr7b5_1Vg>ADp\XSet]gD:e,XSK\r$U:PSK\]g[ABDCr$ba_1Vt>AD?NMPTRSLZU:XYNsDCKARSLQKADT =PJVg>AD[\]gD:eVt>ALQ],r\XVtX ]`Vget[\U Vg[AetDLQ]mVt>ADOPSKADOp\egPsrs[\U:DCrba_ Vg>ADONQPSRTLQUCXYND:K\RSLQKAD1XYK\r U PTK\]g[ABDCrb5_&Vg>ADOp\NQXSLMK jPsc pAetD VgVi_T p\egLQK5VgD:e?= P&U:PSBB![\KALQUCXVtD <L Vt> Vg>AD$[\]gD:egLQK5VgD:egXSU:DpAegPsU:DC]t]:ALMVkLZ]Vt>AD:KDCKAPS[\RS> VgP&LMBpANQD:BD:K5VkX . . . . . . . . "! # $ %'&. sYsCt=uLvw xy.
(16) \=*) = G. VtetXSK\]gNQXYVgPSe?etPSB Vg>ALZ] ]`Vget[\U Vg[AetDVgP Vt>ADOVtegDCD!]iVteg[qU-Vg[\egDO[\]gDCr LQK Vg>AD![\]`DCe`LQKTVtD:egXSU:DS=?>\LQ] VtetXSK\]gNQXYVgPSef]`VgLQNQNqetD:pAetDC]gD:K5Vu]fX!]gLMRTKALBAqU:XSKTV XSBPS[AK5V PS U PsrsDSaXYNMVg>\PS[ART><DWrADC]tU etLMb3DLQK&]`DU-VtLMPTK wA Es E Vt>AD]gPSNQ[sVtLMPTK Vg>\XYV<D rsD:aLZ]`Dr VgP B X"USD Vt>ALQ]7U PsrsD&DCXS]gLQD:eOVtP B XYLQK5VtXYLQK^Pr5VtLMNQNxVg>ALZ]!>qXS]1p\egPTDCr BPTegDpAeuXSU VgLZU:XYN3Vt>\XYK B XYLQK5VtXYLQKALQKARX rsL mD:etD:K5Vp\XSet]gD:e nk[AekrsDC]gLMRTK D:K\]g[AetDC]mVg>qXVp\XSet]gLMK\RXTU-VtLMaLMVgLQDC]XSK\r NMPTRSLZU:XYNp\egPsU D]g]gLQKAR U:XYK b3D1pqDCe`PTegBDr U:PSKs U:[AetegDCKTVtNM_T ¡K\]`VgDXSr7PY[\]gLQKARVg>ADkjPsc$]`_s]`VgD:B VgPO>qXYK\rsNQDb3PYVg> UaLQK\rA],PS3etDCc5[AD]iVu]:H <D>qX<SD?egDCSDCet]gD DCKARSLQKADCD:etDCr$Vg>ADjPac$]`PT[AeuU DC],VgPOD MaVtetXTU-V X1]gB XYNQNMDCefpAetPSRSeuXYB Vt>\XVPSKANQ_!Vu%X UTDC]fUCXYetDmPSVg>ADpqXYeu]`LQKAR\ =?>a[\]CaVg>\D1j V jPsc [\]gD:egLQK5VgD:egXSU:DkUCXYK >\XYK\rANMDp\XSet]gLMK\R$etDCc5[AD]iVu]DCSDCK&LMVt>AD$jPscpAegPsU:DC]t]LZ]?bA[\]g_ p3D:egPSetBLMK\R7XNQPSRTLQUCXYNpAetPaU:DC]t]`LQKAR7egDc5[ADC]`VC =?>ADOjPsc$]g_s]iVtD:B XYNZ]`P!pAegPaLZrsDC]fD MaVgDCK\]`LQbANQDW]g_5K5Vu=X MTLQK Vt>ADk]gD:K\]gDVt>\XVm[\]`DCet]U:XSK pAegPaLZrsDKAND < RTetXSBBXSe?eg[ANQDC]Vg>\XYVkXYetDBD:etRSDCr LQK5VgP Vt>AD1p\XSet]gD:e =?>ALZ]WUCXYp\XSbALMNQLMVi_&LZ]KAPYVJU PSBp\XYVgLQbANQlD <L Vt>Vg>AD [q]gXSRSD B7PsrsDCNPYk]`Vget[\U Vg[AetDCr DCrsLMVgLQKARqXS]7LMV egDCK\rsDCet]$p\XYeu]gLMKAR X KAPSK U PTKTVtD MaV`etD:D pAegPsU:DC]t]:@ ?APSe LQK\]`VtXSK\U DT^L X RSeuXYBB XYeJeg[\NMD rs0D A\KALMVgLQPSK PsU:U [\et]LQK Vt>AD BLQr\rsNMD PS Vt>AkD A\NQDS^Vt>AD rAXYVtXLMK Vg>\kD A\NMD [\pVtP Vg>\D1rsD A\K\L VtLMPTK ]`>APT[ANZrb3D1p\XSet]gDCr[\]gLMK\R PSKAD1U:PSK A\RT[AeuXVgLQPSKPYxVg>\DOp\XYeu]`DCeXYK\rVt>AD!rAXYVtXLQK Vt>AKD A\NQD1X VtD:eVt>AD1rsD AqKAL VtLMPTK]`>APT[ANZrb3DOp\XSet]gDCr[\]gLMKAR XSKAPYVt>AD:eU:PSK A\RT[AeuXVgLQPSK ¡K b\XSegD!jPsc3sVg>\LQ] LZ]mKAPYVXSKLZ]g]g[ADTaXT]mPSKADLZ]K\PYV]`[\pApqP5]`Dr VtP$pqXYeu]`DrAXVuX1etPSB Vg>ADb3D:RSLQKAKALQKAR7PYVg>AnD A\NQDOX VgDCe?Vg>AD RTetXSBBXSefet[ANMDJ>\XT] b3D:DCK&BD:etRSDr LMK5VtP1Vg>\Dkp\XSet]gD:e ¡K&Vg>AD1j V-jPscLQK5VgD:egXSU:DSTVg>ADJ[\]tXYRTDWBPsrsD:'N <D >qX<SDJLQ]mVt>\XV?Vg>\*D AqNMDLZ]X7rAPaU:[ABD:K5VLMgK <>ALZUu> [\]`DCet]mK\X<aLQRTXYVgDWeuXYKqrsPSBNQ_Ss]`P7Vt>\XV?Vg>\D:_ B X<_ DrsL V euXYRTBD:K5Vt]kLMK XSK5_PTetrAD: e WVg>\LQK] <mPS[ANZr etDCc5[ALQetD!Vt>\XVVg>\D7LQK5VgDCe`XTU D USD:DCp\]kVgeuXS U UPSmXYNQN Vg>AD pqXYeu]`DCe U:PSK AqRS[AeuXVtLMPTK\] [q]`Dr!LQK!Vt>A:D A\NQDXYK\r!Vg>AD?0D MsXTU-VfXYetDCXT] <>\D:etDVt>ADC]gDU PTK A\RS[\etXYVgLQPSK\] ]`>\PS[ANZr1b3D[\]gDCr =P U PTpqKD <LMVg> Vg>ALZ]LZ]g]g[ADTj <DOUu>AP5]`DO X <mDC%X UXYpApAetPTXTUu> W <DOXSUCU DCpsV]`_aK5Vt%X M&D MaVgDCK\]gLMPTK\]?bA[sVWXSNMN r\XVtXJLZ]xp\XYeu]gDCr <LMVg>7Vt>ADU [AetetD:K5VfU PSjK A\RS[AeuXVtLMPTK1PY3Vg>\Dp\XYeu]`DCeC=?>ALQ]fBX<_ONQDCXTr1VtPOLMKqU PSKq]`LZ]iVtD:K\U:LMD]: b\[sV1KAPpAetPSbANQD:B K] <LQNMN,PsUCU [Ae!XT]NMPTKARXS]DCKTVtLMetDpAetP5PSmrsDCSDCNMPTpABD:K5Vt]OXSegD rsPTKAD[\]`LQKAR Vg>\D&]gXSBD ]g_aK5Vt=X Ml ra_aK5Vt=X M0D M5VtD:K\]gLQPSK\]WBX<_ b3D$NQPTXTrsDCr PSK\U:D$XYKqr PSeXYNQN,XVWVt>AD7bqDCRSLQKAKALQKARPS,Vg>AD]gDC]t]`LQPSK^ D pAegPaLZrsFD <?X<_s]1PTe7Vg>AD [\]gD:e7VgP ]`D:V7[\p U:PSK A\RT[AeuXVgLQPSK AqNMD] ]`P Vg>\XYV7Vt>AD:LQepAetD D:etetDCr ]g_aKTVu=X M 0D MaVgD:Kq]`LQPSK\]$XYetD NQPTXSrADCr XS[sVgPTBXYVgLZU:XSNMNQ> _ <>\D:K Vt>ADpqXYeu]`DCe!]iVuXYegVt]C DXSNQ]gP B %X UTD&LMV$p3PT]t]`LQbANQD VgP etDC]`VtXSe`V7Vg>\D pqXYeu]`DCe$etPSB ]gU:etXYVtUu> LQK Vg>ADBLZrArsNQD PSJX ]gDC]t]`LQPSK^ oW]7Vt>AD[\]gD:eB X<_ Uu>\XSKARSDVg>AD U:PSK AqRS[AeuXVtLMPTgK A\NMD$bqD:SV <DCD:K rsL mD:etD:K5VJegD]iVuXYegVt]C\Vt>ALQ]JRTLMTDC]WX&pqPaPTekB XYK ]JU:XSp\XYbALQNQL Vi_ PSeJXYetLQXSbANQD ]g_aK5Vt=X M S $ C . =P$]gD:Kqr rAXVuXOetPSB Vt>ADOjPsc7pAetPsU DC]t]fPTe Vt>ADJp\XYeu]`DCe pAetPsU D]g]fVgP1Vt>AD1j V-jPscLMK5VtD:egXSU DTH <mDW[q]`DkVg>AD VtegDCDVgeuXYK\]`D:eOp\egPSVgPsU PTNxrADC]tU etLMb3DCr LQ@K 5 l~Y"z ; =?>ALQ]1pAegPSVgPsU PTNx[\]`D]1X Vg0D MaVg[\XSNfegDCpAetDC]gD:K5VtXYVgLQPSK PS VtegDCD NMqL USD]`Vget[\U-Vt[AegD]?b\XS]gDCrPSK X7pqP5]i,V AjM&VtetX<TD:eu]gXSNqPS Vt>AD1]iVteg[qU-Vg[\egD]: nkK Vt>AD&DCB7LMV`VtLMK\R ]`LZrsDTVt>AD&rAXYVtX VtPVgeuXYKq]`BLMV!LQ]!LMK Vt>AD r\XVtXYVi_apqDT =?>\LQ]$rAXVuXVi_apqD XTU-Vt[\XYNQNM_pAetPaLQrADC] XWTD:et_]gLQB7p\NMDmKAPYVtLMPTK!PSAVgetD:D0] WL Vx>\XS] TD:et_kND < PTpqDCetXYVgPSeuN] W
(17) ab<LMVg>Xk]`VgetLMK\R XSK\rXNQLQ]`VkPS VtD:etB ]WXS]WXYetRS[ABD:K5Vu ] cmPTe $ab<LMVg> X ]`VgetLQKAR&XS]WXYetRS[ABD:K5V c-APTeLQK\]iVuXYK\U:DS =?>\D !rAXYVtXYVi_5p3DWLZ] ]g[ U LQD:K5VVgP!DCK\U PsrsDJXYNQNAVt>ADJ]`Vget[\U Vg[AetDC]fVg>\XYVPsU:U:[Ae LQK jPscU PSBB XYKqrA]: b\[sVL VWrAP5D]?KAPYVDCKsPSeuU DOXSK5_PTegB PYx]`_aK5Vt%X MrsLZ]gU:LMpANQLQKADS nkK Vt>AD j V jPsc ]gLZrsDSVt>AD VtD MaV egDU D:LQSDr B![\]`V U:PSetegD]`p3PSK\r VtP Vg>\D XSb\]iVtetXTU-V&]g_aKTVu=X M XSU Vg[s XSNMNQ_ [\]gDCr LMK Vg>\D LQK5VgDCe`XTU DS =?>ALZ] XYb\]`VgeuXSU V7]g_5K5Vu=X M LZ] rsDC]tU etLMb3DCr [\]gLMKAR w5yY{ PTpqDCetXYVgPTet]7XYK\r XS] B XSK5_7]`_aK5VtXTU-VtLQUUCXVgDCRSPTegLQDC]C =?>AD]`DPTpqDCetXYVgPTet],XSK\r]`_aK5VtXTU-VgLZUU:XYVgDCRSPSetLQDC]xB %X UTDL V p3PT]t]gLMbANQD?PSe Vg>AD ! # $ % &. . . . . . . ! # $ % &. !. ! # $ %'&. ! # $ %'&. 798 s7:.
(18)
(19) "!$#%!'& (*),+- ./ +021) . Q. ]`Vget[\U Vg[AetD DCrsLMVgLQKARVgPaPSNZ]kVgP D:KAPSeuU DU PSKq]iVtetXSLMK5Vt]WVg>qXVOD:K\]g[AetD7Vg>\XYVJVt>AD[\]gD:eK<LMNQN,PSK\NM_ U:PSK\]`Vget[\U V ]g_aK5VtXSU VgLZU:XSNMNQ_ NQD:R5XYN^U PTBBXSK\rA]C ok]xXYefXT] Vg>ADU:PSBB![AK\LQUCXVgLQPSK$pAetPYVgPsU:PSNsLZ],U PSKqU D:etKADr%<mDmB$[\]`VfD:K\]g[AetDVt>\XVxVt>AD?VgD0M5VfDCBL VgVgDCr ba_ Vt>AD|jPsc pAegPsU:DC]t]$PTe7Vg>AD p\XSet]gD:epAetPsU DC]t]7U PSetetDC]gpqPTK\r VtP X|XYNQLQr VgetD:gD <LMVg> egD]`p3DCU VVgP Vg>AD U:PSK\]`VgeuXYLQK5Vt] PSK$Vg>\DegDU D:LQaLMK\RJ]gLQrADSx=?>ADU PsrsD?KADCDCrsDr$LZ],XJ[AK\U VgLQPSK7etPSBVt>A8D <D%X UaNQ_1U PSKq]iVtetXSLMKADr r\XVtXYVi_apqD VgP Vt>AD <D%X UaNQ_ U PTK\]iVtetXSLMK\DCr r\XVtXYVi_apqD B %X UaLMK\R ]g[AetDL V1etDC]gpqDU-Vu]Vg>AD U:PSK\]`VgeuXYLQK5Vt]DCKsPSeuU Dr|LQK XSKAPYVt>AD:eOpAetPSRTetXSB =?>ALZ] UaLQK\r PYpAetPSRTetXSBLQ]!>\XYeur|VgP <etLMVgDS >\XSetr|VgP rAD:bA[ARqAXYK\r >\XSetr&VgPB XYLQK5VtXSLMK^ o ]gPSNQ[sVgLQPSK ^pAetPSp3PT]gDCr XSK\r LMBpANQD:BDCKTVtDCr|baP_ DDXYNMrsD:KAD&GJPTRS[ADCK^^LZ]JVgPrsDCSD:NQPSp XSV <PSpqXS]t] XSpApAetPTXTUu>Vg>\XYVO[\]`D]BDCUu>\XSKALQUCXYNxSDCegBL AqUCXVgLQPSK LMK PSK\D$p\XT]g]XSK\r BDUu>\XYKALZU:XSN,U PsrsDRSDCKAD:euXVtLMPTK LQK Vt>AD ]`DU PSKqr p\XS]t]C =?>\DLZrsDCX|LZ]1VtP|LQK5VgetParA[\U D XYK LQK5VgDCegBDCrALQXYVg D rAXYVtXYVi_5p3DVg>\XYV7pAetPaLQrADC]!X ]`VgetPSK\RSNQ_ Vi_apqDr rADC]tU etLMpsVtLMPTK PY Vg>AD!U:PSBB XYK\r\]XSUCU D:pAVgDCr ba_ Vt>AD$jPsc&]g_s]iVtD:B =?>ALZ]WrADC]tU etLMpsVtLMPTK LZ] X NZXYetRSD]`D:V PYB![sVt[\XYNQNQ_ etDCU [\et]gLMTD&Vi_ap3DC] U:PSetegD]`p3PSKqrsLMK\R VtP Vg>AD ]g_aK5VtXSU VgLZU U:XVtD:RTPSetLMD]$[q]`Dr LQK j V-jPsc3 DCXTUu> Vi_ap3D >qX<5LQKAR U PSKq]iVteg[\U VgPTet]7U PTegetDC]gpqPTK\rsLQKAR VtP Vt>ADPSp3D:euXVtPSeu]1[\]gDCr LQK j V jPac3 =?>\DOVgeuXYK\]gNZXVgLQPSK LZ]KAPSVkU PTBpANMD:VgDCNM_ ]iVtetXSLMRT>5V`PS e <?XYeurabqDU:XY[q]`D!]gPSBD!XSb\]`VgeuXSU-VW]g_aK5Vt=X M PSp3D:euXVtPSeu] B X<_b3D:NQPSKARVgP]gD:TD:euXYNx]`_aK5VtXTU-VgLZUU:XYVgD:RTPSetLMDJ] <>ALQNQD U:PSK\]`Vget[\U VgPSeu]kBX<_ PSKANQ_bqDCNMPTKAR VgP PSKAD Vi_ap3DS DkrsDCSD:NQPSp\pqDr X1pAetPSRTetXSBVg>\XYV Vu%X USD],Vt>ADkXSb\]iVtetXTU-V]g_aK5Vt=X M rsD]gU:egLQpsVgLQPSKetPSB j V-jPscXYKqr XS[sVgPTB XVgLZU:XSNMNQ_ORSDCKAD:euXVtDC]Vg>\DLMK5VtD:etB7DrsLZXVgD Vi_ap3DXYK\r$[AK\U VgLQPSK\]fBXSpApALQKARJVgDCegB ],LQK7Vg>ALZ]xVi_apqD VtP1XYNQLQr ]`VgetLQKART]xPTe,Vg>\DkU PTBB![AKALZU:XYVgLQPSKpAetPYVtPaU:PSN=?>AD]`D[AK\U-VtLMPTK\]fLQBpANQD:BD:K5V Vt>ADW]gDCU:PSK\rp\XT]g] PSPS[AemXYpApAetPTXTUu>^=?>\DWpAetPSRTetXSB LZ] rsDCSD:NQPSp3DCr PSK\U:DWXYK\r7PTeXSNM`N WxL V?rsPaDC]fK\PYVK\D:DCr VgP1b3DW[AprAXYVgDCr <>\D:K7Vg>AD]gD VfPS3U:PSBB XYK\rA],XTU:U:D:psVtDCr7ba_7jPsc1D:TPSNQSD] etPSB SD:eu]gLMPTK1VgPOTD:eu]`LQPSK =?>A: D A\eu]`VxpqXS]t]xLQ] X7pAetPSRTetXSB Vg>\XYVB XYp\] VtD:etB]mVtPVgDCegB ]?LQKVt>ADOLQKTVtD:etBDCrsLZXYet_ Vi_ap3DSf=?>ALZ]p\XT]g]?B$[\]iV b3D <etL VgVgD:K ba_ >qXYK\r XYKqr KADCDCrA]OVgPb3D [Ap3r\XVgD$r <>AD:K Vg>\D&]`D:V1PY?U PSBB XYKqrA]OD:TPSNQSD]:bA[AV1Vg>AD Vi_apqD:Uu>AD U USDCefU PSBD]fLQKVgP!>\D:NQp rsD VtDCU-VmD:etegPTet]CYba_Uu>ADC U UaLQKARVg>\XYVfVg>\DWetD Vg[\egKADr rAXVuXOetDC]gpqDU-Vt] Vt>ADVi_apqDOrsLZ]tU LQpANMLQKADT ¡BpANQD:BD:K5VtLMKAR Vg>ALZ]XYpAp\egP5XSUu> >\XS]!bqDCD:K X etDCXYNpAetPSRSetDC]t]LQK Vg>\DrsD]`LQRSK PSJj V-jPsc3 D:SDCe` Vt>AD:NQDC]t]CxVg>AD U PsrsD PTe!Vt>AD Aqet]`V$p\XT]g]7]`VgLQNMNmegDCB XYLQK\]OVtegLZ U Ua_|VtP B XYLQK5VtXSLMK^,]gLMKqU FD <mDrAP KAPSV$>\X<TD X rsDU NZXYeuXVgLQSDrsD]gU:egLQpsVgLQPSK|PYVg>AD VgDCegB ]JVg>qXVOB X<_ PsU:U [\eJLQK X ]gDC]t]gLMPTK^ WKTVtLMN KA=P <O <D >qX<SDegDCNMLQDCr PTK etD:TD:eu]`D:DCKARSLQKADCD:etLMKAR!Vg>AD$U PsrsDOPY Vg>\D7jPsc&]g_a]`VgDCB VtP&rsLZ]gU:PSD:emVt>ALQ]WLMKAPSetBXYVgLQPSK^ DVg>\LMjK U&Vg>\XYVVg>ADjPac pAegPsU:DC]t]]`>APT[ANZr&KAPSVPSKANQ_&p\egPaLZrsDJX7PTegB XSN^rsDC]tU etLMpAVgLQPSK PYxL Vu]U PTK\U etD VtD ]g_aK5Vt=X MabA[sVJXYNZ]`PX$PSetBXSN^rsDC]tU etLQpsVgLQPSK PY L Vu]XYb\]`VgeuXSU V]`_aK5Vt%X M o rseuX <b\XS U UJPY\Vg>ALZ],XYpAp\egP5XSUu>OLZ] Vg>\XYV LMV,LQ] LQKAD U LQD:K5 V W^Vg>\D Aqet]`V pqXS]t]U:PSK\]`Vget[\U-Vu]xXVtD:etBLMK$Vg>AD LQK5VgDCegBDCrALQXSeg _ Vi_ap3DVg>qX:V <LMNQNqPTKANQ_$b3Dk[q]`DrPSK\U:D <>ADCK&rsLZ]`pANZX<_aLMK\R1L V?XS]X!]`VgetLMKARq o pqP5]g]gLQbANMD 0D MaVgD:Kq]`LQPSK PY?PS[Ae1XSpApAetPTXTUuP > <mPS[ANZr b3D VtP [q]`D ]gPSBDp\XYegVgLZXYN,DCXYNQ[\XVtLMPTK VtP5PTN,VgPBDCegRTD$Vt>ADSV <mP pqXS]t]`D]LMK5VtP X pAetPSRSeuXYB Vg>\XYVWpAetParA[\U D]Vg>\D!]gXSBD1PS[sVtpA[sV <LMVg>\PS[sVJpAegPsrs[qU LQKAR XYKa_&LQK5VgDCegBDCrALQXSeg_ r\XVtX\3PSNQNM=P <LQKARXrsD PTegD]iVuXVtLMPTKVgDUu>AKALZcT[\FD 5 XTrAS ; DDCegD7XYR5XYLQK^3Vg>AD7p\XYegVgLZXYN D:XSNM[\XYVgPTekU PT[ANZr DXS]gLMNQ_bqnD <etL VgVgD:KPSK\U:DJXSK\r PTemXSNMNa[\]gLMKARXOPTegB XSN3rsD]gU:egLQpsVtLMPTK&PY Vg>ADU:XSB7NNZXYKART[\XYRTDS5XS]PS[AKqr LQK 5 lx=I~ QN; ! # $ %'&. %'&. ! # $ %'&. ! # $ %'&.
(20) t
(21) !#"%$&" t' ()*+( " ,t - t. - " ,t/ ,t. "10 2435- ""
(22) ,t - t
(23) 6. sYsCt=uLvw xy.
(24) . \=*) =. s f s =?>\D j V jPsc [\]gD:egLQK5VgD:egXSU:D&B$[\]iV rsLZ]gpANQX<_ X U:NMDXYeaLMDN< PYkVg>AD|jPsc pAetPsU DC]t] x]`VtXYVgDT ok] X|etD ]g[ANMVC3rAXVuXB![\]`VWb3D!rs[ApANQLZU:XVtDCr b3D VS<mD:D:K Vt>AD1NQPSRTLQUCXYND:K\RSLQKAD1XYK\r Vt>AD1[\]gD:egLMK5VgDCe`XTU DT =?>ADOK\X TD ]gPSNQ[sVtLMPTKLQ]VgP >\X<TDOVg>\D1NMPTRSLZU:XSN^D:KARTLMK\D$]gD:K\rX U:PSBpANQD VtD!rsDC]tU etLQpsVgLQPSKPSxLMVt]J]`VtXVtD!X VtD:ekDCXSUu>LQKs VtD:euXSU VgLQPSK^=?>ALZ]WLQKAD U:LMDCK5Vk]`PTNM[AVgLQPSK rsPaDC]WKAPYV*AAV <LMVg> PT[AeWPTbshiDCU VgLQSD1PSf]`[Ap\pqPTe`VtLMKAR&NQXSegRTD1]gUCXYNQD p\egPaPYxrsD:TD:NQPSpABDCKTV ¡K PT[AerADC]gLMRTK^" <mDW[\]gDCr7SV <mP1PTb\]`DCegXYVgLQPSK\]CY ? LQet]`VC5L VmLQ] PY VtD:K p3PT]t]`LQbANQDVgP!PSetDC]gD:D?Vt>\XVmB7PsrsBL AA UCXVtLMPTK\] <LMNQNAPTKANM_!PaUCU [Ae LMK ]gPSBD?pANQXTU DT ?\PSe,LQK\]iVuXYK\U:DS5rs[AetLMKARRTPTXYNArALMetDCU VgDCr7pAetPaPY] Vt>AD:etD?BX<_$bqD ]gD:TD:euXYNRTPTXYNZ]?p3D:K\rsLQKARqqbA[AVWpAetP5PSxU:PSBB XYK\r\J] <LQNMNPY VgDChK <PT,e U&PSKPSK\NM_PSKAD1RTPTXSN VkLZ]pqP5]g]gLQbANMD VtP!rsD]`LQRSKVt>ADkU:PSBB![AK\LQUCXVgLQPSK b3D SV <mD:DCKVg>ADWSV <P!pAegPsU:DC]t]`D]xLMK&X <mX<_$Vg>\XYV PSK\NM_7BParAL AqUCXVtLMPTK\]fPTK Vt>ALZ]RSP5XYNXYetDOU PSBB$[AKALZU:XVtDCr b3D SV <mD:D:KVg>\DOSV <PpAetPsU D]g]gDC]C,=?>ALQ]XT]`p3DCU JV <mXT]XYNQegDXSrs_ XTrsSPsUCXVgDr LQK 5 7?=~T ; =?>AD]gDCU:PSK\r$PSbq]`DCegXVtLMPTK$LZ] Vg>qXVXU PTBpANMD:VgDaLQ0D < PSqVt>ADkjPsc1pAetPsU D]g] Y]iVuXVtDmLZ],KAPSVfKADCU:DC]t]gXSeg_ XSNMNTVg>\D VtLMBDS ?APTeLQK\]`VtXSK\U DTD MspqDCe`Vx[\]gD:eu]]gp3D:K\r$XNQPYVxPYsVgLQBDetD:p\NQX<_aLQKARNQPSKARWetXSRSBD:K5Vt]PY3]gU:egLQpsVt] <LMVg> XJNQ=P < DCegetPSe etXYVgDT¡K7Vg>\LQ]fUCXS]gDSVt>AD:_7rsPKAPYVfK\D:DCr$VtP1]`DCDVt>ADLQKTVtD:etBDCrsLZXYet_!]`VtXVtDC],rsLZ]gpANQX<_TDCr W Vt>AD:_ XSegDkPSKANQ_ LQKTVtD:etDC]`VgDr LMK ]gD:D:LQKAR!Vg>AD]iVuXVtDJXYVVt>ADD:K\r&PY 0D MaDU [sVtLMPTK&PTe <>ADCKXSK&D:etetPSe PsUCU [Aeu]: = %X UaLQKAR Vg>\DC]gD PSbq]`DCegXVtLMPTK\] LQK5VgP XTU:U:PS[AK5VC8 <mD >\X<TD rsD]`LQRSKADr X U PTBB![AKALZU:XYVgLQPSK pAetPYVtPsU PSN <>\D:etD!Vt>ADNMPTRSLZU:XYN D:K\RSLQKAD$PTKANQ_ ]`DCK\rA]X]g[ABB XYet_PY LMVt]O]`VtXYVgD$VgP Vg>\D7[q]`DCe`LMK5VtD:egXSU D$X VgDCeOD MsD U:[sVgLQKAR1DXSUu> U PTBBXSK\rx¡K etD Vg[\egK^TVg>\D[\]gD:egLQK5VgD:egXSU:DU PTB7p\[sVgD],Vg>\DWrAXVuXOLMVmXSU Vg[\XSNMNQ_!K\D:DCr\] XYKqr etDCc5[AD]iVu]fLMVetPSB Vt>ADWNQPSRTLQUCXYN3D:KARTLMK\DS,=?>ALZ] pAetPYVtPsU PSNqLMBpANQD:BDCKTVu]SV <P$B7PsrsD] PSU PTBB![AKALZU:XYVgLQPSK W ) X']B#= XYKqr ),/ "1]B#=)-&¡@ K ) ` "1]B#%)WBPsrsDSVg>AD [q]`DCe`LMK5VtD:egXSU D7etDCU DCLMTDC]kVg>\D LMKsPTegB XYVgLQPSK ]`[ABB XYet_S U:PSBpA[sVtDC]kVg>\D RSPTXSNLMV <?XYK5Vt]WVgPrsLZ]`p\NQX<_ XSK\r etDCc5[AD]iVu]JPSKANQ_ Vg>ALZ]RSP5XYN etPSB Vg>\D NMPTRSLZU:XYN D:K\RSLQKADS ¡>K ),SX]B#%BParADSaVg>\Dk[\]gD:egLMK5VgDCe`XTU D]gLMBpANQ_ XS U UaKA=P <NQDCrARSDC],Vg>\XYVVt>ADJU:[AetegDCKTVmU PSBB XYKqr >\XT] b3D:DCK 0D MsDCU [AVgDCr XSK\r]`DCK\rA]?Vt>AD1KA0D MaVkU PTB7B XSK\r fXSKD:etegPTemPsUCU [Aeu8 ] <>ALQNMD!LMK ),SX]q#=OBPsrsDSqRSetDCXVUCXYetD LZ]JVt"X USDCK VgP]`VgPTp Vg>\D70D MsDCU [AVgLQPSK^ Uu>qXYKARTD!Vt>ADB7PsrsDb\XT U U Vg$P ),/ %1]q#=)-XSK\r etDCc5[AD]iVJVg>\D egDCNMDC<XSK5V LQKsPTegB XVtLMPTK^ q 3 < rsPSBDkPS Vt>ADOU PSBB XYKqrA]?X<<XSLMNZXYb\NMDJLMKVg>\DJNQPSRTLQUCXYN3D:KARTLMK\DkB X<_ pAetPSHP USDWNQD:K\RYVg>a_ PTemNQPaPSpALQKARU PTB$ p\[sVtXYVgLQPSK\]C =?>AD1[q]`DCe`LMK5VtD:egXSU DJLZ]KAPYVJU PSBpANQD VtDOL xLMVkrsPaDC]K\PYVpAetPaLQrsKD <?X<_s]mVgP LQKTVtD:eteg[\psVVg>AD]`D U:PSBpA[sVuXVtLMPTK\]:x=?>AD[AKABL M D:KaaLQegPTKABD:K5VC5LMRK <>ALZUu> Vg>\D]g_s]iVtD:B et[AK\]C5p\egPaLZrsDC] <mX<_s]fVgP7LMK5VgDCeget[ApsV `LQK\]iVuXYK5VgNQ_ X pAetPaU:DC]t]7[\]`LQKAR X KAPSVgLQPSK PYJ]gLQRSK\XSN =?>AD [\]gD:egLQK5VgDCe`XTU D B![\]`V XYNZ]`P pAetP5LZrsD Vg>\LQ] UCXYp\XSbALQNMLMVi_Sx¡K j V-jPsc3sL VLZ]pAetPaLQrADCr ba_&X7bA[AV`VgPTKLMK X ]gpqDU BL AqUJB7DCKa[^ =?>AOD A\et]`V^LZ]g]g[A D <LMVg>OetDC]gpqDU-V^VtP?Vg>ALZ] UCXYp\XSbALMNQLMVi_WLZ]egDCNQXYVgDrWVtPB![ANMVgLMpAegPsU:DC]t]`LQKARXYK\rOrALQ]`VgetLMb\[sVgDr U:PSBpA[sVtLMK\R\ raLQK\U D Vt>AD SV <P pAetPsU D]g]gDC]7B X<_ KAPSVet[AK PSK Vg>\D ]gXSB7D B XSUu>\LMKADT LMV B X<_ bqDU PTB7D rAL U [\N VPSe7Vt>AD j V-jPsc pAetPsU DC]t]!Vg$P A\K\r Vg>AD jPsc pAetPsU DC]t]$LQrsDCK5VgBL AqU:XYVgLQPSK bqD:PSetD ]gD:K\rALMKAR LMV X ]gLQRSK\XSN D ]`PTNMTDCr Vg>ALZ]OLZ]g]g[ADba_|XSr\XYpsVtLMKAR Vt>ADVgPaPSN,DCK\U:XSp\]g[ANQXYVgLQPSK|VgPaPSNZ]OrsD]gU:egLQbqDr LMK 5 jNMI~S{ ; XSK\r U:XSNMNQDC>r _00)\0) LQK 5 h78Ex~S=w ;mo]`B XYNQN^pAetPsU D]g]UCXYNQNMDr X 7LQ]XTrArsDrb3D SV <mD:DCK Vg>AD [q]`DCe`LMK5VtD:egXSU D XSK\r|Vg>AD NQPSRTLQUCXYN,DCKARSLQKADS =?>ALZ]1pAetPsU D]g]OXTU-Vt]!XS]1Xb\egHP USD:e V!et[AK\]1PSK Vg>\D&]gXSBD B XTUu>ALMK\D?XT] Vg>ADNQPSRTLQUCXYNaD:K\RSLQKADSSU:PSBB![\KALQUCXVtDC] <LMVg>L V,Vt>AetPS[ART>$LMVt]f]`VtXSK\rAXSetr$LMK\pA[sVCTPS[sVtpA[sVTXYKqr DCegetPSeUu>\XYeuXSU VgD:e]iVtegDXYB ]:XSK\rB X<_JPsUCU:XS]gLQPSK\XSNMNQ_k]gD:K\r!XW]gLMRTK\XYN nkKOVt>ADPSVg>ADCe]gLQrADS<Vg>\D . . . . . . . . %'& %.
(25) %'& %. 798 s7:.
(26) ~.
(27) "!$#%!'& (*),+- ./ +021) . p\egPsU D]g]?U:PSBB![AK\LQUCXVgD]:<L Vt> Vg>AD1[q]`DCe`LMK5VtD:egXSU DJpAetPsU DC]t]m[\]gLMKARVS<mPbALMrsLQetDCU-VtLMPTK\XYN]gPsU USD Vu]: nkKAD ]gPs U USD:V LQ] [\]gDCr1VgPWVgeuXYK\]gBL V Vg>AD?]`VtXYKqrAXYeurOLQKApA[sV,XYK\r!PS[sVtpA[sV,Uu>\XYeuXSU VgDCe]`VgetDCXYB ]CVg>ADmPYVt>AD:ex]`PsU UTD VC LZ]1[q]`Dr VgP VtetXSK\]gB7LMV1Vt>AD]`VtXSK\rAXYeur D:etegPTe1]iVtegDXYB a etPSB VtP j V-jPscc1XSK\r Vg>\D PS[\e`Vt> rALMetDCU VgLQPSK LZ] [\]gDCr VgP$]gD:Kqr `]gLQRSK\XSN BDC]t]gXSRSDC]fegPTB j V jPsc!VtP1Vt>AD ^¡K KAPTegB XYNq[\]gDS5Vg>AD OpAetPsU DC]t]fPTKANQ_7U:PSpALQDC]fVg>ADJrAXVuXegPTB PTKADpAetPsU D]g] SPT[sVgpA[AV VgP!Vg>ADkPYVt>AD:epAegPsU:DC]t] YLQKApA[AVC >\D:K egDU DCLMaLQKAR X BD]g]tXYRTD$PTK Vt>AD ]`LQRSKqXYN,NQLMKADetPSB j V-jPsc3 LMV!rsPaDC]KAPSV!U PSpa_LMVC bA[sV!]gLMBpANQ_ ]gD:KqrA]X]`LQRSK\XSNVgP7Vg>\D$jPac pAegPsU:DC]t]: <>AP5]`DpAetPsU D]g]mLZrsD:K5VgBL A\DCeLQ8] UaKA=P <K ]gLMK\U:DOU etDCXVtLMPTK&VtLMBDT o ]`DU PSKqr LQ]t]`[\D!LZ]Vg>qX*V <mD!>qX<SDVgPB %X USD$]`[AetDOVt>AD$U:PSBB![AK\LQUCXVgLQPSKp\egPSVgPsU PTN^LQ]kKAPSVWbAet"P USDCK ba_ ]gLMRTK\XYNZ]U PTB7LQKAR XVetXSK\rsPTB VgLQB7D]: D]g]tXYRTDC]7]`DCKTVba_ jPsc VgP j V-jPsc XSNMN>\X<TDX etD:RS[\NQXSe PTegB PTNMNQ=P <LMK\R Vg>\D7DCK\U:XSp\]g[ANQXYVgLQPSK p\egPTpqP5]`DrLM@K 5 8= 7V9O~5NE ; DC]t]tXYRSD]>\X<TD$X>ADCXTrsD:e a[\]`Dr PTK Vt>AD1etDCU:D:LQ5LQKARD:Kqr VgP&rsDU LZrsDO>A=P < VgP pqXYeu]`DJVg>\D!U PTKTVtD:K5Vt ] c-3]`PTBD1U PSK5VtD:K5Vt]C\XYKqrXYK D:K\r B XS,e UTD:e kVg>AD jPsc pAetPsU D]g]7LZ]LMK5VgDCeget[ApsVtDCr bqD:SV <DCD:K Vg>AD BPSBD:K5Vuk] <>AD:K L V PT[sVgp\[sVt]7Vt>AD >ADCXTrsD:e XYKqr Vt>AD!DCK\rB XY e USDCeC\Vg>AD7etDCU DCLMaLQKAR D:Kqr pAetPYVtPaU:PSN^p\egPsU Drs[AetDC]WRSD V]iVt[\ U Uq0D MspqDU-VgLQKAR XYK DCK\rB XY e USDCe Vt>\XVKADCSD:eU PTBDC]C =?>AD ]gPSNQ[sVgLQPSK LQ]!VgP U:XSegD:[ANMNQ_ pAetPYVgDU-V$Vg>AD rAXVuX DCBL VgVgLQKAR ]gDCU VgLQPSK\p] <LMVg> X ]gLQRSK\XSNf>\XYKqrsNMLQKAR[\K\U-VtLMPTK^ <>ALQUu> <LQNQN BD:BPSetqL f:DVg>\D XSU V1Vg>qXV$X ]gLQRSK\XSON <mXT]OetDCU DCLMTDCr LQK\]iVtDCXTr PS bAet[sVtXSNMNQ_LQKTVtD:eteg[\psVgLQKARVg>AD U PTBpA[sVtXYVgLQPSK^nWU PT[Aet]gDS3Vt>ADpAegPSVgDU-VgLQPSK ]`>\PS[ANZr PTKANM_b3DpA[sVOLQK p\NQXTU D7PSe!]g>APTe`VOp3D:etLMPsrA]PSVtLMBD&XSK\r L V1LZ]OKADU DC]t]tXYet_ VgP Uu>AD U U <>AD Vt>AD:e$X ]gLQRSK\XS N <mXT]egDU D:LQSDr <>\D:K D MsL VtLMK\RVg>ADOpAetPYVtDCU VgDCr ]gDCU-VtLMPTK^ %'& %. %'& %. %'& %. "$# ". $-0 66 2 06(+5 6 * ( 6. rsLMK\U:D$PT[An e A\eu]iVD Msp3D:etLMBD:K5Vu]:i <mD$>\X<TD$rsD]`LQRSK\DCr LQK5VgDCe`XTU DC]WVg>qXVOpAetP5LZrsD$BXSKa_ <LQK\rsP=<]CDCXTUu> TX rAXYpAVgDCr|VtP rsLQ]gpANZX<_aLMKAR PTKADUaLMK\r PS?r\XVtX PTeOpqDCe`PTegBLQKARPSK\DU5LQK\r PYXSU VgLQaL Vi_T=PBX"USD ]g[AetD Vt>AD$]tU etD:DCK rsPaDC]WKAPYVb3DCU PTBD!PSDCetU:egP=<rADCr&VgPX pqPTLMK5VJVg>\XYVWVg>\D$[\]gD:e ]pAetPsrs[\U-VtLMaLMVi_rsDCU:egDXS]gDC]C LMV1LZ]1LQB7p3PSegVtXSK5VJVtP U PTKTVtegPTNxVg>AD&K5[\B!b3D:e1PSV<LQK\rsP=<]OU:egDXVgDr&o RTPaPar ]gPSNQ[sVgLQPSK VgP Vt>ALZ]OLQ]1Vg>AD U:PSBp3PT]gL VtnD <LQK\rs=P <XYNQegDXSrs_ p\egD]`DCKTVtDCrLMK 5 7?=~S ;XSK\r ]`>A=P <KLMK A\RT[AetD7}T ¡K X&NZXYetRSD$pAegPaPS rsD:TD:NQPSpABD:K5V3[q]`DCet]kB X<_egDXSUu> ]gL Vt[\XVtLMPTK\n] <>AD:etD1Vt>AD:_ rsLZ]tU PSDCeVt>ADKAD:Dr PTekX K\0D <NQD:BB X LQKVg>AD$BLQrArANMD$PY X NZXYetRSD1p\egPaPYi¡K|]`[\Uu>|]`LMVg[\XYVgLQPSK\]C\LMVLQ]kU PSB7PTe`VuXYbANQDOVgPbqD XSbANQD?VgPOPSp3D:K XK\0D < ]`D]g]gLMPTpK <LMVg>Vt>ADJjPsc1p\egPsU D]g]C% <mPS e UaLMKARpAeuXSU VgLZU:XSNMNQ_1LQKVg>AD]tXYBDU PTK5VgD MaVYVgP p\egPTDfVg>\DmBLZ]g]gLQKARkNQD:BB XJXYK\r!Vg>ADCK$etDC]g[ABLQKA*R <LMVg>$Vg>\DmLQKALMVgLZXYNapAetPaPYix=?>ADj V jPscO[\]gD:egLQK5VgD:egXSU:D p\egPaLZrsDC]JVt>ALQ]$U:XSp\XYbALQNQL Vii_ W!]gD:TD:euXYNfU PTBpqP5]`LMVgD <LQK\rs=P <]OB X<_|bqD PTpqDCK XV1Vt>AD&]tXYBDVgLQBDSxDCXTUu> PTKADW>\PT]`VgLQKAR!X1aLQe`Vt[\XYN]gDC]t]`LQPSK <LMVg> Vt>AD1jPac]g_s]iVtD:B ,=?>ALQ]mU:XSp\XYb\LMNQL Vi_7LQB7p\egPTDC],Vt>ADW[q]gXSbALMNQLMVi_7PS Vt>ADOpAetPaPYDCKa5LQetPSKABD:K5V k]`DCet]W>\X<SDOVt>AD7pqP5]g]gLMb\LMNQL Vi_VgR P <PT,e U ]`LQB![\N VuXYKADCPS[\]gNM_ <LMVg>|]gD:TD:euXYN^aLQe`Vt[\XYN ]`D]g]gLQPSK\]Cq]gD:K\rALMKAR U:PSBB XYK\r\]!euXYK\rAPSBNM_ etPSB ]gD:TD:euXYNmU PSBp3PT]gL VtRD <LQK\rs=P <]C V LZ]$LQBpqPTe`VuXYK5V7VgP B"X USD ]`[\egDVg>AD etLQRS>5V1U PSBp3PT]gL VtD <LMKqrs=P < etDCU:D:LQSDC]JVt>AD etDC]g[AN Vu]: ?\PSeOVt>ALZ]: D:TD:et_ U PSBp3PT]gL VtD <LMKqrs=P < LZ]ORSLQSDCK X [\KALQc5[AD7LZrsD:K5VgBL A\DCeC1=?>ADU PTBBXSK\rA]J]`DCK5VkVtP&Vt>AD$p\egPaPYD:KARTLMKAD7XYetD!DCK\U:XSp\]`[\NQXYVgDCPr <L Vt>|X>ADCXTrsD:e Vt>\XV XSNQ]gPRSLQSD] Vt>ALZ],LQrAD:K5VgBL A\D:efVgPVg>\DpAegPaPSqD:K\RSLQKADSx=?>ADU PTBBXSK\rA],XSegD?pAetPsU DC]t]gDCr$LMK7Vg>\DNMPTRSLZU:XYN DCKARSLQKADLQK X etD:RT[ANZXYekXS]g>ALMPTK bA[sV1etDC]g[AN Vu]OXYetD XYNZ]`P D:KqU:XYpq]`[ANZXVtDC>r <L Vt> X>\DCXSrAD:eVg>qXV1RSLQSD]JVg>AD <LQK\rs=P < LQrAD:K5VgBL A\D:ex¡K\]gLQrsDVt>ADO[\]gD:egLQK5VgDCe`XTU DWp\egPsU D]g]CaVg>\DJBD]g]tXYRTDkLZ]?Vg>\D:K egPT[sVgDr VtP7Vg>ADOetLMRT>5V U:PSBp3PT]gL VtnD <LQK\rs=P <O. sYsCt=uLvw xy.
(28) }{. \=*) =. LQRS[AetD}"W$o U PTB7p3PT]gLMVgD<LQK\rsP=<O=?>\D VgPTp XSegDX U PSK5VuXYLQK\]Vg>\D&]gU:egLQpsV L mD:etD:K5V!b\XTU UaRSetPS[AK\r\] XSegD[\]gDCr VtP rsLZ]iVtLMKART[ALZ]`> U:PSBB XYK\rA]mVt>\XVk>\X<SDOXYNQetDCXSrA_ bqDCD:KD0MaDU [sVtDCrXSK\rVg>ADgU [\egetD:K5V OU PTB$ B XSK\r,=?>ADBLQrArANMDXYetDCX$rsDC]tU etLMb3DC]Vt>ADJU:[AetegDCKTV?RSP5XYN =?>\DWVtDMaVXYb3PSDVt>ADO]`>\PSegV>APTegLqf:PTKTVuXYN3b\XYe a cLZ]WVt>ADD MspAetDC]t]`LQPSK VtPp\egPTDS3Vg>AD$Vg0D MaVJb3D:NQ=P <Vg>\D7>\PSetBL fCPSK5VtXSN bqXYpe a cLZ]kX NMLZ]iVJPYfK\XSBDCrpAetD:BLZ]`D]krADC]tU etLMbALQKA R UaKA=P <K XTU-Vu]:J=?>AD!b3PYVgVgPSB XSegDX NQLZ]iVu]fVt>AD:PTegDCB] <>ADCK Vg>ADJ[\]gD:eegDcT[\DC]`Vt]L Vx=?>\DketD:NZXVtLMTDW]`qL f:DkPYVt>ADWXYetLQPS[\]]`[AIb <LQK\rs=P <]mU:XSK bqD XTr<hi[\]`VgDr XY8V <LMNQN^ba_ Vg>\DO[\]`DCe[\]gLMKAR7Vt>ADONQXSegRTDk>\PSetBL fCPSK5VtXSN3bqXYeu]: ?.
(29)
(30) "!#! $&%'%(%. 798 s7:.
(31)
(32) "!$#%!'& (*),+- ./ +021) . "$#. ( 6 ,3* *"16 *. }T}. kn [\ersDC]gLMRTK>\D:NQp\]?pAetDC]gD:et5LQKAR]gU:egLQpsVu]megPTB D:etegPTKAD:PT[\]mB XYKALQpA[ANZXVtLMPTK\]:s[q]`LQKAR7Vg>AetD:DJDXVg[\egD]: =?>ADA\et]`VODCXYVg[AetD<?XS]VtP ]`DCp\XYeuXVtD$Vt>AD&]tU etLMpAV <LMK\rAP=< LQK5VgP ]gD:SDCetXSNfXYetDCXT]:<>\D:etDVg>AD XSegDX U:PSK5VtXSLMK\LMKAR1Vg>ADOU PTBBXSK\rA] Vg>\XYVm>qX<SDWXSNMetDCXTrs_$b3D:DCK&D0MaDU [sVtDCr&LQ]metDCXSrsPTKANM_TYT,KAPSeuU LQKAR!Vt>ALZ]mU:PSKs ]`VgeuXYLQK5VfLQ] egDCNMDCXYK5VfbqDU:XS[\]`DDrsLMVgLQKAR!U PTBBXSK\rA]fXSK\r ]gD:K\rsLQKARVt>ADC]gDWU PTBBXSK\rA]xVtPOVg>\DNMPTRSLZU:XSNsD:Ks RTLMK\DWXYetD?SV <P$rsL mD:etD:K5V]`VgDCp\] XSK\r b3DCUCXY[\]gDVg>\DD MsDCU:[sVgDr U PTBBXSK\rA]fXSK\r7Vg>\DW_SD:V`VgPSb3D D MsDCU:[sVgDr U:PSBB XYK\r\],XYetD?]`VgPTegDr!LQK7Vg>AD]tXYBD?DCrAL VtLMKAR1XSegDXA DRT[ADC]t] Vg>ALZ],LZ]g]g[AD?LZ],BDCXYK\LMKARTNMD]g] LQK ]`_s]`VgD:B ] NQqL USDOoNMV 5 ~Y%z ; TXYp3D 5 78rs~S=z ;<>AD:etDDCrsLMVgLQKAR XSK\r&p\egPaLQKAR7XSegDBD:etRSDr&LQK PSKAD1]gLMK\RSNQDXTU-VtLMaLMVi_S nkKAD U PTK5TD:K5VgLQPSKqXYON <?X<_ VtP >ADCNMp pAegPSVgDU-V$p\egDU LQPS[\]$rAXVuXLQ]!VgP|>\X<SD Vg>AD[\]`DCe`LQKTVtD:egXSU:D&]gX<TD etD:RT[ANZXYe!bqXS U Ua[Ap AqNMD]PSK rALQ,] U D >qX<SDXSNQ]gP LQBpANQD:BD:K5VgDr Vt>ALZ] U:XYpqXYbALQNMLMVi_S b5_ LMK\U:NM[qrsLMK\R XSK PTbshiDCU VLQK PS[\emrsDCSDCNMPTpABD:K5V Vt>\XV?]`D:Vt][Ap&etD:RT[ANQXSe XYNZXYetB ] XSK\r ]gD:K\rA]mX1BD]g]tXYRTDVgP7XYNQN3U:PSBpqP5]`LMVgD <LQK\rs=P <]mVtP ]gX<TDWVt>AD1U PTK5VgD:K5Vu]?PY Vg>ADCLMeW]tU etLQpsV]`[AbA` <LQK\rs=P <O,¡K Vg>\LQ]UCXS]gDSaVt>AD1]gU:egLQpsVu]XYetDJ]tX<SDr LQK VgetD:DPTegB etXYVg>ADCe?Vg>\XSKLMKetD:RT[ANZXYemVg0D M5VWPSetB 3]`P7Vt>\XVkU:PSBB XYK\r\]?Vg>\XYVkXYetDLMKqU PSBpANQD VtD <>ADCK Vt>ADOb\XT U U5[\pLZ]?pqDCe`PTegBDFr <LQNMN KAPYVpAetD:TD:K5VegDCNMP5XSrsLQKAR$Vg>AD1]tU etLMpAV?LQKXYKAPSVg>ADCe]`D]g]gLQPSK^ D$XSNQ]gP <DCK5VPSKAD!]`VgDCp [AegVg>ADCeWba_ ]gD VgVgLQKAR [Ap XBDCB7PTeg_ ]tXD Vi_Tm=?>\LQ]k]gXYD Vi_ pAegPT"P UTDC]Vg>AD VtD:etBLMK\XYVgLQPSK|PY Vt>AD[\]gD:egLQK5VgD:egXSU:D <>ADCK Vt>ADpAegPsU:DC]t]ket[AK\]]g>APSegVPY BD:BPTeg_T >ADCK Vt>ALQ]OU:PSKs rAL VtLMPTKLZ]rsD VtDCU VgDCr^\X!BDCB7PTeg_&egD]`DCegTDWLZ]megDCDCraVt>ADb\XS U Ua[Ap BDCUu>\XSKALQ]gB LZ]mVgetLMRTRSD:etDC>r aXT]g]g[ABLMK\R Vt>AD:etDLQ]?BPTegDJegPaPTB LMK BD:BPSetj_ c-AXSK\r Vt>ADOpAetPsU DC]t]gDC]mXYet*D UaLQNMNQDCrf=?>\LQ]]tXD:Vi_ BDCUu>\XSKALQ]gB <mPS e Us] ba_ Uu>ADC U UaLQKAR Vg>AD&]`VtXYVgLZ]iVtLQUC]OPYmVg>\D RTXSegb\XSRSDU PTNMNQDCU VgPSe V!XSNQ]gPpAetP5LZrsD]OgX <mXSegKALQKAR BDCUu>\XSKALZ]`B Vt>\X:V <LQNMN3VgDCNMNVt>ADJ[\]`DC:e <>AD:KB7DCBPSet_7etDC]gD:etSD] XSegDkRSPSLQKAR$NM=P <OabA[sVB$[\Uu>&]gP5PTKAD:eVg>qXYK Vt>ADBPSetD rAetXT]iVtLQUkVgDCegBLQK\XVtLMPTKp\egPsU Drs[AetDkLZ]?VtegLQRSRTD:etDCr :" =?>\DfVgetD:D:NQqL USD ]`Vget[\U-Vt[AetDC]^B XSKALMp\[ANQXYVgDr1LQK7j V-jPscXYetDfVtetXSK\]iPTegBDrLMK5VgPVgD MaVx[\]gLMKARWVg>AetD:DmrsBL m3DCegDCKTV p\egPsU Drs[AetDC]CSVtP$]tX<SDkLMFK A\NMD]:5VtP7U:PSBB![AK\LQUCXVgDWVgP$Vg>AD1jPsc7pAegPsU:DC]t]:5PSeVgPrsLZ]`pANZX<_PSK&Vg>AD]gU:egDCD:K^ oWK XTrsXYK5VtXSRSD1PS Vt>ALQ]]gL Vt[\XVtLMPTK LZ]JVg>\XYVkVt>ADKAPYVuXVtLMPTK\]J[\]`Dr PTK|]tU etD:D:K rsP KAPYVKAD:Dr VtPb3D7Vg>AD ]tXYBD XS]$Vg>AD PSK\DC]$[\]`Dr PTe]`VgPTetXSRSD&XSK\r PTe7U:PSBB![\KALQUCXVtLMPTK <L Vt> jPsc3 =?>AD PSbshiDU-VtLMTDC]7XYetD rAL mD:etD:K5VCO ?\PSe]`VgPSeuXYRTDJXSK\r U PSBB$[AKALZU:XVtLMPTFK <LMVg> jPsc3aVg>ADVtD MaVKAD:DrA]mVgPb3DO[AK\XSB!bALQRS[APT[\]mbA[sV LMV1rsPaDC]JKAPSVJB XVgVgDCne <>\D Vg>\D:eJVg>ADKAPSVtXYVgLQPSK\]k[\]gDCr XYetD$]g>APSegVJPTekb3DCXS[sVgLM[ANnkK Vg>ADPYVt>AD:e>\XSK\r Vt>AD&rAXYVtX rALQ]gpANZX<_SDCr PTK ]tU etD:DCK ]`>\PS[ANZr bqD ]`>APTe`V!XSK\r b3DCXY[AVgLM[AN VtP >ADCNMp etDCXTrAXYbALQNQL Vi_T XSK\r ]`PTBD XSBPS[AK5VPYxXYB!b\LMRT[AL Vi_&LQ]XTU:U DCpsVtXSbANQDS ¡K B XVt>AD:B XVtLQUC]: KA0D < KAPYVuXVgLQPSKq]JXSegDU [q]iVtPSB XYetLMNQ_LQKTVtegPsrs[qU DCr VgP >\XSK\rsNQD]gp3DCU BL AqU rsPTB XYLQK\]: ?\PSe?Vt>ALQ]WegDXS]gPSK^sLMVLZ]WXYNZ]gP7LQK5VgDCegD]iVtLMKAR7VtP NMD:VW[\]gD:eu]?PY j V-jPscXTrAXYpAVmVt>AD1KAPSVtXYVgLQPSK\]mVt>\XVkXSpAp3DCXYe PTK|]tU etD:DCK^!=?>AD&jD:K5VuXY[AepAetPSRTetXSB7BLQKAR DCK5aLQegPTKABD:K5VRSD:K\D:euXVgPTe 5 7j ExT ; PS$K <>ALQUu> j V-jPsc LZ]b\[ALMNMVCpAetPaLQrADC]XSK XYb\]`VgeuXSU VNQXSKARS[qXYRSDTqUCXYNQNMDrdfd ad,etD VgVi_d,egLQK5VgLQKAR D:VtX XYK\RS[\XSRS D c sVgP rADC]tU etLMb3DVg>\DkNZX<_SPT[sVfBDCUu>\XSKALQ]gB ,=?>ALQ] NQX<_TPS[sVB7DUu>\XYK\LQ]gB B "X USDC] L V?p3PT]t]`LQbANQDVgP$[\]`DJXOXYetLMD:Vi_$PS PTK5Vt]XYKqr U:PSNQPSeu]:aXS]U:PS[ANZr XYNQegDXSrs_ b3D1]gD:D:K LQRK AqRS[AetD}S =?>ADNZX<_SPT[sVJBDUu>\XYKALZ]gBU:XYK b3DU:PSK AqRS[AetDCr b5_ Vg>AD[\]gD:eLQK ]gD:TD:euXYN <mX<_s]C ? LMeu]`VC^[\]gD:eu]U:XSK Uu>qXYKARTD7U:PSNQPSeu]kXSK\r PTK5Vt]OXlV <LQNMN,[q]`LQKAR egD]g]gPS[\etU:DC]C TfXSUu> Uu>\XSetXTU-VgDCekLZ]OrsLZ]`p\NQX<_TDCr <LMVg> X U NZXS]t]: . sYsCt=uLvw xy.
(33) }<E. \=*) =. ? LQRS[AetD7jE W PSVtXYVgLQPSKPTeJNQLQKADCXSeJXSNMRTD:bAeuX U:XSNQU:[ANQ[\]: raB XSNMNQD:ekPSK5Vt]XSegD$[\]`DrPTeJ]g[Ab\]tU etLMpAVt]C=?>\LQ] 0D MAXYBpANQDSU PS[\e`VtDC]g_&PY PU1d PYVgVgLQD:e3]g>AP=<]>\P=<j V jPsc&LZ]W[q]`Dr VgPRSD:K\D:euXVgDVtDCXTUu>ALMK\R B XVgDCegLZXYN PTe:A\eu]iV_SDXYe]`Vg[\rsDCK5Vt]C XSK\r&Vg>ADOb\XT U UaRSetPS[AK\rU PTNMPTeCaPTegDCRSetPS[AK\r&U PSNQPSeAXYKqr PTKTVWXT]g]gPsU LZXVtDCr&VgPDCXTUu> U:NQXT]g]UCXYK bqDVt[AKADCr VtP7Vg>ADO[\]gD: e ]mVtXS]`VgDT =?>ADm]`DU PTK\lr <?X<_WVtPkU PTK A\RT[AegD NQX<_TPS[sV LZ] VgPkXTrArOpAetD VgVi_pAegLQK5VgLQKARet[ANQDC] VgPVt>ADrADC]tU etLMpsVtLMPTK^=?>\LQ] LZ]kpqP5]g]gLMb\NMD$bqDU:XY[q]`D jD:K5VtXS[Aekp\egPaLZrsDC]kX BDCUu>\XSKALZ]`B PYNQX<_TD:etDCr pAetD VgVi_ p\egLQK5VgD:euN] W?Vg>AD7NQX<_TPS[sVkLQ] K\PYVfU PTKTVtegPTNMNQDCr!ba_1PSKAD?]gpqDU BL AqU:XYVgLQPSpK A\NMDTYbA[sVfba_!]gD:TD:euXYHN A\NQDC]xpANZXSU:DCr$LMK XkNMLZ]iV TfXSUu>7]`p3DCU:L AqUCXVtLMPTK AqNMD U:PSK5VtXSLMK\]XU:PSNQNMDU-VgLQPSK PY?et[ANMD]: DCXSUu> B XYpAp\LMKARX VtegDCD7pqXV`VtD:etK VgPX NQX<_TPS[sVp\XYV`VgDCegK ?APSe1X RTLMTD:K$KAPsrsDLQK$Vg>ADrsLZ]`p\NQX<_TDCrOVtegDCDSLMqKAPJVtegDCDp\XYV`VtD:etK1etPSBVt>AVD A\et]`V A\NMD?B XVuUu>ADC]C<Vg>\D:K$Vg>AD?NZX<_SPS[AV BDUu>\XYKALZ]gB NQP5HP Us]O[Ap LQK Vg>AD]`DU PSKqPr AqNMDTxXSK\r ]gPPSK^ L mD:etD:K5V$NQLZ]iVu]1PY]gpqDU BL AqU:XYVgLQPS$K A\NQDC]$XYetD [q]`Dr PSekpAegLQK5VgLQKAR LQK A\NQDC]kXYK\rPSekrALQ]gpANZX<_5LQKAR PTKVg>\D$]tU etD:D:K W=?>ALZ] <?X<_Sq[\]`DCet]kU:XSK >\X<SDOp\egD:V`Vi_ b\[sVXYB$bALQRS[APT[\] KAPYVuXVgLQPSKq]xVglP <mPS e U <LMVg>PSK ]tU etD:D:K XSK\r7[ARSNQ_!bA[AVfpAegDU LZ]`DK\PYVtXYVgLQPSK\] VtP1]gX<TDmVg>ADCLMe <mPS e U PSK rsLZ[] U k]`[\XSNMNQ_SVt>AO D A\eu]`VD:NQD:BDCKTV LMK1Vg>ADm]`p3DCU:L AqUCXVtLMPTKK A\NMDNMLZ]`VLZ] XW]gB XYNQ%N A\NQDfVt>\XVxrsDC]tU etLQbqD]Vg>\D [\]gD: e ] p\egD:D:etD:K\U:DC]Cp ? LMRT[AetDC]OE XYK\r|w ]g>A=P <SV <mP D MAXYBpANQDC]PS[\]gD:egp\egD]gU:egLQbqDrKAPSVtXVtLMPTK\]C$=?>ADNZX<_SPS[AV BDUu>\XYKALZ]gB XSNQ]gP pAetPaLQrADC]kpqP5]iVu]gU:egLQpsVkPT[sVgp\[sVkVt>\XVB %X UTDC]LMVpqP5]g]gLMb\NMD$VgPpAegPsrs[qU D!LQK\]gD:egVgLQPSK\]WVgP LQK\U:NM[\rADOLMK5VgPp\XSpqDCersDC]tU etLQpsVgLQPSK\]?PS Vt>ADOB XVg>\D:B XVtLQUCXYN^rsDCSD:NQPSp\B7DCK5Vt]?p3D:egPSetB7Dr&[q]`LQKAR&j V-jPsc3 =?>AD?dfd BXTUu>ALQKAD:et_pAegPaLZrsDC] PSKANQ_Vg0D MaV`NMqL USDmNQX<_TPS[sV <L Vt>$XYK7XYb\]`VgeuXSU VgLQPSK1bqXS]gDCrOPTK!NZX<_SPS[AV b3P MsDC] VtPOpqDCe`PTegBLQK\rsDCK5VtXVtLMPTK^,=?>ADD MAXSB7p\NMD]xRSLQSD:K7LQkK A\RS[AetDC]fEJXSK\rwBX<_!B7LZ]gNMDXSr$Vg>ADetDCXTrsD:e LQK5VgP b3D:NQLMDCaLMKAR Vg>\XYV Vg>ALZ] LZ]&]g[ U LQD:K5V PSe&RSD:K\D:euXYNB XVt>AD:B XYVgLZU:XYNWKAPYVuXVgLQPSKq]: V&LQ] KAPYV=?>AD 0D MspqPTKAD:K5VgLZXVtLMPTK D MAXSB7p\NMD]WLQK A\RT[AetD$w&XSegD$PSKANQ_ pqP5]g]gLQbANMD$bqDU:XS[\]`D7PSK\D!PY Vg>AD$PSK5Vt]JX<XYLQNQXSbANQD!LQK Vt>AnD <LMK\rA=P < ]`_s]`VgD:B U:PSK5VtXSLMKq]X$Uu>\XYeuXSU VgD:e Vg>\XYVmetD:p\egD]`DCKTVu]fVt>ADJK5[\B!b3D:eEOLQK&0D Map3PSK\D:K5Vmp3PT]gLMVgLQPSK^ T Map3PSK\D:K5Vt]mPYVt>AD:emVt>\XYK|}S EsaXYK\rw$XSegDkKAPYVX<XYLQNQXSbANMDT rsLMBLQNQXSegNQ_S5Vg>\D]g[Ab\]tU etLQpsVt][\]gDCrLMFK A\RS[AetDJE XSegDJPSK\NM_ PTbsVtXSLMK\DCr ba_ [\]gLMKAR X]gBXSNMNQD:e?PTK5VC. 798 s7:.
(34) }w.
(35) "!$#%!'& (*),+- ./ +021) . LQRS[\egDOwjW PYVtXYVgLQPSK\]mPTeegDXYNKa[AB$bqDCeXYNQRSD:b\etXSLQUJU:XSNQU:[ANM[q]: LMVg> Vt>ADC]gDODCXT]`LQNM_ XSrAXSpsVtXSbANQDrALQ]gpANZX<_ BDCUu>\XSKALQ]gB ]:qj V jPsc&XYNZ]gP7p\egPaLZrsDC]mVt>ADOpqP5]g]gLQbALMNQLMVi_ VgP >qX<SD!]gD:TD:euXYN^aLQD0<]PS,Vg>AD]tXYBD!rAXYVtX&XYVWVt>AD$]tXYBDOVtLMBDSi<LMVg> X&rsLBm3DCegDCK5VkNZX<_SPS[AVW]`p3DCU:L AqUCXVtLMPTK PTe!DXSUu> aLMDN<O =?>a[\]C LMV$LZ]$pqP5]g]gLMb\NMD VtP PTpqDCK XYK XS[MsLMNQLQXSeg_ ¡VuXYbANQD PSWU PSK5VtD:K5Vt] <LMK\rAP=<OVt>\XV rALQ]gpANZX<_a]1PSKANQ_ Vt>AD&rs0D A\KALMVgLQPSK\]$XYK\r Vg>ADCPSetD:B ]`VtXYVgDCB7DCK5Vt]C b\[sV$KAPSV1Vg>\D pAetP5PSU PSBB XYKqrA]:=?>AD U:[Aeu]`PTe?UCXYKVg>ADCK bqDOBPSDr&XSegPT[AK\r&Vg>AD1]tU etLMpAV?ba_&U:NMLZ U UaLMK\R7LQK PSKAKD <LQK\rs=P < PSe?Vg>\DOPYVg>\D:e !. % :)+ % ) =?>\D1BPT]`VJ]gpqDU-VtXTU [ANZXYeDCXVt[AetDC]PSj V-jPsc egDCSPSNQSDOXSegPT[AK\r LMVt]WUCXYp\XSbALQNMLMVi_&VtP&NQD VVt>AD![q]`DCeWRS[\LQrsD p\egPaPY]7[\]gLQKAR Vg>ADBPS[q]`D LQK X TD:et_ D U LQD:K5V <?X<_S nWU:PS[Aeu]`DT PTKADU PS[\NQr U PTK\]`LZrsDCe7p\egPaLZrsLMK\R BDCK5[ql] <L Vt> XYNQN,Vg>\D jPsc U PTBBXSK\rA]C bA[AV1Vg>ALZl] <mPS[ANZr bqD&B![\Uu> NQDC]t]OD U LQD:K5VOVt>\XYK [\]g[\XSN,Vg0D M5V LQK5VgDCetXTU-VgLQPSK ¡K\]`VgDXSr- <DW>\X<SDLQBpANMDCBD:K5VgDrpAegPaPS ba_5p3PSLQK5VgLQKAR 5 7V9O=~SzsH 7?=~S= ;3XYKqr rsetXSRY¡XYK\rs rAegPT>p 5 7mD:eu-~ QNX ; =?>AKD Aqet]`V?XSU LQNQL Vi_ LQK5VgDCegpAetD Vu]?U NQLQ U UaLQKAR XSU-VtLMPTK\]?XS]X7NZXYKART[\XYRTDWVtP7p3D:egPSetB pAetPaPY]mLQK p\egDrsLQUCXVtD UCXYNZU [ANQ[\]C ?APSeLQK\]`VtXSK\U DTsNMD:V[\]U PTK\]gLQrsDCemVg>ADPTNMNQ=P <LMK\R7RTPTXS2N W ?. %
(36) . % % Vg>AD7]`DU PSKqr XYKqr Uu>APaPT]gDC]?Vt>AD!PTpsVgLQPSK `etD0<etL VtD OLMKVt>AD!p\egPaPY . . ,Vt>AD![\]gD:eJ]`LQBpANQ_ U:NMLZU Us]PTK ba_5pqPTLMK5VgLQKAR7BD:Ka[^sVt>AD:K Vg>\DORSDC]`Vg[\egDLZ]?LMK5VgDCegp\egD:VgDCr XS]XU:PSBB XYK\r&Vg>\XYVJ<LMNQN`W }S?LMK5VtegPsrs[\U:DOX U PSKq]iVuXYK5V PTKg<>ALQUu>VgP etDCXT]`PTK^ Es?LMK5VtegPsrs[\U:DOXYK >a_5p3PYVt>ADC]gLZ] wA?LMK5VtegPsrs[\U:DOX U PSKq]iVuXYK5V XYK\r X7>a_5p3PYVt>ADC]gLZ] z\?pAetParA[\U D Vt>AD RSP5XYN <>AD:etD >\XT] b3D:D:K et0D <etLMV`VgDCK XSU:U:PSeursLQKAR VgP Vg>\D NQXT]iV LMK5VtegPsrs[\U:DCr >a_apqPSVg>AD]`LZ]: . . %. . . sYsCt=uLvw xy. . . . .
(37) }Cz. \=*) =. =?>AD]`DU PSKqr XTU LQNMLMVi_ LQK5VgDCegpAetD Vu]1rseuXYRTRSLQKAR&Vt>AD BPS[q]`D XT]1X NQXSKARS[qXYRSD7VtPpqDCe`PTegB egDN<egLMVgLQKAR\ \PSeLQK\]`VtXYKqU DSsNQD V[q]U PSKq]`LZrsD:e?Vt>ADPSNQNQP=<LMKAR7RSP5XYN`W ?. . . . . %. euXYRSRTLMK\RVt>AD&BPT[\]`DetPSB VtP ><LMNQN pAetPSPHUSDXetD0<etL VtLMKARPTpqDCetXYVgLQPSK Vg>qXV$p3D:etB![AVgDC] YX Kqr NQDCXSrALMKAR7VtPVg>ADPTNMNQP=<LMK\R$D0Map\egD]g]gLMPTKW. . . . . %. ¡K Vg>ADKA0D M5VJSV <mP]gDCU-VtLMPTK\]C' <mD$]`Vg[qrs_ ]`DCp\XYeuXVtD:NQ_&Vt>ADLMBpANQD:BDCKTVuXVtLMPTK\]WPSfVg>\DC]gD!XTU LQNMLMVgLQDC]JLQK j V jPscq=?>AD LMBp3PSegVtXSKTVOLZrsDCX LQK Vg>ADA\et]`V1]`DU-VtLMPTK LZ]Vt>\XVOVt>AD pAetP5PS ba_5pqPTLMK5VgLQKAR XYNQRSPTegLMVg>AB LQ] X U PTBpALMNQD:eJetPSBRTDC]`Vg[AetD$VgP pAegPaPSU PTB7B XSK\rA]XYK\r Vg>qXVVg>ALZ]OU PTBpALMNQD:eKADCDCrA]OXSK|PTpsVgLQBLQ]tXVtLMPTK p\>\XS]gDS=?>AD$LMBp3PSegVtXYK5VWLZrsDX LMK Vt>AD$]gDCU:PSK\r]gDCU VgLQPSKLZ]Vt>\XVkVgPaPSNZ]?VgPLMK5VtD:etpAegD:VgDOBPS[q]`D1RTDC]`Vg[AetDC] UCXYK bqDO0D MaVgD:Kq]`LQbANQDS <LMVg>XYetLMPT[\]mNMDCSDCNQ]?PS XY[AVgPSB XYVgLQPSK LMK Vg>\DOD MaVgDCK\]`LQPSK pAetPsU DC]t]C $#&%. 6 *, 2 ,&** 6 *. ". . 0 0. .
(38) . . . . . &, 2 &, 2
(39) . fd egDU LZ]`DrsD]gU:egLQpsVgLQPSKq]$PSkVt>AD pAetP5PS ba_5pqPTLMK5VgLQKAR XYNQRSPTegLMVg>AB UCXYK bqD PT[AK\r LMK 5 7:9O=~Yzs 7?=~S=; D V?[\]PSKANQ_ ]`[ABB XYetLqf:DVt>ADJBXSLMK Uu>\XYeuXSU VgDCegLZ]iVtLQUC],PY Vg>ALZ]XSNMRTPSetL Vt>AB dfegPaPY ba_5p3PSLQK5VgLQKAR1LZ][q]`Dr <>\D:K Vg>ADO[q]`DCeU NQLQU Us]V<L Vt> Vg>ADOBPT[\]`DPTK X]g[AbsDMspAetDC]t]`LQPSKPY,X$RTPTXSNXSK\r XS],Us] PTeXU PSBB XYKqr VtP&b3DRSD:K\D:euXVgDr=?>AD$XSNMRTPSetL Vt>AB egDU D:LQSD]WXT]krAXYVtX Vg>AD U PTBpANMD:VgD$RSPTXSN XT]kX VgetD:D:NQLBUTD$]`Vget[\U-Vt[AetD XSK\r Vg>\D&p\XYVg> etPSB L Vu]1etPaPYV1VtP Vg>\D bAeuXYK\Uu> Vt>\XV <mXT]1]`DCNMDU-VtDCr jPTBpA[sVtXYVgLQPSK Vt>AD:K p\egPsU DCDCrA] etDCU:[Aeu]`LQSDCNM_TARSPTLMKARrs=P <K Vg>AD!VgetD:D7]iVteg[\U Vg[AetDOPTNMNQ=P <LMK\R Vg>AD$p\XVt>^komVJDCXTUu> ]iVtD:p^XYKDCNMDCBD:K5VtXSeg_ U:PSBB XYK\r LQ]RSDCKAD:euXVtDCr[\]gLMK\R!PSK\NM_7LMKAPSetBXYVgLQPSK PTK Vg>\DVgetD:DkPSp3D:euXVtPSefVt>\XVmLQ] VgeuX<SDCet]gDCrga X!NQPsU:XYN pqXV`VtD:etK!PTK!RSP5XYNa]`[\bs0D MspAegD]g]gLQPSK c XYK\r1Vg>AD?KA0D M5VxD:NQD:BDCKTVuXYet_O]iVtD:p7LMK$Vg>ADmp\XYVg>^xoNQNaVg>ADU:PSBB XYK\rA] XSegDUu>\XSLMK\DCr7VgPTRSD:Vg>ADCexVgPOPTegB XONQXSegRTDU PSBp3PT]gL VtDU PTB7B XSK\r$Vg>\XYV B X<_!b3DD MsDCU:[sVgDr7VgP!U:PSK\]`Vget[\U V K\0D < RTPTXSNQ]C ¡RK 5 7:9O=~Yz\ 7?=~S= ;= <mDm]g>A=P < Vt>\XV Vg>AD?XYNQRSPTegLMVg>\B PTepAetPaPY ba_Tp3PSLQKTVtLMK\RWU:XSK1bqDmLQB7p\NMDCB7DCK5VgDCr LQK XYetLMPT[\K] <?X<_a]C nkKAD PY?Vg>\D LMBp3PSegVtXSKTV7Uu>APSLZU D]LQ] <>AD Vt>AD:e!Vg>AD&XTU-Vt[\XYNfNQPSRTLQUCXYNfp\egPsU D]g]gLQKAR LQ] p3D:egPSetBDCrLQKVt>AD$NQPSRTLQUCXYND:KARTLMKAD$PSekVg>AD7[\]gD:egLQK5VgDCe`XTU DSWfVg>AD7pAetPsU DC]t]gLMKAR&LQ]kpqDCe`PTegBDrLMK Vg>AD NQPSRTLQUCXYND:KARTLMKADT3Vg>ADCKVg>ADU PTBBXSK\r Vt>\XVLQ]J]gD:K5VWVtP Vg>\D!Vt>AD:PTegDCB*p\egPTD:ePTKANM_ KADCDCrA]WVgPegDU DCLMTD XT] XYetRS[ABDCKTV X rsDC]tU etLQpsVgLQPSK PYkVg>ADp\XYVg>^]gLMKqU D Vg>\XYV pAetPaU:DC]t]XYNQegDXSrs_ >APTNQr\] X rADC]tU etLMpsVtLMPTK PS Vt>AD&RTPTXSN =?>\D ]tXYBD&U:PSBB XYK\r ]g>APT[ANQr bqDegDU PSeursDr LMK Vt>AD ]gU:egLQpsVC o rseuX <b\XT U U LZ]1Vt>\XV7Vg>AD RTPTXSNrAP5D]?KAPYVXSpApqDXYe?LQKVt>ADO]gU:egLQpsVXYKqr&LMVLQ]mVt>AD:KrsL U [ANMVVgP[AKqrsD:eu]iVuXYK\r&Vg>\DOPSp3D:euXVgLQPSKq] Vt>\XV >qX<SDb3D:DCK pqDCe`PTegBDr PSKANQ_ba_7NQPa"P UaLQKAR!XVVg>ADU PTBBXSK\rx=?>ALZ] B XVgVgDCet]mX1NQPYVV <>AD:K&U:PSK\]gLZrsD:etLMK\R [q]`DCe`egLQD:KqrsNMLQKAD]g]?XYKqr]tU etLMpAVBXSLMK5VtD:K\XSK\U DLZ]g]g[ADC]C ¡K7j V jPscq= <mDf>\X<TD rsDU LZrsDCrVtPWLQBpANMDCBD:K5VVt>ADXSNMRTPSetL Vt>ABLMK\]gLZrsDfVt>AD [\]gD:egLMK5VgDCe`XTU DfXSK\rOB %X UTD LMV[\]`D7pANZXYLQK jPscU PTBBXSK\rA]C1=?>AD7pAegPaPS ba_5p3PSLQK5VgLQKAR&XSNMRTPSetL Vt>AB RSD:K\D:euXVgD]kXNZXYetRSD!U:PSBpqP5]`LMVgD U:PSBB XYK\r Vg>\XYVOLQ]]gD:K5VkVtP Vg>AD ]tU etLMpsKV <LQK\rs=P <O1¡K|Vg>ALZ]JegD]`p3DCU VCVt>ADpAetP5PS ba_5pqPTLMK5VgLQKAR XTU LQNMLMVi_ XTU-Vt[\XYNQNM$_ <mPS e Ua]!XS]1LMVt>AD]`VtXYVgFD <LQK\rs=P <O <>ADCegD Vg>AD RSP5XYNfLZ]$rALQ]gpANZX<_SDCr^ <?XS]!]`LQBpANM_ [\]gDCr XS]!X g]`Vget[\U-Vt[AegDr mBDCK5k [ <>ADCegD?Vt>AD[\]gD:e UCXYK U NQLZ U U1VgP1Uu>\P5P5]`DXOU:PSBB XYK\r!Vg>\XYV <LQNMNAb3DLQK\]gD:egVgDCr7LQKVg>AD p\egPaPY <LQK\rs=P <OWdfegPaPY ba_5p3PSLQK5VgLQKARVg>ADCK b3DCU PTBDC]JXYKDCrAL VtLMKAR U PTB7B XSK\r NMqL USD$XYKa_PSVg>ADCeCk=?>5[q]: p\egPaPY ba_5p3PSLQK5VgLQKAR RSDCKAD:euXVtDCr U:PSBB XYK\r\]kUCXYK b3DDCrsLMVgDr ba_ Vg>\D7[q]`DCekb3D PTegD7bqDCLMK\R ]gD:K5VJVgPVg>AD 798 s7:.
(40) }<y.
(41) "!$#%!'& (*),+- ./ +021) . NQPSRTLQUCXYNaD:K\RSLQKADS XYKa[\XSNsDCrsLMVgLQKARLQ],XTU-Vt[\XYNQNM_!PY VgDCK$etDCc5[ALQetDCrb3DCUCXY[\]gD?RSD:K\D:euXVgDr!U:PSBB XYK\rA]xPS VgDCK U:PSK5VtXSLMK>APSNQDC]Vt>\XVKADCDCr&VgPbqnD A\NQNQDCr LMK b3D PSetDkVg>AD1U:PSBB XYK\r&LQ]]gD:K5VC,ok]X$etDC]g[ANMVCAXYVmNQDCXT]iV?SV <mP BPT[\]`DOU:NMLZ U Us]XYetDJK\D:DCrADCrPSeDCSD:et_ pAetPaPY ba_Tp3PSLQKTVtLMK\R7XTU-VgLQPSK W PTKADVgP RTD:KADCetXYVgDr Vg>\D1U PSBB XYKqr XSK\r Vg>\D&PYVt>AD:e!VgP ]gD:Kqr Vg>ALZ]$U:PSBB XYK\r VtPVg>\D&NQPSRSLZU:XSNfD:K\RSLQKADS =P X<SPTLQr|Vt>ALQ]7XYK\KAP_aLMKAR0D MaVgeuX U:NMLZ U U% <mDmXSNQ]gPkp\egPaLZrsD Vt>ADp3PT]t]`LQbALQNMLMVi_OVgPO]gD Vf*X oqXYRkVg>qXVfD MspAetDC]t]gDC] Vg>\XYV U PSBB XYKqrA] RSD:K\D:euXVgDr1ba_ p\egPaPY ba_5p3PSLQK5VgLQKAR U:XYKb3D$]gD:K5VWetLQRS>5VkX <?X<_ VgP Vt>AD!NQPSRTLQUCXYN^DCKARSLQKAD <>\D:K Vg>\D:_U PTKTVuXYLQK KAP&>APTNMD]: =?>\LQ]mU:XSp\XYbALQNQL Vi_7LQ]pAetPaLQrsDrba_$Vt>ADWNQLMV`VgNQDUu>ADC U Ub3P M$Vt>\XVXYpAp3DCXSet]fbqD:SV <DCD:K go[sVtP kXSK\r P$L &V u [\K\Uu>ADC U UTDCr&LMK A\RT[AegD]}S\E7XYKqrUu>AD U USDr&LQK A\RS[AetDwA fVt>AD!p\egPaPY ba_5p3PSLQK5VgLQKAR RSDCKAD:euXVtDCrU:PSBB XYK\rA]kXYetDOVgPbqD7etDCU PTetrADCr LQKVg>AD]tU etLMpsVqLMVLQ]kLMB7 p3PSegVtXSK5V VgP$B %X USDWVg>ADCB XS]egDXSrAXSbANQDWXS]pqP5]g]gLQbANMDT ?\PSeVg>ALZ]megDXS]gPSK^TL V?>\XT]XSNQ]gP!b3D:DCK KADCU:DC]t]gXSeg_$VgP rAD:aLQ]gDX VuXSU-VtLQU7]gLMBpANQL AqD:ke 5 7mDCetI~ Q<-b ;7=?>AD7pAegPaPS ba_5p3PSLQK5VgLQKAR&XSNMRTPSetL Vt>AB]`>\PS[ANZr b3D$[\K\rsD:eu]`VgPaPsr XT]fXOU PTBpALMNQD:efVg>\XYVfVgeuXYK\]`PSetB ],]`_aB$bqPTNMLZUrsDC]tU etLQpsVgLQPSK\]fPYVg>ADW[\]`DCe ],BPSDCBD:K5Vt]xLQK5VgP!U:PSBB XYK\rA] LQKXYKAPSVg>ADCe ipAetPSRTetXSBB7LQKAR WNQXSKARS[\XSRSDT¡K Vg>\LQ]UCXS]gDSaVg>\DVtXSU VgLZUO]`LQBpANQL A\DCeLQ]Vg>ADPSpAVgLQB7qL f:DCeC =?>ADOPT[sVgp\[sV?egPTB Vg>AKD Aqet]`VpA>\XS]gDJPY Vt>ADOpAetPaPY b5_5pqPTLMK5VtLMKAR7XYNQRSPTegLMVg>AB sXS]?LMVLZ]rsDC]tU etLMb3DCrLQK 5 7:9O=~YzsI 7?=~S ;LQ]mX!U:PSBp3PT]gL VtDVtXTU-VgLZUVt>\XVPSNQNM=P <] SDCeg_]iVtegLZU-VtNM_7Vt>ADWp\XYVg> etPSB Vt>ADWetPaPYVPSVg>AD RTPTXSN rs=P <K VgPVg>ADD MspAetDC]t]gLMPTK ]`DCNMDU-VgDr ba_ Vg>\D7[q]`DCeCl TfXTUu>|]`VgD:p LZ]JU:PSK\]`Vget[\U VgDCr LMK\rAD:p3D:K\rsDCK5VgNQ_S <LMVg> TD:et_ NQL VgVgNQD LQKsPSetB XVgLQPSK XSbqPT[sV1Vg>\D&]`[\egetPS[AKqrsLMK\R ]`VgDCp\]C =?>AD1hiPSb PYmVg>\D VtXTU-VgLZU ]gLMBpANQBL A\D:e LZ]VgP NMPaHP U XVU PSBB XYKqr ]g[Ab\]gDCc5[AD:KqU DC] XYKqr etDCU PTRSKAqL f:D|PSpAp3PSegVg[\KAL VtLMD]PSeU PTB7pqXSU-VtLMPTK^WPS VgDCK etD:p\NQXTU LQKAR ]`DcT[\D:K\U:DC]?PYxD:NQD:BDCKTVuXYet_&]`VgD:pq]ba_ PSK\D1]iVtD:p Vg>qXVp3D:egPSetB]WXYpApAetP MsLMB XYVgD:NQ_Vg>\D!]gXSBD PTpqDCetXYVgLQPSK^ =?>ADmXSU V Vt>\XVxVt>AD]`LQBpANMBL A\Dr1VuXSU-VtLQUC],XYetDPTKANQ_!XYK7XYpApAetP MsLMB XYVgLQPSK1PS\Vg>\DmPTegLQRSLQK\XSN5PTKADC] LZ] XTU:U:D:psVuXYbANQDXS],NQPSK\R1XS]xVt>ADWB XYLQKLMK5VtD:K5V PYVt>ADWpAetPaPY ba_Tp3PSLQKTVtLMK\RJRTDC]`Vg[AetD?LQ]XYqN <mX<_s]xetDC]gpqDU-VtDCr =?>ADXYNQRSPTegLMVg>\C B <mPS e Us]Wba_]gD:SDCetXSN VtetX<TD:eu]gXSNQ]PYfVt>AD7U:PSBp3PT]gL VtD!VuXSU-VtLQU!etPSB VgPTp VtPb3PYVgVgPSB DXSUu>VgeuX<SDCet]tXYN3Uu>ADC U UaLQKAkR <>AD Vt>AD:e]gPSBDOU PTNMNQDCU VgLQPSK PYet0D <etLMVgLQKAReg[ANQDC]XSpApANQ_S ?\PSe,LQK\]iVuXYK\U:DSYPTKADPYqVg>A: D Aqet]`V,p\XS]t]`D],XYpAp\NMLQDC],XJet[ANMDmPTefU PSBp\XTU-VtLMKARLQK5VgetParA[\U-VtLMPTK7U:PSBB XYK\rA] a U PTB7B XSK\rA]kVg>\XYVOB"X USD7L VOp3PT]t]`LQbANQD!VtPRTP&etPSBXRSP5XY N VgPX&RTPTXSN C<LMVg>|Vg>ADetLMRT>TVJVgP [q]`D *c . "&. . ! %.
(42) . &. . !. E "&. . ! %.
(43)
(44) E . %. >ADCKrsDC]gLMRTKALQKAR7Vg>ALZ]]gLMBpANQL AqD:eLMVbqDU PSBD]XYpApqXYetD:K5VVt>\XVWXUCXYetD [ANQNM_rsDC]gLMRTKADCr&VtXTU-VtLQUNZXYKs TR [\XYRTDBX"USD]O[\]gD:egLQK5VgD:egXSU:D U PSKq]iVteg[\U VgLQPSK DCXT]`LQD:e =?>AD BPSetD [AKALMPSetB Vt>AD VuXSU-VtLQU NQXSKARS[\XSRSDLZ]: Vt>ADDCXT]`LQD:eJL VOLZ]kVgP pAetP5LZrsD7XY[sVtPSB XVtLQU!VgPaPSNZ]kVgP B XYKALQpA[ANZXVtD7U:PSBpqP5]`LMVgD$VtXTU-VtLQUC]:$¡K Vt>AD7UCXS]gD$PS jPsc3'<D$>\X<SD1]g>AP=<KVt>\XVJBXSKa_&VuXSU-VtLQUC]W>qXYK\rsNQD!p\egDCB7LZ]t]`D]PYfLQBpANQLQUCXVgLQPSKq]LQK|X [AK\L PTegB <?X<_'W Vt>ADC]gDJVtXTU-VgLZU:]WXYetDJUCXYNQNMDr #H&#"+0` _+mLMK 5 7DCetI~ Q<-b ; =?>AD|pAetP5PS ba_5pqPTLMK5VgLQKAR XSU:LMNQLMVi_ >ADCNMpq] B %X UaLQKAR pAetPaPY1]gU:egLQpsVu] Vg>qXVXSegDBPSetD DXS]gLMNQ_ B XYLQKs VuXYLQKADCr^= _apALZU:XSNMNQ_S?Vt>AD RTD:KADCetXYVgDCr U:PSBB XYK\rA]rsDC]tU etLQbqD BPTegD0D MsXTU-VtNM_ Vg>AD|pAetP5PS1]iVtD:p\] Vg>\XSK Vt>AD$U:PSBB XYK\r\][\]g[\XYNQNQ_ <etLMV`VgDCK ba_>qXYK\rLQK Vt>AD$]tXYBD!]gLMVg[\XYVgLQPSK^OnkKAD!]gD:K\]gL VtLMTD!LZ]g]g[AD1etD:TPSNQSD] XSegPT[AK\rK\XYBDr >5_ap3PYVt>ADC]gDC]Cok]PSp\pqP5]`Dr&VtP Vg>\D1pAetP5PS ba_5pqPTLMK5VgLQKARXYNQRSPTegLMVg>AB Vg>\XYVWPSK\NM_LMK5VgetPY rA[\U D]>a_5p3PYVt>ADC]gDC] <L Vt>D MspANQLQU:L VkK\XYBDC]CAVt>AD!U:PSBB XYK\rAJ] <egLMV`VtD:Kba_>qXYK\r [\]g[\XSNMNQ_&NQDCX<TDJKqXYBDC] [\K\]`p3DCU:L AqDCr r5VgLQNQN YNZXVtD:e,U PTBBXSK\rA] <LQNMNa[\]gD?K\XYBDC]VtPketD DCe VtPJ>a_ap3PYVg>\DC]gDC]C qK\Pk0D Map\NMLZU LMV KqXYBDC] <mD:etDRTLMTD:K XVmLMK5VtegPsrs[\U VgLQPSK VtLMBDTaUu>qXYKARTDC]fB X<_7PsU:U [\e <LMVg>APT[sV V <?XYetKALQKAR\ =?>ALZ] LZ]X1VgetLQ U Ua_7LQ]t]g[ADS b3DCUCXY[\]gDK\XYBDOUu>\XSKARSD]NQDCXTrVgPD:etegPTet] Vg>qXVWXYetDOrsD VtDCU VgDCr NQPSKAR XY VgD:e?Vt>AD1rsDCDCrLQ]rAPSKADT sYsCt=uLvw xy.
(45) } G. \=*) =. $#. . 0(. (+2 10 . 6 0 , 6. . =?>\DpAetPaPY ba_Tp3PSLQKTVtLMK\RWXYNQRSPTegLMVg>AB PTKANM_JVu%X USD]UCXYetD PS\pAetDCrsLZU:XYVgDUCXYNZU [ANQ[\]Co NQPYVxPYAB XVt>AD:B XVtLQUCXYN etDCXT]`PTKAKALQKAR?LQ] BPSetDfXYNQRSD:b\etXSLQU LQKOK\XVt[AegDHW[\]gLMKARWRSD:K\D:euXYNDCc5[\XYVgLQPSK\]^VgPetD:pANZXSU:D,DMspAetDC]t]`LQPSKba_WDc5[\XYN PTKADC]C+ k]`DCet]Uu>\XYKARTDxVg>AD]`>\XSpqD PYsVg>\D,PSetB![ANZXmVgPkpAetPSDx[AK5VgLQN5XW]`LQBpANMDfPSetB LZ]^etDCU:PSRSK\BL fCDCr dfegPaPY ba_5pqPTLMK5VgLQKAR LZ]XYNQBPT]`V[\]gD:NQDC]t]?PSeVt>ALZ]pAetPsU DC]t]C D1PSb\]gD:etSDr Vt>\XVkBXSKa_ XSNMRTD:bAeuXYLZUWPTpqDCetXYVgLQPSK\] XTU-Vt[\XYNQNM_|XYetD7[q]`Dr VgP U PTB!bALQKAD rAXYVtX PSeOBPTDr\XVtXXSegPT[AK\rR ?AetPSB Vt>ALQ]!PSb\]gD:etXVtLMPTK ]`VgDCB7BDr bqXS]gLQUK\PYVgLQPSKq],PSemXYK LQK5VgD:etpAetD VuXVgLQPSKPS rsetXSRY¡XYK\rsrsetPSp$BPSD:BDCKTVu],Vt>\XV?U:XYK b3DWLQBpANQD:BD:K5VgDr LQK X$XSLMetNM_]`LQBpANMlD <?X<_S DOKA=P < 0D Map\NQXSLMKVg>ALZ]LQK5VgD:etpAetD VuXVgLQPSK AC W
(46) s >\D:K Vg>AD ]tXYBD ]`_aB!b3PSNZ]7PsU:U [\e7PTK b3PYVt> ]gLZrsDC]PSJXYK DCc5[\XYVgLQPSK^fVg>ALZ]DCc5[\XYVgLQPSK U:XYK PY VtD:K bqD RTLMTD:K XSK PSp3D:euXVgLQPSKqXYN\LQK5Vg[ALMVgLQSDkBDCXYK\LMKARq5]`VtXYVgLQKAROVt>\XV?]`PTB7DJ]`_aB$bqPTN\BPSD] XYetPS[\K\rPSe Vg>\XYV SV <mP ]g_aB!b3PSNZ]xU PSB$bALQKADmVgPpAetParA[\U DXJKA0D < egD]`[\N V D V,[\],DCK5[\B7DCetXYVgD?XU PSNQNQDCU-VtLMPTK!PS3p3PT]t]`LQbANQD?DCc5[\XVtLMPTK PTegB ]C tx=?>\DC]gDJDc5[\XVtLMPTK\]mpqDCegB$[sVgDJSV <mP$0D Map\egD]g]gLMPTK\]C }S PTe Es PTe =?>AD]`D!DCc5[\XVtLMPTK\]etDCXSegeuXYK\RSD Vg>ADOetD:NZXVtLMTDpqP5]`LMVgLQPSK PYSV <PPSp3D:euXVtPSeu]: wA
(47) =?>ALZ]?DCc5[\XVtLMPTK U:PSB$bALMK\DC]mSV <mP7PTpqDCetXYVgPTet]C z\
(48)
Documents relatifs
Nous avons besoin de « prendre un peu de recul » et de restructurer notre programme afin de garantir toujours sa maintenabilité et son extensibilité, dans le cadre d’une
Allowed. The ASSIGN image, if given, overrides any DCB options. Parameters from the FPT, in turn, override these. Invalid entry in variable parameter list. Inval id
A powerful text-editing subsystem, called EDIT, enables terminal users to create and modify a source text fi Ie that can then be used for assembly or
Also included in section IV are the listing and flow chart for the dual-purpose loader used for the Float test, and the T -charts depicting the register contents
After the device program has started this line, it removes the subroutine address from its program status table, and control returns to the monitor.. After a
SDS FORTRAN IV-H permits variables in labeled COMMON to be initialized in a special program called c BLOCK DATA subprogram, which begins with a statement of the
X FORTRAN IV REAL entity.. The reentrant version also uses register 4 and six words in the stack whose stack pointer doubleword location is in register O.. The
These statements are used to control the repetitive execution of a group of statements. The number of repetitions depends on the value of a variable. el' e2' and
