Higher-Order Abstract Syntax in Coq
22
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Higher-order abstract syntax in Coq Joe¨lle Despeyroux , Amy Felty et Andre´ Hirschowitz. N˚ 2556 Mai 1995. PROGRAMME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5) !"$#%&(') !* +-,.0/1/32542769820:;&,=<>@?BACDE:GFH20/1IJ:@??20IKCLHM
(6) ;&NPORQ3;&6TSVUH,XWRQYITZ[??? \]_^B`0]ba0c"cRdfehgji alknm&oXkprqsc\tu]_^V^lkwvndx7{fosdli yX]bz^0]_a0^Bz `0]ba0c"cRal{_vn^B|d{f`0}&|Xvnd~kn^0`Vvnmvndk aBzzu^0]{ d]_d&mJ sd&]bm d|hXe0BVgalvB~g&zsaB`0d&p R ©_H¬B¨J©5&ll®V¯&B°± f¯ s´Vdµ-{J°¡d&&]_¶c"^Vp ^V^BtX{d& md{ppvncRp_ozXm ·kwqYa0{pqXzukn^0d&`lPvnm& XaV¡k m&aVY^0knm&]boXcknooXp$kna0m&paBy
(7) |z]btu^Xd^VYopp_yd&aB¢|{J¸^zdJ]_£s^Bz`0]b]bd&a0p_c"pfp{J¹P sdºX¤7os¥§z¦Tz=¤^0¨J©]{ª _ © 0 ² ³ ° 1 s« ^B\] ]_{J^l kn^0d`sy
(8) c"¿a0kw|XJvnÀJz¹Eo7knºXalo{_mvn^B |»kna0^V|~`BpbosoaBm`0 ¼d&p^0tXaVknpbd&^¢m{Jzsp]bvn^&p!½vnz]_dR^&½d&vncd&t=»d&vns|¼d&pbd½0vnc"d&]bzXaVkwk vnm&zaV]b{b^0vn^0`0|=]ba0yc"ac{^Xvn|s^lk`KÁ kna0 X|vnm`0 Poa0vn`Bpd&ÁfpKvn¾Ydld¹ kw`sq ¹ oa p_]_d&d&p{Y]^0vn]Âm{JdJd&£sÌzY]_^0d&]bpbcprvn|^l`~Xp_¤d&´Jm&à ^B« |°n¤s73¨^0°±¥Y]b²bTd&Ä]ÇÅJpÆÇqX¬|0¦l{JÈRaT£¨Jµ-a0°É|¯Ê$vn|"d&c|aVt={Jd&o]_sald&kXfd&vnc"sozXmkwvn{bm&vn^0aV|={bvn¹u^0Ë|$| m&{JaB X|$vnpt=dzaBozupbd&d&³]y9{JÁ ^0d `0dpb{J s ^&d&Á¼]sÁf vw^&{JÁ vn1|^B] soa!m{bpvnvn^0cR|zXknvnd$|5Y{Jo |sd!m{bi vn^0^X|x¢alku\kn]_a0^X|^l`B osÍ~aB`0dd½0dm&kn^0^B|0zs{Jc"aVvnd&|X|0vn{|`Rprqs^Bpr|X{Jd&kwq!cY¹Ros|ÎÏm{bd"vn^0p_|¢z=d&aBmtsvwÐpq¢{J]_{aBqXmzX{_vnvn|^B|!`¢a0]bo7|kn¢d&phaBzsa0zX|kw5vnm&dal½l{_vnal^Bknos|ualy-{_a0vn|^B| Á { d al1{³oXdJkwkw£q"zs1]b^Bd&]_pbc"prvn|aV`kwvnÑ&{df adz Xvn]b`B^X s^Vd&=]^V¡^B]_{qsd&zu]fd pp_qX^B|0o{J|saT£E|^ld&Âpbp
(9) a0vn||"^0{tX d d&mprqs{b1prkn{Ja0d&|c`Bos¹ÂaBÒ³`0|d~d a0Xp vwa0ÓR|¢m&oXvn|kw{q"oÁ m{_d~vw½Bd&d$|{m&qX^0z=od$|0{Jvnd&|¸]_d&i ^Xvnx p vn1`0|!^Bd&]³|{Jd& s{J]b d~aV^0{Jknpba0d&d|p
(10) `0{ad&o]bmaBcRkn`0aBdlpfp_¹Ôp{JÎÏ ^V=aVd${{d&^&m&]b½B^0cRd&]b]_]_pHm&d&{J^Bpb scRzual^Bdf{Ê|s{Jm&K X^Bvn{|0pf^{JaV7zvnvw|Ó"]bpÊ^0m&`Bc"oX]_kwaB^0{cRqK]bd pt0{¹$q! θaB|³ddÕ-oo|Xp_prvn|{d`{{J Xa ^Bvnp$p_zd ]bzd&{J]_X d&vnaVXm&{ vnaVm&{JXaldÌvn{]bd$vnd&|Em{J{_^!i kwq^XdJ£x ]bd&zs{Jz]b d&]_aVd&pb{ p³pbd& aB|0^l|s{ÂknPs^0pftszr^B]_d&^&|Xm½Bkw{Jq d p { d~a0d&xoa0mqY^0]f^Bos]fpqX|0{JaT£=¹ {Ö¢ ×0d&^BØ]rÙqlÚy-Û 7l3m&ÜaVlknÞm&oXknÝ ovnp`0¹ d&]r3^0]bd&]a0tpr{J]ba0m{HpqX|0{JaT£uyXi ^Xxy0{J sd&^B]_d&cßzs]b^&½vn|`Xy0kn^0`lvnm&aVkXY]_aBcRdÁÌ^0]bàyV{qXz=d áÉâãä¡åTæ ãç=ènä¡éêJë &ù$ó1ì öbìïuTí&÷9î§îðù öbïø ñòÐ0ó1ñ î§ô÷õ öÂV&øTñó1öb÷Tñ ò ÷9u&öbññôîò±õ§öbôöbùT&øÌô3õ îî§ö ù~ñùTúø ûVTüû÷Tö÷&ýbõñî§ù&ôrñJîó1ñî 9ùùT9ø~ï þ±ìûVÿXõ ó îðù õöbø&î óÊ&òö1ï lÿsò lTô÷9örñ öbø&öbîðï ù &ï 7ó¡í&TöHû îð&ù÷TóYòÐöbîðò1ù ùTñöbó1ò î &ùTöbñòÐõõ§ñ ô &ù V§öböbò±ôö_ó ùTTôòÐöö ì ì sö&÷õ Tí&Bîðñ ñ 9ò1ùñóYó ù&îð&ò÷ î Ðõî öbö_î§ò1ï ïïYû î ó ñú î uõ îðTô&ööùó¡õñJîðöù û ø&öbï¡÷Töuö û lTî§ôòú ö TÇò1öbòY
(11) ø&ñ öï &÷uTíî õ î§ñTTûò1î§ñùTùTòÐîðôñVöû Éûsò ñùTøTòÐöû íÂî§ò1û ï¡ô§öí õ ó
(12) î óYò±ý öbHï1öbï ñ&÷ò1Tôí&íBîðûñVñJû ó1îðùTóûò±ô îðñTû Éò . 7". 8 (. . . 3. ;-< 7 = < >3 /0 ( ; ;/ IH KJ A L ;;; I7 = 3OT I = U,-M2((T %. !,9)):. . !" $#&% '( )*+(.
(13) .
(14) $,-+/.0,-12 "3. @?A CB>DE F&G . -LM** N O I% -P C>7 QR* S
(15) ) S-.& T 3 ( &G N @7 V*M(,9*2W7 R F+(VX
(16) Y. . 054. /. . 6. /G Z. Unite´ de recherche INRIA Sophia-Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France) Te´le´phone : (33) 93 65 77 77 – Te´le´copie : (33) 93 65 77 65.
(17) ! "$#K h Ê Â ~ ') !*.
(18) Pd&pf{d&]bc"d&pfsoP X¡m&alknm&o7kÂpvncRzXknd&c"d&|0{f{qXz=}zud&oX½0d&|B{{J]bdoX{_vwkwvnpb}&p$z=^0o] s}&m&]vn]bdd&| pr^0qso|0{aVd&£sp d"z]ba0^0t`Bpr]_{JaB]baVcRvw{Jc"d d&p¹ ^BÍ~]_d&]bpÊd kna0pb|o`Bzua0}&`0]vnd&d&pÌos]³d~zd&p]_^B^B`0tX]ba0rdc"{Jp³cR{Jald{_knvnp^B|$xo{Jd"dknpfd&xp$od1^B ]_c\Ê]boX^Vknd&kn^0p~`kn^0d`V{vn¿x7oskwHd&pzuyd&]bc"d&pd{_z{J]bd&d&|Vo7{½Bd&dp cRtud&aB|Xvnd&zsRoXknvnd&c"]zXm&kwd&vnpÊm&aV^0{btsvn^0rd| {JðpÀ¹Âyzui ^Bd&p_pÊpknvna0tX|vwkw`Bvw{a0}~`0knd&a0p]bzu`0d&d&c"]bcRd&|0d{b{f{JdJd&£s|0zX{Hkna0^Vovw{Jpb}&prd$v= z= ^0d&ocR] zXdJkn£s^&q0zd&]]vncRk d&vncR]knzXd&kwpvnm&aVo{b`0vn^0d&|Kc"zXd&|0kn^0{J|pÊ`0}&d$dhkn¾a"ðd&sc } prqsos|0m{{baVvn^0£s|d |a0taV{Jpo{]b]_aVdvwkw{Jkndld ¹H ͳ ^0aB]b|pÊ]_d m&d{d&o7a0]£R{_vndm{Êkndl yX vn|c"^0oz7pkwvnm&c"al{_^0vn|B^B{|=]byB^0m&|^BpH|lm&r^0^lc"vn|0cR{d&d&c"|Bd&{|0oX{Â{ba&vwkw½0vnp_d&d&m ]k o vn|s|dfosY^0m]b{bcRvn^0|=dÌy]_d&pa0{|]bpdvnkn|0d~{JdfpqXprd {& osc"|Pd kna0d |`0aB}½0`0ddkn^BY^0zs|z=md&{bcRvn^0d&||B|{Hdskdfprvnzc"]bzXd&oXknd½0d&m&p^0|0i {J^Xd&x| ¹ a0|0 ~{^0p_od&pÂoXp_knz=d&c"}&md&vwÕÇ|0{ ^B|kpÔa0kntd&pp{]b ] a0&`lm{bknd&vn^0pH|¢sdfd{{qXkz a0aBz`0zXdfkwvndm&{aV{b vn^0}|P½laldkn{osal|{_^0vn^Bo| p 1pr^Bqs]_|0c"{aVaV£skwvndpb^0 | op | o|knaBd|z`0]_a0d&`BoXd½B^0dtssrdd{~z]b}&^0p_|d&|]}&½l#d aV{b""vn^0k | ^0]bsd&]bpfd{qXpbosz=z=d&p³}&]rvnd&a0o|]fp zknda0] prqsopr|¢{ &{cRqXzudld ¹ vn|dozsm]b^0{_vwtXÂ!k &`Bc"}&$| d$&]bd&d$p{${J]_x7^Bosz¢dkna d {xd&oX]bvHc"m&d&^0p]b¹]_d&pbazu^Bp_|^lknsoXd&{_|Bvn^B&{ |R"!z]bd&}&p p_d&z|0]_{J^B}&`0dÊ]bvna0mc"vÔm&cR^0d&|ppr'¹ vnp ~{Jd%^0"op so7}Õ-{bvw|Xkwvnvnpb] ^0o||"p³zsm&dh]b}&zsX]bvn}&m&XaV{Ìvnm&i aV{ ^Xxz=^0½Xo]_]falvudJpb£soz]Ê]rvnknc"d&p d&pb]fd&doX{~knpÊz{]_d&^B]bo7c"½Bd&d&]p k a0}&xoaV{bvn^0|Kd$|^V{J]_d~pqX|0{JaT£sdl¹ ([ÛsTÙb* )+ ϺqX|0{JaT£sda0tpr{J]baVvw{Jd ^B]_]bd³pbozu}&]vnd&os]yXi ^Xxy7{J }&^0]vnd&pÊ{qXz=}&d&py 73m&aVknm&oXkY¹.
(19) ~¥§¦T¤¨J©ª « ©_¬B¨J©!l®¯&°±©_0²°Ê¯´Vµ-°Y9¶"¥Ðµ « " K ¢ tp{]ba0m{bvn^0|¢vn|»{J d! X¡m&alknm&o7knopm&aB|¸tud"op_d&Ï{^¢]bd&z]_d&pbd&|0{$½laB]rvn^Bospht7vn|Xvn|`^0zud&]baV{J^0]bp~p_om Ïa0p vnvnxcRp o1a0zX]b|0knd&d&{bd&c"vwÕ-d&m&1|0]baV^0{J{baVcvn^0{b|»vnp_^0o| vn|¼m^V KX1m&^B{J^0 ]_c|d m& XoXd&¡kn]baBm&|saVp pÂknm&^Ba0oX]RpknovnaBcRptvnprzX|{Jkn]_d&zaBc"]bm^0{_d&`0vn|0^B]b{_|5a0vn|c"vn`|¼cp_o1vn|sot`Â|prm{bkna0vw{b{Jvn|o7^0`0|{bovnaV^0aBkf|`0zd&al]bpÇkn^0`0{J`B^0 ]_]aVaBvw{{JcR spboc"p¹ zpÂzu Êa0^0|q¼]{uRvwc"{9m&yV^Ba0{J]_à0 s]bvnd&|dÂm`Pz{bkw]_qo^Bp_`0 sd¢]baBa0|^lc"³7cRkw{Jvn| d&`d ] {^V hd~ 7p_vnm&`B^B zud&]rd 3^0a0]b|sd&]|aBpcRqX|0d&{JpaT£^VHvntu| ^Boz|s]_^B`0½l]ba0a0c"]vna0c tXvnkn|d&p`¢¹aB|sa0 |0qK{J dJd&£s^0a0]bd&c"c zXknd&zsp ]b^&dJ½£7vnvn|p{f`X¹
(20) a0| s!^Bvw]!kwknodJ£sp{aB]bcRaV{JzXd kndl{yÊ d~{J sosd pbdYo7^Bkn`V|vnd&m&pbalp k ]_aBcRdÁÌ^0]bàK¾ ÂÀ w Ôzs]b^&½vnd&pÊao|Xvw1^B]_c 1]ba0c"dÁ ^B]_à1^B] p_z=d&mvwÐq7vn|s`hakna0]b`0d mkna0pbp ^VÔkna0|`0oa0`Bd&p vw{a0{ |d» eknYvn^0¹ |X`l1fvnd&mR]b d&zd&|^0]bm&^0]bdRd&`Bc]_paBqXcRzp{]_cd&^&c"½Bvn|d&p]_`h¹ p knaB1 ^B|]$`0½lopbaBda0]r½0vn`Bdd&d{]bq·aV skH\^V^l ]_^lknkn{J^0^0 `l`Xd&vnym&p_pdÁ kna0 X^B|vn`Vm»vn Ïm&p~{zsqX ]bzu^&ad&½½B vnd 7d&tup$3d&m&d&pbaV|¢oknm&zspboXz=zukwv ^0d&]m {³vwaÕ-Y½Bd&^0d¢]~t={a0 d&|d&d¢|»c"vnc"p_a0z=z7|Xd&knvnmd&zvwc"Õ-o7knd&d&al¸|0{_{Jvno^Bd&|¢!prvn|vn^V|` ^0p_z=tXd&d&mmvwÐ{Jq~pzdJ]b£s^0z`0]b]bd&a0p_cGpbd&d½lvnaV|kno XaVvn`0{J^0 ]bd&pu]¡aB^0|s]bd&{]H]ba0pr|qXp|B1{^BaV]_£ c" d&7]_ysp Y7¹ÊyVfY ¹d$¿Â kw\Êyla]b^Vknkn^B^B`V`$vnmÊkna0z|]b`0^0o`BaB]_aB`0cRdf ca0vnp |`
(21) alknvnp_c"^hzXtuknd&d&d&cR|"d&os|0{JpbaVd&{bvn^0{|^ ^Vm&^0 c" zX vwy knd& ]_p a0pK Ytu¹d&Ëd&|"|¼cRoaBp_d&|0¼q^V{Ô^·{p_ z=d&d&pbmdfvwÐdJq¼£sa0aBc"|szX¼knd&½Bpd&y]rd&vw±cq tuzsd&]b^0z=d&d&$]r{bvnc"vnd&pzXkw^Vvnm&aV{bvn|7vn^0Y|Ed&]bd& ¾ |s m& d¢ wyXa0pqX|p{vncRd&c"zXkwp vnm&wal0{_lvn^By$|R ^B| a0{J| d kn^VdHÐ{ aBp_^lpbHoa0cR|!zXvn{bc"vn^0zX|kwpÊvnm&aVo{bvn]r^0vn||-`Àvnzp ]bo^Xp_^Vd&=m&yX^Bz|s]_p^&{J½]_ovnXmvn{b|vn^0`R|=aBy0|^0]fdkn^ld&H`0m&aB^0|0|0{f{Jc"dJ£7d&{Jmp a0os|X]vnpbvn|c `Yz^0]_]f^B `0aB]b|sa0cXkwvnd|½l`alknp_osm&al^B{_zXvnvn^B|s|=`¹ ^lHp_d{Jp z{ ]_d^&½BÝ od&vnp_]_`0dp ¹^ld&Ý~] ¡^a¢^0ÁÌ]b]bdd&½0d&pr]Rd&{J]]rpy0vnqXm{{J|0 d&{Jd&aT]b£ dÊY^0vnaBp]b|sc kwvw {b{b^lkn 0 dqXpbdJz=d&£^Vm&zu^0{Jd& |]dXvn{_d&¡vn^0|sm&]bm&aldkÊd&o] oprprvn|qX`0`³|Bc"{{JaVd& £P|0d&{c[aBp|vnm&5|RaB| zd&c]btu^Xt=^Vdd&YpsdJ¹£sËzd&|!]bd&{vnp_ Xc"pbvnd&pÊzX kwzvnm&aBvn| aVzu{bd&vnc"]^0y9|a0Á |0vndfq¼|5vwkw{J{Jkn odRd&pr{J^0i ]b]baVd&^X{Jc x d kn1\Êa0^B]b|]Ê^X`0{J^Vo 7aBvnÍ~p`0ddkna0½0|m&d^0`0kn^B|0oz{Ja0aVcR`Bvndl|Xd&#y vn|0| {H `¢ pqX w^0y7p|X{J{ skwd&qal!c { Yosd"|½lmaVt0{bknoqvn^0al|P{_dvn|a0Õ-t`|Xpvna{|s]b`f{Ja0d&{m]_qX{bc vnzX^0vn||z`$]_a0d&]b|pboXd&Ïkn]rd&½Ba0pHd&zpHa0zX|vwkw{vnp m&aVd{½l{bqXvnaVz=^0kn|=dlo$¹ ¹KaV{b ÊÎÏvn^0qK|d!oYprz^0vn]b]H|^&`a~½0d{Jpr Xvnc"{vnqXp zXzuprknd"qsdÊ|0Ypb{os^0aV|o£!m|{bcsvn^0|os|d&mJpbaV p k ½l^V^Va0=Â]{zvn a0]_d ^&tX½knd&vndXp{yvnal|aBvw`!kn]_pÊdpb^Vo`BÔz]_zd&zual]_^0^X{_]kw^l{ q¢1Ypp^0y0vn] c"vn|R Xz7zvnkw`0vwa0Õ- ]d&d&{b=]vnm&¡¹^0o7]bknËaB|E]
(22) d&] aB{J a0^07tpbvwp{bdf{vn]b^0m&a0|=^0m|yu{m&{Jprd& 7qX]bvn|7p~|B{vnÁ |aV`~£^B]_p_a0à¢o|t]b¢pd&{_zalvw]_{Jkwknd&oX^pb{_Áfd&vn^B|0vn||{Jpf`Ka0a|tuR^Vpr{J{J| d&aBz¢zcR{]b^&d&^0ÁÌpÂ`0]ba0a0a0|]bc"s"p cp_{Jm&vn s^B|sdzu`hd&`Ba0pH^0|^Val k z]_^B`0ÎÏ]ba0d³c) a&½B½Bd&d]vwmJÕÇ m&^0alpb{_d&vn|h^B|R{J vn|d~a"i ^Xox|Xvw\ÊÕÇ]bd&^XK^Vp_-dͳ{b{bdvn½B|sd`skn¹^0zc"d&|0{̺Bqspr{Jd&c)t=d&m&a0opbdÊvw{Êvnc"zXknd&cRd&|0{Jp{ d~i aVknm&oXknop ^VdÕÇË|s|Xvw{bovn^0m|{bvwp½0¹ dͳi ^BdÕ-|s|Xp{Jvn|]_o`¸m{ba5vn^0{|qspzu¾3diÊvnËb|if%À osmw{bvw½BYdy
(23) kwa!q {zqs]_zu^&d½vn{J sd&d&p"^B]ra»q zÁ ]rvn 7|vnmmJvn 5zXknzd]b^&^V½hvnpr{Jd&]bp$osam{J|o^V]_al{bvnkÊ^0vn||^loÊmvn{_|vn^B|osm{ba0vw|½B d a0X|Pvn]_d&^0mz={bkwd&q~]_ala0{|^B] {J1 ^Bd&]$]_dHdaBÕ-]_|7dHvn||^f`"]_1d&ox7|o7mvn{_]bvnd&^Bc"|p³d&|0]b{d&pm&zXokn]_a0pm&vw½0d&d~kwq^0|~^&{½B d&dH]$o{Jp_ sd&d]={{qs^ zuzdl]b¹R^&½0fdH {d& pbddvn]^0m&zu^Bd&]_]b]baVd&{Jm^0{J|s]bpfd&pbm&pa0¹Ç|Pݳtu^&dÁÌdo½0pbd&d&] y vn|¢^0f]b d&d³]ÊÕ-{]b^pr{opb^0d³tpr{J{J a0d³mkntdfoXvnvwpfkw{_{JYvn s|¢al{fp_o|zd&zu`0^Bal{_]r{vw½B1d³^B]Ê^Xm&vn|m&o]bos]_md&{b|vn^0m&|=d&pHyX^VÁ d${J aBd!{qs{zu^d$^&t=½Bd&d]_vn|m&^B`cRsd dÕ-{|Á d&^"^Ba0ts]bpd³{Ja0|m^Vkn{ d&pal¹ kwkn^&Á d& vn{|^KvndJ|£sszo]_md&{bpbvwpf½0dÌ{ sddÕ- X|Xvn`Bvw{b svn^0d&]|¡p^B¹]_Ë' d&&¢]fpvnqXpÔ|0{J{J aTd£E{qX^lz= d aB^V|¢Xa0{Jd&t]bprcR{J]bpa0m^l{bvn{^0 |dH^Bkna0zu|d&]b`0aVo{Ja0^0`B] dÊpbt=odmvn |s`fa0p d1oÕ-||md&{b=vny9^0{|¢ da0tosppb{o]baVa0kBmÁ {bvn^0a&q| vnf|! ^BaVos{"]ÂvndJp£s5y aB&(cR)#zX+ knd {JvnpÊa0àl{Jd&^$pRvn|0^B{J|]_d¢^Xa0o]bm&`0d ocRam&d&^B|B|{pr^V{J$a0|0Y{Âo|pbom{_mvn "^B|sa0alp(k &*{)#qX+@z=dla0¹G|"f 7a0ospbprp"vn`B1| o|vw{m{b{vn ^0df| {qXa0tz=pd-{]b,.&0a0m{b/1vn^0|Ï&324vn| /1{J &d ¹ ½lË^0| a0tX]vnvnd&a0|smtX{bkn1od&kna0mp³{b|vwvn`B½0|osd!{aB{ `0qsdd zu^Bvnd&p³tXprdJvnd&£| mzs{b]bi 1d&knaB^Xpb|p_xd&`0y Ko|sa0osd&`Bp`Bd$vnaV|{ba0`!vw]b½0d Xd ¡vnaB^Xtd&m&pr|0m&{Jos{b]_vw]baBÕÇ]bmd&d&{_|svn^Bm&Áf|!d&pvw{Jvn|¢p_ 5o{t=mJ ^0doa0cR|pd{{J½V aVaBd!Y]rkna0vnÕ-aB|]btX`0prkn{"od&a0p^X`Bvnm&dl|Pm&¹ o{]b ]_p dd&|a!c"m&d]bdd&{^Vpbalo76 1knkwa0&){9yÇ|`Bt=vn| os^0aBo{J`0| dl d ¹ a0t=^½Bd³{qszud$aB]_d~Xvnp_alkwkn^&Á d&=¹ p vn7| YysÁ d`Bd{fa0]b^0o|R{J Xvnpfz]_^Bt7knd&c t0q!vn|0{J]b^Xsomvn|`a"p_d&zaB]_al{d ù$8. = =. +::M.
(24) . h¨b¯rÃs¨J´V© « ƶ ¨JÄw°±´
(25) ~¥Ð©b¯9²b¤ « ¥1°. . {m&qX^0zu|dp{]b o)m{^BY^0]Ê]1^B½l]a0vn]|lvna0d&tXmknd&{_vnp|`a0|½l»a0]`lvna0vw½tXvnkn|d&`pvn&*|B{)#^"+ {d&{J]b cRdRp {qX^lz=(d &¹h, f)7 o/ pyuvn& |52 ^B/os]~]b&fd&¹»pr{J]rÎÏvnm{Jdd&RcoY^0pr]b{c@{J ^Vd&Ì|» 7a0vn`B »d&]ra {^0t ]bo7df{fd&m&ÁÌ]³aBd$p_pdÊqXm&|0{JaB{J |saTaV|£u{ ^lyu{ ÁÌ¡Xm&d vn^B]_p|0d&{bm½Bvw{bkwd&kÊkw]rqK{bvnsdtXÕ-dkndÌÕ-||{Jdd&d~1]bocR^0|tXpm{_d&vn|"vnm^B{_^0|¢Yknoda0]H½0td^0pk=tX{pb]bosd&a0mtm{b{bp1vn{_kn^0vwa0{J||oX`Bo{_vnosp^BvnaB|R|`0`dop XcRvn¡|aBa0`Rztpi {{^ ^X]ba0xm ¡{bpm&vn^B^0 Ô|0|¡]b½0d&vnd&|Ï]{bosi vnmt7^X{bknvndfx¢^0|={Ja0d&¹|]_Ëc"¢|sppvw{${Jvnd&|Kvna0pi Rpr^X{bÁÌvwxkwd k y 1^BdoÕÇ|sf|"d~ vnd¢p_7| opbtwd&9pm&e{_^0vwY{J|¹ oX»{_vn^0^Bt|RpaB{aBpfma0kndR|!vnvnp|{o mal{_{Rvw½Bd$dÕ-z]b|Xd&vn|7vn` m&al{J{ dld!¹Ë{{JqXpfz=sd d&)Õ-|XaBvw{bpRvn^0aB|R|»vnpfvn|spvnc"omz7{bknvwd½0da0|{!qXz=pd!vncÁfvwknvwa0{J] ·{J{J^h {Jd od³p_^Bo|ald k m&a¢^0p_|dp{h{]b^Vo m{{J^Bd&]b]_cRpH1pf^B]fvn| a0zi zX^Xkwxvnm&aV{J{b vnaV^0{~|vnaB p | _{J^Xa0^Rtpkn{a0]b]ba0`0md {b svn^0¹R|"fzX knaVos{pfvn{Jp y
(26) d${Jpb zud&d&]_dmvnaVaBk=]_dm&^0c"|p^0{]b]bdo{md&{^B]bc"]
(27) Yp^0]fvn7| ½la0&]vn{a0 tXa0knd&|pf{J`l svw½0^Bd&p_dp {kna0 |al`0{fom&aB^0`0]bdl]_yVd&pbÁ zud ^Bpb|ohm&{Jm&^d&d&^0stXd&d&mvn| {Jp{Jvn |d {J{ saBd~p_à^0ts^lurd&md{bÕ-1kn|XaBvn|s|`B`$oa0a0|`0dl^B¹tXrd&^"m{bp_1^lknkwd½0½Bd$dk{J Xzvn]_pfd&Xzvn]_m&^Balt7{kndld&y9c Á X1^BvnmJ]f ^0ÁÌo] dYm&osal|kw!k m{bvn)#^0" |%$aVky { ^Xald&{pRvnalpkwkn{^]bÁ od!pb^0^0c"|XkwdqÏ{1^Bd&]b]cR{p ^0{Jpb daV{K{d&s]bcR^·p~|s{^l {!alX{vn]bm&d&^0m]b{_]_kwd&q¼pbzu]b^Bd&|sz¢]_d&{Jpbd&^|0zs{]bz^0]b`B^0]_`0aB]bcRa0pc"¹Epyf| XaBvnpcRzd]_kwqld&yfXvn{m& al^B{p_dldyH s{J ^&ÁÌaV{Kd½0a0d&]b]d y dJa0£7|{Jd&|sm&p^Bvn|s^0p|vnalkwd&kwqR]{Jd& x7aVos{fald&kuaB{Jm^ R{{Jd&d&]b]bc"c p{J^V sal{J{ d³^X^B¹HtXθd&md{_Yskna0dÕ-||`0od~a0dJ`B£7d {d&vnpf|pvnvn|!^0|1aBaVmk-{fd&x]bd&ozsal]bkwd&vw{pbqRd&|0Y{^0d&]Ê{J t0dq {a0qs|Kzu6dd&x&·oXvwvn½V|Ealkni d&|^Xm&xd y mkna0pbfpf X^Vvnp{JÁ d&]_^Bc"]_àpÊdJ£Xd{{Jd&d&|]_cpuvn{|Á d&^~]bt0dq!knaV{J{J Xd&vnpfzd&x]_^loaVd&kwmvw{{qp-Á ]bd sknd&aV]b{bdÊvn^0 X|=vn¹`B sd&]¡^B]_d&]pqX|0{JaT£vnpHospbd&$vn|Y^0]bcRalk0z]b^X^Vr¹ Ëa0| | {Yyu ¿Âop kwvnvn|p sosopbmd&{bRvn^0vn||¢zm&]r^BvncR|mzXvnzXvwknknd&d&]Êp~½Bm&d&a0]|vwÕÇ|m&^Val{{_vntu^Bd|=¹
(28) dJ£sË|z]b¿d&p_kwrpbysd&{J vnd&|]_prdfvnvnp d|{^ dx7osknaBaB|s|0`B{bovwÕÇa0m&`0aldl{_¹ vn^B |!p$^&½Bad&]b]fd&zsp_oX]bd&kw{9Xyvnm&caVos{Jd&mJp y ^V a½B{J d¢d tusd&dd&{J|·aVvwsk=d^V½B
(29) dzskn^0]bz=^X^Vd&¸YpÊ{Jc^5o p{ dknt=z»dÁfvw^B{J|s »d {^B Xo7vnp{Jp{vnsaBdfp_àÇ{J¹· dË|pqXp {Yd&yfc aP¹
(30) 7'v ^X&=^ld&kn]bp d&pb|0os{"mJ !a0zaBzp ]_^Bp_mJa0 md& ÏcR{al^¡m X vnd&`0mJ à0d&vn]|¡`^0]bw d&"] pra0qs||0 {aV&*£ )#vn+ |Pi vnp^XxRdvnÕ-p~|sa0d&P^0a0zXp{Jd&a0=t=¹Ì^f½Bdl ¹d&]bݳdlys^&ÁÌkwvnàVdd½0d& ]d&y
(31) ]bvndl|yÇpraR{Jd&pba0d&za0^l]bfaVX{Jvnd]_d&{qsm{bzukwqPd( ]_))d&zR]bYd&^0p_]fd&|0½l{ba0vn]|vn`¢a0tX¾¡knmd&knpf^0pbvnd&p-vnÀÌ|B{{J]bd&^X]bcRosp~m&d&^V {vncR dzXkn^Bd&tXc"rd&d&m|0{b{J1d&knRaB|{J`0^0o`0a0d`B{J d³d&t0] q¢a0{Jp d&Y]boscR|p m{b^Vvn^0Â|{qXp z=Y]_d ^B&fc ykwmvnpkn^0{Jp³pbd&^l¢Êa0aB|]_`Bos^0c"z=d&d&|0|{Jp~{d&¾¡]b^VcRHp {qX^lzud {J & dÀf^0{^tX{d&d&m]b{_c"Ykna0pf|^V`0Âo{aBqX`0zud~d a0&]bd ¹ Á oºXprd& XvncR|vnm` aB P|0{J{_s svnddHm&Õ-pvn||a0d&]bpfosdRm½l{b`laVvnvwkw^0½0vn|~d&|·z{]rd&^0vn]b||5cRm{JvnpfzX {Jknd&dH^!p_1dt=^B]uYdo{{|s X mvnpd{bvnz^0dJ]b|£sd&z=al7k
(32) d&vnmm&{J{ald&d&]b{cRdl¹u^BpÝ~¹|d&d& ]bpdl¹$yzsËÁ ]b|d&dÂXvnosvn|m&mpraV{b{Jvn{Jd&^0da0|¢~^0^&|¸½Bdd&{JÕÇ]³ |d&{Jdp_d&d{]_qXc"{JzXd&pfvn]_|c"vn`fp$p a0m&|aBvnph]_$]vnvnd|Bd&½l{al]b^Xkn^0osoXalos{~{_m&vnt0^Bd&q| {X vn]_d d&fmvn|{b kwsdq"o]_^0md&{b|pvn^0{¾¡|Km^VknÊ^0zspb]{Jd&vn |-dmÀ
(33) vnzszX{Jd&aBknd&]_zupfc"d&`0]fpÂd&vn^V|pd&^B{]_qX]_al`Bz={a0d&d |X&vnt0Ñ&¹d&qK¢Î¸{ a0d~p~dpbvn] 1os^lm&kwm&knd^d&Õ-Á d&|Xpvw¹R{_vnvn|^BË|Ï|]bd&pº7a0¹ d&pb^0m{b|Xvnvn^0||P`$e7aBy=tuÁÌ^0oXdR{{d Õ-d&|c dtB{q! dXvn X]bvnd&`0m {_d&kwq"]¡o^0]bprvn|d&` ] prprqsqs|0|0{{aVaV£·£ aB^ls³d&^Bx7oos]hal{Ydokw|qKm]b{_d&vn^Bzs|s]bald&pbkd&kn|0aB{|pÌ`0^0ooa0]f`BdR^0tXvn|¼d&mi {b^X1knxa0¹|`BËos|¼aB`0º7dld&¹
(34) mË{b|Pvn^0|ºXp d&m {b(yvn^0X| yÊ7yÇy Á a0d| `lvw½0XdyÁÌa"d¢dp_Õ- |7^&vwÁ {bvn^0{J| sal^V{Â^0^0oo]] ^0dJ£stXzd&]_md&{bpb1pHkna0a³|{J`B]_osaBaB|`0prknd$al{_vn| vn^B| tudY{^0ÁÌ]³d&Á d&| X{vnmJ »&d a0 d&xa0|oa0mi qE^X sxaBppqXaV|0kn{J]baTd&£a0d&Xpq¹Ët=|Rd&d&ºX|5d&mz{b vn]b^0^|½Bd&7=y0y
(35) Á aBd |sdJ£svnzX| knaVºXvn|d&mÁ {bvn X^0vn| m Xà0yÔvnÁÌ| d ^Vz-]_d&{Xd&]bvnm&c"aV{Jp
(36) d(pb ^0)*oX" +kn$!tuÁ df X]bvnmJoX 5knd&pbdkn^0d&oXm{{pfa0|{Jd&]_c"{ pfdf{| d&ald&{³]bYd&^0z]Â]_dJd&£7pb{d&d&|0|{ p{Jvn^0d&]_|c"aVkwpfvw{^Vq0¹ÔË{|" dºXd&^BmtX{_rvnd&^Bm|{b1XknaBy0|Á `0dfovna0c"`Bz7d$kna0d&c"|d&|0z{]_{J^& ½Bdd {i ^XdÂxm&a0^0|]b]_d&mz{J]b|^d&½Bp_d p-vw^V{JXp{Jm& X^Bvn]_p]bvnd&cRm{zX|knd&d&pbc"p¹d&|0 {JkwaV{J{b svn^0^B|=o`0¹Ç $Ë|{J ºXd d&m{_dvn^BÕÇ| |Xvw7{by9vn^0Á |dps^Vd, Õ- |)#dÂ" +a0$|aB$|svnc"pbz7okntd&c"pr{bd&vw{|0oX{Ô{bp_vn^0o|tpra0{b]bvwdf{Jo7pr{bvnvnc"^0| zXknvndl| y Õ-vn| |s{JX Xvn|vnp` z{aB zud&cd&]yVÁÌÁ a0dfpÂpb^0os|m&dÊm&d&^ld&s{Jd& $dÊvnc"|"aVa&vn½0|^lmJvnX svnal|skwkn`hd&|a0`0|0d&qp|^Vd&d&{J Xvn{JpÔ^$ÁÌ]b^0d1]bd&à]¹Ô{JË^³|½la0d]Õ-vna0|XtXvn|skndf`f|{Ja0 c"d&cd&pHyT^0a0]Â|^Xm&vn|m&os{]b ]bdÊd&|szm&]bd&^Xp=^V^VYp < 7 = < .
(37) ~¥§¦T¤¨J©ª « ©_¬B¨J©!l®¯&°±©_0²°Ê¯´Vµ-°Y9¶"¥Ðµ «. . ½l{ a0df]vna0i tX^Xknxhd&p svnd|¢Õ-|X{d&vw{b]bvncR^0|ppyX^01^B]f]
(38) a"{qs|sz7^lvn{_|vn^B`~|a0|^VJ©d_½l¨baV¯kn¤o½laVa0{bvn]^0vna0|$tXvnkn|d&p {J s|sdÌ^l{ ^0tX^Xm&d&m&mo{_Y]_kn]a0vn||`$`0ovn|aB`0{dld&y]bÁ c" Xpvn¹ mJ ºXd&pbmzu{bd&vn^0mvw|!±q$"{J zd ]_d&opbd&p_o|0{Jalp k |p_^BaVo{Jos|s]baV|ksd&p_pbd&pc"¹Ëa0|¢|0{bºXvnm&d&pm{_pvn{^Bq|!knd XzsyX]bÁ d&dpbd&m&|0^B{|al{_mvnkn^Bos|$d ^lÇa0{J| d&p_Xdvnpbm&oop_`0pÊc"YoXd&{|0o{p]bdyVaBÁÌ|s^0]bàX¹vnpbm&op_pbd&p{ dfi ^Xxz]b^X^V-^V-{qXz=d Á ddÕÇ ~Áf|Xvwvw^V{bkw{Jk vn^0aV^l|{bÐvnp{J^0d&|=^0|5¹]Ëop|Rpb{dalz{]b|sd&^^lc"½7{vnd&al|s|0{_`vn{J^Bp${| |dfm^Vkn{a0^0pbvndh|0d&x{J{Jd&o^|aBm{Jqd& s¸d^VÔp{qX^^0|0ot={J]aTd¢]b£5d&i z^l^X]_ d&x¸i pbd&^B^X|0] x{JaV¹! {b [vn^0^¢|dc"aBÕ-|a0|X àlvw{_dhm&vn^B^B{J]_| ]bpdd&ym7{JÁÌvn|spd!d&{bpbvnÁf|spmvw^Vkw{bk~Ôvn^0p_os|=opbtydPp1{_^B¾ vw0]${JÀoX{J{_ saBvnp ^B^Bp_|ua d y p_oz=d&]_pbm&]rvnzX{^0|¢i ^Xx"àldqÁ ^B]_p¹ 5~ l "&ß Â "&
(39) . K R# θ|^Vdh{Jd³a0{Jpbp_ sodc"|d^V{J{JaV {bd$vn^0]b|!d&a0opbd&d&]Ê!vnvnpf|1aB{Jc 7vnvwp kwvnzaBa0]fz=Áfd&vw]{yX !c{Jo md ¢i ^lalknm&Á o7 7knovnmJp ^VvnpË{J|a0àlod&m|!{_vwY½B]_d^Bc i ^B{| prdh{J]_i o^XmxR{bvn^0p|qXpp{¹
(40) d&θc dh¹'prvndc"{zX kwq a0|]bd&z]_d&pbd&|0{{d&]bcRp^VÂiÊËbi ¹Çf d~prqs|0{aV£K^l{d&]bc"pÊvnpfa0p Y^Vkwkn^&Á p¹ (4 ' ! " E$ #&%' )(*#!%' /+ . -,. . 6 . 0/. 12#&% 34 . ! 657 .8 9 : ;=<$=>?9@ BA DC E< F G<H %'I KJL L2 NMPOQ R $S
(41) #%' TCU KJ VWXJY DYZ NM[V+
(42) M. ) . . . . { ݳ d&dK]bd\ Btuy(!^0 =ovnpÊy?|58{ ½ldf9TaBy]rvnaBd&aBzu|st7d&kn|d R sd&)2^X|0S{Hd& ph{a0qX|s]bz=^lddf{zm&^X]r^0vnm&|cm&provw{J{b]$]bvwos½0vnmdl|»{Jys^0{Á ] XaBdKvw|kntud ^X{J{JX qld$df¹ ^Va0{JÒ]b ]_ ^&d&Á]_{Jpf s¾aBdK/ ]_]_dd&ÀHc"vnpdaVÕÇ{Jvn| |Xd&dvn|=o`¢¹^pb8om&^0aV |k9pa0{aBtaB|t|0 ]b{JdpR½y4vn)2aV(S{b=vn ^0]|a0]by^Á d³4 {J d&b| d y ^0¿Êz=xd&o]_alalkw{vw{^Bq]_pÂ^01_| ^B]f$s d Õ-¾ |X5$vn|ÀÊ`vn%p vn|sdovntm|X{bvwvw½0{Jѳd"d&¾ xR o)2alSkw lvw{ÀÊql¹aB|s ]_d&m&o]bprvw½BdE¾ 8 9&À Yo|sm{bvn^0|p ^&½Bd&]fvn|som{bvw½0d${qszud&p¹ mÁf&d&vwR{ K Áfvwvw{zs{Jp aB ]_{aBqXa0cRm|z=dldloysnD{Jpbd&prd&]uqDzvnspÂa0j]]bt vnue|0aVh {J{d&]bvr^XRhj t0oqK^Bm&a] d&½0lod&nD]opr{bprqDvnm&vns|aVj]`³k=t uDts{Jha aBwxda]_ph`c¹ ybencdfbct j]git z2hn~jkhesdÇd&àlmkndaBq]_ÁÌal{_^0vn]b^B | aBÁ | hd&vn]b|d³d&oaBmm{_ Kvw½Bm&df^0{|qXprzu{Jd&]bospHmaB{J]_^0d ]vnvn|0p {J]b`V^Xvw½Bsd&oX| a{qXÎÏzud~d1p_^Bz=]Êd&½lma0vwÐ]q vna0a!tXknzd&]bpf^a0½7|vnprvn^B|sdalÕ-kH|Xprvnqs|s|0`{aV{J£Kd&]bcRY^0]~pa0^0|oR] ^0{qXtXz=d&d&mp {bvn1|kna0s|o`Bmos{baBvw½0`0ddlkwyq0¹{ d X¡m&alknm&oXknospyt0qvn|0{J]b^Xsomvn|` ) 4 *& ) ) / & & ^0]vn|sp{Ja0|m&dly5,.&*)#+ , . `2bedfb'g{hjkhed )X%2 G lonDp|qDsj]t uehv$hj 5 } )X% ) ~\=% ! % lonDp|qDsj]t uehv$hj\ 5{ } X% ) + ~ G7% W r#"% E~ } # } #. 0& / & / & &()#+ , ) / & 2 / & ) / & 0& / & /W & knfa0 X|vn`0pfopraBqX`0|Bd${aVaB£"p³avnpf{Jzd&]b]_^c½7vnpr^lvn^B|s{qXalz=kud pvn&f|) m&yÇdl 6Yys^0,al] kw{c" ^0^0po{f, `Bvn |) prvw{f{Ja0vn|0pf2 {bmvnknaV, d&{baBvn)^0] | pf^ÁG^l2 2 {2 {J^2 d$d&d&||{m&m&qX^X^Xzudd&dfp$d&) a0{Js mJyÇ Rd!{{J 1d&od$]_|c {mqX{bz=^Vvn^0d|¼{J& rdm&# ^0^B |0,EtX#{JaVd&#vnm|{_2Jp ¹ ). -Õ ¨b¶ |s« X°Ðfvn¥¡|² `d${Jad&Y]_^VÁ c"kwkna&^&pq!Áfyvn{{J| ^` al]_{vnoX|knvnd pyÊo{m{J {_d&d&vn]_c^Bc"|p³^Bzo7{J]r{Ì vn|aVvnpÌm{vn{JzX kn^d³d³Y|pb^0o^V]tX{&¼d&d&|mvnp {fm&^X`0^Vd&d|{Jd& a0]bd³|0aVq {J|d&dJR 7£7Y{ t0{d&qYd]bÁc{ ¹Ppbd$d&ͳpmqX{bd&vnp^0pb{m&|d&]rcpvn¹tXvna0||`{Jz s]_d&^&pb½Bdd&{|¢d&]ba0cRoX{Jph^0c"a0|aV {_vnm&alkwkwql¹ÊË{fvwkwknopr{J]_al{d&paR`Bd&|d&]_alksY^0]bc ^lvn|som{bvn^0|!^&½Bd&] 7vn`B d&]r3^0]bsd&]prqs|0{aV£u¹ ù$8. = =. +::M.
(43) . h¨b¯rÃs¨J´V© « ƶ ¨JÄw°±´
(44) ~¥Ð©b¯9²b¤ « ¥1°. . #&0/ =] , ( X% ) , ,} ) 2 2 2 / , ( H+ YF<_% & , + 2 / ,E <$2(/ ,E , ~\= + < 2 2 24/ , ("% ) / & , (,[% ) , , 2 2 24/ ,E , &() + 2 2 2$/ ( {% & ,
(45) "2 ^Á V X{Jvn Ê Xm vnqEpc"{a0qXpba0z=p_àld&dldÊ]¹{_a0vnfpb|pb ` osdfc" vn) cRzXK{_z=vna0^B^0p |]{puaKaBa0|0zst={ÂaB^0]_^0oXaB|{cRd&{Jp Xd{J{JvnpÔd&^]{m&ylqs^0{Jzu| dlpd$¹ vn{J sd&kw]
(46) d&kX^BÁf{J]_ vwd&kw^0c"kÔpbtud
(47) pÊdf{JÁÌ {daV {^Bzsp_ÁÌ]bd ^&dʽ0{JÁf daVvwÁfkw{ k-vw|spbkwkaVd&{b d&vn^lpÐkn q d&aBY]_^0|0d] q"p_ aBaT^0|0£7oXqvn^Bkn$vncR|YprpÂ^V{JkwÁ a0kn^&|Bd~Á {_a0vnalYpb{_]_p_vn^Bd&^Bc]| { { d( ) <') fa0pbpbosc"zX{_vn^B|tudkn^&ÁÁ XvnmJ 5aBp_pbd&]r{Jpfa!pbo]1d&m{bvw½0dcRaBzszXvn|`1]b^0c )) R{J^ {J d|aV{Jos]baVk (*"%. |octud&]bp¹. ). ) ) / ) . ) / ) ) ) , 2 5 <4 . lonDp|qDsj]t uehv$hj < c 5X%=< ' &m%=< ' < ' 2t z2g < '\ %c1rS{% < ' r(?<_%e< ' ?1# % S . ) ). 5~ l "&. ! "$# 9
(48) prvn^!`B|zaV]b{J^os½B]bdd{J1 s^Bal]${~{J^0 sod"] Xpr¡qXm&|Bal{knm&aVo7£Eknoa0py
(49) d&Yx^0o]$aVÁ {Jd XkwqKvnm ·]_d&za0]bd&d&p_xd&o|0a0{Jmp q^Bos ]~a0ph^0tsaVrknd&]bd&ma0{b1XknaBq|stu`Bd&od&a0|P`0dlzy]_Á ^&½Bdd&t=| d&`V e vnY|¹¢ÁfË|vw{J a0| yÔ{J d pra0qsz|0zX{kwaVvnm&£·aV{bvnvnp^0|Kvn|0a0{]b|^Xa0otm&d&p{»]ba0prmvnc"{bvn^0zX|=kwq»¹ t0q¼d&mknaB]rvn|`¢{ d!{qszud "!1^B]{d&]bcRpaB|»{Á ^»m&^B|sp{J]_om{J^0]bp³Y^0]. 5/ "/ " ".)#+ %', " / " 2 / " "{%= {%#". ). vncRz=f^0 ]{daB|0pbd{ {~z^V]b³^0z=¾ d&]r {b7vnd&¡pd&yVxÁ oXvw X½lvnaVmJkn d&|Á m&d$dpm{JknaVa0{Jpbdpbd&vnpf|XY^V^0J]bÀ cR al kwkwqR{Jd&aB]_p c"1p ^lkw`Bkn^&d&Á |sd&p]b aV{Jd&!tBq{ Xvnp~prvn`B|aV{Jos]bd$ aBpÌ{J ]_d&d l¹ m&^0kw|kp{J{d&]b]bocRm{p^B]_^Vp̾1{vn| sd¢o^BmtX{bvnr^0d&|"m{bz1kn]raBvn||`0mvnozXa0kn`BdTÀd!¹ m&a0| tud¢]bd&z]_d&pbd&|0{Jd& ¾¡a0p{]bd&d&pÀoprvn|`Ï^0|Xkwq¼{ d{Á ^ e7¹¿ÊaBm "{d&]bc a0pfao|Xvnxod$]bd&z]_d&pbd&|0{JaV{bvn^0| ¾±vn|ld&m{_vn^B|Rz]vn|mvnz7kndTÀJ¹ ¹ |0qR{ÁÌ^{d&]bcRp{ aV{Ìa0]bd$dJ£7{Jd&|prvn^B|aVkwkwq"d&xoaVkÔa0]bd$aVknpb^d&xoaVkʾYdJ£7{Jd&|prvn^B|aVkwvw{qz]rvn|mvnzXkndTÀJ¹ f"l y d$" 1^B/ ]_c"oXTyknal"{_ vn^B/ |!^V" {J/ d&p_"ldyzd]r{Jvnml|¹$mvnθzXknd&dpÁfyÁ vwkwk 7vnomJp_ dÁ {J Xd$vnÁfp³vwpbkwd&kHx|o^ld&{ |m&`Vd$vw½B^Vd s{d&qX]bz=dld&y7pvn|Bvn½0|^l{kw½0 d&d$ p {J ]ba0 »|{prknd&al]b{_c"vn^Bp |¢^V^VH{qX^0z=od] ^0ftX od&p m{bÁ 1knda0|`l`Bvw½0osdhaB`0ahd Y1^0]b]b^0c"caVk={J sddÕ- |X ¼vw{bvn]_^0d&|z ]bd&p_d&|0{JaV{bvn^0|{J^R{J sd i ^Xx]_d&z]bd&p_d&|B{al{_vn^B| vn|{ d|dJ£7{~pbd&m{_vn^B|=¹ . - /. wxhyn't j]t z2n " M %o5 kCU< 5L < " " S ". " M ?J. . Ëa0|³|{J vnd|lrm&d&^Bm|0{b{vn^0dJ£X|h{uzs^l]vn|{ XmvnvnzXpknpbd&d&pxvno|0d&½0|^lm&kw½0dHdf^VÁ { qXaVz={d&ÁÌpydfvn|m&praV{Jkwd&ka0{J~ dÊ^V7 X{vn`0 dÂd&^0]]¡vn^B`V]_vn|d&aV]klm&{Á ^B|s^fpm&{J^B]_o|smp{J{J]_^0o]bpmy{JÁ ^0]b Xpvny_m{J dÔa0]bvn|d odmÕ-{_|vn^Bd&| a0p Y^Vkwkn^&Á p < 7 = < .
(50) ~¥§¦T¤¨J©ª « ©_¬B¨J©!l®¯&°±©_0²°Ê¯´Vµ-°Y9¶"¥Ðµ « . )) ð . ð G ' ð .)#+ ) ) ,.) ,. 26,. i# 2 2 , )#+ "2 , + 2 = , )#+ ,. 2 2 fa0t= ^d&½Bp_d d X 5vn`B spqXd&|0]¡{J^BaT]_£Rd&vn|0]{J^m&^Bi |s^Xp{JxK]_o¾Ypbmd&{Jdf^0]btup³dÁfkn^&vwÁ~kwkÀJ¹ aVkw ~kn^&^VÁ@{Jd o{p aV{J{^5{`l vwd½0qdaBaP]_d ½0|d&]^Vq { pvn 5cR{JzXd&kn]_d!c"{Jp]_¹ÔaB|Ý~pr^&knalÁ {_dvn^B½B|¸d&]yX1]b1^0^Bc ]Êd&a0{J mJ d < a0| <HyÇ{J d{Jd&]_c"p5, DC< 2Jy , ) =U< 2JysaB|s , ".)#+ <$2yÁ 7vnmJ !Á dha0tt]_d½vnal{d aBp # eCM y vn)z|0=a0{JP`0d&M-d]_zy
(51) eX]baB&d|s{ÀJal¹Ô{_vn".f^B)#|s +UpdÂM-vnvn|K|0y{a0a0d&]b|0]bd zq"]_ i d {JaBaV]r{J{b{Jd&vnd&^0]_p| c"vna0{Jp| s¹d&mf]bknd^0 pbvnd&pHd&pb 7dvnm&`B{aV X{J]bkwd&qd&`0d$pb^0d&]YcRa0q$cÁfaBvw|0vwkw{J{_vnd& "vnmp$]_vn^V| d Ì-|dJ XaV£7vn{J`0vw½Bo d ]_d&dl]r^0¹3tX^0Ò~]bd&osmd&]{] pÌz 7o¾¡mY]b4{zud&w^0]b pbcRudHp~ dd& Õ-]_a&|XdH½0vwvn{_d"pHvn^B|pr|qXaV|B{JX{os¹ aV ]b£u¹naV ky a0|Ë| ^Bos ]ÌYcRy^l^0{_ovw]½laVz{b]bvn^0^&½|"vnpr1vn^B^B]Ê|{JaV sk dpqXa0t=|0{J^aT½B£5d~sÁÌda0Õ-p|Xovw{bp_vnd&^0P|pÊ{^Kvnp q|vn^Vd{ kn {J a0d³|PopbcRd$aB^VH|7vn^BztXoXknd&aVm{J{_dYkna0d½0|Pd kvncR ÔzX¡]bknd&d&c"osd&m|0{b{vn^0al|={_vn¹ ^B|¢^V "lyHa0|5vn|Ï1aBm{^VÌ{ d " M p¹¢f sd&]bdly
(52) aBd&xoa0mq¢m&aBospbd&P|s^¢z]b^0tXknd&c yÔtoX{${J d Õ-|aVkprqs|0{aV£¸a0| p_a0d&|c"a0pb|Bd&{_cRvnm&aBpH|0Á {bvnd&m&]bpdÁfvn|Bvw{J½V saB^BoXd&{f!^0t0tXqEd&¾¡m^0{btX1kndd&½Bmd{_kÇYknkwdvn½0p{dpk±ÀH¹ kwvnpr{Jp¹Êݳd&]bd Á d~Áfvwkwkpbosm&m&d&d&vn|!vnc"zXknd&cRd&|B{_vn|`~prqX|B{aV£ !"$#!~ ¢* " ! ~ ¢ ') !* Ëm&|5^0]b^B]_d&]_pbzud&^B] |{7^Kvn|dJ`£sz 7]_vnd&`Bpb p~d&^0]r3o^0]]bs{Jd&]ba0]|m&pr^0kn|al{_p{vn^B]b|omÁ {^Bd]_p¹ dÕ-|sd{J di ^Xxm&^0o|0{Jd&]bzsaB]r{ ^lÊ{J d{qXzud&p "fMaB|s¢{J d . wxhyn't j]t z2n eC[5 2<H%D< ' < r# M ?J Y GY #a%#" #. wxhyn't j]t z2n .5 c<H%=< ' Y
(53) #% "fM r#PM ?JY YZ# %" G=
(54) #|M ?J i#
(55) *#PM ?J wxhyn't j]t z2n " 5 2<H%D< ' R 2S B<=C BV. %#" J " xV B%#" $#BY YZ# %#" " a# i# . ). & & ) / & ) ð . ð ) , ) 2 G ) ð & ' ð ) , , 7 26, 7 2 2 *)#+ ) ) & , &()#+ "2 , + 2 & ð ) ,.&*)#+ , 2 2 pft=d1^B]_dly0ÁÌdop_da0tt]_d½vnal{_vn^B|p y yÇa0| *)#+ ¹ tud&`lvn|!^Kt0p_q ^&sÁdÕ-{J|X svnd|`m&^0{]b ]_d d&pb1zu^lkw^Bkn|^&Áfsd&vn|s|`"m&df|t=aVd{J{oÁ ]_ald&kÇd&|{J]_aBi |^Xprx"knal{{_d&vn^B]bc"|Lp ^V H=) < {qXS$z=Yd ]b^0& c)aB{J| d( " M » pf{vnd&|0]b{JcR^hpÌ{J ^VHd {&\qXMzu dp¹ "lyÇÁÌd lonDp|qDsj]t ueh
(56) wxhyn't j]t z$n #) < S{%e(P<_%=< ') " M / &M W / ( 5 =) < S e C%e(P<_%=< ') ( ( <,$ . , #) < Si< #e C M -# e C M* 2 ' =) < S ) %e(P<_%=< ') ( r) Y/.%" M ( )
(57) Y/./
(58) % & M , =) < S{< ) )
(59) 2$/ , #=) < Si<.0./
(60) 2 / , =) < S < ,.) |M +) . 261, % =PM )
(61) -./
(62) 2 2 ' =) < S " ) + %(P< %D< ') ( a % " M2 J ( C%& M3 J , #) < S , <546 2() C 2 / , #=) < Si< , ".)#+ M 261, '() + M C 2 2 M ?J wxhyn't j]t z2n M %o5 kC< 5 ) < "ES M ? J wxhyn't j]t z2n# eC.5 2<H%=< c <$ r# Y DYZ# { % } )#. wxhyn't j]t z2n& % .5 c<H%=< ' Y
(63) % M r#|M ?JY YZ# % ~\= B#PM ?J {#
(64) ?#PM ?J i# wxhyn't j]t z2n& ' 5 2<H%=< c R 2S B<H=C BV. % J xV B% ( r# LY YZ# % . # i# )# DC *M % = M +' M. ù$8. = =. +::M.
(65) . h¨b¯rÃs¨J´V© « ƶ ¨JÄw°±´
(66) ~¥Ð©b¯9²b¤ « ¥1°. . f d³aBtu^&½Bd$dÕ-|7vw{bvn^0)| )=< S$dÕ-|d&py0Y^0]fd&aBm) <HyÇaB|Rvn|lrd&m{bvw½Bd$c"a0z1]b^0c " M {^ ¹ {_{fvnaB^B p_|dà"d&zsvn!p]b^Xd&{Ja0^V^]kwmvn^V d&Âa0]¹]b{Ja0 7 mvn^0p~{J]fd&z]a]_vnÑ&^Bprdzuvnc{J^B prvwvwknd³{ba0vn]fvn^0c"|¢p{Ja0aV]b`0d{Jdkwd&vncRd&^Vp³Hd&{J |0 7{d&vna&pfa0½|{JvwkwK]_qPaBah|^0prY|¢knoXalkw{J{_kw vnq^Bd|uc"vnyX|sd&Á m Xoa0vnmm|X{b ¢vnvn^0Ñ&vn|¢d&|a01zaB|m]_^X{f^lvnvn|lpr^Vd&{Jm {bdvwvn{9^0yspb|¢ospbd&tzd pb]dvn {f|s Ym^V¹ vnÂzXÒ³kn{Jd&d&op~]_]fc"cR|pÊdJd&£7|Xvn| { {& M al{f{ p_ald{Êknd&pbmzu{JpÊd&m{Jvw X±qvnpf Xp_1o{Jtd&]_p_c"d{pvnypfaB{|s d {J1 ^lokwknpÊ^Áfa0]bvn|d `"{J s^0df|{Jd d&¾Y]_pbc"d&dpÁ d~±À a0 ]bdfvn|0{d&]bd&p{d&vn|=¹f d |aV{Jos]baVkdÕ-|Xvw{_vn^B| &. M. `*dfz'z]t j]t z2n . ) ) & / ) , 2 / , ) 2 ) ) & 7 "2$/ , ) 2 / , ) ,
(67) 2 2 .)#+ ) & , ) , 2 24/ ,} )#" %$L< , '*)#+ M 2 2 Ë|sd&d&D=h yzÁ dfhedg a&½B%d³ {J^B s]d~d&1a0^lmJkw Ekn^&Áfvn|0vn{J|sd&``0d&]b]{d&p_<HoXy kw{9 y7#Á )= < ^0S pbd~qvnzsd]bkn^X^VpÔavnpftXprv {J]_d&almvn{_`0vn^B 0|5{bY^0t=]dÁ {Á a0]bd&=d&¹|¢{Jd&]_c"p³^l {qXz=d " MPa0| {d&]bc"pÊ^V{qszud & M pbaV{bvnpr±qvn|`, }-#) " + $)< J2 ¹ zm&a0]_d&pbdTX~ Àvn¹m&^VaV{Jfd {J Xd${vn Yp^0alvn]~{^pd&}zsa0]b*) mJd& " m+ vn$pbvn|dvnkwpp q{|aB{^l| {Êm&dÊda{Ja0^Vi \pb^Xà$<»xÁÌÁfzdÌ]bvwÁf{d& Xvwkw^Bvnk-m&o7aV{J{os{Jdl]bo¹|prvn {J|o^$`!]r|{J{J ^& Ád&d]_y7c"ald^0{Õ-]bkn|7dld&vwyaB{bvwprvn{Ì{H^0vn|¢YpÊ^0Y|]4^0^V< ]{Ì<5 mkn4d&sa0¹
(68) ]Âθ s¾¡^&p_dfÁ¼d&Áfd${Jvw{Jkw^k- pbd)osd} m&ÕÇm&|#) d&d " d&% $a^Bi " )|X^X+ kwqx Á cRz]_ ^X^Bd&zu|moX^0knp<"^vw{bvndJ5 ^0£7|7{J5d&, |s} aBp|vn#) ^0¸" |% $ al{kw 7vw, {os< q p4 ^B¾¡p_|Xd&kw2d q» "º7m2 d&kn^0mÁf{bpbvwvnd&{J^0¸ 5|·{JaBd&|5ÀJ]_c"¹ d&x7p$~ o7pb^VvwaV½l{J{bald!vnknpd&{Ð|0q {al, {^B} |s{*) d " dU+ {J$ } aV {*) J2 " ¹ + $ d&Ò³zu d&oe |]C p_pm&^laBkn^BoXp_|_d{_vn<^Btu|¸d&vnm&|Áf^0pc"vw{kwd&k d&aBp³]_d&vnzX^V]bkn]baBd<m&kndd ½V4 {JaB |0ld{ y { 7ospaVkwkn^&Áfvn|`op³{J^!]b^0zU<¼aVkw{J^0`Bd{ d&]¹Ò³|d^0t0½7vn^0op$m&aB|sXvnaV{Jd$vnpi(, % ) , } #) " + $< , 2 J2 ¹ lonDp|qDsj]t ueh
(69) wxhyn't j]t z$n } #" %$)%(P< %=< ' M W(=] 5 } #" +$ eC.%e(?<4Y %=< ' < } *" +$)<,# eC M*. r} #" +$ %e(?< %D< c ( Y
(70) % M } #" %$L< } #" +$[<
(71) } #" +$L< 1% =PM r} #" +$ " %e(P<_%=< ' ( a% M3 J } #" +$ <54 . ) ) , ) ) . . ݳ^&ÁÌd½0d&]yÇa0p ÁÌd³ÁfvwkwkHpbd&dlyB{J Xvnp vnp |s^l{fpbo7Ó"mvnd&|0{ aB|!^Xd&p |^V{f]boXknd$^Bo7{ alkwku{J d$|d&m&d&p_pba0]q{Jd&]_c"p¹ #!~¢ B u ¢ #K³¢~
(72) B &u #K & . {_fovnp_al d{_d&vn]_a |d ` R a0 )2]b)dfS { {J^0]bX^ z=d&d&df< ]_)'à0albvn{|¹ ^B]Ë|¹p ¿H^V{£s XdJvn^lp £{_vn^Vm&m {ba0vn{JpbmÌd&dl]_{Jy7c"d&ÁÌ]bpÊdcR^l pHa&{{½0 qXd$alzu{Êvnd-]b{J]b& sd&sdfaBo{]_qXmd~vnz=tX`05d knd&d³&|Yd&ocR]b|aVa&m{Jq"{_d&vn^Bm&|s^0{ al|0kÇ]b{J^0aV{Jovnd&|=]b`0¹cR "θp { ^ld d6Hvwkw{&(knqXo)#zupr+ {J{d ]_al< m&{)'^0d *|t0p/ {q"]bovn& |mpr{{J{J^B a0]aV|X¹ { f d³Õ-]bpr{à0vn|¢^VHdJ£s^l{_vnm {d&]bc)vnpfvwkwknop{]baV{Jd&!t0qK{ d 1^lkwkn^&Áfvn|s`{Jd&]_c #|e J 5 , &()#+ r #U%D<)' R )2S X#&%e<)'^C BV , }-) 2 , < 2 V ,} ), m<$2 2 2 fm&^0 oXdRknaBtuaBm&^&m&½0d&dz7{J{Ìd&vw]_{³c aBp vnpa dJÁÌ£7{Jdd&kwkw|1Ypr^0vn^B]b|scRald&kw!kwq{Jd&d&x]bcoaV¹k¿{^£7{J{Jd& |sdpvn^0{d&|]balc kd&,x&(o) aV+ kwvw{qK$ #vnp %*sd< Õ-)c| d&, } aB)p _{# 2 d³2yHY^Va0kwkn|^&Áfvn{| `op$i ÁÌ^Xxd dÕÇ|Xvw{bvn^0|=¹. < 7 = < .
(73) ~¥§¦T¤¨J©ª « ©_¬B¨J©!l®¯&°±©_0²°Ê¯´Vµ-°Y9¶"¥Ðµ «. . #& / &0/ ) ,. , ) 26, -) 2 2 ) '+ + & ,. + 2 / , + 2 / , , + J + 26,E~.< J < 2 2 )+ ) -/ & , ) ,. , 25, 2 2 2 / ,. , &()#+
(74) 26, &()#+ 2 2 ËdJ{ £7{JÁfd&vw|skwkpvnt=^0df|alXkwvwkwÓRq¸m&d&oXxkwo{ al{JkÊ^{J^dÕ-{ |d&dfc zs¹]bd&X vn^0m&]aV{Jvn|d&p
(75) pr{JÁ a0 X|vnm&mJd R^0aBo]_]d za0tX]bd&kndf7vn{Jm&^al{7d vnpS{b>vn|s.`BS oXvnp_¾¡ p_d&}d")#tu" d+kn$0^&1Á~{Jd&À$]bcR^XpHd&1p]b^0|c ^V{9{J¹Ed&]_ÎÏc"d p mmvnkn]_a0m&pbopfc^V½Bd&{J|0d&]_{c"{J XpvnYp^0zs] ]b{J^0 XtXvnknpd&c tB q]bm&dkn^0aV|{bpvnvn^0|=d&¹ ]rvn|` {J sal{a~ 7Y{d&]bc vnpvn|Ya0m{]bd&z]_d&pbd&|0{Jd&tBqa0|hd&xoXvw½Valknd&|m&d pÕ-_o]_mJp{f 5fvn aB|0dp{J]_pb ^Xd&#|m&eo^0 m&| d 5 aRà0c"vn, |} d5){al^l1Êkn,ddJ ½B£sd^lk{_2 zvnJ2m]b¹ d&{J7fd&vn]b m&cRald&{pbp d{da0} ^0]bdzu#) d&" {J+| s$ d {Jud&« yu]bÃscRa ¨Jµ5p pkwÁfvn^B`0|svw Bkwd&k {³pzXyuc"kn|a&^Xa0qPXc"vwaÕ-dm&kw]_qaV^l{bkn{Jdvn^0 s|"vn^B|¸p_^Vd^0 Áfo} ]vw{#) a0 " z+ $Rz _Y]_al]_^Bd&kwkna0d^&mÁf½V aBvnu|s]rÁ vn`KaBdtX^0knÁfz=d&d&pvwkw| k {od&z!]bc"{^p0dJÁ £7{Jdfd&Áf|prvwvnkwk=^B|{ aVkwd&vw|{qlp_¹ om&m&d&d&vn|KsdÕ-|Xvn|`$ai ^Xxz]bd&7vnm&al{d #) " % $Á 7vnmJ vnc"zXknd&cRd&|B{p, }-#) " + $ 2 zvn|]_d&{Xf vnd m&vnaVd] {JaBd³{J]_ 7{J`Bvn^"]bo¼cR7vnà0d&pbvn|0m&|a0{9 ¹ ]bs ^l^B{J$] sdJd&dJ£c £s^Va0¹³{bc"vnmfzX {kndld&d&]byBpbcdknda0{5vn]bp! d$#Pc"{JDd&^0]_c"]bd%o5 p z{]_ ^BaltX{³knd&m&cR^B|0al{J{_aVvnmKvn|a0Y|os |mÁ {bvnd¢^0|p dÕ-{J s|7alvw{J{~dkwa0q»]bdÁÌ|a0^V|0{{ ^0oo|X] vw1^B#)]_c" % $ PCrYZ#U%=< c) R 2) SB #&%e<') ^C XV , }-) # 2 , m<$x2 V E, ~ , } )) C 26, } ) X< 2 2 f d³Ë| {Jd&^B]_c]_d&,.]$&*)#{J^¢ + PC%=<') ,.&*)#+ r#&%e<') , G #Pe C # 2 2 Ê2 ^Xd&pÊ|^V{ ]bd&z]_d&pbd&|0{ a" X1{Jd&]_c ¹ vn|0{d&`B]_al{d{J sd"Õ-]_p{à0vn| ^V~dJ£s^l{_vnm"{d&]bcyÁ ddÕ-|dR{J dRc"d{al1knd½Bdk z]bd&7vnm&al{d } #) " % $ #|Á Xvnm Gp_dknd&m{JpR{Jd&]_c"p"dJ£7{d&|pvn^0|aVkwkwq¼d&x7osalk³{J^K} #) " + $¼^0|d&p¹ s ^B]{ XvnpyÁ dP a&½0dP{^ dJ£7{Jd&|s {J^{ d~p_d&x7osd&|m&d ^V{qszud&p& Mǹ'³ ^l{d { al{ 1^B]fd&a0mJ Rvn|0{Jd&`0d&]<y vnpfa"i ^Xx {Jd&]bc¹ wxhyn't j]t z2n
(76) 5 wxhyn't j]t z2n 5 = Y]CU% & M3 J (,[% ) , , 26, C 2 2 wxhyn't j]t z2n } *) " + $ #P45 2<H%=< ') ð
(77) % & M o 1
(78) ?% & M , ,
(79) *2 , , } #) " + $)<
(80) 2 2 lonDp|qDsj]t ueh
(81) wxhyn't j]t z$n % =] 5 L%e(#!% } )# } )# U%( J Y eYF< JYF<a% J < J .< ~\= " %e( YZ % f(*#!% :# E+# . . ). Xvn`0 Ë|Pd&]r3^0^0]b]bd&d&]Ì]Ê{Jm&^^0|vn|0p{{d&]b`Bo]_mal{{^Bdh] dJ³£s¹ ^V{bvnm{d&]bc"pf^VÂ{ dpbd&m&^0|¢à0vn|=y-ÁÌdpr{Ja0]{~t0q¢vn|0{J]_^Xomvn|` aK1^Bos]{J wxhyn't j]t z$n K5 2 <H%=< )c ð* !% ) ð $# J % ) T $# M % ) ,} ) 2 Á ³^0od¢^l]Ê{dmJd& {J|a0 ^V]baVa0{J{~d!m{JaVt0d&kwq{J]rvn Ñ&^0*aloM-{_vn`0¹^B |$º^Vvn=c vnÁ phvwkndaB|skw]rkw^lkwYql{$1^By aE]_*c"i M*d&^XPRxm{knd&^Bd&|sp_]bd&^lc{d&yÇ{Jp Yd&^0]_, ]~c"d&pa0< {mJ _ ]b2J^0<¹ o(y `0θ, 7d } <$a0)*2]b" +dvn$p|a¢aB^|sÁi !^X}vnxK|¼)#{aÏ" d&+]b$ zucÞ ^0#Ppvnvw| Ô{bvn{J^0& ^|¸M3^B {Jt7J^5{JyaVcÁ vn|vn Xc{Jvn mvn md 1^lkwkn^&Áfvn|s`"z]_d&Xvnm&al{d&p2y } )#" +$ !aB|U } )#" %$ #Pby7Á Xvnm ¢mJ saB]_aBm{d&]vnÑ&df^0o] ^Bzud&|"{d&]bcRp¹ . . . ù$8. = =. +::M. . . . . .
(82) . h¨b¯rÃs¨J´V© « ƶ ¨JÄw°±´
(83) ~¥Ð©b¯9²b¤ « ¥1°. . ) ) & / ) ) ) ) , ) , 2 2 ) ) , 2 / , -) 2 ) ) ) #& , ) " 24/ , -) 7 2 / , ) ,
(84) 2 2 ) .)#+ ) & , ) , 2 "2 / , ) , ()#+ "2 2 wxhyn't j]t z2n } *) " + $ G#P 5 c<m%e<') ð B % & M'o 1
(85) P% &M' , ,.
(86) 2*, ,} )#" %$ [<7
(87) 2 2 Ë|!{J sd|dJ£7{fpbd&m{_vn^B|uyÁ dÁfvwkwkvncRzXknd&c"d&|0{6, } #) " + $ #P 2Êa0| ,} )#" +$ #| J2 ¹ lonDp|qDsj]t ueh
(88) wxhyn't j]t z$n } #" %$ %e(?< %D< c M W( 5 } #" +$ L%D(?< %D< ' ( % } #" +$ !< M r} #" +$ eC%(?<4Y %e< ' < } #" +$ [<# eCM. r} #" +$ G=%e(?<U%=< ' ( Y
(89) % M } #" +$ < } #" +$ [<
(90) } #" %$ .< 1% = M r} #" +$ " %(?< %=< c ( {% \2M J } #" +$ 5 < 4 } #" %$ < 1' _M. ~&
(91)
(92) &= vn1 p$oXpkw{Jkwqp^{JaV^&]_{Jd&½Bd&c"d&³]_^&m&d&½0^BaBdcR]rkw{Jvnd$d& ]{Jdy9 XYsvn^0p³d&]z=Xa0d&vwÓ"|B|qism&d&<oX|kwyV{m&{qd YdÊ^V^0 mJ] {J{aV kwd kndd&&(|m&`0a0)#dÂpb+ d$^VÁ m&a0 dpbd&Õ-d||X^0vn<K| |s`f5 , <a~ i 4 aB^X|x~2J¢z¹R]_sθd&dXÕ-dvn|m&pbaVd$ s{J{Jd^& Á vncRd zXi d&kn^Xd&]_xc"d d&z|0^&]_{bd&Á)vnX|svnÁÌ`m&aVd, {J} dp_o)* m&" )#+m&$"d&+pb< $ prJ2 vnvncRcRzXzXknknd&d&c"c"d&d&|0|0{b{Êvnvw|s{~` X,vn}]bd&)#m" {_+kw$qE¾¡cR2fcR^X^XoXknoX^kndJ^£7dJ{J£7d&{J|d&pr|svn^Bp|svn^0al|kwvwal{kwqvw{ÀÊqlo¹pºvn|svn| ` m&d$)#ÁÌ" +d$$JT^0¹ |Xkwq¢|d&d& ,} )#" +$ 2ysÁÌdm&a0|!{J d&| ÎÏdd&|s^l{dht0q } & M {J dpbostpbd{~^V\} )#" %$ #P¡1{Jd&]_c"p vn| & M a0|¢t0qH} &¼{ do|Xvn^0|¢^l{J d } & M p¹ a0]bd$faBt7 kndd t{Ja0^ pdJvnpf£zs^VÂ]bd&^Bpbosp ] xvnoXc"vw{zXdknd&prcRvnc"d&zX|Bkw{q al{_,vn} ^B|R)#" ^l+$ ,#} 2Ê)#vn|!" +$ {Jd&]_2 c"vnp pÌ^l{J3 d³, } Y^V)*kw" kn+^&$Áfvn |2 ` ¾¡c"Ya0^Xm{fsoXÁ kn^ XvndJmJ£X E{d&pb| p^&vnÁ ^0|p aV{kw vw{aVq{fÀJÁ̹ d . U . $ ) #) ) ) / ) / & ) , ) ,. 2 2 24/ ) , ) ) , 2 2 2$/ , } )#" +$ #P "2 . `*dfz 'z]t j]t z$n a ) ' #" e% ( {% f( )% } #" %$ #|& f ( )% } #" %$ #|& c>_% > \} . ,. ,. © «& « À
(93) ^VË{HY{^Vd&kw]bknc"^&Á p pH^V1 ]b^0cG& { daB]_vn|d~vno|¢m^0{_vn|^Bd|¡^Ba0||d$$m&vn^0|l]b]bd&d&mp_{_z=vn^B^0|$|z]d&vn|s|smmd vnzXÁfknd&vw{p Ï{J s¾¡alp_d&{m&d&^Bx|oX7vw½l3^0aV]bknd&|d&m&]dÊaBmtsknpaB{Jp_]_pbaBd&mp{f¾¡prcRqs^X|0{aVoX£Çkn^ À {vnp ]bd&a d&pÂpbdts{foX^lvwkwÌ{ ¾YYaB]b^0tsc)p{J]_{JaB md {ÀH 7zvn`BaV {Jd& s]rp3^0{^B]bs`0d&d]H{J sm&d&^B]H|sÁfp{Jvw]_{Jo m{JaR^0c"]bpa0# z" e1C ]b^0c y {% X=vnpfpbdy{f'({^) + ^Bo]fyp_a0d|{f ^lHm& ^0 |7p¹{Ý~]bod&m]_{d ^Ba]_p{J¹ ]_d&d {]_ d&x7alo7{ vndt0]b{d!q! fal{Jtu{ ddÌknd&a a0){Jp{d&]_<{cß )']bfp_d&alaTdT{_£7Àvnp¹ vnÐ^Bq7c Êvn|sq¸yX` Á {J{J d sdRdÌà7|sÕ-a0^&pb]_p_Ápo{c"{Ja0 pbz7d&pb{b]_osvnd~^0c"|a0zXp]b{_¹ud³vnθ^Bvn|X|=d Õ-y
(94) |XzXtuvwvn^l{mJd{à$kw q { ,.cR !]bd&aBd> |0½lq" aV2{knod&a0d&]b|cRp >
(95) py ^V, .Ha0{>|qXBz= d¼2 vnaB)| ]_sd" ¹ )½lݳsaV¹ d&kno]b¾ dl ³d&y7p^lÁÌ{^Vdd {Á d%d&]_, }-d {)# " +d$ q" tu^l {#| "& a&2½0Ydo|a m{_vn ^B| yXÁf, ivw{> 27yX'v{&= 7d&os]bpd&|0{ {fda0vn]b] `0aBop_c"pb^Xd&m|0vn{JaVp{J¹ d& ÊqK{]bd&{ d&pÊd Xp_d&v'&=m&d&^B] |RaV{faBc"p_pb^0opcR{ÊzXvn| {bvn^0p_^B|=cRya dfpknvnd&ca&½0vwknd&a0p] y {praV{J {ÌaValcR{J{d&^BYc"^0pr{Â]Âd&|0vna0|!{ |0q pb^0^VYc"kn^0od pf]kn1Yd&{J^0oa&] ½0z7{Jd&kn sdpd~yB, Á > {]b Y%d&Pd&d&YF]bpf
(96) d a0{YZpb # pbd2
(97) ^Xqvnm| vnt=aV^V{Jd&){J syÁf {a&vw {J½Bd 7 d³{Ja ,.]_ Bd&d& pHa0 Áfpb2Ìpbvw^X{aB "m|vnaVX{J'v &ud&,. B$d&]b>Áfd&|0vw {{Ì 2J¹a0,]b Ê `0qo>cR{J ]_d&2ÂaB|B|sa0{|ppvw¹u{bvwθ½,. vwd~{qlysd&#ÁÌ|s2Hd^lX{vndÌv'|7&uYt0d&d&q ]] {J d$pbd{ ^VHzaV{J p ¢Á sd&]bd { d$m&^B|pr{J]_om{J^0]Âa0pbp_^Xmvnal{d&Áfvw{J7 ^V{J Xvnp »vnp aB| vn|B{d&`Bd&]Êd&zud&|Xvn|`³^B| ÔyBÁ Xvnm "Á d~d&|s^l{d + yB,.Á a X> vwknd 2 { vnpd p_d&Êm&^B{ |d hÕÇvnpÌ]bp^V{ ua0{qs]b`0zuod cR d&)|Bs{ y . . . . . . . < 7 = < .
(98) ~¥§¦T¤¨J©ª « ©_¬B¨J©!l®¯&°±©_0²°Ê¯´Vµ-°Y9¶"¥Ðµ «. 0. nv>| d&yzu d&'y| X, vn |s[vn`hp > ^0d|) vw{J2Ì vnd&yrp~]f>d^0yÇvw{J|aB sd|d& ^V] H-m&{J^ByÇ |saBd³p|s{J{"a0Á |0Á ^"{ dz^B]_]^ld&{J| d&^Vmd${J{_d vnvn^Bvw|d&{³|0p tB{_^0qvw{] q0, ¹a" ºBm&vn^0> c|prvwkn{J2 a0a02J]|B¹kwql{ θyu1oYd^0|]~ ma&{ba0vn½B|0^0d³q|={J¹Ê>
(99) ^ θyz *d]b ^&à7 ½0, |sd$^& {JÁ &aV{J{ > aVY2 ^0{fvn]fp~Y^0d&daB] vw{ma0 X |Bd&q ] knm&d&^0a0|pp{f{aB{ |0]b{Êd&^Bd ]Ê7{Jvn sp{bd vn|svnmd&{Ì|0½V{baBvw{]rqlvnaB¹ÊtXfknd& pfd a01]b^ld³kwkn^|Áfd&d&vn|`d&=knd&¹ c"cRa~Áfvwkwkm&^BcRzXknd{Jdf^0o]Êz]b^X^V=a0| vwkwknop{]baV{JdfÁ 0qKaV{ vn1|0o{J|D^ mhe{b gBvn)^0gih|bpp_ al^B {_]vnp{J±d q{ dÌvn| vn`)d&{J|0 tu{bdfdÌvw{zsqla$]b¹pb^0fdz={
(100) d&Áf]rd&{| vwq~{J !v{J saVnalp {Â{Hdkn1d&vw{J^Ba0 s]pd&{HaB]Â{|0 aqB]bm&>
(101) d&^BdÊys|s dpkn'{Jd&a0 c", |0L>d&{Â|01{op |¹ 2
(102) m{baBvnd|^0{ R|"t ^0u]'d ^0, |a~d 1Bo^V>|um2
(103) {J{b aBvnd ^0]_dÌ|${Á dYvw]_^{^B czd&]b]H^V m&)d&^0 m|{bpvn{^0 aB|)|0p { ¹ a0#¢ |0© Xq «&v'« &ud& ]bX d&'v &u|0vn]_{ d&p]b{fYd&]_pb|0^Bo{fc zsYz=]_h^B^0cy pbdf, .>h{ yaV
(104) $ {Ì##12 ^B, ] vnpfp_# ^Bd&x7cR os d2falkÇ>
(105) {Ja0yÇ^Xp r h#{J^R ¹ , >t=ºBd$vn|m&m&#^0d |2Â{pvn {paBd&a]b|0d {fm&a0^BaB]b||sd³pr¢{Jala0d&{ |0x7kn\{ osd&[a0alpku{ X{JL^{'v &uÁ hd&^]b¹ d&pb|0o ³{fm^& .YÁ[]_^B# mJc p syu^X>
(106) $^B¹Ê#p_df , >" !>
(107) ±d&¹ |R
(108) Y#^0^0]]2 a0p f{J^ dtupbd$a0m&c"^B|d³praB{J]_a0`B|0o{ÌcRa0|d&|0{d&a0xzozXalkwkuvnd&{JpÌB^ Á ¹ d&|!Y^0]fpb^0c"id >
(109) yr # , _#U>2Êvnp³a"m&^0|p{aB|0^{ X'v &=d&]_d&|0{ Y]_^Bc >¹Ë|K{ d~]_d&c"aVvn|Xvn|`m&a0pbd&py , !> 2 m&a0|!^B|Xkwqtud>^0] u¹ z ³]_^&dÁ ½ ~vn^B^&Y^0Áo]ppbaBaBop_|0zpbqmozucR>"^0pb
(110) ±zXyfd!{b $vn{J^0# |=aV y, {>Á 1d"^B]R
(111) ^d&#pb^02osc"{m&aB.d d~àV>
(112) {d& py³al{Jr {f # 1d ^B , ]½laVaBkn>|0oq d.# >"2
(113) 7vnpR'val&={{Jd& ]bknd&d¢d&a0|0pm&{ {^01|]b{^0prÁf{Jc vna0m&|Bdl>
(114) { yÊyYa0$ o|#|» m, {_ _#vn^Bd&||¼m& d $ 2 #vnpvn >p{J¹ {J s dK³d³m&pvn^0vn||d&`5|0p{{b{JaBvw{ |0qld{ ¹ 1o|mË{b|vn^0{J| dÊr ]b#d& cR>
(115) ±alyÇvn|7aB|vn|!` Á m&aBdp_a0dl]byBd$$ # ^0, |X>dl)¹ # 2uvnp
(116) {J d
(117) vnd&|0{bvw{q$Y^0]aB|0 q >
(118) yV{ 7osp vnp{ dp_d&m&^B|sz]_^ld&m{_vn^B|u¹ ^Vd&|s{Jd&f^l]_{ c"dHd~t0p a0q
(119) tu}X^&& ½B} Jd$&^aVzknJ]bpb^0{J^³ szudÂ^BdprpbÕ-vwd{b|{vn^0d&^V| ,tuvnpf} dknm&)#^&]b" Áo+$ my0vna0aV |k= pr2vn1|al{Jkwm&d&knd ^]_Á c"vw{ pÂp s¹ a~aB ³7p ^lvn]b{{d& dHmd {{ m&vnal^0c"{]bz7^V} kwknknd&&^aBc"]rJq"d&vn|0pt={J{JdaV skn{b^dÂvnÁ^0pb|~dyX{Á ^V^V$ X,vn{J}md& )#]bcR"m&%^B$ p=|sdJm&£7d&{ ]bd&|#P|p
Documents relatifs
Chez l’Homme, les segments de gène V H ont été classés en sept familles (la famille 7 n’est pas représentée ici car aucun segment fonctionnel n’y a été décrit) qui ont
Le Négus consacra une énergie considérable en vue de gagner cet appui international, mais, malgré la force de son discours prononcé en juin 1936 devant ses pairs à la tribune de la
In this paper, we propose a novel approach based on the barycentric coordinates of automatically tracked 2D facial landmarks from videos to objectively evaluate the facial
Dirk Obbink (dir.), Doctrine and Doxography. Studies on Heraclitus and Pythagoras, Berlin / Boston, De Gruyter, 2013, p.. et le logos auquel les hommes devraient accorder
Les exorcismes ne sont pas publics, les sœurs noires elles-mêmes sont tenues le plus possible à l’écart, et c’est chaque fois Jeanne qui force les choses pour que, finalement,
Toute- fois, d’autres marqueurs des cellules POMC tels que NeuroD1 n’ont pas été induits dans cette expérience, ce qui indique que Tpit suffit in vivo pour provoquer la
Mais elle y occupait une place modeste : il faudra la liberté et le goût de la transgression du roman en langue vulgaire pour que la situation soit renversée :
Les thèmes majeurs (tab.5.4) abordés par les îliens interrogés sont, pour la grande majorité, les mêmes sur toutes les îles : ils concernent les usages anciens
