Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs
20
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs Yves Bertot, Olivier Pons, and Loïc Pottier. N° 4052 Novembre 2000. ISSN 0249-6399. ISRN INRIA/RR--4052--FR. THÈME 2. apport de recherche.
(3)
(4)
(5)
(6) .
(7) ! "# %$&'$& & (. $&
(8) )"*
(9) (+, $
(10) -$&+/.0 124365 78369/:<;4:6=?>@BAC2DAB3E9 FG;IHJ5E=LKMHJNPO
(11) ;4QSRFT;4:,:<AU369 VXWZ\/Y,mG[8l/\nofp] l qr^`ftsv_buw[ a,cZx4dehk\gfidpfiyEhkqrjEdi\ l/de\,f z|{}ho~\/m
(12) D\/[[\ nkZMhE{vm \'{}\,lWZ\,{}lWr\c4E6k]^Gh0k\,[ xZ{}\']kkEg^ rnojE\,s. Em}j WZ{}wnka/hEZ&{SWZY,\[s\, s,\¤<¥-m}TWZc8a/cMhE{SnoZY,{S{S[mShEdpl\,MqZsh6fisv\/de\,\mb{,< dil/hE\8dgc a a \,m}Ms qrcZ hkddim}q \
(13) dehEm}fedecr\fpsJss,M[MhEhEh0 ¡ukqZfe\/{\cMsT6sdpnk sS{Sqr\X{}no¢ fidem}fi[di\,sSs\/demS{ \,a,{- cZ\fihonGm}jkm}\/{nkc6nodemTficrfi\XfiZ\,\,ZsTs\X rl/a/\,{S4sJ\,\/qZjEcMk{}Z\nknos ZcrWZsSl/\,hk\,s,qrsT¤os\/Tc6Cc8mShk{}{}nb\ [[ \\,\/q cZ £ \a fi« \,®&s8¸¹\/±k£wº<4³´a/¤ {}di[8\,c6m}n0m}dehEcrs8¦f¨§ nkdiZ\ \s©svu svmSY,[8\sªLh y¬« T®J¯T°-±k²<³´?_b{noZW<µGdi¶« ¥?_'·gG³
(14) \ mZnkµGdicrl d »½¼r¾ ¿ÀkÁCwÂjk{norWZ\bZ\ a/4\/crrnocrl/\k Z{}\/qZE\,s,Znks}svdpsvm}noc6m
(15) \gZ{}\/qZE\kMªLh y. 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.
(16)
(17) . & !.0 +,$&
(18) ?$&+ $J
(19) & " &
(20) & ,¾
(21) ZÀk¾k¸\©Z{}hk4hEsS\8mShwhkfps'mSh¡wdpsvqMnofide¶,\©fink{SjE\Z{}hwho
(22) \/E\/fihkZ[\,cEmsgnksgjE{}nkZWrs'hkLm}WZ\/hE{S\,[s nksvmScrqM u \ [8McZ\dnom}crdehEs-crmSsh
(23) fidiWZ[8\,de{Sm?\Xm}\WZ \TjksS\dis-¶/\G \/hkcr%hojkmS{\Xnom}ZWZWr\s,¤J \,¥JM£ \,Mcr\, {S\/di[cMl \/u8c6m}xMs?\/WrmLn<k\,\\/c8x4m\/L\,chb m}WZhE\/cZhE\ {S
(24) \,[demSs,W©¤m} WZc©\'MªLno{Sh mSydpl mSqZWZfp\,nohk{{}\/L[ \ r{Sh0E\/{X« b®J¯G°-±E²<³Mnkcrm}WZ\T_b{noZW<µTde¶'« ¥?_'·g³4nocrZnkµGdicrl dt« ®&¸¹±kº<³Mjk{noZW8wdisSqrnofidi¶,n0m}dehEc8sSqZdemS\s/¤ I¿ ¼ &k \/4\/crrnocrl/u©C{S{norWt Z{}h6hk Z{}h6hk&nEsSsSdisvm}nkc6m,rªLh y.
(25)
(26) ! "
(27) #$ %&$' ()"&%& . ². $&© ?$&+ nksS\ {Sm\ ¯GhkqrdesvjE\l WhkcMy6mSshqrm}no{}nkfinkds}mdel c6u\,m}{vsSs,mho-¤ no ,
(28) dimcXl/l/nomShkWr{}\
(29) {no mT{Sdi\,cZ\/feEjdi\,\/s?mS{}hu [8m}4hEWZ{ShEdi\Ts}s sSnodeMxZcrhEfi\dec6[x4m \/hkhkWr{}
(30) \n<w6hEdidichk
(31) \ {TgChk\D{}£ Z[WZ{SdinkhwxZfrhkdm}[X\, \¡m}\,WZkxwh \,ufeZhEmSs,ZWr [\8
(32) \/sSWZc6ho\,m {Sm\GXdis[8non¡{}\\glsvWr{S4\no\,svcrl/4didi\,l,nklnof?m}frl/sbrnEsv{SsvhEhw\©[hohkU\s sSsShoho mmXXnono{}{}\
(33) \-\, cZ\/jkEdi\/cZfihk\/Z\,{S[dicZ\,jMcE¤.m,¬¤ ´mXl hEsv[WZhE[8qZhEfpcgxMC\,\,nocZmS\ qZZ{}mL\Cde{Sc8hE[½svhk m}mWZ\nkm}{Shw\hk fp\/s?Eno\/fifi{}hk\,Znk[Zu\/c6l mhEmS[hw[8hkfphEs&c©disdemSc©Wrhk\LmSqrWZsS\,\X{?hoxZr{jEno{}cMnklZWZWZ\,dps|l/hknkf crVXhoWrm}dinos mSdihkhkcr"{ st/mSdphbs- nodix4sShkZqZfpn<m-ubqrmSsvWZdicZ\jg{S\,jEfi{}nonkmSZdihkW8crZsDdixMsS\/Zm fpLn<u6\,di\/cZcgjbm}mSWZhw\hE<fisJnk{Sm}dihhkqM stdpsv\/Zc6fpn<m}dugm}dem}\WZst\Gm}Wr n0\,m&M\,hwcrl, l qZ\/cM{&ldicdi\,s|nGx4l/hk\ m[Z\/fi\,\ c8£g0 nk\,{SsSdidihkjkqrcts ¤ \,c6mSde mScdi\,s
(34) qrsvnoqMcMnof&m}ZWZ{S\/hEhEjk{S{\,no[©[ sX dec\/En\/fi[hkZ\,[lWr\,nkcEcZmTdil,mShwnohkfifefpus,MljEWr{}\,nklZ/k\W Zdpsv{}Zhwfphon<Juw decr\/jE\/mSfihwhkhEZfi[sT\/Wrc6n<mk¤ \xM\,\/cZ{ShEMh6sv\mShhkx 0 {}hksS\,\/D{}l/svkh0u \ ksv\,mSmS{S\,Wr\[\gnoCl mS{}hkdphklTc6[m}nk{Scrm}hEWZno1f 03fi\G2ru rhsvdp{Ss?hEl,jkhEno{{cno[©Zx4n0s\bmmS&nMWZ03\,{}2r{vhkhCqZhEjE{S[W©jk\,{n'no[8rhkWr\c©slWrCnkhEnos}{Scrsv[©h dil,lnknodpfMfrn0Zm}nk\,{}crhw nohofi
(35) Du sv dm}dp\,sJW¬kho\,ZIfehE{SmShEZWrjk[\{Z\/noc6{}[©hkm}s,s,jk¤J {no
(36) VX[©WrWr\/s,\¡{}¤o\VXjk{mSWZnoWr\GZ\TWrs}Znos{}[hkl,\4jEno{}c¬/wnkde[©cMxM \ s nknk{S{S\X\{}sv\/\,Zkfp\/nk{l/no\,f5 /6
(37) dicrdZm}WsGhomSWZ|\m}WZZ\/hwhEl/{SqZ\,[[ \/Zc6m}{}s-h0kr\,nk{}s}s,sv¤\6whEm}[h'\ mSWZn0\mSmSmS\/WZ[\,hk {}mb\/[½mSh rZ{S{}h0h0E6\/dp{J \nks-svmSn'{}hkjEcZqZj dirnonoq crm}l/hk\k[©¤oVXn0WZm}de\,hE{Sc\nEmSWZl mS{}qMhkqZnofijEfeWu qMl/hksv\,[{¸Z fi\\\,£l/Wrdin< Zk\b{}\hwm}hoWZL\ghEsS{xZ\,/Enkdi\,j{}lsWm}
(38) \/nkrdefemSjEs
(39) Whknk{}ncrdm}ZWZ{}[©rhw{Shos/h0¤ZLwGldp WrmSdeWr\,crl\/j/k{X\,nkxM{,q \,tmSWrªLhEn<[©h ky4\bn0MmS[dpm}lbWrhkn0sv{}qZm'\GrdpfiMs'7d /EhExr\T{vnkmrsS{ShE\,hw¡cZhofe&uhEclCWZhkm\,{Xuwl mS4/EWr\\/\{m}s/ WZ6\\/fe\/mhEmvno{Sm}diuEdeficZs,¤%¤ jV?uwmSWr4\b\ Wwm}qZWZ[©\/hEnk{Scu rr{S{Sh0hEwjkdp{ no\,[©s&s n
(40) 84Cnk{l nomS[qrnk
(41) \ fefiuhk"{ mS/bWZmS\hbC{Shk\,{}Z[©{}no\,fJsS\/fic6nkmDcZCjkhEqM{Sno[©jkno\f6noZfp{}svhwhhol Uhksc6decmnonTdicrsvsTmuwnfe\LZmS{}WMhkn0jkmJ{nodis&[k[\,{SdiugcZjl/fefph6nosvcZ\LjEmSqrh'nosjEm}\{ShEnocZcMjkfiubªLmuwh My\di s \hksv-4ªL\,h l/diy©nkfedpfisXuTm}sSWrqZn0demSm\Zb{}mShwhGho Us
(42) \,knk\,{Sfe\'hE'\ £ l/Z\/fi{SdpmSl dederm
(43) \,C'hk{}r[{ShEnkjkf%{hknox [©~\s/l ¤ m®rs/hk {t\/jE£w{}rnk{SZ\W'sSsS6\, dpsSqrdec¡nofiden©¶n0l/m}fe\dehEnoct{}fe umSWr \-\/rde[cZ\4 hk{Sfpm}nonkcrcEjkm%qrCnk\jkn0\km}qZ¤ {S´\m m}dpdpsLsXWZdpmS\ sWZ£w\,m} {Sch \,l [84qZhE\,[s}fesvu \,dicExZsvmXfidi\[m}Wrm}Zh8n0fe\Em
(44) nk¤ crm}WZno\fiuwno¶/cr\nkm}feWZu \,sSsSdisL\bm}hkWrx n0~m\l dpm}s
(45) s?cZmS\,h8\, \ £w\m}{}nEm}hl ml Zhk\/[4Z\/qZcrmS \g\,cr l \/u©4\/dic cMC hE\/{Scr[©l/den0\m}s
(46) dehEx4ct\ ¤6m¸\/\g\/csSWrm}noWZfi\/f4hEsS{S\/\,\b[dic s hEZc\/kmS¥J\,h¡fe£ hE4Zfpno\/[{}{}jk\/de[\/c6{'mG\,ZcE\/m{}£whws Wrho
(47) de
(48) xZdedemS mgW\/n©EmS\/h0WZfiu hkdijkZZW[{Shwl/\,hkhkcE[Umss/ZsSfiWZ\ h £ \dm \,udpsSm}l/mSWrh0WZn0k\gmb\,di{Shoc6\ mS¡mS\,\,{SmSc\WMs[©n0m
(49) m nhom}/E|WZ\, \©sdpsvmSjkrWZ{fi\,non<[ ZuwWMdicZdis'[jhwZjkl,{{l nonkqZZl {}m}Wr{}dides,l,cZwnojf¨xZ¤ q dicmTc6mSCnEqrhks {}dm}[LdeE\'nk\/f-[fiukZh04{}kmShwWZ\ho \ {}sS\/\,fpn0m}didec hEcrn8sLCxMhk{}\/[©m Lno\,fD\/ c\,m}kWZ\,\bfehE<Znk[{Sdi\/hkc6qMm,sLrZsSh8nom}mS n Wr0´nosvmGmS{}kqr\,l {vm}m}qZdi{}l/\,\,s-sdinkc Zn4\,Znodi{X\,l/m}\Th©hkxM\ svhk[8 m hE{S\nk{Sl/\ThknocZ{}cr\T\,lnom}fi\,fI \ £ mSZWMfinodil/cdm}Cfehku©{T\/sv£ diZ[{SZ\fes \ 0 l/hkc6mS{}hk7f 032rh jE{}nkZWrs|hE{rn0m} n 092Mh jE{}nkZWrs-hk%mS{nk demSdihkcMnofIsvhk m nk{S\E
(50) WZ\/{}\Gdi[Zfidil/dmX{S\,finomSdihkcrs?xM\/:m 0 \/\,cl/hk[4hkcZ\,cEms
(51) no{}\'ho mS\,c fi\ mTqZc6mShkfp%¤ cr{}\,\/Zc6qZVm}s,crh¤ Z,[©nkcEnsvm/kdi[\
(52) x4\,m}Zl,WZfeno\\'qrsjksSm}{\{}nonomSZmSWrWr\/\/jEs?uuhotnkm}h{SZ\©{{Snk\dicl mSqrdpmSl/l/WZnk\g\fMmSdimSWZc6{\mSno\/crcw{}sS\,qZdsvm}[ m,deE6x4\©de\/m{Tl dpfishohE|cZsSqZ\,\,{Sl/ \©\,jEs}\,hksSs
(53) nk{SdphkusGmSWZmSmShh\,{ {}{S\/\sS[ \ m}qrh0sl k\Tho\gXmSnkWr\,fe\TfD jEmScwWZ\,qZ<s\[;C\,xMmS WZ\,jE{L\©\,hksXm}{}m}nklWrcrhEn0sS[8m'dm}4nodeEh {}\\ 0 \xw ujksv\dis[= ¤0Z¸fiu\{}nk\/fi[sSh'h0swm}deqrcr jdi\,E\/{SmmSLdpl hT\smS\nolcrWZcZdpy6nkqZfef?\,sJmSWZm}\ h'{S\,\ jEqr\,ls'\m}m}WrWZn0\
(54) mcwl qZhE[ [8x4\ \/no{|crhkMkjE\,h{vm}Cdi{Sl/hE\,[sJdic m}WZm}WZ\,sS\
(55) \jkcZ{noh r Wr\s/s/<\,hkd{m}WZxw\/u { mjE/w{SdicrhEhqZm}Zho\,di&lcZWZjdec6crsSmSdi\/\,y6k{}qZnE\,\{}l s/nkm} defZEk\b\\,sS{vsvqZm}mSdiZl/qr4\, sJhku¡{Sm}mGhkWrjEhl/\ nkmSc Wr[ \/x4{qr\golmSqrW {sSno\,LcM%hEs¤ C{\,/¡{S{}l decrhEqZj'fpmS WZx4\T\8\, jEhE\,cZs|\m}hnoq m}m}WZhk\G[©cZn0\ m} dil,nojkfi{}fehku¡qZnocME\/{SLmS\\£%sS¤6WZ®Zhhk {?mS
(56) WZWr\n0sv\m rfin<uw,GdicZfm}jWZhkm}h6qZhEjEfiWs?no>fi@ fDA'hEACqZB{G«\/¥?£ _'M\,·g{Sdi[t\/·Tc6m}hks qML±o<\,³?{S\nocMZDhkcZ>\ E F
(57) G.dm}H W¡IG mSWZ« ®&\©¸¹ªLh ±ky ºo³¨rI{Skhw\,ho{S-u¡sSfiu demvsmSm}fi\/\[ ho nocr
(58) Wrn0m}mWZ\ LjE\{} nkZ\sSW¡l/{S dixMdps \ 0 *. +. JKJML&NPO QSRST.
(59) . 3. . &P 499 $ . {}ªL\,h nkygfefiur{S h0\,wMdp \,cr\,sJZnssv4n<\,u'l/dm}Mh'l,{Sno\filfeuh0khk\,c{Dm}mSWZWr\
(60) \,sSfi\©disvm|Zho{ShE%jkno{fifwno[©mSWZs,\,¤ hk,
(61) {}\/l [mSqrZnk{}fefihwukhotUs&mSWZdic\m}hEWZcZ\
(62) \©hkdi{[8 4\,{hk{Sm}m}WZnk\/c6u mgLC\,\,n0{S\Xm}qZ4{}\/\8{SCdphksg{}m}[8Wr\n0 m nkcrVXmSWZh\norcM{}nosvfimTu6¶,sS\G\,l m}mSWZdihk\,c¡sS\ghoZJ{}m}hwWZhodiUsGsLrmSh©no4qZ\/cM{T di\/s{mSsWZmnodpscr dic6mS
(63) {}Wrh no mXqrlhkm}mSdeWZhE\,ct{XZmSm}WZWZ\,\ hksS{}\,\/l/[©hks
(64) cr¡no{}sS\'\,lqrmSsSdi\,hk c¡de c\,mSs}Wrl {}\,disSxM\g\Zs{SWZhwh hk Us/¤ L\ l/sS\,hkl [mSdiZhkq cÂm}\ \m}WZsSl/\T{Sdi x4\,\,Ms \,crmSWZ \\,crnol Zdi\,ZsL{}hEChknE{LlW hkcZL\T\ jkdiZk{S\,hEcMh6mSWZsv\\,hkmS{}h\/[{}\/mS[WZh0{}hkEqr\©jk\,W jEno\,c s,¤&nocrVXnkWZfeu \sSdiCs?hkqZho{StmSdeW m}sLsvZ\{Sl hwmSdihkhkc ¤6VX WZ\,\Gs}l mS{}WZdex4di{\, s svsvmSmS{{n0n0m}m}\/\/jEjEdede\\s s8m}mShhÂde{}[\/[Z{}h0h0kk\\cZ{Sh \ nk\Zs/nk¤LxZVXdifedeWZmu\sSxwdu£wmSjkW¹{}hksSqZ\,lrmSdedicZhkjc cZ h \ sS\l/{Ss8dixMmShk\s©jE\ dpm} WZ\,\/nE{s¤|VXnox4WZhk\q m Z jkmSW¹{noZsS\,WZl dpmSl/dinkhkfc¬ dpsv\,Zs}fpl n<{}u dex4\,hks m}sSWZ\/E\ \/c6jEmS{}WnkZsvWr\s8l m}mSdehEWMcn0m jEnkdeE{S\,\s'hknxZm}xZno{SdidicZ\ \ {S\,mSwWZde\{}hkqZjEhoW{ShE\,qZfino{©mS\,m} h6hEfishk"{ no/4cr¤I VXm}WZWZ\©\/di\,{dejEdiWEcEm}m}W\/{sSnk\,l l mSmSdikdihk\¡c[©jkdinokcZ\,dis'ZqZnfpn0l m}hEdecrhEctl fi¤?qrVXsSdehEWZc \ m}nkWZcr\VXsS\/\,WZcwl \XqZhE[m}crhw\/hk{fZsvn0\ m}l \\,mSsSsXdil/hkm}{ScWZdixM\dp\sX4 {Shk\didicnoc6fim}mSfeus
(65) WZdpm}sSs|Wr4rn0\,nkmbl Mde M\,\,lT{|sSmSdi\/s|h{}kn<m\,0uw{no4din \fpno0¨[8mSxZWZfihE\?\,{ShkC\'{}{}\/u©m}\,WZxrfehku nk{}sShkhk\,cqr jkmSWZWZ{}\ mShw{} ho\,c6&nomS\,mSsS[{Su crs\/m}\ c6\/m-m[©nkdis|sXcnTfi7dC/EqZmShw\{vhEm}ªLWZfw\/hwChk{ y4{L¤LªLhEh {/Iyg¤MqrTsS\/cZ{fis/u nomXA'A mSWZ\gqZcrdeE\/{sSnk@ f4{}\,G.sShkH qr{}G l/E \Tfih l/n0m}dehEc PI@ E ¤
(66) ` "# $'$&+/ cm}MWZno\/[hEVX\,{SWZuE\, Zhk
(67) {}di\,WZ\/l/[©\,\,{SsLs©\ThoZnoD{}{}h6\l/hwhkcrZDno\kl[WZ¤EVX\,\,l Wr/wdidisZcZ{}jnohwcrdphonksLUfes,ZhE|hkjkdecZuc \Tdis?mSdec©Wr\ \£ m}ZWZs}fi\'nohk[desSmSnk\,\[8[©\T\/kno[©\,cZnoccrcZ\/CcZqZ{\,{SmS{LmSWMWZnEn0\,s?m{LZdiZc{}{}hkh ZjEl {}{}\,hwnkZho[qZt{Smsv\uwu s84svmS \hk\,0 {©[lWZsvs?\,qrxrl xZ/wnk{SdisShEcZ\,q jrmS¤ dihEcZ cc©\s©msvuwqMnoMl{}W \\ rr{S{Shwhwhoho?sSnou crs m}\/mS[©WZ\s,4hkrxZ{S~hw\,hol -m'hEdpsGx ~m}\,WZl \/m}cs'nok{}\,\ {Sderxr\qZ defemxwunksTn hkcZsSdi\8[8Zr{}feh \©l no\/cM\ZnofisGuwmSsSWZdps{}hkm}qZh6hEjEfBW¤DnTcZChkfiu{}[
(68) nkWZf&\,Zc\,s}m}l WZ{}\de Em}\/dehE{}dc4l/hkn0-m}mSdehEWZc \ sSl,qrnocl,l \/xM\\©ZsbqrsSdi\,sbm}WZChk\{bmSCWrqZ\/{ShkmS{}Wr\/\/[{g{}nk\ l C\/m}qr{}\/nocMfifil u \8nkdecl/l/\/svqr xrm}\,sv\y6noqZcr\/c6mgsvmSZhk{}{}h6\,hkUs/de¤Dc TncZ\ Zno/Em}\/nouxMnkC\,sSno\kmS4qZmS{}WZ\ \©Ll/\hkc6\ mS£ \/Z£6fimhk demg
(69) WZdisb\/{}m}\Wrn0dmm m}WZ\gVXZWZ{}hw\ghol/hkdpc6s
(70) mSsv\/mS£6hkm{}\, hw\dic sLcrm}hoWZm
(71) \hkl cZhEfic6umS\ l £whEm c6m}
(72) nodedimScWm}mSWZWZ\/\'hE{Sm}\,WZ[©\/hEs/{Sw\,xZ[q mGcrnknkfi[8sSh\gZnk\ crr cZdesvmSm}dinohkmScM\,s[8C\,hkc6{
(73) m,no¤ cwu /wdecMhk[©n0m}WZ \ 0 [©dicnomSmSWZdpl/\ nofJsSnkhE[8x ~\©\,l [©m}s,nktcZZcZn0\/m{&n D0 nksm}cr{Sqrl {SmS\/qZC\/{}\,{}\/s,crMl/CqZ\,s'crl [©m}den<hEucrs,h %l/Zl/{SqZ\{ dpx4l/hon0m}m}W \,s,de|c¤/¤,mSWr¤ ,\fisfJmmSn0Wrm}\,\/sS[\8\/hEc6x m~ho\,lXm}m}s'WZno\/{}hE\8{S\,{S[\/Csg\/{}nk{Scr\¡mSdich m}WZ\/diVL{
(74) uwZM{}\hw0Bhom}UWZs,\/¤ hE{SuZ{}h6hk-svu svmS\/[©sbno{}\xrnEsv\hkcn sm}{ShEcZjnocrnkfehEjku xM\/m L\,\/c¡muw4\,sbnocrChE{S[qZfpno\k¤ ®rn hkZ{T{Sdehwcrhksvm}nkhkcr l \EZm};UWZnkc\ChkhEx {S~[\qZl m fin hkmuw4\ l/= no c
(75) xMWr\\/c 6di\
(76) jkdik\,\,¡c nEn¡s
(77) Zm}WZ{}h6\hkm
(78) uwho4 \ ho?¤ n©LqrCqZdefpcr l dim}cZdejhEctn¡
(79) Z{}WZhwdiholWXmSZWr{S\/h c qMl lhE\,:{ s0 {}r\,{SsSh04Ehk\,cr%Z¤rsV&nom}hqZmSxrhkfiqZhkdejEfp de\dicZs
(80) jÂno{}n\gmSmS\,Wr{S\[ muwdiMc¬\ssvhEhk[8|\sSdi[8P0´rl,feno\ fpl qZ0¨fimSqr\,s,{S[©
(81) s,ZWZChEhksS{T\ decMmu6s4mno\¡crdpl/s8\ mSWZ\fihkjkdpl/dinksGfmSWZChk\ {}[ muwqZMfp\n hkm}|h mSxMWZ\\ CqrcryElqMm}nodec6hEmSc deMl/nomSDdihk¤?cz-h qrl/svl/WrqZdecZ{}s j
(82) m}WZWZ\\/c cZmhou6m}rdehEdecZc j hoTmuwM \ s8 Uno{ \/9cZhEqZ jkWD & dem©
(83) #$ di$s P4 hEMs}CsSqZdexZcrfil \ m}dehEmShcrs qZ
(84) cr WZ\,hE{}sSsv\gm}nk{Scr\/mSÂqZ{}m}cZWr\n0 m mm}uwWZ4\g\qrnksSqrl mSnoqrf%nkfihkfefijEudil, no\,f%Ml \,hEcrcrZsvs
(85) mS{}hEqrcl mm}sXWZde\gcdecrmSWrZdiq sXmGChE0{Sno[©fiqZnk\Efe¤Zdpsv¯G[n<¤wdecrjs}nodpmSWZdps/rdmdps
(86) 4hEs}svdixZfi\Tm}h©\/crl/h \g[hEsvmXhk
(87) . . . . "! . #. %$'&)(. (. %(. *$. +. -,. .,. /$0&1$. 6. 2,354 3. 87. 9. :;. J. <:>=.
(88) .
(89) ! "
(90) #$ %&$' ()"&%&
(91) 8 ,
(92) 4 ,354 3
(93)
(94) 3 !"#$ &%
(95) (' , ) 4 ,!* $
(96) +
(97) 4 ,.- / !"021/ !
(98) '3' ,4 4 1& !"# 7 /,.-. 0 0218 !"#
(99) 9'
(100) 1/ '5' !"# 1
(101)
(102) ;=<>@?BADC . "&%. C . !.
(103) ('5'6 !4
(104) ' : ' '5' '.
(105) (( P3$ %&
(106) 7
(107) ' :
(108) &P 9
(109) 9 $& 9. 7. 97 9. 9. n0nk<{Sdpnk,no{SxZdpnol/fi\bxrhk[fedi\©s[din8c6hkmS0c{}nohw{}cZZdpnohoqrxZm}l defi\hE\Tcr
(110) ho{Sh0 WZwP\/dpc 0 l/\,nohE fpcZl xw\qru©fe d-mS\dpWZsSs'\l/m}{Sl/WrdixMhkn0c6\msmS\/hkn£w m,C¤ZqZ®ZcMghEl {
(111) mSnkdicrdehkcMFc smhkE"no{ crl/n \k8 ChEdi0c {:nk0 nom}{SWZdpfinof?\xZy6sSfiqr\,\/nks,c6-¤cEmS\,m},(dcr4l x4l/\ n0hkm}qZdecrhEcno0crno{} dpnonxZfiC\{}\/di\s $'
(112) #$ $ HG $
(113) 3 .
(114) $3 IFJ< ( !& ' m}m}WZWZ\?\/u 0nkL{ShEdpnoqZxZfi fi\ cZ8\/\disgx4m}hkhbqZx4cr\
(115) t \
(116) MWZcZdi\,fi\-mS\/Wrfp\Lsv\ cr
(117) nkWZ[\/\,{}\s VKM¤LO c NL m}PQWZL.dpNs|LSsv\,R$cETDm}nk\/crcrU l/\? m}WZno\X{}\|{ShEC{}fe\/\ \ Z8/fpdin<cuknX\gChExw{Su [©nofwdis \,k\/\/fifif1hk0!/wrcZ[8h\,
(118) c6c m
(119) Wrdefi. lm}/hhkc6/6mScr\\/h£wm,¤E\VX
(120) qZWrWZcrdidpsl W \,\ {}£ZhksvnkmSm}[8WZnkcr\,r{
(121) fe\GcZm}hosSWrWZm}n0deh hEmcrm}sXs-WZmSde\mGWrnol/ hkmL\/cr4deml/\/\/crdp s?rm\,s
(122) s8cZhkhkx6ctqru¤ jkmSWWZmS\h8hol m}hEWZ[8\/{8rq crmSnk\T[8mS\WZs\bcZsv\/\/mL\ hk%m}Ch{S\,x4\G\ 0nom}{} n di/Enk\/xZc fi\,s-C{SdihEc[ nsvmShE\/[{}[ \ [ q m}Dno\ mSm
(123) dik'qr\E= sXk jksv
(124) \,dikWr\T\,\/hEc©{}c \?dechknkcrcr\-jk\ [ qZ£Z{}nkqr\[8svm¤wrVXrfe\b{SWZh0dpZEs-{}\JZh6mS{}hkWZhwt\hoWZ%Zh di{} shk4 m}hEWZ\/{ScZdims \uGxwChkhEu"{{ de/ crs/Z¤Enkqr¸crl Wm}\bde1XhEmc¤ n ¸/khk\Gc\mSqrm}WZWZsS\'\?\GZsScr{}hknohw[mShoqZ\?t{m}ZnoWr{}fMn0hkcwm
(125) 4qZ\/nk[ {SrmSx4 di\,\/dm}sD{des hohEZc;CmS\WZdpyEs
(126) \,qMhkl no{}hEfi\/d[ m[ u 0 \m}hy6qr\,no y6fIqrm}no\/fX{}[\,fes
(127) \,[8l,no\,c c6m}xMs\{}sS\ qZmSqrxr{SsvcrmSdesmSq \m}y6\,qrnohkf
(128) cr\,\Tfe\,C[8hE{X\,c6mSWZm}s \g;hkm}mSWZWZ\/\,hE{ {S% \,; mS[ Wr\/7hk{}\/[ ,X - /= ¤J ¸\¡=ZnonkfpcrsS hnqrsSC\qZcMm lLmShdihkc¡m}WZnk\/ZhEZ{S\,fide[\ s hEc nEZ demSdihkct=LJnom}crWZ©\mSrWZ{}\'svmsv\sl mhEn0crm}©\,s8hkmScrWM\Tn0nkms}sSnk\/Z{SZm}s|decZm}jWrn0nm
(129) cwnkqZr[ dex4cr\/j{ n
(130) cw&deqZmSW,.[-.xM% \,{{} \
(131) m}qZdemS{}WcrsmSWZmS\'WZdpsSs©qrl/cwl/qZ\,[ s}svx4hE\/{-{ ho;CmSnkWZcZ\,hohkm}{}WZ\/\/[ { &Y {}\ m}qZ{}crsmSWZ\sSqrl,l \,s}sShk{ho&mSWZ\sSqZ[ ;CmSWZ\,hk{}\/[ 1
(132) =8 ,. 9. . 9. 3. *3. 9. 3. 3. & Y 8 6 4 Z!"# %'
(133) [ 421/ "
(134) ('5'8 \! 21/
(135) ('5' 1
(136) 8 6 6 ] X, - = / 1 &Y !
(137). wh WZ\,{S\MmSnkWZcr\ fidisvmho C{}\/\0no¤ {}dinkxZfi\,s dis r % &1X ,.- r 7 /,.-. hEnomv{}m}Z\/\/c6{?u©mSnkdihkcrcrcno©mS[cZqZh{}qr\ksvhkEmx mSx4WZ~\\G\Tl rmLjknk{l,nodinoZcWmSh di\,smSMWZnk\,\'l/cruwl/©l/nEfehEsvdplo\c6hknox4DcZ\,[ l/hknkmSqZWZqrmS\,sSqr\T{?nkhEnofefix fiu©fI~\, l \\ m?rrcrmScrWMd\,m}n0demLhE{}crdp\,sLsXl/cZqZnoho{{}\svmLdikZZ\
(138) \fpnkrml cZuw\4\\,disc©x4no\ mScrCWrhE©\b{S\Cl/qZdehkcrm,c6¤Pl mSm}66\/dem}hE£6decrmfif¨s,6dec¤sS Msc\m}{Sl mSdpdpWZlno\m f l,sSdinkcZsSjk\ fi\bhk
(139) Z\ªLrh cZy4demSMdim}hkWZc\n0\/m
(140) crnl/h m} de[decr\Ej ¤ ^hk?hk[ {}\ q m}qrhkno"{ fi/ fiu L{ShE\qZl fiqZ{sSxMdeE\'\cZ \,\,\/ r\cZdemSdidehk crsb\TxZdi{}c6demScr\,jEcrsb \/\,E\/mS{}huEm}nkWZrdicZnoj mX hkh qZ
(141) {LcmShwmShEhfisLhkcZmSh\ jEn {}ZnkZ{}hwWrhos,L¤ sSu sm}\/[
(142) WZ\,{S\8[ q m}qrnofifiu \ rcr\,hkx ~\l m}s'l/hkqZfp dic6mS{}hwZqrl \l u l/fe\sTdicmSWZ\© \,M\,cr \/cMl u +. _a`3bdc.eHf0bgcXe5h OL i0j e8k L bdc.eHlge L db e .L m ean oQp q$r5sutwv0q/k2l i=x.y k2z bdk L|{.i h"b f0}SbgcXez iL.~ayOi0~ ea`. JKJML&NPO QSRST.
(143) 3. . &P 499 $ . rem_rem. remove. member_remove not_member_rem. sub_mark_past count_less_no_change. mark_decompose count_less_add_elem_top. member_remove. submitted_decompose_mark. count_less. mkd_mark_past count_less_add_elem submitted_decompose_mark. count_less_aux count_less_decompose. member_remove_diff mkd_mark_past. optional_reachable_address. minus_Sn_m. member_remove_diff minus_eq_O_le. count_less_aux. count_less_aux_no_change. mark_line. mkd_mark_add. count_less_aux_no_change. count_less_no_change. count_less_add_elem_top. mark_line. remove not_member_rem. count_less_add_elem. more_marked_mark. sub_mark_past. member. minus_Sn_m mark_keep_size. mark_decompose. member. minus_eq_O_le. count_less_decompose. mark_keep_size. mark_keep_size’. next_address’. marked. q_single mkd_mark_add. marked m_not_q mkd_push. mark_decompose_push. submitted. push_address. count_less. mk_agenda_no_marks. sub_mk_eq. sub_push_past. mk_agenda. submitted_decompose. more_marked_next. sub_mk. sub_push_add. submitted. acceptable. acceptable_sub_smaller optional_reachable_address next_address’. mark_decompose_push. more_marked_next. acceptable. mkd_push. mark_keep_size’ next_address_smaller. acceptable_sub_smaller. mk_agenda sub_mk. agenda. next_address_smaller. next_address_not_marked sub_mk_eq. agenda. push_address. submitted_decompose. mk_agenda_no_marks. push_keep_size. sub_push_past. next_address. size. size. sub_push_add q_single. queue. m_not_q. next_address_not_marked. push_keep_size’. queue. rem_rem. more_marked_mark. more_marked_push. push_keep_size. marks. next_address more_marked_trans. more_marked_push. unmarked. map. push_keep_size’. marks. map_injective_member. unmarked. more_marked. more_marked more_marked_wf. map. more_marked_wf. more_marked_trans. 4x;=\/<\,>@c?%]{S\,C[8h0E\,( hk%#c 'mS WZ\g#{} de jEW6 m,¤ZVXhomSWZWdpsrrjEjkqZqr{}{S\,\sXX{}\/nkZsX{}\,ZsS{}\/h c6 mXqrmSl WZ\\s}qMnosv[dicZ\gj jE>{}@nkA'ZA'WtB xZq mGmS{nocrsSdm}deE\'\, jE\,sXWrn<E\ © t$ "#'$&+/
(144) & "# T hEZcdisSZVXnkfpfen<WZfXu\8m}WZm}xrh6\/nEhEhEsvfi{SdpsG\,l [hojE s{}m}nk\/nkcZ{SWr\ZsT{}Wwh0hkqZwx jkdimZ\no\gdicZno[8cr\, \no
(145) lcrhEWZs[\/mSc h ZfeL\/WrmSno\\,crfesSu Zuwfesv\qZmScr\,fpno[©Z{}{}n0jknEmS\ l dpm}l/jkdinkl,{fenonofiu¡fZWrCnohks,Z{¤rr®rWwfehkuqZ{G[©mSdiWrcrno\csvm}Znkqr\/crs}4l no\/\ jkcr\E> ¤?E \,F GcrG.l buH l IhEl/GhkqZ[r{sv{SZ\Eh0q wmdpjE n0{}m}\,nkdesZhEcWn m}nE WZsX\ Sdefi% fifihkqrTjEsm}dil,l,{}nononorf&mSdinklhkxZhkcrdi[sfedemZdiucfi\ nomS£ \,crdelm u WrcZ>hkdi@ -l,ACnojkA'ft{Bno Zh ZWMl/{}qZs/h0 w[CdihE \/c6{T\m}s?dis,cr¶,¤ svhwm}hknk[crldecr\ j
(146) UWrnE\/l cdifedemShEdicZ\,s,\ XxZnoq c6mm}desm
(147) mSdih s
(148) nkZfi{SsSdihc6m[mS\Wrno\/cZ[ dicZjonoCcMqr¡fImSqrh8sS\g{S\mS WZqr\,l[ \ m} ch'[ hETqZqrcZ{'l\W8\ £ svdedicZM[C\,hkZ{S{}dife[[\no\/noc6mSZdim}hkZs,c8{}thE{}nonE\/x4l[hkWq h0mSm?whdenEcr{}l j\,mS qMm}qMno{}nklf dicr cZsv\/jde4mSdimS\/kWZcM\8\8 \/\,svcrZdi¶/l/jk\gu \,s'hkx4|WM\ mSmnkWZs'\ \/Z\,jk{}c{h0nokhEZ\x Wr ~\,skl xMm}\,sJ\,{SudedpcZs&jqrmSh'svhk\/xr{SCqZ\,sS[\/f¨%{}h0kmSkWZ\\- dps'm}
(149) {}m}nk{}demScrnkWrcrsShkdsm}q CdehEEmG{S\[©fihw\hEno sSmSjkdedi\crhks/cj ¤ nkfehEcZ \bc [hkqZn {L/wdercZ{jsmdemde[MZh6fisS\/sS[dixZ\/fe\bc6mm}n0h©mSdi{Shk\,cDZfinEl \T\bZh0hk\,mS{SWrfiu©disdeqrc6sSm}de{Scrdpl/jnon mS\bsSrdi[8jkqrr{Sfe\b\s xZ
(150) q mXdm}\W£ {}4\,\/nEcrZsSnodeExr\Tfe\bnkhkfejEcZhk\{}s
(151) dm}nkWZsX[½dicm}WrMn0jkmqZr{}\{s¤ m r {S
(152) h WZqr\,cl/\,sGmSWZmS\,WZ{S\\©mS\/{£wnodpcMsvm}svsdemSdi n k\8 l sSfiqrhElsSWqZ{SmS\Wrhono-mm}mSWZWZ\8\,{Sjk\{nonkZ{SW\8m nkcrh¡¡\,m} WZjE\/c\,sb{SC\,{}[hk[ h0k\,¡sGmS\, h jE ©\,sbnkcrx4\ m C{ShE\/
(153) \/c cZh mSh \, s di¡cnomScMWZ \ [ m}jE{}{}nknkcrZsSWtdm}¤ de´E \l \fihEnosSZqZZ{}fi\ku¤Jm}VXWZWZdps?disnofinkjkfehEjE{Shkde{}mSdWrm}[WZ[ mShChEn'{jE\{} nkZjk\ W8l/{S\,hk[c6m}h0nk<decrnkfdecZjghkl/{"uw/ l/sfe\hEs/cZofemSuWZ\,dec©mS\/Wrk\/\,{}{S\u \,dps jEcr\
(154) hrl nou {Sl/mSfedp\l dirdec n0m}mSdecrWZj\ m}dicWZ\,n sS\'l u \, l fijE\ \,s
(155) dpsbnk{S{S\,\'[[h0hkk{}\,\Tt¤MdpsSVXhkfpWZn0dpmSsG\jEdeEm}Wr\,sGnocmSWZm}\8WZ\/[u disS{Sfi\\,nonkfiZfeudecZnkj {S\Ede[¤ Z{}\,s}sSdehEcmSWrnomTm}WZ\E\/{SmSdpl \sTl/hkcrl/\/{}cZ\,xwu map_injective_member. +. 9. :;. J. <:>=.
(156)
(157) ! "
(158) #$ %&$' ()"&%& . Emn nol diu cZl,T\,fidps lgLx6jk\u¡{nonkhkZfemS{}WMWZ\,s/\,nE¤Z{G ¸u m}{}\ nkdpcrnks}sv{Sl C\qrhks}{}nosv[fp\sv%h©nomSjEdihkhk\
(159) crdicZsWrj©n<ZkmS{S\Xh \sv[©\,sv\,c6nk\mS \,WZ\ hsSPdeqZc{}mS\mSh WZmSdpWr[sbnonrm?/knohk\ 4qZ\/sS{|{qZdi¤ {}cZ\g,TdemSmSsTdpnoWMn fZn0jEmGl {}hEm}nk{SWZZhEdpWsGfefpnoZl {}hk{}ukhk[r4ZmS\/WZqZ{S\,mm}{Sun0\m}dpdesbdihEsTcnocZfpZsvhh©{Sh {S[©\ nkqMnosSl dihkc\,c s0
(160) WwujE{}nkZW{}\/[h00noftsSWZhEqZfi x4\noZZfidi\,r{}svm,¤ & +, # t$&'$ +/
(161) {m}}h\,ZmSqr
(162) WZl dp\dis'cZ qrj'cZl/h mSde WrcZ\8\GjcwmSmSWrqZWZno[ \mcwx4diqZ\/s'[{Lfi\,d xM/k \,\/jE{?fi\,uhks,I¤omSh¡¸E\/ {SWZdpmS\,s}dpcnol \Zngs|4de\,cZcnkh {,m} -¤WZ\\G66dpm}s- defi\,{}fBM\/D[\,dmcrh0 Edpsg\,\,crsvl \,mSu8crWZsSjk\,de{xZ{Sno\Gfi\8ZdisLWmShngdps?fejkhkn'{}m?hk[qrhohk% {}dic \mShECsShkjkqZ{}\/x [©mSmSWZn0fi\,\Gm}{bdey6hEEqZc8\/\{S4smSm}\/dpdel{ShEm}\cnksGdemScrm}WrWrdecZnkn0cj m l/hk{}{S\sv4hkcM©mSh©l/feh6sv\,feu{}\/fpn0m}\,l hEcrl \, m}s,¤ .
(163)
(164) !
(165) ". &%. '( *)
(166) + ,-
(167) . ¸ WZ\,c jk{}hkqrZdecrjm hE\/{SmSdpl \,sD nkcr mShEjk\ m}WZ\/{ m}WZ\gmh©k\/{SmSdpl \sno{}\{}\/Zfpnkl/\,
(168) demSW n©cZ\ hEcZ\ ´ 0G¤Zcr¸ hWr no\,mM\,svWZcrhE qZ\/cMfp l u WMnodic ZC4hk\/{}c [©
(169) n0mSdedimShkWc mSWZdis \gmS\h jkxM\\sfi\/hEc6svmSm,\,{SdimScZWZj\,c dec6dem}m8hdpnks crcr\,ll \hEsS[8s}nodicZ{}uj8CmS{}hhk[ \/£ Z{Snk\crsSs mS$WM# n0m\,k\,{Su EE\/\/{S{SmSmS\/dpl £ \sLmSWMhEn0 c mL
(170) \,WrMdil\,9W cr \©nkcrhk c m}WZ \/\,[!M\,sScrWZ%hk¤ qZfpcZh¬ \/4\/cM©hkcm}WZ\cZ\ k\/{SmS\/£%¤kVXWZ\Gs}no[\jEh6\sJChk{?mSWZ\ GhgEdetmSWr\/{}\GdpsLn k\/{SmS\/£ m}Wrn0m
(171) \/4\/cM \,hkcMnocM©hkc
(172) WZdilW \/4\/cM \,%6m}WZ\Tcr\
(173) k\,{vm}\ £ disTdicnl u l fi\k
(174) WZ\/{}\ \/4\/cMZs'hkc nkcr \,M\,crZsbhkc 0¤%VDhn<khkdpm}WZ\8l/hk[Zfidil,n0m}dehEctMdem'dis x4 \ ZmS\/mS4\,{\/crmShZsbnksSfisSWZhhkqZjkfp{}hkqZx4 \ mS{}
(175) \,nodemSmS W\ 'dec¡nkcrm}WZ\nofis}fDnok[\,{v\m}di[©l/\,nkscZm}cZWr\/n0{m ¤,G;CmSc{no\cr£ZsSnkdm}[8deEr\/fefi\u =hkJ \/mS4WZ\/dpsGcrhEMhE\,9c {}no mSdihknkc¡crdpshkjEc deE
(176) \/WZc¡dpldicW MjkqZ¸{}\\¤ r{Sh0wdp \m}h6hEfisGmSWMn0m'[n /k\dm'Mh6sSsSdixZfe\ mSh jk{}hkqZ [hE{S\ mSWrnkc¡m Lh cZh \,sTm}hkjk\/mSWZ\,{,MxZq msSh Um}nkWr{n0m'no\G{}hE\gcZdefic6u8m}\/di[{}[8Z\fi\/ [dpno\/{}c6umS\x4\ m mSWr\/dis\/c xwu©m Lsvqrh©l,hkl mS\WZsSsS\,de{GE\/kfi\,u{vm}jEdi{Sl/hE\,qZs Z;"dicZjnocrr nkde{s-dic hkthEcZqZh {G \/\,£ s,nk¤ [VDh8Zfe &\ \ =m}M\,hkl cZm?\ mSWrsShk\Tfiq E\/m}de{ShEmSc¡dpl \,diss m}{}h\,nEl lhEWr[8noxrrfeq \ mS\XC{Sm}hEWZ[ \
(177) mS {nonocMcMsvdemSdisSk\/\
(178) \l defiLhEm}sSWZqZ\/{}\Xu hodi4cmSmSWZqZ\{}jEc{}nk{S\ZnkWlWnocr ¤6l^ WZ\nolcw/u nohkfif Zm}mSWZdi[8\
(179) dik¶,\,no{vmSm}didihkl/cr\,s's&mSl/WMhkn0qZmLfpnk{Sx4\\©mS{\/nocwcMwsvdpsvdemSdihkdikcZ\,\feu desS qrl,l \ \,s} sSde\El \Tdp r\ nkdemS{ h
(180) l/dpsvhk\bcrjksSdp{} hk\/qZ{8rdejkcZ{}jMhkwqZxZ q hEm M\,{}\'noWrmSdin<hkkcr\bs cZChohkmG{8svfpmSnoqM{} jkde\\ jE{SmShEWZqZ\rsvs\'hk
(181) ZdemSmSWrdi[8hkq di¶,m©nomS di\,hkl/crhksX[uE4\ mhE¤ sSdecZjmSWZ\sv\nks m}l/Wr{S\n0n0mJªLm}no\,fihE{}T\-sSC\/lhkfi{}u{t\,di{}nocr\/mS fp\,n0qM'mSl \xwmSugdikl/no\-hkqZZcrmS\ l/hkr\/[©cZ mdenomSs|mSdidphknolJcM{}mS\sthwdisShkc'hkfps,[mS¤#WZ\/,\mSc diªL[8\h \£ZyTsJnosvcr[u nosvZ[mSfi\/\-\[8hor¤nkVXsSfeqrd WZ/kl\|\EW'¤crm}´noWZm-[\/dihEsJ\{Sst\\,svho[46\,smSl/Wrnodi\,{}nk\|sSfefi\|ugmSWrmSmSWZ\?Wr\,di\hkcr{}l/ \/nkqr[©sSl \stmSdiCnkhkhk{Scg{J\Jm}m}hkWZWZxZ\/\/m}hEhEno{S{Sdi\,\,cZ[[\ ss xwru¡{ShEnkMrh6 sv\EdecrEj m}WZsS\,MsS\\'l mSdeMWrl\/hksS{}/q \/.[©£ sX\,nosG{}\gmSh svu mSWZsvmS\8\,[crnkno[8mSdpl/\8nkhofefi|u©m}jkWZ{}\8hkqZdecr4Z\,qr l m}
(182) deEdemS\ WmmSuwWZ4\g\dix4cr\/ diqMcZl jmSdi k\\'rmcruw\,4%\'¤ mS WZc \,um}WZ{}\\ CmS\/hw{Xhkm}f hrL¤ \. JKJML&NPO QSRST.
(183) º. 3. . f. e. g. a. f. h. g. h. f. d. e. g. daVinci V2.1. c. daVinci V2.1. daVinci V2.1. . e. d. b. &P 499 $. h. c. /lVX;=hkWr<fi>@fi\,nksS?kr\b²/sSdiC\,fi¡feqrsvdic6mS {mSn0h m}demS hEWZ'cr\s %&jk {} hk\/9 {}qr$\T
(184) tShE¤4x GEm}µ|\
(185) nk\/decZ{SmS\m}dp{}l nk\qrcrs&svsSnTdidcZm}nodej Ecr\ >E \,xF ZnkG.jk{SH \,\Ls IjkGw;U{}hk¤ hkcZqZ\E44\,x4'\ dimc8\/nG\,cZc\
(186) \nocZcrh \l.lk=T¤0sSVXWZWZhkqZ\?fpE \/{Sx4mS\\ £{S\, [disJh0kno\,fpsSth ¤ 9. .
(187) " /
(188) . x4dic\-rjE®rfi{S\,hkhEs{qZmSMhoWrmS\WrnoTmT\/mS{?hkl/crnkjEc¡\/\ m}\,WZxMr\/\s/{ Z¤ L¸{S\Th \-l/{S\,\,Zs}fe{}usvh0\6hEdpc© xw\JmSu WZm}\TmSWZWZ\-qr\4sS\/jkhE{L{}s}hksvmSqZdihxZZdisSdife4cZdem\,j©ul deCnoChEfiu8jk{%hEmSmSWZ{SWZde\T\LmSWrmSqr[WrsS\/\/¤Mhk{%¥-{}m}\/hnk[©l W¡sL\,s}no\,l cEcr{}m}dex4{SuZ\|\ m}dircWZcZ\-mSdeWZjkmSdi{}\ghkhkcMMqrs-feb\m}diWr{Sc \,n0CZhEmX{S{ScZ[©\\/svn0\\,c6m}dem
(189) hEmSchn jEnk{S{ShE\bqZjkZ{}dihkcZqrjgMhk\4\/di{cEn0m}m}hdehEdec©m,¤Mxw®Zuhk{jEdem}wWZdicZ\'jgjk{}mShkWrqZ\GZcrdicZnk[8j8\Thk4ho\/I{mSn0Wrm}\TdehEcZc\ qr¬sS\,k\/{SnkmSsX\/£nocnkcr\ £Znom}[WZ\GZcrfi\bnk[dec \,mSs-WZhk\g%rmSWZ{S\,\T6kdihk\,qM{vm}sLdil/sS\,\,s|l mSm}diWrhkn0ctm m}WZ\gjk{}hkqrZdecrj8 di{}\,l m}deE\'Wrnksm}WZ\'Chkfifeh
(190) dicZjChk{}[ 8. I E
(191) . cMqMnosv\,[{L^¡\ m}nkh©nkcwl hku mS[qrjknkde{}mfehkfium}qrWZZdi\'descrm}mSjTnkWZ{ShE\8jEM\ cr\,mXnk{}nok[8mS\,di\ {vhkm}crho\ -£s|hkl/dihkc crcr\m}sSWZhodisv\'|m-m}fedidpWZc8sv\ mjEhojE{ShE{ShEqZjEqZZ{SMhEdicZqZ\j'4\,hkk cZ\,\X{vkm}\/Edi{Sl/\/mS\,{Sdps,mSl \¤M\£®Zs/ hEdec6sS{h mSm}hWZm}nkWrdisbcZn0hom
(192) hEm}Mm}WZWZ\,\/{}\'{nokCmShksSdihkhbfificthmS
(193) WrnodecZm|\jmSnkWZ fe\
(194) fidih{Sm\Pnol {}m}mSjkdeWZE\/\\m dpsX4\/{SC\,l m}feu fedpl dem,¤. I VXWrdis
(195) di{}\,l m}deE\'Wrnksm}WZ\sSnk[\b[\nocZdicZj©nksm}WZ\'Chkfifeh
(196) dicZj8hkcZ\E¤. I "I . :;. J. <:>=.
(197) ±.
(198) ! "
(199) #$ %&$' ()"&%& . & +/ t$&'$ +/
(200) nkZcr\ r´cZm- demSdp\ dis|MhkdicMcZcEds m}m}\/dehkhE{}G\,crsvs'qrmSsSdim}cZqrWrjbnon0fmSm hgfenkhEZ{Sjk\©{}dpl/qZlnkcZhEf\Xcrl/cZsShkdih cr \,sv\mS{SsJ{}\qrChkl mM{Js/nom{SmSmh'Wrho\/ZdiqZ{mS{}WZxrM\nEh6svsvl/dp\lhks/[¤orVX[{ShEWrhkM\Xc \,r{v/wm}{}desvcZ\m|hs/
(201) ZqZmSfe\WZ{} M\ jkh6\ECsvhk\XI{}Cdp[©hksJ{gnomShgfididecr¶{}svn0\/m}m}[nodehEcMh0c l E\\?homSm}GWrWZcr\\/nohExrmS{SqZ\,nk[{sSnodpls f CcwjEhE{}qZ{Snk[[©ZxMW nk\,f|{}nEZs,s{SwhwdemSfihkWrfeqMX\gs mSm}WZ\,{}nok\,mS\,hkdife{}hkhE\/ctZ[©J[sXxZ\/hoq c6|mm nonkl/{}nkfedefXmScWZm}[WZx4\\\ m}jk dil,{\nos/l rZhE\Wr[8m}slk4¤/[©hE¤,sS¤n<\, u c¡xMdinc6\¡mSsSh l/ ded \,sSIcE\/\/km}{}d\,\/4{}c6l'nkm©f-r6svno\di4
(202) \l \/m}{dehEs crmShks/WrD\mS\, Wrnk\,\ls}Wl s}{}noqrde[ZsSdimS\¡cZdihkj c\,n¡Mho| \,crd n84 \,fi\/nk{ScM\,{SljEcEu \m jE{}nkZTWqZhE{x m}m}h6nkhEdefIcr[\, n/kx6\u s?{Sde\,m
(203) [Mh0h66sSdisScZdexrjfe\G dC4hk{\,{SmS\,WZcE\'mqrsSqZsS\/xr{LsS\mSmhsXsShoMJ\kl de\/C{Su mSdp
(204) l \WZs/dp¤ lWhoDmSWZ\bmSWr\/hk{}\/[©sl/nkcx4\b{}\/[h0E\, CZ{}dehk{}[\,l mSm}dikWZ\,\sJdiZc©dil hkmSqrqZ{-{}\kjk¤ {}hk6wqZ4©\,l/sSdMCuw\dil cZdeMj l/nokmS\/di{ShkmSc8dpl \rsfi\,m}s,h¤0mSWr{}\/\
(205) [Chkh0fikfeh\
(206) didiscZjsSde[ diZ{}\,fiu¹l m}de Ehk\
(207) crdecM\sm}xw{Su¹qrl nkm}rs| hEdeqZcr{|j m}h6cZhE\ f mSh /wde{Scr\,r[8s h0Ehk\ E\/{SmSdpl \s EM %rnkcr I ¤ . . . . E I. . . \sS\/ cMjksvz|\\Es-{}6qZ\,rcEcZ{Sm}diqZcZ\/cr{}jdedecrcZcZjj8h decZ c6h \m}s8 h\nkmSs Wrcr
(208) \/ [dm}jkW {}nohkcM\,qZcE©Zm}fedi\/\cZ{}n<jdecrwdejcZcZh j& C\,{SbshEfe[ no\n<{}\wm}WZdecZ \/jdi[!svmS\,dink cr{SjEl \G\,mssShEdi
(209) [8Mdi\,rfe{}ftfenou©nkmSf{}dim}hk\/\/cr[{s,mSh0¤JWZk¸ \g\ WZ\,C\/{SMc hE\,[ crZ {}m}qZ\,WZcrcZ\GldicZujEj{}dinkc cZZCh WthE {S¤ [©\, s,cn0Jm}mSmSdeWrhEWZdic \s di\cÂnksSm}defiWZu©\x4jk\{nonoZxZW qrsSnk\,fitsS¤h ChE{crhwZ\,smSWrnom8{}\/[©nkdec dec mSWZ\jk{noZWD&nkcr m}WZ\ r{SqZcrdecZjCqZcrl mSdihkcrnkfedemu l/nkc . .
(210) . . . . . Mcrhno{Sm}hETsLq disSmShoZjEthkfpm}n<diWZcZuwdidejsXcZjr\{S mShwjkWZho\\8&s/¤| jk{\/noEhr\/gfiW hkZnkmS[s}Wrsv\/\/h c6{}l \mLdpn0mSnkm}Wr\,f Xnom
(211) n<m}u nkhs {S\bnnknk{SZ\ l {SmShwqrqZhknkcw?feqrfi usv\\/qZÂEcw\/fim}qrhkWZsvZ\/\[hE%{S¤Z\/\,VXc6[©mbWZs/\diJsbsvno\bncrnojE{}h6\Gsvh m}hE WZ[\GX\ m}n<WZhku \/hEmSmS{ShWZ\,\[©Wrsvde\s?jEWZm}m}feWrWZdijkn0\/mXW6hEmb{SWr\,n<mS[WZE\\s nkZ{S\/\ k\,mSfeWrhE\¡Z[[\/noc6mSmgWZno\,[©fpsvh¡n0mSl dpl/hEnkc6f
(212) m}no{Sdi\csvqrfi\/fm[s[©hkcZnk\sbm}XWrnon0c6m mS\Â\/{}m}\h dec6\,m}sv\/m}crnoxr fe\dpsvW ChEdic{gqrm}sSWZ\8\dirc{UsnomdifeZ\fpnkl/Z\k{S¤ hwhkLq n0mmShkmS\/ mS[\/cD m|sfinkno{ScMjE \ m}Wrn0mGWMc6n<qMksv\b\cZhomSWZm\,x4hk\/{}\,\/c[©{}s\/hk[ mSh0\/Ec \,ZhC{}hkcZ[ hombmSl WZhk\'[m}\WZ\/nkhEfehE{SucZ\ r8Mfihk\,s,cr¤ l/\'mSWZ\,u Wrn<E\gxM\,\/c {}\/[h0E\,%wm}WZ\m}WZ\/hE{S\,[s m}{}Wr\/4n0\,mnohEm©cZmSfiWZu \l hEZc6{Sh mS{}l/de\,xZs}qZs©mS\,{S\ l qZm}h{sSde{SE\,\/[8fiukh0|EqZ\,c6 mSdimSfTWZ\,mSWZhk{}\,\/{S[©\ snk{Sx4\¡\,lcZhEhÂ[mS\¡WZ\,qZhkcw{}qr\/[©sv\s%?mSWMnkn0crm l/dhkmc6WMmS{}nkdes©xrq ZmS{}\h0 k\hEÂcZfiqru sS\ m}Ch qrfmSWZmSh\ m}[WZ\,dps
(213) cEm}[©dehEnocZcZ\,cZ\,hk{,¤cZ\?s ; mS{nocMsvdemSdik\,feu =¤ ®&dijkqZ{}\ jkdik\sLnkc\ £Znk[8rfe\bho&jk{noZWsSdi[8rfedeMl/nomSdihkcZ{}hwZqrl \dic +. . &%. ," .
(214) . .
(215) . .
(216) " . km}n WZ{S\g\/hE,G {S\/cZ\,r[ hocZm}WZ\nk\/{S{\'xMnkr\/ZnkChkZ{v{}m{}\hEhknkn&lm}WjEWZdeE\ m}\/h l/c hksv[u sv [mS\/hk9 [©$c no/wmSdpcZmSl/Wrhno\/
(217) fihkfiufe{}\\/ {}[jk\/[\g
(218) nkh0crwdemSdiWcZjcZm}\/WZm}\\WZ\/dicEhEcZm}{ShoqZ\,mG[demSx4dis8k\ \XdpsSs~WZqrmShhsv
(219) mSdecZM{Sl/deqrcnocZmSm}di\¡hkWZcno\fim}fL{}Wr\,m}sSn0WZqZm
(220) \/fm}hEm}deWZ{Scr\,\j©[©Zjks {}{qZnom}cZWrZ\n0Wt m ¤ m}wVhdih?\
(221) {S
(222) /w\cZdiscZm}hj{S dplm}m
(223)
(224) WZdphkWrsLqrnol/m-{hkcZnoc6hocrmS\/m}nk£6defehEu mXcsSnkdihkssMhonm}&defi[dimSsvWrm\X\'
(225) m}l/hgdehkmSqrc6WsvmS\E\/mSWZ£w \bm
(226) \XmS[h©sShEdino[8svfimLfIr{}mSfe\,WZul/\,\/qrhkc6sv{}m?\\/[©m}m}WZWZsX\/\hEqZZ{S\,{}hw[mShoh8sL4m}nosSWZu Z\'s4m}C\,\/{Snk[hE{Sc6di§ cZs|mSdijgl\/hk{XMc6{}mSm}Wrsv\ m,\/£whkm-L{}nk\/\b[s|svn'di¤ [{}\ZCfi\/u©{}\/cZcM\/l \\ 8 JKJML&NPO QSRST.
(227) . 3. A. . j. &P 499 $ . k l. f. g. e. a h. i. f. b. e. g h. a. d. b. d. Mq;=sv<\,>@fe\?-sS s,ZC nofifImSWZ \,hk{} \/C[© s'mSWM n0Smhkcr$fe'u l/hk c6(mS{}di xZq c mS\bmSm}WZh8dpsdem,\ Z£ZmSnkWr[8nomrfedi\Es,0~ m}PWZ/I\ ZmSnoWZcM\, hk{}f¨\/ [ Wrn<dXE\'Wrnknks8fisSh8x4\/xM\,\,c \/cl hE{Scr\,[sSdi h0\,k{S\,\ nCk{}{Shk{}c6di´6m}mGdidecZ\,dp{Gs
(228) jGnonomShg{}fpsS\gh8cZ[h 4 \/hE\c6s}sJmSsSdidexMhkxZ\,cZfi\'uk\hkmScMh©d|WMm}m}n<WZWZkdi\/\'s-udenoc6lcmShE\,dec6{Sc6mS[m}{}\/de\xZ{} [8qZdimSnk\\g{S u'dpm}noh©C{}{}u©mShkWZc6C\,m}{ShkdehE\,{}c6{,\/mS¤o[©diVX\/s
(229) {WwEcZqrm}\s&WrLm}n0WZ\,mT{
(230) \/dihEsXmS{SWMqr\,no[sSc¡\,s&m}x4WZhE\/\cZuEfedihkucEcrm}mS \/h©{}mS[ZWZ{}\
(231) \,qZ dicZc6dpno\bmS{}\,um}{SWZ[C\{}\,hk\,Zc6ZdimSnkjkdi{S\/\,u {s Cxr{}q hkm8c6m}crde\,h{X nk\,crM \,crmSWZ \g\/cMdic6l umS\,{Sl [hE[8\,Zrdiq nkm}{SnoumSdiChk{}hkcÂc6mSdps8di\/{M\,nk{v{SC\'hE{SsS[de[\,ZfiuChEcZ{ hkm}m
(232) WZ[8\,sS\,\ c6mSmSdiWZhk\,cZhk\{}%\/[©¤ s/¤&VXWZ\/hE{S\,[©sx4\ m \/\/c mSWZ\ . . . 9. 9. 7. '(
(233) + ,- *. dino[ mSZ\,¯T{bfi\/n<[n 6\/dijkcZc6dikjgmT\,m}nkc¡WZc\GmSWZqrl/\,crhkhk c6{}hkmS\/\/di[ cZ£6j©mL[©ho[tn<\,u¡nolfiWMfrxMnor\cZnEdpsSssvdem?[[mSZWZ fi\,
(234) uhkWr{}C\/\/hk{}[©{}\jks|hknohkmvfif%mS{}\,jEmSctWZnk¤IcZ\,hkVXdi¶/{}WZ\,\/di[©sbnEsXhEs-Mm}ngWr\,n0{}finodimsvmSmLdihkhk\/c %{}\gZdpsT\dec6rl,m}cZno{Sfideh femS\ dihkqrcMl/s-\,[©di nc/EA\,mSdis|WZc \demLmSl/Wr\hk\©nkc6sSmSªLu\/h £6mSyh m l/hk[G[©h no¹cr mSWMfpn0nom cZjELqr\bnoWrjEn<\kE¤ \bl/hk[Zq m}\,mSWZ\g \,M\,cr \/cMl di\,s
(235) x4\ m \/\,cmSWr\/hk{}\/[©sdemdisX4hEs}svdixZfi\Gm}hde[Zfi \ 0 m}[hEWZc\,\/cEhEnkm8{Sc\,n¡[qZcrfe\\,nosS {}s de\©mSxZ\C {}hkq {}jEm}jknk{}hknkf?mvZmSqZ\,Wtcrct Z¤JhkVD\/dicZh{}\Tj \/cZ[crhsS\,qZEl{}Wr\/\{SnkmScZmS\ Wrdp£ sv\[Xl/nkhks
(236) crsSZWrdi{}sv\/qZmS{}\,\cZcr\hkl cZufi;Uu\hk£Z
(237) mSl WZmS\,WZ\ \mmSWZl[©hE\,n<hkcEuw{}m}\/\xM[©£w\'m,s'k&\,mSWZ{vWMh m}n0dil/m8\/\,Es?Z\/\/mS{4Wr \/nocrm \L[ \,hE{ScÂqM\bsn¡Zm {}jkLqZdicZkhE\\,{ c/ qM
(238) svdedimScZWjdem,mSWZr\Tl,noCfi{SfehEdicZc6j©mSdi\/n {
(239) 7s"m} {} $no
(240) mS\,Kjku = ¤6#B¤¸\'Wrn<E\Gdi[Zfe\,[\/c6mS\©mSWrdis
(241) l,nornkxZdefidemu©dec¡ªLhwy©nkcr\/£ M\,{Sdi[\/c6mS\ m} ch WMcrGnohkh cr{}g[ fink\©def?rsSfisSl/hkd{Sm}jEdiqr dil,n0mnom}s/def64hE{SmScr\WMs/svn0\/Dmgm&mSWZdpdists,\ Im}hTsSmSl/Wrx4{S\di\X Z[©m hwnkdpl/s
(242) qZ~\X[qrn<\/sv0m8c6nom}nkdisbficZnkChoxZ\m}fe\-WZ\/dimSc6{ hbmS{Sqrh\,svZmS\,Wr{S{}\s,\8sv<\,rnoc6c {Sm}hwn0\/ho£wm}demShEsv{cu n
(243) svmShkmShw\/XhE[ mSfwWZsSmS\WZhhEl qZMhkfi\,c6{vm}C\ nohE£wfp{Ssv#m [hT8DxMnkm}fe\WZf?Z\mS{}WZZh0\{}wh6dimS hk\/\U£6s/ m ¤ h ¸ l,lWrqZ\/{}c{SdihkcZcZj \xM{}\/\,CsShk\ {}m\sbm}mSWZh¡\nl qrZ{S{S{}\,\/wc6dem'hEqrMsbh6mSsvdeWZmS\,dihkhkc{}\/[l hE%{S{}dem\,sSdiMs'hEhEcrcZZfesGumScZh\,mSl/Wr\,s}\sSnkm}WZ{Su\/hEm}{Sh\,[©[sbh0EmSWr\nom}m'WZWM\n<l kqr\8{S{}xM\/\,c6\/m'cMZhE{Sdeh0c6Emg\,mS%h ¤ m}[Wrh0n0wmXdicZm}WZj8\/mShEWZ{S\,\ [l/qZ¤w{}¸ {S\,WZcE\,m
(244) c 44hk\/dic6{SmGChkqZ{}[demScrWrj8\ n8sSl/fi{Shkdijk dpml/ZnkxMfM\{}\,l/nksS\ qrm
(245) sv\hEMsShk\,{}[no\'mSdihkm}WZct\/6hEdm{S\,dp[scZsXhh l,fehEl cZqZjk{}{S\,di{cZj©n8[©n0 m}n0\/mS{
(246) mS\,m}{WZhk\&qZsScMde[ hkZcZfiu \ m}m}WZWr\/n0hEm{Snk\,cr[ nofi[©u svn<\u sGsvm}mSWZdifi\©fDsSx4l/\{Sdi0 nom'fidimS\/£wdicmgnkmSWZcr\ cZZ\
(247) {S h l qMhEl c6\,mSsg\ £wn mcZ¤Z\¸ \s}Wrl n<{}dek \gm'nkm}fiWrsSh©n0m de[l/hkZ{}fi{S\/\[sv4\,cEhkcrm}\,r¡snUnkZdm}{}W hoCm}qZhofimfeuwu4mS\'hmSmShwWZhk\ f cr
(248) \ svm}nomS\ghkDmSWr\l hkc6m}\ £wmn0 mS\,{
(249) mSWr\bfihkjEdil,nof%{}\,sS\ m¤ 7. . 7. :;. J. <:>=.
(250)
(251) ! "
(252) #$ %&$' ()"&%& . AA. & + /+/ ¸;Bnofi\©fDTWrdifecrn<fiqrEl/sv\\mS{l \/n0hE£wm}[84dehE\/rcr{}q dis
(253) [8mS\qZ\,%c6omSm}m}\,h©WZ \mS
(254) WZjkdp{desmSnoWrMWrnoms|jk\gl/h nkWMcm}n<hwkx4hk\'\Gfps/xM t\,dpZsv\/rnkc µGfin<rdiuEcr{S\,h l 8 dLqrqrnol/sScrde\,cZjg>qrnk@ sSc©ACdecrA'h j BI %>0Bm}n @WZA'\ mSA'hw0 svB hkWr=f|\/¤ZdifeVXc4jEWZmS{}\WZnksv\\gZW8jEP{}ZnkE diZsSZW¡fpF n< u6Gdp disvcZZjbUfpnon<mS[uwhwdedehEcrfifBuj ¤ m}dichwhkWrfps-nocM[ hEu©svmLmShhk WZmS\,\/fec nom}fpWZsvh\grqr{SsSh0\/{
(255) wdpZ {}\
(256) \/mSrWrnk\T{S\T4mShEWrs}\gsvdixZjkdi{}fehkdemqZuZmSdicZh j[©nonkcrcZderZqZ{}fiqZnocZmS\GdicZmSj©WZ\b dijk{S{\nol m}ZdeWDE¤k\TVXMWZfe\dpsLs/¤ l,nornkxZdefidemul/hk[\,s . . . /
(257)
(258) ,"!
(259) " . C
(260) hEWr{S[©\/¸ {}nk\WZfJhE\,ZcZchw\
(261) l/[diqZcE[nkm}cZ\/\/{dic6Znkm}lqZs,mSfp%din0kmSm}\/diWZcZfi\u jl/hkjkhk4{cr\/nosv{ZmSn0{}WMmSqrdisGhkl m}cMmWrs|sGn0nbm}mgWrjkWrn0{m n<noEZnk\ WZx44C{S\/\,hE\,no[ c{'[s}rl {ShE{h n0sv m'mqrlCWtl/{S\,\¤ y6´m-qZmS\/diWZs c6{}LmShkfiqZuhEjE{vm}nkWW {S\©nm}WZ [\d 4\,\ \,lI{SWrhk\,nk{Sc6cZm-mbdphol/C%no{}hkf|l [qMnkscrm}mSnohkWZfi[u \svdedp¶,l,sGdenkcrsShkj\ m}WZ\GVXjE{}WZnk\ZrW{} svmgdpsvrC{}fi\,n<y6uwqZdicZ\/j'c6m mShwhEhkMf¨\,§ s?{}noqrmSsSdi\/hk{ c0´dec6disgmS\,mS{vWZU\nEl jE\X{Sm}hEhqZZ[©dicZ n /kj\hkmS4WZ\/\G{n0C{Sm}\dehEyEctqr¤D\/c6¯mL\,hE{S\M\,nk{}jEnonkmSdidehkctcr s|\\nksSl,deno\,c{-m} h\,Ml/hk\,[{vChE4{ShE[sS\ ¤ m}ZWZ{}dpn sX
(262) hkxr4nE\/l {/ n0mShodihk
(263) c {}\,dey6c6qZm}h8\s\,m}fede\,cZ[j\/m}c6hwm}h nk{S[ uqrsvlmS W\,rvsxrmSnkWrcrno m
(264) nodp{}w\TmS W r nk8 de{
(265)
(266) WZdpsv\,\bc jkjk{}{}hkhkqZqZrZdecZdicZj69j s/w¬xZqZcZm
(267) h mSWZ\dpss
(268) dinocEZm}hr{Snoh6crnkholWmSWrWr\/nE{tshkmSWZcZ\\ m}m}
(269) WrWZdi\n0fif-mGm}cZmSnk\/WZ{S\jE\\ hEm'mSMh¡cZ\,h {}\/no £wmS\©rdihk{Snkc\sSsSdidisZsT\k n%ZmSjkdi{}{}[h0hkwqZ\,disr dedi
(270) cZcZjWrjdihElnWMsv\,cZ4{}noh \,mSl/ didi\hknkctf-dps'¤ sv¸\,m}feWZ\\\l mSWrdijkhkn<{}Echk\gqrhkZ\ {£ decrl/Mj {S\,\{Smn0dino[m}{}dehEjk\/cc6\/mgmS[\nk \,crl
(271) Wrdnkm}noWcZfpsvdph¡svn[4M¤thEh6VXs}sSsSsSWZdedexZxr\fide(ufihkdm4u\/{mSmSn0hdim}[desShE\,\ c ms m}mWrno{}n0jkmX\/cZmX\,nk\,crZ s?mSmSh8WZ\,xMc\b\/{}£ \/Z4{S\,\n0sSm}sS\,dicZj m}m}Wrden0[m\hEsLcZdp\s{S\nk c6qrm}l/s\,mShm}jEh{SsShEdeqZ[Zm}fiuWZdisvs\,cZfe\h l m}de\ cZ
(272) j dmSm}WZW\bmScZWZh \' m\Tno{}mSjkh\ jkm{}¤ hkqZ
(273) demSW mSWZ\ CVhEh{VXkde[\,WZ{vZ\m}fidi\/l/jE[\,{}sXnk\/Zm}c6WWrm©n0 hkmbdpqrsvno{8r{}fi\gnkn<ZuwMZdihEcZ{}ZjhEMnkm}\lhw WDhk
(274) f deWZ>m8@\,dpcA'sA'l hkBficrdil Wrfe/wunkdis'cZcZj©n \l hkk\,c¡\/s}s}{}n©nou¡{}Eufide\/[{Sm}mShde\ mS£\,nEZ
(275) qrdm}sSWm\/{ mS0¨hWZdic6\hkmS\, {S{vdim}UjkdenEhEW6l crm\ks/xZ JqZ
(276) hEmvdecZmSmShE\Wc¡CsvhEho4{8J\,l/sSmSd\WrMmS\lmSdi[cZ[jhk\/qrcwmSsSWZqr\k\s ¤ mm}WZno{}\gjk{}\/demjEWEnom
(277) cM©hE hkmScZdihk\TcChkde{Xc¡nkn8l mS4qrhknk fefi0´uqZjk{}[8hkqZ\,rcwdeqcZjMWMknkm}sXh Zm}{}WZh0dpksL\[\,y6c6qZqDdemS¤ \'6wmSmS\dife f¨wdihkWrqrn<s,w¤ decZj mShsvfidp \Gm}WZ\b[8hEqrsS\mShsS\/fi\,l m m}jEWZ{ShE\XqZ¸hkZ4\Ldi\/cZWM{jn0n<m}k[8de\?hEh cr {SmS\Eh0h'%w4hkdp cZ\/\,{S\©bChk\/m}{}£ WZ[½Z\{Sn0s}\m|nosS[sS\\,nk\s l/6W
(278) diWZcrsvmSdp \,lWthoZ cZx4h \/\ WrWM\n<n<wdiksgdihk\jE{Ddehk[dicdicZZ>j fi\/E [mSF h¡G.\/H c6x4m}I\\,Gwm} WZxZn \qZm&m}nkdi cr{SjEsvmS\ \,mCnEI
(279) mS[8WZhk\,Zh cWr n< \\,w8kde
(280) \,cZ{SWZjGu¡\,mSccZhTh \,de crcE\Zm}\/dim}l,{}Wrden0crn0mSj\m dpx4s'\/WMsv\,n<fe6\dil hkm}{%\,WMnkqrsIcEm m}def|h
(281) \/[©£ dnom}dideccZj {}mSn Wr
(282) \8xM[nkl h / s/\ ¤ ®&
(283) di{}defisvfJmDxMdemD\disDdi[xr[8nksS\\, bdpn0hEmSc\,fenXu¡[8jEh {ShE qZ\E
(284) 4
(285) \, WZdp
(286) lWgdemSnoWf mSWrn<u \ sImdino[{}jkM\ h6m'sv\cZsDh nX xZ\E¤IqZ{VX Wr\,dic s hEl/hkc¡[qr[sS\/d{ms/stIm}nkWZs\LmSlWZWr\,hkudpl \,crst\/\,mShw¡hTmSy6hqZ{}dp\/l[/wfe\,u [ 8dx4 \/m}WZ{ \
(287) qrWMsvn0\,mT{hEsS\/Mfi\,\,{}l nomS\,mSdi hkcrnsTk\,no{v{}m}\\ £'4hExws}ubsvdi\,xZ{Sfi{}\hk{dec m}\,WZnEdis&lW¡sS\/[8fi\,lh m} de\EhE ¤c6 hk\,4l \/hE{crn0%m}de4hEdc m dp\sgnojEdi[\/{X[8xM\\, Wrdpn<n0wmS\,dehEfeu{Xdides
(288) c6m}nE\/l/{}l Z\,{S \/m}mSnk\xZfi\bnEshEcZnfiujk{}dJhkqZqZZcrdiZcZhkjdicZhkj4mS\/WZ{n0\gm}svdehEmS\,ct
(289) dpsWZnkdplfisSWhdi[©sgnEcr ho\'m kn\/{}mSu{}di6\dpnknosSf|ukhE¤ M\,{}nomSdihkct¤tVXWrdis m}qMhsv\,Z{}´sbdeb{}\,WrmSlWZn<mS\Efiu¡\jEsS{}Z\/nk{SfiZh0\,wW l m}dp \, \dpsSmSZnoWZfifin<fJ\uwmSjkdiWZcZ{}\hkj qrcZm}Zh hwde crhk\f
(290) jsG[©hkm}4Wrn \//En0{m'\,n0s8m}m}WZdedhEm©\/cu \nknkXsSs'unon c6mSmb[h mS\/hsvcw\,jkqfe\{}l hkhEm©qZM\,sv\,{}nomSkhEmS\,dijk{}hknk\ c¡m}fLWZEm}\/Wr\/{{Sn0¤ mSmgdp^l dp\,sThEs,svmSJm'{}ddem©dejEc6jkmSdp\/s\,{}{}\,[nEl hkm}n0{}deE\ mS\\,l/{'mSfe\,hwmSkhEWZ\/fi\{s qMhEx sv\~\,mSl WZmX\sS\/l fihE\,lc6mSE\\/ c6mS
(291) dihkdemScW m}mSWrWZn0\'m8fi\mSWr m
(292) \ xZ
(293) q mSmSG hk cA ho/kD\,mSuWZ\'hkc [m}hkWZqr\ sS\b/EcZ\/uw\/x4\ZhEsLno{mS h8xMl/nk\gcÂnkrx4 \ \,qrsSmS\,h©Ân mShjE{S\ hE£ qZZ{}\,sSs}\/sfi\,m}l WrmSdin0hkm8ctwmSWZhk\{ {}\\/nk[sSdefih0uE\, ¡hEcZde\denom {}\gnEnos'fpsvhnofi{S\\nknksS defiu¡uqZsS\/crfiZ\,l hkm}cZ\,\E%r¤tnoVXcrWr disgm}WZnk\ZZl hE{}hE[8nkrlfeW\/£ dis'hk[4\/qr{ln0Wm}dehEx4c \ mShkmS\,&{,fithwhsSde/wcMdilcZ\8j8mSCWZhk\©{GnksvmSc \,rhEsb mSmSdiWrhknocmdicno{}n\ . . 9. . JKJML&NPO QSRST. .
(294) <]. 3. A. &P 499 $. . . }m[qMh sv\,\,c6di{:[80´qderc6nom}fe\,fp\/sS[8{ShUnk\,l/c6l hk\'m {}{Sl/mS\nkWrsvrdi4snohkxrxMcrde\,firdWrm}sn<de\m}wsXhdehEnonk{{}c\'dicÂhEl/{SMhkqM\,qZ {}{no\/{mS\ di¤ £ hk4c\/mS{}Wrde[nom'\/c6dpms's [
(295) hkde{}mS\8W l/>hkE [F ZG#fiH \ I£ Gm}xZhqZqZmcrcZ hkhMm ¤%¸
(296) de\mSW Wrn<>E@ \A'ACx4BI\/\,c
(297) WrnkhExZsSfe\\ nqrk{Scr\ hk\,c crnE\desvc6uÂmShk\,4mS{}h\/nE{l Mn0m}m}\,deEde{vhEC\GhEc-sv{S8Ju [ nksvmSl \,svm}WZ[qrhEnos,qZfi6fifpukd mJdisvx4sX\/\mvnomSfp\,disScZnEhjsvucZmS\,WZm}l/h\ \,s}m}qZsSnknkcr{S{S jEu hM\ mSm¤ h c¬mShwWZ\,dihkPcsqZ/©{©cZhodil/cmnEmSsv[\,\E{S-hw[©Zsv\/sLdCmvuhom}detcZm}qZWZjcM\ m}WZjEhk{}\dicZnkm}ZjrnkW¤Z{SªLjEnk\hkcrm[ di[©sdebnonocMn¡c Zms-\,nonkm}{}sSWrjkdin0\/feu mm m}m}WMWZWZnk\g\s
(298) hox4jkm}{}\/WZhk\,\/qZc {
(299) Z
(300) WMdicZ{Snoj hEcrcZ%hEjkrMfidu\,J{}sSnom \mSm,dih8hkMc-dEmT8\/di{SdesGc6mSdpm}\,l \/nk\{}sSs
(301) [8u©no\{}m} \ThdpnojEl {}{ShEuhE{SqZ{}E\,M\/l \{Sm mSdpm}l WZmS\hk\sjEhE\ x4Mm}\ WZ\,m\/{}{no\/ mS\/didhkmc c{}mS\,xwWZy6u\ qZ~dim}{}qrnk\,sv{SsXmTjEsv\ sShEm\ [mvnkm}\decrcr l jhkm}[noWZcZZ\hkqZmSsvm}WZ\,n0\,fem}\{Xdel hEm}mScnk\{S m}jEh©\ km,\,qZ¤I{vcrm}T \ c£h WM\/£ n<Mk\b\,{SmSdi[h©\/x4c6\gm}s,{S\ l Lh0\'E\/Wr{}n<\,E\'nkcZcrhom
(302) \,uk \/jEm\,l sXhkWr[n<\gE\bqZmSh©
(303) x4demS\W¡{S\sSsnom}mShkdps{}U\,nEl m}xMhk\/{}m u©LqZ\,\/crc¡ hEnodeficZf%j©mSWrl,\,nosSr\gnkcZxZh defi demS\,di\,s,s,¤ ¤ c¡hkqr{l qZ{}{S\,c6m &%.
(304)
(305) . // *) . * . .
(306) nEsSWrsS\/h _bcl {dpn0qrnom}sSZ\,\/WM {ss-mS4hgl/nkhkm}c¬diWZc6dimnks?finoksSm-h\,{vmSm}WZxM\ \,\£%[¤k VXdinosSWZc©Zdpfps?\/n<£6ukl,m}no\{}rnnkdi6xZc dide\
(307) fideWwmu uwdpMs-dps-\,hE{vZMm}{}\ \,h0£wcZwm\,di© r\nomSWrjE\,noChEs,mL|{?[©[©dicrn nsv/Em}/w\,nodes-crcMdejl mL\
(308) 4mSdiWZchE\ s}mSsSWZdeExZ\ \/fi{S\ mSPdpm}l hE \s©hkxMnkF svl G\,m}T{SdeEEmS\X\ hwmShEsvWZfMh\TsSqZm}mSWrd\/m}£6n0\mm 8 m}[©WZnk\ >mS@ WMAn0m Z
(309) {ShEdejkfifI{noxM[\'qr[sS\,n/k\dec sgdmA 4 hEs}crsvn<dixZwfide\©j6n0mSm}hhk{jksJ\/crmSh\/{ n0\,mSl/\diZxM\ hkmS
(310) W WZdpnlWxZdMm}no[©{Smno hktrmSfiWZ\ \b;UxZdec demS[© G noCnohk{}{}\T[©nEn0l mSm}=deEno\Tcrno cMn
(311) WrdilW W6uw4\/{SmS\/£6m
(312) fidec /mSWZ\,uMhEdec6mXmShM¤w¸\'Wrn<E\T \,k\/fihk4\, nsvdi[Zfe\TmSh8m}h6hEf4mSh8qZ4rn0mS\bm}WZdisX[©nk rsShg{Sh0m}wVWrdphn0 mL\,ZmS{}WZh0
(313) \bwddifem}ZdiW Pc \g/ ªLmSsWZh no\8y4{}¤\sSnk{S[\no\fifel/u8nkfirdePc no/ xrs?defidmSm}h de\nkscrqrlsSWZdihEcZ{}j s?>dec©E F m}WZG#H \ IGwA '\Mqrfe\sSs?\jEmS\/WrcZ\\,{}4nohEmSsv\,m}8s}l xw{}u8deZmSmTWZjk\ \,IcZ@ \/{n0 m}hkA {
(314) hkbLmSZhwn&hk0f CµTs}hEl de{-{}cMdi\, l nEd mlnoWm}crh E\/xZ4{Sde\/mSmS\/{S[©C£Ihkno¤ {}P´[ mLldinTsJhEc6fim}\ WZE£ \/\/dic©{Sl,mSno\,4f {DhEnos}cM; sSCnodehExZfi{uwfi\XsSdidpcrmSsDhgsvhEm}jEcgnk\/crmScZlWZ\,\dp{}sJnomS4mSWZ\
(315) hE\svn'm}l s}xZhEl de[8{}mSde[© [©m&nonk8rcrfir\?fim}\
(316) IhTC@{}{}Hhk\, l/[½h0k'mS\,AWZ{t\n<mS4Wr0hEno\disv4fim}nks}hExZl sSfi{}de\ mSdi dihkhkm|c c¹qrdisvc [dicZChEh6j{Ss[©mn'4n0m}hEcZdesvhEde:m £c 0 sSZu \,ss}m}l \/{}[©dex4Ss \b=¤&mSWZT\gqZr{'nkm}{vhwmsXhkfphosnomSfpWZsv\gh¡xZl/dehkmScr[©svmSnk{} qrlm}mWrsbn0mGmSWZnk\{S\'[nknkl mSdikmS\gWrnonom cMdism}qrWZsv\\l hEnk{S{}s'\,disSc4hkmScrWZ \©dicZZj{}\/W6wuwdihk4qr\/s'{SmSM\/£6nom
(317) {nofijkdec {/wnors,¤ W mSh El/hk\/{Sc6mSm}´\/Xnk£8dencMl/sDEnkno\/{ScM{}{SdimSg\,\ s,£ d¤om&¥|dp{Ss'\,dm}fen\,WZ0\/jEno{L{Sc6hEmSmtWrqZmSdi hTsLEjkWr\/{}n<hk{SkmSqZ\-\ £%mSWZ4E\L\/mSWr{SW6mS\/uw\ {}4£8\\/Wr[©{SnkmS\/n<s-£6u¡mSm&WZx4fe\Tdi\ Pc sS/'mnk[84h hk\Gdi4cEcrhEmnos}[mSsShGde\GxZmSdiWrnEfids|nom}mDdehk\mScZsGWr\GC\/hEhohk{bI{}\/mSmS[WZWZ\G\mShkWwWZ{Duw\,mSMhkWZ\,{}dp{v\/sDm}[©jE\ {S£ws|hEmbm}qZWZfigdi\cPk/¡jE\,{S{vmShEm}WrqZ\ di£ s WM4nkhksbdic6nmGm}crhnk[8n\ C{}mSnkWrjkno[mb\/dpc6sTmGcZhkho-mbmSmS\/WZ£6\8m cr
(318) nkWZ[8\,{S\\ honkLfef&nm}mSWZWZ\ \,hkWZ{}dp\/Z[ \,cnocMcr¡nk[dm'\,dpsbsTnox4Z\ 4mSmS\,\,nk{G{,m}h
(319) WZ[©\/n {}/E\ \\m}nkWZlW¡\Wwcruwnk4[\/\8{SmSnE\ l£wmSmbqMfenodicPfife/u dps
(320) nocWwuwM\,{vm}\ £wm
(321) fediPc /mShdms
(322) Z{}hwho¤ . /'$
(323) ChkhEt{JjkdeVX{crnoWZsvZm}\,W nk{Scr\G l didi\LsLsSZmSn'Wrfpn<k\/uw\/{}de{}\LcZudpjsJnEsvnol qZm}cdedemSEnk\\cZsLcwl nkhkqrfi[nosSh fw[l WrhEqZdic cZC\de\/ms-{}u\/m}hEcMWZcl\b\XmS<lWZnku \
(324) {Sldi\m}fihk\LmuZ\,dpc6hkl
(325) mStdehkmSjkIfi{\,jEno {}ZnkWZ"WZdiwsSZ disSfpqrn<u6no"fidiOdicZ¶,G jgn0 m}m}CdehwhEkhkc©¤EfpTs-noqZcrm}Wr{&n0{SjEm
(326) \{}snonkm}{}{SZ\dpW8l x4m}Z\,\,{}l n hEs
(327) [m}qrdidecZ cZjruj n<0nkdefpnoxZfi\kw[hEsvmSfiu©m}WrnoPc / sm}h cEm}\/{}cZ\ m
(328) ZqrxZfedpl demuk¤ . !. . . . . . . :;. J. <:>=.
(329) ².
(330) ! "
(331) #$ %&$' ()"&%& A. «·'z diX8_b«
(332) {±Eno\,º Zdi ±6W©z-]³´wz-0dp±kTsvqMºo[³¨no fi\/deD¶j6\/n0nZjkmS« ¯Gdih hk·gc8« · m}z-h6° ±EhE±o]<fis?Z³¨ Wrz|6 n<µ?¯k\6 nk° « fi6rsS±Ehgb±<³´x4¤\/_b±E\/²<\/c³¨cr de\/[¯'{nobZfififeÂ\/uE[/« di_ \/cEc6m}^¡\/m}\,{±knk² l PCmShE6dihk{?Xc ng±k
(333) Z0PdenomS{}6wW deuw\/sSm[u us±6m}hk\/%³´[PZ{Ss}[hwnohknx4%/k\/sS\fiu fis%\sdm}m&« \/bM[©¥Lh6sLsSªsSªLdi± xZh ³fe¨y\ m}demLh4whEdps}svqrsSdenkxZfefidi\X¶/\mShZ/w{}h6cZhkhJ mS{}\/\/£Z\,nks,l MmmS WZ\/\,4hk{}\/ucrZZ\/\/cr4l/\/decr\s- \,x4cr\ lmdi\,\/s,\/IcZ{}mShoWZ~\,\,hkl {}m \/[©¤/¤,s/¤Sk¯GxMh\Ll/no\,qMk\/sv\
(334) { m}CWZ\ \Tl/hkZ[{}h6Zhkq ?msvn0u m}svdemShE\,c©[hosTI[©mSWZn \/Esv\\ dm}pZs©WZ\/\/4hkhE\/ {SmScr\,\/ [c \,crcrn<l hoEdim\,hksdpZZho{}sTh mSmS \,WZcqrdpsl/{S\,\Z%yE{}?hkqrnExrde{}s©fe\,\,s'[demnoDdicsxZq \ l £ mhkZcMsSfisvdedp[dpl dedim\/fi{}nk{S\,{ \, Z{Sm}hk\h6sv"{ hÂ\,/c6l/lm}hEn0hEsvm}qZmSdefihEfiukc¤nkhkTfisSqrh¡Z{{}xMhw{S\ \,hofeU dpsgnohkcMcZnklcr\ \¡
(335) hksSdec mSqrWlmWuwm}WZ4n\\¡{S\/\,mS£wZWZr{}\,\,fehkdpsS{}l \/u dec6m m}xrZnonE{}mSsvhwdihk\hoc {}\/r{S\sv\,cEmn0m}dehEcrnEl/<nkjk\b \/E\/fihk4\,Chk{G¯'bxwu¸hkcrj« ¸hkcr±6³¨¤ +. +. +. , &+ [©Z\/nkkc¡VX\,feWZhE[8Z\ hE[c6mS\/hkWrc6"{ sGmL/hkhoZD|{}fp\ \,noIsS{}hk\/jkc6{S\Gm,m}¤s}\,l/ nkc fedi\TcÂsvqMZm}l{SWZW¡hwdihks8ZUs/{SrhwEnkhkmSMWr|\,noZ{m\/dpkdps8s,\,Efe[hEZZ{}\,hw[nohoc6\/mc6Zm}mS\/s,hk \,Cm}qZfeWZhEf\/MZ{}fe[\f
(336) \/nkZc6{S{m}\nks?l nmS{Sdp\,Cl/Z\ nk{}f?\,sScZWw\/\,qZc6\,crmSZdi cZs{}j \,mSZWM[sn0hEm©ho{S-\
(337) no{}Zm}hE{}WrsShwno\hoc|dec nqZcZCmS\ deWZm} \s m}rsSWZqr{S\hwlWhosv mSnE{}Ls|qr\'m}l WZm}4qZ\/\/hE{S{S\g{SC\,hkhk[{}J[s,mS6\,WZfe\\,sv[8mS\h©[© l \,nE\,ks/{v\,6m}fedhkhEC{uZ [n\ \/rxwc6u6crm}mSdsXm}\ de0´dphEsl/crh s/ ¤ \/\'fp,Gl khEq \/[8mS{}hEde\Er[¤Z\/no{®ZmS¤ hEdp{lGdesScMqZsZm4nohkcr{Sl/mL\'m}rh jkxZqZqr{}\defpdisX h mn l//EqZ\/[c\/Cc6{Sm}hEs[ \,n8s}l C{}hEdi{SxZ[©decrnoj f ®r{ShE[ n¡mSWr\/hk{}\ m}dil,nofMhEdec6mhowdi
(338) \ gJ[hEsvmhoGmSWZ\l/nkrnoxZdifidm}de\s \sSl/{Sdix4\,ÂdicÂm}WZdpsMno4\/{no{}\ \/fif703/wcZh
(339) c©hEM\,{}nomSdihkcrs?hkcnkxrsm}{}nEl mjk{noZWrs,¤k¸\bWrn<k\{n0m}WZ\/{LmS{}di\,m}hdpsvhEfinomS\
Documents relatifs
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
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
