Symbolic Model Checking For Sequential Circuit Verification

Carnegie Mellon University
Research Showcase @ CMU

Computer Science Department
School of Computer Science
7-1993
Symbolic Model Checking for Sequential Circuit

Verification
Jerry R. Burch
Edmund M. Clarke
Carnegie Mellon University, emc@cs.cmu.edu
David E. Long
Kenneth L. McMillan
David L. Dill
Follow this and additional works at: http://repository.cmu.edu/compsci

Recommended Citation
.
This Technical Report is brought to you for free and open access by the School of Computer Science at Research Showcase @ CMU. It has been
accepted for inclusion in Computer Science Department by an authorized administrator of Research Showcase @ CMU. For more information, please
contact research-showcase@andrew.cmu.edu.

!
"$#%'&(
)*+,
-.%
/&10234
6578)*&9
:
;4<4=><@? A@BDCFE
G<@HI<4J*KMLNBPORQ
ST<G<U.VNWYX
ZT<4U$<4H2C[H]\^K_K`LNW
Sa<U*<4S\_K^K
;bAcKed2fNg9h-fjibibk
l3mTn$oplqjosrjt[o6uwvxv
y{z}|[~{~ R~ ~F [[}/.y{zjzp

YP}[P*p~Fs
}[[F|b N2D
s}}{63} eR[D}8R{M}@F6"-6e_{Ms
P6*b(!P}
bw_M^Mp^}-j6N^F6 ^6_M-8Pp^j4^PRMP^RPspPMM.bM_M6_M8[_MM^NRpMPM.9((p9RF

^Pwb 6ps6P@4Pp^[^PRcFsbj 6_MbPPPNp^^pMw[6ps}^6}^x/pM(R :_PMwP66p6
6 .P6_(/._P66 swMPM.PpPPPpp3PP M(M6^_6M@6P4D^Ybbp66p6ppP ^^6p6p66
6 -.Pp^N-^PM4M6 PPM_6Rb^Mp^} N6_Dp^pp8P PMRN6_^6R6}^6^6P{bPpP^_8pP^PpwN6
^ P6_^M363x R
j`
6F6^p^pY[@{Ps6^_ b P^6P_P6(N6R_PPp^^ pc^66_
b6^8-8 ^.MM M^6^ c^6pM
bP3pMb.6P MpP pP3Mp^sPM"_.PM -M86_3^ 6^s^P6 ^Pp^8pP ^PpPp-D
_M^P_M^36j_MP_M^MFP_PR 8Ds MMF_PMb PP_M^_M.6[-MD_P9Px/_PRPb6pj^ 9(F
6}6^P-M M

~F}[~Fj"!#!$!#!%!&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
( p })+*~F-,.!#!$!#!%!&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
/ 0& 123547689: ;4<18=12>?9
A B<6DC6D968 E F=HG%IJK9
8 y{jzs|[}~D[~Fj.(szp{H!&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
8 Mjz}|}~F~Fj(zpsN!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
8 P}M~D[)QbP sPj`~D ( p M~DjR!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
ST F F=HB<6D1EU12VJW6YX186D9
' [ }~DM/y/.yF!]w\ zP~F !%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
' ^ } M*yD_ jP[?!#!%!&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
' ^ DP [`!&!%!#!$!#!%!&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
a G#>?CF F=bB<6cW1D 18Wed%F9
8 f Fz F~D}| !$!#!%!&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
8 h j}i jzp{ ~F{ !&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
8 ~F}i [jzpM{ ~D[k!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
8 ' ( Pzp~F [ P}MM~Fjl!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
m X3>QVnEWKRopF6cWeG#U6Dq F=
s ~F [[ M~DtP }/%Nu ~FPz.!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
s ~2) p(|Pzv, [b!$!#!%!&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
s [ }P}~Djss !&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
@ w#68Kxy3F F=zX3 U 9<G%IJK9
gI bp) bu !$!#!%!&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
gI { }|[/.yz|[~F[~Dje|~} P !&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
L w#68Kxy3F F=<9:3 U r9+G%IFK9
~2) ]j\ ) f P{) }| [ sM.yP z|!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
Mjz}|}~F~FjysFz, !&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
h [[) [j~|} zj`~F !&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
4<9I99:
M P jM~F ( p ~Dj !&!%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!
M h D}3~P [~F' ~D !%!&!%!%!&!%!&!%!#!$!#!%!&!%!%!&!%!&!%!&!%!#!$!#!%!$!#!%!&!

'
@
L
M
O
Z/

'

Z@
g
M
M
/r/
F
F
'
/Em
s
F
Aa
F
cg
'O
rA
''
'

P4|[ [~F4~D z !~2)pz}|[Pz-,[F~FM}|[ ~ 3(P-,~|c ~F( Z)7yFM g ~E)

]\j) }~}}PM*Ms "FsP[|jj["!#$%'&('*)+",-$/. f h h 01 g* )32546'4'&7"
4"8$%'46'&9#:;<4'&=$> O D# Hf PzPj}|*}[P/ ~D z [[}!M~F ~ }|[}D
T|[" Fzp"~ zsz6s-?4|b)[ jP}|~D zF@?Y }P~ D^zszps-?4}|a
: }}!6 F"*x/~ sP}P * ) ~FjM}sP}"}|{*[*?2Pz}|[ _[~Da{jz|}~F~Fj
N6[ )<)PDA?4}|' [}~ }{ P}p CB O+DFEHG P T{ [ E~ )6wz}|[P-z ,[*D~FM|[,|jP ) P
^( P uI?4|!e}P}-zp~Djss ~Dj _ [/MJ?Y.P}3P.}~ : }[}P{[w~ b!j~D"
sP4{[P- ) e}[}-[}~DNPp=?-|{zs|K?4~D )~F}|"?4 [~F-w3: }[}P` P u *
./!Mz/R}s4~D }|.NM^~F Pjzp8~ 9}|[3F~FM}|[ )}~ N~D}|"Mjzs|[~F[~Dj- )
FMz|[~F[~Dj8zszpL?4}| )[ !jP}| ~F z
J
-
f [^~F[) }"7|[ )PDT[|F~ Y)Ps zsz6 P} i}~F zPj"~ [[:}jPzp})
)p }P p["|[ zszp{8| )?- . .!}[[}/}PM ^~F (/]\wzP~F}Pz}|8
_[P ^~D|jP) ? 7) PDj|jDN/ D}~?4[ [*j3~P ) N/}[3 }|~D)[|j j
[~FN~w) x[.[PPYzPN$zF`]j\
) }/}' ~P4|[ }s ) ~F jH?Y}|[ <<4
2<4<$*P) }|A!"& 469&<:: <)/!#%!'4# Q) Pszzps P4| ~ zzpP`^R }|~D)[ ~7)[P}
^~F FM^[ [) j |~D z*}} .~D^[jzpM~DjcN|j6 ~F/ ?4|[~Fz6~FjK{) [_ [/
j|j~D 4P |[PM }|~D[) !P}"^}_ [MjD
) ~F |["j~ P[}~D Pz}|[/~F}/ [}~DF
~F [}~{~ z}|[PzF, 3 ) '}_ }'zp~Dj` ) F` jz6!^}~D1|[!.zp~Dj}jzpM[
zp~D}}zp}[}-[}~{~ ^ zp~FsDw}|[ !~.wPz6F }Pz}|[{K_ [P-^~F8}PD~F{ j~D[3_ [/
j|j~D.jMj}_ } z6~F }3:} ~F ~D ~P4|[ } MjFz6~ c}|[$zszp s { Fy
4P |[3MsP}3:} ~FsP~F}Pz}| _ [- } }sDzp.wPz .|[' } |F| [~F' Mz@|[.jM
` [~ ) PY&) Pzp[M~F~PR}|[ zszp {s M~F *) -wPz]w\ zP~F[|[ }/
) ~{P-}|[ }PM ^ }|[$zFM~ `[P'zp~D}~ /N}|[$ [}~Dzp|~P^}t_ } [sDzpzejzp
}|.j4~PMsP}P}) 4[~FY}~*j.:} zpP`F 4P |3 [}~Dzp| |jD4[~FYN/!*j6^ ?4}|
[) Ps }|p|~ ?YF/{`jzp }|[8N/@~PRMs PcY!~8 ?8(}~{~ P}F3~w}*:[} {z
[ ~D ^ *~D) ~PFM~F"PN~D[}|[8zp~D!{ *} {}/sFz6~F j ?'zp~D}~ 4 Z) [) Ps
jP}|j ?4 [
) }Pz}| _ [ |j $ P }~|j ) 'N~F| M{jP.~ zsz6s 7h Fp~D[jzs|
}z}|[ _ P|jD[}~P}~ j !D} ) :zp.[~F ~*?YF/j}|[*FP}"~ [) Ps! }|
) PFj[}~PK{) P~F 8}PD~F'}~3Np-|j }|p- Ds |jp?-|8P}D ?4w~ ^}/!|jPF8
}6Pp ` 3}jz6}[ ~Dj_ [{F N-N~}{ }~ j\ ) 3zp~FjzsM[P{sP~F
}| *:} ~ s*}| [^~F ~ }|[:sP}Fzp Z) {) j[) a` " ~F}"~D7|[![|[/}{
zp~D!:{} M ~ 9}|[#[) Ps! }| ~FPz}|jP` "}|[3{[w-~ c } ) }/}*P
^ | N/ ?Y |[~? |[~? 4H%, 2& <: :;&%)'! ,1&*#: !8"!*<) ' s g Z>) 9"<!
': '4( <: $%$ F~D}|['zP ~E) \ ) }~[} F [|j"j`[ %#"!#$%'&
'*) ,-$. f h h 0 *g ytf Pz/ jM }|*}}PMsP~F z [[}*~F ~P3}|['}D 7|[
jDzpl) /}[") _ [MYzzps6 ?4$ } P*}~ D^_ [MYzsz6s ?4}|
:} }!6 P}D [*j.~P-MsP}P 4P |[ D~F|[ *jFM) ~D z6~F [[[<\E}
) j~ [
~ -^jzp~DjpYz) [) z "}sPj`^~D} s6(}|jP' a/s~P }}~/s~P } 4P |[
[) z *} j^~F} P}*jM
) }~7) }zpMw*[}~DNP~PzszpP) } {) ) ^~F |[
} j~F p ~Dj!~ }|zszps ?f ~D}|a }Ms*P7
) [) zP}"} j^~F} * }"[}5
/3
) ?4}| f h h 4P |j6 ?Y" " {"~~P ) [} zazp~Dj}jzpM[}|[:sP}"F [|a~
}|zszp * "|jDP) |["x/^~F Pjzp"~ }|F~FM}|['!~Fj~F| Mjz}|}~F~Fj )
FMz|[~F[~Djzszps ?4}|[) Ps"j | ~F z
* 1?4 ~F/^ bp) bu ?4}|
~PF O D EHG P4P!) P"FMz|[~F[~Dj4MsDzv-, ?4}|'~ D O G } ~F N~D}sPMF^~D@|[
zFP.~P-zszps8}|jP ?4 ]j\ w) N}|[ ! }_ }) zp}PD
) D. M cN~ {[~F*
}| j~P zp~F j~F[/~ 8|['zszp 4P |[ P[}~PK{) M}}~D[ ) jzp ~ 8|[
}z/ p'~ 9~F[8!/}|[~D[)
G# VF 9

4P |[3'}i ~F zp~F[[M~Fj.~ 9}|{-jPN8P} F4^~ ~<?8
) F~D}|[I^~F3P u ~D) p9z}|[Pz-, [1?4|"!7$%$ !%&=$4 46$$#
8pf h h ^jD
'
88 )}zpM~F"~ $ !*46 2546'4'&7"-4%=$%'4'&K9#:;<4'&=$Y )K!%& !*4 +L2546'4'&7"

4 =$%'46'& %:;<46'&8$$# *T}|*}|P- }|~D)[pz6~F [[[3|[-} jM~F p ~D!~Pb zszp
[/F4}|[ /~P}|zszps-}| 8zPj3]\j)
88 ,1&* "/9"<<4 $4 $5" ! $F~D}| }~'w )!}Fz}|jPs"Pj`^~F8zzps
[} )A?4Q
| ) i}[jzpM{3j ~D[ )} j~Fp ~Dj
' 8 |[~F~F[D| zM} )*~Pb|[8FM [}~Dz8zp~F : }{M*~Pb~F@ |[D~ )[(j`[$Ds
M[j [MR: } P
8 [/s}Pz}|[{K _[P^~Dc [}~P[3}|[- :zjz6~PbM] \wz M~F !|[2~ )[jD )*~F }PDz|8
Ps [c{3 *?4[ Mjz}|*FM] \wz M~F'F(P[}~D Pz zp~Dj}jzpM[ )*z}|[-z , [
PDP [
yDsR~ 9}|[ Px~P3z6~F{}[~Fj }.^b[D}| )P}z6[~Dj ~P(P{ |[ zp[}8P[}|[~Ds
\j )P}z6j )!}|[ zp~D^jzp}/s [} O F / ' y

/ B<6IW186D

q
4P |[.P}33j4~P9 [}~Dz|Pc^~D4F/^ [ M_[Rzsz6s@{ .:}~FsP~F}Pz}|8

_[P ~F ~D[a^ f P7){P}zpMx) f h h / g* 8Ds.D}~Fj x/ )[ [ MsP}
:}~F ~DF~D}|['^~F-jM ?4| f h h
~F{) }/ f }|[/[P
) ) } ) Dp~FN) * }|[~2!) ^~F |[~+?4[!_ jzp3wH?4/"F?~
) }*Mz j\ } }~F' K y { ?4~*P[}~D Ps{[}|[*jM^~F,3[}P ) }| j\ sM- szs|
~ Y|[*Ms jDzp~PY}|[ [}~2) jzp }~F' %f h h . jM
) }~ [P /s~PY }. )
}|.j~}} j~Fj-~ R|[3P[}~D Ps [ ~D-}|[- }A46 =$%'4'&! !*4'& "!*4 & j)
4P | .!DPzp~F8~ f h h 6x~D[^~D.PFz}|MsP}{/N}| 8}[P/s|[[ [} 8Ms ~F z*~ |[
zsz6 |[~4@<:# / ) }z6j}.* 3}z}|[ _
yDs[D}~Fj(|jF@{) NZ) $ [) f h h b}~P u ~E{) pz|Pz-, [ s g yf [z}|b
( , Yz Z) h 1 |jDQ) Dp~Fw
) M N~ z P u ~E{) p z}|[Pz-D, !|j jMP
} j~F}pP~Fj8}~ }[P/-}|[$zszp8jp[!/]j\ ) ~FZ) } 4 <:# O P) f ~ )
[ | |j De) P}z6N) f h h ^jD ) F~D}| @^~D P u ~D) pz}|[z-, [ }|jP@8}sPj`M~D
^[jz6~FFPz6}~F ^~F }|.[[N~M yFjzp Y}|} ~ Y}|[*F/]w\ zP~F Pz}|[ _ [P.P}*jD)
~F P (u j}| }$ *~ |j Z) Nz]w\ z M~Fj|j 8z) *[{j~F[{) ) /[P}-[~FN/}P
yjzs|MNPz]w\ z/ ~Dj!z/ [[~D*j| ) ) { ~D}|[/ {N~Pz Pz}|[ _ [P^~F M_ [ zszp
F/]w\ zP~F'jz}|$F|[~M ) }zpMj3) f }P9 Z!) yF/ M f ~ ) [ |[ D *) ~F{) }
#4 <:# ^ )E) M~DbN|[ F~D}|[ ~ f [sz}| #4@<: #cw}*s- } }P u ^~D}*D ~!j
jM") F !#7%$%$ !%&8$46 4$ *g
M~Djc ~D~PR}|[8P[[~Fz6|[P(}|jPj8} jM~F^jzp~D!Pz6}~Fp{F(~D[N~!) ~
} j~F}6P~Fp.}|jP|[zP[[~D ~D) pc[~F{) }Mz ' >jP}[ ?-
* |[ ~D) p[M[M}'^~F*D]w\ zP~F4}|[/} ?~ }i ~D ~D[szp~ 3[~D) }*
[ sM[[~D) }* zP~zzp4Nz jM.~ @zp~Fjz6[}jzp*|[3[) / ['zsz6 .`F@ |[
zD! ~M*FMz|[~F[~Dj*zsz6 ~E) 6%0 yPzp~DN) ([~D) }* MMP ?-|[ jM}sDz#
~D8j
) ~ !^}F~D[ w~F[3M~F jP}8~ Y}|*zsz6 f z jM jM}sDzp~D '
| ) } ~ }|["MsP} ~ zsz6("} jM~FT'p> [jPP[~D) }*Mz D}|[~D[F|
?-D~FM j)/}Mz . 8 }jP!*~P}|[ ?Y~"`} ~Djp9zp~Fj ).|[*zDz}|[ zp~+

|[jzp'[}~D}~zp~ R^~F8}|[ |(jzp~F P }}| 3z |jD }) M{ O * P4|[
[~F}~zp~PC?4D ){P`F ) ^~D |jP}) !~D}M}~jzp}~D*~F { /) F*MP~P3[jMP
zp~D[[Pzp ) { P D{jz}|[}~D[~F| z|z8}~D[[[ ?4~D- , P4|[zFzs|[P3~FPFzs|[j*P}
,F/[ zp~F`[*j [!M[~~D[[ ?-| z6~F : } P} DjD} [}~D}~zp~ -jM )7~
jM[}$zp~F`jzpNH?YzFz}|[~Ft
) w [j z E~ )6 )}|[$}/ D.
FMz|[~F[~Dj*zp~D!j~~Fa~ {jz}|[}~D[~F$ \j} Dz}|[P "M~j ) jM}FzpM~D
}~:`!{^}|[ ] \wzP~F ?-|z|' ){}| D~ )p9F!~D} [~F ){}Mz %[ ~D.: } 1
Rz ) ) [~D3[}PzsMp E~ ){p(|[ zDz|[*Fz6!/.!z}|j M * |!2~ )p[
FMz|[~F[~Dj3 8~F.j[ jM}sDzp~Db.~ ^[Pzp}}P}"}~"jMe}P}3zp~Djs[
}~' ,F*Dzzp[ D~ )p [ ~D.: } e[P}3zp~Djss8 }* _} )"}~ )P}z6N$ }
?4}| P}s "[[ \j}# )pP
^ -" f h h )}~"}/[}PM }sPj`M~D }6P~F(}|[ /!~P-}| f h h z/ N5
zp~D!'w~F}M[P-z , P4|{3[}~D zP j M~ { )^~D*D{jz|}~F~Fj*zzps}}PM[
}|} j~Fp M~DF' T!{z ) j i}jzp~D~ f h h > -}Pz}|[{K _[?Y[~? z/
$ !*4 + 2J*4'46'& "A469=$%'4'&I9#:;<4'&=$ - ) [M!| Pz}|[ _[3}~ {jzs|[}~D[~Fzzps
} _ PA!%& !*4 + 2J*4'46'& "46 =$%'4'&9#: <46'&=$ Pb~FjP #4 <: # ' ) f [z}|b (P- ,
Z )QuN~F[ O D* )Dp~Fw ) }|E~ )[-^~F3zp~D![[ ' D*~ 8'zp~F i}jzp j ~F )
} j~F}p M~F3.e}|[8P}4 }|D~ )' )P}z6N )*MPzp~D 0 P4|[. :zjzp*~P(j~D}|"}Pz}|8
_[Pl )MFP.^}~F "5: 846 !#<4'& ~ MsP} D M P * Np }|jP*~F[*Pz}|[ _[
~ ^ ~?8 ~FPPH
_j {] \wz/ ~Db3 ) M~ !~D} "z P4|[D z
}s8[j~F}8}|{-z6~Fjzj~Fbw}|~F[D|!~D}3: }x/!/s M~F-[Pzp}}P} jp^~Fl ){: \j
zp~Djzj~DzPN*}Fz}|[ ) )/s )zp~F jP~D ~ }|[*H?Y~"!|[D~ )[.[}PM} )
zp~F M
f } {yF/R ) f P 1 M |jDT ){Fp~DN )3 $F~D}| jD )3~F*M j~ z-`* M~D
^~FY!2~ )pzs|[P-z ,["}PM}Mz6} )[PP- ~F z MNPz] \wz/ ~Dz6~FjMs-~ R[Pzp~D ) ~F
Z ):j~sz6~F ) M~Dj: }[P}M )$"}|~F z P4|[.}Pzp~D ) ~DjP}. ) }~ }PM}Mz6@[[[- )
$Ms P*~ 3|[zzp 8}|["N~zp~F )M~F P*}|[[}~DN}|jP!|[jM1?4M|[P!~
z}|[P-z , n[ ~F*F4}|[.~FPz|j.}|[3^~F
G D E E

D D !

~D}|j 8}|*{{s }~P4|[.^~F*F |D|}PM}zp )z6~F j )~! ~M.~F|[8} j~Fs
~FPz/4j )^~FjPz^[[~FDs '4P ) zzps ^ jP}zp{P[|[~D~F zR~FwsP}~F|j
~+?4 )zp~D i}[jzpM~Fb9 ) |[ ~F} [~F~FN/s ~F. 74 4, >. 0 ~*?4/F/|[
~FPz.MY z/ }~ P"~ c}|[3|jP ) ?8P}*M[M}'-}|jP.P[NPP [sDzpzp ef ~ )
[ | j `*PPz}|[ _[P}~D^*wp3zszp{@?4}| PjPzp~*! jM}Fzp
D~ )p9 PPj ~PY*}[P/ ~D^[jzpM~Db[Pj~DF}~' }Fzp )[Ps!M{x FM] \wz M~F
f .*[ }|[zF}R~ j^~F*F|j (|[3|jP ) }|[4Pz}|[ _[P(z/ z}|[P-z , zp/}s*[}~DN
P}* "zM ~?F/|[P8}}Mzp~FP} ~'& ) ){P F zp~F j )!~F/[s
D~ )pz|P-z , [F~D}| P4|[ [*j3~P8!'[s3}|jP*:^~D} z
s~~ , P|[P )
}|^[[} j~F[Z ) )"}|[ } [I[PM[ ~ ~FN/s ~F P4|[ ~" j~F"~ |[
46':Y~FN/s ~F }|jPz/ ~~ , } eP~"}|[*^[}} ~FjM _ {b}|[*~F z!.[~F
} ^~D*}PD~D[ PN~D[*[~FZ )}/}*{Mz" Q[ ~F*: } P|F|Fp
~ }FzpM~Fb8zp~D![s M~Fj P}"~ ^!2~ )p )D , P } }[& \j}[*j

~ j ^ .[~Dj~`"}~D^|j z|>"}/ ?4 ,F [}~DF}}`[~D |[

~DjsP}~F
^ # ) "zp{ }~Fzzps pzp~F jP} }|[ jM^~F Pjzp ~ 8-~ 8|['{N~Pz ]\wzP~F
}|[D~ ) * wp/F"}|jP*}|['NPM*zp~D!jP~DTPz}|[ _[ ~) |[~? }|[ ,M
} _ )^~F.D] \wz/ ~D F~ ?83D{![~FMz/3?4}|P}F/P)P}D.sPjzpP.~P-'zF}3~
zsz6s n[ ~D4N~Pb|[ }jP!8zzps ?48|jF8}M ) ?4}| ~D[!|[D~ )[6 |@D}~?-}| sP}-
'jw~ {[~F*j!|[4{[wR~ Rz6~F x~D[{s~Pw}|[8zzp n{ w|[-~F|[(D}~Fj(!M~F[ )
w~PFj~F f } { f P )yD- |j# ) ~F} )F~{D~ )D{![~FMzjM^~F Pjzp
~F .[~DzF}(~Pbzszps nf }|[/ ~D ) ) ){} )K ) ) ~F} -] \wzP~F
P|j ?Y}$[{[ . |[{[*j8~ } |[ j[[ }|[PMM P ?Y}$M
:}j~F[{b}|[3{[*j-~ czp~D!w~F[
P4|[' )8~ c}|[ j w -~F { / ) D^~P~<?8 8 ^}-5?4 f h h zp~F
?4:|[~? |[~? ~j f h h }~[}$zszp$aPz6~F 8 *7 )Pzpw"F~D}| ^~D
\j )!PFz}|jP sP}P-P ) zp~D![[*p ~Dj9[}2~ )jz6sczp~FT ' ) [}PMjPzpDp
y{w~ z!D~FM|[' ^~F P u7 D~ )pYz}|[-z , [ )PzpN ): MPzpM~D s |( z}PMs
P^~DY{jz|}~F~FjYzszp9"MPzpM~D g )^~FFMjz}|}~F~Fj-zzps"zp~F *
z~M ?4}|~D!# ) }z6j}~D zp~F M

-

{ )/})"j t)Pz`~D?) PFsP -. f h h 08P} zP[~F{z/^~F }/[}PMsP~F^~F3j~{~ P

^~F*F g* P4|[/ } ~ ^}/ M[j [M !~D} zp~F jDzp}|jP }) ~DjR[~D}'w^~F}'jzs|
FYzp~Fi}[jzpM [~F x^~D} ) ) ji}[jz68[~D}'N^~D}[P)!}| z 'x P[ ) F
:z jz6 |[3|jFYNPz6~F ?4 ) 6*.) ^~FDPM~Pb h z/ ~Djpjz)
{w~ z"`* M~Db4D]w\ zP~Fa~ zp~DjP~F.~FPzPN) ( ~F }Pz6(D]\wzP~Fa~
_ [/Yzszps 3"f h h 3`*P3}~"!{ }t{) Pz`~F}j:} zp[-|j M}jzp}}
7) }Pz6}
) FzpzzDsP[| |[3}|jP }RP) |[ "}Mzp3}~FY~F ) 3Fz6) ~D |[
~zzp[}jz6.~ DP P F-~F[ }sDsMP4}|[ F [|"^}~FI~~F8}~* ~FjK{) x^~D j} P!
}| f h h ~ ~j\ F[ ^ 8}[P/s4}|^~F . 0. 0s[j }|[3 P*~F{) [
"P"F`F!4~ Rw~~ PPDP4}~ }|[.DP Pj - ) {~F[3z/
) PzsK{) ?-|[/}|[Y}|[ F`F!4'F, @}|^~F}[8*ss[|[.F [|"jP[ P
}|.}~{~F8P) [sPjz|{ P-PFzs| [~2) 3jFM) ~F"}|.D[*D}D[") }~*}|DP }|jP4PNp
}|*[~E{) l[ ~F3:} b}|[ D}D[ [ !#" %$ " &O $ '" %$ " )( P[) .~!P-[~2)
wp) [|[jzp }|[.^~F*$-}[.^~F8}|8F}F[ [
f } {*|~ ?Y) }|jP* >D MP~D) M[[(|[}*z [~Dz f h h ^~DD}^~D"
{> *g 4P |*` ~ |[ f h h z/ Q{) j
) z6z~F|[DP *~D) M[ ef } {PP
D~F|[ !^~D zp~F [[M |[ f h h [} ~Dj!~ +*-, P.
) ,//0 P{}| f h h $^~D
^~F*F1, Z2) 0 4P |[PM.D~FM|['4|j D.zp~D!{ } MP 4 |[}~2) jzp~ R|[ ` P(~ R|[
F[ { f h h 4P |[3~F{'~F}|4~DN ~Dj@?-|zp|A?Y.}_ }8^~F4|[3D~FM|['}|jP@^~P~<?
<_ jP]w\ zP~F~PF N~~ PP D MPPP
) [jM}~F~ D P j P lf } {PP
:F~D}|[ ^~FYzp~F [[M[|[ f h h ^~D-.}PM}Mz6}) ^~F*~ R|[-^~F}3,4 576 G ~D,4 576 D F
, ?4| }|[ FP {8'M4~ O ~D 4P |[PzpM~DF~D}|[ ~+?8@j}~*z6~F [[}8}| f h h
^~F }|[ ^~F} :9;8 <, ?-|[/}8*j~{~ PP7DP Z=
) , *:^~F*D>,?4 576 G @,?4 576 D
4P |[$[jM}~F ~PY!D M >A]^~D3!D M >8 ^~F,) [~D}
) ,B8"A ( z j
g

a
1
0
b
0
1
1
c
0
0
d
0
0
1
1
[ F[ pf jP} )Pz~DQ) PFsP

Fz/zp~F |[)"j`[ _ jPM]\wz M~F
!
~F:z3F~FM}|['3 }*j~}`b|[~?YF/^~D.}|*zD*~ _ jPM]\wz M~F ~PF/
D MPPp~F M{"j *[ +^ |[*P}*zDR:zjzpt
)/x/ )[.~F}|!~D)M[~
D MPP |[ f h h -jp[!|[ }P!3~Fj~F}|` )P-~ c}|[ jM[~D
[~D}|[ ?-*}~35? f h h D4 ^~D}2~ J)}*Tz \j} }~F' e F[ {
j~~PP ^jzp~DzP j ){]\j)(?4}| }|[M"~ M}M:
O&$ }|jP/PjP} ~
yFjzp*| 3 \j}P[FjPF"P)n\jP[F F *}D /N}|[/}.!* \j}
}~F' ~Fa}|jP*Fz/zp[}|{*M P4|* [~F' }~DT[~P )P z ~Fz8}[P/s M~F7^~D
}|~D jN~{~ PP^[zp~F uN~D zc~FN/s M~Fj~D"N~{~ P "^[jzpM~Fj.z/ "j!{/! )
{*~DjsP~Fj ~F}|[ FjPFP Dzzp} ) { |[< \j} [~F' s z[ ~F : }jP!{ h
zp~D}}j~F)}~.{}PzpM~F ysP )[ )zp~FjM}jzp~Dj ^~F p sP}> [~F' }|~F
zPN3jM)~"zp~D![}3}|[~DN M~Dj~DP[F F P4|* ) ) f h h ~FjsP~Fz/
j3 *?Y )"F8 j~D.~ 9}|P zp~Dj}jzpM~Fj
, 8 "A (
9;8 .!8A 0 ,

E

k

*!w {t)Pzp[|[~?2~}/[}PM zszp{*{j~ z P4|.F~ P3}}PM[

/s.~ zzp*Ms P3 ) ) [|[!sPj`~DT}6P~F>~ 8}| zzp ~FjK){ "zszp
?4}| ~ MsP} |[~ ) [[~D) P 7[ ~F$Mjz}|}~F~Fj zszp/}| M M{z |[
~F}[[4~ 9}|[ }PM}@ }|[ zszpY}~FD}|@?4}|"|[.[M' [[s ^ |[.z/F ~ 9
FMz|[~F[~Djzszp{/ (jMj*}|[8M(~PRj~E) MsP}8~ w}|[8zszpYz *w )}zpMw)
{ [D[c^~FYw|[-[~2) P ( }/}jPpF ?48z6}PP}8.j~~P FP {.^~D(PFzs|
[~2) ( |[ - -zPj) Pzpw) {34Dj M~F'F}F[3p}| O ~F }~-PDz|3D M
a DjP~FL?Yz aM~?-}j~~P T [} [P}~F?-|{zs| }[ ^~F :} FzpM |j
DjP~F #[ ~F. j} P!j 8 G $ 8 D $ 8 E
) |[D ~D B8 G " $ 8 D " $ 8 E " O (
?4#)/F3}|j~{~ PP^~F* 8 G 8 D *8 E P4|j~~P ^~D}* z "|["j[P)

j* f h h&^ !D[e[.w~~P !^~D}{3 *j8}} ^~D@' {l) w[DjP~Fj T^ 7?4
){~F[3}|*zp~DDM~F}|jP3^~F*!}/[}PMs8}|[ M~P <: :@DjP~F}| .',33}[
}|I?Y*zPQ
)Pzpw*/s-~ }"N~{~ P ^~D}*D. )wN|[jz6[ f h h ^ [FzpMz6
f h h 3P} ~ ^}/*jz}| ~F* :z3}|jP [}MMs.~P8 P.:}[{zM * )[~D}
/s~P } ?4}|}|} 49 )?4 )[~D} |[ f h h }}PM[|["/ {
. 0
?-|[ -}|M8~ 9FP {}|jP|[ f h h 7 ){j ) ~F
^ )E) M~D}~"}}PM[/s~P8 P.~ 8'zszp/ ?Y**j N { }~"[}.|[
} j~Fj-}| -}|3zszp{z ' , P~ )~|p=?Y.: }} )*}| )PjM ) w~PF ^ } ) ~
i}jM[}M /~P-MsP}P-j`[ f h h ?4 }[P/. ~ ~D ) )s~PsP}P
**zP[[~F )~ }|{8j`[% i}3 `[P'zp~D"~ c}|[$sP}*D M P6M~A?*zpP * MPzp~D )M
~ YD M P *}|{2 ,~ c}|[*D M P F 2%%$54 $4 <4 FP { Z )}|[ FP {
F 7 4@$4'<4 D MPP |Fzs|D M 8 2|F. z6~F}Pw~F ): }[ D MP
?-|{zs| ?4 )~F}"{:
8 DjP~F ^~F*|["FP { ) z j" *?Y )
F# )PDj M[ >~F ){} )j*~ MsP}P.|[ zszpP )?4'z >}[P/*/s~P8}|[
DjP~Fj-j f h h 4D4Px~DF * 8}6^}~*Ms(~PRjs4~PRMs P4D@s `~F}pP~Fj ^
Y} j~F}p M~Fb[|[A?Y ?-M . $ 09}l~ ){[~F|[ f h h }| 4[Pc *
?8@jM3 "~F )M^~F4|[ f h h FP {^~D ?-|z| |[.[P/- Z ):: }[ } FP {
P )' )!/F![P/- DP 8 - )isFz6Y}~3-zp~F}PMj~F ) [ [: }-MsP}
D MP'8
A X3 U r9<G%IFK9

P4|[* }|~D) ^~F#) M["}|[*sPj`~D }pP~F~ {jzs|[}~D[~Fj3zzp3zP j} )
j"M c:j} P!{ 4P |[ zszp.R\jF[ 3 ~D)~ z6~F[{} uN 8 G $ 8 D $ 8 E
j|[ -~PY } D PP ^~F8}|{8zsz6w ) / 8G $ 8D $ 8E j ~F}|.z6~F{ ~ |[
MPP 4P |[3}sPj`M~Dj.~ 9}|[3 ~E{) ~ zp~F}8P}P"
8 G
8 D
*8 G $
8 G
8 D $
.!8 G 8 D 0 8
E!
P4|[ w~P._j M~Dj.zP"N3j):~<){:\j[3}|p M~Dj
G . $ 0 . 8 G *8 G 0 $
.0
D . $ 0 . 8 D 8 G 8 D 0 $
E . $ 0 . 8 E . 8 G 8 D 0 8 E 0 $
?-|zs|t)P}z6N }|[ zp~DjssPDz}| 8 j } M`^Y}sPj`M~D P4|[ zp~Djs[
zPw zp~F [){ ,!|[p.z6~Fi}[zp~F}~^~D}I}|[3s `~Fp M~D
. $ 0 G . $ 0 D . $ 0 E . $ 0 !
^ T}|F/[s3z/F~ >{jz}|[}~D[~F zszp{ ?4| MsP}|[~PK )7E~ )p@?Y
8 G $ $ 8 D P) 8G $ $ 8 D D j~DF~Dj~ }|[ !2~ )~ zp~D[{}/^~D.PFz}|MsP}
D MP'8 |[}8 ^[jzpM~D/
, Mjz} ||j
8 , . 0 !
8 E
E
8
D
8
[ F[ yjz}|}~F~Fj ~D)~ 6z ~F[{}

P4|[PM3_ ~Dj. 3j) ~<) \j[3}|[3p ~Dj
. $ 0 . 8 , . 0"0 !
~F{[{*}|[3Pj~DFK?4}|"}|[ !~2) ~ zp~D[}/|[3zp~D}i [jzpM~F"~ 9}|[.p ~Dj^~D}'
}|sPj`~D}p M~F
. $ 0
G . $ 0

D . $ 0!
P4|{jp[|[3}sPj`M~D p M~D^~F !Mz}|[}~D[~Fj zszp8zPj }[[P}M) D zp~Fi}[jzpM~D~

}6P~F
/ f h h ^~F3PDz}|^[jzpM~F , j83M}sF|[M^~F"?8P)~"zp~F [[*}|[ f h h }| 3}8
} t * z| sPj`~D]p M~D I,1&&<: '4<'!"xz jM: }/[}PM})7{
[ f h h& ~D[~ }|z"}sPj`M~DTp ~Dj|D j ) Mjzzp}`^{ ^~D!P u !~2)p
z}|[Pz-, [> [|[3[' }'N~F[z-!, |[ ` ~P(|[ f h h ^~D-}|[3s `~F}6P~F
A / <9:3 U 9 G%IFK9

@?4}|{jzs|[}~D[~Fj zszpp[}|sPj`~D p ~D^~F D{jz}|[~F[~Dj.zsz6.zPj3:8}
[P}M) F*z6~F}i [zp~F~P.p ~Dj > }j M6$z j :} [P}M) F*Q) }i [jzpM~F
bP ~`!{^ |[7) }zpM~Fa~ 8|[~? }|[PM!^~F 3~ } jM~FTp M~D P} ~D[sN) ?4"DF
! }|jP}|[$zp~F j~F[/~ Y}| zszp.|D*:} FzpM"~D[*~F[[[/b
) |jF*~!}j
.D PP T^ |-zFM 4@w~`~*zp~D!p<{) P}zpMN.PDz}|"zp~D!w~F[{4'^[jz
~D , . 0 NPD[P^~F }|[*[P/3 }*DP P *N|[ zp~D!j~F ) P ~F[[[
}~|[ F[Nz]j\ ) { , . 0 [ ~D*M~F "zp~F j~F[/pz|D! _6/!*
) [=~Fj6
}|:^jzp~D, . 03 ) N/) ~Fa}|[zp}}/*F[~P.|["~F[[[*~ }|["z6~F N~F/F
?46D |[*[[s |} }) }|*!|[~2) ~| ) "z6~F x~D[{s ?4}| ~D[}[s
sD|[^~D"? )
^ w) ) jZ) { D{jz|}~F~Fj zszps6-}|[zPTwP }sP}5) p j ?
?-|[> } jM~F7.jP) P3
) ?-|[ Fzpj ~zzps * z/ !~D) 64|~<?4[
O

P Dz}| zp~F j~F[{R}~.[~D)}*Mz/ z|[~{~M@?-|[/}|[R}~ }sPj`M~D~F[[[ P4|}PMs

zp~Fi}[jzpM~D~P >j s6j(~P(|[.^~F
. $ 0 8 , . 0 I!. 8 8 0!
P4|[ w~P*!D~ )6(^~F3D{jzs|[}~D[~Fj zszp{3~?8 ?4}P.}~"s `~F zp~Fjz6[}M *
zP M~*j {}/P [ !2~ )pe<?-|zs|"~?8~F ~F[C?4}.~} j~F .! n[ s/
?4 ["}|% ) [[M{. ? }~*|[3zp~D i}[jz6~F~ R}| { ['l ) j i}jzp~D~ }'
|Fzs|~ Y}|P*}'z6~F}Pj~D )[.}~ |[ `* [~DjsPj`~D[~ ~D! M[jM.~ Y|[
?4}P-|[*zszp yPzp~D )N?4# ,F~F}|[~*}/}'4}|jP3zp~F}PMj~F )~ : }FzpM"~D[ ?4}
jp['~<?4 ) }~*sPj`~D P4| P ) j i}jzp~D~ 9}|[.^~F
. $ 0 G . $ 0
D . $ 0 $

?-|[
. $ 0 8 , . 0 . 8 8 0 !

^ !j~} ^~D TP[ ~2)p8~ D{jz}|[~F[~Dj zsz6!~ P{Y) w{ M

~ }PDz}|j Ms P*}|jP [~D=}M[!~2)p ~5?4D4| ){~P*[~D!~zzp[^~D!|[
FMz|[~F[~Dj8zszpL?YD]j\ :) MPzp~D
A jA d 12K 6D 1E 9 K B<6IW18 9

~F~ }|zsPj`~D}p M~Fj8 .[~F-|[. ~M-"zs/F ?- }~ }[P/-}|[.j~}` }sP=

`M~Dj~ zzp ( Pz/Y}|jP|[ }sPj`M~D}p M~Fj^~DMz|[~F[~DjP) D{jz|}~F~Fj
zsz6s4|j.|[^~F,~ 9z6~F i}[zp~F ~De ) j i}[jz6~Fj-~ c{[w4~PRPzpP . $ 0 |Fzs|
~ R|[PM.PzpPYz "{z"j.}/[}PM} )! *M f h h&I^ ~F[- }[jM/jzp }|P f h h
jMj | F^5?4.|j OO [2~ )Ppb~P^}' {^*? b~D D} }6t
){~|[|j*!~D}
}| O OO [D~ )P ^ } ) ~ b^~D}*!|[3zp~D i}[jzpM~F"~F ) j i}[jz6~F~ 9}|[ . $ 0s?43z/
}/[}PM-}|3zszp{8"8~ 9}|[ f h h 6=?-|z| . zzp~F i}[jzp ) ~Fe ) j i}jzp} )
*z/9jzs|$ 2=54'46'&7" 46 =$%'4'&9#:;<4'& O F*
[ ~F8}|[ zp~D i}[jzpMF3} jM~F}p M~Fj ){P}zpMN )" j~P{}|[ zp~D )j3~ |[.^~F}
. $ 0 . 8 , . 0"0
^~F {jz}|[~F[~Dj8zszp ~D
. $ 0 8 , . 0 /. 8 8 0
^~F8D{jzs|[}~D[~Fj8zsz6sp=?-|} , -}sPj`M~D^[jzpM~F n^ -zPw3|~ ?-"|j -|[ ` 3~
}| f h h ^~D.PFz}| . !~3 z6~FjMs {eDzp}~D }D3}|jP}|[ f h h ^~F , e^ [FzpMz6
}|R
) wjzp a` $jF] \wzPN | wPzpp(`[ jP}MM~F[ )TsPj`~D }p M~Fj!~
}/[}PM8 zszp8} _}4[~! ~F f h h [E~ ){P4}|jPj[!sPj`~D ^[zp~F
[ ~F8}|[# ) j i}jzp3} j~F}pP~Fj )P}z6j )" N~P{}|[ zp~F )j3~ 9}|[.^~D}
. $ 0 8 , . 0 . 8 8 0 !

^ |.zFM|[ f h h ^~D [~DDj [)~ j~D zp~Dj {eFz6}~F- F.|j |[
f h h ^~F , .zp~D )jeFz6}~F8~ P}D?-|[ |[3N/-~ csP} FP {~ |[
M zszp ~*?4/F/}|}-- " )E) ~F9}Pz}|[{K_[.^~FY:z }[P/[*}6P~F
~ c}|4^~F} Nu
. $ 0 8 , . 0!
.M}|-. . $ 0 $ 0}~ [P . 0 ?4}|}| [}} ~D}| ^~D.-8

. $ 0s[~D}|[ ?4 8 zp~Djs)}~ N3_jR~28 { [

}|[/ 8 8zp~F}[){
~P^ ?- !^~F P[ M[ } j~Fa}p M~Fj|jDN/ )[ [) ~s,D"){FP[sPF ~P8}|
}/[}PMsP~F
* |" j ~F ) }sPj`M~D}p M~F ?4}| ~D[ f h h ^~DFz}|>sP} D P: !~
?8!~D}* :z.|j z6~FjM}}zp[ !~D[~ }|{z }sPj`M~D }6P~F3'"[~D3x*|[
jP$z}|[~ zp .~F[D}| f h h & )~[~F*jPzp~D! }~~" }DN/}}/.}~zp~F*[:~F
~ c}|[ . $ 0~ ~F[ f h h {!^~D}* }|[6 zp~D i}[jzpM~F~F ) j i}[jz6~FbF.P[[}~D[P}
[ *? f h h [E~ ){P. pj [ ){ ) }|.}/[}PMsP~F -|[ }|jP }'zp~D[ )|jF
`*P-M}}zp}[-[PP@|[-}~~D~ b|[p f h h ~F*{{*~D!-~Pb|[ f h h '.j ~F )
} j~FzP M~*MN )!|[8F~D}| @^~D@ 2~ )pwz}|[-z , [ Z )!}PDz}|j {s*Pj` .MM
zp~F 0

{*~ }|[- )PD4j)"{j~Pz.F/]w\ zP~FzP!w:}[)!$zp~F` )M*}|[8[}~D

~ zp~D![[}Fzs|j Ms6`jzp"PFz}|jPsP}zp~D![s M~Fj P*}|['|[P *~
~D)pz}|[Pz-,[[jMs 'Fz}|{3zp~F jP~Db[sz Nu G w. ~PR Pp{}[P/}*) *|[
f h h G . -0 * ?4| ~*zp~D![} f h h . 0(|j Y}}PMs(}|3 }@}Fz}|jP ^~F G
|["} jM~Fj}| } jM~F }6P~F ? * \ s z6~FjK{) *}|["[~F ~ ej\ ) [
}|~$ } D PFzs|j {3 - ~M~D[ ^}~F G 4P |8-~PY P@ P{"
D G 9 G . $ 0 !
*}|[ f h h G . 0R Z) . $ 0?48z/ zp~D![}8 f h h [PM[ D {jM^~F[
}| ~D zc~FN/s M~Fj8zp~F}PMj~F) ['}~ }|[ w~PF3:} [}P`~F
D . 0 G . 0 5 G . 0 . $ 0 !

v v

-

"!
. P4| }~_ jPM]\j-[~Ds M~FPN~P) zP}P-}|.:}{M}{~_ jPM]\wz M~F~PRFP
{ 8 0*yD* [}|[~*MsP}P4PFzs|j {3 - ~M ?4~'}/j- }/[}PM}):
E . 0 G . 0
D . 0 . $ 0 !

^ "F[/sej}|[ Ms P4}Fzs|j 3 - ~M
$#&%
('*)
D . 0
G . 0 5

"!
M}P}3}}PM}) {

('. 0
. $ 0! !

D~ } |j PFzs|/~ P *N ~ 8}| [}/ ~F~F[ yFjzp"}|['}~F[ N ~

P \jb ~F j~P ?Y*jM|jPF('*) D (' ~*^[}|[ P. *}PDz}|j {b~
}|M-~ @R}PDz| *MsP}P4 [}) . -0 ('. -0
P4|[ w~PF zp~D![s M~F>z w5?4)D\j) [I: "$4 -2&4 \E})"N~ {.~
^[jz6~F , 3~F D jz}||j +, . 0
^ ?4|$ ~F )["~DF[PpRP)
}| 'P% \E}[ )N~P[.[ ){.}|*~F ){b}| .}|F \E} )j~ [ ~ , P4|[-)9"<4 $4
+% 2&4N. ~FD~Fj ): \[ ) P4|^[jz6~Fj8}|jP ?Y ?4j{}P )! }3^[jzpM~Fj
^}~D ~P8 P~/s.~ Ms P *'z8Mjz}| ^[jzpM~D 29"'!%<4HA4"8$ !&#, *
?4j$ zp~D[ F8}|[ ~F ){[ wH?YMs-~ Ms P 8 [} )z/ } } j^~F}
,1&&<4 &8'! N!{P . 0 . 0 * jD`z!}3~ \E}[ )x~P[3}|[~D}".|j
~F[~D}~F{z.^[jzpM~Fj|D ?Yp ): \[ ):PD \E} ) x~P[8 )"FP PT \E} ) N~P
~Fj ).|[3[} )z/ }3s `^~F!/ "): \j[ ):{
-. 0 G 9 . $ 0 K !

^ ?4Y}}PM|[-MsP}-MsR f h h 6 |[@^jzp~D zP*j45?4 ) F(Mxz^ [3 _[jz6
~ 9~D z(~DN ~Dj~F f h h n^ "jP}Mz6
. . 0"0 . 0 G . 0
. 0 . $ 0!
5
~D}.|j
. . 0"0 . 0 ) D . 0 P4|pj [ }}PMs4~D[ }/:"}|PFz}| s
zp~D![s M~F P4|[> _ [/jzp~ 'MsP}> [ G . 0s D E
. 0 .
. 0"0z
zp~DD}DP4}~ }|[.PD \E}[ ):j~P-~ [ )-|[ 8z6~F{s[ {~D )/[ P4|4F \E} )
j~ [*: }jDzp |[*~P.PFz}| MsP}P F"!*4 '4 <46'& }| |[D~ )7~P3zp~D![[
}| f h h . 0R[}{[ }| \E} )*x~P[4 }jPP} )'zp~D![[ ) D . 0^~F . 0
P4|[ [} )z/ } } j^~F} 2~"|jD.*F} } \E}[ )j~ [8[ )/.M jzs`~F P4| \E} )
j~ [-'"~'x3~D[s ) ) }Pz64sP~F:sP}M!^}~D,}|[ M~PMs P
~F [[M \2}[ )j~ [s*~ [ ) zP}sPj`^~D} s `*P}
~ '^[Z )[ {s
{j~ zFM \xz M~Db8~ !-?4~D}}|?-| ~ }jP[}|[zp~F [[ ~Dj z6~F : }M~
}|{.[~F P4|[ )PzpsP~F |[D~ ){~ PjP ) zp~D![[
. . 0"0 . 08 )
z}|[P-z ,[ }|[. _ Dzp.~ . 0c ) ) D . 0"~F ){-}~ )}/}* ?-|[|[-$ \2}[ ) x~P[
|jDN/PFzs|[ ) P4|*!$zp~F : }{"~PYz|P-z , [' _ {D/jzpp}|.z6~FjMs ~DP
"}|[ ` P~ 9}|[ f h h }}PM[*|[^~FDp )w ) [ ~F"}| f h h {s M~F
~M~ R}|.zp~D![sP~Fjb w~D}4D~9{}~$zp~F [[M
. . 0"0 . 0 P4|[8 ~: }jj
~ c}|48zp~D![[
. 0 . $ "0 ! !

5
P4|P }jP!*~P8I9#:;<4'&<: 2"&5 =!*43z6~F [[sP~F * }|[~D[F|>}p M~Fj-[D~ )jzpz/
j zp~F [[ )j}|*[~F f h h D~F|[ ^~D.}}Mzp~F> Z ) w~~ P zp~F[PzpDPpx
jzs| ~F3 "zs/-}~ j NzR[[j~$F~D}| * ?4 ) }z6j}|F~FM}|[I
zp~F 8

FS r 68<XF6I<X>?CJWK~I18
^ ~D) /}~NM^~F }PDz}|j szp~F [[ M~Dj ~F}'"zs/("}Pz}| _ [:z) !% &4
$5#4 $%, 27: !%<46'&b{) [!~~F) /} f }|[/R
) {) }> 3~ ^ ) 4P |[pPz}|[ _[
~ ^ })zpP|[. ~Pb|[ f h h [}M}|8~ }@~F }| /PPszs|^~F{ .^

}|M-~ @sP}P@ ) D [-[~F- 0 ~Fj ).|[ -~PMs P E )}zpMw)" w~ D
E G 9 D . $ 0 !
y[N~M4|j ?4Y^~D"? )^}~D}|[ }~D*}|[Y szs|^~F{ D G *?Y-zp~D![}
9 . D G 0 . $ 0 !

P4|p )[ N-~P E D ._8 "~!jz ){*~D!$ } D 0 ^ ?43}| )E)
9}|[ Ms P@ D =?Y ?49~F[ E P4|p[}| }[[P}~F^~D E z/ "N3}5?-}F
E D 9 D . $ 0 $
?-|[ D }|[-^}~DM/ D G ^ *eFzp/F- :z4~*z}|[~{~M3 { D }P`^[ D G

}| ^)~D=?Y ?Y~F ) ,}~'zs|[~~ ~ }|jPs f h h }/[}PMsP~F
'D D ~F )/} f }|[/NP ) ){} )Pzpj F~FM}|[D ^~D.}| P4|[p3[}~{zp )[} s ,P
?~ f h h . -0$ ) . 0*D[[[$ ?4*?,|[PF ' )a z/ } H^
[E~ )zpP.D ~D[}[ f h h D . 08Mjz|}| . -0 . -0 D . 0 . 0 .e}|jP.6 . 0
Z ) D . 0c F^~D-}|[3MsP}P}|jP ?43zP}3PN~D[#0c )"z| |j -|[ f h h D . 0R4jj
'(|j *|[ f h h . 0 ^ 6 ?Y- - ^ [ }|[[} ~D!~Pj}|[ "{
)2) [~D(} ~[ sP}P([~D ^ *}|4: } 8 w~ ? ?4~F{K ) *}|[8 ] \wzP~F
D~F|[ ~ D . 0j }|[ zp~D!{/!-~P G F-}| /z *M
.`[}|.K ){PR}|['F~D}|1^~F$zp~F [[M}| M3~ -PFzs|jP" } 3!2~ ) ] \j )F
^~ ~?8 T[ // G N _ b~ G P4|[ M (' ) D ~P9 }4}PDz|jP. #$% ~F4^5?4}/j
P"
(' )
D (' 9 ' . $ 0 $
?-|[
' }| P"~ ` ^[ }|[M ('}p M ~7|[ zP}> P {T|[
zp~D! R~ (' D ~Dzp-}| Rj`[.^}~DM/( ] \wzP~F7 ){~Pb[~D(}PM !~D}
}[ (Y~ }|[ f h h }|*~FP-PFz}| sD~F|[ P}'Mzp~D![} ) %^ eFzp/
!~D}j D"z zp}PD"jzp |[ f h h .^~F }|[ ' w z6~F [[} ) P4|[ w~F}/
){ {sPF~ {^}~DMRR!] \wzP~F*|j RM / f h h b }jM )}|@p M~Dj[E~ )zp
zp~D![s M~F ^ .[FzpMzp^}~F{RMR` ] \wz M~F jj3P*P.`F] \wz/ NNjz6}PD
~F} j F$ )!F] \wzP[ zp~FjMsP4eDzp}~D )zp}PD.zp~D![sP~F!

/ 6818Z6YXF1E J=
{ [ j~F{$[}~D ?4}|}Fz}|jPs zp~F [[ M~Dj}|jP}|[{[*j~P*sP~F
[))}~7\j) \E})w~ [3 6N*:}j~F[{4 |[ [ N ~ zp~D!j~F.~ 8}| F
}/ * |j M})) }|~D) ^~F zp~D![[R\E})x~P[s z) '4 %<4 + $ 8# ) |j
zPH) FMz }){jzp |[{[j ~ sP~F![){) ' y P4|[Q) Pzp} M~D
D~F|[Izp~D![}P(}|4Fn\E} ) j~P@~P zp~D![[ . 0s E .
0s *.
0sz F[M
\E} ) N~P{--}Fzs|[) n^ } -_ jP[7) /x/[) -~F~F['}|jP|[[) zP}sPj`^~D}
E =?-|z| - /{
E . 0 G 9

.". $ 0 /9 . $ 0
'

. $ 0 I 0 $

~P}| .^~F} F [ |[#) w}zp.-}| |jF-N/Fz6)

. $ 0 9 ;. $ 0 . $ 0 I !

P4|[ f h h }[P/s M~F~P}|{-}6P~Fz/ "N zp~D![}) D
. $ 0 . $ 0 . $ 0 ! !
5

*3z}|@~DN M~D$ =<) t uN G )/[~F ) D N8}|[3 _ } ~ P4|[

[) z 3}sPj`^~D} E -_jR~
9
E . 0 G
. $ 0 !
f }/x }) _ jP[Ms [^}~D ?Y D}j>}PDz}| \E} ) N~P{ ?-|{zs| |[
} jz~M[}Y~ ? . Y}~ zp~F [[ E

. 0NPP|[(PFM\E} ) j~ [R~ H) }PzpM
4P |[ [ N-~P}/j ) ) ~ zp~D![} }|[%\E[} :) w~ { ?4}|| }|[~D) ~FP}|z
}|{[ x/-~ YM}j4) A) ?4}| ) }Pz64sP~F.MD}[ |[#) }/-~ |[ sP}3F [|
~F8}) zpA) ?-|["}}Mzp}) ~!PFz}|jP*Ms P0 ~F}[|[~?4D{}|jP|P[[}~Fzp|"'
j [sDzpz|[ f h h [/) ) }~ }/[}PM-}|} ) P} zp~F [[ M~Dj.jPzp~F 3}~~
F ^~D}}j p@| NPPs}~j"}|["[~D}' zD T[FzpMz6 ^ ~D[ :[} jMjzp
} M-_ j M[ |jD!N/7 ~F:z }|jPH) Pzp*sP~F ~DT~D :[} } p>`!{
:} P-z|F8zp~D[s
jA 1E1E 9

^ D P[ z|[z-, [ " ) ) }|~D) ^~DD^[^M[~FN/}P.~P8' l^ ~F[
zp~D:[} /[DP [9zs|[Pz-, _ }P) :j\ {3M~PsP}P }~.j8P{P (P) {) :j\ [
*/ G ~P pj ) sP}P6=?-|z|: } Ms P@|j -|[3zzp-Np[*D]j\ ) M|[~F{K) [~D-{} ^
8}|["j3]j\ :) |j
|[.{MYMs -.~F P0zp~Ds) +
8 c P4}PDz| ^~F z6~F{s[:) +j Z)
) G l) }i ~ [
8
(P M*}|[PM8zp~FZ) ~FjY 8 :z{^~FM|[~?4[|j (~F[8~ w}|8sP}Pb G }-PFzs|jP
4P |[":} Fzp ) j\ ~Fa~ ) j) ~FT|[zp~F}Pz6}[PzpM}M^~F*|[zszp{ [ ~F
FMz|[~F[~Djzszp{/ G *F|{G @j-|[89~ }9-?-|zp| 8|j PP ) z *~zzp 4P |-!|[~D)
zP~j j) }~zs|[Pz-
, ?-|[|[3 ?4~{jzs|[}~D[~Fzsz6s|jF _ D[.[[[~D[}[
j|j~D &^ |zD G .|[ M.~P4P~Fj8 P .~F )
) j . *G $ D 0 ?-|[ G P) D
3PFzs|sP}P-~ 9}|PwPzpMD zszp0 ?-|[}3|[3H?4~'zszp{ |D#) N/}{~D[}[s
^ F/]w\ zP~F !/}|[~D[) R}|jPjM-}|[/~F}/[}~PpP}|[[D P[ M{z[P)
{ ^~F ~D! [}~D[ ~FPz 4P |* j*jMjT [} j
) ~F ~ w~F!~
) }z6~FF/*}|[![DP [ { ["~ }|[ ' ) {s DP*~ j`[Qj\ } }" }|~D[) $|j
[D MP[ z j z6~FjM}}zp}
) }~F' Mz?4}|[~D[*P.}D~D P ~"w*!~D}
wPz]w\ zF( G j}|[ ~ .M$sP}P*~ $zszp{/-}|[ zp~F [["}|[ ~ MsP}P
)

'
'
}Fz}|jP^}~D G ^
Y(}| zP M}P \j_ { s ) 8?{ jzp
zp~D![} )NbPFM ~Q)/}[1?-|[|[|[ }|) _ { .* My\j) ^ 8|[ }|)
} _ !/ 3[~F$} M \j)w(}|[>}|['zszp{3 jzp~D}}zp*P) }|} )~P3[~F :}M ~
P }|jP8}P \j.9}|[3} _} Ds
T~D~Fj }: \j!/!~ z}|[-z , ?-|}|[/ Pa P }Fz}|jP?-|
jp[ zp~D![} )NP} ) ~ ?-M![Mb}|.zp~D![sP~F 4zp~D!{G /} 9 ~[@@j~`~
}/[}PM G F8 !{z ) j i}[zp~F~ c/s f h h 6j j~DF~Dj}~* }M~F[ )}sPj`M~D
}6P~F P4|3zP`F] \wz/ j )jz6}|*[*j.~ f h h E~ )[ ){ )~ }}PM G
Z )Y)~{P~F3zp~D!{zP}'z}|[P-z ,["} _} D P4|.}}PMsP~F~ G .F|[6{^
?-|[z|P-z , [ ^~F8|j PP )[-D{jzs|[}~D[~Fj zszp P4|*/ G z/ ~"N3}/[}PM} ){
zs ) j i}[jz6~F ~P f h h p[[*}|{*} _ P*zp~F [[M[ Q
) w[ M~P3}PDz}|j {
P^~D-PFzs|"~ |[ f h h 4jM )NjP ):-[~F8|[p^b^~D-Mz9 ~PMY P
^ ~D!zFMPpY|[~?4D-z6~F [[[>}|[ P!}Fz}|jP^}~F |[ }!}~~
[ :z{ [ ~D: } 9zp~Fj )*F/^ [zszp{*|j $zp~F{sj* $zp~F[{}/}|
jzp!/} )D}zpz ^ 4|[ zp~D[3 }~"}|[ *D[*>~P-|[ sP}P6
}|"zp~D![[ ?4R} _} @PD . 0c}/j *% )Pzpj.H?Y~*!/}|[D~ )[6 ?-|zs7| )~ [~F
~P sP - _j M[x^~D8N/ ) [ [" }|[ zp~D![s M~F~ c "D M [
P4|[ \sR }|[D~ ).~Pzp~D![[3P{FP ^~F sP}|[R}| ^~F ~F [[
{F/s }PDz}|j {s j[6b}|[$ ~P-Y } ^}~D G ?-|{zs|M~F }3G G z j
}Fz}|[ ) P4|{jp |[8/~Pbw }}|jPzP*}PDz}| pj ) .Ms ^ }|8zp~F
~ (}|[ }P \j} _} P ) 8 P4|["zzpzp~D}}zp Z ) ~D M~
}P \P|[R
\jsM } _ !/ ?-|zp|T _ {D/"}~ G P4|p|[t
) w}/jzp
j ?4/!^~F ?- )P )F.PFzs|jP" j[4}| 8}|[3} j~Fp ~D-}/F )N
Z )7}|}~PP~P G ) G }F? [w ) b( DsM"}PDz}|j sa j`!|F!jaM} ) )
{ [ ,~F ' (P ) z/ N *?4 ) F*D[ P M~D ~ PP !|[D~ )[^~D& \j ) [
_D{.Ms P@+ \j{*Ms 3 Dz|[ s Dy
^ ~F 8zDP6PD M [YzP*x8z6~F [[} )jz}| !~D} _ z , ?4|!F/s-PFz}| s
[|j ^~D"? )w(F.j~D}| }|D~ )[zp~D![} |['} !{FP 3 : }}}/!
: } {zp~F` )Yj`[*PFz}|jPs Pj`-}~D^*|j YF?Y~.K ){Mz {8z6~F[s|jF
}| [[ /~F[[[ N|~F P4|[ G *}|"*~P3MsP}P-?-|[|[ ?4~z6~F[{}
|j% ) w-~D[}[s ^ G -*[ ~F/|[ M}@?4Rw.} _} ):~ zp~F [[
G |zD
~?/ z jz6~F [[} ):D} _ z , "jzp
[ ~F8}|[ zp~F ) }|D~ ):^~F8MN ) [!|[*z6~F [[sP~F~ ({D P[s6[[~FMz6}| [~
' z zp~F [[ M~D ~P4{FP s3 )jM3zp~Dj}jzpM~F ~P@[DP [. i}. ?4~' )[.~
zp~DM{[[ * ?4~DQ
)Pzpw}|^~F ?-P )}Fz}|jPszD|}j[[ }|[3K ){P zPM~
j P[ ) }DsM*j`[}|[ )}t
)Pzpj )PN~P P4|[!.*3zs|[~{~ "M G ~
P3jz}|}|jP G G b}|}|[ M ~ } PFzs|jP^~F
G 3zp~D![} ) $^ G
z}|[~K?46e[|[
z/ "j3zp~F [[ )!^}~D

G !~D}% _vz ,I._ ^*?4}/s M~Fj%04|j z/
j z6~F [[} )^~F G .Mj
Yb ?-|z|>zFM
~?4Db|[ ) [~Dj
}|*zD - 9}| -8} _} ) ^~F8}G |[ ] \wz/ ~D}~ F~ |[}~D[F||j G *
}|{-K ){P}|[ ] \wz/ ~D~ D{jz}|[}~D[~FMsDvz ,zsz6 .MM*MPzp~D 0 ( }||j
[ |[PFz}|jPsMP z}|^}~DI}|[$ G ~P(Ms P .H?-|[|[ sDvz , [0s
?4 M G }~"}| .~PYx~}{ _ Pzp P~ }|[$Fz , P4|3`F] \wz/ j )jz6P
}|{[ NY~ (}/s M~FjPzpP} }~ }Fz}| \2}[ ) j~ [
s
e

- F
b[~F) /z6~F [[[ }p M~Fjj[}~2)jz6sN9 ^[)[P!/s~FjsP~F*' { {N~Pz

F/]w\ zP~F !/}|[~D[) 4P |zp~F ){P}zpMx|[4Pz}|[ _[P|j ?Y4jM@^~Dp ~Djw[~E)zp

zp~D![s M~Fj
a l0 1E9: WK=rKU>
~F` ) 8}|[3^~ ~?4[ }pP~Fj[~E)zp
. 0
5

. -0 . $ 0 !
"!
^ \ F[ ?48 MNPz f h h D~FM|[ #: 9& }|jP4jM^~F}'(}|Yzp~F [[ ~D: ~D[

jD}.~PF.|[ f h h . -08 Z) . $ 0 P4| N~FsP[sDzpzp jzp }|[ }p M~Fj
[~E)zp4zp~D![})A?4}|~F[8F/8zp~FjM}jzp['}|[ f h h ^~F
. 0 . $ 0 $
?-|zs|R~ ^}/e F P4|[-F`z@ )P.j|)|[8D~F|[ c~.j^~D}}|-[~F jzp~D=
i}[jz6~Fb:}zpb}|jP(F/}3 ?@ ?Y~F )[{ ) [2~ )@Pbp ) ?4}|' *6/!R~ ?4-j
^~F,#) ji}[zp~F P4|[ f h h . 0b-zp~F [[ ) ?4||[3z #: %&5 . . 0 $ . $ 0 $ 0
ux ,"' f h h F~D}| 6 #: 9&*TjMP*}PM zDz}|[ ?^ }| zFMPT|[
zDz}|[ }3~P}|[8^~F}
., $ 0 $
$ 0s?-|[
8*-~P( MPP8 ),&0: ) f h h ^
z|' "}@ }|[ zFz}|[Y!PPj@|j [~Dj-z}~ : %&* . , $ 0 $
0}}[ ) F
s-}PM
P4|[ D~F|[ F8[}PM{} ) )w ) ~ 8D}M[!~Fj w~F[.|[ f h h D M ~D"
)M[ &^ ~D[. {s M~Fbb |jF.N/~F[M )^~F }|[ zD1?-|[*}|[*[P/MsP}
Z)![: } .D PP- {}M )N?4}|zp~D}}j~F )*[}PMY ) [: }4MsP}8FP {
)isFzp{-}~ PDz}|~D}|[/
P4|['F~D}|[ ?-|{A?Y~F , [K?469>[sDzpzpA.`F}M[* . $ 0-.}PD~F >` ) 0
|jD : }j~F[/Mz6~F : }M!|[ ?4~Ds zD ~8~ |[ `}jP~F ?-|}3}|{8zp~D!: }{M
!~F )TP}z/F(?-|z|a}|[~F[[[ . 03!: }x~D[{T F |j |[[[s
. 08 ) . $ 0 &^ jz}|>`} ~DjpP!|[D~ )~ zp~F [[M[ . 0-jM3|jF*: }j~
[{9zp~F : }{M
P4|[3jFz}p M~Fj([E~ ){jzp8D~F|[ } _}4|j [ . $ 0N ~F[~P|z} j
~D }pP~Fbjz6~FjM[*~P9[ f h h& *. ?T'Pz6~F |[~?T~*zp~Dj}jzp| f h h ^~D
{jz}|[~F[~Dj )FMz|[~F[~Dj zszp ^~D}}j p^~D' { sFz6z8 }jP!P6(}|
f h h -F/}! F ~F )} jM~F}p M~Fj.z/ }~P )$ jzs| ~F zp~FjzsM[}5
/ ~Db[[[-|['z [~F-j.jM )A?4|"}|[3jD`z.}p M~Fj([E~ ){jzp-F~FM}|[ T^ }|.[: }
?~ [jMPzpM~Djp=?Y3|~ ? |~ ? }~ : }} ) }|[8jFzF~FM}|[I}~ z6~F [[}8}6P~F9[}2~ )jzp
^~F8jP}M~D[ )s `~Fp M~Dj
g
#: 9&* ., $ 0 $

$54@& ! '#: %$<0
!<: $5 0
!<: $5
,
!<: $5
4 0 4
,
46
$ 0(}|[3} zFz}|[
. , $ 0 $

w|[3}~DDP *~P1 ,
"N3|[3}~F"D M *~ - 0
!j3}|[3}~D[ ~8~ P )
G #: %&5 . ,4 6 G $ 0-4 6 G $
0
D #: %&5 . ,4 6 D $ 0-4 6 D $
0

. G $ D 0
f h h ^~D G D

"! !# 8 $@: $5J.% $ D $ G 0
f h h ^~D .% D 0. *& G 0'
(
j . , $ 0 $
$ 0(|[3}PM.z/Fz}|[

(
[ F} ( p M~Fj[}~D){jzp8D~F|[

a / <4 9 6Rd 12K J F=

[ ~F37) i}[jzpM{*jP}M~D[) sPj`~D }pP~FbR}|[ }6P~FY[}~2)jz63zp~F [[).~ -|[
^~F
. 0
. 0 . G . $ 0

D . $ 0 0 !
5

4P |*}p M~Fj8[}~2) jzp z/ w"zp~F [[3
) ?4}|~F[ F/*zp~Dj}jzpM[}|[ f h h ^~F*}|!^
} j~Fp ~D7) M}M[["}| } n_ j {]w\ z/ ~D~ /4}|&) }i [jzpM~Fj
. 0
. 0 G . $ 0

. 0 D . $ 0 !
5
5

"!

"!
P4|{jp ? P}*P*}~ )jz6|[*[~FI~ zp~D![[ . 0Y}~'~F[*~PYzp~F [[M[ MP

~ }pP~Fj-[~E{) jzps{~ [}pP6' f h h jz}| }D FMjzs|[~F[~Djzzps
zPw3FM \
) j[!| [P M~D}|jPI?4}|!~D[~ }|{z*} j~Fp ~D
a jA G# F6 d 1EK F J=
* |[`["zp~F}i jzp j ~F) } j~F}6P~F|[*}6P~F-}~D) jz63zp~F [[)
~P}| ^~D}
. 0
. 0 . G . $ 0

D . $ 0 0 !
. 0
5

4P |[.'7) :zp:zp~F [[M . 0 ?4|[~F[8[ ) [ }|[ zp~D}i [jzpM~F 4}|jP4:{} }/
_ j {]w\ zP~F ) ~{P([~DT) M}M[}.~Pczp~F}i jzp~D 4P | }|~D) P/!wp~ ?a~Pszp~D!}|
) :zpM
{ [Pz}|[ _ [ O D* 3jFM) ~D ?4~~Dj/}D M~Dj [ sMzzps3:[} |{{3~[zF9~
' { ~P8}|[ . $ 0 ?4 ) j) ~D~F'8N/~P.|[ D M P P)
yPz6~FN) }|[~D[F| :{} }/M_ jPM x\ z M~D<{) ~Pb[~Dn) [[~PF/(zp~D}i [jz6~Fb{M[^~F*F
zPj3!~PF
) ~F~P}|[ zp~Fw~P:{} }/ _ {]w\ zP~F|[7) ~'[~Fe) /N) ~D {"~
}|DP P-N6<_ j {]j\ ) * ?4Rs, ) D {sPF~P(|[PM~Dj/}D M~Dj"z6~F}i [zp[
}| . $ 0 ?4}| . -09~F[ -3 3 ) j[pPP7_ j {]w\ z/ ~D ~l_ j {^ ~F[YPFzs|
D MP'8K?-|["[~D[3~ |[3}'[ . $ 0) /x/) ~F 8
~Fj ) .|[3!~D) {~ zp~F[{}/e) P}z6N!) Pz6~F 8 ^ "}|{8zD
. 0 9;8 G 9;8 D 9;8 E . 0 . G . $ 0 D . $ 0 E . $ 0"0 !
yFjzp zp~D}i [jz6~F8zp~F [ M P
) D}~z M?4 zP}5?-}3}|{8F
. 0 9 8 G 9;8 D 9;8 E .". . 0 E . $ 0"0 D . $ 0"0 G . $ 0 !
. 0
4P |[*PFM~Fj^~F zp~F [[M|[ zp~D}i [jzpM~Fj |.j zp ~F ) ?4Yxzp~F *zPP3!~+
sP . ~D[) PN~PFRM[^~F*F z N* ~PF
) ~F[3~P8}|[ zp~Fw!~P-:{} }/
_ j {]w\ zP~F|[7{) ~![~D {) NZ:) ~DP"~ 9}|D MPPwp[<_ jPM \ ) - z/zp~F ) [!~
_ j M~F G . $ 0) ~{P4[~D ) /x/) ~F 8 D ~D8 E {}|{jp
. 0 9;8 G 9;8 D 9;8 E . . 0 E . $ 0"0 D . $ 0 G . $ 0 !
M

"!
yFjzp D . $ 0){~P4~F )j) ~F8 E =?4 z P[| z-, ~F ~F}3M 3 ?-[

. 0 9;8 G 9;8 D 9;8 E . . -0 E . $ 0"! D . $ 0"! G . $ 0 !!

*8z [~? zp~D![}-|[p M~Dj[}~2)jz6 _j M~D { }M[ ?4}| . 0(P) PFzs|
>zp~F*[|[ [}~Fj3}PM ?4| . $ 0 Z)?_ {^ [~D[3}|[' [}~D[
D MPP P4|{jp?Y4|jY} )zp ).}|[-}~F{/ ~ xzp~F [[M|[@^{}p M~FjN}~2)jzpR}~.~D[
~ cx/^~F[:!MP-~ YM /.}pP~Fj[E~ )zp"j ,$j ~FMz6|j 8}|} ) P}
}s-' )j ) j~F|~FD PP ) D M P
~? ?48zP!: }1?-| ?48zs|[~M-}|[8~F )M~PRzp~D i}[jz6sP{ _ ~D D * ?4|
}~'~F ){3}|[ . $ 08M~"}|jP|[DP P. z/ x _jPM \ )~F[ D.~{~F>F.j~`
Z )!}|[ FP {@ [P}3 )E) ) D4~+?4 D4x~}{ P4|c )Ps { zp4 )jzpc|[
{[w~PwFP {@}| (|[@[} ) f h h )j )~D )*|[zp-zP*FP M } ){jzp4|[
` 3~P(|[P f h h n^ }|{-jP}zp{P }jP!{}|[3D M P4 } )E) ) ~FP8
)w )/-~ 9}|[3~F )M!~P(|[ . $ 0 P4|{jp[|[.~F! ~D )M[^~D-}|[ . $ 0
){}[ )7|[~k
? _vz , }|[D PP z/ N _j {] \j )~F[ H[ ~F PFz}|a~ 3|[
D MPP? 8 {zp~Dj` )Y}|[8{[*j~ R}/}'c|j )j )*~F 8 9F ' } n )/x/ )~D 8 G
?-| }'T )/x/ ) ~F 8 D ) }/}' )j )!~D 8 E P4|{jp& 8 E 4|[3jP8zP ) )[P}.^~F8
D MP*}~ _ ^"~FPP P4|-: }j ?-|{A?4 z}|[~ }~ zp~D*[ . -0Y ) E . $ 0
}|H?Y~!}' |j )jZ )~F 8 E ND |[$ \j |[*z6~F [[sP~F yD* D . $ 0
?-Dz}|~/[: }-jPzPj. ?F-}|[3~D'[ },}|jPe )w ) ) ~D 8 D
P4|[*PN~PF3: } {F~P{ )"zp~D![[ |[3}p M~Fj[}2~ )jz64^~F ?-P )PFz}| s
szs| ~F [[MT}6P~F*}2~ )jzp^~F"jDvz ,?Y ) }Fz}|jPs PPszs|T _ {`*P
}~"|[^~D"? )}PDz}|j szD )PzpN ) PN~PF ~?/xjP )~ _j {^~F|[
[P MsP}"D PP ?-|x/^~F[}| }pP~Fj.}2~ )jzp/ ?47 _j {^ ~D[*}| [: }
D PP P4|{*zs|jP[F ' wPzp }|[ ~F 8~F )[~P8}|[ . $ 0 ?-|[j
zp~D i}[jzpM!jP}MM~F[ Pb~js "}|p ?4 zp~Dj` )/}|! D~ )~ zp~F3 P4|[
}6P~F[E~ ){jzp-}| ?4 ? {-}~'zp~F [[|F-}|[.^~F
. 0 9;8 G 9;8 D 9;8 E . 0 . G . $ 0 D . $ 0 E . $ 0"0 ! !

**?-|D
. 0 9;8 E 9;8 D 9;8 G .". . 0 G . $ 0"0 D . $ 0"0 E . $ "0 ! !
y. '0

yFjzpjFzzp~D ) [ }~ _j M~F E . $ 0 )~{P4[~D )/x/ ) ~F 8G ~D 8 D
. 0 9;8 E 9;8 D 9;8 G . . 0 G . $ 0"0 D . $ "0 ! E . $ 0 !!

yFjzp D . $ 0 ){~P4~F )j ) ~F 8 G =?43~F[
. -0 9;8 E 9;8 D 9 8 G . . 0 G . $ "0 ! D . $ "0 ! E . $ 0 !!

^ |j zpP }jP!j}|{[*j~PY[*?Ms *D PP 8 |[[} ) P} f h h
){NZ ){-~ |[3~F ){[ ~P}| . $ 0 ~*?4/F/[}|[ [*j~P(~P )sP} FP {
8 )/x/ )[@~D }|~D )M[[jP )@* ) !|[~D )/[P* _j M~F<
' ~F|j
}|{-~F )M! ) w4^~F,|[3~F[3 _ jP~F D
O

P4|[!|[~D)H)Pzpw) w~ D^~Fzp~D![[}|[p M~Dj$[}~2)jz6!^~F"}|!~D){~

zp~D[3zPN*D[ )}~ P}} zp~Di}[jz6*j ~D[) s `~F>}p M~F?4}|
sP}3D MPPpF4^~ ~<?8 4P |[3j8 z}|[~~$N[ ~D ~P O&$ $ D P4|
j} [sP~F ) }*[Pb}|[Y~F ) b-?-|{zs||[4 }M~Fj . $ 0 -zp~D[) n[ ~F9PFz}|
N3}|[ M-~ 9D PP +}|jP . $ 0) jZ[) 4~F Y ~
' !
' 6 )
D
P4|{jp
}|*/~PD PP3zp~F{s ): |j 3P} [~F zp~F{s[) ' ^~D.P #
F*|j v P4|[
}'j"?4MR
) i}~ j ) }|p[~D _j4~ P4|['}p M~Fj
[~E)zp4_j M~F zPj zp~D![} )"F
D . $ 0 5
. -0 G . $ 0 !
E . $ 0 D . $ 0 D
. $ "0 !
5
D . $ 0 D . $ 0 !
P4|[.~D)/[ |jD-`D]\wz j jDzp4~D|~ ? *|[ zp~F [[ ~D .D PPz/
j<_jPM \) ~F P4|{ wPzp|[ !~P8}|[ f h h 3zp~Dj}jz6}) )}|[ :zjzp~ -|[
F/]\wzP~Fa[}~{zp)[} P4|{jp3 N~D}sP }~z|[~~ zP}p^i}jM*D ?4}|}| f h h
D MP~D)M[ n^ [sDzpzp ?4 |j D^~F[Z )'4eMF }~ z6~F .[A?4}|~F )[L?-|{zs|
3F~{~2):P{
. 0
5
a j B<6DIr> VJ F F=zd 1EK 9

| M/ ?YQ)Pzpw)7|[~+?Izszp{:zp~F )Tw}/[}PM})7{ M!~P }sPj`M~D}6P~F
* 8M~j~ [)~F[9}|jP4z6~F{{
. $ 0sFPDz| {) j) [3~F :} FzpM~D[8FP {-
~D! ~ 8|[ ~FD}|[/ {}~~F[ f h h zP P{3M }}PMsP~F ~F*{{
jP}s-~ @s `~Fp M~D}|{C?4zP~"D]w\ zPxMMj) [|[ zp~F [[ M~D~
}6P~F[~E{) jzps
* }| |[ jMjFP {"~D) M[[
[ ~F j} P!9zp~F` ) }|["z/F ~ P T{ z6~F[{} T
}|{[*j-~P f h h ~E) [/) ) }~ }/[}PM-}|} j~F}pP~F [PP j~F}|
}|! ~F[~P|zP) ^ jP}M~D[a
) zFMP y[N~ . 0.[}[ ~F MsP}"M
~ 9}|z6~F[{} ~D![[ . 0 ?4|"}|[.^ jP}M~D[
) [} ~D}_ P f h h
~FwsP~Fp4PDz}|~ ?-|z||jD!zp~D!{ } M . 0s(^~F }~Ds zp~F :{} M ~P . E 0 { 7|[
~F|[Y|j w) ?4.8}|[. ~F~ }|z.}pP~Fb?48j^~D} ~F[ ~FjsP~F"~P9zp~F :{} M . 0
"}P [ M! ~ :eFz6}~F3~P ^ [FzpMzp ?4 zP ~ ^F "w
) [z6~F{{
9~ |[ f h h ^~D.P' / M}/ ?4}|~F[3F]w\ zPj zp}PD`[ |[{[ x/~P f h h
[~2) P@|[3} jM~F}6P~F
4P |[/!Mz/9}PMs4Pz6~Fj g P) ~ js *}|[ j[:j\ ~P}zp~F [ jP"
M~Dj 7^ }Mzp /^~F|[$| 2wjz}|['
, .Mzp~F gI 0sR}Pzp~D[ :eFz6}~F ~
{
F MN )[ P4|[ ^ : } 3|[~?84|[~? }Pz6~F{{ zP 3'i}~D4})jzpM~D

}|MjFz6))!^~D-}|[3} j~F}pP~FbwF ?469D `D]\wz .Mx/) [

$ +
m G#>?CF18r 6D6TE=

P4|[~D z|j ?4.jM.}~ MNPzs^ zszps@-[~Fw~`M~Dj9}/!j~Fw~D z~PR[sPjzs|[*

zT
) P u ~F ~D![s M~FbP}/<uN~D z g* +^ |~F z"PFz}| ~P.|[ jMjY^~F ?- ) ^!
~FwsP}~Ds.~ -[PP}/![~Ds4~FPzK.
)<:;&%<:: ~D #' 4 : S $&, #46, 48 ! 84 6
7 4 46, * Z) 4': 0- j8jl) }zp [Pzp){) " 2<4 = 46 % P4|jP}|Q_jPM \
zP p}|[/@w.P .^^~F-Rzp~D![s M~F"j |j0~D-P .^^~F~F 3zp~D![sP~F"jP}| 0 4P |j6
~D!*ez-P 7
u ~DN ~Fs3P} ,(7?-|z|?4|[~PK) 'sP}*[~F ) ) }| , |~ [) P
wN~P .e ~F 0~F*wN~}{ zp~F [[ ~D j |j4MsP}[3^}~D2}|jP4MsP}{ Z) S ,R
?-|zs|3?4Y|[~ ) >MsP} [}~PK{) ) |j }|["zp~F [[ M~D }|>z|}|jP+, |~ [) P
~D!3w~ -"}|[.^[[}3~F}|[3jP}|
[ ~F8:[} {["~F[8FM]w\ z M~F[~[zp) [} .z6~F{F{-}~ :} [}}-}|[*P u ~DN }~Ds
?4}| sYj |_ j {]j\ >} .~ }|[ ~FwsP}~Ds ?4| :{} M}{4 }| _ jPM]j\ s6
s, [ ) D s D~P3}|[ ) j N ?4[{/s}3PT
) :{} }/ _ {]w\ zP~F ~FjM*
_ [b ~D[#) P}z6[~D ~ 8|[ {>
} P) M' {z.~ P (u ?4 MNPzs^}|[ :{} }/
jP}| _ {]j\ ) }PzpM" ") }P Y}|[3[}Rj |R_ jPM \ s-D-{FzpMz3P[[}/ M~Fj
P 7
u ^~FF zp~Dj}jz6}) ^~F <4'&,-'! 2 &#28&$%'46'&8$`[w~~PP >zp~F[PzpM. )
}/!j~F8~DN }~Ds * |[/TF/^ [ zszp/4}|[M*~ P}~Dz}~Fw~M~Fj!M{z
_ jR~!|[*M ~PY } D PP~ c}|[$zszp T^ 8 P ~F*z3[}~DN~`~F [|[
}| ^~D}* 8*@}[.~P9zzp-Ms 9 ) ~F!R}|.Ms .D MP8*4|{D| '}|jP-
4P |[.^~F 9{"} ~P-P u ^~D}*F4 P" |[.^~ ~<?4[! ?Y~*}P
D}: }~Dz3[}~Dx~`~D#8 8^~F} $P u NP)
) ,
8 1,P) 0P}*P u ^~D}*F6x|[~' >* ,R, 0w ,R -<, 0 P
Nu G j.|[ Y~ bc P@~P9zsz6j Z) N }sPj`M~Dp ~D
* .[~?
) :\ [}|[Y/ PMz/~PNP !u ^~FRMjzs|8 2<43^}~F }|[Y R 3Dj\ }_ [jz6
~ Ms P *G D E jzs||j . $ D 04|[~P [) ^~F.D} 4P |[}~Fw*~G M~Fj8zp~D[[PzpMFP *
Z) 2|jF}|pj PP["~ [ M~D Z) ) j}i [zp~F 4P |[ ~D}|[/}~Fw~M~Fj
~FwsP}~Ds.zPjl{) :j\ [) } -~ |[PM 8}|[17 4 4, ~DN }~D ,3?4j}[
*sP} G P) ~F (|[}- }| G D ^}~D G jzs| }| ,4}[ D ,4|[
46':Y~FN/s ~F$ -<,0 ?4-j*}[>
8 Z) ~D}|[/}*:{} s3 jP}|

^}~D G Mjzs|}| 0 |[~P [) . ~D! Z) ,|[~ [) 8G ^~F ?-|{z6| 4P |[3~FN/s G ~FD
@jM!) ~:} [}}(}|[ '! ~P9~D!8[}~DNM*~ D4M! ,K?4N8}[.P- sP} G
(|[-j | G D : ^}~D G jzs| |j ,|[~P [) P-PFz}|Ms .~F"|[.jP}| n^ -,4}[8
<?48 |j }P \ P," Z) ?-M 4 , * 8 }|jP4}|8}/ } M j\ P1,! 4 ,
^~F MsP}P G * ?4( ) /M^:P u ^~F ,3?4|}|[$ 4 4 , ~ YMsP}P
}| 8 F, +, }[ * M~!jM|[.^~ ~?4["MFzpMz [} ~Dj ^~F3P u ^~D}{D
, * *-,I?-|zp|"! j4|j ,|[~ [) 8 9MjzzpP~D.Ms P4~ c}|[3z6[}8MsP}
., j-|[~P
) -D}I 4.MsP}0

46 , ?-|{zs| P j8}|jP^~F ~D! j |bb}|[/} }3 }*~D |[ }|

S , P ?-|zs|, |[~P )[ .,@2&$%$% #: |[.^[}}0
<S , * *-, ?-|{z6| PPj |j -^~F8D} }|[}|[3:}Ms8!Ms ~D}| }|P
?-|zs|, |[~P )[ ., 7 *'4'#: }|[.^[[}0
, ?-|z|! j-}|jP ^~D/F j |bw 8F [~D) ~F}|[3jP}|@
, |[~PK)
, * S *-
., |[~P )[ #' 4 : ~D["RjP}|j%0
, 0 * *0 * , *0 * * 0 ?-|zp|"!PPj-}|jP ^~DD}'j |b[}|[/}3:}{Ms
PR[}:\2} ~ b|[8j | Mjz| }| ?$0 |[~ )[Y Y}|[4FM8 }8~ }|[8[:\E} P) , |[~PK)
P.R~D}|[/.Ms P-~D[ }|}:\E}>.
, |[~ )[ 4': '
0 |[~ )[6b~D["RjP}|j%0
m / op6cWeG#U6Dq F=
~D)pczs|[Pz-,! |[}~F{/ ~ )/}[A?-|}|[/3! P u ^~D}* , .}[
sP} sPj`~DTF [| P4|}**[}~DFsP z/)|@ . |}[))>~D)p.|Pz-,F0
}| 8FM \ P |[3}[}|"~ @^~F}*{*!~D){pR j :z-F [|=^} }R}Pz}|[{K_[P
^ Y}|[ !~D{) p.[}) D" !s `~FDs |b|[ z6~F :}M~P8}|[ F~FM}|[1
[P 8}|[ /~ c}|[3F [|P:) }|[.[D}|~ 9}|^~F P4|[*F~FM}|[I _ eD
"[sDzpzp1 g ~?YF/{ ":} ~`~D }|3` .~P(|[8!~2) pw' ~{zzp@?-|['}|[3MsP}
} j~F DsP[| [} sFz6}.) ^}~F .zsz6FjP}Mz6 *N|[8zsz6zp~F{sj( P3}/ s
~F8~F|[- ~F} p s
^ |.zp~F ?}PM.* ~D) p9z}|[Pz-, ["D~FM|[^~DP u ?-|zp|"jP f h h 8F4s
}w}}PMsP~Fb ~D) /@~*F~P :) [} z [ sP[ }|[ }@~ R|[8!~D) 6
*
z}| $%+, "&<: '!L,1&#:8!8"!*<) 4P |[8F~D}| ) j\ [3) [~[z6) [.l }|jP(s, P
}|P u ^~D} }~j"z}|[Pz-, ) F.* F[ { R^ 3}[} f h h . 0.|j *[P
:} FzpM!|[~M3 }@~ 9}|.M[M} }|jP- ^ }|[8^~F} { 9zp~F[{}|[8~F}[[-~PYl
) jZ[) ~F}|M[M} jp[>z}|[Pz-, ) }|{ sP!/}!{z!}|7) }zp}`~D Np~?
4P |[' ~ 4M } [}
) f h h . -0R ) |[ }sPj`M~D}p M~F
.}[P/G }
) {|[ f h h . $ 0 F%) }zp}) PPG * F[ *}|jP -4'&<4 <:b|j
p(D}MsP}"|jF ~D!"Mjzzp}~D*Ms 4P |}[ ^~FsPj`~DT}6P~F~P8}|[!^~D}'
) Pzpw!) Pz6~F 8
* ) j\ [l ) jzpMp ~PD*}|[M}}zp}["~ *P u ^~D}*D z^ ,7 ~F*z
[~FN~`~D 8w|[l ., 0Y`!{ }| f h h 8 4P |[-) jz6 j(^~F@^~D} F4~ R|[
^~F ,( -<,0 j Z
) , }3P{ }'@~P(} ) 3[}~zp) }P
.sl ., 0"0 $

l
n-.sl ., 0 $ l . 00 0 $
0
l
l
.sl ., 0 0!
P4|[ ):\j{M~Fj~P-}|P[} ) *[}~zp){[}P } N6~? ~Dzp }|jP|[PM{}
) ![~[z6)[P.s,D!w~~ PP ^~D} F*F.|[p*P}F!{s6 ?-|l s,FP3P u
^~F*"Fs3 F[ { P4|[ z/F~ P u ^~F*F3~ Y}|[^~D}, 0~F>*-, !| ) )
j }|[$ )[P)F~D}|['^~F zp~F [[M[ j~~PP zp~D[[Pz6FP ?4}| f h h yFjz6 ,R
, 0 P) , zPT3j*?-}aj`[7 i} }|[ w~P~DN ~Fs64}|{ ):\~F ~
l zp~PF/s-YP u ^~F*F
D
l
. , 0
. -<,0
. , 0

l

P4|[.^~F* ,4}[.* P)~D c}|[.:}{s8jP}|^~F,|j 8MsP}^~D

?-|zs| |[*MPzp~FZ) Ms *~F}|[* }|>}P \P , yFjz6-?4*|j*D}M[!) |j 3}|*}sPj`M~D
}6P~F.}~Feb}|._ {D/.~ }|} Np[""MjzzpP~D.~ Y}|* ?-|zs|}P \j ,
P4|{jp=?Y&{) :j\ [ l
Mjz|"|j
l
. . 0"0
. 0 . $ 0 !
5

~F jP}*}|l):\~F ~P l
~ }|*}p M~Fj4}~2)jzp- |[l) \j~F~ (' ) D
yPz6~Fb' P4|[/TP} _} ":}zp[ }|jP \s'zDz6~F [[}|[ ~ MsP}P^}~D
?-|zs| sP}- zP!j8}PDz}|[)N<?-|3}|[8MPzp~FZ) zp~F [[P|[.MsP}P}|jP4z/ N8}PDz}|[)
^}~D Ms (' ^ '~F}| ?4~F )[pwl
jM^~F ~F[ ~ 93jFz-,?-P)!PFz}| s
szs|} ) ~ ^~F"? ) }PDz| sPPszs| P4|[ Pz}|[ _[P&){P}zpMN)Pz6~F ^~D
zp~D![["}pP~FjY[}2~ )jzp.zPN*jM )|[ . ~5?4DbD ) }z6j}M )>[PzpM~F 8
?43' ?4M|}~ j ) N/}{ }M~F~F )[ ^~F8}|^~F ?-P ) Z )jDvz ,?-P )PFz}| s
zp~D![s M~Fj ?-|"j`["z6~F i}[zp3j ~D[ 0
( z }|jP }|["^~F -< ,0 P |j |[: >zp~F [[ ~D jP[ |[
zp[}Ms ?-|{zs
| 0T}[M~F ^[[}> .P ) , }[$}|[MsP}P
[Pzp ) [ P4|4!PPj@|j Yp}|[/? 0*4}["}|[ zp[}sP}{~F , 4}[-"}|[3z6[}
P ) }|}*: }{jz/zpP}M~F ?-|zp| < ,0 3}} l^ ~D}|[/ ?Y~F )[pb.|[
PFM \2}[ ) j~ [-~P}|} ) zP}3} j^~F! ): \[ )
. . 0"0 . 0
. 0 . 0 l
. . -0"0 $
?-|[ ) P}-|[8~ }(}P`^[' 0$ ) ,FPwPzpMDpK s y P4|[8F~FM}|[ ^~D
l
n ?4~D- ,< \jZ ) [ }|PFM \E} )j~P~P4|[*PN~PF [} ) z } j^~F! P4|
\E} )j~ [3z/ j zp~F [[ )I?4}|p|[.|[ ) }Pz6} ~D ~D sP - _j M["!|[2~ )[
)Pzpw ) P M
P4|[^~D}* , sP}P*}| }|[: }{!zp~F [[ M~D NP[[?4}| |[z6[}
1?-|zp| ,! ~FI._[D M [M0R}[ P4|{( P c|j 1 ,!@}[4 |[8zp[}Y
Z ) , .}}>~D! Mjzzp}~D3 P4|3zp~FZ ) ~F .}|*F} } \E} )w~ 3~P4|[
[ ) z 3}sPj`^~D}
. . 0"0". 0
. 0 l . . 0"0 $
?-|[ .}| 3~ Ms P3}P`^[@
, l
zp~D![}P| \E}[ )N~ [/Np}|.{
) }zp4} ~D~F-sP - _j M[
^}/& ){}[|[' ~P }}| }P`^}|!^~F* ,(|["D~FM|[ zs|[P-z ,
?-|[|[ G - [-~P .e}|jP4p ?-|}|[/ * G . 0 . 0R4|[ f h h }[P/[K4 0
^ -p[}|"}|[ I y \jP ,
mjA SF18 6D99<G# 9:1D J9

: }<?3zp~Dj` )/4}|}~P!# $%$ ^ ' { zFMPp?4 .~F!{}P)"|[.z6~F}Pzp
[P-~F!e8zp~D![s M~F }| [ ~D-:} ?4 .^[ F{jz}|[~F[~Dj8zszp
?4}|"P P}?4-'-?4M| }~ zp~Dj` ) Y~F*|[~M.:}Pzp[M~Dj ?-|zs|!|[ }{ ){~PR[~F
'

F[~D}*~D[~P(s-}_[PM4[[s-^~F}/F P4|ew~P[~FN/}"z/ [[~D.j:}[P}M)7) }PzpM

P u ^ ~D )8}~'|j ) Mjzs|[~FN/}P ?4 *j8 ~E) ^"}|*/ PMz/~ -P ua`F|[M
!#7%$%$C!%&=$4694zP j.P" }sP}*^~F~ }|[-~FPz 4 j |!4 )!}~ j ! ?4}|
}jPzp(~ M(~PNe[P}zp~DjssbPDz}| zp~Djs(|[~ )[ ='4 #: 1& !4 ~D[*}|-j |
P4|[3jP}Q| _jPM \s@ P u^~F}*{DP}3}|"}PM}zp ) }~*e8j |j n^ }|[3 )8~
}|{3MPzp~D?4 )Pzpj*|[~?}~ 2~ ) ^}| F~D}|[ PN~P~ |jP ) e}[P3zp~FjM}[s
*D}M[! }|[.e[Pzp~Djss- P/{"*M~P4 P u^~F}*{D
D $: $ D
* ): \j**[*?[~[z6 )[!l ^~F zs|[P-z , P u ^~F} Fp M{~!|[ e"
[P!z6~FjM}s[s t * )~}|*
): \j{M~Fj!^~F**? [} ) P}"[}~{z6 )[P
l
bl n j )l
?-|zs|zp~D}Pj~FZ )}~ }| {}! )
3[}~zp )}P4jM ) }~ ): \j!l
~Fj ).|[^~D}{ , { e}[}.zp~Djss Y P4|[3^~F* P |j 8}|[/}
: }{s3"j | w [[/?4}| |[ z6[} sP}*3?-|zp| , |[~ )[3 ~F .^D M [M0 )
PDz}|:^~D}* |~ )[4D \j}p"~ ^ P4|[ M-~ cjz}|Ms P -}|[8P}DP ?4||[
^~ ~?4['F?~ [}~DNP
9~ 9}|MsP}P4 M^ ,([ Z )
8 ^~D8be}P}8zp~F}[ ' Z )9Ms P Y{}|[-* _[zp.~ c P4~
[D}|~F[ ~F3D}PP}^~F }~" }* }P`^[ ' jzs|}| } ~D |[
jP}|} M`^
,
^ F"~ M|[~?|j 8c}|[PM*zp~D ) ~Dj.|[~ )NNFz}| }|[$-}|j [{~PY
8 \jz6~F [[sP~F8jP}| ~D?-|z| , * ?8[.}[9 ) ^~D ?-|zs| F/}^~F
|[~PK )D \j}p ~P^} P4|{jpYl
?4 zp~F [[ }|[ FP P% \E} ) w~ {~ 8|[
[ ) z 3}sPj`^~D} 8 "
. . 0"0". -0 . 0 l
.sl
n-. . 0 $ . 0 l . ' 0 0"0 $
' 6
D
?-|[ -}|[ Ms4~PY }-} M`^ , )-|[e[P}8zp~Djs[ t P4|[ \E} ) x~P[
zP x/PjP} )T }|[ ' [[/"F!wp^~F P4|' ) wjzp":|j 'PFz}| M
}|* w~PF }[[P}~F/Fj )NbMF9[PM} ) \E} )j~P.zp~D![sP~Fj } )~FA._j` )
l
n-0
|[P-z ,[ ,T Z ) - , 0 [ )/ e}[Pzp~Djss` P4| M3~ 8-MsP}P
?-|zs| 3}|[ ~PM~F e.zp~D![sP~F
!
l . 46 0 !
P4|[^~F , }[[Z ) e}P}"zp~Djs[! } P ) ~FT*|[}
MjzzpP~DMsP} ~P jz}| }|jP }P \j , ) ' "}|[NP[[T~P$~F e
zp~D![s M~F }| P4|{jp[|[.^~F ,.[ ){@e[Pzp~Djss04 _F[-}~*|[
^~F* . , , 0 . ?4|[~F e[P. zp~F}[0 P4|}p^~D}?4# ): \[
l . . 0 0 l
. . 0 !<. -0"0 !
yF*P[3}|[^~F}*{ < , 0 .[ ){e[P zp~Djss0 _D{~ }|[ ^~D}*
- , I. 0 , 0 .H?4}|[~D[-e}[}.zp~Djss0 P4|[p^~F=?&
){: \j[
l n-. . 0 $ . 0 0 l
n . . 0 $ . -0 !. 0 0 !
D
?
v

$

P4|4MPzpM~D P zwPc^~FM^ [${jz}|[}~D[~F4zsz6s@`[*j~F|P u!~2)p

z}|[Pz-, [3P)}PDz}|j {s3Pj` * Yj *{3 [{[3!~2)pz}|Pz-, [ }~ .` 4N6[
zsz6 n( PFzs|j {s' j`4- [)"}~ ?Y~* ) )"jjzs|[ P-,'zszp{p ^ )
%|
@ d C 6IWK 68H
P4|[.{b6[ zp~Dj` ) /}!) "}|-zp~F"w^~D}'@}|}*e)2) }P- M|[ z3 !) ~FPz9~Fws
~Dj~F*~DjsP[) (M}~F) $}P}/J[\ 4P |[-zszpb9 D[ ) F/s`~D*~ j~D[ ) }zpMw)
PP*zp~D^jzp j w y [ F}
' |~ ?83"~[z-,t) PFsP ^~D3}|[ Np[ 4P |[
{[w~PYN M}.z wD M) N .}|{[w~PYN M}pb}|[/:} Pzp[M[
"j}jzpM~F}_ P zp[zs
eh ["}|[&\ s zp[zs ~ }|[3}jzpM~Db~DN ) . *}P ) ^}~F }|[* M} \ [~
|[.}jzpM~D~FwsP) }PM}
8eh [|[ Pzp~D ) zp[zs |[-}4~Pb|[~DN M~D!4zp~D![}*) P) M}~F) '}|[ j\ sM

w M}
8 ^ zpzP4}|[.|[}~D[F| % [|[3}PM -jF)"jH?4/"N3}P}/s
' ^ "}|[.FM.z6[z{}|[3P-L?-M}jFz, ~*}|[3}/ \
*|j4jz ){ ) : }[s.N8}/ s( }|{4Ds~F ~PRNp[.~P|[~+?T|[jM^~F Pjzp
~ Y|[3!2~ )p9zs|[P-z ,D ){j )[~D|[{[w8~ w}/ s ^ *}Pzszpw~FN/s M~Fj
?4~D )ez*w4jM^~F} )3NH?Y$~F 4~Pw}|[-js(~ wNY}P}/spD[[*~F@ }jP!
}s8 i}j8[}~Dj )[z|jP[F )
|Fzs|j}jz6~FMxz] \jP4}|*~D[sz6P )R){PM ~D}PM}P )|[~DjsP~F~!j
^~F ^ ' )E)M~Fb[|[.N6[ |jFY $4'<::x[[[-|j ( ) zP}P4|j Y}|[-j}jzpM~F({D )
Z ) |[~D ) x*F[~D} ) ~D}'Nz] \wz{b}|[!jM}jzp~D # )PMj M~DT *M|[~F{K )[~F
j3 wPz6} )R}|[ $4'<::x[[4}[ P4| $4 <::`FjRD|[F^~FY: } N8j ) }~ )z/ }
jM}jzp~D zDz}|[*} N}|[$`F ?Y~F )N$F} )"[MP}jzpM~D ^/sz}|[ ) ^}~D
' ~F} ^ ~F )-~ ~+? P ~*N.jM ) Np^~D}.|["P} Fz6}jK?-}"{}~*|[
}/ T \[ )[Ps z "N8^ )!^}~F }|[ ub ~D[}[-~F-^}~D,~F[3~P(|[3N. s-jDvz , ~
}| ubT~DN )*}/ s *-: }x/!/} )-?4}|".{[w~ bDs~Fj~ R}|-Np[ ?4}|
D [ js4~P( M} [ M} ?4 )|j A${[ N@~ 9N sPFP [P ) [*j4~
~FwsP~F
P4|[ jPz] \wz/ ~D~ 9}|.Np[.4 P u [ ~F8 zs!~P( }[[~`~Db ?4e \E} |[
{[w~PYF[/sc}PM} P Z )}|[*{[w8~ YN* s P b Z )I?4 F[
}| -}|.Np[# )~{P4~F{': }jzs`*^~F-~Fj M~Dj ^ '}|[3Dzp}RF/] \wzP~Fb?3j ) !~D}
zp~D!: }'zszps@?4| !~D}8~FwsP~Fj P4|.MNPz] \wz/ ~D|j ?48j )!zp~Dj`Ms4~ R ?Y~jP}s
P4|[% \jsM3wPz] \jP-}|jP|[l ){PM ~D }P}/[ )[ )zp~D}}zp P4| )}zpMw )
/-~ (^~D}{D~ 9}| ^~P~<?4[*^~F
* $4'<:: .". $%
! &#2 $%"! <&#2 0 9$ 8:;4 0 !
s
Read ports
Write port
Instruction inputs
Register file
Op2
Control
Op1
ALU
Pipe registers
Bypass circuitry
[ F}&' N6[$zszp{-{~z-,7) Ds
$% !
&#2 P) $% ! <&#2 }$ [} ~Dj ^~F-^~FD}|jP[P-|[3D[~P}| }|
*~ }| ?4 ~M~F[zp"~FwsP)[* Z) 9$ 8:;4 *^~F}*{|j *[P}|[ }| {*~P.|[
} ?-M}[~ }|}/ \[ P4|[~DF(^~D}{"Ms P s}|[*{wp[[~F3jp[
)Nb}||[ |.~P}|*}PM~P4|[*z6[}~DN M~D M|[~F{K)w|[:}zj5_~D.~
}| }|"s-~ |[3H?4~'~D[sz6~DN )
^ ~D ) }~": }[}P $%"! &#2 $% ! <&#2 )$ 8:;4 ?4 [) ?~ :}[}P`[}|[*D[
~F )!-~ c}P}/.M~F .*x /-~ czp[zs #!|[.^[}} yFjz6|[.~D~F)/}
*{M,|[ zszp{- [[[8[~D )}*b )`jzp }|[.[[s.zP[[~D. Nzp|[*MsP}
~ R|[. \3[M zpzP(}|[8^[}[ .MD}M[[ _j 0s{}|4z/ "j% )~F.j`[*|[
P u ~FwsP}~F P4| 4
9 ) $

'
?-|zs|?4P[[}/ D 9 ) 4}}PMs*}|["D[~P3 ~P3}/ TzpzPp

[~ ) ) D * z z}|[Pz-, |[ F[ [~D}|jP|[.[[s )~*[~F wPz6|[3}PM} \[
!jp^~D} zpzP 6Pj {M^["}|jP % ) P) 9 ) } _D{^~F
[ }~ 8 P4|-[4 *wp~ 5
? )~3[~F(jz ){.}|zs|[Pz-, (jzpPFMP(}|[8 P{* eDzp}~D
~ R ?~ ~*? $%
! &#2 46|[ E 9 ) G ~F E 9 ) D 2)j)*~FA?-|[/}|[|[ \j-M~F[zp
)2)}P O ~D P4| E Dzzp~D[^~F*|[ N6[ jzp @ zpzPp8|["D[P
zp[}M!wp[*zp~D![} )-?4R|jF.j1?-} Fz ,}~|[8}PM}n \[ P4|{jp?48~F[
$%
! &#2 . * $%
! << G E 9 ) G 0 I."$%
! << G E 9 ) D 0 !
$%
! << .|[ }|~P-|[ \s M~F[zp )E){}P [[[ P4|[*^~F ^~F-$% ! <&#2
~FD~Fj P4|[^~D}*!^~F-9$ 8:;4 3~* R: }zp[ ?Y*j }|*F[P }|[* M}
Ig
'
'
'
\[ zpzPA.M^ }|[~FN/s M~FT pz ~D!) 0P)?4pPz6!jD)T~D $4'<<[4|[

)PMjP~F )E)}}-}PM}$
9$ 8:;4 . * $4 << G 9 ) G 0.%$4'<< G 9 ) D 0!
4P |["~F|[ j *~ }|[wPz]w\ zP~F5) PzpN ?-|j |j Nj~}|[" s*[~D!jp[
?-} .~D~-|[*}P}/s ?-|[}|[ N6['0 <^ }Mzp /(}|[* |[~D )
[~Dj }/}") }|[ zp}}/-~DN ~D T[ ~D-:j} P!{^~F-}/
."$4'<:: * $4 << G 0 . E 9 ) D 9 ) D 0 !
~D}}|jPR4N/b~ zp~F !~D [^~D}*DpDjzs| Fb}|[^~D}*D 9 ) FP[NPPb}|[~F[D|=
~F|[ jPzs x\ z M~D &^ }|*:[} jM! ) Pzpw
) jp~?3N|[ ~ 8MsP}P. M^ [PFzs|
~ c}|[PM3^~F*F ?F8zp~F [[) ~F"~Fjz6P) |[}D)
* Yj^~D} ) ~M~PN|[:} x/!/sj[3jP}MM~F[) sPj`~D }pP~F*~.}}PM
}|-zsz6 [ ~F}|[Y~[z-,#) PFsP<?Y4M4|j R}|-zsz6n) Pzp~D!~j [s{}~8PzpP
* 4jM) }| {) Pzp~F j~M~F'F(.MsP}[3j~ [b^~F9[}P, [ }|[Y}sPj`M~D }6P~F*~.jP}s
y~D! ~ |[jP}pbMjz|F|[ M} [\ ?^~F

) }~ }_ }3 }D f h h ~![P$
?4*}~, }|[[}~'!~D}*Pzp * M~^~D[
) }|jP ?4 zp~D ) z6~F{ M~F *~ -|[*jP}s6
z|D ~M.~ }|[ b s6 ?4|[~FjzpPF}|{[*j.~ f h h [~D) _ })
?4#) ") }|-}~ ) PzpPFM.~P}|[) 4P |[ j\ ~) Pz6~F x~`~D |j ) |[.^~ ~?4[ Pz6P
zp~D}~Pb~D z
8 |[ j\ sM-b M}$
8 |[3~F}|-N3}/ s
' |[ j\ sM bu ~FN/s Z) }/
) jP)
8 |[ Pzp~D) bu ~FwsP
s ~D[3Pzp.^~F8PFz}|FsR}PM}
4P |[ ~F{) ["PN~P ?-D.~"|[~D) M[ jM:) ^~D.[}~{z6P} }|[ } jM~F p ~D T
* }|
}|{-~F ) M[j}|[.{[ NY~ D M P4} ) P}3}PMs-[D4:} zp) !) |[.{[*j-~
D MPP{ ~F}3|j A*[|[3}PM}C?4 ) }|
* .^~F[") }|jP|[ ` P-~ 9}| [} *
) .}s ?4}| |@~F ) MjzpPFM) ~F~F}~Dz ) [MPDz}|"}|{jp[P, [|[
} j~F}pP~F~!Pz6P ) K") [~F }PM |j!~ P[ }D3Ms *M f h h
}| ?4~F{K
) |jF*N/[Pzp}}P}/?4|"`[P'!~D[~ }|z f h h [}M|[ }sPj`M~D
}6P~F 4P |@4P!!w~Fs @w~ { ' { z/ ~Dj ~P [ f h h p }|[ [*j
~ R~E) 9!{}!) }8}s .[~D4|[\ j}PM#0(|j (4}|[ ` .~PR}|[8[~F2|j
zPw3|j ) )
^ }|[ f h h D MP ~F ) M}| ?4*jMN) b}| ~Fszp')E{) }P M}P} [PP}PM~
}|}~{~F 4P |[ s~PY}|[PM s }3[}MPF) 4P |[ ^~P~+?4") "D MPP ?-|{zs|
'F, 8[ |[ ) PMj M~D)E) P}Y|^8z}|jI.|@Y3z|j ~ 9M|^4}/ s}|jP- !) ~
|[~PK ) }|[e) jP~F:)E) P}^~D4P!~DN M~D!Mw|[-}PM~ b|[-~FwsP~F* ?-}!Fz,
'
~ }| M} \+0 e[ ~F PFz}|sPF|[*zs|jNMs [K?4}||[p^!~ ._[[[08 D

}|}! s8^~ ~?4) Q){PM ~D )2)}P}P}/ }[ zp~D! |[ H?Y~~Fzp~D)
|{^8}/ s6 ?4}|}|[6-{[PD) P4|[3~FwsP) M}p[F/[sR}P}/s8 )"N
}/ s6PD )NR P|[* )~ }|[*~D)/[ ' }/ s } P} [D)3?4}| ~M
`D] \wz j* z~PM!~}|["}~{~F*~P3}| f h h zp"}|*}PMs ' f h h ^~F*|[
~FwsP~F jM )
-!{~D[ )N ?Y: }j } ) ?4}|>{[*j8~ YF/s`~Dj.~ Y}|[ Np[-?4}|D [
{[ws~P- s M} ?4 )}| A$*x/s.~ N DP R ){[ws~P-~DN
M~Fj [ ~F PFz}|Ds~Db@?Y"zp~ Pzp ) ^~F P~F ~D7|[` P~P.|[ f h h [ ) ) ~
}/[}PM3}|[ } j~Fa}p M~Fa )>sP}'p9 ) ~D |[ ! } _ ) }~ )~}|[ F/] \
zP~F P4|[ ^~ ~<?4s {M|[~?8}|[ ~ 8D}~?-| }|[" P~P.|[ D M~Fj*PzpP3~
}|!s `~Fp ~DTD!^[jz6~F ~P8}|[* sP!/} P4|P sP}P3~ -D}~+?-}|?4^~F[ )
{ )[ 6[}~ \[P "~ -|[ f h h .e|}~DF '~ }|[*{[ N.~P-[2~ )P-Pbp )I?4}|PFzs|
D MP0 f zp~Dj` )/[ }|[3zszp 4~FwsP~F ) : } *[!|~ ? }|.[}~ \[P8z}|j [D )"F
}|-j }(FP )N<?Y ?48 8}~3: }FzpM$Fzz6~F[{(^~F(|[.M}jzp}}-~ }|[ f h h ([ ) )
}~ }/[}PM-}|sPj`~D}p M~F
zp~D}~Pb~D z
. ~F 0
w M}
!. A 0
~F %:A . % 0
ub~DN ) }/ s

PDz}|D[R}/
. A %~D 0
P4|[*~Fs{[w~P f h h [2~ )P[/ ) )"}~ [}{|[*} j~F p M~D F~?8 P M
?4}|PFzs|"j }- }jzp/[ ^~F ?-|zs|D}~?88 8*s ~P ~D 2 P4| ~D eFz6}~FP
jPzPj P: }[s )E){}P`[{88[ ) ) ?-|[ jzpPFMP ^}~D }~ P4|*[*j
~ jP}MM~Fj |[sPj`~D}pP~F jzp}F )7[ (?4}| - Z )H) ) [~D7 )jZ )7~F
A$ ~F P4|[*[*j8~ f h h [2~ )P PDz}|Pzp~P}|} j~F p M~D3?FM{z
j ?4/ O P ) OOD ~ Pz6!D3|j ) ~F} }| OO [E~ ){P P4|[1?-}| /P.~ -|[
N }PM}4P ) ub ~DN ) }PM}4D }1?4}| %)j )@~F"|[.: }Fzp~DN ~Dj P4|[
~FP ?4 j )I?@/}* )E) ~Db(M[[}FzpM~FbR Z )F?4M~D z4~DN M~Dj *T| |./x|[
zp~D}~ ~FPzF*
? ._~F 0}| N }P}/sP ) ub2~FN/s Z ) }P}/sD}*
? . 0s9 )
}|D[R se ) )~F8FP}A?4|
P~ ,@zPP(|[~?}|[ N~PD4N~D[ )[R~F f h h /P( )/ )N?8zp~Dj` )/(~F[wPz] \wz
: } }|sPj`~D p ~DT^~F*}|zp~D}}~P~D z P4|["~D}|[ Pzp~ 3|["}sPj`M~D
}6P~F^~D-}|[3wp ) ub ?43 j ):** ? P4|[ zp~F{}~ b~FPz zp~F`~
?~jP}s (}|[-~Dbzp2~ )8M|^-zs|j"P )|[ )PMj M~D )E)P}}P}/4M|^-z}|j |Dz|'|^
z}|j3j )}~~F}*^~F P~FaPN~FP ~DN M~D MY|[* !|j ...~w*j )
P4|[3~Fzp2~ ).e )p )!^~F-~D[*z6[z ?-|{*|[ ub~FN/s Z ): M}P}jp[*~ ) )Nw )
|[zp.}|~Dbzp2~ ) |{^ z}|je )Pzpj ) '}|[.^~ ~?4['}sPj`M~D}pP~F
D &#28!%&* &#2!%& !
G
D
6 G
&#2!%&5 |[ }| ~ -|[[[[ ~Fwzp2~ )R Z ) &#2!%& |[K.[: }3Ms !D ~
}|0 }| ~ G - |[*}/ jM)}~zp~F{}~ |[ ub *T}|}|!D D M ~D)M[Q)}zpMw)

w~PFR}|sPj`~D7p M~D}_}P ._~F 0 f h h [~E){P.}~[P P4|[ )PMj M~D

)2)}P@ -M|^-z}|j!4j)*}~ |[~ )!|[ )PMj M~D"}PM}YN/@b|[P{Y~
}|~DN M~D}PDz}|[P-}|[3Z)~ c}|[3N6[ P4|[}|[.FM.}P}/ |[ z|jM)~
zp~D}~ c}|[-?-MjDvz ,"{}~"|[*}P}/ \ P4|[*sPj`~D7p M~D }| %)}zpMwP|[ |^
z}|j
)
D D %$4 %$4 !
D

6 D 6 G
^ }|{*: }[}}`~Db %$4 G |[ }| {*~P.|[7 )jP~FT[[ f Pz ~P.|[ D MP
~F )MjM)Nb}|[ f h h ^~D.}|3}sPj`M~D}p M~Fzp~Dj`Ms~P % PzpM~Fj6~F^~D.PFzs|
$4 3}|[*/ ) ~P-PDz}| MPzpM~Db|[ f h h |jF . 0 ?4K ){}|b9`jzp }|[ D[ ~ $4 *jM
j
p w} ) :~F ){~z}|[P-z ,}|jPK$4 ) *zp~D}Pzp 7^ )2) ~FbYPFzs| *~ $4
^~D}D~F} N6^~F}jzp~D[}/[ |[zp~F}PMj ~FD ) [ ~P $4 ) D /jzp"}|[/?4 )}| ~
}| f h h . eFzp . 08F ?-|} P4|[ [*j3~P8FP {}|jP}|{3j ~P8}|[ f h h
)jZ )[~F.x~D[ ) ) { . % 0 ~F .}|eFz6}~F3~P4 ?Y~"Fzz6~F[{s ^~D zp[}3P )[: }
DP P%0sw ) |[jzp}|.}~Ds f h h ` . ~F 0 P4|[ zp~F i}[jzpM~D"~ R}| f h h
^~F8}| \s8P )MPzp~D ) j s- - f h h ~P / . ~F % ~F 0
* ~aM} ) )T|[ f h h !}/[}PM[|[D M~Fj" /s }|M \xz M~D )
jM )[~ \[P8}7~ )/}[3}|p.sP}P-~ D}~+?-}| yFjzp !~8~ |[M!$ )MjFzp3^~F8PFzs|
F/] \wzP~F(?F*j )zp~D![[> )}}PM[}|["D[~ 3|[ )PMj M~F }/ P
}|!Z ) ~P8}|['zp[}3~FwsP~F ?@'zp~Djzp{} } ) ~D }|[ ' {[ ) ) [|[
^~F P~F z [[} )}|[ f h h p ?-?4 }7~ )/}[*|[~?+}|[$` P.~ }|[ f h h
?4/} wPzp} )7{ ?4| }|[FP~F: sP!/} P4|{[*j!~P [E~ ){P$ |[Pj zpP
M f h h 4D}~?88F . % 0D~D %#A E . % 0 %:A . % 0 E A.e}|-F}~?-|sP} ?F
~Fs[ )j!|[3}P!3M{x ~ c j`.D4}|jP8 w~ D0 P4| P}F f h h @?3jzp~D[} )
|j )`F| }-}|jP OO [E~ ){P [M{z9 /PL? N~D[ O OO [2~ )P
* j^~D} )}|!P$ ){P}zpMx ) PN~PF j`[ P uT!D~ )6Yz|P-z ,F ?-M} ~M
}|% P )Pzp-~ ~ u ^ y D y P4|3Fzpj f h h P[ M~F}~D[[- } ?-M} )"P}
}~D[F|{z6~F j *}~'}|[*jDvz ,DPF )Pzpj ) f sFz6 ( Z )pY Z ) f }P ' P4|[ !2~ )p
z}|[P-z ,/ ?-F-}~F:y N ( YsP~F % [ D[} M|[~?8 |~ ? }|[ FM \xz M~D l )jZ )[
~F }|-j } A Z ) P4|(~FC.M Z )}|[8~F|[(~Ds!|@jPN0NjMP~D }z
~F"w~F}| }[P T{ Mjzs|{~D[|[3x~P[~D}pP~FjM| [wP -F8*}F|4[
?4}|~FN P4|[*^~ ~?4[ '|[~+?8.}|[ D[P.jM )^~D|[& \E} ) sP!/} }|[
}s

D

D A '

D
D '
P4|[ M]\wz M~F !&)~DjP} ) { |[!M! _}) ~zp~D![} |['sP}/s ^~D
}|*^~F*F ) E 6) P4|[}$ A jzs|^~FD |@Dz|z6~F [[sP~F~PY}|^~F
~PP4~F[$z9}~ #: %&*"^~F8PFz}|Pzp3~ |[3} jM~F}p M~F P4|[3M \xz M~D P
zPw Fzzp~D[{})!^~F8D^~P~<?8

Seconds
1024
512
256
128
64
32
16
1
Register width
Pipe stages
Number of registers
Number of operations
0.5
0.25
16
32
[ F[ Np[$zszp-M]\wz M~FM!P

{
64
8 jz6}PDP^}~D % }~ ) D ^~F'~F 4|["[ j!~P ) E z6~F [[sP~F

jzpPFMPN[ P4|@{[ Nb~PjPzpPx }|[} j~F }pP~F M~jzpPFMP[PP{
P):PDz}|z9}~C: "&bj}|[ /~ c}|[ }PM f h h jzp}F P M T^ ?4 ,F
|[ F}M[ [~F}|jP-}|[3M 3}~ )~' f h h ~FwsP~F"@[ -}|[ ` ~P(|[.P
f h h |[?41?4~D ) : }xzp3}|[PM!|[}/[PPjzpPFMP~[~E)zp z6[zD}~+?-}|
|[M] \wz M~F! P4|[ ~DNP8~ Y}|[ NPM \P^~F _j9}7~ M }|[~F[D| s )
^~D _ j-~ g }|}~FF| F P}"j~F}| D 8Q^ |[ F/[s8zDA?-|} sP[FP~PD
~F*}|jP'eDzp}~D.~ ?Y-?4~D ) : }jPzp.|[* *}~ D}~?2D . [~F 0N[[ ?Yl )~
[~D|D3[~FFQ
| ) s*}~'zp~D!p"j [MP} }|8zp~F i}zp}[
88 AIjzpPFMPpY}|["{[w*~ ) E zp~F [[ M~DjjzpPFMP[ )}|[`
~P4|[ f h h }PM[ ^}~D PDz|~DN M~D jz6}PDP[P M P4|P )[3j~ }[jPzp
_j ){s MzF~?-}|}|[./] \wzP~F! P4|[*~DN3~ 9}|wPT \4[3^~F A _jR~
g |[}~D[F| F 8
88 jzp}Fp|[*{[w.~ zp~D![sP~Fj3[ ){ )}~"DjP} Fz}|^~F}*{"~
|[.^~F}
) D 9 )
jzpPFMP!P M ) }|[>` :~P*|[ f h h [}2~ )jzp ) ?4}|{ }|[PMj:jz6}PD
[PP * |[/z6~F [[[
) E 9 ) ) D % ) $
|[ f h h e )[[ }| D ~Fj ~DF}~p
? _j )sPz T{ Ds ?43: }jPzp _ j )
z*F~?-}| }|*] \wzP~F>! P4| ~Db*~ 8|[*NPM \j.[!^~F _ jY}~ F
|[}~D[F| s '*
' ~?,|["] \wz/ ~D ) !D P-?4}| Q)/N )~DT}|jP}zp{P ~FwsP~F!j )
P4|[ {[w3~ E zp~D![sP~Fj# )~{P.[~F$z}|j [D P4|[ f h h .^~F3}|[' "
D}~? . E 0^~F'}|[~DN ~Dj ~D[ ) N~PD *?4~D ) |: }[[zp7 _j ) Mz
D}~?-}|"}|[3M] \wz M~F P4|[$`~Fb3~ c}|[3jP \j4[^~F _ jR}~ M|[}~D[F|
s g
^ @@!w~Fs {4~*[~F3}|jP@9zFMPp{}|[ ] \wzP~F 4F}~?4[ j~ ~F*"|[
{[w~P !%&, 2=& 4$"~ }|[PM : } zszp ~ {[~F* FM] \wz M~FTM!P ?"M~
)~zp[ } )>aP M1?4~D- , ' { }|*}PMP z|sK # j M N~ zPz}|[ _[P
|j ) ~F} ) F/] \wzP~F M!P3}|jP3F}~? M[[P M }|[*{[ N3~ $4 <4 $'~ -|[
[[ M9: }j~F[{"}|[3[*j-~PYzp~D!j~F
[ ~F zp~F j M~F ?Y~ s }|[3D] \wzP~F?4|*!~D[~ }|zs `~Fp M~D *T}|
8}P}/spw}|[ !~D[~ }|z*} jM~F p ~D _ { ) ~F|j gP OO O+f h h [2~ )P~
}/[}PMYzp~D!jP} )?4}|^*?4/*}|jP gP O E~ )j`[ }M~F[ )T}sPj`M~D p M~Db-
) w}/jzp.~PR!~D}.|j "H?Y~*~F ){s~ 9 PF}Z ) ^ " )2) ~Fbj}|.] \wz/ ~D ) )*[PP
~F )~ R' D} ){ ~FM * ~*~F}8}| Yzp~F [*jP}s~ sPj`~Dp M~D
zP}|F|3FM [~Fz*zp~D!{ }M e[ ~F8: } j}|[ }~F9*x/~P[2~ )P4|[
f h h (|j ([P|[-}P}/ \4 }|[8jP}M~D[ )!sPj`~D }pP~F! . ~F 0<?-|
}| f h h ^~D|[p8zp~D i}[jzpM~F|jD . E ~F 0[2~ )P
D

~D[) }sPj`M~D p M~Dj"z ~w)T~ M^ P}F/ Np[P }|jPT}|~

w~PF *F/]\j)a F _K?4 )N6[/?4}| D[ }PM}p b M}p8 )
~F~DN M~D P4|:} |)+' O s }3D M PP{M[! ~F|j O+DFEHG }PDz}|j {
Pp{ Z )|[D] \wz/ ~D }~{~ , |~F[Y Z) F *{[P~ 9 M -~F'y N ( YsP~F %
@ /
U68<X3 U 9

1E>?CFW6D9
P4|(MPzp~D* z[P{^~Fczp~F [[M.}|[9~ jPFzs|j {8MsP}Pb~ w}|- ^

Z) %| ]jz}|[ P-,
4P |[3zzps4~P(|[3 ^ jjz}| P- , PFzs|"zp~Dj`-~P(|[}/.zp~D}~PN[[[P) l)[Ps
jP}| ~ b sP!/}M C?4K{) }|A 4P |[e[) Ps }|*( ) !~PRA [[Y *) }|}A
*}PM} 4P |[*D MP ~F ) M ?YjM
) _ sP[) P) 3zp~D}~PY .~Fb[) Ps! }|
D MPP4}MD) P) ~F{) }) ~M"e`F]w\ z/ j4-~F F]w\ zPN- * 3z6~FjK{) })
?~l) w}/jP}M~D[8~ R}|-}sPj`M~Dp ~D 4P |j\ Y|j!) ~D[ f h h w4~PR
}[" A f h h 8PFzs|~ ` . A 0 T
* }|}|[*~D) M["jw) N}|[/} ?F.P{[~
| [*~PR[~2) P@wH?Y }|[PM f h h p~|[.~Fsb{[w~ R[~2) P ?YF . A E 0 4P |[ Pzp~D)
jP}M~D["}Pz6~F{) }|[3s4~P(Fzs| M} .`3MPzpM~D D ' 0PM! lf h h 4PFzs|
M ~P ` . A 0 p( Pzp~F3[a}|[j ~Dj) jzp7
) }|}~F *x/!~P f h h [~E{) P
[) !) ^~F-|[3}sPj`M~D p M~D^~F . A E 0}~ . A 0
4P |[ M )
) }~z6~F [[}}|[}PDz}|j {> P ?4| |[ ?~ }/[}PMsP~F
|~ ?8Y3` - }}K.MMTj\ D[} s 0 4P |[DsP[|"|~?84 M PI4 4<$3~ Pz6~F[) (~D
y[ s OD 4P |[ FM [~Fz8zp~F :{} }|[-^! }M~F[) zFMD}~?84D|[eD}/@|j
_ j) Mz/[?-| }|[$zp~F :{} ?4|}Pz6~F{{:-}~D[F|"[ 4P |.z6~F j PL?Yp
?4}||[! }_ ) { f }|[/N~F{) }
) ) } =?-|zs|F*?:} j~F[/M
?4}|/A
* M~) PFM"e`F{ x\ z w..}~'!~"e`D]w\ z w..~D) M[ 4P |{.) jzp)
}|~Fsb{[w~ R[~D{) Pc |[sPj`~D}6P~FK?4}| AjP}MM~Fj@^~F .!A E 09}~ .!A 0
) ["~|jP[ ~*?4D(| ) K) [~D wPzp*|[ M "}_ }) }~zp~D![} |["}PDz}|j {
P
* $~zp~Dj` ) /}) |[ %| +jjz}|[' , zsz6 D 4P | %| 2x/jz}|[' -, zzp.|jD D
[[[ ."$4'*4s !##274Y Z) + G }|}~FF| + E 0s F sP}.DP P .9!%& 4 G |[}~D[F|!%& 4
|[}~D[F| P) }|[~F[D| D DFD 08 Z) M ~F[[[s 4P |[ } jM~F ^[zp~F ^~F8PFzs|
~ cG }|[ !%& 4 D D sD P} FP G {${) NZ
) ~F$4 546 !##2748 ) !%& 4 ^~D 4P |[ }sPj`M~D
^[jz6~Fj^~D.PFz}|~PY}|[ ) /x/
) ~F$4'*46 !##2746 !%& 4 |[}~D[F|!%& 4 w )
?~ ~ |[" [[s 4P |[* .8}}~ c}|[ }sPj`M~D ^jzp~Dj ^~FG 8PDz}| 4P |j 6x|[
} j~FT^[zp~F$^~D*PFz}|~ }| P) ) j) ~F(.e|jF3$ 2<2J&*43~ 503:j} Dzp O
D MPP
f PzPj }|['` ~ 8|['[[w~F~ PFzs|}sPj`M~D7^[zp~F 'e(}|['zp~D}}j~F)
f h h 3zP j*PD` z6~FjM}}zp}) ^~F }i j w~F[ PD M ~D) M[ ~|[*j zpP
[N~D}s-^~F8PFzs|Ms *D P M|[~?}|jP.}| %| 2zsz63z N j [s*?4
) F D
zp~D! [z M[ j\ } [~F' ~D[8 }~F' ^~F(|[ !%& 4 G |[}~D[F|/!%& 4 Ms 4D M P6
ZN) N^~F3PFzs| ^~F O ~ DF ~F P[}~D Psz6~F{s[}|[
) FP { | Dz|~
}|P"P[}~D PsQ) /N
) ~F}|[>!%& 4 D PPp-M~ }s8~[*}|[~ D M P P

bPM_8p^8pM^ s j^/ MPsbDPMP-p_M_8MM

Yj6 8N_'p6 p^MP sb6 6
N_ 6 cp^M M (P_^ 6P(N^36p(6^PMM
D
Tenths of seconds
4096
2048
1024
512
256
128
64
32
16
3w TR partitions
3 TR partitions
4
16
32
64
128
Width
[ F} s ]\wzP~FM!P@^~D8 ^ zszp

'
}|!~F ~P8}|[ DP "~F )M M~[|[ Z) |[~D ) w{}MP) ?Y!) |[

~F )M D D D $ D D D $ $ G $ G !~D[4:}j s *T}| |@~F )M~ }|[ D M P6
}|P}DP f h h |jF F '[~E){Pp ?-|{zs|3 >DsPF*~P4P}8}|jP D+f h h [~E){P
j DP P4|!M *}PM*~ .)Tzp~D! [zP~F j ?}| D
}~F' ){P}zpMN )" w~PF
^ ^{ jP}MM~F[T )N8}|[M![Pzp}}P}a}~azp~F [[}|[PFzs|jP Ms P7 )~{P
[~D7 )j )azpMz/ ~DT}|~F ){[ ~P }|["[[ PP ~?YF/4}|~F )MTz/
j j~Fs . }~ }|['}sPj`M~DTp ~D "}Pzp~D[ ) * [|[ !##274 )
$4'*4@[[s8 -|[3}~F~ |[.~D )M[[w )"Fzp )}| [[s-[P -|[ ) |j
)jZ ) )~F*|[ P4|(~F )M' ){4j~`.~-}|}Yj ~F ~F[4^~D(}|[ !%& 4
D MPPp[~D[-^~F}|[ FP {- )!~D[-^~F}|[ D M P P4|[ f h h ^~D@|[8j ~F
|j ) D ' s ' Z ) D ss [2~ )PpbPjPzpMFp P4|!M *} _ ) ~ \j )}|!PFz}|jP MsP}P
~ c}|[ %|]wjz}|[' ,"zsz6 ?F O M zp~F ) . M ~D!y b ( Y M~D % 0 ?-|[
j:^ jP}M~D[ ) } j~Fa}p M~F P )Y' Pzp~D )[.^~F|[ }|[ jP}M~DazFM(
w )!~ 9[PP$eDzp}~D-~ D8

?
v
&
%

Z
{ [ Fbzp~ RF/^ [ Mj) )w)FMjzs|[~F[~Dj-zszp{c-z}|[Pz-,[*}| 4|[ zszp

|jD@[~ *"$ 9 | PP)c^~D}'7) :\ [) D43 }8 ?-|z|". } z sPj`~Dbj )
I?-|zs| [~D}|[8} j~FzPQ) *}|.~F[[[8} jM~F~ 9}|[3P} 4P |e) :j\ M~D~
|j P )[3zp~Psw~F| Ms Mz!P)Y{) jPz*|j ) l^ :PzzpR |j
) '}PM.
}|~D[}[~P}| * [ ~ z|jP[F$ ) |[}}[ }~*s-[}~Fj8 =?4}||[
}-}| 4 }4~ 9}|[ zsz6- '.|[8}sPj`M~D ) ~D}|[@'![~D
* 3zP"z|Pz-, ^~D
|j P )[ H?Y~M} [ /J?Y8zp~F [[4|[89~ RMsP}P|j |[8zszp{c ) s(~F[ {
zP}Fz}|^~FI* M~P(@sP}P 4P |I?Yz}|Pz-", }|jP-[~F[ ~ |[PMMsP}P-}PMs
|j P ) R[ Z) [ |[ }PDz}|j P }|! ~M zp~F [[ ~Dj:[} j`!~P8}|[
?~TM} ^ [sDzpzpzs|[Pz-, [ ^~D| PP[) jMj {) ~F[D:|[PFzs|jPsP}P"P}
zp~D![}) 4P |*!/}|[~D
) zP N D[ ) }~| ) I?4K{) DPM ~ }^M }~Fw}MP
~ D{jzs|[}~D[~Fj*zszpsK Fy 4P |["/~ 8PFzs|jP" }*z6~F [[}) j[ |[ !|[~2[)
) Pzpw!) Pz6~F7'
L opF 6D 0l6D1EFUzST9:7XF6D1EU

) j[ p}| z6~F}i [zpF~F ) j}i [zp
( Pz8|j 'FMjzs|[~F[~Dj zsz6s z aN"!~D{) p7
jP}M~D[) } j~F}6P~F 4P |[P'zp~D}}j~F
) }~"[~F8[P Z) P5
' {zpD}PMxzpF6 4P |[Y }`F{ x\ z j~) N/}jz6P }|[zp~F :{} M.~P) ~ [.PFz}| s
[j`[}|[*H?Y~"!~D) 6 ~FjK{) H?Y~"[jzp~D[
) }/ RP) ?4|?) }i ~ j
/s-~ }*DP P b Z) Nu j }|[$zp~F j~`M~D ~ Y|[P H?4~:}/ 6NP)
4P |9Y [[}z j} P![c|[pjjs ?-|j |jP[N ?-| z6~F1
[[M[!|[.PFz}|jP sP}P4~P~{~Mp"zp~F") }/ 4P |[ f h h . 0}/[}PM[*|[3M
~ 9}Fzs|j $sP}P4~P _ jb}~ . 0 . 0s=?-|[ . 0( |[ f h h }}PM[
}|PFz}| *MsP}P4~P jP) . 0( |[ f h h [}{[*|[3}PDz}|j $sP}P-~

[ ~F ` zsF9F}M[ !|j 3}| Ms . 0s
. 0 Z) . 0 {) NZ) 3~ ?-|[}|

P[*~F[~D=j}/Pp[ ' {zY jM) :z@?*}~~D)/4}| f h h FP

{ ~P(|[ zp~F [ )" "}|8zFM -}~*|jDR}|[3D MPP~P(~D[ zp~F j~F[{ .M
0[}Pz6 ) ~P-|[*D PP }|[*~D}|[ zp~D!j~D[{ P4|[}|![*j ~ f h h [~E){P
. 0 _j4~"}|['[ ~ 8|[ [D~ )P. . 03P ) . 0 ~*?4Db ~ ~F[
F[ [M~D|j {}/P [ P )![~D=}M[ / Pz4 8}|[ } .PFz}|jP sP}P6
}| /P.~ -|[ f h h .[}M}|{}! )P} Ms Ms3P} x~D}{
) w{ ^~D
}| ?~'' {z
uN . -0 . 0$ Z ) . 0 j|[ f h h *}[P/[ |[Ms P*}PDz|jP ~D
^*? M}j * 2 P ) @PjPz6Fpj [~D=jPp[>' {z yF M
. 0 . 0 Z ) . 08j }|[ f h h [PM[|[ MsP}P.}Fzs|j * ~D.^*?
j({ 2 ) PjPzpMFpj[}/P [ M PMz ^ *}|.zp~D i}[jz6 .[~D=
P[ 0 zD
. 0 . 0 . 0sRM~|[ ` ~ PFz}| . 043 _ ~|[
~ 9}| P4~ . 0YP ) . 0 i}j8D@^~F-}|M4~P}Fz}|jP* P n[ ~F-|[# ) j i}[zp
zDx!P~DjMs }PDz| P. ~ j.P )}|~zMs *~ .}PDz}|j {

#"j6[}|["|[.~zsP} ~ *j-wPFz}| 8!~ #"}/j /jzp
.
' . 0 ' . 0 E!

G
P4|{jp-{}/P [ ' Mz!}}~D){jzpP PP}M \xz z6~F}p M~DN/H?4/ }|[~z MsP}P
~ ) ( }|[ . -0 H^ TsFz6zp-}| . 0 F/[sa*jz}|T F |j |[
| ) ji}[zp
. 0 <f PzPj*~P8}|3wPzpsP)[P ) [} )| \j3}Fzs|j sPj` ?4
jP}M~D[ P :z-|j /?4|zp~D i}[jz63j ~F{
* zP ,F ) ji}[zp"j ~D[!~D}" :z* j !D~ ) \ ) [}P )}
| \jsM
szs|I.` f [ y=0b^~F-PFz}|jPs' [ Pb~ PPsz}|"}|.}PDz}|j { Ms P4~ 2I \jsM-zp~D![}
P@PFz}|jP3*s `~F ~P ?4Pc P4| z6~F [[} }|[ }@}Fz}|jP ^~F2|j
/{} j~F[~F ?4P P4| _j4~"}|[ ~F8}Fz}|jP" }'/(jzp
Z) .[jzp~D[ ) y sP}p"z6~F [[[~jz/ \2}[ ) x~P[s@^~D-}|[. ?4~*jP}s4~P(|[
|L? } ~DP |[ ] \wzczp~D}}6P~Ft
){P}zpMN )" j~P
^ F[/seb^~F "zszp ) ) ){}~ ~[~pzp~D[ )[zszp ?4 z6~F [[}*|[
}Fz}|jP Ms P~P {"}jPP} )zp~F [[M[!~jz \E} )"x~P[s ^~D.PDz}| [MY! ~Dj
\E} ) j~ [4}Fz}|[ ) P4| )P z "N3: }}/ ) )!~ *| szs|K?4}|P'[ N-~P6
[ ~F8: } Nz6~FjK ){.'z~ ) ?4}R| ':[zszp G |[}~D[F| .MM$ \F[ g 0 uN
j8}|[ ~PR D M P4~P { ) j8}|[8[~F'~ R}| y[zszp )
zp~D ! [z "}|[~F[D|T}|" }"D M P uN N |[ ~ FP {
}| 3P} )M/{ P4|[ *j"?4M< ) i}~ j.P )}|[6 [~F _ j(~ * z/
zp~Dj}jzp| z|{ ?-|}.|[8}~F DpRM4}|[ zszp}~ j s }~FD}|@?4}|
^~F ~F[* }/ E Z ) ^~F} }|[ ~F|[ P4|['Pzp~D )/Fp~P-|[!|{/s Gz|^}}|3{D
}|zszp~ |[ ) ) ?^ }|{ zD"!2~ ) ] \j ) [P ){}?
| \jsM MP z}|[}~zp ){
}jP}pR
\jZ ) [Y|[ } PFz}| } jM~Fj G D P ) E [{
& \E}[ ):w~ [4PFz}|[ ) - -PDz|"sP~Fr \j ) ['}|[ P PFzs|jP G D )~D[
{}jP}pR
\jZ ) [Y}|[ Ms P.}PDz}|j { s `~F
G Z ) D [ \E} )
j~ [ )!-}Fzs|[ )
'
'
'
C0
C1
C3
C2
[ F[ g T|} | z|!^~D ~D) ]\j)"[})| sz}|

control
part
control
part
control
part
data
part
1
...
data
part
w
data
part
1
...
data
part
w
completion tree
cell d
completion tree
cell 2
completion tree
cell 1
data
part
1
...
data
part
w
[ F[ yFz", zsz6-~jz-,7) DsP

L / < H<9:3 U r9<X12q
^ }|3jPz6~Fb ?Y*zp~D!jP} zp~Di}[jz6 )t) ji}jzp*jP}MM~F[)}sPj`M~D }6P~F
^~F3D^D{jzs|[}~D[~Fj zszp{.zp~Fj ) [ D{jz|}~F~Fj. Fz,Q) *}~
y P ~ ) }*[.}|D{!}~FMz w^~D}' jz6.~ 9}|[3D M~Fj-!/}|[~D[) e) }z6j}M)" N~P
?4"jM^~F} ) }Fz}|jPsPj`^~D MsFz-, ?4}|aFP}[) }| P) ?Y~F ) ?4 ) |=A
4P |@- :zY}~*M}{) !|[3FM [~Fz3zp~D!:{} ~ RM x\ z M~Db[D!|[~FF|K?4%) K ) [~F
z}|[Pz-*, ^~F|j P [) P !) z}|[z-, [jzpPFMP(}|[8M x\ z M~D"!c{ w~F[Y.eFzp~F4~Pb ?4~
[ F[ |[~+?8!~zv,) PF ~P3}|MsDzv, ^ zp~Dj`Ms!~P P}s ~P zp664PFzs|
zppczp~F`M~ "zp~D}~ 9jP}+) s j P
) zp~D!{/~F} 4P | [) : } ~ YPFzs|
zppczp~F`~ A M}~Ds D*p s zp~F M~D } zp~Dj`Ms.~ .!A 0. _6/!pjPFzs|
?4}| [[[ ^ 8wPzpMDpFzpD. A [[ _6/! Z) 8j") }~'`F ?-|[/(|[
~F F p!/s"3zppw|jF zp~F }) |[8zp[}{[) sPj`^ 4P |[8!~D) 6N|j ?YjM)
M~z) ) / }~D[ (^~D@|[ sDzv*, |j [~D) }*Mz/jM^~F ([jM| P!) j~F
~FwsP~F
4P |[8FP { ~F{) [ }|jP ?Y ) z j-[) /s~~2) }6P~F"~ \ F[ * -~D) )
Ig
} |DP P8"}zP[[ |[ \jD[}3^}~D,}~D~*N~D}}~DjP)N=?4}|{Fz}|"}~?3[{ z [{

^}~D D|*~6^ P4|p ?4 |j )7D M P^~F*|[zp~F}~ 8 }*~P3z6p \jsM}|["z6~F{}}~P
jP} ~ $zpp [:}sz ^} 3~ 3|[z6~F}~ j s6L?Y|j )z)[Ps } ^~D zp6
M~D }8FP { )/F)*^}~F2|[~M%)[PsjP}s P4|[
FM}4|}D~F MFP| Pc}~D F}|[|[-~D ?4)/ | ?Y}|}3-zp|[~F
~M4^~F)[Ps } A 'zpp .` )*}|[8D}M~jz )!z6~F ~F
}3D PP0
* ) )e ) )* )3~ j|~ ?>FM \xz M~D* 4D M) ?4}|'A^~FR}|}) w}/R!/}|[~D)[
eh i}[jzpM{*jP}M~D[j`[ D~ ) ] \j ) }P )}Q| \jsM PPszs| * zp~F*{ ) |[ }sP=
M~F}pP~Fj^~D3}|[ P}P.' ,[ Fz}|Z ) )j zp~F{}~ YjP}bPDz|~ }|[*=
) )j ~FsPF 6/!pR Z ) PFz}|>zp~D!M~F } 3}|*}~F/Fpe|[*| szs|{
jM )^~F~jz \E} )N~P zp~D![s M~Fzp~Dj`M} )~ }|[*{~F[ Z ) PDz|z6pYF
! |Fz}|>zpp ?-D[}~ ,~"}|[$zp~F{}~ jP}/|[*z6~F ~F} Z )}|[ )[Ps
jP} P4|[ )[Ps! } ?-F-^[}|[ [ ) ) ){}~" |sPszs|zp~Dj`M["~ !jPjzp )
jP}"} ?4}| =!. A-0 p
8 ~D i}[jzpM@ }M~F[ j`[8}|-}P!jP}MM~F[3~ }|[} j~F*p ~D FR N~P
*3j ) |[.^~ ~<?4!~D )M[ ~ |[3j s-~ 9}sPj`M~D p M~D
.M<0!|[3{ }~D[ .P-}|[3~F~P}|MsDz-,
.70!|[ zp~F{}~ RjP} )7)[Ps! }@^~F zpp ^~P~+?4 ) { }|z6~F}~ 9P )R)[Ps*j s
^~D.z6p jz
.Mz0!|[ zp~F M~D}^~D8zpp ^~ ~?Y )!{ }|[ zp~F ~D}^~D8zpp [sz )
. )0!|[3{ }~D[ .P-}|[3w~F}~F,~P}|MsDvz ,
8 ~D i}[jzpM j ~D[ `[}|"}P! j ~D[F w~ [ ?4}||[ z6~F{}}~P
P )<)[PsjP}s ?4}|Fz}|"zp6zp~D[ )'{}~ ~F[ f h h& P4|[ jM ) w~PF-4 D~ ) ] \j )
|[3~F{ ~DjL?
^ wzDP6<?4-jM )* R 81?-|z| PDz}| zppwzp~D )j4^j~D@/![eP )*}|[e )[Ps
!Fz}|'zpp=?F } } .`[ .!~D}-Pzp} )*(~PNR PpMjzs| F(|j [ zp6
!wz jzpPFM*}|[ ] \wz/ ~D!*F jz}|F eFzp~F.~P ^ }MP [
/ PMz/ . }|D~ ) 0 P )T[~F8j}MPpTM' {z .e!|[D~ )[ ) 0*j~D}| [E~ )zp )
: }FzpM }|[ M-~ c}PDz}|j $sP}P4^~F8}|MsDvz ,"zszp
* $~': }[jM! ) ?4t| ) j i}[jz6jP}MM~F[j`["MsP )[ )[} )+| \j3MP z}|
~?/L?Y ^~D[ ) }|jP"}| !/}|[2~ )?-D:^PD` ~D ^~D' : }jP!{ "h i}[jzpM{
jP}M~D[1?4| D~ ) ] \j )![P ){}l| \jsM4MP z|' Z )!zp~D i}[jz6 }M~F[1?4/}-N~D}| jzs|
~F}3 :z
F [| ~ w}|8PPszs|*!cDsMj(MsFz , ?4 )|^~D}|[-|[}Y!/}|[D~ )[|[~?-* \jD[}e M
yPPsz}| M!P.j[!/}|[D~ )[ ) D}*? *PN~D[ A E E P )#A D PjPz6Fp }|D~ )
$:D}~?-}| *~ Y}~D[F| A D E .`["}|{8!|[2~ )N ?Y-?4*P!~ \j )|[*}PDz}|j {
P.~ F ?4K ){ )[| MsDvz ," *[P~P. *~F>y N ( YsP~F %
P4|8zszp8|j ) M Mw~~P MsP}3D PP3 ) ~P O G PFz}|jP }
P4|[ f h h |[ }sPj`M~D}p M~Fa ~ zp~Dj {3~F[PP* /: }zp^~F3}|~
}/[}PM["|[ zp~F M~D } %[ ~F3j~F| {}M[ )~F=[}MP [/ PMz/pb
4096
4096
2048
2048
1024
1024
512
512
256
256
128
128
64
64
32
32
16
16
Conjunctive
Disj.+MBFS
Conj.+combined
4
1
4
1
[ F[ M yP z|M P MPzp~D)[^~F

Fz[, 4~P(D M~Fj ?4 )|jp?4}|
2
16
Abs.+conj.+comb.
Abs.+disj.+MBFS
Conj.+combined
[ D[} O yPPsz}|M P >Pz6~F)[-^~F

MsFz, ~P( D M~Fj ){[}|p=?4}|A
32
16
32
` j`~PR}|[ f h h c^~F-|[3zp~D!{/~F"}PY|[~+? }|jP4^~FA _ b~ j~ ?Y4~P

}|{[ NY~ [~2)P, .!A 0 j }P`^"|[3_ ~D3.~ \s-~D)/#0
, . A-0 , . A 0 !
* |[ , !: }}Z ) )7~ DP ~ A }|jP" [~D N~?4/s*~ ! M$ ~F[~D}~Dz
jzpPF^[jzpM~F R-}PMP}|[ N~PD4 _j M~F(M :zb~3|~ ?>}|jP , . A-0[ . A #0
[ ~F}|D[@~ A ?Y8zp~F` ) ) ~F@ }[jM p{ f h h ^~DPFz}|'zp~F M~D"}}/
} _ P@~D 'R{[w4~P([D~ ){P ~?YF/ ^~D@ F A*-F|4j3[PzpP}P} }~*M
}|z6~F ~F}P@~! ~F3}|jP~F f h h&
* M~! }[~D} ) |[~? }|[ szs|" .D )K?4}|"}|[# )/[}|"~ 9}|MsD-z ,I.MM \jD[} O 0
P4|[3{[w-~ cj4[ ) ) }~'zp~F [[.}|PFzs|jP* P4F~?8 _j ) Mz/ P4|[
P ?-|zp|'} _}8}|[8P}DP-{[*j4~P9j@~*}PDz}|" 3 P@A?-|z| }j`Dj
?4}|}| sDvz ,z6~F{}}~P } [~DMsP P4|p ?41?4 ~D~ ) }|[ _j )sPz szs|
)}|Fzs|[*z6~F{}}~P( } ~ YPFz}|z6p({ }Fzp3 D~ )p9|j ['~F: }}j
`Dj *jPsP}pTD] \j ) .jTFP !~P h : }z" ] \j> D 0|j
}|* }Fzp !D~ )6zp~D}Pzp7 ){P}zpMNP-}|[ : }}jRw|j ~D~P4|[*z6~F{}}~P( } *T|}|
}FzpM~Fb[|[{[ N~ j@ ) )$~ \jZ ) \E}[ )w~ [(c[P 4 P4|[3MP z}| P
F~?F E ^~De ) j i}[jz63jP}MM~F[ Z )F E ^~F zp~F i}[jzpM3jP}M M~F[
}|[~D[F| }|{7 , )T~P PjsFz6~Fz/ FP MT [~ D}|[ "zzp~ *D] \j/s!|j
: }z {[!/s Ms Pp-!:j [~F"[ F |[p^ ?-|[ jM )?4}| {N~Pz
F/] \j [ ~D: } P}|[YMP z| !^~D(MsFz ,N~ )/[}| ~F[ [~ D4~DPN~D[ O jsz6
?-|[}| PjsFz6 2~ )p~P-}| zp~D}~ Yj .3j ) P4|[! Nzp jM}sDzp~D ~F |[ szs|
)}| P: }zp[M~F"}~ }|-}
P4|[' }{[ /~P}|MsP}*M f h h -jzp~D[} )7)[M }|[ MP z|[- }$|[~?-"
\jD[}P F ) /8 P4|[ sP} @D}~? `F|[MeD}/@|j [ A?4|A?4 )}|I.e[}~Dj { )[
}~'}|[ zp~D!{/~F}P0 P4|[/F~? P[[~ }{' pQ
_j ){s Mz3?4?
| )/[}|/?-|[?4*
}|PjsDzp D~ )pR~P(|[ zp~F{}~ RjP}8~ Fz}|zpp

LjA 4<9:VF6DHopJ18W W9:

8 [~D}|[/.:} ?Y*zp~Dj` )/})|[*FM]\wz M~F~ D{jz}|[}~D[~Fzszp^~D.jM[[
}j:} zj` Fz/zpP}8}~ | }) P~D[szp 4P |3zsz6 3M~Q) [*~ }M( cg Fy
P4|[$zszp zp~F`~ Y*['~ 13zpp @| Dz|zpp9zp~D! [z P ?4|8~ |[3}PM~F[zp
Z) ?4}|sp^3P) MF|[.pF|{N~F |[*[ [j j} zj~F .jM[}
) |j [
`[P p~, |j ..jF
) ~F[) }|[*M zpp j3|jF }|*}~, /x6^~F}*DsP[[
Fz/zpP}R}~.sjM 4P |e) }M[[}) [}jw:j} zs`~F'zszp{RP!:} -~ P D{jz|}~F~Fj
zsz6 ?4}|zp~F :
} z6~F{}}~P9 ") [~ [) Ps*j |
4P |[.D M 3~F ) [-?Y!) |!) |[.D MPP@^~FYPFz}|:zppwF}~D[b*) }~DF|[ 4P | j\ sM
D MPP |[3~F ) ?4/}3}|[~.^~F zpp j ") }|[.FM ?Y}3}|~.^~D.zp6
* }Z) ) |[~? |[3zp~D!:{} M!~P(PFz}|jPs' [D A) ?4}|4^~F83FP!~P9zpp
~D) pP
) MP z|"Pz}|[ _ [P
* zp~F*[:) |[3} j
eh }i [jzpM{3j ~D["j`[ ~D) ]j\ ") [}) | \ s szs|
M~Dp ~Dj ^~F8}| P ', [ [PDz}|) ) j@zppej~ }|[3{[*j-~ 6/!
|[.jP}M~D[1?-F_ jw}~ }|[ [*j~ 9zpp 4P |[8|sPszs|*) ^~D@~z\E} )
'O
Nodes
Nodes
32768
32768
16384
16384
8192
8192
4096
4096
2048
2048
1024
1024
Conjunctive
Disj.+MBFS
512
256
1
512
16
32
Width
256
1
Conj.+combined
Abs.+conj.+comb.
Abs.+disj.+MBFS
2
16
32
Depth
[ F[ D 1ys M f h h /P ^~F [ D[} / 1ys M f h h ` P ^~F

Fz[, 4~P(D M~Fj ?4 )|jp?4}|
MsFz, ~P(D M~Fj ){[}|p=?4}|A
j~ [ zp~D![sP~F?F3~F[[) {}/x }) }M |[ 3~P zpp | P4|[
zp6-}|jP ? zp~F[Pzp}') }|[ zsz6 ?4D}~D[N) ~FF/}|[4}|[3| szs|{
8 ~D}i [jzpM@ }M~F[ ?4}| }|[ j\ - z6pRzp~D[) .) |[(Dz6p{FR-/j }
jP} ~ }|sPj`~D p ~D
* p^ }|["F:zpp sP}NPzPj"{}}~2) jz6P
zp~Djss4N/H?4/"~D!3~ 9}|DP P -}|~F Z) j~F}~F ~ |[ f h h D MP
~D) M[ 4P |[Fczpp=?F}~zpP}M) j\ sM ^~P~<?Y.) 3|[-zp~D[) F}~D[*~ z6p
8eh }i [jzpM{3j ~D[F4"} [[[-j[" jM}Fzp8!~D{) pR~ 9}|[ zp6
' ~D}i [jzpM }M~F[F@ j[[-`["PPjsDzp ~2) pb~P}|z6p
^ zFMPp7?4*jM) sP} M.~ Ms PpbPDz}|?4}|}|[*~, >+) w{3zpp
^ }MP [$' {z . }|[~D) ) 0P!) [~D=}M[*M' z . }|~D[) ) ' 0
j~F|}~2) jzp ) :j} Dzp |[3 3-~PR}PDz| }@^~F-}|%) [[) [}jR:} zj`~F
zsz6
FsP[|T~P3}|MP z|M Pj{[*j*~P zpp$^~D*}|["D M~Fj! |[~D[) |~?-
j\ D[} DHh j}i [zp{ }M~F[ ?4}| ~D) ]j\
) [}) | j\ 'PPszs|TPT
) z6~F}i [zp
jP}M~D[(?4/}P }~FF| zp~D!jPsP ?4}| |[^~F!/!|j[a ~?4/ D{![~FMz
zp~D!:{} M 4P |3zp~DsFMs ?4| |[*MsFz
, j} P!?-|[|[ zp~F [) zp~D}i [jz6*j
~D[K?-F-eF 4P |%) w}/jzp}~F wPzPj }|[$zp~F :{} M"~ c}|[$sDzv, s
[) Ps }| ?-|3}|[ zp~F :{} *~Pb|[.}jN j} zj~Fzszp{T) [8}~$zp~F{}~ wsP}|[/@|j
[) Ps 4P |['FM x\ z M~DTM P.^~F|[!^~D[*!/}|[~D[) 3F~? F>*}~}|['N~?~P D 8 8
Z) D w}PMxzpp 4P |[* FPMj jM}Fzp) zszp.|j ?4 :} *
) |j) s zp66 D s
j~~PP DP P6NP!) ~P +O D PFz}|jP sP}P ^ 4}~{~', `F|!P}}|jP O *{[P
~ M 3~F!y N ( YMsP~F }~lj\ ) |[3}PDz|jP*Ms P
'
%
Seconds
16384
Disj.+MBFS
Conjunctive
Abs.+disj.+MBFS
Abs.+conj.
8192
4096
2048
1024
512
256
128
64
32
16
16
32
Cells
[ F} / h Q|Tzszp8FM \xz M~D P
'
Nodes
65536
32768
16384
8192
4096
2048
1024
512
256
128
Conjunctive
Abs.+conj.
Disj.+MBFS
Abs.+Disj.+MBFS
64
32
16
32
Cells
[ D[} ' -ysP}*M f h h ` ^~D h Q| zszp{

P4|[8}~Fw{[w(~ f h h [~E){P([))}~3}}PM}|[8} jM~F"}pP~F D}*?P M
@ zDP P4|[*'{} *[ sP} M f h h ` P.P} M|[~?-Q\jD[} ' ^ |[ zFM*~
}|"zp~Fi}[jzpM'!|[~D[) 6(}|[PM f h h 3F~? [}~}' }6>zp[{zs{ ?-|/?4}|b) ji}[zp
jP}M~D[
) f [ yj{}|[3F~?-}| -}){jzp) }~[PP

-

E

-
*@| F) }zpMw) f h h ^jD) F~D}|[ ^~D@P u !~2) pz}|[z-, [ ?4|e[P}9zp~FjM}[s
4P |[ ~ 8 ~D) ]j\ ) [P{) }|Yj\ $PPszs| ^~D}Fz}|jPsPj`|F~N/?{) P}zpMNN)
F ?469D |[* ) D {sPFP-~ *?4[ PFz}|jPs: j`3F8*!|[~D:) ^~D.z6~FjM}}zp[' )
z}|[Pz-, [*{D MP[s b~P(|[P3 }|~D[) - . ) 3D]w\ zPxM !~D}."z-'}|[.3~
jP}M~D[
) } jM~F p ~Dj * |j zM}) ) }|[$F{ [}~Dz*zp~F :{} ~
F/^ [ N~D}|{jzs|[}~D[~FP
) D{jz|}~F~Fj8zszp{ n^ 9zFMPp[|[3FM x\ z M~D ^~D
'
}|P zsz6s-F}5?D '9x~P[~D(|[3*x/-~ Yzzp8zp~F j~F[/

P@?4~"~ }|[ )M[D|[^P [}~ ~F[./]\wzP~F |[~D)[.P} }|[*jM*~ }sPj`M~D
}6P~F* )}|[ P!~D[[.~P-D )[ jz6 }|[*3[~ )P.}~"|[!D]\j/ P4|[PM^P [}P3P}
) }z6j}M ): ~F# )sRNp~?
T1E 9:K ;B<6cW1D 9

{ []\wz/ ~D !/}|[~2)[(j }p M~Fj4~&){P}zpMN8|[~? zszp4zP!s `~F"^}~D2~F[3MsP}
}~' ~F}|
* zp~Fj )})j~F| ~F[~P|z}sPj`M~D}pP~Fj .H?-|zs| 3}[P/}) {
`[P f h h 0 ) }M~F[) sPj`~DT}6P~F . ~F} }| ~F[ f h h 0 [ ~F#)}*Mz
'pb}|.{^~F}' M~F z/ x }/[}PM}) j[} jM~F ^[jzpM~F Pz6}~F}) <^
}|{3!/}|[~DN) 9Mj f h h 3j
) ^~DPDz}| f ~{~ PP } P {'~ 8}| M[M} P4|
f h h [P}|[ ^[jzpM~Dazp~F [[) { |["zp~DjP~Fj~D zR) M [}|[:F}M~jz )
z| ~F{) } #4C<:# O ) P}z6j {[w.~ F~FM}|['^~F3' [P[}sPj`M~D
^[jz6~Fj
{ 4|[PM}|} !|[~D[) ~PY}[P/["} jM~Fj-.} j~F ^jzp~Dj3 ) ~F[~P|z
Z) jP}MM~F[) } j~F}6P~F0s ?Ywp/ j ~D[) }sPj`M~D}p M~F jj
P.|[*jP.w^~D}' jz6 3 !~D[~ }|{z }sPj`M~D}p M~FzP}_ }*' { ~F f h h
[~2) P(}| " zp~F}PMx~D) [*s `~F"^[jzpM~F Pz6}~F O ~D4jP}M~D[) } j~F}p M~F
~?/ ?-| ~F~ }|z } jM~FTp M~D 3[~F }~{~ F"}~M}~F!/zp~D) jzp~F
!~D}D-zp~D![s M~FjA?4}| |[s `~F }p M~F [wP }~ j"eF |j |[~Mj
} j~F^[jz6~Fj 4P |:~Dj/}P~F ?4DM~T') { ~D) #4 <: # O ?-| }|[/
zp~D!jP} ) }sPj`M~D"}p M~Fj-}~ }|[pY}Pz}|[{K_ [PjFM!) ~D } jM~F^jzp~Dj n^ )E) ~F
?-|?4"|jF ) ~FjM} }) w~ {[~F*3D}~?-}|aFM]w\ z M~F ^~D MF zD}!~
zsz6s@`[sPj`~Dp M~Djp{[~*MsP}8:[} {~DsP~F |[~D) F!) ~F } jM~F ^[jzpM~Fj
|jD.|[~+?-Mjz|}PMs &{ z}s-Z) z *}|jP.j ~D[
) }sPj`M~D }6P~F
8N~D}| }|[ w*) ~ bsPj`~D}6P~F- !) |[8! ~F:zjz6~ RsPj`~D:^jzp~Dj
P ~Dj M #4-<:# ' ) /x/) {T}~Fw~M) [~D}|[/ |[~D7
) ^~F [PM[}sPj`M~D
}6P~F.F4!z zp~F}i jzp~Dj 4P | jM|[1!"&=$4%~FN/s ~F-~P-~F{) } #4 <:# ~
pjP} |["Ms M . 08 _ j M~D 8 4P | |[zp~D![} }|[ }[z6~F}i [zp~F
F- jz6) j }8_ jPM^[ ~F[-PDz}| D MP ?-|[R|[ f h h {) j) [
~F|j FP {|j jz6~F{) * 'x6'}|jP}|{ |[~E
) ^/~F*~}|[ ~D[
[~FN~
) |[ NPz/ jM|[zp~F} ~FwsP}~D* {}}~2) jz6R{) j) zP~F { ~ 3|[
D MPP . 0 [ . -0n{) j[) 4~DR~D-[P M"R~ 9}|DP P4 4P |j6
^*P[ |[ z6~FjM}s7~DN ~F-~ 8|[ jP}MM~Fj*~ 8|[ } j~Fa}p M~Fj'
) jZ
) ~F!~3~ Y}|*FP { . P/3'[~F N*j~` }~ _ j {^~F[
' { D M P*jp^~F NM^~F[|[ j\ j8zp~D}i [jz6~FbFP M }{) jz[}| wPzpMD[P
~ 8 t_ j {]w\ z/ ~D bP ~F #4 <:#"M~[DFPM|j~F } jM~F}pP~FN/MsP}
D MP Y ?4-|e{) P}zpMNN) P((~ ^!j}9}~ zp~F [8j s(~ }|[-s `~F'}p M~Fj
4P |4K{) P$8~: [zP!~*}|[p8!/}|[~D)
* 8 {}!) |[p- }|[~D") P) }PM}) -~DM~F 3~ R}| j} P!P(MPzpM~D gI[ ~D-
N6[ ?4|!^~F }PM}4P!) ~Fw {~F[ }|~D) ?F@ ~F|j j\ F8 P
eFM} ^ )E) ~F^~FY~D!.~Pb|[p M~DjR}~2) jzpYzp~D![s M~Fj6}| [} ) f h h
j }|[6- |[~D) ?Y}. ~F3}|jP ~F ) -~ 9' F{) F8}| |[ j\ jR}PM

''
4P |[*H?Y~ !/}|[~D)[8|jFw [)}~ |[ %| jz}|[ P-, )|[* ^ x/jz|8

' -, ?4| F {1?4 )Q) sjP}| * zp~D![})}|["PFz}|jPMs P*~ 3|[Pzzps
?' Pz6~F[) . ! ~F> y N ( YsP~F 0 )P}3}|jP?'MPzp~D)[ .} 2! ~F
Ty[ s O 0s.PjPzpMp .MMzp~F gI 0 Pb~FjP #4-<:# ' j~F})T} M P .e~F
h 4| ' OO 0*~ cgO s zp~F) !P) ' '' MPzp~FZ[) p4PjPz6p 4P |[p<) sjz) !}|["M
[)
) ^~F j `["[[$\ p(z6~F [[[}|[ }Fz}|jP" }~ }|[ [~D) jzp }~F' ~
?~! ) {zczsz6spw Z
) zs|[Pz-, !_ j~P}|~D[}[s~P}|H?Y~" [~F' 8 }|[~D[F|
}|P.M!PP}%) :zp-}~$zp~F jP}%) Pzp{*Mx/!) [ ~PRH?4~*~D) /s@~PR PF) [DFPMs
}| -~F }|~D:) jM^~F 4j}Y~F|[PM. ?4~*jjz}|[' [, (| !Mz/9}PMs4~F)E) M~Fj
jjzs|[' -, - 3}_ }w) [|[~?4D{Np^~D} l) :j\ {M zp~Djzj`~Dz "j3}PDz|[)
/ 476c=6867Ex <Jr> 18

y }- [} ~Ds M~F jD*) F/]w\ zP~F |[~D[) ) }~3j- ~F}8P[}~D Pz-}|[* |[~D[) jD)
~F'}|[~D} [~ Ds 4P |@4j zp M}[C?-|[: } [[*~M^'zszp4|j 4[~F
zp~D}}zp ys ! [} ~Ds M~F!/}|[~D[) 3zP F`[}~2) jzp "zp~D[{} _:} }sDzp*}| 3|[pj
}| j/&j\ ) }~F }|[zsz6 T
* }|a}|[/~F}/1[~PR}|["jM~D?, ~ ?8|j *|[
} [
) [~~P ?4[~DD~"}|[~F[D|b ?4|[~F${, [~?4[K?-|[|[.| wPzPj*~P-'zszp
}~F-~D. ?YP{, [P}|[3}|~F }~P
}|[~D[F| M j~ zsP}":} ~F ~D !|[~D[) jzs|7 ~F [~F' z"}|jPTj
}|~F }~PF/ 4-M9[Pzp}}P}*^~F-|[.jM4~ ) ~*!~D}.|j #}i jM-[}~P ) 3*wPz]w\ zP~F
Z) zzpl) }zpM~F 7^ |MPzp~Db ?"zp~F` ) $~F ~ 8}|<) z`~Fj|j }|[ jM
8 F,
[ sM|[.jM*jz}|[~{~ ~F[.~PR}|[8' {*}Pz}|[{K_ [P(|[-sP}[jjz}|:Fc^~D"? )
ZT
) }}PDz}|j s Pj`pP
u !~D) 6 z}|[Pz-, [[8sz 4P |{! ) :zp7) Pzs~F
) }*[F/[s-P* w~F[-?-|zs|!|[~D[) jM^~F} ?46~F ?-|jPl, [) ~P3zszps
M$P ~DN PPPszs|;_ PM~D 4P |[ Tj[~a} {~F|["}|jP ~}} Ds
}|[~D) ^ *j6^8}~Ms ?4| '. ~D) p8~P3}|zszp*}~N"D]j\ w) @p|[*{
}FzpM[~D[3*jz}| ~P-|[^[jzpM~Fjs~ -|['zszp/~D F ?4*|j ) ~D[*}|{3j w
{ jPsP! p[}|R) sjP}| ?4 ) }|bY[ N ~ }P}/spYsz Q^ j zp '!|[~D)
j^~D}' w}-~F '3F/s`~D~ |[*zzpx- j{, p"}~ NM^~F,N}-~D}|[3^
zsz6jF ?46
|j} P!]w\ zP~F P}!s*~FT }Mzp zsz6sp8Mjz}| D!}|[~" | N/-P}
M~|p^ * ) P}z6N) |[} ) w}{8!|[~D[) P u !~2) p9z}|[z-, [b ) ^~D"?
) )
}/F-}Fz}|jPs$ j` { * ~D) pz|[z-, [ ?4~D-D, ) ?4pj~D*}|[8Mz|[~F[~Dj(Np[)
* }|7^~D"? ) }PDz}|j {sa j[ }|[ f h h [) ) ~
bu Izsz6!|j 1?4zp~Dj` ) ) T
}/[}PM3}|[ M3~ sP}P.PFzs|j {* ~F }/3?F.:} x~D[{ |[ ` ~ }|['zszp{
~?/ ?-|[ ?4'z|[z-F, ) ^~D|j P [) F?~D{jz|}~F~Fj*zzps6^~F"? ) PFz}| s
[ ?-D _ }*:z ^ }|3zFMj}|[ M~PsP}PC?4| | PP[) ?YF.}/[}PM}) {
zs ) j}i [jz6~Fa~ f h h p~F f h h ^~D*PFz}|azp~D!j~D[{*~ }|["zszp ?^ C?Y |j)
jM
) F3}Fzs|j s" [ ~DP u ~E{) p9z}|[Pz-, [[N|[K?4 ?~F ) |jPF|) ~<{) ~
/j }$ j[-^~F8PFz}|~ |[#) j}i [jz6s Y ~x|[ f h h 4^~F-F3}Fzs|j s" [
~ F{jzs|[}~D[~F zszp{
) }~x"*jz}| }D }|jPT^~F^~F ?8 T
) [.}|M}jzp}}
[|[{4}|[ M-~ PFz}| *MsP}P4~M
* }| f h h ^jFM) M x\ z M~D*!/}|[~D[) 6-F~{~E3) FP {8~F ) M.jMw(^~F[) * |[
T
'
%
j P}M~D[)s `~F}6P~F. )N[|[3!~-!w~F} {4eFzp~F- |[ ` ~P(|[ f h h

}/[}PM[ }|[8' { sP} 4zp~D![})l){[[*D]\wzP~F ^ ~F[Y:}[ p<?48~ ^
^~F) ?}~ [}~DFFP {~F )[> } [!~D ' F`~Fa~ 3|[zszp{
*~F} )2 & : $'~ }| f h h }|jPA?4zp~D![} ) [~ \[" F [| |j "M|[~?86
^~F PFz}|D M b}|*[ N8~ f h h E~ ) b6 ){}| .D M }~ \z/ [~ )
^~F P~F N~D[3|[~?]^~D}' ~D j~?]}|[ zzp.}s. F f h h 6P )|[~+?]|[
D MP"~F ){3F|{j !D~ ) \ ) }~ ,F }|[ f h h 3M **^~F[ )}| * M
j~F ){[ DP *~D )4j )~ ?4Q
| )FMz )jz6 ) FM \xz M~D P
P4|[jM! j:~[~ ) jP}MM~F[a~ }|[} jM~Fp ~Dj P4|!![~D"F
zpMMz F|[ D M "~F )[ 4}F~Dj {"PzP N ~F[[ ) {` |j [~D[
jP}M~D7^~DPDz}| }"D M "~ 8|["zsz6 ~?4D ?4 |j D"|[~?- |j F/ N}
}szP*NY~F[[ )!$zp~F*{{*~D!-~Pw}|[-jP}MM~Fj}~FD}| ~[ ) [*.D~2~ ) ?-~
zp~D[. }M~Fj ?-D@[~D-3[}~D [j ~D[ \sYF[} ?Y~F , ) _} ?4p * jMNPzp
}|[~[z6P}zp~D ):j.F`' [~F' } )NP{*^~F P~F w~F[Y}|[ |sPszs|z}jz6}[.~
}|zszp
^ .P[NPPs-!~D} ) "zp{ }~'z}|[~~ P[}~D Pz}|~F )-?-|z|j ~F jM )
?-|[zp~F [[M[ }6P~FY[}2~ )jz6s ~D[|[pP}6[sDzpzp3 ?-F8[~F ) "z6.}~'z|~~
a~F )[>7| ) P4|[~F ){[!j )> ~D[! }[[/!/ ?4F )7~Fa}|["jP}[
j~? ~ (^~D}' ~D|[ zszp b?4.^~F[Z )'-|[6{^R}~ }PM4~D[.z}|~ zpP-~F*'
F/s`~D~ 9}|[ zsz6jp[ ] \j )
^ R!2~ ) ] \j ) [P )<| \jsM8PPszs|:4jM )N[|["j ~D[ }|sPj`~D}p M~F- )
`F|!~D}'zp~F z )}|[jzj~F~ |sPszs|z^~F P~F>}~"F ) }| MP z}|
[ 3}|[3jM|F8}P )z}|[~M*jP}M~D[^~D8 )[P )[P ){}+| \s sz}| P4|[/b
aPT: }z }}PMsP~Fa~ 3|["|sPszs|z }jzp[}"~P.|[zzp( }F|j
^~F ?-P )7~ P[}~D P}"}|}~zpP}~P \j )|sPszs|>}~F ) D~ ) ] \j )[}P )}
| \jsM
szs|
*?4[PFz}| s* [4F ?- ~ b|p[3}|[-jMYzp~F}jzpP{D P[([~FK ){P
? ^~D|[jM.~!|[6|['Fzs|[ [}2~ )jzp }|[3D M [.{z}|j ["}|[$ ~ (
P "[ ~D }|[>FMz}|[}~D[~Fjzszp{A?4zp~Dj` ) )N- PFM }~ ' {j [}D~ ){jzp
: }[}}`~D^~F (~P}|PFzs|jPl _P}zp/ } ~P}|[ zzp *MjwPzp-| }[.
F/[s P4|[ FM \-j^~D} )<_} ?Ypb~F"~D[4: } 3zzps@?-|[/|[3M4~P~ _ Pzp{
PL?F4jM )D*MsP}['N~ { ^~D8zp~F}jzpM!|[.FP
^ ~F.: }x/jzpNc~ Y}|[ )Pz~Dj|[8*j ,F~ jM*~F[.D] \wz/ ~D }|8
2~ )[3 }'sD|[^~D"?8P ) > [Z )sMsP ) [~ }|['zsz6 .~DN ~D )~ -|[ jFz
[~FN/}P4~P f h h y~F 3~ 9}|[# )Pz~Dj.zp~D )j3PFP[}~D P} ) j~F|[8P}PDP[NPP
j}4p^8}~ }|[3jMjP PD8 |[ zp[} }3~P}|[ P} }|[~D[F|[}~PK ) }|[
|{s4}~*|[.M] \j4 _}P-M~F .: }}s N~D}-~D|[.jP}-~P(|[.jM4-~ ^% i}jM] \j ) {
}|F] \wzPj4 [~ /!D x/^~F Pjzp3}| 8zP}
* |j - |[3jP-j jzp N ?4: [~F' ~D )" PjR w~F f h h _F )F/] \
zP~F!|[D~ ) P4|[ PjF?--~*}|e _ PM~DQ
)/x/ )[-~F"}|[ j M~FK?-|zs||[3!|[D~ )
~*j ) ^ 9}|[ F~-}~*[E~ ){jzp3M] \wz M~F~~PR}|jP8z "j3j ) ?4|*{*
~ Rs{ ) ?4|[~F[Y: }x/}YF` jzp[}|[*^RP[}~D P~F @~PRj ~F[{@ j~F} jz6
P4|[.w~?4Y~ R}|.!/}|[2~ )[T ){P}zpMN )!|}3z6~F ) [~F-j. )!^!jz}|F/] \wzP~F}~~
{ }|[/-!~D} [~F' Mz3!/}|[D~ )[ ' ' *D|-w3!~D} [}~F "|.`} ~D
's
}|[~D[F|^{ [~F' zD]\wzP~F |[~D)[|jDjPzp~D!3z|!~D}3N~?4/^b|[

FM3Ds(DP pj}|[/}*P}$c3}PM}zpM~Fj~D}|[ /~ Y|[ zszp}~1?-|z|}|[/
zP N3P[) { [4 zbP-[DFPM|j *'RP!~D[-~PR PRD}MsPjzp*z/
FP M!}~PF }|[$}zPs"~P f h h ^jFM )F/] \wzP~F}Pz}| _ [ T^ [}~P"}z s
} _ P ~F }|jP i}j$zp~FjMsP[eDzp}~D*w ) c } _}P* )sDMz )jzpM~F 7|[
sP}}|jP!M] \wz M~F jzpPFMP F ^[jzpM~FT~P3zp}PD`[zszp'` 3.^^~F }jP!
: }j~F[{bF~?-| } ){jzp )*}~ _ j )sPz.F~ ?-| 0 yjz}|:} )jzpM~D 'F}~+?-}| 3z '~F
j# ) ~FjM}sP} ) {"FM [~Fz j`6bjz}|D |[% , ) ~ c!{Mz9Pj`jM )!}|
jPN
^ (^[}|[8}PMP z}|zp~FD \j}' |j PjD}MsPjzp'z " [~ $}z sx|[/?4*M
?~ ?-}|jP )/Fp~F!{-~ c PjF` )FM] \wz M~F }|[D~ )zP|j# ) }zp-[sDz#
z8D[ P4|[ \j _} jP}[[* [ |[PM !/}|[D~ )[~FM] \wz M~FT}~F{/
}| -P}.jD~F ) }|[3MsP}.~PR}|[ @^~F^ P[}~D Pz.FM \xz M~D"}~{~ {jD}`Ms zp
?4~D )M(j.w~F}/Mzp~M{} ~ 9 P ) [Pzp}}P} }[j{[[4^~D}'RF/] \
zP~F?4~D ) [~D.j*j~}!~D}|[ ?4*|3`}jP~F P4|[*MPzp~D )j-?Y~F )j*}~"M|[ )
F|[~F'x~D}{N!}~PF @}~3: }{M^ P[}~D Pz.}Pz}| _ [ **?T|[.z6[}
jPN3D. : } *~ Y}|{ *|jPF )Pzpj )|[l , )~ Y' {j@F}sPjzp } _} )
~F*!|[D~ )[ c8}|P }~ 8|[ F/] \wzP~Fa[}~zpPz6~F ) N "zM P[}~D P} )N(|[
}C?4~F{K )"j* ~F}3j~?4M^b^ [~F' z3] \wzP~F}Pz}| _ [

# nf }|[/ {# ~FZ)}/4P) ) *? )F*~F M j~ z P[ M~Dj ~

\j* 'Fzs|[P ^ ! $ $ $ ! 4H<4'&<: & !59!5 & &, 2=4 $% )+j MM O8
y f ~M P ) & F[ | ^[wp) |jP) ? } j{N~Pz*~D z *{P~F
^ ! $ $ $ ! 4H%#<4'&<: & !5%!5 & &, 284 %$% )j { zp}~DN M M
y Df ~M.P ) & u 8[ M|[ b [~F' zD] \wz/ ~D ~ 9Mjz}|}~F~Fj-zzps(j {N~Pz
~FPz"*{P~F )} j~Fs~D z R^ u (PP/b( ) }~D &*!%"<)$ & !14 8 ! $
4 # <46'&<: & *$ &#2 &
2<27: " &,1<: #4& $ &
&# "!5
4 ! $% )j
j!
&PF! P ! gP M g s ' ~j M M
' y f sFz6 ($ u ( )pe Z ) (% | f } { | "zs/ !/s M~F*~ x f h h jFz ,D D
^ 4
! $ $ $ $% ) 84 &,1<4'& & !5%!5p[jPFP ' O I' MM OD
~f }~?-[ [~ D ) D~FM|[ ^~D [~F' Mz D] \wzP~Fa~ e \j}Ms "
zs|[P@`[ } j~FsN~FPz ^ "&!% <)$ & ! 4 8 #$4 8 =<: =, 28&$% , & 7&")'!
&, 2 84H!# !*p f ~~FbwF [ M s
s f }~5?-[ | (P- , h& u h eP ) f |[ { [~F' z(M \xz M~D*~ _[8
zszpj`[} j~F4~D z ! $ $ $ #J =$<!546'&=$ &!
&, 2 84H$6@ F . / 0 ODF
O '' M s
g*# (% | If } { [|8_jD )'F~D}|['c^~Dx~{~ PP!^[jz6~F P[ M~F ! $ $ $ #J =$
<!*4'&=$ &
&, 2 =4 $6N D . 0s M s

'g
#(% | f P/ h& u f PP}PP) # yF/ I[ ~F {|j ) ?8 FM \xz M~D* {N~Pz

}/}jP} }i}Pzp~FTDjP~F ^ 4
! $ $ $ $% )+ 84'&,1<46'& &$!59!5p
MM
M # (% | f }D [' Z) yF/ H[ ~F .D]\wz/ ~D ~P#) s$zszp!j`[ {N~Pz
}/}jP} M[M} D~ )p ;^ (% .[|jPP)H| ( -,4) }~Ds6 &, 284H '"
!%<46'& &*!%" )$ & ! 4 8 &*$ &#2w ~P[! ~ !
7 $ $!#9#4H
<4 8,1<4'!#$C # 8"&9#4'!%<: &, 2 =4 !# %! !Mz P}|[' Mzby~[zMD MM O8
~* y[F/" MP< u -y F{
O ($f [z}|b | ( ,P ) h& | uN~F[ R( [P/[zsz6s ~F! "zM
{*j~ z E~ ){pRzs|[P-z ,[ n^ 4
! $ $ $ $% )
84 &,1<4'&
& !5!p M M
D# (%f [szM|b | ( , ) h& | uN~F[ y N~ z D~ )p9z}|P-z , [1?4}|j ~F )
} j~F }pP~Fj ^ # FD" ) nf nh {F/4 ) }~Ds6 &*!%"<)+$I& !/4 8 !
4 # <46'&<: & !5%%%!*1&!
') !%<: ! 4H )+%<4'&jF |n) [[[F|b(y{z6~FP )N [FjM
MM
/ ($ f [sz}|I | ( - ,{ u zPb{ ) h# u h y _[wzszp{9] \wzP~F
j{*x~Pz D~ )pz}|[Pz , 7^ 4
! $ $ $ $% )
=4'&,1<4'& &$ !59!5p
M M OD
/ ($ f [sz}|I | ( - ,{ u zPb h& u h )lu ?YP[ y{w~ z4!2~ )p
zs|[P-z , O EHG sP}PY ) ND~F ) F^ 9&*!%"<)$ & ! 4 8 !4 = 8<: ! $ $ $=, 2J&$% ,
& 7&")'!-
&, 2 84H% !# %!*6 [[ MM O8
' (% f sz}|b | (P- , u z/ h& u nh )u ?4P[ y{N~Pz
E~ )6wz}|[Pz , [ OEHG }@P )!jD~F ) ! !&#,1<4'&K &, 2 84 <4'&jD M . 0 ' gO
[[ MM D
/ & |[~ # Fz}|{}pey * /~F[ f }`/e | y z|<? - ) [T y~D! p P
FMNPz6s!~P [ y{ F/] \wzP~F p^ ! $ $ $ ! 4 # <46'&<: & !5%! & &, 2 84H '"
$% )+jx F / ' I g M M O8
s | ( - , P )R| j& |c ~F y{}|P`-~ c{jz|}~F{ ~D ,p~Fj@^~D[ jzs|[
! x~Ds4~FPz +^ h& ~ bb )~F/ & )'!K& ! &%) ,-$ & *$ &#2wbF~P! /
~ "!*4 &<4H%$ &, 2 84 !# !6 (~D- ,{}~?- pD|p *? @~D- ,w M y[F/"
P
g* | (P- ,~ | R& |c ~F( Z ) & b yDM [~F' Mz*M \xz M~D ~ \}*e }
zp~Djzp[}{'j`[3!j~Dsj~FPzMNPz] \wz/ ~Dj #< =$<!*4'&=$ & &")+%,
,-<) 7<) 8*)$ =$4 ,-$6 . 0 '' s M s
l {# ~FZ )}/( Ff }|[/NP ) ) /] \wzP~F ~P8Mjz}|}~F~Fj _[MY
zs|[P(jFM )!~D M N~ z: }Pzp~F ^ 84'&,1<46'! = !<46'& #4&$ !& 8'4H 4'<4H
=+$4H,-
$ ! 4 <4'&<: & *$ &#2 @9&#: " !p4F~P[! ' OIg ~P "!*4 &<4 $K
&, 2 84H!# !* y[[D" M [ [[ M M
'
M l{# ~FZ)} ) ){} j []\j)^sP!5?@~D-,^~D@|[-^~F}']\wzP~F'~ Rzszps

^ ! $ $ $ ! 4H%#<4'&<: & !5%!5 & &, 284 ' $% )j[jPFP s M{ MM O8
O l {# ~D ) )}w Z) Ff }|[ M^ [ x~Ds[}~DNP-~ _ [/
'Fzs|[P ?4}|~F["[ ) [ |[p" t) F ' p^ ($ .[sM|j )H| ( ,
) ~Fs6 &, 2 84H% '" 8# !%<46'& & !9%"<)$ & !-48 &*$ &#2wND~ [ ~
! 7 $C $!#9#4H <4 8,1<4'!#$ # 8"&9#4'!%<: &, 2 84H% ! ! { Mz/
|[' Mz/Yy~{zM MM O8- M~ y[[D" M u -y F
{## h& u ~h PbsDzp }|~F ^~D [~F' z"|sPszs|z] \wzP~Fa~ MN ) )/N ){
zsz6s I^ P ) [T P uNpD|[}~Db ) }~Fp !" $5" ! ! &*!%"<)+$
& ! 4 8 !4 ! # & !5!5 ^ P }}p M
D # h& u h #<"<! # 8"& !& 84 &,1<4'! ! <'!%<: = !#<4'&& ! 2 %" ! 2 4
! '46$ R | h |[P`6xY [P p~F:s }[}F| N M ( ~$ [wP )
F D
D # h& u h #<"<! # 8"& !& 84 &,1<4'! ! <'!%<: = !#<4'&& ! 2 %" ! 2 4
! '46$ Y Y h M[D|[ ) h }M} M~Dj ^ P }Pp M M
' P [ j ,~D} }|[D~ ) ^~F {j~ zM \xz M~D~ YMz}|[}~D[~Fj zszp ^ &*!%"<)+$
& !14 8 #=%4 ! 4 # <46'&<: =+, 28&$% , & &, 2 =4 9 $!#;274'& 7<) 8*)$
K4 8 2<27: '!<4'&=$6 M M
D # (% s| PPM[zp~F{s!{3~ @^}/F 3 [Dj DP Pz}|[z ( N~D} F/
s O{ O F cP- f 6J ub b~Ds ~FMp M s
s # f uxb & P~FjPe-P ) & (% 5?-}~F ?h ~D zP}"*{* P M~F ~ * 685
_[{w~D z.[H?Y~F ,[ J^ ! $ $ $ ! 4 <4'&<: & !5%!5 & &, 2 =4 ' $% )j
jPFP ' ' I' g MM O8
I g* & P4|[7 )PF ~P 6'^ ) zzp^~Dl ) [[ ) [j: }zj`~F +^
#28#: ':: & !59!5 & ! M D
& . {}|[` }|[D~ )^~D.Mp'_M! ) uy ^ zszp{ ^ ! $ $ $ ! 4 <4'&<:
& !5!5 &
&, 2 84H% $% )j { zp}~DN M gI
M u z =+, "&<: '! &5#: 8"!*<) 2<2%&*<! 4'& 4 8 4'<4H$"27:;&$%'& &#: ,
| h |[P6YP}[/ *p~F`MF }[[F|b N MM 8
O u zP =, "&<: '! &*#: 8 ! *<) ?4 z )/z [|s6 MM 8 P~
NPP
{# u z/ P ) y z|?-w b[ ~D}'8M] \wz M~F ~ }|[ |(jzp~D} P } zDz}|[
zp~Dj`jzp[}~D}~zp~ ^ ! 4 <46'& <: =, 2J&$% ,
&
9" ,1& =:;4;2 &!$%$&#$6
MM
'M
D j ]} zp~D![sP~Fj(|[~D}"P): !/s M~F~ c_ [/9|j ) ?-P}3_D

jzp J^ (% .[|jP )7| ( ,)~Fp &, 284H '"8# !%<46'& &!%"
<)$ & ! 4 8 &*$ &#2w~P! ~ !
# %$ $!#9#4 <48,1<46'!$-
# 8"&9#4'!%<: &, 284 !# !5 { zP P}|[' Mzby~[zMD MM O8R ~.y[F/"
P< u -y F{
D & ( Pp &^ F ) 'pP ) I(% /|j # 8 # 8<: 8{/s`M 'D}|* )M~Fb
M'
' & P~Dj M & y{D~ i f uxb (% nf p~FbY Z ) # y{P[ ~D [{ jzp/p ?^ 1
z*Ms !/[ ~D ~P \j}' } 'Fz}|[P3j`[ f h h &^ ! $ $ $ ! 4 <4'&<:
& !5!5 &
&, 2 84H% '" %$% )j[jPFP O /F MM O8

Symbolic Model Checking For Sequential Circuit Verification

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Symbolic Model Checking For Sequential Circuit Verification

Uploaded by

Copyright:

Available Formats

Carnegie Mellon University

Research Showcase @ CMU

School of Computer Science

Symbolic Model Checking for Sequential Circuit

Follow this and additional works at: http://repository.cmu.edu/compsci

y{z}|[~{~ R~ ~F [[}/.y{z jzp

b w_M^Mp^}-j6N^F6 ^6_M-8Pp^j 4^PRMP^RPspPMM.bM_M6_M8[_MM^NRpMPM.9((p9RF

P4|[ [~F4~D z !~2)pz}|[Pz-,[ F~FM}|[ ~ 3(P-,~|c ~F( Z)7yFM g  ~E)

88 )}zpM~F"~ $   !*46 2546'4'&7"-4%=$%'4'&K9#:;<4'&=$Y  )K!%& !*4 +L2546'4'&7"

4P |[ .P}33j 4~P9 [}~Dz|Pc^~D4F/^ [ M_[  Rzsz6s@{ .:}~FsP~F}Pz}|8

?-D~FM j)/} Mz . 8 }jP!*~P}|[ ?Y~"`} ~Djp9zp~Fj ) .|[*z Dz}|[ zp~+

~ j ^ .[~Dj~`"}~D ^|j z|>"}/ ?4 ,F [}~DF}}`[~D |[

{ )/})"j t)Pz`~D?) PFsP -. f h h 08P} z P[~F{z/^~F }/[}PM sP~F^~F3j~{~ P

[ F[  pf jP} )Pz~DQ) PFsP

*!w {t)Pzp[|[~?2~}/[}PM  zszp{*{j~ z  P4|.F~ P3} }PM [

?4#)/F3}|j~{~ PP^~F* 8 G 8 D *8 E P4|j~~P ^~D}* z "|[ "j [P )

A X3 U r9<G%IFK9

[ F[  yjz}|}~F~Fj ~D)~ 6z ~F[{}

P4|{jp[|[3}sPj`M~D p M~D^~F !Mz}|[}~D[~Fj zszp8z Pj }[[P}M) D zp~Fi}[jzpM~D~

P Dz}| zp~F j~F[ {R}~.[~D) }*Mz/ z|[~{~M@?-|[/}|[ R}~ }sPj`M~D~F[[[ P4|}PMs

^ !j~} ^~D T P [ ~2)p8~ D{jz}|[~F[~Dj zsz6!~ P{Y) w { M

~F~ }|zsPj`~D}p M~Fj8 .[~F-|[. ~M-"zs/F ?- }~ } [P/-}|[.j~}` }sP=

.M}|-. . $ 0 $ 0}~ [P   . 0 ?4}|}| [ }} ~D}| ^~D. -8

{*~ }|[- )PD4j)"{j~Pz.F/]w\ z P~Fz P!w:}[)!$zp~F` ) M*}|[8[}~D

^ "F [/sej}|[ Ms P4}Fzs|j 3 - ~M

M} P}3} }PM }) {

D~ } |j PFzs|/~ P *N ~ 8}| [}/ ~F~F[ yFjzp"}|['}~F[ N ~

~ ^ })zpP|[. ~Pb|[ f h h [} M}|8 ~ }@~F }| /PPszs|^~F{  .^

~P}| .^~F} F [ |[#) w } zp.-}|  |jF-N / Fz6)

*3z }|@~DN M~D$ =<) t uN  G )/[~F  )  D N8}|[3 _ } ~  P4|[

z/ "j3zp~F [[ )!^}~D

b[~F)  /z6~F [[[ }p M~Fj j[}~2)jz6sN9 ^[)[P!/s~Fj sP~F*' { {N~Pz

^ \ F[ ?48  MNPz  f h h D~FM|[ #: 9&  }|jP4j M^~F}'(}|Yzp~F [[ ~D: ~D[

#: 9&* ., $ 0    $

a / <4 9  6Rd 12K J F=

P4|{jp ? P}*P*}~ )jz6|[*[~F I~ zp~D![[ . 0Y}~'~F[*~PYzp~F [[M[ MP

yFjzp  D . $  0){~P4~F ) j ) ~F8 E =?4 z P[| z-, ~F ~F}3M 3 ?-[

P4|[! |[~D)H)Pzpw) w~ D^~Fzp~D![[}|[p M~Dj$[}~2)jz6!^~F"}|!~D){~

a j B<6DIr> VJ F F=zd 1EK 9

F MN  )[ P4|[ ^ : } 3|[~?84|[~? }Pz6~F{{ z P 3'i}~D4})jzpM~D

P4|[~D z|j ?4.jM.}~ MNPzs^ zszps@-[~Fw~`M~Dj9}/!j~Fw~D z~PR[sPjzs|[* 

46 ,  ?-|{zs| P j8}|jP^~F ~D! j |bb}|[/} }3 }*~D |[ }|

.sl  ., 0"0 $

P4|[.^~F* ,4}[.* P)~D c}|[ .:}{s8jP}|^~F,|j 8MsP}^~D

mjA SF18 6D99<G# 9:1D J9

F[~D}*~D[~P(s-}_[PM4[[s-^~F}/F P4|ew~P[~FN/}"z/ [[~D.j:}[P}M)7) }PzpM

P4|4MPzpM~D P z wPc^~F M^ [${jz}|[}~D[~F4zsz6s@`[*j~F|P u!~2)p

?-|zs|?4P[[}/ D  9 )  4} }PM s*}|["D[~P3 ~P3}/ TzpzPp

\[ zpzPA.M^ }|[~FN/s M~FT pz ~D! ) 0P)?4pPz6!jD)T~D $4'<<[4|[

y~D! ~ |[jP}pbMjz|F|[ M} [\  ? ^~F

~ }| M} \+0 e[ ~F PFz}|sPF|[*zs|j NMs [K?4}||[p^!~ ._[[[08 D

w~PFR}|sPj`~D7p M~D}_}P ._~F  0 f h h [~E){P.}~ [P  P4|[ )PMj M~D

[ F[  Np[$zszp- M]\wz M~FM!P

8 jz6}PDP^}~D % }~ ) D ^~F'~F 4|["[ j !~P  ) E z6~F [[sP~F

~D[) }sPj`M~D p M~Dj"z ~w)T~  M^ P}F/ Np[P }|jPT}|~

U68<X3 U 9

P4|(MPzp~D* z [P{^~Fczp~F [[M.}|[ 9~ jPFzs|j {8MsP}Pb~ w}|- ^

bPM_8p^8pM^ s j^/ MPsbDPMP-p_M _8MM 

[ F} s  ]\wz P~FM!P@^~D8 ^ zszp

}|!~F ~P8}|[ DP "~F ) M M~[|[ Z) |[~D ) w{} MP )  ?Y!) |[

{ [ Fbzp~ RF/^ [ Mj ) ) w ) FMjzs|[~F[~Dj-zszp{c-z}|[Pz-,[*}| 4|[ zszp

P [*~F[~D=j}/Pp[ ' {z Y jM)  :z @? *}~~D)/4}| f h h FP 

y{z}|[~{~ R~ ~F [[}/.y{zjzp

bw_M^Mp^}-j6N^F6 ^6_M-8Pp^j4^PRMP^RPspPMM.bM_M6_M8[_MM^NRpMPM.9((p9RF

P4|[ [~F4~D z !~2)pz}|[Pz-,[F~FM}|[ ~ 3(P-,~|c ~F( Z)7yFM g ~E)

88 )}zpM~F"~ $ !46 2546'4'&7"-4%=$%'4'&K9#:;<4'&=$Y )K!%& !4 +L2546'4'&7"

4P |[.P}33j4~P9 [}~Dz|Pc^~D4F/^ [ M_[Rzsz6s@{ .:}~FsP~F}Pz}|8

?-D~FM j)/}Mz . 8 }jP!~P}|[ ?Y~"`} ~Djp9zp~Fj ).|[zDz}|[ zp~+

~ j ^ .[~Dj~`"}~D^|j z|>"}/ ?4 ,F [}~DF}}`[~D |[

{ )/})"j t)Pz`~D?) PFsP -. f h h 08P} zP[~F{z/^~F }/[}PMsP~F^~F3j~{~ P

[ F[ pf jP} )Pz~DQ) PFsP

!w {t)Pzp[|[~?2~}/[}PM zszp{{j~ z P4|.F~ P3}}PM[

?4#)/F3}|j~{~ PP^~F 8 G 8 D 8 E P4|j~~P ^~D}* z "|["j[P)

A X3 U r9<G%IFK9

[ F[ yjz}|}~F~Fj ~D)~ 6z ~F[{}

P4|{jp[|[3}sPj`M~D p M~D^~F !Mz}|[}~D[~Fj zszp8zPj }[[P}M) D zp~Fi}[jzpM~D~

P Dz}| zp~F j~F[{R}~.[~D)}*Mz/ z|[~{~M@?-|[/}|[R}~ }sPj`M~D~F[[[ P4|}PMs

^ !j~} ^~D TP[ ~2)p8~ D{jz}|[~F[~Dj zsz6!~ P{Y) w{ M

~F~ }|zsPj`~D}p M~Fj8 .[~F-|[. ~M-"zs/F ?- }~ }[P/-}|[.j~}` }sP=

.M}|-. . $ 0 $ 0}~ [P . 0 ?4}|}| [}} ~D}| ^~D.-8

{~ }|[- )PD4j)"{j~Pz.F/]w\ zP~FzP!w:}[)!$zp~F` )M}|[8[}~D

^ "F[/sej}|[ Ms P4}Fzs|j 3 - ~M

M}P}3}}PM}) {

D~ } |j PFzs|/~ P *N ~ 8}| [}/ ~F~F[ yFjzp"}|['}~F[ N ~

~ ^ })zpP|[. ~Pb|[ f h h [}M}|8~ }@~F }| /PPszs|^~F{ .^

~P}| .^~F} F [ |[#) w}zp.-}| |jF-N/Fz6)

*3z}|@~DN M~D$ =<) t uN G )/[~F ) D N8}|[3 _ } ~ P4|[

z/ "j3zp~F [[ )!^}~D

b[~F) /z6~F [[[ }p M~Fjj[}~2)jz6sN9 ^[)[P!/s~FjsP~F*' { {N~Pz

^ \ F[ ?48 MNPz f h h D~FM|[ #: 9& }|jP4jM^~F}'(}|Yzp~F [[ ~D: ~D[

#: 9&* ., $ 0 $

a / <4 9 6Rd 12K J F=

P4|{jp ? P}P}~ )jz6|[[~FI~ zp~D![[ . 0Y}~'~F[~PYzp~F [[M[ MP

yFjzp D . $ 0){~P4~F )j) ~F8 E =?4 z P[| z-, ~F ~F}3M 3 ?-[

P4|[!|[~D)H)Pzpw) w~ D^~Fzp~D![[}|[p M~Dj$[}~2)jz6!^~F"}|!~D){~

a j B<6DIr> VJ F F=zd 1EK 9

F MN )[ P4|[ ^ : } 3|[~?84|[~? }Pz6~F{{ zP 3'i}~D4})jzpM~D

P4|[~D z|j ?4.jM.}~ MNPzs^ zszps@-[~Fw~`M~Dj9}/!j~Fw~D z~PR[sPjzs|[*

46 , ?-|{zs| P j8}|jP^~F ~D! j |bb}|[/} }3 }*~D |[ }|

.sl ., 0"0 $

P4|[.^~F ,4}[. P)~D c}|[.:}{s8jP}|^~F,|j 8MsP}^~D

mjA SF18 6D99<G# 9:1D J9

F[~D}*~D[~P(s-}_[PM4[[s-^~F}/F P4|ew~P[~FN/}"z/ [[~D.j:}[P}M)7) }PzpM

P4|4MPzpM~D P zwPc^~FM^ [${jz}|[}~D[~F4zsz6s@`[*j~F|P u!~2)p

?-|zs|?4P[[}/ D 9 ) 4}}PMs*}|["D[~P3 ~P3}/ TzpzPp

\[ zpzPA.M^ }|[~FN/s M~FT pz ~D!) 0P)?4pPz6!jD)T~D $4'<<[4|[

y~D! ~ |[jP}pbMjz|F|[ M} [\ ?^~F

~ }| M} \+0 e[ ~F PFz}|sPF|[*zs|jNMs [K?4}||[p^!~ ._[[[08 D

w~PFR}|sPj`~D7p M~D}_}P ._~F 0 f h h [~E){P.}~[P P4|[ )PMj M~D

[ F[ Np[$zszp-M]\wz M~FM!P

8 jz6}PDP^}~D % }~ ) D ^~F'~F 4|["[ j!~P ) E z6~F [[sP~F

~D[) }sPj`M~D p M~Dj"z ~w)T~ M^ P}F/ Np[P }|jPT}|~

U68<X3 U 9

P4|(MPzp~D* z[P{^~Fczp~F [[M.}|[9~ jPFzs|j {8MsP}Pb~ w}|- ^

bPM_8p^8pM^ s j^/ MPsbDPMP-p_M_8MM

[ F} s ]\wzP~FM!P@^~D8 ^ zszp

}|!~F ~P8}|[ DP "~F )M M~[|[ Z) |[~D ) w{}MP) ?Y!) |[

{ [ Fbzp~ RF/^ [ Mj) )w)FMjzs|[~F[~Dj-zszp{c-z}|[Pz-,[*}| 4|[ zszp

P[~F[~D=j}/Pp[ ' {zY jM) :z@?}~~D)/4}| f h h FP

[ F[ g T|} | z|!^~D ~D) ]\j)"[})| sz}|

[ F[ yFz", zsz6-~jz-,7) DsP

} |DP P8"}zP[[ |[ \jD[}3^}~D,}~D~*N~D}}~DjP)N=?4}|{Fz}|"}~?3[{ z [{

[ F[ M yP z|M P MPzp~D)[^~F

[ D[} O yPPsz}|M P >Pz6~F)[-^~F

` j`~PR}|[ f h h c^~F-|[3zp~D!{/~F"}PY|[~+? }|jP4^~FA _ b~ j~ ?Y4~P

LjA 4<9:VF6DHopJ18W W9:

[ F[ D 1ys M f h h /P ^~F [ D[} / 1ys M f h h ` P ^~F

[ F} / h Q|Tzszp8FM \xz M~D P

[ D[} ' -ysP}*M f h h ` ^~D h Q| zszp{

}|P zsz6s-F}5?D '9x~P[~D(|[3*x/-~ Yzzp8zp~F j~F[/

T1E 9:K ;B<6cW1D 9

4P |[H?Y~ !/}|[~D)[8|jFw [)}~ |[ %| jz}|[ P-, )|[ ^ x/jz|8

j P}M~D[)s `~F}6P~F. )N[|[3!~-!w~F} {4eFzp~F- |[ ` ~P(|[ f h h

}|[~D[F|^{ [~F' zD]\wzP~F |[~D)[|jDjPzp~D!3z|!~D}3N~?4/^b|[

# nf }|[/ {# ~FZ)}/4P) ) ? )F~F M j~ z P[ M~Dj ~

#(% | f P/ h& u f PP}PP) # yF/ I[ ~F {|j ) ?8 FM \xz M~D* {N~Pz

M l{# ~FZ)} ) ){} j []\j)^sP!5?@~D-,^~D@|[-^~F}']\wzP~F'~ Rzszps

D j ]} zp~D![sP~Fj(|[~D}"P): !/s M~F~ c_ [/9|j ) ?-P}3_D