A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation

HAL Id: inria-00074210

https://hal.inria.fr/inria-00074210

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,

A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation

Albert Benveniste, Bernard Levy, Eric Fabre, Paul Le Guernic

To cite this version:

Albert Benveniste, Bernard Levy, Eric Fabre, Paul Le Guernic. A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation. [Research Report] RR-2465, INRIA. 1994.

�inria-00074210�

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

!#"

$%& ('#)&+*-,../ 0(+*-,*1324115*6&879:&(*

Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic

N˚ 2465

January 1995

PROGRAMME 2

$%&&('# &*%, ./& +*-, *1 211 * &

79 6& +*

"!$#%&'

() +*-,./ 01)/23%&54$2 *66

78:9<;=8?>A@@$B3CEDGFH>AIKJML/INPO@RQS9<IUTKV<LB<WAX/8:9<;<8M>A@@Y>AZ:TU9A[\BZ];^B[T_B)IU9<;=TKJMTUBI

78P9`MBZ3a7bcd3efWchg

e3>iX/Xj9=8PZ3kB)8:BJ:l/B8?J:l/Bm[onYCipq<rsD t>i[LS>A8POvuw=w<rxDGr=yXj>A;=BN

-/.102354765298;:[ Z:l/TUN3Xj>iXjB 8W=<&BJ 9<[/N:Tk B8)>?@#A/&>BhJM9=[Z?>ATU[/TU[/;RQS9<Z:l N:ZP9/J:lj>AN:ZPTKJ>A[jk [9<[b

N:ZP9/J:lj>AN:ZPTKJ7CCC-JM9=@$XS9<[/B [Z:NED d9-JM9<@Xj9=NPBRN:LjJ:l NPON:ZPB@NW<&B$TU[ZP8P9/kLSJMBY> ;=B[/B8M>AI3JM9=@RQ/TU[j>AZ:9<8

<Hl/TKJ:l->AIUIU95<HN Z:l/BoN:XjBJ TGFJ>AZ:T_9=[-95H >i[ >i8PQ/TUZ:8?>A8:O$@TGI/BkN:ONPZPB @ T_[ Z:B8P@NH95HBIUB@$B [ZM>A8:O$JM9<@Xj9ib

[/B [Z:N95H9=[/IUO3Z<&9HZOXjBNDdHlL/NWNPONPZ:B@$N>i8PB9=Q/Z?>iT_[Bk]l/TUB8?>i8?J:l/TKJ>AIUIUOWQOhJM9=@$XS9<N:T_[; N:L/Q/NPON:ZPB@NW

<Hl/B 8PB)B><J:lNPL/Q/N:ONPZPB @ J>A[RQSBJTUB<&Bk$>iN >A[LK:TU[jJM8PB @$B[ZMfT_[ZPlBhkBJ 9<@$XS9<N:TUZPTU9<[95HZ:l/BNHL/IUI/N:ON b

Z:B@ODdHl/BR8:BNPL/IUZ:T_[;Y@TPI Bk NPZ:9 J:lj>iNPZ:TJN:ONPZPB @ N:XjBJMTPF0J>AZ:TU9<[/NR>A8:B\;=B[/B8M>AIUIUO-[/9<ZQKPBI/BJMLZ?>AQI_BMjW

N:T_[SJMB-ZPlBO k9 [9<ZR[/BJ BNPNM>A8PTUIUO XjB 8P@$TUZZPl/B T_[SJM8PB@B[Z?>iIHNPTU@RL/IK>AZ:T_9=[ 9RHhZ:l/B NPONPZ:B@SJ<>A8:T>iQ/IUBNED

gLSJPl >vN:T_@RLI>iZPTU9<[ 8PBV=L/TU8PB NYJM9=@$X/TUIUTU[/; ZPl/B-kBXSB[jk B[jJMO 8:BIK>AZ:T_9=[/NBI/T_N:ZPTU[/;vQjB Z< BB [ ZPl/B N:ONb

Z:B@TJ<>A8:T>iQ/IUBNED&c][/9<Z:l/B83TUN:NPL/BTU[UJ=9<IJ<B NFj[SkTU[/;RZPl/B@$9=NPZ&IUTWV=BIUORTU[Z:B8P[S>AINPZM>AZPB N395HH>NPZP9/J:lj>iNPZPTKJ

N:ON:ZPB@XH8P9=@ > NPBZ95H39=Q/NPB8YJ<>AZ:T_9=[/NED[Z BRX8P95JTKkB$> NP@ >AIUINPBZ95HHX/8:T_@TUZPTJ<BN\H9=8oZP8M>A[/N]H9<8:@$TU[/;

@TGI/BkfNPON:ZPB@NW9<Hl/TKJPl$>iIUI_95<HNZ:l/B3N:9<IUL/ZPTU9=[\9RHZPl/BHZ<&9oX/8:9<Q/IUB@N 9RHTU[jJM8PB @$B[Z?>iI/NPTU@RL/IK>iZPTU9<[o>A[Sk

BN:ZPTU@Y>iZPTU9<[95HNPZ:9/JPlS>ANPZ:TKJHNPON:ZPB@N<HTUZPl/TU[R>oJM9<@@$9=[H8?>A@B<&9<8V=DSdHl/B)JM9<@X/IUBZPB&@$9/kBITUN J>iIUI_Bk

FHg/g_^&!`!5aW+*baG*9dc]efc+g!hi+jf7>BkW>i[jk TUN)T_@X/IUB@$B [Z:BkRQO ZPlB[lm,n5I>i[/;<LS>A;<B=WjkB8:TJ<Bk

H8:9<@ ZPl/Bolm,np=q=r-NPO[jJ:l/8:9<[/9=L/NoIK>A[;<Lj>i;<B#Ds]L/8)8PB NPL/IUZPN>A8PB$>iX/X/IUTKJ>AQI_BfZP9$XS>AZPZ:B8P[ 8:BJM9=;<[/TUZPTU9=[

X/8:9<Q/IUB@NH9<8P@RLI>iZPBkTU[ ZPB 8P@$N&95Ht->A8YV<95JR8M>A[jk9=@uFSBIKkNH9<8Hl/TKk/k B[vt->A8YV<95JR@$9/kB I_N\^hw\tvt NkW

>i[jkvZP9vZPl/B$>iL/ZP9=@Y>iZPTKJo;=B[/B8M>AZ:T_9=[ 95HhkTK>i;<[/9=NPZPTKJN:ON:ZPB@NxH9=8oTU[jkL/N:ZP8PTK>iIX/IK>A[ZPNfNPZ?>i8PZ:T_[;vH8:9<@

Z:l/BTU838:T_NYVY>i[j>AIUONPTUNED

yozb{=|}~3#€0585NPZP9/J:lj>iNPZPTKJ.NPONPZ:B@$NW@$TPI/Bk]NPONPZ:B@$NWQSBIUTUBHbHL/[jJ ZPTU9<[/NWAJM9<@@RL/[/TKJ>AZ:TU[/;X/8:9 J BNPN:BNW

N:T_@RLI>iZPTU9<[WABNPZ:TU@Y>AZ:TU9<[D

ƒ‚)„

…h†‡Eˆ

„

…1‰‹Š†ŒŽ

‘5’G“”•–U—&”h˜’G“™\”•š’G“,•Y›œš•”“ƒ’G—j—žŸƒ Ÿi¡¢L •“Y£# •–£9U¤¥¦E§¨#©’G˜ª‘d“i™«•N˜ƒ’G˜ª¬G•£9Ÿƒ˜©’­¬­¬=™–5–U•Y™”’­/®¯¯°’­

±²

…,³%´h…iŠµW¶i·¸¹º³Yˆ‡Š,…i´»#¶]µ¼…i½#¶…ƒ¾

”•ži£¿=¡®¯EÀ&¯5£

Y¢=¬­Áb•”˜Â=•5š•]5’G“,˜i•¨Ã”,’GÄNÅ5™Á5”•¨5™#›xƙÇ5¬Èb•ÉÇ#•”i5’Gę”h•Ê©’G˜ƒ‘?Ÿª Ÿ,¡¢Ì˼ŸªÍ Ÿª¢¨#¿™«–5Ç#“Î̝5’Gš•”“ª’G˜,™’­”•›5•

Â=•Y™Ç5¬­’G•Ç¨5¦EÏÐÑEÀN •]5#•“¿•›5•YÒ#¨#Ŕ™#ÄY•¨#™«•%Ó̒­”i’G“,™R£žG”£EÂ=•”i#™”›¿£ÈU•YšEÔ\’G“©’G˜ª‘?˜ª‘#•Õ•]–#˜£#—&ž—žºÃ¬G•ÄY˜ƒ”i’Gę&¬

™#›x¿—«–5Ç#˜i•”=Ý#֒­#•Y•”i’­#Ö¨%Î̝5’Gš#£—ž7¿™¬­’­žW—”i5’G™5¨Õ™š’G“Y¨E¿¢×¯EÏ°E®°R¨Î‹¡¢¨¬G•YšEÔ5ӕĕ£Ç#ě5™Yš’G“Y£•Y›ÇU£

Y

‘5”h—&Ç#֑#—Ç#˜5˜ª‘5’G“#–#™&–U•”¨©•Ç#“,•˜ª‘#•7©—”›œØª#—5˃“i˜,—Äi‘#™“,˜ª’GÄ٘i—=”•ž•”˜i—“iÔE“i˜,•]«“#©‘5’GÄi‘‘#™š•#—=”™#›5—«o–#™”˜£

Ÿ)ė&˜ª”h—&¬7“,Ä]’G•#ÄY•—”“i˜,™˜ƒ’G“i˜ƒ’GÄY“¨9“ƒÇ#Äi‘?“iԓ,˜i•«“©—Ç5¬G›xÁU•ÄY™¬­¬G•›[Øi›5•˜i•”i«’­5’“i˜ª’GÄÙN™“—–5–b—“,•Y›x˜,—ÚØi“i˜,—Äi‘#™“i˜ƒ’GÄYÙbÛ

‘#—©•š•]”˜ƒ‘5’G“#™«•©—Ç5¬G›Áb•«’G“ƒ¬G•Y™›’­#֒­ÜÄY—«–5Ç#˜i•”7“iĒG•]#ĕ¨©‘#•]”h•Øi›5•Y˜,•]”,«’­5’G“i˜’GÄYًš“Y£1ت#—#›5•Y˜,•]”,«N’­’G“,˜ª’GÄÙ

‘#™“=™˜i—˜i™¬­¬Gԛ’­Ýb•”•5˜«•Y™5’­#Ö5£#‘5’G“’G“©‘Ô©•›5•Ä]’G›5•›N˜,—NÇ#“i•˜ª‘#•©7—&”h›Úت#—5˃“i˜,—Äi‘5™“,˜ª’­Äّ#•”•£

z 0z 8 )>A[NYJMBZ >A8:ZPTKJMIUB<W&9<[ JM9=[/NPTKkB8:B k BN$N:ON:ZB@BN lOQ8PTKkBN JM9<@Xj9=8PZ?>i[Z> I>QH9<TUN

kB NYJM9=@$XS9<N?>i[ZPBN$>iI^B>AZP9=TU8PBNRBZ[/9<[ >iI^B>AZP9=TU8PBNDs][ @RL/[/TUZoIB[/NPB @RQ/IUBYkB J BN$N:ON:ZB@BNYkL[

JM9=@RQ/TU[j>AZ:BL/8HL/[TWJ=B8PN:BIDs][-X/8:9<XS9<NPBL/[-@TU[/Tb+IK>A[;>A;=B<Wlm,n&Wjk&^B8:TJ BRkB)lminp=q=rSWV=L/TXSB8:@$BZ)IK>^

N:X BJMTPF0J>iZPTU9<[$k^ B Z:BIUNNPONPZB@$B NED#s][Rk9<[/[B B[NPL/TUZPBHL[\@ BZPl/9/kB&XS9<L/8IK>HN:T_@RLI^ >iZPTU9<[]TU[jJM8/^B @$B[Z?>iIUB

kB JMBNRN:ON:ZB@BNW>iTU[/NPTHV=L/B$IBNPZ:TU@Y>AZ:TU9<[-TU[jJM8/^B@$B [ZM>AIUB$kB JMB8PZM>ATU[/NRkB$IUBL8PN BZM>AZPNRJ>=JPlH^^ BNED&F&B

@9 kBIUBBNPZB[BH+>iT_Z8:BIUT^B k>iNPNPB X/8BN>ALo@9/kBIUB kB]B@$X/N:ZPB8b g lj>HB 8B[j:[ZPBIUIUTU;<B[jJ Bc38:ZPTPF0JMTUBIUIUB#D

~20|%6z 8 NPONPZB@$B NoNPZ:9 J:lj>iNPZ:TV=L/B NWNPONPZB@$BNlOQ/8PTKkBNWH9=[jJMZPTU9=[/N\kB$JM8:9AO>i[jJMB<WX/8P9/JMB NPNPLN

JM9=@$@RL/[TJ >A[ZPNWANPTU@RL/IK>AZ:TU9<[WAB NPZPTU@ >AZPTU9=[D

+* *

235~€ 6R2ƒ~ 4 € L~72 U42i~

4 € 2z×lm,n i| i4 4 z

CDUu :N:NPL/B NhTU[@$TPI/BkNPONPZ:B@$N3J 9<@$XS9<N:TUZPTU9<[

CDC FHgg w

CDy dHlB?lmin @$TU[/TbIK>A[/;ALj>i;<B ur

i42i~

!

yDUu F&9=@$X/8:BNPN:TU[/;\Z:l/Bo8M>A[jk9=@ Xj>i8PZH95H>NPONPZ:B@ u

yDC d<&9RX/8:T_@TUZPTJ<BN" uw

yDy 7 8P9<XSB8:ZPTUBN)95HZPl/B)X/8:T_@TUZPTJ<BN# C/u

yDp :[SJM8PB@B[Z?>iINPON:ZPB@ NPTU@RL/IK>AZ:TU9<[ C<y

yDr dHlB?lmin NPTU@RL/IK>iZPTU9<[RJM9<@X/TUIUB8 C$

% &

02 L42i~

!'

pDUu t >I/TU@RL/@b+IUTPV<BIUTUl/9<9/kJM9<@X/8PB NPNPTU9=[Y9RH 8M>A[jk9=@$N( y/u

pDC c H8?>A@B<&9<8VBH9=8HBNPZ:T_@ >AZ:T_9=[W>A[jk Z< 9RX/8:TU@$TUZPTJ<B N) y<C

pDy 7 8P9<XSB8:ZPTUBN)95HZPl/B)X/8:T_@TUZPTJ<BN# y<y

pDp :[SJM8PB@B[Z?>iIBN:ZPTU@Y>iZPTU9<[ y<r

pDr dHlB?lmin BN:ZPTU@Y>iZPTU9<[$JM9=@$X/TUIUB8* y$+

, 0E60E0,~ 4 € ~ 60,~ 0 %-'

- .Ü35~=~0/~1/2zb~735z

435

€zb3Ú-Ú00 62i~

-

37 %-

8 .Ü35~=~0/~1/9/~73 ,4;: 437 =< 4 €?>z L4 437 €zb3)-Ú00 62,~ - 37 %-

.Ü35~=~0/~1/>z L4

435

€zU3)-Ú00 62,~

-

3@ %!%

,

.Ü35~=~0/x~0/A2zb~735z

B354C

/~3 i4D:

437 =<C 4

€E>Êz L40

B37 4 €

435

2z

zb|

zb354 6R470z

%-

& &GF 4 6,z0B~0/œ6R~ 6Ê~ € 0{02z 65~ 6i42,~ %H

* 1 +* *.1 ! & +*

dHl/TUNXj>iXjB8X/8:9<XS9<N:BN>3;=B[/B8M>AI9H8M>A@$B< 9=8VH9<8Z:l/B&NPXSBJMTPF0J>iZPTU9<[R>A[jkfL/N:B 9RHjX/8P9=Qj>AQT_IUTUNPZ:TKJ@9/kBIUN

TU[ >iX/X/IUTKJ>AZ:T_9=[/N39RH IK>A8:;<B\JM9=@$X/LZ?>AZ:TU9<[j>iIJM9<@X/IUBI/T_ZObDd9$N:B8J=B$>AN38:BHB8:B[jJMBTU[ 9=L/83N:L/Q/NPBV<LB[Z

kTUNMJML/NPN:TU9<[W=<&B[/95< kBNMJM8PTUQSBRNPBJ=B8?>iI8PB>iI>AX/X/IUTKJ>iZPTU9<[/N\<Hl/TKJ:l-BTUZPl/B 8hB @$X/IU9AOW9<8hJ 9<L/IKk QjB[BFjZ

H8:9<@ ZPl/B)L/N:Bo95HX/8P9=Qj>AQT_IUTUNPZ:TKJH@$B ZPl/9/kND

* *bƒ)7& cR$%$ªeEc5$>)!5+%x !RaG*!,cRb !5A)$?!5!5aG&ZOX/TKJ>AIUIUO\8:BV=L/TU8PBo>f[L@Rb

QjB 8395HZ:99=IUNH9=8HZPl/BfNPXSBJMTPF0J>iZPTU9<[->A[Sk$N:TU@RL/IK>AZPTU9=[R95H N:ONPZPB @$NWS>A[jkZ:9$JM9<@X/L/ZPB]NPZM>AZPTUN:ZPTKJMN

95HTU[Z:B8PB NPZEDdHlBH@$9/kBIUIUTU[/;3>A[jkfNPTU@RL/IK>iZPTU9<[)Z?>iNVNL/N:Lj>AIUIUOo8:BV=L/TU8PBH@$9/kLI>i8@9 k BIUNW<Hl/TKJ:l

>A8:B\9RHZPB[×J<>A8:TK>AZPTU9=[/N39RH NPZ:9 J:lj>iNPZ:TJR7BZ:8PT[BZPNy=q]DSdHl/BRJM9=@$X/L/ZM>AZ:T_9=[ 95HHNPZ?>iZPTUNPZ:TKJMN)8PBIUTUBN

9<[ ZPlBhL[jkB8:I_OTU[/;Út->i8V=95J$JPlS>ATU[->ANPN:9/JMTK>AZPBk$Z:9RZPl/Bo7BZ:8PT[/BZHN:XjBJ TGFJ>AZ:T_9=[D

' !i$o$%+c5,cR !7aP,+!,c5bWkBXSB[jkTU[/;9<[)<HlBZPl/B 8HZPl/BOBH9/JML/N&9<[R9=[/BMbPkTU@$B[NPTU9<[j>iI

NPTU;<[S>AIUNWN:LjJ:l >iNNH9<8&NPXSBBJ:lv8PBJ 9<;<[T_Z:TU9<[W9=8 @RL/IUZ:Tk T_@RB [/NPTU9<[S>AI9<[/B NWj>iNHTU[$TU@Y>i;<B3>A[S>AIUONPTUN

>A[jk L/[jkB 8PNPZM>A[jk T_[;jWRH8PBV=L/B [Z:IUOR8PBIUOR9<[RlTkkB[ t >A8V=95J\@9/kBIUNN^hwtQt N%ky9<8t->i8V<95J

8?>i[jk9<@ FjB Ik NUuCWSuD.9<ZPl JMIK>AN:NPBN&95H@9 k BIUN lS>J<BHX/8:95J<BkRV=L/TUZPBHN:LjJJMB NPNH L/ITU[RZPlBTU88PBNb

XjBJMZPTJ<B>AX/X/IUTKJ>iZPTU9<[$>i8PB>iNEDb:[ Xj>A8:ZPTKJML/IK>i8W=ZPl/B)QSBNPZ]NPXSBBJ:l-8PBJM9<;=[/TUZPTU9<[NPONPZ:B@$N3JML8P8PB [Z:IUO

>J<>ATUIK>AQ/IUB\>i8PBRQj>iNPBk 9<[ w\tvt NEDdHl/BR[/9=[/TU[ZP8PLNPTJ<B$>iX/X/IUTK>A[jJMBRIU9><k @$9<[T_Z:9<8:T_[;RX/8P9=Q/IUB@

kBNMJM8PTUQSBkv8PBJ B[ZPIUO-TU[_uq 8:BX/8PB NPB[ZPNR>A[9<ZPlB83TU[ZPB8:BNPZ:TU[/; Xj>AZ:ZPB8:[-8PBJ 9<;<[T_Z:TU9<[-X/8:9<Q/IUB@vW

<Hl/B8:Bh9=[/BHNPB BVNHZP9\kB ZPB8:@$TU[/B<Hl/TKJ:l$>AX/XI_TK>i[jJMBNNY<HTUZ?J:l$9=[$>A[jk9YTU[$>A[RTU[jkTJTKkLj>iIl9<Lb

NPBl9<IKkW=Qj>AN:Bk9<[R@B>AN:L/8PB@B[ZPN95HZPlB3ZP9=Z?>iI/IU9><kEXj95<&B8ED9:[RZPlT_N&JM9<[ZPB&I ZW>iX/X/IUTK>A[jJ BN J>i[

QjBf@$9/kBIUBk T_[ZPB8:@$NH9RH JM9=@$@RL/[/TKJ>iZPTU[/;]NPZP9/J:lj>iNPZPTKJo>iL/ZP9=@Y>iZ?>D

cEA9a"!EAo>dcRc5$ƒ/!R7A[A5,! 7ch,+&$%c+%AR*U$eEcR$?+c5>!7a@)]>B 8PB I_O 9RHZPB[ 9=[

> Q/IUB[jkv9RH N:Z?>iZPTUNPZ:TJ >AI >iX/X/8P9><J:l/BN"CH9<8)[L/@$B8:TKJ>AINPON:ZPB@NW>A[jkvN:O@RQS9<IUTKJ)Z:BJ:l/[/TKV=L/BN

95H\>A8:ZPTPF0JMTK>iI3TU[ZPBIUIUTU;<B[jJ B[H9<8RN:ONPZPB @$N$9RH> JM9=@RQ/TU[j>AZ:9<8PTK>iI [j>iZPL/8:B#DwH95<&BJ<B 8W&NP9=@$B<Hlj>iZ

NPL/8:X/8PTUN:T_[;<IUOW<HlT_IUB @$9/kB I_NX/IK>O >vNPTU;=[/TPF0J>A[ZR8:9<IUB T_[ Z:l/B kBJ=BIU9<X/@B[Z\9RHh@9<[/TUZP9=8PTU[/;

N?J:l/B@BNW8PTUNV$>i[j>AIUONPTUNHJM9<[NPTKkB8M>AZPTU9=[/N3>A8:BhLNPLj>iI_IUO[/9<ZHTU[jJ I_LSkBk=D/e T_NYV$>A[j>iIUON:TUNTUNH@Y>ATU[/IUO

L/NPBk ZP9$>iNPNPB NPN3Z:l/BoNM>HBZO@Y>i8P;<TU[/N.95H kBN:T_;=[/NWQ/L/Z3k9BN][/9<ZHN:BB@ ZP9RB[Z:B83Z:l/BoNPO[ZPlBNPTUN

95HH9<[bIUTU[/B\@9<[/TUZ:9<8PTU[/;R>A[Sk kTK>A;<[9<NPZ:TKJMN)NPONPZ:B@$NWBJ<B [ ZPl/9=L/;<l N:LjJ:l >A[vT_[SJMIUL/NPTU9<[×<&9<L/IKk

QjBfl/TU;<l/IUOQjB[BF0JMTK>AID

g LjJ:l >iX/X/IUTKJ>AZ:TU9<[/N&8PBV=L/TU8:BoZPl/B\H9=IUI_95<HTU[/;\HL[jJMZPTU9=[/N$#

f7]> % +&+!,c5 TUNE> Fj8PN:Z\TUNPN:L/B)H9<8oJM9<@X/IUBI N:ON:ZPB@NED'BJ>AL/N:B$@9<NPZ)9RH3ZPl/B$>iX/X/IUTb

J>AZ:TU9<[/N\< BolS>J<B\kB N?JM8:T_QSBkW NPLjJ:l >AN3IU9><k >AX/XI_TK>i[jJMB)@$9=[/TUZP9<8:TU[/;jW=9<8]ZPl/B@$9=[/TUZP9<8:TU[/;\>A[Sk

kTK>A;=[/9<N:ZPTKJMN39RH IK>A8:;<BMbN?J>iIUBoNPONPZ:B@$NWST_[bJ=9<IJ<Bo>R@TPI Z:L/8PB)9RH 8?>i[jk9<@ >i[jk [/9=[/8?>i[jk9=@ X/l/BMb

[/9<@B[j>W> >?@#A NPZ:9 J:lj>iNPZ:TJ(A[/9=[b+N:ZP9/J:lj>AN:ZPTKJoH9=8P@ 95Ho@$9/kB I_IUTU[/; TUN$kBN:T_8M>AQ/IUB#DHgBJ<B8M>AI

9<Z:l/B8V=BO[HB>iZPL/8:BNZPlj>iZœ<&9<LIk [/BBkvZP9 QjBRTU[jJ I_LSkBk >A8:B\@9/kL/IK>A8:T_ZOWTDB#DZPlB>iQ/TUI_TUZO ZP9

NPXSBJMTPHORIK>A8:;<BHN:L/Q/NPON:ZPB@NH8P9=@ NP@Y>iIUITU[ZPB 8?><J ZPTU[/;o@9 k L/IUBNWB>iNPB39RH@$9/kTPF0J>iZPTU9<[W>A[SkZPl/B

Xj9=NPN:T_QT_IUTUZORZP9R8:BL/N:BoNPL/QNPONPZ:B@$N]T_[[/B< >AX/XI_TKJ>iZPTU9<[NED

dHl/B >AQ/TUIUTUZO ZP9 ƒ>?*ba!RN:ON:ZPB@NWH>ANo< B I_Io>iN$BJ<>iI_LS>AZPB NPZ?>iZPTUNPZ:TKJMN 95H\TU[ZPB8:BNPZ TUNY>iIUNP9 >

[/BJMB NPNPTUZObDc3;>ATU[WS@$9/kL/IK>i8PTUZO[< 9=L/IKk-QSB$kBN:T_8M>AQ/IUBRTU[ ZPlT_NJM9<[ZPB&I ZW >iIUZPl/9=L/;<lvTUZh@ >O QjB

IUBNPN3JM8:TUZPTKJ>AISZPlS>A[)H9<8&NPONPZ:B@ N:XjBJMTPF0J>AZ:TU9<[Dc]NNH9<8N:TU@RL/IK>AZPTU9=[WA>A[$TU@Xj9=8PZ?>i[Z J:lj>iIUI_B [/;<B]T_N

ZPl/B\eE!ƒ>j*baW!,cROce$!5$ 5b,&95HT_[Z:B8PBN:ZWSNPLSJPl->iNNH9<8NH+>iL/IUZbZP9=I_B 8?>A[SJMBo>AX/X/IUTKJ>iZPTU9<[/ND

7>AZPZ:B8P[8PBJM9<;=[/TUZPTU9<[\>i[jk)kTK>A;=[/9<N:ZPTKJMN >iX/X/IUTKJ>AZ:TU9<[/N8:BV=L/TU8PB&ZPl/Bœ&hª>d!h,cRdc]egb,A#A9*!5

h¼h,&?ce)ƒ ]$%&+WN:LjJ:l >AN3N:Xj99V<B[×<&9<8?k N3TU[-NPXSBBJ:l 8:BJM9<;=[/TUZPTU9<[W0>iX/X/IUTK>A[jJ BoIU9><k NNH9<8]ZPl/B

[/9<[T_[Z:8PL/N:TWJ=BY>iX/X/IUTK>A[jJMBRIU9><k @$9<[T_Z:9<8:T_[;Y>AXX/IUTJ >AZPTU9=[W9<8fZPl/B9<8PTU;=T_[ >i[jk >AN:NPBN:NP@B[Z\9RH

H+>ALI_Z:NHTU[)H+>iT_IUL/8:BhkTK>i;<[/9=NPZPTKJMNDt 9/kL/IK>A8:TUZO)< 9=L/IKk$>A;>ATU[$QSBx< B IJ 9<@$B]TU[YZ:l/TUN3JM9<[Z:BI/ZED

dHlB8PB&BI/TUNPZPN> J<>ANPZIUT_Z:B8?>iZPL/8:B 9=[oZPlB >iX/X/IUTKJ>AZ:T_9=[)95HjN:Z?>AZ:TUNPZPTKJMN>i[jk)X/8:9<Qj>iQ/TUI_TUZO]ZP93Z:l/B&@$9/kBIb

IUTU[/;jWiBNPZ:T_@ >AZ:T_9=[WTKkB [Z:TPF0J>AZ:TU9<[ yAp PW<>i[jk\k T>i;<[/9=NPZ:TJ NC09RH kO[j>i@$TKJ>iI<NPON:ZPB@NEDH[bH9=8PZ:L/[j>AZ:BIUOW

@9 k L/IK>A8PTUZO]T_N:NPL/B N >A8:B3>AIU@$9=NPZ[/BJ=B8 >=k/k8PB NPNPBkRQOoBTUZPlB8NPZM>AZ:T_N:ZPTKJMTK>A[N 9=8JM9<[ZP8:9<I/B [/;<TU[/BB 8PNW>A[Sk

>iN >oJM9=[/NPBV=L/B [jJMB<WX/8P9=Qj>AQ/TUIUTUNPZ:TJ&>A[SkNPZ?>iZPTUNPZ:TKJ>AI/Z:BJ:l/[/TKV=L/BNH>A8:B3L/N:Bk9<[/IUO8?>i8PBIUOT_[ZPlBh>A[S>AIUONPTUN

9RH IK>i8P;<B]N?J>iIUBoNPONPZ:B@$Nx^BIjJMBX/Z]TU[YZ:l/Bo>A8:B>95HXjB8]H9<8:@Y>i[jJMB)BJ<>AIULj>iZPTU9<[W<N:BBoQSBIU95<kD

f]c+g!,+Q' &h$B7o@9/kBIUN y<qWHCApf>i8PBv95HZ:B[ L/NPBk ZP95NPXSBJMTPHO NPZ:9 J:lj>iNPZ:TJ NPON:ZPB@NW&TU[

>iX/X/IUTKJ>AZ:T_9=[/N&NPLjJ:l->AN3V=L/BTU[/;[/BZ<&9<8YVN<HT_Z:l NPO[jJ:l/8P9=[/T>AZ:TU9<[W9=8H+>iL/IUZbZP9=I_B 8?>A[SJMB3N:ZPLjkTUBNDSdHl/BO

>i8PBHJM9<@@$9<[IO&B@$X/IU9AO=BkHZ:93BJ<>iI_LS>AZPB.NPZ?>iZPTUNPZ:TKJMN9RHjTU[Z:B8PB NPZTU[hXSB8]H9<8:@Y>A[SJMBBJ<>iI_LS>AZPTU9=[DwH95<&BJ<B 8W

N:LjJ:l JM9<@X/L/ZM>AZPTU9=[/No8PB I_O59<[5ZPl/B-L[jkB8:I_OTU[/;Lt->A8YV<95J J:lj>iT_[595HoZPlB 7BZ:8PT][/BZR@$9/kB I+WNP9 Z:lj>AZ

7BZ:8PT[BZPN]QORZ:l/B@NPBIJ<B N3k9R[/9<Z&NPTU@X/IUTGHOoZPl/BoJM9=@$X/LZ?>AZ:TU9<[R95HNPZM>AZPTUN:ZPTKJMNED:[C +W/C$PWl/95<&BJ<B 8W

Xj>i8PZ:TJ L/IK>A83N:ZP8:LjJMZPL8PBNo9RHZPl/BZP8M>A[/N:T_Z:TU9<[ @Y>iZP8PTPIY>iNPNP9/JMTK>iZPBk Z:9YJMB 8PZ?>iTU[Ot->A8YV<95J JPlS>ATU[/Nh>i8PBoLNPBk

Z:9YkBJ 9<@$XS9<N:B)ZPl/BoN:Z?>iZPTUNPZ:TJ >AI >i[j>AIUONPTUN&95HZPlBoNPONPZ:B@ L/[jk B8hJM9=[/NPTKkB 8?>AZ:TU9<[DSF&I_B>A8PIUOW@Y>i[O8PB>AI

>iX/X/IUTKJ>AZ:T_9=[/NRlj>J=BYQSBB[ Z?>=JYVIUBk QO5B@$XI_9AOTU[/; >iX/X/8:9><J:l/B NYkBJ=BIU9<XSBk <HTUZPlT_[ Z:l/B 7BZP8:T)[/BZ

JM9=@$@RL/[T_ZOWA>A[jkN:95HZ<H>A8:BhX8P9/kLjJMZ:Nh>i8PBo>J<>ATUIK>AQ/IUB#D

:[v>$kTB8PB[Zo>A8:B>/W 7$c#"!#"ƒaG¼%,+j+c5>j>?*b,+!hƒ 7$cE+&B!Ra#E"$%!3>A[jk 8:BIK>AZ:Bk-IU9=;<TKJMNHlj>J=B

QSBB[ NPZ:LjkTUBk T_[5ZPl/B 9<8PB ZPTKJ>AI3J 9<@$XL/ZPB8fN?JMTUB[jJ B y=rW u pjW&uw DdHlBYJM9=@$@$9=[ >AXX/8P9><J:l Z:9-NPLjJ:l

N:ZPLjkTUBN JM9<[NPTUNPZ:N$TU[ B[8PTKJ:l/TU[/;L<HTUZPl X/8P9=Qj>AQT_IUTUZO >J<>ATUIK>AQ/IUBR@$9/kB I_Nf95H\JM9<@@RL/[/TKJ>iZPT[;YX8P9/JMBN:N

>iI_;=BQ/8M>ANW=NPLSJPl >AN FHFHg WFHg/7WiBZ?J5DUW>A[jk8:BIK>AZ:Bk)VTU[jkN9RHZPB@Xj9=8?>iIIU9=;<TKJMNUuyWu+/WSuDa‹I X8PBN:NPTJ<B

XS95< B 8 >i[jk]NPONPZ:B@ BV<LTWJ<>iIUB[jJMB >i8PB >i[j>AIUO Bk W >iN<&BIUI>iNZPlB kBJMTKk/>iQ/TUIUT_ZO]95H/8PB I>iZPBkfIU9<;=TJ NEDdHlBNPB

>iX/X/8P9><J:l/BNfQjB[BFjZBH8P9=@ ZPlBjHL/[jk/>i@$B[ZM>AI >=kbJ<>A[SJMBN\>=JPlT_BJ<Bk QO-ZPl/TUN\J 9<@$@RL[/TUZORZP9 lj>A[SkIUB

@9 k L/IK>A8PTUZOWAJM9<@@RL/[/T_J >AZPTU9=[W>i[jkRTU[ZPB8M><JMZ:TU9<[RQSBZ< B B[ X/8P9/JMBN:NPBND=wH95<&BJ<B8WZP9o9=L/8NV[95<HI_Bk;<B<W

[/9v8PB>AIH>AX/X/IUTKJ>iZPTU9<[ lj>iN\QSBB[58PBXS9<8:ZPBk Qj>AN:Bk 9=[ NPLjJ:l >AX/X8P9>=J:l/BNW>i[jkv[/9vNPB8YJTJ BYTUNo8:B>AIUIUO

X/8:95JTk BkQjBO=9<[jk@9 k BIUI_TU[/;D

dHlT_NXj>iXjB 8 X/8:9<XS9<N:BN >)[/B< >i[jkjBI/TUQ/IUBNH9<8:@ 95HJ>iIJ L/IUL/NW<J >AIUIUBkRFHg/gWH9<8ZPl/BB% +&+!,c5

ƒ>j*baW!,cRbd!5ALgb,A#A9 !O&hª>d!h,cR ceQ>?@#A_%c+g!hi+7c5cE+&g !h,+Q>BDdHl/B

@9 k BI9RH @TPI BkRNPZ:9/JPlS>ANPZ:TKJ(A[/9=[bNPZP9/J:lj>iNPZPTKJN:ON:ZPB@N3Z:lj>AZ\< BoB @$X/IU9AORTUNHTU[Z:8P9/kLjJ Bk-TU[-gBJ ZPTU9<[

CDCD=t TPI Bk NPZ:9 J:lj>iNPZ:TJ(A[/9=[b+N:ZP9/J:lj>AN:ZPTKJNPON:ZPB@NhTU[ZPB 8?><J ZJT>R>N:T_[;<IUB\JM9=@RQ/TU[j>AZ:9<8HZPlS>AZx< BRJ>iI_I

Z:l/B`+c5>!c,c5->i[jk kB[/9=ZPBQO K xM7DdHl/B$JM9<@RQT_[S>AZPTU9=[Y9RH3@$TPI/Bk N:ON:ZPB@N<HTUZPl OTUBIKkN

>i;>ATU[v@$TPI/Bk N:ON:ZPB@NW>i[jk TUN)QS9<ZPl >iNPN:9 J T>iZPTJ<B$>i[jkvJM9<@@RL/Z?>iZPTJ<B#DbZ l/B[ >AXX/IUT_Bk-Z:9-X/Lb

8:BIUO [/9=[bNPZP9/J:lj>iNPZPTKJN:ON:ZPB@NWZPl/B$J 9<@$XS9<N:TUZPTU9<[ 9<XSB8M>AZP9=8 QSBlj>J=BNoIUTV<BZPl/B$J 9<[`ML[jJMZPTU9=[ 9RH

N:ON:ZPB@No95HH8PB I>iZPTU9<[NhTU[v@Y>iZPl/B@ >AZ:TJ NED/dHlBRNPlj>i8PBk×J<>i8PTK>AQ/IUBN)9RH ZPl/BRZ<&9 NPONPZ:B@$NfX/8P95JTKkBZPl/B

9=[/IUOY@BJ:lj>A[T_N:@ H9<8)N:ON:ZPB@ TU[Z:B8?>=JMZPTU9=[Ds][ Z:l/B9<ZPlB8olj>i[jkW<Hl/B[vZ< 9 X/L8PBIUO-X/8:9<Qj>iQ/TUIUT_N:ZPTKJ

N:ON:ZPB@N<HTUZ:lR[/9oNPlS>A8PBk)J<>A8:TK>AQ/IUBN >i8PB)JM9<@RQ/TU[/BkW< B]9<Q/ZM>ATU[\Z<&9oN:Z?>AZ:TUNPZPTKJ>iIUI_OTU[jkBXSB[jk B[Z N:ONb

Z:B@$ND/c3IUN:9jW/JM9=@RQ/TU[/TU[/;\>RXL/8PBIUONPZP9/J:lj>iNPZPTKJfNPONPZ:B@T<HTUZPl->X/L/8:BIUO$[/9=[bNPZP9/J:lj>iNPZPTKJf9<[/B=WJTUB< Bk

>iN>-J 9<[/N:ZP8?>iTU[ZW;=TJ<BNZPl/B JM9<[SkTUZPTU9<[j>iI kTUNPZ:8PTUQ/L/Z:TU9<[ 95H3Z:l/B$9=8PTU;<TU[j>iINPZP9/J:lj>iNPZPTKJNPON:ZPB@vW;<TJ<B [

Z:lj>AZZ:l/BhJ 9<[/N:ZP8?>iTU[Z.T_N.N?>AZ:TUNFjBkAZPlT_N.X/8P95JTKkBN >ÜJ<B8:O\N:T_@X/IUB@$BJPlS>A[/TUNP@xZP9oN:XjBJMTPHOJ 9<[jkTUZ:T_9=[j>AI

kTUN:ZP8PTUQ/LZPTU9<[/NDdHl/BhJ 9<@RQ/TU[j>iZPTU9<[o9RHX/L/8:BIUOR[/9<[bNPZ:9/JPlS>ANPZ:TKJh>i[jkNPZ:9/JPlS>ANPZ:TKJ3QL/TUIk T_[;hQI_9/JYVN<HTUZ:l

>AIUIU95<HN Z:l/BoN:XjBJ TGFJ>AZ:T_9=[-95H >i8PQ/TUZP8M>A8:O$@$TPI/BkN:ON:ZPB@NEDc JM9<[jJ 8PBZ:BRNPO[Z?>I Qj>AN:Bk 9=[YZ:l/Bjlm,n

@T_[T_IK>i[/;<Lj>i;<BoTUNX/8P95JTKkBk ZP9vTU@$X/IUB@B[ZhZ:l/B$9=XjB 8?>AZ:TU9<[/NR9RHhFHg/g=DH9=ZPB ZPlS>AZj< B8PBN:ZP8PTKJMZ9<L/8

>iZPZPB [Z:TU9<[ l/B8:BRZP9-N:ONPZPB @$Nx<HTUZPlv9<[/IUO >/Fj[/TUZ:BR[L@RQjB8]95HJ<>A8:T>iQ/IUBNED 3O[j>i@$TKJ>iINPONPZ:B@$NWTDB9D_W

N:ON:ZPB@N3kBFj[Bk 95J<B 8HT_[ Fj[/TUZPB]T_[SkBIYN:BZPNW/lj>J=B)QjBB [-BIj>A@T_[BkTU[ yPW/>A[jkZPlBTU8HNPZPLSkO$8M>ATUNPBN3>

[L/@RQSB8H95HZPBJ:l/[TJ >AITUN:NPL/BN)Z:lj>AZ<HTUIUIjQSBoZM><JYVI_Bk$B I_N:B<Hl/B8:B#DSc3IUNP9SW/Z:l/8P9=L/;<l/9=L/ZHZPlBhXS>AXSB8WS9<[I_O

&]aGB !RaG*ANJ<>A8:T>iQ/IUBN >i8PB3JM9=[/NPTKkB 8PBk=D=c3IUZ:l/9<L/;=l\9=L/88:BNPL/IUZ:Nl/9<IKkfTU[\@9<8PB.;<B[/B 8?>AISNPTUZ:Lj>AZ:T_9=[/NW

N:LjJ:l >iNH9<8&ZPl/BoJ>iNPB)95HIUTU[/B>i8o>iL/NPN:TK>A[RNPON:ZPB@N<Hl/TKJ:l$TUN&BIj>A@T_[BkTU[$kBZ?>iTUIT_[ C<yPW>EX/8PBJ T_N:B

kB N?JM8:T_XZPTU9<[-9RH N:LjJ:l J>AN:BN<HTUIUIS[/9<ZHQSB\>AZ:ZPB@X/ZPBkRl/B8:B#D

g BJMZPTU9=[ yvB&I>i@$TU[/BNZPlBOƒ>j*baW!h,cRv95Hh@TPI Bk NPZ:9/JPlS>ANPZ:TKJ(A[/9=[bNPZP9/J:lj>iNPZPTKJ N:ONPZPB @$NED&gTU@RLb

IK>AZ:TU9<[ TUNR9=XjB8M>AZ:T_9=[j>AI]TU[ [j>iZPL/8:B#DN:[ J 9<[ZP8M>ANPZWZ:l/B-NPON:ZPB@ N:XjBJ TGFJ>AZ:T_9=[ X/8:95JTKkBk QO FHg/g5T_N

[/9=[/9<XSB8M>AZPTU9=[j>AIWNPTU[jJMBT_Z8PB I_TUBN9<[ 8:BIK>AZ:T_9=[/NEDZ BY>i8PBZPl/B8:BH9=8PB-JM9<[ H8P9=[Z:BkL<HTUZ:l ZPlB$TUNPN:L/B$9RH

JM9=[bJ<B8:ZPTU[/;$>fNPONPZ:B@ NPXSBJMTPF0J>iZPTU9<[ TU[ZP9R>oN:TU@RL/IK>AZPTU9=[D<gTU[jJMB)@ >A[Oo95HZPl/B>AX/X/IUTKJ>iZPTU9<[/NÊ< B)lj>J=B

TU[ @$TU[jk >i8PBR95H3> 8:B>AIZ:TU@$Bo[j>iZPL/8:B<W< B)<&9<L/IKk IUTWV=BoZP9 XjB8]H9<8:@ NPTU@RL/IK>AZ:T_9=[/Nƒ7+$%>)b!5aªaGAWSTU[

9=8?kB8 Z:9 B[/NPL8PBvZPl/BTU8BYJMTUB[jJMObD /9=8RTU[/NPZM>A[jJMB=W t >A8V=95J J:lj>iT_[N$9<8RN:ZP9/J:lj>AN:ZPTKJv>AL/Z:9<@Y>iZ?>->i8PB

[j>iZPL/8M>AIUIUORNPTU@RL/IK>AZ:BkfQORLNPTU[/;ZPl/B]9<IU@$9=;<9=8P95J\J:lj>iT_[8PL/IUB<WN:9\Z:lj>AZ&NPZM>AZ:BNh>i8PB);<B[B8?>iZPBkTU[jJM8:BMb

@B[Z?>AIUIUObDdHlB >O=BN 8:L/IUB 6N^#k 6N^7k6N^kX/8P95JTKkBN&>x< >OZP9fNPTU@RL/IK>AZ:BTU[jJM8PB @$B[Z?>iIUI_OfZPl/B

8M>A[jk9=@uJ<>A8:TK>AQ/IUBN\^?kÊ<HT_Z:lh`M9=TU[ZHkTUNPZ:8PTUQ/L/Z:TU9<[6N^9kDbZ B]9<[/IUO[/BBk Z:9k 8?>< ><JJM9=8?kTU[/;

Z:9oZPl/B3k T_N:ZP8:T_QL/ZPTU9<[6N^k>A[jkfZPl/B [W5H9<8 ;<TJ<B [WAk8?>< Qj>iNPBk9=[\Z:l/B3JM9<[SkTUZPTU9<[j>iI/kTUNPZP8:TUQ/L/ZPTU9=[

6N^ kD=Z Bo;=B[/B8M>AIUTB\Z:l/B[/9<Z:T_9=[/N39RH @Y>i8P;=T_[S>AI>A[jk-J 9<[jkTUZ:T_9=[j>AIkTUNPZ:8PTUQ/L/Z:T_9=[/N3Z:9 @$TPI/BkRN:ON b

Z:B@$NW>i[jkL/NPB]ZPl/B @ Z:9\B&I Z:B[jk >O=BN 8:L/IUBHZP9oZ:l/BN:BhN:ONPZPB @$NED=dHl/B]X/8PTU@$TUZ:TWJ=BNTU@X/IUB@$B[Z:T_[;HZPl/B

@ >A8P;=TU[j>AI/>A[SkRJM9<[jk T_Z:TU9<[j>iI >i8PB]T_[Z:8P9/kLjJMBkRTU[Úlmin >i[jkR>A8:BHL/NPBk ZP9\k B8PTJ<B];<8M>AX/lRZ:8?>A[NH9=8P@Y>iZPTU9<[

8:L/IUBN<Hl/TKJ:l J >A[$QSB)L/NPBk$Z:9J 9<[bJ<B8:Z3>\J 9<@$XS9<L[jkRN:ON:ZPB@ ZP9R>A[BV=L/TJ<>AIUB[ZÊH9<8:@ <HlTJ:l ><k@T_Z:N

>i[YTU[jJ 8PB@B[Z?>AIN:TU@RL/IK>AZPTU9=[D

dHlBH@Y>I/TU@RL/@ IUTWV=BIUTUl/99 kd^htkœ&hƒ>)!,cR)95H@$TPI/BkfNPZ:9 J:lj>iNPZ:TJ(A[/9=[b+N:ZP9/J:lj>AN:ZPTKJHN:ONPZPB @$N&T_N

JM9=[/NPTKkB 8PBk T_[gBJMZ:T_9=[\pDAF&9<[/N:Tk B8>3Z:8PTUX/IUB\^ !k95Hj8M>A[jk 9<@ J<>A8:TK>AQ/IUBNWE<HlB8PB"!5TUN9=Q/NPB8YJ<Bk W

>i[jk)ZPlBZ< 9HL[V[/95<H[)8?>A[Sk9<@ J<>A8:T>iQ/IUBN >i[jk# ><k @$TUZjZ:l/B JM9=[jkTUZPTU9=[j>AI<kTUN:ZP8PTUQ/LZPTU9<[6N^$#kD

dHl/Bt%$B NPZPTU@ >AZPB=W<>AIUNP9\V[/95<H[>iNZPlBH@Y>I/TU@L/@ >]Xj9=NPZ:B8PTU9<8:T^t ch7ÊkBNPZ:TU@Y>AZ:B<W95H^?k;<TJ<B [

!mTUNo;<TJ<B [ QO_^&& bk >A8:;@Y>I('*)+H6N^$#kD d 9 Fj[jkvZPlBNPB BN:ZPTU@Y>iZPBNoTU[jJ 8PB@B[Z?>AIUIUOW<&BYJ>i[

Fj8:NPZ J 9<@$XL/ZPBZPlB N:9AbPJ>AIUIUBk[K:;<B[/B 8?>AIUTBkfIUTV<BIUTUl/99/kbMNHL/[jJ ZPTU9<[6,^$#k @ >I-+H6N^$#kD. BI/ZW

JM9=@$X/LZPBoZ:l/B\JM9=[jkTUZPTU9<[S>AIIUTV<B I_TUl/99/k6,^/$#k0E6N^$#k21 6,^3$#k 95H ;=TWJ=B[ >A[Sk!oWSNP9

Z:lj>AZ]ZPl/BxH9<IUIU95<HT_[;xH+><J ZP9<8:T>AZ:T_9=[ l/9<IKkN$#16N^9k E6,^k6,^kDdHl/B[WSZ:l/B\kBN:TU8PBk×t B NPZPTb

@ >AZPB NJ>A[)QSB;<B[B8?>iZPBkfNPBV=L/B [Z:TK>AIUIUOH8:9<@4&5 >A8:; @ >I6' 6,^$9k>A[jk7&8 >A8:; @ >I6+6,^&$#kD

dHl/TUN]T_[SJM8PB@B[Z?>iI B NPZPTU@ >AZPTU9=[$X/8:9 J BkL/8:B<W<HlTJ:l-TUN)J>AIUIUBkZPl/B893TUZ:B8PQ/T>iI_QS9<8:TUZPl/@ TU[-ZPl/B)wtQt

IUTUZPB8M>AZ:L/8PB yWu=uPWA`ML/NPZoJM9=8P8:BNPXS9<[jk N\Z:9 > NPTU@$XI_BJ>AN:BR95H kO[j>i@$TKJ]X/8P9=;<8M>A@$@TU[/;7D9Z B\B&I Z:B[jk

Z:l/B$[/9=ZPTU9<[No95HH;<B[B8?>iI_TBk IUTV<BIUTUl/99/k >i[jk J 9<[jkTUZ:T_9=[j>AI.I_TV=BIUT_l99/kW<Hl/TKJ:l [/95< Z?>RV<BRZ:l/B)H9=8P@

9RH X/8:T_@TUZPTJ<BNW<Z:9\@TPI BkNPONPZ:B@$NW/>A[jkNPl95< ZPlj>iZHZPl/Bo>iQj95J=BhkO[j>i@$TKJ&X/8P9=;<8M>A@$@TU[/;3X/8:9/JMBkL/8:B

J>i[ QSB;<B[/B 8?>AIUTBkv><J JM9<8MkTU[/;<IUObD/dHl/BN:BRX/8PTU@T_Z:TJ<BNH>A8:B\TU@$XI_B @$B[ZPBkRTU[Llm,n&W>A[jk < BRkB@9<[/N b

Z:8?>AZ:BRl/95< N:TU@$X/IUBo;=8?>AXl @ >A[/TUX/L/IK>iZPTU9<[/N3J >A[vQjBRL/N:BkvZP9vJM9<[bJ<B 8PZoZ:l/BR;<TJ<B [-NPONPZ:B@ ZP9 >/H9=8P@

<Hl/TKJ:l J>i[ QSBT_[SJM8PB@B[Z?>iI_IUOBNPZ:T_@ >AZ:Bk=D:[ H+><JMZWSZPl/B;<8M>AX/l-Z:8?>i[/NH9=8P@ >AZPTU9=[/N >iX/X/IUTUBkoH9=83QS9<Z:l

N:T_@RLI>iZPTU9<[R>A[Sk$B NPZPTU@ >AZPTU9=[RZPL/8:[-9<L/Z&ZP9RQSBÚ,A9 h,+!RaGD

TU[j>iI_IUOW<gBJ ZPTU9<[-rRJM9=[ZM>ATU[/NHN:9<@$B)JM9<[SJMIUL/NPTU9<[N3>A[jkXSB8PN:XjBJ ZPTJ<BND

:Z<H>AN[/9<ZL/[ZPTUI8PBJMB[ZPIUOWAZPl/8:9<L/;=lk T_NMJML/N:NPTU9<[/N<HTUZPlc?DA7D ]B@$XNPZPB 8WAZ:lj>AZ< B&QjBJ>A@B ><H>A8:B

Z:lj>AZ&ZPl/B\< 9=8V8PBXS9<8:ZPBkTU[RZPlT_N.Xj>AXSB8HTUNTU[jH+><J Z JMIU9<N:BIUOR8PBIK>AZ:BkRZ:9oZPlB]B@$XNPZPB 8bPglj>HB8ZPlB9<8:O

9RH3QjBIUTUBHNHL/[jJ ZPTU9<[/N +WH/Wy<C H>A[jkvQSBIUTUBH [BZ< 9=8VN"y=yWC<rWC<qWC/u TU[ NPZM>AZPTUN:ZPTKJMN\>i[jk >A8:ZPTPF0JMTK>AI

TU[ZPBIUIUTU;<B[SJMB#DSc3IUZPl9<L/;=l-9<L/8\< 9=8V lj>iN3TU[jkBXSB[jk B[Zo9<8:T_;=TU[/NWNPBJ=B8?>iI >AN:XjBJ ZPN\>i8PBRJM9<@@$9<[)<HTUZ:l

QSBIUTUBH [/B Z< 9=8VRZPlB9<8:T_B NEDTU8PN:ZW=IUTWV=BHZPl/B ]B@X/NPZ:B8bPglj>HB8&@$9/kBI/9RH QSBIUTUBH=HL/[jJ ZPTU9<[/NWZPl/B]@$TPI/Bk

N:ON:ZPB@N)< B-JM9=[/NPTKkB 8$>A8PB [/9=ZHL/IUI_OvX/8:9<Qj>iQ/TUI_TBkW >i[jk JM9<@RQT_[BRQj9=ZPl 8M>A[jk 9<@ >i[jk L/[V[95<H[

ZOXSBNH95HL/[SJMB8PZM>ATU[ZPTUBNDwH95<&BJ<B8Wb<Hl/TUIUBHZPl/B 3B @$X/N:ZPB8 bglS>HB8H>AXX/8P9><J:l$8:BIUT_B N 9=[$>A[Y>I/T_9=@Y>iZPT_J

kTB8PB [ZBH8:9<@ X/8P9=Qj>AQT_IUTUZO ZPl/B 9<8POW< B$>=JPlT_BJ<BYJ 9<@$XS>A8?>iQ/IUBo8PB NPL/IUZPNQO QI_B [jkTU[/;-X/8:9<Qj>iQ/TUIUT_N:ZPTKJ

@BZPl/9/kNÊ<HT_Z:l$JM9<[NPZP8M>ATU[Z >A[S>AIUONPTUNEDAdHlB3JM9<@Xj9=NPTUZPTU9<[B< B]B@$X/IU9AO\H9=8 QL/TUIk T_[;EJ 9<@$XI_B&I\NPONPZ:B@$N

H8:9<@ NPTU@$XI_B 8R9<[/BNZ?>RV<BN >QH9<8:@ >i[j>AIU9<;vZP9 ]B@$X/N:ZPB8 NLKPX/8:9 k LjJMZbTU[ZPB8:NPBJMZ:TU9<[M 8PLI_B \H9<8

JM9=@RQ/TU[/TU[/;QjBIUTUBHHL/[SJMZPTU9<[NED/c]IUNP9jW9<L/8]TU[jJM8PB @$B[Z?>iIN:T_@RLI>iZPTU9<[RNMJ:l/B@$BfT_NHN:TU@$TUIK>A8TU[-[j>iZPL/8:BoZP9

Z:l/BHLNPTU9<[ (iX/8P9=Xj>A;>AZ:T_9=[o@$BJPlS>A[/TUNP@x95H C<rWC<q D#w 95< BJ<B8W<Z:l/B8PB]BI/TUNPZPNH>A[RTU@Xj9=8PZ?>i[Z kTB8PB[SJMB

QSBZ<&BB[RZPlB Xj>i8PZ:I_OokTU8:BJMZPBkW<XS>A8PZ:IUOhL[jkTU8PBJ ZPBk;=8?>AXl/NZ:lj>AZ<&BL/NPBHZ:9hJM9=@$X/TUIUBZPl/BHkBXSB[jk B[jJMO

8:BIK>AZPTU9=[/N B&I TUN:ZPTU[/;QjBZ<&BB[ ZPl/BxJ<>A8:TK>AQ/IUBN9RH >JM9<@Xj9=L/[jkN:ON:ZPB@vW/>A[jk ZPl/B)N:Z?>A[Sk/>A8MkÚJTUB<HXS9<TU[Z

9RH.>i8PZ:TGFJMTK>AITU[ZPBIUIUTU;<B[jJ B<W<Hl/B 8PB\kTU8:BJMZPBk Q/8?>i[jJ:l/BN)B[jJ 9 k BvKPN:L/Q<`MBJMZ:TJ<BRJ>AL/NM>AIUTUZOUDM?s]L/8];<8M>AX/l/N

B[SJM9/kB;KP9=Q<`MBJMZ:TJ<BYJ >AL/NM>AIUTUZOUMv><JJM9=8?kTU[/;vZP9vZPlB$ZPB 8P@$TU[/9=IU9<;<O 95H C<rPWNPTU[jJMB ZPlBO >i8PB$LNPBk5ZP9

K5A5ƒ$%+& !R7AÚ!9+ƒ 5!xig A9!!c ;ª[,g+c5>!7*9!,c5b]M C<rD9:[-><k/kTUZ:T_9=[W9<Hl/TUI_B)>A8:ZPTPF0JMTK>AI

TU[ZPBIUIUTU;<B[SJMB\B @$X/lj>iNPTBN &>O<BN:TK>A[vBNPZ:T_@ >AZ:T_9=[W<&BNPl/95<xZPlj>iZhN:TU@$TUIK>A8HTKkB>iNEJ >A[vQjB$>iX/X/IUTUBk ZP9

Z:l/B)NP9<IUL/Z:TU9<[R95H‹t%-BN:ZPTU@Y>iZPTU9<[X/8:9<Q/IUB@NED-TU[j>iIUI_OWZPl/B)X/8M><JMZ:TKJ>AITU@$XI_B @RB[Z?>AZ:TU9<[o9RH9<L/8&@$9/kBI

lj>iN Z:l/BHNPO[Z?>=JMZPTKJ H9<8:@ 95H >)k/>iZ?> S95< X8P9<;=8?>i@$@$T[/;HIK>A[/;=Lj>A;=B<W5<Hl/TKJ:l$kTB8PNÊH8P9=@ Z:l/B3[/B Z< 9=8V

H9=8P@ >AIUTUNP@ 9RH >A8PZ:TPF0JMTK>AISTU[Z:BIUIUT_;=B[jJMB9D

5!*1 * (*+

dHl/B-FHg/g @$9/kBI&8PB I_TUBNR9=[ > H9<8:@Y>iI k BFj[/TUZPTU9=[ 95H)@$TPI/Bk NPZP9/J:lj>iNPZPTKJ(i[/9<[ b+N:ZP9/J:lj>AN:ZPTKJ NPON:ZPB@NW

<Hl/TKJ:l TUNoLNPBk ZP9-BI/X/8:BNPNZPl/B JM9<@Xj9=NPTUZPTU9=[-8PL/IUB oDd9 @$9=ZPTJ<>AZ:B\9=L/8\J:l/9<TKJMB95HhJM9=@RQ/TU[j>AZ:9<8

W<&B)FS8PNPZ$k T_NMJML/N:NRNPBJ=B8?>iI3X/8:9<Q/IUB@N\>A8:T_N:TU[/;-TU[ ZPl/B-JM9=@$XS9<N:T_Z:TU9<[v95H3@$TPI/Bk NPZ:9 J:lj>iNPZ:TJ(A[/9=[b

N:ZP9/J:lj>AN:ZPTKJ)@$9/kB I_ND

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

c]NR[/9<Z:Bk TU[ ZPlB$TU[ZP8P9/kLSJMZPTU9<[WZ:l/BoFj8PN:Z\8:BV=L/TU8PB@B[ZH9=8oZPlB J 9<@RQ/TU[j>iZP9<8 TUNZPlj>iZW<Hl/B[

>iX/X/IUTUBk-Z:9 X/L/8PB I_Ov[/9=[/NPZ:9 J:lj>iNPZ:TJN:ONPZPB @$NW T_Z)@RL/N:Z)QjBlS>J<B$>AN)Z:l/B$JM9<[`ML/[jJMZ:TU9<[v95H3JM9<[/N:ZP8M>ATU[ZPN

^9<8WBV=L/TJ<>AIUB[ZPIUOW<>ANHZ:l/B)TU[Z:B8PN:BJMZ:T_9=[-95HIUB;>iIjQSBlj>JTU9<8:N%kDBZHLNHBIj>A@$TU[/BHZ:l/TUNH8PBV=L/TU8:B@$B[Z&TU[

Z:l/B$JM9<[Z:BI/Zh9RH >ALZP9<@ >AZM>DdHl/B5T_;DufT_IUIUL/N:ZP8?>iZPBN)Z:l/B\X8P9<QI_B @ 9<[/BBH+><J BNx<Hl/B[ >AZPZ:B@$XZPTU[/;RZP9

BI/Z:B[jkfZPl/B&L/NPLS>AIX/8P9/kLSJMZ95Hj>AL/Z:9<@ >AZ?>.ZP9]ZPl/BHJMIK>AN:N9RH N:ZP9/J:lj>AN:ZPTKJ&>AL/Z:9<@Y>iZ?>D HBI/ZWAJM9=[/NPTKkB 8 TU;7D

CD:Z3TUIUIUL/NPZ:8?>iZPBNHZ:l/B\kTYJML/IUZ:T_B N3>A8PTUN:T_[;RT_[ Z:l/B\kBNMJM8PTUX/Z:TU9<[-9RH @$TPI/Bk NPZP9/J:lj>iNPZPTKJ(i[/9<[ b+N:ZP9/J:lj>AN:ZPTKJ

N:ON:ZPB@NEDgL/X/XS9<N:BRZPlj>iZ)T_[NPZPB><kv95H3JM9=[/NPTKkB8:TU[/;-BIUB@B[Z?>A8:O BJ<B[Z:NWNPLjJ:l >iN)NPZ?>iZPBRZ:8?>A[NPTUZPTU9<[NW

<&B3N:BBV$Z:9J:lj>i8?>=JMZPB8:TBo@$9=8PB3JM9=@$X/IUBI9<[/BNWNPLjJ:l->ANHJM9=@$X/IUBZ:BHQjBlS>JTU9=8PNEDb:Z.QjBJ 9<@$B N3kTYJML/IUZ

Z:9 L[jkB8:NPZ?>i[jk ZPlB NPZ?>iZPL/N 9RH\NPLjJ:l BJ=B[ZPND3gl/9=L/IKk Z:l/BO QSBOJTUB<&Bk >AN 8?>i[jk9<@vW9=8E` L/NPZ->AN

[/9=[jkBZ:B8P@TU[/TUNPZPTKJ43 c3IUN:9 <Hlj>iZY>A8:B-ZPlB JM9=[/NPBV<LB[jJMBN 95HoZPl/BQH+>=JMZ$Z:lj>AZ JMB8PZM>ATU[;J<>i8PTK>AQ/IUBN$>i8PB

1-p b

1-p a

p γ p γ

q δ 1-q a

1-q b q δ

? probability label

TU;<L/8:B u#cR>d"ƒƒ cE+&g !h,+[!R*#c5>)!!5 !#"$&%('*)( ,+- .%/

0! 123( # 4*!+'(%53678"90':!#;7<'= 3.',>? 4*!+'%36@ ,@!%,A .+,B7(

=6C0D 123(E% ,83:BC ='7 ,F' # $%!%, G(( 3 (H ,%!46I (()H1

J K,L@0M, :N%.%!'0# 0O!PH (0 (A 5D0 ,N"E(Q( %'0H) ,+R ,%0 LI

="= ; S"T%OA+0 G"U %:!%(A%;0':S10V#WEX!Y2;AZ J\[0] "R"U'+^,!'

+0 B7( ^( #%D0O!46= O 4G"9_0':!#`

l/TKk/k B[ 3 dHl/TUNoTUNR> [j>iZPL/8M>AIHJM9<[/N:BV=L/B[jJ B-95H3@9 k L/IK>A8PTUZOW/N:T_[SJMB[J<>A8PTK>iQ/IUBNokBN?J 8PTUQ/TU[/;vZPl/B TU[/[/B8

TU[ZPB8M><JMZ:TU9<[ 95HNPL/Q/N:ONPZPB @$Nh>i8PB)[/9=ZJTUN:T_QI_B\<Hl/B[ J 9<[/N:Tk B8PTU[/;$>fIK>A8P;=B)NPONPZ:B@OD

dHlL/NZ:l/B8PB]TUN [9\k9<LQ/ZZPlj>iZ >][j>ATJ<B&BI/ZPB [/NPTU9<[R9RH0[9<[/N:ZP9/J:lj>AN:ZPTKJHJM9<@Xj9=NPTUZPTU9=[<HTUI_I[/9=Z< 9=8V

X/8:9<XSB8PIUObD:[jkBBk W>AIUZPl9<L/;=l-ZPl/BRFHFHg-JM9=@$XS9<N:T_Z:TU9<[ 8PL/IUBolS>AN)QjB B[ BI/ZPB[SkBk ZP9->RX/8:9<Qj>iQ/TUIUT_N:ZPTKJ

JM9=[ZPBI/Z QO t<9=[/NPN:9<[ B ZY>AID UuPWTUZ$J>i[ 9<[/IUO5@$9/kBIHN:XjBJ TGFJ-N:ON:ZPB@NRQ/L/Z[/9<ZR;=B[/B8M>AI)9<[/B NED

c]I_N:9jWSFHFHg$JM9=@$XS9<NPTUZ:T_9=[$k9BN3[9<ZHXSB8H9=8P@ ZPl/B)TU[ZPB8:NPBJ ZPTU9<[-9RHQjBlS>JTU9=L/8PNW/>A[jk8?>iTUNPBN)kTYJML/IUZ

V=L/BN:ZPTU9<[N395HQ/TUNPTU@RL/IK>AZ:TU9<[D

s][ZPl/BH9=ZPl/B 8lj>A[SkWAZPlB3kTYJML/IUZPTUBN<&B lj>J=B lT_;=l/IUTU;<lZPBk W J 9<[jJMB 8P[/TU[/;oZ:l/BH[j>iZPL/8:BH95H0JM9=@$X/IUBI

BJ=B[ZPN&9<8QSBlj>JTU9<L/8:NTU[\@TGI/BkENPZP9/J:lj>iNPZPTKJ(i[/9<[ b+N:ZP9/J:lj>AN:ZPTKJHN:ON:ZPB@NW=ZP9=;<BZ:l/B8<HTUZPlZPlBHX/8PBN:B[jJMB

9RH l/TKk/k B[OJ<>i8PTK>AQI_B NW< B 8PBRZPlBR@$9<Z:TJ<>AZPTU9=[W<TU[ ]B@$X/N:ZPB8 bg lj>HB 8E>i[jk 8PBIK>AZ:BkvZPlB9<8:T_B NWÌH9<8]ZPl/B

kBJ<BIU9<X@$B[Z$9RH\[/B< >I/TU9<@NRZP9 kBFj[B >i[jk @ >A[/TUX/LI>iZPBBJ<B[Z:N-TU[ IK>A8P;=B J 9<@$XI_B&I NPON:ZPB@NED

w]>JTU[/;-kB @$9<[NPZP8M>AZ:BkvZPl/B[/BBk`H9<8o>-J >A8PB&HL/I&I_999V >AZoN:ONPZPB @ JM9<@Xj9=NPTUZPTU9=[W< BR[/95<xX/8P9/JMB Bk

<HTUZPl Z:l/B)T_[Z:8P9/kLjJMZ:TU9<[ 95HZPl/B\FHgg$@9/kBID

a\bcb

~€z ~1/

F

z€ 02E~64702h6ed

~

|02~=6‹402,6j0{02Ez 0

dHl/Bf@$TPI/BkNPONPZ:B@$N<&BoJM9<[NPTKkB8)>A8PBokB N?JM8:T_QSBk QOY>V<LS><k8:L/X/IUB

f

hgi Oj#k 6El ^+C1_uk

probability label

p

1-p

a γ γ

b

TU;<L/8:BC #

@#A)cE+&g !h,+ 7c5cE+&g !%,+d&>B723 4B!!'0 ^,"=# L!" ( 0O/

36H # 4!( O68; 40) 8 ,+P ,?*! 0 (A LI 'c0O36H # 4!

; 9<5'c(+0 GSA%L@*1A 1*L '0, ,%.B .+!19V#WEX!Y2;AZ J ] # 0'( d^7C7C5kC0L

"3A%D ) :E"9!'0+4,!'c)(A "T 0+!LCE(+0 GSA% '0, ,%.B .+@` J OK(,L '3#0M,

0 ?0+44 ;%(% ,D.'#( ( c( #%5!36U ( 8"9Q0,/

+! )A0 0+?Le . ,%) L"$c)(0A' $ B7( 30A0(0 ,123 L0O !Ì^dk 68

!# 36'(%5! "$)(0A' #_^B7( 0A0 ,L@0(+Q,'# c"= A+ .2L"3( M5 . (

! )O 0 19V#WEX!Y2;AZ

J3]

? 0'( o^!7C.!7C#kYCL "3(# ) :"9!'0+Q,!' )(A "

0(+!L!@4(+ 5 8#(A% '0. .%,BC ,+@`

<Hl/B 8PB

i g !lYk B[/9<Z:BNR>)FS[/TUZPBRNPB Z\9RHÜ 5!5$i!#"aW&œ<Hl/9=NPB)J<>iI_LBN\>A8:B)<H8PTUZPZ:B[ >AN8

^ UkDdHl/BJ<>i8PTK>AQI_B N >A8:B Z:l/B&9<Q/N:B8J<>iQ/IUB 9=Q<`MBJMZ:N 9RHj9<L8 @9/kBIDMdHl/BHk9<@ >ATU[39RHjB><J:l

J<>A8:T>iQ/IUB TUN kB [/9<Z:Bk >AN! #"?W=NP9ZPlS>AZ&ZPl/B)k9<@ >ATU[o95HZPl/B\J<BJ ZP9<8Ei J>A[QjB)BI/X/8:BNPN:Bk->AN

i

$

"D

k g% &%('(lYkB[/9=ZPBN$> Fj[/TUZ:B$NPB ZR95H?$%!R7A#cR> !R$,!#"aW&o9<8fNPTU@$X/IUO $!57A9c5>BxH9<8

NPl/9=8PZD 9&>AIUL/BNR9RH%*) >i8PBv<H8:TUZPZPB [ >AN+,)/W>i[jk < B 8PBHB 8$ZP95ZPl/BvJM9<@X/IUBZPBNPBZ95HJ<>AIUL/BN

+ T^-+ +'ko>AN>O$!57A9c5> &@ $ƒ>dbDdHl/B$k9=@Y>iT_[ 95H% ^8PBN:XD9k k]T_NkB[/9=ZPBk

QO.0/1"^ 8PBN:XD,

k k TU[-ZPlT_N)>A8:ZPTKJMIUB?<&BR>ANPN:L/@$B^k TUNFj[T_Z:B#De3>i[jk9<@N3>A8:B\l/TKk/k B[WSTDB9D_W

[/9<ZBJTUN:T_QI_BjH8P9<@ 9<L/Z:NPTKkBZPl/BNPONPZ:B@ODdHl/BR8PB>ANP9=[LH9=8oZPlT_NfX/8P9=XjB8:ZO <HTUIUIQjBJ9<@$B$J I_B>A8

QjB I_95<D k @9 k BIUNHZPl/Bo8M>A[jk 9<@ Xj>i8PZ39RH ZPlB\N:ON:ZPB@vW/N:9$ZPlS>AZ)TPH k TUN]B@$X/ZOWZPlB\N:ON:ZPB@

TUN3JM9<@X/IUBZPBIUOR[/9=[bNPZP9/J:lj>iNPZPTKJ5D

6 JM9=[/NPZ:T_Z:L/ZPB N>i[ L/[[/9<8:@Y>AIUTBkX/8:9<Qj>iQ/TUIUT_ZO-kTUN:ZP8PTUQ/LZPTU9<[QH9<84k

DgXjBJMTPF0J>AIUIUOW7<&BR9<[I_O

8PBV=L/TU8:B6.2 \>i[jk"35476A6N^+\k83:9 D

;=<

™#›¬­’­#Ö Ç55#—”i«™¬­’?>•›\›’G“,˜ª”,’­Á5Ç#˜ª’G—#“«™Ô“i••]«;Ç5EÇ#“ªÇ#™¬ƒ¨Á5Ç#˜‘#™“Ê“,•Yš•”™¬™›5š™5˜,™Ö•“Y£Ÿª˜“ƒ’­«–5¬­’A@#•Y“˜ª‘#•

›5•B@55’G˜ƒ’G——ž#˜ª‘#•ė«–b—“ƒ’G˜ª’G— ™#›˜ª‘#•7“ª–U•YĒA@#ꘃ’G——ž#ė&#›’G˜ƒ’G—#™&¬–5”—Á#™Á5’­¬­’G˜ª’G•“Y¨,™#›“ª’G֝5’A@#ÄY™˜ª¬GÔ=›5•Ä]”h•Y™“i•“

˜ª‘#•ÄY—«–5Ç#˜,™˜ƒ’G—#™Y¬EÄY—“i˜7—žb’­#Ä]”h•]«•5˜,™Y¬E“ª’­«Ç5¬G™˜ƒ’G—N™#›•“i˜ƒ’­«™˜ƒ’G—£YÅÇ5”h˜ª‘#•”i«—”•ž—”7«™&Ô™&–5–5¬­’Gę˜ª’G—#“b©‘#•”•

˜ª‘#•“ª–#™Ä•C

k

‘#™“Ê™š•”Ôx¬G™”Ö•ÄY™”h›’­#™&¬­’G˜ƒÔ¨5“ƒÇ#Äi‘)™“ÊžW—”˜ª‘#•“i˜ƒÇ#›5ԗ&žEDx™”GFE—š”™#›5—«7@#•¬G›5“’­Ú“i˜,™˜ƒ’G“i˜ƒ’GÄY™¬

«•YÄi‘#™5’GēHÀШ¦®¨%À¯=Iƒ¨˜ª‘#•7ÄY—«–5Ç#˜i™˜ƒ’G—&—ž˜ª‘#•b#—”i«™¬­’?>]’­#Öė#“i˜i™˜J˜ª‘#•–#™”˜ª’G˜ƒ’G—=žPÇ5#Ęª’G—!K©‘5’GÄi‘˜ª”h™&#“ƒž—”,«“

6

’­˜i—™˜ª”,Ç#•Ì–5”h—&Á#™Á5’­¬­’G˜ƒÔ’G“=—ž˜,•]Ç55#•ÄY•“i“,™”Ô£

6N^+\k j\^8k i k

TU;<L/8:Bhy #U ]>uƒ×ff23( c!' = KD$ ; K G(0 !'+H6@ c L'3!0 i

3)O 0 c6*! ':A+ c68 6'0H = %!1

j k B[/9<Z:BNo>8PBIK>iZPTU9<[9<[ ZPl/BfXj>ATU8x^8i k kDZ B]NPlj>iI_INP9=@$BZ:T_@BN<H8:T_Z:BoTUZH@$9=8PB3B&I XI_TKJMTUZ:I_O

>AN;j\^.% .&% ' kD

c N:ONPZPB @ f gi Oj#k 6EloTUNo9=Q/NPB8YJ<>AQ/IUBR9=[/IUO-ZPl/8:9<L/;=l TUZPNJ<>i8PTK>AQ/IUBNDe3>A[Sk9<@NhJ>i[/[/9<ZfQjB

N:BB[W=Q/L/ZZ:8?>i[/NHB 8ZPl/B T_8.QjBlS>JTU9=L/8ZP9)ZPl/BHN:ONPZPB @ J<>i8PTK>AQI_B NUi Z:l/8P9=L/;<lZPl/BH8:BIK>AZ:T_9=[_jxD:[$k9=TU[/;

N:9jWSNP9=@$B)X/8PBkTKJ>AZ:BN)95J<B8HZ:l/B?J<>i8PTK>AQI_B NHQjBJ 9<@$B)8M>A[jk9=@ W[j>i@$BIUORZ:l/9<N:B<Hl/TKJ:l >A8:B\JM9<@X/IUBZPB I_O

BI/X/8:BNPN:TUQ/IUB-TU[ ZPB8:@$N95H;k D:[ ZPlB$X/L/8:BIUO [/9<[ b+N:ZP9/J:lj>AN:ZPTKJ J>AN:B<W< B@Y>O J 9<[/N:Tk B8RZPlj>iZ

k

JM9=[/NPTUN:ZPNR95H3> N:T_[;<IUBRXj9=TU[Z+/W<HTUZPl6N^+5k u$>i[jk 6N^ #k Ds]L/8o[/9=ZPTU9<[ 9RH N:ON:ZPB@ T_N

kB X/TKJMZPBk T_[TU;7D/yD

dHlBYL[/TKV<LBYN:ONPZPB @ H9<8j<Hl/TKJ:l i vT_N$J >AIUIUBkLp=mƒr=DTU[j>AIUIUOW;=TWJ=B[ >i[ >A8PQT_Z:8?>O N:ON:ZPB@

f

hgi j#k 6ElW=ZPl/BHN:ONPZPB @ 9<Q/ZM>ATU[/BkQO8PBXI>=JMTU[/;)TUZPN kTUN:ZP8PTUQ/LZPTU9<[6-QOR>]L/[/TPH9<8:@ 9=[/B<W=N?>O

BV=Lj>iIZ:9R9<[/B<WTUN3kB [/9<Z:Bk QObr#q^

f

kW/N:9RZPlj>iZ< B)lj>J=BUr9q^

f

k gi Oj#k ul5D

=qr

u#D&dHl/B >iQj95J=B @TPI BkHNPON:ZPB@N JM9=[ZM>ATU[o>AN>&NPL/QJMIK>AN:NX/L/8:BIUO)[/9<[bNPZ:9/JPlS>ANPZ:TKJNPONPZ:B@$NkBNMJM8PTUQSBk

QO >NPB Z\9RH 8:BIK>AZPTU9=[/NW<HTUZPl/9=L/Zo>A[O-8?>i[jk9=@$NED c3[/9=ZPl/B8fNPL/QJMIK>AN:NJM9=8P8:BNPXS9<[jk NRZP9-X/L8PBIUO

NPZ:9 J:lj>iNPZ:TJ]N:ON:ZPB@NW9H9=8<HlTJ:lo< B]lj>J<Bci k W>A[Sk)<Hl/B8:BoZPlB38PB I>iZPTU9<[Qj TUN k BFj[/BkQO

% H9=8 >iIUIPWN:9RZPlj>iZ3>AIUI8?>i[jk9<@N >i8PB)9<QNPB8YJ<Bk->iNJ<>A8:T>iQ/IUBNED

CD&c N:ON:ZPB@

f g5^ ! k &% Oj#6El W<HTUZPl j #=^ ! k % H9<8HN:9<@BHL/[SJMZPTU9<[ WST_N3>

NPONPZ:B@u<HTUZPlZ<&9J<>A8:T>iQ/IUBNED.9<8TU[/N:Z?>i[jJMB<W=Z?>RV<B #" $ " % D5:[RZPl/TUN J >ANPB=WB><J:l)J<>A8:TK>AQ/IUB

J >A[/[/9=Z)QjB)JTUB<&Bk >iN)8?>A[Sk9<@ N:T_[SJMB\TUZ:NhX8P9<QS>AQ/TUIUTUZOYkTUNPZ:8PTUQ/L/Z:TU9<[vT_N][/9<ZokB&Fj[/BkWQ/L/Z

ZPl/BfNPL/@ %" ! ET_NH8M>A[jk 9<@OD 9<83>;=B[/B8M>AIÌHL/[jJMZ:TU9<[ WS[/9=Z3>AIUIX/8:BkTKJ>AZ:BN)9<[×^ 2$ Ek

>A8:Bh8M>A[jk 9<@ W=9<[I_ORZ:l/9<N:B<Hl/TKJ:l T_[bJ=9<IJ<BÌ^ 2$ kD

yD /9=83>oN:ONPZPB @ f g ^=%

%& k Oj# 6El <HTUZPl j #. Ì^% %& k ^+C1C9k