Semánticas para álgebras de procesos estocásticos no markovianos

Texto completo

(1)UNIVERSIDAD COMPLUTENSE DE MADRID FACULTAD DE CIENCIAS MATEMÁTICAS Departamento de Sistemas Informáticos y Programación. SEMÁNTICAS PARA ÁLGEBRAS DE PROCESOS ESTOCÁSTICOS NO MARKOVIANOS. MEMORIA PRESENTADA PARA OPTAR AL GRADO DE DOCTOR POR Natalia López Barquilla. Bajo la dirección del Doctor: Manuel Núñez García. Madrid, 2003. ISBN: 84-669-1801-9.

(2)

(3)

(4) !!" !#$%

(5) #& '

(6) ! ( )*+ ,(. /- .10324065(7 8-"7:9<;<= >?A@CBEDGFIHKJLF @CF,MONOFPRQESUT4VXWYFZDG[\?]N^MOMOF _a`cbZdfehgidfjk`mlginpoZ`&q rtsugi`cjkdfswvxl'yznfe{jk|}gir~cnsRehne{dfj!d}~crt fl lZrf`ce{shrto,d}o1njpbZ'gi`mlZs{òZ`&Xdfo'e{rtoORshb,df,d NODT4f@CBEDHF,I?]T4MwJX]T4V/F'D}zF.

(7)

(8)

(9)

(10) !!" !#$%

(11) #& '

(12) ! ( )*+ ,(.

(13) !"#%$ &'& (")* +, .-

(14) )/ 0 . JLF'@CFZM^NzFP QESUTV1WYF'D}[I?NOM^MzF (1 2 3$

(15) 4 "#5 67. F,\?T4M3JX]]TVFZDGzF. TS]FZDC@CF8"T4 @CB:9]T<;AN

(16) =m@CT&8"F=?>mA@ B D8:B @N^B=DCFE$DGB%GEDF8"F,NzQ H F,?M @CF 9I9]T/F'@ 5T 8B'@NOF = J 2N K T4D =

(17) N 9F 9ML&B 8"S MO?A@CT4N =c+T 9]T1 OF 9]DG

(18) N 9 P ]TDBRQS%ST.

(19)

(20)

(21)

(22) !#" $ % &'.

(23)

(24)

(25) '#

(26) #%

(27) #"

(28) #%'

(29) &'

(30) %!

(31) !'"'! # ! %$ !#" " #

(32) % $ !'& % %('

(33) '

(34) ) %!

(35) ) #%#% #"

(36) '

(37) " " #" ' *,+

(38) ' #

(39) #% !-

(40) -. !

(41) #

(42) '"0/ % !#"21435!) '! #%!)5 %

(43) % -3 ""' # %! !5!76 -. "

(44) #9 8 % : ;'<*=1 : 8 ">& %- ##%# #%( % #

(45)

(46) ) %

(47) ? "

(48) #" # % % 4' A@)BDC)EF@)BDGH6 %!I$ !'#

(49) ?&

(50) ' %! ! ' - * " #% -

(51) -. '

(52) &' #

(53)

(54) #,J " '! K ) ML

(55) )

(56) " NO$ #

(57) !

(58) '" P J " Q

(59) # <6 #

(60) 'R' S #

(61) M$ ! #

(62) T$ ! !

(63) -. %'- * UWV <S . 0X

(64) ' Y!X #

(65) '% %! 6

(66)

(67) -' # "Z$ !

(68) #%( % #% - I'<6 " "

(69) #

(70) &'

(71) ' ?'

(72) &

(73) % #" " #%!) 5

(74) ' [ % 7 6

(75) "Z$ ! ' #

(76) #

(77) )

(78) >'

(79) &'%! ' " *+

(80) %'

(81)

(82) - "\$ #

(83) !

(84) #

(85) V =S . ']!& %!-' ! # %! ^ & %!!5! # _.;$ ! !

(86) ' #% " % "S #

(87) ' ! 6 -.

(88) " % ! #%'

(89) '

(90) ' *Q` 9#a % " " ?

(91) #

(92) " ")'

(93) b% % !#c$ ! &

(94) " " - ['

(95) &'6 -.

(96) '! '#

(97) Z3' " #%

(98) '"

(99) ' ) *d/ !

(100) # #% ê ?e " % %! %!" % & !-' g f #9 8 %dhe <6i

(101) #

(102) #

(103) #

(104)

(105) -

(106) '#

(107) #

(108) _* e '!#

(109) - Z #%!#

(110) % !5!#

(111) ' j!& k!X #

(112) '% %! '$ ![ &

(113) - ml #% #' %!

(114) j J )' #% % " !#

(115) "

(116) " P# #

(117) !'

(118) #" :!& 6 " n!3 _6 ) H* #

(119) [ & ! ! 6 %!#" ! # %! %! "0!& 6

(120) &'# " #

(121) ' #%! - #K

(122) "!

(123) # #% 7* +

(124) %'

(125)

(126) - I !-

(127) -. !

(128) #

(129) " #

(130) #"T'

(131) ' % "

(132) # & #

(133) # "#

(134) " ,J! % M$ !nS #%!#% %' % #9 8 %d* o

(135) # [ <6Op"p"p"pqo

(136) !n/ " "n/

(137) 'r"r"r"r U 'gl ' 6 T !-

(138) -. !

(139) #

(140) '"$ =S #

(141) so\ 8 )to " %! %! # % "! ;$ ! # )<8 =S #%('

(142) #%'

(143) " % "S #

(144) ' ! 6 $ !"# & " ")S %!#" ! #

(145) - #%!#

(146) "'

(147) ' % " - P'<*F` 9#a % # !-

(148) -. !

(149) #

(150) #"vu=GwBDxA@:x%Eu<Czy=x[$ ! {/

(151) --. % U k$ ! '#

(152)

(153)

(154) !

(155) :aH* U|U " #

(156) - H6}/ #

(157) <6i~ "" _6 U " #

(158) - [ ' #" " !

(159) ) - * %

(160) -' # "

(161) <6 .

(162) . # !

(163) '" " ;

(164) # U " #

(165) -

(166)

(167) '

(168) )"

(169) > "

(170) '

(171) )" " !K

(172) #

(173) '#

(174) ! !_6 0 ' #"

(175)

(176) '

(177) #%! #

(178) ' %!-%(# #% % '! % '! #%(

(179) '

(180) #". ' :&! * #

(181) !

(182) #

(183) #"9a#% $ !

(184) -

(185) % !#%

(186) " ]a# #% $ !

(187) #%

(188) -'S

(189) %6 0$ ! %

(190) #%A #%(* U ' ' 6!!

(191) ) / #

(192)

(193) '!!

(194) ! "t S '" '! !-'

(195) %#

(196) :a % '!

(197) G G x xj* +

(198) 3 "" ' 2 !-

(199) -. !

(200) #

(201) " #

(202) #"%Cju=G B"C -x

(203) !}6 % %! # %B u"!C u=C# mx

(204) ! 6_$ ! 4 & % # #

(205) 4& % & n'

(206) &

(207) %#" ". J%! ' - *, #

(208) '

(209)

(210) --.# " k % S % '

(211) "" Z $ ! #

(212) " #% _* #

(213)

(214) - P' !O K " bLz%( " '#

(215) " % !) S N6 #%

(216) -'# "

(217)

(218) \

(219) 6

(220)

(221) #

(222) & # " ) <

(223) 6

(224) % S #m

(225) l '

(226) #% v &!#

(227) ' % !#" " n

(228) #2" '# $ ! & !&!

(229) '

(230) " J!

(231) ' ! J%! " "

(232)

(233)

(234)

(235) %< * + #

(236) 3 "" ' ^ $ #

(237) < J

(238) #" " #

(239) % A$ ![ & - #"

(240) ' %!# " h $ % & 6_

(241) # >

(242) $ !#

(243) #>

(244) S " S

(245) % " %!#" !- ; 3 "" ' " #

(246) _6

(247) #

(248) #

(249) #% Z. !j &! P J t $ ! ' >

(250) '

(251) _% f!% " *.

(252) 88 5 . 7. 888

(253)

(254) . :. 887 . ;. 88: " 8< 87 8=.

(255) .

(256). 78 & ! 77 77 9

(257) 7> 778 (-

(258)

(259) 7? 777 ' & :< 77: (# + :8 77@ 5 :@ 7: !

(260) !

(261)

(262) ! +

(263) := 7@ 9 !

(264) @7 7@8 A

(265) " @7 7@7 B

(266) !

(267) @= 7> 5 . B ! # >: 7>8 5 ! >: 7>7 , ! >: 7C A . >>. . . :8 A

(268) " >; :7 5 C8.

(269) . . :: 6"

(270) ! . C=. :@

(271) $% C? :> A =7. . . @8 A

(272) " =? @7 9 " . ;8. @:

(273) ! +

(274) " ?7 @@ A ?C. >8 4 ! ?? >7 ( ! 8<7 >: 6" " 8<> >@ A

(275) 88< >> ! 88@ >C A 88=. ! " # C8 4 ! 88? C7 B "

(276) " & 87: C78 6"

(277) ! " 8:: C: 5 # 5 8:> C@ , ! . 5 8:?. C> 5 8@: C>8 5 D

(278)

(279) 8@@ C>7 A6'EA( 8@= C>: 5 8>: CC A 8>C. $ % & '. . '#. !.

(280)

(281) ]

(282)

(283) #!#

(284) % ' # " !'-K #98 % #" _. #" & " B3B D #% #"T$ !

(285) a " '"% !'

(286) "@

(287) gx (C -xw-GwB B G C u2u G u BD@:G[$ !#

(288) #% #" ) %! !5! " " #%!# !'

(289) ;/ !#PJ!' <* % %$ !#" #% #%!:a>$ ! #

(290) -.

(291) ' #

(292) n3 ""' %( ) % %!# n "

(293) " ! <6iS

(294) ' ""!

(295) ' <6}K %!# %! -'

(296) ' !#98 %

(297) " ! 6 ) H *7FT8 #%!

(298) #(% %!' $ !# %! # _. # )

(299) -'! #

(300) #

(301) ##" 6 !'

(302) '# " J%! #% % '" % !'

(303) " " ! (C<w-G!u C! -x<@jC u=x!u! -xw-G(wB " u BD@:x!u6 PJ # 3 % #% %! # ! # #

(304) \ / %! "% $j6_ ! (% S - '" #9 8 d% 6

(305) >%(- '< 6 ' " "

(306) "" %! " %!# %$ !#" #

(307) n $ !; %( ") -

(308) . \ f!% " "

(309) <* %" #

(310) )

(311) : '! 9 aH6#(% '

(312) % '

(313) <6"

(314) ' %!# " #"O K

(315) ' " l

(316) ' #g f

(317)

(318) %!#

(319) '

(320) #(% < *_ # <

(321) 6K

(322) ' " ' #

(323) #"

(324)

(325) . " #S !% ' % #'

(326) <S a % ##-

(327) "#% & = 8 !

(328) (% ' % #9 8 % % " % g f " - ' (% & -G!u<C u'$ ! _ . % %!#

(329) % "#% &'< *,H ' " " " tJ"" #

(330)

(331)

(332) f!%

(333) '" # #%! #%! n $ a

(334) )#-

(335) .- ' M' S #

(336) % " %!- '

(337) '!)

(338) #" ' 6! -. #-

(339) . % #

(340) #

(341) '

(342) 0 % '

(343) % '

(344) * % # " #(% H 6 " "#_% l &' #

(345) ' . %A3 % #% " # %! $ ! & # % "

(346) -

(347) #% % ) #

(348) ' % #(%

(349) '%!< * % #

(350) - 6 ) H3 % T K !#

(351) %

(352) '

(353) " " %! - '!

(354) #" "< 6 S " %!' !. %!#"

(355) _% K

(356) ' #9 8 % % '

(357) ' ' 6 n $ !

(358) ##

(359) % % #

(360) ' _#%!' %! " 2J"" #

(361)

(362) #" J ' 7* % " #

(363) #

(364) #

(365) ##" - '! 9 at 9 a#% "

(366) ' %!# " R#%!' %!

(367) "" .- ' c #

(368) "P $ !0 & . %

(369) # Y & - #% #% " " " #

(370) !'

(371) _* % ! ! "" % #

(372) %]# % #

(373) %(< 6 #

(374) #% B3B - %. # ' P '

(375) ' " "

(376) #%! (% '

(377)

(378) ^ % J

(379) #(% '

(380) # "'_ f ##% # #(% n S m

(381) l #d% * % #

(382) - 6

(383) %$ !#" #(% %! - -. % % #

(384) ' #"# K

(385) ' " %! " _% K

(386) ' #9 8 %

(387) "" .- ' " Z#

(388) " : % - '

(389) j & #% " " ! <*F - #"#m

(390) l &. .

(391) "

(392) . . S(. %.

(393) ' #gf

(394) %k' %!#

(395) )

(396) #%! % -x<@jC u=x!u Tu x<@ %u BD@:x!u* - # _6 P J %!7S Z$ ! '!

(397)

(398) <6 #

(399) !3 % % #

(400) -#% #"}$ ! %S -'"

(401) <6 $ ! # $ !

(402) -. #

(403) % !#%k#

(404) #"d$ ! #%('

(405)

(406) %S :'" #98 %d* " &') '" S - 0

(407) -

(408) % #

(409) '

(410) ' "" %# !3 % &'<S #%d6 #% #" # " - #% !3 ] %

(411) %! % j &! % S -'" #98 %d*?F %! Z'

(412) & #% %Y# -%.

(413) '

(414) " " 6 #" " sJ"" #

(415)

(416) #" J ' '!

(417) ' %!# " _#%!' %!

(418) "" .- ' Z #

(419) "< 6 %! %! #% "

(420) ' %!# " %!#!#%!# # "9$ #

(421). #'9 8 % ) 5!Z $ ! ! !?

(422) " #&!

(423) f!%

(424) % #" 6 9" 8%#%'

(425)

(426) #% Y % # #" %!#

(427) )

(428) '

(429) " "

(430) # Y % '

(431) &' #] % a#" *O - Z ' % S - '" #9 8 % -

(432) . #%! %

(433) -C-@jx B xA C u

(434) %BDxICE !mx &

(435) RE %B G { % # _*R - #" B t )

(436) " " t / % !#}" 1 35!)

(437) 1435 J 6 !

(438) '

(439) " "

(440) % -

(441) . ")

(442) % #" %!#

(443) ) % _% K

(444) ' #9 8 %

(445) "" .- '_6 " [ e \ e " l %

(446) e " B J !"

(447) '

(448) " " % ' -

(449) .

(450) % #"? #

(451) " *_ % - T '

(452) & f!%! % # " #% %"#% & % #F" $ !

(453) #

(454) #(%

(455) "

(456)

(457) -'

(458) %

(459) '

(460) " " % #P J% '

(461) "#% & H 6 - '! %! #" !'" S #% "

(462) !

(463) )#-

(464) .- ' #" #P J% ' * % #

(465) - 6 # %! # ) #" - '! " #"; K

(466) ' "

(467)

(468) - < J - '< 6 - M # -

(469) '

(470) " " ^ L !<S(. " " ! - %! 6 #% "" %! N*i+

(471) % '" S #

(472) !

(473) '" % % C u

(474) %BDx^CEYG%EF@

(475) -GH*} - # ' - '! %! ! K

(476) " ' " !. f!% M

(477) S

(478) ' #" : ' % #P J% '

(479) #" "< 6 K

(480) ' ^$ ! # - '!

(481) '!

(482) ! #%! _% l '

(483) %! "

(484) ' %!# "Z S #(% &' " " ">$ ! "

(485) ' %!# " %! % S #% #(% ! % " # %! ) 5!I ! <* F (% '

(486)

(487) -' !_6 - # ' : '! %! %! #

(488) '"

(489) ! K %! "

(490) #% " #"#P J% ' $ !\ &!# f!% P %

(491) -. < * U K -

(492) ' % ! #% H 6 #

(493) ' %

(494) % Z'%! '" % g f f!% " "

(495) % #i" # P$ !

(496) '

(497) " " #% " ' _6 % f!% " "

(498) " " #9 8 % "

(499) ' "" n $ ! ! !% %!)

(500)

(501) -'

(502). " #% * V 4 &!: &! 6 % #%!#9 8 %

(503) ! K %! "

(504) #% { % K '

(505) % !#% %$ !#" " # $ ! & %k'

(506) ! K

(507) ' #

(508) #% #" '

(509) & $ ! %!- '" ' ' )

(510) " * &. . "!$#%'&((! 0& -'

(511) IK

(512) '

(513) !K !

(514) % "[3 ""' ZS # %( !5!Z$ !" J"" #

(515)

(516) )

(517) 3 A 6 #%36(/ " B 6 +* B3 6 ;+ % % % ' #

(518)

(519) #gf

(520) #"

(521) - #% #K %!# % " ':# -'

(522) ' %!#

(523) '

(524) #%<* U #PJ " %(' %

(525) '#9 8 % "#% &'?$ ! #

(526) ' #

(527) % &

(528) "

(529) :'!

(530) <6O& k& % -'_l. % #%! " #PJ %' $ ! &'

(531)

(532) -. % '

(533)

(534)

(535) -#% =$ "S "#%( . $. $.

(536) . . . . .

(537) ' %(jJ )' #% -' %(<* % #

(538) - 6 "

(539) ' #

(540) #""" #

(541) %! #

(542) %

(543) #

(544) #%

(545) # ! #%(':# #%"s$ ! " %_K

(546) ' #98 % # %('"!'"S PL " ##

(547) " "

(548) "".:' N & !) % #"FK %! ! #%(" * +

(549) &'# "6 ' ' #gf % % "! % #98 % K )'! %' " "

(550) % :' #98 %

(551) "".-'

(552) " K " "< 6% "\ $ ! ! #

(553) '!#" #%! &' " ") %!*H+

(554) #"! %'

(555)

(556) '6 '!' #gf

(557) " ! 6

(558) # ) ' #" #%(S(. #" #%! &'H6 !

(559)

(560) '$ !H6 %

(561) " !. 6 #" #%! &'" ")

(562) jJ_* V " " 6 -

(563) . -

(564) %#

(565) %!:8 " #%#"F&!:&! $ ! #" #%! & " ") !H 6 ' %! #% #i" &!j &! # $ ! " ") !% % ##

(566) - '# % % ##

(567) -

(568) " ! YL " N*_+

(569) : % '" S 6_& %

(570) # Z S

(571) ' R#%! %! ' J"" #

(572) .

(573)

(574) "" .: ' <6#

(575) "H 6 %!#" ! 6

(576) "" .- '! l #

(577) "< * % #

(578) - 6 - #% '- # #% "\ $ ! %!#" n

(579) 3 % #% _% K

(580) ' #9 8 %

(581) "" .- ' { #

(582) " %! '_ f ##(% H 6 % '9 $ #

(583) %!#" #%! ' _% K

(584) ' #9 8 % ' " #"

(585) '"7 *

(586) - #" "

(587) #% " # " n $ #

(588) ' #g f

(589) $ ! "

(590) " !. &'#

(591) % #9 8 Y % S

(592) -. ) H3 % S %! #s" '# *d+

(593) &'# " 6 #" ) S #% : &! " ") %! % [ " %!#

(594) '" ! % - '

(595) ' !#9 8 % \ + d% * H% )S " !#9 8 % % !'

(596) " " tJ"" #

(597)

(598)

(599) "" .: ' ? #

(600) " ! "

(601) " (C<w-G!uC ! -x<@jC u=x!u0C u x<@ !u B @:G%ucL d * =& *

(602) qo B _6 U F B D 6 " B J_6 #

(603) B 6to B _6 + F F 3 6 3 6ed1 3 6 6 >o zN* % - "#% & 7 6 " _% K

(604) ' #9 8 % #

(605) " %!#

(606) # #% % ""H3 % ' _% K

(607) ' #9 8 %

(608) "" .: '_* +

(609) &'# " 6 # ' #g f

(610) % '- # $ !' #

(611)

(612) #

(613) % #%! &' %

(614) " ! #% #" % #-

(615) S" 6 %

(616) l " ! #% "! 6 -. '!'" S #% H *F - %

(617) #

(618) #(% % [S #(% &' -

(619) %( %

(620) ' ) "

(621) O #

(622) " %! " #% -

(623) . ' #g f

(624) $ ! #" #%! &' " ")

(625) jJ #% #" % #-

(626) S"# %$'&* % - #9 8 % S

(627) #%

(628) %

(629) ) S - #"

(630) - #% " ?'

(631) _#%!' %! " kJ"" #

(632)

(633) A $ ! ' " "

(634) # " "

(635) - - ]'< *T )

(636) # % %

(637) ' #% " #"

(638) "" .- ' - #(% < 6 % ' % #9 8 %

(639) # " #" % _% K

(640) ' #9 8 P % #

(641) " 6 ? #

(642) ' %

(643) # :

(644) # % "

(645) ' %!# " #" #% "s $ ! & % _% K

(646) ' #9 8 %

(647) "" .- 'I#

(648) " !%! "

(649) #"- < J : '< * &. $. $. $. $. $. $. B 9T4MOB= SDB+,]F-, NOMO =m@CN^B= U " &!

(650) !f %

(651) %ZJ"" #

(652)

(653) Q& '$ !s

(654) # %!<* %

(655) ' #

(656) "

(657) <6. # # #

(658) #" % ' ^$ !' " "

(659) jJ

(660) #"

(661) " C"C:@:@)B/.%E #%'

(662) % % & %(. # %! ' "7*2 % ) %! "

(663) <6T #%!# A$ ! f!%

(664) " u=C10 HE B @jG PJ # !

(665) !

(666) '" % g f "

(667) <*} % #" " 'J "" #

(668)

(669) % %_K

(670) ' #98 % ()*(+)*().

(671) "

(672) . D .

(673) "".-' - #' %! % PJ " ! ?$ !#% #" 0 #%!#

(674) " *O % #" . " #"#98 %d6 -#% PJ # %! #%('

(675) " #$ ! #

(676) H*Q+

(677) ' #

(678) # # #")

(679) #%'

(680) " PS #

(681) ' %!

(682) "".-' %!

(683) "".-' " #

(684)

(685) #"#98 % 9F F F +O* U # % " #(% H 6 # #%!#

(686) :' % #" # #%! #%! =8 %!#" " _% K

(687) ' #9 8 %

(688) "" .- '_* +

(689) & # " 6( #%!# % 43 % -'

(690) ' !#98 %

(691) " !.

(692)

(693) "" S #

(694) " #"# %!< 6 g K #

(695) #% - '

(696) ' !# %!< 6 %

(697) ! ' #98 %d*!+

(698) %'

(699) " 6 #

(700)

(701) <6 " %!

(702) '

(703) #9 8 % _% K

(704) ' #9 8 %

(705) "" .: ' " #" - '! . # "9$ #

(706) #P J% '_* e % S - '" #9 8 % #% #" " #"

(707) "" .- '%! % !) S_* " #% H 6 "

(708) ' #

(709) '

(710) & # )

(711) % % " :8 !

(712) "" .- '

(713) J3 #% " !5! J * V

(714) %( " a ! "

(715) ##

(716) % g K #

(717) #% P '

(718) & R#%! #%! "

(719) m l #% < 6

(720) ' %!# " #% 9" 8% <6 % %! # %!

(721) " ! L d * )& *

(722) X 6 % !3 6 D 6

(723) A 6 F 36 $ +; B zN* % #

(724) - 6v& #% "P 3 "" ' I $ %! !5!# %! & % l

(725) # g K #

(726) #(% #"

(727)

(728)

(729) "" .- '< 6 % g K #

(730) #% "#% &'< 6 g K #

(731) #% % #

(732) '

(733) ) # %! " _% K

(734) ' #9 8 %

(735) "" .- '_6 ) H *He

(736) ' #

(737) '

(738) &'

(739) #" # % % '- # '

(740) %!'# %! ) '9 $ !) % _% K

(741) ' #9 8 %

(742) "" .- '

(743) ##

(744) % {f!% ". "!5! *O %

(745) e B 6Oe B 6Oe

(746) #% #

(747) % % _#%!'9 8 %

(748) "" .- ' " %! #9 8 % ' " #9 8 A % K !#-

(749) H *F

(750) )#

(751) '"

(752) % -

(753) #" #9 8 % ' " " %! % #P J% ' Cu B E %! #" #

(754) "

(755) '!# %!#

(756) # #% %

(757) ' ) "

(758) '!# f!% ! #%

(759) 1 D 6 #% 3 *F %!#

(760) ) #(% H 6 #

(761) '" -. % " ' " " #9 8 % # 3 "" ' " "

(762) ! l

(763) [ $ ! #" #

(764) ' #%

(765) _ . #

(766) ' #(%

(767) % % !?S ) * / - '

(768)

(769) % $ ! '

(770) %! % ' "

(771) b L K !#-

(772) N

(773) "" .- ' #% %! - %

(774) '!# I$ ! " - ' % ! % % ##-

(775)

(776) " ! 6 %!

(777) ' " '

(778)

(779) ' #(% = $ !) 5! * -

(780) ' #

(781) %! #9 8 % ' " #9 8 % { & % S #-

(782) ' #% " %! #9 8 % - jJ%! !

(783) ' " #9 8 % K !#-

(784)

(785) "" .: '_* " #%! -

(786) ' #

(787) #" 6 " ] / # #

(788)

(789) ;/9 B % '

(790) & #

(791) % % %! #9 8 % ' " #9 8 %

(792) "" .- ' #b % :a#

(793) ' %! ! -xw-G(wB B <G @)BDx%E Cu

(794) %!

(795) "" .- '< * / - '

(796)

(797) c % $ ! ' - # n '

(798) %!'# %! ) '9 $ !) #

(799) % ' "

(800) A L ' % _% K

(801) ' #9 8 %

(802) "" .- ' N #% %! _ . % " %

(803)

(804) #%!#

(805) % !) S ': # T$ ! %! ! #

(806) % - ' %

(807) % % %! #9 8 0 % #%!#

(808) " C u BzE

(809) "" .- 'g l *R "

(810) ' #

(811) C<w mGC!mx<@ C u)x!u !mxw:GwB u BD@:x

(812) #% B3B3 *_ %

(813) qo $ B3

(814) #% % S #

(815) '9 8 %

(816) "" .- ' F F

(817) / " 3 6 #%! % !c+ F F * % j &!c '

(818) &

(819) # " ! % #" #

(820)

(821) %! ) #

(822) ' % - F F

(823) % #

(824)

(825) #"#9 8 %

(826) "" .- ' }l

(827) ' *Fe $. $. $. $.

(828) !"#$&%!('*)+,.-/01)234356*78)+1391135;:=<?>#:A@0B4CDFE*35"1?#HGJI5,K?L -M31*35H*ME,3JN4K4"OP*$MQ3RI11S&TP1!13J,F8)+135,U*3VE*!*3WMXYZ-M4PQ[*\;6-M*3;GJI5 !#)+,]'5$53Ê*T1!13J#;Z-M*_.P6GJI5^3,à5#)+,]ZI39b351E*E*35E*-W.

(829) A. . . . . ' %( ' " " !

(830) 6 $ ! " # %!s$ ! !K

(831) !

(832) #" " #% #% #%! #% #!#%" # % ! * F ?&!# #% %#

(833) '

(834) ' #%(H6 % " #' %! )5!Z$ ! # #%

(835) # %! f!%! %YJ"" #

(836)

(837)

(838) "".-' " IK

(839) ' %!#"

(840) " %_l K

(841) ' #9 8 %

(842) "" .- ' %

(843) ) " # %![& "' "<* %

(844) qo ` B3 6o B3A TS% o " ) " *

(845) #(% %]'

(846) #"

(847)

(848) "".-' #% #" "#% &' + F F 6 #%! % #" -C:G @ B xH6CE C mG B x^ C u mG B 2@jG xH*R/ #%('

(849) ;$ !"

(850) ' l

(851) #"; & % ' " #(% ' " " " #&!