SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective
15
0
0
Testo completo
(2) ..
(3)
(4)
(5)
(6) !
(7) #"$%& ' )(*+'
(8) , -
(9) .!/102435.6"$7!/89
(10) , :;
(11) <' >=
(12) ?@BADCECEF$GIHKJELM?JENMF$GIHKLKOQPSRT@UF$VIHXWYLZR<F[C]\^AD@Y@BWBGXW_O`PIabGIJ^WUc6LMd+WYVIGIcfeXWBg[@BWBFhOiP j F$VIC]\^L d+WBVXGIcfeXWBg[@BWBFlk6m n[PXF$GIH!?,J^NMF$GHKLMopFlccfeXAD@Y@UFqO r)sutwv[x<yqzT{q|~}iEw| |S<f{q6} }$| D , D )> y >$fi < E{q6} t ~ D6h``SiQQ [S¢¡Di[£i¤QS¥$`¤i¦D§D[£i¨¥ª©¬«Ql£D`¡®©w£6¥ ¯Zs<tw°x<ylz<{q|~}i^w|~+ |Ixf{` ± 6}ily Q²$>³Q³ xIf{` t ´ «l¨6µ ¥$Q§$¤i¨©¬«il£¥Dª©w£¥ t¢xbp¶¬t·<vlx }[| v$Q¸ ¸ |¹}Q >² y D²Q³i³ xf{` t¬ D º¼»®½f¾f¿6ÀhÁD¾Q ± QÃKDw|~|~D{ wQ{q|~{lÄ!ŬvlƪxbÇÈ|~ {Zfwwf{`| à w É°¸ { wQ{l|¹{lÄ wÊ[fËqÌ { ÃlD QÍ f ¸ °|~{¼ÎfQ¸ à E w Îf|~f{qÎfTÎ {%DÍK< ÎEQ¸ Ãq| v[Æpx { Ïqf{%EÐXfÎE|~}i fÎf| % w|¹{lÄ+¢ E¶¬DÉB¶ÑÏlE¶ wbw }i^fËhÆ ^{ ¶ |~}i yS|~Éb [ ÎE|~D{1vl~%ƪxÒ |~,{qÉB w|~Í Qy®Ïl¼| { fÎ]Ïq{q QÄ DÉ ¢ E¶¬DÉB¶ÑÏlE¶ w,v[ÆpxÓw }iEuÎ {ZÍK wEÉ l |¹{ EÎf | |~{qļ Ïq ,ÃlDÃKQw ||~Q { ÎfD¸ ÃKQ{lf{`ÉTÏl wD{q|~{qÄM wÊ1ÍKf|~{qÄMÎfD{qw| E ËÔx°Ïl|¹ ¹ ¢ ÃqÃ[ Î]Ï Ï <ÍKEf{ w |¹{ |ÐXEf{`<ÎEQ{`EÕ$bÍ ) |ÐXEE{$ D ÏqfyK¸ { |~¸ fTÍ ÏqDÉ°Ïl|¹Ã ÃKE>ËSÖ fÎ w¼DÉ Ïq×fwwE{$| ¼Ã Í Ïq¼v[Æpx w }QE>y®Ïqfw EÎf|~ w|¹D{ØÃ[`Îf [ fÏ }i¼ÍKff{ Î ¹ Ò Ù v[¹Æpf x ¶¬ Í w [Ú Ëªv[Æpx ¶ Í w Û EÎf|~w|¹D{ÛÃl`Îf [ fÏ }i ÍKff{ÜÃ[QÃKDw ÉUD)} |~ QÄQ|~ÎffyÈÍ wM|~{DÏq^ Î^Ï Ã {l{q|~{qÄ[ËSt{Ïl|¹ à ÃKEÝ Ãlfwf{` {q|É ¶ |~{q Ä%ÃKEwÃKfÎ^|¹}Q +Q {MÏl } |~ ¹ vlƪx ¶¬Í w ÃqÃ[ Î^Ïlf<¼Ïqfw %|ÐX Ef{` wQ{l|¹{lÄ× wÊ$fË Þ. qß àÈáKâXã äå,æSáXçãÈà è JEL[éSLlC^W¹\EWYLlGIF$@`JEADFlC]LlGXWYGIg¼êëK? oìÔWBCpF$G ADCEC^AGq\^WUF$@$éF$J^\ªL$íKNMF$Ghî+J^AQF[C^L[GXWBGXg<\EFlC]ïKCDðDñ F[Gqî éXJ^LlòX@BANMCªWBGcL[NóéXVK\EAJ°C^cWYADGIc6A<cF[G%òSA<cL[NóéXWB@YAQH×\^L ëK? oÛF[GIH×\^eIAG)A6ôõADc>\EWYölA@Bî C]Ll@YölADH VIC]WBGXgÓC]\EF$\^A÷L[í_÷\EeXA6÷wF$J^\ZC]Ll@YölAJfCPTC]ADA[PÈAlð gðYP+ø ù F[VK\^úØF$GIHÒëhAD@YNMF[GÔPûQü[üqýKPbù F$VX\^ú2F[GIH ëhA@BNMF$GÔPlûDü[ülþXP6ÿ<WBAJEA BPlûQü[ü[ ü ¬ðD?,@¹\EAJEGIF`\EWYölA@Bî[P6WYíXJEADHKVIc6\^WBL[G+\^L+ëK? o;WBC®GIL$\ÔíÑAQF[C^WYòX@BA[P \^eXAuWUHKADFlC F[GIH \EADcfeXGIL[@BL[g[î×L[íSC]\EF`\EA6÷¢L$í_÷\^eXA÷¢F[J]\ ëK? oÓC^L[@Bö[ADJECpcF[G%òSA<VC]AíÑVX@KWYGóHKAQc6WUHKWYGIg \^eXA éIJ^LléLqC]WY\^WBL[GIF[@ c6L[NóéSL[GXADGq\¼L$í<\^eXA JEADFlC]LlGXWBGXgZ\fF[C^ï2òSAWBGXg c6LlGIC^WBHKADJ^AQH®ðÔoueXWUC @UF[C]\ F$éXéXJELlFlcfe eIFlC×òADAG VIC^ADHØWYGÜHKWYôSADJ^ADGq\ cL[Gq\^ A
(13) h\EC×òhî HKWYôSADJ^ADGl\%F[VK\^eIL[JfCPõNMF$Ghî.\EWYNóADC òqîMF[VK\^eXLlJECÈL$í®\EeXWBC<éIF[éADJDðhÿ<ADcDF$VIC^AL$í®\EeXA+ADCEC]ADGl\EWBF[@IJEL[@BAéX@UFiî[AQHóòqî)\EeXA×ëX? oÒC]Ll@YölAJQP W¹\ZeF[CMòSAADGÒcF$@B@BAD H EëK? o<÷¢òIFlC]AQH ;WYG ø d+WYVXGcfeXWYgl@YWUFÜF$GH ëKAòIFlC\EWBF[GXWP,ûDü[ülþ$ò ðÈoueIF$\ éIF$éSAJMWUCMF$òSL[VK\ZHXADc6WUC^WYLlG éXJELKc6AQHKVXJEADCíÑL[JMNóLKHXF$@ @BL[glWBcDCð oueXA CEF$NóA\^LléXWBc!WUCMHKAQF$@Y\ F BP®ûQü[ü IPhd+WBVXGIcfeIWYgl@YWUF W¹\EeWBG ø d+WYVIGIcfeXWBg[@BWBF)F$GIH1ëhAòF[C]\^WUF$GXWPûQü[ülþ[FXPhd+WYVIGIcfeXWBg[@BWB BP<ý $ò ðÈëX? o<÷òIFlC]AQH HXADc6WUC^WYLlG éXJELKc6AQHKVXJEADCíÑL[JMHKAQc6WUHXF$òX@BA1íÑJEF[g[NóAGq\fCL[í IJfC]\ L[JfHKAJ@YLlg[WUc2F$JEA2éIJ^AQC]ADGl\EADH WBGø ?JENMF$GIHXL F$GH d+WYVIGIcfeXWBg[@BWBFIPûQü [üIPT?,J^NMF$GHKL F[GIH.
(14) d+WYVXGcfeXWYgl@YWUFXPpûDülü ð j WYGF$@B@YîlPõëK? o<÷¢òIFlC]AQH.HKADcWBC^WYLlG!éXJ^LKcADHKVXJEADCeIFiö[A òSAADG éXJEL[éSLlC^ADH WYGØ\^ADN)éSL[JfF$@°JEADFlC]LlGXWYGIgØø ?JENóF[GIHKL BPÈûDü[ülü F$GIHØéX@UF$GXGIWYGXg ø d+WYVXGcfeXWYgl@YWUF BP ý $òÔPXd+WBVXGIcfeXWBg[@BWU F BPSý Iû[P ØLl@¹íÑNMF[G!F[GIHØAD@BH®PpûDülü[ü ð GØ\EeXWUC¼éIF[éADJDP AMéXJEADC^AGq\¼F!VXGXWYíÑîhWYGXg2éADJEC^éAQc>\EWYölAML[G;\^eXAMö`F[J^WBL[VIC¼ëX? o<÷òIFlC]AQH F$éXéXJELlFlcfeXADCÈ\^L\^eIA×HXW¹ôõAJEAGq\ J^AQF[C^L[GXWBGXg%\EF[C^ïKC<éXJ^ADöhWYLlVIC]@Bî c6LlGIC^WBHKADJ^AQH®ð GéIF[J]\EWBcVX@UF$JQP WYG ëhADc6\^WBL[G ý AØéXJEADC^AGq\1\^eXA c6LlNóN)LlG WUHKADFlCZL[íF$@B@+\^eXAQC]A;ö`F$JEWYLlVIC LlJ^ïKCDð<oueXADG WYGÛëhAQc>\^WBL[ G A C]eIL C^L[NóAóL[éK\EWYNóWBúDF`\EWYLlGIC×\EL\EeXA òIFlC]WUc)éXJELhcADHKVIJ^AQC HKADCEc6JEWYòSADH;WBG ëhADc6\^WBL[GýXð j WBGIF$@B@YîlP A,JEAöhWBA \^eIAc6WY\^AQH L[JEïKC L[GëX? o<÷òIFlC]AQH HKAQc6WUC]WBL[GMéXJELKc6AQHKVXJEADCDP éXJ^AQC]ADGq\^WBGXg+\^eXADNWBGó\^eXAc6L[Gq\EA
(15) h\bL$íS\^eXA,VXGXWYíÑîqWBGXg íÑJfF$NóA LlJ^ï éXJEAöhWBL[VIC^@Bî¼WYGq\EJ^LKHKVIcADH®ð ØA¼cL[GIc@YVIHXA\EeXA éIF[éADJ WYG ëhAQc>\^WBL[ G XP W¹\Ee!C^L[NóA IGIF[@ÔJEANMF$JEïKCð pä ªæ®ç qç]ãÈ à 2âXã æ ªäå â "!$#Òà,&ç %'ç^)à ( Ôâ ªæSáXç G¼\^eIAÈíÑLl@Y@BL WYGIgIP Auc6LlGIC]WUHKADJ F[G%F$JEòXWY\^JfF$JEî@BL[glWBcTcfeIF$JfF[c6\^AJEWBúADH FlCpFéIF[WYJ32547698):;=< eXAJEA > 8 WUCM\^eIA?A@CBEDGF-@HDEI`P Wð A[ðBPuFÜC]A\ZL$í×íÑL[JEN%VI@BF[A.WYGÒC^L[NóA.íÑLlJ^NMF$@,@BF[GXg[VIF[g[A eXWUcfe WYGc6@BVIHKADC%\^eIAZC\fF$GIHIF$JfH éXJ^LléLqC]WY\^WBL[GF$@ÈcL[GXGXAQc>\EWYölADCDPÔWð A[ðBPp\^eXA VIGIF$JEî;cL[GXGIADc>\EWYölA A K PXF$GHZ\EeXNA Mq÷wF$JEî 9ê MO lì<c6LlGXGXADc6\^WBö[AQ)C PQ:SRQ:UTWVXF[GIH J PK\^eIA òXWYGF$JEîZc6LlGXGXADc6\^WBö[L ; U W. C F ^ \ X e D A [ L E J [ î ® P W ð l A Ô ð ! F ] C X V ò C]A\¼L$íÈ\EeXAM@UF$GXglVIF$glAc6@BLlC^ADHØVXGIHXAJ éXJEL[éSLlC^W¹\EWYLlGIF$@°JEADF$÷ > C]LlGXWBGXgMF$GIHZ\^eXA¼FlHXHKWY\^WBL[GIF[@®J^VI@YAQC C]éSADcW c×L[íp\EeXA @BL[g[WUc+F`\eIF[GIH®ð ØAMF$@UC^LF[CEC^VXNóA%\EeIF`\+\^eXAó@BL[glWBcWBC×cL[GIC^WBC]\^ADGq\DPõWð A[ðBPõ\^eF`\+íÑL[J F$Ghî!íÑL[JEN%VI@B F X WYGØ\^eIA @BF[GXg[VIF[g[YA 8,PlWY\uWBC<GXL[\T\EeXA+cDF[C^A \^eF`\uòL[\^e XÜF[GIH J X òSA@BL[GIg¼\^ZL ;[VhF$GIHZHKADcWBHXF[òX@BAWBG \^eXA¼C]\EF[GIHXF$JfH1C]ADGIC]AlPXC]ADA[PKAlð gðYPÔø \,JEAòSAG.F[GIH.d+L[@UHhí¬F$JEòÔP®ûDü ]` ü ¬ð N ^ GZ\EeXWBCéIF$éSAJ A×íÑLKc6VICuLlG\EeXA×íÑL[@B@BL WYGXg)éXJEL[òX@BA* d+WYölAG F @YLlg[WU_ c 2`4a698):;=<1F$GIH F íÑL[JEN%VX@Ub F Xdce8P WUC!\EeXA íÑL[JEN%VX@Ub F 2b÷ c6LlGIC]WUC]\^AGqg\ f oueIF`\WUCDPIHKLhADC J XÓòAD@YLlGXg)\^hL 8jik;=f oueXA+HXADc6WUHXF[òXWY@BWY\îML$íÔ\EeXA@BL[glWBc,AGIC^VXJEADCT\^eF`\<\^eXA\EFlC]ïML[ípHKADcWBHXWYGXg%\^eXlA 2È÷¢cL[GIC^WBC]\^ADGIc6î L$í F$GhîMg[WBö[ADGZíÑLlJ^NVX@BF)WB G 8 cDF$G1òA¼FlccL[NóéX@BWBC^eXADHÔð G @ monp L$[í 8 WUC F;íÑL[JEN%VI@BF eXLqC]A.NMF[WYG C^îqNòLl@WUC GXL[\ZF G \EeXA.íÑLl@Y@BL WYGIgIPÈF[ éXJ^LléLqC]WY\^WBL[GF$@bc6LlGXGXAQc>\^WBö[AlPªWð AlðYPpWBC%GXL$\¼WB G q :rK.:SPQ:URQ:UTNsqðÔt ? ?vu9mwIUxg@?bWUC%F[G F$\^LlNLlJ \^eXA+GXAgqF`\EWYLlG L$ípF[GZF`\EL[N!ðK?* G @CySy&uzDB p{IgB"m}|.J WBCuF IGXWY\^A c6LlG ~VXGIc6\^WBL[GZL[íÔ@YWY\^ADJEF[@BC<C^VIcfe \^eIF$\×WY\ WBC×GIL$\+\^eXAMcFlC]A\^eF`\ òL[\^_ e F$GIH J F$JEA)cL[G ~VXGc>\EC+L[kí | ðÔ?G F[CEC^WYglGXNóAGq\ |yU@EmuAy"IgyóFØíÑL[JEN%VX@U_ F X W¹í\^eXA!íÑLlJ^NVX@Uj F |KXcF[GÓòSA1éIJ^L`ölADHÛòhîÜéXJEL[éSLlC^WY\^WBL[GIF[@ J^AQF[C^L[GXWBGXgI ð ;A JEW¹\EhA |bê +[ì 4 F[C F[GÛF$òXòXJEAöhWUF`\EWYLlG2íÑLlJ WUC¼F.c6LlG ~VXGIc6\%L$í |XP F$GIH |bê +1ì 4F[C F[G!F[òXòXJEAöhWUF`\^WBL[GZíÑL[J J WBC Fóc6LlG ~VXGIc6\L$í |Xð oueXA òIF[C^WUc°WBHKAQFuòADeXWBGIH+\^eXA<ëK? o<÷òF[C^ADH×F$éXéIJ^LqF[cfe\ELHKA6\EAJENóWYGXAb\^eXA 2È÷¢cL[GIC^WUC\EAGIcî L$í F%íÑLlJ^NVX@UWF XÓWBC ölAJEî C]WBNóéX@BA¼F$GIH1c6LlGIC]WUC]\ECuL$í \^eIA×íÑL[@B@YL WBGXg\ LMC]\^AérC ^ û[)ð r r F ê¬éLqC^C^WYòI@Yî éF$J^\^WUF$@_ìFlC^C^WBg[GXNóAGq\ eXWUcfeØéXJEL[éSLlC^WY\^WBL[GIF[@Y@Bî C^F$\^WUC ADC+\^eIA íÑL[JEN%VX@UFXPXF[GIHZ\^eXADG ýKð õ\^eIF$\ \^eXA glAGXADJEF$\^AQHZF[CEC^WYglGXNóAGq\ WBC WBGIHKADADH1c6LlGIC]WUC]\^AGq\ ð JDð \D ð 2ð.
(16) * +-,. 0/1.
(17) d+WYölAG \EeIF`\+\^eIA)glAGXADJEF$\^WBL[G2C]\^ADé2WBGhö[L[@Bö[AQCéXJEL[éSLlC^WY\^WBL[GIF[@pJEADFlC]LlGXWYGIg L[GX@Bî[PõWY\ WBC+éSLlC]÷ ]C WBòX@BA \^L VC]A%C]\EF$\^A÷L[í_÷\EeXA6÷wF$J^\,ëK? o C]Ll@YölAJfC<íÑL[J,glAGXADJEF$\^WBGXgMF[CEC]WBg[GIN)ADGq\ECDðIÿ<ADcF[VIC^A L$í \^eXWUCP A%WYGXeIAJEW¹\\EeXA¼NMF$GhîL[éK\EWYNóWBúDF`\EWYLlGICF[GIH!eXAVIJ^WUC\EWBc C]\^JfF`\EAglWYAQC¼êÑWBNóéXJ^L`öhWBGXgó\^eIA Fiö[AJfF$glAMcF[C^A òSAeIFiöhWBL[J>ì eXWUcfeÓF$JEAMWYNóéX@BANóADGl\EADHÜWBGÓcVXJ^JEAGq\)ëX? o C]Ll@YölAJfCð,L$\EWBcA \^eIF$\)WBG éIJ^WBGIc6WBéX@BA1F[Ghî C^A6\ L[íF[CEC^WYglGXNóAGq\ECC^F$\^WUCíÑîhWBGX_ g X cDF$G òA1g[ADGXAJfF`\EADHÛF[GIH \^ADC]\^AQH®ð L AölAJQPIWBG;F[@Y@ \EeXAóëX? o<÷òIFlC]AQH éXJELKc6AQHKVXJEADCDPI\EeXAóNóF[WYG2íÑLKc6VIC×eIFlC+òADAG2LlG \^eXAg[AGIAJfF`\^WBL[G.L[íÈc6LlN)éI@YA\^AF[GIH.WBJ^JEADHXVXGIHXF[Gl\+C]A\ECL$íÈF[CEC^WYglGXNóAGq\ECDð?C]A\ L[íÈF[C]÷ C]WBg[GXNóADGl\fCuWBC F X<P®WYQí XÒWUC+éXJEL[éSLlC^W¹\EWYLlGIF$@B@Yî!@BL[glWBcDF$@B@Yî.A lVIWYö`F$@BAGq\+\^L1\^eIA >
(18) ×íÑL[J F íÑLlJ^NVX@U HKWUC ~VXGc>\^WBL[G!L[íp\EeXA¼F[CEC]WBg[GIN)ADGq\EC<WY G VXF[GIH g .
(19) E h Ñ í [ L b J , F Ñ í [ L E J % N X V U @ F l < X ` P ¹ W S í Ñ í [ L J F$Ghî%FlC^C^WBg[GXNóAGq\ | c AueIFiölAÈ\EeIF`\ li q |s > WBCGXL$\c6LlNóéX@YA\^Alð RTL[NóéX@BA6\^ADGXADCEC+WBC+JEA qVXWBJ^AQH.\ELeIFiölAcL[JEJ^AQc>\+F[GIH;c6L[NóéX@BA6\EAóëX? o<÷òIFlC]AQH éXJELKc6AQHKVXJEADCDð J^JEADHKVIGIHXF$Gc6îMWUC ö[ADJ^îMWBNóéLlJ]\fF$Gq\ \^LhLIPXFlCuW¹\WBNóéXJEL`ö[ADC<A McWYADGIc6îZWYG!NMF$GhîZcDF[C^ADCDð ëhAölAJfF$@F$@Bg[LlJ^WY\^eINóCZF$GIH \^AQcfeXGX W qVXADCZeIFiö[A.òSAADG éXJ^LléLqC]AQH \^LÓC^L[@Bö[A!\EeXA2CEF`\^WUC]÷ F$òXWB@BW¹\î9éXJ^LlòX@BAN*WBG éXJEL[éSLlC^W¹\EWYLlGIF$@×@BL[g[WUc ê¬C^AAlPA[ð gIðBP ø d+V BP%ûQü[ü ] ì6ð,?NóL[GIg \^eXWUC<öiF[J^WBA6\îóL[íªF$éXéXJELlFlcfeXADC AeIFiö[A+cfeXLlC^AG \^eXlA \FiöhWUC ÷ ÔLlg[ADNóF[GXGK ÷ ÔL`ölA@UF$GIHê \ pì N)A\^eXLKH ø \FiöhWUC BPªûQü[þlý \^L HKADö[AD@YLléLlVXJ,HKAQc6WUC]WBL[G!éXJELKc6ADHXVXJ^AQCðXoueIA J^AQF[C^L[GIC<íÑLlJ \^eXWUCcfeXLlWBcA×F[J^A+NMF$GhîqíÑL[@U H ^ > \ ! ÛWUC,F C^WBN)éI@YA)F$GIH!AD@YADglF$Gq\,F[@YglL[JEW¹\EeXN eILlC^A WYNóéX@BANóAGq\EADH.ö`F$JEWUF$Gq\EC,éXJ^L`ölADH \^LMòSA ö[ADJ^îMAôSAQc>\^WBö[A WBG!F`\]\fF[cfïhWBGXgóeIF$JfH1ëX? o WBGIC]\EF$Gc6ADC V G \ bPl\^eIAJEA,WUCÈF¼@BL$\TL$íÔïhGXL @Y÷ > C]WBGIcA,NóLlC]\TC]\EF`\EA6÷¢L$í_÷\^eXA÷¢F[J]\ÈC^L[@Bö[ADJECÈF$JEAòIF[C^ADHóLl{ ADHKglA L[GMHXF$\EF C]\^JEVIc>\EVXJ^AQCbF$GHMF$@Bg[L[JEWY\^eXNMC \^eF`\ AcF[G)WBGXeXADJ^WY\bWBGML[VXJÈC^A6\^\^WBGXg íÑLlJ íÑJ^ADA V í \ WBCpVIC^VIF$@B@Yî×\EVXGXAQH \^L IGIHF,C^WYGXgl@YA<C^F$\^WUCíÑîhWBGXgFlC^C^WBg[GXNóAGq\QPDWY\ WUCpJEF$\^eXADJ > AölAG¼WYG ADFlC]î \EL NóLhHXW¹íÑî)W¹\ \EL g[ADGXAJfF`\EAuF×cL[NóéX@BA6\^AF[GIH)WYJEJEADHKVXGHXF$Gq\bC]A\bL$í®F[CEC]WBg[GIN)ADGq\ECDð a
(20) XF$NóéX@BADCL$íC]\EF$\^A÷L[í_÷\EeXA6÷wF$J^\)ëK? o C]Ll@YölAJfC¼òIFlC]AQHÜL[b G \ ! 9F[J^# A "%!$ &' ø ÿ<VXJELØF[GIH ÿTVIGXWYGIgIPÔûQü[ülýXPK ÿ Ll( eXN F[GIH.ëhéSADcfï[ADGXNóAîlAJQP®ûDü[ülþ *P ),+.-/ ø ÔWªF[GIH!?GhòXVX@UF$gqF$GÔPªûDü[ü ] P 0*132 )+.-öKýXð ø ÿuFiîlF[JEHKL,P 4[JQðF[GIH¼ëKcfeXJfF$gP`ûDü[ü ]
(21) P ),+.- % ö Ið ý 6ø 5 eIF[GXgIP[ûDü[ü ] 7P )8 ' ø d+WBVXGK÷ cfeXWYgl@YWUF BPõ ý Xû PIF$GI:H 9 NóL[JEA+J^AQc6AGq\E@Y;î 9=< & +>:> ø ñ.LlC^ï[A WBcú BPSý Iû ð ?ÜòIF[C^WUc \ ! WBNóéX@YADNóAGq\EF$\^WBL[G íÑLlJ ëK? o<÷¢òIF[C^ADH×JEADFlC]LlGXWBGXg WYG%L[VK\E@YWBGXADH¼WYG j WBg[VXJEAû[ð oueXA%c6LlGhö[AGq\EWYLlGICu\^eF`\ A¼VIC^A \^LZéXJ^AQC]ADGq\ \^eXA)F$@Bg[L[JEWY\^eXNMCF[J^A×\EeXLlC^A¼L$íøRTL[JENóAG BP×ûDülü ¬P<HXADCEc6JEWYòSADHÒF$\éIF[g[AQ C ?ÓF[GIH Kð GÒéIF[J]\EWBcVX@BF[JDPTö`F$JEWBF[òX@YAQC2ê¬A[ð gIAð @P BP ¬ì F$JEAZ\EJ^AQF`\^AQH FlCóéLlWYGq\EAJfC%\EL;\^eXA HXF$\EF;C\EJ^Vc>\^VIJ^AQCóJ^ADéXJ^AQC]ADGq\^WBGXg \EeXA c6LlJ^JEADC^éLlGIHKWBGXg AGq\^WY\^WBADCDð í,F!éSL[WBGq\^AJ)HKLhADC%GXL$\%JEA6íÑADJ \^LØF$Ghî2LlEò ~ADc6\DP A glWYölAMW¹\¼\EeXAZC^éAQc6WUF$@TöiF[@YVIA C 8 2 ðhëq\EFlcfïKCÈF$JEAc6LlGIC^WBHKADJ^AQHóF éXJEWYNóWY\^WBö[AHIF`\EF+\îhéSAF[GIHMF$JEA,F[cDc6AQC^C^ADH WY\^eM\EeXAVIC^VIF$@ c6L[GC\fF$Gq\]÷\^WBNóA éXJ^WBNóW¹\EWYölADEC D F) & F[GI# H D %!G P eXWB@YA×\EeXA×íÑVXGIc6\^WBL[ G H 'G -JIÛòXVIWY@UHXCF[GIH J^A\^VXJEGIC F$GØANóéK\î;C\fF[cfïõð®oueXAóéXJ^WBNóW¹\EWYölA KL))8NM C Oê @%P Pì,JEA6\EVXJEGIC+\^eXA C^A6\ L[í<c6@UF$VC]AQC @9NóWBGhVIC F$@B@S\^eXA c6@UF$VC]AQCÈWBG eIWBcfe@YWY\^ADJEF[@ PpLKccVXJECDPKF$GIH W¹\Ee1F[@Y@S\EeXA×LhcDc6VXJEJEAGIcADCTL$í W¹\fCGIAglF$\^WBL[GÔP PwP®JEANóL`ölADH®ð j WBGIF[@Y@Bî[P AFlC^C^VXNóA%\EeIF`Q\ - P >P 2 + P 2 "ÔP®F[GIH & 0 F$JEA IölA éIF$WBJ WUC^AZHKWUC\EWYGIc6\)cL[GIC]\EF[Gl\fCPpADFlcfeÜL[GXAòADWYGXg;HKWUC\EWYGIc6\%íÑJEL[N C 8 2 ð GÛéF$J^\^WUc6VX@UF$JQ!P F$GI# H > JEAéIJ^AQC]ADGl\u@BL[g[WUcF[@S\^JEVK\^e.F$GHZí¬F[@BC^AeILqLKH®PKJEADC^éSADc>\EWYölA@Bî[ð G RUTTWVYX % 2 Z!1 \EF[ï[AQC,FóíÑLlJ^NVX@BF X FlCWBGXéXVK\×F$GIH!JEA6\EVXJ^GC - Oê >hì A
(22) XF[c>\E@Yî j VXGIc6\^WBL[S e XAhG X2WBCbCEF`\EWBC F[òX@YA¼ê¬VXGICEF`\EWBC F$òI@YAlP$J^AQC]éªð ì6ð j VXGc>\^WBL[[G RUTAT\VYX % 2 Z!1 c6LlGhö[AJ^\EC X2WYGq\EL.
(23) m Kn >K=JWKM Å ! Ç
(24) Å® Ç Åp Ç
(25) Å®Ç fopU D[K=K=JLiT % Å Ç9 q m Ŭ¾-vljÇ * . "! $#&%' )( @ >K=JWKM o ¿+$* ¾-S, ¿/. 00
(26) 1 "2 Å y ! Ç ¿+*$¾-,S¿/. *1VU½=*
(27) 1 "2 Å y ! Ç ¿+*$¾-,S¿/. PO 43 56879 8: ¿+*<;0$* Àq¾ H 1I> ÏqJW`KMD wJLN Å y |! EÇ \S|~{ ÁQÀh½=* 3>5687&?@ 8:BA 3 5687 C D2E><: Å F y Å yÇ ! Ç ! $a I>K=E Å ! ÅyTc ry d\_Ç\ d E> >e Ç E> GA 3>56879$H 1I JLKM JLN Å y! Ç &s D[K=K=JWi ,TI. ¾- PUWV OQA 3>56879 y0Z ¦ C> R":NC ! ¿+*$¾-,S¿/. 8: S 3>5687YX 0 C> R: NC Å y ! Ç ² ¿+$* ¾-S, ¿/. 3 5687 ¿+*<c ;*$Àl\ ¾ 0 C>D[E>1: F Å y ! Ç rd dt q e ba ' Å ! Ç ] Î ] Ï \ f Î B É Q ¸ 0@? ¿ l _^T? ,f.X¾-UuV t E> q U @wvx5n3<y87Wz{ ! | ³ ¾-jT*1. `! ba I KME Å ! yTc d \ d /:fe Ç Å y \ _ Ç 2 D M K = K W J i gh ¿+*$¾-,S¿/. Z U @+ {)f¸ Ã[ Î ¹ w |~T|~{ ¾-jT*1. *1VU½=* S}! a I>K=E Å ! yc rd \ d PO e Ç ¿+[*|~T¾=S, {l¿/D.bf 8¸ O Ã[ U @k ¾ -jT*1. ²~¿+h*$¾- ,S¿/D[. K=K=JLiT Å y \_Ç S ¿/$* ¾-, ¿8. E> . 8: l ² *1UV ½=* l ¿/$* ¾-, ¿8.Bm KM KMJWKM 1 Å ! Ç ¸ EÏl ÉBDuvlƪx ¶¬Í w wQ{l|¹{lÄlË UWSÂh t¸ à f¸ f{` |~D{ÉõÏqusYT1. F$G AqVXWY÷¢CEF`\EWBC F$òI@YAÜc6@UF$VC^F[@+GIL[JENóF[@×íÑL[JEN @*ê¬@YWBGXA ûQìVIC^WBGXg \^eXA íÑVXGc>\^WBL[G kAV % CZ 130 -pð1ØA HKLÜGIL$\ HKWUC^cVIC^CóeIAJEAkAV- % CZ!130 - F$GIHÓ\^eXA.WUCEC]VXAQCóJ^AD@BF$\^AQHÛ\EL c6L[GhölAJfC]WBL[GWYG.c6@UF$VC^F[@®GXL[JENMF$@õíÑL[JEN!ðXñ.L[JEA¼HKA\EF$WB@UC cF$G!òSA×íÑL[VXGHWBG ø d+WYVXGcfeXWYgl@YWUF BPªý [ò *ð ,AJEAWY\+WUC×C]3V McWYADGq\\EL1CEFiî1\^eIF$\+\EeXAóc6L[GhölAJfC]WBL[G cDF$G2òSAóHKL[GXA)WBGØC^VIcfe F FiîZ\EeIF`\ @IWUCWB G óMê X[ ì eXAJEQ A X[SWBC\EeXA)C^WBúA[PõWð AlðS\^eXA)GhVXN%òSAJ×L$í<C]îhN%òSL[@UCL$í XTð j VXGIc6\^WBL[G RUTT\V,X % 2YZ!1 F$@UC^LØWBGXWY\^WUF$@BWYúDADC)\^eIA!C^ADF[JEcfe C\fF[cfï B êÑ@BWYGIA.ýlì)F$GIHÛ\^eXADG cF$@B@UAC RUTTWVYX % 2 Z!1 V-kÛ\^LHXA6\^ADJ^NóWBGXA\EeXACEF`\EWBC F[òXWY@BWY\îL[í @%ðqoueXA,AD@YADN)ADGq\ECTL$í®\^eIA C]AQF$Jfcfe2C\fF[cfï.F$JEA¼\EJ^WBéX@BADC+L$íÈ\^eXAíÑL[JEN 6 @k: P&:MP <>P eXAJEA @ WUC×FC^A6\×L$íTc@BF[VIC^ADCDJP PTF @YWY\^ADJEF[@PÔF[GI H P _c q-3: >G: 2 +: 2 " : & 0 sqð j VXGc>\^WBL[G KU))8NM C ' 13C - VM C \fF$ï[AQC F[C×WBGXéXVK\ \^eXA2C^ADF[JEcfe C]\EF[cfï F$GIH JEA6\EVXJ^GC FÜc6LlG ~VXGIc6\^WBL[G L$í+\^eIA @YWY\^ADJEF[@BCZC\EL[JEADH WYG WY\DPTWð A[ð P]ð j VXGIc>\EWYLl[ G RUTT\V,X % 2YZ!1 V-kÓC^L[@Bö[AQ\C @Òòhî)W¹\EAJfF`\^WBö[AD@Yî)F$éXéI@YîhWBGXg L[GXA,L$í \^eXA×íÑm Ll_m @Y@BL WYGIgóC]\^ADéIC ^ T % %r V K & 1 +r;\^L!HKADHXVIc6AGXA \EJ^VX\^eØFlC^C^WBg[GXNóAGq\fC íÑJEL[N @ðT %!%r V K & 1 +ÜïlAAéC C]WBNóéX@BW¹íÑîhWBGXg @ êÑíÑL[J WBGIC]\EF$Gc6A[PÈòqî A
(28) KéX@BL[WY\^WBGXg;\^eXA2VXGXWY\c6@UF$VIC^ADCóWBG WY\fìóVXGq\EWY@,F[G. YW Gc6L[GC]WUC\EAGIcî F$JEWBC^ADC+LlJ×F
(29) éSL[WBGq\¼WBC+JEADFlcfeXADH®ð G cFlC]A)L$í<WYGIcL[GIC^WUC\EAGIcîÛêÑ@BWYGXA ?qì6Pl\EeXA,JEA6\EVXJEG ö`F$@BVXAL[í T %!%r V K & 1 +!WUC 2 "ÔPhNóADF[GXWBGXg¼\EeIF`\T\^eXA+NMF$WBGZ@BLqLlé eIFlC \^LócF[@Y@*T % % Vn +< ð GcDF[C^A,L$í F
(30) éSL[WBGq\DP AeIFiö[A\ LéLqC^C^WYòIWY@BW¹\EWYAQCr^hWYíÔ\^eIAJEA.
(31) F$JEAC]\^WB@Y@Ôc@BF[VIC^ADCTWYG#@%Pq\EeXAG\^eXA+JEA6\^VIJ^GöiF[@YVIAWUC & 0 VKW¹í @9WUC<ANóéK\îlPh\^eXADG1F[@Y@S\^eIA c6@UF$VIC^ADCueFiö[A+òADAG.C^F$\^WUC ADH1F$GIH\^eIA×íÑVXGIc>\EWYLlB G ),V- % C )8N),- 13C -2WBCWYGhö[Llï[AQH®ð 1 F 0 8N)-8N<1\^L HKAQc6WUHKA+\^eXA GX A
(32) h\ \^JEVK\^e.F[CEC^WYglGXNóAGq\F$GIHZ\^LMADGKíÑL[Jfc6A+W¹\ VX\EeXA¼HKADcWBC^WBL[G WBC\fF$ï[ADGÒòhîÒc6LlGIC]WUHKADJ^WBGXg @ F$GIH iL[J1éSLlCEC]WBòX@Bî C^L[NóA @+L[òX\EF$WBGXAQH íÑJ^LlN @ òhî \^ADGl\fF`\EWYölA@BîZF[CEC]WBg[GIWYGXg\^JEVK\Ee1ö`F[@YVXAQCu\^Ló@BW¹\EAJfF$@UCð T % %r Vn +< \^L.VXGHKL!\^JEVK\^eÜFlC^C^WYglGXNóAGq\ECDP®VXGq\^WB@ÈF!éSL[WBGq\ íÑJ^LlN eXWUcfeØ\EeXAZC^ADF[JEcfe cF[G c6L[Gq\EWYGhVXA WY\^eIL[VK\×@YLhLqC]WBGXg C^L[@BVK\^WBL[GICDð í \EeXAJEA¼WUC,GILZC]Vcfe2FMéSL[WBGl\óêÑWð AlðYP\^eIA C]AQF$Jfcfe \^JEAAuWUC°c6L[NóéX@BA6\EAQì6Pi\^eXADG T %!%r Vn +*< c6LlGIc6@BVIHKAQCp\^eIF$\ \EeXAuWYGIW¹\EWBF[@híÑL[JEN%VX@UF cF[GXGXL$\ òSA¼C^F$\^WUC ADH®ð ëhWYGc6A @ÛF[GIH BZF$JEA°éLlWYGq\^ADJECDP>\EeXAÈF[c6\^WBL[GIC T %!%r V K & 1 + P T % % Vn +< PF[GIH 1 F 0 8N)YV -8N< F$@B@KVXéõHXF`\EAu\^eXAuWBGXéXVK\bíÑLlJ^NVX@UFF[GIHC]\EFlcfï¼L$W í RUTTWVYX % 2 Z!1 V-k WBGö`F[J^WBL[VIC FiîKC HKVXJEWYGXg)\EeXA
(33) Mððð @BLqLléÜêÑ@BWYGXAQC,ýi&÷ ]$ì6ðKaÈF[cfe!F[c6\^WBL[G1NóLhHXW IAQC @ F$GS H BÛF[GIH J^A\^VXJEGIC)\^eIA.GXA
(34) h\ZF[c6\^WBL[G \^L òSA!\EF$ïlAG eXWUcfe WUC C]\^L[JEADHÓWYG !êÑ@BWYGXAQC ?$÷wþØWYG \^eIA éXJ^Llg[JfF$N ì>ð 2 + P 2 "ÔP & 0 P -pP®F[GI H >!F$JEA \^eIAéSLlCEC]WBòX@BA¼ö`F$@BVXADC,\EF[ï[ADG òhî PNóADF[GXWBGXg \^eIF$\,\^eIA%GX A
(35) q\×F[c6\^WBL[G NVIC\òA T % % V K & 1 +bJP T %!%r VM +< P 1 F 0 8N)-8N<ªPSL[J,\^eIF$\ L$í C\EL[éXéXWBGXg1\^eIAM@YLhL[é;JEADC^éAQc>\^WBö[AD@Yîlð G;\^eXAM@UF`\^\^AJcF[C^A[P®WYlí +WUC F[CEC]WBg[GXAQH -Ü\^eXADG @ WBC CEF`\EWBC IAQH®PÔL$\EeXAJ WUC]A.êÑWð A[ðÔWYí +WBC%F[CEC]WBg[GXAQH >h ì @ WUC VXGC^F$\^WUC F[òX@BA[ ð eXADG @ WBCC^F$\^WUC F[òX@BA[PX\EeXAcL[JEJ^AQC]éSL[GHKWYGIgóCEF`\EWBC]íÑîhWYGIgM\^JEVK\^eØF[CEC]WBg[GXNóADGl)\ |ÛcDF$G.òSA% A
(36) q\EJEFlc>\EADH íÑJ^LlN BSðloueXWUCb\fF[C^ïWUCÈFlccL[NóéX@BWBC^eXADHóWBG j WYglVXJEA¼ûòhî Y)YV- % C )8N),- 13C - eIWBcfeM A
(37) q\EJEFlc>\fC | íÑJ^LlN B êÑ@BWYGXAQC)û6w÷ lì F[GIH!\^eIAG2cDF$@B@BC\^eXAóc6LlGIC]WUC]\^AGc6î\^ADC] \ TWV- % C )8N)- C]éSADcW Sc¼íÑLlJ \^eXA.@BL[glWBc!F`\MeIF[GIH®ð ,L$\EWBcA\EeIF`\ WBG \^eXA cDF[C^AL[í+NóADJ^A!éXJEL[éSLlC^W¹\EWYLlGIF$@ CEF`\EWBC F$òIWY@BW¹\î ),V- % C )8N),- 13C -ØC]WBNóéX@BîZJEA6\^VIJ^GIEC - ð . ,áXç ç áKç]ãÈàY. oueXA C]WBNóéX@YA glAGXADJEF$\^AuF$GIH%\^AQC\ÈC]\^JfF`\EAglî WYNóéX@BANóAGq\EADH)òhî \^eXA,ëX? o<÷òIFlC]AQH%éIJ^LKc6AQHKVXJEA [L VK\E@YWBGXADH WBG ëhAQc>\^WBL[G ý cDF$G òSA WYNóéXJEL`ö[AQH WYGÒC^AölAJfF$@ FiîhCDðWADJ^A A éXJEADC^AGq\M\ L L[éK\EWYNóWBúDF`\EWYLlGIC eXWBcfeZL$í_\^ADG @BADF[HM\^LóHKJEF[NMF`\^WUc WBNóéXJ^L`ölANóAGq\fCbWBGM\^eXA+éSAJ^íÑL[JENóF[GIc6A,L$í \^eXA éXJELKc6AQHKVXJEA[ð "!$#. %'&& )(+*-,)./01
(38) 20.3,405)768 ):9;,<1=4)
(39). ? [ï AîóíÑAQF`\EVXJ^A×L[íp\EeXA%ëK? o<÷¢òIF[C^ADHéXJELhcADHKVIJ^A+éXJEADC^AGq\^AQHZWBG!ëKADc>\EWYLlG ý%WUC<\^eF`\,F$@B@õ\^eIA c6L[GC]WUC\EAGIcî+cfeIADcfïKCªF[J^AÈcDF$JEJ^WBADH×LlGK÷¢@YWBGXA[ðQ?G)F$@Y\^AJEGIF$\^WBö[A WUCÔ\EL,éXJEAéXJELKc6AQC^CÔ\^eXAÈíÑL[JEN%VX@UF F$GIHZ@YLhL[ï)íÑLlJuC^A6\fC<L$íª@BW¹\EAJfF$@UCÈWBG \EeXA×WYGIéXVK\<íÑL[JEN%VX@UF¼\EeIF`\ F$JEAY2È÷WBGIcL[GIC^WBC]\^ADGq\Dð~O í ÛWBC L[GXA+L$íªC^VIcfeC^A6\fCPq\EeXA+c@BF[VIC^?A > P cF[G òSA+FlHXHKADH \^L\^eXAíÑL[JEN%VI@BFF`\ueIF$GIH W¹\EeXL[VX\ F`ôõADc>\EWYGIgÛW¹\f{C 2È÷¢cL[GIC^WUC\EAGIcî[ðToueIWBCC]WBNóéX@YAØL[éK\EWYNóWBúDF$\^WBL[GÒcF[G òAØö[ADJ^î A6ôõADc>\EWYölAØFlC C]eXL G1òhîM\^eIA×íÑL[@B@YL WBGXgóA
(40) XF$NóéX@BA[ð ÔA6W \ 2òA \^eX[A qVIF[Gq\^W IAJ^÷íÑJEAA)íÑJfF$glN)ADGq\¼L$í IJfC\^÷LlJEHKADJ @YLlg[WUc W¹\EeÜA qVIF[@YWY\îØF[GIH @YAY\ XÛòSA¼F%íÑLlJ^NVX@UFL[íª\EeXA×íÑL[JEN ê @4BAlR J AL4C@Sì RED/D0D êûiì r t¼|~ Ý°wÏ;ÃKD|¹{`|~{qÄ1 Ï Ïl|¹ Î]ÏqEÎ^Ê Î { ÍKóÎ w|¹ ¼Í 2 { ÎEDwfÎE>y f}if{ Ïq ÄDÏ){qÈ{qfÎfEw | ÎfD¸ à EQy[Ãl`ÎE l QË.
(41) ?@B@È\EeXA éXJEL[éSLlC^W¹\EWYLlGIF$@bFlC^C^WBg[GXNóAGq\fC g[ADGXAJfF`\EADH;òhî RUTAT\VYX % 2 Z!1 F[J^Aó\EeXAGÜJEA0~AQc>\^AQH òqî T\V- % C )8N),- ðoueXA;VIC^A@BADCECglAGXADJEF$\^WBL[GÒL[í%NMF$Ghî éXJEL[éSLlC^W¹\EWYLlGIF$@×F[CEC^WYglGXNóAGq\ECWBC HKVXA.\ELÜ\^eXA2í¬F$WB@YVIJ^A.L[í RUTT\V,X % 2YZ!1 \^LÜJEADc6Llg[GXWBúA!\EeIF`\Z\^eXA2\^JEVK\^e ö`F$@BVXAQC L$í@ 4 A F$GH A 4 @ F[J^A!GXL[\ WYGHKAéSAGIHXAGq\Dð<oueXA.J^Ll@YA.L[í\EeXA c6LlGIC]\^JfF$WBGl\fCMF[HXHXADH òhîÛ\^eIA éXJ^LléLqC]AQH1L[éK\EWYNóWBúDF`\EWYLlG.WBC,\^LZJ^VX@BA¼LlVK\C^VIcfe F[CEC]WBg[GIN)ADGq\ECDð j LlJ,WBGIC\fF$GIcA[Pòqî!F[HIHKWYGIg \^eXA¼cL[GIC]\^JfF$WBGq\ êýlì J @ 4BAlP'AL4 @ \^L.êûiì A×L[òX\EF$WBG!F%íÑLlJ^NVX@UF eIWBcfe1WBCJ^AQF[HKWB@YîóíÑLlVXGIH1VXGICEF`\EWBC F[òX@YA×òhî RUTAT\VYX % 2 Z!1 ð G.\^eXAóc6LlGq\^A
(42) h\+L$íTëK? o<÷¢òIF[C^ADH éXJ^LKcADHKVXJEADCDPX\EeXA)WBHKAQF L[íTF[HXHXWYGXg1c6LlGIC\EJEF[WYGq\fCeIFlC òADAG2WBGq\^JELKHKVIc6AQH!WYG ø ?,J^NMF[GIHKL BP°ûQü[ü[ ü ¬ð G.\^eF`\éF$éSAJQPSF[@Y@ éIF$WBJfCL$íbNVK\^VF$@B@Yî WYGIcL[GIC^WUC\EAGq\ WYGXA qVIF$@BW¹\EWYAQC¼êÑWð A[ðBP @ A óF$GIH @ A{O[ìuF[J^A×HKA6\EADc6\^ADH F$\ FóJ^AQF[C^L[GIF[òX@YA×c6LqC\QPXF$GIHíÑLlJADFlcfe1C^VIcfe1éIF$WBJ,Fóc6LlGIC\EJEF[WYGq\ WUCF[HXHXADH®ðI?CFóJEADC^VX@¹\QPK\^eIA C]AQF$JfcfeMWBC<g[JEADF$\^@BîóJ^AQHKVIc6AQH®ðKoueXA+WBHKAQF%cDF$GZòSA+g[AGIAJfF$@BWYúDADHó\EL õ÷¢VXéX@BADCTL$íªWBGIcL[GIC^WBC]\^ADGq\ WYGXA qVIF$@BW¹\EWYAQCPKòIVK\,L[GI@Yî VIGl\EWY@Ô\^eXA¼cLlC]\uL[íp\EeXA×éXJEAéXJELKc6ADCEC^WYGXg)JEANMF$WBGIC C^VIC\fF$WBGIF$òI@YAlð oueXAWUHKAQFZL[íTc6LlGIC\EJEF[WYGq\fC,glAGXADJEF[@YWBúAQC\EeXAóéXJ^A÷éIJ^LKc6AQC^C^WBGXgM\^AQcfeXGX W qVXAWBGq\^JELKHKVIc6AQH WYG2ø d+WBVXGIcfeXWBg[@BWBF%F$GIH ëhADòIF[C]\^WUF$GIWPûDü[ülþ[ F ÑPqF[GIHMC]WBGIcA \^eXADG VIC^ADHMWBG F$@B@\^eXA,C^VXòIC^A qVXADGq\ éIF$éSAJfCuL[G ëK? o<÷¢òIF[C^ADHéXJELKc6ADHXVXJ^AQC<íÑL[J NóLKHXF$@ª@YLlg[WUcCDð G1\EeIF`\,éF$éSAJQPh\^eXA WBGXéXVK\,íÑL[J^÷ N%VX@UF¼WUC<WYGXWY\^WUF$@B@Bî)éIJ^A÷éXJELKc6AQC^C^ADHóòhî)\EF[ïqWBGXgWYGq\^L)F[cDc6L[VIGl\uC\fF$GIHIF$JfHMéXJEL[éSAJ^\^WBADCbL[íÔ\^eIA éXJ^LléLqC]WY\^WBL[GF$@IcL[GXGXAQc>\EWYölADCDP[A[ð gIðqF[CEC]LKcWBF$\^WBöqWY\îF[GIHMc6LlNóN%VK\fF`\^WBöhW¹\îlðlouehVICDP[íÑLlJÈ A
(43) KF[N)÷ éX@YAlPK\^eIA×íÑL[JEN%VX@UF ê qì ê O P{ k ì R J ê k P O ì R D0D/D WBCu\EJEF[GIC^@BF$\^ADHZWYGq\EL ê O P{ k ì R J ê O P k ì R D0D/D F$GIH \EehVICZAQF[C^WY@Bî J^AQc6Llg[GXWBúAQH F[C VIGIC^F$\^WUC SF$òX@BA[ð G \^eIA;cVXJ^JEAGq\F[éXéXJELlFlcfeÔP A2cF[G HKA6\EADc>\ \EeX.A 2b÷¢WBGIc6LlGIC]WUC]\^AGc6î L[íp\EeXA¼C]A\ L$í íÑL[JEN%VX@UF$A ^ q ê O P k ì : J ê k P O Uì s F$GIHZ\^eXWUC L[VX@UH!F[HXHZ\^eIA¼c6L[GC\EJEF[WYGq\ J ê O P{ k ì P ê k P O ì \^L ê qì \^eIAJEAòhî%@BADFiöhWBGXg VIC WY\^e F+\EJ^WBöhWBF[@Y@Bî%WBGIc6LlGIC^WBC]\^ADGl\ íÑLlJ^NVX@UFXð[?CÈF IGIF[@XJEANMF$JEïõP W¹\%WUC L[J^\^e;ANóéXeIFlC]WBúWBGXg!\EeIF`\ \EeXAZC]\^JfF`\^ADg[î.eXADJ^AMéIJ^AQC]ADGl\EADH;WUC NóL[JEA)glAGXADJEF[@°\^eIF[G éXJ^A÷éIJ^LKc6AQC^C^WBGXgMòAQcF[VIC]AW¹\×F$@B@YL C,VIC,\^LZJEVX@BA%LlVK\+FlC^C^WYglGXNóAGq\EC,WYGØcF[C^ADC eXAJEA%éIJ^A÷ éXJ^LKcADCEC]WBGXg)WBC L[ípGXLMeIA@BéÔð j LlJ A
(44) XF$NóéX@BA[PIcL[GIC^WUHKAJ<\^eIA×íÑL[JEN%VX@UF ê O P k ì R J ê O Ph k P n 8ì D C^WYGXg LlVXJÈC]\^JfF`\EAg[îlP`òhîC^WYNóéX@BA,C^îqGq\fF[c>\EWBcuNMF[GXWYéIVX@BF$\^WBL[GICDP AcF[G)òIVXWY@UHMF$GH)FlHXH)\^eIA íÑL[@B@YL WBGXgMc6LlGIC\EJEF[WYGq\ ^ J ê O P k ì P ê O P k Ph n ì.
(45) 0 C>D[E>1: F Å y ! Ç H I> ÏlJW`Kn QwJWN Å y |! EÇ \õ|¹{ ] Î ] Ï S \ f Ë > Ë \ Å Ô Ç ¿ m [ D = K = K W J i 1 . + D f@ ? É w|qf Ýb|Ï) wD{ % "! a I>K=E Å ! yc rd \ d >JW e Ç Å yTc \ Ç t ^? `! ba I KME ! d dt e 4 D[K=K=JLiT Å y \_Ç Å y _ \ Ç 2 D M K = K W J i ¿+*$¾-,S¿/. 8: gh Î w U @,Ï b¹DÍK fÎEQ¸ t X f¸ Ã[ ¾-jT*1. 0 C R": N)C Å y ! Ç ! $a I KME Å ! yfc >JW d >JW dt e Ç / ¿ * $ ¾ , 8 ¿ . 8. O c d d t e $a ' Å ! Ç Å Ç m >Jx [<: K= t S U @ |~È{lDÈf¸ Ã[ ¾-jT*1. ¿+*<c ;0*[Àl\ ¾ ² ¿/$* ¾-, ¿8. E> l * BV ½=* d dt e ba ' Å ! Ç Å y \y Ç Å Ç m M K > = K L J M K. 1 > ! 2' F:< 1[1: K= t >³ q ,f.X¾-UuV t q >JW À). ^ Å \y Ç Q U @
(46) >JW ¾-jTÅ *1yf. c m KM m [<:KM ! $a I KME ! >JW d >JW dt e Ç U S / ¿ * $ ¾ , 8 ¿ . 8. O @ vx5n3y87Wz{ ! | ³ ¾=jT*1. > ! ba I>K=E Å ! yTc rd \ d e Ç * V B = ½ * ² f l D[K=K=JLiT Å y \_Ç 6 ¿/$* ¾-, ¿8. >³ ¿+*$¾-,S¿/. 8: m KM >K=JLKM 1 Å ! Ç Q *1VU½=* ToG D2KMK=JWi % Å 1 Ç9 q m ŬvqÇ ¿+*$¾-,S¿/. Z U @ >K=JLKM o ¾-jT*1. ¿/$* ¾-, ¿8. >JL. * BV ¿/½=*$* ¾-, ¿8. # : N) [1: K= Å o Ç UW ÂI Ì) |É |~{qÄ 00
(47) ×|~{`w l Îf°Ö[Ë "! . 680, & $( * "!
(48) &$#
(49) ))(. ëhWYGc6A×\^eIA¼òIF[C^WUc \ ÜF[@YglL[JEW¹\EeXN L[í ëhAQc>\EWYLlG.ý)JEA@BWBADCuL[G.C^WYNóéX@BA¼cfeXJEL[GXLl@YLlg[WUcF[@òIFlcfïq÷ \^JfF[cfïhWYGIgIPhW¹\WUCuGXL[\uWBGKíÑJEAqVXADGl\ íÑLlJ)\ ! Ø\^LMï[ADAéA
(50) KéX@BL[JEWYGXgóF)éLqC^C^WBòX@YîZ@BF[J^glA+C^VXòK\EJ^ADA eXLlC^A×@YAQFiö[ADCuF[J^A F$@B@ÔHKAQF[Hh÷¢AGIHICðXoueXWUC éXeIAGXLlN)ADGXL[G1LKccVXJEC F[@BC^L eXAG1\^eIA×íÑL[JEN%VX@UF WBC+C^F$\^WUC SF$òX@BA[PSòXVK\ C]LlNóAcfeXLlWBcA¼éADJ]íÑLlJ^NóAQH Fiî1VXéØWYG.\EeXAóC]AQF$Jfcfe!\^JEAA%WUCJ^AQC]éSL[GIC^WY÷ òX@YAíÑL[J,\^eXAóc6LlGIC]\^JfF$WBGl\fC \ELZòSAöhWBL[@UF`\^AQH®ðõ? C^L[@BVK\^WBL[G òSL[JEJEL AQHZíÑJEL[N#\EeXA)cL[GIC]\^JfF$WBGq\ C^F$\^WUCí¬Flc>\^WBL[GM@BWY\^AJfF`\EVXJEA¼ê¬C^AA[PqA[ð gIðBPø è JELlCEC^AJQPKûDü[ü Bì WBCÈ\^
(51) L ~VIN)éZòIF[cfï)L`ö[ADJ°\^eXA+cfeXL[WUc6AQC \^eIF$\<HKL GXL[\TòSA@BL[GXg×\EL \^eIA,JEADF[C^L[G)íÑLlJ \^eXA,í¬F$WB@YVIJ^Alð Gq\^VXWY\^WBö[AD@YîlP[WYí |!WBCTF$G F[CEC^WYglGXNóAGq\ F XTPq\EeXAG1NF xI@yUnB&%MíÑL[QJ | WUCTF)C]VIòIC]A\TL[íÔ\^eXA@YWY\^ADJ]÷ eXWBcfeZí¬F$@UC]W IAQCb\EeXAWBGXéXVX\TíÑLlJ^NVX@BN F$@UCÈWBhG | C^VIcfeM\^eF`\<F[GhîóFlC^C^WBg[GXNóAGq\È A
(52) h\^AGHKWYGI'g %)í¬F[@BC^W ADQC XT)ð ( AQF[C^L[GICTF$JEAWBGXW¹\EWBF[@YWBúAQH F[C¼C^LhL[GÜF[C¼F[GÜWYGc6L[GC]WUC\EAGIcî2WUC¼HKA\^ADc6\^AQH®P F[GIH;VXéõHXF`\EADH eXWB@BA òIF[cfïq\EJEFlcfïqWBGXgðõoueIA c6L[JEJEADC^éLlGIHKWBGXg2\EADcfeXGIW qVXA WUC WUHKA@Bî ïqGIL G FlC êRTLl)G *IWUc>\]w÷ \WYJEADc6\^ADHìMÿuF[cfï ~VXNóéXWBGXg êR<ÿ 4qì6ð G j WYglVXJ^A ý A!C^eXL eXL \EL;NóLKHKWYíÑîÛ\EeXA!íÑVXGIc6\^WBL[GI[C T %!%r V K & 1 + P Y),V % C )8N)- 1 C - P 1 F 0 8N)-*8N<ÔP®F[GI H T % % Vn +< éXJEADC^AGq\EADH!WBG j WYglVXJ^AZû¼\^LZWYGq\^JELKHKVIcA R<ÿ 4ð[oueXA AD@YADNóAGq\EC L[í\EeXAC^ADF$JfcfeóC\fF[cfï%F[J^AuGXL \^JEWYéX@BADCbL$íS\^eXA íÑLlJ^ N 6 @k: P0:,+C<>P eXAJEA @ WBCFóC^A6\L[í c6@UF$VC]AQC3P P°F)@YWY\^ADJEF[@PXF[GIH +F)JEADF[C^L[Gªð ÔLhL[ïhWBGXg+F$\ j WYglVXJ^Aý AC]ADA<\^eIF$\bADF[cfeMHKAQHKVIc6\^WBL[GMcF[J^JEWYAQH¼LlVK\bòhU î T %!%r V K & 1 + WBCGXL ~VIC]\^W IADH2òhî!{F xgIr@CygnHBÜêÑ@BWBGXAûiì>ð j LlJ A
(53) KF[NóéX@YAlPWYíÈF @BWY\^AJfF$@ PbLKcDc6VXJfCWBGØFMVIGXW¹\.
(54) c6@UF$VIC^A[P\^eXADG%WY\pWUCpFlC^C^WYglGXADH+\EeXAb\EJ^VX\^e%ö`F[@YVXA -óF$GIH×\EeXAÈJEADFlC]LlG+íÑL[J°C]VIcfe¼F[G%F[CEC^WYglGXNóAGq\ BW C×\EeXAZC^A6\%L[í<@BWY\^AJfF$@UC×\EeIF`\%cDF$VIC^ADHØ\^eIAZc6@UF$VIC^A)\^L òSADcL[NóAMVXGXWY\DP C]ADA[PÔAlð gðYPTø è J^LqC^C^AJQP ûDü[ü ¬ð\,L$\^WUc6A\^eF`\[T % % V K & 1 +ÒJ^AQc6LlJEHXC¼\^eXA!JEADFlC]LlGIC¼L[í,ADFlcfeÓHKADHXVIc>\EWYLlGÓVIC^WYGIg \^eXA C^ADF[JEcfe C\fF[cfï B êÑ@BWBGXA2ý[ì6PbòXVK\ZF[@BC^L;\^eXA.JEADFlC]LlGÛíÑL[J F;éXJEL[éSLlC^WY\^WBL[GIF[@uHXADF[HK÷ADGIH êÑ@BWYGXA [ì×F$GH2\EeXAMéSLlCEC]WBòX@BAóí¬F$WB@YVXJEAML$í<\^eIA ),V- % C )8N),- 13C -Ó\^AQC\Zê¬@YWBGXA ûiý[ì6ðª?@B@ÈC^VIcfe J^AQF[C^L[GIC F[J^AMVIC^ADH òhîØ\^eXA íÑVXGIc>\EWYLlG T % %r Vn +< WBGÛL[JfHKAJ×\EL WUHKAGq\^WYíÑî;\^eXAcfeXL[WUc6AQC éADJ]íÑLlJ^NóADHóòhî 1 F 0 8N)-8N<M\^eF`\T@BADH)\EL \^eIAHKAQF[Hh÷¢AGIH)WBGM\^eIA,C]AQF$JfcfeÔð ,L$\^WUc6A\^eIF$\È\^eIA F$@Bg[L[JEWY\^eXNMCªC^eXL G¼WBG j WBg[VXJEA ýC^N)LhL[\^eX@Bî c6L[NòXWBGXA R<ÿ 4,íÑL[J éXJEL[éSLlC^W¹\EWYLlGIF$@lí¬F$WB@YVIJ^AQCpFlC î Y)YV+ % C )8N)- 1 C - ð GM\EeXWUCTcDF[C^A[P`\EeXAFlC^C^WYglGXNóAGq\ÈWBG AD@Y@SF[C íÑLlJbí¬F[WY@BVXJEADCbLlJ^WBg[WBGIF$\^ADH)òh B!éIJ^LléLqC]WY\^WBL[GIF[@Y@Bî C^F$\^WUC ADC @%P`C^L,\EJ^WBg[glAJEWYGIg,éXJEL[éSLlC^W¹\EWYLlGIF$@hòIFlcfï ~VXNóéXWYGIg L[VX@UH¼@BADFlH \^L WBGIc6LlJ^JEADc6\¼J^AQC]VI@¹\fCð oueXWBC%WBC ehî AMGXAAQHÛF$GÜFlHXHKWY\^WBL[GIF[@bíÑVXGIc6\^WBL[G TWV H- 0 +< -JV í | WBG \^eIA 1 +!) % C WYG Y),V- % C )8N)- 13C -9\^L A
(55) h\^JfF[c6\ \^eIA2JEADF[C^L[G íÑLlJZ\EeXA í¬F[WY@BVXJEA L$[ C]éSADcW c@YLlg[WUc F`\ÈeIF[GIH®ðqoueXA íÑVXGIc6\^WBL[G TWV H- 0 +< -JV 1 + ) % C eIFlC°\^L¼JEA6\EVXJEGóF%C]VXòC]A\ L$íb\EeXA%@BW¹\EAJfF$@UC,WBG \EeXAóc6VXJEJ^ADGq\+F[CEC^WYglGXNóAGq\ eXWUcfe WUCGIL$=\ 2È÷¢cL[GIC^WUC\EAGq\Dð G2éXJEWBGIc6WBéX@BA F$Ghî1C^VIcfe F C^A6\×cF[G.òAJ^A\^VXJEGXADHÔPIA[ð gIðI\^eXA)C]A\,L$íb@BWY\^AJfF$@UCWB G | ð L Aö[ADJDPIJ^A\^VXJEGXWBGXg F)C^NMF$@B@YADJC]VIòIC]A\ eIF[Cu\EeXA¼F[HXöiF[Gq\EF$glAL[ípéSL$\EAGq\^WUF$@B@YîAGIF[òX@BWYGXgóòIFlcfï ~VXNóéXWYGIgIð R<ÿ 4ÓcF$G òSA ö[ADJ^î A6ôõADc6\^WBö[A.WBG ^C^eIF$ïhWBGXgØ\^eIA2C]Ll@YölAJóíÑJEL[N J^ADg[WBL[GIC eXADJ^A.GIL C]Ll@YVK\EWYLlGICcDF$G!òA×íÑLlVXGIH®ðJL AölAJQPXC]WBGIc6A×\EeXA¼JEADFlC]LlGIC<L$í \^eXA%cL[G)*WBc6\F$JEA HKWBCEcF[JEHXADH F[CC^LhL[G.F[C,W¹\,glA6\fC NóAGIHKAQH®P\^eXA%C^L[@Bö[ADJ NMFiîZg[A\,JEAéSADF`\EADHK@BîC]\^VcfïWBG C]Vcfe1JEAglWYLlGICDð oªL AQC^cDF$éSA×\^eXWUCéF`\]\EAJEGÔPC^L[NóA%C^L[J^\L$í gl@YLlòIF$@ÔïhGXL @BADHXg[A×WBC,GXAAQHKADH ^I\EeXA¼JEADF[C^L[GCuL$í \^eXAóc6Ll)G *IWUc>\ECNMFiîòSA\^VXJEGXADH WYGq\^L1F[HXHXW¹\EWYLlGIF$@°c6LlGIC\EJEF[WYGq\fC¼êÑWð AlðYP®c@BF[VIC]AQCEì \^eIF$\eIFiölA \^LóòA¼CEF`\EWBC IAQH®ðI?,Cu@BL[GIgóFlC A×eIFiölA+F)íÑVIGIc>\EWYLlG\EeIF`\ \EVXJEGICuJ^AQF[C^L[GIC<WBGq\^LMc6@UF$VIC^ADCDPKWY\ WBEC qVXWY\^A×ADFlC]î)\EL)WBNóéX@BANóAGq\ @YAQF$JEGXWBGXgLlG \EL[é1L$}í \ WY\^e2R<ÿ 4Ið WY\^e1J^AíÑAJEAGIcA,\EL j WBg[VIJ^A ýKPhWY\uWUC C^.V c6WBAGq\u\^LóF[HXHF$G1WYGIC]\^JEVIc6\^WBL[G \EeIF`\cL[Ghö[ADJ]\fCb\EeXA LlJ^ïhWBGXg%JEADFlC]LlGIC c6JEADF`\EADH!WBGIC^WBHKA T % %r Vn +< WBGq\^L1F[HXHKWY\^WBL[GF$@°c6L[GC\EJEF[WYGq\ECDð G2\^eXWUC FiîlP A%ADGIH VXé F[HXHXWYGXg¼F[@Y@X\^eXA,c@BF[VIC^ADCbcL[JEJ^AQC]éSL[GIHXWYGXg\^L¼\^eXAJEADFlC]LlGIC L$íõ\^eIA,HKWUC^cL`ö[AJEADHc6Ll)G *IWUc>\EC F$GIH1\EeXA%CEF$NóA NóWBC]\EF[ï[A WUCGXADö[AJ,J^ADéAQF`\^AQH®ð G!\EeXA¼L$\EeXAJ,eIF$GIHÔPX\^eIWBC,NóFiî1cF[VIC]A¼F[G A
(56) KéLlGXAGq\EWBF[@TòX@BL VXé L$í\EeXA1C^WBúAZL[í \^eXAíÑL[JEN%VI@BFIð G éXJEFlc>\EWBcA[P W¹\óWBCGXAQc6ADCECEF$JEî2\EL WYGq\^JELKHKVIcAC^L[NóA%@BWYNóWY\\EL \EeXAGhVXNòADJL[íÈC\EL[JEADH.c@BF[VIC]AQCPSAWY\^eIAJ+òqî.HKJEL[éIéXWYGIgC^L[NóA L$íÈ\EeXAMc6@UF$VIC^ADC,\^eF`\¼C]eIL[VX@UH òSAó@YAQF$JEGXADH®PõLlJ+òhî.éSAJEWYLKHKWUcF[@Y@Bî.JEANóL`öhWYGXg1C]LlNóAL[íÈ\^eIA @YAQF$JEGl\c@BF[VIC]AQCð j L[J NóL[JEA×HKA6\fF$WB@BC LlG@BADF[J^GIWYGXgóC^AA[PIA[ð gIðBPÔø d+WBVXGIcfeXWBg[@BWU F BPý Iû ð R<ÿ 42F$GIH @BADF[J^GXWBGXg!eIFiölAMòADAGÜéXJEL[éSLlC^ADH F$GHÜC]VIcDc6AQC^C]íÑVX@B@YîØVIC]AQH WYGÓëX? o<÷òIFlC]AQH éXJ^LKcADHKVXJEADC¼íÑL[J)éX@UF$GXGXWBGXg ø ;L[@YíÑNMF$G F[GIH;A@UH®PuûDülü[üXP R<F[C]\^AD@Y@BWYGIW BPbýXû ð G éIF$J^\^WUc6VX@UF$JQP ø ;L[@YíÑNMF$GF[GIH ;A@UH®P®ûDülü[ü éXJEL[éSLlC^ADCTF)ëK? o<÷¢òIFlC]AQHMéXJELhcADHKVIJ^A,íÑL[Juc6@UF[C]÷ C]WUcF[@ÈéX@UF$GXGIWYGXg W¹\EeÛJEADC^L[VXJfc6AQCP eIWY@BA ø d+WYVIGIcfeXWBg[@BWBFIP°ýIP R<F[C]\^AD@Y@BWBGXW BPbýXû. éXJ^AQC]ADGq\ÈF%ëK? o<÷¢òIF[C^ADH)éXJELKc6ADHXVXJ^AuíÑLlJÈc6LlGKíÑL[JENMF$Gq\béX@UF$GXGIWYGXg%WYGMGXLlGIHKA\^AJENóWYGIWBC]\^WUcHKL[÷ NóF[WYGCP C]ADAó\^eXA JEADC^éSADc>\EWYölAMéIF$éSAJfC×íÑLlJ¼NóL[JEA HKA6\fF$WB@BCDð \%WUC L[J^\^e NóAGq\^WBL[GIWYGXg \^eIF$\ òL[\^e;WYG ø ØLl@¹íÑNMF$G F$Gj H ;A@UH®P ûDülü[ü F[GIH2WBG ø R<FlC\EA@B@YWBGXW BPp ý Xû \^eIAíÑVIGIc>\EWYLlG T\V H- 0 +*< -JV 1 +!) % C JEA6\EVXJ^GCbF×NóWYGXWBNMF$@SC]VXòC]A\ÈL$íõ\^eIA,c6VXJEJEAGq\ÈF[CEC]WBg[GIN)ADGq\ eXLlC^A A
(57) h\^ADGIC]WBL[GC F$JEATòSL[VXGH¼\EL×í¬F$WB@ð$ÿ<î¼JEA6\EVXJ^GIWYGXg×C^VIcfe)F×C^VXòIC^A6\QPi\^eXA eXLléAuWUC \^L×NMF
(58) KWBN)WUC^A \^eXA AôSAQc>\ECL$í R<ÿ 4 F[GIH@YAQF$JEGXWYGIgIð.
(59) pä ªæ®ç&hç]ãÈà ØâXã æ ªä,å,â "! ,& G \^eIWBC×ëhADc6\^WBL[G AòXJ^WBA *î1JEAöhWBA C^L[NóAC^éAQc6WcA
(60) XF$NóéX@BADC,L$í<ëK? o<÷¢òIFlC]AQH HKADcWBC^WBL[G éXJ^LKcADHKVXJEADCÈíÑL[JEqVIF[Gl\EW AJ^÷íÑJEAA+HKADcWBHXF[òX@BA,íÑJfF$glN)ADGq\EC<L$í j WBJEC]\]÷ JfHKAJ ÔLlg[WUc%êëKVXòIC^ADc>÷ \^WBL[GU?IðBûQì6P`\^ADN)éSL[JfF$@IJ^AQF[C^L[GXWBGXgóêëhVXòC]AQc>\^WBL[G ?ð ýlì°F$GIH)ö`F$JEWBL[VIC°NóLKHXF$@I@YLlg[WUcC êëKVXòIC^ADc>÷ \^WBL[G#?Ið lì6ð.
(61) e.
(62)
(63) & 9;) 0,
(64) 9" 79 #. ;!$#. . ;! . # )
(65) * ,<)./0
(66) .:,65< 05)47'
(67) 2.. G ø ?JENMF$GIHXL F$GIHÜd+WBVXGIcfeXWBg[@BWBFIP ûDü [üXPÔ?,J^NMF[GIHKL.F$GIHÜd+WBVXGIcfeXWBg[@BWUFXPbûQü[ü PªF ëK? o<÷ òIF[C^ADHHKADcWBC^WYLlG éXJELKc6ADHXVXJ^AíÑL[JT\^eIAqVIF[Gq\^WIAJ^÷°F[GIHMíÑVIGIc>\EWYLlGK÷íÑJEAAíÑJfF$g[NóADGl\<L$í j WBJEC]\]÷ JEHKADQ J ÔLlg[WUc.ê j ì×WUC éXJEADC^AGq\^AQH®ðpoueXAM@UF$GIg[VIF[g[AMNMFiî \EeqVC eIFiö[AMWBGIHKWBöhWBHXVIF$@<c6L[GX÷ C\fF$Gq\EC F[GIH1öiF[J^WUF$òI@YAQC<FlC AD@Y@ÔFlCuéXJEADHKWUcF$\^A C]îhNòLl@BCuL[í F$GhîZF[J^WY\î[ð ÔA6[ \ X òA)íÑL[JEN%VI@BFWYG;\EeXWBC×@UF$GIg[VIF[g[AóF$GIHØ@YA.\ | òSAMF$G F[CEC]WBg[GXNóADGl\ JEA6\EVXJ^GIADH òhî RLTAT\VYX % 2 Z 1 ê X ì>ð í X;HKLhADC°GXL[\Èc6L[Gq\fF$WBG%A qVIF[@YWY\^WBADCDP`\EeXA A
(68) KWUC\EAGIcA<L[íõC^VIcfeóF$GMF[CEC^WYglGK÷ N)ADGq\ |;WUC C].V cWYADGl\uíÑLlJT\EeX.A 2b÷wc6LlGIC^WBC]\^ADGIc6îML[3í X<ðIouehVICDPqWBG1\^eXWUC cFlC]AlPhW¹\WUC C]3V McWYADGq\ íÑL[ J TWV- % C )8N)-Ø\^L JEA6\EVXJE G -pðõÿ<VK\WY1í X c6LlGl\fF$WBGICA qVIF$@BW¹\EWYAQCPI\^eXADG T\V+ % C )8N)-ØNVIC]\ HKA6\EAJEN)WBGXA+\^eIA×CEF`\EWBC F[òXWY@BWY\î L$3í | ð JDð \Dðh\EeXA×éXJ^LléADJ]\EWYAQC<L$ípA qVIF$@BW¹\îlðXñ.L[JEA+WYG!HKA6\fF$WB@P @YA\ òA)\^eIAóC^A6\ L[íÈ\^ADJ^NMC×LKccVXJEJ^WBGXgZWB G X F$GH2@BA6\ òSAó\^eXAMC^NMF$@B@YAQC\×A qVXWBö`F$@BAGIcA J^AD@BF$\^WBL[G L`ölAJ ÛC^VIcfe.\EeIF`\×W¹kí |bê O 4 k )ì 4 \EeXA G ðÔëhWBNóWY@UF$JE@YîlPWYí WBC\^eIA C]A\uL[ípF`\EL[NóWUcC^VXòKíÑLlJ^NVX@BF[ALKcDc6VXJEJ^WBGXgWYG X \^eXADG@BA6\ 4 O òSA+\^keXA C^NMF$@B@YAQC\uA qVXWBö`F$@BAGIcA J^AD@BF$\^WBL[G)L`ö[AJ C]Vcfe%\EeIF`\bWY í Mê + O :/D0D/D:,+ IQì c M!P M#ê " O :/D0D/D :$"% XQì c P[F$GI'H +%&'("%&õíÑLlJ G Mê + :/D0D/D : + Xì 4 M+ê " :/D/D0Dr:," Xì6ð®?GØFlC^C^WBg[GXNóAGqY\ |ÓWBC yS@ muAy&"@.-? I ) 4 û :/D0D/D: PI\EeXA* W¹í,F[GIH L[GX@Bî W¹íWY\%WUC%GIL$\¼O \EeXAcDF[C^AM\^eIF$\%\EO eXAJEAZF$JEAM\ L!\^ADJ^NM/C O :$ k c0ÒC]Vcfe \^eIF$\ |bê O 4( k k ì 4 F[GI/H ( P`L[J \EeXAJEAT A
(69) KWBC]\bF`\^LlNóWBcTíÑL[JEN%VI@BF[QA O : k c 9C^VIcfe\^eIF$\ |bê O ì 4 EP |bê k ì 4 OPXF$GIk * H O 4 k ð WY\^e.JEA6íÑAJEAGc6A\^L j WYglVXJEA)ûlP T\V- % C )8N),û[ðu@YLhLlïhC<íÑLlJu\^eXA A qVIF$@BW¹\EWYAQ1C 42 C]VcfeZ\EeIF`)\ |b+ê O 4( k 1ì 4P ýKðuòXVXWB@BHICu\^eXA¼HIF`\EFóC]\^JEVIc>\EVXJEADO CuJEAéXk JEADC^AGq\^WBGX3g F[GI4 H 4 PF$GIH Xð HKA6\EADc6\EC WBGIc6LlGIC^WBC]\^ADGIc6WBADCuòhî A
(70) héI@YLlW¹\EWYGXg)\EeXA¼C\EJEF$\^ADg[îZC^VXg[glADC]\^AQHZF$òSL`ö[Alð oueXATF[òL`ölA éXJ^LKcADHKVXJEAbcF[G òATJ^AQF[HKWB@BîglAGXADJEF[@YWBúAQH,\EL,F,ëK? o<÷¢òIFlC]AQH×éXJ^LKcADHKVXJEA íÑLlJÔ\^eIA lVF$Gq\^W IAJ^÷íÑJ^ADAíÑJfF$g[NóADGl\<L$í j WY\^eVXGXWBGl\EAJEéXJEA6\^AQHMíÑVXGc>\^WBL[G1C]îhNòLl@BCTòhîMVIC]WBGXg)F C\fF$GIHXF[JEH!cL[GXglJ^VXADGIc6A¼c@YLqC]VIJ^A¼F[@YglL[JEW¹\EeXNêC]ADA[PIAlð gðYPpø ,A@UC]LlG.F$GIH éXéSAGªPpûQü Bì<\EL éADJ]íÑLlJ^N \EeXA¼c6LlGIC^WBC]\^ADGIc6îZcfeIADcfïKCð . G ø ?JENMF$GIHKL BPbûQü[ülü ¬PS\^eIA)@BL[glWBc)F[HXN)WY\EC\EeXA)íÑVXGIc>\EWYLlG;cL[GIC]\EF[Gq\ F$GIH2\^eIA HKL[NMF$WBG L$í×WYGq\EAJEéXJ^A\EF$\^WBL[G WBC
(71) KADH \^L \EeXA2C^A6\ L[í+\EeXA.JEADF$@,GqVIN%òSAJfCð j L[JENMF$@B@YîlPbF moIUp98nHxg@?;:nHB+y mxg@uvB m WBCFó@YWBGXAQF$JWBGXAqVIF[@YWY\î1L$í \^eXA%íÑL[JEN @ A +hP eXADJ^A@;F$GIH A F$JEAÈö`F$JEWBF[òX@BADCÔJfF$GIg[WBGXgL`ö[ADJ®\^eIATJEADF[@lGhVXNòADJEC F$GIH + WBC°FJEADF[@l cL[GIC]\EF[Gl\QðQ?2<uAy>= FB?: m9u+@I moIUp98nHxg@?A:gnHBGyrm9xU@CuzB m WUC%F.HKWUC ~VIGIc>\EWYLlGÛL$íu\^eIA íÑL[JEB N PDC CECPF eXADJ^3A :/D0D/Dr:$ F$JEA¼\^ADNóéLlJEF[@ cL[GIC]\^JfF$WBGq\EC,F[GIH bO ûlð®G ? <uAyH= FCB?: m9u+@I O mwIUp98nHxg@??8 xgn.-? IUp ê O\+o è ì,WBC F IGIW¹\EAóC^A6\ L[íTHKWUC ~VXGc>\^WBö[A)\EANóéLlJEF[@ c6L[GC\EJEF[WYGq\EC,\^L1òSA)WBGq\^ADGIHKADH;c6LlG ~VXGIc6\^WBö[AD@YîlðÔ? moIUp98nHxg@?@yyuzDB p{IUB mKWUCÔF<íÑVXGIc6\^WBL[G eIWBcfe×NMF$éICªADFlcfeö`F$JEWUF$òX@BA WYGq\ELF J^AQF$@`GhVXNòADJDðQ? \^ANóéSL[JfF$@SF[CEC]WBg[GXNóADGlJ\ IyS@ muAy&"IyÈF[G F[CEC]WBg[GXNóADGlk\ |.W¹íPlíÑL[JTADF[cfeó\EANóéSL[JfF$@cL[GIC]\^JfF$WBGq\ @ A +hP .
(72) \EeXAG!WY\WBCuWBGIHKADADH\^eXA¼cDF[C^A+\^eIF$\AI ê @Sì I êAXì +hP \EeXAG!WY\WBCuWBGIHKADADH\^eXA¼cDF[C^A+\^eIF$A\ I ê @Sì I êAXì +hð > ?Gj@CySyu D-B p{IUB muvyYyS@ muAy&G@ -? IW¹ô;\^eXADJ^A A
(73) KWBC]\ECFM\^ANóéSL[JfF$@ªFlC^C^WBg[GXNóAGq\,CEF`\EWBC]íÑîhWYGXgMWY\Dð GÛ\^eIA@BW¹\EAJfF`\EVXJ^AlPª\EeXA!éXJEL[òX@BAN5L$í+HKA6\EAJEN)WBGXWBGXg eIA6\^eIAJMF$GÓFlC^C^WBg[GXNóAGq\)WBCóCEF`\^WUC]÷ F$òX@BA.L[JóGXL[\ WBCZcF$@B@BADH F Euzp98 ? I"Igp983nxU@C?xn -? IUp êëKo è ì6ðÈoueXADJ^A.F$JEA.F;GqVIN÷ òADJL[í¼éXJ^LKcADHKVXJEADCMíÑL[J!cfeXADcfïhWBGXg \^eXA CEF`\^WUC F$òXWB@BW¹\î L$í%F[G ëKo è P<C^AAlPÈAlð gðYP ø RTeI@YA P ûDü[ü- ðloueXA,ëK? o<÷¢òIF[C^ADH)HKADcWBC^WBL[G)éXJ^LKcADHKVXJEATíÑL[JÈcfeXAQcfïhWYGXg\^eIAC^F$\^WUC F[òXWB@YWY\î¼L$ í \o è CP ÿ L[( eX N C,ëK? o C]Ll@YölAJ ø ÿTVIJ^L F[GIH!ÿTVIGXWYGIgIPÔûQü[ülýXP ),+.-°P F[CuWBNóéX@BANóAGq\^AQH!L[G1\^Llé.L$í ÿ Ll( eXN F$GIH)ëhéSADcfï[ADGXNóAîlAJQP[ûDülü[þ ð )+.-MéXJEL`ö[AQH+\^LòA<NóL[JEAÈA6ôõADc6\^WBö[AÈ\^eIF[G¼\^eIATL[\^eXADJ éXJ^LKcADHKVXJEADC<éXJEADC^AGq\EADHWYG1\^eIA @YWY\^ADJEF$\^VXJEA[ð k GXA×L$í \^eXA JEADFlC]LlGICÈWUCu\EeIF`\ \EeXA¼C]ADNMF$Gq\^WUc òXJEF[GIcfeXWBGXg.cfeIF$JfF[c6\^ADJ^WUC\EWBc%L$í RUTTWVYX % 2 Z!1 WBC C^VXéSAJEWYLlJ ê¬C^AA F$@UC^L ø +HXHKWÈF[GIHÜRTADC]\EFXP ý ì\EL!\^eXA C^îhGq\EF[c6\^WUcóòXJfF$GIcfeXWBGXg1éADJ]íÑLlJ^NóAQH2òhî \fF$òX@BADF[VK÷¢òIF[C^ADHØéXJELhcADHKVIJ^AQCéIJ^L[÷ éLqC]AQH!WYGÛø ëq\^ADJ^glWYLlV.F$GIH.ù×LlVXòIF$JfF$ïhWUCPõûQü[ü ¬ðñ L[JEAL`ö[ADJDPKC^WYGc6A¼WBG ),+.- cL[GIC^WBC]\^ADGIc6î cfeXADcfïKC×F$JEAéSAJ^íÑL[JENóADHØòhî2F$G;L[éK\EWYNóWBúAQH2WBNóéX@YADNóAGq\EF$\^WBL[G L$íT\^eXAMC^WYNóéX@BA
(74) 2NóA\^eXLKH®P \^eXA.C^îhC]\^ADN cF[GÓ,A cWYADGl\E@YîÜeF$GIHK@BA\^ANóéSL[JfF$@ c6LlGIC]\^JfF$WBGl\fC%WBGhö[Ll@YöhWBGXg \EeXA 2F[GIH \^eXA +íÑVXGIc6\^WBL[GZC^îhN%òSL[@UCP$NVX@Y\^WBéX@YWUcF$\^WBL[GMòhîóc6L[GC\fF$Gq\ECDP[F$GHMF$Ghî IGIW¹\EAGhVXN%òSAJTL$í öiF[J^WUF$òI@YAQCP eXAJEADFlC \^eIA%éXJELKc6ADHXVXJ^AQCéXJEL[éSLlC^ADH!WBG ø ëq\EAJEg[WBL[V F$GH ù×L[VXòF$JfF$ïhWBCDPÔûQü[ü . F$GIH;WBG ø +HXHKWTF$GIHÜRTADC]\EFIPp ý bcDF$G;L[GX@BîØHKAQF$@ WY\^e \EeXAó\^ADN)éSL[JfF$@bcL[GIC]\^JfF$WBGq\EC FlC HKA IGIADH)F$òSL`ö[A[ð j WYGF$@B@YîlP A<éLlWYGq\ L[VK\ \^eF`\bF+ëX? o<÷òIFlC]AQH¼éXJELKc6AQHKVXJEATC^WYNóWB@BF[Jp\EL )+.WBC×F`\+\^eIA)òF[C^WBCL$íb\EeXAóéX@UF$GXGXWBGXg!C]îKC]\^ADN&HKADCEc6JEWYòSADH2WYG ø ;L[@YíÑNMF$G F$GIj H ØAD@BHÔP ûDü[ülü P e XWBcfe!WUCuWYNóéX@BANóADGl\EADH1L[G1\EL[é1L$í 0*132 ),+.- ø ÿuFiîlF[JEHXLI:P 4[JQðXF$GIH.ëKcfeIJEF[gIPõûDül-ü ] ð >. ;!. W¹í|bê @ W¹í |bê @ . A. A. $+ ì14 $+ ì14.
(75) , &
(76) # , (< .. . ëK? o<÷òF[C^ADH HKADcWBC^WBL[G;éXJ^LKcADHKVXJEADC+íÑLlJ¼NóLKHXF$@b@BL[glWBcDC×eIFiö[AóòSAADG;éIJ^LléLqC]AQH2WBG ø d+WBVXGK÷ cfeXWYgl@YWUF%F[GIH!ëhAòIFlC\EWBF[GXWPSûQü[ülþ[FXPhd+WYVIGIcfeXWBg[@BWBFF$GIH!ëhAòF[C]\^WUF$GXWPõûDü[ülþ$òÔPhd+WYVIGIcfeXWBg[@BWBF BPX ý [ò ¬PKF$GIHóeFiö[AòSAADGc6LlNóéIF$JfF`\EWYölA@Bî%Aö`F[@YVIF$\^AQHóWYG;ø d+WBVXGIcfeXWBg[@BWUF BPX ý [FIP d+WYVXGcfeXWYgl@YWUF BP`ý $ò ¬ðiñ.LlJ^ADL`ö[AJQP>WBGZø d+WBVXGIcfeIWYgl@YWUFF$GH%ëhAòF[C]\^WUF$GXWP[ûQü[ü[þlFXPDd+WBVXGK÷ cfeXWYgl@YWUF F[GIH2ëhADòIF[C]\^WUF$GXWP ûDü[ülþ$ò ª\^eXAóF$VK\EeXL[JfC,c@YAQF$JE@YîéLlWYGq\EADH LlVK\,\EeXA%éSL$\EAGq\^WUF$@UCL$í \^eXA%ëK? o<÷¢òIFlC]AQHF[éXéXJELlF[cfeªð GÓ\EeXA!N)LKHXF[@ @YLlg[WUcCóc6LlGIC^WBHKADJ^AQHÛWBG \^eXA.F$òSL`ö[A!c6WY\^AQH éIF$éSAJfCP \EeXA.@BF[GXg[VF$g[AWBC A
(77) h\^ADGIHKADH!òhî!F$@B@YL WBGXgMHKADGqVIN)ADJEF$\^AD@YîNóF[Ghî;ê¬N)LKHXF[@Uì VXGIF$JEîZLléADJEF$\^LlJEC HO :/D0D/D : ð \,ADéADGIHKWBGXgØLlG \^eXA!C^éAQc6W c éXJEL[éSAJ^\^WBADC%L$í ADFlcfeÛL[éSAJfF`\EL[JQPªHKWYôSADJ^ADGq\@BL[g[WUcCF$JEA L[òX÷ \EF$WBGXAQH®PbíÑJEL[N \^eXA AQF$ï[AQC\ c@BFlC^C^WBcDF$@ NóLKHXF$@@YLlg[WU c MPb\EL \^eXAØGXL[JENMF$@ NóLKHXF$@@YLlg[WUc ø RTeXAD@Y@UF[CDPbûQü }ð \ADcWBC^WBL[G éXJELhcADHKVIJ^AQC+íÑL[J !NóLKHXF$@È@YLlg[WUcC×eIFiölA)òSAADGÜéXJEL[éSLlC^ADH WYG ø d+WBVXGIcfeIWYgl@YWUF BPp ý [ò *ð ADJ^AlPõíÑL[J+\^eIAóCEF$ïlA%L[í<c6LlGIc6WUC^AGXAQC^CDP A)J^AQC\EJ^WUc>\×L[VIJ F`\]\EAGq\^WBL[G\^Ló\EeXA NóLKHXF$@®@BL[glWBcDC F[GIH ð & RTL[GIC^WBHXAJF[GÛF[CEC]WBg[GIN)ADGqW\ |4 R&E9ê R &i1ì R_R&}R J & & R eIAJEA WUC)F éXJ^LléLqC]WY\^WBL[GF$@SíÑL[JEN%VX@UFXð c MGP | uvy yS@ muAy&" @.-? I×WYíbíÑL[J+ADFlcfe éIF[WYJ & & lP J & & L$í<c6L[GX÷ > G \EeXANóLKHXF[@p@BL[glWB ~VXGIc6\EC WB* G | PK\^eXA×íÑLlJ^NVX@UF & YT J & WBCCEF`\EWBC F[òX@YAlð ¯ux°ÏqªEÕ[ÃKE|~¸ f{` D f q EÃKDw |~{ { Æb¸ { 5n7!Pv#" y lPlPl | wÏq>Ý!Ï % $ Kn:1 ÃKEwÉBD¸ |~{ Ãuv$ EDÄD|~ Eõ{ DÉl¸ ÄD{qÍ | h Ê$ |~f fy wSÎfQ{l| Ëw|¹¢E{qÎ Î]ÏqEÎ^Ê$Ï { ÏqªÍKf¢SÃl`Îf [ ªÃlfwE{$ { M & lPl ².
(78) >K=JLKM Å '
(79) IÇ @ ? ¿ Î^ÏÎ^Ï)ÎfQÎf{Q { {lÎE{lÎE
(80) ^T? @? ¿ ^? U @ . ? ¾ 00 Z
(81) Å QÇ ¿+$* ¾-S, ¿/. . ¾-jT*1. ¿+[* ¾=S, ¿/. Ë. 0 KMJWKM Å) IÇ @? ¿ Î]ÏóÎfD{ {qÎE
(82) Å ^T ? Ç U @ . ? ¾ k0
(83) . ¿/$* ¾-, ¿8. Z ¾=jT*1! ¿+$* ¾-S, ¿/. . UWS X >K=JLKM ÉUbÏqu¸ lDI DÄQ|~Îf Å EÉY^Ç { " ! ÅU|¹ÄDÏ`^Ç^Ë. G \EeXAóNóLhHI F$@°@YLlg[WUc P"|5uvylyU@Em9uvyG@.-C? I W¹íTíÑL[J×ADFlcfeØc6LlG~VXGIc6\ J & & WYG_| Põ\^eIA 2 íÑL[JEN%VX@UF R & R J & WUCCEF`\^WUC F$òX@BA[ð oueqVCPTWYG F$GIH WBG \EeXA2éIJ^LlòX@YADN L[í¼HKA6\EAJEN)WBGXWBGXg eIA6\^eIAJF[G F[CEC^WYglGXNóAGq\ WBC C^F$\^WUC F[òX@BA%L[JGXL$\+òLlWY@UC×HKL G!\^L\^eIA%éXJEL[òX@BAN L[íTHKA6\EAJENóWYGXWBGXgZ\^eXAóC^F$\^WUC SF$òXWB@YWY\î1L$í ^C^WYNóéX@BAJ !íÑL[JEN%VI@BF[A[ð ëhWYNóéX@BAJQP°òAQcF[VIC]AZ\^eXA1GhVXN%òSAJóL[íN)LKHXF[@uL[éSAJfF`\^LlJEC%g[A\ECJ^A÷ HKVIc6AQH®ðSëh\^WB@Y@PNóLKHXF[@ªL[éSAJfF`\EL[JfC cF[G1òSA¼GXAQC\EADH®PõF[C,F$GhîC]\EF[GIHXF$JfH!c6LlGXGXADc6\^WBö[AlðIouehVICP WYG L[JfHKADJ\ELÜHKA6\EAJEN)WBGXA!\EeXA C^F$\^WUC SF$òXWB@YWY\îÜL$í+\^eIADC^A!C^WBN)éI@YADJóíÑL[JEN%VX@UF$AlP T\V- % C )8N),cF$@B@UC \^eI# A RUTTWVYX % 2 Z!1 éXJELKc6AQHKVXJEA[ðp?CF J^AQC]VX@Y\DP AZeIFiölAM\ L2N%VK\EVIF$@B@Yî JEADcVXJEC^WBö[A éXJ^LKcADHKVXJEADCDð$oueXAuí¬Flc>\ \^eF`\TF$\bADF[cfeócF[@Y@XíÑJ^LlN T\V- % C )8N),-Z\^L RUTAT\VYX % 2 Z!1 \^eIA GqVIN÷ òADJ L$ípNóLKHXF[@SLléADJEF$\^LlJEC<HKWBN)WBGXWUC]eIADCug[VF$JfF$Gq\^ADADCÈ\^AJENóWYGF`\^WBL[G1L$íª\^eXA eXLl@YA+éXJELKc6ADCECDð \, A IGXWY\^WBL[GICL$í°\^eIL A T\V+ % C )8N)-2éXJELKc6AQHKVXJEA×íÑL[J F$GIH F[J^A%C^ï[A\EcfeXAQH1WYG j WBg[VXJE[A XP WYG cFlC]A1\EeXAJEA.WBCMFÜC^WBGXg[@BA!N)LKHXF[@YWY\î ðÈoueXA.A
(84) h\EAGIC^WYLlGÓ\ELÜN%VX@Y\^WBéX@BA.NóLhHIF$@BW¹\EWYAQCMWBC C\EJEF[WYglel\^íÑL[J F[JEHÔð L$\EWBcAu\^eIF$\ \^eXA,éXJ^LKcADHKVXJEADC íÑLlJ F$GIH L$í j WBg[VXJE
Documenti correlati
A point formation F p is called globally parallel rigid in d-space if it is exactly determined (up to translation and scale) by its graph and measurement function.. Proposition 1
Methods: A retrospective review was performed between January 2009 to June 2015 on 36 patients who were diagnosed vascular malformations in the head and neck regions and were
The cold-adapted secretion system [6] makes use of the psychrophilic α-amylase from P. haloplanktis TAB23 [13,14] as secretion carrier. Three chimerical proteins, made of
The 63 X-ray emitting sources that are confirmed AGNs after our variability analysis correspond to 15% of the X-ray emitters in the X-ray sample that are also AGNs, confirmed by
(a) List the sequence of unit-propagations following after the last decision, each literal tagged (in square brackets) by its antecedent clause.. (b) Derive the conflict clause
(b) If yes, show one unassigned literal which can be deduced from µ, and show the corre- sponding deduction clause C..
Limitations of Chronological Backtracking Conflict-Driven Clause-Learning SAT solvers Further Improvements.. SAT Under Assumptions &
ex: “the grass is wet implies it must have rained” is true (the consequent precedes temporally the antecedent)?. 8
