HAL Id: inria-00074382
https://hal.inria.fr/inria-00074382
Submitted on 24 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
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
Arborescent canonical form of boolean expressions
Tochéou Amagbegnon, Loïc Besnard, Paul Le Guernic
To cite this version:
Tochéou Amagbegnon, Loïc Besnard, Paul Le Guernic. Arborescent canonical form of boolean ex- pressions. [Research Report] RR-2290, INRIA. 1994. �inria-00074382�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
Arborescent Canonical Form of Boolean Expressions
Toch´eou AMAGBEGNON Lo¨ıc BESNARD Paul LE GUERNIC
N˚ 2290
Juin 1994
PROGRAMME 2
Calcul symbolique, programmation et g´enie logiciel
(*),+ -%
.0/214365
7
/98;:<=:>@?%A>@BDCB
EF/HGIJ1K?%A%L2B:MON
PRQ98SFEFAT>UAM,BVXW
Y2Z\[4]4Z_^X`%`6a0bdc e^fhgjikfmlonp`qr[sfutwvxiHazyx{kZ|[4]sZ}^`%`^X~\tu[s%a-~]a&Htua0fu[s]4twgjtua-f
Y2Z|[4a-~; Y2
^X{H{[sZ|~0a0Z\agka-Z}g}Hapb4bs4c 4iHtu&4Xc 4{^X]sal
%j H¡4£¢¤H¥§¦2¨m©2ª%thl^lonpg}HZ|[sH[4ilfh^Xk]4i^]4aaltu]sHa,~|[6{HZ|[s]4Z}^`$Z\a^Xf«¬~\tu`%a
lonklo~\a-`ljR® ag-^iloa[¯t«~}l°av£i^~|tu[s^Xfl~onpfuazyrt«~}l0gj[4`6{Htufw^X~|t«[4OZ|av£iHtuZ\al~|Ha%±³²´4²¶µh·}´4¸
Z|al[4f«iH~|t«[4[X¯^lnHl~|a-`¹[X¯q[£[sfua^Kav£i^X~\tu[4ºlj»m~|Ha¼s^Z|th^qHfua½l¾qa-t«H]¿·j¸ÁÀ·Â-±³ Htwl
Z|a-{[sZ|~thl\gjil|lal9~|ka ^Z|q[4Z\al|g³a-~mZ\a-{HZ\aloa-p~}^~|t«[4F[¯¤H¥§¦2¨m©2ªgjfu[pg}ÃkljmÄDatup~|Z|[ppigja
^ÆÅ9ÇÇȧq^4laÉH^X~_^l~|Z\igj~|ikZ|ag&^Xfuf«aËÊkµ¬ÌÍ|´£Í|·}ÊkÎX# kZ|[4ik]4#~\Ha,¯^4gj~\[4Z\tuÏ^~|tu[sÐ[X¯
q[£[4fua½^Xѯ§iHg³~|tu[sljyÒ aOloH[Ò~\^X~Ht«a-Z}^Z}g}Htual^Z|aO^g-^XH[sHthg&^Xf¯§[4Z|`Ó[X¯Rgjf«[pgÃklj
ÄDaÔ^Xfwlo[Rlok[XÒÐ~\^X~~\Hthlg-^H[4Htwg-^Xfp¯§[4Z|`=[s{H~|t«`%tuÏ&alÈ~\Haloa½vxiHa&~\th^Xfºgj[pa]4a-Ha&Z}^X~\a
¯§Z|[s`=^¤H¥§¦2¨m©ª¾{kZ|[4]sZ}^`ÕÄaÖº^Xfuf«n0futukÃ'ktua-Z_^XZ}g}Ht«al9~|[F~\HaÒ a&fuf£ÃpH[Ò[4Z}pa-Z|t«H]
{HZ|[sqHfua&`[X¯Å×ÇÕÇlj
Ø,Ù£ÚmÛ|ÜRÝÞÕ4¢É¤H¥§¦2¨m©2ªyHÅ×ÇÕÇyHg³fu[pg}Ãg-^XfwgjiHf«iljypqr[£[sfua^,fw^X~|~\thgja
ßhàá
âJãä-å
á
âæÕç«ãè¬é}ê
Unit´e de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)
( )O+Dd& "$%0dd
ÙpÙ¢0¤H¥§¦2¨m©2ª°a½lo~iHfw^XH]z^X]4alnºgHZ\[4Ha{[4iHZ2f«a~|a-`%{ºlo§ZHa-a-f³Y2^XZ_gjav£it«f4al~
av£i^~|tu[sHHa-fyml|^gj[s`%{Ht«fh^X~\tu[sZ|av£iHtua&Z|~ÔvxiHa6lo[stu~0Zka½lo[4f«i±³²´4²µºÌ̲ iH¿lonklo~a-`%a
\a½vxi^~|t«[4l0qr[£[sf&a-a&HHal³»Èf«alF¼s^XZ|tw^XqHf«ala-~}^~RfualÊkÀ£Í}¸ÁÀÌ|±³2eaZ}^X{k{r[sZ|~~\Z}^Xt«~|a6a
fh^0Z|a-{HZkaloa&~_^X~|t«[46^XZ\qr[sZ|al\gja-p~|aÔalH[4Z\fu[4]sal pa¤H¥§¦2¨m©2ª°[siln{HZkaloa&~\[4liHHa
lo~\Z|igj~\iHZ|adaR[4ka-alF^{H{a-f&a&a Êkµ ÌÍ|´£Í|·}Êkµ¬Ì}H°¼£a½gFafw^d¯^sgj~|[sZ|twl|^X~\tu[sa0¯§[4gj~\tu[sl
q[£[4f&a&a-HHal³yÕH[sil'`6[4p~|Z|[slFv£iHafual°kt-a-Z_^XZ}g}Ht«alFlo[s~0iHka ¯§[sZ|`%ag-^H[4kthv£iHa%pal
H[4Z\fu[s]4al³!F^Xºl¾f«a`#"a&`%a°~\a-`%{lH[sil°`%[s~\Z|[4ºl°v£iHagja-~\~|aF¯§[4Z\`%ag&^XH[sHthv£iHa[s{H
~|t«`%thlafuaÔgj[pa0lpavxika-~\tua-fk]2a- a&ZH a$^0{^XZ\~|tuZ ik{HZ\[4]sZ}^X`6`%a¤H¥§¦¨È©ªrz pÖmyk[4il
a-~_^XqHf«thl\lo[4ºl'iHKf«tua-a&~\Z|afualFHt&a-Z}^Z}g}Htuala-~0fua{HZ|[sqHf%a-`6aqHtua-¿gj[sHi¿a%f%[sZ}Z\a
H^Xºl f«alÅ9ÇÇÕl³
& ݺ½jÛ}¡'(ÙD¢Ð¤H¥§¦2¨m©ªrykÅ9ÇÇyg-^fhgjikfmH[4Z\fu[4]sa£yH~|Z\a-tuf«futwlq[£[4f&a-a-
2 &%
a½^Xfu§~|t«`%aRlonklo~\a-`ljy×^Xº,`%[4Z\a]4a&Ha-Z}^fuf«n Z\a^4g³~|tu¼£adlonklo~\a-`l y9g³[4l~}^Xp~|f«n,t«~\a-Z|
^4gj~Òt«~|%~\Ha-t«Z {HpnHlthg-^fa-¼ptuZ\[4H`6a-~&£® ag-^iloa~|ka-n`il~Z\alo{[s ~\[a~\a-Z|º^Xfuf«n
]4a-ka-Z}^~|alo~\tu`iHfuty4~|ka-n%`ilo~qra0{HZ\[4]sZ}^X`6`%alo[~|^~°~\Ha-nãa-a-{%{^sgja0Òtu~\ ~\Ha
a-p¼t«Z|[4k`%a-p~-,[4Z\a-[¼£a-Z-ytuZ\a^Xf«¬~\tu`%alnHl~|a-`ll|^½¯§a&~onRthlÕ¼£a&Z|n[¯§~|a-^FqHt«]Rgj[4g³a-Z|m
iºljy2tu loig}lonklo~|a&`ljym[4ka Ò[4iHfwDÒthlÆ~|[{HZ\[X¼£agj[4Z\Z|agj~\Hal\lj2al{r[sloa~\tu`%a
^XÐg³[4Z|Z\agj~\Hal|l^XZ\a,~\Ha,`^[4Zthl\loiHa½l~|[~}^sgÃpfuaÒHa-Épa-¼£a-fu[s{Htuk]^@Z\a^Xf«¬~\tu`%a
^X{H{kfuthg&^X~|t«[4m
ÈZ_^4t«~|t«[4^fufunzyxZ\a^Xf«¬~\tu`%a lonklo~\a-`lÕ^-¼£aqa-a-{HZ|[s]4Z}^`%`%aÒt«~|tu`%{a-Z_^X~\tu¼£a^slonpH
gkZ|[4k[4ilfh^H]4i^]4alfutuãa
eÐ~\[4]4a&~|Ha-ZÒt«~|Olo[s`%a0Z|a^fu§~|t«`%a[4{a-Z_^X~|t«H]lnHl~|a-`=¯^4gjt«fut«~|tua½ljy
!b4mÒHthg}%^f«al°g³[4gjikZ|Z|a&gjnqn%Z\a-a&Ï-¼£[4ilgj[4ºlo~|Z\igj~_ljy
ee b4y4mqº^4loa½,[4"![£^XZ\al$#je[s`%`iHHthg&^X~|t«H]&%zavxika-~\th^fmY2Z|[pgja½lo
loa½l('¯§[4Z|`^Xfutwlo`)bsb*
°fu~\H[4ik]4,~\Ha-n^Z|a0Òthpa-funiloa½9yH~|Ha&nloi,+×a-Zla-¼£a-Z\a0Z}^-Òq^sgÃklj
Ha-n6fh^4g}Ãa&~|a-Z\`%tuHtwlo`Oy
~|t«`%a`il~°qa^fua½,a{kfuthg³tu~|f«n9»p~|Ha{HZ\[4]4Z_^X`%`6a-Zg-^XkH[4~F¯§iHf«funO^Xql~|Z_^4gj~
¯§Z|[s`tu~&y
iHa0~\[~\Ha0tua&~|a-Z\`%tuHtwlo`Oy4{HZ\[£[X¯l^XZ|aRHtu]sHfun6gj[s`%{Hfua-9
Ha-Z\a^Z|ad^Xfu~\a-Z|º^X~|t«¼£al~\[~|Ha0t«a-~\a-Z|`%t«Hthl` [¯~|Ha0{HZ\a-¼ptu[4iºl¯§[4Z|`^Xfutwlo`l³
Ha".Ô°0/ e 1b42q^4la[sÐYÕa&~|Z|tHa-~_lj»Õt«~thlilaK[4{HZ|[s]4Z}^`%`^qHfua
gj[s~\Z|[4f«fua-Z_lj»tu~fh^sgÃklg³fua^Ðloa&`^Xp~|twg-ljyHtua-Z_^XZ_gHtwg-^Xfg³[4l~|Z|iºgj~}l^XºÑ{HZ|[£[¯
~|[£[sfhl
/Õt«Htu~\alo~_^X~|aO`^4g}Ht«Hal$34/5%6 l879Õ~\Ha-Z|aO^Z|a~|[£[sfhl~\[{HZ|[¼£aOgj[4Z\Z|ag³~|Hal\l[X¯
lonklo~\a-`lRlo{agjtÁÖaKÒtu~\:/5%; lÁ-Hy*<-¶ Ha`^[4Z{HZ\[4qHf«a-` Òt«~|ilot«H]
/5%; lÕ^sl2altu]sfh^H]4iº^X]4athlm~|º^X~^Flof«tu]4p~`%[ptÖrg-^X~\tu[40t«~|kalo{ag³tÖ×g-^~|t«[4
`^-n=3¶^Xº]sa-Ha-Z_^Xf«fun6[£al87Z\aloikfu~tu^Z}^`^X~\thg°t«gjZ|a½^4loaÔtu%~\Ha0iH`qa-Z[X¯
lo~_^X~\aljy^gj[4`%{[zlotuk]~Ò [ /5%6 l2thl^0Z}^X~\Ha-Z~\atu[sil ~}^sloÃ× !°[Òa-¼£a-Z-yziHa
~|[~\Ha{[XÒa-Z[X¯Ô~|ka%~|[£[sfhl^½¼s^tufh^qHfua 3¬q[4~\Ñl[X¯§~Ò^Z|aO^Xº `^X~|ka-`^X~\thg-^f 7_y
/5%; lm^XZ\a {HZ\[pigjaR^4lmZ|aliHfu~m[¯~|kagj[s`%{Htufw^X~\tu[4[X¯ºHtu]sHa-Zfua-¼£a-ffw^XH]si^X]salj
Hatuºloigjtua&gjtua½lr[X¯×~\Ha {HZ\a-¼ptu[4iºl ¯§[sZ|`^futhl`ljy}Òa-fufptwl|gjiºl|loa½tuAÁ4y2yX^-¼£afua½^4
~|[~|kaalot«]4[¯^Ha&Ò {º^XZ}^stu]s`"Õ±&Î H·ÊkÍ|ÀkÀz±0×Í|À£Í|´ µ 4 Hapn{[4~\Halal
[X¯lnºgHZ\[4H[sil{HZ|[s]4Z}^`%`%t«H]^Z|a0~|^~
g-^fhgjiHfw^X~\tu[4ºl'^gj[4`%`iHHtwg-^X~\tÁ[4^sgj~|t«[4lF^-¼£aÏ-a&Z|[ikZ}^X~\tu[s:3Õ³ r½ Û
ÙÝ ÕÙp-*7
lot«`ikfu~}^Ha-t«~onRapthlo~_l 3¶#'h ÙÝ Ù-7
iºljy£~|t«`%a twl ~\Z|a^~|a¯§Z|[s` ^g}HZ|[sH[4f«[4]sthg-^fr{[stup~[¯m¼ptua-Ò0»zloig-g³al|ltu[46^Xº%lot«`iHf«
~}^Ha-tu~n%[¯2t«~_^Xp~}l³
°a-¼£a-Z\~|Ha&fual\ljyiHZ_^X~\tu[4¿`^X~\~|a-Z_l°^Z|aH[4~0tu]sH[4Z\a9m ka-n^XZ\a~}^Xãa&Dt«~\[^4g-g³[4iHp~
lo{agjtÁÖ×g-^fufunK¯§[sZ%a^4g}Ñ~_^XZ\]4a-~^Z}g}Htu~\agj~\iHZ|a lav£iHa-p~|th^f`^4g}Ht«Haljy !°tu]stu~_^Xf %£t«]4^f
Y2Z|[pgjal\lo[sZ}ljy×~|Z}^lo{kiH~|a-Z_ljym-&} Hthl^fuf«[XÒl ~\[ ¯§ikfufun6^Xqºlo~|Z_^4gj~¯§Z|[s`tu`6{Hfua-`a-p~}^~|tÁ[4
a-~_^Xtufwl ÒHa-{HZ\[4]4Z_^X`%`6tuH]0Òtu~\lonpg}HZ|[sH[4iºl fw^XH]si^X]salj /HZ|a&a-tuH]R~|Ha0{HZ\[4]sZ}^X`6
`%a-ZF¯§Z|[s` a-{Hf«thgjt«~0`^X^]4a-`6a-~Ô[X¯Ô~|tu`6a{HiH~}l~\Ha%qHikZ}a-¿[4Æ~|Hagj[4`%{ktufua&Z}lF[X¯
~|Ha½loa0fh^H]4i^]4al³
^Xpnlonpg}HZ|[sH[4iºl fh^Xk]4i^]4alF^Z|a0qa-tuk]a-¼£a-f«[4{a p lo~\a-Z|a-f ¶y 9iºlo~|Z\aAÁ-b* ^X
¤H¥§¦2¨m©2ª"b4¶H kalonpg}HZ|[sH[4iºl°^{H{HZ|[z^4g},twlloiH`%`^XZ|t«Ï-at« bD¶
!¶,~|kthl Z|a&{r[sZ|~Ò aF¯§[pgjil[4O~|Ha0fw^XH]si^X]sa¤H¥§¦2¨È©ª%^ {HZ\aloa&~{^Z|~[X¯~|HaR~|ag}H
Hthv£iHal iºloa%~|[t«`%{Hf«a-`a&~tu~_lgj[4`%{ktufua&Z-£ Ha0Z\a-`^Xt«a-Ztwl [4Z|]z^XHt«Ï-a^4l¯§[sfuf«[XÒlD
%£ag³~|tu[sOb t«~\Z|[pig³al ~|Ha0q^slotwg¾a&fua-`%a&~_lÕ[X¯~\Ha¤H¥§¦2¨m©2ªfh^H]4i^]4a£
e[4`6{Htuf«tuH]0^¤H¥§¦2¨m©2ª0{HZ|[s]4Z}^`Z|a½vxiHt«Z|al~|HaZ|al[4f«iH~|t«[4[X¯^lnHl~|a-`*[X¯q[£[4
fua½^Xav£i^X~\tu[4ºl°^%a"g³tua-p~gj[ppa']sa-Ha-Z_^X~\tu[4OZ|av£iHt«Z|al^ #|]4[£[p 'Z\a-{HZ\aloa-k
~}^~|t«[4%[¯m~|kalo[4f«iH~|t«[4l[X¯ ~|Haav£i^X~\tu[4ºlj»£lagj~|t«[46FÒtufufk{HZ|ala-p~2~|Ha¯§[4Z\`=[X¯
~|kaFq[£[4fua½^X,a½vxi^~|t«[4lÒ a0^Z|aF~\[lo[4f«¼£a0^Xº%^XO^XZ\q[4Z|a½l|gja-p~Z|a&{HZ|ala-p~}^X~\tu[s
¯§[4Z~|ka'Z\alo[sfuiH~\tu[sm
%£ag³~|tu[sajÖºHalF^qktu^Z|npagjthltu[stw^X]4Z_^X`%§q^sloaH^~}^%l~|Z\igj~|ikZ|ag-^fufua½
Êkµ¬Ì³Í\´£Í|·ÊkÎ^Xtulagj~\tu[4py4Ò aiºloaHt«a-Z}^Z}g}Htual^4l^%^Z|q[4Z\al|gja&~g&^XH[sHthg-^f
¯§[4Z\`[X¯ [4iHZq[£[4fua½^X,a½vxi^~|t«[4l³
/Õt«^Xf«funÆtu loagj~\tu[sÐDÒa,fut«HÃÆHtua&Z}^XZ_gktualÒt«~|Ñ~\HaÒ a&fufÃpH[ÒÐ[4Z}pa-Z|t«H]
{HZ\[4qHf«a-`[X¯ qHtu^Z|npagjthltu[sth^]4Z_^X`lÁ-*
2&% ! &
¤H¥§¦2¨m©2ª$*sthlm^fh^Xk]4i^]4apalot«]4Ha°¯§[sZmZ|a^fu§~|tu`6aÕ{HZ\[4]sZ}^X`6`%tuH]k !J~mtwlmlonpg}HZ|[sH[4il³y
H^X~_^X[Ò [sZ|t«a-~\a9ypag³fh^XZ_^X~\tu¼£a^Xºav£i^X~\tu[4º^Xf¶p ¤H¥§¦2¨m©2ª{HZ\[4]sZ}^X` thl^Rlonklo~|a&`
[X¯a½vxi^~|t«[4l [s Õ '§4
! #"%$&'"% #(*)+$,-)/.-&
0/132412 5
3 '¬
#lot«]4^f76 thl^loa½vxiHa&gja$3684798:<;[X¯~onp{a¼s^Xf«iHal3¬tup~|a&]4a-Z&yxq[£[sfua^ljyHZ\a^Xfwljyu&-87_
='twl2^²¶À4²´4¸u¸ÁÎÀ£Í>̳ÍÌ>loa&~2[X¯ µx±³²´²h±³xÄa^XZ\atup~|a-Z\alo~\a't«^0thl\gjZ|a-~\a ~\tu`%a`%[pa&f¶
%£[Hytuºlo~}^~_l^XZ\a'~_^Xãa-t«,^a-piH`%a&Z}^XqkfuaÔloa-~&
~^Xpn]stu¼£a-Rtul~}^~+?³ys^Flot«]4^fH`^-nFqa ×ÍÌ\±Ì²[sZ´ ±Ìp²a-{a-t«H]F[sÒHa-~|ka-Z
[4ZH[s~-y4~\Hatul~}^~2ika-Zg³[4ltha-Z_^X~\tu[4qa-f«[4H]zl2~|[@=r
q¼ptu[silof«n£ys^Flot«]4^fg-^XZ\Z|t«al
^ ¼s^fuiHa0[4kfun%ÒHa& t«~thl {HZ\aloa&~&
0/132410 A '§Ým¡CBm
Haloa&~°[¯ t«lo~_^Xp~}l^X~FÒkthg}^lotu]s^Xfthl{HZ|ala-p~°twl t«~}lgjfu[pg}Ã9 %z[Hy~|Hadgjfu[pg}Ã[X¯ ^
lot«]4^f 36 8 7
8:<;
thl t«~}l ~|t«`%atua-D=
Ò [lotu]s^Xfwl0^XfuÒ ^-nHl°{kZ|ala-~R^~'~\Hal|^`%atuºlo~}^~_l0^XZ|a6l|^th~|[qa ±&Î H·ÊkÍ\ÀHÀz±D
~|Ha&n^-¼£a~|kaFl\^X`%a gjfu[pg}Ã9s piljy£~|kagjfu[pg}Ã[¯^0lot«]4^fE6 thl2~|Haa½vxiHt«¼s^Xfua&gjag³fh^4l\l
[X¯F6 ¯§[4Z~\Ha±&Î(H·}ÊkÍ|ÀHÎÍÌ}¸´4²¶µhÀ»Ht«~|^~Fla-loa0t«~thla-k[4~|a½HG6¿
/H[4Z|`^Xfmla-`^~\thg-l[X¯ ¤H¥§¦2¨È©ª%g-^qraF¯§[siH t« b HykHyb*
,ÝH ¬Ý ¢/H[4f«fu[ÒtuH] ¶y4~\Hala-~2~\Ha-[4Z\a-~|twg [4{a-Z_^X~|[sZ}lÕ¯§[4Zgjf«[pgÃkljyÒHtwgd^XZ|ala-~}l³y
^XZ\aa-k[4~|a½ 3¬t«~\a-Z}lagj~|t«[4 7_y 3¬iHHt«[4 7 ^Xº 3¶loa&~t+×a-Z\a-gja27_
9 4,)+& &+&
=lo~_^X~|a&`%a-p~tuƤH¥§¦2¨m©2ª%twl°^Dav£i^~|tu[s,[sKltu]4º^Xfhl³»9tu~thlÔg-^Xf«fuaO^{HZ|[pg³al|l³ !°a-Z\a
^XZ\a~|kapt+×a-Z|a&~~onp{al [X¯ {HZ|[pgja½l|loa½lj
0/1 0/12 Õ¡4%§Ý Õ ' ÙÕÙp-§Ý
Ha%[s{ra&Z}^X~\[4Z_l3! ---70ajÖºHa[4Kq^slotwgH^~}^,~np{ra½l 3§q[£[4fua½^Xl³y2tup~|a-
]4a-Z_ljy2&-7^Z|ag-^H[4Htwg-^Xf«funap~|a-ºa ~\[loa½vxiHa&gjal^Xgj[sloav£iHa-p~|f«n~|[ltu]4º^Xfhl³
9a-~#"ÐqraOlig ^XÑ[s{a-Z}^~|[4Z[X¯¾^XZ\tu~nÑ^Kfua-~A36#$
87 8 : ;---36&%
8
798: ;qraloa&
vxika-gjal Òt«~|~|kal\^X`%aÔ~|tu`6a°t«a=H ka'a½vxi^~|t«[4
' ?)(=*,+E8-." 336#$
8
--- 6&%
8 7
thl ÒZ\tu~|~\a-tu¤H¥§¦2¨m©2ª
+ /-0" 336#$-&- 6&%;7
HaÆltu]4º^Xfhltup¼£[4f«¼£at« ~\^X~Oavxiº^X~|t«[4 ^XZ\aDZ\avxiktuZ|a½Ñ~|[Ѻ^½¼£a~|kaKl\^X`%a~\tu`%a
tupa p~|Ha&n%`iºlo~ qadlonpgkZ|[4k[4il³ il³yH~|HaRa³ÖHtu~\tu[s [¯~|kaltu]s^Xf+=tu`%{kfutua½l
~|HaF¯§[sfufu[Òt«H]av£i^X~\tu[4[s,~|kag³fu[pg}ÃHlD
1
+2-436 $ - -&-536 %
/Õtu]siHZ|aRloH[Òl^ ~\tu`%t«H]Rth^]4Z_^X`¯§[4ZligO^{HZ|[pg³al|l³
0/1 0/10
%Ù6ÙpXÙ ¡£ÙÝ7 Hj#8 ' ÕÙp
ÄDa0Z\aj¯§a-Z|a&gja{^4l~¼4^fuiHa½l [X¯ ^'c twl|gjZ\a-~|a°c lot«]4^fmÒtu~|6~|HaA#:9 ' [s{a-Z}^~|[4Z& Ha
¤H¥§¦2¨m©2ª{kZ|[pgjal\l ; 6 /-'6 9£
thl~\Ha,~\Z}^l|gjZ\tu{H~\tu[sÑ[X¯R~\Ha ¯§[sfufu[Òt«H]Da½vxi^~|t«[4Ð[4Ð~\Halav£iHa-gja½l3368 798:<;^X
3 ;
68 798: ;ajÖHa½[s,~\HaRl|^X`6aFtupaD=
' ?)(=*
;
68- 68=<$
-b
-b
<
b
<
-b
<
+
6 6#$
/Õt«]4iHZ\a2*+ - 6#$ H6
!°a-Z\a0^X]z^Xtu y ;
6thl qpn6ajÖHt«~|t«[4Olonpg}HZ|[sH[4ilÒtu~\6K Ha0tuktu~|tw^Xf×¼4^fuiHa0twllo{a-
gjtÖºa¯§[4Z
; 6 Òt«~|Ð~\Haa½gjfh^Z}^X~\tu[s
; 6 3?-$~\tu`%t«H]tw^X]4Z_^X` ¯§[sZ%~|Htwl
[4{a-Z_^X~|[sZFthlpa-{Hthg³~|a[s Ö]siHZ|aRbp
-b
<
b
6; 6
-b
<
b
/tu]4ikZ|aRb,
; 6 /- 6 9z
0/1 0/1
ÝxÜ - ''
.tu¼£a-O^lot«]4^f 6^,^q[£[4f«a^XH§¼s^Xf«iHalot«]4^fyp~|Ha0{HZ\[pgjal|l
+ - 6
ajÖkal ~\HaRlot«]4^f+=loig}~|^~
1
+ - G6 0¶» 09twl ~|HaRloa&~[X¯t«lo~_^Xp~}l ÒHa-Z\a [pg-gjiHZ_l°^%thl%?s
'
?(
1
+ +E8 - 68 ~0~\Ha%tuºlo~}^~_l'ÒHa&Z|a + [pg-gjikZ}ljytu~Rg-^Z|Z|t«alF~|Hal|^X`6a
¼s^Xf«iHaR^4l 6K
3 +E847
8:
1
g-^XOqa'¼ptua&Ò a^4l^loiHqlav£iHa-gja0[¯336847
8: 1
» 1
+ qa-t«H]%^loikqloa-~[X¯ G6K
~|t«`%tuH]dth^]4Z_^X` thla&{Hthgj~\a[sÖº]4iHZ\a
&b
<
b
6
&b
<
¯¯ ~ ~
~ ~ ~~¯
+
/Õtu]siHZ|aR;*+2- 6
0/1 0/1
Ùx½Ù ' hj%§¡ ÆÙ<Ù
&b
<
b
6 <b
&b
/tu]4ikZ|a0 E6 - " ?
.tu¼£a-~Ò [ltu]4º^Xfhl ^dyH~|Ha0{HZ\[pgjal\l
6 - " ?
ajÖkal ~\HaRlot«]4^f76Tlig~\^X~-
G6 - 1
1
' ? ( 1
68-78
' ? ( 1 0
1
68- 8
682thlÒ a&fufmpajÖHa¯§[sZF^fuf7?,(
G
6Ky×lot«gja0^nt«lo~_^Xp~tu G6qa-fu[sH]£la-t«~|Ha-Z~\[
1
#[sZ
~|[
1
0
1
R
!¶¯§[4Z\`^Xf«fun£y4Òka- twl{HZ\aloa&~&y 6 twlav£i^f9~|[0»H[4~|ka-Z|Òtwloa£y 6 thlav£i^Xf×~|[ 6
thl0^Xqºloa-p~0ÒHa-Ha-tu~\Ha-Z*H[4Z twl°{HZ\aloa-p~- ~\tu`%t«H]%pth^X]sZ}^` thl0a-{Htwgj~|a½ [4
Ö]4ikZ|ak
0/1 0/1 A Ý Ýh%§Ý KÝ6 Ým¡£Ù-&Ù
Haa-fua-`6a-~_^XZ\n{HZ\[pgjal\loalFÒ aº^½¼£aR{HZ|a½loa-p~|a,~\tuf«fmH[Ò `^-nqagj[4`%{[zloa,Òt«~|
~|Hagj[4`6`iH~_^X~\tu¼4a^Ñ^sl|l[pgjth^~|tu¼£a[s{ra&Z}^X~\[4Z #'p /HZ|[s` ^Xav£i^X~\tu[4º^Xf{[4t«~[X¯
¼t«a-Ò0yH~|kthl [4{a-Z_^X~\[4ZFtwl ~\Ha0iHHtu[s,[¯~Ò [lonklo~\a-`l [¯av£i^X~\tu[4ºlj /H[4Zak^X`%{Hf«a°~\Ha
lonklo~\a-`"
'
?)(=*
;
68 - 68=<$
68 - ;
68* +E8
thl ~\HaF¯§[4fuf«[ÒtuH]¤H¥§¦2¨m©ª{HZ|[pg³al|lD
3
; 6 - 6 9£
6 - ; 6 +
7
0/1 0/1
Ù%=8×ÙÞÆÝ*Ù Ý
/H[4Zg³[4p¼£a-Htua&gja£y-~\Ha ¯§iHfuffw^XH]si^X]sa¤H¥§¦2¨m©2ª0[*+×a-Z}l2`^nda-Z\tu¼£a0[4{a-Z}^~|[sZ}lj»p~|Ha&n
g-^XOqa'a-{HZ\al|la%tu~|a&Z|`l[X¯~|Ha0ãa-Z\Ha-f9[s{a-Z}^~|[4Z_lj !°a-Z\a0^XZ\al[4`%a0[¯2~\Ha-`"
~|ka'ik^XZ\n ? twl^XO^XqHqkZ|a-¼pth^~|tu[s ¯§[sZ
~|ka°[s{ra&Z}^X~\[4Z ?D 4?76 ]stu¼£al~|Hagjf«[pgÃR[X¯È^'ltu]s^Xf46K»stu¯^4gj~&y4tu~2twl2^X
^XqkqHZ|a-¼pth^~|t«[4¯§[4Z0~|Haq[£[sfua^Ælot«]4^f pajÖHa,qpn ? 6 - 336 - 6 7_»
tu~twllonpg}HZ|[sH[4ilÒtu~\6T^,g-^Z|Z\tual ~\Ha0¼4^fuiHa ?°a½^4g} ~\tu`%atu~[pg&gjiHZ}l³»
~|piltu~ g-^XOqra0twa-p~|tÖºaÒtu~\ 6G ~\HaRgjfu[pg}Ã[¯F6
~|ka{HZ\[pgjal\l 6#$--- 6&%6lo{agjtÁÖal°~\Haa½vxi^fut«~on[¯~|Hagjf«[pgÃklF[X¯
~|kaltu]s^Xfwl!6#$-&- 6&%p
% +KX +
Hatu`%{[sZ|~}^~R{[4tup~[¯¤H¥§¦¨È©ªDg³[4`%{Ht«fh^~|tu[s:b4pyb* twl~|[a-ºloiHZ\a%~|Ha6Z|al{ra½gj~
[X¯Ô~|HaOlng}HZ\[4Ht«Ï^X~\tu[4¿[X¯Ô~|Hag³[4`%{Hik~}^X~\tu[sl'ap{HZ\al|laDqpnD~\Hafh^Xk]4i^]4a£!¶~twl
Hagja½l|l|^Z|n£y-[s~|Ha[sHa ^9y~|[Ôg-^XfwgjiHfw^X~|a~\Ha Z\a-fh^~|tu[slm^X`6[4H]~|Ha t+×a-Z\a-p~gjfu[pg}ÃHl
^X×y[4~|ka°[s~|Ha-Z^9y£~|[R^^Xf«nÏ-a~|kaFa&{ra&a-g³tualÕqa-~Òa-a-~|kag-^XfwgjiHfutk[X¯m~\Ha
{HZ|[s]4Z_^X`£m[R^4g}Htua&¼£a~\Hthl³yXÒag-^XZ_^4gj~\a-Z|t«Ï-a^R¤H¥§¦2¨È©ªF{HZ|[s]4Z_^X`1bs*Hqpn^^Xql~|Z_^4gj~
Z|a-{kZ|ala-~_^X~\tu[4¿ÒHthg}Kg³[4`qHtuHa½l°^a½vxi^~|t«[4^f g³[4p~|Z|[sf `%[ppa-fut«H]"3¬{kZ|ala-~\atu
loiHqk¶lagj~|t«[4Ob67Òt«~|^a&{ra&a-g³a°]sZ}^X{k 3¬{kZ|ala-~\atuliHqHloagj~\tu[s,p 7}
¼£a-Z
~|Htwl^Xql~|Z_^4gj~Z|a-{kZ|ala-~_^X~\tu[4 yH~oÒ[gj[4`6{Hfua-`a-p~}^Z|nl~|iptual^Z|a{a-Z¯§[4`%a½
~|kaFl~|inR[X¯ -ytu[4~\Ha-ZÒ [sZ}Hl2~\Haloa-~[X¯mt«¼s^Z|th^~~|a-`%{[sZ}^Xf
{HZ\[4{a-Z|~\tual» ~\Ha-n ^Xfuf«[Ò$~|[g}^XZ_^4gj~\a-Z|t«Ï-a,~\Haloa&~ [¯l~}^X~\al%tuÐÒHtwgÐ~\Ha
^Xik~|[4`^X~|[s^4l\lo[pgjtw^X~\a~|[d^¤H¥§¦2¨È©ª'{kZ|[4]sZ}^`g-^%a-¼£[sfu¼£a£ykµE>Ì4ÌE>̲¬¸ÎÀ
µHµu²µh´4¸&´4¸ºÌ\±³y9^%~|HaRloa&~°[¯2~\Ha0~|Z}^lot«~|t«[4lqa-~Ò a-a-6~|HalaRlo~}^~|al³
~|ka0lo~\in[X¯ ! "#$%&ÒHtwg~_^XãaFt«Htu~\th^Xfºlo~}^~|a0^~\Z}^Xag³~|[4Z\tual
tup~|[^sg-gj[siH~&y2~|HZ\[4iH]sÑ~\Haqr[£[sfua^Élot«]4^fhlajÖHa½ qpn~|HaOa-fw^-nK[4{a-Z_^X
~|[sZ3 927}
' )( +*,%& & "% #(-, ,/. 10F". ,! #&
!¶D~\Hthl°Z\a-{[4Z\~-ymÒ a¯§[pgjiºl'[4~|kalo~|iºn[X¯ lo~}^~|twg {HZ\[4{a-Z\~|tua½lj !¶~Ftwl'^%{HZ\a-fut«`%tuº^XZ|n
lo~\in%¯§[4Zgj[ppa]4a&Ha-Z}^~|t«[4O^XOlo~\in%[¯np^X`%twg-^Xf{HZ\[4{a-Z\~|tua½lj
ÄDa^-¼£a£ymt«K~|Ha{HZ\a-¼ptu[4iºlloa½gj~|t«[4mya{kZ|al\loaD~\Ha%~\a-`%{[4Z_^Xf Z\a-fh^~|t«[4l0tuK~\a-Z|`l
[X¯ ^-¼s^Xtufw^XqHt«fut«~on+2-ik^-¼4^tufw^XqHt«futu~nR[X¯ lot«]4^fhljy×^Xº,Ò a0^-¼£a0H[4~\a,~|HaR{^XZ\~|twgjiHfh^ZZ|[sfua
[X¯ qr[£[sfua^Da-{HZ\al|ltu[sl°ÒHa-~\Ha-nO^XZ\ailoa½,~|[OajÖka^loag³[4,[s{ra&Z}^Xº@[¯ ~\Ha
Ü43ÕÙ [s{a-Z}^~|[4Z& %£ig}^Xa-{HZ\al|ltu[stup~|Z\[pigja½lÕ~Ò [Ha-Ògjfu[pg}Ãkl53[Òl|^`%{Hfut«H],7
a-{a-ptuH][s%~|HaÔ{r[zl|ltuqHf«a'¼s^fuiHal3#\~|Z|ika'y #o¯^Xfwloa' 72[¯2~\^X~a{kZ|al\lotu[s%ÒHa-6tu~ twl
ajÖka9
Ha¾g-^X[4qºloa-Z\¼£aF~|^~ ~\HaFZ|a&fua-¼s^Xp~ t«¯§[4Z\`^X~\tu[s~\[Z|a^slo[4O^qr[siH~Ôgjfu[pg}ÃHl
thlgj[sgja-p~|Z_^X~\a t«%~|kZ|a-aF¼s^fuiHalD56&879;:<=6176>?#<@BAC³m[a^f9Òt«~|
~|Htwl tu¯§[sZ|`^~|t«[4myklonpgkZ|[4ktuÏ^~|tu[slg-^,qa0`%[pa-f«fua
tu~\Hag³[4`%`iH~}^~|t«¼£a Öa&fhEDF2sD qn~\Ha'¯§[sfufu[Òt«H]gj[pt«H]»~|[O^q[£[4f«a^X
lot«]4^f A thl%^sl|lo[pg³th^X~\a#^K¼s^XZ\th^Xqkfua ÒHthg}Ð~}^ãal%tu~_l¼s^Xfuikal%tuÐ~|kaKla-~
& R %ÒHtwg`%a^lFZ|al{ra½gj~|t«¼£a-fun~|ka%^qloa-ºgja[¯~|Ha6lot«]4^f¶y~|Ha{HZ|a&
loa&gja0[X¯~\HaRlot«]4^fmÒtu~|~\HaA#|~|Z\iHa'¼s^Xfuika^9yfh^slo~|f«n£y~\Ha0{HZ|a½loa-g³a'[¯2~\Ha
lot«]4^fÕÒt«~|~|ka #¯^Xfwloa'¼s^Xfuika£ %£tuºgjaF~|ka'{kZ|ala-gja2½^Xqla-gja0[¯~|Ha0q[£[4f«a^X
lot«]4^f
A
yHÒ^X~\a-¼£a-Ztu~}l¼s^XfuikaFthl³ythl[4qH~_^Xt«Ha%qn
yHÒHthg}~}^Xãa½l tu~}l¼s^Xfuikal
tu - £ym~\Ha{HZ|a½loa-g³a2^qloa-ºgja[¯^%H[4q[£[4f«a^X¿lot«]4^fHG twl0^Xfhl[a-k[4
~|a½qn6
H Htwla-ºgj[ptuk]thl2{^Z|~[¯^a-k[4~}^~|t«[4^fmloa&`^Xp~|twg-lÕ~|k[4Z|[siH]4kfun
{HZ\aloa-p~|a½,tu b*m ~\Ha-[4Z\n ^D^~|[£[4f^`%aJI½¥§¦©2ª£¥2^-¼£aqa-a-qHiktufu~
[4Æ~\Hthlgj[sgja-{k~~|[^X^funpÏ-a^K¼£a-Z|tÁ¯§nnº^X`%twg-^Xf{HZ\[4{a-Z|~\tual0[X¯d¤H¥§¦2¨m©2ª
{HZ\[4]4Z_^X`l³
tu~\Haq[£[sfua^Dfw^X~|~\thgjad^4l\lo[pgjtw^X~|a½@Òt«~|^la-~°[¯¼4^Z|tw^XqHf«al°qpn fw^-nt«H]%p[XÒ
gj[slo~\Z}^Xt«~_l[s,l[4`%aq[£[sfua^ ¼s^Z|th^qHfua½lj !a-Z|aÒaF{HZ|a½loa-p~~|Htwl`%a-~\H[p94Äa
Òtuf«f ¯§[pg³il%[4Ð~|ka~|ag}HHtwvxiHa½l^sgj~|i^fuf«nt«`%{Hf«a-`a&~\a-Ktu~|Hag³[4`%{Ht«fua-Z~\[
{^Z|~|tw^Xf«fun6lo[4f«¼£aF~|ka0lonklo~\a-`[X¯q[£[sfua^,av£i^X~\tu[sl Z|aliHfu~\tuH]0¯§Z|[s` ^%¤H¥§¦2¨m©2ª
{HZ\[4]4Z_^X` »~|Ha{^XZ\~|tw^Xfklonp~\HalotwlÈ[¯×a{kfuthg³tu~9a-{HZ\al|ltu[slÈ[¯ gj[4p~|Z\[4fpthlma{kZ|al
loa½ qpn,^gj[sfufua½gj~|t«[4%[¯ ~\Z|a-a½l ÒH[£laZ|[£[4~_lFg-^,qa^Z|]4ik`%a-p~}l [X¯ H[4l[4fu¼£a½
gj[slo~\Z}^Xt«~_l°^ t«~\a-Z|º^Xf9k[pal^XZ|a0ap{Hf«thgjt«~a-{HZ\al|ltu[slj
'9 &=.*H, ,,-, $ +"% (#". ,! #&
!¶~^X{H{a^Z}lgjfua^Z|f«n@¯§Z\[4`T~\Ha{HZ|a-¼ptu[sillagj~\tu[4Æ~\^X~6^XÆav£i^X~\tu[s[sÐgjf«[pgÃkl'f«tual
iHa&Z°a^sglotu]s^Xf{HZ\[pgjal|l³
/H[4Z0^¯§iHgj~\tu[4º^Xfa{kZ|al\lotu[s + /- "?36#$--- 6&% 7~|HaRZ|av£iHt«Z|a-`%a&~[4~\Ha
gjf«[pgÃkl thl
1
+ - 36#$,-#-& -036&%H
/H[4ZÔ^a-fw^½n6{HZ|[pgja½l|l
; 6 - 6 9£syrÒa0^-¼£a 3
; 6 - G6Æ
/H[4ZR^a-~\a-Z|`%t«Hthl~|twg°`%a-Z\]4a 6 - "! ? ~|Ha6gjfu[pg}Ãkl°^Z|aZ|a-fw^X~|a½ qpn
G
6 - 1
1
d
/H[4Z0^6[Òl|^`%{Hfut«H] + /- 6 yÒ a^-¼£a
1
+ - G6 mÒka-Z|a
a-k[4~|a0~\HaRgjfu[pg}Ã%[X¯~|kaltu]s^Xf
Ha0q[£[4fua½^Xltu]s^Xf iloa6^4l~|Ha0lagj[s%[4{a-Z}^%[X¯~|Ha [4{a-Z_^X~|[sZ°t«~\Z|[s
igja½l'liH{H{Hf«a-`%a-p~}^Z|nOavxiº^X~|t«[4l³ !Jºa-a9y gj[4ltha&Z'~\Ha6gjfu[pg}ÃHlÔa-H[s~|a 0^X
^XOajÖka^4l
- - ? ? " ? ? ?
? ?
- ?3 ? 7 - ? ? " ? ? ?
? "!
Ha{^Xt«Z"3 7RajÖHa½l%^ H´£Í}²µu²¶µhÀD[¯~\Ha¿gjfu[pg}Ã
1
il³yÒ a^-¼£a,~\Ha
^4Hptu~|t«[4^fÕt«¯§[4Z\`^X~\tu[s
0 - 1
0 - ~|Ha0piHfuf gjfu[pg}Ã! ~|Ha0a-`6{H~n%la-~[X¯t«lo~_^Xp~}l
°fuf×~|Ha½loa0av£i^X~\tu[4ºl°^Z|a0Z|ag&^X{Ht«~|iHfw^X~|a½[4O~}^Xqkfua
lot«]4^fÕ{HZ\[pgjal\l g³fu[pg}Ã%g-^fhgjikfuil ^sHt«~|tu[s^Xfav£i^X~\tu[sl
¢ 68G $§--G %
1
+ - 36#$,-#&-- 36&%
G¢ G
2 3
; 6 - G6
G¢TÞÙ 6 'h 6G - 1
1
¢ G Ü43Ù A 1
+ - G6 0 0 - 1
0 -
^XqHf«a2 /ºZ\[4` ¤H¥§¦¨È©ª [s{a-Z}^~|[4Z_l°~|[q[£[sfua^avxiº^X~|t«[4l
ÙÙR¡£ÝÞ %§Ý Õs¢ !iHa ~\[Fl[4`%apthlo~\Z|t«qHiH~|t«¼t«~n°{HZ\[4{a-Z\~|tua½l9[X¯~\Ha[4{a-Z}^~|[sZ}ly
" ?³y! 3§[4%q[£[4f«a^Xk¬¼s^Xf«iHaOlotu]s^Xfwl87^ £yH~\HaFap{HZ|a½l|lot«[4l ;^X
?3 ? 7g-^XqaZ\a-ÒZ|t«~|~\a-^4lFtup~|a&Z}loa½gj~|t«[4^iHHtu[sD[¯gjf«[pgÃklj !¯ ^gjf«[pgÃ
g-^HH[s~qraZ|a&ÒZ|tu~\~|a- yx~\Haqr[£[sfua^ twl l\^Xth~|[qa0^ &ÍÌ}Ì·}À >£µu²¶µhÀk Ha
Z|a-ÒZ\tu~\tuH]Z\iHfual^Z|a0H[s~°a-piH`%a&Z}^X~\aHa-Z|az»~|ka-ng-^ qa0¯§[4iHtu
'¬Ù¢
!¬¯^X#® ^Z|aK~Ò [lng}HZ\[4H[sil q[£[4f«a^X;lotu]s^Xfwljy~|kaDq[£[4f«a^X*ltu]4º^Xf -
thl k[4~^'¯§Z\a-a0gj[st«~|tu[s¯§[4Z&y~\Ha0gjf«[pgÃkl ^X 3 ? 7g&^X
qaZ|a&ÒZ|tu~\~|a-^4l
- 3 7 3 &7
3 ? 7 - 3 ?3 ? 7 7 3 ?3 ?&7(7
Ha0q[£[4fua½^Xlot«]4^f - 336 -Ð 7 Òka-Z|a6 twl^XOtup~|a-]sa-Zltu]4º^Xfmthl^d¯§Z\a-a0gj[st«
~|t«[4 ¯§[sZH[qr[£[sfua^,Z\iHfuaR^X{k{Hfun%~\[~\Hthl a-{HZ\al|ltu[sm
!¶D~\Ha{º^XZ|~\tu~\tu[4ºl 390 0 7ÒaÒtufuf gj[4ltha&Z't«~|Ha6loa½vxiHa&f¶y twlFloik{H{[£loa½ ~\[
qa'¯§Z|a&a£»~\HaRgj[4ptu~|t«[4l ~\^X~Ô^XZ\a0H[4~¯§Z|a-a¾^XZ|aRZ|a-ÒZ\tu~\~|a-m
';' ,! #( 1. , "%$ *& #( #) 4"/*
k^X~}^pa-{a-a-ºgjntwl ^4l\lo[pgjtw^X~\aÒtu~\a½^4g}{HZ\[pgjal\ljHÐ{HZ\[pgjal|lthlgj[s`%{Htuf«a't«~\[
^ ]sZ}^{H,Z\a-{HZ|a½loa-p~|t«H]~|HaRa&{ra&a-g³nqa-~Ò a&a-lot«]4^fhl³9 Ha0akgja-Z\{H~ [¯]4Z_^X{H
6 +
`%a^l'~\^X~^~a^sgKt«lo~_^Xp~[¯F~\Hagjf«[pgà ×y +$l¼s^Xf«iHaa&{ra&Hl'[s 6 l¼s^fuiHa£
%£ig}O^ ]sZ}^X{k,thlg³[4l~|Z|iºgj~|a¯§Z\[4`~\Ha0a-fua-`6a-~_^XZ\n{HZ|[pgja½l|loa½l°^sl¯§[4fuf«[Òl
6 /-0" 336#$-&- 6&%;7thl^4l\lo[pgjtw^X~\a ~\[~\Ha0]4Z}^{H
' - ---6
1
* *6
6 /- #thl^4l\lo[pgjtw^X~\a ~\[~|Ha0]4Z_^X{H
1
* *6 ÒHa-Z\a 6G - 1
0
6 /- " ? twl^4l\lo[pgjtw^X~|a½ ~|[~|ka']sZ}^{H
1
* 6 1
1
/H[4Za^4g}ltu]4º^Xf 6 ~\Ha-Z|aÔthl ~|kapa-{a-a-ºgjn
G
6 * *6
ÒHtwg`%a^lÈ~\^X~tu~_l2gjfu[pg}Ã`il~2qa°a-¼s^fui^~|aÖZ}l~~|[RgkagÃ0tÁ¯m~|kaa{kZ|al
lot«[4O[X¯ 6 twl ~|[qraRgj[s`%{HiH~\a9
%£av£iHa-p~|tw^Xfmg³[pa0]4a-Ha&Z}^X~\tu[s¯§Z\[4`~\^X~]sZ}^{H ¯§[sfufu[Òl^¼£a-Z\n%ltu`%{kfuaÔl|g}Ha-`%a£/º[sZ
ak^X`%{Hf«aF^loa½vxiHa&~\th^Xf gj[paF¯§[4Z~|ka'{kZ|[pgjal\l!6 /- " ?*thlD
µ ?D336 7F²hÊÌ
µ ?D3 70²hÊÌ
6 -
Ì}¸±Ì
6 -
ÌE>£µ
ÌE>£µ
,ÝHÙ¢'Äa,ÒZ\tu~\a " 4?D336 7R~|[¿~|al~tÁ¯F~\Halot«]4^f-6 twl {kZ|ala-~&»2tu[4~|ka-Z
Ò [sZ}Hl³yr~\[~|al~t¯~|Ha0tuºlo~}^~ika-ZÔgj[4ºlothpa-Z}^~|tu[sthl^XOa-fua&`%a-p~2[X¯G6Æ
/HiHfufa&~}^Xt«fhl[4,~\HaRgj[paR]4a-Ha&Z}^X~\tu[s {kZ|[pgjal\l°g&^Xqa'¯§[4ik t« b <
' .+& ,!$( . ,! , . & &=.*H, , (". , #& ,+) . 10 +&
/HZ|[4`¹~|Hag³[4t«~|t«[4^fa-{a-pa-gjnO]4Z}^{H¿^X~|Hag³[pa]4a-ka-Z}^~|tu[sKl\gka-`%a£ypÒ a
g-^XÖ]4ikZ|a0[4iH~Ò^~°~\Ha0Ha-aHl^Z|a0tu~\a-Z|`l[X¯Z|al[4f«iH~|t«[4m
~^n¿]4tu¼£a&t«lo~_^Xp~-y2qaj¯§[sZ|a~|HaO¼s^Xfuika [¯R^lot«]4^f-6 thlg³[4`%{Hik~|a9y^@~\alo~twl
`^4pa'[s,~\Ha{HZ\aloa&gja2½^Xqla-gja0[X¯ 6K»~|^~Fthl ~\Ha{HZ\aloa&gja2½^Xqla-gja0[X¯ tu~}lgjf«[pgÃ
G
6Æ %£[K~\Ha-Z|atwl^Ha-aD¯§[sZ%^DZ\alo[sfuiH~\tu[sÑ`%a-~\H[pK~|^~Òt«fuf^fufu[Ò ~|[Ka gjt«a-p~|fun
gkagÿ~|Ha{HZ\aloa&gja[X¯d^Kgjf«[pgÃ× Hag}H[4twgja`^4pa,tu~|Ha¿¤H¥§¦2¨m©2ªÆgj[s`%{Htuf«a-Ztwl
^D²Íjµh´ x¸´£Íjµ &´4²µhÀ»m~|^~0thljy^%~|Z_^Xl¶¯§[4Z\`^X~\tu[4[X¯~\Halonklo~\a-` [X¯ av£i^X~\tu[4ºl¾t«~\[
^loa-~R[X¯av£i^futu~\tualF[¯~|Ha¯§[sZ|` -
$
loig}K~|º^X~~\Hagjf«[pgÃp§~|[4gjf«[pgÃ
a-{a-pa-gjnO]4Z}^{Hc ~\Haa]sal °c qa^X¿^4g³nHgjf«thg
]4Z_^X{Hm
' .*4".*+ , *+&E, $( . ,!
Ë~\Z|tw^XH]siHfh^Z lnHl~|a-`=[¯mav£i^~|tu[sl2thl2{HZ\[4]4Z\al|ltu¼£a-f«ngj[slo~\Z|ig³~|a'¯§Z\[4`=~|ka°[sZ|tu]stu^f
lonklo~\a-` 3loa-a~_^XqHf«a*7} °av£i^X~\tu[4[¯~|Ha¯§[sZ|` - $ Fthl°[sZ|tua&~\a 3§Ò a
H[4~\a =- $ 7 t«,[4Z_a-Z~|[6gj[4ºlothpa-Z°~\Hag³fu[pg}ï§[4Z\`iHfw^ $ ^sl ~\Ha
ajÖktu~|t«[4O[X¯~|Hadgjfu[pg}Ã%¼s^XZ\th^qHfua9 !°iHZ\tuH]6~|Htwl {HZ\[pgjal\ljym^,[4Z\tua-p~}^~|t«[4,[¯ lo[4`6a
av£i^X~\tu[4ºl `^-nH[s~°qaR~|Z|t«¼tw^Xf«fun{[£l\lotuqkfua£ Ha&Z|aR^XZ\aZ|a½^4lo[sl ¯§[4Z~|º^X~-
4 Haav£i^X~\tu[4ÉiHpa-ZOgj[4ltha&Z}^X~\tu[s twl[¯~\Ha,¯§[4Z\` - $
qkiH~
~|ka-Z|athlR^XfuZ\a^4pn^,ajÖºHtu~\tu[4[X¯~\Ha¼4^Z|tw^XqHf«a × !¶D~\HthlRg-^4la£y^ Z|a&ÒZ|tu~\tuH]
g-^Dqa{ra&Zo¯§[4Z\`%a~|[¼£a-Z|tÁ¯§n~|^~'~\Ha¯§[4Z\`ikfh^ $
FthlFav£iHtu¼s^fua-p~°~\[
~|ka'{kZ|a-¼ptu[silajÖktu~|t«[4[X¯ 9
b!¶~twl^X¿avxiº^X~|t«[4K[¯~|Ha¯§[4Z|` - $
qHiH~d^XK[sZ|t«a-~_^X~\tu[4¿Ò [4ikfh
tuºigja^gjnkgjfuaRtu~|Hag³fu[pg}ç~|[s¶gjf«[pgÃa-{a-pa-gjnO]4Z}^{Hm !¶D~\HthlÔg-^4la£ym^X
^X~\~|a-`6{H~Rg-^XÆqa%`^sa~\[Z|a-ÒZ\tu~\a~\Ha¯§[4Z\`ikfh^ $ ^KqHZ|a^ÃD~\Ha
gjnkgjfuaz
!¶~Õtwlm^XRavxiº^X~|t«[4R[X¯k~|Ha¯§[4Z|` $
- $ -k[4Ha[X¯~\Ha {^Z|~_lÕ^Z|a
¼s^XZ\th^Xqkfual³!¶%~|kthl g&^4loazy^O^X~|~\a-`%{H~g-^%qaF`^sa°~\[{HZ|[¼£a~|HaÔavxiktu¼s^Xf«a-gja
[X¯ ~|HaF¯§[4Z\`ikfh^4lÒtu~\ Z\a-ÒZ|t«~|t«H]~|ag}HHtwvxikalj
~R~|Haa-[X¯Ô~|Htwl'{HZ\[pgjal|l0~|Ha6{HZ|[s]4Z}^`TthlRl|^thD~\[qra6~|a-`%{[sZ}^Xf«funOtugj[sZ|Z\agj~0t¯
~|Ha&Z|a^Z|alo[4`6a k[4H§{HZ|[¼£aÆav£i^Xf«tu~|t«aljy[4Z%tÁ¯F~\Ha-Z\a^XZ\al[4`%aav£i^X~\tu[sl Òk[£loa
[4Z\tua-p~}^~|tu[sÆtuiºgjal^g³nHgjf«a£ !°a&gja~|Ha-Z\a%thl^Ha-aK[¯Ô^X^4g-g³iHZ}^~|aO^XiH~\[4`^~|twg
Z|a-ÒZ\tu~\tuH]Olonklo~\a-`~|[^-¼£[sth~|HaZ|a|a½gj~|t«[4[X¯{kZ|[4]sZ}^`l'~\^X~R`^-n,^-¼£aqra&a-Æ^4g³
gja-{H~\a%t¯~|Ha0Z\a-ÒZ|t«~|tuk]Ò^sl°g&^XZ|Z\tua%[siH~`^Xpi^fufunz
!¶=*º^Xtu`%{Hf«a-`a-£~}^~|tu[s0[X¯m~\Hthllo~|Z_^X~\a-]4nRthlÕ{HZ\[4{[£la9»£tu~thlÕq^sloa[46^X6^XZ\q[4Z|a½lo
gja-p~ Z\a-{HZ|a½loa-p~}^~|tu[s[X¯~|Ha0av£i^X~\tu[sl^X^loiH`6¬[¯§¬{HZ\[pigj~k[4Z|`^Xfr¯§[sZ|`kFlt«~
Òtuf«frqa0lH[Òtu~|Ha°¯§[sfuf«[XÒt«H]0{^XZ_^X]sZ}^X{kmyr~\HaÔ^XZ|q[sZ|al\gja-p~ Z|a&{HZ|ala-p~}^X~\tu[s%apHtu
qHtu~_l ~\HaRajÖktu~|t«[4l^ ~\Ha0av£iHtu¼s^Xf«a-gja[X¯ ~oÒ[¯§[4Z\`iHfw^4lthl {HZ\[X¼£a½qpng}Hag}Ãt«H]
~|Ha0av£i^futu~n[X¯~\Ha-t«Z H[sZ|`^fr¯§[4Z\`lj
' ")4) ) "%$* *+& . " ./,! , . (". , #&
È[`6a-a-~2~\HaFZ|a½vxiHt«Z|a-`6a-£~}lÕ{kZ|ala-~\a^Xq[¼£a£yp^XO^XZ\qr[sZ|al\gja-p~ [sZ|]£^HtuϽ^X~|t«[4[X¯~\Ha
¯§[4Z\`iHfw^4l°º^4l'qa-a&Ka³ÖHatu *¶ !J~Rl{ra&aHlFiH{~|HaZ|a-ÒZ\tu~\tuH]zl'^tu~Rg-^X{k~|iHZ\al
~|Ha0~\Z|th^H]4ikfh^XZ\tu~n%[¯2~\HaRlonklo~|a&`[X¯a½vxi^~|t«[4l³HÄDa0]4t«¼£aFHa-Z\a0~|Ha0`^tu%twa^4l³
71712
H-% ¬Ý ½XÙpÙ
1
/tu]4ikZ|a@,®^slothgF{^Z|~\tu~|t«[4~|Z\a-a
9a-~ Ñqa^ ¯§Z|a&a g³[4t«~|t«[4^
1
Æt«~}lgjfu[pg}Ã×Fg-gj[sZ}t«H]~|[~|Ha{HZ|[s{a-Z|~\tualma½l|gjZ\tuqa
tu~|Ha{HZ\a-¼t«[4il0lagj~|t«[4l³y9~|ka{^tuZ 3 7thl0^ {º^XZ|~\tu~\tu[4[X¯
1
^XKl\^X~\thlJÖºal
~|Ha0av£i^~|tu[sl
0 - 1
0 - 3¬~\Ha0ikfufmg³fu[pg}Ã ~\Ha0a-`%{H~n6loa-~[¯tul~}^~_l87
3|7
%£ig}O^ {^Z|~\tu~|t«[4thl Z\a-{HZ\aloa-p~|a½qn6~|Ha0~|Z\a-a0[4%Ö]siHZ|a
- 1
/Õtu]siHZ|aR;;ktua-Z_^XZ}g}Htwg-^Xf{^Z|~|t«~|t«[4Ht«H]
%£tuºgja^Xpngjfu[pg}Ãg&^Xqra{^Z|~|t«~|t«[4Haqpn^¾¯§Z\a-agj[stu~\tu[smy4~|kthl2q^4lthg~|Z\a-ag-^X]4Z\[Ò
^4l2tu~_lÕH[pa½l2^XZ\a{^XZ\~|tu~\tu[sHa9 /H[sZ2ak^X`%{Hf«a2[4Ö]siHZ|apy 3 $ $ 79twl2^°{^Z|~|t«~|t«[4
[X¯~|HaRgjf«[pgÃ= kaFZ|[£[s~°`^-nqaR^XO^XZ\qHtu~\Z}^Z|n¯§[4Z|`iHfw^'qHiH~~|Ha0t«~\a-Z|^fH[pal
^XZ\a{^Z|~|t«~|t«[4l³
71710
ÝÙjÝ6Ô¡'¬Ým¡<Bm
FlF^nOgjf«[pgÃ%¯§[4Z\`ikfh^g-^qra{º^XZ|~\tu~\tu[4ka9y~|Ha0¯§[4Z|`iHfw^4l[4Z|t«]4t«^X~\tuH]¯§Z\[4` ^,¤H¥
¦2¨m©2ª{HZ|[s]4Z}^`g-^Xqa]sZ|[siH{aDtup~|[6{^XZ\~|tu~\tu[sD~\Z|a-al³»9~|kthlFla-~0[X¯~\Z|a-a½l°thl0g-^fufua½
^ &À£Í}Ì|±³²Àd·j¸ÁÀ·Â-±³ÄÐtu~\Htu~|kthl¯§[4Z\alo~&ylo[s`%a0~|Z|a&al `^-nqa0[4ka-¬k[pa~|Z\a-alj»p~|Ha½loa
^XZ\agjf«[pgÃkl~\^X~^-¼£aFH[s~°qa-a-{^Z|~\tu~|t«[4Ha½t«~|Ha0[4Z\tu]stu^f¤H¥§¦2¨È©ª{HZ\[4]sZ}^X`
7171
¬Ý ÐÝ6Ô¡'¬Ým¡<BDÙpÙ
$
$
¯§iltu[s
- $
/Õt«]4iHZ\a < /Hilot«[4,[¯2~\Z|a-a½l
!¶ ~\HaF¯§[4Z\alo~[X¯ gjfu[pg}Ãkljyf«a-~ É^X qaRb ~\Z|a-alÒtu~\ Z\[£[4~_l^X Olig~\^X~-
qaRajÖHa½qpn^'¯§[sZ|`iHfh^$
$°^ qa-fu[sH]~\[~\Ha0~|Z\a-a
~|^~ twl~|ka°[s{ra&Z}^Xº[¯~|HaZ|[£[s~6^XZ|atu~|kaF~|Z\a-a04Äa0g-^Z|Z|n[siH~^ z±&µhÀ0[X¯
tup~|[ qnt«loa-Z\~|t«H] Otup~|[%~\Ha~|Z\a-a ^4l0a-{Htwgj~|a½ [4Ö]siHZ|a<z
,Ö]4iHZ\a <dÒ a
{[4tup~ [siH~^{º^XZ|~\thgjikfh^XZH[ppa [X¯~\HaF~\Z|a-a' Rthl~|Ha [¯~|HaFk[pal $
^X -»tu~twl ~\Ha'ÖZ_lo~0g³[4`%`%[s^Xºgjalo~\[4Z[X¯~|kabH[pal³twl H[Ò ^6loiHqH~\Z|a-aR[X¯
~|Ha`%a-Z\]4aR~|Z|a&aÁ Ha¯§iltu[sD[¯b%{^XZ\~|t«~|tu[sD~\Z|a-a½l°nt«a-fhklF^%`%[4Z\a]4a&Ha-Z}^f~|Z|a&a
Ò aRg-^fuf·j¸ÁÀ·Â²ÍÌ}Ì_
Ha,`^Xtu¿tha^,[¯F~\Hatula-Z|~\tu[s[¯0~|ka¯§[sZ|`iHfh^ $ thl~\^X~t«~thltuºloa-Z\
~|aÆiHa&Z~\Ha,qHZ_^Xg}Ht«H]K[X¯¾tu~}l[4{a-Z_^Xkljy^~%~|Ha #\Z|tu]s~6^XÐltha '»2Ò aO]4t«¼£a
`%[4Z\a¯§[4Z\`^XfpajÖHt«~|tu[sl ¯§iHZ\~|Ha&Z-m HtwlFtula-Z|~\tu[4{HZ\[pgjaiHZ\aº^4lF~Ò [tup~|a-Z\alo~\tuH]
¯§a^X~\iHZ|a½l
tu~{kZ|ala-Z|¼£al~|Ha0~\Z|th^H]4ikfh^XZ\tu~n%[¯2~\HaRlonklo~|a&`[X¯a½vxi^~|t«[4l
tu~[4{H~\tu`%t«Ï-al9~|kagj[pa]4a&Ha-Z}^~|aqpn'kalo~\tuH]µ²ÊÌ|Ì}¸±Ì gj[4p~|Z\[4fklo~|Z\igj~\iHZ|al³
7171 12 %§ '¬ k h}Ú4ÕÙp-Ùp 8º %§Ý
!°iHZ\tuH]^a&{H~|%ÖZ_lo~loa½^XZ}g}"3x¯l87[¯2~\Ha0~|Z|a&a #o¯§Z\[4`f«aj¯§~~|[Z\tu]4p~'pyH~|HaÔH[pal
$2^X ^XZ\a ¼pthlot«~|aFqaj¯§[sZ|a ~\Ha k[pa - $
-»-tu~`%a^l9~|º^X~~|Ha[4Z}pa-Z|t«H]
~|^~°`^Xãal~|HaRlonklo~\a-` qraR~|Z\th^Xk]4iHfw^XZthl a&`q[pt«atu~\Ha0~|Z|a&a£
7171 10 A
ÝmÞÕÙÝ*m% £ %§Ý
{^XZ\~|t«~|tu[s~|Z\a-ag-^qa¼t«a-Ò a^sl¾~\HaZ\a-{HZ\aloa-p~}^~|t«[4,[¯ ^Xtugjf«ilot«[4OZ|a-fw^X~|t«[4m
Fl0^`^~|~|a&Z°[¯ ¯^4g³~-y9~\HaÖZ}l~0{^XZ\~|tu~\tu[savxiº^X~|t«[4 * )-
1
=tu`6{Hfut«al ~|^~
0
1
^X 0
1
!°a&gja£ytu¿^%{^XZ\~|tu~\tu[sD~\Z|a-a£y ^ H[pa6thl°t«gjfuiºa,tutu~_l
{^XZ\a-p~-°%`%[sZ|aF]sa-Ha-Z_^Xf«fun£yk^H[patwl tug³fuia½tutu~_l^Xg³alo~\[4Z}l³
@Ö]siHZ|aA<~|Ha6gjf«[pgà - $ FthlFt«gjfuiºa,tu~\Hagjf«[pgà FlF^%`^X~\~|a-Z
[X¯¯^4gj~&y qa-t«H]O^XÆ^gjal~|[sZ'[¯q[4~\ $0^X -yÈÒa^-¼£a $ ^X
e[4lav£iHa-p~|fun¿^Xf«f[X¯Ô~|HaO ¯§[sZ|`iHfh^sl $ -y $ ^Xº $, 'c pa-H[4~\a
$ c ^XZ\a't«gjf«iat« ^~°twljyp~|HaRgjf«[pgÃ~|Z\a-aFZ|a½loiHf«~|tuk]'¯§Z|[s` ^¯§ilot«[4
[X¯b~|Z\a-alZ|a-{HZ\aloa&~_l^X,t«gjf«ilot«[4%Z\a-fh^~|tu[sm
Ha,kalo~\tuH][X¯6µ²ÊÌ|Ì}¸±Ìl~|Z\igj~|ikZ|al'¯§[sZ%gj[ppa,[4{k~|tu`6tuÏ^~|tu[sKthlq^sloaÆ[4Ñ~\Ha
Z|a-`^XZ|Ã~\^X~&y£t¯ 6^X ^XZ\a0bgjf«[pgÃklloig}%~\^X~ y£~|Ha-¯§[4Z^%tuºlo~}^~ ?³yx~\Ha
¯§[4f«fu[ÒtuH]t«`%{Hf«thg-^~|tu[sk[4fhkl
?( #- ?(
!¶[4~|ka-ZFÒ [sZ}Hl³y9t¯~\Ha~\alo~? ( %¯^Xt«fhljy×~|Ha-Z\atwl°H[%Ha&a,~|[%~\alo~Ôt¯F? ( 9 il³y
gj[paR]4a-Ha&Z}^X~\tu[s,g&^X,~_^Xãa0^s¼s^Xp~}^]4a[X¯~|ka't«gjf«ilot«[4Z|a-fw^X~\tu[4qa-~Ò a&a-gjf«[pgÃklj