Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B

Texte intégral

(1)Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B Marie-Laure Potet. To cite this version: Marie-Laure Potet. Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. �tel00004580�. HAL Id: tel-00004580 https://tel.archives-ouvertes.fr/tel-00004580 Submitted on 7 Feb 2004. 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)

(4)

(5)

(6)

(7) .

(8)

(9) .

(10)

(11) ! "!# $ % $ & '( ! )%. ) . .

(12) .

(13) .

(14) .

(15) .

(16) *. + , - + !./ ! ! %

(17) ( !,

(18) .0

(19)

(20) 1 ) ! !. 2. %.! + 0!1 + , - + !.30

(21) !

(22) 4 5 ,

(23) .0 !

(24) ! !

(25) 1 + ! "!#, &

(26) 5 ! . $ ,

(27) .0 ! 2

(28) ! !1

(29) % 0 , % %, .

(30) .Æ 0

(31)

(32) 1 + $ % $ & ' , - 0 !

(33) 4

(34) , !. 2 %.!! + 06 !

(35) % 01 + ) , & 0!

(36) (!, !

(37) 7 % 0 % .

(38) 6

(39) ! 6

(40)

(41) - !! !

(42) !1 + ! )% , - + !./ ! ! %

(43) ( !,

(44) .0

(45) + , ! ! !!1 ) !

(46) .0 + ! ! %.! . 1

(47) 0 + !!+,

(48) %.

(49) 8

(50) !, %

(51)

(52) , !! ,

(53) . +

(54) . , ! 061 3 ! + )

(55) 4!,

(56) .0 0 !

(57) , ! % 0 1 2 0! ! -

(58) 0

(59) . , ! !. %

(60) ! !

(61) !. ! !

(62) % 0 0 1 9 !

(63) 0 !%! . + 0!! , ! %

(64) , + !.0

(65) 06, ! 1 0! ! !

(66)

(67) -!!, % .. !

(68) .

(69) 1 3 ! + ! !

(70) 0 , ! , 9

(71) :.

(72) .

(73) .

(74)

(75) . ;1; ;1 ;1* ;18. 9!

(76) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

(77) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1. . < ;; ;* ;.

(78)

(79) . .

(80) . . 1; =!% - 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1;1;

(81) - !! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1;1

(82) - !! !

(83) 0 1 1 1 1 1 1 1 1 1 1 1 1 1;1* > ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1;18 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 =!% 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 11; & 9 ! % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 11 -

(84) 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 11* $ 9 - !!

(85) 6 ! 1 1 1 1 1 1 1 1 1 1*

(86) ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1*1; 4!

(87) !! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1*1 3

(88) !.

(89) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1*1* 46 +

(90) 0! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1;

(91) 9 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 5 ! 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *11; 5 % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *11 5

(92) 1 1 1 1 1 1 1 1 1 1 1 1 1. ;< ; * 8 ? * ** ** *? *@. 88 8A 8@ .

(93) ?. . *11* 6% 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1* B

(94) 0 C+ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*1; & 9 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*1 D ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*1* / - ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*18 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*1

(95)

(96) Æ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *18 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *181; 46

(97) ! ! 1 1 1 1 1 1 1 1 1 1 1 *181 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 > 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 1; & 9

(98) . 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 1 4!

(99) . 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 1* 0

(100) 0 ! 1 1 1 1 1 1 1 1 1 1 1 *1 18 /!

(101) ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1.

(102)

(103)

(104)

(105)

(106) . ; ; ; 8 ? A @ ? ?8 ?8 ?? ?@ A* A@. . 81; & 0! ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 @; 81;1; ' ! 0 ! 1 1 1 @ 81;1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 @* 81;1* Æ ! 1 1 1 1 1 1 1 1 1 1 1 1 @A 81;18 & 0! ! Æ 1 1 1 1 1 1 1 @< 81;1 4 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 < 81

(107) !

(108) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 <A 811; !

(109) 0 1 1 1 1 1 1 1 <@ 811 Æ !

(110) 0 1 1 1 1 1 1 1 1 1 1 << 811* 3 !

(111) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; 81* 5 9 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;A 81*1;

(112) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;A 81*1

(113) 0

(114) .0 1 1 1 1 1 1 1 1 1 1 ;< 81*1* 0

(115) !

(116) 1 1 1 1 1 1 1 1 1 1 1 ;;* 818 & 0! ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;; 8181;

(117) 0

(118) Æ 1 1 1 1 1 1 1 1 ;;? 8181 0

(119) !

(120) 1 1 1 1 1 1 1 1 1 1 1 ; 8181* 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;.

(121)

(122) .

(123) A. .

(124)

(125) . . . 41;

(126) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;*< 41;1; 5 % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;*< 41;1 5 % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41;1* / 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41 !

(127) % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8; 41* 0

(128)

(129) !. 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41*1; 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41*1 0 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41*1* 0

(130) ! A 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 . .

(131) !

(132) " #$% &. '. 1; /

(133) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8A 1 +!

(134) .!

(135) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8A 11; 4! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8@ 11 5

(136) + ! 1 1 1 1 1 1 1 1 1 1 ;8< 11* 5

(137) + 1 1 1 1 1 1 1 1 1 1 1 ; ; 1* /!

(138) +!

(139) .! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; ; 1*1; +!

(140) !

(141) 1 1 1 1 1 1 1 1 1 ; ; 1*1

(142) + ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; 1*1*

(143) +

(144) . 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; 18 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; ? 1 =!% !! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; A 1 1; !!

(145) E 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; A 1 1 !!

(146) ! - !

(147) . 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; A 1 1* 47 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; @ .

(148) . (.

(149) @. .

(150) <. ;<@@ . + !

(151) . .

(152) 2F

(153) - + !.1 $

(154) ,

(155)

(156)

(157)

(158)

(159)

(160) .

(161) ,

(162)

(163) !

(164)

(165) !."! + &

(166) 1

(167) , !

(168)

(169) . !

(170) . !.

(171) - , %

(172) ! ! !1 =! ! 9!

(173)

(174)

(175) 7 06 % . 6%! . G =!! ! ! 0

(176) .

(177) G 9, %!! 0

(178)

(179) + , %!! G ) 9

(180)

(181) .

(182) 0 061

(183) 1 ;<@<.

(184) 0

(185) .

(186)

(187) !

(188)

(189) % %!9

(190)

(191)

(192) , . +

(193)

(194)

(195)

(196) , ! - ! - % ! !

(197) %

(198) 91 5,

(199) !,

(200)

(201) .

(202) ! % .

(203) ! , !

(204) 0 ! !

(205) ! %

(206) ! 1 7 %. 6 , 0! . 1 /! 6! !

(207) 0 9

(208) 0!! .

(209) ;

(210) . 6 1 & ! 2 + ! 9 !!2

(211) %

(212) 9, 0!

(213)

(214) !

(215) !

(216)

(217) 0! ,

(218)

(219) .

(220) - !%!

(221)

(222) . !, 0!

(223) !

(224) ! 0+0

(225) 9 1 ! -

(226)

(227)

(228) 0! - !

(229) ! !1

(230) , ! -. . + !.!! , + ! H0 6 !

(231) % - !!1 . !. ! !

(232) ! % %

(233) 0 %! ! ! !%,

(234) %! -, 9

(235) 0 0! % 9 !.

(236) % ! 1

(237) !. !!, %

(238) . !! 1 !

(239)

(240) !. !

(241) .

(242) 0!, ! ! !. !

(243) . % 1 !

(244)

(245) 0

(246) . .

(247)

(248) - !

(249) 0 ! !%! . !

(250) 0! - ! ,

(251) - !!1 , 2 !+ ,

(252)

(253) 0 2

(254) ! 0 ! 6 ! , ! -

(255) %, !

(256) ! !. . !!1 ! 0

(257)

(258) 7 . 0 1 2 , . !

(259) ! -

(260) -

(261) 6,

(262) !%! ! 6 ,

(263) ! ! 0

(264) , % . 6

(265) ! H0

(266) ! %1 2 , ! ! !!

(267) !! .

(268) ! ! ! !+ !

(269)

(270) - 2 !6 1 %. "! + &

(271) !. ! 0

(272) , .

(273)

(274)

(275) ..

(276) ,

(277) .

(278) , 0

(279) .

(280) 6 0 !

(281) +% ! 1 .

(282) ! !, !

(283)

(284) , ! 0 !

(285) . !! + Æ !!

(286)

(287) 1

(288)

(289)

(290)

(291)

(292)

(293)

(294) .

(295) ;;. . ).!! ! H0

(296) -

(297) ! -

(298) ,

(299) 0 6%! . - . , ! 0 ! 1 ! ! ! ! % ! ! !1 .

(300)

(301) ! ! 6

(302)

(303)

(304) 2F 9 !. ! ! %.! ! , ! !

(305) 1 . %

(306) - + !. .

(307) !

(308) B ! 1 &+ !

(309)

(310) 0 + !. . 0 + , ! 1 !

(311) . !

(312) 6

(313)

(314) %

(315) .!

(316)

(317)

(318) , !. - 0

(319) ! !

(320) 6 6 !

(321) 1 .

(322) % + !, 0 0 0 ! ! 0 !

(323) 0! ! !1 /! 6

(324)

(325)

(326) ! 9 ! 6

(327) ! %

(328) !, ! ! + ! - ! ! ! ! % ! . 1 > 6! !! ,

(329) !

(330)

(331) ! ,

(332) 7 !

(333) !.

(334) !

(335) 9 ! 1 $ , ,

(336) . !. ! !G =! ! ! !+ %G & ! 2 + !

(337) 9 !

(338) .

(339)

(340)

(341) 7 - 0 ! !1 )0,

(342) !

(343) .

(344) 9 , ! !

(345) !. !%! .!% !

(346) 01 & ! ! 4

(347) ,

(348) 9

(349) ! !

(350) . 2 , 2 ! + 1

(351)

(352) ! %

(353) 7 111 . ! % % : 0

(354)

(355) I

(356) J, . +

(357)

(358) + !.6 ! + !.

(359)

(360) 6 ! 6

(361) %

(362) 1 > 0 + 0 . 6! ! ! ! 6

(363) ! % !

(364) !1 6! 0

(365) ! !

(366)

(367) 6 %,

(368) !

(369) ! 0 9. % 0 9

(370) % K

(371) ! . . .

(372)

(373)

(374)

(375)

(376) .

(377) ;

(378) + !.6 :L1 ! +

(379) 0 , % !. 0 !

(380)

(381) 0! ! !

(382) ! !

(383) 0

(384) ! %!

(385)

(386) 1 > 0

(387)

(388) 0!

(389) ! . ! !

(390) , !

(391)

(392) 0! , !

(393) ! - 0 0! ! ! , 9

(394) ! !

(395)

(396) 0!

(397) 0 9 1 5! !

(398) 6 %

(399) ! ! ! . -!

(400) !

(401)

(402) . 1 0

(403) ! - + !. + 0 !

(404) ! , % .

(405) 0 ! ! !, ! !1 - 0 ,

(406)

(407) 0 ! !, 0 ! ! 6 !

(408) !! ,

(409) + !. 0

(410) 0 9 1 . -

(411)

(412) . ! , 9

(413) - ! 0 %

(414) , . +

(415) ! 2F 9, !

(416) ,

(417) .

(418) ! ! 6

(419) 0!1 !

(420) . !

(421) 0

(422)

(423) + ! ,

(424) . 9

(425)

(426) , . +

(427)

(428) ! + !1 . 9 ,

(429) !, 2 - !! K 6, % % % + ! 6 L, %

(430) 6! !

(431)

(432)

(433) 0! 1 & 6!1 % %

(434) ! + !

(435) . %

(436) 9 , F , !

(437) + 0 91 .

(438) 9 2

(439) ! +

(440) 7 0

(441) ! ! !

(442) %, !.! %

(443)

(444) % , 9! ,

(445) !

(446) - 1 . - !, ! !

(447) !+, . 6

(448)

(449)

(450) %

(451) .

(452) ! ! .

(453) .0

(454) !

(455) 1 6! ! ! ! 0

(456) . ! !

(457) . 0 ! , 0 2 !, % ! 9 -

(458) . !.- 1 3 ! + !.

(459) 9

(460)

(461) !1 7 , !

(462)

(463) .

(464)

(465) , % 0 2 !61 !

(466) . !

(467) 9 ! , %

(468) 9 .

(469) .

(470) ;*

(471) . !

(472) + + 9 1 % 9. - !!, !! !.2 1 3 7

(473) -. ! +

(474) . ! 9 K

(475) .,

(476) , 111L

(477) ! ! K

(478) -0,

(479) 6 , 111L1 % !

(480) .

(481) !2

(482) ! , % !

(483)

(484) !

(485) . , . .0+

(486) ! %

(487) 6 ! !, !. - ! .

(488)

(489)

(490) +,

(491) . 0! ! !. 1 6! ! ! ! - ! ! + !.

(492) 0 9 % ! 6

(493) 0 !. ! , !

(494) . 6 , 6

(495)

(496) . 0! !

(497) 1 .

(498) - 6 % ! M !

(499) !

(500) . ! 1 & 2

(501) , ! !

(502) .

(503) 96 ! -

(504) , 6! 0+0

(505) %

(506) 0 % !

(507) + 0 , ! +

(508) 0 9 - . 1 . -

(509) 0 %

(510) , 6!,

(511)

(512) - % !

(513)

(514)

(515) ! % I + + J - %.! 0! ! %!

(516) %.!

(517) ,

(518) 1

(519)

(520) . 06 % . 5,

(521) !. % $5 , ! ! - + ! 9 ,

(522) 0! - !, %. 0 6 !,

(523) - 1 06 + ! - ! -

(524) 6

(525)

(526) - !!, ! .

(527) ! %

(528) ! H0, !

(529) 0!

(530) ! 7 0, ! 0 !

(531) Æ! ! !

(532) . !!1 4+ 06 ! +

(533)

(534) 0

(535) K +L, .

(536)

(537) 7 !

(538) N <8O, ! 9 ! % N) < O !

(539) +!1 06 .

(540) . -

(541) ! ! 0 ,

(542) !

(543) ! ! %,

(544) . ! !+ + ! . . !

(545) " #

(546)

(547)

(548)

(549) $ .

(550) ;8

(551)

(552)

(553) !1 !!+! . +

(554) 06,

(555) 0!

(556) !. %, !

(557) 0

(558) +

(559) 9 N<, )5<;, (<?O 6

(560) ! % + 0

(561) 7

(562)

(563) N <*, <?, ><@O1 ;<< . !.

(564) .

(565) ! !

(566) , . !

(567) !

(568)

(569) . 1 .

(570)

(571) . !

(572) 7

(573)

(574) 0! - ! !.

(575) 9

(576) 0, ! 0

(577) 0 ! Æ

(578) 9 %.+

(579)

(580) 1 .

(581)

(582)

(583) !,

(584) ! ! !. !

(585) 0! ! !51 !

(586) .. !! ,

(587) !. !! ,

(588)

(589) Æ! 0!1 %!% 0 !

(590) 9

(591) ! , !.Æ !

(592)

(593)

(594)

(595) ! + 0 9, ! !

(596) .

(597)

(598) + !

(599) 0 !

(600) 1 6! !

(601)

(602) + ! - ! 0

(603) 9 ,

(604) . !

(605) , ! 0

(606) ! !1 & ! 2 +, !

(607)

(608) !

(609) 0

(610) 7 -

(611) Æ! !

(612)

(613) !

(614)

(615) , ! M! 0 ! 9 2 Æ K !

(616)

(617)

(618) ! .

(619) 0

(620) L1 & !, % .

(621) %

(622) ! ' !%, !! ! + + ,

(623) !.

(624) Æ ,

(625) % 0 2 Æ , %.+

(626)

(627) , 1 . . ! % !

(628) !!

(629)

(630) ! K!

(631) 0!

(632) 6! 0 !!

(633) L1 3

(634) 0

(635) .

(636) ! !

(637)

(638) 7 ,

(639) % .0+

(640)

(641) ! %, % !

(642) .0

(643) !!1

(644) , , 2 . +

(645) 0!

(646) 06 . 1 +

(647) !

(648) 0

(649) .0 , + ! . !

(650) 9 N<?O1 5 + !, 0 0 !

(651) ! ! H0

(652)

(653) 0!

(654) !. !!, 9

(655)

(656) !+1 0 0.

(657) ;

(658) , + !

(659) 0

(660) Æ 1 06

(661)

(662) 9

(663)

(664)

(665)

(666) !

(667) 0!

(668) , %

(669) !.4 ! 1 ! ! 06

(670) .

(671) ! !+

(672) ! H0

(673) . , .

(674) . !, ! ! Æ 1 !!+! + !, 0

(675) 0!

(676) 06

(677) ! % !.!.

(678) !

(679) , ! ! 0 !, %

(680) 9

(681) ! 61

(682) Æ

(683) 0 ! ! !6 ! ! ! Æ.

(684) 1 0 .

(685) . , ! 6 6!

(686) 2 ! N, ;O % !

(687) 1 06

(688) .6

(689) !! 1 D! , ! 0 ! !5,

(690)

(691) ! ! !

(692) , ! ! %! !. 2

(693) !1

(694)

(695) ! !

(696) !

(697)

(698) . B K . > , *L

(699) 7 1 !! . , 5, !

(700) 0!

(701) . + ! % !

(702) .6 !

(703) 7 !! - ! ! + !

(704) Æ 1 !!+! + !,

(705)

(706) , +

(707) !!

(708) !! ! 0

(709) 0!

(710) . ! ! !

(711) + % 1 7 , ! + + - !! K + , &5 111L

(712) %

(713) ! % , %

(714) 0 2

(715) + % 0!! . 1 . -

(716)

(717)

(718) ! !!, . +

(719) % 0 .

(720) 6

(721) 7 %

(722) 0 0 2 0!

(723) 1 06

(724) !

(725)

(726) !!

(727) . !!,

(728) .

(729) 0 5B ! , 0 !1 . !. -

(730) B >

(731) !

(732)

(733) +

(734)

(735) 0!

(736)

(737)

(738) 6 + 6

(739) 7 ! - 0 1 .

(740) !

(741) ! ! % . + ! ! 1

(742) 6 .

(743) ;?

(744) ! ! 06 - ! 0 , % -. % !

(745)

(746) 1 P, 0

(747) - !

(748) , 0

(749) ! !

(750) 01 . ! .

(751) , ! ! + .

(752) !! 1 0!

(753) ,

(754) . +, ! P1

(755) % 0 0!

(756) !

(757) , ! ! - , 0! !

(758) 6 1 9, 2 !

(759) . +

(760) - !!,

(761) 0!

(762) 1 7

(763) +

(764) ,.

(765) ! !

(766) .

(767) 6

(768) ! .

(769) .

(770) ! %1 &

(771) ,

(772) %. ! 1 =! ! + !. ! G -

(773) 6 %. %

(774) 2 ! !G .6

(775) !

(776)

(777) 9 ! + ! 1 D! , !

(778) 7 06 % . , . !

(779) .2 0 !

(780) 0!

(781) !.4 ! , 0 !

(782) ! ! !

(783) !

(784) 0!

(785) .!

(786) 0 , , 0 )

(787) 4!1 .

(788) 9

(789) !.6

(790) , + ! - ! !+

(791) H0

(792) !

(793) ! ! !, !

(794) Æ! % . % ! + !

(795) 1 /! .

(796) ! , ! ,

(797) - !.6 ! % . 1 7 , ! 6 !

(798) ! ,

(799) !

(800)

(801) !, !

(802) 0!

(803)

(804)

(805) !, - % ! ! ! 0 - - , - ! 111

(806) 0 ! !: 0

(807)

(808)

(809)

(810) 0 !

(811) , %.!! Q ! 06 K !

(812)

(813) % ,

(814)

(815)

(816) ! 111L1 !

(817) ! 0 1 .

(818) ;A ;

(819) ! ! 0 %

(820) ! !.!!

(821) . !!

(822)

(823) - !!, ! 1 3 ! ! 0 9

(824)

(825) , % . %.! 0

(826) ! 2F - !!1

(827)

(828) , 0 6

(829) ! !1

(830)

(831) ! -

(832)

(833) !

(834) , . +

(835) ! ! ! !!

(836) ! -!

(837) 1 /!

(838) + -

(839) ! % . + !

(840)

(841) 0!

(842) ! ! ! , %

(843)

(844)

(845) 0!

(846)

(847) , !. !

(848) . , %

(849) .

(850)

(851) 0! 1

(852) , 0+0

(853) ! 0

(854) 0,

(855)

(856) !1 0.

(857) ! P

(858) + % !! ! !1 & ! +

(859) *, ! + ! 2F

(860) ! !6 K

(861) L KÆ L

(862)

(863) !

(864) !1 6! + !.Q !

(865) 0!

(866) ! 0, + !.

(867)

(868)

(869)

(870)

(871) 0! ! + ! H0

(872)

(873)

(874) !1 9,

(875) !

(876)

(877) ,

(878) 0 !.

(879)

(880) !

(881) ! H0

(882) ! ! 0

(883) 9 ,

(884)

(885) 0! .

(886) 01 .

(887) ! 06 % 0

(888) 0! , ,

(889) !

(890) !,

(891)

(892) !

(893) !

(894) !

(895) 1 ! !

(896)

(897) 7 06 % .

(898) 6%! . 1 /! ! !

(899) 6 % . 0 0 ! 6 !

(900) , ! ! !

(901) 0!

(902) . !, 0

(903) .

(904) !

(905)