Modeling A Hardware Synthesis

"!#%$&(' !#)+*,-) )10 78901,1:! *,=<>901*,+# )
./ /24365 2 2
; 2 3
? @BADCFE(GHJILKLMNKPO=AJQRKPO=CLSBTUHWVXJCZYG[Y\? C]VXJ@BAD@Ê[@_I`TaG(H
bcYKPdeCfEEC
gihjlkmgonph&qkr^hsrsgUqtiuwvxh&ryv{zikuwg&zik}|p~ ',)1! 24 7m+!#1! x>! 2 7 / 1]0+! 3 2 ! 78-9! '- 3
,(( 9"m
>#- 9ss# x¡i,¢ 9-8 p£4 (m
¤¥p¦#§¨©[ª
«Z¬p §x©x®{¯§[° £49] ,±² ,8³ !#)6="0+* / / / ´Z9µ9 /¶ f0&01*>· 2 ! µ-)+! 0}´ / 7w= 2 0l7 / & / ¸'! 2 ! 2
9!#-9! 0¸)1!# Pµ1! ¹,0+! c*,-%F! -9! 0=!#)= )+0-+,90-`7m º 7l0+*,0=! 0="»901)¸F! µ
7 -],) »9! ¹2 »0+2 ! c*,»µ/>
241! 01 101½01*! )6]9/01* 2 ´½! / ¶ /[/ )i01*, +´ 7*!#*,1 -2
/ !#P) ¶ 0+*,0Z9!#1/(24! 0-3l)F¼ -F! -]2 0-¶ Ú'(! 0F(,+! / / / 7m)]2F )1! ¾1¿Å
À{Á*Â[!#Ã*,ÃÂ{+Ä -/ ½1»/ ) 0+! / ,
/! 0- -/ 90101! )+!# ! ¹,) f 2 9Ç01 2 )È -]4É[´ 0+*,2 )1!#)¶ ' /[/01*: »2 0+, ´P / Z! !# / #]/24013D 0+Æ!
2Ê 0¸#) ¶ )1 /2 +0-)=! ¶ 01»101! 2 7601*(2 !#)Ë(µ/ 9 ] 20")10}´[#]c/ ! 01* 01/*2 » ¶ 7',)12 _2 )+´ 01*¶ »)+!#)%] 2 901* /24
( 3
!#/ )¸ ¶(P¶#/ )2 0 01-* /! 2B
Ì[,/ )=7 9µ9 /¶ ! 2 9Í9#)-)1) /7l9!#1(¶ ! 0-) // -9,-)+2 ! µ"(»)11! 0+! / )
/ 7 / 1]2 90-+!#¸)1!# / ) 2 / /¶ 2 2 / 3 3# ¶ /2
/ ¶ 2 3
Î:Ï[ÐwÑ%¨©¥ ª`Ò -(6-fµ+! ¹,01! /2 2 o)1´ 2 0+*,)1!#) 01* / 1 [µ !
¶ / 2
*!#*»+ - (»] !#
/ /
*(!#*,1
-(» ! ¹,01!
/ 2 /243
Ó&ÔÖÕ[×6ØÙÚÛ>ÜÝ{Ø(Þ+Úl×
ß=à[áxâmã&ä[å{æâçèPé4êPëìçáíBåîïsáç4ç{ë&âð>æxâmíyà"âèwæà[è&ð»âñàËå{èsòÅæóiâ}ðâ}ðåFéiôsáxòpàè_âè^éiáxâmèsõâèiõ½ëìçáíBåî

íyàæxóiçpòiðZâèwæçBðç{ë}æö]å{áxà`å{è&òDóså{áòpö]å{áxàPòpàðâõè÷:øfèià^å{ïiïsáçwåäóUæçoáxàòiôsäâèiõWæxóiàÅñà[áxâ8ãsù
ä[å{æâçè^éiôiáòpàè^â}ðæxç`äçí^éiâèià]òpà[ñà[îçïsíyà[èwæåèsò^ñà[áxâmã&ä[å{æâçèÅéwê_ôsðâmèsõ
åPäå{î}äôsîmô&ðö½óiàáà
òpàñà[îçïiíyà[èwæ"ð»æàïsð]à[âmæxóià[á½õôså{áå{èwæàà:ä[çáxáà(äæxèiàðxð%çá[úsðâèsäà:ïiáxç4ç{ëð»æàïsðZåáà:âèUïsåáxåîîmàî
æçUòpàðâõèJðæxà[ïsð[úlåîmîç,öûà(å{áxîêBòpàæxàäæxâçèJç{ë¸òpà(ð»âõèüà[áxáxçáð÷½ý4ôsäóDå{ïiïsáçwåäóià(ð]ósåñà
élà[à[è
åäæâñàîêUâè4ñà(ðæxâmõwå,æxàòUëìçá`ðç{ë}æö]å{áxàÅòpàñà[îçïiíyà[èwæ[úà÷ õs÷8úæxóiàWôsð»àWçëËäçèsðæxáô&äæâñàÅîçõâäð
þÿ ú å{è&òoæxóià`íBåèwêUå{ïiïiáxçåäóiàðËæxçoòpàòiôsäæxâmñàPð»ê4èwæóià(ð»â}ð þ ú 4
ú 4 ú
1÷FøFëïså{áæâ}äôsîåá
áxà[îà[ñ,å{è&äà]æç_çôiáËöËç á ^óiàáà:å{áxà½æóià:å{ïiïsáçwåäóià(ðæç^ð»ê4èwæóià(ð»â}ð=ö½ósà[áxàFáxàðçîôpæâçè_â}ð¸ô&ð»à(ò
æçPä[çèsð»æáxôsäæ=ïiáxçõáxåíBðòpôsáâèiõ:ïiáxçwçë+ð ÷ ]óiâ}ðíyàæósç4òiçîçõêfõçwà(ðésåä
æx ç :áàà[è #ðôsðà"çë
ãsáðæù-çáxòià[ááxàðçîôpæxâçè:æç
å{ôpæxçíBå{æâ}ä[åîmîê½ðêwèwæxóiàðâ [à%ïsáçõáå{íBðòpôiáxâèiõFïsáç4ç{ë+ð þ - ÷ çáxà
áxàäàèwæîê{úpö½âmæóiâ è "!$#%#
!6ú&âmèwæxà[áåäæxâñàFåèsòBæåäæâ}ä:õôiâ}òpà(òoïiáxç4ç{ëéwêoóiâõóiàá»ùçáòpà[áËáà(ðù
çîôpæxâçè^ósåð=élà[àèyôsðàò^æç_äçè&ðæxáôsäæ¸ïiáxçõáå{íBðâè^æê4ï&à½æxóià[çáê þ &'-ú4òpàñàîmçïÅëìôsèsäæxâmçèså{î
ïiáxçõáxåíBð6ôsð»âèiõZä[î}åðxð»â}ä[åî,îçõâ}äð þ )ú ()-ú{å{èsòÅð»ê4èwæóià(ð»â à=îmçõâ}äïiáxçõáå{íBð þ - ÷ ]ósà[áxà¸â}ðå{î}ðç
å:õáxç,ö½âèiõFélçpòpêÅçëlö"ç*á PçèWïiáxç4ç{ë&é&åðàò_óså{áòpö]å{áxà"ðê4èæxóiàðâ}ð þ % ú ÿ %ú +
ú 'sâèsä[îôsòpâèiõ
ðêwèwæxóiàðâ}ðËé&åðàòUçèüóiâõóiàá»ùçáòpà[áËáà(ð»çîôpæâçèoôsð»âèiõ_æós- à ,.0/12Íðê4ð»æàí þ 4ú wú &'1÷
3ÍàDïiáxàðà[èwæyöËç á óiàáàJçè ä[çí^éiâèiâèiõDæö"çÍòiâ 46à[áxà[èwæyòpà[ñà[îçïsíyà[èwæ_íyà[æóiçpòpçîmçõâàð 5
ðêwèwæxóiàðâ}ðÅésåð»à(ò çè óiâõóiàá»ùçáòpàá`áà(ð»çîôpæâçè åèsò å ïså{áæâ}ä[ôiî}å{á`íyà[æóiçpòpçîmçõê ëìçá_æóià
æçïpù9òpç,ö½èDòpàòpô&äæâñà:áxàã&èià[íyàèæ½çë=ðïlàäâmã&äå,æxâmçèsð"âèæxçyäâáxä[ôiâmæxð[6 ÷ ]óiàPî}å,ææà[áFâð½åWèsç,ñà[î
å{ïsïiáçwåäóÅæç
óså{áòpö]å{áxàËðê4èæxóiàðâ}ðúäå{îîà8ò 7:9);=<?>)@BAC)D"EFBG=H=IHúïiáxçïlçðàòÅé4ê`æósK à JL!$MNPO%:
õáxçôsï å{R æ Q
àèæ Sþ ('1U÷ T9W è ViçáíBåîfý4ê4èwæóià(ð»â}ð[ú]çèià ð»æxåá»æðBö½âmæóûY å X GZHIS[ D\[
9>)@#ú:ö½óiâ}äó
ðï&à(äâmãsàð½æóià`élà[ó&åñwâçáxåîlïsáçï&àá»æxâmà(ð]ç{ë=åBäâáäôiâmæ"æçBélàÅä[çèsð»æáxôsäæxàò6ú6å{èsòüâèwæàáxåäæâñà[îê
áxàãsèià(ðPæxóiàUòpà(ð»âõè ôsð»âèiõ å ð»íBåîî=éiôpæWï&ç,ö"à[áëìôiîËðàæ^ç{ ë E]G*^F+DI`_ZaBGZHú¸ö½óiâ}äó å{îîç,öZðfæóià
b
òpàñà[îçï&àáËæxçWóiâà[áå{áäóiâ}ä[å{îîêÅòpà(äçíyï&çwð»à

ð»ïlàä[âmã&ä[å{æâçèsð"å{è&òoâèwæáxçpòpôsäàPðôié6òpàðâõèsð]å{è&ò
î âéiáxåáêPä[çíyïlçèiàèæðâè^å
èså{æôiáå{îpö]åê{÷cT9èwæà[áxèsåîmîêú{àåäó_æà(äóièiâPdwôià½äçèsð»â}ð»æxðçë6å:ïsåâmá=çë
ëìôièsäæâçè&ðZ5=åeH=aBf][
9>)@gIPD+[ihajD"^kElI`9)DJå{èsòBånm'>@gI`X > EÌ`9D-hajD"^kEÌ`9Di÷.]óiàFëìçáxíyà[á%òpà(äçíyï&çwð»à(ð
åyðï&à(äâmã&ä[å{æâçp è okq
rts
âmèwæxçWðôiésðïlàäâmã&äå,æxâmçèsu
ð oq
rvswi
÷ ]óià`î}å,ææà[áZæxå àð]ïiáxç4ç{ë+ð]æxóså,æ:ð»çíyà
x y q w åäósâmàñz à oq
rvs w úåèsòÍäçè&ðæxáôsäæxð
å{èÍâíyïiîà[íyàèwæxå,æxâçè x y q ö½âmæxóeåJïiáxç4ç{ëËæóså{æ x y q
åäósâmàñà({ ð oq
rts ÷ 3ûóiàèyæósàFáxàãsèiàíyà[èwæ¸â}ðãsèiâ}ðóiàòúæósàfðê4ð»æàí ä[çíyïlçðàðæxóiàZñ,å{îâ}òiå{æâçè
ëìôièsäæâçè&ðyæó&å,æoö"à[áxà å{ïsïiîâmà(ò åèsò æxóiâ}ðBäçèsðæxáô&äæxðUåÍæósà[çáxà[í æó&å,æüW å |+ðêwèwæxóiàðâ [à
ò }
äâáäôiâmæ½ðå{æâ}ð»ãsàð%æóiàPçáâõâmè&å{î&òiàðâmõèoõçå{î-÷
>çJíBå à_æósàWåé&ç,ñà^ä[îàå{áxà[áúcäçèsð»â}òpàáfçèiàWç{ë"æóiàyðâíyïiîà[áZæxàäóièsâ dwôià(ðúäå{îîà~ ò A "@gIE+÷
]óià½ðôiéiõçwå{îâèiõ]ëìôièsäæâçè_áà(òpôsä[àðåfòiàðâmõèÅõçå{î okq
rts'+-okq
rtskæxçfæö"çFèsà[ö òiàðâmõè`õçwå{î}ð[ú
çèsàfëìçá½àåäóüä[ç)è ôiè&äæ[6 ÷ ]ósàPñåîâòså,æâçèWëìôièsäæxâçèüâð]é&åðàòUçèUæóiàPáxôiîà
x y q ko q
rts x y q * oq
rvs | }
x y q x y q okq
rts -ko q
rts
ö½óiâ}äóüàZpïiî}å{âèsðËóiç,ö æçBäçí_ésâmèsàFâíyïiîà[íyàèæå,æxâmçèsðæxóså,æfåäóiâà[ñàZæósàÅð»ôséiõçwå{î}ð%âèwæçyåè
âíyïiîà[íyàèæå,æxâmçè æxóså,æBåäóiâà[ñà(ðPæxóiàDçáxâõâèså{î%õçåî-÷]óiâ}ð-4âèsò ç{ëZæxçïpù9òpç,ö½è ïiáçéiîà[í
òpà(äçíyïlçðâmæâçè â}ðPâèÍæóiàüð»ïiâáxâmæ
ç ë |`c{V ð»æê4îm'à }:æxåäæxâäð`å{è&ò òpàðâõèiâèiõDåDõçwçpòÍðàæ_çë
æà(äóièiPâ dwôiàð_â}ðWå{èsåîmçõçôsð
æçÍòpà(ð»âõèsâmèsõ å{è å{ïiïiáxçïsáâ}å,æxàoðàæyç{ëZæåäæâ}ä[ðÅëìçáyå ïiáçéiîà[í
òpçíBå{âè ÷ Fç,öËàñà[áúpæxåäæxâäðZòpà(äçíyïlçðàPåWõçwå{îcâèwæçyðôiéiõçwå{î}ð"ëìáxçí ö½ósâäóDåWñ,å{îâ}òiå{æâçè
ïiáxç,ñà(ð%æxóiàPçáxâõâèsåî&õçå{î-ú4ö½óià[áxàåð]ö½âmæóüæà(äóièiPâ dwôiàð[ú4æóià`ñ,åîmâ}òiå{æâçèyïsáç,ñàð]åyòpâ 4làáàèwæ
æósà[çáxà[í åî8æxçõàæósà[á ÷ ViçáíBåîý4ê4èwæósàðâðfð»àïså{áå,æxàðfòpàðâõèDõçwå{î}ðZåèsòDæxàäóièiPâ dwôià(ð½ëìáxçí
çáòpâèsåáêWæxóià[çáàíWù-ïiáxç,ñ4âèiõ`õçwå{î}ð]å{èsòüæåäæâ}ä[ð[{ ÷ ]óiâ}ð½â}ðZåyä[çèsä[à[ïpæxôså{î>ð»àïså{áå,æxâmç è 5=æósà[ê
å{áxàyòpâ 4làáàèwæ
ðçáæxð
çëËà[èwæxâ8æxâàð:ö½âmæóÍòpâ 4làáàèæ`ðà[íBåèæxâ}ä[ð[L ÷ Dçáàç,ñà[áfæósà[ê åáà_æáxàå{æà(ò
òpâ 46à[áxà[èwæîêoâèJæxóiL à JL!$MNPO%:`âmíyïsîmàíyà[èwæxå{æâçèBæç4çUåès ò ViçáíBåî>ý4ê4èwæóià(ð»â}ð½áxkà dwôiâáxàòüZà 4ù
æàèsòpâèiõ^æós à J8!$MNPO%:fæxóià[çáàí ïiáxç,ñàáËâmæxðà[îmë9÷
øfôiáBä[çèwæáxâéiôpæxâmçè â}ðÅæxç ð»óiç,ö óiç,ö æxçeáxà[âèwæàáïsáà[L æ ViçáíBåî]ýpêwèwæxóiàðâ}ð_åðyòpàòpô&äæâñà
ðêwèwæxóiàðâ}ð=ésåðàò^çèyóiâõóiàá»ùçáòpà[ááxàðçîôpæxâmçè_åèsò^æç`à pïiî}å{âè_ö½ó4ê_æóiâ}ð%âmèwæxà[áxïiáà[æxå{æâçè_âð
èiçæFçèiîêBè&å,æôsáxåîcéiôpæ
å{î}ð»çWåòiñåèwæxå{õà[çôsðK ÷ ]óiàPáxà[âèwæà[áxïiáxàæå,æâçèUð»æxå{áæxðZö½â8æxóüæóiàPã&èså{î
æósà[çáxà[í æó&å,æFæxói8 à VsçáxíBå{îý4ê4èwæósàðâðFñ,å{îâ}òiå,æxâmçèsð]ð»ósçôiî}òJòpà[îâñàá 5"åBäâáäôiâmæZåäóiâàñàð½å
ð»æxå,æxàòJðï&à(äâmã&ä[å{æâçèc6 ÷ Zç,ö"à[ñàá"æóiàÅä[âáxä[ôiâmæ"â}ð]èiçæFõâñàèoôiïJëìáxçèwkæ sâèsðæxàåòoâmæZâ}ð]èså{íyà(ò
é4êUåyíyà[æxåñ,å{áxâ}å{éiîà ÷ %áç4ç{ëïiáxçpäà[à(òið½é4êUåïiïiîê4âèiõ_áxôiîàð]â è =Z0!$#%#%!üæóså{æfäçááxàðï&çèsò
æz ç J8!$MNPO%:`ñ,å{îâ}òiå,æxâmçèoáxôiîàð½îâ ? à | }÷ Ëà(ä[åôsð»àPáxôiîàÅåïiïiîâ}ä[å,æxâçèBôsðàðfáxàðçîôpæâçèú4æóià
íyàæåñ,å{áxâåéiîàfâ}ðFâmè&äáxà[íyà[èwæå{îîêyâmè&ðæå{èwæâ}å,æxàòUæçUæósà^ðê4èæxóiàðâ [à(òDäâáxä[ôiâmæ[u ÷ àæ
ôsðfâmîîôsð»ù
æáå,æxàBæxóiâ}ð`ö½âmæóÍæxóiàJýpïiîâ8æPæxàäóièsâ dwôià÷Íøfôiá^õçwå{1 î |1ð»âíyïiîâmëìê4âmèsõüðîâmõówæî$
ê }Zâ}ðPæxç ïiáxç,ñàBå
æósà[çáxà[í îâ L à x y q okq
rtsúcö½óiàáà_æósL à dwôià(ðæxâmçè íBå{*á Jíyàåèsð½æxóså,æ x y qDâ}ð:åoíyà[æxåñ,å{áxâmù
å{ésîmàc ÷ T
ë okq
rts½â}ð%å_äç)è ôièsäæâçè ú oq
rvs oq
rts ú4æxóià[èBö"àfäå{èyáxàðçîñ1 à x y q okq
rts okq
rts
ö½âmæó æóiàJáxôiîàoâW è | } ÷ ]óiàUáxàðôiîmæWâð^åeð»ôié&ðæxâ8æxôpæâçè ú x y qi x y q x y q ú]å{èsò æóià
ðôiéiõçwå{î} ð x y q okq
rts åèsR ò x y q okq
rts . ÷ Viôiáæósà[á½áxàãsèiàíyà[èwæËçëæxóiàðàPð»ôiésõçåî}ð¸ö½âîî
õàèià[áå,æxàfâèsð»æxåèsäà(ð"ç{ëæói- à x y q w åèsòüóià[è&ä à x y q6÷
]óiàáà åáàJåÍè4ôií^é&àá^çë
åòpñ,å{èwæxåõà(ðÅæxçeæóiâ}ðWáxà[âèwæà[áxïiáxàæå,æâçè ÷ TæBâ}ðWäçèsäàïpæôsåîîmê
ðâmíyïsîmà ÷ 3eàBòpçJåö]åêüö½âmæxó æósàWðôiéiõçåîåèsò ñ,åîmâ}òiå{æâçèüëìôiè&äæâçèsð
å{èsò îàæ
áà(ð»çîmôiæâçè
äçèsð»æáxôsäæ>ä[âáxä[ôiâmæxð[÷ Tæ>â}ðcðâmíyïsîmàæxçZâíyïiîà[íyà[èwæ ÷ Fçfäósåèiõà(ðcå{áxà=áxkà dwôiâáà(òfæç½æxói6 à Tðxå{élà[îîà
ðê4ð»æà
í >âèsð»æà(åò6úö"àyòpà[áxâñà_áôiîà(ð:åèsòeïiáxçõáå{í\æåäæxâ}ä[ð:âèeåèÍåïiïiáxçïiáxâ}å,æxà`Zà 4æàèsðâmçè
ç{8 ë Tðåé&àîmî à ðWæxóià[çáê çëÅóiâõóiàá»ùçáòpàáyîmçõâ} ä |`
ø :}1 ÷ Dçáxà[ç,ñà[áú"æxóiàeáàâmèwæxà[áxïiáà[æxå{æâçè
íBå àðfâmæ
à(åðêJæçDâíyïiîà[íyàèwæFèià[ö æà(äóièiPâ dwôiàðfæó&å,æÅå{áxàWäçíyï&å,æâéiîà`ö½âmæxó æxóin à ViçáíBåî

ý4ê4èwæóià(ð»â}ð:ðæê4îà^ç{ëËòpàñàîmçïiíyà[èwæ
÷ T9è æósà^ï&åð»æ[úö"à_ó&åñàÅö"çá*à(òDçèeáxôiîàð:å{èsò æxåäæâ}ä[ð
ëìçá
æxóiàyð»ê4èwæósàðâð:çëËîçõâä`ïiáçõáå{íBð þ "å{èsò æóià(ð»àWïiáxçõáxåíBðFåáàWð»âíyâî}å{á]æxçJä[âáxä[ôiâmæxð5
élç{æóûäå{èºélà òpà(ðä[áâélàò åðBä[ç)è ôsèsäæxâmñà äçí_éiâèså{æâçè&ð`ç{ëPïiáxâíyâmæâñàUáàîå{æâçè&ðÅö½óiàáà
Zà pâ}ð»æà[èwæxâåBî dwôså{èwæxâ8ãlä[å,æxâçè^âð%ôsðàòWæx? ç ïsåðxð¸ñ,åîmôsàð8÷"ê^íyç,ñ4âèiõ ViçáíBåî&ý4ê4èwæóià(ð»â}ð%âmèwæxç
åZðâíyâmî}åá&æxóià[çáàí ïsáç,ñ4âèiõ½ð»à[æ»æxâmèsõiú,öËàËäçôsîòPåòiå{ïiæå{è&òPå{ïiïiîê:íBå{è4êFçëiçôiáæxåäæâ}äðå{è&ò
áxôiîàðfëìçáPîçõâ}äPïiáxçõáå{íyíyâèiõBðê4èwæóià(ð»â}ðfæçDäâáäôiâmæ
ð»ê4èwæóià(ð»â}ð[e ÷ VsçáPà påíyïiîà{úáxôiîàðfëìçá
òpàñà[îçïiâèiõBáxàäôsáxðâñàÅïsáçõáå{íBðZê4âà[î}ò èià[ö æàäósèiPâ dôsàðfëìçá`òpàñàîmçïiâèiõBïsåáxåíyàæxà[áxâ àò
äî}åððàðoç{ë_ä[âmáäôsâ8æð¡ ÷ 3Íàeåîðç à 4ósâmésâ8~ æ |+äë9÷ZýpàäæxâçWè %}yæxóså,æJæósp à 4âèsòºçëÅáôsîmà(ðoô&ð»à(ò
ëìçá:áxàðçîôpæâçèpù-é&åðàòüòpà[ñà[îçïiíyàèwæZâmè æói? à ,.0/12 ð»êpð»æàí åáà^äçíyïså,æxâmésîmà
ö½âmæó çôiá
áxà[âèwæà[áxïiáxàæå,æâçè÷
]óiàeáxà[íBå{âèsòià[áWç{ëPæxóiâ}ðoïsåï&àáoâ}ðBçáõwå{èiâ àò åðBëìçîîç,öZð¢ ÷ T9è ý4à(äæxâmçW è ö"à áxà[ñ4âà[ö
ðçíyàyàðxðà[èwæâ}å{î}ðPä[çèsä[à[áxèiâèi£ õ J8!$MNPO%:oå{ès ò "!$#%#
!6p ÷ T9è ý4àäæâç è & öËàBïsáà(ð»àèæÅæóià
ViçáíBåî>ý4ê4èwæóià(ð»â}ðZæàäósèiPâ dôsàðFåèsòDâè ý4à(äæâçè ÿ çôsáfå{é&ðæxáxåäæâçèúsâèwæà[áxïiáxàæå,æâçèú&å{è&ò
Zà 4æxà[èsðâçè^ç{ëlæóiàíJ: ÷ 3Íà½ïiáxç,ñwâ}òpàËæö"ç:à iå{íyïiîàðâèyý4àäæâçè 5åPäçíyï&å{áå,æçáä[à[îî-ú{ö½óiâ}äó
ö]åð"òpà[ñà[îçïlàòWâ¤ è JL!$MNPO%:úiåèsòBå_ïså{áå{íyà[æà[áxâ [à(ò_äå{áxáê^îçw
ç ,å{óià(åòWåòiòià[áúwö½óiâ}äóBö]åð
òpàñà[îçï&à(òWôsð»âèiõPçôiá"Zà 4æàèsð»âçè^ö½âmæxóBâèsòpôsäæâçè^æà(äóièiPâ dwôiàð[÷ V>âèsåîîmêÅöËà:äçíyï&å{áxà"ö½âmæxó
ç{æxóià[áZòiàðâmõèoíyà[æóiçpòpçîmçõâàðËå{èsòüòpáåö äçèsäîôsðâçèsð[÷
¥Ô§¦LïÝ© ªsÙ,ÚlÜ>×Û
3Íà`åðxð»ôiíyàPðçíyàfë+å{íyâîâ}å{áxâ8æêÅö½â8æxó "!$#%#

! þ &'>åèsòüóiâõóiàá»ùçáòpà[á"îçõâäfå{èsòüáxà[ñ4âà[ö
çèsîmêÅèiç{æå,æâçè^åèsòWå
ëìà[ö àðxð»àèwæâ}å{î}ð[÷c=Z "!$#%#
!^â}ð=å{èWâèwæàáxåäæâñà%æåäæxâ}äùésåðàò`æóiàçáxà[í
ïiáxç,ñàá[÷\T æxðBíyàæxåîçõâ}äyâ}ðyå ëìáå{õíyàèwæWçë:âèwæôsâ8æxâçèiâ}ð»æâ}äWóiâõóiàá»ùçáòpàá_îçõâ}äBésåð»à(ò çè
æósàyæê4ï&à(ò î}å{í^élòiå{ùäå{î}äôsîmô&ð½ö½óiâ}äó å{îîç,öZðfïlçîê4íyçáxïióiâ}ðí éiôpæ_èsç{æ_òpàï&àèsòpàèæ_æê4ï&à(ð÷
øfj
é à(äæFîçõâ}ä[ð]å{áxà`à[è&äçpòpàòJâè=Z0!$#%#%! ðFíyàæå{îçõâäFé4êüòpà(äî}å{áxâèiõWåEFBG9);=Cúö½óiâ}äóJâð
åyðâmõèså,æxôiáxà:åèsòDð»à[æZç{ë=)å pâçíBð[6 ÷ Viçá½Zà iå{íyïiîàúiïiáçï&çwð»âmæxâmçèså{îlîçõâäFíyâõówæ"ó&åñà`å^æê4ï&à
«K¬k® ç{ë%ëìçáí^ôiî}å{àúlö½âmæxó äçèsð»æáxôsäæxçáðfîâ à_äçè ôièsäæxâçè:
ú úå{èsòeåUæêwïsâäå{îïiáxçwçë%áxôiîà
ö"çôiî}òBélà ¯g¯v° ° °
´¶µ B´
t±W² «K¬®z³ ± ±·j
ö½óiâ}äóU ¯g¯ ëìçáxíBå{îâ[àð¸æóià_äçèôièsäæxâçèpùâèæxáçpòpô&äæâçèyáôiîà
ç{ëèså{æôiáå{îcòpà(òpôsäæâçè÷{Zà[áxà-B´
å{è&ò å{áxàBâíyïiîâ}ä[å,æxâçè åèsòÍôièiâñàáxðxå{ î dô&å{èwæâmã&äå,æâçè â¸
è =Z0!$#%#%! ðÅíyàæå{îçõâä{ú>å{è&ò
ðóiçôiî}òJèiçæfélà_ä[çèpëìôsðàò ö½â8æxóDà[èsä[çpòpàòDçï&àáxå{æçáxð[úsîâ - à ú ú6çº á ¹lúçëæxóià_ëìçáxíBå{îâ [àò
ç$ é àäæ_îmçõâ}ä,÷ øfôpæxà[áxíyçð»¤ æ |ìíyàæå,vù }vdwôsåèæxâmãsà[áðPå{áxàyç{ë}æxà[è çíyâ8° ææà(òeåèsòÍâmæ° àáxå{æàòÍâíyïiîâmù
ä[å{æâçè âð:ö½áxâmæ»æàè âè åUíyçáxàÅáxàåòiå{ésîmàÅîmâ}ð»æfèiçæxå{æâçèúcà÷ õs÷8. ú »» ¼ B´ L ÷ ]óià(ð»à
±Y½ ½ ±
âíyïiîâ}äâmæîz ê dwôsåèwæâmãsàòeñ,å{áxâ}å{éiîà(ðfåáàWæxáà(å,æà(òÍåðPíyà[æxåñ,å{áxâ}å{éiîàð[ú6ö½óiâ}äóÍäå{èÍélàBâèsðæå{èpù
æâ}å{æàò ö½óià[èÍå{ïsïiîêwâèiõBæóiàyáxôiîàÅôsðâèiõüóiâõóiàá»ùçáòpà[áFôièiâmã&ä[å{æâçèc- ÷ T9è çôiá
öËç á Dö"à^ôsð»à
=Z0!$#%#%! ð^æxóià[çáê ç{ë
óiâõóiàá»ùçáòpà[á^îçõâä{ú¸ö½óiâ}äó â}ðWésåð»à(ò ç¾ è :çáòpç ð ¿?À8, þ [ÿ 1ú
è #?
Zà 4æxà[èsòpà(òÍö½âmæóÍæósà[çáxâàð
çë½ðàæðúö"à[îîmù1ëìçôièsòpà(ò áxàäôsáxðâçèúèså,æxôiáxåî¸è4ôií^é&àáxð[úåèsò æóià
îâ à{÷
3ûâmæósâm? è =Z0!$#%#%!`æxóià]ïiáç4çëlð»æxå,æxà]âðáxà[ïiáxàðà[èwæxàò`é4êÅåfæxóià[çáàÁ í » »kÂ ³³³ Â Ã ´ÁÂ
ç{ëæóià
íyàæå,ù-æóiàçáxê{

÷ ¸áxç4ç{ëäçèsð»æáxôsäæxâmçèyâ}ð"òiçèià:é4êyóiâõóiàá»ùçáòpà[á%áà(ð»çîmôiæâç
è 5:½ ½ âmñà[èoå
ðôiéiõçwå{j î Â w åèsòyå
ïiáxç4ç{ë6áôiî à » »kÄ ¼ ³³³ ¼ ÄBÅ B´ÆÄ6úö"àZôièiâmëìL ê ÄWö½â8æxe ó Â w ÷ Tëlæxóiâ}ð¸ðôsä[ä[à[àòsðú
½½
æósà[èüôièiâmã&ä[å{æâçèoêwâàîòsðËå^ð»ôsésðæxâmæôpæxâmç¤ è ÇJå{èsòoæósà:ïsáç4ç{ëðæå,æà
â}ð"ôiï6òiå,æxàòUéwêBåïiïiîê4âèiõ
ÇUæç^â8æ½å{è&òBáxà[ïiî}åä[âèi õ Â w ö½âmæóoæóiàPðôiéiõçå{î} ð Ç:µÄ ³*³³ Ç0µÄ Å sð»âèsä[àFôièsâ8ãlä[å,æxâçèyâ}ð%ô&ð»à(ò
· ·
æç å{ïiïiîê áôiîà(ðú>æóiàUïiáç4çë]ð»æxå{æàBâmæxðà[îmë]íBåê ä[çèwæxåâmèeíyàæåñ,å{áxâåéiîàð[? ÷ 3eàUZà pïiîçâmæ
æósâð
È
æç ð»ê4èwæóià(ð»âà äâáxä[ôiâmæxðWòpôiáxâèiõ ïiáxç4ç{ë+ð[÷¢Fç{æxàDæóså{æüåÍïiáxç4ç{ëPáxôiîà ä[å{èºélà áxàåòºåðBåè

âèwæôiâmæâçèiâ}ðæxâäFð»àdôsà[èwæ½ö½óià[áxà
æóià8Ä w å{áxàfæxóià`ó4ê4ï&çæóià(ð»à(ð÷.Tðxå{élà[îîà#ð"áà(ð»çîôpæâçèBæxåäæâ}ä[ð
å{ïsïiîêUáxôiîàð½âè åyö]åêUæóså{æfíBå{âèwæxåâèsðËæóiâ}ðZâîîôsðâmçèoçë¸öËçá 4âèiõWö½âmæó ðàkdwôià[èwæðfåèsòJöËà
ö½âîîlçë}æàèüáxàëìàá]æç^æós à Ä w åð½åðxðôiíyïpæâçèsð÷
JL!$MNPO%: þ 'É ú '¸â}ðPåBæåäæâ}ä^ésåðàò æóiàçáxà[í ïiáxç,ñàáPð»âíyâî}å{á]æ ç = !B#
#%! åèsò æóià
¿nÀ8, ðê4ð»æàíJúwésôpæ"âmæð¸óiâõósà[áù-çáxòpàá=îçõâ}ä]â}ð%åôiõíyàèwæàòWö½âmæxóoäçèsðæxáô&äæâçèsð=ëìáxçí æê4ï&à
æósà[çáxê{ú&à{÷ õi÷múlð»æxå{è&òiå{áòBæê4ïlàÅäçèsð»æáxôsäæxçáð½ð»ôsäóDå ð |+òpàï&àèsòpàè=æ }"ëìôièsäæâçèDðïsåä[à{úlïiáçpò4ù
ôsäæ[ú&åèsòUðôiépæê4ïlà{÷
T9n
è JL!$MNPO%:úwà[ñà[áxêPæàáí å{èsò^à[ñà[áxêPæósà[çáxà[í â}ð=åðxð»çpäâ}å{æàòÅö½âmæóWåPð»ôiïsï&çá»æ%ðâõèså{æôiáxà
æó&å,æyòpàðxäáxâé&à(ðPæósàoæxóià[çáêeæç ö½óiâ}äó æósàoæxà[áxí çáÅæxóià[çáàí é&àîmçèiõð[Ê ÷ ]ósàüðâõèså{æôiáxà
äçèsðâð»æxð`ç{ëZäçèsðæå{èwæ_òpà[ãsèiâmæâçèsðú=òpà(äî}å{áå,æxâmçèse
ð |}æê4ïiâèiõùä[çèsð»æáå{âèwæxð }Zà[æxä{÷åèsò ä[åè é&à
Zà 4æxà[èsòpà(ò_òiêwè&å{íyâ}ä[åîmîêZö½âmæxó_èiàö òpà[ãsèiâmæâçèsð>òiàäî}åáxå{æâçèsðcçáà[ñà[è_åððôiíyïpæxâçèsð>òpôiáxâmèsõ
ïiáxç4ç{ë9úiö½óiàáà
âmæZð»àáñàð]åð½å^ïiáxç4ç{ë}ù9äçèwæxZà 4æ[÷
3ûóiàèyôsðàò^æçPáxàåð»çè_åé&çôpæ%ósåáxòpö]å{áxà{ú{çèià½ïiáxç,ñà(ðæxóià[çáàíBð>æóså{æ%áàî}å,æà]âíyïiîà[íyàèpù
æxå{æâçè&ðËçëä[âáxä[ôiâmæxð[ú x y qlúsæç^æóiàâáZð»ïlàä[â8ãlä[å,æxâçèsð[ ú okq
rtsúsà÷ õs÷8ú
¹'Ë ³³³ ËjÅ ³x y qµÌË ³³³ Ë+Å oq
rts)µÌË ³³=³ ËjÅ
· ·+
ö½óiàáàË ³³=³ Ë Å å{áxà]æósàZàZ4 æàáè&å{îiïlçáæ%èsåíyàð[÷cÍFð%â}ð¸äçíyíyçèú{ósåáxòiö"åáà]â}ð=áxà[ïiáxàðà[èwæà(ò
áxà[î}å,æxâmçèså{îîê{úö½ósà[áxà%ïiáxâíyâ8æxâñà=äçèsðæxáô&äæçáxðì| à÷ õs÷8ú,æxáxåèsð»â}ð»æçáxð[úõwå,æà(ðú,à[æxä,÷g`} åáàËáàî}å,æâçèsð
äçí_ésâmèsàò_ö½â8æxóyäçè ôièsäæxâçèyå{èsò¤ ö½âáà(ò`æxçõàæósà[ák ôsðâmèsõPàZp â}ðæxà[èwæâ}å{îjwd ôsåèæxâmã&ä[å{æâçè þ É 1 ÷
]óiàWñ,å{áxâ}å{éiîàðFâè¤Ë ³³=³ Ë Å åáà_æê4ï&à(ò6úåèsò æóiàWïiáxâíBå{áxêüòpâ6 4 à[áxà[èsä[à_élàæö"à[àèÊJL!$MNPO%:
å{è&òUðâíyâmî}åá%ð»êpð»æàíBðËâ}ð"æxóså,æZçèiàPä[å{èüôsðàPáâ}äóiàá%æê4ïlàð½âèüð»ôsäóDðï&à(äâmã&äå,æâçèsð÷
Vsçá=Zà iåíyïiîà{ú,âmë&ö"à]åáà]òpà[ãsèiâèiõPäâáäôiâmæxð>çïlà[áå,æxâèiõFç,ñà[ á (,ùéiâmæö"çáòiðâ8è JL!$MNPO%:úwöËà
ö"çôiî}òPëìçáíBåîâ àæóiâ}ðáxkà dwôiâáxà[íyà[èwæçè_ö"çáò4ùîà[èiõæó`âè_æóià"æê4ï&à(ð ÷ Íºðôiépæê4ï&à]çëlèså{æôiáå{î
è4ôií^é&àáxðZä[çôiî}òJélà_òpà[ãsèià(ò é4R ê ÎÁÏÐ6Ñ ÑØ`åèsò åyæê4ïlàÅçë¸ñàäæçáxð½çë
²gÒ+Ó'Ô ³ ÕZ® ²Ò%Ó'Ô$Ö ®Á×
îà[èiõæ?ó Ù&éw? ê ÚÛÏÐÜ q
r ³ Ðºß ³ µ`à\ß ÷ | q
rZâð=å`ôièiâñàáxðà]ç{0
º ë ðíBå{îáî æêwïlàð[g÷ }-]óià
à[îàíyà[èwæxð:ç{ë"æósàWæêwïl£
²lÝ
à Þ µ`Úãâ*äÜK²gÒ+å Ó'Ô å{áxà^æóiàèe Ô]· ñàäÝ
æçÞ áð
ç{ë]îà[èiõæ~ó (üö½óiçðàWà[îà[íyàèæð
å{áxà^çë
·
æê4ï& à â*äÜúsòpàã&èiàòüé4z ê ÎÛæ,6 ÷ Fç{æà
æxóså,æ½æê4ïlàù9äóiàä 4âèiõ_âm è JL!$MNPO
c:â}ð]èiç{æZòpà(äâ}òiå{ésîmà÷
çcÔ§èÚ&Ù)é¨$êKëìc×6Øí:î+ï(Þ`ï
]óià-VsçáxíBå{îcý4ê4èwæóià(ð»â}ð½òpà(ð»âõèUíyà[æóiçpòpçîmçõêBä[çèsðâ}ðæðËçë¸ðæå{áæâèiõ^ö½â8æxóDåyð»ïlàä[â8ãlä[å,æxâçè

å{è&òUésôiâîòiâmèsõ_å{èJâíyïiîà[íyàèwæxå,æxâçè^æóså{æFðå{æâ}ð»ãsàð]âmæ[÷6> çBòpçWæxóiâ}ðúpæxóià`ôsðà[á½âèwæàáxåäæâñà[îê
å{ïsïiîâmà(ðËæàäósèiâPd ôsàðì| ö½óiâ}äóJå{áxàPå{î}ð»çWä[åîîmà(òBíyà[æóiçpòiðË} ö½óiçðà`ð»ôséiõçwå{îâèiõPëìôièsäæâçè&ð½òpàù
äçíyï&çwð»àFæóiàPðï&à(äâmã&äå,æâçèyâmèwæxçÅóiçï&à[ëìôiîîmêyðâíyïiîà[áËðïlàäâmã&äå,æxâmçèsð[úàåäóoçëö½óiâ}äóoí^ôsð»æ
élà½âmíyïsîmàíyà[èwæà(ò
æçPâíyïiîàíyà[èwæcæósàZçáxâõâèså{îwð»ïlàä[âmã&ä[å{æâçè÷cð½àãsèsà[íyà[èwæ=é4êÅíyà[æóiçpò^å{ïpù
ïiîâ}ä[å{æâçèyíBåêBåîðç^ïiáçpòpô&äàPå{j ô pâîâ}å{áxêÅïiáxç4ç{ë>çéiîâõå,æxâçèsð[úñàáâmã&äå,æxâmçèBäçèsòpâmæâçè&ð%æxóså,æ
í^ôsðæ
élàyïiáç,ñà[è éwê æóiàWôsðà[áe ÷ Í ðôsääàðxð»ëìôiî=ïiáxçwçëËäçèsäîôsòiàð:ö½óià[è åîmîðï&à(äâmã&ä[å{æâçè&ð
ä[åèDé&à^áxàòpôsä[àòüæxçUðï&à(äâmã&ä[å{æâçè&ð"æóså{æ
åáàPâíyïiîà[íyàèwæàòUé4êUîâéiáå{áxêoäçíyï&çèià[èwæ ð |ìçá[ú
åð
ö"àWö½âîmîðà[à{úð»ôié6òpà(ð»âõè&*ð }få{èsòÍåîmîñà[áxâ8ãlä[å,æxâçè äçèsòpâmæâçèsðFåáàyòpâ}ðxäóså{áxõà(ò68 ÷ Í"æPæósâð
ïlçâèwæ[úpæósàPñåîâòså,æâçèsð¸åðxðç4ä[â}å,æà(òyö½âmæóUæóià`åïiïiîâàòyíyà[æóiçpòið½åáà
à 4à(äôpæxàòoæçWéiôiâî}òoå
ïiáxç4ç{ëæxóså,æFåWä[âmáäôsâ8æ½åäósâmàñà(ðËåWðï&à(äâmã&ä[å{æâçèc÷
"àëìçáàFõâñ4âmèsõ
æóiàFæàäósèiPâ dôsàð¸ö"àZâèwæáxçpòpôsäàfð»çíyà½èiç{æå,æâçè^ô&ð»à(òyé4e ê VsçáxíBå{î&ýpêwèwæxóiàù
ðâð[£
÷ Í òpàðâõè ðï&à(äâmã&ä[å{æâç è ñPq
rtsú=ö½óiâ}äóÍâ}ð
æç é&àUâmíyïsîmàíyà[èwæà(ò6úcâ}ðPö½áxâ8ææà è ò6ñPq
rts|tò
â} ð ôsðæÅåJðê4í_élçáî cæxóià[áxàWâð
èsçüáxà[î}å{æâçèsðóiâïüæçDíyçpòiåîîçõâ}ä[ð }e ÷ Í ëìçáí^ôiî}å y æxçJé&à
ÝBó
ô
ïiáxç,ñà(òPâ}ð>ö½áxâmæ»æxà[èWåð ÷Í æxà[áxí

ÝBó y Ý y
æxç:élà½òpà[íyçèsð»æáå,æà(ò`ö"à[îîmù1æê4ïlàò
â}ðö½áâmææà[èWåð
õ Ý y u ÷ Í ïiáxç4ç{ë=â è J8!BMNPO
:`â}ðFåððçpäâ}å,æxàòUö½â8æxó åoðôiïiïlçáæfðâmõèså,æxôiáxà{úsö½óiâ}äó ä[çèwæxåâmè&ð
æósà`æósà[çáxêoô&ð»à( ò |ìà{÷ õi÷múòiå,æå,æê4ï&à`òiàãsèiâmæxâmçèsð }ú&òpà[ãsèiâmæâçèsð½ç{ë=ïiáxàòiâäå,æxàð[ú&å{èsòüæxóià`îâà÷
T9 è JL!$MNPO
cúæóiàUð»âõè&å,æôsáàWä[åèeélàBà wæxà[èsòiàò òpê4èsåíyâäå{îîêüòiôiáâèiõüïiáxç4ç{ë9z ÷ TëZåüæxàäópù
èiPâ dwôiàPZà 4æxà[èsòiðZæóià_ð»âõè&å,æôsáà
ç{ë¸åWõçå{. î oq
rtsú&æóiàèDæósâðZâðZö½áâmæ»æxà[èDå ð » » öZ÷%Ü]ö=Ñø=ä ¬ Ñ okq
rts,÷
½½
ùiåíyïiîàðå{áxà]æóiu à ð½à[ñàå{î&å{èsò_æósà:ý4ôié6òpà(ð»âõè^æxàäóièiPâ dwôi à |+ðà[àFé&àîmç,1ö }=æxóià½ëìçáxíyà[á¸åòiòið
æê4ïiâèiõ äçèsð»æáå{âèwæxð
ç{ëZâèwæàáè&å{î%ðâõèsåîðfæxç æósàUðâmõèså,æxôiáxàWåèsòÍæxóiàoî}å,ææàá`Zà 4æàèsòið`æóià
ðâmõèså,æxôiáxà:ö½âmæxóUæxóiàÅòpà[ãsèiâmæâçèUçë=åWèsà[ö òpàðâõèK ÷ Vâmè&å{îîê{ú4æóiàÅâmèsâ8æxâ}å{îòpàðâõèüõçwå{îcí^ôsð»æ
élàZå:òiàãsèiâmæxâmçèÅçë&æxóià]ëìçáxû í úüýási þ Ð"ÿ)rts ³ okq
rts):úüý]s%â}ð>æósà½èså{íyà½åðxðâmõèiàòPæç
æósàZäâáxä[ôiâmæ
å{è&òDæósà_áxâõówæfósåèsò ðâ}òpàÅâ}ðFæóiàWðï&à(äâmã&ä[å{æâçèJæxçUélàWâíyïiîà[íyà[èwæxàòüå{èsò âðfõâñà[è åðfåè
å{é&ðæxáxåäæâçèBç,ñàáËæxóiàPâèiïiôpæZåèsòüçôpæxïiôpæFðâmõèså{î}ð[úö½óiâ}äóJå{áxàPòpàä[îåáà(òyâp è ÿ)rts÷
Â

À¿ (»)+!# 2 01-* 2 !#Ì,)
f®ÅÏ ¬ ¨{®8¦ ©Ï ®¦8¥4®§x¦Ü©Ï

!# %l± ± (("!#!$'f± "! % 9 'f± "! $ %(± ("! $ 'Z± "!
± (#!± $& % 9 F ' ± "!
É !0 ±( ""!!) )* ± ± ""!,!,+.+ - % )/F ' ± "!)0% 1+,f
% 9 )* 1+.f
' ± "!.+
' ± "!)1>* ± (#!+
¶
2 9µ
5 3 " !7"6 !.4 ± ± ( ""! ! "!86 9% 9 f ' ± "!
% (:3 "5 !4 -;' (:3 "!4± "!-

Ê 2 )1!#( =< 85 ! "þ >@!86 ? ± "(!"[4 ! ± "! 5 "!86 9% 9 f ' ± "!
5 < 8 ! þ >A? "!4 ± "!/6 9%B "!.4 9 ' < ! 9
C ! ',11´ + ² 9 %{ + ² 9m : ' + ² 9m
É[')1!# ± ( "! 5 D þ >@? "!4E $ 6 % F ' ± ( #!
2 5 D þ >@? "!4E $ 6 ± "! D þ >@? "!4E $ % (:F G7H D þ >@? "!4E $I J 9 -;F ' ± ( "!
K )1!#
2
Pm % Pm ' Pm
$l 7 % w³ L1i
/[/ % w³ % p
]óiàáàPåáà
à[âõóæ"æà(äóièiâPdwôiàð]åèsòUæóià(ð»àPå{áxàPåòpàdwôså,æxàFæxçBòpà[ñà[îçïoåè4êoäçí_éiâèså{æâçè&å{î
äâáäôiâmæ
âèeåDð»æáxôsäæxôiáxàò óiâà[áå{áäóiâ}ä[å{î>ö"åê÷¤]óiàBðôiéiõçwå{îâèiõoåèsòeñåîâòså,æâçèDëìôièsäæâçèsð
å{áxàBélç{æxó ésåð»à(ò çè áôiîà(ðú=õâñà[èÍâè¸>åéiîà ÷]óiàJð»ôséiõçwå{îâèiõJáôiîà(ðÅðóiçôiî}òÍélàUáxàåò
æçïpù9òpç,ö½ è 5%æxçBâíyïiîà[íyàèæ"æósà`õçwå{îåé&ç,ñà
æóià`îâèiàú&ð»çîñàPå{îîðôiéiõçå{î}ð"élà[îç,ö æxóiàÅîâèià÷
]óiàyñ,å{îâ}òiå{æâçè áxôiîàð
çï&àáxå{æàWâè æxóiàBçïiï&çwð»âmæxàWòiâmáxàäæâçè 5:æxóiàyõçwå{î=élà[îç,ö æxóiàBîâèià^âð
àð»æxåéiîâ}ð»óià(òWëìáxçí ïsáç4ç{ë+ð"çë>æxóiàPõçwå{î}ðËåé&ç,ñàFæxóiàPîâèià{ ÷ ]óiàðà
áôsîmà(ð"é&àósåñàPåð"ëìçîîmç,öZð 5
M ê`ïlÞ éON ]óiàüð»ôséiõçwå{îâèiõüëìôièsäæxâçè áxà[ïiî}åäàð:æxóiàJòpàðâõèÍõçwå{º î ò6oq
rtsoö½â8æxó å èiàö çèià
ò.okq
rtsP1úiö½óiâ}äóoâ}ð]ð»ôiïsïiîâmà(òBé4êWæósàPôsð»àá[.÷ ]óiâ}ð"áå{â}ð»à(ðËå_ïiáxç4ç{ë>çéiîâõå,æxâçè^æóså{ æ oq
rtsPcðôpë}ù
ã&ä[àð½ëìç á okq
rts1 ÷ ]óià_ôsð»àáZósåð½æçUð»çîmñà
æóiâ}ð½ïsáç4ç{ë=çéiîâmõwå,æxâmçè÷ ]óiàÅñåîâòså,æâçèoâ}ð½ésåð»à(ò
çèWæxóiàZæxáxåèsðâ8æxâñwâmæêPçë6âíyïiîâ}ä[å{æâçècú ÷ Tæ"éiôiâî}òiðæósàfäçááxàäæèià(ðð¸ïiáç4çë&ëìçº á ò.okq
rts]ëìáxçí
æósàPïiáç4çëëìç á ò6oq
rts P å{èsòoæóiàPïsáç4ç{ëõâñàèoé4êyæxóiàPôsðà[á÷
ëRQcê1ÞìØ N ]óià ðôiéiõçåîmâèiõ ëìôièsäæxâçèºòpàä[çíyïlçðàðWå äç)è ôièsäæâñàDðï&à(äâmã&äå,æâçè âèwæç æóià
ïiáxçéiîàí\çëËâíyïiîà[íyàèwæâèiõWàåäó äç)è ôièsäæ[e ÷ ]óiàWñåîâòså,æâçèJä[çèsð»æáxôsäæxð
åUòiàðâmõèDëìáxçí
òpà(ð»âõè&ð%ëìçá]æóià
æö"çyð»ôséiïså{áæxð[÷
S îT"î%¨Bê7N Të¸åyòpà(ð»âõèJõçå{îcä[çèwæxåâèsð]Zà pâ}ðæxà[èwæâ}åîmîe
ê dwôså{èwæâmãsà(òüñåáâ}åéiîàð |ìZà pïiáxàðxðâmèsõ^âèpù
æàáè&å{î]ö½âáâèi+ õ }ú=öËàüí^ôsðæWáxà[íyç,ñàWæxói£ à dwôså{èwæâmãsàáxð`ëìçá^ëìôiáæóiàáWáà[ãsèià[íyàèw æ |+íBå àBæóià
U
ö½âáâèiõ:àZpïiîâ}äâmæ=}÷:]óiâ}ð=â}ð¸òiçèià½é4ê`æxóiàuðZà[ñà(å{î4æxàäóièiâPdwôiàúö½óiâ}äóyåòiòsðæóiàZæêwïsâmèsõPâmèiëìçáù

íBå,æxâçèDç{ëËâmèwæxà[áxèså{îîz ê dwôsåèæxâmãsàòDïlçáæxðfæxçoæxóiàyð»âõè&å,æôsáà ÷ ]ósà^òpà(äî}å{áå,æxâçèsðZåòiòpà(òDæç
æósà:ðâõèså{æôiáxà½íBåêÅî}å,æxà[áËé&àfôsð»à(òWæç_àð»æxåéiîâðó^æóià
äçááxàäæèià(ðð¸ç{ëæósàfâíyïiîà[íyàèwæxå,æxâçè÷
Õ[c Û îVN ý4âèsä[àfæxóiàPâèiâmæâ}å{îòpà(ð»âõèoõçwå{îâ}ð]õâñà[èUåðZåWî}å{í^élòsåÅå{é&ðæxáxåäæâçèúiå^æàäósèiPâ dôsà
× ïÞ1:
â}ð:èià[à(òpàò æçJáàíyç,ñàPæxóiâ}ð:éiâèsòpâèiõiL ÷ çüâíyïiîà[íyà[èwæ½æxóiàyäâáxä[ôiâm¤ æ úüý]s`íyàåèsðZæxçJâmíyïsîmà[ù
íyà[èwæ"æóiàPðï&à(äâmã&äå,æâç£ è oq
rvs÷Ëý4âíyâmî}åáæ? ç ð½à[ñàåî1úwæósàfæê4ïiâèiõ^âèpëìçáxíBå,æxâçèWç{ë>æóià
âèiïiôpæ
å{è&ò çôpæïiôiæPðâõèsåî}ðú6ö½óiâ}äó â}ð
òpàä[îåáà(òDâè æxóiàyòpàä[îåáxå{æâç~ è ÿ)rtsúâ}ð
åòsòpàò æçüæóiàyðôiïpù
ïlçáæ]ðâõèså{æôiáxà{ ÷ ]óià
ñåîâòså,æâçè^áxôiîàFôsèpëìçî}òið%æóiàPòpà[ãsèiâmæâçèBç{ºë úüý]siâ8æ½ð»æxå,æxàðËæó&å,æ"æóià
âíyïiîà[íyàèæå,æxâmçèUâ}ð:äçááxàäæfëìçá
åîî>ïlçáæ»ùñ,å{îôiàL ð |ìö½ósâäóeå{áxà_áxà[ïsáà(ð»àèæxàòDé4êDæxóiàWîâð»æfçë
ñ,å{áxâ}å{éiîà ð qWý åèsòJòpàä[îåáà(òBâèBæxóià`òpà(äî}å{áå,æxâmç è ÿ)rts}%æóså{æFä[åèJåïiïlàå{á½å{æ½æóiàPïlçáæxð[÷
Ô
X ÞZY>Ù)¨pÙ'ì[N ]óiàüðôiéiõçåîmâèiõüëìôiè&äæâçè âíyï&çá»æðÅäçíyï&çèià[èwæð`ëìáxçíNåeòiå,æå{ésåð»àUç{ëFïiáxàù
òpà[ãsèiàò äâáxä[ôiâmæxð`åèsòÍæxówô&ðÅèiç èià[ö ðôiéiõçåîðÅå{áxàBõàèià[áå,æxàòÍé4êeæóiâ}ðPæxàäóièsâ dwôiàÊ ÷ ]óià
ñ,å{îâ}òiå,æxâçèJäçáxáxàðï&çèsòið½æxçoæxóià^ôsð»à_ç{ëËåoîà[íyíBåpúsæóså{æ:â}ð[ú6ö"àÅíBåêJåðxðôiíyàPæósà_îâéiáå{áxê
äçíyï&çèià[èwæ"æçyélà`äçááxàäæ[÷
ë\Ü Y%c Û î+ïlÞ ª&]
× N ý4ôsélòpà(ð»âõèsðúðâmíyâî}å{áËæçüð»ôséiáçôpæâèià(ð½âèDïiáxçõáå{íyíyâèiõ_î}å{èiõôså{õàð[úpë+åäâîâmù
æxå{æà^óiâà[áå{áäóiâ}ä[åîcòpà[ñà[îçïiíyàèwæ[u ÷ Í ð»ôsélòpà(ð»âõè â}ðfðôiéiíyâmæ»æxàòDåðfåUî}å{í^élòiåyåésð»æáåäæxâçè
é4êWæóià:ôsðà[á]å{èsòBæóià
ðâmõèså,æxôiáxàZâ}ð%à wæxà[èsòiàòBö½âmæxóyæóià:õâñà[èBòpà[ãsèiâmæâçèc ÷ ]óià
ðôiélòiàðâmõè
í^ôsðæ_é&àüâíyïiîà[íyà[èwæxà¸ ò |1ð»à(äçèsò ðôiéiõçwå{î }
å{è&ò íBåê élàoô&ð»à(ò âè ïiáç,ñ4âèiõJæxóiàoçáâõâèsåî
òpà(ð»âõè^õçwå{î |ìãsáxð»æËðôiéiõçå{î }: ÷ ]óiàFä[çáxáà(ð»ïlçèsòiâmèsõfñ,å{îâ}òiå{æâçè`áxôiîà]ôièpëìçîòsðæóiàZòiàãsèiâmæxâmçè
âèoæxóià`äçááxàäæèià(ðð"ïiáxç4ç{ë9÷
^ î%ï(`Þ ªl]× N â àPæxóiL à âéiáxåáêUæà(äóièiPâ dwôià{ú6æxóiâ}ðFàèså{éiîà(ð½æósà_ôsðà[áfæçJå{ïsïiîêJåUòpàðâõèDæxóså,æ
ósåð^åîáà(åòpêÍélà[à[è âíyïiîà[íyàèæxàò6 ÷ T9è æóiâ}ðWä[åð»àú¸æósàüâíyïiîàíyà[èwæxå{æâçèeâ}ð^åeðôiélòiàðâmõè
âèwæáxç4òiôsäà(ò^òiôiáâèiõ
æxóiàfòiàðâmõèWïiáçpä[àðxð ÷ ÍFðËö½âmæóWæósàFîâéiáxåáê
æxàäóièsâ dwôiàúæxóiàFñ,å{îâ}òiå{æâçè
æósà[çáxà[í âð½L å 4âèsòUç{ëåððôiíyïpæxâçèBáxôiîà{÷
_ Ù,ÚcÚ `/N JL!$MNPO
cfâð"ôsðàòBæçWïiáxç,ñà:å`æxóià[çáàíJ÷ ]óià
ôsðà[á½äå{èUòiâðxäósåáõàFåÅñà[áxâmã&ä[å{æâçè
äçèsòpâmæâçèDæóså{æ`å{áxçðà_òpôiáxâèiõüáà[ãsèià[íyàèwæ:çá:ïsáç,ñà`æó&å,æ`åUæà[áxí â}ð:öËàîî8ù-æê4ï&à( ò |ìáxàäå{îî-ú
æó&å,æ½æê4ï&à[ùäósàä 4âèiõÅâ è J8!$MNPO%::â}ð]èiçæZòpàä[âòså{éiîà }÷
aÔÖÕébQê`î+éî4×6Ø¨pØÞ1Ú&×¨s×>ÛdcAeØkî4×cïÞ1Ú&×
3ÍàPèiç,ö òpà(ðä[áâélàfçôiá]áàâmèwæxà[áxïiáà[æxå{æâçèyçëcViçáíBåî6ýpêwèwæxóiàðâ}ðËâè£=Z "!$#%#
!÷c3Íà`òpâñ4â}òpà
çôsá:ïsáà(ð»àèæå,æxâmçèDâè ðà[ñàáxåîïsåá»æðúcö½ósâäó áçôiõóiîêDäçááxàðïlçèsòüæxç£= "!$#
#%!Dæxóià[çáâà(ð
æó&å,æJöËà âmíyïsîmàíyà[èwæà(òe 5 ä[âáxä[ôiâmæoå{ésð»æáåäæâçèsðoå{èsò äçèsäáxàæxà æxàäóièiçîçõê"m ú]æàäósèiâPd ôsà
áxà[âèwæà[áxïiáxàæå,æâçèúwåèsòoèsà[ö æàäósèiâPd ôsàð[÷
fhgjiglk IP; âjIE[mfZHZE`;*> ^kEÌ`9D$H>)D"X k 9)D^Z; GkE]GonG^*FjD"9)@9 [ C

3Íàyáàïiáà(ð»àèwæ
ä[âmáäôsâ8æð
åð
áxà[î}å,æxâmçèsðZç,ñà[á
ïlçáæ»ùñåîôiàð[÷83Íàyíyçpòpà[î4âèsòið:çë]ðâõèsåîð:åð
ðàæxð½åèsòBö"à
ôsðà = "!$#
#%!# ð]ð»à[æ"æxóià[çáê+| âèR
ø:%} æçWâíyâmæxå,æxà½æósà
òià[ïlà[èsòpàèwæ½æêwïlàð]çë
æósàºJ8!$MNPO%:" îçõâ}ä){ óiàèsäàºwd ôsåèwæâmãsà[áðôsðàò_âmè^çôsá=à[èsä[ç4òiâmèsõ
åáà"æxóià½é&çôièsòewd ôså{èwæxâ8ã&à[áð
ç{ë= "!$#
#%!# ðfðàæ:æósà[çáxê{÷ue 3 à^èsåíyàPæóiàWäçèièià(äæâñàð]æxóså,æPð»àáñàÅåð:äçèsð»æáxôsäæxçáð]ëìçá
äâáäôiâmæð%ö½âmæóUæósà
ëìçîîç,ö½âmèsõÅòpàã&èiâmæâçèsð[÷
p
qOr1st[u Ï q u vw
xt Ë ³ ÄµÌË Ï ¹'Ë ³ ÄµÌË
Ê
q z w|{}Rq Ï q q ~ { x Z² y ³'x y · q µ Ï Z² y ³)x y · qµ
Z² y · Z² y ·
3ÍàËö½âîîðxåêfíyçáà¸åé&çôpæ>æxóià¸æê4ïlà ðóiçá»æxîmê÷0Í½ë}æxà[á=òpàã&èiâmæâçèúö"à¸ëìçáxíBå{îîêZòpàáâñà=áxôiîàð
y
ö½óiâ}äóBäósåáxåäæàáâ à%æxóiàðàFçï&àáxå{æçáð¸åèsòyôsðà½æósàðàFáxôiîàð=âèBðôiésðàkdwôià[èwæ"ïiáç4çë+ð1|ìáå,æxóià[á
æó&å{è àp ïså{èsòiâmèsõ òpàã&èiâmæâçèsð} ÷ iV çáUàp åíyïiîà{úZôsðâèiõ ïiáxçïlà[áæâà(ðBç{ëÅä[çè) ôsèsäæxâmçè å{è&ò
âíyïiîâ}ä[å,æxâçèoö"àWòpà[áxâñàz+| óià[è&äà^öËàWå{áxà_õôså{áå{èwæxà[àòJçë%æxóià[âá
äçáxáxàäæxèiàðxð½} âèp=Z0!$#%#%!
æósà
ëìçîîç,ö½âmèsõ`áôsîmà(ð"ö½óiâ}äóoáxà[î}å,æxà z w|{9} æxç r1st ÷
x y q rst ko q
rtsKB´ µ x y q z w|{} x y q · rst o q
rvs
x y q rst ko q
rtsKB´ µ x y q z |w {} x y q · r st o q
rvs
ÍFðxðç4ä[â}å,æâèiõüòpàã&èiâmæâçèsð:ö½âmæóÍðôsäó äóså{áåäæà[áxâå{æâçèüæósà[çáxà[íBð:âèsä[áà(åðàð
äçíyïiáàóià[èiù
ðâmésâmîâmæêJå{èsòeïiáxç,ñ4âòiàð:ð»çíyàWåésð»æáåäæxâçè
5 âmë"ö"àyäóså{èiõàyòpàãsèsâ8æxâçèsð:ö"àBä[å{èeáxà[ôsðàyçôiá
æósà[çáxâàðïiáxç,ñ4âòiàòPæxóiàFäósåáxåäæxà[áxâ( å,æxâmçè
æóiàçáxà[íBðå{áxà½ðæxâîmîiòià[áxâmñ,åéiîà{÷\fàãsèiâmæxâmçèsðósåñà
å^ð»à(äçè&òyëìôièsäæâçècú4ö½ósâäóoâðËïlà[áxóså{ïsð"íyçáàFðôiépæxîà 5 æóiàêBòpâ}ðæxâèiõôiâ}ðóBäâáäôiâmæËä[çèsð»æáxôsäù
æçáxð=ëìáçí ïiáxçïlçðâmæâçèsåîpäçèsèiàäæâñà(ð=å{èsò_æósâð¸áà(ðæxáâ}äæðáà(ð»çîôpæâçèRì| à÷ õs÷8ú z w|{} òpç4àð%èiç{æ
ôièiâmëìêBö½âmæxó ] } åèsòüíBå àðËâ8æ½à(åðâmàá"æçWö½áâmæxàfæåäæâ}ä[ðËæó&å,æFå{ôiæçíBå{æà
òpàðâõè÷
fð»âèiõWæxóiàÅå{élç,ñàPåésðæxáxåäæxâmçèsð[úiöËà`äå{èJàZp ïiáxàðxð]æósàÅäçááxàäæèià(ðð]çëåì| æçyélàÅðêwèwæxóiàù
ðâ àòB"} ä[âmáäôsâ8æ"ö½âmæóüáà(ð»ïlàäæ½æçyåWð»ïlàä[â8ãlä[å,æxâçèUåð
vwxt Ë Z² y ³³³ Ë Å Z² y Å ³ x y qµÌË =³ ³*³ Ë Å · rst oq
rts)µÌË ³ ³=³ Ë Å · ³
]óiâ}ð`â}ðÅèiç{æedôsâ8æxàUåòpàkdwôså{æàyæxóiçôiõó æçeð»âí^ôiî}å,æxàeVsçáxíBå{îËýpêwèwæxóiàðâ}ðÅð»æêwîàBïsáç4ç{ë+ð[÷ÊÍ
ðíBå{îî4ïiáçéiîà[í âðæxóså,æ%æóià1JL!$MNPO%:Z ýpôiélòiàðâmõè^æàäósèiâPdôsà½àZ4æàèsòið=æxóiàFðâõèså{æôiáxàËö½âmæxó
å½èiàöeòiàãsèiâmæxâmçè÷09T èPçôiáðàæ»æxâèiõ½öËà%áàõå{áòFæóià¸èsà[ö òpàã&èiâmæâçè
åðcåFäçè&òpâmæâçè:èiàä[àðxðåáê
ëìçáoæóià ñ,å{îâ}òpâmæê ç{ëPæxóià ä[çáxáà(äæèsàðxðWæóiàçáxà[í å{èsòûöËà àp ïiáà(ððBæóiâ}ðUäçè&òpâmæâçè ôsðâmèsõ
çáòpâèsåáêBâíyïiîâ}ä[å{æâçèc÷"øFë%äçôsáxðà{úsö½ósà[è ð»æxå{æâèiõWæósàÅâèiâmæâ}å{îõçåîcöËà_òpçBèiçæFêà[æu4 èiç,ö
ö½óiâ}äóDòpàã&èiâmæâçèsðZö½âmîîcélàÅíBåòpà{ú6ð»çUå{õåâèUö"à`ôsðà_åyíyà[æxåñ,å{áxâ}å{éiîàFæçBîàåñà:æóiâ}ðFåðFåè
ôi$
è 4èiç,ö½èc
÷ ]ó4ôsð½æóià
æxóià[çáàíBðËö"à
ïiáxç,ñà:âmèsâ8æxâ}å{îîê`ósåñà:æxóià
ëìçáxí
. µ`1r Ò ü Ô üW Ò ñ · vw

xt Ë Z² y ³³³ Ë Å Z² y Å ³ x y qµÌË ³ ³*³ Ë Å · rst oq
rvs)µÌË ³ ³³ Ë Å · ³
ÍZè&å{îçõçôsðZæçüæóiànVsçáxíBå{î=ý4ê4èwæóià(ð»â}ð
òpàðâõè õçåîð[úöËàyäå{îîðôsäóÍåUæóiàçáxà[í åX GZH=IS[D
EPF$G9); G_
< ÷ ] óià äçèsð»æxå{èwæ . â}ðyðâmíyïsîmêeæxóiàDâ}òpà[èwæâmæêÍëìôiè&äæâçè åèsò . µùr ü üW ñ

ðà[áxñàð%åð¸å 4 âèsòWçë0 òpà[ãsèiâmæâçèyä[çèwæàw æk8 ÷ %ù åäó^æxâmíyàZåÅòpàãsèsâ8æxâçèWâ}ð=íBåòpàú+ur Ò Ô ü üW Ò ñ ·
Ò Ô Ò
â}ð
âèsðæå{èwæâ}å{æàòDæç åDäçè) ôièsäæâçèeç{ë"æósàBòpàãsèsâ8æxâçè åèsòÍåUëìáà(ð»óÍíyàæåñ,å{áxâåéiîà{ú6ö½óiâ}äó
ä[åèUélàPâèsð»æxå{èwæxâå{æà(òyëìôiáæóiàá½ö½âmæóJòpàãsèsâ8æxâçèsð"íBåòiàfî}å,æxà[á÷
T9è æxóiàoòpà(ð»âõè æxóià[çáàíJú>ö½âáxàðPå{áxàyélçôièsò æçJæê4ï&à(ð w =æxóiàðàyæê4ïlàðÅåáàBòiàãsèià(ò âè
æósà[çáxâàð]å{élçôi1
y
æ äçèsäáxàæxà:æàäósèiçîçõâàð 8ú4à{÷ õi÷múiáàïiáxàðà[èwæxå{æâçèsðËç{ëñçî8æå{õà{úpð»âõè&å{î}ðúpå{è&ò
æósàyîmâ à{L ÷ ÍRðâíyïiîàÅâèsð»æxå{è&äà^âð:ö½óiàáàWïlçáæ`ñ,å{îôiàð:áå{èiõà_ç,ñà[á
åJòiå,æå,æê4ï&o à {} ö½óiàáà
ñçîmæxå{õà¸æå à(ðà[âmæóiàáæóià]ñ,å{îôi à w ç á {: ÷ 3Íà½ôsði à = "!$#
#%!# ð :ø Jðàæ=æósà[çáxê
æç`òiàãsèià
å HZGkE {} ä[çèwæxåâmèsâmèsõWæóià(ð»à_æöËçüà[îàíyà[èwæxð[ ÷ ÍZë}æàáö]å{áòið[ú6ö"àWòpà[áxâñà_ð»æxåèsòiåáxòDáxôiîàðZëìçá
{} úià{÷ õi÷mú&ä[åð»à[ùåèså{îêpð»â}ð=ç,ñà[á"éiâèså{áxêyñ,å{îôià(ð÷
3ÍàËà 4æà[è&òPçôiáæóiàçáxêfö½âmæxóPæxåäæâ}äð6æóså{æåôpæçíBå,æxà=íyçð»æ>äçíyíyç è wâèsòsðcç{ëiáxàåð»çèiâèiõ
å{élçôiæ
ésâmè&å{áxêüñ,åîmôsàð[- ÷ Viçá
à påíyïiîà{úö"à_ósåñàÅæåäæâ}ä[ðFæóså{æPï&àá»ëìçáí à 4ó&å{ôsð»æâñà^å{èsåîmù
êpð»â}ðFçè vw
xt ñåîôiàu ð dô&å{èwæâmãsà(òJç,ñà[ á {9} åèsòJæxåäæxâäð½æxóså,æ
äçí^éiâèià`ðôsäó äåðàÅå{èsåîê4ðâ}ð

ö½âmæó?=Z "!$#%#
! ð=ðâíyïiîâ8ã&à[áåèsò^óià[ôiáxâ}ðæxâ}ä¸ésåð»à(òÅïiáxç4ç{ëlïiáçpä[àòpôiáxà|j| |'}>ëìçá.
ø=÷
]óià(ð»à]æåäæxâ}ä[ð=å{ôiæçíBå{æà]å{îíyçð»æ=å{îîiðæå{èsòså{áò-4âèsòiðçëláxàåð»çèiâèiõfåé&çôpæ%äçí_éiâèså{æâçè&å{î
äâáäôiâmæð÷
3Íàfà 4æà[è&òBçôsá%æxóià[çáêWç{ë>ñçîmæå{õà½ö½âmæxóoåPæxóià[çáêWç{ëcõwå,æxàð%æóså{æ]òpà(äî}å{áxàð=æóiàfæê4ï&à(ðËçë
õå{æà(ðfåèsò å 4âçíBå,æâ àðËæóiàâáfélà[ósåñ4âçá ÷ Viçá:Zà iåíyïiîà{úsæxóià s|} õwå,æà_â}ðfåUïiáxàòpâ}ä[å{æà`çë
æê4ï&? à » {9} {} {} ´ w|w ö½óiçwð»à:é&àósåñ4âçôiá]â}ð])å pâçíBå,æxâ [àòyåð
½
vwxt ² { } â ² { }] ² {9} ³ s|} µ â · r1st µ { · µPâ. { · 8µ { · ³
ý4ôsäó`å pâmçíBð&ëìçáxí ïsåá»æ>ç{ëiå½îâéiáxåáê½çëiäâáxä[ôiâmæcð»ïlàä[â8ãlä[å,æxâçèsðåèsòPå{áxà=ôsðàò:æçfð»ê4èwæóià(ð»âà
ïsåá»æð]ç{ëä[âáxä[ôiâmæxð[÷
fhg;g¡ GZIPD"EáG;á"; GkElIPD%[¢nG^*FjDBI`_aBG=H
{ » ¤£ +¾ ¿À{ÁÂÃxÃÂ½; -* 2 !#Ì,) <] ,; 90+!# 2 2 #

#! @¥ ¦§¨ ©"ª «¨¦ %
¬ ¬ @® H ± (# ! PZ¯ ± "! P;° ± "!R± ±²1³ 9 ® H ± "!
É ! 0/¥ ´/µ § ©,« «¨¦
¶ ¬ ¬ ® H ± (#! ¯ ® H ± (#! ± ±²³ 9 ¶/· I J 9 ® H ± "! ¸ ± ("!
2 9µ;¥ ¹ º»º¨§ «¨¦
¬ ¬¼9¼Z½¤¾.½ ¥ ¿ ²1³ 9 ½ ® H ± ("! ½ ± ±²1³ À I Á G ½ ¥ ¿ ¾ 9 ½ 1 ® H ;Â ½ ¥ ¿ ¾ ± "! ½ +
Ê 2 )1!#¥ ©/Ã´©,Äº «¨¦
¬ ¬¼9¼:Å¾"Å ¥ ¿ ²³ Å ® H ± (#! Å ± ±²³ÇÆ · Á H Å ¥ ¿ ¾ 9 Å ® H ± "! Å
C ! ',-+´1¥ § ©/È¹ ¨.¹É «¨¦ » » "=8³
¬ ¬Ê G7Ë
Ì °ÎÍÏ¯ Ê G7Ë
Ì ¯ÐÍ ²1³ÒÑÓ± ±²³ÒÑ
É')1!# ¥Ô´/ÕÈÄº ´©,ÖÃ «¨¦ -¸
¬ ¬ Ê G72 Ë Æ · Á H Å ¥ Í ¾,¾8¾.Å Å ¥ Í Å ¾ × Å Ø ¾,¾8¾ Ø Å Å ² 9 P Å Ø ¾8¾/¾ Ø Å Å - ¯
Æ · Á H Å ¥ Í ¾/¾/¾.Å Å ¥ Í Å ¾ 9 P Å Ø ¾/¾8¾ Ø Å Å ® H ± "! P Å Ø ¾8¾,¾ Ø Å Å ¯
Æ · Á H Å ¥ Í ¾/¾/¾.Å Å ¥ Í Å ¾× Å Ø ¾/¾/¾ Ø Å Å ® H ± ( "! P Å Ø ¾/¾8¾ Ø Å Å ²³ ® H ± "!
± ±:²1³ 9 ® H ± "!
K »)+!# 2 ¥ Äº ´©,ÖÃ «¨¦ » » "
¬ ¬ Æ · Á HÙ ¥¿ ¾ Í Ù ¯VÍ Ù ²1³ÒÑ ¯ Ù ¥ ¿ ± ±²1³ÚÑ
3 àDósåñàüâíyïiîà[íyàèæxàòeæåäæxâ}ä[ð_æóså{æBð»âí^ôiî}å,æàBæóiàJãsáð»æyðà[ñà[è æàäósèiâPd ôsàð}| ëìçáWæóià
Í
¸áxç4ç{ëæà(äóièiâPdwôiàPö"à_ðâmíyïsîmêUä[å{îîæxóiàÅïsáç,ñà[á=}÷1å{éiîà8Wîâ}ð»æxð½élç{æxóDæóiàÅæxåäæâ}äðFå{è&òüæóià
òpàáâñà(òJáôsîmà(ðFä[çáxáà(ð»ïlçèsòiâmèsõWæçUæóiàeJ8!BMNPO
:` æxàäóièiâPwd ôià(ð÷] óiàÅæxåäæâ}ä[ð:å{áxàÅé&åðàòDçè
æósà]òià[áxâmñàòPáxôiîàð[ú,ö½óiâ}äó_ä[çáxáà(ð»ïlçèsò:æxç:æóià]ñ,å{îâ}òiå,æxâçè
áôsîmà"åðxð»çpä[âå{æà(ò
ö½â8æxóÅæxóiàKJ8!$M;N Û
O%:% æà(äóièiâPwd ôià, æxóià[âáëìôièsäæâçè_âð>íyçð»æîê
ð»àîmësàZp ïiî}å{è&å,æçáê÷ 9T è_åîmîæxåäæxâäð>æóià"ïså{áå{íyà[æàá
ä=ð»ïlàä[âmãsàðËæósà`ð»ôiésõçåî6æóià
æåäæâ}äFâ}ð½åïiïiîâàòWæxçi÷
M êì¨ Þlé å{èsò Üë Q+ê Þ+Ø 5.] óiàfæxåäæâ}äðËåïiïiîê_áxôiîàð%æó&å,æ½å{áxà:òpâáxàäæ%æáå{è&ð»î}å,æxâçèsðçëcæóiàPä[çáxáà[ù
ðï&çèsòpâèiõ¤JL!$MNPO%:Å ñåîâòså,æâçèUáxôiîàð[÷u] óiàWð»ïlàä[âmã&ä[å{æâçèÊokq
rts P â}ðfð»ôiïsïiîâmà(òDåð:åoð»æáxâèiõ
ñ ý
æçÓÝ
|Þ,ß |÷
Ô
S î T"î%¨Bê å{èsò Õ[×:(ï Þ+Ûcî 5e] ósàðàoå{áxàBâ}òpà[èwæxâäå{îæxç æósàzJL!$MNPO
cW æxàäóièiâPwd ôià(ðPàZi äàïpæÅæxóså,æ
à
âèwæà[áxèsåîö½âáxâèiõiúçádwôsåèwæâmã&ä[å{æâçè ç,ñà[á

ïlçáæxð[úâ}ðPäçèwñà[áæà(òDæç£dwôsåèæxâmã&ä[å{æâçè å{æ
æóià
íyàæå{îà[ñà[6 î |+áxå{æóiàáFæxóså{è Zà 4æàèsòpâèiõBæxóiàWð»âõè&å,æôsáàPö½âmæó òpàä[îåáxå{æâçè&ð*}÷1]óiàÅæê4ïlà^ä[çèpù
ð»æáå{âèwæx1 ð |+Zà pïiáxàðxð»à(òWâz è =Z "!$#%#
! K ð :ø ð»à[æ»ù-æóiàçáx$ ê }=élàäçíyàFåðxðôiíyïpæâçèsð÷]óiàFáxôiîàð
ð»æxå,æxàFæxóså,æ½âmëå{èUâíyïiîà[íyà[èwæå,æâçè^ðxå,æxâð»ãsà(ð¸âmæxð"ð»ïlàä[âmã&ä[å{æâçèúwæósà[èoö"à
ä[å{èUö½âáà:å_ðâõèsåî
æçPåfï&çá»æ=ö½âmæL ó T9èsðâ}òpàËçáöËà]ä[åè_óiâ}òpà"âmæ¸åðå{è^âèæxà[áxèså{îwö½âáâèiõFö½â8æxL ó ðZà[ñà(å{î-\ ÷ á|âã|â

Ý |
å{è&ä ò Þå1Þ æ|â |]å{ïsïiîêfæxóià[âááxàðï&à(äæâñà%áxôiîàËåðíBåèwê:æxâmíyà(ð>åðï&çwððâéiîà=æç:æósà]ðïlàäâmãsà(ò
õçwå{î-÷
X ZÞ Y>)Ù ¨p'Ù ì[N Ý|Þç|á á
è |`ðçîñàðËæóià`òiàðâmõèUõçåRî éºé4êoôsðâèiõyå_ïsáàñwâçôsð»îêWâíyïiîà[íyàèæxàò
äçíyï&çèià[èwæú]ðôiïiïiîâàò é4ê æósà ôsðà[áBåðyæóià ä[çíyïlçèiàèkæ ðyòiàðâmõè æxóià[çáàí ÷ ]óià
Y
áxôiîàFâ}ð]åÅëìçáí çë>âíyïiîâ}ä[å{æâçè_à[îâíyâmè&å,æâçè0
Ôó y
÷ ]óià:ãsáðæ½ð»ôséiõçwå{î6â}ðËâèsð»æxåèwæâ}å,æxàòWö½âmæóoæóià
÷ ]óià:ðàä[çèsòBâðËð»çîñàò^é4êyòpâ}ðäó&å{áxõâèiõ:â8æ]å{èsòyæó4ôsð"Zà 4æàèsòpâèiõPæxóià
òpàãsèsâ8ù
.
Ôó y
æósà[çáxà[í
æâçèUäçèwæZà 4æ]ç{ëcæxóià
ç,ñàáxåîmîlòpàðâõèBö½âmæxóBæósà
òiàãsèiâmæxâmçèsð¸çëæxóiàPäçíyïlçèsà[èwæ[ ÷ ]óià:æóiâáò
àð»æxåéiîâ}ð»óià(ð¸æxóià`äçááxàäæèià(ðð"çëæósà`òpàðâõèoô&ð»âèiõ_æóià`ðïlàäâmã&äå,æxâmçèoçëæósàPîmâéiáå{áxêyäçíWù
ïlçèiàèæ ÷ ]óiâ}ðFâmè4ñçîñà(ð%æê4ïlà_äóià(ä 4âmèsõ_ëìçáFæxóiàÅïlçáæxð[ú6ö½óiâ}äó òpà[ïlà[èsòsðFçèDæóià^äçèsäáxàæxà
æà(äóièiçîmçõêWç{ëæósà`òpàðâõèsð póià[èsä[àPöËàPðôiïiïiîêyæxóià
æxåäæxâäfö½âmæóDåòsòpâmæâçèså î à[îâíyâèså,æxâç
è
å{è& ò òpà[îà[æâç è páxôiîàð[úpö½óiâ}äóüðçîñàFæóià
æê4ïlà`äóiàä 4âèiõ_õçåî}ð÷
ë\
Ü Y%c Û î+ïlÞ ª&] × N 3eàWósåñàÅõâmñà[è åè âèpëìçáíBåîcáôsîmà^ðäósà[íBå |ìæóiàWçæóiàáxð:å{áxàÅëìçáíBåîîmêUòpàù
áxâmñàB ò }=æóså{æZáàïiáxàðà[èwæxðËâèpãsèiâmæàîê^íBåè4ê^áxôiîà ð |}æxóià[áxàPå{áxà:åáésâ8æxáxåáâîê`íBåèwnê dwôsåèwæâmãsà[áð[ú
âèsòpâ}ä[å{æà(òÍéwêÍæxóiàüà[îîâmï&ð»à(*ð }b ÷ ê
ç
æ|â
Þ ëå ||üðâí_ôiî}å{æàðPæóiàüZà 46àäæ^çëfå{ïiïsîmê4âèiõ ðôsäó å
áxôiîà{ ÷ ]óiàUô&ð»àá_õâmñàð`æóiàJòpàðâõè õçå{î"ç{ë½æxóiàDð»ôsélòpà(ð»âõèÍæçeé&àüâíyïiîà[íyà[èwæxàò âmè æóià
ðxå{íyàUëìçáxí åð^æxóiàJâmèsâ8æxâ}å{î"õçåî-Û ÷ ]óiáxà[àJèiàö ðôiéiõçwå{î}ð^å{áxàüõà[èiàáxå{æà(ò é4ê æósàJæxåäæâ}ä,÷
]óiàPã&áxð»æfäçááxàðïlçèsòið"æxçyæósàÅð»ôsélòpà(ð»âõèJòiàãsèiâmæxâmçèüåèsòüæósàPæxåäæâ}äPòpâ}ðxäóså{áxõà(ðËæóiâ}ð½é4ê
åòsòpâèiõ
â8æ=æxç
æóiàfòpàãsèsâ8æxâçèWäçèwæxZà 4æ¸ç{ë6æósàZíBå{âè_òiàðâmõèc ÷ ]ósàFð»à(äçèsòWð»ôiésõçåîiäçíyíyâ8æð
ôsðÅæçeâíyïiîà[íyà[èwæ
æósàüðôié6òpàðâõè ÷ Zàáàú=æóiàüâíyïiîà[íyà[èwæå,æâçè â}ðÅáxà[ïiáxàðà[èwæxàòÍé4êeæóià
ðxå{íyàBíyà[æxåñ,å{áxâ}å{éiîàWåð`âè æxóiàoélçpòpê ç{ë½æxóiàJòpàãsèsâ8æxâçè å{è&ò óià[è&äàoâèsð»æxåèwæâ}å,æxâmçèsð
ö½âîî
élà`ïiáxçïsåõå,æxàòUæçBæóiàÅòiàãsèiâmæxâmçèi ÷ ]óiàPæósâmáòJð»ôséiõçwå{îåîmîç,öZð"ôsðZæçBôsðàPæxóiàÅðôiélòiàðâmõè
ö½óiàèüïsáç,ñ4âèiõ`æxóiàPçáxâõâèsåîsõçwå{î-÷
^ î%ï(`Þ ªl]× N ]ósâðyðçîñàðWå òpàðâõè õçåî½é4ê ôsðâèiõ åÍïiáàñ4âmçôsðîmêÍâèwæáxçpòpôsäà(ò ðôié6òpàðâõè÷
]óià
ð»ôsélòpà(ð»âõèBósåðËélà[à[èUõâñàèBåð]åÅòiàðâmõèBõçwå{î-úö½ósâäóyâ}ðËïså{áæ]ç{ëæósà
åððôiíyïpæxâçèsð=çë
æósàÅõçwå{îæçoélàWð»çîmñà~ ò |+äë9÷6æóiàÅæóiâáòDð»ôiésõçåîçë=æóiàyý4ôié6òpàðâõèpùíyàæxóiçpB ò }÷ ]óià`æåäæxâ}ä
áxà[íyç,ñà(ð]å{îîcïlçáu æ dwôså{èwæâmãsàáxð"ëìçáZæxóiàÅåðxðôiíyïpæâçèUé4êüáàï&à(å,æà(òpîêoå{ïsïiîêwâèiõ^æxóiàÅåðxðç4ä[âmù
å,æxàòeáxôiîà{¤ ÷ Viçá`àåäó ïlçáæÅåJèiàö ðôiéiõçå{î=â}ð
õà[èiàáxå{æàòú>ö½óiâ}äóÍäçè&äà[áxèsð:æxóiàyæê4ï&àyçë
æó&å,æZïlçáæ[úså{è&òoâ}ð½ðçîñà(òBåð]âèUæói à câéiáå{áxê^æà(äóièiPâ dwôià ióiàèsäà
ö"àPïiáxç,ñwâ}òpàfîâð»æxðËç{ëæê4ï&à
äóià(ä wâèiõ_áôsîmà(ðËæçWæósà
æxåäæâ}ä,÷
_ Ù,ÚcÚ `/N :à[èiàáxåîsïiáxç4ç{ëõçwå{î}ð=å{áxâ}ð»à"ëìáxçí æóià:å{ïiïsîmâ}äå,æâçèÅç{ëæxói à Ëî}åâmí áôiîà ÷ ]óià(ð»àfå{áxà
ôièsòiàäâ}òiåéiîàfâèUõà[èsà[áå{îcå{è&òoí^ôsð»æ]élàPïiáxç,ñàèoé4êyæósàPôsð»àá[÷
fhgì1g¡íïî E]GZDBH=I`9)DñðIEPFóòZD"X)aB^kElI`9)D
]óià_æà(äóièiPâ dwôiàð:òpàã&èiàò é4 ê ViçáxíBå{îý4ê4èwæóià(ð»â}ð:å{áxàÅZà 46àäæâñàÅëìçáPòpàñà[îçïiâèiõBäçí_éiâèså{ù
æâçèså{î=äâáäôiâmæð÷?Zç,ö"à[ñà[áú6èsçèwæáxâñwâ}åîä[âmáäôsâ8æðfåáàWçë}æà[èeélàð»æÅòpà[ñà[îçïlàòeåð:âèsð»æxå{è&äàð
ç{ë`ï&å{áå{íyàæxáâ}äüòpàðâõèsð[÷ ViçáoZà iåíyïiîà{ú]áxå{æóiàáBæó&å{èûòpà(ð»âõèsâmèsõÍå ,ùéiâmæoåòsòpà[áUâ8æUâð
ïiáxàëìàáxåéiîà%æxç`òpà[ñà[îçï^çèià½ï&å{áå{íyàæxà[áxâ [àò
é4ê_öËçáxò4ùîà[èiõæó^å{èsòWå,ë}æxà[áxö"åáxòsðæç`äçíyïiôpæxà
ïsåá»æxâä[ôiî}å{á]âèsð»æxå{è&äàð[6
÷ 3Íà`ósåñà`òpà[ñà[îçïlàòüèiàö æàäósèiPâ dôsàð"æó&å,æ:åáà`ä[çíyïså{æâéiîàFö½âmæxó
ô|õ
çôsá=áàâmèwæxà[áxïiáà[æxå{æâçè`çëVsçáxíBå{îiý4ê4èwæóià(ð»â}ð=åèsòWäçè&ðæxáôsäæ%ð»ô&äó_ïsåáxåíyàæxà[áxâàò`ä[âáxä[ôiâmæxð[÷

ýwæxáôsäæôiáå{î=âèsòiôsäæxâmçè â}ð:ôsðàò æçJéiôiâî}ò ïsåáxåíyàæxà[áxâ àòJîâèiàåá:ä[âáxä[ôiâmæxð:å{èsò íyçáxà_õà[èpù
à[áå{îîR ê Ñpùòiâmíyàèsðâmçèså{î>õáxâ}òiðúåèsòÍäçôiáxðàùç{ë}ùñ,å{îôià(ðZâèsòpôsäæâçè |+å{î}ðçüäå{îîà
ò Fç4àæósà[áxâåè
T9èsòpô&äæâçè }^â}ðWôsð»à(ò æç éiôsâmî}ò õàèià[áå{î½áxàä[ôiáxðâñàîmê òpà[ãsèià(òºòpàðâõèsð[¾ ÷ 3Íà ïiáxàðà[èwæWæóià
íyçáxàJõàèià[áå{îFä[çôiáðàùç{ë}ùñåîôiàð^íyàæxóiçpò é&àîmç,ö å{è&òºå{ïiïiîê â8æoå{ë}æàáö]å{áòiðWæxç éiôiâî}ò å
æáxà[à[ùð»æáxôsäæôiáxàòUåòiòpâmæxâmçèUä[âmáäôsâ8æ÷
]óià_â}òpàå^ëìçáFð»ô&äóDZà 4æàèsð»âçèsð]â}ðZíyç{æxâñå{æà(òoé4êüïiáàñ4âmçôsð]ö"ç*á oç{ë=çôiáxðZçè ä[åî}äôiîââè
=Z0!$#%#%!eëìçáWð»ê4èwæóià(ð»â âmèsõüáxàä[ôiáð»âñàWîçõâ}ä þ ½å{èsò ëìôièsäæxâçèsåî%ïiáxçõáxåíBð þ -p ÷ ]óiàáà
ö"àÅòpà[ñà[îçïlàòJáxôiîàðFå{èsòüæåäæxâ}ä[ðZé&åðàòJçèDâèsòiôsäæxâmçèüæóså{æfZà 4æxà[èsò òiàãsèiâmæxâmçè äçèæxZà 4æxð
ö½âmæóDæxà[íyïiî}å{æà- ð |+åyëìôsèsäæxâmçè çáfïiáxàòpâ}ä[å{æàPèsåíyà`ö½âmæó åoíyàæåñåáâ}åéiîàfð»æxå{è&òpâèiõBâèJëìçá
æósàyé&çpòp$ ê }fëìçáPáxàä[ôiáð»âñà^òpàã&èiâmæâçèsð
åèsòeîmà(åñàÅæóiàyôsðà[áPö½âmæxóeåJõçå{îæxçüïsáç,ñà_ö½óiàáà
ôsðàoçëZæóiàüâèsòpôsäæâçè ó4ê4ïlç{æósàðâðÅéiôiâî}òið`å áà(äôiáð»âñàyïiáçõáå{íJp ÷ ]ósâðÅïsåð»æ_ö"ç*á eósåð
í^ôsäóûâè äçíyíyçèºö½âmæó çôiáUæà(äóièiPâ dwôiàùésåðàò ä[å{î}ä[ôiîôsðWëìçáDä[âmáäôsâ8æð÷ ý4ê4èwæxåäæâ}ä[åîîmêú
îçõâäZïiáçõáå{íBð¸åèsòoä[âáxä[ôiâmæxð%åáà
ðâmíyâî}å{ká 5é&çæóJä[åèoélà
òiàðxäáxâmélàòoåð]äç)è ôièsäæâñà
äçíWù
éiâèså{æâçèsðFç{ë%ïsáâíyâmæâñà
áxà[î}å,æxâçèsð½ö½ósà[áxà_à 4â}ð»æàèæxâ}å{: î dwôsåèwæâmã&ä[å{æâçè ïsåðxðàðfñåîôiàð 8
÷ Tæ
æôsáèsðÅçôpæÅæóså{æÅöËàUäçôsîÛ ò |ìö½âmæxó ñà[áxê íyâèiçáPåòiåïpæxå{æâç è }
òiâmáxàäæîêDôsðàyæósàoáxôiîàðPå{è&ò
æxåäæxâäð=ö"àFòpà[ñà[îçïlàò_ëìçáËðêwèwæxóiàðâ [âèiõ:îmçõâ}äËïiáçõáå{íBð>æç_éiôiâî}òÅáxàä[ôiáð»âñà½ä[âmáäôsâ8æð0 ÷ 3eà
ãsèsòUæxóiâ}K ð wâèsòUç{ëáxà[ôsðà{úièiç æ ôsð»æZç{ë=äçè&äà[ïiæxð½éiôiæFå{î}ð»ç^ç{ëåäæôsåîcáôsîmà(ð]å{èsòoæxåäæâ}äðúsåè
å,ææáåäæâñàZåòpñ,å{èwæxåõà½ç{ëcâèwæàáïsáà[æâèiõPòpâ 4làáàèwæËð»ê4èwæósàðâð%íyàæxóiçpòpçîçõâàðâèBå`äçíyíyçè
ëìáå{íyà[ö"ç*á l ÷ 3eàWö½âîîåòiòpáxàðxðfæóiâ}ð:ï&çâèæPå{õwå{âèDâèÍýpàäæxâçè üö½óiàáà^öËàyä[çèsðâ}òpà[á:óiç,ö
æà(äóièiPâ dwôiàð_òpà[ñà[îçïlàò ëìçáÅæxóiR à ,60/º"2ûðê4ð»æàí äå{è åî}ð»çDélàUåïiïiîâàòeâèÍæói à ViçáíBåî
ý4ê4èwæóià(ð»â}ð]ðàæ»æxâèiõi÷
3ÍàZäçèsðæxáô&äæ¸å:ïså{áå{íyà[æà[áxâ [à(òPäâáxä[ôiâmæé4ê`ïsáç,ñ4âèiõfå:ïsåáxåíyàæxà[áxâ àòPòpà(ð»âõè`æósà[çáxà[íJú
ö½óiâ}äóÍâ}ðPå òpàðâõè æóiàçáxà[í ö½óià[áxàWæóiàoçôpæxà[áxíyçð» æ dwôsåèwæâmãsà[n á |+ç- á dwôsåèwæâmãsà[áð }Fáå{èsõàð
ç,ñàá½å^ðôiésðàæZçëåèUâèsòpô&äæâñà[îêyòpàãsèsàòJòiå,æå,æê4ïlà:îâ àFæóiàPè&å,æôsáxåîèwôsí_élà[áðúpà÷ õs÷8ú
¹ à
Ò² ³ v1wxt Ë Z² y ³*³³ Ë Ã Z² y Ã ³x y qµPÑ Ë =³ ³³ Ë Ã · r1st okq
rts)µPÑ Ë ³ ³³ Ë Ã ·
ðï&à(äâmãsàð]åèüâíyïiîàíyà[èwæxå{æâçè^ö½óiçðàPð»âà
òià[ïlà[èsòiðZçèUæóiàPè4ôií^é&àáKÑ÷
3Íà½ôsðà"âèsòiôsäæxâmçèPæç
âèsð»æxåèæxâ}å,æK
à x y q`æçPåFáxàä[ôiáð»âñàîê:ðï&à(äâmãsà(òÅòpà(ð»âõèc÷c=Z "!$#%#
! ð
:ø Uäçíyàðö½âmæó_å]æóiàçáxê
ç{ëièså{æôiáå{îèwôsí_élà[á6 ð |+õâñàè
åðåè`âèsòpôsäæâñà¸òpà[ãsèiâmæâçè}lëìáxçí
ö½óiâ}äóüâ8æ½â}ð"àåð»êyæxçyòpà[áxâñàfæóià
ëìçîmîç,ö½âèiõ`ä[çôiáð»à[ù-çë}ù-ñ,åîmôsàðËâmè&òpôsäæxâçèBáxôiîà{÷
¯g¯
» » Ñ ³ » »Ñ Î ¼ ¹¤ö Î ³
ö × Ñ y jµ ö · ½ ½ B´ y µPÑ · ½ ½ B´ 6¹ Ñ ² Î ³ y µPÑ ·
² ²
3ÍàÅôsðà`æxóiâ}ðZáxôiîà`åð½æxóiàÅé&åðâð½ëìçá
åWæxåäæâ}ä{úÜ÷ã Þ å|æê1 || ú6ö½óiâ}äóJëìôièsäæâçèsðfåðFâ8ë¸åè
âèsð»æxå{è&äà:ç{ëæóià
ëìçîmîç,ö½âèiõPáxôiîàPðäóiàíBå`ö"à[áxàPå{ïiïiîâàò÷
»» . µ+¹Ñ ² Î ³ v1wxt Ë Z² y ³³³ Ë Ã Z² y Ã ³)x y qµPÑ Ë ³³³ Ë Ã · 1r Ò ü Ô üW Ò Pµ Ñ Ë ³³³ Ë Ã ·0· ¼
¯g¯
Ñ ³ »» Ñ Î ¼
²
¹Ïö Î ³ ö × Ñ v1wxt Ë ²Zy ³*³³ Ë+Ã ²Zy Ã ³x y qµjö Ë ³=³*³ ËjÃ · rst oq
rvs)µjö Ë ³³³ Ë+Ã ·
²
½½
B´ 1v wxt Ë ²Zy ³³³ ËjÃ ²Zy Ã ³ 1r Ò ü Ô üW Ò µPÑ Ë ³³³ ËjÃ · r1st okq
rts)µPÑ Ë ³*³³ ËjÃ ·
² ³ v1wxt ²Zy ³*³³
´ ¹6Ñ Î Ë Ë Ã Ã qµPÑ Ë ³=³³ Ë Ã rst oq
rts)µPÑ Ë ³³³ Ë Ã
½½ ²Zy ³x y · ·
ôô
3ûóiàèJåèUâèsð»æxåèsäà
çëæósâð]áxôiîà
â}ð"åïiïiîâàòoéwêoóiâõóiàá»ùçáòpà[áËáà(ð»çîôpæâçècúokq
rtsFö½âîî6ôièiâmëìê
ö½âmæóyæxóiàfðïlàäâmã&äå,æxâmçèWç{ëcæxóiàfòpà(ð»âõèWæóiàçáxà[íJúwåèsò x y B q ö½â8æxóyæósàfíyà[æxåñ,å{áxâ}å{éiîàËð»æxåèsò4ù
âèiõBëìçá:æóiàWäâáäôiâmæ[÷] óià^æö"çUåððôiíyïpæxâmçèsð½çë%æósâðfáxôiîàÅõàèià[áå,æxà`æö"çüðôiéiõçåîð½æçüé&à
ïiáxç,ñàè÷c]
óiàZãsáxð»æËðôiéiõçå{î&ð»à[æxð¸ôsïBåPïså{áå{íyà[æàáâ[ à(òÅä[âmáäôsâ8æ¸òpà[ãsèiâmæâçè>
5 å{èyàwd ôså{îâmæê
ëìçá
x y q âð
òpà[ãsèià(ò6ú>ö½óiàáà^âmæPâð:àd ô&å{îæçñur Ò ü Ô ;ü W Ò ú>ö½ósâäó ö½âîmîélàWåüíyà[æxåñ,å{áxâ}å{éiîà{÷_øfôiá
æxåäæxâäyòiâðxäósåáõàð:æósâð_ð»ôséiõçwå{î¸é4êÍåòiòpâèiõDâmæ`æxçDæósàUòpà[ãsèiâmæâçè&ðPç{ë]æósàoíBå{âèÍòpàðâõè÷
]óiâ}ðPîàåñàð:ôsðÅö½â8æxóÍæóiàUð»à(äçè&ò õçåî1úö½óiâ}äóÍâðPæóiàoòiàðâmõèÍõçåî-z ÷ Zç,ö"à[ñà[áú>èiç,ö öËà
éiôiâî}ò å ä[âmáäôsâ8æ_èså{íyà(ø ò 1r ü üW å{èsò âèsð»æxåèwæâ}å,æxâmèsõUæxóiâ}ð`âè ðôiésðkà dwôiàèæ_ïiáç4çëFðæxà[ïsð
Ò Ô Ò
ö½âîî>âèsð»æxåèæxâ}å,æàÅçôiá
òpàã&èiâmæâçèDëìçá x y q68 ÷ Dçáàç,ñà[áú&ö"à^èiç,ö ósåñà_åUèià[ö åððôiíyïpæxâçè
|}æxóiàBâèsòpô&äæâçè ó4ê4ï&çæóià(ð»â}ð }ú ö½óiâ}äó ð»æxå{æàðPæóså{æ x y q åäóiâàñà8 ð okq
rts^ëìçáÅðíBå{îîà[áfñ,å{îôiàð
ç{ ë öp÷ Të
ö"àDä[åè áxàòiôsäàüæósà ïiáxçéiîà[í æxç âíyïiîà[íyà[èwæxâmèsõ å ð»íBåîmîàá_òpà(ð»âõècú%æósà[è öËà
ä[åèUáxàðçîñàfö½âmæóUæósàPâmè&òpôsäæxâçèoó4ê4ïlç{æósàðâð½åèsòUæóiâ}ð]ö½âîî6éiôiâî}òoåWáxàäôsáxðâñàfòiàðâmõèoé4ê
âèsð»æxå{èwæxâå{æâèiõ^æósà^òpà[ãsèiâmæâçèDé&çpòpêDçë x y q ö½âmæó åè âèsð»æxå{è&äà`çë x y q6 ÷ Zç,ö æxóiâ}ðFö"ç*á pð
âèyïiáåäæxâ}äàZö½âîîiélàäçíyàFäîà(å{áxà[á¸âèoý4à(äæâçè g÷ 46 ÷ Ëçôiáð»à[ù-çë}ù-ñ,åîmôsàðâèsòpôsäæâçèWâ}ð¸ô&ð»ôsåîîmê
ôsðàòÍâè äç)è ôièsäæâçèÍö½âmæó åDáxôiîà^ëìçá^ä[åðàù9ðïiîâ8ææâèiÊ õ |}æç äáxàå,æxàyésåðàoåèsò ðæxà[ï äåðàð }
å{è&òoâèüçôiáZðàææâèiõ^æóiâ}ð½ä[çáxáà(ð»ïlçèsòsð¸æxçWæóià
ëìçîmîç,ö½âèiõPáxôiîà{÷
y ´ x y q rst oq
rvs ¼úù y ´ x y q P rst okq
rts ½ ½ B´ { µ y x y q x y q P · r1st okq
rts
»»
]óià]æåäæxâ}äûÞ |Zåïiïiîâàð>æóiâ}ðáxôiîà]âmè&ðæå{èwæâ}å,æxâèiõ
é4êyæósàPôsð»àá[÷
y ö½â8æxó^åPä[çèsòiâ8æxâçèÅõâñà[è^åð=åPð»æáxâèiõ
=åáxåíyàæàáâàòüð»ïlàä[â8ãlä[å,æxâçèsðFáàdôsâmáxàÅï&å{áå{íyàæxà[áxâ[àòüïlçáæfæê4ïlàð[úcà{÷ õi÷múcáxå{æóiàá:æósåè
ósåñ4âèiõ½âèiïiôpæ>ï&çá»æðú,ö"à%ósåñà=ïså{áå{íyà[æà[áxâ [à(òFâèiïiôiæéiôsðxð»à(ð ÷ çfð»ôiïsï&çá»æ>æóiâ}ðcö"àËòià[ñàîçï
å
æxóià[çáê_ç{ëcéiôsðxðàð=àèsäçpòpà(òBåð=îâ}ð»æxð=çëðïlàäâmãsà(ò^îmàèiõ{æxós1 ð |ìæóiàáàfå{áxà½ç{æósà[á%ïlçðxðâmésâmîâmæâà(ðú
à{÷ õi÷,ã&èiâmæà"ëìôièsäæâçèsð[úéiôiæ=æóiâ}ð=å{îîç,öZðcô&ðæçPòpâáxàäæxîê:ô&ð»1 à = !B#
#%!#ðîmâ}ð»ææxóià[çá$
ê }÷¸ý4çíyà
ç{ëçôsá]òiàãsèiâmæxâmçèsð]å{áxàPåð"ëìçîîç,öZð[÷
±
|üýiµPÑ · }þ t.ÿ µPâ · ~ÑYµ %ý ÷ ² â ³ ÷ ² ±· Ø
Ï Õâ³
ü x µPÑ â
·
Ï ³ µ }þ t.ÿ µ ~Ñ 8µZÙ ³ µÙ ~â
· · · ·
w
R x µPÑ âÏÙ ³ µ }þ t.ÿ µÙ ~Ñ 8µZ ³ µÙ ~â
· · · · ·
â ÑeÏµ } st x µPÑ ÿ Ð ³ jµ t8 µ â
·t·t· ·
Í éiôsðâ
ç{ë=æê4ï&àRµ |üi ý µPÑ â}ð:åBîâ}ðæfç{ë%îà[èsõ{æó Ñ å{è&ò ö½óiçwð»à_íyà[í^é&àáxðZåáàÅëìáçí\æóià
± ·t·
ðàæ ÷.]óià:ëìôièsäæâçè&ð ü x åèsò w
R x áà[æôiáxèBæxóià
ôiïiïlà[áZåèsòoîç,ö"à[áÑUéiâmæð|+ö½óià[èUæósà[ê
±
Zà pâ}ð»æ }ëìáxçí âúpåès?
ò â ÑBáxàæxôiáè&ð¸æxói1
à Ñpæxóoàîmàíyà[èwæ¸ç{ë â
÷ 3eà:ósåñàZïiáxç,ñà[èWíBåèwêWð»æxå{è&òiå{áò
ë+åäæxð½åé&çôpæ½æóià(ð»à`òiàãsèiâmæxâmçèsð[úwà÷ õs÷8úsö"àPä[åèüòpà(äçíyï&çwð»à:éiôsðxð»à(ð
» »
öÑ ® ¼ â µ |üýBµjö ·t·½ ½ ´Áâ. w
R x µPÑ â · ü x µ ® â ·
² ±
å{è&òUö"à
ósåñàPòpàáâñàòoæêwïsâmèsõ_áxôiîàð[úiö½óiâ}äóüäå{èüé&àÅôsð»à(òüâmèUæósà`äçèwæxàZ4æZç{ëæóiàâéiáxåáê
å{è&ò fàðâõèüíyàæósç4Ê
ò |+äë9÷lý4à(äæâçè ÿ Ì÷
}÷
» »â µ |üýÑ
² ± · ¼ â P ² µ ± |üý ® ·B½ ½ B´ â{â P ² µ ± |üý$µPÑ ® t· ·
» » ö~Ñ ® ¼ â ² µ ± |üý1ö ·"½ ½ B´ w
Rx µPÑ â µ |ü ý Ñ
·² ± ·
»
» ö~ Ñ ® ¼ â ² µ ± |üý1ö ·½ ½ B´ ü x µ ® â µ |üý ®
·² ± ·
:å,æxå å{ésð»æáåäæâçè â}ðyïiáxç,ñ4âòiàò éwê ëìôiè&äæâçèsðWæó&å,æUâèwæàáïsáà[æBï&çá»æüñåîôiàðBåðBèså{æôiáå{î
è4ôií^é&àáxð[÷¤]óiàyëìôiè&äæâçè íBå{ïsð
ésâ8æð:æçDè4ôií^é&àáxðPåèsò s àZ4æàèsòiðPæxóiâ}ð:ëìôièsäæâçèeæç
ôb
éiôsðxðàðn|+â1÷ à{÷Jîâ}ðæðúö½óià[áxà£» â}ð

æxóiàBà[íyïiæê îâ}ðæ`å{è&ò â}ð:æósàoâèpã$ä[çèsðçïlà[áå,æxçáPçè
½
îâ}ðæ*ð }÷
µPâ Ï s ý â w w ´ Ö { ´
s µt· » ½· Ï
s µPâ *ñ · Ï! µPâ · #æ "$ s µ*ñ ·
Ô
% cAe ¨$ébQê`î+ï
3Íà ïiáxàðà[èwæUæöËç àZiå{íyïiîà(ð÷ øfôiáoã&áxð»æüàiå{íyïiîàDâ}ðUå äçíyïså{áå,æxçáoòpàñàîmçï&à(ò ôsðâmèsõ
ViçáíBåîsý4ê4èwæóià(ð»â}ð=âè þ ('-÷Tæ%âîmîôsð»æáå,æxàðóiç,ö öËàfä[å{èBòiâmáxàäæîê`íyâíyâ}äVsçáxíBå{îsý4ê4èwæósàðâð
æçDä[áà(å,æà^óiâà[áå{áäóiâ}ä[åî>òpà(ð»âõèsð÷BøfôiáPð»à(äçèsò ài å{íyïiîàÅô&ð»à(ð
âmè&òpôsäæxâçèDæxç äçè&ðæxáôsäæ
å
ïsåáxåíyàæàáâ àò^æáxà[à[ùðósåï&à(òUåòiòpà[á÷
V çáé&çæóÅài å{íyïiîàðcöËàËõâñà¸ð àîmà[æçè`òpà[áxâñå{æâçèfæáxà[à(ð1| ð»àà¸ãsõôiáxàð å{è&ò
s } æóså{æðóiç,ö
ö½óiâ}äó_æàäósèiâPd ôsàð=å{áxà½å{ïiïsîmâà(ò`âè_çôiá6=Z0!$#%#%^ ! òià[áxâmñ,å{æâçèsð[÷Í
3 àZå{î}ð»ç
ðóiç,ö ð»æàïsðëìáxçí
æósà^òpàáâñ,å,æxâçèsð]æxóià[íBðà[îñàð6 åîmî>æà4 æ:âèñ
è'&â)(|áÞ |âá
÷ å|Uâ}ðFæxå à[èúö½âmæó íyâèiçáZïsáà[æ»æê
ïiáxâèæxâèiõiú=òpâáà(äæxîmê ëìáçíNå{èT ðxå{élà[îîàBð»à(ððâçè÷Ê] óiàüð»æàïsð_âmè æóiàüòpà[áxâñå{æâçèeæxáààð^å{áxà
î}å{élà[îàòoö½âmæóüèwôsí_élà[áðúpö½óiâ}äóUöËàPáxàëìàá]æçWö½óià[èDòpà(ðä[áâéiâèiõÅæóià`ä[çáxáà(ð»ïlçè&òpâèiõÅð»æà[ï&ð÷
Fç{æà"æxóså,ææósà[áxàËâ}ð>èiç{æ=åZBã 4à(òÅçáxòià[áâmè_ö½óiâ}äóÅðôiéiõçwå{î}ðcí^ôsð»æ>élà½ð»çîmñàò
âL è = "!$#
#%!6÷
Dçáàç,ñà[áúðôiélòiàðâmõèsð¸íBåê_é&àfâèæxáçpòpô&äàòWå{æËå{è4ê_æâíyà½âèWæóià:òpàðâõèWïiáxç4ä[àðxð ÷ ]ó4ôsð%å
òpà(ð»âõèsà[á"ósåð]äçèsðâòià[áå{éiîà]ëìáxà[àòiçí âèoçáõwå{èiâ [âèiõ
ïiáxç4ç{ë+ð]å{è&òyæósà
òià[áxâmñ,å{æâçèWæxáààðËëìçá
æósà`òpà[ñà[îçïlàòUäâáxä[ôiâmæxð"ä[åèüñ,åáêúpä[çèsðâ}òpà[áå{ésîmêúëìáxçí æóiçwð»à
ö"à:ïsáà(ð»àèæ½óiàáà÷
gjiglk 9)<1B>); > Eá9; k GZ@P@

*
°
Í äçíyï&å{áå,æçá½æxå à(ðfåðfâèiïsôpæfæö"çoö"çáòið å{èsò úcáxà[ïiáxàðà[èw° æâèiõyè4ôi° íyàáxåî}ðú6å{ès° ò òpàù
±
æàáíyâèià(ðËæóiàâmáFáàîå{æâñàfçáòpà[áúiâ-÷ à÷8ú&ö½óiâ}äóUçëæxóiàPæxóiáàà`ä[åð»à(ð × ± ú ± çá +
±
óiçîòsð÷fý4ô&äó åBäâáäôiâmæFäå{èDélàÅéiôiâîmæZâè åBáxâïiïiîàù9ä[åááxê^ë+åðóiâçèüëìáçí äçíyï& ° å{áå,æçá½äà[îî}ð[÷
]óià(ð»à`ä[à[îî} ð |+ðà[à
æósàÅîàë}æù-ósåèsòUãsõôsáà
â£ è V>âõôiá- à
}]äçíyïså{áxàPåWéiâmæ½ëìáçí åèsò å{è&ò
±
å{î}ðç
ósåñà½æxóiáxà[àZâèiïiôiæËéiâmæx1 ð |ìçèsàZëìçáËàåäóBä[åðà }úö½óiâ}äóBåáà]æxóiàFáxàðôiîmæ%ç{ëïiáxà[ñ4âçô&ð¸äçíWù
ïsåáâ}ðçèsð |-,ýü . ú r/.ü úcåès ò ß ñvü }úcå{è&òDõàèià[áå,æxàPæóiáxà[à_çôpæxïiôpæ
éiâmæx8 ð |0,ý"W21 . ú r/.W'1 ú ß ñ/W'1 }÷
Ò Ò Ò Ô Ô Ô
]óiàPélà[ósåñ4âçáå{îlð»ïlàä[âmã&ä[å{æâçèUâð 5
3547658935:;;5<)=>2?A@?CB/DFE-GH?I:/J9E-GH?I;5KE-GH?IB/D94ML5NO?I:/J947L5NO?I;9K/47L5NPRQQ
=TS9;)=>FPVURS9;2=W@PVX5XYVB/D94ML5NZQZ[94]\^:/J547L5N_QZ[54`\Z;5K47L5N_QbaFE5PR\
=TS9;)=>FPRQVS9;2=W@PVX5XYVB/D94ML5NZQZBDFE-G_\^:/J547L5N_Q_:/J9E7G^\Z;5K47L5N_Q_;5KE-GPV\
=TS9;)=W@PVURS9;2=>9PVX5XYVB/D94ML5NZQbaEc\^:/J547L5N_QZ[54`\Z;5K47L5N_QZ[549P
ÍFðZïiáàñ4âmçôsðîmê^âèsòpâ}ä[å{æà(ò6úd â}ð"òiàãsèià(òüâmèüçôsá]æóiàçáxêyç{ëéiâèså{áxêyñ,å{îôiàð5 µ7 w `å{è&ò

·
"µ { · e
÷.Í
3 à`ä[åèUèsç,ö ðôiéiíyâmæËæxóià
ëìçîîç,ö½âèiõÅòpà(ð»âõèBæósà[çáxà[í æçn=Z "!$#%#
!÷
f :MgO=ih7aPRX5XY
=kj94MDN_>lm@E-Gb@nlm@E-G_BDFE-Golm@E-G^:/J9E7Golm@E-Gp;5KE-Golq@E-G_B/DF47L5NHlm@E-G^:/J54ML5NHlm@E7G^;5K/47L9NHlm@E-Gnr
h5s068O=i>2?$@?CB/DFE-G?C:/J9E-G?#;5KE-GH?B/D947L9NO?I:/J54ML5NO?I;5K47L5NPR<5>MN
354768939:;;<)=i>2?$@?BDFE-G?#:/J9E-G?C;5KE-G?IB/D947L5N?I:/J547L9NO?I;5K/4ML5NPP
3Íà_ð»æxåá»æZæxóiàÅïsáç4ç{ë=é4êJå{ïiïiîê4âèiõWå{èDâèiâmæâ}å{îâå{æâçèWæåäæâ}ä,úsö½ósâäó ðàæðZôiï æóiàÅòiàðâmõè

õçwå{îé4ê âíyïiîâ}ä[å,æxâçèüâmèwæxáçpòpôsäæâçè|ìö½óiâ}äóeíyç,ñàðFæósàWòiàãsèiâmæxâmçè ä[çèwæàwæPâèwæçUæóiàBåðù
ðôiíyïpæâçèeîâ}ð»æ}Påèsò å{ïsïiîâmà(ð
æósàzT9èsðâ}òpàyæåäæxâ}ä|+ð»æàï }÷pTðxå{élà[îîàyáà(ð»ïlçè&òiðÅö½âmæxóÍæóià
ëìçîîç,ö½âèiõ`ïiáxç4ç{ëðæå,æ?
à |+öËà
à[îâ}òpà
ð»çíyàfâèpëìçáíBå{æâçèBåé&çôpæ½æósà
æêwïsâmèsõ_çëæósàPï&çá»æ*ð }÷
K
/2£l# ( û
+! µ0+!
1
inside_tac
01-7 c

/ /
subdesign_tac
¶
3 17
claim_tac inside_tac
/
4 5 18
proof_tac reveal_tac subdesign_tac
10
6 19 26
9
split_tac claim_tac inside_tac
7 8 20 21 27
design_tac split_tac proof_tac split_tac claim_tac
9 10 22 23 28 29
library_tac split_tac design_tac split_tac proof_tac reveal_tac
11 12 24 25 30
library_tac split_tac design_tac library_tac split_tac
13 14 31 32
library_tac split_tac library_tac library_tac
15 16
library_tac library_tac
ô
ôÈ
grout grin grout grin
eqin eqin
eqout eqout
CompCell lsin lsin
lsout lsout
BitComp
a b a b
£l# ( Ï£ / ¶
»9 4 f
2
! 01)9#! ]:!# »" 0101!
¶ 2 /2
f :MgO=ih7aPRX5XYt=Tj94/DN^>Olq@E-Gb@olq@E-G_B/DE-Golm@E7G^:/J9E-Gnlm@E-G^;9KE-Golm@E-G_B/D94ML5NHlm@E7G^:/J547L9NHlm@E-G_;9K/47L5NHlq@E-Gor
354768939:;;<)=i>2?$@?BDFE-G?#:/J9E-G?C;5KE-G?IB/D947L5N?I:/J547L9NO?I;5K/4ML5NPP
u2r_vvw>x@_B/DFE7Gp:/J9E7G^;5KE-GpB/D947L9N_:/J547L9N_;5K/47L9NHr
y9z >Olm@E7G{_rrr/{I;5K/47L9NHlm@E-GH{ f :Mg'=0h7aP zm| QQ5Y
h5s-68O=>2?w@?IB/DE-G?I:/JFE-G?I;5K5E-G?B/DF47L5NO?#:/J547L5N?I;5K/47L9NPR<>MN
354M68935:;5;<)=>2?A@H?IB/DFE7G?I:/J9E7G?C;5K5E-G?B/DF47L5NO?I:J547L5NO?C;5K/47L5NP
]óiàyçáâõâmè&å{îõçåîâ}ð
õâmñà[è çèeæóiàWãsáð»æ»ù-æóiáxà[à^îâmèsàðâmæPä[çèwæxåâèsðfæöËçJíyàæåñ,å{áxâåéiîàð
x y qyåèsòn} ð»æxåèsòpâèiõ
ëìçá%æóiàfâíyïiîà[íyà[èwæå,æâçèPç{ëw~ wo 2~ r å{è&ò^æóià:òpàãsèsâ8æxâçèsðæxóså,æ
ö½âîî"élàJíBåòpàúËáxàðï&à(äæxâmñà[îê{÷] óiàðàDå{áxàüåî}ð»çeïiáxàðà[èwæ^âè æóiàJëìçîîmç,ö½âèiõDîâèià(ðR|+ö½óiâ}äó
äçèwæxå{âè æóiàyðôiéiõçwå{îæó&å,æ`í^ôsðæPélàWàð»æxå{ésîmâ}ðóiàò æçJïiáxç,ñàÅæóiàyçáâõâèsåîõçå{îF } å{èsòeö½âîî
élàüâèsð»æxåèwæâ}å,æxàòÍö½óiàè ïiáxç,ñ4âèiõDæósâðWðôiéiõçå{î-÷¸F àZ4 æyöËàüâèæxáçpòpô&äàUå èiàö ðôiélòiàðâmõè
ü Rú W q æxóså,æPö"à^ö½âîîôsð»àyåðPåüä[çíyïlçèiàèwæ[÷L] ósà^â}òpà(åoâ}ðfæó&å,æPöËà^ãsáð»æPä[çíyïsåáà`æóià
Ô y
æö"ç_éiâmæð å{èsòz] â áàïiáxàðà[èwæâèiõPæxóiàPäôiáxáxà[èwæ]òiâmõâmæ[÷] óià[èUöËàPäçí_ésâmèsà½æóià
áxàðôiîmæËçëæósâð
äçíyïså{áxâ}ð»çè ö½âmæxó âèpëìçáxíBå,æxâmçèeä[çíyâèiõüëìáxçí ä çíyïså{áxâ}ð»çèsð:ç{ëZîàðxð^ð»âõèsâ8ãlä[å{èwæPéiâmæxðÅæç
õâñàFæxóiàPáà(ð»ôsî8æ÷]ósà`ð»ïlàä[â8ãlä[å,æxâçèBçë>æxóià ü úRW y qüðôiélòiàðâmõèoâ}ð"æósà
ëìçîîç,ö½âmèsõi÷
Ô
E7N9354768F<2=>2?A@?CB/DO?C:J'?I;5K5PVQQ
=TS9;)=>FPRURS9;)=T@PVXX5YVB/D_Q_[54V\^:/JZQb[94b\_;9KRQbaFE9PR\
=TS9;)=>FP QVS9;)=T@PVXX5YVB/D_Q_[54V\^:/JZQVaEV\_;9KRQZ[54FPR\
=TS9;)=W@PRURS9;)=i>9PVXX5YVB/D_QZaFER\^:/JZQb[94b\_;9KRQZ[54FP
3Íà_åïiïiîê ê
ç|æ|â|
Þ ëå
_ö½âmæxóJæóiâ}ðFðïlàäâmã&äå,æxâmçèÊ|1ðæxà[ïp
}½å{è&òüæóiâ}ðZê4âà[î}òið"æö"çoðôiépù
õçwå{î}ð[÷ Í"æÅæósàoæxçïú¸ö"àUðà[àUçôiá_çáxâmõâèså{î=õçå{î%ö½óià[áxàBæxóiàüòiàãsèiâmæxâmçè äçèwæxàZ4æe} ö]åð
àZ4æxà[èsòpà(òBö½âmæóüå_òiàãsèiâmæxâmçèyëìçá ü úRW y qUå{è&òBæxóià[áxàfâ}ð"åÅèsà[öûíyà[æxåñ,å{áxâ}å{éiîàº ëìçáËëìôsá»ù
Ô
æósà[áòpàãsèsâ8æxâçèsð[: ÷ ]óià%ãsáxð»æ>ðôiéiõçå{îâ}ðåFòiàðâmõè
æóiàçáxà[í ëìçá>æóià"ð»ôsélòpà(ð»âõè: ÷ ]óià"ð»à(äçè&ò
â}ð¸æxóià:çáxâmõâèså{îiòpà(ð»âõèWæóiàçáxà[í éiôpæ]èiç,öºö½âmæóUå{èUåòiòpâmæâçèså{îsåððôiíyïpæxâçè^æóså{æËæxóià[áxà:âð
è { t ~ wn r ÷
å{èüâíyïiîà[íyàèæå,æxâmçèWç{ëæóià`ðôié6òpàðâõèBæxóså,æFðxå,æxâ}ðãsà(ðËæóià`ðï&à(äâmã&äå,æâç
f :MgO=ihMb\
=Tj94MDNp>Olm@E7Gb@olm@E7G_B/DHlm@E-G^:/Jlq@E-G^;5KOlm@E-GorIh E7N5394768O=>'?@?TB/D?k:/J'?k;9K5PQ_hM32=i>2?@?TBDO?k:/J'?;5K5PPPXXY
jF4MDN_>Olq@E-Gb@olq@E-G^BDFE-Golm@E-G_:/J9E-Gnlm@E-G^;9KE-Golm@E-G_B/D94ML5NHlm@E7G^:/J547L9NHlm@E-Gp;5K/47L5Nolm@E-Gor
354768939:;;<)=i>2?$@?BDFE-G?#:/J9E-G?C;5KE-G?IB/D947L5N?I:/J547L9NO?I;5K/4ML5NP
u'r f :Mg'=0hMFP QQ9Y

ôô
BitComp
ls eq gr BitLess
z
BitLess BitLess
x y
a b
£l# ( R #!#"»f!#

¶
#] -0 0+! ) 7p'! 01}
2 /2 / / ¶
f
2
'! 01 »)1)
j94MDNp>Olm@E7Gb@olm@E7G_B/DHlm@E-G^:/Jlq@E-G^;5KOlm@E-GorIhM32=>2?W@?TB/DO?:/J'?k;5K9P <>MN E7N53547658F<)=>2?W@?TB/DO?:/J'?k;5K9P
rZvvw>x@_B/DE-Gp:/JFE-G^;5KE7G_B/D947L9N^:/J54ML5N_;5K/4ML5NHr
y9z >lm@E-G{^rrrM{I;9K/47L5NHlq@E-G{ f :Mg'=ihMP{
jF4MDN_>Olq@E-GZ@nlm@E-G_BDHlm@E-Gp:/Jlm@E7G^;5K'lm@E-Gor
h EMN5354768=>2?A@?CB/DO?I:/JO?C;5K5PV<>MN E7N53547658F<)=>2?A@H?IB/DO?C:/J'?C;9K5P zm| QQ5Y
h5s068=>2?$@?CB/DFE-GH?I:/J9E-GH?I;5KE-GH?IB/D94ML5NO?I:/J947L5NO?I;9K/47L5NPV<>MN
354768F35:;;<2=>2?$@?IB/DFE-G?#:/J9E-GH?I;5KE-GH?B/D947L9NO?I:/J54ML5NO?I;5K47L5NP
:âñàèoæxóiâ}ðZðôiélòiàðâmõèUö"àPôsðà Ý|Þ.ß |n|1ðæxà[ï&

}ËæxçBðæå,æxà
æóså{æ½æóiàPëìçîîmç,ö½âèiõ_ð»ïlàä[â8ù
ã&äå,æâçèoà[èwæå{âî}ð¸æxóiàPçáxâõâèså{î&õçwå{î.|`Vâõôsáà }÷
5 B/DHlm@E7G^:/Jlm@E-G^;5K'lq@E-G_lq@E-G_lq@E-Gor

E7N5354M68F<)=>'?$@?IBDO?I:/J'?#;5K5P \^>7G95<2=:/J'?BDFE-G?PR\Z4MDF<)=kB/DO?I'?IB/DF47L5NP \
>7G95<)=i:/J'?I:/JFE-G?C:J547L5NPR\Z>7G95<2=:/J'?I;9KE-G?#;5K5P \^4MD9<)=;9K)?'?I;9K/47L5NP
]óiàyïsáç4ç{ë½äçèwæâè4ôiàð:ö½âmæóÍåJè4ôií_élà[á
çëËëìôiáæósà[á`áxàãsèsà[íyà[èwæPðæxà[ïsð¤|+ð»æà[ï&ð ÿ æç %}÷
cà[æPôsðPðàæäó ðçíyàÅçë%æxóiàWáàíBå{âèiâèiõBð»æà[ï&ð÷eV>âáðæ
ö"à^ðóiç,ö æxóså,æ
æósàBäî}å{âíyàòJðï&à(äù
âmã&ä[å{æâçèeà[èwæå{âî}ð
æóiàUçáxâõâèså{îçèià% ö"àoïsáç,ñàWæóiâ}ðÅåôpæçíBå,æxâäå{îîêJôsð»âèiõ å æxåäæâ}äWæxóså,æ
ïlà[áëìçáxíBð%ä[åð»à[ùåèså{îêpðâðåèsòBðâmíyïsîmâmã&äå,æxâmçèz1| ðæxà[ï ÿ } ÷.½ Í ë}æxà[áúpöËà:âíyïiîà[íyà[èwæ=âmæËé4êWôsðâmèsõ
á|âã
â|
Ý |+| ð»æàï } æç:ðæxáâï`à4 â}ð»æàèæxâ}å{î wd ôsåèæxâmã&ä[å{æâçèsð1| å{èsòÅâèæxáçpòpô&äà¸âèwæàáèsåîö½âáxàð}
å{è&òyæósà[èüôsð»à&Ý|Þ |Fæç^éiáxàåW ôiïUæósà:ä[çè) ôiè&äæâçèsðËåèsò z w|{9} æxçõàæósà[á]ð»ôié6äâáäôiâmæð
+| ð»æàïsð½
æxç
} ÷] óiàËä[çíyïlçèiàèwæxðåáàËâíyïiîà[íyà[èwæxàòfôsð»âèiõÝ|Þç|áá
è ||ú{ö½óiâ}äó`åä[äà(ððàð
å{ïsïiáçïiáxâå{æà^îâmésáxåáêJïsåá»æðúå{èsòeôsðâèiõ æ
â
Þ ëå ||ú>æç åïiïiîêJæóiàUð»ôié6òpà(ð»âõè { t ~ wn )
æósâð]îà(åñàðËôsð]ö½âmæóüæxóià
ëìçîîç,ö½âèiõPïiáxçwçëð»æxå{æà{÷
f :MgO=ihMb\
=Tj94MDNp>Olm@E7Gb@olm@E7G_B/DHlm@E-G^:/Jlq@E-G^;5KOlm@E-GorIh E7N5394768O=>'?@?TB/D?k:/J'?k;9K5PQ_hM32=i>2?@?TBDO?k:/J'?;5K5PPPXXY
=IFE7DF:bB/DHlq@E-G^:/JHlm@E-G^;9K'lm@E-G^lm@E-G^lm@E-Gnr
h E7N5354M68O=>2?A@H?IB/DO?#:/J'?I;9K5PV49E-G^>7G9'=:/J'?BDFE-G?PV45E7G^4MD'=kBDO?'?CB/D947L5NPR45E-G
>MG92=:/JO?I:/J9E-GH?I:/J547L9NPR45E7Gp>7G9'=:/J'?I;9KE-G?I;9K5PR45E7Gp4MD'=i;5K)?'?#;5K/47L9NPPM<>/N
354768939:;;<)=i>2?$@?BDFE-G?#:/J9E-G?C;5KE-G?IB/D947L5N?I:/J547L9NO?I;5K/4ML5NP
u'r f M: g'=0hMFP QQ9Y

j94MDNp>Olm@E7Gb@olm@E7G_B/DHlm@E-G^:/Jlq@E-G^;5KOlm@E-GorIhM32=>2?W@?TB/DO?:/J'?k;5K9P <>MN E7N53547658F<)=>2?W@?TB/DO?:/J'?k;5K9P
ôU
çyâíyïiîà[íyà[èwæËæóià`ðôié6òpàðâõè { t ~ wo r ö"à:ïsáçpäààòüâèoæxóiàÅðxå{íyà:íBå{èièsà[áZåð]à(å{áxîâmàá

>
å{è&ò ö"àoâèwæáxç4òiôsäàüå èiàö ð»ôsélòpà(ð»âõè ü r*ñvñ |1ðæxà[ï (
}÷Í½ë}æàá[ú"öËàUéiôiâî}òÍæósàüåé&ç,ñà
ÔW
ü úRW y qBôsðâmèsõ ü r*ñvñ"æö½â}äàFåð%ðóiç,ö½èyâènV>âõôiáàº&z|+ð»æàïsð
æçL }÷.V>âèsåîîmêú { t ý"ý r
Ô ÔW
â}ðPð»çDðâíyïiîà`æó&å,æ`ö"àBä[å{èÍäî}åâmí åDòiâmáxàäæ:âíyïiîàíyà[èwæxå{æâçèDäçèsðâð»æâèiõüç{ë]äçíyï&çèià[èwæxð
ëìáxçíNæxóiàDîâmésáxåáê÷ ý4çîñ4âèiõ æxóiàJïiáç4çëfçésîmâõwå,æâçèÍåèsò áàñàåîâmèsõJæóiàDâèwæàáèsåî]ö½âmáxâèiõ
|+ð»æàïs1
ð (_åès£ò
}Ëáxàðôiîmæxð"âèoæxóià
ëìçîîç,ö½âèiõPïiáxç4ç{ëð»æxå{æà÷
f :MgO=ihMb\
=Tj94MDNp>Olm@E7Gb@olm@E7G_B/DHlm@E-G^:/Jlq@E-G^;5KOlm@E-Gor
h E7N53547658O=>2?@H?TB/DO?k:J'?k;5K5PQph E7N5[9:5KK=>'?@?k;5K9P 45E-Gph E7N5[5:9KK=W@?>2?TB/DP 545E-GbGF4/D'=;5K)?kB/DO?k:/JPP \
=Tj94MDN^lm@E7G_lm@E7G_lm@E7Gorh EMN5[5:5KK)=k'?'?IFPRQZFE7D9:b;rIhM32='?'?C'?I;9PP5PVXXY
>MG92=:/JO?I:/J9E-GH?I:/J547L9NPR45E7Gp>7G9'=:/J'?I;9KE-G?I;9K5PR45E7Gp4MD'=i;5K)?'?#;5K/47L9NPP
<>MN_394768935:5;;<)=>'?A@?IB/DE-G?I:/JFE-G?I;5K5E-G?IBD947L5NO?C:/J547L5N?I;5K/47L9NP
u'rZvv$_b_;r y9z f :Mg'=ihMP{wlm@E7G{Ilq@E-G{Hlm@E-G{C;Olm@E-G zm| QQ5Y

h/32=k'?O?I'?I;FPV<>MNE-G5S9<2=k'?I;9PR\_>7G99<)=;2?O?IFP
3Íà_ðïiîâmæ½æóiâ}ðFòiàðâmõèpùõçå
î |+ð»æà[p
ï &
}"âèwæçWæö"çBèiàö òpàðâõèpùõçwå{î}ð¸æxóså,æ
ä[åèDé&à_âmíyïsîmà[ù
íyà[èwæxàòBé4êyæxóiàPâè4ñà[áæàá"åèsòoæóiàPå{è&ò4ù-õwå,æxàFëìáxçí æxóiàPîâéiáxåáê_ôsðâmèsõ Ý|Þç|á|á
è |?|1ðæxà[ïsð
& å{ès\ ò &% }¡÷ Í½ë}æàáoæxóiàðà ð»æàïsð[úZæóiàeòpàðâõè æósà[çáxà[í æxóså,æüöËà ó&åñà ïiáxç,ñà(ò âðyæóià
ëìçîîç,ö½âèiõi÷
f :MgO==Tj94MD5N_>Olm@E7Gb@olm@E7G_B/DHlm@E-G^:/Jlq@E-G^;5KOlm@E-Gor
h E7N53547658O=>2?@H?TB/DO?k:J'?k;5K5PQph E7N5[9:5KK=>'?@?k;5K9P 45E-Gph E7N5[5:9KK=W@?>2?TB/DP 545E-GbGF4/D'=;5K)?kB/DO?k:/JPP \
=Tj94MDN^lm@E7G_lm@E7G_lm@E7Gor
h E7N5[5:5K5K=k'?O?FPRQZFE7D9:Z;OrIE-G9S'=k'?I;FPR45E-G>7G92=i;2?'?PPPVX5XY
>MG92=:/JO?I:/J9E-GH?I:/J547L9NPR45E7Gp>7G9'=:/J'?I;9KE-G?I;9K5PR45E7Gp4MD'=i;5K)?'?#;5K/47L9NPP
<>MN_394768935:5;;<)=>'?A@?IB/DE-G?I:/JFE-G?I;5K5E-G?IBD947L5NO?C:/J547L5N?I;5K/47L9NP
]óiàWíyà[æxåñ,å{áxâ}å{éiî- à } ósåð:élàäçíyà_âèsð»æxåèwæâ}å,æxàòDö½âmæó æóiàBä[ç)è ôsèsäæxâmçè çë%æósàWòiàãiù

èiâmæâçèsð]ç{ëæósàÅð»ôsélòpà(ð»âõèsð]ôsðàòJâèüæóià`âíyïiîàíyà[èwæxå{æâçèyçëæxóià`íBåâmèJòpà(ð»âõèüõçwå{î-úiâ-÷ à÷8ú
ü úRW y qUå{è&ò ü r*ñvñ.
÷ T9èoæóià
íBåâmèoõçåî-úæósà:ôs$è 4èiç,ö½R è x y qoósåðËélàä[çíyà:åÅïiáxàòiâäå,æxà
Ô ÔW
æó&å,æPáàïiáxàðà[èwæxðFæóiàyð»æáxôsäæxôiáxà_çë¸æóiàyòpà(ð»âáxàò ä[âáxä[ôiâmæfå{èsò â}ðFésôiâî8æfëìáçí æóià(ð»àyðôié6òpàù
ðâmõèsð
å{èsòÍåòiòpâmæâçè&å{î s|} å{èsò wx õwå,æxàð[÷Jøfñàáxåîmî-ú6çôiáÅïiáç4çëËéiôiâî}òið:æxóiàBðåíyàyäâáxä[ôiâmæ

å{è&òWôsð»à(ð=æxóiàFâ}òpàèæxâ}ä[å{îiðkà dwôiàèsäàFç{ëæà(äóièiPâ dwôiàZå{ïsïiîâäå,æxâmçèsðåð¸æóså{æ%ïiáxàðà[èwæà(òWâmè þ ()1÷
]óiàDòpâ 46à[áxà[èsä[àUélàæö"à[àè çôiáyòpà[áxâñ,å,æâçè å{èsò æói à VsçáxíBå{î½ý4ê4èwæóià(ð»â}ð_çèiàJâ}ð^èiç{æBðç
í^ôsäó âè æóiàBæàäósèiPâ dôsàðPå{ïsïiîâmà(ò6úcéiôpæ_áxå{æóiàá
æóiàyôiè&òpà[áxîêwâèiõJäçèsäàïpæô&å{îâ å,æxâçè å{è&ò
âíyïiîà[íyàèæå,æxâmç è 5câèBæxói à J8!$MNPO%::ðêpðæxà[íJú4æóià
âíyïiîà[íyàèwæxå,æxâçè^âð]ä[çèsð»æáxôsäæxàòUå,æ"æóià
à[è&ò çëFæósàDïiáç4çëfé4êÍæóiàDñ,åîmâ}òiå{æâçèÍëìôsèsäæxâmçèsð[úËö½óiàáà(åð_âmè çôsáWðàææâèiõsú%æósàJòiàðâmõè
æx å à(ð`ð»ó&å{ïlàoâèsäáxà[íyàèwæxå{îîêJòpôiáxâmèsõJæóiàUïiáç4çë9£ ÷ 3eàoãsèsòÍæxóiâ}ðÅåòiñåèwæxå{õà[çôsðPð»âèsä[àyöËà
ä[åèüòiâmáxàäæîêBðà[à:æóiàPà 4là(äæð½ç{ëàåäóJòpà(ð»âõèüòpàä[â}ð»âçèBæxå à[è÷
g;glk >);=;=C0992

>kFBG*>
XÎm1X
X G;
*
øfôiá
ð»à(äçèsòDZà iåíyïiîà`âîmîôsð»æáå,æxàð]óiç,ö çôiá
öËàîî8ù-ëìçôsèsòpàòüâèsòpô&äæâçèDæà(äóièiâPdwôiàÅðêwèwæxóiàù
ðâàðPï&å{áå{íyàæxà[áxâ[àò òpàðâõèsð53ÍàUðêwèwæxóiàðâ[àyå ä[åááxê îç4ç ,å{ósàåòeåòsòpà[áR|ìóiàèsäà[ëìçáæóú
ôp
Carry lookahead adder
s a b
aux
cla( n) u v w
p g
aux x
ci co
£l# ( #| Ê ¶ #] 2 0101! /2_/ 7s]9#78 / 0}

/

/
0-)
¶/2 2
äî}å{ùåòiòpà[=á }¸æóså{æFâ}ð]ïså{áå{íyà[æáxâäFâèüâmæð½éiâmæ»ùö½â}ò4æóRÑ÷iViçá1Ñpù-ésâ8æZè4ôií^élà[áðúsðôsäóDå{è åòiòpà[á

ósåð¸å
óià[âõóææxóså,æ¸â}ðïiáxçïlçáæâçè&å{îwæçq'jµPÑ å{è&òÅæxó4ôsð¸äçíyïiôpæxàðæósàFð»ôsí¡ø]å{è&ò^åPäå{áxáê
F ëìáxçí æö"çJè4ôií_élà[áð :ú â`åèsòÍå{èeâèsäçíy· âmèsõoä[åááxê w âèµq'jµPÑ ·t· æxâíyà{÷?T9èsð»æàåò çë
ïiáxçïsåõå{æâèiõWæósà^äå{áxáêüëìáxçí òpâõâmæFæxçüòiâmõâmæfåðfâmæ:â}ðFòiçèià^âè åBáxâïiïiîàù9ä[åááxêoåòiòpà[áúöËà
äçíyïiôpæxàBíyçáxàyòpàæå{âîàòeâèpëìçáxíBå,æxâmç è |1äë9÷ Sþ 'P}p
÷ ÍÆ[%GD"G; >E]GfZIEp Jâèsòpâ}ä[å{æà(ðPö½óià[è å
ä[åááxêWâ}ð%õà[èiàáxå{æàòBéwêBåòiòpâèiõÅæóiàPòpâõâmæð¸ç{ë åèsn ò â½å{è&òo å "; 9$>k[
> EáGefIE Ëyâèsòpâ}ä[å{æà(ð¸âmë
å{è âmè&äçíyâèiõBäå{áxáêüâ}ðZósåèsòpà(òDæósáçôiõó ÷ Viáxçí\æxóiâ}ðFâèpëìçáíBå{æâçèüöËà^çéiæxå{âèJæxói à ^>;=;=C
fIE ëìçá
æxóiàoåòsòpà[áPâèeæóiàWëìçîîmç,ö½âèiõoö"å" ê 5`âmæ`â}ä ð { âm
ë z { çáÅâ8ë"é&çæ£ ó Ë£Ç { å{è&ò
w { 6÷ Í äå{áxáêyîç4 ç ,åóiàåòoåòsòpà[á½â}ð]âíyïiîà[íyàèæxàò6úwáçôiõósîmêBðïlàå 4âèiõsú4é4êUáà(äôiáð»âñà[îê
òpà(äçíyïlçðâèiõyâmæfâèwæçoæöËçüåòiòpàáxð[úàåäó óså{îmë=æxóiàyð»â [àÅç{ë¸æxóià_çáâõâmè&å{î-u ÷ ]óià^ïiáxçïsåõå,æxà
å{è&ò`õàèià[áå,æxà%éiâmæðëìçáæxóià]ç,ñàáxåîmîåòiòpàáåáà"çéiæxå{âèià(òPé4ê`äçí_éiâèiâèiõ"æxóià½äçáxáxàðï&çèsòpâèiõ
éiâmæxðZç{ëæóià`ðôiéiïsåá»æð½ö½âmæóüæósàPâmè&äçíyâèiõ^ä[åááxê w ÷ T9èüæósàÅä[åð»à
ç{ë¸åòiòpâèiõWð»âèiõîmà
òpâõâmæð
ç{ë å{èsÊ ò âR|}æósàBésåðàyä[åð»àyçëËæxóiàBáxàäôsáxðâç è }úæóiàBïsáçïså{õwå,æà^éiâmæÅäçááxàðïlçèsòiðfæxçJæóià
îçõâäå{î wx å{è&òBæxóiàPõàèià[áå,æxàféiâmæZäçááxàðïlçèsòiðËæxçWæóiàPîçõâ}ä[å{î s|} ç{ëæxóià`òpâõâmæð÷
]óià`åòiòpàá½öËàPðêwèwæxóiàðâ [àFâ}ð]éiôsâmîmæ"ëìáçí æö"ç^ä[çíyïlçèiàèæ ð |`Vâõôiáxà ÿ }6÷ ]óià:ãsáð»æ[0
ú s=ß ú
Ó
äçíyïiôpæxàðæxóiàFðôií øúæósàZïiáxçïsåõå,æxà]éiâm0 æ Ë_åèsò^æóiàFõà[èsà[áå,æà½ésâ8C æ :ëìáxçí æóiàZè4ôií^élà[áð
å{è&n ò â½å{èsòBæóià:âèsäçíyâèiõ`ä[åááxê w . ÷ ]óià
ðàäçèsòBâ}ð"å{èoåj ô pâîmâ}åáêÅä[çíyïlçèiàèwæ 1'¡súiö½óiâ}äó
Ó
â}ðFô&ð»à(ò æxçüä[çí^éiâèiàPæósà_ïiáxçï&å{õå{æà_éiâmæ[úæósà^õà[èiàáxå{æà_éiâmæ:å{è&ò æxóià_âèsä[çíyâèiõBäå{áxáêüæç
æósà:çôpæõçâèiõ^ä[å{áxáxê 6 ÷ ]óiâ}ð]äçíyï&çèià[èwæ½äçè&ð»â}ð»æxðËç{ëæö"ç^õå,æxàð]å{è&òUäå{èoélàPòpà[áxâñà(òBâè
å_ëìà[ö ðæxà[ïsð[. ÷ 3Íà
ëìçpäôsð]óiàáàPçèoæxóià`òpàñà[îçïiíyà[èwæËçë>æxóiàPíyçáxà:âmèwæxà[áxàð»æâèiõ_ä[çíyïlçèiàèwæ
s=ß c ÷ 3eà½ä[åè^ðïlàäâmëìêPâmæxðélà[ósåñ4âçáôsðâèiõfòiå{æxå
å{é&ðæxáxåäæâçèPéwê_å{è_åáâmæxóiíyàæxâä¸Zà pïiáxàðxð»âçèc÷
Ó
¢ ;>5<)=WG?k>'?@?K)?W8?TB'? ¢ E5PQQ
¢ >5K/:VB^4Mg
[54bQ9YVS9>;2=iK5P £Z¤G¥7S9;2=W8P/¥7SF;)= ¢ E5PQZS9>;)=i>9P £bSF>;)=W@PR£bS9;)= ¢ 5E P
z aFEVQ9YVS9>;2=iK5P £ ¤ G_QZS9>;)=i>9P £bSF>;)=W@PR£bS9;)= ¢ 5E P
ô
£l# ( R¦
K
1
+! µ0+!
cov_induct_tac
/2
2
inside_tac
/
3
if_tac
01-7 A
F® §
4 19
subdesign_tac claim_tac
2
!0
5 8 20 21
claim_tac inside_tac proof reveal_tac
6 7 9 22
proof design_tac claim_tac split_tac
10 11 23 24
proof reveal_tac design_tac split_tac
12 25 26
split_tac design_tac subdesign_tac
13 14 27 28
library_tac split_tac design_tac inside_tac
15 16 29
library_tac split_tac claim_tac
17 18 30 31
library_tac library_tac proof split_tac
32 33
library_tac split_tac
34 35
library_tac library_tac
ôà
Fç{æà:æxóså,æZè4ôií^é&àáxð"å{áxà:áàïiáà(ð»àèwæàòoé4êBéiôsðxð»à(ð|ìâ-÷ à÷iéiâmæ"ñàäæçáð}%åèsòBæxóià
ñ,å{îôià:ç{ëå
éiôsðåðåFèså,æxôiáå{î4è4ôií_élà[á>â}ðõâmñà[è`é4êp s
÷c3eà]åðxðôiíyà%éiô&ððàðæç:ósåñà"åFèsçè$à[áxçFîà[èiõæó÷
ZàèsäàWâè æóiàWëìçîmîç,ö½âèiõBòpà(ð»âõè æósà[çáxà[íJúcö"àWáà(ðæxáâ}äæfâèsòpôsäæâçè æçüæósàBð»à[æ }|} st µM çë
·
èså{æôiáå{îè4ôií^é&àáxð"õáà(å,æàá"æósåzè à[áxçi÷
f :MgO=ih7aPMX5XY
=v GolmGG>MN'=0uP'rAj94MDN^>Ol7=W@E7Gb@LKRGP@olM=W@E-Gb@5LKGPZK'l7=W@E7Gb@LKGP8olm@E-G_Blm@E-G ¢ EOlm@E-Gor
h ¢ ;>)=TG?k>2?@H?K)?8?kB'? ¢ E5P <5>MN ¢ ;>5<)=WG?k>'?@?K)?W8?TB'? ¢ E5PP
ÍFð]élàëìçáàúiöËà
élà[õâmèUé4êBð»óiâmë}æxâmèsõÅæxóiàPòpàãsèsâ8æxâçèBàèwñ4âáxçèiíyàèæ . `µ } æç^æósà`åðxð»ôiíyïiù
·
æâçèsðFåèsò å{ïsïiîêwâèiõ^æxóià^ä[çôiáðàùç{ë}ùñåîôiàð"âèsòpôsäæâçèJæåäæâ}än|+ð»æàï }úö½óiâ}äóDêwâàîòsð"æóià
ëìçîîç,ö½âèiõ`ïiáxç4ç{ëðæå,æà÷
f :MgO==k¨[[VGolmGGF>/N'=0uP2r©jF4MDN^>l7=W@E-GZ@LKGP @ol7=W@E-Gb@LKRGPVK'lM=W@E-Gb@5LK GP 8olm@E7G_Blm@E7G ¢ E'lm@E-Gor
h ¢ ;5>)=WG?I>'?$@?#K2?$8?IBO? ¢ E5PRQ^h f u/ª)=WG?I>'?w@?CK2?w8?BO? ¢ E5P5P \
h/«9PbXXY
=k¨[5[RGolmGG>MN'=0uP'rAj94MDN^>Ol7=W@E7Gb@LKRGP@olM=W@E-Gb@5LKGPZK'l7=W@E7Gb@LKGP8olm@E-G_Blm@E-G ¢ EOlm@E-G¬r
h ¢ ;>)=WG?C>2?w@?#K)?w8?CB'? ¢ E9PV<>MN ¢ ;><)=TG?I>2?@?CK)?8?IB'? ¢ E5PP
u2r_vv Gor y9z f M : gO=ih/«9P){$GolmGG>MN'=0uP){

¨[[ZHlmGG>MN'=0uP'rA_URGXXY
=Tj94MDN^>Ol7=W@E7Gb@LKVP@olM=W@E-Gb@5LK PZK'l7=W@E7Gb@LK P8olm@E-G_Blm@E-G ¢ EOlm@E-G¬r
h ¢ ;>)=T?I>2?$@?K)?$8?CB'? ¢ E5PR<>MN ¢ ;><2=TO?I>2?w@?#K)?8?B'? ¢ E5PP zm| QQ9Y
j94MDN_>l7=W@E-GZ@LK GP@ol7=W@E-GZ@LKGPbKOl7=W@E-GZ@LKGP 8olm@E7G_Blm@E7G ¢ E'lm@E-G®r
h f u/ª)=WG?I>'?w@?K)?$8?CB'? ¢ E9PR<>MN ¢ ;><)=TG?I>2?$@H?#K)?$8H?IB'? ¢ E5P
ÍfðPïiáxà[ñ4âçôsðîêüòpà(ðä[áâélàò6ú} â}ð

àZ4æxà[èsòpà(òeö½â8æxóeåJòpà[ãsèiâmæâçè æàíyïiî}å,æxà^åèsò ëìôsá»æxóià[á
òpà[ãsèiâmæâçè&ðoå{áxà ä[çîîàäæàò âè ¯ ÷ ]óià íyà[æxåñ,å{áxâ}å{éiîàJå,æüæóiàeîàë}æù-ósåèsòûðâ}òpà çëPæóià
òpà[ãsèiâmæâçè ðà[áxñà(ð`åð`æóiàUèså{íyàyëìçá`æxóiàUòpà(ð»âõèeélà[âèiõ òpàãsèsàò6÷p]ósàoíyàæåñ,å{áxâåéiîàÅçè
æósàoáxâmõówæ»ùóså{èsòÍðâ}òpàBö½âîî¸é&àüâèsð»æxå{èwæxâå{æà(ò ö½âmæxóÍæóiàüâíyïiîà[íyà[èwæå,æâçè ö½óià[è öËàUïiáç,ñà
ðôiéiõçwå{î 1÷ ]óià`âèsòpô&äæâçèüó4ê4ïlç{æósàðâð]â}ðfåòiòpà(òüæçyæxóià_åððôiíyïpæxâçèsð"ç{ë=æxóså,æ:ð»ôiésõçåáî 5
3ÍàBåðxð»ôiíyàÅæóså{æPöËàWósåñà^åè âíyïiîà[íyàèwæxå,æxâçèUëìçá`å{îï î öüîàðxðFæxóså{Ê è Ñ å{èsò ö"à^äå{èeôsð»à
æósâð"æxçWéiôiâî}òUåWäâáäôiâmæ"ç{ë=ð»â [ à Ñ÷
3Íà_ïsáçpäààòJé4êüï&àá»ëìçáíyâèiõyåoäåðà`å{èsåîê4ðâ}ð]ç£ è Ñu
÷ 3eàÅæê4ï& à °±#²)³H´ µ¶·¸¹»º½¼¸¾¼À¿ú
ö½óiâ}äóüáà(ð»çîmñàðËð»ôiésõçåî ö½â8æxóoæxóiàPáxôiîà
»»
y ´ x y q rst oq
rvs ¼úù y ´ x y qhP rst okq
rts ½ ½ B´ { µ y x y q x y hq P · r1st okq
rts
ö½óiàáà â}ð]âèsð»æxåèæxâ}å,æà(òyö½âmæóRÑee8|+ð»æàï&%}÷= !B#
#%!oáxàðïlçèsòið5
y
f :MgO==k¨[[VGolmGGF>/N'=0uP2r©jF4MDN^>l7=W@E-GZ@LKGP @ol7=W@E-Gb@LKRGPVK'lM=W@E-Gb@5LK GP 8olm@E7G_Blm@E7G ¢ E'lm@E-G¬r
h ¢ ;>)=WGH?I>2?w@H?CK)?w8H?B'? ¢ E5PRQ
E7g'=TG_Qpu?#hM35Á)=TG?I>2?@?#K)?w8?IB'? ¢ E5P?hM3'ÂkÁ2=WG?I>2?w@?#K)?8?B'? ¢ E5PP5P \^h/«59PRXXY
h ¢ ;>)=WG?C>2?w@?#K)?w8?CB'? ¢ E9PV<>MN ¢ ;><)=TG?I>2?@?CK)?8?IB'? ¢ E5PP
u2r_vv Gp>V@pK 8pB ¢ EOr
y9z f :Mg'=0h/«9P{AGnlmGGF>MNO=0uP{
¨[[VolmGGF>MNO=0uP2rApU GpX5XY
=TjF4MDN^>l7=W@E-GZ@LK P @ol7=W@E-Gb@LKRPbK'lM=W@E-Gb@5LKRP8olm@E-GpBlm@E7G ¢ E'lm@E-G¬r
¢ ;>2=TO?I>2?@?CK)?8?B'? ¢ E5Pb<>MN ¢ ;5><)=TO?C>2?w@?#K)?w8?CB'? ¢ E9PP{
>Olm@E7Gb@LKGH{w@olm@E-Gb@LKRG{CK'lq@E-GZ@5LKG{8olm@E-GH{Blm@E7G{ ¢ E'lq@E-G{$GpQpu zq| QQ5Y
hM39Á)=WG?C>2?w@?#K)?w8?CB'? ¢ E9PV<>MN ¢ ;><)=TG?I>2?@?CK)?8?IB'? ¢ E5P
Or_vv Gp>V@pK 8pB ¢ EOr

y9z f :Mg'=0h/«9P{AGnlmGGF>MNO=0uP{
bõ
cla( k )
lower( l, a ) upper( u, a )
lower( l, b ) upper( u, b )
cla-base lower( l, s ) upper( u, s )
carry
c1 p1 g1
s a b
cla( l ) cla( u) g0
p0
ci
aux aux
carry
ci p g
ci p g ci p g
£l# ( ÄÃ . )-P)- #9780 2 J-9,-)+! µ` / )1! 0+!

/2
"! (#9Åx1! *0 c*,-Æ ²xÇ½È I É 2
Ê ²ËÇ½È I É $ Ì ÇwÍ · È ¶/
¨[[VolmGGF>MNO=0uP2rApU GpX5XY
=TjF4MDN^>l7=W@E-GZ@LK P @ol7=W@E-Gb@LKRPbK'lM=W@E-Gb@5LKRP8olm@E-GpBlm@E7G ¢ E'lm@E-G¬r
¢ ;>2=TO?I>2?@?CK)?8?B'? ¢ PV<5>MN ¢ ;>5<)=TO?I>'?w@?CK2?w8?CB'? ¢ E5P5P{
>Olm@E7Gb@LKGH{w@olm@E-Gb@LKRG{CK'lq@E-GZ@5LKG{8olm@E-GH{Blm@E7G{ ¢ E'lq@E-G{$GtÎ7Qû zm| QQ9Y
hM3OÂkÁ)=WGH?I>2?w@H?CK)?w8H?B'? ¢ E5PV<>/N ¢ ;><2=WG?I>2?@?CK)?8?IBO? ¢ E5P
T9è_æóià]ç,ñàáxåîîòpàðâõè_õçåî-úæxóià]áâõówæù-ósåèsò`ðâ}òpà%çësæósà]òiàãsèiâmæxâmçè`ósåð>élà[àè_âèsð»æxåèwæâ}å,æxàò

ö½âmæó åUäçèsòpâmæâçè&å{îcö½óiçwð»à^å{îmæàáè&å,æâñàð1 q M Ï å{èsò q M P Ï å{áxà`æxóià_áxàðïlàäæxâñà`âíyïiîà[íyàèpù
æxå{æâçè&ðëìçá%æóiàfésåðàFå{è&ò^æóià:ðæxà[ïoäåðà{÷c] ósàZëìçáxíyà[á%âð=æç`élàFâíyïiîà[íyàèwæàòÅé4ê_ïiáxç,ñ4âèiõ
ðôiéiõçwå{î ôièsòià[á
æósàBåðxð»ôiíyïiæâçèpÑ x Åæóiàyî}å,ææàáPéwê ïiáç,ñ4âèiõüð»ôiésõçåî6U ôièsòpàá
æóià
åðxðôiíyïpæâçèz Ñ Ñ óiàÅé&åðà`ä[åðà`â}ðZðçîñà(òüéwêUæósà_ðôiélòiàðâmõè~s=ß ñ rn|`
Ð (÷u] V âõôsáà%½ } âè
Ó Ó
å_ëìà[ö ð»âíyïiîà:ðæxà[ïsð 1| ðæxà[ïsð ÿ æxç (
} ÷
9T èJæxóià`ðæxà[ïDä[åð»à
ö"àPéiôiâî}òyæxóiàÅåòsòpà[á]ëìáxçí æöËçyðíBå{îîà[áËåòiòpàáxð]çëósåîmëæósà`ð»â[ à 5e 3 à
òpà(äçíyïlçðà_æóiàyéiô&ððàð úcÅ â å{è&òÊ_ ø àåäó âèÍåJð»àõíyà[èwæ w
Rx µPÑ { æ äçèwæxå{âèiâèiõBæóià
·
âèpëìà[áxâçáÑ { 0B æ éiâmæxðPçëËæxóiàBéiôsð_å{èsòÍåDðà[õíyà[èwæ ü x µPÑ { R æ ~Ñ Ïw| æ ú=äçèwæå{âèiâèiõ
æósàoáxà[íBå{âèiâèiõüéiâmæxð[÷p] óiàUîç,öËàánì| ôiïiïlà[á=_} ð»àõíyà[èwæðPç{ë åèsò_ â äå{è élàU·åòiòpà(ò é4êeåè
åòsòpà[áPçë]ésâ8æù-ö½â}ò4æxó Ñ { 0æ|Ñ { 0 æ ÊÑ Ïw| æ
} ê4âmàî}òpâèiõBæxóiàBîç,öËàáL+| ôiïiïlà[á=P} ðà[õíyàèwæ
çë
æósàUðôií (ø ÷ ] óiàBïiáxçï&å{õå{æàúõà[èiàáxå{æàBå{è&ò ä[å{áxáxê éiâmæ`ëìçá`æósàoç,ñàáxåîîåòiòpàá_å{è&òeæóià
ä[åááxêÓÒsç,ö½âèiõ`ëìáxçíRæxóià
îç,öËàá¸æç^æxóià
ôiïiïlà[á½ïsåá»æ]ç{ë>æóiàPåòsòpà[á]å{áxà:ä[çíyïiôiæàòoé4êBð»çíyà
åòsòpâmæâçèsåîcäâáäôiâmæáxêBäçîîmà(äæxàòUâmèDåyèsà[ö ð»ôsélòpà(ð»âõèº÷ ÍFä[ä[çáòpâèiõîêyö"à`ä[åèDáà[ëìçáxí_ôiî}å{æà
æósà`ð»ïlàä[â8ãlä[å,æxâçèyëìçá]æóià`ä[çíyïlçèiàè æ s=ß åð"ëìçîîç,öZð |+ð»æà[ï
}÷
Ó
@92= ¢ ;>5E-6ÔMN9> ¢
Õ9 89Ölm@E-Gor 5 BÖlm@E-Gor 5 8u2lm@E-Gor 5 BFu2lm@E7Gor 5 ¢ u2lm@E7Gor
¢ ;5><)=WG_FE7S_2?#;4M×9:MDO=WG_9E7Sp2?I>9P)?C;4M×F:MD'=WG_FE7S_2?@P?I;4/×9:MD'=WG^9E7S^'?CK5P?89Ö'?BÖO? ¢ PV\
¢ ;5><)=WG_FE7S_b£bGZ6F4Z2?wL588F:MD'=TG_9E7S_Z£VG_6F4/Z2?#>9P?$L588F:MD'=TG_9E7SpV£VG_6F4/Z2?@P?
L88:MD'=WG_FE7S^V£bGZ6F4Z2?#K9P?w8u)?BFu? ¢ ubPR\
¢ >/DD55<)=T89Ö'?wBÖ'?8u?Bu? ¢ u)?$8?IBO? ¢ E5P Õ uZP{
]óiàoïiáç4çëËæxóså,æ`æxóiâ}ð
èià[ö ðï&à(äâmã&äå,æâçè [à èwæå{âî}ðFæxóiàBçáâõâèsåî>â}ðPåä[äçíyïiîâ}ð»óià(ò å{ôiæç{ù
íBå,æxâ}ä[å{îîêDé4ê åDæxåäæxâäoöËàUâíyïiîà[íyà[èwæxàò æós{å æ^ïlà[áëìçáxíBð`à4ó&å{ôsð»æâñàBäåðàUåèså{îêpð»â}ð
çè
bÐô
æósàPñåîôiàð"ç{ëæósà
äå{áxáêúpïiáçïså{õwå,æxà:åèsòoõà[èiàáxå{æà
éiâmæxð]åèsòüï&àá»ëìçáíBð]ðâmíyïsîmâmã&äå,æxâmçè_çë
å{áxâmæóiíyà[æâ}äZà pïiáà(ððâçèsu
ð |+ð»æà£
ï
}÷
3Íà"òiàäçíyï&çwð»à¸æóià"èià[ö ðïlàäâmã&äå,æxâmçè
âmèwæxçZâmæxðð»ôiésïså{áæxðå{èsò`âmíyïsîmàíyà[èwæ6æóià"áxàäôsáxðâñà
çpä[ä[ôiááxà[è&äàðçësæósàZð»ïlàä[â8ãlä[å,æxâçè s r é4ê`ôsðâèiõ:æóià½âèsòiôsäæxâmçè`ó4ê4ï&çæóià(ð»â}ð[c÷ ]óiâ}ðâ}ðòpçèià
é4êBå{ïiïsîmê4âèi õ æ|â
Þ ëå ||fæö½â}ä[L à |1ðæxà[ïsi ÷ ]óià:áxà[íBå{âèiâèiõ`ðïlàäâmã&äå,æxâmçè s xjxWØ r
ò }.
ð &^å{è&R
â}ðPð»çîñàò é4ê åJèiàö ð»ôié6òpà(ð»âõècú>ö½óiâ}äóeâð`âmíyïsîmàíyà[èwæà(ò åðÅð»óiç,ö½èÍâ è VâmõôiáxLà i ÷ Fç{æà
æó&å,æ`ö"à^áxà[ô&ð»à^æósàWëìçáxíyà[áxîmêDòpàñàîmçï&à(ò 1'¡ óià[áxà{¤ ÷ ]ó4ôsð[úåîmî=òpà(ð»âõè õçwå{î}ð:å{áxàWðçîñàò
Ó
á & ðæxà[ïsð[ú&äçíyïiîàæxâmèsõPæóià`òià[áxâmñ,å{æâçè÷
å{è&òUå{ë}æà[u
f :MgO==k¨[[VGolmGGF>/N'=0uP2r©jF4MDN^>l7=W@E-GZ@LKGP @ol7=W@E-Gb@LKRGPVK'lM=W@E-Gb@5LK GP 8olm@E7G_Blm@E7G ¢ E'lm@E-Gor

h ¢ ;5>)=WG?I>'?w@?CK2?w8?CB'? ¢ E5PVQ
E7g'=TG^Qû?h ¢ ;>5Ô7@F>5K/:2=>2ÙTÖ'?A@HÙTÖ'?CK)ÙkÖ'?w8?IB'? ¢ E9P?
FE7D9: 8FÖlm@E-G^BÖlm@E7Gb8u2lm@E-G^BFu'lm@E-G ¢ u2lm@E-Gnr
h ¢ ;>)=TG_9E7S_'?C;4M×F:MD'=WG_FE7S^2?>9P?I;4/×9:MD'=WG^9E7S_2?W@P?C;54M×9:MD'=TG_9E7S_'?K5P?$8FÖ'?IBÖO? ¢ E5Pb45E-G
h ¢ ;>)=TG_9E7S_Z£VG_6F4/Z2?WL88F:MDO=WG_9E7S^b£VG_6F4/Z'?C>9P?WL88F:MDO=WGZ9E7Spb£RG_6F4/_'?$@P?
L588F:MD'=TG_9E7SpV£VG_6F4/Z2?iK5P?8u)?TBFu? ¢ uPR45E7Gph ¢ >MD5D52=W89ÖO?TBÖ'?8u?TBFu? ¢ u?8?kB'? ¢ E5P5PPC\
=Tj94MDNp>Olm@E7Gb@olm@E7GpK'lm@E7Gb8olm@E7G^Blm@E-G ¢ E'lq@E-Gor
h ¢ ;5>Ô7@F>5K:)=>2?$@H?CK)?w8H?B'? ¢ E5PRQ
=TFEMD9:R×Hlm@E-Gorw94MD'=>2?w@?w×Pb45E-G_94MD'=T×O? ¢ E)?#K9PV45E7G^4MD'=>'?$@?w8PR45E-G>7G92=i>2?$@?CBFPPP \
=Tj94MDNZ89Ölm@E-G_BÖlq@E-Gb8u'lm@E-G_Bu2lm@E-G ¢ u2lm@E7Gb8olm@E7G^Blm@E-G ¢ EOlm@E-G¬r
h ¢ >/DD52=W8FÖ'?BÖ'?w8u?IBu? ¢ u?8?B'? ¢ E5PVQ
=ih/>ML92=W89ÖO? ¢ E)?B5Ö'? ¢ u5PR45E-Gh/>7L9'=kBÖ'?$8u?BFu?CBFPR49E-Gp>7GF2=W89Ö'?w8u?$8P5PPR\
=Tj94MDNZLolm@E7GZSHlm@E7GZ×Hlm@E7G_lm@E7G®r
h/>7LF2=WL?wS?×O?PRQÓ=kFE7D9:R×F>Olm@E-Gnrw>7G92=TL?wSO?I×9>9PR49E-Gp4MDO=T×9>2?w×?FPPP5PVXXY
h ¢ ;5>)=WG?I>'?w@?CK2?w8?CB'? ¢ E5Pb<>MN ¢ ;><)=WGH?I>2?w@H?#K)?$8H?IB'? ¢ E5PP
T9èDçôiáFòpà[ãsèiâmæâçèüäçèæxàZ4æ[ú} ósåð½élàä[çíyà

âèsð»æxå{èwæxâå{æà(òBé4êBëìçôiáFòpà[ãsèiâmæâçè&ð÷6]óiàáà
â}ð`åJçèsàyæç çèiàBäçááxàðïlçèsòpàèsäàyélàæö"à[àèÍæóiàoâmíyïsîmàíyà[èwæxå{æâçè&ðFðóiç,ö½èÍâmèVâõôiáxàð ÿ
å{è&z ò yåèsòBæxóiàPïiáxàòpâ}äå,æà(ð]òpàãsèsâmèsõÅæxóià[íJ÷
cÔ
Ú M Ú éøQc¨pÙ,ÞlïÚl×¨s×>Û M Úl×>Ý
ê+ÜcïÞ1Ú&×
3Íàüó&åñàJäçí^éiâèià(òÍæöËçÍòpàñà[îçïiíyà[èwæÅíyà[æóiçpòpçîmçõâàð5¤ViçáíBåî]ýpêwèwæxóiàðâ}ð_åðWâmíyïsîmà[ù

íyà[èwæxàòeâèJ8!$MNPO%:B å{èsòÍáxàðçîôpæxâmçè ésåð»à(òÍð»ê4èwæóià(ð»â}ðPâè=Z0!$#%#%6! ÷] óiàBáxàðôiîmæ
â}ð`å
ðâmíyïsîmàoáà(å{îâ å,æxâçè çësV çáxíBå{î"ýpêwèwæxóiàðâ}ð`æxóså,æyâ}ð_ä[çíyïså{æâéiîàyö½âmæó ç{æósà[áyå{ïiïsáçwåäóià(ð
æçüáxàðçîôpæâçèDésåðàò ð»ê4èwæóià(ð»â}ð[÷-D çáxà[ç,ñà[áúlçôiá
âíyïiîà[íyà[èwæå,æâçèüðôiïiïlçáæxð
ð»æáxôsäæxôiáxåî-ú
élà[ósåñ4âçáå{î-úåèsòUòså,æxå{ùåésð»æáåäæxâçèBåð"ö"à[îî6åð]âèsòpàï&àèsòpà[è&äàfëìáçí æóiàPä[çèsä[áà[æà
äâáxä[ôiâmæ
æà(äóièiçîmçõê÷WøfôiáPâíyïiîà[íyàèæå,æxâmçèUâ}ð:ésåð»à(ò çè àwæxà[èsðâçèsðFæçJóiâõóià[áù-çáxòià[áFîçõâ}ä`å{è&ò
ö"àUö"à[áxàUåéiîàBæçÍòpâáxàäæxîê ôpæxâîmâ àoðæå{èsòså{á ò Tðåé&àîîmàBæóiàçáxâmà(ð¤|+à{÷ õi÷mú%âèsòpôsäæâñàüòpàãsèsâ8ù
æâçès*ð }Zâè çôsáfö"ç*á DåðföËàîmîå ð Tðxå{élà[îîà #ðZðâmíyïsîmâmã&äå,æxâmçèBæåäæxâ}ä[ð[
÷ çð»æ:çë%çôiáPòpàáâñàò
áxôiîàð[ ú |+à{÷ õi÷múpæóiçwð»à:âíyïiîà[íyàèæxâèiõ
æà(äóièiPâ dwôiàð }¸ö"à[áxà:ïiáç,ñà[¤ è dwôiâ}ä 4îêWâmèUçèiàPð»æàïUé4z ê =Û
"!$#%#
!#ð]äî}åðxðâäå{îiïsáç,ñà[áú4åÅæxåäæâ}äZæóså{æ½åôpæçíBå,æxàð=æxóiàPäçèsðæxáô&äæâçèBç{ëíBåè4ê^ïsáç4ç{ë+ð
âèUósâmõóià[áùçáòpà[áËîmçõâ}ä,÷
]óià_â}òpàåWçëô&ð»âèiõWãsáð»æ»ùçáòpà[á½áxàðçîôpæxâmçèBæxçBéiôiâî}òüïiáçõáå{íBð"õç4à(ð½ésåä UæR ç :áàà[èDâè
æósà
ð Sþ ' 1e ÷ DçáxàÅáxàä[à[èwæîêúcö½â8æxóiâè ðê4ð»æàíBðFîâ L à "!$#%#
!6ú>âmèwæxà[áåäæxâñàPïiáxç4ç{ë%é4ê
óiâõósà[áù-çáxòpàá=áà(ð»çîôpæâçèWósåð%élà[àèoôsðàòBæçWäçèsðæxáô&äæËñà[áxâmãsàòWïiáxçõáxåíBð=å{èsòoóså{áòpö]å{áxà
òpà(ð»âõè&ð þ w ú (p{ ú &'-W
÷ ]óiàJö"ç*á íyçð»æyä[îçðà[îê áxà[î}å{æàò æç çôiáxð^â}ð_æóså{æBç{ ë Dâ à Viçôiá»ù
íBå{è ðfõáxçôiï ésåðàòDçè æxóie à ,60/º"2 ðêpðæxà[íJúö½óiâ}äó â}ð:åBïiáxç4ç{ëËòpàñàîmçïiíyà[èwæFðêpðæxà[í
æó&å,æyð»ôiïsï&çá»æð_ðê4èæxóiàðâ}ð`ésåð»à(ò çè ð»à(äçè&ò4ù-çáxòià[á`áxàðçîôpæxâmçè þ pú
- ÷ ç{æâñ,å,æxàòÍé4ê
bjb
=Z0!$#%#%!6úpæóiàêyæç4çWôsðà
áôiîà(ð%âèüçáòpà[áËæçWáxà[ïiáxàðà[èwæ"æóià`òpà(ð»âõèoðæå,æxà{6 ÷ ]óiàPòpâ 46à[áxà[èsä[à
Ï
îâàð_âmè æósàüï&å{áæâ}äôiî}åá_å{ïsïiáçwåäó æóiàê ôsðàüâè ïiáxçwçë:ä[çèsð»æáxôsäæxâçè âèsðæxàåò ç{ë:ôsðâmèsõ
õàèià[áå{îsïiôiáxï&çwð»à½æxàäóièsâdwôià(ð%åð¸âènViçáíBåî&ý4ê4èwæóià(ð»â}ð[úæósà[êyòpà[áxâñà |ìâèwæáxçpòpôsäæâçè}áxôiîàð
ëìçáfàåäó äçíyïlçèsà[èwæZëìáxçí\â8æðFòpà[ãsèiâmæâçèº ÷ ]óiàðàÅáxôiîàðZåáà_å{ïiïiîâàòoæçoæóià_ïiáxçwçë¸ðæå,æà
âè çáòpàáFæxçüðâíyïiîâ8ëìêBæóiàyðï&à(äâmã&ä[å{æâçèDåèsòDæxóià[áxà[é4êDáxàãsèiàÅæóiàWâíyïiîà[íyàèwæxå,æxâçè1 ÷ ]óià
ðï&à(äâ}å{îâ [à(ò`ëìçáíRç{ëæóiàâmá"áxôiîàð%ðôiïiïlçáæxð"å`ósâmõóià[á"òpà[õáààZç{ëå{ôpæxçíBå,æxâçè^æósåèBõàèià[áå{î
ïiôiáxïlçðà
æàäósèiPâ dôsàð[i ÷ Ëçè4ñà[áð»àîmêúæxóià`õà[èiàáxåîmâmæêyçë>æxói-
à ViçáíBåîý4ê4èwæóià(ð»â}ð"æà(äóièiPâ dwôiàð
ïiáxç,ñ4âòiàðåFíyçáxà%å{é&ðæxáxåäæ>ñ4âà[ö çëiæósà]òiàðâmõèPïiáxç4ä[àðxð>åèsò`élàææàáðôiïiïlçáæxðóiâàáxåáxäóiâ}äå{î
òpàñà[îçïiíyà[èwæ[÷
Ûôsð»æ_åð
ö"àyósåñày à 4æà[è&òpà~
ò ViçáíBåî%ý4ê4èwæóià(ð»â}ð
ö½âmæóeæà(äóièiPâ dwôiàð:ëìçá`âèsòpôsäæâçècúâmæ`âð
ïlçðxð»âéiîà`æxçDåòiåïpæ
æói¤ à ,60/º"2 íyà[æóiçpòpçîçõêüö½âmæóiâèeçôiáPðàææâèiõiL ÷ 3ÍàyósåñàWä[åááxâàò
çôiæyðçíyàüZà pïlà[áxâíyà[èwæxð`æóså{æBâmè&òpâ}ä[å,æxàoélç{æxó æxóså,æyö"àJäå{è ôsðàüçôi? á ViçáíBåî]ý4ê4èwæósàðâð
æà(äóièiPâ dwôiàð^æxç ð»ê4èwæósàðâ à ,.0/12 ð»æêwîàDòpà(ð»âõè áxôiîàðyå{è&ò æxóså,æüð»ôsäó áxôiîàðWä[åè é&à
äçí_ésâmèsàò_ö½â8æxóWæà(äóièiPâ dwôiàð=âèyäâáäôiâmæ¸òpàñà[îçïiíyà[èwæ[c ÷ ÍFð"åPð»âíyïiîà]âîmîôsð»æáå,æxâçèú,ð»ôsïiï&çwð»à
ö"à:ó&åñàPå{èJ)å pâçíRëìçáZå{èJåòiòpàáZäâáäôiâmæËõâñà[èUé4ê
vwxt ² } st â ² } st ø ² } st ³ s| µ â ø · rst ø6 â ³

3ÍàZä[å{èWå{ïsïiîêPçôiáæà(äóièiâPdwôiàðæxçPð»ê4èwæóià(ð»âà"å:ïsåá»æxâåîâíyïiîàíyà[èwæxå{æâçè:ëìçá¸å:ðxäóià[íBå{æâ}ä
ïiáà(ððâçèUç{ëæxóià
ëìçáxí £
ðï&à(äâmã&ä[å{æâçèoq
rts ú&ö½óiâ}äóüä[çèwæxåâmè&ðËåWðôié&àp â ÷
j94MD5N_>OlmGF>/Nb@olmG>MNHrh5s-68O=>2?W@P <>MNp<78F: ¢ =i>/£M@P
Í½ë}æxà[á=å{ïsïiîêwâèiõZæóiàËæà(äóièiPâ dwôià:

ð T9èsðâòià{%
ú Ëî}å{âíJú ðZà[ñà(å{î4å{èsò^ý4ïiîâmæ[ú{å{è&òÅðçîñ4âmèsõ]æóià"ïiáxçwçë
çésîmâõwå,æâçè_ëìáxçíûËî}å{âíJúö"àPå{áxáâñà:å,æ½æxóià
ëìçîîç,ö½âèiõPâèæxà[áxíyàòpâ}å{æàZïiáxç4ç{ëðæå,æà÷
j94MD5N_>OlmGF>/Nb@olmG>MNHr
=TFE7D9:_K'lmGF>MNorw>/ ¢ =>2?$@?K5PR49E-GhM39)=>2?$@H?CK5PPb<>MN_<78: ¢ =>V£b@P
u2r_vv>R@K'r y9z >OlmGF>/NO{$@olmG>MNO{CK'lqGF>MN zm| QQ5Y^hM35)=>'?$@?CK5Pb<>MN_<M8F: ¢ =iK9P
Í½ë}æxà[á¸òpâ}ðxäóså{áxõâèiõ]æxóià"ãsáðæ¸ðôiéiõçwå{îwé4êÅåðxð»ôsíyâmèsõZâmæåèsò`áxà[íyç,ñ4âèiõ½æxóià vwxt dwôsåèwæâmãsà[áð[ú

ö"à
åááxâñà:å,æZån,.0/12ùð»æê4îmà:òpàðâõèUáôiîà÷
¯g¯
»» âBø ³ » » } st ¼ â } st ¼ ø ² } st ½ ½ B´ q µ â ø · r1st okq
rtsµ`ø · ¼
² } st ¼ â ² ² } st ²

B´ µ ~ { x; ø } st ³ s| µ` â ø z w
{ } q `µ â ø r1st okq
rtsµ` iâ
½½ ² · ·t· ·
ùpïiî}åâmèsâmèsõ
æóiâ}ð½åð]å_æà(äóièiâPdwôià{úpâmæZðåêpð%æóså{æZöËà
ä[åèUáxàòiôsäàPåWð»ïlàä[âmã&ä[å{æâçèyâè4ñçîmñ4âèiõ
æósà%åòiòiâ8æxâçè:ç{ë KâæçZçèià¸âèsð»æà(åò:âèwñçîñ4âèiõø(÷]óià¸ñ,å{îâ}òiå,æxâçèZæxà[îî}ð6ôsðæxóså,æ>æóiàËäâáxä[ôiâmæ
éiôiâîmæ
ëìçá u Ë+ö µ`ø úö½óiàèeósçwç
à(ò ôsï å{ïiïiáxçïsáâ}å,æxà[îêüæç åèÍåòiòpàá[úéiôiâî}òiðPåDäâáäôiâmæ:ëìçá
·
æósàZçáxâõâèså{î4ðï&à(äâmã&ä[å{æâçèc0 ÷ Tæ%ö"çôiî}ò^èiç{æ¸élàFòpTâ ÜBäôsî8æ=æxçPéiôiâî}ò_æxåäæâ}ä[ðæxóså,æËà[èsåéiîà"ô&ð=æç
âèwæà[õáxå{æà½ðôsä¤ ó ,.0/12üæxàäóièsâ dwôià(ð=ö½âmæóWæxóiàFçæóiàáxð=ö"àFòpàñàîmçï&à(ò6úæå 4âèiõPåòpñ,åèæå{õà
ç{ëæósà`òpâ 4làáàèæ½ð»æáxà[èiõæósð]çë>æxóiàðà:æöËçyå{ïsïiáçwåäóià(ð÷
3ÍàPäçè&äîôsòpà:ö½âmæóUå_éiáxâàëíyàèæxâçèBçë>òpàãläâà[èsä[âàð"å{èsòBëìôpæôiáxà
öËç á l6 ÷ Ëôiáxáàèæxîê{úwæóià
å{íyçôièwæ`ç{ë½âèpëìçáxíBå,æxâçè ïiáxàðà[èwæ_òiôiáâèiõJïiáxç4ç{ëZä[åè é&àoç,ñà[áxö½óiàîmíyâèiõs¤ ÷ Í ðóiçáæ»ù-æàáí
ðçîôpæâçèoâ}ð"æçyâèsð»æáxôsäºæ Tðxå{élà[îîàfæçyà[îâ}òpà:âèpëìçáxíBå,æxâmç è 4óiç,öËàñàá[úsåWõáxåïióiâ}ä[åî&âèwæàá»ë+åäà{ú
îâ à]æó&å,æ]âm¤ è ,60/º"2úpö"çôiî}òWélàfçëæáxà[íyà[è&òpçôsð%ñ,å{îôiàZélç{æxóoâèoòpâ}ðïiî}åêwâèiõ
òpà(ð»âõè&ð%å{è&ò
õâñ4âèiõWð»ïlàä[â8ãlä[å,æxâçèsð[ ÷ ÍZèsç{æósà[áFö"à å 4èiàðxð]â}ðZå{ôpæxçíBå{æâçè ÷ 3Íà`ósåñà`å{ôpæxçíBå{æàòUíBå{è4ê
ðâmíyïsîmà 4âmè&òiðç{ë6áà(åðçèiâèiõ:é4ê_ä[çí^éiâèiâèiº õ Tðxå{élà[îîà #ððâíyïiîâmãsà[áðö½âmæóyä[åð»à[ùåèså{îêpðâðç,ñàá
bj
éiâèsåáê`ñ,åîmôsàð[÷c]óià½áxàðôiîmæâèiõfæxåäæâ}äð¸å{áxà]àZ46àäæxâñà{úwéiôpæ¸æxóià[âá=à4à(äôpæxâçè^âð%ð»îç,ö

÷:]óiàáà
å{áxà¸òpà(äâ}ð»âçèfïiáxçpäà(òpôiáxàð6ésåð»à(ò
çè A:ðæxóså,æä[åè:íyçáà=à 4là(äæxâmñà[îêZðçîñàíBå{è4êfç{ë4æóià(ð»à
ïiáxçéiîàíBð ÷ 3Íà]ósåñà]ðæå{áæà(ò`âèwæà[õáxå{æâèiõZçèià"ç{ësæxóiàðà]ö½âmæó^çôiá=ðêwèwæxóiàðâ}ðàèwñ4âáxçèiíyàèæú
èsåíyà[îê{úcåüòpàä[âðâçè ïsáçpäà(òpôiáxàÅëìçáPåüòiàäâ}òiåéiîà`íyçè&åòpâ}ä`îçõâ}ä
æó&å,æPâ}ðfö"à[îîmù9ð»ôiâmæxàòUëìçá
íyçpòpà[îâèiõ`ó&å{áòpö"åáà þ &1 ÷ 3Íà
óiçïlà
æó&å,æ]æóiâ}ð]â}ð]åWðæxà[ïUæç,ö]å{áòiðËåWðê4èæxóiàðâ}ðËëìáxåíyà[ö"ç*á
âèUö½ósâäóüòpâ 4làáàèwæ]ñà[áxâmã&ä[å{æâçèyíyà[æóiçpòpçîmçõâàð%íBåêyé&àPâèwæàõáå,æxàò6÷
Ý Ú&Økî+ï
3 < / 0 /2 ´Z / ) Ê G8Ë©Þ ]+ Ä c*!#-* ¶ +0 / 74=7 / -¸# / 6 ¶ /[/ 74)+0-01 /2 )+!#)101) / 70+*,(¹ 2 ! 0+! /2 ) ! 0
#) 1µ 0-)p*! *,1 14 ! ¹,0+! 78 D011! µ[!# ´Ë) µ! #) ! ! )+0- 0+!#01! ßWà á ,m,
c! 0+/>*:¶ 0+*,¸ 2 01» 0 / 7p0+*,¸2 )1!# / 2 / / 2 / 3 3# 2 2 2
2 2 / 2 / 3
3½¼ %*µ%0+, ´`0 / "0-`! 0 /2 )+!#-' ´` / -=0+* / ,* 3 È / ! 2 )+0- 2 » ! 2 0+*,Ë9#! ]_) ¶ 9
! ¹,0+! 7 01*,½ -0 Ë9 0+*,½)1(' 101)¸ )1!#)+0- 7c ! W) »9! ¹»0+! ) 76)1!# #
01») /2 "/ *,µËF/ 019¶ 01! / *(!#-*Å0-)¸½ ! ',¶ 11´ / !#2 )10 7l/)1!# /20+*,â1/ 2 -])¶ 7

/2 / 01) ¶

0 ]0+!# ´ µ»)&01*,)1! ) 7 #) Ê 01*1! µ0+! 01-0+* )- 101)6-c*!#/2 *( ! 2 01»:-2 ´
=
3 ¼ / 2 / / /
¶
/ ¶ / 2 / / 3 2 /2 / ¶ 3
0+*,Z 0+*,-Z- ´_) ] ´ 79µ ] 0])1´)101»") '0%01*»1Z-½] ´
3 Ê 2 1)101-2 01!#)7 /)+2 0-+,901/ ! 2 7mk ) äåå ¶ /[/
ã ß
/¶ 2 2
/ / /2 2 ¶ /[/ 3
S î`]îwÙ)îw×Ý î+ï
3 3 >´+! 2 K 3. )1! 243oæ 2 1!#)1´)101e)+ ¶¶/ 10i7 / s(»,901! µ ¶ / 1e9µ9 /¶ " 2 0 3 Ê 2 »
{ > [98³"s98³ < ,m9 ! mmP{ { ² 1 ±² Ëç/ < ± 0è ÃMé µ / ,] Fåêê / 7
× < ± [¶ ) ã[Fã2ãë $i)-)1 oæ -" 2 ´ {5 1-* Fììí 3 É ¶ 1! 2 1kî&1# 3
3 K 3p. )+! 243 C / !#f78-]9 / +()=7 / % / !# ¶ / -]) 3 Ê 2 8³Å9, 9{m{ ï -1³( Bw- !
ðc+- + ±² ,8³ -8Ë{Ó,+,99"m'ñç$òóð ± ÀôZõ è é µ / ] ëëã / 7 × < ± {¶ ) Fí
$&! )- Ê 01 ´ F ìì É 1! +k îl+#
)1! oö J2 < #3 1 ¶ 2 3 µ1! ¹»0+!
3 K 3l . ( 2 9 2 8 3 ÷ 9 á! 2 83 øÒ ç ÷ùõ è ¦5é µ ,] /2
ã -(6-
,)1! y (! Å)1 ( -(»F !# Ê
2 7 × /2 ± ) /2 ã[[/ $s!#)-/ Ê 3 01 ´ 2
< F ììê É 1! »+k î&»+# < / ìãì
/ < &¶
ö 2 3 ¶ 2 )13 01'# $l 78)c) -]) <dú {+,9 ! mm,%
3 ö,w3 C 3,. ¸{2 ±2 ² 3 - C 3Ë /2
01) ð1- +"Ë8
3 // ¶ / 3
ä } ¥ F ãF ãí oö 2 ,1´ F ìëê 3
ê ! '9 É[´ 01Ç(!#-901» )1] 0+!#)1)1 +0- -û)+´ 01*»)+!#) 9 á! m 9, !-
3P¼ 3w. ¥ 3 2 2 ¶¶/ ¶ / 2 3
} ã í[ F ìëå 3
)+0-+,901! µÅ7 90+! -]Ë! Ê < ,-9 ! 8¢ ú 8³(»:8
3 2 3l
í !#1 C »90+,-)
. (3 1± ! ! 3 /É 2 ¶ 1! /2 2 1k î&1# F 2 ìëì /3 2
¶ / 2 3 2
<
3 !# s5^n3 ö,-3 +! d
"! #1! - È 9 *, 1(1"µ1! ¹,0+! ,)+! :*(!#*,1
ä
3 -n3 (ö,» 3 æ/ »! /0 2w £w2 +e ;=3 û à 34 5 à ! 9 3 mÒ m,¸} ü(1, - /2 9 "2 ! ! (
/à # ,/ < 3 1Ê 0+2 * K Ò 3,. /
/ 2
# É 0-¸'» F ìëí / < <
3 / / 2 ¶ 3
ë
3Å5^ K Ê 0--90+! µ 1º1! µx01! -* ! » 2 10 ä %',+!#]· ! µ-)+! 0}´
/ 3 ¶ 3 01/ 24C 3' /2 10 / +´ ¶ %'/ ,+!# F ìì 3 /243½; 2 ¶/ 2
*, #9 ,) 7 )1011,90+! ) 9"mmB{ < }8
3`;=3 ) /
Ì, Å ,90
ì
2 2 æË3 Ò 3%; / /2 /2 3
¶É Èp! ìêx å $ F ìÈ ëë ,3 -"
Få 3 3 2(24&5^3 3 / ,
È -

! ) 2 Ò
1
1
#
! ) È 1])+´()+0- )+!# ! 0-10+! µ
)1´ 01*,)+!#)=',)- 24&5 (0-^ 13 )-)1! )12 01»Å7 2 1]&3 -) ! 3 / Ê K »)1 (! 0 2 ý 2
ú^þï<
m+£i- ð
,2 9{8{ ï /2 -+/ ³ ¶ Ü { `£4/ 9] ú 8³(/2 2 3 2 < 93 " ! ^ ÷4 24± à / µ / ,"
) ìä»Få ])+0--( Fìëì #)-9µ[!#=É9!# ' !#)1*,1) î < 10+* Ò #
¶ 3 ÿ 2 ¶ .3 3 / / 2 3
3Å5^3 $ 3 È / ,-] 2w3 $& /[/ 7i 2 :)+´ 2 0+*,)1!#) 3 Ê 2 9, 9{m{ < ! < 8 ! ( à -# (¶ )

íåå2 íåã 2
´
< 9

/
1
ìëë 3
F
x 3Å5^3 $ 3 È / ,1] 243 È / -]]90+* / )½7 / ½ / 9 ! 2 W)1! 243 Ê 2 < ! ú »8 8 W8³

,{¢xm < "", ! mm,- ñ }]8_{]99"m ±² " 2 / ] Ê 01 ´ F ììå 3
Fã 3Å5^3 $ 3 È / ,1] 2 2 ÿ35^3w5 »´( 3 È / 1] ´P',)1_)+´()+0- )1!# ! 01»1901! µ½*,1(1
)-1*,( ! Ê ð1 ! %1^÷w ± põ è ) Få[x
2 3 2 (¶ 5 2
!#-* 2 ý-" 2 ´ Fìëì
næ 2 3
b È

3Å5^3»æ/ 1 /2 2 ;=3s5 9 *, 3 9,m1» ! mJûRòl w³ ùðc+¢x þ ,¢x+, ,l9
û= ³ Vò1 =w- !
3
%'1!#¸· ! µ-)+! 0}´:$&-)-) Fììã
2
Fê 3 3 æ 1 2w3 ¶¶ !#01! /2Å/ 740+*, / - ¶ / µ! 2 "0 /Ë¶ / ' » ) / µ! 2 3 Ê 2 ðc+ ! %1=8³ <
) [Fìãì Fìíì
3

Ã è
¶ 3
Fí 3 È 3 Ò 22 < 3 K -*, 2 æË3 Ò / 9 #) 3 Ê ¶ #] 2 0-0+! /2B/ 760+*,î&1! 01) K )1!# 2 C / !# 3 Ê 2 î 3
É[01µ1!# È 9 * 2 0- (! 0 1) ð1 ! 1f8³ , 9{8{ < !

<>! ] F ìì Ê È Ê $ F å Å

4³ /24 ; =3 ð+3l5 ¢ 9` < 2 ! ( 3 ;= 3i./
à w³ / ² ñbð+ ! ! { þ 9 ! >¶ ) ää»2ì

< +01* Ò #
Få

24ö 2 3 ; ¼ æ 3 / / 2 3
ä 3 È 3 Ò 22 < 3 K -*, 2 5^3 C /2 #9´ 3 î ÿ 2Ê ; =É Ì ¥iD) ¶ 9! ¹,0+! /2 # 2 ',)- /2 0}´ ¶
â ®
<9 / 3 12 F ìëì É 1! »+k î&»+#

0+*, 1´ Ê û¸+l >± " ! á! 8' ñI÷ 9 á! 8]{ ±² ,8³ -8 ú 8³ " ! [ "! m Ê 0+*,
/ 3 ¶ 2 3
Fë 3 È 3 3 Ò 22 < 3 K »1*, 2 5^3 C /2 #9´ 3 È / -]()1´ 2 0+*,)1! ) / 7{(!#! 0-{)+´()+0-]) 3 Ê 2 ú^þï< m+£i- ð

, 9{8{
) êã2 ê ë C 9µ
ï -1³( Ð

9#! , F ìëì
F£p9" ú 8³(£4 < 9 " ! ÷4 ± à µ / ]
¶
3 ö,=3 Ò 78]2(2
Fì )-)1´_ K $i24{.0101-)
2 3
3

/243 < ! ³8 # ! ñ% ,8m8¢ ½Ð +» ! ³ 3Å5
/ - 2

F ììå
224 3
å 3 3 Ò / » 3 K 1! µx01! /2`/ 7i / ! ¶ / -") 3 4 <ú ë( m ¥ ãä2 ãì ¶ 1! F ìë[ 3
[ 3 æË53 ö/2 )4 2 5^3 É[*,- 243 K »)+!# 2 ! 2 1! 01*,"0+!#9!#1(! 0-)p'[´1¹ 2 ] 2 0p! 2 2 '[´ 3 Ê 2"5^3. ! -= 2
¼Å // /
- (! 0 -) ú ³ ] ! %1I
/ ðc+- + < ,9 ! 8 µ / ,] ííì / 7 × < ± 3 É ¶ +! 2 1
î&»+# ìì 3
F
3 i365 22 y 2 2 3&¼ #(! 2 3 È 2 ] 2 0- ) / 7¸01*,`(0+! µ ¶ / 1 )+´ 2 01*»)+!#) 3 þóþ þ
,+, ! 8,¸ ± 19ml þ 8 98 Oö 2 ,1´ F ìì 3

ã 3 C 3 3 $i#) /243 99 -»8 f: 9 ! ³ 1¢ %s88³ ! ,9 8, »² { 8 ×
µ ," ë ë 7 × < ± É 1! 1kî&1# F ìì
/ / 3 ¶ 2 3
3_ÆË3 2 )1%)-)- 243 È / 1] !#)+! 2 2 '[´
! 2 Ê )-'9 # È 3 Ê 2 C 3 $i#) /24 (! 0 / ðc+ ! ½1"8³

£l89-%9 1 ¡p 9 ï -1³( ¶ ) í íê %',+!# wÿ&2 # 2 F ììê 3 · 2 ! µ-)+! 0}´ / 7
%'1!# / ¶ 0- C ' / -0 / 1´ 3
ê 3 C 3 2 / )-)1 243 $l / µ! 2 7890-)6' / 0 2 '[´ 3 Ê 2ZæË3. ! 10}c!#)10+# (! 0 / ) ÷û= ³ ò+ ï -+³ ñ
> èè ,¼Å/ 1)1* /¶ )>! 2 / ¶ 0+! 2 ,¶ ) íê ë Ò 9!#9 '- F ìì[ 3 É ¶ 1! 2 +k îl+# 3
í 3 C 3s¼ 2 y 2 5^35 2 (# 3 È / -])1!# 2ü/ 7¸^9#)-) / 7¸ / ¶ 01-) 3 Ê 2 $ 3 %-0+! 2
Ò ½ µ9! (! 0 -) < 9 " ! û¸+l à { ÷ 9 á! 8 ú 8³( µ / ,] ìëä / 7
× 3 ÿ< ± [¶ 2 ) ëx/ F å Ò ! 9 '»1 F ììê 3 É ¶ +! 2 1T îl1 3

Modeling A Hardware Synthesis

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Modeling A Hardware Synthesis

Diunggah oleh

Hak Cipta:

Format Tersedia



ß=à[áxâmã&ä[å{æâ çèPé4êPëìçáíBåîïsáç4ç{ë&â ð>æxâmíyà"â èwæà[è&ð»â ñàËå{èsòÅæóiâ}ðâ}ðåFéiôsáxòpàè_â è^éiáxâmèsõâ èiõ½ëìçáíBåî

òpàñà[î çï&àáËæxçWóiâ à[áå{áäóiâ}ä[å{î î êÅòpà(äçíyï&çwð»à

3Íà`åðxð»ôiíyàPðçíyàfë+å{íyâ î â}å{áxâ8æêÅö½â8æxó "!$#%#

æç ð»ê4èwæóià(ð»âà äâ áxä[ôiâmæxðWòpôiáxâ èiõ ïiáxç4ç{ë+ð[÷¢Fç{æxàDæóså{æüåÍïiáxç4ç{ëPáxôiî à ä[å{èºélà áxàåòºåðBåè

]óià-VsçáxíBå{îcý4ê4èwæóià(ð»â}ð½òpà(ð»â õèUíyà[æóiçpòpçîmçõêBä[çèsðâ}ðæðËçë¸ðæå{áæâ èiõ^ö½â8æxóDåyð»ïlàä[â8ãlä[å,æxâ çè

ïiáxç,ñà(òPâ}ð>ö½áxâmæ»æxà[èWåð ÷Í æxà[áxí

   Â

f®ÅÏ  ¬  ¨{®8¦  ©Ï  ®¦8¥4®§x¦¨U©Ï

ö½â áâ èiõ:àZpïiî â}äâmæ=}÷:]óiâ}ð=â}ð¸òiçèià½é4ê`æxóiàuðZà[ñà(å{î4æxàäóièiâPdwôiàúö½óiâ}äóyåòiòsðæóiàZæêwïsâmèsõPâmèiëìçáù

fhgjiglk IP; ^ajIE[mfZHZE`;*> ^kE`I`9D$H>)D"X k 9)D^Z; GkE]GonG^*FjD"9)@9 [ C

 . µ`1r Ò ü Ô üW Ò ñ ·  vw

fhg;g¡ GZIPD"EáG;á"; GkElIPD%[¢nG^*FjDBI`_aBG=H

{ » ¤£ +¾ ¿À{ÁÂÃxÃÂ½;  -* 2 !#Ì,) <] ,;  90+!#  2  2  #

â èwæà[áxèsåîö½â áxâ èiõiúçádwôsåèwæâmã&ä[å{æâ çè ç,ñà[á

çôsá=áàâmèwæxà[áxïiáà[æxå{æâ çè`çëVsçáxíBå{îiý4ê4èwæóià(ð»â}ð=åèsòWäçè&ðæxáôsäæ%ð»ô&äó_ïsåáxåíyàæxà[áxâàò`ä[â áxä[ôiâmæxð[÷

éiôsðxðàðn|+â1÷ à{÷Jî â}ðæðúö½óià[áxà£» â}ð

gjiglk 9)<1B>); > Eá9; k GZ@P@

ÍFðZïiáàñ4âmçôsðîmê^â èsòpâ}ä[å{æà(ò6úd  â}ð"òiàãsèià(òüâmèüçôsá]æóiàçáxêyç{ëéiâ èså{áxêyñ,å{î ôiàð5   µ7 w `å{è&ò

3Íà_ð»æxåá»æZæxóiàÅïsáç4ç{ë=é4êJå{ïiïiî ê4â èiõWå{èDâ èiâmæâ}å{î âå{æâ çèWæåäæâ}ä,úsö½ósâ äó ðàæðZôiï æóiàÅòiàðâmõè

grout grin grout grin

u'r f :Mg'=0hM FP QQ9Y

£l# ( R  #!#"»f!#

j94MDNp>Olm@E7Gb@olm@E7G_B/DHlm@ E-G^:/Jlq@E-G^;5KOlm@E-GorIhM32=>2?W@?TB/DO?:/J'?k;5K9P <>MN  E7N53547658F<)=>2?W@?TB/DO?:/J'?k;5K9P

:â ñàèoæxóiâ}ðZðôiélòiàðâmõèUö"àPôsðà Ý|Þ.ß |n|1ðæxà[ï&

5 B/DHlm@E7G^:/Jlm@ E-G^;5K'lq@E-G_lq@E-G_lq@E-Gor

u'r f M: g'=0hM FP QQ9Y

 çyâ íyïiî à[íyà[èwæËæóià`ðôié6òpàðâ õè { t ~ wo r ö"à:ïsáçpäààòüâ èoæxóiàÅðxå{íyà:íBå{èièsà[áZåð]à(å{áxî âmàá

u'rZvv$_b_;r y9z f :Mg'=ihM P{wlm@E7G{Ilq@E-G{ Hlm@E-G{C;Olm@E-G zm| QQ5Y

]óiàWíyà[æxåñ,å{áxâ}å{éiî - à  } ósåð:élàäçíyà_â èsð»æxåèwæâ}å,æxàòDö½âmæó æóiàBä[ç)è ôsèsäæxâmçè çë%æósàWòiàãiù

g;glk >);=;=C09 92

Carry lookahead adder

£l# ( #| Ê ¶ #] 2 0101! /2_/ 7s]9# 78 / 0}

äî}å{ùåòiòpà[=á }¸æóså{æFâ}ð]ïså{áå{íyà[æáxâ äFâ èüâmæð½éiâmæ»ùö½â}ò4æóRÑ÷iViçá1Ñpù-ésâ8æZè4ôií^élà[áðúsðôsäóDå{è åòiòpà[á

u2r_vv Gor y9z f M : gO=ih/«9P){$GolmGG>MN'=0uP){

ÍfðPïiáxà[ñ4â çôsðî êüòpà(ðä[áâ élàò6ú } â}ð

Or_vv Gp>V@pK 8pB ¢ EOr

£l# ( ÄÃ . )-P)- #9780  2 J-9,-)+! µ` / )1! 0+!

T9è_æóià]ç,ñàáxåî îòpàðâ õè_õçåî-úæxóià]áâ õówæù-ósåèsò`ðâ}òpà%çësæósà]òiàãsèiâmæxâmçè`ósåð>élà[àè_â èsð»æxåèwæâ}å,æxàò

f :MgO==k¨[[VGolmGGF>/N'=0uP2r©jF4MDN^>l7=W@E-GZ@LKG P @ol7=W@ E-Gb@LKRG PVK'lM=W@E-Gb@5LK G P 8olm@E7G_Blm@E7G ¢ E'lm@ E-Gor

T9èDçôiáFòpà[ãsèiâmæâ çèüäçèæxàZ4æ[ú } ósåð½élàä[çíyà

3Íàüó&åñàJäçí^éiâ èià(òÍæöËçÍòpàñà[î çïiíyà[èwæÅíyà[æóiçpòpçîmçõâ àð5¤ViçáíBåî]ýpêwèwæxóiàðâ}ð_åðWâmíyïsîmà[ù

vwxt ² } st â ² } st ø ² } st ³ s| µ   â  ø · rst ø6  â ³

Í½ë}æxà[á=å{ïsïiî êwâ èiõZæóiàËæà(äóièiPâ dwôià:

Í½ë}æxà[á¸òpâ}ðxäóså{áxõâ èiõ]æxóià"ãsáðæ¸ðôiéiõçwå{îwé4êÅåðxð»ôsíyâmèsõZâmæåèsò`áxà[íyç,ñ4â èiõ½æxóià vwxt dwôsåèwæâmãsà[áð[ú

éiâ èsåáê`ñ,åîmôsàð[÷c]óià½áxàðôiîmæâ èiõfæxåäæâ}äð¸å{áxà]àZ46àäæxâ ñà{úwéiôpæ¸æxóià[â á=à4à(äôpæxâ çè^â ð%ð»î ç,ö

<9 / 3 12  F ì ë ì É 1! »+k î&»+#

Anda mungkin juga menyukai

ß=à[áxâmã&ä[å{æâçèPé4êPëìçáíBåîïsáç4ç{ë&âð>æxâmíyà"âèwæà[è&ð»âñàËå{èsòÅæóiâ}ðâ}ðåFéiôsáxòpàè_âè^éiáxâmèsõâèiõ½ëìçáíBåî

òpàñà[îçï&àáËæxçWóiâà[áå{áäóiâ}ä[å{îîêÅòpà(äçíyï&çwð»à

3Íà`åðxð»ôiíyàPðçíyàfë+å{íyâîâ}å{áxâ8æêÅö½â8æxó "!$#%#

æç ð»ê4èwæóià(ð»âà äâáxä[ôiâmæxðWòpôiáxâèiõ ïiáxç4ç{ë+ð[÷¢Fç{æxàDæóså{æüåÍïiáxç4ç{ëPáxôiîà ä[å{èºélà áxàåòºåðBåè

]óià-VsçáxíBå{îcý4ê4èwæóià(ð»â}ð½òpà(ð»âõèUíyà[æóiçpòpçîmçõêBä[çèsðâ}ðæðËçë¸ðæå{áæâèiõ^ö½â8æxóDåyð»ïlàä[â8ãlä[å,æxâçè

ïiáxç,ñà(òPâ}ð>ö½áxâmæ»æxà[èWåð ÷Í æxà[áxí

Â

f®ÅÏ ¬ ¨{®8¦ ©Ï ®¦8¥4®§x¦¨U©Ï

ö½âáâèiõ:àZpïiîâ}äâmæ=}÷:]óiâ}ð=â}ð¸òiçèià½é4ê`æxóiàuðZà[ñà(å{î4æxàäóièiâPdwôiàúö½óiâ}äóyåòiòsðæóiàZæêwïsâmèsõPâmèiëìçáù

fhgjiglk IP; ^ajIE[mfZHZE`;> ^kE`I`9D$H>)D"X k 9)D^Z; GkE]GonG^FjD"9)@9 [ C

. µ`1r Ò ü Ô üW Ò ñ · vw

fhg;g¡ GZIPD"EáG;á"; GkElIPD%[¢nG^*FjDBI`_aBG=H

{ » ¤£ +¾ ¿À{ÁÂÃxÃÂ½; -* 2 !#Ì,) <] ,; 90+!# 2 2 #

âèwæà[áxèsåîö½âáxâèiõiúçádwôsåèwæâmã&ä[å{æâçè ç,ñà[á

çôsá=áàâmèwæxà[áxïiáà[æxå{æâçè`çëVsçáxíBå{îiý4ê4èwæóià(ð»â}ð=åèsòWäçè&ðæxáôsäæ%ð»ô&äó_ïsåáxåíyàæxà[áxâàò`ä[âáxä[ôiâmæxð[÷

éiôsðxðàðn|+â1÷ à{÷Jîâ}ðæðúö½óià[áxà£» â}ð

gjiglk 9)<1B>); > Eá9; k GZ@P@

ÍFðZïiáàñ4âmçôsðîmê^âèsòpâ}ä[å{æà(ò6úd â}ð"òiàãsèià(òüâmèüçôsá]æóiàçáxêyç{ëéiâèså{áxêyñ,å{îôiàð5 µ7 w `å{è&ò

3Íà_ð»æxåá»æZæxóiàÅïsáç4ç{ë=é4êJå{ïiïiîê4âèiõWå{èDâèiâmæâ}å{îâå{æâçèWæåäæâ}ä,úsö½ósâäó ðàæðZôiï æóiàÅòiàðâmõè

u'r f :Mg'=0hMFP QQ9Y

£l# ( R #!#"»f!#

j94MDNp>Olm@E7Gb@olm@E7G_B/DHlm@E-G^:/Jlq@E-G^;5KOlm@E-GorIhM32=>2?W@?TB/DO?:/J'?k;5K9P <>MN E7N53547658F<)=>2?W@?TB/DO?:/J'?k;5K9P

:âñàèoæxóiâ}ðZðôiélòiàðâmõèUö"àPôsðà Ý|Þ.ß |n|1ðæxà[ï&

5 B/DHlm@E7G^:/Jlm@E-G^;5K'lq@E-G_lq@E-G_lq@E-Gor

u'r f M: g'=0hMFP QQ9Y

çyâíyïiîà[íyà[èwæËæóià`ðôié6òpàðâõè { t ~ wo r ö"à:ïsáçpäààòüâèoæxóiàÅðxå{íyà:íBå{èièsà[áZåð]à(å{áxîâmàá

u'rZvv$_b_;r y9z f :Mg'=ihMP{wlm@E7G{Ilq@E-G{Hlm@E-G{C;Olm@E-G zm| QQ5Y

]óiàWíyà[æxåñ,å{áxâ}å{éiî- à } ósåð:élàäçíyà_âèsð»æxåèwæâ}å,æxàòDö½âmæó æóiàBä[ç)è ôsèsäæxâmçè çë%æósàWòiàãiù

g;glk >);=;=C0992

£l# ( #| Ê ¶ #] 2 0101! /2_/ 7s]9#78 / 0}

äî}å{ùåòiòpà[=á }¸æóså{æFâ}ð]ïså{áå{íyà[æáxâäFâèüâmæð½éiâmæ»ùö½â}ò4æóRÑ÷iViçá1Ñpù-ésâ8æZè4ôií^élà[áðúsðôsäóDå{è åòiòpà[á

u2r_vv Gor y9z f M : gO=ih/«9P){$GolmGG>MN'=0uP){

ÍfðPïiáxà[ñ4âçôsðîêüòpà(ðä[áâélàò6ú} â}ð

Or_vv Gp>V@pK 8pB ¢ EOr

£l# ( ÄÃ . )-P)- #9780 2 J-9,-)+! µ` / )1! 0+!

T9è_æóià]ç,ñàáxåîîòpàðâõè_õçåî-úæxóià]áâõówæù-ósåèsò`ðâ}òpà%çësæósà]òiàãsèiâmæxâmçè`ósåð>élà[àè_âèsð»æxåèwæâ}å,æxàò

f :MgO==k¨[[VGolmGGF>/N'=0uP2r©jF4MDN^>l7=W@E-GZ@LKGP @ol7=W@E-Gb@LKRGPVK'lM=W@E-Gb@5LK GP 8olm@E7G_Blm@E7G ¢ E'lm@E-Gor

T9èDçôiáFòpà[ãsèiâmæâçèüäçèæxàZ4æ[ú} ósåð½élàä[çíyà

3Íàüó&åñàJäçí^éiâèià(òÍæöËçÍòpàñà[îçïiíyà[èwæÅíyà[æóiçpòpçîmçõâàð5¤ViçáíBåî]ýpêwèwæxóiàðâ}ð_åðWâmíyïsîmà[ù

vwxt ² } st â ² } st ø ² } st ³ s| µ â ø · rst ø6 â ³

Í½ë}æxà[á=å{ïsïiîêwâèiõZæóiàËæà(äóièiPâ dwôià:

Í½ë}æxà[á¸òpâ}ðxäóså{áxõâèiõ]æxóià"ãsáðæ¸ðôiéiõçwå{îwé4êÅåðxð»ôsíyâmèsõZâmæåèsò`áxà[íyç,ñ4âèiõ½æxóià vwxt dwôsåèwæâmãsà[áð[ú

éiâèsåáê`ñ,åîmôsàð[÷c]óià½áxàðôiîmæâèiõfæxåäæâ}äð¸å{áxà]àZ46àäæxâñà{úwéiôpæ¸æxóià[âá=à4à(äôpæxâçè^âð%ð»îç,ö

<9 / 3 12 F ìëì É 1! »+k î&»+#