=Paper=
{{Paper
|id=Vol-3280/paper3
|storemode=property
|title=Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude
|pdfUrl=https://ceur-ws.org/Vol-3280/paper3.pdf
|volume=Vol-3280
|authors=Víctor García,Santiago Escobar,Kazuhiro Ogata
|dblpUrl=https://dblp.org/rec/conf/icfem/Garcia0022
}}
==Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude==
.PEFMJOH BOE WFSJGJDBUJPO PG UIF QPTURVBOUVN LFZ FODBQTVMBUJPO NFDIBOJTN ,:#&3 VTJOH .BVEF 7DUPS (BSDB ࠒ 4BOUJBHP &TDPCBS BOE ,B[VIJSP 0HBUB 6OJWFSTJUBU 1PMJU¨DOJDB EF 7BM¨ODJB 617 $BN EF 7FSB TO 7BM¨ODJB 7BMFODJB 4QBJO +BQBO "EWBODFE *OTUJUVUF PG 4DJFODF BOE 5FDIOPMPHZ +"*45 *TIJLBXB ڶ+BQBO "CTUSBDU $PNNVOJDBUJPO BOE JOGPSNBUJPO UFDIOPMPHJFT TIBQF UIF XPSME۟T TZTUFNT PG UPEBZ BOE UIPTF TZTUFNT TIBQF PVS TPDJFUZ 5IF TFDVSJUZ PG UIPTF TZTUFNT SFMJFT PO NBUIFNBUJDBM QSPCMFNT IBSE UP TPMWF GPS DMBTTJDBM DPNQVUFST UIBU JT UIF BWBJMBCMF DVSSFOU DPNQVUFST 3FDFOU BEWBODFT JO RVBOUVN DPNQVUJOH UISFBUFO UIF TFDVSJUZ PG PVS TZTUFNT BOE UIF DPNNVOJDBUJPOT XF VTF *O PSEFS UP GBDF UIJT UISFBU NVMUJQMF TPMVUJPOT BOE QSPUPDPMT IBWF CFFO QSPQPTFE ,ZCFS JT POF PG UIFTF QSPUPDPMT BOE QSFDJTFMZ JU JT B LFZ FODBQTVMBUJPO NFDIBOJTN UIBU CBTFT JUT TFDVSJUZ JO UIF MFBSOJOH XJUI FSSPST QSPCMFN PWFS NPEVMF MBUUJDFT 5IF QSFTFOUFE XPSL GPDVTFT PO UIF BOBMZTJT PG ,ZCFS UP DIFDL JUT TFDVSJUZ VOEFS %PMFW:BP BEWFSTBSZ BTTVNQUJPOT 'PS UIBU NBUUFS XF शSTU MFBSO BCPVU UIF DVSSFOU TUBUF PG UIF TPMVUJPOT QSPQPTFE BHBJOTU UIF UISFBU PG RVBOUVN BEWFSTBSJFT BOE TUVEZ IPX ,ZCFS XPSLT *O UIF TZTUFNTQFDJशDBUJPO MBOHVBHF .BVEF XF UIFO DPOTUSVDU B TZNCPMJD NPEFM UP SFQSFTFOU UIF CFIBWJPVS PG ,ZCFS JO B OFUXPSL *O UIJT NPEFM XF DPOEVDU SFBDIBCJMJUZ BOBMZTJT XJUI UIF TFBSDI DPNNBOE BOE शOE UIBU B .BO*O5IF.JEEMF BUUBDL JT QSFTFOU 5IFO XF VTF UIF .BVEF -5- MPHJDBM NPEFM DIFDLFS UP FYUFOE UIF BOBMZTJT PG UIF TZTUFN CZ QSPWJOH JG MJWFOFTT BOE TFDVSJUZ QSPQFSUJFT IPME ,FZXPSET .BVEF SFXSJUJOH MPHJD GPSNBM WFSJशDBUJPO QPTURVBOUVN QSPUPDPMT LFZ FODBQTVMBUJPO NFDIBOJTNT *OUSPEVDUJPO 5PEBZ۟T TFDVSJUZ JT IFBWJMZ CBTFE PO DPNQMFY QSPCMFNT .PTU PG UIF DVSSFOU OFUXPSL JOGSBTUSVD UVSF BOE TZTUFNT XPSL PWFS DMBTTJDBM DPNQVUFST 4QFDJशDBMMZ NPTU PG UIFTF QSPUPDPMT SFMZ PO UISFF QSPCMFNT DPOTJEFSFE IBSE UP TPMWF VOEFS DMBTTJD DPNQVUBUJPO UIF JOUFHFS GBDUPSJ[BUJPO QSPCMFN UIF EJTDSFUF MPHBSJUIN QSPCMFN BOE UIF FMMJQUJDDVSWF EJTDSFUF MPHBSJUIN QSPCMFN 4VDI QSPCMFNT BSF DPOTJEFSFE UP CF JO DBUFHPSZ /1 XIJDI TUBOET GPS OPOQPMZOPNJBM UJNF GPS DMBTTJD DPNQVUFST 3FTFBSDI JO UIF RVBOUVN शFME IBT CFFO BDUJWF JO UIF QBTU ZFBST QSPQPTJOH OFX BMHPSJUINT BOE NFUIPET UIBU DPVME FOEBOHFS UIF TFDVSJUZ PG DVSSFOU DSZQUPTZTUFNT BOE DSZQUPHSBQIZ QSPUPDPMT "T TUBUFE CFGPSF UIF QSPUPDPMT PG UPEBZ BSF CBTFE PO NBUIFNBUJDBM QSPCMFNT IBSE UP TPMWF GPS DMBTTJDBM DPNQVUFST CVU TVDI QSPCMFNT CFDPNF TPMWBCMF XJUI RVBOUVN DPNQVUFST 4PNF PG UIF '"712$ *OUFSOBUJPOBM 8PSLTIPQ PO 'PSNBM "OBMZTJT BOE 7FSJࡇDBUJPO PG 1PTU2VBOUVN $SZQUPHSBQIJD 1SPUPDPMT 0DUPCFS .BESJE 4QBJO ࠒ $PSSFTQPOEJOH BVUIPS £ WJDHBSW!VQWFT 7 (BSDB TFTDPCBS!VQWFT 4 &TDPCBS PHBUB!KBJTUBDKQ , 0HBUB Å IUUQQFSTPOBMFTVQWFTTBOFTSP 4 &TDPCBS IUUQXXXKBJTUBDKQ_PHBUB , 0HBUB DZ 7 (BSDB 4 &TDPCBS , 0HBUB i $PQZSJHIU GPS UIJT QBQFS CZ JUT BVUIPST 6TF QFSNJUUFE VOEFS $SFBUJWF $PNNPOT -JDFOTF "UUSJCVUJPO *OUFSOBUJPOBM $$ #: CEUR Workshop Proceedings http://ceur-ws.org ISSN 1613-0073 $&63 8PSLTIPQ 1SPDFFEJOHT $&6384PSH 32 NPTU QPQVMBS BTZNNFUSJD PS QVCMJD LFZ BMHPSJUINT XIJDI SFMZ PO JOUFHFS GBDUPSJ[BUJPO XJMM CFDPNF JOTFDVSF VOEFS RVBOUVN DPNQVUFST VTJOH 4IPS۟T BMHPSJUIN <> "OPUIFS FYBNQMF JT (SPWFS۟T TFBSDI BMHPSJUIN <> GPS VOTUSVDUVSFE EBUBCBTFT XIJDI JO QSJODJQMF POF DPVME BTL XIBU JU IBT UP EP XJUI DSZQUPHSBQIZ *U IBT CFFO TIPXO JO UIBU TBNF QBQFS UIBU UIJT BMHPSJUIN NBLFT JU QPTTJCMF UP SFEVDF UIF DPNQMFYJUZ PG UIF JOUFHFS GBDUPSJ[BUJPO QSPCMFN UP B RVBESBUJD DPTU *O PSEFS UP GBDF UIF UISFBU UIBU RVBOUVN DPNQVUFST TVQQPTF UP UIF TFDVSJUZ PG NPTU JOGPSNBUJPO TZTUFNT UIF /BUJPOBM *OTUJUVUF GPS 4UBOEBSET BOE 5FDIOPMPHJFT /*45 TUBSUFE JO UIF 1PTU 2VBOUVN $SZQUPHSBQIZ 1SPKFDU 12$ 5IF QSPKFDU JT DPOEVDUFE BT B DPNQFUJUJPO EJWJEFE JOUP NVMUJQMF SPVOET UP BOBMZ[F DBOEJEBUF QSPUPDPMT UP CF VTFE JO B TUBOEBSE BT B TPMVUJPO BHBJOTU RVBOUVN BEWFSTBSJFT 5IFSF IBWF CFFO GPVS SPVOET PG UIF QSPKFDU BOE UIF DBOEJEBUFT WBSZ GSPN QVCMJDLFZ FODSZQUJPO BOE LFZFTUBCMJTINFOU BMHPSJUINT UP EJHJUBM TJHOBUVSF BMHPSJUINT 'PS UIJT XPSL XF TFMFDUFE SPVOE XIJDI XBT शOBMJ[FE JO 3PVOE BOOPVODFE PO UIF UI PG +VMZ PG NBSLT UIF OFBS FOE PG UIF QSPKFDU 5IJT QBQFS GPDVTFT PO QVCMJDLFZ FODSZQUJPO BOE LFZFTUBCMJTINFOU BMHPSJUINT CFDBVTF TPNF BUUBDLT IBWF CFFO GPVOE TVDI BT .BO*O5IF.JEEMF PS .FFU*O5IF.JEEMF .*5. BUUBDLT 5IF QSPUPDPM XF TFMFDUFE UP XPSL XJUI JT ,ZCFS NPSF TQFDJशDBMMZ $3:45"-4,ZCFS GSPN UIF TVJUF PG QSPUPDPMT EFOPUFE BT $3:45"-4 TUBOEJOH GPS $SZQUPHSBQIJD 4VJUF GPS "MHFCSBJD -BUUJDFT ,ZCFS JT B ,FZ &ODBQTVMBUJPO .FDIBOJTN ,&. BOE CBTFT JUT TFDVSJUZ PO UIF IBSEOFTT PG TPMWJOH UIF -FBSOJOH 8JUI &SSPST QSPCMFN PWFS NPEVMF MBUUJDFT 5IFTF ,&.T۟ QSJNBSZ HPBM JT UP TFDVSFMZ TIBSF B HJWFO LFZ CFUXFFO UXP OFUXPSL QBSUJDJQBOUT XIFSF DIBOOFMT BSF OPU TBGF GSPN JOUSVEFST 4VDI B HPBM JT JOUFSFTUJOH GPS DPOWFOUJPOBM DSZQUPHSBQIZ BMTP LOPXO BT 4ZNNFUSJD $SZQUPTZTUFN XIJDI VTFT B TFDSFU LFZ UP FODSZQU B NFTTBHF 8F EFFQMZ FYQMBJO ,ZCFS JO 4FDUJPO /PX UIBU XF IBWF UIF QSPCMFN PG RVBOUVN DPNQVUFST BOE B QPTTJCMF TPMVUJPO QSPWJEFE CZ /*45 XF OFFE UP FTUBCMJTI IPX UP BOBMZ[F BOE SFBTPO BCPVU UIF QSPUPDPM 'PS UIF BOBMZTJT PG TFDVSJUZ TZTUFNT BOE QSPUPDPMT UXP LJOET PG BQQSPBDIFT DBO CF UBLFO DPNQVUBUJPOBM TFDVSJUZ BOE TZNCPMJD TFDVSJUZ 5IF GPSNFS JT CBTFE PO NBUIFNBUJDBM QSPPGT PWFS B DPNQVUBUJPOBM NPEFM XIFSF NFTTBHFT BSF CJU TUSJOHT BOE UIF BEWFSTBSZ JT BOZ QSPCBCJMJTUJD 5VSJOH NBDIJOF $SZQUPHSBQIFST HFOFSBMMZ VTF DPNQVUBUJPOBM TFDVSJUZ BOE UIF BVUIPST PG ,ZCFS IBWF BMSFBEZ DPWFSFE UIJT BQQSPBDI 5IF MBUUFS JT CBTFE PO UIF VTF PG TZNCPMT XIFSF UIF DSZQUPHSBQIZ QSJNJUJWFT BSF GVODUJPO TZNCPMT BDUJOH BT CMBDL CPYFT *U JT JNQPSUBOU UP OPUF UIBU UIFTF NPEFMT BTTVNF QFSGFDU DSZQUPHSBQIZ JF DJQIFSUFYUT DBOOPU CF CSPLFO XJUIPVU UIF QSPQFS LFZ "MUIPVHI UIF DPNQVUBUJPOBM NPEFM JT DMPTFS UP SFBMJUZ JU DPNQMJDBUFT UIF QSPPGT BOE JT IBSE UP VOEFSTUBOE GPS OPOFYQFSUT PG DSZQUPHSBQIZ 0O UIF PUIFS IBOE TZNCPMJD NPEFMT BSF TVJUBCMF GPS BVUPNBUJPO BOE FBTJFS UP VOEFSTUBOE TP JO UIJT QBQFS PVS FYQFSJNFOUT CFMPOH UP UIF MBUUFS *U JT FTTFOUJBM UP NFOUJPO UIBU UIJT BQQSPBDI OPU POMZ DBO CF BQQMJFE UP UIF TFMFDUFE QSPUPDPM CVU BMTP BOZ PUIFS TDIFNF PS NFDIBOJTN PO SPVOET PS PG UIF 1PTU2VBOUVN $SZQUPHSBQIZ QSPKFDU 3FMBUFE XPSL $VSSFOU BEWBODFT JO UIF TFDVSJUZ PG QSPUPDPM BOBMZTJT IBWF CFFO NBEF 0OF JOUFSFTUJOH JEFB JT UIF POF QSPQPTFE BU <> XIFSF UIF BVUIPS FYQMBJOT TFWFSBM FYBNQMFT BCPVU UIF GPSNBM TQFDJशDBUJPO PG QSPUPDPMT BOE JOUSPEVDFT BOE FYQMBJOT UIF TZNCPMJD BOE DPNQVUBUJPOBM NPEFM BOBMZTJT *O <> UIF BVUIPST FYQMPSF UIF DVSSFOU MJUFSBUVSF BOE QBQFST PO CPUI TZNCPMJD BOE DPNQVUBUJPOBM BOBMZTJT PG QSPUPDPMT *O UIJT TVSWFZ UIFZ BOBMZ[F UIF SFTVMUT CZ DPNCJOJOH CPUI UZQFT PG BOBMZTJT 5IJT QSPQPTBM XBT NBEF JOJUJBMMZ CZ <> JO PSEFS UP DMPTF UIF HBQ 33 CFUXFFO CPUI MJOFT PG QSPUPDPM WFSJशDBUJPO 0OF DBO BMTP शOE TQFDJशD QBQFST <><> BQQMZJOH TZNCPMJD DPNQVUBUJPOBM PS CPUI BOBMZTFT PWFS DSZQUPHSBQIZ QSPUPDPMT *O UIF GPSNFS UIF BVUIPST BQQMZ TZNCPMJD BOBMZTJT TQFDJशDBMMZ "VUPNBUFE 5IFPSFN 1SPWJOH "51 UP WFSJGZ UIF *,&W IBOETIBLF QSPUPDPM GSPN UIF TVJUF *1TFD शOEJOH TFDVSJUZ HBQT *O UIF MBUUFS UIF BVUIPST QSFTFOU B WBSJBOU PG B IBOETIBLF QSPUPDPM GSPN UIF 8JSF(VBSE 71/ QSPUPDPM XJUI QPTURVBOUVN DBQBCJMJUJFT 5IFZ QFSGPSN TVDI BEBQUBUJPO CZ SFQMBDJOH UIF QSFWJPVT %JसF)FMMNBOCBTFE IBOETIBLF XJUI LFZFODBQTVMBUJPO NFDIBOJTNT ,&.T 5IF BVUIPST WFSJGZ UIFJS QSPQPTBM۟T TFDVSJUZ XJUI TZNCPMJD BOE DPNQVUBUJPOBM QSPPGT 0O UIF POF IBOE UIF TZNCPMJD QSPPGT DBO WFSJGZ NPSF TFDVSJUZ QSPQFSUJFT UIBO UIF DPNQVUBUJPOBM QSPPGT BOE BSF DPNQVUFS WFSJशFE 0O UIF PUIFS IBOE UIF DPNQVUBUJPOBM QSPPGT HJWF TUSPOHFS TFDVSJUZ HVBSBOUFFT BT UIF QSPPG NBLFT MFTT JEFBMJ[JOH BTTVNQUJPOT "NPOH UIF WBSJPVT QSPUPDPM BOBMZTJT UPPMT BWBJMBCMF XF IBWF .BVEF/1" <> SFMBUFE UP UIF QSPHSBNNJOH MBOHVBHF .BVEF <> .BVEF/1" IBT B UIFPSFUJDBM CBTJT PO SFXSJUJOH MPHJD VOJशDBUJPO BOE OBSSPXJOH BOE QFSGPSNT B CBDLXBSET TFBSDI GSPN B शOBM BUUBDL TUBUF UP EFUFSNJOF XIFUIFS PS OPU JU JT SFBDIBCMF GSPN BO JOJUJBM TUBUF 0UIFS UPPMT TVDI BT 1SP7FSJG <> BSF CBTFE PO BO BCTUSBDU SFQSFTFOUBUJPO PG B QSPUPDPM VTJOH )PSO DMBVTFT 5IF WFSJशDBUJPO PG TFDVSJUZ QSPQFSUJFT JT EPOF CZ SFBTPOJOH PO UIFTF SFQSFTFOUBUJWF DMBVTFT 0UIFS UPPMT TVDI BT 5BNBSJO <> BSF CBTFE PO DPOTUSBJOU TPMWJOH UP QFSGPSN BO FYIBVTUJWF TZNCPMJD TFBSDI GPS FYFDVUJPOT USBDFT 'VSUIFSNPSF PUIFS UPPMT TVDI BT 4DZUIFS <> PS $14" <> BUUFNQU UP FOVNFSBUF BMM UIF FTTFOUJBM QBSUT PG UIF EJवFSFOU QPTTJCMF FYFDVUJPOT PG B QSPUPDPM "MTP UIF %&&14&$ QSPWFS <> JT BOPUIFS UPPM XIJDI JT NPTUMZ VTFE UP EFDJEF FRVJWBMFODF QSPQFSUJFT 'JOBMMZ <><> BSF शSTU TZNCPMJD TFDVSJUZ BOBMZTFT PG B DPMMFDUJPO PG QPTURVBOUVN QSPUPDPMT BNPOH XIJDI ,ZCFS JT GPVOE " NBOJOUIFNJEEMF .*5. BUUBDL JT GPVOE GPS FBDI PG UIPTF QSPUPDPMT XJUI UIF TFBSDI BOBMZTJT VTJOH .BVEF 5IJT QBQFS BJNT UP QSPWJEF B IJHIFS MFWFM PS NPSF BCTUSBDU NPEFM BOE TZNCPMJD BOBMZTJT PG ,ZCFS UIBO <> " NPSF BCTUSBDU NPEFM JT OFFEFE UP CFUUFS VOEFSTUBOE BOE SFBTPO PO ,&.T GPS OPOFYQFSUT PG DSZQUPHSBQIZ 0VS TZNCPMJD BOBMZTJT BMTP BJNT UP EFNPOTUSBUF UIBU B .*5. BUUBDL JT QSFTFOU BOE QSPWF UIBU PVS NPEFM DPOTJEFST BMM QSPUPDPM۟T QPTTJCMF CFIBWJPVST *O <> UIF TBNF BVUIPST IBWF VTFE UIF NFUIPEPMPHZ GSPN <> GPS UIF ,&. LOPXO BT 4"#&3 B DMPTF SFMBUJWF PG ,ZCFS *U NBZ CF JOUFSFTUJOH UP BQQMZ PVS OFX NFUIPEPMPHZ QSPQPTFE JO UIJT QBQFS UP PUIFS ,&.T MJLF 4"#&3 3PBENBQ 5IF SFTU PG UIF QBQFS JT TUSVDUVSFE BT GPMMPXT 4FDU JOUSPEVDFT UIF %PMFW:BP BEWFSTBSZ NPEFM BOE B HFOUMF QSFTFOUBUJPO PG XIBU .BVEF JT 4FDU FYQMBJOT UIF CFIBWJPVS BOE TFDVSJUZ QSJODJQMFT PG ,ZCFS 4FDU EFTDSJCFT UIF DPSF NPEVMFT GPS UIF DPOTUSVDUJPO PG PVS TZNCPMJD NPEFM PG UIF QSPUPDPM 4FDU EJWFT JOUP UIF UXP BQQSPBDIFT DBSSJFE PO PWFS UIF TZNCPMJD NPEFM 'JOBMMZ 4FDU TVNNBSJ[FT UIF QBQFS 1SFMJNJOBSJFT %PMFW:BP BEWFSTBSZ NPEFM 5IF %PMFW:BP BEWFSTBSZ NPEFM XBT शSTU JOUSPEVDFE JO <> *O UIJT QBQFS UIF BVUIPST FYQMBJOFE UIBU QVCMJDLFZ TDIFNFT BSF TFDVSF BHBJOTU BEWFSTBSJFT UIBU DBOOPU NPEJGZ UIF FOWJSPONFOU XIJDI JT VOSFBMJTUJD 5IBU JT XIZ UIFZ QSFTFOUFE EJवFSFOU FYBNQMFT PG QSPUPDPMT XIPTF TFDVSJUZ QSPQFSUJFT DPVME CF DPNQSPNJTFE JG BO JOUSVEFS DBO UBLF BDUJPO PWFS UIF NFTTBHFT PG B OFUXPSL 34 "O JOUSVEFS DBO CF FJUIFS QBTTJWF PS BDUJWF PWFS B OFUXPSL XIFSF PUIFS QBSUJDJQBOUT TFOE BOE SFDFJWF NFTTBHFT EVSJOH GPS FYBNQMF B IBOETIBLF QSPUPDPM PS B LFZ FYDIBOHF TDIFNF 5IF GPSNFS JOUSVEFS DBO POMZ SFBE UIF NFTTBHF BOE FYUSBDU SBX DPOUFOU GSPN JU NFBOJOH UIFZ DBOOPU EFSJWF BOZ JOGPSNBUJPO GSPN NFTTBHFT XJUIPVU UIF QSPQFS QSJWBUF LFZ 5IF MBUUFS UZQF PG JOUSVEFS DBOOPU POMZ SFBE NFTTBHFT CVU BMTP NPEJGZ UIFN BOE TFOE UIFN UISPVHI UIF OFUXPSL *U JT FTTFOUJBM UP DMBSJGZ UIBU UIF JOUSVEFS JT DPOTJEFSFE B QPMZOPNJBMUJNF 5VSJOH NBDIJOF *O UIJT TFNJOBM XPSL UIF BVUIPST QSPQPTFE UIF %PMFW:BP JOUSVEFS NPEFM 5IJT NPEFM TUBUFT UIF DBQBCJMJUJFT BO JOUSVEFS IBT PWFS B OFUXPSL 4VDI DBQBCJMJUJFT BSF ۨ *OUSVEFS DBO PCUBJO BOZ NFTTBHF UIBU JT QBTTJOH UISPVHI UIF OFUXPSL ۨ )F JT B MFHJUJNBUF VTFS PG UIF OFUXPSL 5IBU JT IF DBO EP BOZ BDUJPOT B IPOFTU QBSUJDJQBOU DBO ۨ 5IF JOUSVEFS IBT UIF PQQPSUVOJUZ UP CF B SFDFJWFS UP BOZ QBSUJDJQBOU 5IBU JT IF DBO SFDFJWF NFTTBHFT GSPN PUIFS QBSUJDJQBOUT *U NVTU CF OPUFE UIBU UIF OFUXPSL QBSUJDJQBOUT UIF JOUSVEFS JODMVEFE NVTU DPNQMZ XJUI UIF GPMMPXJOH BTTVNQUJPOT ۨ 0OFXBZ GVODUJPOT BSF VOCSFBLBCMF *O PUIFS XPSET UIF CBTJD QSJNJUJWFT PG UIF QSPUPDPM BSF DPOTJEFSFE UP CF OPOSFWFSTJCMF ۨ 5IF EFशOJUJPO PG UIF QSPUPDPM DBOOPU CF DIBOHFE BOE NVTU CF GPMMPXFE CZ BOZ QBSUJDJQBOU " VTFS DBOOPU EP VOEFशOFE TUFQT EVSJOH UIF QSPUPDPM FYFDVUJPO ۨ 1VCMJD LFZT DBO CF VTFE GPS FODSZQUJPO CZ FWFSZPOF ۨ 1SJWBUF LFZT DBO CF VTFE GPS EFDSZQUJPO PG NFTTBHFT FODSZQUFE CZ UIF DPSSFTQPOEJOH QVCMJD LFZ .BVEF .BVEF <> JT CBTFE PO SFXSJUJOH MPHJD <> B MPHJD JEFBMMZ TVJUFE UP TQFDJGZ BOE FYFDVUF DPNQV UBUJPOBM TZTUFNT JO B TJNQMF BOE OBUVSBM XBZ 4JODF OPXBEBZT NPTU DPNQVUBUJPOBM TZTUFNT BSF DPODVSSFOU SFXSJUJOH MPHJD JT QBSUJDVMBSMZ XFMM TVJUFE UP TQFDJGZ DPODVSSFOU TZTUFNT XJUIPVU NBLJOH BOZ B QSJPSJ DPNNJUNFOUT BCPVU UIF NPEFM PG DPODVSSFODZ JO RVFTUJPO XIJDI DBO CF TZODISPOPVT PS BTZODISPOPVT BOE DBO WBSZ XJEFMZ JO JUT TIBQF BOE OBUVSF GSPN B 1FUSJ OFU <> UP B QSPDFTT DBMDVMVT <> GSPN BO PCKFDUCBTFE TZTUFN <> UP BTZODISPOPVT IBSEXBSF <> GSPN B NPCJMF BE IPD OFUXPSL QSPUPDPM <> UP B DMPVECBTFE TUPSBHF TZTUFN <> GSPN B XFC CSPXTFS <> UP B QSPHSBNNJOH MBOHVBHF XJUI UISFBET <> PS GSPN B EJTUSJCVUFE DPOUSPM TZTUFN <> UP B NPEFM PG NBNNBMJBO DFMM QBUIXBZT < > "OE BMM XJUIPVU BOZ FODPEJOH :PV TFF BOE HFU B EJSFDU TZTUFN EFशOJUJPO XJUIPVU BOZ BSUJशDJBM FODPEJOH .BVEF JT CBTFE PO SFXSJUJOH MPHJD BOE SFXSJUJOH MPHJD IBT B TVCMPHJD DBMMFE NFNCFSTIJQ FRVBUJPOBM MPHJD 5IJT TVCMPHJD EFशOFT B TZTUFN۟T EFUFSNJOJTUJD QBSUT VTJOH GVODUJPOBM NPEVMFT *O DPOUSBTU .BVEF TZTUFN NPEVMFT SFQSFTFOU DPODVSSFOU TZTUFNT BT DPOEJUJPOBM SFXSJUF UIFPSJFT UIBU NPEFM B OPOEFUFSNJOJTUJD TZTUFN XIJDI NBZ OFWFS UFSNJOBUF BOE XIFSF UIF OPUJPO PG B DPNQVUFE WBMVF NBZ CF NFBOJOHMFTT *O UIJT DPODVSSFOU TZTUFN UIF NFNCFSTIJQ FRVBUJPOBM TVCUIFPSZ EFशOFT UIF TUBUFT PG TVDI B TZTUFN BT UIF FMFNFOUT PG BO BMHFCSBJD EBUB UZQF TVDI BT 35 UFSNT JO BO FRVJWBMFODF DMBTT BTTPDJBUFE XJUI DSZQUPHSBQIZ QSPQFSUJFT 8F DBO DBMM UIJT BTQFDU UIF TUBUJD QBSU PG UIF TQFDJशDBUJPO *OTUFBE JUT EZOBNJDT JF IPX TUBUFT FWPMWF BSF EFTDSJCFE CZ UIF USBOTJUJPO SVMFT XIJDI TQFDJGZ UIF QPTTJCMF MPDBM DPODVSSFOU USBOTJUJPOT PG UIF TZTUFN UIVT TQFDJशFE 5IF TZTUFN۟T DPODVSSFODZ JT OBUVSBMMZ NPEFMFE CZ UIF GBDU UIBU TFWFSBM USBOTJUJPO SVMFT JO B HJWFO TUBUF NBZ CF BQQMJFE DPODVSSFOUMZ UP EJवFSFOU TVCQBSUT QSPEVDJOH TFWFSBM DPODVSSFOU MPDBM TUBUF DIBOHFT 5IVT SFXSJUJOH MPHJD NPEFMT UIPTF DPODVSSFOU USBOTJUJPOT BT MPHJDBM EFEVDUJPOT <> 5IF NPTU CBTJD GPSN PG TZTUFN BOBMZTJT JO UIF GPSN PG FYQMJDJUTUBUF NPEFM DIFDLJOH JT JMMVTUSBUFE CZ UIF VTF PG UIF TFBSDI DPNNBOE JO .BVEF UIBU QFSGPSNT SFBDIBCJMJUZ BOBMZTJT GSPN BO JOJUJBM TUBUF UP B UBSHFU TUBUF 3FBDIBCJMJUZ DBO CF VTFE UP WFSJGZ JOWBSJBOUT PS शOE WJPMBUJPOT PG JOWBSJBOUT JO UIF GPMMPXJOH TFOTF 8F DBO TFBSDI GPS B WJPMBUJPO PG BO JOWBSJBOU *G UIF JOWBSJBOU GBJMT UP IPME JU XJMM EP TP GPS TPNF शOJUF TFRVFODF PG USBOTJUJPOT GSPN UIF JOJUJBM TUBUF XIJDI XJMM CF VODPWFSFE CZ UIF TFBSDI DPNNBOE BCPWF TJODF BMM SFBDIBCMF TUBUFT BSF FYQMPSFE JO B CSFBEUIशSTU NBOOFS *G UIF JOWBSJBOU EPFT IPME XF NBZ CF MVDLZ BOE IBWF B शOJUF TUBUF TZTUFN JO XIJDI DBTF UIF TFBSDI DPNNBOE XJMM SFQPSU GBJMVSF UP शOE B WJPMBUJPO PG UIF JOWBSJBOU )PXFWFS JG UIFSF JT BO JOशOJUF OVNCFS PG TUBUFT SFBDIBCMF GSPN UIF JOJUJBM TUBUF UIF TFBSDI XJMM OFWFS UFSNJOBUF 6OEFS UIF BTTVNQUJPO UIBU UIF TFU PG TUBUFT SFBDIBCMF GSPN BO JOJUJBM TUBUF JT शOJUF .BVEF BMTP TVQQPSUT FYQMJDJUTUBUF NPEFM DIFDLJOH WFSJशDBUJPO PG BOZ QSPQFSUJFT JO MJOFBSUJNF UFNQPSBM MPHJD -5- UISPVHI JUT -5- NPEFM DIFDLFS ,FZ &ODBQTVMBUJPO .FDIBOJTN ,:#&3 #FIBWJPVS *O PSEFS UP FYQMBJO UIF CFIBWJPVS PG ,ZCFS XF TIPVME MPPL BU 'JH 1BSUJDJQBOUT PG UIF QSPUPDPM XJMM CF "MJDF BOE #PC GPS MJUFSBUVSF SFBTPOT 5IF QSPUPDPM JT JOJUJBUFE XIFO B QBSUJDJQBOU JE FTU "MJDF QFSGPSNT UIF ,FZ(FO TUFQ ,FZ(FO JT B GVODUJPO XIJDI IBT OP QBSBNFUFST BOE XJMM QSPWJEF B QBJS PG LFZT 1, 4, 5IF GPSNFS LFZ 1, JT UIF QVCMJD LFZ BOE DBO CF LOPXO CZ FWFSZ PUIFS OFUXPSL QBSUJDJQBOU 5IF MBUUFS 4, JT B TFDSFU LFZ POMZ LOPXO BOE BDDFTTJCMF CZ UIF VTFS UIBU HFOFSBUFE JU JO UIJT DBTF "MJDF 0ODF "MJDF IBT CPUI LFZT JO IJT QPTTFTTJPO TIF XJMM TFOE B NFTTBHF UP BOPUIFS QBSUJDJQBOU #PC XJUI IFS QVCMJD LFZ 0ODF #PC SFDFJWFT "MJDF۟T QVCMJD LFZ IF QFSGPSNT &OD XIJDI TUBOET GPS &ODSZQU VTJOH UIF SFDFJWFE QVCMJD LFZ 'VODUJPO &OD QSPEVDFT B QBJS $ , XIFSF $ JT B DJQIFSFE UFYU DPOUBJOJOH UIF TFDPOE FMFNFOU PG UIF QBJS , XIJDI JT UIF GVUVSF TIBSFE LFZ CFUXFFO UIF UXP QBSUJDJQBOUT 0ODF #PC IBT JO IJT TUPSBHF UIF LFZ BOE UIF DJQIFSFE UFYU IF TFOET UIF MBUUFS JO B OFX NFTTBHF CBDL UP "MJDF XIP TUBSUFE UIF QSPUPDPM BOE GSPN XIPN IF VTFE UIF QVCMJD LFZ "MJDF UIFO SFDFJWFT UIF DJQIFSFE UFYU $ GSPN #PC BOE VTFT IJT TFDSFU LFZ 4, UP QFSGPSN %FD GVODUJPO PWFS $ %FD PVUQVUT JEFBMMZ UIF PSJHJOBM TIBSFE LFZ HFOFSBUFE CZ #PC UIBU JT DPOUBJOFE JO $ *O UIF MBTU TUFQ CPUI QBSUJDJQBOUT TFDVSFMZ TIBSFE B LFZ , CFUXFFO UIFN "T XF IBWF TFFO UIF OFUXPSL JT FMFNFOUBSZ BOE QBSUJDJQBOU JOUFSBDUJPO JT NJOJNBM /P DPOशSNBUJPO NFTTBHFT PS BOZ QSJPS FTUBCMJTINFOU UP LOPX XIFSF UIF QBSUJDJQBOUT BSF JO UIF OFUXPSL JT QFSGPSNFE 4VDI EJTDPWFSZ BOE TFUVQ XPSL BSF BTTVNFE UP IBWF CFFO EPOF QSFWJPVTMZ 36 'JHVSF )JHI MFWFM WJFX PG UIF CFIBWJPVS PG ,ZCFS CFUXFFO UXP IPOFTU QBSUJDJQBOUT JE FTU "MJDF BOE #PC 'JOBMMZ BCPVU UIF VTFE DSZQUPHSBQIZ QSJNJUJWFT PG ,FZ(FO &OD BOE %FD XF NVTU SFNBSL UIBU UIFSF BSF UXP WFSTJPOT GPS FBDI PG UIFN BT XF XJMM TFF JO UIF OFYU TFDUJPO 3FDBMM UIBU UIFTF GVODUJPOT BSF USFBUFE BT CMBDL CPYFT 4FDVSJUZ GVOEBNFOUBMT -FU VT OPX TFF XIZ UIFTF QSJNJUJWFT XIJDI XF IBWF TFFO BU B IJHI MFWFM GPS LFZ HFOFSBUJPO FODSZQUJPO BOE EFDSZQUJPO BSF SFTJTUBOU UP UIF DPNQVUBUJPOBM DBQBDJUZ PG B RVBOUVN BEWFSTBSZ ,ZCFS JT BO */%$$"TFDVSF LFZ FODBQTVMBUJPO NFDIBOJTN ,&. XIPTF TFDVSJUZ JT CBTFE PO UIF IBSEOFTT PG TPMWJOH UIF MFBSOJOHXJUIFSSPST -8& QSPCMFN PWFS NPEVMF MBUUJDFT ,ZCFS XPSLT XJUI WFDUPST BOE NBUSJDFT PG QPMZOPNJBMT XJUI WBSJPVT PQFSBUJPOT TVDI BT DPODBUFOBUJPO USBOTQPTJUJPO QSPEVDU PS PUIFS NPSF DPNQMFY POFT TVDI BT IBTI BOE LFZ EFSJWBUJPO GVODUJPOT 5IFTF PQFSBUJPOT DBO CF TFFO JO 'JH BOE BSF QSFTFOU JO UIF UISFF NBJO GVODUJPOT )FSF JO 'JH JU TIPVME CF OPUFE UIBU JO ,:#&3%FD D TL XIFO UIF TVCGVODUJPO $1"1,&%FD D T PDDVST UIF DPNQVUFE UFYU N ڼDPVME OPU CF UIF TBNF BT UIF POF HFOFSBUFE CZ UIF PUIFS QBSUJDJQBOU JO ,&.&OD QL XJUI TVCGVODUJPO $1"1,&&OD QL N S 5IJT EJवFSFOU NFTTBHF N ڼJT B WBMVF DMPTF UP N HJWFO UIF QSPQFSUZ JT4NBMM Q PWFS B QPMZOPNJBM Q 8F TBZ UIBU B QPMZOPNJBM Q JT TNBMM XIFO JUT EFHSFF JT MFTTFS UIBO B HJWFO OVNCFS FTUBCMJTIFE CZ UIF QSPUPDPM 5IF DMPTF WBMVF N ڼJT UIFO VTFE UP DPNQVUF B OFX WBMVF CVU BMTP DMPTF D ڼXIJDI JT DPNQBSFE UP UIF SFDFJWFE D JO B NFTTBHF %FQFOEJOH PO UIFJS FRVBMJUZ UIF DPOTUSVDUJPO PG UIF TIBSFE LFZ XJMM CF EJवFSFOU XJUI UIF LFZ EFSJWBUJPO GVODUJPO ,%' 5IJT EJवFSFOUJBUJPO PG WBMVFT BSJTF XJUI MPX QSPCBCJMJUZ CVU JU TUBUFT UIBU FODSZQUJPO BOE EFDSZQUJPO QIBTFT BSF OPU FSSPSQSPOF 37 'JHVSF "MHPSJUINT PG ,ZCFS ,FZ &ODBQTVMBUJPO .FDIBOJTN CPSSPXFE GSPN <> /FWFSUIFMFTT XIZ BSF UIFZ EJवFSFOU JO UIF FOE 8FMM IFSF MJFT UIF TUSFOHUI PG UIF TDIFNF BHBJOTU B RVBOUVN BEWFSTBSZ *G XF DIFDL UIF NPTU JOUFSOBM GVODUJPOT UIBU JT UIF $1"1,& POFT TIPXO JO 'JH XF DBO TFF JO BMHPSJUIN $1"1,&&OD UIBU UIFSF BSF WFDUPS WBMVFT TVDI BT F BOE ઝ UIBU IBWF CFFO TBNQMFE XJUI B SBOEPN TFFE S VTJOH GVODUJPO TBNQMF$#% GSPN B DFOUFSFE CJOPNJBM EJTUSJCVUJPO 4VDI FSSPST FMFWBUF UIF DPNQVUBUJPOBM DPNQMFYJUZ PG UIF TDIFNF GSPN QPMZOPNJBM UJNF 1 UP OPOQPMZOPNJBM UJNF /1 NBLJOH JU VOTPMWBCMF CZ RVBOUVN DPNQVUFST CFDBVTF PG UIF SBOEPNOFTT ખ ฿ ંઝછદતધઝપપન ઁદતધઝપપન ખ 5IF FSSPS JT USJFE UP CF FMJNJOBUFE CZ GVODUJPO %FDPNQSFTTન XIFO FYUSBDUJOH GSPN UIF QBJS PG WFDUPST છ BOE છ UIF WFDUPST V BOE W SFTQFDUJWFMZ BU UIF NJEEMF PG TUFQ $1"1,&%FD 5IJT GVODUJPO IBT B QSPQFSUZ JO DPNCJOBUJPO XJUI GVODUJPO $PNQSFTTન XIJDI TUBUFT JO &R UIBU EFDPNQSFTTJOH UIF DPNQSFTT PG B HJWFO WBMVF 9 XJUI UIF TBNF TFDPOE QBSBNFUFST HJWFT B OFX WBMVF 9 ڼXIJDI JT TJNJMBS UP UIF PSJHJOBM DPNQSFTTFE WBMVF 5IJT QSPQFSUZ UBLFT QMBDF XIJMF DPNQVUJOH $PNQSFTT WڼT V ھ *U JT JNQPSUBOU UP NFOUJPO UIBU PUIFS PQFSBUJPOT UBLF QMBDF TVDI BT HFOFSBUF TBNQMF$#% $PNQSFTT %FDPNQSFTT FODPEF BOE EFDPEF 5IFTF BSF OFDFTTBSZ GPS UIF NBJO UISFF PQFSBUJPOT XF IBWF EFTDSJCFE CFGPSF CVU BSF OPU FYQMBJOFE JO EFUBJM JO UIJT QBQFS CFDBVTF UIFZ BSF OPU OFDFTTBSZ GPS PVS VOEFSTUBOEJOH PG UIF QSPUPDPM 'VMM EFTDSJQUJPOT PG UIFTF TQFDJशD GVODUJPOT BSF BWBJMBCMF BU <> .BVEF TQFDJGJDBUJPO "TTVNQUJPOT 0O UIF TQFDJशDBUJPO PG UIF TZNCPMJD NPEVMF GPS ,ZCFS XF IBWF UBLFO UIF GSFFEPN UP NBLF TPNF BTTVNQUJPOT BCPVU JU 8F DBO EJWJEF UIFTF BTTVNQUJPOT JOUP %PMFW:BP BEWFSTBSZ BTTVNQUJPOT BOE ,ZCFSTQFDJशDBUJPO BTTVNQUJPOT 38 'JHVSF *OUFSOBM BMHPSJUINT PG UIF ,ZCFS ,FZ &ODBQTVMBUJPO .FDIBOJTN CPSSPXFE GSPN <> 8F XJMM TUBSU XJUI UIF GPSNFS POF CFDBVTF XF XJMM CF JNQPSUJOH BMM PG UIF DIBSBDUFSJTUJDT UIF %PMFW:BP BEWFSTBSZ NPEFM TUBUFT 5IJT JNQMJFT BEEJUJPOBM SVMFT BOE DPOEJUJPOT GPS PVS TZTUFN NPEVMF 5IFTF OFX SVMFT BSF FYQMBJOFE JO UIF GPMMPXJOH 4FDUJPO 8F BMTP BTTVNF UIBU UIFSF XJMM CF POMZ UISFF QBSUJDJQBOUT JO UIF OFUXPSL UXP PG UIFN IPOFTU "MJDF BOE #PC BOE POF BEWFSTBSZ &WF "CPVU ,ZCFS BMNPTU BMM BTTVNQUJPOT BSF PWFS NBUIFNBUJDBM BOE MPXMFWFM DPODFQUT 4VDI BTTVNQUJPOT BMMPX VT UP BCTUSBDU PVS NPEFM GSPN JNQMFNFOUBUJPO SFRVJSFNFOUT BOE GPDVT PO SFQSFTFOUJOH UIF EFTJSFE CFIBWJPVS BNPOH UIF QBSUJDJQBOUT ۨ "MM NBUSJDFT BSF TRVBSF NBUSJDFT ۨ "MM WFDUPST BSF DPMVNO WFDUPST BOE USBOTQPTFE WFDUPST BSF SPX WFDUPST ۨ "MM WFDUPST XIJDI BMTP SFQSFTFOU QPMZOPNJBMT BSF DPOTJEFSFE UP CF PG UIF OFDFTTBSZ EFHSFF UP CF DPOTJEFSFE TNBMM UIVT GVMशMMJOH UIF QSPQFSUZ JT4NBMM Q FYQMBJOFE JO 4FDUJPO ۨ 8F POMZ DPOTJEFS GPS EFDPNQSFTTJPO GVODUJPO UIF JEFBM DBTF XIFSF UIFSF JT OP FSSPS JO PCUBJOJOH N UIVT N ڼXJMM CF FRVBM UP N ۨ 8F BTTVNF UIBU UIF EFDJQIFSFE NFTTBHF JT UIF TIBSFE LFZ CFUXFFO UIF QBSUJDJQBOUT TP OP BEEJUJPOBM GVODUJPOT ,%' JO UIJT DBTF OFFE UP CF TQFDJशFE BOE UIFO BQQMJFE ۨ 0VS TBNQMJOH QSPDFEVSFT BSF EFUFSNJOJTUJD CVU XF XJMM BTTVNF UIBU UIF PQFSBUPST TBNQMFE BSF GSPN B $#% XIFOFWFS JU JT UIF DBTF .PEVMF DPNQPTJUJPO 5IF TZNCPMJD NPEFM PG ,ZCFS JT DPNQPTFE PG WBSJPVT NPEVMFT QSFDJTFMZ शWF GVODUJPOBM NPEVMFT BOE POF TZTUFN NPEVMF 'VODUJPOBM NPEVMFT BSF %"5"5:1&4 ,:#&3)"4)01&3"5*0/4 &/$3:15*0/ ,:#&3$1"1,&,&:(&/ BOE ,:#&3$1"1,&&/$ 5IF TZTUFN NPEVMF SFQSFTFOUJOH UIF QSPUPDPM JT ,:#&37 39 'VODUJPOBM NPEVMFT %"5"5:1&4 "CPVU UIJT GVODUJPOBM NPEVMF XF TIPVME SFNBSL PO UIF JNQPSUBODF PG BMM NBUIFNBUJDBM BTTVNQUJPOT 4QFDJशDBMMZ UIF UISFF शSTU BTTVNQUJPOT GPVOE JO UIF QSFWJPVT TFDUJPO BQQMZ UP UIJT NPEVMF 5IF NPEVMF SFQSFTFOUT UIF MPXMFWFM DPNQPOFOUT PG PVS TZNCPMJD NPEFM UPXBSE UIF PसDJBM TQFDJशDBUJPO )FSF XF SFQSFTFOU NBUSJDFT BOE WFDUPST BOE BMM UIFJS BTTPDJBUFE PQFSBUJPOT 7FDUPS PQFSBUJPOT BT UIF DPODBUFOBUJPO BEEJUJPO BOE TVCUSBDUJPO PG WFDUPST BSF EFDMBSFE BOE EFशOFE JO UIJT NPEVMF 'JSTU UIF DPODBUFOBUJPO PG UXP WFDUPST JT B OFX WFDUPS EFशOFE XJUI UIF TZNCPM ]] 0O UIF POF IBOE WFDUPS TVN JT EFDMBSFE XJUI TZNCPM W CFJOH DPNNVUBUJWF BOE BTTPDJBUJWF XJUI UIF JEFOUJUZ FMFNFOU 0O UIF PUIFS IBOE UIF TVCUSBDUJPO PG UXP WFDUPST JT EFशOFE XJUI TZNCPM W BT BTTPDJBUJWF 'JOBMMZ XF EFDMBSFE UIF EPU QSPEVDU BT BTTPDJBUJWF POMZ $IBOHJOH UP NBUSJDFT XF EFDMBSFE BOE EFशOFE UIF QSPEVDU PQFSBUJPO CFUXFFO B NBUSJY BOE B WFDUPS SFTVMUJOH JO B OFX WFDUPS 5IF QSPEVDU PG NBUSJDFT BOE WFDUPST JT BTTPDJBUJWF BOE XF EFशOFE UIF GPMMPXJOH QSPQFSUZ PWFS UIF EPU QSPEVDU XJUI UIF &R 4ZNCPMT 7 BOE 7 BSF WFDUPST BOE . JT B NBUSJY ઋ ત ࠒ ઔ જદફ ઔ ઔ જદફ ઋ ત ࠒ ઔ 5IF USBOTQPTF GVODUJPO JT EFशOFE GPS WFDUPST BOE NBUSJDFT 5IFJS EJTUSJCVUJWF QSPQFSUJFT PWFS PQFSBUJPOT TVDI BT QSPEVDU PS BEEJUJPO PG WFDUPST BOE NBUSJDFT BSF GPSNBMJ[FE JO UIF &R 0ODF BHBJO UIF TZNCPMT BSF UIF TBNF BT JO UIF QSFWJPVT FRVBUJPO CVU OPX XF TQFDJGZ UXP EJTUSJCVUJPO DBTFT 5IF VQQFS FRVBUJPO EFशOFT UIF EJTUSJCVUJPO PG UIF USBOTQPTF PG B WFDUPS PWFS UIF TVN PG WFDUPST 5IF MPXFS EFशOFT UIF EJTUSJCVUJPO PG UIF USBOTQPTF PG B WFDUPS PWFS UIF NBUSJYWFDUPS QSPEVDU ફધઔ ઔ ભ ઔ ફધઔ ઔ ભ ફધઔ ઔ ફધઔ ઋ ત ࠒ ઔ ફધઔ ઔ ત ࠒ ફધઋ ઋ 8F BMTP EFशOF JO GVODUJPOBM NPEVMF %"5"5:1&4 UIF DPODFQU PG 1BJS PG WFDUPST 8F EFDMBSF BOE EFशOF GVODUJPOT ࡇSTU BOE TFDPOE XIJDI SFDFJWF B QBJS BOE SFUVSO UIF शSTU BOE TFDPOE FMFNFOUT SFTQFDUJWFMZ *U JT JNQPSUBOU UP NFOUJPO UIBU JO UIJT NPEVMF XF EFशOF TPNF DPOTUBOUT GPS WBMVFT VTFE JO UIF QSPUPDPM $POTUBOUT EV BOE EW BSF VTFE JO UIF DPNQSFTTJPO BOE EFDPNQSFTTJPO PG V BOE W SFTQFDUJWFMZ 5IFTF UXP DPOTUBOU WBMVFT BSF OPO[FSP OBUVSBM OVNCFST UIBU UBLF B TQFDJशD WBMVF EFQFOEJOH PO UIF WFSTJPO PG ,ZCFS UIFZ BSF VTFE 'PS VT UIFZ BSF DPOTUBOUT UP SFQSFTFOU TVDI WBMVF JO B TZNCPMJD GPSN 8F BMTP EFशOF UISFF QBJST PG DPOTUBOUT GPS 3IP BOE 4JHNB JO PSEFS UP CF BCMF UP TBNQMF EJवFSFOU WBMVFT JO GVUVSF NPEVMFT &/$3:15*0/ 5IJT GVODUJPOBM NPEVMF JT POF PG UIF NPTU JNQPSUBOU PG PVS TZNCPMJD NPEFM CFDBVTF JU TQFDJशFT PVS FRVBUJPOBM UIFPSZ UP SFQSFTFOU UIF DPNQSFTTJPO BOE EFDPNQSFTTJPO QSPQFSUJFT TIPXO JO 4VCTFDUJPO &RVBUJPOT BWBJMBCMF JO &R SFQSFTFOU UIF QSPQFSUZ PG EFDPNQSFTTJOH DPNQSFTTFE DPOUFOU BOE WJDF WFSTB 5IF DPNNVUBUJWJUZ PG UIF HJWFO QSPQFSUZ JT OFDFTTBSZ CFDBVTF UIF QSPUPDPM BQQMJFT $PNQSFTT PWFS %FDPNQSFTT FWFO JG UIF QSPQFSUZ JT XSJUUFO PUIFSXJTF JO UIF NBUIFNBUJDBM FYQMBOBUJPO 8JUIJO UIFTF FRVBUJPOT 9 7 BOE 7 BSF WFDUPST BOE / JT B OBUVSBM OVNCFS EJवFSFOU GSPN [FSP 40 FR 7 W %FDPNQSFTT 9 / W 7 %FDPNQSFTT 9 / 'JHVSF %FGJOJUJPO PG UIF QSPQFSUZ UP DBODFM UIF OPJTF QSFTFOU JO UIF DPNQPOFOU PG B DJQIFSFE UFYU D JO GVODUJPOBM NPEVMF &/$3:15*0/ PQT "MJDF &WF #PC *EFOUJGJFS PQ @<@>@ *EFOUJGJFS ,FZT $POUFOU 1SJODJQBM 'JHVSF %FGJOJUJPO PG B QBSUJDJQBOU BU UIF OFUXPSL JO PVS TZTUFN NPEVMF ,:#&37 ંઝછદતધઝપપ ઁદતધઝપપ ખ ઌ ઌ ખ ઁદતધઝપપ ંઝછદતધઝપપ ખ ઌ ઌ ખ 8F BMTP TQFDJGZ UIF QSPQFSUZ PG OPJTF DBODFMMBUJPO UIBU SFQSFTFOUT UIF JEFBM DBTF XIFSF CPUI OPJTFT GSPN V ڼBOE W ڼJO UIF &R BSF QSPQFSMZ DBODFMMFE CFDBVTF PG TVCUSBDUJPO 5IF GPMMPXJOH 'JH TIPXT IPX XF NPEFMMFE JU TP UIBU XIFO XF IBWF B DPNQSFTTFE WBMVF BOE UXP WFDUPST UIFZ DBODFM FBDI PUIFS BT UIF OPJTF FRVBUJPO TQFDJशFE ઁદતધઝપપ ભ ฿ ࠍ પ બ ฿ 4ZTUFN NPEVMF 8JUI PVS TZTUFN NPEVMF JEFOUJशFE BT ,:#&37 XF USZ UP NPEFM UIF CFIBWJPVS PG IPOFTU QBSUJDJQBOUT BOE UIF DBQBCJMJUJFT UIF JOUSVEFS IBT PWFS UIF OFUXPSL 'JSTU XF XJMM EFशOF SFQSFTFOUBUJPOT PG FMFNFOUT JO PVS NPEFM GPS QBSUJDJQBOUT NFTTBHFT BOE UIF HMPCBM TUBUF PG UIF TZTUFN 5IFO QBSUJDJQBOU CFIBWJPVS JT FYQMBJOFE BOE शOBMMZ XF NPWF UP UIF EFशOJUJPO PG JOUSVEFS DBQBCJMJUJFT &MFNFOU EFGJOJUJPOT 1BSUJDJQBOUT JO PVS NPEFM GPMMPX UIF PQFSBUJPOBM EFशOJUJPO TIPXO JO 'JH )FSF UISFF JEFOUJशFST BSF EFDMBSFE GPS PVS DPSSFTQPOEJOH QBSUJDJQBOUT 5IFO UIF TUSVDUVSF PG B QBSUJDJQBOU JT EFDMBSFE " QBSUJDJQBOU DPOTJTUT PG BO *EFOUJࡇFS MJLF UIF POFT UIBU IBWF CFFO EFशOFE B HSPVQ PG LFZT UIF QBSUJDJQBOU LOPX BOE B HSPVQ PG FMFNFOUT UIBU SFQSFTFOU JUT FMFNFOUT UIBU BSF OPU LFZT BOE UIF QBSUJDJQBOU IBT JO JUT QPTTFTTJPO UIBU JT JO JUT NFNPSZ .FTTBHFT BSF EFशOFE CZ UIF PQFSBUPS તપટ TIPXO JO UIF DPEF CFMPX " NFTTBHF DPOUBJOT JOGPSNBUJPO BCPVU UXP QBSUJDJQBOU JEFOUJशFST UIF TUBUVT PG UIF NFTTBHF BOE UIF DPOUFOU JU DBSSJFT 5IF शSTU JEFOUJशFS JOEJDBUFT UIF TPVSDF PG UIF NFTTBHF BOE UIF TFDPOE JT UIF JEFOUJशFS PG UIF QBSUJDJQBOU UP XIPN UIF NFTTBHF JT EFMJWFSFE UISPX UIF OFUXPSL 5IFO UIF TUBUVT PG B NFTTBHF DBO UBLF UIF WBMVFT TFOU9 SFDFJWFE9 BOE JOUFSDFQUFE9 XIFSF 9 DBO FJUIFS CF 1, PS $ EFQFOEJOH PO UIF TUFQ "U MBTU UIF DPOUFOU PG UIF NFTTBHF JT BTTVNFE UP CF TFDVSF NFBOJOH B QBSUJDJQBOU DBO OPU JOGFS BOZ BEEJUJPOBM DPOUFOUT GSPN JU XJUIPVU UIF SFRVJSFE JOGPSNBUJPO PQ NTH\ @ @ <@>@^ *EFOUJGJFS *EFOUJGJFS .TH4UBUF $POUFOU .TH 41 DSM <,FZ(FO> \ ET 4". $0/5 FNQUZ4 $0/5 ^ *%FNQUZ$ 14 OFU .4(4 \ ET $0/5 FNQUZ4 $0/5 ^ *% E* *% 4". FNQUZ$ 14 OFU .4(4 JG 4, TBNQMF4 TFDPOE ( 4". = 1, HFOFSBUF" GJSTU ( 4". N 4, W TBNQMF& TFDPOE ( 4". 'JHVSF %FGJOJUJPO PG DPOEJUJPOBM SVMF ,FZ(FO JO PVS TZTUFN NPEVMF ,:#&37 5IF EFशOJUJPO PG UIF TUSVDUVSF SFQSFTFOUJOH PVS TZTUFN DBO CF TFFO JO UIF DPEF CFMPX )FSF BOE GSPN MFॎ UP SJHIU BSF TQFDJशFE UIF FMFNFOUT PVS SVMFT XJMM IBOEMF "U UIF SJHIU DPSOFS XF BTTJHOFE B शFME GPS BMM UIF BWBJMBCMF TBNQMF WBMVFT UIBU JT DPOTUBOU WBMVFT SFQSFTFOUJOH WFDUPS WBMVFT UP VTF UIFN JO ,FZHFO BOE &OD GVODUJPOT 5IFO XF IBWF B QPPM PG QBSUJDJQBOUT GPMMPXJOH FBDI POF UIF TUSVDUVSF QSFWJPVTMZ FYQMBJOFE 5IFO BU UIF MFॎ FOE XF IBWF UIF OFUXPSL XJUI B QPPM GPS BTTPDJBUJWF NFTTBHFT SFQSFTFOUJOH B LJOE PG SFDPSE UIBU MFUT QBSUJDJQBOUT XPSL PWFS UIF TFOU NFTTBHFT PQ \@^@OFU @ $POUFOU 1SJODJQBMT .THT (MPCBM4UBUF 1BSUJDJQBOU CFIBWJPVS 'PMMPXJOH UIF ,ZCFS TQFDJशDBUJPO <> BOE UIF %PMFW:BP BTTVNQ UJPOT XF TQFDJGZ UIF GPMMPXJOH SVMFT JO .BVEF UP NPEFM IPX UIF QSPUPDPM PQFSBUFT "MM UIFTF SVMFT IBWF CFFO XSJUUFO UP CF BT HFOFSBM BT QPTTJCMF NBLJOH UIF NPEFM BOE UIF DPOTUSVDUFE FYFDVUJPO USFF NPSF SFBMJTUJD BOE DPNQFMMJOH GPS NPEFM DIFDLJOH 5IF शSTU SVMF JT ,FZ(FO BT DBO CF TFFO JO 'JH 5IJT SVMF JT UIF POF UIBU TUBSUT UIF QSPUPDPM GPS B HJWFO QBSUJDJQBOU XJUI JEFOUJशFS *% 5IF SVMF TUBUFT UIBU HJWFO B QBSUJDJQBOU XJUI JEFOUJशFS *% XIPTF DPOUFOU JT FNQUZ CPUI GPS UIF LFZT BOE NFNPSZ DBO HFOFSBUF B QVCMJD,FZ *% 1, BOE B TFDSFU,FZ *% 4, JO UIF HSPVQ PG LFZT 5IJT JT QPTTJCMF JG UIFSF JT B WBMVF 4". JO UIF TBNQMF HSPVQ GPS E XIJDI JT TUPSFE JO UIF DPOUFOU PG UIF QBSUJDJQBOU VTJOH UIF PQFSBUPS E* UIBU BTTPDJBUF B TBNQMF WBMVF XJUI B QBSUJDJQBOU JEFOUJशFS 5IF DPOTUSVDUJPO PG CPUI LFZT QVCMJD BOE TFDSFU JT EPOF UISPVHI UIF NBUDIJOH FRVBUJPOT JO UIF SVMF۟T DPOEJUJPOT 5IF TUSVDUVSF JT UIF POF QSFTFOU BU UIF TQFDJशDBUJPO BOE DBO CF TFFO JO 'JH XIFSF QVCMJD LFZ 1, JT UIF NBUSJY " NVMUJQMJFE CZ UIF TFDSFU LFZ T QMVT B TBNQMFE FSSPS F 'PS UIF TFDSFU LFZ T XF BTTVNFE JU UP CF KVTU UIF TBNQMF WBMVF GSPN UIF $#% TP OP GVSUIFS PQFSBUJPOT BSF OFFEFE GPS JUT DPNQVUBUJPO 8F BMTP EFशOFE B SVMF 4FOE1, UIBU NPEFMT UIF CFIBWJPVS PG B QBSUJDJQBOU XJUI IJT QVCMJD LFZ TFOEJOH JU UP BOZ PUIFS QBSUJDJQBOU JO UIF OFUXPSL EJवFSFOU GSPN IJN 5IF NFTTBHF JT TFOU JG JU IBT OPU CFFO TFOU QSFWJPVTMZ TP XF BWPJE JOशOJUF FYFDVUJPO 5IFO UP DPNQMFNFOU UIF QSFWJPVT SVMF XF EFशOFE SVMF 3FDFJWF1, UP QSPDFTT UIF MBTU JODPNJOH NFTTBHF JG JU DPOUBJOT B QVCMJD LFZ BOE IBT OPU CFFO SFDFJWFE ZFU 5IF SFBTPO UP POMZ DIFDL UIF MBTU NFTTBHF JT UP IBWF TPNF LJOE PG IJTUPSZ PS MPH PWFS UIF NFTTBHFT JO UIF OFUXPSL 3VMF &OD BT JU JT TIPXO JO 'JH NPEFMT UIF GVODUJPO XJUI JUT TBNF OBNF *O PSEFS UP BQQMZ UIF FODSZQUJPO TUFQ B QBSUJDJQBOU शSTU IBT UP SFDFJWF UIF QVCMJD LFZ GSPN UIF PUIFS QFFS 5IF QBSUJDJQBOU BMTP OFFET UP CF BCMF UP TBNQMF WBMVFT GPS UIF NFTTBHF N UP USBOTNJU BOE B SBOEPN ڼDPJO ڼS XIJDI JT B WBMVF VTFE JO TBNQMJOH UIF FSSPST ઝ BOE ઝ *O BQQMJDBUJPO PG UIF SVMF UIF QBSUJDJQBOU QPTTFTTFT JO UIF QPPM PG LFZT B OFX TIBSFE LFZ DPOUBJOJOH UIF WBMVF UP CF USBOTNJUUFE 42 DSM <&OD> \ NT 4". $0/5 FNQUZ4 ST 4". $0/5 FNQUZ4 $0/5 ^ *%< QVCMJD,FZ *% . N 7 W 7 ,4> $0/5 14 OFU .4(4 \ NT $0/5 FNQUZ4 ST $0/5 FNQUZ4 $0/5 ^ *% D* *% $ N* *% 4". S* *% 4". $0/5 14 OFU .4(4 JG 6 UQ. . N TBNQMF3ƺ 4". W TBNQMF& 4". = 7 UQ7 . N 7 W 7 EPU TBNQMF3ƺ 4". W TBNQMF& 4". W %FDPNQSFTT 4". = $ $PNQSFTT 6 EV = $ $PNQSFTT 7 EW = $ $ $ = *% *% 'JHVSF %FGJOJUJPO PG DPOEJUJPOBM SVMF &OD JO PVS TZTUFN NPEVMF ,:#&37 DSM <%FD> \ $0/5 ^ *% E* *% 4". D* *% $ƺ $0/5 *%<,4>D* *% $ƺ N* *% 4". S* *% 4". $0/5 14 OFU .4(4 \ $0/5 ^ *% E* *% 4". $0/5 *%<,4>D* *% $ƺ N* *% 4". S* *% 4". $0/5 14 OFU .4(4 JG 4, TBNQMF4 TFDPOE ( 4". = 1, HFOFSBUF" GJSTU ( 4". N 4, W TBNQMF& TFDPOE ( 4". = 6 UQ. HFOFSBUF" GJSTU ( 4". N TBNQMF3ƺ 4". W TBNQMF& 4". = 7 UQ7 1, EPU TBNQMF3ƺ 4". W TBNQMF& 4". W %FDPNQSFTT 4". = $ $PNQSFTT 6 EV = $ $PNQSFTT 7 EW = $ $ $ = 6ƺ %FDPNQSFTT GJSTU $ EV = 7ƺ %FDPNQSFTT TFDPOE $ EW = , $PNQSFTT 7ƺ W UQ7 4, EPU 6ƺ = *% *% 'JHVSF %FGJOJUJPO PG DPOEJUJPOBM SVMF %FD JO PVS TZTUFN NPEVMF ,:#&37 TFDVSFMZ UP UIF PUIFS QBSUJDJQBOU *O UIF DPOUFOU QPPM UIF DJQIFSFE UFYU DPOUBJOJOH TVDI B TIBSFE WBMVF JT TUPSFE GPS MBUFS "T JO ,FZ(FO SVMF UIF DPOEJUJPOT PG JU BSF VTFE UP DPOTUSVDU UIF OFFEFE DSZQUPHSBQIZ FMFNFOUT JO UIJT DBTF B DJQIFSFE UFYU D DPOTJTUJOH PG B QBJS PG DJQIFSFE UFYUT છ BOE છ #PUI FMFNFOUT BSF TQFDJशFE GPMMPXJOH UIF PQFSBUJPOT JO 'JH 5IF DPVOUFSQBSU PG 4FOE1, CVU GPS B DJQIFSFE UFYU D PCUBJOFE JO &OD JT UIF DPOEJUJPOBM SVMF 4FOE$JQI *U DIFDLT TJNJMBS DPOEJUJPOT XIFO TFOEJOH UIF QVCMJD LFZ TP OP JOशOJUF FYFDVUJPO IBQQFOT 5IFO UIF SVMF UP SFDFJWF B DJQIFSFE UFYU CFIBWFT TJNJMBSMZ UP JUT DPVOUFSQBSU UIBU JT 3FDFJWF1L 5IF SVMF BQQMJFT XIFO UIFSF JT B TFOU NFTTBHF JO UIF OFUXPSL GPS B HJWFO QBSUJDJQBOU XJUI *% 5IF DPOUFOU PG UIF NFTTBHF JT TUPSFE CZ UIF QBSUJDJQBOU JO JUT QPPM PG DPOUFOU BDUJOH BT NFNPSZ "T XJUI JUT DPVOUFSQBSU 3FDFJWF1, PVS SVMF POMZ DIFDLT UIF MBTU TFOU NFTTBHF PO UIF OFUXPSL GPS NPEFMMJOH SFBTPOT 'JOBMMZ UIF SVMF UP EFDJQIFS UIF SFDFJWFE DSZQUPHSBN JT %FD *O 'JH XF DBO TFF UIBU UIF DPNQVUBUJPO 7ƺ W UQ7 4, EPU 6ƺ JT QFSGPSNFE BT JT TQFDJशFE JO 4FDUJPO 5IJT PQFSBUJPO DBODFMT UIF OPJTF 6 ڼBOE 7 ڼIBWF MFBWJOH BMPOF %FDPNQSFTT 4". TP JU DBO CF FYUSBDUFE 4". XIFO $PNQSFTT JT BQQMJFE PCUBJOJOH UIF TIBSFE LFZ , *OUSVEFS CFIBWJPVS 8IFO TQFDJGZJOH UIF JOUSVEFS۟T DBQBCJMJUJFT PWFS PVS NPEVMF XF EF DJEFE UP TQFDJGZ UXP SVMFT *OUFSDFQU BOE *OUFSDFQU 43 DSM <*OUFSDFQU> \ $0/5 ^ &WF $0/5 "MJDF $0/5 14 OFU .4(4 NTH\ "MJDF #PC 1,ƺ^ \ $0/5 ^ &WF $0/5 "MJDF $0/5 14 OFU .4(4 NTH\ "MJDF #PC 1,ƺ^ NTH\ "MJDF #PC 1,^ JG NTH\ "MJDF #PC 1,ƺ^ JO .4(4 GBMTF 'JHVSF %FGJOJUJPO PG DPOEJUJPOBM SVMF *OUFSDFQU JO PVS TZTUFN NPEVMF ,:#&37 DSM <*OUFSDFQU> \ $0/5 ^ &WF D* &WF $ƺ $0/5 14 OFU .4(4 NTH\ #PC "MJDF $^ \ $0/5 ^ &WF D* &WF $ƺ D* #PC $ $0/5 14 OFU .4(4 NTH\ #PC "MJDF $^ NTH\ #PC "MJDF $ƺ^ JG NTH\ #PC "MJDF $^ JO .4(4 GBMTF = $ $ƺ 'JHVSF %FGJOJUJPO PG DPOEJUJPOBM SVMF *OUFSDFQU JO PVS TZTUFN NPEVMF ,:#&37 5IF GPSNFS DBO CF TFFO JO 'JH BOE JU CJOET UIF JOUSVEFS XJUI UIF BCJMJUZ UP JOUFSDFQU B TFOU NFTTBHF DPOUBJOJOH B QVCMJD LFZ 5IF JOUFSDFQUFE NFTTBHF JT NBSLFE XJUI B OFX TUBUVT SFQSFTFOUJOH JUT EFDFBTFE BCJMJUZ UP CF SFDFJWFE 5IF JOUSVEFS BMTP QMBDFT B OFX NFTTBHF JEFOUJDBM UP UIF QSFWJPVT POF CVU XJUI IJT QVCMJD LFZ BT DPOUFOU 5IJT DIBOHF NBLFT UIF SFDFJWFS UIJOL UIF QVCMJD LFZ SFDFJWFE JT GSPN UIF TFOEFS XIFO JU JT OPU UIVT CFHJOOJOH UIF NBOJOUIFNJEEMF BUUBDL 5IF MBUUFS JT BWBJMBCMF JO 'JH BOE NBLFT UIF JOUSVEFS JOUFSDFQU B NFTTBHF TFOU XJUI B DJQIFSFE UFYU 5IJT JOUFSDFQUFE NFTTBHF JT TFOU CZ UIF SFDFJWFS GSPN UIF QSFWJPVT GBLF NFTTBHF BOE NBLFT &WF TFOE B OFX NFTTBHF CVU XJUI IJT PXO DJQIFSFE UFYU *O UIJT XBZ &WF IBT JO TUPSF UXP DJQIFSFE UFYUT IJT PXO BOE UIF POF JOUFSDFQUFE .BVEF WFSJGJDBUJPO 3FBDIBCJMJUZ WFSJGJDBUJPO 8F XJMM WFSJGZ VTJOH UIF TFBSDI DPNNBOE JG UIF NPEFM CFIBWFT BT FYQFDUFE XIJDI NFBOT DIFDLJOH JG TUBUFT PG JOUFSFTU FYJTU 'PS UIBU HPBM XF DPOEVDU SFBDIBCJMJUZ BOBMZTJT GSPN UXP JOJUJBM TUBUFT JOJU BOE JOJU CPUI BWBJMBCMF JO 'JH 5IF JOJUJBM TUBUF JOJU EFशOFT PVS HMPCBM TUBUF XJUI UISFF UZQFT PG TBNQMFT FBDI XJUI B WBMVF BWBJMBCMF GPS TBNQMJOH *U BMTP TQFDJशFT UIBU UISFF QBSUJDJQBOUT QPQVMBUF UIF OFUXPSL BOE UIF OFUXPSL PG NFTTBHFT JT JOJUJBMMZ FNQUZ 5IF PUIFS JOJUJBM TUBUF JOJU JT UIF TBNF BT UIF शSTU CVU XJUI UIF EJवFSFODF UIBU UIFSF JT POF NPSF TBNQMF WBMVF GPS FBDI PG UIF QPTTJCMF TBNQMFT PG ET NT BOE ST 'PS FBDI PG UIFTF JOJUJBM TUBUFT XF DIFDLFE UXP UIJOHT ۨ *G UIFSF FYJTUT B TUBUF XIFSF UXP QBSUJDJQBOUT IBWF TVDDFTTGVMMZ TIBSFE B LFZ *U JT BDIJFWFE XJUI UIF DPNNBOE TFBSDI JOJU9 5SVF XIFSF JOJU9 JT POF PG UIF JOJUJBM TUBUFT BOE 5SVF JT B DPOTUBOU WBMVF PCUBJOFE UISPVHI BQQMJDBUJPO PG SVMF $PNQ TFFO CFMPX 5IJT DPOTUBOU PG TPSU HMPCBM TUBUF SFQSFTFOUT UIBU UXP QBSUJDJQBOUT IBWF TVDDFFEFE JO UIF BQQMJDBUJPO PG UIF QSPUPDPM IFODF UIFZ IBWF TIBSFE B LFZ 44 FR JOJU \ET E FNQUZ4 NT N FNQUZ4 ST S FNQUZ4 ^ "MJDF FNQUZ$ &WF FNQUZ$ #PC FNQUZ$ OFU FNQUZ. FR JOJU \ET E E FNQUZ4 NT N N FNQUZ4 ST S S FNQUZ4 ^ "MJDF FNQUZ$ &WF FNQUZ$ #PC FNQUZ$ OFU FNQUZ. 'JHVSF %FGJOJUJPO PG UXP JOJUJBM TUBUFT GPS PVS TZTUFN NPEVMF ,:#&37 JO .BVEF TFBSDI JOJU9 \ $0/5 ^ *% $0/5 *% $0/5 *% $0/5 OFU .4(4 'JHVSF $PNNBOE UFNQMBUF GPS B NBOJOUIFNJEEMF BUUBDL TFBSDI JO .BVEF ۨ *G B TUBUF FYJTUT JO UIF TUBUF TQBDF USFF JO XIJDI B NBOJOUIFNJEEMF BUUBDL IBT IBQQFOFE *U JT BDIJFWFE XJUI UIF DPNNBOE JO 'JH XIFSF UIF शOBM TUBUF TQFDJशFT UIBU UIFSF BSF UISFF QBSUJDJQBOUT JO UIF HMPCBM TUBUF BOE UIF TIBSFE LFZ CFUXFFO *% BOE *% JT UIF TBNF BOE B LFZ IBT CFFO TIBSFE CFUXFFO *% BOE *% 5IF USJDL IFSF JT UIBU *% BOE *% UIJOL UIFZ IBWF TIBSFE UIF TBNF LFZ UIVT SFTVMUJOH JO B NBOJOUIFNJEEMF BUUBDL SM <$PNQ> \ $0/5 ^ *% $0/5 *% $0/5 14 OFU .4(4 5SVF 0O UIF शSTU JOJUJBM TUBUF UIF SFTVMU PG BQQMZJOH UIF शSTU TFBSDI DPNNBOET JT UIBU UIFSF JT B TUBUF XIFSF UXP QBSUJDJQBOUT IBWF TIBSFE B LFZ NFBOJOH UIF QSPUPDPM XPSLT .PSFPWFS UIF TFDPOE TFBSDI EPFT OPU शOE B TPMVUJPO TUBUJOH UIBU OP NBOJOUIFNJEEMF BUUBDL JT GPVOE XIFO UIFSF BSF POMZ TVसDJFOU TBNQMF WBMVFT GPS POF LFZ FYDIBOHF PG UIF QSPUPDPM 3FHBSEJOH UIF TFDPOE JOJUJBM TUBUF UIF SFTVMUT PG CPUI TFBSDI DPNNBOET BSF RVJUF JOUFSFTUJOH "T XFMM BT JO UIF शSTU TUBUF TUBUF UXP MFUT UXP QBSUJDJQBOUT TIBSF B LFZ TFDVSFMZ CFUXFFO UIFN CVU XJUI UIF TFDPOE TFBSDI B NBOJOUIFNJEEMF BUUBDL JT GPVOE 5IF TFDPOE TFBSDI SFUVSOT NVMUJQMF TPMVUJPOT HJWFO UIF NPEFM۟T EJवFSFOU QPTTJCJMJUJFT JO NFTTBHF QBTTJOH CVU XF TIPX POMZ UIF शSTU TPMVUJPO 5IJT TPMVUJPO TUBUFT UIBU UXP IPOFTU QBSUJDJQBOUT "MJDF BOE #PC IBWF TIBSFE LFZT GPS FBDI PG UIFN UIBU BSF EJवFSFOU BOE UIF WBMVFT NBUDI XJUI UIF POFT UIF UIJSE QBSUJDJQBOU UIF JOUSVEFS &WF IBT JO IJT QPTTFTTJPO 4P XIFO "MJDF PS #PC USZ UP VTF UIPTF TFDSFU LFZT UP DPNNVOJDBUF XJUI FBDI PUIFS UIFZ XJMM JOEFFE CF TFOEJOH NFTTBHFT UP &WF UIJOLJOH JU JT UIF PUIFS IPOFTU QBSUJDJQBOU 8F DBO BMTP TFF JO UIF NFTTBHF TFDUJPO UIBU TPNF PG UIFN IBWF CFFO JOUFSDFQUFE CZ &WF 'PSNBM WFSJGJDBUJPO 1SFEJDBUFT *O PSEFS UP VTF NPEFM DIFDLJOH JO .BVEF POF OFFET UXP UIJOHT B TZTUFN NPEVMF SFQSFTFOUJOH UIF TZTUFN BOE TPNF QSFEJDBUFT UP EFशOF UIF QSPQFSUJFT PG PVS TZTUFN 5IF TZTUFN NPEVMF IBT BMSFBEZ CFFO EFशOFE BOE UFTUFE BOE JO UIJT TVCTFDUJPO XF EJWF JOUP UIF UISFF QSFEJDBUFT XF IBWF TQFDJशFE 45 1SFEJDBUF XBOUT5P4IBSF,FZ JT EFशOFE TP JU JT USVF JO B HMPCBM TUBUF XIFSF B QBSUJDJQBOU XJUI JEFOUJशFS *% IBT IJT PXO QVCMJD LFZ NFBOJOH IF IBT QFSGPSNFE ,FZ(FO TUFQ BOE UIFSF JT B NFTTBHF UP BOPUIFS QBSUJDJQBOU XJUI JEFOUJशFS *% EJवFSFOU UIBO IJN 5IJT QSFEJDBUF SFQSFTFOUT B QBSUJDJQBOU XBOUJOH UP TIBSF B LFZ XJUI BOPUIFS *O PUIFS XPSET JU JT UIF TUBSU PG UIF QSPUPDPM ,ZCFS FR \ $0/5 ^ *% $0/5 *%<,4>$0/5 14 OFU .4(4 NTH\ *% *% 1,^ ] XBOUT5P4IBSF,FZ *% *% USVF 1SFEJDBUF TIBSFE",FZ8JUI JT EFशOFE TP JU JT USVF XIFO UXP QBSUJDJQBOUT IPME UIF TBNF TIBSFE LFZ GPS UIF PUIFS POF 5IJT QSFEJDBUF SFQSFTFOUT UIF FOE PG UIF QSPUPDPM GVMशMMJOH UIF QSFWJPVT QSFEJDBUF JO XIJDI UIF QSPUPDPM XBT TUBSUFE FR \ $0/5 ^ *% $0/5 *% $0/5 14 OFU .4(4 ] TIBSFE",FZ8JUI *% *% USVF 'JOBMMZ UIF MBTU QSFEJDBUF TUPMFO4FDSFU JT EFशOFE UP TUBUF UIBU B TFDSFU LFZ IBT CFFO TUPMFO GSPN B QBSUJDJQBOU JG JU FYJTUT JO UIF QPPM PG LFZT PG B EJवFSFOU QBSUJDJQBOU FR \ $0/5 ^ *% $0/5 *% $0/5 14 OFU .4(4 ] TUPMFO4FDSFU *% *% USVF 1SPQFSUJFT 8JUI UIF QSFEJDBUFT EFशOFE XF OPX TQFDJGZ UXP QSPQFSUJFT 0OF DIFDLT UIF GBJSOFTT PG PVS QSPUPDPM BOE UIF PUIFS IBT UP EP XJUI JUT TFDVSJUZ 5IFTF QSPQFSUJFT BSF -5- GPSNVMBT UIBU BMMPX VT UP FYQMPSF UIF FYFDVUJPO USFF JO TFBSDI PG DPVOUFSFYBNQMFT UIBU EP OPU TBUJTGZ UIF GPSNVMBT UIVT QSPWJOH UIF QSPQFSUZ EPFT OPU IPME *G OP DPVOUFSFYBNQMF JT GPVOE XF DBO TBZ XJUI BTTVSBODF UIBU UIF TZNCPMJD NPEFM TBUJTशFT UIF HJWFO QSPQFSUZ 5IF शSTU QSPQFSUZ '"*3/&44 IBT UP EP XJUI UIF BTTVSBODF UIBU PODF B QBSUJDJQBOU XBOUT UP TIBSF B LFZ XJUI BOPUIFS QBSUJDJQBOU CPUI JO UIF FOE BHSFF PO POF *U DBO CF OPUFE UIBU UIF QSPQFSUZ JT XSJUUFO GPS POMZ UIF DBTF XIFO UIF QBSUJDJQBOUT BSF "MJDF BOE #PC UIBU JT UIF IPOFTU QBSUT PG UIF OFUXPSL 5IF TFDPOE QSPQFSUZ 4&$63*5: IBT UP EP XJUI UIF BTTVSBODF UIBU UIF QSFEJDBUF PG TUPMFO4FDSFU JT USVF JO BOZ GVUVSF TUBUF *O PUIFS XPSET OP QBSUJDJQBOU MFBSOT UIF TFDSFU LFZ PG BOPUIFS POF /PUF UIBU UIF QSPQFSUZ JT POMZ TQFDJशFE GPS UIF DBTF XIFO UIF TFDSFU LFZ JT GSPN "MJDF BOE UIF UIJFG JT &WF 3FTVMUT "CPVU UIF FYFDVUJPO PG PVS -5- GPSNVMBT XF IBWF BQQMJFE CPUI PWFS PVS UXP JOJUJBM TUBUFT JOJU BOE JOJU 5IF SFTVMUT BSF UIBU CPUI JOJUJBM TUBUFT BDDPNQMJTI UIF GBJSOFTT QSPQFSUZ XIFO "MJDF BOE #PC XBOU UP TIBSF B LFZ 8F DBO BMTP DPODMVEF UIBU UIF TFDVSJUZ PG UIF TFDSFU LFZ POMZ UP CF LOPXO CZ JUT PXOFS JT BTTVSFE UIBOLT UP UIF NPEFM DIFDLFS OPU शOEJOH BOZ TUBUF XIFSF TFDSFU4UPMFO IPMET XIFO "MJDF JT UIF LFZ IPMEFS BOE &WF UIF UIJFG 46 $PODMVTJPO *O UIJT QBQFS XF IBWF QSPWFO UIF QSFTFODF PG B NBOJOUIFNJEEMF BUUBDL PO UIF LFZ FODBQTVMB UJPO NFDIBOJTN ,ZCFS HJWFO %PMFW:BP BEWFSTBSZ BTTVNQUJPOT .PSFPWFS UXP -5- GPSNVMBT TQFDJGZJOH CPUI GBJSOFTT BOE TFDVSJUZ QSPQFSUJFT IBWF CFFO BQQMJFE XJUI .BVEF۟T -5- -PHJDBM .PEFM $IFDLFS UP FYUFOE PVS NPEFM۟T WFSJशDBUJPO 0VS SFTVMUT PO B TZNCPMJD NPEFM UIBU SFQSF TFOUT ,ZCFS QSPWF UIBU JUT MBTU WFSTJPO JT OPU TBGF GSPN DMBTTJDBM BEWFSTBSJFT JG OP BVUIFOUJDBUJPO JT BWBJMBCMF PS EFशOFE UIVT CSFBLJOH UIF TDIFNF 'JOBMMZ XJUI UIJT OFX TZNCPMJD NPEFM XF IBWF QSPWJEFE B OFX BQQSPYJNBUJPO UP SFQSFTFOU UIF TZTUFN EJवFSFOU GSPN <> 8F BMTP IBWF QSPWJEFE BOE BQQMJFE B OFX BOBMZTJT BQQSPBDI VTJOH UIF NPEFM DIFDLFS UIVT FYUFOEJOH UIF SFBDIBCJMJUZ BOBMZTJT NBEF CZ <> 'PS GVUVSF XPSL XF QMBO UP JNQSPWF UIF NPEFM CZ DPOEVDUJOH FYUFOEFE NPEFM DIFDLJOH UP WFSJGZ JUT DPNQMFUF DPSSFDUOFTT 8F BMTP XBOU UP FYUFOE UIF NPEFM UP SFQSFTFOU UIF LFZ FODBQTV MBUJPO NFDIBOJTN CFUUFS *O UIF GVUVSF UIFSF DPVME FWFO CF UIF QPTTJCJMJUZ UP TQFDJGZ NVMUJQMF MBZFST PG QSPUPDPMT BOE DIFDL UIF JOUFSBDUJPO CFUXFFO UIFN 'PS FYBNQMF BEE DBQBCJMJUJFT PG BVUIFOUJDBUJPO PS TJHOBUVSFT UP ,ZCFS BOE QFSGPSN UIF BOBMZTFT XF IBWF NBEF JO UIJT QBQFS UP DIFDL JG UIF SFTVMUT BSF UIF TBNF 8F DPVME BMTP FYUFOE UIF TZTUFN SFQSFTFOUBUJPO UP VTF UIF PCKFDUT GFBUVSF GSPN .BVEF TP JU JT DMPTFS UP PUIFS MBOHVBHFT BOE FWFO NPSF VOEFSTUBOEBCMF GPS OPOFYQFSUT JO GPSNBM NFUIPET 8F BSF BMTP DPOTJEFSJOH VTJOH QSPUPDPM BOBMZTJT UPPMT TVDI BT .BVEF/1" UP TQFDJGZ UIF QSPUPDPM BOE DIFDL JUT TFDVSJUZ JO B NPSF UIPVHIUGVM BOBMZTJT GPSN PG UIF TZTUFN 5IFTF OFX UPPMT XJMM BMTP MFU VT DIFDL JG BO BUUBDL JT QSFTFOU GPS BO VOCPVOEFE OVNCFS PG TFTTJPOT 3FGFSFODFT <> 1 8 4IPS "MHPSJUINT GPS RVBOUVN DPNQVUBUJPO EJTDSFUF MPHBSJUINT BOE GBDUPSJOH JO 1SPDFFEJOHT UI BOOVBM TZNQPTJVN PO GPVOEBUJPOT PG DPNQVUFS TDJFODF *&&& QQ ۙ <> . (SBTTM # -BOHFOCFSH . 3PFUUFMFS 3 4UFJOXBOEU "QQMZJOH HSPWFS۟T BMHPSJUIN UP BFT RVBOUVN SFTPVSDF FTUJNBUFT JO 1PTU2VBOUVN $SZQUPHSBQIZ 4QSJOHFS QQ ۙ <> # #MBODIFU 4FDVSJUZ QSPUPDPM WFSJशDBUJPO 4ZNCPMJD BOE DPNQVUBUJPOBM NPEFMT JO *OUFSOBUJPOBM $POGFSFODF PO 1SJODJQMFT PG 4FDVSJUZ BOE 5SVTU 4QSJOHFS QQ ۙ <> 7 $PSUJFS 4 ,SFNFS # 8BSJOTDIJ " TVSWFZ PG TZNCPMJD NFUIPET JO DPNQVUBUJPOBM BOBMZTJT PG DSZQUPHSBQIJD TZTUFNT +PVSOBM PG "VUPNBUFE 3FBTPOJOH ۙ <> . "CBEJ 1 3PHBXBZ 3FDPODJMJOH UXP WJFXT PG DSZQUPHSBQIZ UIF DPNQVUBUJPOBM TPVOE OFTT PG GPSNBM FODSZQUJPO +PVSOBM PG DSZQUPMPHZ ۙ <> 4- (B[EBH 4 (SVOEOFS$VMFNBOO 5 (VHHFNPT 5 )FJEFS % -PFCFOCFSHFS " GPSNBM BOBMZTJT PG *,&W۟T QPTURVBOUVN FYUFOTJPO JO "OOVBM $PNQVUFS 4FDVSJUZ "QQMJDBUJPOT $POGFSFODF QQ ۙ <> " )¼MTJOH ,$ /JOH 1 4DIXBCF ' 8FCFS 1 3 ;JNNFSNBOO 1PTURVBOUVN XJSFHVBSE JO *&&& 4ZNQPTJVN PO 4FDVSJUZ BOE 1SJWBDZ 41 *&&& QQ ۙ <> 4 &TDPCBS $ .FBEPXT + .FTFHVFS .BVEF/1" $SZQUPHSBQIJD QSPUPDPM BOBMZTJT NPEVMP 47 FRVBUJPOBM QSPQFSUJFT JO 'PVOEBUJPOT PG 4FDVSJUZ "OBMZTJT BOE %FTJHO 7 4QSJOHFS QQ ۙ <> . $MBWFM ' %VS¡O 4 &LFS 1 -JODPMO / .BSU0MJFU + .FTFHVFS $ 5BMDPUU "MM "CPVU .BVEF" )JHI1FSGPSNBODF -PHJDBM 'SBNFXPSL )PX UP 4QFDJGZ 1SPHSBN BOE 7FSJGZ 4ZTUFNT JO 3FXSJUJOH -PHJD WPMVNF 4QSJOHFS <> # #MBODIFU # 4NZUI 7 $IFWBM . 4ZMWFTUSF 1SPWFSJG BVUPNBUJD DSZQUPHSBQIJD QSPUPDPM WFSJशFS VTFS NBOVBM BOE UVUPSJBM 7FSTJPO GSPN ۙ <> 4 .FJFS # 4DINJEU $ $SFNFST % #BTJO 5IF UBNBSJO QSPWFS GPS UIF TZNCPMJD BOBMZTJT PG TFDVSJUZ QSPUPDPMT JO *OUFSOBUJPOBM DPOGFSFODF PO DPNQVUFS BJEFE WFSJशDBUJPO 4QSJOHFS QQ ۙ <> $ + $SFNFST 5IF TDZUIFS UPPM 7FSJशDBUJPO GBMTJशDBUJPO BOE BOBMZTJT PG TFDVSJUZ QSPUPDPMT JO *OUFSOBUJPOBM DPOGFSFODF PO DPNQVUFS BJEFE WFSJशDBUJPO 4QSJOHFS QQ ۙ <> + 3BNTEFMM + (VUUNBO $14" " DSZQUPHSBQIJD QSPUPDPM TIBQFT BOBMZ[FS IUUQTHJUIVC DPNNJUSFDQTBFYQ <> 7 $IFWBM 4 ,SFNFS * 3BLPUPOJSJOB 5IF %&&14&$ QSPWFS JO *OUFSOBUJPOBM $POGFSFODF PO $PNQVUFS "JEFE 7FSJशDBUJPO 4QSJOHFS QQ ۙ <> % % 5SBO , 0HBUB 4 &TDPCBS 4 "LMFZMFL " 0UNBOJ 'PSNBM TQFDJशDBUJPO BOE NPEFM DIFDLJOH PG MBUUJDFCBTFE LFZ FODBQTVMBUJPO NFDIBOJTNT JO .BVEF JO 3FXSJUJOH -PHJD BOE JUT "QQMJDBUJPOT UI *OUFSOBUJPOBM 8PSLTIPQ 83-" Q <> % % 5SBO , 0HBUB 4 &TDPCBS 4 "LMFZMFL " 0UNBOJ 'PSNBM TQFDJशDBUJPO BOE NPEFM DIFDLJOH PG TBCFS MBUUJDFCBTFE LFZ FODBQTVMBUJPO NFDIBOJTN JO .BVEF JO 1SPDFFEJOHT PG UIF UI *OUFSOBUJPOBM $POGFSFODF PO 4PॎXBSF &OHJOFFSJOH BOE ,OPXMFEHF &OHJOFFSJOH <> % %PMFW " :BP 0O UIF TFDVSJUZ PG QVCMJD LFZ QSPUPDPMT *&&& 5SBOTBDUJPOT PO JOGPSNBUJPO UIFPSZ ۙ <> + .FTFHVFS $POEJUJPOBM SFXSJUJOH MPHJD BT B VOJशFE NPEFM PG DPODVSSFODZ 5IFPSFUJDBM $PNQVUFS 4DJFODF ۙ <> .0 4UFIS + .FTFHVFS 1 $ MWFD[LZ 3FXSJUJOH MPHJD BT B VOJGZJOH GSBNFXPSL GPS QFUSJ OFUT JO 6OJGZJOH 1FUSJ /FUT 4QSJOHFS QQ ۙ <> / .BSU0MJFU + " 7FSEFKP-³QF[ *NQMFNFOUJOH $$4 JO .BVEF JO "DUBT EF MBT 7*** +PSOBEBT EF $PODVSSFODJB $VFODB B EF KVOJP EF 6OJWFSTJEBE EF $BTUJMMB-B .BODIB QQ ۙ <> + .FTFHVFS " MPHJDBM UIFPSZ PG DPODVSSFOU PCKFDUT BOE JUT SFBMJ[BUJPO JO UIF .BVEF MBOHVBHF JO ( "HIB 1 8FHOFS " :POF[BXB &ET 3FTFBSDI %JSFDUJPOT JO $PODVSSFOU 0CKFDU0SJFOUFE 1SPHSBNNJOH .*5 1SFTT QQ ۙ <> . ,BUFMNBO 4 ,FMMFS + .FTFHVFS 3FXSJUJOH TFNBOUJDT PG QSPEVDUJPO SVMF TFUT +PVSOBM PG -PHJD BOE "MHFCSBJD 1SPHSBNNJOH ۙ <> 4 -JV 1 $ MWFD[LZ + .FTFHVFS .PEFMJOH BOE BOBMZ[JOH NPCJMF BE IPD OFUXPSLT JO 3FBM5JNF .BVEF +PVSOBM PG -PHJDBM BOE "MHFCSBJD .FUIPET JO 1SPHSBNNJOH <> 3 #PCCB + (SPW * (VQUB 4 -JV + .FTFHVFS 1 MWFD[LZ 4 4LFJSJL %FTJHO 'PSNBM .PEFMJOH BOE 7BMJEBUJPO PG $MPVE 4UPSBHF 4ZTUFNT VTJOH .BVEF JO 3 ) $BNQCFMM $ " ,BNIPVB , " ,XJBU &ET "TTVSFE $MPVE $PNQVUJOH + 8JMFZ QQ ۙ <> 4 $IFO + .FTFHVFS 3 4BTTF ) + 8BOH :. 8BOH " TZTUFNBUJD BQQSPBDI UP VODPWFS TFDVSJUZ षBXT JO HVJ MPHJD JO *&&& 4ZNQPTJVN PO 4FDVSJUZ BOE 1SJWBDZ 41۟ 48 *&&& QQ ۙ <> + .FTFHVFS ( 3PǙV 5IF SFXSJUJOH MPHJD TFNBOUJDT QSPKFDU 5IFPSFUJDBM $PNQVUFS 4DJFODF ۙ <> , #BF + .FTFHVFS 1 $ MWFD[LZ 'PSNBM QBUUFSOT GPS NVMUJSBUF EJTUSJCVUFE SFBMUJNF TZTUFNT 4DJFODF PG $PNQVUFS 1SPHSBNNJOH ۙ <> 4 &LFS . ,OBQQ , -BEFSPVUF 1 -JODPMO + .FTFHVFS , 4PONF[ 1BUIXBZ MPHJD 4ZNCPMJD BOBMZTJT PG CJPMPHJDBM TJHOBMJOH JO #JPDPNQVUJOH 8PSME 4DJFOUJशD QQ ۙ <> $ 5BMDPUU 4 &LFS . ,OBQQ 1 -JODPMO , -BEFSPVUF 1BUIXBZ MPHJD NPEFMJOH PG QSPUFJO GVODUJPOBM EPNBJOT JO TJHOBM USBOTEVDUJPO JO #JPDPNQVUJOH 8PSME 4DJFOUJशD QQ ۙ <> 3 "WBO[J + #PT - %VDBT & ,JMU[ 5 -FQPJOU 7 -ZVCBTIFWTLZ + . 4DIBODL 1 4DIXBCF ( 4FJMFS % 4UFIM© $SZTUBMTLZCFS BMHPSJUIN TQFDJशDBUJPOT BOE TVQQPSUJOH EPDVNFOUBUJPO /*45 12$ 3PVOE 49