HAL Id: inria-00072321
https://hal.inria.fr/inria-00072321
Submitted on 23 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished 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.
Reachability Analysis of Term Rewriting Systems with Timbuk
Thomas Genet, Valérie Viet Triem Tong
To cite this version:
Thomas Genet, Valérie Viet Triem Tong. Reachability Analysis of Term Rewriting Systems with Timbuk. [Research Report] RR-4266, INRIA. 2001. �inria-00072321�
ISRN INRIA/RR--4266--FR+ENG
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Reachability Analysis of Term Rewriting Systems with
- extended version -
Thomas Genet , Valérie Viet Triem Tong
N˚4266
Septembre 2001
THÈME 2
3547698;:<
=?>A@CB>EDF>GFIHJ>AKMLONQPRDS=
T-U)VXWZY[]\_^a`)^GbdceYfhgEikjh^e jh^GblTminjh^aWoTmV`)p
q$rRsntvuwxzy|{n}R~uQGE~QM~un
uM MACtGQ~ECu
AuM A}Ju
/GRE/JuunrRunrCu}AwA E dxz¡uMJuMt¢R£uwG¤G¤C¥x¦¥k CAEun
§]¨©nªM«¬R®GªG¯±° u-C£ukun}E²´³¶µ·a¸a¹¢ºI£uMu-GJ£EtA~QRA º¼»rR~Qr"~QtRuntuM}aCG&GJ½
unA£~QG}ClG}¾£unudAR£Gt-A¿El»;uMQ|E]¿MGtRQu£~QG}ÀAQGG~£rRtÁC£unÂ5EtvCJ£uÃA}ÄÅEuM£½
GRRÇÆJ~t-~E}dGÈ£rRu uM¢GÈ Junun}CRA}aÉ ÊGËÍÌÎÈÏGv_£unGRA¢uMvÌÐA}¿£un£tÑuM»~¶~}C
£JuMtÒɼÓE~QRQ¼}RE}ÃQ~Q}RunGA}CÃ}RE}ãuMt~}£~Q}RÔ Õm}ÖunÅGuMA)uMÆJGtRukAÈ;£un£t×£un»£~½
~Q}RI£JuMt-uMRun£uM}a~}R_C£EGAt-A}CÖ£JuMt-¼ÅGun£~ÈÏGÓ»´urR»ØrR»Ù£¼u]²;³¶µ·E¸a¹-£
MG}C£C;rRuM~Q/ACR£ÇÆJ~Qt-£~QG};G}C]£rRun} C£ÅEumR}C£ukGrCGR~Q~-R£Eun~uk$AÈ£rRuku£JuMt-MÔ
Ú_ÛaÜXÝÞß
«à©G¯
²´³¶µ·E¸a¹GÓquMtÒuM»~£~Q}RCÓukGrCGR~Q~GÓq£unu-á/JGt-RÓâmunuM}RA}anÓA½
EGt(ã&uM~¶äM~E}
åæ.ç£èêénë$çìíQèêîhïð
Unité de recherche INRIA Rennes
×3547698;:<
© ¯ EC$R{n£uM}a£E}C$²´³¶µ·a¸E¹OºlR}Cu~QRA~Q£~Qu|GJ£EtA£ukG£C£ukº]aR~~QtRQ{MtuM}a£u
QunG{M~E}CG£~QaRukCQunGJ£Et-£ukARunG~}~;ER}ZAQGG~£rRtulJu]MGtRQ{~E}
R£~Q~{GRnARQuM|R}Ru-£R½ ACR£ÇÆJ~Qt-£~QG}¼Ru¢un}C£uMtCu-Juk|RunuM}RA}amÉ ÊGËÍÌÎmGRC}
un}C£uMtCu{MER~QuM´Ju£un£tukÌ?u;R}lJ£sntvu/Ru/£{n{nM£~£Ru$ÉÏ{nÅGuM}aRuMQuntuM}a }RE}-~Q}R{nG~uu
}CG}¼uMt~}CG}aOÔ¡CRun|uÆJuMtRQun|JuJ£sntvukJu¢{M{k~¶Ru£unR{n£uM}aG}EJunmRGEGtvtuk
E Run/£JsMtun ÅE{M~¶äCunnÓ}REC$tG}a£G}$uM}C£R~£uEttvun}a/J£~Q~£uM/²´³¶µ·a¸a¹GC/G}£R~Qu
QuMCGRRÇÆ~Qt-~E}C uM/RGRÅEuM$Qv}RE}J½ uM~QG}CGR~Q~£{uM}C£uMt¢RQunJu|£un£tuk$R£a£M£~nÔ
!9ß ªk© Ý ®#" ¯ ²;³¶µ·E¸a¹GÓX{M{k~¶RuGÓAuM~QG}CGR~Q~£{GÓXAR£Gt-A£un G£C£ukMÓJunun}CRA}aMÓÅG{M~äMA½
~E} RuR£EGAttun
1
243
« Û "657568¬J«95Û © :
;
§ <=<« ß?> 5¿¬Jª@5ß 8© A
BDC
ß E<ªF5G8=Hç,<I<« ß?> 5¿¬Jª@5ß 8© Þ 5ϪFJ ²´³¶µ·E¸a¹ K
0CÔ¥ML}auMGO~ÅEu|GRRÇÆJ~t-~E} ÔÔÔÔ|ÔÔÔÔÔÔÔÔÔÔÔ|ÔÔÔÔÔÔÔÔÔÔÔÔ|ÔÔ N
0CÔw âmuMCRGE~}R-quMtun»£~£~Q}Rl¡JuMt-»~£r_²´³¶µ·a¸a¹¿ÔÔ|ÔÔÔÔÔÔÔÔÔÔÔÔ|ÔÔ O
0CÔ0 P¼Gu|uMÆJR£uk££~QÅGuM}Cun´G}C tvE£uJuMA~QQunARC£ÇÆJ~QtA£~QG}CÔÔÔÔÔÔÔÔÔÔÔ|ÔÔÑ¥Çw
: C ß 8® "©F5ß 8 2 :
X¢#)
quMtun»£~£~Q}R¡JuMt-Íq ¡RÈÏErCG£Au´mÅGuM£~tRQu´»$Ç£Juk£M£~Qu´ÈÏR}C£~QG}C&E»´un
ECGGQuMRJun£un&E;A£u/G}C£~¶~E}lJ£uMt-´»rRuMu uM»~£~Q}RtJJuM;£ukun£~QÅGuMQvuMÅAQC½
~E}ÓR£EGun~QG}G £A}C£~¶~E}CnÔ$/uM»~¶~}Rl£un~än£~QG} MG}_Gun}RuMAQuuÆJunMJ£ukC~Q}R]
uM»~£~Q}R|£GwJÓ*0G}CvÅGun£~äCunvC£Å~Q}REtvuC£Eun~uk)~Gu$uMtv~Q}CA£~QG}ÓaG}CRuM}u/A}
£Gtu|~}JCO~ÅEu rRuME£unt-MÓ»rRun£uE}CRun}CuA}C]~}JCO~ÅEu rRuME£unt-´C£AÈÍ´Gun}RuMAQQvunaR~Qu
rRu£un£t~Q}C~E}C£EunEÔ
L }NêÓG»;u;C£Eauk¢m£ukrR}R~aRu$ÈÏGGRRÇÆ~Qt-~}Rm£rCu/uMAÈ.Junun}CRA}aE~ÅEuM}q ¡É
G}C»;uMERQG´£u GÈ£un£t-;Ì9A}SA£r£ukEG}R~Mukav£unumAR£Gt-ARÓACR£ÇÆJ~Qt-£~QG}-GÈ
rRuuMAÈXJunun}CRA}aÉ ÊEË7ÌÎun£t~nÓA~Q}vA££~RAkÓÇ££rR»Ö£rCu}RG}¢É-½hunErCAC~Q~¶GÈC£un£t-
GÈ1ÈÏGt £un£t-|AÈ´ÌlÔÕm}CuAÈ £rRuvt-A~Q}dJ~un£un}Cu¢»~¶rIG£rRun|uMÆJ~Q£~Q}R]C£AÈ&unrR}C~QaRuk E}
qm¡J~X£rGRRÇÆ~Qt-~E}C.MG}u MGtRJunE}qm¡JunÅGuM}~È£rRun|G£u&}CG}|£un£t~Q}C~}R ÍA}
}CG}lE}CRun}aOÔ ° ~£rluMaAR££unGRA GRRÇÆJ~t-~E}C)C£un~Q}]AEO~Q}EuMRuA£~QG}ÓEGR
tuM£rRJ Jun;}RA;ÈÏJC;E}AR£Gt-A£~QG}ÓRJ~Q}C£unE.ÓJ~$Qu´£rRuC£uM$GRGJ$~¶ARRÇÆJ~t-A£~QG}
RQun£rRuq ¡ÃA}CÃrRulRGuM£¼rRu-»$A}a£_ÅGun£~ÈÏGÔ q$rCMÓuMGCQGGRRÇÆJ~t-~E}CMG}
ultGulRunM~Q£ul£rRulC£~ulGÈ£ukEC~~}C_Cun~Q}EuMG£~QG}Ô_q$rRuku]EunR}CEJ¼u
GÈ ~Q}EuMunG}C¿rÇÅGu£Gtu RGO~QnA$ARC~MA£~QG}C¢~GuÈÏG¢£rCu ÅEuM~¶äM~E}¿AÈ|aR£GEGRrR~
C£G£JEQhÔ
q$rRuvARC£ÇÆJ~QtA£~QG}£ukrR}R~ECuGÓ~}R~£~AQQ C£G£Aun»~£r´á w hÓ~ }R» ~QtvCuntvun}a£un
~Q}lrRum²;³¶µ·E¸a¹mQ~QRG£!OhÓ»~¶££un}]~Q}Õ|MGt"Q¥M êÓJRGEGttv~Q}RA}RECAEu/AÈ.rRu P¼¼ÈÍGt~QGÔ
q$rC~Q ~QRAlRÅa~JukCG£~R£~Qt~¶~ÅEunE}_}RG}¼Ru£un£t~Q}R~~Q£unuAJGt-~Gu~}a£un£un£~QG}Ó
C}R~E}ÓMGtRQuMtuM}a GÈA}CGCGGunnÓCJuM£un£t~Q}R~Q~E}AÈ)£uMuGJ£EtACÓCG »´unE/ 9$$##69
GEG~¶rRtSÈÏE EtvCJ£~Q}RGRRÇÆ~Qt-~E}CMÔq$rR~Q ~QRAMG}-umMAQQun¢ÈÏ£EtÙ£Gtu/G£rRun;Õ|MGtv
MJJuGÓJ~Q}a£uM£ÈÍGMun »~£r%mÓRGukE-~QtRunARG$G}£uMuGJ£Et-vrRu£EJ½êunÅGuM.GÈ
Õ|nAthÔvq$rRuQ~CG£¼GQ£ MG}aG~}|£~tRQuuÆJunMJGRQuGRRÇÆJ~t-~E}_ÈÏG}auM}C ÏCG£~Q}R
£un~än£~QG} äCQuG}C_A££~Q}RlA}¼GRRÇÆJ~t-~E}MGtRJ£~QG} ;£rCA »;uC£un £]»´E&lE}£rRu
uMÆRAtRQunE}aA~Q}Rukl~Q}rR~CAuMkÔ
L }d£rR~|CAuMkÓ.»;uR~uC_unMG£rCuvG£~Q¢JuäC}C~¶~E}C|AÈ´q ¡RA}C£unuvGJ£Et-]~}"£unO½
~E}"¥AÔq$rRuM}ÓR~}_£un£~QG}¼wÓR»;u£ukMGX»rCA ARRÇÆJ~t-A£~QG}C;AuGÔq$rRuMG}C£CO~E}GÈ)GRRÇƽ
~Qt-~E}_~}_RG£~u»~£rI²;³¶µ·E¸a¹~/JuA~Quk_~Q}¼ukO£~QG} 0CÔ$á }CäC}AQEÓC»;uE}CQCJuE}¼Etu
MGtCG£~E}C´»~¶r G£rRun»´E&J$A} £JuMt-$~Q} £un£~QG}RÔ
' (
#MM%0 #M
%´EtR£unrRuM}~QÅGuC£ÅEuMJMG} uÈÏGC}C~}) RÓ¥ÈÏG/£uMtuM»~£~Q}R-J£uMt-nÓR~Q}*CÓ¥n¤ÈÏG$£uMu
GJ£Et-vA}]£unuQG}RGCGGum£rRunGGÔ
u,+ÐulläC}C~¶uluMGÈ$£tGMÓ.ukGr"GJM~QA£un¼»~¶r"G}ÃG£~ÈÏR}C£~QG}ÓA}CdQu.-×u
ER}aGRu£uAÈ;ÅÇG£~ACukMÔ0/]Ë1+!23-lÎJun}RAunm£rCu£uGÈ £un£t-nÓA}C*/lË4+Î|Jun}RAun|£rCu£u
GÈ GGC}C_uMt Ï£un£t-|»~¶rRGRÅG£~ARQunOÔvq$rRuuMGÈ´ÅA~ARQunmAÈ$luMt65 ~JuM}CA£uk¼
798;:JË15ÎOÔ)á!R~¶J£~QG}¢~Q)/t-GRR~Q}R=<ÈÏGt>-~}a=/lË4+?2@-lÎÓ»rC~QrvMA}R}R~ECuMQu;uÆ£un}CJuk
-A} uM}CJEtGRrR~t2GÈA/]Ë1+!23-lÎMÔ(LêJEt-A~Q}CB.DE"Ë4<Î/~QFGIHJLKGM<ON
P
GRQEÔ
á£uMt £un»£~£~Q}Rl££untÉÐ~ l£umAÈ " '("-" # :aÓX»rRun£u 2: H/]Ë1+!23-lÎMÓNH -Ó
G}C7 8;:JË hÎ 798;:JË1:AÎOÔ/áSuM»~£uRu :~ G 9" Í£ukÔ ")? " ~È)ukGrÅA~QGRQu
GÈÍ£ukÔ: JMMRG}RQ]E}CuEÔ´á?RQu~Q/~Q}RunG/~È)~ ~A£r_QuÈ|A}C ~ErE£½hQ~Q}RunGnÔ á9q ¡]É
~/Q~Q}RunG Ïun£Ô;uMȽê~Q}RunGnÓ£~QGra£½hQ~}CunA ´~¶ÈunÅGun£luM»~£uRu :vGÈ)É~/Q~Q}RunG Ïun£Ô$uMȽ
Q~Q}RunGnÓ£~QGra£½hQ~}CunA OÔmq$rRu¢q ¡_ÉÒ~Q}CJCMu¢luM»~£~Q}RluM£~QG}9E}_£un£t-m»rRE£uu CuMÆJ~ÅEu
G}C£~¶~ÅEuQE£R£u~ Jun}RAunZÊ
Ôq$rRu¢uM AÈ)É-½Junun}CRA}aAÈ-£u GÈ)E£ER}C£un£t-mÌ
~;É ÊEËÍÌÎ
P F 59H/lË1+-ÎK,H_ÌÙnÔkÔ!Ê
5@QEÔ
uu¢läC}R~£uuMmAÈ £tGMÓX»~£rIG£~RÓ.MGQun 9 OÔ/]Ë1+ |Î~MGQun rRuv£u
GÈ9"!I) " 969OÔ|á " 9 G6]~m]£un»£~£uRQu#$&%ÓX»rRuMu#.H)/lË1+'|Î G}C%CH(Ô|á
9"$ 9*)@,+ " 9 G6~m]£A}~£~QG}-#.%-»rRuMu#
P
%0/ H19G2#
P43
Ë5%76 29898"82:%";RÎOÓ
3
H)+Ó
8;:JË
3 Î P=<
ÓG}C>%76 29898"82:%";H?Ô$áSA££Gtv½êR_}RE}J½êRu£un£t~Q}R~~Qä}R~¶u£uMuGJ£Et-£E} £uMu
GJ£Et-£E}¼ÈÏE£rRE /~EGJRRQuA@
PCB
+!27027ED2,FAGÓ»rRun£u>DHI1A} F~ uMGÈ
}CGtG~MukãA}C£~£~QG}CnÔÃá£uMu AJGt-G}¿~>+-"$ G6¢~È/£rCuMu G£ul}CI»;¼Ruk»~£r
rRu£GtvuuMȽêrCA}5£~QJuEÔÖq$rRuuM»~£~Q}R¼uM£~QG}5~}CRCuk¿Ã£rRu£A}C£~£~QG}C¢AÈ@ rRu £u
F ~Q¢JuM}RG£ukÖJ?K Ôdq$rRu-£uMu]QG}RGCGGu-unMGG}C~nunÃL@~MmË @¢Î
P F 5 H /Ë1+-ÎCKN%)H
EDnÔkÔ 5O!ÊK %;QEÔ
P
CQRQ #SlM%0
¡A££~Q}RÈÏGtÒ £unulAJGt-G}J@$T
PUB
+!27VT 27ED 2WFT7GG}C"uMȽê~Q}RukAYXvq ¡IɼÓrRu]A~Qt
GÈ rRu¼ARC£ÇÆJ~QtA£~QG}!AQGG~£rRt ~£ÖMGtRJu¼I£unu_AJGt-G}(@[ZÃCrZ£rMmË5\ZAÎ
É ÊGË]M|Ë @$TAΣÎOÔá/CR£ÇÆJ~Qt-£~QG}mG£uuk_££rR»?£rCAmuMt-munMGE}R~nun¼-£unuvGJ£Et-£E}
@^_9`G£u}RG £ukGrCGRQu|£un»£~£~Q}R£un£t- AÈMmË @TÇÎ$»~£r¼É¼ÔbaCGrR~QnÓ~¶ ~un}RGREr £]£rR»
rCcMmË5@[ZGÎedMmË @^_9`Î
PUf
~7ÔuGÔQÓ´MGtRJu]rRu_AJGt-G}5unMGE}R~n~}C_£rRu~Q}a£uM£unO~E}5A}
£rR»¾rCrRuunEG}R~MuklA}RECAEum~untvRGÔ
q$rRuvunrR}R~aRuG}~|~}"Muk££~QÅGuMQ_EtvCJ£~Q}R£uMuAJGt-R@ 6 Óg@hEÓ89898£Cr¼rC
ikjcl ?mMmË5@nÎopMmË @[n*q 6 ΢A}C¿~¶ÈE*HrMmË5@nhÎÓ £CrÖ£r 5£rRun} 5?H1MmË5\Vnsq 6 ÎOÓR}a~
»;uvGuA}"AR£Gt-A£G}@[Zl»~£rJt)HuÙCrI£rCA$MmË @ZGÎ
P
M|Ë @[Z q 6nÎÔ¢q$rCnÓg@[ZAÅGun£~äCun
M|Ë @[ZGÎ$ÀÉ ÊAË MmË @TΣÎOÔ P¼GuRunM~Q£uMQGÓ£E}C£CO2@ n*q 6ÈÏGtU@ nÓ.»;u¢ErR~unÅGuv 9$$##69
#»rR~r]E}C~´~}-ä}CJ~Q}R "6 #" uM»´unuM}v G}CR?KwOÔOaCG$£RC£~£J~E}C<¼A}
£Cu2g :0H ɼÓR¢~¶~QnAXCA~Q;~Q$A}~}A}CMu4<¼AÈrl£r;£rRun£u|uÆJ~e%.HÀ~QÈÏ~}C
< Ê
Kw
%A}C?: < N Ê
Kw
%ÔxaCG : <¼¢u£ukEG}R~Muk]G´rRu£GtvuuGÓ~/~Q;uM}CGRErl£|E~}£rRu
M£~£~MG.CA~Q
y{z
|} ~ z
|}*
U :"WR:RV,5eg77s!RR* R, 7 g5¡g5 R¢R5¡,75W
RV OR£0x5R2¤7¥¤7¥
G}C ER¾rRuÃ}RuM»ÐG}C£~¶~E} : <C %"£(@ nsq 6AÔ/»;uMÅGunnÓ/£rRud£A}C£~£~QG} : <C %Ö~ }RA
}Cunuk£A~QGÈrRuÈÏE£t
3
Ë %76 298"898 2:%";CÎx %0/A}C£rCG)u }RGt-AQ~nunäCnÔaREuÆRGtvCuEÓA£
}CGtG~MuvG}C£~¶~E}_AÈ)£rRuÈÏGt
3
ËXË8Î 2Ë % /ÎÎ %Ó»;u}RuMuk£läC}C_£Gtuun%62W% h 2:%
G}C"uMRGMu-£rRuRuMÅ~ECG}C£~¶~E}Öa"¼£uvAÈ/}RE£t-AQ~MunÃG}C£~¶~E}C?F8J % 6 2XË5% 6 Î
%"h 2 Ë5%0/QÎ % 2 3
Ë %"h 2:% Î %;QEÔ
ám££Rtu£rCAV% 6 2:%"h 2:% Au}RuM»?unnÓ£rRun}¼GRJ~Q}Rv£rCu£A}C£~¶~E}~¶un¶È)G~}CGtG~Muk
ÈÏE£tÙJun&}RGt- GuG}a¢J~XuMuM}uGÔ »ÓEGRtu;£re% 6 P
%"hAÓArRu}RE£t-AQ~MunÈÏGtunMGtun
F8- % 6 2.Ë % 6 Î$ % 6 2 Ë5%0/QÎ$ % 2 3
Ë % 6 2:% Î$ %;QEÔlq$rR~£uAÈ$}RE£t-AQ~MunI£A}~£~QG}C|uMRu½
£uM}a£rRu£unGRA£u¢AÈ}RG}Ö}CGtG~Muk¼G}C£~¶~E}CAÈ$rRulÈÏE£t
3
ËCÊAË 8Î 2Ë %0/ÎÎ % »rR~r
MG}aG~}£rCuG}C~£~QG}I»´uv»;G}a£un_£ER¼~Q}R~£~AQRRGQ£]t-A}ArRuMnÔ uM}CMuGÓX£rC~Q|~mG}
GRRÇÆJ~t-~E}Ô ° uGCQÖrÇÅGu]t-EJuG}5uMÅEuM}¿tE£u JE~QARC£ÇÆJ~QtA£~QG}"Ö~QRuM}a£~ÈÏ~}R
%62W% h 2W%»~£r>%ÓJÈÏE~}CG}CuEÔ
²´³¶µ·E¸a¹RÅa~JukunÅGuMA£unrC}R~QaRuk$£AJGt-~Q£u£rRu¢}RGt-AQ~k~E}RJuk£nÔ ° uJuMG~
E}RQ-»´GÈ£rCuMt
Õm}Ru~QÃuM-AÈ# "69" G" 69 £rRuku_G£u unM~¶äG}C~£~QG}GÈ £rCuGJ£Et-£E}
»rC~Qr Aum££unt-£~MGQvCuk-v£~tRQ~ÈÏ£rRu}Run»¾£A}C£~£~QG}C´uMÈÏGumG}aC£uM$}RE£t-G~nA£~QG}
~¢unÈÏE£tunÔ aCGvuÆRAtRQuGÓE££RtulrC 8? % _ G}C.Ë % _ ÎA % T Au]C£~QG~¶d£A}~£~QG}J½
AÈ$£rCu]AJGt-G}Ó£rCuM}ÖrRu-£A}~£~QG}ÖGÈ;rRulRuMÅ~QGCuÆRAtRQul»;GRÃu ~QtR~äCuk"~}a£
3
Ë5% T 2Ë % /ÎÎ %vuÈÏGuunaR~Q£~Q}R}RuM»SA£un£lun}C £rRu}RGt-AQ~k£~QG}Ô G£urC/rRu£u GÈ
C£~QG~¶]£A}C£~£~QG}CrG$luvJuä}Run£rRu¢Cun/unMGC£uC£~}RCr JuM£uMt~}C~Q£~ C£A}C£~¶½
~E}C7AQ»;ÇJ&}CGtG~M~Q}RrRumAtu MG}JäCER£~QG}vrRumAtu A£u &QunGC&£¢ARRÇÆJ~t-A£~QG}
~Q}Gun}RuMAÇÔ
áÙukE}C £GÈÏGm}RGt-AQ~n~}ClAJGt-~QnAQ}RuM»?G}C~£~QG}/Au 3# #" $ G6E" OÔ
á RRÇÆJ~t-~E}dRQun¢Au£~O£QÃtvE£u-uMÆJR£uk££~QÅGu¢rCA}ÖR~QG~¶I£A}C£~¶~E}C£~}CMu-£rCuM"Au
}CA)G}RQ£uMuAR£Gt-AG}C£~¶~E}CRJ&£un»£~£u;Ruk»~¶r¢ÅA~ARQunnÔq$rRuACR£ÇÆJ~Qt-£~QG}£RQun
G£uGRRQ~ukG} £rCu}Run»ÀG}C£~¶~E}C$£-}CGtG~MuEÔ;q$rCuGun}RuMA.ÈÏE£tÈÏG|ARRÇÆJ~t-A£~QG} £RQun
~|£rCuÈÏGQ»~Q}R Gb 6 G62"89898R2:; G; »rRuMuR G »~£rHO/]Ë1+ 023-lÎ
G}COG H -p1~-"C££uM}!£"u¼t-rCunZÅGuMvrRu£A}C£~£~QG}!£"}RE£t-AQ~Mu_A}C 6-
G62"89898R2:;v G;AuRuk/C£un_£ }RGt-AQ~nu£rRuvuMÈ|rA}C¼£~JuGÈ&£rRuv}RuM»?G}C£~¶~E}Ômq$rRu
£}aG£~MGE}C£A~Q}EmÈÏGm£rRau¢£Cukm~ £rRu¢ÈÏGQ»~Q}R n H /lË1+' 023-]Î G}C_uM~£rCuM Gn H1
E=GnH 798 :JË5nhÎ798;:ËÇÎ*FGQaÔq }RGt-AQ~nu¢]£A}C£~£~QG}¼GÈ£rRu¢ÈÏGt5V %0/7Ó.»´uvt-r
E} 5|A}C*GÖE} %0/7ÓEJG~}" G~QÅGuM}"£RC£~£J~E})<!A}¼rRuM}"»;uv}CGtG~Mu 5|»~¶rdrRu-uM»~¶u
RQun$6 <( : 6 < 2"89898R2:; < : ; <Z»rRuMu : 6 < 298"8982&: ; <ÂrCGRÃul£Gtu-unnÔ aREuÆRAtRQuGÓ
}CGtG~M~Q}R£A}C£~¶~E}
3
ËË5% 6 Î 2.Ë %"hnΣÎ2 % »~¶r"GRRÇÆJ~t-~E}¼Ru
3
Ë1G"2.ËRÎÎ2! "e
.Ë#.Îb$ %»~QG~QÅGul£RC£~£J~E}<
P
FG&'Ë % 6 Î 2()& %9h 2( & % QaÓG}_~}CG}C~un_£u GÈ
uM»~£uRQun*.Ë#.Î %hÔq$rCMÓ
3
Ë+Ë %6MÎ 2.Ë % h ÎÎ %»~QQu}CGtG~Muk~}al}CGtG~Muk
G}C£~¶~E},.Ë % h Îx %A}CvCA££~AQQ-}RGt-AQ~nun]£A}C£~¶~E}
3
ËË5%76MÎ 2:%nÎ %AÔ
-.
¢,7Y£7R0/b¡75, 5R75R21354
6+7+8
4
69
5 R ,;:5¡5R75R=<>3?@4
A/BY5¡O5R5RC<>
6
?D4
g¡¡2R,757W5R2, ¡7eR5, 5R75R$Rx 5R95¡7
g,RR.R ,;:5R5R7E1 <>3?D4
7
<>
8
?D4
F9
¥
GFH
R7,757W5RV55beW5 5R5R¢75¡RY5 5g,N V55R5R
¢R¡7,g¡VR2x,E75R0/75R £7OR2¤7¥;I¥
A£u$rCkÓE»r£unÅGunrRu/}RE£t-G~nA£~QG}t-Ç¢uEÓEÈÏu£rRunGuMt9GÈ N Cun}C£R£uk£rCA »rRun}
rRuEtRuM£~QG}£un£t~Q}Cun$G}¢£uMuGJ£EtA£E}R@[ZÓC~¶/~/£Cr]rCM|Ë @[ZGÎ ¿É ÊEË]M|Ë @$TÎÎÔ
1 % Q lM* CQvQ#)SlM%0 2'2¦3¿4h698;:$<
á GtRQu~E}luM j »~¶r]²´³¶µ·a¸a¹GÓEMG}C£CO~}CAJGt-G} @ n ÈÏ£EtØGJ£EtA£E}c\ n 6ÓMG}-u
R~Å~Jun ~Q}ECrCG£un
¥GÔAJGt-~QnAQläC}CEtu|}CuM»ÀM£~£~MG.CA~Q$uM»´unuM}£rRuq ¡ G}CR@ n 6
wJÔAJGt-~QnAQG}£C$£rRuMG£ukG}CR~}R¢}RuM»À£A}~£~QG}CnÓ
0RÔAJGt-~QnAQ}RGt-AQ~nu´rRu}Run»5G}C~£~QG})a¢R~E£~£A}C£~£~QG}C&G}CARRÇÆJ~t-A£~QG}
£CukMÓ
CÔG&v£rRu|C£uM´£vR£Å~Jum£Gtum£RQun;A}lE~QRQv}CuM» A£un £v}RE£t-AQ~Mu/»rCA;uMt-G~}C
£-u}RGt-AQ~nun]~} £rCu}RuM»À£A}C£~£~QG}CnÓ
JÔAJGt-~QnAQG}£C\ n ERJ~Q}Rv£rRu}RE£t-G~Mukl}Run» G}C~£~QG} \ n 6AÔ
á/È£uMunGrÃEtvCuM£~QG}"uM
j
Ó£rRuC£uMnA}drCaauvu»;uMuM}"£uMÅGunGEO~E}C Ï~Q}" tuM}
Q~Gu-J~RÇ~}CrRu]MR£uM}aAR£Gt-A£G}L\
n
Ó)rRun@~Q}R £rRu-~Q}a£uM£unO~E}du»;uMun}J\
n
G}C"Etu
G£rRun¢GJ£EtAunMGG}C~n~}RrRuluMt-»rR~r5£rRGR"u]RÅGun}ÃC}R£ukGrCGRQuGÓ)A}C¿G}ÖR}CJ
EO~E}-£Etvu|CE@¢rRuAJGt-G}R\ n 6mGun£E}CJ~Q}R£¢£rCumRuMÅ~QGC;EtRuM£~QG} uMÔ
!#"$%&'!
L }¢£rCu$ÈÏGQ»~Q}R|~}a£JJC£GuMÆJGtRuEÓA»;u$MGtRJuA}ARRÇÆJ~t-A£~QG}GÈCrRu£unÅGun£uÈÏR}O£~QG}
7t¢E)(*,+¢JuMäC}Rukl-q ¡.-0/ )G}-rRu uMERA A}CGCGGuAÈ.uMt- unMGG}C~nunvGJ£Et-£E}
12
~7ÔuGÔQÓ(*,+IGRRQ~ukãIG}A~GÈ 3 G}C54»rCuMulAQ63 Au-uMÈÏGu74~Q}"£rCu]Q~QnÔ
q$rCuv£unMG}C¼GJ£Et-£E}IMGQun98(:;4)<*>=?v£ukGE}R~Mu£unGRAmQG}RGAGuAÈuMt £rrRER
u|R}RunGrARQu/ÈÏGt
12
-£un»£~£~Q}R»~£r@-0/ A;Q~´»rCuMu/£rCuMum~$$ukG;E}Ru A3 auÈÏE£u
4J~} £rCu~kÔE/un£u~$£rRuMGtRQuu£un~än£~QG}äCQu
BCDFEHGJIKML@NPOJE>QKMRTSVUWUXKMRTY[ZP\K^]_SKML7`XKML
abdc DFe7fhg
ij kml
]
SVUWUnoep$EHGJIrqhsJt.e
SVUWUnuNPOJE>QHnoepfvqdp$gvqTsJtTNPOJE>QHnoepSVUWUnofpgvqWq
Y[ZP\,nEHGJIrqTsJtwEHGJI
Y[ZP\,nuNPOJE>QHnoepfvqWqhsJthSVUWUnoY[ZP\,nofvqdpxNPOJE>QHnoepEHGJIrqWq
y z,{J|} b {V|,~[L
k { b
{VrDWY[ZP\TIPSV`TIJ`T[S7P`
>D cWC{ |,~WY[ZP\KxuY[ZP\@SVUWUrIrGZP@OhIrGVQJrQ_WZPY[Z@ShSPY[Z.`ZPOVY[Z7`d
IPSV`XKxIrGVQJrQ.WZPY[ZTS7SPY[Zh`ZPOVY[Z.` nUrO[QWQGu`rIVf Z U[Wfvq[
IJ` K IrGVQJrQTOV7` nUrO[QWQGu`rIVf Z U[Wfvq[
[S K JQJf
`rOWITSv
P` K JQJf
`rOWI7`d
~ b
k { b {J>DWY[ZP\
i
cVb ~D { |,~D
Y[ZP\,noIPSV`Hq@sJt7WY[ZP\ EHGJI sJtwIPSV`
NPOJE>QHno[Sp IPSV`Hq@sJt.IPSV` NPOJE>QHno[Sp IJ`HqhsJt.IPSV`
EHGJI sJt.IJ` NPOJE>QHnoP`p IJ`HqhsJt.IJ`
S sJtw[S `9sJt7P`
y z,{J|}
b
{V|,~WYOJ`rIPZ
Q
k { b {VrDIPSV`rI7IJ`rI7Iw[S7P`
~ b k { b {J>DIPSV`rI
i cVb ~D { |,~D
NPOJE>QHno[Sp IPSV`rIrq@sJt.IPSV`rI NPOJE>QHnoP`p IPSV`rIrqTsJt.IPSV`rI
NPOJE>QHno[Sp IJ`rIrq@sJt.IPSV`rI NPOJE>QHnoP`p IrqhsJt.IJ`rI
NPOJE>QHno[Sp Irq@sJtwI NPOJE>QHnoP`p IrqhsJt.I
S sJtw[S `9sJt7P`
EHGJI sJt.I
q$rRuä/GtRQu~E} £unG~QÅGun$£Gtu}RuM»À£A}~£~QG}CG}C]£rRuÈÏEQ»~}C¢EJ£RR
WWvGuE@WY[SVE>QGvGJOJEXK
EHGJI sJt.WY[ZP\
S[IVY[ZWSPWfhErOVY
S[IrGg[ZP
WWvGuE@WY[SVE>QGvGJOJEXK
SVUWUnoY[ZP\,noIPSV`HqdpoNPOJE>QHno[SpEHGJIvqWq9sJt.WY[ZP\
O7fOhSVE[hOvG\[Z.`[fhSVE[ QPO
ZhYrIPZQ7O_ErOVY
S[IrGg[ZTPZ7WY[SVE>QGvGJOJE nofJEHq
q$rRuäC$£A}C£~£~QG}~Q AQ£ukGJl}CGtG~MukG}CAJGt-~QnAQGRJuk.ÓRrR»;uMÅEuM;£rCuukE}C
E}RurCE. u }RE£t-AQ~MunÔa~nÓÇ»´u rCÇÅGu&/äC}un. RGMu E}JäCERA£~QG}C0(*,+<,3;4A}
<CÔ)¡J~}CMu/rRu|A£u<3;4¢unMGE}R~nun´Q~Q´GÈ#3 ÈÏGQ»;un-Etu$4nÓa»´um~}a£un}Ch(*,+<3;4
u- ~GÈ4 ÈÏEQ»;un¼I£Gtu73 nÓQuC}RE£t-G~Muv~¶I}RuM»ØunAQuk<d4X3Ô
L } ÈÍEOnÓC»´uJuMäC}Ru»;-}RuM»?unnÓR£Ç <d4X3v-}RGt-AQ~nu (*,+<3;4|G}C!
"
<-}RGt-AQ~nu
<CÓa]R~}C¢rRuÈÏGQQ»~}REttG}CR
#
ZV%$P[SP[ZQ.IJ`S7PEHGJI
&
Y[ZP\,noIPSV`Hq sJt.IJ`S
&
EHGJI sJt.PEHGJI
»rCuMurRu!'£at¢E&RunukJ~Q}R]rRu£A}~£~QG}C|tunG}Cm£rCA»´u»$A}a|£~}AQ)£rRuÈÏEQ»~}C
G}C£~¶~E}I~Q}drRu-uMAÈ´C£~QG~¶G}C£~¶~E}CMÔ /un}CuEÓ~Q}drRu}RuÆEtRuM£~QG}"uMCnÓ~È$ }Run»
MG}JäGR~E}_AÈ&£rCuÈÏE£t (*,+(<3;4"¢ARunGnÓ~»~Q)uAJGt-~QnAQ }RE£t-AQ~Mun~Q}a££rRu
A£u%<d4X3ÔIáÈuMG~QÅ~}C¼£rCun£u]}RE£t-AQ~n~E}Ö£CukMÓ£rCu]G}C~£~QG}5~Qv~Q$}RAv}RGt-AQ~nun.Ô
²;³¶µ·E¸a¹rR»/´rRu£ukC¶/GÈ£rCu}RGt-AQ~k£~QG}RMun$vÈÍA
#
OVY
S[IrGg[SPvGJOJEmQG
UrIrGvGZQhPZ7WY[SVE>QGvGJOJE5GuE[OK$SVUWUnoIJ`SpoNPOJE>QHno[SpMPEHGJIrq[q9sJt.WY[ZP\
WWvGuE@WY[SVE>QGvGJOJEXK
SVUWUnoIJ`SpoNPOJE>QHno[SpMPEHGJIrqWqsJt.WY[ZP\
Õm}CMuÖtGuGÓ|»´u¿G£uÖG&Guk¾¾G~QÅGuÖEtuÃRQun ÈÏE¼}RGt-AQ~n~}C5rR~Q_£A}C£~¶~E}ÔÒ¡~Q}Cu
) :
?*3(+
"
<, uMC£ukun}EQ~Q´»~£rG}Ru 3CÓa»;umMG}lunA£u }CuM»Äu-<3}RE£t-AQ~Mu~nÓ
G}C£rR~uMt~}CA£uk$£rRu}CGtG~nA£~QG} AÈ)£rCuäC£A}~£~QG}Ô;q$rRuMuuMt-A~Q}Cv£A}~£~QG} £
}CGtG~Mu
WWvGuE@WY[SVE>QGvGJOJEXK
SVUWUnoY[ZP\,noIJ`HqdpMIPS>q sJt7WY[ZP\
¡J~}CMu»;u~Q}EuM}C_£rCA £rCuF(*,+lÈÏR}C£~QG}IGRRQ~uk£A}Q~|AÈ4mrCGRG~QÅGul~|AÈ4 »´u
R-}RA/}Runun£-~Q}a£JJCuG}l}RuM»?uRJm£~QtvC}RGt-AQ~nu|~/]RGE£~Q}Rv£rRuÈÏEQ»~}C
C£~QG~¶G}C£~¶~E} ' (*,+(<d4
<d4.Ô
q$rR~v£un£t~Q}CunvrRu äC-GtRQu~E}!£unÔ L}5rRu ÈÏGQ»~Q}R"~Æ5EtvCuM£~QG}ÂuMC~-~Q
un}RGCGr!£!Cnuk££~ÅEuMQ¿~Q}E£JJu_rRu¼ÈÏEQ»~}CÖR£~QG~¿£A}~£~QG}C-£¿}RE£t-G~MurRuI}Run»
G}C£~¶~E}C;»´uG£u|RGE£un A}C]£rC$uMt~}CA£u|£rCuGtRQu~E}
&
SVUWUnoIJ`p IPS>qhsJt.IJ`S
&
NPOJE>QHnoP`pPEHGJIrqTsJt.IJ`
&
SVUWUnoPEHGJIp IJ`Hq@sJt.IJ`
&
SVUWUnoPEHGJIp IPS>qhsJt.IPS
&
Y[ZP\,noPEHGJIrq sJtwPEHGJI
&
SVUWUnoIPSp IPS>qTsJt.IPS
a~Q}CAQEÓAÈÏGt9£rRu/tun}a~ ~&a££~QRu$unu;£rRu MGtRQuunAJGt-G}v»rR~rv}C»!MG}aG~}C
0E¤G}C£~¶~E}CA}C]£lMGtRJu|£rRu~Q}a£uM£unO~E}»~£r rRuAJGt-G} 8(:;4)<*v=0?
E[[ZPYrQVZNJvGJOJE HGP WYOJ`rIPZ
Q vG\[ZQnoPZhZ
U[Wf S[O
SPOJEHq;K
$P[SP[ZQ
GuES[I $P[SP[ZQ
Y[SVE>QGvGJOJE>Q
tukA}R~Q}RlrCACR~Q}R (*,+£]Q~AÈ63 /ÈÏEQ»;un__EtuF4mnA}R}RGmun£R|~Q}a£A}~
»rCuMumrRuMu~Q A} 3 JuÈÏGu 4QÔ
w0)% XJ,% u "!$#&%'(
q$rCu£unMG}CIuÆRAtRQu-Jun~Quk|£rRuuMrCÇÅ~QGAÈ$ £JuMt GÈ »;C£Juk££unmrC~RCauk
MGR}a *) A}C ,+ .£tG ~Q}d~nÔ L }R~£~AQQGÓX£rCu¢Q~Q~QJ~QÅ~QJukI~Q}a£]»´ CA£|A}¼unEr
A£~QG~QÅGuM}"¼¼£~}REu]R£JMunMÔ¼Õm}Ru-RJunnÓQuMG´~¶.- q ~£RRE£unÃIER}a£rRu
0/ &t¢EQvA}C¿£rRuG£rRun¢E}RuGÓ1- ~Q£RRE£unÖÃMGR}av£rRu $+ )£tGMÔ ´Gr5C£Juk£
rÇÅGulA}5~}CMGt~Q}R¼tun£GGu]aRunRuGÔdq$rRu]RJuk£2- q MGR}a */ )£at¢E ~Q}¿~¢~kÓ&~¶un}CR
¼tvuk£AEu£dR£JMun3- unEr"£~Qtvu]£rCA¢~äC}R¢ ,+ )t¢E7Ó&A}"£ukGRtvuk£AEun~Q}¿~
tuk£AEuaRunRu£ Eu~}a£lEMMGR}a$£rRu */ C£tG;ÈÏGR}aRMun- ;Ô´q$rRuuMrÇÅa~QGGÈ
C£Juk£4*- ¿~£attu£~MG7Ôq$rC~QuMrÇÅa~QGnA}uRun~un -£rCuÈÏGQ»~Q}R-q ¡XÓR»rCuMu
uMtAÈrRuÈÏE£t65 87/"+97;:(+5?X/+m?<: ¢uMC£ukun}E]A£uGÈ£rCu¢££untлrRuMuC£Juk£-qÄ~Q
~Q}vE}JäCERA£~QG}lJuk£M£~QunluMt70/EÓ=-d~´~Q}E}JäCERA£~QG}]Run~un]avuMt7:ÓJA}
rRu/tunAGu/aRunRunÈÏG´R£JMunuk>-qÖG}C?- ÃAu£ukun£~QÅGuMQh?X/mA}C ?<:Ô)á£un£t1AÈXrRuÈÏGt
8(:
)
P< + )
~v_RMunE}JäCERA£~QG}"»rRun£ul~¢RuM}aQ~Q¢GÈ£tG~w<dA}"~¶QJMA
MGR}auM ~
)
Ô)q$rRu £uMt-6:Ó)?*V: Ó 8"898uMC£ukun}E £rRum}CRGQe2A@ 298"898Ô1BmRunRun´Au/uMRun£uM}a£uk
lQ~»rRuMu|£rRuF3DCEC-£at¢EGRC¢tuk£AEum~Q} £rRuaRunRu~7ÔuGÔQÓRrRuuM}GÈrRu~nÔ
ij kml ]
SPW,noep EHGJIrqhsJtTNPOJE>QHnoep EHGJIrq n&
SPW9GuEhZZ
& q
SPW,noepxNPOJE>QHnofp gvqWqhsJt@NPOJE>QHnofpSPW,noep gvqWq
$;nWYO[NHnuNPOJE>QHnUrI>Q,pxfvqdp Nqdp$gp
pEHq7sJt $;nWYO[NHnofpQHnuNqWqdp gp
pEHq n&
GF NPOWE[rQHF
& q
$;nWYO[NHnuNPOJE>QHn
GuE>Q,pxfvqdp Nqdp p
pEHqhsJt $;nWYO[NHnofp Nqdp p
pSPW,n
GuE>Q,p EHqWq
$;nWYO[NHnoepNqdp$gpNPOJE>QHnUrI>Q,p
qdp EHqhsJt $;nWYO[NHnoepQHnuNqWqdp gp
p$EHq n&
GFhY[ZWSPrQ.S
ZQ
& q
$;noep WYO[NHnuNPOJE>QHn
GuE>Q,pxfvqdp Nqdp
pEHqhsJt $;noep WYO[NHnofp QHnuNqWqdp
pEHq n&
vs.NPOWE[rQ@s
& q
$;noep WYO[NHnuNPOJE>QHnUrI>Q,pxfvqdp Nqdp
pEHq7sJt $;noep-WYO[NHnofp Nqdp SPW,nUrI>Q,p
qdpEHq
$;noep WYO[NHnogp Nqdp
p NPOJE>QHn
GuE>Q,pEHqWq sJt $;noep-WYO[NHnogp QHnuNqWqdp
pEHq n&
vsFY[ZWSPrQhS
ZQ
& q
q$rRuI~}R~£~AE}JäCERA£~QG}!AÈ£rCud££unt ~]Run~unÂZ£rRu_ÈÏEQ»~Q}R"£uMuIGJ£Et-£E}
unMGE}R~n~}CluMÅEuM MG}JäCER£~QG}_»rCuMurRu»;]C£Juk££un rCÇÅGuv]MGR}a£unm~Q}R~£~AQ~nun¼£!MuMCÓ
G}l}RG} uMtJ~$GÈ)£tG;£-ER}a/A}CA} uMtJtun£GGuECuMRuEÔ
y z,{J|} b {V|,~v]
k { b {VrD[L.vGuEHG@Wg[ZPYO7IrGVQJhrQJf
`
>D cWC{ |,~
[L KxuPZ GuEHGvGS[I@NPOJE[vG [Y[SPvGJOJEd
vGuEHG KxSwU[YO[NVZQWQ GuE SVE GuEHGvGS[I QJ[SP[Zv
Wg[ZPYO Kxug[ZPYO>
PEHGJI KxuPZhZ
U[Wf IrGVQJH
IrGVQJ KxSVE[f7ErOJE@Z
U[Wf IrGVQJ@OV7UrI>Q.SVE[
GuE>Q@QJf
`rOWI[Qr
rQJf
` KxSVE[f QJf
`rOWI>
~ b k { b {J>D[L
i cVb ~D { |,~D
O sJtwWg[ZPYO EHGJI sJt.PEHGJI
UrI>Q@sJt.rQJf
`
GuE>Q sJtwrQJf
`
NPOJE>QHnorQJf
`pPEHGJIrq@sJtVIrGVQJ NPOJE>QHnorQJf
`pIrGVQJvq@sJt.IrGVQJ
WYO[NHnoIrGVQJpWg[ZPYOrq@sJt.vGuEHG $;novGuEHGp vGuEHGpPEHGJIp PEHGJIrqTsJtw[L
ám££Rtu-£r»;u-»;G}a£_äC}ãrRulC£EunE}CJ~£~QG}CÈÏERJun3- q Ïun£Ô - |_£un½
t~Q}Cu-»~¶rRGRukÇÅa~Q}RA}¼R}GC}Eun 0) t¢E Ïun£Ô ,+ £tGOÔ ° rCuM}ãrRu-C£Juk£
un}CRnÓR~/£uM£R}C$rRuÅAQRuAÈ)~¶/ER}a£un )rRu£un£t 5 :<7 )
uMRun£uM}auMt~}CA£ukC£Juk£
uR}R~}C-£rRu¢ÅAQRu
) Ô á }dAR£Gt-A£G}X3DC?
3
*ÓJ£unR£ukun}a£~Q}R£rRu¢~}GunO|£uk GÈ&£rRu
£JuMtÓa£ukGE}R~Mun´AQCrRum£uMt- GÈ.£rRumÈÏGt 5 5 :<7
*+?7 + X<< +7= A}C95 87 + 5 : 7
*+
= +)<<,¢»rCuMu
~A}_}CA£RAhÓ 7¼~QRJunm~}"A}¼E}JäCERA£~QG} Ï£un£t~Q}CundG}RA OÓ
)<<¢~Qv}RE}uMtJltunAGuaRuMCuA}C.=_~A}ltunAGuaRuMCu ÍuMtJG}RGOÔ
ám££Rtu¼rC]»;u¼}CG~ÅEuMQZrRauZ£GÄ¿R£JMunlGl£G}ÄEl~lQ~ ~Q]uMtJGÔq$rC~Q
nA}ÃulRG}Ru-dERJ~Q}R £rRuÈÏEQ»~Q}R£un»£~£uRuv£rRu-RuMÅ~QGCqm¡ 08(:
)
< + )
5 :<7 )
Ô¡~Q}CMu-£rRu»rRGQulq ¡"~Q~Q}RunGnÓ»´ulnA}¿ErR~unÅGul£Gtu-uÆREO¢MGtRQu£~QG}Ö£unC
}CGtG~M~Q}RuMÅEuMI}Run»Ø£A}C£~¶~E}"»~¶rÖ}RuM»(unnÔ_áÈ£unrRulrR~ÖEtRuM£~QG}Ö£uMÓ~È»´u
MGtRJuA}~Q}a£un£un£~QG}»~£r¢£rCu3DC?
3
*/GJ£Et-£E}Ó»;u´EJG~} }CG}vuMtJ~Q}a£uM£unO~E}
tukA}R~Q}R£rCA£Cr"]CEIMG}JäCER£~QG}InRm~}d£rRuunErCARQuuMtnÔq ÇÅEG~£rR~CE
uMrÇÅa~QGkÓÇ~¶)~}Cunuk£A|£rCAukGrC£Juk£GCJ~¶~E}CAQQrCun@£r)~¶tuk£AEu´aRuMCu´~uMtJ
uÈÏE£u$uMt~}CA£~Q}RCÔ)q$rR~MG}-uun}CJJuk£rCuÈÏGQ»~Q}RRukMÓE£unRG~Q}R 8(:
)
< + )
5 :<7 )
$;nWYO[NHnEHGJIpNqdp$gpEHGJIp$EHqhsJt $;n$POJUnuNqdp gpEHGJIpEHq
$;noep WYO[NHnEHGJIpxNqdp
p$EHGJIrqhsJt $;noep $POJUnuNqdp
pEHGJIrq
¡~Qt~AQl»´unA}GrR~QuMÅEu|£GtuuÆRG/GtRQu~E} £unCA} rCun@£r£rCu~}a£un£un£~QG}~Q
untJGÔ Lê~QmrRuvnG£uÈÏE rRuv£rRuMuäCuMC|RJ|£rCu¢~Q}a£uM£unO~E}¼~m}CQG}REuMmuMtJ¼ÈuM