A Theory of Sequential Functions

HAL Id: inria-00074094

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

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

A Theory of Sequential Functions

Boubakar Gamatié

To cite this version:

Boubakar Gamatié. A Theory of Sequential Functions. [Research Report] RR-2589, INRIA. 1995.

�inria-00074094�

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Boubakar GAMATIE

N˚ 2589

Juillet 1995

PROGRAMME 2

! "$#&%'%)(+*-,/.0#&132546187:9;%<!1>=3?!4(!@&A6! !5#&%'%#&B=>&CD(EBF HG(EC=I(J1>! "=325=>(E1

:LK5(EBNMPO:.RQNS

TF#&A6A!B+U;(J:(V2W6($2W6(XCY;*!Z"[!\-,/]!4=I1>1>(EBJ^V\"\!Z-,_^V`A#a !(E7

bdcefLg&hi&f"jk6lnmEo;pqsrutwvap;xDy&z5{y|!{Ep{Ez5y&}nt~xyrut€v&pvmF‚+{EzEzƒ…„x0x5r†y"‡E}>{mEo;pqsrutwvap;x5ˆ6mVv&z‡5{Et‰p;|Št‰p;r†{p;xEtwvap;l

ya}3}nƒx5r:y!‡}I{sˆ‹xVvŠrwŒ6yLrRrwŒ6{Eƒp{5{5'pvLr+!vaŽŠyat3p;xJr:v)‡5{Dat>x5ruztw‡Eo"rtmE

p‘r€Œ’t~xN“6y5“6{Ezsˆ-”R{x5Œ6v&”r€Œ•yrJr†vs|a{sr€Œ•{z”Ht>r€Œk6l$"v&Žy&t3p•x$ˆJr€Œ•{ƒq5v&p;x5rt>ro!r:{y&p–v&z5!{z5l${p6zEtwqsŒ•{5—

l$q5yLr:{†|avazEƒ”Œ;twqsŒ˜t>x)y™z${sruz5y!qsr-vmdrwŒ6{q$yr†{†|!v&zEƒšvm"v&Žy&t3p•xy&p›q5v&p•rut3po•vao"xNmEo;pqsrut€v&p;x5ˆDy&p™”œ{

“z$v&Ltw"{DyŠx{5žo6{Ep;rtwya}‹y&}Ÿ|avazEt>r€Œ’Ž–mLv&zDq5v&ŽF“o"rt3p;|)y&}3} rwŒ6{¡Hp6t~r†{{}I{ŽŠ{p;r€x-v†mJk6l$!vaŽŠyat3p;xE

¢'£;¤…¥:¦§g!¨e&j©k6lnmEo;pqsrtwv&p;x5ˆHkl$!v&Žy&t‰p;x5ˆªvL!{z5l${p6zEtwqsŒ•{5«—l$q5yLr:{†|avazEƒ

¬3­®

¯u°±V²

®

¯³‹´>°µ¶5·

¸$¹5ºE»5¼+»½3¾n¿5ÀEÁ ¾ÃÂw¾nÄ3»aÅÆnÂ

Unite´ de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Te´le´phone : (33) 99 84 71 00 – Te´le´copie : (33) 99 84 71 71

£•e£)j 0!47‹A6G(E7(EC;B:!C7œ=325=@L46C6(0 HG(EC0G(E5#&1>=>7$#&B=>!CDU;(7w!C25B:=>!C7‹7B$#a<61>(E7uURG(C6=>(E7HA#&H(::9

1>(E7+Sw"C25B:=>"C67 ?"46=…C(N(V?"46=(E:(C’BFA#&7+?"46(J1>(E467+U;!%#&=>C6(E7 7:!=>(EC;B+U;=>7B::=><64B:=w7 ª!4670%'!C;B:!C67L@

?"4Ã# !(L201>(E7+S:U;!%#&=>C6(E7L@!?"46=7:!C;B046C(+ HG(C (E$#a1>=I75#&B=I"CU;(7+U;!%#&=>C6(E7œ2s!C25(EB:7JU;("!J#aW6C(EBG 1I"B#

$ =>C @(E1>1>(E725!C67B:=>B:4(EC;B)46C6(2E#&B6G(E !":=>(2E#&B6G(E7=>(EC6C6(›251>!7(?"46=0(E7B&%:!5U;(E'u(EC:=32W6=>()(A#&1"$U;(

A!=>C;B#:# A"=>C’B … "46*C6=>V@ C6!467J%'!C;B:!C67J?!4()25(EB:B(2E#aB6G(E "!=I((7:B46Cš6G(B:$#"25BU;(13#)2E#aB6G(E "!:=>(

U;(7DU;!%#&=>C6(E7R(EBU;(E7*w"C25B=I"C67N2s!C;B:=>C;46(E7J(EBJC6"467*w!46C6=>7:7!C67F46C#&1> "!:=>BW6%)(J76G(L?!4(EC;B:=>(E1HA!46

2E#a1325461>(E+1>(E7G(1VG(%)(EC;B:7+C6=>7 U;(7NS:U;!%#&=>C6(E7

,©§fe¥$i.-/£šj S/0w"C25B=I"C67V@6S/†U;"%#a=IC7V@"!$U•(E#(EC6=~2W6=>(—1:2E#&B(E !":=>(

`

0W6( A646:A!7(D.‹BW6=>7+A#aA(EF=>70Bœ.w!13U .:7BJ=IB0#&=>%'7 #aB0 !(EC6($#&1>=>7:=>C6 BW6(C6"B:=>!C.‹7:B5#&<61>(€46C2

B=I"C670=>C;B::6U;425(VU<;9 (E:9=>CH(E!\†@;=>C!5U;(EFB:)25"C67:B:425B#— :2E#&B(E !":9 0W6!7(W6!%'7:(EB7 #a:(

(6B(EC67:=>"C#&1>1>9!5U;(E(VU&€=>( …467=IC #'A"=>C’B0=>7(!5U;(E-1I=$ (=>C#&%\!* "!#aCU™7:(V25"CU;1>9#aBN"<6B$#a=

C6=>C6 J%'•U•(E1>7 w" 13#&C6 "4#& "(E71>=$ (œH.# u#ªB9’A(VU%$†2E#a1325461>467HB! !(B:W6(E&0=IBWD#&=>B:W6%'(EB:=32H#aCU<;!1>(V#aC

"A(E5#&B!:7L@6#&46 "%)(EC;B(VU'0=>B:W)# (6A"=IC;BH"A($#&B!0W6"7:(FB:(E%)7œ#a:(+7(V?"46(EC;B:=3#a1I9)2s!%)A46B$#a<61>(!@&7:

#a70B:)25"C67:B:425B*w41I1>9:#&<67B:$#"25BR%)6U;(E1>7

OB8=>7 $ C6)0CBW#&B8B:W6(R7:(V?"46(C’B=3#&1>=>B9NA:!<1I(%=I78W6=> !W61>9F:(E13#&B(VU B: %:BW6(w461>1>9†#a<67:B$#"25B:=>!C?"46(E7'

B=I"C( €!*$:2E#&132541I47N<#&7:(LU13#&C !4#a !(E7 OC+ÃM=>1,-. M=>1>C6(E+A!7(VUšB:W(DA6!<61>(E% =>CB:W6( w"1I1>)0=>C6

w":% '/100p{”Rv&o;}Id}nt32!{Jr:vF¡Hpyq5v&pq5{†“6r-v†mJxV{5žEo6{p;rut€y&}Hq5v&p;rt3p6o6v&o"x0mEo;pqsrutwvap;xŠyapdx$Œ6v&” rwŒ6yLr

r€Œ•{JŽvL!{} vmFxV{$žo6{Ep•rutwya}Vmo’pq5rtwv&p•x {.4&t>x5rwxNyapƒ&tw{}IxNyRmEo;}3}nƒLl$y"‡5x5rz$y"q5rHt3p;rz${†“z5{5r:yLrtwvap65EQN25B4#&1>1>9

BW6(7:(L?!4(EC;B:=3#&1>=>B9)A6!<61>(E%70#&70":=> !=>C#a1>1I9$#a=>7:(VU=>C=>B:70%'!7:BRB9;A6=32E#&1 w!% #aCU'7:W6)0CšU;=9825461>B

<;9 1I"B

$

=>C =IC:Ã1>;-<"!BW6(E:(šB:W(%)6U;(E10U;(E=!(VU €:!% S625!BB7).D25!C;B:=>C;46"467 w46C2sB:=>!C67%0#&7

7W6)0C›B:<(C6"C w461>1>9 :#&<7:B:5#!25B*w"B:W(1~#aC6 !4#& !(H.#+8OCU;(E(VU›1I"B$ =>C(.•W=I<=IB(VUšBRH.#

B(E:%'7=0W6=32W#a:(F!A(E$#aB:=>!C#a1>1I9 (V?"46=!#&1>(EC;Bœ<46B=0W=~2W)#a:(U;(EC6"B:(VUd<;9B: w46C25B=>!C67œU•=?>…(E=IC D"C

#aC#& !46%'(EC;B@0W6=32W=>7+46CU;(C#a<61>(=>CB:W(D13#&C !4#a !( S;42W˜#aC#& !46%'(EC;B0=>7+B9;A6=32E#&1>1>9)BW6( %:A#

5#&1>1>(E1 "( €46C25B=I"C @#<=IC#&:9<;!1>(V#&C w4C25B:=>"C0W=~2W9;=>(E13U;7*!#&1>46(JB:46(!@…#&7F7:;!C#a7+"C6( H=>B:7

#a: !4%)(EC;B:70=>70B:46( A0W6( :(V#a7:!C™ HB:W6=>7+u#a=>1I4:(J w461>1:#&<67B:$#"25B:=>"C)=>70(E7:7(EC;B:=3#&1>1>9#&C=>C#!U•(V?"4#&B(

B:(V#aB:%)(C’B 07:(V?"46(EC;B=~#a1>=IB9 …=>B=>7*R(E1>1 $ C6)0CšB:W#aBDH.# 1I=$ (1~#aC6 !4#& !(7-2#&C›<()( !#a1I4#&B:(LU7(

?"46(EC;B=~#a1>9B!"B:W(E:(€!:(F=>C!$U•(E0B:A: ;=3U;(+w461>1>9†#a<67:B$#!2sBH%)6U;(E1>7€!H742W)13#&C6 "4#& "(E7V@a!C6(F7:W6"4613U

(E7:B:=325BB7(V?"46(EC;B:=3#a12s!C;B:=>C;46!47w46C25B:=>!C7 €7:=>C25(=>B+=>7 $ C6)0CB:W#&B+BW6(%)6U;(E18 25"C;B:=>C;46!467

w4C25B:=>"C67œ=>7œ2s!%)A1I(B:(-CFC)B:W=I7& #L9;@!M=>1>C6(Eœ#aCU'DH46=>1>1>(E%)=>CA:!A!7(VUBRDU;=9>…(E:(C’B0U;(C6=>B:=>!C67

.‹7:(L?!4(EC;B:=3#&1>=>B9 w7(E(-ÃM=>1,-<‹#&CUEDH46=,)F<0G!"46C w":B46C#&B(E1>9B:W6(=I+U•(C6=>B:=>"C67œ(E1>9!C'B:W6(JA6•U•425B

7B::425B:46( BW6(+=>C6A46BH7:A#!25(J w46C25B:=>!C7 #aCU#&(N#!U•(V?"4#&B(+!C1I9 w":7Bœ"$U;(w4C25B:=>"C67 €C6!B

w"+w46C2sB:=>!C6C#&1>7

OC"$U;(EFB:7!1!(JB:W(NA:!<1I(%@!J#&W6C#aCU1>!B

$

=>C €7:(E(H!J#!&![<0RA6:"A"7:(VU™#%)!(+ "(EC6(E5#&1

U;( C6=>B:=>!CI0W6=32W#&<67B:5#!25B7 €:!% B:W6(A:6U;425BF7:B:425B46:( HBW6(=>C6A646B+U•!%#a=>C67J0W6(E=>0A6!A!7:=

B=I"C(E1>=>(E7!C‘#aC˜#6=I"%#aB:=>7$#aB:=>&C 0B:W6(C6"B:=>!Cš 0B:W(A613#!25( +#&C‘#a: !4%)(EC;B+=>C›#'A#&B:=3254613#&

2513#a7:7H. U;"%#a=IC7 2E#&1>1>(VUq$vapqz${sr†{F!v&Žy&t‰p;xK6C6( !(:B:W(E1>(E7:7R=>B2#&C6C6"BH<(œ467(VUB: A6: ;=3U;(RB:W6(1w461>1>9

#a<67:B$#!2sB+%)6U;(1. .#›7:=>C2s(NBW6(D2E#aB:(E "!9) H25!C25:(EB(ŠU•!%#a=>C67œ#&CU)7(V?"46(EC;B:=3#a1 w46C25B:=>!C7u#&7

U;( C6(VU<;9"!J#aW6CŠ#aCU1>"B $ =>C =>7 C6"B‹2E#a:B:(7:=3#&C251>!7(VU 0"B:=325(RW6)œ(!(E8B:W#aB 7:4<67:=>B:4B:=>C6 JB:W6( C6

B=I"C). 7:(V?"46(EC;B=~#a1 #&1> !":=>B:W% w"HB:W#aBœ. w46C2sB:=>!C)#aCU(E13#L6=>C6 B:W(+(6B:(C67:=>!C#&1…!5U;(EL@6#&1>1>)‘B:

A6 ;=~U•( H.# 0=>B:W#+€461>1I9:#&<67B:5#!25B8<646B C!C!$U•(E#(6B:(EC7:=>!C#a16%)6U;(10€7:(E(M.R4$[-N<#aCUH (EO"\L0

Q0BB$#"2 $ 7J!CšB:W(DA6!<61>(E% 1>(VU (E:9šB:U;(C(B:W6(C6"B:=>!C™ +x5r:y!‡}I{0mo’pq5rtwv&p w7(E(6 (EO"\L0

OC;B:4=IB=!(E1>9;@;7:B$#a<61>(w46C25B:=>!C7N#&(D25"C’B=>C’4!467+w4C25B:=>"C67+B! !(B:W6(EP0=>B:W#A#a:B=~2s4613#&+%'=>C6=>%)#&1>=nB9

A6!A(E:B9 (#!:%#&1>1>9’@&#*€46C25B=I"CQ =I7R7:B5#&<61>(J= w!0#&C;9(E1>(E%)(C’BSR #aCU w" #aC;9Š#aA6A6:L6=>%#aC;BT

.UQ VR E@…BW6(E((6=I7B:7#&C›#&AA6:L6=>%#aC’BW QAXORYXOT .UR 7 B w!#&C;9#&AA6:L6=>%#aC’B[ZP \R8@]T

^Y^`_=abGcd<e

#aA6A6:L6=>%#aB:(E7 Q Z = #&CU !C1I9J=BW VQAXORYXT #&A6A6L6=I%#&B(E7 Z"Q B9’A=~2#&1;(#&%'A61>(H #FC6"CD7B$#a<61>(

w4C25B:=>"C=>70BW6(JA#&5#&1>1>(E1u"w4C25B:=>"C)7:=>C2s(W )XXGX œU•’(70C6!B0(6=>7:B

0W6(7:( w46C25B=>!C670B! !(B:W6(EP0=>B:WU;=>7B::=><64B:=!(#&CU C6=>B$#&9U;"%#a=IC7V@"A6: ;=3U;(#2E#&B:(E7=3#&C251>"7:(VU

2E#aB:(E "!90W6=32:W‘2#&C6C6"BD<()"$U;(#(EC6:=32W6(VU <;9šB:W6('A"=IC;B0=>7:( u"$U;(E#&CUšB:W;4672E#&C6C!BA6 ;=~U•(

BW6(*w461>1>9 :#&<7:B:5#!25BR%)6U;(16 HH.#+;OCU;(E(VUM=>1>C6(Ew7(E(%MP=I1,J0 7:W6)R(VU'B:W#aBJrwŒ6{mEo;pqsrut€v&p;l$‡5yLxV{5

mEo;}3}ƒLl$y!‡sx5ruz5y!qsrœŽŠvL!{}‹v†m–t>xJo’ptwžEo6{oV“šr:vt>xVvaŽŠvaz“6Œ;t3Žyapt>xDvaz$!{z${5{.4Vr:{p;xEtwv&pya}3}nƒ&

QJ25B:4#a1>1I9™B:W6(7:B5#&<6=>1>=>B9C!B:=>"CE #a7J=IC;B:6U;425(LU›#&7#&C›#&A6A:L6=>%#&B=>!C).œB:W#&BJ 07:(V?"46(C’B=3#&1>=>B9B!

<64B‹=>C7=> !W;B… MP=I1>C6(7 (E7:461>B7‹=>B8=I7251>(V#&BW#&B8B:W6(1w461>1>9†#a<67:B$#!2sB w46C25B=>!C67'u<#a7:(VU %)6U;(1’2E#aC6C6!B

W# "()U;=>7:B:=><646B="(ŠU•!%#a=>C67!!C(Š2E#aC›=>%)%)(LU;=3#&B:(1I9)2s!C ;=IC25(!C6(7:(E1+ 0B:W(C6!C‘U;=>7B::=><64B:=;=IB9

.-U;"%#&=>C67J.+7:(V?"46(EC;B=~#a1+w46C2sB:=>!C67 u#a7 #&#&7B:W6('(6B:(EC67=>!C#a10!$U•(E=>7D467(VU w!(#&%'A61>(!@

25"C67:=3U;(:=>C6 )BW6(U;!%#&=>CE !":@ 0W6(E:(#–=>70B:W6(DU•!%#a=>CD.BW6:4B:W !#&1>46(E7L@;1>(EB

Q%$& ('%X )&+*,GXQ

& X-' .&+*/10324& 5Rˆ5 &+*6 K

r€Œ•{pQ%$7Q

&:$AR)8 y&p92: VQ%$;7IQ

&<2 ‡o!r+=2:IQ%$ )7 =2:IQ

&S$AR)8%' 

OC B:W(%)(V#aC;B:=>%(=>BD=>7)251>(V#aB:W#aB w46C25B=>!C67%Q $ @Q

#&CU>2 #a:(7:(L?!4(EC;B:=3#&1J#&CU H.# U;(

C#a<61>( MP!:(25:42s=~#a1>1I9;@ (E:91>(wB+BW6(A6!<61>(E% !A(EC<;9(6W6=><6=>B:=>C6 # w46C25B:=>!C 0W6=32:W=>7+7B$#a<61>(

<64BNC!Cš7:(V?"46(EC;B=~#a1!742W˜# w46C2sB:=>!Cš=>7+B:W(D1>(V#a7:B25!C;B=IC;46"467` :#&9<;!1>(V#aC w46C2sB:=>!C6Q 7:42W

BW#&B@Q XQ QAX-' &:Q Q QAX-'%X & Q ('XXQ Q &?@8

OCU•(E(VUBW6=>7+w46C25B=>!CW#&70C7:(V?"46(EC;B=I1>=>B9=>CU;(#&B'%XA'XA' +

#!1>1>)0=>C6 B:W6=>7@0#L9;@ 42E2s=~#a:(E1>1>=H#&CUCBW6W#&5U w7(E(- 4BH\!`; #aCUDBW65\!`ªA6:"A"7:(VUšBW6(C6

B=I"C œx5rz$vap;|Dx5r:y!‡t3}nt~ruƒLˆ6<64B0B:W6(E=>FA6:"A"7:=>B:=>!C#&1>7::(1I=>(E7F!C'B:W6(DU•=I7B:=I<46B:=;=>B9 U•!%#a=>C67

#8=>C#&1>1>9;@;Q+<65#&%)7

$

9’@;];#& ’#"U;(E(E75#&C›#&CUM#a13#!2E#a:=3# €7:(E(IQ+]’M™\!`<00A6!A!7(VU7B:5#&B:( !=>(E7J=>C# ’#a%)(

%'•U•(E1!<64B B:W(E=>‹7B:5#&B:( !=>(E7H#&(œC6"B‹# w46C25B=>!C#a1!%)6U;(1’#&CUJB:W6(RU;(E7$2s:=>A6B:=>"CD.B:W6( w461>1>9 :#&<7:B:5#!25B

%'•U•(E1…7:B=I1>1…1>(V# "(E70B:<(U;(E7:=>(VU

7:46%X4A @ 0W#&BR(@0#&C;BR=>7œB:(E13#L)BW6(U;=>7:B:=><646B=;=>B9 U•!%#a=>C67œ#&CUB:467(NBW6(JA"=>C’B0=>7(

"$U;(EL@=IC'!5U;(E+BD7(E%#aC;B:=32E#&1>1>9:(V#"2:WšM=>1IC(E7R%)6U;(E1#

Q wB:(EJ7!%)(JC6"B$#aB:=>!C67L@; !=!(C=>C7(V25B=I"CO:OE@AR(=>C;B::6U;425(=>C7:(V25B=>!CšO:O:OJkl$!v&Žy&t‰p;x5ˆ 0W6=32WP#a:(

7B::425B:46(E7JA6: ;=3U;(VU0=>B:W# A#a:B:=3#a1"$U;(E0(E13#&B=I"C)B! !(B:W6(E0=>BW# A6:(E"$U;(+:(1~#aB:=>!C -0W6(FBœ

(E13#&B:=>"C67 #a:(F=IC;B(ECU;(VU'B %525!%'A#&( (JB:W6(J<(EW# ;=>!46R =>CU;=;=3U;4#a1I7<!BW)(6B:(C67:=>!C#&1>1>9)#&CUd=IC

B(EC67:=>"C#&1>1>9/J0W6(J=>C;B:(EC67=>!C#a1A6(E!5U;(EJU;;(E7+C6"Bœ=>%'A"7:(+#&C;97=I "C6= 2E#aC’BR7:B:42sB:46(D"CU;"%#&=>C67L@

=>BH"C61>9-#a1>1I)07BN "(EC6(E5#&1>=>7:( !J#&WC)#&CU1>"B $ =>C7 C6"B:=>!C …B:W6(0A1~#"25(0 #&C)#a: "46%)(EC;B8=IC#P0=3U;(E

2513#a7:70 HU;!%#&=>C67wC6"BH!C61>9BW6(25!C2s:(EB(!C6(7 OC)7(V25B:=>"CODD@ R(+467(B:W(N=>C;B:(C67:=>!C#&1A6:(E"$U;(

#aCU›U;(C()B:W(k6lnmEo;pqsrutwvap;x*0W6=32W˜#a:()25"C;B:=>C;46!467 w46C25B=>!C67B! "(EB:W6(0=>B:Wš7:"%)(=>C’B(EC67=I"C#&1

25"CU;=>B:=>"C67 OC 7(V25B=I"CSDD@&œ(™7:W6) B:W#aBk6l$!vaŽŠyat3p;xr:vs|a{srwŒ6{Ez”Ht~rwŒ›k6lnmo’pq5rtwv&p•x˜q5v&p;x5rt>ruo"r:{y

q5y&zsr†{sxEtwy&p›qE}>vLxV{v&z5!{z5l${p6zEtwqsŒ•{5 “•vat3p;r”Ht>xV{}nƒ)q5yLr:{†|avazEƒ& #8=>C#a1I1>9;@ œ(25"%)A#a:(J!46F%)6U;(E18B:'B:W6(

S62s!B:B 7N%'6U;(E1 2s!C;B:=>C;46!47w46C25B:=>!C7V@]R(D7W6)B:W#&BJ!46J%'•U•(E1 =>7#z5{5rz$y"q5r . S625"B:B 7L@ #&CU

R(U;(C6(dx{5žo6{Ep;rtwya}‹y&}Ÿ|avazEt>r€Œ’Ž xHmVv&zq5v&ŽF“o"rt3p;|rwŒ6{H¡Hpt>r†{{}I{ŽŠ{p;r€x v†mJk6l$"v&Žy&t3p;xE

EFY^)EG

Z

OC›BW6=>7N7(V25B=I"Cœ(=>C;B::6U;425(B:W6(7B:42sB:46(E7D47:(VU B:W6!46 "W"46BJB:W6(A#aA(D#&CU R(DA6(V25=>7:('!46

B(E:%'=IC!1>! "9Š#aCU'C6!B5#&B:=>"C67

 (EB &IX –<(N# A#&B:=3#&16"$U;(wA/G! =I70#)q5v&ŽF“}>{5r:{J}>yLr€rutwq5{ =‹#&C;9D(!(E97:46<67(EB

W#a7 #-1I(L#&7:BR46A6A(ER<"46CUU;(C66U;(VU#&CU)#J ":(V#aB:(E7B01I)R(EH<!4CU;(VU'U;(EC66U;(VU "Q–746<67:(B

=>7-at3z${5qsr†{5 =‹=>B0=>70C6!C'(E%)A6B9)#aCU'=>707BX EX"!# $%&#'

QFC(1I(%)(EC;B@R' ( =I7H¡ p6t>r:{@Jv&zJt>xVva}IyLr:{5 J= w!0#&C;9U;=>:(V25B(VU746<67:(B) *@

R

)&+* +!,% -R

-›(JU;(EC6"B:(/.+0 0BW6(J7:(EB0.C6=>B(+(E1>(E%'(EC;B:70 H#D2s!%)A1I(B:(+13#aB:B:=325( #&CUœ(2E#a1>1…=IBRB:W(d‡5yx{ .

!.+VR H(EA6(E7:(EC;B7+B:W(+7:(B0 C6=>B:(F(E1>(E%)(EC;B7œU;!%'=>C#&B(VU<;9%R"O w"œ#&1>1 C6=>B:(0(E1>(E%'(EC;B=RYX".+R

=>7+C6=>B(!@6BW6(EC =>7R7$#&=3U'B:<(0¡Hp6t>r:y&zƒ

Q 25!%'A61>(EB:(13#aB:B:=325( =>7y&}Ÿ|a{L‡Ez5y&twq-=w!D#aC;9(E1>(E%'(EC;BR©@. VR =>7DU;=>(V25B:(LU #aCU›W#&71I4<RS!

=1.+0 =>7DU;(EC;46%'(E$#a<61>(!@8B:W6(EC =>B=>72Hl$y&}Ã|!{L‡Ez5y&twq 0"B:=325(B:W#&B#25!%'A61>(EB:(13#aB:B:=325('W#&7#™1I(L#&7:B

(E1>(E%'(EC;Bœ(J7W#&1>1 U;(EC!B:( =IB' 0#aCU'B:"A(1I(%)(EC;B*œU;(EC6"B:(VU 3

4ª(EC25(€!:BW @Aœ(J(w(EFB: C6=>B5#&:952 †#a1> !(E<65#&=32+2s!%)A1I(B:(+13#aB:B:=325(#a7D!v&Žy&t‰p;x

-›(JC6)–=>C;B:6U;425(DS/†U;"%#a=IC7

6

57 98

:<;>=

U;(C6=>B:=>!C  k6l$!vaŽŠyat3p;xX#&(B:=IA1I(7? &@AIXB XBCD7 B EAIXBF =>7N#U•!%#a=>C#&CU

BW6(:(1~#aB:=>!C %C (=>70#A6:(E6U;(+!C G

0W(A#&B:=3#&1"$U;(E %B ('=>7N2E#a1I1>(VU {4Lr†{p;xEtwvapy&}+0W6()t3p;r:{p;xEtwv&pya}›A6(E!5U;(E U;(EC6"B:(VU % C(/

U;;(E7C6"B=>%)A!7:(#aC’9 7:=> !C=…2E#&C;B7:B:42sB:46(E7!C©S†U•!%#a=>C67V@8=>B=I7'!C61>9 467:(VU B: U•(C6(BW6(E=>

%'!:AW6=>7:%)7

0W(@0W6"1I(J2513#&77œ.S:U;!%#&=>C67 0=>1>16<(J=>CU;425B:=!(1I9)2s!C67B::425B:(VU w:"% ‡5yxst€q >H…#&B RU;"%#&=>C67L@

467=>C6 B:W6(JA66U;425BJ#&CU'(6A!C6(EC;B=~#aB:=>!C"A(E5#&B=I"C

#!0BW6=>7+2513#&7:7L@6BW6(J=IC;B(EC67:=>"C#&1…A6(E!5U;(EF=I7+U•(C6(VU™#&70B:W(w!1>1>)0=>C6

:I;KJ

U;( C6=>B:=>!C 61>(EB) <(#&CS:U;"%#&=>C !aB:W6(EC

RLC Z=9>% .++ <X 0MSZONPQEZ * +RM RSNPQER U! 0W6(E:(

R5Q Z=9>T!,UV.+0 XW$!<YU[Z \U *RRU]'+ZH!)0W(E:(

U[Z \U=9>^U[Z_UN&BR U\Z` RU&+* R&PU\Z R&PU

:I;K:

A6!A!7=IB=>!C ;(E13#&B=I"C %)C (=>7+# A6:(E6U;(N"Ca

A6; ;:(bH(6=;=>B9 RCSR c%V. + X+&MSRSN QER * +dM ReNd QER

B$#&C7:=>B:=;=>B9 (RCSZ]CU* RCU

f .+0 @X+&MSZONPQEZ * +dM RSNPQER gN

h .++ MX 0&MUONPQ U * +&MSZONPQEZ *

^Y^`_=abGcd<e

h .++ MX 0&MUONPQ U * 0MSZONPQEZ * 0&M RSNP QR

:I; A6!A!7=IB=>!C ;1>(EB) <(#&CS:U;!%#&=>CDBW6(EC

BRYXZ]LIXVRLC Z]N R]QEZ * R Z

A6; ;7:46AA"7:(RYXOZ G #aCU'1>(EB@RC Z<46B1R%MSZ(!

BW6(ECV!, L.+0 RNdM Z=>CB:W6=>7+2E#a7:(J(E=>B:W(E

QEZ%0W6=32W=>7œ(251>4U•(VU7:=>C2s(/&MSZONALQ Zd<646B)%SR"

+LQ Z0W6=32W=>7œ(251>4U•(VU7:=>C2s(/%SRSN R]QEZ)

:I; 25"1>1~#a:9 ;1>(EB) <(-#aCS†U•!%#a=>CDBW6(EC

BRYXZ]LIXVRLC Z5C RSN:R]QEZ * R &SZ

#:"%XC6)©!CIœ(U;(C6!B( % (B:W6(J(V?"46=!#a1I(C25(J=>CU;425(LU<;9)B:W(NA:(E"$U;(E %C ()

0W(+A6!A!7:=>B=I"C w(E7:AB:W6(25"1>1~#a:9H#a< "(+7:W)07œBW#&BRB:W6(JU;!%#&=>CA#&B:=3#&1!5U;(Ew(E7:A ;B:W6(

(V?"46=!#a1I(C25(RW#a7œ<(E(EC<6 $ (EC)=>C;B:Bœ A#&B7:B0B:W(N=>C;B:(C67:=>!C#&1A6:(E"$U;(w:(A6BW6(+=>C;B:(EC7:=>

C#a1 (V?"46=!#a1I(C25(0#aCU'7:(V25"CU;1>9)BW6(J:(E13#aB:=>!C %XQ (!C(E1>(E%'(EC;B:7

OC;B:4=IB=!(E1>9;@ R Z2E#&C›<(D=>C;B:(:A6(EB:(VU #&7*w"1I1>)07 25"C67:=3U;(E=>C6 #&C;9A6=>(V25(.œ=>C w":%#aB:=>!C8@;=R=IB

2E#aC‘<()467(VU›B7:=> "C6= 2E#&C;B1I9š=>C25(V#&7()B:W()=>C w":%#aB:=>!C25"C;B$#&=>C6(LU›=>CR›BW6(EC‘=>BD2#&C›<()%#"U;(

70=>BW6Z#&CU ;=>7:( !(:7$# A0W6(Š#aB:B(E%)A6B0W(E:(!@8=>7+B) !(C6(E$#a1>=I7(DBW6(C6!B=I"C %B:W6(A613#!25( #aC

#a: !4%)(EC;B (' # w46C2sB:=>!Cš7:#&7FB:1>(V# !(#L0#L9#&C;9:( w(E:(C25(B:'B:W6(A66U;425BJ7:B:42sB:46() RB:W6(

=>C6A64B+U;!%#&=>C

 (EBH467H "*w46:BW6(Eœ#aCU =I1>1>467B:$#aB:(R!C(#&%'A61>(E7B:W6(R:(E13#aB:=>!C<(Bœ(E(C)B:W(0C6!B=I"C …A613#!2s(+#&CU !46

U;( C6=>B:=>!C ,-›(@0#&C;B0B7:W6)©W6(E(!@B:W#aB0!460=>C;B:(EC7:=>!C#a1…(V?"46=!#&1>(EC2s(-#a1>1I)07RB: "(E:=w9 0W6(EBW6(E

"œC6"BœBR7(V?"46(EC25(7N.‹#& !46%'(EC;B:7œ#a:(NU•(C6(VU'"C)B:W(+7$#a%)(+25"%)A!C6(C’B7J0W#&BR=>7HB:7$#L9BW#&B

R(#&:(#&<61>(+B)U;(V#a1 0=>B:W#&: "46%)(C’B7;A613#"25(E70=>B:W6"46B+25"46C;B:=>C6 B:W6(E%

GF(C6()U;!%#&=>CV &I0W6(E(h #aCU C6=>B()#&CU 0W6(E( =>7B:W(]H #&BDS/†U;"%#a=IC.

=>C;B:(E "(E:7 …B:W((6B:(EC67=>!C#a1‹(E13#&B=I"C=>7JB:W6(U;=>7$25(EB:("C6(#&CUBW6(=>C;B:(EC67=>!C#a1 :(1~#aB:=>!C™=I7U;( C6(VU

#a7œ=>CU;=32E#aB:(VU'#&< !( 0W(+(E1>(E%'(EC;B:7R #&:(J7(V?"46(EC25(7+ =>C’B(E !(:70=IBW)1>(EC6 "W

$

@;#&CUdB:W6(E9)#a:(

"$U;(E(VU25"%)A!C6(C’B0=>7(E1>9’@&47:=>C6 B:W6(JA6•U•425B0!5U;(E ;O70=I7R=>%)%'(VU;=3#&B(HB:W#aB) =>7 #aCS:U;!%#&=>C

0W6(:(#&(A#&B:=3254613#& C6=>B:((E1>(E%'(EC;B:7 €B:W6()2s!%)A1I(B:(E1>9A6=>%)((E1>(E%)(EC;B7 P0W6=32W‘#&(7:(V?"46(C25(E7

0W6=32W25"C;B$#&=>C'!C61>9)(1I(%)(EC;B'(.2s(EA6B*w!+#4C6=3?!4(-2s!%)A!C(EC;B6S;42W2s!%)A1I(B:(E1>9A6=I%'(E7+2E#aC

BW’47+<(N(EA6(E7:(EC;B(VUš<;9)A#a=I7 X J@ 0W6(E:('^) #aCU]

ª)[R(Š2513#a=I% ;= & X J#&CUT& XJ#a:(BR25"%)A61>(EB(E1>9A:=>%)(D#aCU=>C;B:(EC7:=>!C#a1>1I9

(V?"46=!#a1I(C’B0(1I(%)(EC;B:7L@;B:W6(C &

OCU•(E(VU…@1>(EB:B=>C6 & YXJ@;<(#D25"%)A61>(EB(+A6=>%)(+(1I(%)(EC;BV@;=>B0=>7R(V#&7=I1>9'7:(E(EC™B:W#aB

OQ N]M! H=9> & * " &# N M&" &M !

=>( $ T * YX=%M&" =9> %M& #&CU'B:W;467 &

-›(2E#aCBW6(E(w!(B$#a1$ #&<!4B #a: !4%)(EC;B:7 ;A"7:=>B:=>"C670=>C#1>=>7:BR #a: "46%)(EC;B7

ª) R(2#&C› !(BŠ25"C U;(C25(B:W#aB!4ŠU;( C6=>B:=>!C›=>C;B:6U;425(E7#%42Wš%)":( !(EC6($#&10C!B:=>"C.

A613#"25(J=ICU;!%#&=>C67 0W6=32W#a:(#&<67B:5#!25B0BW#&C25"C25:(B:(DU;"%#a=IC7 (w":(Pœ(JA6625(E(VU…@1>(EBœ470=I1>1>467'

EFY^)EG

B$#&B(=>Bœ"C7:!%'(+%'!:(F(#&%'A61>(E7

{.4!y&ŽF“}I{ ,…(B1 <(BW6(J=IC;B(E !(E+U•!%#a=>C !5U;(E(VU7B

SW =?>

& W W &P3

& 'BW6(EC&BRYXOZM&P3%X1VR%M& ' M&:Z * R Z 8

{.4!y&ŽF“}I{ ;S;(EB &ª!$U•(E:(VU0=>B:WB:W(+A6•U•425BR!$U•(EV@ =>7œBW6( H #&B0U;"%#&=>C. <;!1>(V#aC

!#a1I4(E7!B:W6(EC&

^ *('%X-' C XA' Q QAX-'

**X-' MC '%X

7:=>C25( X-' &M '%XOQAQ ]M& '%X N ('%XQAQ gQ XA'

<64B

('%XQAQ gQ ('%X *

57

#8=>:7B+ œ#a1I1@"1>(EB+467F:(V2#&1>1 BW#&B+# w4C25B:=>"C Q w!% U;!%#&=>Ce B)U;!%#&=>C =>707$#a=3U)B<(25!C;B:=

C;46"467 =9> 5BRLIX \=>7:"1~#aB:(VUFN % Q VR GXb!,% 7 B$ =>7!13#&B(VUDN

SR N % Q +

BH?"46=!#a1I(C’B1>9 Q =>7-2s!C;B:=>C;46!47 =9> =>BJA6:(7:(E !(E71>46<67J +U;=>:(V2sB:(VUš746<67:(B:7 0W;467J=>CU;"%#a=IC7V@#

25"C;B:=>C;46!467 w46C2sB:=>!C'=I7J25!%'A61>(EB:(1I9)2W#a$#"25B:(E=E(VU™<’9'=>B:7!#&1>46(70!CB:W6( C6=>B:(J(E1>(E%'(EC;B:7 0W6(E(

w":(!@ 0W6=>1I(025"C67:=3U;(E=>C6 25!C;B:=>C;46"467 w46C25B=>!C67L@)œ(R7:W#&1>1;:(V25B:=325BRB:*C6=>B(œ(E1>(E%'(EC;B:7!C1I9;@G0=>BW6!46B

#aC’91>!7B+. "(EC6(E5#&1>=>B9/ -›(J!C61>92s!C67=~U•(E#&7+A:! "$#a%)7V@;BW6!7(Š2s!C;B:=>C;46!47w46C25B:=>!C7+W# ;=>C6 )#&7

=>%#a !(!@"B:W()H…#&B+U;"%#&=>C67

ª)@L !=!(ECBRDS:U;!%#&=>C67_X#aCU@)R(+#&(0=>C’B(E:(7:B:(LU!C1I9 =ICB:W!7:(+2s!C;B:=>C;46!47w46C2sB:=>!C67

w!% G©B:B 0W6=32W7$#&B=>7#w9BW6(w"1I1>)0=>C6 25"CU;=>B:=>!C uS

BRYXbUO -RU(X %%X Q 0U '&&M Q VR * !VQAXR X

U 'VQAXR XMSR N

BZ]VIX R Z N Z]U N C Q VZ *VQAXR X C Z

OC;B46=>B:=!(E1>9;@’# w46C25B:=>!C "(E:=(E7J25!CU;=>B:=>!C uS =9> #aC;9=IC25:(V#a7:(.H=IC w!%#&B=>!C=IC'=>B:70:(7:461>B

C6(L25(E7:7=>B$#&B(E7B:W6(=>C25:(L#&7:( 0#&C=>C;B:(EC7:=>!C#a1>9)A6(VU;(C(VUš=>C w!%#aB:=>!C=>C=>B:7J#& !46%'(EC;B6OCU;(E(VU

BW6=>7=~U•(V#=>7)#™ !(EC(E$#a1I=V#aB:=>!C !N#aW6C #aCU‘1I"B

$

=>C7ŠU•(C6=>B:=>"C‘ J7:(V?"46(C’B=3#&1€46C25B=I"C67 9

BW6(H0#L9’@Q XRYXXJ2E#aC›<( ;=>(GR(VU›#&7r€Œ•{dt3p"{4vm*Q t3pER…ˆ mLv&z&y&}no6{?! "C6(B:W;4677(E(!@#&7D#a1

(V#!U;9C6"B:=325(VUP<’9IDH4=I1>1>(E%'=IC8@&B:W#aB0B:W6=>7F=ICU;(=>70C6!B0C6(L25(E7:75#&=I1>94C6=3?!4( 4ª(EC25(€!:BW @]R(*0:=>B(

1w!FB:W6(7(EBJ 2s!C;B:=>C;46!47w46C25B:=>!C7 €:!% G«B B 0W6=32:Wš7$#aB:=>7#€9BW6( uS†25"CU;=>B:=>"C

#aCU œ(2E#a1I1…BW6(E% Sw46C25B=>!C67

(w":(+A46:746=>C6 @"1>(EBH467"(E:=w9B:W#&BœSw46C25B:=>!C7H(6=>7:Bœ#aCUB:W#aBHB:" !(EBW6(E0=>B:W)S :U;!%#&=>C67V@B:W6(9

w":% #D2#&B:( !!9/

^Y^`_=abGcd<e

_;f=

A6!A!7=IB=>!C r€Œ•{ tw"{Ep;rt>rƒ0mEo;pqsrutwvap^P 9 ! 8@8

BRLLIX ^VR ;&:RYXt>xDyapk6lnmEo;pqsrut€v&p6

A6; &C6(J=>%)%'(VU;=3#&B(E1>9 !(:=(E70BW#&BR(D2E#aC7(EB $^*XORYX;&d

`;J A6:"A"7:=>B:=>!C R|&t3&{Ep ru”Rv™k6lnmEo;pqsrutwvap;x@Q G

B #aCU 2P B

#]%X0r€Œ•{t3z

q5v&ŽF“6vLxEt>rtwv&p92Q9 ! M"Xt>xDy&pPk6lnmEo;pqsrutwvap6

A6; ;1>(EB@R XbUL *RU(Xg% N 2Q 0U ' M 2Q R B:W6(C

! $ & =2AXOQ VR GX -Q 0U ' $OMSQ VR N

BZ5%X VQ VR ZFN Z Q +U N hC 2Z * $ C Z !

#aCU'B:W;467)!,h % $ N

Q +U' M Q VR šW6(EC2s(R! $ Q XRYX" L :RM'

RU N

BZ5 IX R SZ N Z]RUPN C Q VZ *

C Z 8

ª)@;1I(B:B:=>C6 2QAXR X& & XHR(J !(EB

^ R%M' %U

*&]Z]VIX R ZFN Z RUPN %C 2Q Z * CSZ 8

0W(+#&< !(0:(7:461>B:70#&1>1>)›B: 7:A(V#

$ BW6(+2E#&B(E !":9%0W6"7:(0"<!K5(V25B7 #a:(NS/†U;"%#a=IC7‹#&CU*0W6"7:(

#a::)07+#a:(DS/0w4C25B:=>"C67-›(J7:W#&1>1 2E#&1>1…=>B<

QJ25B:4#a1>1I9;@;!4œ=>C;B:(EC;B0=>70B:7W6)–BW#&B_ =>7+#— †2E#aB:(E "!9/ (w":(!@1I(B70(#&%'=IC(0%)!(N251>"7:(E1>9

Sw46C25B:=>!C7+#&CU'7:"%)(F ‹BW6(E=>+A:!A(EB:=>(E7

##!2sBN^ k6lnmo’pq5rtwv&p•x$ˆ0”Œ;twq5Œyaz${&t5+{z${p;r…mEz$vaŽ r€Œ•{ tw!{p;rt>ruƒLˆœ"v{.4&t>x5r

#aC(.#a%)A61>(F S/0w4C25B:=>"C)=>70B:W6( 1I(L#&7:B+€46C25B=I"CQ™7B

Q ! 7B(Q (' & '%X6Q &:Q Q Q & @8

OCU•(E(VU…@=>Bœ=>70(V#a7:=>1>9 !(E=(VUBW#&BR(2E#&C7:(B VQAX-'%X )&?

QFC6!BW6(E0(#a%)A61>(+.‹BW6((6=>7:B(EC25(.œS0€46C25B=I"C67R=I70 "=!(EC<;9B:W6( w!1>1>)0=>C6

_;: A6:"A"7:=>B:=>"C  {sr‹Dyap{+‡5{Rr”œv8¡Hp6t>r:{J{E}>{EŽ{p;rwx+vmRkl$!v&Žy&t‰p;xX#aCU r€Œ•{prwŒ6{…mEo;pqsrtwv&p

Q !{pvLr:{5 &+*yapdxs~ru(Q VR & =R'dB:W6(ECJ(1I7(4'%Xt>x-yapklnmEo;pq5rtwvapmEz$vaŽF B:

A6; w46C2sB:=>!CEQ =>7+25!C;B:=>C;46"46707:=>C25(U)#&CU)(#a:(C=IB(J(E1>(E%)(EC;B7

ª) Q XRYXX =>7 U;( C#&<1I( !C61>9=%C#&CU'= R%M' gN +!SU] RP7B,U' <!

<64B0=ICBW#&B+2E#a7:("C6(J=>%)%)(LU;=3#LB:(E1>9 "(E:=(E7FB:W#aB VQAXR X 2#&C<(J7(EB+B)U

.R":"1I13#a:9 y&p6ƒq$vap;x5r†yap;r…mEo;pq5rtwvapt>xy&p™k6lnmEo;pqsrut€v&p6

##!2sB * k6lnmEo;pqsrtwv&p;xyaz${dpvLrD&t‰Vtw"{5t3p x5ruzEt€q5rJ{z5xEo"xdq5v&p•x$r:y&p•r q5vap;rut‰p6o6v&o"xNmEo;pqsrtwv&p;x w!

(#a%)A61>(!@w4C25B:=>"CQ) ! #J7B

Q VR & =R' ('X B:W6(C X R(1I7( X-' +@

=>7+#&CSw46C25B:=>!C 0W6=32W=>70C6(=IBW6(EF7:B:=325B0C6!+2s!C67B$#&C;B

EFY^)EG

\

##!2sB ` k6lnmo’pq5rtwv&p•xŠy&z5{Jx5rzEtwqsru}ƒt3pq}no6!{5dt3pq5v&p;rt3p6o6vao!xRmEo;pq5rtwvap;x

^ 0W(NA#&$#"U;=> !%#&B:=32 %A#&5#&1>1>(E1" ( w4C25B:=>"C=>7RC6!B+#aCS0€46C25B=I"C

7=IC25( X '%XA' GX ‘U;;(E70C6"B0(6=>7:B!=>CU;(E(VU '%X MC X-' MC ('X

* (E:9 7w46C25B:=>!C=>7RC6!B+#aCPS/0w4C25B:=>"C 6OB0=>7RB:W6( 1I(L#&7:B+2s!C;B:=>C;46!47+w46C25B=>!C

Q ! «7B (Q X>=X-' )&:Q >=XA'X.& Q ('%XX> &?@8

-›(2E#aCC)–:(E%#& $ B:W#&B M!VQAX '%X-'%XA' GX

` 0W6(.R46:=>(EC70(#a%)A61>(E70=>CA6:"A"7:=>B:=>"CF F Ã*HÃ.R465[-N<H#&:( C6!BJS0€46C25B=I"C67!1>(EB+467F1>’ $ w!

(#a%)A61>(+BW6(*w46C2sB:=>!C

$

$

=>7+2W#a$#!2sB:(E=I7(VU<;9

$

"

$$

& X

$

"

$

&:>H@(0W6(E( $$

X

$

#&(JB:W6(E%'7:(E1H2:W#&$#"25B:(:=E(VU™<;9

$$ XA' )&?X $$ >=X &"X $$ >@> &U>

$

('%X )&?X $

X> & X

$

,>H@> &U>

S;=>C2s( $

0W6=32W7B $

('XA' .& Xš#&CU $ >@>&A3 0W=~2W'=I70 ":(V#aB:(EFB:W#aC

$

$

,>H@> &> #&CU

$

>X &" #aCU $

X >& #aCU

$

$

& ' #&CU

$

"

$

&3 <646BB:W6(:(RB:W6"7:(RC6!B8(6=I7BH#&C=>CU;(."€! BW6(!#a1I4( $

#aB!#&1>46(BB

##!2sB=F y"‡5xV{pq5{vmt3p!{.4a{sxDy&z${ pvr p{sx5xVy&zEt3}ƒ)!{sr†{5qsr†{5dt3p '

U;( C6(Q B<(JBW6(1>(V#&7B+25!C;B=IC;46"4671w46C25B=>!C% ! M‹7 B

Q VR &? =9> R' X>X-' R' XA'X> G!BW6(EC

Q =>70C6"B #aCS0€46C25B=I"C7:=>C25(M! QAX XA'%X-' <X BW6!4 !W;B! QAX '%XA'XA' <X

ª)SR(N(E13#&B(DSw46C25B=>!C670BD7B$#&<1I(*w4C25B:=>"C67

OC u#"25B+Sw46C25B=>!C670#&(N7B$#a<61>( €46C25B=I"C67!B:W6(U;=9>…(E:(C25(<(EBR(E(EC™B:W6(E% =>7œBW#&B+S/0w4C25B:=>"C67 #a:(

#a1I7[/€t3p;r:{Ep;xEtwvapy&}‰}nƒ'x5r†y"‡E}>{-5F=>CA#a:B:=32541~#a+=>CU;"%#a=IC7V@ 0W6(E((E1>(E%)(C’B7N25"4613U<(D=>C;B:(EC7:=>!C#a1>1I9

A6(E!5U;(E(VUE0=>BW6!46B0<(E=>C6 (6B(EC67:=>"C#&1>1>9!5U;(E:(LU

#!0(#a%)A61>(!@;25!C7:=3U;(E=IC B:W6(€46C25B=I"CQ ! 1 7B

Q VR & =9> R ' XX-' " R ' ,>X-'%X B:W(EC Q =>7J#&CSw46C25B:=>!C8@6B:W!46 "W=>BN2E#aC6C6!B

<((6W6=><6=>B:(LU#aC(E1>(E%)(EC;B0W6=32W2s!4613U'<( A646B+w" Q X('#'' GX #&CUd7B%SQ

Q :7:B0(E7:41IBF 7:(V25B=>!C=>70B:W( €!1>1>)0=IC

_; BW6(E":(E% "rwŒ6{…mEo;pqsrtwv&pxV{srvmRklnmEo;pq5rtwvap;xª‡5{sru”R{${pr”œvªk6l$!vaŽŠyat3p;x+t>x+y&pk6l$"v&Žy&t3p•ˆ‹”Œ6{Ez5{

|&z${5yLr:{sx$rJ}Iva”œ{Ez)‡5vao’pLxPyaz${dr:yL2!{Ep™“•vat3p;r”Ht>xV{E}ƒ&H5r€x ¡ p6t>r:{{}I{Ž{Ep;r€xy&z5{r€Œ•vx{P}no6‡5x)vmF¡Hp6t>r:{dxV{5r

v†m){E}>{EŽ{Ep•rwxŠv†mr€Œ•{ªmVv&zŽ &+* #XW $”Œ•{z${yap{y&z5{R¡Hp6t>r:{){}I{Ž{Ep;r€xŠv†mrwŒ6{ ru”œv

k6l$"v&Žy&t3p•x=”Œ’twqsŒ&{zEtmEƒq5v&pat>rut€v&p †k!

-›(J467(B:W6(*w"1>1I)0=>C6 J1>(E%'%#

1>(E%'%# 81>(EBD<()BR›S†U•!%#a=>C671 #&CU *!8B:W6(C BW6(E=>7:(EB NSw46C25B:=>!C7D=>7#1>)œ(E'†2s!%)A1I(B:(

13#&BB:=325(P0W6(E( !1><#&:( B$# $ (ECA"=>C’B0=>7(E1>9

A6; ;BW6(D25"C67:B5#&C;B+w46C2sB:=>!CE$AR)8D'PSG

BY›=>70B:=;=3#&1>9B:W6( <"B:B:"%

=>C G

BY 8 ª)–1>(EB & )Q W` !;B:W6(EC%!(Q ! M‹7 B (Q&

-›(JC6)–A:; HB:W#&B@Q=>7SG

BY

^Y^`_=abGcd<e

 (EB1RYX"U -RRU #&CUe% 7 B

Q VR OM'&% Q +U–=>( Q R Wg M'% Q +UXWg X#&CU'B:W;467

!(Q 7B 'Q

R '&VSQM

0U B:W6(CL! & Q

XR X 7 B

R%M' %U N

BZ5LIXVZ]'SR N ZS&UFN VCSQ VZ * CSZ

BW6(A6’.‹.BW6(JB:W6(!:(%

1>(EB0<(JBœS:U;!%#&=>C67* #&CU !!BW6(EC HSw46C25B=>!C67*

M&R=I70# 1~#aB:B=~2s(!@;7:=>C25(J=>B:7R=>7 #

1>)R(E+25!%'A61>(EB:(F13#&B:B=325(#&CU'B:W(-2s!C67B$#&C;BP$ R.83©=I70B:=;=3#&1>1>9D=>B:70 ":(V#aB:(E7B+(E1>(E%'(EC;B

#46C25B=>!CAQ&

&+*

XW 0=>B:W C6=>B:(!@#&CU

V. + +#aCU

L. <X#&(C6=>B(

(E1>(E%'(EC;B:70=>C6 ! M"!

X;#&707;!C#&7RB:W6(9 !(:=w9)25"CU;=>B:=>!C uS@6BW6(E9#a:(#&1>7D=>C

M

OB0=>70B:=’=3#a1…B:W#aB[

M‘=>71C6=>B$#a:9

 (EB+470C6)–(#&%'=>C6(+BW6(2E#&B(E !":9 _

7

#8=>:7BN. #&1>1@6(V2E#a1I1BW#&B#— :2E#&B(E !":9=>7N#'2E#&B:(E7=3#&C›251>!7:(LU2E#aB:(E "!9E0W6=32W=>7N"$U;(#(EC6:=32W6(VU @

B! !(B:W6(EM0=>B:W7:"%)(N#"U6U;=>B:=>"C#&1…25!C;B=IC;46=>B9A6!A(E:B=>(E7

<;>= B:W6(E":(E% _ t>x-q5y&zsr†{sxEtwy&pq}IvxV{$.

A6; œ("(E:=w9'B:W#aB< W#&70A6•U•425B:7J#&CU'(6A!C6(C’B=3#&1>7

^ “z5vVao•qsr

= 0W6(D2#&:B(E7:=3#aCA6:6U;425B+.#U;(EC;46%'(E$#a<61>(*u#&%'=I1>9.U;"%#a=IC7œ=>7+#U;"%#&=>C 0W6=>70=I7

# œ(1I1 $ C6)0C u#"25B;OB 7 A#&B:=3#&1!5U;(E0=>7HB:W(NA:6U;425BR B:W6(F!5U;(E$U'. B:W6(JU;!%#&=>C67 ª)–B: !(EB

#aC‘S†U•!%#a=>C @(R()U;(C()B:W(=IC;B(EC67:=>"C#&1HA:(E"$U;(EB:™<()#a1I7B:W6('A6:6U;42sB 0B:W6('=>C’B(EC67=I"C#&1

A6(E!5U;(E7N.‹BW6(DU;"%#&=>C67

=>= 0W6(0A6:LK5(V25B=I"C w46C2sB:=>!C67 0 $ ! mVvaz )&«^-X5*/#a:(+Sw46C25B:=>!C7

OB0=>70(V#a7:9)B !(E=w9)BW#&B+w" #aC;9SL X )&«^-X5* #aCU w!

R &OSR $ XOR

XbU&U $ X"U

L $

-RLU !C6(2E#aC7(EB

+$)XORYX;&&XA' #aCU

XR X&?'%X 8

=>=>= OQS#

GU N325 #

BY B:W(EC SQAX 2]S#

"C6(N2E#aC(V#&7(E1>9 "(E:=w9B:W#&B QAX 2S*XORYXX›2#&C<(07:(EBRB: QAXORYX

$ ›"HB:=2 XRYX

*

* (6A!C6(C’B=3#&1

= mEo;pqsrut€v&p›y5“!“

@ ! 1 t~x-y&p™k6lnmEo;pqsrtwv&p

 (EBOSQAXOR*XB XbU* G

BY @‘7 B FSQ XRPAYXbU] X

#aCU'1I(BV +U '&MSQ R <!Iœ(JW# "(JB:(6W6=><6=>B " YX QAXR*XX&

EFY^)EG