• Aucun résultat trouvé

Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages

N/A
N/A
Protected

Academic year: 2021

Partager "Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages"

Copied!
18
0
0

Texte intégral

(1)Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages Fabrice Mérillon, Laurent Réveillère, Charles Consel, Robin Hansen, Renaud Marlet, Gilles Muller. To cite this version: Fabrice Mérillon, Laurent Réveillère, Charles Consel, Robin Hansen, Renaud Marlet, et al.. Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages. [Research Report] RR-3809, INRIA. 1999. �inria-00072849�. HAL Id: inria-00072849 https://hal.inria.fr/inria-00072849 Submitted on 24 May 2006. 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) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages Fabrice Mérillon Laurent Réveillère Charles Consel Robin Hansen Renaud Marlet Gilles Muller. N˚3809 Novembre 1999. ISSN 0249-6399. ISRN INRIA/RR--3809--FR+ENG. THÈME 2. apport de recherche.

(3)

(4) 

(5)    !" # $&%'$)(

(6) ( ""*+

(7) , -. ' % ,/0 %1324( . 

(8) 65 8% 7,9  7 . <: ;>="?A@CBEDGFIHE?J@LKCKLMON P;>Q"?ADEN3R8STHVUODE@LKCKLWE?JD XZY ;>?AKCDE[ X MON [JDEK S\MO="@LN^]

(9) ;>N"[ADEN STD_N`;>Q"abFb;>?AKCD_R cd@CKLKCD_[FeQ"KLKCD_? fgihkj4l,mnporqksutvlwyx_zVt|{tvlkw l}~{kVwv{k€uw‚„ƒEj† ‡x_wyt|ˆE€ul ‰‹Š„xVŒl}Ž.r‘d‰ “’•” –~˜—u—>xVŠ„}™šlŠ„lJ{›gulkŠ›{›gulœs,_žVŸ_ V¡¢np£~x¥¤Vlkj† uŠ¦l†§J¡V¡V¡n'§k¨4—iVzVlJ. ©\ª"«A¬k­¥®u¯˜¬_° ± wy}„gux_€uzVg²—>lkŠ¦ty—igulkŠ›˜w‹™ulk¤•tv{klA{kxVj4l\x_€š},¥}†d³´Š¦Vs_}¦tv{4—‡V{l\Vsi™Š¦lAˆE€utvŠ„l4³µ_},Š¦lkwvlA_¶lJ x˜³™šŠ¦ty¤_lkŠ›k·Owvt¸}„}„wvlZ—iŠ„x_zVŠ¦lA¦gi_ >lklAsj4_™šl†}„x

(10) tyj4—uŠ¦x¥¤Vl†}„gul™šlA¤VlAwyx_—uj4lksE}rxV³¹™šŠ¦ty¤_lkŠ›kº†f-x•x

(11) x˜³»}„lAs‚·3}¦gutv ™šlA¤VlkwvxV—ijZlAsE}r{x_si„tv¶}¦x˜³¹™ulA{xš™štvsuz

(12) gi˜Š›™š¼˜Š¦ltysE}¦Š„t|{k_{tvlAA·> ‡V„lA™dx_s¢˜j† utvzV€ux_€ix_Štvsi{x_j4—uwylk}„l4™šxš{€š½ j4lksE}¦˜}„tvxVs‚·V}„x™šlk}„lkŠ¦j4tysil.gux¥¼¾}¦xxV—>lkŠ›¥}„l.™šlA¤•tv{klVº"fgulks‚·EV¦¶lAj, uwvƒE½Cwvlk¤_lkw•xV—>lkŠ›¥}¦tyx_si sulklJ™†}„x >l.€i¶lJ™ }„x

(13) tvs_}¦lkŠ›V{}¼.ty}„g¢}„gul4™šlk¤•t|{l_º,fgulA„l,wvx¥¼½¿wylA¤Vlkw xV—>lkŠ›¥}¦tyx_sijVÀVl†}„gul4™šlk¤•t|{l4™šŠ¦ty¤_lkŠ³µ˜tvŠ„wvƒ€usuŠ¦lAV™i˜ uwvl ˜s‡™T—uŠ¦lk¤_lksE}„˜³´l}ƒ\—iŠ„x_—‡lAŠ¶}¦tylJ ³´Š„x_jÁ ‡lAtysiz4{›gilA{›ÀVlJ™3º fgut| —i˜—>lkŠ—uŠ¦lA„lksE}¦ †wvVsuzV€iVzVl_·_siVj4lA™Tlk¤•tvwL·u™ulA™št|{k˜}„lA™T}„x4™šlkÃisutvsuz,}¦gulr³´€usi{}„tvxVsiVw>tvsE}„lAŠ¶³µ_{lrx˜³ ™šlA¤Et|{l_º.‘dxVŠ¦l—uŠ¦lA{t|„lkwvƒV·ilk¤•tvwĘtvj~˜}¶—>lA{kt¸³´ƒ•tvsuz4}„gil†V{A{lJ„j4lA{›g‡˜sut|¶jA·u}¦gul}ƒ•—‡l†˜si™w|ŃVx_€š}.x˜³ ™u˜}¦u·uVsi™

(14) ‡lAgiŤ•tyx_Š¦Vw‡—iŠ„x_—‡lAŠ¶}¦tylJtys•¤Vx_wy¤_lA™TtysxV—>lkŠ›¥}¦tysizZ4™šlA¤Et|{l_º fgul >lksulkÃu}<x˜³>xV€uŠ<V—u—uŠ¦x_V{›g,tv"}¦gi¥}J·˜xVs‡{l.{x_jZ—itywvlA™3·E“Â~lA¤Etvwu™šlJ„{kŠ„tv—š}„tvxVsZtvjZ—iwylAjZlAsE}¦<Vs†tvsE}„lkŠ„³µV{kl ¼.gut|{›g4jZxš™šlAwv¹˜s4t|™šlAVwytvÆklJ™Z™ulk¤•tv{kl~˜s‡™ZV i¶}„Š›V{}› }„gul~gi˜Š›™š¼˜Š¦l tvsE}„Š¦tv{AV{ktylJkº ÇsuwvtyÀ_lzVlAsulkŠ›˜wy½¿—u€uŠ¦—‡xE¶l w|˜suz_€i˜z_lV·3Â~lA¤•tyw‹Vwywvx¥¼r

(15) ™ulA¦{Š¦ty—š}¦tyx_sÈ}¦x

(16) >lZ}„gux_Š„x_€uzVgiwyƒ¤VlAŠ„tyÃilJ™3ɂ}¦gutv“¤_lkŠ¦t¸Ã>{k¥}¦tyx_sÈzVŠ¦lA˜}„wvƒdtyj4—uŠ¦x¥¤VlJ }„gilZ¦¥³´lk}ƒ

(17) xV³`}„gul4{x_j4j,€usut|{k˜}„tvxVsi¼.ty}„gÈ}¦gul4™šlk¤•t|{lVº“fgul4™šlA„tvzVsÈxV³‹Â~lA¤Etvw"tvr i_¶lJ™dxVsGÀVlkƒd{kxVsi{klk—š}› ¼ lrt|™šlAs_}¦t¸Ã‡lA™

(18) tysdVsi˜wvƒ•Æktvsuz,}¦gul™šx_j4Vtys

(19) x˜³`™šlA¤Et|{l™šŠ¦tv¤VlkŠ›Aº €uŠ`w|˜suz_€i˜z_l¹g‡V` >lklAsZ€‡¶lJ™,}¦x¶—>lA{kt¸³´ƒZ“wvVŠ„z_l¹s•€uj† ‡lAŠ<x˜³O‰ ŽÊ™šlk¤•t|{lJ`tys‡{wv€i™štvsuz”`}„gilkŠ¦sul}J·_¤•t|™šlkx‡· „xV€usi™‚·štysE}„lAŠ„Š¦€u—š}J·iÂr‘ ± ˜si™8j4xV€i„l{x_s_}¦Š„x_wywvlkŠ›Aº ËdÌEÍO΄Ï,Ð ­¥ÑÄ«_° ™šlA¤•tv{kl“™uŠ„tv¤VlAŠ¦A·šÂr’šÒā. Ó|Ô3Մֿ×AØÕ.Ù Ú|ÖCÛCÜÝ Þ‚ßÅàâá‚ãLäáCä¶å›ãµæ¿ßàâá3áCçJèÅè˜éãµêLäëàâìè¥å›ã´êÄíkî~ނßÅéï.áCéìð“çÅñ êLàâï.äëÅàòå¹çÅìJëÅäã‚êLßÅä<æéìkêLãLå›æê¹ó¶ôôõ3ö÷Jóø.

(20)  Á

(21) . (  . Á 8 (   ( *    9     

(22) . # 98%   (

(23) ( ""*8¥ %   9  k. Á %

(24) 7  7 .  

(25)    «

(26)  ° ‰"xV€uŠ„€uty¤•Š¦l†w|

(27) {kV™ulksi{kl†l>Š¦qksuqAl8w|VˆE€ulkwvwvlZwvlAr—>qkŠ¦ty—iguqkŠ¦tvˆE€ulJ“¶x_Š¶}¦lksE}r„€uŠwvl†j˜Š›{›guq_· wvlA—itywvx˜}¦lA™šlT—‡qAŠ„tv—uguqAŠ„t|ˆE€ulT™šx_ty¤_lksE} }¦Š„l\—iŠ„xš™š€uty}¦,™šl\—uwv€ilAs²—uwv€iŠ›˜—ut|™šlAjZlAsE}Aº‰"xV€uŠ„}¦Vs_}J·Ä—>lk€¾™ul —uŠ¦xVz_Š„hJÄx_sE}<q}„q³µ˜ty}¦<—>xV€iŠ‹˜j4qkwvtvxVŠ¦lkŠ"wylA€uŠ‹™šqA¤VlAwyx_—u—‡lAj4lksE}Aº ‰"xV€uŠ<qJ{Š¦tyŠ¦l.€us4—utvwyxV}„l_·_tvwš³µ˜€u}<}„Š¦xV—„xV€u¤_lksE} {x_j4jZlAsi{lAŠ~—iVŠ{kxVj4—uŠ¦lksi™šŠ¦lwvl³´xVs‡{}„tvxVsisulkj4lksE}“™š€È—>qkŠ¦ty—ugiqkŠ¦tvˆE€ul_·ilks¢™šqA{›gut OŠ¦Vs_}~}¦˜sE}r utylAsGˆE€ulj˜w €usul™šxš{k€uj4lksE}¦˜}„tvxVs¢Vj, utvzV€ ,xV€ tvsi{x_jZ—iwyhk}„lVº,”<si„€ut¸}¦lV·Ä—‡x_€uŠ“tysE}„lAŠ¦VzVtvŠŤ_lA{†wylZ—‡qAŠ„tv—uguqAŠ„t|ˆE€ulV·3tvw"³µ˜€u} Š¦lA{x_€uŠ¦tyŠ 4€usȁ¶}ƒ•wyl™šl—iŠ„x_zVŠ›˜j4j¥}„tvxVsT—uŠ„xš{›gul™ulw  V¦¶lAj, uwvlk€iŠAº¹Ž¹lJ.xV—>qkŠ›¥}¦tyx_si iV¶½¿suty¤_lAV€TŠ¦lksi™šlAsE} wvl—utywvx˜}¦lV¦¶lAÆrtvwvwyt|¶tv uwvl“l}sul—>lkŠ¦j4l}¶}¦lksE}—i_.™šl¤VqAŠ„tyÃilkŠ.™šlJ—uŠ¦xV—uŠ¦tyqk}„qJ ™ul uŠ¦l}¦qVº Ž¹l}‹VŠ¶}¦tv{kwyl.—iŠ„qJ¶lAs_}¦l€uswvVsuz_VzVl suxVj4j4q~lk¤•tvwL·E™šxVsE}<wvl u€š}‹lJ}‹™ul™šqÃisityŠ<w  tysE}„lAŠ¶³µ_{l³´x_si{}¦tyx_susulkwvwvl ™  €us—‡qAŠ„tv—uguqAŠ„t|ˆE€ulVº†‰<wv€i—uŠ¦qA{ktv„qkj4lksE}J·‚Â~lA¤Etvw<¤•t|¶ l ¶—>qA{kt¸ÃilAŠwylJrjZqJ{kVsutv„j4lA™  V{A{hJrV!€ ¢™šx_susuqAlAA· wvlk€uŠ†}ƒ•—‡l

(28) l}4wylA€uŠ™št|¶—>x_„t¸}¦tyx_s‚·<˜tvsi„t ˆE€ul™šlJ,—uŠ¦xV—iŠ„tvq}¦qAZ{xVj4—>xVŠ„}„lAjZlAsE}¦˜wvlA,Š„lAwyt|˜sE}4{lAZ™šx_susuqklJ†V€ ³´xVs‡{}„tvxVsisulkj4lksE}~™š€—>qkŠ¦ty—iguqkŠ¦tvˆE€ul_º "Ò  Ť¥˜sE}¦VzVl™šlGsix˜}„Š¦lȘ—i—uŠ„xš{›guldlJ}

(29) ˆ_#€  €usild³´xVt|TˆE€ulÈw|¾™šlJ„{kŠ„tv—š}¦tyx_s lk¤•tvw™  €us^—>qkŠ¦tv—uguqkŠ¦t|ˆ_€ilÈ q}¦q{x_jZ—itywvqkl_·uwv{kxVj4—uwvl šty}„q™š€—>qkŠ¦ty—ugiqkŠ¦tvˆE€ul™št|¶—‡˜Š›% $|}.™ulkŠ¦Š„tvhkŠ¦l“€usultvs_}¦lkŠ„³µV{kl“V i¶}„Š›˜ty}„l“l}~t|™šqJ˜wvtv„qkl_º Ž¹xVsE}¦Š¦VtyŠ¦lkj4lksE}ÄV!€ xV—>qkŠ›¥}¦tyx_si- ‡V¶½Csutv¤VlJ˜€™  €us†wvVsuz_VzVl<z_qksuqAŠ¦Vwyt|}¦l‹{x_j4jZlŽ·J€usul™šlA¦{Š¦ty—u}„tvxVsqJ{Š¦t¸}¦l lksȏlk¤•tvw-—>lk€š&} }¦Š„l¤_qkŠ¦t¸Ã‡qkl™uVsi.wvl,™šq}›˜tvwLº~Ž¹lk}¶}„l†¤VqAŠ„tyÇ{k˜}„tvxVs˜—u—>xVŠ„}„l€isÈz_Vtysd™šl,' uŠ¦l}¦q¶tvzVsutyÇ{A¥}„ty³ ™uVsiwylJtysE}¦lkŠ›V{}¦tyx_si.ŤVlJ{~wvl—>qkŠ¦ty—ugiqkŠ¦tvˆE€ul_º ҂lJ8{kxVsi{klk—š}›{wvqA¶€iŠ8wvlA¦ˆE€ulkw|

(30) lA¶}8³´x_si™šqkl w| {kxVsi{klk—š}¦tyx_sI™šlÂ~lA¤EtvwxVsE}q}¦q¢t|™šlksE}¦t¸ÃiqJ

(31) zV)Š (V{*l  €usul\Vsi˜wvƒš¶l™š€¾™uxVj˜tvsul\™šlJ—utvwyxV}„lA,™šl—‡qAŠ„tv—uguqAŠ„t|ˆE€ulVº

(32) £x_€iŤVx_sir€š}„tvwvtv„qTlk¤•tyw‹—‡x_€uŠ,„—‡qJ{tyÃilkŠ,™ul sux_j, uŠ¦lk!€ ¢—‡qAŠ„tv—uguqAŠ„t|ˆE€ulA™š€j4xVs‡™šl‰ Ž·3}¦lkw|ˆE€ul\™šlA,{xVsE}¦'Š +_wylA€uŠ¦r”`}¦gulkŠ¦sulk}A·"‘ ± ·-¤•t|™šqkx‡·-¶x_s‚·Ä™ul „xV€uŠ¦tv lk}~™  tvsE}„lAŠ„Š¦€u—š}¦tyx_sikº , Ð ¬A« Î .¯ - ° —utvwyxV}„lJ™šl“—‡qAŠ„tv—uguqAŠ„t|ˆE€ulV·šw|˜siz_˜z_lA™šqJ™štyqJ.

(33)  

(34)   !"#  $. %!&'%)(*(+ , -.   /&013243#&6587*(9  ;:<3&>=*?6=>. ž. % -" 9 "  % ‘ÈVsEƒ

(35) ˜—u—iwyt|˜si{klA˜Š¦lsux¥¼elJˆE€uty—i—‡lJ™d¼.t¸}¦gd—uŠ¦x•{klA¦¶x_Š¦CB ,DE=>DF {klkwvwy€iwvVŠ—ugux_sulAA·‡„j˜Š„}~{k˜Š›™uA·‡{A˜Š›k·‚ºAºkº G ˜s‡™²j˜s•ƒsulk¼—>lkŠ¦ty—igulkŠ›˜w™šlk¤•t|{lJ†VŠ„l\ >lktvsuz™šlk¤_lkwvxV—>lA™3º¢‰ Ž ™šlA¤•tv{klAZ˜Š¦l8˜w|„xGȊ›˜—ut|™šwvƒlk¤Vx_wy¤•tvsuz ˜Š¦lAiº\f‹ƒ•—ut|{kVw`l u˜j4—uwvlAVŠ„l4¤•t|™šlkxÈ_™u˜—š}¦xVŠ›k·3¼.gitv{›g²{x_j4lxV€š},˜},T³´Š›˜sE}¦tv{4—i_{ l Bµlk¤VlAŠ„ ƒ Hj4x_s_}¦gi G }„x8j¥}¦{›gÈ}„gul†sulklJ™u~xV³<lk¤_lkŠ™ulkj˜si™utysuz8{xVj4—u€u}„lkŠrz_Vj4lAAJº I sG„€i{›gG\{kxVj4—‡lk}„ty}„tv¤VlZ{xVsE}¦l •}A·‡}„tvj4l½C}„x˜½ j˜Š¦ÀVlk}<tv¹lA¦¶lAsE}„t|˜Lw KÄV‹¶x•xVs\_‹silk¼ ™šlk¤•t|{lt|<Š¦lA_™šƒV·E™šŠ¦ty¤_lkŠ›`sulklJ™4}„x, ‡lŠ¦V—utv™uwyƒZŤÅVtyw|˜ iwyl}¦xlksiV uwvl ˜—i—uwyt|{k˜}„tvxVsi }¦x4l š—uwvxVty}ty}Aº ± ™šlA¤Et|{l™šŠ¦tv¤VlkŠt|„t¸}¦€i¥}¦lA™8 ‡lk}¼¹lAlks

(36) }„gul™ulk¤•tv{kl˜si™8}„gilxV—>lkŠ›¥}„tvsuz4¶ƒš¶}„lAj ÀVlAŠ„silkMw B´x_Š™štyŠ¦lA{}„wvƒTtvs }„gil˜—u—uwvt|{k¥}¦tyx_s,³´x_Š‹„j4Vwywu„ƒš}¦lkj GNº I¿}<tv<“{kŠ„ty}„t|{kVwš—utylJ{l.xV³O{kx•™u*l K-j4t|„{kxVj4j,€isutv{A¥}¦tyx_s†¼.ty}„g4lkty}„gilkŠ<lAsi™ jŃd{Š¦lA¥}¦lj¥Œx_Š—uŠ¦xV iwylAj4AºsÈxVsul†gi˜s‡™3·O}„gul4™šŠ¦ty¤_lkŠr{k˜sGtysi{kxVŠ¦Š„lJ{}¦wyƒ

(37) €i„l,}¦gulZ™ulk¤•tv{kl†Vsi™G™št|¦˜ uwvl ty}Aº s

(38) }„gilx˜}„gilkŠ.giVsi™3·š}¦gul,™šlA¤Et|{l™šŠ¦tv¤VlkŠ.jŃ\j4t|¶€‡¶l“}¦gulŠ„lJ¶x_€uŠ›{lA jV™ul“Ť¥Vtyw|˜ uwvl“ •ƒ}„gul4“’TVsi™ {Š›V„g\}¦gul„ƒ•¶}„lAjº fgulAŠ„l\t|}¦g•€i†VsÊV{k€š}„lTsulklJ™³´xVŠ† ‡xV}„gʗiŠ„xš™š€i{}„tv¤•t¸}ƒ˜si™Ê„˜³´l}ƒ tysʙulk¤•tv{klT™šŠ¦ty¤_lkŠZ™šlk¤_lkwvxV—uj4lksE}Jº Ox¥¼ lk¤_lkŠJ·E}„gut|sulklJ™

(39) tv™uQt P\{€iw¸}.}¦x4¦¥}¦tv¶³´ƒV·u³´xVŠ„lk¤VlAŠ¦Vwi³´€isi™u˜j4lAs_}›˜w‚Š¦lA_¶x_si R,K S

(40) Ì TVU ¯ Ì «®š­ Ì ¯ Ð XW - >Ì YMZ fgulr™šlA„tvzVsx˜³‚™ulk¤•tv{klt|¹„€u šŒlJ{}<}¦xs•€uj4lkŠ¦xV€iA·_„xVj4l}¦tyj4lJ‹{x_sE}„Š›V™št|{}¦xVŠ¦ƒ {x_si¶}„Š›˜tvs_}›~„€i{›gG_~—>lkŠ„³´xVŠ¦j˜si{klŠ„lJˆE€utyŠ¦lkj4lAs_}›~Vsi™d i_{›ÀE¼˜Š›™d{x_j4—i¥}¦ty utvwvt¸}ƒ_º ± 8Š„lJ¶€iw¸}J·i}¦gul†—iŠ„xV½ zVŠ›˜j4j4tvsuztvs_}¦lkŠ„³µV{kl~x˜³ ,™šlA¤Et|{ltv xV³»}„lks

(41) ż.À¥˜Š›[™ KÄ{kxVsE}„x_Š¶}¦lA™V™i™šŠ„lJ„„tvsuzj4xš™šlAA·•Š¦Vsi™šxVj —iVŠ¶}¦t¸}¦tyx_sutvsuz x˜³`™šlA¤Et|{l“Š¦lkz_tv¶}„lAŠ¦A·•xV i¦{€uŠ¦lrtysuty}„t|˜wvtvÆA¥}¦tyx_s

(42) „lAˆE€ulAsi{lJk·3ºAºkº S

(43) Ì TVU ¯ Ì « ®š­ \ Ì U] ¯ Ð XW - Ì ¬ Ì - Í Ñ Ð ¯ ^Ì ] ¬ Ì Ñ Z f¹ƒ•—ut|{k˜wvwvƒV·~Vs^tysu³´xVŠ¦j4Vw™šlJ„{kŠ„tv—š}¦tyx_s^x˜³}¦gul¢™šlA¤•tv{kl B´¼.Š¦ty}¶}„lAsGtvs Tsi¥}¦€uŠ›˜w wvVsuzV€iVzV l G.t|}¦gul4xVsuwvƒd™šxš{€uj4lksE}›¥}„tvxVs Ť¥˜tvwvV uwyl}„x8}„gulZ—uŠ¦xVzVŠ›˜j4j4lkŠ›¼.Š¦ty}„tvsuz }„gil~™šlk¤•t|{l~™uŠ„tv¤VlAŠAº fgulwvx¥¼½Cwvlk¤_lkwu˜s‡™4gutyz_gš½¿wylA¤Vlkw‡{xVs‡{lk—u}¦<VŠ„l.z_lksulAŠ¦Vwywvƒtvs_}¦lkŠ„}¼.tysilA[™ K"{x_jZj†€usut|{k˜}„tvxVs j4lA{›giVsut|¶jA·>—igEƒš„tv{A˜w"—uw|V{klkj4lksE}“x˜³¹™u˜}¦_ B´Š¦lkz_tv¶}„lAŠw|ŃVx_€š} G·O„lkjVs_}¦tv{Akº‘ÈxVŠ¦lkx¥¤VlAŠA·i}„gul™šxš{k€uj4lksE}¦˜½ }„tvxVs jŃ €‡¶l

(44) È}¦lkŠ¦jZtvsux_wyx_zVƒ¢}„gi˜}4{›giVsuzVlJ³´Š¦xVj x_sul8™šlA¤•tv{kl8¤_lksi™šx_Š}¦x Vsux˜}¦gulkŠJº²Ž¹x_si„lAˆE€ulksE}¦wyƒ_·< ™šlA¤Et|{l“™šlJ„{kŠ„tv—š}„tvxVsTtv¹x˜³»}¦lks8Vj, utvzV€ixV€iA·_tvsi{kxVsi„tv¶}„lAsE}A·•tys‡{xVj4—uwvl}¦lrVsi™\lAŠ„Š¦xVsilkxV€‡k`º I s\³µV{}A·E}„gilkŠ¦lt|‹six „ƒ•¶}„lAj¥}„t|{r¼ Ń4³´x_Š}„gulg‡˜Š›™š¼ VŠ„l“™šlJ¶tvzVsulAŠ }„x¤¥˜wvtv™i¥}„l4™šlJ„{kŠ„tv—š}„tvxVs-º S

(45) Ì TVU ¯ Ì «È®š­ a Ì U] ¬ Ì ­ b¿®u¯ Ì Ñª Í - ЕÏZÎ - >Ì T>Ì - Ð W Ì ­Å®u¬ Uµ+Ð ] « Zdc gutvwyl—iŠ„x_zVŠ›˜j4j4tysuz

(46) w|˜suz_€i˜z_lArgiŤVlZ—u€š} —uŠ¦xVz_Š¦VjZj4lAŠ¦ ³´€uŠ„}„gilkŠ˜si™4³´€iŠ¶}¦gulkŠż Ń,³´Š„x_j}¦gul³´€isi{}¦tyx_si˜wO€usuty}¦¹x˜³-ZŽ¹‰‹Ç·•j˜sutv—u€uw|¥}¦tysiz†™šlA¤•tv{kl ¶}„tvwyw¹Š„lJˆ_€ityŠ¦lA“}¦gulT€‡¶lxV³~V¦¶lAj, uwvƒE½Cwvlk¤_lkw"xV—>lkŠ›¥}¦tyx_sikºf¹ƒE—itv{A˜w¹{kxVj4—u€š}›¥}¦tyx_si{x_si„tv¶},x˜³.l •—iwyt|{ty}, u€i V{A{lJ„„lA‚Vsi™“ uty}-j˜sutv—u€uw|¥}¦tyx_siAºÄfgulJ¶l‹_„„lkj† uwvƒ_½¿wvlk¤VlAw¥xV—>lkŠ›¥}¦tyx_si‚V{A{x_€usE}3³´xVŠÄwvVŠ„z_l`—i˜Š„}‚x˜³i.™šlA¤•tv{kl ™šŠ¦ty¤_lkŠJɇx_si{lZ{x_jZ—itywvlA™3·>}¦gulkƒdŠ¦lk—uŠ¦lA„lksE}~ >l}¼ lklAs¾,§ H^eÁVsi™Gž_>  eÁx˜³<ty}¦“V¦„lkj, iwyƒ{xš™š'l Bµ„lkl ± —u—>lksi™št ± G/º f lA{A˜€i„l4x˜³ }„gulAtyŠwvx¥¼½Cwvlk¤_lkw`si˜}„€uŠ¦lV·Ä¶€i{›gx_—‡lAŠ¦˜}„tvxVsi“˜Š¦l4sux˜},{›gilA{›ÀVlJ™d³´x_Š}ƒ•—‡lk½¿{kxVŠ¦Š„lJ{}„silA¦Vsi™ x˜}¦gulkŠ{kxVsi„t|}¦lksi{kƒ\—uŠ¦xV—>lkŠ„}„tvlAAº ‘dx_Š„lAx¥¤VlAŠA·_}„gulAƒ8VŠ„lr³µ˜tvŠ¦wyƒ\€isuŠ„lJV™uV uwvlVº ± {kxVj4j4xVs¾V—u—uŠ¦x_V{›g¢}„x¢wytvj4t¸}¦tysizÈ}„gilTl OlA{}¦†x˜³.wvx¥¼½Cwvlk¤_lkw<x_—‡lAŠ¦˜}„tvxVsi,xVs¾{xš™šlTŠ„lJV™uV utywvty}ƒ¢t|}¦x tvs_}¦Š„xš™š€‡{ljV{kŠ„xEk·>VŤÅVtyw|˜ iwyltvsd}¦gul4Žew|˜suz_€i˜z_lVgº I sȗiŠ¦_{}„t|{l_·ijV{kŠ„xEtvsG™šŠ¦ty¤_lkŠ›˜Š¦lj4x_¶}„wvƒ

(47) €i¶lJ™ }„xGzVtv¤VlT„ƒ•j, >xVwvtv{s‡˜j4lA}„xG„—‡lJ{tyÇ{T{kxVsi¶}¦VsE}¦A'º h`lAŠ„ƒ¢³´lk¼xV³}„gul

(48) ™šŠ„tv¤VlAŠ¦¼¹l\l u˜j4tysilA™€i„lTjV{kŠ„xE }„xlAsi{kV—i¶€iwv˜}„l

(49) ¼.guxVwvl¶lk}x˜³¹wvx¥¼½¿wylA¤Vlkw"x_—‡lAŠ¦˜}„tvxVsiAº f lJ¶t|™šlAA·3}¦guljV{Š¦x8³µV{tvwvt¸}ƒ¢tvr³µVŠ“³´Š„x_j ‡lAtysiz „ƒ•¶}„lAj¥}„t|{kVwywvƒ€i„lA™8}„giŠ„x_€uzVgux_€š}}„gul{kxš™šl“x˜³ ™ulk¤•tv{kl™šŠ„tv¤VlAŠAº Ž¹xVs‡¶t|™šlkŠVsdl u{lAŠ„—u}~x˜³<˜sd_{}„€‡˜węuŠ„tv¤VlA Š i¥·>™št|¶—uw|ŃVlJ™

(50) ty s j tvzV€uŠ¦l\§Vº ± {kVsd ‡l,„lklAs‚·‡}„gul¤¥Vwy€u1l kl B»}¦gulgux_Š„tvÆkx_s_}›˜w`j4x˜}¦tyx_s¢xV³¹}¦gulj4xV€i„l Grt|{x_si¶}„Š¦€i{}¦lA™¢€i¶tvsuzdtvsE}„lkŠ¦wvlAŤVlJ™È uty}xV—>lkŠ›¥}¦tyx_si˜s‡™¢™šlA¤•tv{kl V{A{lJ„„lAAº¢fgut|Z{xš™šl\³´Š›˜z_j4lksE}†t|†¢{x_jZ—>lkwvwvtysuz¢l u˜j4—uwvlTxV³.}„gulż.À•¼ VŠ¦™ —uŠ¦xVz_Š¦Vj¼.gut|{›g {kVs¾ >l ¼.Š¦t¸}„}„lks\˜}¹“w|˜Š¦zVl¦{k˜wvl.¼.gulAs\˜—u—uŠ¦xV—iŠ„t|¥}¦l„€u—u—>xVŠ„}`³´xVŠ¹j˜sutv—u€uw|¥}¦tysuzwvx¥¼½¿wylA¤Vlkwu™ulk¤•tv{kl.³´€usi{}„tvxVsiVwyty}„tvlA t|sux˜}~Ť¥˜tvw|˜ uwvlVº S

(51) Ì TVU ¯ Ì ÑÄ­ UT‡Ì ­¥«Z­ ^Ì m U ­ Ì W ­ + Ð n ­Å® Ì ­¥« oÏ U ,¬ p ,¬ pÄ­ Ì•Ì Ñ Ð ¾® U] « Ð b >Ì Y W Ì ­J¬ U « +Ì Z fgul“€usitvˆE€ul“¶ty}¶½ €i˜}„tvxVsx˜³-†™šlk¤•t|{l~™uŠ„tv¤VlAŠ‹Š¦lAˆE€utvŠ„lJ<˜s\l š—‡lAŠ¶}¦tv„ltvs}„guŠ¦lklr™št >lAŠ„lAs_} ˜Š¦lAVAº`’•—‡lJ{tyÇ{g‡˜Š›™š¼ VŠ„l.l š—‡lAŠ¶}¦tv„l qsr Û  Ö çÅå¦êÄáLàâå ì x ßÅì,rEà x„êLßÅ ßÅääuyÅã-å›tyñâéëŊä ñâ‰ëJñâéwä¶ãLv-ñVäáCêCàâá‚ì ßJx ãLå›éìJy> ç ë~vOxä)ëÅßå¦tvñâê¿ékékå<ææ¶çÅå›íÅá<ñ•çÅëÅáLé䶊äì{ᶉA9ø àâz æ¶|w††ä}8á-~äÄz[áCëÅçÅé‹æC€ ߓìÅé›å›}8ê3€á-æáCyEéäèÅìÅãLàòàâáCå›äàâæñ_ëJä¶éä¶á‹`ããÄé ‡ˆèÅt‚€ å›Ø ߥãCå›å›| ñâãµÚ ñâë䍀ñ•v‚àâ囀ìãµÛ êCä.ä}8‹ã êC€ t|ߥå›Ö æå¦áLäê‹çÅá„æ¿æ¶ø ßå›ìZå›á3ëJèÅàâãLãµäàâæ ìêCêCñ äî,ãµwá æyJéêLï.ߥå¦ï ê‚çJå›ìÅæ àâêLæ¶ç¥å¦å›êCñâäñ î.vÄæà éêLßï.ïêCßÅçJä~ìÅõ[àâ涂å¦êCƒ ä Œ  éxà êCäæ¿ßríÅçÅá-ï.éçÅáCä"ëJãLà ‰äãÄå›áÄås‰å›àâñòå›íÅñâä`àâì  àâìkçŽJ‰ä¶ãµáCàâéìJø Jø Jø @. A. )쓒A÷”öô. ‘<‘.

(52) ¨. )D##3&. :D ## w. MD M3&9 

(53)  D "3&9 &.  D JD ? #.  !"#$%&$ "'(*)% +, -. /  !"0(*1%)(2 "'()% +, -.&  !")&!&$#"3 "*2(4 +,5+  !")&!&$#"3 "*68796 +,:+ K*L MNPO ! ")&!$# "3 "2(*4RQS !"0(*1%)(2 "'()%8TVU &,XW O  NRO !"*#$&%&$ "*'()%ETYZ+,ETVU K*L MNPO ! ")&!$# "3 "68796RQ[!"0&(1%)(*2"'()&%ETVU &,]\IW O  NPO ! "#$&%&$"'()%8TXYZ+,&ET^&^`_U. ;<&=?>A@CBEDEFHGIF JD. ;a*=cbedf@. tvzV€uŠ¦l4§*K¹Ž¹xVj4j†€usut|{k¥}¦tysiz†¼.ty}„gd™šlA¤Et|{l“tvsd,}ƒ•—ut|{kVw‚™šŠ¦ty¤_lkŠhg j. t|silklA™ulA™d}¦x8€isi™šlkŠ›¶}¦˜s‡™}„gul4wvx¥¼½Cwvlk¤_lkwÄtysE}„lAŠ¶³µ_{l†x˜³<}¦gul™šlk¤•t|{l4˜si™dty}¦rtvsE}„lkŠ¦siVw >lkg‡ŤEtvxVŠJº’•x˜³»}¼˜Š¦l lksizVtvsulklAŠ„tvsuzTl š—‡lAŠ¶}¦tv„l†t|rŠ„lJˆE€utyŠ¦lA™È}„x

(54) tyj4—>x_„lZ8—uŠ¦xVz_Š¦VjZj4tvsuzT¶}ƒ•wyl_·O}„x}¦Š„€i{}„€uŠ¦l†}„gul{xš™š0l BwDE=>DF" •ƒ ™šlkÃisutvsuz

(55) V i¶}„Š›V{}¦tyx_si.³´x_Š~}¦gulZwyx¥¼½¿wylA¤VlAw-—iVŠ¶}›  G·‡}¦x

(56) _{›gutvlk¤Vl,l P\{tvlksi{kƒV·OƒVlk}}¦xTj˜À_l}¦gulZ{kxš™šl†x_—‡lAsÈl½ sux_€uzVg}¦x,lAsi˜ uwvl³´€u}„€uŠ¦ll •}„lks‡¶tvxVsiAMº j tysiVwywvƒV·u“’l š—‡lAŠ¶}¦tv„l~t|¹Vwv„xsulAlA™šlJ™}¦x,tvjZ—iwylAjZlAsE}¹}¦gulŠ¦lAˆE€utvŠ¦lA™ ™šŠ¦ty¤_lk

(57) Š   ± ‰ I'B ± —u—uwvt|{k¥}¦tyx_s ‰<Š„x_zVŠ›˜j4j4tysiz I sE}„lAŠ¶³µ_{l G·¹Vsi™²}¦x jVÀVld¢{A˜Š¦l³´€uw.€‡¶l

(58) x˜³“’¾Š¦lA„xV€uŠ›{lJ BwDE=>DFÄj4lkj4xVŠ¦ƒV·>¶ƒ•si{›giŠ„x_sutyÆJ¥}¦tyx_s‚·utvs_}¦lkŠ¦Š„€i—š}¦ Gº ± j˜}¶}„lAŠ~xV³ ³µ_{}J·i³´lA¼ ™šŠ„tv¤VlAŠ—uŠ¦xVz_Š¦VjZj4lAŠ¦.{A˜sd >l {x_si„tv™šlAŠ„lJ™\l •—>lkŠ„}tvs8}¦gulA„lr}„guŠ¦lkl™uxVj˜tvsiAº ± †Š„lJ¶€iw¸}x˜³Ä}„gul˜ >x¥¤Vl—uŠ¦xV uwvlkjA·_}¦gul{xš™šlrx˜³Ä™ulk¤•tv{kl™šŠ„tv¤VlAŠ¦¹t|¹xV³»}„lAs8€usiŠ„lJV™uV uwylr˜si™8{xE}¦wyƒ4}¦x ™šlA¤VlkwvxV—-·‚j˜tvs_}›˜tvs Vsi™ lk¤_xVwv¤VlVº4£xV},¶€iŠ„—uŠ¦t|¶tvsuzVwvƒV·‚}„gut|„t¸}¦€i¥}¦tyx_s¢jŃÈgiŤ_lZd™utv¦V¶}„Š¦xV€irtvj4—iV{}“x_s }„gilŠ„lAwyt|˜ utvwvt¸}ƒ\xV³ {kxVj4j4lkŠ›{t|˜w3xV—>lkŠ›¥}¦tysizZ„ƒš}¦lkjkº fgut|~silkz_˜}„tv¤VlZV¦¶lJ„„j4lksE}~x˜³`}¦gul4¶ty}„€i˜}„tvxVs¢tvr™št P{k€uwy}}¦x8€us‡™šlkŠ›}›˜si™G{xVs‡¶t|™šlkŠ¦tvsuz}„gil†Š¦lk—>l}¦t¸}¦ty¤_l si˜}„€uŠ¦l†xV³‹}¦gul™šlk¤_lkwvxV—uj4lksE}x˜³ ™šlk¤•t|{l™šŠ¦ty¤_lkŠ›kº I s¢³µV{}A·‚tvsi„—‡lJ{}¦tyx_s¢xV³¹l št|}¦tysiz

(59) ™šlA¤•tv{kl4™uŠ„tv¤VlAŠ¦r¶gix¥¼ }„g‡¥}}„gulAƒ\¶g‡˜Š¦llAsuxV€uz_g8{›giVŠ¦_{}¦lkŠ¦tv¶}„t|{k<}„xZ ‡l¶}„€i™štvlA™

(60) ˜s‡™T™šlA¤VlkwvxV—>lA™8V†¼.guxVwvlVº"” u˜j4—uwvlAtvsi{kwy€i™ul u€i }¦Š¦Vsi¦V{}¦tyx_siA·¥ ut¸}<jVsuty—i€uwv˜}„tvxVsiA·˜€i¦˜z_l¹—‡¥}¶}¦lkŠ¦si x˜³-“’Š¦lA„xV€iŠ¦{klAA·Aà •lJ™ ± “‰ I·uºAºkºZ’š€i{›g†—iŠ„x_zVŠ›˜j ˜Š¦l„Vtv™T}„xZ³´x_Š„j " ( ww=*w32ji321#lknm Ÿ o¿º f lA{A˜€i„l8™šlA¤•tv{kl

(61) ™šŠ¦tv¤VlkŠ›,³´xVŠ¦j G—iŠ„x_zVŠ›˜j6³µ˜j4tywvƒV·‹}„gulAtyŠ\™ulk¤VlAwyx_—uj4lksE}{xV€iwv™Ê ‡ld„ƒ•¶}„lAj¥}„tvÆklJ™²}¦x tvjZ—iŠ„x¥¤_l—uŠ„xš™š€‡{}„tv¤•t¸}Xƒ m &ž oCJº f lJ{k˜€‡¶l™šlA¤•tv{kl,™šŠ¦ty¤_lkŠ›˜Š¦l™šlk¤_lkwvxV—>lA™d˜}4³µV¶}~—i_{l_·i}¦gulktvŠ™šlA¤VlAwyx_—uj4lksE} „guxV€uw|™Ê„ƒš}¦lkj¥}¦tyÆAlT >x˜}¦gÊl š—>lkŠ„}„t|¶l

(62) ˜si™ {xš™šl8Š„lk½C€i„l\}¦x¢ >l}„}„lAŠ†}¦tyj4lk½L}¦x˜½¿j4VŠ„À_l}†™ulkwvty¤_lkŠ¦p ƒ mv§Jmš·"¡u· ¨ oCº f lA{A˜€i„l,™šlA¤Et|{lZ™šŠ¦ty¤_lkŠ›˜Š¦l,{Š¦ty}„t|{k˜wėutvlA{lJ~xV³‹\„ƒ•¶}„lAj·i}¦gulktvŠtvj4—uwvlkj4lksE}¦˜}„tvxVsG„gux_€uwv™È ‡l†¤VlkŠ¦tyÃilA™

(63) }¦x tvjZ—iŠ„x¥¤_lr¦¥³´lk}`ƒ m ž oCº q Ä­T® WNW ­ Ð ®u ¯ p €uŠ

(64) ˜—u—uŠ¦x__{›g }„xʁ„ƒš}¦lkj¥}¦tyÆAtysuz¾}„gul ™šlk¤_lkwvxV—uj4lksE}TxV³,™šlk¤•t|{l ™šŠ„tv¤VlAŠ¦\tvT iV„lA™ x_sI™šxVjVtysš½ „—‡lJ{tyÇ{ w|˜suz_€i˜z_lAJ BLÂr’šNÒ GAm ž o¿Mº f lA{kV€i„l~™šlk¤•t|{l~™uŠ„tv¤VlAŠ¦‹tysi{kwy€‡™šl„lk¤_lkŠ›˜wi™šx_j˜tvsi<xV³‚l š—‡lAŠ¶}¦tv„lV·EzVx•xš™\„lk—iVŠ¦˜}„tvxVs x˜³-{kxVsi{klkŠ¦si` >l}¼ lklAs\gi˜Š›™š¼˜Š¦l˜si™„x˜³»}¼˜Š¦lV„—>lA{}›‹_{}„€‡˜wvwyƒZŠ„lJˆE€utyŠ¦lA‹xVsulÂr’šÒȳ´xVŠ lA_{›g\{xVs‡{lk—u}„€iVw w|ŃVlkŠJºfgut|j†€uw¸}¦t¸½ “’šÒÊV—u—uŠ¦x_V{›gt|³´€iŠ¶}¦gulkŠjZxV}„tv¤¥¥}„lJ™d •ƒ

(65) }„gul,³µV{}}„gi˜}lJV{›gwvŃ_lkŠxV³‹\™šŠ¦ty¤_lkŠj4Ń >l™šlA¦{Š¦ty >lA™8 •ƒ84„—‡lJ{tyÇ{r—uŠ„x_zVŠ›˜j4j4lkŠJ·_¼.ty}„gÈ4„—‡lJ{tyÇ{r iV{›À•z_Š„x_€usi™TVsi™

(66) ¶—>lA{kt¸Ã‡{{kxVsi¶}„Š›˜tvsE}¦Aº fgulr™šlA„tyz_s\x˜³ÄlAV{›gTwvVsuzV€iVzVlt|¹³´€ulkwvlA™T •ƒ4}„gux_Š„x_€uzVg8˜siVwyƒš„tv‹x˜³‚}¦gulr™uxVj˜tvs\x˜³ÄlAV{›g8{xVs‡{lk—u}„€iVw w|ŃVlk{Š Bµ™šlA¤Et|{l™šxš{€ijZlAsE}¦¥}¦tyx_siA· l štv¶}„tvsuz¢{kxš™šlV·.ºAºk º Gº¢”¹V{›g¾w|˜suz_€i˜z_l4³µV{}„xVŠ¦tvÆklA†{x_jZj4x_si˜wvt¸}¦tylJ,Vsi™ ˜wvwvx¥¼,¤¥˜Š¦t|¥}„tvxVs‡,}¦x ‡ll š—uŠ¦lA¦„lA™¾ •ƒ¾„—‡lJ{tyÇ{

(67) sux˜}›¥}¦tyx_si4˜si™ ˜ i¶}„Š›V{}„tvxVsiAºÊfguld™šx_j˜tvs ˜s‡˜wvƒ•„t| ˜w|„xdlksiV uwylJ{Š¦ty}„t|{k˜w „˜³´l}ƒ¢—uŠ„x_—‡lAŠ¶}¦tylJ“}„xG ‡l\t|™šlAs_}¦t¸Ã‡lA™3ºÈfgul8¶lAj4VsE}„t|{kxV³lJV{›g²Â“’šÒ^{kVs² ‡l8¶€uty}¶½ ˜ iwyƒ8Š„lJ}¦Š„t|{}¦lA™8}„xTVwywvx¥¼e}„gulJ¶l—uŠ¦xV—>lkŠ„}„tvlA.}„x\ >l¤VlAŠ„tyÃilJ™3·u¼.gutvwyl,—uŠ„lJ¶lAŠ„¤•tvsuzZ}„gul,l š—uŠ¦lA¦¶tv¤VlAsulA¦x˜³"}„gil w|˜suz_€i˜z_[l my§J&ž oCº ± suxV}„gulAŠ~z_x_˜wÄx˜³`}¦gul†™šlJ¶tvzVsdxV³<xV€uŠrÂr’uÒ-tv~}„x8wylJV™

(68) }„x

(69) {x_jZ—ityw|¥}¦tyx_sȁ}¦Š¦˜}„lkz_tylJ.¼.gut|{›g lks‡¶€uŠ¦l“sux4—‡lAŠ¶³´x_Š„jVsi{l“—>lksiVw¸}ƒT{kxVj4—iVŠ„lJ™}„xl štv¶}„tvsuz™šŠ¦ty¤_lkŠ›kº « W"® W Ì ­ r p U c lZtvsE}„Š¦xš™š€i{l4tvs }„gut|“—i˜—>lkŠ

(70) “’šÒ si˜j4lJ™¢Âlk¤•tvtw sVtyj4lA™ ¥}—uŠ¦x¥¤•tv™utysuzT}„gulwvx¥¼ lkŠrwvŃ_lkŠ“x˜³8™šlA¤•tv{kl ™šŠ¦ty¤_lkŠJM· D#,DF‹}„gul i_¶t|{†tysE}„lAŠ¦_{}¦tyx_s¢¼.ty}„g¢}„gul\™ulk¤•tv{klVº ± lk¤•tyw<„—>lA{tyÇ{A¥}„tvxVs Š¦tyz_xVŠ¦xV€i„wyƒd™šlJ„{kŠ„tv >lAr}„gil uv Šä ‰Jàâñ_áLêCå›ìÅëÅVá tvéã vcwVx àâæä r ìkêLäã två›æä  å› ì xç¥å xäø rIy ‘ rHz.

(71)  

(72)   !"#  $. %!&'%)(*(+ , -.   /&013243#&6587*(9  ;:<3&>=*?6=>.     M    :  : N . h  , "     W    M  N : -eQ E:

(73)  +&++&+&+&U h   ,ZW    , "    !#"n MO - TVU.      . , " &K  W  , "/.E . W. M M . . . . &: N :

(74)  &+ $ Q E:

(75) % &&&&'(&Q*)  ,  +&  ,  W +-eU &: N

(76) :  &+ $ Q E:

(77) % &&&&'(&Q*)  ,  +&  , 0 W /-eU. :   : N   , X W &,"/.E'.1 . +'! &, "  K &,X5 W  M " &, O VT U . 1  .  + !2"3&/.  MO 58TVU 4. <&=?>A@CBEDEFHGIF JD 4a*=cbedf@. tyz_€uŠ„lm9K"lk¤•tvw-™šlkÃisuty}„tvxVsd{x_Š„Š¦lA„—‡x_si™štvsuz†}„xZ}„gul†ŽI{xš™šl“tvs Äj tvzV€iŠ„l4§ j. V{A{lJ„j4lA{›g‡˜sut|¶jA·u}¦gul}ƒ•—‡lVsi™

(78) }„gilwvŃ_xV€š}.xV³`™i¥}¦Z}¦gi¥}r˜Š¦llu{›gi˜sizVlA™T}„xx_—‡lAŠ¦˜}„l“}¦gul,™šlA¤Et|{l_·‡_ ¼ kl wvw"_„xVj4lZ ‡lAgiŤ•tyx_Š¦Vw-—uŠ¦xV—>lkŠ„}„tvlAAº;I¿}™šx•lArsux˜}V¦„€uj4l†˜s•ƒ—iVŠ¶}¦tv{k€uwvVŠ“’3·OVsi™G{A˜sG}„gulAŠ„lk³´xVŠ¦l, >l €i„lA™³´x_ŠZVs•ƒ¢}›˜Š¦zVlk}†—uw|¥}„³´xVŠ¦j

(79) º ± ZÈj˜}¶}„lAŠ†xV³³µV{}A·<€‡¶tvsuzÈ}¦gut|,w|˜suz_€i˜z_l\xVsiwyƒŠ¦lAˆE€utvŠ„lJgiVŠ¦™š¼˜Š¦l lš—>lkŠ„}„t|¶l_Éu4™šlA¦{Š¦ty—u}„tvxVs

(80) tysdlk¤•tywÄ{xV€iwv™T}ƒ•—utv{A˜wvwyƒT ‡l¼.Š¦t¸}„}„lAs

(81) •ƒ}¦gul™šlA¤Et|{l¤_lksi™uxVŠJº Ž¹xVj4—utvwvtysuz†Â~lA¤•tywO™šlA¦{Š¦tv—š}„tvxVs—uŠ¦x¥¤•tv™ulA<}ƒE—>lA™‚·_gutvzVgu½Cwvlk¤_lkwitvsE}„lAŠ¶³µ_{lxV³>}¦gul™ulk¤•tv{kl~¼.gut|{›g\{kVs\ >l €i„lA™\}„xZ¼.Š„ty}„l~}„gul“€u—u—>lkŠw|ŃVlAŠ¦‹x˜³‚}¦gulr™ulk¤•tv{klr™uŠ„tv¤VlAŠAº jux_Š‹}¦gulr™uŠ„tv¤VlAŠ¹—uŠ¦xVz_Š¦Vj4jZlAŠA·V}„gulr >lksulkÃu}.x˜³‚}¦gutv ˜—i—uŠ„xEV{›gt|.}„g‡¥}~}¦gulZtysE}„lAŠ¶³µ_{lj4xš™šlAwv˜sÈt|™šlAVwytvÆklJ™d™šlk¤•t|{lZ˜si™dV i}¦Š¦_{}›.}„gil,giVŠ¦™š¼˜Š¦l“tysE}¦Š„t|{k_{tvlAAº fgul¹€u—u—>lkŠ"wvŃ_lkŠ›‚{kVslkty}„gilkŠ ‡l ¼.Š„ty}¶}¦lks†tys,~zVlAsulkŠ›˜wy½C—i€uŠ„—>x_„l`w|˜suz_€i˜z_l BLor‰‹NÒ G·¥¼.gut|{›g,™štvŠ¦lA{}¦wyƒ“€š}¦tywvtvÆklA }„gil†tvj4—uwylAj4lksE}¦˜}„tvxVsGxV³`}„gul4™šlA¤Et|{l†tysE}¦lkŠ„³µV{l_·OxVŠrtysG}„gul†³´€š}„€iŠ„l_·O{kxVj† utysilA™È¼.ty}„g¢—uŠ¦xVzVŠ›˜j.¼.Š¦ty}¶}„lAsGtvs x˜}¦gulkŠ“’šÒā³´xVŠ™šŠ¦tv¤VlkŠ›Aº j tyz_€uŠ¦lTmtywvwv€i}¦Š¦˜}„lJ}„gilT >lksulkÃu}¦,x˜³~lk¤•tyw¹tys¾}„lkŠ¦jxV³.„lk—‡˜Š›¥}„tvxVsxV³.{kxVsi{klkŠ¦siVsi™Š„lJV™uV utvwyty}ƒOÉ }„gitv,l u˜j4—uwvltv,™šl}›˜tvwylJ™tys }„gil\Š„lJ}xV³}„gul\—‡˜—>lkŠJº ± ,{k˜s >lT„lklks-· Vwyw`}¦gulT{kxVj4j,€usitv{A¥}„tvxVs‡¼.t¸}¦g }„gil8™šlA¤Et|{l

(82) ˜Š¦l\lks‡{k˜—‡¶€uw|¥}¦lA™tvs Vs¾V{k{klA¦³´€us‡{}„tvxVsÊzVlksilkŠ›¥}„lJ™ ³´Š„x_j }„gul

(83) Â~lA¤Etvw™šlA¦{Š¦ty—u}„tvxVs‚º fgulks‚· }„gil†™šŠ¦ty¤_lkŠ—uŠ„x_zVŠ›˜j4j4lkŠ.x_suwyƒ

(84) gi_}¦x³´xš{€ixVsÈx_—‡lAŠ¦˜}„tvsuz4}„gil†™šlA¤Et|{l†€i„tysuz8˜ i¶}„Š›V{}~¤¥˜wv€ulAAº f lA{A˜€i„l lk¤•tywÄtv~4Š„lJ}¦Š„t|{}¦lA™8wvVsuzV€iVzVl_·š¤ÅVŠ„tvxV€‡ }ƒE—itysuz\Vsi™{x_si¶t|¶}„lks‡{ƒT—iŠ„x_—‡lAŠ¶}¦tylJx˜³`¶—>lA{kt¸Ã‡{A¥}¦tyx_s{A˜s >l ¤VlAŠ„tyÃilJ™3º f lA{A˜€i„lr}„gul,zVlksilkŠ›¥}„lJ™TtvsE}„lAŠ¶³µ_{lt|}ƒ•—‡lJ™3·ity}¦.€‡¶ltvs

(85) }„gul,€u—u—>lkŠ~w|ŃVlAŠ¦ xV³Ä}¦gul,™šlA¤Et|{l™uŠ„tv¤VlAŠ {kVs

(86) Vwv„x4 ‡l{›gilA{›ÀVlJ™\ •ƒT4¶}¦˜s‡™u˜Š›™

(87) or‰¹Ò²{xVj4—utvwvlkŠJº €uŠ.{x_sE}„Š¦ty u€u}„tvxVsi.VŠ„lr}„gil“³´xVwvwyx¥¼.tvsuziº 6 c¢lgiŤ_lZ{A˜Š¦Š„tvlA™GxV€š},™šx_j˜tvsVsi˜wvƒš¶t|rxVs¢}„gul—iŠ„x_zVŠ›˜j&³µ˜j4tvwyƒ¢x˜³™šlk¤•t|{l\™šŠ¦ty¤_lkŠ›kº’•lA—i˜Š›¥}„½ tysuz8}„gil4{kxVsi{klkŠ¦sirx˜³ gi˜Š›™š¼˜Š¦l¤VlAsi™šxVŠ›r˜si™²“’G™uŠ„tv¤VlAŠ—uŠ¦xVz_Š¦Vj4jZlAŠ¦A·>¼¹l4giŤ_l,l •}¦Š¦_{}„lJ™GVsi™ }¦Š„€i{}„€uŠ¦lA™†}¦gul.ÀVlAƒ†{x_si{lA—š}¦<x˜³O}„gul™uxVj˜tvsV`¼ lkwvw‡_ }„gul~{kxVj4j4xVsiVwyty}„tvlA‹˜si™Z¤¥˜Š¦tv˜}„tvxVsi"tvs4}„gil ™šlA„tyz_s

(88) Vsi™™šlk¤_lkwvxV—uj4lAs_}xV³"{kxš™šl“³´xVŠ~{kxVj4j,€isutv{A¥}¦tysuz4¼.ty}„gdgiVŠ¦™u¼ VŠ„l_Mº c¢lgiŤ_l˜w|¶x4t|™šlksE}¦t¸ÃilJ™ tyj4—>xVŠ„}¦˜sE}.—uŠ¦xV—>lkŠ„}„tvlA¹}„g‡¥}~{x_€uw|™Ttvj4—uŠ„x¥¤_lr}„gul¦¥³´lk}ƒx˜³ }„guxE¶l{x_j4j,€usut|{k˜}„tvxVsiAº 6 f _¶lJ™\x_sT}¦gutv~˜siVwyƒš„tvA·•¼¹l“giŤ_lr™šlJ¶tvzVsilA™

(89) †w|˜sizV€iVzVl}¦x\™šlA¦{Š¦tv ‡l}„gultvsE}„lAŠ¦_{}„tvxVs‡¹¼.ty}„ggiVŠ¦™š½ ¼ VŠ„l ™šlk¤•t|{lA ˜s‡™}¦x—uŠ¦x¥¤•tv™ul¹gutyz_gš½¿wylA¤Vlkw•„x˜³»}¼˜Š¦l‹tvs_}¦lkŠ„³µV{kl<³´xVŠ"x_—‡lAŠ¦˜}„tvsuz}¦gulkjº`fgut|Äw|˜sizV€iVzVl tv“¶}„Š¦xVsuz_wyƒ

(90) }ƒ•—‡lJ™3·-Vsi™ÈlAsi˜ uwvlA“{kxVsi„tv¶}„lAsi{ƒd—iŠ„x_—‡lAŠ¶}¦tylJ~}¦x8 >l{›gulA{›À_lA™dx_sG}¦gul¶—>lA{kt¸Ã>{k¥}¦tyx_s¢_ ¼¹lAwyw`Vrx_sÈ}„gilZ€‡¶l4x˜³¹}„gul{kxVŠ¦Š„lJ¶—>xVsi™utysuzTtysE}„lAŠ¶³µ_{lZtys

(91) ™šŠ„tv¤VlAŠAº†fgulA„l4¤VlkŠ¦tyÇ{k˜}„tvxVsi¼¹x_€uw|™È >l tyj4—>x_¦¶tv uwvl}¦x4—‡lAŠ¶³´x_Š„jÁx_sd™šŠ„tv¤VlAŠ¦ ¼.Š¦t¸}„}„lAs8¼.ty}„gÈor‰‹Òākº 6 c¢l8giŤVlT„gux¥¼.s²}¦gi¥}†}„gul

(92) w|˜suz_€i˜z_l\tv†l š—uŠ¦lA¦„ty¤_llksux_€uzVg²}¦x¢™šlJ„{kŠ„tv >l8ȼ.t|™šl

(93) Š¦VsuzVlxV³¶}¦˜su½ ™u˜Š›™d‰ Ž™ulk¤•tv{klAtys‡{wv€i™štvsuz8”<}„gulAŠ„sulk}A·‚¤•t|™šlkx‡·3¶x_€usi™3·Otvs_}¦lkŠ¦Š„€i—š}A·‚Âr‘ ± ˜si™GjZx_€i„l†{x_sE}„Š¦xVwvwylAŠ¦Aº ” u˜j4—uwvlAx˜³`„€i{›g

(94) ™ulA¦{Š¦ty—š}¦tyx_si˜Š¦lŤÅVtyw|˜ iwylrxVsuwvtvsulVº fgul —i˜—>lkŠ t|Äx_Š„zE˜sutvÆklJ™VÄ³´xVwvwvx¥¼kºÄ’šlA{}¦tyx_sZm~zVtv¤VlJÄVsx¥¤VlAŠ„¤•tvlk¼x˜³u}¦gul.™šxVjVtys,Vsi˜wvƒš¶t|Aº ’•lJ{}„tvxVs†ž ™šlJ„{kŠ„tv ‡lJ3gux¥¼¢}„gul‹wvVsuzV€iVzVl"™šlA„tvzVs“tv-l •}„Š›V{}„lJ™~³´Š¦xVjI}„gut|-Vsi˜wvƒš¶t|Aº-’•lA{}„tvxVs¨„gux¥¼Ogux¥¼¢}„gul<w|˜sizV€iVzVl Š¦lA¶}„Š¦tv{}„tvxVsi‚VŠ„l`l š—uwyx_t¸}¦lA™r}¦xj˜ÀVl`tvj4—‡x_Š¶}›˜sE}ā¦¥³´lk}ƒ—uŠ¦xV—>lkŠ„}„tvlA-™šlA{ktv™uV uwvlVº ’šlA{}¦tyx_7s zVtv¤VlJO}„gul {€uŠ¦Š¦lksE} tvjZ—iwylAjZlAsE}¦¥}¦tyx_s†¶}¦˜}„€i x˜³OÂ~lA¤•tywCº"’šlA{}¦tyx_1s Hr{x_jZ—‡˜Š¦lA-}„gulÂ~lA¤•tywuV—u—uŠ¦x_V{›g“}¦x“Š„lAwv˜}„lA™¼¹x_Š„ÀšAºÄ’•lA{}„tvxV9s 8 —uŠ¦x¥¤•tv™šlJ˜sV¦¶lJ„„j4lksE}.x˜³ lk¤•tvw-˜s‡™8™št|¦{€i¦¶lJ ³´€š}„€iŠ„l¼ xVŠ¦ÀOº. )쓒A÷”öô. ‘<‘.

(95) H. )D##3&. :D ## w. MD M3&9 

(96)  D "3&9 &.  D JD ? #.  ,/0 % $&%  -k fgul~™ulA„tyz_sx˜³‚“’šÒÈ{Š¦ty}„t|{k˜wvwvƒ†Š¦lkwvtylJ`xVs\}„gux_Š„x_€uzVg˜s‡˜wvƒ•„t|"x˜³O}„gulr{x_jZj4x_si˜wvt¸}¦tylJ<˜s‡™4¤ÅVŠ„t|¥}¦tyx_si`tvs —iŠ„x_zVŠ›˜j ³µ˜j4tywvƒV·š_¹¼ lkwvwOV‹}„gulr³´€usi™i˜j4lksE}¦Vw>{kxVsi{klk—š}› x˜³3}„gil“™uxVj˜tvs‚º"fgulx_€š}„—i€š}.x˜³3}„gitv˜s‡˜wvƒ•„t| {x_sE}„Š¦ty u€u}„lA}„xT™ul}„lAŠ„j4tvsutvsuz}„gil iV„t|{lkwvlkj4lksE}›x˜³"}¦gul,w|˜suz_€i˜z_lr}„x\ >l†™šlJ¶tvzVsilA™3·>V¼ lkwvwÄ_.—>x_¦¶tv uwvl xVŠ†Š„lJˆE€utyŠ¦lA™¾¤VlkŠ¦tyÇ{k˜}„tvxVsi“}¦xG >l8—>lkŠ„³´xVŠ¦j4lA™x_s¾—uŠ¦xVzVŠ›˜jA º I s²}¦gutv4„lA{}„tvxVs‚·`¼ l\—uŠ¦lA„lksE},}¦gul™šxVj˜tvs ˜s‡˜wvƒ•„t|xV³‹}¦gulwyx¥¼ lkŠ“w|ŃVlAŠxV³ ™šlA¤Et|{l™šŠ¦tv¤VlkŠ›AºZfgul¦˜wvtylAsE}r³´lJ¥}¦€uŠ„lJ“x˜³¹}„gullk¤•tyw‹wvVsuzV€iVzVl4˜si™G}„gil ¤VlAŠ„tyÇ{A¥}„tvxVs‡‹}¦gi¥}ty}lks‡˜ uwvlA.VŠ„lr—uŠ¦lA„lksE}„lJ™Ttvs

(97) }„gul“³´x_wywvx¥¼.tysiz,}¼ x¶lJ{}„tvxVs‡kº €uŠ`z_x_˜wštvs˜siVwyƒ•ÆAtysuzr}¦gul~™šx_j4VtysZt|"}„xl E}¦Š¦_{}`}¦gul.ÀVlAƒ†˜ ‡}¦Š¦_{}„tvxVs‡k·¥suxV}¦˜}„tvxVsi<Vsi™†}„lAŠ„j4tvsuxVwvxVz_ƒ ¼.gut|{›gT€us‡™šlkŠ¦wytvl}„gul“ i_¶t|{~tvsE}„lAŠ¦_{}„tvxVsT¼.t¸}¦g

(98) Z™šlk¤•t|{l_º"fgitv—ug‡V„l˜w|„x†tvsi{wv€i™šlJ¹}„gul¶}„€i™šƒxV³ {kxVj4j4xVs —i˜}¶}„lAŠ„s‡-tvs}„gil ™šlJ¶tvzVsVsi™tvj4—uwylAj4lksE}¦˜}„tvxVs,xV³i™šŠ¦ty¤_lkŠ›kVº c l‹l š—uwyx_t¸}¦lA™~¤¥˜Š¦tylk}ƒxV³utysš³´x_Š„j˜}„tvxVs,„xV€uŠ›{lJ }„x8—‡lAŠ¶³´x_Š„j }„gitvr™šxVjVtysÈVsi˜wvƒš¶t|kgº c l†}„gux_Š„x_€uzVguwvƒTl u˜j4tysilA™d\¼.t|™šlZ¶—>lA{}„Š¦€uj&x˜³<™šlk¤•t|{lJVsi™

(99) }„gulAtyŠ {x_Š„Š¦lA„—>xVsi™štvsuz

(100) ™šŠ„tv¤VlAŠ¦A·Oj˜tvsuwyƒ³´Š¦xVjÒ-tys•!€ ¶x_€uŠ¦{klA, K”`}¦gulkŠ¦sul}J·-¤•t|™šlkx‡·‚¶x_€usi™3·3tvsE}„lkŠ¦Š¦€u—š}A·Ä‘ ± Vsi™ j4xV€i„l{xVsE}¦Š„x_wywvlkŠ›kºÄfgutv`¶}„€‡™šƒ¼V"¶€i—u—‡x_Š¶}¦lA™, Eƒ,wyty}„lAŠ¦˜}„€uŠ¦l V ‡x_€š}<™šŠ¦ty¤_lkŠ"™šlk¤_lkwvxV—uj4lksE } mv§V§˜· o¿·V™šlA¤•tv{kl ™šxš{€ijZlAsE}¦¥}¦tyx_si ŤÅVtyw|˜ iwyl¹xVs}¦gul ¼¹lA ‚·˜˜si™†™šlk¤•t|{l™šŠ¦ty¤_lkŠ l š—‡lAŠ¶}›Ä³´xVNŠ c tysi™ux¥¼k·˜Ò-tys•!€ ,Vsi™lAj, >lA™u™šlJ™ xV—>lkŠ›¥}¦tysizT¶ƒš¶}„lAj4Aºr’šlk¤VlAŠ¦Vw‚ÀVlAƒd{xVs‡{lk—u}¦~{A˜j4l,x_€š}xV³`}„gut|r¼¹x_Š„ÀO·i}„gi˜}r˜Š¦l,„€uj4j˜Š¦tyÆAlA™dtvsd}„gil†Š¦lA¶} x˜³ }„gitv.„lA{}„tvxVs‚º ~Ð ­Å¬A« Z I sE}„lkŠ›V{}„tvsuz¼.t¸}¦g^²™šlk¤•t|{ldŠ¦lkwvtylJxVs }¦gulÈsuxV}„tvxVs x˜³{x_jZj†€usut|{k˜}„tvxVs —‡x_tysE}›k·x˜³»}¦lks siVjZlJ™ (6ˆ ›º ± —>xVŠ„}.tv€‡¶lJ™T}¦x4Š„lJV™ ¥¼.Š„ty}„lr¤¥˜wv€ulA ³´Š¦xV j J}¦x,}¦gul™šlA¤Et|{l_º<fgulA„l“xV—>lkŠ›¥}¦tyx_si˜Š¦lrtvj4—uwvlkj4lksE}„lJ™ ™št >lAŠ„lAsE}„wvƒG™šlk—>lks‡™štysiz

(101) x_s¢gix¥¼œ}„gul\™ulk¤•tv{kl†t|“¤•tv„tv uwyl4 •ƒd}¦gul4—uŠ„xš{klA¦¶x_Š B ,DE=>DF<j˜—u—>lA™ tvs¢j4lkj4x_Š„ƒdx_Š IV;  Gº‚‘dx_¶},™šlA¤Et|{lJŠ¦lAˆE€utvŠ„l„lk¤VlAŠ¦Vw"—‡x_Š¶}›r³´xVŠ,{kxVj4j,€usitv{A¥}„tvxVs-É 8³´lk¼ —>xVŠ„}¦VŠ„l4x˜³»}¦lks€i„lA™V iV„l V™i™šŠ„lJ„„lA¹}¦x4™ulÃisuol  &>=>  i)(6ˆ ›º T^Ì n+U «A¬ Ì ­¥« Z  8=* 8 ZŠ¦lk—iŠ„lJ¶lAs_}}¦gulT˜}„xVj4t|{4€usuty}¦xV³.tysš³´x_Š„j˜}„tvxVs }„gi˜},{kVs² ‡ll š{›g‡˜suz_lA™ ¼.t¸}¦g² ™šlA¤Et|{l_º fgulJ¶l

(102) ¤¥˜wv€ulA4VŠ„l8}ƒ•—utv{A˜wvwyƒ²lAtyz_gE}A·¹„t E}¦lklAs‚·‹x_Š,}¦gutyŠ„}ƒE½L}¼ x˜½¿ uty}Z¼ xVŠ›™uAº ’•x_jZl

(103) Š¦lkzVt|¶}„lkŠ›†j4Ń xVsiwyƒ

(104) ‡l,Š„lJV™d˜s‡™d¶x_jZlx_suwvƒ8 >l,¼.Š¦t¸}„}„lAs‚ɇxV}„gulAŠ¦j4Ń8 ‡l†Š„lJV™

(105) xVŠ¼.Š„ty}¶}¦lks‚º ± ¶tvsuzVwvlŠ¦lkz_tv¶}„lAŠ.j4Ń

(106) >l V{A{lJ„„lA™8³´xVŠ~Š„lJV™štvsuz\¥}~\zVtv¤Vlks—>xVŠ„}˜s‡™T³´x_Š~¼.Š¦t¸}¦tysiz\¥}Vsux˜}¦gulkŠ—>xVŠ„}Aº ± Š¦lkz_tv¶}„lAŠ.jŃ8˜w|„xŠ„lJˆ_€ityŠ¦l ¶—>lA{kt¸Ã> { *  . (9 #-8tvs•¤Vx_wy¤•tvsuz

(107) Vs•ƒÈs•€uj, >lkŠxV³ xV}„gulAŠŠ„lAzVt|}¦lkŠ›1 B ,DE=>DF‹tvsi™šl šlJ™¢x_Š—i˜z_lA™¢Š„lAzVt|}¦lkŠ›  Gº ”<¤_lks }„gux_€uzVgV{A{lJ„r—i˜}„gi{A˜s ‡lZ³µ_{}„x_Š„tvÆklJ™G¼.ty}„gjV{kŠ„xEk·3l u˜j4tys‡¥}„tvxVs x˜³ l št|}¦tysuzd™šŠ¦tv¤VlkŠ›“¶gix¥¼ }„g‡¥}.}„gitv³µ_{tvwyty}ƒ\t|.Š›˜Š¦lkwvƒZ€‡¶lJ™

(108) {A˜€i„tvsuzZ}„gul™šŠ¦tv¤VlkŠ.{kx•™ul}¦x ‡lŠ›¥}¦gulkŠ }›˜suz_wylJ™3º f lA{A˜€i„l,xV³¹giVŠ¦™š¼˜Š¦l,{kxVsi„tv™ulkŠ›¥}„tvxVs‡k·3„xVj4l† it¸}›“x˜³ 8Š¦lkzVt|¶}„lkŠ“{kVsG >lŠ„lJ¶lAŠ„¤_lA™x_Šr€isE€‡¶lJ™3·-„xVj4l j,€‡} giŤVlr“à šlA™T¤ÅVwy€il~¼.gulAs\¼.Š„ty}¶}¦lk_s B´xVŠ giŤ_l~à šlJ™¤¥˜wv€ul~¼.gulAsTŠ¦lA_6™ G·•˜si™\x˜}„gilkŠ›¹{kxVŠ¦Š„lJ¶—>xVsi™†}¦x ¤¥˜wv€ulA.}„gi˜}˜Š¦ltyŠ¦Š¦lkwvlk¤¥˜sE}Auº f t¸}r{xVs‡}¦Š¦VtysE}¦.VŠ„l€‡¶€iVwywvƒT¼ lkwvwy½¿™šlJ„{kŠ„tv >lA™

(109) tysșulk¤•tv{kl,™šxš{€ijZlAsE}¦¥}¦tyx_si.tvs }„lAŠ„jx˜³ Hg2o  ;º I s¢

(110) or‰‹Ò wytvÀVlŽ·‡ uty}“j4_¶Àšr˜Š¦l}„Š›˜s‡¶w|¥}¦lA™dtvsE}„x8{kxVsi¶}¦VsE}¦~Vsi™È it¸}rxV—>lkŠ›¥}„tvxVs‡ ³´xVŠ.lAsi{xš™štvsuz4xVŠ™ulA{xš™štvsuzZŠ„lAzVt|}¦lkŠ¤¥˜wv€ulVº S

(111) Ì TVU ¯ a Ì T ®š­ U ®šª - Ì « Z juxVŠ,gi˜Š›™š¼˜Š¦l†l P{ktylAsi{ƒ Š¦lAV„xVs‡o BwDE=DF¹}„xdj4tysityj4tvÆkl}¦gul\s•€uj, >lkŠ†x˜u³ IVr G·  Š¦lkzVt|¶}„lkŠ jŃ\zVŠ¦xV€i—T¤¥˜Š¦tyx_€i¹tysi™ulk—>lksi™šlAsE}¤ÅVwy€ilAAº jixVŠ.l šVj4—uwyl_·E}„guŠ¦lkl“ uty}¦tvs

(112) ZŠ¦lkz_tv¶}„lAŠ jŃ >l“€i¶lJ™ }„xșulksuxV}„l¼.gut|{›g u€š}¶}¦xVsix˜³.jZx_€i„lZg‡ŤVl4 ‡lAlks²—u€‡¶gulJ™3·-¼.gitywvl4}„gulTŠ„lAj4Vtysitysuz uty}¦x˜³ }„gul\Š¦lkz_tv¶}„lAŠ jŃȗuŠ¦x¥¤•tv™šlZtvsš³´xVŠ¦j¥}„tvxVs{x_si{lAŠ„sitysuz

(113) }¦gulj4x˜}„tvxVs x˜³ }„giljZx_€i„lV4º I sx˜}„gilkŠ{k_¶lJk·Ä¶x_jZl4j4lAVsutvsuz˜³´€uw ¤¥˜wv€ulA~giŤVl}„x\ >l†{kxVsi¶}„Š¦€i{}¦lA™ •ƒV¦¶lAj, uwvtysiz\ uty}r„lAˆE€ulks‡{lA³´Š„x_j)™ut OlkŠ¦lksE}~Š¦lkz_tv¶}„lAŠ¦AJº jux_Š~l uVjZ—iwyl_· }„giljZx_€i„ljZxV}„tvxVs k>l\tv0s j tvzV€uŠ¦l§˜s‡™

(114) mZt|.lks‡{xš™šlA™

(115) tvs

(116) }„gul,™ulk¤•tv{kl€i„tysuzZ}¦gulwvx¥¼¹lJ}³´xV€iŠ. ut¸}›xV³Ä}¼ x ™št >lAŠ„lAsE}Š„lAzVt|}¦lkŠ›k“º I s

(117) ³µ_{}A·i}„guxE¶lj4lJ˜sutvsuz˜³´€iw‚¤¥˜wv€ulAA·š}„g‡¥}VŠ„l“—>x_¦¶tv uwvƒ8„—uŠ„lJV™

(118) x¥¤VlAŠ.¶lA¤VlkŠ›˜w3Š¦lkz_tv¶}„lAŠ ³´Š›˜zVj4lAs_}›k·‡Š„lA—uŠ¦lA„lksE}~\{x_s•¤VlksitylAs_}¼Ń\}¦xTl •—iŠ„lJ„.gityz_gš½Cwvlk¤_lkw-{kxVj4j,€isutv{A¥}¦tyx_si.¼.ty}„gd}¦gul†™šlA¤•tv{klVº ±  }„gilkƒ4{k˜s{kxVsi{klk—š}¦€i˜wvwyƒ† ‡l~Š„lJV™ZxVŠ`¼.Š¦t¸}„}„lAswytvÀVlVsEƒ†¤¥˜Š¦tvV uwyl.tvs\or‰‹Ò‹·V¼ l{k˜wvwš}¦gulkj *   º ’•tvsi{lr}¦gulkƒ

(119) ™šx4sux˜}™štvŠ„lJ{}¦wyƒ\jV—8}¦x4—ug•ƒ•„t|{k˜wOlAs_}¦Š„tvlAA·•}„gilA„lr¤¥VŠ„t|˜ uwvlA{kxVŠ¦Š„lJ¶—>xVsi™\}„xZwyx_zVt|{kVw>¤•tvlk¼ex˜³ }„gilZ™šlA¤•tv{klVÉO}„gilkƒÈ˜ ‡}¦Š¦_{}x¥¤_lkŠ~}„gulZ—ug•ƒš¶t|{kVwĊ¦lk—uŠ¦lA„lksE}›¥}„tvxVsdxV³<}„gilZ™šlA¤•tv{kl†¶}¦¥}¦lVCº I sÈlJ„„lks‡{lV·3™šlA¤•tv{kl ¤¥˜Š¦tvV uwvlA¹³´xVŠ¦j}„giAl i ? &+ˆ3&+`#&?ŠIi 1 i #-61 }¦xZ >l€i„lA™

(120) •ƒ}„gil—uŠ„x_zVŠ›˜j4j4lkŠJº fgulT™ulA¦{Š¦ty—š}¦tyx_s²x˜³.}¦gul\³´€us‡{}„tvxVs‡˜w ¤Etvlk¼ xV³~șšlk¤•t|{l\t|,}ƒE—itv{A˜wvwyƒ¶—iŠ„lJV™ x¥¤VlAŠ}„gul8¼.guxVwvlT™šlA¤•tv{kl ™šxš{€ijZlAsE}¦¥}¦tyx_s‚º”‹_{›g ™šlA¤•tv{kl¤ÅVŠ„t|˜ iwylZtvtysE}„Š¦xš™š€i{klA™¢¼.gulksŠ¦lkzVt|¶}„lkŠr³´Š›˜z_jZlAsE}¦˜Š¦lZl š—uw|˜tvsulA™3º\fgil ™šlJ„{kŠ„tv—š}„tvxVs8x˜³ÄZ™šlA¤Et|{l“¤¥˜Š¦t|˜ uwvl~tvsi{wv€i™šlJt¸}›  k (6·šty}¦; ?^ ,=1 3&9 Lw#&  ‹Vsi™\ty}¦   -9º fgul}ƒE—>lA rIy ‘ rHz.

(121)  

(122)   !"#  $. %!&'%)(*(+ , -.   /&013243#&6587*(9  ;:<3&>=*?6=>. 8. x˜³>™šlk¤•t|{l ¤ÅVŠ„t|˜ iwylJÄVŠ„l €i„€i˜wvwyƒ“tvsE}„lkz_lkŠ› x˜³i¤¥˜Š¦tvxV€i ¶tvÆklJk·¥ >x•xVwvlAVsik·¥x_ŠÄ it¸}`—i˜}¶}„lAŠ„s‡kº Ç~¦˜zVl{x_si¶}„Š›˜tvs_}› lš—uŠ¦lA¦`}¦gul³µ_{}¹}„gi˜} „xVj4l¤¥˜Š¦tvV uwvlA‹{A˜s\x_suwvƒ† >l~Š¦lA_™4xVŠ‹¼.Š¦ty}¶}„lAs‚ºMf lkgiŤ•tvxVŠ›<V™u™uŠ„lJ„‹gux¥¼ }„gul¤ÅVwy€il x˜³.

(123) ¤¥˜Š¦tvV uwyl4lA¤VxVwv¤VlJ“˜si™¢gux¥¼ty},tvj4—iV{}¦r}„gil\™šlk¤•t|{lVºT’š—‡lJ{tyÇ{kVwywvƒV·Ä}„gut|¤¥˜wv€ul4jÅƒÈ >l0 hŠ*/BsD#DF xVsiwyƒ€u—O™u¥}¦lA™Ê Eƒ }¦gul8™šŠ¦tv¤VlkŠ Gx_Š, >.l  L#0BsD#DF.€u—>™i¥}„lJ™¾ •ƒ }„gul™šlA¤Et|{l8t¸}›¶lAw¸³ GX º ju€uŠ„}„gilkŠ¦jZx_Š„l_·` ™šlA¤Et|{l¤¥VŠ„t|˜ uwvl4jŃG >l (9. #/B D#,DF ‡l8{xVs‡¶t|™šlkŠ¦lA™ VŠ¦lkz_€uw|˜Šj4lkj4xVŠ¦ƒG{klkwvw G·Äx_Št¸},jŃ LQ== ™šlA¤Et|{l_{}„tvxVs‡¼.gulks¼.Š¦t¸}„}„lkX s B D#,DF3 >l™šlk¤•t|{l{x_jZjVsi6™ Gº ± ™šlA¤Et|{.l  ~™šxš{€uj4lksE}›¥}„tvxVsd™šlJ„{kŠ„tv >lA.gux¥¼b™šlk¤•t|{l¤¥˜Š¦t|˜ uwvlA.VŠ„l{kxVsi¶}„Š¦€i{}¦lA™T³´Š„x_j Š¦lkz_tv¶}„lAŠ¦A·•}„gulAtyŠ }ƒ•—‡lJk·-€i„VzVl4{x_si}¦Š¦VtysE}›Vsi™G >lkg‡ŤEtvxVŠ›A"º Ox¥¼ lk¤_lkŠJ·‡}¦gulkŠ¦l4tv“six„ƒš}¦lkj¥}¦tv{Z˜s‡™GŠ¦tyz_xVŠ¦xV€i~¼ Ń³´x_Š —uŠ¦xVz_Š¦VjZj4lAŠ`}„xZl š—uŠ¦lA¦`}¦gutv tvsš³´xVŠ¦j¥}¦tyx_s\tysT}„gul“™šŠ¦ty¤_lkŠ {xš™šlV·šVsi™Tor‰‹Òā¹—iŠ„x¥¤•t|™šl~wvt¸}„}„wvlx_Š¹six†„€u—u—>xVŠ„} }„x8³µV{ktywvty}¦¥}¦l,}¦gut|—iŠ„xš{lJ„A;º I sš³´xVŠ¦j¥}¦tyx_sȗuŠ¦x¥¤Et|™šlJ™d •ƒÈ8™šlA¤•tv{kl†™šxš{€ijZlAsE}¦¥}¦tyx_sGt|}„g•€irx˜³»}¦lksGtvzVsixVŠ¦lA™ ˜s‡™dwyxE}Jº“Ž¹x_si¶lJˆE€ulksE}„wvƒV·>sux8¤VlkŠ¦tyÇ{k˜}„tvxVstvtvsi{wv€i™šlJ™ÈtvsGT™šlA¤•tv{kl,™šŠ¦ty¤_lkŠ~¼.gil}„gilkŠ³´xVŠr—‡x_Š¶}›k·>Š„lAzVt|}¦lkŠ› xVŠ™ulk¤•tv{kl“¤ÅVŠ„t|˜ iwylJk·šV.{kxVsšÃ‡Š„j4lA™8 •ƒ\l uVjZtvsi˜}„tvxVs

(124) x˜³"l štv¶}„tvsuz{xš™šl_º €uŠ

(125) ™šxVj˜tvs^˜s‡˜wvƒ•„t|k·.x_€š}„wvtysilA™ tvs }„gitv

(126) ¶lJ{}¦tyx_s‚·³´xVŠ¦j\}¦gulG i_¶t|³´x_Š\}¦gul¢™šlJ¶tvzVsIx˜³}„gil¢Âlk¤•tyw w|˜suz_€i˜z_lVº 5  %

(127) 79  7  . - 7% fgut|¹„lA{}„tvxVsz_ty¤_lA‹}„xV€iŠ‹x˜³3}¦gulÂlk¤•tvw‡w|˜sizV€iVzVl.tvwywv€i¶}„Š›¥}„lJ™¼.ty}„g³´Š›˜z_jZlAsE}¦<xV³‚V{}¦€i˜wO™šlA¤Et|{l™šlA¦{Š¦ty—u½ }„tvxVs‡kº`fgulr³´lA˜}„€uŠ¦lA xV³ lk¤•tyw3_™u™šŠ¦lA¦‹}¦gul{x_si{lA—š}¦ t|™šlksE}„tyÃilJ™TtvsT}¦gul™šxVjVtys

(128) ˜siVwyƒš„tvAº fgilrw|˜sizV€iVzVl t|.™šlA{kwvVŠ¦˜}„tv¤Vl“˜si™˜wvwvx¥¼ 4¶}„Š¦€i{}¦€uŠ¦lA™

(129) ™šlÃisit¸}¦tyx_s

(130) xV³Ä}¦gul{x_j4j,€usut|{k˜}„tvxVs8¼.t¸}¦g4™šlA¤•tv{klVº .  

(131)  !"$#%. fgul~}„xV—TwylA¤Vlkw‡x˜³-†Â~lA¤EtvwO¶—>lA{kt¸Ã‡{A¥}¦tyx_s\tv‹}„gil™šlJ{w|˜Š›¥}„tvxVsxV³-™šlA¤Et|{l_º"‰<g•ƒ•„t|{k˜w>V™u™uŠ„lJ„„lAA·_V i}¦Š¦_{}¦lA™ V"—>xVŠ„}¦"x_Š"Š¦VsuzVlJÄxV³‡—>xVŠ„}¦A·˜—iVŠ¦VjZlk}„lAŠ„tvÆkl¹}„gul.™šlJ{w|˜Š›¥}¦tyx_s‚º-‰"xVŠ„}¦ }¦gulks4˜wvwvx¥¼ÊŠ¦lkzVt|¶}„lkŠ›-}„x“ ‡l™ulA{w|˜Š¦lA™‚º j tys‡˜wvwyƒ_·u™šlk¤•t|{l“¤¥˜Š¦tvV uwylJ¹VŠ„l“™šlkÃisulA™T³´Š¦xVjÁŠ¦lkz_tv¶}„lAŠ¦A·V³´x_Š„j4tvsuz†}„gulr³´€usi{}„tvxVsiVw3tysE}¦lkŠ„³µV{l}„xZ}¦gul™šlk¤•t|{lVº fgulJ¶l}¦guŠ¦lklwvlk¤_lkw|x˜³<V i}¦Š¦_{}¦tyx_sVŠ„ltvwvwy€i¶}„Š›¥}¦lA™ •ƒ\¶tvj4—uwvt¸ÃilJ™³´Š›˜zVj4lAs_}xV³"}„gulZÂ~lA¤Etvw"™šlA¦{Š¦ty—u}„tvxVs x˜³`Zj4xV€i„l{xVsE}¦Š„x_wywvlkŠJ·E™utv„—uw|ŃVlA™8 >lkwvx¥¼º &  &/ & K  M  /.8" NL +. -.    M   &/ "    :  : N 0&/: ML . . K*L  O N :#" N  M  5 !) K'&M ++ .-T. W N :

(132)   U ZW &"   ".  MO 5TVU. f gul}¦xV—š½¿wvlk¤VlAwęšlJ{w|˜Š›¥}¦tyx_s

(133) tvsE}„Š¦xš™š€i{lJ.}¦gul'&)(+*-,/.021436587:9-;=<-(>9-;0™ulA¦{Š¦ty—š}¦tyx_s‚ºfgut|™ulA¦{Š¦ty—š}¦tyx_sdtv —iVŠ¦VjZlk}„lAŠ„tvÆklJ™¼.t¸}¦gŠ„lJ¶—>lA{}¹}¦x4ZŠ›˜suz_l~xV³Ä—>xVŠ„}¦—uŠ¦x¥¤•tv™šlJ™T_‹}¦gul“j˜tvs

(134) _™u™šŠ¦lA¦ 72?2;0Z˜si™

(135) ZŠ¦VsuzVlx˜³ x 3„l}¦"B»³´Š¦xVj  Z}¦x\žGº ± sdlAtyz_g_}„½C it¸}.Š¦lkzVt|¶}„lkŠ@;,4*25A0+*4t|™šlA{kwvVŠ„lJ™8˜}—‡x_Š¶}B72?2;0‡·šx 3¶lk} EƒDC_ºj tysiVwywvƒV· }„gil\™šlk¤•t|{l¤¥˜Š¦tvV uwvEl ;,4*)F2?.)9A0\t|“}¦gultysE}¦lkŠ¦—uŠ„lk}¦˜}„tvxVs x˜³ }„gut|Š¦lkzVt|¶}„lkŠ_˜slktvzVgE}¶½¿ uty}€usi„tyz_sulA™ B´ •ƒ ™šlk³µ˜€uwy} G~tysE}¦lkzVlAŠAºfgul†Š„lJ¶€iw¸}¦tysuz

Références

Documents relatifs

The first language is an extended version of the Interpreted Sequential Machine denoted (eISM). eISM is a behavioral language based on discrete-events hypotheses. In

James and Roggenbach [15] have demonstrated an approach where formal DSLs within the rail- way domain aid verification in the context of algebraic specification using C ASL [23]..

The key contributions are: separated specification of relations for semantics preservation, lo- cality and parallelism; schedule search space supporting arbitrarily large positive

However, it was shown that non-leaky solutions can exist on the longitudinal leaky SAW branch when sapphire substrate is combined with ZnO film [9].. In this

Cependant, les métaux lourds essentiels peuvent être toxiques pour les êtres vivants lorsque la concentration dépasse la limite tolérable pour les organismes dont le Mn, Fe, Cu et

It is known that in the special case of the conformal wave equation, one can study the wave front set of the two-point functions quite directly in the geometrical setup of

Because of the abstract syntax of the language is the base of the specification –i.e., there can not be definitions neither in the concrete syntax nor the semantics for concepts that

The first alternative is based on the construction of a mapping between MAS model entities and the generated code while the second one considers the metamodel-based description of