• No results found

Deductive synthesis of recursive plans in linear logic

N/A
N/A
Protected

Academic year: 2019

Share "Deductive synthesis of recursive plans in linear logic"

Copied!
14
0
0

Loading.... (view fulltext now)

Full text

(1)

*+,'- *+.,

/1032)46562)798;:32=<3<3>;2)?@?BADC?FEG7/IHJEGKL?L?MA6EN7POQNR6?LKFEG7STKLUV5WEG:VO6<YXZ7

[]\_^G\a`b\_c)dec)fhgMdZfLc)ikj(l,mk\_nV`Vo1pdZ\a^=qrik`b\smBt(c)fvuvwZ\_dGx1yNikz={Po

|=}-~

c=yNmk{e€ik\awZz)q=oDuvwZ\_dGx1yNikz={Po1u‚„ƒ…ƒV†‡oNp„ˆ‰Šˆ

‹Il,Œ61Ž=ƒ"Nƒ‡‘=’ } ‘=’Gƒ"‘

“)”–•b—,˜š™š”›”œG™š=–žbŸ •b”3¡IŸš¢=›Wžb£,¤Nš¢)Ÿ,¥v•B˜N¢›—"¦NŸ=˜›§N”=¨)¥N©,ª›™›§‚•BŸš— •«¤=¬

­(®h¯V°V±²I³)°=´-µ \adZq"l,i¶_c=z)\_n·{1l)`(¸Zikqr^N\_c)y1`b¶st¹xDqrqVd¹`b{Zcº»d9mkcxDqe`by1\smYl,x1¶_qJfFc)i

wNqV`bnrik\_x1\_d1z‡l,dIwŠwNq"wZyZnrmk\_^›qV¶st…`bc)¶_^N\_dZz‡¸Z¶al)d1dZ\_d1zT¸Zikc)x1¶_qVj-`‚\_dG^›c=¶_^G\_d1zTnVc)d)¼½yZd1nr¾

mk\_c=dl,dIw¿wN\a`F¼By1dZnrmk\_c=dWˆWÀq(\_dšmbikcGwZy1nrq(likqVnVyZik`b\_^›qr¶_twZqrÁ1d1q"ww1l,mYlmBtN¸Dq(l)d1w

lJnVc,ibikqV`b¸Dc=d1wZ\_d1z·\_dIwZyZnrmk\_c=dikyZ¶aq)o mk{1qrikqrxGtl)¶_¶_c"º»\adZz·ikqrnVyZik`b\_^›q¸1¶al)dZ`„mkcxDq

`½tNdšmk{1qV`b\_`bq"w6ˆ‚gBdc)iYwNqri…mkc·j(l)Â=qq3ŒZ¸Z¶_\anr\_m…mk{1q(ikqV¶al,mk\_c=dZ`b{1\_¸¹xDqrmMºqVqrdøNikcšc)fL`

l,dIwĸZ¶al)d1`VoPºq-qrd1{Il,d1nVq„mk{1qŠ¶_\_d1q"li‡¶ac)z=\_n(wZqVwZy1n3mk\ac)dÄikyZ¶aqr`mkc{Il,dIwZ¶_qŠ¸Z¶al)d1`

l,`l„fLc)ikjÅc,fh¸Zikcšc,fhmkqrikjeˆ

Æ Ç1ÈÊÉDË6ÌT̈́·ϖÉ6ÐkÌÊÈ

Ñ 2EN:32-KL71032):32=<k0r2)OKL703562ENRD03XZHJEš032=O¿<YÒI71035P2)<3KL<TXNÓ!:32=UR6:V<YKLÔN2Š46?FEG7W<,ÕWÖb7¿HeEN7IÒ·46?FEG7D×

76K@7PØODXNHJEGKL7P<)A‚K@0KL<(4WX1<3<3K@ÙP?@2e0rXUXN7W<k0r:3RPU0(46?FEG7P<(EG0EHeXN:r2JØN2,7P2,:VEG?!?L2,ÔN2)?!035WEG7ÚKL<

76XN:rHJEG?L?@ÒODXN762ZAW2ZÕØWÕPÙIÒÙ6R6KL?LODKL76ØÄ46?LEN7P<T0r5PEš0…U,EG7<3XN?LÔN2EJ>T56XN?L2U,?LEZ<3<TXNÓ»46:rXNÙ6?L2,HJ<)A

:rEG03562):Ê0r5PEG7<YXZ?@ÔIKL76Ø<34–2)UK@ÛWU…ØN:rXNRP7POJKL7P<k0VEG7PU,2)<XGӀ46:3XZÙ6?L2,HJ<,ÕDÜ;ÒI46KLU)EG?L?@ÒZADE:r2)U,R6:r<3KLÔN2

46?LEN7KF<‡<356XN:30)AWÙ6RD0…U)EG7Ã<3XN?LÔN2-4P:3XZÙ6?@2)HÝKL7P<Y0rEN7PU2=<XGÓÊEN:3ÙPKa0r:rEN:3Ò<YKLÞ,2Šßà2NÕØPՖUXZ7P<YKFOD2):

E4P?LEN7Ä0rXeK@7IÔN2):Y0E03Xš>2,:]XNÓá=âNâNâÙ6?LXDUVãI<)Õ

Öb7e03562…OD2)ODRWU"03KLÔN2‡46?LEN7676KL76ØEN4646:rXZENUV5vAš46?LEN7P<ÊEN:32]ÓäXZ:3He2=OeÙ1ÒeUXZ7P<Y03:rRPU"0rK@76Ø46:3XIXNÓ«<

K@7å<3XNHe2EG4P46:3XZ46:rKLEG032e?@XZØNKFUGÕvÜ]5P2)<32eÓäXN:rHeEN?ÊEG4P46:3X1ENUV562=<…03X¿46?FEG7P76K@7PØPA€<3RPUV5æEN<<YK@03RD×

Eš03KLXN7JU)EG?FUR6?LRP<!EG7WOHeXDO6EN?6?@XZØNKFUGAGÙP:3KL76؊>TKa0r5e03562)H&EŠ46:rXNÙP?@2)HçXGÓ :r2,46:r2)<32,7103KL76؄Óä:rENHe2

UXN7WODKa0rK@XZ7P<)ՖÖb7ÚUXZ7103:VEN<Y0)A–46:rEZU"0rKLU)EG?46?FEG7676KL76ØÄ032=UV5676KFèZRP2)<-EG:r2RW<YRPEN?@?LÒ¿ÙPEZ<Y2=OXN79035P2

/DÜTSTÖké;/Ä:r2,46:r2)<32,710VEš03KLXN79êëšìBA6>T5PKLUV5KL<5PEG:VO0rXe2íI032)7POK@7¿EeOD2)U,?LEN:rEG03KLÔN2…>E›ÒZÕ

î„762EN4646:rXZEZUV503X¿OD2)O6RPU"0rK@ÔZ246?FEG7P76K@7PØKF<„03XHJEGãN2RP<32XNÓ]ï…KL:rEN:rO‚ð<„?@KL762=EG:Š?@XZØNKFU

êñ›ìBÕ1Ü]56KL<;KF<ÊEG4P4W2=EG?LK@76Ø(ÓäXN:Ê4P?LEN7676KL76Ø(ٖ2)U,ENRP<32Ka0KL<ÊK@7P562,:r2,7103?LÒ:32=<YXZR6:rU,2×b<Y2)7P<3Ka0rK@ÔZ2NÕ Ñ 2

U,EG7JRW<Y2‡EŠ?LXNØZKLU)EG?64P?LEN7676KL76Ø-Óä:VEGHe2,>XN:rã(>T56KL?@2‡:32,0rEGKL76KL76Ø(E/DÜTSÖké;/1×½?@KLãN2EN4646:rXZEZUV50rX

OD2)EN?@KL76Øe>TKa0r503562ŠÓä:VEGHe2Š46:rXNÙ6?L2,HÕ

Ü]562RP<32XGÓ-?LK@7P2)EG:Ä?@XZØNKFU¿KL7ò46?LEN7676KL76Øå>]EN<ÛP:r<Y0·2,íI4P?@XZ:32=OóÙIÒõôEN<r<32,:rXN7õ20ÄEN?MÕ

êaá›ë›ìvEG7WO9ê@á,öNìvEG7POÄ5PEN<TEN?L<3XÙW2)2,7¿UXZ7P<YKFOD2):32=OÙIÒ·Q1ENUXZ46KL7¹ê@á=÷šìhEN7POï…:3X1<3<32„2,0‡EG?BՂêøGìBÕ

ù Xš>2,ÔN2):)A›EGR60356XZ:r<ú5PE›ÔZ2;HJEGKL76?LÒ(UXZ7PU2)7Z0r:rEG032=O(XN7eENO62)è1RPENU,҅ÓäXN:»<3K@He46?L2/DÜTSTÖké;/I×B?LK@ãZ2

46?LEN7:r2,46:r2)<32,710rEG03KLXN7P<)Õ Ñ 20r56K@7PãJKa0V<»0r:3R62„4WXN032)7Z0rKLEN?WKL746?FEG7P76K@7PØ?LK@2=<»KL7·RP<3K@7PØ(Ka0V<»ÓäRP?@?

2íD46:r2)<r<YKLÔN2)762)<r<,ÕNÖb7J0356KF<;4PEG4–2,:=AN>22íI0r2,7POJ?LKL762)EN:Ê?LXNØNKFUT>TK@035·EN7·EG4P46:3XZ46:rKLEG032]ÓäXN:rHûXGÓ

K@7PO6RPU"0rK@XZ7Ä0r5PEš0‡EN?@?LXš><RP<]0rX:r2)EZ<YXZ7ÄENÙWXZRD0:32=UR6:V<3K@ÔZ2„46?FEG7W<,Õ

(2)

K@7-0r562;U,XNR6:V<32»XGÓPET?LKL762)EN:v?LXNØNKFU!46:rXIXGÓkÕ Ñ 2Ê03562)7(2íI0r2,7PO(0356KF<€<rUV562)H2»03X‡ØZK@ÔZ2ÊOD2=ODRPU"0rK@XZ7

:3R6?L2)<‡>TKa0r5Ã46?FEG70r2,:rHJ<ÓäXZ:„E?FEG:rØN2):]Óä:rENØNHe2,710‡XNÓ»?@KL762=EG:‡?LXNØZKLUNAWEN?@?LXš>TK@7PØ·UXZ7PODK@03KLXN7PEN?

EG7POUXZ7DÓäXN:rHJEG710T46?LEN7P<03XJٖ2-:r2,46:r2)<32,71032=OhÕ

/I2)U03KLXN7Úö¿2íI032)7PO6<(03562?LKL762)EN:-?@XZØNKFUe>TKa0r5åEG7æEG464P:3XZ46:3KFEš0r2eK@7PO6RPU"0rK@XZ7æ:3R6?L2eÓäXN:E

:32=UR6:V<YKLÔN2]O6EG0rEš0kÒI4–2NAGEN?@?LXš>TK@7P؄46:rXIXGÓ«<€03X-ٖ2TOD2,ÔZ2,?LXN4–2)OÓäXN:!:r2)U,R6:r<3KLÔN246?LEN7P<)ÕN/I2)U03KLXN7Jë

ODKL<rURW<3<32)<;EGRD0rXNHJEš0r2)OJ46:rXIXGÓv<32)EN:rUV5äKBÕ2NÕDE(46?FEG7P762,:!RP<3KL76Ø-035PKL<;Óä:VEGHe2,>XN:rã ÕZ/I2)U03KLXN7P<

EN7POñ:32)?LEG032…0356KF<T>XN:rãe03Xe2íDKF<k0rK@7PØ>XN:rãKL7·0r562ŠÛP2)?LOhAWEG7POOD:VE›> UXZ7PU?LRP<3K@XZ7P<)Õ

ÐYÈ úËÌÊÐYÏ

Ñ

2ŠÙ6:rK@2PÒ·OD2=<3U,:3KLٖ2„?LK@7P2)EG:T?LXNØZKLU„562):32I<32,2Jêsñ=ì ÓäXN:EÓäR6?L?‚2íD4–XZ<3Ka0rK@XZ7‚ADEG7PO¹ê@á=ë›ì ÓäXZ:]EN7

ENU,U,XNR6710TKL7:r2,?FEš0rK@XZ70rXE<32,HJEN7Z0rKLU)<ÓäXN:T46?FEG7P76K@7PØ4P:3XZÙ6?@2)HJ<,Õ

KL762)EN:„?LXNØZKLUKL<Š:r2)<3XNRP:rU,2×b<Y2)7P<YK@03KLÔN2ZÕWÜ]56KF<…ØNKLÔN2=<„RW<‡0r562JEGÙ6KL?LKa0kÒ¿0rXÄHeXDOD2)?»UV5PEG76ØZ2

XGÓv<Y0rEš0r2‡ODKL:32=U"0r?@ÒRP<3K@76Ø03562„?@KL762=EG:ÊÔZ2,:V<YKLXN7eXNÓ KLHe46?LKLU)Eš03KLXN7vAZ>T:rKa03032)7·EN< ÕIÜ]562RP<3RPEG?

2í6EGHe46?L25P2,:r2KF<‡0r5PEš0Š>2U)EG7ÃHeXDOD2)?€0r562e<3U,2,7PEN:3KLX0r5PEš0Š>;2eU,EN7Ù6R6Ò9E·OD:rK@7PãÓäXN:ŠE

4WXZR67POEN<ÓäXZ?@?LXš><

! #"%$'& !

&)(#*+$,.-Ü]562Š76XG0rK@XZ7ÄXNӀKLH4P?@KFU,EG03KLXN7562,:r2…KL<0r5PEš0K@Óú>2…5PE›ÔN2ŠE4WXZR67POhA6>2-U,EN7·5PE›ÔZ2…EeOD:rK@7Pã–A

Ù6RD0/«R676?LK@ãZ2;U,XN7IÔN2)7Z0rK@XZ7PEG?NK@He46?LKLU)Eš0rK@XZ7!‚>2»>XN7‚ð0ú<Y03KL?L?Z5PE›ÔZ2035624–XNR67PO‚Õ=Ü]562;:32=<YXZR6:VU2

XN7Ä03562-?L2Ó0‡XNÓv0r562-K@He46?LKFU,Eš0rK@XZ7KL<]RP<32)OR64KL746:3XDODRWUKL76Ø03562-:r2)<3XNR6:VU2„XN7035P2-:3KLØN510)Õ

Ü]562)<32:3R6?L2)<JU)EG7 XN76?LÒåٖ2¿<Y2)2,7òEN<03:VEG7W<YK@03KLXN7P<eK@Ӆ03562¿?LXNØZKLUÄKa0V<Y2)?aӊ:r2)<Y03:rKLU0r<035P2

UXN4IÒIKL76ØEN7POODKF<3U)EG:VODK@7PØXNÓú:r2)<3XNR6:VU2=<,Õ

0 Xš> KaÓ;>;2U,XN7P<3KFOD2,:„:32=<YXZR6:rU,2×½?@KLHeKa0r2)OÔZ2,:V<YKLXN7P<XGÓ!Ó«EGHeKL?@KFEG:ŠUXZ76762=U"03KLÔN2=<‡<3RPUV5ÃEZ<

UXN721kR67PU"0rK@XZ7‚A‚>2eÛP7PO¹0r5PEš0-0r562,:r2EG:r20k>;X¿ODK43–2):32)710ÔN2):r<3K@XZ7P<…4WX1<3<3KLÙ6?@2ZAvODK43–2):3KL76Ø¿KL7

03562->]E›Òe03562-:r2)<3XNRP:rU,2)<]EG:r2„5WEG7POD?L2)O‚Õ

Ü]5626587:9<;>=?.9@=BADCE;F=HG#IJADKELNM7:L%A;>=BK2LPORQTS H2=EG7P<0r5PEš0Ä:32=<YXZR6:rU,2)<UO EN7POVS EG:r2

<YKLHR6?@0rEN762,XZRP<3?@Ҋ46:r2)<32,710)Õ=Ü]56KF<€KF<v03562;ÓäXN:rH XGÓWU,XN7E1kR67WU"03KLXN7>T56KLUV5KL<€RP<32)OK@7/6ÜTSTÖké;/1×

?@KLãN2Š46?FEG767PK@76ØJ4P:3XZÙ6?@2)HJ<,Õ

Ü]562<32)U,XN7POÓäXZ:3HAWC)X)X2=H;>=HGEIADK2LM7:L%A;F=BKELPA He2)EN7P<‡035PEG0„Ù–XG0359:32=<YXZR6:VU2)<‡EG:r2(K@7WODKa×

Ô1KFODRPEN?@?LÒ9E›ÔšENK@?FEGÙ6?L2NAhÙPRD0(035P2,ÒÚEG:r22,í6U?LRP<YKLÔN2ZÕúî„76?LÒÃXZ762JXN:-0r562XN03562):-HeE›Ò9ÙW2·RP<Y2=O

EG7PO·03562(UV5PXNKFU2ŠKL<XNR6:V<,Õ

! ! #"%$'& YZ#[\ ] 2^_^.#

C?@0356XZR6ØN5Ä0356KF<]?LX1XZãD<<3XNHe2)>T5PEš0]HeXN:r2‡?LK@ãZ2ŠEODKF<`1kRP7PU"0rK@XZ7‚ADKa0TKF<]:32)ØZEN:rOD2=OEUXN721kR67PU"×

03KLXN7‚AI<YKL7PU,2Ka0>;XZR6?FOeÙW2„2)è1R6KLԛEN?@2)710Ê03X(03562…UXN7IÔZ2,7103KLXN7PEN?PUXZ7E1kR67PU03KLXN7K@ÓvUXZ4IÒ1KL76Ø(EN7PO

ODKL<rU,EN:rO6K@76ØXGÓ:r2)<3XNR6:VU2=<Ê>2,:r2-EG?L?@Xš>2)OhÕ

Ü]56KL<]HJE›Òٖ2(U,EN7U,XN7103:VEN<Y032=O·>TK@0350r562(ENO6O6Ka0rK@ÔZ2ŠO6KL<B1kR67PU03KLXN7‚A%aÕ

! ! #"%$'&

! YZ#

a

! ]_ 2^_^.#

(3)

C&4P?LEN7676KL76Ø46:3XZÙ6?L2,H U,EN79ٖ2e:32)46:r2)<32,71032=OÃEN<ŠE<32)è1R62,710ŠXGÓ;03562ÓäXN:rH#"%$'&Ý>T562,:r2

"Ú:32)46:32=<Y2)710r<K@7PKa0rKLEN?UXN7WODKa0rK@XZ7P<eEG7PO(& :32)46:32=<Y2)710r<ØNXZEN?TUXN7WODKa0rK@XZ7P<)ÕúÖb7 0r56KL<eKL7103RD×

Ka0rK@XZ76KL<Y03KFUÔN2):r<3K@XZ7‚A)"ÚKL<JE9HR6?@03KF<320XGӇÓäXN:rHR6?FEG2JäKLHe46?@KFUK@03?LÒ 1kXZK@7P2)OóÙ1Ò Q Õ»Ü]562*$

ÙW2)5PE›ÔN2=<;EZ<Ê?LK@7P2)EG:;K@He46?LKFU,Eš0rK@XZ7‚AD<YX>;2…U,EN7:32=ENOe0r56KF<EZ<ÊHe2=EG76KL76Ø(0r5PEš0035P2„:r2)<3XNR6:VU2=<

"·<356XNR6?FOÙW2UXN7W<YR6He2=OK@7OD2):3KLÔIK@7PØ+&eՖ/IKLHeK@?FEG:r?@ÒZA6>2(RP<32Š03:VEG7P<3Ka0rK@XZ7¿EšíDK@XZHJ<TXGÓ035P2

ÓäXN:rH-,.$0/&03X:r2,4P:32=<Y2)7Z0TXZ4W2):rEG03XN:V<)Õ6Ü]562)<32(EšíDKLXNHJ<TU,EN7ٖ2(:r2,RP<32)OEZ<THJEG7IÒ0rK@He2)<

EN<762)U,2)<r<3EN:3ÒeKL7·0r562Š46:rX1XNÓkAD2)EZUV5·RP<32…U,XN:r:32=<Y4–XN7WODK@7PØ(03XJEN7ÄENU03KLXN7‚Õ1PXN:]KL7P<k0VEG7PU,2NAI>2

UXNRP?LOÄ:32)46:r2)<32,710EG7XN4–2,:VEš03XZ:32 YZ], 46587 ;ÓäXN:T46?FENU,K@7PØeEÙ6?LXDUVã·EN<ÓäXZ?@?LXš><N

! :9B& 4 ;5 ];9B( 78<$ >= Y@? Q ];9`( 4 Q #$ 46587

ÜvXå<32,2¿0r5629U,XN:r:32=<Y4–XN7WOD2,7PU,2>TKa0r5/DÜTSTÖké/ XN4–2,:VEš03XZ:r<)A»UXZ7P<3KLOD2):0r5629/DÜTSTÖké/

ÔN2,:V<3K@XZ7·XGÓ<2 YZ], 4*5A7 ÕPÜ]56KF<TU,EG7ٖ2->T:3K@0Y0r2,7¿EN<N

BDCFEHGIHJKBHGML N:JIFO:PRQASTVUXW

CYGEFOZBZ[K\ ]^JX]DBD[XN)L`_FBKaH\RQVSXW

OHaZG<QAU W

\YEKaEHJEYaF]N:JML _FBKaH\RQVSXW

OHaZG<QAU W

IH\Y\aF]N^JML OHaZG<QAS W

BZ[QASTbUXW

E^cFCKJYd

0 XG0r2…035PEG0T03562-HJEGKL7ODK<3 2,:r2,7WU2-ٖ20k>2,2,7Ä035P2Š0k>;Xe:r2,7PODK@03KLXN7W<]KL<]0r5PEš0T0r562,:r2ŠKL<]7PX

2)è1R6KLԛEN?@2)710XGÓT0r562·OD2)?@2,032·?LKF<k0K@7æ0r562?LK@7P2)EG:?@XZØNKFUOD2=<3U,:3KL4D03KLXN7vՀÜ]56KF<(KF<(76XN0762)2)OD2=O

ÙW2=U,EGRW<Y2…EG7IÒ10356KL76ØRP<Y2=O·EZ<;E46:32=UXZ7PODK@03KLXN7>TKL?@?hENRD03XZHeEG03KFU,EN?@?LÒeÙW2ŠUXZ7P<YRPH2=OÙIÒe035P2

?@KL762)EN:]?@XZØNKFU‡ÔZ2,:V<YKLXN7XNӀKLHe46?@KFU,EG03KLXN7‚Õ6Ü]5PKL<]U,EN7<3KLH4P?@Ò:r2,4P:32=<Y2)7Z046:rXNÙ6?L2,HJ<;Óä:3XZH 035P2

/DÜTSTÖké;/7PXG0rEG03KLXN7‚AI<3K@7PU,2‡EG7IÒ46:r2)UXZ7PODK@03KLXN7P<»>T56KLUV5ÄEG:r2T:32=èZRPK@:r2)OeÙ6R60;76XN0;UXZ7P<YRPH2=O

Ù1ÒÄEG7¿ENU03KLXN7U,EG7<3K@He46?Lҷٖ2(ENO6O62)OÄÙPENUVãXZ7103X03562-:rKLØN510T5PEG7PO<3KLOD2-XNÓv0r562e$ÃK@7035P2

ENU"0rK@XZ7O62ÛP76K@03KLXN7vÕ

C76XN03562):·<YKLØN7PKaÛWU)EG710·ODK43–2):32)7PU2¿KF<J0r5PEš0KL7ò?LK@762=EG:?LXNØZKLUNA»HRP?a0rK@46?L2KL7P<Y0rEG7WU2)<XGÓ

03562·<rEGHe2J2)7Z0rKa0kÒÚEG:r2J:r2,ØZEN:rO62)OÃEZ<(ODKF<k0rK@7WU"0)Õ)16XZ:(2í6ENH4P?@2ZA‚>;2ÄUXNRP?LO¹:r2,46:r2)<32,710-035P2

<YK@03RPEG03KLXN7XGÓ5PE›ÔIK@7PØ0k>Xe4WXZR67PO6<EZ< % #"!$'& Q ! ! #"%$'& Õ

Ñ

2]U,EN7U:r2)EG032;46:3XIXNÓ«<vÓäXZ:ú<3XN?LÔIK@7P؄<3K@He46?L2/DÜTSTÖké;/I×B?LK@ãZ2Ê46?FEG7P76K@7P؄46:rXNÙP?@2)He<€RP<3K@7PØ

XN76?LÒJ035P28QÅUXZ76762=U"03KLÔN2-EN7POÄ03562-:rR6?L2)< O3f5 ]"%Y 5 9Qe5 ( QÕ

Og$ O

O3f h

$ O

hji 5 Og$0k

h

5

hli $0k

]"%Y

h

5 Om5 Sn$0k

h

5 O Q S.$0k

9Q

h

$ O

hli $ S

h

5

hli

$ OPQPS

( Q

Ü]562…U,RD0T:3RP?@2…KL<TU,:3RWUKFEG?–562,:r2NA6EZ<ÊK@0U,EG776Xš>òٖ2-<Y2)2,7EN<]E:rR6?L2„>T5PKLUV5EG?L?@Xš><;035P2

(4)

Óä:3XZH E„<k0VEš0r2;OD2=<3U,:3KLÙW2=O(ÙIÒ >=8!Y@? 5 ];9`( ] 5 #$ ] 5 ;5 ];9B( ;5 #$ YZ 9B  ÙI҅03562]EG464P?@KFU,EG×

03KLXN7eXGÓ E (E>= # ENU"0rK@XZ70rX-E…<Y0rEG032TOD2=<3U,:3KLÙW2=OÙ1Ò :9>& ] 5 ];9`( ;5 ];9B( 5 #$ YZ 9B "Õ

! "#%$&%'()*)+ ,$.-%0/1%$&

ˆ

ˆ

ˆ

,$.-0/12$.3*%$.34(*4%$.4%)+ 5

! "#%$&%'()**%$.34(*4%$.4%)+ 5

26

Ö½Óv035P2(URD0:rR6?L2…KF<EN?@>]E›ÒD<;EN4646?LK@2=O0rX<Y2=èZRP2,710r<]KL7Ä>T5PKLUV5035P2…5IÒI4–XG035P2)<3KL<]?LKL<Y0KF<TE

<YR64–2,:V<320;XNӂ035P2‡ÓäXZ:3HR6?LEN2XN703562…?@2,Ó0XNӀE-0r:rEN7P<3Ka0rK@XZ7EšíDK@XZHAN0r562„4P:3XIXGÓvU,XN:r:32=<Y4–XN7WO6<

03XE46?FEG7Ù6R6KL?a0ÓäXZ:3>]EG:VO6<ÊÓä:3XZH 035P2-K@76K@03KFEG?€<k0VEš032ZÕ

/IX>2„U)EG7Ù6RPK@?FO·E46:3XIXNÓh03:r2,2‡>TK@035E<Y0rEG032,He2)7Z0XGӂ0r562‡4P?LEN7676KL76Ø4P:3XZÙ6?@2)H Eš0;K@0r<

:3XIXG0=A=EN7PO(>TK@035KL7P<k0VEG7PU,2)<€XGÓW03:VEG7P<3Ka0rK@XZ7EšíDKLXNHJ<úEG7PO8O3fJEš0Ka0V<ú?@2=E›ÔN2)<)Õ=Ö½ÓP>;2]U,EN7(Ù6R6KL?FO

<YRPUV5ÚE46:rX1XNÓkAh>;2JU)EG7¹ÙW2<rEš0rKL<YÛP2)OÃ035WEš0Š03562):32JKF<-E46?FEG79035PEG0<YXZ?@ÔZ2)<„03562e46:rXNÙP?@2)HA

>T562,:r2(EG464P?@KFU,EG03KLXN7P<]XNӀ0r562-03:VEG7W<YK@03KLXN7EšíDKLXNHJ<UXZ:3:r2)<34–XN7PO03X<3K@He46?L2ENU03KLXN7P<]KL7035P2

46?LEN7‚Õ

ù

Xš>;2)ÔN2):)AN<3XNHe2T>XN:rãKF<Ê<Y03KL?@?–762)2)OD2=O03X(2,í10r:rEZU"0!0r562‡46?FEG7eÓä:rXNH&035P2‡46:rXIXGӖ03:r2,2NÕ

î„762]>E›ÒŠ0rXŠO6X„0r56KF<!KL<ÙIÒEN7PEG?LÒD<YKF<úXGÓW03562T46:rXIXGÓkAGEZ<€4P:3XZ4WX1<Y2=O(KL7ê@á,öNìBÕGC‡7EN?a0r2,:r7PEš0rK@ÔZ2

EG4646:rXZEZUV5·KF<TOD2)<rU:rKLÙW2=OÄKL7<Y2=U"03KLXN7PÕ

7 8:9]ÉDË !ϖÉDÐYÌÊÈÝÌ<;>=@?Z!ÈBA

Öb7ò46:32)ÔIK@XZRP<e46R6Ù6?LKFU,Eš0rK@XZ7P<)A;EGR60356XZ:r<e5PE›ÔZ2¿RP<32)OòEÚ46:rXDU2)O6R6:32ÓäXZ:2íI0r:rEZU"03KL76ØÚ46?FEG7P<

Óä:3XZH03562ÄUXNHe46?L20r2)O946:rX1XNÓkÕ ù 2):32ZAh>;2e>TKL?@?ÊHeENãN2035P2J:32)?LEG03KLXN7P<356KL49XNÓ;0r562J46:rX1XNÓÊ0rX

03562Š46?FEG7ÄHXZ:32ŠUXZ7PU:r20r2„ÙIÒEG0Y0rEZUV56KL76Ø4P:3XIXGÓv032,:rHJ<]ODK@:r2)U03?LÒe03X035P2ŠO62)ODRPU03KLXN7:3RP?@2=<

K@7Ã03562e<k0kÒI?L2XNÓ»0kÒI4W2035P2,XN:rÒæêaá

ì½Õ–Ü]5PKL<…HJEGãZ2)<‡03562:32)?LEG03KLXN7P<356KL4XGÓOD2)ODRWU"03KLXN79:3RP?@2=<

EG7PO46?FEG7ÓäXZ:3HJEG03KLXN7¿U?L2)EN:32):)A6EN7POKL<‡2)EZ<YKL2,:]0rX2íI032)7PO03XÄOD2)EN?v>TK@035EJ?FEG:rØN2):<YR6ÙW<Y2,0

XGÓ?@KL762)EN:]?@XZØNKFUGÕ

C 0kÒ14–203562)XN:rÒ(5PEZ<!ÙW2)2,7JOD2,ÛP762)OÓäXZ:!?@KL762)EN:!?@XZØNKFUK@7¿ê@áì½ÕGé»:rX1XNÓ6032):3HJ<»U)EG7ÙW2<32,2)7

EN<…46:rXNØN:VEGHJ<TKL7¹?@KL762)EN:„?FEGHٖOPEÄU)EG?FUR6?LRP<‡ß EÓäR67WU"03KLXN7WEG??LEN76ØNRWEGØN2K@79>T56KFUV5035P2,:r2

KL<E:r2)<Y03:rKLU03KLXN7ÄXGÓRP<YKL76Øe2)EZUV5ÄKL7646R60XN7PU,2NÕ

ù Xš>2,ÔN2):)A60356KF<„EN?@?LXš><T0r562eUXN7W<k0r:3RPU03KLXN7¿XNÓ;EJHeXN:r24–Xš>;2):YÓäRP?v?FEG76ØZRPEGØZ2-035PEN7>2

>EN7Z0T0rXOD2)EN?‚>TK@035¿KL7Ee46?LEN7676KL76ØJ46:rXNÙ6?L2,HÕ

Ñ

2(>TKF<Y50rXJ:32=<k0r:3KFU"0XZR6:‡UXZ7P<3KLOD2):rEG03KLXN7

03X0r56246:3XIXNÓ!032,:rHJ<‡>T5PKLUV55WE›ÔN2EÄ<YKLHe46?L2KLH4–2,:VEš0rK@ÔZ2KL71032,:r46:r20VEš03KLXN7vÕ

Ñ

2OD2=<3U,:3KLٖ2

<YRPUV5óEÃ<3ÒI<Y032)H ÙW2)?@Xš>-AúK@7ó>T56KFUV5ó<32)è1R62,710V<(XGӇ03562ÄÓäXN:rH O $

CFaIZ[

k <Y56XZR6?FOåٖ2

K@71032):34P:32,032)OEN<H2=EG76KL76Ø035WEš0 9>$ ØN2,0r<]RP<TÓä:3XZHÝEe<k0VEš0r2(OD2)<rU:rK@ٖ2)OÄÙIÒ·:r2)<3XNR6:VU2=<O

03XEe<k0VEš0r2ŠO62)<rU:rK@ٖ2)OÄÙIÒ0kÕ

Ü]562Š46?LEN7032,:rHJ<TEG:r2ŠÙ6R6KL?a0>TK@035035P2ŠÓäXN?L?@Xš>TKL76ØJ<YÒI710rEGí

9>$ 4DC 2 YZ Ee<3K@76ØZ?@2,×½<Y032)4EZU"0rK@XZ7

E

[BZC

ODXe76XN0356KL76Ø

E

9B$ 9B$ 2,íI2=URD0r2Š46?LEN7P<<32)è1R62)7Z0rKLEN?@?LÒ

E

CIHG

9B$ 5 9B$ 2,íI2=URD0r2Š46?LEN7P<TKL74PEG:VEG?L?@2)?

E3F

%- 9B$ 46?FEG74PEN:rENH2,032):3KF<Y2=OÙIÒ

(5)

î„4W2):rEG03XN:TOD2,ÛP76K@03KLXN7P<76Xš> 0VEGãN2…0r562ŠÓäXN?L?@Xš>TKL76ØÓäXN:rH

Og$

N:JKEZC k

Y X F

ÖkOD2,7103K@0kÒU,XN:r:32=<Y4–XN7WO6<ú03X(E…0r:rEN7P<YK@03KLXN70rXŠ03562<rEGHe2<Y0rEš0r2NAN<3XŠ035P2‡UXZ:3:r2)<34WXZ7PODKL76؅46?LEN7

KL< $' D Õ6Ü]562 ]"%Y :rR6?L2ŠU,XN:r:32=<Y4–XN7WO6<;03X03562(<32)è1R62)7103KFEG?‚UXZHe4WX1<YK@03KLXN7XGÓú0k>;Xe46?FEG7W<,Õ

Og$

[FBZC )O

h

$

I

)O

hli 5 Og$

O

Hk

h

5

hli $

I

O

/Hk

]"%Y

>! )!ZK>!" #e %$& !Z

Ü]5628Q :rR6?L2ŠEN?@?LXš><]E46?LEN7676KL76Øe46:rXNÙ6?L2,H 0rXeÙW2-Ù6:rXNãZ2,7ODXš>T7ÄKL7103X0k>XKL7POD2)4W2)7POD2)7Z0

<YR6Ù6×B46:rXNÙP?@2)He<)Õ1/DK@7PU,20r562„<3R6ÙD×½46:rXNÙ6?L2,HJ<»:r2,?LÒeXN7ODKF<B1kXNKL7Z0]<Y2,0r<;XGӂ:r2)<3XNR6:VU2=<,AG03562„46?LEN7

032,:rHÝU,XN7P<3KF<k0V<;XNӀ0k>XJ<YRPÙD×B4P?LEN7P<]K@74PEN:rEN?@?L2,?BÕ

h

5 Om5 S $

O

k

h

5O QPS.$

O

Hk

9

Q

h

$

I

)O

h i

$' S

h

5

hji

$

CFIHG

I

5(' )O QPS

( Q

*) +

X>!,)-ÜvXÚHJEGãZ2:r2)U,R6:V<YKLÔN246?FEG7P<)A!>;2>TKL?@?‡762,2=O+0rXÚÙW2ENÙ6?@20rXæ5PEG7PO6?@2¿è1RPEG710rKaÛWU)Eš0rK@XZ7óKL7

<YXZH2ÓäXZ:3HÕÊÜ]5P2èZRWEG7103K@ÛP2,:·:3R6?L2)<ÓäXZ:?LK@762=EG:?LXNØZKLUEN:32035P2Ã<3ENHe2EN<JEÚÔN2):r<3KLXN7 XGÓ

03562e<k0VEG7POPEG:VOXN762=<,Õ ù Xš>2,ÔZ2,:=AD03562He2)EN76K@7PØXGÓ/.¹KL<10_K32 CEL4Ä:VEš0r562,:„035PEN70_K32 IG#I5264

ß EO6KL<Y03KL7PU"0rK@XZ79>T5PKLUV5¹KL<…76XN0-H2=EG76KL76ØNÓäR6?!K@7ÚUXZ7P<Y03:rRPU"0rK@ÔZ2XZ:ŠU,?LEZ<3<3KFU,EG??LXNØZKLUNÕ Ü]5P2

:32=<YR6?@0rEN710Š4P?LEN79KF<Š4PEG:VEGHe2,032,:rKF<Y2=OhAhEG7PO¹>TKL?@?!46:rXšÔIKLO62E46?FEG7¹ÓäXN:(E<34W2=UK@ÛWUK@7W<k0VEG7PU,2

>T562,7Ú<YRP4646?LK@2=OÃ>TK@035æEÄԛEN?@RP2ÓäXZ:…03562e4PEN:rENH2,032):)Õ Ñ 2eEZ<3<3R6He287h×B:r2)O6RPU"0rK@XZ7ÃKF<ŠRP<Y2=O

03XUXZHe46RD032…0r562-46?FEG7K@7W<k0VEG7PU,2)<)Õ

h

59U, Y <$: Yk

h

5

]

-. " -, " )$:hê

]

J

;<9Nì'Hk 9.

h

$

O

keê ;^fPì

h

$ F

I

-O

-.Xf -k ( .

>T562,:r2 KF<]76XG0TÓä:r2,2ŠKL7

h

58kÕ

>= ?0@A$& !D>!" CBEDY!ZF GH` G @

Öb7+<YXZHe2J46?LEN7676KL76Ø46:rXNÙP?@2)He<)AvK@0HJE›Ò¹ÙW2ÄOD2)<3K@:VEGÙP?@2J0rX:r2,46:r2)<32,710(46?FEG7P<>TKa0r5åKL7POD2×

032,:rHeK@7WEš032ÊXNRD0VUXNHe2=<,Õ=Ü]562)<32ÊU,EN7-ÙW2;:32)46:r2)<32,71032=O„ÙIҊENU03KLXN7P<h>TK@035ODKL<B1kR67PU03KLÔN2;2_3 2)U"0V<,Õ

ù 2,:r2»K@0€KF<€EN4646:rXN46:rKFEš032ú0rX‡RP<32!035P2;ENOPODKa0rK@ÔZ2ÊODKF<`1kRP7PU"0rK@XZ7(XN4–2,:VEš0rXN: aÕ=CæÓäXN:rHRP?LE O a S

(6)

OD:rE›>2,:=Õ Ü]56KL<ŠEZU"03KLXN79KL<…:r2,46:r2)<32,710r2)O¿ÙIÒE·03:VEG7P<3Ka0rK@XZ7ÃKL79>T5PKLUV5¹E·56KFO6OD2)7¹<3XDUVã 2#

ÙW2=UXNHe2=<]2,K@03562):‡EÙ6?LEZUVã·<3XIUVã 2#XN:E>T56K@032(<3XDUVã j2#Õ

2*$

C]O:P

2 aj2

Öb7ó:r2)<3XN?LÔIK@76ØÃ03562=<Y2¿ODKF<B1kR67PU"0rK@XZ7P<JODR6:rKL76ØÃ0r56246?FEG7676KL76ØÚ46:rXDU2)<r<)Av0r562,:r2¿EG:r2·0k>X

4WX1<3<3K@ÙPK@?LKa0rK@2=<W035P2ENØN2,710‡>T5PKLUV5>TKL?L?€2,íI2=URD0r2(0r56246?FEG7ÃHeE›ÒXZ:‡HJE›ÒÄ7PXG0„Ù–2eU,EG4WEGÙ6?L2

XGÓ4W2):YÓäXZ:3HeKL76ØE0r2)<Y0]03XJ:r2)<3XN?LÔN2„03562(ODKF<B1kR67PU"0rK@XZ7¿Eš0T:3RP7Z0rK@He2ZÕ

Ö½ÓW0r562EGØZ2,710»U,EG7e4–2,:3ÓäXN:rHçE…032=<k0ÊEG0»:3RP7Z0rK@He2ZAGKa0ÊU)EG7J<32,?L2)U"0»Ù–20k>2,2)70k>;X-ODK43–2):32)710

46?LEN7P<)ADKMÕ2NÕ6>2-U,EN7ÙPR6K@?FOEeUXN7WODKa0rK@XZ7PEG?‚<Y03:rRPU03R6:r2NÕ

h

5 O $

aIZ[ k

h

5 S $

aID[ k

h

5 O a S $

]

k

9 a YZ 2 Y

Ü]56KL<]KF<T2=èZRPK@ԚEG?L2,710]03XÓäXZ:3HJ<]RP<32)OÙIÒ!:#"RP76K@7PØ2,0‡EG?BՂêGì€EG7WO·ÙIÒ·C‡Ù6:rENHJ<YãIÒÃê@áì½Õ

Ö½Óh03562…EGØN2)710U,EN7676XN0Ê4W2):YÓäXZ:3H EŠ0r2)<Y0 MU,EN7676XG0?@XIXZãEG0Ê035P2„<3XIUVã AZ>2HRW<k0]2,7P<3R6:r2

035PEG0Ê035P2„<rEGHe246?FEG7J>TKL?@?–>XN:rã:r2,ØZEN:rO6?@2=<3<XNÓ >T5PKLUV5·U,XN7PO6Ka0rK@XZ7J56XN?FO6< «Ù6?FENUVãXN:Ê>T5PKa0r2

<YXDUVã "ÕÜ]56KF<ÓäXZ:3H XNÓ46?LEN7676KL76ع46:3XZÙ6?L2,H 5PEN<ٖ2,2,7 U,EN?@?L2)O ADK2LF0_K325 CEL!;XZ: 0_C2=H9%$&C(0_I

46?LEN7676KL76ØPÕ ù 2):32>2RP<32T0r562ÓäXZ?@?LXš>TK@7P؊ÓäXN:rH&XNӖ0r562 9aò:rR6?L2NAZK@7J>T56KFUV5J0r562‡<rEGHe2 , 9B$

>TK@?L?‚>XN:rãeÓäXN:TٖXG035OÅEN7PO S·Õ

h

5 O $'

aIZ[ k

h

5 S.$(

aID[ k

h

5 O a S.$'

aIZ[ k

9a

0 XG0r2Ê0r5PEš0ú035P2;46:rXIXGÓ60r2,:rHÅKL<ú562):32;ÙW2)K@7P؅RW<Y2=O-03X…:r2)<Y03:rKLU0v035P2;ãIKL7POXNÓP46:rXIXGÓ6>T56KFUV5

U,EG79ÙW22íI0r:rEZU"032=OhA KMÕ2NՖ0rXÄ2)7DÓäXN:VU203562JUXZ7PODK@03KLXN7¿0r5PEš0Š0r5624P?LEN7ÓäXN:Š2=ENUV5Ù6:VEG7WUV5KL<

KLOD2)7103KFU,EG?BÕ Ü]56KL<„>XNR6?FO¿76XN0„Ù–24–XZ<r<YKLÙ6?L2KL7XG0r562,:…?LK@762=EG:„?@XZØNKFU-46?FEG7676KL76Ø<3UV562)He2)<)AWKL7

>T56KLUV50r562Š032):3H :r2,4P:32=<Y2)7Z0rK@7PØ0r562-46?FEG7Ka0V<Y2)?aÓKF<]76XG046:r2)<32,710TKL7Ä0r562-46:rXIXGÓkÕ

16XN:EeODKF<B1kR67PU"0rK@XZ7XGӀØZXZEN?L<)AI>;2-HRP<k0<3K@He46?LÒ·4P:3XšÔZ2„XZ762ŠXN:]035P2-XG035P2,:

h

$

C

S

h

$

C

S a k

( á#a

h

$

C

k

h

$

C

S a k

( ÷a

) Ç1ȇ͇΄ϖÉ6ÐkÌÊÈ !ȇÍ+*TÌÊË ,\€É6ÐYÌÊÈ Ì ;-V vÏhÎË0A1Ð/. = ?Z!È A

Ñ 2-U,EN7ÄKL7103:rXDODRPU2ŠEe<YKLHe46?L2…:r2)U,R6:V<YKLÔN2…O6Eš0VEš0kÒI4W2-EN7PO·<3ÒI7Z0r562)<3KF<Y2Š:r2)URP:r<3K@ÔZ2‡46?FEG7W<;ÙIÒ

4W2):YÓäXZ:3HeKL76ØE·46:rX1XNÓÊÙIÒ¿K@7WODRPU"0rK@XZ79XšÔZ2,:‡035PEG0-OPEš0rEG0kÒI4W2ZÕ 0 XG0r20r5PEš0-:r2)URP:r<3K@ÔZ2(46?FEG7P<

(7)

Ñ 2(OD2,ÛP762(EeO6EG0rEš0kÒI4–2…ÓäXN:]03Xš>2,:V<N

YZ ( DC 9B E]N, YZ ( E = Y@?

0 Xš>Ú>;2;OD2ÛP7P2EN7-K@7PO6RPU"0rK@XZ7(:3RP?@2ÊÓäXN:‚0r56KF<€O6EG0rEG0kÒ14–2NÕ 0 XN032Ê035PEG0€>2»HRP<Y0€Ù–2]èZRPKa0r2

U,EG:r2ÓäRP? ENÙWXZRD0T56Xš>ò0r56KL<]KF<TOD2,ÛP762)O‚ÕP/IK@7WU2-EØNKLÔN2,7Ä:32=<YXZR6:VU2‡HJE›ÒJXZ76?@ÒJٖ2-UXZ7P<YRPH2=O

XN7PU,2NA=>;2HRP<Y0€HJENãN2;<3R6:r2»0r5PEš0úÓäXN:rHR6?FEN<€RP<32)O-KL7(0r562]<k0r2,4U)EN<32;EN:32;2,K@03562):úOD2)4W2)7POD2)7Z0

XN7Ä03562(O6EG0rEG0kÒ14–2ŠXN:TEG:r2Š:32)46?L2,76KF<Y5P2)OÄKaÓúRP<Y2=OhÕ

h

KF<]HJENOD2-E›ÔšEGKL?LENÙ6?L2„XZ76?@Ò·K@7035P2-ÙPEN<32

U,EN<32NAD>T5PKLUV5UXZ:3:r2)<34WXZ7PO6<;03XE46?FEG7Ä035WEš0KF<TXN76?LÒ2,íI2=URD0r2)OÄXN7PU,2NÕ

Ü]562Ê<3Ò1710VEší…ÓäXN:ú46?LEN7P<‚KF<€2íI032)7POD2)O(Ù1Ò-EZO6ODKL76ØT035P2Ê76XN03KLXN7(XNÓ6:32=UR6:V<YKLÔN2!4P?LEN7‚A)ÙWEN<32)O

XN7e035P2T03:r2)EG03He2,710ÊXNÓ :r2)U,R6:V<YKLXN7K@7e0kÒI4–20r562,XZ:3Òêaá ì½ÕGÖ½Ó Y KL<»E-03Xš>2,:=A3'

C

KF<ÊEŠ46?FEG7EN7PO

F

-F

d

-F

-N>C

KL<E46?FEG7Ú>TKa0r5Ú0356:r2,2·4PEG:VEGHe20r2,:V<,A 0r562,7

GEFO JKG

J

5'

C

5

F

-F

d

-F

-N>C

KL<…E:r2)U,R6:r<3KLÔN2-46?FEG7‚Õ ST2=UR6:V<YKLÔN246?LEN7P<…EG:r2(2íD2)U,RD032=OÃEZ<TÓäXN?L?LXš><,ÕWÖ½Ó Y C = Y@? AP03562)7

2íD2)U,RD032 '

C

DXG035P2,:r>TKL<32 Y KF<]XGÓú03562ŠÓäXZ:3H

i

Y

i

AW<YXe2,ԚEN?@RPEG032…035P2-46?LEN7

N^C ê4

GEO JYG

J

i

5('

C

5

F

-F

d

-F

-N^C ; 5('

i

;

d

5

J

i

;

ì

EG7POÄ2íD2)U,RD032-K@0)Õ

Ü]562-K@76Óä2,:r2,7PU,2…:rR6?L2Š035PEG0:32)?LEG032=<]K@7PO6RPU"0rK@XZ7Ä0rXe03562ŠÓäXZ:3HJEG03KLXN7XGÓ:32=UR6:V<YKLÔN2…46?FEG7P<

KL<EZ<;ÓäXN?L?@Xš><N

$'

C

>=8!Y@?

G

Y

i

<$

N^C

i

Y

i

$ F

J

-GEFO JKG

J

5('

C

5 F

G

-F

J

i

-F '

i

-N^C

3. Y- Y

Öb7åØN2)762,:VEG?BA‚0r562 Y (>TKL?@?ٖ2EÃ46?LEN7+<34W2=UK@ÛWU,EG03KLXN7æXGÓT0r562ÄÓäXN:rH "%Y & YÕÜ]5P2

032,:rH ( EG0Y0VENUV562=O·0rXJ035P2KL7PODRPU03KLXN7¿5IÒI4WXN03562=<YKF<>TKL?@?€ÙW2)5PE›ÔN2(EZ<‡EN7E›Ô›ENK@?FEGÙP?@2-ENU03KLXN7‚A

EG7PO¿K@0r<…EG4P4W2=EG:VEG7PU,2-K@7¿0r5624P?LEN7¿ÓäXN:‡03562<k0r2,4ÃU)EN<32<YKLØN7PKaÛP2=<T0r562EN4646?LKLU)Eš0rK@XZ7¿XGÓ!035P2

:32=UR6:V<YKLÔN2ŠU,EN?@?BÕDÖ½0HRW<k0ٖ2-RP<32)OÄ2í6ENU03?LÒXN7PU,2ŠK@7035P2(<k0r2,4¿U,EZ<Y2Š46?FEG7‚Õ

Ö½0ÊKL<Ê562,?L4DÓäR6?W03XK@7103:rXDODRPU,2‡E-URP<Y03XZH&:rR6?L2KL7J0356KF<Ê<rU2)7PEG:rKLXPÕNÜ]56KF<»:rR6?L2KF<ÊOD2):3KLԚEGÙ6?L2

Óä:3XZH 03562(<Y0rEN7PO6EN:rOÄ:3RP?@2=<ÓäXN:T5PEN7POD?LK@76Øe?LK@7P2)EG:TKLHe46?LKLU)Eš03KLXN7vÕ

, $

O

Z,

9 Z, $

O

9/Z,' ]

Ü]56KL<ÊKL<Ê76XG0Ê03562„HX1<k0;ØN2,7P2,:VEG?IÓäXN:rHANÙ6R60;K@0;>TKL?@?–<YKLHe46?@K@ÓäÒ03562‡46:32=<Y2)710rEš0rK@XZ7eXGÓh035P2

ÓäXN?L?@Xš>TKL76Øe2í6EGHe46?L2-<YKLØN7PKaÛWU)EG7103?LÒNÕ

) B )

Ü]562ÓäXZ?@?LXš>TKL76Ø·2,íDENHe46?@2<Y5PXš><‡E<YXZ?@RD0rK@XZ7¿03XÄ035P246:rXNÙP?@2)HXNÓÊKL71ÔZ2,:303KL76Ø·E·03Xš>2,:„XGÓ

Ù6?@XDUVãD<)Õ Ü]5P2e<34–2)UK@ÛWU)Eš03KLXN7¹XGÓ;03562e46:rXNÙP?@2)H Ka0V<Y2)?aÓ:32=è1R6K@:r2)<„0r562eRP<Y2eXNÓE:32=UR6:V<3K@ÔZ2,?LÒ

OD2ÛP7P2)OÄÓäR67PU03KLXN7‚Õ

C‡<>;2Š<35PEG?L?‚<Y2)2„KL7Ä03562Š2í6ENH4P?@2…ÙW2)?@Xš>-AIXZR6:]46:3XIXNÓv46:rXIU,2)ODRP:32„:32=èZRPK@:r2)<ٖXG035Ä035P2

EG4646?LKFU,Eš0rK@XZ7XGÓ!OD2)ODRWU"03KLXN7:rR6?L2)<)APUXZ7Z0r:3KLÙ6RD0rK@7PØe03Xe035P2-K@7P<Y0rEN7103KFEš03KLXN7XNÓEe46?FEG70r2,:rHA

(8)

$

CFaIZ[

-. Y- êY ( Y Y ( (E Y bì

>T56KLUV5He2)EN7P<;035PEG0]E03Xš>2,:

Y

U)EG7·Ù–2Š:32)ÔN2):r<32)OJÙIÒJ2,íI2=URD0rK@XZ7ÄXNÓ

9>$

Õ

Y (

Y

]<Y5PXNR6?FO

ÙW2J:r2)EZOHe2)EN76K@7PØÄ0r5PEš0E·03Xš>2,:

Y

XGÓR676ãI76Xš>T7¹562,KLØN510-KL<Š4P:32=<Y2)7Z0=Õ

(EN

KL<-E:r2,ÔN2):r<32

ÓäR67PU"0rK@XZ79ß Ka0EN?@?LXš><„03562J:r2,?FEš0rK@XZ7P<Y5PK@49ÙW2,0k>;2)2,7ÚK@7PKa0rKLEN?»EG7PO9ØNX1EG?!<k0VEš0r2)<…03Xٖ2OD2×

<3U,:3KLÙW2=OhÕDÖ½0‡ODXI2)<76XG0OD2=<3U,:3KLÙW2-EN7EZU"0rK@XZ7‚Õ

Ü]562ŠÓäXN?L?@Xš>TKL76Ø>TK@?L?‚Ù–2-RP<32)OEN<]46?FEG7XN4–2,:VEš0rXN:V<,Õ

Y ( >S 5 $ $

C]O:PYC

Y ( Q ! :9B& BS8

Y ( ;5 ! :9B& BS $

CKJ

5 Y ( >S 'Q $

>T562,:r2 $ <Y0rEG7WO6<ÄÓäXN:Y56XZ?LO6K@76Øó76XG0r56KL76ØPÕT/DK@7PU,29>2ÚEG:r2ÃØNXZK@7PØå03X 762)2)Oò0rXó4WEN<r<

0356:rXNR6ØZ5·KL71032,:rHe2)ODKFEš0r2-<k0r2,4P<]KL7·0r562-46?FEG7>T562,:r2…>;2Š5PE›ÔZ2‡0k>X<32,4WEG:VEš032„03Xš>2,:V<)A1K@0TKL<

762)U,2)<r<3EN:3Ò·03X·KL7PU,?@RPO62EJ:r2Óä2):32)7PU2-0rXÄE<32)U,XN7PO0rXš>;2):0r56:3XZR6ØN5PXNRD0=ÕWÜ]56246:3XZÙ6?L2,HXGÓ

ÛP7PODKL76Øe035PKL<TØZ2,762):rEN?@KF<rEš03KLXN7·XGÓú03562-XZ:3KLØNKL7PEG? 46:rXNÙP?@2)H KL<TEZO6OD:r2)<r<Y2=O·KL7¿<Y2=U"0rK@XZ7ë6Õ

.

Y

5

%-Y (

Y

Q

Y (

Q

$

Y (

>=8!Y@? Q

Y (

)

(EN

Y

;5

WQ

$

Ü]562(OD2ÛW76Ka0rK@XZ7P<]XGÓ (E EG7PO ) EN:32…ØNKLÔN2)7ÄÙIÒ.

(E >=8!Y@? <C >= Y@? ká#

(E 4 Y <C ) (E Y 5 4 >= Y@? M÷

>= Y@? 5 " C " B

) 4 Y 5 " <C ) Y 5 " äö

Ñ 2->TKL?@?€EG?F<YXHJEGãN2ŠRP<32-XGÓEN<r<YXDU,KLEG03KLÔ1K@0kÒJXGÓ ) Õ

) ) 5 ;5 ] <C ) 5 ) 5 ] Më

Ñ

2…U,EG7Jٖ2,ØZK@7e0r562‡4P:3XIXGÓhÙIÒRP<YKL76ØEN7KL7PODRPU03KLXN7JXN7

Y

äÓäXN:U?FEG:rKa0kÒZAN>2>TK@?L?–XNHeKa0;46?LEN7

032,:rHJ< Õ

16XN:]0r562-ÙPEZ<Y2-U,EZ<Y2ZAD>;2ŠHRP<k04P:3XšÔZ2)

+ * / "/1,( 3! /1 3 * "/ ,(

CTÓ032):‡EG4P46?@KFU,EG03KLXN7XGÓ:32)>T:3K@032=<…áNA>2ŠØN2,0N

+ 3! /1 3 /1,( * / "/ ,(

>T56KFUV5U,EG7ٖ2-46:3XšÔZ2)O·03:rK@ÔIKFEG?L?@ÒZÕ

16XN:;035P2„<Y032,4ÄU,EN<32‡>2>TKL?@? >]EG?Lã0r56:rXNR6ØZ5e03562…46:rX1XNÓhK@7·03562…ODK@:r2)U03KLXN7XNӂKa0V<;U,XN7P<Y03:rRPU×

03KLXN7JKBÕ2Z՚Óä:3XZH&ٖXG0303XZHç0rXŠ03XN4vÕZÜ]562]ÓäR6?L?W<32)è1R62)710Ê46:rX1XNӖKF<!ØZK@ÔZ2,7JEN<»EN7JEG464–2,7PO6KaíhÕZÜ]5P2

K@76K@03KFEG?vØNXZEN? KL<N

"/ 3"/ ,(

+

4

a

' /1 3"/ ,(

(9)

Ñ

Ñ

2EN?@?LXš> He20VEš×½Ô›EN:3KFEGÙP?@2=<8>O K@7¹035PKL<Š46:rXIXGӊ<3X¿EN<„03X¿OD2)?LE›Ò03562JUV56XZKLU,2XNÓ;>TK@03762=<3<

032,:rH Y K@70r562-RP<32-XGÓv0r562-:rR6?@2 9.

"/1 3 "/ ,(

3! /1 3 "/ ,(

+

34

_

0/ 3& / ,(

* / 4

a

'! / ,(

0

Xš> >2-EG464P?@ÒÄ:32)>T:3K@032…:3RP?@2=<‡÷DAsëDAöPA-0rXe03562(S-Õ

ù

Õs/ Õ

"/1 3 "/ ,(

3! /1 3 "/ ,(

+

34

_

0/ 3& / ,(

* / '4

_

. / ,(

!;Ò¹KL7P<k0VEG7103KFEš0rK@7PØ¿03562ÄHe20rEG×BԚEN:3KFEGÙ6?L2e03X 4

i

Aú>;2ÄU,EG7æ7PXš> EN4646?LÒÃ0r562 ] :3R6?L2NA

>T56KLUV5?L2)EZO6<03X!

34

_

! 3 ',( + 3'"/ 4

_

/ ,(

0

Xš>-A >2U)EG7ÚUXZH4P?@2,03203562e46:rXIXGÓÊÙIÒÃU,RD0Y0rK@76ØKL7¹EN4646?LKLU)Eš0rK@XZ7P<‡XNÓÊ0r562 * ]," EN7PO

"%Y ENU03KLXN7P< M<Y2)2-EG464–2,7PO6KaíÄÓäXN:UXZHe46?@2,032-46:rXIXGÓúXGÓú<Y032)4¿U,EN<32 Õ

Ü]562-46?FEG7U,EG776Xš>ÙW2-ØZK@ÔZ2,7EN<N F J -GEFO JKG J 5 [FBZC 5 F G -F J i

-F '

i -F I i - CIHG [FBZC 5 C]O:PYC >' i _ CFIHG [FBDC 5 C KJ >' i 5 I i _ G J i 5 I i >T56KLUV5¿U)EG7ÙW2(<3K@He46?LK@ÛP2)OÄ03X! F J -GEFO JKG J 5 [FBZC 5 F G -F J i

-F '

i -F I i - C]O^P YC >' i _ CKJ !' i 5 I i G J i 5 I i C‡<->2EG:r2J<YÒI7103562=<YKF<3K@76Ø¿E46?FEG7Ú>TK@035Ú0k>X4PEG:VEGHe20r2,:V< «U,XN:r:32=<Y4–XN7PO6K@76ØÄ03X0r562J0k>X R676KLÔN2,:V<rEG?‚è1RPEG710rKaÛP2):r<K@70r562(XN:rKLØNKL7PEG?‚<34W2=UK@ÛWU,EG03KLXN7!AD035P2(:32=UR6:V<3K@ÔZ2ŠU)EG?L? G J i 5 I i T:32,× èZRPK@:r2)<]ԚEG?LR62=< Y i 5 i ÓäXN:]035P2-4PEG:VEGHe20r2,:V<,Õ

òÎÉIÌ, úÉ: vÍ =ÃËPÌÌ ;/ 'ËPÏ

C7ÚEš0Y0r:rEZU"0rK@ÔZ2EN4646:rXZENUV503X46:rX1XNÓ;<32)EG:VUV5KL79?LKL762)EN:…?LXNØZKLUKF<…03XRP<32EÄÓäXN:rHXGÓ?@XZØNKFU 46:3XZØN:VEGHeHeK@7PØÙPEZ<Y2=O·XZ7Ä?LK@7P2)EG:]?LXNØZKLU„:rEG03562):]035PEN7ÄXZ7U,?LEZ<3<3KFU,EG?W«XN:TUXZ7P<k0r:3RWU"03KLÔN2#;?@XN× ØNKFUGÕ Ñ 2]5PE›ÔZ2ÊRP<32)O035P2?FEG7PØNRPENØN2 XN?L?@Khê@á)âGìIEZ<úE‡035P2,XN:r2,HÅ4P:3XšÔZ2,:úK@7XNR6:ú2íD4–2,:rK@He2)7Z0V<,Õ Ü]562)<32]?LEN76ØNRPENØN2=<€EN:32]ÙPEZ<Y2=OXZ7KL7103R6K@03KLXN76KF<Y03KFU;?LKL762)EN:!?@XZØNKFUGA›>TKa0r5J<YXZH2]:r2)<Y03:rKLU03KLXN7P<€0rX

4W2):3HeK@0TER676K@ÓäXN:rH 46:rX1XNÓv46:rXDU2)O6R6:32‡03XÙW2ŠU,EN:3:rKL2)OJXZRD0 äÓäXN:]2í6ENH4P?@2ZA12,íD46:32=<3<3KLXN7P<ÊXGÓ

03562…ÓäXN:rH O QJS EG:r2‡76XN0EG?L?@Xš>2)OEZ<;03562Š562=ENOXNÓúEU?FEGRP<32 ÕDÜ]562)<32„:r2)<Y03:rKFU"03KLXN7W<;4P:32,×

ÔN2,710RP<;Óä:3XZHû>T:rK@03KL76ØXZ4W2):rEG03XN:V<ÊO6K@:r2)U03?LÒeEZ<;U,?LENRP<32)<»KL7 XN?L?@KBADEG7POJÛP7PODKL76ØeE(46?FEG7ÙIÒ

2íD2)U,RD03KL76ØJ0r562è1R62):3Ò·035PEG0…EN<3ãD<T>T562,03562):035P2KL76Ka0rKLEN?v:r2)<3XNR6:VU2=<U,EN7ÙW203:VEG7P<YÓäXN:rHe2)O

K@7103X(03562ØZXZEN?6:32=<YXZR6:VU2)<)Õ ù Xš>2,ÔZ2,:=AGE-46?FEG7D×BÓäXN:rHeK@7PØ-:3XZRD03KL762U,EN7JÙW2‡>T:3K@0Y0r2,7J0rX(K@710r2,:3×

46:32,0]O62)U?FEG:r2)OXN4–2,:VEš03XZ:r<;EG7POÄè1R62,:rK@2=<K@7·03562Š<k0kÒI?L2„XNӀEH2,0rEG×BKL71032,:r46:r20r2,:„ê@á)øGìBAI>T56KL?L2

(10)

4PEG:303KFUR6?FEG:r?LÒJ2UKL2,710TÓäXN:]ÛW7PODKL76ØEe<YXZ?@RD0rK@XZ7‚Õ

Öb7e03562:r2)U,R6:V<YKLÔN2]46?FEG767PK@76Ø46:3XZÙ6?L2,HJ<,AG03562„46:3XDU,2)<r<!XGӂ<3Ò1710r562)<3KL<3KL76؊03562‡46?LEN7 «EN7PO

03562»4P:3XIXGÓD–76Xš>¹U,XN7P<3KF<k0V<h76XG0‚XZ76?L҇XGÓIHJEG76KL46R6?FEš0rK@XZ7P<h>T56KFUV5(UXZ:3:r2)<34–XN7PO03X46?FEG7-<Y032)4P<,A

Ù6RD0„EN?L<3Xe:32)>T:3K@032=<]XGÓ032):3HJ<]0rXJ2)è1R6KLԛEN?@2)710TÓäXN:rHe<)Շ76KaÓäXZ:3H<Y2=EG:VUV5ÄKF<T76XN02,76XZR6ØN5KL7

0356KF<]<YK@03RPEG03KLXN7‚AIEG7WOJ>;2„?@2=EG7XZ7·>XN:rãKL7ØZR6KLO6K@76ØK@7WODRPU"0rK@ÔZ2„4P:3XIXGӂKL7·<Y0rEN7PO6EG:VOJ?LXNØZKLUNA

OD2)<rU:rK@ٖ2)OåK@7 êöGì½Õ ù 2,RP:3KF<k0rKLU)<EN:32E›ÔšEGKL?LENÙ6?@2e0rX95P2,?L4+Eš003562ODKJU,R6?@0eUV56XZKLU,24–XNKL7Z0V<,A

7PEGHe2,?LÒò>T56KFUV5 KL7PODRPU03KLXN703X+RW<Y2V0r562,:r29HJE›Òõٖ2¹<32,ÔZ2,:VEG?„<rUV562)H2=<4WX1<3<3K@ÙP?@2ZAEN7PO

ԛEN:3KFEGÙP?@2=<Ê0rXUV56XIXZ<32‡Óä:rXNH APEG7POUV56XZKLU,2…XNÓú:r2,>T:rK@032)<;0rXEG4646?LÒNÕ

Ü]562JØN2)762,:VEG?LKL<rEš0rK@XZ79<Y032)4æK@7¹035P22í6EGHe46?L2JKL7Ú<32)U03KLXN7ÚöPÕs÷KF<(EGHe2,7WEGÙ6?L2e03XENRD03XN×

HeEG03KLXN7‚Õ‚C <3K@HeKL?LEN:Š46:3XZÙ6?L2,HKF<-ODKL<rURW<3<32)O9K@7õê6AáZáì+–>T5P2,7¹03562e46:rXNÙP?@2)H U,EG7P76XG0-ٖ2

<YXZ?@ÔZ2)OeKL7Ka0V<ÊØZK@ÔZ2,7eÓäXZ:3HAG0r562„Ó«EGKL?@2=OJ46:rX1XNӂEš0Y0r2,He4D0ØNKLÔN2)<Ê:3KF<32T03XK@7DÓäXZ:3HJEG03KLXN7EGٖXNR60

03562ÓäXN:rH XGÓÊØZ2,762):rEN?@KF<3EG03KLXN7035WEš0Š>;XZR6?LOÃEG?L?@Xš> 0r5624P:3XIXGÓ!0rXÄٖ2eUXNHe46?L20r2)OhՖÖb7Ã4P:3XN×

ØN:VEGH <YÒI7103562=<YKF<)A6035PKL<„HJE›Ò<3R6ØNØZ2)<Y0T03562762,2=OÓäXN:…EG7ÃEZU,U,R6HR6?FEš0rXN:ԚEN:3KFEGÙ6?L2NA–EG7PO¿EN7

EG4646:rXN4P:3KFEš0r2e<34–2)UK@ÛWU)Eš03KLXN7ÚXNÓ0r562ØZ2,762):rEN?@KF<Y2=OÃ4P:3XDU2=ODR6:r2OD2,:rKLÔN2)O¹KL7Ú03562ÄUXNRP:r<32eXGÓ

03562-46:rXIXGÓkÕ6CÅ<3K@HeKL?LEN:EG7PEN?@ÒD<3KL<]EN4646?LK@2=<ÓäXN:T46?FEG7¿<3Ò1710r562)<3KL<)Õ

-V ? €É: vÍ Ì»Ë

! 3

Ü]562e>;XZ:3ãXGÓôEN<r<Y2):3XZ720(EN?MÕ!ê@á=ëDA,á,öGì!5PEZ<…ÙW2)2,7903562J<Y0rEG:303KL76Ø4WXZK@710…ÓäXN:…035PKL<Š>XN:rã Õ

ôEN<r<Y2):3XZ7¹<356Xš>2)O9035P2·ENOD2=è1RPENU,ÒXGÓT?LK@762=EG:(?LXNØZKLUÓäXZ:<3K@He46?L2·UXZ7E1kR67PU03KLÔN2J46?FEG7P76K@7PØ

46:3XZÙ6?L2,HJ<,AÓäXZ:>T56KFUV5 EÚ4P:3XDU2=ODR6:r2ÓäXN:J2íI0r:rEZU"03KL76ØÚ46?FEG7P<eKL7õ035P2ÓäXN:rH XGÓ-ODKL:32=U"032=O

ØN:VEG465P<·>EZ<·ØZK@ÔZ2,7‚Õ]Ü]562)K@::r2,46:r2)<32,710rEG03KLXN7õÓäXZ:Ä4PEN:Y0rKLEN?@?LÒ1×BXZ:rO62,:r2)O 46?FEG7P<KF<·?L2)<r<:32,×

ODR67PO6EN7100r5PEG7óXNR6:V<,AúÙ6RD0JHeXN:r2ÄE›>TãI>]EG:VO903X¹2íI032)7POæ0rX¹E9?LEN:3ØZ2,:Óä:rENØNHe2,710XNÓ035P2

?@XZØNKFUGÕPéÊ:3XZÙ6?@2)HJ<;KL7IÔNXZ?@ÔIKL76ØJODKL<B1kR67PU03KLXN7EN:32-UXšÔZ2,:r2)OÄÙIÒ035P2(:32)46:r2)<32,710rEG03KLXN7·ÙPRD0‡76XN0

Ù1Ò(03562]ØN2)XNHe20r:3KFUEG:rØNR6He2,710:32)?LEG03KL76؅46:3XIXNÓ«<v0rXŠ46?LEN7P<)ÕGCõ46:3XDU,2)ODR6:r2;ÓäXN:46:rX1XNӖ<32)EN:rUV5

RP<YKL76Ø035P2(UXN721kR67PU"0rK@ÔZ2ŠÓä:rENØNHe2,710TKF<]ØNKLÔN2,7KL7Úê@á=÷šìBÕ

êøGìHeENãN2=<U,?@2=EG:e0r562¿U?LXZ<32:r2,?FEš0rK@XZ7P<356K@4 ٖ20k>2,2,7ó035P2,KL:e032)UV5P76KLè1R62¿XNӄ46?FEG7P76K@7PØ

>TKa0r52=èZRWEš03KLXN7WEG?I:32=<YXZ?@R603KLXN7‚A!K@ٖ2,?Bð<€?LKL762)EN:U,XN767P2)U"0rK@XZ7He2,0356XDOê÷šìBAšEG7WO?LK@7P2)EG:?LXNØZKLUNÕ

Üv2=UV5676KFèZRP2)<„ÙPEN<32)OXZ7¿03562UXZ76762)U03KLXN7He2,0356XDO5WE›ÔN2(ٖ2,2)7RP<32)O¿Ù–XG0r59EN<„OD2)O6RPU"0rK@ÔZ2

46?LEN76762):r<TEN7POÄEZ<]?@KL762=EG:T?LXNØNKFU„03562)XN:r2,H 4P:3XšÔZ2,:V<,Õ

! 3>!" %

Ü]562EN4646:rXZENUV5XGÓÊôÃEG767PEJEN7PO Ñ EG?FODKL76ØN2):ê@áNšì€RP<Y2=<‡EJÔZ2,:V<YKLXN7XNÓ!03562<YK@03RPEG03KLXN7U)EG?@×

UR6?LRP<)Õ Ü]5P2,KL:‡ÓäXZ:3HJEG?LKF<YHENU)UXZR6710r<TÓäXZ:…03562eOD2,:rKLԛEG03KLXN7XNÓÊUXZ7PODK@03KLXN7PEN?úEN7PO:r2)U,R6:r<3KLÔN2

46?LEN7P<)ÕWÜ]562)K@:„>;XZ:3ãKLO62,7103K@ÛP2)<03562762,2=OÓäXN:„ØN2)762,:VEG?LKL<rEš0rK@XZ7ÄKL74–2,:3ÓäXN:rHeK@76Ø·K@7PO6RPU"0rK@ÔZ2

46:3XIXNÓúEN<]ٖ2,KL76ØEHJEE1kXZ:4P:3XZÙ6?@2)HÕ

Ü]562S 0 é 4P?LEN76762,:ŠXNÓ;ï…5PEN<r<Y2)H×b/DEN76KEG7PO¹/1032)2,?Tê

ì»OD2)<rU:rK@ٖ2)OÃS 0 éAhEG79K@He46?L2×

H2)710rEš0rK@XZ7åXGӅE:r2)URP:r<3K@ÔZ246?FEG767P2,:ÙPEN<32)OæXZ7åØNX1EG?@×½O6:3KLÔN2)7¹4WEG:303KFEG?XN:VOD2,:46?LEN7676KL76ØPÕ

Ü]56KL<]EN?@?LXš>;2=OeÓäXN:]E46:3KL7PU,K@46?L2)O·He2035PXIOÓäXN:TOD2=UKFODK@7PØ>T562)70rXKL7103:rXIO6RPU2…E:r2)U,R6:r<3KLÔN2

(11)

XGӅ03562)K@:EN4646:rXZENUV5óKL<0r5PEš0KL7PODRWU"03KLXN7õ:rR6?L2)<JEG:r2UXN7W<k0r:3RPU032=OóODÒI7PENHeKLU)EG?L?@ÒæÓä:rXNH E

>;2)?@?@×MÓäXZR67POD2=O·XZ:rO62,:=Õ

Ü]562·EG4P46:3X1ENUV5ÚOD2)<rU:rKLÙW2=OÚK@7æ0r56KF<4PEN4W2):ODK43–2):r<Óä:rXNH 03562=<Y2>XN:rãD<-KL7Ú035PEG0XNRP:

K@7PO6RPU"0rK@XZ7¹KF<ŠÙPEZ<Y2=OÃXZ7¹EØNKLÔN2)7Ã:rR6?L2ÓäXZ:(EG7¹K@7WODRPU"0rK@ÔZ2O6Eš0VEš0kÒI4–2NAh:VEš035P2,:…035PEN7æUXN76×

<k0r:3RPU03KL76Øæ:rR6?@2=<eÓä:rXNH EÚ>2,?L?@×MÓäXZR67POD2=OõXN:VOD2,:=Õ Ñ 2ÃÙW2)?@KL2,ÔZ2¿XNR6:JÓäXZ:3HR6?FEš03KLXN7õEG?L?LXš><

<k0r:3XZ76ØN2):ŠU,XN7103:rXN?XNÓ;0r562J46:rX1XNÓ<32)EN:rUV5‚A >T56KL?L2JXNÙIÔIKLEG03KL76Ø03562J762)2)OÃ03X¿:r2)EZ<YXZ79EGٖXNR60

4PEG:303KFEG?L?@ÒÄOD2ÛP7P2)OÄÓäR67PU03KLXN7P<)Õ

Ü]562·OD2=ODRPU"0rK@ÔZ246?FEG767PK@76ØÃ>;XZ:3ã9XGӇ/1032)465PEN7åEG7PO !KLR67PODX+ê@á›ñ›ì;RP<32)<E032)He4WXZ:rEN?

?@XZØNKFU0rX¹HeXDOD2)?46:rXNÙ6?L2,HJ<eEG7POó46?FEG7P<)Õ»Ü]562):32KL<JEÚ<3XN465PKL<Y03KFU,EG032)Oå03562)XN:r2,H×½46:3XšÔIKL76Ø

2,7IÔIK@:rXN76He2)7Z0ÊÓäXN:;O6XNHJEGKL7HeXDOD2,?L?@KL76ØEN7POJ46?FEG7ÓäXN:rHeEG03KLXN7‚ÕZÖb7J035P2,KL:EN4646:rXZENUV5vAšÓäXN:rH×

Eš03KLXN7·XGÓv:r2)U,R6:r<3KLÔN246:rXDU2=ODR6:r2)<»KL7ÄU,XN7P<3KFOD2,:r2)Oe4PEN:Y0XGӂ0r562ŠODXNHJEGKL7HeXDOD2,?L?LK@76ØWAI>T562,:r2

<YRPUV5ó46:rXIU,2)ODRP:32=<U)EG7óÙW2OD2)ÔN2)?@XZ4W2=O+EG7WOå46:rXšÔN2=OåKL7Z0r2,:VENU03KLÔN2,?LÒÚ>TKa0r5+0r562035P2,XN:r2,H

46:3XšÔZ2,:=ÕDCTÓ032):T035PKL<<Y0rENØN2ZAD46?LEN7P<U)EG7Ä03562)7¿ÙW2(U,XN7P<Y03:rRPU"0r2)OEGRD0rXNHJEš0rKLU)EG?L?@Ò·Ù1ÒÄ:32,ÛP762,×

H2)710XGÓú<34–2)UK@ÛWU)Eš03KLXN7W<,Õ

76?LK@ãZ2·/1032)465PEN7ÚEN7PO !K@R67WODXPA‚>2EG:r2eK@710r2,:r2)<Y032)O¹KL7åEGRD0rXNHJEš0rK@7PØÄ0r562:r2)U,R6:r<3KLÔN2

46?LEN7ÓäXN:rHeEG03KLXN7Ä46:3XDU,2)<r<,Õ

Ì;È‡Ï ?YÎ AIÐkÌÊÈ

Ñ 2ÙW2)?@KL2,ÔZ2-03562UXNHÙ6KL7PEš0rK@XZ7XNÓ!?@KL762)EN:‡?LXNØZKLU-EN7POK@7WODRPU"0rK@XZ7KF<‡Ee46:rXNHeKF<YKL76ØE›ÔN2)7IR62

ÓäXN:Š035P2eÓäXN:rHeEG03KLXN79XGÓ]:32=UR6:V<YKLÔN246?FEG7P<ŠKL7æEO62)U?FEG:VEš0rK@ÔZ2>]E›ÒNÕ Ö½0EN?@?LXš><…RP<…03X¿Ù6:rKL76Ø

2íD4W2):3KL2,7WU2KL7õ035629UXN710r:3XZ?XGÓ-46:rXIXGÓ-<Y2=EG:VUV5 KL7òKL7PODRPU03KLÔN246:rXIXGÓ«<03Xåٖ2)EN:XN7õ0r56KL<

46:3XZÙ6?L2,HÕ16R6:3035P2,:rHXZ:32„035P2-2íD46:r2)<r<YKLÔN2…7PEš0rR6:r2„XNÓú?LK@7P2)EG:]?LXNØZKLUŠEG?L?LXš><E7PEG03R6:VEG?hEN7PO

UXN7WUKF<Y2ÓäXN:rHRP?LEG03KLXN7 XGÓ-<Y2)ÔN2,:VEG?]KL71032,:r2)<Y03KL76ØÚ2íI0r2,7P<3K@XZ7P<03XæU,XN7IÔN2)7Z0rK@XZ7PEG?]46?FEG7P76K@7PØ

035PEG0‡U,EG7ٖ2-K@7PU,XN:r4WXZ:rEG032=OKL7XZR6:]Óä:VEGHe2,>XN:rã Õ

Öb7óXZ:rOD2):0rXæOD2,HeXN7W<k0r:rEG03203562RP<32ÓäRP?@762=<3<eXNӇ0r56KL<JEN4646:rXZEZUV5‚A€>2¿EG:r2U,R6:r:32)7Z0r?@Ò

OD2,ÔIKF<YKL76ØE<320XNÓ2,í6EGHe46?L2)<TRP<3KL76ØODK43–2):32)7Z0„K@7PO6RPU"0rK@ÔZ2,?LÒOD2,ÛP762=O¿O6Eš0VEš0kÒI4W2=<,A6ÓäXN:‡2,íI×

EGHe46?L2NAD0r:32)2)<)Õ

C‡<XG0r562,:eEGRD0r56XN:V<5PE›ÔN27PXG032=O ê@áNGìBA€03562ØN2)762,:VEG?LKF<3EG03KLXN7æ46:rXNÙ6?L2,H KF<eU2,710r:rEN?Ê0rX

ÓäR6?@?ENRD03XZHJEš03KLXN7vÕC„<e>EZ<He2)7Z0rK@XZ762)OóKL7 <32)U03KLXN7 ë6Aú0356KF<e46:rXNÙ6?L2,H KF<eEGHe2,7PENÙ6?L2·0rX

EGRD0rXNHJEš0rK@XZ7‚A6Ù6RD0„>;2-5PE›ÔZ2Š76XG0‡ÒZ202,íI4P?@XZ:32=O0r562EG4P46?@KFU,ENÙ6KL?@K@0kÒ·XNӀ0r5PEš0„EN4646:rXZEZUV5ÄKL7

0356KF<UXZ71032íI0=Õ

! Y% % X&

Ü]5PEG76ãD<03X XNRPKL<32·é»:rÒNXZ:-ÓäXN:eODKF<3U,RP<r<YKLXN7P<XN7æ0r56KF<EN7POæ:r2,?FEš0r2)OæHJEš0r2,:rKLEN?MÕ/1032)46562)7

8;:32=<3<3>;2)?@?„>EZ<·<3R6464–XN:3032=OòÙIÒõEN7Êé/DS8<k0rRPOD2,710V<Y56KL4‚Õ]C?FEG7/DHeENK@?L?ŠEG7PO QZR6?LKLEN7

STKLUV5WEG:VO6<YXZ7ÄEN:32-<3R6464–XN:3032)OÄÙIÒÊé/DS8õØZ:rEN7Z0ïŠSGô¿ö1ëNâ)NâPÕ

- ; vË vȇÏ. A

ƒ=ˆ

~

ˆ ;xNiYl)j-`bštšˆúc)j-¸1yNmYl,mk\_c=d1l)¶D\_dšmkqrik¸ZikqrmYlmk\_c=d1`€c)fW¶_\adZq"l,i¶ac)z=\_n=ˆ! "#%$'&(

)

*+,-.3o»ƒ=ƒ)ƒ=0/G’1šoƒ322=Gˆ

4

qV^G\_`bq"w¿^›qrik`b\_c)d9c,f]gBj-¸Dq3ik\@l,¶5úc=¶_¶_qVz)q76–qVnY{1d1\_n"l,¶

4

qr¸Dc)ibm

(12)

N_ƒ=ƒ’/IƒV ; ohƒ 2 | ‘Nˆ

Nˆ

~

ˆ6€i yZd1\_d1zNo

~

ˆD c=¶_¶awZc)x1¶_qri"oZˆ

~

n3{Zd1qVqVxDq3ikz=qri"oDp‡ˆ

~

\_z)j…y1d1wPo1l)d1wĈ 6{Z\_qV¶_`bn3{Zqri"ˆ][]\_`½¾

¼By1dZnrmk\_c=d¿\_dikqV`bc)yZiknVqr¾«c,ik\aqrdGmkqVwÃwNq"wZyZnrmk\_^›qŠ¸Z¶@l,d1dZ\adZzZˆJgMd 3. , ., (,'

,- ) #$ .& # , # # ,)oI¸1l)z)q‘ 1

}

o–ƒ22=Gˆ

Zˆ ˆ€y1dIwGtšo ‡ˆ ~ mkqV^›qrd1`Vo€‹úˆ^)l)d9]l,ikj-qr¶aqrdWo ‡ˆ€gMikqV¶al)d1wPoúl)d1w ‡ˆ ~ j(l,\a¶_¶ˆ

4

\_¸1¸Z¶_\adZzZ

õ{ZqVyZik\_`½mk\_nfFc)i]z=y1\awN\adZz(\ad1wZyZnrmk\_^›qT¸Zikcšc,fF`Vˆ"! .# *$.,(*%8,-.3o6‘ ; _ƒ | ’3/ ; ’)Goúƒ322=Gˆ

ʶ_`bc-l"^=l,\a¶al,x1¶_qTfLikc=j uvwZ\_dGx1yNikz={l)`»[ Êg

4

qV`bq"likn3{&hl)¸Dqri;†cNˆI’,‘ 1šˆ

’Gˆ

4

ˆ‚u!ˆv‹ \_›qV`Šl,dIw¿†„ˆ'Zˆ‚†\_¶_`b`bc=dPˆ ~ 6

4

g& ~ ! dZqrº l,¸1¸Zikc=l)nY{¿mkc·mk{Zql,¸1¸1¶_\_n"lmk\ac)d9c,f

mk{ZqVc)ikqrjŸZikc^G\adZz„mkcŠ¸Nikc=xZ¶aqrjÅ`bc=¶_^G\adZzZˆ(! .# *).,(*%8,-.3o

;

_ƒ

|

20/

;,}=| ohƒ32 1šƒ=ˆ

‘Nˆ"*„ˆ

4

ˆ+*{Il,`b`bqVjŠ¾~ l)dZ\1l,dIw ~ ˆ=Àõˆ=[…ˆ ~ mkqVqV¶ˆ

4

qVnVyZik`b\_^›q»¸Z¶@l,d1`Vˆ6gMd, 3.-50/ & $ ,

1 32 $ ,45, ,,+5/61 ) 798+:,oZ¸Il,z=qV`’)3/G‘)No

~

m"ˆ Êy1z)y1`½mk\_dWo;*qrikj(l)dštšoDƒ 22Nƒ)ˆ

1Gˆ<Nˆ ¾>=…ˆ?*\siYliYwPˆ µ \_d1q"liŠ¶_c=z)\an)€\smk`„`½tZdšmYlŒ¿l)d1w`bqVj(l)dšmk\_nV`VˆÄgBdZˆ–¾@=„ˆA*\siYl,iYw6oB=…ˆ µ l,¾

fLc=dšm"o‚l,dIw µ ˆ

4

qVz)d1\_qri"o‚q"wN\smkc)ik`VoC!7D ,-. ,E!,- 6ro‚dGy1j…xDq3i ;;; \_d µ c=d1wZc)d

elmk{1qVj(lmk\_n"l)¶ ~ cšnV\_qrmMt

µ

qVnrmkyNikq]†c,mkqV` ~ qrik\_qV`Vˆ-l)j…xNik\awZz=qTp;d1\_^›qrik`b\smMtF&‚ikqV`b`VoWƒ322›’Gˆ

| ˆ"*„ˆ*;ikcG›q=o ~ ˆN c=¶_¶awZc=xZ¶_qri"oZl)dIwFZˆ ~ nY{1dZqVqVxDqrikz)qri"ˆ µ

\_d1q"liÊwZq"wNy1nrmk\_^›q;¸1¶al)dZd1\_d1zNˆ(H&.,-IJ ,;7 " #$'&+ ,1oD‘

;

; )0/ ; ‘ ; o‚ƒ322)‘Nˆ

2Nˆ<NˆW;qV`b›qrmk{Po ‡ˆWúyZdIwGtšo6l)d1w ˆ ~ j(l)\_¶_¶ˆ‡p`b\_d1zj-\aw1wZ¶_qr¾«c)yZmikqVl)`bc=dZ\_d1zmkcnVc=dšmbikc)¶‚mk{Zq

`½tNdšmk{1qr`b\a`Êc)fvmYl)\_¶s¾äikqVnVyNik`b\a^=q„¸Nikc=z)iYl,j-`VˆÊgBdJ[]qVqr¸Il)‰l)¸1yNi"oIq"wN\smkc)i"oA:K:0L.,(.,-

" ,M3,-. ,4! &+# (35N3& *,ZoN¸Il)z)qV`»Nƒ } /š ; No ~ l,iYl,mkc)z›l ~ ¸Zik\_dZz=`VoG†J=„oGp ~ ‡o

)y1d1q„ƒ322

;

ˆO&vyZx1¶_\_`b{1q"wl)`

~

¸Nik\adZz=qri µ qVnrmkyZikq†c)mkqr`Ê\_d »ibmk\sÁInV\al)¶PgBdšmkqV¶_¶_\_z=qVdZnVq=o1†cŠ‘

}

1šˆ

ƒ } ˆ<Nˆ ~ ˆ)cGwZl)`vl)d1w…[…ˆK\_¶a¶_qri"ˆ

µ

c=z)\an»¸Nikc=z)iYl,j-j-\_d1z\_d(l;f@iYl)z)j-qVdšm€c,f6\_dGmkyZ\smk\ac)d1\_`½mk\_n»¶a\_dZq"l,i

¶_c)z=\_n=ˆJ.,P .# , ,Q " #$'&+ ,1o–ƒ)ƒ }

;

 ; 13/G)‘›’šoúƒ322)Nˆ»u‚ŒGmkqVd1wZq"wl)xZ`½mbiYl)nrm;\_d

mk{Zq6&hikcšnVqVq"wN\_d1z=`‡c)fúmk{1q ~ \_ŒGmk{ ;dZdNy1l)¶ ~ tZj-¸Dc)`b\_y1jûc)d

µ

c=z=\_n-\_d úc)j-¸1yNmkqri ~ nr\aqrd1nVq=o

Êj-`½mkqriYw1l,jeoR=y1¶stƒ’ /Iƒ | o ƒ 22Nƒ)ˆ

ƒ)ƒ=ˆ ˆ"gMikqr¶@l,dIw‡l)d1w ˆúyZdIwNtšˆ›u‚ŒGmkqVdZ`b\_c=d1`PmkclJ*qVdZqriYl)¶_\TS"l,mk\_c)d €ik\smk\anvfFc,i‚gBdIwNy1nrmk\_^›qA&hikcšc)fMˆ

gMdUĈ ‡ˆ?n

4

c)x1x1\_q(l,dIwEZˆ–‰Šˆ ~ ¶al)d1q3tšo–q"wN\smkc)ik`VoV:W., (,',' ",P3,' ,

! &+# (3"N3& *,ZoG¸Il,z=qV`€813/š‘Nƒ)ˆ

~

¸Zik\_dZz=qrib¾@Xvqrik¶al)zZo1ƒ322)‘Nˆ

~

¸Nik\_d1z=q3i µ qVnrmkyZikqʆc,mkqV`

\_d Êibmk\sÁ1nV\al)¶DgBdšmkqV¶_¶_\_z=qVdZnVqʆcZˆDƒ)ƒ } Zˆ ;¶_`bc‡l"^=l,\a¶al,x1¶_qfLikc)j uvwZ\_dGx1yNikz={(l)`ú[ Êg

4

qV`bqVl,iknY{

&hl,¸Dqri1 | ‘Nˆ

ƒ ; ˆu!ˆ)›l,nVc=¸Z\_dWˆ ú¶al)`b`b\_n"l,¶ Êg»¸1¶al)dZd1\_d1zl)`;mk{1qVc,ikqVj&¸Nikc^N\_dZzZ6{Zq…n"l,`bq…c)fúlŠfLiYl,z=j-qVdšm]c,f

¶_\_d1qVl,i‡¶_c=z=\_n=ˆgBdU!J!V!J<Y )Z #%$ &# ,E! & + # (3LN 3& *, ,[ ,+,; 3

\] ., A^5($ Y

)

I8W_K:o€¸1l)z)qV`Š‘ ; /G‘)‘Nˆ % ;g`&hikqV`b`5&vyZx1¶_\_n"l,mk\_c=dZ`VoC&hl)¶_c

ʶsmkcZoPƒ322)Nˆ

ƒVNˆ"a ˆ)el,d1d1ll,dIw

4

ˆ1Àl)¶awZ\_d1z)qri"ˆÊc"º mkc-nr¶aqVl,iTl-xZ¶acšnYÂD6l…mk{1qrc)ibtec,fú¸Z¶al)d1`Vˆ<H & .,-!

! &+# (3^5,,+)oD



)=0/G11šovƒ 2 | ‘Nˆ

ƒrZˆ"Ĉ.el)`b`bqrikc)dWˆR*qVdZqriYl,mk\_dZz;¸Z¶@l,d1`W\adT¶_\_d1qVl,ih¶_c=z)\_núgbg33 z=qVc)j-qrmbibt]c,f1nVc)d)¼By1d1n3mk\a^=qúl,nrmk\_c=d1`Vˆ

" #$'&(

)

*,-.3o–ƒ)ƒ"N1Gƒ/š 1)’Govƒ322)Nˆ

ƒ"’Gˆ"Ĉel,`b`bqrikc=dPo;ˆ 6–c)¶_¶ayPo›l,dIw"Zˆ.X€l)ySrqV\_¶a¶_qV`Vˆ*qVdZqriYl,mk\_dZz¸1¶al,d1`h\_d„¶_\_d1qVl,i‚¶_c=z)\an!gY ;nrmk\_c)d1`

l,dIw¸Zikcšc)fL`Vˆ " #$'&(

)

*+,'.3oWƒ)ƒ"

;

) 23/G1Gƒ=ovƒ322=Gˆ

ƒV‘Nˆʈ!†c,iYwZ`½mbi. c=jeo‰Šˆ7& qrmkqrik`b`bc)dWoÊl)d1wbZˆ ~ j-\smk{Wˆc # #, ,bd ,e5f $

ˆOg;ŒNfLc)iYwp;d1\_^›qrik`b\smMtF&‚ikqV`b`VoWƒ322 } ˆ

ƒ31Gˆ]À ˆ ~ mkqV¸1{1l)dl)d1w ~ ˆZú\_y1dIwNcZˆh[q"wZyZnrmk\_c=dxIl)`bqVwikqrÁ1d1qVj-qVdšmú¸1¶al)dZd1\_d1zNˆ gBd;ˆZ[iYl)xZx1¶_q=o

qVwZ\smkc)i"oA 3.3,+ Wh.,(.,-,- " ,M3,-. ,! .# *A., (*%8,-.

, ,,+

)Z

(#5ie!V

)

I8Kjk"oI¸Il,z=qV` ; ƒV0/ ;;)} ˆ % ;gC&‚ikqV`b`VoWƒ322=‘Nˆ

ƒ

|

ˆ µ ˆ

~

mkqrik¶_\_d1zl)d1w…u!ˆ

~

{Il)¸Z\sikcZˆ 0! O )ˆg6&hikqV`b`Vo l)j„xZik\awZz)q=oK ‡o›`bqrnVc=d1w

(13)
(14)

References

Related documents

6.26 (Static Timing Analysis) Given the circuit of Figure 49 with gate delays shown, assume the arrival times for the primary inputs are 0 except for input b with arrival time 1ns,

A r.ecursive scheme for simultaneous optimal estimation of conditional mean and variance in a nonlinear ARCH (autoregressive con- ditional heteroscedastic) model is also

Meanwhile, all other facts ( e.g. Thus, this processing approach minimizes unnecessary spent energy. Additionally, we can use another distinguished characteristic about sub-queries

We now demonstrate how SuSLik synthesizes recursive calls and discovers the auxiliary using a single mechanism we call cyclic program synthesis [34], inspired by cyclic proofs

We enable the strategies to deal with the axiom-links between propositional variables (so that they form a model of the free dialogue category over the discrete category VAR )

It consists of a constraint generation step which produces a legal Boolean network, which can be placed such that ev- ery path is monotonic, and a constraint-driven synthesis step

Because the derivation of recursive residuals and estimates for LMM using the BLUP estimation method is not as tranquil as the derivation of recursive residuals for OLS,

Add the chosen prime to the selected set and create a new table by deleting the prime and all 0-terms that are contained by this prime in the original table. Set T to this new