The Lazy Hermite Reduction
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. The Lazy Hermite Reduction Manuel Bronstein. N° 3562 November 1998 THÈME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5)
(6) "!$# '% &)(+*-,/.10$2435(-6879,/:;( <>=@?BADC EGFIHKJBL@MNCPORQTS/MRU8MNCBO C8VWU8XYOZU"[\O+]_^`AGa)QTORMZb/[\C cedfQYghC"VWijXYk\d lWXYm@m)QTdnVpojCPdnC4Uq=@C8dqUq=@CL5rs/tYuvEwFyxpQ{z/C8AGa)C8dP|4}T}/~F|4s$mXYSTC4]. B 8{@T T <>=@CWC8dfADMNVnCdfCBoj[\U"VnMRQTLMZ]Xw]n^`AGa)QTORMRU MNLvVnCBSTdqX{VfMNQ/LVnCBUq=\L@MRbv[@CVn=X{VdnC4oj[\U"C4]$XTO S/C8a@dqXYMZUD[@L\U"VnMRQTL\]GVnQMNLvVfC8STdqXYLo@]P=\X9z`MRL@SQTL\ON^]_MRAm@ORCX{L@CmQ/ONC4]R|T-Ej-~9=@MRONCMVDMR]$zTCBdn^ C8)C4UVfMNz/CpMNLVf=@CWUBXT]nCQY+]_MRAm@ORCpdfX/ojMZU8XYO\C"`VnCBL\]_MRQTL]8/MVq] [\]nCpMRLADQ/dnCS/C8L@CBdfXTO\XYORSTCBa@dqXYMZU¡C8`VnC8L]_MRQTL\] dfCBbv[@MRdfCB]eVf=@Cm@dfCBU"Q/Am@[jVfXYVnMRQTLQTXYL MNLvVnCBSTdqXYO)a\XT]nMZ]8`¢=@MZUq= AXY£/CB] Vn=@CdfCBoj[\U"VnMRQTLMRAm@dqXTUVfMRUBXYOQTd CBMVf=@C8dAG[@ONVnMRm@ORC¤XTONS/C8a@dqXYMZU-C"`VfC8L\]nMNQ/L\]¥Q/dU"Q/Am@ONMZU8XYVnC4oPSTdfQT[@LoWkC8OZo@]8¦§LPVf=@MR]m\XTmCBdB4¢¡C¤]_=\Q{¢Vf=\X{V Vf=@CpC8dfAMVfC1dfCBo@[\UVfMNQ/LU8XTLa)C1m)C8dnQTdfACBo¢MNVn=\QT[jV ¨1©ª«¬Yª«¡U"Q/Am@[jVfXYVnMRQTLQT®C8MNVn=\C8dX m@dfMRADMNVnMRzTC CBONCBAC8LvV¤Q/d>MNLvVnCBSTdqXYO5a\X/]_MZ]8jU8QTAm@[jVfMNL@S$Vn=\C]nAXYORONC4]hV>QTdqojCBd¤L\CBU"C4]n]fXYdf^$QTdpX$m\XYdnVnMZU"[@OZXYd¤MRL/VfC8S/dfXTL\o XTONQ/L@S$Vn=@CP¢>X9^T ¯±°v²5³f´Gµ {¶T ]n^`AGa)QTORMRUKMRLvVnC8S/dfXYVnMRQTL+@XTONS/C8a@dqXYMZUQ/L\UVfMNQ/L\]B@MNLvVfC8STdqXYO¥U8ONQv]_[@dfC. 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.
(7)
(8) "!$# h p .
(9) XdfJBoj[\U"VnMRQTLo pCBdnAMNVnC$CB]_V1[@L@C$AJ"Vn=\Q`o@CG[jVfMNORMR]nJ8C$C8LMRLvVnJBSTdqX{VnMRQTLQ/dnACBONORC m)QT[@d dqXYACBL@C8d-ORCB]QTLUVnMRQTL]eXYORSTJ8a\dnMZbv[@CB] ojCB]-MRLvVnJBSTdqXYL\o@]L X9^/XTLvV-bv[@CpojC4]-m /ONC4]e]_MRAm@ORCB] o@XTL\]-ORC¤m\ORXTL XYL@CpR|Y4E@B~{ WONQ/df]®b/[\C
(10) U"C8V_VnC
(11) ADJ8Vn=@QjojC
(12) QTL\U"VnMRQTL@L\C a@MRC8L o@XTL\]+ORC
(13) U8X/]+o C"`VnCBL\]nMNQ/L\]+dqXTojMZU8XTONC4]8BC8ORONC XGaC4]_Q/MNLojC1UBXYOZU"[@ORC8d¤[@L@CKa\X/]_CKojCB]¤C8LvVfMNCBdf]¤o@XYL]
(14) ORCKUBXT]¤ojC1QTL\U"VnMRQTL\]¤XYORSTJBa@dnMZbv[@CB]
(15) m@OR[\]¤STJ8L\J8dqXYORCB]B U8C bv[@M
(16) OZX±dfC8L\oojMNU"MRONC ±AC"VnVndfCC8L P[@z`dfCmQ/[@d$o@CB] MRLvVnJBSTdqXYL\o@]KXTMR]fXYLvVGMRLvVnCBdnz/C8L@MRd m@OR[\]nMNCB[@df] Q/L\UVfMNQ/L\]>XYORSTJBa@dnMZbv[@CB]
(17) QT[a@MNCBL ORQTdq]nbv[@C1ONCU"Q/dnm]¡ojC4]>U"QTL]hVqXYLvVnC4]
(18) C4]hVU"Q/ADm\ONMZbv[@JTexpQ/[\]¤AQTLvVndfQTL\] o\XYL\]KU"CDdfXTm@m)QTdnV1bv[@C$OZXdfJBo@[\UVfMNQ/Lwo pC8dfAMVfC$C4]hVm)Q/]f]_MRa@ORC$]fXYL\]KU"Q/L@L\XYMZ]f]nXTL\U"C m\dnJ4XYOZXYa@ORC$o [@L@C aXT]nCo@CB]>C8LvVfMNCBdf]B µ 4 ³ ! MRL/VfJ8S/dfXYVnMRQTLQ/dnACBONORCT`Q/L\UVfMNQ/L\]XYORSTJBa@dnMZbv[@CB]BjU""O YVf[@dnCMRLvVnJ8S/dfXTONC.
(19) ¨. "ª D«. «¬. s.
(20)
(21) . B8B# G8 C dfCBUBXYORO®MRLVn=@MZ]W]nCBU"VnMRQTL]nQTACPVnCBdnAMRL@QTORQTS/^ XYLo±dnC4]_[\OVq]>dnQ/A Ej!@5uj#"4®Vn=X{V1¢MRORO®a)CGL@CBCBojC4o MRLVf=@CDAXTMNLXYORSTQTdfMNVn=@A C"%V $ aCXYLwMNLvVnCBSTdqXYOojQTAXYMRL+#& MNVf]bv[@QTVnMRC8LvVWk\CBORoXYL\o(' X k\L@MNVnC8OR^ S/C8L@CBdfXYVnC4oXYORSTCBa@dfXTMRUWC"`VnCBL\]nMNQ/L QY) & pLC8ORC8ACBL/V*,+-' MR]UBXYORONC4o«./Yªf¨0®¬18ª$ MVn=@CBdnCMZ]¤X ¬ 2« m)QTOR^vL\QTAMRXT4O 35+6$87 9-:®]n[\Uq= Vf=\X{; V 3=<>*;?A@CB\ <>=@CP]_C8V DFE @HGI*,+-' ]_[\Uq=Vn=X{ V * MZ]>MNLvVfC8STdqXYO5Q{z/C8Jd $
(22) K MZ]>U8XTONORCBo Vn=@C« !/Tªn¨ 0= 0NI¬ LjMª $O¬ NJ$ « P'-¦ VMR]XD]n[@a@dfMNL@SDQY) '@XYLo MNA $ MZ]
(23) X Q1CBo@C8£`MNLoojQ/AXYMRL XTL\Ro 'MR]P]nC8m\XTdfXTa@ORCDQ{z/C8Sd &®Vn=@CBL D E MZ]PXk\L@MNVnCBON^STCBL@C8dqX{VfCBowVnQTdq]nMNQ/Lj;dfC8TC $1AQjoj[@ORC±U "B¡XYLo XTL`V^ $1 ]n[@a@AQjoj[@ORCQY D E MZ]>Vf=@C8Lk\L@MNVnCBON^STCBL@C8dqX{VfCBo¥ aXT]nMR]>QT) ' Q{zTCBJd &Vn=\XYVpSTC8L\C8dqX{VnC4] D E Q{z/C8Jd $ MZ]U8XTONORCBoXYL « ./Yªf¨ 0AWfI¨ LX« L C"VGL@Q{Z ¢ YaCX±ojM5C8dfC8LvVfMRXTOek\C8OZo QYpUq=\XTdfX/UVnCBdnMZ]_VnMZ
(24) U B¢MNVn=ojCBdnMRz{X{VfMNQ/\L [
(25) WL C8ORC8AC8Lv^V ]KMRL X±o@M5C8dfC8LvVnMZXYO
(26) C"`VnCBL\]_MRQTLQTJ YMZ]GU8XTONORCBoRX ¬ 5¬ D«¨ 0¤_¬ 1I8
(27) ª YMNJ ]KMZ]VndqXYL]nU8C8L\ojCBLvVfXYOeQ{z/C8^d Y XYLo ] [ +HY7 ]`:¡¢=@MZUq= MRADm\ONMRCB]$Vn=X{VaQTVna = Y7 ]`:WXTL\bo Y#<>]c?PXYdfCU8ONQv]_C4o [@L\ojCBdojM5C8dfC8LvVfMRXYVnMRQTL+ C]nX9^ Vf=\X{dV 3e+\Y7 ]`:-MZF] )¬Yª _¨ 0gfhe« >±Mª L 4© id§
(28) ¬ [kjMm lon p#<q3r>3![s?g@ut/)XTL\\o L © 8«¨ 0dfhe« 2±Mª iL © v§w¬ [UjMN lon px<q3r>3![s?v@y3+ zXTU"VnQTdq]WXTL\o±m@dfQjoj[\U"Vf]1QY
(29) ]nmC4U"MZXYOZ]WXYdfCG]nmC4U"MZXYO)XTL\oX/UVnQ/df]1XYL\oONC4XT]_VKU"Q/AADQ/L A$[@ONVnMRm@ONC4]>QY®L\QTdfAXTOR]>XTdnCKL@QTdfAXYOxWQYVfC1Vf=\X{VL@Q/dnAXTO)m)QTOR^`L@QTAMZXYOZ]¡XTdnC]fb/[XYdfC"dfC8CTm {¡QTL`z/C8dq]_CBON^/ Q/d 3|+|Y7 ]`:>]fbv[\XYdfC"dfC8C/ORC"SV 3!}P@~ln p<3r`3[2?KXTL\o 3@3 3}4<>=@CBL+= 3}DMR]D]_m)CBU8MRXTO¤XTL\o 3!MR] L\QTdfAXTO; o° ) µ C¬{ª¨ ! 3+,Y=7 ]`:`J2L@QTdfAXYOm\XYdnVQY 3i5¬ .%3>X« LT>K©)ªn¬ _iKO¬ N¨ 00> « ªcª c_">« Wi0
(30) )¬Yª _¨ 0N"¨ §¬{ª L$O¬ N3A <>=\C
(31) L@Q/dnAXYOTm\XYdnVUBXYLPa)C¡U"Q/Am@[jVnC4o XT]®QTORORQ{¢p ] ¥ORC"xV 3V@,3O3 3 aC¤Xp]nbv[\XTdnC8dnCBC-XTU"VnQTdfqM BX{VfMNQ/L QTm 3+x 32 } @lnpx<3!r`3[ ?XYL\6o 3!s @ 3` i32 } ±<>=@C8L+# 3x¡@¢3x £ £ £ 3 ¦§LU8QTLvVndqXT]_VP¢MVf= Vn=@C UBXT]nCQY¡m)QTOR^`L@QTAMZXYOZ]8+Vn=@CojCBdnMRz{X{VfMNz/CB]QY¤MNLvVfC8STdqXYO XTONS/C8a@dqXYMZUG[@L\UVfMNQ/L\] UBXYL =\X9zTCojC8L\QTAMNLX{VnQ/df] ¤ CT S\4 ¥¦ §x _¥§x¨\]nQ¢¡CL@CBCBo]_Q/ACKdfCB]n[@ONVf]XTaQ/[jV>Vn=@C ojCBL@QTAMRL\X{VfQTdq]>QY-]_[\Uq=ojCBdnMRz{X{VnMRzTC4]8 ©¡° ª= ]eWc, ¨ ¬ )_¬ $«_¨ 0K_¬ 1I8Vª Y'«WM¡¨ ¬;\« .i0U e/o 8ªn¨ . ¨ 0 /IWªf¨{2« RM.iL«¬ ¬ N Y#<>]c?_¨ R<>®r r® ?6Wc ¨ « !/Tªn¨ 0%Wn¨ LX« Li¯ 4T2"cª ¨YMª -5¬ °8ªn, ¬ 5¬{ª ¨ 0e©@¬ 0k )¬ D«¨ 0UL 3xIr r>3 +Y7 ]`:;L52j¨ x32®[ + DF±°² ³X´ N"¬Y
(32) ª q¨ i
(33) µi ¶ µ+µ ·c¸<>=@MZ]$MR] XwU"QTL]_C4b/[\C8L\U8CQYpcedfQTm)Q/]nMVfMNQ/L\]|TR|B~±XTL\o |TR|B}QTP E4 eXYL\o Vf=@Cm@dfQ`QY]GQY>Vn=@C dfCB]n[@ONVf]>QT®Vn=X{VW]nCBUVfMNQ/LdfC8AXTMNLz{XYORMRoQTdpU8[@dfzTCB]¤Q{z/C8dXYdfa@MNVndqXYdf^DAQ/L@QTAMZXYO¥C"`VfC8L\]nMNQ/L\]B ¹ º = )]^WMD8¨ ¬ 5¬ D«¨ 0-¬ 1"ª Y ¨ ^'»Wc$¨ ¬m« 0U ^/oix"ªn_¨ ¨ 0 /oIWªn¨Y2« 8M.iL«¬ ¬ N ©¡° \ Y#<>]c?P#i!N"¬{ª¨ ! S®¢+ DS±°² ³X´ ¨ xN"¬Yª$¨ ! 3-+Y7 ]`:>
(34) « N;34®[+ DS±°² ³X´ ;>
(35) 3i®[+ DS±°² ³X´ ;h)8Mª 3xX« LS>^)¬{ª ¨ 0\©j¨Yª >¬ N3 ¶ µ+µ ·c¸ C8m V <2®r r® ?@a)C
(36) XTLKMRLvVnCBSTdqXYO{a\X/]_MZ]8 3r r`3 aC-Vf=@C L@Q/dnAXTO{mQ/ON^`L@Q/ADMZXYOZ]¥QT C8AAX| XTL\o ¼¡@ORU85A <q3r r`3 ?F@ ½ B@ <>=@CBL+# ¼MR]KL@Q/dnAXTO XT L\o ¼I® [ + DS±°² ³X´ QTdKCBX/Uq= µq C"%V ®Z+ DS±°² ³X´ XTL\o¢dnMNVnSC ®ª@H¾ X¿=xÀ >®d-¢MNVn= À +-Y7 ]`: <>=@CBL+ . . ¼I® [ @ Á. ÃÃÅÄÆÇÈÉÊ. . X¿=. <`¼ À [ ® ! À ¼I® [ ?m+ DS±I² ³X´.
(37) w¨_ 0ªf¬4L."« ¢=\MRUq=MNAm@ORMRCB]>Vf=\X{V ¢=\C8dfC. . t Á 2®J ® [ @ ¥ X¿=. XYL\oªln px<`¥r r r ?-@ tT C8Vw3 + \@]_QS3x®[=+ DF±°² ³X ´ WVf=@C8df¢MZ]_C/j¢¡C=\X9z/C. (¥!r r r + Y 7 ]`: ¥¼ D ±°² ³X´ # 38@ªB 3®[+ S 83x@CB. e¦ . @`Vf=@C8L. 3® [ @. a)C ]n[\Uq= Vf=\X{V. Y7 ]`:. 3 Á s®J+ DS±°² ³X´ ¥ X¿=. ]nQP¥_3 Q/dCBXTUq=eµfGijMNL\U8C
(38) lon p#<`¥r Ir r ?J@t/)Vn=@MZ]KMNAm@ORMNC4]KVn=\XYV%¥_3®¥=@C8L\U8CGVf=\X{VS¥ 3 ]nMRL\U"SC ¥MZ]>L@QTdfAXYOe<>=@C8dfC"Q/dnC/ 3 ® [ @. 3 Á s®J+ DS±°² ³X´ ¥ X¿=. ¹. ¡° = =]%WMG¨w ¬_)¬ D«¨0®¬_1I8ªJYx' Wc ¨d¬;\«.i0U %/ 8ªn¨_¨0 /IWªf¨{«2wM.iLq«¬_¬ONdYx<>]c? _¨
(39) |+C'V 2N8>8ªM6M/«XL ¨ «.`/o8ªB ¨¨e)¬Yª ¨_0®©@¬0U 5¬ D«¨0#3y+ªY7 ]`:%LR2j¨ 3! + DS±°² ³X´ _¨ 3 x[#+ DF±°² ³X´ m>
(40) 3! e+ DS±°² ³X´ ¶ µ+µ ·c¸i`[@m@m)Q/]nCGVf=\X{ V 3! b+ DS±°² ³X´ XYLVo 3 x[m+ DS±I² ³X´ ¥a@[@VKVf=\X{ VJ3 + DS±°² ³X´ G<>=@C8LwVn=@CBdnC MZ]\X Y`m@OZXTU8C QY ' ¢MNVn= QTdq ojC8d$[@L\U"VnMRQTL ]n[\Uq=Vf=\X{V x<q3 ?~B\ i`MRL\U"TC 3 + DS±I² ³X´ Bx<3! ?A@x<q3#? Â #<3 ?fv]nQ x<3?!B\T¢=@MZUq=MRADm\ONMRCB]-Vf=\X{" V x<# ?$B@ei`MRL\U";C 3MR]eL\QTdfAXTO; a`^ CBAAXG|TU "¤QY+ E9 {¢=@Qv]_C m\dnQ`QY@dfC8AXTMNL z{XTONMZoQTd-U"[\dnz/CB]+Q{z/ C8d®XTdna\MVfdfXTdn^1ADQ/L@QTAMZXYOvC"`VnCBL\]nMNQ/L\]8 #<# [ ?)@%x<& ?(')#<3#?fj]_* Q #<3 [ ?A@+x<3? Â #<# [ ?A@,x<q3 ?!B\TMRL U"Q/LvVndqXTojMZUVfMNQ/L¢MVf=QT[@d =`^`m)QYVn=\CB]nMR]Be<>=@C8dfC"Q/dnC/I 3! e+ DS±°² ³X´ ¹ #1 3 2 !P 8 .0/ p#B C"JV $ aCX 4e[\U"ORMZojCBXTLojQ/AXYMRL+ & MNVf]bv[@QYVfMNCBLvV
(41) k\CBORo¥6 5 XGk\L@MNVnC"§ojMRAC8L\]nMNQ/L\XYO5z/CBUVfQTd¤]_m\X/U"CKQ{zTCBd & ¢MVf=Ga\X/]_MZ; ] <>® r r®Jx?)XTL\o 798R@y$® _Â £ ££ Â $®JKVf=@C
(42) AQjoj[@ORC¡S/C8L@CBdfXYVnC4oavw^ <2® r rM®Jx?n C"vV ®+)5 XYL\o 7« @C $®  798 a)CpVf=@C1AQjoj[@ORCKSTC8L\C8dqX{VnC4oa`5^ <>®Fr® r rM®Jx?n- CKojC4]nU8 dn MRa)CWMRL Vf=@MZ]p]_C4UVfMNQ/LXTLXTONS/QTdfMVf=@A QTdpU8QTAm@[jVfMNL@SXDS/C8L@CBdfXYVnMRL@SD]nC"FV <:-r r; ? QT< 7 Q{zTC8Jd $D i`MRL\U88C <2®r r® ? S/C8L@CBdfXYVnCB=] 5 Q{z/C8dd &@¢¤CPU8XYL¢dfMVfC ©. ®ª@. t < ® m ££ £  À ®Jx? ¥ À. >@?AÃA>CB.
(43) ¨. "ª D«. «¬. t.
(44)
(45) . ¢=\C8dfCw¥!r À Ir r À +$ XYLoe¥b@ ½ B\G<>=@MZ]KMNAm@ORMNC4]1Vn=\XYV7 MR]1Vn=\C]n[@a@AQjoj[@ORCQYg$w<MtI ¥?>® ££ £  $w<t ¥?>® S/C8L@CBdfXYVnC4oa`^V®Ir r® rM® ®«2°5a`^Vn=\CPdnQ{¢p]¤QY ¥. . ¥. . À . £ ££. . ££ £ ££ £. . @ . À . Â. . ¥ À . . 1]_MRL@SpC8dfAMVfMRXTLwdfQ{¢ dnC4oj[\UVfMNQ/L+5¢¡CU8XTL8CBdnQ QT[jVKVn=@CDOZXT]_V1dfQ{¢ QY ¥QTa@VfXYMRL@MRL@SX AX{VndfMNQT Vf=@CQTdfA ££ £ ££ £ @. . . ¢MNVn=. B. B. . B. . D STCBL@C8dqX{VfMNL\SD]nC"VQ/d 7 {Q zTCBdJ$ MR]¤Vf=@C8LS/MNz/C8Lav^ t Á
(46) ® QTS @ d t µ! ¥ c¿. +5$. . q58 C"VYaC>XWo@M5C8dfC8LvVnMZXYOTk\C8OZo QT\Uq=\XYdqXTU"VnCBdnMZ]hVfMRUBW¢MVf=$ojCBdnMRz{X{VfMNQ/LF[_]¥XWADQ/L@QTAMZXYO/Q{zTC8d)Y5$H@|Y7 ]`: & @uYx<>]c?f# ' XkL@MVfC8OR^±STCBL@C8dqX{VfCBo±XYORSTCBa@dqXYMZUPC"`VnCBL\]nMNQ/LQY; & XYL\o D Vf=@C$MRLvVnCBSTdqXYOU8ONQv]_[\dnC$QY; $ MRL-'
(47) HKMRzTC8LXYL`^z/CBU"VnQTdn§]_m\X/U"C1a\XT]nMR%] <>®r r® ? QY) ' Q{zTC8Jd & jONC8V
(48) S+6& a)C ]n[\Uq=Vn=\XYV ¤ °| ¨ ® [ @ Á . ® QTS d t bµ$. c¿ XTL\o 8 +6$ a)C1Vf=@CKONC4XT]_V>U8QTAAQTLA$[@OVfMNm\ONCQY®Vn=@CPojCBL@QTAMRL\X{VfQTdq] QY-XYORO\Vf=@C ! ]B-CP]fX9^$Vf=\X{V <>®r r® ? MZ ] Lj« §¨ Wi0GM 8 MZ]>L@QTdfAXYO+XYLVo ®J+ D Q/dCBXTUqP= µq C"^V <>®_r r® ?¡a)CGXYL`^zTCBU"VnQ/d_§]_mXTU"CKa\X/]_MZ]QYm ' Q{z/C8d &¤ CGojCB]fU"dfMRaC MRLVn=\MR]1]_C4UVnMRQTL±XTL XTONS/QTdfMVf=@A Q/dPVndqXYL]hQ/dnAMRL@S±MV$MNLvVnQX±]_[@MNVfXTa@ORCa\XT]nMZ]8 ¤^wA$[@OVfMNm\ON^`MRL@SCBX/Uq,= ®Jpa`^ X±]n[@MNVfXTa@ONC m)Q{¢¤C8d>QYVn=@CPORCBX/ojMNL\SDU8QvC8U"MRC8LvVQYeX$m)QTOR^`L@QTAMZXYO¥XYL\L@MN=\MNOZX{VfMNL@SMNVB@¢¤CPU8XTLX/]n]n[@ACWVf=\X{V ®J+ D Q/d1C4XTUq= µq C8VWVf=@C8L D 8@ $® ;  $®J55Vf=@C x
(49) [ a)C$S/MNz/C8La`^ ¤ I| ¨+XTL\o +,$ a)CDVn=@C ORCBX/]hVPU"Q/AADQ/LwA$[@OVfMNm\ONCDQY¡Vn=@CojCBL@QTAMRL\X{VfQTdq]pQY= r r QTdC4XTUqe= µq 8 MZ]KVn=@CBLwVf=@C$ORCBX/]hV U8QTAAQTLAG[@ONVnMRm@ORCPQY r r+
(50) i`[@m@m)Q/]nCVn=\XYV 8 MR]pL@QYVpL@Q/dnAXTO;e<>=@CBL+@QTL\CKQTVf=@C ]8]nX9^ )MZ]pL@QTVWL@QTdfAXYO\]nQONC8! V ^ a)CGMNVf]WL@QTdfAXYO+mXYdnVWXYL\o " @# $^ )¢=@MZUq=±MR]WL@QYV1X[\L@MVKMNL $D CP=\X9z/CT . . . ÃÃÅÄÆÇÈÉÊ. ® [ @ Á. ® c ¿=&%.
(51) u Q/d. w¨_ 0ªf¬4L."« %. r. . ¢MVf=5lon p#< %. r +6$ %. r. . / ¤^ C8AAXEj ^ ®[. r r ?A@t %. ® [ @. t Á. ® " c¿=&%. + D. ¤[jV. r. ¢=\MRUq=±MZ]pL@QTV1MRL D 8 ]_MRL\U8CFlnpx< % r r % xr " ?m@ tT C8V7 @H$ ® [  D 8 XYL\oR< r r ? a)CWXS/C8L@CBdfXYVnMRL@SP]_C8V QTd7 Q{zTCBdm$DTQTa@VfXYMRL@C4oav^GVn=@C1XYORSTQTdfMNVn=@AQT®i`CBU"VnMRQTLEj i`MRL\U"C 7 D /Vn=@C ]pXYdfCMNLvVnCBSTdqXYO¥Q{z/C8d$D\]nQD¢¤C U8XTLdnCBm@ORX/U"CKVn=\CPa\XT]nMR]F<2® r r®Jx? a`^e< r r ?
(52) XYL\odfC8m)CBX{V Vf=@MZ]Wm@dfQjU"C4]n]B1i`MRL\U"CGVn=@MZ]Km@dfQ`U8CB]f]m@dfQjoj[\U"C4]1X ]_[@a\ADQjoj[\ONCDQY D Vn=\XYV1MZ]1]_VndfMZU"OR ^ OZXYdfSTCBdVn=XYL D8 MNVWU"Q/Am@[jVnC4]X]_[@MNVfXTa@ORCPa\XT]nMR]>MRLXDk\L@MNVnCPL`[@AGa)C8dQTMNVnCBdfXYVnMRQTL\]B ¡
(53) 8!G# MNVn=Vn=\CKL\QYVfXYVnMRQTLXT]¡MNLVn=@Cm@dfC8z`MRQT[\]¤]nCBUVfMNQ/L+`ONC8SV <2® r r®Jx?ea)CXD]n[@MVqXYa@ORCKa\XT]nMR]
(54) QTJd ' Q{zTCBd & TVf=@ C x
(55) [ aC1STMRzTCBLav^ ¤ I| ¨ 8a)CpVf=@CWORCBX/]hV¤U"QTAAQTLA$[@ONVnMRm@ONC1QY¥Vf=@C1ojCBL@QTAMRL\X{VfQTdq]eQY+XTONOVn=@C
(56) ]85XYLo 8 a)C Vf=@ C a`^ AXYVndfM¢MNVn=CBL/Vfdn^ 8!
(57) XYV1dfQ{|¢ µXYLo±U"QTOR[@AL C"V ,+('
(58) XTL\o¢dnMNVnC i® Â £ £ £ ® 6@. % ¢=\C8dfC-r % Ir r % +Y7 ]`:)XTL\oTlnp#< % r r % r 6?A@¢tT C8V@y¥i¥ ¥ a)C1XG]nbv[\XT dnC8 dfC8C1XTU"VnQ/dnMqBXYVnMRQTLQT ±4¥os } @Clnpx<>¥orc¥[ ? XYL\o
(59) =@ª¥. ¥o2 } QTd>C4XTUq=VµqR @C¥ } ¥ } £ ££ ¥ }
(60) @
(61) ;
(62) S £ ££
(63) % XTL\o+5 @
(64) { <>=@C8L® @
(65) 5 ¢=\C8dfC MZ]G]nm)CBU"MZXYO 5 XYL\oXYOROeVf=@C ]fb/[XYdfC"dfC8CDXTU"VnQTdq]PQT
(66) XYdfCL@Q/dnAXYOXTL\o\lnp#<J
(67) r 5w?%@ tT C"V 8 @ 8 Alon px< 8 r
(68) 5T?n1xpQYVfCPVn=X{V 8 8 8
(69) 5p¦§LXTo@ojMNVnMRQTL®!lon px< 8 r 5T?;@t a`^ U8QTL\]_Vndf[\U"VnMRQTL+jXYLo]nMRL\U"CKVn=\CPa\XT]nMR]>MZ]]n[@MVqXYa@ORCT 8 \XTL\oVf=@C8dfC"Q/dnC 8 \XTdnCKL@QTdfAXYO %. ¡Q/L\]_MZojCBd>Vn=@CQ/ONORQ{¢MNL\S$ORMNL\CBXYdp]n^j]hVfC8A MRLY7 ]`:s <#5T?c {. 8
(70) . 8. 5. ³ 8 ' 8.
(71) 5 [ !. "S. . " . . ". . . . . @# 8. . . . % . %. . . . E. ¤ ¨. ¢=\C8dfC ³8 MZ]
(72) Vf=@CKVndqXYL\]nm)Q/]nCWQY 8¡ MR]¡Vf=@C a`^ MRo@C8LvVnMNVh^AX{VfdnMN¥`XTL\o$ MR]¡Vn=\C1MRL`zTC8dq]nC QT AQ`o@[@ONQ 5 <>=@CU8ORX/]n]nMRUBXYO
(73) WC8dfAMVfC dfCBoj[\U"VnMRQTL ¤ ¢=@C8dfCVf=@CP® ]GQTdfAXYLMRLvVnC8S/dfXTO a\X/]_MZ]c¨ m\dnQjU"CBCBo@]pav^U"Q/ADm\[jVnMRL@S X]nQTOR[jVnMRQTL±QT ¤ E¨>MRL(Y7 ]`:2 <#5T?¡XYL\o[]_MRL@SMNVpVnQ dnC4oj[\U"CVf=@C m)QTORCB]WQY-Vn=@C MRLvVnCBSTdqXYL\o¥ C1kdf]_Vp]_=@Q{¢ Vn=\XYV>CBzTCBL ¢MNVn=QTL@OR^X]_[@MNVfXTa@ORC1a\X/]_MZ]B`XTL`^]_Q/ON[jVfMNQ/LMRL-Y7 ]`:2 <&5w? ojQ`CB] dfCBo@[\U"CKVn=\CPmQ/ONC4]>QYVn=@CPMRLvVnC8S/dfXTL\o¥ %. >@?AÃA>CB.
(74) ¨. "ª D«. «¬.
(75)
(76) . . °`µ ° . ¬{ªG¨_ TL8¬0U«¬(< "Sr r" ?¬N8fij«5Y7 ]`:2 <#5T?. ª. "ª. . . @. 8. %. 5. ¾ X¿= ">®d [ ¾ q ¿= 2 ®J  5 8
(77) 5 . . P@. h) c ¶. ". 8
(78) " '. 8
(79) 5 [ " . [ Â . 5. µ+µ·c¸vz\dnQ/A ¤ ¨>XYL\o[\]nMNL\S$Vf=\X{V _
(80) @ . . . 5 . . . . . . . @. %. 8. % %. . . . . . Â. 8
(81). "
(82) [. .
(83) 5 '. 8
(84). c¿=. @¢¡CS/C"V. 8 I 8. . . ' Á. . . ". . [. ³. 8. . ¤ o¨. +Y7 ]`: . . 8
(85) 5. 5 [ '. M ". . "
(86) [ . 8. s. ¤ ¨. " . " . 8 . . ". . . . . ijMNL\U8C 8 8
(87) 5+Vf=@CdnMRST=vV=\XYLo]nMRo@CDMZ]MRL ®]_Q 5 +bY7 ]`:eQTdC4XTUq=eµqlCBo@[\U"MRL@SVn=@C XTaQ{z/CPAQ`o@[@ONQ
(88) 5 XYLo[\]_MRL@S Vn=\XYVWVn=\C " ]1XTdnC X]nQTOR[jVfMNQ/L QY ¤ E¨MRL(Y7 ]`:s <#5w?f¥XYL\oVf=\X{V1Vn=@C "^[ XTdnCKMR-L Y=7 ]`:]nMRL\U"SC ]¡MR]XDAQTL@Q/AMRXTO¥Q{zTC8dY5j¢¤CPQTa@VfXYMRL RY7 ]`: . . . 5. . . . . . . . + Y7 ]`: b. 8. . % % . . . . . . eµ. . '.
(89) 5 . "^[. 8. . . "^[. . "^[. . . . '. 8. . % % . . . . . . . B. <
(90) p+5T?. =\C8L\U8C$Vf=\X{V eQTdCBX/Uq= qD<>=\CDm\dnQ`QY¡QY ¤ s¨WQTORORQ{¢p]1a`^wX]_VndqXYMRST=vV_Q/dn¢>XYdqo±U8XTORU8[@ORXYVnMRQTL+ m\[jV_VfMNL@SVf=@CPdfMNS/=/V=\XTL\o]_MZojCPQ{zTCBd¤XU8QTAAQTLojC8L\QTAMNLX{VnQ/dBjXTL\o []_MRL@S ¤ ¨
(91) VnQdfC8m@OZXTU8C5 M . %. %. ¾ X¿= " ® [ ¾ q¿ ® Â 5 8
(92) 5 5 " ®[ ¾ X ¿= < 8
(93) 5"
(94) [ ' 8
(95) 5S[ " ! 5 ?`® !  8
(96) @ 8
(97) 5 ¾ X¿= 8 ' ¾ c ¿= 8
(98) 5 M " ® !¾ c= ¿ 8
(99) 5 " ® % @ 8
(100) 5 ¾ q¿= 8 @ 8
(101) 5 % @, . ¹. <>=@CBdnCwdnCBAXTMNL]DVnQ ]_Vn[\o@^ [@LojC8d¢=@MRUq=U8MNdqU"[@A]_VfXTL\U"C4]Vn=@C]_^j]_VnC8A ¤ E ¨=\X/]X ]_Q/ON[@VnMRQTLMRL Y=7 ]`:2 <&5w?n ÃÃÅÄÆÇÈÉÊ.
(102) ~. w¨_ 0ªf¬4L."« ¡° ©. = . x@
(103) 5 . . "¬Yª. [. t. ¤ ¨. N St bµ! M8r r r#¡+Y7 ]`:;LiP> Alnpx<Tr 5T?A@¢t x t Á Á >®J@ q¿= # x X¿= %. "ª $¨Yª. 2N%2 c. ®J. `¨. j¨ $¨ 8¬ ;«¬ w« µ+µ >ij[@m@m)Q/]nCVn=\XYV. 5 . > fijT IL TL _0U _ 6Y7 ]`:2 <&5w? ¶ ·c¸ ¾ q¿ ® @ ¾ X¿= . x. %.
(104) @ @. . 5 .
(105) . 5 Á. . 8 c ¿=. ® 5 . QTdp]nQTACTr r r#P+6Y7 ]`:
(106) i`MNLU"C. [ @
(107) 5 .
(108). ®. '
(109). 5. ³ 8 ' 8.
(110). 5 [ . ® [ 5 [ ^ ' 5®J 5 5. . . 5 [ ®J . C4bv[\X{VfMNL@SDVf=@C U"Q`C"U8MNCBL/Vq]>QYCBXTUq=5® `^ MNCBORo\] 8
(111) 8. ¨. . . . . @ . #. . . %. 8 . % . . . . . ¦ dlnp#<8r 5w?@ tT+Vf=@C8La< r r #
(112) ?1MR] X]nQTOR[jVnMRQTLMRLY7 ]`:2 <&5T?pQT ¤ E¨¢=@CBdnC MR] Vf=@CPMRLvz/C8dq]_CKQY ADQjoj[\ONQ5 ¹ = % r "~+\Y7 ]`:Jhe«> "»5¬{ª ¨0 v<2®_r rM® ?
(113) Wc¨-Wn¨L«XLgN"¬{ª'¬_1I8ª& Li-2j¨ ©¡° ®J+ D N"¬{F ª t bµ$ )A B(WcD¨«.`/o8ª¡¨ ® [ $@ " N"¬{Sª t µ " % i!N"¬{ªG_¨ =Ir r +Y7 ]`:` ¶. µ+µ·c¸>ij[@m@m)Q/]nCVn=\XYV " ¾. ". t Á . . X¿=. #`$)+ D "%. X¿= # 2$+ D Á ®|@ % " q¿ ® . Á. . X¿=. %. x2®J+. XYLo ORC"V XTL\o V@C®". D. . . . >@?AÃA>CB.
(114) ¨. "ª D«. «¬. }.
(115)
(116) . CP=\X9z/C. ® [ Á @ " # " ® % " q¿ X¿= % t Á Á @ " q¿ #>$ Â X¿= < % #O? [ ®J + D "^V@ "^®|@ ¾ X¿= ® + D. " . [. " . @. Á. . . . [ Â Á. q¿=. < # ? [ ®d %. ji MNL\U8C @MNVQTORONQ{¢p]¤dfQTA C8AAXsGVf=\X{V®|@ "^ 5+ D ,¹ % ©¡° = r "~+\Y7 ]`:Jhe«> "»5¬{ª ¨0 v<2® r rM®d?
(117) Wc¨-Wn¨L«XLgN"¬{ª'¬_1I8ª& Li-2j¨ % )A B(WcD¨«.`/o8ª¡¨ ® + D N"¬{ªFt bµ$ ® [ $ @ " " N"¬{Sª t µ % i!N"¬{ªG_¨ =Ir r +Y7 ]`:>_¨ ¨ ! +-Y7 ]`:gLiP>`¨ "8. ®|@. CP=\X9z/C ]nQ @C$. $A@. [ x ¡. %. . . . <"w . %. ? Á. . XYL\oORC"V. . XTL\o. QTd. ®J %. . $ + D % ® + D X¿= X ¿= ¾ q¿= #2$+ D @ "T Á #s®J @< 6? ® [ St µ q¿= % . µ+µ·c¸>ij[@m@m)Q/]nCVn=\XYV ¶. t Á. ® . . [ t. @. . @¢=@MZUq=MRAm@ORMNC4]¤Vn=\XYV. t Á. . q¿. @ . t Á. . q¿. . ®d %. $ ! %. . [Á. q¿. . [ '. [. ® + D . %. ®J. ji MNL\U8C MZ]pX$XTU"VnQTdQT " @MVpMZ]L@Q/dnAXTO;j]nQw®+ D a`^ C8AAXtj ¹ C U8XTLL@Q{¢ C8`VnC8LowVf=@CAQjoj[@ORCVY7 ]`:q® J ££ £  Y7 ]`:X®J ¢=@C8L@CBzTCBdVn=@C ]n^j]hVfC8A ¤ E¨K=XT]PL@Q ]nQTOR[jVfMNQ/LMRLY7 ]`:2 <&5w?n °`µ ° º 9©T©@I¬ L w2j¨ aB¨x¡>`¨_vG r r#K±¨L/Y«1i Wi f j¨YªM
(118) 0 «q¨{ª0k 6§©4i
(119) i!¤_¬ 1I8 ª Yx<`]c?¡¨ x¡0qi r r #¡+Y7 ]`:JWcF5¬>¨00!B¨¡LP2j¨m¾ X¿= @CBwi ®ª@.
(120) 5. jª 8ª ¬YªM « Ndlon p#< r r #?A@tm2i¡®. > . ÃÃÅÄÆÇÈÉÊ. Á. . q¿=. . ® + D . + D 8R@ªY7 ]`:X® ;Â ££ £ Â Y7 ]`:q®J=.
(121) |. w¨_ 0ªf¬4L."«. µ+µ·c¸i`MRL\U8C 5 ¾ X¿= #x@Be+ D CBADAX±tXYm@m\ONMRCBowVnQ % @
(122) XTL\o "Å@ 5 MRADm\ONMRCB] Vf=\X{V®u+ D p¦ lnp#< =r r ?;@tT\Vn=@CBL 5 UBXYL@L@QTV1ojMRz`MRojCDXYORO+Vf=@C
(123) # ]B]nQ¡®¯+ D8 ]_MRL\U"C <>®r r® ? MZ]X$aXT]nMR]¤Q/ d ' Q{z/C8dYx<`]c?n ¹ °`µ ° 9©T©@I¬ L ¡>`_¨ $3 B_¨ ->`_¨ G Ir r K ¨L^/Y«1iaW ,f jw¨YªM80 «xq¨{ª0U ±«x
(124) ©4 >¬ 1"ª Yx<>]c?M¡¨ V0 Tr =Ir r +-Y7 ]`:WcF L iV>`_¨ ¶. . Á i. q¿= %. 2®J@. . t Á. . #x . q¿.
(125) T<#5g )ln px<&5mr w??. . # 2®dm+ D X ¿= > M Ndlon p#< Tr r r#?A@¢t fijT L% wL 0U 5 Y7 ]`:s <#5w?Mm2iV®+ D 8R@ Y=7 ]`:X® m  £ £ £  Y7 ]`:q®J= ®ª@. lnp#<#5;r T ?. jª 8ª ¬Yª e«. ¶. µ+µ·c¸ C"V. . ¨. n <>=@CBL+. @ylon px<&5mr w ?. t Á. . ##=@ . Á. `¨ 5¬ 8¬ «¬ w«. Á. . >®J+ D r q¿= X¿= % ]nQWa`^ C8AAX1uKXYm\m@ONMRCBo VnQ #@ D
(126) "u@%5'XTL\o @#DT¢¡C¤=\X9zTCg®+ D ¦ \Vn=\C>]n^j]hVfC8A ¤ E¨=\XT] L\QG]_Q/ON[@VnMRQTLMRLPY7 ]`:s <#58?nvVn=@%CBLVpl!<
(127) ?$bBGav^ C8A AXS\z@[\d_Vf=@C8dfAQTdfCTTMN=lon px<8r=Ir r ?A@ t/vVn=@CBL UBXYL@L\QYVojMNz`MZojCXYOROVf=@C
(128) w<&5g
(129) ? ]8j]nQ
(130) ® + D 8 ]nMNLU"Cw<2® r r®Jx?eMZ]¤X$a\X/]_MZ] Q/dJ'. Q{z/C8dYx<`]c?n <>=@C>OZX_B^PdnC4oj[\UVfMNQ/L$XTONS/QTdfMVf=@A'QTORONQ{¢p]dfQTA<>=@CBQTdfC8A]
(131) |/YE1XTL\oGs+MN Å@ªB@9Vf=@C8L ¢=\C8dfC MZ]p]_m)CBU8MRXTO+XYL\ o
(132) MZ]>L@Q/dnAXYO$ WVn=@CBdn¢MZ]nCTj¢¤C]nQTORzTC1Vn=\C ]_^j]_VnC8A Á. . X¿=. %. ® @ Á. . q¿=. . ¹. # @
(133) . . Q/d xIr r +|Yx<`]c?npL`^ ]_Q/ON[jVfMNQ/L MNLYx<>]c?¢=@Q/]nC ojCBL@QTAMRL\X{VfQTdq]GXTdnC U8QTm@dfMRADC ¢MVf= 5 MZ]$X ]nQTOR[jVfMNQ/LQY ¤ E¨GMNLaY7 ]`:s <#5T?PXT]D]n=@Q{¢L MRLVf=@Cm\dnQ`QYpQT CBAAX(\¦§L Vn=\XYVUBXT]nCT ¤ so¨ dfCBoj[U"CB] MRLvVnCBSTdqX{VnMRL@S VfQXDL@CB¢ MRLvVnCBSTdqXYL\o ¢=@Q/]nCPojC8L@Q/AMNL\XYVnQ/d>o@MNz`MZojCB] 8
(134) 5^Ge¦ Vn=\C XYa)Q{zTCKCBbv[\X{ VfMNQ/L=XT]L@Q±]nQTOR[jVnMRQTLMNLYx<`]c?p¢=@Q/]nCDo@C8L@Q/ADMRL\XYVnQTdq]XYdfCDU8QTm@dfMRADC¢MNVn= 5®Vn=@CBL CBMVf=@C8dVf=@Cx ] XTdnC$ONMRL@C4XYdfON^±ojCBmCBL\ojC8LvVQ{zTCBdYx<`]c?¤Q/dWVf=@C8dfC$MZ]X ]nQTOR[jVnMRQTL¢=@Q/]nC$o@C8L@Q/ADMRL\XYVnQTd1=\XT]X L@QTLvVndfMRzvMZXYO U8QTAAQTLX/UVnQ/d1¢MNVn= 5¥]nQC8MNVn=@CBdK<>=\C8QTdfC8A EQTd1s m@dfQ`o@[\U"C4] ® + D ]n[\Uq=Vf=\X{%V ® + D8 ¥XYLo Vf=@CXYORSTQ/dnMNVn=\A QYpi`CBU"VnMRQTL Em@dfQjoj[\U"C4] XL@CB¢ a\X/]_MZ] r r Q/dVn=@C]_[@a\ADQjoj[\ONVC Y7 ]`:X®  D8 QT D CAXT£TCDVn=\XYV a\XT]nMZ]K]n[@MNVfXTa@ONC¢MNVn= Vf=@CXYORSTQTdfMNVn=@A QT>i`C4UVfMNQ/Ls\+C"jm@dfCB]f] MRL Vn=@CL@CB¢ aXT]nMR] XTL\oU"Q/L/VfMNL`[@CpVn=@CpdfCBo@[\UVfMNQ/LDm\dnQjU"C4]n]B®¦§La)QYVf=QY)Vn=\C1XYa)Q{zTCUBXT]nCB]B{Vn=@C1MNLvVfC8STdqXYLo$XY VnC8d
(135) Vn=@C dfCBo@[\UVfMNQ/L ]_VnCBm=\X/]PXYL C"jm@dfCB]f]_MRQTL¢=@Q/]nCojC8L@Q/AMNL\XYVnQ/dP=\XT]]_VndfMRU8ON^ORCB]f%] 8CBdnQ`C4]1QT¤A$[@ONVnMRm@ONMZU"MNVh^ >@?AÃA>CB. .
(136) ¨. "ª D«. «¬.
(137)
(138) . |/|.  t1Vn=XYLaC8QTdfCWVf=@CdnC4oj[\UVfMNQ/L]_VnCBm ¤ MV=\X/]¡L\QTL@CK¢=@C8LVn=\C]n^j]hVfC8A =\X/]>X$]nQTOR[jVnMRQTL¨j]_QX{ VfC8d kL@MVfC8OR^AXTL`^DdfCBo@[\UVfMNQ/L ]hVfC8m\]Bv¢¡C1=\X9zTCpm\dnQjoj[\U8CBoXGL@C8¢aXT]nMR]¡AXTojC1QY+MRL/VfC8S/dfXTO\C8ORC8ACBL/Vq]8`XYLo X L@C8¢ MRLvVnCBSTdqXYL\o¥)¢=@Qv]_CGo@C8L@Q/ADMRL\XYVnQTd1¢MVf=wdfCB]nmC4UV1VnQVf=\X{Va\X/]_MZ]pMZ]pVf=@CDm@dnQjoj[UV1QT
(139) X ]nmC4U"MZXYO XTL\oX$L\QTdfAXTO5mQ/ON^`L@Q/ADMZXYOe<>=@MZ]>MR]¤Vf=@C ]nXTACKdfCB]n[@ONV¤Q/ajVfXTMNL\CBoav^Vn=@C WC8dfADMNVnCdfCBoj[UVnMRQTL ¤ ¢MNVn= XTLMRLvVnCBSTdqXYO5a\XT]nMZc] ¨¤XT]>m\dnC4]_CBL/VfCBoMNLR|T\E@\~9 !$# d 8
(140) 8!G # C=\X9z/C¤m\dnC4]_CBL/VfCBoDXKORX 8^GWC8dfADMNVnCdfCBo@[\UVfMNQ/LGQ/d ¢=@MZUq=$C4XTUq=DdnC4oj[\UVfMNQ/L]hVfC8m[\]nCB]-QTL\ON^ dqX{VfMNQ/L\XYO Q/mCBdfXYVnMRQTL\]
(141) XYL\om)C8dnQTdfA]¤HXT[\]f]_MZXYLQ/d¡pCBdnAMNVnMZXYLCBONMRAMNLX{VnMRQTL QTL XPAXYVndfMRU8CB]¡QY®]nM BCB] ±a`^ ±QTd  tKav^ e`¢=@MRONCU"Q/Am@[jVnMRL@SDXYLMRLvVnC8S/dfXTOaXT]nMR]¡dnC4bv[@MNdfCB]¡pCBdnAMNVnMZXYLCBONMRAMNL\XYVnMRQTLQTLAX{VfdnMZU"C4]
(142) QT ]nqM 8CB] pav^ e/]nQVn=@COZ_X B^GdfCBoj[UVnMRQTLMZ]eC"jm)CBU"VnCBoDVfQ U"Qv]hV D < ?+QTm)C8dqX{VfMNQ/L\]-MNVL Y#<>]c?X/]eU"QTAm\XTdnC4o VfQ D < ?QTdU"Q/ADm\[jVnMRL@SDdfXYVnMRQTL\XTONOR^DXTL MRLvVnC8S/dfXTOaXT]nMR]B¦§LVn=\CKUBXT]nCWQYm@[@dfC1XTONS/C8a@dqXYMZU[@LUVnMRQTL]8 Vf=@MZ]^`MRC8OZo@]X U8QTAm@ORC"VnCXYORSTQ/dnMNVn=\A Q/do@C"VnCBdnAMRL@MRL@MNL\S ¢=@C8Vn=@CBdVn=@C MNLvVfC8STdqXYO1QY$XTL XTONS/C8a@dqXYMZU [\L\UVfMNQ/L±MR]WMVq]_CBO
(143) XTLXYORSTC8a\dfXTMRU1[@L\U"VnMRQTL+p<>=\C L\X{Vf[@dqXYO®ojMRdfCBUVfMNQ/L±MNL±¢=\MRUq=VfQC"`VnCBL\oVn=\MR]W¢¡Q/dn£ MZ]¤VnQX/]_£ ¢=@C"Vf=@C8dVf=@C U"Q/Am@ONC8VnC XTONS/C8a@dqXYMZUWMRLvVnCBSTdqX{VnMRQTLXYORSTQ/dnMNVn=@A U8XYLa)CPmCBd_Q/dnACBodqX{VnMRQTLXYORON^ ¢MNVn=\QT[jV U"Q/Am@[jVnMRL@SXTLMRLvVnC8S/dfXTO-a\XT]nMR]Bi`MNLU"CcedfQTm)Q/]nMVfMNQ/L\] Ej XTL\oEj t QT1 E9
(144) ojQL@QTV ojC8m)C8L\o Q/L XYL MNLvVfC8STdqXYO¡a\XT]nMZ]8-Vf=@CMNL@L\C8dDdnC4]_[@ONVfXTLvV$MRL cedfQTm)Q/]nMVfMNQ/L Ej uwUBXYL aCdnCBm@OZXTU"C4o a`^ Vn=@CL@Q/dnA dfQT A 'P7 _:¥VnTQ &b7 : `^`MNCBORojMRL@SX$mQ/ON^`L@Q/ADMZXYOZ]¤¢=@Q/]nCKdnQ`QYVq]>XYdfC1L@Q/4L 8CBdnQ$dfXYVnMRQTL\XTO5AG[@ONVnMRm@ORCB]>QYVn=@C dfCB]nMZoj[@CB] QY¥Vn=\CWMRL/VfC8S/dfXTL\oX{V¡XTONOVn=@C1L@QTdfAXYO\XYL@Cpm@OZXTU8CB]Bv]nQGojMRz`MR]nQTdq]-QTd
(145) Vn=@CWONQ/S/XYdfMNVn=@AMZUm\XYdnVf] UBXYLaCPU8QTAm@[jVfCBo¥ <>=@CPdfC8AXTMNL@MRL@SDm@dfQTa@ORC8A]>XYdfCdnCBm@dnC4]_CBLvVnMRL@S$]n[\Uq=ojMNz`MZ]_Q/df]>XTL\oVfCB]_VnMRL@SDVn=@CBA Q/d m@dfMNLU"MRm\XYORMVh^/XTL\o¦PXYA L@QYV$X9¢>XYdfCQYpXYL`^dfXYVnMRQTL\XTO XYORSTQTdfMNVn=@AQTd$]nQTORz`MNL\SVf=@Q/]nCm@dfQTa\ONCBA] Vf=\X{V>X9zTQ/MRoojC4]_MRL@S/[@ORXTdnqM 8MRL@SVf=@C1U8[@dnz/CpMRL ]_Q/ACW¢>X9^T pL@QTVn=@CBd
(146) MRL/VfC8dfCB]_VnMRL@S$o@MNdfCBU"VnMRQTL¢¤QT[@OZoa)CpVnQ S/C8L@CBdfXTONqM 8CVf=@C pCBdnAMNVnC dfCBoj[UVnMRQTL ¤ XYL\oMNVf]¥OZ_X B^Wz{XYdfMZXYLvV ¨VfQp]_Q/ONz/CC4bv[\X{VfMNQ/L\]¥QYvVn=\CeQTdfA [  w@ Yx<`]c?njXT]¤¢>XT]¤ojQTL@CWQTd¤Vn=\CWVfdfXTL\]nU8C8L\o@C8LvVfXTO)UBXT]nC MRLX k\L@MNVnC8OR^S/C8L@CBdfXYVnCBoXTONS/C8a@dqXYMZUC8vVfC8L\]nMRQTL QTA MRL t4 <>=@MZ]U"Q/[@ORo ^`MNCBORoXGa)C"VnVnCBdpXYORSTQTdfMNVn=@A Vn=XYLVn=@CdfCBoj[\U"VnMRQTL VnQXGORMRL@CBXTd>o@M5C8dfC8LvVnMZXYO¥]n^j]hVfC8A MRL Yx<>]c?p s9 {p# ¤ R|" XY[@dfC8LvV ¤C8dnVndqXYL\o+
(147) ¨ 0qi0 ¡Wf¬ 0 « SiL !/Tªn¨ 0qLg F q© 8Mª 00 « !© « iiL®<>=@?4]_CWo@CWojQjUVfQTdqX{VB WL@MNz/C8dq]_MNVnJPojC MNAQ/STCB]B ±X{Vf=@J8AXYVnMZb/[\CB]B¥|B}T}vtj E9 ±XTL`[@C8O ¤dfQTL\]_VnCBMNL+ 1L Vn=\C±MNLvVnCBSTdqX{VfMNQ/L QTKCBONCBADCBLvVfXYdf^[@L\U"VnMRQTL\]B @¬ jª 5¨ 0W¬ N ¡Wn_¬ 0 2«
(148) ¬ 1!© §¨ «¬ \} ¤ E ¨iN|/I| "5I| "Ys@ z\C8a@df[\XTdn^|4}T} @ s{ ±XTL`[@C8O ¤dfQTL\]_VnCBMNL®<>=@ClMR]fUq= ojMN)CBdnCBL/VfMRXTO
(149) C4b/[X{VnMRQTLQ/LXTLXYORSTCBa@dfXTMRUU8[@dnz/CT¦§L ivVnCBm@=@C8L X{VnVB@C4ojMVfQTd4 ¤ªn°¬ cY« o/_L$O¬ N
(150) !Y@m\XTSTCB]p_E \|"jE vu@ {# c dnC4]n]B¥|B}/}@|T Y±XTL`[@C8&O ¡dfQTL]hVfC8MRL+ ¡Wn_¬ 0 2« i.`/Tªn_¨ ;«_¬ %$e@ªn¨ Li i! _¨ 0 ;«_¬ 4L®i`m@dfMRL@STCBdBvpC8MZojCBO a)C8dfS\¥|4}To} "j. ÃÃÅÄÆÇÈÉÊ.
(151) |9E. w¨_ 0ªf¬4L."«. t9/XYACB]1XYdfQTOZo(QKX9zTCBL@mQ/d_V4D<>=\ClpMR]fUq= o@M5C8dfC8LvVnMZXYOeC4bv[\X{VfMNQ/Lm@dfQTa\ONCBA @¬jª5¨0
(152) ¬
(153) ¬ 1!© « o/T+|9t } Ts `}\|B~@\|B}T~/u@ u{Gi`CBdnS/C XYL@S 0 /IW"ªn¨{ o\ojMR]nQTL CB]nONCB^T@lC4XTojMRL@S\ XT]f]nX/Uq=v[]_C8V_Vf]B5|B}" @ U"4 4cQT=\]_VXYLoP ¥XT]f]_CBL@=\XY[]8 0 /v¬{ª« > D2« p_¨ 0 /IW"ªn¨{2« ¡WM8mª >q¬{ª { {¤XYAGa\dnMZojSTC WL@MRzTC8dq]nMVh^ cedfCB]f]B! {¤XYAGa\dnMZojSTC/5|B}T~/}@ ~{ >XYdfdf^<®dqXYS/C8d4 d2« !/Tªn¨ «¬ O¬ N _¨ 0 /o°W"ªn¨{2« %Nxi«¬ Lce= Q Vn=\CB]nMR]B ±¦h<A{¡QTAm@[jVfC8d ijU8MNCBL\U"C/¥|B}/_~ \. >@?AÃA>CB.
(154) ¨. "ª D«. «¬.
(155)
(156) . !$# p# ¶ ° 2 j ° º¥ ° ¶ 2 µ ¶ °. B@ ° @ ° ° © ² ° ¶ ®T xµ . ÃÃÅÄÆÇÈÉÊ. |4s. . .
(157) Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - B.P. 93 - 06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Lorraine : Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - B.P. 101 - 54602 Villers lès Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot St Martin (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - B.P. 105 - 78153 Le Chesnay Cedex (France). Éditeur INRIA - Domaine de Voluceau - Rocquencourt, B.P. 105 - 78153 Le Chesnay Cedex (France).
(158). . ISSN 0249-6399.
(159)
Documents relatifs
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
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,
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