Superposition with Equivalence Reasoning andDelayed Clause Normal Form Transformation

Texte intégral

(1)Superposition with Equivalence Reasoning andDelayed Clause Normal Form Transformation Harald Ganzinger, Jürgen Stuber. To cite this version: Harald Ganzinger, Jürgen Stuber. Superposition with Equivalence Reasoning andDelayed Clause Normal Form Transformation. [Research Report] RR-4835, INRIA. 2003, pp.23. �inria-00071750�. HAL Id: inria-00071750 https://hal.inria.fr/inria-00071750 Submitted on 23 May 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) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation Harald Ganzinger — Jürgen Stuber. N° 4835 Mai 2003. ISSN 0249-6399. ISRN INRIA/RR--4835--FR+ENG. THÈME 2. apport de recherche.

(3)

(4)

(5)

(6)

(7) "!#%$&

(8)

(9) " '(

(10) ") * ,+

(11) ).-/

(12) " 0212 354(6879 3:4 ;<5

(13) " 0=> 3:4(? @

(14) A"BDCEBGFIHKJLBGM NPOQM RTSPCVUXWZYG[ CVRTS\M^]0_V`5aZSPC9b cdfehgji

(15) k6lnmpohqfrsi3tvuxw\rvy@rsiht i@z{y@|}t~yt g6Guxtvr~\i u}izZ,pc ,# ,|}Du\z,i3ihydfihydiqG \\\LlX|xrk}\x3lk}j|xwxih. 9 ¡h¢@£>¤f¥x¢x¦ cdfr~,i@Gux§z{ihyrvDiV{|¨§fGi@DuPrsz§rvuxq©y@|xtvy@ftv,ª dfih§i

(16) P|xqPz§rs«i@{|x§i3ihtsrvgrsq|}z§iV t~|}¬hrstvx¯® fGi@DuPrsz§rvuxq°|xq±rvgftvr²«Dyh|>zrsu\q<rvq³íh§ihqyiV3g|ELi@gftvu>LiVPfrsµ>|xtsihqyiV?z§d|}z6d|Eµ\i|x¶ r²z|x§·³úxg6ft~|x|}z¨z§dfihrs"g|xtstvi@9§r~ix¹¸ºy@tsuPihts»§ihtv|}z§iV¼yh|}t~yftv9rv9rsgftvi@gi@qPzih½rvq¾z§dfi ®f|>z§|}z§i6§zi@g¿|}q¯dD|xpdfu>ª q©Di@³´ftu\qXg|}q "iÀf|}gftvihhÁDrvqX|xzrvy@ft~|}{rvqL§izz§dfihuxx{cdfi i@Gux§zf§iVihqPz|yuxgftvizi@qfiV§#fu u}³5|}q§ihDu\z#uxq"f|\yÂzrvyh|}tTiÀGi@rsihqyipuxz|}rvqfihª rsz§d"z§dfi ®f|>z§|}z§i3z§ihg" Ã©ÄPÅTÆÇ6È £>É ¡x¦ «z¶Êuxi@ tvuxw\rvyxÁD|}fz§uxg|}z§ih©fihyz§rvuxqÁGihPfrvµ>|}tvi@qy@ixÁGihP|xtsrszxÁD§iVu\tszrsu\qÁD§¶ Gi@Gu\§r²zrsu\qÁfyt~|}§i?qfuxg|}tG³úxgz|xq³úxg|}z§rvuxqÁ §iz z§di@ux. ZËøpÌ3ùfú5ÍDûÎGÏsÐEÑÎÓÒVÏsÔÂÑIÕ,Ö×IØÚÙxÛEÜÂÜVÝÞÂß,àVÖÂÖÑâáEÑIÐVãÊÙÂäÒPÛPå ûäÑâÕ,ÖÒæ@çG èDÕ,ÖØÚé~êPëìíîhï>ðÂ ñòóôõîhïìfô~ö÷ ÎÓüýDãÔÂéÚäpþEäÿ,Ì?ØÚÒEäÿ þEä ÖÒEã æÛ0ÜVÝ äþ ÖÑâþEØÚÒTÔ×ÊÖÒVØ äÂÛ

(17) Ü 5ØÚéÚéÚäÑIÿÓé ÿÖÒEã æÛ>ÑIÖÒEãäÂç èDÕ,ÖØÚé~êDò

(18) Âó@÷

(19) íEðô"!. Unité de recherche INRIA Lorraine LORIA, Technopôle de Nancy-Brabois, Campus scientifique, 615, rue du Jardin Botanique, BP 101, 54602 Villers-Lès-Nancy (France) Téléphone : +33 3 83 59 30 00 — Télécopie : +33 3 83 27 83 19.

(20) 9<<

(21) 0

(22) {

(23) ! 5

(24)

(25) ",4( 0 )"

(26) "!# # 05

(27) " 0=> 3:4(? 6 ¯3 0 " 02 => 3:4(2! 6

(28) ¡ ¦ iX|}Du\z9oVyr²zfqy@|xtvy@ftifGi@Gu\§r²zrsu\q½Pfro@tvrsgrvqfiLtvih9\D|}qPz§rs«Dy@|}z§ihf D|}ihihihgi@qPzh ih,rsq³óh§ihqyiV,i6§fGi@DuPrsz§rvuxq©i@z§rsgftvr²«Gy@|>zrsu\q¯Dihfµxihq\zz§rvtsr~§i@fih oV\r²¶ µ>|xtsihqyiV0tvuxw\rvPfiV |Eµ\ihyfih ³úxg6tsiV|x§frsz§|}rvih0fjy@u}z§o#rvq³ó@rsihfV

(29) ,qy@|xtvy@ft oz§u\r²zi@gi@qPz5tsrvo iVz rvgft~|}qPz§o

(30) f|xq tvi

(31) z§ehgji6®f|>z§|}z§ix® uxq¯zrstvrsz§o

(32) iVz,guxqPz§ohi3wx xyii

(33) quxg6§ihÀ9iÀihgjtsiV@Á ihqL|xzrvy@ftvrsihihqLzdfo@u\§rvi iVpi@q§i@g ftsiV@ 0i |}Du\zpf§oVihqPz§ijfqfijf§ihfµxijiyuxgftvoziiz i@ÀDuPi3iViÀDoh§rvi@qDyih|}z§r~\ihgi@qfohih |Eµ\ihytsi

(34) §ze@gi

(35) ®|>zf|}z§i\ /È ¢V¡ Æ ¥ ¡"¦ tvuxw\rvPfi

(36) f©f§ihgrsih,uxixÁoVyz§rvuxqL|xz§u\g|}z§r~PfixÁfoVPfrsµ>|xtsihqyi\Áo@wP|}tvr²zoxÁD§oVux¶ tvzrsu\qÁ§fDih§Gu\§rsz§rvuxqÁ z|xq³ú\§g|}z§rvuxq9y@tv|xi?qfu\§g|xtsi\Á z§dfohuxrsi3iVi@q§i@g ftsiV.

(37)

(38) "!"#$%&(')&!

(39) +*. . 05 )"!Z

(40) . c|xqt~|>zrsqwL|y@uxq>iVyÂzf§irsqPzu<y@tv|xi"qfu\§g|}t ³úxg%Gi³úxi9dD|}qrvqfw<r²zu>µ\i@

(41) zuLzdfi"z§dfihuxi@g §u>µ\i@{r~pts0r /xijduPuxz§rvqfw9u\qfih§i@ts³ZrvqPz§uz§dfi ³ú u}z?Di@³úxijz|xzrsqfwuxq<|¨tvuxqfw"dfr0/xix 132¾rsz§dz§dfiVijux §rvgjrvt~|} ª#uxf{mj{fiz?|}tvtsfihz§uzdfi3³â|xyz,z§dD|>zy@tv|xi?qfu\§g|xt ³úxgz|xq³ú\§g|}z§rvuxq"g|Eux¶ y§i{z§dfiptsu\wxr~y@|xtDz§yÂzf§i{z§u|}qï@À z§i@qPzg| / rsqw §f§ihPfi@qPz#f§u ux³0iV|}ydµxi@$r 4y@ftszhÁrs³0qfu}z rvgDuP§§rvfts6i 5$7V 8Q:cdfr~D|}Gi@ZiV§y@§rvGihZ|xq|}ffu\|\ydjz§u6|xz§u\g|}z§iV6«Dz¶Êuxi@5zdfi@u\§ihg §u>µ rvqfw D|x§ihjuxq§fDih§Gu\§rsz§rvuxqª dfi@i,|3yu\gf§u\grv§i rvZu\fwxdPzGizª#i@i@qfih§i@µ rsqw³ú\§g ft~|pz§yz§fixÁ rvq·D|}§z§r~yft~|}j\D|}qPz§rs«i@hÁ|}q8Gi@§³úxgrsqwLtvuxwxr~y@|xtZih|\u\qfrsqwÁ5rsq»|}§z§r~ytv|x

(42) ³úxg6tv|rvgftsrs«f¶ yh|>zrsu\qÁ 9i 4ÿrvi@qPzts©u\qyt~|}D§|xt f|}z|"z§DyÂz§§iV@6Xuxi §DiVyrs«Dy@|xtstvxÁ ª#i ª rvtvt5fihyrsGij|xqf§u>µ\i i³´fz|>zrsu\q|}tvtv yu\gftsi@z§i,|

(43) y@tv|x|}trvq³í@i@qy@i{§ z§ihg¯Áxª dfih§i,tvrsz§i@|}t~5rvq9yt~|}§ih:yh|}qGi,ihP|}z§rvuxq Gizª#i@ihq¯z§ih§g u\,ihPfrvµ>|}tvi@qy@ih,Gizª#i@ihqX|}frsz§|}«z¶Êuxih³úxg6ft~|xh#ci@g ihP|>zrsu\q w\rsµ\i r~izu©z§dfi§|}t#fGi@Gu\§r²zrsu\q8rsq³íh§ihqyiV@Á5|}qD8uLfuXihPfrvµ>|}tvi@qy@ih3ª dfihq8z§di¨tv|x§w\i@6§r~i¨rvq zdfi ³úxg6ft~|ü\ih§rvqfw¨r~?|}q<|>z§u\grvy6³úxg6ft~|f3cdfi§g|xtstvi@?§rviju}³#|}qXiV\rsµ>|}tvi@qDyiy@|}qLDi|}q ³ú\§g ft~|f; :Ê³ z§dfiptv|x§w\i@Z§r~i{ux³0|}qïV\rsµ>|}tvi@qDyi,tvr²zi@|}tGrv#|3qfu\q|>zuxgr~y ³úxg6tv|

(44) |xqrs³ z§d|}z#tvrsz§i@|}t r~§i@tvihyz§ih ³ú\rsqf³í@i@qy@ixÁ}zdfi³úxg6tv|?r~§rsgftvr²«Dihj |}q|xq|}tvPz§r~yiÀ|}qDrvuxqj§tsi\ cdfr~§zi@g |xtstvu>ª,3u\qfiz§u§iV|x§uxq±ª rsz§d°iV\rsµ>|}tvi@qDyih6|x3zdfi@±grvwxdPzj|x§r~i³úxg i@«qfrsz§rvuxq ux

(45) tvi@gg|x rvq |q|}z§f|}t ª#|E\Á |}qLrsq|}§z§r~yft~|}p§i u\§rvi@qPz|}ftvi6iV\rsµ>|}tvi@qDyihp|xp§rsgftvr²«Gy@|>zrsu\qLftvihhÁ i@µxihqXrs³ zdfi@"|}iw\|}iV¨ §rvfi?y@uxqfr²zrsu\qrsq©|yt~|}D§|xtyuxqPziÀ zh ¸ y@|xtvy@ftv?ytvu\§i@tv"i@t~|>zihXz§u"ª d|>z?ª iiV§y@§rvDijGi@tvu>ª¹ª#|\{rvgftvi@gi@qPz§iVLrvqz§dfi¨®|}z§f|>zi §zi@< g 5 = 8f| ³í@ª8\ih|x|}wxu|}q3dD|xf§u>µ\ihpzu{Gi §i³´t\rvq |xq

(46) i@qy@uxf|}w\rsqw qPg6Gi@ u}³y@|\iV@> 2i dD|Eµxi3y@|x§rsiV9u\z{f|xyz§r~y@|xtiÀGi@rsgi@qPz uxq¯µ>|}rsu\#³úxg|}tvrs¬V|>zrsu\qu}³5³´|}wxgihq\z u}³:§iz,zdfi@u\§ |xq³´§u\g&|§u u}³5u}³ z§di d fydf¶Ê uP§§i@fuxGi@§züx³ zdfi

(47) t~|}g Gf|yh|}t~yftvhZ:ÀGi@rsihqyi dfu>ª, zd|>z zdfi3fu u}³ §ih|xydDiVyu\gjiVguxipw\u\|xt²¶ÊuxrsihqPz§ih9|}q"wxihqfi@|>zih#g6Dyd9³íhª ih{yt~|}§ih#fqPzrst0| §u u}³r~ ³ú\fq 5¸,tsz§dfu\fwxd6®f|>z§|}z§ir~0y@uxg|}|>zrsµ\i@tv§tsu>ª3Áhz§drv |}tvtsu>ª,r²zz§u,Gi y@uxgDi@z§rsz§rvµxiª rsz§d ?|xgfrs@ i 5$7E 8|}q9:¶ ®iz§di@A u 5$7B 8 uxq9z§dfi3§iz#z§dfihuxji@Àf|}gftvih z§d|}z#ª#i@ipiV¨rvq¨zdfip«z¶Êuxih frsµ r~rvuxq"u}³z§dfi3t~|xz ¸® yu\gDi@z§rsz§rvuxC q 5 B8Q cdfi3ª#uxD /rvq¯z§dfr~ |xDih,y@|}q"Gi3µPrvi@ª#ih¯|\ |}q"iÀ z§ihqrvuxq¯ux³0z§di3iÀ z§ihqih"q|x§u>ª rvqfwjyh|}t~y¶ tv 5 f Á 7h 8ª di@i@ 6qfuxzuxqftv

(48) rvqfrsz§r~|}tiVPfrsµ>|xtsihqyiV:y@|}qGi,§ih ³úx rvgftsrs«Dyh|>z§rvuxq0Á}fz |xtv§upz§dfuPi zd|>zd|Eµxi

(49) §rvfi6yu\qrsz§rvuxqF EIyu\q\ziÀ z§D|}t§rvgjtsrs«Dy@|}z§rvuxHq G,|}q"zdfu\§i3wxihqfi@|>zih¯ q|}gr~y@|xtstv¶ rvqfwzdfi6|>z§|}z§rvuxq"f§uy@ih@ fyuxgftvizi@qfiV§,f§u ux³i@§ih,§uxgi?u}³5zdfi

(50) yu\qz§DyÂz§rvuxqDu}³5z§dfi t~|>z§z§ihZ|xDihhI 5KJ8 |}t~u

(51) §iVihq\zZ|6gji@z§dfu³ú\ dD|}qtvrvqfw i@«qfrsz§rvuxq guxi,9i 4ÿ@rsihq\zts\Á|>zzi@gzrsqfw zu§iVyu>µ\i@#ihPfrvµE|xtsihqyiV#³´§u\g&y@tv|xiV |}qz§iV|>z§rvqfwjz§di@g ª r²zd¯§Gihyrs«Dy3§i@tvihyz§rvuxq©z|}z§ihwxrvih ³úx rvq³íh§ihqyiV@ ¸ gr²z§z§rvqfw3rsqf³í@i@qy@ih5uxqqfu\qyt~|}D§|xt\³ú\§g ft~|xhÁEz§dfi,yh|}t~yftv:iV§y@§rvDiV6Gi@tvu>ª·r~:|}t~§u i@t~|>zih"zuz§dfijµ>|}rsu\,yh|}t~yftvr0ux³qfuxqy@tv|x|}tih§uxtvz§rvuxqX|xqX§fGi@DuPrsz§rvuxL q 507M7};Á 7VkÁTk ÁG" 8Êcdfi g|xrsq¯$r NGih§ihqyi?dfih§i?r~z§d|}z ª i3|}t~§u|\gr²z,P|xq\zr²«Di@@Áf|xq¨zd|>z zdfi?tsuyh|}t q|}z§fi?u}³ y@tv|\§§r~y@|}t §fGi@DuPrsz§rvuxq©rvq³íh§ihqyiV,r~,Gizzi@pfih§i@µxihÁf³â|xy@rstvrsz|>zrsqwz§dfiji@µ\i@tvuxfgihq\zu}³:9i 4ÿrvi@qPzprsgftvi¶ gihq\z|>zrsu\q:u}³ u\f yh|}t~yftv:rvq¨|?z§di@uxi@g fu>µxi@VO : P q 50798Dz§dfi|}zdfuxZ|x§w\fihhÁx jrvyD§§rsqw6u\gi i@Àf|}gftvihhÁ z§d|}z6|"z§rvwxdPz

(52) rvq\zi@w\|}z§rvuxqLux³§ihPfihqPz3yh|}t~yftvhÁz|}ftvih|xÀ Á|}qDLih§uxtvz§rvuxq±§dfuxft~<Di Gi@qi«Dy@rv|xtTz§ufu u}³ §ih|xyd0ÁPz{u ihqfuxz,fuxGu\§ip|xqPyuxqDyiz§i3yh|}t~yftvrvq9zdfrv,§ihw\|} cdfi±ª#uxD /¾z|}§z§ihª r²zdKzdfi±rsgftvi@gi@qPz|>z§rvuxq 9i NTux§z"rvqKzdfi±®f|>z§|}z§i±z§i@g¯Áp|}q qfu>ª i@µ r~rsz§iVXrvq8|¨zdfi@u\§i@z§r~y@|}t§iz§z§rvqfwÁdfu\ft~|xtv§uGiµ rsihª iV|\p|«z3z§ihLzu>ª#|xy@tsuPrvqfw"z§dfi t~|}wxi#w\|x rvqtvuxwxr~y@|xt qfu}z|>z§rvuxq§ihjrvqrsqPz§ih|\yÂzrsµ\i zdfi@u\§ihg¹fu>µxih³úx:drsw\dfi@§¶Qu\fi@ tsu\wxr~y |>z:uxqfi ,. -. ûû Ò"Q 9RÂß.

(53) . !" * H D. §r~ixÁx|xqjfih§i@qPz¶ f|E

(54) |}fz§uxg|}z§ih fu>µxih ptv|?¶ ® i@z§dfihuÁ\®T¸p®f®TÁPux ?|}gfrvi,|>z:z§di u}z§di@§rvi ux³z§di§GihyÂz§g" cd|>z?w\|xLqfihihfz§u"Giy@tsuPiV¯³úx3|xqP©§y@y@ih³´t rvqPz§ihwx|>z§rvuxqLu}³#|xz§u\g|>z§iV §u>µ\i@ rvqPz§u°rvqPz§ih|\yÂz§rvµxi©u\qfihh^c0u°y@tsuPi¯zd|>z"w\|}½ihµxi@q¼³´f§z§di@VÁ«z¶Êuxihf§u>µ\i@dfu\ft~ |xtv§u¯fqihz|xq±u\gijihz§r~yÂz§iVLdrsw\dfi@§¶Qu\fi@?qfu}z|>zrsu\q®Pzi@6rsqPz§u"zdfrv rv§iVyÂz§rvuxq<grsw\dPz6Di ³â|\yrvtsrsz|}z§iV9ª rsz§d¯ux f§iVihqPzih§ftszh 3 Â3 "' ¨64 "@ u\q§rvih#z§dfi

(55) i@«qfrsz§rvuxq¯u}³5iÀ zi@q§rsu\q|}tvrszuxq¯i@z . .

(56) !#"$&%('()+*+,.-/)01223+%$'$)+*,.-4)056!7. ª d i@i r~{zdfijfqfrvµxi@|}tP|xqPz§rs«i@V3¸¹z fr~y@|xt y@tv|xijqfu\§g|}t0³úxg¿u}³:zdfrv?iVPfrsµ>|xtsihqyi Eâ|}qD |>zf|>z§iV<ª r²zd°§iVGihyz

(57) z§ufGi@Gu\§r²zrsu\q< 8®|>zf|>z§i G?ª#uxft~±Di¨z§dfr~ Eâª r²zd 0879 ihqfu}zrsqfwX| ® /xuxtvi@g³´fqyÂzrsu\qÁ|xq .;: 13i@qu}z§rvqfw|yt~|}§i?rsq¯ª dfr~ydz§dfi?«zqi@w\|}z§rvµxi?tvr²zi@|}t r~ ihtsiVyÂz§iV G=< >. ?A@CB(DFEHG4IA@KJ5LCM(DLN/OQP3R3S$T=P7U@KJ5LKVDXW&YZN/O=P$R3S$T=PU.@CMLKV7D [\@CB(DFEHG4IA@KJ5LCM(DLN/OQP3R3S$T=P7U@CMLKVDXW&YZN/O=P$R3S$T=PU.@KJ5LKV7D ] @K?7DFE^N4OQP$R3S$T;P7U.@KJ5L!U/_/`@CM\LKJDaDL!N/OQP$R3S3T=P7U\@CML!U/_a`@CMLbJ+DaDLCGaIA@cMLKJ+D >ed=f\@c?7DgE^N4OQP$R3S$T;P7U.@KJ5L!U/_/`@CM\LKJDaDL!N/OQP$R3S3T=P7U\@CML!U/_a`@CMLbJ+DaD W&YhG4IA@CMLKJ7D d ] @CiDgEHG4IA@KJ5LKJ7D >. |Eµ rsqfw¨z§dfiVijyt~|}§ih{rsq©zdfi y@uxqPz§i@À zu}³uxz§dfih|}À rvuxg,³úx?i@z{z§di@ux¯y@|}qyih|>zi6|¨Pfrsz§i tv|x§w\i §ih|xydX§|\yi6ª rsz§d<g|}q ¯§iVfq|}qy@rsiV@3c§iV|>z§rvqfwihPfrvµE|xtsihqyi ihP|}z§rvuxq|xtstv¯P¯i@ª r²zrsqw|}qD §fGi@DuPrsz§rvuxq rv5g yd6Giz§z§ihh:cdfr~5rvzdfi fuPux³u}³Dz§dfi#z|xqrsz§rvµ r²z3ux³

(58) 7 Eâtsrvqfi{kMG0zd|>zZ®|}z§f|>zi «Dqf Eâ|xDu\z 7V,z§rvgih5³â|\zi@ z§dD|}qjz§dfif§ihts6y@tv|x|}tfu u}³Á}|}qD6 6f§ihts

(59) fiz§ih§grvqfr~zrvy z§ihD G ª rsz§d©|xqrvq³í@i@qDyi3z§ihg&§yd"|\#z§dfi3u\qfi?fuxGu\§ih¨rvq"z§dfr~ |xDih4 < jHkml!naoqp/rts;uCvv3wyx3z!o|{!}c~22K~;&op/rqxuC v22{!}c~2K~;4otsarqxu2u qc~22 wypartsarqx3z!ol!n/oqxarts;uCc~l!n/otsarpucv2ln/oqx/rqp;uuC qc~22 wypartsarqx3z!ow(zCo{!}c~2K~;&oqxary=uC !v2{!}c~22K~;&oqsary=uuc~ w(zCo|{!}c~2K~;4otsart;u! !v22{!}C~22K~=&oqp/rt=uucv2awy$zCo|{!}C~22K~=&oqx4rt;u! !v22{C}c~2K~;4otp/rt;uu2uC l!!;{c!}C~}C jQrbjQrjc ¡wyparts$zCowtx3zCo|{!}C~22K~=&otsarqx;uC !v22{}c~22c~;&oqp/rxuuC~ wzCo|{!}c~2K~;4oqp/ry=u! !v22{!}C~22K~=&o|!¢!¡ary=uucvaw$zCo{!}c~2K~;Qotsarq;uC !v2{}c~22c~&o|!¢!¡artuuu£! ql!¤Cc~=!}c~}c¥¦! § wyp$zCows$z!o|{!}c~22K~;&op/rts;uC v22{!}c~2K~;4o|!¢4rqs;uuC~ wyx$zCo|{!}c~2K~;4o|!¢4rxuC !v2{!}c~2K~;&o|¢!¡/rqxu2ucv2awzCo|{!}c~2b~;&op/ry=uc !v2{!}c~2K~;&o|¢!¡4ry=uu2u£C ql!¤Cc~=!}c~}c¥¡ ¨wyp$zCo|{!}c~2K~;4o|!¢4rpuC !v2{!}c~2K~;&o|¢4rqpu2uc~ ws(zCo|{!}c~2K~;4o|!¢4rqs;uC !v2{!}c~2K~;&o|¢!¡/rts;u2ucv2awyx$zCo|{!}c~2b~;&o!¢4rtxu! !v22{!}C~2K~;4o|C¢!¡/rqx;uu£C ql!¤Cc~=!}c~}c¥ § ©wyp$zCo|{!}c~2K~;4o|!¢4rpuC !v2{!}c~2K~;&o|¢4rqpu2uc~ws$zCo|{}c~22c~;&o|!¢24rts;uC v22{!}c~2K~;4o|!¢!¡/rqs;uu ql!¤Cc~=!}c~}c¥¦¨! ªwyp$zCo|{!}c~2K~;4o|!¢4rpuC !v2{!}c~2K~;&o|¢!¡/rqpu2uC ql!¤Cc~=!}c~}c¥¦¨! «{!}C~22K~=&o|!¢/rqpucvv{!}c~2K~;&o|¢4rqpu ql!¤Cc~=!}c~}c¥¦©! jC¬{!}C~22K~=&o|!¢/rqpucvv{!}c~2K~;&o|¢!¡/rqpu ql!¤Cc~=!}c~}c¥¦©! j2j#{!}C~22K~=&o|!¢/rqpucvv{!}c~2K~;&o|¢!¡/rqpu yl!C;{C!}c~}C¦«#jc¬ j!2®2!l l!C={c!}c~¦}Cªjj&rq¯/rq¯2 ¯lc~°!!±v¦jC4r²lc2!±v«4r£³lC{c±lc2±v´¬. Î û ÎÓü.

(60) .

(61) "!"#$%&(')&!

(62) +*. ® z§i@D 7h

(63) iÀ|}qDz§dfipwxuP|}tDPi@ª r²zrsqw

(64) ª r²zd¨zdfipfi«qfrsz§rvuxqu}³

(65) rvq 7xÁ |}fts rvqfw |xq|}tvPz§r~y ftvih5rvq6zdfi,§ihPfi@qPzy@|xtvy@ftv@Á\|}q 6 /\uxtvi@grv¬h|>zrsu\q¸,³Óz§ih5z§dfr~5z§di f§u ux³«qfr~§dfih5

(66) i@ª r²zrsqw Drvqfw,zdfi#ihPfrvµE|xtsihqyiV 7\Á =Á 7hfÁ>|xq 7M7\ÁEª r²zd . 1fi@qfuxz§rvqfwz§yÂzf|}tPihPfrvµE|xtsihqyi Eú\iV\D|}tvr²z u\qjz§dfif§u\DuPrsz§rvuxqD|}ttvi@µxiht G cdrvZf§u ux³Tr~5³ú\fqª rsz§dfu\z |xqPjiV|}yd|>zZ|}tvtD|\:ih|\ydrsq³íh§ihqyi{rv §rvgjtsrs³´ rsqfwD ,u}zi{zd|>z §uxgi{iV\rsµ>|}tvi@qDyih#|}i{rvq¨zdfiprsqfz#i@Àftsr~yrsz§tvxÁ|xqüxz§dfih#yu\gji{z§u z§dfi §f§³â|xy@i ¨fu u}³5iV|}yd cdrv §dfux§zf§u ux³ª|x#g|xi?Gu\rvftvip ï@ª rsz§rvqfw ª rsz§d¯iV\rsµ>|}tvi@qDyih §ydX|\{yt~|}Di 7

(67) rvqXª dfr~yd¯z§di6t~|}wxi@,§r~i6r~{|¨z|xqf|x¯|>zuxg¯Ázª dfih§i

(68) z§dfijg|}tvtvi@{§rvfi6rvq zdfi3uxih§rvqfwy@|}q"Gi

(69) |}q ³úxg6tv|ÁPGu\§rsftv¨rvqytvrvqfw¨P|xq\zr²«Di@@ cdfi?³â|\yÂz zd|>z,ª rsz§d"z§di

(70) yt~|}|}tG³úxg ux³0zdfi3iÀ z§ihq§rsu\q|}tvr²z|>Àrsu\g z§dfi

(71) §ih|xyd"D|xyi3yh|}q¯Di µ\i@tv|x§w\i,rvihguxqz§|>zih¨ zdfiquxqPz§ih§grvq|>zrsu\qü}³0§u>µ\i@rvqytvrvqfw®|>zf|}z§i?|}q"® ¸®f® u\qz§rvµPr~|}tvtvjy@uxq§rvz§ihqPz yt~|}§i§izZ§yd9|\:z§diu\qfi,ih§ft²zrsqw6 |xfrvqfw3zdfi?i«qr²zrsu\qü}³fqrsu\q %$'()+*,.-4)01)-$'()!AA2hg%('$)+*,.-/)\012\ '. %('()*,.-/)05262. zu6zdfipiÀ z§ihqrvuxqD|}tvr²zyt~|}DiV@;2¾r²zd9zdfi?rsqf³í@i@qy@ip§zi@g fuxGu\§ihdfih§i\Áf®|>zf|}z§ipª rstvtTuxrsihqPz Gu}zdLiV\rsµ>|}tvi@qDyihhÁDz§dfijuxqfi6³úx

(72) 7 |xq¯zdfi u\qfi

(73) ³ú\ )A-$'() ÁD³úxg tsi@³Ózzu9rsw\dPzhÁ |}q©z§i@grsqD|>z§i rvggihr~|>zi@tv9|xqfuÿ@§rsz§r~y@|xt |}rviÀr~z@

(74) '6

(75) '6 2<i¨|x§fgi|\3wxrvµxihq<|«z¶Êuxi@?t~|}qfw\|}w\iy@uxq§r~zrsqfw¯ux³#|©§iz

(76) u}³fihr~y@|}z§i§Pg Du\tv ¿|}qD |<§izu}³,³´fqDyÂz§rvuxq½§Pg Du\tv

(77) "Á |}qD·|}q¼|}r²z<³´fqDyÂz§rvux q

(78) #

(79) 2dD|x z§u±yu\q\z|}rvq §4ÿrvi@qPzts©g|}q "³´fqyz§rvuxq± g Du\tv{³úx3 /xuxtvi@grv¬h|}z§rvuxq 2i|xtv§u|\§§fgi |"yu\fqPz|}ts¯rvq«qfrsz§i §iz ux³0µ>|}rv|xftsiV ¯ 2i?ª rvtst rvgftvrvy@r²ztsi3i #§fr q"qfu}z|>z§rvuxq9³úxGuxfq"µ>|}r~|}ftvihZz§uuxfz|}rvq| yh|}qfu\qfr~y@|}t>i@§iVihq\z|>zrsu\q³ú\ ³úxg6tv|\@Áhdfu>ª ihµxihhÁhª iª rvtvtx§|}tvtv{ª r²zi:³úxg6ft~|xTrvq3zdfiZz|}qDf|} ª|Ex : q·i #fr q°qfu}z|>zrsu\q8Du\fq°µ>|x§r~|}ftvih |}iï@fih§i@qPz§iV<P±q|}z§f|}t q fg6Gi@! #"\Á5z§dfi $ &% 'P $ %&

(80) Áª dfih§) i (¯i³íhz§u

(81) zdf*i (T¶Qz§d\D|}qPz§rs«i@ |}Gu>µx)i (: +fu\Zi@À|xgftsi\-Á ,/.103254567.982;:rv ª rszz§ihq|\ ,<0=456?>@8A"=:Â; 2i?|x§fgi,z§dD|>z i #fr qrsqDrvy@ih|}i{gurs«ih|}f§u\f§r~|>zi@tv ª di@qfihµxi@ qihyiV§|}xÁ³ú\i@Àf|}gftviLª dfihq P|}qPzr²«ih|}iLi@gu>µxiV ci@g9ª rvtvtGifrstsz©rsqz§dfi<§|}t ª|E©³úxg ³´fqyz§rvuxq·§ g6Guxt~ E´ª dfr~yd8rvqytvi9y@uxqz|xqPz

(82) |\?³´fqyz§rvuxq·§ g6Guxt~3u}³,|}rsz GÁ0³í@i µ>|x§r~|}ftvih,³´§u\B g ¿|}qXDu\fqXµ>|x§r~|}ftvih,³´§u\# g DC<E?¸ " &9 ! !"#!" F r~?|}qL|}z§u\g&ux³z§dfi ³ú\§# g 4G6IH E 8AJAJJA8KHML;:

(83) ª dfih§Ni 4¼rv|f§iVr~y@|>zi§ g6Guxtu}³|x§rszO ( |xqP H 8AJAJJQ8HML»|}i¨zi@gh°¸,q & !" " rv ª rszz§ihS q R TUHÂ¸,q ! -F r~ i@rsz§di@|quxqfiV\D|>z§rvuxqD|}t|>zuxg&E ux,|}q¯iV\D|>z§rvuxq0 W ¸ V &

(84) &?X. $ ZY9 "[F@#$! rv frstsz ³úxg quxqfiV\D|>z§rvuxqD|}t |>zuxg |}qihP|}z§rvuxqhÁ§rsqwz§dfi3tvuxw\rvyh|}tTuxGi@|>zux Á ] EÓz§i GÂ_Á ^NÁ `Á ZÁ T EâihPfrvµE|xtsihqy i GÂ9Á ,»|}qa 0T 2i9! i bc |\3|}q8|}f§ihµPr~|>zrsu\q \ EÓ³â|xtv§i G ³ú\d ce \ 6 2<i¨§|E©|³úxg6tv|rv !"# rs³r²z3r~?i@rsz§dfih ] ux \ _ ,u}zijz§d|}z?ª#i§i6zdfi¨§|xgi § g6Guxt:³ú\3ihP|xtsrsz|xq³úx

(85) tvuxw\rvyh|}t:ihPfrvµ>|}tvi@qy@iª dfrvyd0Á0³ú\6u\fqqih@Ársgftvrvy@r²zts§iVPfrsih3| zª#u}¶ §ux§z§ih©|xffu\|\yd( 2itvi z T Gij§ gjgi@z§rvyxÁ rI ixvÁª#iju"qfuxz?r~z§rvqfwxfr~§g d fhTi9|xqj i!TkfÁ Gu}zd<³úx3ihP|}z§rvuxq6|}qL³úx

(86) iVPfrsµ>|xtsihqyiV@ 2<iª §rsz§l i cnmporq z§u©rvqr~y@|}z§iz§dD|>sz c |}qO q |}i iVP|}t f"zu§ ggji@z§ü}D³ T ¸ E´w\i@qfih|xtsrv¬@iV G # !"# rv?|}qihP|}z§rvuxqXu\p|xqLihPfrvµ>|}tvi@qy@ixd ,uxz§i z§d|}z

(87) |}qL|x§frsz§|}"tsu\wxr~y@|}t ³ú\§g ft~t| c y@|xq Gi iÀfihiV6|\ z§dfi tvr²zi@|}@t cuTe] + rsq|xtstvxÁ\@| Eâwxihqfi@|}tvrs¬hih G %#$!"

(88) rv|pg ft²zrv§iz ux³Ztvr²zi@|}t~@ 2<i ª rsz§w i vK³ú\zdfiji@gzLy@tv|xi\Á |}qLª ijª rstvt5uxgrszzdfig6ftsz§r~i@zp|\yihp|}uxq . ûû Ò"Q 9RÂß.

(89) !" * H D B. §rvqfwxtvizuxqhZ+fu\,iÀf|}gftvixÁª i3ª rvtst0ª §rsz§i ¹³úx,z§dfi6y@tv|x§i?y@uxq§r~zrsqfwux³zdfi

(90) tvr²zi@|}t¾|}qD zdfi3tvr²zi@|}t~ rvqj 2<i yh|}tvt z§dfi rvwxq|}z§fi

(91) yu\q§rvz§rvqfwu}³ |}q

(92) z§dfi D!"

(93) F

(94) *M! Áª drstvi3z§di

(95) ³´ftvt§rsw\q|>zfi y@uxqPz|xrsqrsqfw"zdfi|x§irvwxqD|>z§§i|}qD<|xtst5zdfitvuxwxr~y@|xt:uxGi@|>zuxª rvtvtDizdfi $ $

(96) & *M!D ¸ y@tv|x§iju\?³úxg6ft~|"rv %9#$ "

(97) $ rs³r²z y@uxqPz|xrsqD?qfu"³´§ihiµE|x§r~|}tsiV@Á0|xq *D " $ rs³rsz6yu\qPz|}rvq?qfu µ>|x§r~|}ftvih( EârI ixqfuxz,i@µ\i@qfi #§r q"rsqDrvy@ih& GÂ¸ *M " $

(98) !" %D u}³5|jy@tv|x§ixÁP³úxg6ft~|jux#z§ih§g rv |xqrvqz|xqyi3u\z|xrsqfiV"PfDzr²zz§rvqfwzi@gu>µ\i@#z§di

(99) |x§i3rvwxqD|>z§§ip³úx³í@i3µ>|x§r~|}ftvihh® urvq w\i@qfih|xtwxuxq"rsqz|xqyiV{|x§i3qfuxz{wxuxq Áu\qftv"y@tsuPiV ,u}zi

(100) zd|>z{w\§u\fq¯rvqz|}qPzrv|}z§rvuxq©u ih qu}z?rsqPz§uy@i qfihª/GuxfqDXµ>|}rv|xftvihh 2iª r²z i H E . E 8JAJAJ8H L . L

(101) ³úxpz§dfi§fz§rsz§zrsu\qLzd|>z i@tv|\yih . : l H ³úx " 8AJJAJQ8K(

(102) cdfi &9D!" $ H &

(103) r~,zdfi §izpu}³:wxuxq"z§ih§g,u>µ\i@ zdfi6D|x§i6rvwxqD|>z§§i\ÁD|}qD¯z§dfi 9& ! $ &!

(104) rvzdfiX§izü}³3|}tvt qfu\qfihP|}z§rvuxq|xt wxuxfq¼|>zuxgu>µxihjz§dfi©|\i©§rsw\q|>zfi tsj|}tvtihP|}z§rvuxq6Di@zª ihi@q8zi@gjrvq8z§di"{i@f|xq8fqrsµ\i@i\ ¸ " D !" " !"# & !" $! H D9 !" "" r~| §f§iz u}³0z§dfi3,ih§|xq¨|\i\:¸Kw\§u\fq9|}z§u\$ g # r~ z§fi?rsq " r²³5|}q9uxqftv rs³ #% " ¨¸ P|xqPz§rs«ihL³úxg6ft~! | ,1.*c rvpz§ir²³ c&H .

(105) rvpz§irsq " ³úx |}tvt:wxuxfqXz§ih§gd HÂ ¸{q|}tvuxw\ux§tv! 03.*c rv#z§fi3rs³ z§dfih§i?iÀr~z,|jwxuxfqD9rvqz|}qPzrv|}z§rvuxq"u}5³ .¯zd|>z,r~z§fi?rvq " #{zdfi@ tvuxw\rvyh|}tuxGi@|>zux|}i©rsqPz§ih§§i@z§ih¼|xD|xtIÁª dfr~yd½iÀ z§ihqfzdfi©rvq\zi@fiz|}z§rvuxq»z§u°|xtst{y@tsuPiV y@tv|x§ihh t~|}§ihZª r²zd¨³í@iµE|x§r~|}tsiVª rvtstTGipy@uxq§rvfi@ihjz§firsq " rs³|}tvtGr²z#y@tsuPiVrsqDz|}qy@ih#|}i z§iprvq " ÁrI ix³í@i?µ>|}r~|}ftvih|}i3yu\qr~ih§iVz§uGi3fqfrvµxih|}tvtv¨\D|}qPz§rs«ih '. ( )" @'. quxi@ z§uu z§dfi?gui@ty@uxqz§yz§rvuxq9|xqü\z|xrsq§i@³´z|}z§rvuxq|xtTy@uxgftvizi@qfiV§ ª ipqfihih"|6ª#i@tvt²¶ \u fi@rsqfwjuxq¯ytvu\§ih"yt~|}DiV ª rsz§d"zdfi?³úxtvtsu>ª rvqfwfuxGi@§z§rvih4< 7x cdfi3uxih§rvqfwjd|x#zuDi

(106) |jzu}z|xtrvgftvr²«Dyh|>zrsu\q"u\fi@rsqfwjuxq©y@tsuPiV¨zi@g |xq³úxg6ft~|x#zd|>z rv y@uxg|}z§rvftsi3ª rsz§d"zdfi

(107) ggiz§üx³ T 2iÿh|}q±|xydfrvi@µ\i6zdfr~3 L|}q± #u>µxih?|zu}z|xt:fihyiVi@qDyijz§d|}z3d|x?g ft²zrv§iz6z|}z§p³ú\ T |}qtviÀrvy@uxw\|xfdfr~yz|}z§#³ú\z§dfi3uxz§dfih, g6Guxt~h k cdfi"uxi@rsqwXg6zihy@§iV|x§i¨ª dfi@q¼|P|xqPz§rs«ih8µ>|x§r~|}ftvi9r~jrsqDz|}qPz§r~|>zih8 °|}q»|}fr²z|x§ wxuxfqD¨zi@g"Áf§ui #fr q"rvqr~yiVqfi@iVz§uDi3t~|}wxih#z§d|xq¯|xtst w\§u\fq¨z§i@g u>µxihh

(108) " : q"z§dfi3fihy@ihihqyi?ª#i?tsi@z{i #fr q"rvqr~yih,Di3w\§iV|>z§ihZzd|}q"³´fqDyÂz§rvuxq©§ g6Guxt~@ f* ]^r~z§di3tsiV|xz |xq \ z§di3qfiÀ z¶Qz§ux¶Qtvih|\z ihtsihgjihqPzh 2i3z \*) ]¹|}zz§dfi3Gu}z§z§uxg&u}³z§dfi3fihy@ihihqyi\ c0ug| /\ipz§dfip³â|xyz§u\§rvqfwjrsq³íh§ihqyi

(109) fihyih|\rvqfw ª i?qfihihz§d|}z³úx* R

(110) | zi@gux |jqfuxqihP|>zrsu\q|}t |>zuxg¯Á R ) H E |}q R ) H+?rvgjts R T H E ) H E TWH+} : q"z§dfi3fihy@ihihqyi?ª#i?tsi@ z T^Gi

(111) g|}tvtvi@#z§d|xq©|}tvtT³´fqyÂzrsu\q©|}q"fihr~y@|}z§i3§Pg Du\tvh cdi³ú\tstvu>ª rvqfwf§iVyiVi@qy@i?rv §frsz|}tsi?³ú\ uxfffGu\§ih4< :. JAJAJ. ) >. ) ". )-,)/.) T. ) . ) ,. ) 0. ) ^. ) `. )W\0) ]. {i@i6q fg Dihpz|}q{³ú\{zdfijDu\fqXµ>|x§r~|}ftvihrvqi fr qXqfuxz|>zrsu\qÁ |}q . ³úx3|}q|}fr²z|x§ ª#i@tvts¶Qu\ih§rvqfw?uxq|}tvtf³´fqyz§rvuxq" g6Guxt~hihfrvyh|>z§i g6Guxt~g|EjDipft~|xy@ih|}frsz§|}rstv |xDu>µ\itT Î û ÎÓü.

(112)

(113) "!"#$%&(')&!

(114) +* J. rvq¨zdfi?fihyiVi@qDyix:cdfr~#|}§z§r~ytv|x#ydfu\rvy@iux³| f§iVyiVi@qy@idD|xZz§dfi3|xr²zrsu\q|}t |\µ>|}qPz|xwxi,zd|>z rszZu\§rvi@qPz zdfi t+Xz|xq³ú\§g|}z§rvuxqj§ftvihu}³0®Pz§Dih)507h 8ÊÁxª dfr~ydÿ@|xqDi,Di@³´ftf³ú\Zrvgftvr²«Dyh|>zrsu\q |xqj§i@«qfihgjihqPz:ux³Dzdfi{y@|xtvy@ftv@; 2<i{i@qu}z§izdfi{ u\z|xrsqih ³´§u\g §yd|?fihyiVi@qDyi ) 2<i{i@ÀPzi@q ) ³úxg z§ih§gZ|xqj«z§¶Qu\fi@5³úxg6tv|\5z§u

(115) tvrsz§i@|}t~ yu\qr~ih§rvqfw3|3tvr²zi@|}t f<TWi |\5z§di{g6t²zrv§iz fM8Ki

(116) |}qÿ@uxg|x§rvqfwpz§dfihg Pj§rsqw3z§dfig6ftsz§r~§iz i@À z§i@qDrvuxqux³ ) t~|}§ihZ|}i g ftsz§r~i@z#u}³ zdfi@rvtsrsz§ih|xtv#|}q9|}i|}wP|}rvq¨q|}z§f|}tvtsyu\g|}ih jz§dipg ftsz§r~i@z#i@ÀPzi@q§rvuxqüx³z§dfi tvrsz§i@|}tuxi@rvqfw 2<i |E|9tsrsz§ih|xt ¾r~ F ! F !"# rvqL|ÿ@tv|xi rs³ ³ú\|xtst tsrsz§ih|xtv Trs q j 2<iª rstvt:fqfrs³úxgtsXª rsz§i ) ³úxpz§diju\fi@rsqfwP{u\qXzi@ghÁu\qX³úxg6tv|\@Á u\qLtvr²zi@|}t~@Á|xqXu\q y@tv|x§ihh; 2¾di@q¯ª i3y@uxg|}i?| tvrsz§i@|}t|xq¯|yt~|}§i?ª i3yu\q§rvih#z§dfi3tvr²zi@|}t|\ | qfr²zpyt~|}§ix ; " - "=> "! + ,4 2<iGi@wxrvq± Lihyrvfrsqw¯§uxgifuxGi@§z§rvihpzd|>z6|xtst:u\f3rsqf³í@i@qy@ih3ª rvtstZd|Eµxi\@: qf³í@i@qy@ih?d|Eµ\i | F !"DQF@

(117) jÁ:| %& " %9#K

(118) Á:|}qD¬hi@u¯ux

(119) guxi

(120) $ FDQF@

(121)

(122) E 8AJAJJQ8 L ©® yd8|xq rvq³íh§ihqyi?r~ ª §rszzi@q JJAJ L . E. 8. . ª d i@i"ª#i¯ª rstvt{|xtsª|E ª rsz§i"z§dfi©g|xrsq½fi@gr~i"«zVcdfi¯rsqf³í@i@qy@i©uxGi@|>z§iVjuxq»z§dfi F !" # !"# rsq·z§dfi¯g|}rvq°fi@gr~i\Áª dfr~yd·ª#i9ª rvtstª r²zi"|\

(123) zdfi"«z tvrsz§i@|}tux³ z§dfi©yt~|}Di\±¸ §rvi §ihgjr~§i |}tvª#|Ed|xzdfi6³ú\§g f hTki P Á|}qª i|x§fgi

(124) z§dD|>z3µ>|}rv|xftsiV|x§iji@q|xgjiV zuDijr~zrsqyz,³úxg&z§dfuPi3ux³ zdfi

(125) uxz§dfih,fi@grv§ihh : q³í@i@qy@ih u\qXytvu\§ih¯yt~|}DiV@Áfª drvyd©ª#i

(126) y@|xtst %#$ "

(127) 9 $ Y9 %&9

(128) ÁDª rstvt0dD|Eµxi?z§di6|xffr²zrsu\q|}trvgftvrvy@r²z§r~i6yu\qrsz§rvuxq z§d|}z,z§dfi6g|xrsq©§ihgjr~§i3rv w\§iV|>zi@,zd|}qLz§dfi§rvijfi@gr~iV|xq©zdfijy@uxqy@tsDrvuxqÁGzd|>zpz§dfijg|}rvqLtvr²zi@|}t rvpg|>Àrvg|}t rsqz§dfi g|xrsq©fi@gr~i\ÁD|xq¯z§dD|> z 6 f T i : ) |}qD f ) i ³ú\{iV|xyd©r~i f§ihgrv§i ) +ux{z§dfij|xyÂz|}t quxqfw\§u\fq

(129) rvq³íh§ihqyiVª#i |}f§uEÀrvg|}z§iZz§dfi u\ih§rvqfwDÁh³ú\:iÀf|}gftvi ) ; : q rvq³í@i@qDyih5ª di@i |§fz§rsz§zrsu\L q E´rQ i\|}q"gwxH G#r~ |}ftsrvihz§di

(130) yuxg|x§r~§uxq9r~g|xi?u\qzdfi

(131) §fz§rsz§zih¯yt~|}§ihh + rvz6ª#i¨fih§i@qPz

(132) z§di¨tvrsgrvq|>zrsu\q°rsqf³í@i@qy@i¨§tsiV3z§dD|>z6i@À D|}q8y@tv|xiV?z§uyt~|}§i¨qfu\§g|}t ³ú\§g¯5c0u6ª §rsz§i zdfi@g guxi,yu\qyr~§i@tv ª#i{|x|}zzdfi,fqr²«iVqfuxz|>zrsu\qu}³0® g ftstv\|xqz§u

(133) u\fZtvrsz§i@|}t § qPz|>ÀA< c ÙquTe] c ÛquT \ c#quT \.

(134). E c T ] u c T \ u c T ] u.

(135). \. ¤¢ È. ûû Ò"Q 9RÂß. . q q q. 67H:. &

(136) &

(137). ,1.*c Te] 03.*cuT \ \. c H . c H . T. ]. . . T. T. TU] \. \. c. c c. èquT \ êquTe] #quTe]. Te] T. +. . \. ,1.tc T 03.*cuT. . c c. ]. T. c. T \. q. T. q. 6IH:. &

(138) &

(139) c H . c H .. q. +. \ ]. T. \. E. T. T ]. \. \. TU] T ] U.

(140) . !" * H D. ¤¢ È . . B. . . ¤¢ È .

(141) ¤¢ È .

(142). . E.

(143). ³úx "8&>

(144) . . +. 6 :. . . . ª dfi@i vr {|6³íh§d"µE|x§r~|}tsi\ ¤f¢ È 6 . 6I. E 8JAJJA8. L ::O ª dfi@i . ~r | ³´§iVd© /xu\tsihg ³´fqyÂzrsu\q©|}qw. . Te]. ¤¢ È . 67f9TWi:hTU] f9Tie. . . E. "|}ipz§dfi?³í@i?µ>|}rv|xftvih#rsq . 8AJJAJA8K. L. . f9T ie È ¡´¢ Ä f¤ Ä ¥ Ä ¤f¢ È f9T \ BipT ] ª df@i idf5|}qwi x| §i?qfu\qPz§rsµ r~|}tG³úxg6ft~|xhÁ;f i Á|xqwf5rvqfuxz{|jqfuxqfiVP|>zrsu\q|}t |>zuxg¯ . . . . . f9T ie È ¡´¢ Ä f¤ Ä ¥ Ä ¤f¢ È f9TU] BipT \ ª df@i idf5|}qwi x| §i?qfu\qPz§rsµ r~|}tG³úxg6ft~|xhÁ;f i Á|xqwf5rvqfuxz{|jqfuxqfiVP|>zrsu\q|}t |>zuxg¯ . . . . ©Ä ¤¢ Ä f¤ Ä ¥ Ä ¤¢ È ª dfi@idf5|}qwi |x§ip³ú\§g ftv|\@.

(145). . . . 6 f9T f9TU]. . i-:DT \ BipT ] . . . 6 f9T i-:DT \ ©Ä ¤¢ Ä f¤ Ä ¥ Ä ¤¢ È f9T \ BipT \ ª dfi@idf5|}qwi |x§ip³ú\§g ftv|\@ cdfiX§ihy@uxq·|}§zu}³z§dfiXyh|}t~yftvjrv|zª#u}¶ u\zih°§fGi@DuPrsz§rvuxq½y@|xtvy@ftv@Á ª dfr~yd»r~µxih§ §rvgjrvt~|}z§uz|xqf|}"fGi@Gu\§r²zrsu\q.

(146). . . . 6 RpTH:hT \ Ä Ä â¢ Å 9Ä ¡ È 0¢ È ª dfi@i E´rG)R3|xqwH |}ipz§ih§ghÁf|}q E´rvrG Lr~ |gu\zw\i@qfih|xtTfqfrs«i@,ux³R6|}q ÂH . . . . 6 R f TWH:ZT \ f9T iU ©Ä ¤¢ Ä Ä £ È ¡´¢ È 66?R i T H:DT \ : ª dfi@i E´rGR f |}qwH|}izi@g@ÁOEârsrG f rv q u}z{|jµ>|}rv|xftsi\Á E´rvrsrG <r~ |gjuPz,w\i@qfih|xtTfqfrs«i@ u}³ f5|}qwf IÁ|}qD EârsµGR f H 5.

(147). . . . . . . . . . . . . . Î û ÎÓü.

(148)

(149) "!"#$%&(')&!

(150) +* =. R f T Hg f<T i È ¡´¢ Ä Ä £ È ¡´¢ È 6 R i T H : ª dfi@i6Eâr Ghf rvZqfu}z|3µ>|}rv|xftsi\ÁHEârsrG ¯r~Z|

(151) gjuPz#wxihqfi@|}tfqfr²«Di@Zux³9f|}qD f I ÁEârsrvr G R f H 5Á |}q EârsµGp6 R f TWH: 5 . . . . . . . . . . . ¤f¥x¢ È £ T. . . f T e 9 i Bf T i 667isTi :DT \ f W T i.

(152). . . . . . . d:. . ª dfi@i E´rG rv |jgu\z,wxihqfi@|}tTfqfrs«ih u}³f |xqwf Á|}qCE´rvrG f i i 5 2<i3tvizi@qfuxz§ipz§drv,§iz,ux³rvq³í@i@qDyihh :Ê³5ª ipihz§rvyz zdfi?rsqfz z§u|ji@zux³ y@tv|xiVyuxqPz|}rvqfrsqw u\qftstvrsz§i@|}t~#u}³z§dfip³úxg)RtT H |}qD 6?RtTWH:ZT \ ª dfi@) i R|}q H|x§i z§ih§ghÁ}qfuxqi ux³z§di tsrvgrsqD|>z§rvuxqjrvq³í@i@qy@ih r~:|}fftvr~y@|}tsi\Áx|}q6ª i ihy@u>µxih |p qPz|\yÂzrvy#µ>|}rv|xqPz ux³Dzdfi z|}qf|x Dih§Gu\§r²zrsu\qjyh|}t~yftvI 507@" 8ÊÁxª rsz§djiÀf|\yÂz§tv3zdfi,§|xgi u\fi@rsqfw3ihz§r~yÂz§rvuxqD@ ,u>ª#i@µxihhÁ\r²³ª#i{y@uxq§rvfi@ y@tv|x§i{i@z#yu\q\z|}rvqfrvqfw3uxqftvtsrsz§ih|xtvu}³ z§di,³úxg # Tu]u\ # T \ ÁDª i

(153) fu¨qfu}zwxiz zdfi6z|xqf|}"uxi@ihih§uxtvz§rvuxq©y@|xtvy@ftv@ : qz§iV|x"ª i6qfi@iV ³â|\yÂzuxrsqfwLuxq°Gu}zd·Gu\§r²zrsµ\i|}qD°qfihw\|>zrsµ\i¨tvr²zi@|}t~ |xq8uxfz|}rvq·|L§iVu\tszrsu\q8rsqf³í@i@qy@i"ih§rvµxiV ³úxg 5uPrsz§rvµxi±® fGi@DuPrsz§rvuxq z§d|}z"ihz§r~yÂz"Gu}zdKih§uxtvµxihtsrsz§ih|xtv9z§u½Gi<z§rvyz§tvg|>Àrvg|xtI {i@µ\i@§z§dfihtsiV§hÁ#|8yh|}t~yftvi@À z§i@qDih¼ ¼§i@tvihyz§rvuxq Eâ§i@iL®ihyÂzrsu\q JGyh|}q¼³úxyi¯qfihw\|>zrsµ\i©tsrsz§ih|xtv zu©Diz§iV|>zih< S ,ihw\|>zrsµ\i¨® fGi@DuPrsz§rvuxqÁª dfr~yd<tvih|\f?zuX|"§ qPz|xyz§r~y@|xt:µE|x§r~|}qPz3u}³ z|}qDf|} u\fi@ihïh§uxtvzrsu\q9ª rsz§d©ihtsiVyÂzrsu\q . . . . . $ =>9?

(154) "

(155) ¼-/ 64 ¯# " 0 & 2<ifu>µxi z§dfi9§i@³´z|}z§rvuxq|xtyuxgftvizi@qfiV§?ux³ rvq<z§dfi¨§iVihqyiu}³ z§uxqfw"§iVfq|}qy@yrsz§i¶ r~|§rsqfw9z§dfi §iVyz§rvuxq¶Êu}³Ó¶ yu\fqPz§i@iÀf|xgjtsiV³´|xgi@ª#uxD/9u}³D|\ydfg|}rv{|}qm?|}qf¬hrsqfw\i@ 5 M8Q 2i |\§§fgipz§d|}zz§dfi3ih|\i@r~³â|}grvtsr~|} ª rsz§d"z§drv gi@z§dfu 2<i?ª rstvtyu\qz§DyÂz | {i@f|xq¨guiht Pª#i@tvts¶Qu\ih§iVihy§rsu\qü>µxih ) uxqy@tsuPiV9y@tv|xiV@ 2<i3yu\qz§DyÂz,|6i@ª rsz§i?z§i@ g ^z§d|}z,yuxqPz|}rvq#§ftvih#ux³0z§di?³úxg f

(156) i6ª dfih§ipi@rsz§di@) f |}q i |x§iwxuxfqDz§ih§ghÁPu\ ª di@ti frv|

(157) quxqfiV\D|>z§rvuxqD|}tGwxuxfq9|>z§u\g|}q! i3rv|jytvu\§ih³ú\§g ft~|f 2i ª rvtvtª §rsz§l i R

(158) HpuxNz R

(159) Hpª dfi@P q R¨§ihª §rsz§iV{zu HÂ Á

(160) ³úx?zdfiz|xqrsz§rvµxiytvu\§fiu}³

(161) ¾Á

(162) ³ú\3z§di§i iÀrvµxi¶Qz§|}qDrsz§rvµxi6y@tsuP§iu}³

(163) ¾Á |}qa R Hrs³ R

(164) HÂ 2<iª rstvtZyu\qz§yÂz. rvq§ydL|9ª#|E"zd|>z?|}tvt tvi³Óz§¶QdD|}qr~ihu}³ftvihp|}i6rv§ihfyrvftvi6 ¯u}z§di@p§ftvihhÁTª dfr~ydLrvgjtsrvih y@uxq Dfi@qy@ix:cujihq§f§ipzi@gjrvq|}z§rvuxq"ª i3ª rvtst ihPfrvpi f ) i

(165) ³ú\,|}tvt§tsiV@ ® fDuPi /r~,§yd©|§ihª §rsz§i

(166) §zi@g¯ 2i6fi«qfi

(167) z§dfi D9 %9#$ "

(168) ux³ ÁDª §rszzi@! q EÁT|x zdfi

(169) §g|xtstvihz,i@z u}³:ytvu\§ih9«z¶ÊuxihZ³ú\§g ftv|\#z§d|}z,§|}z§r~«iV#z§dfi?³ú\tstvu>ª rvqfwyuxqDr²zrsu\q4 < 7xI :Ê³ c"

(170) q |}qw q # zdfi@q c # } k* ]*$ > f) RtTeR $ ³úx,|xtst w\§u\fqzi@g* R\ I :Ê³ c $ %3|}qw q # zdfi@q c Ùq # } I :Ê³ c $ %?ux) q # zdfi@q c êq # } BfI :Ê³ c $ %?ux) q # zdfi@q c #q # } ûû Ò"Q 9RÂß.

(171) 7V. !" * H D. J I :Ê³ c $ %?r Ngq {z§dfihq cuTUq > fI:Ê³c&H .

(172) $ ³úx,|xtst w\§u\fq9z§ih§g H z§dfihq!,/.*c $ > =fI :Ê³ c&H .

(173) $ ³úx,§uxgi?wxuxqzi@g H z§dfihq 0@.*c $ . 6y@|xq©Dijfqihz§u u©|xp|grvqfrsg|xIt E´«z§¶Qu\ihhÁihP|}tvrszG{,rvqPz§r0/+/>|i@zpyu\qPz|}rvqfrvqfw jcdrv fi«qfrsz§rvuxq"r~ ¨rvqDyÂz§rvuxq"u>µxih ) : q"|}§z§r~ytv|x rvq"yh|x§@i EB GÁ z§dfi?uxqtsu\qfi?rsq µxu\tsµ rvqfw6qi@w\|}z§rvuxqÁ zdfi?³úxg6tv|\rsq"z§di6yu\qrsz§rvuxq©|}i3g|}tvtvi@z§dD|}q"z§dfi

(174) ³úxg6ft~|jrsq"z§di6yu\qytv§rsu\qÁfu ?r~ ª#i@tvt²¶ fi«qfiV Z #§iVz§r~yÂzrsqw {z§ujzdfi3,i@f|}q9|x§ipr²z Gihyu\gih |j,i@f|}q9rsqPzi@f§i@z|}z§rvuxqÁ|}qD ª#i

(175) u\Pµ rvux§tv9d|Eµ\ri c ?rs³Z|}qD©uxqftv"r²³ m c : q©zdfi

(176) ³ú\tstvu>ª rsqwª i

(177) ª rvtvt |xtv§uª §rsz§i. {³ú\z§dfr~,,ih§|xq9rvqPz§ih§fiz|>zrsu\q Ä °¤ 6

(178) 9 MY( 9[F &9 !

(179)

(180) F! %& "+*M %& . Y :Êz³ú\tstvu>ª,#³´§u\g z§di3i?ux³ |yu\q fihq\z i@ª r²zi3z§i@g&|}q9³´§u\g z§di3tsu\wxr~y@|}tTfuxGi@§z§rvih ux³iV\rsµ>|}tvi@qDyix v Ä °¤

(181) f

(182) i D@! #0 mUf TWi . Y 2<i

(183) y@|xqi@ª rsz§di f<T i6z§u ipTWi Áfª dfr~yd¯rvrvq %?P9§i iÀrvµPrszx v 2<i"|\§§fgi9|\6w\rsµ\i@q°|L§iz ux³{yt~|}§ih |}q8frst~·|xq°rvq\zi@fiz|}z§rvuxqÁ5rvqPz§i@qDih°z§uLGi| guiht ux³8Á5³úxg z§diw\§u\fq±rvqz|}qy@ih u}³° +uxjih|xyd»ytvu\§ih°y@tv|xi ª#i9ª rvtst i@«qfi| §i z /ux³{i@ª r²ziftvihih§rvµxiV8³úxg yt~|}DiVj§g|}tvtsihjz§d|xq jÁ z§dfi©{rsqPz§0r / />|<§iz " m fi@rsµ\ih±³úxg ÁZ|}qD·|L§iz zd|>zyu\q\z|}rvq i@rsz§dfih|L§ihª §rsz§i§tsi"i@rsµ\ih±³úxg ¿uxjrv ihgzx"cdfiï«Dqfr²zrsu\q8u}³ fi@Gi@qf6uxq |xq " rsz6r~3ª ihtsts¶ i«qih Á rvqy i |}q " u\qftv9i@Gi@qDu\qK³úx §g|xtstvi@zd|}q jD +uxg|xtstvª#iptviz f

(184) i

(185) rsI³ Eâr G " m âÁ Eârsr G um f9TWiU rv|?w\§u\fqjrvqz|}qy@i u}³ |3yt~|}§i rvq8Á Eârsrvr G)f |xq ij|x§iz§ih§ghÁux) f rv{| quxqfiV\D|>z§rvuxqD|}t |>zuxg¯Á â E s r µ p G 7 6 9 f W T i : â Á ) a m Eâµ G f ) i Á EâµPrG f rv,rs§iVy@rsftvi? ,Á|}q EâµPrvr Gp6 =f

(186) i

(187) : m ux u}zdfi@ª r~i\. a m!#" "a m cuuxz|}rvq"|xqrvqPz§ih§fiz|>zrsu\q9³ú\,|}tvt wxuxfqrvqz|}qy@ihux³$2ª i?tviz. % m& |}q " % m % J 2<i,|E3z§d|}zZ|?ytvu\§ihjyt~|}§i $ %&

(188) f

(189) iprsq " % r²³ f

(190) iprv:rvqL³ú\5z§dfii@z5ux³Ty@tv|x§ih'8 : q"zd|>z,y@|\i?ª#i3§|Ezd|> z /rv $ %" rsq " % . . Î û ÎÓü.

(191)

(192) "!"#$%&(')&!

(193) +*. 7 7. Ä °¤ Y mUf TWie D $ %D9

(194) f

(195) i 9

(196) ZY9!#

(197) 6 " % . Y ®ffGu\§i&5r~,z§fijrvq " % 3cdfi@q<u\gjijytvu\§ihXy@tv|x§i f§uDyihp|¨ftviNf

(198) i zd|>zj§iVy@ih S#8yu\qrsz§rvuxq E´µ rvr G3z§dfr~ §ftviyh|}qfqu}z6Gi¨zdfi9u\qfi¨fuyiV± rsz§i@ts³Á§u ) j #ihyh|}§irf 0rv,rs§iVy@rsftvi3ª3 h zh1f

(199) i ª#i

(200) d|Eµ\ipf ) f #z{quz§ih§g ux³ú\§g ftv|rvq r~wxih|}z§ih zd|}q fÁfu yh|}qfqfuxz Di3ihDyih !f

(201) i 0|}qD9ª#i3d|Eµxi?|yu\q\z|\r~yÂz§rvuxq0 v 2<i{qfu>ª¾y@uxgi z§u

(202) z§dfif§u ux³Gux³ z§dfi,ihfyÂzrsu\qf§u\Dihz u}³ GÁ ª dfr~ydrvz§dfig|}rvq|}§zZrvqz§dfi §u u}³5u}³:i³´z|>zrsu\q|}t yuxgftvizi@qfiV§h 2ijy@|}tvt|y@tsuPiV©yt~|}§i | %& "H + !-F #$ ³úx " %/rs³r²z r~,|w\§u\fq"rsqDz|}qy@i3u}³:|yt~|}§i3rsq |xq"³â|}t~i3rvq " %j®rsqy@i

(203) ytvu\§ih¯yt~|}DiV,|}i?ª ihtsts¶Qu\fi@ih ) ÁGz§di@i i@À r~z?|9tvih|\z?yu\fqPz§i@iÀf|xgjtsi ª dfi@qfihµxih " % m ° iz Gi|9y@uxfqPz§ih§i@Àf|}gftvi ³ú\ " % |xq©tviz Gij|ytvu\§ih©rvq³íh§ihqyi ª r²zdLg|}rvqLfi@gr~ijÁr~i f§ihgrv§ih E 8AJJAJ8 LX|}qD y@uxqy@tsDrvuxq > 2<i §|Epz§dD|>z D $ %&

(204) I )%& "H !F)#$ E´ª rsz§dj§iVGihyz zu " % Grs³ " % mUb Á ) |}qD·zdfiL§rvfiXfi@grv§ih9|}i©f§uDyÂz§rvµxi©rvq " % ¸,q¾rvq³í@i@qy@iXz§ih g

(205) ¯d|x¨z§dfi D $ %9 " D 9dY9 " %& " !-F #$

(206) E´ª rsz§d<§iVGihyz{zu " G,rs³zdfi@i r~p|9w\§u\fq©rvqz|}qDyi6ux³ |xq¨rvq³í@i@qy@i{rv q

(207) zd|>z§iVy@ih ³úx " % ³úx|}q i@z u}³wxuxqÿt~|}DiVZ§yd¨zd|>z " % d|x zdfi3tvih|xz,yu\fqPz§i@iÀf|xgjtsi m v{ ¤ !"

(208) F $ %9 " &)Y9 %& "H + !-F #$9