User Guide to the CTCOQ Proof Environment
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. User Guide to the. . Proof Environment. J. Bertot, Y. Bertot, Y. Coscoy, H. Goguen, and F. Montagnac. N˚ 0210 Octobre 1997. THÈME 2. ISSN 0249-0803. apport technique.
(3)
(4)
(5) !#"%$'&)(* +,-&/.01&- 2,3547698;:=<>:@?,AB3C476D8 :E<>:D?,AF3HG7<JI;KD<MLJ?HNO35P<>QJR6DSHT'?5U>SVXW735YX<JSZ:EU>QJSCU>K []\_^E`abcedgfEhZija!kjl@mMijnEijaEk aEo-nqpDkjnErZkHsut>`vl@kwijxyr_a z1{+lD|}aEo7~##)z )pDZl@{uoo+a n+\ZhZijxr_a*h MbJqc7nEo+l@vZ{+aOqMcMpDma s. q9Z7Hg ¡ ijs-pmM{ pDZ\ZijnqpDkHaEhy¢>iw{+l@hZ`aEhyo7o+laE{}£¤l@{u`¥Z{+l>lD£¤s#iwh¦~lx,§ ¨©ª«+¬ 9®¯7Hg ¡1° ~lx ° Z{+llD£sutJsuo+aE`. ÂÃ5ÄÆŸÇgÈÀÉDÊ9ÊMË;ÌÀÅCÍÎ̸Ë=ÏÑÐÒÔÓ. ±³²H´¶µ¸·q¹#´»º½¼³µ¸¾À¿ Á. Unité de recherche INRIA Sophia Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA ANTIPOLIS Cedex (France) Téléphone : 04 93 65 77 77 – international : +33 4 93 65 77 77 – Fax : 04 93 65 77 65 – international : +33 4 93 65 77 65.
(6) / +
(7) / *, +]1 O- 1 &)(* +,-&/&1.01&-
(8) /1 (# .
(9) . /7Hg ¡ a s+orZhaEhy¢>iw{+l@hZh_aE`aEhyog,l@rZ{#aCa nEour_aE{ Za sZ{+aErZ¢a s)aEh~l>x§ q « "! 7Hg ¡1° ~lx ° sutJsuo+^E`a#Za!Z{+aErZ¢a. .
(10) g5! ½¡
(11) ) &#,1&#, q ® ½M ! ©C© Ô bJ§w o pD{uouiwhZmOou\_a \_l@kja tJsuo+aE` §!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§ b ! JiwouiwhZmBpDh "> aEh JiwhZm ~l@``OpDh Zs §*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§ zaE{}£¤l@{u`iwhZmdglpDk$7# iw{+a nEo+a z{+l>lD£¤s §*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§ % & {+l(#' suiwhZmou\Z{+l@rZmM\ou\_a*[]\_a l@{+aE`)#gpDo pDvp@s a §*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§+* , lq¢>iwhZm.- pDkwr_a s-){+l@rZh §!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§ )/ h Zl@iwhZmpsuo+aE§!§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§ z{+l>lD£1¸0 vt0 zl@iwhyouiwhZm ~l@houiwhyr_a §§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§+2 o+l@{uiwhZmOou\_a![]\_a l@{+aE` §*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§ 7# ijsuZk p t>iwhZmou\_a*z1{+llD£1[HaJ3 o §*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§wq -aEou{ p@nEiwhZml@rZ{-suo+aE_sB§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ bJ§wM4 { pDZZiwhZmOiwo-pDkwkHrZ §!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ 5 6 ® >¬7 q H H © J§w []\_a9' iwh Zl#' s)lD£ ~»o;~lx §!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ b d7{+l@rZ_s)lD£:' iwh Zl#' s §!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ ou\_a<;>=@?A= ' iwh Zl(' §*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ % ¦, rZkwouiwZkja*z{+l>lD£¤siwh¦z{+l@mM{+a s+s §!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ _% §w Jiwouijl@hpDkHz{+l>lD£B iwh Zl#' sg§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ _% § b \_l@{uo+n l@`iwhZms-lD£ ou\_a¦, rZkwouiwZkja*z{+l>lD£¤s¦, a n \pDhZijsu` §!§*§§!§*§!§ J§+* ! {u{+l@{ ¦, a s+s;pDma s#pDh ¦~lx l@rZouZrZoB§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ C D ½ !EEF HG ® ®: HGJI LK I ®½ _% §w gM p ¢>iwmypDouiwhZmOiwhsuou{ur_nEourZ{+a o+a>3 o §§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ _% §wM§w gM p ¢>iwmypDouijl@hON aEt>s/§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ _% §wM§ b \Z{uiwhP>N iwhZmpDh aJ3 pDh JiwhZm§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ _% §wM§ []\_agmypDkwkwiwhps+rZvR¸0 k pDhZmMrpDma!§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ _% § b _S l@{u` rZk p@s7pDh ¦~l@``OpDh ZsT! JiwouiwhZm §*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ _% § bJ§w !U aEt>v,lpD{ ~l@hou{+l@kwkja "! JiwouiwhZmB~l@``OpDh Zs §!§*§!§*§!§*§§!§*§!§ _% § bJ§ b , aEhyrd7rZi Za V! JiwouiwhZm §§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ _% § bJ§ WBX Y<Y.? Z
(12) ~l@t0 z p@suo+a[ \_l@{uo+nErZo%§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ _% § bJ§ % \ ~l@tpDh zp@s+o+a §*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ _% § bJ§+* & rZms-pDh nqpq¢aqpDo+s'§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ _% § bJ§ ¶] hR0 zk p@n a*[HaJ3 o! JiwouiwhZm §§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ ^>_a`cbde(fgd. i. . . b %. *. . 8. 2. . q q M qb qb. 5. q q Q% Q% Q%. (* (* q q Ô Ô .
(13) iwi. . =@X = =@X = WBX
(14) X X Z>=@? Z>? . %_§ bJ§ ~ l@``aEhyo+s§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ ( 2 %_§ bJ§+2 &Zr ms-pDh nqpq¢aqpDo+s'§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ q . 6. 4. %_§ !#"%$'&(*)+!,-)/.0)++,132 §!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ T © 5 HG ® J* §w 7- ijaQ' iwhZmou\_a ~l@hyo+a3Jo§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* §wM§w \_l@{uo+nErZo+s §*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* §wM§ b 7/ suiwhZmou\_agkjlnqpDk½n l@hyo+aJ3 o-lD£pmlpDk §!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* §wM§ !U a aEZiwhZm ~]pD{uvl@h~l@Zija s §!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* §wM§ % & {+l(#' suiwhZmOou\_a!hpDourZ{ pDk5k pDhZmMrpDma*Z{+a s aEhyo pDouijl@h¦lD£ Z{+l>lD£¤s§§!§*§!§ J* § b -a n l@{ JiwhZmn l@``OpDh Zs§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* § bJ§w > nE{uiwZo#`OpDhpDmaE`aEho)vp@suijngZ{uiwh_nEiwZkja sB§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* § bJ§ b & p@suijn9]& aE\p ¢>ijl@{ §!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* § bJ§ & r aE{uiwhZmB~l@``OpDh Zs §!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* § bJ§ % )/ h Zl@iwhZm §!§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* § bJ§+* )v,l@{uouiwhZm §*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* § bJ§ -a s aEououiwhZm §*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* § bJ§ ! Z3 a nErZouiwhZmpn l@``OpDh O' iwou\ o+a>3 ourpDkC£¤{ pDmM`aEhyo+s §!§*§!§*§§!§*§!§ J* § bJ§+2 ! Z3 a nErZouiwhZmOs+aE¢aE{ pDkHn l@``OpDh Zs-iwh l@h_a!iwho+aE{ p@nEouijl@h §*§!§*§§!§*§!§ J* § bJ§ )rZo+l@`OpDouijn Zliwo#§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J* § bJ§wq ! Z3 a nErZouiwhZmp[' \_l@kja' iwh Zl' §*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ *J§ bJ§wM-a Jr_nEiwhZmOou\_a!sui5qa!lD£ou\_as+nE{uiwZo §*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ I ' ®87 © © DJ J§w z{+l>lD£vytBz½l@iwhouiwhZm§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ b zl@iwhyo!pDh V \_ll@o §*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ [Hl@ZkjaE¢aEkdgaEh_aE{ pDo+a ~l@``OpDh Zs §!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ % 7# { pDm ¶0 pDh 0 J{+l@)aQ' {uiwo+a§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§+* []\_a Za=£¸pDrZkwo#vaE\p ¢>ijl@{ §*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ ! J3 o+aEh JiwhZmOou\_a J{ pDm ¶0 pDh 0 J{+l@¦`a n+\pDhZijsu` §!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ J§w )ha Jiwo+l@{£¤l@{J{ pDm ¶0 pDh 0 J{+l@{urZkja s§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ J§ b > aEkja nEouiwhZmp{urZkja!n l@kwkja nEouijl@h §*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ J§ JiwhZmp/h_aQ' {urZkja §*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ J§ % ! JiwouiwhZm{urZkja*pDouo+aE{uh_s§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ J§+* ! JiwouiwhZmou\_an l@``OpDh §§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ J§ ~»\pDhZmMiwhZmou\_a*l@{ ZaE{)lD£{urZkja s§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ J§ 7/ suiwhZmh_aQ' {urZkja s§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ J§+2 ~l@`ZrZouiwhZm J{ pDmOpDh J{+l@{urZkja s)pDrZo+l@`OpDouijnqpDkwkwt §!§*§!§*§§!§*§!§. bM. . bMb bMb bM bM bM b% b%. b*. b* b* bM bM b b b b2 bM. 5:9. M Mb M %. *. * * M M M 2 Ð^. ; <;+=.
(15) g5! ½¡
(16) . iwiwi. © 9ZM HG ¬ Ñ © ! © ª © ® © C ! >§w )rZouZrZo#£Àl@{u`OpDo+s §!§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ >§ b J p ¢>iwhZm pDrZo+l@`OpDouijnqpDkwkwtFiwhFl@kwijsu\B£Àl@{u`OpDo §*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ >§ \pDh JkwiwhZms+tho p@nEouijn*a>3 o+aEh_s+ijl@h_s-lD£ ~lx §*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ >§ J§w ! _3 pD`ZkjaB§!§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ >§ J§ b ~l@h_mMrZ{uiwhZm p/aE{u`OpDh_aEhyo7s+aEourZ §*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ >§ J§ ! _3 pD`Zkja*n l@hyouiwhr_a §*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ >§ % _pDZouiwhZmOZ{uiwhouiwhZmO{urZkja so+lOsutho p@nEouijn*aJ3 o+aEh_suijl@h_s§*§!§*§!§*§!§*§§!§*§!§ >§ _% §w d7{ pD``OpD{#{urZkja s ' iwou\h_aQ' l@aE{ pDo+l@{+sX§*§!§§*§!§*§!§*§!§*§§!§*§!§ >§ _% § b ! _3 pD`ZkjaB§!§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ >§ _% § JiwhZmZ{+aEouo¶t Z{uiwhouiwhZmO{urZkja s §!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ >§ _% § % ! _3 pD`Zkja*n l@hyouiwhr_a §*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ 8 !E © © !E I G ½DJ . 5. J§w -a s l@rZ{+n a s§!§*§§!§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§wM§w ~»\_l>lMsuiwhZmou\_a*n l>xn l@``OpDh §!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§wM§ b kjl>nqpDouijl@h lD£pDrZo+ls;p ¢ a _kja s §*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§wM§ l@Rh 0¸kwiwh_a!\_aEkw §!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ b o pD{uourZ _kja s%§*§§!§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ bJ§w suo pD{uourZ
(17) _kjag£Àl@{)~aEhyo pDrZ{#§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ bJ§ b suo pD{uourZ
(18) _kjag£Àl@{#n l>xyo+l@ §§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ J§ bJ§ suo pD{uourZ
(19) _kjag£Àl@{ou\_a!pD{+s+aE{ §*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ © ª © J ½ © 0 9 qJ§w []\_a!vp@n NrZ`a n \pDhZijsu` §*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ qJ§ b ,aE`l@{utBs;p9£¤aEo¶t §!§*§!§*§!§*§*§!§§!§*§!§*§*§!§*§!§§*§!§*§!§*§!§*§§!§*§!§ q ! ! HG © 7B9P : y ! © Z © © © © © ! ! ©yª : :® HG : . ^>_a`cbde(fgd. M M %y %y %_ %yb %yb %yb %y %y. %% CC. C. C*4 %* %* y% y% y% y% % % % %2 439 436.
(20)
(21) g5! ½¡
(22) . -& ,!
(23) H, +)& []\_a~l>x!sut>s+o+aE` ~lxJM>ijsp#Z{+llD£,p@s suijsuo pDhyovp@s+a /l@h o¶ta /ou\_a l@{ut pDh ou\_a»nqpDkjnErZkwr_slD£ n l@h_s+ou{ur_nEouijl@h_sq§ ] o-aEhpDvZkja s)r_s+aE{+s-o+liwhyo+aE{ p@nEouiw¢aEkwt s+o pDo+a*`OpDou\_aE`OpDouijnqpDk{+a surZkwo+s)pDh ou\_aEiw{ Z{+l>lD£Às)pDh p@s+s+ijsuo+s#iwh n \_a n N>iwhZmou\_a¢@pDkwi Jiwo¶tlD£ou\_a s+a*Z{+l>lD£¤sÔ§»)`l@hZml@ou\_aE{-£¤aqpDourZ{+a s ° iwo Z{+lÔ¢i Za s£Àp@nEiwkwiwouija s]£Àl@{]mlpDk Jiw{+a nEo+a FZ{+l>lD£¤s ° '\_aE{+agou\_agr_s+aE{#s+o pDo+a s#pkjl@mMijnqpDk5£¤l@{u` rZk po+l vaZ{+lÔ¢aEh Àp*mlpD k ° pDh pDZZkwija s»n l@``OpDh Zsou\pDo vZ{+aqp N Zl 'hou\_a#Z{+llD£HlD£Cou\Zijs £¤l@{u` rZk p iwho+lou\_aZ{+l>lD£)lD£)s aE¢aE{ pDk ° Z{+a surZ`OpDvZkwt suiw`ZkjaE{ ° £Àl@{u`rZk p@sq§zaE{}£Àl@{u`iwhZm mlpDk Jiw{+a nEo+a Z{+l>lD£Às]ijs#l@h_a*lD£ ou\_a!`OpDiwh¦p@nEouiw¢>iwouija s-lD£ r_s+aE{+s#lD£ ou\Zijs#sutJsuo+aE`§ []\_a r_s aE{ 0¸iwhyo+aE{}£¸p@n a Za s+nE{uiwv,a iwh%ou\Zijs7pD,aE{*pDiw`s*pDo7Z{+lq¢>i JiwhZm p Jiwouijl@hpDk surZZl@{uo o+l/ou\_agr_s+aE{+slD£ou\_a~lxsutJsuo+aE`§[]\_a!nErZ{u{+aEhyoukwtFsurZZl@{uo+a p@nEouiw¢iwouija s)pD{+a)ou\_a7£Àl@kwkj(l 'iwhZm l@h_a s
(24) -)ijsurpDkwi 5 iwhZmpDh %a JiwouiwhZmFn l@``OpDh _kja sq§![]\_a/o+ll@kjs)£Àl@{7s+rZZ,l@{uouiwhZmFou\Zijs!p@nEouiw¢>iwo t pD{+a#sut>hyo p 3 Jiw{+a nEo+a Oa JiwouiwhZm 'iwh Z(l '#sq§1[]\_a s a 'iwh Z(l '#s»{+a n l@mMhZi 5qa-ou\_a-suou{ur_nEourZ{+a-lD£ ou\_a!n l@``OpDh k pDhZmMrpDma!£Àl@{ou\_a~l>xsutJsuo+aE`B§ ]¶o`Op Na s#iwolMs+suiwvZkjago+laEh_s+rZ{+agou\_a sutho p@nEouijnO¢MpDkwi Jiwo t lD£-n l@``OpDh Zs ° o+l¦\ZiwmM\ZkwiwmM\yoiw`l@{uo pDhy<o NaEt '»l@{ ZspDh Za _hZi 0 ouijl@h_s ° o+lZ{+lq¢>i Zagh_l@o pDouijl@hpDkHa 3>o+aEh_s+ijl@h_s 'iwou\FmM{ pDZ\ZijnqpDkHsut>`vl@kjs#pDh n l@kjl@{+s ° pDh o+lZ{+lÔ¢i Zas l@Z\ZijsuouijnqpDo+a %n l@``OpDh maEh_aE{ pDouijl@h ZaE,aEh JiwhZml@h%ou\_anErZ{u{+aEhyo suo pDo+a lD£ou\_agZ{+l>lD£ s+t>suo+aE`§ -)ijsurpDkwi 5 iwhZmFou\_anErZ{u{+aEhosuo pDo+alD£»ou\_a/ou\_a l@{+aE`0Z{+lq¢aE{ JrZ{uiwhZm ps a s+suijl@h 'iwou\%ou\_a ~lxXsut>s+o+aE`§ [½ll@kjspD{+aFZ{+lq¢>i Za o+l%vZ{+(l '#s aFou\Z{+l@rZmM\Ñou\_aFl@vJ|ua nEo _pDo pDvp@s+a slD£ ou\_aou\_a l@{+aE` Z{+lq¢aE{q§ S_l@{a 3_pD`Zkja ° r_s+aE{+s*nqpDhXl@,aEh 'iwh Zl '#s JijsuZk pqtiwhZmpDkwkou\_a ou\_a l@{+aE`s#{+aEk pDo+a Fo+lOps+,a nEi n!Z{+a JijnqpDo+aM§ z½aE{}£Àl@{u`iwhZmOl@{{+aEZk p t>iwhZmmlpDk Jiw{+a nEo+a BZ{+l>lD£¤sÔ§[]\_a!nErZ{u{+aEhyo#¢aE{+suijl@hFijsa s+,a nEi pDkwkwt l@{uijaEhyo+a o+ls+rZZ,l@{uouiwhZm ou\Zijs7p@nEouiw¢>iwo t § #7rZ{uiwhZmmlpDk Jiw{+a nEo+a Z{+llD£Às ° ou\_a g5! ½¡ r_s+aE{iwho+aE{}£Àp@n aZ{+lÔ¢i Za s \_aEkw £¤l@{¢ijs+rpDkwi 5 iwhZm ou\_anErZ{u{+aEhyoFs+aEoBlD£*mlpDkjs ° xyrZijn Nkwt maEh_aE{ pDouiwhZm/h_Qa ' n l@``OpDh Zs ° pDh `OpDiwhyo pDiwhZiwhZmOp nEkjaqpDhpDh n l@\_aE{+aEhoZ{+llD£Hs nE{uiwZoq§ ! 3>Zk pDiwhZiwhZm Z{+l>lD£¤sOiwh p'_s+aEr Zl'hpDourZ{ pDk7k pDhZmMrpDmaM§~l@`ZkjaEo+a pDh iwh_n l@`ZkjaEo+a Z{+llD£Às]nqpDhva-Z{uiwho+a Biwhp!£Àl@{u` ou\pDo\ZiwmM\ZkwiwmM\o+sou\_a7suou{ur_nEourZ{+a!lD£HZ{+l>lD£¤s]pDh BnqpDh v,agrZh ZaE{+suo+l>l BvytBh_l@Rh 0 sua nEi pDkwijsuo+s-lD£ ou\_a~lx sutJsuo+aE`§ []\_a _kja s»`OpDhZiwZrZk pDo+a l@{»maEh_aE{ pDo+a Or_suiwhZm ou\_a 7Hg ¡ iwhyo+aE{}£¸p@n a7pD{+a '{uiwouo+aEhiwhOou\_a {+aEmMrZk pD{*n l@``OpDh k pDhZmMrpDmalD£»ou\_a~lx¦sutJsuo+aE`§ ]¶h¦ou\Zijs*{+a su,a nEo ° r_s+iwhZm ou\Zijsgiwho+aE{}£Àp@n a Zl>a s#h_l@o-Z{+a nEkwr Za 'l@g{ NiwhZm 'iwou\ ou\_a ~l>xBsut>s+o+aE`pDkjl@h_a ° l@{7n l@kwk pDv,l@{ pDouiwhZm 'iwou\ a l@Zkja '\_l Zl@h o#r_s+agou\_a!iwho+aE{}£Àp@n aM§. ^>_a`cbde(fgd.
(25) b. . =@X = =@X = WBX
(26) X X Z>=@? Z>? . ][ \_a7nErZ{u{+aEho¢aE{+suijl@hBlD£Hou\_a 7Hg ½¡ sut>s+o+aE`ijsh_l@on l@`ZkjaEo+a7iwhBs aE¢aE{ pDk,{+a s+,a nEo+sq§ vp@s+ijngkwijsuo#lD£h_a a Za ZaE¢aEkjl@Z`aEhyo+s7n l@hyo pDiwh_s)ou\_ag£Àl@kwkjl('iwhZml@iwhyo+s M§ rZZ,l@{uo]£Àl@{#suo pDo+ag`OpDhpDmaE`aEhyo ° rZh Zl@iwhZm ° l@{#s pq¢iwhZmvp@n NrZ_sÔ§B \Ziwkja!n l@``OpDh Zs lD£Hou\_a)£ÀpD`iwkwt lD£ pD{+a)ou{+aqpDo+a ° ou\_aEtBpD{+a7h_l@o#n l@`ZkjaEo+aEkwtiwho+aEmM{ pDo+a Fiwh ou\_ag`OpDiwhyo+aEhpDh_n a/lD£ou\_a!Z{+l>lD£s+nE{uiwZo i¸§ÆaM§ ° pD{+n \Ziw¢a*n l@\_aE{+aEh_nEt =§ bJ § rZZ,l@{uo)£¤l@{)`OpDhpDmMiwhZm s aE¢aE{ pDk½mlpDk 0Jiw{+a nEo+a Z{+l>lD£»pDouo+aE`Zo+sgpDogpouiw`aM§ >aE¢aE{ pDk Z{+llD£Às`Op tBvapDouo+aE`Zo+a ¦pDo7pDhytFl@h_a!ouiw`a ° iwo#ijs-ou\_a*s+nE{uiwZo#`OpDiwho+aEhpDh_n aou\pDo-ijs h_l@og£ rZkwkwt¦iwhyo+aEmM{ pDo+a i¸§ÆaM§ ° pD{+n+\Ziw¢a`OpDiwho+aEhpDh_n
(27) a =§[]\pDo!ijs ° l@h_anqpDh iwh_n l@{u,l@{ pDo+a kjaE``Op@s]pDh ou\_a l@{+aE`s ZaE¢aEkjl@,a iwhBs+aEpD{ pDo+Ta 'iwh Z(l '#s]iwhyo+lpsuiwhZmMkja 'iwh Zl ' vZrZo ou\Zijsijsh_l@ o Zl@h_apDrZo+l@`OpDouijnqpDkwkwt§ J § rZZ,l@{uo£Àl@{ 'iwh Zl '#s#{+aEk pDo+a o+lou\_a!\Ziwhyo _pDo pDvp@s+a!r_s+a B£Àl@{-pDrZo+l@`OpDouijn*ou\_a l@{+aE` Z{+lq¢>iwhZm_§ %_ § rZZ,l@{uo£Àl@{#a 3Jou{ p@nEouiwhZmpDkwml@{uiwou\Z`sq§ *J § rZZ,l@{uo£Àl@{#sut>hyo p@nEouijn*a 3Jo+aEh_suijl@h_sq§ []\ZijsmMrZi Zagijs#l@{umypDhZi 5qa p@s]£Àl@kwkj(l '#sÔ§ >a nEouijl@h¦b Za s+nE{uiwva s-ps pD`Zkja!s+a s+s+ijl@h 'iwou\Fou\_a s+t>suo+aE`.§ >a nEouijl@h_s o+l q R'aEkwk»l@h `l@{+asua nEi np@sua nEo+s!{+aEk pDo+a {+a sua nEouiw¢aEkwto+lBou\_a ¢MpD{uijl@r_:s Niwh /lD£ 'iwh Zl '#s Z{+a s+aEhyo iwhou\_a iwho+aE{}£Àp@n a ° sutho p 3 Jiw{+a nEo+a a JiwouiwhZm*pDh h_l@o pDouijl@h a 3Jo+aEh_suijl@h_s ° a 3Za nErZouiwhZm/n l@``OpDh Zs]iwhF~lx ° `l@r_s a-iwho+aE{ p@nEouijl@h JrZ{uiwhZmZ{+l>lD£¤s ° iwhZZrZopDh l@rZouZrZo#£¤l@{u`OpDo+s ° l@Rh 0¸kwiwh_a!\_aEkw ° n l@h _mMrZ{uiwhZmOou\_asut>s+o+aE` ° pDh Fs p9£¤aEo¶t £¤aqpDourZ{+a sq§ ] h_suou{ur_nEouijl@h_s*o+lBiwh_suo pDkwkou\_<a '\_l@kja 7Hg ¡ s+t>suo+aE` pD{+amMiw¢aEhiwh)ZaEh Ji 3% ° pDh )ZaEh Ji 3a& mMiw¢a s#ou\_agiwhZiwoui pDk½`l@r_s+a*pDh NaEt>v,lpD{ vZiwh JiwhZms£Àl@{ou\_a*sutJsuo+aE`§ $ -. g -&
(28)
(29) & ]¶h'ou\Zijss+a nEouijl@h ° '»amMiw¢aBp kwiwououkja ZaE`l@h_suou{ pDouijl@hÑlD£#ou\_a ¢@pD{uijl@r_s £¤rZh_nEouijl@hpDkwiwouija slD£#ou\_a iwho+aE{}£Àp@n a ° pD{+l@rZh Fou\_a!Z{+l>lD£ lD£1p/vp@suijn*pD{uiwou\Z`aEouijnou\_a l@{+aE` "!#%$&(')+*,.-/102 35476. 8:9;=<9>@?BA,9CEDGFHCBIJ7D28:K5LM9DON. [½l!suo pD{uoou\_a 7Hg ¡ iwho+aE{}£Àp@n a ° tl@rh_a a o+lg\p ¢a \ pDkw{+aqp Jt/{urZhZhZiwhZm*l@htl@rZ{mM{ pDZ\ZijnqpDk 'l@{gN>s+o pDouijl@h5§Ba7pDkjs lp J¢>ijn a)ou\pDotl@rB\pq¢agp M7aEo+s+nqpD,aQP 'iwh Zl(' ijn l@hZi a iwhp n l@{uh_aE{ R Ð:S¶Å¸ÈUTWV;ÊSÄ ÈV»ÅÀÌ7V"XYS}ÏZV ÌU[#Ë ÍJŸÇQS5T¶Ë=ÏÊ V ]` \ ŸÇQV Å5Ëuà ` È5ÄÆÅ_^ Ð^. ; <;+=.
(30) g5! ½¡
(31) . Dl £,tl@rZ{1s+nE{+a aEh iwoB'iwkwkJv,ar_s+a o+l7Z{+lq¢>i Zal@hR0¸kwiwh_a\_aEkw =§ l@rnqpDhou\_aEhsuo pD{uoou\_a]sutJsuo+aE` vto¶tZiwhZmou\_a7£¤l@kwkjl'iwhZmn l@``OpDh iwh psu\_aEkwkL'iwh Zl('*§ . [ '»l4'iwh Zl('#sFpD{+a nE{+aqpDo+a C§ )h_a ijsOnqpDkwkja ou\_aW Z =@? Y ? 'iwh Zl(' ° pDh ou\_a l@ou\_aE{ijs)p` rZkwouiwZkja'iwh Zl' nqpDkwkja WBX Y<Y.? Z
(32) ;>=@? = ; ? (
(33)
(34) R X Y §[]\_a~aEhR0 o pDrZ{g`a s+s;pDma sT'iwh Zl' ° '\Zijn+\ ijs7k pDvaEkwkja }~aEhyo pDrZ{ ¤nEo+n l>x ° ijs7r_s+a ¦o+l JijsuZk p taE{u{+l@{ `a s s pDma sq§[]\Z{+l@rZmM\Oou\Zijs 'iwh Zl' Æs `aEhrvpD{ ° \_l'»aE¢aE{ ° l@h_a#nqpDhOl@aEh 'iwh Zl('#s»o+l!¢>ijaQ' ou\_agn l@ho+aEhyo+s-lD£ _kja sl@{]¢ijQa ' ou\_agnEkwiwZv,lpD{ ° aEo+nM§[]\_ag`rZkwouiwZkja 'iwh Zl(' ijsn l@`,lMs+a BlD£ ou\Z{+a asurZRv 0@'iwh Z(l '#s WBX Y[Y.? Z
(35) ? = =
(36) R =@X X =
(37) R Y = B Z
(38) X ¦[]\Zij[s 'iwh Z(l ' ijs/r_s+a o+la JiwopDh {+a n l@{ Fou\_a*n l@``OpDh Zs-s aEhyo#o+lou\_a!Z{+l>lD£1p@s+suijsuo pDhoq§ ; =@? = ! Z=
(39) P Y
(40)
(41) " # []\Zij9s 'iwh Z(l 'ijsgr_s a ¦o+l Jijs+Zk p t ou\_anErZ{u{+aEho*kwijsuo!lD£»surZvZmlpDkjs JrZ{uiwhZmmlpDk Jiw{+a nEo+a FZ{+l>lD£¤sÔ§[]\Zijs 'iwh Z(l ' ijsiwhZiwoui pDkwkwtFaE`Zo t§ ; ? (
(42) $
(43) R X g Y ? =[=
(44) R&% X = =@X Y []\Zijs 'iwh Z(l 'ijsOr_s a Ño+l Jijs+Zk p t ou\_a¦{+a surZkwolD£ xyr_aE{uija s*s aEhyo!o+lBou\_al@vJ|ua nEo _pDo pDvp@s+alD£]ou\_aZ{+llD£]sut>s+o+aE`§/[ tZijnqpDkwkwt ° {+a surZkwo+s*lD£ ou\_an l@``OpDh (' *) 'iwkwk½v,a Jijs+Zk p ta ¦iwh ou\Zijs 'iwh Zl '*§#[]\_a ; ? (
(45) +
(46) R X g Y 'iwh Z(l ' ijs#iwhZiwoui pDkwkwtBaE`Zo¶t§ M7l@o+aou\pDo iwoijs*iwh'ou\_a`rZkwouiwZkja 'iwh Z(l ' ou\pDoZ{+l>lD£Às pD{+a ZaE¢aEkjl@a Ca§ \Ziwkjal@hZkwt l@h_a s+r_n+\'` rZkwouiwZkja 'iwh Zl 'ijs l@,aEh_a '\_aEh'ou\_as+t>suo+aE` ijssuo pD{uo+a ° iwo*ijs,lMs+s+iwvZkjao+l l@aEh s aE¢aE{ pDkHlD£ou\_aE` £¤l@{`l@{+a ZaEo pDiwkjs)s+a a!s+a nEouijl@h¦J§ b =§ 354 3. ,.- > 9>7?EA&; ?/- 8 DO?/- >7?BA0 IN N; ?/- L. [½l-Z{+lÔ¢a]l@rZ{Hvp@suijn]pD{uiwou\Z`aEouijnou\_a l@{+aE` ° '»a _{+suoHh_a a ou\_a]pD{uiwou\Z`aEouijn»p@n N@pDma»o+l)v,a kjlp 0 Za iwhBou\_a-Z{+l>lD£p@s+s+ijsuo pDhyo _pDo pDvp@s+aM§1[½l/,aE{}£Àl@{u`ou\Zijs 'a)h_a a o+l/iwhZZrZo]ou\_a)n l@``OpDh 1 3254 ' 763' 4 )98 pDh Bo+ls+aEh Biwo-o+lou\_a!Z{+llD£1p@s+suijs+o pDhyoq§ ~l@``OpDh Zs-£Àl@{#ou\_aZ{+llD£ p@s+suijs+o pDhyo7pD{+a a Jiwo+a iwh¦ou\_aVWBX Y<Y.? Z
(47) 'iwh Zl('pDh s+aEho r_s+iwhZm#ou\_a vZrZouo+l@h_sHou\pDopDZ,aqpD{5vaEo 'a aEhou\Zijs 'iwh Z(l ' pDh *ou\_a ;>=@? = 'iwh Zl' l@{LNaEt>vlpD{ p@n n aEkjaE{ pDo+l@{+sÔ§'[]\_a 'iwh Z(l ' pDh iwo+s Za n l@{ pDouijl@h Z{+lq¢>i ZaB¢MpD{uijl@r_s/£Àp@nEiwkwiwouija s/£Àl@{a JiwouiwhZm_§ [ tZijnqpDkwkwt ° ou\_a)r_s+aE{»s aEkja nEo+sa 3JZ{+a s+suijl@h_s»iwh_sui Za-ou\_a 'iwh Zl ' pDh ou{uiwmMmaE{+s]a JiwouiwhZmp@nEouijl@h_s r_s+iwhZm*aEiwou\_aE{1ou\_al@Zouijl@h_s lD£,ou\_;a :3< 4 `aEhr£¤{+l@`ou\_a]`aEhyrvpD{ ° `aEhyr_s1Z{+lÔ¢i Za vyt/ou\_a :=< 4 4?>@5A?B"3=CD `aEhyr£¤{+l@` ou\_a `aEhyr%vpD{ ° l@{gp@nEouijl@h_s!p@s+s+l>nEi pDo+a ¦o+. l NaEtJsuou{+ l Na s '\Ziwkja ou\_a#`l@r_s+a]ijsiwhou\_a 'iwh Zl '*B§ ] hou\Zijs»a 3ZpD`Zkja-s+a s+suijl@h ° 'a#su\pDkwkl@hZkwt ZaE`l@h_suou{ pDo+a-Zk pDiwh o+a 3Jo#a JiwouiwhZm_§ ^>_a`cbde(fgd.
(48) %. . =@X = =@X = WBX
(49) X X Z>=@? Z>? . ][ \_a9'»l@{ 6 ou\pDo7pDZ,aqpD{+s-iwhou\_a!o+l@kja=£¤o#n l@{uh_aE{-{+aEZ{+a s+aEho+s)pZk p@n a0¸\_l@k ZaE{ £Àl@{/p¦n l@``OpDh C§%[1t>,a 1 2 4 '76=' 4 ) 8 : D
(50) § ]o/ou\_a _{+s+o/n \pD{ p@nEo+aE{/tl@r o¶ta ou\_<a 'l@{ 6 Jijs pDZaqpD{+spDh ou\_ao+a3Jo!tl@ro t>apDZ,aqpD{+s l@h ou\_as+nE{+a aEh5§< \_aEh tl@rOo t>,a : D ou\Zijso+a 3>o»n+\pDhZma s]p@su,a nEo HNaEt '»l@{ Zs»pD{+a#\ZiwmM\R0¸kwiwmM\yo+a BpDh ou\_a 'l@{ ' ijs1iwh_s+aE{uo+a C§ []\_a : D
(51) NaEt\p@s1ou{uiwmMmaE{+a ou\_a#pD{+suiwhZm lD£ou\_ao+a3Jo1tl@ro t>a ou\_ago+a 3Jo#\p@sva aEhF{+aEZk p@n a vtp/ou{+a a*suou{ur_nEourZ{+aM§ ]¸£5tl@r Jijs+n lq¢aE{#pDhFaE{u{+l@{p9£ o+aE{pD{+suiwhZm ° tl@rBnqpDh n l@{u{+a nEosua nEi nqpDkwkwtou\_ a '{+l@hZmsurZRv 0 a 3JZ{+a s+suijl@h vytXnEkwijn N>iwhZml@hXiwopDh Xo t>,a : D=
(52) & §%[]\_a a 3JZ{+a s+suijl@h ijs/ou{ pDh_s}£Àl@{u`a vp@n NBiwhyo+lo+a 3Joou\pDo#tl@r nqpDh`l Ji³£¤tBpDh B{+aEpD{+s+aM§ ! 3Ja nErZo+agou\_agn l@``OpDh Bvts+aEkja nEouiwhZmiwo 'iwou\Fou\_a7kja=£ o`l@r_s+agvZrZouo+l@hpDh FnEkwijn N>iwhZml@h ou\_a #gliwo vZrZouo+l@h%Z{+lq¢>i Za %vaEkj(l 'ou\_a WBX Y<Y.? Z
(53) 'iwh Z(l ' ° l@{gvt o t>ZiwhZm @ §[]\Zijs `Opqto p Nap '\ZiwkjapDh JrZ{uiwhZm ou\pDo)ouiw`a ou\_a/n l@``OpDh %pDZaqpD{+sgl@h ZiwPh Nvp@n NmM{+l@rZh C§ \_aEhiwo _hZijsu\_a s ° ou\_a/n l@hyo+aEhoglD£»ou\_"a WBX Y<Y.? Z
(54) 'iwh Z(l ' ijs)`l Ji a pDmypDiwh5§7[]\_a a 3Za 0 nErZo+a ¦n l@``OpDh ¦n \pDhZma s7iwo+s7pDZaqpD{ pDh_n a ou\_avp@n N>mM{+l@rZh va n l@`a s)kwiwmM\yo7vZ{+(l 'h )pDh pOh_Qa ' Zk p@n a 0¸\_l@k ZaE{ 6 ijs7iwh_s+aE{uo+a C§![]\_a _pDg{ NaE{gvp@n N>mM{+l@rZh %iwh JijnqpDo+a sgou\pDogou\Zijs n l@``OpDh ijs]h_(l ' {+a n l@{ Za Fiwhou\_a*s+nE{uiwZoq§ []\_a*r_s+aE{-nqpDh h_(l ' a Jiwo#ou\_a*h_Qa ' Zk p@n a 0¸\_l@k ZaE{go+ls+o pDo+a!ou\_a*ou\_a l@{+aE`ou\pDo-\_a*l@{7su\_a ']pDhyo+s o+lBZ{+lq¢aM§ ]¸£ou\Zijs*Zk p@n a\_l@k ZaE{ ijs!h_l@os+aEkja nEo+a mM{+aEtvp@n NmM{+l@rZh ° s+aEkja nEoiwo!vyt nEkwijn NiwhZml@hiwo 'iwou\ou\_a!kja=£¤ovZrZouo+l@h lD£ ou\_a!`l@r_s+apDh Fo¶ta ) ' ! #" > %$ C $'&( )" $$ A @ "* $ 8 : D=
(55) )s/va=£¤l@{+a ° ou\_a : D= n+\pD{ p@nEo+aE{.'iwkwk]h_l@opDZ,aqpD{l@h ou\_aBs+nE{+a aEh. B=) '. ° vZrZoZ{+lq¢ l Na ou\ZijsOn l@``OpDh Ño+l vaBpD{+s+a C§ -£¤o+aE{pD{+suiwhZm ° ou\_aFkjl@mMijnqpDk£Àl@{u`rZk p ijsZ{+a s+aEhyo+a 'iwou\ `l@{+ao t>ZijnqpDk½`OpDou\_aE`OpDouijnqpDkn l@h¢aEhyouijl@h_s ° r_suiwhZm sua nEi pDk½n+\pD{ p@nEo+aE{+s7kwi Na/pxrpDhyoui aE{!l@{ pDh pD{u{+l '*§ )h_n aBou\_aFn l@``OpDh ijsn l@`ZkjaEo+a ° iwonqpDh vaBa3Ja nErZo+a ÑvytXnEkwijn NiwhZmXl@h ou\_a #gliwo vZrZouo+l@h5§[]\Zijsa 3Jo+aEh Zs!ou\_a{+a n l@{ Za Xs+nE{uiwZo kwiwmM\yo vZ{+l('h pD{+aqp 7o+lFou\Zijs*n l@``OpDh pDh ou\_[a ; =@? = 'iwh Zl ' {+a n aEiw¢a s#ou\_a!s+o pDo+aE`aEhyo)lD£ ou\Zijs#ou\_a l@{+aE`p@s-psuo pDo+aE`aEhyo)o+lZ{+lq¢aM§ ,+ - D <. I<N. 354. 0/I; 2J 1 >7<D43 9D5-5-. >7?BA. 6.. <I I _L. ]¶o ji slMs+suiwvZkjao+lXZ{+ln a a 'iwou\ ou\_aZ{+l>lD£vyt aEhyo+aE{uiwhZm pDkwkgou\_a%n l@``OpDh ZsFvyt \pDh C§ 77l(' aE¢aE{ ° iwo»ijspDkjs+l lMs+suiwvZkja#o+l r_s+a)ou\_a)£ rZh_nEouijl@hpDkwiwo¶tlD£ X(X 98 % 8 RX Z = Z o+l/p@n n aEkjaE{ pDo+a ou\Zijso p@sgN §[]\_aOr_s+aE{ nqpDh's+iw`Zkwts+aEkja nEo pDhytaJ3 Z{+a s+suijl@hXiwhou\_a ; =@? = ' iwh Zl' pDh 'ou\_a r_s aE{ ¸0 iwhyo+aE{}£¸p@n a maEh_aE{ pDo+a sFou\_a%n l@``OpDh ou\pDoF`lMsuoBhpDourZ{ pDkwkwt vZ{uiwhZmsBou\Zijsa3>Z{+a s suijl@h iwho+l £¤l>nEr_sq§ []\Zijs]n l@``OpDh Bijs ou\_aEhBiwh_s+aE{uo+a iwh ou\_aaWBX Y[Y.? Z
(56) ' iwh Zl(' ° pDo»ou\_a),lMs+iwouijl@h. Ð^. ; <;+=.
(57) g5! ½¡
(58) *. Za s+iwmMhpDo+a Bvyt ou\_a!nErZ{u{+aEhyo-s+aEkja nEouijl@h mM{ pqtvp@n NmM{+l@rZh =§]-£n l@rZ{+s+a ° ou\Zijsl@hZkwt '»l@{gNJsi³£ ou\_a!nErZ{u{+aEho)s+aEkja nEouijl@h Za suiwmMhpDo+a s-plMsuiwouijl@hFou\pDo-nqpDh {+a n aEiw¢apn l@``OpDh C§ 7)aE{+a ° ou\_a»h_a 3>o n l@``OpDh /o+l-aE{}£¤l@{u` ou\_a Z{+l>lD£nqpDh/v,a maEh_aE{ pDo+a /vytsuiw`Zkwt nEkwijn N>iwhZm l@h/ou\_a]a 3>Z{+a s suijl@h " $ iwh ou\_aT;>=@?A= 'iwh Zl' 'iwou\ou\_a»{uiwmM\o vZrZouo+l@hlD£ou\_a»`l@r_s aM§½ n l@``OpDh ijsiwh_s+aE{uo+a iwh ou\_a WBX Y<Y.? Z
(59) 'iwh Z(l '*§~»kwijn N>iwhZml@hBou\_a #gliwo vZrZouo+l@hBs aEh Zs ou\Zijs n l@``OpDh o+l ~lxÑpDh ou\_a r_s aE{ 0¸iwhyo+aE{}£¸p@n a%rZ _pDo+a sBp@n n l@{ JiwhZmMkwt 'ou\_a¦n l@``OpDh ijsiwh_nEkwr Za Ñiwh ou\_avZ{+l 'h pD{+aqp pDh ou\_aBmlpDk-n \pDhZma sq§ [Hlp ¢l@i Ñ\p ¢>iwhZmo+l%nEkwijn N l@h ou\_a #gliwo vZrZouo+l@h p9£ o+aE{aqp@n \Ñiwhyo+aE{ p@nEouijl@h ° tl@r nqpDh pDkjs l n+\_a n N ou\_aFs+xrpD{+aBvl 3 ou\pDo pDZaqpD{+sl@h ou\_akja=£¤olD£-ou\_a #gl iwo o+l¦aEho+aE{OpDrZo+l@`OpDouijn 0Zl 0¸iwo`l Za ° '\_aE{+a n l@`ZkjaEo+a n l@``OpDh Zs/pD{+apDrZo+l@`OpDouijnqpDkwkwt s+aEhyo!o+lBou\_aO~l>x sutJsuo+aE`§ l@rnqpDh'pDkjs+lFgs 'iwo+n \ ou\_aou\_a )rZo+l@`OpDouijn 0Zl 0¸iwo-`l Za*l@h pDh l %vytBo¶tZiwhZm § []\_ah_Qa 'n l@ho+aEhyolD£ou\_Oa ;>=@? = 'iwh Zl 'su\_l '#s pBmlpDkn l@`,lMs a lD£o '»l pD{uo+s ° s+a 0 pD{ pDo+a ¦vyt pDh \_l@{ui 5ql@hyo pDk kwiwh_aM§[]\_a*o+l@¦pD{uo)ijs7psuo pDo+aE`aEho)o+lOZ{+lq¢a ° pDkjs+lOnqpDkwkja ou\_a X Z X Z§1[]\_a7v,l@ouo+l@` pD{uolD£½ou\_a7mlpDkijs#pkjlnqpDkCn l@hyo+a 3Jo#lD£½hpD`a Bl@vJ|ua nEo+s#pDh ou\_a
(60) PX =
(61) R ( ou\pDo)nqpDhv,agr_s a Bo+lZ{+lq¢a!ou\_an l@h_nEkwr_suijl@h5§ . 354. )<I%L >@?BA&9CE<IBA C . 9CED +CBDOI<DON. 1. ;9; E; LQD. 7gp ¢>iwhZmFo+lBZ{+lq¢apBsuo pDo+aE`aEhyo/lD£»ou\_a£Àl@{u` " $ 'a 'pDho*o+ls+a apDkwk1ou\_aou\_a l@{+aE`s lD£#ou\_a _pDo pDvp@s+aou\pDo aE{u`iwo Z{+lÔ¢iwhZmou\Zijs[Niwh XlD£-suo pDo+aE`aEhyoq§[]\Zijs/nqpDhXva Zl@h_aOvyt s aEkja nEouiwhZm " $ 'iwou\ ou\_aBkja=£¤ovZrZouo+l@hÑlD£)ou\_aB`l@r_s+apDh o¶tZiwhZm
(62) D '\ZiwkjaBou\_a. `l@r_s aijs7s+ouiwkwkiwhou\_a<'iwh Zl'*§[]\_akjaEouo+aE{ D suo pDh Zs7£Àl@{ (' *)° '\Zijn+\'ijs*pn l@``OpDh Z{+lÔ¢i Za 'vyt%ou\_a~l>x¦s+t>suo+aE` £¤l@{!kjl> l NiwhZm ou\Z{+l@rZmM\'ou\_al@vJ|ua nEo _pDo pDvp@s+a£¤l@{*ou\_a l@{+aE`s {+aEk pDo+a %o+lBsua nEi no t>a s ° £ rZh_nEouijl@h_s ° l@{gZ{+a JijnqpDo+a sq§[]\_a/l@rZouZrZo lD£ ou\Zijs*s+aqpD{+n \ ijs#Jijs 0 Zk pqta FiwhBou\_[a ; ? (
(63)
(64) R X g Y 'iwh Z(l '*§ M7l@o+agou\pDoou\_a!s+aqpD{+n \ '»l@g{ NJs]£ {+l@` pDht lD£ou\_a ou\Z{+a a 'iwh Z(l '#s ° WBX Y<Y ? Z
(65) M° ;>=@? = E° pDh ; ? (
(66)
(67) R X g Y § XX 8 % 8 RX Z = Z pDkjs+<l '»l@g{ NJsiwhou\_a ; ? (
(68)
(69) R X g Y 'iwh Z(l '*§ M § >nE{+l@kwkou\_a 'iwh Z(l ' Z(l 'hp-kwiwououkja o+l)`Op Na @ C 3' >5D pDZaqpD{ ° l@{Ho¶ta : D
(70) D 'iwou\ou\_a`l@r_s+aiwh ou\_a ; ?
(71) 7
(72) P X Y 'iwh Zl 'pDh %o t>,a @ C 3' > D iwh ou\_#a Ji pDkjl@mOou\pDo)pDZaqpD{+s-pDh nEkwijn N T N § bJ § >aEkja nEo#ou\_a!hpD`a*lD£ ou\_a l@{+aE` @ C =' > D 'iwou\ ou\_a!kja=£ ovZrZouo+l@h¦lD£ou\_a!`l@r_s a ° J§ #7aEZ{+a s s#ou\_an l@hou{+l@k NaEt ° pDh O'iwou\¦ou\Zijs NaEts+ouiwkwk ZaEZ{+a s+s+a ° nEkwijn N 'iwou\¦ou\_a{uiwmM\o vZrZouo+l@hlD£»ou\_a/`l@r_s+a )ou\Zijsg`Op Na spkwiwououkja`aEhyr'pDZaqpD{!iwh '\Zijn \ tl@rnqpDh J{ pDm ou\_ag`l@r_s+a!o+lou\_a )ZZkwt l@Zouijl@h M§ SWV;È S X9Ë Ë Å_UÌ S S_V;È S5ŸQÇ ST Ë ÅÀÌ¸Ë [ S S¶Í³Ë;UÌ S Ë;É Ä ÈÀǻŸÇDÄ ÈË;Ê S 7Ì V Å¸Ä Ë ^ Í Ë=É XÔË =ŸMÇ S5Ï S ÉÈ¤Å¸Ä T7[qÈ Å¸Ë1ŸMÇ SUÈ T¶UÌ S S ` Ÿ` Ë ZÏ V [ S5ÄÆÅ XÔÄ UÈ V ÊDÊ ` S_V+Ì \ Ë;É-\ ÈÀÄ ÏÊ \ T \ Ä TU[]Ë `` ŸMÇ S V ` T@S ÉÔ` ÅÀÅ¸Ë ; ` \ V ÅŸQÇ S5ŸË=Ê-Ë;ÍyŸQÇ ` SHÏ S ` É ^
(73). . . . . . ^>_a`cbde(fgd. . . . . . . . . .
(74) . . =@X = =@X = WBX
(75) X X Z>=@? Z>? . ]¶h_suo+aqp lD£suo+aE' ° t l@rXnqpDh'pDkjs+lBo t>,a £Àl@{ 6 C ° p9£¤o+aE{ Zl@iwhZm suo+aE'bpDvlq¢a ° '\Ziwkja ou\_ag`l@r_s a!ijsiwhou\_a[; ?
(76)
(77) R X Y 'iwh Zl('*§ []\_a)maEh_aE{ pDo+a o+aE`Zk pDo+agijs]h_l@o]n l@`ZkjaEo+a ° \_l('»aE¢aE{ ° pDh ou\_a!s+aEkja nEouijl@hFiwhBou\_aaWBX Y 8 Y.? Z
(78) ' iwh Zl(' ijs-l@h%pZk p@n a¸0 \_l@k ZaE{)hpD`a C2 ' § r_n+\%p¢MpDkwr_a!ijs#h_a a Za ou\_a pDZZkwt n l@``OpDh ijskjl' ¸0 kjaE¢aEk7pDh Zl>a sh_l@omMr_a s+sou\_aB¢MpDkwr_aFlD£gou\_aB¢@pD{ui pDvZkja § []\_a r_s aE{ ¸0 iwhyo+aE{}£¸p@n a ' iwkwk{+a=£¤r_s+as+aEh JiwhZm ou\_a#n l@``OpDh p@s1kjl@hZm/p@siwo n l@ho pDiwh_spDhtsur_n+\ aE`Zo t Zk p@n a¸0 \_l@k ZaE{+sÔ§ . IB>7?EA.
(79). 354. . ; JB DOL <IE?. -. ]¶h'l@rZ{/l@hZml@iwhZm¦a 3_pD`Zkja ° ou\_aO{+aEkjaE¢@pDho¢MpDkwr_a£Àl@{ ijs §B[½l a Jiwoou\_aOZk p@n a0¸\_l@k ZaE{ ° iwo ijs7lMs+suiwvZkja o+lOr_s ao+a3Jo!a JiwouiwhZmBl@{gou\_a/l@Zouijl@h_s!lD£ ou\_a :3< 4 `aEhyr£¤{+l@` ou\_a `aEhr%vpD{q§ ]¶oijs)pDkjs l,lMs suiwvZkja!o+lr_s+a p/£Àp@s+o+aE{£ rZh_nEouijl@hpDkwiwo¶t ° Z{+lq¢>i Za vytFou\_a*`i Jkja*vZrZouo+l@h iwhpDkwk ou\_[a 'iwh Zl '#slD£»ou\_a/r_s+aE{ 0¸iwho+aE{}£Àp@n aM[§ \_aEh'pDh a 3>Z{+a s+s+ijl@h ijs7s aEkja nEo+a 'iwou\ ou\_a`i Jkja vZrZouo+l@h ° ou\_ar_s aE{ 0¸iwhyo+aE{}£¸p@n apDouo+aE`Zo+so+l¦{+aEZk p@n a ou\_aBa 3JZ{+a s+suijl@h nErZ{u{+aEhyoukwt s+aEkja nEo+a iwh ou\_4a WBX Y<Y ? Z
(80) 'iwh Z(l ' 'iwou\ou\_ah_Qa '¢MpDkwr_aM§-£]n l@rZ{+s a ° ou\Zijsl@aE{ pDouijl@hijs!aE{}£Àl@{u`a l@hZkwt i³£ou\_ah_Qa ' ¢MpDkwr_a _o+s 'iwou\Xou\_asut>hyo p@nEouijn n l@h_suou{ pDiwhyo+s/iwh ou\_aOn l@hyo+a 3J[o '\_aE{+aOiwo ijs p@s+o+a C§ 7)aE{+a ° ou\_ar_s+aE{ suiw`Zkwt \p@s*o+l `Op NaOsurZ{+aou\_aOZk p@n a\_l@k ZaE{ ijss+aEkja nEo+a i³£#h_a a Za ° r_s+iwhZmou\_aBkja=£¤ovZrZouo+l@hÑlD£)ou\_aB`l@r_s
(81) a ° pDh s+aEkja nEoOpDhtXiwh_suo pDh_n aFlD£ iwh pDhyt 'iwh Z(l ' ° r_s+iwhZmou\_a!`i Jkja!vZrZouo+l@h¦lD£ ou\_ag`l@r_s+aM§ []\_a#h_(l ' n l@`ZkjaEo+agn l@``OpDh Oijss+aEho iw``a Ji pDo+aEkwtOo+lou\_a#Z{+l>lD£½p@s+suijsuo pDho i³£5tl@rBpD{+a iwhpDrZo+l@`OpDouijn 0Zl 0¸iwo 0¸`l Za ° l@ou\_aEg{ 'ijs+atl@r\p ¢ao+lnEkwijn Nl@h #gliwo § []\Zijs-Z{+lq¢ l Na s)ou\_a n l@ho+aEhyo7lD£ou\_a*s+o pDo+a 'iwh Z(l ' o+lOn+\pDhZma 1ou\_aE{+a pD{+agh_(l ' o '»lsurZvZmlpDkjsq§ 354. . ?/-BI >7?BA; LM9D. l@r `Op tO\p ¢a)`Op Za7p`ijsuo p NagpDh Oa 3Za nErZo+a ou\_a '{+l@hZmn l@``OpDh C§ /-h Zl@iwhZm/ou\Zijs 'iwkwk {+a xrZiw{+a!`l@{+a!ou\pDhO| r_s+orZh Zl@iwhZmOou\_a!k p@suo#a JiwouiwhZmBp@nEouijl@h 1tl@r¦pDkjs lh_a a Fo+lo+aEkwk~l>x o+l Jijs nqpD{ ou\_ak p@suo/n l@``OpDh C§B[]\Zijsijs Zl@h_avyt nEkwijn NiwhZml@h'ou\_a #7ijs+nqpD{ vZrZouo+l@hXou\pDo pDZaqpD{+s1vaEkj(l ' ou\_a WBX Y<Y.? Z
(82) 'iwh Z(l '*§ l@rOnqpDhou\_aEhs+aEkja nEo ou\_a '{+l@hZm a 3JZ{+a s+suijl@h pDh {+a 0 a Jiwoiwoq§ ] £#tl@r Zl@h o Jijs nqpD{ Xou\_aBn l@``OpDh ° {+a 0 a JiwouiwhZm 'iwkwkh_l@ovaOlMs+suiwvZkja ou\_a kwiwmM\o#vZ{+(l 'h%pD{+aqpijs ?
(83) 8 X Z M§ . 354. -. 6. :K9-. <I I. I>@?9>@?BA. 0+I? 9>@? B D5-. []\_a)s+a n l@h surZvZmlpDkijs suou{ pDiwmM\o}£¤l@g{ ']pD{ ° suiwh_n a-l@h_a)lD£Cou\_a\yt>,l@ou\_a s a s ijsp*n l@h@|}rZh_n0 ouijl@hBn l@hyo pDiwhZiwhZmou\_a7suo pDo+aE`aEhyo]o+l Z{+lq¢a $ $ §1dgaEh_aE{ pDouiwhZmou\_a7n l@``OpDh o+l*vZ{+aqp N Ð^. ; <;+=.
(84) g5! ½¡
(85) . ou\Zijsn l@h@|}rZh_nEouijl@hFiwhyo+lZija n a s#pDh Bn l@`ZkjaEo+a!ou\_a7Z{+l>lD£Hijssuiw`Zkwt,aE{}£Àl@{u`a vytOl@iwhyouiwhZm o+lgou\_aa 3JZ{+a s+suijl@h $ $ ou\pDo1ln nErZ{+s1v,aE\Ziwh »iwhou\_as a n l@h surZvZmlpDkZo+l!a3>Z{+a s s ou\pDogtl@r 'pDho!o+lOr_s a ou\Zijs7pD{uo!lD£ ou\_an l@h@|}rZh_nEouijl@h o+laE{}£Àl@{u`ou\_a/Z{+l>lD£}§-£»n l@rZ{+s a ° ou\ZijsO\p@so+l va Zl@h_aFr_suiwhZm'ou\_a{uiwmM\yovZrZouo+l@h lD£!ou\_aF`l@r_s+a pDh ph_Qa 'n l@``OpDh ijs iwh_s aE{uo+a iwhBou\_a WBX Y<Y.? Z
(86) 'iwh Z(l '*§ []\_agmlpDk,ijs]s+l@kw¢a FpDh Jijs pDZaqpD{+s£¤{+l@`ou\_[a ;>=@?A= 'iwh Zl '*§1[]\_agl@ou\_aE{surZvZmlpDkCnqpDhva-Z{+lÔ¢aEhsuiw`iwk pD{ukwtvtnEkwijn N>iwhZml@h )" $ 'iwou\ ou\_a {uiwmM\ovZrZouo+l@h lD£)ou\_aB`l@r_s aBv,a nqpDr_s+a " $ pDh )" $ pD{+aB¢>ijQa '»a p@sou\_aFs pD`a s+o pDo+aE`aEhyo-vtou\_a*ou\_a l@{+aE` Z{+lq¢aE{ ou\_aEtFpD{+a 0 n l@hy¢aE{uouiwvZkj
(87) a =§ . 354. 8:9I<>7?EA&9CBD + CBD I<DON. _\ aEh ou\_aBZ{+l>lD£7ijs _hZijsu\_a ° ou\_aE{+aF{+aE`OpDiwh_sOpZk p@n a0¸\_l@k ZaE{BpDoou\_aFaEh ÑlD£)ou\_aFs nE{uiwZo ou\pDo*nqpDh'v,aa Jiwo+a p@s!o+a3Jo!o+l < ° l@{*l@h_anqpDh'suiw`Zkwto t>,a £¤l@{ ¶s;p -1a )iwh ou\_a WBX Y[Y.? Z
(88) 'iwh Zl(' ° pDh Xl@h_a nqpDh'ou\_aEh a3Ja nErZo+aou\Zijsn l@``OpDh C§ l@r nqpDhXn \_a n NXou\pDo tl@rZ{h_aQ' ou\_a l@{+aE` ijs#p Za BvtOr_suiwhZmou\_a ' ?) n l@``OpDh E'iwou\Fou\_aTNaEt vZiwh JiwhZm DJ° ' \_aEhou\_a*s+aEkja nEouijl@h ijs#l@h =§ . 1 >7L . 354. J7; KB>7?BA,9CBD. -. 6.. <I I. . D 9. ) h_n a*ou\_agZ{+llD£ ijs _hZijsu\_a pDh s;p ¢a ° iwoijslMs+suiwvZkjago+lZ{+l Jr_n ap/o+a3JourpDk5a3>Zk pDhpDouijl@h vt s+aEkja nEouiwhZmBou\_a/hpD`a ) ' '\_aE{+aE¢aE{giwog`Op t¦pDZaqpD{ iwh¦ou\_aWBX Y<Y.? Z
(89) l@{giwh ou\_a.; ? (
(90)
(91) R X Y 'iwh Zl(' )pDh o¶tZiwhZm '\Ziwkjaou\_a`l@r_s+a ijs-suouiwkwk½iwh ou\_a/s pD`a 'iwh Zl '*§[]\_aZ{+l Jr_nEouijl@hlD£ou\Zijso+a3JourpDkZa3>Zk pDhpDouijl@ho p Na s1p'\Ziwkja#pDh /ou\ZijsaE¢aEhourpDkwkwt Z{+lÔ¢ l Na s-ou\_a nE{+aqpDouijl@h¦lD£ ph_aQ' 'iwh Zl(' hpD`a X(X [= =À§ _s aEr ZlhpDourZ{ pDk½aEhZmMkwijs+\ a 3JZk pDhpDouijl@hlD£ou\_a]Z{+l>lD£ijs JijsuZk pqta iwhou\ZijBs 'iwh Z(l '*§[]\_aE{+a ° iwoijs1pDkjs l)lMs+suiwvZkjao+lg¢>ijQa ' ou\_a)Z{+l>lD£5o+a 3>olD£5ou\_a l@{+aE`s»kwi Na @ C =' > D vytOnEkwijn NiwhZml@h ou\pDo»hpD`agpDh Oo¶tZiwhZm pDmypDiwh.
(92).
(93) . 35476
(94) . . 3. . D 9 <; >@?BA IB<LM9 D. L. ]¶o/ijs,lMs+s+iwvZkjaOo+l{+aE`lq¢ap¦Z{+lÔ¢aEh ou\_a l@{+aE` l@{p Za _hZiwouijl@h £¤{+l@` ou\_aF~l>x _pDo pDvp@s a ° `Op N>iwhZmr_s+a!lD£ou\_a ~l>x n l@``OpDh 1 D § ]¶hou\_a g5! ½¡ sutJsuo+aE` ° ou\Zijs#n l@``OpDh ijs s+rZZ,l@{uo+a /vytp7suiw`Zkjan l@`vZiwhpDouijl@hOlD£Cp)`l@r_s+a]nEkwijn NpDh pTNaEtJsuou{+l NaM§ ] hl@rZ{1a3_pD`Zkja ° o+l/nqpDh_n aEkCou\_a7Z{+llD£lD£ ) ' iwo]ijs]l@hZkwtOh_a n a s s pD{uto+lnEkwijn N l@h ) ' l@{ou\_a n l@{u{+a s+,l@h JiwhZm < suo pDo+aE`aEhoBpDh o t>,a ' £Àl@{ 1 D ° '\Ziwkjaou\_a `l@r_s+aijssuouiwkwk _ ÇDÄ È5 Ê V+ÌÀÅ5Ë;ÍZŸMÇ S È \ ȤUÅ S}Ï Ä È S ÈÀÈ5Q^Ì¸Ë ; ͽÉ9ȤŸÅHÇ9Ä Å¸ÈQÇ V ÇQ` V;Ê9ŸÊQÇ SS` UÌ È S},Ȥ_Å Ê ^ S_; V;Å5È ZÏ S V T \ Ë= ÇÈ SgV;Ê9Å¸Ê ÇQS S-` Ã5ŸÄQÇ ` V X9ÅCËuŸà MÇ S ]È\ \ ȤT UÅ S}Ä T7&Ï [qÄ ` T Ë=ÏË Ê ` V;Å¸Ä ÇQ` SÈ V Ë=ÉÔÅZV È qQÉ V UÌ S Ë )Ä ` ŸQÇ S½Å¸Ë=Ê S ÍÎ:Å T¶Ë;Ì ` S¶_Ì ^ . . *). . . !#"#$%#&! . +. ^>_a`cbde(fgd. . . . . . . . . ('.
(95) 2. . =@X = =@X = WBX
(96) X X Z>=@? Z>? . iwh ou\_aJWBX Y<Y ? Z
(97) 'iwh Zl'*§[]\Zijsl@,aE{ pDouijl@h \p@s/o 'l%aa nEo+sq§)h_aijs/h_l@o ¢>ijsuiwvZkjaBpDh n l@{u{+a s+,l@h Zso+l*ou\_a]{+aE`lq¢MpDklD£CpDkwkZZ{+l>lD£Às pDh Za _hZiwouijl@h_s ou\pDo1l>n nErZ{u{+a n \Z{+l@h_l@kjl@mMijnqpDkwkwt p9£¤o+aE{ ou\_a Z{+l>lD£ lD£ ) ' £ {+l@` ou\_a~lx sutJsuo+aE`Æs_pDo pDvp@s+a ° ou\_a¦l@ou\_aE{Bijsou\_a n \pDhZmalD£p@sua nEo7lD£»pDkwk ou\_a/n l@``OpDh Zs!ln nErZ{u{uiwhZmBiwhou\_a WBX Y[Y.? Z
(98) 'iwh Zl'p9£¤o+aE{7ou\_a n l@``OpDh ou\pDogsuo pD{uo-ou\_a Z{+l>lD£ lD£ ) ' ]ou\_a s+a n l@``OpDh Zsgsg'iwo+n \ £¤{+l@`0pkwiwmM\o vZ{+l 'hBvp@n N>mM{+l@rZh Bo+l/p*pDkja)vp@n NmM{+l@rZh C§ []\Zijsn \pDhZma!lD£½p@sua nEoa 3JZ{+a s+s+a s»ou\pDo»ou\_a s a n l@``OpDh Zs#pD{+a7h_l kjl@hZmaE{pD{uolD£½ou\_a){+a n l@{ Za Fs nE{uiwZoq§[]\_aEtOnqpDhBh_(l ' v,aga Jiwo+a FpDo 'iwkwk pDh aE¢aEhyourpDkwkwtB{+aEZk p ta C§ ] h l@rZ{a 3ZpD`Zkja ° 'asu\pDkwk)s+iw`Zkwt {+a s aEh o+l ou\_a~l>x sut>s+o+aE`pDkwk#ou\_a n l@``OpDh Zs a 3Zn aEZoF£Àl@{Fou\_a < n l@``OpDh C§ [½l ZlÑs+l ° 'a \p ¢a o+l s+aEkja nEo pDkwk*ou\_a s+an l@``OpDh Zs vt suiw`Zkwt J{ pDmMmMiwhZm¦ou\_a`l@r_s+aOlÔ¢aE{ ou\_a s+aOn l@``OpDh Zs '\Ziwkja Na aEZiwhZm¦ou\_akja=£ o vZrZouo+l@h ZaEZ{+a s s+a C§ aFnqpDhÑou\_aEh nEkwijn N l@hÑou\_a #gliwo vZrZouo+l@h ° l@{Oo t>,a @ §Ñ[]\_as aEkja nEo+a n l@``OpDh Zsn \pDhZma ou\_aEiw{pDZaqpD{ pDh_n a `lMsuolD£-ou\_aE` ourZ{uh taEkwkj(l ' ° '\ZiwkjaBpZiwPh N pD{+aqp `lÔ¢a s Z(l 'hFou\_a7s+aEkja nEo+a Bn l@``OpDh Zs-p@sou\_aEtpD{+a7Z{+ln a s s+a OvtOou\_a*~l>xsutJsuo+aE`§ #£¤o+aE{ vaEiwhZmZ{+ln a s+s a ° n l@``OpDh ZspD{+as+o+l@{+a Xiwh ou\_a vZ{+(l 'h pD{+aqpJ§ \Ziwkjaou\_a Z{+l>lD£#ijs/h_l@o s;p ¢a ° ou\pDoijs-p@s#kjl@hZmOp@sou\_a <On l@``OpDh Fijsh_l@o#s aEhyo#o+lou\_a!Z{+l>lD£s+t>suo+aE` ° iwoijs)pDkjs+l lMs+suiwvZkja*o+lo+aEkwk5ou\_a/~l>x sut>s+o+aE` o+lrZh ZlmlpDk 0Jiw{+a nEo+a n l@``OpDh Zs7l@h_a*vytFl@h_aM§][Hl Zl s l ° iwo»ijs»l@hZkwth_a n a s+s;pD{uto+lnEkwijn NOl@hou\_a #)ijs nqpD{ vZrZouo+l@h l@{vyto¶tZiwhZm B§ M)l@o+a-ou\pDo ou\_a -vl@{uo vZrZouo+l@h nqpDh'vaOr_s+a 'o+l Jijs nqpD{ Xs+aE¢aE{ pDkmlpDk Jiw{+a nEo+a Xn l@``OpDh Zsiwh l@h_a s+o+aE5§[]\_9a NaEtvlpD{ p@n n aEkjaE{ pDo+l@{ ijs-p@s s+lnEi pDo+a Bo+lou\ZijsvZrZouo+l@h5§ . 2
(99) . &
(100) )() ,1 . ,1 , , . -2 ,1& " ® HG . 2 2 32
(101) ) ,"! 2#321) $&%(' . ® ) ) , . -2 ) .0) $* ,+ -,1- #) 2
(102) . ,1 ) . . . . , .,. &
(103) - #) / , . .20 ,"! 211',1&1) 2) 2.2"'$2. ,"'43 &
(104) . ,1 5 . ,-) , . 1 3254 ' , . . " #6 .2 + ,.- ,1&7 .0)++,1 ) 0.0)/. .2
(105) . 8 ,1& " #6 ,"! ,0 2 ,-) 211 ,1&1) .5 $+ . &
(106) $ ,93
(107) . , ) 2 ,1&7 .0)++,1:%. 354766. F. <;. . . >7?EA>U9 ; J@J. . ] oou\Zijs!,l@iwho ° ou\_aOs+nE{uiwZo*lD£ou\_aZ{+llD£]ijs*l@hZkwt suo+l@{+a %iwhou\_aiwhyo+aE{}£¸p@n aM§O[Hl¦s p ¢aiwo*l@h Jijs N ° l@h_aOnqpDh r_s+aOou\_a l@Zouijl@h lD£#ou\_a0; 4(C `aEhyr5§[]\_aOiwho+aE{}£Àp@n a nqpDh ou\_aEhXva o+aE{u`iwhpDo+a 'vytr_suiwhZmou\_a 2 4 l@Zouijl@h lD£ou\_a Siwkja `aEhr5§O[]\Zijs/pDkjs+lpDrZo+l@`OpDouijnqpDkwkwt o+aE{u`iwhpDo+a s-ou\_a ~l>xsutJsuo+aE` ° vt s+aEh JiwhZm p 2 4 n l@``OpDh C§ < &
(108) / = ) 5, , []\_a¢@pD{uijl@r_s 'iwh Z(l '#sgl@h ou\_a s+nE{+a aEhpD{+a~aEhyo pDrZ{ g
(109) =@X =° pDkjs+lnqpDkwkja W = g
(110) =L'iwh Z(l '#sq§ []\_a s Ta 'iwh Zl '#s)pD{+a Za n l@{ pDo+a 'iwou\FvZrZouo+l@h_s#pDh B`aEhr_sou\pDoZ{+lq¢>i Zag\_aEkwFo+l/ou\_agr_s+aE{ . . Ð^. ; <;+=.
(111) g5! ½¡
(112) . £Àl@{vZ{+l('#s+iwhZmou\_aEiw{n l@hyo+aEho+s pDh Ña JiwouiwhZm'iwoq§ []\_aBr_s aFlD£7ou\_a s+aBvZrZouo+l@h_sOijs Za s+nE{uiwva iwh ou\_a'~aEho pDrZ{ Zl>nErZ`aEhyo pDouijl@h ~aEho pDrZ{ % ° n \pDZo+aE{!¶[]\_a/7s+aE{O] ho+aE{}£Àp@n a,%pDhyrpDk § ! su,a nEi pDkwkwtr_s a=£ rZkZ£¤rZh_nEouijl@hpDkwiwouija spD{+a#ou\_lMs+a-Z{+lq¢>i Za Ovtou\_a :=< 4 ZrZkwk Zl'h¤suou{ur_nEourZ{+a0 l@{uijaEho+a a JiwouiwhZm ° ou\_a C 4(>5D ZrZkwk Z(l 'h \ZiwmM\ZkwiwmM\ouiwhZmXpDh aEkwijsuijl@h `a n+\pDhZijsu` ° pDh O£Àl@{»ou\_aa WBX Y<Y.? Z
(113) 'iwh Zl ' ° ou\_)a ; 4C ZrZkwk Z(l 'h kjlp JiwhZmpDh s;p ¢>iwhZm _kja s »pDh ou\_a :=< 4 4?>@5A?B"3=CD ZrZkwk Zl 'h `aEhyRr 0Jiw{+a nEo+a Xa JiwouiwhZm =§ ]¶`,l@{uo pDho*l@Zouijl@h_s*lD£»ou\Zijs7`aEhyr pD{+agou\_al@Zouijl@h_s @54?>=> ' ° : (' ° pDh 6 <=< § +5476. 6.. +CBD %>@?/-EI%L I . . 0 90 I. ][ \_a 7Hg ¡ iwho+aE{}£Àp@n a%Z{+lÔ¢i Za sFs+aE¢aEh N>iwh Zs lD£ 'iwh Zl('#sq§[]\_a WBX Y<Y.? Z
(114) 'iwh Zl(' s+rZZ,l@{uo+sa JiwouiwhZm pDh Ñs+nE{uiwZo`OpDiwho+aEhpDh_n aM§ []\_a ;>=@? = 'iwh Zl' JijsuZk pqt>sOou\_anErZ{u{+aEhyo kwijs+oOlD£!mlpDkjs JrZ{uiwhZm mlpDk Jiw{+a nEo+a Z{+llD£Àsq§ []\_a; ?
(115)
(116) R X Y 'iwh Zl(' surZZl@{uo+s ou\_a l@{+aE` _pDo pDvp@s a%¢ijsurpDkwi5ÔpDouijl@h5§ []\_a s+a%ou\Z{+a a 'iwh Zl'#s pD{+a%mM{+l@rZ,a iwh pY = = 'iwh Zl ' ° Z{+a s+aEhyo7l@h ou\_a/s+nE{+a aEh£¤{+l@` ou\_av,aEmMiwhZhZiwhZmBlD£ou\_a'»l@{gN>iwhZmBs+a s+suijl@h5§][]\_a r_s+aE{ nqpDh'pDkjs lFl@,aEhh_Qa '` rZkwouiwZkj.a 'iwh Zl '#s ° vtn \_llMs+iwhZmou\_al@Zouijl@h M)Qa ' z1{+llD£ iwh Zl ' £¤{+l@` ou\_a Siwkja `aEhrl@{]vytOo¶tZiwhZm < QX 9
(117) + ?A= B Z
(118) X B'\Ziwkja7ou\_a7`l@r_s+a7ijs]iwh ou\_[a WBX Y<Y.? Z
(119) 'iwh Zl '*:§ ]¶o5ijs pDkjs+llMs+suiwvZkjao+l Na aEou\_a»n l@hyo+aEhyo+slD£Zou\_a ; ? (
(120)
(121) R X g Y 'iwh Zl ' iwh¦p % ? ? Y Z = 'iwh Z(l ' vtBo t>ZiwhZm < QX [
(122) ? = B Z
(123) X '\Ziwkja ou\_a `l@r_s+a/ijs7iwh¦ou\_a ; ?
(124)
(125) R X g Y 'iwh Zl '*§* X(X <= =:'iwh Zl 'nqpDhva/nE{+aqpDo+a '\_aEh ou\_agr_s+aE{#{+a xr_a suo+sou\_ago+a 3Jo-lD£ou\_agZ{+l>lD£lD£pou\_a l@{+aE` vytBo t>ZiwhZm £¤l@{ Z = iwhF9p 'iwh Zl ' '\_aE{+agp*ou\_a l@{+aE` Æs]hpD`a-ijs]s+aEkja nEo+a l@c{ '\_aEhBou\_a-r_s aE{ {+a xr_a suo+sou\_a-o+a 3Jo lD£½ou\_a7nErZ{u{+aEho]Z{+llD£ vyto¶tZiwhZm iwh ou\_a WBX Y<Y.? Z
(126) 'iwh Z(l ' =§ X(? 'iwh Zl ' nqpDh pDkjs l vagl@,aEh_a BvtOo¶tZiwhZm ) '\Ziwkjagou\_a!s+aEkja nEouijl@hFijsl@hpDha 3Ja nErZo+a Fn l@``OpDh lD£ pDh rZh _hZijs+\_a FZ{+llD£1pDh Fou\_a!`l@r_s agiwhou\_Va WBX Y<Y.? Z
(127) 'iwh Zl '*§ Hp@suo ° ou\_asut>s+o+aE` pDkjs+l)Z{+lq¢>i Za s1p W Z =@? ? 'iwh Zl ' ° '\_aE{+a]aE{u{+l@{ ° 'pD{uhZiwhZm ° l@{ iwhJ£¤l@{u`OpDouijl@h `a s+s pDma spD{+a JijsuZk p ta o+l!\_aEkwr_s+aE{+srZh ZaE{+suo pDh ou\_a#sur_n n a s+s»l@{£¸pDiwkwrZ{+a lD£ ou\_aEiw{)p@nEouiw¢>iwo t§ S_l@{»¢>ijsurpDkwi 5 iwhZmpDh a JiwouiwhZmn l@``OpDh Zs ° r_s+aE{+s 'iwkwk,`lMsuoukwt '»l@g{ N.'iwou\ = 'iwRh 0 Zl '#sq§
(128).
(129). +54 3. /. L I6.. <I. %>@?/-EI%L . []\_agou\Z{+a a' iwh Zl(#' s#ou\pDo-pDZaqpD{iwh p/`rZkwouiwZkja 'iwh Zl(' £Àl@{u` psurZvR0¸mM{+l@rZ lD£:'iwh Zl('#s ° '\_aE{+a]ou\_a.WBX Y[Y.? Z
(130) 'iwh Zl'Ñ\p@s1p)Z{uiw¢iwkjaEma s+o pDour_sq§ []\_a % ? ? Y Z =R'iwh Zl('#s nE{+aqpDo+a £¤{+l@`ou\_a ; ?
(131)
(132) R X g Y 'iwh Zl' pDkjs+lvaEkjl@hZmo+lou\ZijsmM{+l@rZ5§B/)hJ£¤l@{uourZhpDo+aEkwt ° ou\_aE{+aijsBh_l ¢ijs+rpDk*nEkwr_a iwh JijnqpDouiwhZmÑo+l ' \Zijn \ `rZkwouiwZkja' iwh Zl(' p %Q ? ? Y Z>= 'iwh Zl' ijs-pDouo p@n \_a C§ ^>_a`cbde(fgd.
(133) q. . =@X = =@X = WBX
(134) X X Z>=@? Z>? . M)aQ' mM{+l@rZ_sOpD{+aFnE{+aqpDo+a '\_aEh r_s+iwhZm ou\_aFl@Zouijl@h M7aQ' z{+l>lD£ iwh Zl(' £¤{+l@` ou\_a Siwkja `aEhyr lD£1p/`rZkwouiwZkja ' iwh Zl(' ¤l@{o¶tZiwhZm < »iwhou\_aOWBX Y[Y.? Z
(135) 'iwh Zl('*§ []\_a s a mM{+l@rZ_spD{+aFpDkjs+l%l@{umypDhZi5qa iwhÑp \ZijaE{ pD{+n+\ZijnqpDk ]' p t ° ' \_aE{+a aqp@n \ mM{+l@rZ ijsn l@h_sui ZaE{+a Ñp pD{+aEholD£#pDkwkou\_amM{+l@rZ_s*nE{+aqpDo+a %£¤{+l@`0iwoq§[]\Zijs!h_l@ouijl@h'lD£»pD{+aEho*ijs!r_s+a ' \_aEh r_s+iwhZm ou\_al@Zouijl@h ¦, lÔ¢a*[]\Z` g# a=£ ho+lZ{+aE¢ijl@r_s lD£ou\_a S iwkja `aEhyr5§ )M l@o+a!ou\pDo)ou\_a9' iwh Zl(' Z{+a s aEhyo/pDoou\_av,aEmMiwhZhZiwhZm Zla sh_l@o*\p ¢a p pD{+aEhyoq§a_S l@{*ou\Zijs{+aqp@s+l@h ° iwo pDkjs l Zla s*h_l@o \pq¢a!ou\_a ¦, lÔ¢a*[]\Z` g# a=£ h o+lZ{+aE¢ijl@r_s l@Zouijl@h¦l@{ou\_a % X ou\pDo#`Op N a s-iwo,lMs suiwvZkja o+lnEkjlMs a!iwoq§B] hFou\_a!£¤l@kwkjl' iwhZm ° »' asu\pDkwk5nqpDkwk5ou\Zijs` rZkwouiwZkja ' iwh Zl' ou\_a ? = ' iwh Zl(*' § []\_a W Z =@? ? ' iwh Zl' ° ou\_a X(? ' iwh Zl(' ° pDh !ou\_a X(X L' iwh Zl(' pD{+a h_l@opDo 0 ' §w§w§ o p@n \_a *o+l#pDhtgs+rZvR¸0 mM{+l@rZ ° p@sHpD{+a1ou\_a ' iwh Zl(#' snE{+aqpDo+a !r_suiwhZm#ou\_al@Zouijl@h )aEhFiwhV7M aQ lD£ ou\_a; 4(C `aEhyr¦lD£ ou\_aVW Z>=@? ? ' iwh Zl(*' §.
(136). +54,+.
(137) . 9CED. %>@?/-EI . ]¶h%ou\_aa;>=@? = 'iwh Zl'l@h_as+a a s*ou\_a¢@pD{uijl@r_s*s+rZvZmlpDkjs!ou\pDo!h_a a o+lBvaZ{+lq¢aEh5§ ]¶h ou\Zijs 'iwh Zl' ° mlpDkjs7pD{+a JijsuZk p ta iwhp Ji aE{+aEho7l@{ ZaE{7ou\pDh ou\_a/l@{ ZaE{-r_s a iwhou\_a*o+aEkjaEo t>a iwho+aE{}£Àp@n aBlD£-n l>x§ ¶] hXn l>x ° ou\_aEtXpD{+aZ{uiwhyo+a J' iwou\ ou\_a p@s surZ`Zouijl@h_spDZ,aqpD{uiwhZm l@h o+l@ lD£ou\_an l@h_nEkwr_suijl@h ° iwh 7Hg ¡ ou\_aEt'pD{+a JijsuZk pqta ' iwou\ ou\_an l@h_nEkwr_suijl@h pDZ,aqpD{uiwhZml@h o+l@FlD£Hou\_a!p@s+s+rZ`Zouijl@h_sq§1[]\_aE{+a!pD{+a7mll {+aqp@s+l@h_s£¤l@{]n+\_l>lMsuiwhZmOp Ji aE{+aEho#s+aEourZBiwhBou\_a mM{ pDZ\ZijnqpDkr_s+aE{ ¸0 iwho+aE{}£Àp@n a #l@k %p@s+surZ`Zouijl@h_s7ou\r_s7pDZaqpD{)iwh¦ou\_avl@ouo+l@` lD£1ou\_a' iwh Zl(' pDh \p ¢apo+aEh ZaEh_nEt!o+l Jijs;pDZ,aqpD{ ° ' \Ziwkja»l@k _pDo p\p@s p]o+aEh ZaEh_nEt!o+l Jijs pDZaqpD{Ho+l' pD{ Zs ou\_ago+l@¦l@h¦p/{+aEmMrZk pD{)pDkwZ\p ¸0 hyrZ`aE{uijn/o+aE{u`iwhpDk¸§ )h_anqpDh `lq¢apDv,l@rZo£¤{+l@` surZvZmlpDk#o+l surZvZmlpDk-r_suiwhZm'aEiwou\_aE{ou\_aBvZrZouo+l@h_sOiwh ou\_a s+p@n a*vaEo »' a aEhou\_a"WBX Y[Y.? Z
(138) pDh ;>=@?A= ' iwh Zl' ° l@{-r_suiwhZmOou\_a N aEtvlpD{ ¦p@n n aEkjaE{ pDo+l@{+s Za s nE{uiwv,a FvaEkjl(' ' \_aEhou\_ag`l@r_s+a!ijsiwhFou\_a ;>=@? = ' iwh Zl*' § 8 ! § ~»\pDhZma sou\_anErZ{u{+aEhyo surZvZmlpDk-o+l ou\_ah_a>3 oOl@h_aM§ []\_anErZ{u{+aEhyo surZvZmlpDk5h_a a Zs#o+lva!sua nEi a ' \_aEh l@h_a!r_s a s9 X(X 98 % 8 PX Z>= Z £¤{+l@`¥ou\_a<; ? (
(139)
Documents relatifs
WORKSPACE and press [RETURN). Being able to specify a different name also allows you make the Workspace in a volume other than your current volume. After you
When encountered in the course of program execution', the breakpoint suspends execution of the user's program, saves all registers in a reserved memory area,
The second is labeled HSC50 Utilities tape and is used in conjunction with the System tape to run inline diagnostics or utility programs while the HSC50 is online.. The third tape
The transport also responds to any nontape motion commands (get status, drive initialize, set charac- teristics, and message buffer release) when off-line, except
Elles optent pour une conception intégrée, car elle leur permet de penser et de travailler l’oral comme moyen et objet de l’enseignement: le langage est le milieu où se
WICASTplay+ offre également les options de lecture parmi les plus puissantes, ce qui vous permet de diffuser de la musique synchronisée ou plusieurs types de musique depuis
When editing operations on the page are complete, it is returned to ROSCOE by the ENTE R key (any other program attention key is interpreted as an ATTN, and
As explained earlier, during floppy disk instal- lation, SP-SETUP copies as many files as it can from the Sprint disks to your Program A Disk (or, if you have a 360K system,