You are on page 1of 87

UNIVERSITY OF CINCINNATI

April 4,
02
_____________
, 20 _____

Sanjiv Pandey
I,______________________________________________,
hereby submit this as part of the requirements for the
degree of:

Master of Science
________________________________________________

in:
Computer Engineering
________________________________________________

It is entitled:
Improving Performance of Mixed-Signal Simulation by
________________________________________________
Reducing the Simultaneous Equation-Set.
________________________________________________

________________________________________________
________________________________________________

Approved by:
Dr. Harold W. Carter
________________________
Dr. Karen A. Tomko
________________________
Dr. Wen-Ben Jone
________________________
________________________
________________________


    "! 
# $% & '(% )+*,'&.- &
/1032 #4* ) -657% *,'8-9 :*;=<?>@*.- &: @$%@A-

BDCFEHG9IKJLIMIONHPQRJSCKCOG9TUCFVWCFEHG
X JSY.JLIKJLVAZ[V]\_^`Fa]TbNacCOGedCFNbTbJfGgI(a]ZbTihjGgIkG6al`OmnE
op
q EHGsr?ZbJtYGu`FIKJtCwvxV]\zy{JLZbmuJLZbZacCFJ
L| }
~ al`kCFJ"a]:\)NbtLLQG9ZC
op:
`OGg
NbJf`KG9QG9ZCFI\)V]`MCFEHGTHGuA`KGgGVl\


b;u-9
x%@ )


L| } :
X G ~ al`kCFQRGgZCMV]\4SG9mCO`OJLmga]1a]ZbTy{V]Q ~ N.COGg`MZHJLZHGuGu`FJfZH
}
y{V]Q ~ N.COGg`(dmgJSG9ZbmG
o p

q EHGy{VALSGg]GV]\zZHJfZHGgGu`OJLZH
B ~ `OJL1]CFEl]

%@ .9 8 3 #, 0


q G9mnE bZbTbJLa]ZiZbICJtCFN.CFGV]\ q G9mEbZbVALV]lvHEal`Fal ~ NH`9.ZbTbJLaigA]
q EHGgIOJfI{B?T.YHJfIKV]`{a]ZbTy{VAQ=Q=JtCOCOGuG?y{Ea]JS`9,

sib')#3

zb9-6

 Aqs
|;G5&b7@7'\G5#jOF589@j# 9@l*+-G:5#jOlm& ]5k]QT7'&) -s*7'&bl\G*+%'&b# -&b7m* :<;s*)b5-{ &b-G
FG9@# =Gb58l h_&!%,;Mj58h# F{%,&)l}& `*+%'&b# -6%,58:<;G-G&bZx\G587*`(+*&)*=G)5%'#67@F585k]QT\GF/%';G5 7'&)lr\G*a%,&b#-R
|;G&)7 %';G57@&b7zF{9'57@5-H%,7%,5:<;{-G&bZx\G587zj# 9 5-G;s*+-G:&)-G/%';G5OF59gj# 9'l}*-G:85O#+jl}& ]5k]QT7'&b-s*
7'&)lr\Gb*+%,&)# -}=H}:9@5`*+%'&b-G*+-5Zx\G&)(+*)5-H%7g?7@%,58l h_&)%';j58h59|-x\Gl=589'7#j58Z?\G*+%,&)# -G7
z9'*-G:<;.9'58kG\G:8%'&b# -V%'5:<;G-{&bZx\G57Mj# 9f:# -G7@59g( 5k7@?7@%'5lm70*-GkV(+*9'&b*=G)5/7@\G=G7@%'&)%'\{%,&)# %,58:<;G-G&)Z?\{571j# 9~-G# -?Q^:#-G7'589@( 58k7g]7g%,58l}70;s*`( 5=55- 7@%'\GkG&)5k *-Gk %,;{5&b9M9@57@\G)%'7M# F59@j#9'l}*-G:5f&blmFG9'#( 58l}58-H%|*9@5~kG&b7@:\G7@7'58k$&)-%,;G&)7%,;{57'&)7
^-%,;{5~hz# 9@7@%|:*7'5v*-s*aQ
b#07@&blr\{*+%'&b# -%'&blm5|&b7 *1:\G={&b:|j\G-G:A%,&b#-}#j%,;G5_-x\Glr=59 #j5Zx\s*+%'&b# -{7 |;x\G7 ?58(5*f7@l*)]9@5kG\{:8%,&)# -r&)-%,;G5z-?\{lr=589 #jv58Z?\G*+%,&)# -G7 :*-7'&) -G& G:`*-H%,!19'58kG\G:5%';G57@&blr\]Q
*a%,&b#-r%,&blm5 |;G&b7 &)kG5`*M;s*7 =55-}5 ]FG)# &)%'5k&b-%,;G5_=G9'*-G:<;}9'5k{\G:8%'&b# -}*-Gkm(*+9'&*+=Gb5
7'\{=G7@%'&)%,\]%,&b#-E%,58:<;G-G&bZx\G587M%,#5 {F{b# 9@5r-G58h hz*?7M#j 7@F585kG&)-G\GFV%';G5l}& ]5k]QT7'&b-s*
7'&)lr\Gb*+%,&)# -RU]F55k?Q^\GF=58%^h55-m7'&)lr\Gb*+%,&)# -/h_&!%,;r%,;{&b7%'5:<;G-G&)Zx\G56*-Gkrh_&)%';G# \{%%,;G&)7
%,58:<;G-G&)Z?\{5M;s*7z=558-# =G7@59@(5kR s# 9 :# -G7@59g( 5k7@?7g%,5l%,;G5f7'F55k?Q^\GF# ={7'59g( 58kj#9
%,;{&b7%,5:<;{-G&bZx\G5 kG58F58-GkG7\{F# -%,;G5 5 ]&b={&bb&!%^ #j~%';G5V7g]7g%,58l *)b#h_&b-{&!%m%'#
=5
kG587':9@&b=5k =H*-
5Zx\G&!(+*b58-x%7@?7@%'5l h_&)%,; j58h59r58Zx\s*+%,&)# -G78 s# 9/-{# -]Q^:8# -G7@59@(5k
7@?7g%,5l%,;G5f7'F55k?Q^\GFkG58F58-GkG7|\GF# -%';G5~kG58 9'585M#j b&)-G5`*9@&)%^#+j%,;G5~7g?7@%,58l =5&b-{
7'&)lr\Gb*+%,58kR |;G&)7z%,;G587'&)7FG9'587'58-x%'7_F589@j# 9@l*-{:5~58-G;s*-G:85lm5-H%|%,58:<;G-G&)Z?\{5M=s*7'58k# l}*-G&bF{\G*+%'&b# -{7z# -5Zx\s*a%,&b#-]Q^7@58%_j9'# l%,;G51lm& ]5k?Q^7'&) -s*l}#?kG58 




 
 ! "$#%'&)(+*+%,&)# -./00/10/0/00/0/01/00/0/00/01/
 32 46587'5*9':<;$# =?>@5:A%,&!( 5 0/0/00/0/01/00/0/00/01/
 DC 46587'5*9':<;E*FGFG9@#H*:<; 0/0/00/0/01/00/0/00/01/
 JB KMLONMPRQTSM"VUW00/10/0/00/0/01/00/0/00/01/
 3I Y[Z?\G*+%,&)# -]Q^7@58%_:89'5`*a%,&b#-c/0/00/0/01/00/0/00/01/
 DX ef( 59g(?&b58hi#j%';G51kG#?:\Glm5-H%00/0/01/00/0/00/01/
o prqstRuva 
2]! yz# -H%,&)-?\{# \G7|%,&)l}5~k{# l*+&b-9'58FG9'587'58-x%,*+%,&)# -/00/0/00/01/
2]! ) ~\s*+-x%'&)%^/10/0/00/0/01/00/0/00/01/
2]! 2 N~&!589'58-x%'&**-Gk$*b5=G9'*&b:O5Zx\s*+%'&b# -G70/0/00/01/
2]! 3C U?&blr\G!%<*-{5# \G7z7@%<*a%,5lm5-H%'70/01/00/0/00/01/
2]32 Sf-s*+b# +59'-{50/10/0/00/0/01/00/0/00/01/
MqG[vaq]  A~
C{! Y[*=# 9,*a%,&b#-#jkG57@&b -;G&b589,*9@:<;H 0/01/00/0/00/01/
C{! ) [;s*+7'5mMQzyz#-G7@%'9'\G:A%,&b#-$#jkG587'&b-\{-G&)%'7O*+-Gk$#=?>@5:A%,7_1/
C{! 2 [;s*+7'52Qzyz#-G7@%'9'\G:A%,&b#-$#j:#-x%'&b-x\G# \{767g?7@%,58l 0/01/
C{32 Y[*=# 9,*a%,&b#-#jSM"VU:# -{7@%,9@\G:8%'7 0/01/00/0/00/01/
C{32]) Y[-H%,&!%^kG58:*+9,*+%'&b# -/00/0/01/00/0/00/01/
C{32]2 SO9':<;G&!%,58:8%,\{9'51kG5:8*9'*+%,&)# - 0/01/00/0/00/01/
C{32]3C Y[b*=#9,*+%'&b# -#+j7@&blr\G!%<*-{5# \G7|7g%<*+%'5lm5-H%,70/00/01/
C{32]DB 9'5`*+7@%,*+%,58l}58-x%'7c/00/0/01/00/0/00/01/
C{32]I S%@%,9@&b=G\{%'57_#jZx\s*-H%,&!%,&b5871/0/01/00/0/00/01/
vqs+
BG! 4658kG\G:A%,&b#-%'5:<;G-{&bZx\G51j# 9|:# -{7'59g( 58kV7@?7@%'5l 0/0/00/01/
BG! ) 9,*-G:<;:#-G7@%'&)%,\]%,&)(515Zx\s*+%'&b# -G71/00/0/00/01/
BG! 2 4_5k{\G:8%'&b# -%,58:<;G-G&)Z?\{5 0/0/01/00/0/00/01/
&

2
B
n

I
d

xw


2
C
I
?
n
n
22
2+B
2I
2I
2d
2n
C{
v
CB
CB
CX

BG! 3C M9,*+FG;9'5F{9'57@5-H%<*a%,&b#- 0/0/01/00/0/00/01/


BG32 64 58kG\G:A%,&b#-%'5:<;G-{&bZx\G51j# 9|-G# -]QT:# -{7'59g( 58kV7@?7@%'5l 0/00/01/
BG32]) s9@5515Zx\s*+%'&b# -{7M/0/00/0/01/00/0/00/01/
BG32]2 4_5k{\G:8%'&b# -%,58:<;G-G&)Z?\{5 0/0/01/00/0/00/01/
BG32]3C 4_5F{9'57@5-H%<*a%,&b#-E*-{kE*) # 9@&)%,;{l 1/00/0/00/01/
 xa  ] qs
   rqs  qs  `
I]! Y {F59@&blm5-H%<*+*FGFG9@#H*:<;c0/00/0/01/00/0/00/01/
I]! ) Y (+*)\s*+%,&)# -5-H(?&b9@# -Glm5-H% 0/01/00/0/00/01/
I]! 2 "#]kG58 5-{59,*a%,&b#- /00/0/01/00/0/00/01/
I]! 3C K *+b&bkG*+%,&)# -#jlm5`*7@\G9'58kEks*+%,*\G7'&)-G7@%<*a%,&b7g%,&):`*l}5A%,;G#?k 
I]! DB NM*a%<**-s*+)?7'&)7 /0/00/0/01/00/0/00/01/
/ H ` qs 
      vat
X{! U]\Glml*+9@}#j:8# -G:8b\G7@&b# -c0/00/0/01/00/0/00/01/
X{32 s\{%,\G9@5~hz#9' 00/10/0/00/0/01/00/0/00/01/

CHd
BG
BG
Bx2
BxI

I 
I 
I]
I+B
IX

Xn
d

 $    

]2 !
C{!
C{32
BG!
BG32
BGDC
BGJB
BG3I
BGDX
BG3d
I]!
I]32
I]DC
I]JB
I]3I
I]DX
I]3d
I] 
I]Dn

?U %,58FG7_&b-H( #)( 58k$&)-7'# !(]&)-Gm*7'58%6#j eMN6SfY[76&)-$U


Y 4O4_S /01/
[;s*7'587O#+j9@\G-]QT%'&blm5~5b*=# 9,*+%'&b# -#j *kG587'&b-;{&b59'*9':<;H 0/01/
Y[Z?\{&)(+*b58-H%|j\G-G:8%'&b# -#j*-5 ]FG9@57'7@&b# -EY C Xm0/0/00/01/
S 7'&)l}F{b5m5b58:8%'9'&b:}-G58%^h# 9@:8# -G7'589@(5k 7@?7@%'5l/7';G#h_&)-G =G9,*+-G:<;
(+*9'&b*=Gb5870/00/10/0/00/0/01/00/0/00/01/
Y[Z?\{&)(+*b58-H%}9,*FG;9'58FG9'587'5-H%,*+%,&)# -#js \G9@5EBG!$7@;G#h_&b-G=G9,*+-G:<;
:# -{7@%,&!%,\{%'&)(5M5Zx\s*+%'&b# -G7z/0/00/0/01/00/0/00/01/
U]59@&b587O*+-GkFs*9,*+bb58:8# bb*FG7'&)-G# -&b-{FG\{%_ 9'*FG;R/0/00/01/
Sf) # 9'&!%,;Gl j# 9|={9,*-G:<;$9'58kG\G:8%'&b# -&)-$*:#-G7'589@( 58kV7@?7g%,5l /01/
Sc7'&)l}FG)5~5Zx\s*a%,&b#-E*-{k&!%,7|9@5FG9@57'58-H%<*+%'&b# -$&b-%,9@55 /00/01/
Sf) # 9'&!%,;Gl j# 9j9@5515Zx\s*a%,&b#-$# F]%,&blm&*+%,&)# - 00/0/00/01/
Sf) # 9'&!%,;Gl j# 9|7@&blmFGb&!j ?&b-Gr#-G5M5Zx\s*+%'&b# - /00/0/00/01/
"$58%';G#?kG# b#}j#9|7@%,\{k{?&b-G=G9'*-G:<;9'5k{\G:8%'&b# -%,58:<;G-G&)Z?\{50%'# 58%';G59
h_&)%';EU
Y 464_Sv*l}& ]5k7'&) -s*R7@&blr\{*+%'# 9|/00/0/00/01/
"$58%';G#?kG# b# j# 97g%,\Gk{?&)-G(+*9'&b*=G)5$7@\G=G7@%'&)%'\{%,&)# - %,58:<;G-G&)Z?\{5V%,#+Q
58%';G59|h_&!%,;$U
Y 4O4_Sv*lm& ]5k7@&b -s*+R7'&)lr\G*a%,# 90/00/01/
Sc7'&)l}FG)5M*-s*+b# lm#]k{5R#j9'587'&)7@%,#9O*+-Gk:`*Fs*+:&)%'# 9|-G5A%^hz# 9@ 1/
SW7@&blmFGb5_lm& ]5k}7'&b-s*vl}#?kG58vh_&!%,;*+-s*b#/:8&b9':8\G&)%kG9@&)(?&b-G0kG&) &)%,*
H*+%'57 0/0/00/10/0/00/0/01/00/0/00/01/

^-G:9@5`*7@5E&)-7@&blr\Gb*+%,&)# -
%,&)l}5h_&!%,; -x\Glr=59m#jM=G9'*-G:<;]QT5Zx\s*+%'&b# -G7
j# 9|7':**+=Gb5~lm#?kG5|10/0/00/0/01/00/0/00/01/
yz# lmFs*9'&)7'# -f#j{7@&blr\{*+%'&b# -_%,&)l}5h_&!%,;1*-{k1h_&!%,;G#\{%9'58kG\G:A%,&b#-1%'5:<;]Q
-G&bZx\G50/0/00/10/0/00/0/01/00/0/00/01/
19'*FG;7';G#h_&)-G}:8# -sk{5-G:85r&b-H%,589@(+*)7j# 9_l}5*-$k{&)59'58-G:50#j7'&blQ
\G*a%,&b#-%,&)l}5fj#9_(+*9@&b# \{7=G9,*+-G:<;E58Z?\G*+%,&)# -G7 0/0/00/01/
U?%,\{k{#j=G9,*-{:<;9'58kG\G:A%,&b#-m%'5:<;G-G&)Zx\G56h_&!%,;m=G9,*+-G:<;}9@5kG\{:8%,&)# -j*:8%'# 9

^-G:9@5`*7@5/&)-7'&bl\G*+%'&b# -m%,&)l}5~h_&!%,;-x\Glr=59_#j5Zx\s*+%'&b# -G7 /01/


&)&b&

 X
2
2
CB
HC I
Cn
B
BHX
Bxd
B
I]
I2
IC
I+B
In
X
X{
XH2
XB

I]! yz# lmFs*9'&)7'# -f#j{7@&blr\{*+%'&b# -_%,&)l}5h_&!%,;1*-{k1h_&!%,;G#\{%9'58kG\G:A%,&b#-1%'5:<;]Q


-G&bZx\G50/0/00/10/0/00/0/01/00/0/00/01/ X X
I]!  19'*FG;7';G#h_&)-G}:8# -sk{5-G:85r&b-H%,589@(+*)7j# 9_l}5*-$k{&)59'58-G:50#j7'&blQ
\G*a%,&b#-%,&)l}5fh_&!%,;kG&)59@5-H%_-x\Glr=59_#jj9'55M58Zx\s*+%,&)# -G78{0/01/ HX d
I]!2U]F55k?Q^\GFj*:8%'# 9|(+*9'&b*+%,&)# -h_&)%';$-x\Gl=5896#+j58Z?\G*+%,&)# -G7_=58:`*\{7'5#+j
9'58kG\G:8%'&b# -%'5:<;G-G&)Zx\G5
0/0/00/0/01/00/0/00/01/ X 

 $ 

  

I]!  589@j# 9@l*-{:5


^l}F{9'#( 58l}58-x%Oz58:`*\{7'50#j 9,*-G:<;E4658kG\G:A%,&b#-5:<;?Q
-Gb& Zx\G50/0/00/10/0/00/0/01/00/0/00/01/
I]32 yz# -sk{5-G:850&)-H%,59g(+*j#9l}5*-kG&!589'58-G:5M#j 7@&blr\{*+%'&b# -%,&)l}56h_&)%,;
=G9,*+-G:<;9'58kG\G:8%'&b# -m%,58:<;G-G&bZx\G51*+-Gkh_&)%';G# \{% %,;G*+%zj# 9 ks*+%,*/j9'#l*aQ
=Gb5 I]!5:<;{-G&bZx\G510/0/00/0/01/00/0/00/01/
I]DC 589@j# 9@l*-{:5
^l}F{9'#( 58l}58-x%Oz58:`*\{7'50#j[Ux]l=# )&b:1U?# b\{%'&b# - 5:<;?Q
-G&bZx\G50/0/00/10/0/00/0/01/00/0/00/01/
I]JB yz# -sk{5-G:850&)-H%,59g(+*j#9l}5*-kG&!589'58-G:5M#j 7@&blr\{*+%'&b# -%,&)l}56h_&)%,;
9'58kG\G:8%'&b# -%'5:<;G-G&)Zx\G5*+-Gkh_&!%,;G#\{%|%,;s*a%|j9'# l
*=G)5I?3C{ 01/

Id
I
XC
HX I

t } ] u  ? 

h# \G)k})&b5|%'#0%';s*-Glm*+k{(?&b7'#9N~98 LO*9'# )k ?y*+9@%,589 h_;{# \G&)kG5kmlm5


%,;{9'# \G;G# \{%/l 9@57'5*9':<;
h# 9@.*-Gklm#%'&)(+*+%,58k.l}5h_&)%';;G&)7/58-H%,;x\G7'&b*7@%'&b:m&bkG5*7
# 9'x&b-{}h_&)%';E;G&)l h*+7f9'5*b!( 589@$ 9'5*+%O5 ]F589'&)5-G:85j# 96l}5+
 &)%,;{# \{%O;G&b76:# -?Q
7@%,*-H%6 \G&bkG*-G:5M%';G&b7|9@57'5*9':<;hz#9'h# \G)k$;s*`(5/-G#+%_=585-EF# 7@7'&b={b5

1hz# \{bk b&b+5%,# %';s*-G%';G59'587@%#j6%,;G5$U


Y 4646S %'5`*l j# 9:9@5`*+%'&b-G %,;{5
9'587'5*9':<;F{*+%@j# 9'l h_&!%,; :# -{7@%<*+-x%kG5k{&b:`*a%,&b#-*+-Gk F59@7'58(59'*-G:5+
hz#\Gbk *b7@#
b&)5f%'#r%,;s*+-G}l/#%';G59b*=l}*+%,587_*-Gkj9@&b5-{kG7zh_;G#;G58bF5klm5~&b-h_;s*a%,58(59|hz*
F# 7'7@&b=G)5M&b-l9@57@5`*9@:<;$h# 9'v

hz#\Gbk)&b5%,#~%,;G*-G0lFG*9'58-x%'7 x=G9@#%,;G589 H7@&b7@%'59[*+-Gk#%,;G589j*lm&b!1l}58lQ


=59'7j# 9%,;G58&b9=G)57'7@&b-G7 b#( 5 *-{k0#]#?k~h_&b7@;G57h_;G&):<;/;G58bF5k1lm5 *:<;G&b5A( 5[h_;s*+%'58(59

z:8# \G)k%'&b)-G#h1


   !#"$&%(')*+,- $
"!./ 
"0!#%& 123 %4)657')89:;5.#<

  
       

^-.*-HVk{57'&) -G&)-G*FGF{9'#H*:<; 7@&blr\{*+%'&b# -#j[%,;{5 s-s*=58;s*`(]&)# 9f#+j %';G5r7g]7 Q


%,58l =5&b-{kG57@&b -G58k&)7M*- &b-Gk{&b7'F5-{7,*=G)5r7@%'5FR s9@# l *:&)9':8\G&)%Mk{57'&) -G589 J70F# &)-x%
#j0(?&b58h %,;{&b77@%'5F&b-H( #)( 5877@%,\{k{#j0%,;G5.=5;s*`(?&b#9#j0:&b9@:\G&!%,7=5&)-G kG57@&b -{5k
h_&)%'; l}&)-G&bl}*[%,&)l}5 5A#9@%}*-Gk :#7@%` s# 9kG&) &)%,* :&b9@:\G&!%,7* kG587'&b-G59;s*77@58(HQ
59'*G&) &)%,* :&)9':8\G&)%17@&blr\Gb*+%,#9M*-Gk;s*9'k]h*9@5}k{57':89'&)F{%,&)# -b*-G \G* 571)&b5r(59@&bb#
*-Gk$KMLfNMP *`(+*&)*=G)5M%,#7@\GFGF# 9@%~7@%,\{k{E#+j %,;G5/=58;s*`(?&b# 9O#j[kG&) &)%,*:&)9':\{&)%,78 s# 9
*-s*+b# 07'&)lr\G*a%,&b#- xU{
gyY JC C !QTb&)5|%,#?# b7 *9@5~*`(+*&bb*=G)5h_;G&):<;;G58bF}%';G5fk{57'&) -G589
7@%'\Gk{E=58;s*`(]&)# 9~#j*-G*b# }:&)9':\{&)%,781z\{%~%';G5kG587'&b-G59~:8# lmlr\G-G&!%^$&)7fj*:85kVh_&)%';
:<;s*)b58-G 57h_;G5-&!%kG587'&b-G7lm& ]5k7@&b -G*:8&b9@:\G&!%,7%';s*+%|-{55k*rlm& ]58k7'&) -s*7'&)lQ
\Gb*+%,&)# -r5-H(?&b9@# -Glm5-H%[h_;G589'5|=#%,;kG&) &)%,*?*-Gkm*-s*)# ~7@&blr\Gb*+%,&)# -G7:`*-=5|9'\G-&)-*
7@?-G:<;{9'# -G& 58k l*-{-G598 |;G&)7O-G58:587'7'&!%^#j[9'\{-G-G&b-{}=#%,;kG&) &)%,**-GkE*-s*)# 7'&)lQ

\Gb*+%,&)# - %'# 5A%,;G589r*9@&b7'587r*7/7'&)lr\G*a%,&b-{%';G5l &)-GkG5F5-{kG5-H%,!k{#]587-G#%/%<*+5&b-H%'#


:#-G7'&)kG59'*+%,&)# -/%';G5b# *kG&b-{65A58:8%'7[:`*\G7@5k=H/# -G5z#-%,;G5#%,;{59Sfb7@#  *a%(59@;G&b;
7'F558k RkG&) &)%,*:&)9':8\G&)%'76%'5-GkV%'#=58;s*`( 5)&b5/*-s*+b# m:&)9':\{&)%,78MU]&)lr\Gb*+%,&)-G5`*:<; &)&b7@# *a%,&b#-:*- F#%'5-H%,&b*b!.l}&)7'7/59'9@# 9'7r%';s*+%*+9'&b7@5}h_;G58- %';G58
*9'5:# -G-{5:8%'5k %,#+Q
5A%,;G589 &)%';m%';G5f5A( # !(?&b-G0-G558kj# 9*/7@&blr\Gb*+%,#9 %,;s*+% :*-7'&)lr\Gb*+%,5|lm& ]5k}7'&) -s*
kG587'&b-G7_lr\G:<;58# 9@%_;s*+7|=585-kG&b9@5:8%'5k%,#hz*9'kG7_kG5A( 58b# FG&)-G}*;{&b ;]QTF589@j# 9@l*+-G:5
lm& ]5k]QT7'&) -s* 7'&)lr\Gb*+%,# 9 J2]  U?\G:<; *7'&bl\G*+%'# 967';G# \{bk =5*=G)5%,#7@&blr\{*+%'5kG5 Q
7'&) -G7;s*`(?&b-GO=#%';kG&) &)%,*H*-{k*-s*)# _:# -{7@%,9@\G:8%'7 &b-/*O:8# ;G589'5-H%[58-H(]&)9'# -{l}58-x%h_&)%';
FG9@# F589_7@?-G:<;G9@# -G&*+%,&)# -*-Gk #?#]kF59gj# 9'l}*-G:85


  


| ;G5~-{55kj#9z*;{&b ;}7'F55klm& ]58k]Q^7@&b -s*+s7'&bl\G*+%'# 9 l}#+%,&)(+*+%'5k%,;G&)7z7g%,\Gk{


#j65-{;s*-G:8&b-G %,;{5F589@j# 9@l*-{:5#jO* l}& ]5k 7'&) -s*7'&)lr\G*a%,&b#-=H 9'58kG\G:8&b-G %,;{5
5b*=# 9,*+%'5kM7@58 % #j{e~9'kG&)-s*9g~N~&!589'5-H%'&*aSf) 5=G9'*&b: Y ]FG9@57@7'&b#-G7  e1N_S~Y[7 A ;G&)b5
h# 9'x&b-{h_&)%';U
Y 4646S  * KMLONMPQ^SM"EU 7'&)lr\Gb*+%,# 9\{-GkG59}kG58(5)# FGlm5-H%*+%m%,;{5
 -{&)( 589'7@&)%^#j yz&)-G:&)-G-s*+%'& G&!%Ohz*7Oj#\G-Gk$%';s*+%6%,;G50&b-{:9'5*7'5/&b-7'&)lr\G*a%,&b#-%'&blm5M#j
lm& ]5k07'&) -s*H7@&blr\Gb*+%,&)# -~hz*7k{\G5 %'#6%';G5 l*+%'9'& ?QT=G\G&)bkMFG;s*+7'5 #j{%';G5z*+-s*b#6+59@-G5 
|;G&)7~FG;s*7@5&b-H( # !( 587M\G7'5#j *+-*+\{%,# l}*+%'&b:0kG&)59@5-H%,&b*+%,&)# -EFs*+:<+*+ 5S~N1eMPQgy CHd 
!"$#%'&()*#,+-(.#%/0$#1()*#,23547698:(;#)/0#<+-(=!>#%+-?>@&$2A#%=!"$#%+B ?27#%/>C&'()+-D!?
/>+-""E"/GF<H2I!%()+-J;K>$#%+B ?

j# 9 s-Gk{&b-G0%,;G5 *:#=G&*- JC  v#j *17@?7@%'5l#jR58Zx\s*+%,&)# -G7*+% 58(59@m%,&)l}5|F# &)-x% |;G&)7


FG;s*+7'5}hz*7r#=G7'589@( 58k
%,#E%,*5*9'#\G-Gk I aQ X #j%,;{5}%,&)l}5%,*58-
=H%';G5*-G*b#
589'-G58 
Sf-H}l}& ]5k7@&b -G*v7'&bl\G*+%'# 9 -G558kG7z%'#r7'# !( 5f*/7@?7g%,5l #j58Z?\G*+%,&)# -G7h_;{&b:<;
:`*+-=5$b&)-G5`*9# 9m-G# -?Q^b&)-G5`*+9}*+-Gk kG&!589'58-x%'&*_# 9*b5=G9'*&b:&b- -s*+%'\G9'5+iU?# )(?&b-{
%,;{&b7 7'5A%#j5Zx\s*+%'&b# -G7*+%z*-H%,&)l}5|F# &b-H% &b-H(# )(57%'9,*-{7@j# 9@l}&)-GM%,;G567'5A%z#jR 5-G589,*
5Zx\s*a%,&b#-G7  e1N_S~Y[7 &b-H%'#~*f7@58% #+jsb&)-G5`*9*) 5={9,*&): 58Zx\s*+%,&)# -G7#jG%,;{5j# 9@l 

h_;G589' 5  &)7f*7'Zx\s*9@5l}*+%,9@& *-G k .*-G k
M*9'5M( 58:8%'# 9'78 #}7'# !( 5 
vj# 9 
5&!%,;G589M*  lm58%,;{#]k # 9~*- !"#Ol}5A%,;G#?k :`*-.=5\G7'58kRS kG&b9@5:8%1lm58%';G#?k
:#l}FG\]%,57}*- 5 {*:A%*-{7@h59 &b -{# 9'&)-G 9'# \{-Gk]Q^#+ &b-* G-G&)%'5-x\Gl=589}#jO7@%'5FG78
Sf-&)%'59'*+%,&!( 5Mlm58%,;{#]k:#l}FG\]%,576*7'58Zx\G5-G:85r#j*FGFG9@# {&)l*a%,&b#-G7z%,;G*+% ;G#F5Aj\Gb! 
:#-x(59@ 5|%,#~%,;{55 {*:A% *-G7@h598  7@\s*b!/%';G5kG&)9'58:8%[lm58%';G#]k&)7FG9@58j589'9'58k}&)-rlm& ]5k]Q
7'&) -s* 7@&blr\Gb*+%,&)# - #(59r&!%,589,*+%'&)( 5mlm58%,;{#]kj#9*-5 {*:8%r7'# )\{%,&)# -R|;?\{7 [l}*+%,9@& 
-G585kG7M%'#=5r:89'5*+%,58k*a%M58(59@E%,&blm5AQTF#&b-H%_%,;G57g]7g%,58l &b7O7'# !( 5k|;G&)7~l}*+%,9@& 
=G\G&)bkmFG;s*7@5O&)7 (59gm%'&blm5_:# -G7@\Glm&b-G/*7 58( 589@}5Zx\s*+%'&b# -}&b-%,;G567@?7g%,5l %<*+57Fs*9g%
&b-%';G51:9'5*+%,&)# -#jl*+%'9'& $/

Tj[&)-$7@# l}5Mhz*`%';G57@558Z?\G*+%,&)# -G76:# \G)k$=509'5k{\G:58kV7'\G:<;$%,;s*+%6%,;{5/7g]7g%,58l


=5;s*`(?&b# 9M9@5l}*&b-{7M\G-G:<;s*-{ 5k %,;G58-7@&blr\Gb*+%,&)# -$h# \G)k=5rj*7g%,590*7M%';G59@5h# \G)k
=5j5Ahz589}58Zx\s*+%,&)# -G7j# 9r%';G5l*+%'9'& 
=G\{&bbk *-{k#%';G597g%<* 587#jf7@# )(?&)-G %,;G57'5A%
#jz5Zx\s*+%'&b# -G78LO58-G:5m%,;G5ml*+&b-. #H* *-{klm#%,&!(+*+%,&)# - =58;G&b-{k# \G917g%,\Gk{ hz*70%'#
C

9'58kG\G:85f%,;G56-x\Glr=59#jR58Z?\G*+%,&)# -G7h_&!%,;G#\{%zlm#?kG&)j ?&b-{~%,;G5O=58;s*`(]&)# 9 #j%';G5f7g]7g%,58l


=5&b-{m7@&blr\{*+%'5kR


 


1


| ;G50# =?>@58:8%,&!( 51#j%,;G519@57'5*9':<;$9'58F# 9g%,58k$&)-%';G&b7%';G57@&b7|hz*76%'#&b-H( 587@%,&)H*+%'5


5Zx\s*a%,&b#-9'58kG\G:A%,&b#-%,58:<;G-G&bZx\G587r%,#$7'F55k?Q^\GF lm& ]5k7'&) -s* 7'&)lr\Gb*+%,&)# -RU?F58:& ]Q
:`*+b){# \{96#=?>@5:A%,&)(57_hz589'51%,#
[9'#F# 7@5[l}5A%,;G#?kG7R%'#|9'5k{\G:5 %,;G5[58*=# 9'*+%,58kM7'58% #+j{58Z?\G*+%,&)# -G7R%,;{59'58=HM7'F558k]Q
&)-G\GFl}& {58k7'&b-s*R7@&blr\Gb*+%,&)# yz# lmFs*9@5%';G57@&blr\Gb*+%,&)# -9'\G- h_&)%,;i*-GkWh_&!%,;G# \]%$%';G5 *=#( 5lm5-H%'&b# -G58k
lm58%';G#]k{7
SO-s*)850%';G5/9@57@\G)%'7O# =]%<*&)-G5k=H$:8# lmFs*9'&)7'# - GkG9,*`h :8# -G:)\G7'&)# -G76*-Gk$7'\GaQ
587@%69'58:# lmlm5-Gks*a%,&b#-G7zj# 9j\{%'\G9'5Mh# 9'v
U?%,*+%,&):0)&b-G5*9|:&)9':8\G&)%'7_h_&!%,;7'&)l}FG)5M7'# \{9':587Oj# 9@l %,;{5/=s*+7'&b7|j# 96*):&)9':\{&)%,7
*-Gk%,;x\G79@5FG9@57'58-H%**9@ 5:*+7'7#+jM\G7'5Aj\G~:8&b9':8\G&)%'7 |;G59@58j# 9@5|%,;{5V7':8# F5$#j
%,;{&b7~9@57'5*9':<;.hz*7Mb&)l}&!%,5k%,#&)l}FG9@#(]&)-G7@&blr\Gb*+%,&)# -7'F55k.j# 9~:8&b9@:\G&!%,7Oh_&!%,; %,;{5
j# )b#h_&b-GFG9'# F59g%,&)57
P&b-{5`*9|:8&b9':8\G&)%'7
B






yz&)9':\{&)%,7h_&!%,;-G# -?Q^kG58F58-GkG5-H%O7'# \{9':587


U?%,*+%,&):}-G*+%,\G9@5#j_:8&b9':8\G&)%'7  & D5+ %,;G558Zx\s*+%,&)# -]QT7'58%9'58FG9'587'5-H%'&b-GV%';G5lm& ]5k]Q
7@&b -s*+{lm#]kG58G9'58l*+&b-G7 :8# -G7g%<*-H%*-GkkG#?57 -G#%[(+*9g*+% k{&)59'58-H%[%,&blm5AQTF#&b-H%,7
kG58F58-GkG&)-G}\{F# -7@# l}51:8# -GkG&!%,&b#-R

 

  

| ;G&)7%,;G587'&b7|F{9'#(?&bkG587|:# -G:85F{%'7f*+-Gk%,58:<;G-G&bZx\G5876j#95-G;G*-G:&)-G%,;G5MF59gj# 9gQ


l}*-G:5/#j *-G*b# mlm& ]5k$7'&b-s*7'&bl\G*+%'&b# -=HF589@j# 9@l}&)-Gm# F{%,&)l}& `*+%'&b# -{7|# -E%,;{5
5b*=# 9,*+%'5k7'5A%6#j7@&blr\{)%<*+-G5# \{7|5Zx\s*+%'&b# -G7|=5&)-G7'&)lr\G*a%,5k

^-*-H *-s*)# lm& ]5k 7'&) -s*|lm#?kG5 [:# -H%,&)-x\G# \G7 QT%,&)l}5(+*9@&*={b57r*9'5kG5 Q
s-G58k&b- %,589'lm7#jMZx\s*+-x%'&)%'&b5784658*+%'&b# -G7@;G&bF{7=5A%^hz585-kG&)59@5-H%Zx\s*+-x%'&)%'&b57}*9@5
5 ]FG9@57@7'5k &b-
%,589'lm7#j67'&)lr\G)%,*-G58# \G7r7g%<*+%'5lm5-H%,7%,;G*+%9'58FG9'587'5-H%'7}# 9@kG&b-G*9@kG&)jQ
j59@5-H%,&b**b5=G9'*&b:M5 {F{9'57@7'&)# -G7  e1N_S~Y[7 AOe~F{%,&)l}& `*+%'&b# -&)-$%';G&b76:# -H%'5 ?%~lm5`*-{7
%,;G*+%1%,;G55Zx\s*a%,&b#-]Q^7@58%0-G558kG5k %,#7'&)lr\Gb*+%,5%';G5ml}#?kG5;s*7Mj58h5905Zx\s*+%'&b# -{7/*+-Gk
(+*9'&b*=G)57h_&)%';G# \{%lm#]kG&!j ?&b-G|%,;{59@5*a%,&b#-G7';G&)FG7 #j{%';G5zk{57'&)9'58k/(+*9'&b*=G)57 kG57@:9@&b=5k
&b-r%';G5_l}#?kG58  |;G5_:# 7g% #j7@# )(?&)-GM*M7@?7@%'5l #jkG&!589'5-H%'&*{*b 58=G9,*+&b:z58Zx\s*+%,&)# -G7[&)7
e     xh_;{59'5 &)7 %';G5O-x\Gl=589z#j(*+9'&*+=Gb587*+-Gk;G58-G:5f-?\{lr=589#+j5Zx\s*+%'&b# -{7
&b-m%,;G5f7@?7@%'5l %'#r=5~7'# !( 58kR |;G&b7:# 7g%|&b77'\G={7@%<*+-x%'&*vj# 9*9@ 5 
T%|&b7kG57@&b9'*=Gb5
%,#9'58kG\G:85 =x.58b&)l}&)-s*+%,&)-GZx\s*+-x%'&)%'&b571j9'#l%,;G5mlm#]kG58%,;G*+%r*+9'5-G#%09'58Zx\G&b9@5k


j# 9%';G51# \{%,F{\{%O*-s*!]7@&b7|#j%,;{507@&blr\{*+%'&b# -R


5mF{9'# F# 7'5%,;G*+%M%,;G5j# )b#h_&b-G}%,5:<;{-G&bZx\G5m9'58kG\G:587
*-Gk.%,;x\G709'58kG\G:857
%,;{505 ]5:\]%,&b#-%'&blm5~#j lm& ]58k]Q^7@&b -s*+7@&blr\Gb*+%,&)# -R

^kG58-H%,&)j *-{k9'58kG\G:85%,;G5m7'589'&)57r*+-Gk
Fs*9'*b)5 :8# -G7g%,9'\{:8%,7&b-%';G5:8# -G7@59@(5k
7g]7g%,58l%,;G589'58=x.:89'5*+%,&)-G*- 5Zx\G&!(+*b58-x%~l}#?kG5h_&)%';.j5Ahz589M=G9,*+-G:<;:8# -G7g%,&!Q
%'\{%,&!( 515Zx\s*+%'&b# -{7

^kG58-H%,&)j *-Gk9'58l}#( 5M%'9,*-G7@&)%'&)( 5M:<;G*&b-G7_#j58Z?\G*+%,&)# -G7|%,#5)&blm&b-s*a%,5O*7_l*-H


Zx\s*-H%'&)%,&)57*+7F# 7@7'&)=Gb5E*-Gk%,;G58-9'5k{\G:&)-G
%,;G5 -x\Gl=589#j15Zx\s*+%'&b# -{7=x
7g]l=# )&b:~7@\G=G7g%,&)%'\{%,&)# -#j%,;G519'58kG\G:85kEZx\s*+-x%'&)%'&b576*7_-G58:587'7,*+9@ 








MK LONMPQ^SM"EU C XG&b7[*-5 ]%'5-G7@&b# -m#jKMLONMP  KML~U


gy Lf*+9'k{hz*9'56N~587':9@&bF]Q
%,&)# -P *-G \G* 5  %,#17'\GF{F# 9g% =#+%,;m*-s*)# M*-{kmk{&b &!%<*?:&)9':\{&)% k{57':89'&)F{%,&)# -m*-Gk7'&)lQ
\Gb*+%,&)# -R/K~LfNMP &)7~%,;G5;s*+9'k{hz*9'5kG587':89'&bF]%,&b#- b*-G \G* 5h_;G&):<;k{57':89'&)=587/kG&) &)%,*
:&)9':8\G&)%'7&b-
*-H#j_=5;G*(?&)# 9,* 7g%,9'\{:8%,\{9,*|*+-Gk
9'58 &b7g%,589%,9'*-G7@j589)58( 58zj# 9@l *+-Gk
j*:8&bb&!%<*+%'57%,;G58&b9 7@&blr\Gb*+%,&)# -RU]\G:<;m7'&)lr\Gb*+%,&)# -r&b7Z?\{&)%,5|&)-GkG58F58-GkG5-H%#jv%,;G56*-G*b#
:&)9':8\G&)%'7KMLONMP
&b7_&b-{:`*Fs*+=Gb51#j[k{57':89'&)=G&b-G*-s*)# :&)9':\{&)%,76&b-:#-a>@\G-G:A%,&b#-$h_&)%';
kG&) &)%,*[:&)9':\{&)%,7/l*+?&)-G%,;G5k{57'&) -G5897'&)lr\Gb*+%,5}*-s*)# $*-Gk
kG&) &)%,*[:#l}F# -G58-x%'7




')F +BD /H''& ?#)'D!"$#)@& +-%EK>+B#%(

&b-{kG5F5-Gk{5-H%,! P *:<E#j|*- 5-H(?&b9@# -Glm5-H%1h_;G59@5}=#%';kG&) &)%,* *+-Gk*+-s*b#FG*9@%'7


#j~*kG587'&b- :`*+- =5$7@&blr\Gb*+%,58k %'# 5A%,;G589}&)- *.7@?-G:<;G9@# -G& 5kl}*-G-{59m:`*-:`*\G7@5
&b-G*::8\G9,*:8&b587|&b-%,;G51kG587'&) -R

^-#9'kG589%'#Oj*:8&bb&!%<*+%'5%,;{5z7'&)lr\Gb*+%,&)# -M#j{%';G5*+-s*b#O*+-Gk/%';G5k{&b &!%<* :8# lmF#+Q


-G58-x%'7z%,# 58%';G59&b-*/:# ;G589'58-x%5-H(?&b9'#-Gl}58-H% {5 ?%,5-{7'&b#-G7z%,#/7'\GF{F# 9g%|SM"EU SO-s*b#
"$& {58kU]&) -s* ;G*(5=55-*+kGkG5k/%,#fK~LfNMP[KMLfNMPQTSM"VU/&)7:*Fs*={b5z#+jskG57@:9@&b=G&)-G
=#%,;%,;G5/*-s*+b# m*-Gk%,;{5/kG&) &)%,*RFs*+9@%6#j[*kG587'&b-$&)-E*( 589@9'# ={\G7@%Ol*+-G-G598 #
9'58FG9'587'58-x%z*-s*+b# :# -H%,&)-x\G# \G7 %'&blm5 :8# -G7@%'9'\G:A%,7 &b-*Mlm& ]5k]QT7'&) -s*?l}#?kG58{KMLONMPRQ
SM"EU/FG9'#(?&bk{57[*   " 9'58FG9'587'5-H%'&b-G1*-\G-Gx-G#h_-r(+*9'&b*=Gb5 *-{k * 
   
 
  h_;G&):<; kG587':89'&b=57%,;{5$9@5*a%,&b#-G7';G&)F =5A%^hz585-k{&)59'58-H%Zx\s*-H%'&)%,&)57m*F]Q
F5`*9@&b-G&)-%,;s*+%7@%<*a%,5lm5-H% |;{59'50*9@5~7'5A( 589,**+%@%,9'&)=G\{%'57|*7@7'#?:&b*+%,58kh_&!%,;Zx\s*-?Q
%,&!%,&)57[%,#0j*:&)b&)%,*+%,5zl}& {58k7@&b -s*+lm#?kG5)&b-GG[9'#F589z7@?-G:<;{9'# -G& `*+%'&b# -}=5A%^hz585-%,;{5
*-s*+b# 0*-Gkm%,;G56kG&) &)%,*{:8# l}F# -G58-H%,7 &b7*:<;G&b5A( 58k=H*-G\s* 5_:#-G7@%'9'\G:A%,7z&)( 58-&)KMLONMPQ^SM"EU


  



 

 

fS 7 5 {F{*&)-G5k0&b-M%,;{5 F{9'58(?&)# \G7 7'58:8%,&)# - a9'58*+%'&b# -G7@;G&bF{7R #( 589'-G&)-G6%';G5 Z?\G*-H%,&!Q


%,&)57[*+9'5kG587':89'&b=5k=Hr7@&blr\{)%<*+-G5# \{77@%,*+%,58l}58-H%,7 |;{57'5_7@&blr\G!%<*-{5# \G77@%,*+%,58l}58-x%'7
*9@50#+j%';G517'58(59'* ?&)-GkG76*7|j# )b#h_7


7@&blmFGb5~7@&blr\{)%<*+-G5# \{7|7@%<*a%,5lm5-H%
7@&blr\G!%<*-{5# \G7|&!j7@%<*a%,5lm5-H%
7@&blr\G!%<*-{5# \G7|:*7'517g%<*+%'5lm5-H%
7@&blr\G!%<*-{5# \G7|F{9'#?:5k{\G9,*7g%<*+%'5lm5-H%
7@&blr\G!%<*-{5# \G7|-x\G)R7@%,*+%,58l}58-H%
|;G587'57'&bl\G)%,*-G5#\G77@%,*+%,58l}58-x%'7*+9'57':*+%'%'59@5k%';G9'#\G ;G# \]%m%';G5KMLONMPRQ
SM"EU$l}#?kG58k{57':89'&)=G&b-G%,;{5kG587'&b-R_SfbR%';G57@5r7'&)lr\G!%<*-G58# \G7_7@%,*+%,58l}58-H%,7~*+9'55 xQ
%,9'*:8%'5kj9@# l%';G5kG587'&) -
*-{kFG\{%/%,# 58%,;{591%,#E9@5FG9@57@5-H%*7'58%#j|7@&blr\G!%<*-{5# \G7
5Zx\s*a%,&b#-G7O%'#=5/7'# !( 58kV=H$%';G5r*-G*b# }589'-G58#j[%';G5/K~LfNMPQ^S~"VU$7'&)lr\Gb*+%,# 9j#9
Zx\s*-H%,&!%,&)57rkG5 s-G58k &)-%,;{5l}#?kG58  |;{57'58%#+j_5Zx\s*+%'&b# -G7  h_;G&b:<; -{58( 589:<;s*-G 587
kG\G9@&b-G%,;G5m5-H%'&b9'5}7'&)lr\G*a%,&b#- 9'\G- &b70:`*)b58k %';G5     #+j5Zx\s*a%,&b#-G7Sf-?Q
#%';G59 7'5A%z#+jR5Zx\s*a%,&b#-G7z*+9'5_# ={%,*&b-G58k}=H%';G5O:8# -G7@5Zx\G5-{:57|#+j%';G5Ok{5:b*9,*a%,&b#-}*+-Gk
%,;{5}*+7'7'#?:&b*+%,&)# - #jzZ?\G*-H%,&)%'&b5871*-Gk.%,59@l}&)-s*)7 |;G&)71&b7M:`*+bb58k %,;G5 "   !   
|;G55 ]FG)&b:8&)%7@58%m*-Gk 7@%'9'\G:A%,\G9'*7@58%j# 9'l %,;G5=G*7'&):7'58%m#jO5Zx\s*a%,&b#-G7rh_;G&b:<; &)7
*\Gl}58-x%'5k
=H# -G5#\{%r#j F# 7'7@&b=G! M7'5A( 589,*  
        JC X %'#VkG5 G-G5
%,;{5:# lmFGb5A%,57@58%#j67@&blr\G!%<*-{5# \G75Zx\s*+%'&b# -G7r%'# =57@# )(5k *+%5*:<; %,&blm5F# &)-x%
kG\G9@&b-GM%';G5|7'&)lr\G*a%,&b#-ReM-{:5_%,;G&)7[5Zx\s*+%'&b# -]QT7'5A% ;s*7 =585-m:9@5`*+%'5k%,;G58-}9@5kG\G:A%,&)# # -/&)%*7F{9'# F# 7'58kr&b-0%,;G&)7%,;G587'&b7&b7F589@j# 9@l}58k/%'#f# ={%,*&b-1%,;{5z9'58kG\G:85k5Zx\s*a%,&b#-]Q^7@58%`
|;G&)76#-G5AQ %,&blm5f9@5kG\{:8%,&)# -&b7|kG# -{5M# -G)}j# 9%,;{505 ]FGb&):&)%|*-Gk7@%'9'\G:A%,\G9'*7'5A%6h_;{&b:<;







9'58l*+&b-.:# -{7@%<*+-x%/%,;G9@# \G ;{# \{%0%,;G5m7'&)lr\G*a%,&b#-Rm4658kG\G:8%'&b# -#jz%';G5}*\G lm5-H%<*a%,&b#7'5A%6;s*7_=585-$b58j %zj# 9j\{%,\{9'519'587'5`*+9':<;V*+:8%,&!(?&)%^ 





 


 



  C  


|;G&)7_%';G57@&b7_&b7|#9'H*-{&58k*7|j# b)#h_7
q{ x FG9'#(?&bkG587%,;G59'587'5*9':<;# =?>@5:A%,&!( 5l}#+%,&)(+*+%'&b# - FG9@# =Gb58l 7g%<*+%'5lm5-H%
*-Gk9'587'5*9':<;E*FGFG9@#H*:<;R
q{ xVo FG9@#(?&)kG571*kG5A%<*&)b58kVkG57@:9@&bF{%'&b# - #j*lm58%';G#]kV%'#7'# !( 5*7g]7g%,58l #j
b&)-G5`*+9 58Zx\s*+%,&)# -G7z*-Gk}(+*9@&b# \{77g%<* 587&b-H(# )(5k*7 =s*:<x 9@# \G-Gk%'#;G58bF#-G5f\G-{kG59 Q
7@%,*-Gk%,;G&)7hz#9'v
q{ x} FG9'587'5-H%'7%,;G5~:8# -G:85F{%|#+j 9'\G-]Q %,&)l}565b*=#9,*+%'&b# -}*-Gk;{#h%';s*+%&)7zF59 Q
j# 9@l}58k#-$*;G&)59,*+9':<;G&):`*Rk{57'&) -=5Aj# 9'517@&blr\Gb*+%,&)# -%,*5876F{*:85
q{ x FG9'#(?&bkG587%,;{5*FGF{9'#H*:<;%<*+5-
%,#E7'\GFGF# 9g%%,;{5}%,;{57'&)7*7@7'59g%,&)# -R
T%
9'58FG9'587'58-x%'7O%';G51kG58%,*&b)5k*b# 9'&!%,;Glm7 j#9|5Zx\s*+%'&b# -9'58kG\G:8%'&b# -%'5:<;G-G&)Zx\G578
q{ x  F{9'57@5-H%,7 %';G5 5 ]F589'&)l}58-x%,*?9'57@\G)%'7*+-Gk*-s*+)?7'&)7 |;G&b7:<;s*F{%'597';G#h_7
%,;G*+%_%,;G589'50&b7_&b-Gk{55kF59@j#9'l}*-G:51&)l}FG9@#( 5lm5-H%6=5:`*+\G7'50#j%';G51hz# 9@FG9'587'58-x%'5k
&b-%';G&b7%';G57@&b7
q{ x
  ;s*70:#-G:)\G7'&)# -
*-{k7'\{ 57g%,&)# -j# 9Mj\{%'\G9'5h# 9'.=s*7@5k
#-%,;{&b719'5 Q
7'5*9':<;

 
  

    

]U # !(?&b-G*$7g?7@%,58l #j|5Zx\s*a%,&b#-G7/&)7M%,;G5m=s*:<x=# -G5#+j|*$lm& ]58k]Q^7@&b -s*+ 7'&)lQ


\Gb*+%,&)# -E58-x(?&)9'# -Glm5-H%/Slm& ]58k]Q^7@&b -s*+7@&blr\Gb*+%,&)# -5-H(?&b9'#-Gl}58-H%1;s*7~:8# -H%,&b-x\G#\G7
%,&)l}5 (+*9'&b*=Gb587 *-{k9'5b*+%,&)# -G7@;G&bFG7=5A%^hz585-m%,;G58l &b7 &)(5-=H*~7@58% #j# 9@kG&b-s*+9@0kG&)jQ
j59@5-H%,&b**b 58=G9,*+&b:05Zx\s*+%'&b# -G78 #7@%,\{k{E%';G5r=5;s*`(?&b# 9O#j*lm& ]5kV7@&b -G*lm#?kG5
%,;{&b77'5A%#jf5Zx\s*+%'&b# -G7m&b77@# )(5k*a%}7@58(59,*+O%,&)l}5F# &)-x%'7U]&blr\{*+%'&b# -
%'&blm5&b7m*
lm# -G#%'# -G&b:*b!V&)-G:9@5`*7@&b-Gj\G-G:A%,&b#-
#j%';G5-x\Glr=59/#j_5Zx\s*a%,&b#-G7r*-{k%,;{5-x\GlQ
=591#j7@&blr\{*+%'&b# - F# &b-H%'70-{55k{5k
&)-*7'&)lr\Gb*+%,&)# - 9'\G-
 s# 91*+9' 589Ml}#?kG5)7~%,;s*a%
*9@50(59@$lr\G:<;E-G558kG5kV&)-EFG9'*:8%'&b:*7'&!%,\s*+%'&b# - s7'\G:<; :8# -H%,&b-x\G#\G7O%'&blm507@&blr\{*+%'&b# :`*+\G7'587kG5b*`&b-}*/kG587'&b-FG9@#]:857'7z=58:`*\G7@5f7@&blr\Gb*+%,&)# -&b7*-}&b-GkG&)7'F5-G7'*=G)567g%,58F#j
%,;{5/kG587'&) -EFG9@#]:857@7Oe~\G9O7g%,\Gk]$;G*7f=558-VF589@j# 9@l}58k$#-$%,;{50K~LfNMPQ^S~"VU7@&blr\]Q
*a%,# 9~U
Y 4O4_S \G-GkG5891kG58(5b#FGl}58-H%0*+%M%,;G5N~&)7@%'9'&b={\{%,58k. 9@#]:857@7'&b-{$P *=# 9'*+%,# 9g 


{- &)( 589'7@&)%^ #j0yz&)-G:&)-G-s*+%'&  U]# |*.=G9@&b58jf#( 59g(?&b58h #+j~KMLONMPRQTSM"VU


h_&)%'; 9@57'F5:A%
%,#:8# -H%,&)-?\{# \G7M%,&)l}5/kG# l}*&b- ;s*+7M=585-.FG9'587'58-x%'5k;G59@5 |;G&b71:<;s*F]%,5917g%<*9g%,7~h_&)%';
;G#h :# -H%,&)-x\G# \G7%,&)l}5m(+*9'&b*=Gb587*9@59'58FG9'587'5-H%'5k &)-
%,;G5K~LfNMPQ^S~"VU
*-{ \s* 5
*-Gk%';G5-&)%FG9'#?:585kG7|%,#kG&)7':8\G7'7|%,;{5M9'5b*+%,&)# -G7@;G&bFG7z=5A%^hz585-$%';G5l &b-%';G5Mj# 9'l#j
# 9@kG&b-s*+9@k{&)59'58-H%,&*+R*) 5=G9'*&b:f5 ]FG9'587'7@&b# -G7 eMN_S~Y[7 |*-{k$;G#h %,;G587'5/*9'5M7@# )(5k
%,# s-{k%';G5M(*+b\G5876#+j:8# -H%,&b-x\G#\G7|%,&blm5f(+*9@&*=G)57_*+%_7@58(59,*+ %'&blm5~F# &b-H%,78




  G   


  





G

  

C   

  

]U &)-G:5 hz5|;s*`(5|\G7'58kmU
Y 4O4_S+&b-G7@FG&b9@5kj9@# l U{Y[SM"VU J2]  H*OK~LfNMPQ^S~"VU
7'&)lr\Gb*+%,# 9 %,#7g%,\Gk]%,;G5O%,5:<;{-G&bZx\G5Mj# 99@5kG\{:&b-{r%,;G5M-x\Glr=59z#j5Zx\s*+%'&b# -G7_*r={9'&b5Aj
kG587':9@&bF{%'&b# -m#j;G#hKMLONMPQ^SM"EU9@5FG9@57'58-H%,7z:8# -H%,&)-?\{# \G7 %,&blm5(+*9'&b*=G)57[*-{km%';G5&)9
9'58*+%'&b# -{7';G&)FG7&b7|F{9'57@5-H%,58kV&b-%';G&b7|7@5:8%'&b# -
  

R* -6 "-

S   "$&b7}%';G5$K~LfNMPQ^S~"VU9@5FG9@57'58-H%<*+%'&b# -j# 9*:8# -H%,&b-x\G#\G7%,&)l}5


(+*9'&b*=G)5]h_;{&b:<;&b7_\G7'58k%'#}k{5 s-G5/*7@?7@%'5l &b-H(# )(?&b-{:# -H%,&)-x\G# \G7_%,&)l}5f(+*9@&*={b57
&b-~%';G5[%,5 ]%#j]*|lm#]kG58 ~\s*-H%'&)%,&)57 *9@5[FG&b58:5Ah_&b7'5[:8# -H%,&)-?\{# \G7h_&)%';/* s-{&)%,5[-x\Gl=589
#j kG&)7':#-x%'&b-x\G&!%,&b5871S Zx\s*-H%,&!%^V&)7M*- # =?>@58:8%1&)-VKMLfNMPQTSM"VU$h_;G&):<;.;s*71*(+*b\G5
*7@7'#?:&*a%,5kh_&)%';V&)%_j# 9658(59@$%,&)l}51F# &b-H%f*+%Oh_;{&b:<;E%';G5lm#]k{5 &b767'&)lr\G*a%,5k |;G5




(+*b\{576#j[*)R%,;G5/Zx\s*-H%,&!%,&b587_&b-%,;G5/l}#?kG5 *+9'50:`*):\Gb*+%,58k$7@&blr\G!%<*-{5# \G7@)=H%,;{5


     #AOS Zx\s*-H%'&)%^V:*-V=5rFG9@57'58-H%0*+%~FGb*:587~ #( 589'-G58k.=x%,;{5r*-{ \s* 5
9'5Aj59@5-G:85/l}*-x\s*j#9KMLfNMPQTSM"VU JCX  
KMLONMPQ^SM"EU k{57':89'&)=587%';G9'585%^?F587}#j6Zx\s*-H%'&)%,&)57       
A |;G9'#\G ;*-Gk*:9@# 7'71Zx\s*-H%,&!%,&)571*9@5m\{7'5k.j# 9Mlm#]k{5b&)-G:8# -G7'589@(5k
7g]7g%,58l
*-Gkj9'55$Zx\s*-H%,&!%,&b587*+9'5\G7'58kj# 9}lm#?kG5)&b-G.-G# -?Q^:#-G7'589@( 58k7@?7@%'5lm7  
   " 9'58FG9'587'5-H% #h 5-H%'&)%,&)577'\G:<;m*7:\G9@9'5-H% H;G5`*+%  \G&)kr58%':&b-*f:8# -G7@59@(5k
7@?7g%,5l     "  f9'58FG9'587'58-x%'7/:*\G7@5}5A58:8%,717@\G:<;*+71(# )%,* 587 FG9@57'7@\G9'5
%,58l}F59'*+%,\{9'558%':&b- * :# -{7'59g( 58k 7@?7g%,5l s9'585Zx\s*-H%,&!%,&b587r9'58FG9'587'58-x%'7}58-H%,&)%'&b587
7'\{:<;V*7_kG&)7@%<*+-G:5G( 5)#]:8&)%^58%,:+ &b-*-G# -]QT:# -G7@59g( 5kE7@?7@%'5l








   


:- &'j #

'& /  &>@*.- & ;

zy # -H%,&)-x\G# \G7~%'&blm5/(+*9'&b*=G)57~*+9'59'58FG9'587'58-x%'5k&b-EK~LfNMPQ^S~"VUE=HV%,;G5*-]Q
\s*+ 5r5AHQTh# 9'k   " +0Y ( 589@ Zx\s*-H%'&)%^Vk{5 s-G58k.&b- *K~LfNMPQ^S~"VUEl}#?kG58&)7
=# \G-GkG58k =H
*E7@58%#+j_5Zx\s*+%'&b# -G7/%,;s*+%r*9'5}-G558kG5k %'#V9'58FG9'587'5-H%%,;{5=5;s*`(?&b# 9/#j
%,;{5rZx\s*-H%,&!%,&b5871U?\G:<;.=58;s*`(]&)# 9~#j Zx\s*+-x%'&)%'&b57OkG5 G-G5k.&b-V*b\GlmF5kEK~LfNMPQ^S~"VU
lm#]kG58s:`*-m=5OkG587':89'&b=5k}=Hm*07g]7g%,58l #jkG&)59@5-H%,&b*s*) 5={9,*&):|5Zx\s*+%'&b# -G7N6SfY 7 
%,;G*+%_;s*7|%,;{51j#9'l *7j#bb#h_7


2

 
   


 

 2]) 

_h ;G589'5 &b7*V( 58:8%'# 9}#+jf5 {F{9'57@7'&)# -G7  &b7*V(5:8%'# 9#jO\G-Gx-G#h_-  


&b7}* (5:A%,# 9}#jMkG589'&)(+*+%'&)(57#+j~\G-Gx-G#h_-G7h_&!%,;9'57@F58:8%}%,#%'&blm5z*-Gk&)7m%'&blm5
|;G&)707g?7@%,58l &b7~( 589@ F#h59gj\G *-Gk.%,;G589'5&b71-G#$*!%,59@-s*+%'&)( 59@5FG9@57@5-H%<*+%'&b# -.h_&)%';
5Zx\G&!(+*b58-x%F#hz589*-{k7':8# F5[U?# l}5A%,&)l}587 7'\G:<;7@?7@%'5l #jG58Zx\s*+%,&)# -G7 *+:<M*-s*!x%,&b:
7'#b\{%'&b# -G7 *-Gk;G5-{:5_%,;G58&b9 7@# b\{%'&b# -{7[*9'56*F{FG9'# ]&bl}*+%,58k=H-x\Gl}589'&):`*s*+b # 9@&)%';Gl}78
U?%'\Gk{ #jzN_S~Y[7/;G*7158( #)( 58k %'#* 9@5`*+%15 ?%,5-H%*-Gk.&)%1&)7MZx\G&)%'5l*+%'\G9'58k
-G#h1 |;G&)77g%,\Gk]&)77'\ }:8&b58-x%%,#f=5z9@5)&b5k/\GF# -j# 9-x\Gl}589'&):`*x7'#b\{%'&b# -G7#jvN_S~Y[78


  

% *,'8-9 :*;R;u-9.-6
 :-9;

MK LONMPQ^SM"EUm*\{ l}58-H%,7[%,;G5_:8# -G:\{9'9'58-H%7@%,*+%,58l}58-H%,7 #jK~LfNMP$h_&!%,;m*1-G58h


:b*7'7 #j*-G\s* 5|7g%<*+%'5lm5-H%,7 j# 9 9'5F{9'57@5-H%,&)-GrN_S~Y[78 |;G&b7 :b*7'7 &b7 :`*+bb58k7'&bl\G!Q
%<*+-G5# \{7 7@%,*+%,58l}58-x% S 7@&blr\{)%<*+-G5# \{77@%,*+%,58l}58-H%[:`*-:8# -H%<*&)-r5 ]FG9@57@7'&b#-G7 *-Gk:**FGF5`*+9*-Hxh_;G589'5*:#-G:\G9@9'58-x%r7'&b-s* *7@7'&b-Gl}58-H%/&)70*b)#h5k |;G5}=s*7'&):j# 9'l
#j*7'&)lr\G)%,*-G58# \G77g%<*+%'5lm5-H%  
 
       
 R;s*7%';G5Mj# b)#h_&b-G


C

7@?-H%<* 


 

  

 

 2]2

  

h_;G589'515`*:<;5 {F{9'57@7'&)# -$:*-=5~N6SfY_ v#9&b-G7g%<*-{:5]%,;G5M:8# -G7@%'&)%'\{%,&!( 5~58Z?\G*+%,&)# -#j


*9'587'&b7g%,# 9_:8# \Gbk=5Mh_9'&)%@%,58-$*+7


 

 2]3C 




h_;G589'5  &)7}*.%,;G9@# \G ; Zx\s*-H%,&!%^ 9'58FG9'587'5-H%'&b-G %,;G5:\G9@9'58-x% #h_&b-G.%,;{9'# \G;%,;{5


9'587'&)7@%,#9  .&b7*- *:89'# 7@7rZx\s*-H%,&!%^9@5FG9@57@5-H%,&)-G %,;G5m( # !%<* 5*:9@# 7'7/%,;G59@57@&b7@%'# 9 
*-Gk r&)7_*:8# -G7g%<*-H%O9'5F{9'57@5-H%,&)-G%,;G519'587'&)7@%<*+-G:51(+*b\G5+
|;G5EN6SfY 7*9'55 ]FG)&b:8&)%,!
kG58-G#%'5k=H 7'&)lr\G)%,*-G58# \G77@%,*+%,58l}58-x%'7&)-%,;{5
lm#]kG58 N_S~Y[7%,;G*+% *+9'5%';G5z:8# -G7@5Zx\G5-{:57 #jG:# -G7@59g(*a%,&b#-r*`h_7 +F#9@%*7'7@#]:8&*+%'&b# -G7
*-Gk kG5 s-{&)%,&)# -G7m#j1&blmFG)&b:&!%Zx\s*-H%,&!%,&)57 _*+9'5$%'59@l}58k*7&)l}F{b&b:8&)%N_S~Y[78 |;G587'5
N_S~Y[7|*9@5~:# -H(59@%'5k&b-H%,#:<;s*9,*+:8%,589'&)7@%,&):f5 {F{9'57@7'&)# -G7_*+%%';G5f%'&blm5O#j 58*=# 9'*+%,&)# -R
S:<;s*9,*+:8%,589'&)7@%,&):}5 ]FG9'587'7'&)# -  yY 0:# 9@9'57@F#-GkG7/%'#V*-5 ]FG9@57'7@&b# - #+jz%,;{5}j# 9@l #j
5Zx\s*a%,&b#- 2]!  |;G5*b# 9'&!%,;Gl %,;s*+%1%'9'&b5870%'#E7@# )(5m%';G&b707@?7@%'5l #j:<;G*9,*:A%,589'&b7g%,&):
5 ]FG9@57@7'&b#-G7&b7}:`*)b5k %,;G5      ## 9        |;G5.*-G*b# 7'# !( 589
kG5A%,59@l}&)-G57 %,;G5_(+*b\{5O#jR5`*:<;Zx\s*-H%'&)%^m7'\G:<;}%,;s*+%%,;G56(+*b\G587#+j *bs:<;G*9,*:A%,589'&b7g%,&):
5 ]FG9@57@7'&b#-G7*9'5$:)# 7'5%,# 859@# *-Gk %';?\{77'# !( 587%,;G5EN6SfY[79'58FG9'587'5-H%'5k=x %,;{5
`B


lm#]kG58 

^
-*kGk{&)%,&)# - %'#
%,;G5V7@&blmFGb5$7'&)lr\G)%,*-G58# \G77g%<*+%'5lm5-H% _KMLONMPQ^SM"EU*b7@#
FG9@#(?&)kG57 
      
        
         ! *+-Gk 

      ?7@%,*+%,58l}58-H%,7
 



 

 

 



~N 58%'59@l}&)-G&b-G%,;{5(+*b\G587/j# 9/Zx\s*-H%,&!%,&b5879@5Zx\G&b9@577@# )(?&b-{$%,;{57'5A%#jOyY[7


9'58FG9'587'58-x%'&b-G%,;G58&b9=58;s*`(?&b# 98U]\G:<;* 7@58%}#j1yY[7:8# \G)k=5$)&b-G5*9  -G# -?Q^b&)-G5`*+9 
*) 5=G9'*&b:$# 9kG&!589'58-x%'&*  U]# !(]&)-G%';G&b77@58%#jyY[7&b7}%,;G5V%,*7'#j1%,;G5.*-G*b#
589'-G58|#j_%,;G5l}& {58k 7'&) -s*7'&bl\G*+%'# 9 |;G59@5$*+9'5%^h#.&blmF# 9g%<*-H%/&b7@7'\G587h_;{&bb5
7'#)(?&b-G~%';G&b77'58% F589@j# 9@l*-{:5|*-{k}*+::\{9,*:A C C [589@j# 9@l*+-G:5|:*-=5|&)-G:9@5`*7@5k
&)j6%,;{5EyY[7}*9'57@# )(5k h_&)%,;* 9'5*+%,589%,&blm5AQT7@%'5F :`*\{7'&b-{)57'7-x\Glr=59#j6%,&)l}5
F# &b-H%,76*`(+*&bb*=G)5O%,#m7@%'\Gk{%';G5/=5;G*(?&)# 9_#j%';G517@?7@%'5l|U]&)-G:5M%,;{5/Zx\s*-H%'&)%,&)576*9@5
:#-x%'&b-x\G# \{7%,;G5zl}# 9@5%';G5-x\Glr=59 #+jsks*+%,*~F# &)-H%,7%';G5zlm# 9@5*:8:\G9'*+%,5z%';G5=5;s*`(?&b#9
#j~%';G5E7g?7@%,58l =5&)-G7@&blr\{*+%'5k hz# \{bk=5 z\{%} 58%@%,&)-G-G&):5=58;s*`(?&b# 9m#jM%,;{5
7@?7g%,5l kG#?57m-G#%m:8# l}5h_&!%,;G# \]%*+-5 ]%'9,* :# 7g%#jO7'&)lr\Gb*+%,&)# -
%,&)l}5+4_5k{\G:&)-G
%,;{5%,&)l}5 Q^7@%'5F %,#V 5A%rlm# 9'5*::8\G9,*a%,5=5;G*(?&)# 9#j|%';G57g]7g%,58l 9'587'\G!%,7r&)-
*E7@b#h
kG#h_-E#+j%,;{5/7@&blr\Gb*+%,&)# -R U]#G%,;G589'50&b7_-G#%';G&b-Gmlr\G:<;# -G50:`*+-EkG#h_&)%';%'&blm5AQ^7g%,58F
j# 9[F59gj# 9'l}*-G:85658-G;s*-{:5lm5-H%5 ]:58F{%&)-G:9@5lm5-H%,&)-G1# 9 kG5:89'58l}58-x%'&b-G0=Hm*M7'l}*b
*lm# \G-H% kG5F5-{kG&b-G\GF#-m%';G5f)&b-G5*9'&!%^r#jR%';G567@?7@%'5l ]h_;G&):<;&b-%,\{9'-k{5F5-GkG7z# I


  &)-Gk%,;G51&)-G&)%'&*# F59,*a%,&b-{F# &)-H%  N1y7@# b\]%,&b#- 


2]y*):\Gb*+%,5M*+-$&)-G&)%'&*v%,&)l}5 Q^7@%'5F
*|yz# -H( 589@%6%,;G51kG&!589'5-H%'&*R58Zx\s*+%,&)# -&b-H%,#m*7'5A%6#j -G#-Gb&)-G5`*9*b 58=G9,*+&b:
kG&!589'58-G:515Zx\s*a%,&b#-G7_\G7'&)-G&blmFGb&):&)%-x\Glm59'&):M&b-H%,58 9,*a%,&b#-l}5A%,;G#?k
= P&b-G5*9'& 5~%,;{50-{# -]Q^)&b-G5*9z58b58l}58-x%'7_\G7'&)-G 658h|%'# -]Q 46*FG;{7'# -l}5A%,;G#?k
: zSf\]%,# l}*+%,&):~l}*+%,9@& }j# 9'lr\{*+%'&b# -j#9%,;G51b&)-G5`*+97'5A%O#+j58Z?\G*+%,&)# -G7
k |U]# !( 5M%,;G51l}*+%,9@& \G7'&)-GmP  k{5:#l}F# 7'&!%,&)# 5 
T%,589,*+%'51# -$7g%,58FG7f* G= s:sk\G-H%,&)R7'#b\{%'&b# -&)7j# \G-Gk 
58b7'519@5kG\G:850%'&blm5AQT7@%,58F*-Gk9'58F5*+%67@%,58FV2?
C{yz;G58:<j# 9_*::8\G9,*+:8
BG
TjkG57@&b9'58kE*+::\{9,*:A# ={%<*+&b-G58k%';G5-9'58F5*+%_%,;G50*=#( 517@%'5FG7
7g%<*9g%,&b-{rj9'# l 2*-{k:8# -H%,&)-?\{50j# 9gh*+9'k&b-%,&)l}5f5b7@519'5k{\G:51%,&)l}5 Q^7@%'5F*-Gk
9@5F5`*+%_7g%,5FV2]
&b \{9'512]! U?%'5FG76&b-H(# )(5k&b-7'# !(?&b-G*7'5A%O#+j[eMN_S~Y[7_&b-$U
Y 4O4_S


;G#hWj*+7@%O*7@?7@%'5l *:<;G&)58( 587O:8# -H( 589' 58-G:5 C  


Lf*`(?&b-{# ={%,*&b-{5k%';G57'58%#jM58Z?\G*+%,&)# -G7-{55k{5k%,#=57'#)( 58k j# 9mkG58%'59 Q
lm&b-G&)-G%,;{5(+*)\G571#jZx\s*-H%,&!%,&)57 R%';G&b7M7@58%/#j5Zx\s*+%'&b# -G7M&)71Fs*7'7@5k.%,#%,;G5m*-G*b#
589'-G58h_;{&b:<;$%'9'&)57|%,# s-Gk$%';G507'# )\{%,&)# -%,#%,;G507@?7@%'5l &)jF# 7'7@&b=G)5/*+-GkE 58-G59'*+%,587
lm57'7'* 587#j-G# -]QT7'# !(+*=G&b)&)%^*-Gkm-G# -]QT:# -H(59'5-G:85 C C k{\G9'&)-GM%,;G567'# )\{%,&)# -FG;s*7@5
&)j&)% :`*+--G#% |;G5O7@%,58FG7z&)-H( # !( 5k&b-m7'# !(]&)-G/*07@58%#+j eMN6SfY[7*9@5O &!( 58-&b- &) \G9'5
2]! D2 
|;G587'507@%,58FG7O*9'51kG587':9@&b=5k$*7|j# b)#h_7


X


^-G&!%,&b*RN1yF#&b-H%_7'# )\{%,&)# -   &)7j# \G-GkR
N~&!589'5-H%'&* 5Zx\s*a%,&b#-G7*9@5:# -H(59@%'5k &b-H%'# *b5=G9'*&b:mkG&)59@5-G:855Zx\s*+%'&b# -{7
=H-x\Glm59@&b:`*+R&b-H%,58 9,*a%,&b#-%,5:<;{-G&bZx\G50#j 9'*F5 # &)ks*
^-H%,58 9,*a%,&b#-R
6# -]Q^)&b-G5*9_*) 5=G9'*&b:M58Zx\s*+%,&)# -G7f*9'50:# -H(59@%'5k &)-x%'#)&b-G5*9_*b5=G9'*&b:15Zx\s*Q
%'&b# -G7\G7'&)-Gr%,;{5 O5Ah|%,# -46*FG;G7@# -l}5A%,;G#?kR S%|%';G&b7F#&b-H%z%';G5~7@?7g%,5l &b7&)%';G51b&b-{5`*9zj#9'l #+j  

K 58:8%,#9 E&b7|7@# )(5k\G7'&)-G#j P  kG58:# lmF#7'&)%'&b# -
z5Aj# 9'5}7@%<*+9@%,&)-G%,;G5}FG9'#?:587'7#+j|Fs*7@7'&b-{$%,;{9'# \G;%,;{57@%'5FG7b&b7g%,58k
&b- &b \{9'5M2?)~j# 9z58( 589@%'&blm5OF# &)-x% {l}*+%,9@&  c&)7z:9@5`*+%'5kj9'#l *)%';G50yY[7 |;G&)7
%<*+57*FGFG9@# {&)l*a%,5!1I Q X  #j{%';G5 *-s*)# _589'-G58]5 {58:\{%'&b# -0%,&)l}5 J2 4_5k{\G:&)-G
%,;{5O-x\Glr=59 #j5Zx\s*+%'&b# -G7 l}*587%';G&b7 l}*+%,9@& ={\G&b)kmF{;s*7'56lr\G:<;mj*7@%'59*-Gk};G5-G:85
7'F558kG7[\GF%';G5zl}*+%'9'& 07@# )(598 |;G&)79'587'\G!%,7 &)-7@F585kG\GF#j{%,;G5z*-s*)# f+59'-{5]h_;{&b:<;
&b-%'\G9'-l*+57_lm& ]5k7@&b -s*+R7'&)lr\G*a%,&b#-9'\{-j*7g%,589


d

 


         




| ;G&)7:<;G*F{%,589F{9'57@5-H%,7kG57@:9@&bF{%'&b# -0#jG58*=# 9'*+%,&)# -~#jG*_K~LfNMPQ^S~"VU1lm#?kG5


*7 &blmFG)5lm5-H%,58k&b-}U
Y 4O4_S]U
Y 4646S&)7 *1K~LfNMPQ^S~"VUr7'&bl\G*+%'# 9 \G-{kG59 kG58(5 Q
# FGlm5-H%_*a%z%,;{5  -G&!( 589'7'&!%^#jyz&)-G:&)-G-s*+%'&  U
Y 4O4_Si&b7z5Zx\G&bF{F58kh_&)%,;*rF#h59@j\{
  "
    " V7g%,9,*a%,5+%';s*+%r;G*7r=55- k{58( 58b# F5k
%'#V7'\{FGF#9@%%';G57@&blr\]Q
*a%,&b#- #jzlm#?kG5)7fh_9'&!%'%,58-&)- %,;G5KMLONMPQ^SM"EU.b*-G \s*+ 5rS lm#]k{5 -G585kG71%,#=5
j\G))5*+=# 9'*+%,58k =5Aj# 9'57@&blr\Gb*+%,&)# -%,*587mF{*:85
^- 7'&blmFG)5hz#9'kG75b*=# 9,*+%'&b# lm5`*-G7:9'5*+%,&)# -
#j_F{9'# F59rkG*+%<*aQT7@%'9'\G:A%,\G9@57r%,#El*+57'&)lr\Gb*+%,&)# -9@\G-
j*7g%  # F]%,&!Q
l}*b!0*-Gkrj\G-G:A%,&)# -s*))0:# 9@9'58:8%` |;G&b7 7@&blmFGb5kG5 G-G&)%'&b# -r&)7 -G#% 5-G# \{ ;%,#M:`*+F{%,\G9@5
%,;{50lm&b-x\{%'5MkG58%,*&b)7_*7'7@#]:8&*+%'5kh_&)%';$b*-G \G* 5~7@5l}*-H%,&b:87_ &)(5-&b- JCX  SO-$58*=]Q
# 9'*+%,&)# -$7g%,9'*+%,58-G558kG7f%'#:#-{j# 9'l %'#}%';G5b*-G \s*+ 517'5l}*-H%,&):78
^-%,;G&)7O:<;G*F{%,589
5lmFG;s*+7'&b7|&)7|# -%,;G51SM"EU  *-G*b# lm& ]5k7@&b -G* z*+7'F5:8%O#j%,;G5158*=# 9,*a%,&b#-R




 


     


 

 

   


S KMLONMPQ^SM"EU.lm#]k{5l\G7@%0=5m58*=# 9'*+%,58k =5Aj# 9'5&)%~:`*- =57@&blr\{*+%'5kR


SOj %'59/5*+=# 9'*+%,&)# -.&b-G&!%,&b*b& `*+%'&b# -V#+j|7'&) -s* -G58%'7r*-{k
Zx\s*-H%,&!%,&b587/%,*587rFG*+:5*+-Gk
%,;{5- s-s*+b)07@&blr\Gb*+%,&)# -0#js%,;G5|lm#?kG5?FG9'#?:585kG78 U]&bl\G*+%'&b# -1:8# -G7'&)7@%'7[#jv9'58F5A%,&)%'&)(5
5 ]58:\{%'&b# -#j{%,;G57'&bl\G*+%'&b# -0:8?:8b5*+7kG5 s-G5k&)- C X   |;G5z5*+=# 9'*+%,&)# -0#jv*fkG587'&) ;G&)59,*+9':<;HM:9@5`*+%'57*|:# )b5:A%,&)# -~#j]FG9'#?:587'7@57&)-H%,59@:# -{-G5:A%,5k/=HM-G58%'7*+-Gk1Z?\G*-H%,&)%'&b587
h_;G# 7@56(+*)\G57 *+9'5|kG5 s-G5k}=H:<;s*9'*:8%'59'&)7@%'&b:_5 ]FG9@57'7@&b# -{7  yY[7 A
^-*~K~LfNMPQ^S~"VU
lm#]kG58 kG587'&b- ;{&b59'*9':<;H :*- =5kG5 s-G5k=H.*kG57@&b - 5-H%,&!%^V# 90*:#-s \G9'*+%,&)# -R
5b&)l}&!%# \G9kG&b7@:\G7@7'&b#-r%,#~58*=# 9,*a%,&b#-0#+jvkG57@&b -r58-H%,&)%'&b587S KMLONMPRQTSM"VUlm#?kG5
&b7 s9'7g%_*-s*+)58kj# 9z&!%,7z7g?-x%,* *+-Gk7'58l*+-x%'&b:87|*-Gk%';G5-*F{FG9'# F{9'&*a%,5!FG9'58Fs*9@5k
j# 9|5 {58:\{%'&b# -*+j %'59|:8#]kG5M5-G589,*+%'&b# -=HU]S KS  D2    Y[*+=# 9'*+%,&)# -%,*5876F{*:85
kG\G9@&b-Gr%';G51&b-G&!%,&b*v5 ]5:8\{%,&)# -#j%';G5Mlm#]kG58R*-{k%';s*+%_&)7zh_;H&)%&)7|:`*)b58k9'\G-?QT%,&)l}5
5b*=# 9,*+%'&b# - |;G5V5b*=# 9,*+%'&b# - lm58%,;{#]kG#b# j# 9*Fs*9,*+bb58KMLONMP 7@&blr\{*+%'&b# *FGF{9'#H*:<; D2I _:# -H%'9'&b={\{%,587m%'#58*=# 9,*a%,&b#- #j~kG&) &)%,*:8# -G7@%'9'\G:A%,7}&b- %,;G5lm#]kG58 
K *9@&b# \G7OFG;s*7@57M#j 9@\G-]QT%'&blm5/58*=# 9'*+%,&)# -$&)7~7';{#h_-.&)- &b\G9'5C{) |;G57@5mF{;s*7'587
#j9'\G-?QT%,&)l}5f5*+=# 9'*+%,&)# -*9@515 ]FG*+&b-G58k=5)#h1
1

5b;g e
 $j: ;-6*]-6 &: #,;9 ) 7*, , "-6;  #+ / g]-9;

^- %,;G5 s 9@7@%mFG;s*7@5 %,;G55b*=# 9,*+%'&b# -#j~* kG587'&) -;{&b59'*9':<;H &)-H( # !( 57%,;{5


     ""  {%,;{5       *-Gk%,;{5   " s
n


Executable Model

Perform:
Elaboration Phase 1

Perform:
Runtime elaboration

Elaboration Phase 2

Perform:
Optimization Phase 3

DiscreteEvent

Continuous

Process

Process

Simulation

&) \G9@5MC{! [;s*7'587O#+j9@\G-]QT%'&blm5~5b*=# 9,*+%'&b# -#+j *kG587'&b-$;G&)59'*9':<;H




2

8  Aqs q{  |;{5f%,# Flm# 7g%zkG587'&) -5-H%'&)%^m%,;s*+%z;s*7=558-&bkG58-H%,& G5k&)%';G5~7@?7g%,5l 7'59g( 587f*7%,;G5M&)-GFG\{%%,#r%,;{&b7 s9@7@%|7g%,58FR
^-%';G&b7z7@%,58F G:89'5`*a%,&b#-#j
# =x>@5:8%'7 9'5F{9'57@5-H%,58kr&b-~%';G5[lm#]kG58 #   :8# l}F# -G58-H%,7*-Gk1FG9@#]:857'7@57  *9'5[F59 Q
j# 9@l}58k&b-r%'# FkG#h_-*F{FG9'#H*+:<;R s# 9 5*:<;kG57@&b -\G-G&!% H# =x>@5:8%'7 9'5F{9'57@5-H%,&)-G
%';G5kG58:b*9,*+%'&b# -{7 #   z%^?F57  (*+9'&*+=Gb587 7'&b-s*b7 7@\G=GFG9@# 9'*l}7  Zx\s*-H%,&!%,&)57 
*-{kV%,59@l}&)-s*)7~*9@5r:9@5`*+%'5kRY b*=# 9,*+%'&b# -$#j*FG9'#?:587'7M7g%<*+%'5lm5-H%1&b-H( #)( 587
%';G5&b-G7g%<*-H%'&*+%'&b# -V#+j%';G5# =?>@58:8%0:# 9@9'587'F# -GkG&)-G%,#%,;G5F{9'#?:57@717@%<*a%,5lm5-H%
S%m%,;G558-Gk #jO%,;G&)77@%,58F z%';G5$7@58%}#jM*+b|# =?>@58:8%'7m%';s*+%}*9'5FG9@57'58-H%&b- %,;{5
kG587'&) -;G&b589,*9@:<;x&)7|:9@5`*+%'5kR
Ru qs < Hm  q{ 
^-%';G&b7z7@%,58FE*+b&b-{j# 9@l*a%,&b#-}9@5*a%,&b-{%,#7@&b -s*+b7&)%';G5~7@?7g%,5l &b79'5:8# 9'k{5kR
T%|&)-G:)\GkG57\GFks*+%,&)-Gj*-{# \{%|*+-Gk:9@5`*+%'&b-GkG9'&!( 59@7
j# 9M5*:<; #j%';G57'&) -s*)7  *-{k*+7'7'#?:&b*+%,&)# - #jFG9'#?:587'7@571h_&)%,; %';G5kG9'&!( 589'71#j
5*:<;7'&) -s*  |;G&)77g%,58F%<*+57FG*:85f*+7*/FG*9@%#j*0kG57@&b -}\G-G&!%z:8# -G7@%'9'\G:A%,&)# &)-$*=#%'%'# lQ^\GFj*7@;G&b#-R
/  ?
|;G&b7_FG;G*7'50Fs*7@7'576%,;G51&)-{j# 9'l}*+%'&b# -*+=# \]%6%';G517'&) -s*)7|# %'# %';G5&b-G7g%<*-H%,&b*+%,58k:8# lmF# -{5-H%,7}*-Gk FG9'#?:587'7@57}%'#9@5:8# 9'k %,;G5-G5:857@7,*9g
ks*a%<*.7'\G:<;*+7*.7'&) -s*|7@# \G9':85%'9'585  j# 9lr\G)%'&bFG)5kG9@&)( 589'7}#j~7@&b -s*+b7 r*+-Gk
\GF?Q^kG#h_-%^]F50:# -H( 589'7@&b# -j\G-G:A%,&b#-G7_7'F5:& s5k&b-%';G51l}#?kG5 

  %E*'(%(C+-? #)/0+-( E* ? #%


G# %>%'()?#"( #)/>K0( '& 0?>@& 94 > )E'(%( @( />+E"/ 
/>+->+B#
&+()E)#)  !?# H'/0G+B 

2]

|;G&)76:8# lmFGb5A%,57|F{;s*7'5m1#j5*+=# 9'*+%,&)# -j# 9_*lm& ]5k?Q^7'&) -s*7@?7@%'5l


1 

5b;g


$W: ;-6*]-6 &:

 : :-6  **;=; 0 ;u-9




| ;G&)7FG;s*7@5 &)kG5-H%'& s587%,;G5 kG&!589'58-x%\{-Gx-G#h_- Zx\s*-H%'&)%,&)57&)-%,;G5 kG587'&) *-Gk


j#9'lm7%,;G5:<;s*9,*+:8%,589'&)7@%,&):5 ]FG9@57@7'&b#-G7&b-
# 9@kG59r%'#.*::8\G9,*a%,5!7@&blr\{*+%'5}%,;{5
=5;s*`(?&b# 9#j%';G5|:#-x%'&b-x\G# \{7[7@?7@%'5l |;?\{7 H%,;G&)7 FG;s*+7'5_7'589@( 587z*+7 %,;G5|:8# -G7@%'9'\G:A%,&)# FG;s*+7'5_j# 9[%,;G56:# -H%'&b-x\G# \G7 7@?7g%,5l
^-}%';G&b7 FG;G*7'5?%';G5Ok{57'&) -m&b-mFG9'#?:587'7'58k&b-j# \{9
7@%'5FG7O*7|j# )b#h_7

^-%';G5 s9'7g%_7@%'5F G%';G5~-x\Glr=59|#j\G-{?-{#h_-Zx\s*-H%,&!%,&)57|*9@5~&bk{5-H%,& s5k*:89'# 7@7


%';G5~kG587'&b-5-H%,&!%,&b587 U?# )(+*=G&!%,&!:<;G5:<x7_j# 9z5*:<;5 ?%'59'-G*R=G)#]:<m*9@5M*FGFG)&b58k
7@#%,;G*+%-G5:857'7'*9@ :#-GkG&)%'&b# -{7j#97@# )(?&)-G %,;G5 7@?7@%'5l #jr\{-Gx-G#h_-G7 *9@5
7'*+%,&)7 s58kR |;G57@5/:<;G58:<x7M*9'51*+FGFGb&)5k&b-%';G5Mj# b)#h_&b-Grl}*-G-{59
N~5A%,589'lm&b-G5%,;{5  !   "   
 C X  #jz5`*:<;5 ?%,589'-s* =G)#]:< &)%';G51kG57@&b -;G&)59,*+9':<;H 
59gj# 9'l *7'7@59@%'&b# -{7 *7%,#fkG58%'59'lm&b-{5z%,;G5|58Zx\s*b&!%^0#jv%,;G5:<;G*9,*:A%,589'&b7g%,&):
-x\Gl=589z#j5`*:<;={b#?:<rh_&)%,;%,;{5f-x\Glr=59 #jR:<;G*9,*:A%,589'&b7g%,&):O5 {F{9'57@7'&)# -G7
j#9'lm5kj# 9[%,;s*a% =Gb#?:<v |;G57@5f*+7'7'589@%'&b# -G7*9@5|l*k{5O*aj %,59 %';G5_*7g% 7@%'5F
#+j%,;{&b7|FG;s*+7'5
|;G5 *-G*b# |7@# )(59 kG5A%,59@l}&)-G57%';G5 7'# )\{%,&)# -~(+*b\G587Rj# 9R%,;{5 \{-Gx-G#h_-G7kG\{9'&b-{
22




7@&blr\Gb*+%,&)# -R

^-0%,;G57'5:8# -Gkr7g%,58F %,;{5j# 9@l*+%,59@l}&)-s*x*-{k/%,;{5zZx\s*-H%,&!%^0&b-H%,589@j*:85# =x>@5:8%'7


*:89'# 7@7 %,;G5|k{57'&) -5-H%,&!%,&)57[*9@5|*7@7'#?:&*a%,5kh_&!%,;r%,;{5_*:8%'\s*b7&b-r%,;{5%,# F]QTkG#h_j*7@;G&b#-=58 &b-G-{&b-G
h_&!%,;%,;{5.%'# F]QTb58(5~k{57'&) -5-H%,&!%^  |;{&b77@%'5F&b7(59g
7@&blm&b*+96%'#%';G5     7g%,5F &b- F{;s*7'5  |;{5j#bb#h_&)-G9'\{b5*7M7g%<*+%'5k
&)- JC X [lr\G7g%1=57,*a%,&b7 s5k %'#9@5`*)&85%,;G57@5l}*-H%,&b:87M#j&b-H%,589@j*:85Z?\G*-H%,&)%'&b587
*-{k%'59'lm&b-G*b7

^-H%'59@j*+:50Z?\G*-H%,&)%'&b587_h_&!%,;lm#]kG5M#\{%_:`*-=50)58j %|\{-s*7'7@#]:8&*+%'5kR
|;{5    #j%';G5Mj# 9'l}**-Gk$*:8%'\s*R# =x>@5:8%'7Ol\G7@%6=51%';G517,*lm5

Tjv-{# -G5z#+jG%,;G5 j# 9@l*)7 &b-1%,;G57'58%#jsZx\s*-H%'&)%,&)57&bkG58-H%,& G5kr&)-0%';G5z7g]7g%,58l


;G*71l}#?kG5r# \]%M%,;G58-*  !   "  #   Olr\G7@%0=5FG9'#(?&bk{5k.&b- %,;{5
k{5:b*9,*a%,&)(5f9@5 &)# -h_;G589'5f%';G5fj9'585~Zx\s*-H%,&!%^#+j\G-s*7@7'#?:&b*+%,58k&b-H%,589@j*:85
Zx\s*+-x%'&)%^;s*+76=558-$k{5:b*9'58kR

^-%,;G50-G5 ]%O7@%'5F *)%,;G5     


  |&b-%';G5/k{57'&) -$*9'51FG9@#]:857'7@5kE%'#
&)kG5-H%,&!j rkG&)7':8# -H%,&b-x\G&!%^*\{ l}58-H%<*+%'&b# -r7@58% &b-%';G5_7@?7@%'5l |;G&b7 &)7 F589@j# 9@l}58k
%'#/*+::\{9,*+%'5)kG58%'5:A%*-{kmF{9'#?:57@7k{&b7':8# -H%,&)-?\{&)%,&)57 &)-*Ml}& {58k]Q^7@&b -G*{7g]7g%,58l
kG\{9'&b-{m7@&blr\{*+%'&b# - C 
&)-s*)) %,;{5fyY[7 *9@5j# 9'lm5krj9@# l %';G5|7'&)lr\G)%,*-G58# \G7 7g%<*+%'5lm5-H%,7 *7[F59[%,;{5
9@\Gb5871%';s*+%0 #( 589'- %,;G58&b9~j# 9@lr\G*a%,&b#- JCX }yY[7/*9'5%,;{5}9@5FG9@57'58-H%<*+%'&b# - #j
2C


Me N_S~Y[71&b- # 9@kG59~%'#5A(+*b\s*a%,5r%,;{5=58;s*`(]&)# 9M#j %,;G5:8# -H%,&b-x\G#\G717@?7@%'5lS


j5Ahi#j%,;G519@\Gb587_%'#j# 9'l yY 7O*9@5
SO- 5 ]FGb&):&!%yY &)7j# 9@l}58k
j# 95*:<;7@&blr\{)%<*+-G5# \{77@%,*+%,58l}58-H%&b-
%,;{5
lm#?kG5 
SO-&)l}FG)&b:8&)%RyYV&b7Rj# 9@l}58k0j# 95*:<;k{&)59'58-H%,&*+HZ?\G*-H%,&)%^f%,;s*+%#?::8\G9'9@5k
&)-%,;G517'&)lr\G!%<*-G58# \G7|7g%<*+%'5lm5-H%,78
|;{5m(+*)\G5#j5`*:<;*:9@# 7'71Zx\s*-H%'&)%^ lm&b-x\G7~%';G59'58j589'58-G:5mZx\s*-H%,&!%^ #j
&!%,7MFG)\G7~%,589'lm&b-s*+FG)\G7~%,;G59@58j589'5-{:5mZ?\G*-H%,&)%^V#j &)%,7Mlm&b-x\G7O%,59@l}&)-s*
&)76*:<;G*9,*:A%,589'&b7g%,&):M5 ]FG9'587'7@&b# -$&b-%,;G51lm#]k{5 
U]&)-G:5KMLfNMPQTSM"VU*+bb#h_7:# -{kG&)%'&b# -s*+?7@&blr\{)%<*+-G5# \{75Zx\s*a%,&b#-G7 &b-0%,;G5j# 9'l
# j 
     *-Gk 
       7@%,*+%,58l}58-H%,7 %';G5$j#9'l}*+%,&)# - #j
yY[76l*&)-H%<*&)-G7%';G51:# -H%,9@# 7@%'9'\G:A%,\G9@5/#+j%';G57@5/7g%<*+%'5lm5-H%,78




 


     

1      1


^
-%,;{&b77@5:A%,&b#-*:8%'&)(?&)%'&b57m%,;s*a%*9@5VkG# -G5EkG\G9'&)-G
58*=# 9,*a%,&b#-#j/*-G*b#
lm& ]5k7'&b-s* S~"VU m:8# -G7g%,9'\{:8%,7 &)(5-&)-%,;{5$KMLONMPQ^SM"EU *+-G \s*5 C X f*9@5
FG9@57'58-H%,5k |;G5-G58:57@7,*9g.&b-G7g%,9@\G:8%'&b# -G7Oj# 9~5b*=# 9,*+%'&b-Gm%,;G5k{57'&) - ;G&)59,*+9':<;HV&)7
FG9@57'58-H%f&)-%';G51 5-{59,*a%,5k:#?kG5+
2+B

1  

< :-6 8- 0

#,'&b.- &:

Sf-$5-H%,&!%^kG5:8*9'*+%,&)# -$&)-K~LfNMPQ^S~"VUk{5 s-G587M*-$&b-H%,589@j*:85/%,#}*}:8# lmF#+Q


-G58-x%Y ( 589@ 5-H%,&!%^.kG5:8*9'*+%,&)# -.&b719'58FG9'587'58-x%'5k *70*$y  :*+7'7 kG589'&)(?&)-Gj9'# l
%,;{5FG9@5kG5 s-G5k   !"     :*+7'7 &b-%';G55-G589,*+%'5k
:8#]kG5+ |;{55b*=#9,*aQ
%,&)# -+59'-{5R;s*+7 5-{59'&):~9'#\{%,&)-G57zh_;{&b:<;*9@5~\G7'5Aj\Gj# 9 sb)&b-G/&b-{j#9'l}*+%,&)# -j# 9z%,;{5
kG587'&b- 58-H%,&)%'&b587 |;G&b7MFG9@5kG5 s-G58k:b*7'7MF{9'#(?&bkG587Ml}5A%,;G#?kG7~%,#:89'5*+%,5r%';G5-G58%gQ^)&b7@%
j# 9M%,;{5}7@&b -s*+b7  :8# b)5:8%1&)-{j# 9@l*+%'&b# -E9'5 *9'kG&)-G%,;G5kG9@&)( 589'7/#jz%';G57'&b-s*b7 j# 9'l
%,;{5MkG&)59@5-H%|:<;s*9'*:8%'59@&b7@%'&b:~5 ]FG9'587'7'&)# -G76*7|9@5:# -G&85k=H%';G51*-s*+b# r7@&blr\{*+%'&b# 589'-G58M*-Gk#={%<*&)- %,;{5V;G&b589,*9@:<;G&b:*6&b-{j# 9@l*a%,&b#- 7@\G:<;*7%';G5E%^?F5 :8# -H( 589'7'&)# j\G-G:A%,&)# -G7 |;G5 5-{59'&)::#-G7@%,*-H%,7m*-Gk %,;{57'&b-s*b7&b-
%,;{5F# 9g%b&)7@%#+j6%';G55-?Q
%,&!%^=5:8# l}5Mlm5l=589# =?>@58:8%,7_&)-%';G5M5-H%'&)%^:8*7@7 |;G51Zx\s*-H%,&!%,&)57_*-Gk%'59'lm&b-G*b7
*9@5 5-G589,*+%'5k*7Mks*+%,*l}58lr=59'7M#+j5*:<; 7'\G:<; kG57@&b -.58-x%'&)%^ :8*7@7|;G57'&b-s*b7
;G#h58( 589 {*9'5-{#% &b-G7g%<*-H%'&*+%'5k*7[7@&b -s*+b7 =G\{%*7 * 
 r# =x>@5:8%[h_;{&b:<;
:#-x%,*&b-{7[ks*+%<*~7g%,9@\G:8%'\G9'587 %'#17@%,#9'5%,;{5|-G58% )&b7@% *-Gk&b-]j# 9'l}*+%,&)# -/*=#\{% %,;{5|kG9'&!( 59@7
#j%,;G517@&b -s*+ 
1  

c5, "-6]-6*

#,
'&b.-6 )

fS -E*9':<;{&)%,58:8%'\G9'50=#?k{:8# -H%<*&)-G7|%,;G50:#-G:\G9@9'58-x%~*-Gk$7'&bl\G)%,*-G5#\G7|7@%,*+%,5 Q
lm5-H%,7R%';s*+% &blmFG)5lm5-H%%';G5[&b-H%,589@j*:85[7'F5:8& s58k0=H~%';G5[:#9'9'587'F# -GkG&)-G_5-H%,&!%^ Y[*=]Q
# 9'*+%,&)# -#j*-}*9':<;G&!%,58:8%,\{9'5_&b-H( #)( 587 5*+=# 9'*+%,&)# -#+j&!%,7[kG58:*+9,*+%'&)( 5|9@5 &)# -*-Gk%,;{5
2I

:#-G:\G9@9'58-x%}*-{k 7@&blr\{)%<*+-G5# \{77@%,*+%,58l}58-H%,7&b- &!%,7r=#]k]  |;G5:# -G:8\G9'9@5-H%m7@%,*+%,5 Q


lm5-H%,7/*9'558*=# 9,*a%,5k kG\G9@&b-G%,;{5}&)-G7@%,*-H%,&*a%,5FG;s*+7'5#+j5b*=# 9,*+%'&b# - |;{5}58*=]Q
# 9'*+%,&)# -.#jz%';G5}k{5:b*9,*a%,&)(59'5&b# -.&b71587'7'58-H%,&*+b)E%,;G5m5b*=#9,*+%'&b# - #j%,;G5m7'&) -s*)7 
Zx\s*-H%,&!%,&)57*+-Gk%,589'lm&b-s*)7 kG5:8*9@5k&b-}%,;G5M*+9':<;G&!%,5:A%,\G9@5 |;G5M-{58%|)&b7@%z*-GkkG9'&!( 59@7
#j7'&) -s*)7M*9'5:89'5`*a%,5k 9'58:\G9@7'&!( 5! 5`*:<; :#-G:\G9@9'58-x%/7@%,*+%,58l}58-H%/:89'5*+%,&)-GkG9'&!( 59@7
%,;G*+%&!%:#-x%,*&b-{7 e~-G)%';G5~kG9@&)( 589'7&)-%,;{5~FG9'#?:587'77g%<*+%'5lm5-H%,7_*+9'5f:89'5*+%,58k&)-%,;{5
-G5A%@Q^&)-{j#FG;s*7@5#j%,;G505b*=# 9,*+%'&b# - |;G5&)-{j# 9'l}*+%'&b# -#+j%,;{5/7@&b -s*+b7|H*+%';G59@5k$=x
%,;{5:# -{:\G9@9'5-H%7g%<*+%'5lm5-H%,7*+9'5FG*7'7@5k # -%'#E%,;G5};G&b;G59/b58(5 j9'# l h_;G589'5%,;{5
:#9'9'587'F# -GkG&)-G5-H%,&!%^h*+76&)-G7@%,*-H%,&b*+%,58kR
Y[*=# 9'*+%,&)# - #jM*- *9':<;{&)%,58:8%'\G9'5$kG5:8*9'*+%,&)# - &b7&blmFGb58l}58-H%,5k*7}*:8*7@7
h_&)%';rks*+%,*~5)5lm5-H%,7 :8# 9'9@57@F# -{kG&b-GO%,#~%,;{57'&) -s* +Zx\s*-H%'&)%^*+-Gkr%,589'lm&b-s*xkG58:b*9,*aQ
%,&)# -G7 &b-%,;G5OkG5:8*9'*+%,&!( 569'58 &b# -*-Gk}l}5A%,;G#?kG7 %,#r*+:<;G&b5A( 5f%';G5fFG9@#]:857@7'&b-{9'58Zx\G&b9@5k
&b-.[;s*+7'5m*-Gk [;s*7'5}2] |;G&b7M:8*7@7M&b7MkG589'&)(5k j9'#l%,;{5m:8# 9'9@57@F# -{kG&b-G58-H%,&)%^
:b*7'7  *-{k;G58-G:5}&b-G;G589'&!%,7M%,;G5mks*+%,*$7g%,9'\{:8%,\{9'5kj# 90%';G5m7'&b-s*b7  Z?\G*-H%,&)%'&b587  *+-Gk
%,589'lm&b-s*+b7_&b-%,;G5/F#9@%Ob&b7g%6#j[%,;G505-H%'&)%^  |;G5rk{58j*\G!%fF# 9g%~*7@7'#?:&b*+%,&)# -G7_#j[:8# lQ
F# -G5-H%_&)-G7@%,*-H%,&*a%,&b#-G7*9@5~kG# -{5M;G59@5Gh_;G&):<;:`*-=5M:<;s*-G 58k=x*r:# -G \G9,*a%,&b#kG58:*+9,*+%'&b# -R |;G5}=#\G-GkG58k5-H%'&)%,&)571#j%,;G55-H%'&)%^.kG58:*+9,*+%'&b# -G71*+-Gk:8# l}F# -G58-H%
kG58:*+9,*+%'&b# -G7&b-{7@%<*+-x%'&*+%'5kr&)-/%';G&b7*9':<;G&!%,58:8%,\{9'5|*9@5z&)kG5-H%,& s5k*+-Gk*7@7'&b-G5kkG\{9'&b-{
%,;{5&b-{7@%<*+-x%'&*+%'57@%,58F &b-[;s*7'5E Sf7/%';G5m5*+=# 9'*+%,&)# -.#j%';G5:8# -G:\{9'9'58-H%7@%,*+%,5 Q
lm5-H%,7 #]:8:\G9@9'&)-G/&)-*+-*9@:<;G&)%'5:8%'\G9'56;s*`( 5O=585-}kG&b7@:\G7@7'5k&)- J2 I *+-Gk*)7'# ?*7 %,;{5
2X

j#?:\G7~&)7f# -ESM"VUVFs*9g%~#jU
Y 464_Sh5b&)l}&!%_# \G9OkG&b7@:\G7@7'&b#-V%,#%';G5r5b*=# 9,*+%'&b# #j%,;G517@&blr\G!%<*-{5# \G7|7g%<*+%'5lm5-H%,7 sZx\s*-H%,&!%^*+%'%'9'&b={\{%,587_*-Gk=G9'5*7@%,*+%,58l}58-H%,7
1  

<'& / .- &:

?;9 *,'8-9 :*;R;u-9.-6


 :-9;

[Y *=# 9'*+%,&)# -#j7'&)lr\G!%<*-G58# \G77g%<*+%'5lm5-H%,7|9@57@\G)%'76&)-%,;G5~j#9'l}*+%,&)# -#j%,;{5


:<;s*9'*:8%'59@&b7@%'&b:/5 ]FG9'587'7@&b# -G78 |;G5:<;s*9'*:8%'59'&)7@%'&b:5 ]FG9'587'7'&)# -G7M&)-.U
Y 4O4_S *9@5%,;{5
kG&!589'5-H%[x&)-GkG7[#jeMN_S~Y[7[9'58:# -{&58k=H%,;{5|*-s*)# ~7@&blr\Gb*+%,&)# -059@-G5   [L65-G:85
%,;{5lm58%';G#]k{7h_;{&b:<; j#9'l %';G5yY 7$&b-%,;{5kG587'&) - 58-H%,&)%'&b587l\G7@%:9@5`*+%'5 %';G5l
&b-*j# 9'l}*+%9@5:8# -G& 5k=H%';G5V7@&blr\Gb*+%,&)# - +59@-G5  |;{5 k{&)59'58-H%eMN6SfY 7*+7
9'58:# -G&85k=x%,;G5/U
Y 4646S *-s*+b# 7@&blr\Gb*+%,&)# -+59'-{5*9'50*7|j# )b#h_7
  R q{
^-r%,;{55Zx\s*+%'&b# -       &!j 0&b7 *+-*:9@# 7'7Z?\G*-H%,&)%^
    ( #)%<*+ 5  {%,;G58-%';G515Zx\s*+%'&b# -&)7|:*+7'7'& s5k$*76*-*:89'# 7@7658Zx\s*+%,&)# -R
j 1&)7*O%';G9'#\G ;rZx\s*-?Q
 u R q{
^-%,;{55Zx\s*+%'&b# -        &)
%'&)%^     :\G9@9'58-x%  G%';G5-%';G5~5Zx\s*a%,&b#-&b7:8*7@7'& s5k*+7|*/%,;{9'# \G;5Zx\s*+%'&b# -R
    q{
^-%,;G5O5Zx\s*+%'&b# -       ?&)j &)7z*1j9'55OZx\s*-H%,&!%^    
kG&)7@%,*-G:5  G%';G5-%,;G5158Z?\G*+%,&)# -&b7|:b*7'7@& s58kE*+7_j9@5515Zx\s*a%,&b#-R
|;G5y  :#?kG5 58-G59'*+%,58k %'# F589@j# 9@l %';G558*=# 9,*a%,&b#-#j_%';G57'&)lr\G!%<*aQ
-G58# \G7~7g%<*+%'5lm5-H%,7~:89'5*+%,5%';G5*=#( 5rlm5-H%'&b# -G58k  !   "     zj9'# l
%,;{5f&b-]j# 9'l}*+%,&)# -*`(+*&bb*=Gb5|&)-m%';G5fS
4OY &)-x%'59@l}58kG&*+%'5|j# 9'l}*+%`Sf)s%,;G5O\G-Gx-G#h_-G7
2d




 
   
 !!"# $ %&''
)(*
+%',$-,
. /021340 5-%&
67598, :$ $-%&'
;
'<>=?<
'@ A(:'>B
CEDGFGHIKJ@LMF N PO1QBRTS $->@1VU:WX%&>%&YRZS[$->*U J@\
] ^ _ JF
 a
` ^ IKD ` F *
^ Fcb NZa
(*>%2N!
'd /0. ?
[ :,e 2# $?%''
?<2 /0fGRTS $->@1VU

'ZS[$-2!2 2< ,<5[Sg.?/021.fM <YRZS[$->*Uh


'i 
TS $j.G#9$ %''&
k

&b\G9'5MC]2 Y[Zx\G&)(+*)5-H%|j\G-G:A%,&)# -#j *+-$5 {F{9'57@7'&)# -EY JC X 




%,;G*+%#?::\{9&b- *V7'&)lr\G!%<*-G58# \G7r7g%<*+%'5lm5-H%m*9@5Fs*9g%#j_%,;G5yY j# 9'lm5k


j#9%,;s*a%
Fs*9g%,&):\Gb*9[7@%,*+%,58l}58-x% U]&b-{:5_%,;G5O7'&bl\G*+%'&b# -+59@-G5-G558kG7%'#58(+*)\s*+%'5O5*:<;  
  "   6kG\G9@&b-GO58(59@0&!%,59'*+%,&)# -1&b-0%,;G5 7'&)lr\G*a%,&b#-M:8?:)5*-Gk*7l*-H
%,&)l}587z*+7z-G585kG58k {%,;{5~5b*=#9,*+%'&b# -#j*07'&bl\G)%,*-G5#\G7z7g%<*+%'5lm5-H%lr\{7@%|*+&bk&)-F59 Q
j# 9@l}&)-G7'\{:<;5A(*+b\s*+%'&b# -{7~&b-.*7'&)l}F{b5*-{k 5 m:&b58-H%1l*-{-G598 s# 9f%,;{5mF{\G9'F# 7'587
#j5 ]FG*&)-G&b-{0;{#h%';G&b7 lm5:<;s*-{&b7'l &)7\{7'5k&)-U
Y 464_Sxhz5O\G7'56%,;G5O7'5l}*-H%,&):7 #j
b&)-G5`*+9zj# 9'lm7|#j5 ]FG9@57'7@&b# -{7f*7_5 {F{*&)-G5k&b- C X *+-Gk$7@;G#h_-E&)- &b \G9@5MC{32]
 7@&b-G$%,;G5*+=#( 5lm5-H%'&b# -G58k
7'58l*+-x%'&b:87j# 9/%'9,*-{7@j# 9@l}&)-GV*- 5 ]FG9'587'7'&)# &b-H%'#E*j\G-G:A%,&b#- 5A( 589@5 ]FG9'587'7@&b# - *+FGF5*9'&)-G&b- 58(59@7'&)lr\G!%<*-G58# \G7M7g%<*+%'5lm5-H%
:`*+- =5m%,9,*+-G7@j# 9@l}58k
&b-H%'# *-
58Z?\{&)(+*b58-H%j\G-G:A%,&)# -R 5:*b[%,;{&b7lm5:<;G*-G&b7@l *+7
   "    
" s |;G5mj\G-G:8%'&b# -:`*- %,;G58-=55 {58:\{%'5k kG\{9'&b-{$7@&blr\]Q




2

*a%,&b#-%'#kG58%'59@l}&)-G50%';G5(+*)\G57O#j %,;{5r\G-Gx-G#h_-G7M&)-$%,;{5r:# -H%'&b-x\G# \G7f7@?7@%'5l


^KMLONMPQ^SM"EU %,;G57'&bl\G)%,*-G5#\G77g%<*+%'5lm5-H%,7:*-
;s*`( 5*+9'=G&!%,9,*+9@ 5 ]FG9@57'7@&b# -{7# =#%,;%,;G56b5Aj % ;s*-Gk}7'&bk{5O*+-Gk}%';G5O9@&b ;H% ;s*-{k7'&)kG5_#j%';G567@%<*a%,5lm5-H% z\{% %,;G5O*-s*aQ
b#7'&bl\G*+%'&b# -E59@-G5 9@5Zx\G&b9@571%,;s*a%158( 589@ \G-Gx-G#h_-;s*70*7'5FG*9,*+%'5}5 ]FG9'587'7'&)# kG58-G#%,&)-G&!%,7_(+*b\G5/*+%~*-H$F# &)-x%OkG\G9@&b-G}7'&)lr\G*a%,&b#-R |;G&)7f:#-GkG&)%'&b# -&b765-]j# 9':85k
&b-$U
Y 4646S =H9@57@%'9'&):8%,&)-G%,;G517@&blr\G!%<*-{5# \G7|7g%<*+%'5lm5-H%,7|%'#m=51#j%,;G5Mj# 9@l


  

 

C{) 

 

_h ;G589'5 &b76%,;G5/kG5F5-{kG5-H%M(+*9'&b*=G)5Zx\s*+-x%'&)%^_*-Gk   !    *9@5/%,;{5


&b-{kG5F5-Gk{5-H%|(+*9'&b*=Gb587LO5-{:5G%';G5~58*=# 9,*a%,&b#-}#j%';G5~7@&blr\G!%<*-{5# \G77@%,*+%,58l}58-x%'7
&blmF# 7'587r%,;G&)7m9@57g%,9'&):8%'&b# - # - %,;G57@&blr\G!%<*-{5# \G77g%<*+%'5lm5-H%,7%,;G*+%m:`*-*FGF5`*9&)%,;{50%'5 ?%~#j%,;G5/l}#?kG58 
^-VU
Y 4O4_Sv7@&blmFGb517'&)lr\G!%<*-G58# \G7_7@%,*+%,58l}58-H%,76:`*-V;G*(5
*9@=G&)%'9,*9g5 ]FG9'587'7@&b# -# -}%,;G5O9'&b;x%;s*-{k7'&)kG5Oh_&!%,;%';G5f)58j %;s*-Gk7@&bkG5O=58&b-G*kG5 Q
F5-GkG58-H%z\G-{?-{#h_-}Zx\s*-H%,&!%^# 9[&)%'7[kG59@&)(+*+%'&)( 5+ |;G56*=#( 56l}58-x%'&b# -{5kl}58:<;s*-G&)7'l
&b7_*+b7'#m*F{FGb&):`*=G)5O%'# 
     *-Gk 
      z7g%<*+%'5lm5-H%,78




1  

W
 

;-6.-9



:-6;

/*9'5\{7'5k &)-KMLONMPQ^SM"EUl}#?kG5[%'#VFG9'#?:587'7kG&)7':8# -H%,&!Q


-x\G&)%'&b587[Sf-G*b# +59@-G5 &b7z&b-{j# 9@l}58k#j %,;G51#?::8\G9'9@5-G:85/#jkG&)7':8# -H%,&b-x\G&!%^=H=G9@5`*

    
  

2n

7@%,*+%,58l}58-H%,7}*-Gk FG9'#F589m;G*-GkG)&b-G &)7F589@j# 9@l}58k =H G-GkG&b-{ -{58h N1y # F59,*a%,&b-{


F# &b-H% =58j# 9@5 G-GkG&b-{*-Hj\G9g%,;G589[%,9,*+-G7'&)5-H% 7'# )\{%,&)# -R[Ux]-H%,* m#j        
 
 R&)7_ &)(5-*7|j# b)#h_7
*=5   xqGt ={9'5`*+HQTb&)7@%  7'5-{7'&)%'&)(?&)%^HQT:*+\G7'5  } ? :8# -GkG&!%,&b#-
yz# -G:8\G9'9@5-H%=G9@5`* 7g%<*+%'5lm5-H%9@5FG9@57'58-H%,7*F{9'#?:57@7:#-x%,*&b-{&b-G*=G9@5`*
7@%,*+%,58l}58-H%6h_;{# 7'507@?-H%<* &)7| &)(5-=58b#h
*=5   xqGt ={9'5`*+HQTb&)7@%  ? :#-GkG&)%'&b# - 
LO589'5=G9@5`* QTb&b7g%_:# -H%,*&b-G76Zx\s*-H%,&!%,&)576*-Gk%,;G58&b9_-G58hc(+*)\G57|%';s*+%Olr\G7@%O=5
*7@7'&b-G5k%,#r%';G5l *7|7'#?# -*7|kG&)7':#-x%'&b-x\G&!%^#?::8\G9'78ze~:8:\G9@9'5-{:50#jkG&b7@:# -H%,&)-x\G&)%^
&b7 kG5A%,59@l}&)-G5k}=H}%';G5f:8# -GkG&!%,&b#-}FG9@57@5-H%|&b-m%,;G56=G9@5`*m7@%,*+%,58l}58-x%
^-}%';G5~*={7'5-{:5
#j%,;G51:8# -GkG&!%,&b#- {=G9@5`*7g%<*+%'5lm5-H%6&b7|\G7@5kj# 9_&b-G&!%,&b*b& `*+%'&b# -#jZx\s*-H%,&!%,&b587
N~\G9@&b-Gf%';G558*=# 9,*a%,&b#-#jv=G9@5`*/7@%,*+%,58l}58-x%[*~=#?# b5*-7@&b -G*{:8# 9'9@57'F# -Gk?Q
&b-{/%,#r*=G9'5*m7@%<*a%,5lm5-H%|&)7z:89'5`*a%,5k*+-Gk%,;s*a%7'&) -s*&b7 FG\{%# -%,#/%,;G5~7@5-G7@&)%'&)(?&)%^
b&)7@%|#+j%,;{5/*+-s*b#mF{9'#?:57@7ze~=?>@5:A%,7f#+j=G9@5`* QT7'58%f*-Gk=G9@5`* Q^58b58l}58-x%O*9@51&b-G7g%<*-]Q
%,&b*+%,58kE*+-Gk$Zx\s*+-x%'&)%'&b57 s5 ]FG9@57'7@&b# -{7f &!(]&)-G%,;G58&b9_-G5Ahi(+*b\G5876*-GkE:8# -GkG&!%,&)# -s*R5 xQ
FG9@57'7@&b# -{7*9@5f7@%'# 9'58k&b-m%,;G587'5~#=?>@5:A%,7[S =G9'5* Q^58b5lm5-H%7@%'# 9'587z%,;G5OZx\s*-H%,&!%^*+-Gk
5 ]FG9@57@7'&b#-V &)(?&)-G-G58hc(+*)\G5~j# 9_&)%_&)-E*=G9@5`*7g%<*+%'5lm5-H%`S =G9@5`* QT7'58%O:#-x%,*&b-{7
b&)-G5`*+9|b&b7g%|#j=G9'5* Q^5)5lm5-H%,78zS b&)-G5`*9zb&b7g%_#j ={9'5`*+HQT7'5A%,76&b7_l*+&b-H%<*&)-G5k%'#}7g%,# 9@5
*) %,;G5}=G9'5*.7@%<*a%,5lm5-H%'7$N~\G9'&)-G7'&bl\G*+%'&b# -  h_;{5-%';G5FG9@#]:857@7:#-x%,*&b-{&b-G$*
Fs*9g%,&):\Gb*9={9'5`*+7'5A% &b7 5 ]5:\]%,5k}*-Gk:8# -GkG&!%,&)# -r:#9'9'587'F# -GkG&)-G~%,#~%';s*+%[FG*9@%'&b:\{*9


C

=G9@5`* Q^7@58%O=58:# lm57_%,9@\G5M%,;G58-EkG&)7':8# -H%,&b-x\G&!%^&b7|9@5F# 9@%'5k%,#%,;G5/*-s*+b# +59'-{5=x


*:A%,&)(+*+%'&b-G_%,;{5z=G9@5`*17'&) -s* ah_;{&b:<;r&)7*)9'5*k{0# -/%';G5z7@5-G7@&)%'&)(?&)%^0b&)7@%#jG%';G5|*-G*b#
589'-G58 _S -{58h N1y # F59'*+%,&)-GmF# &)-H%O&)76j#\G-GkV=H$*7'7@&b -{&b-G%,;G50-G5Ah_)58(+*)\s*+%,58k
5 ]FG9@57@7'&b#-G76j#9|Z?\G*-H%,&)%'&b58767g%,# 9@5k&b-%,;{50={9'5`*+HQT5)5lm5-H%,7_#j*:8%'&)(50={9'5`*+HQT7'5A%,7


1  

-u-6 / * -9
;R >@* :- "- &;

^
-EK~LfNMPQ^S~"VU vZx\s*-H%,&!%,&b587O9@5FG9@57@5-H%~(+*b\{57f#+j%,;{5\G-Gx-G#h_-G7M&)-E*m:# -?Q
%,&)-x\G# \G7m7@?7@%'5l kG587':9@&bF{%'&b# - |;G5A:*- ;G*(5E7@58( 589,*O*+%@%,9'&)=G\{%'57m*7mkG5 s-{5k&) C X [S%'%,9@&b=G\]%,57|%';s*+%6:`*-=51;s*-GkG)5k&b-$U
Y 4646Sc;s*`(5/=558-EFG9@57'58-H%,5kE;G59@5


q{``+  
|;G5

 *+%@%,9'&)=G\{%'5j# 9*|7':**+9RZx\s*-H%,&!%^~&b79@5FG9@57@5-H%,58kr*7

     
h_;G589'5 i&)7 *0Zx\s*-H%'&)%^m*-Gk  1&b7 *-m5 ]FG9@57@7'&b#-#j%,;G567,*lm5|%^?F5O*7 %,;s*+% #j m
|;G&)7[*+%'%'9'&)=G\{%,59'58FG9'587'5-H%'7z*f=#?# b5*-r7'&) -s*xh_;G# 7@5(+*b\G5z&b7 _4  Y&!js%,;G5zZ?\G*-H%,&)%^
&b7|7@\ m:&)5-H%,!*=#(50%';G5M(+*b\G5M#+j%';G515 ]FG9'587'7@&b# -  ]
|;G5f*-s*)# /7@# )(59&b7 %,;G5OkG9'&!( 59#jR%';G5f&)l}FG)&b:8&)% 7@&b -G*v9'5F{9'57@5-H%,58k=xm%,;{5
*+%@%,9'&)=G\{%'5

   A  7'&b-{1%';G5     !   


  1lm5:<;s*+-G&b7@l H%,;{5
5 ]FG9@57@7'&b#-  &b-%';G5*a%'%,9@&b=G\]%,5&b71%,9'*-G7@j#9'lm5k&)-H%,#V*j\G-G:A%,&b#-R |;G5*-G*b#
7'&)lr\Gb*+%,&)# -159@-G5?%,;G58-58(+*)\s*+%,587%';G&b75 ]FG9@57'7@&b# -*aj %,59kG5A%,59@l}&)-G&b-{O5A( 59g*-G*b#
7'#b\{%'&b# -
F# &)-x%r*-Gk *:8:# 9@kG&b-{ ) FGb*:587r%,;G5%'9,*-{7,*:A%,&b#-G7r# -
%';G5kG9'&!( 589'7#j_%,;{5










  



C{

=#]# )5`*-E7'&b-s* MU]&b-G:8558(59@E%,5 ?%'\s*[*F{F5*9,*-{:5#j[%';G&b7M*a%'%,9@&b=G\]%,5r9@5FG9@57'58-H%,70*


7'&) -s* *- \G-G&)Z?\{5m7@&b -G*;s*+71%'#=5j# 9@l}58k k{\G9'&)-G5*+=# 9'*+%,&)# - *-{k.%';G5j*-G# \]%
j# 9%';G&b7|7@&b -s*+R&b7|kG5A%,589'lm&b-G58kR
{q `a 
Sf-{#%,;G589|( 59g&blmF#9@%<*+-x%*+%'%'9'&)=G\{%,5M#+j *Zx\s*-H%,&!%^&b7%';G5  z*+%'%'9'&b={\{%,587
%,;G*+%|9'58FG9'587'58-x%'76*-&blmFGb&):&!% Z?\G*-H%,&)%^ |;G5~(+*b\{5~#j%,;{&b7&)l}FG)&b:8&)% Zx\s*-H%,&!%^&)7z%,;{5
%,&)l}5kG&)59@5-H%,&b*?#jv%,;G5|FG9@5  Z?\G*-H%,&)%^ W*+%%,;G5%'&blm5%,;{5_*+%'%'9'&b={\{%,5&b7 5A(*+b\s*+%'5kR
Y[*=# 9'*+%,&)# -.#j%,;{&b7/*+%'%'9'&b={\{%,5m:9@5`*+%'57/%';G57@5&blmFG)&b:&!%~Zx\s*-H%'&)%,&)570&b- %,;G5}7@?7@%'5l

^lmFGb&):&)%Z?\G*-H%,&)%'&b587O*+9'5/*b7@#m:8# -G7@&bkG589'5kE*76\G-Gx-G#h_-G7~&)-%';G5/:8# -H%,&)-?\{# \G76kG57@&b -R


|;G57@&blr\Gb*+%,&)# -E+59@-G5 &)- U
Y 4O4_S9@5:# -G&8571*-{k 7@# )(57~j# 96%,;G587'5kG&!589'5-H%'&*
Zx\s*-H%,&!%,&)571*7M%,;{# \G ; %,;{58Vh59@5}kG&!589'58-x%'&*5Zx\s*+%'&b# -{70&)( 58-.=x %';G5lm#]kG58  
LO58-G:5158*=# 9,*a%,&b#-#j %,;{57'51kG&!589'58-x%'&*Zx\s*-H%,&!%,&)57|-G585kG7|%,#&)kG5-H%'&)j m%,;G5~(+*9@&b# \G7
kG&!589'5-H%'&*~Zx\s*+-x%'&)%'&b57*-{k%'9,*-G7gj# 9'l %,;G58l &b-H%,# kG&!589'5-H%'&*~58Zx\s*+%,&)# -G78 z\]%
%,;{57'5M58Zx\s*+%,&)# -G7_*9@5~&blmFG)&b:&!% &b-%';G5~7@5-G7@51%';s*+%%';G58*9'5f-G#%|:89'5`*a%,5k=H%';G5f%'5 ?%
#j%,;G51lm#]k{5 




 

CH2

 


    

&)%';&b-G:89'5*7'&)-G 7'& 5 *-{k:8# lmFGb5 {&!%^ #+j0%';G5 :&)9':8\G&)%'7\G7@5kj# 9lm& ]5k]Q
7'&) -s*O7'&)lr\G*a%,&b#- &)%&b7&)l}F# 9@%,*-H%%'# 5 ]FGb# 9@5V(+*9'&)# \G7hz*`]7#j/5-{;s*-G:8&b-G %,;{5
F59@j#9'l}*-G:51#j%,;G507'&)lr\G*a%,# 98e~-G507'\G:<;$%,5:<;{-G&bZx\G5h_;G&):<;E&b7_FG9@57@5-H%,58k &b-%,;G&)7
%,;{57'&)7 &b7[9'58kG\G:8&b-GM%,;{5658*=# 9'*+%,58km7@58% #j:<;s*9'*:8%'59'&)7@%'&b:|5 ]FG9@57@7'&b#-G7&)-%,;G5_lm& ]5k]Q
7'&) -s* 7'&)lr\Gb*+%,&)# -R |;G&)7r7@%'\Gk{#j69'5k{\G:&)-G 5Zx\s*+%'&b# -{7r;s*7=558- F589@j# 9@l}58k # %^h#7'5A%,7m#jO5Zx\s*+%'&b# -G7Q    #   |#jf5Zx\s*+%'&b# -{7}*+-Gk      #   |#j
5Zx\s*a%,&b#-G7|;G5*+b # 9@&)%';Gl kG5A( 5)# F5k
%,#$9'58kG\G:5}%,;G5}5Zx\s*+%'&b# -]QT7'5A%7@&5}&b-=#%';
7@?7g%,5lm76&b7|FG9@57'58-H%,5kE&b-%,;G&)7|:<;s*F{%'598


CC




 

 

 1
 

W l5

  


 



  

9

 

 

: ;- "-* -6 8 :


>@*.-6 ) ;

Sc:#-G7'589@(+*+%,&!( 517@?7g%,5l &)7lm#]kG58b58k\G7'&)-G=G9,*+-G:<;$:8# -G7g%,&)%'\{%,&!( 5M58Z?\G*+%,&)# -G7


z9'*-G:<; :# -{7@%,&!%,\{%'&)(55Zx\s*+%'&b# -G7*+9'5%,;{55Zx\s*+%'&b# -G7-{55k{5k j# 958(59@
=G9,*-{:<;&)*:#-G7'589@( 58k7g]7g%,58l$ ;G&b)5rl}#?kG58b&b-{:#-G7'589@( 58k7g]7g%,58l%,;G5lm#?kG5)59f-{55k{71%'#
FG9@#(?&)kG5={9,*-G:<;/:# -{7@%,&!%,\{%'&)(558Z?\G*+%,&)# -G7 j# 9 58( 589@0=G9'*-G:<;&)-0%';G5 7@?7@%'5l yz# -G7@&bkG589
%,;{5 &b \G9@5MBG! 
v1
R1

1
+

Vs

i1

i2

R2

i3

v2

&) \G9'5zBG) S7'&)l}F{b558b5:A%,9@&b:-G5A%^hz#9' :8# -G7@59@(5k7g?7@%,58l  7@;G#h_&b-G1=G9'*-G:<;}(+*9@&!Q


*=G)57


CB

v1 = i1 * R1
2

v2 = i2 * R2

i3 = C * dv2/dt

Vs
0

&) \G9'5OBG32 [Y[Zx\G&)(+*)5-H%| 9'*FG;9'58FG9'587'58-x%,*+%,&)# -#j s \{9'5MBG!~7';{#h_&)-G=G9'*-G:<;:# -?Q


7@%'&)%'\{%,&!( 5M5Zx\s*a%,&b#-G7


^
- &) \G9'5/BG!*-V5)5:A%,9'&):`*-G5A%^hz# 9@V&b7O7';G#h_-.h_&)%';Ej# \G9~={9,*-G:<;{57 |;G&)7
&b7/*$:8# -G7@59@(5k 7@?7g%,5l *-Gk %,;G5}=G9,*-{:<;(+*9'&b*=Gb587*+9'5%,;G5}=G9,*-{:<;( # !%<*57r*+-Gk
=G9'*-G:<;
:8\G9'9@5-H%,78VY[Zx\G&)(+*)5-H%9,*FG;9'58FG9'587'5-H%,*+%,&)# - #j%';G&b70:&)9':\{&)%0&b707';G#h_- &)&) \G9'5BG32]
^-%';G5E9,*FG; 9'5F{9'57@5-H%<*a%,&b#-5`*:<;=G9'*-G:<;&)7*7@7'#?:&*a%,5kh_&)%,;*5Zx\s*a%,&b#-9@5FG9@57'58-H%,&b-{E%,;G59@5*a%,&b#-G7';G&)F.=5A%^hz585-%';G5}={9,*-G:<; (+*9'&b*=Gb587~j# 9M%,;s*a%
Fs*9g%,&):\Gb*9=G9'*-G:<;RU]\G:<;$5Zx\s*+%'&b# -&)7|?-{#h_-E*7_=G9,*+-G:<;E:8# -G7@%'&)%'\{%,&!( 5M5Zx\s*a%,&b#-R
CHI

  

2 #4*]- &:

-9c5, , )>@*

S lm#]k{5{-{55k{7 %'#M;s*`( 5|=G9'*-G:<;m:# -{7@%,&!%,\{%'&)(55Zx\s*+%'&b# -{7 j# 95*:<;}={9,*-G:<;&)*f:8# -G7'589@(5k7g?7@%,58l$ |;G5|-x\Glr=59 #jv={9,*-G:<;{57 &b-*O:&b9@:\G&!% :*-=58:# lm5(59g;G&b;
j# 9b*9'5~l}#?kG58b7*+-Gk7'#:`*-=5~%,;G5M-x\Gl=589|#j5Zx\s*+%'&b# -G78
^-G:9@5`*7@5k-?\{lr=589|#j
5Zx\s*a%,&b#-G7/h# \G)k:`*+\G7'57@b#h 7@&blr\Gb*+%,&)# -R |;G5&bk{5`*=58;G&b-Gkl*x&)-G$7@&blr\{*+%'&b# j*7g%,59 &b7 %';s*+% %,;G5_lm#]k{5b589[l}&) ;H% -G#% =5O&)-x%'59@57@%'5k}&b-(]&)58h_&)-GM%,;G56# \{%'FG\{%,7 #jR*b
%,;{5m={9,*-G:<; (+*9'&b*=Gb587~&b- %';G5}:8&b9@:\G&!%`
^-.%,;s*+%1:*7'5m\G7@&b-G%,;G5FG9@&b-G:8&bFG)5r#j7'589'&b587
*-Gk Fs*9,*+bb58|:# )*F{7'&b-{ #+jM%,;G5$=G9,*-{:<;G57h5V:*-# ={%,*&b- *- 58Zx\G&)(+*)5-H%:8&b9':8\G&)%
h_&)%';9'58kG\G:85k-x\Glr=59#j ={9,*-G:<;{57|=G\{%kG&)59@5-H%|=G9'*-G:<;Fs*9'*lm58%,589'7 (*+b\G587 )&b5
9'587'&)7@%<*+-G:5[:`*Fs*+:&)%,*-G:8558%': /-G#h1 %';G5%,589'l 7'589'&b587*-GkFs*9,*+bb58 :# )*FG7@&b-G
h50lm5`*+-%';G519'58FG*:85lm5-H%6#j*-?\{lr=589_#j%';G517,*lm5~%^?F587O#+j=G9'*-G:<;G587O&)-7'589'&b587
*-Gk FG*9,*)b58=H *+- 5Zx\G&)(+*)5-H%M=G9'*-G:<;.h_&)%';VkG&)59@5-H%1=G9'*-G:<;.Fs*9'*l}5A%,589'7 |;G&)7
%<*+7' #j_=G9,*+-G:<; 9'5k{\G:8%'&b# -
#+j6*El}#?kG58&)7r*V# -G5m%,&)l}5}*:8%'&)(?&)%^*-{k
%,;G&)79'58kG\G:857
%,;{50-x\Gl=589|#j={9,*-G:<;{57O*-Gk;G5-{:51%,;G51-x\Glr=59|#j5Zx\s*a%,&b#-G7h_;G&b:<;$*9@5M-G558kG5k
j# 9f%';G5r7g%,5F{707@;G#h_-.&b- &) \G9'5r2]! /U]&b-G:85*)58Z?\G*+%,&)# -G71*9@5%,9'*(59@7'5k.j# 9~7g%,58FG7
7';{#h_-m&b- &b \G9@5_2]! H9'58kG\G:A%,&b#-m#+j%';G5_-x\Glr=59[#j5Zx\s*a%,&b#-G7 l*+57 %';G&b7 %'9,*`( 589'7,*+
j*7g%,59*-Gk7@&b-G:85~%,;G&)7%,9'*`( 59@7,*&b7zk{# -G5fj# 9z*-x\Glr=59#+j%,&blm57kG\G9@&b-Gr7@&blr\{*+%'&b# %,;{59'5m&b717@&b -G& s:`*+-x%158-G;s*-{:5lm5-H%&b- 7'F55k=H %,;G5m9'58kG\G:8%'&b# - #j%,;G5m-x\Glr=591#j
5Zx\s*a%,&b#-G7
CX

 

,5



;g
-9.-6 )

#F589@j# 9@l={9,*-G:<;9@5kG\{:8%,&)# -%,;{5~:&)9':\{&)%&b7 G9'7@%z%,9,*+-G7'b*+%,58k&b-H%,#r* 9,*+FG;


   h_;G59@5 &b71%,;{ 5 #   *-Gk &b71%,;G5      #j_ 9'*FG; |;G5
7'5A%,7 *-Gk j\G)) :<;s*9'*:8%'59@&5 %';G5 9,*+FG;  s# 9* 9,*+FG;9'58FG9'587'5-H%'&b-G*
:#-G7'589@( 58k7@?7@%'5l  :# -H%,*&b-G7%,;{5E-G#?kG57#j~%,;{5E7@?7g%,5l *-Gk :#-x%,*&b-{7}%,;{5
h5&b;x%'7*-{k %^?F587#j~%';G5E58kG 57}:# -{-G5:A%,&b-{%,;G587'5V-{#]kG587Sf-5kG 5   
1h_;G589'5
*-Gk 9'5F{9'57@5-H%,7%';G5:#-G-G5:A%,&)# -
=58%^h55- (59@%'&b:857
*-Gk *-Gk%,;G51%^?F5*-Gk$h5&) ;H%~#j%,;G&)7O:8# -G-G58:8%'&b# -$&b76*7'7@#]:8&*+%'5kh_&)%,;%,;G505k{ 5
 &b\G9'50BG329'5F{9'57@5-H%,70*- 58Zx\G&)(+*)5-H%M 9'*FG;V#j*- 58b58:8%,9@&b:*:8&b9@:\G&!%~7';{#h_-.&)&) \G9'5MB{) ]h_;G&b:<;&b7_*r%^?FG&b:*5 {*lmFG)5M#j *:8# -G7'589@(5kV7g]7g%,58l$
S :&)9':8\G&)%f-G558kG70%'#=5r%'9,*-{7@j# 9@l}58k &b-H%,#*-.58Z?\{&)(+*b58-H%M 9,*+FG; h_&)%,; 5*:<;
( 589@%'5  kG58-G#%,&)-G.* -G#?kG5*-Gk 5`*+:<;58kG 5kG58-G#%,&)-G %,;G5%^?F5*-Gk hz58&b ;H%#j6%,;{5
=G9'*-G:<;R |;{5 9,*F{;*+7~&blmFGb58l}58-H%,5k &)-E%,;{&b7M7@%'\Gk{E&b7M&b-$%,;G5j# 9@l#j   
 6 |;G59@5&b7*Eb&)7@%/#j(59@%'&b:857*-Gk5`*:<;
(59@%'5 
;s*7*E)&b7g%#j_58kG 587%,;s*a%*9@5
:#-G-G5:A%,58k %,#.&)% *9'*b)59@5kG\G:A%,&)# -&)7%<*+5- :*9'5#j~*+%%,;G5%'&blm5#j~:89'5`*a%,&b##j~%';G5V 9'*FG;&!%,7@5)j z& J5 |*+%%';G5$%'&blm5$#+jM&b-G7@59g%,&b-{
*-58kG 5V&)-%';G5E 9'*FG;&!jM&)%
&b70j# \G-Gk
%';s*+%*+-
5kG5#j|%,;G57,*lm5%^?F5[=5A%^hz585- %,;G57,*lm5-G#?kG57&b7r*+b9'5*k{
FG9@57'58-H%&)-.%';G5 9'*FG;.%,;G58- %';G55kG5m=5&)-G&b-G7@59g%,5k &b7M:8# bb*FG7@5k h_&)%';.%';G55k{ 5
*)9'5`*+k{mFG9'587'5-H%_=HFG*9,*)b5858Zx\G&)(+*)5-G:85 z58:`*\G7@5M#j%,;{&b7%';G59@5~&b7# -G!}#-G5~5k{ 5
#j*rx&b-Gk=58%^h55-%^hz#( 589@%'&b:587|h_;G5-%,;G5M 9'*FG;&b7 s-s*))}9'5`*+k{j# 9|\G-{kG59@ # &b-{
CHd












 





7'589'&)57~:8# bb*FG7'&)-GGOe~-G:5/%,;G5/ 9,*F{;V&b7O9'5`*+k{$%';G5r*+b # 9@&)%';Gl 7';{#h_-.&)- &) \G9'50BGJB


&b7|\{7'5k%,#F59@j#9'l 7@59'&)576*-GkFs*+9,*)b59'58kG\G:8%'&b# -#j%,;G51=G9'*-G:<;G587
|;G5&b-{FG\{%~%'#%,;G5*) # 9@&)%,;{l 7@;G#h_-&)- &b\G9'5/BGDB&)7M* 9,*+FG;.#j %,;G5:8&b9gQ
:\{&)% Rh_;{&b:<; ;s*71=585- 9'58kG\G:58k=H :8# bb*FG7'&)-G%,;{5Fs*9,*+bb58=G9'*-G:<;G587*+70l\G:<;*+7
F# 7'7@&b=G)5 |;{&b7m&b-GFG\]%}9,*FG;;s*7m-G#FG*9,*)b58=G9,*+-G:<;G57*+%%,;G5$7@%,*9@%m#jO%,;G5E*!Q
# 9@&)%';Gl h_;G&b:<; :*-
=5:8# bb*FG7'58kR |;{5*b# 9'&!%,;Gl 7g%<*9g%,7/=x s-Gk{&b-GE%';G5-{#]kG587
h_;G&):<;:`*-=5# lm&)%@%,5k/j9'# lc%,;{5 9,*+FG;kG\G5z%'#M7'589'&b587 :#b*+FG7'&)-GG
T% %,;{5-F589@j# 9@l}7
7'589'&)57 9'58kG\G:8%'&b# -m#j%,;G5_=G9'*-G:<;G587z*-{k}=5:*\G7'5O#j%,;s*+% %';G5_-G58h_!:9@5`*+%'5k={9,*-G:<; 
h_;G&):<;9'58FG*+:571%,;{5m#9'&b&b-s*# -G587/:*--G#h =5m&b-.Fs*9'*b)5h_&!%,;*-G#%';G591=G9'*-G:<;
# -h_;G&):<;}Fs*+9,*)b5]9'58kG\G:8%'&b# -:*-}=5|F59@j#9'lm5k%,# 58%,;{59 h_&)%';%,;G&)7[-G58h_!:9@5`*+%'5k
=G9'*-G:<;R|;G&b7M:*- =5:8b5*9'!$\{-GkG59@7@%'#]#?k.&b- &) \G9'5/BGDC{
^- &) \G9@5BGDC%,;G589'5&)7
-G#rF# 7@7'&b={&bb&!%^r#jRFs*9,*+bb58s9'58kG\G:8%'&b# -}j# 9 %';G5f&)-GFG\{% 9'*FG;R[\{%|*+j %'59 7'589'&b587z9@5kG\G: Q
%,&)# -h_;G5-m%,;G56&b-H%,589'lm5kG&b*+%,5_-G#?kG5O20&)7 9'5lm#( 58k=Hm:# )*FG7@&b-G~%';G56=G9,*-{:<;G57 j9'# l
-G#?kG5M2M%,;G58-%,;{5O-G5Ah_)m# ={%,*&b-{5k={9,*-G:<;-G#h:# lm57&b-FG*9,*)b58{h_&)%';}%,;{5f=G9'*-G:<;
=58%^h55--G#?kG5m*-Gk.C*-Gk.;G58-G:5Fs*9'*b)59'58kG\G:8%'&b# -.:*- *FGFG)&b5k 5:`*-.7'585
%,;G*+%_*+%%,;G5~7g%<*9g%%,;{59'5~h59@5~%,;G9@55~58kG 587|#j %,;G5~7'*lm5fx&b-Gk*+-Gk9'58l}#(+*#j-G#]k{5
2=HE7@59@&b57M:8# bb*FG7@&b-GmH*`( 5r%^h#=G9,*-{:<;G57M=58%^h558--G#?kG587*-Gk.C*-{kV%,;G58- =x
Fs*9'*b)5G:8# bb*FG7@&b-G s-s*+b)r# -G5f={9,*-G:<;}h_&)%,;h5&b;x%   



    &b7 # =]%<*&)-G5kR
|;G5}*b# 9'&!%,;Gl 7';G#h_-
&)- &b \{9'5BGJB$F59gj# 9'lm7~%,;{57'5}9'58kG\G:8%'&b# -.%,58:<;G-G&)Z?\{57r*+-Gk
%,;{507g%,58FG7f*+9'517'58)j5 ]FG*+-s*+%,#9@ 
C

R
Input
R

R
After
Series
Reduction

After
Parallel
Reduction

R+R

Req

&b \G9@5MBGDC U]59@&b587O*+-Gk$FG*9,*)b58:#b*+FG7'&)-Gr# -&b-{FG\{%6 9,*+FG;R




Cn

 ,' %&4  



  J ^ O
'. <+  
  W

J@C O@2 >%,# ?'!8,?',T(Xd<6': <>S+%2!.'&/09
 <MW
I ^F
%,V>( <6.@%/ '2T(Xd<6': <
?',>%
+"! $#%'& a
( /0K V -<6'*
  >%
'4)! *#+%'&  A
60
'i >%,# a
( /0K Q  >%,# @%/ )! $#%'& a
, <!  
 a
^ @\ ^
, #  >%&,#"
+  
 a
^ Fcb J@C
^ FGb - J ^

&b\G9'5MBGJB [SOb # 9@&)%';Glj#9|=G9,*-{:<;$9@5kG\G:A%,&)# -$&)-*m:8# -G7@59@(5kV7g?7@%,58l






|;G5M:8# l}F{b5 ]&!%^}#+j%,;G&)7|*b# 9'&!%,;Gl &)7. 7'& 5f#+j #     0/07@&85~#j  
  &b-( 589@%,5  A6U]&)-G:5     &b-( 589@%,&):587~*9@50#+j %,;G507,*+l}51# 9@kG596#j%';G5-x\Gl=589
#j 5k{ 57 R%,;G5:8# l}F{b5 ]&!%^E#j[%';G&b7~*b #9'&)%';Gl j# 9~7@59@&b571*+-Gk.Fs*9,*+bb58 9'5k{\G:8%'&b# - &)7
.   1/32  sh_;G589'5  &b7|%';G5/-x\Gl=589O#j( 589@%,&):587~*-G4
k 2 &b7|%';G5-x\Glr=596#j5kG 587
&b- %,;{5E 9'*FG;R |;{# \G ; %';G5# 9'kG589&)7m-{#%)&b-G5*9  &)%m&)7}7'*+%,&)7@j*:A%,# 9g %,# \G7'5%,;G&)7
*) # 9'&!%,;Gl j# 9z=G9'*-G:<;9'58kG\G:A%,&b#-*7&!%&b7z*# -G5O%,&blm5O*:8%'&)(?&)%^}*+j %'5958*=# 9,*a%,&b#-}&)%,;{50lm& ]58k]Q^7@&b -s*+7'&)lr\Gb*+%,&)# -R


B




 


  

 1
 

  


 

 
1 

  

 

 




>@*.-6 ) ;

S-G# -]QT:# -G7@59g( 5k 7g]7g%,58l &)7/lm#]k{5b58k\G7@&b-G    "  A s9'585Zx\s*-?Q
%,&!%,&)570*9'5m(+*b\G5m=5`*9@&b-G# =?>@58:8%,7&b-.KMLfNMPQTSM"VU  h_;G&):<;
kG#E-{#%#=5A %';G5b*`h_7
#j:# -{7'59g(+*+%,&)# -R |;G5A*9'517'&)l}&)*9 %,#m*-H(+*9@&*={b57z&b-*-G# -]QT:# -G7@59g( 5kE7@?7@%'5l
|;G515Zx\s*a%,&b#-G7|kG57@:9@&b=G&)-G%,;G5M=5;s*`(?&b#9|#j %,;G587'5Mj9'5850Zx\s*+-x%'&)%'&b57*9'5~%'59'lm5k 
     A|;G5=G9,*+-G:<;9@5kG\{:8%,&)# - %,58:<;G-G&bZx\G5kG587':89'&b=5k.&)-V%,;G5FG9@58(?&b# \{7M7'5:A%,&)# &b7f-G#%1*F{FGb&):`*=G)5/%'#-G# -]QT:# -G7@59g( 5k7@?7@%'5l *+7~%,;G589'5&b7f-G#:# -G:85F{%1#+j={9,*-G:<;{57
&b- 7@\G:<; 7@?7@%'5lm7 s# 9f5 {*lmFGb5r)58%M\{7M:# -G7@&bkG5891*7@?7@%'5l #+j)&b-G5*9f58Zx\s*+%,&)# -G7M&) *-Gk 6Sf-Gk$hz56>@\{7@%fhz*-H%~%'#5 ]FG9@57'7M7@# lm5/9@5*a%,&b#-G7';G&)F$=58%^h558- %,;G58l$~eM-{5
7'\{:<;E9'58*+%'&b# -{7';G&)F:# \G)k=50*7j# )b#h_7




 


 

2 B
/

BG) 
BG2

| ;G57g?7@%,58l 9@5FG9@57'58-H%,5k =H58Zx\s*+%,&)# -G7BG)*-Gk BG32k{5FG&):8%,7_>@\G7@%r*E9'5 Q


*a%,&b#-G7';G&)F=58%^h558- %^hz#V(+*9@&*=G)578 |;G589'5&)7-G#V-{#%,&)# -
#j|b*`h #j_:# -{7'59g(+*+%,&)# ;G589'5U]&blm&bb*9'! :8# -G7@&bkG5891%';G5m7@?7@%'5l #j58Z?\G*+%,&)# -G7M%,;s*a%9@5FG9@57'58-H%,7lm#?kG5[#j*
BG

=# \G-G:8&b-G=s*) P5A% $9'58FG9'587'5-H%'7/%,;{5(5)#]:8&)%^V#+j%';G5}=G*b*-Gk  9'58FG9'587'58-x%'7%,;{5


kG&)7@%<*+-G:5r#+j[%,;G5/=s*b j9'#l %';G5r 9@# \G-Gk |;G58-.%';G5r9@5*a%,&b#-G7';G&)F$=58%^h558- %,;G58l&)7
&!( 5-=H%,;{51j#bb#h_&)-Gr5Zx\s*a%,&b#-G7


    


 

    

 

 

 







 



BG3C 
BGDB

h_;G589'5        *-Gk      *-Gk &b7$*::85)59,*a%,&b#-k{\G5 %'#


9'*(?&!%^  |;G&)77g?7@%,58l 9@5FG9@57@5-H%,58k=xm58Z?\G*+%,&)# -G7 BGDC/*+-Gk B{DB0&b7 */-{# -]Q^:8# -G7@59@(5k
7@?7g%,5l =58:`*\{7'5%';G5}(5b#?:&!%^.#j|=s*+b &b709'58kG\G:58k 58(59@%,&)l}5&)%/;G&!%,71%,;G5} 9'# \{-Gk
*-Gk s-s*+b)}&)%_9@5`*:<;{57_%,;G517@%,*+%,51#j-G#lm#%,&)# -R |;G&)7_;s*-GkG)&b-G#+j7@\GkGkG58-E:<;s*-{ 5
&b-%';G5( 58b#?:&)%^r&b7 ;s*+-GkGb58k}=H   z7@%,*+%,58l}58-x% -G#+% 7';G#h_-m;G59@5 |;G&)7 &)7[*1 5-G589,*
kG587':9@&bF{%'&b# -#j*-G# -]QT:# -G7@59g( 5k$7@?7@%'5l


  



2 #4*]- &:

-9c5, , )>@*

T
%~&)7f5A(]&)kG5-H%Oj9'# l %,;{5FG9@58(?&b# \{7~7'58:8%,&)# -E%';s*+%M*m-G# -]QT:# -{7'59g( 58k 7g?7@%,58l&)7
9'58FG9'587'58-x%'5km&b-*)%'# 58%';G59kG&!589'5-H%h*`0j9'# l *f:8# -G7'589@(5k7@?7@%'5l |;G589'58j#9'5%,;{5
9'58kG\G:A%,&b#-%,58:<;G-G&bZx\G5876*b7@#kG&!589z&b-}%,;G&)7z:`*+7'5fj9@# l %,;s*+%z#j%,;{5~:# -{7'59g( 58k$7g]7g%,58l
9'58kG\G:A%,&b#-%'5:<;G-{&bZx\G5 |;G&)767@5:A%,&b#-&)( 587|%,;G519'58kG\G:A%,&b#-%'5:<;G-{&bZx\G5/*FGFG)&b:`*+=Gb5O# -G# -?Q^:#-G7'589@( 58kV7@?7g%,5lm7
Bx2

P 58%6\G7_:#-G7'&)kG59_*-G# -?Q^:#-G7'589@( 58kV7@?7g%,5l +# j58Z?\G*+%,&)# -G7_&b-%';G9'5851(+*9@&*={b57


   *-Gk{WP5A%%,;{5E=5;s*`(?&b# 9}#j~%';G5E7g]7g%,58l =E
5 5 {F{9'57@7'58k=H %,;G5j# b)#h_&b-G
5Zx\s*a%,&b#-G7_&b-H( # !(?&b-Gr%';G57@50(+*9@&*=G)57


 


BGI
BG3X 
BGd

  
 
    

  
 

]U \G={7@%,&!%,\{%'&b-Gr%';G515 ]FG9@57'7@&b# -#j $j9@# l 58Zx\s*+%,&)# -B{Ir&b-H%'#5Zx\s*+%'&b# -G7BGDX


*-GkBGd{hz50 5A%6%';G5Mj# b)#h_&b-Gr7@58%6#j5Zx\s*+%'&b# -{7_j#9%,;G517@?7g%,5l


  
   
    
 

  


 


 

BG  
BG3n 
BG! 

[Y Zx\s*+%,&)# -G7 BGDn*-Gk BG) *9@5O-G#h&)-}%,589'lm7z#j%^hz#(+*9@&*={b57 *-{k&)j }*+-Gk


r*9@5O7@5Fs*+9,*=G)5O&)-m%';G57@5f58Z?\G*+%,&)# -G7%';G5- s-s*))r%';G567@?7@%'5l:`*-=565 ]FG9'587'7@5k*7



  
  

  


 

BHC

BG!  
BG!2 

 


BG!C

 

h_;G589'5  *-Gk *9'5}-G58h j\G-{:8%,&)# -G78VSfH*+&b-=H7'\G={7@%,&!%,\{%'&b-G  j9@# l 5Zx\s*+%'&b# -{7


BG!2r&b-H%,#58Z?\G*+%,&)# -G7WB{) 0*-{k BG!Crhz50 58%|%';G517@?7@%'5l =5;s*`(?&b# 9_*+7




 
 

BG!`B 
BG!I 
BG!X

   

  
    

  

fS 77';G#h_-&)-/%,;{5z5Zx\s*a%,&b#-G7$B{)`BfBG!IO*+-GkWBG!X%,;{5=58;s*`(?&b# 9#jG%';G5z7g]7 Q
%,58l :*-=5M# =]%<*&)-G5k=H0>@\{7@%_7'#)(?&b-Gr%';G5M5Zx\s*a%,&b#-G7BG)`Xr=x-x\Gl}589'&):`*Rlm58%';G#?k
*-Gk
%';G5- 7g]l=# )&b:*b!.7'\G=G7g%,&!%,\{%'&b-GV%';G5(+*b\{5#j =s*:<&)-H%,# 5Zx\s*a%,&b#-G7 BG)B
*-GkBG)I]
5|:`*-7'585|%,;s*+%[%';G# \G;%';G5|7@?7g%,5l &)7 9'58FG9'587'58-x%'5k\{7'&b-{~%,;G9@55_5Zx\s*+%'&b# -{7
=G\{%z*+j %'59 7@?lr=# b&):_l*-{&bFG\Gb*+%,&)# -r# -%,;{5O7g]7g%,58l #j5Zx\s*+%'&b# -{7# -{)# -{5O58Z?\G*+%,&)# -G585kG7 %'#M=57@# )(5k-x\Glm59@&b:`*+b)0*+-Gk9'587@% :`*+-=57@# )(5k=Hr7@\G=G7g%,&)%'\{%,&)-Gf%';G5(+*b\G5
#j%,;G5M(+*9@&*=G)57zh_&!%,;G#\{%6*-H&)%'59,*a%,&b#-R
Sf)7'# {:# -G7@&bkG589|%,;G5Mj# )b#h_&b-G7@?7@%'5l #j5Zx\s*+%'&b# -G7


  

BB

BG!d 

 

 

BG! 
BG!n

K *9@&*=G)5E7@\G=G7@%'&)%'\{%,&)# -%,5:<;{-G&bZx\G5 9'58l}#( 587%,;G&)7?&)-Gk#j0%,9,*+-G7'&!%,&)(5V9'58*aQ


%,&)# -G7@;G&bF=58%^h55-V%';G51(*+9'&*+=Gb587
^-$7@\G:<;E%,9'*-G7@&)%,&!( 517'5A%f#+j 5Zx\s*a%,&b#-G76%';G59@5/&)7_-G#
-G585kE%'#}FG\]%M*)%,;G5/5Zx\s*+%'&b# -{76%';G9'# \{ ;$5-G589,*&)%'59,*a%,&)(51l}5A%,;G#?kR_U]\{:<;Vx&b-Gk#j
F59@j#9'l}*-G:5M58-G;s*-{:5lm5-H%O:`*-=5/*+:<;G&b5A( 5k$=H%,;G&)7%,58:<;G-G&bZx\G51( 589@5*7'&)) 
|;G589'58j#9'5v%,#9@5kG\G:85/%';G5/-x\Gl=5896#+j 5Zx\s*a%,&b#-G7|j# 96*m-G#-]Q^:8# -G7'589@(5kV7g]7 Q
%,58l *)j9@5558Z?\G*+%,&)# -G7~&)-V%,;G5rlm#?kG5=58&b-G7@&blr\Gb*+%,58kV&b7f*-s*!5k.7g]l=# )&b:*b!
*-Gk=H9@5F5`*+%'5k (*+9'&*+=Gb57'\{=G7@%'&)%,\]%,&b#- z&!j~F# 7'7@&b=G)5%';G5-?\{lr=589}#+jM5Zx\s*+%'&b# -{7
s-s*+b)} # &)-Gr%,#m=5~%,;G51Fs*9g%6#j%';G51-x\Gl}589'&):`**+b # 9@&)%';Gl &b7_9'58kG\G:58kR
  

2 

;g
-9.-6 )

 #

'& "-5,

?U ?lr=# b&):|*-s*+)?7'&)7 #+j58Z?\G*+%,&)# -G7 -G558kG7z*19'58FG9'587'58-x%,*+%,&)# - xh_;G&b:<;j*:8&bb&!%<*+%'57


*9@&)%,;{l}5A%,&b:# F589,*+%'&b# -{7m#-%,;{5l 7@?lr=# )&b:`*+b) 4658FG9'587'58-x%'&b-G5Zx\s*+%'&b# -G7m&b- %,;{5
j# 9@l #j%'9'55m&b7M(59@ 7@\G&)%,*=Gb5j# 9M%';G&b71x&b-Gk#j|*+-s*)?7@&b7
^-%'9'55m9'58FG9'587'58-x%,*+%,&)# 58(59g-G#?kG5_;s*7 %^hz#/:<;G&b)kG9'58-}5 ]:5F]%%,;G56b5*+j-G#]k{57[SObG(+*9@&*=G)57 *-Gk}:# -{7@%<*+-x%'7
*9@5}%,;{5b5*+j|-G#?kG57*-Gk *)[%,;G5}# F589,*+%'# 9'7*9'5m%,;G5}&b-H%,589'lm5kG&b*+%,5m-G#?kG578 &) \G9'5
BG3I7';G#h_7/*7'&blmFG)5r5Zx\s*+%'&b# - *-{k &!%,7~%'9'559@5FG9@57'58-H%<*+%'&b# -R |;{&b7M9'58FG9'587'58-x%,*+%,&)# ;G58bFG7mF589@j# 9@l 7@?lr=# b&):l*-{&bFG\Gb*+%,&)# - # -5Zx\s*+%'&b# -G78e~-G:5%,;G&)7}x&b-{k #jO%,9'585
BxI

&b7/# ={%,*&b-G58kj# 9/58( 589@5Zx\s*+%'&b# -


&)-%,;{57@?7g%,5l %,;G5*b #9'&)%';Gl 7';{#h_- &)- &) \G9'5
BGDXE&b7/\G7'58k
%,#Vl}*-G&)FG\Gb*+%,5m&)%/7@?lr=# b&):`*)).*+-Gk
7'#)( 5# 99@5kG\G:85%,;G5}7@?7@%'5l *+7
*FGF{b&b:*=G)5
x=a*b+c*d;

=
x

&) \G9'5MB{I [Sc7@&blmFGb5f5Zx\s*+%'&b# -$*-Gk&)%'7|9'58FG9'587'5-H%,*+%,&)# -E&)-%,9'585




BHX

$ 
/e
>


CTL `

 
  


O W
^ GF b;CZL `
CTL `

 <+9>>%%?2
 < ',%2/

 "!

 
  

+ %&
5?  

%$&('



*)

 ,+

.-,/0/012,34  

CTL `
J C O
'i. >@&
<+!
'%  W I  ^ F
J@C O
O Wi '*/e% . %&
5? KW I  ^ F
O
O W,W
^ \ ^
HLMFjIKJF D ^
#9
,>%&

^ Fcb J@C
^ FGb J@C
>(*G%>  $ Sg ' 5 ,%>% ,<  ( g
%>$? 5[S+>(*G%>2 <"< 8,?',,%>
$ < , %&
5? [?/.5->%&'
+ 2% ! >(*c%&>
>
-O
O
W,W
^ Fcb CTL `
^ FGb;CZL `
-/6/0172834  

5 
5

28-,- 

2 9 2,2 9: ;< 28-,- 

.=:>

>=

&('

? "!

28-,- 

@ACB

2 D

&) \G9@5~BGDX Sfb# 9'&!%,;Gl j# 9j9@5515Zx\s*+%'&b# -# F{%'&blm&*+%,&)# 

Bxd


/0$?
 S O@[?
d,%&> W
'

=? <+9>>%% . g


+ ( g
 < ',,%./

 c
',
CTL `

 G
',
/0K Q$  ,%>2@%/  
j  %h
'i  [,>%<
 < *&
,>% /0<
,29<6> .[ >
* g
J@C O'>$?%&5?   
jW I  ^ F
/0 <?
 Sd,%>2
$ < , .  d>
[
^ Fcb J@C
>>$ >> /Q?
602  d>
[@%* 
^ FGb;CZL `
J C O  d>
[*

' AW I  ^ F
>%Q
'd><  g  <
'
'$?
[,e

'X%&/0A < G
',*?< e>(h %&
5M   %/ ( g
'
$?*
+
G$-''
5?k
^ FGb J@C
[ d>
@%

'$ < ,<
J C O@  S 2 %&
5?
 W I  ^ F
 '5-> ', <  % + ',e$? 

+.', < c
'
 <%&/0A Q %/ 2%/0K < c
',
!$ %',[
^ FGb J@C
%$&('

&('

5

%$&('

%$&('

$@&

&

'

'

$&('

$&('

&b \G9@5~BG3d Sf) # 9'&!%,;Gl j# 9|7@&blmFGb&!j ?&b-G/# -G515Zx\s*+%'&b# 

B

 


     



     

    

  "!$#&%('*)+'*,*),.-/'01%('2)3'0,4&5%(167-&%(!8.9&'0+:-<;>=")33%1),4&99.9&?@%,'A3.BC4&5D!FE
%(68)HG2%(&674&%H%,'I67#&%(BJKL!$%,.679:%('* 9.M<4'I+'*,*),.-/'0+N.9O%,'P#),'RQS.6742 "!$#&%('*)A!$9+
%(&'09 -T;U9054+.9&?V%('>%('* 9.M<4'J.9W%(&'J3.BC45.!$%(679X)349ZY[&'J?767!85.P%(6N#)36\Q8'
%(!$%H9054,679[68]^'*M<4"!$%(679O),'*+4R%(.689[%('* 9.M<4'P0!843'0,?79_="L!89T%`.B:#),6aQ7'*BJ'*9T%
.9O%,'I#b'*)3]c67)3B[!89&0'P68]dBJfeg'0+gEh,.?89"!85i3.BC4&5D!$%,.679ZY
C "!8#&%,'0)jk% !8)k%(CG2%,l!m+'*,0)3.#&%,.679n6$]o%,'V'pe&#/'0)3.B:'09T% !$5H!8##&),6T!8 iY
qr),3%s%,'t'RQ8!$5.4"!$%,.679>'*9<QS),679B:'09T%`.1+'030),-b'*+ZuSvYw'8Y_uSG2 VB:_eg'0+gEh,?79"!853.BC4&5D!FE
%(68)2G`!8A4,'*+m%(6J,4##/67)k%A%,'@%,'03.t!8,3'0)3%,.679iuxG2&. m#&5D!$%3]c67),ByG`!8A4,'*+Zu/G2&. 
zI{ G`!8H43'0+O'*%,8Ys'tG`!L;[B:6S+'051G'0)3'|?7'09&'0)(!F%('0+OH!85,6}?7Q8'09O!89&+V="9"!855;j%(&'
~T

),'*,45_%(268] %('IBJ#5'0B:'09T% !F%(.689V68]d'0M<4"!$%,.679 ),'*+4R%(.689N%,'0 9M<4'0A!8),'I#)3'03'09T%('*+ZY


),67#/'0)A!89"!$5;S,.2#b'*)3]c67)3BJ'*+N]c68)o36aG2.9?>%(!$%2%('@'Reg#/'0),BJ'*9T% !85^),'*,45_%(o!8)3'}9
0689&]c67),BJ!$%,.679[G2_%( %('*,A!$,,'*)3%,.679ZY


 
 

 !#"

$&%('%('

) *+-,/.+1032/4#57685&*92;:<4=5>?6@5&0
A 9I67),+&'0)%(62,&6\G%("!F%%(''*MS4!$%(679I),'0+&4*%,.679I%('* 9.M<4'*d0!89I'09!890's%(&'

#/'0)3]c68),BJ!890'6$]i!PB:_eg'0+>3.?79"!$5&,BC45.!$%(67)*u$%,'0)3'o 9'*'0+[6$]i!P3.BC45.!$%(679 '*9TQg),679SE


B:'09T%`G2'*),'|%,'t%('* 9MS4&'P+'030),-b'*+O.9V#&),'*QS674H "!$#&%('*),06845.+V-/'|#54?7?7'*+gE 9ZY
B fe&'*+ ,?79"!85o,BC45D!F%(.689'*9TQg),679&BJ'*9<%V68] { A;C-D9DFE u`H
! GI9JKiLE EB { ,BC45D!F%(67)
49+&'0)@+'*Q8'05.68#BJ'*9T%j!$%I%(&M' J|3%()3.-4g%('0H+ ),6S0'*,,9N? K^!8-i1u Oo9Q8'0),3% ;U68Q] P`.9*.9gE
9"!$%,^.o4,'*+m%(6J#5.4?FE .9O%,' !$5.?767)3%,BJ+&'0,*),-b'*+X.9 %('@#)3'*QS.674&t "!8#g%('0)*Y2'
#/'0)3]c68),BJ!890'268]/%(&'A3.BC45.!$%(68)0u { A;C-DRDRE}uT.s068BJ#"!$),'0+>%(6P%,"!$%10674&#5.'*+:G2_%(:9'*G
%('* 9MS4&'8Y 'N,BC45.!$%(679),4&9:G'0)3' #/'0)k]c67),B:'0+679 { 49gLE S`5D!$+'RUE TVWVXBJ!8 .9&'
G2%,>67#b'*)(!$%,.9?Ik;gk%('*B { 49 zI{ D2'05'L!83R' XgZY Y@93%(!85.5'0+j679>%0Y P`67B:#5.'0)r-b'*.9?I43'0+
.?80|Q7'*),3.67\9 [gY  XgZY ]&Y Et55Z'Reg#/'0)3.B:'09T% !85i+"!$% !C*675.5'0R%('0+ )3'0#)3'0,'*9T%(A!89N!aQ8'0),!8?7'I68]
=Q8'}3.BC45.!$%(679V)3490Y
S`'*L!843'm68]o%(&' 5.B:% !F%(.689 ] !8*'0+ -<;l9T%('0)39"!85)3'0#)3'0,'*9T% !$%,.679 68]| "!$)(!8pE
%('*),3%(W'Reg#)3'0,3.679& 68^] GI9JKiLE EB { B:6S+'05V.9 { A;C-DRDRE %(?7T% .9T%('*?7)(!F%(.689 68]
X_V

VHDLAMS
Model

Branch Reduction
Technique

SIERRA Run Time

C++ Code
Generation

Elaboration

Simulation

Output

Equivalent
VHDLAMS model

rq ?74),'\XgY T  B '*%,6S+675.68?8;n]c67)[k%(4+g;g9?n-),!89  ),'*+4R%(.689 %('* 9.M<4'X%,67?7'R%('*)


G2%, { A;C-D9DFE ux!>BJfeg'0+ ,?79"!85b,.B 45D!$%,67)
%('* 9MS4&'0|%(6['09"!$90'C%,'C,#/'0'*+U68]%('},BC45D!F%(67)2GH!$|968%t#b673,-5.'$YIA'*90' %,6
3%,4+&; %('*,'>67#&%,.B:.KL!F%(.689 %,'0 9&.M<4'0I9W0679 34&9*%,.679XG2_%( { A;C-DRDRE !V+& b'0),'*9T%
!8##&),6T!8 WG`!8|% ! 8'09iYjq"67)|-),!89 U),'*+4*%,.679W%,'0 9M<4'j%('j'*9<QS),679B:'09T%|G2&. 
G`!84&,'0+:%(6@067B:#"!8)3'H%('o,BC45.!$%(679C),'*,45_%(1.?7_Q7'*9J9[qr?74)3' XgY T71Y A 9J!I,.B:.5.!8)
G`!a;}%('`'09TQS.),689BJ'*9T% ]c67)dQ$!8)3D!8-&5.'1,4-k%(_%(4&%,.679C%,'0 9M<4'.d?7Q8'09j.9Cqr.?74&),' XSY [gY
$&%('% 

4 6@, 6@56 :<+10<2;4=5

B 6S+'059'0'*+'0+ ]c67)'*Q$!854"!$%(9? %,'I#b'*)3]c67)3B[!89&0'I'09!890'*BJ'*9T%A%,'0 9M<4'

G'0),'J?7'09&'0)(!F%('0+-T;U,0)3.#&%,0Y { 067#/':68]`%,.I3%,4+&;WG`!8 5.B:%,'0+m%,6 5.9'0!8)P0),04&%(


G2%, 9689gE +'*#b'*9+'*9<%C,674)30'*}%(!$%j!8)3'Jk% !$%,.:.9 9"!$%,4),'$Y { 6m?7'*9'0),!85*.)304_%(I68]
C
u >u  9'R% G`68)  G2_%( Q8675%(!8?7'V3674),*'VG`'*),'O*),'L!F%('0+l43.9?m,0)3.#&% ]c67) k%(4+&; 68]
XT

SIERRA Run Time

C++ Code
Generation

VHDLAMS
Model

Elaboration

Simulation

Output

Variable Substitution
Technique

All
Separable
Variables

No

VHDLAMS Model
With Fewer or the Same
Equations

Yes
Direct Symbolic
Solution

qr?74),'QXgY [ B R' %(6S+67567?8; ]c68)3%(4&+&;S.9?PQ$!8),.!8-5'H,4-&3%(_%(4&%,.679j%,'0 9M<4'o%,67?7'R%('*)


G2%, { A;C-D9 DFE xu !>BJfeg'0+ ,?79"!85b,.B 45D!$%,67)
-),!89 m)3'0+4&*%(679 %('0 &9.M<4'$YHq"67)HQ$!8),.!8-5'|,4-&3%(_%(4&%,.679iu"BJ6S+'05HG2%, %,)(!89&,%,Q8'
!89+ G2%,674&%%,)(!89&,%,Q8'P),'05.!$%(6793.#VG'0)3'@?8'09'*)(!$%,'0+ZY
q"67) -),!89 >),'*+4R%(.689>!85.?768),%,B %(&'BJ6S+'05r9'*'0+'*+:G'0)3'2?7'09'*)(!$%,'0+jG2%,
Q$!8)3;S9?[9<4BC-/'0)o68]-&)(!89 &'0|68] + b'0)3'09T%t'*5.'*BJ'*9<%,0u/QgK8Y_ux),'03.k%(67)*ub0!8#"!8*%(68)0ux.9gE
+4R%(67)}!89+ Q7675_% !8?8'J3674),*'8Y B feg'0+3.?79"!$5BJ6S+'05I9'0'*+.9? #),68#b'*)}"!$9+5.9? 68]
E J Et9"!$5.67?V%,6 J|.?7_% !85 2!$9+ J E J|?7%(!85%(6 Et9!85.67? o0689<Q8'0)3,.689@G'0)3':!85.36
?7'*9'0),!$%('*+ -T;X%,'jB:6g+'*5d?8'09'*)(!$%,67)0Y}HG`6 ,4& B:6g+&'05.t!8),'j36aG299m="?74&),' XgZY ]
!89+ XgY ~ YPqr.?84),' XgZY ][,6aG2I![-&49 U68])3'0,3%,67),P!$9+WL!8#!80_%(67)3A9<%,'0)306799&'0*%,'0+
XW[

G2%,VQ7675_% !8?8't,684),*'8Ys.`.H#4&),'P!89!85.67? BJ6S+'05b!8`%,'0)3'P.H9&6C.9T%('*)(!8R%(679[G2%,


+?7%(!85SG67)35.+ZYrqr.?74&),F' XgY ~ ,&6\G2%,'2.9T%('*),06899'0R%(679j-b'R% G`'*'09[!89"!8567?P!89+>+?7%(!85
#"!8)k%(168]i!@3.B:#5.'*.),*4%0Yr'o+?7%(!85&*.),*4%1+),_Q7'09J-T;j%('A!89"!8567?I#"!8)k%6$]i%(&'
0),*4%2!$9+ &'09*'}9'*'0+N]c67)#),68#b'*)"!89+5.9?j6$] E J *679TQ7'*),,679ZY

+
V

qr.?74&),'^XgYZ]  E ,BJ#&5.'P!89!85.67?jB:6S+'05Z6$]r)3'0,3%,67)o!89+NL!8#"!$0%,67)H9'R% G`68)


B 6S+'05>9'0'*+'0+]c67)>'0M<4"!$%,.679>)3'0+4R%(679l-<;nQ$!8)3D!8-&5.'V34-3%,%,4&%(679G'0)3'

!85,6t?8'09'*)(!$%,'0+C-T;},0)3.#&%,0Yrqx68)d34 jBJ6S+'*5.^'0B:#"!83. GH!8dB[!$.95_;P679T%(6 z )3+.9"!$)3;


J| b'0)3'09T%(.!85 EA5.?7'*-)(!8P'0M<4"!$%,.679&A!$ z JFECA*6aQ7'0)A-.?>34-,'R%|68]r3;S3%,'0B:oG2&. 
!8)3'?7'*9'0),!85.5_;P'09&06749T%,'0),'*+j.9@),'0!85TG`67)35.+ZYd'03'HB:6g+'*5."!$+ )(!$9+67B:5;P?8'09'*)(!$%,'0+
%(),!893%(_Q7'P)3'05D!F%(.689,#H-/'*% G'0'*9XM<4"!89T%(_%(.'*.9O%(&'I]c68),By6$] z JFEC
X_]

Analog Circuit
1

Digital Circuit
5

output
"1"

+
V

qr?74),'MXgY ~ Ey3.B:#5.':BJfeg'0+ 3.?79!85B:6S+'05G2%,n!89"!$5.67? 0.)304_% +&),QS9?m+?7%(!85


?T!$%,'0 
$&%('%


+-,(2 +10<2;4#5 4R> 6 + .:<6 +10 +.32/5



03+1032  032
+-,Q>?6 0 4

A 9 %,'mk% !$%,.3%,.0!85o!89"!85_;g3.:68]I674):'Reg#/'0)3.B:'09T% !85o),'*,45_%(*u(!8B:#5.'NB:'L!89Zu

#/67#45.!$%(679UBJ'0!89 !$9+ *679&="+'*90'J.9T%('*)3Q$!85s68]`BJ'0!89 !$),'>%(':,'RQ7'0),!85s]c49+"!8B:'09SE


% !$50679*'0#&%,}]c)3'0M<4'09T%,5; ),'R]c'0),)3'0+ %(6Y:.@,'**%,.679 #),6aQS.+&'0}! #)3'*QS.'RG 68]`%,'03'
3%(!$%(3%,.L!$5i06890'*#&%(*Y
 "!$#&% ')(*!+$,.-/"% 

{ %(!$%(3%(L!855;8ud,!8BJ#&5.'[B:'L!$9. %,'O!LQ7'*)(!8?8'O68]o!X5.BJ_%('0+ 9<4BC-/'0)C6$]%('0k%


),'*,45_%(*Y=A 9m*67B:#"!8),,679iu&%('@#/67#45.!$%(679OBJ'0!89N),'0#&),'03'09T%(A%('}!LQ7'0),!8?7'@68]!$5.5Z%(&'
X~

%('*3%,})3'0,4&5%(*Y A 90!8,'*@G2&'0),'>%(&':9#4&%,I!8),'>),!89+67B Q$!8),.!8-5.'*0u+'R%('*),B:.9"!$%,.679


68] #/67#45.!$%(679VB:'L!89 .`968%]c'L!$,.-&5.'|3.9*'@_%`G6745+N)3'0M<4),'@!89O.9g="9%,'|),'*#b'R%(_%(.689
68]'Reg#/'0),BJ'*9T%(0Y Cs!8  (!8B:#5'jBJ'0!89U.|%(&'0),'R]c67),'>43'0+!8@!89U'0k%(.BJ!$%,.679W68]1%(&'
#/67#45.!$%(679WBJ'0!89ZY
   b@34 ! #)367-"!8-5.3%( *6790'*#&% %,"!$%I
68] %,'09V43'0+ -T;V!$9"!85;Sk%(%,6 Q$!85.+"!$%,'2%,'|#/67,3.-5._% ;j68]^?7'R%,%(9?C!}?76g6S+['*3%,.BJ!$%('o68]
%(&'@#/67#4&5D!$%,.679VB:'L!$9N]c)367B!C="9_%('I9<4BC-/'0)68]d="9_%('P,K0'I(!$BJ#5'0*Y
q"),67B !="9%,'W9<4BC-/'0) 68]@="9%,'W,K0'U68]}(!8B:#5.'X%,'0k%(0ut,4##/673' !855t%(&'
)(!$9+67B 9<4BC-/'0), ?7'09'*)(!$%,'0+n"!LQ8' !mBJ'0!89Zu !89+k% !89+!8),+n+'RQSD!$%,.679Zu Y '
BJ!a;:%(&'09N4,'|%,'P0679&0'0#g%A6$]d*679&="+&'09*'}9<%,'0)kQ8!$5b%(6j="9&+ % G6>-b6849+"!#H!$9+$! %au
,4& :%,"!$% %,'H#/67#45.!$%(679 B:'L!89j .9}%('9<%,'0)kQ8!$5 &!'# (!%  G2_%(>!|?7C#)367-"!8-&.5._% ;
T|E) 
*,+-./
.02130&465 7!#98:;8<!% >= T@?A)
E?TVWV ;TtE) CB



 E D

G2'*),'I%('UT

   "! # % '

]c67)H%('I#/67#45.!$%(679VB:'L!89N.2!$H]c675.56\G2 

?AF #G
HJIK% LJMON P Q( SE D R F #G
HJIK% LJMON P (

 %  % ! 

 XgY T 

 # %&$ 

68] %('IB:'L!89 2.2*67BJ#&4&%('*+N-T; 

X %
? EZ  (
L % = P ? T T XW V #  E [
Y
XWX

 XgY [ 

T WX V X
+
Z
=
  E
P Y#E
$&%('%

 XgY ] 

 +10 +?+-5+-,  3 2 

JP!$%(! 68-&% !89'0+U-T;U,BC45.!$%(679X),4&968]Q$!8),674PB:6g+'*5.PP#),'*,'09T%,'0+'*),'$Y


HG6%('* 9MS4&'0[!aQ8' -/'0'*9 k%(4+&.'0+ .9l0689349R%(.689lG2_%( { A;C-D9DFE  !GI9JZK E
EB {{ .B 45D!$%,67) A%,6X'09&"!89*'VBJfeg'0+ 3.?79!85s,.B 45D!$%,67)0YVqr.)33%}.B:#),6aQ7'*BJ'*9T%C67-gE

% !$.9'*+W-<;X-)(!89& )3'0+4R%(679W%('0 &9.M<4'>.P?8Q7'*9 !89+W%('*9U'09"!$90'*BJ'*9<%}+4'C%,6


Q$!8),.!8-5'|,4-&3%(_%(4&%,.679O%,'0 9M<4'}#),'*,'*9<%,'0+ZY

 T

' 

T 
( !

!$%  ,

! 



     , 

 'o=")33%`'Re&!8B:.9'2%('o#/'0)3]c68),BJ!890'o68]b%('A),'0+&4*%,.679JBJ'R%(6S+J689J%(&'t,0!85_E
!8-5'H0),*4%r+'030),-b'*+>.9j,'**%,.679 ~ Y T7Y [gY ')(!$9j,4*0'03,_Q7't3.BC4&5D!$%,.679@679>0),04&%(
G2%,X!JQ$!8)3D!8-&5.'P9<4BC-/'0)A68]%('*),B:.9"!85-4&%t68%('*)3G2,' )3'0#)3'03'09T%(9?V%('}0),04&%o68]
%(&'I]c68),B?7_Q7'*9 9mqr?74)3^' XgY ]gY A 9m!85.5iL!83'02%('I9<4BC-/'0)o68]d'0M<4"!$%,.679o),'*+4*'0+ %,6
'0?7T%}%,'0)3'0-T; #),6aQS.+&.9?m!N*679,3%,'09T% QS.'RG 68]H&6\G %,'[)3'0+4&*%(679 B:'*%,6S+#/'0) E
]c67)3BJP!$I! *.)304_%P?7),6aG2*Y EtPk% !$%,'0+ .9W#)3'*QS.674&P "!8#&%,'0)0u^)3'0+4R%(679U.9W-),!89 
'0M<4"!F%(.689t36745+X,#/'0'*+gE 4#W%,' B:_eg'0+m,.?89"!85 ,.B 45D!$%,67)2] %,'0)3'C.o),'*+4R%(.689X68]
'*Q8'09679'O-),!89 l.9%,'O'0M<4"!F%(.689n,'*%:67-g% !89'0+l!$] %,'0)C)34999?X%(&'O-)(!89& *675_E
5D!$#,9?N!85.?768),%,B
6aQ8'0)I%(':,'R% 68]H-)(!89&  '0M<4"!F%(.689JYJ'['RQS.+'*90'J,6aG299
d!8-5.' XgY T[34##/67)3%, %( !$,,'*)3%,.679-b'*L!843'V,#/'0'*+4#!8}?7Q8'09 9%,'['*MS4!$%(679
X

{ .B 45D!$%,.679 { .BC4&5D!$%,.679


D2'0+&4*%,.679
qx!8*%,67)
BJ'
BJ'  _%(
 %,674&%
D2'0+&4*%,.679
D2'0+&4*%,.679
 3'0 
 3'0 
E T
T[
T7Y [_]
VgY 7
T7Y X
S T
[]
T7ZY Y
T8Y V [
[gY 
P T
]&ZY ] 
T8Y VW]
XgY 
~X
JT
Y
gZY VW]
T8Y V ~
T_T7Y T
CFT
T
T Y&Y [ 
T8Y VW]
[_[gY T
 T
] X_]
]gY  T
T8Y V X
~8~ Y T
I T
_V X
T8Y V
Y_Y&Y T
 V&Y X Y
d!8-5.'RXSY T  d'*)3]c67)3B[!$90'QA B:#),6aQ8'0B:'09T#% S`'00!84,'o68] S`),!89  Do'*+4*%,.679> '0 9&.M<4'
XgY ~ .t!85G`!L;SP?7),'0!$%('*)A%(!89 T7YZV&YA 9X%(' r!8-&5.' XSY TC)3'0+4&*%(679m] !8R%(67)t.t+&'*="9'*+U-<;
'0M<4"!F%(.689\XSY XgY
B 6g+&'05

A6&Y68]
CsM<4"!F%(.689
S)(!89 

 






= L 0L 0 31 / &1 46/ 0K46- 02P - P 460 460  70 4 07 4 - .4 +./ +P / ! P !  + + 
! 46!0K46- 02P - P

 
 


 XgY ~ 

- - J- + 0


0 P /O1.+ / P !    / 460K- P L
- - +
  ! 
.+/ P !   / 460K- P L

 XgY X 

!460K- P /
!4 -J+ =


rq ?74),'XgY X`36aG2%('s,BC45.!$%(679o%,.B:'rG2%,P.9*),'0!8,9?9<4BC-/'0)68]S-),!89 '*


.9J0679&,'0)kQ7'*+Nk;S3%('*B Ys't-b'*3%`=&%H68]Z%,'|#/675;S968BJ.!85&]c67)s%(`*4)3Q8't]c6749+[4,9?
X

BN'L!89
P`689&="+'*90'
P`689&="+'*90'
+&b'0),'*90'I68] A 9<%,'0)kQ8!$5^]c68)
K^'RQ7'*5B
3.BC45.!$%(679
%,' B 'L!89
%(BJ'
 3'0 
E T
T[
V&Y [ ~
 V&YZV Xgu<V&Y ~ ]
V
S T
[]
V&ZY Y X
 V&Y WY&u T7YZV T 
8
P T
[gZY ]W]
 [gYZVWV&u [gY  
~X
8
JT
Y
XgY 7
 XgY [WXgu&Y _]
8
CFT
T
T
gY [
/T &Y ~ V&u TY&Y T]
8
 T
] X_]
]&Y X 
 ] ~ Y  ~ u<]WY&YZ]WY
8
I T
_V X
Y  YX T
 YWXgY V  u  ]&Y  ]
8
d!8-5.'NXgY [  P`679&="+'*90'U9<%,'0)kQ8!$5o]c67)JBJ'0!89 + i'*),'*90'X6$]I,.B 45D!$%,.679l%(BJ' G2%,
-),!89 U),'*+4*%,.679W%,'0 9M<4':!89+WG2%,674&%|%,"!$%|]c68)|+"!$%(!O]c)367B r!8-&5.' XgY Tjd'* gE
9MS4&'
3%(!$%(3%,.L!$5!89"!85_;S,.2A68]    pY`A2G2!$%AG`!8A'Reg#b'**%,'0+ZY2qr?74)3' XSY >),'*#),'pE
,'*9T%(t*4)3Q8'02G2%, )3'0+4R%(679N%,'0 9&.M<4'}!89+ G2%(&674&%o),'*+4*%,.679O%,'0 9M<4'8=Y IA'0)3'
,90':!$] %,'0)I),'*+4R%(.689'RQ7'0)k;U%(.B:'C%(&':9<4B -b'*)}68]-),!89 '* 67-&%(!8.9&'0+UGH!8I=&eg'0+iu
%(&'o*4)3Q8'oG2_%(>),'*+4R%(.689:%,'0 9M<4'2.s!85BJ67k%06893%(!89T%LY1*4)3Q8'A#),'*,'*9<%,'0+
'*),'2%(6@#b679T%684&%s%('2%()3'0B:'09+684#/'0)k]c67),BJ!89*'A'*9"!89&0'0B:'09T%H!8 .'RQ7'*+[]i5.68%,68]
#"!8),!85.5'05^-),!89 '*PL!89X-/'C)3'0+4*'0+ZYP&' % G`6OB:'*%,6S+t43'0+W]c67)o67-&%(!8.99?J%,'03'
04&)3Q7'*AG'0)3'}k% !$%,.3%,.0!85.5_;[*67BJ#!8),'*+ ]c68)2=9+.9&?>%,'@0679&=+'09*'}5'*Q8'05G2%, G2&. 
%(&'*; L!$9 -/'I(!8+ %,6J+& b'0)H]c),68B'L!8 N68%,'0)*Y'IB:'L!89N+ i'*),'09&0'I68] 3.BC4&5D!$%,.679
%(BJ'>]c67) %,'03'[% G6 B:'*%,6S+C!8)3'V3%(!$%(3%,.L!$5.5;W!89"!85_;gK*'0+%,6X="9+%(&'V0679g="+'09&0'
.9T%,'0)3Q$!85Z!89+ 0679g="+'09&0'@5.'*Q8'05 Yd6:05.!8.B %("!F%%('P*4)3Q8'0|!$),'P+ i'*),'09T%%,'I0679&=gE
B 6g+&'05

A6&Y68]
CsM<4"!F%(.689
S)(!89 

X_Y

+'*90'P9<%,'0)kQ8!$5/]c67)1%('tBJ'0!89[+ i'*),'*90'P36745+V968%`.9*5.4+'AK0'*),6Y'tB[!FegBC4B
0689&="+'*90'>5.'RQ7'*5dG2  +&6g'*|968%P9054+'}K0'0)36O.9m%,'j0689&="+'*90'>.9T%,'0)3Q$!85 68]s%(&'
B:'L!89U+ i'*),'09&0'>68],.B 45D!$%,.679N%(BJ'C!8I-b'*'09 ,6aG29 9X%('j%(!8-5.' XgY [gY P`67)3),'pE
,#/679+&.9?@?7)(!$#J!8s-b'*'09[36aG29V.9:qr?74)3R' XgY SYqr.?84),R' XgZY YI,6aG2s%('A!8B:6749T%s68]
%(BJ'% ! $'09[-T;j%,'2-)(!89& [),'*+4R%(.689:%,'0 9M<4'o%,6@!8 .'RQ7'A!@#!8)3%,.04&5D!8) +&'0?7)3'0'268]
,#/'0'*+4#ZY z ]^0684),3'8ug%,'t+&'0?7)3'0'|68]Z,#/'0'0+&4#N!8 .'RQ7'*+O.1+.R% !$%,'0+V-T;:%('A3;S3%,'0BNY
t04&)3Q7 ' 343%A+'0#&.*%,A%,'C!8B:6749T%A68] %,.B:'I%(! 8'*9X-T; %,' )3'0+4&*%(679X!$5.?767)3%,B
]c67)2!j#"!8)k%(045.!8)H,#/'0'*+4#N] !8*%,67)]d#b'*),B:.3,.-&5.'|-T;V%,'I3;S3%,'0B +'030)3.#&%,.679ZY
Number of Branches vs Simulation Time
450
Simulation time Without Reduction Technique in Seconds

simulation time
400
350
300
250
200
150
100
50
0
0

200

400

600

800

1000

Number of Branches in a Conserved System

1200

1400

1600

rq ?74),' XgY X  A 9*),'L!$,'>.9W3.BC45.!$%(679 %,.B:'}G2_%(U9<4BC-/'0)P68]1-),!89 gEh'0M<4"!$%,.679|]c68)


,0!85D!$-5.'PB:6g+&'05
X

Comparison of Simulation Time With and Without Technique for a Highly Reducible System
20
Simulation Time Without Branch Reduction in Seconds

simulation time with branch reduction


simulation time without branch reduction
18
16
14
12
10
8
6
4
2
0
0

20

40

60
80
100
120
Number of Branches in a Conserved System

140

160

180

rq ?74),' XgY   P`67B:#"!8),,679 68]s,BC45.!$%(679O%(.B:'IG2%(X!89+mG2_%(674g%|),'*+4R%(.689m%('* gE


9MS4&'

 T

' 

( !

# % !  %

' 

T T
$ 

$  

  ,




Ah%"!8`-/'0'*9V,&6\G29V!89"!85_;S%,.0!85.5_;C.9>%(&'t#)3'*QS.674& "!$#&%('*)`%("!F%H!8#&#5.L!$%,.679

68]oQ$!8),.!8-5.'J,4-&3%(_%(4&%,.679n%,'0 9M<4' 0!89l.B:#),6aQ8'O#b'*)3]c67)3B[!89&0'O68]ABJfeg'0+l,?79"!85


,BC45.!$%(67)I+'*#b'*9+9?X4#/679 %,'V+'*?7),'*'V68]5.9'0!8),_% ;U68]H%(&'VBJfeg'0+ 3.?79!85B:6S+'05
G2  .P-/'09?N,.B 45D!$%,'0+ZY JP!$%(!O,6aG29 9Ur!8-&5.' XgZY ] ,4##/67)k%(I%(}!$,,'*)3%,.679ZY
Et}'Reg#/'0*%,'0+Zu %,':BJ'R%(6S+ 68]H3;SBC-/675.:3675.4g%(.689 6$]2! k;gk%('*B 68]H'0M<4"!$%,.679*urB>E
WV

Mean difference of simulation time vs Number of branch equations


100
confidence interval for mean

Mean difference of simulation time (sec)

90
80
70
60
50
40
30
20
10
0
0

100

200

300
400
500
Number of branch equations

600

700

800

rq ?74),'XgY    ),!8# ,6aG29?>0679&=+'09*'}9T%('0)kQ$!85.`]c68)BJ'0!89 +b'0)3'09*'@6$]d3.BC4&5D!FE


%(679O%(BJ't]c68)HQ8!$),.684-)(!$9  '*M<4"!$%(679*Y
#)36\Q8'0t%,' 3.BC4&5D!$%,67)w2#b'*)3]c67)3B[!89&0'@+'0#/'09+&.9?J4#b689X%,A+'*?7),'*' 68] 5..9&'L!8)3% ;7Y=Ah%
.P'RQS.+'*9<%I]c)367B %,'>#5.68%|68]`9<4B -b'*)P68]`'*M<4"!$%(679PQS0Yj3#b'*'0+gEh4#] !8R%(67)A%("!$%P]c68)
Q7'*)3; 5D!8)3?7' 9<4BC-/'0)[6$]P'0M<4"!$%,.679&[.9%(' BJ6S+'*52%,'m3#b'*'0+4&# G2.5.59&68%V-/'NQ8'0)k;
,?79_="L!89T%o!89&+N%,"!$%2.-/'00!843'}68]d+67B:.9!890'P6$1] A z 6aQ7'0)A!8R%(4"!85i4,'R]c45^,'0R%(679
68]d,4-&3%(_%(4&%,.679O%,'0 9M<4'8Y
qr?74),' XSY  ),'*#),'*,'*9<%,[3.BC45.!$%(679 %,.B:'VG2%(l)3'0,#/'0R%J%,6 %,' 9<4BC-/'0)>68]
]c),'*'['*MS4!$%(679 9 %(&'[B:6g+'*5G2%(&674&%C4&,.9&?X!89T;67#&%(BJKL!$%,.679X%,'0 9&.M<4'8Ym'
T

Performance of Branch Reduction Technique with Reduction Factor


0.18
Time Taken by the Branch Reduction Technique in Seconds

branch reduction technique time

0.16

0.14

0.12

0.1

0.08

0.06
0

50
100
150
200
250
300
350
Reduction Factor (Original Number of Branches/Reduced Number of Branches)

400

qr?74),'XgYZY  { %,4+&;J68] -)(!89& O),'0+&4*%,.679V%,'0 9M<4'|G2%,V-)(!$9  ),'0+&4*%,.679[] !$*%(68)


/- '03%P=&%P#b685;S967B:D!85]c67)o%(|04&)3Q7'j]c674&9+W4,9?O3%(!$%(3%,.L!$5r!89!85;S,t"!$     Ru
G2'*),'  .%,'A9<4B -b'*)68]i'0M<4"!$%,.679&0Yqr?74)3' XSY TVI,&6\G21%('o),'*+4R%(.689J9J3.BC4gE
5D!F%(.689C%(.B:'67-&%(!8.9&'0+:4,9?@%,'o'0M<4"!$%,.679:),'*+4*%,.679>%('* 9MS4&'8Y Et?7!8.9ZuT%,'2BJ'0!89
+ i'*),'09&0'O68]o,BC45.!$%(679 %,.B:'J]c67)@%('*,'O% G6WBJ'R%(6S+CC3%(!$%(3%(L!855; !89!85;SK0'*+
%(6:="9+m%,'@0679&=+'09*'j.9T%('*)3Q$!85^!89&+X0679g="+'09&0'C5'*Q7'*5vY 6[*5D!8By%("!F%A%,' *4)3Q8'0
!8)3'A+ i'*),'*9<%1%(&'t0689&="+'*90'|9T%('0)kQ$!85]c67)s%('oBJ'0!89[+& b'0),'*90'A,6845.+J968%.9*5.4+'
K0'*),6Y&'PB[!FegBC4B 0689&="+'*90'P5'*Q7'*5iG2 O+6g'*H968%`.9*5.4+&'tK0'*),6j9[%('t0679&=gE
+'*90'A.9T%('*)3Q$!85"68]/%('oB:'L!89:+ b'0)3'09*'A6$]Z,BC45.!$%(679 %(BJ'!8s-b'*'09[36aG29V.9>%(&'
[

{ .B 45D!$%,.679 { .BC4&5D!$%,.679


{ #/'0'0+&4#
BJ'  _%( BJ'  _%(
qx!8*%,67)
{ ;SBC-b685..
Ah%('*)(!$%,Q8'
B 'R%(6S+
B 'R%(6S+
 3'0 
 3'0 
E[
X
V&Y  T
V&YZV [
]W[gY  Y
SQ[
TV
V&ZY Y [
V&YZV ~
[ ]&Y _X
PQ[
[V
T7Y ~ T
V&YZV X
[gY V T
J [
[gY [
V&Y T [
T Y&Y W[
~V
C#[
Y_V
V&Y ~ V
T_T7Y T

~ Y ~7~
q[
T WV
T7Y X_]
&Y [_V
 YX T
 [
] [_V
[_[gY X V
&Y ~ V
]&Y XW[
d!8-5.'RXSY ]  d'*)3]c67)3B[!$90'QA B:#),6aQ8'0B:'09T#% S`'00!84,'o68] { ;SBC-/675. { 6754&%(679C '0 9&.M<4'
% !$-5.' XgY ~ Y#P`67),)3'0,#/679+&.9?>?7),!8#N"!82-b'*'09N,6aG29 .9Nqr.?84),'^XgY TWT7Y- '0)k]c67),BJ!89*'
'09&"!89*'0B:'09T%:4,9?W'0M<4"!$%,.679l)3'0+4R%(679n%('0 &9.M<4' . 67-TQg674C]c)367B %,'O04&)3Q7'$Y
qr?74),'RXSY T [|36aG2%(&'o3#b'*'0+4&#J] !8R%(67)G2%,>.9*),'L!$,.9&?@9<4B -b'*)68]b'0M<4"!F%(.6890YEA
3%(!$%('*+:!8-b6aQ8'`G2%,j.9*),'L!$,.9&?|9<4BC-/'0)68]x'*MS4!$%(679r%,',#/'0'*+4#j] !8*%,67) +'*0)3'L!83'0
-/'0L!$4,'j68]s%,' A z 6aQ7'0)3'L!$+Z^Y Do'*,45_%(P67-&%(!8.9&'0+W!8)3'C.9m0679&]c68),BJ!$%(679 G2_%(X674&)
!83,'0)k%(679}%,"!$%d),'0+&4*%,.679}.9@'0M<4"!$%,.679^G6745.+}5.'0!8+@%,6t3#b'*'0+4# 68]%(&'B:_eg'0+},?79"!85
,BC45.!$%(679ZY
B 6g+&'05

A6Y

CsM<4"!F%(.689

W]

Number of Equations Vs Simulation Time Without Equation Reduction Technique


25
Without Reduction Technique

Simulation time in seconds

20

15

10

0
0

50

100

150
200
Number of equations

250

300

qd.?74)3'^XgY   A 90)3'L!83'}9 ,.B 45D!$%,.679J%(.B:'tG2_%( 9<4BC-/'0)268]d'0M<4"!$%,.679

350

BN'L!89
P`689&="+'*90'
P`689&="+'*90'
+&b'0),'*90'I68] A 9<%,'0)kQ8!$5^]c68)
K^'RQ7'*5B
{ .B 45D!$%,.679
%,' B 'L!89
BJ'
 3'0 
E[
X
V&Y X 
 V&Y X_]&u<V&Y  X 
8
SQ[
TV
V&Y _Y
 V&Y   u<V&YZY 
8
PQ[
[V
T7ZY ] 
;T7YZ] [gu T7Y ~ V
8
J [
[gY T 
 [gY TV&u [gY [ T 
~V
8
C#[
Y_V
 ]&Y  Xgu ~ Y TWT 
~ ZY VW]
8
q[
T WV
Y&Y TV
gY X  u<Y&Y  [ 
8
 [
] [_V
T &Y T V
/TXgY ]&u T &YZY ~ 
8
d!8-5.'NXgY ~  P`679&="+'*90'U9<%,'0)kQ8!$5o]c67)JBJ'0!89 + i'*),'*90'X6$]I,.B 45D!$%,.679l%(BJ' G2%,
),'*+4R%(.689N%,'0 9M<4' !$9+OG2%(&674&%%(!$%2]c),67B r!8-&5.' XSY ]&Y
B 6g+&'05

A6Y

CsM<4"!F%(.689

X

Number of Equations Vs Simulation Time Without Equation Reduction and With Equation Reduction
25
Without Reduction Technique
With Reduction Technique

Simulation time in seconds

20

15

10

0
0

50

100

150
200
Number of equations

250

300

350

rq ?74),'XgY TV  P`68BJ#"!$),.3679V68]^3.BC4&5D!$%,.679>%(BJ'2G2%,O!89+VG2_%(674g%H),'*+4R%(.689[%('* gE


9MS4&'



Mean difference of simulation time vs Number of free equations


18
confidence interval for mean

Mean difference of simulation time (sec)

16
14
12
10
8
6
4
2
0
0

50

100

150
200
Number of free equations

250

300

350

rq ?74),' XgY TWT   )(!$#m36aG2.9?V*679&="+&'09*'C.9T%('*)3Q$!85o]c67)oB:'L!89X+&b'0),'*90'}68]3.BC4gE


5D!F%(.689[%(BJ'|G2_%( +b'0)3'09T%o9<4BC-/'0)268] ]c),'0'I'*MS4!$%(6790Y



Number of Equations Vs Speed-Up Factor


35
Speed-up factor
30

Speed-Up Factor

25

20

15

10

0
0

50

100

150
200
Number of equations

250

300

350

rq ?74),' XgY T [  { #/'0'0+SE 4# ] !8*%,67)@Q$!8)3D!$%,.679XG2_%(9S4&BC-b'*)}6$]'0M<4"!$%,.679&}-/'00!84,'J68]


),'*+4R%(.689N%,'0 9M<4'

WY

   

      n 








    !F !9 

A 9 %,.j%,'03.JG'N"!LQ7'mk%(4+&.'0+ %(' %('* 9.M<4'*J]c67)>'*MS4!$%(679 )3'0+4R%(679

"- !83'0+:679>%('20689,'*)3Q7'*+V67)9689gE *679,'*)3Q8'0+Vk;gk%('*B Y &'o%,'0 9M<4'0sG`'*),'A!8##5.'*+


]c67)s-),!89 V*6793%,%,4&%(_Q7'2'0M<4"!$%,.679&`!89&+J]c),'*'A'*M<4"!$%(679*YDo'*+4R%(.689J%('* 9MS4&'|!8#gE
#5.L!$-5.'1%(6I-)(!$9 J*679k%(%,4&%(_Q7''*MS4!$%(679s'Reg#567%,r%('23'0),'0s!89&+:#!8)(!855.'*5&'0M<4_QTE
!85'09*'o6$]Z!P0),*4%G25.'`%,"!$%!8##&5..0!8-5'`%(6P]c),'*'2'0M<4"!$%,.679sBJ! 8'*s4,'o68]/Q8!$),D!$-5.'
,4&-3%,%(4g%(.689 !$9+ )3'0B:6aQ8!$5Z68]r%,)(!89&,%,Q8'P),'05.!$%(6793.#ZY { .9*'P%('I,BC45.!$%(679[%(BJ'
.     1+&'00)3'L!83'I.9 'RQ7'*9 -T;O!},BJ!85.5'0)19S4&BC-b'*)H?7_Q7'0?86g6S+V,#/'0'*+4#Z-Y Ah]  

),'*+4*'0+ ,% 6  uG2'*),'


=   ( T (

&Y T 

(% &'09Zu    O. )3'0+4*'0+ %,6      RY<4N%(' %(BJ'W*67BJ#&5.'Reg_% ; 68]


B:_eg'0+gEh,?79"!851,BC45D!F%(.689 . ),'0+&40'*+ -T;n!X] !8R%(67)C6$]  usG2&'0),' 7T7Y .j
,?79_="L!89T%>3#b'*'0+gEh4# !$ .'RQ7'0+ -T;%(' '*MS4!$%(679l),'0+&4*%,.679n%('* 9MS4&' 9B:_eg'*+
,?79"!85 ,BC45.!$%(679ZY { #b'*'0+4&# +&'0#/'09+P4&#b679X%,'Ck;gk%('*B +'030)3.#&%,.679W!$9+W67##/67)kE
%(4&9% ; %(6U!8 &.'*Q8'O),'*+4*%,.679n9 %(&'O'0M<4"!$%,.679n3'*%LY A 9%(&'VBJ6S+'*5. 4&,'0+l%(6 %('0k%
%(&'0,'}!85?767),_%(B %(&'}3#b'*'0+4# GH!8A!85_GH!L;S2?7),'0!$%('*)o%,"!89 T7Y { 6:%,'0)3'@2+'*="9&%('*5;
,68BJ',#/'0'0+&4#Zu<]x96$%rQ7'*)3; ,.?89="0!89T%LuT!$ .'RQ7'0+>-/'00!84,'6$]"%('*,'),'*+4R%(.689 %('* gE
9MS4&'00Y

\ 
    

{ 67B:'j+),'0R%(679|%(6aG`!8),+&@%,'j]c4&%(4)3'jG`67) W+'0#/'09&+.9? 679U%(&'>G67) W#),6$E


QS.+'*+ 9O%(H%('*,.2#),'*,'09T%,'0+X'*),'@!8]c6755.6aG2 
 'W%,'0 9M<4'0N3%,4+.'*+ 9 %(V%('*,.O]c67)O'*9"!89&0.9&?l%,'UBJfeg'0+ ,?79"!85
3.BC45.!$%(679nG`'*),'X#/'0)k]c67),B:'0+ -T; B:'*%,6g+&675.67?8.'0>?7_Q7'*9 .9%('mqr.?74&),'0MgX Y T
!89&+ gX Y g[ Y '*,'m%,'0 9M<4'0O*6745.+968%J-/'m.B:#5'0B:'09T%('*+ !8:#"!8)k%(J68]|%(&'
3.BC45.!$%(68)A-/'00!84,'j6$]%('C+&: 045_% ;m#/673'0+U-T; %,'j.9T%('*),9"!$5d+"!F% !V3%,),4R%(4)3'
_V

68]%,'C3.BC45.!$%(68)o]c67)A'0M<4"!$%,.679W)3'0#)3'03'09T% !$%,.679iY { 6V' b67)3%,PL!89W-/'C+),'**%('*+


9 BJ! <.9&?l%,.OG67)  !$9 9<%,'0?7),!85|#"!$)3%N68] %,'U,BC45D!F%(67)*Y . L!$9 -/'
!8 &.'*Q8'0+U-T;X "!$9?7.9&?[%(' .9T%('*),9"!85d+"!$%(![3%,),4R%(4)3'C]c67)A%,'C),'*#),'*,'*9<%(!$%(679
68]`'0M<4"!$%,.679&@9,+'j,BC45.!$%(67)*Yj.IG6745.+ .9TQ8675Q8': !89?79? 367B:':-!8,
+"!F% !mk%(),4&*%(4&),'0j9,+'J%,'V3.BC45.!$%(68)I]c68) '05.!8-/67)(!$%,.679!89+G`674&5.+n.9TQ8675Q8'
?76S6S+O),'03'L!8)3 X' b67)k%(0Y
 CM<4"!$%,.679n)3'0+4R%(679%('* 9.M<4' 0!89n]c4)3%,'0)j-/'V),'*,'0!8), '*+ ]c67) 9679gEh5..9&'L!8)

*.),*4%,HG2%,N+g;g9!8BJP'0M<4"!$%,.679SE ,'R%A!89+ +'0#/'09&+'09T%|3674)30'0*Y

 q"4)k%('*)t3%,4+'0t0!89W-/' #/'0)3]c68),B:'0+m689X67#&%,.B:.KL!F%(.689O68]1!84?7B:'09T%(!$%(679 3'*%0Y


Io'0),'P68#&%(BJKL!$%,.679:BJ'0!89)3'0+4R%(679 .9[%,'P9<4BC-/'0)68]d-)(!$9 '0o!89&+ Q$!8)3_E

!8-&5.'02!$9+m!$5.,6>3"!8),9?>68]d+"!$% !j9NB:'0B:67)k;J%,6[!LQ768.+ +"!$%(!>+&4#5.L!8R;7Y

 }G67)U67#/'09&C4#n!8)3'L!N68]H]c4)k%('*) ),'*,'0!8), n]c67)@#b'*)3]c67)3B[!$90':'09!890'pE

B:'09T%%('* 9MS4&'0s-"!83'0+:68]i'*M<4"!$%(679gEh,'*% B[!89&.#45.!$%(679 -/'*]c68),',BC45.!$%(679 9


B:_eg'0+SE ,?79"!85i,.B 45D!$%,.679 '*9<QS),679B:'09T%0Y { 4 XG`68) L!89 -b'}'ReS%('*9+'*+X]c),67B
'*MS4!$%(679 ),'0+&4*%,.679 %('* 9.M<4'*A68)L!89N-b'Ik%(4+'0+N.9+&'0#/'09+'*9T%(5;8Y

     
 T
  "!#$%&' (*)+U-,/.10

 2, #3 -465  70 U 98:4 ;4


   
<4 >=1? G1!89 A67k%()(!$9+\D2'095.+Zu A'RGA@167) xu B@ju T 88~ Y

 [- *CD&E(FCHG/(I2J(KMLNJ1!#O1HPC(P%&$%QJ(ORSR&UTVXW2YSRZ[HG/RX'

{ BC45.!$%(679 %,'0 9&.M<4'0>]c67)}BJfe&'*+l!89"!8567? $+&.?7_% !85 *.)304_%(0Y


`<aaacb-0  d5e  &g fhe 26 Q 70
i4 jlk8u<[  Et#)3.5 u T 7 VRu<]WX_]FE;]W]&Y
\N J(]^/_

 ]m *X'QnV_o Sp*"JRq&!r]^VNtsX  u/'*&/Iv,-,/.

 <4<wE.  x.  <4<w


6  <3
y
0 <4    'x4RY3EA++.3679gE2 '*,5.'R;7u D2'L!8+&.9?u<B E u T  Y &Y

 ~ *XO-J(NJ(zPC^{3

T 7 X


<4 >= H| 42=g0 &
~}oVdY&BN67),?T!$9 F !84&]cBJ!899Zu

JK TV&Y T  ' |J '*,.?89 68]C!


5D!89&?74"!8?7'1'ReS%,'093.679j]c67)1GI JKY_A 9}"oV%n{3  Nl8 4  tE #)3.5 u T 7  Ru
##ZY TWT  E T [ gY

 X-  ''N 'K)+'[K&!#O:q&J(EFC9GI

W[


 m *D&'&'E nG6pEN  DK&J1KnPCE]^/0 ,


8 4 ;4RY<B

  )(!LG Io.55vu T 7 [gY

 - zHJ1!#$%O _ ) J(Q^C  

{ 679*u A'RG 1@ 67) /u B@ju T 8 [gY

2 ', i3 -4    9f

7 -,/.10
K&2"Y
8689  5.'R;

 Ym [JRq(D&qzz G6#Et9

8! 9"!$5.67? $'0),9&'0524,9?W%(' +),'**%>B:'*%(&6g+n]c67)j3675QS.9&?


67),+&.9"!8)k; +&b'0),'*9T%(D!$5!85?7'0-),!8.'0M<4"!$%,.679&.9>!PBJfeg'0+gEhBJ6S+'`3.BC4&5D!$%,67)0Y_Bm!8 E
%('*)w2%,'03.*u OA9_Q7'0)3,_% ;O68] P`.9*.99"!F%(vu T 7 SY

  Z"'K& 'E*IS>_=P`68BC-.9&'0+n+,0)3'*%,'RE 'RQ7'*9<%J0689<%,.9<4674&j3;S3%,'0B::3.BC4&5D!FE

%(679ZY\e #,z0
 &2"u T  _VgY

 TVm Z K&J PC<r!$)(!855.'05"k;S9

),689.K0!$%(679[68]Z0679T%(9<46741%(.B:'2+.30)3'*%('A'*Q8'09T%2,B>E
45D!F%(67)30Y A 9'   l=-4 d 5# 3 `    &2   5      C   - f
 <4<4 l=  Et4&?743%^T 8  Ru&##ZY [W[a/E [_] T8Y

 TWT
G !#$%&q&J(K -,/.10
 T -[  'K"QNE  /0l,

 U&
$  70 4 #,z0
 72"Y P&D&P ),'030u T 7 ]&Y

 2   98:4 ;4RY B !80B:.55D!89 s4&-5.,9?^P`6Y_u A 9&8Y_u T  Y [gY

{ -A/P&C B:6g+'*5_E
.9?j9GI JKiE E B { Y<Bm!83%,'0) 2%('*,0u OA9_Q7'*),,_% ;O68]P`.9*.99!$%( u T 7 Y&Y

 T]m  !# 'ND&q&DK'!r ]^ @),6S0'*,3.9?V+&.,*679T%(9S4&%('0A!89+


T ~ 
WzlL "!r 

 98:4 ;4   ,  


 l= d5">=2l478:4 6 7,4RY BN  )(!LGHE;Io.5.5 u T 7 ]&Y
_]


 T -X X QRp'' uVJ(!#'!rNPC

I JKA 9T%('0)367#/'0)(!$-.5% ;  E *67B:#.5'0)%('* gE

967567?8;N#b'*),3#b'**%(_Q7'$Y@A 9t}"6/ +0


 7&;4' x.    8 478:4 6 7, 
<4 >=  _,z0
9f
7# , &  z R%(67-/'0) T 8 Ru GI JK A 9T%('0)39"!$%,.679"!$5 OA3'0)w2]c67),4BNu##iY X T*E/X Y&Y

 T m P%'K&K  6; l=g0 : =


Q& U4  &204 l= 

  o$  i5   


=g0 &
RY Et4&%,67B[!F% ! 4-5.,&.9? P`67B:#"!89T;8u { 8! 9
867,'$u P=E u O { E u
7!89ZY T 7 gY
/{&e

45%,.5'*Q7'*5r!$9+XB:_eg'0+gE
+67BJ!8.9:,BC45.!$%(679J6$] !89"!8567? *.),*4%,H!89&+O3;S3%,'0B:0Y(`aEaa { CU 4 
72U 4,
-,/.10    &
 <4 >= d5`  =   70
i4Q e(8:4 67 ,4k 
7!89<4"!8)3;
T 7 Vu"#&#ZY WYFELY T7Yq"'0!$%(4)3' Et)3%,.*5.'8Y

 T- O:N J(n]^E_pEN&ql&Q  nEEpEN O-!#$%m8B

 TYm *q '&    E>Jp K\Q'K&!#$%DJ R n $'K"! 


O:"!#K\Q  O u/Q ( m

m G|&+ 35+6  E 9'RG B:_eg'*+gE B:6g+&',.B 45D!$%,67)0Y A 9   '   l=-4,d5 i3 oan0  <. 


<4 >= /0
6-,Q&2  5    /T 7 ]RY

 T  ^!#  !#Op ^!# O J  >E6u6NKlq&!#/EoE6"'JRq& DK/up6'J O-D&qR


Kp""'K q&J(K +p"O-&'uVD$'O D''K'uC"Lnp\N K\Q$%J(K&u/'O"gf

    `6  , & @ r.  <4' 2&2 i3Va  U4   p8!SY EoQ8!$.5D!$-5.'
679O%('PG67),5+OG2.+'PG'0-X!F%"$#%#'&(*)+)-,%,%,/.10'"$23.465%7)8:9;5$<

{ E G8E A  Et9V'peg%,'093.-5'
67- 3'**%3Eh67),'09T%('*+.9T%,'0),B:'0+&D!$%,':]c67) GI9JKY8A 9 }"6/>=4' R | 4@?9 -0 . eM. l=
'A'A+B  5     Bm!8)*Y T 7 Ru#&#ZY [WX\E;[_Y T7Y
 ~

 [_Vm ^!# O J >Eu/'K q&!#%E J&N &  E'

 [
T Z K&J PC W J(   ( mN )+p  !# 'ND&q&DK'!r ]^ p [&'

{ CEB {  { BC45D!F%(.689MC9TQS.),689BJ'*9T%
]c67)GI9JKZE EB { Y@A 9 '   l=-4 d5 #3 2'A'A 6  e # ,z0  &2< 5  f
  RY ;T 7 Ypu##ZY X ]  E/X ~ &Y
NK'O J(N'KzNG6p'K qJ1K 

'0)k]c67),BJ!89*'N'RQ$!85.4"!F%(.689 !$9+ 3#b'*'0+ .B:#),6aQ7'*BJ'*9T%


68]1%(' { CEB { GI9JKZE EB { ,BC45D!F%(67)|4&,.9&? +&;S9"!$BJ>!8+34k%(B:'09T% 6$]`%(&'
!89"!8567?2,BC45D!F%(.689@9T%('0)kQ$!85vY Bm!$3%('*) wd%,'03.0Wu OA9_Q7'0)3,_% ;}6$] P`.9&0.9&9"!$%( u T 7 Y&Y

 [W[-  '&lL ' ' - [ EF

 [_]m [J(  !#J1K


"J

&R0 -04V478:4 6 7,
,

 
 l=8Y { #),9?7'*)kE Gs'*),5.!8?u T 7 T7Y

[ ~ 
&'u "J(K& '!#E^]^ IS 

 98 4 ;4d52. C , =


i3l,45 , gfr,  

4 #,z0  &2"Y<<J %('*,.*u!83.9&?8%(679 Oo9Q8'0),3% ; 9 { %LY K674.*u  !8,9?8%,679
OA9_Q7'*),,_% ;7u J|'*0'0B -b'*)^T  Y  Y

J|'0,?79W68]=r!8),!85.5'05@GI JK { .BC4&5D!$%,.679 I'*),9'*5-"!83'0+


679:.B:'@ !8)3#ZY Bm!83%,'0) H&'0,0u AO 9_Q7'*),,_% ;:68] P`9099"!$%,vuSq"'0-)34"!8)3; T 7 Y&Y

 [WX- O D\K'u/''!r nd'

{ #"!80'pEh%,.B:'A!$9+[3.BC45.!$%(679ZYWA 9_,;47f
7
0
6 e #,z0
 &2 ;T  Y  pu { 6S0'*% ;V]c68)RP`67BJ#&4&%('*) { .BC45.!$%(679Zu<##ZY X ]F/E XSY

 [m &''  ')+  ' O 'J(K&u/'']^

"q 67),BJ!85 3#b'*0=L!$%,.679!89+ Q7'0)3="0!$%(679U68]


67#&%,.B:.3%,.j3.BC45.!$%(679U#),6$%(6S06750Y^d'* ZYD2'0#iYrFD9[ TY_V  _CP&CP { u1Oo9Q8'0) E
,_% ;V68]P`.9*.99!$%( u T 7 Y&Y

 [- UK&J  o' "'K q&J(Ko +

WX


{ '0!8B:  E BJfeg'0+gEh,.?89"!85t3.BC4&5D!$%,.679 '*9TQg),679&BJ'*9<%O]c68)


GI9JKZE EB { G2_%('0B:#"!83.j679),49SEh%(BJ'['05D!$-b67),!$%(679l!89+ !89"!$5.67?W+'*,?79
#"!8)k%(%,.679&.9?Y Bm!$3%('*) wA&'0,0u OA9&Q7'*),3% ;O68] P`.9&0.9&9"!$%( u T 8 Y&Y

 [_Ym J1  (g'^ 

{ ;SBC-/675.1!89"!85_;g3. BJ'R%(gE
6g+&2!89+N!8##5.0!$%(679s]c67)2!89"!8567?C*.),*4%,  E %,4&%(68),D!$5i6aQ7'*)3QS.'RGIY<A 9  '   gf
l=-4 d5 #3 /`<aaa  q"'*-),4"!$)3;NT 78~ pu&Q7675 Y<Y [gu"#&#ZY [_Y FLE ]WVW]&Y

[  
$%!#J( J1($  'u 1&np(' O:'O J1  (uC

 ]WVm $%!#J( J1($ R$ RJ' lO &'K qOl1R%R%1' O:''O J( RuC(%_EA9"!85.68?

0),04&%P+'*,?7968#&%(BJKL!$%,.679X-!8,'*+ 679U3;SBC-/675.j,BC45.!$%(679W!89+ ,BC45.!$%('*+


!899'0!85.9?gY `<aaab - 0
  d 5 4' &g f 4 26  7 0
i 4ojlk8u ] 
849' T 8 VRu V\E  T]&Y
{ #"!8)3,'BJ!$%()3_eo%('* 9.M<4'*0u A 9  70
   98:4 ;4<w1e #,z0  &2
  <4 >="u E Y D24'05vu Cs+iY A67)k%(gELIA6755D!89+iu T  Y&Y

 ]
T DNJ(KlqR  Ol

 ] -[  J(!#$% J1K N #3 78 d 5z,

A 98Y_u A'RG 1@ 67) xu j@ u T  &Y

 
 l=  4 #,z0
 72"Y 8
689  .5.'R;

 ]W]m ) !#J( 'Q O-N!r%]^ "` U4 &


e%` NaY
 ] ~ J'' ( 

{ 679*u

BN  )(!LGHE;Io.5.5 u o'*GA@168)xu C@ u T 7 Y

 l=g0 :=
 Ca ' C72 ; i3 S6e(0 ..   gf 4 >=  ; gf
 l=:  e # ,z0
 &2"Y <J %(&'0,0u C#P&CP { J|'0#"!$)3%(B:'09T%0u Oo9Q8'0),3% ; 68]
P`.9*.99!$%( u T 7 &Y


 ] -X N! n J R +'' O:' J(E K E^r!8),!85.5'05}G`!LQ7'R]c67),BjE 9'RG%(679

!85?767),_%(B:
]c67)0),*4%23.BC45.!$%(679ZYH`<aaa { CU4 
72U4 A-,/.10    &
z < 4 > =
 EA#),51T 7 [ Ru ~ ] [\E ~8~ [gYq"'0!$%(4)3'Et)k%(.*5.'$Y

 ] m <FVFVF QNu (DqJ1K O Q!#JRq  `<aaa  5e

@ i5    V,QR0  u /T EA4?74k% Ru T 7 Y&Y

2   

}"oVNf  Se_ l=g0 : =


E J z KZE;P  E #"!$ $!$?7'|]c67)H%(&'


!84&%,67B[!F%(.j+&b'0),'*9T%(D!F%(.689 6$]2!85.?867),_%(B:|G2),_%,%('*9 9 P WP R,R u   { CU4
   i3U?Ne d5  Ru 
849&' T 7 pu [W[gu T ] T*E T gY

 ]- $%K&!#J' EHDJ1'J(O%nN' D&q&J m 

 ]WYm NK&JN J(KuC%' $%Q D $ %'a< 2 e 90


72;d5,i3 [b


  &Se(8:47f
6 7,    "| 4 ; i3   :4' ,  @' u&.9   Y I@Y  685.4-Zu { YZI}Y K4vuq`Y PY
K4 !89&+D@Y
&Y5.'*BJB:679  C+0Y Ru { *.'09T%,=" P`67B:#4&%,.9?&u { #),9?7'*)kE Gs'*),5.!8?u
{ .9&?T!8#/67),'$u T 7 gY

 ]  '$ R  ^D%n%%N' 'Dq"q&Q%K  

EA9 !8##)36T!8  %(6j*6793%,),4R%

#),'pE *679+_%(.689.9?UBJ!$%()3.*'0>]c67)J-&5.6S _%('*)(!$%,.67968]I5.9'L!$):'*M<4"!$%(679*Y `aEaa


{ CU 4 
&2U 4  -,/.10
6   &
 
< 4 > =S
 A6aQ7'*BC-b'*) T 7 [ Ru T]W] ~ E T] ~ ]&Y
q"'L!$%,4),' EA)3%(05'8Y



You might also like