A certified Compiler for an Imperative Language
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. A certified compiler for an imperative language Yves Bertot. N° 3488 Septembre 1998 THÈME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5)
(6) !" $#%$# &')(+*$,-(+.0/21)/ 354768-9:;=<?>@7AB9DCFEHGIAFJ0AB9C 90KLJ0MNCOJ PQCSRUTV8W)EHCFAOXIPQ9 Y[Z\EH]^9 K`_badcde`Y adMNfQfgEIZUKdhi9DZj9Jk479ZjJk4Q9l@)monNp+qHqr;=sV9fiK\98W7Zj9utvIvHqD;=nHw-fQMHGH9R. x$y{z|0}~7H|H 354QAFRfQMNf)90Zh79RjJ ZjABW)9RK\479fQZ\EiJ 9R\REN D89Jk4QMH@7AFJMNCFCBTJ 90Z\K\AB TVAB@QGMJ EI8-fQABCF90ZABK\4 Zj9R\f)9JKK\ErK\479R\908uMN@+K\AOJR\f)9J ABgJMK\AFEH@EN dKj479
(7) R\EHPQZjJ09MN@QhKjMHZ\GI9 KCOMN@7GIPQMNGI9Rr35479
(8) f7ZjEVEN R-MNZj9 f)90Z\ EHZj89hAB@$K^TVfg9?K\4Q90EHZjTuPQR\AB@QGKj479_EiXRUTiRUK\98
(9) 35479RU9 f7ZjEVEN RbAF@IKjZ\EihiPgJ 9 RUf)9J0AgJ`Kj4790EIZ\90K\AOJ0MNC KjEVEHCOR0 ZkMNGH89@IKkMKjABEI@K\4Q90EHZj908uRMH@QhGI90@79ZjMHCAB@ghiPQJKjABEI@$fQZ\AF@QJ AFf7CF9R +j } zH edP7K\EH8uMNK\AOJ f7ZjEVEN ^¡N¢`MK\PQZjMHC+R\908uMN@+KjAFJR0¡I_EI8-fQABCOMKjABEI@S¡N3 TVf)9[Kj4790EIZ\TI¡I_EVX)¡I_ K _EVX)¡ e`R\R\908W7CFTCFMH@7GHPgMNGH9£{¤QEHZj8uMNC¥90K\47Eih7R. 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.
(10)
(11) d%bSo r% %$ $## 0 . z _9 K`MHZUKjAFJ0CB9Dhi>J ZjAKdCOM
(12) H>Z\ABgJMK\AFEH@
(13) 8>JMN@7AOX+P79hi9DCOMuhi>08EH@gR^KjZjMNK\AFEH@hi9J 9ZUKjA)J0MKjABEI@ h P7@J0EH8f7AFCFMNK\90PQZ +AOR VAOR?h79RR\fg>J ABgJ0MNK\AFEH@QRDR\>08uMH@IKjAFX+P79RDhiPCOMN@7G+MNGH9R\EHP7ZkJ 9-9 Kh7P COMN@QGIMNGI9 J0ABWQCB9I[_9RI >0ZjAgJMKjABEI@QR[R\EH@+K 9 9J K\P7>9Rbh7MN@gR[CF9d EHZj8uMNCFAFR\89Lhi9`CFM Kj47>0EIZ\AF9Lhi9R[K^TVf)9R¡ C MNAOhi9`h7P R\TiR^Kj6089_EiX) _9 K\K\9I >0ZjAgJMKjABEI@`f)90Zj89 K{h AF@IKjZ\EihiPQABZj9[hi9RSEHPiKjABCORKj47>0EIZ\AOX+P79RMIh7MNfiKj>RK\47>EHZj6089R. h79` ZkMNGI890@+KjMNK\AFEH@
(14) 9 Kf7ZjAB@QJ0ABf)9hi9DZj>J0P7Z\Zj90@gJ 9?GH>0@Q>0ZkMNC |z z >8EH@QRUK\ZkMKjABEI@MNPiKjEH8uMKjAFX+P79I¡)R\>08uMN@+KjAFX+P79@QMKjP7Z\9CBCF9H¡J EI8f7ABCOMKjABEI@S¡)K\47>EHZjAB9hi9R K^TVf)9R¡g_EiXg¡_ K_EiX)¡7eLRjRU98W7CF90P7Z¡Q¥>0K\47Eihi9R5 EHZj890CFCB9R.
(15)
(16) { u % . n. . . 354QAFRfgMNf)90ZLhi9R\J0Z\AFW)9RdMH@
(17) 9 ifg9Z\AF890@+KdAB@89Jk4QMN@7AOJ0MHCBCFTJk479J VAB@7G-Kj479f7ZjEVEN oEN J EHZjZj9JKj@79RjR EHZLM J0EH8f7AFCB9Z 354795RUEIP7ZjJ09 COMN@7GIPQMNGI9[AORMLR\AB8f7CFAFRUK\AOJbAB8f)90ZkMKjA I9 COMN@7GIPQMNGI9J EIZ\Zj9R\f)EH@QhiAF@7GKjELKj4795WQMHR\AOJ I90Zj@790CgJ EH88EH@KjEMNCFC)AB8f)90ZkMK\A H9COMN@QGHPQMHGH9R MN@Qh-Kj479dKkMNZjGH9 K[COMN@QGHPQMHGH9AOR MN@MIR\R\908W7CFTCOMN@7GIPQMNGI9 ABK\4MdGHEHK\ELRUKjMNK\98-9@+KK\4gMK MHCFR\ELJ0EHZjZ\9RUf)EH@QhQRK\E?M H9Z\T?WQMIRUAOJ[R\P7WQR\9 K{EH 78EIRUK{8uMHJk47AF@79CFMH@7GHPQMHGH9R EIZ8AFJ0Z\E f7ZjEiJ 9R\R\EHZkR0{35479Df7ZjE+EH 4QMIR5Wg990 @ H9Z\ABQ9h$PQR\AB@QGKj479_EiXuf7ZjEVEN MIR\R\AOR^KkMN@+K Bt MN@Qh
(18) ABKjR GIZjMHf747AOJ0MHC)AF@+K\9ZU MIJ 9_ K_EiX n 354798MHAB@J0EH8f7CFAFJMKjABEI@QR AB@ Kj47AORbEHZ J EI8-9 ZjEH8 K\4Q9CFMIJ EH 5RUK\ZjPQJKjP7Zj9uAB@ Kj479MHRjR\908WQCBT COMN@QGHPQMHGH9[PQR\9hMHR{K\4Q9 KkMNZjGH9 K CFMH@7GHPgMNGH9I35479J EI@+K\ZjABW7P7K\AFEH@QR{EN 7Kj47AOR{bEHZ f7ZjE +AOhi9bM2TiRKjE`Zj9J0E H9Z Kj479b8-AORjRUAF@7G`RUK\ZjPQJ K\P7Zj9H¡2QZkRUK{WVTD8uM VAB@QGLABK f)EIRjRUAFW7CF9[KjE`Zj9MIRUEI@DAB@Qh790f)90@Qhi9@+K\CFTDEH@ MHZ\AFEHPQRf7ZjEHGHZkMN8 ZkMNGI890@+KjR¡79 I90@Kj47EHP7GI4K\479f7Z\9RU9@QJ 9EN R^KkMKj90890@+KjRL47AF@Qhi90ZkR5Kj47AFR VAB@ghEN AB@ghi90f)90@Qh790@QJ09H¡ MH@QhR\9J0EH@QhWVTf7ZjEHf)EIR\AB@7GK\9Jk47@7AOXIPQ9R EHZf7ZjEVEN LWVTAF@QhiPQJ K\AFEH@K\4QMNKMHZ\9
(19) 8EHZj9$f)Eb90Z\ P7CbK\4QMH@ Kj47EIR\9@7EIZ\8uMHCBCFT$fQZ\E VAOhi9h
(20) WVTAB@Qh7PQJKjA I9K\EVEICFR¡gMIRd908WgEihiAF9hAB@AF@QhiPgJK\A H9fQMHJ MHGH9R BtItN¡:Np7¡:Nq EIZ5f7Z\EVEH R\TVRUK\98uR Bt +¡g:Nw7¡g:it @ K\4Q9-Zj9RUKDEN K\47AORDRU9JKjABEI@rb9GIA I9-MH@rE I90Z VAB9lEN AF@QhiPgJK\A H9-K^TVf)9Kj4790EIZ\TK\4QMNK AFCFC[RU9Z I9 MIRKj479
(21) CFMH@7GHPQMHGH9u EIZ-MHCBCbKj479$Zj9MIRUEI@7AF@7Ghi9RjJ ZjAFWg9hAF@K\4QAFR-fQMHfg9Z¡b9
(22) h79RjJ ZjABW)98EHZj9fQZ\9J AORU9CBT Kj479?CFMH@7GHPQMHGH9R MHhQhiZ\9R\R\9hW+TKj47AOR9 ifg9Z\AF890@+K¡ib9`hi90KjMHABC)K\4Q9?8uMHAB@
(23) J EH@+KjZ\AFW7PiKjABEI@QR EH SK\4QAFRbfQMHfg9Z¡ MH@Qh 9RUK\PghiTr4QE K\4Q90T J EH8fQMHZ\9-KjEZ\9CFMNK\9hbEHZ AF@ K\47AORhiEI8uMNAF@S @ K\4Q9@79 VKR\9J K\AFEH@S¡{9 J0EH@QJ090@+K\ZkMKj9dEH@K\479`QZkR^K58uMNAF@$J0EH@+K\ZjABWQPiK\AFEH@EH SK\4Q9`fQMHfg9Z¡iMRU90KbEH SK\479EHZj908uR K\Ehi9J0EH8fgE+RU9LK\479 9 i9J P7K\AFEH@-EN MHRjRU98W7CFTf7ZjEHGIZjMH8R AF@+K\E? ZjMHGH890@+KkRMN@QhK\EDZj9J0E H9Z RUK\ZjPQJKjP7Zj9AB@-K\4QAFRPQ@QR^KjZ\PgJK\PQZ\9h fQZ\EIGHZkMN88AB@7GDCOMN@QGHPQMHGH9Ho35479`K\47AFZkhR\9JKjABEI@hi9R\J0Z\AFWg9R fQZ\9J AORU9CBT-K\4Q9 RUK\ZjPQJ K\P7Zj9LEH SK\479?f7ZjEVEN MN@gh 9 i47ABWQAKkRLMhiA J P7CBK^TAB@K\479K\Zj9MKj90890@+KLEH CBEVEHfQAB@7G$J EH@gR^KjZ\PQJ KjR35479 EIP7ZUKj4RU9JKjABEI@hi9 I90CFEHfQRdM R\EHCFPiKjABEI@ EIZ5K\47AORAOR\R\P79H35479 Q K\4RU9JKjABEI@$GIZ\EIP7fQRR\EH89DJ EH@gJ CFPQRUA H9?Zj908uMNZ iR0. . ". %. + !. ,. . . '& %(. $. . ". . /.. $. !#". $. -,. ). *". . $. 0120 53 476 8:9<;=8?>'@A4BDCFEHGIHJK9<CL>'EMBHNEHGOJP>
(24) QR6DI79ANS9<CL>'E 354Q9uCBEIGHAOJ0MNC ZkMN890bEHZ$AF@ 4QAFJk4rK\47AORD89Jk4gMN@7AOJ0MHCf7Z\EVEH 4QMIR Wg990@ fg9ZU EIZ\89hAOR K\4gMKEN bK^TVfg9 Kj4790EIZ\T: :H:T"?AKj4 AF@QhiPQJ K\A H9K^TVf)9R¡LMHRf7Z\E VAOhi9h WVT K\479rAB@ghiPQJKjA I9J0MHCFJ0P7CFPQREH J EH@gR^KjZ\PQJ K\AFEH@QR Ft*!V¡tni¡:U!#" 35479AF@QhiPQJ K\A H9uMHR\fg9JKkR`EH K^TVf)9Kj4790EIZ\Tf7Z\E VAOhi9Kj479uPQR\90Z ABK\4rK\479uf)EIRjRUAFW7AFCBABK^TK\E h79 Q@79uR\9 KkR`WVTGIA VAF@7GM$J0EHCFCB9JK\AFEH@ EN bJ EH@gR^KjZ\PQJ K\EIZjRL EHZ Kj479R\9-R\9 KkR03{E$9MHJk4rR\PQJk4 J EICBCF9J K\AFEH@EH J0EH@QRUK\ZjPQJ K\EHZkR¡oK\479
(25) K\4Q90EHZjTMIR\R\EiJ AOMK\9RWgMHR\AFJ$Z\9J P7ZkR\EHZkR03547AORAF@QhiPQJ K\A H9J0MHfQMNW7AFCFAK^TMHCFR\Er8uMVH 9R ABK fgE+R\R\ABWQCB9K\E$h79 Q@79-AF@QhiPQJ K\A H9fQZ\EIfg9ZUKjAB9R0¡J EIZ\Zj9R\fgEI@QhiAF@7GuKjEAF@QhiPQJ K\A H9 MN8ABCFAF9R`EN hi9fg9@Qhi90@+K K^TVf)9R¤7EHZAF@QRUKjMH@QJ 9I¡IKj479DEHZkhi9Z+ W CB9R\RbEHZ59XIPgMNCXd W EI@$@QMNK\P7ZkMNC@VP78Wg9ZjRJMN@W)9DEHW7KjMNAF@79hABK\4
(26) K\479 EICBCFEAF@7GK^bEuhi9 g@7AB@QGMiABEI8uR0 [Y ZU\^] O _ `K]a_b]?cedf ]hgi]j k tTl Y[ZU\Hm O _ `K]j2nO_V]?cUdf ]oginqpr]hgtsunwvyx%z$f k :Vl 35479-K^bE
(27) MHZ\GIP7890@+K f7Z\EIfg9ZUK^T{W CB9R\R?EHZ 9XIPgMNCXWDAOR?K\479uR\8MHCBCF9RUKDRUP7WgRU90K EH S|~}|R\PQJk4Kj4QMK Kj479dK^bEDKj4790EIZ\98R Y[ZU\] MN@Qh Y[ZU\7m MNCFbM2TiR47EICFhSo354QAFRAFR 9if7Zj9RjRU9hWVTKj479d EICBCFEAF@7GUAB@Qh7PQJKjABEI@ Kj4790EIZ\98k q.
(28) X. p. . ` _ ]?ced ]?ced
(29) ?f s`P]a_%]?cedf s ]j2] z2zp s`P]j2nO_%]?cedf`P ]s ]j2nOj2nh_%zS]?p
(30) cedf? s ]hsu]gij#sunwnaz vypx%zF z2zSsup]j2nhz eL@7ENKj4790Zb5M2TKjE VAF90 Kj47AFRbAOR[Kj4QMK5479@79 I90Z ]ag n 4QEHCOh7R0¡IK\4Q90Zj9`8PQR^K59iAOR^K5MDQ@QAKj9 h790ZjA MKjABEI@ Kj4QMKf7Z\E I9R Kj47AFR MHJ K¡VJ EI@QR^KjZ\PgJK\9h-EH@7CFTABK\4K\479K^bERUKjMNK\9089@IKkR / MN@Qh r9?J0MH@Kj4790@ Zj9MIRUEI@ W+T AF@QhiPQJ K\AFEH@EH@DKj479bRUK\ZjPQJ K\P7Zj9[EN QK\47AOR{h790ZjA MKjABEI@S{354QAFRK\9Jk47@7 AOXIPQ9hi9Z\A H9h Z\EI8 K\479EIZF EI@@QMNK\P7ZkMNChi9hiPQJ K\AFEH@ k f7ZjEVEN R?EH@rK\479uhi9GHZj909-EN 5hi90ZjA MNK\AFEH@QR?MNZj9PgRU9h EIZ`Kj479 2 u Kj4790EIZ\98AB@o nHn*"[b l AFRJMNCFCB9h /) " u AF@h n#*" , @$K\47AOR5fQMHfg9Z¡ib9?R\4QMHCBCPQR\9 ZjMNK\479ZbK\479?!K\9Z\8 " u % $e& " FM( ' b u 35479RU9AB@ghiPQJKjA I9MIRUf)9J KjRdAFCFC{f7COM2TMN@AF8fgEIZUKkMN@+K`ZjEHCF9DAB@rEHP7Z`EIZF 7, @Qh7PQJKjA I9R\9 KjRLABCFCoWg9 PgRU9hKjE
(31) 9@QJ Eihi9Kj479uRUTV@+KjM% EN bf7ZjEHGHZkMN88AF@7GCOMN@7GIPQMNGI9R`9MHJk4 RUTV@+KjMIJK\AOJJ0MNK\90GIEHZjTEN bK\479uCOMN@ GIPQMNGI9ABCFCQW)9LZj90fQZ\9RU9@IKj9hMHR MN@uAF@QhiPQJ K\A H9dK^TVf)9LMN@gh9MHJk4uWgMHR\AFJdJ0EH@QRUK\ZjPQJ K[EN K\4Q9df7ZjEHGHZkMN88AF@7G COMN@QGHPQMHGH9ABCFC W)9Zj90f7Zj9R\90@+Kj9h MHRMJ0EH@QRUK\ZjPQJ K\EHZ EIZEH@Q9EN bK\479RU9K^T+f)9R35479WQMIRUAOJZ\9J P7ZkR\EHZkR MIR\R\EiJ AOMKj9hK\EAF@QhiPQJ K\A H95K^TVf)9R[AFCFCQW)9dPQR\9h-K\Eh79 Q@79dK\ENKkMNCgZ\9J P7ZkRUA H9 P7@QJ K\AFEH@QR E H9ZoK\479RU9K^TVf)9R MH@Qh¡{ EHZAB@QRUKjMH@QJ 9I¡Kj479$J0EH8f7AFCB9ZAFCBCWg9$EH@79EH 5K\479RU9Zj9J0P7ZkRUA H9- P7@QJ K\AFEH@QR )MIR^KjCBTI¡{AF@QhiPgJK\A H9 fQZ\EIfg9ZUKjAB9RAFCFCSWg9DPgRU9hKjEuhi9RjJ ZjABW)9 f7ZjEHf)90Z\K\AF9R5EN f7ZjEHGHZkMN8uR @Qh7PQJKjA I9K^TVf)9$Kj4790EIZ\T f7ZjE VAFh79R-MrR\AB@QGHCF9 ZkMN890bEHZ KjEr8Eihi9CWgEHK\4Mrf7P7Zj9$ ZjMHGH890@+KEH PQ@QJKjABEI@QMNCf7Z\EIGHZkMN88AB@QG
(32) COMN@QGHPQMHGH9R PgRUAF@7GZj9J0P7ZjR\A H9 P7@QJ K\AFEH@QRMN@QhMf7P7Zj9u ZjMHGH890@+KEH CBEIGHAOJ fQZ\EIGHZkMN88AB@7G COMN@7GIPQMNGI9RPgRUAF@7GAF@QhiPgJK\A H9`f7ZjEHf)90Z\K\AF9R 35479`8uMN@VT9 ifg9Z\AF890@+KjRhiEH@79`AKj4@QMNK\P ZkMNCR\908uMN@+KjAFJR4gM H9 RU47E@K\4QMNKCBEIGHAOJLf7ZjEHGIZjMH88-AF@7GbMIRbM-R\P7AKkMNW7CF9? ZjMH890bEHZ KjEuhi9RjJ ZjABW)9?K\479 R\908uMH@IKjAFJRDEN f7ZjEHGIZjMH88-AF@7GCOMN@7GIPQMNGI9R
(33) 354QMH@ iR K\EK\479$EIZ h7EH@79uKjEZj90COMK\9u@gMK\PQZjMHCR\908uMN@ KjAFJRdhi9R\J0Z\AFfiK\AFEH@gRdMN@Qh
(34) AF@QhiPQJ K\A H9CBT
(35) hi9 Q@Q9h
(36) K^TVfg9R nNp ¡Qb9RU4gMNCFCPQRU9AB@Qh7PQJKjA I9RU90KjR5KjEuZ\9f7Z\9RU9@+K R\EHPQZjJ09LMN@QhuKjMNZjGH90K f7ZjEHGIZjMH8-8AF@7GDCOMN@7GIPQMNGI9R¡NAB@ghiPQJKjA I9Lf7ZjEHf)90Z\K\AF9R K\E-hi9RjJ ZjAFWg9Kj479 RU98MH@+K\AOJ0R[EH Kj479R\9 f7ZjEHGHZkMN88AF@7GCOMN@QGHPQMHGH9R¡VMN@Qh
(37) Zj9J PQZjR\A I9d P7@gJK\AFEH@gR5K\Ehi9R\J0Z\AFW)9`Kj479J EI8f7ABCF90Z. ,. $. < ". F. . $. 01%* +>'I=@JP8:NEGq9eN @,'8 9.-LNE/,'I=N0,81 354Q9LRUEIP7ZkJ 9COMN@7GIPQMNGI95RUK\PghiAB9hAB@K\47AOR[fQMHfg9Z[AOR MDWQMIRUAOJ5COMN@7GIPQMNGI94790Zj9f7ZjEHGHZkMN8uRMHZ\9dJ0EH8fgE+RU9h EH 5MWQCBEiJEH MHZ\AOMNW7CF9uhi9J0CFMHZjMNK\AFEH@QRDMH@Qh MN@ AF@QR^KjZ\PgJK\AFEH@32[MHJk4 MNZjAOMNW7CF9hi9J0CFMHZjMNK\AFEH@rf7Z\E VAOhi9R W)ENKj4
(38) K\479AF@7ABK\AOMNC MHCBP79 EIZ5K\479 2MHZ\AOMNWQCB9DMN@gh
(39) MK^TVf)9hi9J0CFMHZjMNK\AFEH@S, @QRUK\ZjPQJ K\AFEH@QRdMHZ\9DJ0EH8fgE+RU9hEH MIR\R\AFGH@7890@+KkR0¡SJ0EH@QhiABK\AFEH@gMNCoAB@gR^KjZ\PQJ K\AFEH@QR¡47AFCB9CFEVEHfQRDMH@QhR\9X+P79@QJ 9R0354799i f7Zj9RjRUAFEH@gRLPQR\9hrAF@ \J0MNEH@g@QhUh7k AKj¡%ABU EIEH@QZ2Rk ¡%MNU @g@7hENK2k MH¡VRDU 9ZjXVABGI 4+¡VK^ fQ4QCBMNPQ@QRL h ¡iEHR\AFZhi^ 98RAFEH@V 5PQRXMI R\R\EHABGIf)@7908ZkM90Kj@+ABEIKj@QRR0MNoZj359u47WgAOR5EVEHCFMHCF9@7MHGH@ PgMNEHGHZ9?AF@+AOR K\90 HGI9090ZjZT9J0i CBE+f7RUZ\9`9R\K\R\E-AFEHK\@S4Q¡S9 HABK\4 COMN@QGHPQMHGH9?EN
(40) n#*" ¡7WQPiKd9D4gM H9?@7ENKGHA H9@
(41) MR\TV@IKkMHJ K\AOJ?R\90fgMNZkMK\AFEH@$Wg90K^990@W)E+EICB9MN@
(42) 9i f7Zj9RjRUAFEH@gR MH@QhDMNZjABK\4789 KjAFJ[9i f7Zj9RjRUAFEH@QR¡R\E5K\4gMKSKj479 f7ZjEHGIZjMH88-AF@7G5COMN@7GIPQMNGI9 @Q909hQRM5K^TVf)9 Jk479JI 90ZK\EL90@QR\P7Zj9 J0EH@QR\AOR^Kj90@+KLPQR\9EH [WgEVEHCF9MH@MN@ghMNZjAKj4789 KjAFJ 2MHZ\AOMNWQCB9R0L354QAFR?RUEIP7ZkJ 9COMN@7GIPQMNGI9D4QMHR?MNCFZj9MHh7T$W)909@ PgRU9h EIZENK\4Q90Z9i f)90ZjAB89@IKkR5EN o89Jk4QMH@7AFJMNCFCBTJk4Q9JH 9hfQZ\EVEN RD !T" , @$EHP7Zf7Z\EVEH h79 H9CBEIf7890@+K¡IK\4Q9?R\TV@IKkMHJ K\AOJdhi9RjJ ZjAFfiK\AFEH@EH K\479?COMN@7GIPQMNGI9AFRGHA H9@uW+T8PiK\PQMHCBCFT AF@QhiPgJK\A H9 K^TVfg9R 46587965 : ¡;=< > ¡@? A4b¡@B? C ¡B? C ¡ > !4D?b¡@;=B¡MH@QhFE /C ¡J0EHZjZ\9RUf)EH@Qh AF@7GK\EM 2MHZ\AF9 K^T
(43) EN R\TV@+KjMHJ K\AOJJ0MNK\9GHEHZjAF9RGr9-RU4gMNCFC{EI@7CBThi90KjMNAFCoMu 90lEH K\479RU9K^TVfg9R0;=< 6> AFR h79RjJ ZjABW)9h$WVTu EHP7ZdJ0EH@QRUK\ZjPQJ K\EHZkR¡+ABK\4
(44) Kj479 EHCFCBEAF@7G-K^TVfg9R0. S. HJI KHML.
(45)
(46) & . . . ;=B . # ; < 6> ¡QZ\9f7Z\9RU9@+KjR5MN@MHRjRUAFGH@Q8-9@+K. ? A 4 . ' ? A4 ; < > ;=< 6> ;=< > ¡iZj90f7Zj9R\90@+KjR5MuJ0EH@QhiABK\AFEH@gMNCJ EI@QR^KjZ\PgJK ; < 6> ;=< > ¡iZ\9f7Zj9R\90@+KjR5MRU9X+P790@QJ09 EN oAB@QRUK\ZjPQJ K\AFEH@QR $b / ? A 4 ; < 6> ;=< > ¡7Zj90f7Zj9R\90@+KjR5M-47AFCB9DCFEVEHfS B? C Zj90f7Zj9R\90@+KkR Kj479J0MNK\9GHEHZjTuEN ohi9J0CFMHZjMNK\AFEH@$W7CBEiJiR5ABKd4QMHR5EI@79DJ EH@gR^KjZ\PQJ K\EIZ V B? C B? C C Zj90f7Zj9R\90@+KjRKj479J0MNK\90GIEHZjTEN RUAF@7GHCF9Dhi9J0CFMHZjMNK\AFEH@S¡VABKd4QMHR5EI@79DJ EI@QR^KjZ\PgJK\EIZ V ;=B > !4D? E C B? C . . . . . . . B?. . . . . ¢LENKj9Kj4QMKM MNZjAOMNW7CF9-h79J COMNZkMKjABEI@rJ0EH@+KjMHAB@QR W)ENKj4 K\479uAF@+K\90@ghi9hK^TVfg9 EIZ K\479 MNZjAOMNW7CF9-MH@QhrK\479 AF@7ABK\AOMNC MHCBP79I 35479h7T+@gMN8AFJR\908uMN@+KjAFJREN LKj479COMN@7GIPQMNGI9AORhi9RjJ ZjAFWg9hPQR\AF@7GM J0EHCFCB9JKjABEI@EH `AF@QhiPQJ K\A H90CFT h79 Q@79h fQZ\EIfg9ZUKjAB9RKj4QMKhi9R\J0Z\AFW)9rKj479 Wg94QM VABEIZEN 9MHJk4 RUTV@+KjMIJK\AOJ J0MNK\90GIEHZjTH ¤QEHZAF@QR^KkMN@QJ09H¡ B
(47) ? E AFR9CBC EIZ\89h479@ B ?b¡bMN@Qh E 4QM H9Zj9R\fg9JKjA I9$K^TVf)93 R B? C ¡ ? A 4b¡ MN@gh E C 4790@K\47AOR?f7Z\EIfgE+RUABK\AFEH@4QEHCOh7R0¡ABKD9 if7Zj9RjRU9RK\4gMK 9 MNCFPQMKjAB@QG ? AF@Kj479-90@ VABZjEH@7@Q90890@+K B bEHZ iRJ EIZ\Zj9J K\CFTMN@Qh-Zj9 KjP7Z\@gRoK\479 2MHCBPQ9 EH35479LENK\4Q90Z[AF8fgEIZUKkMN@+K[f7ZjEHf)90Z\K^TAFR 0 B ; B AORb90CFC EHZj89h$4790 @ B
(48) ;¡QMH@Qh BS4QM H9?Z\9RUf)9J K\A H9 K^TVf)9G R B? C !¡ ;=< > ¡7MN@Qh B? C 4790@ Kj47AOR[f7ZjEHf)90Z\K^T47EICFhQR0¡+AKb89MN@gRK\4gMK 9 V9J PiKjAB@Q G ;oAF@uK\479`AB@QAKjAFMHCgRUKjMKj 9 B Kj90Zj8AB@QMNK\9R[@7EIZ\8uMNCFCFTMN@gh Zj9 KjP7Zj@QRbK\479D@Q90 RUKjMNK\8 9 B[3547AORf7ZjEHf)90Z\K^TuAORdhi9 g@79h
(49) WVTuK\4Q9J EH@gR^KjZ\PQJ K\EIZjRbGHA H9@AF@
(50) QGHP7Zj9tH 35479 KjMHZ\GI9 KCOMN@7GIPQMNGI9PQR\9hDAF@DK\4QAFR{fQMNf)90Z{Z\9f7Zj9R\90@+KjRSM`RUAF8f7CF9MHRjR\908WQCBT`CFMH@7GHPQMHGH9I K J0EH@+KjMHAB@QR EIP7Z\K\909@AF@QRUK\ZjPQJKjABEI@QRh79 VAFR\9hK\E f7AFCBEHKMr8uMHJk47AF@79
(51) AKj4MrZ\9GHAOR^Kj90Z¡[MrRUKjMIJ )¡[MH@QhMr8908EHZjTH @gR^KjZ\PQJ K\AFEH@QRLMNZj9 ¡ ¡ $ ' K\E8MH@QMNGI9 K\479-J EI@IKjZ\EIC QED¡ $ ¡ ¡)K\E8uMH@QMNGI9 Kj479LRUKjMIJ )¡ ¡ ¡ ¡ ¡ @ ¡ ¡N KjEJ EI 8f7PiK\9 MNCFP79R¡ ¡ KjE9 7Jk4QMH@7GH9h7MNKjMDW)9 K^b909@ MN@gh K\479Zj90GIAFRUK\9Z¡MH@Qh 898-EIZ\TCBEiJMK\AFEH@gR K\ER^KjEHZj9h7MKkM AB@ K\479rZ\9GHAOR^Kj90Z 35479RU9 eLCBCiJ0EH8f7PiKkMK\AFEH@AB@QRUK\ZjPQJ K\AFEH@QR AF@QRUK\ZjPQJKjABEI@QR MNZj9[GHZjEHP7f)9hAB@-MN@AF@QhiPQJ K\A H9K^TVfg9b@QMN89h Zj9 KjP7Zj@Kj4790AFZ MHCBP79LAB@Kj479dZj90GHAORUK\90Z¡Kj47EIR\9K\4gMK[KkM H95K^bEMNZjGHPQ8- 9@+KjRoKkM H9EI@79AF@uK\479LZ\9GHAOR^Kj90Z[MN@gh EI@79EI@K\EIfEN [Kj479RUKjMIJ ¡g47AOJk4AORLf)EHfQfg9hAF@K\479-f7ZjEiJ 9RjR bZjMH@QJk47AF@7GuAB@gR^KjZ\PQJ K\AFEH@QR`EH@QCBTZj9 90Z KjECFMHWg9CAB@QRUK\ZjPQJ K\AFEH@QRuedCFC MNCFP79RDMHZ\9-@QMKjP7ZkMNC MNCFP79R¡S9 H90@rK\4QEHP7GI4 R\EH89-AB@QRUK\ZjPQJ K\AFEH@QR 4QM I9-M W)EVEHCF9MH@J EI@7@7EHKjMKjABEI@S{¤QEHZW)EVEHCF9MN@-AF@QR^KjZ\PgJK\AFEH@gR0¡ bRUKjMH@Qh7R EHZoKj4795K\ZjP79 MNCFP79MN@Qh EHZoKj479b MNCORU9 MHCBP79IedCORUEg¡ MH@Qh AF8f7CF90890@+K P7@VWgEIP7@Qhi9hEIfg9ZjMNK\AFEH@QR @EHPQZ`f7ZjEVEN h79 H9CBEIf7890@+K¡ MH@MNWQRUK\ZkMHJ KL8uMHJk47AF@79 EHZdKj47AOR`MIR\R\908W7CBT
(52) COMN@7GIPQMNGI9DAFR`AB8f7CF9089@IKj9hWVT90@gJ EihiAF@7GuK\4Q9RUKjMHJ MN@gh Kj4798908EIZ\TMIRCFAFRUKjRLEN @QMKjP7ZkMNC@VP78W)90ZkRdMH@Qh
(53) K\479Z\9GHAOR^Kj90ZdMHRLM@QMKjP7ZjMHCS@VP78W)90Z354QAFR`h7MKkMAFR GIZ\EIP7f)9h$AB@M-K\4QZ\99 Q90COhZ\9J EIZjh@QMN89h 35479J0EH8f7PiKkMK\AFEH@EH {Kj479@79 RUKjMNK\9D479@ 9 i9J P7K\AF@7GuMN@
(54) AB@QRUK\ZjPQJ K\AFEH@AFRh79RjJ ZjABW)9h$PQR\AB@7G Kj47Zj909? P7@QJ K\AFEH@QR. $. ,. . & %( % <& . . . . . b. e e . / X$ ( % %. . +,. ?, A. . e ( K u ! 35 47AOR[ AOR MDfQMHZUKj!AFMHCi P7@QJ K\AFEH@u Kj4QMKbJ EH8f7P7K\9R[K\479L@790 RUKjMIJhi9fg9@QhiAF@7GEH@Kj479dEICFhuRUKjMIJMN@gh . . K\479DAF@QRUK\ZjPQJKjABEI@S. q. . . . . . "!.
(55) X. . ` L? A J4 `p < (B L? ;C 6 ` ; p ; B e` X E /C & ; ` L ; < 6 > ` e ? AX 4 ` B e? XC ' L p p ` L ; ' < 6 > p ` e? AX 4 ` p B ?U C L ' L ` L; < 6> ' ` p ? A e4 `X $bB ? L C ` L; < 6> ` p ? A e4 X` p Be? LC $b L e L $U / X ` e L ;=< > ` e L;= < 6> ` ( B? C U L p p ` B ? K C e L . . . !. . . . . . . . !. . !. . . . !. . . . . . !. . . . . . . . . . . . !. . . . . . . !. . ! . . . . . . . . . . . . . . . . p. !. . "! . . . . . . !. . . . " . . . . !. . . . . . ! . . . !. . . . !. . . . !. . . . !. . . . . . . . !. . !. . . . ". . . . !. . . . . . . !. . . . . ¤ AFGHP7Zj9tH[35479DhiTV@QMH8-AOJDR\908uMN@+K\AOJ0RbEH {Kj479RUEIP7ZkJ 9?CFMH@7GHPQMHGH9I. F & X. . . u . ! 3547AORAFRuM. Qf MNZ\K\ AOMNC5 PQ@QJKjABEI@ Kj4QMKJ0EH8f7!PiKj9R-Kj479@790 MNCFP79EN ?K\479 Zj90GIAFRUK\9Z-hi9fg!9@QhiAF!@7GEH@K\4Q9EHCOh Z\9GHAOR^Kj90Z¡+K\479DEICFh
(56) 8908EHZjTH¡VKj479 EHCOhR^KkMHJ ¡iMN@Qh$K\4Q9DAB@QRUK\ZjPQJ K\AFEH@S. . . . . . !. 3 47AOR AORbMDK\EHKjMH Cg PQ@QJKjABEI@!K\4gMKbJ0EH8f7PiKj9R K\4Q9`@79 8908EHZjTuhi90f)90@Qh7AB@7G-EH@K\479 MNCFP79LEH SK\479 5 Z\9GHAOR^Kj90Z¡+K\479DEICFh
(57) 8908EHZjTH¡7MH@QhK\479DAF@QRUK\ZjPQJKjABEI@S eL@ AB8f)EHZ\KjMN@+KfQMHZUKEH `Kj4798uMHJk47AF@79W)904QM VAFEHZuAORMNCOR\E GIA I90@ WVTK\4Q9bM2TKj479@79 VK9 i9J0PiK\9h AF@QRUK\ZjPQJKjABEI@$AORdJk47E+RU9@S¡+K\47AORAORdhi9R\J0Z\AFWg9hPgRUAF@7GEH@79? P7@gJK\AFEH@ . . u u K u u 3547AORLAOR` MfQMNZ\K\AOMNC P7@QJ K\AFEH@Kj4QMKDJ EI8f7PiK\9RLM@790lCFAFRUK EN [AF@QR^KjZ\PgJK\AFEH@gR0¡hi90f)90@ghiAB@QG$EI@K\479 47EHCF99i9J P7K\9h fQZ\EIGHZkMN8¡Kj479fQZ\EIGHZkMN8 ZkMNGI8-9@+KK\4QMNK EICBCFEdR K\4Q9$J PQZ\Zj90@+K\CFT 9i9J0PiK\9h . . . . . . . . . !. . . . BA @gR^KjZ\PQJ K\AFEH@S¡7K\479 MNCFP79 EN K\4Q9?Zj90GIAFRUK\9Z¡7MH@QhK\479J0P7Z\Zj90@+KAF@QR^KjZ\PgJK\AFEH@ `RUAF@7GK\4Q9R\9D P7@QJ K\AFEH@QRb9hi9R\J0Z\AFWg9 Kj479DW)904QM VAFEHZEN oKj479MNWQRUK\ZkMHJ K8MIJk47AF@79DPQR\AB@7GMH@AB@Qh7PQJ KjA I90CFThi90Q@79h
(58) f7ZjEHf)90Z\K^T ABK\4
(59) Kj479 EHCFCBEAF@7G-K^TVfg9I. U ( e X [ p e X p u p e ( p 4 $ , @+& KjP7A Kj%A $ I90 CF TH ¡{ K\479
(60) R^KkMX8Kj90M8(90@+K e X X & F & 8$A9MH @Q!R0 K e X 8 & 35%$e47M90Zj9$MH& Z\9 K^qbE & J EI@Q RUK\Zj PQ JKjXEH VZkR . . . . . . . . . . ". . . . . . !. . . . !. S. HJI KHML.
(61)
(62) !. e ( ` & u ` e ( e X & e X F F ` & & & u ` F e ( ` ` ` ( p & & & p F & ( ( p e X & & F p e X & & F 01 o>'E
(63) 9e@CI=9<CL>'E 1 354gMN@<iRK\EdKj479b9V K\ZkMHJ K\AFEH@89Jk4gMN@7AORU8 f7ZjE VAFh79hDAF@_EiX)¡2AKAORf)EIRjRUAFW7CF9 KjELEIWiKjMHAB@M`f7ZjEHGIZjMH8 ZjEH8 Kj479f7ZjE H9hMHCBGIEHZjAKj478 % $ ) <F H& ¡HKj4+PgR[M HEIAFhiAF@7G RUfQP7Z\AFEHPgRo90ZjZ\EIZjR k MHCKj47EHPQGH4-K\479 ZjEH@+K[9@QhuEN Kj479LJ EI8f7ABCF90Z¡NKj 4QMKKjMVH9R J0MNZj9EN fQ MHZjR\AF@7G K\479LAB@7fQPiKbRUK\ZjAB@QGQ¡IMH@Qh-K\4Q9dWQMHJ-90@gh¡HKj4QMK KkM%I 9R?J0MNZj9EH f7ZjAB@+KjAB@7G$K\4Q9-EIPiK\fQPiKDAB@ MQCF9-4QM H9K\E
(64) Wg9-ZjAK\K\90@ WVT4QMN@ghl 3{Eih7M2TH¡b9W)90CFAF9 H9 Kj4790Zj9 AFRdEH@7CFTEH@Q9?EHK\479ZdJ EI8-fQZ\94790@QR\A H9?f7Z\EVEH {EN MJ EI8-fQABCF90Z5Kj4QMKd4QMIR5Wg990@ /X I90ZjAQ9h 89Jk4QMN@7AOJ0MHCBCFT k R\909 RU9JKjABEI@tH pU l 3547AORbEIZF 8uM2TuMNCORUE-J EI@IKjZ\AFW7PiKj9`AOhi9MHR K\E-Z\9RU9MNZkJk4790ZkRAF@IKj90Zj9RUK\9h AF@J EI8-fQABCF90Z H9Z\ABgJMK\AFEH@$ EHZ5K^bEMHR\fg9JKjR5EH Zj9MIRUEI@7AF@7GEI@
(65) MIR\R\908W7CFTuCFMH@7GHPQMHGH9?9i 9J0PiK\AFEH@ e`R\R\908W7CBTDfQZ\EIGHZkMN8uRS4QM I9 @7E RUK\ZjPQJKjP7Z\9bMN@QhK\479ABZoW)904QM VAFEHZ AFR I90ZjT J0EH@+K\9VKohi9fg9@Qhi9@IK 354QAFR EIZ?K\47AORDhi9 g@7AKjABEI@S¡Kj479-QZjRUK EH@79I¡ ¡9 if7Zj9RjR\9RLK\4QMNK 9 i9J P7K\AF@7G
(66) MH@98-f7K^Tf7ZjEHGHZkMN8 Kj90Zj8AB@QMNK\9R5AKj47EHPiKLJk4gMN@7GIAB@7GK\4Q9R^KkMK\9I ! ! " 354795R\9J EI@QhDJ EI@QRUK\ZjPQJKjEHZ¡ 9 if7Z\9R\R\9RSK\4QMNKKjE`9 V9J PiKj9M@QEH@ 908fiK^T f7ZjEHGIZjMH8
(67) ¡THEIP gZjRUK4QM H9bK\EJk4Q9J DKj4QMK J0EH8f7PiKjAB@7G Kj 479@79 RUKjMIJ )¡HZ\9GHAOR^Kj90Z¡NMN@Qh-f7ZjEHGIZjMH8lEIZ iRoJ EIZ\Zj9J K\CFTH¡NMN@gh Kj4790@TIEHPJ0MN@J EI@+K\AF@+PQ9?TIEHP7Z59 V9J PiKjABEI@$ABK\4
(68) Kj479D@790 RUKjMHJ ¡i8908EIZ\TI¡+Zj90GIAFRUK\9Z¡iMH@Qh
(69) f7Z\EIGHZkMN8 . ". . . . . . " ". . . . . . . !. . !. . !. . . !. . . . . . ! . . . . . !. . . . . "!. . . . . AORhiP795KjE?K\479dR\908uMN@+KjAFJR{EH gW7ZkMN@gJk47AB@QG?RUKjMNK\9089@IKkR0o3{E RUK\PghiTKj479R\9R^KkMK\9890@+KjR¡Nb9b4gM H95hi9 VAORU9h M8-EIZ\9$MNWQRUK\ZkMHJ K EHZj8 EH LMHRjRU98W7CFT CFMH@7GHPQMHGH9u47AOJk4AORUEICFMNK\9R K\479J EI@+K\ZjEHC QE fQMHZUK¡oGHA +AF@7GM R\f)9J AOMNCRUKjMKjPQR K\E-CFMHWg9C)MH@QhW7ZkMN@gJk47AB@QGR^KkMKj90890@+KjR0 AKj4Kj47AFR5MHWQR^KjZjMIJK5MHRjRU98W7CFTCOMN@QGHPQMHGH9H¡I9 4gM H9h79RjJ ZjABW)9hK^E
(70) f7ZjEHf)90Z\K\AF9RLK\4QMNKMNZj9AF@+K\90Zj9RUK\AF@7G$ EHZDMHRjR\908WQCBTCOMN@7GIPQMNGI9f7ZjEHGIZjMH8uR0¤ AFZjRUK¡ ABKAFR5AF8fgEIZUKkMN@+KbK\4QMNKMIR\R\908W7CFT-fQZ\EIGHZkMN8uR W)9 ¡iAF@$K\479DR\90@QR\9LKj4QMKdMHCBCCOMNW)90CORMNZj9`PQR\9hEH@7CFT EI@QJ 9Iosi9J EI@Qh¡IAKbAFR AB8f)EHZ\KjMN@+KKj4QMK fQZ\EIGHZkMN8l Zk MNGI8-9@+KjRW)9 ' ¡VAB@Kj479`R\90@QR\95K\4gMKMHCBC WQZjMH@QJk47AF@7GR^KkMKj90890@+KjRLAB@Kj479fQZ\EIGHZkMN8 ZkMNGI8-9@+KLZ\90 90ZKjECOMNW)90CORKj 4QMK` MHZ\9MNCORUEuAF@K\479f7ZjEHGHZkMN8 $ 8 K\4gMK$R\47EK\4QMNKK\479 ZkMNGI890@+K r94gM H9
(71) K\479@ f7ZjE H9hK\4QZ\99WQMHR\AOJ ' 9 i9J P7K\AFEH@EH {RU9C J EI@+KjMNAF@79h- ZjMHGH890@+KjRbJ0MH@W)9`AORUEICFMNK\9h Z\EI8 K\47 9 J EI@IKj9 VKbMIR AB SKj4790Tub90Zj9`R\AB@QGHCF9 fQCFMHAB@ A 9IB¡Q@7EH@W7ZkMN@QJk4QAB@7G [AF@QRUK\ZjPQJKjABEI@QR[3547AFR5AOREIP7ZbQZjRUKLJ EI@+K\ZjABW7P7K\AFEH@S sV9 H9ZjMHCoK\479EHZj908 f7ZjE H9ZjR?f7ZjE VAFh79fQMIJ MNGH9R` EHZhi90Q@7AF@7GAF@QhiPQJ K\A H9R\9 KjR EIZDf7ZjEHf)90Z\K\AF9RDMN@gh Zj9MIRUEI@7AF@7GWVTAF@QhiPQJ K\AFEH@ EH@rK\479RU9-EHWi]^9JKkR0 4790@ J EI@QRUAOhi9Z\AF@7G$K\4799 i9J PiKjABEI@EN K\479uJ0EH8f7AFCB9h J0Eihi9o EHZSCFEVEHfJ0EH@QRUK\ZjPQJKkR0¡0K\479 WQMHR\AFJoAF@QhiPgJK\AFEH@DfQZ\AF@QJ AFf7CF9Rf7Z\E VAOhi9h`WVTdKj479R\9[fQMIJ 2MHGH9RMNZj9 PgRUPQMHCBCFT R\P J AF90@+K W7PiK P7@VAB9CFh7TH 9PQR\9M$J0EH8fQMNZjAORUEI@AKj4K\4Q9-@QENK\AFEH@EN J0EHP7ZkRU9 EH MHCBP79AB@Qh7PQJKjABEI@ EI@r@gMK\PQZjMHC @VP78Wg9ZjR?KjEhi9RjJ ZjABW)9uM$K\9Jk4Q@7AFX+P79-KjEh790ZjA I9-MH@QhfQZ\E I9-M$8EHZj9-GI90@79ZjMHCoAB@Qh7PQJKjABEI@ Kj4790EIZ\98o354QAFRb@79 AF@QhiPQJ K\AFEH@Kj4790EIZ\98ABCFCW)9?8EIZ\9?MHh7MHfiK\9hu EHZbKj479? EHZj8MHCR^KjPQhiTuEN CBEVEIf7AB@QG MIR\R\908W7CFTuf7Z\EIGHZkMN8uR 3547AOR5EHPQZdRU9J EH@gh$J0EH@+K\ZjABWQPiK\AFEH@S. . . k. A.. q. el. . $ & u AF . .
(72) X. q. . 01. 8-2NS9e8 G >@ ¥J_bMNZ\K\4VTMH@QhYoMNAF@+K\90ZM :Hn*" MIh7hiZj9RjRU9hKj479X+P79RUK\AFEH@EH ofQZ\E VAF@7G-K\479J0EHZjZ\9JKj@79RjR5EN MJ EI8f7ABCF90Z EIZdRUAF8f7CF9MNZjAKj4789 K\AOJ?9i f7Zj9RjRUAFEH@gR035479 KkMNZjGH9 K5COMN@7GIPQMNGI9?hi9R\J0Z\AFW)9RMuR\AB@7GICB9DMIh7hiZj9RjRbJ0EH8f7PiKj90Z ABK\4 MN@ MHJJ P78P7CFMNK\EIZ-MH@Qh EIP7ZAB@gR^KjZ\PQJ K\AFEH@QR¡[EH `47AOJk4@QEH@79
(73) W7Zj9M%i RK\479J0EH@+K\ZjEHC QED354QAFR AORDMN@ AF@IKj90Zj9RUK\AF@7GRU98-AF@QMHCEIZF ¡W7PiKABKhiEV9R @7EHKMHh7hiZj9RjR?89Jk4QMH@7AFJMNC H9Z\ABgJMK\AFEH@ DEIZ J0EH@+K\ZjEHC gE AFRjR\P79R¡SMHR`K\4Q9KjMNZjGH90K`COMN@7GIPQMNGI9-h7E+9R?@7ENKJ EI@+KjMNAF@rJ0EH@Qh7AKjABEI@QMNCoEHZ W7ZkMN@gJk47AB@QGAF@QR^KjZ\PgJK\AFEH@gR0 ¥MN@VTZ\9RU9MNZkJk4790ZkR4QM I9W7P7AFCBK PQfgEI@K\4QAFR 9V f)90ZjAF8-9@+K`KjE
(74) RUK\PQh7T 2MHZ\AFEHPgR`MHf7f7ZjEIMHJk4Q9RKjE$fQZ\E VAF@7G J0EH8f7AFCBAF@7GMHCBGIEHZjAKj478uR0¡QW7PiKDRU9CFhiEI8ABK\48-9Jk4QMN@QA 9h H9Z\ABgJMK\AFEH@AF@8AB@QhS`Y EHCOM%h nIw*" GIA I9RdM R\P788uMNZjTuEN K\47AORbEHZ$ Y EHCOM%: nHw*D " f7Zj9R\90@+KjRK\479 H9Z\ABg J0MNAFK\RAFEH8@ EHENZj9 MJ0EH8YoMHf7RjZjJ090MN47C 9 CB@QAH R\A9 I9f7ZjKjEH4QGIMNZj@MH8EIP78-ZkAFR0@7¡ GMHRCOMNY @7EHGICOPQM%MN GI9MNCORUPQER\AB@7fQGZ\E IK\479h9 sVKjMN@7 EHZkh 9Z\ABQ9Z nQt"
(75) 354QMNKbEHZ$ Kj479`J0EHZjZ\9JKj@79RjREN Kj479d ZjEH@+K 9@QhufQMHZUKKj479LCF9i AOJ0MHC)MH@QMNCFTiRU9Z[AFR f7ZjE H9hJ0EHZjZ\9JK ABK\4Zj9R\f)9JKK\EM Zj90GIP7COMNZS9V fQZ\9R\R\ABEI@Dhi9RjJ ZjABf7K\AFEH@MN@gh?K\479fQMNZkRU9ZSAORf7ZjE H9h J EHZjZj9JKSABK\4Z\9RUf)9J KSK\E?MN@&){aJ EI@IKj9V K Zj909DGIZjMH88MHZ5¥EHZj90E I90Z¡VK\479CFMH@7GHPQMHGH9DMHhQhiZ\9R\R\9h
(76) AORd8PQJk4R^KjZ\EI@7GH9Z5K\4QMNKLEHPQZdWQMHR\AOJ 97 MN8f7CF9H fQZ\EiJ 9hiP7Zj9R MN@Qhf)EHAF@IKj90ZkR{MHZ\95MNCFCFE9hDAB@K\4Q9bCOMN@QGHPQMHGH9H dEb9 H9Z¡Kj4795CBEIGHAOJ PQR\9hAB@K\4Q9sVKjMN@7 EHZkh I90ZjAg90ZoAFRQZjRUK[EHZkhi9Z[MN@QhR\EH895EN )K\479f7ZjEVEN RoAF@Y EHCOM% RobEHZ$D b90Zj95JMNZjZ\AF9hEHP7K[W+T4QMN@gh¡HAF@- MHJK . . . . . . .
(77) . . MHCB8E+R^KMHCBCKj479f7ZjEVEN R Kj4QMKAB@ H EIC I 9hrAB@ghiPQJKjABEI@S bTrJ EI8fQMNZjAFR\EH@¡b9u4QM H9MHCFR\E8-9Jk4QMN@QAFJMNCFCBT I90ZjAg9hKj479GH9@790ZkMNCFA 9hAB@Qh7PQJKjABEI@f7ZjAF@QJ AFf7CF9R-K\4gMKu9PQR\9hS eL@7ENKj4790ZR\ABGI@7ABgJ0MH@IKuhiA )9Z\9@QJ 9. F. %. W)9 K^b909@Kj479DK^bEf7AB9J 9R5EN oEIZ uAOR5K\4gMKLY EHCOM Zj90CFAF9R5EH@Muhi9@7ENKkMK\AFEH@gMNCSR\908uMN@+K\AOJ0Rh79RjJ ZjABfiKjABEI@ EH Kj479uf7ZjEHGHZkMN88AF@7GCOMN@7GIPQMNGI9R`47AFCB9uEIP7Zhi9RjJ ZjAFfiK\AFEH@rAFRDWgMHR\9hrEH@ @QMKjP7ZjMHCRU98MH@+K\AOJ0R¡S47AOJk4 b9 Wg9CBAF9 I9 Z\9XIPQABZj9R5CF9RjR58uMK\4Q908uMKjAFJMNCWQMIJ +GIZ\EIP7@Qh ¥EVEIZ\9 MN@Qh$47AORbK\9MN8 f)90Z\ EHZj89hK\479 89Jk4QMH@7AOJ0MNC I90ZjAgJMKjABEI@EN oM4QABGI4 CF9 I90CMHRjR\908WQCBTuf7ZjE GIZjMH88-AF@7G-CFMH@7GHPgMNGH9?J0MHCBCF9h
(78) YABK\EH@MH@Qh$MH@
(79) eLCBGIEHC CFA H9?CFMH@7GHPQMHGH9?J0MNCFCF9h<?T+fgRUT : #i¡7n PgRUAF@7G-K\479 ¢`XIK\478 K\479EHZj908 f7ZjE H9Z Ftw @ RUEI8-9R\90@QR\9H¡EHP7Z9 Vf)90ZjAF8-9@+KAFRuJ0CBE+RU9$K\E K\4gMKbEHZ )¡MHRAF@ W)ENKj4J0MHR\9R?Kj479u89Jk4QMH@7AOJ0MNC I90ZjA)J0MKjABEI@KjE+EIC[908Wg9h7RM
(80) f7ZjEHGIZjMH8-8AF@7G
(81) CFMH@7GHPQMHGH9-AB@ 47AOJk4 K\479 J0EH8f7AFCB9ZDAFRZ\ABKUKj90@S @rKj4790AFZJMHR\9H¡Kj479f7ZjEHGIZjMH88-AF@7G
(82) CFMH@7GHPgMNGH9-AO& R )SAORUf dEb9 I90Z¡K\479CBEIGHAOJ fQZ\E VAOhi9h$WVT$¢LXIKj478AORdb9M H9ZKj4QMN@Kj479DEH@Q9Df7Z\E VAOhi9h
(83) WVT_EiX$MN@Qh$K\4Q9RU98uMN@+K\AOJDhi9RjJ ZjAFfiK\AFEH@QR R\P 90Z5 ZjEH8Kj47AOR5CFMIJ uEN ofgEb90Z ¤QEHZAF@QRUKjMN@gJ 9H¡ifQZ\EIGHZkMN88AB@7GCFMH@7GHPgMNGH9?hiTV@QMN8AOJ RU98MH@+K\AOJ0R5J0MH@ EI@7CFTW)9Z\9f7Zj9R\90@+K\9hrPgRUAF@7GM
(84) K\EHKjMHCJ EI8f7PiKjMHW7CF9 P7@QJKjABEI@S¡RUEKj4QMKAK-bMIR @79J09RjR\MHZ\TKjEMHhQh M \RUK\90f
(85) J EIP7@+K `MNZjGHPQ8-9@+K K\EK\47AORb P7@QJ K\AFEH@K\E-90@QR\P7Zj9dK\4Q9`Kj90Zj8AB@QMNK\AFEH@EH SK\4QAFR P7@QJ K\AFEH@S KAOR[Kj4790@ @QENKf)EIRjR\ABW7CF9dKjE9 VfQZ\9R\R K\4QMNKbMf7Z\EIGHZkMN8 9 i9J0PiK\9RMH@QhKj90Zj8-AF@QMNK\9RAF@GH9@790ZkMNC {AF@QRUK\9MHh¡+EH@79?J0MH@ EI@7CFTR^KkMKj9Kj4QMKM
(86) f7ZjEHGIZjMH8 9 i9J0PiK\9RDMN@QhrK\9Z\8AF@QMKj9R AF@ CB9R\R?Kj4QMN@ RUK\9fQR354Q9 MNZjGHPQ8-9@+K Kj4790@rGH90KjRdAF@+K\EK\479-bM2T
(87) 479@f7ZjE +AF@7G9X+P7A MHCB9@QJ 9Wg90K^990@RUK\9fQR0 bTJ EH8fQMHZ\AOR\EH@S¡QK\479EIZ h79RjJ ZjABW)9hAB@K\47AORfQMNf)90ZMK\K\98-f7KjR-K\E R\47E K\4QMNKK^T+f)9 K\4Q90EHZjT AFRMr8EHZj9$R\P7AKkMNW7CF9$ ZjMH8-9EIZ KjEfg9ZU EIZ\8"K\479RU9ufQZ\EVEN ReLCFR\EQ¡{K\479f7Z\EVEH WVTAF@QhiPQJ K\AFEH@f)90Z\ EHZj89h AB@ n bAFRR\MHAFhrK\EPgRU9MH@ AF@QhiPgJK\AFEH@47AB@+K-K\4QMNK-4gMHRt2:fQMHZjMH89 K\9ZjRMN@QhAFR: #HwCBAF@79RCFEH@7Gg 9$W)90CFAF9 H9$EHP7Z-89 Kj47Eih EHZ RUK\ZjPQJ K\P7ZjAB@QGuK\479f7ZjE+EH ^¡QPQR\AF@7Gu ZkMNGH89@IKkMKjABEI@K\479EHZj908uRdMN@ghMuGH9@790ZkMNCFA 09h
(88) AF@QhiPQJ K\AFEH@fQZ\AF@QJ AFf7CF9H¡ JMN@
(89) 4790CFf8uM H9?Kj479 4+PQ8MH@AB@+K\9Z I90@+K\AFEH@$CB9R\R5CFA H9 AB8f7Zj9RjR\A I9?ABKjJk4gJ ZkM K ¥EIZ\9Zj9J090@+K\CFTH¡ MH@Qh¡ <?P7KUK\8uMH@S¡c`CFA 2MQ¡{adMH8uR\hi9CBC ¡MH@QhsVbMHZ\PQf Ftq bhi9RjJ ZjABW)9hK\4Q9J EI8 fQCB90K\9f7ZjE+EH EH bM
(90) J EH8f7AFCF90Z EHZ?Kj479R\Jk4Q9089COMN@QGHPQMHGH9H¡SRUKjMHZUKjAB@QG ZjEH8"Mhi9@7ENKkMKjABEI@QMNCR\908uMN@+K\AOJ0R. . . 5 " ,. . . L. . , V. . . . ]. ]. " $. ,. F F. ". %. L. . . . . i *". L . "!#$&%('*),+ -".-".0/,% 12%($435.6 7,2%8 1 9/,%(+:*.. ; .<:5=?>
(91) @*A B".@. S. HJI KHML.
(92)
(93) v. h79RjJ ZjABfiKjABEI@S3547AOR5f7Z\EVEH {AOR H90ZjTuAF@IKj90Zj9RUK\AF@7GuMHRbABKLJ EH8f7Zj904Q90@QR\A I90CFTuR^KjPQhiAF9R5Kj479 2MHZ\AFEHPgRbMIRUf)9J KjR EH oK\479CFMH@7GHPQMHGH9I¡i EHZ`AB@QRUKjMH@QJ 9AB@QJ0CBPghiAB@QGGIMHZ\WgMNGH9DJ0EHCFCB9JK\AFEH@MH@QhEHf7K\AF8-A MNK\AFEH@Sd354Q9f7ZjEVEN 4QMHR W)909@hiEH@Q9dJ EH8f7CF9 Kj90CFTWVT4QMN@QhuMH@QhK\479`J EH8f7AFCF90Z[4QMIRW)9090@uAF8f7CF90890@+K\9h¡VRUE Kj4QMK ABKjR 9 J AF90@gJ T MH@Qh K\4Q9$9 uJ0AB9@QJ T EN Kj479$J0Eihi9ABKf7ZjEihiPQJ09hJ EIP7COhWg9
(94) J EI8-fgMNZj9h ABK\4KjZjMIhiAKjABEI@QMNCbJ EI8-fQABCF90ZkR0 354Q9LhiAOR^KkMN@QJ09dWg90K^990@Kj4QMK bEHZ MH@QhEHP7ZkRCFAB9R[AF@uK\4Q9 MHJ K[K\4QMNK[K\4Q9`J EI8f7ABCF90Z H90ZjABgJ0MNK\AFEH@Z\9CBAF9R EI@hi9@7ENKkMK\AFEH@gMNCR\908uMH@IKjAFJRDKjErhi9R\J0Z\AFWg9K\479
(95) RUEIP7ZkJ 9COMN@7GIPQMNGI9MN@Qh8MH@VT EH K\479$AB@+Kj90Zj8-9hiAOMK\9 COMN@QGHPQMHGH9R¡[MNCBK\4QEHP7GI4EIfg9ZjMNK\AFEH@QMHCbR\908uMN@+KjAFJRAORPQR\9h EHZ-Kj479CFMIR^K-KjMHZ\GI9 KCFMH@7GHPgMNGH9IeL@7ENKj4790Z R\AFGH@7ABgJ0MH@+Kh7A 90Zj90@QJ09AOR5K\479ABZ`PQR\9DEN AB@7Q@7ABK\9Zj90GIP7CFMHZ5K\Zj909R5K\EuZj90f7Zj9R\90@+Kf7ZjEHGIZjMH8R¡7R\EK\4QMNKdK\479 X+P79R^KjABEI@EH LP7@Qhi9ZjRUKjMH@QhiAF@7G4QEK\E Z\9MHR\EH@MHZ\EIP7@QhMrCBAF@79MNZ-Z\9f7Z\9RU9@+KjMKjABEI@ABK\4GIENKjE RUKjMNK\9 89@IKkRbAFRbhiAOR\J0PQR\R\9hEH@7CF
(96) T H9Z\TCOMK\9?AF@K\4Q90AFZ5h79 H9CBEIf7890@+K 479@Kj4790ThiEg¡+K\479TuGHEh7ABZj9J K\CFTK\EM 8uMIJk47AB@Q95K\4QMNKPQR\9R[MH@uAB@+Kj90GH9Z[f7ZjEHGIZjMH8 J EIP7@+K\90Z AB@QRUK\9MHhEH M 8uMIJk47AB@Q9dAKj4CFAFRUKjREH AB@QRUK\ZjPQJ K\AFEH@QR MH@Qh
(97) RUTV8W)EHCFAOJ?MIh7hiZj9RjRU9R5MHR5b9 h7EQ ¥EIZ\9 J CFEIR\90CFTZ\9CFMNK\9hK\EK\47AOR59 EHZ\KAOR5MNCFC)K\479 bEHZ MHZ\EIP7@Qh Ftv [¢LMNK\P7ZkMNC R\908uMH@IKjAFJRDAORMRUK^TVCB9EH f7Z\EIGHZkMN88AB@QG
(98) COMN@QGHPQMHGH9hi9R\J0Z\AFfiK\AFEH@hi!9Z\A H9h Z\EI8"@ @QMNK\P7ZkMNCbhi9h7PQJKjABEI@ G MH@Qh J CFEIR\90CFTZj90COMK\9hK\E " :Nv 2[MHZ\CFTbEHZ 4QMIRuRU4QE@Kj4QMK @gMK\PQZjMHCgR\908uMN@+K\AOJ0RJ EIP7CFhWg9`PQRU9hK\E-hi9RjJ ZjAFWg!9LK\47EIZ\EIP7@GH47CFT M MNZjAB90K^TEH Sf7Z\EIGHZkMN88AB@QGDCFMH@7GHPQMHGH9R Ft: LMN@QhK\4QMNKuf7Z\EIGHZkMN88AB@QG90@ VAFZ\EI@7890@+KjR-J EIP7CFhW)9
(99) WgMHR\9hEH@Kj479R\9hi9RjJ ZjAFfiK\AFEH@QR Ft ¡p7¡ :i¡ t ¥EIZ\9f7Z\9J AORU9CBT EI@K\4Q9$f7ZjEVEN dEH LJ EH8f7AFCF90ZkR0¡Q 9RUf)90TVZjEHP f7Zj9R\90@+K\9hAF@ Ft # dMfQZ\EVEN dEH KjZjMH@QR\CFMNK\AFEH@W)9 K^b909@ M I90Zj@790CoEN K\479 ¥ )COMN@QGHPQMHGH9MH@Qh MN@ MNWQRUK\ZkMHJ K?8uMHJk4QAB@79I @Kj4QMKDbEHZ )¡ Kj479bKjMHZ\GI9 KoCFMH@7GHPQMHGH9[Zj908uMHAB@QRoM?R^KjZ\PgJK\PQZ\9hCOMN@7GIPQMNGI9H¡K\4VPQR 8uM VAF@7G?AKf)EIRjRUAFW7CF9KjE?M IEHAOh K\4Q9bAORjRUP79 EH 7W7ZkMN@QJk47AF@7G?R^KkMK\9890@+KjR{eLCFR\EdKj47AFR f7ZjEVEN 75MHR hiEH@Q9H¡2WVTD4QMN@QhS¡AKj47EHPiKo89Jk4QMH@7AOJ0MNC H9Z\ABgJ0MNK\AFEH@S. .. .. $. *" = < u *" $ $. *" ". . 7120. 5. %. S{{[S %$ . A. T" ,. . $.
(100)
(101) {dd. '8?@A4 N b9e@N JK9 Q N J;HCFE=8 , b & . 1 3{ER^KjPQhiT
(102) RUKjMNK\9089@IKkR0¡ABKDAFR?@7EHK?@Q9J 9R\RjMNZjT
(103) K\E
(104) GHA H9-M$J0EH8f7CF9 K\9CBTJ0EH@QJ0Z\90K\9-hi9RjJ ZjABf7K\AFEH@EH M 8AOJ ZjEHf7ZjEiJ 9R\R\EHZ KAFREH@7CFT@79J 9R\RjMNZjTK\EJ0EH@QR\AOhi90ZM f7ZjEiJ 9R\R\EHZABK\4 R\EH89MNWQRUK\ZkMHJ KR^KkMK\9 Kj4QMK 9 i9J PiKj9R`AB@QRUK\ZjPQJ K\AFEH@QR`K\4gMK 8M2T8EihiAB TK\47AOR R^KkMK\9I¡SMN8EH@QG47AOJk4R\EH89AF@QRUK\ZjPQJKjABEI@QR?MNZj9 MN@QhRUEI8-9 MNZj9 $ " % ¤QEHZK\479 COMNW)90CORMH@QhWQZjMH@QJk47AF@7GRUKjMNK\9089@IKkR0¡VABKbAORb@7ENK @Q9J 9R\RjMNZjTuKjE V@7E 9 7 MH@JKjCBT
(105) 4790K\47 9ZK\479TMNZj9DAB@Qh79 i9hWVT
(106) @+PQ8W)90ZkREHZLJk4gMNZkMHJKj90ZdRUK\ZjAB@QGIR K`AFR EI@7CFT@79J 9RjRjMNZjTK\E V@7E K\4QMNKK\479TPQR\9MN@MHWQR^KjZjMIJKDK^TVf)9 EHZ47AOJk4 EH@79u4gMHRM
(107) P7@gJK\AFEH@ Kj4QMK J0EH8f7PiKj9R54790K\479ZK^bECOMNW)90CORdMNZj9?9X+PQMNC 9?R\4QMHCBCgK\4VPQRZ\9MHR\EH@uPQR\AF@7GKj47Z\99`MHWQR^KjZjMIJKhQMKjMK^TVfg9R06 ; ¡ C ¡iMH@Qh Kj4QMKbZ\9f7Z\9RU9@+K Zj9R\f)9JKjA I90CFTAF@QRUK\ZjPQJKjABEI@QR0¡oCOMNW)90C MNCFP79R¡MN@QhMHWQR^KjZjMIJK8uMIJk47 AB@Q9R^KkMKj9R LR\AB@7GK\479RU9
(108) MNWQRUK\ZkMHJ K Kj4QMK`EH@7CFT
(109) J0EH@+KjMHAB@gR5K\47Zj909 R\9 KkR0¡gEH@79J0MN@J0EH@QR\AOhi90ZLMH@MHRjRU98W7CFTCOMN@QGHPQMHGH9 @QMN89h VAF@Qh7R5EH AF@QRUK\ZjPQJKjABEI@QR0 479Z\9 "! 3547AFR VAB@ghJ EIZ\Zj9R\f)EH@Qh7RK\EAF@QRUK\ZjPQJKjABEI@QRLK\4QMNK?8EihiAB T$Kj479R^KkMK\9 MN@Qh$ KjZjMH@QR^ 9ZbK\479J0EH@+K\ZjEHC)K\EKj479DAF@QR^KjZ\PgJK\AFEH@M Kj90Z5Kj47908. 479Z\9 # $ ?3547AFR VAB@ghJ EIZ\Zj9R\fgEI@Qh7R5KjEAF@QRUK\ZjPQJKjABEI@QRdKj4QMK hiE@QENK?Jk4gMN@7GI9DK\479 R^KkMKj9DW7PiKd8uMNZ RUEI89?CFEiJ0MNK\AFEH@
(110) AB@
(111) K\4Q9RU9XIPQ90@QJ09?EH AF@QRUK\ZjPQJKjABEI@QR. . *. ( (. q. ] Td. $. Y c. . . ^,. . (.
(112) X. tw. . . ( . ] Td . Y. c. . $ 479Z\9 "! MH@Qh # $ $3547AOR VAF@QhJ EIZ\Zj9R\fgEI@Qh7R`K\EAB@QRUK\ZjPQJ K\AFEH@QR Kj4QMK 8 EVh7A TK\479RUKjMNK\9MN@gh8uM2TW7ZkMN@gJk4K\EKj479 QZkR^KAF@QRUK\ZjPQJKjABEI@ EICBCFEAB@QG AOR MN@rAB@Qh7PQJKjA I9K^TVf)9-MH@Qh @rEHP7ZDhi9 H9CBEIf7890@+K ¡ ¡{MN@Qh $ MNZj9ABKjR @ J0EH@QRUK\ZjPQJ K\EHZkR bZkMN@QJk47AF@7GD47AFCF9d9 i9J0PiK\AF@7GM $ J0EH88uMN@QhAOR J0EH@QhiABK\AFEH@Q9hWVTKj479`RUKjMNK\9dEH K\479?MNWQRUK\ZkMHJ K 8uMIJk47AB@Q9H0 4790@W7ZkMN@gJk47AB@QG-hiEV9R@7 EN@KEiJ0J0P7Z¡7J EH@+KjZ\EIC)AORdR\AB8f7CFTfQMIR\R\9hK\EKj479D@79 +KAF@QRUK\ZjPQJKjABEI@S 35479
(113) MIJKK\4QMNKuAB@QRUK\ZjPQJ K\AFEH@QR-8uM2T8EVh7A TKj479R^KkMKj9
(114) EH dK\4Q9
(115) fQZ\EiJ 9R\R\EHZ-AORZ\9f7Z\9RU9@+K\9hW+TM fgMNZ\K\AOMNC P7@gJK\AFEH@ K\4gMKLKkM I9R5K^bEMNZjGHP789@IKkR0bMN@AF@QR^KjZ\PgJK\AFEH@ ZjEH8K\4Q9R\9 K ; MN@gh MRUKjMNK\9- Z\EI8 K\4Q9 RU90K @ EHPQZhi9 I90CFEHf7890@+K AORDM 2MHZ\AOMNWQCB9-AKj4 K\479 EI CBCFEAB@QG K^TVf)9H. ,. . K . . . . . X % X , ( X ; X u ! ( 35479$ MHJ KKj4QMK-W7ZkMN@QJk47AF@7GrAFR-J EI@QhiABK\AFEH@79hWVT K\479R^KkMKj9EN LK\479
(116) f7ZjEVJ09RjRUEIZAOR8Eihi90CF9hWVT M PQ@QJKjABEI@ ( $ Kj4QMK$MHCFR\E KjMVH 9RuK\479AF@QRUK\ZjPQJKjABEI@ MN@Qh Kj479RUKjMKj9MHRMHZ\GIP7890@+Kt, @ EHP7Z h79 H9CBEIf7890@+K ( $ AORM 2MHZ\AOMNWQCB9 ABK\4
(117) K\479 EICBCFEAF@7GK^TVf)9H X @ $ ; X T 35479d MHJK K\4QMNK K\4Q9df7ZjEVJ09RjRUEIZAFRMNW7CF95K\EZ\9RUP7899V 9J PiKjABEI@MK[Kj479dZjABGI4+K[fgEIAB@+K AF@uK\4Q9df7ZjEHGHZkMN8 MN K\9ZoM?W7ZkMN@gJk47AB@QG`AF@QRUK\ZjPQJKjABEI@AORo8-Eihi9CB9hWVTML P7@QJ K\AFEH@ X K\4gMK J EI8fQMNZj9RK^E?COMNW)90COR0 , @EIP7Zhi9 I90CFEHf7890@+K X AORdM MNZjAFMHW7CB9?EN K^TVfg9I ( C . e`R? MNZ MHR R^KkMKj9R MNZj9J0EH@QJ090Zj@79h¡)Kj4790Zj9-MHZ\9EH@7CFTK^bE$J0MIRU9R0L90ABK\479Z`Kj479uJ P7ZjZj90@+K`AF@QRUK\ZjPQJKjABEI@ J0EH@+KjMHAB@gR`MH@rEIWi]^9J K` ZjEH8 ; ¡SMH@QhrAB@rK\47AORDJ0MIRU9 X AFRDMHf7f7CFAB9hKjE$Kj47AOR EHWi]^9JKDMN@QhK\479 . !. . . . . . !. . . . . . . . . . . . . . . . !. . 0J P7ZjZ\9@IKLRUKjMNK\9DKjEEHW7KjMNAF@K\4Q9@79 RUKjMNK\9I¡g9AKj4790ZLK\479AF@QRUK\ZjPQJKjABEI@AFR`MuCOMNW)90C ¡)MH@QhAB@K\47AORLJMHR\9DK\479 @Q90 RUKjMKj9AORdKj479R\MH8-9MHRLK\479-f7Zj9 VABEIPQRdEI@79H?3547AORLW)904QM VAFEHZ`AFR`8EVh790CF9hWVTMfQMHZUKjAFMHCS P7@gJK\AFEH@ MN@gh-M K\4gMKKjM H9R[MN@AF@QR^KjZ\PgJK\AFEH@- ZjEH8 K\479LR\9 K MHR MNZjGHP7890@+K[MN@gh EI fiK\AFEH @gMNCFCBTZj9 KjP7Zj@QRM _bMIRU9R 4790Zj95K\479 P7@QJ K\AFEH@hiEV9Ro@QENK[Zj9 K\PQZ\@uM MHCBP79 J0EHZjZ\9RUf)EH@gh-K\EZjP7@ K\AF89`9Z\ZjEHZkRS9 Jk47EVEIR\9KjE 9 if7 Zj9RjR K\4QMNKb9 V9J PiKjABEI@u MNAFCORMHCKjEHGH90K\479Z 479@$MH@ 9Z\ZjEHZbEiJ0J0P7ZjR e`R MNZMIRDJ EI@IKjZ\EIC QE AORJ0EH@QJ090Zj@79h¡SK\479Z\9MHZ\9uMNCOR\E
(118) EI@7CFTK^EJMHR\9RDA bK\479uAF@QRUK\ZjPQJKjABEI@ AFR MWQZjMH@QJk47AF@7GR^KkMK\9890@+K¡{EH@79JMNCFCFR $ ABK\4 K\4Q9AB@gR^KjZ\PQJ K\AFEH@MN@ghKj479uAF@7AKjAFMHCRUKjMNK\9K\E J0EH8f7PiKj9L4790K\479Z Kj479?W7ZjMH@QJk4uAFCBCEiJ0J0P7 Z SKj479`WQZjMH@QJk4hiEV9R@7ENKbEiJ0J PQZEIZ AB SK\479?AF@QR^KjZ\PgJK\AFEH@AFR M-COMNW)90CEIZdMfQCFMHAB@
(119) AB@gR^KjZ\PQJ K\AFEH@
(120) K\4Q9J EH@+KjZ\EIC)AORR\AB8f7CFTKjZjMH@QR^ 9Z\Zj9hK\E-K\4Q9D@79 VKAB@gR^KjZ\PQJ K\AFEH@S[354QAFR W)904gM +AFEHZ AORD8Eihi90CF9h WVTM$ P7@QJ K\AFEH@ K\4QMNKDKjM H9R? EIP7ZMNZjGHPQ8-9@+KjR`Kj479uAF@QR^KjZ\PgJK\AFEH@ R W)EihiT Kj4QMK Wg9CBEI@7GIRdK\EK\479-RU90 K ; ¡Q Kj479 AF@7ABK\AOMNCoR^KkMKj9H¡gK\479-47EHCF9f7ZjEHGIZjMH8¡gMN@ghK\479f7ZjEHGHZkMN8 ZkMNGI890@+KKj4QMKAF8-89hiAFMNK\9CBT EICBCFEd RSKj479J P7ZjZj90@+K AF@QRUK\ZjPQJKjABEI@S{354QAFR{ P7@QJ K\AFEH@-Z\90K\P7Zj@QRoMN@EHfiKjABEI@QMNC AB@QRUK\ZjPQJ K\AFEH@QR 479@WQZjMH@QJk47AF@7GrEiJJ P7ZkR0¡ fQZ\EIGHZkMN8 ZjMHGH890@+K¡K\4QMNKuAFR¡M CFAFRUKuEN . b X. b X . V (. X S, l b XX. k.
(121) . . /1+.. %(.<.. L 2 L. . . . 5< =. ,%($#. .26.. 2@. .. .. /1+. .+ +.+. . /,%8. /.. . 1$1$ : .</% =. . . 3%($ .. /.. 6. .. .2%(+ ". %($1+ ?. (. . V. 2 u . X. . %( +<%. %(-"+ @. 6 . /%8. /.. . -. . ,%(6.;3%($ .+. S. HJI KHML.
(122)
(123) . tIt. . Kj479-@79 VK f7Z\EIGHZkMN8 ZjMHGH890@+K`K\E
(124) 9 i9J0PiK\9-AFRL EHPQ@QhWVT
(125) K\ZkM H9ZjR\AF@7GK\47947EICB9f7ZjEHGHZkMN8 P7@+K\AFCoEH@79 g@Qh7R$K\479 ZjABGI4IKCOMNW)90C ¡LPQR\AB@QGKj479 PQ@QJKjABEI@ K\E J EI8fQMNZj9COMNW)90COR0 ¢LENK\9rK\4gMKK\479 PQ@QJKjABEI@ 8uM2T MNAFC4790@ @7E
(126) CFMHWg9C AF@QRU K\ZjPQJ KjABEI@QRDMNZj9 EIP7@QhrAKj4Kj479Z\AFGH4+K MNCFP79H @ EIP7ZLhi9 H9CBEIf78 90@+K¡iKj479D P7@gJK\AFEH@ PgRU9RdMN@MHP iABCFAFMHZ\T P7@QJKjABEI@ K\4QMNKLf)90Z\ EHZj8R Kj479R\9MNZkJk4AF@ K\4Q9J EH@+Kj9 VKDf7Z\EIGHZk MN8 479@ W7ZjMH@QJk47AF@7GEiJ0J PQZjR3547AOR P7@QJ K\AFEH@ AFRhi9 Q@Q9h PQR\AB@7G Kj479RUK\ZjPQJKjP7ZjMHCZ\9J P7ZkRUAFEH@
(127) J0MHfQMNW7AFCFAKjAB9R5EN K\479_EiXR\TiR^Kj908 2 i9J PiKjAB@7G
(128) MN@MNWgR^KjZjMIJKLMHRjR\908WQCBT$f7Z\EIGHZkMN8 AORd8Eihi9CB9hPQR\AB@7GMH@AB@ghiPQJKjA I9f7ZjEHf)90Z\K^T$JMNCFCB9h $ K\4QMNK`Zj90f)9MKj9hiCFTMNf7fQCBAF9R MH@Qh K\E$h79 K\9Z\8AF@79Kj479R\PQJJ 9RjR\A I9MNW RUK\ZkMHJ K` RUKjMKj9R?MN@QhAB@QRUK\ZjPQJ K\AFEH@QRLK\E$9 i9J0PiK\9I`35479-f7Zj 9hiAOJ0MNK\9 $ AFR?Mu EIP7Z f7COMHJ09f7Zj9hiAOJ0MNK\9H¡ KkM VAF@7GMHRMNZjGHP7890@+KkR K^EfQZ\EIGHZkMN8uR Kj47947EICB9$J EH@+Kj9 VKEN d9 V9J PiKjABEI@S¡oMN@Qh Kj479$J0P7Z\Zj90@+Kf7ZjE " GIZjMH8 ^MN@ghK^bERUKjMNK\9R Kj479LAF@7ABK\AOMNCgRUKjMNK\9LMH@QhKj479Q@QMHC)RUKjMNK\9 35479df7ZjEHf)EIR\ABK\AFEH@ $ %$ 8PQRUKdW)9DAB@+K\9Z\fQZ\90K\9h
(129) MHR =' $ " $ ' / %$ ! 35479dAF@Qhi PgJK\A H9?hi9 g@7AKjABEI@EN Kj47AFRf7ZjEHf)EIR\ AKjABEI@ ! 4gMHRK^EuJ0EH@QRUK\ZjPQJKjEHZkR0[c`@79 AOR5PQRU9hKjEZ\9f7Z\9RU9@+KKj90Zj8-AF@QMNK\AFEH@ 479@ AFR598fiK^T ¡7ABKAFRJMNCFCB9h $ . b XX. . X b XL A. ,. . b V ( b XX b k % k X b AM e u *l A7KF F% U eM & & l & & X H( X / ( e & ( k & <l ` ( ` & $U / & 35479EHK\479Z J EI@QRUK\ZjPQJKjEHZoAFR[PQRU9hK\E Z\9f7Zj9R\90@+KoK\4799V9J PiKjABEI@EN EH@79RUK\90f¡IMNfQf7CBTVAF@7G b X MH@Qh b XX ¡IJk479J+AF@7G Kj4QMK[Kj4790TZj9 KjP7Z\@MIJKjPQMNC 2MHCBPQ9R¡IMN@ghf7Z\EiJ0909h7AB@7GAKj4uK\479ABZ Z\9RUPQ CKkR MHR MH@Qh@Q90 f7Z\EIGHZkMN8 K\Eu9i 9J P7K\9iABKdAORdJ0MHCBCF9h $ XL @Q90 RUKjMNK\9 ` b XL ( ( ` p b ` & ( (& & & $b & & p $U / & !. . . . . !. . ". . !. . . . . . ". !. . ". . . . ! . . ". "!. !. . "!. eLCKj47EHP7GI4Kj47AORuMNWQRUK\ZkMHJ K-8Eihi90CEH ?Mrf7ZjEVJ09RjRUEIZAO
(130) R H9Z\TR\AF8-fQCB9I¡ ABKAORuJ EI8f7CB90K\990@QEHP7GI4K\E Zj90fQZ\9RU9@IK-MNCFCKj479
(131) AB@QRUK\ZjPQJ K\AFEH@QRPQR\9hAF@EIP7ZMHRjRU98W7CFT CFMH@7GHPQMHGH9I LE9 H90Z¡oAKbEHP7COh4QM I9K\E W)99 VK\9@Qhi9hKjEMHhi8ABKMNCORUE
(132) AB@gR^KjZ\PQJ K\AFEH@QR`Kj4QMKf7ZjE VAFh79AF@QhiAFZ\9JK5]^P78fQR¡479Z\9-Kj479KjMHZ\GI9 K EN bM WQZjMH@QJk4AB@QRUK\ZjPQJ K\AFEH@QRAORLJ0EH8f7PiKj9h
(133) ZjEH8K\479R^KkMK\9 K\4VPQRL8uM VAB@QGuAKLf)EIRjR\ABW7CF9DKjE4QM H9 W7ZkMN@gJk47AB@QG J0EH@QRUK\ZjPQJ KjR Kj4QMK-W7ZjMH@QJk4 K\ER\9 I90ZkMNC h7A 90Zj90@+KCFEiJ0MKjABEI@QR sVPQJk4AF@QhiAFZj9JKL]^P78fQR8uM H9uABK8PgJk4 R\AF8-fQCB9ZK\EJ EI8f7ABCF9f7ZjEVJ09hiPQZ\9J0MHCBCOREHZR\ABKjJk4 R^KkMKj90890@+KjRuMIR- EHP7@gh AB@ K\4Q 9 f7ZjEHGHZkMN88AF@7G COMN@QGHPQMHGH9H. . k. %. l. V. 71 3o;=8 IEHCIH8t6@<>6 8?@A9V4 * %*. %. 354Q9DEHWi]^9JK\A H9DEH EHP7ZdfQZ\EVEN hi9 H90CFEHfQ8-9@+KLMKK\4QAFR`MNWQRUK\ZkMHJ KdCB9 H90CAFRdK\Euf7ZjE VAFhi9 KjEVEHCOR5K\4QMNKL8uM I9 ABKf)EIRjRUAFW7CF9KjEZ\9MHR\EH@rEH@ f7ZjEHGHZkMN8 ZkMNGI8-9@+KjR AF@ AOR\EHCOMK\AFEH@r ZjEH8 Kj479u47EHCF9uJ EI@IKj9 VK¤QEHZDKj47AOR0¡ b9u5MN@+KDK\EW)9MHW7CB9KjE9RUKjMHW7CBAOR\4MJ EHZjZj9R\fgEI@Qh7MN@gJ 9-Wg90K^990@9 i9J PiKjAB@7GMfQZ\EIGHZkMN8 ZkMNGI8-9@+K 4Q90@$K\479J0EH@+K\9 +K5AORbK\479Df7ZjEHGIZjMH8 ZjMHGH890@+K5AKkRU9C oMN@Qh$9 i9J0PiK\AF@7G-K\4Q9Df7Z\EIGHZkMN8 ZkMNGH89@IK5479@ Kj479J EI@+K\9 VKAORMCOMNZjGH9Z5f7Z\EIGHZkMN8 @$8EHZj9DJ EI@QJ Zj9 Kj9`Kj90Zj8uR0¡ib9 bMH@IK5KjE-Zj90COMKj9 AB@QRUKjMH@QJ 9R5EN K\479 EICBCFEAF@7GfQZ\EIfgE+RUABK\AFEH@S. . . S,. . $U / & & . . . . MH@Qh
(134) J EHZjZj9R\fgEI@QhiAF@7GAF@QRUKjMH@QJ 9R5EN Kj479 EHCFCFEAB@7Gf7ZjEHf)EIR\ABK\AFEH@S. q. . .
(135) X. t2:. . $b & & ". . . !. & W)9M-fQMNZ\KEN Kj479D47EICB9 f7ZjEHGIZjMH8
(136) ¡+47AOJk4J0MN@
(137) W)9?9if7Z\9R\R\9h$ABK\4
(138) K\479 & & & & e R\9J0EH@Qh
(139) AF8fgEIZUKkMN@+KLJ EI@QRUAORUK\90@gJ Tf7ZjEHf)90Z\K^TAOR5Kj4QMKLWQZjMH@QJk47AF@7GWg94QM H9R Kj479RjMN89¡VK\4QMNKLAOR0¡ Kj4QMKKj479Df7ZjEHGIZjMH8 ZkMNGI890@+K9i 9J0PiK\9h$MN K\90ZWQZjMH@QJk47AF@7G8PQRUKWg9R\AB8AFCFMHZAB@W)ENKj4R\9 K\K\AF@7GIR 3{E9@QRUPQZ\9DKj47AOR0¡ABK`AORLAF8fgEIZUKkMN@+KdK\4gMK?MHCBC{K\4Q9COMNW)90CORLAF@ & W)9PQ@7AFX+P79I=, @EIP7Z`h79 H9CBEIf7890@+K¡ & 89MH@QRdKj4QMKMHCBCoCOMNW)90COR`EiJJ P7ZjAB@QGAF@ & EVJJ P7Z?EH@QCBTEI@QJ 9I35479fQZ\EIfg9ZUK^T 4QMHR W)90 9@hi9 Q@Q9h
(140) PQR\AB@7G-K^bEAB@Qh7PQJKjA I9 h79 Q@7ABK\AFEH@gR0 e QZkR^K AF@IKj90Zj9RUK\AF@7G$K\479EHZj908 AORLKj4QMKDAB COMNW)90COR MNZj9P7@QAFX+P79I¡K\479-@79+ KRUK\9frEH & oABK\4 & [MHR J0EH@+K\9V K5AORdM-f7Zj9 <
(141) EN K\479D@Q9V KLR^Kj90fEN & ABK\4 & & & MIRJ EI@IKj9V K k Kj47AOR5K\479EHZj908AFRJMNCFCB9h b (L l ` & & & & X ` b XL ( ` & & V p ( L ( & & & p & & & & & & 35479 f7ZjEHf)90Z\K^T 9V 4QABW7ABKjRR\EH89rRUKjMHW7AFCBABK^T AKj4 Zj9R\fg9JK$K\E f7Z\EIGHZkMN8 J EH@gJ0MKj90@QMNK\AFEH@S ¤ AFZjRUK¡VAB Mf7ZjEHGHZkMN8 AO RK\479DJ EI@QJ0MNK\9@QMKjABEI@EN oRU9 H90ZkMNCQ ZjMHGH890@+KkRbMH@Qh4gMHRbP7@7AOX+P79 CFMHWg9CFR¡+K\479@
(142) MHCBC Kj479` ZjMHGH890@+KjRb4QM I9LP7@QAFX+P79?CFMHWg9CFR k K\479DJ EI@ H90ZkR\9dAFRb MHCFR\9T l [sV9J0EH@Qh¡+Kj479 P7@7AOXIPQ90@79R\Rbf7ZjEHf)90Z\K^TAFR 9 QZkR^K@799h$K\4QMNK EICBCFEAF@7G9X+PQMNCFAK^T. . !. . . . !. !. . . . . . . !. !. . . . . . . . . . . . . . . !. . . . . . !. . ! . !. . . . . !. . . !. ! !. . . . . !. !. fQZ\9RU9Z I9hK\47ZjEHPQGH4MN@VT-RU4VPu9LEH K\479L ZjMHGH890@+KkR0 3547AFRbRUKjMNWQABCFAK^T-ABK\4Zj9R\fg9JKK\EJ0EH@QJMK\9@QMKjABEI@ AFCFCW)9AF@QR^KjZ\PQ8-9@+KjMNC{AB@K\479-J EH8f7AFCF90ZLfQZ\EVEN ^¡)MHRdK\479-J EH8f7AFCF90Z`R\AF8-fQCBTJ EI8-fQABCF9R`MJ EI@QR^KjZ\PgJKLWVT J0EH@QJMKj90@QMNK\AF@7GKj479 ZkMNGI890@+KjR`EHWiKkMNAF@79hWVTJ0EH8f7AFCBAF@7G$K\479R\P7W J EH8f)EH@79@+KjR MN@QhMHh7hiAF@7GM 9 AF@QRUK\ZjPQJKjABEI@QR. 71 3o;=8 U1 8-JP>'E
(143) 9AN CFE=8 Gq6@<>6 8?@A9V4 *. , @+KjP7AKjA I90CFTH¡If7Z\EIGHZkMN8. . ZkMNGH89@IKkR K\4QMNK MNZj95f7CFMIJ 9hEI@79M K\9ZK\4Q9ENK\4Q90ZAF@M fQZ\EIGHZkMN8lMNZj959 i9J0PiK\9h EI@79LMN K\90Z K\479`ENKj4790Z bPiKK\47AORAFR EH@7CFTfgMNZ\K\CFTKjZ\P79I¡+MIR[W7ZkMN@gJk47AB@QGR^KkMK\9890@+KjR ABCFCgEH K\9@AB@+Kj90Z\ 90Zj9 MH@QhhiAORUZjP7fiKK\479J0EH@+K\ZjEHC QED dEb9 H9Z¡{AKAFRfgE+R\R\ABWQCB9uKjEhi9R\J0Z\AFWg9CFMHZ\GI9J0CFMIR\R\9REN f7ZjEHGHZkMN8 ZkMNGI890@+KjRLK\4QMNKDABCFCoZ\9RUf)9J K`Kj47AFR AF@+K\P7ABK\A H9f7ZjEHf)90Z\K^THe QZkRUK J0CFMIR\R`EN bf7Z\EIGHZkMN8uRLJ0EH@+KjMHAB@gRLf7ZjE GIZjMH8uRDK\4gMKuJ EH@gRUAOR^K-EH@7CFT EN MH@Qh R^KkMKj90890@+KjR35479R\9fQZ\EIGHZkMN8uRDEHW VAFEHPQR\CBThiEr@7ENK R\P 90Z5 ZjEH8 MH@VTJ EI@IKjZ\EIC QE W7Zj9M iR0 e8EHZj9R\P7WiK\CF95J COMHRjR0¡ EHZo47AOJk4J0EH@+K\ZjEHC QEJ0MH@W)9bR\EHZ\K\9hDEHPiK¡NJ EI@IKkMNAF@QR{f7Z\EIGHZkMN8 ZjMHGH890@+KjR Kj4QMKDMNZj9 ' 35479R\9MHZ\9D ZkMNGI890@+KjR`4790Zj99 H9Z\T
(144) W7ZkMN@QJk47AF@7GAF@QRUK\ZjPQJKjABEI@Zj9 90ZkRLK\E$M COMNW)90CbKj4QMKAFRMHCFR\ Ef7 Zj9R\90@+KAB@K\479$ ZjMHGH890@+K eGHZkMNfQ47AFJMNCbAB8uMHGH9 EIZKj47AOR-J0CFMIR\REN L ZjMHGH890@+KjR 8-9MN@QR-Kj4QMK AORuGIA I90@ AB@ QGIP7Z\9:7 @ EHP7Zuf7ZjEVEN Dhi9 I90CFEHf789@IK¡ ' AORR\90CB J0EH@+KjMHAB@Q9h¡VKj47AFR5fQZ\EIfg9ZUK^T4gMHR5W)9090@hi90Q@79h$PgRUAF@7G-K^EAF@Q hiPQJ K\A H9D hi90Q@7ABK\AFEH@QR 479@DK\4Q9 47EICB9[fQZ\EIGHZkMN8 4gMHRKj479 P7@QAFX+P79f7Z\EIfg9ZUK^TI¡R\90CB QJ EI@+KjMNAF@79h`fQZ\EIGHZkMN8 ZkMNGI890@+KjRSMHZ\9[M I90ZjTDJ CFEIR\9bMHf7f7ZjE VAF8uMKjABEI@DEN Qf7COMNAF@-AB@QRUK\ZjPQJ K\AFEH@QR{EHZof7ZjEHGIZjMH8R{J EI@IKkMNAF@7AF@7GLEI@7CBTDfQCFMHAB@AB@QRUK\ZjPQJ K\AFEH@QR AF@
(145) K^E-5M2TVR. K . y,. V. . &. &. *. S. HJI KHML.
(146)
(147) . tn. ¤ AFGHP7Zj9:ie GHZkMNf74QAFJMNCAB@+KjP7AKjABEI@EN RU9C oJ EH@+KkMNAF@79h$f7ZjEHGHZkMN8uR. . 35479DW)904QM VAFEHZ5EN K\479RU9 f7ZjEHGIZjMH8 ZjMHGH890@+KkRbh7E+9R5@7ENKLh790f)90@Qh
(148) EH@$K\4Q9J EH@+Kj9 VK 4790@Kj479D9 i9J PiKjABEI@$CF9M I9R5MuRU9C J EI@+KjMNAF@79hf7ZjEHGIZjMH8 ZjMHGH890@+K¡VKj479@79 VKdAB@QRUK\ZjPQJ K\AFEH@
(149) AFR MNCFbM2TiR{K\4Q9gZjRUK[AB@gR^KjZ\PQJ K\AFEH@K\4QMNKo EHCFCBEdR @ENKj4790ZoKj90Zj8uR0¡N9 i9J P7K\AFEH@hiEV9Ro@7EHK ]^P78fEHPiK EN MRU9C dJ0EH@+KjMHAB@79hfQZ\EIGHZkMN8 ZkMNGH89@IK¡ABKRUAF8f7CFTrCF9M I9R`K\47ZjEHPQGH4rK\479WgMHJ hiEVEIZ354QAFR hiEV9RL@7ENKL89MN@K\4gMK?R\90CB J EH@+KkMNAF@79h$ ZkMNGH89@IKkRdMNCF5M2TVR59 i9J P7K\9J0EHZjZ\9JK\CFT$MH@Qh
(150) K\9Z\8AF@QMKj9H¡ MHRK\4Q90AFZ9 V9J PiKjABEI@8uM2T 90@QJ0EHP7@+Kj90Z-Z\P7@ KjAB89
(151) 90ZjZ\EIZjR CFA I9f7COMNAF@AF@QRUK\ZjPQJKjABEI@QR MN@ghK\4Q90T 8uM2TMNCORUECFEVEHfS L90Zj9bMHGIMNAF@S¡2Kj479bR\90CB J EH@+KkMNAF@79hf7Z\EIfg9ZUK^T 9 V4QABW7ABKjRR\EH89bR^KkMNW7AFCBABK^TDABK\4-Z\9RUf)9J K{KjE J0EH@QJMKj90@Q M KjABEI@S{K\479?J EH@gJ0MKj90@QMNK\AFEH@EN SR\90CB J0EH@+KjMHAB@Q9h-f7ZjEHGHZkMN8 ZjMHGH890@+KjR[Z\98MHAB@gR[RU9C J EI@+KjMNAF@79h W7PiKbK\479 ZkMNGI890@+KjMNK\AFEH@EN SMR\90CB J EI@IKkMNAF@79h-f7ZjEHGIZjMH8 ZkMNGI8-9@+K hiEV9R[@QENKGIA I9dRU9C J EI@+KjMNAF@79h- ZjMHGH890@+KjR 354Q9 R\90CB J EH@+KkMNAF@79h$f7ZjEHf)90Z\K^TuAFRdMHCFR\E-f7Z\9RU9Z I9hK\47ZjEHP7GI4
(152) MH@VTRU4VP u9 EN K\4Q9 MHZ\AFEHPQRb ZkMNGI890@+KjR. . ,. k / . . . . . . ?. 2. $l. k. l. 71 =@<N0,'Q 8 E
(153) 9eNS9<CL>
(154) E 9<;=8 >@<8 Q 1 354Q90Zj9-MHZ\9K^ERUABK\PgMK\AFEH@gR`AF@ 47AFJk4r9@799h ZjMHGH890@+KjMNK\AFEH@Kj4790EIZ\98uR0), @rK\4Q9gZjRUK R\ABK\PQMNK\AFEH@S¡ b9+V@7E Kj4QMKKj479D47EHCF9Df7ZjEHGIZjMH8 9i9J P7K\9RLMN@Qh$9D5MN@+K5K\ER\47E K\4QMNKK\47AOR9i9J PiKjABEI@
(155) JMN@Wg9 VRUK\@7PgEhi AB9hKj4QWVMTK- CBZjEVMHEVGHV 8AF@790G@+KkR\R90fQJMHMNZj@MNK\W)909$CFT 9iMK9J KjP747K\9$9h9iRU99J fQP7MNK\ZkAFMEHKj@90CFENT MH @QZkMNhGI8b9$90@+5KjRMN@+K, @KjErK\4Qf79
(156) ZjE R\ H99J0EHf7@QZ\hEIfgR\9AKjZUPQKjABM9KjRABEIEH@S d¡oK\4799 *. . 4QEHCF9?fQZ\EIGHZkMN8 3{EKj479R\9DRUABK\PgMK\AFEH@
(157) J EIZ\Zj9R\fgEI@QhK^bE8uMHAB@K\479EHZj908uR035479`QZkR^K58uMNAF@Kj4790EIZ\98 MNf7fQCBAF9Rb479@ EI@79MNCFZ\9MHhiT V@7EdR-Kj4QMK9 i9J P7K\AF@7G K\479J0EH@QJMK\9@QMKjABEI@EH ?MR\90CB J0EH@+KjMHAB@Q9hfQZ\EIGHZkMN8 MN@ghMH@ MHZ\WQAKjZjMHZ\T`f7Z\EIGHZkMN8 ZjMHGH890@+KKj90Zj8AB@QMNK\9R0 KoRUKjMNK\9RSK\4QMNK EI@79JMN@DgZjRUK{9 V9J PiKj9[Kj479bR\90CB gJ0EH@+KjMHAB@79h fQZ\EIGHZkMN8¡PQR\AB@7GABKjR\90CB 5MIRDJ EI@IKj9 VK¡ MN@QhrKj4790@ 9 i9J PiKj9K\479uEHK\479Z ZjMHGH890@+K¡SK\47AOR K\AF89uAKj4 K\479 AB@
(158) EHPQZ5h79 H9CBEIf7890@+K 4QEHCF9`f7ZjEHGIZjMH8MHR5J EI@IKj9 VK3547AORbK\4Q90EHZj908AOR5J0MHCBCF9h $ . . . , U V A ` & $b & & ` ( p & & & p & & & & & ' & p ( $U / & & $b & & & & ". . ". . !. . . . . . . q. !. !. . . . . !. . . . ! . . !. . !. . !. . . . . . . . ". !. . !. . . . .
(159) X. tp. . 35479ufQZ\EVEN bEN bK\47AORRUKjMNK\9089@IKAORhiEI@79WVTAF@QhiPQJ K\AFEH@ EH@rK\479$R^KjZ\PQJ K\P7Zj9EN bK\479h790ZjA MKjABEI@rEH ! Kj479MIR\R\P78fiK\AFEH@ $ " ! ! eJKjPQMNCFCFTH¡7Kj47AORLRUKjMKj90890@+KdAORd@7EHKLhiAFZ\9JK\CFT Kj479?EH@79`K\4QMNKAFRbf7ZjE H9hu WVT-AF@QhiPgJK\AFEH@¡iW7PiKdMRUK\ZjEH@QGH90ZEH@79I¡VK\4QMNKb9 if7Z\9R\R\9R K\4Q9?RjMN89 R^KkMK\9890@+K¡ WQPiK EHZdMH@+Tf7Z\EIGHZkMN8 ZkMNGH89@IK5Kj4QMKdAORMRUP
(160) EN . b & & & & & A. & ` & $b & & & p ` X p & & & & & & & & ' & p ` & & & & ( $U / & & $b & & & & 3547AOR-K\4Q90EHZj908 AFRuMH@9V AORUK\90@+KjAFMHC5RUKjMNK\98-9@+K¡b47AFJk4 8uM%I9R-AKu4QMHZjh790Z-K\E PQR\9AB@ MNP7K\EH8uMNK\AOJ fQZ\EiJ 9hiP7Zj9R¡+MIR5AKAOR5@7ENKMHhQMNfiKj9h EHZ5WQMHJV5MNZkhuZj9MHR\EH@QAB@7Gg{¤QEHZ5K\4QAFR5Zj9MIRUEI@S¡IABKAFR5AF@+K\9Z\9R^KjAB@7GK\E h790ZjA I9 K\479D EICBCFEAF@7GuJ EHZjEHCFCOMNZjTH¡i9MIRUAF90Z5KjEPQR\9D4790@Kj479DKkMNAFCf7ZjEHGIZjMH8 ZjMHGH890@+KdAORd908fiK^TIb354QAFR Kj4790EIZ\98 AORJ0MNCFCF9h $U b %H< AF@
(161) EIP7Zdhi9 H90CFEHfQ8-9@+K ` & $b & p ` X p ' p & $b & & & & & & & 35479DR\9J0EH@Qh$8uMNAF@K\4Q90EHZj908MNf7f7CFAF9Rb4790@
(162) EH@Q9 MHCBZj9MIhiT V @7EdRb47E K\E9V 9J PiKj9?K^E-f7ZjEHGHZkMN8 $b A . . . . . ". . . ". !. . . . ". . . . . . . . . !. . . !. . ". . ! . . . ". . . !. . !. . !. . . . . ! " !. !. . . . !. . ". !. !. . . . . . . !. ". . !. . !. . . . . . !. ZkMNGI890@+KjR4790Zj9?K\479?QZkRUKbEI@79 AFR5R\90CB J EI@+KjMNAF@79h3547AFRbKj4790EIZ\98AFRJMNCFCB9h EIP7Zdhi9 H90CFEHfQ8-9@+K. . . AF@. . ` & & & ( $b & & &$b p ' & p ` $b & & p & & & & p & & & & & L90Zj9MNGIMHAB@rK\4Q9f7ZjE+EH AORhiEI@79uWVTAF@QhiPQJ K\AFEH@EH@ Kj479R^KjZ\PgJK\PQZ\9uEH 5Mhi9Z\A MKjABEI@rEH bKj479QZkR^K $b MIR\R\P78fiK\AFEH@¡iAKj4MRUK\ZjEH@7GI90ZRUKjMKj90890@+K5K\4gMKLJ EI@QR\AFhi9ZjR5MHCBCf)EIRjRUAFW7CF9RUP<. i9R5EN & 35479RU9`K\4Q90EHZj908uRbMNZj9LKj479?EH@7CFTK\479EHZj908uR9?f7ZjE +AOhi9?MKbK\47AOR5MNWQRUK\ZkMHJ KbCF9 I90C 35479TuABCFC8uM%I 9 ABKf)EIRjR\ABW7CF9 EIZPgRKjErJk4QMH@7GH9uKj479
(163) GHZkMN@VP7COMNZjAK^TrAKj447AOJk49$Z\9MHR\EH@MHWgEIPiK-MH@QhEHWgRU9Z I9uK\479 9i 9J P7K\AFEH@EH bMIR\R\908W7CBTfQZ\EIGHZkMN8sV9C J EI@IKkMNAF@79hrf7ZjEHGIZjMH8 ZkMNGI8-9@+KjR?f7COM2TMN@rAB8f)EHZ\KjMN@+KDZjEHCF9 ". . . . . ". . . !. !. . ! ! . ". !. . . . . . !. . !. . . . . . !. . !. . . . . . !. . W)9JMNPQR\9?K\479J0EH8f7AFCB9ZdMNCFbM2TiRbJ EI@QR^KjZ\PgJKjRR\90CB J EH@+KkMNAF@79h
(164) MHRjRU98W7CFTR\9X+P790@gJ 9R. 71 o >'EHEH8 JK9<C2EG,R9A> 9<;H8AJP>'EJP@<8 9A8:Q NJ;C2EH8 e GIA I90@fQZ\EiJ 9R\R\EHZ`AFRDh79RjJ ZjABW)9hrWVTAB@QRUKjMH@+K\AOMK\AF@7G$K\479uR\9 KkR&; ¡ C ¡{MN@Qh ( ABK\4 J EI@QJ Zj9 Kj9 hQMKjMNK^TVfg9R0¡+f7ZjE +AOhiAF@7GKj479` P7@QJKjABEI@QR X ¡ X $ ¡VMN@gh X ¡iMN@QhufQZ\E VAOhiAB@QG KjZjMH@QR\CFMNK\AFEH@` P7@QJKjABEI@QR Z\EI8 K\4Q9 J EI@QJ Zj 9 Kj9[MH RjRU98W7CFTLCOMN@7 GIPQMNGI9 K\EKj479 MNWgR^KjZjMIJK MHRjR\908WQCBT`CFMH@7GHPQMHGH9I C X e , @ EH P7(Z
(165) J0MH35R\479H9o¡ bPQ@Q9J4gKjABM EI H@ 9 AF @QRUKj MN@+ KjAFXMN K\94Qh MIR; Wg 990@ 9AMIKjRU4 AFCFT`hi9R\J0Z\AFWg9¡h?PQRUAF@7G5KjA47Kj49 P7!@QJ ¡LK\AFEHMN@Q@QhR AB K\4 ¡ F & ( ¡NMN@Qh oc`@K\4795ENKj4790Zo4QMH@Qh¡2Kj479b P7@QJKjABEI@ X $ 4QMHR W)909@-hi90Q@79h ZjEH8 R\J0ZjMNKjJk4S0 9?4g M H9D MNCORUEhi90Q@79h$KjZjMH@QRUCOMKjABEI@ PQ@QJKjABEI@QR ( MH@Qh X Kj4Q MKD8uMNf J EI@QJ Zj9 Kj9f7ZjEHGIZjMH8RdK\EMNWgR^KjZjMIJK`EI@79R MH@Q h V AOJ 9 H9 ZjRjM7D35479- EIZ\890Z * . . . . . . . . . . . . . . . . . 8 MHfQR MHWQR^KjZjMIJK u. . . AB@gR^KjZ\PQJ K\AFEH@QRJ0MHZ\ZjTVAB@7GM@QMKjP7ZjMHC MNCFP79LK\EMJ EH@gJ Zj9 K\9. . . . AF@QR^KjZ\PgJK\AFEH@uABK\4. S. HJI KHML.
(166)
(167) . t#. . X . . Kj479uR\MH89@QMNK\P7ZkMNC MNCFP79H¡ $ MH@Qh AF@QRUK\ZjPQJKjABEI@ MHZ\9-RUAF8f7CFT8uMNf7f)9hK\E
(168) K\479 ; MHCBP79 AORRUCFAFGH4+K\CFT8EHZj9uJ EH8f7CFAOJ0MKj9h MHR ABK8PQR^K Kj4790T J EI@IKkMNAF@S35479 PQ@QJKjAB EI@ @ R\90CF9J K5 EHZd9MHJk4
(169) @7EH@ COMNW)90CAF@QR^KjZ\PgJK\AFEH@
(170) 4790K\479ZdAKdAFCFCSWg9D8uMHf7fg9h
(171) K\E5MNZkh7RbM $ EHZdM J0EH@QRUK\ZjPQJ Ke Kj90ZLhi90Q@7AF@7GK\4Q9R\9` PQ@QJKjABEI@QR0¡Q9 4QM I9?fQZ\E I9hR\9 I90ZkMNC)f7ZjEHf)90Z\K\AF9 R @ z|0} {N| S}~ {} }2| z 354Q90Zj9DAFR`MfQMNZ\K\AOMNCSAF@ H9ZjR\ABEI@$fQZ\EIfg9ZUK^T$Wg90K^990@
(172) K\479K^EKjZjMH@QRUCOMKjABEI@ P7@QJ K\AFEH@QR. ` &. . . K . ( X & & AOR?@7ENKR\P7Z ¢dEHK\9-K\4QMNK`Kj479uJ EI@ I90ZkRU9AFR? MHCFR\9H354Q9Zj9MIRUEI@AFR`Kj4QMK ( ]^9J K\A H9H¤QEHZ AF@QRUKjMH@QJ 9I¡IABKbJMN@7@7EHK[f7ZjEVh7PQJ 9LMH@MNWgR^KjZjMIJK[AF@QR^KjZ\PgJK\AFEH @ K & %( , @ MHJK K\479 EICBCFEAF@7G9X+PQMNCFABK^T47EHCOh7R ( ( K & X $ & X z ~)|{} }2| z 2 i 9J0PiK\AF@7G MH@ MHRjRU98W7CFT f7ZjEHGIZjMH8MN@Qh ABKjRrMNWQRUK\ZkMHJ KZ\9f7Zj9R\90@+KjMNK\AFEH@ MNZj99XIPQA MNCF90@+K k Kj4790EIZ\98R MH@Qh %HK/X AB@ EHPQZf7ZjEVEN `h79 H9C EHf789@IKl ABK\4 Kj479R\9-K\EVEHCOR0¡9AFCBCW)9MNW7CF9-K\EPQR\9-K\479Kj4790EIZ\98R?9R^KkMNW7CFAFR\479hrMNK?Kj479uMNWQRUK\ZkMHJ KDCB9 H90CoWVT CFAB K\AF@7GKj47908 K\EK\479
(173) J EI@QJ Zj9 Kj9CB9 H9C ¡o47AFCB9
(174) R^KjABCFCb8MHAB@+KkMNAF@7AB@QGMJ EI8f7CB90K\9$8-9Jk4QMN@QAFJMNC Jk479Jr EH EIP7Zuf7ZjEVEN ?h79 H9CBEIf7890@+K 94QM I9
(175) J0EH@QJ0Z\90K\9CF9 H9Cd9X+P7A MNCF90@+KjREH $b b %H< ¡ $b b %H< ¡gMH@Qh $U %H< . . . !. . . . . . . . . . . . . . . . . . . . . . . . . . !. . . . . "!. .
(176) 00 $ u {o% %${. e J EH8f7AFCF90ZDAORDK\ZkMHh7AKjABEI@QMNCFCBTrJ EH8f)EIR\9h EN dMNKCB9MHRUKDK^EJ0EH8fgEI@790@+KkR0
(177) 35479QZkR^KEI@79uf)90Z\ EHZj8R MR^KkMK\AOJMH@QMNCFTiRUAORMN@ghJk479J iR Kj4QMKKj479WgMHR\AFJuhiAORjJ AFf7CBAF@79RMNZj9Zj9R\fg9JKj9h¡ 8EIRUK\CFTKj479K^TVf)9hiAOR J0ABfQCBAF@79H$3547AFRJ EH8f)EH@79@+KAFR Zj9 9Z\Zj9hK\EMIRDM $ $354Q9RU9J EH@ghrJ0EH8fgEI@790@+KMIJK\PgMNCFCBT f)90Z\ EHZj8uR[J Eihi9Lf7Z\EihiPgJK\AFEH@¡+MIR\R\P78AB@QG K\4QMNKMNCFC7K^TVf)9LJ EI@QR^KjZjMHAB@+KkR[MNZj9Z\9RUf)9J K\9h[sVEH89 KjAB89R0¡IK\479 J0EHCFCFMHWgEIZjMNK\AFEH@W)9 K^b909@J EH8f)EH@79@+KjR5AORdR^KjZ\EI@7GH9Z¡VMHRK\479 QZkRUKJ0EH8f)EH@79@IK8uM2TJ0EH@QRUK\ZjPQJK5KkMNW7CF9R KjEGHA H9?AB@i EIZ\8uMNK\AFEH@EI@Kj479 MNZjABEIPQR5RUTV8W)EHCORbPQR\9h$AB@
(178) f7ZjEHGHZkMN8uREHZ58EihiA TK\479DR\EHP7ZkJ 9?f7ZjEHGHZkMN8 KjEhiAOR\MH8W7AFGHPgMK\9DR\EH89J0EH@QRUK\ZjPQJKkR EIZLAF@QRUKjMN@gJ 9H¡g4790@R\EH89DEIfg9ZjMNK\EHZkRMNZj9DE H9Z\CFEIMIhi9h 354QAFR AOR-@7ENK-K\4Q9JMHR\9AF@EIP7Z-9 ifg9Z\AF890@+K¡Wg9J0MHPQRU9
(179) b9$4QM I9$MHWQR^KjZjMIJKj9h MNZjAOMNW7CF9@QMH89RM2bM2T MN@gh J0EH@QR\AOhi90ZbK\4Q908MIR5AB@ghi9 i9h MNZjAOMNW7CF9RKj479DAF@Qhi9
(180) AFRh7ABZj9J K\CFTPQR\9h
Documents relatifs
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
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,
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