Induction for termination with local strategies - Extended version -

Texte intégral

(1)Induction for termination with local strategies Extended version Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. To cite this version: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Induction for termination with local strategies Extended version -. [Intern report] A01-R-177 || fissore01b, 2001, 29 p. �inria-00107541�. HAL Id: inria-00107541 https://hal.inria.fr/inria-00107541 Submitted on 19 Oct 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published 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..

(2)

(3)

(4)

(5) ! "$# %

(6) &'(%*) $+, ) -/. 0120$)+

(7) 43 576989:;89<='>+8@?A?ABC=D<CEGFH?DIJK<696L<(MNOIC<PG89QOESRT< 6V<U NS<WX89="Y"ZSNS<= []\ ^`_bacd_Ve ^`_bagfh[K\ î_Va`cVj+e ^ k l mopXqKcVrstruwvyx{z|;}~';HDcd " bcdez|;D(j+}D n "tw]CwtwwtC]tw Cww¡tww]d¢w ¤£C¥¦t wtt]t §¨©"ªD«¬;wªw® _V|¯H°±²7³z³GD´]µ ³H¶³G¶w·z&¸yA¯H°;¶}º¹@¶y·³G""±¼»;z ½ ¼³H¶ ±½|;¾¿¯HDH¸y±½|z ¯H±½¶w|¶¹HDµ$H±¼¯H±½|;¾ µ±½¯H°³z·¯H±½" ²zib¯·Àz¯H"¾±²D"ÁG ½¶z ]b¯·Àz ¯H"¾w±½"i¶w|¿¶³GDÀz¯H¶H"ÂSai|±½|}D¯H±½t'³H¶¶¹³H¶""}H'±½`³H¶³G¶w·}S´ Ã z·"}(¶|z|A³ ½±²D±½¯ ±²|;}D¯H±½¶w|(¶w|(¯H°;¯HDH¸y±½|z ¯H±²¶|(³H¶w³GA·¯VÂCÄ ±½t"|z'¯HDH¸¿´t¯H° ³H¶¶¹K³CH±½|;"±½³; ½`H" ½±²D ¶w|z ¼¯HDH|;z¯H±½t" ¼z³;³ ½C±½|;¾¿¯H°(±²|;}D¯H±½¶w|1°C³G¶¯H°;D·±²0¶w|1±¼¯H7· Ã ¯HAH¸y"´ Ã 1z Ã b¯·ÀzD¯H±½|;¾Å¯H°;(· Ã ¯HDH¸y µ±½¯H°±²|;}D¯H±½¶w|¿zH±²z Ã ½""´Gz|}|;z·H¶µ±½|;¾X¯H°;'¶ Ã ¯Àz±²|}¯HDH¸y$±½|¿¶|;b¯H"³O´z""¶À}C±½|;¾X¯H¶¯H°'b¯·Àz¯H"¾Â Æ °;±½|}D¯H±½¶w|XH" ²z ¯H±²¶|ÇĆz|(È0cdb¯Àz Ã ²`¶À}CDH±½|;¾°z±½|;¾¯H°i· Ã ¯HDH¸É³H¶³GD·¯V´±½+|¶¯ ¾±½t"|(z'³H±½¶H±´ Ã ¯ ±½¯HDC±½b¯H"|"'±½`À°;DAÊt"}z ²¶|;¾X¯H°³H¶¶¹V´ Ã y¯H"b¯H±½|;¾Hz¯H±½b»Gz Ã ±½ ½±½¯¿¶¹¶À}AH±²|¾X"¶|;b¯·Àz±½|¯H"Â ËÌÍÇÎ0Ï «Ð]©wÑ ^`Dµ$H±¼¯H±½|;¾C´Ç¯HDH¸y±½|;z¯H±½¶w|O´S ²¶"z +b¯·Àz ¯H"¾Ò¶|Ó¶³GDÀz¯H¶H"´KH; ½Dc Ã z·}& ²z|;¾z¾w""´K±²|;}D¯H±½¶w|Ç´ |z·H¶µ±½|;¾C´¶À}DH±½|;¾"¶w|b¯·Àz±½|¯H"Â Ô. ÕÖi×GØSÙ'Ú0Û0ÜK×SÝÀÙ`Ö. Þ <=Dß89NOIàA89BCNgBá=D<â'=D8LàA89NSQ189?IãY=AäOY89IC6åS=DBCJS69<ßæ89NçIäGàDBCßÅIàD<PgPG<wPGäOY àA89BCNE{á¤BC=<è;äOIàD8LBNOI6`6LBQC8@YE{I?yâ <696 I? 89NéåO=ABQC="Iß¿ß¿8LNSQÇEêá¤B=Å=AäO6L<ëVJOI?À<wPì6@INSQäOIQ<?í+î7?Å8Là¿8@?¿äSNOPS<Y 8@PSICJS6L<189NéQC<NO<="I6VE+8Là&8@?¿<NO?AäS=D<P*8LNéåOI=AàA8@Y äO69IC= Y BN;àA< ïà"?Òâ'8LàAZð?ÀäGñ&Y8L<Nà1Y BNOPG8LàA89BCNO?íîò69BàBáyàD<=Dß89NOIàA89BCN/åO=ABBáyàD<Y"ZSNO89è;äS<w?ÒZOIt:<JK<<NðåS=DBCåKB?A<PEiß¿B?Àà BáXàDZS<ßóäO?A8LNSQgNOB;<àAZS<=A8@INôB=DPG<=A89NSQ;?¿BCNéàA<=AßÅ?íiõ äGà&àDZS<ö*äO?ÀäÇI696Lö*àDIY"÷;69<ºàAZS<ãåS=ABåÇ<=ÀàHöçá¤BC=ÅàDZS<ã?ÀàDICNOPSI="P =D<â'=D8²àD8LNSQ=A<69IàA89BCN&ICNOPÅ<?D?A<N;àA8@I696Löâ BC=D÷BNÅá¤=A<<àD<=DßøIC6LQ<JS="IC?íCF·N&àAZS<XY BNàD< ïàiBCá=AäO6L<ëVJOI?À<wP¿69ICNSQCäÇIQC<w??AäOY"Z IC?{î7ùG>úXùGû>güLýþÿbEt5 õ ;þyü²ý tÿbE ICäOPG<0ü tÿbE Iá¤<t5 õ (ü ÿbEwùàA="IàA<QCBüLý ÿVEBC =

(8) ê î /ü þÿbEâ'ZS<=A<åO=ABQC="IßÅ?I=D<?A< àD? Bá$=DäS69<?ICNOP< ïG<YäGàA89BCNÇ?Y BNO?À8@?Àà08LN1=D<â'=D8LàA89NSQ¿QC=DBCäSNOPº<ïåO=A<w?A?A8LBNO?EG8²àâiBäS69PºJK<(äO?A< á¤äS6êàAB&ZÇIt:C<yß¿BC=D<(?ÀåK<Y8 KY àA<=Aß¿89NOIàD8LBNÓåO=ABBáêàABBC6@? ß¿< àDZSBGPS?I696LBâ'89NSQàABåS=DB:C<àD<=Dß¿8LNOIàA89BCNÓäSNOPG<=?AåK<Y 8 ÇY=D<PGäOY àA89BCNº?HàD=DIàA<Q8L<w?E;BC= àDB åS=DB:C<XàD<=Dß89NOIàA89BCNBCNàDZS<(QC=DBCäONOPÓàA<=Dß!I69QC<JO=DIOEá¤BC=àD<=Dß =D<â'=D8²àD8LNOQ&?ÀöG?ÀàA<ßÅ ? Þ ùG?08LN?AZSB=Àà àAZOIà7I=D<yNSBCà àA<=Aß¿89NOIàD8LNOQÅBCNÓàAZS<Xá¤=D<<XàD<=Dß BCNS<í Þ ZS<yåS=DBBá+ß<àAZSBGPºâ <åO=ABåÇB;?À<XZS<=A<EGJOIC?A<PÓBCN1INº< ïGåS698@Y 8Là8LNOPSäOYàD8LBNºBN àAZO<XàA<=Dß¿8LNÇIàA89BCNåS=DBCåK<=AàHöCE<NOIJS69<?äÇ?àABàDIY"÷6L<àAZO<?A<yåS=ABJS69<ßÅ?í F·NìàDZS<1Y BNàD< ïàBCá7åS=DBCQ=DICß¿ß89NSQÇEàAZO<=D<ÓI=D<?À<àD?Bá7=DäS69<?EêàDZOIàÅ69<IPnàABnPG89:C<=DQC<N;àY Bß¿åSäGàDIàA89BCNO?â'ZS<N I6967PS<=D8L:IàD8LBNO?&IC=A<ãYBCNO?A8@PG<=D<PE`JSäGà&àDZOIàÓàA<=Dß¿8LNÇIàA<á¤BC=&åOIC=ÀàD89YäS6@I=Ò?ÀàA="IàD<QC89<?í`î!ádICß¿BCäO?Ò< ïSIß¿åS69<8@?ÅàAZO< <:IC6LäOIàA89BCN Bá'Iº=A<wY äS="?À89:C<á¤äSNOY àA89BCNgPG< ONS<P â'8LàAZgI N !#"%$'&()$+* ,'$+< ïGåS=D<?D?À89BCNêEâ'ZS89Y"ZnYICN PS8L:<=DQC<8²áàAZO< O="?Hà0IC=AQäSß¿<N;à89?'NOBà'<:I69äOIàA<P O="?Ààí

(9) BGYI6?ÀàA="IàA<QC89<?iBCNºBCåK<="IàDBC="? IC=A<äO?A<Pº89NÒàDZS89?0Y BCN;àD< ïàEG89NÓåÇI=AàA8@Y äS6@I=àDBá¤B=DY<0àDZS<y<:IC6LäOIàA89BCNºBá+< ïGåS=D<?Àë ?A8LBNO?7àAB&àD<=Dß¿8LNOIàA<í Þ ZO89?÷8LNÇPBá ?HàD=DIàA<Qö89?XI6969Bâi<wPJ;ö16@INOQCäOICQC<?7?ÀäÇY"Z1àAZOIà5. õ ;þS/E Iá¤<5. õ ÓBC0 = ICäOPG<CE INÇP?HàDäOPG89<Pã8LNç2ü 1wÿ$INÇPìü²ý 1wÿbíÇFbà89?PG< ONS<Pã8LNàAZS<á¤BC696LBâ'89NSQ&âIt3ö SàDBÓINöºBCåK<="IàDBC5 = 4 8@?IàÀà"ICY"ZS<wP1INB=DPS<=D<P 6989?ÀàBá+8LN;àA<QC<=D?EQC89:;89NSQàAZS<yåKB?A8LàA89BCNO?BCáêàAZO<(?ÀäSJSàA<=DßÅ?iàABÅJK<<:I69äOIàD<PÓ8LN1IQC89:C<NÓàA<=AßEGâ'ZSB;?À<7àABåBCåK<="IàAB= 8@6 ? 4+íS>SB='< ïSIß¿åS69<CEàDZS< Þ ù. 4798;:<= >?8@4 A=B(CED CEFHGEC#JI)CEKL+9:3M=N3;:<MO47JBP9:3== I#CKL+JQ) >?A@KER3C I#CKL+HG);:<S >T43U#FHGEC 8V4 A=B%CED CFJGECW9A@KR<C#MS: M=X Y>?: 8V4 A=B%CED CFJGECWJ43UWFJGEC#M=:PM=X Z>?X BP;Q) >?8OJQ) BP9:< >TG);89:<S äO?A8LNOQÒàDZS<ÅY BCNÇPG8²àD8LBNOI6 <ïåO=A<w?A?A8LBNE]PGB<?NSBààA<=Aß¿89NOIàD<á¤BC=7àAZS<Å?ÀàDINÇPSI="P=D<â'=D8²àD8LNOQÒ=D<6@IàA89BCNêEÇJSäSàyPSB;<w?â'8²àDZ àAZO<á¤B6L69Bâ'89NSQº?ÀàA="IàD<Qö</[.\98]AVC6^ ü²ý)_SQÿVE/[ \`J4/6â[.\;I#CEKLâ[ \HB(5^ üLý'_bQÿINÇPc[.\dN 6ê[ \;8V^ ü²ýÿVE â'ZS<=A0 < 8V4 A=B%CED CFJGECX8@?'PG<NSBCàA<wP 8]AVCXá¤B=?ÀZOBC=Aàí f6g ¯H"|}C}ytDH·±½¶w|(¶¹]z³z³GD+µ±¼¯H°Hz¸y¯H±½¯H ½i³; Ã ½±²·°}y±½| g ½"D¯·H¶|;±½e ¶¯H"+±½|j+¶w¸y³¯HD$kC"±½"|" r h7ei¶Â j m idmuwu kml.

(10) î0?ádIC=(IC?â <÷NSBâyE?AåÇ<wY 8 ÇYàA<=Aß¿89NOIàD8LBNãàDB;B69?7á¤B=y=A<â'=A8LàA89NSQºâ'8²àDZn?ÀàA="IàD<Q8L<w?0ZOIt:<BNS69öJÇ<<N QC89:C<Ná¤BC= àAZO<089NSNS<=Dß¿B?ÀàiYI?À<(üLý ÿ]INOPá¤B=$àAZO<7Y BN;àA< ïài?A<NÇ?À8LàA89:C<'=D<â'=D8²àD8LNOQ&ü²ýSE ýGES'QSE ýEQÿOBN¿á¤=A<<'àA<=AßøI69QC<JS=DI?EINOPá¤BC= àAZO<(8LNONS<=Dß¿B?Àà0INOPÓàAZO<(BCäGàD<=Dß¿B?Àà'YIC?A<? á¤B=QC=DBCäSNÇP&àD<=Dß BNS<?yüLýCýÿVíOR0<=D<CESâ <yåS=DBCåKB?A<yIàA<=Dß¿8LNÇIàA89BCNåS=DBBá ß¿< àDZSBGPìá¤B=àDZS<1YIC?A<ÒBCá069BYI6?HàD=DIàA<QC89<?BCNçBåÇ<=DIàAB=D?Eá¤B6L69Bâ'8LNOQàAZO<Ó89NOPGäOY àA89BCNéåS=DB;BCáåS=D8LNOY8LåO6L<ºåS=DBCåKB?A<P 89N üLýCýÿV+í BCàA<àAZÇIà'â'8²àDZÓBäS='IåSåO=AB;ICY"Z&â <7ZÇINOPG69<7àAZS<X69< áàAß¿B;?Hà'89NSNS<=Dß¿B?ÀàINOP&àAZS<X89NSNS<=Dß¿B?Àà?ÀàA="IàD<Q8L<w? ;àAZO< 69< áàAß¿B;?Hà(89NSNS<=Aß¿B?Àà?ÀàA="IàA<QCö18@?yIºåOI=AàA8@Y äS6@I=(YIC?A<¿Bái69BGYIC6?HàD=DIàA<QöCEICNOP I?XåS=DB:C<Pã8LNhüLý CÿVE]àD<=Dß89NOIàA89BCN Bá =D<â'=D8²àD8LNSQ089?ê<è;äS89:tIC6L<N;àá¤BC=êàAZS<i6L<áàAß¿B?Àà{89NSNS<=Aß¿B?Àà{ICNOPàAZS<i8LNONS<=Dß¿B?Àà{?HàD=DIàA<QC89<?í

(11) <à{äO?{I6@?ÀB0Y8²àD<$àA<=Aß¿89NOIàD8LBN =D<?AäS6²à"?á¤BC=7I¿÷;89NOPBCá =D<â'=D8LàA89NSQÅYI6969<PY BNàD< ïàÀë·?A<NO?A8²àD8L:<X=A<â'=A8LàA89NSQüLý SEEý GbE QSEý QÿbíGF·NàAZO89?7Y BCN;àD< ïàES=D<â'=D8LàA89NSQ 8@?7IC6L69Bâi<wPBCNS69öIà?ABCß¿<?AåK<Y 8 O<wP1åÇB;?À8LàA89BCNã8LN1àDZS<(àD<=DßÅ?EKâ'ZS8@Y"Z89?PG8 K<=A<N;àá¤=ABß!6LBGYIC6{?ÀàA="IàD<QC89<?ESàDZOIàXI=D< ß¿BC=D<?AåK<Y 8 Ç'Y ;89N&àDZS<y?À<wY BNOP&YI?À<ENOBà'BCNS69öÅI696LBâ <P&=A<â'=A8LàA89NSQåKB?A8LàA89BCNO?I=D<7?AåK<Y 8 O<wPEJSäGàI6@?ÀBàAZS<BC="PG<=`àDB Y BNO?A89PG<=àAZS<ß%í $ïSY <åGàá¤BC='åOIC=ÀàD89YäS6@I=YI?À<w? Bá 6LBGYIC6?HàD=DIàA<QC89<?EàDZS<XàHâ B÷89NOPS?BCá ?ÀàA="IàD<QCö&IC=A<yPG8 ]<=D<N;àí Þ ZS<yßÅI89N18@PG<I¿BCá+BäS=åS=DBBá{ß¿<àAZSBGP8@?'àABÅäÇ?À<y<ïåO6L8@Y 8Là089NOPGäOY àA89BCN1BCNºàDZS<XàA<=Aß¿89NOIàD8LBNºåO=ABåÇ<=ÀàHöÓ8LNBC="PG<= àABÅåO=AB:<7àDZOIà0ICNöÒ<69<ß¿<N` à A Bá$I¿QC89:C<Nº?A< àBCá{àD<=DßÅ ? /àD<=Dß¿8LNOIàA<w?'8í <CíSàAZS<=A<y8@?'NSBÅ89+N ONS8LàA<PG<=D8L:IàA89BCNY"ZOI89N ?ÀàDI=AàA89NSQá¤=DBCY ß AíÇ57äO='8LNOPSäOYàD8LBN1åS=A89NOY8LåS69<XäO?A<?'INB=DPG<=A89NSQBCNºQC=DBCäSNÇP&àD<=Dß¿?ZOIt:8LNSQàAZO<(?ÀäSJSàA<=Dß åO=ABåÇ<=ÀàHöí Fbà8@?yJOI?À<wPnBCN àAZO<Ò?À89ß¿åS69<&89PS<IàDZOIà8Lá'=A<wPGäOY8LNSQI1àA<=Dß AIYY B=DPS8LNSQºàDBãI1QC89:C<Ng?HàD=DIàA<Qö O="?Hà=A<wèäO8L=D<?àDB NSB=AßÅI69 8 <&I1?AäSJGàA<=Aß A

(12) BC. á AE{âi<ÓYINg?AäSåSåKB?A<CEJö 8LNÇPGäOYàD8LBNgZö;åKBàDZS<?A8@?EàDZOI à A

(13) $àA<=Aß¿89NOIàD<?Xá¤B=yàAZO<Ó?DIß¿< ?ÀàA="IàA<QCöíFbáâi<'=D<åO69IY < A J;ö¿IN¿89NOPGäOY àA89BCN&:IC=A8@IJS69 < !=A<åS=D<?A<N;àA89NSQ(INöBá8²à"?NSB=AßÅIC6Gá¤BC=DßÅ?E8²ààDZS<NÒ=A<ß¿IC8LNÇ? àABgåO=AB:<ÒàDZOIàÅàDZS<àA<=AT ß R/BCJGà"I89NS<P*Jöì=A<åS6@ICY <ß¿<N;àÅB0 á A

(14) 'J ö 89N A8@?¿àD<=Dß89NOIàA89NSQOE àDB åO=AB:<ÒàDZOIà A89? àA<=Aß¿89NOIàD8LNOQOíêî =D<â'=D8²àD8LNSQ1?ÀàA<å 8@?XàAZO<NnåÇ<=Àá¤B=Aß¿<wPãBc N Rná¤B6L69Bâ'8LNOQÒàDZS<&PG8 K<=A<Nà(åKB?D?A8LJS69<¿:I69äS<?XBC á 8Là(89? Y Bß¿åSäGàA<wP J;ö1NÇI=D=ABâ'89NSQOí Þ ZS8@?XåS=DBY<?D?08@?X8LàA<="IàD<P äSN;àA896$BCJGà"I89NS89NSQ1IÒNSBN NÇI=D=ABâIJS69<yàD<=DßºEB=yIÒàD<=Dß àAZO< 89NOPGäOY àA89BCN Z;öåKBàDZS<?A89?XICåSåS698L<w?0BN/í BàD<àAZOIà7àDZS<¿8LNOPSäOYàD8LBNãBC="PG<=A89NSQÒ8@?NSBàXQC89:C<NãIÓåS=A89BC=D8+JSäGà(Y BNO?HàD=DIC8LNO<P PGäS=D89NSQÅàAZO<(åS=DB;BCá$J;ö?A< àÀàD8LNOQ&BC="PG<=D89NSQÅY BCNÇ?HàD=DIC8LN;àD?íOî0åSåS69ö;89NSQÅàDZS<89NOPGäÇYàA89BCN1ZöåKBàAZO<?A89?àAZS<N16L89<?0BCNàA<w?HàD8LNOQ â'ZS<àAZS<='àAZS<w?À<yYBCNO?ÀàA="I89N;àD?'I=D<X?AIàA8@V? ÇICJS69<Cí 57N àAZS<ÒåS=A<:8LBäO?y< ïSICßåO6L<EBCäS=ß<àAZSBGPgYBCNO?A89?ÀàD?(8LNgåS=DB:8LNOQÓàD<=Dß¿8LNOIàA89BCNnBáàDZS<ÒY BNO?ÀàDIN;à"?EêICNOP BáàAZO< àA<=AßÅ?XBCá`àAZO<á¤B=Aß 47mMSI#CKL+MS8HAVCWMMmMbBPmM=85MVN/5MbG#EOá¤BC=XàAZO<åO=A<:;89BCäÇ?À69ö1QC89:C<N ?ÀàA="IàA<QCöE â'ZOIàA<:<=àAZO<:IC6LäS<w?XBáiàAZS<¿QC=DBCäONOP1àD<=Dß¿ ? `MEMMí{57J:8LBäO?À69öC3E Q MSA@KR<C#Mb43UWFHGC¿IC=A<8LN NSB=AßÅI6+á¤B=Aß ICNOP àAZO<N1àD<=Dß89NOIàA89NSQOíK>SBC6 = 8Ojd6L89÷C<yá¤B = G#INOP BPSEÇäO?À89NSQÒICN18LNÇPGäOYàD8LBN1BC="PG<=D89NS Q ?ÀäOY"ZºàDZOI5 à 8OE JöÒ89NOPGäOY àA89BCNZöåÇBCàAZS<w?À8@?EGâ <yYICN?AäSåSåKB?A<àAZOI à 8@? àA<=Aß¿89NOIàD8LNOQOíÇùB¿8@ ? 8 ES?À89NOY j < 8`89?I¿YBCNO?ÀàA=DäOYàDBCj = ¤8Ví <Cí 8 8@?'NSBàIàDBCå?ÀößJKBC6BCá+69< áàAëVZÇINOP?A89PG<XBCá+=DäS69E< í õ öyPGm< ONO8²àD8LBNBáOàAZS<?HàD=DIàA<QCöCENSBC=DßÅI698 8LNO Q I#CKL+3O="?Àà+Y BNO?A89?ÀàD?{8LNNSBC=DßÅI698 8LNO Q (Ew8LN;àABXINöXBáS8LàD?+NSB=AßÅIC6 á¤BC=DßÅ ? Å8²á8Là<ïG89?ÀàD?EÇICNOPàAZO<N I#CEKL+)0Ià0àDZS<(àDBCååKB?A8LàA89BCNí]>SB=àAZO<?DIß¿<B=DPG<=A89NS Q IC?7åS=D<:89BCäO?A6LöESâ < ZOIt: < I#CEKL+!(í Þ ZS<NECJ;ö8LNOPSäOYàD8LBNZöåKBàAZO<?A89?"E çàD<=Dß¿8LNOIàA<w?í

(15) ê< # à JÇ<ICN;öBáÇ8LàD?NSBC=DßÅI6;á¤BC=DßÅ ? àAZO<=D< YICNJÇ<(?A<:<="I6NSB=AßÅI6]á¤B=AßÅ?8Lá àAZS<(?AöG?HàD<ß 8@?'NSBCà0Y B%N $OäS<Nà í Þ ZO<XàA<=Dß¿8LNÇIàA89BCNBC7 á I#CEKL+ 8@?àAZS<N=A<wPGäOY <wP àAB¿àDZS<XàA<=Aß¿89NOIàD8LBNÓBC7 á I#CEKL+' ESâ'ZS8@Y"ZYINºBCNS69ö&=D<PGäÇY <X8LN;àDB A@KER3CyB6 = 43U#FHGECí B=AßÅIC6L 8 89NSQ B I6@?ÀB O="?Hà(Y BNO?A89?ÀàD?89N NOBC=Dß¿IC6L 8 89NS& Q (íF·N I?A8Lß¿8969IC=Xâ ItöI?XåS=A<:8LBäO?À69öCEKàDZS<Å8LNÇPGäOYàD8LBN ZöåÇBCàAZS<w?À8@?yYICNãJK<&IåSåS6989<PãàA' B (í Þ ZS<àA<=Aß¿89NOIàD8LBN BC. á B 789?àDZS<N =D<PGäOY<PãàABºàAZO<àD<=Dß¿8LNOIàA89BCN B á B )E â'ZS8@Y"Z1YINºBCNO6Lö&=D<PSäOY <X89NàDB 8;Q) EàAZOIà89?8LNºNSBC=DßÅI6]á¤B=AßEGBC='89N;àAB G#98)= EGàAZOIà89?0I6@?ÀB8LNNSB=AßÅIC6]á¤BC=Dßºí B=AßÅIC6L 8 89NSQ 8]AVCW M M O=D?ÀàÓYBCNO?A89?ÀàD?Ò8LN/NSBC=DßÅI698 8LNS( Q í î7?&åS=D<:89BCäO?A6Lö) E YINÉJK< ?AäSåSåKB?A<PéàDB JK< àD<=Dß¿8LNOIàA89NSQOE'ICNOPôàAZO< àD<=Dß¿8LNOIàA89BCN Bá 8]AVCW M M Ó=D<PGäOY<PôàDBçàDZS< àA<=Aß¿89NOIàD8LBNÉBá 8]AVCW M M í î0YY B=DPG89NSQ7àABàAZO<?HàD=DIàA<QöCE 8]AVCW*%MM{8@?+àAZS<N¿=A<wPGäOY <wP89N;àA B iB# = EàAZÇIàI=D<`àD<=Dß¿8LNOIàA89NSQXJö(8LNÇPGäOYàD8LBN ZöåÇBCàAZS<w?À8@?í + <yåS=ABGY<<PÓ89NÓàDZS<(?DIß¿<Xâ Itö¿á¤B=?HàDäOPGö8LNOQÅZSBâ 47NOBC=Dß¿IC6L 8 <w?í 57äS= QCB;I6KZS<=D<78@?iàABåS=DB:;8@PG<I(åS=DBGY <PSäS=A<78Lß¿åS69<ß¿<NàD8LNOQ¿?AäOY"ZÒI=D<IC?ABCNO8LNSQÇíCF·N1ù<Y àA89BCN GEàAZS<XJOIY"÷;Q=ABäSNOP 8@?XåS=A<w?À<N;àA<Pí]ù<wYàD8LBN þÓ8LN;àD=ABGPGäOY<?0àAZS<¿JOI?À8@YNSBàD8LBNO?7á¤BC=Dß¿IC6L 8 89NSQÓBCäS=8LNÇPGäOYàD8LBN åO=A89NOY 89åS69<CíF·Nnù<Y àA89BC, N ÇEI =DäS6L<ëVJÇIC?A<PÅI69QCB=A8LàAZOß ß¿<Y"ZÇINS 8 89NSQyàDZS<0åS=DBBáåS=D8LNÇY 89åS6L<789?iQC89:C<NEC8LàD? Y B=A=D<Y àANS<w?A?89?`<?ÀàDIJO6L8@?ÀZO<P&ICNOPÅ< ïSICßåO6L<w? I=D<XQC89:C<Ní -. .0/13254$Ü7698ØSÙ`Û7Ö0Ú. + <&IC?D?ÀäSß¿<àAZÇIàXàAZS<Å=D<IPG<=X8@?ádIß¿896L8@I=yâ'8LàAZ àAZO<ÅJOIC?A89YPG<ONS8LàA89BCNO?(ICNOP NSBà"IàA89BCNÇ?XBá`àD<=Dß =D<â'=D8²àD8LNSQQ8L:<N á¤BC='89NO?ÀàDICNOY <8LNnü ÿbí7: ; M*< i8@? àAZS<y?A< à'Bá{àA<=AßÅ? JSäS896²à'á¤=DBCß IQC89:C<N ONO8²àD<(?À<à=; BCáêá¤äSNOY àA89BCN?ÀößJÇB69? ZOIt:89NSQ INôI=D8LàHö D?>A@ E0INÇP*I ?À<àB< BCá7:I=D8@IJS69<?PG<NOBàA<wP :PM=XCCCLíD: ; 8@?àAZO<?A< àÅBCá7QC=DBCäONOPgàD<=Dß¿? dâ'8²àDZSBCäGà :I=D89ICJS69<O? í Þ ZO<ÒàD<=Dß¿?Y BßåKB?A<PìJ;ögI?AößJKBC6 Bá0IC=A8LàHö Q I=D<ÒYIC6L69<PçY BCNÇ?Hà"IN;àD?_Eô89?àAZO<º?A< àBá0Y BNO?ÀàDIN;à"? B á ;º# í F B?A8²àD8LBNO?y89NçI1àD<=Dß I=D<&=A<åS=D<?A<N;àA<wPgIC??A<è;äS<NOY <w?BCá8LN;àD<QC<=D? _HG¿PG<NSBàD<&àDZS<Ò<ßåSàHön?A<è;äS<NOY <í Þ ZO< àABå åKB?A8LàA89BCNãBCáiIÒàA<=Dß A08@I ? GwE]ICNOP1àDZS<Å?ÀößJÇB6 Ià7àDZS<àABåãåKB?A8²àD8LBNãB á A08@?7â'=D8LàÀàA<N AVLKJZ9A=í

(16) ê< à JnINOB P JL JK< àHâ BÓåKB?A8²àD8LBNO?í Þ ZO<åKB?A8LàA89BCM N J 8@?y?AIC89PàABºJÇ<¿åS=Dm< OïãB á JN dICNOB P JN $?ÀäSñïBCH á J308LH á JN 7ÔJQPEâ'ZS<=AR < P 8@?yIÒNSBN.

(17) <ß¿åGàHö¿?A<è;äS<NÇY <Bá89NàD<Q<="?íCM89:C<N¿IàD<=Dß AE 9A=89?$àAZS<?A< à`BCáKåKB?A8LàA89BCNO?$89N AE89NOPGäOY àA89:C<69ö¿PG<mONO<P¿IC? á¤B6L69Bâ? 9A= ^G 8V4 AR>O< M 9A= ^ G E8*C J

(18) ý 8 aDnINÇP J >

(19) ;AH-8V4 A^ 47;A MCCCM=A í Þ ZS8@??A< à89? åOIC=ÀàD8²àD8LBNS<Pã8LN;àAB 9A=6^J(> 9A= A > <¿ICNOP 9A=6^*J(> 9A= +A M><¿â'ZS<=D<àDZS<NSBà"IàA89BCN A ?ÀàDINÇPS?Xá¤BC=XàDZS<&?AäSJGàA<=Aß B. á AIà(åÇB;?À8LàA89BCM N JêíFbá J > 9A= EàAZO<N A ü A

(20) ²ÿ ºPG<NOBàA<w?XàAZO<¿àA<=DßòBJGàDIC8LNO<Pãá¤=ABß A7Jö =D<åS6@ICY8LNSQàDZS<(?ÀäOJGàA<=Aß IàåÇB;?À8LàA89BCN J1JöÅàAZO<XàA<=Dß A

(21) Ví î ?AäSJO?ÀàA8LàAäGàD8LBNì8@?INgI?A?A8LQNSß¿<N;àyá¤=DBCß < àA, B : ;-MK< E+â'=D8²àAàA< N ^ 9:>! A=QCCC;X"!> R3 íêFbàäSNO89è;äS<6Lö < ïàD<NOPS?àDB1IN <NOPGBß¿BC=DåSZS8@?Àß BC= á : ;-MK< í + <¿8@PG<N;àA8Lá¤ö I?AäSJO?ÀàA8LàAäGàD8LB N ^ 9: >! A=CCCE9X!> R37â'8LàAZ àAZO< ONS8LàA<?À<à0Bá <è;äOIàA89BCNO? ;: ^ A=$#0CCC%# ;X ^ R/í Þ ZO<(=A<w?ÀäO6²àBCá$ICåSåS69ö8LNS& Q àABÓIàA<=DY ß A> : ; M*< 8@?â'=D8LàÀàA<N 9A=0BC' = 3Aí Þ ZO<PGBß¿IC8LN1BC( á E]PS<NSBCàA<* P ) L,+ - 8@?àDZS< ÇNS8²àD<?AäSJO?A< àB) á < ?AäOY"Z1àAZÇI. à 3:^ :{í Þ ZO<="INSQ<yBá EÇPS<NSBCàA<0 P /0U#D 1 ES89?0PGm< ONO<PJ2 ö /0U#D 1 ^436587:9<;>=.?@BADC U#K+13:3íî QC=DBCäSNÇPÓ?AäSJO?ÀàA8LàAäGàD8LBNBC='89NO?Hà"IN;àA8@IàD8LBN 8@?iICNÒIC?D?À89QCNOß<N;àá¤=ABß < àAB : ; Fí EGPG<NSBàD<?`àAZS<789PS<N;àA8LàHö&?ÀäOJO?HàD8²àDäGàA89BCNêí Þ ZS<Y BßåKB?A8LàA89BCN&BCáê?ÀäSJÇ?HàD8²àDäGàA89BCNO? á¤BC696LBâ <PÓJ2 ö 8@?'PG<NSBàD<0 P íÇM89:C<NÓàHâ B¿?AäSJO?ÀàA8LàAäSàA89BCNO ? INÇH P ESâ <Xâ'=A8LàA < 8 IDJÅ?AäOY"ZºàAZOIà ^KJL íêM8L:<NnIº?AäSJO?A< à < BC9 á <Eâ <¿NSBàD& < NMPOyá¤B=XàAZS<Å=D<?ÀàA=D8@YàA89BCN BQ á ìàDBºàAZS<Å:I=D8@IJS69<?B á < E8Ví <íàAZO< ?AäSJO?ÀàA8LàAäGàD8LBN?ÀäOY"ZÓàAZÇIR à ) L,+ 1SMSOUT < INÇ& P V3:>) L,+ 1SMSO:SMSOb: ^W3:HC M89:C<NºI¿?À<X à / BCáê=D<â'=D8²àD<7=DäS69<? BC= àA<=Aß =A<â'=A8LàA89NSQ¿?ÀöG?ÀàA<ß B& N :-; M*< ESIá¤äONOYàD8LBNº?AößJKBC6]8LM N ; 8@? YI696L<wP I&YBCNO?ÀàA=DäOYàDBC='8Lá$8²à7PSB;<w?'NSBCà0BGYY äO=8LY N / Ià'àDZS<yàDBCå1åKB?A8²àD8LBNºBCá àAZS<(69< áàAëVZÇINOP1?A89PS<(Bá$IÅ=DäS6L<EOINÇPÓ8@?0YI696L<wPI PG< ONS<Pãá¤äSNOY àA89BCNn?ÀößJÇB6{BCàAZS<=Aâ'8@?À<í Þ ZS<?A< àXBá Y BCNÇ?HàD=AäOY àAB=D?7B) á ;á¤BZ = /ø8@?XPG<NOBàA<wPJ ö [0LD G%\EKàAZS<Å?A< àXBá PG< ONS<PÒá¤äSNOY àA89BCNº?ÀößJKBC6@?iB á ; á¤BCX = /ð89?PG<NSBàD<PÒJ;& ö ) C4B\ -/ 89? Bß8LàÀàD<PÒâ'ZS<NÒàAZS<=A<789? NSB¿IßJS8LQäS8LàH+ö í Þ ZO< =D<â'=D8²àD8LNSQÒ=A<69IàA89BCN8LNÇPGäOY <wP1J* ö / 8@?0YI696L<wP?Hà"INOPOI="PÓ=D<@ â'=D8LàA89NSQ&=D<6@IàA89BCN1ICNOP18@?NSBCàA<P > \ H> 8²á`àAZS<=A<(8@?NOB IßJS89QCäS8LàHöÒB N /jí + <(NOBàA< G0>],^ _a`bc^ @ Aj¤B6 = G5> B^ _`bc^ Aiâ'ZO<=D<<8²àDZS<) = J1BC` = F >?KBC = ßÅItö&JK<(BCß¿8LàÀàD<%P 8Lá Gy=D<â'=D8LàA<? 89N;àAB AiIàåKB?A8LàA89BCN Jºâ'8LàAZºàDZS<X=AäS69j < F > KICNOPÒàAZS<y?AäSJO?ÀàA8LàAäGàD8LB0 N í Þ ZS<àA<=Dß GD 89?'YI696L<wPÓI=D<PG<ïE àAZO<åKB?A8LàA89BCN JI(=D<PS< ï&åKB?A8²àD8LBNÓINÇPÅàAZO<?AößJKBC6]8LN GXIàåÇB;?À8LàA89BCN JÓ8@?YIC6L69<PÓI=D<PG<ï&?ÀößJKBC6Ví Þ ZS<7àA="INO?A8²àD8L:< ¤=D<?AåíÇ=A< $O< ïG89:C<yàD=DICNO?À8LàA89:C< Y 69B?AäS=D<yBá$àAZO<(=A<â'=A8LàA89NSQ&=D<6@IàD8LBN8LNOPSäOY <wP1J ö / 89?7PG<NOBàA<wPJö > \d ¤=D<?Aå3í >f\e í Fbá8Là <ï8@?ÀàD?EàAZO<06@IC?ÀààA<=AßøBáI ONS8LàA<7PS<=D8L:IàD8LBN&?Hà"I=AàA89NSQyá¤=DBCa ß A$89?i?AIC89PàDBJK<089N&NSB=AßÅI6Oá¤BC=DßEINÇP¿89? PG<NOBàA<wP Jö A Sí îNÒBC="PG<=D8LNOR Q éBB N : ;-MK< $8@?i?DI8@PàABJÇ<7NSB< àDZS<=D89ICN ¤B=`â <696²ëVá¤BCäSNÇPG<%P 8 ºàAZO<=D<89?iNSB(89+N ONO8²àD<PG<wY =D<I?À89NSQ Y"ZOIC8LNÓá¤BC= àAZO89?B=DPG<=A89NSQÇíFbà'8@9 ? ;ë·?Hà"IJS69<8 1á¤B=ICNöÅåOI89='BáàD<=DßÅ ? AM=A Bá : ; M*< Eá¤BC=ICNö&Y BCN;àD< ï à 47CCCCCC2E A= A

(22) ;89ßåO6L89<7? 47

(23) CCC=AQCCC )47CCC=A

(24) CCC2ítFbà{ZÇIC?êàAZS<?ÀäOJGàA<=Aß åS=DBCåK<=AàHö78 ¿á¤BC=+IN0 ö ABá : ;-MK< 'E 47CCC=ANCCC2= Aí BCàA<0àAZOIài8L)á ô89? ;ë·?ÀàDIJO6L<0ICNOPÅZOI?àDZS<7?AäSJGàD<=DßøåS=ABåÇ<=ÀàHöEàDZS<N&8Lài8@?iNSB< àAZO<=D89ICNíFbáHE;89NÒICPSPS8²àD8LBNLE ô8@?i?ÀàDICJS69< Jöº?AäSJO?ÀàA8LàAäSàA89BCN ¤á¤BC=7ICNöÓ?AäSJO?ÀàA8LàAäGàD8LB N EÇICN;öºåOIC8L=BCá àA<=DßÅ` ? AMSA

(25) H>0: ; M*< mM A A

(26) ê89ß¿åS6L89<. ? 3AW3A

(27) dEOàAZS<N 8Là78@?YIC6L69<P1IÅ?A8Lß¿åS698 ÇYIàA89BCN1BC="PG<=A89NSQOí

(28) ê< 6 à AJK<IàA<=AßBD á : ; m_O69< àäO?'=D<YIC6L6àAZOI6 à A àA<=Dß¿8LNÇIàA<w?'8LáÌNOPºBCNO6Lö 8Lá ICN;öÒ=A<â'=A8LàA89NSQÅPG<=D89:tIàA89BCN ¤B=PG<=D8L:IàA89BCNY"ZOI89(N ?Hà"I=AàA89NSQá¤=ABß A 89. ? ONO8²àD<Cí ÕÖ0Ú7Û0ÜK×SÝHÙiÖih"ÙØé×%1ØkjøÝAÖ4+×SÝHÙ`Öl*Ý·×7/nmHÙ'ÜQ4om6p×GØ74+×%18`Ý

(29) 1qp g. <NSBâ àDIY"÷;69<XàAZO<yàA<=Aß¿89NOIàD8LBNºåO=ABJS6L<ß á¤B==D<â'=D8²àD8LNSQÅâ'8LàAZ169BGYIC6ê?HàD=DIàA<QC89<?'BNºBåÇ<=DIàAB=D?ESIC?'<ïGåS=A<w?A?A<Pº89N üLýEtÿêICNOP?HàDäOPG89<Pº89Nnü21wÿbíSî 69BYI6?ÀàA="IàD<QCöÅ8@?PG<ONS<wPÓ89NÓàAZS<Xá¤B6L69Bâ'8LNOQâItöCí +. rsLtvuxwzyw-{Nu}|S~.

(30) {ùô=D<â'=D8LàA89NSQç?ÀàA="IàA<QCöKBv N-B: 6 :-; M*< c&: ; S 1 [.\]cB ; kZ¡Q¢£1 ¡Q¤5@ ¥¦:-§ Hcö - &cB8,(¡8¢ ¢B¨v ©X ª, x NcB8 kB6[.\J4/ ^ ü J MCCCM JS«wÿ¥#JN > ü Q7C C U)K8]A@X/J4/·ÿ<¡B8¢ ¢ 8&> üLý C C¬;ÿ-¥(¡8H8 B®8/ ¢ 4>,;H¥ B&B¢£¯ Y A^ 479A MCCCM=A = 5> : ; M*< c¡(> : ; 2ö k Q[.\J4/^ ü JQMCCCMJ « ÿ¥ -. * B&B¢£¯ H8¢ ¢Pk®¡6'. ABPk, 1 JMCCCMJ « ¡ ª,¢£,¥° Bc¦8 2±z² -B::´³zZz²c±cµL- 8)>nüLý C C;¬ ÿ° 0z²BN JQMCCCmM J 1¶ 6^ Q ¦ J ^ Q"dQ*z²2k, 1 ,¥U k · ·. Zz² Fc ° A

(31) <L®¡B ¦2 B&B¢£¯ A %OMCCCM=A ¡¸z¹O6'¦8 1®¢±B< kk, 1 & ¡ N/9R MNCCCM=RP ¥q k N3;R MCCCMSRS R 88¢£¯%¦6ö z2ck x[ \`dN R ¦z².c¡(Qz²R-B: ü JN d MCCCM JS«wÿXº Bc¦,¥ A

(32) < 8<c¦8 1®¢±BU kH²B 1 ¥°z² A

(33) < B&B¢£¯%¦2ö Yc¡-k <J MCCCMJ « d. î ày<IY"Zã=D<â'=D8²àD8LNSQ?ÀàA<åêE]àAZS<¿àD<=Dß 0 A 8@?X?AIC89PãàAB {

(34) ùëV=D<â'=D8²àD<89N;àABIÓàA<=Dß

(35) A íFbá A PGB<?XNSBCàX=D<â'=D8LàA<á¤BC=XàAZO<

(36) {ùëb?ÀàA="IàD<QCöEO8Là8@?X?AIC89P1àABÒJK<8LN +

(37) ù;ëbNSBC=DßÅI6{á¤BC=Dß?dBC=8LNãNSBC=DßÅI6{á¤BC=Dß8LáàDZS<=D<8@?0NOBºICßJS89QCäS8LàHö íKFbáiINö

(38) {ù;ë =D<â'=D8²àD8LNSQY"ZÇI89Nn?ÀàDIC=ÀàD8LNOQá¤=ABß X A 69<ICPO?XàABICN

(39) {ù;ëbNSBC=DßÅI6 á¤B=Aß àAZS<N AX89??AIC89P àABãJÇ<

(40) +ù;ëVàA<=Dß¿8LNÇIàA89NSQ dBC=yàDB

(41) ùëàD<=Dß89NOIàA<E íSFbá+àAZS<y<:tIC6LäÇIàA89BCN?ÀàA="IàA<QCöÅBCá IàA<=AßY

(42) A 89?'àAZS<y<ßåSàHö&6L8@?ÀàEGàDZS<N

(43) A 8@?'89N +

(44) ù;ëbNSBC=DßÅI6Ká¤BC=Dßí { F·NàAZO<yá¤BC696LBâ'89NSQÇEGâi<yâ'896L6{äO?A<(I¿NSBàD8LBN1< ïGåS=D<?D?À89NSQàAZS<åÇB;?A?A8LJO6L<y=D<PGäÇY 89JS6L<yåKB?A8LàA89BCNO?'BCáINö&89NO?Hà"IN;àA8@IàD8LBN Bá7AESâ'8LàAZ=D<?AåÇ<wYààAB¿àDZS<

(45) {ù;ë·?ÀàA="IàA<QCöí.

(46) . rsLtvuxwzyw-{Nu ~ k, -1 J4>H AR> : ; M*< HH v Nak, 1 AH z²&x Sc8:B¢ ¢8¨vH cö ` AZ8Pk, -1 J¥°8. 'z².v NcB8B¢ ¢8¨vZ±cö :cB ¦± S >.AZ8P²B -1 J BB ]µZk, 1 #Jv. . j\`9A= Bá. Þ ZS<(?A< à`[ \.

(47) {ùëVåKB?A8²àD8LBNO?Bá IàA<=DßYAYICNÓJK<(Y Bß¿åSäGàA<wPº8LNºàAZO<Xá¤BC696LBâ'89NSQâ Itöí. G 3 7

(48) k?%A8EK8 C JY KJ> [ \ j\;RS]ð8²á Q > [ \H4/M [.\ j\J47;R M CCCMSRS S ^ 3 7

(49) ²?AE8KC JY KJ> [ \ j\;RSH 8²á Q> [ \H4/M > < M [.\ j\9:3 ^ Gð8²8²á7á7: : > C . · ·. . ~1|. ¡u !8yw-{Nu#"{$&%1{'! ()%+*y,$-(Fys/.Sw1s/*. >SB=7åO=AB:89NSQÅàAZÇIàI&àA<=Aß ABC) á : ; 6

(50) +ù;ëVàA<=Dß¿8LNÇIàA<w?EKâ <åS=DBGY <<wPJöº89NOPGäÇYàA89BCN BCN,: ; â'8LàAZ I&NSB< àDZS<=D8@IN BC="PG<=A89NSQBe¤ß¿BC=D<0åS=D<Y89?A<69öCEGICN ;ë·?ÀàDIJO6L<BC="PG<=D89NSQ(ZOIt:89NSQ(àDZS<y?ÀäSJSàA<=Dß åS=DBCåK<=AàHö EIC?D?ÀäSß¿89NSQ(àDZOIàá¤B= ICN;ö A

(51) ?AäOY"Z(àDZOIà A= A E A

(52) {ù;ëVàA<=Aß¿89NOIàD<?í + < O=D?Àà$åS=DB:C<$àDZOIàI7JOIC?A89Yi?À<à$BáOß¿89NS8LßÅIC6G<69<ß¿<N;àD?{á¤B==

(53) {ù;ëVàA<=Aß¿89NOIàD<?í î0?iàDZS<?AäSJGàD<=Dß åS=DBCåK<=AàHöá¤B5 = É8@?i=A<wèäO8L=D<PEàAZO<?A< àBáß¿89NS8LßÅIC6K<6L<ß¿<N;àD? 8@?iI?ÀäSJÇ?À<à BCáàAZS<X?A< àiBCá{Y BNO?ÀàDIN;à"? Bá ;ºí á : ; í]>SB=àDZOIàwEÇâ <(BCJÇ?À<=A:<7àDZS<=D<â'=D8LàA89NSQÒPG<=A89:IàA89BCNºàD=A<< + <(àAZO<NãYBCNO?A89PS<='àDZS<YIC?A<yBáINöÓàA<=Dß A'BD á¤BC=&àAZS<

(54) +ù;ë·?HàD=DIàA<Qöì?Hà"I=AàA89NSQná¤=DBCß I àD<=Dß A ^ N3;:QMCCCM=: = Eá¤B=ÒINö NA> ;ºEâ'ZS<=A< :MCCCM=: = I=D< 89NOPGäOY àA89BCN :tIC=A8@IJO6L<w?0àDZOIà(YINãJK<¿8LNÇ?Hà"IN;àA8@IàD<PJöãICNö1QC=DBCäSNOP1àA<=Dßí Þ ZS<

(55) {ù=A<â'=A8LàA89NSQº=A<69IàA89BCNãBNãQ=ABäSNOP àA<=AßÅ?89??A8LßäS69IàA<wPgJö àDZS<ÓàHâiBß¿<wY"ZOINS8@?Aß¿?JK<69BâøàABá¤B6L69Bâ àAZS<PG<=A89:IàA89BCNnàD=A<<Ó?ÀàDIC=ÀàD8LNSQá¤=ABß A E+ICNOP â'ZSB;?À<Y äS=D=A<N;ààA<=Aß89 ? A3í

(56) < 0 à [ \;AVLKJP;A==^ ü J MCCCM JNÿVEICNOP JS«àDZS< Ç=D?Àà7<6L<ß<N;à7Bá0ü J MCCCmM JN;ÿ$?ÀäOY"ZàAZOIà JS«j^ QSí. 0213. 04153. ,6. >+89=D?ÀàE`àAZS<ã?AäSJGàD<=DßÅ? A OMCCCmM=A ¹O BCá5AZOIt:<àABgJK<

(57) {ù;ëbNSB=AßÅI698 <PE$J;öéPG<mÇNS8²àD8LBNhBáàAZS< IJKB:C<

(58) {ù;ë ?ÀàA="IàD<QCöí]Fb á A A OEMCCCM=A ¹O âi<¿YICN ?AäSåSåKB?A<CEJö189NOPGäOY àA89BCN Z;öåKBàDZS<?A89?EKàAZOIà7àDZS<?A<Å?ÀäOJGàA<=AßÅ?XI=D<

(59) +ù;ëàD<=Dß¿8LNOIàA89NSQOí + <XàAZO<N=A<åS6@ICY <àDZS<ß 8LN A`JöL®c 1 ª,81:®¢9 =A<åS=D<?A<N;àA89NSQ=A<w?ÀåK<Y àA89:C<69öÒICN;ö BCáOàAZO<89=+NOBC=Dß¿IC6;á¤BC=Dß¿Z ? A %wàAZS<w?À<:I=D8@IJS69<?{â'8L696GBCNO6LöyJK<i89NO?ÀàDICNàD89IàA<wPJöXàA<=AßÅ?+89NNSB=AßÅIC6Cá¤B=Aßí <I?ÀBNS89NSQ Jö8LNOPSäOYàD8LBN&I696LBâ?$äÇ? àAB(BNS69ö?AäSåSåKB?A<àAZS<0< ïG89?ÀàA<NOY <0Bá]àAZS6 < A &ö z²8Foµ¡S¢£ ¢£ 8 PF- ± k¡ _àDZS89? ?ÀàA<åâ'896L6GJK<YIC6L69<PIJO?ÀàA="ICY àA89BCN?HàD<åB=$IJO?ÀàA="ICY àA89BCNBCáOàDZS<'?ÀäSJSàA<=DßÅ?+B(á Aí + <'I6@?ÀBX?DItö7àDZOIà A{89?$ICJO?HàD=DIYàD<P 89N;àAB&IàA<=Aß Çí N GwEá¤B6L69Bâ'89NSQIC6L6]åKB?D?À89JS69<7Q=ABäSNOP&89NO?ÀàDICNàD89IàA89BCNO?iBá Çí · ù<wY BNOPEG=D<â'=D8²àD8LNSQàAZS<X=D<?AäS6LàA89NSQàD<=Dß ÅIà'åÇB;?À8LàA89BCM Þ ZS8@?'8@?Y Bß¿åSäGàA<wPÒJöºINÇI=D=ABâ'89NSQ?ÀàA<åBCN Çí Þ â BÅYI?À<w?ißÅItö&ZÇIåSåK<N 8²á ì89?¿NOBàÅNOI=D=DBâ ICJS6L<ÓIà¿àAZS<ºàDBCåôåÇB;?À8LàA89BCNêE{àDZS<?AäSJGàA<=AßÅ? ´ O MCCCmM ´ Bá nàAZS<NôZOIt:C<ÓàABnJK<

(60) {ù;ëbNSBC=DßÅI698 <PEGICNOPÒâ <XàA=DöÅàDB¿ICJO?ÀàA="ICYààDZS<ß 6L89÷C<yIJKB:C)< _ 8²á 8@?{NÇI=D=ABâIJS69<$Ià{àAZS<iàABååKB?A8²àD8LBNEàDZS< NOI=D=ABâ'89NSQ?ÀàA<å(89?+Y Bß¿åSäGàA<wP(â'8LàAZI696åKB?D?À89JS69<`=DäS69<?+INOP(IC6L6 åÇB;?A?A8LJO6L<?ÀäSJÇ?HàD8²àDäGàA89BCNOQ ? QMCCCmMc _ àABQC89:C<0àA<=AßÅ? MCCCM _ EàAZÇIàZOIt:C<0àABJÇ<yY BNO?A89PG<=A<wPÅ=D<?AåÇ<wYàA89:C<6Lö â'8²àDZ(àAZO<?ÀàA="IàD<Q8L<wP ? [.\9AVLKJZ mSMCCCEM[ \;AVLKJP _ SíCùB7àAZO<iàHâ B0ß¿<wY"ZOINS8@?Aß¿? ICJÇB:<iI=D<iICQIC8LNICåSåS698L<wP BCNàAZS<àD<=DßÅ? MCCCM _ íCF·NÅIPSPG8LàA89BCNE89NO?ÀàDICNOY <w?$Bá (àDZOIàÌC=A<NSBCàiY BNO?À8@PG<=A<wPJö(àDZS<'NOIC=A=DBâ'8LNOQ7ZOIt:< àABnJÇ<1=D<PSäOY <wP*IààDZS<åÇB;?À8LàA89BCNÇI ? J « d MCCCMJ íiùGB àDZS<àHâ B ß¿<Y"ZÇINS8@?ÀßÅ?ÅPG<w?AY=A89JK<PéIJKB:C<I=D<ºIC69?AB IåSåS6989<PBCN IàåÇB;?À8LàA89BCNOQ? J « d MCCCM J á¤BC= àDZS<89NO?Hà"INOY<? BCá yàDZOIà I=D< NOBà89NO?Hà"INOY<? BCPá <M=8>nüLý C C Fÿbí ? AZÇIt:;89NSQçICNh<ß¿åGàHö

(61) {ùëb?ÀàA="IàD<QCö*BC=ÓBCNÉY äO=A=D<N;à&àD<=Dß¿?ÒàAZO< · Þ ZS< åS=DBY<?D?Ò?ÀàABåO?&BNôàAZS< Y äS=D=A<N;à&àA<=AßÅ89NOPGäOY àA89BCNôZöåÇBCàAZS<w?À8@?ÅYICN*JK<1IåSåS6989<P*BCN ¤8Ví <í`?ÀäÇY"ZçàDZOIà A A_8LN*àAZO89?&YIC?A<C7 E A8@?Å?AäSåSåKB?A<PçàABgJK<

(62) +ù;ëàD<=Dß¿8LNOIàA89NS#Q í. 0213. ·. ,6. 87. 97. ; <7 ; 7. E7. CA. ?A. :7. =7 ,6>. +A BA. BA. D7. 7. ?7 @ <7. ?A. 0213. F7. 7. BCàA<ÓàAZOIà8LáàDZS<=D<ºPSB;<w?NOBà¿< ïG89?ÀàIJS«89NW*J MCCCMJSN?AäOY"ZgàDZOIàIJS« ^ QSE+àDZS<N*BCNS69ö àAZS< O="?HàåÇB8LN;à¿89? åS=DBGY <?D?A<PESICJO?HàD=DIYàD8LNSQ<:<=Dö&?ÀäOJGàA<=Aß A ¸iBá7AM=8D>güLý C C D]ÿbí. +. ~ GIHJ*y,$K(!8yw-{Nu. <NSBâ Q8L:<1?ÀBß<1NO<â!PGm< ONO8²àD8LBNO?¿àABná¤B=AßÅIC6L8 <ºàAZO<ãIJKB:C<ß¿<Y"ZOICNS8@?ÀßÅ?íîJO?ÀàA="ICY àA89BCNôNS<<wPS?¿àDZS<1äO?A<1Bá ?AåÇ<wY 8@I6:I=D8@IJS69<? =D<åS=D<?A<N;àA89NSQ

(63) {ù;ëbNSB=AßÅI6Ká¤B=AßÅ?í. . L. NM. . ® HR ¨

(64) ªBB1L®¡¢a¦B B qc8 <Y( NB&®B¢& Bc 8¢ ¢¦ 0>{ëb:tIC=A8@IJO6L<w?% rsLtvuxwzyw-{Nu ~ q Nk®¡- F1 ¦ 1B1 68c±cµL ¦:¦& : ; M*< k°¡8¢ ¢Bö 0¨°B:x$ > N¡86 k® -F1 4ó 1B1 JB z²8H >0) L,+ - ¥qQ ´SJ *± B&B¢¡B&. E. PO.

(65) BCàA<àAZÇIà'á¤BC='ICJO?HàD=DIYàD8LNSQàAZO<(Y äS=D=A<N;àiàD<=Dß 479R MCCCM=R = EG8²à8@?NSBà'äO?A< á¤äO6àAB¿89NàD=ABGPGäÇY <XINIJO?ÀàA="ICY àA89BCN :I=D89ICJS69<á¤B=XàAZS< R àAZOIàI=D<Q=ABäSNOP1àD<=DßÅ?yI69=A<wICPGö89N NSB=AßÅIC6{á¤B=AßENSB=á¤BC=àAZS< RàDZOIà(I=D<¿I69=A<wICPGö 7>êë :I=D89ICJS69<?í. rsLtvuxwzyw-{Nuq~ k ¡ . 479R M CCCM=R = ICJO?HàD=DIYàD<P 647 M CCCmM. = 8²k, 1 UE8 M CCCmMS8-Tðü²ý CC +Òÿ. E8 MCCCmMS81D8c. kvk, 1 .0üLý C C +Òÿq kB<RS OMCCCM#RP

(66) 8c k¡<:c8 ¦X B&B¢%¡B6¥ B °ªBB1L®¡¢¡¥ ^ ¨qk¡ c¡c °ª,81:®¢¥U R>8EMCCCM=8 :¥ ^ R Bz²ö · ·. + <â'896L6+åS=DB:C<

(67) {ùëàD<=Dß89NOIàA89BCN1BCN Bá#: ;-MK< í. ~. {Su. *y,$K(kw1uPy,*. : ;. E]=A<wIC?ABCNS89NSQ¿BCNàA<=DßÅ?â'8LàAZãICJO?ÀàA="ICYàD8LBN1:I=D89ICJS6L<w?EO8í <CíKBCNàD<=Dß¿?.

(68) <à(äO?XNSBâ PGm< ONO<¿àAZS<ÅPG8 K<=A<N;àY BCNÇ?HàD=DIC8LN;àD?NS<<PG<wPãJö BCäS=XåS=DBBáiåO=ABGY <w?A?í NS6989÷C<Å89N Y69I?A?A89YI6$IåOåS=AB;ICY"ZS<w? Oä ?A8LNOQy8LNOPSäOYàD8LBNEàAZO<'8LNOPSäOYàD8LBNB=DPS<=D8LNSQ8@?$NSBàQ8L:<NIXåS=A89BC=D8VíiBNO?ÀàA="I89Nà"?$I=D< ?A< àÌC6LBNSQàAZS<'åO=ABBáHEtá¤B6L69Bâ'89NSQ àAZO<7=D<è;äS89=A<ß¿<N;àD?iIåSåK<IC=A89NSQyâ'ZS<N&8LNÇPGäOYàD8LBNÒZöåÇBCàAZS<w?À<w?ZOIt:<'àABJÇ<IåSåO6L89<PíGùäOY"ZÒBC="PG<=D8LNOQ(Y BCNÇ?HàD=DIC8LN;àD?iI=D< Y äOßäS6@IàD<P189NãI&?A< à [øINOPàDZS<?DIàD89=? ÇICJS8L698LàHöÓBC< á [ 89?0àA<w?HàD<PICN;öÓàA89ß¿<(àDZS<89NOPGäOY àA89BCNZöåKBàAZO<?A<?ZÇIt:C<yàDBÒJK< IåOåS6L89<Pí <yNSBâÉá¤B=AßÅI6969öÒPG<mÇNS<àAZS<(?DIàD89?=ÇIJO8L698²àHöÒBá BC="PG<=D8LNOQYBCNO?ÀàA="I89N;àD?í rsLtvuxwzyw-{Nu~ î0NBC="PG<=A89NSQÒYBCNO?ÀàA="I89N;à 9A A 6±: ; M*< +. E. 6 ?DIàD89?=ÇICJS6L<H z²c&µL-± B¦: & ¦B<¢,Q -18-1 J* 0z²BxJA= J'A

(69) *Z8 kB= ¦J*Bz 9A A

(70) S -1 [>Bc¦L¡ -B -Z'8-z§<L®¡¢a k¡c±µ:- 8c¦: 0 ¦2 1B1 BzB *B¢ ¢ P - k¡RS P 1 ¥<B¢£¨°8,B §U¦,¥°¦: 8¦H®¡ . M. M. M. î69BCNOQ0BCäO={89NOPGäOY àA89BCNåS=ABGY<?D?Ewâ'ZS<NIJO?ÀàA="ICY àA89NSQ0?AäSJGàD<=Dß¿?PAKJö &AEtâi< ?Hà"IàA< Y BNO?HàD=DIC8LN;à"?êBN 0>{ëb:tIC=A8@IJO6L<w? àABã< ïGåS=D<?D?XàAZOIà(àAZO<89=89NO?Hà"INOY<?(YINgBNS6Lö JÇ<ÒàAZS<ÒNSBC=DßÅI6$á¤B=AßÅ?yBCá àDZS<ÓYBC=D=A<w?ÀåKBCNÇPG8LNOQº89NO?ÀàDICNOY <w?yBáàAZO< AÀí ß A ^ !â'ZS<=A` < A=>': ; M*< E;ICNOP > EBC=ß¿B=A<'Q<NS<=DIC6L69ö(Bá]àDZS<á¤B=AßeA ^ A

(71) Sâ'ZO<=D< Þ ZS<öIC=A<'BCáKàDZS<'á¤B=Aa AM=A

(72) >M: ; M*< %í

(73) ê< àäO?0YI696?AäOY"ZºI¿YBCNO?ÀàA="I89N;à'ICNºICJO?ÀàA="ICYàD8LBNÓYBCNO?ÀàA="I89N;àí à 9A ^ A

(74) ¨q²cAM=A

(75) >': ;-MK< ?AIàA8@V? KIJS69 < Zz²c6µL1 rsLtvuxwzyw-{Nu"!$~. IJO?ÀàA="ICY àA89BCNÓYBCNO?ÀàA="I89N;. E. =. E. BU¢,Q -18-1 J* 0z²8qJA ^WJA

(76) 0B&z²8qJ*8-z§<¡ 9A ^ A

(77) MSRP« ) > Y BCNÇ?HàD=DIC8LN;àá¤B=AßäS69I$#K'X¡B±F¢. kv¡B&% 9A ^ A

(78) % (' «*) 9:P« ) ^ R´« ) =¥<:P« ) >< : ;-MK< ¦ k ;A ^ A