Interactive Programming Environment for ML
19
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Interactive Programming Environment for ML Laurence Rideau and Laurent The´ry. N˚ 3139 March 1997 THE`ME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5)
(6)
(7) . !#"$&%('. )!*,+ -/.10 21.4365879.:*;+<*;097=)!*,+ -/.10>6?A@9BC-ED FHGJIEKMLNOQPSRETJUVLXWZY\[CUZ]UVLEW L^_]`aWb]cdWfehg:Ki,Y\WZUbjCcdL k lmY\noL^qpsr!t!uqk r!`\vJv,Y\lm^wJLXlmL/]xGJLlx]xGJLTyCzJ{EzC|4O~}`\l]xG4{E|\|:SOQN1vd`a[CLEe. E $J\ \ FHGJUbevd`\v;LElvdlmL/ehLETC^xe YCcJlL:v,LlUZKMLET1^UVT6iJcJUZWZwUZTJ[`XvJlY\[Cl`\KMKUZTJ[XLT::UZlmYCTJKLT1^Y\l } FHGdL6`avJvdlmY1`\]xGUZeid`\emLEwY\TlLc;em`\iJUVWZUV^og\JlY\KLUZeh^mUZTJ[]Y\KvJUZWVLEleXsL wLElmUZ\L emY\KL^mY:YCWZe ^Gd`$^ `\eehUbeo^ c;ehLEle6UVTwLE\LEWVYCvJUVTd[}vJlY\[Cl`\KeE=}i;LEUVTd[`eh^mlY\TJ[CWVg^og1v,LEw Wb`aTd[\cd`\[\L\¡HUV^e ^og:v,LE]xGJL/]x¢:UVTJ[4`aWZ[\Y\lUV^mGJK£vJWZ`¤ge`]LET1^mlx`aWlY\WZL\¥:YsL6vJlLEemLT1^emY\KLA^Y1YCWZe^mG;`$^MemGJY$¦GJY$§^mY KA`\¢\LScdehLXY\¨^og:v,LXUVTYClmKA`a^mUZY\T UVT`MvJlY\[\lx`aKKUZTJ[LET1:UZlmYCTJKLT1^E ©ª1«¬®¯ $° \ } ¡cJT;]±^mUZY\T;`aWfvJlY\[Cl`\KKMUZTJ[;¡CvJlY\[Cl`\KKMUZTJ[LT::UVlY\TJKLETC^/¡:^og:v;L/]xGJLE]x¢:UZTJ[. ²b³f´hµ·¶E¸´H¹ ºZµ·»½¼¾. Unite´ de recherche INRIA Sophia Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA ANTIPOLIS Cedex (France) Te´le´phone : 04 93 65 77 77 – Te´le´copie : 04 93 65 77 65.
(8)
(9) 6!.
(10) . . . ! £
(11)
(12) " &%('. . pLvd`avJUZLlXvdlmR/ehLETC^LWVLlREemcJW ^x`$^wLATJY1e Lv,RlUVLETd]L/eXehcJl Wb`]YCTdeo^lmc;]±^mUZY\Tw cJT LT :UZlmYCTJTJLEKMLET1^XwJLAvJlmYC[\lx`aKKA`$^UVYCTv,Y\cJlXWZLAWZ`\TJ[C`\[\LMY\T;]±^mUZY\TdTJLW} _Ya^mlLA`avJvdlmY]xGJLAemLY\TdwL emcJl Wb`6lRc^UVWZUbem`\iJUVWZUV^mR\ !YCcde wRlUZ\Y\T;eqwLA]Y\KvJUZWZ`a^mLcdle wRhn LUZeh^`\TC^xe wLEeSY\cJ^mUZWZeXj1cJU `CememUZeh^mLET1^ W c^mUZWVUbe`$^mLEcJlwd`aTde¨WVLswRCLWZY\vJv,LKLT1^wJLvJlY\[Cl`\KMKL/ef} $}AR^`aT1^ cJTWb`aTJ[1`a[\L YClh^LKLT1^¨^og:v,R\¡ emY\T`aWZ[\Y\lUV^mGJKLwJL^og:vd`\[\L gHnoYCcJLcdTl \WZLUZKMv,Y\lm^`\T1^E9u!UZTdehU:TJYCcdevJlmYCv;Y1ehYCTde¨wJU RlLT1^e YCc^mUZWZe9j1cJU KYCTC^lmLET1^]YCKMKLETC^WVL/eUZTY\lKA`$^UVYCTde wL_^og1v;`a[\Lv,Lcd\LT1^ ^mlL!c^UVWZUbehRELEeswJ`aTdecJT LET1:UZlmYCTJTJLEKMLET1^ wJLSvdlmYC[\lx`aKKA`$^mUZY\T¨ ¯ / ¬ } ¡:Wb`aTJ[1`a[CLY\Td]^mUZY\TJTdLW½¡LT::UVlY\TJTdLKLT1^swJLqvJlY\[Cl`\KK`a^mUZY\Tf¡CUVTJRlLTd]LSwLq^og:v;L. . . . . . . . .
(13) z.
(14) !""#%$'&. 6
(15) . (. . FHGdUZevd`av,Ll vJlLEemLT1^eY\cdlL:v,LlUZKMLET1^UZTiJcJUZWbwUVTd[S`_vJlmYC[\lx`aKKUVTd[LT::UVlY\TJKLETC^¨Y\l} \tqcJl UVTdU ^UZ`\WdKYa^UV$`a^mUZY\TAH`\e9^YXcJTdwLEleh^`\TdwM^mYG;`$^L1^LT1^`XvdlmYC[\lx`aKKUVTJ[SLT::UZlmYCTJKLT1^]YCcJWZwi,LTdL)J^ lY\K ehYCKMLHY\d^mGdL!]xGd`alx`\]^mLlUbeo^UZ]EeY\}¡\emcd]xGM`Ceeo^lmYCTJ[q^og1vdUVTJ[X`\TdwMKMYwcdWZ`\lY\l[C`aTd+U */`$^mUZY\T¨ ,4L G;`¤\LS^mL/eo^LEw Y\cJlUbwL/`\eYCT6^osY wU ,LElmLETC^!UZKvJWZLKLT1^`a^mUZY\TdeHY\}/ .;¥J}1 0 243Z{ 5`\Tdwps`aKWZ¨UV[CG1^ 3Z
(16) { 65½9FHGJUbe LT;ehcJlLEe ^Gd`$^Gd`$^ Ube vJlLEemLT1^LEwGJLlLUZe UVTdwJLv,LTdwLET1^Ya` vd`\lh^UZ]cJWZ`\lUVKvJWZLKLETC^x`$^UVYCT Y\9} 7CLT ^GJY\cd[\G sLLElmLLv;LElmUZKLT1^mUZTJ[d¡YCcJl]Y\Td]LlT s`C9 e 88`\Tdweh^mUZWVWqUZ;e :^Y Y\i^x`aUZT`lLE`aW vdlmYC[\lx`aKKUVTJ[4LT::UVlY\TdKMLET1^YCl6} `aTdwTJYa^YCl `emcJidemL^AY\qUV^EFHGJUbeAwLE]UZemUZY\TG;`\eGd`Cw`\T UZKv;YClh^x`aT1^!UZKMv;`\]±^qY\T ^mGJLwLEemUV[CTf , GJLTwL/`aWZUVTd[AU ^G`AehcJi;ehL^_Ya9^mGdLWZ`\TJ[\c;`a[\L UV^_Ubev;Y1ememUZiJWVL ^YiJcJUZWZw^mY:Y\WbeSWVUZ¢\LA`vd`alxemLl Y\lS^og:v;L/]xGJLE]x¢CLlqlmYCKe]lx`$^]xG¨¡,GdUVWZLMY\l ^mGdLcdWVW Wb`aTd[\cd`\[\L^GJUbe UZe cdTJlmL/`aWZUZeh^mUb]aAdY\lS^mGJUbeXlLE`CehYCTf¡Lid`CehL/wYCcJl`avdvJlmY1`\]xGYCTemYa ^oH`alLMlmLEcdehLC¡fWZUVTJ¢:UZTJ[`aTLUbeo^UVTJ[ vdlmYC[\lx`aKKUVTJ[LET1:UZlmYCTJKLT1^_[CLTJLEl`a^mY\lqpLET1^`acd< l 3 =z 5^Y6`aTLUZeh^mUZTJ[ } ]YCKMvdUVWZLl/ !Y\^mL^Gd`$^SU ^ Ube v,YCeemUViJWZ L >@? #9^mGdLq]YCKvJUVWZLlUZeswL/ehUZ[\TJL/wUVTehcd]xG`Xs`¤g^mG;`$^UV^Ube L/`\emg^YKYwUVg\JYCWVWZY$UVTd[ ^GJL^LlKMUZTJYCWVYC[\gY\f¥d} ¡CL_]E`aWZWdemcd]xG `]YCKvJUVWZL l ;AB; tqi::UZY\cdemWVg^mGJL_^oY]Y\KvJUZWVLElesLGd`¤CL i,LLETcdehUZTJ[A`alL Y\v,LTf FHGJLSvd`\v;LElUbeYClm[1`aTJCU *L/w`\eY\WZWVY$!eED ,E L );leh^vJlLEemLT1^^mGJLSwU LlLT1^s^mY:Y\WbeL!G;`¤\L_wLE\LEWVYCv;L/w `\TdwsLehGdY$=GdY$<^GJLgUZT1^mL[Cl`a^mLXUZT1^mYA^GJLLET1:UZlmYCTJKLT1^E!FHGdLTsL]YCTd]LET1^mlx`$^mLXYCTGJY$=^mGJL/ehL ^Y:Y\Wbe sY\l¢M`\TdwGd`$^^mGJLqUVKvJWZLKLETC^x`$^UVYCT vJlY\iJWZLKAe`\lmLC dY\lGJY\KY\[CLTJLEU ^ogC¡a^GJLqLJ`aKvJWZLEe^Gd`$^ UZWZWVcdeh^mlx`$^LS^mGJL/ehLS^osYemLE]^mUZY\TdeHc;ehLps`\KMWbfUZ[\G1^ehg:T1^`a. . . . . HG!
(17) F. UZ[\cJlL{ vJlmL/ehLET1^eH`em]lmLELTwcJKvYa¨^GJLXLT::UZlmYCTJKLT1^H^mGd`a^HsL Y\i^x`aUZTfJI·^!Ube]Y\Kv,YCemLEwYaY\cJl wJU LlLT1^ UZTdwY$!eE FHGJL_cJvJv,Ll WZL ^UZTdwY$ Ube`aTL/wU ^Y\l^Gd`$^s]Y\T1^x`aUZTde`aTUZTd]YCKMvdWVL^mL!vJlY\[Cl`\K FHGdLSvdlmYC[\lx`aK UbeH^mGJLXlLEemcJWV^Ya¨^GJLXLEwJU ^Y\l!lLE`CwUVTd[^GJLK)dWZLMLONPLQSRUTd u_eH^GJUZeH)dWVL Gd`\vJv,LTdeH^YAi;L emg:T1^`\]^mUb]`\WVWZgUVTd]Y\llmL/]±^/¡^mGJLvJlY\[Cl`\K UbeXwUbehvJWb`¤g\L/wUV^mGGJY\WZLEeEFHGJLGJYCWVL/e `alLlLvJlLEemLT1^LEwi:g VXWZYZ[Z\ ]Z^Z_Z_`_ ¢CLg:sY\lxwJef`aTdTJYa^x`$^mL/wXUV^mG^GJLsvJUVL/]LYa^mL:^^Gd`$^9Gd`\ei,LLTlmLhnoLE]^mLEwfJcdlh^GJLlKY\lL GdUVWZLM^og1v,LE]xGdLE]x¢:UVTd[6^GJLAvJlY\[\lx`aa K 88LCLT4^mGJYCcJ[\GU ^H`\eSUZTd]YCKvJWVL^m=L :±¡`\T4LElmlY\l `aT;w4` H`alTJUVTd[ G;`¤\LY]E]cJllmL/wFHGJLKLEee`a[\L/eq`\lmLwUbehvdWZ`¤gCLEwUZT4^mGJLcJvJv,LlXlUZ[\G1^SUZTdwY$XM¥:LWZLE]^mUZTJ[ ^mGJ L )dlxeo^ KL/eme`a[CL!Gd`\eGJUZ[\GJWZUZ[\G1^mL/wA^mGdLqUbwLT1^bU )dLE l LBTZT^mG;`$^HGd`\es]`\cdehL/w^mGdLqLElmlY\l/ FHGdLqWZY$LElWZL ^HUVT;wY$ UbeX`aTdYa^mGdLl LEwUV^mYClE¡¨GJUZ]xG ]YCT1^`aUZTdeX`KY\lLemcJideh^`\T1^mUb`aW9vJlY\[\lx`aKMu_eehY]Ub`$^LEw^mYUV^E¡f^GJLAWZY$LEl lUZ[\G1^!UVT;wY$<[CUVCLEeH^GJLLvJWZ`\Td`$^UVYCTYa9^mGJL^og1v,LY\ ^GJLXcJT;]±^mUZY\c T LOdXefPXg RUTdFHGdLX^mGJlLLwYa^xe!UZT ^GJLLvJWZ`\Td`$^UVYCTwLETJYa^L` lLLElmLETd]L^mY`6vd`alm^qY\^mGJLMvJlY\[Cl`\K S¥:LWZLE]^mUZTJ[ ^GJ< L );leh^_^GJlmLELwY\^e Y\¨^GJLXLvJWb`aTd`a^mUZY\T Gd`\eHGdUV[CGJWVUZ[\G1^LEw6^mGJL`\vJvJWZUZ]E`$^mUZY\T YaJ h iBN j"gk jM^! Y l"k T N jd RUN; _Y$ ^mGd`a^SsLGd`¤CL[\UZ\LET`aTY$CLl:UVLE<Y\^mGJLM¢:UVTdwYaLET1:UZlmYCTJKLT1^_sL`\lmL`\UVKUZTJ[`a^E ,4L vdlmL/ehLETC^ ^GJL6wU ,LElmLET1^X^mY:Y\Wbe LAG;`¤\LAwLCLWZY\v,LEw¡ ehvdWVUV^h^UVTJ[^mGJLEKUZT ^oY]`a^mLE[\Y\lUZLEeEA¥g1T1^x`\]±^UZ] ^Y:Y\WbeH^`\¢\L UVT1^Y6`\]E]Y\cdTC^YCTJWVg ehg:T1^`C]±^UZ] vJlY\v,Llm^mUZLEeHY\} vJlY\[\lx`aKAeE¡GJUZWVLemLKA`aT1^UZ]S^Y1YCWZe!cdehL emY\KLXemLKA`aT1^mUb] `\emv;L/]±^xe¡KA`aUZTJWZgA^og:v;LXUZTYClmKA`$^UVYCTf. . . mDmonJprq stqvu. .
(18) & ;9&
(19)
(20) v? 6. UZ[\cJlL{ . ue]lLLT wcJKv. 1m.
(21)
(22) !""#%$'&. .
(23)
(24) . . ¥g1T1^x`\]±^UZ]^mY:Y\WbevdlmY$:UbwLH^mGJLqid`\emUb]cJTd]^mUZY\Td`\WVUV^mUZLEeYa^GJLSeh^mlcd]^mcJlLEwL/wU ^Y\lsehcd]xG`\e vdlmL^h^ogMvJlmUZT ^UVTd[d¡JemLWZLE]±^UVYCTf¡d`\Tdw6L/wUV^mUZTJ[d. . ª E « ! ", # "%$. FHGdLlLE]UVv,LEe_^mY UVT;]lLE`\emLWZL[CUVidUVWZU ^ogY\s}vJlY\[\lx`aKAeq`alL^mGdLcdemcd`\W YCTJLEeE UVlxeh^E¡f`6emv,LE]Ub`aW]E`alL Kcdeh^i;L ^`a¢CLT YClX^mGJL6WZ`¤gCY\c^/¡ emY^mGd`a^UZTdwLT1^x`$^mUZY\T `\Tdw WZUVTJL6iJlmL/`a¢:UZTJ[`alL `\eKL/`aTJUZTJ[acdW`\e v,YCeemUViJWZL\ I TA^Gd`$^HlLEemv;L/]±^HL_^mlg^mYYCWVWZY$ ^mGdLSeh^og:WVLS`\wCY:]E`$^LEwAUZT6i,Y:Y\¢eemcd]xG6`Ce 3Z{'&5`\Tdw93 N{5½ ¥LE]YCTdw¡ ^mYC¢\LETdeUZT vJlY\[Cl`\Ke i,LWZY\Td[^mYwU LlLT1^ehg:T1^`C]±^mUb] ]E`$^mLE[\YClmUZLEeE¡emYUV^UbeUZKv;YClh^x`aT1^^mY :Ubehc;`aWZWVgwUbeo^UVTJ[CcJUbehG^GJLK c;ehUZTJ[ YCT1^eqY\lq]Y\WZY\lxe) (!LElmLUbe `aTLJ`aKvJWZLYa ^GJLidWZ`C]x¢`\TdwGJUV^mL v,YCeh^e]lUZv^[\LTdLlx`$^mL/w i:g6YCcJlHvJlL^h^ogvJlUVT1^mLErl .. . (*Definition of the map function *). let rec map = function | f, [] → [] | f, (hd :: tl) → f hd::map (f, tl);;. _Ya^Lq^Gd`$^_]Y\KKLT1^e`\lmL. UZT ^og1v,LlUV^mLl!eh^og:WVL GJUZWZLXvd`$^m^mLlTde`\lmLSUVTUV^`\WVUb]a F GJLElmL`alL^osY KA`aUZT wU ,LElmLETd]L/e6i,L^osLLET ^mGJL pLT1^x`acJl `avJvJlYC`C]xG `aTdw ^GJLcdehc;`aW_vdlmL^h^og H vdlmUZT1^mUZTJ[ vJlmY$:UbwLEwi:gLEwJU ^Y\lxeAehcd]xG `\e!7 K`C]e43 65· I T pLT1^`\cJlE¡^mGJLWb`¤g\YCc^AUZei;`\emLEwY\T ^mGJL `\ideh^mlx`\]±^Mehg:T1^`a4^lmLEL lmLEvJlLEemLT1^`a^mUZY\TYa!vdlmYC[\lx`aKAePSUZ\LET `emY\cJlx]L )dWVLC¡U ^MUZe<)dlxeo^Mvd`alxemLEw^mY vdlmYwcd]LS`Memg1T1^x`$^mlLLC9FHGdLT cdehUZTJ[`emL^Y\¨lmcdWVL/e¡1^mGdLSWb`¤g\YCc^Y\¨^GJL_^lmLELqUbe]YCKvJc^mL/w ¥:YM^mGJL vdlmL^h^ogvdlmUZT1^mUZTJ[XUZ e O! `\TdwUZe v;LElhYClmKLE4 w AO
(25) X">b?sY\^mGJL!UZTJUV^mUb`aW,ehYCcJl]LWZ`¤gCY\c^/FHGJL emLE]Y\TdwwU ,LElmLETd]LSUZes^Gd`$^HYCTC^xeH`aTdw ]YCWVYCles`alLqemLWZLE]^mLEwcdemUVTd[M`\T6LJ`C]±^!ehg:T1^`C]±^UZ]S]lU ^LlUVYCT6`aT;w TdYa^`\T6`avJvdlmY¤UZK`a^mUZY\TAemcd]xG `\elmLE[\cJWb`al LvJlmL/ememUZY\TdeE¡aGJUb]xG6`alL!cdemLEwUZTA^GJL 7KA`C]eGJUV[CGJWZUV[CGC^UVTd[ KYwLC. . . *. . . + E a f ª ° + ª ª a ' ¯ ". tqTdLAYaH^mGJL6i;LETJL)J^xeY\sGd`¤:UZTJ[`]WZYCemL ]YCTJTJL/]±^mUZY\T i,L^osLLET4^GJL vJlY\[Cl`\K`aT;w4UV^e^mlLLAlLvJlL emLT1^x`$^mUZY\T UbeX^Gd`$^ML [CL^YClXlLLA^GJLeh^mlcd]±^cJlLEwemLWZLE]±^UVYCTf¡ U L\Z¡`ehLEWVL/]±^UVYCT ^mGd`a^Y\WZWVY$!e^mGJL eh^mlcd]^mcJlL\MI·^XKLE`\Tde!^Gd`$^emUVKvJWZgi:gehLEWVL/]±^UVTJ[^mGdL^Y\¢\LET kl Ya` ]YCTdwUV^mUZY\Td`\W9LvJlLEeehUZY\TUV^XUZe v,YCeemUViJWZL!^YGdUV[CGJWVUZ[\G1^s^mGJLSGJYCWVLSLvJlLEeehUZY\T¨tqcJlsLv,LlUVKLETC^xesGd`¤\L_emGJY$T6^mGd`a^sGd`¤:UZTJ[emcd]xG6` emLWZLE]^mUZY\T UZe!LEeehLETC^UZ`\W .UV^!vJlY$:UZwL/e` f O>:`\Tdw A";
(26) *,
(27) Hs`¤g ^mY emGJY$<`\TdwwLEemUV[CTd`$^L WVY]`a^mUZY\Tde UZTvJlY\[\lx`aKAeE. .-. . / ª E0 1 ª32;ª. . 7 \LT UVUV^HUbeH[\Y:Yw vdl`C]±^mUb]LSUZT}4^YMidcJUVWbwU. . ^xeHvJlmYC[\lx`aK `\eH`MehL^Ya emKA`aWZW`aTdwKY:wJcJWZ`\lHvJUVL/]L/e¡ `C]±^UV:UV^mUZLEeemcd]xG`\eiJlY$!ehUZTJ[LUbeo^UVTJ[WVUZiJlx`alUVL/e K`\¢\L UV^`\WVH`¤ge TJLE]LEeem`\lmg^mY]Y\KvJlLGJLETdwiJUV[ ]xG:cJTd¢:eqYa]YwL\tqTd]LM`a[1`aUZTGd`¤:UVTd[A^mGJL^mlLLWVUZTJ¢CLEw^Y6^GJLWb`¤g\YCc^_vJlY$:UZwJLEe_`6Td`$^cJlx`aW¨LEWVUbemUVYCT KL/]xGd`aTJUbemK 5 4_emUVTd[^GJL wLEv^mGUVT^GJLM^mlLL\¡¨U ^XUbe v;Y1ememUVidWVLM^mYlLvJWb`\]LLvJlmL/ememUZY\Tde_^mGd`a^`alL^Y1Y wJLLvAUZTA^GJL_vJlY\[Cl`\K i:gA`aTALWZUbehUZY\T emg:Ki,Y\W;emcd]xG `C7 e 63898'8 :± (!LlL!Ube^GJLqe`aKL!vJlY\[Cl`\K `Ce ehL/]±^UVYCT. mDmonJprq stqvu.
(28) & ;9&
(29)
(30) v?. NJV{CV{SiJc^!UV^mG`MWZY$LElHwJL^`\UVW¨WVLE\LW . (*Definition of the map function *). let rec map = function | f, [] → ... | f, (hd :: tl) → ...;;. T ^GJLehv,LE]UZ`\Wf]`CehL Ya} ¡dU ^!Gd`CeHi;LELTTJL/]LEee`alg^mYAlL)dTJLS^GJLehUZKvJWZL]lU ^LlUVYCT6YawLEv^mGfJY\l LJ`aKvJWZL\¡ ]`Cem]E`\wUZTJ[ kl ]YCTdeh^mlcd]±^xe[CUVCLEeTJLEeh^mL/w]YCTdwUV^mUZY\Td`\WZeUVT^mGJL ^lmLELeh^mlcd]±^cJlmLC 7WVUbemUVYCT ]Y\KvJc^x`$^UVYCT Gd`\e^GJLT6^mYMi;LSlmLEid`aWb`aT;]LEw6ehY^mGd`a^sL/`\]xG iJlx`aT;]xG Yaf^GJLX]YCTdwUV^mUZY\Td`\W;Gd`Ce ^GJLXem`\KL wJL^`\UVWWVLE\LEW 9 I·^UZeM`aWbehYY\ ^mLET KY\lL v;LElh^UVTdLT1^^YehGdY$ ^GJL6v;`$^h^LlTvd`alm^Y\`KA`$^]xGdUVTJ[UV^mG KYClmLwL^`\UVW^Gd`aTUV^e_i;YwgCFHGJLcdemLl_]E`aT ^mGdLTY\TdWVgLvd`aT;w ^mGJL]E`\emLEeGdLXY\l_emGJLUbeUZTC^LlLEeh^mL/w UZTf I. . . . %° ª °. S°7 # "7$. . 7wU ^UVTd[_UZT`!eh^mlcd]±^cJlmL/w LEwUV^mYCl^`\¢\L/e¨`\wJ¤`\T1^`a[CLYa:^mGdL]YCTJTJL/]±^mUZY\TXUV^mG^mGJL`\ideh^mlx`\]±^ ehg:T1^`a_^mlLL ^YvJlY\v,YCemL_`XKLT:c UV^mG6lmLEWVLE¤`\T1^ ^mlLL_]Y\Tdeh^mlcd]^mUZY\TdeE¡CU½ L\Z¡1]Y\Tdeh^mlcd]±^UVYCTde^Gd`$^s`alL_ehg:T1^`C]±^UZ]E`aWZWVg ]Y\Kvd`a^mUZiJWVL6U ^G^mGJL ehLEWVL/]±^LEw vJWb`\]L\FHGJL TdYa^mUZY\TY\!UVT;]Y\KvJWZL^L vJlY\[Cl`\Ke Ube]E`av^cJlLEw i:g` emv,LE]Ub`aW,ehg:T1^`aTJYwL_^mYlLvdlmL/ehLETC^vJWZ`C]L!GdY\WbwLlxeUZTA^mGJLqvJlY\[\lx`aK9¥:Y]YCTdeh^mlcd]±^UVTJ[`XvJlY\[\lx`aK UZe noc;eo^X` vJlY\[ClmL/ememUZ\L lm
(31) L )dTJLEKMLET1^qYa^mGJLMvJlY\[\lx`aK¡;lmLEvJWZ`C]UZTJ[ vJWb`\]LGJYCWZwJLlxe!i:gLvJlLEeehUZY\Tde_GJUb]xG KA`¤g `aWbehY ]Y\T1^`\UVTYa^GJLl_vJWZ`C]LGdY\WbwLlxeHJYCl!LJ`\KMvdWVLC¡dWZL^_cdeqehcdvJv;Y1ehL ^Gd`$^qLH`aT1^^Y LEwUV^q`\T LvJlmL/ememUZY\T vJWb`\]L6GJY\WbwLl^mY4[\L^`]YCTdwUV^mUZY\T GdYCemLA^mL/eo^MUZeM`]YCT$nocJTd]^mUZY\Tf¡sL6eh^`\lh^UV^mG^mGJL vdWZ`C]L GJY\WbwLEl .
(32) . ,L^mGdLT. ]E`$^L[\YClmg. emLWZLE]±^X^GJLAUV^mLK. klYas^mGdL KLT:cehGJY$UZTJ[cde`\WVW9^GJL6]Y\Tdeh^mlcd]±^UVYCTde. ^ i¡JehYsLS[CL^ . k=l. ¯f¯. . . LBN j. . . ^ i. NOTBP N. ^ i . UZT4^GJL6emg:TC^x`\]^mUb]. FHGdLMKLET1cTJY$ wJUZemvJWb`¤g:eq^GJLA]Y\T;eo^lmcd]^mUZY\TdeSY\^mGdL]E`$^L[\YClmghZhOTJF¨Y[\L^`]Y\T$nocJT;]±^mUZY\T¨¡fL emLWZLE]^H^mGJLXUV^mLEo K d j". kl. . . ¯f¯. . I·^GJL_vdlmLE1UZY\c;eLJ`aKvJWZL!Ube`X^mY\v. . . h hOT. LBN j. . ^ i. NOTBP N. . ^ i. ·wY$TA]Y\Tdeh^mlcd]±^UVYCTf¡1U ^sUZe`aWbehYv,YCeemUViJWZL^Y]YCTdeo^lmc;]±^vJlY\[Cl`\KAe i,Ya^m^mYCK ·cJvfdY\l_LJ`aKvJWZL\¡d[CUVCLT`aTLvJlmL/ememUZY\Tf¡^GJLKLT:cY ,LEleH^osY v,YCeehUZiJUZWVUV^mUZLEeq`aWZWVY$UZTJ[M^mY LETd]`\vdemcJWZ`a^mLS^mGdUZeHL:vdlmL/ememUVYCT6UZT`M]Y\TdwJU ^UVYCTd`aW . ehLEWVL/]±^UVTJ[M^GJLK)dlxeo^UV^mLK Y\T^mGJLXLvJlmL/ememUZY\T. . . d . [CUVCLEe "!$#&%('")+*-,#/.-)10324%(03)527680903,6 )".8< >7)1.P. n. kl . hZhOT. LN j. .-)1.;:=< >7*@?-09%('BA)C>92D%. n. d . NOTBPN. .E>7*-)+?F,#/.8GH%('")D<. ^ i . n. .-</'"%I>9)"2J>7*-)D)CK8L-03)12729</,. n. >9*M%I>N</2N'16-0309). n. >7# O. 1m.
(33) .
(34) !""#%$'&. GdUVWZLXehLEWVL/]±^mUZTJ[^GJLXYa^GJLlH[\UZ\L/e k=l. hZhOT . LN j. ^ i . NOTBP N. 8. d . }Y\lLs[CLTJLEl`\WVWZg ^mGdLKMLET:cemGJYCcJWZw`\WZemYqvdlmY$:UbwLsY\l `aT:g¢:UZTdwMYaeo^lmc;]±^mcdlmL/w^l`\TdeoYClmKA`a^mUZY\TdeE¨u!T L J`aKvJWZLYaemcd]xG` ^mlx`aTdehY\lKA`$^UVYCTUZe_^mGJLMlLlU ^UVTJ[Ya`]Y\T;wU ^UVYCTd`aW UZTC^Y`6K`a^]xGJUZTJ[; PSUZ\LET ^GJL]YCTdwUV^mUZY\Td`\WLvJlLEeehUZY\T kl d LN j d NOTBPN d8 ^lmUZ[\[CLlUVTd[^mGdL ^mlx`aTdehY\lKA`$^mUZY\TvJlY:wJcd]L/
(35) e . RUdXL. . d. . . k=L. L N. d
(36) 'lOdZTBP N. . 8. d8 . FHGdL[\cdUZwL/wLEwUV^mUZTJ[vJlmY$:UbwLEwi:gpLT1^`\cJlq`C]]Y\KKY:wd`$^mL/eH^mGdLEemL^mGdlmLEL¢:UVTdwde_Y\ LEwUV^mUZTJ[d 7\LET ^GJY\cd[\GKMLET:cde`alLA]cdeh^mYCKU+*/`aiJWZL\¡ ehv,LE]UZ`\W]`\lmLMGd`\eX^mYi,L^`a¢CLT^mYvJlY$:UZwJLMv,Llm^mUZTJLETC^MwL8`\cJW ^ KLET1c;e }YClmLXwL^`aUZWbeHUVWZWfi,LX[\UZ\LT UZT^GJLXUZKMvdWVLEKMLET1^`$^UVYCT emLE]^mUZY\Tf. . / ª a q° ' "%$ . ¥:^mlcd]±^cJlmL/wLEwJU ^UVTJ[emGJY\cJWbwTJY\^SlcJWZLYCc^SwUZlLE]±^X]xGd`\l`C]±^mLEl!id`CehL/wLEwUV^mUZTJ[; FHGdLg]YClmlLEemv;YCTdw ^mY ^osY]Y\KvJWZLKLETC^x`alg H`¤g:eYa]YCTdeh^mlcd]±^UVTJ[MvJlY\[Cl`\KeE1I T6^GJLpLT1^`\cJl!emg:eh^mLEK¡Jeo^lmcd]^mcJlLEwLEwJU ^UVTd[XUZe9^GJL!wL8`acJWV^iJc^swUVlLE]^ LEwUV^mUZTJ[XUbe `¤$`aUZWZ`\iJWZLs`Ce `Xehv,LE]UZ`\WKY:wJL\ , GJLTLETC^LlUVTd[ ^mGJL!wUZlLE]±^ L/wUV^mUZTJ[XKY:wJL\¡$^GJLcdemLl]E`aTlmLELWZgKY:wJU g^mGJL!]xGd`\l`C]±^Lleo^lmUZTJ[ Ya,^mGdL!ehLEWVL/]±^mL/wLvJlmL/ememUZY\Tf1 79U ^UVTd[^GJL KMYwLC¡:^mGJL KYw+U )dLEw eo^lmUZTJ[MUZesvd`\lemLEw`aTdw6U ^xe`aideh^mlx`\]^semg:TC^x`$ lLvJlLEemLT1^x`$^mUZY\TAlLvdWZ`C]LEe ^GJLemcJi^mlLLS^Gd`$^!H`\eHemLWZLE]±^LEw. . .
(37) . FHGdLMemg:TC^x`\]^mUb]X^mY:YCWZeqLMGd`¤CLvJlLEemLT1^mL/w`alLCLlgid`\emUZ]`aTdw^mGJLEg`alL`ehUZKvJWVLMUZTd]`\lmTd`a^mUZY\TY\ [CLTJLElmUb]_^mY:Y\WbeHvJlY$1UbwL/w6i:gA^GJLpLT1^`\cJl!emg:eh^mLEK¥LKA`aT1^mUb]S^mY:YCWZe`\lmLSKY\lL emv,LE]U+);]S^YA} . « ª " ¯ ' ¯ " } Ubeq` eh^mlY\Td[\WZg6^og:v,LEwWb`aTd[\cd`\[\L\HI·^ KLE`\Tde¡,UZTvd`alm^mUb]cdWZ`\lE¡d^mGd`a^SUV^qUbe_v,YCeemUViJWZL^Y`CememY]Ub`$^mL` ^og:v,LqUV^mGLCLlgL:vdlmL/ememUVYCTAYa`LEWVW;^og:v;L/w vJlY\[Cl`\K TJY$UZTJ[X^GJL_^og:v,LqY\`aT6LvJlLEeehUZY\TAUbe` $`\WVcd`\iJWZL_UZTY\lKA`$^mUZY\T¨D I·^H]`aT6i;LScdemLEw `CeL1^l`UVTYClmKA`a^mUZY\T^mYcJTdwLEleh^`\Tdw `vJUVL/]LqYa¨]YwLqiJc^ `\WZemY`\ewJLiJcJ[C[\UZTJ[UVTJY\lK`a^mUZY\T4^mYcJT;wLlxeo^x`aTdwG:g4`\T LvJlLEeehUZY\TUZeid`\wWZg^og:v,LEw} cdemLEe ^og:v,LHUVTLElmLETd]L`\WVYCTJ[qUV^mGv,Y\WZg:KMYClmvdGJUZ]^og:v,LEeemY wJUZe]Y$CLlUVTJ[_^mGJLs^og:v,LYa,`\TLvJlmL/ememUZY\TUbe9TJY\^` eh^mlx`aUZ[\G1^mY\ls`\lwMY\v,Llx`$^UVYCTf9u^Y1YCW,^mYMUVTdemv,LE]±^s^og:v;L/esUZe^mGdLT`Td`a^mcJlx`aW,TJLL/w UZT `vJlY\[\lx`aKKUZTJ[ LET:1UZlY\TJKLT1^/ (!Y$ emGJY\cJWbw ^GJUZe^mY:YCWi,L6UZT1^mL[Cl`a^mL/w UVT1^mY^mGJLLT::UVlY\TdKMLET1^#u )dlxeo^M`$^h^LKv^ UbeS^mYemLLM^GJL^mY:Y\W `CeX`cJTd]±^UVYCT ^mGd`a^ ^`a¢CLEeX`emcJi;LvJlmL/ememUZY\TY\^GJLAvJlY\[Cl`\K `aTdw4lmL^mcJlTde UV^e ^og:v,L\¥YY\lL`\KvJWVLC¡¨LE\Llg^mUZKL6`aT L:vdlmL/ememUVYCTUbeemLWZLE]±^LEwUZT4^GJL L/wU ^Y\l/¡¨UV^e ^og:v,L `avJv,LE`\le UZT`wLEwUb]`a^mL/w6^og:v,LXUVT;wY$X (!Y$sLCLl/¡1wUbemvJWZ`¤g:UZTJ[Y\TJWZgA^GJL ^og:v;LXY\^GJL]cJllLT1^LvJlLEeehUZY\TUZe lx`alLWZgemc ]UZLT1^ `\e!YCTJLY\ ^mLTTJLL/wJe!^Y6emLL ,v O>@f; ,;>b?q^GJL^og1v,LEe_YawU LlLT1^qL:vdlmL/ememUVYCTdeE. * . . mDmonJprq stqvu.
(38) &. & ;9&
(39)
(40) v?. FHGdUZeqUZeqvd`\lh^UZ]cJWZ`\lmWZg^mlcJLGdLTv,Y\WZg:KMYClmvdGJUZ]^og:v;L/eq`\lmLcdehL/wUZTC^LTdemUZ\LWZg\¡UV^qUbeq^mGJLET4]lcd]UZ`\Wf^mY emLL GJUb]xG^og1v,LX$`alUZ`\iJWZLEeH`alLXehGd`\lmL/w6i,L^osLLETLvJlmL/ememUZY\TdeE u ehL/]YCTdw`$^m^mLKv^MUZe^mY4cdemL ^mGdL6vJlY\[Cl`\K£`aT;w ^mGJL6^og:v;L ]Y\T;eo^l`\UVT1^]Y\Tdeh^mlcd]±^Y\lX^Y4emGJY$ ^og:v,LEeE sL/]`ac;ehLA} cdemLEeSv;YCWVg:KY\lvJGJUb]^og1v,LEeE¡fUV^]YCTC^x`aUZTde `emv,LE]Ub`aW ]Y\Tdeh^mlcd]^mY\lq^mY]Y\Tdeh^mlx`aUZT ^GJLq^og1v,L Ya`\T6L:vdlmL/ememUVYCTA^mY ` emK`\WVWZLl 1^og:v;Lq^mGd`\T ^GJL Y\TJLq^mGd`a^ssY\cdWZw6Gd`¤\Lqi;LELT UVTLElmlLEwf1 I·^ Ubev,YCeehUZiJWZL ^mY c;ehL ^GJUZeq]YCTdeo^lmc;]±^mYClH^mYAGJYCWZw^GJLX^og:v;LYa ^mGJLLvJlmL/ememUZY\Tf¡:^GJLTUZTdemv;L/]±^mUZTJ[A^og:v,LEe emUZKMvdWVg KYw+U )dLEe^mGJLXvJlY\[Cl`\K dY\lLJ`\KMvdWVLC¡[\UZ\LT6^mGJL YCWVWZY$UZTJ[vJlmYC[\lx`a4 K .. . T NXLBN. . N BNj. RUdXL l Uk=L L BN
(41)
(42) g h e l e. e RUdXL l k=L lOdZTBP N
(43)
(44) L N
(45) g NO N je l e . l. e. . . . . d j. h. l. . . . . . . . `\Tdw ehLEWVL/]±^mUZTJ[M^mGdL ^mGJUZlw Y]]cJllmLETd]L/eY\1l`aTdw e sLS[CL^ T NXLBN. . . N BNj. l . RUdXL l Uk=L L BN
(46)
(47) g h e ld k jZL e d d . e RUdXL l k=L lOdOTOP N
(48)
(49) L BN
(50) 4g NB Njt e l e e. . . . d j. .. h . l. . . . . . . . FHGdLKA`aUZT4wJl`¤id`C]x¢Y\ ^mGdUZe emY\WZc^mUZY\T4UZe ]YwLMv,Y\WZWVc^UVYCTf¡femY `a ^mLlSUZTdehv,LE]^mUZTJ[ ^og:v;L/eS` ]WZLE`\T ·cJv vdGd`\emLUZe TJLE]LEeem`\lmgCu]Y\TdemLEj1cJLETd]LY\;^GJUZev;YCWVWZc^UVYCTAUZe9^Gd`$^GJUVWZL!UZTdemv;L/]±^mUZTJ[X^og:v,LEeE¡a^GJL!Wb`¤g\Y\cJ^ Y\9^mGJLvJlmYC[\lx`aK#UbeS]xGd`aTJ[CUVTd[Ai;L/]`ac;ehLXY\^mGJLUVTdemLlm^mUZY\TY\^og1v,LEeEH I TvJlx`\]^mUb]LC¡J^mGdLv,Llm^mcJlid`$^UVYCT Y\¨^GJLXWZ`¤gCY\c^i,LE]Y\KLEej1cJUb]x¢:WVg6`\TJTJY$g:UZTJ[d UZTd`aWZWVg^mGJLemY\WZc^mUZY\TLHvJlY\v,YCemLUbe^mY Gd`¤CLs`_^og:v;LHUZTdwY$`CevdlmL/ehLETC^LEwUVT^mGdL );leh^ ehYCWVc^UVYCT idc^!^mY6cdehLU ^q^mY wUbehvdWZ`¤g TJYa^S`AehUZTJ[\WZLX^og:v,LiJc^q`6eo^x`\]x¢6Y\9^og1v,LEeEH 7\LElmg6^mUZKL`aTLvJlmL/ememUZY\T UZe emLWZLE]^mL/w¡:U ^xes^og1v,L UZesvJcJ^HYCT ^Y\v Yaf^GJLXeo^x`\]x¢9}Y\lLY$\LElE¡\^og:v;L/eHUVT6^mGJLXeh^`\]x¢ `\lmLqWVUZTJ¢CLEwid`\]x¢M^mY ^GJL!L:vdlmL/ememUVYCTUZTA^GJL!vJlY\[Cl`\K ¡aemYX^Gd`$^emLWZLE]^mUZTJ[` ^og:v,L!UVT^GJL_eh^`C]x¢GJUZ[\GJWZUZ[\G1^e9^GJL_LvJlmL/ememUZY\T ^Gd`$^qGd`\e!^mGJLemLWZLE]^mL/w ^og1v,L\H , UV^mG^mGJUbe_emY\WZc^mUZY\T¨¡J^mGdL]YwLUZe_WVL ^_cJTd]xGd`\TJ[\L/w`aTdw^GJL^og:v,LEe!Y\ wJU LlLT1^WVY]E`$^mUZY\T;e]`aT i,LXUVTdemv,LE]±^LEwemUVKcJW ^x`aTJLEY\cdemWZg\. . * *. « ª4ª / ¯ $ Fg:v;L/]xGJLE]x¢CLlxe_vdlmY$:UbwLEwi1g4]Y\KvJUZWZLlxe Y\TJWZg`\]E]LEv^]Y\KvJWZL^LvJlmYC[\lx`aKAeEM¥:Y ^mGdL^og1v,LE]xGdLE]x¢:UVTd[ vdGd`\emLHUZec;ehcd`\WVWZgwYCTJLY\T;]Ls^mGJL_vJlmYC[\lx`aK Gd`Cei;LELTA]YCKvJWVL^mLEWVglmUV^h^LTf1I TY\cJlLET1:UZlmYCTJKLT1^L KA`\TJUVvdcJWZ`a^mLXUZTd]YCKvJWVL^mLvdlmYC[\lx`aKAe¡U½ L\Z¡dvJlY\[Cl`\KesUV^mGvJWb`\]LGJYCWZwLEleE I·^qUZeT;`$^mcdl`\W^mY L:^mLT;w ^GJL ^og:v;L/]xGJLE]x¢CLlHehYM^Gd`$^UV^_`\]]Lv^xeHUVT;]Y\KvJWZL^L vJlmYC[\lx`aKAeED I·^!Ubes^mGJLETv;Y1ememUVidWVLS^mYUZT1^mLlx`\]^sUV^mG ^GJL!^og:v,LE]xGJL/]x¢\LEl`$^H`aT:gAeo^x`a[CL!Ya^GJLqvdlmYC[\lx`aK ]Y\Tdeh^mlcd]^mUZY\T WZLE`CwUVTd[X^mYMLE`\lmWZUVLElwL^mLE]^mUZY\TYafid`Cw wJLEemUV[CT wL/]UbehUZY\T;e. 1m.
(51) |.
(52) !""#%$'&. u ehL/]YCTdw UVKv,Y\lm^`\TC^]xGd`alx`\]^mLElmUbeo^UZ]Y\^og:v;L/]xGJLE]x¢CLlxeXUZe^mG;`$^A`aWZW^og:v,L6LllY\lxeXYa^GJL6GJYCWVL vdlmYC[\lx`aK`\lmLA^Yi,L6lLv,Y\lm^mL/w !Y\^M`aWZW]Y\KvJUZWVLEleGd`¤\L^GJUbe]xGd`\l`C]±^LlUZeh^mUb]aJYClL`\KvJWVL6^mGJL T;`$^mUZ\Lps`\KWZ¨UV[CGC^_^og1v,LE]xGdLE]x¢\LEl!eo^Y\vde_`$^!^GJL%)dlxeh^_LllmYClLTd]Y\cJT1^LlLEwHFHGJLKA`aUZTlLE`\emY\TemLLKAe ^YAi;L^mGd`a^q ` )dlxeo^^og:v,LLllmYCl!]YCcJWZw vJlY$\YC¢\LSYa^GJLl!LElmlY\lxeslmL/ehcdW ^UVTJ[AUZT`Wb`al[\L T:cJKi,Ll!Y\LllmYCl KL/eme`a[CLEeE4tqcJlYCvJUVTdUVYCTUZe^mGd`a^UV^Ube`\lm[Ccd`aidWVLC UZleh^E¡LJ`aKvJWZLEeemcd]xG `Ce^GJL ¥J} ]YCKvJUVWZLl emGJY$ ^Gd`$^ ^mGdLlL`\lmL^mL/]xGJTJUbjCcdLEeq^mYlLEeh^mlx`aUZT^mGJLUZT dcJLETd]LY\` ^og:v,LLllmYClE¥:L/]YCTdw¡Gd`\TdwWZUVTJ[ `Wb`al[\LMT:cJKi,LlYaLllmYCl KML/eme`a[CLEeSUbeY\TdWVg`vdlmYCiJWVLEKUZT ` v;Y:Y\lvJlmYC[\lx`aKKUVTd[LET1:UZlmYCTJKLT1^E I T `[Cl`\vJGJUb]`aW;LT::UVlY\TdKMLET1^E¡1KML/eme`a[CL!iJlY$!ehLEle`alLq`CwLEj1cd`a^mL^Y1YCWZe^YGd`\TdwWZLS`WZ`\lm[CLqj1cd`aT1^U ^og Y\!LllmYClKLEeem`\[\L/et__]Y\cJlxemL\¡ ^mGJUbeM]xGd`alx`\]^mLlUbeo^UZ]Ube`Kcdeh^GdLTwJLE`aWZUZTJ[UV^mGUZTd]Y\KvJWZL^mL vdlmYC[\lx`aKAe FHGJL Wb`\eh^H]xG;`alx`\]±^LlUZeh^mUb]Y\f^og:v;L/]xGJLE]x¢CLlxe Ube^GJL v;LElh^UVTdLTd]LqY\¨U ^xeHLllmYClKLEee`a[\L/e 7Wb`ai,Y\lx`$^L emY\WZc^UVYCTde Gd`¤\LMi,LLT vJlY\v,YCemLEw^mYUZKvJlmY$CLv,Llm^mUZTJLETd]L emcd]xG `\ e 3Z{E=z 5·tqcJl`avdvJlmY1`\]xG4Gd`\e i,LLET KYClmL!vdl`\[\KA`$^UZ]\D I TvJl`C]±^UZ]L\¡:]Y\KvJUZWZLlxe vJlY\v,YCemL_Kcd]xG6emUVKvJWZLlHehYCWVcJ^mUZY\TdeE9¥YsLqeh^`alm^mL/wlY\K ^GJLEemLemUZKMvdWVLMehYCWVc^UVYCTde_`\Tdw^lmUZLEw^Y6cJT;wLlxeo^x`aTdwGdY$ ^mGJLEg]Y\cJWbwi,LTJ
(53) L )J^_lY\K ^GJLv,YCeehUZiJUZWVUV^og Y\fehGJY$UZTJ[WZY]`a^mUZY\TdeUZTA^GJL_vJlY\[Cl`\K UVlxeh^Ya¨`\WVW½¡CLE\LElmgLllmYClKML/eme`a[CL!TJLELEwJe ^mYi,Lq`CememY]Ub`$^mL/w UV^mG4^mGdc L Z
(54) WZY:]E`$^UVYCTUZT^GJLvJlmYC[\lx`aK GJLElmLM^mGdLMLElmlY\lSY]]cJleE< I·^`\vJv,LE`alxeS`aWbehY^mGd`a^ehYCKL ]WZ`CememLEe YafLllY\lxe ]`\TAi;LETJL )J^slY\K ^mGJLqv;Y1ememUVidUVWZU ^ogY\emGJY$UZTJ[emLCLlx`aWJWZY]`$^UVYCTdeemUZKcJWV^`\TJLYCcdehWZg\ I·^UZe^mGJL6]E`\emLY\l`\vJvJWZUZ]E`$^UVYCTdeXGJLElmL^GJLA^og:v;L6Yas^mGJLWVL ^vd`alm^wY:LEeTJYa^KA`a^]xG ^mGdLA^og:v;L Y\ ^GJL `al[\cdKMLET1^EAFHGJLlLUZeX`]Y\T ;UZ]^ i,L^osLLET^mGJL^og:v,L^mGd`a^ UbeXL:v,LE]^mL/w`\Tdw^mGJL^og:v,L^mGd`a^UZe ]Y\KvJc^LEw FYi;LXKYClmLX]YCTd]lL^L\¡:WZL^!cdeH^x`a¢CL `emUVKvJWZL LJ`aKvJWZLXUV^mG ^mGJL YCWVWZY$UZTJ[vdlmYC[\lx`aK. . T NXLBN. . . l. QZQZQZQZQ QZQZQZQZQ QZQZQZQZQ QZQZQZQ l QZQ QZQZQ QZQZQZQZQ QZQZQZQ QZQZQ QZQZQZQZQ QZQZQ l . . . . `\Tdw^mGJLvJlmY$:UbehY4^mG;`$^ lwY:LEeATJY\^ Y]]cdl UVT ^GJLwY\^h^mL/w vd`alm^ YaS^mGdLwL);TJU ^UVYCT Ya%l, , GJUZWVL ^og:v,LE]xGJL/]x¢:UVTJ[6^mGJUbe vJlY\[Cl`\K ¡`\TLllY\lSY:]E]cJlxe `$^ ^mGdLemLE]Y\Tdw4`avJvdWVUb]`a^mUZY\TY\ ^LWZWVUZTJ[ ^mG;`$^ ^mGJL Lv;L/]±^mL/w ^og:v;LUZ e
(55)
(56)
(57) GdUVWZL^GJLX^og:v;L^mGd`a^_Ube_]YCKvJc^mL/wUbe
(58)
(59) StqcJl lL );TJLKLT1^UZKMvdlmY$CLEe^mGJUbeKLEee`a[\LSi:g6emGJY$UVTd[^GJlmLELXWVY]E`$^mUZY\T;
(60) e . T NXLBN. l. . . QZQZQZQZQ QZQZQZQZQ QZQZQZQZQ. . . QZQZQ Q l QZQZQ QZQZQZQZQ QZQZQZQ QZQZQ QZQZQZQZQ QZQZQ. l . Q Q. . FHGd% L )dlxeo^ WZY:]E`$^UVYCTUZe_^mGdLvJWb`\]LGdLlL^mGdLLElmlY\l!Y]E]cJlx
(61) e .H^GJLAehL/]YCTdw`avdvJWVUb]`a^mUZY\Tf FHGJLehL/]YCTdw ZW Y]`a^mUZY\TUbe^mGJLsLvJlLEeehUZY\T^mGd`a^ Gd`Ce]Y\Tdeh^mlx`aUZTJL/w ^mGJLHL:v,LE]^mL/wX^og:v;L^mY wU ,LEl lmYCK<^GJL]YCKMvdc^mL/w ^og:v,L\)(!LlLUV^qUbe_^mGJLMvd`aUZl ^mG;`$^_YCl]LEe l6^Y`C]]LEv^S` vd`aUZlq`CeE)dlxeh^S`al[\cdKMLET1^E_FHGJL^mGJUZlxw WZY]`a^mUZY\TUZe^mGdL_LEj1cJUZ$`aWZLT1^Y\,^GJLqemLE]Y\TdwWZY]`a^mUZY\TiJc^Y\l ^GJLq]Y\KvJc^LEwM^og:v,L\ ¥:YGdLlLU ^sUZe^mGJL. . mDmonJprq stqvu.
(62) & ;9&
(63)
(64) v?. {. ^lmUZvJWZL FHGJUZe L:^mlx` UVTJY\lK`a^mUZY\TMUZe]WZLE`\lmWZg$`aWZcd`aidWVL!`Cei;Y\^mGAY]]cJllmLETd]L/eY\f`avJvJWZUb]`$^UVYCT Y\1 l]Y\cdWZwi;L`\lmidU ^l`\lmgAwUbeo^x`aT1^E.
(65) . « ª
(66) 0 "# ¯ " 7 \LT4U ^G^GJL^og:v,LUZTdemv;L/]±^UVYCT4`aT;w^mGJLMKLEeem`\[\LidlmY$!emLl_^mGJLElmLM`alLeh^mUZWVW]`CehL/e_GdLlL%)dTdwJUVTJ[ ^GJLqemY\cdl]LYa¨` ^og:v,L!LllmYCl UbewU ]cJWV^E FHGJL_^og:vJUZ]E`aW,ehUV^mcd`a^mUZY\TAUbe GJLElmL!^mGJL_^og1v,L!^Gd`$^sUZeUVTJLllmL/w wJU Llxe!YCl_Gd`a^qsLLv,LE]^ `\TdwLM]`\TJTJYa^ )d[\cdlmLYCc^qG:gC sLE]`\cdemLYa v,Y\WZg:KMYClmvdGJUZemK¡d^og:v,L ]xGdLE]x¢:UVTd[UbeCLlgAehUZKUVWb`al^mYvJlY\WZY\[LLE]cJ^mUZY\T .wcJlUZTJ[^og:v,LE]xGJL/]x¢:UVTJ[;¡\^GJLS^og:v;LSYa9`aT6LvJlmL/ememUZY\T UbevJlY\[ClmL/ememUVCLWZg cJTJ+U )dLEw `a[1`aUZTdeh^Y\^mGJLEl^og:v;L/eFYcJTdwLEleh^`\Tdw^mGJL^og:v,LYaX`aT LvJlLEeehUZY\T U ^ UbeXUZKv;YClh^x`aT1^^m4 Y );[\cJlLAY\c^GdUZ]xGL:vdlmL/ememUVYCTde UZT ^mGJL vdlmYC[\lx`aK Gd`¤CL ]Y\T1^lmUZiJc^LEw wUZlmL/]±^mWZg\¡ Y\l UZTdwUZlLE]±^WVgC¡:^mY^GJLXlmL/ehcdW ^/ FHGJUbeHUbwLE`Yaf^og:v,LSemWZUZ]UVTJ[MGd`CeYClmUZ[\UZTd`\WVWZgi;LELT6vdlmYCv;Y1ehL/w6`\es`s`¤gM^mYL:vdWZ`\UVT6^og1v,LSUVTLElmLETd]L i:g}U ^x]xGJLWZW , `aT;wUVT 3 N 5½}Y\lLXlLE]LET1^mWZg\¡ qY\KUZTJUb ] _cd[\[C`\T`aTdwdlmL/wLlUZ]x¢ LET1^_UVT 3Z{\{ 5Gd`¤CL L:^mLT;wLEw ^mGJLS^mL/]xGJTJUbj1cJL_^YG;`aTdwWZL ehLE\Llx`aW;¢:UVTdwdeY\¨^og:v,LE]xGJL/]x¢1UZTJ[UVTd]WVc;wUVTd[}^og:v;L/]xGJLE]x¢:UZTJ[d u_TJYa^GJLl_UVT ;cJLT1^mUb`aWYClm¢6UVT`AlLWb`$^LEw`alLE`MGd`Cei,LLT^GJLYCTJLwL/em]lmUZi;L/w UVT 3 =5· I T^GJUbe!vd`\v;LElE¡ pY1em]Y$g L^ `aW½UVT:CLEeh^mUZ[C`$^LS^mGJLv;Y1ememUVidUVWZU ^og^mY6[\LTdLlx`$^mL` Td`$^cJl`\W¨Wb`aTJ[Ccd`a[CL LvJWb`aTd`a^mUZY\T lmYCK ` KL/]xGd`aTJCU *L/wvJlY:Ya;wJY\TJLHUZTApY j 3 &=5½¡1`_vdlmY$CLl¨i;`\emLEwY\T^og:v,Ls^mGJLEY\lg\ I T^mG;`$^ ]YCTC^L:^E¡\LvJWb`aUZTJUVTd[ ` vJlY:Yai,LE]Y\KLEe LvJWZ`\UVTdUVTJ[G:g`vJlY\[\lx`aK Gd`CeX` [\UZ\LT^og:v;LC ,LAGd`¤CL^lmUZLEw^mYLEj1cJUZv Y\cJl LET:1UZlY\TJKLT1^UV^mG`^Y1YCW^mG;`$^!YCWVWZY$!es^mGJL/ehLWVUZTJLEeE!tqTd]L`vJlY\[Cl`\K#Gd`Cei;LELT^og:v,LE]xGJL/]x¢\LEwf¡JU ^ Ubev,YCeemUViJWZL^mYGd`¤\LA`aTLvJWZ`\Td`$^UVYCTY\lX^GJL ^og:v,L Ya`aT:gLvJlLEeehUZY\TUVT ^GJL vJlY\[Cl`\KfL^cde ]Y\TdemUbwLls^mGdL Y\WZWVY$UZTJ[vJlY\[\lx`aK. * .-. . . (*Definition of the map function *). let rec map = function | f, [] → [] | f, (hd :: tl) → f hd::map (f, tl);; ¥:LEWVL/]±^UVTJ[6^mGJL%d) leh^qY]E]cJllmLETd]LXY\ Rfd i`aTdwvJlLEeemUVTJ[ ^mGJLidc^h^Y\T UZTdwY$ ^mGd`a^!UZewJLEwUb]`a^mLEw^YMLvJWZ`\Td`$^UVYCT `CesY\WZWVY$!er.. ^ i"TXd jdXLUkh jAcJvwJ`$^LEe_^mGJL. dlmYCK sLS[CL^^Gd`$^!KA`av Ube!`cJTd]±^UVYCT FHGdL o^ g1v,LXYa^mGJLK);leh^!`al[\cJKLT1^Ube
(67)
(68) ^mW JlY\K L [CL^^mG;`$^H^mGJL ^og:v,LXYa Ube
(69) Gdw ¥:YsLS[CL ^
(70) Gdw
(71) ^m
(72) W JlY\K - sLX[\L^s^Gd`$^^GJL ^og:v;L Y\^WfUZ e Gdw WZUZeh^ ¥:YsLS[CL ^
(73) Gdw
(74) Gdw WZUbeo^ ! FHGJL ^og:v,L Ya ^mGJLXlLEemcJWV^HUbe JlY\K sLX[\L^s^Gd`$^^GJL ^og:v;L $`alUb`aiJWZL lm
(75) L )dTJL/es^m" Y WVUbeo^ ¥:YsLS[CL# ^ WZUZeh^ u_W ^Y\[CL^mGdLlsLSG;`¤\$ L
(76) Gdw % G;w WVUbeh^ WVUbeh^ . . !cJKi;LEle lLvdlmL/ehLETC^ G:g:v;LElmWZUVTd¢:eq^Gd`$^`\lmL]YCTJTJLE]^mL/w^Y^GJLAvJlY\[Cl`\K M¥:LWZLE]^mUZTJ[Y\TJLYa^mGJL/ehL T:cJKi;LEleGJUZ[\GJWZUV[CG1^e^GJL ]Y\llLEemv;YCTdwUZTJ[ vd`alm^Y\^mGJLqvJlmYC[\lx`aKFYLEKcJWb`$^L!^mGdUZei;LEGd`¤:UVYClUZTA^mGdUZe. 1m.
(77) {C{.
(78) !""#%$'&. vdlmL/ehLETC^x`$^UVYCTf¡fsL ehUZKvJWVg4lmLEvJlLEemLT1^ ^mGJL6]Y\llmL/ehv,Y\T;wvd`\lh^xeXi:gi,Y¤:L/e U ^G ^mGJLAWZUZTJ¢4T:cJKi;LElUZT emcJv,Llxem]lmUZv^/. ª ª KA`av "¨\ ' ¯ " . . l. . l. . LT. " . Gdw . . .C.. KA`\v 8 o¡ ^W : . . FHGdLLvJWb`aTd`a^mUZY\T Ube vJlLEemLT1^mL/w `\e eh^mlcd]±^cJlLEw ^mL:^E 7 `\]xGemLE]^mUZY\T UZT1^mlY:wJcd]L/e^mGJL^og1v,LY\X` dv lmYC[\lx`aK&LvJlmL/ememUZY\TGJUb]xGUZe_^mGdLTvdlmYC[\lLEeehUZ\LEWVg lL);TJLEwSu ^LlSLE`\]xGlmL
(79) )dTJLKLETC^/¡d^GJL^og1v,LY\ ^GJLMLvJlLEeehUZY\TUbeqlLv,LE`a^mL/w _Ya^mL`aWbemYA^mGd`a^q^GJL¢CLg:sY\lxw ?;AB; #Ube_c;ehL/w^mYWVUZTJ¢ ^og:v;LM$`alUZ`\iJWZL ^Y¤`\lmUb`aidWVL UbwLT1^m+U )dLElUVT ^mGdL ^mL:^/. .
(80) 6 u! ^mLElGd`¤:UZTJ[iJlmUZL ;g4wL/em]lmUZi;L/w4^mGJL wU LlLT1^^mY:YCWZeXsLAGd`¤CLMi,LLETwLCLWZY\vJUZTJ[d¡UVT.
(81) !. . !
(82) UG. G. HG. ^GJUbeehL/]±^UVYCT sLwLEe]lUVi,LKYClmLwLLEvJWZgehYCKML^mY:YCWZeSeo^lmL/ememUZTJ[ ^GJLvJlmYCiJWZLKAe!^Gd`$^ sLLETd]YCcJT1^mLlLEwGJUZWVLMUVK vdWVLEKMLET1^mUZTJ[M^mGJLEK . . . . 7
(83)
(84)
(85) . uqeqeh^`a^mL/wUVT^GJLUZT1^mlYwcd]±^UVYCTf¡,LMwLCLWZY\v`aTUZT1^mLEl`C]±^mUZ\LXvdlmYC[\lx`aKKUVTJ[ALET:1UZlY\TJKLT1^_YCT^mYCv \Y `\TLUZeh^mUZTJ[}]Y\KvJUZWVLElE ,LcdemLpLT1^`\cJlE¡^mGdLvJlY\[\lx`aKKUZTJ[LET1:UZlmYCTJKLT1^A[\LETJLlx`$^Y\l/¡ ^Y wLlUZ\L KYCeh^HY\^GJL]Y\Kv;YCTJLT1^xeHYa ^mGJLXLET1:UZlmYCTJKLT1^!ehc;]xG`CeHLEwUV^mYCleE¡KLT:cdeE¡JvJcJWZWbwY$TdeE/I· KY1eo^fY\1^GJL[Cl`\vJGJUb]`\Wa]Y\Kv,Y\TJLET1^esL cdemL ]YCcJWZw L/`\emUVWZg_i,LUZKvJWZLKLT1^mL/w U ^GXYa^GJLl¨^mLE]xGdTJY\WZY\[CUVL/e emcd]xG`\eSF]W 0aFH¢ 3V{$r 5Y\% l 2\`¤$Z` 0$u9H ^ 3 N 5·¡fsLlLWZgGJLE`¤:UZWVgY\Teo^lmc;]±^mcdlmL/wLEwJU ^UVTJ[;% I·^XKLE`aT;e_^Gd`$^ ^GJL L/wU ^Y\lGdUZ]xGUbewUbemvJWZ`¤g:UZTJ[^mGdL vJlY\[\lx`aKcJTdwLEl]YCTdeh^mlcd]±^UVYCTUbe`¤H`alLMYaH^mGJLcJTdwLElmWZg:UVTd[ eh^mlcd]^mcJlLY\s}vJlmYC[\lx`aKAeESFHGJLMLEwJU ^Y\l wY:LEeSTJYa^X]YCTdemUZwLElS`6vJlY\[\lx`aK nocdeh^XWVUZ¢\LM`emL^ YaWZUZTJLEe idc^XU ^ ¢\LELvde ` ]WZYCemLWZUVTJ¢i,L^osLLET4G;`$^ UZe wUbehvdWZ`¤gCLEw`\Tdw^GJLlmLEvJlmL/ehLET1^`$^UVYCTYa ^GJLvJlY\[\lx`aK `Ce`aT`aideh^mlx`\]^Hemg:T1^`$6^mlLL\. . ) 0. ! #"%$ ! 3 '&. qcJLM^mY UV^eXwUbeo^lmUZiJc^LEw`alx]xGJUV^mLE]^mcJlL\¡^GJL6pLT1^`\cJlXehgeh^mLEK UZe YCv;LET4`aT;w4]E`aTL/`\emUVWZgi,L]Y\TJTdLE] ^LEw^mY6L:^mLlTd`\W ]Y\Kv;YCTJLT1^xe<3Z{ =5·FY]YCKKcJTJUb]`a^mLU ^GL:^LlTd`aW^mY:Y\WbeE¡fpLET1^`acdlqvJlY$:UZwJLEe_` emUZKMvdWVL]YCKMKcJTJUb]`a^mUZY\TvJlYa^Y]Y\W½XFHGJUbeqvdlmY\^mY]YCW`aWZWZY$!eqeh^mlcd]±^cJlLEwwJ`a^`6^mlx`aTdehLl `aT;wlLKYa^L YCv;LEl`a^mUZY\TdeE 4qehUZTJ[ ^mGJL/ehLA]Y\KKcJTdUZ]E`$^mUZY\T8`\]UVWZU ^UVL/e¡¨UVTY\cJl} LET1:UZlmYCTJKLT1^E¡v;`alxehUZTJ[6Ube v,LlmY\lKML/wi:g `\T }v;`alxehLElq^Gd`$^XGd`Ce i;LELTL:^mlx`\]^mL/wlY\K ^GJL } ]YCKMvdUVWZLl/MFHGdUZeXv;`alxehUZTJ[6vdlmYwcd]LEe} `\ideh^mlx`\]±^_emg:T1^`$^mlLL/e^mG;`$^S`\lmL ^GJLT^mlx`aTdehLllmL/w^mY pLETC^x`acJl/_tqT^mGJL} emUZwJL\¡,Lv,LlmY\lK `. mDmonJprq stqvu. .
(86) & ;9&
(87)
(88) v?. {¤N. v,YCeh^mYClwJLl^mlLL9^l`¤CLlxem`\W ¡EehLETdwUZTJ[H^mYqpLETC^x`acJlf^mlLLiJcJUZWbwUVTd[_]YCKMKA`\TdwJef`C]]YClwJUVTJ[^mYq`wLEwUb]`a^mL/w ^lmLEL vJlmY\^mY]YCWwL)dTdLEw UVT 3 |5·. . 2;ª 2 ª1®£¯ ª + « ", E. -%* . ª1ª ¯ ¯ ¯ I T^GJUbeqemLE]^mUZY\Tf¡;LwL^`\UVW^mGJLvJlmY\^mY]YCWfcdemLEw ^YA^mlx`aTdehLlq`aT`ai;eo^l`C]±^_emg1T1^x`$6^lmLELXlY\K } ^mY ^GJLMvJlmYC[\lx`aKKUVTd[ALT::UVlY\TJKLETC^/KI·^ `CememcJKLEe!^mGd`a^q^GJL^osY]Y\Kv,Y\TJLETC^xeS¢1TdY$<^GJLMY\lKA`aWZUZemK Y\^GJL^mlLLCFHGdLMvdlmY\^mY]YCW9wJLEemUV[CT^x`a¢\L/eSUVT1^mY`C]]YCcJT1^ ^mGJLv,Ya^mLET1^mUb`aWZWVg4WZ`\lm[CLem+U *ELMY\^GJLM^mlLL/e FY`¤CY\UbwvdlmYCiJWVLEKAewcJlUZTJ[X^mGdL!^mlx`aT;eoLElE¡\^mGJLSwJ`$^x`XUZesemvJWVUV^UZT1^mY`a^mYCKMUb]!wJ`a^`d1 , UV^mG ^mGJLS`aideh^mlx`\]^ emg:T1^`$^mlLLvJlYa^Y]Y\W_Y\TJLGd`Ce^mYehLETdw ^mGJL^mlLLTJYwL ½i:g ½TdY:wJL\ FHGJLlmL/]LEUVCLlAlL ·iJcJUZWZwJe ^mGJL ]Y\llmL/ehv,Y\T;wUVTd[A^mlLLvJlmYC[\lLEeehUZ\LEWVgC I T]`\emLY\`]Y\TJTdLE]±^UVYCT8`aUZWZcJlmLC¡,^mGJLAemcJi^mlLL/eq`\WVlLE`CwgehLETC^ TdLLEwTJY\^ ^mYi,LAlmL ·emLT1^EAFHGJL wd`$^`^l`\TdeoLElX]`aT]Y\T1^mUZT:cJLA`$^`aT:g[CUVCLT ehcJiJ^mlLL\ FHGdL ehLETdwLl ^l`¤CLlxehL/eq^mGJL6^mlLL6emY^mG;`$^^GJL6lLE]LUZ\Ll]E`aTUZTd]lLKLETC^x`aWZWVg]YCTdeo^lmc;]±^^GJL ^lmLEL\FHGJL6lLE]LUZ\LEl KA`\Td`a[CLEeH`eo^x`\]x¢A^Yeh^mYClmL TJYwL/eHTJLL/wLEwYClWZ`a^mLl!]Y\Tdeh^mlcd]^mUZY\TdeE FHGJLElmLA`\lmL^oY ^og:v,LEe YaHTJYwL/eX`aTdw¡f^mG:cdeE¡f^osY ]lmL/`$^mUZY\TvJlUVKUV^mUZ\L/
(89) e . >+; # `\Tdw U X . . . . *,. >+; # /#v!>@ v
(90) f! <;AB f M=> . f /#v >@ vU! <vAO
(91) U! M O
(92) t #
(93) . *,. , 0,. _Ya^L^Gd`$^^GJLT:cJKi,LlAY\SemY\TdeMUbecdehL/wi:g^GJLlLE]LEUVCLl^mY v,Y\vlmYCK^mGJLWZY]`\WHeh^`C]x¢ FHGJL *, ½ Y\lK`\WVUbemK ^lmLELEeE FHGJUZeYClmKA`aWZUbehK. #v >@ vU!`al[\cJKLETC^`aWZWVY$!e ^mGJL4^mlx`aT;eoLElY\KcJWV^mU. Kcdeh^s^GJLTi,LX¢:TJY$Ti:gi;Y\^mG ^mGJLemLT;wLl`aT;w6^GJLXlLE]LEUVCLl/ dcJlh^GJLlKY\lL\¡¨^mGJLA^l`\TdehLllmL/w^lmLELEeXKA`¤gi,L UZTd]YCKvJWVL^mLc88U L\Z¡]YCTC^x`aUZTJUZTJ[vJWZ`C]LEGJY\WbwLlxeS^mY KA`\lm¢^mGJLSWZY:]E`$^UVYCT Yaf^GJLSKMUbeehUZTJ[emcJi^lmLELE;e :YCls`\TJTJYa^x`$^LE9 w 88U L\Z¡:UVTYClmKA`a^mUZY\T Ube`a^h^x`\]xGJL/w^mY^mGJL TdY:wJLE;e :±. )", E « ¯ ", /. -%* * . GdLTAwY\UZTJ[eh^mlcd]±^cJlLEwMLEwUV^mUZTJ[;¡\LT1^lmgv,Y\UZT1^eUZT^mGdLvd`alxehLEl `alL]lcd]Ub`aW .f^GJLgM`alLsc;ehL/w^YXvd`alxemL me cJi ·LvJlLEeemUVYCTde ,4LwY\T ^qH`aT1^^Gd`$^q` WVY]`\W¨KYwU+);]`a^mUZY\T Y\lx]L/eH^mGJLlmLEvd`alxemUVTJ[Y\ ^GJLGJYCWVL vdlmYC[\lx`aK 4!TJY\lm^mcJTd`a^mLEWVg ehYCKL ]Y\KvJUZWZLlxe]`\T ]Y\KvJUZWVL6Y\TJWZgvJlY\[Cl`\KAe¡^GJL ! 8lLEemvf ^GJLMps`\KMWbfUZ[\G1^v:svd`alxehLElGd`\e!Y\TJLemUZTJ[\WZLXLT1^mlg\¡J^mGJLYCTJLXYCl^mGJLwLE]WZ`\l`a^mUZY\TdeM88lmL/ehvf^osYALT1^mlUVL/e¡ YCTJLSY\lH^GJLwLE]WZ`\l`a^mUZY\TdeH`\Tdw6YCTJLSY\lH^GJLXLvJlLEeehUZY\T; e : FYY$CLlx]YCKML ^GJUbeqvdlmYCiJWVLEK¡,sL]lLE`$^L` ^`aidWVL^mGd`a^ `CememY]Ub`$^LEe!L/`\]xGLET1^mlg v,Y\UZT1^SUV^mG4^osY eh^mlUZTJ[Ce`aT;w `vd`a^mGf FHGJL^osY eo^lmUZTJ[CeA`\lmL cdemLEw^mY LETd]`\vdehcdWZ`a^mL^mGJLeh^mlUVTd[4^Y i;Lvd`\lemLEw emY ^Gd`$^^mGJLlmL/ehcJWV^Ubevd`\le`aidWVL `a^^mYCv WVLE\LEW JYClL`\KvJWVLC¡9U !sL6]YCTdemUZwLElX^mGdL LT1^mlgv;YCUVT1^^Gd`$^ ]Y\llmL/ehv,Y\T;wJe^Y^GJLS^og1v,LEesY\¨^mGdL }Wb`aTJ[Ccd`a[CL\¡1U ^xe^oY`\eehY]UZ`a^mLEw6eo^lmUZTJ[Ces`alL!"=T NXL $# " `\Td% w " "\PSUVCLTA`Xeh^mlUVTJ[ ^Gd`$^lmLEvJlmL/ehLET1^e` ^og:v,L!ehcd]xG `C& e " rkrjOL('Ok jZL Tk P=L)"a¡^GJL!LT;]`av;ehcJWb`$^UVYCT ]lmL/`$^LE* e "=T N L $# rkrjOL('Ok jZL TBk PL "_^mGd`a^_lmLEvJlLEemLT1^eH`M^mYCvWVLE\LEWfwLE]WZ`\l`a^mUZY\TfFHGdLXvd`$^G UZT^GJLM^`\iJWVLMUbe!^GJLTcdemLEw^YL:^mlx`\]±^q^mGJLA`\ideo^l`C]±^ ehg:T1^`alLvdlmL/ehLETC^x`$^UVYCTYa ^GJLUZTJUV^mUb`aW eh^mlUVTd[ lY\K#^mGJLXlLEemcJWV^mUZTJ[vd`alxehL/wA^lmLEL\ ,. . +-,. *-). /.. G,0. /.. %(#/</2. 10 n. .-). )12=>9*-)+%(?-23>709%('C>N23O. n. >B%IK ,(G>7*8). >703)1)"2"P. 1m.
(94) {/z.
(95) !""#%$'&. -%* .-. . ¯. ª ," E. FHGdLvJlY\iJWZLK Ya]Y\KKLT1^xe!UbeKY\lLwLWZUZ]E`$^L\!pY\KKLT1^e!`\lmLXc;ehLEWVL/emeHYCl_]YCKvJUVWb`$^UVYCTf¡;emY^mGdLg `\lmLcdemcd`aWZWVg ^GJlY$T`¤s`¤g wcJlUZTJ[^GJL vd`alxehUZTJ[4vJGd`\emL\ FHGdUZeMKUV[CG1^TdYa^AehLELK ]lcd]UZ`\Ws`CeUV^AUZe YCi:1UZY\c;e^mGd`a^6^GJL]Y\KKLT1^6KLE]xG;`aTJUbehK ]`\Ti,LlLvJWb`\]LEw `\wJ¤`\T1^`a[CLYCcdehWZgUZT `\T UVT1^mLEl`C]±^UVCL vdlmYC[\lx`aKKUVTJ[MLT::UZlmYCTJKLT1^i1gehYCKML 8`\Td]UZLlWZUV^mLlx`$^LXvJlY\[\lx`aKKUZTJ[^LE]xGJTdUZj1cJL/e!>+ X?;AB
(96) v X _LCLlm^mGJLEWVL/emesUV^_ehLELKAeHl`a^mGJLElcJTJvJWZLE`Cem`\T1^s^Y[\L^lUZw Y\¨^mGdUZei;`\emUZ]SH`¤g^mY `aTdTJYa^x`$^mL vJlY\[Cl`\KAe tqcJlehYCWVc^UVYCT^`a¢CLEe`Cw$`aT1^`\[\LYas^mGdLA8`\]^^mGd`a^KYCeh^Yas^mGJL }]YCKvJUVWZLlxe TJLELEw^mY¢CLLEv L:^mlx`XWVY]E`$^mUZY\T6UVTYClmKA`a^mUZY\T UZTdemUZwLqvd`alxemUVTJ[^mlLL/e UZT6Y\lxwLEl ^mYMi,LS`\iJWVL_^mY[\UZ\L_KYClmL!vdlmL/]UbehLqLllmYCl KL/eme`a[CLEeE ¥Y wcJlUVTJ[^GJLWZLUZ]E`aW!`\Td`aWZgehUbeLMnocdeh^6lLE]Y\lxw^mGdLWVUbeh^ YaX]Y\KKLT1^xeAU ^G ^mGJLEUVl WZY]`a^mUZY\TdeEMFHGdLT cdemUVTJ[ ^GJLWVY]`a^mUZY\TUVTJY\lK`a^mUZY\TUVT4^mGdLAvd`alxehL/w^lmLEL\¡¨UV^XGd`\e i,LLET v;Y1ememUVidWVLM^mY wJL\LEWVYCv `M[CY1YwGJLcdlmUbeo^UZ]q^YMGdY1YC¢6]YCKKMLET1^eHid`C]x¢ UVT ^GJLeo^lmc;]±^mcdlmL/w6L/wU ^Y\l/. . -%* . . + « ", /. . _¤ ¯ 6ª ¯ ,2 ª «. . u<]xGd`alx`\]^mLElmUbeo^UZ]sY\fvd`alxehLEle UZe ^mGd`a^^mGdLg[\LETJLlx`aWZWVgMeo^Y\v `a^^mGdE L )dlxeo^LllmYCl LTd]Y\cJT1^LlLEw9FHGd`aTd¢:e ^Y6^GJL eh^mlcd]±^cJlmLMYa}vJlmYC[\lx`aKAe8WZUZeh^XYaswJLE]Wb`alx`$^UVYCTde;:±¡U ^XUbeX`aWZs`¤geqv;Y1ememUZiJWVLC¡GJLTvd`\lemUVTd[ `WVUbeh^YawJLE]Wb`alx`$^UVYCTdeE¡H^mY]Y\T1^mUZT:cJL^GJL ehg:T1^`a `\Td`aWZgehUbe YCT ^mGJLTJL1^wLE]WZ`\l`a^mUZY\T YCWVWZY$UVTd[ `emg:T1^`$LllmYClE 4qehUZTJ[ ^GJL^mlLLvdlmY\^mY]YCWH8`\]UZWZU ^UVL/e¡HUZT]`\emLYaemg1T1^x`\]±^UZ] LElmlY\l/¡sLemLTdw^mY ^GJLMvJlmYC[\lx`aKKUVTd[ LT::UVlY\TdKMLET1^S`aT4UVT;]Y\KvJWZL^LMemg:T1^`$^lmLEL 88U ^G4`vJWZ`C]LEGJY\WbwLlSKA`al¢:UVTJ[6^mGJL WZY]`a^mUZY\T YaH^mGdL6KUZeemUVTJ[4wLE]WZ`\l`a^mUZY\"T :¡`aTdTJYa^x`$^mL/w U ^G^mGdL LllmYCTJLYCcdeS^mL:^GJLElmL^GJLemg:TC^x`$ LElmlY\lsGd`CeHi;LELTwL^LE]^mLEwf , UV^mG^mGdUZe ^LE]xGJTdUZj1cJLC¡¨LllY\lSlmL/]Y$\LElmg Gd`CeX`lY\cd[\G[Cl`\T:cJWZ`\lmUV^og\¡iJcJ^X^mGJLAGJYCWVLvJlY\[Cl`\K UZe `\Td`aWZgehL/w¡ `aT;w LllY\lxe]`\Ti,L]Y\llLE]±^LEw i:gLEwJU ^UVTJ[^GJLLElmlY\TdLY\c;eX^mL:^UZT^mGJL vJlY\[\lx`aKKUZTJ[ LET:1UZlY\TJKLT1^/. " ¯ . ¯ ," ª ¨. -%* . J ' ¯. ". TpLET1^`acdlLEwUV^mUZTJ[`\TdwvJlL^h^og:vJlUZTC^UVTd[ `\lmL!wJY\TJL!UZTA`]YCT1^mL:^lLLKA`aTdTJLl/ 4_TY\lm^mcdTd`$^LWZg} G;`\esehYCKMLS]YCTdeo^lmc;]±^e^mG;`$^HK`\¢\LqU ^HTJLE]LEeem`\lmg^mYMGd`\TdwWZLS]Y\T1^mL1^cd`aW,UZTY\lKA`$^mUZY\T¨ dY\lsLJ`aKvJWZL\¡ `\T UVOT )dY\lAv,YCeht^ )d wL/]Wb`alx`$^mUZY\T UZTdwUb]`$^LEe^Gd`$^A^GJLvd`\lemLlAemGJY\cdWZw i,LGd`¤CLwJU LlLT1^mWZgi,LYClmL `\Tdw `$ ^mLElM^mGJLwL/]Wb`alx`$^UVYCTfr!`a^mGJLEl^mGd`\TL1^LTdwJUVTJ[^GJL[\LTdLlx`aWHKLE]xGd`\TJUZemKYaSLEwUV^mUZTJ[`aT;w vdlmL^h^og:vJlUVT1^mUZTJ[;¡sL6UZKvJWVLEKLT1^M`\TUVT1^mLElmKL/wUZ`a^mL6emY\WZc^UVYCTGJLlL6]YCT1^mL:^cd`aWUVTYClmKA`a^mUZY\Tde`alL ¢CLv^`a^ ^mGdL!WVLE\LEWdYa,^mGdLq`ai;eo^l`C]±^ ehg:T1^`a^lmLEL\9FHGJLT `\T1gLvJlLEeehUZY\TUV^mGJUZT ` [\UZ\LETAehg:T1^`a^mlLL UbeHKA`aTJUZvJcJWb`$^LEw UZT^GJLe`aKLX]Y\T1^L:^EJYClH^mGJLXUZKvJWZLKLT1^`a^mUZY\Tf¡J^mGJUbeUZKMvdWVUZLEeH^Gd`$^H^GJL}emUZwL ^Gd`$^S^`\¢\L/eq]E`alLYa^mGJLMvd`alxemUVTJ[`aTdw^og1v,LE]xGdLE]x¢:UVTd[6Gd`Ce!^YKA`aUZT1^`\UVT`\TLET1:UZlmYCTJKLT1^_YClqLE\LElmg vdlmYC[\lx`aK wLCLWZY\v,LEwUVT ^GJLXLT::UVlY\TdKMLET1^E I. . . $ . . $ 0. . &. FYwL/em]lmUZi,L!^mGdLqWb`¤g\YCc^ YafvJlY\[Cl`\KAe¡pLT1^`\cJlvJlY$:UZwJLEe `vJlmL^h^ogvJlUVT1^UVTJ[KML^`\WZ`\TJ[\cd`\[\L!]E`aWZWVL/w $ & 3Z{/= N 5½Xu / $ &ehv,LE]bU );]E`$^UVYCTUZe ]Y\Kv;Y1ehL/wYas`6emL^ Ya lcJWVL/eXFHGJLMWZL ^ vd`alm^SY\^mGJLMlcJWVL wJLEe]lUVi,LEeq`Avd`$^m^mLElmTfSFHGJLlUZ[\G1^_vd`\lh^_Y\^mGJLlmcdWVLUZeq` i,Y¤wL/em]lmUZv^UVYCTf_FHGJ< L )dleh^qLEWVLEKLT1^qY\`. mDmonJprq stqvu.
(97) & ;9&
(98)
(99) v?. {r6. . i,Y¤¡JlU ^m^mLTi,L^osLLETiJl`C]x¢\L^eE¡JUZe^mGJL ; f ± I·^qLvJWb`aUZTdeGJY$<^mGJLwU LlLT1^_LEWVLEKLT1^eY\ ^GJLXi,Y¤`alL_^YAi;LwJUZemvJWb`¤g\LEwf9u_TLJ`aKvJWZL Ya `MlcJWZLXUZes^GJL Y\WZWVY$UZTJ[". vJWZcde 8 ¤¡ ¤gB: . 3. G{ / $ gX5. FHGdL vd`$^m^mLElmTXvd`\lh^Ya^mGdUZe¨lmcJWZL Ube i"T f P # Z¡$`\lmUb`aiJWZL vJlL)d:L/w i:gS`!eh^`\lflLvJlLEemLT1^e¨`aliJU ^l`\lmg ^LlK9FHGdLqlUV[CG1^svd`\lh^sUZeH]Y\Kv;Y1ehL/w Y\f^mGJL i,Y¤ " " # Z9FHGdLS]Y\KidUVTd`a^mYClYa^mGJL i,Y¤Ube FHGJLi,Y¤ ]YCT1^`aUZTdeM^GJlmLELLWZLKLT1^er.^GJLlmL/]cJlxemUVCL ]E`aWZW!Y\T^mGJL9)dleh^6emY\Tf¡^mGJL ]xG;`alx`\]±^L l
(100) $¡1`aTdw^GJL_lLE]cJlxehUZ\L!]E`aWZW;YCT^mGJLSehL/]Y\T;w ehYCTf1 , GJLT6^mGJLqlmcJWZL_Ube`\vJvJWZUVL/w¡1^mGJL_^mGJlLL LEWVLEKLT1^e`\lmLS^mGdLTwUbehvJWb`¤g\L/w UZTGJY\l+U *EY\T1^`\WKMYwLXUV^mG`\TUZT1^mLlsY\lxw6emvd`\]UVTJ[MYa9Y\TdLScdTJU ^/ I·^9UZev,YCeehUZiJWZL ^mYS`\eehY]UZ`a^mL [Cl`\vJGJUb] `$^m^mlUViJcJ^mLE e 88U L\Z¡a]YCWVYCl`aT;w Y\T1;^ :^mYSLWZLKLT1^xe¨Y\Ji;Y¤ ¥g1K i,Y\WZUb]Td`\KML/e_`\lmLc;ehL/wY\l `$^m^mlUViJcJ^mLEeSemYA^mGd`a^ ]cdeh^mY\KCU *E`a^mUZY\T]`\Ti;LMv,LlmY\lKML/wUVT;wLv,LTdwJLT1^mWZg Y\^GJ L / $ & ehv,LE]bU );]E`$^UVYCTfJ I·^_Ube!`aWbehYv,YCeehUZiJWZLS^mYAKYwU g^mGdL]Y\KvJcJ^`$^UVYCTYa ^mGJLwL^`\UVWfWZLCLW i:g KA`$^]xGdUVTJ[^GJL]cJllmLETC^!WZLCLWfY\9^mGJL^mlLL`\Tdw]xGd`aTd[\UZTJ[M^mGJLlmL/]cJlxehUZ\LX]E`aWZWZeE!¥:YAY\l_LJ`aKvJWZL\¡ `MKYw+U )dLEw \LElemUZY\T6Y\¨^GJLXvJlL:UVYCcdeHlcJWVLX]Y\cJWbw6i,L. . vJWZcde 8 /¡ ¤gB: 3. G { / UZT]WZ`Ceme' ehg:Ki,Y\W . ¤ g . . 5. T^mGJUbe9]`CehL^mGJLH]xGd`alx`\]^mLEl
(101) UVWZW:i;LwUbehvdWZ`¤gCLEw cdemUVTd[q[Cl`\vJGJUb]`aW1`$^m^mlUViJcJ^mLEe Y\^mGJL]Wb`\eeJP#R$ hZT GdUVWZLS^mGJLemY\TdeHY\Di"T UP`alLqlLE]cJlxehUZ\LEWVg ]E`aWZWVL/w6UV^mG`wL^x`aUZWfWZL\LEWi;Y:Y1eo^LEwi1gY\TJL cJTdU ^/ UZTd`aWZWVg ^GJLemLWZLE]^mUZY\TKLE]xGd`\TJUbehK UZeS`ac^Y\KA`$^UZ]E`aWZWVg wLlUZ\LEw lY\K ^mGdLk k}emv;L/]U+);]`a^mUZY\Tf I·^ sY\l¢:eq`\eqY\WZWZY$!
(102) e .!GdLT4emLWZLE]^mUZTJ[`6^mYC¢\LETYa ^GJLvJlL^h^ogvJlUZTC^Ll Y\cJ^mvJc^/¡^mGJLlcJWZL^mG;`$^XGd`\e vdlmYwcd]LEw ^mGJLS^mYC¢\LET UZeHlLE]Y$\LElmL/w¨FHGJLET6^GJLS^mlLLq^mGd`a^sUbeehLEWVL/]±^LEw Ube^mGJL YCTJL_^Gd`$^HGd`CeKA`a^]xGJL/w ^GJL!WZL ^G;`aTdwvd`\lh^ Y\;^GJL_lcJWZL\9u!vJvdWVg:UZTJ[ ^mGJUbe vdlmUZTd]UZvJWZL^mY ^GJL!vJlL:UZY\cde lmcJWZL\¡1ehLEWVL/]±^UVTJ[ ^GJ L
(103) ^Y\¢CLT UVWZW¨emLWZLE]±^H^GJLXGJY\WZ L i"T U PX^lmLEL\ I Ti,Ya^G} UZKvJWZLKLT1^`a^mUZY\TdeE¡E^mGJLElmL`\lmLKMYClmLYClfWZLEeefY\TdL G:cJTdwlLEw YCv;LEl`a^mY\lxeUZT ^mGJLs`aideh^mlx`\]^ emg:T1^`$ klmL^h^ogvdlmUZT1^mUZTJ[Semv,LE]+U );]E`$^mUZY\T;e `\lmLH`ai,Y\cJ^9YCTJL^mGJYCcdem`\TdwWZUZTJLEeE¡aGJUb]xGM]Y\llmL/ehv,Y\T;w ^mYS^osY G:cJT;wlmL/w lcJWZLEeE9FYY\cJlH¢:TJY$WZLEw[CL\¡:TJYCTJL Yaf^GJL]YCKMvdUVWZLlxeH`avJv,LE`\l^YG;`¤\L `vdlmL^h^ogAvJlUVT1^LlsY\l ^GJLUZl`aideh^mlx`\]^6ehg:T1^`a¡!emY UV^ Ube6wJU ]cdW ^ ^mY LE$`aWZcd`$^L^mGdL4j1cd`aWZUV^ogY\X^mGJL4vJlmL^h^og vJlUVT1^LlxeAL G;`¤\LAY\iJ^`aUZTJL/w¥1^mUZWVW½¡9L6i;LEWVUZLCLAY\cJlMehv,LE]bU );]E`$^UVYCTde`alLAlx`$^mGdLl]Y\Kvd`\]^U !sL ¢CLLv UZTKUVTdw ^Gd`$^A`ehv,LE]bU );]E`$^UVYCTwLEe]lUZi;L/eTJY\^MYCTJWZg ^mGJL vJlL^h^ogvdlmUZT1^mUZTJ[iJcJ^A`\WZemY^GJLehLEWVL/]±^mUZY\T `aTdw ^mGJL ]Y\KvJc^x`$^UVYCTY\¨^mGdLwL^x`aUZWfWVLE\LEW I. . " " ". '& %. . FHGdLehUZKvJWVL/eo^KMLET:c ^mGd`a^6UZe vJlmY$:UbwLEwY\T;]L^GJL`aideh^mlx`\]^6ehg:T1^`aUbeALT1^LlLEw UVT ^GJLpLETC^x`acJl emgeo^LK Ube`GdUVLEl`\l]xGJUb]`\W KLT:cGdLlLA^mGJLemcJiJKLT:c Y\!LE`\]xG emg:T1^`\]^mUb]6]E`$^mLE[\YClmg]Y\T1^x`aUZTde`\T UV^mLEK Y\lMLE`C]xG]YCTdeo^lmc;]±^mYClE ¥:cd]xG`KLT:cUbe8`\llY\Ki,LUZTJ[4cdem`\iJWZL\¡UV^M[CUVCLEeM`^mY:YwL^x`aUZWVL/w :UbehUZY\T Ya^mGJLXvdlmYC[\lx`aK#]YCTdeh^mlcd]±^UVYCTf u )dleh^_YCv;LEl`a^mUZY\TUZe_^mY6lmLE[\lY\cJvUZKMv,Y\lm^`\T1^q]YCTdeo^lmc;]±^e!UVT`6]Y\cdvJWVLYav;LElh^UVTdLT1^qUV^mLEKeE!u!T LJ`aKvJWZL_Ya¨emcd]xG6`vJGJLETJY\KLTdY\TAUbe^GJL bT NXL QZQ Q;k j QZQZQ ]Y\Tdeh^mlcd]±^Y\l/ I·^HUZelLvJlLEemLT1^mL/wUVT6^mGJL `\ideh^mlx`\]±^emg1T1^x`$6i:g6`\TYCv;LEl`a^mY\ls^Gd`$^^x`a¢\L/es^mGJlLLX`\lm[CcJKLT1^er. !. `Mi;Y:Y\WZLE`\T6^Gd`$^^LWZWZe!U ^mGJL]Y\Tdeh^mlcd]^mY\lHUbeHlmL/]cJlxemUVCLqYClTJYa^/¡. 1m.
(104) {.
(105) !""#%$'&. !. `MWVUbeo^!Y\ idUVTdwJUVTJ[1es^mGd`a^_`\eehY]UZ`a^mLEes$`aWZcJL/es^mYWVY]E`aW$`alUZ`\iJWZLEeE¡ !. `aTLvJlLEeemUVYCT ^mG;`$^!wLWZUZKMUV^e^mGJLe]YCv;L Ya ^mGdLXvJlmLE:UVYCcdesiJUVT;wUVTd[CeE. T pLT1^`\cJlE¡_WVUbeo^xe`alLLvJWZUZ]U ^Y\v,Llx`$^Y\lxe¡!emYUZT ^GJLwJL)dTJUV^mUZY\T<YaX^GJL`\ideh^mlx`\]±^ehg:T1^`a¡^mGJL YCv;LEl`a^mYClBdOTF krjfk jOe Tk PLlmLEvJlmL/ehLET1^eM^mGdLWVUbeo^ Y\qiJUZTdwUZTJ[1e u_T LWZLKLT1^ YaS^mGdUZeAWZUbeo^ Kcdeo^ i,LWZY\Td[^mY^GJL4emg:T1^`\]^mUb]]`a^mLE[\Y\lgBdOTFUk jfk jZe GJY1ehLY\TJWZgYCv;LEl`a^mYClAUZe BdZTF k j"k jOe GJUb]xG ^x`a¢CLEeX^osY`\lm[CcJKLT1^e`vd`a^h^mLElmT`aTdw `\T LvJlLEeemUVYCTfJlY\K ^GJUZeMUV^YCWVWZY$!eX^Gd`$^A`aT YCv;LEl`a^mYCl T NXLAGd`Ces`\WVH`¤ge ` BdOTF Uk jfk jZe Tk P=LA`CeHU ^xeehL/]Y\T;w6`al[\cdKMLET1^E¡:GJUb]xGGd`Ce`$^WZLE`\eh^HY\TJL LWZLKLETC^ GdYCemLGJLE`CwY\v,Llx`$^Y\lUbe BdOTF Uk jfk jZeu_WZemYd¡;^mGd L T NXL]YCTdeh^mlcd]±^Y\l!Ube!GJL/`¤:UVWZgc;ehL/wUVT4}emY U ^ KA`\¢\LEeSemLTdemL^YvdlmY$:UbwL^GJLcdehLEl U ^G^osY6UV^mLEKre .SY\TJLY\lS^mGdLMlLE]cJlxehUZ\LCLlxehUZY\T4`aTdwY\TJLY\l ^GJLATJYCTlLE]cJlxehUZ\LMY\TJLC! I·^UZev;Y1ememUVidWVLM^mYUZTd]Y\lv;YCl`a^mL^mGJL/ehL^osYlmLEK`\lm¢eSUZT4^osYlcJWVL/e Yas^mGJL KLET1c . I. ^. T NXL. OdOT k
(106) j fk
(107) jOe Tk PL BdOT T NXLBN ' ^ i BNPZPZkh j T NXL L N BdZT Uk j fk j e TBk PL OdOT i BNPZPZkh j T NXL lOdOTBPN. '. . . . M. . . . F. . . krjfk jOe '#'. F . . . k j f k jOe '#'. F . ' L. 'L. uqe¨UZ T / $'&¡¤UZwLET1^m+U )dLlxe¨vdlm
(108) L )JLEw i:gX`!eo^x`al lmLEvJlLEemLT1^¨`aliJUV^mlx`alg!^mLElmKAeEFHGJL )dlxeo^ lmcJWZL`CememY]Ub`$^mL/w UV^mG^mGdLXU ^LKoT NXLALvJlLEeehL/e ^Gd`$^!`\T1g ^mLlK i,LWZY\TJ[CUVTJ[M^Y^GJLXehg:T1^`C]±^UZ]S]`a^mL[CY\lg ^ i BNP POkh j KA`¤g i,L ^mlx`aT;eoYClmKLEw6UVT`MTJYCT ½lLE]cJlxehUZ\L @T NXL QZQZQ k j QZQZQ ]Y\T;eo^lmcd]^mUZY\Tf u emLE]YCTdwYCv;LEl`a^mUZY\TUZe^mY UZT1^mlY:wJcd]Lsi;Y\^h^Y\K ½cdvlcJWZLEeEFY\v wY$TlcJWZLEe9`alLUZT1^mLElmL/eo^UVTJ[SGJLET eh^`\lh^UVTd[6^Y idcJUVWbw`vdlmYC[\lx`aK lmYCKe]lx`$^]xG¨ sYa^m^mY\K ·cJvlcJWZLEeX`\lmLMKY\lLMemcJUV^mLEwY\lXKYwUVg:UVTJ[ LUZeh^mUZTJ[vJlY\[\lx`aKAeE< I·HL ]Y\KLid`\]x¢^YY\cJl vJlL:UZY\cde LJ`aKvJWZL\¡¨]lmL/`$^mUZTJ[` WVY]E`aW$`alUZ`\iJWZLYCT ^Y\vYa`\T6LUbeo^UVTd[LvJlLEeemUVYCT UZeH`lmL/j1cJLT1^YCv;LEl`a^mUZY\Tf I·^]`\T6i,LqYCi^`\UVTJL/w i:gAlL )dTJUZTJ[^mGJLS^osY lcJWZLEeHsL Gd`¤\LS[\UZ\LETvJlL:UZY\cdemWZg\. . ^. T NXL. . OdOT k
(109) j fk
(110) jOe Tk PL BdOT T NXLBN ' ^ i BNPZPZkh j T NXL L N BdZT Uk j fk j e TBk PL OdOT i BNPZPZkh j T NXL lOdOTBPN. '. . . . M. . F. . . . . . ' . krjfk jOe '#'. F . . . . k j f k jOe '#'. F . ,LXehUZKvJWZg6lLcdemL_^GJLX$`alUZ`\iJWZLqUbwLT1^Ub)dLEl!Ya^mGJLXWZL Y\¨^GJLT N L `\eHUV^es^mGdUVlxw`al[\cJKLT1^/. . '. . ^Gd`aT;wemUZwJL`aTdwKA`a¢\LSUV^_`avJv,LE`\lsUZT ^mGJLXi,Ywg. u Wb`\eh^ Y\v,Llx`$^UVYCTUZe9^Y`\wJwemY\KLcdemLcJWd^mlx`aTdehY\lKA`$^UVYCTdeDI TY\cJl LJ`aKvJWZL\¡\UV^KA`¤gi,L!Gd`\Tdwg ^Y vd`CemeHlY\K `ATJYCT ½lLE]cJlxehUZ\LSWVY]E`aWwJLE]Wb`alx`$^UVYCT6^Y6`AlLE]cJlemUZ\L Y\TJLC I·^ ]`\T i,LwJY\TJLXcdemUZTJ[A^osY TdL lcJWZLEeE. . BN . . . TXNXL lOdZTBP N. mDmonJprq stqvu. . '#'. ^ . . . i BNPZPZkh j. . TXNXL L N. . '#'. .
(111) & ;9&
(112)
(113) v?. { BN . . . TXNXL L N. . '#'. ^ . . . i ONPZPOkhj. . T N L lOdOTOP N. . '#'. . . FHGdLKLT:c vJlY\v,YCemLEw UZT^mGJLps`aKWH\LElemUZY\T]Y\T1^`\UVTde {r6 lcJWZLEeE¡`\KMYCTJ[GdUZ]xG={ ^mYCv wY$T lcJWZLEeE¡CNSi,Ya^m^mY\K ·cJvAlcJWVL/e¡C`aTdwANq^l`\TdeoYClmKA`a^mUZY\TMlmcJWZLEeEu_W ^GJY\cd[\GL!]Y\Td]LT1^mlx`$^LEwY\cJlL ,YClh^ UZT wLE\LWZY\vdUVTJ[YCTJLA[\LETJLlx`aWvJcdlmv,YCemLAKLT:c Y\lYCcJlLET1:UZlmYCTJKLT1^eE¡fsL6`alLA]YCT1:UZTd]L/w4^mGd`a^^mGJL LET:1UZlY\TJKLT1^HehGJYCcJWbw6vJlY$:UZwJLqTJY\^sYCTJL\¡idc^!ehLE\Llx`aWwU ,LElmLET1^H¢:UZTdwYaKLET1c;eJYClHLJ`aKvJWZL\¡UV^UZe YCi:1UZY\c;e^Gd`$^!YCcJl[\LETJLlx`aWvJcdlmv,YCemL KMLET:cUbeH8`alH^Y:Y]Y\KvJWZL YCl!`Mi;LE[\UZTJTJLl_UVT} . . . . . . . %. . . % '&. . . sLY\lLMLET1^mLlUZTJ[UVT1^Y^mGJLwL^x`aUZWZeXY\H^mGJL6wJU LlLT1^^Y1YCWZeX^mGd`a^cdemL^og1v,L UZTY\lKA`$^UVYCTf¡UV^UbeK)dlxeo^ TdLE]L/eme`algA^YA[\UZ\L`Aj1cJUb]x¢6UZTC^lmYwc;]±^mUZY\TYCT GdY$ ^GJL} ^og:v,LE]xGJL/]x¢\LElYClm¢eEstqcJl![CYC`aWGdLlLXUZe TdYa^ ^mYSvJlmL/ehLET1^9]Y\KvJWZL^mLEWVg ^GJL`aWZ[\YClmUV^mGJK 8Y\l ^mGJUbeemL L 3 r 5·¡$YCl LJ`aKvJWZL :¨iJc^l`a^mGJLEl¨^YqUZT1^mlYwcd]L LETJY\cd[\G K`a^mLElmUb`aW,^mYAKA`\¢\Lq^mGJL YCWVWZY$UVTd[wJUZe]cdeemUVYCT6lcJUV^hcJW½ FHGJL^og:v;L/]xGJLE]x¢:UZTJ[ Ya` vJlmYC[\lx`aK UZeqv;LElhYClmKL/wi1g`6emUZTJ[\WZLX^mlx`¤\LEle`aWY\^mGJLMwJ`$^x`6eh^mlcd]±^cJlL ^Gd`$^!lLvdlmL/ehLETC^xe^mGJLXvJlY\[Cl`\KFHGJL]LT1^mlx`aWvd`\lh^Y\¨^mGdL`aWZ[\Y\lUV^mGJK UbeH^mGdLXcJTJ+U );]`a^mUZY\T`aWZ[\Y\lUV^mGJK ^Gd`$^XKA`a¢CLEe_^mGJLL:v,LE]^mL/w^og:v,LY\s`aT4LvJlLEeehUZY\TLEj1cd`aW ^Y6^GJLM^og1v,LM^mGd`a^SG;`\eSi;LELTL LE]^mUZ\LWZg ]Y\KvJc^LEw F`\¢\L`Ce6`aT LJ`aKvJWZL^mGdL4`avdvJWVUb]`a^mUZY\T ^Gd`$^ UZe ]YCKMv,YCemLEw Y\` cJTd]^mUZY\T=`aTdw `\T `\lm[CcJKLT1^E9FHGJL ^og:v,LE]xGJL/]x¢1UZTJ[MYa`aT`avJvdWVUb]`a^mUZY\T UZe!wJY\TJL UZTemLCLTeo^LvdeE. . {\FHGJLXLv,LE]^mLEw^og:v,LSY\^GJL cJTd]^mUZY\TUbe!`cJTd]±^UVYCT ^og1v,L NFHGJL ^og:v;LXY\¨^GJL cJTd]^mUZY\TUZe_]Y\KvJcJ^mLEw `aT;w[CUVCLEe^mGdLX¤`\WVcdL zJFHGJLXLv,LE]^mLEw`\Tdw]Y\KvJc^LEw^og:v;L/eHYa ^mGJL cdTd]±^UVYCT`\lmLScJTJU+)dL/w ^mY 6dFHGJLXLv,LE]^mLEw^og:v,LSY\^GJL`al[\cdKMLET1^sUbeH^mGdLT. . . . . . . FHGJL ^og:v;LXY\¨^GJL`al[\cJKLETC^Ube]YCKMvdc^mL/w `\Tdw[\UZ \LEe^GJLX$`aWZcJL . FHGJL6Lv;L/]±^mL/w`aTdw]Y\KvJc^LEw ^og:v,LEeYaH^mGJL `al[\cJKLETC^`\lmLAcdTJUb);LEwWZLE`CwUVTd[^mY FHGdUZe cJTJ+U );]`a^mUZY\TA[CUVCLEe ^mGdL^og:v; L ^mY ^GJLcJTd]^mUZY\T emUVT;]LH^mGdL!cJTJU+);]`a^mUZY\TYa KA `¤gGd`¤CL ]xGd`aTd[\LEw6^og:v;LX$`\lmUb`aiJWZLEeH]Y\T1^ `\UVTJL/w6 UZT :FHGJLXlL^mcdlmT^og:v;LXY\¨^mGdL`avJvJWZUb]`$^UVYCTUbe . 4_TJUb),]`$^UVYCT ehcdideo^U ^c^mL/e`S^og:v,L!$`alUZ`\iJWVLHLEU ^GJLl^mY` ^og:v,L¤`\WVcdL!Y\l9^Y`aTJY\^mGJLEl $`alUZ`\iJWZL\FHGdUZe Wb`\eh^ Y\v,Llx`$^mUZY\T4UZeX]E`aWZWVL/w >@ v, \AF`\¢:UVTJ[`ehUZKvJWZLL`\KvJWVLC¡¨emcJvJv,YCemL^Gd`$^XsLMH`aT1^S^mY cJTJUVg. # U ^G
(114) FHGJL6lmL/ehcJWV^YacJTdUb);]E`$^UVYCTUbeX^Yehcdideo^U ^c^mL UV^mG " ¡ WVL/`¤\L/e cJTd]xGd`\TJ[\L/w`aT;w`aWZUb`\emLEe `\Tdw 4qehcd`\WVWZg^og:v;LM$`alUZ`\iJWZLEeS`alLlLvJlLEemLT1^mL/wi:gv;YCUVT1^mLEleE¡U½ LCV¡. lLLElmLETd]LX]LWZWZeHUZT} ¡^GJLTcdTJUb),]`$^UVYCT emUZKMvdWVgcJv,wd`$^mL/ev,Y\UZTC^Llxe UZ[\cJlLNehGdY$!es`[Cl`\vJGJUb]`\W lLvdlmL/ehLETC^x`$^UVYCT6YacJTdU g:UZTJ[A^mGdLEemL ^oY^LlKeE Y¤L/eHlmLEvJlmL/ehLET1^s^og:v,L$`alUZ`\iJWZLEeE¡UVTdeh^`\Td]Ub`$^UVYCTUZe lLvdlmL/ehLETC^LEw6i1g`M^mGJUZT`allmY$X. 1m.
(115)
Documents relatifs
To test whether the vesicular pool of Atat1 promotes the acetyl- ation of -tubulin in MTs, we isolated subcellular fractions from newborn mouse cortices and then assessed
Néanmoins, la dualité des acides (Lewis et Bronsted) est un système dispendieux, dont le recyclage est une opération complexe et par conséquent difficilement applicable à
Cette mutation familiale du gène MME est une substitution d’une base guanine par une base adenine sur le chromosome 3q25.2, ce qui induit un remplacement d’un acide aminé cystéine
En ouvrant cette page avec Netscape composer, vous verrez que le cadre prévu pour accueillir le panoramique a une taille déterminée, choisie par les concepteurs des hyperpaysages
Chaque séance durera deux heures, mais dans la seconde, seule la première heure sera consacrée à l'expérimentation décrite ici ; durant la seconde, les élèves travailleront sur
A time-varying respiratory elastance model is developed with a negative elastic component (E demand ), to describe the driving pressure generated during a patient initiated
The aim of this study was to assess, in three experimental fields representative of the various topoclimatological zones of Luxembourg, the impact of timing of fungicide
Attention to a relation ontology [...] refocuses security discourses to better reflect and appreciate three forms of interconnection that are not sufficiently attended to
