Combining symbolic execution and model checking to reduce dynamic program analysis overhead
35
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Combining symbolic execution and model checking to reduce dynamic program analysis overhead Néstor Cataño. N° 5263 12 Juillet 2004. ISSN 0249-6399. ISRN INRIA/RR--5263--FR+ENG. Thème SYM. apport de recherche.
(3)
(4)
(5) ! "#$%"'&)(*+ , - . ",",% ,/$ 10 . . , *
(6)
(7) 243 . &" ,5 687:9<;>=,?*@A9B@DC);FE GIHKJ+L*MNPORQ1STNVUXWZY[J:L\M<W]W[UPL/^A_8`badcPefM:W gih[_kjlM YmonkM:h[M<WlY p]qkrfrD_kh[YsfMRhtM:uvHKM+hvuvHfMxwDy'z8{}|k~S!<{/kefa``bM+Y{}kk S~KrKq}8M:W. ):+Bfkk UeKW[abwf]W[UVL^D_k`au'M+XM:u efY[a_kwRY[M<uvHfwfadc8eKM:WFawRY[HfMhvq}L*M: _8h[_kPYtHfMoPqnqgqBYtHK)abwAsXM+h L*_XsXM:` uvHfM<uvkM+h<fMWZHK_BYtHKqBYRWZ_8L\M/8qnBq\rfht_kkhvq}LWlYvqBY[M:L*M+wPYtWq}htMefwKq}^K`bMYt_ uvHKqkwfkMYtHfM/u+efhZ htM+wPY4WZYtq}Y[M_}u M:hZYvq}aw¡ l¢¤£¦¥D§* k¨ ©+§ ª¬«B§+ª¬DqkwKsWZ_*abY4adWeKW[M+`M:WtWIY[_%awKWZY[htefL*M+wPY]Y[HKM+L¯®GIHKM_k^KW[M+htnkM:h adWIkankM:wq8Wq/°KwfabY[M ±WZYtqBYtMq}eXYt_kL%qBYt_kwq}wKsMu+_kwKW[adsXM+htM:s,W[q}M YlUrfht_krDM+h[Y[aM:W:® ²³P´>µt¶· B¸)k L*_VsfM+`VuvHfM:uvVawfKBW[UPL/^A_8`baduM+VM<u eXYtab_8wB8qnBqK<PqnBqgqBY[HA awKsXM:h:awKWZY[htefL*M+wPYtq}Y[a_kw awVnBq}htaqkw8YWZY[htM+wfkY[HfM:wfabwKKXrfht_k8htqkL¹u+_khth[M<u¬YtwfM:WtW. ºi» ¼l½¿¾¿À¬ÁZ ÃFÄt¾ÅÄvÆÀ+Ç)½ÅÀ¬È<ÉÊËÄ< ÊÌÆÁÍÊËÄ< ÎÁ. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France) Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65.
(8) % . l +
(9) ) !",Z !
(10) * 2" $%" '&,)(% -0 .. " . "
(11) ]$
(12)
(13)
(14) *
(15) qkwKW`bM%u:qksXhtM\sfM*PqnBq gq}Y[HK)awKsXM+h<wf_8eKWeXYtab`aW[_kwAWsXM:WY[M<uvHfwfadcPefM:Ws M <u eXYtab_8w
(16) W[UVL^D_k`acPefMrA_8efh¯s +L*_kwPYth[M:h,cPefMu+M+h[YtqkabwfM<W rAq}h[Y[aM:W s efwrfht_kkhvq}L*L*M Pqnq wfM rDM+eKnkM+wPY¯rKqkW uvHAq}wf8M+h` YvqBYq8u¬Y[eKM+`os efw k¨ ©+§ ª¬« ±§ X ª ± B¥D *§+ M+YcPefM%rKq}hu+_kwK W :cPefM:wKu M*a`i
(17) W qn8J+htM/awVeXY[a`bM sfMR`M:W]abwKWZY[htefL*M+wPYtM+h<!® " _8^KW[M+htnq}Y[M:efhIM:WZY]M Xrfhtab#L WZ_8eKW`q\_8h[L*Ms efwq}eXYt_kL%qBYt%M $/&` Ytq}Y°KwfaÅfM Y wK_keKWqn8_kwKWIu _8wKW[as : h sXM<WIrfh[_8rfht'a + Y :WsfM W (fhtM )Y k® *· < µ + L*_VsfM+` uvHKM:uvVabwKKXM <u eXYtab_8w¯W[UVL^D_k`acPefM8KPqnqKf8qnBq\gqBYtHK)abwKsfM+h<KawKWlYth[eKL\M:wPYtqB Ytab_8wXhtM+wX_8htu+M+L*M+wPY]s abwVnBq}htaqkwPYtW:Vu+_khth[M<u¬Ytab_8w,sXMrfht_k8htqkL*L\M<W.
(18) *¨+£¦¥K£¦¥© %¨v Ë£*§ P§ ¿£Í }¥ B ¥
(19) %
(20) 8§ K§ }£¦¥. ~. G M:WZY[awf aW%qL*M YtHf_Xs Y[_ uvHfM:uv YtHfM WtqBY[adWZÍqku¬Ytab_8w _kRqrfht_krDM+h[YlU abw q}w¤abL*rf`M+L*M:w8YvqBYtab_8w ^VU *L M<q}wKWi_}FM XrDM+htabL*M+wPYvqBY[a_kw ®±w*YtM:WZY[awfK8Y[M<WlYIWZefabY[M<Wiqkh[M]sXM<WZakwKM:s\_k``_BabwfHAqBYoYtHfM4M+VrDM+htaM+wKu+M _k rfht_k8htqkL*L\M:htW WZeKkkM<WlYvW+®4wf`bakM_kY[HfM:hL\_8h[M_khtL%q}`DY[M<uvHfwfadcPefM:WW[eKuvH¯qkWIL*_XsXM+`uvHfM<uvVabwf*q}wAs YtHfM+_8h[M:L rfht_BnPawfA8YtM:WZY[awf*aWIwK_}Y]u _8L\rK`bM+Y[MRabwY[HKMW[M+wAWZMY[HKq}Y]a Y]u:q}w_kwf`U%rfht_BnkMY[HfMrfhtM:W[M+wKu+M_k M:h[ht_khvW ^feXY]wf_kYY[HfM:abh]qk^KWZM:wKu M8® HfM:wsf_kawfYtM:WZY[awfKVaw 8M+wfM:htqk`AabYaWwf_kYrD_8WtWZa^f`M4Yt_\u+_BnkM:h q}``DY[HfMrD_8WtWZa^f`Mu:qkW[M:Wi_khIHfaduvH q rfht_kkhvq}L u _8ef`dsrfht_VsfeKu M\q}w M:h[ht_kh WZawKu+MY[HAqBY _8ef`s abL*rf`Ukq}Y`M:q8WlY<AYt_u+_kwKW[adsXM+hRq,u:qkW[M_kh M<qkuvHrA_PW[W[a^f`bMnBq}`efM_}'M:q8uvH nBq}htadq}^f`MkXHf_PWZMsX_8L%q}awKWq}htMeAWZeKqk`b`UawX°KwfabY[M8® Q_XsXM:` uvHfM<uvPawf {X adW]qn8M+hta °Du+qBYtab_8wYtM:uvHfwfadcPefMM:W[rAM<u adq}``bU,u _kwAu M+ankM<s%Yt_\rKh[_Bn8Mrfht_krDM+h[Y[aM:W _kh[M<qku¬Ytabn8MWZUXWZY[M:L*W: ® ±wY[HKM+_khtUkAL*_VsfM+` uvHKM:uvVabwK%aWq lrKeKWZHfÅ^fefYZY[_8w !Y[M<uvHfwfadc8eK"M asXM<q}``bU¯q%eKW[M+h sf_PM<W]wf_kY4wfM:M:sY[_ abwPY[M:htq8u¬Y4abY[H¯YtHfML*_XsXM:` uvHfM<uvkM+hqBYqk`b$` #KHfadWL*qkabw_kht u+_kwKW[aWZYtW4abwrKh[M<W[W[abwK YtHfML*_XsXM+`uvHfM:uv8M+%h Zk_}±q}HKM:qks !/^feXY[Y[_kw Yt_qka Y\qu _keKrf`bM%_k]WZM<u _kwAsfW+)q}wKs°AwKq}``bU8 Yt_ q}wKqk`bU &:M YtHfMh[M<WZef`bY*rfh[_XsXeAu M:s¡^PU YtHfML\_XsXM:`uvHfM:uv8M+h<'® ±w rfhvqku¬Ytau+MkHf_BM+n8M+h<'L\_XsXM:`uvHfM:uv8M+hvWwfM:M:s¡_k HVefL%qkw\awPY[M:htq8u¬Y[a_kw 8q}wAs\efhZYtHfM+htL*_khtML*_VsfM+`AuvHKM:uvVabwKY[M:uvHKwfacPefM<WosX_wK_}Y Wtu+qk`bMM+``X_kh h[M<q}`bÅ`abM rKh[_8^f`bM:L%WI^AM<u+q}eAWZM_} Y[HfMWZYtq}Y[MM Xrf`_8W[a_kwrfh[_8^f`M+L¯® ( *¨v £ \ª[§ ©+ B¥A£¦¥ )b<*~ htaW[M:Wq8W]q*L*M:qkwKWIY[_W[efrfrK`bM:L\M:wPYY[M:WZY[awfqkwKsL\_XsXM:` uvHfM<uvVabwfA®oG _ W[efrfrK`bM:L\M:wPYiY[M<WlYtabwK^AM<u+qkeKWZM4HfM+whtM:q8WZ_8wfawfWZUVL^D_k`adu+q}``U/_8wfM4sXadWZhtM+Pq}hvsfW)Y[HKMW[rAM<u ab°Au]nBq}`efM]_k qnqkh[adq}^K`bM8kq}wKs*hvqBYtHfM+hih[M<qkW[_kwKWaw*Y[M:h[L%Wi_}FkM:wfM+htauW[UVL^D_k`au]nqk`beKM:W'_8hiM XrfhtM:WtW[ab_8wKW+®)GIHVeKW+8_kwfM adWiW[efhtM4_kFu+_BnkM:h[awfq}``AY[HfMRu+qkW[M:W:®NVUVL^D_k`auhtM:q8WZ_8wfawfWZeKrfrf`M+L*M+wPYtW L*_XsXM+`>uvHfM:uvVawfY[M<uvHfwfadcPefM:W q8WI M:`b`ÅK^DM:u:q}eKW[M_kwKMu+q}w_8hM fq}L*rf`MeKW[Mq*L\_XsXM:` uvHfM<uvkM:h Yt_kM:wfM+hvqBYtMq}wKsM Xrf`_khtMrfht_kkhvq}L W[UVL^D_k`auY[htM+M<W+®GIHVeKW:FL*_XsXM+`uvHfM<uvPawfu+q}w^AM\eKW[M:sL*_khtMM +>M:u Y[ankM:`bU¯Yt_,rfht_Bnk M ,Íq8W_8rfrD_8W[MY[_ lY[_*htM eXYtM !.-rfht_krDM+h[Y[aM:W:® ±w¯YtHfM_k``_Babwf*M_khtLeK`q}Y[MR°KhvWlY]YtHfMrfht_k^f`M+L sXM:qk` Ya YtH¯Y[HfadW]htM+rD_kh[Y #XYtHfM+wMsXM<W[u+h[a^AM HK_B MReAWZML*_XsXM+` uvHKM:uvVabwKYtM:uvHfwfadcPefM:W:fM:wfHKq}wAu M:s,abY[HWZUVL/^A_8`baduRh[M<qkW[_kwfawfKPYt_*q8sfsXhtM:WtWa Y<® ³ 1 · ! + ³ 43 M/u _kwAWZadsXM+hW[UXWlYtM+L%Wu _8L\rD_8W[M:s,_})Yl_*u+_kL*rD_kwfM:w8YvW+®oGIHKM°KhtWZY]u _8L\rD_kwKM+wPY: / 0 2 q 5*787rfht_k8htqkL abw¯M+VM<u eXYtab_8wXad9W lL*_8wfa Yt_khtM:s !R^PUY[HfMW[M:u+_kwKsFfqkw¯M VY[M:h[w_k^KW[M+htnkM:h:®'Q_8wfa Yt_khtabwK 6 u+_kwKW[adWlYvWabwYthtq8uvPawfnBq}htadq}^f`M:WqkwKsY[HfM:abh/nqk`beKM:W:®,GIHfM_8^KW[M+htnkM+hadW8abn8M+w qkWq°Awfa YtM ±WlYvqBYtM q}eX Yt_kL%qBYt_kw*YtHKqBYin8M+hta °AM:WorKh[_8rAM:hZYtabM<WM XrfhtM:WtWZM<s*qkWohtM+8ef`dq}hoM+VrKh[M<W[W[ab_8wKW'_kw M+nkM:wPYtW8M+wfM:htq}Y[M:s\^VU\Y[HfM rKh[_8khvq}L¯® G _qk`b`_BY[HfM,_k^KW[M+htnkM:hY[_nkM+htabUk)Y[Hf M 5*78*7¯rfht_k8htqkL1wfM:M:sfWY[_^AM,abwAWlYth[efL*M:w8YtM:s Yt_ YthtqkwKWl L*abYnBq}htaqk^f`bM<Wq}wKsnBq}`efM:W:®\GIHKaWawKWZY[htefL*M+wPYtq}Y[a_kw^KqkW[au:q}``bU u+_kwKW[adWlYvW_} L%qkwPUu _kL*L/efwfadu+qBYtab_8w awKWZY[hteKu¬Ytab_8wKW:®NVawKu MWZeAuvH M+L*aWtW[ab_8:w ,Íu+_kL*LefwKau:qBY[a_k;w -awKWlYth[eAu¬Y[a_kwAWq +>M:u Y/wfM:8q}Y[ankM+`UY[HfM,rAM:hZ _8h[L%qkwKu M*_}IYtHf<M 5*78*7rfht_k8htqkL aw M XM:u+eXY[a_kw _kwfM aWÍq8u M<s a YtH Y[HfMrKh[_8^f`bM:L1_kIhtM:sfeKu awf qkW L%qkwPU/eKW[M+`M:WtWoM+L*adW[W[a_kwKWoq8WorD_8WtWZa^f`Mk® =]w%M:L\adWtWZa_kw%adWiu+_kwKW[asfM+htM:s/Y[_^DM4eAWZM:`bM<W[WHKM+wabY sX_VM:Wiwf_}Y L*_XsXabU YtHfMWZM:L%q}wPY[adu+W_k YtHfM_k^AWZM:h[n8M+h<®\GIHfMW[M+L%qkw8Ytau:W_}Y[HfM%_8^KW[M+htnkM+hu:q}w ^AM%M+Xrfh[M<W[W[M:sqkW lY[HKMu:q}rKqk^fa`babYlU_})Y[hvq}wAWZabY[a_kw,efwKsXM:hY[HfMWtq}L*Mrfht_k8htqkL¹u+_kwKsfa Ytab_8wK>W !¬® M _8wf`bUu _8wKWZadsXM:hW[q}M YlUrfh[_8rAM:hZYtabM<W+®¯f_8hM fqkL\rK`bM8 _8wfML*ab8HPY`bakM%Yt_ L*_kwfabY[_8hY[HAqB? Y lY[HfM YtM+L*rDM+hvqBY[eKh[M\wfM+n8M+hRM fu M:M:sfW\<ksXM+8h[M:M:*W @BDHfM+htMYtHfM\Y[M:L\rDM+hvqBYtefhtM\adWRkankM:w ^VUnBq}htaqk^f`bBM ADC*EDF awYtHfMrfht_k8htqkGL #fHfM+wAu MkDYtHfMnBq}`efM_kH ADCEIFab`` ^DMM:L*a Y[Y[M:sY[_YtHfM_8^KW[M+htnkM+hHKM+wfM:nkM+Jh ADCEIFaW eKrDsfq}Y[M<sqkwKs Y[HfM_8^KWZM:h[n8M+hIa`b`>YthtqkwKWZabY[a_kwHfM:4w KLADC*EIFNMPO*QQIRadSW ATUICK®. VV. ÆWIXYZ[.
(21) . %¨+£¦¥K£¦¥ © %¨t Ë£*§L V§ ¿£Í }¥ B ¥
(22) %
(23) 8§ K§ }£¦¥. / 0 ³ 1i· < 3 M\eKW[ML*_XsXM+`uvHfM<uvPawf%YtM:uvHfwKacPefM<W]Yt_,qksKsXh[M<W[W4Y[HKMrfht_k^f`M+L _kih[M<sXeKu+abwf Y[HfM wVefL/^AM:h_kW[eKuvH eKW[M+`M:WtWM+L*adW[W[a_kwKW_khrfht_k8htqkL%WHfM+htM*°KwfM+Å8htqkabwfM<sL\_8wfabY[_khtawf_}M+n8M+wPYtWaW htM:cPefahtM:sFB® M%sXM+°KwfM*°KwKM khvq}awfM:s L\_8wfabY[_khtawfq8WRY[Hf_PWZM%u:qkW[M:WRHfM+htM\L*qkwVU WlYvqBYtM+L*M+wPYtWawY[HfM rKh[_8khvq}Lu:q}w q +DM<u¬YRY[HfM\_k^AWZM:h[nBqBYtab_8wKW:K_8hM+XqkL*rf`bM8Aaw YtHfM*u+qkW[MHKM+htMY[HKM\W[rAM<u ab°AunBqk`befM\_}iq nBqkh[adq}^f`MRaWIYthtq8uvkM<sF®)GIHVeKW:VY[_*L*_kwKa Yt_khtabwf%q*u M:hZYvq}aw,nBqkh[adq}^f`M DXawKWZY[hteKu¬Ytab_8wK%W C*EAHK RLeKWZY]^AM awPY[ht_XsXeKu M<s awY[HfM 5*787 rKh[_8khvq}L aw qkwVU rf`dqku M*HfM:h[M aWL*_XsXab°KM:s #HC*E*AK R%u _8L\L/efwfadu+q}Y[M:W YtHfM]nBq}htadq}^f`M \qkwKs*abYtWiu+efhth[M:w8YonBqk`befM]Y[_YtHfM]_k^AWZM:h[n8M+h<® =]`bY[HK_kef8H% Ma`b`A_Xu eKWoY[HfM4rfh[M<WZM:wPYtqBYtab_8w _8w °KwfM+Å8htqkabwKM:s L*_kwKa Yt_khtabwfAY[HKM YtM:uvHfwfadcPefM:Wrfht_krD_8W[M:s HKM+htMa`b`qk`W[_¡_kht _8h,`dq}htkM:hZ±Wtu+q}`M L*_8wfa Yt_khtabwKKV^feXY]a`b` wf_}Y]HKqn8M4YtHfMWtq}L*MsXM+8h[M:MR_k M +DM<u¬Y[ankM:wfM:WtW:® M%rfht_krD_8W[M/YtHfM%eKW[M%_}L\_XsXM:`iuvHfM<uvPawfY[_W[Hf_BxYtHKqBY_8hu M:hZYvq}awu+_XsXM\htqkkL*M+wPYtW:efwAsXM+h u+M+h[Ytqkabwu _kwAsXa Ytab_8wKW:wf_¯M+L*adW[W[ab_8wa``^AM%htM:cPefah[M<s W[abwAu M*a Yu:q}wfwK_}Yq +>M:u YRYtHfM*rfht_krDM+h[YlUY[HKq}YaW ^DM+awfuvHfM<uvkM<sF®)NVrDM:u+a °Du+q}``UkP MIa`b`DWZHf_B Hf_B Y[_sXM+Y[M+htL*abwKMHfM YtHfM+h rfh[_8khvq}LxWZYtq}Y[M+L*M:w8YvWa`b` uvHAq}wf8M]Y[HKMWlYvqBY[MR_}'WZ_8L*M_8^KWZM:h[n8M+h<8^VU sf_kawf\q*W[UVL^D_k`auM XM:u+eXY[a_kw,_} Y[HfMu _XsXMabY[H,Y[HfM 5*787 7
(24) J, 5 -L*_VsfM+`iuvHfM<uvkM:B h :| Å<® 5 HKq8Wh[M<u M+wPYt`bU ^DM+M:w M VY[M:wKsXM:sabY[H YtHfMu+qkrKq}^fa`a YlU _kosX_kawfW[UPL/^A_8`baduhtM:q8WZ_8wfabwK : Å>q}wKs¯abY4adW]YtHfadWM:q}Y[efhtMYtHKqBY4Ma`b` eKW[MHfM+htMYt_ WZHK_BefwAsXM+h HAqBY]u _8wKsXabY[a_kwKWq\rfht_k8htqkL WlYvqBY[M:L*M+wPY]u+q}wuvHKqkwfkMY[HKMWlYvqBY[M_k'qkw,_8^KWZM:h[n8M+h<® ±w\WZ_8L\Mu+q8WZM<W+L*_XsXM+`VuvHfM:uvVawfu:q}wW[Hf_B¡u+_kwKu+`beKW[ankM+`UY[HKq}Y'q4rfh[_8khvq}Lab``V^AM:HKqnkMu _khthtM:u¬Yt`bU q8u+u+_khvsXabwK4Yt_WZ_8L*Mrfh[_8rAM:hZYlUS£ ¦ § fq}wVUM XM<u eXYtab_8w\_k>Y[HfM]rKh[_8khvq}L a`b`A^AM4u+_khth[M<u¬Y)S kHf_BM+n8M+h< L*_XsXM:`ouvHfM:uvVawf adWabwkM:wfM+hvq}`)LeAuvH^DM Y[Y[M+hq}Y°AwKsXawfu _keKw8YtM+htM fq}L*rf`M:W4Y[HAq}w WZHf_Bawf Y[HKq}Yq rKh[_8khvq}L¹aWu+_khth[M<u¬Y<®'NVawKu+MR_8efh]q}rKrfh[_PqkuvHhtM+`aM:W_kw,Y[HfML*_XsXM+`uvHKM:uvkM:hI^AM:abwf%qk^f`bMRYt_*W[Hf_B YtHKqBY q rfht_krDM+h[YlUHK_k`dsfW+FhvqBYtHfM+hY[HAq}wW[Hf_Bawf,q,htM eXYvqBY[a_kw F M/^AM:`baM+n8M\W[UVL^D_k`au/h[M<qkW[_kwfawfadWRL*_khtM qkrfrfht_krfhtadqBY[MY[HAq}wL\_XsXM:` uvHfM<uvPawf\^KqkW[M:s,_kw¯M+VrK`badu abYM+wVefL*M+hvqBYtab_8w® NVawKu+M/_8efhRqkrfrfht_8q8uvHM:WtWZM:w8Ytaqk`b`UWlYvq}h[YtW4h[_8L Y[HfM*qkWtWZeKL\rfY[a_kw YtHKqBYM+n8M+htUWZYtq}Y[M:L\M:wPYRrD_}YtM+wX Ytaqk`b`U uvHKqkwfkM<WoYtHfMWZYtqBYtM_} YtHfML*_kwfabY[_8h[awf*WZUXWZY[M+L¯XabY[H¯L*_XsXM+`uvHfM<uvVabwf/Y[HKM+weKWZM<sYt_*h[M<sXeKu M YtHfadWwVefL^DM+h_}I_k^KW[M+htnBqBY[a_kwAW+FYtHfM Wtu+qk`qk^fab`abYlU _}IL*_XsXM+`uvHfM:uvVawfsX_VM:Wwf_kYaw KefM:wKu M*YtHfM u _8hZ htM:u Y[wfM<W[W_k _kefhqkrfrfht_8qkuvH 8_8wf`bU*YtHfMqku:u efhvqku+Uk® ±w,_kY[HfM:h_khvsfW:kYtHfML*_khtMRqkwKq}`UXWZadWaWIsX_8wfMabY[H YtHfML*_XsXM+`uvHfM<uvkM:h:PY[HKML\_8h[MhtM:sXeAu¬Y[a_kwawhtefwPY[aL*M_BnkM+htHfM<qks sfefh[awf*L*_kwfabY[_8h[awfA® · + ! · " 3 MWZHf_B Hf_B L*_VsfM+`4uvHfM<uvVabwfYtM:uvHfwfadcPefM:W%S HfM:w WZefrKrf`bM:L*M+wPY[M<s abY[H W[UVL^D_k`au h[M<qkW[_kwfawf L*M YtHf_XsfW%S u+qkw M +>M:u Y[ankM:`bU ^DM eKW[M:s Yt_ W[Hf_B Y[HKq}Yq u M+h[Ytqkabw rKh[_8rAM:hZYlU HK_k`dsfW+® GIHfML%qBjl_8hI M<q}VwfM:WtW _}YtHfMWZUVL^D_k`aduM+XM:u efY[a_kw abY[HKabGw 5 %adW Y[HKq}Yu+UXu `M:WIu+qkwfwf_}YI^DMRHAq}wX sf`bM<sabwYtHfM+aheK`b`PkM:wfM+hvq}`a YlU]SHfM:wsX_8abwfWZUVL^D_k`adu'M XM:u+eXY[a_kw 5 u+qkwfwf_kY sXM YtM+htL*abwfMiHfM YtHfM+h q WlYvqBY[MHKqkW^AM:M+w htM+nVadWZabY[M<sFAqkwKs¯YtHfM+htM _8h[MYtHfM/qkwKq}`UXWZadW]a`b`)wf_kY]Y[M:h[L*awKqBYtMk®4G __BnkM:htu+_kL*MY[HKaW W[Hf_8hZYvu _kL*awf_} 5 Ki MW[Hf_B2Hf_B u `dqkWtWZadu+qk`Ih[M<qkW[_kwfawfqk^A_8eXY%`b_V_8r awVnqkh[adq}wPYvW\u:q}w¤^AMeAWZM<s abY[HKabw¯_keKhIhtqkL\M: _8h[\Yt_sXM:qk`Fa YtH¯u+UXu `M:W:® p_8efkHK`bU¯WZrDM:qkVabwfAAHKM+w q `b_V_krawVnBq}htaqkw8YaWVwf_BwK_8wfM_8wf`U,M:L\abYtWaw Y[HK_8W[Mu+q8WZM<W]HfM:w M:L*aWtWZa_kwAWisX_wK_}Yu+_kwPY[hvqksfau YoY[HfMabwVnBq}htadq}wPY:®)GIHfM4_kY[HfM:hiM+L*adW[W[a_kwKW q}htM]eKW[M+`M:WtWiq}wAs*Y[HfM:h[M+_khtM]u+qkw ,¿WZHK_kef`dI s -^DM htM+L*_Bn8M:sht_kLabwKWZY[htefL*M+wPYvqBY[a_kw )® =]`bY[HK_kef8Habw kM+wKM+hvq}`Å °AwKsXawf `_V_kr awPnBqkh[adq}wPYtW adWqkw¡efwKsfM:u adsfqk^f`bM rfh[_8^f`M+L¯' MWZHf_BHf_B W[UPL/^A_8`badu%htM:q8WZ_8wfabwK u+q}w ^DM eAWZM<s Y[_WZHf_B Y[HAqBY\q rKh[_8rAM:hZYlUaW)q`_P_8rabwVnBq}htadq}wPY:"® !wKM WZYtq}h[YtW^PU8efM:WtWZawf]q`_V_krawVnBq}htaqkw8Y #<Y[HfadW rKh[_8rAM:hZYlUaW)qkWtWZeKL\M<s q}YoY[HKM4^DM+kawfwfawf_k>Y[HfM`b_V_krfÅ^D_XsXUkPq}wKs\YtHfM+w uvHKM:uvkM<s\abL*L*M:sXadqBYtM+`U/^DM _8h[M4a YvWiM:wKsF® M4eKWZM4Y[HfM. # » $V #&%.
(25) *¨+£¦¥K£¦¥© %¨v Ë£*§ P§ ¿£Í }¥ B ¥
(26) %
(27) 8§ K§ }£¦¥. z. awX_8h[L%qBYtab_8w kankM+w ^VUY[HfMM+XM:u efY[a_kw _}IYtHfM Hf_8`bM%`_V_kr rfht_k8htqkL ,awKu+`beKsfabwf Y[HfMqkWtWZefL*rXYtab_8w qkwKsuvHfM:uvVawf/awKWZY[hteKu¬Ytab_8wKW - Y[_%WZeAu+u M<W[W[ankM+`U%htM °KwfMRYtHfMabwKa Ytaqk`kefM<W[W[M:s,`_P_8r,awVnBq}htaqkw8Y<® )awKq}``bUMsXM:Wtu htab^DM%Hf_BL*_Vsfef`qkhabwAWlYth[efL*M:w8YvqBYtab_8w_krfh[_8khvq}L%Wu+qkw^DM q8uvHfabM:nkM<s aw _kefh hvq}L*M: _8h[>® ,³ +ÍX ³ ¸ ¶· 3 ±w V * Å B«B§ X ¥
(28) q}wK s
(29) © h[M:rA_8hZY_8w¤htefwPY[aL*M nkM:h[ab°Au:qBY[a_kw¤aw YtHfMhvq}L*M: _8h[_} 5*787 7
(30) ±®GIHfadWY[_V_k`Iu _8wKu M:abn8M:WYtHfMh[efwPYtabL*M n8M+hta °Du+qBYtab_8w Ytq8WZ qkW M sX_ aw YtHfadW,htM+rD_kh[Y:® Q _khtMu _8wKu htM YtM+`Uk? 5787 7
(31) adW¯q¡htefwPY[aL\M n8M+hta °Au:qBYtab_8w Y[_V_k` u+_kL*rD_8W[M:s _kiYtHfh[M:M*L*qkabwL*_XsXef`M:W: wKqkL\M:`bU8 q}wawKWlYth[eKL\M:wPYtqBYtab_8w L*_XsXef`Mk)q}wabwPY[M:htu+_kwfwKM:u¬Ytab_8w L*_XsXef`Mk'q}wAsqkw _k^KW[M+htnkM:hRL*_XsXef`Mk®¯GIHfM%awKWZY[htefL*M+wPYtq}Y[a_kw L*_Vsfef`bM,u+q}hthtabM<W_8eXYq}w¡qkeXY[_8L%qBY[M<s awKWZY[htefL*M+wPYtq}Y[a_kw_}YtHfM rfh[_8khvq}L¯^Kq8WZadu+qk`b`U L\_XsXabUVabwK YtHfM rfht_kkhvq}L ^VUPY[M u _XsXM:WawW[eKuvHq IqU,Y[HKq}YRhtM+`M+nBq}wPYRM+L*aWtW[ab_8wKW4a``)^DM*WZM:w8YY[_,Y[HfM\aw8YtM+hvu _8wfwfM:u Y[a_kw L*_XsXef`Mk>HfaduvH aw Ytefhtw a`b` htM YthtqkwKW[L\abYoYtHfM:W[M4M:nkM+wPYvWY[_Y[HfMR_k^AWZM:h[n8M+hoL*_XsXef`Mk®GIHfM_k^KW[M+htnkM:hoL*_Vsfef`bMab``>uvHfM:uv\_kh nBq}`asXabYlU _k ±§ K B ª Krfht_krDM+h[Y[aM:W:® lsXM<q}``bU8BY[M<uvHfwfadcPefM:W)_8h)htM:sfeKu awfRrfh[_8khvq}L q}wAq}`UVW[adW _Bn8M+htHfM:q8srfhtM:W[M+wPY[M<s aw YtHfadWhtM+rD_kh[Y_keK`sWZM:h[n8MqkWR^Kq8WZadW]Yt_,M:wfHKqkwKu MY[HfM*htefwPY[aL\M\nkM:h[ab°Au:qBY[a_kw`dq}^D_khsX_8wfM/^VU 5*787 7
(32) ±® G _Yt_P_8`W%u+`b_PWZM,Y[_ 5*787 7
(33) 4qkh[2M 5*78*7< B7 , £ \ ( #B¥K¥ B¥A §v§q}wAs ! ( 8 ÌL© ,aw k -]qkwK#s "%$7'&(*) ,,+ ,- ±§ ª¬ ( .
(34) 4 " V ! / };¥
(35) } ª P B¥ q}wA1s 0 *2\§
(36) k aw Ì*z -¬® 5*78*7< 7 W[M+rKqkhtq}Y[M:WL\_8wfabY[_khtawfYtq8WZRht_kL uvHfM<uvPawfYvqkW[>® GIHfadW W[M+rAq}hvqBY[a_kwL%qkkM:W 5*78*7< B7 q}w M+VY[M+wAWZa^f`M,_8rAM:w q}hvuvHfabY[M<u¬Y[eKh[M8® 4wf`ab8 M 5*787 7
(37) ±ab3w "%$74&*)+orfht_krDM+h[Y[aM:W Yvq}htkM+Y_8hRn8M+hta °Du+qBYtab_8wqkh[M\M XrfhtM:WtWZM<s q8WRu+_kwKWZY[hvq}awPYtW:®/GIHVeKW:F_khM+fq}L*rf`Mk>_khYtHfM*rfht_k^f`M+L _k YtHfMsXabnVadWZa_kw _}FYl_aw8YtM+8M+hvW %q}wK6s 5DVUVaM+`dsXabwK/qcPef_kY[aM+wPY 7*qkwKsqhtM+L*awKsXM:h T>PYl _/u _kwAWlYthtqkabwPYtW u:q}w^AMsfM °KwfM<s T98:5,qkwKs K<;4='>;R@? TBA A® DC9'}¥ B¥ q}wAs ( E- "
(38) 8§v§ ªabw irKh[M<WZM:w8Yqkw qk^KWZY[hvqku¬Ytab_8wX ^KqkW[M:s L\M+Y[Hf_XsY[_awXM:h`b_V_8r awVnBq}htaqkw8YvW+®)GIHfM+U*awXM+h `b_V_8rabwVnBq}htadq}wPYtW'_8hin8M+hta UVawfrfht_k8htqkL*W)YtHKqBYL%q}wfarfef`dqBYtM4efwV^D_kefwKs%sKqBYtq W[eKuvHqkWq}hthtqUXW:® _V_kr awVnBq}htaqkw8YvW]_8hM:qkuvH`b_V_8rq}htM/u+_kL*rfeXYtM:s^VUabwPY[M:htq8u¬Ytabn8M/q}rKrfh[_XaL%qBY[a_kw ® GIHKMrfh[_8^f`M+L _k YtHfM+ah]q}rfrKh[_PqkuvH adWIYtHKqBYYtHfM+U,h[M<c8eKabhtMabwf8M+wVefabYlUaw,°AwKsXawf*Y[HfMawfabY[adq}`rKh[_8rAM:hZYlU _8ha YtM+hvqBYtabn8MRqkrfrfht_VaL%qBYtab_8w® F" v *¨v§ q}wK# s GHC ª "
(39) 8§ aw *~ irKh[_8rA_PWZM*qL\M+Y[Hf_XsY[_M:wX_khvu M\Ythtq8u M\rfh[_8rAM:hZYtabM<W+®%GIHfM rKh[_8khvq}L*L*M+hW[rAM<u ab°KM:WY[HfM,rfh[_8rAM:hZYlJU I WZM:rKq}hvqBYtM+`U ht_kL Y[HfM,rfh[_8khvq}L L KD)q}wKs q ±YthtqkwKWZ_khtL\M:h ! Yvq}8M:EW I q}wAMs K qkwKsrfh[_XsXeAu M:Wqkwf_}YtHfM+hM:cPefanBq}`M+wPYrfht_kkhvq}L YtHKqBYWtqBYtaWZ°KM:WYtHfM%rfht_krDM+h[YlUk®/GIHKM+U _8wf`Uu _8wKWZadsXM:hoW[q}M YlUrfht_krDM+h[Y[aM:W:® =4wqksXnBqkw8Yvq}8M _kAYtHfM _8h[rKh[M<WZM:w8YtM:s/abw\YtHfaWih[M:rA_8hZYadW)Y[HKq}Yo M u+_kwKW[adsXM+hRwf_}Y jleKWZ%Y Zrf`dq}aw !M+n8M+wPYtW:>^feXYq}`dW[_nBq}`efM:WR_} nqkh[adq}^K`bM<W4q}wAs W[UPL/^A_8`baduu+_kwKWZY[hvq}awPYtW_BnkM:h YtHfM:W[MnBq}htaqk^f`bM<W+® · N 0 ³ 1i· 3 GIHfM/htM:WZY_kY[HfM\htM+rD_kh[YadWRWZY[hteKu Y[efhtM:s q8W]_8`b`_B]W:®NVM<u¬Ytab_8w _8hZ / 0 ³ ³ + O L%qk`ba &+M<W)Y[HfMrfht_k^K`bM:Lx_}>h[M:L*_BnPawfReKW[M+`M:WtW'M+L*aWtW[ab_8wKW'HfM+w*awKWZY[htefL*M+wPY[awfqrfht_kkhvq}L¯® NXM:u¬Ytab_8w*{ awPY[ht_XsXeKu M<W4W[UVL^D_k`auM+VM<u eXYtab_8w _}rfht_k8htqkL%W+® lsXM:q8W]rfhtM:W[M+wPYtM:s¯aw¯Y[HfadWW[M:u Y[a_kwrfht_BnVasfMq*Y[HfM:_} htM Ytau:q}`F^Kq8WZadW_khq*^AM+YZY[M:h]efwKsfM+hvWlYvq}wKsXawf*_}W[ef^KW[M:cPefM+wPY4W[M:u Y[a_kwKW:® NVM<u¬Y[a_kw~\kankM<Wq}w¯_BnkM:h[nVaM+ _kiYtHfMWZUVL/^A_8`badu\M XM:u+eXY[a_kwhtqkL*M+_khtaw 5 A® NVM:u Y[a_kw ¯rfh[M<WZM:wPYtWRHf_BL*_XsXM:`ouvHfM:uvVawf,abY[H W[UVL^D_k`au]h[M<qkW[_kwfawfu+qkw%^AMeKWZM<s*Y[_/WZHf_B¤YtHfM4M+VadWZY[M+wAu M]_keKWZM:`bM<W[WoM+L*aWtW[ab_8wKWo_krfh[_8khvq}L%W'abY[HX _8eXY4`_V_krKW:®4NVM:u Y[a_kw z*M+VY[M+wAsfWNVM<u¬Ytab_8w %Y[_,u _kwAWZadsXM+h4`b_V_krAW+®]K_kh4`_V_krKW:K_8wfML/eKWlYRu _kwAWZadsXM+h4Y[HfM VV. ÆWIXYZ[.
(40) |. %¨+£¦¥K£¦¥ © %¨t Ë£*§L V§ ¿£Í }¥ B ¥
(41) %
(42) 8§ K§ }£¦¥ a 0. b 1. 2 a. ) ab8efhtM\ H=]eXYt_kL%qBYt_kw,_kh<K R htM:W[rDM:u¬Ytabn8MabwVnBq}htaqkwPYtW:®iNVM:u Y[a_kw|%WZHK_B]W HK_B YtHfM _8h[ abw NVM<u¬Y[a_kwAW q}wKsz\u+qkw¯^AMu:q}hth[aM:s,_keXY L*_XsXef`dq}ht`Uk® q8WlYt`bU8KNVM:u Y[a_kw1\u _kwAu `eKsXM:W:® *]$ )
(43) B . &¯
(44) . 3 . HKM+wh[efwKwfabwKKqrfht_kkhvq}L kM:wfM+hvqBYtM:WRM+n8M+wPYtW4Y[HAqBYu+qkwrfht_XsXeKu+M\uvHKqkwfkM<W4awY[HfM%u eKh[htM+wPYWlYvqBY[M _k YtHfM_8^KWZM:h[n8M+h<6® M qkh[M*awPY[M+htM:WZY[M<sabw°KwfM+Å8htqkabwKM:sL\_8wfabY[_khtawfK)WZ_q}wVUuvHKq}wf8M*_}qWZrDM:u+a °Au nBqk`befM_kqnqkh[adq}^K`bM]u:q}w%rD_}Y[M:wPY[adq}``bU\q +>M:u¬YiY[HfM4W[M+L%qkw8Ytau:W_}H ,Y[HfM4u+efhth[M:w8YiWZYtq}Y[M]_k -)YtHfM]_k^AWZM:h[n8M+h<® 4M+wKu+Mk8_khiY[HKq}Y L*_kwfabY[_8h[awfadWoM +DM<u¬Y[ankM8PqkwVU/nBq}htadq}^f`MabwY[HfM]rKh[_8khvq}LL/eKWZYi^AM4Y[hvqkuv8M:sFPq}wKs*abYtW nBqk`befMRYthtqkwKWZL*abYZYtM:s,Y[_\Y[HKM_k^KW[M+htnkM:h Hf_%eK` YtabL%qBYtM+`U a`b`uvHKM:uv%YtHfMrfht_krDM+h[YlUk® G _ qkuvHfaM+n8M%q}w M +>M:u Y[ankM*Y[hvqkuvVawfK M*awKWlYth[eKL\M:wPYrfht_kkhvq}L%Wabw¡W[eKuvH qqU Y[HKq}YM+L*adW[W[ab_8w WZYtq}Y[M:L\M:wPYtWqkh[Mq8sfsXM:saw Y[Hf_PWZMu+_XsXMrKqkhZYvWHfM+htM ,rD_}YtM+wPY[adq}` -L*_XsXab°Au+q}Y[a_kwKW_knqkh[adq}^K`bM<Wq}htM rKh[_XsXeKu+M:sF®GIHfM<WZMM:L*aWtWZa_kwWlYvqBYtM+L*M+wPYtWY[hvq}wKW[L*a YIY[HKMu efhth[M:wPYInBqk`befM_k YtHfMabwVnk_8`bn8M:s,nBq}htaqk^f`bM<W+® moL*adW[W[a_kwKW\q}htM ZM XrAM:wKW[abn8M !¬)W[_ HKqnVawf L%q}wVU_}Y[HKM+Lab``Iq +>M:u¬Y/Y[HfM,rAM:hZ_8h[L%qkwKu M_kY[HfM HK_k`MrKh[_8khvq}L aw\M+XM:u efY[a_kw®'GIHVeKW+k MadWZH/Y[_htM+L*_Bn8Mq8W'L*qkwVUeKW[M+`M:WtW'M+L*aWtW[ab_8wKWqkW'rD_8WtWZa^f`Mk® WZM:`bM<W[W M+L*adW[W[ab_8wKWq}htMY[Hf_PWZM Y[HKq}YhtM+Pq}hvsX`bM<W[W*_kY[HKM Y[hvq}wAWZL*abYZY[M<s nBq}`efM:W,a`b`Rwf_}YL%q}kM Y[HfM _8^KW[M+htnkM+h Y[hvq}wAWZabY[a_kw® G _^DMY[hvqkuv8M:sFXawKWZY[hteKu¬Ytab_8wKWLeAWlY4^DM8abn8M+w`b_Xu+q}Y[a_kwKW:® GIHAqBYqk`b`_B]WI_kwfMYt_htM M+htM+wAu MRY[Hf_PWZM eAWZM:`bM<W[W abwAWlYth[eKu Y[a_kwKW:®GIHfadWIL*qkrfrfawf\aWrD_8WtWZa^f`M_8wf`bU%HKM+w rKh[_8khvq}L%WisX_\wf_kYIu+_kwPYtqkabwfawf\`b_V_8rKW+® K_kh rfh[_8khvq}Lu _kwPYvq}awfabwK`b_V_8rKW+8a YIadWowf_kY rD_8WtWZa^f`M]Y[_\sXM:u+asfM4aw qksXnBqkwKu M]HK_B¤L%qkwPU/Y[aL*M:W a YIa`b` abY[M:htq}Y[MW[abwKu+MRY[HKq}Y]ab``Fh[M<cPefabhtMnBq}htaqk^f`bM<W Y[_*^AMnBqk`befM<s,qk`bhtM:q8sXUk®K_kh`_P_8r,rKh[_8khvq}L%W+Vq*sXa +DM:h[M:w8Y htM:q8WZ_8wfawfL/eKWlY]^DMsX_8wfMqkWIrfhtM:W[M+wPY[M<s aw NVM:u Y[a_kwzX® GIHfMhtM:WZY_})Y[HfadWW[M:u¬Ytab_8wsXM °KwKM:WIrfhtM:u+aW[M+`U%Y[HKMWZM:L*qkwPY[adu+W_})Y[HfM_8^KW[M+htnkM+h<® :+ )} · ¸ 1 · B + · 8X · 3 goht_k8htqkL%Wu _keKw8Yo_82 w ,rfht_k8htqkL - `_Xu+qBYtab_8wKW:® M]u+qk`b` K RRYtHfMrfht_kkhvq}L¹awKWZY[hteKu¬Ytab_8w_Xu:u efhth[awf*qBY`_Vu:qBYtab_8w X® ±wYtHfMrKh[_8khvq}L ^DM+`_BAL*M+Y[Hf_Xs EsXM:u+`qkh[M<W4qW[_k`MnBq}htaqk^f`bM ,HfaduvHadWY[HKM+w awKu htM:q8WZM<s,_kefh YtabL*M<W+® _Xu+qBYtab_8wKW]HAqnkM^DM+M:wq8sfsXM<s aw8Yt_ YtHfM\rfh[_8khvq}L qkWu _8L*L\M:wPYtW # K Q R*L%q}kM<Wqk`b`eKW[ab_8wY[_ YtHfMabwKWZY[hteKu Y[a_kw sfM:u `dq}htawf YtHfM¯nqkh[adq}^K`bM Dq}wKs WZeAu+u M<W[W[ankM awKWZY[hteKu¬Ytab_8wKW/abwKu+h[M<qkW[abwK nBq}htaqk^f`M qkh[MhtM M:h[M:wKu M<sqkW K*O RYt_ K RP®]GIHKMWZM+Y_korfh[_8khvq}L awKWZY[hteKu¬Ytab_8wKW]adWRu+q}``M:s VDqkwKsY[HKM/W[M Y_k rKh[_8khvq}L¹`b_Xu:qBY[a_kwAW A® . . .
(45) . . . . . . A . A. . . E KR"!. # » $V #&%.
(46) *¨+£¦¥K£¦¥© %¨v Ë£*§ P§ ¿£Í }¥ B ¥
(47) %
(48) 8§ K§ }£¦¥ Q. A 9 A T. . *E KR. O ??. ??. ?? . ?? .
(49). . . :+ ³ :X · 3 goht_kkhvq}L%WFqkh[M'awKWlYth[eKL\M:wPY[M:sR^VUq8sfsXawf]q}wM:L\adWtWZa_kwWZYtqBYtM+L*M+wPY ! q}¦Y[M:h4M:q8uvHabwAWlYth[eKu Y[a_kw K RVfHfM:h[M htM+rfhtM:W[M+wPYtWY[ HfM\WZM+Y_}onBqkh[adq}^f`M:W]abwVnk_8`bn8M:sawY[HfM/M XM u+ eXY[a_kw_}YtHKqBYabwAWlYth[eKu Y[a_kw®GIHKMM+L*adW[W[a_kw" !4W[M+wAsfW]YtHfM*_k^KW[M+htnkM:h]M:q8uvH nBq}htaqk^f`Maw Yt_k8M Y[HKM+habY[H¯a YvWnBq}`efMk® #%$A³ D³ )³ BX · 3 HKM+w¯M XM:u+eXY[awf\rfht_kkhvq}L%W:8M:nkM:w8YvWIq}htM8M+wfM:htq}Y[M:s HfaduvHu:q}w L%qkkMRY[HfM _8^KW[M+htnkM+hIYthtqkwKW[a Ytab_8w ® M\sXM °KwKMM+n8M+wPYtW4kM+wKM+hvqBY[M<s^PUrfht_k8htqkL*Wq8W]HKqnVawf*Y[HKM^fawKq}htU,htM+`dqBYtab_8w YlUVrD'M &)(+*-,/. =0,1/^AM+Yl M:M+w¯nBq}htaqk^f`bM< W 2TqkwKs,nqk`beKM:3W 2 KXa YtH,YtHfMaw8YtefabY[ankML*M:q}wKabwf Za )_kwfM adWawPY[M:h[M<WlYtM:s¤abw M+nkM:wPYtWq8WsXM:Wtu hta^AM<s ^PU Y[HKM ^fawKq}htU _8rAM:htq}Y[_8h FFq}wAs¤Y[HfMM XM:u+eXY[a_kw _}qkw awKWZY[hteKu¬Ytab_8w L%qkkM:W\nBq}htadq}^f`M kM YvW*nBq}`efM DiY[HfM:w¤Y[HfM¯M+n8M+wPYqkW%sXM<W[u+h[a^DM:s¡^VU "F9K4 R5*IqkW rKh[_XsXeKu+M:s,^VU%Y[HfMM+XM:u efY[a_kw_})Y[HKq}Y]abwKWZY[hteKu Y[a_kw !¬® GIHfM%M:nkM:w8Y8M+wfM:htq}Y[a_kw htM+`dqBYtab_8"w &/6/87:9 ; =&(1RqkWtWZ_Xu+aq}Y[M:Wq`_Vu:qBYtab_8w abY[HY[HfMW[M Y _k]M+n8M+wPYtWY[HfM,abwKWZY[hteKu Y[a_kw q}Y/`_Vu:qBYtab_8w a < W\q}^f`MYt_ rfht_XsXeKu+Mk® K_kh_8efhrKh[_8khvq}L¯ YtHfM M:nkM:w8Y 8M+wfM:htq}Y[a_kw¤h[M:`q}Y[a_k?w > A sXM:rAM:wKsfW_8w¤Y[HfMnqk`beKM¯Ytq}8M+w ^VU aw a YvW sXM<u `dq}hvqBYtab_8w:® HfM:w Y[HKaW awfabY[adq}` nqk`beKMaWff_8wfMkM+Yt@W &/6/ACB/DFEG*HB/ 1&/6/JID=EK*LI¬M&6/ACN/O=EP*0N/¬1&/6/ACQ/DFEP*RQ/ Aq}wAs &/6/A=SDFEP*?SUT}® V%) ³ $A³ 3 M_kwf`U u _8wKWZadsXM:h\WtqBM+YlU rfh[_8rAM:hZYtabM<W+8abn8M+w q8WhtM+8ef`dq}hM+Xrfh[M<W[W[a_kwKW/_BnkM:hM+n8M+wPYtW Ythtq8uvkM<s ^VUY[HfM_8^KW[M+htnkM+h<® efMYt_¯Y[HfM,h[M:`q}Y[a_kw ^DM YlM+M+w htM+8ef`qkhM XrfhtM:WtWZa_kwAWq}wKs°KwKa YtM ±WlYvqBY[M qkeXY[_8L%qBYtq/MuvHK_8W[MYtHfadW`q8WlY]q8Wq/L*_XsXM:`F_khIYtHfM_k^KW[M+htnkM:h:® GIHfM_8^KW[M+htnkM+h'adW'h[M:rfhtM:W[M+wPY[M<s^VUYtHfM]q}eXYt_kL%qBYt_kKw WL*LXZY ;[U&Z\]Z^(t8HfM+ht`M _adW)Y[HfM]W[M Yo_k WZYtq}Y[M<W'_}KYtHfM]q}efY[_kL%q}Y[_kw b aabYtWW[M Yo_}A°KwKqk`KWlYvqBYtM:W: ;[iabYtWawfabY[adq}`fWZYtqBYtMk) >a YvWq}`rfHKqk^AM+Y ,_}DM+n8M+wPYt W -¬ qkwKcs \G7KX =H& X*abYtW4Y[hvq}wAWZabY[a_kw¯htM+`dqBY[a_kw ®IKefh[Y[HfM:h:AabwKWZY[hteKu Y[a_kwKWawYtHfMrfht_k8htqkL kM:wfM+hvqBYtM q,WZrDM:u Y[htefL _}iM:nkM:w8YvW]YtHKqBYWZHK_kef`ds ^DM/L%qkrfrAM<saw8Yt_,_khvsfWqkWefwKsXM:htWZY[_V_Xs^VUY[HfM*q}eXYt_kL%qBYt_kw® 4M+wKu+Mkq8sfsXabY[a_kwKqk`b`UkDY[HKM\qkeXY[_8L*q}Y[_8dw W2adWRrfht_BnPadsXM<sa YtHq efwKu Y[a_kdw ^(e7:&( &sX_8abwf,Y[HKaW L%qkrfrfawfK® GIHfM¯q}efY[_kL%q}Y[_kw _k^KW[M+htnkM:habw¤)ab8efh[M,adW\sXM+htabn8M:s ht_kLYtHfM¯h[M:kef`dq}hrKh[_8rAM:hZYlPU K R Biq}wAs abYtW*qk`brfHAq}^DM Y*_}4M:nkM+wPYvGW > adW/Y[HfM¯W[M gY f h4 i8® G hvq}wKW[abY[a_kwKW_kh*M+n8M+wPYtW/_}YtHfM+h\YtHKq}w q}wKs q}htM eKwKsXM °AwfM:s S £ ¦ § 'YtHfM+U¡qkh[M W[efrfrD_8W[M:s Y[_^AMk_8abwf Y[_qu M:hZYvq}aw Y[hvq}rfrKabwfWlYvqBY[M8® = L%q}rfrKabwf htM+`dqBYtab_8"w jF _8hY[HKaW/q}eXYt_kL%qBYt_kwL\akHPY< _8habwKWZYtqkwKu M8)q8W[W[_Xu adqBYtM A O*aw Y[HfM%rfht_k8htqkL aw8Yt_¯Y[HfM M:nkM:w8Y *awY[HfM_8^KW[M+htnkM+h #P`bakM:aW[M A awPY[_ F® kUl ¼ZÆ mZ¼±ÎbÀ¬Á;¿o É nFp¼ n rÊ qrqs½Å¼'¾¿É¼ tÀ¬ÁÍp¼ mluÀ tIÎÀ¬Á¾ wÄ vq̼ÊÌÆ xy4ÆÀv¾ÅÄt¾ÅÊÌÀ¬'Æ z|{Z}~ÊÌƽ¿¾¿¼ZwÄ P » Àv¾ÅÊrml¼'¾¿ÉBÄt¾)½¿¼±¾Å½ ÄvÁ¿¼Fs½¿¾È<Á¿¼ÊrmZÄt¾¿¼Z½U}½ÅÀ3mÅɼm:ÊÌÆ %KgÊ̽¼UOsÊ vÄwq̼ZÆ ¾ ¾ÅÀ3mÅɼm:ÊÌÆ @=wZÂ. . . . . . . . . . . . . VV. ÆWIXYZ[. .
(50) %¨+£¦¥K£¦¥ © %¨t Ë£*§L V§ ¿£Í }¥ B ¥
(51) %
(52) 8§ K§ }£¦¥ . ³ ¡ k 3 MsXM+°KwfM,Yl _h[M:`q}Y[a_kwKW/_kw¤q}w¤q}eXYt_kL%qBYt_kw W AKu_p4Ua4 ; [ 4>4Z\4UjF RV® GIHfMh[M<qku¬ Ytab_8w htM+`dqBYtab_8w 1 7:9:= X & Ih[M:`q}Y[M<W\q`_Xu+qBYtab_8w aw¤Y[HfM¯rfht_k8htqkLq}wKs¤q WlYvqBY[M 7¡abw¤Y[HKM¯Y[HfM qkeXY[_8L*q}Y[_8w abY[H¤Y[HKM WZM+Y*_kRM:nkM:w8YvW8
(53) 0&/6/A _kh%HfaduvH \ ;|J /* ;D® pM+`dqB Ytab_8 w )> 7!9:= X ) & adW\sfM °KwfM<s q8WYtHfMDC A u _kL*rf`M+L*M:w8Y*htM+`dqBY[a_kw '_kefwKs HfM:w u+_kwKW[adsXM+htabwK/M:`bM:L\M:wPYt@W
(54) 0&6/A 1_8hHfaduvH \ ;Mw /* ;%_8h@\ ;|J / adW X¥;
(55) k§o¥>§
(56) B® Dnqkh[adq}^K`bM aW)awfa Ytaqk`ba &+M<sYt_RK}q}wKsY[HfMWtq}L*MiL%q}rKrfabwK%jFqkW'q}^D_BnkM aW)8abn8M+w<Y[HKMIqkeXY[_8L%qBY[_8w a``fh[M<qku SY ,Y[hvq}wKW[abY[a_kw -)abY[H%M:nkM+wPY M<qkuvH/Y[aL*MIY[HfM4u+efhth[M:w8YoWZYtq}Y[M_}DY[HKM]q}eXYt_kL%qBYt_kw\aWi{qkwKs/Y[HfM rKh[_8khvq}LadWiq}Y `_Xu+qBYtab_8w S DC AHK*O4 R K IRHf_8`sfW:® ±w u _8wPY[hvqkWZY:kwK_h[M<qku Y[a_kw%a`b`D^AMrfht_VsfeKu M<s HKM+w,Y[HfMqkeXY[_8L*q}Y[_8w,adW]qBY]WZYtq}Y[M*q}wKs,Y[HKMrfh[_8khvq}L qBY]`_Xu+q}Y[a_kw4 S A 5HKOA4O R K RHf_k`dsfW:® K_khq}wVU`_Vu:qBYtab_8Pw
(57) g9D}a K_khq}`` ;
(58) XRq}wKs_kh'q}`1`
(59) g&A >A 1 ; OC />Hf_8`sfW:BYtHfM+w\M+L*adW[W[ab_8w q}Y)`_Xu+q}Y[a_kw adW)eKWZM:`bM<W[W:® MIqkwPY Y[_RhtM+L*_BnkMq}``8YtHf_8W[MeKWZM:`bM<W[W M+L*adW[W[a_kwKW:® M rKh[_8rA_PWZMiY[HfMIeKW[M _k L*_XsXM:`VuvHKM:uvVabwKq}wAsW[UPL/^A_8`baduoM+XM:u efY[a_kwYt_RW[Hf_B YtHKqBY'efwKsXM:hu M+h[Ytqkabw/u _kwAsXa Ytab_8wKW Y[Hf_PWZMhtM+L*_BnBq}`dW qkh[MRrD_8WtWZa^f`Mk® \ 0 . . $
(60) GIHKaW'W[M:u¬Ytab_8wadW awPY[M:wKsXM:sY[_sXM:Wtu hta^AM Hf_B W[UPL/^A_8`baduoM+XM:u efY[a_kwu:q}w^DMeKWZM<sYt_rfht_BnkM u _khthtM:u¬YtwfM:WtW:® G _HKqn8Mq*ef``)sXM<W[u+h[arXYtab_8w_8w WZUVL/^A_8`baduM XM<u eXYtab_8w q}wKs¯abYtW]Y[HfM:_khtM Y[adu+qk`efwKsfM+ht`bUVawfhtM:W[ef` YvW+KY[HfM htM:q8sXM+hIadWIabwVnVabY[M:s,Yt_*u+_kwKW[ef`bY b{V<~Xf| ® / 0 4 ³ k · 3 lsfM:qkW)rfhtM:W[M+wPYtM:sawYtHfaWW[M:u Y[a_kwrKh[_BnVadsXM q4Y[HfM:_khtM Ytau:q}`P^KqkW[aW _kh'q^AM+YZY[M:h'efwKsXM:hZ WZYtqkwKsXawf*_})Y[HfM_khtu+qkh[htaM:s,_keXYawNXM:u¬Ytab_8wKW %q}wAs¯zf®iNVM:u Y[a_kw {X®WlYvq}h[YtWsXM<W[u+h[a^fawf*q%WZaL*rf`bM rKh[_8khvq}L WZUVwPYtq}_kwHfaduvH,MR_khtLef`dqBYtM`dqBYtM+hY[HfMu+_kwKu+M+rXY_k rfht_k8htqkL¹u+_khth[M<u¬YtwfM:WtW+®)GIHfadW]WZUVwX YvqB,qk`b`_B]W_kwfMRYt_\htabY[Mrfht_kkhvq}L%W abw6q 5*78*7< `ab8MRW[UVw8YvqBFfq}wAs,qk` YtHf_kef8HW[aL\rK`bM8Xa Y4u+_BnkM+hvW L\_PWlY aL*rA_8hZYvq}wPYu+_kwKWZY[hteKu Y[a_kwKWi MReKW[M4HfM:w,sXM+°Kwfawf\W[UVL^D_k`au4M XM:u+eXY[a_kw,q}wKs%rKh[_8khvq}L¹u _khthtM:u¬YtwfM:WtW:® NXM:u¬Ytab_8wKW*{X®Ì{q}wKs {X® ~abwPYth[_XsXeKu+M,W[UVL^D_k`au%M+XM:u efY[a_kw qkwKs¡W[Hf_B¹Hf_B a Y*u+qkw¡^AMeKW[M:s Yt_W[Hf_B rKh[_8khvq}L u+_khth[M<u¬YtwfM:WtW+® )abwAq}``bU¡{X® M+VY[M+wAsfWYtHfM¯wf_}Ytab_8w¡_}]rKh[_8khvq}Lu _khthtM:u¬YtwfM:WtWYt_ rfht_k8htqkL%W HAqnPawf\`b_V_8rKW+®. . . . . . !#"%$ &(')%*,+.-%/0/21#34*,+.-5/6'7#8:9;3<1>=@?BA ?DCEAF+.A?BGBA34*H'I". ) akefhtMR{abwPYth[_XsXeKu+M:WiY[HfMW[UPwPYvqB*_kh_kefhrfht_k8htqkL*W#}YtHfadW W[UVw8YvqB%adWsfM °KwfM<saw qB5787< `bakMRWZaL*rf`bM WZYlUV`bM84W[_¡L*_8WZY,_}Y[HfMu _kwAWlYth[eKu YtWq}wKs Y[HfM:abhL*M:q}wKabwfPW,qkh[M Íq}L*ab`adq}h_8h 5*787 rfht_k8htqkL\L*M:htW:® gih[_Xu M<sXefhtM:Wq}htMsXM:u+`qkh[M<s¯a YtH YtHfM\qkas _}Y[HKMkM:UV _8htsfWSFT "C "U TDC%qkwKs C "F #DabwAsXau:qBYtabwf Y[HfM ^DM+8abwq}wKs M:wKs _kY[HfMsXM:u+ `qkhtq}Y[a_kw® =¦YtM+h,Y[HfMkM:UP_khvs F T "C UTDCA Y[HfM & htM+rfhtM:W[M+wPYtWY[HfM rKh[_Xu M<sXefhtMwKqkL\Mq}wKHs 1} ª YtHfM,`adWlY*_}]rKqkhtqkL*M Y[M:htW:)® =WeAWZeKqk` aw 5*787<Å`akM rKh[_8khvq}L%W+'qB¦YtM+h sfM:u `dq}htawfY[HKM4rfht_Xu M:sfefh[MRWZakwAqBY[eKh[M8k_kwKM4k_VM<Wo_kwY[_YtHfMRnqkh[adq}^K`bM4sfM:u `dq}hvqBYtab_8wWZM<u¬Ytab_8Mw " KJ L ,ÍW[M+M htef`M_k.h M $"-¬Vq}wAs\Y[HfM:w_kwfMu _kwPYtabwVefM<Wohta YtabwfY[HfM]rKh[_Xu M<sXefhtM]WlYvqBYtM+L*M+wPYtWiHfaduvH sX_YtHfM]_khtD® GIHK_8W[MsfM:u `dq}htM:s,nBq}htaqk^f`M:WIq}htMM fu `eKW[abn8M+`U^A_8efwKsXM<s,Y[_\Y[HfNM M $/_k YtHfMrfht_Xu M:sfefh[M8®GIHfM+ahYlUVrAM O $u _Bn8M+hvW C %q}wKs ADCQPDC T>® R » Àv¾ÅrÊ ml¼¾¿ÉBÄtU¾ sÆ qÌrÊ ¬#¼ SUTUVWTÈÁÍuÀ ¬Á¿wÄ tZ½ n>¼ÎÀ¬FÁ ml¼¾¿É¼ ¼ mqËÄvÁÅÄt¾¿ÊÌÀ¬Æ\ÈBÄvÁ¾o¾Å%À v}¼IÈ qËwÄ ml¼ \Ät¾¾¿É3¼ v}¼ ¬ÊÌÆÆÊÌÆ RÀvÎ>¾ÅÉ<¼ t¼l¾¿ÉOÀ P . . . # » $V #&%.
(61) *¨+£¦¥K£¦¥© %¨v Ë£*§ P§ ¿£Í }¥ B ¥
(62) %
(63) 8§ K§ }£¦¥ ;J . M. . " ". $. J . F T C U TDC & KO 1 ) BR. ". . KJ . . . ". . A E A AEA. . . F. . . ) ) & .
(64) . ;J& 8 . . $ C . O $'. TDC
(65) 7 K ). C . . . J J " KJ J. M. ". . . Bª. . ) ) . . 7% A4. & . . . K .
(66) . . . ;J & 8 . . & K / & R TDC AUT9K R. . M. . CK* IR. . R. $SC C. M. . M. . $. . $. . TDC AUT. ) ab8efhtM{DoNVabL*rf`M 5*78*7/aL\rDM+hvqBYtabn8M`qkwfkeKqkkM GIHfM M $_}>YtHfM4rfht_Xu M<sXefhtM]aW u _8L\rD_8W[M:s*_kqWZM<cPefM+wKu+M]_} WZYtq}Y[M:L\M:wPYtW HfauvH,u+q}w*Yvq}8M YtHfMWZHAq}rDMR_k'q/nBq}htaqk^f`MRq8W[W[ab8wfL*M+wPY:fqkw %WZYtq}Y[M+L*M:w8Y<fq ! C/`b_V_kr fq/rKh[_Xu M<sXefhtMawVnk_Xu+q}Y[a_kw q\rfht_Xu M<sXefhtMhtM Ytefh[wWZYtq}Y[M+L*M:w8Y<X_kh]W[abL*rf`U q%W[VabrabwAWlYth[eKu Y[a_kw >!sX_8abwf*wf_kY[HfawfA® =4w¯q8W[W[akwfL*M+wPY]W[eKuvHq8W 7 @ A6 q8W[W[akwKWYtHfMnBq}`efM,_}IY[HfM,M XrfhtM:WtWZa_k:w Yt_Y[HfM,nBq}htaqk^f`bM 7 Å® moVrKh[M<W[W[ab_8wKWqkh[M*_8h[L*M:s abY[H YtHfM*HfM+`r_}oYtHfM*eKWZeAq}`^fawKq}htU q}htabY[HfL*M Ytau/_krDM+hvqBYt_khvW ?D# "V# $ qkwK&s %K qkwKsYtHfM*efwKq}htU q}htabY[HfL*M Ytau _8rAM:htq}Y[_8'h "#fqkwK(s 7 adWq*nqkh[adq}^K`bMsXM:u+`qkh[M<s awY[HfMWtu _8rAM_k Y[HKMrfh[_Xu+M:sXefhtMHfM+htMeKW[M:sF® . VV. ÆWIXYZ[.
(67) <. %¨+£¦¥K£¦¥ © %¨t Ë£*§L V§ ¿£Í }¥ B ¥
(68) %
(69) 8§ K§ }£¦¥. _V_k`M:qkwM+Xrfh[M<W[W[a_kwKW* qkh[Mu+_kwKWZY[hteKu¬YtM:s,ht_kLY[HfM^D_V_k`M:qkw u _kwAWlYvq}wPYtWSATUIC%q}wAs CA qkwKs\ht_kL q}hta YtHfL*M Ytau4M XrfhtM:WtWZa_kwKWiu _kwKwfM:u Y[M:s^PU/Y[HKM4htM+`dqBY[a_kwAq}`K_8rAM:htq}Y[_8htWHAD AA 8K8ADMKV_khSMAA qkwKs Y[HfM`_k8au:q}`>_krDM+hvqBYt_khvW),Íq}wAsI-¬%,_kh-¬ ,wfM:8q}Y[a_kw -q}wAs'ADMG,ÍabL*rf`abM<W - ® =4w WZYtq}Y[M:L\M:wPY4WZeKuvH¯qkW . K< . M. R. . $ C C. M. . $ . M+XM:u efY[M:WIM:a YtHfM+h M $ _kh M $ sXM+rDM+wAsXabwK%_kwY[HfMYth[efY[Hnqk`beKM_} A® = C*WZYtq}Y[M:L\M:wPY CK * DR M $ M+XM:u efY[M:W M $\q8WIa Y]IqkWq*W[abwf8`bMawKWZY[hteKu¬Ytab_8w® = rfht_Xu M<sXefhtMRawVnk_Xu+q}Y[a_kw & K " 1 R u:q}eKW[M:WRYtHf Mrfht_Xu M<sXefhtM & ¯Yt_^AMawVnk_8kM:sabY[H rKq}hvq}L*M+Y[M+hvW /" & Ë®GIHPeAW+ Y[HfM%_8h[L%qk`orKq}hvq}L*M+ YtM+hvW / B )ª ¹abw Y[Hf M*sXM:u+`qkhtq}Y[a_kw¯_}iY[HfM/rfh[_Xu+M:sXefht6M & ¯q}htMh[M:rf`dqku M<s¯^VU,YtHf_8W[M/q8u¬YteKq}`)rKq}hvq}L*M+Y[M+hvW: £ ¦ § < & / B 1 ª . XeKW[abwK*Y[Hf%M Z^PU h[M+M+htM+wKu+M ! 5*787/u+_kwVnkM:wPY[a_kw® K_kh*u _kwVn8M+wfaM+wKu+MYtHfM,awfabY[adq}`InBq}`efM_}4qsXM:u+`qkh[M<s nBq}htaqk^f`bM _kh*q _8h[L%q}`rKqkhtqkL\M+Y[M:hadW\u+_kwX WZY[hteKu Y[M:s*abY[H*YtHfM]HfM:`br%_k>Y[HfM_krDM+hvqBY[_8h F T CA®)f_khiabwKWZYtqkwKu %M FTDCK RI_kh W[_kL*MrKqkhtqkL*M Y[M:h htM M:htW Yt_\Y[HfMnBq}`efM_k RjleKWZYq}¦Y[M+hIYtHfMawPn8_Xu+qBYtab_8w _k Y[HKMrfh[_Xu+M:sXefhtMk® = htM Ytefh[w¯WZYtqBYtM+L*M+wPY TDC AUT9K R u:q}eKW[M:WY[HfM abwVn8_kkM<sRrfh[_Xu+M:sXefhtMYt_4htM Y[eKh[wabY[HY[HfM M XrfhtM:WtWZa_kw Iq8WnBq}`efMk® HfM+w/wf_4M+Xrfh[M<W[W[a_kw aWIrKh[_BnVadsXM:sF8Y[HKMRrKh[_Xu M<sXefhtMijleAWlYhtM Y[eKh[wKW ht_kL¹YtHfMabwVnk_Xu:qBY[a_kw ®)GIHfM:h[MRM XadWlYvWIq\W[_k`M TDC AU T) WZYtq}Y[M:L\M:wPY_8hM:q8uvH,rfht_Xu M<sXefhtMkXHfaduvHu:q}w^AMrK`q8u M:sqBY4qkwVUrf`dqku MawY[HfMrfht_Xu M<sXefhtMk® · B · ³ k )³ : 3 GIHfMadsXM:q_}Rrfht_kkhvq}L u+_khth[M<u¬YtwfM:WtWL%qkkM:W%qk`b`eKW[ab_8w Yt_Y[HfMrfht_krDM+h lefwKu Y[a_kwKqk` !^AM:HKqnVab_8h_}oq*rfht_k8htqkL>£ ¦ § Y[_*YtHfMawfrfeXY[Å_8eXY[rKeXY4^DM+HKqnVa_kh<® ]M:wKu M8K_kwKMwfM+M<sfWIY[_ u+_kefwPY_8wq¯L*M:qkwKWYt_ q}wfwf_kYtq}Y[M*HKqBYYtHfMawfrfeXYvWqkwKs_keXYtrfeXYtW_khqrfht_Xu M:sfefh[Mqkh[M*M+VrDM:u Y[M<s Yt_ ^DMk®GIHfM<WZM*q}wKwf_}YvqBY[a_kwAWu+_kwKWZY[hvq}awPY]Y[HfM/efwKu Y[a_kwKqk`'^AM:HKqnVab_8h_kY[HfM*rfht_Xu M:sfefh[M8®RK_khWlYvqBYtabwf awfrfefYtW:f Mu+_kefwPY_kwq}wKwf_}YvqBY[a_kwAW _k YtHfMR_khtLG . . .
(70) . . U"E C :. HKauvH/aW)q}wfwK_}Ytq}Y[M<sqBY Y[HfM^DM+kawfwfawfR_}fYtHfMrfh[_Xu+M:sXefhtMkBqkwKsL%q}8M:WY[_RHf_8`sefrA_8wrfht_Xu M<sXefhtM M:wPY[htUk® wf_ U E C qkwfwf_kYtqBYtab_8w aW rfh[_BnVadsXM:s¤_8h%Y[HKM rfht_Xu M:sfefh[M8Y[HfM U"E C ATUICh\awfrfeXY qkwfwf_kYtqBYtab_8w adWRq8W[W[efL*M:s® ±wfrfeXYqkwfwf_}YvqBYtab_8wKWqkh[M\rf`dqku+M:s aL*L*M:sXadqBYtM+`U qB¦Y[M:hRY[HfM%W[ab8wKqBYtefh[M/_} q rKh[_Xu M<sXefhtMRsfM:u `dq}hvqBYtab_8w®fefh[Y[HKM+h<V_kh_kefY[rfeXY]^DM+HAqnPa_khIMu _keKw8Y]_8wqkwfwf_kYtqBYtab_8wKW_})Y[HfM_8h[GL . . . C TA6:. HKauvH¯Íqkab`dWabY[HfM^D_V_k`M:qkwM XrfhtM:WtWZa_kw *u+qkwfwf_}Y]^DMM<WlYvq}^f`adWZHfM<sHfM+wM:wKu _8efwPY[M+htM:s®!eXYtrfeXY qkwfwf_kYtqBYtab_8wKWIq}htMrf`q8u M<s aL*L\M<sXadqBY[M:`bU,^AM+_khtMRY[HfMrfht_Xu M<sXefhtMJTDC AUTWZYtqBYtM+L*M+wPY<® # » $V #&%.
(71) *¨+£¦¥K£¦¥© %¨v Ë£*§ P§ ¿£Í }¥ B ¥
(72) %
(73) 8§ K§ }£¦¥. 8. M+`_B_kw Y[HfM`M ¦Y%WZadsXMki M¯sXM:u+`qkh[M,q rfht_Xu M<sXefhtMY[HAqBY%u+q}`du eK`q}Y[M:WY[HKMqk^KWZ_8`befY[M nBqk`befM _kh ¡q nqkh[adq}^K`bM >®P= °AhtWZY,u+qkwKsXadsfqBYtM_kh,rfht_Vu+M:sXeKh[M_8eXY[rfefY,_kef`ds ^AM 5 MA:Q HfaduvH W[qUXW*YtHKqBY htM+Pq}hvsX`M:WtW]_}iY[HfM*nBq}`efM*_} >>YtHfM*nqk`beKM/htM Ytefh[wKM:s^PU¯YtHfM*rfht_Vu+M:sXeKh[M 2 UICab``oq}`qUXW^AM wK_kw\wfM+PqBY[ankM8® Mu+q}w\_krfY[a_kwKqk`b`Uqksfs/_}YtHfM+h'_8eXY[rfefYtW'Yt_q8uvHfaM+nkMqRL\_8h[MIu _8L*rf`bM+Y[MW[rAM<u ab°Au+q}Y[a_kw® K_kh/M fq}L*rf`Mk'_kwKM,u _8ef`ds L*qkkMM+Xrf`badu abYYtHfM awPY[M:w8Ytab_8w¡_}]wK_}YL*_XsXabUPawf Y[HfMrKq}hvq}L*M+Y[M+h ^VU qkwfwf_kYtqBYtabwKY[HKMR_8eXY[rKeXY 3A F TDCK;RV8_kh Y[HKq}YYtHfMRnqk`beKMhtM Ytefh[wKM:s^VU*YtHfMrKh[_Xu M<sXefhtMa``D^DMRY[HfM rAq}hvq}L*M YtM+hRa YvWZM:` i_8ha YvWwKM+8q}Y[a_kw'£ ¦ § JK 53A4F TDC K R 59A "F TDCK RRV®GIHfM*htab8HPYRW[asXM\_} Y[HfM °AkefhtM^AM:`b_B WZHf_B]W YtHfM 2 UDCrfht_Xu M:sfefh[MabY[Hq}wKwf_}YvqBY[a_kwAW+® . O<F T"C U TDC . C . K 98:Q. . . . F T"C U D T C 2 UICK R U E C LK ATUDC R. R. 2. UICK. ADCPDC T . TDC@5 R. . A! DC 5 C C 5. . TDC"AU T 5. A A. C . K 38:Q. R A! DC 5 A " C C 5 A " F T CK RR C"TA K 5BA F T CK R 53A B5 M A:Q 3A4F TDCK R TDC AUT 5. ". . ADCPDC T . TDC@5. . ±w¡_8efhrKh[M:nPa_keAWwf_kY[a_kw _}4u+_khth[M<u¬YtwfM:WtW M,HKqnkM%wK_}Y/awVnk_8`bn8M:sY[HfM,wf_}Ytab_8w¡_}IYtM+htL\awKq}Y[a_kw® Bª Å£ Hv Bª¬ªt§ Å¥D§ ©t©HKauvH awKsXadu+q}Y[M<W]YtHKqBYq%rfht_kkhvq}L ^DM+HAqnkM:W)rfht_krDM+ht`UM+nkM:h[UYtabL*MabY'Y[M+htL*abwAqBY[M<W #Pq}wKs ± v Bª¬ªt§ Å¥D§ ©t©IHfaduvH\q8sfsXabY[a_kwKqk`b`UawKsXadu+qBYtM:W YtHKqBYIYtHfMrfht_Vu+M:sXeKh[MY[M:h[L*awKqBYtM:W_khM:nkM:h[U%rD_8WtWZa^f`MabwfrKeXY:H® Mq}htMu _kwAu M+htwfM<sHfM:h[MabY[H¯rKq}h[Y[adq}` u+_khth[M<u¬YtwfM:WtWiHKM+wKu+Mwf_%q}wKqk`bUXW[aW_})Y[M:h[L*awKqBYtab_8w,adW]sX_8wfMabwYtHfMh[M<WlY_k Y[HKaW]W[M:u Y[a_kw® . !wKMHKqkW]Yl _ PawKs_kiu _8h[htM:u Y[wfM<W[W:®])abhvWlY<. !#"!. 7 *. ?D-%)
(74) /21#/ 2C#9)%?D8034' 3F* / 3 8.' ?B=E'E? F)U8 G +EA?DGBA34* ?BAA/ I9;8E/ ''I". = u _8h[htM:u Y[wfM<W[W rfh[_V_kLeKWZY,^DMq rfht_P_k_kh,M+nkM:h[U¤rD_8WtWZa^f`M awfrfeXY,S abw_kefh,M fq}L*rf`Mk]M:nkM:h[U rD_8WtW[ab^f`MabwPY[M:kM:h%nqk`beKM _8h S q}wKs¤q}``rD_8WtWZa^f`M,_8eXY[rfefYtW:® M<u+q}eAWZM,Y[HfM¯rD_8WtWZa^f`M¯nqk`beKM:W/_kh rKh[_Xu M<sXefhtMoawfrfeXYvW)qkwKs_8eXY[rfefYtW'q}htMoawkM:wfM+hvq}`8abwf°KwfabY[Mkk Mu+q}wKwf_}Y'qksX_8rXY)q ZW[ef^X rfht_P_k>!iq}rfrKh[_PqkuvH u+_kwKW[adWlYtabwfabw L%q}VabwKq rKh[_V_}_8h/M<qkuvH¡awfrfefYZ _keXYtrfeXY%rA_PW[W[a^f`bMu+q8WZM8®)±wKWZY[M<qksFi M,L\akHPY*_krXY _8hh[M<qkW[_kwfawfabwY[M:h[L%W_}IWZUVL/^A_8`badu\nqk`beKM:WR_khYtHfM*rfht_kkhvq}L nBq}htadq}^f`M:Wq}wAs YtHfM+wY[_¯htM:q8WZ_8w aw YtM+htL%W_ku+M+h[Ytq}aw u+qkW[M:W_8hYtHf_8W[M*kM:wfM+hvq}`)nBq}htaqk^f`bM<W+® YaWRYtHfadWRM:qBYtefhtM\HKauvHL%q}kM<WWZUVL^D_k`adu htM:q8WZ_8wfawfRqu+_kwVnkM:wfaM+wPY'Y[M:uvHKwfacPefMIYt_WZHK_B rfht_k8htqkLxu _khthtM:u¬YtwfM:WtW:® ±w\Y[HfM]_k``b_BawfKk MsXM<W[u+h[a^AM q u+_khth[M<u¬Y[wKM:WtWrfht_V_}_kh\Y[HfM qkwfwf_kYtqBYtM:s rfht_kkhvq} L 2 UIC eAWZawf WZUVL/^A_8`baduh[M<qkW[_kwfawfK'YtHfM+w _8h[L%qk`b`U4sXM+°KwfMoHKq}Y W[UPL/^A_8`badu'M XM<u eXYtab_8wR_kXrfh[_8khvq}L%W>u _8wKWlYth[eAu¬Y[M<sReKWZawfIYtHfMiW[UPwPYvqBaw)ab8efh[Mi{ WZYtqkwKsfW_8h:® K_kh]YtHfM/qkwfwf_kYtqBYtM:s¯n8M+hvWZa_kw¯_}'YtHfM 2 UIC\rfht_kkhvq}L¯fwK_}Y[adu MY[HKq}Y4Y[HKM ,WZYtq}Y[M:L\M:wPY4k_VM:W YtHfht_kef8H M:q8uvH _k abYtW^fhvq}wAuvHfM:WRsXM+rDM+wAsXabwK_kw HKM Y[HKM+h adWwfM+PqBYtabn8M/_8hRwK_}Y:B® HfM:whtM:q8WZ_8wfawf qk^A_8eXY 2 UDCAPabwAWlYtM:qks,_}'u _8wKWZadsXM:h[awf*M+n8M+htU%rA_PW[W[ab^K`bMnBq}`efMR_kh >fMu+q}w,Y[HKabwf,_})abwY[M:h[L%W _k]q WZUVL/^A_8`badu%nBq}`efM _kh >sXM:wf_}YtM:s D)q}wKsYtHfM+w¡sfaWZY[awfkeKaW[H Yl_rA_PW[W[ab^K`bM u:qkW[M:W M:a YtHfM+h . . . VV. ÆWIXYZ[.
(75) {. %¨+£¦¥K£¦¥ © %¨t Ë£*§L V§ ¿£Í }¥ B ¥
(76) %
(77) 8§ K§ }£¦¥. 8 Q_kh MA QA®)K_khiu+_kwVnkM:wfaM+wKu+MkkM]qkWtW[efL*MIY[HfM:h[M]M+XaWZYtWoqWZUVL^D_k`aduInqk`beKM _8H h 5>A£ ¦ § 5 ® 4_BX`bM+Y]eKWY[htUYt_%WZHf_BHfM YtHfM+h 2 UICaW]u+_khth[M<u¬Y<® £ ©+§ 8:QK® 98 QYtHfM]keAq}hvs/_k>Y[HfM /WlYvqBY[M:L*M+wPYia`b`AHf_k`ds%q}wKs/YtHfM%A! ICb*u `dq}eKW[Ma`b` ^DMRM XM:u+eXY[M<sFVHfM+wKu+M adWq8W[W[akwfM<s\Y[_/Y[HfMwfM+PqBY[ankMnBq}`efM4_k >A£¦§ " }®XGIHfMRM XM:u+eXY[a_kwrKh[_Xu M:M:sfW YtHfM+wYt_/YtHfM C TA%q}wfwK_}Ytq}Y[a_kwabw¯HfaduvH¯u+qkW[M MW[Hf_keK`s,^AMqk^f`MY[_%sXM:sfeKu M . . . . K ". . A. . "B A " R " . BA . MA Q. GIHKM°KhvWlYiqkwKs*`q8WlYu _kw}jlefwKu¬Ytab_8wKWoqkh[MIYth[anVaqk`b`U ATUICA®)NVHf_BawfYtHKqBY
(78) " MA QKD£¦§ 98 QKk_k``b_B]W ht_kL Y[HfMu:qkW[Mq8W[W[efL*rXYtab_8w® £ ©+§ MA QA®G±w YtHfaW/u+q8WZM%YtHfM C C¯^fhvq}wKuvH _kIY[HfM WlYvqBYtM+L*M+wPY/adWM+XM:u efY[M:s qkwKs ^DM:u+_kL*M:W >®fGIHfMrKh[_8khvq}L u _8h[htM:u Y[wfM<W[WadWY[HVeKWhtM:sXeAu M:s Y[_%rKh[_BnVawfI . K
(79) 3A. BA " R . MANQ. 3A . GIHKM¯°KhtWZY q}wAs `dqkWZY u _8wBjlefwKu Y[a_kwKW h[M<sXeKu+M,Yth[anVaqk`b`U¡Yt_ AT UICA®:=48q}awY[HKM WZM<u _kwAs¤u+_kwBjleKwKu¬Ytab_8w _8`b`_B]W h[_8L YtHfMu+qkW[MqkWtWZeKL\rfY[a_kw® 4_}Y[adu M/Y[HAqBY4YtHfadWrKh[_V_}iu:q}w ^DM/W[M+M:wq8W4q%7 `_k8aurKh[_V_}% ®GIHfM/q8sfsXM:s nBq}`efM/u+_kwKW[aWZYtW awY[HKq}Y:fHKM+w¯sX_kawf%WZUVL/^A_8`baduRh[M<qkW[_kwfawfKVnBq}htadq}^f`M:WIq}htMwf_}Y9 [qBY[YtqkuvHKM:s!4Yt_q*WZrDM:u+a °AunBqk`befM8® !#". 7 *. ?D-%)
(80) /21#/ 2C#9)%?D8 )%8 *,?BA/ /29;34)%- ". HKM+w¤M XM:u+eXY[awfqrfht_k8htqkLW[UVL^D_k`au:q}``bU8'Y[HfM¯M+VM<u eXYtab_8w 8_PM<WYtHfht_kef8H WZUVL/^A_8`badu,WZYtq}Y[M<W+® = [W UVL^D_k`au/WlYvqBYtM/adWq Y[eKrf`bM K
(81)
(82) ] F DR/u _kL*rD_8W[M:s_k W[UPL/^A_8`badunBqkh[adq}^f`M:W i_8hnBqkh[adq}^f`M:W [kq}wKs/qWZ_k u:q}``bM<sE <v B¥;
(83) }£ ¿£Í }¥ F X® GIHfMIrKq}Y[H*u _kwAsXa Ytab_8wadW'qRcPeKqkwPY[ab°KM+h[¿htM+M ^A_V_8`bM<q}w_8h[L/ef`dq _Bn8M+hYtHfM*WZUVL^D_k`aduawfrfeXYvW+FabYq8u+u+efLef`dqBYtM:Wu _kwAWlYthtqkabwPYtW4HfaduvHY[HfM\awfrfeXYLeKWZYW[q}Y[adWlU¯aw _khvsXM+h ,_kh¯q}w M+XM:u efY[a_kw -%Y[_¡_8`b`_B Y[HfMrKqkhZYtau+ef`qkh,q8W[W[_Xu adqBY[M<s¤rKqBYtH®GIHKM awfa Ytaqk`rKqBYtH u _8wKsXabY[a_kw £ ¦ § Y[HfMrKq}Y[H¡u _8wKsXabY[a_kw¡_kIY[HfM,abwfabY[adq}`IW[UPL/^A_8`baduWZYtq}Y[MkadW ATUIC¯_8h/q}wVUrfht_kkhvq}L¯®GIHfM,rKqBYtH u+_kwKsfa Ytab_8w,adWefr>sfqBYtM:s¯qkWIL*_8h[Mrfht_k8htqkLawKWZY[hteKu¬Ytab_8wKWq}htMM XM:u+eXY[M<sF®ofeKhZYtHfM+h<fq*rKqBYtHu+_kwKsfa Ytab_8w adWwf_}Yq}``b_BM:sYt_ ^DM C),Íqkw efwfhtM:q8uvHKq}^f`MrKq}Y[H - ?® M/sfM °KwfM/Y[HKML*M:qkwfabwK _}YtHfM*WZUVL^D_k`adu M+XM:u efY[a_kw_}'rfh[_8khvq}L%WqkW_k``_B]W+® r ( %¨v Ë£ ¡« K§¡ § >ª[§ ©t©¬£Í }¥f©¬ ® RankM:w qkwKs 5 awW[_kL*MW[UVL^D_k`auWZYtqBYtMkY[HfM W[UVL^D_k`au,nBq}`efM¯_}Y[HfM¯M XrfhtM:WtW[ab_8w "F35 aW "F HfM+htM "F adW%q}wVU¡qkh[abY[HfL*M+Y[adu,_8rAM:htq}Y[_8h ?D "VXM Yvu}® r ( %¨v Ë£ § V § Å£Í B¥% ©v©¬£ }¥ *§+¥ ¿©¬® GIHfMiW[UVL^D_k`au)M XM<u eXYtab_8wR_kfq}wqkWtWZakwKL\M:wPY A6 eKrDsfq}Y[M<W>Y[HfM u efhth[M:wPYFW[UVL^D_k`auWZYtq}Y[M K F R)Y[_YtHfMoWlYvqBYtM K %5 E 9KR4 F Rk<HfM+htDM 5 E 9K R u+_khth[M<WZrD_kwAsfWoYt_*Y[HfMW[UVL^D_k`auRM:nqk`beAqBY[a_kw_})M XrfhtM:WtWZa_kJw \qkWIsXM:Wtu hta^AM<s,aGw Y[M:L1£ ® r ( %¨v Ë£ L§ V § Å£Í B¥ 6v B ¥
(84) B£ Å£Í B¥ '© § *§+¥ ¿©¬®4GIHfM*WZUVL/^A_8`baduM XM<u eXYtab_8w _}iq,u _kwAsXa Ytab_8wKq}` WlYvqBY[M:L*M+wPY K * DR M $ C C M $ ^DM:u+_kL*M:WL*_8h[M%awPY[htau:qBY[M*YtHKq}wYtHfMM XM<u eXYtab_8w sfM:Wtu htab^DM:s _khY[HKM/Yl_rfh[M:nVab_8eKWu+qkW[M:W #FYtHfMWZUVL/^A_8`baduM+XM:u efY[a_kw _kq¯u _8wKsXabY[a_kwKqk`WlYvqBY[M:L*M+wPYaW htM:W[efL*M:s abw Y[HfM\_8`b`_BabwK,WZY[M+rAW+® )abhvWZY:FM+nBqk`beKq}Y[M/Y[HfM*^D_V_k`M:q}wM XrfhtM:WtWZa_kw *
(85) } l ¨ : » Àv¾Å¼'¾¿ÉBÄt¾ "!K}$#$%'&Cz)(¬Â Á¿¼l½¿¾ * » ÀvÎfÀv¾Å¾¿¼'ÉÊ̾¿½ÉB½ÅÄt¼ ¾ m±¾Å¾ÅÊÌÉÀ¬ÊÌ
(86) Æ ½ -ÁÍnF¼UOA¼ sCÊÌs<Áͼl½¿½)¾ ÀvÄvÎ1½ÅC½ mlsÀutsÆ+¼)¾¿¾¿ÊÌÆÉB Ät¾ À¬¾¿ÆRÉÊÌÄ ½ ¼¼ mlmlÊÌÊ̽ŽÅÊÌÊÌÀ¬À¬ÆRÆÈ<ÈÁ¿Á¿ÀOOÀ mlml¼U¼ ssÁ¿Áͼ¬¼ Â,¼ +y:Ê̼p½¿¾¿n½[ ÊrqrqPÆÀv¾ ¬ÀIÎ sÁ¾ÅɼlÁ À¬Æ¾¿ÉÊ̽¾ÅÀ¬ÈÊrmÊÌÆ4¾ÅÉ<¼ . . . . . . . . . . . . . # » $V #&%.
(87) *¨+£¦¥K£¦¥© %¨v Ë£*§ P§ ¿£Í }¥ B ¥
(88) %
(89) 8§ K§ }£¦¥. <~. YtHfM4u+efh[htM+wPYirAqBY[Hu+_kwKsfa Ytab_8w6F RabL*rf`aM:W A}YtHfM+wwK_wfM+ W[ef^X±u+q8WZM<Wq}htM]wfM:u+M:WtW[qkh[U^AM<u+q}eAWZMSF qk`bhtM:q8sXUu _8wPYtq}awKWIawX_khtL%qBYtab_8w,M:wf_kef8H Yt_sXM:sfeKu MYtHKqBY M $ L/eKWlY]^DMM XM<u eXYtM:sF®H F aL\rK`baM:W * %Y[HKM+w W[abL*a`qkh[`UYtHfMrKq}Y[H u _8wKsXabY[a_kwsX_VM:W]wf_}Y4htM:cPefahtMY[_^DMefr>sfqBYtM:s¯^DM:u:q}eKW[Ma YRq}`h[M<qksXU u+_kwPYtqkabwAWIabwX_8h[L%q}Y[a_kw¯M+wf_8efkHYt_ sXM:sfeKu MYtHKqBY M $ LeKWZY4^DMM XM<u eXYtM:sF® ]_kY[adu MYtHKqBY]YtHfMu:qkW[M HKM+wY[HfM*M+nBqk`beKq}Y[M<s ^D_V_k`M:q}wM XrfhtM:WtWZa_k#w htM:sXeAu M:WYt_ C _8h ATUICadWu _BnkM:h[M<s^VU l ¨ B® miWlYvq}^f`adWZH¯q/W[ef^X±u+q8WZMHfM+htMY[HfMrKq}Y[H,u+_kwKsfa Ytab_8w,_kY[HfMu+efh[htM+wPYIWZUVL^D_k`aduWZYtq}Y[MaWIuvHKqkwfkM<s ht_kL F *Y[<_ F * f>Y[HKM+w rKh[_Xu M:M:sabY[H Y[HfM*W[UPL/^A_8`baduM+XM:u efY[a_kw _kE M $ ®
(90) miWZYtqk^f`badW[H qW[ef^X±u+q8WZM%HKM+htM*Y[HfM,rKqBYtH¡u _kwAsXa Ytab_8w _}Y[HfMu efhthtM+wPYrKqBYtH¡u _8wKsXabY[a_kw adWuvHKq}wKkM:sht_kL F Y[_ F * ffY[HfM:wrKh[_Xu M:M:s,a YtHY[HfMW[UVL^D_k`auRM XM<u eXYtab_8w,_k M $ ® r ( *¨v Ë£ § P § ¿£Í }¥¡ B¥A¥D Å£Í B¥K©¬® !wfM/u:q}wqk`W[_ sXM+°KwfM/Y[HfM*W[UPL/^A_8`badu/M XM:u+eXY[a_kw _k rKh[_8khvq}L q}wfwK_}Ytq}Y[a_kwKW:®f_8hWZUVL/^A_8`badu+qk`b`U M XM<u eXYtabwfYtHfM%abwKrfeXY/qkwfwf_}YvqBYtab_8w U E C !°KhvWlY M:nBq}`eKqBYtM/YtHfM%^D_P_8`bM<q}wM XrfhtM:WtWZa_kw Vi£ ¦ § 5 E 9K RV qkwKs Y[HfM:weKrDsfq}Y[M*YtHfM%rKqBYtHu+_kwKsfa Ytab_8w F ,Y[G _ F 5 E 9K RP®f_8h_keXYtrfeXY/qkwfwf_kYtqBYtab_8wKW C"TA '+ °AhtWZYM+nBqk`beKq}Y[MW[UVL^D_k`au:q}``bU YtHfM*M XrfhtM:WtWZa_kw Vo£ ¦ § 5 E 9K RVB® F aL\rK`baM:W 5 E HK R*Y[HKM+wY[HfM*rfht_k8htqkL aWu+_khth[M<u¬Y: _kY[HfM:h[adW[M4YtHfMrfht_kkhvq}L¹Íqkab`dW:®
(91) . . . . .
(92) . . . . . . . . . . . . . x:X, y:Y; PC: true 1:2:3: x:X, y:Y; PC: true 4:. 4:. x:X, y:Y; PC: X < 0. x:X, y:Y; PC: X >= 0. 5:. 6:. x:X, y:−X; PC: X < 0 (−X=X | −X=−X) & 7: −X>=0 & X=X x:X, y:−X; PC: X < 0 8: x:X, y:−X; PC: X < 0. x:X, y:X; PC: X >= 0 Verified. 7: (X=X | X=−X) & X>=0 & X=X x:X, y:X; PC: X >= 0 8: x:X, y:X; PC: X >= 0. ) akefhtM~DiNVUVL/^A_8`baduRM XM:u+eXY[a_kw,Y[htM+MR_kh 2 UIC/rfht_kkhvq}L )akefhtM ~W[Hf_B]WY[HKM WZUVL/^A_8`badu%M XM<u eXYtab_8wYth[M:M u _8h[htM:W[rD_kwKsXawfY[_ Y[HfM 2 UIC¯q}wKwf_}YvqBY[M<s rKh[_8khvq}L¯® =¹WZUVL/^A_8`baduYth[M:M*HKqkWW[UPL/^A_8`badu\WlYvqBY[M<WqkWRwf_XsXM<W+ qkwKsqksfsXabY[a_kwAq}``bUM/HAqnkM\`qk^AM:`bM<s . . VV. ÆWIXYZ[.
(93) : . %¨+£¦¥K£¦¥ © %¨t Ë£*§L V§ ¿£Í }¥ B ¥
(94) %
(95) 8§ K§ }£¦¥. YtHfMY[hvq}wKW[a Ytab_8wKW a YtH,rfht_k8htqkL awKWZY[hteKu¬Ytab_8wKW:®'G _wf_XsXM<W q}wKs qkh[MRu _kwKwfM:u Y[M:s abw,Y[HKM8htqkrfH ^VUL*M<q}wKWI_k)`dq}^DM+` ¬Xab YtHfMWZUVL/^A_8`baduRM XM:u+eXY[a_kw_})Y[HfMawKWZY[hteKu¬Ytab_8w J,_k``b_Bawf6 Y[M:L r Y[_ YtM+L rIq}^D_Bnk*M -oawY[HfMW[UVL^D_k`auWZYtq}Y[M UPaM+`dsfWYtHfMWlYvqBYtM ® 4_}Y[M*YtHKqBY< eKwf`bakM%q8W[W[ab8wfL*M+wPYtW: WZYtq}Y[M+L*M:w8YvWHKqn8MYl_¯_keXYtk_kawfq}htht_B]W+>M:q8uvH _8hM:q8uvH rD_8WtW[ab^f`M u:qkW[Mh[M<WZef`bY[awf ht_kL$qkWtW[efL*abwf¡Y[HfMkeKqkhts¤_kh,a YvWwfM:8q}Y[a_kw®P4wf`bakM ¤WZYtqBYtM+L*M+wPYvW+ q8W[W[akwfL*M+wPYvW eKrDsfq}Y[MYtHfMrKqBYtHu _kwAsXa Ytab_8w® . . . . . . x:X, y:Y, a:A, b:B; PC: true 1:2: x:X, y:Y, a:A, b:B; PC: true 3: x:X, y:Y, a:A, b:B; PC: X>0 & Y>0 4: x:X, y:Y, a:X, b:B; PC: X>0 & Y>0 5: x:X, y:Y, a:X, b:Y; PC: X>0 & Y>0 6:. 6:. x:X, y:Y, a:X, b:Y; PC: X>0 & Y>0 & X!=Y. x:X, y:Y, a:X, b:Y; PC: X>0 & Y>0 & X=Y. 8:. 13: Verified X=GCD(X,Y). 8: x:X, y:Y, a:X, b:Y; PC: X>0 & Y>0 & X!=Y & X>Y. x:X, y:Y, a:X, b:Y; PC: X>0 & Y>0 & X!=Y & X<=Y. 9:. 10:. x:X, y:Y, a:X−Y, b:Y; PC: X>0 & Y>0 & X!=Y & X>Y 6: .... x:X, y:Y, a:X, b:Y; PC: X>0 & Y>0 & X=Y 14:15: x:X, y:Y, a:X, b:Y; PC: X>0 & Y>0 & X=Y. x:X, y:Y, a:X, b:Y−X; PC: X>0 & Y>0 & X!=Y & X<=Y 6:. 6:. 6: x:X, y:Y, a:X−Y, b:Y; PC: X>0 & Y>0 & X!=Y & X>Y & X−Y=Y. .... x:X, y:Y, a:X, b:Y−X; PC: X>0 & Y>0 & X!=Y & X<=Y & X=Y−X. 13: Verified X−Y=GCD(X,Y). 13: Verified X=GCD(X,Y). x:X, y:Y, a:X−Y, b:Y; PC: X>0 & Y>0 & X!=Y & X>Y & X−Y=Y. x:X, y:Y, a:X, b:Y−X; PC: X>0 & Y>0 & X!=Y & X<=Y & X=Y−X 14:15:. 14:15: x:X, y:Y, a:X, b:Y−X; PC: X>0 & Y>0 & X!=Y & X>Y & X−Y=Y. x:X, y:Y, a:X, b:Y−X; PC: X>0 & Y>0 & X!=Y & X<=Y & X=Y−X. ) ab8efh[M NXUPL/^A_8`baduM XM<u eXYtab_8w Yth[M:M_8hT C ADC A *EE "TrKh[_8khvq}L ±w YtHfM_8`b`_BabwK M 8_ Y[Hfht_keKkH¤Y[HfMsXM Yvq}a`W,q}^D_keXY,W[UVL^D_k`au M XM:u+eXY[a_kw _}u+UVu+`bM<W+® GIHfM W[UVL^D_k`au4M XM:u+eXY[a_kw,_} q C/WlYvqBY[M:L*M+wPY _8`b`_B]W wKqBYtefhtqk`b`U\h[_8L¹Y[HfMW[UPL/^A_8`badu+qk`AM+XM:u efY[a_kw _k qkw WlYvqBYtM+L*M+wPY:X£ ¦ § }Y[HfMkeKqkhts_}fYtHfM ! C]adW'WZUVL/^A_8`badu+qk`b`UM+nBq}`eKqBYtM:sq8W)abw r¬}qkwKseKhZYtHfM+h . .
(96) . . . . . # » $V #&%.
(97) *¨+£¦¥K£¦¥© %¨v Ë£*§ P§ ¿£Í }¥ B ¥
(98) %
(99) 8§ K§ }£¦¥. z. _8wfM%LeAWlY/u+_kwKW[adsXM+hYtHfM u:qkW[M%HfM+w¡q}¦Y[M+h/M XM:u+eXY[awf¯YtHfM^D_VsfU_kYtHfM C_kwfM8_VM:W ,¿q}8qkabw;_8wY[HfM%8eKq}hvsF HK_8W[M\M+XM:u efY[a_kw L*ab8H8Yq8sfs q¯wfM+rKq}Y[H u _8wKsXabY[a_kw®GIHfM+htM _8h[M8FY[HfM,WZUVL^D_k`adu M+XM:u efY[a_kwM XM:u+eXY[a_kw¯_}q C\L*akHPY]kM:wfM+hvqBYtMqkw,awX°KwKa YtMY[htM+M8® ]_kY[adu MY[HAqBYY[HKMrfhtM:W[M+wKu+MR_k YtHfadW4awX°KwfabY[M/Y[htM+M\sX_VM:Wwf_}Yqku Y[eKqk`b`UsXM+rDM+wKs _kw HKM Y[HKM+hY[HfM C%`_V_krKW]_khtM+n8M+h<A^fefYR_8wY[HfM Íq8u¬Yi_kqksfsXawfqwKM+ u _8wKWZY[hvq}aw8YorAqBY[H%M<qkuvH\Y[aL*M]YtHfM]keAq}hvs/adWoM:nBq}`eKqBYtM:sF® !4u _8efhtW[Mk8q}w%awX°KwfabY[M `_V_krkankM<W htadWZMRY[_qkw,awX°KwKa YtMWZUVL^D_k`adu4Yth[M:Mk® M+`_B MrfhtM:W[M+wPY]YtHfM\u+_XsXM_8h TDC "ADC A *EE "TDPHfaduvH q}aL%Wq}YRu:q}`du ef`dqBYtabwf Y[HfM kª[§ ±§ © v % B¥
(100) B£¦«<£d© }ª_khFYl_rA_PWZabY[ankM'awPY[M+8M+hvW qkwKE s 5>® GIHfMiu+_VsfM'_kh TDC "ADC A *EE u+_kwKW[adWlYvW/_kRq C`_P_8riawKW[asfM_kHfaduvH q}w ¡WZYtq}Y[M:L\M:wPY*adW*M XM<u eXYtM:sF® GIHfM¯_keXYtrfeXYu _8hZ htM:u Y[wfM<W[W%qkwfwf_kYtqBYtab_8Nw ,awfM O .-/WZYtq}Y[M<W*Y[HKq}Y%Y[HfM h[M+Y[efhtwfM:s nBq}`efM adW*YtHfM khtM:q}Y[M<WlYu _8L*L\_8w sfabnVadWZ_8h%_kh ¤qkwKs 5> HK4 5 RV® Mq8W[W[efL*MY[HAqBYYtHfM efwAu¬Y[a_kw PwK_B]W%Hf_B Y[_ u:q}`du eX `dqBYtMY[HfM8h[M<qBY[M<WlYu+_kL*L*_kw sXabnVadWZ_8h:® )akefhtM¯ W[Hf_B]W\YtHfM ,awX°KwfabY[*M -%W[UPL/^A_8`baduM XM:u+eXY[a_kw Y[htM+M _8h T C ADC A *EE T>® ]_B¹u+qkw YtHfM%L*M Y[HK_Vs sXM<W[u+h[a^DM:srfhtM+nVab_8eKW[`bU^DMq}rfrK`baM:sHfM:w sfM:q}`awf*a YtHawX°KwKa YtMWZUVL^D_k`aduM+XM:u efY[a_kw,Y[htM+M:W GIHKq}Yab``^DMY[HfMYt_krfaduR_})Y[HfMwfM+VY4WZM<u¬Y[a_kw ® . . . . . . . . . .
(101) . . . . . . . F T C U TDC TDC A C A EE C TDC 4 5 4 h4 Q U"E C M:Q B5 M p. O. . . 3A. . THK " A C DC T. P. 4 5. R. . A. 5. C. . . . A. K. R. . K:M. . R. A! ICb A " O*Q C C A ""h O. A HK4 5;R C TA O TDC A U T K R O C F . !#". . . A?BGBA 3 * ?DAA/ I98 / '' = ?DA)U8 8E) 9;/6'Q7 * ?:-%) / 1 / 2C#9)5?D8 9;A/ / ' " . GIHKM L*M Y[HK_Vs rfhtM+nVab_8eKW[`bU abwPY[ht_XsXeKu+M:s¤_kh,rfht_BnPawf rfht_k8htqkL u+_khth[M<u¬Y[wKM:WtW* _8h[XW*°KwKM _kh o¥A£ § W[UVL^D_k`auYth[M:M:W:® ]_BM+n8M+h<PHKM+w¯`b_V_8rKWq}htMu _kwAWZadsXM+htM:sVY[HfMWtq}L*MhtM:qkW[_kwKabwf*u+qkwfwf_kY]^AMqkrfrf`abM<s qkwVU`b_8wfkM:h:® !wfMW[Hf_kef`dsL%q}kMRawX°KwfabY[MW[UVL^D_k`auYth[M:M:W°KwfabY[M8® GIHfMWZ_8efhtu+MI_}>abwX°Awfa YtM+wfM<W[Wo_khYtHfM4W[UVL^D_k`auYth[M:Mabw)akefhtMI M+>M:u¬Ytabn8M+`U/adW'YtHfM4qksKsXabwK_}>UkM Y qkwf_}YtHfM+h)wfM: rKq}Y[H*u _kwAsXa Ytab_8wM<qkuvHYtabL*MIYtHfM ! C]8eKq}hv<s ,awfM abw T C ADC A *EE T qk^A_Bn8M -aW\nVaW[abY[M:s® MW[Hf_keK`s¡Y[HVeKW [u eX.Y ! Y[hvq}wKW[nkM:htWtq}``U Y[HKaW C `_P_8r aw _8htsfM+h/Y[_h[M:wKsXM+h YtHfM*Y[htM+M*°Awfa YtMk®¯GIHfMu efYrA_8abwPYadWrf`dqku+M:s qB¦YtM+hYtHfMkeAq}hvs adWM+nBqk`beKq}Y[M<sqkwKs^AM+_khtMq}wVU ^D_XsXU awKWZY[hteKu¬Ytab_8w® ±w%_kefh M fq}L*rf`MkkY[HfM4u+eXYZYtabwKrD_kaw8YWZHf_8ef`ds*^AM]rK`q8u M4q}"Y awfM ¬® qk`b`KY[HfMRWZUVL^D_k`adu M+XM:u efY[a_kwYth[M:M\WZYtqkhZYtabwfqBYRY[HfM*u efYZY[awfrA_8abwPYq}wKs °KwfadWZHKabwfaL\L*M<sXaq}Y[M:`bUqB¦YtM+hRY[HKM/`_V_kr ^D_XsXU adWIM XM<u eXYtM:s i© *¨v £ \ § V § Å£Í B¥ ¿ª[§v§+®oNVabwAu M_kwKMaW[HfM:WYtHKqBYYtHfMu efYY[htM+MaW]h[M:rfh[M<WZM:wPYtqBYtabn8M _k)qkwPU,u eXY4W[UVL^D_k`auRM XM<u eXYtab_8w,Yth[M:MkfqkwKs ^DM:u:q}eKW[M_kwKMsf_PM<WIwf_}Y]HAqnkMq}wVUrfhtM+nVa_keKWVwf_B`M:sX8M qk^A_8eXY*wfM+abY[HfM:h\Y[HfMrKqBYtH u+_kwKsXabY[a_kw HfaduvH `M:qksKWYtHfM,M+XM:u efY[a_kw¡Yt_ YtHfM¯u eXY[Y[awfrD_kawPY\wK_kh\Y[HfM. . . . . VV. ÆWIXYZ[. .
(102) . . . "T.
Documents relatifs
In infantile Pompe disease patients, the glycogen storage diffusely affects brainstem motor and sensory neurons, and the whole spinal cord sensory neurons, interneurons, and
De ce point de vue, il est possible d’affirmer que la mission est accomplie : les projets de renouvellement urbain (GPV et ORU) élaborés depuis 1998 dans une centaine de villes
cosinus (en bleu à gauche) et d’une droite (en noir à droite) sur les données simulées pour 4 années à une température de 45°C, avec un bruit de fond interne réduit de 100,
Florence CARRÉ ~ Réoccupations funéraires de sépultures collectives néolithiques dans la boucle du
2 Vue plus en détails dans le chapitre 1... 2 phénomène d’agrégation des protéines amyloïdes en fibres et d’autres facteurs impor- tants doivent être pris en compte comme
In this chapter, we prove an a posteriori error estimates for the generalized overlapping domain decomposition method with Dirichlet boundary conditions on the boundaries for
Revue française d’héraldique et de sigillographie – Études en ligne – 2020-10 © Société française d’héraldique et de sigillographie, Paris,
Dans ce cas, comme les coulées du Bras de Sainte-Suzanne appartiennent au massif de La Montagne daté à plus de 2 Ma (McDougall, 1971), l’ensemble des coulées pahoehoe
