Static Analysis of Java for Distributed and Parallel Programming
37
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Static Analysis of Java for distributed and parallel programming Isabelle Attali — Denis Caromel — Romain Guider. N° 3634 Mars 1999 THÈME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5) "!#$ %&#'()!*
(6) !,+- .( +/ 0 1213
(7) -0 46587:9<;>=?=@;BADCEC 7:=?FHGJI/;>K%F@5#LD7NM.OQPR;S=HGUTVOQPW7NF@KYX[Z%F@\%;SM ]_^a`.bc degf h.iajkcHlnmpo>jnq jkc.l c rsq tulvqwxl$y{z|b}Nmplnjv~>wxc Umucr t>y{jvy tuaNmprcHc.q^ac.q^aciQpppDe[tpy Epp epxtpopcEy. -. app cVjki|>c.y{rjno>t rcr^acVw:y{cmp )y{rturjvqtuixtplkzyjny ¡m> }awajnlvjkixoBjny{rjn}awrcE¢tuix£xtptplklnc l xm>optuby¤jniB¥pt8 tx¦ c)§xyrJ~Swajvq¨|lkz c ©alntpjkitajnixqjnalncªmp Qyc.tpbDlkcEyyUyc.~Swac.i>rjntpl?« b¬walkrjkr^ac.t>c.Dtui:ajny{rjk}xwrcE xm>optubDbDjkiao[w:y{jniao¥>t8 ta«®jniRm>c. rm¯c ix^xtuixq cqmc-c.wxyctuixWqmcc.pm>lkwrjkm>i$¦ c/c©^ajn}aj°r q mpixaj°rjkm>ixyHmpi±r^acVo>tpa^±mu )mp}cEq6ryrm¯acrcEq6rDtpq6rjk tp}alkcm>}c.qry¬tuixrtui:y ¡m>b²tBy{cE~Swac iSrjvtul xm>optubjkiSrmVtajny{rjk}xwrcE-m>_xtutulnlkc.l³ampoptubwxyjniaotpq6rjk>cmp}cEq6ry.¦ cr^ac iac.yc iSr´ty{rturjvqtpixtulnzy{jvy}xt>y{cE#mpi¯tpi¯tu}:yrt>q6rsjniSrc acrt rjnmpi[mp ¤t-¥>t8 tVy{wx}xy{c r.« µ ^xjnq^/am SjvcEyªtpaam8©jkbt rc ycry_mu Utpqrjn8tp}alnc m>}c.qry.¦ ¶jnixtulnlkz>« µ c jnlnlkwxy{rt rcmpwatplko>mpj°r^ab·tuix/c.ywalkry µ jkr^#mpiacc ©tpbDalkc>¦ ¸[¹SºQ»¼½ ¾pÀ¿ rt rjnq_Ásixtulnzy{jvy « Ás}xyrt>q6r%ÂÃiSrc acrt rjnmpi®«u´Nc t rjkm>ixtul ¿ c.bDtpiSrjvq y.«utptplklnc l|tui: ajny{rjk}xwrcE[´}ac.q6rÄ´jnc iSrcEUmpo>tpbbDjniaox«a¥>t8 ta¦. 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.
(8)
(9) -6( $ '-( !-(²+/ 0 121 () +¯'- " +/ 0 121
(10) 2+/ ( (ª" )+/ ®( mpw:y$hrwxjnmpixy$l wrjnlnjnyt rjkm>iacJl tui:tulnz|ycUyrt rjn~SwacUNmpwa®lnt)q mpixy{rwxq6rjkm>i tpaalnjnq.t rjnmpi:y >¥ t8 t:tutulnlk`.lkcEy<c rh.xturjnc.y.¦ mpwxyc©alnjv~>wxmpixyrm>wr tu}Nmp¢lnc-xjnixqjnNc-c rlncbDm` lnc/:m>wa¬wxiac-xm>optubDbt rjnmpiR¥>t8 t :tutulnlk`.lkcm>w¢h.xturjncp«®acbtuiajn` c# @t8>mpjnyc Hlvt[h wrjklnjvyturjnmpiRcq mcyh.~Swac iSrjkc.l<c r @tpq jklnj°rc lvt±btujniSrc i:tuixq c/c rVl h >mplnwrjnmpi®¦ m>wxyc©^ajn}NmpixycEyVqm>ixjkrjnmpixyy{walncBo>tpa^ac# m>}cryNmpwa ahrcEq6rc Dc.y¬mp}c rytpqrjn8tp}alnc.y¬crrtuixy{ ¡mpbDc wai ampoptubDbDcyh.~Swac.i>rjkc.l<c.iRwai am>optubDbDc :tutulnlk`.lkc mpw/h.xturj³warjnlkjvytpiSr)ac.y)m>}cry)tpq6rj° @y.¦ mpwxyahEy{c.iSrmpi:yDc ixywajkrcBwaixc¯tuixtplkzyc[yrt rjv~Swac[ ¡m>ixh cBywa-waiac[jni>rc ahrturjnmpi tu}:yrtpj°rc wai¢ympwxy{Ä c ixyc b¬}alkcw±lvtuiaoStuo>cD¥>t8 t/~Swaj¤:c.bDcracVh§xixjkac.y ympwxy{Ä c ixyc b¬}alkcEytuaam8©jkbDhEy m>}cry)tpq6rjk tp}alkcEy ¦ Uia§xi$«xixmpwxy_jnlklnwxy{rmpixy_ixmurcHtulnopm>jkr^abDc criamSy_hEy{wxl°rt ry_:tu_wai#c©c bDalncp¦ [ Ásixtulnzy{cy{rturjv~Swacp«NÂÃiSrc ahrt rjnmpi[Ás}xyrtpj°rcp« ¿ h btpi>rjn~SwacmpNh t rjnmpixiac lnlkc>«:UmuÄ À½ E » o>tpbDbDturjnmp i ¬m>}cry_xtutulnln` lnc´c rh.xturjnc
(11) .
(12) .
(13) . ÂÃi/r^ajnysturjvqlncp« µ cjki|pcEyrjkoSt rc´r^acHwxycHmu Uyrt rjnqHtpixtulnzy{jvy< ¡mp}awxjklvjniaoVjvyrjn}awrc.#tuix/xtptplklnc l xm>optuby¤jniB¥pt8 tx¦ ´iac_bt m>%jnyy{wxcªmp :m>}c.qr{Ä mpjkc.i>rc.am>optubDbDjkixosjvy%c.wxytp}ajnlkjkrzr^ampwxop^jkia^xc j°rtuixq cp«8:m>lkzSÄ bDm>a^xjnyb#«$tuix±z|ixtpbjvqD}ajnixjniaox¦]_^ajnyH ¡c.t rwac^:tpyH}Nc c.i±tplnym[yrwxjnc.±tui:c.ia^xtpixqcE¯jni±r^ac q mpiSrc ©|r<mu xtutulnlkc.lkj .turjnmpitui:jvyrjn}awrjkm>i$¦ ¿ c >c tulNqmpi:qwac.iSr¤mp}cEq6rÄ m>jnc iSrcEDampoptubDbDjniao lvtuixopwxtpopc.y%^:t8pc_}:c.c iac.yjko>iac.³«>y{c.c_ ¡mp¤jnixy{rtpixqc szS}xjv S d «>m|mp l «>Á
(14) "!# S %« $´ & !' S d « tpixHbDmpc¤c.q c iSrlnz ¥pt8 (t du) ¦ Álvymx«8btui|zmp}cEq6r{Ä mpjnc iSrcElntpiaopwxtpopcEy$^xt8>cJ}:c.c i¬c©|rc.ixc. rmtp|Ä acEyyJq mpixq wac.ixqz>«uxtutulnlnc lnjnyb#«ptuixajny{rjk}xwrjnmpijvyywacEy «pyc c ¡mp¤jnixy{rtpixq&c <m>ixqwxc iSr ¿ bDtplklkrtplk¨ p* + « $´jvyrjn}awrc. ¿ btulnl°rtuln, ¨ -) « U/j .Qc 1l 0203n5 4) «:¥>t8 %t 006n. ¦ #mSyr%mu xr^acEy{c µ mp¨|y®*m .Qc Ut y{c r{rjniao´ ¡mp%c.t>y{zxtptplklnc l «8jny{rjn}awrcE³«utui:qm>ixqwxc iSr®ampo>tpbÄ bDjniaox«ay{rtp{rjkixo ¡mpb"tyc.~Swac iSrjntpl$tuaalnjvq t rjkm>i$«tuix-btu¨|jniaoDj°r)wai-m>i/txtptplklnc lNmpajny{rjk}xwrcE tpq^xj°rc.q6rwacp¦ ¿ mpbDcHlvtuiao>wxtuo>c.yªam |jncHtwaiajk§xcE[y{z|iSrtu8 © 7¡iamVyz|iSrtpqrjvq c©|rc.ixy{jnmpi 9< ¡mp)}Nmur^BycÄ ~Swac.iSrjvtul$tui:-:tutulnlkc.l³pc yjkm>ixy ¦]_^ajvy_ ¡cEt rwxcjvyqj°rjnq.tulQ ¡m>c.wxyctpix/jny)tplnymD}:c.iac§Nqjvtul³ ¡m>)r^ac xm|mu Uyjkixq cr^ac¬tpq6rjkm>ixy_bDmc lnjkixor^acHxm>optub"tpcjvc iSrjvq tpl$jni[}:mpr^Bq t>y{cEy ¦aÁsiamur^ac ´amp}alnc b jnixc.c.jvy¤rm }Nc´tp}alkcsrm¬opwxtptpi>rc cªr^:t r¤r^acy{c.bDtpiSrjvq yJmp Qr^ac mpjko>jki:tulxyc.~Swac.i>rjntplx>c y{jnmpiDjvy¤acÄ yc pcEjkiVtH:tutulnlkc.l:tui:jny{rjn}awrcEy{c r{rjkiao:¦S]_^xjny¤am>}alnc b ^xtpy¤}:c.c iDrt>q¨|lkcEDjkiV tpjnmpwxy µ m>¨y.« w:y{jniaoB:j .Nc.c.iSr¬bDmc ln:j Et rjkm>ix; y 71<QÄÃq tplnq walnwxy «mpNc t rjkm>ixtulJyc btuiSrjnq.y «®
(15) ] != Á 7?]®c.bNmptul !$mpo>jnqDmp Á)qrjnmpix>y 9?9 ¡mpjnixy{rtui:qcjk@ i 4« 2d -B« A« ) «:r^ac.yc µ m>¨[tuc rm#}:copc.iac tuln:j .c.BtpixBc ©|rc i:c.Brm/r^ac acrcEq6rjkm>i-mp ^am µ rmDxtptplklnc ln:j .cp¦ c¬xm>:mSy{cHrm/tpixtulnzy{c¬tyc.~Swac iSrjntpl®ampo>tpb/«Ntuix[rmc ©alkm>j°r r^xcc.ywal°rysmp Jr^xjny tuixtplkzyjny jµ kr^±r^acVjniSrc pc.iSrjnmpi±mu _r^xC c 7¡c.ix|Ä 9Ãwxyc E«®jni¢mpc rm[am |jncVtBxtutulnlkc.lUpc.yjkm>imp _r^ac-mpjkopÄ jnixtplUam>optub µ ^ajvq^£^xtpy r µ m#am>:c.{rjkcEEy DF7{ 9srtp¨pctpa8tpiSrtuo>c¬mp ªc w:y{cDjnim>c.rm#jnbNm>ycVtpy ¡c µ bDmjk§:q turjnmpixyHt>yHNm>yy{jn}alncpF« 7?d 9 opwxtptpiSrc c¬r^xcacEy{c. turjnmpi£mu )y{cE~>wxc iSrjvtulJyc btuiSrjnq.y ¦$]_^ac ajny{rjk}xwrcEBampo>tpbDystuc wxyjkiao-ajkbDjkrjnpc.y´mu _¥pt8 %t 00G7?¥>t8 t%tutulnlkc.l n. 196«³t/¥pt8 tlnjk}xtpz- ¡mp ajny{rjk}xwrcE³«xqm>ixqwxc iSr.«tpix:tutulnlkc.l$qmpbDawarjniaox¦ ¿ rt rjnq¬tuixtplkzyjny)^:tpy)}Nc c.i µ jnac lnz-wxyc.#jni¯q mpbDajnlkc Ä?rjkbDc m>rjnbD:j Et rjnmpi:y)mu U tujkm>wxy)ampo>tpbÄ bDjniao lntpiaopwxtpopcEy p« dua« - « 7?yrt rjn q 9ac }awao>opjniaorm|mplvy dH «utpix bDmpcªcEqc iSrlkzH^xt8>c¤}Nc c.itpaalnjkcE rmmparjnbj .turjnmpiHmp amp}cEq6r{Ä mpjnc iSrcE´lvtuixopwxtpopc.Fy % A|« 2d 4 ¦EÁslnymc lvt rcE rmm>}c.qr{Ä mpjkc.iSrc. ampo>tpbÄ bDjniaox«|y{rt rjnq´tuixtplkzyjny¤^xtpy¤}:c.c i-wxy{cEVtpyªt q^acEq¨|jkiaobcEq^xtuixjnyb ¡mp_trz|:c Ä yzyrc I b )d Njnixq lkwxajkiao q mpixy{rtujniSrªm>i/y^xtpjniaox¦ c)ampNm>yc_tpitpixtulnzy{jvy%jni¬r^ac_ @tubDjnlkz¬mu Qyrt rjvq)tui:tulnz|yjvymp QazSi:tubDjn(q 7?wajkixo waiÄ rjnbD c 9amuÄ o>tpbampNc rjnc.y.¦p#mpc<xcEqjvy{c.lkz>« mpwaJtpixtulnzy{jvy «8}xt>y{cEm>iÁs}xy{rtpq6rUÂÃiSrc.xc rt rjkm>3 i n J aam |jvc.y xm>optub rtuixy{ ¡mpbt rjkm>iV ¡mp):tutulnlkc.lNm>jvyrjn}awrjkiaoxm>optubDbDjkiao:¦ ¶xmpbDtplklnzp«<tu}xy{rtpqrDjniSrc.acrt rjkm>i c lnjkcEympir^ac[iamurjkm>i mu jvyq c rc[tuaxm8©jnbDturjnmpi$«%r^xt r jvy.«xc alvtpq jkiaoVr^ac¬cEtpympiajniaompiBtqmpi:qcrcc©atpqr´y{c.btuiSrjvq ys}Sz[tVq mpbDawrt rjkm>i[mpi¯tpiBtu}xy{rtpqr tpaam8©jkbt rc<yc btuiSrjnq.y ¦ ÂÃir^xjny%xtp:c..« µ c)c§:iactuimpNc t rjkm>ixtulyc btuiSrjvq ymp Qt lvtuopc_y{wa}:y{c r%mp ¥>t8 6 t 7¡c©aq lkwxajkiaor^ac.tpxy «uq lnt>yyU tpjvtu}alnc.yUtpixbDcr^xm|xy «ptpixDz|ixtubDjvq)qlvtpyy%lkmStpjniaKo 96¦p¶xm>b r^xjny 7?qm>ixqcr c 9_yc btuiSrjvq y.« µ c c§xixctui[tu}:yrt>q6rtuaxm8©jnbDturcHyc btuiSrjvq y.«btpcwa µ j°r^Btu}xy{rtpqr jni ¡c.c.ixqcwalnc.y<tuixtp}xyrt>q6rjkm>ixyUmu Qr^ac´yc btuiSrjnqy{rwxqrwac.y.¦ c ¡m>btulnlnz¬c §xiacr^acsixmurjnmpimp LM>MONHP>PRQTSRQVUWQVXZY mp mp}cEq6ryjniHrc.by$mp r^ac<mp}cEq6roptua^ rm>:m>lkm>opz>¦.¶ampb r^xjnyiamurjkm>i$« µ cJc ©acEyy$r^ac xm>:c.{rzVmp L2MEXTQV[)LSHQVUWQVXZY mu Ump}ac.q6ry «:t8pmpjvjniaoDjkiSrc ¡c c ixq c.y_}Ncr µ c c iBq mpbDawrt rjkm>ixy ¦Q´wasy{rt rjnq.
(16) tpixtulnzy{jvy btu¨pcEy j°r Nm>yy{jn}alncrm[yrt rjnq.tulnlkz¯acrc.bDjniacVqlvtpyyc.y mu ªmp}cEq6ry µ ^xc c¬r^ajvyHampNc rz[jny >c j°§:c./tuix/tpy)tDqm>ixyc.~Swac i:qcp« µ ^:t r)mp}cEq6ry)q tui/}Ncrtuixy{ ¡mpbDc.-jkiSrmt>q6rjnpcm>}c.qry.¦ ]_^xc<iac ©|rUyc.qrjnmpi¬mu ar^ajny%:tuNc %ac.yc iSry®r^ac_wai:c lkz|jniao bmc.l|mu Najny{rjk}xwrjnmpi$« cEyq jn}Nc.y%t´q mpiÄ q c rcDz|ixtubDjvq¬yc btpi>rjnq.ysmp ªt/y{wx}xy{c r mp ª¥>t88tx«NtpixBo>jk>c.yyw Vqjnc iSrq mpixaj°rjkm>ixy «Q}xt>y{cEBm>iBr^xjny yc btpi>rjnq.yH ¡m>¬tpqrjn tu}alncm>}c.qry.¦ ¿ cEq6rjnmpi # ¡mqwxyc.y¬mpi¢r^ac-y{rturjvqtpixtulnzy{jvy µ jkr^Rr^ac-ac.yqjkÄ rjkm>i¯mp ¤tu}xy{rtpqrjnmpixy ¡mp´r µ m/qmpbDNmpiac.iSry wxyc.[jniBr^ac¬m>:c.turjnmpixtplyc btpi>rjnq.Ey DNq tplklkÄ y{rt>q¨ystui: m>}c.qr{Ä optua^:y ¦ cc.tpl:}Nmur^ µ j°r^jniSrt Ä amq c.watul:tuixjniSrc.{Ä am|q c.wxtplrtuixyjkrjnmpixy.¦ ¿ cEq6rjkm>i acEy{c.iSryJympbDcsq.tpycsyrwxjnc.y¤jklnlkw:yrturjniaoHr^xcsNm µ c.Jmu ³r^ac´tpixtulnzy{jvyUjniDr^acsrtuixy{ ¡mpbt rjnmpiDmp ³t yc.~Swac.iSrjvtul³ampo>tpb·jkiSrmVtDxtutulnlkc.l³mpsajny{rjk}xwac.#ampo>tpb#¦ c jnlklnwxy{rt rc tpy)mp rc iBt>y_:mSyyjn}alkc r^acqmpi:qc aryªtuixDrc.q^aixjn~SwacEy<w:y{cEDr^ajvy_turjvqlnc µ jkr^ µ c.lklkÄ ¨|iam µ ic©atubDalnc.&y 7¡}ajnixtpzrc c>«>lnjnia¨pcE lnjvyry «yjkc.p c 9¦ ¿ c.qrjnmpG i Ajvy)t¬jvyqwxyy{jnmpimu c lvt rc. µ mp¨Q¦¶jnixtplklnzp« ¿ cEq6rjnmpi/3 7 <mpixq lkw:y{jnmpi 9¤}ajkc xz ajnyqwxyyc.yªmpwaq mpiSrjn}awrjnmpi#tui:-m>wrlnjniac.yª ¡wrwac µ m>¨Q¦ . 2+ ? .
(17) #+ C
(18) . ´wx)opm>tplQjki/r^xjnyyc.qrjnmpi/jnyªr µ mu ¡m>ln D }ajn c :z/jniSrmwxqctuixBc©alvtujni[r^actpqrjnpcm>}c.qr´bDmc l µ cjni>rc ixBrm-wxy{c ¡mpjvyrjn}awrjkm>i tuix-xtutulnlnc lnjny= b 7 r^ac¥>t88Kt 020Hbmc.l®tui:lnjk}xtp z 96« ¡ p m D b p t k l n l z . c x § a i cHtyw Vqjnc iSrqmpi:j°rjkm>i#mpi#tui/mp}cEq6r)r^:t ropw:tutuiSrc.c.y<j°rsq.tui/}:c yt ¡c.lkzt>q6rj°Ä 8turcE³¦ ¶jny{r.« µ c´opjnpcstpiVm pc.|jnc µ mu ³r^ac ¥>t8 %t 020´bDmc.lNtpixlnjk}atuzp«StuixVc©alvtujni^am µ mpiac´q tuiwxy{c jkrstpy_t¬rtpo>cr)y{zy{rc.b· ¡mp)jvy{rjk}awarjniaoVtuaxlkjvq turjnmpixy.¦ cHajniaNmpjniSr)ympbDcmu r^ac q w:qjvtulQ ¡c.turwac.y r^xt r btu¨pcHjkr´Nm>yyjk}alncp« µ j°r^Bpc.z/lnjkbDjkrc.¯q^xtuiao>c.y.«rmVrwai¯y{rtui:atu#mp}cEq6ryjni>rmtpqrjnpc m>iac.y rmD}:c jvy{rjk}awarc.$¦xÁy{btplkl³c ©tpbDalkcjnlklnwxy{rt rc.yªr^:t r)rcEq^aiajv~Swa; c 7@t}ajnixtuzyc.tpq^rc c 9¦ ]_^ac.i$« µ cHopjnpc tyjnop^Srst rstpi/m>:c.turjnmpixtpl$y{c.btuiSrjvq y_r^xt r c.yqjk}Nc.y_c ©c.qwarjnmpi#mu ¤¥>t88tamuÄ o>tpby ¦%]_^ac/iac©|rVy{wx}xy{cEq6rjkm>i c §xiac.y.«%}xtpyc.WmpiWr^xturyc btpi>rjnq.y «r^ac[y{c rmp ´mp}ac.q6ryNm>yyjk}alnz *t .NcEq6rc., 7¡r^ac L2M>M>NRP>PRQTSHQVUWQVXTY mu ®tpiVmp}cEq6Rr 9U}|zDbc r^amjni|pmq turjnmpixy¤mpiVtopjnpc im>}c.qr.¦ c c lnz¬m>i r^ac µ jnc.lkz-tpq q c rc.Vq mpixaj°rjkm>ixy< ¡mp_xtutulnlnc ln:j Et rjnmp i Dur µ m¬m>:c.turjnmpixyªq tpiV}:cHq mpixw:q6rcEq mpixq wa{Ä c iSrlkzj° ³r^ac zt>q qcEyy 7¡c.tpDm> µ j°r c 9Uajny{rjnixq6r_y{c ry<mu ³mp}ac.q6ry ¦ c´c©^ajn}ajkrªtyw Vqjnc iSr<q mpixaj°rjkm>i m>iBtpq.qc.yyjk}ajnlnj°rjkcEy 7¡cE~>wxjk tulnc iSrlkz/mpi[m>}c.qr>y 9ªr^xtursc i:y{wac.y.«a ¡m>sto>jk>c i[mp}ac.q6!r |«ar^:t r´bDc r^amay jni|pm>¨pc.-mp i DmiamurjniSrc ¡c c µ jkr^[bDcr^am#jki|>m|q.t rjkm>i/m>i[mp}cEq6ry_r^xtur´tucHiamprsjki#r^act>q qcEyÄ yjn}ajklnjkrzmp" |¦¶jkixtplklnzp« µ c-y{^am µ r^:t rjk y{wxq^¢m>}c.qry tpcVt>q6rjk t rc.³«®r^ac.i¢r^xcVoptua^±mp )t>q6rjk>c m>}c.qryjvyHt-rc cp¦]_^acqmpi:y{cE~>wxc ixq c}Nc jniao/r^:t r mpNc t rjkm>ixy mpi±t#opjnpc.i¯mp}ac.q6rHjni£r^acxtptplklnc l xm>optub tucrjnopo>c c.¢jniWr^ac[ytpbDc/m>ac Dtpy¬r^ac.zWtuc/mpiRr^ac[qm>c.y:m>ixjniao¯m>}c.qrjki r^ac yc.~Swac.iSrjvtul³ampo>tpb/¦ ½ ¾ ¹ ½)(+*-, . ,
(19) ® ,¡½/. ]_^xcHrtpo>crsbDmc lmu Jjvy{rjk}awarjnmpi[r^xt r µ c w:y{c ^:tpy}Nc c.i¯y{rwxjnc.¯tuix#jnbDam >c.#tulnmpixoy{c.pc.tpl c ©:c.jnbDc iSry.«:}Nmur^¯atpqrjvq tpltui:[bDmpc ¡mp btul"k>u«nEd|«BA|« * ¦N]_^acDqwxc iSrsc ©|Nc jnbc.iSrt rjkm>i¯tui: #%$'&. .
(20) jnbDalnc bDc iSrturjnmpi[tuc m>iac µ jkr^ajni¯¥pt8 t µ jkr^¯tDlnjk}xtpzVi:tubDc.B¥>t8 t%020;n.) ¦x ry)btujni[opmStul³jvy)rm jnbDam pcy{jnbDalkjvqjkrztpix/c.wxy{cjnir^acHampo>tpbbDjniaomu ajny{rjk}xwrcE-m>}c.qrsy{zy{rc.bDy.¦ ]_^xcH¥>t8 %t 00HbDmc l³w:y{cEy_}Sz/c @tpwalkr)r^ac ¡m>lklnm µ jkixo¬ajnixqjnalnc.y)tui: ¡cEt rwacEyED y 7¡amqc.yyc.y.«|t>q6rmpOy 9 ^acrc mpopc.iac m>wxyªbDm|ac l µ jkr^#}:mpr^#xt>yyjk>c tpix#tpqrjnpcmp}cEq6r( { y E c > ~ x w. c S i r v j u t ³ l a m q E c y y . c y i waiajk§xc.#yzSiSrt ©}Ncr µ c c.i-bDc.yytuopc xt>yyjkixoDtpix-jkiSrc.{Ä amqc.yy_qm>bb¬waiajvq turjnmp { y z { y r. c b u t r v j q > t { y | z x i q x ^ > m a i p m x w ª y q > m D b b a w a i v j. q u t r n j p m x i < y r m p t a _ y > t 6 q r n j p c > m } . c q r y µ z 7?tuwrmpbt rjnqtpix-rtuixyxtuc iSrª ¡wrwxcEOy 9 µ tpj°rÄ }|zSÄ ixc.qcEyyjkr y 7?trtuixyxtpc.i>r)c.lkc.o>t rjkm>ibDc.q^:tuiajvy{; b 9 tuwrmpbt rjnqqm>iSrjniSw:t rjnmpi:& a i m { y x ^ p t E c : p t y { y n j p c p m } E c 6 q r y ( @ 7. q p t k l k l Ä S } S z Ä u t n l a w ´ c N } c r. c . c # i a m. q . c y { y E c y O 9 µ qc iSrtplkj cEtui:-c ©alkjvqjkrsqm>iSrmplQ}|zc @tpwalkr y 7 r^acEtpa>y 9ªtuix/c bDmurc´m>}c.qry.¦ :m>lkz|bDmpa^ajvy{b"}:c r µ c.c i#yrtuixatp-mp}ac.q6r( _t>y{cEmpitpiV^ac rc mpo>c iac.mpwxy¤bDm|ac l «|tpixr^xtuix¨|y¤rm¬r^xc tp}xy{c.ixqc´mu ®y^xtujniaox«|tyzyrc bjny_tpl µ t8zy y{rwxqrwac.Bt>y´yc >c tul P S PRY P>X N P ¦ Jtpq^£y{wa}:y{zy{rc b jvy´ac§xiacE¯t>y´tpi¯tpqrjnpcm|mur mp}cEq6r.«Qtui: tplklQr^ac y{rtui:atum>}c.qr(y 7@iamurtpqrjnp c 9Jr^xt rjkrsq tpi-c.t>q^$¦ f jnpc.it y{cE~Swac iSrjvtula¥>t8 tampo>tpb/«Ejkrrtu¨>c.ympialnzHbDjkixmp%bDm|aj°§:q.t rjkm>ixy ¡m>bYr^ac_ampo>tpbbDc. jni£mpc rm/rwai£jkrjniSrm[t-bwalkrjkr^ac.t>c.$«³xtutulnlkc.l?«Qm>ajny{rjk}xwrcEm>iacp¦$¥>t8 %t 020Vtpqrwxtplklnz[mpialnz c.~Swajnc.yjnixy{rtpi>rjnturjnmpi¯q mcrm}Nc¬bDmjk§xc.¯jkimpc srm-rtuixy{ ¡mpb t-y{rtpixatu#mp}ac.q6rjni>rm-tpi t>q6rjk>c mpiac>¦ sc c¬jvy tytubDalncmu ¤q mc µ jkr^£y{c.pc tul®rcEq^aiajv~>wxc.ys ¡mp´rwaiajniao-txtpyy{jnpcjkixy{rtpixqc mp ªq lnt>yyÁ jkiSrm#tpi£t>q6rjk>cp«Q:mSyyjn}alkz[c bDmprcp«³m>iacp¦³Áy{rtpixatuBm>}c.qrq cEt rc.¯r^ampwao>^ywxq^t y{rturc.bc.iS5r D.
(21)
(22) ! "$#. q.tui/}:cEqm>bcc.j°r^ac D jkixy{rtpiSrjvt rjnmpiaÄ }xt>y{cE. D. % & '() *+-,/. (01 243 1567 6 819:#. /
(23) ;< ">= (?1 @ @;AB 1 ) *C?1D 4 -. (01 243E GFH1 "4#. qlvtpyyÄ }xtpyc.. . D. . ) @( 3 3.1 (I *1H3> JC72. @(2 *3> )*C ?1J5 9 %& '() *+-,/. (01 243 1567 6 819:#. /
(24) ;< ">= (?1 @ @;AB 1 ) *C?1DK. 4 L. (01 2 3: GFH1"M#. mp}cEq6r{Ä }xt>y{cE. D. /
(25) N O7 6 G "$#QP(PRF)S T1 > U< 6"R= (?1 1@(@;AV*W0 ) *C?1D< ; XF H1 "M#. Áslkl|r^ac.ycªrcEq^aiajv~>wxc.y%qc.turc_tui¬t>q6rjk>c<m>}c.qr.«utui¬jki:yrtuixq cªmp :qlvtpyyZY mp\[4YHmpiDtso>jk>c i¬iamcp¦u]_^ac t>q6rjk>c´m>}c.qrw:yrsq cEt rcEjkry_m µ i-r^xcEtpr^xtur_c ©c.qwarc.y_bDc r^amay_jni|pmp¨>c.mpi-r^ajvy)mp}ac.q6r)jni/t ac @tuwxl°rU¶Â¶m>c..¦8]_^ac)yc btuiSrjvq ymu Nq tulnlvy®rm ywxq^tuim>}c.qr%tpc¤rtuixyxtpc.i>rlkztpyz|ixq^ampiam>wxy.« µ jkr^#iamq m|ac bDmjk§:q turjnmpi#}Nc jniaoDcE~>wxjkc.-mpi-r^ac q.tulnlkc. y)yjnc>¦ ÂÃixy{rtpiSrjvt rjnmpiaÄ }xt>y{cE-q cEt rjkm>i-jvy)bw:q^/mp %tq mpi|pc.iajnc ixq c´rc.q^aixjn~Swac>¦a r´tulnlnm µ yªr^acHampo>tpbÄ bDc.<rmqc.t rc´tpi/t>q6rjnpc jnixyrtuixq c´mp] Y µ jkr^#t¬¶Â¶% }:c.^xt8|jkm> µ j°r^ampwrc §xiajniaoDtui|ziac µ qlvtpyy ¦ ÂÃi£r^acVqlvtpyyÄ }xt>y{cEBqc.turjnmpi$«³o>jk>c i±t/q lnt>y^y YQ«Qr^acampoptubDbDc µ j°rc.yHt#ywa}Nq lnt>y_y [4Y[r^xt r jniÄ ^xc j°ryjncEq6rlnz- ¡m>` b Y#tuix/jnbxlkc.bc.iSry)r^ac¬yNc.qjk§:qHbtp¨>c )jni>rc @tpq ac Y:b1c;d eMfx¦ sc mpsy^ac bt8z.
(26)
(27) !#" $&%' ( ) $* +% , .- ( / , !) #0,1#% ) 2 #) #) 03 )4 ($* 5576 (7
(28) 3 )8 7#+ 4#) 034)8' .'0 #) #) 041% #)4#+ $*955,:#) +7#+ ; ) 03 4) 8' 0 #) #) 07-' (/ ,
(29) )/ <*=55,/ 8 )>4 +%) #) #) 07-' (/ 7# 8)/ <* +% - ( / @?BA 2 )8' $&#+ C,+<* 55,1#D ) EF) 8 .0 40 .#)3#)G7+ )8' $
(30) )/ C7+<*H55 I;0 4#),8 ,#(G 8' 0 )8' $J# 8)/ C7+<* K 55 L. )7M? ($E=#+ AN#3 ;) 8 ; +%) ) 8 )787) 8' N'0 44 ),#) +% 0 +)O?)4 ($E91#% #),#+ A 2 557/ 8'N0 3 , #")($E9 )PQN+' 3 ) #
(31) R?? )8' $
(32) )/ CC+ATSSO?) 8' $ # 8)/ CC+AAAN55;L 4
(33) 2 ) 8'$& (4C, (*F) 8' &#+ 7C,#+ <* ) 8'$ ) U8V 0 O?BAV* )+* K 557W # N)8 ; + #)4#+ 7> ) 837 >3# ;
(34) X? (CC ) 8'$& (A 2 ) 8'$&+ 7C,#+ <* K 55; " (, 4 ;)8 ,
(35) )E ;
(36) X? (Y) 8' & (A 2 ) 8'$
(37) )/ Z+)[? ($EF#+ AV* K 55, ) (4 ;) 8 ,# 8)E . 2 ) 8'$J# 8)/ Z+)[? ($EF#+ A\* K ) +]* K. K. 55^W ) , #+ 7
(38) "3, (33) 8 4#+%) ) 8)48.)8' N 0 4; )7#) +%,1#% #)4 )O?B)4 (A 2 557_ .8 7 8 0;4
(39) 3#
(40) 4)8 7) ,#07 ( ")#8' 7)8 #" ) MP (P 55 8.% #4
(41) +0`/ 8' 3 7 "V $ #
(42) R?? )8' $
(43) )/ CC+ATSSO?) 8' $ # 8)/ CC+AAAN55;L 4
(44) 2 )+,+<* K 557_ .8
(45) #+0,)8 .0 ) 8)D ).)8 + > <P , 7
(46) ;#
(47) R? (CC ) 8V $& (A 2 )+4) 8V $&#+ <* K 557/ 8 ; + ), (G 7 ) ,) 8#4)8 ; 84 ($E9 )PQ,#)+ 4 ;)8 ,
(48) ) ;
(49) X? (Y) 8' & (A 2 )+4) 8V $
(50) )/ J )[? (AV* K 557/ 8 ; + ), (G 4 " ,) 8#4)8 ; 84 ($E9 )PQ,#)+ 4 ;)8 7# 8) . 2 )+4) 8V $J 8)/ J )[? (A\* K K 55,U ) )>7 #")(; ,, 8' 0 # #) #) 07#0; ) U 8' 0 #O?BA 2 )8' $
(51) )/ C7 >,-( / M?BAV*F)8' $J# 8)/ C7 >,- ( / M?BAV* ) +]* K. a",Bb. $ &)$. ¿ c.~Swac.i>rjntpl ª jkixtpzV]c c.
(52)
(53) !#" $&%' ( ) $* "' ),
(54) ] \* +% , :) -' (/ 7 !) #0 - ( / 4 " #" #)7 J:#)# 2 5 /8' ,#
(55) D + ; 4.%+(3" #" #)) ]E9 ; + 0 ##0 7" ; +%) 4 8 " <E +' 83; )' 4) 4#% #), (
(56) 4, #;0 #) 8;G#
(57) 4)8 ) [?Q ) 8),)8 3 #) % " ) 8 ) D#) 4 % #) A 5 #) #) 0 #03 ) U 8' 0 #O?BA 2 )8' $
(58) )/ CO? -' (/ A Z >:#) @ ? :#)# - ( /
(59) E +<E`+AV* )8' $J# 8)/ CO?- ( / A Z >:#) @ ? :#)' - ( /
(60) E +<E`+AV* ) +]* KK a",Bb. $ #%$. Á)q6rjk>c ª jnixtuz]c.c. tplnymHam |jnct lkjnpcbDc r^amDjniqlvtpyy [4Y ¡m>¤opjn|jkixo t y{Nc.q j°§Nqstpqrjn|j°rz¬mp¤btpixtuo>jkiaoHyz|ixq^ampiaj.tuÄ rjkm>i$¦:]_^xcHmp}cEq6r{Ä }xt>y{cErc.q^aixjn~Swac c.ixtu}xlkcEytDampoptubDbDc ªrmt rrtpq^[tpi#t>q6rjk>cH}:c.^xt8|jkm>)rmVtpi c ©jny{rjniao[mp}ac.q6rturtui|zBrjkbDctu rc. j°ry qc.turjnmpi$¦$]_^xjnyjnyHcEy{Nc.q jntplklnz¯w:y{c ¡wal µ ^ac.i¢mpiacVm|cEyHiamur ^:t8pc¬t>q q c.yysrmr^acqmcr^:t r qc.turc.y´r^acyrtuixatpBmp}cEq6rrm/}:cbt>ct>q6rjk>cp«Q^am µ c pc..«:r^xjny rc.q^aixjn~Swacjvy)iamur)wxyc.- ¡m>_r^ac jvy{rjk}awarjnmpi-rtuixy{ ¡mpbt rjnmpi:yªac.yqjk}Nc.-jki/r^ac qwac iSr)xtuNc E¦ ´ixq c r^acHtpqrjnpc mp}cEq6r)jvy)qc.t rc.³«|jkrstuwrmpbt rjnq.tulnlkzD ¡cEt rwacEy<r^acajki:qjnalkcEy)c.yqjn}:cEacÄ |jnmpwxylnzp¦³ÁbDmpixor^ac b#«$t ¡c µ tpcDqjkrjvq tul ¡m>´r^acopm>tpl%mu Jr^ajny:tuNc DNNmplnz|bDmpa^ajvy{b }Ncr µ c c.i m>}c.qry<tuixt>q6rjnpcsmp}cEq6ry 7@tplklnm µ y%r^xcrtui:y ¡m>bt rjkm>ix>y 96«pyc.~Swac.i>rjntplxamqcEyyc.y µ jkr^xmpwr_y{^xtpcE m>}c.qry 7@iamHjni>rc lkcEt8|jkiaKo 96«ut>y{z|ixq^ampi|zHmp Qq.tulnlnyJtpixDtuwrmpbt rjnq)q mpiSrjni|wxt rjkm>ix
(61) y 7@t8>mpjvayUcEtplnmq¨|y tpix/tulnlkm µ yªxtptplklnc lnjny; b 96« µ tujkr{Ä }|z>Ä iacEqc.yyj°rz 7@tpwrm>bt rjvq tplklnzVc.y:cEq6ry)at rtac Nc ixc.ixqjnc.>y 96¦ c´^:t8pc}Nc c.iyrwxz|jniao¬ tpjnmpwxy¤q tpyc´y{rw:jkcEy¤mp $xtutulnlnc ln:j Et rjnmpi:y «ptpixjkr_tpaNc.tuyUr^xt rE« µ jkr^ r^ac.yc¬ ¡c.t rwac.y.«Njk Jr^acDoptua^Bmp ¤mp}ac.q6ryt rc©c.q wrjnmpijny tVrc.c 6«xr^ac i µ cDq tpiyt ¡c.lkz/rwxir^ac m>}c.qry®mu |r^ac<optua^jniSrmst>q6rjnpcUm>iac.y.¦.]_^xjny®am>:c.{rz´^xt8pcU}Nc c.iH ¡mpbtulnlkzy{rwxjnc. µ jkr^xjki tpjnmpwxy ¡tubDc µ m>¨y :« A« * <tuix¢ac bDmpixy{rt rc.mpi¢c.j°r^ac c ©atubDalnc.yHm>y{wx}xy{c ryHmp <r^acVbDmc l «tpix µ c tpc q wac.i>rlkz µ m>¨|jniaoDmpi[jkrysopc ixc tuln:j Et rjnmpi®¦a]_^aco>m>tul³mp %r^ajvys:tuNc jvyiamprsrmD ¡mpbDtplklnz/am >c r^xt r xm>:c.{rz>«N}xwr tur^ac. rm[c©alnmpjkrHj°r jni±mpc rm#acrcEq6rHr^acalvtpqcEy jki¢t#y{zy{rc.b µ ^ac c µ c q.tuiWtpaalnz¢j°r ¡mpr^ac/ytu¨>cmp ´jvyrjn}awrjkm>iWmpxtptplklnc ln:j Et rjkm>i$¦ ªc jniao£t¯ampNc rz±mpiWazSi:tubDjnq y{rwxqrwac.y.«r^xc optua^/mu Um>}c.qrytpix#j°ry)rmpNmplnmpopz-t rsc ©|cEqwrjkm>i$«xjkrsc.~SwajncEy)yrt rjnq tpixtulnzy{jvyªrm wxixqm >c ªr^acHxlnt>qc.y µ ^ac.cjkr^amplvay.¦ ¶jnopwac.y>«®d«®#xcEy{c.i>r tpi£c ©atubDalncmu _xtutulnlkc.lkj .turjnmpi D³t#}ajnixtpz¯yc.tpq^rc c>¦$Áaxlkjnc.±m>i r^ajvyc©atubDalncp«Nr^xc¬o>m>tulr^xt r µ cawaywac¬jnir^ajvyxtuNc jvy´rm#^ac lnBr^acDampoptubDbDc srm/jnac iSrjk ¡z r^acalnt>qcEy µ ^ac.cr^ac d 4f fDq lnt>yy q tpiB}:c¬rtui:y ¡m>bDc.#jniSrm/tuit>q6rjk>cmp}ac.q6r µ ^ajnlkc¬r^ac yc btpi>rjnq.yªc.bDtpjki:yªq mpixy{rtpiSr.¦|ÂÃi/¶jnopwacp«Sr^acHyzyrc b µ jnlkl³NmpjniSr)mpwr_r^:t r_r^acjnixy{rtuiSrjnturjnmpimp . . . . . d Mf f+D. Mf6f!"Ef$#%;d Mf f'&)(+*-,,./101c2 c;d$ c;d/43!501c$6446. eMf704d982. q.tui }Nc¯c alvtpq c µ jkr^ tpi tpq6rjk>cB}ajnixtuz rc cp¦ ¿ m¢r^ac¯w:y{c..«<:mSyyjk}xlkz µ j°r^ r^ac¯^ac.lk mu y{c.bDj°Ä tpwrm>bt rjvq´rm|mplvy.« µ jklnl$c alvtpq csr^acHlkjniac tp}:m >c µ kj r^ D Mf6f d Mf f e Ef 4Y:b1c;d eMf Y b1c;d e4f d f f tpix µ jkrcr^acHqlvtpyy Y:b1c;d eMf d Mf fa¦. . :&. / . (<;$ 4==?> 2# $. . @&9A. 2. 2 . 1A1BC DE==FBCD = = (G*.
(62)
(63) !#" $&%' ( ) $* "' ),
(64) ] \* +% , ./ #)-/ 2 +%4#) ) .#0 " R?) ; A 2 -' (/ N"(/ <* "( / ,C7 >4- ( / [?BAV*955GL#)#) ) ,3#)#0 0 557/ )3#G#) E9 +#)G "" #),) 8 , ,#%'# <E 554#03 "" )3 +);) 8 , .% #> 55 "( / 7C[?- ( / A Z >:#)# ? :#)' - ( /
(65) E +<E`+AV* 55 #)7#" ). );#D#) ;#)# 4
(66) 3 7:#)' - ( / 55 0[?PJ+$PB
(67) A H #)#)) N> ) 83 ")(R?J A '#)+) 55 P +<P ,4 #V # 7
(68) [PJ >;1#% # ) $P 55 #)R?P +<P
(69) A #)#)) N) 8' ,#% #)D 4) 8 ; + #)78'#)E 55 >' ) 8';) 8 4 + #)4# ) +."#8' 5 5 , ) 8 3#
(70) 4) 8 )>7 =)#004;#) 55,) 8#+ 8, (" 8' " / #)-/ Z+ -' (/ ?J"(/ A\* ) +]* K 55,I#) )8),) 8V 4 0 ; 7) 8 4 "
(71) 4) 8 . 4;#) 7 G#
(72) ,)8 7) #) #) 0;)) #0,+ - ( / @? - ( / N%)A 2 ) 3 * ) GC <* %)]Z+)R? E ##
(73) AV* 55 _ 3 . ) ; " #);4) 8 ,) $E` %#' %)]Z+)R? <E B)> AV* %)]Z+)R? <E B)8
(74) . AV* %)]Z+)R ? $E B
(75) + A\* 55 I#>4> , )3 ) 8 . ; #" #), +)G#
(76) 4) 8 ) 55." ) 804 )D G .-( / 7 ) +7,
(77) +) + 4 % #)G
(78) 55.%)D 7G#)' 4 % #)EF%+); (#) #" +);#) + (4 ) ) $?BA 554#;) 8 7
(79) +) + <EF) 8 ; ! #+) 3
(80) 3 #8G#
(81) 4)8
(82) #> 3 55 ) () #" #+) %N+)'7) 8
(83) +) + 4 % #)G 4 #% (#) #" +)]&)#[ ? "!+ ,) 07). ( G $#%)]J )R? AAV* (#) #" +)]&)#[ ? "!+ ,) 07). % ( , $#%)]J )R? AAV* (#) #" +)]&)#[ ? "!+ ,) 07). ( G $#%)]J )R? AAV* (#) #" +)]&)#[ ? "!+ ,) 07). ( D $#%)]J )R ? AAV* 55 _8 #,+ , #% \E=7) 8 3#) +#) # 7 %# %)]Z+)R? <E B)>#-
(84) AV* ,C %) J )O? AV* 55. %#' %)]Z+)R? <E B)>#/ AV* ,C %) J )O? AV* 55. %#' NC %) J )O'? AV* 55. & %#' 55 -# ; ) # (#) #" +)]&)#[ ? "!+ ,) 07). ( G $#GC ;AV*T55 ) )>#/ . (#) #" +)]&)#[ ? "!+ ,) 07). % ( , $#G AV*T55 )
(85) . ) +]* KK a",Bb. $ ( $ ªjnixtuzV]c.c2Dc©atpbxlkcHmp btujni#am>optub.
(86) ]_^xcsiac ©Srª ¡mpwxªywa}xyc.qrjnmpixy<tucsc.ajnq.t rcErm r^xcs ¡m>btulNc§:iaj°rjkm>imp ®t¬¥>t88ty{c.bDtpiSrjvq y.«ur^:t r_jny xi c c.ac.rmDlnturc ªmpi#c §xiac´r^acHy{rt rjnq tui:tulnz|yjvy «|tuixr^xc iV ¡m>btplklnzVc§:iacHtiacEqcEyytuzq mpixaj°rjkm>i ¡m>)mp}cEq6ryªrmD}:c t>q6rjk tu}xlkc>¦ #%$ #. L*[ L. ³a ¹ ± . , >. . P SRPENHX. ]_^xc btpjki/ ¡c.turwac.yªr^xt r µ cHmDiamur)rcEt rtuc2D y 7@j° ´r^ac/ampo>tpbbDc. jkiSrc ixcERrm¯xtptplklnc lnj c^xjnyampo>tpb wxyjniao£¥>t8 t%020«®^ac µ jnlkl r^ac.t>a3 am>}xtu}xlkziamprjkiSrc ix-rmDwxyc¥>t88tr^xcEtpay)turªr^ac ytubDc rjnbc 96« qlvtpyyJ tujntp}alnc.yJtpixVqlvtpyyUbDcr^ama5y DSy{rturjvqbDc bDmpzDtulnlkmq turjnmpiD|jntHr^ac´¨pc z µ mp c c;d6b´q tpi }:c¬c.tpyjnlkz-rtp¨pc i[jniSrm/tpq q mpwaiSr µ ^ac.iBmpixc¬q tpi[^xtui:lkcz|ixtubDjvq y{rwxq6rwacEystplklnmq t rc.#m>i[r^ac ^ac.tp$« o Daq.tui/iamur}NcHc.t>y{jnlkzjkixq lkw:c./}Nc.q tpwxycympbDcampo>tpbDyªbt8zt>q6rw:tulnlkz z|ixtubDjvq q lnt>yy_lnm>t>jnia+ opc ixc t rc<qlvtpyy{cEy®tui: lnm>tpHr^ac.b/¦ ]_^ajvyjnyjvy:turjvqwalvtulkzj Vqwalkrrmsc ac.yc iSrwxy{jniao tu}xy{rtpqr jkiSrc.xc rt rjkm>i$¦ 0 .
(87)
(88) !" # + 0:; +$%&%
(89) '( ) * # +!
(90) 3 0,-+ .1. + / .
(91) ) ! *(
(92) # 2#.
(93) 6 %7 38 *049
(94) + /05 : 5 a",Bb. )F $ Ás}xy{rtpq6r $. ,?<8
(95) >:"=/% < +
(96)
(97) + ' 2( # + 0+ :@# "6 A'%C38 0
(98) 9 '" 0:@ 0:(BC# D
(99) =* 8%>
(100)
(101) E * .
(102) + 20:@# # , :
(103) 2#. ¿ z|iSrtu©. cHtulvy{mcEyrjvq6rc.Vr^aci|wab}Nc _mp yrt rc bDc iSryªrcEt rc.rmtywa}xycr_r^xturq tui-}:ccEtpyjklnzVqm>b¬Ä xlkc rc. D d)GN« DH d 6f:« c JI b c b)HJIG d Q« Mf c ³«K 4f LQ«Eb 4c;d Ef:« KEf x«6cDH ³¦ cmpialnz q mpixyjvc ¬^ac c /H d ftui:$dGMI1f f[y{rt rc bDc iSry ¡m>yjnbxlkjvqjkrz 7@yc c#¶jnopwxc-B ¡mpDt£c§xixj°rjkm>i mp Ur^acDtu}:yrt>q6r yz|iSrt ©+9¦N¶xm>b r^acDqlvtpyy´c §xiajkrjnmpi$« µ cm>ialkz#crtujni¯y{wx}Ä q lnt>yyjniaotui:[bDcr^xm| m >c jvjniaox¦ csm>bDj°rªjkixy{rtpixqc Ä tpjvtu}alnc)m pc.jvjkixo tuixDbDcr^amVm >c lkmStpjniao}:cEq tpwxy{cr^amSy{c) ¡cEt Ä rwac q.tuiV}NccEy{m>lk>c.y{rt rjnq.tulnlkz 7@cp¦ ox¦wajkixo rz|:c Ä q^xc.q¨|jkix%o 9Jtpixt>y<ywxq^/miamprªjniSrmwxqctui|z yc btpi>rjnqj Vqwalkrzp¦:¶ampbr^acH}xtpyc rz|:cEy µ ccrtpjki/mpixlk> z d 4cVtpixN K 6f ³¦ #. 2=. #. . 2=. 2. ==$. . D4. 4 . 282. /D. = . 4=0. /. 884= 2. =. 82#.
(104) N L XTQ MHP"P N>MHQ "M>L)XZQ ;PRXZY)U:N $s:j .Qc c iSr% ¡mpbDtply{c.bDtpiSrjvq yy{Nc.q j°§:q.t rjkm>ixymu Q¥>t8 tampo>tpby$^xt8>c N} c c.iawx}alkjvy^ac.³«S}awr_iam>iac´q.tuiV}Nc´cEtpyjklnzwxy{cErm¬cEy{jnopit¬yrt rjnq´tuixtplkzyjny¤}Sztp}xyrt>q6r¤jniSrc.acÄ rt rjkm>i$¦ jkx¨pm µ cr)tul ¦ > ³opjnpc t ixturwatulQy{c.btuiSrjvq yªy{Nc.q j°§Nq t rjkm>imp ³r^acz|ixtubDjvq´yc btpi>rjnq.y¤mp ¥>t8 ta¦|]_^ac am>}alnc b µ j°r^-i:t rwxtplNyc btuiSrjnq.y¤jvy<r^xtur_jkr_mpialnzVy{Nc.q j°§:c.y<r^ac}Nc ^xt8|jnmp<mu ®ampo>tpby r^xt r´rc.bDjnixt rc¬tui: µ c¬iac cE#rm-c.ac.yc iSrs}Nmur^¯rc.bDjnixt rjkiao-tuix[ixmpiÄ rc.bDjnixt rjkiaoam>optuby.¦ Áªrrtplkj$c rstul ¦ WJ5^xt8>c ac.yjko>iac.#ty{rwxq6rwatpl³mpNc t rjkm>ixtul³yc btuiSrjvq y.¦Â rsc ac.yc iSryªq wac.i>r)amuÄ o>tpb:m>jkiSry_}Szc.alnt>qjniaoq tplkl$y{rturc bDc.i>ry µ j°r^[tq lkmSy{wxc }awajnl°r) ¡mpb·r^ac t>q6rw:tul³bDcr^am-}Nmz r^xt rªjnyªq tplklnc.$¦pÂÃir^ac´xcEy{c.ixqcmp $t c.qwxyjk>c)bDcr^xm|$« µ c µ mpwalvD^xt8>c)rmc.yjko>iVt qm>bDalkjvq turcE tp}xy{rtpq6rjkm>imp ampo>tpb:m>jkiSry_}Nc.q.tuwxyc rc cEyªr^xturc.acEy{c.iSrªampo>tpb:m>jkiSry µ mpwxln-iamur}NcHjni §:iaj°rcHi|wab}Nc E¦ <m>wxy{mpr_tpix <mpwxymu&r k - «atpix ¿ q^abDjnr 4a« :R $^xt8pc´ampNm>yc.Vymplnwrjnmpi:y¤rmDm pc qm>bDc)r^acEy{c xm>}alkc.by «}awr µ c-ac ¡c cE¢qm>ixqc.i>rturjniaoBm>i¢r^ac-amp}alnc b mu ^xc.tu tu}xy{rtpqrjnmpi¢}|z±wxy{jniao¯t yc btpi>rjnq.yQ ¡mpbtulnjnyb ¡mp µ ^xjnq^ tp}xyrt>q6r$jniSrc acrt rjnmpijvy µ c lnlpwai:c yrm|m| DJrtui:y{jkrjnmpiHyz|y{rc.by ¦. ¹ ± . , p *-½ ± ,'. ]_^ac-mpbtujnixy µ cVwxycDrm¯c.acEy{c.iSr r^acy{rturc.ymu _mpwajkiSrc.xc rc ¬tuc r^ac ¡mplnlnm µ jkiao D
(105) "! # $% &'(*)+, -
(106) . /%021 43"57689%3:$% & /%021; =<?> /%021A@ BDC ( ; E3")?3F5G68A3:$% & H I
(107) CKJ B7C ML H I
(108) IN H I
(109) CKJ 3 /%021; 3:
(110) .. Áy{rturcqm>ixyjny{ry mu )t#yrtpq¨[mp ªbDcr^am±tpq6rjk turjnmpixy.«$tui£mp}cEq6rHoptux^$«³tuix±t/alvtpqc Ä ^xmplvc ´ ¡mp tplkwacEy ¦U#c r^amWt>q6rjk t rjkm>ixy 7 B7C 9c.qm>±jni ¡m>bt rjkm>iWtu}Nmpwart¯q wac.i>rlkz£c©cEqwrc.RbDc r^am|Ä q.tulnl Dr^xcHjkixy{rwxqrjnmpi-r^xturjny_rmD}:cHc ©|cEqwrc.³«ar^acHixtpbDc mp r^acHbDcr^am³«r^xcHixtubDcmu r^ac q lnt>yy µ ^xc cjkr ^xt>ys}Nc c.ic §xiacE³«³tuixtVlnm|q.tulc i||jkmpixbc.iSr.¦Q]_^acalvtpq cÄ ^amplvc. ¡mp tulnwacEysjvysw:y{cE[rm y{rm>c´r^xcH8tplkwxcHc rwaiac.-}|zt¬rc.bDjnixt rc./bDcr^xm|/c ©|cEqwrjkm>i$¦ Ui||jnm>iabDc iSry$tpc%btuxajkixo>yQ ¡mpb jnc.iSrjk§xc yQrm) tplkwacEy ¦.]_^ac z´jkixq lkw:c¤t)y:cEqjvtuluxtpjkE O 2PAQ ; R S TVUXWZY µ ^xc c jvy´r^acmp}cEq6r´rtuopc r´mp Jr^acbDcr^am|Ä q.tulnl?¦Q]_^acjkiSrc ac rturjnmpiBmp ¤tampo>tpb y{rtp{rys}|z xwxy{^xjkiao¬tuiVtpqrjn t rjnmpiq mpcEy{Nmpixajkiao rmHr^ac´bDcr^xm| :d mp Nr^acsxm>optub m>i>rmr^ac q tplklkÄ y{rt>q¨Q¦ ]_^acHm>btujn" i #am SjvcEyªt¬Nmurc.iSrjvtulnlkzVjni§xixj°rc c.yc pc´mu %jny{rjnixqr_c.lkc.bDc iSr(y 7@jkiSrc.opc.y¤ ¡mp c ©atubDaln c 9sr^xturtucDwxy{cErm[jvc iSrjk ¡z¯m>}c.qry 7@c ¡c c ixq c.>y 96¦´}cEq6r optux^xytucDycryHmu ªmp}cEq6ry ¦ ´}ac.q6ry)tuc yrw:q6rwxcEyªr^xturcEqmpr^ac.jkc ¡c.c.ixqc>«|r^ac¬qlvtpyyªr^xtursjki:yrtuiSrjvt rc.r^ac.b/«Ntuix#tpi c.i|SjnmpiabDc iSrªr^xturbtuxyªr^ac jnst rrjk}xwrcEy_ixtubDc.yªrmDr^ac.jk) tplkwacEy ¦ . . ½ . ¹ ¡a ,¡/½ . ¹ ¼¹|¹ . ..a ¹ ]_^acDc©c.q wrjnmpi£mu <t/ampo>tpb jvy r^xc¬rt>qcmu <t []\ ¹ . . , ,¡) rtpixyj°rjkm>i-c lvt rjkm>i-c §xiac./m >c H I
(111) I%3 H I
(112) I>¦ cH}ajkcxzcEyq jn}NcHj°rE¦ ^ _ L)UWQa` L*XTQ #F 2bcd_e gf#_ L P ]_^acªyc btpi>rjnq.y%tpq6rwxtulnlnzHjkiSrc.xc ryam>optuby³r^xt rJtpcªjkitsixmpbDtpl°Ä j cE# ¡mpb#¦:]_^ajvys ¡mpb jvysw:y{cE[}|z ¿ tuopjnQ«x )c.xy «Qtui: jkln^ac.lkb 2 - ¦QÁsyy{jnopiabDc.i>rystpc c.y{rjvq6rcE rmr^ac ¡m>b5y D.
(113) . ". . ". . . . . > 0. % Ef2#. . utpyy{jnopixy¤r^xcH8tplkwxcHmu tlnmq tul³ tpjvtu}alnc rmtuixmur^xc )mpixc y{rm>cEy<tpi-m>}c.qrst r{rjn}awrcjkiSrmVtlnmq tul³ tpjvtu}alnc t>yyjko>ixyªtui/mp}cEq6rt rrjk}awarcr^xcH8tplkwxcHmu tlnmq tul³ tpjvtu}alnc. 020 00 00. > 0. Ob24==. &. . (. ¤tpq^±jki:yrwxqrjnmpi¢mp <r^ac ¡mpb xcEy{c.i>rc.±tu}Nm pc^:t8pcrm[}Ncac.q c.cE£}Sz£tui±jnixyrw:q6rjnmpi±r^xt r |i walnlnj°§xcEy)jkrylnc rÄ ^:tuix[yjnacp¦xÂÃiBt>ajkrjnmpi$«NtuopwabDc.i>ry_mu UbDcr^am|Ä q.tulnlnystucHcEyrjvq6rc.-rm}Nclnmq tul tpjvtu}alnc.y 7 r^ajvy´^xmplvay´ ¡mpHqm>ixyrw:q6rm>´jni|pmq turjnmpixy´tpy µ c lnl 9´tuixtui|zBtpq.qcEyysrm#tui£t r{rjn}awrc¬mp r^acDqwac.iSr´mp}ac.q6r67¡c ¡c.c.ixqcE[}|z cDH d 29)jniBr^xcq wac iSrsbDc r^amjny´ac§a©c.B}SzcDH d DymVr^xt r t>q q c.yy¤rmlkmq.tul³ tujntp}alnc.y_tuixrmVtur{rjn}awrc.y)q tpi-}Nc jvyrjkixopwajvy{^xc.#y{z|iSrt>q6rjnq.tulnlkz>¦ ]_^ajvyDiam>btulnj .t rjkm>i¢jnyDyjkbDalnzRc.tplkjvy{cE¢}|z¢jkiSrmwxq jkixotuwa©|jnlnjntpz±lnm|q.tul_ tujntp}alnc.yrm±yrmpc :turjvtulac.ywalkryUmp Qc ©acEyyjnmpic tulnwxt rjkm>i$¦p]_^ac´y{j c)mp QixmpbDtplkj cEam>optubyjny¤lkjniacEtulkz¬}:m>waixcE }|z£r^xc/y:j .cmp r^ac/jniaj°rjntpl_am>optub#¦ mpbDtplkjvyt rjnmpi¢jvywxyc.±rm£yjkbDalnjk ¡z¢acEy{c.iSrt rjkm>i$¦®ÂÃi mpwa q wac.i>rjnbxlkc.bc.iSrt rjkm>i$«³mpNc tui:Byrtpq¨ytuc¬w:y{cEBrm-c.8tplkw:t rcDc ©|xcEyyjkm>ixy.«NtpixBNm>yj°rjkm>ixyjni r^ajvyyrtpq¨Vyc pctpy_ixtpbDc.y_jni-r^ac tu}:yrt>q6r)jkiSrc ac rturjnmpi$¦ 0. 0. NEX. ?M>L)UVU Áªr §xyrE«³r^ac/tuopwabDc.i>rHlnjny{rjvy c.8tplkw:t rcE³«$r^ac i±r^acrtuopcr mp _r^acq.tulnl¤jvyH ¡c rq^acE ¡mpbr^aclkmq.tulQc i||jkmpixbc.iSr&7 r^acrtpo>crªc©ac.yy{jnmpiVjvy_c.y{rjnqrc.rmD}:cHt¬lkmq.tulQ tujntp}alkc 96¦]_^ac.i bDc r^amRlnm|mp¨|waRo>cryr^ac/jnop^Sr¬bDc r^amR}Nmzp¦UÁ iac µ tpq6rjk turjnmpiRjvy}awajnln µ ^ac c:tutubDcrc y tpc}Nmpwaixrm#r^ac.jk c.yNc.q6rjk>c¬ tplkwacEyHjni±tpic.i|SjnmpiabDc iSrE¦$¶jnixtplklnzp«Qr^xt rt>q6rjn t rjkm>ijvyHawxy^acE m>iSrm[r^ac/q.tulnl°ÄÃy{rtpq¨Q¦$ÂÃiWr^ac µ tpj°rjkixotpqrjn t rjnmpi®«$r^xR c b [jnixy{rwxq6rjkm>i¢jnyc alvtpq c.±}|z¢t :d(c jnixy{rwxq6rjkm>i$¦ 24==. # . NHX<._+Q f7b _g 1 L 6NEX. ]_^acjniSrc acrt rjnmpi#mp r^ac jnixy{rwxq6rjkm>i 4f c opc ry)r^acc ©acEyyjnmpi crwaiac. 7 µ ^ac.i/r^ac.cHjvy_mpiac 9< ¡m>br^xcHlkmq tpl³c i||jkmpixbc.iSr)tpix/tpyy{jnopixy_jkry8tplkwxc´rmDr^acHxlnt>qcÄ ^xmplvc E¦ª]_^xc i r^acrc bDjki:t rcE t>q6rjn t rjkm>i jny-NmpaNc.³¦]_^xc¯jni>rc acrturjnmpi o>m|c.y-mpi µ jkr^ r^ac c ©c.qwarjnmpimu Nr^ac)jnixy{rwxq6rjkm>i :d cHmu Nr^ac_§xy{r µ tujkrjniaoHtpqrjn t rjnmpi®¦u]_^ac)c©ac.yy{jnmpir^xtur¤tuaNc.tpy jnir^am>ycsjnixy{rwxq6rjkm>ixy¤b¬wxy{rª}Nc tpiVjvc iSrjk§xc.<m> Ef µ ^ac.iVr^xc´c.ywalkr<mu ³r^acqmpc.y:m>ixjniao q tplkl jvy<iamurªwxy{cEmp µ ^ac ir^ac.csjny<iamc.ywalkr.¦ ^ac ir^ac´cEy{wxl°rªmu ®tq.tulnl:jvy<wxy{cE³«>r^ac´c©ac.yy{jnmpib¬wxyr }Ncr^xcHixtubDcmu r^acHlnmq tplN tpjvtu}alnc r^xturjny)t>yyjnopiacEVr^acHcEy{wxl°rE¦ . D4 . # . 82. PRX L+XZQ L)XZQ b %S
(114) EN>MEX P ]_^xc<qc.turjnmpi mp xtiac µ mp}cEq6rjnympixc¤}|zHt}Nmur{rmpbÄ wa µ tuln¨ jniHr^acªq lnt>yy x^ jkc.tpq^|z y{rturjniaoHt rUr^acqlvtpyy%mu µ ^ajvq^r^ac)iac µ iamc)jnyUtpiDjkixy{rtpixqc>¦p]_^ac.i$« r^xcsqm>ixyrw:q6rm>%jny rcEt rc.lnjk¨>c t¬yrtuixxtubDcr^xm|/q tplklNc©aq c rªr^xtur<r^ac c jnyªiam :d cDjki:yrwxqrjnmpir^xt r_jvy<jnixyc rcE r^ac qc.turjnmpi-jkixy{rwxqrjnmpi/jny)c bDm >c. ¡mpb·r^acHjnixy{rwxq6rjkm>i-lnjny{r.¦ #. #%$ ( */¹ .. . Dp ¹ E , , , º ½ ( ¹ uE , ,¡) ½ . & $ M>M>NRP>PRQTSHQVUWQVXTY. _ L-f2QV[)NZ,Q X NK_M9_ONHX NZ_&PRX L)X N QVXL;M>L)UVU PRX L2M H X KN LM>MONHP>PRQTSRQVUWQVXZY" b L# b. S EN>MHX. Q P&X KNL.+Q .
(115) . X N PENHX 2b- %S
(116) EN>MEX P(X_ L+P>QVXZQV[)NHUWY _ONOLM LSHU:NEb _e 1 NKMHU )Q *f QVX PENEU b X*_e 1 f GL Y _ N bHNZ_ KN M>N L*X L X N;PENEX b S EN>MHXTP X KL*X L#_ N"_ N bHNK__ N SRYCPZ 6N3Ua M>L)U[ L#_RQ LSHU:N4 2b3L L2MEXTQV[)L)XZQ
(117) P+M X L)X X ZN _ N Q P L L2MEXTQV[)L)XZQ
(118) SONKN>L)X
(119) Q H X KL*X )Q X P(XI QVXQVXTP&[)L_RQ L%SRU:N c d 0. . DH. .
(120) N _RQVX N > @ bZ _ X KN L2M>M>NRP>PRQTSRQVU/QVXTY: 2b . ^xc iWtpiRmp}cEq6rjnytpqrjn8turcE³«tplkl¤r^ac/bDcr^am¢jki|>m|q.t rjkm>ixyHmpiWj°rtuctpyz|ixq^ampiam>wxy.¦$]_^xt rjny r^ac cEtpympi µ ^|z µ c c§:iac r^actpq.qc.yyjk}ajnlnj°rzDmu $m>}c.qryªt r^xc <r^xtpiVr^xc t>q qcEyyjn}ajklnjkrzmp $bDcr^xm| c ©c.qwarjnmpixy.¦ $sm>jkixoDymx« µ cHq tprwac r^ac t>q q c.yy{jn}ajnlkjkrjnc.y_mp tulnl$bDcr^am/c©c.q wrjnmpixyªm>i#tpi-m>}c.qr.¦ cBjnixqlnwxc[jniSrm£r^acBycrVmp m>:c.turjnmpixyDNc ¡mpbDc. }|zWt±bDcr^xm| q.tulnlstulnl_r^ac[m>:c.turjnmpixy r^xt r-m|q.qwa}:c r µ c.c i r^xc[rjnbDc[r^aciac µ t>q6rjn t rjkm>i
(121) N«ªqmpc.y:m>ixjniao£rm±r^xc¯bDcr^am|Ä q.tulnl?«¤jny xwxy{^xc.#mpiSrmDr^acq.tulnl°ÄÃy{rtpq¨/tuix-r^ac rjkbDc jkr´jvy)NmpaNc.³¦Q]_^ac m>}c.qrrtpo>crmp r^ac bDcr^am[q tplkl q mpcEy{Nmpi:jkixorm
(122) jny:m>jkiSrcE-rmD}|zVr^xcHlkmq tpl³ tujntp}alk^c cDH d mu
(123) Vtuix#tpi#t>q6rjk t rjkm>F i
(124) ³^:tpyªrm }Nc jnixqlnwxcE[jni>rmDr^acy{c rsmu Um>:c.turjnmpixy_mp
(125) -jk Jj°rsjvystp}:m >%c
(126) jniSrmr^acq tplklkÄÃyrtpq¨Q¦x]_^ajvyc ©|xlntpjkixy r^ac yc.qm>ix-xtur)mu ®r^ac $´c§xiajkrjnmpi±>¦ 0. u , aa ¹ ¹ uE D m µ r^xtur µ cV^xt8pc-c§xixc.Rt>q qcEyyjn}ajklnjkrjnc.y.« µ c-opjnpcVt¯am>:c.{rzmpi±r^ac b µ ^ajvq^¢c©ac.yyHr^xt r r^ac z¬^xt8pc_r^acytubDc)ampNc rjnc.yUtpy¤y{wa}aÄ yzyrc by ¦>]_^ajnyJam>:c.{rzjnyJy{rturcE ¡mp¤to>jk>c ijkiSrc.xc rc y{rturc>¦x¶am>stui[m>}c.qr)rm}Nctpqrjn8tp}alncp«xjkrs^xt>ytpqrwxtplklnzVrmpc.jk ¡zVr^xt rsxm>:c.{rzVjniBtulnl³r^acy{rt rc.y mp jkry_lnj° ¡c Ä?rjkbD; c 7@}:c r µ c.c i-r^acrjkbDcHjkr_jvyq cEt rcEtpixVr^acrjnbDcj°rjvy_iamDlkm>iaopc._c ¡c c ixq c.Vm>_r^ac xm>optub rc.bDjnixt rc.>y 96¦ _e NZ_RXZY ´Á)q6rjk tp}alkc ¶xmpVt±ampo>tp b D«Jjki t£o>jk>c ijkiSrc.xc rc Vy{rturc H µ j°r^ t±yrtpq¨ ; tuix tui m>}c.qrDo>tpa= ^ P$« BDC MQM&*
(127) 0 d> @ :j . >¦ > @ jny¬tBjvy¡m>jkiSrxturmu _r^acm>}c.qr¬optux^ D³ ¡mptulnl¤m>}c.qr > @ « ¡m>¬tplkl<mp}cEq6r c jkr^ac.5 D > @ m> }Nc lnmpixo>yªrmtplkl³r^acHxtur^xyª ¡mpb Nrm tuix da¦ª ¡mptulnlm>}c.q!r > @ ¡m> tplkl%tpqrjn8turjnmpixy
(128) /r^:t r´c ¡c.srm r^xm>waop^¯tlkmq.tul8tpjvtu}xlkc « r^ac.cjvytui#tpqrjn8turjnmp: i
(129) Qjki/r^xc yrtpq¨V}Nc iacEt rF ^
(130) Vr^xturc ¡c y¤rm Hr^am>waop^#tlkmq.tul³ tujntp}alnc cH d tui: x¦_iamm>wro>mpjniao£c.o>c ¡mpb ¯jnyDt£}xtpq¨SÄ c.o>cp¦%Á }xtpq¨SÄ c.o>cVjnytpiWcEop c + &Rywxq^Rr^xt r jny t[ac.yqc i:atuiSrHmu &BjniRt#c r^Ä §xy{r µ tuln¨¯mu ªr^xcmp}cEq6r optux^$¦ c-qmpi:y{jvc rc.c.yr^xt r tucqm>ixyrw:q6rcE[yrturjniaoV ¡mpb mp}ac.q6rysNmpjniSrcE#rm-}Sz#lnmq tul tujntp}alkcEy ¦ !$mq tpl® tujvtu}alnc.y´tuc qmpi:y{jvc c.}:mpr{rmpbÄ wx/jni/r^ac q.tulnl°ÄÃy{rtpq¨Q¦ ]_^ajvy$xm>:c.{rz´jnyyrt rcEjki r^ac cJ:tury.«6r^ac¤§xyr$r µ m)}Nc jniaoc lvt rcE rm)r^ac¤q mpcEy{Nmpixajkiao_xtp{r mp Ur^acc§:iaj°rjkm>iBmu ¤t>q q c.yy{jn}ajnlkjkrjnc.y.¦:]_^ac §xy{r´m>iac c.ixy{wxcEy)r^:t r tpi|z-m>}c.qr´jni[r^actpq.qc.yyjk}ajnlnj°rz. 7F. #%$. 0.
(131) R. x. a. x. o5. o5. a. o4. o4. o3. a’. o3. a’. this. this. y. o2. o1. o2. o1. main. main. Stack. Stack. Heap . x. . o5. o6. 05. o4. y. a. Heap. o4 o3. a’. a’. this. o2. o3. o2. o1. this. o1. main. main. Stack. Stack. Heap . Heap . activable objects. non activable objects. sub systems boundaries
(132)
(133)
(134) . a",Bb. $%$. Á)qrjn tu}alnc´}c.qry.
Documents relatifs
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
Trois autres échantillons du pool CHAT étaient également gardés au Center for Disease Control et ont été inclus dans cette analyse (CHAT pool 13, CHAT type 1 Wy4B-5, CHAT 1FL)..
Un habitat de La Tène moyenne et finale à Berry-au-Bac au lieu-dit “ Le Chemin de la Pêcherie ” (Aisne).. Jérôme Dubouloz, Michel Plateaux,
It is obvious that the steel showed the plastic strain memory effects at each test temperature, in other words, in spite of the hardness of the steel cyclic stress,
Les cités et leur territoire d'influence sont administrées par de puissantes familles, celles de l'aristocratie terrienne et marchande, qui tirent leur légitimité de
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des
In this paper, we have defined the steady-state control problem for MDP, and shown that this question is decidable for (ergodic) MDP in polynomial time, and for labeled MDP
