TAPENADE 2.1 user's guide
82
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. TAPENADE 2.1 user’s guide Laurent Hascoët — Valérie Pascual. N° 0300 Septembre 2004 Thème NUM. ISSN 0249-0803. apport technique.
(3)
(4)
(5) ! "$#&%('*),+.-/0#21*3,456-87:9(;<#2=?>6'*@A)CBD#&1*36%E#&=?7 FGIH!JKMLONQP RTSVUXWYZH!JKW[V\IJ]^`_ba,\IKW cE^ZdfeKgY$Fh^`d6iI_bj!W k$lfimi2d6^nYY`K*joGI[I_ba,\IKp[&q(rts6rtr:RTSVKiXY`KJ<uI^ZK<vfr6rfwMRyx{z|imlt}tKW ~ h!{Itt FGm_Wh_WhYZGIK\mW`K!^* WJlf[V\mlttd6^YZGIKtK!^oW`_d6[pvIdfXYZGIKO\XY`d6Jl{Y`_bjO_&K^`K[,Y`_bl{Y`_dt[MY`dVdt 6II Q_tK[l|Wnd6\I^Zj!KDj!dtJiI\XYZK!^iI^Zdt}t^olfJY`G2l{YjgdtJiI\IY`KWl| X_&K^`K[6YZ_ltuIKOJl{YZGIK!Jl{YZ_jlf \m[mj¡YZ_d6[£¢¤ tIm. uI\m_b IW$l|[IK¥¦W`dt\I^ojgKQiI^Zdt}6^ZltJ§Y`GmlfYOjgdtJiI\IY`KWW`dtJK¨df(Y`GmKM XK!^Z_{lfY`_tKW dt$¢¤Wni&Kj!_ª©2jlfU X_^`K*j¡YZ_d6[mlf IK!^Z_{l{YZ_6KW«¬YZlf[m}tK![,YMJdX XK¡n®Mlt[m }t^olt I_K[6YoW¯«¬n^ZK!tK^ZW`KJdX XK¡n®¡ FGm_WD^`Ki2d6^nYQWn\IJJlf^Z_°!KW$Y`GIK Jl{Y`GmK!Jl{YZ_jlfIe\2WYZ_ª©2jl{YZ_d6[mWOdt$\XYZdtJl{YZ_j O_±K!^ZK![,Y`_bl{YZ_d6[¤mYZGIK![ IKWZjg^Z_u&KW_[¯\I XK!YZlf_&Y`GIKp X_±K!^ZK![,Y`_bl{YZ_d6[²JdX XK!&Y`G2l{Y tmI.h _JiIKJK![,YZW³D\I^}td,lf&_WY`d }6_6KQY`GIKM\2WnK^ZWdt tmI.h liI^`K*jg_bWnKp\m[m XK!^oWnYZlf[2 X_[m}df(Y`GIK<l6j¡YZ_d6[mW$lf[2 0joGmdt_bjgKWJl6 XKM¥GI_K I_ª±K!^ZK![,Y`_bl{YZ_[m}Qim^`d6}t^olfJW!¤fW`dpltW´YZd¨_JiI^Zd{tKY`GmK!_^jgd6[X©2 XK[mjgK_[Y`GIKiI^ZdX X\mj!K Wnd6\I^ojgKiI^`d6}t^olfJW FGm_W^`Ki2d6^nYh IdVj!\IJK![,YZW(lffYZGIKl8{lt_blfuIKd6iXY`_dt[mWhlf[m ¨i2lf^olfJKgYZK!^Z_°*l{Y`_dt[2W±Y`GmlfYYZGIK\mW`K!^oWjlf[p}6_6K YZd tIm. ¤mlf[m 0jgd6[VtK!^oW`K!Ult±YZGIKM X_blf}6[Id6W`_Wlf[2 ²^ZKa,\I_^`KJK![,YZWYZGml{Y thII.h Jl8U_bWZWn\IK YZd{¥lt^Z mWY`GIKM\2WnK^ZW$µY`K^DluI^Z_KgE XKWZjg^Z_iIY`_dt[¶df 6II WOlt^ZjoGm_ªYZKj¡YZ\I^ZKMlf[m 0i&K!^`dt^ZJlt[mjgK*W!¤ YZGI_bW´^`Ki2d6^nY XK*W`j!^`_u2K*W´Jdt^ZK\IUMY`GmK{lt_b Il{YZ_d6[|lt[m _JiI^Zd{tKJ|K[,YhYZKjoGI[I_ba,\IKW(d6^ X_&K^`K[6YZ_lfY`K* j!dX XKW ·¶¸,¹±ºZ»<¼ {½(t lf\IY`dtJlfY`_bjO X_&K^`K[,Y`_bl{Y`_dt[¤,lt}6dt^Z_ªYZGIJ_j$ I_ª±K!^ZK![,Y`_bl{YZ_d6[¤Xlt 8ed6_[,Y*¤,}6^Zl6 X_K![,Y¤6dtiXYZ_ª¾ J_°lfY`_dt[¤X_[VtK!^oW`KDiI^ZdtumKJW¤IWnYZl{YZ_j¨lt[mlfUXWn_bW!¤I ml{YZlf¾?¿2d{¥Àlf[mltUXW`_W¤Xjgd6J|im_bl{YZ_d6[. ÁÂ2ÃAÄoÅ?ÆÈÇhÉXÃ?Ä¡Ê*ËÍÌnÎnÏ{ÐÑ(ÒеÓCÔÄ¡Ê8Õ8Ë×ÖZصÓhÙ!Ç?ËÍÊfÄ¡ÚÍËÍÎ. 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.
(6) 6n ( g h$²§0 À
(7) ! lfY`
(8) _dt[0$\X
(9) YZdt J l{KQYZ_^Za,lt\IiIK i&tdth^`YIK*IW.YhKQ Jlt´[,Yo\mlfK![,.YO . X \XdtY`[m_[I_b]DWZl{\mY`_[0dt[£im^` Xd6K¨}t^obl lfJ6K!J^oKDWn_dtW`dt[0\IvX^ojgQKQ Xa6\0\m_dtj!}tlf_bbjgjg_\mK!.K¨ X\IKp[IDKQ_ª±d6]![m^Zj¡K!YZ[,_d6YZ_ª[ ¾. JlfY`GI]JlfY`_ba,\IKO X_&]^`K[,Y`_blfuIKD¢¤ tmI.h jgd6[mWYZ^`\m_ªY\I[¯[Id6\ItK*lf\iI^Zdt}6^ZltJ|JKW`dt\I^ojgKOa,\I_±j!ltª¾ j!\IK0j!K!^`YZlf_[IK*W X]^`_t]KW| XK¶¢¤KgYiI\mW|imlt^nYZ_j!\I_H!^ZK!JK[6Y XKW X]^`_t]KW| X_^`K*j¡Y`_dt[m[IK!K*W£«¬nJ|dX XK I_^ZKjgYn®¨KgY XKW<}t^olt X_K![,YZW²«¬nJ|dX XK²_[VtK^ZW`K¡n®¡ K¯^olfimi2d6^nY<^olfimi2KK²W`\mj!j!_[,Y`KJK![,Y<KWe\2WYZ_ª©2jl{¾ YZ_d6[mWDJlfY`GI]Jl{Y`_ba,\IKWQ XK|lO_±]!^ZK![,Y`_bl{YZ_d6[:$\IY`dtJlfY`_ba6\mKt¤±iI\I_bW¨ X]j!^`_YDK[: X]!YZlf_´K JdV IH!K| XK I_ª±]!^ZK![,Y`_bl{YZ_d6[£_JiI]!JK![,YZ]< Ilf[2W tmI.h ¤& mlf[mWKpuI\XY¨ . lfJ]!_d6^`K^lj!dtJiI^Z]!GIK[mW`_d6[K!YOl j!dt[X©&lf[mj!K XK*WO\XYZ__bW`lfY`K!\m^ZWQ Ilf[2WDKjgdX XK I_ª±]!^ZK![,Y`_]t K ^ZltiIi&dt^`YQ XdXjg\mJ|K[,Y`K|K*WOd6iXY`_dt[mWQ XK|l j!dtJJlf[m IK tmI.h ¤±K*W$©2joGm_K^ZWD XK|j!dt[X©2}t\I^ol{YZ_d6[£ I_W`i2d6[I_uIK*W!¤.lt_[mW`_ha,\IK K*WD I_lt}t[Id,WYZ_jW$KgY ^Z]W`\IYZlfYZWiI^ZdX X\I_YZWOimlf^D? dt\XYZ_ KM^olfiIi&dt^`YD X]*jg^Z_ªYD^ZltiI_ IK!JK![,YO lt^ZjoGm_ªYZKj¡YZ\I^ZKM XK thII.h KgY W`KWi&K!^`dt^ZJlf[mj!KW¤XiI\I_bWO X_bWZjg\XYZKpiI\2W$K![¶ X]!YZlt_ IKWYZKjoGI[I_ba,\IKWO XKp{lf_ IlfY`_dt[£KgYQ . ltJ]!_d6^ZlfY`_dt[ IKWiI^Zdt}6^ZltJ|JK*W X_±]!^ZK![,Y`_]Wim^`dX X\I_YZWi2lf^ thII.h ¼ * º
(10) X_&]^`K[6YZ_lfY`_dt[ lt\XY`d6JlfY`_ba,\IKt¤Elt {edt_[6Y*¤´}t^olt X_K![,Y¤(dtiIY`_J|_bWZl{Y`_dt[¤(im^`d6uIHJKWM_[X¾ 6K!^oWnK*W!¤Xlt[mlfUXWnK*WWnYZlfY`_ba,\IKW¤Ilf[mltUXW`KW IlfYZl{¾ ¿md{¥p¤Xjgd6JiI_bl{YZ_d6[.
(11) s.
(12) . ( (. · . ~ ~ ~ ~ sm F(lf[m}tK![,Y$lf[2 kKtK^ZW`KpOJdX XKW p¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp sm v GmKj Vi2d6_[,YZ_[I}_[0Y`GIKp^ZK!6K!^oWnKDJ|dX XK ¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp sm s jgY`_V_ªYU pQp¨pp¨p¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp ~ ~ ~ w2 SXU,J u2d6[mltJ|K*W¨pp¨p¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp. !" # %'& 1. ". )( *+( !( ",(.-/ /(. . # "2 *+*+( )( #. # . *3"4 657 ( 85 )-. >=. ?'#@ (. *+*+( )( #. M. $. # . : !( AB *. . 57( . /(. $ 0. :9. ; <. 6 8v ?. w w2 v D_&K^`K[6YZ_lfY`K* 0 ml{YZl YUVi&KWQp¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp w w2 s SX_JiIKMltWZWn_}t[mJ|K[,YZW¨p¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp DC w2 w O^`^ol8Udt^+EEK*j¡YZdt^Z_lt&[mdfYZlfY`_dt[ ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp {x w2 F jgY`_V_ªYU0lf[m ^`K_[m_ªYZ_lt_°lfY`_dt[mWdfE XK^`_{l{Y`_tK*Wpp¨p¨pQp¨pp¨p¨p¨ppQp {x w2 C d6[,Y`^ZdtHG(d{¥¦WYZ^`\mjgY`\I^ZK¶¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp vtr w2ÍxJIÈ[miI\XYn¾n³D\XYZiI\XY «KI ¾³¨®iI^ZdXjgK I\I^`K*W Qp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp v6v w2 z c^`dXjgK* X\I^ZKpj!lfbW pp¨p¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp vts w2 < ³D6K!^Zd,lt X_[I}p¨pp¨p¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp Lv F w2*r ³D6K!^olfP£dX X\Iblf^OS,YZ^`\mjgY`\I^ZK¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp Lv F w26 P¶\IªYZ_ª¾È X_^`K*j¡YZ_d6[mlf X_±K!^ZK![,Y`_bl{YZ_d6[ Qp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp vtz 9N57(O" * " )( * ( 6( 9P*Q #@ ( ~ )RS 1T FI VU,W XOYXZ\[]U_^`X>aDlt[mlfUXWn_bW p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp sm FI v ¨lfY`GIK^`_[I}_[mjg^ZK!JK![,Yol{Y`_dt[0_[mWYZ^`\2j¡Y`_dt[2W ¨pp¨p¨pQp¨pp¨p¨p¨ppQp sm FI s DKgYZKjgY`_dt[£dfE$_l6Wn_[I} p¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp s,v FI w SXiI_YnYZ_[m}¯jgdtJiIK bK bXiI^ZKWZWn_dt[mW pQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp s,v FI F {edt_[6 Y c_6K![IK*W`Wlt[mlfUXWn_bW ¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp s6s 9 d - ~ 57( ~ /(.* e@ (."f ~ gA ( 1hM Cm h{lf_ltuIK 6II dtiIY`_dt[mW<ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp s F Cm6 GI\I[m mlfJK![,YZlt.dtiXYZ_d6[mW ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp Ls C Cm6 v Gh_Kp_[Xd6^`JlfY`_dt[²d6iXY`_dt[2W Qp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp sVx Cm6 s O_&K^`K[,Y`_bl{Y`_dt[0dtiIY`_dt[mW pQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp s6z Cm6 w SVUXWYZK!J d6iXY`_dt[mW ¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp Ls < Cm6 F O_bWniml8U²lt[m 0OKuI\I}t}6_[m}|d6iXY`_dt[2W ¨pp¨p¨pQp¨pp¨p¨p¨ppQp Ls < Cm v Q_V_[m}_[Xd6^`JlfY`_dt[²d6[£uIl6>j =,¾ u&id biI^`dXj!K X\I^ZKW:¨p¨pQp¨pp¨p¨p¨ppQpw,r Cm s P¶KWZW`lt}tKW_bW`W`\IK* ²uVU tIm. Qp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQpw,s Cm sm OK*jgblf^ol{Y`_dt[2Wim^`d6uIKJW pQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQpw6w Cm sm v FUVi&KQim^`d6uIKJW ¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQpw F dt[,Y`^Zdt&¿md{¥ iI^`d6uIK!JW pQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQpw,z Cm sm s. ÒIÉ0Ù_jlk\m\k\k.
(13) w. iZ>U[ a, Z
(14) . m sm w DlfYZl ¿md{¥Àim^`d6uIKJW¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQpw< Cm sm F $\XYZdtJl{YZ_j¨D_ª±K!^ZK![,Y`_bl{YZ_d6[£iI^`d6uIK!JW ¨p¨pQp¨pp¨p¨p¨ppQpw< Cm w SXi2K*jg_U,_[I}^ZKa,\I_^`K* W`_°!K¨_[Idt^ZJlfY`_dt[ p¨pp¨p¨pQp¨pp¨p¨p¨ppQp2F6v Cm F d6JiI__[I}|Y`GIKM X_±K!^ZK![,Y`_bl{YZK £jgdX XK p¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp2F6v 0 9 d - ~ 57( ~ /(.* e@ ( ( ( )* ~ ",( Ml1 xX FGmK tIm. _[IiI\XYd6^`J ¥Ku0i2lf}tK p¨pp¨p¨pQp¨pp¨p¨p¨ppQp2 Fts xX v FGmK tIm. d6\XY`iI\IY$^`K*Wn\IY¥Kui2lf}tK¨pp¨p¨pQp¨pp¨p¨p¨ppQp2 FLF ; ~ " @ (O" )( ~ 57( !* ~ ",(79 M 0 ~ A ~ # ~ $ <m j!l6W`W`_bj!lf&^olfJK!¥dt^ =dt^{lt_b Il{YZ_d6[ p¨pp¨p¨pQp¨pp¨p¨p¨ppQp C6r <m v G2l{Y$_({lf_b Il{YZ_d6[²Alt_bW p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp C,v <m vI OKuI\I}t}6_[m} YZdVdtbWdt^Y`GmK¨YZlf[m}tK![,YJdX XK p¨pQp¨pp¨p¨p¨ppQp C6s <m vI v OKuI\I}t}6_[m} YZdVdtbWdt^Y`GmKp^`KtK!^oW`KOJdX XK p¨pQp¨pp¨p¨p¨ppQp C6s <m s IÈJiI^Zd{V_[m}| X_±K!^ZK![,Y`_bl{YZK 0iI^Zdt}t^olfJW ¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp CVx <m sm IÈ[m XK!K* 0_[ml6j¡YZ_6KD{lf^Z_blfuIKW<Qp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp C6z <m sm v _[IKlt^$jgdX XKQ^olf}tJK[6YoW pQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp C6z <m sm s $\XYZdf¾Èlt 8ed6_[,Y$jgdX XKQ^olf}tJK[6YoW p¨pp¨p¨pQp¨pp¨p¨p¨ppQp CL< <m sm w I Y`K!^ol{YZ_6KD^ZKW`dt\XYZ_d6[mW ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp CL< <m sm F cdVdtimW¥_Y` G IÈ[m IK!i&K![m XK[,Y I Y`K!^ol{YZ_d6[mW p¨p¨pQp¨pp¨p¨p¨ppQp xfr 0 % · 5 4A( :9 ~ /( ( AQ 5 6( 9 g"f ( *rI IÈ[2jg\m XKW¤mj!dtJJK![,YZW¤Ilf[m 0 XK*jgblf^ol{Y`_dt[2WOp¨pp¨p¨pQp¨pp¨p¨p¨ppQp xtv *rIÍv D_^`K*j¡Y`_tK*W Qp¨pp¨p¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp xtv *rI s IÈ[miI\XY$blf[I}6\mlf}6KWppp¨p¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp xtv *rI w c(d6_[,Y`K^ZWlt[m 0 XUV[mlfJ_bjplfdXj!lfY`_dt[ p¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp xfs *rI F c´lt^ZltK!.iI^Zdt}6^ZltJJ|_[I} ¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp xfs *rI C FGmKMkKj!dtJiI\XYZKg¾È$WYZ^ZlfY`K!}6U£ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp xfs C. ÐÑ(ÒеÓ.
(15)
(16) . F. ! ! <h 6II Z` ^ a p¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp x v FGmKMkKj!dtJiI\XYZKg¾È$WYZ^ZlfY`K!}6U£ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp *r s FGmK<S,Y`d6^`K!¾ OWnY`^ol{YZK!}tU ¨p¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp *r w GmK>j =Vi2d6_[,YZ_[I}_[0Y`GIKMj!dt[,Y`dK b,YoWdf´k$lf[m £SX p¨pQp¨pp¨p¨p¨ppQp 6 GmK>j =Vi2d6_[,YZ_[I}d6[0jlfW_[ tIm. ^ZK!6K!^oWnKQO pQp¨pp¨p¨p¨ppQp 8v F C LDlfJKWdt´ I_ª±K!^ZK![,Y`_bl{YZK 0WnUVJ u2d6W<Qp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp w x D_&K^`K[6YZ_lfY`K* 0Ql{YolFUVi&KW ¨ppQp¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp iF z D_&K^`K[6YZ_lfY`_dt[£df´lWn_JiIKMl6W`W`_}t[IJK![,Y ¨pp¨p¨pQp¨pp¨p¨p¨ppQp {x < D_&K^`K[6YZ_lfY`_dt[£df´lf[£lf^Z^Zl8U¯l6W`W`_}t[IJK![,Y ¨pp¨p¨pQp¨pp¨p¨p¨ppQp {x *r IÈ[2WYZ^`\mjgY`_dt[mWW`_J|im_©2j!lfY`_dt[mW I\IK¨Y`dj¡YZ_V_YUO[mlfUXWn_bW p¨pp¨p¨p¨ppQp *z 6 E&K*j¡YOdt(j¡YZ_V_YUO[mlfUXWn_bWdt[£ljgdtJiIKgYZKpiI^ZdVj!K X\m^`KDQp¨pp¨p¨p¨ppQp D< 8v D_&K^`K[6YZ_lfY`_dt[£dfhY`GIK¨¿2d{¥ÀdfEjgd6[,Y`^Zdt p¨pp¨p¨pQp¨pp¨p¨p¨ppQp vI *s D_&K^`K[6YZ_lfY`_dt[£df I ¾³iI^ZdVj!K X\m^`K¨j!ltbW!¤IW`GId{¥_[I}¥lt^`[m_[I}|JKWZW`lt}tK*W p¨ppQp v6v w D_&K^`K[6YZ_lfY`_dt[£df(iI^ZdVj!K X\m^`Kpj!ltbW p¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp vfw i F D_&K^`K[6YZ_lfY`_dt[£JdX XK!._[£iI^`K*WnK[mjgK¨dtE³DtK^`d6l6 X_[I} pQp¨pp¨p¨p¨ppQp v C D C D_&K^`K[6YZ_lfY`_dt[£dfEP£dX X\Iblf^$cE^Zdt}6^ZltJWÀp¨pp¨p¨pQp¨pp¨p¨p¨ppQp v,x {x P¶\IªYZ_ª¾ÈD_^ZKjgY`_dt[mlt±YZlf[m}tK![,Y$ X_&K^`K[,Y`_bl{Y`_dt[ pp¨p¨pQp¨pp¨p¨p¨ppQp v < *z k$K!Jd{V_[I}\I[m[IKj!KWZW`lt^`U¯WnY`d6^Zlt}tK$YZGI^Zdt\I}6G VU,W X Y X\Z\[ U ^`X>a¨lt[mlfUXWn_bW¨p¨ppQp sm D < ¨lfY`GIK^`_[I}_[mWYZ^`\2j¡Y`_dt[2Wlf[m _JiI^Zd{V_[m}|dXj!lt_YUY`GI^Zdt\m}tG0_[mWnY`^Z\mjgY`_dt[mW^ZK!d6^Z XK^`_[I} s,v vtr DKgYZKjgY`_dt[¶lf[m £j!dt^Z^`K*j¡Y`_dt[²dfElf_l6Wn_[I}|_[0Y`GmKp^`KtK!^oW`KOJdX XK pp¨p¨p¨ppQp s6s vI G2ltjgY`dt^Z_°!_[I}| I\IiI_jl{Y`KMj!dtJiI\XYol{YZ_d6[mWY`GI^Zdt\m}tG0J|_[I_JlfW`iI_ªY`Y`_[I} p¨p¨ppQp s6s v6v k$K!Jd{V_[I}\mW`K!KWZW XK*lt 0lt 8ed6_[,Y$jgdX XK p¨pp¨p¨pQp¨pp¨p¨p¨ppQp stw vts DF$P c_[6YZK!^`Altj!KDd6^ tmI.h _[IiI\IY0p¨pp¨p¨pQp¨pp¨p¨p¨ppQp2 Ffw vfw DF$P c_[6YZK!^`Altj!KDd6^ tmI.h d6\XY`im\XY ¨pp¨p¨pQp¨pp¨p¨p¨ppQp2 FLF Lv F ³D6K!^olf.lf^ojoGI_ªYZKjgY`\I^ZKDdt tIm. ¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp2 F,x v C F_JKMlf[m JK!Jdt^ZU²j!dt[mW`\IJiXY`_dt[0dt[¶W`_ b8lt_b IlfY`_dt[£jgdX XKW pp¨p¨p¨ppQp2 Ftz v,x IÈ[,YZK!^Z[mlfQl{Yo4l G(d{¥ lt[mlfUV°!KW[mK!K IK u,UO _[ tmI.h p¨p¨p¨ppQp2 F< vtz SX\IuI^Zdt\XYZ_[IK¨^olfJK¥d6`^ =|dt^{lt_b Il{YZ_d6[dt´ IK!^Z_{l{YZ_6KW Qp¨pp¨p¨p¨ppQp Cm v < SX\IuI^Zdt\XYZ_[IK¨^olfJK¥d6`^ =|dt^$ IK!uI\I}6}t_[I}|Y`GIK¨Yolf[I}6K![,Y$jgdX XK ¨pp¨p¨p¨ppQp Ctw s6r SXiI_Y$K bXK*jg\XYZ_d6[0dtYZGIKM XdfY$im^`dX X\mjgYY`KWnYÀ¨pp¨p¨pQp¨pp¨p¨p¨ppQp CF sm c^`dXjgK* X\I^ZKpj!lfbW_[mW`K!^`Y`K* ¯d6^$Wnim_YO XdfY$im^`dX X\mjgYY`KWnY£pQp¨pp¨p¨p¨ppQp CLC s,v ³DiIY`_J|_°lfY`_dt[0dfElt 8ed6_[,+Y I I ¾ cdVd6imW p¨p¨pp¨p¨pQp¨pp¨p¨p¨ppQp xfr s6s c´lt^nYZU²lt\XY`d6Jl{Y`_bjQ^`KtK^ZW`KQ I_ª±K!^ZK![,Y`_bl{YZ_d6[²d6 ^ Ⱦ dVdtimW²Qp¨pp¨p¨p¨ppQp xX. ÒIÉ0Ù_jlk\m\k\k.
(17) C. iZ>U[ a, Z
(18) . & D W$jgd6JiI\XYZlfY`_dt[mlti&d{¥K^_[mj!^`K*ltW`KW¤VY`GIK XdtJlf_[mWdt´j!dtJiI\XYol{YZ_d6[mlfZ
(19) [ KU 2¤ U V[
(20) [ KU 2¤ lt[m iXd^>ZdXh^`U X eZlf^ZKD XKtK!dtim_[I} ^ZltiI_b XU6EFGIK!U¥_b XK!U¯\mW` K a Xd^
(21) _[
(22) X\Z¡ GIK![0lM\I[2j¡Y`_dt[ _bWlf^ZKlt IU I_WZjg^ZKgYZ_°K 0lf[m 0Wnd66K .¤XO\XY`d6JlfY`_bj¨O_&K^`K[,Y`_bl{Y`_dt[«ADQ®$j!lf[^`K!Y`\I^Z[0_ªYoW XK!^Z_{lfY`_tKW ¥_Y`Gmdt\XYO}6dt_[I}¯uml6>j =¯YZdY`GIK| X_bW`j!^`K!Y`_°l{YZ_d6[¶WYZK!i$D YZ^Zlt[mWd6^`JW$l¯iI^`d6}t^olfJ YZGml{Y¨jgd6J|im\XY`K*W$dt^ W`_J<\Ibl{YZKWlJl{YZGIK!Jl{YZ_jlf6KjgY`dt^\m[mj¡YZ_d6[¶_[,Y`d¯l[mK!¥ iI^Zdt}t^olfJ§YZGml{YQjgdtJiI\IY`KWO XK!^Z_{lfY`_tKWdt YZGI_bWE\I[mjgY`_dt[ Gm\I^nYZGIK!^_[Xd6^`JlfY`_dt[lfu&dt\XYOÀjlf[u&K$dt\m[m |_[YZGIK$Jdt[Id6}t^olfiIG D F ±lf[m _[Y`GIK j!dtK*j¡YZ_d6[ dflf^`Y`_bjgKWO^`d6JY`GIKiml6WYpO j!dt[XK^`K[mjgK*W CI¤.vIT¤ FX¤. s <FGIK*WnKlf^`Y`_bjgKW¨jgd{6K!^DJ|d,WY YZdtiI_bj!W$^`KlfY`K ²Y`d¯D<¤m^`d6J YZGIK!d6^`K!Y`_bj!lfa,\IK*WYZ_d6[mW_[¶jgdtJiI\IY`K!^DW`j!_K[mjgKMlt[m 0[,\mJ|K^`_bj!ltW`j!_K[mjgK YZdOYZdVdtbW XK!6K!dtiIJK![,Ylf[m 0_[m X\mWnY`^Z_blflfimiI_bj!lfY`_dt[mW D _Wl<im^`d6}t^olfJ YZ^Zlt[mWndt^ZJlfY`_dt[¤Vlf[2 _WYZGIK!^ZKgd6^`KDi2K^nd6^`JK ¯u,UW`dfµY¥lf^ZKY`dVd6WWn_J_blf^Y`d j!dtJiI_K^ZWd6^$imlt^ZltK!_°K!^oW!FGI_WO_WY`GIKM\2WnK^ W}t\m_ XK¨YZd thII.h ¤2lt[¶O Y`dVdt¥_Y`G lWnY`^Zdt[m} dXj!\mWdt[Y`GIK$¬ ^`XiXd^>ZdX QJ|dX XK6¤VY`GmlfY$jgdtJiI\IY`KW ^ a! KX V[KZ¡³D\I^}6\I_ IK!_[IKQ_[²YZGI_W IK!tKd6iIJK![,Y_W YZd ^ZK!\2WnKQlf[m ¯Y`^olf[mW`i2d,WnK$Y`KjoGm[Idtdt}6U ^ZdtJ YZGIKpjgdtJiI_bl{Y`_dt[¯©mK!b " ±Y`dO ¤X_[²dt^o XK^YZd<iI^ZdX X\mjgK K #¯jg_K![,Y$ X_ª±K!^ZK![,YZ_lfY`K £j!dV IKDYZGml{YOjlf[£jgd6J|i&KgYZKp¥_ªYZG£Gmlf[m X¾ j!dV IK 0 XK!^Z_{lfY`_tKW FGI_bWD_W$Y`GIK \mWnK^ W$}6\I_b XKpY`dtK^ZW`_d6[£vIdf 6II.h QFGIKMJlf_[ X_&K^`K[mjgKM^`d6J iI^ZK!V_dt\mW 6K!^oWn_dt[ vI r _W YZGml{YiI^Zdt}t^olfJ W`dt\I^ojgK*WM_% [ $&' ' Ívt v $lt^`K0ltj!j!K!iXYZK _[ l6 I X_Y`_dt[ Y`,d $&'.' 0 /+/ Y$YZGIKpJdtJK![,Y$¥GIK[¶¥Kp¥^Z_Y`K¨Y`Gm_W^ZK!hi&) dt(+^`* Y¤mGId{¥KtK^¤XW`dtJKp XK!6K!dtiIJK![,Y$_bW[IdtY$UtKgY YZK!^ZJ_[mlfY`K* lt[m ¯YZGIKpi&dt_[6YZK!^$lt[m ²JKJ|d6^`U¯ltdXj!lfY`_dt[0imlf^`Ydf1 $&' ' ) (2* _bWWYZ_J_bW`W`_[m}mSVK!K W`KjgY`_dt[Crlfu&dt\IYYZGIKpdfYZGIK!^oW XKtK!dtimJ|K[,YZWY`d¯j!dtJKpWndVdt[ Gmdt^Q^`K*lt XK^ZW¥Gm) d =V[Id{¥O§lf[2 ¶dfYZGIK!^¨OY`dVd6W¤&W`KjgY`_dt[:v¯}t_tK*WOl²a,\I_b>j =0^`K!K!^ZK![mj!KMY`d²Y`GIK j!l6W`W`_bj!lfVjoGmlt^Zl6j¡Y`K^`_bWnY`_bj!Whdf tmI.h ($µY`K^lDum^`_Kg± XKWZjg^Z_iIY`_dt[|_[WnK*j¡YZ_d6[|sDdf2Y`GIKYZGIK!d6^`K!Y`_bj!lf u2ltW`_Wpdt$O ¤(W`KjgY`_dt[w XK*W`j!^`_u2K*W¨Y`GmK²O JdV IK!_JiIK!JK![,Y`K* uVU 6II ¤EW`GId{¥_[I}¶GId{¥ _Y ^ZK!bl{YZKW¨YZd¶Y`GmK¯Y`GmK!dt^ZKgYZ_jlf XKWZjg^Z_iIY`_dt[¶FGI_bW<i2lf^`Y<_W<umltW`K d6[ jgd6[mjg^ZKgYZK¯K bIlfJiIKWpY`d },lf_[ \m[m XK!^oWnYZlf[2 X_[m} dfDiI^`d6}t^olfJWpiI^ZdX X\mj!K uVU 6II.h SVK*j¡YZ_d6[ F£dXj!\mWnK*W<d6[ ^ZKg©m[mK!JK![,YZW<Y`d YZGIK²D JdX XK!dt^ l6 8edt_[,Y<jgdX XK*W!£FGIK!^ZK²lt^`K|Y¥d¶¥l8UXW¨YZd¶\mWnK tIm. ¤(K_ªYZGIK!^ ltW<l¶W`GIK j!dtJJlf[m C^ZdtJY`GmKjgd6JJlt[m _[IK²dt^M^ZdtJ 4l 3+56+78.9;:<72¤dt^<l6W<l W`K!^ZtK^pdt[ YZGIK¯¥K!u ¥_Y`G l =? >A@ }t^olfimGI_jlfX_[,Y`K!^`Altj!KtESVKjgY`_dt [ CpiI^ZKW`K![,YoW(Y`GIK\m[m IlfJK[6Yolf&jgdtJJlf[2 _[IK$JdX XKt¤6¥_ªYZGY`GIK l8{lt_blfuIKdtiXYZ_d6[mWplf[2 Cj!dt[X©2}t\I^ol{YZ_d6[ ©mKW0SVK*j¡YZ_d6[ x²iI^ZKW`K![,YoW¨Y`GIK¯ltªYZK!^Z[ml{YZ_6K¥KuC_[,Y`K^nAl6jgKt SXKj¡YZ_d6[z }t_tK*W¯l a,\I_b>j = d{6K!^ZdVd = df thII.h W²_[,Y`K!^Z[mltOlf^ojoGI_Y`KjgY`\I^ZKt¤lt[m X_bW`j!\mW`W`KW¯Y`GIK i&K!^`dt^ZJlf[mj!KW´SXKj¡YZ_d6/[ <l6 I X^ZKWZWnK*WYZGIKpiI^ZdtuIK!J dfh{lt_b Il{YZ_d6[0lt[m £SVKjgY`_dt[Crjgd6[mjg\m XK*W¥_Y`G =V[Id{¥[0iI^ZdtuIK!JWlf[2 ²\m^nYZGIK!^$ XKtKd6iIJK![,YZWYZdj!dtJK¨_[ 6II.h . ÐÑ(ÒеÓ.
(23) x.
(24) .
(25). . ± . ~ ¼ I ¸ ¸ X ¼ ¼ ¼. . ¸ tIm. 6K!^oWn_dt[£vX X ¸ ¼
(26) * lt[V\mlf^ZU¯vfrtr,v ~ ¸ ! ¼ {6 ³Q XUXWZWn]K 6Íx ~|½(½h ¸ *t 9 ?9!5 8 ! 9"# 5 !27$+5% 7 ' & ) (?: . +*¸ ¸ 6 O kK!6K!^oWnK6¤IFhlt[I}tK[6Y*¤EEKj¡YZdt^$F(lf[I}6K![,Y¤Ik$KWnY`^Z\mj¡YZ\I^ZlfY`_dt[ ²~ ¸*.&, * ¸ /{t m¸ ¸C¼ ¼ ½ ¸ 9 $<8&)I' ¸'-m¹ S,¤Y`d6$<^`&)K!' ¾ O' ¤ GIKj>¤I=Vlfi&[mdt 0_[,dtY`b_ X[IK}^ dt[£j!lfbW )(+* /+/ * ¸ ¸ X ¼ A - h -&¸ 6 <6r021 )36 ¤r054 ~ , 6 I. /µ ¹ 7 l8{l j!l6W`W`KWdt^ c_[V\ b0lf[m ¶SVd6lt^`_bW!¤Vd6^:Ku£W`K!^ZtK^ ¸
(27) ¸ I ¸ 6 FU,i&Kg¾ GIK*j>=,_[I}2¤Vk$Klt X¾ C^`_YnYZK![¶$[2lfUVW`_bW!¤ GIdt^Z¥lf^o ²lf[2 9 8 ltj>=V¥lf^o ¯j¡YZ_V_YUt¤m {edt_[6Y c_6K![IK*W`Wlt[mlfUXWn_bW!¤XF8 kp¤mk$K X\mj!K £SV[mltimWnGmdfYZW 9. (_}6\I^ZK : tIm. Z ` _^`a Gmdt^^`K*lt XK^ZWE¥Gmd#=V[Id{¥ O lf[m dtY`GIK^DYZdVdtbW!¤,GIK!^ZKO_bWl a,\I_j>= XK*W`j!^`_iXY`_dt[dt 6II.h ¤ ltu2d6\XYpY`GmK¯\mW`\mlfEK*l{YZ\I^`K*WpdfO Y`dVdtbW! G(_}6\I^ZK¶¨e\mWY iI\XYZW<_ªY _[ l0\I[m[I_K^M¥l8 U ; tmI.h _bWMl W`dfµY¥lf^ZK|Y`dVdtdt^<lt\XY`d6JlfY`_bj X_&K^`K[6YZ_lfY`_dt[ dt $&' ' ) (2* lt[m, $&' ' 0 /+/ iI^`d6}t^olfJW¤ ¥_Y`G²Y`GIK¨W`dt\I^ojgKD^`K}tK![mK!^ol{Y`_dt[ltiIiI^Zd6ltjoG 6II.h _bW[IdfYumltW`K ²dt[¯d{6K!^Zd,lt X_[I}2N I YiI^`dX X\2jgKW Yolf[I}6K![,Y¯«¬ l6jgd6uI_lt[ YZ_JKWMtKjgY`d6^n®Oj!dX XKWplt[m lt 8ed6_[,Y¯«¬`F^olf[2Wni&d6W`K l6jgdtum_lt[ Y`_JKWp6KjgY`dt^nn® j!dX XKWSIÈ[_ªYoWW`df¾Èj!ltK |6Kj¡YZdt^dt^J \IY`_¾ X_^ZKj¡YZ_d6[mlf2JdV IKt¤V_ªYiI^ZdX X\mjgK*WEYolf[I}6K![,YjgdX XKOdt^WnKtK^Zlt I_^ZKjgY`_dt[mWplfYplYZ_JKt²SXK!tK^Zlt´YZl6j¡Y`_bj!Wplt[m Clf[mltUXW`KW¨lf^ZK\mWnK* YZd¶iI^ZdV I\mjgKu&KgYnYZK!^<j!dX XKt¯SVd6J|K lt^`KjgbltWZWn_bj!lt?¤(dfYZGIK!^oW<lt^`K²W`i&Kjg_©2jt IÈ[,Y`K^`[mlt_JiIKJK![,YZlfY`_dt[ _bW<Jd,WYZ< U 1 ) 36 :FGIK^`K0lf^ZKY¥d ¥l8UXWU6dt\²jlf[\mWnK thII.h :ltWl ¥KuW`K!^ZtK^¤Vlf¥l8UXW¥_ªYZG²YZGIK¨lfY`KWnY_JiI^Zd{tKJ|K[,YZW¤6d6^l6Wl Id{¥[Id,lt IltuIKY`dVdt2Y`d|u2K¨j!ltK |^ZdtJ U6dt\I^jgd6J|Jlt[m _[IKDdt^P¶_l =6Kg©mKW³Ojgdt\m^ZW`Kt¤ tmI.h _bW¬`lf_6K¡¡¤Vlt[m Y`GIK^`K!dt^ZKDKtd66KWjgd6[mWYolf[,Y`Ut G. ÒIÉ0Ù_jlk\m\k\k.
(28) z. iZ>U[ a, Z
(29) . . . . . À ± ) . . . . O\XY`d6Jl{Y`_bjdt^E$}td6^`_Y`GmJ|_bjO_&K^`K[,Y`_bl{Y`_dt[£«ADQ®´ I_ª±K!^ZK![,Y`_bl{YZKWV^ U ^ ,Z¡(O[O Y`dVd6VYZl_=6KW´ltW _[IiI\IYl|Wnd6\I^ojgKDj!dtJiI\XYZK!^iI^Zdt}t^olf J |Y`GmlfY¤X}6_6K![²l tK*j¡Y`d6^lt^`}6\IJK![,Y
(30) Xj!dtJiI\XYZKWWnd6JK 6KjgY`dt^\I[mj¡YZ_d6[ À¢ ,FGmKDO YZd,d6m}6K![IK^ZlfY`KWlp[IK¥Wnd6\I^Zj!KiI^Zdt}t^olfJ Y`GmlfY¤V}t_tK[ YZGIK¯lf^Z}t\mJ|K[,Y jgd6J|im\XY`K*WpWnd6J|K¯ IK!^Z_{l{YZ_6KW¨dt ¢ NIÈ[ l¶W`K![mW`Kt¤(lf[O Y`dVdtu&K!G2l8tKW¨blf^Z}tKU _ =tKlpjgd6J|im_K!^*¤f¥GI_bjoG|©m^ZWnY\I[m IK!^oWYolf[m IWEY`GIKJKlt[I_[I}pdf&Y`GIKd6^`_}t_[mltXiI^`d6}t^olfJ£¤{^ZK!iI^ZKW`K![,YZW(_Y_[ lt[²_[,Y`K!^Z[mlt2d6^`J£¤Vi&K!^`dt^ZJWlt[mlfUXWnK*WEY`d}6KgYl XKK!i&K!^\I[m IK!^oWYolf[m X_[I}2¤Vlt[m ¯}6K![IK^ZlfY`K*Wlt[²dtuIeKj¡Y j!dX XKtEFGIKpJlf_[¶ X_&K^`K[mjgK*W^`d6J ljgdtJiI_K!^$lf^ZK : Y`JGIKK lf[mJ|_[IK*lf}[Il6_[IW} l dtJQlfYZY`GIGIK KJd6lfuXY`e_bKj!jgltY²±jgY`dX^olf X[mK Wn_bdtW¯^ZJ X_l{&Y`K_^`dtK[C[,Y¯«A X_^`±d6K!J ^ZK![,YZY`GI_bK l{YZW`_d6dt[2\I®^ojgdtK6[ Y`GIOKpd6^` X_}tKg©2_[m[IltK2W¯\mY`GI[m_bj¡W¯YZ_[Id6[K¥ Y`lfGI},K<lf_iI[^`EdXF X\2GIjg_WK X_dt±uIK!e^ZKK!j¡[mYOj!KQj!dX_bW XKp_[_WiI}6^Z_K![m[IjgK_^ZiIltKDU¯J[I_[IdtdtY$^*_¤X[£uIJ\XYltjoJGmd6_[IWnYKQ\md6Wn^`KJ£^ZW¤IiIuI^Z\IKgYOK^Z^lfY`Y`dGIKWn^KKD_[ YZGIW`K¨dt\I^`^oK*jgWnKD\mªYodtW^ZJdt X_&K^`K[6YZ_lfY`_dt[¯_[YZGIK!_^Al86dt^Z_ªYZK$Wnd6\I^ojgKblf[I}6\mlf}6Kt¤6lt[m YZGI_Wlfd{¥$W´Y`GIKQjgd6J|im_K!^*¤6bl{YZK!^dt[¤ Y`d^Z\I[Y`GIKp\mW`\mlt.dtiXYZ_J_°l{YZ_d6[0WnY`KimWd6[²YZGIKM X_&K^`K[6YZ_lfY`K* 0j!dX XKt GVU0_W$W`\mjoG£l|Y`^olf[mWndt^ZJl{YZ_d6[i&d6WZWn_uIK O l6j¡YZ\mlfU²^`K_KWd6[¶l [V\IJ u2K^$df«^ZKl6Wnd6[mlfumK8® l6W`W`\IJiXYZ_d6[mWd6[Y`GIKDiI^Zdt}t^olf J ±,FhdMu&K!}t_[¯¥_Y`G¤XD¦l6W`W`\IJKWY`GmlfY ^ZK!iI^ZKW`K![,YZWlf2_YZWi2d,W`W`_uIK ^Z\I[X¾ Y`_JKWnK*a,\IK![mj!KW.dtX_[mWnY`^Z\mjgY`_dt[mW¤*lt[m ¨_Y¥_t_[¨AltjgYh X_&K^`K[,Y`_bl{Y`K´YZGIKW`KW`Ka,\IK[mjgK*W!FGmK!^ZKgdt^ZKt¤ YZGIK >U l[ ^`U dt M_bW´iI\XYl6Wn_b XKY`K!Ji&dt^olf^Z_Ut¤flt[m |O ¥_2Wn_JiIU<^`K_[,Y`^ZdX X\mj!KYZGI_WEj!dt[,Y`^ZdtV_[,Y`dQY`GIK I_ª±K!^ZK![,Y`_bl{YZK im^`d6}t^olfJ£N IÈ[dfY`GmK!^¥d6^Z IW!¤ _bW X_ª±K!^ZK![,YZ_lfY`K ¯dt[IUiI_K*jgK¥_W`Kt bXi&K!^Z_K[mjgKQWnGId{¥$W YZGml{YYZGI_bW_W^ZKl6Wnd6[mlfumKD_[£Jd6WnYOj!l6WnK*W!¤Xlf[2 ²}6dt_[I}|\I^nYZGIK!^_bW$WnY`_hlf[0dti&K![0^`K*WnK*lf^ojoG²iI^ZdtuIK!J£ FGIK[¤.lf[VU£WnK*a6\mK![mj!K<df_[mWnY`^Z\mj¡YZ_d6[mW$_bWD_ XK[,Y`_©mK ¥_ªYZG l²j!dtJi2d,Wn_Y`_dt[¶dttK*j¡Y`d6^$\I[2j¡Y`_dt[2W!¤ K*ltjoG0df(¥GI_joG£_bWltWZWn\mJ|K* I_ª±K!^ZK![,Y`_blfumK6´FGV\mW¤Xd6^$l }6_6K![£jgd6[6YZ^`d6 : " _W #$$%'&(*)!&+*+,.-/&102 «*® ¢ 3 -54 3 -'67%84:9+9*9$4 3 % ¥GmK!^ZK²Kl6jo; G 3=< _W Y`GmKKKJ|K[,YZlf^ZUC\I[mjgY`_dt[ _JiIK!JK![,YZK u,U_[mWnY`^Z\mj¡YZ_d6> [ +</IÈ[ }tK[IK!^olf ¤´Y`GIK \m[mj¡YZ_d6[mW(_JiIK!JK![,YZK MuVU¨YZGIKlt^`_Y`GmJ|K!Y`_bjd6i2K^ZlfY`_dt[mWhdfXYZGIKim^`d6}t^olfJJ_[I}Olt[I}t\mlt}tKlt^`K_[2 XK!K* I_ª±K!^ZK![,Y`_blfumK6 $d{¥K!6K!^¨_[ Wnd6J|K^olf^ZKj!ltW`KW¤YZGI_bWM_bWp[IdfYpYZ^`\mKt! Gmdt^MdK bIlfJiIKY`GIK²WZa,\mlf^ZK^`dVdtY _bW¨ XKg©2[IK Cdt[Cl0[,\mlt^`}6\IJK![,Y¤.lf[2 _YZWp XK^`_{l{YZ_6K _bW¨[IdfY* O}6lf_[CK bXi2K^`_K![2jgKWnGId{¥$WDYZGml{Y¨Y`Gm_W l6W`W`\IJiXYZ_d6[_bWtK^`_©mK _[0Jd,WY$j!l6WnK*W! G(_[mlfU6¤XO¦Wn_JiIUltiIiI_K*WEY`GmKQjoGmlt_[^Z\IKY`d dtuXYolf_[¯ XK!^Z_8lfY`_tK*Wdf ¢ I ¥KO¥^Z_ªYZKdt^WnGmdt^`Y < Y`GIK{lf\IKWQdtlf´{lf^Z_ltuIK*WDlfµY`K^QK*ltjoG:_[mWnY`^Z\mjgY`_dt [ < ±_? Kt @?AB lt[m < 3 < C <$67% ( YZGIKMjoGmlt_[0^`\mK¨}t_tK*WY`GIK ltj!dtuI_blf[0E¢ D.dfE¢ ¢ D CFG3 - D -'67% IH 3 -'D 67% -'6J) IHK*+EH3 % D @?L «?vt® ¥Gm_joG j!lt[ u&K0JK*joGmlf[I_bj!ltUY`^olf[2Wnbl{YZK u2lt>j = _[6YZd l:W`Ka,\IK[mjgK£dfD_[mWnY`^Z\mjgY`_dt[mW < D lf[m Y`GIK*WnK W`Ka,\IK[mjgK*Wp_[mWnK^nYZK Cuml6>j = _[6YZd l¶jgd6i,U:dfY`GmK²jgd6[6YZ^`d6EdfM ±¤UV_K I_[I} iI^`d6}t^olfN J ±hFGI_bWMj!lt[ u2K }6K![IK^Zlt_°!K* YZd|Gm_}6GIK!^K!6K! XK^`_{l{Y`_tK*W!¤IF(l8UVd6^W`K!^Z_KW¤XKgYZjt ÐÑ(ÒеÓ.
(31)
(32) . .
(33)
(34)
(35)
(36) "!$#%
(37) . <. IÈ[pim^Zl6j¡Y`_bjgK6¤!YZGIKltu2d{6K l6jgdtum_lt[Q¢EDC2_WdfµY`K[¨Alf^Y`dVdKbXi&K![mW`_6K´Y`dOj!dtJiI\XYZKlf[2 pWYZdt^ZKtLOdfY`_bjgK d6^¨_[mWnYZlt[mjgK Y`G2l{Y¨Ka,\ml{YZ_d6[ « vt®D^`Ki2K*l{YZK XU¶J<\IY`_iI_K*WQJlfY`^Z_j!KW¤.¥GId6W`K W`_°!K_WQdtY`GIKd6^Z XK^Ddt & H('8hGmdt^`Y`\I[2l{Y`KU6¤2^ZKW`dt\XYZ_d6[¶dfJlf[VU£iI^ZdtuIK!JW$^ZKa,\I_^ZKWd6[IU¶W`dtJKMiI^ZdfeK*j¡YZ_d6[mW$dt¢ D C( Gmdt^¨K bIltJ|imK6¤&d6[IK|Jl8U¶[mK!K :dt[mU ZdX Z [
(38) [ KX\Z¡¤ltW`d)=V[Id{¥[CltW a ^`X d[ KU a Xd^
(39) _[
(40) XZo¤h¥GI_bjoG lt^`KQ¢ D C H* ) d6^l }t_tK[² X_^`K*j¡YZ_d6+ [ ) _[Y`GIKQ_[miI\XYOW`imltj!Kt´NOW`_[I}|Ka,\mlfY`_dt[C«?vt®g¤IWnK[mW`_ªYZ_V_YU_W ¢ D H ) G3 - D A-'67%LIH 3 -'D 67% A-'6J)!IHK*+EH3 % D ? IH ) «As6® ¥Gm_joG0_W$"K #¯jg_K![,Y`Uj!dtJiI\XYZK ^ZdtJ ^Z_}6G,YYZdK!µY¤Iu&Kjlf\mW`K¨Y`Gm_+W =6K!KimWJ<\IY`_iIUV_[I}¯l|Jl{YZ^`_ b²uVU l tK*j¡Y`d6^FGI_bW|_W Kl6WnUCY`d:_JiIK!JK[6Y*¤u&Kjlf\mW`K¯YZGIK0 IK!^Z_{l{YZ_6KW dfYZGIK²©2^ZWnY|_[mWnY`^Z\mj¡YZ_d6[mW|lf^ZK ^ZKa,\I_^ZK ©m^oWY*¤,lt[m |Y`GV\mWY`GIKUjlf[u&KO_[6YZK!^ZK*l8tK* ¥_Y`GYZGIKOd6^`_}t_[mltIiI^Zdt}t^olfJ _[mWnY`^Z\mjgY`_dt[mW(FGm_W _bW<Y`GIK0iI^Z_[mj!_imK0df$YZGIK [ < X V[ UDa X|dfOD<¤E¥Gm_joG _W<Y`GIK0Jd6WnYWnY`^olf_}tG,Y`dt^Z¥lt^Z .¤(dfOj!dt\I^oW`K l8{lt_blfuIK£_[ 6II.h ¦FGIK¶iI^Zdt}t^olfJ I_ª±K!^ZK![,Y`_bl{YZK _[ Yolf[I}6K![,YJdV IK _W¯dfµY`K[ j!lfK Y`GIK [ LXl[)V^`U ^ dtF ±¤X¥^Z_ªY`Y`K[ " ) Od{¥KtK!^ _[ d6iXY`_J_°*l{YZ_d6[¤ IlfYZl ltWZWn_J_bl{YZ_d6[ vI ¤ _[V6K!^oWnK im^`d6uIKJW!¤Md6^:l6 8edt_[,Y:iI^ZdtuX¾ K!JW sIl¤ CI¤D < ¤IY`GmKMlfiIiI^Zdtim^`_bl{YZKQ XK^`_{l{YZ_6Kp_WYZGIK ^ a! KX V[dfE¢LOdfYZ_j!K¨Y`GmlfY$Y`GIKp}6^Zl6 X_K![,Y_W d6[IU0 XK!©m[IK* £dt^¨l¯WZj!lfblf^`¾ 8lt\mK \I[mjgY`_dt[ :_[¶Y`GmK<}tK[IK!^olf(j!l6WnKM¥GmK!^ZK _bWDl¯tKjgY`d6^¤2¥K [IK!K* YZd: XK!©m[IK0l WZj!lfblf^<_[IKlt^|j!dtJ uI_[2l{Y`_dt[ ,H ltW<Y`GmK²[IK¥ ^`K*Wn\IYCFGIK£WYolf^<_> [ -,¯ XK[IdfYZKW YZ^Zlt[mW`i2d,Wn_Y`_dt[¤¥GI_bjoG Jl =tKW_Y²l^Zd{¥ tK*j¡Y`d6^FGmK¶¥K_}6G6YZ_[m}C6KjgY`dt^ _bW¯lf[ _[IiI\XY¯YZdY`GIK I_ª±K!^ZK![,Y`_bl{YZK ¶im^`d6}t^olfJ£$FGIK<}6^Zl6 X_K![,YOdf -,EH _WOY`GmK!^ZKgdt^ZK<¢ D ,= H @ ±¥GIK!^ZK<¢ D ,<_WOY`GIK [ ^ Z U ZdX a ltj!dtuI_blf[(NDWn_[I}Ka,\mlfY`_dt[«?vt®g¤XY`GmKp}t^olt X_K![,Y¥^`_Y`K*W ¢ D , C H B 3 % D , ? HI3 ) D , C %$ HK+*EHI3 -'D , 67% A-'6J)LH 3 - D , A-'67%$H «w,® u&Kjlf\mW`KMYZGIK Y`^olf[mW`i2d,WnK<df .BH0/ _b1W /, H2.3,fp$}6lt_[¤2YZGI_bWD_bWDJ|d,WY¨"K #¯j!_K[6YZU£K8lt\2l{Y`K* £^ZdtJ ^Z_}tG,YY`d KgµY¤u&Kjlf\mW`K¶Jl{YZ^`_ b8HEtKjgY`d6^ iI^ZdX X\mjgYZW¯lt^`K W`dJ<\mjoG joGIK*lfi&K!^Y`G2lf[ Jl{YZ^`_ b8HEJlfY`^Z_ b im^`dX X\mjgYZWEFGI_W$_WYZGIKpiI^Z_[2jg_iIK¨dthYZGI K ^`XiXd^>ZdX U aLXdfEO ¤I¥GI_bjoG£_Wl8{lt_blfuIK¨_[ 6II.h FGmKDiI^Zdt}6^ZltJ X_±K!^ZK![,Y`_bl{YZK ¯_[²^ZK!6K!^oWnKOJ|dX XKQ_bWdtµY`K![0j!ltK ¯Y`GI K a54dU l[)V^`U ^ dt &¤V¥^Z_ªY`Y`K[ " FGI_bWYZ\I^Z[mWOd6\XY$YZd¯J_l =tKMl¯tK!^ZU²K #¯jg_K![,YOiI^Zdt}6^ZltJ0¤2l{YOKl6WY$YZGIK!d6^`K!Y`_bj!ltU D FV¤.SVK*j¡Y`_dt[ sm ;w FGmK<jgd6J|im\XYZlfY`_dt[0Y`_JKM^`K*a,\I_^ZK d6^Y`GIK<}t^olt X_K![,Y$_bW$dt[mU0lWnJlfJ \IY`_iIK<df´Y`GIK<^`\I[£YZ_JKMdt ± GmK![0Y`GIKp[V\IJ u2K^ & dt(d6\XY`iI\IYZWdt´¢_WOWnJlf ¤I¥GI_bjoG0_bW\mW`\mltUY`GmK<j!l6WnKQdt^d6iXY`_J_°*l{YZ_d6[ im^`d6uIKJW!¤&Y`GmK|^ZK!6K!^oWnK<J|dX XK|dfO jlf[ u&K|\mWnK* ¶YZd0j!dtJiI\XYZK YZGIKjgdtJiIKgYZK l6jgdtum_lt[¶^`d{¥uVU ^Zd{¥ lfYpl06K!^ZU¶^`K*ltW`dt[mltuIK|jgd,WY*, IÈ[Cimlf^`Y`_bjg\mlt^¤±YZGI_W<jgd6WnYp_W¨_[m XKi2K[m XK[6Yp^ZdtJ Y`GIK[V\IJ<u&K!^pdt _[IiI\IY$imlf^olfJKgYZK!^o6W '8 X¥GI_joG¶jlf[0u2Kp6K!^ZUlt^`}6Kt Od{¥KtK!^*¤´¥K0dtu2WnK^`6K¯_[ Ka,\mlfY`_dt[À«Aw,®MY`GmlfY YZGI K < lt^`K^`K*a,\I_^ZK _[ Y`GIK 2 X^>ZdX dfOY`GIK_^ j!dtJiI\XYol{YZ_d6[Àdt^o XK^3 I <YZGIKCdt^Z_}6_[mltDim^`d6}t^olfJ U X^87^ [ X\Z£l imlt^nY£df < YZGIK X_&K^`K[6YZ_lfY`K* im^`d6}t^olfJ J \mWnYD^ZKWnY`dt^ZK < u&Kgd6^`K _ªY¨_WD\mW`K ¶uVU 3 <:D , 9 % < .FGI_WD_bW$YZGIK Jlt_[ I^Zl8¥uml6>j =²dtY`GIK ^ZK!6K!^oWnKDJdV IKpdfEO mFGIK!^ZKplf^ZKQY¥djgbltWZWn_bj!lt.WYZ^ZlfY`K!}6_K*WY`d¯jgd6i2K¨¥_Y`G0Y`G2l{Y : ²¸ ¼ * ¸tº ~ <; (~ =8 YZGIK < lf^ZKp^ZKjgd6JiI\XY`K* £¥GIK![¶[mK!K IK .¤&^`K*WYolf^`Y`_[I@} 0dt[¶_[IiI\XY ? \m[6YZ__[mWnY`^Z\mj¡YZ_d6>[ +< Gh_}t\m^`K¶v }6^ZltiIGI_bj!ltU_\2WYZ^ZlfY`KW YZGI_WkO WnY`^ol{YZK!}6Ut FGI?K > E@ <. ÒIÉ0Ù_jlk\m\k\k.
(41) *r. iZ>U[ a, Z
(42) I1. I2. I3. Ip-2 Ip-1 Ip. time. Ip-1. I1 I2 I1. (_}t\I^ZKMv :FGIKpkK*jgdtJiI\IY`Kg¾È$WnY`^ol{YZK!}tU G. _[2WYZ^`\mjgY`_dt[mWlt[m umltj>=V¥lf^o IW|lf^Z^`d{¥$W ^`KiI^ZKW`K![,YY`GIK¶KdbVK*jg\XYZ_d6[ dtOYZGIK X_&K^`K[6YZ_lfY`K* _[X¾ WYZ^`\2j¡Y`_dt[2W!¤,Y`G2l{YKg±Kj¡YZ_6K!UjgdtJiI\IY`K A<$67% 3 < D , <$67%' H < ,FGIKQuI_}<uIbltj>=lt[m ¯¥GI_Y`K XdfYoW<^ZK!im^`K*WnK[6Y ^`K*Wni&KjgY`_tK!UCY`GIK0WYZdt^olf}6K²lf[m ^`K!Y`^Z_K8ltdtOK![Id6\I}tG {lt\IK*WMYZd u&K0ltuIK¯Y`d ^`K*WYolf^`YDjgd6JiI\XYZlfY`_dt[£^ZdtJ Y`GIK _[m_ªYZ_lti&dt_[6Y* 8^`\IY`Kg¾ dt^ojgKMkO WnY`^ol{Y`K}tUGmltWOKWZWnK[6YZ_ltUl a,\mlt X^ol{YZ_jpY`_J|K|jgd,WYO¥_Y`G ^`K*Wni&KjgY$Y`dYZGIKMYZdfYolf[V\IJ u2K^DdtE^`\I[I¾?YZ_JKM_[mWnY`^Z\mj¡YZ_d6[mW &FGIK t $ t YZdVdt\mW`KWpY`GI_bW<WnY`^ol{YZK!}tU6¤.Y`d6}tK!Y`GIK^p¥_ªYZG l Z " :WnY`^ol{YZK!}6Ut¤hjlfK* ' 8 v ¤hY`d _J_ªYD^`K*jgdtJiI\IYZl{YZ_d6[mWY`d|Y`Gmd6W`KMltj¡YZ\mlfU[IK!K* XK Y`d¯j!dtJiI\XYZKQY`GIKp^ZKa,\I_^`K* < X9 \I ¼^Z_ [m¸6} º ~ l iI^Z; K!9 _(~ J=8_[m lfYZGI^ZU K ^`\I< [ ltdf^`Kp^ZKWnYZY`Gmd6l{^`Y¶K* lt m^` Xd6_ªJYZ_d6l²[mlfWYoltU>j =0WYZ¥dt^ZGIKK!W[ 8[mltK!^`K_blf IumK .K*OW²Fd6Gm[_WDY`GmWYoKClt>j Wn=0YZl6_>j WO=:©me\2K*W Y u2K!dt^ZKOYZGIK!Ult^`KDd{tK!^Z¥^Z_ªY`Y`K![(FGIK*WnKQWYZdt^ZK {lt^`_blfuIKWdt^ZJ§¥Gml{Y_WW`dtJKgYZ_JKWj!ltK ¯Y`GIK [ ^ 4dX [ U ^«? XK!iI^ZKjl{YZK m®dt^YZGI K [ Xg FGI_bW<iI^ZK!_J|_[mlt^`U:^`\I[ _bW<jlfK* CY`GIK U ^87 _^`a Z 7X>X @ " (FGmK² X_&K^`K[6YZ_lfY`K* _[mWnY`^Z\mjgY`_dt[mW WYZ^`_bj¡YZU W`i2K*_l =V_[I} dt^ZJ Y`GIK 7 _^`aPZ 7X>X > "@ QGh_}t\m^`KCs }t^olfiIGm_jlfU _\2WYZ^ZlfY`KW²Y`Gm_W SX WnY`^ol{Y`K}tU6 FGIK W`JlfuIblt>j = lf[2 ¥GI_Y`K IdfYZW^ZK!im^`K*WnK[6Y^ZKW`i2K*j¡Y`_tKU Y`GIK WnY`d6^Zlt}tK²dt I1. I2. I3. Ip-2 Ip-1. I1. I2. I3. Ip-2 Ip-1 Ip. time. (_}6\I^ZK¨s :EFGIK<S,Y`d6^`K!¾ OWnY`^ol{YZK!}6U _[,YZK!^ZJ|K* X_bl{Y`K0{lf\IKWDe\mWnYu2K!dt^ZK²YZGIK!U lt^`K0d{tK^`¥^Z_ªY`Y`K[ u,U lt[ _[mWnY`^Z\mj¡YZ_d6[>+< lf[m Y`GIK_^ jgd6^`^ZKW`i2d6[m X_[I} ^ZKgYZ^`_K!{lt I\I^`_[I}:Y`GIK£uml6>j =V¥lt^Z W`¥K!K!i 8^`\IY`Kg¾ dt^ojgK£SX WnY`^ol{Y`K}tUGml6W|l G. ÐÑ(ÒеÓ.
(43) 6.
(44) . _[IK*lf^pJK!Jdt^ZU j!d6WnY¨¥_Y`G^ZKW`i2K*j¡Y¨Y`d FGIK $&' w! lt[m 6II Y`dVd6W¨\mW`KY`Gm_W WYZ^ZlfY`K}tUt IÈ[Clfhj!l6WnK*W!¤2Y`GmKW`K<uml6j>=6¾Èlf[2 V¾?d6^nYZG¶WYZ^ZlfY`K!}6_K*WOlt^`K<l²iI^ZdtuIK!J ^`K}6lt^Z X_[I}6dVjlfuI\mlt^`U6 Gml{Y ¥dt\m £JKlt[ X U_^`XDdt^ >[]Xd^$l}t_tK[¶_[2WYZ^`\mjgY`_dt[ IÈ[¶Y`GIK|WnK*a,\IK! ¤ X U ^`XDlf[2 >[ X^$^ZKgK^Y`d²Y`GIK }6d6umlf±dK bVK*jg\XYZ_d6[d6^Z IK!^dfhY`GIKMj!dtJiIKgY`Kp X_±K!^ZK![,Y`_bl{YZK iI^`d6}t^olfJ£³D[²YZGIK¨dfY`GmK!^Gmlt[m .¤X¥K¨W`Gmlt \2WnK a U 7 lZ\[ ^`X ! lt[m VZ>[ ^`X Y`dD^`K!K!^hY`dOY`GIKdt^o XK!^dfIYZGIKj!dt^Z^`K*Wni&dt[m I_[I}Odt^Z_}6_[mltf_[mWYZ^`\2j¡Y`_dt[2W! IÈ[²dfY`GmK!^¥d6^Z IW¤t_[YZGIK 7 ^`aDW`¥KK!i¤6Y`GIKQ_[mWYZ^`\2j¡Y`_dt[ >[]Xd^_bWltW`d VZ>[ ^`X §«µYZdMYZGIKDd6^`_}t_[mlt im^`d6}t^olfJ£ Wd6^`_}t_[2®g¤<[m £Y`GmK<_[mWYZ^`\2j¡Y`_dt[ `X U ^ XO_bWQlfbWnd aLU 7 Z\[ ^`X «µYZd¯YZGIK<d6^`_}t_[mlfiI^`d6}t^olfJ£ W K[m m®gO(Wni&Kj!_lt_bWnYZWdt(YZGIKM^ZK!6K!^oWnKQJdV IK²«K6 }2WZlfJdt[mW 8®¥_Y`KWnY`_U0GId{¥ J \mjoG£Gmlf^o XK^$_ªYD_W YZd}td\IimWnY`^ZKltJ0 .
(45)
(46) #
(47)
(48)
(49)
(50) !$#
(51). ³D[0^ZKlf±blf^Z}tKDiI^`d6}t^olfJW¤6[IK_ªYZGIK!^YZGIKMk$¦[Id6^Y`GIKMSXWnY`^ol{YZK!}tU¯jlf[¥d6`^ =± 8dfY`G[IK!K* £l W`i2K*jg_blf WnY`d6^Zlt}tK8^ZKjgd6JiI\XYZlfY`_dt[pYZ^Zl6 XKg¾ df_[d6^Z XK^EY`d<u2K$^ZKltU<K#¯jg_K![,YEFGI_bWEYZ^Zl6 XKg¾ df²_bWjlfK* X U V[ f¨FGIK _ XK*l¯_bW$YZdW`K!KjgYDdt[mKMdt^QJlf[VU0W`\IuX¾ imlt^nYoW dfEYZGIK<iI^Zdt}6^ZltJ ±¤&i2d,W`W`_umU£[IK*WYZK . Gmdt^(Kl6jo G 2¤8dt[IKj!lt[ W`imlf^ZKW`dtJK^`Ki2K*l{Y`K* M^ZKj!dtJiI\XYol{Y`_dt[<_[ Y`GIKk$ j!l6WnK6¤QW`dtJKJ|KJdt^ZUp_[ Y`GIK SI j!l6WnK6¤2l{YOY`GIK<j!d6WnYOdfE^ZK!JK!J u2K^`_[I}¯/l Z lZU_[?¤±_ K6K![Id6\I}tG£{lf^Z_ltuIKWYZd¯u2K|lfuIK¨Y`d²^`K*WYolf^`Y dK bXKjg\IY`_dt[ ^`d6J lO}6_6K![|i2d6_[,Y*´SVi&Kj!_ª©&j!lfUM_[|YZGIK$k$ j!l6WnK6¤{Y`GIKW`[mlfi2WnGIdtYE_W(Yo_l =tK[|lfY´Y`GIKK[m <dt 2¤V_[d6^Z XK^YZd ^ZK I\mjgKDY`GIK¨K![I}tY`Gdfh^ZKj!dtJiI\XYol{YZ_d6[²WnK*a,\IK![mj!KWSVUVJ|JK!Y`^Z_jlfU_[²YZGIKMSX j!ltW`Kt¤ YZGIKDW`[mltimWnGmdfY_bWYo_l =tK[¯l{YYZGIKOu&K!}6_[m[I_[m}<df WndMY`GmlfYY`GmKO_[I_ªYZ_ltmd6^`¥lf^o Wn¥K!Ki XdVKW[Id<WnY`dt^olf}6K lfYDlf ¤muI\XY¨lf[¶dK b,YZ^Zl¯^`\I[¶dt ¯¥_(u&K Xd6[IKMbl{Y`K^¤mY`GI_bWYZ_JK ¥_ªYZG WYZdt^olf}6KtQ Gh_}t\m^`KMw²_\2WYZ^ZlfY`KW joGmK>j =Vi2d6_[,YZ_[I}²dt^Qu2dtY`Gk$ lf[m CSX§WYZ^ZlfY`K!}6_K*W!¤&d6^Dd6[IK|W`_[I}tK joGIK*>j =Vi2d6_[,Y`K* W`\IuX¾ imlf^`Y|]« " *(® l6W¥Kl6Wdt^[IK*WYZK £joGIK*>j =,i&dt_[,Y`K* ¯imlt^nYoWp« " * ,*®g Recompute-All :. Store-All : S. {. {. S. Ckp :. Ckp*:. h_}t\m^`K¨w : IG K*j>=Vi2d6_[,Y`_[I}_[YZGIKMjgd6[,Y`KbVYoWdf(kOlf[m £SX G. ÒIÉ0Ù_jlk\m\k\k.
(52) 8v. iZ>U[ a, Z
(53) . IÈ[,Y`K^`K*WYZ_[m}tUt¤E©m}2hwW`GId{¥$WMYZGml{Y¥GIK[ Y`GmK0[V\IJ u2K^ dtDjoGIK*>j =,i&dt_[,YZW _[2jg^ZKltW`KW¤´Y`GmKd{6K!^olf nW Y`^Z\mjgY`\I^ZKdtIY`GIKl6 8edt_[,Y(iI^Zdt}6^ZltJ u&Kj!dtJKW´W`_J_lt^¤{lt[m <W`dQ Id$Y`GmKj!d6WnYZWh_[|KbVYZ^ZlO^`K*jgdtJiI\IYZl{YZ_d6[ lt[m CWn[mltimW`GIdfYpWYZdt^olf}6Kt<FGIK X_±K!^ZK