A Finite First-Order Presentation of Set Theory

HAL Id: inria-00072244

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

Submitted on 23 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 Finite First-Order Presentation of Set Theory

Stéphane Vaillant

To cite this version:

Stéphane Vaillant. A Finite First-Order Presentation of Set Theory. RR-4344, INRIA. 2001. �inria- 00072244�

ISRN INRIA/RR--4344--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 2

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

A Finite First-Order Presentation of Set Theory

Stéphane Vaillant

N° 4344

Décembre 2001

Unité de recherche INRIA Rocquencourt

0132546798:<;=79>@?A?B7981

CDFEHGJI=K.LNMPOHQFRSI.TVUXWYR[ZRSI!T

I!\]Z!^YTSZ!_FT`bacGdeUXTVR[f5_FI

gihjUYklI\]mUYWYR[Z!^YT

no^qpFp9UYhj\orsIhjI3ZtDFI!htZtDFIuQvwXxqwXwyLNz{OHZIHG=dFh|I"Kq}X}F~LxX€p^qWXIH`

‚„ƒ†…H‡!ˆŠ‰F‹Y‡YŒ" I"pFh|IH`jI!Q5\o^Žht`l\j@UXh|rsIHh(‘’UYh|GJ^YTVRS“H^q\jRSUYQ-Uq‘”`bI!\\jDFIHUYh|a–•DFR[ZtD<D^Y`^ŽeQFR—\|I"Qc_FG=d9I!hUY‘^q˜sRVUXGJ`H™

šB\t`.`bacQ5\|^q˜›RS`.`jRVGJRSTS^YhP\jU-\jD^q\"Uq‘œ\|I!Qy_`bI3rRSQž\jI˜c\|deUcUYŸs`H R—\.pFh|UŠ¡cRSrsI3`^qQyI!QZ!UcrFRVQFW-Uq‘¢\jDFI–Z!UYGJpFh|I!DFIHQ`jRVUXQ

`jacG=d9UYT@™  I]pFh|UŠ¡YI\|D^Š\£\jDFR[`i‘’UXhjG'^YTVRS“H^q\jRSUYQJRS`¢^]¤jZUYQe`bIHhj¡Š^Š\|RV¡XII˜c\jIHQ`bRSUYQs¥UY‘¦9I!h|GJI!TSU§`i`bI!\£\|DFI!UXhjaX™š¨QJ‘©^XZ\

\|DFI.pFh|U5UY‘R[`GJUYh|IPWXI!QFIHh|^YT^qQrª^qppFTVRSIH`(\|UJUq\jDI!h¡Š^qh|RS^YQ5\|`(Uq‘£¦9I!h|GJI!TSU§``bI!\\jDFIHUYh|a'TVRSŸYI¦«(™

CDFR[`{‘’UYh|GJ^YTVRS“H^q\jRSUYQ<h|IH`b\|`{_Fp9UYQž^YQIHQZUsrsRSQFW„UY‘”\jDFIJZUXGJpFhjIHDFI!Qe`bRSUYQ›dRVQrFI!hPRVQy^„T[^qQFWX_^qWXI"Uq‘iI!˜spFTVR[ZRV\

`j_Fd`b\jRV\j_s\|RVUXQ™CDFR[`opFh|IH`jI!Q5\|^q\jRSUYQ-Uq‘i`jI\o\|DFI!UXhjaRS`{^qT[`bU–rsI3`jZ!hjRSd9IHrª^Y`o^ž¬Y­t¬Š®¯!°A±©²q³ž´'²3¬Š®sµV²=`bas`b\jI!G¶^qQr-\|DFI

pFh|UcUq‘†Uq‘I3f5_FRV¡Š^YTVIHQZIR[`orsUYQIP•RV\jDRVQ-\jDRS`‘’UXhjG'^YTVR[`bGª™

·<¸5¹ºj»¼ ˆŠ½†…YŒ `bI!\\jDFIHUYh|aY¾sI!˜cpTVR[ZRV\]`b_d`l\|R—\|_s\jRSUYQ¾rsIHrF_Z\|RVUXQGJUsrs_FTSU¾sŽeh|`b\bBUYhtrsI!h(pFh|IHrsR[Z!^q\jITSUYWYR[Z

.†

… Œ z{^YQ`PZI\^qhj\jR[ZTSI"UYQžrsUYQFQI=_FQFIpFh|OH`jI!Q5\|^q\jRSUYQ-ŽQFRSIJrsI=T[^'\|DFI!UXhjRSI=rsI3`]IHQ`bIHG=dFTSIH`P^q_pFhjIHGJRVIHh

UYhtrshjI{rsUYQ5\¢T[^"`jacQX\t^Š˜sIoI3`l\`bRSGJRVT[^qRShjI"ZIHTVTSI{`jUY_¡YI!Q5\£h|I!QeZUYQ5\|hjOHIorF^qQ`¢T[^"TSR—\|O!ht^Š\j_hjIi XI!TSTVI]‘’UY_Fh|QFRV\¢_FQZUsrF^qWXI

rs_'`bacG=d9UYTSIrsIZUYGJpFh|O!DI!Q`jRVUXQ™{QphjUX_F¡YIf5_FIZI\j\jIpFh|OH`jI!Q5\|^q\jRSUYQIH`b\_QFIi¤lI!˜5\|I!Q`jRSUYQZ!UYQ`jI!h|¡Š^Š\|RV¡XI¥¢rsIT[^

\jDFOHUYh|RVIrsI=¦9I!h|GJI!TSU™iQ‘©^qRV\TS^pFh|I!_F¡XI{I3`l\pFTS_`WYOHQFO!ht^qTSI]I!\o`!§^qpFpTVR[f5_FIr§^q_F\jh|IH`(¡Š^qh|RS^YQX\|IH`(rsITS^=\jDO!UYh|RSI

rsI¦9I!h|GJI!TSUZ!UYGJGJI¦« p^YhI˜sI!GJpFTSIY™

I\b\|Io‘’UXhjG'^qTSR[`j^q\jRSUYQJIH`b\£‘’UXQrsO!I{`b_Fh¢_FQ„Z!Ucr^qWYI{rs_„`ja5GdeUXTVI]TVRSI!_Fh(f5_§I3`l\(TVI{`bacG=d9UYTSI]rsIPZUXGphjOHDFI!Q`jRSUYQ

rF^qQ`_Q-T[^qQWX^qWXIPrFI"`b_Fde`l\|R—\|_s\jRSUYQªI˜spFTSR[ZRV\jIY™

I\b\|I›pFh|OH`jI!Q5\|^q\jRSUYQ IH`b\„^q_e`j`jR]rsO3Zh|R—\|IZUXGGJI›_QFI °! #"t²%$±©­ž´'²H¬q®sµV²Š¾¢TS^ phjIH_F¡YI›rsI›Z!UYQ`jI!h|¡Š^Š\|RV¡cRV\jO›`jI

‘©^qR[`j^YQX\orF^YQ`ZI‘’UXhjG'^YTVR[`bGJIX™

&u¼ ‡3… º ‹' …ªŒ \jDO!UYh|RSI"rsIH`]I!Q`jI!GdFTVI3`!¾e`b_Fde`l\|R—\|_s\jRSUYQ›I!˜spFTVR[ZRV\jIX¾ersO3rs_Z\jRSUYQ<GJUsrs_FTSU¾TSUYWXRSf5_FI"rFIH`ophjO3rsRSZH^Š\t`

rs_ªpFhjIHGJRVIHhUYhtrshjI

"

¸ ˆ% ¸ '¼…=… ¸ ‡J‡ ¸c¼ ˆ ¹»‡ ‰žƒ ½ ¸ ˆ›Œ"!$# %

&

‚(' )‡ ¸ '†ˆ …H‡ ºt¼ ˆŠ½ ¸ ˆ+*ˆ ¸ … ¸, ‡3‰s‡ A¼- ¼/. ! # 0

1

‚(' )‡ ¸ *†ˆ ¸ … ¸2 ‡H‰s‡ ©¼/ ¼/. !$# ½ ¸ ½‹Y‡ ©¼/ ¼ ½'¼ Œ"!$354 6

xF™S~ gih|UYp9I!hj\jRSIH`UY‘\|DFI.h|I!•h|R—\|IP`jas`l\|I!G87:9;=< ™™.™™.™P™.™™.™.™™.™™.™™.™.™P™.™™.™™.™.™™.™ ~3K

xF™K _s\oIHTVRSGJRVQe^Š\jRSUYQªRSQ<`bI3fX_I!Q5\oZ!^qT[Z_TV_`GJUsrs_FTSU7$9>;?< ™™.™.™™.™™.™™.™.™P™.™™.™™.™.™™.™ ~!w

@ !$354‹ ¼/ … ¸ ˆBAF‰s‡ A ¸ '¹CD ‡ ¸ ˆB*†ˆ ¸ ‡3…=!$# 6

w™S~ CDFI\|h|^YQ`jTS^q\jRSUYQ e« ™™.™™.™.™P™.™™.™™.™.™™.™™.™P™.™™.™.™™.™™.™™.™.™P™.™™.™™.™.™™.™ ~E

w™K gih|IH`jI!h|¡Š^Š\|RVUXQUY‘pFh|UŠ¡Š^qdFRSTVRV\la™.™P™.™™.™™.™.™™.™™.™P™.™™.™.™™.™™.™™.™.™P™.™™.™™.™.™™.™ KYK

w™x gih|UcUq‘Uq‘ZUYQe`bIHhj¡Š^Š\|RV¡cRV\la,™™.™.™P™.™™.™™.™.™™.™™.™P™.™™.™.™™.™™.™™.™.™P™.™™.™™.™.™™.™ KYK

w™w

UsrsRSQFW–^Š˜sRSUYG `|ZtDFI!GJI3`RVQ5\jUGF 34 ™™.™™.™.™™.™™.™P™.™™.™.™™.™™.™™.™.™P™.™™.™™.™.™™.™ KIH

%KJ ¼ L*†‰sˆ … ¼/ »‡MA ¼/ ON<¸ ‰ P RQPS¸ ˆ ‰ ¹ …'‰ ½UTWV½ ¸ '…… ¸ ‡J‡ ¸c¼ ˆ ¹

1/1

X † ' WYi! "

UXGp_s\jIHh-de^Y`jIHr \|DFI!UXhjIHG pFhjUŠ¡cRSQFW RSQ&`jI\-\jDI!UYh|a h|IHf5_FRShjI3`„^ ŽQFRV\jI pFh|IH`jI!Q5\|^q\jRSUYQ UY‘=R—\t`ª^Š˜sRVUXG'`!™ «UYh

RSQ`b\|^qQeZI[Z\mP]_^a`cbBd_e`bI3r'\jDI.¡YUYQWeoIH_FG'^qQFQ¾f\(IHhjQ^ as`(^qQrªMgsrsI!T^q˜sRVUXGJ^q\jRS“H^q\jRSUYQ–UY‘†`jI\\jDFIHUYh|ahZ]›I!Qi`2Hd

RSQ \jDFI–‘’h|^YGIH•¢UXhjŸUq‘Žht`l\j@UXh|rsIHhhjI3`bUXTV_s\|RVUXQ™CDRS`^Š˜sRVUXG'^Š\jRS“H^q\jRSUYQyRS`=I˜spFh|IH`|`bI3rRSQ Žht`l\j@UXh|rFI!h.pFh|IHrsR[Z!^q\jI

TSUYWXRSZ"^YQr<D^X`{^'ŽQFRV\jIQ5_G=d9I!hPUq‘£^Š˜sRSUYG'`j\|DFIrsIH¡cRSZ!I=_`jIHr<RSQ›\|DFR[`o‘’UXhjG'^qTSRS“H^Š\|RVUXQ<RS`lk $|²mk²B±œ°A±©²q³nB'¯µop

IHQZUsrsRSQFWJ_`jRVQFWJUXQFTVa–‘’I!•^Š˜sRVUXG'`(‘’UYhoZT[^Y`|`ZUXQ`l\|hj_eZ\jRSUYQ™

q]^ ¡cRSQFW^›ŽQFRV\jI„Qc_FGdeIHhUY‘]^Š˜sRSUYG'`"R[`"I3`j`jI!Q5\jR[^qT¢dF_s\JD^ ¡cRVQW›QFUq\t^Š\|RVUXQ`.‘’UXh`jI\Z!UYQ`b\jh|_Z\jRSUYQ`=RS`^qT[`bU

RSGJpeUXhb\t^qQ5\H™'«FUXhRVQ`b\|^YQZIX¾RSQ\|I˜c\jd9UcUYŸs`srut’UXhvrlw>x{R[`.WYRS¡YIHQ•RV\jD I˜sR[`l\|I!Q5\jR[^qTi^q˜sRVUXGJ`^YQrRSGJGJIHrsR[^Š\|I!TSa

R[`-RVQ5\jh|Usrs_Z!IHr \|DFI ZUYGJpFh|I!DI!Q`jRVUXQ `ja5GdeUXT{•DRSZtD&RS`ª^QFUq\t^Š\jRSUYQ ‘’UYh\jDFI ZUXQ`b\jh|_Z\|RVUXQ rsIŽeQFIHr d5a \|DFI

Z!UYGJpFh|I!DFIHQ`bRSUYQ›`|ZtDFIHGIX™”˜c\jIHQrsIHrpFh|UYp9UX`jR—\|RVUXQ`]d_FRVTV\•R—\|D\|DFRS`PQFUY\|^q\jRSUYQ^YhjIRVQ‘©^YZ\.^qddFhjIH¡cRS^q\jRSUYQ`o‘’UYh

pFh|RSGRV\jRS¡YIpFh|UYp9UX`jR—\|RVUXQ`!™ly T[^qQFWX_^qWXI.•DFI!h|I"\|DFRS`P`ja5GdeUXTR[`]d_FRVTV\bBRSQžZ!^YQ›d9IrsI!ŽQFIHr›dF_s\R—\PRS`{QFUq\^'Žht`b\b

UXh|rsIHhT[^qQWY_^YWYI^YQca5GJUXhjIX™{zc_ZtD ^phjI3`bIHQX\t^Š\|RVUXQ R[`WXRV¡XI!QRVQ|Zz{UŠ•lEX€Bd]^qQr pFhjUŠ¡XIHr \|U deIªIHf5_FRS¡Š^qTSI!Q5\J\jU

¦9IHhjGJIHTVUe§`¢\jDI!UYh|aY™  I"Z!^YTVTRV\ !$# ™

nIH_`bRSQFWlq Pm5}i7WZz~q~EcEBdB¾ •¢I”WXRV¡XI^(ŽeQFR—\|I”Žht`l\j@UXh|rFI!hpFh|IH`jI!Q5\|^q\jRSUYQUq‘¦9I!h|GJI!TSU§``bI!\\jDFIHUYh|a]pFh|UŠ¡cRSrFRVQFW

^YQyIHQZUsrsRSQFW<UY‘`j_ZtD ^<`ja5GdeUXTA™ªCDFI–phjRSQZRSpFTSI'RS`^Y`P‘’UXTVTSUŠ•o`! =pFhjUXpeU5`bRV\jRSUYQe`.Uq‘ !$# ^YhjI'IHQZUsrsI3r ^Y`Žht`b\b

UXh|rsIHhP\jI!h|G'`._`jRVQWªrFI+\¢h|_FRklQ RVQrFRSZ!IH`P\jU<IHQZUsrsI'UsZHZ_Fh|hjIHQZI3`PUq‘¢d9UY_Qry¡ ^YhjR[^qdTVI3`.^qQrž_`jRVQFW›^YQžI!˜spFTVR[ZRV\

`j_Fd`b\jRV\j_s\|RVUXQ™¢CDRS`WXRV¡XIH`^YQª^YTVGJU5`l\oQ^q\j_Fht^qTIHQZUsrsRSQFW–^X`R—\]phjI3`bIHhj¡XIH`¢\jDFI"`b\jh|_Z\j_Fh|I.Uq‘†\jDFI=pFhjUXpeU5`bRV\jRSUYQe`!™

CDFI3`bIJ\|I!h|G'`"^qh|I€k $j²kF²p±œ°A±©²q³/Šµo¯t²Š³e°B­!³°{^YQr •¢I'QI!IHry\|U<I˜spFh|IH`|`\jDI!G^Y`.pFh|UYp9UX`jRV\jRSUYQ`j\|DFR[`"R[`"•Dcaž^

pFh|IHrFRSZH^Š\jI.RS`¢RVQ5\|hjUsrs_Z!IHr–`j_ZtD'\|D^Š\3¾c‘’UYh(RVQe`l\t^qQZ!IY¾Iƒ‚S¤B„L…W†y¥‡iR[`¢IHf5_FRS¡ ^YTVIHQ5\£\jUsf‚ˆ‰„ª¥‡f…sƒ‚Šˆ‰†y¥‡™"zcU¾cUYQ

UXQFI=D^YQr<\|DFR[`PrFI!¡cRSZ!I^YTVTSUŠ•o`o_`{\|U„D^ ¡XI^'Žeh|`b\bBUYhtrsI!h]‘’UYh|G'^qTSRV“3^Š\jRSUYQ›^YQr<UXQ›\jDIUY\jDFIHh{D^YQr›De^ ¡5RSQFW'\|DFI

^YdFRVTSRV\la'\jU–f5_^YQX\|R—‘’a„UŠ¡YI!h(\|DFIH`jIP\jI!h|G'`o^qTSTSUŠ•o`¢_e`(\jU'I˜spFh|IH`|`¢\jDFI"Z!UYGJpFh|I!DFIHQ`jRVUXQ`|ZtDFI!GJI.^Y`UXQFI.^Š˜sRVUXGª™

q]^ ¡cRSQFW–WXRV¡XI!Qª\jDRS`{pFh|IH`jI!Q5\|^q\jRSUYQªUq‘£`jI\{\jDFIHUYh|aY¾•(I"pFh|UŠ¡YI\|D^Š\PR—\PRS`{•D^q\{•(I=Z!^YQ›Z!^qTST^¤bZ!UYQ`jI!h|¡Š^Š\|RV¡XI

I!˜5\|I!Q`jRSUYQc¥›Uq‘ !:# ™ CDFIžphjI3ZR[`bI›GJI3^qQFRSQFW R[`!  \|DFI!h|II!˜sRS`b\|`^ \jht^qQe`bT[^Š\|RVUXQŒ‹Ž‹‘P`j_ZtD \|D^Š\-‘’UYh-^qQca

pFh|UYp9UX`jRV\jRSUYQ?‹ Uq‘ !$# ¾i‹ R[`pFh|UŠ¡Š^qdFTSI{RSQ !$# RV‘^YQrUYQFTSa„RV‘a‹ ‘ R[`pFh|UŠ¡Š^qdFTSIPRVQ-\jDI.QFI!• pFh|IH`jI!Q5\|^q\jRSUYQ™

š¨Q UYhtrsI!h{\jU<rsU-\|DFI'pFh|U5UY‘£•(Ih|I!TSa<UYQž\l•(U-RSGJpeUXhb\t^qQ5\peUXRVQ5\|`H P\jDFI–`b\jh|_Z\j_Fh|IUY‘¢pFh|UYp9UX`jRV\jRSUYQ`[t’•RV\jD ^

dFRSQrsIHhx†R[`pFh|IH`jI!h|¡YI3r=dca.\|DFI\jht^qQ`jT[^Š\jRSUYQJ^qQer¾Y`jRVQZ!I\jDFI\|DFI!UXhja^Y`|`bUsZR[^Š\|IHr=•R—\|DJ\jDFIIHQZUsrsRSQFWRS`£rsIHZ!RSrF^YdFTSIY¾

•(II˜spFh|IH`|`¢RV\]^Y`^'Z!UYQFWXhj_I!QZ!I{UXQpFh|UYp9UX`jRV\jRSUYQ`^qQer„•(I.•¢UXhjŸ'RSQ ¬Y­t¬Š®¯!°@±©²Š³´'²3¬Š®sµV²€Zz~q~Ec`’d@™

CDFR[`JpFh|IH`jI!Q5\|^q\jRSUYQ RSQ ¬X­|¬q®¯°@±©²Š³ ´'²3¬Š®sµV²ªrsI3`bIHhj¡XIH`=R—\t`JUŠ•Q RVQ5\|I!h|IH`b\H¾iRSQpe^qhj\jR[Z_FT[^qh‘’UYhpFh|U5UY‘{`jIH^qhtZtD¾

`jRVQeZI.^JZ_s\j@IHTVRSGJRVQ^q\jRSUYQ-\jDI!UYh|I!G D^Y`d9I!IHQ-phjUŠ¡XIHr™

† "†

mI\d9I.^J`bI!\UY‘‘’_FQeZ\jRSUYQª`ja5GdeUXTS`•RV\jDª^qh|RV\laY™”mI!\*d9I.^qQ-RVQsŽeQFR—\|I"`bI!\Uq‘¡Š^YhjR[^qdFTSIH`H™+‚ +‡rFI!QFUY\jIH`

\jDFIŽht`b\bBUYhtrsI!h^qTSWYIHdFht^"WYIHQFI!ht^Š\|IHr„‘’hjUXG ^YQr <™

„¸5» ˆ ‡ ¸ … ¹ …H‡ ¸ … yh|I!•h|RV\jI„`jas`l\|I!G RS`=WYRS¡YI!Q dca ^ªŽht`l\j@UXh|rFI!h\jIHhjG ^YTVWXI!dFht^=‚‡"^YQr dcay^`bI!\

ZUYGJp9UX`jIHrJUY‘p^qRSh|`£Uq‘\|I!h|GJ`£‘’h|UYG+‚ +‡!¾cIH^XZtD'p^qRSh£d9I!RSQFW=•h|RV\b\jIHQ:c¾c•DFI!h|I]^qTST9¡ ^YhjR[^qdTVI3`”Uq‘.D^ ¡XI

^Š\oTSIH^Y`b\UYQFIUsZ!Z!_Fh|hjIHQZIPRVQb™

yhj_FTSI:=RSQª•DFRSZtDª^qQca–¡Š^YhjR[^qdFTSID^Y`^q\GU5`l\oUXQFIUsZ!Z_hjh|I!QZ!I{RSQ†RS``|^qR[r–\|U'deI.TSI‘œ\oTSRSQFIH^YhH™

mI\t=‚‡¾?xod9IJ^„h|I!•h|R—\|I=`jac`b\jIHGª¾P rsI!QFUY\jI3`o\|DFIUXQFI¨`b\jI!phjIH•hjRV\jIhjIHTS^q\jRSUYQ›WXI!QFIHh|^q\jIHr-‘’h|UYG›™

 IP•hjRV\jI

^

‘’UYh(R—\t`£\|h|^YQ`jR—\|RV¡XI]ZTSUX`j_Fh|IY¾2

‘’UXh¢RV\|`¢h|II!˜cRS¡YIo\jht^qQ`jR—\|RV¡XI]ZTSUX`j_Fh|I]^qQer !

‘’UYh(R—\t`£h|IeI˜sRV¡XI

`bacGJGJI\jh|R[Z]\|h|^YQ`jR—\|RV¡XIZ!TVU5`b_hjIX™



IPZ!^qTSTe^"hjIH•hjRV\jIoh|I!T[^Š\|RVUXQ? ZUXQ"_FIHQ5\¢RV‘‘’UYh¢^YTVT$#$%&'Š¾(#[!%/…)#v*'RSGJpFTVRSIH`*+",-% .,R…/' !.,¾

TVUsZ!^YTVTSaZ!UYQ"e_FI!Q5\R—‘‘’UXh]^qTST#$%&'Š¾0#1%a… #2'PRSGpTVRSIH`3+4, % !,~…'l.,e¾e^qQer-`b\jh|UYQWYTSa–ZUYQ4_FI!Q5\oRV‘

‘’UYho^qTST5#$%67'Š¾4#[2%)… #[']RSGJpFTVRSIH`8+",% ,~… 'l,™

mI\*9id9IP^=\jIHhjGª¾:9iR[``j^YRSrJ\|Ud9IRVQQFUYh|G'^qTe‘’UYh|G R—‘\jDFIHhjIrsUcIH`¢QFUq\I˜sR[`l\^qQca\jIHhjG;95‘`j_ZtD–\|D^Š\*9"<95‘A™

 I.Z!^YTVT^"h|I!•h|RV\jIPhjIHTS^q\jRSUYQ? `l\|hjUXQFWYTSaQFUYh|G'^qTSRV“HRVQFW=R—‘^qTST9rsIHhjRS¡Š^Š\|RVUXQ`¢^YhjI]ŽQFRV\jIX¾F^qQr„•¢I3^qŸcTVaQFUXhjG'^qTSRS“!RSQFW

R—‘”^qTST\jIHhjG'`D^ ¡XIP^QFUXhjG'^YT‘’UYh|G-™

C•(U h|I!•h|R—\|Ih|I!T[^Š\|RVUXQ`G ^YQr|>=u^qh|Iž`|^qR[r \|UZ!UYGJG=_s\|IžRV‘=‘’UXh-^YTVT#$%67'Š¾3# 

%…?#

= '

RVGJpFTSRVI3`@+4,A%+ =

,v…'=

,e¾^YQry\jUž`l\|hjUXQFWYTSažZ!UYGJG=_s\|I–RV‘‘’UYh^YTVTB#$%&'Š¾C# 

%R…D#  =

''RSGJpFTVRSIH`

+",%  = ,~… 'l

,e™

E ˆŠ…!‡ º|¼ ˆŠ½ ¸ ˆ*†ˆ ¸ ½ ‹X‰s‡ ¸ '¼GF/‹ mI!\3ª¾4 ^qQerIH d9I\jDI`jI\t`(Uq‘¡Š^YhjR[^qdFTSIH`H¾5‘’_FQZ\jRSUYQ<`bacGdeUXTS`^qQer–pFh|IHrc

RSZH^Š\jI"`jacG=d9UYT[`!¾"?‚JHIK =‡rsI!QFUY\jI3`(\jDFI.T[^qQFWX_^qWXI{UY‘pFh|UYp9UX`jRV\jRSUYQ` tœ‘’UXhjG_FT[^Y`x™

mI\ ‹&d9Io^pFhjUXpeU5`bRV\jRSUYQ¾cwL+‚‹>‡rsI!QFUY\jI3`\jDFIo`jI\¢Uq‘R—\t`‘’hjIHI¡Š^qh|RS^YdFTVI3`^qQr[†)L=‚D‹>‡†\|DFIo`jI\iUq‘RV\|`”d9UY_FQer

¡ ^YhjR[^qdTVI3`!™

y ¡Š^qTS_^q\jRSUYQ 7 RS`^„‘’_FQZ\|RVUXQ‘’h|UYGM RVQ5\|U +‚ N+‡P`b_eZtD›\jDe^Š\7 ‚O/‡QPROyI!˜FZI!pF\{‘’UXh^–ŽQFRV\jIJQc_FG=d9I!h

Uq‘£¡Š^qh|R[^qdFTSIH`H™{CDFR[`]‘’_FQZ\|RVUXQG'^ a-deII˜c\jIHQrsI3r<\jU-^'‘’_FQeZ\jRSUYQ‘’hjUXGS+‚ +‡]RSQX\|U =‚ +‡]RVQ\l•¢U„•(^ as`H 

I!RV\jDFIHh–^Y`^žWXh|^q‘œ\jRSQFWžrFI!QFUY\jIHrUTVOXWhY97W6ZV[\[V[ZKO$]O^9_]$`-UXh^X`^y`j_Fd`b\jRV\j_s\|RVUXQ|t©•R—\|D ZH^qps\|_Fh|I^ ¡YUXRSrFRVQFW2x

rsI!QFUY\jI3rTa9 W\b O W ZV[\[V[ZK9 ]0b O ] `5™

mI\7 d9IJ^„¡Š^qTS_^q\jRSUYQ^YQrTa9_cb O$c_`\jDI^X`j`jUsZR[^Š\jI3r›`j_Fd`b\jRV\j_s\|RVUXQ{t©^YWX^YRVQžQ^qGJIHr 7:x™/de&f ‚7:‡{rFI!QFUY\jIH`

\jDFI=`jI\oUY‘\|DFI"¡Š^qh|R[^qdFTSIH`BO`j_ZtD-\jD^q\7 ‚O ‡gPUOj$hi#(j"‚7:‡rsI!QUq\jI3`\jDI"`bI!\oUq‘†\jDFI"¡Š^YhjR[^qdFTSIH`UY‘\|DFI\jIHhjG'`.9_c

t©`j_ZtD-\jD^q\9_cBgPkO$cx^YQr L/#(2‚7:‡orsIHQFUq\|IH`.dIe&f ‚D7:‡; hQ#(j"‚D7:‡™

”˜spFhjI3`j`jRSUYQ`^qh|IZUYQe`bR[rsI!h|IHrGJUsrs_FTSU-l¨ZUYQc¡XI!ht`bRSUYQ •¢I.ZH^qQª^qTS•(^ as`^Y`|`b_GI{\jDe^Š\o•DFIHQ-^J`j_Fd`b\jRV\j_s\|RVUXQ

7 R[`P^YpFpFTSRVI3r<\|Uª^–\jIHhjG •DUX`jI=DFI3^Yr`jacG=d9UYTR[`P^dFRSQrsIHhH¾\|DFIJdeUX_FQr›¡Š^YhjR[^qdFTSIY¾mO¾rsUcIH`PQFUY\PUsZ!Z!_FhRVQ\jDFI

`b_Fde`l\|R—\|_s\jRSUYQ tœ\|D^Š\oR[`.O›rsUcI3`QFUq\od9I!TSUYQFW\|UnL/#(2‚7:‡x™

y,pFh|UYp9UX`jR—\|RVUXQW‹ RS`{`j^YRSr\|U'deI"phjUŠ¡Š^qdTVIRV‘†\|DFI=`jIHf5_FIHQX\ioW‹ R[`pFh|UŠ¡Š^qdFTSIY™¢MPRS¡YIHQ›^'`bI!\3p Uq‘”`bIHQ5\jI!QeZIH`

t©ZTSUX`jIHr„pFh|UYp9UX`jR—\|RVUXQ`mx¾ƒ‹,RS``|^qR[r'\|Ud9IpFh|UŠ¡ ^YdFTSI]_FQrFI!h.p RV‘\|DFI!h|IPI˜sRS`b\|`^=ŽQFRV\jITSRS`b\l„ UY‘pFh|UYp9UX`jR—\|RVUXQ`¢Uq‘

p `j_ZtD\jD^q\\jDFI"`jIHf5_FIHQ5\ „qo=‹ RS`opFhjUŠ¡Š^YdFTVIX™

šB‘a‹

RS`o^pFh|UYp9UX`jRV\jRSUYQ–\|DFI!Q?rs

‹ rsIHQFUq\|IH`RV\|`_FQRV¡XI!ht`j^YTZ!TVU5`b_hjIX™

šB‘ ‹ R[`P^'pFh|UYp9UX`jR—\|RVUXQ›^qQr9o^J\|I!h|G \|DFI!Q>TV9

b

O5`‹ R[`]`|^qR[r-\jU„d9I^YQ<RVQe`l\t^qQZ!I"Uq‘

s

O‹J™šB‘ ‹J¾mt ^qQrh

^qh|IopFh|UYp9UX`jR—\|RVUXQ`£`j_ZtDJ\jDe^Š\*t,RS`¢^qQ–RSQ`b\|^qQeZIoUY‘‹,^qQrIh&R[`¢^YQ–RVQe`l\t^qQZ!IoUq‘ut&\|DFI!Q h R[`¢^YQ–RSQ`l\t^qQZ!IoUq‘‹J™

mI\Qv ^YQrvR‘d9I=Žeh|`b\{UXh|rsIHh]T[^qQFWX_^qWXIH`o`j_ZtD<\|D^Š\v R[`P^„`j_Fd`jI\Uq‘wv ‘A™mI\Qx,d9I^–\jDFIHUYh|a-UY‘wv ^YQr

x‘^\|DFI!UXhja-Uq‘yv ‘©™.x‘R[`]`|^qR[r-\jU–d9I=^¯t²q³f!­ ${zpŠ°@±JzŠ­'­7|X°¨­³it±©²q³–Uq‘}xRV‘”‘’UYh]^YQ5apFh|UYp9UX`jR—\|RVUXQG‹ UY‘}v]¾mom~ ‹

DFUYT[rF`RV‘”^YQrUYQFTSa–RV‘yom~$$‹uDUYT[rF`!™

N<¸X» ½ ¸ ' )‡ A¼- mI\Qv ^qQer€v ‘deI=Žht`l\PUYhtrsI!hoT[^qQWY_^YWYIH`H™omI!\ w d9I^„G'^qpFpFRSQFW'‘’h|UYGSv \jUvR‘©™mI!\8x

deI=^\|DFI!UXhja–UY‘v ^YQr x‘^\jDI!UYh|a–UY‘vR‘’™wx~‘RS`o`|^qR[r„\jU¯t²Š³i­ ${zpŠ°@±Jz ­!µ„±œ³e°B­ $k $|­°x RV‘‘’UXh]^qQca–pFh|UYp9UX`jRV\jRSUYQ

‹ UY‘Cvo¾mom~h‹uRV‘^YQr-UYQFTSa–RV‘yoX~G w‚D‹>‡™

l (†+ .†/ t+ ª-

%

š¨QCZz{UŠ•lEX€dB¾\l•(UphjI3`bIHQX\t^Š\|RVUXQ`]UY‘¦9IHhjGJIHTVUe§`P`bI!\\jDFIHUYh|a Zh|REI`c¾zc_Fp/HYKd£^qh|IWYRS¡YI!Q™ {QFIJ•R—\|DžI!˜sRS`b\jIHQZI

^q˜cRSUYG'`P^qQr\jDIUY\jDFIHhH¾•DRSZtDž•¢IJZ!^YTVT ! #!¾•RV\jD ^QUq\|^q\jRSUYQ‘’UYh.`bI!\Z!UYQ`b\jh|_Z\jIHrdca›ZUYGJpFh|I!DI!Q`jRVUXQ o\|DFI

Z!UYGJpFh|I!DFIHQ`bRSUYQ `jacG=d9UYTi•DFR[ZtD R[`=^<dRVQrFI!h3™ªCDIH`jI–pFh|IH`jI!Q5\|^q\jRSUYQ`"^YhjI'I3f5_FRV¡Š^YTVIHQX\RVQ \|DFI`jI!Q`jI'\|D^Š\"\|DFI

T[^Š\|I!hR[`o^JZUYQe`bIHhj¡Š^Š\|RV¡XI{I!˜c\jI!Qe`bRSUYQ-Uq‘†\jDFI‘’UXhjGJIHho^qQr„\jDFI=TS^q\jI!hoZH^qQ-deI.IHQZUsrsI3r-RVQ-\jDI‘’UYh|GIHh>tœ\|DFRS`opFhjUcUY‘

h|IHf5_FRShjRSQFW\jDFI.phjI3`bIHQZIUq‘\jDFI.I!˜c\jI!Qe`bRSUYQ^YTVRV\la„^q˜cRSUYG+x™

qoIHhjIP•(I]WYRS¡YI]\jDFI3`bI{\l•(U"pFh|IH`jI!Q5\|^q\jRSUYQ`(^qQr¾5RSQ–\|DFI`bI3fX_I!T@¾X•(IP`jD^YTVT`bDUŠ• \jD^q\¢\|DFI{phjI3`bIHQX\t^Š\|RVUXQ'WYRS¡YI!Q

RSQ-\jDFI‘’UXTVTSUŠ•RVQW`jIHZ\jRSUYQªZUYQe`bIHhj¡Š^Š\|RV¡XI!TSa'RVQ5\|I!h|pFhjI!\|`

!

#!™

! "$#&%')(*+,

šB\RS`I˜spFh|IH`|`jIHrRSQ.Žht`l\j@UXh|rsIHhpFh|IHrsR[Z!^q\jI¢TVUXWYR[Zq™CDI£T[^qQFWX_^qWXI”RS`†WYRS¡YIHQ.dca{\|DFI¢‘’UYTSTVUŠ•RSQFWoRSQrs_Z\jRS¡YI(rsIŽQR—\|RVUXQ 

pFh|UYp9UX`jR—\|RVUXQ` ‹ -.-P ‹0/ ‹212‹M…?‹21ƒ‹43W‹15a‹1761 s O‹814+:O~‹

1:9yPU991:9 F 9

\jIHhjG'` 9 -.-P O

•DFIHhjIQO›R[`^¡ ^YhjR[^qdTVIP‘’h|UYG ^YQRSQsŽQFRV\jI"`jI\8*UY‘†¡Š^qh|R[^qdFTSIH`H™

zc_d`l\|R—\|_s\jRSUYQªR[`orsI!ŽQFIHrª^X`_`b_e^qT@™

CDFIHhjI.^YhjI{Ž¡YI"^q˜sRVUXGJ`^YQr–\l•(U'^Š˜sRSUYG `|ZtDFI!GJI3`! 

:

t’g”^qRShjRSQFW'^Š˜sRSUYG+x s O s<; +ƒ„ s= ‚= FG„?> ‚= PkO@3 = P ; ‡‡

:

t’gUŠ•¢IHh|`jI\o^q˜cRSUYG+x s Om+ƒ„ s'; ‚; FG„A> s'= ‚= F ; / = F O ‡‡

:

tzc_FG^Š˜sRSUYG+x s Om+ƒ„ s'; ‚; FG„A> + = ‚; F = … = F O/‡‡

: t

UYGJpFh|I!DI!Q`jRVUXQ-`|ZtDFIHGIBx

‘’UXho^qQca–pFh|UYp9UX`jR—\|RVUXQ?‹ •DFUX`jIP‘’hjIHI¡ ^YhjR[^qdTVI3`(^YhjI.^YGUXQFW = 7O W [V[\[KO ] ¾

s

OmW[\[\[

s

O$]

s<;

+ƒ„

s=

‚=

FG„A> ‚= F ; …W‹>‡‡

:

t!”˜c\jIHQ`jRVUXQ^qTSR—\la-^Š˜sRSUYG+x s O s'; ‚‚s= ‚= F OB> = F ; ‡‡/ O P ; ‡

:

t!£f5_^YTVRV\la^q˜cRSUYG+x s OO PUO

:

t!£f5_^YTVRV\la`|ZtDFI!GJIBx

‘’UXho^qQca–pFh|UYp9UX`jR—\|RVUXQ?‹ •DFUX`jIP‘’hjIHI¡ ^YhjR[^qdTVI3`(^YhjI.^YGUXQFW = 7OmWC[V[\[KO$]¾

s OmW[\[\[s O$] s O s'; ‚OP ; / ‚ TaO bC= `‹D/<T ;0bE= `B‹>‡‡

(GF9H#&IJLKNM

CDFI.T[^qQWY_^YWYI]R[`WXRV¡XI!Q-d5a–\jDFI‘’UXTVTSUŠ•RVQWRSQrs_Z\jRS¡YI"rsI!ŽQFRV\jRSUYQ 

pFh|UYp9UX`jR—\|RVUXQ` ‹ -.-P ‹0/ ‹212‹M…?‹21ƒ‹43W‹15a‹1761

s

O‹814+:O~‹

1:9yPU991:9 F 9

\jIHhjG'` 9 -.-P OO1$Ta9{K9N`B1 H=‚9‡P1"Q[‚9‡P1$TaOhF 9R’‹@`

•DFIHhjIQO›R[`^¡ ^YhjR[^qdTVIP‘’h|UYG ^YQRSQsŽQFRV\jI"`jI\8*UY‘†¡Š^qh|R[^qdFTSIH`H™

y{`P\jDFI\jIHhjG TS^YQFWY_^YWYI_`jIH`^-dFRVQersI!h3¾\jDI–rsIŽQR—\|RVUXQžUY‘(`j_Fd`b\jRV\j_s\|RVUXQžQFIHIHrF`P\|UªdeI'I!˜5\|I!QrFIHr™TS]`jRVQW\|DFI

‘©^XZ\\jDe^Š\•¢I"Z!UYQ`jR[rsI!h(\jIHhjG'`VU pFh|UYp9UX`jRV\jRSUYQ`¢GJUcrF_FTVUIl¨ZUYQc¡XI!ht`bRSUYQ¾X\jDI"`b_Fde`l\|R—\|_s\jRSUYQªR[`orsIŽeQFIHrdca9 

TV9 b O` ; Pk9NRV‘CO P ;

TV9

b

O`

; P ;

R—‘OgP

;

TV9

b

O`2‚TV97W&K9W6`p‡yP T TV9

b

O`V97W&TV9

b

O`a9W&`

TV9

b

O`2‚ 97W‡wP TV9

b

O`V97W#•DFIHhjI RS`RSQDT\HIXQ`

TV9 b O`2‚T ; F 95‘*Rp‹@`B‡}P T ; F ‚Ta9 b O5`V95‘o‡YR(TV9 b O`‹/`

TV9 b O`2‚9W 9 W ‡yP Ta9 b O5`V9 W TV9 b O5`V9W •DFIHhjI R[`RSQDT6P/ŠF`

TV9 b O`E6 PZ6

TV9 b O`2‚[5a‹>‡yP\5 ‚TV9 b O`B‹>‡

TV9 b O`2‚D‹ t>‡yP TV9 b O5`‹ Ta9 b O5`&t •DI!h|I RS`oRVQDTC/Um…B]3 `

TV9 b O`2‚ ; ‹>‡yP ; ‚_TV9 b O`‹>‡ •DFIHhjI RS`RSQAT s N+G`

CDFI!h|I.^qh|I{Že¡YI.^Š˜sRSUYG'`^qQr\l•(UJ^q˜sRVUXG `jZtDFIHGJIH`H 

:

t©g^YRVh|RSQFW'^Š˜sRVUXG+x s O s'; s= ‚= FATVOu ; `Y> ‚= PUO 3 = P ; ‡‰‡

:

t©g†UŠ•(I!ht`jI\^Š˜sRVUXG+x s O s'; ‚; F H=‚O/‡ > s'= ‚= F ; / = FO/‡‰‡

: tzc_FG*^q˜sRVUXGx s O s<; ‚; FTQ[‚O/‡ ><+ = ‚; F = … = F O ‡‡

:

ty˜sRVUXG*`|ZtDFI!GJIUq‘ZUXGphjIHDFI!Q`jRSUYQ-x

‘’UYho^YQ5a'phjUXpeU5`bRV\jRSUYQG‹u•DFU5`bIP‘’h|I!I¡Š^qh|RS^YdFTSIH`^qh|I^qGJUYQFW = KO W [\[\[7O ] ¾

s O W [V[\[ s O ] s<; s= ‚= FAT = F ; Rp‹@`Y> ‚= F ; …W‹>‡‡

: t”˜c\jI!Qe`bRSUYQ^YTVRV\la„^q˜cRSUYG+x s O s<; ‚‚s'= ‚= FO > = F ; ‡‰‡ / O P ; ‡

: t£f5_^qTSR—\la-^Š˜sRSUYG+x s OO PkO

: t£f5_^qTSR—\la-`jZtDI!GJIx

‘’UYho^YQ5a'phjUXpeU5`bRV\jRSUYQG‹u•DFU5`bIP‘’h|I!I¡Š^qh|RS^YdFTSIH`^qh|I^qGJUYQFW

=

KO

W

[\[\[7O

]

s O W [V[\[ s O ] s O s<; ‚OP ; / ‚_TVO bC= `‹\/<T ;0bC= `‹>‡‡

gihjUcUY‘.\jDFIHUYh|aY¾‘’UYhRVQe`l\t^qQZ!Iž`jIHf5_FI!Q5\ZH^qT[Z_FTS_`H¾oR[`–\|DFIž`|^qGJI^X`–RSQ Žht`l\j@UXh|rsIHh–pFh|IHrsR[Z!^q\jI›TSUYWXRSZ›•R—\|D \jDFI

I˜FZIHps\jRSUYQªUq‘\jDFI.QI!•rsIŽQR—\|RVUXQUY‘\|DFI"`b_d`l\|R—\|_s\jRSUYQ™

nI!G'^qh|Ÿ ªš¨Q_e`b_^YTpFh|IH`jI!Q5\|^q\jRSUYQ`JUY‘.¦9IHhjGJI!TSU§`\jDFIHUYh|a \jDI!h|I<RS`JQFU I3f5_^qTSR—\la `|ZtDFIHGI<d_s\–UYQFTSa ^žŽQFRV\jI

Q5_G=d9I!hUq‘£^q˜cRSUYG'`{I˜spFh|IH`|`bRSQFW'\|D^Š\IHf5_^YTVRV\laªRS`^ZUYQWYh|_FI!QZ!I=UXQ<\jIHhjG'`^qQr›pFhjUXpeU5`bRV\jRSUYQe`!™ eoUXQFI\|DFI!TSIH`|`!¾

_`bRSQFWJI!RV\jDI!h\|DFIH`jI.^Š˜sRVUXG'`UYh\jDI"`jZtDFIHGJIPWXRV¡XIH`(IHf5_FRS¡Š^qTSI!Q5\pFh|IH`jI!Q5\|^q\jRSUYQ`H™

ª F "†- -† =# "$)

%

q]I!h|I"•¢I.phjI3`bIHQX\P^J\jDFIHUYh|a„RSQªŽht`l\j@UXh|rsIHhpFh|IHrsR[Z!^q\jI"TSUYWXRSZ•RV\jD›^JŽeQFR—\|I=Qc_FGdeIHh]Uq‘i^q˜cRSUYG'`H™¢š¨Qª\|DFI=h|IH`b\oUq‘

\|DFI{pe^qp9I!h3¾X\|DFR[`£\|DFI!UXhjaJ•RSTVTd9I{phjUŠ¡XIHr\jUJZUXQ`jI!h|¡ ^q\jRS¡YIHTVaRVQ5\|I!h|pFhjI!\ !$#  †‘’UYh^qQcaJpFh|UYp9UX`jR—\|RVUXQ=‹,Uq‘ !$# \jDFIHhjI

I!˜cR[`b\|`(^"pFh|UYp9UX`jR—\|RVUXQ+‹‘RSQ–\|DFR[`i\|DFI!UXhja'`j_ZtD'\jDe^Š\ ‹R[`(pFh|UŠ¡ ^YdFTSIoRVQ !$# R—‘^YQr'UYQTVaJRV‘P‹‘9RS`¢pFh|UŠ¡ ^YdFTSIoRVQ–\jDFR[`

\|DFI!UXhjaX™



I<D^ ¡YI-^YrF^Yps\jI3r \jDI-•(UYh|Ÿ \jDe^Š\'D^Y`d9I!IHQrsUXQFI-RVQ|ZzqEIEBd‘’UYhJDFRSWYDI!hJUYhtrsI!hJTSUYWXRSZ„\jU

!

#!™CDFR[`

pFh|IH`jI!Q5\t^Š\jRSUYQyZ!^YQžd9I–`bIHI!Q ^Y`^ª`bacQ5\|^XZ\|RSZ\jht^qQe`l‘’UXhjG'^Š\|RVUXQ›Uq‘

!

#! Žh|`b\.•¢IJWXI\.hjR[ržUq‘£\|DFI'dFRSQrsIHh.d5ažZUsrc

RSQFW<d9UY_FQr ¡ ^YhjR[^qdTVI3`d5a rsI+\(h|_FRklQ RSQrsR[ZI3`!¾†\|DFI!Q \|DFI–T[^qQFWX_^qWXIUY‘\jI!h|GBU pFh|UYp9UX`jRV\jRSUYQyUq‘

!

#.R[`"`jI!IHQ ^Y`"^

\l•(Uq¨`bUXhb\|IHrªŽeh|`b\bBUYhtrsI!h.^YTVWXI!dFht^F™JCDFI'`b_d`l\|R—\|_s\jRSUYQ UY‘ !$# RS`P\|DFI!Q `jRVG_FTS^q\jI3rždca^YQžI!˜spFTVR[ZRV\=`j_Fd`b\jRV\j_s\|RVUXQ™

CDFIHhjI!‘’UYh|Io•(I{^Yrr„^qQUq\jDI!h¢`jUYhj\®°A¾c^Š˜sRSUYG'`i\|UrsI3^qT•RV\jD–\|DFIPI˜spFTSRSZ!R—\`b_Fde`l\|R—\|_s\jRSUYQ-^qQr^Š˜sRVUXG'`”\jUJrsI3^qT

•RV\jD-\jDI.I!QZ!UcrFRVQFWJUY‘\|DFI.pFh|UYp9UX`jR—\|RVUXQ`(Uq‘ !:# ™

 I.•¢UXhjŸ–RSQ-GJ^YQcaX¨`jUYhj\jIHr–Žht`l\j@UXh|rsIHh¢phjI3rsRSZH^Š\|IPTSUYWXRSZP•RV\jDªIHf5_^YTVRV\laY™

zcUXhb\t`!  !­°@¾4ec¾$®t°

«F_QZ\|RVUXQª`jacG=d9UYT[`! 

Tii` h|^YQFŸ t5!­°@¾!­!°x!­°

H=‚ ‡ h|^YQFŸ t5!­°x!­!°

Q[‚‡ h|^YQFŸ t5!­°x!­!°

TZRQ` h|^YQFŸ t5!­°@¾e’x!­°

P¾ F h|^YQFŸ t5!­°@¾!­!°xKe

/ h|^YQFŸ tec¾e’xKe

…Q 3 h|^YQFŸ tec¾e’xKe

5 ‚‡ h|^YQFŸ te’x_e

6 `jUYhj\ e

s

‚‡{ +$‚‡ h|^YQFŸ te’x_e

`bUXhb\ !­°

ht^qQŸ tec¾o®°x_e

ht^qQŸ t !­!°A¾o®°x!­!°

`bUXhb\ ®°

ht^qQŸ t !­!°A¾o®°x®t°

`bUXhb\ ®°

‚‡ ht^qQŸ t ®°xt®°

ht^qQŸ t ®°A¾o®°x®°

gih|IHrsR[Z!^q\jI.`ja5GdeUXTS`H )=Uq‘ht^qQFŸ_te’x^qQr-^qQªI3fX_e^qTSR—\la–`jacG=d9UYT‘’UXhIH^YZtD-`bUXhb\3™

y˜sRSUYG'`Uq‘†IHf5_^YTVRV\laY™

y˜sRSUYG'`(‘’UYh\|DFI.I˜spFTSR[ZRV\]`b_Fde`l\|R—\|_s\jRSUYQ 

s # s!s

9l‚#"

! ‡#9$Pk#"

! 9$

s # s!s 9l‚#"! ‡%9$5Pk#"! 9$

s # s!

#& ! mPk#

s!

‚! ‡'XP

s!{s 9 ‚! ‡ 9$XP

9$

s!{s 9s)( ‚! 9‡* ( P ! ‚9 ( ‡

s # s!s 9l‚# ! ‡* 9yPU#"9$I‚ ! 9‡

s # s!+ ‚# ! ‡yP !

s!, ‚! ‡yP !

s!{s 9 ‚ ‚! ‡* 9‡yP ! ‚ 9‡

s!{s 9 ‚! ‡- ‚9‡yP ‚! 9‡

s!{s 9s)(. ‚! ‡‚ ‚9‡* ( ‡yP ‚! 9‡* (

s # s!s 9 ‚! ‡-‚#V9‡yPU#&I‚! 9‡

s!0/21 ! P !

s!! /21 P !

‚ /21

‡yP /21

s

#I#"

/21

mPU#

s #I#"/21 Pk#

s O s<; s! TVO5 ; `! $P TVO ! ; ! `

s O s ! H=‚O/‡#! mPkH=‚O ! ‡

s O s ! Q[‚O/‡#! POQ[‚O-! ‡

s O s r s ! TaO RIr`! $P TVO ! RIr ‚! ‡'`

s # s % s ! ‚# P %‡%! mP #"! . P %2!

s # s % s ! ‚# F€%‡%! XPU#"! F%2!

s s8s! ‚ / ‡#! XP ! / !

s s8s! ‚ … ‡%! P ! … !

s s8s! ‚ 3 ‡%! P ! 3 !

s s8s! ‚ 5 ‡#! mP 5 ‚ ! ‡

s s ! ‚s ‡%! XP s ‚ ‚! ‡'‡

s s ! ‚+ ‡%! XP +$‚ ‚! ‡'‡

s! 6 ! mP 6

yo˜sRVUXGJ`(‘’UXh\jDFI.IHQZUsrsRSQFWe 

s s f‚ … ‡ > ‚f‚ ‡$…=f‚ ‡‡

s s f‚ 3 ‡ > ‚f‚ ‡3=f‚ ‡‡

s s f‚ / ‡ > ‚f‚ ‡ / f‚ ‡‡

s f‚5 ‡ > 5Pf‚ ‡

f‚6 ‡ >A6

s f‚s ‡ > s<; f‚ ; /21 ‡

s f‚+ ‡ ><+ ; f‚ ; /21 ‡

yo˜sRVUXGJ`(‘’UXho`bI!\\jDFIHUYh|a 

s O s'; s=

‚f‚

=

FDTaO5

;

`p‡ > ‚f‚

=

PUO/‡$3+f‚

= P ;

‡‡‰‡

s O s<; ‚f‚; FH=‚O/‡‡ > s'= ‚f‚= F ; ‡ / f‚= F O/‡‰‡‡

s O s<; ‚f‚; F Q[‚O/‡‰‡ > + = ‚f‚; F = ‡$…=f‚= FO/‡‰‡‡

s4s<; s'= ‚f‚= FAT ; R `B‡ > ‚ƒ‚= F ; ‡$…=f‚ = /1 ‡‰‡‡

s O s'; ‚‰‚s= ‚ƒ‚= F O/‡ > f‚= F ; ‡‡‡ / f‚O P ; ‡‰‡

s OWf‚O PkO/‡

s4s

O

s<;

‚f‚O P ;

‡/Ž‚f‚

O /21

‡ /(ƒ‚

; /21

‡‰‡‡

y]`•¢Iy`bD^YTVTPpFh|UŠ¡YI<RSQ \|DFI‘’UXTVTSUŠ•RSQFW `jIHZ\|RVUXQ \jDI_FQFRSUYQ Uq‘"\|DFI›\|DFI!UXhjRSIH`-rsIH^YTVRSQFW •RV\jD \jDFIyI˜spFTSR[ZRV\

`b_Fde`l\|R—\|_s\jRSUYQ^qQr \|DFI-I!QZ!UcrFRVQFWžRS`rsI3ZR[rF^qdFTSIY¾\|DFI!h|I‘’UXhjIR—\RS`h|IH^X`bUXQ^qdFTSIJ\jUy^ ¡YUXRSr I!˜cpTVR[ZRV\_`jI-Uq‘\jDIH`jI

^Š˜sRVUXG'`RVQpFh|U5UY‘©`!™CDFR[`RS`•Dca"•(IWYRS¡YI^qQRSQX\|I!h|GJIHrsR[^Š\|I(phjI3`bIHQX\t^Š\|RVUXQ=Uq‘`jI\\jDFIHUYh|a"RSQª¬X­|¬q®¯°@±©²Š³-´'²H¬q®sµV²Š™

ª . " "$)

%

#- WY£ " ' BG

!

š¨Qž\jDFR[`.`jIHZ\|RVUXQ•(IWXRV¡XI^pFh|IH`jI!Q5\|^q\jRSUYQžUq‘¢`jI\\jDI!UYh|aY¾ZH^qTSTVI3r ! 3543¾•DFR[ZtDžR[`PQFUq\Žht`b\bBUYhtrsI!hPdF_s\.•DFR[ZtDžR[`

^ª°! F­t²%$„´J²3¬Š®sµV²q™ y \|DFI!UXhjaGJUcrF_FTVU–ZH^qQªd9I=`bIHI!Q<^Y`^\|DFI!UXhjaI˜spFh|IH`|`bI3r„RSQ<^Žht`l\j@UXh|rsIHhTS^YQFWY_^YWYI•DFIHhjI

pFh|UYp9UX`jRV\jRSUYQ`^qh|IRSrFI!Q5\jRVŽIHr-GJUsrs_FTSU'^Z!UYQFWXhj_I!QZ!IY™

šB\|`"TS^YQFWY_^YWYIRS`P\|DFI–`j^YGJI^X`P\jDFIJUYQIUY‘£\|DFIJpFhjI3ZI3rsRVQW-phjI3`bIHQX\t^Š\|RVUXQI˜FZ!I!ps\\jDe^Š\.R—\"De^Y`PQFUªIHf5_^YTVRV\la

pFh|IHrFRSZH^Š\jI^qQer"\|D^Š\”\|DFI!h|IRS`”^YQRSQsŽQFRV\jIQc_FGdeIHh”Uq‘9RVQrFRSZ!IH`H™†CDFI`j_Fd`b\jRV\j_s\|RVUXQJRS`”rsI!ŽQFI3r^X`RVQG'^qQca5B`jUYhj\jI3r

Žht`b\bBUYhtrsI!h(pFh|IHrsR[Z!^q\jITVUXWYR[Zq™

CDFI]`jas`l\|I!G RS`¢ZUYGJp9UX`jIHrUq‘\l•(U{\|DFI!UXhjRSIH`H UXQFII˜spFh|IH`|`jIHrJ^Y`”^"rFIHZR[rF^YdFTVIoZ!UYQFWXhj_I!QZ!I t’\jDFIo\jI!h|GJRVQe^Š\jRSQFW

^YQrJZUYQ4_FI!Q5\ih|I!•h|R—\|I`bas`b\jI!G 7$9";~< x”•DRSZtD'rsI!ŽQFIH`”\jDFII!˜cpTVR[ZRV\£`b_d`l\|R—\|_s\jRSUYQ–^YQr\jDFIIHQZUsrsRSQFW-jX^qQer=\|DFI

UY\jDFIHh(R[`^"ŽeQFR—\|I.`bI!\UY‘^Š˜sRSUYG'`¢‘’UYh`bI!\\jDFIHUYh|a_t’RV\R[`¢\jDFI.`|^qGJI^Y`¢\jDFIUXQFI{WXRV¡XI!Q–RSQ\jDFIpFh|IHZ!IHrsRSQFWJ`bI3Z\jRSUYQ/x™

CDFI.phjUcUq‘†`bas`b\jI!G*RS``jIHf5_FIHQ5\ZH^qT[Z_FTS_`GJUsrs_FTSUJ\jDFR[`oZ!UYQFWXhj_FIHQZIX™

š¨Q \jDI'QFI˜c\=`jIHZ\|RVUXQ •¢I–`jD^qTST”pFh|UŠ¡YI\jDe^Š\

!$354

Z!UYQ`jI!h|¡Š^Š\jRS¡YIHTVa<RSQ5\jIHhjpFh|I\t`

!$#

^YQrž\jDFIHQ `l\t^Š\jIJ\|D^Š\.\|DFI

ŽQR—\|I'pFhjI3`bIHQ5\|^Š\|RVUXQžWXRV¡XI!QyRVQ \|DFI'pFh|IHZ!IHrsRSQFW<`bI3Z\|RVUXQyR[`"^ªZUXQ`jI!h|¡ ^q\jRS¡YIJI˜c\|I!Q`jRVUXQžUY‘ !:354 ™–š¨Q UYhtrsIHh\jU›rsU

\|D^Š\•(IPQI!IHr\|UphjUŠ¡XI]pFh|UYp9I!hj\jRSIH`(Uq‘†\jDIPh|I!•h|RV\jI`bas`b\jI!G Uq‘ !$354 ^qQr-Z_s\j@IHTVRSGJRVQe^Š\jRSUYQ-RSQ-`jIHf5_FIHQX\oZH^qT[Z_FTS_`

GJUsrs_FTSU\jDFI"Z!UYQFWXhj_FIHQZIPWYIHQFI!ht^Š\|IHrdca'\jDFR[`h|I!•h|R—\|I.`bas`b\jI!Gª™

 I"^qh|IPQUŠ• WYRS¡cRVQW\|DFI‘’UYh|G'^qTrsI!ŽQFRV\jRSUYQªUq‘†\jDFI"`jas`l\|I!G ! 354 ™

¸

'A‰

uF

†‰

Fe¸/Q

ˆ

¸X»

ˆ ‡ ¸ … ¹ …H‡

¸ ‰ ½ ‰

A¼ …

¼/.

!

354

CDFI]`jas`l\|I!G RS`i`jpFTSR—\¢RVQJ\l•(U.ZUYGJp9UYQFIHQ5\|`H™†CDFIoŽh|`b\iR[`i^qQ'^Š˜sRSUYG ‘’hjIHI\jDFIHUYh|a=GJUsrs_FTSU¾XZH^qTSTVI3rWF 354 ¾5•DFRSZtD

R[`iQFUY\¢`jpeI3ZRVŽeZ\jU`bI!\i\jDFIHUYh|a=I!˜sZ!I!ps\£‘’UYhiRV\H§`iT[^qQFWX_^qWXIY™†CDFI!Q'•(I]^Yrr'^Š˜sRVUXG'`‘’UYh£`jI\£\jDFIHUYh|a^qQerJ•¢IoUXds\|^YRVQ

\|DFI\jDFIHUYh|a–GJUsrs_FTSUJZH^qTSTVI3r ! 354 ™

CDFIP\jIHhjG TS^YQFWY_^YWYIoR[`WYRS¡YIHQ„dcaJ\jDI{‘’UXTVTSUŠ•RSQFW=ht^qQFŸXIHr`bRSWYQ^q\j_Fh|I]RSQ-GJ^YQcaX¨`jUYhj\jIHr'Žh|`b\bBUYhtrsIHh£pFh|IHrsR[Z!^q\jI

TSUYWXRSZP•RV\jD-\jDFI\|DFh|I!I.`bUXhb\t`~­!°@¾0e^YQr t®°A™

Tii` h|^YQFŸ t5!­°@¾!­!°x!­°

H=‚ ‡ h|^YQFŸ t5!­°x!­!°

Q[‚‡ h|^YQFŸ t5!­°x!­!°

TZRQ` h|^YQFŸ t5!­°@¾e’x!­°

P¾ F h|^YQFŸ t5!­°@¾!­!°xKe

/ h|^YQFŸ tec¾e’xKe

…Q 3 h|^YQFŸ tec¾e’xKe

5 ‚‡ h|^YQFŸ te’x_e

6 `jUYhj\ e

s ‚‡{ +$‚‡ h|^YQFŸ te’x_e

`bUXhb\ !­°

ht^qQŸ tec¾o®°x_e

ht^qQŸ t !­!°A¾o®°x!­!°

`bUXhb\ ®°

ht^qQŸ t !­!°A¾o®°x®t°

`bUXhb\ ®°

‚‡ ht^qQŸ t ®°xt®°

ht^qQŸ t ®°A¾o®°x®°

nIHGJ^YhjŸ 

ht^qQFWXIH`oUŠ¡XI!hop9UX`jRV\jRS¡YI=Qe^Š\j_h|^YTQc_FGdeIHh|`H™PCDRS`{RVQ5\|hjUsrs_Z!IH`P^qQ›RSQsŽQR—\|IQc_FGdeIHh{UY‘£`bacG=d9UYT[`

dF_F\^X`]h|I!G'^qh|ŸYI3rªRVQ{Z

q{mEIbBdiZUYQeZI!h|QFRSQFW'\|DFIrFIŽQFRV\jRSUYQžUq‘ }-7žIH^XZtD›RVQersI˜

ZH^qQ›d9II!QZ!UcrFIHr^X`o\|DFI

\|I!h|G

]

RVQ<^TS^YQFWY_e^qWYIP•RV\jD-\jDFI.UXQFTSa–RVQersI˜

`b_eZtDª^X`(•(^X`rsUYQFIRSQ-\jDFI.pFh|IHZ!IHrsRSQFW'`jIHZ\|RVUXQ™

CDFIHhjIR[`UYQFTSa–UXQFIpFhjI3rsR[Z!^Š\|I.`bacG=d9UYT@ )UY‘ht^qQFŸ ‚e’‡™

CDFI=\jDFIHUYh|a F 34 RS`{I˜spFh|IH`|`jIHrª^Y`P^–ZUXQFWYh|_FIHQZI=rFIŽQFI3r<dca-\jDFh|I!I=`jI\t`]UY‘ihjIH•hjRV\jI=hj_FTSIH`H  7¾aF<^qQrh<{™

7žRS`(\|DFI"Z!^YTSZ!_FTS_`Uq‘I˜spFTSRSZ!R—\]`j_Fd`b\jRV\j_F\jRSUYQ-\jD^q\]ZUXGI3`(‘’hjUXG8}-7 Z q{mEIbBd@¾F„^qh|IP\jDFI.h|_FTSIH`(\|D^Š\oI!˜cphjI3`j`

\|DFIRVQ5\jIHh|^XZ\|RVUXQ„Uq‘\jDFI.`j_Fd`b\jRV\j_s\|RVUXQ-•RV\jD\jDI`jacG=d9UYT[`(Uq‘\|DFIP\jIHhjGT[^qQFWX_^qWXI]•(ID^ ¡YIPrsIŽQIHr-^qQr„ŽQ^YTVTSa

< WXRV¡XIH`¢\jDFI.GJI3^qQFRSQFWJUq‘†\jIHhjG'`Uq‘`bUXhb\ec™

no_FTVI3`Uq‘ 7

ZTSUX` ‚#"! ‡%9$  #"! 9$

Z!TVU5`!§ ‚#"! ‡#9$  #"! 9$

¡s`H~



¡s`tK

!  !

‘’¡XZ

# !  #

‘’¡cTA~

‚! ‡$ 

‘’¡cT[K

‚! ‡* 9$  9$

h|¡XZ

# !  !

h|¡cTA~

‚! ‡$  !

h|¡cT[K

‚! ‡* 9$  ! ‚ 9‡'

^YI ‚! 9‡ (  ! ‚9* ( ‡

GJI ‚#

!

‡* 9  #)9$ I‚

! 9‡

`|Z ‚#& ! ‡  !

`jTA~ ‚! ‡  !

`jT[K ‚ ‚! ‡* 9‡  ! ‚ 9‡

TA~ ‚! ‡* ‚9‡  ‚! 9‡

T[K ‚! ‡*‚ ‚9‡* ( ‡  ‚! 9‡ (

TSI ‚ ! ‡-‚#V9‡  #&c‚! 9‡

RSrFT /21 !  !

RSrFh ! /21  !

TVR[r ‚/21 ‡  /1

R[r #"/21  #

RSr§ #"/21  #

nI!G'^qh|Ÿ `jRVQeZIo^.`j_Fd`b\jRV\j_s\|RVUXQJZH^qQJd9I]^qpFpTVRSIHr\jU\|I!h|G'`”Uq‘`bUXhb\ !­!°”^qQr\jIHhjG'`”UY‘`jUYhj\yeP•¢ID^ ¡XI^YrFrsI3r

^qQFUY\jDFIHho`b_Fde`l\|R—\|_s\jRSUYQ<^qppFTVR[Z!^q\jRSUYQª`bacGdeUXT"tx^qQer–\|DFI"ZUXhjh|IH`jpeUXQrsRSQFW=h|I!•h|RV\jIhj_TVI3`t©ZTSUX`H§F^qQerR[r§x™

:

n_TVI3`Uq‘ F

TaO5 ; `!  TVO ! ; ! `

H=‚O/‡#!  H=‚O ! D‡

Q[‚O/‡#!  Q[‚O ! ‡

TaO R `!  TVO ! *R ‚ ! ‡'`

‚O P ; ‡#!  O-! . P ; !

‚O F ; ‡#!  O-! F ; !

‚ / ‡#!  ! / !

‚ … ‡%!  ! … !

‚ 3 ‡%!  ! 3 !

‚ 5 ‡#!  5 ‚ ! ‡

‚s ‡%!  s ‚ ‚! ‡$‡

‚+ ‡%!  +$‚ ‚! ‡$‡

6 !  6

:

mI\7 9 deI>7;nF

:

n_TVI3`Uq‘a<

f‚ / ‡  f‚ ‡ / f‚ ‡

f‚ … ‡  f‚ ‡$…=ƒ‚ ‡

f‚ 3 ‡  f‚ ‡3=ƒ‚ ‡

f‚5 ‡  5Pf‚ ‡

f‚6 ‡  6

f‚

s ‡ 

s';

f‚ ; /1

‡ •RV\jD

;DbFª«€‚

‡

f‚+ ‡  + ; f‚ ; /1 ‡ •RV\jD ;DbFª«€‚ ‡

CDFI=\|DFI!UXhja !$34 R[`]\|DFI\jDFIHUYh|a F 354 pFTS_`{\jDI‘’UXTVTSUŠ•RSQFW`jI\Uq‘¢^q˜sRVUXGJ`€t’RV\.RS`{\|DFI`|^qGJI^Y`PWYRS¡YIHQ›RVQ\jDFI

pFhjI3ZI3rsRVQWJ`jIHZ\jRSUYQ-x™

s O s'; s= ‚f‚= FDTaO5 ; `p‡ > ‚f‚= PUO/‡$3+f‚ = P ; ‡‡‰‡

s O s<; ‚f‚; FH=‚O/‡‡ > s'= ‚f‚= F ; ‡ / f‚= F O/‡‰‡‡

s O s<; ‚f‚; F Q[‚O/‡‰‡ > + = ‚f‚; F = ‡$…=f‚= FO/‡‰‡‡

s4s<; s'= ‚f‚= FAT ; R `B‡ > ‚ƒ‚= F ; ‡$…=f‚ = /1 ‡‰‡‡

s O s'; ‚‰‚s= ‚ƒ‚= F O/‡ > f‚= F ; ‡‡‡ / f‚O P ; ‡‰‡

s OWf‚O PkO/‡

s4s O s<; ‚f‚O P ; ‡/Ž‚f‚ O /21 ‡ /(ƒ‚ ; /21 ‡‰‡‡