Relative definability and models of Unary PCF

Texte intégral

(1)Relative definability and models of Unary PCF Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani. To cite this version: Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani. Relative definability and models of Unary PCF. Typed Lambda Calculi and Applications, 2003, Valencia, Spain. pp.75-89. �hal-00149559�. HAL Id: hal-00149559 https://hal.archives-ouvertes.fr/hal-00149559 Submitted on 26 May 2007. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2)

(3) !"#$!&%(')+* -,/.10 235476588:9<;>=@?ABAC9EDF43FGH?IJ?=@8KF?LDF;>M5NPOQ3JRS;TNVUXWX;>M59 t

(4) uwvYZY\xq[Vy ]_eâr `_y{bdcfz\e@| gihjeblcwkT}em ~de@nogie@ek

(5) `p] bdhquwvn7>bCt

(6) rT e@giYs}k gibdh kk|| e"e | [T b:esgkj}kgi w +| s>rpseoe~h s| sgs

(7) rTe@^7gok `_| e@}>}:gjkSkiek `p| Y hjeobdz swV` s}hj~bde@h+kq`_ss>sHrpèrT~dekjhqgisgibdc>eZbCe@}k hq|~] se}~`gi}e`_r~}kyki|bd}cf}wek

(8) e]ZrTbd`_e@hqe@gicf`_e

(9) e@}r gj_yk bd| ~dble

(10) e@kEr ~Qe@hjkibdh`s ] +} s>VrTsekjki~Jswblki¡hje~le~d¥e¦ +e`Xk¢<k | e£ y ~d~l}_h¤kjg}k+s>rTe~C¥o}`rP} kisws`_e"¢<k | eQ[>skjk § ¨_©qªV«F¬¯®°±ªF²i¬q© ³NV?9BMF8;T9C´@NV;T?p=DVLµ9CMWT?UT=@=¶NV9CUp?M5=o¶+Ú{UT·¶?R7´´@¸ AC?£³ ´@;>KFM5?+N¹¿a=@??ACACA<À¤;XÁ_´@M5?NºUX¿A<M½;>MFÂ»p·Ã656F;>ACA»p?;>¶+¼5¶KJ´;f=;TWT8:?{´9B¼±UT?M¾?M½I5=¶iUp´@¼F65ACNV?Ä{9B?N¹ÅQ·Ã9BUpM¹=o´´K5KF?¾?£A<·Ã;T65¶AC´ A ÁB;>;T?ABMF»T¶´ UT»T=@65·Ã9CUT;T´KF= »T?pÄÔ;3JÆj¶·ÃMÈUpUT="AB6VÇÉpNV´@9CÉT?UpÊF8M9BDNF2´9CMFU3H»¹´ËpKJ6FUp;X¼5MF´{¶»?IF=@;>=@WfMJUT;>N¼F´9BABUT2Q?M5Ä)3Z;TÌ_Aa´@Ú?wUpÕ_6F¼±6F»T?9CK_WX´;T;ÐUpAC?M½ÂM5»T8:Í UÎ>?wUVÏ¶ NFIF·ÃÅ=@UTUT={UTI±M5´@UpKF?T¶Ñ ??N9´"Ö5´MF¶KF9CKF´@? UT;T·Ã65=UTL¹ABABNÒABUX·Ã=¿IF;>=9C»pUXMFÄ W»9<?NV8:M_?Ó=´{;T;T¶U>MK · ´KF?+ÌA<;>KFMFUT»p=´65AB;>L"»pA<? ;X´@×?ØÚ=wÙÛDFÙ5à+´@KF35?+GHU_AB;T;TMFNV»T?6J=o;>IF»T=?UXWp¿?KFN"U_´¶K5?£;>6F´MF´9<KFÕ_?+6F?+Up¼5»T¶=@?UT=65WXM5;>N"´9BUTíLM5I±;T?+A±?w9B¶7Õ_6FÜ59CÝWXÝV;TÞ5AC?D M5³ 8:?£Ro¸U>· ³ ß 3R7¸ 9BIF¶ =6FUp¼FMJABNV??Ä/89BNFU>;T· ¼FABRo?¸ Í É>ÏE3>À¤2NV?M&Ö59BM5Ä ;T¼FÄ 9CAB?w9CNVíL{9<;X9C´MH?DF8¶@UT;f=@LTUTDpABAB´;TK5=?+L£ÌFUT8:·5U>´´K5´79B¶ Ä ¼FUV=@NV??;TAÁ_Ú>KF· =@UTR76F»p¸ KQ=@DV?9<¶¶76F6FAC´ M59<NV¶\?w´8:KJ9<³ NF;X´S;>¼F´K5AB?T³ ? 3 á ?MJâ 8:?TKFD5?¾=?I±ABUp;>¶´³ ?:9BWT´ ? U>³·³ RoNV?¸ »T³ =@À¤?NV??¶QÖ5U>M5·;T=@¼F?9CA<AB;X9Cí´@L"9CWp9C?¾MPNV´@K5?:ÖJ;XM5´;>Ä ¼FUV9BABNV9í?LºAZ9B9<¶¶&;T¶ABUT¶Ä U ?6FK5M5³ UXNV¿ã?w8:=@9<³ NF?A<;>;X¼F´@AB??TNº3 ´@Uä´@KF?Ó?åÀ 9B»T¶9B´WT??M5Mº8:?";UT¼F·9B»KF9CÄ ?=@UV;TNV=@8?K5A9CU>?w·¶+U>·R7¸×ÃUp=@NFDH?¿+=3 =?3å_´´@3?;M5¶M59BUT;XM5´@6F;TA=@ß ;TASÄ MFUVU>NV´@?9CUpA<¶M3 UTâ ·7KF??ÓÄQ9B¼±NV?w?;NFNF9B9C¶MF»J´KFDZ?¾NV?·ÃUTÖ5ABMFACUX?¿Nº9BMFW»J9<; Ñ ;ACÓUp»TABUT9<8»p;>9B8A;>=@A ?A<=@;X?´@A<9C;XUp´MP9BUTéMÈê ×Ú¶¿??"KF³ 9BÌ8K?w8

(11) IF´³ 3Z=@UXæFWT3 Î?w¶aß ´;>K5Mµ;>´6FM5çNV9B?¶oÖ56FM5MJ;>NV¼5?:AC? Ö5MJ?;>AB?¼FÄ AB?T?DFMpUp´MFçº?+8UT;T·qMH´Ñ K5?{Ä UVNV?AèDH;TM5Nµ; ëë =IJ??Ä =·ÃUXUpWT=Ä$?£;>;>ABAM??:AB?åÄ ´??M5M_¶´@9C¶UpM5U>;>·ZA´@8:KFUp?+ACA<Ä ;>IJUV¶NV?£?UTAHMÓ¿K5´K59B8?+K=?;>Ä =@?;TMF9CM5U>9C´MF9B» MWf?;TAC?=Ä 9<;>?M_M_ó´@¿+¶D 3 =w3 ´35éêFD KF?M5GH8?+?:´ UT65¼V¶\´;>8:9BUpMFM59BMF¶9<»{NV?;&=DfM5;T?¶ ¿+;>D5MQ¶Ä{?:åF;>;>ABACÄ ?=IFDAB?TÄ DwUV´K5NV?q?AE·Ã3 UpACABUX¿9CM5»KF9B?=;>=8KL¯UT·5Ä UTMFUTÚTM5?·Ã6FM58:´9BUTM5¶ ìTMFíUTMÑJ¶î:?wïXÕ_ïX6Fð í?M_ñ ´9<;>î

(12) AïX·ÃïX65ð¯M58

(13) ×Ã»T´@9C?UpMFMH?DJ=;>NVAB659Bò?¯9BMF´@U¾»¾ó ;Ó35¿a47?AC?AC=@ÀEÁ=L MFß UX¿M?åF;>Ä IFAB?QU>·qÖ5=@¶´À¤UT=NV?=D±¶i´;>¼FAB?&;TM5N ìTí ×Ãçô>õöBöBöCõç í ßq÷ùø_ø úüûý¹þÿ í ý ¿KF?=@? ÿ í 9<¶o´K5?¶?óUT· 89C=8:65AB;T=7I±?=@ÄQ6F´@;X´@9CUpM5¶oU>·× &õ øø õ öCöB öCõ øø õ ß T U { = T ; C A Ê5D ì í 9B¶ ³ Ro¸ ³ À¤6FM5NF?:Ö5M5;T¼FAB? Ä UT=@?UXWT?=

(14) í ì í ô 9<¶ ³ R7¸ ³ ÀjNV?:Ö5MJ;>¼FAB? A ³ =?AB;>´9BWT?ABL Ú ì í DF;TM5NÓ´KF?8UTMWT?=@¶?¯NFU_?w¶oMFU>´K5UTA<N3.

(15) UX¿+DX·ÃUp=q;>ABA SDT¿7?NV?Ö5MF?;+ABUT»p9B8;>AV=@?A<;X´@9CUpM é í ¶6J8K&´@K5;X´ í ×è;>M5N KF?M58:?¯;>ABAF´K5? ì¿+í

(16) 3 =w 3 ´wß 3Fé9<¶£í MF3 UTâ ´£K59B9BM¶oWX=@;>?=@A<9B;X;T´@Mp9C´£UpM¾¿+é 3 =í3 ´9Bé ¶í;TM¾DH;T9BM5M5N¶´@;>ì MJí8: ?£ô U>×Ú·;>MJÂ¶N?Õ_KF6F??M5M_8:´@?{9B;T;TAC9CACíA\L ´ìK5=?? AB;>ì ´í9BUTM5 ß ÅÓ9<×Ú¶£¶?9CM?+WXNV;>?:=@ÖJ9<;>MFM_9´À ´9BUTMPæ ß DF;TM5N"9BMPÌ9B?¼±?= ¶7´?=@Ä 9CM5UTABUT»TL é í ÷ íô

(17)

(18) ô

(19) í ô

(20)

(21)

(22) í ô DØÚÙÛwÙBD5é í 8:UpMp´;>9BM5¶D_;>´ »T;>=@MPUTU6F8M58:N"6F=@íL=@?IJM5?p8DV?´KFUT?+· ¶?:´9CMU>·oUTM5× ?UT·Ç ´@ß KFÀE?£´6FÖ5IF=AB¶i?´ ¶oº¿K58:Up9B8Ä KI±;>UT=@M5?¯??M_9´@´@¶KF3 ?=8UTM5¶´@;TM_óUp=NVU?¶8:UpM_´@;>9BM ¿KF9BR 8K?=NV·ÃUTU=@?wÄ ¶o9BMFMFU>»µ´´8:K5Up?äM_´@í;>¿79BM U¹ì UTí I±;T?=M5;XNÓ´9B8UTUTMJM_¶"´@;TNV9C?MJ¶@¶ 8:=@ì 9Bí¼J ?wôN(3 ;>¼±UXWT?¿+3 =3 ´37é í D7L9C?ABN5¶¾;¹Ä UVNV?A á ?MJ8:?TDF8UTM58?=@MF9BMF» ³ Ro¸ ³ DV¿a?+K5;fWp?´@K5;X´wÑ ë ââ KFKF?+?UTNV¼J?Ö5¶?M5=;>WX¼5;X9C´@AB9C9UpíL¾M5;>IFA=?wUpÕp¼F65AB?9CWXÄ¡;>AB9B?MPMJ8:´?£KF?Q9B¶oÌV658M5U>ŃV´?8Ä 9BN5UV;>NV¼F?ABAH?T9<3 ¶o6FM5NV?w8:9<NF;>¼FAB?T3 ë â KF?{=@?A<;X´9BWT?{NV?Ö5M5;T¼F9CAB9CíLIF=@UT¼FAB?Ä×Ã9BMº´KF?¾ÌV8U>´´Ä UVNV?A ß 9<¶+6FMJNV?89BNF;T¼FAB?TDZ;TM5N ë ´KF?+I±Up¶?:ÚT·\NV?»T=@??w¶oU>·=@?A<;X´@9CWp?+NV?:Ö5MJ;>¼F9BAC9CíL"9<¶9BMVÖ5MF9C´?p3 ë â KF?=@?£?:åV9<¶i´9BMVÖ5MF9C´?+K59C?=@;T=@8KF9B?¶7UT·\¶´@;>MJNF;>=NDVUT=NV?=7?å´?MJ¶9BUTM5;TAÄ UNF?A<¶3 Ä 8;>;TM ÁTÌ?¹¼±?Wp?Up?¼5=;T;>¶8?AHK5=9C;>WX?6F;>WT´´?KF9BN½UTUpM5=@¼;T¶oL½A+K5??;fÕ_ACWp9B6F?£Ä 9B9CWf9CMMJ;TWT;XAC??w´M5¶i9BMF´@8:9C»?½»_;X;TNV´@AC??ANP8M59BNF=UT?w;TMù¶i¼F´@AB=»T?T9<=@Ñ8

(23) UT´@O&659CUpM53¯M5N½¶oRS8UT;pUTMPNVM5UX´@¶WXKF´@;>;T?QMFM_9¶´@L_¶äKJM_;T´×Ã´¶ä;XKFå¾?¶KFUTUX· ¿³ M Ro¸ ´K5³ ;>´¿KF´@Þ9<KF8 9BK ¶ 9CIFM =UX³ Wp?RoNP¸ ´@³ K5ß ;X´£ÍÇfUTæf¼5Ï¤3o¶?ÌF=@8WXKF;XÄ ´@9CUp9BNM5´;>ÀjAHÌF?w8Õ_K56F;>9C65WX¶@;T¶AC?ÍCM5Ç 8:X?&Ï9B;T¶£M5NVNù?w8:9BM59<NFNV;>?¼FI±AB??&MJ;TNVAB?¶M_U{´·ÃABLTUpD=à+´@KF3o?GHÂU_6F;TM5NV;T?=ø=LVÅ{Í XWpÏ¤Da?=K5¶;f9BUTWpM ? U>8:UT·MR7Wp¸ ?=@³ »T?×ÚMJ;¾8:?¶9BMF´@?»T¶AB´@?Å »pÒÑ=UpT6Fï M5NPñ íLï IJñ ?&ï ï ¿3 9´@Kí¿aUÓ8:UTMJ¶i´;>M_´@¶ ;TM5N ;>M5N;Â¶?Õ_6F?M_´@9B;TA ß 6FMF9BWTÆjM(?=¶@;º;>A±=·Ã?wUT8:#= ?M_"¯´¾R7IJ¸ ;>³ I±?×Ú=65¶Í f9CMFÏ¤Dq» ËJ´@KF3a?+G;>AC9<9B¶=@Ń 9BMF»"¶KF;>UXAB¿»TUp¶ =´9C´KJKF;XÄ¡´P47NF??W==@9B¶!L ? NP¶ ¼Ä LÓUVNVÌV?8K5AÄ U>·+9<N¼F´9<ÀjNVÌUpKJÄ ;>65;T¶@9C¶MJß ¶{3 9B¶ ÆjM¾´@KF9B¶I5;>I±?=wDV¿a?;pNFNV=@?¶@¶a´KF?£·ÃUpACABUX¿9CM5» Õ_6F?w¶i´@9CUpM5¶Ñ ë ´Æi¶+=@9CW´@KF9<;>?"&A %I±Up×iØÚ¶Ù?:Ûw´QÙ\NVUT·oU?NV¶?»T9´=@?8?{UTM_UT´@·o;T=@9C(M?A<;X'i65´@9C¶iWp´£?{´@NVKF?:?{Ö5NVMJ?;>»p¼F=9B?AC9C?&íLµUT·79CMºNV?´@Ö5KFM5?Ó;>ÌV¼58AC?&U>´·Ã´&6FM5Ä 8:UV´9BNVUT?M5Aq¶UTDH$· ;>M5"¯NR7´¸ K5³ ? UTMF?£UT··Ã6FMJ8

(24) ´9BUTMJ¶?Õ_6F9BWX;>AB?M_óÚ ´K5?ÂI5;T=@;TACAB?A8:UpMWT?=@»T?M58:?´?w¶i´Å*)+% ß ë Æi×i¶ØÚÙ´@ÛwKFÙ?NVUK5?9C?¶o=@9C;T´=@88:KUpLMpÚT;>·q9BM.×Ú¶'i´@6J;>¶iMJŃF´@;>KF=?QN{ÌV;>8:M5UTN"´ÚT=;TNVM5?N"=´@?KFå?£´?·ÃMJ6F¶AB9BACUTLPM5;>;T¼5A ß ¶´Ä =;TUV8:NV´?Ä AJUTUV,· NV"?A-Ro% ß ¸ ³ ´@=9BW9B;T-A % IJIJU_U_¶¶9C?/ ´´9B6FWTU>=£?P·\Ö5NF;>=M5?¶i»T¶´¿a=@?=@??£?=Ä{9<´@¶o;>UMF=@ÁUT´@KFMP¿o?P´@;T=¶¶9B?W8´9BKJUT;TM5;XAèDF´&Nº;T;PM5UpMFN"I±?TUp´@3KF¶9Ì?+´@659CUTWp=M5?"IF?=@;>9<UT¶M59B·\¶MF¿aÄ »T?ABUVLµ=NV´??UMFAB¶oUp´6F9<K5¶o»T?{´KH=@Ö5D\9B=W_9C¶i´&9<´;>´@A Õ_ô6F6F3 =?MJ¶¶Q´9BUpUT6VMº´&9BÄ ´@K5IF;XAC´ 9B?´¶QK5;? ´6FUI´@;TâKFMä?KF?ÌV;>8:IFI±UTIFUT´=@9B´ MpUTÄ ´7I5=9BUV9<¶;XNV´´@?K5?Ap;>UTACÚp0· D_»T"¿9<8RoKF;T¸?AZMÓ³=@?;>9CA<IFM&;XÍFUT9BABUT=LMNV9CM5?×Ã=Z»+í´LÚIFKF9B??Ó8AC;>9BÂÄ AB8ACUTLp9CMJABDAB;X;TÌVÍ59C?p?¶DX¼J9BMF¶?;f»_=1LpÅ ¶ D:´@´?K58?7KFNVM5?9BÕ_»T6F=@???NVUT?· ¶@)78:´=@DfK59C¼¼±?L?MN{I5;T9B;TAC8A¼JÁUX´9BMFK5Wp»?? 32 ß U>?AB´?K5Ä ?=o?M_NV´@?¶ »p=UT??=o¶q9BMP8UTÁBKFAB;T?I5¶¶??8ÚTUM5U5NÓD_?UT9CMF´K5?"?×Ú=7?:å9CM¾´?´M5KF¶?¯9CUpÖ5M5=;>¶iAH´78IFUTK5ABAB;T;T¶I5?&¶?×Ú?U>AB9C·\Ä ´ 9BK5ôM5?+ ;X ´@9C M9C UpWXô M";> =@U> 29B·;T M_MF´7UTMV?ACÀ¤?9BM_Ä WX?;TM_=´@9<;>¶ M_3 ´ ß ß 465 | e£<}@kk | }:kk | e£Vshje@ks+s>rTe~dhbhkjgibdc>b}~ | }h}`}~lkie@gi`_}kibdcfepgisXsE]Jhjbd+_~de@gk | e` sbd` y gishg]>rTr e@ygeqkis¯kis8gie

(25) 7p}¦:hj9Jsw}`"blg}r<Vs; =?y >Ãk]> k y| k\e ~d| ebdhje@h g}gie `_| eQg}s~H¦:@E+`£s><rp}@e@k ~hS\se7 }: giY e7z }_~de¢Ú[>kies¯@}k

(26) B¦_App¦~dAX£¥s¦ y gZgieh y ~dkS}~dhjs.

(27) « ² 1²© «5²

(28) ?79CM_´@=UVNV658?´@KF?qMFUT´9BUTMUT·5=@?A<;X´9BWT?aNV?:Ö5MJ;>¼F9BAC9CíLTD´K5?aA<;>MF»p65;>»p?6"Ro¸ ³ ;>M5N+9C´@¶SÌV8U>´´ Ä ;>M5UVNÓNV?Ä AèDU;>NFMJ?N A<¶3 ACUp»T9<8;>AJ=?AB;>´9BUTM5¶DX´@K5;X´7¿a?¯65¶?¼JUT´K{´@U&8:UpÄ I5;>=@?NV?»p=??¶SUT·ZNV?:ÖJM5;>¼F9BAB9íL . . !#"%$'&%()*(*+-,. A. z"{$v,}|q~m. ó9CWp?06M;T7MDZ;>¿7I5?¾IFAC¶9B;f?LN´8K5;T;>AB8´96F8{AC6JØ;¶/:<.:>=<D±;Ó?@AÄ @CÛCBEUVNVDG?FA1?IHK0 JUTØA·2HL.DGFFDÛ;>M5.NNäM OTí¿aÛPQUÓH??!ABR:?ØAÄ @ØAD?SUM_´TV¶4BÛX3 WBþ OpÛY06BZW[5¾8\;T0)M5N D ì3^] þ _` ì DF9·\´K5?=@??åV9B¶´@¶;TM .Àè´@?=@bÄ a !Ñ c e ñ d ¶658KP´K5;>\´ fgaihX_ ì ÷ 3\3 2 ´9BUTOpM¹gÛ Jk;TB¶@Û¶lÛ UV8W 9B8m;>´.N?NM OT¿Û PQ9C´HVKº?kRÁØ K5@dAØ ?"DSºIF=@AØ Hn?UT0=NV?=9<¶{;>¼±;>M½UXWT??TÕ_DH6F;T9BM5WXN¹;>AB?NVM5?8»T?P=@?8?AB¶+;p¶;T¶&=?{U>·¯IJ;>´KF=´?P9<;>?ABÕ_ACLä6F9BUpWX=@;>NFAB??M5=@?8N ? =¼_?lL AB;>] j U>·SNV?:Ö5_` ?MJ»T3=@;>?¼Fâ ?ABKF¶?£?£U>?·qABI±?UpRoÄ ¶¸ ?:?´M_´@ÀjUT¶NV·\3 ?NVÖ5?M5»T;>=@¼5??9CAB¶o9í;TLAC¿o9BMä;fLV´@¶aKF? KJ;TÌV¶8U>; ´´¶ÀjÄ{8:UT;TM_ACAB´@?9C¶M´6F?UpAB65?Ä ¶Ä ?M_UVŃVD5?M5AE;>DÄ U>·?´@AB?L{M´@8KF;>?ABACNV?w?Np»p=OT?ÛC? M o ³ JIBÛYÛ :qW[82T?B?I@A@CYÛ @;Ø :X=ãK5;fWp?¼±??M¶i´@65NV9B?NÓ·ÃUT=9BM5¶´@;>MJ8:?£9CM¹ÍCÇ:Ï¤DV¿KF9BAC?NV?»T=@??w¶aUT· Ro¸ ³ À NVW[8+?:Ö5ØAHtMJD¤;>ÛC¼FH9BAC:

(29) 9CØ*íWLHV9B?M£@dØA´DgK5S ?Ä K5;fUWpNF?¯?¼±A>UT??·VM¶´=@9CMUTWTM5?w»T¶iAB´@L9C»_¶i;X´;>´@?¼FNÓAB? 9C·ÃMº6FM5Í æF8:D´Çv9BUTuFM"D:Çp×ÚÇ:¿Ï¤KF3 9B8K+8UT6FA<N£¼J?8;>ABAC?wrN OTsÛ JkBÛ>Û : ß 0 K5;p¶o´K5?QNV?:ÖJM5;>¼F9BAB9íLPIF=@UTI±?=íL¾¿+3 =3 ´3 . ×Ã9E3 ?p359C·S;TML¾?AB?Ä ?Mp´¯U>· · / · 8UT6F=¶?pDF9C1 9C0 Mx0 9<¶ ´@KF9<KF¶??M¹=@?NV´@NV?KF6JMF?¾8:U>?Á<N¾;X;>´M5´9B»TUTU{65M{;{;TUT»T¶·?"9CM5¶UT;>»TMJÄ AB?:NºN?Úp´.MHKFÀè3 ?Ó´@?Ä =@Ä UßNFDX?´@A7KF¿a?M ?"´@=@KF?:?·Ã?I±=Up´@¶U?:´q;>UT=@?¾·NF8:?AB?»T;T=@=??w·Ã¶ =@UTU>Äw· .S´ÀjKFNV?P?Ö58:M5Up;>Mp¼5´@9C?:ABå9í´L D ¿a¶I±?&?;T

(30) ¿Á{9CABU>A ·UTÅpÄ NV9?´»p=Â ?.a?Å"¶;>UTMJ·NùNV?ÂÖ50M5;>Å5¼5D59CAB9B9MäíLV´Å5K5D_? Up=aNV??Ö5WT?MFMH9C´D9BUT¿MµKF?;>M¾M5N´KFM5?£U>Ä ´@;>UVŃV9BUT?M5A¶9<¶a;>Up¼±=@UXNFWT??p=7DJ?:;TåM5Ńä?M5¿7¶9B?QUTMJ¿;>9BACAEA D U>U>·o1· .ÈÂNV?;T»TM5=@N¾??´¶\KF?UT9C·±=I5NF;T?=@MF;TUTACAB´@?;XAB9<´@¶9CÄ{UpM5ÅF¶o3 9ByM Up0)=?UX3 WT?=Dw¿a?6J¶?o´@KF?¶;TÄ ?o¶LÄQ¼±UTA<¶\·ÃUT=S´@KF?8:UpM5¶´@;>M_´¶ NíVL_?:I±Ö5?ÆjM5M½9;>´@MJ9C´@UpKFN¾M5?¶+9C´@=@¶;>?M5¶¶´ N´@;TUTM5=@·¯?NF¶;T´@6FKF=@ANÓ´9<¶"¶+9CM_¶;>?w´@IF?8

(31) I5=@´@ACIF9CLUp=MH?´@´@DU ;>¿7´³ 9B?UTRoMH·Ã¸ U3 ³865´¶{UUpU5M DH8"KJ;>M5MF;>»p=@LÒ9CMF»PR7¸;>IF³ I53 =UpIF?=Wp9<?;X=´@´?KFABL?AC?w´KF¶¶? D»p;>=ABUpA6F´M5K5N ? ;>M5M5N¾;T=´L£KF?+R7Up¸ MF³ ABL"9B¶\Ö5;>=M+¶i´?åFUp=@;>NVÄ ?IF=AB8:?qUTU>MJ·F¶i;TÍF;>M_IFÁB9C?w9B¶8NqÒÑVÀjT8ï;T ¯AB8ñ6FAB65ï¶DÑ9´¶Z»p=Up6FM5N+8UTM5¶´@;TMp´¶Z;T=? &õ ÑTïD GH?:´ 0 ¼J?; ¶´@;TM5NF;>=N"Ä UVNV?AHU>·+"Ro¸ ³ D´@K5;X´9<¶Ñ ë fèf%ïc h ñj÷ d h&9B õ ¶q; p¶D 6Ff ¼5l¶h?:´÷ U>· f d ;>M5h KN 7f ^3 h ÷ &D ë = UTZM 0)Ñ

(32) ?8;>MNV?:Ö5M5?;>MP?:å´?M5¶9BUTMJ;>AUT=NV?/ ëë 2727´´ííLLIJIJ?\? ïc DFj ñ xç Nd D 3l¾9 7Iç 5 ÷ ì 9 xUT=±ç ç þ ÷ fg±c4D hXõ 3±xç 5 ì çZ3 #"{(*+ (*"it 0 ;Ø :q?U:>Ds?IHO!?BOWBOpYÛ B>M-Û !D¤CÛ H:

(33) *Ø WIH?@=UWvOTCÛ @ZØ 8Y ".

(34) Ø EØ Û TÛ JØ 8YWIB\DAF5ÛmWIBOTÛCB QÙ â KF?£ÌF8:U>´´7Ä UVNV?A UT· "Ro¸ ³ 9B¶a´K5?£¶´@;TM5NF;T=@NDUp=@NV?=a?å´?MJ¶9BUTM5;TAJÄ UVNV?A¿KF?=@? fc ñ d h ÷ 3ãÑ\fgc4h ñ f d h 239<¶4oÀEÄ UpMFU>´@UTMF9<8\_Dq?w;T8Kfc4hÓ¼J?9CMF»ÒI5;>=´9<;>ABACL UT=NV?=@?N¾¼_L +3 ëë. 0. ;:q?U:>Ds?IHO!?BOr=UWvO C@ 9@A@k8'HCD *WH:q?IB \=<WHVWD WH . . .

(35). {"V+ ($)*(*+X,E)$'+ (t"% . â KF9B¶NV?:Ö5M59´@9CUpM;TM5N¾´KF?+IF=@UTI±Up¶9C´9BUTM;>=@?´;>ÁT?M¾·Ã=@UTÄ ÍÇÎ>Ï¤3 ÇTõöBöBöCõ # í ;Ø :qDGFFÛm:ÛCDNW[8mD vTV@CÛY:&×Ãç ô õöCöBöCõç í ß : XF #"{(*+ (*" 8 DAF?DÛ:AØ DGFFCÛ B û qþ Qõç ÷ WB õ þ "õç ÷ ç _Ù ±ØÚÛ RÛCB9Û B@DÛYS-@T5?IDèÛØ*Ù WIHäØ;:4?@ WJTØ X?@BÛC@?DEØ*WH {FØ XFPØ;:4?IHØAHDjÛYBX:Û YDEØ*WHlW 8 ?H '=<R@ÛCB/W 8 í ?DRX? :q Û B@YÛ @?IDè*Ø WIH: {FVØ -F XWHtDs?>AØ HDGFFÛ |4 (*+ (t" w FFÛ ±ØÚ Û RCÛ B BCÛ @?DE*Ø WH:9?BÛ+-Û ? CD@ SqDAF5N -WIH:>D ?HD:\W[8 aÙ ;>M(L â "KFRo? ¸ ·Ã6F³ M5ŃF?;T=Ä Ä?DFM_9B´@M;>Aq;>MAC?L"Ä Ä Ä{UV;NV?UTAE·7DFAB9<UT¶o»p9C9BM8WX;>;>AS=@=@9<;>?A<M_;X´´9B¿+UTMJ3 =w¶¯3 ´w?3FM5;>¶AB6FAZ=Ì?w9B¶?¼±´?K5=;>´+=@?Á<;XKF´@?Ó9CUpNVM5?¶MF3 UT´@;>´9BUTMµU>· . . . #. # %$. )(. . . . . . !". '&. +*. . . ". . . -,. .

(36). . (. 0/. . 1*. 2. 23547698. ;:. x(!$'>=@?%(*Ut1A 5B{) <. TØ Û EØ Ø fÛ Ø äØ FÛQØ TÛ EØ TÛ FÛ Û 5FÛÛÙ Û EØ Óé _ )Ø;:/DGFFÛ @W-JTØ -?I@BÛC@?IDèØ*WIHPé$Ø;:Q8 'H CDèØ*WIH?@Ø 8 #"{(*+ (*" Vc[õ 3 þ fgc9h _ õ ì õ ì þ fc/h Xõ 3é ì Z3é ì ÷ ì÷ ì çJ8q/é é1HÙ ;Ø :@W-8 J>'Ø H X?Y@{DE*Ø BWÛCHV@??DE@Ø*?WHVHOé ç Ø;þ :qfgWIc/HDh-W{_ Ø 8 qÛ 1B

(37) AØ DjÛoé ×Úç ß 8YWB9DAF5Û4WH@SN þ fgc4h : -FrDGF?D Vc[õ ì þ fc4h õ û 3 þ fgc/h _ -õ 3é ì =UWvOTCÛ @%0 ;Ø :r:>=U?I@A@CCÛ BEDGF?H ? =<W OpYÛ @ Ø 8 é ?I H_ O Ø;:98 Ø;':\H :>C=<DèØ*?WI@AH@CÛC?IB @ #"{(*+ (*" w ?HOZWIHD WT Ù 0 ?IHO ?IBÛ ;Ø :CW=<WBgTFVØ {Ø 890 ;Ø : :>=U?I@A@CYÛ BmDAF?H DAF?H0 Ù n$ w 4:X: '={Ûé 7 ;Ø :28 'H CDè*Ø WIH?I@%?HVOZWHD WTÙ ZCÛ D\çZõç þ fgc4h þ fc/hX_ Ù 8 ÷ é ×Ãç ß ?HVOU ÷ é ×Ãç ß DAF5ÛYHx ÷ é ×Úç*ç ß Ù 89 é ×Úç ß ?IHOUK é ×Úç ß DGFFÛCH E½é ×Úç Óç ß Ù ;>=@é B»TWv×6FW[8:Ä Ù?¶Æ¤M_U"· ć é UT·÷××Úçç ïÓçDV;>M5éÐNä9<¶ç ´@3±KFé ?9<×ÃVNVç é ?Mpß7× ´@÷9í3LpV3_é 2¯9BM5¶× ;>¶AB6FßoABLTÄ ÷ D59? ¿7é c?+×Ãç9<»T¶7?´¯;£ß é ·Ã36F47×ÃM5ç LÓ8:´PçK9BUTLM5I±;TU>A5´íK5L?I±¶3 9B?T¶DDJ;>KFé M5?N ×ÃçI5AB=?:U´ ¾çU>&· 9<¼±¶?¯ßo´;TK5÷ M ? ßa÷ â ¶;TÄ ?ß ·ÃUp= +3 ß ßo÷ ß ³ #"{(*+ (*".:DC FE CH^D%* W:>Ds?IHO!?BOU=<WvO C@ : 0 I? HOHGI1DGF \B Y@ ?D *WH WH@S<@WJ X?@%B C@?D *WHK*{F XF ;: DGF *O CHD ADSE?ID2DGF XR ? : qDS-T . . ML. . J. 'N. . . . P. Q*. J. 5O. 'N. N. J. *. !". . J. . SR. PG. 7G. V. WXW. . KY. TJ. . . . UG. . [Z. N. N. . . 7G. ]\. . . N. N. N. 4. _^. N. ^. N. ^. ^. ^. ^. N. ^. ^. N. ^. N. à.

(38) 1 é Ø E Ø 5 Û £ Û -pØ;:XD:N?\D WD ?@t=UWIHWIDsWIH5Ø 9=U?XT{é ô Û ô ç þ õç ÷ é ×èé ×Úç ßß Ù BWvW[8:Ù¯GH?Ä Ä{ ; &;>ABACUX¿¶765¶Ú"NV?Ö5MF?é ô ×G ß ;Tô¶7´@KF?¶Ä{;TACAB?¶´ç¶6J8K¾´@ô K5;X´é ×Ãç ßq÷ ô ±3oé 9B¶ÓÄ UTMFUTÚTM59B8TÑa9C·Qç eDaçbÔé ×èé ×Úç ßß ;TM5Nùç )é ×Úé ×G ßß 3

(39) 9´@K ACé ?Ä ×èé Ä{ ; ô ×Úç DS¿7?P»Té ?:´{×Úé ç ô ×Ãç é ×Úºéé ô ×Ãô ç G× ß ºé3 KFô 9<G× ¶ ßL_ß 9BD?A<;>NFM5¶ NÒç ´K5?PÄ é Up×Úé MFU> ´@ô UT×ÃMFç 9<8:9CºéíLU> ·ô é×G »T9BDqWT¶?wU ¶ ßß é ô ×Úç ß ßß é ô ×Úç ß Pé ô ß ×G ß D5;TM5NÓÖ5ßM5ß ;TACâABL¾é ô ×Ãç ß Èé ÷ ô ×G ß 3 ß ?HVO ?IBU Û :>D ?HVOk?B-O^WBOpYÛ B>M-Û !D¤CÛ H:

(40) *Ø WIH?@1=<WvOTCÛ @ :<W 8 |4 (*+ (t"w 840 ?HO Ø;:Q8 '@A@ S?kRY:>DB-? CD Ø;: :>=<?@A@CÛCB DAF?H0 9B¶oB·ÃWv65W[M58:Ù8

(41) ´@

(42) 9CUpM5? ;>¿AH=;T9CM5´? NPé UTM_÷Ú é ;X´_ í LI±3?¶ 27cµ´£»T;>=@M5UTN 6FM5d NP3 íLI±?TDéã9B¶£;¾¼F9 'i?w8

(43) ´@9CUpMH32¶@¶6FÄ ?Q´K5;>´£é 2¶@¶6FÄ 4? 3é 7I 5 ì ;TM5EN 3é 7I 5 ì 3_GZ?:áç þ fgc4h 3VÌ9CMJ8:?¯é 7 9<¶qUpMp´@U5Dp´KF?=??:åV9B¶´@¶ þ fc4hX_ ¶658KÓ´KJ;X´é ×* ß÷ ç3

(44) ?£»T?´ ì ç ÷ ì ×èé ×* ßßq÷ é ×g3 ß÷ ì ×èé ×* ßßq÷ ì çZD ¿KF9B8K?Mp´;>9BAB¶ ì ÷ ì Ñ5é 7I 5 9<¶o·Ã6FM58:´9BUTM5;TAè3 H G : ? ´ fc ñ d h 3ZÌV9CM58. þ ì ¶658KÓ´KJ;Xq´ f ÿ h ÷ ì 3F47L¾´KF?£? ·Ã6F üMJNF9<;>¶Ä ·Ã6F?ABM_AC´Lµ;>A;>¼5AB?¶Ä ´=Ä{;T8:; ´DJU>´·KFAB?UT=»p? 9B8?:;>åVA9<=@¶i?´¶+A<;X;Ó´@9CUp8M5ACU_¶ ¶?wNä´@?=@Ä ÿ f ÿ h _ é 7I 5 f ÿ h â KF9B¶L_9B?A<NF¶ f ÿ h _ 4é 7I 5 ì ÑF4é 7I 5 9B¶oUpM_Ú53

(45) o¬ « w ½²©$ª ¹² Ô¬ ¬

(46) ?oÁMFUX¿º´KJ;X´ ´KF?oI±Up¶?:´ U>·JNF?»T=@??w¶ZUT0 ¶×´Ä{K5;>?ABABNV??¶»p´7=??AC??Ä UT·Z?M_´@KF´ ?!Â#"I5%$";T=@×Ã;TÁCKFAB??+ANV8?UT»TM=@WT???¯=»pU>·?·M5"NV8?Ro?Ö5¸ ´M5?w³ ;T¶i¼FÀ¤ŃVÅrAC?£?Ö5?çtM5AC?;TÄ ¼FöF9C?ç ABM_9Cí)´@L+¶ ß 9C3VM&D52 ´;TKFAB¼F?¶9CU&»pÌV»T?8?wåVU>¶i´9Bó¶´\´@NVÄ ¶?Ñ UV»pNV=???AVKJ!;T#"¶\%;$ ß ?IB Û Op*Û P H?!RY@CÛ BCÛ @?IDèØ XYÛ @S n$ '& 9@A@aCÛ @CCÛ = CÛ HD:EW[8<DGFFÛ XWIDD9=UWvOTCÛ @W 8 DsWm çt±ö±ç )HÙ BWvW[8:Ù

(47) ?+Ä{;>Áp?+;>MP9CM5NF658

(48) ´@9CUpMPUpMP´KF?£íLI±?¶3 H G : ? U3(Ñ%c ô ñ öCöBö ñ c í ñ ï3 GH?´Ó×Ãç ô õöBöCöBõç Cí ß )( ô

(49)

(50) * ¼±?{´KF?"´=;T8:?¾U>·N3Ð×Ã´KF? ´ ¶Ä{;>Æ¤AB·oAB?çÐ¶´7{Ñ ´@6Fc IFDHAB?´@¶KF?{¶65·Ã86FKÓMJ´8

(51) K5´9B;>UT9´ M 3äLê9B?Ä A<NF;T8¶ IF IF9Bß MF3 ^» Ú 9C·oç º;>M5Nµ´@U ¡U>´K5?=@¿9B¶?{9B¶ N´VKF?:?Ö5xM MJ;>¼FABöB?T*× Ñ 9C·a ô@× ô öB öCô ö õöBôöBöCõ ö,+ ß B,öC(ö × ô

(52)

(53) * - 9<¶q-´ô KFöCöB?¯ö ´-=;T8?NV?:U>Ö5·HM5ç?DV4¶ ;>M5NêF3 ÷ f h+×Ã¼L K_LI±U>´@KF?¶9B¶ ß D +ß ´ 39<¶NV?:ÖJMF?NP+ ß ¼L / MF?£?;T¶9BACL¾8K5?8ÁV¶a´K5;>9 ô öCöBö í öB×[× /ê .0.2 ô ß öCöBö µ× 1ê .32\ í ßß )öCöBö )× × 5ê 46.2 ô ß öBöCö × 5ê 42\ í ßß . ;:8'HCD *WH?I@?IHOWHD W@{DAF YB WXWn$ 7 8. :"XFZDGF?IDw f \hX_. V. . 4. à. -,. G. . G. . K3 47698. "G. 4. J. J. N. N. N. N. J. J. J. à. V. . WXW. (P. 3 47698. FE. 4. ^. '. ]^. . ^. '. &. %. &. . à. ·Ã¼F6F9C»pM5»T8

(54) Æj´@?wM9C¶iUp´´MùKFUT?{M5¼J? ÌV?AC8×UpU>ØÚMFÙ´Û»p´£Ù±¶ Ä 9C´?UV9;>´@NVABKF?ABUX?A\="¿U>¶q·Úº´@"U´M5K5×;>7!?ä=@L8:¶Ä{R79!;>¸ ;AB³ABÀ ?D±¶NV´¾UT?MFÖ5NV? MF?»p?8=;>;T?MM_?ºL¾?×;TU>ØÚ¶Ù´Û9BK5ACÙ7L?9C=´"¶KF?9<ABUX¶"?¿ Ä NV?:?´ÖJK5Mp´;>M5´;>UT¼F·Z;TABM_´@? KFLPß ?+DqÖ5UpÄ == ¶U´¯ŃFUºUT?=A ŃVK53??= ß ß.

(55) íÈñ ï½Ø TÛ BÛ 5Û FÛ ÛäÛ-pØ;:XD: ô õöööõ í {FFÛCBÛ Ñ ï þ çõ õ &õ ±ç öB× ô ööö í ß ÷ Ù Ä U>´B9BK5MFWv?W[9B=@Ä{8:¿Ù¯;>9B4aA¶?TL¶3 ?K_Õ_L6FKFI±??MJU>M 8:´@KF? fg5? ¶ç 9Bô¶}þ Döö ö&ç 9<¶£õ qö MF U>ô í ´Qäö¶;6Jö8:8öUpKäM5´¶KJ´@;>;XM_´ h ´£¯×·Ã

(56) 6F ¯DM5ß8:5´÷ ; 9BUT8:MH&UT3\M_3 Ì´@â =@6F;p;TIFÁTNVI±? 9B8:Up´ ¶9B? UTMH´÷ KF3 ?ã=? 9C·9<¶ ;P÷ 6FMF&9<ÕpD65ç ? â í í ÷ H G : ? ô õ þ & õ q í ¼±?µÄ 9BMFô 9BÄ ;TANV9<¶i´@9CM58:´¶?wÕ_6F?M58?¶ô ¶658KÐ´@K5;X´× ô ß¹÷ ´ ¯× ô ß½ ÷ f&Q3 hw3±â ¸a;>KFÁp??w8Á" ´KJ÷ ;X\´ ç fg3±9·äç ×

(57) ö<× 3õ H ô ßÈöö÷ ö × &hõ ß D )7 3 9·ä× õ ßÈ÷ × &õ ß Dù9C· íß ÷ ÷ ÷ ŃVK5?;>»p´£Æj=Mµ?æf?À ¶UTo3´KF ?ó =+¿a9B¶UpMF=@N5U>¶´DHIF;T=AC?wAS¶ÖJ?==@Wp¶´+?NPUT=;XNV´?K5=£9Cí»pLKFI±??=¶+íL_I±I±Up?¶@¶¶?wD5¶¼¶L´@KF8:Up?¾M5æf¶iÀ´@o=6J 8

(58) ´ó/9BMFI5»{=íUp¿7IJU{?=9BíMpLp´@3 ?

(59) =@Ä ?"?NV¶KF9<;XUX´@¿ ? GH?:´ þ "! " ! ¼J?£´@KF?£·Ã6FM58:´9BUTMNV?Ö5MF?NP¼L \× 3 ßa$ ÷ # 3 ç &%5öVç )E )%9U>Q· ´K53 ?÷=@¿ 9B¶ç ? &%5öVç )E |4 (*+ (t" ' w #"%$(' ' #"%$ Ù BWvW[8:Ù ³ 9B=¶ióU>·;TACAE&D P9B¶7Ä UTMFUTÚpMF?¯¶9CMJ8:?¯´KF?=?¯9B¶7MFU&?AB?Ä ?M_óU>· ) ! ¶i´@=9<8

(60) ´@ACL{9BM ¼J?í¿a¸a?UT?M5^M 8? =@tç MF&9CM5%5» öVç )#"%¾$+' ;TM5xN DH ¿atç ? &;>%5=@öV? ç »T)UT9B MF»Ó)*´%JU3 ¶KFUX¿ ´KJ;X´º9<¶£MFUTMVÀ¤9BM_WX;T=9<;>M_´¯¿+3 =w3 ´w3H; I5;>=´9<8:6FA<;>= 7!8:9!;À¤=?AB;>´9BUTMHÑ +2 ô ô 2 3GH?:´ 3 ÷ ç &%5ö±<ç ZD ì ÷ ç &%5ö±ç )x±D ;>M5NÓAC?´65¶65¶? ;T¶; ¶K5UT=´K5;TM5N"·ÃUp= +2 ô ô 2 3 ô ×´GKFô?õ M³ 9B ?=9Cõ ¶i´´K52 ?UTß =£·Dqç×

(61) ;T% ACô AEô DZõ"%9C´Q ç õ9<%¶2 ?wß;Tþ ¶ãLä UpÚ9= ;T= ¶? ô??{¶6J´8K5 K;>´Ó´@K5× ;X3±&´qõ ì 3J3¹õ Æjì Mç ß ô ´þ KF ?&ô ·Ã% D\UTô =@¶Ä 9B÷ M5?8=£?{¡8¿;p;>KF¶M5?&?N MF¿a?ì ? WT?ç 8:=¾ UTMJ×Ã ç 8: AB65õ% NVç ?& ÷ õ´ç K52 &;>ß ´ DD ç×3±2 õ ÷ õ &DH9CMº3 ´@KF?"÷ A<;X´ ´?÷=´K5;>q´ 2 ÷ ÷ H9C÷ M¹¼±U>´@K8;p¶?w¶D ì ç 2 2 % 2 ÷ &D;>MJNK5?M58? ì ?:ì åß7´þ ¿a ?&IF=UXWp?£´K5;>´´@KF,? 5À¤9CÄ{;T»T?UT·× 3±õ ì õ ì ß 9<¶M5U>´¯9BM DJ;>MJNKF?MJ8:?´@K5;X ´ 9B¶ MFU>´GHNV?:?´Ö5M5- ;T¼FAC?p 3 ç&%5öZç()x ).%53 K5?*5ÀE9BÄ{;>»T?{UT·£×g3±õ õ 9B¶¾×3±õ-Zõ- H´KF?{·ÃUpACABUX¿9BMF» ß ì ìß NV9B;T»T=;>Ä¡¶KF÷ UX¿¶7´KJ;X´× 3±/õ -H/õ - ß þ0 â Ñ 31-2 þ þ þ þ0 ´3\9B&DUTM"5 ÆjM"UpUVMUT8=8:× NVS65?=õ"=q=@5 ?´M5U ß 8´¶?K5K5¶7;>UXU>´q¿½+· ´@KF7D´@K5?J=@;X¶?3´ 659<8¶7KÓ'MFÚQK5!MF;>#"qÚp%=$fgÄ{D_3±¿a;TAç ?6_¶ÀEö KFaABUTUXM5¿ h7»+ ´@´K5?;X=Ä8´ )7!Ñ a #"%$ ¿]40 9C´K 3

(62) ·Ã=@???¯IF=@UVUX8WT8:?65=¼=@L ?M59CMJ8?NV¶q65U>8

(63) À· ÷ ëë 9fgQ· a3±ç ÷ ö ç aÒhô #D Zafg3± ç DV´öKF2?h7MH Ñ ÷ 0 )7D 8 ?9C´K5?=qfst3±çtö a ô h ÷ ;TM5N fs3±çö a ô h ÷ )7D ;: 'HVO PQH?!RY@ !4DAF YH}DGF CB WXWn$ 7 8 h ) K q%:!"-FxDAF?D2fs3 g3. V. *. 4. à. . 4. -,. 9.

(64) N fg3±ç ö a h7 ÷ )73 8 UT=\fs3±çö a h ÷ ;TM5K ë 9BA ·;>á ´@?=÷ ?Õ_×653 ;T×gAB¶7% ´@ô KF% ?+ % UT2 M5ö ACL"ßß65 M5ô NV ?: ÖJ M52 ;>¼F¿AB?+KF?U>=·\?+í;xLIJfs?t3±ï çtñ ö ×è ï hñ 9Bï ¶ß 6FDVM5´@K5NV;X?´Ö5M59<¶;>D ¼5)7AC?p3 DF´K5?M´K5? ë 93 ·Ua>; MJN ÷ f×gt×g3 3±×çt&% % ô ô % % % % 2 ö ö ßßß h ô 9< ¶P 6F M52NV?¿Ö5M5KF;>?=@¼5?AC?pM5DaU ´@KF ?M ¼8:UpL M_´@AC?;>Ä 9BM5Ä{¶P; ;>M(ÇTÇUV8´8:KF6F?=@==??M5?:8:åV?9B¶U>´@¶ · × ô õ õ ô õ õ" 2 ß7þ 2 çZõ±õ&õ q¶658KP´K5;>´Ñ fg× t3±t ç ±ö QÍ ô çZ õ ±"õ ô % ô õ % õ 2 % 2 Ï ß h ÷ ) 9B9Ì· ¶9BM5a9CM8:?MF÷ ;TUpAC=AJÄ{×g¶3 6F;>8¼JAE+D ¶i ´@6_9ÀE´@ô AB6VUT ´MF?w» N ·ÃÚp?=ß =@ÄÄ{¿DF¶KF;>;>?MJ==@NP??U>88 UT·DM_»T´@ =@;TUTôf9C65MJDM5¶ N

(65) íDL ÈI± Ç£?TDTU´8:8KFUT8:?M_6F´´@=@;>?=@?9B=@MÄM58MF?9BUM ¶7U>ÚVKF1· 8?8:3\6FAB3 ?:=@·=´?ÀEM5KJ8:;>?wM5¶N{U>¶· 9BNF3\? D ë ´KF?M·ÃUT=;TACAa×

(66) õ ßoKþ &2 õ q ;>MJN¾·ÃUp= 8 ÷ 8{Í 2 çõ _ÏED ÷ Í çZ"õ _ÏED¿7? K5;fWT?pÑ fst3±çtö ajhmf h%f9h ÷ qf8 h%f0 ô h%f0 h{f h ÷÷ f0f80× 8 h{ f ô h{f ß h%h f0 2 h 2 ÷ fg5çö<×38ô ô 2 2 ß h%fh%f9h ·ÃÆjUTM =@U>Ä¡´K5U>?·=S×3¿78 UT =NFô ¶ fg 3± ç 2 ß ö a 8:UpM_h7´@ ;>9B÷M5¶ofgMFU 3±ç UV88ö<3× 6F8=@= ?M5ô 8: ?£ U> ·13\2 ß 3 h ÷ )¿KF?=@?7´KF?MFUp=Ä{;TA 4aL+6J¶9BMF » DX¿a?;>=@?7MFUX¿Ò;>¼5AC?aÚ+NV?Ö5MF?;MF?¿ÈNV?»p=??TDf=?IF=@?¶?M_´?wN+¼LQ;·Ã65M58

(67) ´@9CUpM ¿K59B8K+Ä UT=@?UXWp?=9<¶ À¤9CMWX;>=@9B;TM_´Ñ

(68) AB?:´ Èþ ) "! !! ! ¼J?´KF?S·Ã65M58

(69) ´@9CUpM NV?:Ö5M5?NP¼L t çç

(70) öö ç )&99·· × ßq÷ t çtö 9· ÷0 Û OpsÛ JIBÛYÛ :mW[83}?HVO ?IBÛQAØ H XW=NT?IB?kRC@CÛwÙ |4 (*+ (t" F5m Ä BUpWvMF¸aW[U>8:UT´@Ù M5UT³ MF8?9B?==@¶iMF·Ã´ 6F9CM5MJU>»8

(71) ·¯´9B;TUTACMZAE] D 3 9´{Dp9<9¶ ´9<?¶S;T?¶M5LµUT´6FUº»pKQ¶?´@?¾U´@=@K5?Ä{;X´ ;T= Á+9<´@¶ K5;X;T´w8:D>´659C· ;TACABL¹] ;>MÒDT´?KFAC??Ä M<? M_ç´ UTö>· ç )ND 9E3] ?p3S; 3 ÆjMQUT=NV?=Z´@U¶2KFUX0¿º´KJ;X´ ]0 DX¿a?aIF=@UXWT?´@K5;X´ 9<¶\9CMWX ;>=@9<;>M_´¿+3 =3 ´3 32 ô ô 2 ÷ MF U>´×Ú;T M5KFNÓÀ¤9B9B¶M_¿aWX;T?£;TÄ =8:9<UTUp;>6FM5M_M_´8:ß´@AB65¶73 NV´@?U{65¶¶KF9CUXMF¿»&9B´MFK5» ?¯´·ÃKJ65;XM5ŃF¿;>Ä KF??MFMp?´Wp;>?A= AB?Ä Ä{;QUT·ABUT»T9<8;TAJ=@?A<;X´@9CUpM5¶D_¶9CMJ8:? 9B¶ â qôçô ç ç 2 2 þ ô 2 þ UTMF?KJUX;T¿+¶DT× ¿7ô ?¯õ NF? 8:õ UpÄ 2 ß IJU_þ0 ¶?3 DJØÚÙÛ4Ù´PK5;>9CM"´ í¿aô "õU¾×Ú MFU> óPÄQ;>6FM5´65,N ;TACAB2 L&0 ?åF¾8:AB65?M_¶9B´@WT;>? 9BA×8;Tô¶?"õ ¶Dp ;>õ MJN{2 ß IFþ=@0 UXWT? 3 ß × ô "õ õ 2 ß þ0 ·ÃUT=¼±U>´@KU>2 ·\0 ´KF?ÄPÑ N. N. N. N. N. N. N. N. N. N. N. N. N. N. à. . 4. -,.

(72). 0/. . .

(73) ë AC8 ? ;p´9¶? 3 ÇT÷ Ñ& 2 ç×& %5çöV&ç %JöVEç )D ì ß÷ ç &ç%5&öV%5çöVç )E)EDF ;p) ¶o%5¼J3 ?·ÃUT=@?T3 ô 2 3 ì ì þ þ þ þ þ0 ë 8;>;pM5¶NZ?q3æFÑ

(74) ´ç KF?= ?S?% åV9B¶÷ {´ 3 /þ ×Ã=@?Ä{ ;>=@Á ´K5;> ´õç 9·\Tõ¼J UTTõ´"Kº% ×Ú8þ ;p¶? Ç ¶ß 65;T8M5KN´K5×è;>8´;T¶?+2 æ 3 ß çNVU QMFU>%´KFUp÷ ABN D ´KF?M 2 ß 3±GH?:9´ 3 þ ¼J?£´@KF?£·Ã6FM58:´9BUTMNV?Ö5MF?NP¼L 3 x ç *% ÷ # ((9U>· ´K5ç ?=@¿ç 9B¶põ? +;TM5N % % ´à=@?9CWÄ{9<;>;TAE=3 Áµ

(75) ´?KJ;X8U´ ;>MP3 MFUX9<¶&¿ NV8?UTÖ5M5M58;TAC6J¼FNVAC??TÑ ;>MJpN 3 3 T3SÌKFUX¿9BMF»ä´@K5;X´× 3 -õ 3 -õ 3 ß"þ 9B¶ qô3 3 3 2 ç Qç Z ç þþ þ % % % þ þ0 9CMF»{

(76) ; ?·Ã=8;>;>»pM{Ä ¶?65M_Ä ´7UTÄ{·;T´@=KF9Bò?+?7IJÚ_K5¶??´=?wU>¶·S6FACNV´@?¶»pU>=·±??´KF¶Ñ 9<¶¶?8

(77) ´@9CUpM ¼_L´KF?·ÃUpACABUX¿9BMF»+NV9B;T»T=;>ÄDX¶K5UX¿oÀ . . N. . . . . . . . N. N. . N. N. N. . N N . à. Í 5Ï. . !#"%$. !#"%$. .

(78) 7ªS©¯ «5 «5NH«

(79) v7ª'Z©9 ²i¬q©N# Ô¬N. Í Ï. ÆjUTM&=NV´@?KF=9<ÀE¶S?å¶?w´8

(80) ?´MJ9B¶UT9BMZUTDXM5¿a;TA?Ä ¶´@UV;X´@NV??A<;¶Ñ´@KF;T?ACAUp=´?K5Ä ?;>Ä ¼±UVUTNV6F?´qA<;¶·Ã¶i=´@;>=»p9<8

(81) Ä ´@AC?LùM_´\»pUT=?w·J;X´@´@KF??o="KF´@9BK5?=;>;>MÐ=8´K_KFL+?µUT¼F·±9<¶NV´@UT;TÄ{M5NF;T;>9CM5=N ¶ Ä ;>M5UVNÓNV?»TAZ9BWT8:?+UpM_¶UT´@;>Ä 9BM?+; 8:AB6F¿a??w¶;>;TÁ"¼JWpUp?6V=´ ¶9BUTMÓR7¸U>·\´3 KF?+I5;T=@;TACAB?AUp=3

(82) ?;>I5IFACL"´KF9<¶=@?¶6FAC´7´@U "Ro¸ ³ D ³ ³.

(83) . (B%-Wp$(*"%. XØ Û

(84) Ø ¤Ûç Ø 8o}ç ?HVO ?BmÛ R-W 'HOp-Û OpÙ O M OkWI=U?>ØAH×õ+õ ß ë ë ± ç? õ XF õ"%-WIþ = T? õ C D ÛY@B%ÛY={÷ ÛYHtD#ç F? : ×GPQ HJ*ØAD¤% ÛCß@ S<÷ =<×Ã?ç HtrS< @W ß qÛCBq×Ãç RX*W '% Hß OÙ : :XD ?kRC@CÛ 8 'H YDE*Ø WHiR@CÛ D qÛ@CÛ H D W O M O!W=<?XAØ H:

(85) ?IHO Ø;:^? XWDgDgM -WIHDEØAH W : 8 'H CDèØ*WIH3p: -FxDAF?D ±çZõ þ

(86) äõ ç 4 ÷ 3 ×Ãç r ß÷ 3 ×Ãç ß 3 *× ß #"{(*+ (*"i w × Cõ +õ +õ ß ;Ø :q?R:*Ø O!W=<?XAØ HºØ 8Y ëë ×× õõ ++õõ ßß ;Ø;Ø :m:m??O XM WOkDgWD=<O!W?X=<AØ H ?XAØ H ëë DAØ 8F5Ûç Ø*?IOpHÛYHtO\DèØADgSE?IBRÛ ÛYD R-qW Û'ÛYHHµOp-Û×O"õ AØ H+õ× ß õ +?IH õ O¾ß ×DAF5õYÛ +H¾õ ç ß Ø;: ÷ XWç HtDèrØAH HÙ W : |4 (*+ (t" F5Û X?ID¤sÛ JWB>SW 8qR:*Ø O!W=<?XAØ H:;Ø : X?IB>D¤YÛ :

(87) *Ø ?H Y@W:-Û OpÙ BWvW[8:Ù

(88) ?NV?Ö5MF ? Ñ ëë 33^þ ì 9 x± ç þ 9C· 3-õ 9<3±¶xç ¶i´ ;>¼Fì ABç?£·ÃUT= ;>M5NP8:UpM_´9BM_65UT65¶7·ÃUp= ;>MJN ë 3 ì 9x±çõ þ õçL ÷ 3±ç ÷ 3 ì ç :. Ø. *1B AD #"{(*+ (*"i :{ ;:\U ? (PXWDgDO!W=<? AH :!"-FxDAF?D K. . . . . 9. >*. `. 5O. . . P. %*. a. `. %*. >. a. . . `. (P. . . ". . !". `. 5O. `. 'L. U(P. ". ". . %*. . . -,. R. . 0/. 4. . O. O. -. >. . `. . N. N. `. 9O. à. ôñ ñ ñ ô × ô µööö 0 Û í þ ß f0 fèï%hX_ : XFZööDGöF?D ï%hX_ ÙV× ß Ø;: DGFFÛ :ÛYDwW[8a××Úç õöBöCöBõç í ß õ ß7þ ëë jç ÷ 0ô öCöB ö ç í ÷ ë WIBq?HtS+ç þ f h-_ qØ 82 õç ½ç ?IHO jç ô öBöBö ç í ÷ QDAF5ÛYH< õç ÷ ç Ù U>´@?£´K5;>´ V× ß V× ß ?M_´@;T9CA<¶ \3. #"{(*+ (*"i'Yw Z CD . f h-_ f -h _. !". . 8. M. N. #. N. N. N. . #. N. . A. (B%-Wp$(*"%q$"[B. !. <9 ¶; I5;T=@;TACAB?A±·Ã6FM58:´9BUTM¶Ä ;TACAB?=o´@K5;>MP´@KF?+65¶65;>AI5;T=@;TACAB?AUp=Ñ #"{(*+ (*"i ÛCD! ÷ 0 RÛN?HPÛY@CÛC={ÛYHtD{W[8 DGFFÛ9R-?:Û9O!W=<?XØAH±Ù) " Ø;:DGFFÛ8 'H CDèØ*WIH OTÛPQH±ÛXORYSk Ø 8ç ÷ WB ÷ ) " ç ÷ # WIDAF5YÛ B S;Ø :Û. ¿a?+U>´@¶?£IJ´?wK5;>;>Á"ÚT9C+· ·S) ; Ä Ä UVNV??;TAHMFU>9CM5· »µ³ R7Â@;>¸ M³(L ) 8:UT% M_Å5´3;>9B³ M5Up#¶ #= ) "# R7UT¸ = ³ ) 0D $ ) DF 9´÷ 8:UT M_tç ´;>ö 9Bç M5)¶o´K53 ?Ä ¼±U>´@KH3 â K65¶ ³ 9B=¶i´wDV¿a?+¶´@;X´@?; 65¶?·Ã6FAHAB?Ä Ä{;FÑ :. ). Z. . !*. .

(89) XØ ÛQØ ±Û VØ FÛ CÛ FÛ CÛ QÛ ñ Ñ 0 ñ. Ø þ Ù BWvW[8:Ù

(90) ?+¿=@9´@?é ÷ é _ 3FÆ¤· ±õî þ f\hX_ÐDF¿7?+NV?:ÖJMF? î é × ß Èé ×Eî ß H G : ? ¯ ´ 5 6 ¶ F M X U ¿ T ; @ ¶ ¶ F 6 Ä £ ? ´ 5 K > ; 439B¶qoÀ¤8UTM_´9BM6FUT65¶;TM5N oÀj¶i´;>¼FAB?T3JÌV9CM58?+´K5?&NVUpÄ ;T9CMJ¶ ´ U>NV· UTÄ{;>;>9BM5=@?¶ UT9<¶·

(91) Up3Ä Up3"= I59<¶KF9B;T8AB¶ÚUUÓo´KFÀ¤8? UTM_NVÚp9BÄ M6F;TUT9CMJ65¶¶ UT;T·2M5N 0)oDJÀ¤¿7¶´@? ;T¼F8AC;>?pMÑ 3{ NV?:9<¶Ö5;>M5M ? ?;"AC?·ÃÄ 6FM5?8

(92) M_´@´9CUpU>M ·1f03µ ¼±ñ?:í¿7 ?h ? M 3 2¶é 9<¶; ¼F9 'i?w8

(93) ´@9CUpMHDF¿7?8;>MP65¶?+é ô 3547L¾NF?:Ö5MF9C´9BUTMUT· é D ô ±ç þ fqhwõ×èé × 3 ß çZõ 3 é ×Ãç ßßoþ é 4aLÓNV?:Ö5M59´@9CUpMPUT· 3 D ±ç þ f0mhwõ× 3±ç õ 3 é ×Ãç ßßoþ é ÌÄ 9CMJ?w;>8:M5?"¶7é ´@K5;X9<´9¶3 ;¼F9 'if0?8:´ñ9BUTMH wD h-±_ ç 3 þ fmhXõ 3±ç ÷ é ô g× 3 ß ç3

(94) ?"»T?m´ 3 ÷ é ô × 3 ß DZ¿KF9<8K þ

(95) ?8;>MPMFUX¿ÐIF=@UV8:??NÓ¿9´@KÓ´@KF?£´K5?UT=@?ÄÑ {t & 8 ?m:XD ?HVOk?IBOrWB-OTCÛ B>MÛ !DjYÛ H:*Ø WIH?I@w=UWvOTCÛ @;Ø :N:>DgB

(96) Ø YDg@ S\JkBXÛ ?DjYÛ B/DAF?H^DGFFÛ R:*Ø O!W=<?XAØ H:m=UWvOTCÛ @ QDAF5YÛ HäAØ D XWHtDs?>AØ H:8) Ù ¶NVÄ{UB?Wv;>¶oW[AB8:ABMF?Ù¯=oUTGH´´?:KJNVZ´ ;>?:ZM Ö50 M50)?¼J;>3F?µMPGH?:;¹9B¶´ UT¶iÈÄ ´;>UT¼JM5=@?NFIF;T; KF=@9<N¶¶Ä{Ä/Up;>=@¼JABNFAC??w?í¶i=¿aóÀE??íå_?LM´@IJ??"M5f<¶×Ã9B·ÃUThXUT_M5=o;T´@A7KF;>M5Ä ?£N íUVLNVfIJ<??Ah NV¶65?3 IV8K ´K ´ß KJ¶;X65´ 8KÓ´KJ9B¶Ó;X´¶i´@é =9<_ 8

(97) ´@AC L Ì9CMJ8:f<? ¹9h <õ/¶SJ¶é Ä{;>AB AB7?3= ´KJ2;>¶<M ´0 KF? ;T;>M5=@»TZN 6FfÄ <?hXM__ ´¯;T÷ 0 M5Nf<=@?h ¶ 6FD>A´´£KFNV?UT=?oÄ{9<;T¶9C ;M5¶¯ ;>þ =@?fU9<¶UphXÄ _ÔUp¶=65I58KFK 9B8T´DFK5¿7;>?´ 88:0 û UT;>MM_´@¿9Cþ M=@6F9CUp´? 65¶o ·ÃUTþ0 q= f+c _ D5ñ ¿7?+d K5h ;f WT3 ?£/ ´@·K5;X8UT´ 6F=¶9<?p¶D MF UT´¯÷ 0 ¶´@ï;>3¼5GHAC?£?´¯·ÃUp65= ¶+¿3 =9C´? 9´@KF ?=÷ äc 9<¶ñ MFUTd ´3Ä ÌV9CUTM5MF8?UTÚpMF9B?¶ ·ÃUT= ?++IF=@DUXUTWT=7?¯´´KFKJ?;X=´?)?:åV 9<¶i9B´ ¶3äNF?:;TÖ5M5M5N ;Tì¼FAB¼±?+UT9C6FMMJ?NV;p?8NÓKP9C8Mº;T¶× ?Tfgc43 hwõ ß ¶658KÓ ´KJ;X´3×g3. ì ß ÷ 0 3. ì 3

(98) GH?:´P65¶P;T¶@¶6FÄ ?´@K5;X´ 9B¶ÓMFUT´ oÀ¤Ä UpMFU>´@UTMF?p3

(99) ?8KFUU_¶? 3 ;TM5N ì ¶658K(´K5;>´ 3 ì ;>M5N V3 0 ì 37Æ¤· d ÷ ïD7¿7?KJ;fWT?.V3 ÷ ;TM5N ì ÷ &3o476V´Do¶9BM58? 3 ì ?M_´@;T9CA<q d ÷ d ô ñ öBö j ñ ¶ 3 d í ñ ì ïD 3 Ò9B¶QMFU>r´ oÀ¤Ä UTMFUTÚTM5?T3 â K65¶D d 9B¶+·Ã6FM58

(100) ´@9CUpM5;>AEÑZAB?:´&65¶+¿=@9´@? ×;>Ã¿M5NKF2?V=¶ ?3V ã3ô öBöB80ö ;TM ì¼±D? & ;TD M_L×V?3 ACß ô?öBÄ öC0 ö ?M_´V9B×LM &ì fE3 ß %ï 3 h+

(101) KF?:?åF?{=8:?8?·ÃKFUTIVU=@´ ?TUpD¶?´ß K5×?Ì×G=@9B?M5ôX8:öB9B ?öC¶ö ;µí ß ×9<õ m¶×Ãç oô ßQöBÀ¤öBÄ þö ç UTMFVõUT×

(102) ´VUp3 MFß?T VD 3nVV×

(103)

(104) × ì ì ß D ¶ç658K ´K5DV;>¿´qK5 9B8í õKPç ÷ ? M_ ´@;T9C A<¶ ì 3SVÌ3±9BçM58:ô ?ºöCí öBö ç ×÷ ×* ô õöC&öBâ öBõ 3 í ß ?õ KJ;fßWTþ0?£8KFVUp×

(105) ¶?ZMì ß 3\DD ´KF?D=ç ?P9<;T¶&M5í ;TNß M ßo¶¶þ656588KÓK´´KJK5;Xì;>´´ß Ñ í÷

(106) ì ë V ì3±ç çô ô>öBöCöCöBö ö ç ç í í ÷ ÷ &&D D ë V3 ô öBöCö í ÷ &3 ë V. DsW. '. ?I@ WXWn$ 7 8\O!W=<? AH:mW[80 ?HVO I? B ;:YWI=UWIBgTF 8YWB gD S-T Y:4:>=U?I@A@ YBWB 2?HVO\3 f qh-_ f h-_M ;:4 M =<WHWIDsWIH \?IHO MsX: D ?kRC@ %DGF CH3 f h_. . ñ. 4. ^. ^. O. ^. à. ?. W. . . . H. 4. #. . #.

(107) 52 ¶\ 3 ì 9<¶D;T9BMxM5N0)¼_3FL2AC?¶Ä ç Ä{ ;µÇÉ5D5D±;T´M5KFNP? ·Ã¼6FL"M5AC8:?´Ä 9BUTÄ M ;5 ÇwÉFÑ±Dï ´@KFñ ?£·ÃcÒ6FM5NF8:?:´Ö59BUTMFM?wN¼LÑpï 5 ñ cµ÷ FN 3¹?:Ö5;TMFM5?wNN ¼_L ÷ ì ÷ ç ;TM5N ÷ 9B ¶9BMx0)3 / MF?£?;p¶9BACLÓ8KF?8ÁV¶7´KJ;X´ Vîfö × ß × ô î ß öBöBöB× í î ß÷ ) " ^. ^. ´×

(108) K5V;>3 ´2GH?:3´+ ×

(109) 65 ¶£-HDM5D5ì UX;T¿ 4M5NP;T-Z¶@¿aDT¶65;>?£M5Ä »TN,?&?´\´×KJ3 ;X×g3 ´ì ¹ß9<÷ 0¶ o×

(110) VÀE×Ä 3 Vß Up3 &MFU>× ´@UTì ×

(111) MFß 3_?pÌD±9C3;TMJM58:Nä?KF9<{´@¶oK59<L;X¶ 9C´£?oAB´@N5À¤KFÄ ¶?Ñ =@Up? MFU>?:´@åVUT9B¶MF´q?pD 3±\õ ì ×3 õ-µì¶65ß 8 K ß ìß ìß ß ìß â g× 3 ì ß × V3 ß

(112) × ì ß ? u ß ;TM5N þ fE{ï h× ÷ 0 ß ¶658K½´K5;>´

(113) ?8;TMÈ8K5U_U_¶?Pç ô öCöBö ç í ×Ã¿KF?=? 8;>MÈ¼Jx g× 3 ì ß ç ô öCöBö ç í ÷ ;TM5N ×

(114) × V3 ß ù× ì ßß ç ô öBöCö ç í ÷ &3

(115) ?µ8;>M NV?:Ö5M5?;Ò¶´@;T¼FAB? ·Ã6FM58