Etude des propriétés du calcul de réécriture: du rho calcul au rhoEpsilon calcul

Texte intégral

(1)Etude des propriétés du calcul de réécriture: du rho calcul au rhoEpsilon calcul Germain Faure. To cite this version: Germain Faure. Etude des propriétés du calcul de réécriture: du rho calcul au rhoEpsilon calcul. [Stage] A01-R-389 || faure01a, 2001, 65 p. �inria-00107538�. HAL Id: inria-00107538 https://hal.inria.fr/inria-00107538 Submitted on 19 Oct 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)

(3) ! " # $!%'&( ) $+*-,(&( .0/21436587:<9 ;=:?>A@CBED4;GF /27G36HJI : : 7 . DLKN:"M O 3P5Q/27G3 D4@ RS TVUXW D4@ Y :<;=F /Z3 @V[ /ZI ;G:.

(4)

(5) !#"

(6) $ % &')(

(7) *+, (

(8) &-)

(9)

(10) !.0/ &'1))"2*-!1)3

(11) 45&6$ $ &-!"-

(12) &'2(

(13) 73&-184&9/&'(

(14) &-)":4;

(15) <

(16) "'/ =": 3>&'18"?"@#")(A BC3&-41)&D4E

(17) / =(F$ "-&-1)4

(18) 4*-1) G7HI/ J*D4#"-&'/C(

(19)

(20) 4*-/ J*:K

(21) L/

(22) M,

(23) K(

(24) *D4N#

(25) OPAQ$ @R

(26) S *?"D(=*Q"'!% K$ (=)PA *-1DT!MC(="D(

(27) *+4N#

(28) U!)"'*?"D(=)VAQ$ @R8*?":3J/#*-*-4T

(29) !GWCX

(30) /*+1D

(31) 4*'*-/ *9)

(32) (=YPA 3

(33) 3>I3 &M 4

(34) &SZO/ *)/T="-

(35) / *)[I/

(36) \

(37) #"]"(

(38) *)4N#

(39) I4_^J`ba>c de*?"B=3

(40) &'!1T!ef0"3 & /*=$ N#

(41) "F!S*K*Q"'&'"

(42) $ % 4*U(AQ$ M 4 "'!/]!+*-/ #"K *'*?hgiGHI/*j/4

(43) &'/ *F*-

(44) &K

(45) T

(46) &'.k3>&l E(=*F3>&@*?3>"-4M *F" (=S*jN*?"-4/ *K&'*?"' "j/

(47) M &?"'*G

(48) mKR

(49) n 4

(50) 4*o!#"-% &@ "'*,4pq

(51) r.0/&-1s (t*-!1)3

(52) 4u*?"?"-4

(53) %wv&@*Q"-P/&'(=&x&'yj&'!"-4

(54) %Z_;

(55) <

(56) 4*z(t

(57) /

(58) (="-&'1)!4*?"-_/1)3

(59) ="'"-4/ *Gu{|"-R} 4

(60) !J*]R

(61) &-_4#"-&'/=(=S(6ZK"-R_1)3="Q~z*?"5*]

(62) / "5|/ M&'!/# (=4

(63) %"-&-1 PG GI.44

(64) &-24*(=*Q"'!

(65) %

(66) *?R

(67) S(.0&'/ 1"-R

(68) 21)3="Q~Y*-"G Y/ &'/ M&SZ=.44

(69) &-8 YR

(70) &'DT>2@R

(71) S@ S(6GI{<."-R84r<TC~<M 4

(72) M !"-4/ E1)@R

(73) 4*-1t*I(

(74) (=(5"'/)"-R

(75) :

(76) 4*Z)/

(77) \

(78) #"

(79) 4*j4yjR

(80) 4@RE"'R

(81) :^>`Sa>c d] TJ9BC3&-S*-*-(54* / T

(82) "'4

(83) S(,f (_/*-N#

(84) #"'!~M !"-4/ }*?"-&@ "'%!S*I _TJ8B=3

(85) &'*'*-(E"-/C/CgiG+4 !4~ ZyFD/ 3>

(86) 3_

(87) yR

(88) /&-4/* J(yF:/4(=+yj!"-RY)*?R

(89) /&?"j/ M&'M#4y/./3JYN*?"-4/ *G.

(90)

(91) WC Q (

(92) M *XBC3&-41)&UN#

(93) N#

(94) *O1)/"@*U"F(=1)

(95) &'j"-/ "' !18#"U!

(96) .0/ &'18!44I"'&'bM !>N A > i"'K $ (=

(97) &@#" 1)/ o*Q"@% QY&'/ *2N#

(98) QEr"'&@*2&-(-(=N#

(99) 4451 &-5N5PA /x*A ~e3&-

(100)

(101) ZU/ x*A ~e3

(102) &-(e"'/ Q/

(103) &@* 1 :5&@ Q/="' "FNPA S*-*-#"'!$ "' #"F(6A &'&-4M !& 2

(104) 5/ 1)3

(105) &'/ 1)*O*' "'4*?.*- #"GkY/ E*Q"@% 1A 2E"j1)K$ _ / *?"-&'

(106) 4&-)

(107)

(108) 5BC"-*-!/ (

(109) e# "<

(110) P% G $k(#"9"-/="-"-"-/ *?"-&'i"'!/Z

(111) / *2bM /*9(=/ J]'( , & /1DT

(112) 4

(113) & (=( $ &'#"'*O@R

(114) / !B8*=$ 1 "'4N#

(115) S*Z#*?~C#"'B=4N#

(116) S** )+)*),$k/

(117) -& & "-&'I3

(118) 4*X3

(119) &S$ *Z18/*?"'%I*A *?"F(F$ &'/

(120) K$ 3

(121) &'!J4341)#"U N# "'&-S*K3&-"-4!* . 3

(122) &-*-+(

(123) +/

(124) J*-*' (

(125) 9VAQ$ "@ "I "-

(126) (=92&'@R&@@R

(127) (*K49 4

(128) 0 / . / J*Q"'&-"-4/ E(6A E/

(129) M 4

(130) 1 49 2@ 4

(131) 1 / . 3

(132) &-

(133) M +(=:/ =\+(

(134) E# 2i 4

(135) 1 / . B=3

(136) &'*'*?4/ E(=Y^J`ba>c d(

(137) *K49 2 <

(138) PG *?"-&'i"'

(139) &-K(=)&@3

(140) 3>/ &-"k*-&@(

(141) / F"-

(142) &'4!1)#"4 *?!M #"'! 3

(143) 3& S *

(144) FT+& M O3

(145) &

(146) $ *-#"'"-4/ D(=8T>/ &@ "-/!&' ":(=S*+/ 4T QSi"'r.*9(=*?"' % Z6/ * B=3>/*-&'/ *+(

(147) * !)3

(148) &'1)4&9@R 3

(149) r"'&-84*9(=( $ &'#"'* <

(150) * !#"-&'/=(=

(151) !"'*)f0TJ *- (=)1)/ 7*Q"@% bgiG 5 J*7(==B= 1)2@R 3

(152) !"-&' Z6

(153) /* 18/ "-4M &-/*" B=3

(154) !!"-&-/* 4E/*?"-&'i"'!/(= 2 4

(155) PG $X4*K

(156) /*F

(157) / J*K!#"

(158) $ &'*'*?&-/*) *'2/ =\ 3>/ &j=v(

(159) *K

(160) 5"-&'/ *? 1)+@R3r"'&- B

(161) 1)4

(162) &KPA B=3

(163) &-41T

(164) 44r"

(165) $ (=^>`Sa>c d(

(166) J*K

(167) "'

(168) PGXHI/*K/ J4

(169) &-/*K*?&F4*jN#

(170) S*Q"'!/*F4 4*'*=$ S*U/

(171) M &?"'*O"I4*F3J&'*-3>i"'!M*j(=+

(172) / "-&' "-&@bM 4VG. 6.

(173) . .

(174) !#" $%& ('*),+-/.0) 23

(175) &'/ Q" $214 3 m&567q 3 *?"

(176) 3

(177) &-/,Q"(

(178) 31I{98"9(=2VA {QH1j{98 /&-&@4

(179) G;:JA "-KD$ 1)/ }*?"' % 8(

(180) * "?"' S$ N!3> (

(181) 53I1 {98 fV TJ/&'"-/ 4&'/&-&@4](=<1j@R&@@R

(182) 5{=.0/&-1"-N"48="-/1)"-*?1)bg!8 H ~GXA / T4QSi"-!. (=:"?"'$ N#

(183) 43> S*Q"I/3="-4/ E"I)&

(184) $ !*-"-4/ (A /="-44*I3J/

(185) &j4*-3KS$ !vJ"-4/ 5"I2MO$ &-!vJ "-4/ E(=94/ % 4*G "'&'bM 4(=9PAQ$ N#

(186) 43J+3>="*-+&

(187) S$ *?18&K3

(188) &-4!3 !1)#"jE"-&'/ *K3J/!#"@* . &

(189) S$ 44*' "'!/(6A

(190) CMC!&'/

(191) 1)#"K3J&-1)"?"' #"(=93

(192) &'/"-/ "Q~C3J&K(

(193) +"-*K/

(194) "-44* / . &

(195) $ SN#$ 4 4*'"' !/"'!

(196) /

(197) ,(!=4*!*/ (O$ 1)/*Q"'&'"-

(198) &'*8*-3F$ 4 !*=$ *2*?

(199) &4*)3&-

(200) M S*)3&)&

(201) $

(202) &-&'J/o(*&-"'4

(203) S*8"-RK$ / &'!S* . 18+& % *-4E*F(=z/9#&

(204) 6$

(205) S$ MC&'&-r"'

(206) (=&' G "'@R

(207)

(208) N#

(209) *(

(210) Y3

(211) &-

(212) M S*)*?3K$ !vJN#

(213) S*23&-4MC!$ %4 #"8PA

(214) "-4!*-"-4/ z(=*/ #"'&' !#"-S*D"(=* =O!%$k(=/ &O?+N1!&@/ 8@&'R

(215) V3G

(216) &-&"7G Z Q: 9:3.0&-**F3

(217) (=4&

(218) +$ 93

(219) (

(220) &-4 *K!3V A?S$!N1)!3>#" $X3&' /&"-R2/(=Z=*-&'

(221)

(222) !4"-:&I

(223) " B(

(224) "- &@*bIMb ]=B(=* &->

(225) Si "-&-K+$ 3*F 3&? "'4&!D5I(

(226) / :&@ 1)"'/ !> }*=O?"'!&@ *?% "-983 "&.

(227) >4@BAC$%DEGFH,>IJ<KL. 6X(F$ T

(228) ="(=9*?"' % +"*-

(229) !"-:

(230) B]"-&@bM =B(F $ +8 "-KS$ *K*?

(231) &j49<

(232) VZ="-&'/ *jN#

(233) *?"-4/ *K1AQ$ "@4#"K3

(234) &-/3J/#*=$ *! M Gj!9^>`baJc dS*Q"-P46B=3

(235) &'!1 T

(236) !9(

(237) *K49 4

(238) ON 6 GIN64!E3>

(239) "?</ E.4&-+"'&-+4+ 4

(240) 6"I49QPBkR 4

(241) SN T Gj3J!/% ="?N</ / / &'*&-S?"-*?&'3>

(242) / 4(&-: #"PKA 4 15% (=PA O4N*-/ 1)/ &'3

(243) R

(244) *-18(=UO=

(245) &'&'~VI5 / yK&@(EfV;

(246) <

(247) "K(FS$ (=i"'!/]"-

(248) &'4!bg

(249) {FMb7(=*?/FN#

(250) E

(251) /*D A S*?3K$ &'!/*:3*D&$ 3J/(=&' Y "'/ ="'*)S*8N#

(252) S*Q"'!/*8(

(253) *2(=&

(254) $ (=o*Q"@% "-/="8 *' @R "N#

(255) Y "'&-/4*- 1)&-3

(256) &

(257) $ *-#"-

(258) z"'&'bM 4/ *=$ N#

(259) #")"5(=_4/ %

(260) _RJ44

(261) GWI8 |.0&" e 1)*-

(262) &-_(

(263) PA bM J$ (=5*?"' % Z#4

(264) r6D3

(265) &-*F

(266)

(267) / &'!#"' "'!/$ %$ &'1)#"U(=($ &'#"-G6U]&

(268) $ \j$ @R

(269) *-*'#"D VA B=3

(270) &'!1 T

(271) !4!"

(272) $ (= ^>`baJc d8(

(273) *O4<

(274) VZC!>

(275) / J*O2*?1DT

(276) $ / *?"-&'i"'r. (

(277) M /!&FN#

(278) *U3>/ &-&@4#" & "-&'4*O!% &

(279) $ (=4#"@*K$S*'*'4&-S*- "?"'DB=3

(280) &'41) T

(281) 4!!"

(282) $ G&= A *?"DN#

(283) / *I1)K$ ] /*Q"'&-!&'9!D 2 4

(284) PZJ(6A n$"-(

(285) !&I!S*I3

(286) &'/ 3&-$ "

(287) $ *F"

(288) v (6A B

(289) 1)4

(290) &jPA B=3

(291) &'!1T!4r"

(292) +$ (=Y^J`ba>c d](

(293) J*j9 4

(294) VG. T.

(295)

(296) .

(297)

(298) . 8jvJ7(=)(F$ "-&-1)4

(299) & 45T*?)(=8

(300) /"'&-2"-&@bM 4VZ

(301) /* 3

(302) &

(303) $ *-#"-/*(

(304) *+)@R3r"'&-8!86VZ642 " <

(305) KZ64 4

(306) VZ=4+QPBRk 4

(307) 64"'&-/=(=r"@*j(

(308) * =O4& CZ =E?! M CZ =E?! M TZ =E?9" M$# G %&'% ( !4 ;B G7 "( *) K , +4 !.-0/ D&,+GD41+. O 4

(309) E$ "

(310) X$ !#"'&-/=(=

(311) !" I VA / &'!%!X3J/

(312) &N#

(313) U"-/*4*!% &

(314) $ (=4#"@*6(=UI&

(315) 6$ $ &'!"-

(316) &'E*-/ 4#"(

(317) */ T4Q"'*B=3

(318) !!"-S*G ]

(319) /"'!/E3&-443 !:S*Q" (=/ D44D(=9"'&'18S*I(=2&

(320) 6$ $ &-!"-&-"/Y!#"-&'/=(=

(321) !"

(322)

(323) D

(324) /"'!/"-&+ *K%$ K$&@4 N#

(325) *?" !4(=+& %!S*(=)&

(326) 6$ $ &'!"-

(327) &' GD *+&+ %!S*ZPA 3

(328) 3

(329) 44 "'!/7(=&3 % 4*Z>4*+&S$ *?

(330) !"'"'*+(=M#4

(331) #":(=/ J8(

(332) *:/ 3="@* B=3

(333) 4!"-*GD{J*?*Q"'/ *+*-

(334) &+!8. r":N#

(335) )(

(336) * 4) 4

(337) |!S* "-&-1)*Z64* +& % 4*Z!S*+3

(338) 3

(339) 4 "'!/*+(=)+& % 4*"93 & /*=$ N#

(340) "K4*j*?"-&@ "

(341) $ % 4*F(6A 3

(342) 3!"-4/ *j(=:*K+& %!S*O*-/ #"K"-&@!"

(343) $ *K E!ME/ T Q"G 5 *j4:<

(344) VZ/Y3J="B=3

(345) 4!"-1)"&-3

(346) &

(347) $ *-#"-&FPA 3

(348) 3

(349) 4 "'!/Y(6A

(350) :+& %!9(=:&6$ $ &-!"-

(351) &'tf3&IB=1)3

(352) 4 24(6A 363

(353) 35!g "-4/

(354) (x"6-A &-

(355) 1)9 +& f03% 4> &8 ? B=# @f 1)?+g+3

(356) 4f / 2 g8? /

(357) /18 "-1)9E8

(358) 3

(359) o/4 4T9Q(="S*I7f 28&'% 39

(360) 1)5 #f "2 @g8*KN(=9IVA */ AQ3K$ M $ &@ !

(361) "'5

(362) &i;:g. 5=r"I< gi3JG &-5"-4/ +(

(363) 5944)*-*-~C~#1D#"@T> / B=4 (=|<

(364) PG _*]PA 3

(365) 3

(366) 4 "'!/|(6A

(367) }+& %!3>="|$ @R

(368) /

(369) &]/ 1)1)_3 &B=183!A 2B35 # f Cg]N#

(370) *AQ$ M !

(371) Y PA *?1DT

(372) 49MC4(

(373) E D8/ Y3>=" *?9&

(374) $ (

(375)

(376) !&'+Y

(377) Y*-1DT!:b~##"j3

(378) !J*(6A

(379) n$$ 1)#"I/ 1)1)9

(380) /*j4:M &-&'/ *K3J&j *-

(381) r"' G FF4_*

(382) & &I4*IM &-T

(383) 4*I3J

(384) M "& "'&-9="'!4*=$ *I(*!S*I+& %!S*j(=:&

(385) 6$ S$ &'r"'

(386) &' f0B=1)3

(387) 4, G HkJf I>g 3 I # @f Hkf 2 g?g Ie&

(388) N#6

(389) $ S(=$83&'r V"'A &9

(390) B=&'!_)1)f1L3

(391) ?<$48?!MN

(392) *?M " *-# gi184G *)?5"'(65AQJ$ M 1 $&!218"-OZ4/ 2? 7*3J?)?t& &

(393) !$ 8.(=1L!"8r"+$ 3 K:&?

(394) "'!*?E2L1)< (=8gEBG 46U7 *'*?*?~C*N##">

(395) '2"B=Z(=52!/(=&'vo*'!N#"-&@

(396) 2% PAZ6/ V(=$G 8=4M 5A 41 *?

(397) "88& 1)

(398) VAoDB=13

(399) T&' *?

(400) "-*'&@*- !/&'2Z"-6N#

(401) 4

(402) &2E)3M (

(403)

(404) 4&'*'**'T

(405) #"4 3 (=/"I8&-4"-4/ bM S];

(406) < T*Q"'&'i"'!/5(=};

(407) <

(408) X7f FK & PNQ # gKS*Q"*-*-+4#"-

(409) !"-4M

(410) 2;=TJ*Q"'&'i"-4/ ;I ) RK3>=" & "-&' &'3&

(411) S$ *?#"

(412) $ 3 &I4)3& % 4 (=9&6$ $ &-!"-

(413) &'S I 3 RiEG 8I4*-! T6P&'(

(414) B7fP; I ) RVU6gFA *?"&-4Y(6A

(415) "-&':N9!:P"-&'1) I 3 R # Wf U6giG 51 & 1) Z!;

(416) UbM SD1)/"'r.*f $2:XPXY # g+*A B=3

(417) &'418).4!1)#"D(

(418) J*+!<

(419) GHI/ "-/ J*9N 4/ &@*-N#

(420) ]PA / x/ *?"-&'

(421) !"24*)TJ*Q"'&'i"-4/ J*D(

(422) *DL3

(423) &'1)4&2"-1)3*ZX4KA ~e

(424)

(425) E&-S*Q"'&-i"'!/,/ 1)1)E

(426) / *24 M &-&'/ J*O(

(427) *j4*KBC1)3

(428) !S*j*?!M #"@*G. Z\[^]X_a`cb]edgfJd . kH fJ>I g 3h fWIjik

(429) g # fHkf 2 g?gGlmoqn psrutwvxo>ozy{h f 2 i7k

(430) g oqy t|r~} ll r~yL k tw}Jq7o= . I m 3 f@kHll fW

(431) k g 3h fWIji

(432) k g?g # f 2 g l y ~~y l4 vxoKt|rl p~r~$n}Jr n zto I o l tw}Jq7o r~y lHkn fWn k

(433) g 3 h fWIjik

(434) gK ru} l tw} o=n oNruy l t o7z 7o }J~ye}yx}@}Jr~t|o=S\}y }vye Wqoqjoqv o o o=q$}7o>ozy vy o!o utoB o, o o=z$}@v7oB . 2>32 # f 2 g!lm7ozn p~r~twvxo>oqy : 2L<oqy oEq o=n oE ~ygxr l Noyguvpsoruv17oNoX 5/ 74*/ T Q"'*(=u<

(435) *?/"Y/*?"-&'

(436) r"@*Y*?&E

(437) e*?4% "-

(438) &' Z

(439) n*-12T

(440) 4 (

(441) 7M &-T

(442) 4 Z

(443) u/ 3K$ &@ "-

(444) & (6A T*?"-&@ "-4/ A? 2? Z,/ 3K$ &@ "-

(445) &:(6A 3

(446) 3!"-4/ ? # f+? g+"8/ e3>="/*?(F$ &-&:(=*D*-12T

(447) 4*D(

(448) ]"-4*2/ T

(449) Q"@*G 3e3J="8(=/3 ] !*-UB=3

(450) &-41)&2!]/ =(F$ "-&'1)!4*-1)3&2VA !#"'&'1L$ (=4&-](A *?1DT

(451) 4*2(=]&

(452) $ *-

(453) !"'"'*G $ & B=183!Z*-kVA / *?

(454) 33J/#*?8N248w S*Q"+/1812="'"-!.QZ6VA 33

(455) !"-4/ }(

(456) 2]&+ %!!I{Kk 3 7I Y"-&-1) 2 5

(457) / * (=/

(458)

(459) B: 2 i 5s< G23 E(F$ vr"(=/ !S*F"-&-1)*j(

(460) E63& Q.

(461) ] dgfJd

(462) r~yx Nuyxy o n l vyeoqy l o qt|oBNoEpsru$}JrNqt|o l oqvyeoqy l o qt|o>No l~ ~to l oqt vxo xr~~$}v {on v~yxv} vx"o0! ! m o # l $+o * l r G$ ut|}o 7o l u v vxlo$ ozt|yo l,l o # zt|ol ~NyLo Ol~~} l qu}~yxt|o l l m ru$} o%n '&uv l8l v=Nx l ~y l vxo)(xr vxo l~ ~to1r vy o -!m oqy l o qt|oBNo $ oq o l NoBr l o!y ~ o/n . fi)]g !Oo l Ot|o gtwv l xoz@}Ooqy l o qt|ooqt vxo0 .t|o l p~r~$}Jr zt|o l No l uyxO o lj$ oq o l ! . l } R i*)+)*z) i7R21 l uyx No lj $ oz o l oq H"341 rut|~ l\HkfJR i+)*)*)'iR21

(463) g o l vy $ oz o5! . l } R i*)+)*z) i7R21 l uyx No lj $ oz o l rut|~ l!:=R i*)+)*q) i7R21 <o l Ovy $ oq o! . l } R oq UAl ~yxVNo lI $ oq o l rut|~ l R # fWU6g o l Ovy $ oq o5! . l } R oq UAl ~yxVNo lI $ oq o l rut|~ lR 3 U o l vy $ oz o= 6 3>/*-r"'!/Y.0/ "-4/

(464) 4! m $ R l Rf g93: - l,l l$ t|ruozyX Xrqo XylGo!rR N ti+xo )*l oz)+trutq) o iuR21v oqm vyxya l Noqo H o z;- ~o y lGzl@}J~ ~ yLyg~oqvtt o y lR9N o ozHk fJ R ol i+u)*yx)+V! z) i~rR2Nv

(465) 1 xg8ooqlt o un l yx\}/ r}J*uN?y8x"'oz 7 t #"o n -l uv * t|o l:oz&'% oB

(466) 1)ozt "@vx* o No 7 R ~v<! x r~ o r zv l~v No 6XE

(467) / "' "'!/FKH,4*KV"'&'18S*K3J

(468) M #" & "-&'9(F$ v

(469) *K3& >= ] _a] R (? IA@ HkfWR$i+)*)*') iR?gB @ :=R$i*)+)*z) i7R < e@ R # fWR?g{@ R 3 R. Z\[^]X _a`clb]edgfD C $ 6 y ul y l }J oq 7o : 2 i 5 iC <>! :sHgi hg<>! EF G oq>! No l p~r~$}Jr zt|o l No IHOvxoqt vxo l oXo gt|o No oq o 0 . l 2>mn 395 # f 2 g : oqn yguo,t m r gtw}Jr~@}J~y No,t|r>o uto,No, o n o=n z$}@v7o 2>395Eruvoq o2 &uv l p~oz$7uy l, vxoo!oq o oqp~r~twvxoBozy 5=< . 2>32 # f 2 g oqn yg~o!t m rN tw}Jr~@}J~yaNo,t|r>o utoNo o n o'n q$}vo 2B32 r~voq o2KJ o,oq o lmoqn p~r~twvxoBozy : 2L< . kH fJI"i

(470) k g 3h fWIji

(471) k g # fkH f 2 i 5 g-g vygoEr gtw}Jr~@}J~yaqt|r ll } vxoB m vygo o7 Nt|o>No o n o'n q$}voE . I 3 I>l k # n f n 2 g vy o!: o uatoBk oE o n o=n z$}@v7o r~p~ovy o,p~r~$}Jr ztoBtw}Jzo k oq0y ~v l p~oz$7uy l gt v l ru7*x~v vx~}Oo oq o o, o o'q$} ozy 2 < . L k 3 l I 3 IB k # f 5 g # nf7n I 3 I # f 2 g?I g vy I$ oq k oB~$7o l uygNruk yxSl ruv ;$ oq o lfV;xk )4f-fVl;xI ) I ak

(472) g 5 g?g2f?fP;n I n ) I 2 g?g t|r p~r~$}Jr zt|o o tw}Jq7o r~} r~y t|r o7 Nt|o4NoA o o=q$}v7o k 3ruy I t|r 3 IBo uatoKk # f oa5 g !0o oqo'tqt|$o>}@o vl 70o tw} o'n o= 3 . I 3 I # fWI g # fJI 3 I # fW>I g-g o o n l oqyxr~yxOt|o ;$ oq oBz}Joqy uyxyxv fMNMOg . |4 fWI 3 n n IE M g l 3 f M 3 I g # f 2>3;O2$ M g # f M g vy $ oq o" twv l tw} v o n l r~y l ~$7o l uygNruygoSrupsoVvy oO o7 Nt|o No o o=z$}@v7o ruygNru7 uv1vy oq o= %& P Q R> !.- SG/ D&,+D41+ 6X="-4!*'#"U4*O

(473) /"'!/*X3

(474) &S$ *?"

(475) $ S*(

(476) J*U4* I8

(477)

(478) B=*E:8 ZuF fhv!"-&@%I"F&+ % 4*X(AQ$ M 4 "'!/Jg"j(

(479) J*X4*F*?Si"-4/ J* 3

(480) &

(481) $ $ (

(482) #"-S*U

(483) /*j(=/

(484)

(485) / J*K4)(F$ v

(486) !"-4/ E%$ K$&' !(

(487) E6 4

(488) G ] S dgDf C

(489) r~yx Nuyxy o n l vyeoqy l o qt|o>No l ~ ut|o l No ;z~y z@}J~y l !vyozy l o ztoB o,p~r~$}Jr zto Tl oq0vy o ( o=n ~$n }Jn o l vVt|o l oq o l No n . fU Vi ]g rupsoSvyGgNqt$o o*NXo W tw@7rqXo* o=n z}J rNqt|o !yguv l rNxozt~y Xl $ rut|qvZt Yuv{rut|qvt No o o'q$}vo\[8vyer~tzvtj oUWyx}gxr~0 .vy l uv l $ ozy l o zt|oyguy p=}JN]o ._^ f)i ]g Not m oqy l o qt|o>NoEoq o l . fU Vi ]g ! .t m r gtw}Jr~@}J~`y Y m u7~o l v= ozn $}Joqva [ No l vx l @}v@}J~yeruvN{oq o l.

(490) .vygo!( o=n ~$}Jo S ! .t m ozy l R oC ! ztoB oB o7 Nt|o lR moqn psruR twvxr~@}J~y 0 >!

(491) h U C >!

(492) h U C H 2a! R 5 !2 R C ! R C ! ! " 7#"$ %& !%'J2 Y)( } Nv7o+*N,*[ !. .vygo. l @7r~ on u}JoB moqn psrutwvxr~@}J~y.- v}"Nv}JNot m r gtw}Jr~@}J~yA o l o uto l m7ozn p~r~twvxru}Juyg. ^30 # Jf R?g 21 4 3 3,-5

(493) / ULR

(494) f 687 R?g:9 9 / HkfWU i*)+)*)'iU 1 g # fHkf<; i*)+)*)zi:; 1 g?g 21 :sHkf7 U # f<; g$i*)+)*)'i' U 1 # f<; 1 g-g <.

(495) h U C .

(496) h U C H 2 HkfWU i*)+)*)'iU 1 g # f h f<; i*)*)+)zi=; # g?g 21 D :'U i*)+)*)'iU 1 < # f);Cg 21 :X U # )f ;Cgzi*)+)*)qi= U 1 # f<;=g < R 5 ; # f:=U i*)+)*)zi7U1 < g 21 :X ; # fWU zg i*)+)*)qi= ; # fWU 1

(497) g < E2 R C> :=U i+)*)+)qiU 1 <*3 ; 21 :'U 3 g; i*)*)+)qi7U1 3 ; < ? R C>@ U 3 :; i+)*)*)'i=; 1 < 21 :'U 3 ; i*)+)*)'iU 3 ; 1 < ? R C>@! Hk:~Hkf); f<; i*)+i+)*)*)')+iz)z:'iUU i+i+)*)*)*)*)q)qii=U; 1 # gz< i*i*)*)*)+)+)q)zii=Hk; f<1 ; g i+)*2)+)z1 iU # i+)*)+)qi=; 1 g " 7#"$ %& R < :=U i+)*)+)qiz:; i*)+)*)'i=; 1 < i+)*)+)ziU # < 21 :'U i+)*)*)qi=; i*)*)+)zi=; 1 i*)*)+)ziU # ' 2 R 4%

(498) &' M G M S*j&+ % 4*F(6AQ$ M !"-4/ E(=X<

(499) . C R> GB !.- D / D&,+GD41+ 3*A !#"

(500) $ &'*'*? )

(501)

(502) +4*?"'J:(=61!+ " 4

(503) G ] dgfEF D

(504) n l l~ l lK r oqt|uy lI ">$ r~tzvt^vr~y yx!ruNt|uqyxvytjo{ o nvW yKyL} oqy ru]o 0 qt|oNo ut|o o ;zuygq}Juy !\vyKoqy .vy l uv lV$ oq y l o qt|o . "#f i)]3Gg FNH+o f t ]m ozyg l o zt|o*Nooq o l . Uf iV]g ozt vxo ~vo l Not|r;zu o$^ 30 r~p~o? !. <. %&BA. l o qt|oNo psru$}JrNqt|o l% !\y ~v l to l o7 Nt|o l o o n o'n q$}@v7o l ~}Joqyx. .t m r gtw}Jr~@}J~y`Y m u7~o l v= ozn $}Joqva[ No l vx l @}v@}J~yeruvN{oq o l ! .t|r8( o=n ~$}Jo D Y W t 7r' o l yxrq } vxo\[ ! .t|o l o7 Nt|o l R m7ozn p~r~R t vxr~@}J~yIJ/K!

(505) h U C >!K

(506) h U C H 2a!+L R 5 !+E2 R C ! R C !K R C ! ! " M7 "$ %& %! 'J2 ! . vygo l @7r~ on u}JoB moqn psrutwvxr~@}J~y.- v}"Nv}JNot m r gtw}Jr~@}J~yA o l o uto l m7ozn p~r~twvxru}Juyg U#" <

(507) 3&T

(508) J**?" 3

(509) 3>X$ 4U<

(510) JG=O"-"-O&-S*Q"'&-i"'!/:(=:6 *?"4#"

(511) $ &-S*-*'#"'3&-443 !18#" 3>/

(512) &K"'&-/4*K&@*?/*! M Gj4!+J/=(=949;

(513) FK &PNQ # / 6 GI*-8/=\

(514) 9S*Q"E$ "'T!48 =O4& =Z =E?! M # /.

(515) T Gj4 4!

(516) %9(= /%

(517) D

(518) (=+

(519) *-

(520) ~=+*Q"+T> / 1)

(521)

(522) * :(=*

(523) $ 1)(FS $ (=#"-N"-4/ }ME/ 4&B

(524) % #!% "MNQ6UZ ?<8?H \Mf03>C/ ZF7&j?<

(525) ?

(526) + 3

(527) M&

(528) #$ Z6*-3J#"/'

(529) &9"-4/

(530) (

(531) 8

(532) E3

(533) &

(534) $ *-%#"@% ;"-4/ O6 (%8=Hu/ 1)1) / 1)1)9*=$ 1#"-N#

(535) +E4

(536) % % UU6 %8 HuM /!&! O= !&N= Z =E?! M T # giG %& Q

(537) . . " ! $#%'&(*)+*,. =O/ 1)1)]

(538) /*:PA bM / J*9*?4% ]$

(539) 3 &'bM "SZ (

(540) *:4]<

(541) PZk!S*9"-&-1)S*Z!S*:&+ %!S*Z!S*D 3

(542) 3

(543) 44 "-4/ J*:(=]&+ %!S* -* / #""'&' r"

(544) $ *I _

(545) 4M SY/ T Q"" 3J&/ *

(546) S$ N#"

(547) /**-/

(548) RJ!"-&'4/ *(=D1 & 18D3J/

(549) M /!&B=3

(550) &'!1)& 4* *Q"'&'"

(551) $ % 4* (6A 3

(552) 3!"-4/ (= S*U&+ %!S*X1 & 1)I

(553) 4M SGXA 33

(554) !"-4/ ](6A

(555)

(556) &+ %!I(=&

(557) 6$ S$ &'r"'

(558) &-j(=4D&

(559) 6$ S$ &'r"'

(560) &-j*?"' (

(561) &@( *?"F(F$ &-!"-IB=3

(562) !!"-1)#"F(

(563) *X43 &O

(564) P"-&-1) 3

(565) 3

(566) &'/ 3

(567) &' $ G $ &XB=183!ZPA 3

(568) 3

(569) 44 "'!/(=9&+ %!I(

(570) &

(571) 6$ S$ &'r"'

(572) &' 2B35 8"-&-1) 2 *?"X&-3

(573) &

(574) $ *-#"

(575) $ F3&X4jV"'&'18E 2>395 # f 2 giG +&S$ (=i"'!/8(

(576) "?"-3

(577) 3

(578) 4 "'!/)4 "-&-1) 5 (

(579) J*4 &

(580) 6$ $ &'!"-

(581) &'U/&-&'*-3>/ ( 4 &

(582) $ (=Ji"-4/ )(=)V"'&'18 2>395 # f 2 g)4j P"-&-1)*: 5s< (*k4j 4

(583) G _ 4*D

(584)

(585) ]&

(586) $ (

(587) i"'!/7,&

(588) 6$ S$ &'r"'

(589) &'23>="8!1)3

(590) 4N&DPA 3

(591) 3

(592) 4 "'!/,(=3!*-4

(593) &@*9+& %!S*9"D3

(594) 4*'N#

(595) ]

(596) /*:M/

(597) 4/ J* &'3

(598) &

(599) $ *-#"'&(

(600) * !8<

(601) "-/="-8&

(602) $ (=Ji"-4/ (=25&

(603) 6$ $ &-!"-&-9" 3*+*?

(604) !1)#" 4* &

(605) $ (

(606) i"'!/*IK$S*-*-!"'#"

(607) *-

(608) 3J *I(=9&6$ $ &-!"-

(609) &' !/&'*F

(610) /*jM/

(611) 4/ *K&$ 3J/(=&' ) N#

(612) *?"-4/ oqn ruyxVN~yLy o=n oEvygo ( o'n u$}JoB oE o n o=n z$}@v7oo-N} lr~t~o $ }ltjv.0y/ # Wf $U6Gg oq l o o $.0/ o=n ~voq}t ozvxy oVvxy ~voz,y l ~o v 0zt|oqoB ~oyLU oq!ygrul yx} UAtol oE $ o=noq~ v } o oz2; ye1 t|oEoq o ; Nruy l t|r ( o'n u$}Jo8NoE o n o=n q$}v7o HI/*FM /

(613) !/*F(=/

(614) &K

(615)

(616) 1L$ "'R

(617) /=(=3>/ &K/ *?"-&'

(618) 4&-! "'&'18 .0/ Jf UgF*'*K/

(619) &r"'&-48(F$ &-4M "'!/(=* UE.; (

(620) *k4"-RK$ /&-4 - 2G =OK3

(621) &'/ T

(622) 1)F*A bM &'X3

(623) 4*(=4 3]4!K3 &'FN#

(624) K4*k3

(625) &'/ 3

(626) &'$ "

(627) $ *(=8*-~=*Q+" 1)F(=j&

(628) 6$ S$ &'r"'

(629) &-Z/ 1)1) 8"-&'1)!J*?/E"I4/ =\J

(630) ZJ

(631) :*?/#"I3 *I/

(632) C

(633) S* rG $}J~$} GI8(F$ vr"'!/(

(634) D*Q"'&'"

(635) $ % 4*+f(

(636) :

(637) / &'144*' "'!/Jg *?"D. r"']L%$ F$&@ e1L$ "'P!M "2

(638) /*:M/

(639) 4/ *:18/#"-&'&DN#

(640) 5!]U*?"8*-*-3

(641) 4*'*'#"D3>/

(642) &2

(643) / * 3>&'18"?"'&-4D&-3

(644) &

(645) $ *-#"'"-4/ (="-44*F(O$ &'4Mb"-4/ *U!M/4T Q"K(=5

(646) P2G =ON#

(647)

(648) / J*U33J/&?"'/ *O4VZC%& & Y Y3

(649)

(650) *'*- ](=,vr"'&' % " Y PA ="'!4*-"-4/ ,(=,/ =(F$ "-&'1)!4*-1) Z S*Q"24.4!!"

(651) ]$ (6A B=3

(652) &-41)&2e="'!44*'#"D4* V"'&'18S*Z(

(653) **?"-&@ "

(654) $ % 4*Of(=j/ &'1) !*' "-4/ >g6% 4(

(655) #"kPA 3

(656) 3

(657) 4 "'!/2(6A

(658)

(659) K/23

(660) 4*-!

(661) &@*3& % 4*(=K&

(662) 6$ $ &-!"-&-GH/ * 3>/

(663) M/ *I !J*?B=3

(664) &-41)&I4**Q"'&'"

(665) $ % 4*K(

(666) J*I

(667) .0/&-14*?1)9

(668)

(669) !.0/ &'1):/1DT

(670) 4#"I4*1L$

(671) *?1)*j*?"' (

(672) &'(

(673) *j(

(674) &

(675) 6$ S$ &'r"'

(676) &'"!S*2"-@R

(677) 4N#

(678) S*)(6A /&'(

(679) &-E*?

(680) 3K$ &'!

(681) &SG $k/

(682) &) 4

(683) !&2}.0/ &'18E

(684) /&-145(A

(685) x"-&-1) Uz3&)&@3

(686) 3>/ &-"

(687) e*-~C*?+" 1)(=]&

(688) 6$ S$ &'r"'

(689) &' - Z!S*9+& % 4*+(=&6$ $ &-!"-

(690) &'2(

(691) - *?/": 3

(692) 3

(693) 44N#K$ * on oqn }@}p~o ozyL

(694)

(695) 3>/*-r"'!/ vxozt|uy vxo (

(696) U Q*-N#A } N#A

(697)

(698) 3& % 4](= -

(699) E*?/r"83

(700) 4* rN tw}JrNqt|o G $ &D/*=$ N#

(701) "SZ4*24

(702) % &

(703) $ (

(704) !"@* K$SS*-*'4&-S*U3>/ &I(O$ vJ

(705) !&j

(706) "-44:*Q"'&'"

(707) $ % 4 *-/ #" .

(708) 5/3K$ &'"-&K(A !"

(709) $ &'"-4/ EN3

(710) 3

(711) 4N on ozn @}}p~o oqyx (=S*K+& % 4*K(=+&

(712) 6$ S$ &'r"'

(713) &' Z . "-

(714) )/&'1) 3K Z$ &'"-

(715) &(=j3&@/

(716) &@*(=K"-&-1)*UNJ33

(717) !N#

(718) j

(719)

(720) j3& % 4K(

(721) j&

(722) 6$ $ &-!"-&- +

(723)

(724) I3>/*-r"'!/ vxoqt|~y vxo (6A

(725) .

(726) 5/3K$ &'"-&O"'*?"' "I*-

(727) E*-12T

(728) 4:(=++& % 4*K(=+&

(729) 6$ S$ &'r"'

(730) &'*?" r gtw}JrNqt|o *-

(731) &j

(732) E"-&-1)G =ON#

(733) I/ *UM / !/*k3&OB=1)3

(734) 4 A S*Q"O &-&'4M & 9 / *?"-&'

(735) 4&-j P"-&-1)N#

(736) J&

(737) S$ 44*-K4:

(738) / &'144*' "'!/ }yLygoq l 3 &:&' 3

(739) 3>/ &-" 7*-1DT!](=+& % 4*+(=&

(740) 6$ $ &'!"-

(741) &' - G $k/

(742) &93>/

(743) M/ 4&9B=3

(744) &'!1)&D)"'&'18/ *:bM/ * T>*-/ 4 (6A B=3

(745) &'!1)& M GjVA / 3K$ &@ "-

(746) & /) 7 s 2 R65+(FS$ &'!M #"UPA 3

(747) 3

(748) 4 "'!/](6A

(749) ]"'&'18"' "KN#

(750) 4&

(751) $ *-

(752) !"'"U(=PA 3

(753) 3

(754) 44 "'!/]A *?"O30* D / 6 GjVA / 3K$ &@ "-

(755) & "$ C 8 7:9 (O$ &-4M #"KVA 3

(756) 3!"-4/ (6A 5"'&'1)9

(757)

(758) +.0/ *K"(

(759) 1

(760) &'T>/"-"-/ 18<

(761) 3G 8IM)S*+(==B/ 3K$ &'"-

(762) &'*/ 3J=":B=3

(763) &'418& f - g a f - 9g /) 7 s 2 R"5Df "$ C 7;9 f - g-giG]HI/* 3J/

(764) M /*+(=/ J &'3

(765) &

(766) $ *-#"'&6j

(767) / &'144*' "'!/9(6A :"-&-1) U)(

(768) *

(769) X"-RK$ /&-4X(=U&6$ $ &-!"-

(770) &'E3&!O P"-&-1)- . / Wf U6g a f - g # Wf U6giG <

(771) KK*?/r"3J/

(772) &kVA / 3K$ &@ "'

(773) & "$ C 7:9 /D3>/

(774) &PA /3F$ &@ "'

(775) & / 7Ms 2 R65j!

(776) 3

(777) 3 &' &r"4 !&'1)"kIK$SS*-*-r"

(778) U$ (=F3>/

(779) M/ 4& "-S*Q"'&VAQ$ @R9(

(780) *IPA 3

(781) 3

(782) 44 "'!/_(6A

(783) :+& %!GFH/ *(O$ vJ

(784) 4*'*-/ *I !J*?

(785) _/ 3K$ &@ "'

(786) &jN#

(787) k@R

(788) &@@R

(789) 94*j"'&'1)*N#

(790)

(791) 91

(792) #"j3 * 8

(793) $S@R

(794) G.

(795) . '#% & (*)+*,. . HI/*4#"-&'/=(=

(796) *?/*

(797) 9/

(798) M /3K$ &'"-& < !&'X3

(799) 3>$ H RNj3>/

(800) && /& !O(=U*=$ 4"-4/

(801)

(802) &3 &-1)*-* &'%

(803) 1)#"@* 4Y3

(804) &-1)!&2"'&'1)_(=/ #"VA 33

(805) !"-4/

(806) o P"-&-1)Y(=/ F$A *?"]3 *)&

(807) $ (

(808)

(809) r"'5D=G|HI/*M /

(810) 4/ *)(=/N PA 3

(811) 3

(812) 44 "-4/ 5(6A V"'&'18! H Rf i*)+)*)zi 1 g!D

(813) ]"'&'1)SRX&'"'/

(814) &'

(815) 4 &