Static Analysis for Guarded Code
23
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Static Analysis for Guarded Code Ping Hu. N ˚ 3979 25 Juillet 2000. ISSN 0249-6399. ISRN INRIA/RR--3979--FR+ENG. ` THEME 1. apport de recherche.
(3)
(4)
(5) ! "# $%& " '(*)+-,&. /103462 57498;: < 4 = >?4@BADC46EF>?GH>?E 462 574 > IJLKBM 46EFN;O F< @BPQP KRJ ETSQ4 J 4 U 0 4 J U 0 4WVXYOZ[RZ\: ]^9_BAQ`bacac46EF]RdRdde: f8 ZPg@Rh46> ijk6lmonQpRlYqrtsvuRw?xHyLxvzb{|w}yLxR~*LuRyLxy?Dy sD~*o @R>&@V46 0 @ J Sv1@ J 4\4@oELA J 4 0 @R> 4646V`cVE J}K SvAU 46S`cVE K E K S@G> 0 `h 0 P4 J KRJ 5@oVU 4P J}K U 46>L> KBJ > rtsvuRw?xHyLxy?Dy sD ~*o U@BV>?`hBVQ`cU @BVELabG `c5P J}Kf 49E 0 47P|4 J KRJ 5@BVU64 K 1P JLK h J @B5>#T`bE 0 U K VSD`cEL` K Vg@Ba J @BVQU 0 4 > @BVS574@oVH 0 `ca4 @Ba> K P K >L46>¡V4¢U 0 @Bacac46Vh46>£ KRJ U K V 46VEL` K Vg@Ba¤P J}K h J @B5 @BVg@BabGD>¥`>tEL4 U 0 VQ`c¦YA4 >6 § VE 0 `c>¨Pg@BP|4 J 14©P J}K P K >?41@ª>?E}@BEL`cU!>L465@BVEL`cU >3`cVQ4 J 4VU 4!546U 0 @BVQ`c>?5«E K U @BPQELA J 4 E 0 4;>?465@BVEL`cU >¬`bVQ KRJ 5@BE?` K V K 3hRA@ J SQ>©`cVE 0 4;U K VE}4CHE K 3hBAg@ J Sv4 SU K SQ4B©t@R>L46S K V E 0 4®>?465@BVEL`U6>`cVQ KBJ 5@BEL` K V ¬4&4CHE}4VS¯E 0 4®U K V 46VE?` K Vg@oaªSQ46QVv`cEL` K V> J 4 hY@ J Sv`bVh P J}K h J @B5°@oVg@BacGH>¥`>`cVhRAg@ J SQ46SU K SQ4 @BVQS7SQ4 4a K P7E 0 4 J 4a±@BEL4 ShRAg@ J SD²@1@ J 4£@BVg@BabGY² >?`>ªE}46U 0 VQ`c¦AQ4 > /10 46>L4³@oVg@BacGH>?4 >£`bVU6abASQ4´U K VHE J}K a3µ K ¶@BV@BacGH>?`c> S@BE}@Sv46P|46VSQ4VU 4 @BVg@BabGD>¥`>ª@BVQSSQ@BE @³µ K «@BV@BacGH>?`c>ª@R>t¬46aca* ·¸Y¹º?»¼ mo½¤kRq ¾ Ag@ J SQ4 SÀ¿P J 4 Sv`cU@BEL4 SgÁ;4CD46U6AQE?` K V  E}@BEL`cU³@BVg@BabGH>?`> Äà K VE JLK aµ K Å @BE @o²ÆSQ46P|46VQSQ46VU64 Å @BE}@o²Æµ K ÇÉÈËÊ ÌÎÍfÏ Ë¬Ê Ð¤ÑÒÌÎÓÔÕ Ö¨×fØÚÙ7ÛÜ?ÙÜ?Ý6ÛÞÎ×àßÀÝÙ9áâÝ6ÛãØäÝååäæàÙ*çâáâáBè6ÛãÜLéëê æàã*×fÜì¨í îï3ðÖ¢ð±ñ%ÛÜ?Ý6ÞãØò6ÜóâÖÀï%áâÛèôÜ?Þ¥ã õö ì÷3øíRùâçâúâéfÜLÛ3Þè ú ãÛ*ÝÞãøÄèBûüü ýþüþÿoû. Unit´e de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) T´el´ephone : 01 39 63 55 11 - International : +33 1 39 63 55 11 T´el´ecopie : (33) 01 39 63 53 30 - International : +33 1 39 63 53 30.
(6)
(7) 6¤" e® " " $ & " ©" ¸ k ¸ q 4þC©4 = U6AvEL` K VhY@ J S¬46= 4e46>?EFSQ4#PQabA>T46VPQacAQ>T> K A 46VEF`cVE JLK SvAv`cE}4¡S@BV>Ta46> Sv`>¥P K >¥`cE?`c>|5@BED4 = J `c46ac>SQ46>ÀV K A 4@BAvC´P J}K U 4 >?>L4A J > @ 2 0 @BAQEL4P4 J KRJ 5@oVU 4B 4C©4 = UAQEL` K V hY@ J S¬4 = 41P|46AQE©@o54= ac` KBJ 4 J SQ4t5@BVQ` 4 2 J 4¬>?`chRVQ`cQU@BE?` 4©a±@¡P|4 J KRJ 5@BVU64tSÀ AQV9P J}K h J @B554 @ 4 U J @BVQU 0 465746VE}>U K VSD`cEL` K VQV4a>6 Ã 4P4VS@BVE 46acac4P K >?446= hY@Ba454VE¤Sv4¬V K A 4@oAvC P J}K a 462 574 >tP K A J ac4 >TE}46U 0 VQ`c¦AQ4 >FU K V 4VEL` K VQV46aba46>£SQ4´U K 57Pv`ca±@oEL` K V¨ Å @oV> U646E@ J E?`Ua4 V K A>&P JLK P K > K V>&AQV 546= U@BVQ`c>?574 SÀ `bVQ4 = J 46VU64à>¥E @BE?`¦YA4 SQ4 a±@ >H4= 5@oVHE?`¦YA4P K A J >L@B`>¥` J a* `bVQ KRJ 5@BE?` K VSQ4a±@ >H46= 5@BVEL`¦YA4&SQ46>9hY@ J Sv4 >9S@BV>ac4 U K VE}4þCHE}4!SvAeU K SQ4hY@ J S¬4R= Â A J a@ @R>?4SQ4aÆ `cVQ KRJ 5@oEL` K V¡>H46= 5@BVEL`¦YA4 V K A>;46= EL46VS K V> a4 > S146= QVv`cEL` K V>U K V 4VEL` K VQV46aba46>U K VQU 4 J Vg@BVE9aÆ@BVg@BabGH>L4Sv4P J}K h J @B5574 >@oAëU K SQ4 hY@ J S¬4 = 46E\S¬4 = 4a K PQP K V> ac4 >E}4 U 0 VQ`¦YA46> Sä@BV@BacGH>L4 @R>L> K U`64 = 46> y yuR&
(8) £{|y xHy YuRw?xHy à 4 >³@oVg@BacGH>?4 >`bVU6abA46VEaÆ@BVg@BabGD>?47Sv4µ K EL> SQ4U K VE J K a4 aÆ@BVg@oacGH>L4SQ4 S146= P|46VSQ@BVU 4eSQ4´S K VvVt4 = 46>¡@B`bV>?`À¦AQ4ea*ä@BV@BacGH>L4#Sv4´µ K E}>ªSQ4´S K VvVt4 = 46> p ¸ q C©4 = UAQEL` K V h@ J S¬46= 4 N£V@BacGH>L4!>¥E @BE?`¦YA4 a K EÀSv4©U K VE J K a4 Å 4= P4VS@BVQU 4 ¼ lâk º SQ4´S K VQV146= 4 > a K ETSv4eS K VQV146= 4 > .
(9) ÆuR~*¡u ~ ow7rtsvuRw?xHyLx ¬ xHy. O.
(10) &\ \T . `h 0 P4 J KRJ 5@oVU 4 U K 5PQ`ca@BEL` K VEL4 U 0 Vv`¦YA4 > J 46acG 0 4 @ `bacG K V 4|4 UEL` 4 P @BVg@BabGD>¥`>6  A7 U`4VHE©@oVSP J 46U6`c>L4t`cVv KRJ 5@BEL` K V K V9@¡P JLK h J @o5¢`c>U J `cE?`U@oaDE K P K PQEL`b57` @BE?` K V@R>T14aca3@B>ªE K P J}K h J @B5 P@ J @Baba4ac` @BEL` K V¨ rtsvuRw?xHyLxvzb{|w}yLxR~*LuRyLxy?Dy sD~*o 8fd Z @R>1@V46 0 @ J Sv1@ J 4£4@BE?A J 4 0. J}K h J @B5 J}K h J @B5 @R> 4646V L J K K R K J R K J 0 0 J R K J } J K B K J 1 / 0 0 `cVE SvAQU 4 S\`bVHE 5 4³@BVS\5 4 `h P|4 5@BVU64P U 46>L> > `c> @ J Svt@ J 4 4@BE?A J 4P J}Kf `SQ46>@BV-@RSQSv`bEL` K Vg@Ba KDK a4@oV J 4 hR`c>?E}4 J KBJ 4 @RU 0 K P|4 J @oEL` K VE K hRAg@ J S 0 46E 0 4 J E 0 4 K P4 J @BE?` K V\T`baca 4³4þCD4 U6AvE}4 S KRJ V K E § ©E 0 4 @BabA4 K !E 0 4 J 4 hB`>?EL4 J `c> E 0 46VëE 0 4 K P|4 J @BEL` K VT`baca 474CD4 UAQE}46SV KBJ 5@BacabG K E 0 4 J T`c>L4E 0 4 K P|4 J @BEL` K V T`caca 4tU K aba±@BPQ>L4 S9@o±E}4 J `cVQ`bEL`±@oEL`cVQhFE 0 4t4CD46U6AQE?` K V K E 0 4 K P4 J @BE?` K VÀ  AQU 0 @ J 4 hR`c>?E}4 J `cV @BV K P4 J @BE?` K V´`>¨EL4 J 574 SeE 0 4 RsvuRwLx K vE 0 4 K P4 J @BE?` K V@BVQSE 0 4 K P|4 J @BEL` K V´`>3>}@o`S´E K 4@ RsvuRw?xHyLxvzb{|w yLxR~*LuRÎyLx}{gyw?uR~*o /ÄK >?AQPQP KRJ E RsvuRw?xHyLxy?Dy sH~*o @U K 5PQ`ba4 J @Bah KBJ `cE 0 5 U@Baba4 S ~ þL o Ryw ~*o ] Z O ! U K V 4 J EL>FP JLK h J @B5>©T`cE 0 U K VSD`cEL` K Vg@Ba J @BVQU 0 4 >`cVE K hRAg@ J SQ4 SU K SQ4RN¡>7@ J 4 >?AvacE ¡~ þL o Ryw ~*o J 45 Kf 4 >U K VSD`cEL` K Vg@Ba J @BVQU 0 4 >; JLK 5 P J}K h J @B57> `hBA J 478> 0K ª>´@BV 4Cv@B5PQa4 K !hRAg@ J SQ46S\U K SQ4 0 `U 0 0 @R> 4 4V³`c²ÆU K V 4 J EL4 S JLK 5 E 0 4¬U K VE JLK aHµ K h J @BP 0 hR` 46V K VE 0 4¬a46±E K QE 0 4¬QhRA J 4B x=1 y=1 x>0 ?. B0. T B1. T B3 y=x+3. F. x=y+1 x>1 ?. y=x+2. F B4 x=y+4. B5 x=x+y. (a) Control-Flow Graph. B2. 0: 1: 2: 3: 4: 5: 6: 7: 8: 9: 10 : 11 : 12 : 13 : 14 : 15 :. g0 ? g0 ? g0 ? g0 ? g0 ? g1 ? g1 ? g1 ? g1 ? g2 ? g2 ? g3 ? g3 ? g4 ? g4 ? g5 ?. x=1 y=1 p0=x>0 g1=p0 g2=not p0 x=y+1 p1=x>1 g3=p1 g4=not p1 y=x+2 g4=true y=x+3 g5=true x=y+4 g5=true x=x+y. (b) Guarded code. `hRA J 4³8#"NFV4þCQ@o57PQac4 K ¤hRAg@ J SQ4 SU K SQ4 rtsvuRw?xHyLx®y?Dy sH~*o U@BV&>¥`hRVQ`bU@oVHE?acG³`b57P JLKf 4ªE 0 4¡P|4 J KRJ 5@BVU64 K ¨@P J}K h J @B5 T`cE 0 U K VSv`bEL` K Vg@Ba J @oVU 0 4 >FSvA4;E K EÎ K 5@B`cV@BU6E}>6 ` J >?E |~ þL o Ryw ~*o 46VQa@ J h46> E 0 4¬>?`64 K @R>?`cU a K U%$H>@BVQS E 0 4 J 4 GP J}Kf `Sv4 >@£a@ J hR4©VAQ5 4 JK K PQP KRJ ELAQVQ`bEL`c4 >3E K 4CHE J @RU6ETE 0 4#@ @B`ca@ a4ªPg@ J @Bacac46ab`>?5 J}K 5 E 0 4#4VQa±@ J hR`bVh >?U 0 4 SvAvac`cVQh>?U K P|4R  46U K VQS . ïÄï ú'&)(6ÿ ýþÿ.
(11) ~± #s. E 0 44ac`b57`bVg@BEL` K V K J @oVU 0 4 >#U @BVà@ K `cS 0 `h 0 J @BVQU 0 5`>¥P J 46Sv`UEL` K V P|46V@BacE?`4 >¡> K @R>#E K `c5P J}Kf 4 J @BVU 0 SvGVg@B5`U 4 0 @ ` KBJ £K ¬4 4 J E 0 4³`cVE JLK SDAU6E?` K V K RsQuRwþ xHyLxy?Dy sH~*o @Bac> K P J}K P K >L46>£V4 U 0 @Baba46VQh4 >ª KRJ U K V 4VEL` K Vg@BaP J}K h J @B5 @BV@BacGH>?`c> E}4 U 0 VQ`¦YA46>F 0 4V\@BPvPQac`c4 SE K hRAg@ J SQ46S U K SQ4B KRJ `bV>?E}@BVU64 KRJ EÎ K >¥AU U64 >?>?` 4hRAg@ J SQ46S K P|4 J @BEL` K V> 46a K
(12)
(13)
(14) . S K 46>¤E 0 4 J 414CH`c>?E@oVHGeS@oE @o²ÆSQ46P|46VSv46VU64 4EÎ14646V³E 0 465`bacaYE 0 4 @BabA4 K @ J `@ a4 SQ46vV4 S`bVàE 0 47 J >?E K P|4 J @BEL` K V 4 J 46SQ46QVQ4 S G E 0 4>L46U K VS K P4 J @BE?` K V § t¬4 `hRV KBJ 4E 0 414|4 U6E K hRA@ J SQ> K VE 0 4 K P|4 J @BEL` K V> E 0 4t@BVQ>?¬4 J > 0K AQacS 4F G4 >6RE K K E 0 ¦AQ4 >?E?` K VQ> £K 14 4 J `b!E 0 4³EÎ K hRAg@ J SQ> g89@BVS D]&@ J 49Sv`> M¥K `cVE¿`Æ 4RE 0 4G V4 4 J 4 @BacA@BE}4E K @BE´>L@B5749E?`c574fÁ E 0 4 J 4³`>#`cVQSQ4 46S V K S@oE @o²ÆSQ46P|46VSv46VU64 46Eά4 46V E 0 45 ;VvacG 0 46! V D] `>³@Babt@GH> @R>a K Vh\@R"> g8`c> T`caba¬E 0 4 @ J `@ a4 0 J K `cVE 4& >?E P4 J @BE?` K V 4 J 4 SQ4QV4 SÀ¿ $`caba4 SÁ G¯E 0 4 >?4 U K VS K P|4 J @BEL` K V@BVS`c> V K E J 4@RU 0 @ a4R¿*@Bab` 4fÁ£@o±E}4 J E 0 4 >L4 U K VS K V4B 4VU 4 E 0 4a K hR`cU@Ba J 46a@BEL` K V>£@B5 K Vh hRAg@ J SQ> 0 @ 4´E K 4#E}@ $4V `bVHE K U K V>¥`SQ4 J @BE?` K V&`bV®E 0 4e@BVg@oacGH>?`c>tE}4 U 0 VQ`¦YA46> /10 4@BAvE 0KRJ >`cV 0 @ 4 >?AhRh4 >¥E}4 S I ²Æ@RUE}>®E K 4CHE J @RUE@oVS J 46P J 4 >?46VE E 0 4 Sv`> M¥K `cVE}46SvV46>L> J 46a@BEL` K V> 4EÎ14646V hRA@ J SQ>6 /10 4 >?4 I ²Æ@RUE}>7@ J 4A>L46SE K @BVg@BabG 64 ac` 4² @ J `±@ a4 J @BVh46>; KRJ¡J 4 hR`c>?E}4 J @Baba K U@BE?` K VÀ£©AQE;E 0 44CHE J @RU6E?` K V546U 0 @BVQ`c>?5 KRJ Sv`> M¥K `cVE}46SvV46>L> J 4a±@BE?` K V> K ¡hBAg@ J Sv>9`c> 4 J G¯>L4V>?`bEL` 4&E K E 0 4®`bV>?E J AUEL` K V¯>L46E@ J ² U 0 `cEL4 U6E?A J 4>?`bVU 4e`cEFSQ46P|46VQSQ>¡AQP K VE 0 4`bV>?E J AUEL` K V>?U 0 46574 K E 0 4 ¡I I a±@G Å;KR0 @ J U 0 `bE}46U6ELA J 4 $# *¤N£V K E 0 4 J S@oE @o²Æ>?E J AU6E?A J 4T KRJ E J @B%U $H`bVh´hRAg@ J S J 46a@BEL` K V> P J}K P K >?4 S `cV [ `>E 0 4 {|w}yLxR~*LuRÎy{QuRw~±~*o RwLuþ{ % /10 `>!h J @BP 0 ² @R>L46SS@oE @o²Æ>?E J AU6E?A J 4ª`>A>?4 S E K P JLKf `cSQ4³¦YA4 J G`bVQ KRJ 5@BE?` K V KRJ S@oE @o²*µ K @oVg@BacGH>¥`>;@oVS J 46hR`>¥E}4 J @Baca K U @BEL` K V `bV ^  `b57`ba±@ J E K E 0 49U K V>¥E J AU6E?` K V K ©E 0 4³Pg@ J EL`bEL` K V\h J @oP 0 `> @R>?4 S AQP K V E 0 4 ¡I I a±@G Å;KR0 `cV>¥E J AQU6EL` K V >L4EN J @oE 0 4 J SD` |4 J 4VE@BPvP J}K @BU 0 SQ4 4a K P|4 S`bV 8â] `>;E K @BPvPQacG w )y Ryw fy~ þL o Ryw ~*o E K U K V 4 J EhRAg@ J SQ4 S U K SQ4 @R%U $\E K @BV 4CHPQac`cU6`bE U K VSD`cEL` K Vg@Ba J @BVQU 0 >?E J AUELA J 4e 0 4 J 4eE J @RSv`cE?` K V@Ba¨@BV@BacGH>?`c>TE}4 U 0 VQ`¦YA46>¡U@oV 4@oPv² PQac`cU@ ac4R § V\U K VE J @R>¥E 144CHP46U6E£E K Sv4 4a K P\@BVg@BabGD>¥`>ªE}46U 0 VQ`¦YA46>¡E 0 @BE£ K AQacS 4 Sv` J 4 U6E?acG@BPQPQab`U@ a4FE K hRAg@ J SQ4 SU K SQ4R § VëE 0 `>Pg@BP|4 J ¬4P JLK P K >L4®@>¥E @BE?`U>?465@BVEL`cU > `bVQ4 J 46VU64546U 0 @BVQ`c>?5
(15) `cV E 0 4 KU VE}4þCHE K 7hBAg@ J Sv4 S U K SQ4 0 `U 0 U@oV¢U @BPQE?A J 4 E 0 4ë>L45@BVE?`U > `bVQ KRJ 5@BE?` K V K hRAg@ J SQ>9Sv` J 4 U6E?acG J}K 5 hRAg@ J SQ4 SU K SQ4 @BVS@Baba K ª> A>³E K @BV@BacG 4®E 0 4®a K hR`cU@Ba J 4þ² a±@BE?` K V>t@B5 K Vh³hRAg@ J SQ> ð±øÄï3ð÷.
(16) ÆuR~*¡u ~ ow7rtsvuRw?xHyLx ¬ xHy ^. 1 @R>L46S K V-E 0 4>L45@oVHE?`U6>7`cVv KRJ 5@BEL` K V 144CHE}4VSE 0 4 U K V 4VEL` K Vg@Ba;Sv46QVQ`Ò² EL` K V> J 46hY@ J SD`cVh³P JLK h J @o5 @BVg@oacGH>?`c>t`cV&E 0 4´U K VE}4CHE K hBAg@ J Sv4 SU K SQ4 @BVQS SQ4 4a K P E 0 4 J 46a±@oE}4 S hRA@ J SD²Î@t@ J 4@BVg@BabGD>¥`>¡EL4 U 0 Vv`¦YA4 >6 /10 4 >L4hRAg@ J SD²Î@f1@ J 49@BVg@BabGD>?4 >#`cVD² U6acAQSQ47V K E K VvacG S@BE}@o²Æµ K °@oVg@BacGH>¥`> AQE³@oa> K U K VE J}K aҲƵ K °@BVQS S@BE}@o²ÎSQ4P4VSQ4VU 4 @BVg@BabGD>¥`>6 /10 4´hRAg@ J SD²@1@ J 4´U K VHE J}K aҲƵ K @BVg@BabGH>?`>T4Vg@ ac4 >TA>ªE K @RU 0 `c4 4eE 0 4#E J @â² Sv`cE?` K Vg@oa J 4 >?AvacE}> K £U K VE JLK ab²*µ K @BV@BacGH>?`c> >¥AU 0 @R>³S K 57`bVg@BVU64 P K >?E¥²ÎS K 57`bVg@BVU64 @BVS U K VE J}K aÒ²Î4 ¦YAQ` @Ba4VU 4 46E}UB /10 49U K VE J}K aÒ²Î4 ¦YAQ` @Ba4VU 4³@oVg@BacGH>¥`> 0 @R> 4 4VàA>?4 S E K&J 4 SDAU 4E 0 49VAQ5 4 JeK thBAg@ J Sv> J 4 ¦YAQ` J 4 S `cVàhRAg@ J SQ4 SàU K SQ4R /10 4hRA@ J SD²Î@t@ J 4 S@BE @â²ÎSQ4P4VSQ46VQU 4£@BVg@BabGD>¥`>U @BV@ RK `S7@;a K E K |SQ4P4VSQ46VQU 4 >¬> K @R>E K P J}Kf `Sv4ª5 KRJ 4 K PQP KRJ E?AQVQ`cE?`46>1 KRJ 4CHPQa K `cE?`cVh9@oVS&4CHE J @RU6E?`cVh9Pg@ J @Bacac46ac`c>?5 `bV hBAg@ J Sv4 SU K SQ4R /10 4 J 465@B`cVQSQ4 JªK 3E 0 4#Pg@BP|4 J `> KBJ hY@BVv` 46S@R>t K aca K ª>  46U6E?` K V] P J 46>L4VHEL>FE 0 4 >L465@BVEL`cU >´`cVQ4 J 4VU 4546U 0 @BVQ`c>?5  4 UEL` K VëOP J 4 >?46VE}>E 0 47hRAg@ J SD²@1@ J 4U K VE J}K aÒ² µ K @BVg@BabGD>¥`>6 /10 4hRA@ J SD²Î@t@ J 47SQ@BE @o²ÆSQ46P|46VQSQ46VU64®@BVSàS@BE}@o²Æµ K @BV@BacGH>?`c>#T`caca 4³P J 4 >L4VE}4 Sà`cV  4 UE @BVS  4 UE^ J 46>?P|4 U6E?` 46acGR /10 49a@R>?E´>?4 UEL` K VhR` 46>´E 0 4 U K VUacASD`cVh J 45@ J $H>ª@BVS K AQE?ac`cVQ4 > K A J ±AvELA J 4´ KRJ $| ®" F 6R7 !\ /10 49>L465@BVEL`cU > K 1@®hRAg@ J S `c>´@®a K hR`cU@Ba¤P J}K P K >¥`cEL` K V 0 `cU 0 U K V>¥`>?EL> K ¬P J 4 Sv`cU@BEL4 @ J `±@ a46>¿`*4B J @BVU 0 U K VSv`bEL` K V> 4BhQF@BVS £`cVE 0 4 4Cv@B5PQac4 K `hv;8âÁª@BVS E 0QJ 4 4 @R>¥`U³a K hB`U@oa K P|4 J @BE KRJ >¿
(17) @BVSÁ /10 @BE´`c5PQab`4 >;@BV K P4 J @BE?` K V\T`baca 4 4CD4 UAQE}46S K VvacGe 0 46V`cEL>hRAg@ J SÀ >>L45@BVE?`U >`c> `Æ 4R¤E 0 41P JLK P K >?`bEL` K V³4 @BabAg@BE}46> E K N M ASQhB54VHE `c>ª`bVE J}K SvAU64 SE K Sv46V K EL4E 0 @BE J}K 5 @7hB` 4V >?4 hR5746VE K ¡hBAg@ J Sv4 SU K Sv4 K V4 U @BVSQ4 SvAQU 4 @ >?46E K ;>?465@BVEL`cU > K #@oacaThRA@ J SQ>³`bVE 0 4 hRAg@ J SQ4 SU K SQ4R 4 0 @ 4FSQ4QV4 SE 0QJ 4 4T`cVv4 J 4VU 4 J Ava4 > KBJ E 0 4 J 46SvAUEL` K V K |hRAg@ J S >L465@BVEL`cU >T`cV / @ ¨8R <TAQac4 `Sv46VEL`b4 >E 0 @BE `>&@E J A4²ÆhRAg@ J S 0K >L4 @BabA4`>@Bac1@GD>E J A4B <ªAQac4 "! SQ46>LU J ` 4 > `c|E 0 4¡>L465@BVEL`cU > K ¨hRAg@ J S #`>'$V K TV@R>%$&`cV' @B±E}4 J E 0 4 4CD4 UAQEL` K V K ¤E 0 4ehRAg@ J SQ46S K P|4 J @BEL` K Và¿ # (%)*$+þÁ E 0 4e>L45@BVE?`U > K hRAg@ J S (ª`c> E 0 4#P JLK P K >?`cE?` K V-,/.0 ¿1$23 '$4þÁ `Æ 4R!E 0 4eU K V M AQVQU6EL` K V K E 0 4 /þ >F>L465@BVEL`cU >5$2T@BVS E 0 49U K VSv`cE?` K 6 V $+´AQVSQ4 J 0 `U 0 E 0 4 K P4 J @BE?` K VQ>#hRAg@ J SQ4 S G (#T`caca 44CD4 UAQE}46SÀ /10 4Sv` 4 J 46VQU 4 K E 0 4 E 0 ` J S J AQa478:91. J}K 5 E 0 4 >?4 U K VS J AQac4; < "! `>ªE 0 @oE;hRAg@ J S =?> çâúâÞãØè ú @A8BÛÜ?ãçâÛ*úâÙÀÝtåäè CØÚÞ¥ÝåYáâÛè áoè ÙØäãØäè6ú£ØÚú£éfØÚÙÒôçâúâÞãØè ú;úfè61Û DtÝþFå EÉè61Û D¡û ïÄï ú'&)(6ÿ ýþÿ.
(18) ~± #s !. / @ a 4³8#" ¾ Ag@ J S >?465@BVEL`cU >ª@BVg@oacGH>?`c> ( ) . ¿E @BAvEþÁ. / ) $2 f¿ / " ) $+}Á - #) $2 ( ) /, . ¿ $23 '$+ Á . ' # ) $2 ( ) +$ f¿ # ( ) $ Á # ) $2 " ) ,/.0 ¿L¿ $23 -$ Á ' $4 Á . ¿ KRJ $vÁ ¿ M¥K `cVgÁ. " 0 R@ >e@Ba J 4 @RSvG 0 @BSà@®>?465@BVEL`U6>´SQ46QVv`cEL` K V6$+#`cV t 46VQU 4 E 0 49VQ46 >?465@BVEL`U6> K ( ;@B±E}4 J E 0 4 hBAg@ J S K P|4 J @oEL` K V ¿ / ( ) $ Áª> 0K AQacS 4 ,/. ¿?¿1$2 $ þÁ $+ Á `*4B E 0 4Sv`> M AQVUEL` K V K £E 0 4 U6A J?J 4VHE " 6>>L45@BVE?`U > ¿1$&% $ þÁ@oVSE 0 4P J 4 ` K A> " >. >L465@BVEL`cU >5$+ /10 4 >L4³E 0QJ 464 `cVQ4 J 4VU 4 J AQa46>#@ J 4³@BPQPQab`46S E K Sv4 SvAU64E 0 4 hRAg@ J S >L45@BVE?`U >£ KRJ 0E 4ª@ Kf 4ª4Cv@B5PQac4t`cV `chQ¬8R /10 4ªSQ46E}@B`caD KRJ E 0 4ª`bVQ4 J 46VU64tP J}K U 46SvA J 4ª`c>SQ465 K V>² E J @oE}4 S®`bV / @ ]H /10 4\hRAg@ J SQ4 S K P|4 J @BEL` K V>`cV-E 0 4 J >¥E®U K acAQ5V 0 @ 4 4 4V @BVg@BabG 64 S K VQ4 G K V4 `±@E 0 4A>?4 K !E 0 4`bVQ4 J 46VU64 J AQac4 > /10 4Vg@o546> K !E 0 4 J AQa46>#@BPQPvac`46SE K E 0 4 K P4 J @BE?` K VQ>@ J 4> 0QK TV¯`bV E 0 47E 0 ` J S U K acAQ5V¨ /10 4®SQ46E}@B`cac> K 0QK E K @BPQPQabG E 0 4 J AQac4 >1E K E 0 4 K P|4 J @BEL` K V>T@ J 4#hR` 46V®`bV®E 0 4#>?4 U K VSU K abAQ57VÀ KRJ `bV>?E}@BVU 4 E 0 4 K VQacG @BPQPQab`U@ a4 J AQa4´`> @oE£E 0 4 4 hR`bVQVQ`bVh K !@Baca3E 0 4 K P|4 J @BEL` K V> @B>¡> 0QK TV\`bV E 0 4 J >¥E#ac`cVQ4R KRJ E 0 4 K P|4 J @BEL` K V¿ # ) Á 149U@oV@oPQPQacG J AQac4 < F! E KK E @B`bV /þ >!>L45@BVE?`U > ,/.0 ¿ Á `Æ 4R f KRJ E 0 4 K P4 J @BE?` K V¿ " %
(19) ) Á
(20) 0 @R> @9>?465@BVEL`cU#SQ46QVv`cEL` K V ¿ <?Á1`cV @BETE 0 `c>t5 K 54VHE ¬4eE 0 A>F@BPQPQabG J Ava4 7/:91. @BVS K E}@B`cV®`bE}>1VQ46 >L465@BVEL`cU > ,/. ¤¿L¿ Á ¿ ' <LÁ?Á `Æ 4Rª¿ - <LÁþ /10 4eQV@Ba¨>L45@oVHE?`U6>F>?46Eª KRJ @BabaÀE 0 4ehBAg@ J Sv>ª`c>ª@RU 0 `c4 46S @R>T K aba K ª> ( )
(21) / )
(22) ( )*
(23) ) <
(24) %
(25) ) <
(26) ) N
(27) ±AQVUEL` K V `>465PQa K GR4 S E KJ 4ELA J V E 0 4>L45@oVHE?`U6> K 9@hRAg@ J SÀ KBJ 4Cv@B5PQa4 ¿ þÁ ) ¿ /?Á ) ¡@oV S ¿ " Á )* 46E}UB ð±øÄï3ð÷.
(28) ÆuR~*¡u ~ ow7rtsvuRw?xHyLx ¬ xHy. / @ a 4e] " 1/ 0 4 SQ46SvAUEL` K V RK J E 0 ´4 >L45@BVE?`U > K E 0 4ehBAg@ J Sv> Ã Â <ªAQac4 ( ) E @oAQE ( )¶8 ( )¢8 ( %) d ( /) # ) ,8.0 ¿ Á ) KRJ $ ( " ) ( ) ,/. ¿ Á ) KRJ $ / ) 8 / < ) 8 / ) < ) ,/. ¿ <?Á ) < KRJ $ /
(29) ) < %
(30) ) ,/. ¤¿ <LÁ ) < KRJ $ " ) ] M¥K `bV "
(31) ) %
(32) ) ,8.0 ¿L ¿ Á ¿ <?Á?Á ) < ) O ) ) ,/. ¿?¿ <LÁ Á KRJ $ ) ;
(33) )
(34) ) ) ,/. ¤¿L¿L ¿ <LÁ Á M¥K `bV 1¿ <¥ÁLÁ ) ) . ïÄï ú'&)(6ÿ ýþÿ. [.
(35) #. ~± #s. FN V `b57574 SD`±@BEL4;@BPQPvac`U @BEL` K V K ÄE 0 4e>?465@BVEL`cU >T>L4Eª`>TSQ4 @RSD²ÎU K Sv4e4ac`b57`bVg@BEL` K V`bV E 0 4£U K VE}4þCHE K ¨hRAg@ J SQ46S®U K SQ4R à4¡U @BV&46ab`c5`cVg@BEL4tE 0K >L4 K P|4 J @BEL` K V>! 0K >?4#hRAg@ J SQ> @ J 4 6u fy `bV E 0 4³>?465@BVEL`cU >#>L4E À 4 U @BA>L4³`bE¡`>¡U6a4 @ J E 0 @BE;E 0 `>$`bVS K K P4 J @BE?` K VQ> T`caca|V4 4 J 4´4þCv46U6AQEL4 S`bV@BVG&U@R>?4 >6 /10 4>?465@BVEL`U6>£>?46EL> K hRAg@ J SQ>£@Ba> K P J}Kf `SQ46>¡@9h KHK S® K AQVQS@BEL` K V& KRJ E 0 4@BVg@â² acGH>?`c> K ÄhRAg@ J SQ46S®U K SQ4R /10 4G46V@ a4£A>tE K @BV@BacG 4£E 0 4¡a K hR`cU@Ba J 4a±@BE?` K VQ> 46Eά4 46V hRAg@ J SQ> @BVS E K SQ4 46a K P E 0 4hRAg@ J SD²Î@f1@ J 47@oVg@BacGH>¥`>#E}46U 0 VQ`¦YA46> /10 46>L4@oVg@BacGH>?4 > `cVUacASQ49U K VE J}K ab²Æµ K S@oE @o²ÆSQ46P|46VSv46VU64@BVS S@BE}@o²Æµ K W@BVg@BabGH>?`> 0 `U 0 @ J 4³P J 4þ² >L46VEL4 S J 4 >¥P46U6EL` 4acG®`cV&E 0 4# K aca K T`bVh >?4 UEL` K V> ! !" $ ®7- 6 N£acE 0K Ah 0 @\a K E K ¡`cVv KRJ 5@BEL` K V¯@ K AQEU K VE J}K aTµ K Pg@BE 0 > 0 @R> 4 4Va K >?E9`cV¯`b² U K V 4 J EL4 S U K SQ4 14³U @BV >?E?`caca¤@RU 0 `4 4³> K 574 U K V 4VHE?` K V@Ba J 46>?AQabE}> K !U K VE JLK aµ K @BVg@BabGD>¥`> >?AU 0 @R>¨S K 5`cV@BVU 4 P K >¥E?²ÆS K 5`cVg@BVQU 4@oVS´U K VE JLK ab²Æ4 ¦YAQ` @oa46VQU 4 4E}U T`bE 0 E 0 4´>?AvPQP KBJ E K ÄE 0 4´>L45@oVHE?`U6>F>?46EL> K hRA@ J SQ> K E @B`bV4 S®`cV&E 0 4#P J 4 ` K A>ª>L46U6E?` K V¨.
(36) !"
(37) Å;K 57`bVg@BVU64#`>£@±AQVSQ@B54VE @Ba¤U K VQU 46PvE¡`cVU K VE J}K aĵ K ¶@BVg@BabGH>?`>6ªN¶V K SQ4 K !@ µ K °h J @BP 0 xH
(38) ³~±uRÎy V K SQ4 .`c14 4 J GàPg@BE 0 J}K 5 E 0 47`bVQ`cE?`±@Ba¤V K Sv4 K tE 0 47µ K h J @BP 0 E K .ëh K 46>#E 0QJLK Ah 0 >L464 8 /10 `>#Sv46QVQ`bEL` K V\`c5PQac`c4 >FE 0 @BE#`b!V K Sv4. `c> `c>?`bE}4 S& J}K 5 E 0 4#`bVQ`cE?`±@Ba|V K Sv4@oa K Vh@BV @ J `cE J @ J G7Pg@BE 0 E 0 4V 5 A>?E 0 @ 4 4646V `c>?`bE}4 S9@oa K Vh;E 0 4tPg@BE 0 @R>14aca* à4ª4CHE}4VSE 0 4TSQ4QVQ`cE?` K V³E K hRAg@ J SQ4 S K P|4 J @BEL` K V> #¸%$'&)( l (¼*&àK ,+
(39) ³~±uRÎow NhBAg@ J Sv4 S K P4 J @BE?` K V ¨8 xH
(40) ³~±uRÎy hBAg@ J Sv4 S K P|4 J @oEL` K V ]¡`b|4 @RU 0 EL`c574 ] `>T4CD46U6AQEL4 S E 0 4V ¨8 0 @R>ªSQ4QVQ`bE}46abG 4 4V 4CD46U6AQEL4 SÀ - 1¿ ¨F8
(41) ]RÁ ).0/ 1¿ ¨821 ]RÁ 43 ¿65 ,|¿ g]Á785 ,¿ ¨8fÁLÁ /10 4©Sv46QVQ`bEL` K V K "+
(42) ³~±uRÎow `c> J 4P J 46>L46VEL4 S G;@ KHK a4 @BV;±AQVUEL` K V - 1¿ ¨F8
(43) ]Á 0 `U 0J 46E?A J V> `b ¨8 xH
(44) ³~±uRÎy ] K E 0 4 J T`>L4 J 4ELA J V> $:9 /10 4;>¥G5 K a 1 SQ4V K EL4 >1E 0 4¡4þCv46U6AQE?` K V`cVQ`bEL`±@oEL` K V KRJ SQ4 J1K K P4 J @BE?` K VQ> KRJ `cV>¥E @BVU64 ¨81 ] ð±øÄï3ð÷.
(45) ÆuR~*¡u ~ ow7rtsvuRw?xHyLx ¬ xHy Z. J 46P J 4 >?46VE}>´E 0 @BEe@BV 4CD4 UAQEL` K V `cVQ`bEL`±@oEL` K V KRJ ¨8³`c>¡V K E#a@BE}4 J E 0 @oV E 0 @BE# KRJ ]H /10 4 KDK ac4@BV ±AQVUEL` K V 3 4 J `c46> 0 4E 0 4 J @a K hR`U @BaP JLK P K >?`cE?` K V `>@ E}@BAQE K ² a K hRG|¿`Æ 4RE 0 4#P J}K P K >¥`cEL` K V@Babt@GH>ª4 @BacA@BE}46>tE K E J A4fÁ 3 ¿ gÁ ) . / $6 9 PK EJL0 K P4 J K T>?`c`E?>L` 4 K V &`c>ª@³E}@BAQE K a K hBG § E`>7@SQ46U6`cS@ ac4P JLK ac465 E K U 0 4 %U $ 0 46E 0 4 J @àhR` 46V-a K hR`U @BaTP JLK P K >?`cE?` K V`>7@ E @BAQE K a K hRG KBJ V K E § EL>7U K 5PQAQE @oEL` K Vg@Ba¬U K 5PQa4þCH`cEÎG`c>¿*]RÁ`bVëE 0 4® KRJ >¥EU @R>L4 0 4 J 4 . `c>tE 0 4#VAQ5 4 JFK ÄP J 46Sv`U @BE}4 @ J `±@ ac4 >t`bV®E 0 4#P JLK P K >?`cE?` K VÀ /10 4©±AQVQU6EL` K V 5 , J 4ELA J V>¨E 0 4!>?465@BVEL`U6> K DE 0 4!hRAg@ J S K Q@BV K P|4 J @BEL` K V# J}K 5 0E 4>L45@BVE?`U>L46EL> K thRAg@ J SQ> 0 `U 0 @ J 4 K E}@B`cV46S @B±EL4 J E 0 4>L45@oVHE?`U6> @BV@BacGH>?`c> K thRA@ J SQ>#P J 4 >?46VE}46S `cV Â 4 UE]D /10 4>?G5 K a 7 `>#A>L46SàE K SQ4V K EL4E 0 4a K hR`cU@Ba `c5PQac`cU@BE?` K V K P|4 J @oE KRJ KRJ E 0 4@ Kâ 4&hR` 46V4Cv@B5PQa4 ¬4&U@BV 4 J `c±GE 0 @BE9E 0 4® J >¥E K P4 J @BE?` K V gd xH
(46) ³~±uRy @BacaE 0 4 K P|4 J @oEL` K V> KRJ `cV>¥E @BVU64 gd xH
(47) ³~±uRÎy ^D¿ # ) 8âÁ 46U@BA>?4 3 ¿ 5 ,1¿ ^Á785 ,1¿ gdYÁLÁ 3 ?¿ ¿ #?Á 7 ¿ ( Á?Á 3 ¿ 7 Á § E1U@BV 4F±A J E 0 4 J¬ 4 J `c46SE 0 @oE ^ xH
(48) ³~±uRÎy @BabaE 0 4 K P4 J @BE?` K V>©hRAg@ J SQ46S G 4 U@oA>L4 3 1¿ ¿ þÁ 7 ¿ #LÁLÁ 3 ¿?¿ ?Á 7 Á ©AQE ^S K 4 >TV K EªS K 5`cVg@BEL4;E 0 4 K P|4 J @BEL` K V>thBAg@ J Sv4 S G
(49) 46U@BAQ>L4 3 ?¿ ¿
(50) Á 7 ¿ /?Á?Á 3 ¿L¿ <LÁ 7 þÁ $69 /10 4SvAg@oa xH
(51) ³~±uRÎow V K E?` K V `> {g ¥xH
(52) ³~±uRow N°V K SQ4 . K t@µ K °h J @BP 0 {g ¥xH
(53) ³~±uRÎy V K Sv4 `c|4 4 J G9Pg@oE 0 J}K 5 E K @BVG³4þCD`bE K |E 0 4ªµ K -h J @BP 0 h K 46> E 0QJLK Ah 0 . >L464 8 * /10 4SQ4QVQ`bEL` K V K {g ¥xH
(54) ³~±uRow `c> 4þCDEL46VSv4 SëE K hRAg@ J SQ4 S U K SQ4#`cV®E 0 4e>L@B574´5@BVQVQ4 J @R> xH
(55) ³~±uRÎow #¸%$'&)( l (¼*&àK ¥xH
(56) ³~±uRÎow NhRAg@ J SQ46S K P|4 J @oEL` K ;V ] {g ¥xH
(57) ³~±uRÎy hRAg@ J SQ46S K P|4 J @BEL` K ;V ¨8©`cQ4 @RU 0 E?`c574 ïÄï ú'&)(6ÿ ýþÿ.
(58) ~± #s. 8fd. ¨8#`c>T4CD4 UAQE}46S E 0 46V ] T`cacaSQ46vVQ`cEL46acG 4´4CD46U6AQEL4 SÀ ,8 ¿ ]8
(59) À8âÁ).0/ 1¿ ¨821 ]RÁ 43 ¿65 ,|¿ À8âÁ785 ,¿ ]RÁLÁ. 4ETA> 0 @ 4e@a KHK 7 $ @RhY@B`bV@BEtE 0 4#4Cv@B5PQa4B § EªU@BV 4#>L4 4VE 0 4;a±@R>¥E K P|4 J @BEL` K V. ¨8f^ {g ¥xH
(60) ³~±uRy @Baca!E 0 4 K |P 4 J @BEL` K V> G
(61) {g ¥xH
(62) ³~±uRÎy E 0K >L4´hRAg@ J SQ4 S G " 3 ¿1 ¿ "} Á 7 3 ¿ 7 ¿ . § V¯@RSvSv`cE?` K V E 0 4 K P|4 J @BEL` K V>ehRAg@ J SQ4 S 4 U@oA>L4 ¿
(63) ÁLÁ <LÁ?Á N£>F@U KRJ}K aba±@ J G `cET`c>tE J ` `±@Ba|E K³ 4 J `c±GE 0 @BEF@oVHG&hBAg@ J Sv4 S K P4 J @BE?` K V xH
(64) ³~±uRÎy @BVS {g ¥xH
(65) ³~±uRÎy `cE}>?46ab. . " , § VàhR46V4 J @Ba 14@ J 4`cVE}4 J 46>?E}46S\`cV\EÎ K $`cVQSQ> K ©U K VE J}K aҲƵ K J 4a±@BE?` K V> 0 `cPQ>£`cV\E 0 4 @BVg@BabGD>¥`> K ³U K VE JLK ab²*µ K U K VE J}K aÒ²ÎSQ4P4VSQ46VQU 4 @oVS U K VE J}K ab²Î46¦YAQ` @Bac46VU64R K >?E U K VE JLK ab²ÆSQ46P|46VQSQ46VU64 > 0 @ 4 4 46VU K V 4 J E}4 Se`cVE K S@oE @o²ÆSQ46P|46VSv46VU64 >3`cV#`c²ÆU K V 4 J EL4 S U K SQ4R /10 49@BV@BacGH>?`c> K ©S@oE @o²ÆSQ46P|46VSv46VU649T`baca 4P J 46>L46VEL4 S `cV E 0 4V4CHE´>?4 U6E?` K VÀ 4 J 4 ¬4e K U6AQ> K VE 0 4e@BVg@BabGH>?`> K U K VE J}K ab²Î46¦YAQ` @Bac46VU64R #¸%$'&)( l (¼*&àK ¬ow} Ly sH~ ou cy y NFV K P4 J @BE?` K ' V ¨8#`> ow} Ly sD~ ou cy E K9K P4 J @BE?` K ' V ]` 85 À8 ,8 91. 9Y¿ KRJ 9 ,8 91. 9âÁ g] ]D5 g ] 9 ,8 9 . 9Y¿ KRJ ,8 91. 9âÁ À8 i & n ¹ k ( k K ¬ow} Ly sH~ ou cy y N KHK a4 @BV#±AQVUEL` K V :. ¬`>A>?4 SeE Kt 4 J `b±G; 0 46E 0 4 J EÎ K hBAg@ J Sv4 S K P4 J @BE?` K VQ> @ J 4 ow} Ly sD~ ou cy :. v¿ ¨"8
(66) g]Á ).0/ ¿ - ¿ ÀF8
(67) ]3Á ,8 1¿ ]
(68) ¨8âÁ?Á t¿ - 1¿ ]
(69) ¨8âÁ ,8 1¿ ¨F8
(70) ]Á?Á . . .
(71) . . . . . . . . . ð±øÄï3ð÷.
(72) ÆuR~*¡u ~ ow7rtsvuRw?xHyLx ¬ xHy. 88. N£U U KRJ Sv`bVh#E K E 0 4ª@ Kâ 4ªSQ46QVv`cEL` K V> K - @BVS ,8 E 0 4t±AQVUEL` K V :. U@BV 4#>¥`c5PQac`b4 S&@B> . D1¿ ¨8F
(73) ]Á ) . / 3 ¿65 ,|¿ À8âÁ 5 ,¿1 ]Á?Á KRJ 4 Kf 4 J @hRA@ J S #1`c> ow} Ly sH~ oucy E K hRAg@ J S "T` ¿ /¥Á ¿ ( Á `>ª@E @BAvE K a K hRG `Æ 4R . D¿ #
(74) ( Á ) . / 3 1¿ ¿ #?Á ¿ (þÁLÁ § V E 0 49@ Kâ 4³4Cv@B5PQa4 ´`c> ow Ly sH~ ou cy E K #@B>9¿ ÁF`c>#@ E @BAQE K a K hRG /10 4 K P4 J @BE?` K V>¡hRAg@ J SQ4 S G ´@ J 4E 0 A> ow} Ly sH~ oucy E K E 0K >L4 hRAg@ J SQ4 S G 6 NFaca¤hRAg@ J SQ>£E 0 @BE;@ J 4 5 AQELAg@oacacG ow} Ly sH~ ou cy KBJ 5@ ow} Ly sH~ oucy y U6a±@B>L> ¬146U@BA>?4eE 0 4´hRAg@ J SQ>ª`cV @ ow} Ly sD~ ou cy y Ua±@R>?>£@ J 4 ow} Ly sH~ oucy E 0 4GU@oV > 0 @ J 4´E 0 4#>}@o54¡V@B54#> K @R>1E K³J 4 SvAU64#E 0 4;VAQ5 4 JªK J 4 ¦YAQ` J 4 S&hRA@ J SQ>6 /10 4 J 46 KRJ 4 E 0 4ehRAg@ J SQ4 S U K Sv4`cVE 0 4 4Cv@B5PQac4U @BV 4`b57P JLKf 4 S G J 46Vg@o57`bVh E K E 0 4³U K VE JLK ab²Æ4 ¦YAQ` @oa46VE¡hRAg@ J S ( @oVS 46ac`b57`bVg@BE?`cVh@BabaE 0 4 K P4 J @BE?` K VQ>£ KRJ E 0 4 @R>L>¥`hRVQ5746VE K /10 4#`c5P J}Kf 46S hBAg@ J Sv4 SU K SQ4´@R>T14acaÄ@R>TE 0 4 KRJ `chR`cVg@oaU K SQ4e@ J 4 > 0K TV`bV `hv!]D . . . . 0: 1: 2: 3: 4: 5: 6: 7: 8: 9: 10 : 11 : 12 : 13 : 14 : 15 :. g0 ? g0 ? g0 ? g0 ? g0 ? g1 ? g1 ? g1 ? g1 ? g2 ? g2 ? g3 ? g3 ? g4 ? g4 ? g5 ?. x=1 y=1 p0=x>0 g1=p0 g2=not p0 x=y+1 p1=x>1 g3=p1 g4=not p1 y=x+2 g4=true y=x+3 g5=true x=y+4 g5=true x=x+y. (a) original. ` hBA J 4´] " <ª465@ J $ " /10 4T±AQVUEL` K V> K P4 J @BE?` K VQ>`cVëE 0 4®>}@o54a KDK P . ïÄï ú'&)(6ÿ ýþÿ. 0: 1: 2: 3: 4: 5: 6: 7: 8: 9: 10 : 11 : 12 : 13 : 14 : 15 :. g0 ? g0 ? g0 ? g0 ? g0 ? g1 ? g1 ? g1 ? g1 ? g2 ? g2 ? g3 ? g3 ? g4 ? g4 ? g0 ?. x=1 y=1 p0=x>0 g1=p0 g2=not p0 x=y+1 p1=x>1 g3=p1 g4=not p1 y=x+2 g4=true y=x+3 g5=true x=y+4 g5=true x=x+y. (b) improved. /10 4´`b57P J}Kf 46S hRA@ J SQ46S&U K SQ4 ,8 @BVQS . #@ J 4ª@BPQPvac`U @ ac4 `cEL4 J @oEL` K V¨ KRJ 4P J 46U6`c>L46abG hR` 46V¯EÎ K. K VQabGE K E 0 4 K P4 J @BE?` K VQ>.
(75) 8â]. ~± #s. ¨8@BVQS ] J}K 5 @&a KDK P K SvG `c - ¿1 ¨8F
(76) ]Á¡4 @BacAg@oE}4 >;E K E 0 @BE M AQ>?E 54 @BV> ¨ 8S K 5`cVg@oE}4 >5 ]`cVE 0 4e>}@B574e`bE}4 J @BE?` K V @oVSS K 4 >FV K EF54 @BV ¨8e J}K 5 @BVà`bE}4 J @BE?` K V\S K 57`bVg@BEL4 > ]® JLK 5 @oV K E 0 4 J Sv`|4 J 46VE´`cEL4 J @oEL` K V¨ /10 `>#`c>;V K Ee>?A J ². P J c` >?`cVQh 4 U @BA>L4£E 0 4FE J @BSv`cE?` K Vg@oaS K 5`cVg@oVU 4 J 4a±@BE?` K V> 0 `cP @B>L4 S K V®@U K VE JLK a|µ K h J @BP 0 `c>¬@oa> K ab`c5`cE}46S `cVE 0 4F>L@B574ª`bE}4 J @BE?` K V¨ § E©`>P K >L>?` a4tE 0 @BE!E 0 4 J 4ª`>V K S K 5`b² Vg@BVU64 4EÎ14646V EÎ K V K SQ4 >; JLK 5SD`|4 J 4VE;`cEL4 J @oEL` K V> 4 4VàE 0K Ah 0 U K V 4VHE?` K V@Ba S K 5`cVg@BVQU 4´@BVg@oacGH>?`c>tSQ46EL4 J 57`bV4 >TE 0 @BE K V4#V K SQ4´S K 5`cVg@oE}4 >tE 0 4 K E 0 4 J ! !"
(77) e
(78) ""; \ "# \F"
(79) N S@oE @o²ÆSQ46P|46VSv46VU64 0K aSv> 46Eά4 4V®EÎ K³K P|4 J @BEL` K V> 0 4V K V4 K ÀE 0 45 U K 5PQAQEL4 > @oacA46>V4 46SQ4 S G E 0 4 K E 0 4 J Å @BE}@o²ÎSQ4P4VSQ4VU 46>Sv` J 4 U6E?acGeSQ4E}4 J 57`bV41E 0 4T@ @B`ca@ a4 Pg@ J @oaca4ac`c>?5 `bV @7P JLK h J @B5 >?`cVQU 4 E 0 46GSQ4 U`SQ4 E 0 44þCv46U6AQE?` K V KBJ SQ4 J#K K P|4 J @BEL` K V> /ÄK hRAg@ J @BVE}464TE 0 4ª>L45@oVHE?`UTU KRJLJ 4 U6E?V4 >?> K @;P J}K h J @B5 >?U 0 4 SvAvac`cVQheE 0 4 K P4 J @BE?` K VQ> KRJ 4CHE J @RU6E?`cVh³Pg@ J @Baba46ab`>¥5 5 A>?E 0K V KRJ S@BE}@o²ÎSQ4P4VSQ4VU 46> /¨J @BSv`cE?` K Vg@oacacG S@BE @â²ÎSQ4P4VSQ46VQU 4 >¡@ J 4´Sv` `SQ46S&`bVE K E 0QJ 4 4´U6a@R>L>?4 > 8 c ¥xHyÆ{gyxHy y N£V K P4 J @BE?` K V ¥xHyÆ{gy x K V@BV K E 0 4 J¬K P|4 J @BEL` K V7`b¨@ @ J `±@ a4tA>?4 S`bV7E 0 4 KRJ 574 J `>TSQ4QV4 S G®E 0 4#a±@oELE}4 J ]D ¡ ~±¥xHyÆ{gyxHy y N£V K P4 J @BE?` K V uR~±¥xHyÆ{gyx K V @BV K E 0 4 ¡J K P 4 J @BE?` K V `c@ @ J `±@ a4#SQ4QV46S `bV E 0 4# KRJ 54 J `>tAQ>L4 S G®E 0 4#a±@oELE}4 J Ov sDÚ{|sH¥xHyÆ{gyxHy y N£V K P4 J @BE?` K V osH {|sH¥xHyÆ{gyx K V\@BV K E 0 4 J;K P|4 J @BEL` K V`cE 0 4 KBJ 574 J SQ46vV4 > E 0 4´>L@B54 @ J `±@ a4 >t@R>TE 0 4#a±@oELE}4 J § V @RU6E @B> K ac4#5746VEL` K V>ª`cV 8O E 0 4 J 4 S K 4 >ªV K E£4CH`>¥E;@S@BE}@o²ÎSQ4P4VSQ4VU 4 4EÎ14646VEÎ KK P4 J @BE?` K VQ> J 46>?P|4 U6E?` 46acG J}K 5 %y @BVS y) fy 4 SQhR4 > K @U K VSD`cEL` K Vg@Ba J @BVQU 0 >?`cVQU 4¡E 0 46GT`cabaVQ4 4 J 4¡4CD4 UAQE}46S @oE1E 0 4;>}@B574£E?`c574R à4¡±A J E 0 4 J 4þCDEL46VS E 0 `c>t@RU6EF@R> " ð±øÄï3ð÷.
(80) ÆuR~*¡u ~ ow7rtsvuRw?xHyLx ¬ xHy. 8fO. %yw}yày?~ ¯xYuRÆuR¥xHyÆ{gyxHy yy 1y y 1}{gyw?uR~*o %vuR7uRw}y )y Ryw y?Dy sDÎyLxuco %y u
(81) yy?Dy sH~*o7{QuR % § £EÎ K hBAg@ J Sv4 S K P|4 J @oEL` K V>9@ J 4V K E94CD4 UAQE}46S-@Ba K Vh E 0 4&>}@B574®4CD4 UAQEL` K VPg@BE 0 E 0 4V E 0 4EÎ K hBAg@ J Sv> K K E 0 K P|4 J @oEL` K V>¡S K V¨ E´4 @BacAg@oE}4 E K @BE#>L@B54EL`c574R Â AU 0 K P|4 J @oEL` K V>;@ J 4³>}@B`cSE K 4Sv`c> M¥K `bVE à4A>L49@ KDK a4@oV ±AQVUEL` K V - 9 9 7/:91. E K SQ46EL4 J 57`bV4; 0 46E 0 4 J EÎ K hRA@ J SQ46S K P4 J @BE?` K V>ª@ J 4´Sv`> M¥K `cVE `Æ 4R - 9 9 7/ 9 . ¿ ¨"8
(82) g]Á ).0/ 3 ¿ 1¿ 5 ,1¿ ¨8â3Á 45 ,|¿ g]ÁLÁ?Á 4F KRJ 5@BacabG4þCDEL46VSE 0 4;@ Kf 4£S@BE}@o²ÎSQ4P4VSQ4VU 4#SQ4QVQ`bEL` K V>©`bVE 0 4¡hRA@ J SD²Î@t@ J 4 S@BE @â²ÎSQ4P4VSQ46VQU 4@BVg@BabGD>¥`>6 - <$& 1¿ ¨F8
(83) ]Á ) . / 8 ¼H»³º ½ ¸ ¸ & ½ ¸ & p ¸ q 1¿ ] À8âÁ ¿
(84) 9 ¿ ¨8fÁ - ¿ ]RÁ ) 3Á - 9 9 7/ 9 . 1¿ ¨F8
(85) ]RÁ. - . 9L¿1 ¨8F
(86) ]Á ).0/ ]D i & l (º ½ ¸ ¸ & ½ ¸ & p ¸ q 1¿ ] À 8âÁ ¿ ¿1 ¨8âÁ
(87) 9 ¿ g]Á) Á3 - 9 9 7/ 9 . ¿1 ¨8F
(88) ]RÁ Ov ¨l ¨l º ½ ¸¸ & ½ ¸ & p ¸ q - ¿ ¨8"
(89) g]Á ).0/ 1¿ ] À8âÁ ¿ - ¿1 ¨8âÁ - ¿ ]RÁ) Á - 9 9 7/ 9 . ¿1 ¨8F
(90) ]RÁ 0 4 J 4¿ ] ¨8âÁ J 4P J 46>L46VEL>7E 0 @BE7@BV4þCD4 U6AvEL` K V`cVv`cEL`@BEL` K V KBJ ] `>³4 @ J ab`4 J 0E @BV E 0 @BE´ KRJ ¨8 @R>#5746VEL` K V46S@ Kf 4B /10 49±AQVU6E?` K V
(91) 9 J 4ELA J V>eE 0 4>L46E K @Baca @ J `±@ a4 >TA>?4 S¨¿ J 4 @RSgÁª`bV @oV K P|4 J @BEL` K V @BVS E 0 4´±AQVU6E?` K V - J 46E?A J VQ>£E 0 4>?46E K @oaca @ J `±@ a4 >TSv46QV46S¨¿ J `cE?E}46VgÁt`bV @BV K P4 J @BE?` K V¨ <ª46E?A J VE K E 0 44Cv@B5PQa4B /10 4 K P|4 J @BEL` K V gZv¿ ( ) «]Á K AQaS 0 @ 4 SQ46P|46VSv4 S K V g^v¿ # ) ¢8âÁ´`bT14 0 @BS V K EE}@$4VE}@$4`bVE K @RU6U K AvVHE³E 0 4 4|4 U6EL> K ¤E 0 4´hRAg@ J SQ> £K ¬4 4 J - 9 9 78:91. 1¿ ^
(92) gZYÁ 3 ¿ 1¿ 5 ,1¿ ^3Á 5 ,¿ gZÁLÁLÁ 3 ¿ 1?¿ ¿ #LÁ ' ¿ "þÁ?ÁLÁ 3 ¿ 1¿ Á?Á ^F@BVS gZ;@ J 4©Sv`> M¥K `cVE @BVS E 0 A> gZF`c>ÄV K ES@BE}@o²ÎSv46P|46VSQ4VE K V ^D KRJ 4 Kf 4 J 14tU @BV9SQ46SvAU 4tE 0 @BE "@oV"S @ J 41@Ba> K Sv`> M¥K `cVE @BVQSE 0 A>E 0 4 K P|4 J @BEL` K V>ÄhRAg@ J SQ4 S ïÄï ú'&)(6ÿ ýþÿ.
(93) ~± #s. 8. G TS K V K EªSQ4P4VS K V®E 0K >L4#hRAg@ J SQ46S G " KRJ E 0 4#>L@B574 J 4 @R> K V E 0 4 J 4;`c>1V K S@BE @â²ÎSQ4P4VSQ46VQU 4 4EÎ14646V E 0 4 K P|4 J @BEL` K V>thBAg@ J Sv4 S G F@BVQS&E 0K >?4ehBAg@ J Sv4 S G
(94) f JLK 5 E 0 `>¨4þCv@B57Pva4 ¬4!U@BVe>?4 4E 0 4hBAg@ J SH²@t@ J 4!@BVg@oacGH>?`c> KRJ S@oE @o²ÆSQ46P|46VSv46VU64 > 0 @R>&4 |4 UEL` 46abGh K E J `S K @ëa@ J hR4 VHAv5 4 JK SQ@BE @o²ÆSQ46P|46VQSQ46VU64 > 4EÎ14646V E 0 4 Sv`> M¥K `cVE K P|4 J @oEL` K V> /10 @BE T`bacaP J}Kf `SQ495 KBJ 4 K PQP KRJ E?AQVQ`cE?`46>; KRJ 4þCHPQa K `bEL`bVh@BVS 4CHE J @RU6E?`cVh³Pg@ J @Bacac46ab`>?5°`bV hBAg@ J Sv4 SU K SQ4R <ª465@ J $ " § E®`>V K E®P K >?>?` a4E K >¥E @BE?`U @BacabGSv46E}4 J 5`cV4 EÎ KK P4 J @BE?` K VQ> J}K 5 Sv` |4 J 46VEa KHK P`bE}4 J @BE?` K V>@ J 41Sv`> M¥K `cVE 4 4V7E 0K Ah 0 E 0 4G³@ J 4 $HV K TV9E K 4TSv`c> M¥K `bVE `cV E 0 4>}@o54`cE}4 J @BE?` K VÀ 4VU 4 0 46V¯E 0 47±AQVU6E?` K V - 9 9 7/ 9 . `> @BPQPQab`46SE K E 0 4 K P4 J @BE?` K VQ>Ä JLK 5 Sv` |4 J 46VE`bE}4 J @BE?` K V> `bE}> @oacA4 0 @R>ÄE K 41U K V>L4 JL @BE?` 4acGe>?AvPQP K >L4 S E K 4 $:9 `bV KRJ SQ4 J E K hRAg@ J @BVE}4641E 0 41U KRJ?J 4 UEL` K V K E 0 4t>?E}@BEL`cUthRAg@ J SD²@1@ J 41S@BE @â² SQ46P|46VSv46VU64@BVg@oacGH>?`c> ! !"
(95) e - 2. 2 "
(96) /10 4tV K E?` K V K w}yLuH %H~± xHy
(97) !~±~*o U K VQU 4 J V> 0 46E 0 4 J @;SQ4QVQ`cE?` K V³`bV@BV K P|4 J @BEL` K V U@BV J 4 @RU 0 > K 574P K `cVE K @P JLK h J @o5 Ã K V 4VHE?` K V@BacabG @ @BabA4 K @ @ J `@ a4 SQ46QVQ4 S `cV @BV K P|4 J @BEL` K V ¨87U@BV J 4@RU 0 @oV K E 0 4 JK P4 J @BE?` K V ]®`ctE 0 `> @ J `@ a4 `>tV K E J 4 SQ4QV4 S@Ba K Vh@BV4þCD4 U6AvEL` K V Pg@oE 0 J}K 5 ¨8#E K ] J 464 J @BV 4Cv@B5PQac4´`bV 88)* à4 J 46P J 4 >?46VE;E 0 4 w}yLuH %H~± &xH
(98) y !~±~*o `cVE 0 4eP J 46>L4VU 4 K hRAg@ J SQ4 S U K SQ4 G @ KHK a4 @BV®±AQVUEL` K V ¿ ÀF8
(99) ]Á ).0/ ¿ ¨8 ]Á \¿ - ¿ À8âÁ) Á 9?$&$¿1 ¨8F
(100) ]Á 0 4 J 4ªE 0 4F@RSQSv`bEL` K Vg@BavU K VSD`cEL` K V&¿ - 1¿ ¨8âÁ) Á¤`>AQ>L4 S9E K hRA@ J @BVEL4 4TE 0 @oEE 0 4 J 4 J K 0 K J K 1 / 0 `>t@ @ `±@ a4FSQ46QVv`cEL` V`bVE 4 P4 @BE?` VÀ 4 KDK a4@oV±AQVUEL` K V 9?$&$ J 46P J 4 >?46VE}> 0 46E 0 4 J£KRJ V K E£@ @ J `@ a4¡SQ46QVv`cEL` K V&`cV À8´ K AQacS 4 $`cacac4 S G&> K 54 K P|4 J @BEL` K V 4EÎ14646V À8;@BVS ]HN @ J `±@ ac4ªSQ46QVv`cEL` K V`bV ¨8¡`c> $`caba46S 46 KRJ 4 J 4@RU 0 `bVh ] %y¯ % y RsQuRw?x }{ )y ou svuRy 7Î\wsy ´ %yw}y~ f
(101) y }{gyw?uR~*o y 1y y®}{ uRx} { %vuR 1os Òx´w}yLxH
(102) y !yt %H~ ouRwþ~u cy ¤uRx´~± RsQuRw?x u ©u )y ou sQuRÎy ´Îwþsy .
(103) .
(104) 6. . . ð±øÄï3ð÷.
(105) ÆuR~*¡u ~ ow7rtsvuRw?xHyLx ¬ xHy. 8â^.  AQPQP K >L4 )* $:9 91$&$¥¿ À8F
(106) ]Á ).0/ 3 ¿ 5 ,¿1 ¨8âÁ7 5 ,¿1 Á¿1 ¨8 ]Á ¿ - ¿ Á - ¿ ¨8fÁ ) Á Á N >?`b57`ba±@ J w}yLuH %H~± xH
(107) y !~±~*o P J}K P K >?4 S`bV g`>¬E 0 @BE©E 0 4 @ J `@ a4ªSQ4QVQ`bEL` K V> `cV @ hRAg@ J SQ46S K P4 J @BE?` K VU @BV J 4 @RU 0 > K 574 P K `cVE`cV@¯hBAg@ J Sv4 S U K SQ4 0 4V E 0 4 hRAg@ J S K ¤E 0 4 K P4 J @BE?` K V&4 @BacAg@oE}4 >TE K @BVS&574@BV 0 `ba4#@BabaÀE 0 4ehBAg@ J Sv> K ¤E 0 4 K P4 J @BE?` K VQ>3E 0 @BE¤ K AvaS J 4 SQ4QV41E 0 4 @ J `±@ a4!4 @BabAg@BE}4!E K $:9 KRJ E 0 4¬4Cv@B5PQa4
(108) .
(109)
(110) . E 0 4 @oacA4 K @ J `@ a4 SQ4QV4 S `bV gd U @BV J 4 @RU 0 Z K VQabG\ 0 46V 4 @BabAg@BE}46> E K @oVS /e4 @oacAg@BEL4 >E K $69 4 J 4 E 0 4®¦AQ4 >?E?` K V¯`c> 0K %E K SQ46EL4 J 57`bV4 >?E @oEL`U @BacabGëE 0 @oEE 0 4 @oacA4 K ¿ #LÁ `Æ 4R°¿ Á `> KRJ $:9 § V@RUE E 0 `c>³`>9@BVAQVSQ46U6`cS@ ac4&P J}K ac465 @BEU K 5PQ`cac4EL`b544 4V-`cF¬4 0 @RSE 0 4 >L465@BVEL`cU >ª>L4Eª KRJ E 0 4´hRA@ J SQ>6 à K 57Pg@ J 4 ST`cE 0K A J w}yLuH %H~± 9xHy
(111) !~±~*o E 0 4 @BabA4 K `cV dU@oV J 4 @RU 0 gZ `c #1S K 46>tV K EF@Babt@GH>T4 @BabAg@BE}4;E K 0 `cac4 ª4 @BacA@BE}46>tE K /10 `>t`c5PQab`4 > E 0 @BE9E 0 4 J 44CH`c>?E}>7@\Pg@BE 0 ¿ 0 4. V / `> $:9 Á9> K E 0 @BE7E 0 `> @BabA4 K U @BVµ K 0E QJLK Ah 0 ^®@BVS J 4 @RU 0 gZv /10 `> K ` K A>?abG\@Rh J 4 46>´T`bE 0 E 0 4 KRJ `chR`cVg@oa w}yLuH %H~± xH
(112) y !~±~*o à K V 4 J >L4acG `b /¤@oac1@fGH>4 @BacAg@oE}4 >¤E K 0 `ca4 ( 4 @BacAg@oE}4 >¤E K E 0 `c>;`c5PQac`c4 >£E 0 @BE ^P K >?E?²ÆS K 5`cVg@oE}4 > gdD § VàE 0 `>#U @R>L4 E 0 4 @BacAQ4 K `cV gd T`cacaSQ46vVQ`cEL46acG 4 $`caba4 S G ^`cVà@BVG U@R>?4 @BVS E 0 4 J 46 KBJ 49U@BV V K E J 4@RU 0 gZD KRJ 4 Kf 4 J `cE©`>¬@ SQ46U6`cS@ ac4£P JLK a45°E K U 0 4 % U $ 0 46E 0 4 J @a K hR`U @BaQP JLK P K >?`bEL` K V`>¬@ K K B K J K K f K E @BAQE a hRG V E @B>ª5746VE?` V46S@ 4R 4 J 4 ¬4 0 @ 4 9?$&$1¿ gd
(113) gZYÁ 3 ?¿ ¿ ( þÁ 7 ¿ #LÁLÁ 3 ¿ 7 þÁ $:9 . ïÄï ú'&)(6ÿ ýþÿ.
(114) ~± #s. 8!. E 0 4 B@ abA4 K `cV' gd E 0 A>ªU@oV J 4@RU 0 gZv § VU K VHE J @R>¥E E 0 `> @BabA4;U @BV®V K E J 4@RU 0 E 0 4#a±@B>?E K P|4 J @BEL` K V' À8â^>?`cVQU 4 91$&$¥¿ d
(115) ¨8â^Á 3 ?¿ ¿ þÁ 7 ( ¿ #?Á
(116) ¿
(117) þÁ Á 3 ¿ 7
(118) ¿ LÁ Á § VE 0 4V4CHE>¥A >?4 U6E?` K V ¬4 AvEL`cab`64&E 0 4 EÎ K ±AQVQU6EL` K V> @BVS ?9 $&$;E K SQ46QVQ4eE 0 4´hRAg@ J SD²@1@ J 4#S@oE @o²*µ K 4 ¦YAg@oEL` K V> . " " 146 KRJ 4´hR` `cVQh E 0 4´hRA@ J SD²Î@t@ J 4´S@BE @â²Æµ K 4 ¦YAg@BE?` K V> 14 J 46U@BabaÀE 0 4eU K V 4VHE?` K V@Ba 4 ¦YAg@BE?` K Vë KRJ S@BE @â²Æµ K %@BVg@BabGH>?`>6 /10 4`cVQ KBJ 5@BEL` K V3¿ KBJ `cV>¥E @BVU64 @ J `@ ac4SQ4v² VQ`cE?` K V>}Á J 4@RU 0 `bVh®E 0 4³4VS K ¬@ @R>?`cU a K U%$ `c>;E 0 @oE;`cVQ KBJ 5@BEL` K V 0 `cU 0 `c>;46`bE 0 4 J h46V4 J @BEL4 S¯T`cE 0 `cV¯E 0 4 a K %U $ KRJ 4VHEL4 J >E 0 4 46hR`cVQVv`cVh AQE³`c>³V K E $`caba4 S G E 0 4 a K %U $ /10 4 KRJ 5@Ba14CHP J 46>L>¥` K V K ¡E 0 `>9>?E}@BE}454VHE`>E 0 4& K aca K T`bVh ¬46acaÒ² $V K TV S@BE @â²Æµ K 4 ¦YAg@BE?` K V )8 ¿ Á ) . / 5 .¿ Á \ ¿ /. ¿ ³ Á 9?$&$¿ ÁLÁ
(119) ¿ Á "´E 0 4>L46E K 1@Baca K P4 J @BE?` K VQ>; 0K >L4 @ J `@ a4 SQ46QVv`cEL` K V>´U@oV J 4@RU 0 E 0 4´4VS K . . . . . .
(120) . . 5 . ¿³Á "FE 0 4³>?46E K !E 0 4 K P 4 J @BE?` K VQ>¡`cV 0 K ?> 4 @ J `@ a4SQ46vVQ`cE?` K V>#U @BV J 4 @RU 0 E 0 4´46VS K
(121).
(122) /.¿Á. "tE 0 4 >?46E K @Baca K P|4 J @BEL` K V>ª 0 K ?> 4 @ J `@ a4´SQ4QVQ`bEL` K V>£4VE}4 J @BE£E 0 4. 46hR`cVvVQ`cVh K .
(123) 9?$&$ ¿ ³Á. "E 0 4e>?46E K ÄE 0 4 K P|4 J @BEL` K V>t`cV/.¿ ³Á¬ 0K >?4 @ J `±@ a4;SQ4QVQ`bEL` K V> J@ 4 $`baca46S G > è6ÛQã×âÜÀÙ*ÝÜ|èEÝ}ò6èØÚéfØÚú CÄãè è DtÝú æ!úfè6ãÝãØäè6úâÙ?ùþã×âÜ0EÒçâúâÞãØè ú¬úoÝD1Ü?ÙÞ?Ýú1êoܨè ò6Ü?Ûåè ÝéfÜLé×fÜ?ÛÜû. ð±øÄï3ð÷.
(124) ÆuR~*¡u ~ ow7rtsvuRw?xHyLx ¬ xHy. 8â[. § V E 0 4U K VHEL4CHE K !hRAg@ J SQ46S U K Sv4 @ @B>?`U a K U%$> 0K AQacS 49@5@oCH`b5@BaÄ>?46E K U K V>?4 UAQEL` 4FhRAg@ J SQ4 S K P|4 J @oEL` K V>T`cE 0K V4ª46VE J GP K `cVE©@BVS K VQ4F4þCH`cEP K `cVE 0 `U 0 `>£@> K ²ÆU@Baba46ShRAg@ J SQ46S a K U%$ ¾ ` 46V\>¥AU 0 @7hRAg@ J SQ46S a K U%$5 ¬4³U@BV K E @B`bV E 0 4 @ J `±@ ac4¡SQ4QVQ`bEL` K V> J 4 @RU 0 `bVhE 0 4#4VS K 3E 0 4#hRA@ J SQ46S a K U%$ `@ E 0 4´@BV@BacGH>?`c> K ¬E 0 4 w}yLuH %H~± xH
(125) y !~±~*o P J 4 >?46VE}46Sà`bV E 0 4P J 4 ` K AQ>e>¥A >?4 U6E?` K VÀ  AQPQP K >L4 .<, `>t@ ` J E?Ag@Ba|465PQEÎG K P4 J @BE?` K V7E K J 46P J 4 >L4VETE 0 4;4VSP K `cVE K 5 .<,³`>©E 0 A>1E 0 4 >?AU6U 4 >?> KRJ1K E 0 4Ta±@B>?E K P|4 J @BEL` K V9`cV 5 7 / @ a4ªO´hR` 4 >E 0 4FhBAg@ J SH²@t@ J 4ªS@BE}@o²Æµ K 4 ¦YAg@BE?` K V>6 / @ a 4eO" ¾ Ag@ J SD²@1@ J 4#S@oE @o²*µ K 4 ¦YAg@oEL` K V> ¿65 Á ) . / 5 .¿ 5 ³Á ¿ /.¿ 5 ³Á 91$2$¿65 ³Á?Á 0 4 J 4 5 .¿65 ³Á ).0/ |¿1 5 ³Á ¿
(126) <. ,DÁ /.6¿ 5 Á ).0/
(127) . ¿ Á 91$2$¿65 ³Á. ).0/. ¿1 /.¿ 5 ³Á?Á 9?$&$¿1
(128) .<,DÁ . 1/ 0 4#hRAg@ J SQ4 S®U K SQ4£`cVE 0 4;4Cv@B5PQac4 K `chQ18; KBJ 57>t@ hRA@ J SQ46S a K U%$ 5 7 § E}> 5 .¿ 5 ³Á1`> 8F
(129) £]
(130) FO
(131)
(132) !
(133) £[
(134) #
(135) FZ
(136) ´8fd
(137) #8R8 >?`cVQU 41E 0 4tSQ4QVQ`cE?` K VQ> K @ J `@ ac4 `cV K P4 J @BE?` K V>d ^ 8O;@ J 4 $H`bacac4 S 46 KBJ 4 J 4@RU 0 `bVh E 0 4#4VS K ÄE 0 4 a K U%$ /10 4;QVg@oa ¿ 5 ³Á!`c>T>}@B574#@R>TE 0 45 .¿ 5 ³Á 4 U@oA>L4#`cEL> 8.¿ 5 ³Á¬`>T457PvEÎG NFV®`c5P KBJ E @oVHE1@BPQPvac`U @BEL` K V K ÄS@BE @â²Æµ K 4 ¦YAg@oEL` K V>1`>¬E K @BV@BacG 4£ac` 4² @ J `±@ a4 J @BVhR4 > KRJJ 46hR`>¥E}4 J @Baca K U @BEL` K V¨ à4 46ac`c4 4 E 0 4\@ Kâ 4 hRAg@ J SD²Î@f1@ J 4 S@BE}@o²Æµ K @BVg@BabGD>¥`>¡ K AQacS\ KRJ 5 @BV 4 >L>?46VEL`@Ba @R>?4 KRJ SQ4 46a K PQ`bVh®hRAg@ J SD²@1@ J 4 J 4 hR`c>?E}4 J @BaÒ² a K U@BE?` K VEL4 U 0 Vv`¦YA4 >6. ïÄï ú'&)(6ÿ ýþÿ.
(138) 8#. ~± #s. $ \£ \ § VE 0 `>Pg@BP|4 J ¬4 0 @ 4®P J 4 >L4VE}4 S@ >?E}@BEL`cU>L45@BVE?`U >`bVQ4 J 46VU64546U 0 @BVQ`c>?5 E K U@BPQE?A J 4E 0 4 >L45@BVE?`U >`cVQ KBJ 5@BEL` K V K VhRA@ J SQ> 0 `U 0 P J}Kf `SQ46>®@ AvVQ`c46S J @â² 54 KRJ $E K SQ4 46a K PàE 0 4³hRAg@ J SD²@1@ J 49@oVg@BacGH>¥`>¡EL4 U 0 VQ`c¦YA4 > >¥AU 0 @R>#U K VE J}K aµ K @BVg@BabGD>¥`> S@oE @Sv46P|46VSQ4VU 4e@BV@BacGH>?`c>1@oVSS@BE}@eµ K @BVg@oacGH>?`c> /10 46>L4#hRA@ J SD²Î@t@ J 4 @BVg@BabGD>?4 >FP J}Kf `SQ4eE 0 4 4 >L>?46VEL`@BaÄ`cVQ KRJ 5@oEL` K VE K >¥AQPQP KRJ E K PQEL`b57`6`cVQh9@BVSPg@ J @Baba4² ac` `cVh U K 5PQ`ca@BEL` K VEL4 U 0 Vv`¦YA4 > K VP J}K U 46>L> KRJ >ªT`cE 0 hBAg@ J Sv4 S4CD4 UAQEL` K V¨ ¾ Ag@ J SQ4 S&4þCv46U6AQE?` K V@RUELAg@BabacG9P JLKâ `cSQ4 >T5 KRJ 4 K PQP KBJ ELAvVQ`cE?`4 >1@BVS&h J 4@BEL4 J µ4þCD`Ò² `cab`cEÎGë KRJ P J}K h J @B5 K PQE?`c5` @oEL` K V¨ § V±AvELA J 4 KRJ $ ¬4 `cVE}4VS-E K Sv4 4a K PE 0 4 K PQEL`b57`@BE?` K V7E}46U 0 VQ`¦YA46>£46>?P|4 U`±@BabacG KBJ hRAg@ J SQ4 SU K SQ4R. ® 2 "#9" "# /10 4@BAQE 0QKRJ K AQaS\ab`$4E K E 0 @oV $ à 0QJ `>?E?`cV4 `c>L4V 46`c>e@BVS J @BVU K `> /10K 5@R>L>?46E KRJ E 0 4` J `cVQ>?`h 0 E?±AQa!U K 575746VE}>e@BVQS>?AQhh4 >¥EL` K V>´ 0 `U 0 `c5P J}Kf 46S E 0 4¦A@Bac`bEÎG K E 0 `c>Pg@BP|4 J /10 4 @BAQE 0KRJ K AQacS @Ba> K ac` $4E K E 0 @BV $ ¾ @oVh à 0 46V @BVS &`U 0 @R4a. `c4 46abE© KBJ E 0 46` J >¥AQPQP KRJ E¬`cV7E 0 4F KRJ $  P46U6`@BagE 0 @BV$D>©E K <ª`cU 0 @ J S_@B574 >¬ KBJ E 0 4 U KRJ?J 4 UEL` K V K VhBac`> 0 @BAQacEL> . ";"#"# \ª"# 8´N N 0K <e  46E 0 ` @oVS7_v Å Facab5@oV¨ ¬
(139) £{|~ cyw
(140) wþ~±~{ cyy %H~ sy uR x f N¡SQSD`> K V à4 >¥a46G 8fZ ##! ] _vä<´N£aba4V 4VQV46SvG RÃ I¤KRJ E}44 S @BVS _v @ JLJ 46V¨ Ã K V 4 J >?` K V K vU K VE J}K a SQ46P|46VSv46VU64´E K S@oE @ SQ4P4VSQ4VU 4B § V w}f y yLxR~± ´¡ %y o %
(141) £{go ~±s
(142) o wþ~±~{ cy w} RwLu
(143)
(144) ³~± ÄuR Rsvu Hy Pg@Rh46>78f[[8 # Z _@BVAg@ J G 8fZ # Ov O _v à Š4 0 V4 J E@BVS<´N /ÄK Tac4R à K 5PQ`bac`cVQh KRJ E 0 4 à GHS J @à^D osHwþuF sf{gyw}
(145) £{|sH~± R [D¿? 8 ]R)Á "Ò8 # 8 v]R][ @G 8fZZOv. ð±øÄï3ð÷.
(146) ÆuR~*¡u ~ ow7rtsvuRw?xHyLx ¬ xHy ´N ` U 0 4V 4 J h4 J @BVS. 8fZ. Â Å @ `SQ> K V¨T<ª4 hB`>?EL4 J @Baca K U @BEL` K V KRJ P J 4 Sv`cU@BEL4 S U K SQ4R § V w}f y yLxR~± à %y % ¡sQuÎywuR~*ou
(147) £{g ~±s
(148) o ~*w} uRw} %H~±y sHw y P@Rh4 >´8 # d 8fZv8 Kf 465 4 J 8fZZY^H ^ Å à ¾ `cacab`46> Å <e|_BA <e_ KR0 V> K V @BVS à Â U 0 a@BV> $R4 J ¾ a K @Ba3P J 4 Sv`cU@BEL4 @BVg@BabGD>¥`>e@BVS `cEL> @BPvPQac`cU@BE?` K V\E K J 46hR`>¥E}4 J @oaca K U@oEL` K V¨ § V w}f y yLxR~± %y R % ¡svuþywþuR~*ou
(149) £{g ~±s
(150) o ~*w} uRw} %H~±Îy sHw}y Pg@Rh46>88 8â]^ Å 46U 45 4 J 8fZZ ! ! _v FKDK h4 J J AhRh4F@BVS YNFAhRA>¥E}46` M V¨ § V>¥E J AU6E?` K V  U 0 4 SDAQac`bVhe KBJ1/1J ` 46Sv`±@D osHwþu wþsg~*o ¤)y R)y uRwLu c)y ~
(151) ³ 8 4 J Ag@ J G\8fZZRZv [ e<e_ KR0 V> K V @BVQS à Â U 0 a±@oV> $R4 J £N£Vg@oacGH>?`c>£E}46U 0 VQ`c¦AQ4 >¡ KRJ P J 4 Sv`cU@BEL4 S U K SQ4B § V w f y yLxR~± 9 e %y R % ¡sQu ÎywþuR~*ou
(152) £{g ~±s
Documents relatifs
Dans chaque ville et pour toutes les lignes de tramway considérées, il faudrait disposer des trafics avant et après ouverture d’une ligne et de plusieurs projections d’évolution
Le fait d’écrire à partir d’une oeuvre d’art visuelle ressemble à une forme de contrainte; nous croyons par ailleurs que cette pratique a eu un effet durable sur l’écriture
variables d'ordre psychologique: soit f.amiliale ou personnelle, soit so- ciale, soit professionnelle, soit une combinaison de ces facteurs. Ce patient a récupéré
For the two coolest objects in Figure 3.6, HD 4539 and PG 1716+426, both at Ta < 27, 000 K, there is a good match between the predicted synthetic spectra and the FUSE data: the
lui inculquer le registre li'lquistioue, les l1abitudes alimen- taires et vestimentaires ainsi que le comportement des bour- geois de Québec. Pierrette Paul doit
La conciliation emploi-famille : des mesures à développer dans les milieux de travail Tableau 4 : Les dispositions favorisant la conciliation travailfamille dans les
Figure 2.4 Predicted (continuous lines) and observed values (filled circles: stands aged from trees with root collar; open circles: stands aged from trees without root collar)
Cette posture permet de dégager deux idées centrales : le poids des milieux professionnels locaux dans l’intermédiation et le transit des idées, modèles et pratiques
