Preuves, Types et Sous-types

(1)

HAL Id: tel-00140046

https://tel.archives-ouvertes.fr/tel-00140046

Submitted on 4 Apr 2007

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.

Preuves, Types et Sous-types

Frédéric Ruyer

To cite this version:

Frédéric Ruyer. Preuves, Types et Sous-types. Mathématiques [math]. Université de Savoie, 2006.

Français. �tel-00140046�

(2)

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

687:9<;>=@?BAC=EDF9 GIHKJMLN=PORQTS U ?VDXWY9ZU ?VD=O[QTS

7K\]9<^.SZ_VDF9<S 7>?K\a`b\c9<de9Z\f=; ghjilkmg

n =oDX\cS G

p qrts'uvw x yz |{ } ~ s x y#

0fbm@ff1[1Z V¡¢@£¤]¥b¦f §b1

¨

B¥©<ªr«T¬E¥®e¯° ±"¦¦1²

±§[³«¥´Y¬E³ ³Tµ¶²¤·f¹¸º0

»

µ-:³T®½¼

¨&¾

±"¦¦1²

¿

¢¤]À«><®B¯V±ÂÁ ±"¦¦1²

À[µÃ¤Ä¸

¿

«Y±¬

»

®KÅ

©r¸ÆµÃÇ¦¸±"«YÈ.Èc«Y¥¬ ³Tµ¶²¤·f¹¸º0

@ÄZ±

¨ »

½¬

¨ ±

(3)

(4)

! #"$%& ')(* +-,/.0')"1+23+4!"$50 0(*"$+*6 87:9;<=>0?A@CBCD;4E+F0 HGI7*"J4K0 'L:7:M= 1NOP!PQ4K<

4!?R04>ST(:ULV"$'WX;0(Y"$Z+*6BM[\][QM[<]^L:@504EPK00?: _ (YP`=>'TaT4b90"$c0 CGI7R?: dPIef0"0PQ4!?AfL:')(Y"

PK0(*"C4!?: E(Y4! E4b')?R<PK0(Y"31gh4i*0?A530 PK0(*"*550(j04!Pk< 4!?R04ST(l,(gc"10L/L:')"J 0(*"$3+*m50 E C !7:9;>L:')(Y"

PK0(*"MPK50 E(*" E ^0?: #4!DT[

nWo34!P!PKp%>HLR"$0?: !q0 ]i"r?V+)0sKLR"$0?: !HL:')(Y" ')(* 5pST(jPKPK0(Y"$p+*')4K<O2.0r(tghs

LR"$0?: 8O^L:@504EPK00?: L:')(*"u?A')(vHD')4!"H*550(:04!P!PQ4KUPK')"$M+*u?A') #"$M"J"J4!D@0?qwD')4b<x]WX03

0 &0?XWo?: !<&+*Uy,D')4!";')(* 0?:(z0 x0({L/L:')"J ^@L:0?V+/?: ST(R #"$uPK')?*i(jH?:?A@U E"'L;')(YD0?:

L:0"1+(z+/?RU L:0?R;@}|

f(tg~34KF%p7:'))0 j)034!?VqL:')(*"Fy,D')4!"6L:')(v;@D0"$50 # ^D0?: #(*"$<m(Y"$0?: Z0

')/'qL:')(*"qPK0(Y"$0?A5')(Y"1;i*00?: !<C(g+*';50 ^')"r?: !0 5r"1/+*7:'))<U_ #"J4b5;<Mw0"#i*<

(5)

(6)

"!$#%&'

( (

*),+.-0/2143456+ /7) )98'/7-;:=<?>@>A<MCMMCMHCMCMMCMCMMMMMCMCMMCMH

( ( ( B

-;<39C%<DE<6+GF4-0<?39C7<?DH8'/7-;:=<?>@>A<D CMCMMCMCMMMMMCMCMMCMH

( ( JI9K/7- <L14<M>ONP14K?:=/%)4D;+0-.NQ+ /7)R

λ

^S 5TN%>A534>U<?+G+*V2FW<?D MMMCMCMMCMH X

( Y

+ZNQ+G14<M>\[]N%-^+FMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH _

( ( `VaD^+.b?:=<?DH14<L+*V2F<DcF4- : + 8'D CMCMMCMCMMMMMCMCMMCMH _

( B /7>AV2:d/7-0F9I D;:=<QRa+*V2FW<?DH19KF<)41eNQ)`+0DH<6+ B MMMMMCMCMMCMH f

( ]g hi: D;D /%)j14<M5/7),+0<)`3k)4/%)

S

N%>Al7/7- +.I9:

Am

39<%R2<?+GD0/%34D

S

+*VaF4N%l7< CMMCMH n

( oX pV2FW<?D )4143456+ 8'D MCMMCMHCMCMMCMCMMMMMCMCMMCMH q

( r_ s/a1439>@<D?R9+*V2FW<?DH)9/7:=:dKDJ<6+G+*VaF<DHN%t4D^+.-0N +0D MMMMMCMCMMCMH q

(

og u/7),+.- t439+ /7)v<6+cF4>ON%)w14<M>@Nx+.I4b?D0< MHCMCMMCMCMMMMMCMCMMCMH

(y

z {|}2~&\&e&2x?}aeW&!a 2

(

F4F9-0/25ZI4<DcD0K?:N%),+ @m 34<DG14<M>\[]N%>Al7/7- +.I9: Am 39< MCMCMMMMMCMCMMCMH

( g

( ( 2K:=N%),+ @m 34<?DG14<DG>ONQ)4l,N%l7<?D HCMCMMCMCMMMMMCMCMMCMH ( X

( 2K:=N%),+ @m 34<L19<DcK)4/7)95KD MHCMCMMCMCMMMMMCMCMMCMH

(

"-;< >@> Du5?/7:=F9>@<?+0DF4-;<: <-;D MMCMHCMCMMCMCMMMMMCMCMMCMH

( n

( cN%F4F<>ADJD034-G>A<DJ<)9D0<:xt4>@<?DH/7-;14/7)4)9KD MCMCMMMMMCMCMMCMH ( n

Y

>AK:d<),+.DJF4-;<: <?-0D MMCMHCMCMMCMCMMMMMCMCMMCMH

( q

]g 25ZI4K:=Nd19<5?/7:dF4-0K?I4<)4D /7)w1eNQ)4DG>@<DJ+0-0< >@> D5/7:dF4>@<6+.DnCMCMMCMH %y

oX G /7:d<i143s5ZI4/ 1eN%)4DG>A<D+.-;< >@> Du5?/7:=F9>@<?+0D MMMMMCMCMMCMH %y

r_ *)914345?+ /7)w1eNQ)4DG>@<DJ+0-0< >@> D5/7:dF4>@<6+.D MCMCMMMMMCMCMMCMH g

u/

S

)914345?+ /7)v14N%)4DG>@<?D+.-0< >A> D5/7:dF4>A<?+.D MCMMMMMCMCMMCMH X

og

B

N%-^+ <DJD.N+.34-;K<D MMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH _

ogR( K?e) + /7)v<?+cF4-;<: b-;<DGF4-;/7F4- K?+0KD MMCMCMMMMMCMCMMCMH _

ogR *D;/7:d/7-0F4I D0:d<DGNTC%<5>@<D+0-0< >@> D5/7:dF4>@<6+.DF9-0<: <?-0DG/73w5/%:=FeNQ5?+.D MH

%

ogR]g c)w-0KD;34>A+.NQ+c14<M5/7:dFeN%5 +0KiFW/%34-J>@<?Dc5?>ON%D;D0<?Dc19<

λ

^S +.<?-0:d<D CMMCMH q

X "-;< >@> DN%F9F4> 5TNQ+ 8'DFMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH q

]_ "-;< >@> D

λ

^S 5?/7:=F4N%5?+0D MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH g%X

]_Y( K?e) + /7)4DJ<?+cF4-;<: b?-0<DJF9-0/7F4- K6+.KD]MMCMCMMMMMCMCMMCMH g%X

]_Y <:dF4>A<D MMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH g,_

u/7)45?>@34D /7)CMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH g

(7)

?2 "!

gR

( B

-0KD;<),+ZN+ /%) )98'/7-0:d<>A>@< MCMMCMHCMCMMCMCMMMMMCMCMMCMH g,f

gR a/7-^+.<D?R4+.<?-0:d<DG<?+G5?/7),+.< +0<DyMMCMHCMCMMCMCMMMMMCMCMMCMH g7n

gR ( 2/7-;+0<D MMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH g7n

gR $<-;:=<?DG<?+c5/7),+0< +.<?DMMMCMHCMCMMCMCMMMMMCMCMMCMH g7n

gRog cb?l7>@<?DJ<?+HN /%:=<?DF434-;D MCMMCMHCMCMMCMCMMMMMCMCMMCMH X y

gRogR ( Gbl%>@<DJ>A/7l Am 39<D MCMMCMHCMCMMCMCMMMMMCMCMMCMH X y

gRogR Gbl%>@<DJ19<M+*V2FeNQl7< CMMCMHCMCMMCMCMMMMMCMCMMCMH X y

gRogR]g

β

^S -0bl%>@<D MMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH X (

gRogRoX Gbl%>@<DJ:

+0<D CMCMMCMHCMCMMCMCMMMMMCMCMMCMH X (

gRogRr_ G /7:d<DMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH X

gRX hiFWK?-.NQ+0<34-;D CMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH X,g

gRX ( hiFK-0NQ+.<?34-0DG>@/%l @m 34<?DMMMCMHCMCMMCMCMMMMMCMCMMCMH X,g

gRX hiFK-0NQ+.<?34-0DG14<L+*V2FW<?D MCMHCMCMMCMCMMMMMCMCMMCMH X7X

gRX ]g

B

-;K1 5TNQ+0Dc19<M+*V2F<D MMCMHCMCMMCMCMMMMMCMCMMCMH X`_

gR]_ cb?l7>@<?DJ<?+

c

/7:=<?DGNTC7<5/7FK-0NQ+.<?34-0D CMCMMCMCMMMMMCMCMMCMH X`_

gR]_Y

(

Gbl%>@<D MMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH X`_

gR]_Y

G

/7:d<DMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH X

gR]_Y]g uI9/ 14<DHN /7:d<D MMCMHCMCMMCMCMMMMMCMCMMCMH X

gR aK:=N%),+ Am 34< MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH X`f

gR ( K?e) + /7)v14<M>ONPD0K?:NQ)`+ @m 34< CMCMMCMCMMMMMCMCMMCMH X`f

gR

#

<?:=:d<i1[oN%14K

m

34NQ+ /7) MCMHCMCMMCMCMMMMMCMCMMCMH X,n

gR

]g

#

<?:=:d<D+0<5ZI4) Am 34<D MMCMHCMCMMCMCMMMMMCMCMMCMH _ y

gR]f

B

-0/7F4- K6+.KDJ19<Dc/7FWK?-.NQ+0<34-;DUCMMCMHCMCMMCMCMMMMMCMCMMCMH _

gR]fY

(

hiFK-0NQ+.<?34-0DG14K%$'& 19K?e) DCMHCMCMMCMCMMMMMCMCMMCMH _

gR]fY c/739C%<TN%3 /%FWK?-.NQ+0<34-;D~MCMHCMCMMCMCMMMMMCMCMMCMH _7f

gRon u/7)45?>@34D /7)CMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH 7y

( {|}2`)49&$!* + ,

X (

V2FeNQl7<M<?+cD0/739D

S

+*V2FeNQl7< MCMMCMHCMCMMCMCMMMMMCMCMMCMH

X ( (

λ

^S NQt4D;+0-.N%56+ /%)v1eN%)4DG>@<?D+*V2FW<?DR <?+ ),+0<-0F9-0K?+.NQ+ /7) MMMCMCMMCMH

X ( Y m 3 C%NQ>@<)95<L<),+0-0<M+*VaF4N%l7<M<?+cD0/%34D

S

+*VaF4N%l7< CMMMMMCMCMMCMH g

X "-0N%)4D^8'/7-0:=NQ+ /7)4D19<5?/7),+.< +0<D CMHCMCMMCMCMMMMMCMCMMCMH _

X ( B -;<39C%<|143w+.I9K/7-;b:d<193w+*V2F<|F9- )95 F4N%>jCMCMMMMMCMCMMCMH n

X og )9l7>@<6+./7) 5 +.Kc14<D

λ

^S +.<?-0:d<DFMMCMHCMCMMCMCMMMMMCMCMMCMH q

X ogR( 39+.-;<DG14K6e) + /7)9DJ14<MD )9l7>@<6+./7) MCMMCMCMMMMMCMCMMCMH q

X ogR

B

-;<39C%<|143w+.I9K/7-;b:d<19<D )4l%>@<?+0/7) 5 +0K CMCMMMMMCMCMMCMH f y

X X

B

-0KD;<-^C%N+ /%)s193s+*V2F< CMCMMCMHCMCMMCMCMMMMMCMCMMCMH f (

- ./ +$aT&0) &'}1 !4

_Y( /214b>A<DJ)4/7)w+.- C NQ3 CMCMMCMHCMCMMCMCMMMMMCMCMMCMH fQX

_Y( ( `VaD^+.b?:=<

ST

¬T RIV

CMMCMHCMCMMCMCMMMMMCMCMMCMH fQX

_Y D;+ )4l%3eN%t > +0KH19<DGtW/2/7>AK<)9D CMCMMCMCMMMMMCMCMMCMH fQX

(8)

_Y

D;+0<)45?<|1[K)9/7)45K?D )414K?5 14N%t4>@<?DfMHCMCMMCMCMMMMMCMCMMCMH f7_

_Yog

#

/7l @m 34<L5?>ON%D;D Am 39< MMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH f

_YX H/7-;:NQ> D0N%t > +0K MMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH f%n

_YX ( cN%F4F<>ADJD034-G>A<DJFeN%-^+ <DGN%14K m 3eNQ+.<?D MMCMCMMMMMCMCMMCMH f%n

_YX B -;<39C%<|143w+.I9K/7-;b:d< MCMHCMCMMCMCMMMMMCMCMMCMH f%q

_YX ]g c)w-0KD;34>A+.NQ+cD034-G>A<D+*V2FW<?D&

∀

^FW/7D ⁺ 8'DTyCMCMMMMMCMCMMCMH n y

_Y]_ cK?D0/7>A34t > +0K MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH n

_Y]_Y

(

η

^S -;KD;/7>@34t > +.K CMMCMCMHCMMCMCMMCMHCMCMMCMCMH n7g

_Y]_Y c/7-0:=N%> D.NQt > +.KJ19<M+?+0< CMHCMCMMCMCMMMMMCMCMMCMH n,_

_Y

u/7)45?>@34D /7)CMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH n,_

, + 2= "}`a=$4"d~k? a "!

( V2F<Dc14<M14/7)4)9K<DcD;+0- 5?+.DG<6+G<),+ <-0D19<uI`34-;5ZI CMMMMMCMCMMCMH n,f

( (

pV2FW<?DH19<19/7)4)4K?<DcD;+.- 56+.D MHCMCMMCMCMMMMMCMCMMCMH n7n

(

K?-0/4R9D0345?5<D;D0<?34-i<?+GF9-0K1 5TN+ ?+0-0<L<),+ <- CMMMMMCMCMMCMH n7q

( ]g

- +.I4:dK?+ @m 34<i14<

B

<TN%)4/~CMHCMCMMCMCMMMMMCMCMMCMH q

( oX Y l,NQ> +0KiD039-c>A<DJ<?)`+ <?-0DcMCMHCMCMMCMCMMMMMCMCMMCMH q%X

B -0/2143 +0DJ<?+ B N -;<DMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH q,_

( pV2FeN%l7<MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH q,_

2/734D

S

+*V2FeN%l7< MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH q

og a/7:d:=<?D<?+c5N%D0<?D]MMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH q,f

X )4-0<?l D^+.-0<?:=<?),+.DqMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(y%y

X (

pV2FeN%l7<MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(y%y

X 2/734D

S

+*V2FeN%l7< MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH (y

]_ V2F<DHN%t4D^+.-.N +.DJ<6+c14<D;5- F9+ /7)w14K?4) < MCMMCMCMMMMMCMCMMCMH (y

]_Y(

ST

∆

MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH (y

]_Y `Va),+.N <|<6+H-;bl7>A<D CMMCMHCMCMMCMCMMMMMCMCMMCMH (y g

]_Y]g

19K

m

3eNQ+ /7) MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(y

X

),+ D;V2:dK?+.- <L<6+GD05ZI4K?:Nd14<M5/7:dF4-0K?I4<)9D /%) MCMCMMMMMCMCMMCMH (y X

]f u/7)45?>@34D /7)CMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(y

_

! 4 +" e 9& !

fY( a/7-^+.<DG<6+c+0<-;:=<?DcMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH (y q

fY( ( 2/7-;+0<DG<?+G+.<?-0:d<DJ14<MteNQD0< MHCMCMMCMCMMMMMCMCMMCMH (y q

fY

( $<-;:=<?DGFeN%-.NQ:=K6+.-0K?D MMCMHCMCMMCMCMMMMMCMCMMCMH

(7(%(

fY

#

<L)4/V,N%3s8'/7)45?+ /7)9)4<> CMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(7(

fY (

K- CQNQ+ /7)4DF439-0<D CMMCMHCMCMMCMCMMMMMCMCMMCMH

(7(

fY *),+0<-.NQ5?+ /7)4DG<),+0-0<M>@<?Dc19K- CQNQ+ /7)4D>CMMCMCMMMMMCMCMMCMH

(7(T

fY ]g <:dF4>A< MMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH (7( f

fY oX F9-0/7F/7DG14<M> [oN%t4D;34-014< CMHCMCMMCMCMMMMMCMCMMCMH (7( n

fYog B N -0<?D CMCMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH (7( q

fYX a/7:d:=<?D MCMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( 2(

fYX pV2FW<?DHD;/7:d:=<?D]CMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(9)

fYX Gbl%>@<DJ19<D;/734D

S

+*V2FeN%l7<MMCMHCMCMMCMCMMMMMCMCMMCMH

(

fYX ]g pV2FeN%l7<MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

( g

fYX oX Gbl%>@<DJ>A/7l Am 39<D MCMMCMHCMCMMCMCMMMMMCMCMMCMH ( X

fYX r_ <:dF4>A<D MMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( _

fY]_ V2F<D )419345?+ 8'D MMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( Q

fY]_Y( >@l7b?t4- 5 +.KMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( Q

fY]_Y # /7l @m 34<L<?+G+*V2FeN%l%<zCMMCMHCMCMMCMCMMMMMCMCMMCMH ( f

fY]_Y]g 2/734D

S

+*V2FeN%l7< MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

( n

fY]_YoX

<:dF4>A<D MMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

( n

fY

V2F<Dc5/

S

)419345?+ 8'DMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

( q

fY ( pV2FeN%l7<M<6+H>A/7l Am 39<zCMMCMHCMCMMCMCMMMMMCMCMMCMH ( q

fY <:dF4>A<e> D^+.<?DJ<?+cD;+0-0<TNQ:=DqHCMCMMCMCMMMMMCMCMMCMH ( g y

fY]f )4-0<?l D^+.-0<?:=<?),+.DqMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( g (

fY]fY( pV2FW<?DH1U[o<?)4-0<?l D^+.-0<?:=<?),+.D MHCMCMMCMCMMMMMCMCMMCMH ( g (

fY]fY 2/734D

S

+*V2FeN%l7< MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

( g

fY]fY]g Gbl%>@<DJ19<M+*V2FeNQl7< CMMCMHCMCMMCMCMMMMMCMCMMCMH

(

g%g

fY]fYoX

(

gQX

fYon

t4D^+.-0N%5?+ /7)4D3MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(

g7_

fYonR( Gbl%>@<DJ19<>\[]NQt4D;+0-.N%56+ /%) CMHCMCMMCMCMMMMMCMCMMCMH ( g7_

fYonR B -;/7l7-.NQ:=:d<DJNQt4D;+0-.N +.D CMHCMCMMCMCMMMMMCMCMMCMH ( g

fYoq "<?-0: )eN D0/%) MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( g7f

fY

(y

u/7)45?>@34D /7)CMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(

g%n

"!$~'a a

nR( *),+.-0/2143456+ /7) MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( g%q

nR -0N%:d:N -0<c14<DcD;+0-03456+.34-;<Dc<?+G14<?DHD l7)4NQ+.34-;<DHMCMCMMMMMCMCMMCMH ( X y

nR ( `+.-0395?+.39-0<D MMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( X y

nR l7)eN+.34-;<DyMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

( X y

nR ]g # N D;/7)4D<6+H5?/7),C7<?)`+ /7)s1[K5?- +034-0<ZCMMCMCMMMMMCMCMMCMH ( X (

nRog V2FeNQl7<M14<DcD;+0-03456+.34-;<De5/7)4D^+.-;345?+ /7) MCMMCMCMMMMMCMCMMCMH

( X

nRX V2FeNQl7<M14<DcD;+0-03456+.34-;<De14<D^+.-0395?+ /7) CMCMMCMCMMMMMCMCMMCMH

(

X%X

nRX ( K?e) + /7)4DJF4-;/ $;<?+0K<Dc<?+cD;34t4D;+ +039+ /7)4D CMCMMMMMCMCMMCMH ( X%X

nRX Gbl%>@<DJ19<19<D;+0-03456+ /7) MCMHCMCMMCMCMMMMMCMCMMCMH ( X,_

nR]_ a/734D

S

+*V2FeN%l%<19<DGD l7)eNQ+034-0<?D MMCMHCMCMMCMCMMMMMCMCMMCMH ( X

nR u/7)45?>@34D /7)CMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( X,f

|2#%&'W"! ~'e (

qR

(

K?+0I4/214<M<?+c-0K?D034>+ZNQ+0D CMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(

X7q

qR( ( B >A/7)4l7<?:=<?)`+GD;34F<-;45 <?> F4-;/%8'/7)41 CMMCMCMMMMMCMCMMCMH ( X7q

qR( GKD;34>A+.NQ+.D MMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( X7q

qR N%> 1eNQ+ /7)=14<DG-0b?l7>@<?DG143>@N%)4l,NQl7<~MHCMCMMCMCMMMMMCMCMMCMH ( _ y

qR ( $-.NQ14345?+ /7)w14<?DG5/7),+.< +.<D?RW19<DG+.<-;:=<?DJ<?+c14<?DHF4-;/7l7-0N%:=:d<D MMCMH ( _ y

qR NQ> 14NQ+ /7)14<?DH-;bl7>A<D MCMHCMCMMCMCMMMMMCMCMMCMH _

(10)

qRog

N%> 1eNQ+ /7)=14<DG-0b?l7>@<?DG14<DG:d/a1439>@<D HCMCMMCMCMMMMMCMCMMCMH

(

g

qRogR ( $-.NQ14345?+ /7)w14<?DGD;+.-;345?+034-0<?DE<6+G14<DcD l7)eNQ+034-0<?DqMMMMMCMCMMCMH ( g

qRogR

<:dF4>A<L14<L+.-.NQ14345?+ /7) CMHCMCMMCMCMMMMMCMCMMCMH

(

_

qRogR]g Gbl%>@<DJ1U[ )`+0-0/2143456+ /%) MCMHCMCMMCMCMMMMMCMCMMCMH (%

qRogRoX Gbl%>@<DJ1U[oK?> : )4NQ+ /7) MCMHCMCMMCMCMMMMMCMCMMCMH ( f y

qRogRr_ <:dF4>A< MMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( f y

qRX N%> 1eNQ+ /7)=14<DG-0b?l7>@<?DG1[oK6CQN%>@3eN+ /%) HCMCMMCMCMMMMMCMCMMCMH ( f

qRX (

NQ>@<39-0DJ<?+G+*V2F<Dc14<LC%NQ>@<39-0D2HCMCMMCMCMMMMMCMCMMCMH

( f

qRX B

-;/7l7-0<?D0D /7) MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(

fQg

qRX ]g GK19345?+ /7)w143sD03 $;<6+MMCMHCMCMMCMCMMMMMCMCMMCMH

(

fX

qRX oX $-.NQ14345?+ /7)w<6+H5?/7)45?>@34D /7) MHCMCMMCMCMMMMMCMCMMCMH ( fQn

qR]_ u/7)45?>@34D /7)CMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( fQq

|W$#,~!"T&'

(y ( B / ),+.D+.I9K/7- @m 34<D MMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( n (

(y ( ( # /7l @m 34<5>ONQD0D Am 34<xNTC%<5 D;/734D

S

+*V2FeN%l7<|<?+i/%: D0D /7)s14<|5?/7),+.<?)23 NQ>@l7/7- +0I

S

: @m 34< MMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

( n (

(y

( * 5/%:=:d<iD0/%34D

S

D;V2D;+0b:d<x14<

λC

<?+cF/739C7/ -J<

F4-;<D;D 8 CMMCMCMH

( n (

(y ( og

λC

^S 5TNQ>@539>U1[/7-019-0<MD034FK- <?34- CMCMMCMCMMHCMCMMCMCMH ( n7g

(y ( X $-.NQ14345?+ /7)9D MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( n7_

(y ( ]_ pV2FeN%l7<MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( n

(y

B

/ ),+.DJF4-0NQ+ Am 39<DMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

( n

(y

(

+.<?)4D /7)4DG14<?Dc+0-.N +.DJ143w>ONQ)4l,N%l7<ZCMMCMCMMMMMCMCMMCMH

( n

(y

hit $;<6+.D MMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(

n7f

(y

og *:dFK-.N+ 8 MMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(

n7f

(y X F9-0/7F/7DG14<DG5?/7)4D;+0-03456+.<?34-0DHCMCMMCMCMMMMMCMCMMCMH ( n7f

(y ]_ Y CQN%>A3eNQ+ /7)yMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( n%n

(y *:dF4>AK:d<),+ZNQ+ /7) MCMMCMHCMCMMCMCMMMMMCMCMMCMH ( n%n

(y og u/7)45?>@34D /7)CMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( n%n

}2T!$ } 2d ~2 "! ?2

ee&"! ~'e -

f

(

-0N%:d:N -0< MMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(

q7_

f cb?l7>@<?DJ14<M-0K?14345?+ /7) MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( q7f

f ( NQ>@<39-0D]MMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( q7f

fog cb?l7>@<?DJ1[K?CQN%>@34NQ+ /7) MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH ( q7f

fogR( G<>@NQ+ /7) e>A+0-0< MCMMCMHCMCMMCMCMMMMMCMCMMCMH ( q7f

fogR CQN%>A3eNQ+ /7)jl,NQ345ZI4< MMCMHCMCMMCMCMMMMMCMCMMCMH

(

q7f

fogR]g N%5ZI )9< &PF >@<OCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

(

q%q

fX C%NQ>@3eNQ+ /7)<)sF4-0/%8'/%)414<39-uCMMCMHCMCMMCMCMMMMMCMCMMCMH q%q

(11)

./e&P #$&`P{ / z

f( c /%:=<?DR4/7FK-0NQ+.<?34-0DG<6+H<?),+ <?-0DCMHCMCMMCMCMMMMMCMCMMCMH %ya(

f( ( G /7:d<DJ<6+HF9-0/7F4- K6+.KDJ19<Dc/7FWK?-.NQ+0<34-;D CMCMMMMMCMCMMCMH %ya(

f

(

β

^S -0<19345?+ /7)v<6+HD )4l%>@<?+0/7)4D MHCMCMMCMCMMMMMCMCMMCMH

%y

X

f( ]g F4-;<D0D C +0K MCMCMMCMHCMCMMCMCMMMMMCMCMMCMH %y X

f

λ

^S +.<?-0:d<DJ<?+G+*V2F<D MMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH %y%

f]g V2F<Dc14<

/7)4)9K<DUMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

%y

f

f]gY( ),+ <-;DMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH %y f

f]gY B -;/a143 +.DJ19KF<)41eNQ)`+0DH<6+cD05ZI4K?:N 14<M5/7:dF4-;KI4<?)4D /7) MCMCMMCMH %y n

f]gY]g

B

-;/a143 +.DJ<6+cFeN -;<D MMCMHCMCMMCMCMMMMMCMCMMCMH

%y

q

f]gYoX pV2FW<?DHD;/7:d:=<?D]CMCMMCMHCMCMMCMCMMMMMCMCMMCMH %y q

f]gYr_ )4-;<l D;+0-0<:d<),+0DZMCMMCMHCMCMMCMCMMMMMCMCMMCMH a(%(

f]gY

pV2FW<?DENQt4D;+0-.N +.D MCMMCMHCMCMMCMCMMMMMCMCMMCMH

a(

g

f]gYrf pV2FW<?D )4143456+ 8'D MCMMCMHCMCMMCMCMMMMMCMCMMCMH a( g

f]gY]n pV2FW<?DH5?/

S

)4143456+ 8'D MMCMHCMCMMCMCMMMMMCMCMMCMH a( X

foX /21434>@<?D MCMMMMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH

a(

_

foXR( <?e) + /7)v14<DcD;+0-03456+.34-;<Dc<?+cD l7)eNQ+034-0<?DG<?+G-0b?l7>@<?DG1[oK?> : )eNQ+ /7) CMH a( _

foXR <?e) + /7)v14<DcD;+0-03456+.34-;<Dc<?+cD l7)eNQ+034-0<?DcNC%<5|N%t4D;<)45?<Dc14<M5/7)4D^+.-;345?+0<34-;D a(T

foXR]g pV2FeN%l7<M<6+HD;/734D

S

+*V2FeN%l7<14<?Dc:d/21434>@<?D MCMCMMMMMCMCMMCMH

a(T

fr_ <?:=F9>@<DG1eNQ)4DG>@<L>ONQ)4l,N%l7<OCMMCMHCMCMMCMCMMMMMCMCMMCMH a( n

fr_*( `Va),+.N < MMMCMCMMCMHCMCMMCMCMMMMMCMCMMCMH a( n

fr_*

a(

q

(12)

ss

w

[;[;[ !7:@0 E4EST(jH5')?A504K;<jLR"OPr,0?A57R!?A00?: -"J4i*')(Y"$0(tg+*

D';]LV"$'L:';04! E4b')?RU ^0?V*560 Pq5')?R0 d?A5C+*UD';HPK')4K+*lWX0"$<D')(v

Wo4! ^MPQ(Y4!"$<(tgp/0(g@T.TPK')(*4K<&(*?">0 -LV(*4KT?: +*350 # ^MD@0"J4! @

0({LV"0C+*')?: ]')?z"$0"1ST(jMPr,0fLV"$04!?: ^M+/?RMPr,')"1+"$C+*HPr,(*?:4!D0"T[

395TN%D;D0<%RAu/7:x+0<L14<

#

N%39+.-;KTN%:d/7),+}357R?: 8M+*P+*')"$')"

#

N:N+.I4K?:NQ+ @m 34<D0<:xt4>@< $;/73 -1U[o34) F4-;<D^+ l%< :d:=<?)4D0< <>A>@<k<?D;+w>@N -;< )9< 14<DwD;5 <?)45<?D .R

>ONv:=NQ+.- 5?< 8'K5/%)414<d1[o/ $0N >@> D0D;<),+L14<?DC%K- +.K?D )41434t +ZNQt4>@<?DR>@NwF <-;-0< 1[oN%5ZI4/7F9FW<?:=<?)`+|1[34)

FeN%) l l,NQ)`+0<D m 39<14<=>ON5?/7)4)eN D0D0N%)45?<I`34:=N )4<tIE[o<?D;+ &s<>@>A<%R&D;<D F9-0/7l7-;bD|<?+ &sD.Nk5N%FeN%5 +0K

:d<-;C%< >@>@<?34D0<P19<dD^V2)`+0I4K?+ D;<- &w>\[]N 14< 19< m 34<?>m 34<?DxD l7)4<?DL14<D 14K?<DM5/%:=F4>A<

<D?R m 34< > [/7) 14/ +

>@<?DJF4-0/%l7-0b?Dc19<)9/7: t4-;<34D;<DHN%39+.-;<DGD05 <?)45<?DT

u<F<)91eN%),+TR$FW/%34-M-0<F9-0<)914-0< u<-^+.-.NQ)41 G34D0D;<>A> R} 87:@0 E4EST(j3;')?: (*?A3;504b0?A5Z+/?R

P/ST(:0P!PK3')??AUT4! o4KC+*ST(:')4 ')?LR"JPK< 0 '!Pr,')?z?AUT4! "o4Ku045ST(:CPr,')?+4! 0

D;"14#%$

5<6+0+.<5 +.NQ+ /7)R)9/7)14K?)239K<v1[I`34:=/%34-R+.-0N +0<d1U[o34) F/ )`+ &k>@Ns:d/214<NQ3 +./739-0)eN%),+x143

&u'&

< D b?5>@<QR<?+ m 3 NGIeN%),+0Ku>@<(&)&

< D b5>A< >A<F9-0/7t4>Ab:d<p14<D$8'/7)414<?:=<?)`+0DTt > [/7)MC7<?39+ 8'/7)914<-$>@<?D

:=NQ+.I4K?:N+ @m 34<?DD039-c39)<?)45ZIeN+*@)4<:d<),+c14<MF4-0/%FW/7D + /7)4Du- l%/734-0<?3 t4N%D0KD034-G34)9<|N /7:=NQ+ Am 39<%R

> :=F/7-;+0<L+./739+H1[oN%t/7-0114<xD;< FW<?)45ZI4<?-$;34D;+0<:d<),+iD;34-E5?<?+;+.<PN

/7:N+

@m

34<QR4<?+E14<x>@N=-;<)414-;<x>@N

F4>A34D 5/%)`CQN )45TNQ)`+0<vFW/%D0D t4>@<t

#

Nk+.I9K/7- <j14<?D <)4D;<: t4>A<DP14<

<?-0:d<>A/

S#,

-.NQ<).-Q<>0/g

(21

R t4N%D0<v14<?D

:=NQ+.I4K?:N+ @m 34<?DG:=/214<-;)4<D?RWD;<: t9>@<5/7-;-0<D;FW/%)414-0< &=5?<?+i/%t $;<56+ 8 /%)k)[oN $;34D m 3U[&F9-0KD;<),+LFeNQD

-0K?34D0D &s<)19K- C7<?-|14<=FeN%-0N%14/

<30- )4D03 +.<QR > 8N%39+|D0<=14/%+.<?-|K?l,N%>A<:d<),+1[o39)4<=8'/7-;:NQ> D0NQ+ /7)

- l7/734-;<34D;<|193k-.N D0/%)4)4<:d<),+ 5%[<D^+i> [/7t $;<6+c14<|>@N +0I4K/%- <M14<>ON 14K?:=/7)9D;+.-0NQ+ /7)Vu<?>@>@<M5 F<3a+

D0<?: t4>A<-M-0<?>@<?C%<-M14< >ONv:dK?+.N%:N+.I4K?:NQ+ @m 34<54?R :=N DLD0Nw8'/%-0:=N%> D.NQ+ /7)ReD;/7) 14K?C%<>@/%F4FW<?:=<?),+ : S

F/7-;+.N%),+TRe>@<?DGF4-0/7t9>@b:d<DG5?/7:=F9>@< <?D m 3[<>A>@<MF/7D0<QRWN )4D m 39<|D;<D :=F9> 5NQ+ /7)4DF4-.N+ @m 34<?DH<?)> <?)

NTC7<?5|>\[ )98'/7-0:=NQ+ @m 34<%R2<)w8'/7),+G34)4<Mt4-0N%)45ZI4< &PFeN%-^+H<?),+ b?-0<M14<?Dc:=NQ+0I4K:=NQ+ Am 34<Do

)4D R9+./%39+c5/7:d:=<L>A<DG:dK5TNQ) @m 34<?Dc5?>ON%D;D Am 39<%R m 3eN%),+ Am 39<|<6+H-;<>@NQ+ C D;+0< ),+.<?-.N%l D0D;<),+ENC%<5>@<?D

14K6C7<>A/7F4F<:d<),+.DH14<> [oN%)eN%>VaD;<M<?+c14<> [oN%>@l7b?t4-0<QR4> [ )a8'/7-0:=NQ+

Am

34<E8'/734-;) + S

<?>@>@<&d>@N >A/7l

Am

39<L<?+&d>@N

+.I9K/7- <14<>@Nc19K:d/7)4D;+0-.NQ+ /7)14<?D F4-;/7t4>@b?:=<?D$8'/%)41eN%:d<),+ZNQ3

u<6+0+0<u5/%:=FeNQ-.N D0/7)FW/%34-0-0N +D;<:

S

6#78:9<;>=#?A@B8DCFE?#GH=I@KJMLON+82;>PQJFE9K@F?AC0?#GM9B;RLS?5TMNHJH9<;SPQJH?(CU2J;CFE8V2U5C;WN82;CU2CXNH@KJ+;OYM?[Z\U]YH^I@B?_YM?_=#?ILRLS?[La`HbIU5cS9B?

dAef82C;>@B?(;R?AC;OYM?(YM9<;S=IU2JHc';>;SJHc>@K?g;Zh8iLS`bIZh8iLa9BPQJH?g;

(13)

t4>A<-GN%3414N%5 <34D;<%R45N%-J>@<?DJ:=K?5TN%) Am 34<DG/7),+J+.-0N +u1 -;<56+.<:d<),+& )4/7DJ+0<),+ZNQ+ C%<DG14<L:d/a14K?> D.NQ+ /7)

14<|>ON )eNQ+.39-0< '5%[<D^+i> [/7t $;<6+E19<x>ON F4I,V2D Am 39< 6RUN%>@/%-0D m 34<x>\[ )98'/7-0:=NQ+ @m 34<L)[<D^+ m 3[34) /739+ > $ 5?<5

1 +TR,34)j/%39+ >eD0/7F4I D;+ @m 34KH)4<H-;<:dF4> +pFeN%D m 3U[o34)9<H8'/7)456+ /7)39+ > +ZN -0<QRQ:=N DF/7-^+.<&|D[ ),+0<-0-;/7l7<?-

D039-P>@<DPF9I4K)4/%:=b?)4<D m 34<vD.N 8'/7)95?+ /7) F<-0:d<?+ 1[o/%t4D0<?-;C7<?-R m 3[<>@>A<j)4/739D 8N + N%F4FeN%-0N+*@+0-0<t

B

NQ-

< <?:=F4>A<%Re>A<L: 5-0/%D05/%FW<MNPF<-0: DJ1U[o/7t9D0<-^C7<?- m 34<?>m 34<DEN%) :N%>A534>A<D )4D;/734F/7)4)9KDRe>@NP>@34)4<6+0+0<

N%D^+.-0/%)4/7: @m 34<i>\[]NTCQN%)45?<i143wFWK?- I4K> <c14<M<-;534-;<%Re<6+.5oT]hi)/7t $;<5?+0<-0N +J<?)45/%-0< m 34<M> [ )98'/%-0:=N

S

+ Am 34<xD;<: t4>A<%RW<>@>A<%R <) 5 -;53 +H8'<?-0:dK "&t <?)kV-0<l7N%-014<?-RW34) /7-;1 )eN+.<39-E)[<D^+ $0N%:=N D m 3[o39)4<

D0/%-;+.<M1[oN%39+0/7:=NQ+.<iD;/7F4I D;+ @m 34K m 3 FW<?-0:d<?+G14<i8N -0<i8'/%)45?+ /7)4)9<-uC +0<L<?+ct <)w14<DcN%>Al7/7- +.I9:=<?DR

<?+cFeNQ-c>A3 > )4<MD[oN%l +G1U[o/7t9D0<-^C7<?- m 34<5< m 39<|>\[o/7)sN 5-;KKFeN%-J)4/%+0-0<M-.N D0/%)-0N D;/7)4)eN%),+0<%Re5ZI4/7D;<

D.NQ)4D ),+.K- ?+F43 D m

34< > [/7) D.N +t <?) 5<

m

39<=>\[o/7) C%<39+|5-;K<-<?+5?/7:=:d<),+M>A<P5-0K?<-o`N DM5%[<D^+

$;34D^+.<:d<),+ 5 >@<HFW/ ),+ ),+0K-0<?D0D0N%),+ a/7t9D0<-^C7<?-J)4/7D-0N D;/7)4)4<?:=<?)`+0DF/734D0D;< &x-0<?l,N%-;14<-5?/7:d:=<?)`+

/7) F<3a+L>@<?DE:d/a14K?> D0<-?R 5/7:d:=<?),+i< F4- :d<-H5< m 34< >\[o/%)kC7<?39+TR<6+iD `>$)[V NQ34-.N +EF4N%Di14<?-0- b-;<

+./%39+TN

m

34<?>

m

34<?DLF4- )45 FW<?DE/73 >A/ D&j14K5?/739C2- -;UH)4< 19<DL14K?5/739C%<-^+.<DMD;34-0F4-;<)eNQ)`+0<DM143 14/

S

:=N )4<H<D^+ $;39D;+.<?:=<?),+ m 3[<)s34)wD0<?)4DRe5Q[o<?D;+c> [oN%56+ C +.KE19<L-.N D0/7)4)9<-JD039-J14<DG/7t $;<6+.D m 3 5?-0K<M<?>@>@<

: :d<L>@<DJ/%t $;<?+0DH14/%)`+G<?>@>A<LFeN%-0>A<;

a<sD +.3eN%),+=1eN%)4Dd5<sFeN%-0N%1 l7:=<QR 5<6+0+0<+.I9bD0<D[ ),+.K?-0<?D0D0< & >\[]NQD0F<5?+ :d:=NQ+.K?- <?> '/7)1 +dF4>@39D

D0/%39C7<?)`+>A/7l 5 <?>ReFeN%-E/7F4F/7D + /%) &j:N+.K- <?>J14<P>[ )98'/%-0:=NQ+ Am 39< U<>@>A<xF/7-;+0< D039-L> [K?+.3914< 1[34)

>ONQ)4l,N%l7<E1[]NQ>@l7/7- +0I4:=<?DRaD0/7-^+.<M14<>ON%)4l%34<L-0341 :d<),+ZN -0<iD;<-^C%NQ)`+&P14K5?- -0<M14<DHN%>Al7/7- +.I4:d<D m 34<

> [/7)|D0/734I4N +0<K6C7<),+034<>A>@<:d<),+ FeN%- >@NcD;3 +0<C%/ -$<

K5?39+.<?- FeN%-"34)4<:N%5ZI )4< >A<8N D.N%),+"FeN%D;D0<- 143

D;+.NQ+.3a+i14<|>ON%)4l7N%l7<1[]NQ>@l7/7- +0I4:=<?D &=5<?>@3 14< >@N%)4l,NQl7<M14< F4-;/7l7-.NQ:=:=NQ+ /7)J B >@34DHF4-0K?5 D0K:d<),+R

5<6+0+0<H+.I9bD0<EK?+.391 <c34)jD^VaD^+.b?:=<c8'/7-0:d<> 14<c14K:d/7)4D^+.-0NQ+ /7)NQD0D0/25 K&34)>@N%)4l,N%l%<c1U[]N%>Al7/7- +.I9:=<?DR

<

F4>A/7-0<HD0/7)<

F4-0<?D0D C +0Ki<?+u>@<E-0NQ+0+.N%5ZI4<&x14<Du5/7)45?<F9+0D D;D034D143v:d/7)414<c14<i>@NF4-;/7l7-0N%:=:=NQ+ /7)

-;K<?>@>@< H/%34DwN%>@>A/7)4Dd14/7)45 F9-0KD;<),+.<?- 5 t4- b?C%<:d<),+ m 34<>ADjD0/%)`+w>A<Dj> <?)4D14<k>ON+0I4K/7- <14<

>ONwF4-;<39C%<vNTC7<5>@<D|:N+.I4K?:NQ+ @m 34<?D<6+ >\[ )98'/7-0:=NQ+ @m 34<%RUNTC%NQ)`+x1[oN%tW/%-014<?-xF4>A34D|F9-0K5 D;K:d<),+ >@N

+.I9K/7- <E19<L>ONx14K?:=/%)4D;+0-.NQ+ /7)R`D +.39<-)4/Q+.-0<H+.-.NTCQN >W1eNQ)4DJD0/7)v5?/7),+.<

+0<%Re<6+J14/7)4)9<->A<iF4>ONQ)j14<i>@N

+.I9bD0<t

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

243524362 798;: <>=4: ?@:BA@C>8;: <>=4: ?@DFEG8IHJ: KK: ?

_"$0(YDF%3GST(*4f;0"J 3 @0 b/.TPQ4!"qPyD@0"1*504! ^@+-,(*? *50 <+-,(*?A57:';;z')(~Pr,1gv*50 E4! E( +*+-,(*?A

P!PK@bi/ E4b')?')(z+-,(*?Wo4! b[ML

H)9<LF4-0<?39C7<QR14N%)4DJ>@<E5TN%14-;<L143w14-0/ +TRaD[oN%F4F4>@m 34<LNQ3s19K> 5TNQ+uF4-0/%t4>@b?:=<i19<L>ON 14K6+.<-;: )eNQ+ /7)=14<

>ON|-0<D;FW/%)4D.N%t > +.KQRa>@Nx534>AFeN%t > +.KG/73v> [ )9)4/a5?<)45?<i1[34)wD03 $;<6+G14<i14-;/ +TR )v+ZNQ)`+ m 3U[6+.-0<?DG-.N D0/7)

S

)eN%t9>@<Dp<6+pKF4- Dp1[K

m 3 +0K%R,)4/%34Dp)4/734Dp-0<68'34D0/%)4D &L5?/7)4D 14K-;<-

m

3[34)=8N D05?<TN%3 14<GF4-;KD0/%:=F9+ /7)9D /73

> [ ),+ :d<5?/7),C 5?+ /7)P1[34)$;34l7<D;3ONdD0<&E8'/734-;) - 39)4<JF4-0<?39C7<%)9/734DNQ+0+0<)419/7)4D 34) <)95ZIeN+*O)9<:d<),+

- l7/734-;<3 14<L8N +0DJ<?+c1[oN%-0l%34:=<?),+.DT

P6Q@ ;R?Aca829LfYFE829K@B@K?AJHc';ONHca?A;aPQJFE9BcaU2CH9<PQJH?_PQJH? YM?D=#U5C;L'8iLa?IcfPQJFEJHC YH?A; 8SRU2JMLa9B;a;R?AZ\?ICQLa;OLS?A='`CHU2@BUT59BPQJH?g;>@K?g; N@KJ;

U

C; YMJT2bIC9K?[`]JHZh8:9BC)NU2cSLS?GV\;AE9BCQLS?IcacaUT2?AcW;SJHc>@B?A;>N@KJ;bA@KbAZ\?ICQLa829Kca?A;WRHca9<P5J?A;>YMJ0c'8:9<;RU5CHCH?IZ\?AC5LX

Y =[Z\XH9BC]Zc'8\@B8\=IU2cacS?g;RNU2CY8:C=I?fYM?(^"JHcac`_acbOUFd8:c'YeX

fA;RU5JHc'=#?hgM`QLRLSNgjiiFd d dGXL'82PXT2U2JVXP]=SX=I8kiiPQJH?I@<PQJH?A;laYM? C9La9KU5C;mi:PQJH?I@<PQJH?A;la YM? CH9KLS9BU2C;5XnR;RN