A Coq Formalization of a Type Checker for Object Initialization in the Java Virtual Machine
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. A Coq formalization of a Type Checker for Object Initialization in the Java Virtual Machine Yves Bertot. N° 4047 Novembre 2000. ISSN 0249-6399. ISRN INRIA/RR--4047--FR+ENG. THÈME 2. apport de recherche.
(3)
(4)
(5) !"$#%'&()' * ,+.-/0'&1 2 %3
(6) 45
(7) 67
(8) #8:9; =<> @?, AB8 DCE &#F%. G HJILK%M;ILNOQPJO RTSVUXW;Y Z[\>]X^V_`Y)acbedf_cg_`YXa YhigjkalgmnaAoqprWsJbeac_ltfmnY uwvxbkyzYh'{|YW}W}Y ~=jeVbfvqh=YvxYXgSVYXvxgSnY^J fer[ =bfYWsnvY)Zkfe [7k4njkdfYXo. %XVee; YbfvfYXFbe^j}hzprJYoqpoqhYXW*VvxbeJbfoYXF_c^`f3|hxb Y^V¡¢bevgY j _loxg_cVa`_c^VY)¡¢bfv=besVyzYXg3h _c^V_`h_ljkac_`£¤jhx_`bf^8_c^%hxSVY ¥ejQj4¦i_cvqhxmnjka|§jegSV_c^VY>acje^VdemnjedeYf¨fhxboqSVb©SVbhSn_coThzprJY)oqpoqhYW*gbemnac%sY _cW}VacYW}Y^LhY¤ _c^8hxSVY ªbrt}nvbrbk¡
(9) jk^n%oqJYXg_¬«gXjhx_`bf^ acje^VdemjkdeYf YmnoYXhxSV_lo5VYXoxgvx_`hx_`bf^8sJbkhxS hb nvbfYihxSVYhSVYXbevxYWo5bk¡T`f3je^n hxbgbe^ozhxvmngh=jk^®Y¯°YXgh_ceYeYXv_`«nYv5¡¢bfvThSV_lo=_log_`na`_c^VYe ±²L³°´xµ¶ ·
(10) e nvbfdevjkW}W}_`^Vdaljk^ndemnjedeY oYWjk^Lh_lgoX¨0¥ejQjV¨srpfhxY¸¹gbYf¨0ªbtJ¨JjemhbfWjh_lg YXW}be^¸ oqhvjhx_`bf^. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65.
(11) 8
(12) |
(13) = qBF7< '
(14) F&5 =B% F J! !4B8 qX%3
(15) X
(16) 4 F . -/05 F @CE &w#F% ? |
(17) B%= 9; =<> =bfmno)jQebf^no hvjQjk_ca`ac];omVv mn^DopozhxUW}YY}hzprY¤o)VvxbeJbfo];njk^no}ce3bfmVv _cW;JbfoYv mn^VY _log_`Vac_c^VY _`^V_`h_ljkac_lojkh_cbe^YXoTbfsyzYho=Vje^no'acY)acje^VdfjedeYY)acj;WjegSn_`^VY)r_cvqhxmVYacacY¥ejQjVwibemno jQfbe^no1W;bf^Lhvx]itLmVY>gY opozhxUW}YiY hzprY bfmVjk_`h hxvY>]Xgv_`h a jk_lY>YªbtJw=bemo jQebf^no1mVh_ca`_loq] gYhhY Y¤ogv_ch_cbe^ JbemVvV]W}be^LhvxYv)W}]¤gjk^n_ctLmVYXW;YX^LhacYXo)hSV]XbevxYW}YXo)Yce YhJbemnv gbe^ozhxvmV_cvxY mn^Ff]vx_¬«JgjhxYmVvTY¯JY¤g3h_`¡bfmVv=gYhqhY V_coxg_cVac_`^VY VYhzpLJYXoX ¶ ¤ ´ ® o]Wjk^Lhx_ctLmVY Y¤o=aljk^VdLjkdfYXoTY VvxbedfvxjeW}W}jkh_cbe^A¨n¥fjQjV¨srpLhY¸ gbrVYe¨°ªbtJ¨ ]W}be^oz¸ hxvxjkh_cbe^®jkmhxbeWjhx_ctLmVY . . . . . .
(18) . . . .
(19) . . . . . . . . "!.
(20)
(21)
(22) . . 2
(23) ®B8&
(24) 4 Y>bfvfYX}be^%j hzprJY>opozhxYW VvxbeJbfoYX_c^!ce3°hxbY^V¡¢bevgY j;_log_`na`_c^VY ¡¢bev5besyzY¤g3h_c^V_`h_ljkac_`£¤jhx_`bf^ _c^hSnY ¥ejQj ¦i_cvhmnjea §jegSn_`^VYaljk^ndemnjedeYe¨hb oSVb SVb*hSV_lohzprJYoqpoqhYW@gbfmVal sJYYX^ngbY¤ _c^LhbhxSVY}ªbtFVvxbrbk¡1jk^n!oqJYXg_¬«gXjhx_`bf^acje^VdemnjedeYf Y4mnoqY¤®hSn_co>YXoxgvx_ch_cbe^sJbkhxShb%VvbfYhSVY hxSVYbfvYXWoTbk¡cejk^n8hb gbe^noqhvxmngh'je^%Y¯JY¤g3hx_`fY>fYvx_¬«YvT¡¢bevThxSV_lo'_coxg_cVac_`^nYe RTSnje^VoAhxb=hxSVY #Y "Lhxvxjfg3hx_`bf^)W;Y¤gSnjk^n_coW Vvbr_lYX>_c^}ªbt; ZfZ¤ ¨¤5Y bfshxje_`^4j'VvxbedevjkW _`^ª%$ §{ hxSnjhigXjk^®sJY _`vxYXghacp8#Y "rY¤gmhxYXFbe^®oxjkW}VacY)VvbfdevjkWoX &¹^®hxSVY¡¢mhmnvYf¨hSV_lo='_cacaAWjkeY_`h=bLoo_csVa`Y hxbozhxmnp hxSVY gbfW}Va`#Y "_¬hzp be¡|hxSVY jkacdebfv_`hSVW*jk^n8hb}VvxbeJbfoYY^VSnje^ngYXW}Y^LhxoX !. . '()'. *,+.-)/10+24365798. '(G. HJIK+F3LIM/ONP09QR/TSU5WVE0YX5[Z. RTSnY srpfhxY¸¹gbY)fYvx_¬«nYXv'_co jefYvh_loqY¤%jfoij}fYp%gbeW}Jbe^VYX^fh bk¡
(25) hSVY;oqY¤gmVvx_¬hzpFjk^n®oxj¡¢Yhzp%oqhvjhYXdep W jeL_c^Vd>_¬hwJbfoxoq_csVacY hxbmnoqY'je^n Y#"gSjk^VdfY5¥fjQQj VvxbedfvxjeW}o|'_¬hxSVbemVh
(26) ¡¢Y¤jkvx_`^ndihxbLbW4mngS4VjeWjkdeYTmVY hxb®Yvxvbf^VYbfmnoinvbfdevjkWo>bevYfY^ W}jea`_cde^jk^Lh)VvbfdevjkW Vvxbr_cYXvxoX$io ¥fjQQj%_lo)a`_ceYXa`phb®sY¤gbfW;Y bf^VY)bk¡hxSVY aljk^VdfmnjkdfYXoTmnoYXFhxb YW4sY¤®VvbfdevjkWo5_`^jea`ar_`^nno=bk¡1jeVVac_cje^ngY¤oTbevigbeW}VmhxYv¸ snjfoqY¤ jeVVac_cgXjhx_`bf^no¨r_`h=sY¤gbfW;Y¤o'_cW;Jbevhxje^Lh5hxb}eYvx_`¡¢phSnjkh'hSVY gacje_`W bk¡wojk¡¢Yhzp _lo
(27) yzmnoqh_`«nYX0 : YXeYXvxjea°hYXjeWo'jkvxbemV^n hSVY)5bevxal8SnjQfY sJYYX^bfvr_c^Vdbf^®eYvx_`¡¢pL_c^Vd4¡¢bevxWjkaca`phxSnjh'hxSVY)Vvxbe¸ YXvqhx_`Y¤o1be¡JhxSVY>¥fjQjacje^VdemjkdeY'je^n_`hxo1_cW}VacYW}Y^Lhxjkh_cbe^8omV_`hY=WjeeY=_`hj)vxYXjfoqbf^njksVacp4oxj¡¢Yiacje^VdemnjedeYf : beW}Yibe¡JhxSVY>bfv;be^VY _cosnjfoqY¤}be^ JY^¸¹jk^r¸ jkJYv nvbrbk¡ o1hSnjkh hxSVY nv_c^ng_cVacYXo bk¡0hSnY aljk^VdfmnjkdfY jevYgbfvvxYXghX¨VoYY>¡¢bev'_c^noqhxje^ngY} ZfL¨AQZr¨A< ;Q ªacbfoYvihb bfmVv gbe^ngYvx^noijevY)hxSVY hxYXjeW}o=hSnjkh mnoYW}Y¤gSnjk^V_lgjeaAhxbLbfaco=hb%eYvx_`¡¢p8hxSVYVvxbeJYvh_cYXo Y¤ozhjksVac_loqSVY¤jksJbemh hSVYi¡¢bevxW}jeanY¤ogv_ch_cbe^o1bk¡°hxSVYialjk^VdfmnjkdfYe1 $eYXvp;jeg3hx_`fY'hY¤jkW _`^ hSV_low«nYXac _co hxSV>Y =Tjkac_VhxYXjeW jk%h ?=^n_`fYvoq_`hzpbe¡A§mV^V_lgS 'SVb _lo15bevxr_`^Vdbf^ j gbfW;nvYXSVY^no_ceY=oqhmnp;bk¡0hxSVY ¥fjQj aljk^ndemnjedeYe¨_`hxoiVvxbeJYvh_cYXo'jk^®_¬ho'_`W}VacYW}YX^fhjhx_`bf^ Ze¨|< @¨Zkmno_`^nd}hSVY nvbrbk¡woproqhYX4 W &zoxjksJYaca`Y Zk B AihxSVYv5bevx%SnjfoisJYYX^ Vbe^VY;'_¬hxShxSVY¡¢bfvWjea
(28) W}YhSVbC = je^nhxSVY}jeoxoqbg_ljhxYX®hxbrbealo wbev jkEh DYXoqhvxYFa &¹^noqh_`hmhxY)mno_`^Vd : JYXg5jevY}cX¨JZe¤ ªbt_lo j Vvxbrbk¡>opozhxYW snjeoYX be^ hzprY®hxSVYbfvp c \ ¨'jk^ W}bevxY®VvxYXg_loYacp be^ hSnYgjkalgmna`mno}be¡ gbe^noqhvxmngh_cbe^no> n¨nQ
(29) jk^n%_¬ho'_c^nmngh_ceYY"rhYX^no_`bf^no \n¨Z $i^©_c^fhxYvxYXoqh_c^Vd ¡¢Y¤jhxmVvY jksJbemh%hzprY hSVYXbevxpsnjeoYXnvbrbk¡opozhxYWo ac_ceY ªbrt _lo hxSnjhFhSnYp gbe^Lhxje_`^j hzprJYX VmVvxYacp ¡¢mn^ng3hx_`bf^njka=nvbfdevjkW}W}_`^Vd aljk^VdfmnjkdfYF'_`hS jD^nbkh_cbe^be¡>hzprJYXo}hxSnjh%_co Jb5Yv¡¢mVaYX^VbemndeShxb #Y "rnvY¤oo;jkacW}bfoqh;YXeYvxpLhSV_c^Vdbf^VYF5je^fho hxb oJYXg_`¡¢p jksJbemVh;VvxbedfvxjeWKo ]X^ $ oYXgbe^n ¡¢YXjkhmVvxY _lo5hSnY>mn^V_¬¡¢bfvW hxvY¤jhxW;YX^Lh5be¡
(30) Vjkhxj¸ hzprY¤oTjk^n8a`bfde_lgjkaJVvxbeJbfo_¬hx_`bf^A¨L¡¢beaca`b'_c^Vd4hSVY V_coxg_cVac_`^VY)r^Vb'^Fjeo5hxSV_Y T`abcdefWhgVvx_c^ng_cVacYe =5YXgXjkmnoYhzprJYXojevY8mnoqY¤ hb Y^VbehY sJbkhxS vxYdemnacjevVjhj¸ hzprY¤o jk^n VvbfbLoq_`h_cbe^o¨¡¢mV^ngh_cbe^no WjQphjkeY'jfowjkvxdemVW}Y^Lhonacje_`^}Vjhjjk^n4VvxbLbe¡ ohSnjkhwhSVY=Vjkhxj>eYXv_`«nY¤o
(31) obeW}Y5VvxbeJYvhzpe : _`W}_cacjevacpe¨ ¡¢mn^ng3hx_`bf^no)WjQpvYhmVvx^DVjhjFjfggbeW}njk^n_`Y¤!'_`hSDVvxbrbk¡ o hSnjkh)hSVYvxYhxmVvx^VYX Vjhj®ojkh_loz«nY¤o)oqbfW}Y behSVYXv VvxbeJYvhzpeFRTSV_co W}jeeY¤o)_¬h4bLoo_`sna`Y}hxb!oq_cWmnacjkhY}hSnY r_`^nDbe¡5vxYXjfoqbf^V_c^VdjksJbemh VvxbedfvxjeWo ikjlnmOl<jKoqpKrnstmmvuw)mkx<oytjlzyt{|ytl<} j~EpMoytjlzpKrj<opKstj~y o<[ytwOw)j[x<stmkuy o. l 9K#.
(32) . v. hxSnjh_cowmoqmnjeaV'_`hS j"_cbeWjhx_cgToYWjk^Lhx_cgXo'`¤¨nX T"rhxY^no_`bf^no jeacobSnjk^a`Y'_cW}YXvxjkh_ceY'VvxbedfvxjeWo ;¨ @k
(33) #%: B% 6! A A=.
(34) XT . G[()'. . . +.Q 0 IK57,+.Z VE/O-v0 />2 2>+U+ 2E+ 0 0U+.Q. ¹^FhxSV_coinjkJYv¤¨V5Y)'_`acagbe^no_lYv'bfsyzYXghxo'_c^VSnjesV_¬hx_`^nd8oqYXeYXvxjeahzprJYXoibk¡wVjhjVnbev=_c^noqhxje^ngYf¨hSVYXvY '_cacawsY}j%hzpLJY4¡¢bev)galjeoxoqY¤o¨Aj8hzprY4¡¢bevjkacmVY¤o¨AYhxge VbfvW;bLozhbk¡ hSVY¤oqY;hzprY¤o¨05Y}'_`acawoqmnVbLoqY hxSVY)Y"_lozhxY^ngYbk¡
(35) j;¡¢mn^ng3hx_`bf^%hxSnjh'hxYXoqhxoT'SVYhSVYXv'hz5bhxYvxW}oijkvxY Y¤tfmjka &¹^ vxYdfmValjkv1VvxbedfvxjeW}W;_c^Vd¨fomngS j)¡¢mV^g3h_cbe^8bfmVac}sJY>vYXVvY¤oqYX^LhYX;mno_c^Vd4j)sJbrbeacYXje^}¡¢mV^ng3hx_`bf^A¨ vxYhxmVvx^V_`^nd !#"%$'&'SVY^8hSVYihzb;gbfW;jkvxYX}jkacmVYXo5jkvxY=Y¤tfmjka°jk^n) (+*+,-.&)'SVYX^ hSnYp jkvxYi_`¯°YvxY^LhX §jkr_`^nd}omVvxYihxSV/Y !#"0$&;jea`mVY)_loTvxYhmnv^VY¤8'SnY^®_¬hioSVbfmVac%_loThSVY)nvbfdevjkW}W}Yv ovY¤oqJbe^oq_csV_ca`_`hzpe ? oq_c^Vd}YJY^nVY^LhhzprJYXoX¨r_¬hT_co5Jbfoxoq_csVacY=hxb4oY¤g_`¡¢pYXtLmnjkac_`hzp4¡¢mn^ng3hx_`bf^no5_`^Fj W}bevxYiVvxYXg_coYiTjQpe &¹^4¡ jeghX¨fYT'_ca`aVmoqY5¡¢mV^ngh_cbe^nowhSnjkhvxYhxmVvx2 ^ 1Ph343 SVY^;hSnYhz5b>hYXvWowjkvxYTYXtLmnjea ¨hxSVYTvYhmVvx^VY¤ jea`mVY}'_ca`a sY j®Vvxbrbk¡hSnjkh)hSVYXp!jkvxY}YXtLmnjka SVYX^ hxSVY}hz5b%hxYvxWo)jkvxY}V_coqh_c^ng3h¤¨AhxSVYvYhmVvx^VY¤ jea`mVY}'_ca`awsJY jFVvxbLbe¡1hSjhhSVYXp jevY;^Vbkh)Y¤tfmjka SVYX5^ !!jk^n6 !87>jkvxYhz5bFhYXvWo_c^!hxSVY ojeW}Y hzprJYe¨nhSVYhzpLJY be¡nvbrbk¡ o'hSnjkh !%je^n9 !87=jevY)Y¤tLmnjkaAbfv=Vvxbrbk¡ oThxSnj:h !Fje^n; !<7ijkvxY)^VbehiYXtLmnjea|gje^ sJY)vxYVvxYXoY^LhY¤8jfo5¡¢beaca`b=oX¨'SVYvx>Y =vxYVvxYXoY^Lhxo5^VYXdfjkh_cbe^A &. . ? !+@0!874A%B ? =C!#@0!87DA. A srr_`bfmnoa`pf¨hxSVY4hzpLJY;vYhmVvx^VYXsLp®hxSV_loi¡¢mn^ng3hx_`bf^ YXYX^nVo>be^!hSVY;jkacmVYXo!jk^nE!<7)RTSV_lo>_co ej ^%bgXgmVvxvYX^ngY>bk¡[g.F1+#Pg% bD131RTSVY>hzprY)be¡|hxSVY)YXtLmnjea`_`hzp}¡¢mV^ngh_cbe^F¡¢bev=je^FjevsV_`hvjkvxp;hzprYHG _lo5hSnY^®vYXVvxYXoY^LhY¤%jfo ¡¢bfa`acb=oJI K !8L!87MNGPO ? !#@0!87DA%B ? =!0@0!<7DA. =5p}gbe^Lhxvxjfozh1'_`hS moqmnjeR a Q ^Vbe^¸¹YXYX^nY^Lh1¡¢mn^ng3hx_`bf^n4o S¨rYioYY=hSnjkh1hSVY ^Vbkhjhx_`bf^4¡¢bfv1hxSV_co hzprY moqY¤o5hSVY)^njeW}YXoTbk¡hSVYhz5bjkvxdemVW}YX^fho¨#!Fjk^n!87¨rhxbYXoxgvx_`sJYhSnY)vY¤oqmVa`hThzprYf RTSVYXvY'WjQp4sYioYfYvjkar_cW;na`YXW;YX^Lhxjhx_`bf^no1be¡hxSVY=Y¤tfmjkac_¬hzphYXoqhw¡¢mV^ngh_cbe^A¨L'_`hSjkvx_`bfmnowYXdevxYYXo be¡UY Tg_`YX^ngpf¨esVmVh1Y=oYY5hSjhwhSnYThzpLJY=oY¤g_`«nYXo#Y "jfg3hxa`p 'Sjh1_`hxowvxYhxmVv^nYX4Qjea`mnY'WmnoqhwsYfRTSn_co Y#"VjkW}VacY jkaloqbiSVYacno
(36) oqSVb'_c^Vd'hxSnjhYJY^Y^Lh
(37) hzpLJYXo
(38) gje^)sYToqhvxbe^Vd=YX^VbemndeShb de_ceY jioqJYXg_¬«gXjhx_`bf^ be¡
(39) obeW}Y)gbY)sJYSnjQr_cbev¤ RTSVY®jkacmVYFvYhmVvx^VY¤ srp jk^ YXtLmnjea`_`hzp hYXoqh}¡¢mV^ngh_cbe^gjk^ sY®mnoYX _c^ 5j V+*-.& gbf^nozhxvmg3hX & ¡ &0WX.G'X.Y+&'Z_co=je^%Y¤tLmnjkac_¬hzp hYXoqh'¡¢mV^ngh_cbe^A¨VhSVYX^®[ j V+*'-.&}gbe^ozhxvmngh=gjk^FSnjQfYihxSVY¡¢beaca`b'_c^Vd;¡¢bevx9W I V+*'-.&'- K &0WX.G'X.Y+&'ZC!\C!]^O`_0( K ,0&0(0!bacO`@d`e\ fgK "Phgi0a+!ba87UOj@dbe] &.kY. ¹^%hSn_coTY#"rnvY¤oo_`bf^A¨r_¬h'_loTbLoo_csVa`Y>hxSnjhla8bggmVvo_c^e\)bevma7brgXgmVvo5_`^e']A ^nYVYXoxgvx_`sJYXo5_c^e\ 'SjhigbfW}Vmhxjkh_cbe^oSVbemVal%hxjeeYValjegY)'SnY^®Y)SjQeY)j}VvxbLbe¡a%hSnjkhn!c\jk^n;!]jevYYXtLmnjea|jk^ &. oqp1osr.
(40) .
(41)
(42) . _c^e];'Sjh=gbfW;nmhxjkh_cbe^%oSVbfmVac8hxjeeY>ValjegY'SVYX^%5Y>SnjQeYjnvbrbk¡Ra7 hSnjkhl!\je^n !]}jevY>^Vbkh Y¤tLmnjka &¹^8ªbtJ¨e_`h1_cowJbfoxo_`sVacY5hb Y«n^VYT¡¢mV^g3h_cbe^ow'SVbfoYTjkacmVY'vxje^VdeY¤o
(43) beYv
(44) hzprJYXoX
(45) RTSV_lo1gbevxvY¤oqJbe^nno hxb'hSnY1YXa`a`¸ L^nb'^ JbeacprW;bfvnSV_coW©be¡r¡¢mV^ng3hx_`bf^njkafacje^VdemjkdeY¤o°a`_ceY §{`X Y1mnoYhSV_lo|hb=Y¤ogv_csY _c^8j)dfY^VYXvxjeanWjk^n^VYv hSVYihzpLJYibe¡AYXtLmnjea`_`hzphxYXoqh ¡¢mV^g3h_cbe^ojfoobg_ljhY¤;hbje^8jkvxsV_`hvjkvxpVjkhxj)hzprJ.Y I &0( h kPhg!Ph_.k &0WX%(.$#k M0&%!d0&%! MN@. . NGlM#&.!
(46) K L lMNGPO ? @ +A%B. ? =. @ 'A. Ao ¡ jevjeo^Vbehxjhx_`bf^no|jevY1gbe^ngYvx^VYXA¨QVYJY^nhzprJYXoWjQp>obeW}Yhx_`W}Y¤oAsJY'vx_¬hhYX^ mno_`^Vd j=gjeV_¬hjka _lo5_`^FoqbfW}Y Vjkhxj¸ hzprYf¨fbfvmoq_c^Vd4jmV^V_ceYXvxoxjka°tLmnjk^Lh_`«gXjh_cbe^ oprWsJbea ¨A'SVYX^DhSVYvxYhxmVv^nYX jkacmVY_co)hSVYVvxbrbk¡5bk¡'oqbfW;YnvbfbLoq_`h_cbe^A&¹^ hxSV_conjkJYv¤¨|5Y}'_`aca be¡ hYX^ moqY>hSnY)^Vbkhjh_cbe^F'_`hS®njkvxY^LhxSVYXoYXohSjhigbfvvxYXoJbe^nVohxb4hxSVY)Y "Vjfg3hTh#Y "LhioY^LhThb;hxSVY4ªbt Vvxbrbk¡ jfoo_lozhjk^LhX &¹^W}jkhSVYXWjh_lgjea|^Vbehxjkh_cbe^noX¨V5Y '_`acaobeW}Yh_cW;Y¤o'mnoY)hSnY ^Vbkhjhx_`bf^A¨nsVmVhivxjevYXa`p8hSVY ^nbkhxjkh_cbe^AO ? oq_c^Vd}WjhSnYWjhx_cgXjka0^Vbehxjhx_`bf^noX¨be^VY'vx_¬hxYXo5hSnY¡¢beaca`b'_c^VdY«^V_¬hx_`bf^F¡¢bev &0WX.(%$#kcI $. 4¨r'SVY^8hSVY>vYhmVvx^VY¤jkacmVY. G[(G. *,+ 79+.Q +. "!$#&%('*),+ -/.10 #2!3+54 - 0687 4:9 - 0"6 0 5S<; +.NP0 0U+.Q. RTSnYVvbfdevjkWoozhxmn_cYX _c^DhSV_lo)Y "JYvx_`W}YX^fhjevYgbe^noqhvxmng3hxYX '_¬hxS j®eYXvpvxYXoqhvx_lg3hY¤ omVsnoYh be¡ hxSVY!_c^noqhvxmng3hx_`bf^no8jQje_`aljksVacY_c^hSnYD¥fjQjD¦i_cvqhxmnjka)§jegSn_`^VY!acje^VdemnjedeYf Y '_`aca>vY¤jeobe^jksJbemh bfsyzYXghxo}sJYacbe^Vdf_`^nd!hxb jev_cbemno}gacjfooYXoX¨ sVmVhhSVYgacjfooYXo;vxYXjkacacpbf^ hWjhhYXvWmngSA nbev}hSn_co vxYXjfoqbf^A¨5Y)be^Vacp%jfoomVW}YhSVYXvYY "_coqhxoioqbfW;YhzprJ>Y =8'SnbfoY)_`^VSjksV_`hxje^fho=jkvxYhSnYgaljeoxoqY¤o¨Vje^n%¡¢bev nvbfdevjkW}W}_`^Vd;VmVvxJbfoYXoX¨Y jfoomVW}Y>hSnjkh=hSVYXvY)#Y "_coqhxo'je^FY¤tLmnjkac_¬hzp8hY¤ozh'¡¢mV^g3h_cbe^®¡¢bfvThSV_lo'hzprJYe RTSnYXoYjfoomVW}hx_`bf^no'jkvxY 'vx_`hqhYX^b'^%'_`hSFhxSVY¡¢beaca`b'_c^VdgbfW}W}je^n0 . ? *%"**@. &%!&%" -A=lM#&.!B9&0WX.! C'&+X%Y#&'ZM K &%WX.(%$0kD= O(. &¹^ bemVv;bfv°¨5Y8'_ca`a'jkalob!^VYXYXDhxb vxY¡¢YXvhxb jenvY¤ooYXo_`^ hSVYFVvxbedfvxjeW jk^hb jkvx_cjesVa`Y¤o ¹^ozhxYXjeDbe¡=gSVbrbfo_`^Vdgbe^ngvYhY8Vjkhxjk¸ hzprJYXohxbvYXVvxYXoY^Lh)hSVY¤oqY8L_c^nVobk¡=VjkhxjV¨
(47) 5Y VvxY¡¢YvhbacYh hxSVYW mn^noqJYXg_¬«YX0 : h_caca ¨5Y ^VYXYX hbir^VbDhxSnjhoqbfW}Y1¡¢mV^ngh_cbe^no
(48) Y#"r_loqh|hb>gbfW;jkvxY1jkacmVYXo_`^hSVY¤oqY njhxj)hzpLJYXoXRTSVY=hzprJYnG &E '_`acansJYimnoYX;hxbYX^VbkhxY jenvY¤ooYXo_c^ VvxbedfvxjeWo¨'SV_cacY=hSnY=hzprYGF0G E '_cacasJYmnoYXhb%VY^VbehYjev_ljksVacY acbgjhx_`bf^noX¨Jje^nFhSVY4¡¢mV^ngh_cbe^nHo &0WX%*0Y#Y0"'X.Y+&'Z jk^n6 &%WX2H*%"X%Y+&'Z '_cacaAsY)moqY¤ hxb}gbeW}njevYjkacmVYXoT_c^FhSVY¤oqY>hzprJYXoX &. ? *%"**@. &%!&%" - G &&E L F0G E M#&.!B;&0WX%*0Y#Y0"'X.Y+&'Z M K &0W+X%(%$#k G &%WX2H*%"X%Y+&'ZM K 0& W+X%(%$#kF#G E O(. &&E IO B. RTSVY}jkacmVY¤oW}je^V_cVmValjhY¤!_c^ _`^noqhvxmngh_cbe^no)jevY;Y_`hSVYXv)_`^n_¬hx_cjea`_c£Y¤!bfv>mn^V_`^n_¬hx_cjea`_c£Y¤!bfsyzYXghxo_c^ ej vsn_¬hxvxjevpgacjfooYXo)bfv)_`^LhxYdeYXvxoX : _`^ngY 5Y jkvxY ozhxmnpr_`^ndj®hzprY¸ gSVY¤geYXvX¨A5Y'_ca`aSnjQeY;hb!mnoqY j ¡¢bfvWjeaLaljk^ndemnjedeYhb)YXoxgvx_csY5hSnY'bLoo_`sna`Y5hzprY¤obk¡JQjea`mnYXoX&¹^;VvxbLbe¡JopozhxYWo¨khSVY'mnomnjeaVvxjfg3hx_cgY _loThxb vYXVvxYXoY^LhT¡¢bevxW}jeaAaljk^VdfmnjkdfYXo'jeo=_`^nVmng3hx_`fYVjhj¸ hzprY¤o & hi_coi'Snjh Y b8'_¬hxS®hSV_lo'¡¢bfvWjka aljk^ndemnjedeY'bk¡0hzprJYXoX¨rYeYX^}hSVbfmVdeS hSVY>acje^VdemjkdeY'_lo^Vbkh5vY¤jkaca`p;_`^mng3hx_`fYe¨r_c^ hSnY oY^noY=hxSnjhTj)hzprY VYXoxgvx_`hx_`bf^%WjQp ^nbkh'sY j}omVs¸¹gbfW;Jbe^nY^Lh'bk¡wjk^VbehSVYXvX l 9K#.
(49) \. v. . kY%$PZg!Ph*H& .!& C'&M 0&%! M @ h k#! M %!& C'& f _ +X.&! C&M = .d .!& C'& f $#k'X.&! C'&8M =d G &E .d .!& C'& f !_ CM %&! C' & . . . . . . Y>WmnoqhWjkfY=hz5bvxYWjkvxo jesbfmh hxSV_coTY¤ogv_chx_`bf^A
(50) _cvxoqhX¨rmV^n_`^V_`h_ljkac_c£YX8besyzY¤g3ho sJYacbe^Vdf_`^nd hb hxSVY oxjkW}Y)galjeoxosnmhigvxYXjkhYXFjh'hz5b}_¬¯°YvxY^Lh=ValjegYXoT_c^FhSVYVvxbedfvxjeW.jkvxY ^Vbeh=_`^FhxSVY ojeW}Y hzprJYe RTSn_cowvx Y YXg3ho
(51) hSnjkhwhSVY _coxg_cVac_`^nY'de_ceY^;_c^Fcen_`W}JbfoYXohxSnjh je^}besyzY¤g3h1gvxYXjkhYX;jh obeW}Y'acbgjhx_`bf^ _c^4hSVY'VvxbedfvxjeW oqSVbfmValsJY'_`^n_¬hx_cjea`_c£Y¤4sJY¡¢bfvY'j ^VY besVyzYXg3h1gXjk^;sY=gvY¤jhY¤jkh
(52) hxSVY=oxjkW}YTa`bgjkh_cbe^A RbYX^¡¢bevgYihSV_loTgbf^nozhxvxje_`^Lh¤¨fsVmVh'jea`acb hzb4besyzY¤g3hobe¡AhSnY>oxjkW}Y gacjfoo hb4sYmV^n_`^V_`h_ljkac_c£YX%jh5hSVY oxjkW}YThx_`W}Y='SVYX^}hSVYXp4SjQeYTsYXY^8gvY¤jhxYX}jh _`¯°YvxY^Lh acbrgXjhx_`bf^A¨khxSVY'hzprY oqpoqhYW gbf^noq_lYXvxohxSnjh hxSVY;a`bgjkh_cbe^ _co>njevqhbk¡1hxSVY}besyzY¤g3h>hzprYfRTSVY}oqY¤gbe^vxYWjkvxgbe^gYvx^noihSVY;_c^fhxvbmg3h_cbe^ bk¡j hzprJY gjea`acYX !_C0wRTSV_loThzprY VbLY¤oT^Vbkh=vxYXjea`acpvxYVvxYXoY^Lh=jk^FY¯°YXgh_ceY)besVyzYXg3h=gacjfooX¨sVmh=_`hivx Y nY¤g3hxo hxSnjh j>VvxbedfvxjeWgje^4sJY'YXa`a`¸ hzpLJYX4YfY^}_`¡hxSVYThzprY'be¡°obeW}YTjkvx_cjesVa`Y¤ojh obeW}YTa`_c^VY'_lomV^Vr^Vb'^A
(53) . G[(. . *,+ 79+.Q + 0 0 E+ 5S<; +.NP0 -)/ WVE/ +. RTSnY>oqhmnV_`Y¤8aljk^VdfmnjkdfY gbe^Lhxje_`^noTj4eYXvp jesnozhxvxjfg3hToqmVsoqYhTbe¡AhSnYgbeW}Wjk^nnonvY¤oqYX^fhT_c^8hxSVY ¥k¦§ aljk^ndemnjedeYe =Tjeo_cgXjkaca`pf¨=_¬hgbf^Lhxjk_c^noFjk^ Y"VjkW}VacY!be¡YXjfgS snjeo_lg_c^nozhxvmg3h_cbe^|¨iVacmno%_`^noqhvxmngh_cbe^no vxYaljhxYX}hxb4bfsyzYXghTgvY¤jhx_`bf^A¨r_`^V_`h_ljkac_c£Xjhx_`bf^8jk^ mnoYew~'YXVvY¤oqYX^Lh_c^Vd;omngS8j4aljk^VdfmnjkdfYi_losJYXoqh'be^VY '_`hSje^n8_c^nmg3h_ceY VY«n^V_`h_cbe^I . kY%$PZg!Ph*H& 2H@c,'h M 0&%! M @ h kPZ M 2H@c,'h f C2_ CM H@c,h f C0$P-ga M 2H@c,'h f ,%_#*0YmM F#G E .d H@c,'h f -g!_%"& M F0G E d H@c,h f hg( M)G &&E .d H@c,'h f k& M =d H@c,h f hJkchg!lM = .d H@P,'h f $ -.&M =d H@c,h f a*+,.!lM H@P,'h $ . . . . . imhbfW}jkh_lgjea`acpe¨5ªbt oVvxbgY¤oo_`^ndbk¡'hxSV_co;_c^nmngh_ceY®Y«^V_¬hx_`bf^ pr_cYalVo4j!njhhYXv^¸ WjhgSV_`^nd g be^noqhvxmngh hxSnjh WjkfYXo>_`hJbfoxo_`sVacY;hbY«n^VY}¡¢mV^ngh_cbe^nobfv>hb®vY¤jeobe^ sLp gjeoYXoX4RTSn_co gbe^noqhvxmngh _lo mnoqY¤jkmhxbeWjhx_cgXjkaca`pFsrpoqbfW;Y hxjegh_lgoihbFoqmVnbfvqh gXjeoY vxYXjeobe^n_`^VdnVbfv _c^noqhxjk^gYe¨°omVVJbfoY Y Tjk^LhThb}VvxbeYobeW}Y>¡ jeg3hijesbfmh=jk^®jkvxsV_`hvjkvxp_`^noqhvxmngh_cbe^A¨be¡hxSVY¡¢beaca`b'_c^Vd4¡¢bevxW ) 'SnYvxY ) _co5j jkvx_ljksVacY=bk¡|hzpLJYH@c,'hL& ¡|5YivxmV^ hxSVY gbeW}Wjk^n','h @ h kP-g!°¨fhSVYX^hSnY>opozhxYW '_cacaWjkfY=_`hJbfoxoq_csVacY=hb4VvxbeY)X debfjeacoX¨e'SnYvxY ) Snjfo sJYYX^ vxYValjegYX}srphxSVY>Qjev_cbemowbLoo_csVa`Y _c^noqhvxmng3hx_`bf^noJI "! $#% &'& & $(*)+, $- #>. !0/ + "132'546-87 + + + oqp1osr.
(54) .
(55)
(56) G[(. . Q0n 2E+U+R>2E+RW0 0U+.Q. &¹^®ce3 ¨khxSVYijemhSVbfvxonvbfbLoqYhb)njevqhx_¬hx_`bf^;hSVY=oYh1be¡JJbfoxoq_csVacY'jkacmVYXo_c^Lhb omVsnoYhxo gbevxvxYXobf^n_c^Vd hxbY¤jegSJbfoxoq_csVacY'hzprYf?io_`^Vd4YJY^nVY^LhhzprJYXoX¨f_`hT_cobLoo_csVa`Y=hbvxYnvY¤oqYX^fh5jkacanhxSVYXoY=hzprJYXo1'_`hS j ¡ jeW;_cacp bk¡°oqYhxoX¨k_`^Y "YX4srp)hzprY¤o Y=b>hSV_lowsrp gbf^noq_lYXv_c^Vd hSVYXvYTY "_lozhowj ¡¢mV^ng3hx_`bf^;¡¢vbfW hSVY oYh bk¡1Jbfoxoq_csVacYgaljeoxo'hzprJYXoihb8oYho : _`W}_cacjevacpe¨hSVY4mV^V_c^V_`h_ljkac_`£XYXjkacmVY¤o=Wmozh>sY;_coqh_c^VdfmV_coSVY¤ ¡¢vxbeW*hSnYValjk_c^jkacmVYXoX¨'_`hS jk^Y "rhxvxj_c^n#Y "%hxb%jeacob _lozhx_`^VdfmV_loqSjea`mVY¤o=_c^V_`h_ljkac_`£XYXjkh _`¯JYXvYX^fh acbgjkh_cbe^noX. ? *%"**@ ? *%"**@. ,. &%!&%" _ #&'Z!X2H*+,$&M =.d#&%!< &%!&%" $0ck h kchg! h*+,'h#&0YX2H#*+,$'& M =d G. &E .d 0&%!<. ? oq_c^Vd hSV_lojkVVvxbfjfgSA¨Qj=jkacmVY5_co
(57) Y_`hSnYvjk^_c^LhYXdeYv¤¨j=Valjk_c^bfsyzYXghX¨bfv
(58) je^ mV^V_c^V_`h_ljkac_`£XYX bfsyzYXghX RbYXoxgvx_csY>hSn_coX¨V5Y>moqYhxSVY¡¢beaca`b'_c^Vd}Y«^V_¬hx_`bf^®bk¡|hxSVYhzprY H*+,$'&'I kY%$PZg!Ph*H&DH+*+,$'&M 0&%! M @ h k+!2X H*+,8M;h k+!&%i+&%"$.d2H+*+,$'& f _ M K !lM = O K _ #&'Zg!'2X H*+,$'& ! O d2H*+,$& f $0kM K !lM =PO K *8MNG &&E O K $#kchJkchg!Ph*#,'h+&0Y+X2H+*+,$&5! *'O . dH*+,$'&. ,. . $ o;Y®oqYXYe¨whxSVY®acjfozh;hz5b gbe^noqhvxmng3hxbevo be¡ihSn_co q_`^nVmng3hx_`fY 8hzprJYFjevY®YJY^Y^LhJI%hSnY8hzprJYFbe¡ hxSVY oYXgbf^n gbe^ozhxvmnghbfv o oYXgbe^n jkvxdemnW;YX^Lh)VYJY^nVo be^ hSVYjkacmVY}bk¡5hSnY}«nvxoqh jkvxdemVW}YX^fh¤¨°¡¢bev _c^noqhxje^ngYf {jhYXvi_c^!bfmVvi5bevx°¨n5YSnjQfY SnjevY¤jeobe^noThxb%tLmVY¤ozhx_`bf^®hSV_logSVbe_lgY be¡1Y^ngb_`^ndnzA ^nY mnomnjka nvbfYXvqhzp=be¡Vgbe^ozhxvmnghbfvxo°_lo0hxSnjhAhxSVYpjkvxY_`^kyzYXg3hx_`fYe¨obThSnjkh|be^VYgjk^Y¤jeo_`acp gbe^noqhvxmng3h|jigbeacacYXg3hx_`bf^ be¡ThSVYXbevxYWo)Y "VvxYXoxo_`^VdFhxSnjh_`¡Thzb#Y "VvY¤oo_cbe^nosVmn_`a`h4'_`hSDhxSVY8oxjkW}Y gbf^nozhxvmg3hbfvjkvxY}YXtLmnjea ¨ hxSVY^4hSnYTgbe^noqhvxmnghbev ojevdfmVW}Y^Lhxo
(59) WmozhwsJY5jk_cv'_loqY5YXtLmnjea =YXvY5_`^;hxSVY'gjeoY5bk¡ _¨QhSV_lobfmVal pr_cYal hxSVY¡¢beacacb'_`^Vd;hz5b;hSVYXbevxYWUo I . . . . 1 ' ), - ' ) 7 + # 1 ' ), - ' ) 7 + 7 1 ) 7 ) ) 1 ' ), - ' ) 7 + # 1 ' ), - ' ) 7 + 7 1 ) 7 ibYXeYXvX¨fhSVY oYXgbe^n hSVYXbevxYW gXjk^V^nbkhTsY gbe^noqhvxmng3hxYXcI_`hxo'oqhxjkhYW}YX^fh'_loT^Vbkh'5Yaca¬¸ hzprY¤0 : _c^ngY Snjeo=hzprY 1 ' ), - ' ) 7 jk^n Snjeo=hzpLJY 1 ' ), - ' ) 7 ¨hSnYXoY hzprY¤o jevY)^nbkh>gbe^¸. ) . ) # + # 1 ) ) . ) # + # 1 )
(60) .
(61) . . .
(62) . .
(63)
(64) !. . .
(65) . .
(66) . .
(67)
(68) !" . . . . . . fYvh_csVacYjk^ ) ) _co
(69) ^Vbeh5Yaca¬¸ hzprY¤0¨sJYXgjemnoYwhSVY5mnomnjkaLYXtLmnjea`_`hzpvYXacjkh_cbe^)_c^}ªbt>_co5Yaca¬¸ hzprY¤ bf^Vacp 'SVY^}hxSVYThz5b>bfsyzYXghxo1jevYT_c^;hSVYioxjkW}Y5hzprYfO$'g3hmjkaca`pf¨eYXtLmnjea`_`hzp _lo1j D#c 1 41VvxYX_lgjkhYe¨ 'SnYvxYje^%_c^rr_co_`sna`Y>«nvozhijevdfmVW}Y^LhT_coThxSVY>hzprY)be¡hxSVY)bkhxSVYvThz5bn $obeacmh_cbe^)hxbihxSV_lonvbfsVa`YXW _cohb>mnoY j g.F1+#Pg% rYXtLmnjkac_`hzpeRTSn_co
(70) r_`^ bk¡YXtLmnjkac_`hzp>_lo_`¯JYXvYX^fh ¡¢vxbeW$hSnY=mnomnjkaYXtLmnjkac_`hzp_c^Fªbt _c^hSnjkh _`hSnjfo¡¢bemVv5jkvxdemVW}YX^fhUo I|hzb jevdfmVW}Y^Lhxo jkvxYThSVY=bfsyzYXghxo sJY_c^Vd8gbeW}njevY¤0¨n'SV_cacY)hzb8bkhSnYv jevdfmVW}Y^LhxoijkvxYhSVYX_`vihzpLJYX>o Q¢'Sn_cgSWjQp%hSVYX^sY;_`¯JYXvYX^fh S3 RTSn_co YJY^nVY^Lh>Y¤tLmnjkac_¬hzp%WjkeY¤o=_loiJbfoxo_`sVacY)hxb 'v_`hY;b'^Y "VvxYXoxo_`bf^no=jksJbemVh=hSVY4YXtLmnjea`_`hzp%be¡ hz5b;hYXvWoTYfY^%hSVbfmVdeS%hSnY_cv'hzprY¤oTW}jQprsJY)_¬¯°YvxY^Lh¤ &¹^Vvjegh_lgYf¨ej ¡¢Yozhjk^nnjkv hxbLbfaconvbr_lYX4_`^8ªbt)hxb)Snjk^a`Y'_c^nmg3h_ceYThzprJYXoX¨e_c^}njkvh_lgmValjkv hjegh_lgo k#&'Z!Ph_.kjk^n k&H&%" -+h_.k}'_`aca0sJYSnjQfY _c^Fje^%mn^VY "JYXg3hxYX%Wjk^V^VYXv'jeo'obLbf^%jfobf^VYSnjeo . . #. . $ . #. %. l 9K#. '&.
(71) @. v. omngS YJY^nVY^Lh}gbe^noqhvxmnghbevoX¨wsY¤gjkmoqY8hSVY¤oqY%hxjfg3h_lgo4hzprV_lgjea`acpbfv '_`hS hSVY®mnomnjkaT¸ ValjegY Y¤tLmnjkac_¬hzpf G[(. . U+|7/0)58E/O-Q + / 0)NFQ. TR SnY bfYXvxjkh_cbe^njeaoYWjk^Lh_lgoTY¤ogv_csJYXo hSVYsJYSnjQr_cbev be¡|YXjfgS8_c^noqhvxmng3hx_`bf^%jeo5jhvjk^noq¡¢bevxWjh_cbe^be¡ obeW}Y)WjegSn_`^VY oqhxjkhYf5RTSVYW}jfgSV_c^VY ozhjhxY gbeW4sV_c^VYXo'jea`mVY¤o=jeoxobrg_cjkhY¤8hxbYXjfgSFacbgjeaAjkvx_cjesVa`Y¤o¨ vxYnvY¤oqYX^fhxYXsrpjhbkhjkaJ¡¢mV^ngh_cbe^%¡¢vbfW F#G E hxbhxSVYihzprJY be¡jkacmVY¤o¨j acbgjea°oqhxjfg°¨fvxYVvxYXoY^LhxYXsrp j}ac_lozh>bk¡wjkacmVYXoX¨jnvbfdevjkW gbemV^LhYXvijk^jVvxbedevjkW®5RTSVY VvxbedfvxjeW.Snjeo j oY¤g_ljka|oqhxjkhmno oq_c^ngY _`hT_co^VYfYv5W}brV_¬«nY¤ mVvx_c^Vd#Y "rY¤gmhx_`bf^A¨jk^n Yjeghmnjea`acp;Vb4^Vbeh_c^ngacmnY>_`h5_c^8bfmVv1¡¢bfvWjkac_c£Xjhx_`bf^ be¡|hxSVY)WjegSV_c^VY)ozhjhxYe Y)^njkW}Y>hSVYhzprJY)bk¡
(72) bLoo_`sna`Y)WjegSn_`^VY)oqhxjkhYXHo h0-!*%!+& RTSVYhzprJY h0-g!*%!&4_co'Y«n^VY¤%'_`hSj}gbf^noqhvxmng3hxbev @ h0-!*%!+&4'_`hSFhSnY¡¢beaca`b'_c^Vd4hzpLJ.Y I !( 4 #. .
(73) . . 4 . . . . ( 4#. . ! ( 4 . ¹^8W}jkhSVYXWjh_lgjean^Vbehxjkh_cbe^noX¨f5Y='_ca`aJ'vx_¬hxY ¡¢bev K @ Ph0-!*.!& CPZ ( -#OLwRTSVY=hzprJY(0"**@ & 42 ¨je^n®hxSVYhzprJY -!*'Z 8_lo je^!jksVsnvYXL_ljhx_`bf^ _`hxoYa`¡ _lo je^!jksnsVvYXr_cjkh_cbe^®¡¢bev hSnYhzprJY ¡¢bfv K ,h0-! H*+,$'&^O Q hxSVY)hzprYbe¡
(74) ac_coqhxoTbe¡
(75) jea`mVY¤o4S 1jfgS4be¡nhxSVY=jkvxdemVW}YX^fho|be¡nhxSVY=gbf^nozhxvmg3hbfv
(76) gbevxvY¤oqJbe^hb)j «nYal4_`^j vY¤gbev0
(77) RTSVY5«nvxoqh«nYal0¨ be¡|hzprJ/Y G &&E ¨rvYXVvY¤oqYX^LhxohSVHY 1PhMh M`a 3¨_c^n_lgjkh_c^Vd}'SVYvxY_`^FhxSVY)VvxbedevjkW Y#"YXgmVh_cbe^F_co gmVvxvYX^fhxa`p;hjkr_`^nd;nacjfgYewRTSVY)oYXgbe^n «nYal0¨bk¡hzpr/Y (0"* @P&¨rYXoxgvx_`sJYXohxSVYQjea`mnYXo5bk¡jkacaJjev_ljksVacYXo _c^FhSVY)nvbfdevjkW®¨ehxSVYhSn_`v®jkvxdemVW}Y^Lh¤¨Lbe¡hzprJY K ,h0-! H*+,$'&^OvYXVvxYXoY^LhxohSnY ozhjeg° T"Y¤gmhx_`bf^%_lo5vYXVvY¤oqYX^LhYX8srp jvxYaljhx_`bf^A¨r^njkW}YX h0-g!&2C0¨fsJYhz5YYX^ hxSVvYXY n_`Y¤gYXo5be¡
(78) VjkhxjVwRTSVY «vxoqh _co)hSVY nvbfdevjkW®¨|jF¡¢mV^ngh_cbe^D¡¢vxbeW jeVvxYXoxoYXo>hb_c^noqhvxmng3hx_`bf^noX¨|hxSVY oqY¤gbf^n _co hSVYWjegSn_`^VY oqhxjkhY sJY¡¢bfvY4Y "YXgmh_c^Vd¨be¡
(79) hzprJY h0-!*.!&¨hxSVY hxSV_`v_lo=hxSVYWjfgSV_`^nYozhjhxY4j¡ hxYv Y "YXgmh_c^Vdn¨°jkalob be¡|hzprJY h%-!*%!&n !( & #& ' 4 !( 4 !( 4 '& SVYX^!vxYXjf_`^nd hSnY4VvxYXV_cgXjhY 1 ! ( & 7 ¨0be^nY4gje^eYXvsjkac_`£XY)hSV_lojeoihSVY}oY^LhYX^ngY . U #e K`a %F3B NF1 # `a EKv 3Kh f + #> # `a Kg:1 Mh h &¹^FhSn_co oY^oqYf¨ jk^ jevY>_`^nVmhijk^ _loTbemhxVmh¤ & h WjQp oYYXW W}bevxYFnvxjfg3h_lgjea5hbYXoxgvx_csY®Y "Y¤gmhx_`bf^ o_`W}Vacp jfoj ¡¢mV^ng3hx_`bf^ ¡¢vxbeW njk_cvo4be¡ nvbfdevjkW je^n®WjegSV_c^VYoqhxjkhY)hxb WjegSV_c^VYoqhxjkhYXoX =b5YfYv¤¨hSn_co bfmVal%_cW}bLoqYhSnjkhiY "Y¤gmhx_`bf^ _lo5hbehxjea|jk^nFYhYvxW}_`^n_coqh_lgk RbkhjkaLY "YXgmh_cbe^4bfmVac W;Y¤jk^)hxSnjhwjkacaL_`^noqhvxmngh_cbe^no
(80) gje^ sY5Y "Y¤gmhxYX _c^4je^rp Jbfoxoq_csVacY WjegSn_`^VY oqhxjkhYfRTSn_co_co_c^njeY¤tLmnjhxYe¨roq_c^ngY Y jeg3hxmnjkacacp;Tjk^Lh1hxb#Y "rnvY¤oo VvbfYXvqhx_`Y¤o1be¡AVvbfdevjkWow_c^hYXvWo be¡1Y "YXgmh_cbe^¡ jk_ca`mVvxYe)RTSV_lo>gbemnacsJY;vY¤gbeYXvY¤FsLpjfV_c^Vd%j%mVW}WpoqhxjkhY hxb%vxYnvY¤oqYX^fhi¡ jk_ca`Y¤ #Y "YXgmVh_cbe^A YhxYvxW;_c^V_lozhx_cg}#Y "YXgmVh_cbe^ SnjeoVvjegh_lgjeajfjk^LhxjedeY¤Uo I>r^Vb'_`^nd8hxSnjh)hxSVYvxYgjk^ sJY;bf^Vacpbe^VY bfmhnmh ¡¢bfv YXjfgSbLoo_csVa`Yi_`^VnmhTgXjk^WjkfY='vx_¬hx_`^Vd4b'^ jkvx_`bfmnowVvxbeJYvh_cYXo WmngSY¤jeo_`YXvX =bT¸ YXeYXvX¨0_`hgje^ jeacob8hxmVvx^ bfmhhb®sY je^ bfYvxr_`aca > Vbfvjesnoqhvjeg3hx_`bf^!VmnvJbfoYXoX¨0_¬h WjQpsJY}YXjfoq_cYv>hb VYXoxgvx_`sJY;obeW}Y;njkvhxobe¡1hSnYVvbgYXoxo jfo ^nbe^¸¹YhxYvxW}_`^V_loqh_lgk¨0hxb®jQfbe_lj%^VYY¤hxbFsJY;hbrb®VvxYXg_loY jesbfmhwhSnY jeghmnjeaVbeJYvjhx_`bf^4be¡°hSVY=WjfgSV_`^nYe¨khxSVYioxjkW}Y=TjQpjeo1^Vbe^¸¹YhYvxW}_`^n_coqh_lg'gSVbe_lgY'_lo1moqY¤ _c^®bkhxSVYvT¡¢bfvWjka°W}YhxSVbVoThxb YXoxgvx_`sJYmV^nYXvq¸¹oY¤g_`«gjkh_cbe^A &. . . . . . . &. "! . ,+. %. ). #. *). . $. %'&(. &. !%. %. ,+. &. ). !. !. oqp1osr.
(81)
(82)
(83) . ;. RTSVYvxYaljhx_`bf^ h0-!+&2C_loTsY¤ozhiY«n^VY¤%jfo5je^%_c^nmg3h_ceYVvxbeJbfo_`h_cbe^AT&¹^®oqmngSFj}Y«n^n_¬hx_`bf^A¨be^VY nvbr_lYXo
(84) jgbeacacYXg3hx_`bf^be¡hxSVYbfvYXW}oX¨kjkalob>gXjkaca`Y¤ K'` #qD3¨QhSnjkhY#"VvY¤oo
(85) 'SVYX^;hSVYTVvxbeJbfo_¬hx_`bf^ _lo
(86) VvxbQjesVacYeRTSnYvxYaljhx_`bf^ hSjhw_coY«n^VY¤_lo
(87) hSVYToW}jea`acYXoqhwbe^VYhSjhwvY¤oqJYXghxohSnYXoY hxSVYbfvYXW}oX¨kjk^ gbe^noqhvjk_c^Lhxo be^ hSVY}¡¢bfvW bk¡5VY«n^V_`h_cbe^oY^nomVvxY4hxSnjh omngSDj%vxYaljhx_`bf^!Y#"r_loqhxoXªbt onvbgY¤oo_c^Vd be¡hxSVY)_c^nmngh_ceY Y«n^V_`h_cbe^®deYX^VYvjhxYXo'[j V+*-.&gbe^noqhvxmnghX¨'SV_lgS®Y "VvxYXoxoqY¤o hxSnjh=nvbfbLoq_`h_cbe^noTbe¡ hxSVY=¡¢bfvW K h0-g!&2C ? !\ !+]^Ogje^be^Vacp4SjQeY=sJYYX^ VvxbeYX;mno_c^Vd be^nYibk¡0hxSVY gbe^noqhvxmnghbevoX $io1¡¢bev hxSVY)Y«^V_¬hx_`bf^%be¡|hxSVYacje^VdemnjedeY 2H@c,'h)jksJbeYe¨LhxSVY)Y«n^n_¬hx_`bf^%_loT^Vbkh'vxYXjea`acp_`^mng3hx_`fYe¨sVmVhT_`h='_ca`a sJY)Snje^nphxbsY)jksna`Yhxb;vxYXjfoqbf^8srp8gXjeoYXo'jksJbemVh5hxSV_lo'VvxbeJbfo_¬hx_`bf^A &. &. . kY%$PZg!Ph*H& h%-!&2C ? M C+"_.i#"**@ mM)h0-!*%!+& .d h%-!*%!& d ? "_2C MN@ '-.X'h kPZM K CPZMNG &E O K (mM (0"* @P&^O K klMDh k+!&.i&%"PO K -M4-!+*'Z PO K ? C Z+O@ h k Z.d K h0-!2& C ? K @ h0-!*%!+& CPZ ( K Z_.kP- K h k#!'X2H*+,jkPO -#O#O K @Ph0-!+*%!& K *%Y#Yc\ CPZ+O`( K Z._.kP- K h k+!'X2H+*+, K h kPZg"&*@P&.k#!'X'h k+!CkcO0O #- O#O#O f '-.X C'2_ CM K CPZM G &&E O K (mM (0"+** @P&^O K HlM H*+,$'&^O K -M4-!* Z PO K ? CPZ+Og@C'_2C d K h0-!+2& C ? K @Ph0-!+*%!& CPZ ( K Z._.kP- H -+O#O K @ h0-!*%!+& K *0Y#YP\ CPZ+Oj( #- O#O. . &&. ia`a|gbe^noqhvxmnghbevo5SnjQeYjo_`W}_cacjevToSnjeYf¨hSnjkhigje^%sJY oqmnW;Wjev_c£Y¤%jfo ¡¢bfa`acb=oJI $. .1- . + + + - + 1 . ). . 7 ). g% K& g '. 1! ( & $. ). . .+++ +++ 7 . . . RTSnYp®YXoxgvx_`sJY)hxSVY4sJYSjQL_cbev=¡¢bevibf^VY _c^noqhvxmng3hx_`bf^A¨Jjfo=#Y "rnvY¤ooYXFsrpFhSVY¡ jeg3hihSnjkh 1 7 vxY¡¢YXvxo hxb hxSnjhT_`^ozhxvmngh_cbe^AT$=aca°_`^ozhxvmngh_cbe^no5jkvxY=vxYVvxYXoY^LhxYX0¨LY"VgYXhbf^VYe¨0a'*+,.!J
(88) RTSV_lo _c^noqhvxmng3hx_`bf^8gje^ ^nYeYXvTsY)#Y "rY¤gmhxYX0 RTSVY>oq_lYigbe^nV_¬hx_`bf^no1df_`fY^ jkW}bf^Vd)hSnYiVvxYW}_loqY¤owbk¡AY¤jegS gbf^noqhvxmng3hxbev1vxYXoqhvx_cgh1hSnY gbf^n_`h_cbe^no mn^nYv 'SV_lgS®hSVY4_`^noqhvxmngh_cbe^WjQp8sJY#Y "rY¤gmhxYX0 : beW}Y bkhxSVYv>gbf^n_`h_cbe^no=jevYY "VvxYXoxoqY¤%srp%hSVY jhqhxYvx^8hxSnjhThxSVY_`^VnmhiozhjhxYe¨ . + + + oqSVbfmVal8WjhgSA< VbfvT_`^noqhxje^ngYf¨rhSVYnjkhqhxYvx^8¡¢bfvThSVY_c^VVmh oqhxjkhY _c^hxSVY4gbe^noqhvxmng3hxbe0v '-%X'h k Z;jksJbeY)Y "VvxYXoxoYXoThxSnj>h hJkPZ;'_`acabfYXvxjkhY)^VbfvWjea`acp8bf^Va`p®_`¡whSVY oqhxjfg_co=^Vbkh'YW}hzpFjk^n8hSnY)Qjea`mnY)be^%hbe®be¡|hSnY ozhjeg _lo'jk^F_`^LhxYdeYXv'jkacmVYe ). . G[(. . . . S<; +.NP0 N 79+./0)58:k0k/O-F/0)58 />2 V>Q +. RTSnY besyzY¤g3h>bk¡hSV_lo bfv%_coihb8oqhmpFhSVY45jQp%besyzY¤g3hxo jkvxYgvxYXjkhY¤0¨n_c^V_`h_ljkac_`£XYXje^n®mnoYX0iRTSn_co jeVJYXjkvoT_c^hSVYbeJYvjh_cbe^jkaAoYWjk^Lh_lgoX¨V_c^hSnY)hvxYXjkhW}Y^Lh=bk¡hxSVY)hSnvYXY _`^ozhxvmngh_cbe^nok&0¨h kchg!J¨ je^n $ -.&wRTSVY)gbf^nozhxvmg3hbfvTbk¡lh%-!&2C¡¢bevlk'& Snjeo5hxSVY¡¢beacacb'_`^Vd4¡¢bevxW9I '-%Xk'&,M. KC Z MNG &E B(mM (%"**@P& B)!lM =B6-M4-g!*'Z B*M K #$ kPh ck hg!Ph*+,'h+&%Y+X2H#*+,$'&5!CPZ+O#O K ? CPZ+Og@ K k'& b!PO d K $^X$#k#$ -.&0Y !CPZb* ( +- O .d K h%-!2& C ? K @Ph%-!*%!& CPZb( -+O K @Ph0-g!*%!& K *0Y#Yc\ CPZ#O`( K Z._kP- K $#k ! C Z ^* O -+O#O0O. l 9K#. .
(89) ¤. v. RTSVYXvY4_co be^nYoq_lY;gbe^_¬hx_`bf^A¨°vY¤tLmV_`vx_c^VdhSjhihxSVYvxY_lo ^Vb mV^V_c^V_`h_ljkac_`£XYX!besyzY¤g3h _c^hxSVY'SVbfa`Y }W YXW;bfvp bk¡LhSVY1¡¢bevxW K $#kCPZb*^Or|RTSV_lo|o_cVY1gbe^_¬hx_`bf^)Y"VvxYXoxoqY¤oJhSnjkhjk^rp beJYvjh_cbe^jkakoYWjk^Lh_lgo ¡¢bfv5hSVY:k'& _`^noqhvxmngh_cbe^F_co'jfggYXhxjesVacYe¨jeo5acbe^Vd}jeoT_`h=jeg3hxmnjkacacp gvxYXjhxYXoTj4^VY besyzY¤g3hX¨rhxSnjh'_loT^Vbkh jea`vxYXjfp;VvY¤oqYX^Lh_c^ hSnY W}YW}bfvpf&¹^8hSV_loToqYX^fhxY^ngYe¨LhSnY W}YW}bfvpjeghmnjea`acp}_co hSnY>gbeWsn_`^njkh_cbe^ be¡ (J¨rhxSVY)jkacmVYXoTbe¡jea`a0jkvx_ljksVacYXoX¨jk^n6 - hxSVY ozhjeg° RTSVY gbe^noqhvxmnghbevTbe¡ h0-!+&2C¡¢bf/v hJkchg!Snjfo5hSVY¡¢bfa`acb'_`^nd¡¢bfv9W I . f '-.X'h kchg!mM K C ZRL CPZR7'MNG &&E B(M (0"**@ & B !lM = B - M4-!*'Z$B;*LE*7'M H*+,$'& B * M K $#kPh kchg!Ph*+,'h0&0Y+X2H#*+,$+&C!CPZR7 OIB *7 M K _ #&'Zg!'X2H*+,$&5!PO#O K ? CPZ+Og@ K h kch ! !PO .d *0@ K $#k ! C ZR7 * ^ O .d *7@ K _ `! * 7 ^O.d K _#X$#k#$P-&0Y ! *7 ( -#O .d K h%-!2& C ? K @Ph%-!*%!& CPZb( K Z._kP-`* -#O#O K @Ph%-!*%!& K *0Y#Yc\ C Z+O K -g$ P-!2X H ( * * 7UO K -g$ P-g!'X-! 2X H -b* * 7UO#O#O. . 5. . 5. ,. . . 5. RTSnYoxjkac_cY^LhT¡¢YXjhxmVvxY)_`^%hSV_lo=gbe^noqhvxmng3hxbevT_loThSVY)TjQp jkaca0_c^nozhjk^ngYXoTbe¡hxSVYmV^V_c^V_¬hx_cjea`_c£Y¤FbesyzY¤g3h=_c^ hxSVY W}YXW;bfvpjkvxY omVsnoqh_`hmhxYX'_¬hxS hSnY _c^V_¬hx_cjea`_c£Y¤)besVyzYXg3h¤ : mnsnozhx_¬hxmh_cbe^4vYXa`_cYXo|be^)hxSVYTjeoxoqmVW}hx_`bf^ hxSnjh>hSnYvxY4Y#"r_loqhxo hzb%deYX^VYvx_cg ¡¢mV^ngh_cbe^noX¨0be^VY4¡¢bevomVsnoqh_`hmhx_`^Vd®_c^!Wjkoi¡¢vxbeW hxSVY4hzpLJY F0G E hb jea`mVY¤o-g$5P-g!'X2Hije^nbe^VY1¡¢bevomVsnoqh_`hmVh_c^Vd _c^ oqhxjego|bk¡jkacmVYXo8-g$P-!'X-g! 'X2H°VhSnYXoY1hz5b'¡¢mV^ngh_cbe^no jfg3hxmnjkaca`pjevY4_`^noqhxje^ngY¤oibe¡ W}bevxYdfY^VYXvxjea|¡¢mV^g3h_cbe^oihxSnjh)jkvxY4VY«n^VY¤¡¢bfv>je^LpFhzprJY4Vvxbr_cVYXje^ Y¤tLmnjkac_¬hzp hY¤ozh4¡¢mV^ngh_cbe^ _lo Vvxbr_cVYX ¡¢bevhSnjkhhzprJYe nbev_c^noqhxje^ngYf¨ -g$5P-!X-! 'XH®_lo4VY«n^VY¤ jeo ¡¢bfa`acb=Jo I . . 5. &0( h Pk hg!Ph_.k -g$ P-g!'X-!X2H M K ,'h0-! H*#,$'&^O .d H*+,$'& .d H*+,$'& d H *#,$'& M MN@ K - $ P-!'X+-! H+*+,$'& &0WXH*+,$'&#X%Y+&'Z+O . . 5. . RTSVY gbe^noqhvxmnghbevTbe¡h0-!+&2C¡¢bfvl$ -.&;Snjfo5hSVY¡¢bfa`acb'_c^Vd;¡¢bevxW;I. f '-.X$P-.&M K C ZMNG &E B(mM (%"**@P& B)!lM =B * M K _ #&'Zg!'X2H*+,$'&5!POIB6-M K ,h0-! H *+,$'&^O#O K ? CPZ+Og@ K $P-.j & !PO d K h%-!&2C ? K @Ph%-!*%!& CPZb( K Z._kP- K _ b! *^O -+O#O K @Ph%-!*%!& K *0Y#Yc\ C +Z O ( +- O#O . . . RTSnYijkmhxSVbevowbe¡ceSnjQfY=gSVbfoY^jk^Y#"VgYXoxo_`fYacpjksnoqhvjegh1vYXVvxYXoY^Lhxjkh_cbe^;bk¡°hSVY ^Vbkhx_`bf^}bk¡0mno_`^Vd je^}besyzY¤g3Jh Isnjeo_lgjkacacpe¨hxSVlY $P-&)_`^noqhvxmngh_cbe^oqJYXg_¬«YXohxSVYigaljeoxobk¡JhSnY'besyzY¤g3h1be^}'SV_lgS;hb)bfYXvxjkhYe & h'_loTbe^Vacp ^VY¤gY¤ooxjkvxp;hb}eYXv_`¡¢p}hSnjkhThSVYbesVyzYXg3h'sJYacbe^Vd;hxbhxSVY oqJYXg_¬«YXFgaljeoxo5je^n8hSVYbeJYvjhx_`bf^ VbLY¤ow^Vbeh W}brV_¬¡¢p4hSVYibesyzY¤g3hXRTSV_low_lo1vxYXjkacacp)¡ jkvw¡¢vxbeW jeghmnjeaVbeJYvjhx_`bf^4_c^}hSnY=vY¤jka`¸ ac_`¡¢Y'acje^VdemnjedeYf. oqp1osr.
(90) f.
(91)
(92) G[(. %0a/0hNYQ + / 0)NFQ . RTSnY ozhxvmnghmVvxY}bk¡5hSVY oqhxjkh_lgoqYXWjk^Lh_lgo_lo)eYXvpo_cW;_caljkvhb®hxSnjh be¡hxSVYbeJYvjhx_`bf^njka1oYWje^fhx_cgXo Y8jea`W}bfoqh «n^ hSVY8oxjkW}Y vxmVacYXoX¨'_`hS jozhxvmnghmVvxYhxSnjh_lo fYvxp ga`bLoqYfFRTSVY8W}je_`^ V_¬¯°YvxY^ngYXo jeVJYXjkv>_c^hSnY4¡¢bfvW be¡1hSVY;hzprV_c^Vd8vxYaljhx_`bf^A¨JhSVYgbeacacjenoqY4bk¡1hz5b8sJYSjQL_cbev>vxmVa`Y¤oi_c^LhbFbe^Vacp®be^VY ¡¢bfvThSVY gbe^Lhvxbea°_c^noqhvxmng3hx_`bf^6h(J¨Vjk^n%hxSVYVvY¤oqYX^ngYbe¡j;vxmVa`Y>¡¢bfvThSVYHa'*+,.!_`^noqhvxmngh_cbe^A RTSVY hzpLn_`^VdvxYaljhx_`bf^®SnjeoThxSVY)¡¢bfvW K h +! -!+&2C ? '_.$#kY h0Or¨'SVYvxYhSVY4jkvxdemVW}Y^Lho'jkvxY VYXoxgvx_`sJYXFjeo5¡¢bfa`acb=Uo I ? _lo'j;VvbfdevjkW®¨LhSnjkh=_coX¨Vj4hbehxjka°¡¢mn^ng3hx_`bf^®¡¢vbfW jeVVvY¤ooYXohb}_c^noqhvxmng3hx_`bf^no _lo1j>hbehxjea¡¢mV^ngh_cbe^}¡¢vxbeW$jfVvxYXoxoqY¤o
(93) hbhxbkhxjea¡¢mV^ngh_cbe^no WjkVV_c^Vd)jkvx_ljksVacYXo
(94) hxbhzpLJYXoX¨emoqY¤ hb vxYnvY¤oqYX^fh1oqhxjkh_lg'_`^V¡¢bevxW}jkh_cbe^jksJbemVh1hSVY=hzpLJY=be¡°jev_ljksVacYXowjkh YXjfgS}a`_c^VY=be¡JhxSVY=VvxbedfvxjeW _cojThbehxjkaf¡¢mV^ngh_cbe^)¡¢vxbeW jenvY¤ooYXo0hb=ac_coqhxobk¡hzprJYXoX¨QmnoqY¤>hb vYXVvY¤oqYX^Lh|ozhjh_lg1_c^¡¢bfvWjhx_`bf^ jksJbemh'hxSVY oqhxjeg jkh=YXjfgS8ac_`^VY)be¡hxSVY)VvxbedfvxjeW '_$#kY}_lo'jk^jeVVvY¤ooX¨rmnoqY¤ hxbvYXVvxYXoY^LhhxSVY)aljeoqhTjea`_l®jeVvxYXoxo5_`^FhxSVY)VvxbedevjkW h _lo je^ jeVVvY¤ooX¨kmnoYX;hxb vYXVvxYXoY^LhwhSVY jeVvxYXoxow_c^}hSVY VvxbedevjkW$gmVvxvYX^LhacpmV^nVYvoxgvxmhx_`^rpe RTSnYvxYaljh_cbe^ K h +! -!+&2C ? '_.$#k+Y h0O}gje^sJY4vxYXjfjeJo Iz +:1 hM h ? F3B '_$#kY K N#[[ g g D2h fO _ #BbD1B J3 _ s b Pg nRTSV_lo'vxYaljh_cbe^®_loiY«n^VY¤ jfo'jk^F_`^mng3hx_`fY)VvxbeJbfo_¬hx_`bf^A . . . . . . . . . . %. . &. %.
(95) . %. %. %. . . kY%$PZg!Ph*H& h +! -!&C ? M C#"_%i#"#**@<B MNG &&E .d K @ *2C %!& C&^OIB MNG &E .d K ,h0-! %!& C'&^OIB _.$#kY<L6h MNG &&E mM ? " _2C MN@ +!'Xh kPZM K *+:, C#a'*M K ,'h0-! %&! C'&'O#O K ? h#O@ hJkP Z .d K -.** @P&#X @P2* C .&! C'& K K *0Y0Yc\ h#O#O K h#O#O .d K K *0Y#YP\ h0O#O@ K h0O d K h#O@ K Z._.kP- hJk+! *#, C#a'*^O d K - @P*+,#,%&%" K *0Y#YP\ h#O _.$#kY O d K h #! -!2& C ? '_$#kY h#O f +!X C'2_ CM K !*$M %&! C'&^O K ? h#O@ C2_ C .d K -.** @P&#X @P2* C .&! C'& K K *0Y0Yc\ h#O#O K h#O#O .d K h#O@ K Z._.kP-C!+*.$ K K *0Y#Yc\bh#O#O0O d K - @P*+,#,%&%" K *0Y#YP\ h#O _.$#kY O d K h #! -!2& C ? '_$#kY h#O. . . . . . &&. . . . . . . . . . RTSVY)nvbfbLoq_`h_cbe^ K -**@P&+X @ *2C%!& C'& K K *0Y#Yc\ h0O#O K h0O#O Y#"VvY¤ooYXohxSnjh'hxSVY)hz5b4¡¢mn^ng3¸ hx_`bf^no K K *0Y0Yc\bh#O#O)jk^n K h#O jkvxY>bf_`^Lhq¸ '_loqY>YXtLmnjea SVYX^%5YmnoY WjhxSVYWjkh_lgjka0^nbkhxjkh_cbe^no vjhxSVYv=hSnje^ ªbt8^Vbehxjkh_cbe^A¨Y4'_`aca|'vx_¬hxY 1¡¢bev=hxSVY4oxjkW}Ygbe^ngYh¤¨YXeYX^®hSVbfmVdeS ªbt VbLY¤oT^Vbkhigbe^no_lYv5hz5b4¡¢mn^ng3hx_`bf^noThSjh=jkvxYbf_`^Lhq¸ '_loqYYXtLmnjea°hbsJY)YXtLmnjea $5h=hxSV_lo=Jbe_c^fh¤¨nhxSVYvxY)_loijoqhvxbe^Vd;hY¤gSV^V_lgjea_`¯JYXvYX^ngY)sJYhz5YYX^®hSVY ¡¢bevxW}jea`_c£Xjkh_cbe^®YXoxgvx_csY¤ _c^ ce3wjk^bemVvoX VvxYmV^jk^n §®_¬hgSVYaca
(96) Y "Vac_cg_¬hxa`p®mnoY)hSnY¡ jfg3hihxSnjh ? _co j 19 V¡¢mn^ng3hx_`bf^!_c^ . . . l 9K#. . . .
(97) QZ. v. hxSVY_cv15bevx°¨kjk^n4hSnY'Qjev_cbemo_`^¡¢YXvYX^ngYTvxmVacYXo¡¢bfvhSVYThzprJY=oqpoqhYWhSVYXpVvxbeJbfoYTvYXa`pbe^}VvxYW}_coYXo be¡AhSnY ¡¢bfvW 1
(98) 7 g. Kg O &¹^%bemVvT5bevxJ¨L_`h5_lo5WmngS%W;bfvY>Vvjegh_lgjkahb}Y¤ogv_csY ? jeo5jhbkhjka ¡¢mn^ng3hx_`bf^A &¹^FhSV_lo=gXjeoYe¨V5YSnjQeY>hbvxYnacjfgY>hSVY)nvbfYXvqhzp be¡ sYX_`^nd Y«n^nYXF¡¢bev=obeW}Y)jenvY¤oo srp!obeW}Y;bkhxSVYv)VvxbeJYvhzpbk¡hSV_lo)jenvY¤ooX Y}SnjQfY;gSVbLoqYX^hxbgbe^oq_lYv>hxSnjhhSnY jeVvxYXoxo>Snjeo hxb sJY4oW}jea`acYv=hSnje^!oqbfW}Y sbfmV^n0¨J'_`hShxSVY _c^fhxmV_`h_ceYbfsyzYXgh_ceY)hxSnjhihSVY4sbfmV^nvxYVvxYXoY^LhoThSVY jfVvxYXoxo5bk¡
(99) hSVY)aljeoqh'_`^noqhvxmngh_cbe^F_`^FhSnY)VvbfdevjkW® Y®SnjQeYFa`Y¡ h}hSVYoYh}bk¡>jfVvxYXoxoqY¤o4jfo}jk^ mn^Vr^Vb'^ oYh¤¨ sVmh5Y%SjQeY®jeoxoqmVW}Y¤ _`hgbeW}YXo '_`hS hzboJYXg_`«giYacYW}Y^LhxoX¨ +&."_+X0*0Y0Y0" je^n '_.$0kYJ¨eje^ _`^gvxYW}Y^Lh1¡¢mV^g3h_cbe9^ *0Y0Yc\ijk^n je^bevYv - @P*+,#,%&%" hSjh8Snjfo_c^fhxmV_`h_ceYacp hSVY!oxjkW}YVvxbeJYvh_cYXojfo}hSnYbevYv qacYXoxoz¸ bev¸ Y¤tLmnjka %be^^njkhmVvjka ^rmVW4sYXvxoX¨
(100) Y "VgYXh hSjhhxSVY8bf^Vacp ^rmVW4sYXvxo)vxYaljhxYXDsrp hSV_lobfvxVYv jkvxYhxSVbfoY ^rmVWsJYvohxSnjh}jkvxY oWjkaca`YXv5hSnje^ '_.$#kY &¹^hxSVY!vxYaljhx_`bf^ K h +! -!+&2C ? '_.$#kY h0Or¨ jk^n jkvxY!jfoomVW}YX hxb sY oqbfW}Yr^Vb'^ _c^VVmVhX¨YXoxgvx_`sn_`^Vdoqhxjkh_lg_`^V¡¢bevxW}jkh_cbe^DjksJbemh)hxSVYhzprJYXo)_c^ hSVY nvbfdevjkW®RTSVY8gbf^noqhvxmng3hxbevo be¡ hxSV_lovxYaljhx_`bf^8Y¤ogv_csY 'SnjhT_`h5W}YXje^no¡¢bevhSVY>VvxbedfvxjeWhxb4sJY>gbe^no_lozhxY^Lh'_`hS%hSV_lo5_`^V¡¢bevxW}jkh_cbe^A¨ snmh'hSVYXp%b}^VbehiYXoxgvx_csYY "Vac_lg_`hacp SVb hxSV_lo'_`^V¡¢bevxW}jkh_cbe^F5jfo'gbf^nozhxvmg3hY¤8_c^%hSVY«nvoqh=VacjfgYf ). . . ). . . . G[(. 36+.-h-0.lU+2 795<79/. . . . QR/>2 79+|/ON >/1S:)-v0. . RTSnY}jemhSnbevobk¡ ce a`_`¡ h)hSnYVvbfYXvqhzp!bk¡sJY_c^Vd5Yaca¬¸ hzprY¤hxbgbeW}VacYhxYVvxbedevjkWo srp!ozhjhx_`^Vd hxSnjh>jkacaAa`_c^VY¤o=SnjQfYhb sJY 5Yaca¬¸ hzprY¤0 Y mnoYj}5YXjeeYv'^nbkh_cbe^be¡wYXa`a`¸ hzprJYXFVvxbedfvxjeW}oT'SnYvxY bf^Vacp hxSVY8vxYXjfgSnjksna`Y _c^noqhvxmng3hx_`bf^no4SnjQeYhxb!sJY%5Yaca`¸ hzprJYX0DRTSVY8vxYXjfoqbf^no)¡¢bfvhxSV_lo5YXjeeY^n_`^Vd!_co hxSnjhY''_ca`aVvxbeY5hSnjkh1hSnY=Y¤jk ^nbkh_cbe^ om+T gY¤ow§®bfvYXbeYv¤¨QbemVv bfv;gbe^Lhjk_c^nowj)oqY¤gbf^n;njkvhJI nvbr_l_`^nd jk^!jea`dfbevx_¬hxSVW hxSnjhoqSnb=oij nvbfdevjkW.hxb8sJY5Yaca¬¸ hzprY¤0 jQr_`^Vd%j 5YXjkfYv=nvbfYXvqhzp hxb}YXoqhxjksna`_loqSF'_ca`aAWjeeY>hSV_lo=jea`dfbevx_¬hxSVW YXjfoq_cYv5hb'vx_`hYe Y'Y«n^nYvxYXjfgSnjksV_cac_¬hzpjeo|hSVY5hxvxje^noq_`h_ceYvY nY "_ceY5gacbfomVvY bk¡j be^VYToqhY4vY¤jegSnjesV_ca`_`hzp vxYaljhx_`bf^ hxSnjh>Y "VvxYXoxoqY¤oThSjh>jfVvxYXoxo _co be^VY¸ oqhYXvY¤jegSnjesVacY¡¢vbfW _¬¡whxSVY_c^noqhvxmng3hx_`bf^!jh>jeVvxYXoxo _c^ hxSVYVvxbedevjkW _loT^Vbkhi2j a'*+,!_c^noqhvxmng3hx_`bf^Fje^n 7 bevT_`¡hxSVY_`^ozhxvmngh_cbe^®jh=jenvY¤oo _c^FhSVY nvbfdevjkW _lo ! + 5RTSnY vYXacjkh_cbe^®bk¡wbf^VY¸¹ozhxY®vxYXjegSjksV_ca`_`hzp _loigXjkaca`Y¤ Zi\X."+&#*'Zga'*,^,0&¨e'SV_cacY)hSVY vx Y Y "_`fYihxvxje^no_¬hx_`fYga`bLoqmnvY>_coigjkacacYX Zgi'X."&#*Zga'*^,%&| =5bkhxS%vxYaljhx_`bf^noTjkvxY)Y«n^nYXF_`^mng3hx_`fYacpe YVvbfY'hSjh5hSV_lo5^Vbkhx_`bf^8bk¡vY¤jegSnjesV_`ac_`hzp4_lo5vYXa`YXQje^LhsrpvYXacjkh_c^Vd_`hT'_¬hxS8Y "Y¤gmhx_`bf^A¨r_`^%hSVY hxSVYbfvYXW hSjh'¡¢beacacb=Uo I h0-!&2C'X."&#*'Z a'*^,0&I <. . . 2. . . + 1 ! ( & . . . . . 7 1 4 4 82 7 RTSV_lohSVYXbevxYW _loTYXjfoq_cacp VvxbeYX8srp8j}oqpoqhYWjkh_lg>je^njkacpoq_loTbk¡jkaca°hSVY gbe^n# oqhvxmn gh be vo5#*bk) l¡ h0-g! &2C0. . . . . ). G[(. . . . . . . . . . !. .
(101). . . %0a/0hNYQ + / 0)NFQ IM5W7 N 79+./0)584/ 2 V>Q + . RTSnYgbe^noqhvxmnghbevTbe¡mh +! -g!&2C}¡¢bevThxSVY)_`^ozhxvmngh_cbe^k'&, Sjeo5hSnY¡¢beaca`b'_c^Vd;¡¢bevxW9I. +!'Xk'&,M. ,. K -+hgi:@P*M =PO K ? h0O@ K k'& +- hgi@ *^O .d K -.** @ &+X @P2* C %&! C'& K K *%Y#cY \ h#O#O K #h O#O.d K K *0Y#Yc\ h0O#O @ K Z_.kP- K $0k^.X !& C& -+hgi @ * 0h O K. . . h#O0O d. oqp1osr.
(102) ¤.
(103)
(104) . . K 'k _%!X'h k %!& C'& K $#k^X!& C'& -#hgi@P* h#O K h#O#O . d K#K lM F#G E O0= K h PO@ K $#k^X.! C'& -#hgi@P* #h O0O d K - @P*#,#,0&%" K *0Y#Yc\bh#O '_.$0kY O .d K h +!^-!2& C ? '_.$0kY h#O. . . . RTSnYVvYXW}_coY K -**@P&+X @ *2C && Y"VvxYXoxoqY¤o;hSnjkh hSnYQjev_ljksna`Y¤oj¡ hYXv Y"Y¤gmhx_`^VdDhxSVY_c^noqhvxmng3hx_`bf^ SjQeY hSVYoxjkW}Y>hzprYf¨hSnY)VvYXW}_coY K K *%Y#Y \ h#O#Og@ &&1Y#"rnvY¤ooYXohSjh=hxSVYhzprY)be¡hxSVY ozhjeg jk¡ hYXv%Y#"rY¤gmhx_`^nd hxSVY _c^noqhvxmng3hx_`bf^ _loFjea`W}bLozh%hSVYDojeW}Y jeo8hSnY hzprJY be¡)hSVYDoqhxjegsJY¡¢bfvY Y"Y¸ gmh_c^Vd¨'Y"VgYXh8hxSnjh®jk^mV^V_c^V_`h_ljkac_`£XYXbfsyzYXgh8Snjfo sJYY^ jeVY¤be^hxbeA $5h%hSV_lo%VacjfgYf¨'_¬hF_co jeacob!^nYXgY¤ooxjkvxp hb gSnYXg hSnjkh;^nb behSVYXv4bfsyzYXgh;be¡'hSVYoxjkW}Y hzprJYFjea`vxYXjfp Y#"_coqhxo;_c^ W}YW}bevxpe¨ '_`hS!hSVY}VvxYW}_loqY K k_%!'X'h k &¨0jk^nhSVY;mV^V_ceYXvxoxjkacacp®tLmnje^Lh_`«nYX!VvYXW}_coY K#K lM F#G E O(&iRTSVY aljeoqh hxSV_`^nd hxSnjhF^VYY¤Vo%gSnYXgr_`^ndn¨'_lo hxSnjh%hSVY ^VY "rhFjfVvxYXoxo _lo%jeacob jkac_l0¨io_`^ngYhxSVEY k'& _c^¸ oqhvxmngh_cbe^hxvxje^noq¡¢YvoihxSVYgbf^fhxvbfa
(105) hbFhSVY;¡¢bfa`acb'_`^nd%_c^noqhvxmng3hx_`bf^A4RTSV_lo_lo)be^VY}'_`hS hSVY}VvxYW}_loqY K - @P*+,0,0&%" K *%Y#Yc\ h#O '_.$#k+Y Or A srr_`bfmnoa`pf¨khSnY=W}bfoqh _`W}Jbevhxje^fhVvYXW}_coYXo bk¡°hSV_lo gbe^noqhvxmnghbevjkvxYThSVYi¡¢bemVvhS je^n;«V¡ hS|¨fhxSnjh YX^¡¢bevgY1hSVYTgbf^nozhxvxje_`^LhjesbfmhSjQL_c^Vd=^nbi_c^nozhjk^ngY be¡njk^ mV^n_`^V_`h_ljkac_c£YXbesyzY¤g3h
(106) a`Y¡ h|¡¢vxbeW j=VvxYr_cbemno bfsyzYXgh=gvxYXjhx_`bf^%jkh'hSVY oxjkW}Y)jeVVvY¤ooX RTSVY gbe^noqhvxmnghbevTbe¡ h +!^-!&2C}¡¢bevThSnY)_`^noqhvxmngh_cbe^ hJkchg!Snjfo5hSVY¡¢bfa`acb'_`^nd4¡¢bfv9W I. +!'X'h kPhg!lM. . . K -+hgi:@P*M =PO K MNG &E O K *#,C#a'*M K ,'h0-! %!& C&^O#O K ? h#O@ K hJkchg! -+h i@P*^O .d K -.** @ &+X @P2* C %&! C'& K K *%Y#Yc\ h#O#O K -g$ P-g!'X.! K h#O K $#k'X.!& C'& -#hgi@P* ^O K _ +X.!& C& -+hgi@ *^O#O#O d K h#O@ K Z_.kP- K $0k^X.!& C& -+hgi@ * 'O *#,C#a'*^O d K K *0Y#Yc\ h0O#O@ K -g$ -!'X-!'X.! *#,C#a'* K $#k^X.&! C'& -+hgi:@P* ^O K _ +X!& C'& -#hgi@P*^O0O .d K - @ *+,#,0&%" K *0Y#Yc\ h#O '_.$0kY O .d K h +! -!+&2C ? '_.$#k+Y h#O. . 5. . 5. . . . . . . . RTSVY oxjkac_cY^LhT¡¢YXjhxmVvxY>be¡hxSV_lo'gbe^ozhxvmnghbfv5_loThxSnjh=_`hibrYXoT^Vbeh=beJYvjhxY bf^Va`p8be^FhSVYhxbeFbk¡
(107) hSVY qo hxjfg°¨sVmhihxSnjh=W}b_`«gjkh_cbe^noijkvxYjeacobJYv¡¢bevxW;Y¤Fbe^FhSVYvY¤ozh=be¡hxSVYoqhxjeg%jk^n%hSnY jkvx_cjesVa`Y¤o RTSn_co5Y"VvxYXoxoYXowhxSnjh'_c^V_`h_ljkac_`£¤jh_cbe^%_co5r_loq_csVacYihxSVvbfmVdeS%jkacaJvxY¡¢YXvYX^ngY¤o1hxbhxSVYbesyzY¤g3h¤1ªbf^no_coqhYX^ngp be¡0hSV_loTgbf^nozhxvmg3hbfv'_`hS8hSVYgbfvvxYXoJbe^n_c^Vd gbe^noqhvxmng3hxbev5_`^8hSVY>beJYvjhx_`bf^njkaJoqYXWjk^Lh_lgo_coWjeY Y¤jeo_`YXvsrpDhSnY8¡ jfg3h;hSnjkh;5Y8mnoY%hSVY®ojeW}EY -g$5 -!Djk^n -g$P-!'X-g! ¡¢mn^ng3hx_`bf^no4hb!JYv¡¢bevxW:hSn_co JYvxjeo_`fY mnJVjkhYf . G[()'. * +-k/10n 2nE/. . )NY/ 2 Q 0a/0hN >IM5W7 /0)58. RTSnY oqhxjhx_cgi_`^V¡¢bevxW}jkh_cbe^df_`fY^ _c^ jk^ _loje^8jksnoqhvjegh_cbe^}bk¡0hxSVY>_`^¡¢bfvWjkh_cbe^}hSjh'oqSVbfmValsY fd _`fY^F_`^®hxSVY)r_`vhmjkaAWjegSn_`^VY)oqhxjkhY¡¢bev jk% ^rp Y"Y¤gmhx_`bf^®je^n®jk^rp8ac_c^VY)bk¡
(108) hSVYVvbfdevjkW® Y^VYY¤ hxb8SnjQfYj TjQpFhb%Y"VvxYXoxo'hSjh>hSVY;_`^V¡¢bevxW}jkh_cbe^_c^ .je^n % ¡¢bfv>obeW}Y;jeVvxYXoxo _c^nYY¤_lo j jea`_l%jesnoqhvjeg3hx_`bf^%be¡
(109) obeW}YWjegSV_c^VY)ozhjhxYe. l 9K#. .
(110) X. v. wfYvxpLhSV_c^Vd;vYXa`_cYXo5be^FjvxYaljhx_`bf^ !& C'H*+,$&hSnjkh'jfoobg_ljhxYXo5j hzprJY>'_`hS®jk^rp}jkacmVYe¨Vje^n8j hxSVYbfvYXW ! C'&+X2H+*+,$'&+X.Y+&%!°¨LhSnjkhoxjQpoij%Qjea`mnY4gje^!bf^Va`p®SnjQfYbf^VY hzprJYe RTSVY4¡¢mV^ngh_cbe^!_lo>YXjfoqp hxb 'vx_¬hxYe¨JL^nb'_`^Vd}hxSnjh>YfYvxp8besVyzYXg3h>jeg3hxmnjkacacp%_loijvxYXgbev®jeoxoqbg_ljhx_`^nd j}hzprYhxjkd%jk^njjea`mVY _c^FhSVY gbevxvY¤oqJbe^_`^nd hzprYf1uwvxbL_c^Vd4hSVYhxSVYbfvYXW._lo=jkaloqb}oqhvjk_cdeSLhq¡¢bfvTjkv0 RTSVY8«nvozhjkvh_co hSnjkh;jea`aQjev_ljksna`Y¤o)_`^ hSVYFozhjhY8Wmnoqh4sJY8df_`fY^DjkacmVYXo Q hSnvbfmVdeS (+ShxSnjh SjQeY hxSVY4hzpLJYjeoxgvx_`sJYXhb%hSVYXW _`^ Y;Y "VvxYXoxo=hxSV_lo'_¬hxS j%vYXacjkh_cbeE^ !& C'&+X @P*2C0¨omngShxSnjh 1 & " 4& 1 7 7 _co'Y¤tLmV_`jea`YX^fhThxb}hSVY)VvxbeJbfo_`h_cbe^ I . . . . - #>+ 1 & " 4 2 1 - 7 1. . . . - 77+. RTSVY oqY¤gbe^4jkvh1_co1hSnjkhjkacaVjkacmVYXo1be^}hSnYiozhjeg4SnjQeY5hSnY'hzprYijfogv_csJYX4hbhxSVYW _c^
(111) RTSn_co jkvhTmoqY¤o'j4^nY VvY¤_lgjhxYH! C'&+X-g!*'Z hxSnjh=ac_¬¡ ho!& C&+X2H*+,$'& hboqhxjego5_c^®j;^njkhmVvjka0T% jQpe. . G[()''. %k0k/O-F/0)58. N 58>Q#hQ 0a+ N . RbFW}je_`^Lhjk_c^hSnY4vxYaljhx_`bf^!sJYhz5YY^ pr^njkW}_lg4je^n!oqhxjkh_lg_c^¡¢bfvWjhx_`bf^A¨AobeW}Y#Y "LhxvxjFgbf^no_coqhYX^ngp 4W mnoqh4sJY%fYvx_¬«nY¤05Vbev;_c^V_¬hx_cjea`_c£Xjkh_cbe^A¨1omVsnoqh_`hmVh_cbe^no}jkvxY mnoYX be^ sJbkhxS hxSVYFVpL^jkW}_cg%jk^n hSVY oqhxjkh_lg}oq_lYe¨|sVmh 5Y4^VYXYX!hb®WjkfY}omVvxYhxSnjhhxSVYa`bgXjh_cbe^o W}b_`«nYX srphSn_co)omVsnoqh_`hmhx_`bf^jkvxY hxSVY®ojeW;Y%be^ sJbkhxS o_cVYeR prJY%gbevxvY¤oqJbe^nVY^ngY _co4^Vbeh;YX^VbemVdfShb Y^nomVvxY hxSV_co;SVYXvYf¨wsY¤gjemnoqY oYfYvjka5besyzY¤g3hgje^ SnjQfY hxSVYojeW;YFhzprJYe RTSnYFnvbfYXvqhzp *% _`^LhxvbmngYX _`^ ce3 hjkfYXogXjkvxY8be¡'hSVYFY "rhvjvxYXtLmV_cvxYW}Y^LhxoX YF_`W}VacYW}YX^fh}_`h;_c^ªbt ) ' ') _¬hx S j!) VvbfYXvqhzp hxSnjh}Snjeo hxSVY4oxjkW}Y ^jkW}Ye¨°sVmh>Y4mnoYj8_`¯°YvxY^LhihzprJbedevjknSLp8hb _c^n_lgjkhYhSnjkh _`h>_lo=njevqh>bk¡1bfmVv=¡¢bfvWjka VYeYXa`bfVW}Y^LhX RTSVY>VvxbeJYvhzp *% Y^oqmVvxYXo1hSnjkhTjea`a°acbgjhx_`bf^nowhxSnjhTSnjQfY=hSnY>oxjkW}Yimn^V_`^n_¬hx_cjea`_c£Y¤ hzprJYjkalob gjkvxvxphSVY4ojeW;Y) 'mV^V) _c ^V_¬hx_c)jea`_c£Y¤®jkacmVYe &¹^®hSnYY«^V_¬hx_`bf^bk¡ H@P,'h)hzprJYXoX¨mn^V_`^n_¬hx_cjea`_c£Y¤ hzprJYXo SnjQeYhxSVY4¡¢bevxW 1 &
(112) 7 ¨°'SVYXvY _co>j galjeoxoije^n _co>jk^ jeVvxYXoxoX=RTSVY4gSnjevxjfg3hxYv¸ _c£Xjkh_cbe^!¡¢bevhSnY4hzprJYWjk hSnY;jea`mVY}Wjk ¨|jFgaljeoxo ¨jk^DjenvY¤oo ¨|je^n je^ mn^V_`^n_¬hx_cjea`_c£Y¤ jea`mVY _co=Y "VvxYXoxoqY¤ '_`hSFhSVY¡¢bfa`acb'_c^Vd;¡¢bevxWmValj I . . . . - #.>!0/ + 1 - 7 1 & & 7. 1 - 7 1 &
(113) 7 . . ªSjkvjeg3hxYvx_`£X_`^nd%hxSVY%oxjkW}Y r_c^nbe¡TnvbfYXvqhzp ¡¢bev;jkaca acbrgXjhx_`bf^no bf^ ozhjego)_lo4Y¤ogv_csJYXD'_`hS je^ _c^nmg3h_ceY)Y«n^V_`h_cbe^gjea`acYX %!*'Z +V+_%"#"+&'-*C'_.k+Y'- Y)'_ca`a0'vx_`hY $. 1 4 # ' ( &' 6 (G) % 7 hxb%Y#"VvY¤ooihSjh)_¬¡Tj8acbgjkh_cbe^!_c^ FSnjeo hzprY 1 & & ) 7 ¨°hSVYX^!hxSVYgbevxvxYXobf^n_c^Vd8acbgjhx_`bf^ _c^C-gbf^fhjk_c^noThxSVYjkacmVY 1 &) 7 iRTSV_lo=vxYaljh_cbe^jeacobY"VvxYXoxoYXoThxSnjh % jk^n SnjQfY)hSVY;ojeW}Y SnY_cdeSLhXE T"VvxYXoxo_`^Vd gbevxvxYXobf^nY^gY}sYhzYXY^hxSVY8mn^V_`^n_¬hx_cjea`_c£Y¤DhzprY 1 & & ) 7 jk^DhSVY mn^V_`^n_¬hx_cjea`_c£Y¤ jea`mVY 1 ) *7 ¡¢bev jkaca'W}YW}bevxp acbgjhx_`bf^noX¨ jkvx_cjesVacYXo}jk^noqhxjfg gYacalo jkac_`fYe¨_co. . . . . Y#"VvY¤ooYX8'_¬hxSj4vxYaljhx_`bf^%be¡|hxSVY¡¢bevxW . 1 # ' ( &' 6 ( ) . . %. . 7. RTSn_coTvxYaljhx_`bf^%_lo'Y«^VYX®jeo'je^%_c^nmg3h_ceY)nvbfbLoq_`h_cbe^F'_¬hxSFhSVY¡¢bfa`acb'_`^nd¡¢bfvWjkaAoJYXg_`«gXjh_cbe^I oqp1osr.
(114) Q.
(115)
(116) kY%$PZg!Ph*H& Z_%"#"&'- C'_.kY^N!mM =B6h MNG &&E B M K $#kch kPhg!Ph*+,h+&0Y#X2H+*+,$&5! h0OIB M K @P*2C 8M K ,'h0-g! %!& C&^OIB;(mM K @P*2CH*+,$'&^OIBE- M K ,'h0-g! H*+,$'&'O: mM Z._%"0"lM K#
Documents relatifs
It is obvious that the steel showed the plastic strain memory effects at each test temperature, in other words, in spite of the hardness of the steel cyclic stress,
Les cités et leur territoire d'influence sont administrées par de puissantes familles, celles de l'aristocratie terrienne et marchande, qui tirent leur légitimité de
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des
In this paper, we have defined the steady-state control problem for MDP, and shown that this question is decidable for (ergodic) MDP in polynomial time, and for labeled MDP
Trois autres échantillons du pool CHAT étaient également gardés au Center for Disease Control et ont été inclus dans cette analyse (CHAT pool 13, CHAT type 1 Wy4B-5, CHAT 1FL)..
Un habitat de La Tène moyenne et finale à Berry-au-Bac au lieu-dit “ Le Chemin de la Pêcherie ” (Aisne).. Jérôme Dubouloz, Michel Plateaux,
constat, unanime en Colombie, que la résolution des conflits par élimination de “l’opposant” est l’une des caractéristiques de la violence nationale. Première
Automatic test data generation, structural testing, constraint solving techniques, global constraints 1.. Structural testing techniques are widely used in unit or module testing