Faster Fourier Transforms via Automatic Program Specialization

Texte intégral

(1)Faster Fourier Transforms via Automatic Program Specialization Julia Lawall. To cite this version: Julia Lawall. Faster Fourier Transforms via Automatic Program Specialization. [Research Report] RR-3437, INRIA. 1998. �inria-00073253�. HAL Id: inria-00073253 https://hal.inria.fr/inria-00073253 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. 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 établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Faster Fourier Transforms via Automatic Program Specialization Julia L. Lawall. N ˚ 3437 Juin 1998 ` THEME 2. ISSN 0249-6399. apport de recherche.

(3)

(4)

(5)

(6) !"

(7) # $"%&

(8) ' (. )*+ $, - ./#

(9) . 20 13547698;:<8=6?>@623A3 B C?DFE@GHIKJMLON?PQG;RTSVUWPTXPQGFR GFY=XZ[R\X]^R`_ba?Ec2SVRTP\de]^G fhgiS[jkGFYMl/SWEnm2SW_iG opZVmqmqSegbY r?GgiGFXsC?GOgiXsC^GtNu[veuewIyxe]?P\N{zF|W|V}IyH[}nm^Z[UWGF_. ~F^ [W" GFXZW]^_iGpS[PQY_/ P\r?G#ZVm^m^RQP\XZWc?PQRTPTYaVE@ZWNeaG X PTGFNeY,PTEnm?RTGFE@GFNeYZ[YbPTSWNq_hSVYiC?G2ZW_bY,qSe]^giPQGOg/BgiZWN^_bSWgE C^ZWG,c2GGON@r^GVGFRQSemqGOrkNYC?PT_hm^ZVm2GFg,G m^gbSemqSe_bGYC^Z[YG XPQGONWY<P\Enm?RTGFE@GFNeYiZVYbPTSWN^_<XFZVN@cqG=mqgbS?r^]^XGFr@ZV]?YiSWEnZ[YiPTXFZ[RTRQa ZVNqrgbGFRQP\ZVc?RTancWanm^ZWgbYiPTZVRqGZVRT]^ZVYbPTSWNf<ZVgiYbP\Z[R2GZ[R\]^Z[YiPQSeNnS[ZWN]^N?SWm^YbP\E(PTGOrP\E@m^RQGOE(GONeYiZ[YiPQSeNm^giS?r^]^X GO_hZ_m2GGFrq]^m S[SVGOg wYiPTE@GF_FB C?GZW]?YbSeE@ZVYbP\XZVRQRTaUVGON?GFgZ[YiGFr giGF_]?RTYS[mqZVgiYbP\Z[RGZVRT]^ZVYbPTSWNC^ZV_ m2GFgbSWgEnZVN^XGXSWEnm^ZWgiZWc?RQGYbSnSeg G ^XGGFr^PTN?UYiC^ZVYMm^giS?r^]^XGFrceaZZVgiPTGYaS[hC^ZWN^rSem?YbP\E@PQOZ[YiPQSeN^_MGnZVNqZ[RTaeFGYiC^G@c2GFN?G qYi_SVhm^ZVgiYbP\Z[RGZ[R\]^ZVYbPTSWN Z[Y c2SVYCXSWEnm?PTRQG;YiPTE@GZWN^rg]^NYbP\E@GVqZWN^r_i]^giVGFagbGFRTZVYbGOrC^ZWN^r¡7SWm?YiPTE@PTFZVYbPTSWNYbGFXsCqN?PTd]?GO_ ¢£e¤¦¥i§¨ ©W fZWgbYiPTZVRGZ[R\]^Z[YiPQSeN/XSWEnm?PTRTZVYbPTSWN,X SeE@m^PQRTG ¡7YbP\E@GSem?YbP\E@PQOZ[YiPQSeN/g]^N¡7YbP\E@GSem?YbP\E@PQOZ[YiPQSeNhªZV_iY qSe]^giPQGOg BgZVN^_bSWgE. «¬®i¯7°F±® ²³\¯5´7µ ¶ ·¸O¹Aº»s¼k½ ¾¿k¸¼À¼ÀÁbÂ ¹<ÃÅÄOÄ¼AÁk¾A¾iÆ¦Ç»sÈ ÉO¸O¹5Ák¼ÊF¿kËÌÁkÂ¿kÁhÍ2¼À»sÎs¼5ÃÅÈ#ÏVÐÑ[Ák¼ÀÒÌËÌÂ;Ç¦»sÒÌÒÌÁkÎsÁ ÏÐÑ[Áb¼ÀÒÌËÌÂeÏVÐºOËÌ»ÏÓsÓ Ô ÕÓÏ[ÖÊF·/Ï× ØsØÅÙÚsÛeÜÝbÞOßàØ ákâ2Üßãä. Unité de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00 Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71.

(10) . #

(11) (

(12)

(13)

(14) * t* * $/ - ;

(15)

(16) # *

(17) '

(18) Ghm^ZWgbY`_iSWN#r?SeEnZ[P\N?Gr ZVm^m?RTP\XZ[YiPQSeNYigiDF_R\ZVgiUVGWR\ZYigZVN^_bSWgE@LGr?G<2SW]^giPQGOg`gZVm?P\r?GÀ<B¦Z,ÀZVPQY`R SWcjkGFY r?GN^SWEcqgbGO]^_bGO_LY]^r?GF_=eP\_ZVNeY nSWm?YiPTE@P\_bGOg=_iSWNPTEnm?RTLFE@GONWYZ[YiPQSeN ZVN^_MX GFY=ZVgiYbP\X RTGVqN?Se]^_=m^giSWm2SW_iSWNq_ r ]^YbPTRQP\_bGOg R\Z YbGOXsC^N?P\d]?Gr LZ[R\]^Z[YiPQSeN#m^ZVgiYbPTGRTRQGWFGFYm?R\]^_`m^giLFXPT_iLFE@GONWYRTGh_mqLOX P\Z[RTPT_iGF]qgBGOE@m2Sqm2SW]^gUVLFN^LFgiGFg¦r?G<ÀZ SWN#ZW]?YbSeE@ZVYbP\d]?G GYp 2ZVc^RQG]qN?GE@PT_iGGO N ]??gbGG XZWX Gr?G(RTZ<B# hN_mqLOX P\Z[RTPT_ZVNeY=]^N?G(PTEnm?RTLFE@GONWYZ[YiPQSeNN^!Z 7VGr?G(RTZ<B#¦N?SW]q_ SWc^YbGFN^SWN^_M]^NÀZVXYbGF]qgpr ZVXFX LRTLFgZ[YiPQSeNZ[RTRTZWNWYjb]q_id] w Gm?R\]^_FªXGYiYbG<B SWm?YiPTE@P\_bLFGZV]^YbSWEnZVYbP\de]^GFE@GFNeY=GO_bYpZW] E@SVP\N^_ZV]^__iPeGXZVXG,d] ]^N?G,P\E@m^RQLOE(GONeYiZ[YiPQSeNSem?YbP\E@PT_iLGZV](E@SaVGFNr?GYbGFXsCqN?PTd]?GO_E@ZWN]?GRTRQGO_ "MN?G XFZVgZVX YiLFgiPT_iYbP\d]?G P\N^N?SZVNeYbGr?G BGFEnmqSGF_iYr?G m2GFgE@GYiYigiG R\Z_im2LFXPTZVRQP\_Z[YbPTSWN_iSVPTYRTSWg_r?G R\ZXSWEnm?PTRTZVYbPTSWN SW# ] R G ?LFXF]?YbPTSWN% $MSW]^_ ZVNqZ[RTa_iSWNq_R ]?YbPTRQP\_Z[YbPTSWNnr?G=XGF_<r?GO]@_iYigZ[YiLUWPQGO_<_i]^gR\Z#<B#[GYr?LOXgiPQWSWN^_RTGF]^g_r?SeEnZ[P\N?GF_<r ZVmqm?RQP\XZVYbPTSWN@gbGO_im2GFXYbPQÀ_ &&¨ F ¥ ' LZ[R\]^Z[YiPQSeN9m^ZVgiYbPTGRTRTGV<X SeE@m^PQR\Z[YiPQSeNSWm?YiPTE@P\_iZVYbPTSW#N R\ZX SeEnm?PQR\Z[YiPQSeNSWm?YiPTE@P\_iZVYbPTSW#N R G ?GFXF]?YbPTSWN YigZVNq_kSegiE@LG#r?G;2SW]^giPQGOggiZWm?PTr^(G AB .

(19)

(20) $

(21) B C?GnqSe]^giPQGOgMYgiZWN^_bSWgEZWN^rPQY_#PTNeVGOgi_iG(ZWgbG@ P\r?GRTa+]^_iGFr+PTNZZWgbPTGYaSV,_X PTGFNeYbPQ 2X@ZVm^m^RQP\XZVYbPTSWN^_F`_i]qXsCZW_ZW]^r?PTS ZVNqr P\EnZ[UVG#m^giS?X GF__iPTN?U uWH7?PTNeYiGUWgZ[YiPQSeN uWH7^ZVNqrXFZ[R\X]?R\Z[YiPQSeN ]^_iPTNÛ@WGFgiaRTZWgbUWGMN]Ê(cqGOgi_ u?ûVu5B C?G#YgiZWN^_kSegiE X SeNeVGFgiYi_,ZÀ]^N^X YiPQSeNr?G 2N^GFrPTNYbGOgiEn_,S[YbP\E(G#YiSnZÀ]^N^XYbPTSWNr?G ªN?GFrPTNYbGOgiEn_SV`ÀgbGOd]?GFN^XaV C?GONZÀ]^N^XYbPTSWNPT_ r?G 2N?GFr(SVGOg`YC?G,ÀgbGOde]^GFN^Xar?SWEnZ[P\N[_iSWE@G,G ^mqGON^_iPQWG,XFZ[R\X]?R\Z[YiPQSeN^_ZWgbGE@SWgiGhYgiZWX YiZWc?RTGVB C^PT_YiGFXsC^N?P\d]?G,,ZW_EnZVr^G m^gZVXYbP\XZ[R/cWa YiC^Gr?GFVGRTSWmqE(GONeY;S[ YiC?G2ZW_bY2SW]^giPTGFgBgiZWN^_bSWgE À<B QzVz 5=C?P\XsC9]^_iGF_Z+r?PQP\r?G ¡ZVNqr¡7XSWN^d]?GOg Z[RTUVSegbPTYiCqEtYbS(XZ[R\X]^RTZVYbG=YC?G=qSe]^giPQGOgYigZVNq_kSegiE S[`Z#À]^N^XYbPTSWNgiGFm^giGF_iGFNeYiGFrnZV_/Zr?P\_iXFgbGFYbGp_iGYSVGVGON?RTaW¡_m^ZVXGFrnr^Z[YZ m2SVP\NWY_,B C?Gr?PTPTr^G ¡ZVN^r¡X SeN^d]?GFgZVRQUWSWgiPQYCÊ giGFr^]qX GF_YC?GXSWEnm?RTG ?PQYa ÀgbSeE

(22) YiS q=C?GOgbG P\_=YiC^G N]Êc2GFgSVrqZ[YiZnm2SVP\NeYi_F GF_m?PQYiGnYiC?G_iPQUeN?P ªXZVNeYiRQaP\Enm^gbSWGFrmqGOgkSegiEnZVNqX GV¦YC?GBgbGOEnZ[P\N^_#ZVNG ^mqGON^_iPQWG(SemqGOgiZVYbPTSWN+ZVNeaX SeE(¡ m^]?YZ[YiPQSeN^_=_mqGON^rZ@_]^c^_iYiZWNeYbP\Z[R`ZVE@Se]^NeY S[YiPTE@Gm2GFgbSWgE@PTNÛ@<B _<2SWg G?ZWEnm?RQGW?YiC?G"!$#%'&)(+*),.-0/(c2GFN^XsCqE@ZWg21 S[YiC?G3f ,l,|)4 GON^XsCÊnZVg51_i]^PQYiGQzOH"_im2GFNqr^_ ZVc2SW]?Y v0607SVYC?G#YbP\E(Gm2GFgbSWgE@PTNÛ@<B _S[<uWHSWg98[v@GRTGFE@GONWY_ ]^_iPTNÛ@Z@C^ZVNqr¡5Sem?YbP\E@PQFGFr PTEnm?RTGFE@GFNeYZ[YbPTSWN`:]^XsC G<;ªSegbYC^ZW_hUWSWN?GPTNeYiS@C^ZWN^r¡7SWm?YiPTE@PTP\N?UP\Enm?RTGFE@GFNeYiZVYbPTSWN^_,SVYiC^G Z[RTUVSegbPTYiCqEB C?GF_iGSWm^YbP\E(PTFZVYbPTSWN^_#P\N^XRT]^r^G ]^_iPTN?UgiGFXF]^ggbGON^X GO_#YbSRTPTE@PTYYiC?GNe]qEc2GFg;SV XFZ[RTRT_YbS_iPTN?GZWN^r9X Se_bP\N?GW GRTP\E(P\N^ZVYbP\N?U YC?G(XFZ[RTRT_pYbS YC?GF_iGEnZ[YCRTPTc^gZVgiagbSe]?YbP\N?GF_MX SeE@m^RQGFYbGRTacWagiGP\Enm?RQGOE@GFNeYbP\N?UYC?GFE E@SWgiGG XPQGONWYiRQaSeg ]^_iPTNÛ@YZVc?RTGF_F^giGFr^]^XPTNÛ@YC?GN]Êc2GFg=S[giGFZVRÈ]?RTYbP\m?RTPTXFZ[YiPQSeN^_^ZWN^r]^N^giSVRTRQP\N?UnRQSSem^_ =MZWN^rSem?YbP\E@PQOZ[YbPTSWNXZWNcqGYbGOr?PTSW]^_ZVNqrGFggiSWgb¡7m^giSWN^GV`f<ZVgiYbP\Z[RªGZVRT]^ZVYbPTSWNP\_,ZVN ZW]?YbSeEnZ[YbP\XpmqgbSWUWgZVEYigZVN^_bSWgb¡ EnZ[YiPQSeNYiCqZ[Y<_im2GFXPTZVRQPTGO_ZME@S?r^]?RTG PQYC@giGF_m2GFX YYbS#Z#_i]qc^_bGFYSV2PTYi_P\N^m^]?YFf<ZWgbYiPTZVReGFZ[R\]^Z[YiPQSeNm2GFgbSWgE@_ZVUVUWgiGF__iPQWGV P\NWYiGFgm^giSXGFr^]qgiZVReXSWN^_iYiZWNWY<m^giSWmqZ[UWZVYbPTSWNcqZV_iGFrSeNYC?G>1N?S=N(PTN^mq]?YkEnm^gbSWGFE@GFNeY_YC^Z[Y<XFZVN@cqG Sec?YiZVPTN?GOrP\N^XRT]^r^G X SeN^_iYiZVNeY SWRTr^PTN?U22RTSSWm]^NqgbSWRQRTPTNÛq2_iYigiGFNÛVYiCgiGFrq]^X YiPQSeNªZWN^r_iPTEnm?RTP ªXZ[YiPQSeNS[hXSWNeYigiSVR@?2S; kNX SeNWYgiZW_bY YiS C^ZWN^r SWm^YbP\E(PTFZVYbPTSWN/SWm?YiPTE@PTFZVYbPTSWN cWa mqZVgiYbP\Z[RGZ[R\]^ZVYbPTSWN PT_ZW]?YbSeE@ZVYbP\XZWN^r gbGFRQP\ZVc?RTGV l/SWggbGOX YN?GF__SWRQRTS=_(ÀgbSeE{YiC^G X SegigiGFXYiN?GO_i_,SVYiC^Gm^ZVgiYbP\Z[RGFZVRT]qZ[YbSeg kNYiC?P\_=m^ZWmqGOg /G#P\NeVGF_iYbPTUWZVYbG=C?GYC?GFgpm^ZVgiYbP\Z[RGFZVRT]qZ[YbPTSWNP\_=Zn_i]?PTYiZWc?RTG;YbSSVR¦SegUVGFN^GFgZ[YbP\N?UnZVNG XPQGONWY <B P\E@m^RQGOE(GONeYiZ[YiPQSeN GZVrqr^gbGO_i_Y/S+ZW_im2GFXYi_S[=YiC^PT_(de]^GF_iYbPTSWNP\gi_iY<,G r?GFYbGFgE@PTN^G=C^Z[Y(ZVgiGYiC?GcqGO_bY@gbGO_i]^RQY_ ,GnXFZVN+SWc?YZ[P\NZW]?YbSeE@ZVYbP\XZVRQRTacea+m^ZVgiYbP\Z[RGFZVRT]qZ[YbPTSWN+S[ZVN ]^N?SWm^YbP\E(PTGOr+P\Enm?RTGFE@GFNeYiZVYbPTSWNYiC^ZVY;r?PTgiGFXYbRTaSVRTRTS=_ YiC^GE@ZVYiC?GOEnZ[YbP\XZVR Z[RTUVSWgiPTYiCÊ BSSWc?YZ[P\N YC?GcqGO_bYgiGF_]?RTYi_@ÀgiSWE{m^ZWgbYiPTZVR GZ[R\]^ZVYbPTSWN,GC^ZVGYbS9E@S?r?PQa YiC^G P\E@m^RQGOE(GONeYiZ[YiPQSeN_iRTPQUeCWYiRQaW G( ªN^r+YC^Z[Y;m^ZWgbYiPTZVRGZ[R\]^Z[YiPQSeNP\Enm^gbSWGF_MYiC?G]^N^SWm?YiPTE@PTGFrP\E@m^RQGOE(GONeYiZ[YiPQSeN+SWGFg#w YbP\E@GF_=C?GFN#YC?GhP\N^m^]^YXSWNeYiZVPTN^_zA8 GFRQGOE(GONeYi_ZWN^r#SVGOgù YiPTE@GF_=C?GON;YiC?G/PTNqm^]?YXSWNeYiZVPTNq_4?zHGRTGFE@GFNeY_B3eGFXSWN^rO,G X SeEnm^ZVgiG YiC?G#c2GF_iY/giGF_]?RQY_YC^Z[Y,XZVNc2GpSec?YiZVPTN^GFr PTYiCmqZVgiYbP\Z[RqGFZ[R\]^Z[YiPQSeNnYbSYC?Gm2GFgbSWgEnZVN^XG S[`SWYiC?GOgSWm^YbP\E(PTGOr P\E@m^RQGOE(GONeYiZ[YiPQSeN^_F G 2N^r YiC^ZVYm^ZVgiYbP\Z[RGFZVRT]qZ[YbPTSWN EnZ[YiXsC^GF_nSWgn_]^c^_iYiZWNWYiPTZVRQRTa9G ^XGGFrq_nYiC?Gc2GFN?G qYi_SVMSWYiC?GOg P\E@m^RQGOE(GONeYiZ[YiPQSeNYbGFXsCqN?PTd]?GO_ B C?GgbGO_bYS[qYC?P\_mqZVm2GFgPT_SWgiUWZWN?PTGFrZV_SVRTRQS=_ACD3eGFXYbPTSWN@Hpm^giGF_iGFNeY_ZWN;SVGOgbPTGS[2mqZVgiYbP\Z[ReGZ[R\]^Z[YiPQSeNE3GFX YiPQSeN u@ZV__bGO_i_iGF_/YiC?G#Sem^mqSegbY]^N?PTYbPTGF_/SWg_mqGOX P\Z[RTPQOZ[YiPQSeNP\N YC?G#<B Z[RTUVSWgiPTYiCÊZVN^rGF_iYbP\EnZ[YbGO_,YiC?G;_mqGFGFr^]^mYiCqZ[Y XZWN c2G SWc^YiZ[P\N?GOr3eGFXYbPTSWNvXZVggiPQGO_hSe]?Y YiC?G;_mqGOX P\Z[RTPQOZ[YiPQSeN SVZn_bP\Enm?RTG;PTEnm?RTGFE@GFNeYZ[YbPTSWNS[YiC?G;<B#^kNF3eGFXYbPTSWN^_>4@ZWN^r 8;,Gp_iRQPTUWCeYbRTangbGF=gbPTYbG=YC?Gp_iSW]^gX GMm^gbSWUWgZVE&YiSUVGFYhc2GYbYiGFg,gbGO_i]^RQY_<ÀgiSWE X SWEnm?PTRTG ¡7YbP\E(GMZVN^rg]^N¡7YbP\E@Gp_mqGOX P\Z[RTPQOZ[YbPTSWN` giGF_mqGOX YbPTVGFRQaW $pG?YG3GFX YiPQSeN w+r?GO_iXFgbP\cqGO_@SWm?YiPTE@PTFZ[YiPQSeN YiGFXsC^N?P\d]?GF_@YC^Z[YC^ZWGc2GGON ZWm^m?RTPQGOr cea C^ZVNqr P\N <B P\E@m^RQGOE(GONeYiZ[YiPQSeN^_FpB C?GP\Enm?RQGOE@GFNeYiZVYbPTSWN^_X SeN^_bP\r?GOgbGOrZWgbG(Z[RTRm^]^c^RQP\X RTaZZVPQR\ZVc^RQGW G@X SWEnm^ZWgbG;YC?G(m2GFgbSWgEnZVN^XG S[YiC?G;_mqGOX P\Z[RTPQFGFrX S?r?GS[YiC?G;_iPTEnm?RTG#PTEnm?RTGFE@GFNeYZ[YbPTSWN PTYiCYiC^ZVYS[YC?G;C^ZVNqr¡5Sem?YbP\E@PQFGFr PTEnm?RTGFE@GFNeYZ[YbPTSWNq_^ZWN^r PTYiCYiC?GgiGF_]?RTYi_SV_mqGOX P\Z[RTPQFPTNÛ(YC?G;RTZVYbYiGFgF<P\N^ZVRQRTaVH3eGOX YiPQSeN}nr?GO_iXFgbP\c2GF_SVYC?GFg giGR\Z[YiGFr/Seg21ZWN^r|@XSWN^XRT]qr?GF_F I J GK

(23) * `- M- ;

(24) <f ZVgiYbP\Z[R<GFZVRT]qZ[YbPTSWN+PT_ZVN ZV]?YiSWEnZ[YiPTX@m^giSVUWgZVE YgiZWN^_bSWgE@ZVYbPTSWNYC^Z[Y_m2GFX P\Z[RTPTGF_;ZE@S?r^]?RTGn PQYC giGF_m2GFX Y#YiSm^ZVgiY S[PTYi_P\N^m^]?YFLZ[R\]?GF_YiCqZ[YMr^GFm2GFN^rSWN?RTaSWNYC?G1eN^S=NPTN^mq]?Y;ZVN^rSeNm^giSVUegiZWE XSWN^_iYiZWNWY_pZWgbG@_iZVPTrYiSc2GMON'PNRQS T YiC^GFg Z[R\]?GO_pZVgiG_Z[P\rYiS c2GVUWXYPZ[QS >\MNG ^m^giGF__bPTSWNYiCqZ[YpXFZVNc2G_bP\Enm?RTP qGOrc^ZV_iGFrSeNSWN?RTaYC?G_iYiZVYbP\Xr^Z[YZnPT_ _Z[P\rYbScqG^]2_Ùa.S<Qb c_ T YiC^GFgMG ^m^giGF__bPTSWN^_Fq=C^PTXsCE]^_iYMc2G@XSWm?PTGFrPTNeYbSYiC?Gn_mqGOX P\Z[RTPQFGFrm^giSVUegiZWE2ZVgiG(_Z[P\rYbSc2G ]2_ MOQUa.PcdQfeAP)b c_ GX SWNq_bP\r?GFgSeN?RTahgjikQlXY_=m^ZWgbYiPTZVR`GZ[R\]^ZVYbPTSWN Tnm P\N?Gm^ZVgiYbP\Z[RGZ[R\]^Z[YiPQSeNXSWN^_iP\_bY_S[<Y/Sm^CqZV_iGF_F B C?G, 2g_bYOohPT_c?P\N^r?P\N?U[¡7YbP\E@G ZVN^ZVRQa?_iPT_F=C?P\XsCZVNqN?SVYZ[YbGO_GFZVXsCG ^m^giGF__bPTSWNZV_GPTYiC^GFggbGOr^]^XPTc?RTGSWggiGF_iPTr^]qZ[RTPQOZVc?RTGVB C^G _iGFX SeN^rP\_M_m2GFX P\Z[RTPTFZ[YiPQSeNª=C?PTXsC+_bP\E]?R\Z[YiGF_pGZ[R\]^Z[YiPQSeNSVRTRTS PTN?U YiC?G@ZVN^N?SWYiZVYbPTSWN^_pS[YiC^G@c?P\N^r?P\N?UV¡5YiPTE@G(ZWN^Z[RTa?_bP\_F \&YC?SWgiSW]?UeC P\NeYigiS?r^]^X YiPQSeNYbSm^ZWgbYiPTZVR`GZ[R\]^ZVYbPTSWN ÀP\NYiC?G;À]qN^X YiPQSeN^Z[R_bGFYbYbP\N?U /PT_=SW]^N^rP\NxVSeN?GF__ N9Pcfp _=YiG ?Yic2SS)1 HVH7 q2r Â É¼5ÃÅ¿¹AËÌ¿kÁ ÏFÈ=ÃÅÂ s,É¼ÀÁkÉ¼À»F¿kÁk¾5¾AËÌÂÎÃÅÂÃÅÒ sF¾5Ák¾¦È=Ãjs,Ñ[Á`ËÌÂ t »sÒ t ÁbÄWÏO¾A¸¿7º=ÃÅ¾¦ÃÅÒÌË ÃÅ¾ªÃÅÂÃÅÒ sF¾5ËÌ¾iÏ ¸O¾5Á'uÄÁ'veÃÅÂÃÅÒ sO¾AËÌ¾iÏÁ¹5¿Owx y5zlw+{»s¼q¹5ºÁÉ¸¼ÀÉ[»s¾5Ák¾ »`v?¹AºËÌ¾ÉÃÅÉVÁk¼kÏ|Á¼ÀÁ'vTÁk¼`¹5» ÃÅÒÌÒW»`v^¹5ºÁk¾AÁÃÅ¾ÑËÌÂOÄËÌÂÎù\¹AËÌÈ Á<ÃÅÂÃÅÒ sF¾5ËÌ¾}w ~~ Â+ÅÓ Õ.

(25)