The Coq Proof Assistant, Reference Manual, Version 5.10
Texte intégral
(2)
(3)
(4) !"
(5) $#. %
(6) & &!"
(7) #. ')(+*. C. ,.-0/. 132-4-457698:8<;=8%>?A@B>. * 5D*2 *@+EF*. G. ?H@0IA?HJ. K LMONQPSRUT3VXWZY\[. ]_^a`bacd`e\fA]_gD^heijblkmonp`qrfi s tu]_gDn^vfQewcjkmoirfoe xy]_z^h`bhcdgD{zi|u`}tt}`yQ ~f cv^hiok&ij ^dfo^dp<nicrk. XfobhqrfQtX +fQegDn^aDk]ij bdfo^< nU e gDQk]_zilcvfoe+ n^hcdz Dk]fQcvzij^h`eiXfo^hije crk]_z^a`bacd`ei. Xfon t`e xa gDz^h`ek\< gDw^vfoeifjs `k&_ijeQafo`eil^deil^. . 9 mont}¢¡¤£D£D¥. ¦§U¨ª©u§U«u¬%¬®¯ °a±³²Z´l±Dµ¶·X¸¤¹h±»º³¼½´j¾d¿ ÀjÁ ¹d Á °h·ª·Ã°yÄ$º³¹hÅ ¾ZÄÂw¾ÇÆ Åº³¾±È¹hÂhº³²ºÈ¾Z±. ISSN 0249-6399. apport technique.
(8)
(9) .
(10)
(11)
(12) . . . !#"%$'&)(+*-,/.10#23. 64 587:9<;=7?>A@B46CD58>FEG9IHKJALFMN7:OP@RETQ SU4C'L%5V@'>D;PH%JREG@D>RW<4YXA587:9<;VC'Z[XAE]\^7?S?S?7`@a_ ;b5VEDH ceEfd 5V@D5VM g]LAEh;hHKi^@a9jOP@'Slk@'>FCmLA5VnaHl4EGd 9j@o5pkqLU>Ar CosTH 4tXFEu;V@D>vkqL%5V;=XDnaHl4@T;8XFEf5=7?>AEwi^@o5bEf>D;PH#4YX%587:9<;=7?>AExiy@DL[S?7?>RW)kCmXA587?>AzFH {}|~C'R5V@'>FEm@IQ K7 HNET>f1@D|7?>EG58>AEG5. "A(UD! (Y jwpj{W)CROhALFET>FOhC'L%5j;b 4YwxWn'C'>¡ . ²?¥Æ·ÁÇ=¢`× Él¿%£m¤VÖϼT·)¥§¦AÖuÎÑÐ=ت¨?Ç8©ªÙ1¦«)Ú<©¬Ç=ÛP«)ÏÜ让ªÝV®¸y¤°Ø`Úùj¯RÞl´^«)ßG¦Aҩ±=½AÔ'«)ºo¨¤b²?ÎÓ©ª³µ¼o´¦Ç8½A¦«¬ÔÀ¶b´±=«)Ô'±IÇ=·)ºD¸+¨ËK²®©ªÔ'ºo¸^Õ[à¹<½[Ûb´y»Pá8ºmÖ¨®«Ã»jÇ8¼DϽA©ÁÖ ¾£À¿m«Á¦:¥§Â½A©ª¦©ª«Ã¨®Ä¤Å[ ²?¥Æ·ÁÇtÈÄ£a´b±I©¬¦?É«)Ç8¸^¹j´²®¤b©ÂÊ[ËK½È®¼o¨?·ÁÌÁ¨®«ÃÍÍU«ÃÎ â ßu¾:¼pã[½%ÅBجÞÁäÁݸV¶+Ô'Õ%½K»IÛbåÁæÅA³µ³¬©¬ç ©¸hè ¾Ó²Ä«Ã³µ¥Æ©ÁÛIæ)äÁÞÁæÃåßu´<·)Ç+Ô'ºoËKºoà~Ù1Ü<Û8á8¨®«ÃÇ8Ï©ÁÖ.
(13)
(14) "! $#&%'!)(. *+.
(15) e
(16). . V>D;b5bCRMNLFOI;87:C'> E
(17) 9VZNEGOu7KOP@T;=7:Cm>vS:@D>Az'LA@azDE XF A hg 2. . ¦. . !"$#&%('&!%()*#&%+-,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,132 45+*0+*6%()738#:9;)*$<>=?+ ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,13@ BC$$"D<7E)*#&%+F,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,1HG A IJLK&MNPORQTS>UWVYX VZS7[7\]^,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,1HG A _T`&aLK&`bdc&efORQTS>ULVYX VZS7[7\8?,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,1HG BCjiL%k)*#&%+l,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,1Hm hg nTe&oLK3pdKEqLK&M:prORQTS>ULVrXtsuVZS7[>\wv1,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,1Hm hg xMy&`czORQTS>UWVYXZsuVZS7[7\wv{,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,1Hm |}%~Wj)*k'&.~WjiL%k)*#&%+,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 2 3p( y3qdK3TefORQTS>ULVfX VZS7[7\ XtsORQWS>UWVZuX VZS7[>\-rvv ORQTS>UWVX VZS7[7\?v 2 q W`c3p( dyEqdK3Te,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 2 A {T/{$$#:<*~$<*#,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,A 2 hg dK3J WMK3pqORQTS>ULVr]ORQTS>ULVZX VZS7[7\-1X VZS7[7\^ ¡XZsuVZS7[7\?¢dv ,.,/,.,.,/,0,.,/,:2 2 2 £Tey3 aW¤K3Tezne(oLKHpK3qdK&Mp1v vv¥,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,¦ §$j)*#&%=?$T:%+7= ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,¦ ¦ ¨eyEqdK:M:p©ORQTS>UWVª,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,:@ ¦ «(pORQWS>UWVz,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,:@. i/5bCRCW¬+XA@D>FMNS?7?>Az A. A. T § ®{k)*D%¯?#&%L°E#±)7T.²T<*##:9;$~Wk)*D%¯³=?#~Tu,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,m A: ´M `cµVZS7[7\ ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,m A: ¶e& ,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A: A: A ¸ ¹TeM(aeNµORQTS>UWVYX VZS7[7\wvª,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A: º<>¯&=³+-,/,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A A »aMM(ouVZS7[7\¼,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A A I bTM(a q½,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A A A ¨: d¤3WepY,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A A hg £Te¤3 NWe ,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A A 2 ¾pMY,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A& A ¦ £Te¤EqT`&a qr,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A& A @ TMy3 ¤¿,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A& A G ¾poMTyH ¤À,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A& A.
(18) . A A. A m ¨:¹TMµ,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A& A HTc&e`(aORQTS>UWV{,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A& {.TD%&)*+l"+}) ,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:A A A dKHpq©ORQTS>ULV ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:A A A HN NLe(WK&`:qTefORQTS>ULV,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:A A A A dKHpqr¾poMc:rORQTS>ULV ,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·Ag A Ahg »aWK3p q LK3pqf,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·Ag. @aOI;87:OP9. g g. g A. ghg. g2 g ¦ g@. g G. L 4 <7)*.9R#:<*$.²W<*# #:9R+ ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A&2 g: « J`TyEq¡VZS7[7\wv ,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A&2 45+*$+,.,/,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:¦ g Id¤ ¤3 NqLK&M:pd ,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:¦ g 3pqaM v ,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:¦ g A & q¡VZS7[>\wv ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A&@ g hg &¹T`:pePVZS7[7\zv ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A&@ §#&=³/~T$<*k'&$~8<7T"$+u,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A&@ g A ´epWe(a`cK e©VZS7[7\zv³,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A&@ g A ¨:TeTyK:`c K e©VZS7[7\zv³,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:G g A A I d c ¡VZS7[7\wv ,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:G g Ahg I bd¤3 a VZS7[7\zv ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:m g A2 Mpqa`(WKyEqLK&Mp v,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:m g A ¦ 4 D%~TD%T¯?"+})r,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:m
(19) 5#&%('&$<*+*#&%8)7j)*$+ ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:m ghg £Te& v],.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·A:m ghg po v],.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g& ghg A ¨TK!Ndc v ,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g& ghghg ¾poMcrORQTS>ULV:v¥,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g& ghg2 »`:qqTe&a(p¡VZS7[7\wv,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g& |}%&)*<*#~Wj)*#&%T+ ,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g g2 Mp¤Eqa( dyEqTM&ar U &\wvª,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g "D=³D%TE)*#&%+5,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g( g ¦ «WcKHN VZS7[7\zv],.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g( g ¦ `¤&eVZS7[7\zv],.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&A T"k)t6 ,/,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&A g@ £T e aLK3qTePVZS7[7\wv,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&A g@ £Tedc(`y&ePVZS7[7\ KEq(¹ VZS7[7\ vz,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&A g@ A £Te&oWc(e:JdK3dKEq 5v ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g:g g@ hg ¨ &NNLe:qa 5v¼,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g:g g@ 2 ¸a`:p¤ KEqLKEdK3 q VZS7[>\wv ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g:g T"k)t6 :%~8D%~WTj)*k'&.+*j)*+ ,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g:g g G ¨TK!Ndc&ezndK ¤yEaLKHNK3pT`&qTe vf,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g:g g G ndK ¤yaWKHNK3pW`:qTewORQWS>UWV,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g:g g G A ndK ¤yaWKHNK3pW`:qTe v ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g(2 g Ghg 3 p eTy3qdK:M:p©ORQTS>ULV U :\-µvv U :\? v,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g(2 g.
(20) . g G2 3peTy3qdK:M:p©ORQTS>ULV,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g(2 g G ¦ 3peTy3qdK:M:p v ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&¦ g G@ ¨TK!NdcKo erORQTS>ULV?,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&¦ g G G ¨TK!NdcKo e v ,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&¦ g m C)*#&=³E)*$D%¯,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g(@ g m I qTMv ,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g(@ g m ¸aWKEdK:`c v¡,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g(@ g m A »aMc(M 1VZS7[7\],$,$,HVZS7[7\?µ U &\wv½,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g(@ g mhg ¸T` qTM v ,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g(@ g m2 3pq K3qdK:M:p v ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&G g m ¦ xLKHpWe`&a v,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&G gHYBCj'&$"#:²TD%¯$$<})*kiW$~²T<*#:¯:<7:= ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&m gH¡£Te `cK e&a VZS7[7\zv½,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&m gH»aM a`N v¡,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&m g: j)*!"+?,/,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&m g:: (qT`Ty¿,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&m g:: nTM U :\ V ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&m g:: A1V $
(21) (aec¤&ePV > /,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&m g::hg £TeWe`:quV ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, g&m g::2 V $¸ ¹Te:p¡V > ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 g:: ¦1V uV ,$,$, V ,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 g::@ ¸a ¡V ,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 2 . 2 2 A. 2 hg. ;=XAEG5OPC'||~@D>AM[9. #&~W²WE)7 ,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 2 : » v],.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 2 : !V [*ODU v5,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 2 : A I »`:q ¹!V [*ODU v ,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 2 :hg nTec:»`:q ¹!V [*ODU v ,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 2 :2 »aWK3pq©xM`&»`:q ¹5v ,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 2 : ¦ I Yx»`:q ¹!V [*ODU v ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2 #&~WD%¯ iW"$+5,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2: 2 xM `(ORQTS>ULV:vC,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:
(22) 5#&=³²T"$~]iW"$+ ,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2: 2 A MENK(c(ewTM(& dc(ezORQWS>UWV:v ,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2: 2 A £Te `(YWM&( Lc(efORQTS>ULV:vÀ,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2A 2 A A £Te& KEaefORQTS>UWV:vl,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2A 2 Ahg WM&( dc&efORQTS>ULV:v¥,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2Eg 2 A2 aWKEqTezTM(& dc(ezORQWS>UWV:v ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2Eg 2 A ¦ »aWK3pqrTM(& dc(e¤ v©,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2Eg 2 A@ nTey c(`&aewxYWM&( dc&e!V [*ODUvv HV [*ODU: v ,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2Eg §)7E)*$+C:%~]{$+7j)1,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2Eg 2 hg £Te¤&e&q©ORQTS>UWV:vf,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2Eg 2 hg ¨`:Te¨&q`&qefORQTS>ULV:v ,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2Eg 2 hg A »aWK3pqP¨:qT`:qTeT¤v ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2Eg 2.
(23) 2 2. 2 ¦. 2 @. . 2 G. . ¦. ¦ ¦ A ¦hg ¦2. 2 hghg £Te¤EqTM&aer¨:qT`:qTeYORQTS>ULV:v ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:2 2 hg2 £TeENLM&er¨&q`&qeYORQWS>UWV:v ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:2 2 hg ¦ aWKEqTe¨:qT`:qTeT¤ HV [*ODU v,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:2 BC+*²T"D!6D%¯ ,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:2 2 2 »aWK3pq©ORQTS>UWV:vf,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:2 2 2 »aWK3pqIWcc v³,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:2 2 2 A 3pd¤3WeyEq© U :\zv ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:2 2 2 hg »aWK3pq©» aM M(orORQTS>ULV:vÀ,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:2 2 2 2 »aWK3pqP¨ eTy3qdK&Mp©ORQTS>ULV:v ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:2 { $+})*+{)*# )7.!%('<*#&%T=?!%() ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2¦ 2 ¦
(24) :T` & TefORQTS>ULV:v¥,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2¦ 2 ¦ ¸a`:p¤HW`&ae:pqrORQTS>ULV:vÀ,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2¦ 2 ¦ A &¹TeTy ORQTS>UWV:vf,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2¦ 2 ¦hg « `cµVZS7[7\zv],.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2¦ 2 ¦2 MEN qTePVZS7[7\wv,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2¦ 2 ¦ ¦ « J qa`yEqLK&M:prORQTS>ULV:v ,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2¦ 2 ¦@ ¨e `(aLyH¹©ORQTS>ULV:v¥,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:@ +*$ < h+{+*6%()7389R$"k)*$+ ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:@ 2 @ ¨ (pqT`yEqLKyÀne(oLKHpK3qdK&MpORQTS>ULVfXZsuVZS7[7\wv ,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:@ 2 @ ¨ (pqT`:JORQTS>ULVZORQWS>UWV &[ \³\ E [ V}VZS7[7 U
(25)
(26) v¥,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:@ 2 @ A ´a`NNW`(arORQTS>UWV ORQTS>ULV XZs &[ \^\ E[ [ RSWv{,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:@ 2 @ hg ¸TM e:p!V [*ODU v ,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2:@ 2 @ 2 3poLKEJµ U :\ !V [*ODUfORQTS>ULV:v ,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2G +*$$""D:%$#&+,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2G 2 G ¶: dKEq5v ,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2G 2 G naM: v ,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2G 2 G A T e LK3p¨K c&e:pq v ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2G 2 Ghg «(pµ¨TK c&e:pq5v,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2G. XFE4@DS:OGL%S?LA9YCW¬yV>AMNLFOI;87DE~46C'>A9<;b58LFOI;87:C'>A9. T {C)*$<>=?+,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2m ¦: §#:<*)*+0,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,2m ¦:
(27) 5#&%T+})7:%&)*+w,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦: ¦: A :%¯&T¯:ª,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦ 6²$~])*$<7=³+ ,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦&
(28) 5#&%('&$<*+*#&% <7"$+ ,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦:A BCjiL%k)*#&%+lD%]!%('<*#&%W=?!%()*+ ,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦g ¦hg "$+{9R#:< ~TjiL%Tk)*#&%+¿,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦&2 ¦hg BC$<*k'&$~<7"$+ ,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦&2 |}%~Wj)*k'&.BCjiL%Tk)*#&%+ ,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦:¦ ¦2 l$²T<*$+*!%()*D%¯³:% D%~Wj)*k'&.~WjiL%k)*#&% ,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦:¦ ¦2 6²$+ #:9 D%~Lj)*k'&.# }$j)*+ ,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦&@ ¦2 A $"" 9R#:<7=?$~D%~Wj)*k'&0~TjiL%k)*#&%+À,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦&@ ¦2 hg BC$+})*<7Tj)*#:<*+,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·¦:m ¦2 2 ²d#:D%(){~Tjid%k)*#&%+ ,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,@: ¦.
(29) ¦ ¦ . @ . @ @ A. .
(30) 5#:D%~Lj)*k'&.)t6²$+. XFEGCD587:EG9 #7[5V@D5jn. ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,@:2. . |{| ¿,.,.,/,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,@:@ @ : ;#:¯: ,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,@:@ @ : B/E)7E) 6²$+,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,@m @ : A §²$$9u,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·G: @ :hg º !:%#¥,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·G& @ :2 r9 ,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·G:A )7$<{¯:!%$<7" ²W<7²d#:+7/" T<7<*$+,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·Gg @ ;#:¯: 6²d ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·Gg @
(31) 5"D+7+*!" ,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·G&2 +*$<{$#&%()*<* W)*#&%T+¥,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·G&2. @aOI;87:OP9?¬ÄC'5 7?>AMNLFOI;87DEx;ÁnAZNEG9t@D>AMf¬ @D|7?S?7:EG9. . G G G A Ghg G2. . C!%$<>"k)*$+C #&) D%('&$<*+*#&%. , ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·G&@ / |}%&'&$<})*D%T¯^:%]D%+*)7:%$,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·G:G BC$<*k'D%¯?)7/D%('&$<*+*#&% "!=³=^+5,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·G:m +*D%¯³"<*!~T6-~WjiL%$~]D%('&$<*+*#&%8"!=^=³+ ,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·m ¨TyH¹WeENLevv v,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·m&. mn%>D;V@v R;VET>F9=7:C'>A9. . m m m A. . L |}%&)*<*#~Wj)*#&%,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·m&2 §6%&)7j)* BCjiL%k)*#&%+Y,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·m:G )*!%+* W" C<7:=^=³<*+¼,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,·m:m m A ;$9 )l!= $< #:9º <*#~Wj)*#&%+
(32) º ¿,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H: m A j)*#&%+ ,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H: m A A %&)*<*$+5,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H:A m Ahg º <*D=?k)*k'& /<7:=³=^<*+ ,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H&2 m A2 º E)})*$<7%+8,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H&2 m A ¦ )7T$< :=³²T"$+F,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H:¦ m A@ ®5#:<*~8#&%]¯:<7:=^=³< $#&=³²T"D%¯ ,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H&@ m A G ;D=?k)7E)*#&%+ ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H:G m A m )*!%+7 T". C<7:=^=³< §6%&)73 ,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H:G. 587 ;=7?>FzBnDC'L%5pCÀ>vZ[5VEu;j;ÁnvZ%587?>D;=7?>AzB5=L[S:EG9. HÀ|}%&)*<*#~Wj)*#&%,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, Hf{/º <*D%()*D%¯?lT"$+,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H {T/²T<*D%()*D%¯ #:9 %#&%-)*$<7=³D%T"+8,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H {T/²T<*D%()*D%¯ #:9)*$<7=?D%T"+ ,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H A§6%&)7389R#:< ²T<*j)})t6]²T<*D%()*D%¯ <7"$+f,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H A º <*j)}) 68¯:<7:=^=³<5+})*<7Tj)7<*$+ ,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, Hhgrº E)})*$<7% h+ +}6%&)73 ,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H2fBC W¯:¯:D%¯³)7/²T<*D%()*D%¯?<>"$+ ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H2 #:+})l$#&=^=?#&%$<*<*#:<7+À,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, H2 <7$D%¯ )7T0=?"$#~T.#:9;)7.²T<*D%()*$< ,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, @. WW :: :3 :3 :3@ :Hm :Hm 3: 3¦ 3¦ 3¦.
(33) W. 587 ;=7?>FzB;V@aOI;=7:Oh97?> 4CR. . . :: $<7=?+,.,/,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::: l$²T<*$+*!%()7E)*#&% ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::: 45+* #:²d$<>E)*#&%+{#&%-)*$<>=?+À,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, :: <*k)*D%¯³6&#&< #H®l%])7j)*$+F,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, :: TE){+ F)7j)* ,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, :: 45+*0)7j)*$+ :%~8)7j)*!"+w,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, :: A C:%~T"D%¯?)*$<7=?+ D%+7~T.F)7j)*/,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, :: AY j)* <*$¯:+*)*<7E)*#&% ,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, :: A ~T~TD%¯F)7T/)7j)*0D%-)7T/)7j)*$+{)7 W" ,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, :: A ~T~TD%¯ ¯:<>:=³=³< h+ :%~]+}6%&)73 h+{!%()*<*$+ ,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::hg$#&=?²T"j)*0:=³²T"¥,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::hg {T
(34) :=?" ;¯&&){²L<})F,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::hg{T ³iL" q`TyEqLKyvt ,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::hg A
(35) 5#&=³²T"D%¯,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::hghg +*.#:9)7C)7j)* ,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::2r§#&=³C)*# #:"+ ,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::2 BC W¯:¯:$<,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, ::2 )7T$< )*# #:"+·,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,. XFEi/5bCoz'5V@D| @aOI;=7:O. 3 BCj'&$"#:²TD%¯$$<})*kiW$~²T<*#:¯:<7:=³+ #)*k':E)*#&%+½,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 r§6%&)7389R#:< )7j)*$+^,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 l!"$$<,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 §T#!®µº <*#:¯:<7:= ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 A º <*#:¯:<7:= ,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 hg º <*#:¯:<7:= ""F,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 2º <*#:¯:<7:= ²W:%~,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 A§6%&)7389R#:< ²T<*#:¯:<>:=?+,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 A º <*/²T<*#:¯:<>:=?+ ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 A C%T%#)7E)*$~²T<*#:¯:<7:=³+À,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 A A l$!<*+*k'&.º <*#:¯:<7:=³+ ,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 Ahg T<*j'DE)*#&%+ ,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 A2 C<>:=³=³<¡,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 hg T:=?²W"$+,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 hg
(36) :$<7=^:%T% WW%j)*#&%P,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 hg $"~T!:%8BCk'+*#&%1,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 hg A|}%+*$<})*#&%8+*#:<}),/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 3 hgh g /T
(37) +*#:<}) ,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,. XFE. . OPC'||~@D>AM%9. HAÀ|}%&)*$<7j)*k'& ²T<*##:9 y:M &qTM:y&M f,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, HAY45E)*>$#&=?²T"DE)*#&% y:M Wy ,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, HA AY{$+7#&<*$/iW" ,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, HAhg C²)*#&%T+,/,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, G. T HA: HA: HAg HA&2 HA&2 HA&@ HA:G HA:m HA:m !g !g !g( !g:g !g(2 !g(2 !g&¦ !g&¦ !g&¦ . !g(@ !g(@ !g&G !g&G !g&G !g&G !g&G !g&G !g&G !g&m !g&m !g&m !g&m 32 32 32 32: 32Eg. 32:@ 32:@ 32:@ 32G.
(38) ;=7?S?7 ;87:Eu9. . !gw# ~WT"$+{~T$²!%~T!%T$$+ ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, !gwW` e&oLK c&e ,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, !g A -:%~8 H ,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, !ghg -:%~ =^$+ ,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, !g2Y# ~WT".+*²$$kiW!E)*#&%½,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, !g ¦r:%8²W¯:$+ ,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,. . . l7:9<; CW¬^@aM[MK7 ;=7:Cm>F@'SNM[CROuL%|BEf>D;b@T;=7:C'>. 32 )*#:<*D"r,/,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 32 z|}%+})7""DE)*#&%º<*#$$~W<*$+l,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 32 Af|}%$#&=?²WE)* W"k)*$+ ®{k)7 .2 G ,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 32 hg +*$<*+{9R<*!%~W"k6³£Tey3 aL¤K3Tezne(oWK3pK3qdK:M:p ,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 32 2 M3p( y3qdK3Tew¸ TeT¤ 9$"k)*$+,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 32 ¦Y« J qa`TyEqLK&Mp9R$"k)*$+ ,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/, 32 @C%#&=³"$+,.,.,0,/,.,.,/,.,.,0,/,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,.,/,.,.,/,0,.,/,. . m. . H¦ H¦ H¦& H¦& H¦& H¦&. W. H¦:A H¦:A H¦:A H¦:A H¦:A H¦:A H¦g.
(39) e"F! &Ãm$ +³²T<*##:9l+7+*+})7:%()³9#:<^¯&$< #:<*~W$<?"#:¯: ""#!®{D%¯)78~Tj'&$"#:²L=?!%()?#:9l$#&=³²W)*$< ²T<*#:¯:<>:=?+ $#&%+*+*)*!%&) ®lk)7)7$< 9#:<>=³"+*²$$kiW!E)*#&% |Z) + )7C<*$+7T"k) #:9; #&)5)*!%-6&!<*+ #:9;<*$+*!<*]#:9;)7
(40) 5# ²T<*# }$j)$ ?+>T"" T<*W6+7<*'&j6$<7 )7<*$?=^D%+*²$j)*+ .)7 &O U SFD%®l® ?®{<*k)* #&< 3#&=^E)*!E)*#&%+ :%~?+*²$$kiW!E)*#&%T + )7 d[ *O!V ULV;®l>^""#!®{+ )7{~Tj'&$"#:²W=?!%() #:9'&$<7kiW$~ =³E)7T!=³E)*!" ²T<7# #:9R + :%T~ )7 d[ &[ \½ S V [ H V H[³®lT> +}6%()7$+*$$+$#&=?²W)*$< ²W<*#:¯:<7:=?+ # j6D%¯ )7$< 9R#:<7=^" +*²$$kiW!E)*#&% + T®l<*k)})*!% + "#:¯:!" +*+*$<*)*#&%+{D%-)7T."D:%¯&T¯: {T "#:¯:!" "D:%¯&T¯:?+*$~ 6 ]+.^':<*j) 6#:9) 6²d )7$#:<*6 !""$~)7
(41) U Q HV O ES
(42) 3UHV [ HV O 3U$ Yk)7#&)³¯:#:D%¯ L
(43) )*#;$ W%8:%~z4 ##:" ® !:%w~WE)*])7T8$<*!E)*#&%f#:9{®lWE)³+ %#H®!""$~w=^E)7!=³E)*!" "#:¯:-)*#)7³®5#:< #:9 T<*$¯:]:%~Àº !:%#E) )7^)7<7% #:9 )7$!%()7<}6:{ ~T+*$#H'&$<}6-#:9:%()*D%#&=?$+ D%)7T 9R<*$/+*C#:9²T<*$~T!E)*$+ #:<{$#&=?²T<*!T!%+*#&%^²T<*D%$²T"$+ ²W<*#&=?²)*$~lT+*+*$"" )*#]<*$+})*<7j)C²W<*$~T!E)* !"!"D+.®{k)7-+})*<7E)*kiW!E)*#&%#:9 V S $0{T+ j±#:<}).!"D=³D%TE)*$~®{k)7 [7ODU 7O dO V dS>\ V O )75iW<7+}) +}6+})*!=³E)* E)})*!=?²)E)5/9#:<>=³"9R#&T%~WE)*#&% #:9 =^E)7!=³E)*$+$ r+*D=?²W"kiW!E)*#&% #:95)7+ +}6+})*!=ª"#&%T¯ )7^"D%$+ #:9 +*D=?²W"k6)t6²$ ~ !"!"DT+ #$!<*<7$~ ®{k)7
(44) <*> h + OD\ R S d!S H [ "# S $ {T$ !"!T"D+/%#)7E)*#& % #:<*¯:D%T""k6T+*$~9R#:<{²T<*$+7+*D%¯³9T%j)*#&%W"k) 6 $#&"~"+*# +*$~ +0:%!%$#~TD%¯]#:9 %TE)7<7" ~W$~Wj)*#&%²T<*##:9R+$ l+
(45) <*<}6 #!® <*~+*#&=?#:<7²W+7=® +0+*$~ 6 ~T 4 <7 *%ÀD%À)7 % V 3\ V ²T<*# }$j ) )7T]iW<*+}) 9"" +*!"E)})*!=?²) )*# ~Wj'&$"#:²f:%~z=³$>T:%T!""k6 '&$<*9 6 =³E)7T!=³E)*!"²T<*##:9+! l+5j±d#:<}) !"D=³D%TE)*$~^®{k)7' &()})*D%T ¯ h+ '&$<7kiW!E)*#&%]#:9:%~W: h) + (5[ &UdQ S>UD% )7 Hm&@ h+! ²T"#:k)*D%¯ )7+
(46) <*<*6 #!® <*~ +7#&=?#:<*²WT+7= %#)7 T" >j'&!=³!%&)*+ D%8²T<7# #:9;)7$#:<}68+7!® )7F!=?$<7¯:!%$F#:9 ) ®5#-) 6² )7$#:<*j)*?9R<7:=³j® #:< !+ *)7 iW<*+*) #&% <})*D % , #:+ 9 h) + }UWV O V O 3UTO!V O d!S H [ -# S E)})*!=?²)*+/%j®9#&T%T~WE)*#&% #:9 =³E)7!=^E)*$+l#&%$#&%+})*<7Tj)*k'& ²W<*D%$²T"$+$ { +*$$#&%~#&% C<7<7~ h+ ²#:"k6=?#:<*²L. !"!"D0 + /)1 +F8'&$<}6 +})*<*#&%¯9RW%j)*#&%T" +}6+*)*!=ªD%®l ®5-=³$6 <7$²T<* +*!%()FT¯&$< #:<*~T$< "#:¯:-²T<*##:95+})*<7j)7<7$+$
(47) 5#&= TD%D%T¯ #)7 +}6+})*!=?+ D%¯&$< #:<*~T$< )*!%+7#&% #:9 )7 C)*#&=³E)7"D:%¯&T¯:$+ ;/
(48) 5 # T:%T~²W<*$+*!%()*$~D%Hm:G&2-)7 iW<*+}) '&$<*+*#&%#:9)7
(49) 2
(50) 3U !V [ HV O 3U
(51) 5#
(52) Tl+5+})*<*#&%¯ "#:¯:!";+}6+*)*!= ""#!®5$~ ²#!®5$<*9" 3#&=^E)*!E)*#&% + W) ~T<*$j) D%~Lj)*k'& ~TjiL%Tk)*#&%+®5$<*C%#) ²#:+*+7 T" :%T~³D%~WTj)*k'& %#)*#&%T+5W~³)*# ~TjiL%$~^D%~T<*$j)*"k6³)7<*#&¯&^9RW%j)*#&%T" !%$#~TD%¯: + W®l> D%&)*<7# ~WT$$~8D% 3³$!%$$+C:%~$® ®5<7~W%$+*+$ {/9R#:<7=³"+>=®5+ )*!%~T$~ D%Hm:G:m 6^/
(53) 5 # T:%~]:%~
(54) º :"D%-®{k)7-²W<*D=?k)*k'&CD%~WTj)*k'&/~TjiL%k)*#&%+ T"!~TD%¯F)*#F)7/!<7<*!%&4 )
(55) UQ HV O E S
(56) 3UHV [ HV O 3U$?l+.)*!%~T$~ 9R#:<7=³"+>=1+0%#)0<7¯:#:<*#&+*"k6~TjiL%T$~ $<*?lE)7T$ < % =?$<7#&+$#&%$<7j)* T:=?²W"$+ <* ~T+*!T+*+*$~ C<*$9R$< )7T{D%()*$<*$+})*$~]<*!~T$< )*# <*$"j'::%&) <*$+*!<7>²W²$<*+ 9R#:<{=?#:<*/D%T9#:<7=^E)*#&%8 #&) )709#:<7=^"+7= k)*+ =?j)7 )7$#:<*j)* ²T<*#:²$<})*$ + d:%~8+*!=^:%&)*$+$ l#H® j'&$< k)C+7#&"~%#) 0%$$$+7+7<}68)*#-T%~T$<7+})7:%~])7+l)7$#:<*j)*!" =^E)*$<*D";D% #:<*~T$<l)*#³®l<*k)*0+*²$$kiW!E)*#&%T+$ |Z)5+ ²#:+*+7 T"{)*# T%T~T$<*+})7:%~^)7
(57) "!"DT+ #:9| %T~Wj)*k'&
(58) 5#&%+})*<>j)*#&%+ E){F¯&$<5"j'&$" L+ F=? )7<* #:9 ²T<*$~T!E)*?!"!T"D + ;D%T~Wj)*k'&?²T<7$~T!E)*?~TjiL%Tk)*#&%+.²T<*$+7!%&)*$~+.) 6²d$~º C :%~ <*$!T<*+*k'& 9T%j)*#&%]~Tjid%k)*#&%+ $"#:+*0)*# )7/"D:%¯&W¯: C)*#&=³E)*$~³)7$#:<*!= ²T<*#!'D%¯/® + ²T#&%$$<*$~^D% )70Hm:¦: h+ 6 B/$'+ :%~^º )7%W:=¡D%?²W<*#:²#:+*k)*#&%T" !"!"D+! $#&=?²T"j)*^=?$>W:%!E)*#&% D% )7?+*!%T+* #:9 ]+*!=? ~W$$+*#&% ²T<7# $$~WT<* #:95$"D+*+*!" iL<*+}) #:<*~T$<³"#:¯:8® +³²T<*#:²#:+*$~ D%Hm:¦&2 5 6 &T 0 {# TD%+7#& % ®{k)7f+*D%¯:"T%9R#:<7= D%9R$<*!%$8<7T"]!""$~ [jS V O 3U©{$+*#:"D)*#&%f<7$"$+^#&%z+*#:"k'D%T¯ TE)*#&%+D%w9R<*$"¯: W<7+ h)*$<7= +*)*<7j)7<*$+ T+*D%¯ )7 :U7O 6 V O 3U 8 H[*O V W\]¡:%(6f<7jiL%!=?!%()*+³#:90<*$+*#:"D)*#&%Y®5$<*+})7~T$~rD%z)7 Hm&@ h + L)^9Rj® $#&%('D%$D%T¯³D=?²W"!=?!%()7E)*#&%+ ®5$<*.<*!"$$~ d$$²)l#:9 $#&<7+*.)7TE)lº C u+{D% +*#&=?0+*!%+*.+7+7$~ 9R<*#&=)7+ j±#:<})$ r"$+*+:= Tk)*#&T+ ²T²T<7#&>F)*# ²T<*##:9W~Tj'&$"#:²W=³!%&) + $#&=?²W)*$< t~T$~?²T<7# #: 9 >$ D%T¯ {-=?#:+*)F%#)7 W"]²T<*##:9 $
(59) :$<*+³~Tj'&$"#:²$~ D%)7THm&@ h+?® $<*-
(60) ~W$+*¯&%$ ~ (6 . "D%$<?:%~ +-$#:""!¯&$+ E) ~TD% W<*¯& +7²d$$D"$$~D%f²T<*#H'D%T¯ ²W<*#:²$<})*$+ #&)-~T!%#)7E)*#&%W"/+*!=³:%()*$+ H.
(61) <*$!<7+*#&%. TE)*#&%+ (:%T~.)754 #!6&$< :%~F ##:<* )7T$#:<*!= ²T<7#!'&$< &:% :)*#&=³E)*#&% #:9²T<*D=³k)*k'& <*$!<7+*#&% #!'&$< D%~WTj)*k'&0~WE)7F)t6²$+$ rT".)704 #H6&$< t ##:<* )7$#:<*!= ²T<*#H'&$<lE)})*!=?²T)*$~])*#³+}6%()7$+*$0²W<*# #:9R+ 6-F$#&= TD%TE)*#&%8#:9:)*#&=^E)*$~ =?j)7T# ~T+
(62) À$#&%+})*<7j)*$~ k)*+ ²T<*##:9+5)7T<*#&¯&)7/²T<7#:¯:<7:=³=³D%¯ #:9 V HV O d®{<*k)})*!%]D% ?¯& "j'&$";9RT%Tj)*#&%T"=?j)7 "D:%T¯&T¯: d {T+7"!%&)9!E)7T<*®l$"!<*"k6©~T+*)*D%¯&+7$+ #&<8²T<*##:9F+*+*+})7:%() 9R<*#&= +7!6©
(63) #:< 4 #!6&$< :%~# #:<* h+ +/k)*+ ²#:+*+7 T"k) 6)*#)*<7j).²T<7#:¯:<7:=?+ 9<7#&=·)7T $#&%T+})*<7j)*k'& $#&%()*!%&)*+0#:9²T<*##:9R+$/{+ $#&=?²L)7E)*#&%T"&D%()*$<*²T<*j)7E)*#&% #:9²T<*##:9 # }$j)* + :D%C)7 )*<>~Tk)*#&%.#:94 +7#:² h+$#&%+})*<7j)*k'& =³E)7!=^E)*$ + + W+*$~#&%À<7!"! T"k) 6©D%()*$<*²T<*j)7E)*#& % CD%Y)7T+*!%+*#: 9 0"$!% /~W)*#
(64) º :T"D% l+*$< =F+}) *+})=³< +^D%&)*!%()*#&% (6w+7$²W<7E)*D%¯ D%w)7"#:¯:!"C+})7E)*!=?!%()*+)7+*+7$<})*#&%+-+})7E)*D%¯ )7 +})*!%$]#:9l$#&=³²W)7E)*#&%T"5# }$j)?9<7#&= )7T"#:¯:!"l+*+*$<})*#&%+F® >À+*²$$96k)*+ ²T<*#:²$<})*$+ W) ®l]=³!6 l$#&%+7~T$<*$~8+ *+})5$#&=³=?!%()*+5D%^)7C$#:<*<*$+*²#&%~TD%T¯ ²T<7#:¯:<7:=] Ck'&!%-)7T+ D%T9#:<7=^E)*#& % )7 +}6+*)*!=:)*#&=^E)*!""k6 )*<7j)*+/?9T%j)*#&%T")*$<7=·9R<*#&=?$#&%+*+*)*!%j68²T<*##:9 #:9 k)*+l+*²$$kiW!E)*#&%T+$ {+ 9T%j)*#&%W")*$<7=¡=^$6 d5D%F)7T<7%F$#&=?²T"$~³D%&)*#0:%³j)7T"W$#&=³²W)*$< ²T<*#:¯:<>:=] {+ =?j)7T# ~T#:"#:¯6 #:9)*<7j)*D%T¯?²T<*#:¯:<7:=³+59<*#&=²W<*# #:9R+5+{F<*j'&#:"D)*#&%W<}6²L<7~T¯&= 9R#:< +*#:9) ® <*.!%¯:D%$$<7D%¯º<7#:¯:<7:= +}6%&)7T$+*+ T+ "#&%¯ d$!%])7!=³?#:9 <*$+*!<*D% <})*kiW$D" D%&)*$""¯:!%T$ ²T#&%$$<*$~ 60 "~TD%¯:$<! {] T"#:¯ +*6+})*!= #: 9 :%T%T:%T~w. "~TD%T¯:$<^""#!®l+?)78~W$~Wj)*k'&]+}6%&)7T$+*+?#:9C9RW%j)*#&%T" ²T<*#:¯:<>:=?+ 9R<*#&=u²T<*##:9R+ D% )7 T"!:³9#:<>=u#:9d)7$<+*²$$kiW!E)*#&%T + (®{<7k)})*!%?D%?C':<*j)t6?#:9LiL<*+}) #:<*~T$<"#:¯: BCj'&$"#:²W=?!%(){#:9 +}6+})*!=³E)* [ &[ \³\³ODU &O W+*$~ #&%-)*!%+7#&%+{#:9 <*)*D % #:+ 9 h+{) 6²dC)7T$#:<}6 ® + T%~T$<})7 :!% E)
(65) #:<7%$" " 0 60)7 C²T<*" )*!:= (T!~T$~ (6 .
(66) 5#&%+*)7 T" { iW<*+}) j)7T"²T<7#:¯:<7:= )*<7j)*#: < º d®5+C~T$+*¯&%T$~:%~D=?²W"!=?!%()*$~<*#&T%T~Hm:G&2 6§d C$6(+> 9<*#& = /6&#)*# C%k'&$<*+*k)t6: |Z){""#!®{+{)7/)*<>j)*#&% #:9 |*§º ²T<7#:¯:<7:= 9R<*#&= F²T<*##:9D% F"#:¯:!";+}6+})*!= D%T+*²T<*$~ 6^)7/"#:¯:!" 9R#:<7=³"+7=³+0#:9C§d W$9$<7=^:%|}%&)*$<*$+*)FD% )7+?=³j)7#~T#:"#:¯6+ ¯:<*#H®{D%¯D% )7)7$#:<*j)*!" $#&=³²W)*$< +*$!%$-$#&=^= W%k) 6: -!:% 9R#:<*$+*$^)7^~L$6 ®lT!% j)7T"5$#&=³²W)*$<0+*6+})*!=³+ T+*$~D%À²T²T"!E)*#&%T+ ®{""5$#&%()7D%w$$<})*kiW$~w=³# ~L"$ + :)*#&=^E)*!""k6À¯:!%T$<7E)*$~w9R<*#&=¥$#&%+*+})*!%j6À²T<*##:9 #:9l)7$< 9R#:<7=³" +*²$$kiW!E)*#&%+! <*#!®5j'&$<8+})*""/9<]9R<*#&= d$D%T¯ T")*#w+7 )7+8=³j)7#~T#:"#:¯6fD%r +7=?##)7 D%()*$<7j)*#&%Y®{k)7 )7T +})7:%~L<*~w)*##:"+-9<*#&= +*#:9) ® <*!%¯:D%$$<*D%¯ lhµ$#&=?²T"$<7 + "D% :$<* + <7W% )*D=? +}6+})*!=?+{)7 D%T¯~'::%()7¯: #:9 +7²d$$D" T<*~T®5<* d~T W¯:¯:$<7 + d:%~)7 " : F#:².)7TE) -!:% #:9 +*C)*#?<7$+*!<*>T$<*+{D%()*$<*$+})*$~D%]²$<*D=³!%&)*D%T¯F®{k)7-)7+{%Tj®P=?j)7#~T#:"#:¯6: iL<*+}) D=³²T"!=?!%()7E)*#&% #:9
(67) 5#
(68) ¡®5+F+})7<})*$~ÀD%zHm:Gg (6 F Cj) :%~ .
(69) 5 # W:%~ 8|Z)*+FD=?²T" =?!%()7E)*#&%-"D:%¯&T¯:.®5+
(70) C W 9RW%j)*#&%T"²T<*#:¯:<7:=^=?D%¯ "D:%¯&T¯:.9R<*#&= )7. 9:=?"k6³~T$+7¯&%$~ E) | | ¡D%{# !%T$#&<})$ll0$#:<*F#:9 )7T+l+}6+})*!=® +C^²T<*##: 9 >$ :$</9#:<
(71) 5#
(72) P+*$!%+C³) 6²$~ !"!"D + !""$~)7$
(73) 3UHV [ HV O E S U&ODUdS! {+ !%¯:D%{®5+ #:²d$<>E)*$~³)7<7#&¯&?0T¯& "j'&$"d%T#)7E)*#&% ²$<7=?k)})*D%T¯)7T]~T$$"D<7E)*#&%w#:9/3#&=?+?:%~z²W<7:=?j)*$<7 + )78~WjiL%k)*#&%À#:9C=³E)7!=^E)*!" ) 6²$+³:%~ # }$j)* + :%~)7 ²T"$k)/$#&%+*)*<7j)*#&%#:9 ²T<*##:9 # }$j)*+/!%$#~T$~+ )*$<7=?+! ¡+*$j)*#&%=³$>T:%T+7= ~T$+*¯&%T$~ :%~]D=?²W"!=?!%()*$~ 6 FWBC#!®5 L""#H® $~$<7<7>!" ~Wj'&$"#:²W=?!%()*+ #:9 =³E)7!=^E)*!")7$# <*$+$ {T+ T¯& "j'&$"W"D:%¯&W¯:5®5+ !""$~³)7 V S>\ V O S7[>U E[$ W<*)7$<7=?#:<7 (:%FD%&)*$<7j)*k'& d!S H[$S>\ [ ES7[5²$<7=³k)})*$~³)7 D%$<*!=³!%&)7"d$#&%+})*<>j)*#&%-#:9 ²T<*##:9)*<*$$+5D%-.)*#:² ~T#!®l%-=^:%T%$ < +7 ¯:#&"D%¯/<*$!T<*+*k'&$"k6 :%T~ L
(74) )*<7
(75) D%¯.9R<*#&=~T!~t""j6+$ { )7$#:<*!=²W<*#!'&$< $!)*$~F)7j)*$+ ®l<*k)})*!% D%
(76) dD%8)7
(77) 9+7#&% W+*0+7j)l#:9 )7j)*$+C® +l²T<7$~TjiL%$ ~ W®l>8)7 T+*$<{$#&"~)*!%~ 6^+5#!®l%+*²$$kiWl)7j)*$+$ {+5+}6+})*!= $<*+*#&%-gH ® + <*$"!+*$~]D%Hm:G:m {T! % )7Tl+}6+})*!= ® + )*!%~T$~)*#F~T!"d®{k)7^)7 %Tj®r!"!T"D+ ®{k)7D%~Wj)*k'& ) 6²$+ (6
(78) Cº :"D % ®{k)7$#:<*<7$+*²#&%~TD%¯ %j® )7j)*$+ 9#:< ²W<*# #:9R+ 6D%~Lj)*#&% u%j®©+})7:%~L<*~]+*j){#:9;)7j)*$+{® +{+*)*<*!:=?"D%$~ W:%~-)7C'&$<7%T!T"D< )*!%~T$~À9#:< )7j)*$+^$!)*#&% ·²W E¯:-)*#$#&=?²W"²W<*#:¯:<7:=?+ )*<7j)*$~ 9<7#&=ª²W<*# #:9R+ )*#j)7T" $#&=?²L)*$<0²T<7#:¯:<7:=?+.D%
(79) C r#:<0+7#&=??#)7$< 9T%j)*#&%T" "D:%¯&T¯:^®5+ ~T$+*¯&%$~ :%~D=³²T"!=?!%()*$~ 64{ $<7%$<! %j® +*$< D%&)*$<*9$ <*$"k6D%¯#&%
(80) C D%()*$<*9R$ 6B ~W³l:T¯:"D:~T<* ® +. . . . :.
(81) ~T$+*¯&%T$~³:%~?D=³²T"!=?!%()*$~ (6 T$"k) 6: |t) ""#!®5$~^#:²$<7E)*#&%³#:9L)7T5)7$#:<*!= ²W<*#!'&$<)7<*#&¯&F)7T =³ %²WT"DE)*#&%#:9 ®{D%~T#H®{ + =³!% + =³#&+* +*!%+7k)*k'& L)})*#&%+ :%~#)7$<C®{~W¯:j)*+$0{+C+}6+})*!= $<*+7#&% 2 ¦ 5® +{<7$"!+*$~ D%Hm:m:
(82) 5 # ®5+ ²#:<})*$~ )*# )7^%Tj® D=?²W"!=?!%()7E)*#&%
(83) :=³" "¯&&) #:9 $<*#H6:%~B ;BC#:"¯: 6 B ~T l:T¯:"D:~T<* $<*+*#&%2 @ D% Hm:m& P%j®'&$<7+*#&%-#:9
(84) 5# ® + )7!%$##:<*~TD%TE)*$~ 6
(85) T<})7(6 ®{k)7 %j®©)*##:"+{~W$+*¯&%$~ 6
(86) CTº <7!%&) )*#³²T<*#!'&0²T<*#:²$<})*$+ #:9 ²T<*#:¯:<7:=³
(87) + )7+{=³j)7# ~W#:"#:¯6+ ~LT")*# ²T<*#:¯:<>:= )*<7j)*#& % :%~ %j®+*$< D%()*$<7j)*#&%À"##:² 8{+ +}6+})*!= $<*+*#&% 2 G /® + <*$"!+*$~ÀD% $6Hm:m:A
(88) !%&)7:<CD%()*$<*9$
(89)
(90) 5 # -®5+ )7!%~Tj'&$"#:²$~ (6 F 4 $<})*#)/9<*#&=·)7
(91) 5<*#&²²T<*# }$j) 9R<*#&=| l{| Z§#:²WD C%()*²d#:"+! |}%z²L<7""$" BC#!®5 f:%T~ l$< $"D%f~Tj'&$"#:²$~ %j®1²T<7# #:9/!%¯:D%T l""#!®{D%T¯À)7¯:!%T$<7" =³:%T²W"DE)*#&%-#:9+})*!%()*D" ':<*D T"$+{$#&%+*+})*!%()*"k6-®{k)7]~T$²!%~T!%() ) 6²d$+{D%]:%]²$<*D=³!%&)7"d'&$<*+7#&% #:9
(92) 5# .2 m > {T³²T<*$+7!%&) '&$<*+*#&% .2 H#:9
(93) 5 # + L+*$~ #&%À¯:!%$<*+}6+})*!=¿9#:< =³:%T²W"DE)*D%¯ )*$<7=?+0®{k)7 TD%~WD%¯#:²d$<>E)*#:<*+ ~W)*#
(94) Tj) <})7(6: %j® ²W<*# #:9l!%¯:D%8""#H®{+?)7]²L<7""$" ~Tj'&$"#:²W=³!%&)?#:9 ²W<})*D"²T<7# #:9R+ 9#:< D%~T$²!%~W!%&) +7 T¯:#&"+!{T +})*<>j)7<* #:9T)7$+7 ²W<*# #:9T)*<*$$+ + l=³ $~F<*$²W<*$+*!%()7E)*#&% #:9 ~T$<*k':E)*#&%)*<*$$+.9R#:</)7
(95) "!"D+.#:9 | %T~Wj)*k'&
(96) 5#&%+*)*<7j)*#&%+/®lk)7 T+})*<7j)0+*6%()73)*<*$$+.9R#:</)7 )7j)*$+³+7$<*²)* + ""#H®{D%¯)7T8%T$'¯&E)*#&%wD% ²T<*##:9lE)F':<*#&+ "j'&$"+^#:9{~Tj)7"+$À{-²T<7# #:9 !%T¯:D% ""#!®l+/¯:!%$<*F!%&'<*#&%T=³!%&)Ck)*!=?+C=³:%W¯:$~D%:%# }$j) #:<*!%&)*$~ ®5!6:.{+C%j®<7>k)*$j)7<7 ~W )*#
(97) CLT<})7&6 d+7²T²#:<})*+ +7j'&$<7"%Tj®µ9R$"k)*$+C® >=³ :/)70+}6+*)*!=·!+*$<l)*#³)*!%~:%~8)*#^+*!" ². . . . . . . . . +*$< ²W<*#:¯:<7:=³=^ T" )7j)*$+/<*.""#!®5$~ . |Z) + ²#:+*+* T" )*#+*$²W<>E)*$"k6'&$<*9 6 W ~ j'&$"#:²W=?!%() =³# ~WT"$+ ;:%~)*# " #&~ )7$< $#&=³²T"$~D=^¯:$+ ® k)7#&) '&$<*96D%¯ )7!= ¯&D% l
(98) -<*$"#!E)*#&%²T<*#$$+*+{""#!®l+ )7 $<l9R+}) "#&~WD%¯. . ¥¯:!%T$<*²W<7+*D%¯w+*!=? ""#!®{++*$< ~TjiL%T T" %T#)7E)*#&%+ 0®lk)7µ +}6=³=³j)*<*)7 T" ~T<7k'&!% ²W<*j)}) 6 ²T<*D%()*$<. . §6%()7j)*0~Tjid%k)*#&%+{""#H®$#&%('&!%!%()C W<*j'DE)*#&%T+. . . Y"D=?k)*$~³9R$"k)t6?#:9d=³j)7 '<*D W "$+ ""#!®l+)7 :)*#&=³E)* +}6%()7$+*+ #:9d$$<})7D% )t6² ²T<*$+*+7#&%+ ""#H®{D%¯^¯:!%$<* %T#)7E)*#&%+{9R#:< h ¯ T "k)t6 d²W<7D%¯ W:%~8+})*!%()*D" T:%()*kiW!E)*#&%. |}% )7 W""l#:9FHm:mg
(99) º :"D%t#&<*D%T¯<*$²T"D$$~f)7+})*<7j)7<78#:9/D%~Wj)*k'&$"k6w~WjiL%$~w)t6²$+-:%~ 9:=?"$+ 6]³%j®µ+*)*<7j)7<* d""#!®{D%¯³)70=F)7T""k6]<*$!T<*+*k'&.~Tjid%k)*#&%+$ º;d:%#&T<}6D=³²T"!=?!%()*$~ )*<7:%+*"DE)*#&%©#:90<*$!<7+*k'&~TjiL%k)*#&%+-D%()*#À)7²T<*D=?k)*k'&<*$!T<*+*k'&+}) 6"D=?²#:+*$~ 6w)7D%&)*$<>%T" <*$!<7+*#&%F#:²$<7E)*#:<* + D% )7 +}) 6"{#:9L)7 º <*#:º<*5+}6+})*!=8
(100) ( %# D=³²T"!=?!%()*$~ /~T$$+*#&%?²T<*#$$~W<* 9R#:< D%&)7Tk)*#&%+})* ²T<*#:²#:+*k)*#&%T" "#:¯: W+*$~ #&%8<*$+7T"k)*+ #:9 .WB 6
(101) #±; &
(102) C "" E)*<*0D=³²T"!=?!%()*$~ ~T$$+*#&%²T<*#$$~W<7 9R#:< iL<*+}) #:<*~T$<{"#:¯:0®{k)7T#&){$#&%()*<7j)*#& % W+*$~8#&% <*$+7"k)*+l#:9 & .j)*#&%T!% :%~. j6<7: D%T""k6
(103) L<})7(6]D=?²T"!=³!%&)*$~?" T<><}6]#:9 D%&'&$<*+7#&%8)7j)*$. + <*$"j'D%¯^)70+7$<{9R<*#&= )*$~T#&+l~TjiL%k)*#&%T+ #:9 *D%('&$<*+*#&%²T<*$~W!E)*$+ . . . . {# !%$#&<}) T !+})0Hm:m&2 $<7<7~ Cj).
(104) . 3.
(105)
(106) l . + ~W# !T=³!%&) + )7T/{$9R$<*!%$0:% W" #:9'&$<7+*#&% .2 H?#:9;)7³²W<*# #:9 +*+*+*)7:%&)$ P$#&=³²W:%#&% { '&#:"DT=³ )7T )*#:<*D" + ²W<*#!'~T$~ 9#:< )7 $¯:D%T%T$<*+$-|t) + ~T'+*$~ )*#<*!~ )7 )*#:<*D" iL<*+})$ ~T~Tk)*#&%T" ~W# !T=³!%&)7E)*#&%8+{~T$+*$<7 d$~]D%8>T²)*$<032 "" +*$<}'$$+{#:9;)7 ³²W<*# #:9+*+*+})7:%()l<*.$$$+7+* T" 6D%()*$<*²T<7j)7E)*#&%8#:9 F$#&=³=³:%T~^"D:%¯&W¯: $#&=³=³:%T~]+{ +})*<*D%T¯ !%~T$~]®{k)7 ²$<*# ~ T+^:%wD%&)*$<7j)*k'&=?#~T-D%À®lT> $#&=^=³:%~T+ <* D%&)*$<*²W<*j)*$~f+ )7T +*$< )t6²$+ )7T!=¥D% 9R<*#&=)7 :j 6 #&<*~ :%~8F$#&=³²T"$~ =?#~Tl®l$<*/$#&=^=³:%~W+5<7/²T<*#$$+*+*$~]9R<*#&= iW" C)7$< =?#~T$+ #:9CD%&)*$<>j)*#&%Y®{k)7 <*8²#:+*+7 T" 5)7<*#&¯&f:%w!=³$+^+7$"" ®lD%~T#!® 5#:<³)7<*#&¯&z !+})*#&=³$$~ D%()*$<*9R$0®{k)7-)7
(107) 5!%&)7:T< !%&'<*#&%T=³!%&)
(108)
(109) 5 # > {T$+*/9R$"k)*$+/<* %#) ~T#!T=?!%()*$~8$<*. . D%&)*$<>j)*k'&=³# ~T =^$6 ?+7$~ + -~TWT¯:¯:D%¯8=?#~TFD%®l)7?+7$<.!:%~Tj'&$"#:² + l )7T$#:<*$+/:%~²W<*# #:9R+ +})*$² 68+})*$² W ()*<>
(110) D%¯-9%$$~T$~:%~ +7#^#&% { D%&)*$<7j)*k'&?=³# ~W.+ <>T%F®{k)7³)7/y&M(qTM $#&=³=^:%~?9R<*#&=u)7l#:²$<7E)*D%¯0+*6+})*!= ®l?®5{+7W""L+*+7W=?5)*# d{+*#&=? ':<*j)t68#:9 l| D%-)7.<7$+}) #:9)7+ ~T#!T=?!%() >. . l $#&=³²T"$~=?#~T j)*+.+.²T<7# #:9 $
(111) :$<0)7 D%¯]^iW" $#&%&)7D%TD%¯8^®l#:" ~Tj'&$"#:²W=?!%()/D% #:<7~T$<{)*#-!%+><*0k)*+C$#:<*<7$j)7%$+*+$/ #:<7$#!'&$< h+C$#&=?²T"$< ²T<*#H'~T$+/:%#&)*²W) iW" $#&%&)7D%D%T¯ $#&=?²Wj) <*$²T<*$+*!%()7E)*#&% #:9 k)*+ D%²W)$^{?$#&=³²T"$~=?#~TF+0<>T%®{k)7)7T]y:M Wy$#&=^=³:%~ 9R<*#&=)7T.#:²$<7E)*D%¯?+}6+})*!=8|Z)*+lT+*/+ ~T#!T=?!%()*$~]D%]T²)*$<.HA. . ) ®5# D%~T+ #:9 +*$<*'$$+ "#:¯:!"+*$<*'$$+ :%~8#:²$<7E)*D%¯?+7$<}'$$+! ~Tk'~WC)7/"#:¯:!";+7$<}'$$+lD%-) ®5#^=^D%-²W<})*+ . . ^#±d$<7+. . +*²$$kiW!E)*#&% "D:%¯&T¯:D% ® > )7^+7$< 3#&=³E)*$$+ + #!®l%)7$#:<*$+${+0+7²d$$kiL!E)*#&% D" :%T¯&T¯:?+ %#!®l%+ h
(112) E ® >=^D%"k6²T<7#!'~T$+/~T$$"D<7E)*#&% :%~~TjiL%k)*#&%=³$>T:%T+7=?+$ |Z){+ ~W# !T=³!%&)*$~]D%8>T²)*$<C F²W<*# #:9;$~Tk)*D%¯³=³# ~Wl²T<7#!'~TD%¯F)*##:"+ 9#:<{²T<*##:9 ~Tj'&$"#:²W=³!%&)$º <*##:9+ +7$<}'$$+l<*.¯&D%8#:9;) ®5# D%~T+ . . . ²W<*# #:9R+{²W<7¯&=³+ +7 +C+}®{k)*D%¯³#&%:%~#±)70²W<*# #:9 $~Wk)*#:< d<7$+})7<})*D%¯-?²T<7# #:9 Lj)*^ lj6-<7.~T#!T=?!%()*$~]D%]>W²)*$<lA )7j)*$+ ®lT>8<*.)7.D=?²W"!=?!%()7E)*#&%8#:9 "#:¯:!";<7!+*#&%D%¯?+*)*$²T+${T/®l#:"/T²)*$< g?+ ~Wj'&#)*$~ )*# )7T$< ~T#!T=?!%()7E)*#&% HA.
Documents relatifs
(2013), ils montrent également que le nébuliseur à tamis vibrant permet d’obtenir une dose émise supérieure à celle obtenue avec un nébuliseur
Everywhere in this section, we assume that U is an event universe equipped with the causality relation “ ” and the synchronisation relation “ + ”, prece- dence relation “ <
In an annotated inductive types, the universe where the inductive type is defined is no longer a simple sort, but what is called an arity, which is a type whose conclusion is a
The 10M receives the packet and addresses the host to LISTEN in order to send the acknowledgement byte and response packet. no other communication can occur
We only require from the user to provide a set of surjective functions between related data-types, along with a proof of surjectivity, and transfer lemmas.. There can be only one
Values: If the rule is executed in set-at-a-time mode, then the ABox assertions gen- erated by the rule consequence since get-answer, Page 163 is called auto- matically, otherwise
Description: Enables ABox mirroring, see enable-abox-mirroring, Page 174, but in a smarter way: In case of a atomic concept assertion such as (instance i C), so C is a concept name,