!"#$%&'()%*+%,",#(-&./0#".#1&"2(
3&%*(4(5"46780*"(9"&2+".#0:"(
(
;0,<(=4,(4,>(?4<,12(@%,22%,(
(
CERES, Centre for Research on Embedded Systems
School of Information Science, Computer and Electrical Engineering, Halmstad University, Halmstad, Sweden, Box 823, S-301 18, Sweden. {Xing.Fan, Magnus.Jonsson}@ide.hh.se, http://www.hh.se/ide
( (
AB(C,#&%>1.#0%,(
C,(#/02(&"+%&#D($"(21&:"E(>033"&",#(4&./0#".#1&46(3"4#1&"2(%3(,"#$%&'(.%*+%,",#2(
3%&(+4.'"#72$0#./">(,"#$%&'2B(F2+".0466ED($"(/4:"(4(&"467#0*"(+"&2+".#0:"(0,(#/"(
2#1>EB( G"( 462%( >02.122( /%$( >033"&",#( 4&./0#".#1&46( 3"4#1&"2( :4&E( $0#/( >033"&",#(
0*+6"*",#4#0%,2(%3(#$%(2#4,>4&>2D(54+0>CH(4,>(2$0#./">(F#/"&,"#B(
(
IB(5"46780*"(4,>(J"+",>4K6"(-++60.4#0%,(+&%+"�"2(
L%*"( <","&46( 4++60.4#0%,( +&%+"�"2( %3( 0,#"&"2#( 3%&( &"467#0*"( "*K">>">(
4++60.4#0%,2(4&"(<0:",(0,(84K6"(AB((
8/"( &"467#0*"( 60#"&4#1&"( >02.122"2( #$%( #E+"2( %3( &"467#0*"( <14&4,#""2D(
>"#"&*0,02#0.(%&(+&%K4K0602#0.B(C3(#/"(<14&4,#"">(&"467#0*"(2"&:0."(02(>"#"&*0,02#0.D(
0#( *"4,2( #/4#( 0#( 02( +&">0.#4K6"( 4,>( 210#4K6"( 3%&( /4&>( &"467#0*"( 2E2#"*2D( 20,."(
,%&*466E( K%#/( 4( <14&4,#"">( *0,0*1*( #/&%1</+1#( 4,>( 4( K%1,>">( ",>7#%7",>(
>"64E(02(%33"&">B(-(<14&4,#"">(+&%K4K0602#0.(2"&:0."D(%,(#/"(%#/"&(/4,>D(02(240>(#%(
%,6E( <14&4,#""( #%( *""#( 4( 2+".030">( M%L( $0#/( 4( ."(,( +&%K4K060#EB( C#( 02( *%&"(
>0330.16#( #%( +&%:0>"( >"#"&*0,02#0.( <14&4,#""2( KE( 4( &"467#0*"( 2E2#"*( 0,.61>0,<(
.%**1,0.4#0%,2D( K".412"( *4,E( 34.#%&2D( 3%&( "N4*+6"D( &%1#0,<( 4,>( >0330.16#0"2( 0,(
/4:0,<(.",#&460O">(.%,#&%6P2./">160,<D(*4'"(#/"(&"467#0*"(4,46E202(*%&"(.%*+6"NB(
-( &"467#0*"( 4++60.4#0%,( 02( #E+0.466E( .%,2#&40,">( KE( 4( 2"#( %3( "N+60.0#6E( "N+&"22">(
M%L(+4&4*"#"&2D(,4*"6E(>"64ED(#/&%1</+1#(4,>(Q0##"&B(J"#"&*0,02#0.(<14&4,#""2(
4&"( *4>"( %,( 4( $%&2#7.42"( 4,46E202D( $/"&"42( +&%K4K0602#0.( <14&4,#""2( 4&"( %3#",(
.%,,".#">(#%(4:"&4<"(K"/4:0%&(4,>(/",."(E0"6>(4(/0</"&(1#060O4#0%,(%3(#/"(2E2#"*(
&"2%1&."2B(C3(#/"(%33"&">(2"&:0."(02(>"#"&*0,02#0.D(0#(02(240>(#%(K"(+&">0.#4K6"(4,>(
210#4K6"(3%&(/4&>(&"467#0*"(2E2#"*2D(20,."(,%&*466E(K%#/(4(<14&4,#"">(*0,0*1*(
#/&%1</+1#(4,>(4(K%1,>">(",>7#%7",>(>"64E(02(%33"&">B(
-..%&>0,<( #%( #/"( 4&&0:46( +4##"&,D( #&4330.( .4,( K"( .6422030">( 42( K"0,<( +"&0%>0.D(
4+"&0%>0.D( %&( 2+%&4>0.B( 9"&0%>0.( #&4330.( 02( #E+0.466E( 3%1,>( 0,( .%,#&%6( 4++60.4#0%,2(
$/"&"(#/"(+"&0%>0.0#E(02(2#&0.#6E(<%:"&,">(KE(.%,#&%6(+&0,.0+6"2(%&(%#/"&(2#4K060#E(
.&0#"&04B( C,( .%,#&42#D( 4+"&0%>0.( #&4330.( >%"2( ,%#( /4:"( 4,E( &"2#&0.#0%,2( %,( #/"0&(
+"&0%>0.0#EB( L+%&4>0.( #&4330.( /42( 4( *0,0*1*( 0,#"&74&&0:46( #0*"( K"#$"",(
0,:%.4#0%,2B(-+"&0%>0.(4,>(2+%&4>0.(#&4330.(4&"(#E+0.466E(#&0<<"&">(KE(":",#2(21./(
5"2"4&./(5"+%&#(CJF(7(RSSSD(L./%%6(%3(C,3%&*4#0%,(
L.0",."D( )%*+1#"&( 4,>( F6".#&0.46( F,<0,""&0,<(
TCJFUD(V46*2#4>(W,0:"&20#ED(L$">",D(!%:B(IRRSB(
42(+&"220,<(4(K1##%,B(-,%#/"&(4&&0:46(+4##"&,D(#E+0.466E(12">(3%&(C,#"&,"#(#&4330.D(
/42(2#&0.#(.%,2#&40,#2(%,(0#2(K1&2#0,"22B(HK:0%12D(4(+"&0%>0.(#&4330.(4&&0:46(+4##"&,(
02(*%&"(+&">0.#4K6"(#/4,(#/"(%#/"&(#E+"2(%3(4&&0:46(+4##"&,B(?%&"%:"&D(*%2#(%3(#/"(
/4&>(&"467#0*"(#&4330.(0,(#/"("*K">>">(>%*40,(02(+"&0%>0.(#&4330.B(
-++60.4#0%,( 4&"42( 3%&( >"+",>4K060#E( 0,.61>"( K120,"227.&0#0.46( 4++60.4#0%,2( 4,>(
"*K">>">( 2E2#"*2D( 3%&( "N4*+6"D( 30,4,.046( #&4,24.#0%,2( 4,>( 36E7KE7$0&"B( L%*"(
<","&46( 4++60.4#0%,( +&%+"�"2( %3( 0,#"&"2#( 3%&( >"+",>4K6"( "*K">>">( 4++60.4#0%,2(
4&"(<0:",(0,(84K6"(IB(J"+",>4K060#E(02(,%#(#&"4#">(:"&E(*1./(0,(#/02(&"+%&#(K1#(02(
4,(0*+%,#(30"6>B(
(
XB((!"#$%&'(9&%+"�"2(
C,(#/02(2".#0%,D($"(21**4&0O"(2%*"(<","&46(,"#$%&'(+&%+"�"2D($0#/(4(3%.12(%,(
,"#$%&'(.%*+%,",#2(+&%+"�"2B((
8/"(+&%+"�"2(./%2",(#%(K"(2#1>0">(3%&(&"467#0*"(+"&2+".#0:"2(0,(#/02(&"+%&#(4&"(
602#">(0,(84K6"(XB((
94.'"#72$0#./0,<( 4,>( .0&.10#72$0#./0,<( 4&"( #$%( *4Q%&( :4&04,#2( %3( 2$0#./0,<(
#"./,%6%<0"2B(-(#E+0.46("N4*+6"(%3(2"&:0."(K42">(%,(.0&.10#72$0#./0,<(#"./,%6%<E(02(
,%&*46(#"6"+/%,"(2"&:0."B(G/",(120,<(.0&.10#72$0#./0,<D(#/"(>">0.4#">(&"2%1&."D(
)%,2#&40,#2( J"2.&0+#0%,(
Y14&4,#"">(
>"#"&*0,02#0.(2"&:0."( 8/"(#0*"(.%,2#&40,#2(*12#(K"(/1,>&">(
+"&.",#(<14&4,#"">(
J"*4,>">(
<14&4,#"">(&"467
#0*"(2"&:0."2( Y14&4,#"">(+&%K4K0602#0.(
2"&:0."( H,6E(<14&4,#""(#%(*""#(4(2+".030">(M%L($0#/(
4(."(,(+&%K4K060#E(
Z%1,>">(>"64E(( 8/"(",>7#%7",>(>"64E(%3(#/"(*"224<"(
#&4,2*0220%,(*12#(K"(K%1,>">(
8/&%1</+1#( 8/"(4*%1,#(%3(#&4,2*0##">(>4#4(0,(4(2+".030">(
4*%1,#(%3(#0*"B(
M%L(.%,2#&40,#2(
Z%1,>">(Q0##"&(( 8/"(*4N0*1*(#%6"&4K6"(>"&0:4#0%,(3&%*(#/"(
+"&0%>0.0#E(.%,2#&40,#(
9"&0%>0.( J4#4(02(&"6"42">(&"<164&6E(4#(30N">(&4#"2(
-+"&0%>0.( J4#4(02(&"6"42">(0&&"<164&6E(4#(2%*"(1,',%$,(
4,>(+%220K6E(1,K%1,>">(&4#"B(
L+%&4>0.( J4#4(02(&"6"42">(0&&"<164&6E($0#/(2%*"(',%$,(
K%1,>">(&4#"B(
8&4330.(*%>"62(
Z1&2#0,"22(.%,2#&40,">( 8/"(*4N0*1*(K1&2#0,"22(02(K%1,>">(
84K6"(AB(5"46780*"(4++60.4#0%,(+&%+"�"2B((
3%&( "N4*+6"D( 4( +/E20.46( ./4,,"6( 02( 466%.4#">( 4,>( #/",( #/"( .%**1,0.4#0%,( $0#/(
<14&4,#"">( K4,>$0>#/( .4,( 2#4&#B( J024>:4,#4<"2( %3( .0&.10#( 2$0#./0,<( 4&"( 6%,<(
2"#1+( #0*"2( 4,>( 6%$( K4,>$0>#/( 1#060O4#0%,( $/",( #/"( ./4,,"6( 02( 0>6"( 3%&( 4( 6%,<(
#0*"( 20,."( #/"( K4,>$0>#/( ,%&*466E( .4,,%#( K"( &"12">B( C,( .%,#&42#D( +4.'"#(
2$0#./0,<( &"3"&2( #%( ,"#$%&'2( 0,( $/0./( #/"( >4#4( 02( >0:0>">( 0,#%( +4.'"#2( K"3%&"(
K"0,<( 2",#B( F4./( +4.'"#( 02( #/",( #&4,2*0##">( 0,>0:0>1466E( 4,>( .4,( ":",( 3%66%$(
>033"&",#(&%1#"2(#%(0#2(>"2#0,4#0%,B(?%2#(*%>"&,([%.46(-&"4(!"#$%&'(T[-!U(4,>(
G0>"(-&"4(!"#$%&'(TG-!U(,"#$%&'2D(0,.61>0,<(C9(,"#$%&'2D(;BI\(,"#$%&'2(4,>(
2$0#./">( F#/"&,"#( ,"#$%&'2( 4&"( K42">( %,( +4.'"#72$0#./0,<( #"./,%6%<0"2B(
)%*+4&">( $0#/( .0&.10#72$0#./0,<( ,"#$%&'2D( 0,( 4( +4.'"#72$0#./">( ,"#$%&'D(
&"2%1&."2( .4,( K"( 12">( *%&"( "330.0",#6E( K1#( /4,>60,<( &"467#0*"( #&4330.( 02( *%&"(
>0330.16#B(
C,(+4.'"#72$0#./">(,"#$%&'2D(4(2$0#./(.4,(K"(>"20<,">(#%(3%&$4&>(3&4*"2(0,(%,"(
%3( #$%( $4E2]( 2#%&"74,>73%&$4&>( %&( .1#7#/&%1</B( L#%&"74,>73%&$4&>( 2$0#./"2(
&"."0:"( "4./( +4.'"#( 0,#%( 4( *"*%&E( K133"&( 4,>( "N4*0,"( 0#( 3%&( "&&%&2( K"3%&"(
#&4,2*0220%,B()1#7#/&%1</(2$0#./"2(0,2#"4>(K"<0,(3%&$4&>0,<(#/"(3&4*"(42(2%%,(
42(#/"(2$0#./(/42(&"4>(#/"(>"2#0,4#0%,(4>>&"22B(-2(4(&"216#D(.1#7#/&%1</(2$0#./"2(
"N/0K0#(2/%&#"&(64#",.E(T0B"BD(3%&$4&>0,<(>"64E2U(#/4,(2#%&"74,>(3%&$4&>(2$0#./"2(
42( 6%,<( 42( 4( +4.'"#( .4,( K"( 3%&$4&>">( >0&".#6E( T03( #/"( %1#+1#( +%&#( 02( K12ED( #/"(
+4.'"#( 02( 2#%&">( 42( 0,( 2#%&"74,>73%&$4&>UB( L#%&"74,>73%&$4&>( 2$0#./"2( /4:"( #/"(
4>:4,#4<"2](AU(,%("&&%&(+&%+4<4#0%,(KE(+"&3%&*0,<("&&%&(>"#".#0%,D(IU(K"0,<(4K6"(
#%(/4,>6"(2+"">(.%,:"&20%,2(4,>(21++%&#(/"#"&%<","%12(,"#$%&'2B(
)%,2#&40,#2( J"2.&0+#0%,(
L43"#E( -(+&%+"&#E(%3(4(2E2#"*(#/4#(0#($066(,%#(",>4,<"&(
/1*4,(603"(%&(#/"(",:0&%,*",#(
=416#(( )412"(%3(4,("&&%&D("B<BD(4,(%+",(.0&.10#D(4(LG(K1<(%&(
4,("N#"&,46(>02#1&K4,."(
F&&%&( 94&#(%3(#/"(2E2#"*(2#4#"($/0./(02(604K6"(#%(6"4>(#%(
34061&"D("B<BD(4($&%,<(:461"(0,(4(+&%<&4*(:4&04K6"(
=4061&"( J"60:"&">(2"&:0."(>%"2(,%#(.%*+6E($0#/(#/"(
2+".030.4#0%,D("B<BD(4(.&102"(.%,#&%6(6%.'2(4#(3166(2+"">(
( (
54,>%*(3416#2P(
LE2#"*4#0.(3416#2( 54,>%*(3416#2(4&"(121466E(+/E20.46(3416#2D(4,>((
LE2#"*4#0.(3416#2(4&"(>"20<,(3416#2(0,(VG(%&(LG(
=416#(#E+"2(
LG(3416#2P(VG(
3416#2(
L%3#$4&"(3416#2(4&"(.412">(KE(2+".030.4#0%,(*02#4'"2(
4,>(0*+6"*",#4#0%,(*02#4'"2B(V4&>$4&"(3416#2(4&"(
.412">(KE(2+".030.4#0%,P0*+6"*",#4#0%,(*02#4'"2D(
"N#"&,46(>02#1&K4,."2(%&(.%*+%,",#(>"3".#2B(
84K6"(IB(J"+",>4K6"(4++60.4#0%,(+&%+"�"2B((
8/"( &%1#0,<( >".020%,D( %&( +4#/( 2"6".#0%,D( 0,( 4( +4.'"#72$0#./">( 0,#"&.%,,".#0%,(
,"#$%&'(.4,(K"(*4>"(0,(%,"(%3(#$%($4E2](2#4#0.(&%1#0,<(%&(>E,4*0.(&%1#0,<B(L#4#0.(
&%1#0,<(*"4,2(#/4#(#/"(&%1#0,<(>".020%,(02(&4&"6E(./4,<">B(C,(.%,#&42#D(>E,4*0.(
&%1#0,<( 02( *%&"( 2%+/02#0.4#">( 4,>( 0,:%6:"2( 4>4+#0:"( &%1#0,<D( *"4,0,<( #/"( K"2#(
,"N#( /%+( 02( 4>4+#0:"6E( ./%2",( K42">( %,D( "B<BD( .%,<"2#0%,( 2#4#02#0.2B( -6#/%1</(
4>4+#0:"(&%1#0,<(.4,(1#060O"(&"2%1&."2(K"##"&(0,(#/"(,"#$%&'(#/4,(2#4#0.(&%1#0,<D(0#(
0,.&"42"(#/"(0*+6"*",#4#0%,(.%2#(4,>(.%*+60.4#"2(&"467#0*"(4,46E202B(
C,( +4.'"#72$0#./">( ,"#$%&'2D( 20,."( %,"( %1#+1#( +%&#( .4,( K"( #/"( >"2#0,4#0%,( 3%&(
*16#0+6"(+4.'"#2D(2%*"(+4.'"#2(*12#(K"(^1"1">(0,(#/"(2$0#./(#%(K"(2",#(64#"&(T2%7 .466">( %1#+1#( K6%.'0,<UB( 8/"&"3%&"D( #/"( 2$0#./( +"&3%&*4,."( >"+",>2( ,%#( %,6E( %,(
#/"( 2$0#./( 34K&0.( 2+"">D( K1#( 462%( %,( #/"( ^1"10,<( 4,>( 4&K0#&4#0%,( #/4#( >".0>"2(
$/0./(+4.'"#2(#%(2",>(4,>($/0./(#%(K133"&B(8/"&"3%&"D(4..%&>0,<(#%(#/"(K133"&0,<(
9&%+"�"2( J"2.&0+#0%,(
L#%&"74,>(3%&$4&>( -(2$0#./($066($40#(#%(3%&$4&>(4(3&4*"(
1,#06(0#(/42(&"."0:">(#/"(",#0&"(3&4*"B(
94.'"#7 2$0#./0,<((
( )1#7#/&%1</(
2$0#./0,<(
-(2$0#./(2#4(3%&$4&>0,<(#/"(3&4*"(
42( 2%%,( 42( #/"( 2$0#./( /42( &"4>( #/"(
>"2#0,4#0%,(4>>&"22B((
L$0#./0,<(
#"./,%6%<E(
)0&.10#72$0#./0,<( 8/"( >">0.4#">( &"2%1&."2( T+/E20.46(
60,'2U( 4&"( 466%.4#">( 3%&( #&4,2*0220%,(
K"#$"",(#$%(+4�"2B(
L#4#0.P30N">(&%1#0,<(( 8/"( &%1#0,<( >".020%,( 02( &4&"6E(
./4,<">(
5%1#0,<(
JE,4*0.P4>4+#0:"(&%1#0,<( 8/"( K"2#( ,"N#7/%+( 02( 4>4+#0:"6E(
./%2",( K42">( %,D( "B<BD( .%,<"2#0%,(
2#4#02#0.2B(
C,+1#7^1"1">(TCMU( -( 2$0#./( 2#%&"2( +4.'"#2( 0,( #/"( 0,+1#(
+%(
H1#+1#7^1"1">(THMU(( -( 2$0#./( 2",>2( +4.'"#2( >0&".#6E( #%(
%1#+1#(+%&#(^1"1"2(
Z133"&0,<(
2#&4#"<E(
_0’(H1#+1#(M1"1">(T_HMU(
F4./( ^1"1"( 2#%&"2( #/%2"( +4.'"#2(
$/0./( /4:"( 4&&0:">( 4#( 4( <0:",( 0,+1#(
+%&#( 4,>( 4&"( >"2#0,">( #%( 4( <0:",(
%1#+1#(+%&#(
FN#&4( >"64E2( 0,#&%>1.">( KE(
2%3#$4&"( "B<BD( +&"+4&4#0%,( %3( >4#4( +4.'"#2D(
+&%#%.%6(2#4.'2D(%&(>4#4(.%+ED("#.B(
80*"(%:"&/"4>(
FN#&4( >"64E2( 0,#&%>1.">( KE(
/4&>$4&"( "B<BD(*"*%&E(4.."22(
J4#4(%:"&/"4>( FN#&4(>4#4(( "B<B( +&%#%.%6( %:"&/"4>( 4,>(
+4.'"#024#0%,(
84K6"(XB(!"#$%&'(+&%+"�"2(&"64#"2(#%(&"467#0*"(+"&2+".#0:"B(
2#&4#"<ED( 2$0#./"2( .4,( K"( .6422030">( 42]( C,+1#( M1"1">( TCMU( 2$0#./"2D(_0’(
H1#+1#(M1"1">(T_HMU(2$0#./"2(4,>(H1#+1#(M1"1">7THMU(2$0#./"2(T%#/"&(2$0#./(
4&./0#".#1&"2("N02#(K1#(4&"(,%#(#&"4#">(/"&"UB(-,(CM(2$0#./D(^1"10,<(+4.'"#2(4#(0#2(
0,+1#(+%&#D(&"^10&"2(6%$(.%*+6"N0#E(4,>(3"$(.0&.10#2B(V%$":"&D(#/"(=)=L(,4#1&"(
4,>( #/"( CM( 2#&4#"<E( &"216#( 0,( 4( 2%( .466">( V"4>7%37[0,"( TVH[U( K6%.'0,<(
+/",%*",%,B( 8/4#( 02D( $/",( 4( +4.'"#( %3( 4( ."(,( K133"&( 4#( #/"( 0,+1#( .4,,%#( K"(
2$0#./">(#%(4,(%1#+1#(+%&#(K".412"(%3(.%,#",#0%,D(#/"(&"2#(%3(#/"(+4.'"#2(0,(#/4#(
K133"&( 4&"( K6%.'">( KE( #/4#( VH[( +4.'"#D( ":",( 03( #/"&"( 02( ,%( .%,#",#0%,( 4#( #/"(
>"2#0,4#0%,( %1#+1#( +%( 3%&( #/%2"( +4.'"#2B( 8%( %:"&.%*"( #/"( VH[7K6%.'0,<(
+&%K6"*D(*4,E(CM(2$0#./"2(4&"(.%,#&%66">(KE(2%+/02#0.4#">(2./">160,<(46<%&0#/*2(
4#( .",#&460O">( 2./">16"&2D( $/0./( &"2#&0.#2( #/"( >"20<,( %3( #/"( 2$0#./( 4&./0#".#1&"B(
HM(4,>(_HM(.4,(K"(12">(#%(&"*%:"(#/"(VH[(K6%.'0,<B(_HM(02(4,("330.0",#(E"#(
20*+6"( K133"&0,<( 2#&4#"<E( $/"&"( "4./( ^1"1"( 2#%&"2( #/%2"( +4.'"#2( $/0./( /4:"(
4&&0:">(4#(4(<0:",(0,+1#(+%&#(4,>(>"2#0,">(#%(4(<0:",(%1#+1#(+%&#B(8/12D(+4.'"#2(
",#"&0,<(0,+1#(+%(.4,(21.."223166E(&"4./(%1#+1#(+%(%,6E(43#"&(.%*+"#0,<(3%&(
%1#+1#( +%( $0#/( %#/"&( 0,+1#( +%B( HM( 2#&4#"<E( *"4,2( #/4#( %,"( ^1"1"( 02(
*40,#40,">(+"&(%1#+1#(+%&#(4,>(+4.'"#2(0,("4./(%1#+1#(^1"1"(#%(#/"(%1#+1#(60,'(
4&"(2./">16">(0,(=)=LB(-6#/%1</(HM(2$0#./"2(&"^10&"(/0</(+"&3%&*4,."(%,(#/"(
2$0#./(.0&.10#2D(#/"E(/4:"(#/"(K"2#(4:"&4<"(+"&3%&*4,."(`a4&%6("#(46B(AbcSdB((
8/"( +"&3%&*4,."( %3( #/"( 2$0#./0,<( ,"#$%&'( >"+",>2( %,( *4,E( 34.#%&2D( 0,.61>0,<(
#"./,%6%<0"2D( 2%3#$4&"( 4&./0#".#1&"( 4,>( #&4330.( ./4&4.#"&02#0.2B( )%,."&,0,<( #/"(
+"&3%&*4,."D(#/"(%:"&/"4>(0,#&%>1.">(KE(#/"(,"#$%&'(*12#(K"(.%,20>"&">B(8/"&"(
4&"( #$%( >033"&",#( #E+"2( %3( %:"&/"4>2D(#0*"(%:"&/"4>2(4,>( >4#4( %:"&/"4>2B( 80*"(
%:"&/"4>2( 4&"( #/"( "N#&4( >"64E2( 0,#&%>1.">( KE( 2%3#$4&"( T>4#4( .%+E( 4,>( +4.'"#2(
+&"+4&4#0%,U( 4,>P%&( /4&>$4&"( T*"*%&E( 4.."22UB( J4#4( %:"&/"4>2( 4&"( 0,#&%>1.">(
KE(#/"(+&%#%.%6(%:"&/"4>2(4,>(+4.'"#024#0%,B(
?%&"%:"&D( +%$"&( .%,21*+#0%,( 02( 4,( 0*+%,#( 42+".#( 4,>( 2$0#./( 34K&0.(
.%,#&0K1#"2( 20<,030.4,#6E( 0,( #/"( #%#46( +%$"&( .%,21*+#0%,B( ( C,( 4( 2$0#./( 34K&0.(
.0&.10#D( #/"( +%$"&( 02( >0220+4#">( %,( #/&""( .%*+%,",#2]( AU( #/"( 0,#"&,46( ,%>"(
2$0#./"2D(6%.4#">(%,(#/"(0,#"&*">04#"(,%>"2(K"#$"",(0,+1#(4,>(%1#+1#(+%D(IU(
#/"( 0,#"&,46( K133"&2D( 4,>( XU( #/"( 0,#"&.%,,".#( $0&"2( #/4#( .%,,".#( ,%>"( 2$0#./"2B(
8/"( +%$"&( .%,21*+#0%,2( %,( #/"2"( #/&""( .%*+%,",#2( ./4,<"2( >033"&",#6E( 1,>"&(
>033"&",#( #&4330.( 6%4>2( 4,>( .%,30<1&4#0%,B( 8/"( 2$0#./( 34K&0.( +%$"&( .%,21*+#0%,(
/42(K"",(4,46EO">(`8B(8B(e"("#(46B(IRRIdB(8/"(0*+%,#(%K2"&:4#0%,2(0,.61>"2](AU(
0,#"&.%,,".#( .%,#",#0%,( 0,>1."2( 20<,030.4,#( +%$"&( .%,21*+#0%,( %,( 0,#"&,46(
K133"&2( 4,>( #/"( +%$"&( .%,21*+#0%,( %,( K133"&2( $066( 0,.&"42"( 2/4&+6E( 42(
#/&%1</+1#( 0,.&"42"2f( IU( =%&( 2$0#./( 34K&0.2( $0#/( 4( 2*466( ,1*K"&( %3( +%D(
0,#"&,46(,%>"(2$0#./"2(>%*0,4#"(#/"(+%$"&(.%,21*+#0%,D(3%&(2$0#./(34K&0.2($0#/(
4( 64&<"( ,1*K"&( %3( +%D( 0,#"&.%,,".#( $0&"2( $066( <&4>1466E( >%*0,4#"( #/"( +%$"&(
.%,21*+#0%,B((
C,(21**4&ED(#%(/4:"(>"#"&*0,02#0.(K"/4:0%&D('""+(#/"(.%2#(6%$(4,>(+"&3%&*4,."(
/0</D( $/06"( *40,#40,0,<( 36"N0K060#E( 21./( 42( /4:0,<( 21++%&#( 3%&( >033"&",#( K0#7&4#"(
60,'2D( +4.'"#72$0#./">( ,"#$%&'2( $0#/( 2#%&"74,>73%&$4&>( 2$0#./"2D( 30N">( &%1#0,<(
4,>(HMP_HM(2$0#./"2(4&"(<%%>(.4,>0>4#"2B((
L%*"( +&%+"�"2( 3&%*( 4( >"+",>4K060#E( +"&2+".#0:"( 4&"( <0:",( 0,( 84K6"( g( 3%&(
.%*+6"#","22D(K1#(4&"(*%2#6E(%1#(%3(2.%+"(%3(#/02(&"+%&#B(
(
gB(F:4614#0%,(%3(-:4064K6"(!"#$%&'()%*+%,",#2((
C,( #/02( 2".#0%,D( $"( $066( 21**4&0O"( #/"( +&%+"�"2( %3( 4:4064K6"( ,"#$%&'(
.%*+%,",#2(4,>(<0:"(4,(":4614#0%,(2#1>E(%,(2":"&46("N4*+6"2B(
gBA(54+0>CH(2$0#./"2(
-( &".",#( ,"#$%&'0,<( 2#4,>4&>( 3%&( /0</7+"&3%&*4,."( "*K">>">( 2E2#"*2( 02(
54+0>CH( `54+0>CHd( `=166"&( IRR\dB( 8/"( 2+".030.( 54+0>CH( 2$0#./( $"( /4:"( 2#1>0">(
`81,>&4(*4,146(IRRhdD(12"2(4(.%*K0,">(0,+1#7%1#+1#(K133"&0,<(#"./,%6%<ED(#/4#(
02D( :0’( %1#+1#( ^1"1"2( 4#( "4./( 0,+1#( +%&#( 4,>( 2*466( %1#+1#( K133"&2( 3%&( &4#"(
*4#./0,<(4,>(.%,#&%6(2E*K%6("*K">>0,<B(8/"&"3%&"D(54+0>CH(/42(VH[(K6%.'0,<(
4:%0>4,."B( 8%( K"( 2+".030.D( 2+".046( 4&K0#&4&E( 46<%&0#/*2( 4#( K%#/( #/"( 0,<&"22( 4,>(
"<&"22(20>"2(%3(#/"(0,#"&,46(2$0#./(34K&0.(4,>(.&%22K4&(2$0#./0,<(4&"(0*+6"*",#">(
#%(4:%0>(VH[(K6%.'0,<B(
54+0>CH(2$0#./"2(21++%&#(K%#/(2#%&"74,>73%&$4&>(4,>(.1#7#/&%1</D($/0./(.4,(K"(
.%,30<1&">( 0,>0:0>1466E( 3%&( "4./( +%&#B( =%&( *16#0.42#( %&( K&%4>.42#D( 54+0>CH(
2$0#./"2(466%.4#"(4(K&%4>.42#(K133"&B(8/"(%+"&4#0%,(*%>"(3%&(21./(#&4330.(02(2#%&"7 4,>73%&$4&>B( =%&( >"+",>4K060#E( +1&+%2"D( 81,>&472+".030.( 54+0>CH( 2$0#./(
0*+6"*",#4#0%,2(21++%&#(>"4>(60,'(#0*"&("N+0&4#0%,(#%(>"#".#(+%220K6"(3416#2B(
54+0>CH( /42( K106#70,( *"./4,02*2( 3%&( 4.',%$6"><"*",#( 4,>( &"#&4,2*0220%,( %3(
+4.'"#2B( C#( 02( ":",( +%220K6"( 3%&( &"#&4,2*0##">( +4.'"#2( #%( <"#( +&0%&0#E( %:"&( %#/"&(
+4.'"#2B(V%$":"&D(0#(02(4,(%+",(^1"2#0%,(/%$(#%(+"&3%&*(4(&"467#0*"(4,46E202(%3(
K%#/( #/"( &"#&4,2*0220%,( 2./"*"( 0,( $/%6"( 4,>( #/"( +&0%&0#0O4#0%,( *"./4,02*2B( -(
&"467#0*"(4,46E202(3&4*"$%&'(,"">(#%(K"(>":"6%+">D($0#/($/0./(#/"(+&%K4K060#E(%3(
*""#0,<(>"64E(K%1,>2(.4,(K"(.46.164#">B(?%&"%:"&D(0#(*12#(K"(0,:"2#0<4#">(/%$(
&"#&4,2*0220%,2( $066( 433".#( #/"( >"64E( %3( 3%66%$0,<( +4.'"#2( 4,>( /%$( #/"( ^1"1"(
+%+164#0%,2($066(K"(433".#">(T#%(,%#(<"#(>&%++">(+4.'"#2UB(
8/"(+"&3%&*4,."(*"421&"*",#(02(&"+%&#">(0,(`81,>&4(*4,146(IRRhdB(81,>&4i2(
0*+6"*",#4#0%,(+&%:0>"2(31,.#0%,2(#%(*%,0#%&(#/"(^1"1"(>"+#/(#%(>"#".#(
K%##6",".'(#&4330.(0,(#/"(54+0>CH(0,#"&34."B(8/"(0,3%&*4#0%,(02(2#%&">(0,(2+".046(
&"<02#"&2(#/4#(.4,(K"(4.."22">(&"*%#"6EB(
(
gBI(Y0<4K0#(F#/"&,"#(2$0#./"2(
F#/"&,"#( 2$0#./"2( /4:"( K"",( <","&466E( .4#"<%&0O">( 0,#%( #/"( 3%66%$0,<( #/&""(
*4&'"#( .6422"2]( #/"( ,%>"P$%&'<&%1+( 2$0#./D( #/"( 2"<*",#( 2$0#./( 4,>( #/"(
)%,2#&40,#2( J"2.&0+#0%,(
V4&>$4&"(&">1,>4,.E( 5">1,>4,#(,"#$%&'2(%&(60,'2B(
80*"(&">1,>4,.E( 5"#&4,2*0220%,(
C,3%&*4#0%,(&">1,>4,.E( F&&%&(.%&&".#0,<(
J4#4(%:"&/"4>( FN#&4(>4#4(( "B<B( +&%#%.%6( %:"&/"4>( 4,>(
+4.'"#024#0%,(
84K6"(gB(!"#$%&'(+&%+"�"2(&"64#"2(#%(>"+",>4K060#E(+"&2+".#0:"B(
K4.'K%,"(2$0#./B(L0,."(*%2#(%3(2$0#./"2(#%>4E(+&%:0>"(AR(?K0#2P2(#%(ARR(?K0#2P2(
2$0#./0,<D(#/"E($066(K"(0,(2#%&"74,>73%&$4&>(*%>"B(
G/",( +&0%&0#E( 02( 21++%&#">D( "0</#( +&0%&0#E( 6":"62( .4,( K"( 12">B( V%$":"&D( #/"(
2#4,>4&>( 24E2( #/4#( #$%( +&0%&0#E( ^1"1"2( 4&"( ",%1</( #%( 0*+6"*",#D( $/06"( "0</#(
+&0%&0#E(^1"1"2(4&"(,"">">(3%&(4(%,"7#%7%,"(*4++0,<(3&%*(#/"(+&0%&0#E(6":"6(<0:",(
KE(#/"(+&0%&0#E(30"6>(0,(4(3&4*"B(-2(4,("N4*+6"(%3(4,(F#/"&,"#(2$0#./(./0+D(C,#"6(
?">04(L$0#./(C;FIgIg(/42(3%1&(^1"1"2(+"&(+%&#D($/0./(.4,D("B<BD(K"(&".%,30<1&">(
#%( K"( *4++">( %,( ."(,( +&0%&0#E( 6":"62( `C,#"6( ?">04( L$0#./( IRRAdB( 8/"( F+%./(
?16#0[4E"&( L$0#./( )/0+2"#( 3&%*( ?120.( L"*0.%,>1.#%&2( 02( 4,%#/"&( "N4*+6"D(
$/0./( /42( "0</#( +&0%&0#E( ^1"1"2( +"&( %1#+1#( +%&#( `?120.( F+%./( AbbbdB( -,%#/"&(
^1"2#0%,(&"<4&>0,<(+&0%&0#E(^1"10,<(02($/"#/"&(0#(02(2#&0.#(+&0%&0#E(^1"10,<(%&(0#(02(
.%*K0,">($0#/(2%*"('0,>(%3(340&,"22(^1"10,<B(8/"(&"467#0*"(2./">160,<(4,46E202(
+&"2",#">(0,(`=4,(IRRSd(`=4,(4,>(@%,22%,(IRR\d(4221*"2(2#&0.#(+&0%&0#E(^1"10,<(
K1#( 0#( 2/%16>( K"( +%220K6"( #%( 4>4+#( #/"( 4,46E202( 03( ',%$0,<( #/"( <14&4,#"">(
*0,0*1*(#/&%1</+1#(4,>(#/"($%&2#7.42"("N#&4(>"64E(K"3%&"(#/"(/0</"2#(+&0%&0#E(
^1"1"(.4,(K"(.%,20>"&">(#%(K"(2"&:">($0#/(4(&4#"(#/4#(<14&4,#""2(#/"(*0,0*1*(
#/&%1</+1#B( G/",( 120,<( #/"( &"467#0*"( 4,46E202D( <14&4,#"">( &"467#0*"( #&4330.( 02(
4221*">(#%(46$4E2(120,<(#/"(/0</"2#(+&0%&0#E(6":"6B(8/"("0</#(+&0%&0#E(^1"1"2(+"&(
%1#+1#(+%&#(0,(#/"(F+%./(?16#0[4E"&(L$0#./()/0+2"#(.4,(K"(12">("0#/"&(3%&(2#&0.#(
+&0%&0#E(^1"10,<(%&(3%&("0</#(#&4330.(.6422"2(2./">16">(KE(G"0</#">(5%1,>(5%K0,(
TG55U( `?120.( F+%./( AbbbdB( 8/"( G55( ",21&"2( 2%*"( 340&,"22( KE( <0:0,<( "4./(
#&4330.(.6422(4(6"42#(<14&4,#"">(3&4.#0%,(%3(#/"(.4+4.0#EB(8/"(4,46E202(+&"2",#">(0,(
`=4,(IRRSd(`=4,(4,>(@%,22%,(IRR\d(462%(<0:"2(12(#/"(%++%,0#E(#%(.46.164#"(#/"(
*0,0*1*( ,"">">( K133"&( 2+4."( T^1"1"( 20O"U( 3%&( #/"( &"467#0*"( #&4330.( .6422B( 8%( K"(
4K6"( #%( <14&4,#""( #/4#( ,%( K133"&( %:"&36%$( $066( %..1&D( $"( *12#( ',%$( #/"( ^1"1"(
20O"2( 0,( #/"( 2$0#./( ./0+B( C3( ,%( >">0.4#">( *"*%&E( 02( <0:",( #%( "4./( ^1"1"D( 120,<(
2%*"('0,>(%3(2/4&">7*"*%&E(4&./0#".#1&"D($"(,"">(#%(",21&"(#/4#(#/"&"(2#066(02(4(
*0,0*1*( <14&4,#"">( 4*%1,#( %3( *"*%&E( 3%&( #/"( ^1"1"( #/4#( /4,>6"2( #/"( &"467
#0*"(#&4330.B(
C#(02(0*+%,#(#/4#(#/"(2$0#./(./0+(21++%($0&"(2+"">(2$0#./0,<D(*"4,0,<(#/4#(
#/"(2$0#./(/42(,%(K%##6",".'2(K1#(.4,(3%&$4&>(#&4330.(#%(466(+%(0,>"+",>",#(%3(
#/"(#&4330.(+4##"&,B(?%2#(2$0#./(./0+2(21++%&#($0&"(2+"">(4,>(.6"4&6E(2#4#"2(#/4#(
0,( #/"( >4#4( 2/""#2B( ?%&"%:"&D( 0#( 02( 0*+%,#( #/4#( 0#( .4,( K"( <14&4,#"">( #/4#( ,%(
/"4>7%3760,"(TVH[U(K6%.'0,<(%..1&2(4,>(#/02(02(2%*"#0*"2(.6"4&6E(2#4#">(42(3%&(#/"(
F+%./( ?16#0[4E"&( L$0#./( )/0+2"#( 3&%*( ?120.( L"*0.%,>1.#%&2( `?120.( F+%./(
AbbbdB( =%&( %#/"&( 2$0#./( ./0+2( 0#( *0</#( K"( ,"."224&E( #%( 2#1>E( #/"( ^1"10,<(
4&./0#".#1&"(#%(30,>(%1#($/"#/"&(0#(02(3&""(%3(VH[(K6%.'0,<B(
L%*"(%+",(^1"2#0%,2(4&"($/"#/"&(#/"(2#4,>4&>0O">(36%$7.%,#&%6(02(2%*"#/0,<(#/4#(
*12#( K"( .%,20>"&">( 0,( #/"( &"467#0*"( 4,46E202B( -,%#/"&( 2#1>E( $%16>( K"( #%(
0,:"2#0<4#"( 03( #/"( _[-!( 31,.#0%,460#E( %3#",( 21++%&#">( KE( F#/"&,"#( 2$0#./( ./0+2(
.4,(/"6+(#%(K"##"&(21++%&#(&"467#0*"(#&4330.B(
(
\B(J"20<,(L+4."(
C,(#/02(2".#0%,D($"($066(,%$(4>>&"22(>"20<,(2+4."(0221"2(#/4#(4&"(433".#">(KE(#/"(
4++60.4#0%,(4,>(,"#$%&'(+&%+"�"2(>02.122">("4&60"&B(84K6"(\(06612#&4#"2(%1&(:0"$(
%3(#/"(>"20<,(2+4."B(
C,(4(+4.'"#72$0#./">(,"#$%&'D("4./(+4.'"#(#&4:"&2"2(4(,1*K"&(%3(/%+2(3&%*(0#2(
2%1&."(#%$4&>2(#/"(30,46(>"2#0,4#0%,B(8&4:"&20,<(4(/%+(.%*+&02"2(+4220,<(#/&%1</(
4(2$0#./0,<(.%,#&%66"&B(?%&"(2+".030.466ED(3%&("4./(/%+(#/4#(02(#&4:"&2">D(4(+4.'"#(
02( #&4,23"&&">( 3&%*( #/"( 0,.%*0,<( 60,'D( #/&%1</( #/"( 2$0#./0,<( 34K&0.( 4,>( #%( #/"(
%1#+1#(^1"1"2(%3(#/"(%1#<%0,<(60,'(03(#/"(HM(2$0#./0,<(02(12">B(-3#"&("4./(/%+D(
#/"( +4.'"#( 02( 2#%&">( 0,( 4( 2$0#./( T%&( &%1#"&UB( 8/"( ./%0."( %3( ^1"10,<( 4&./0#".#1&"D(
#&4330.(/4,>60,<("#.(02("22",#046(3%&(#/"(M%L(./4&4.#"&02#0.2B((
5"467#0*"( .%**1,0.4#0%,( %3#",( &"60"2( %,( 2%*"( '0,>( %3( #&4330.( &"<164#%&2( 4#( #/"(
2%1&."( ,%>"D( #%( ",21&"( #/"( #&4330.( 2%1&."( %K"E( #%( 0#2( +&">"30,">( #&4330.(
./4&4.#"&02#0.2B( ?%&"%:"&D( K".412"( %3( Q0##"&D( #/"( :4&04#0%,( %3( >"64E( .4,( K"(
4..1*164#">( 3%&( "4./( /%+( 4,>( #/"&"3%&"( *4'"( 4( $%&2#7.42"( 4,46E202( :"&E(
+"220*02#0.B( -( 6%#( %3( #/"( &"467#0*"( &"2"4&./( .%,."&,( 4K%1#( 0*+6"*",#0,<( 2%*"(
+%60.0,<( *"./4,02*( #%( &"<164#"( #/"( 0,Q".#0%,( &4#"( 0,( #/"( 2$0#./"2B( C#( 2/%16>( K"(
)%,2#&40,#2( J"2.&0+#0%,(
L%1&."(,%>"((
8&4330.(&"<164#%&(
L$0#./(
L/4+"(#/"(#&4330.(4..%&>0,<(#%(."(,(
.%,2#&40,#2B(
9"&0%>0.(*%>"6(( 8/"(*0,0*1*(0,#"&74&&0:46(#0*"(%3(#/"(>4#4(
#&4330.(02(2+".030">(
8&4330.(4&&0:46(
*%>"6(
T&D( KU7*%>"6( 12">( 0,(
!"#$%&'()46.1612((
-,(1++"&7K%1,>(#%(#/"(6%,<(#"&*(4:"&4<"(
&4#"(%3(#&4330.(36%$(4,>(#/"(*4N0*1*(
K1&2#0,"22(%3(#&4330.(4&"(2+".030">((
9&0%&0#E7K42">(^1"10,<( L%&#(#/"(^1"1">(+4.'"#2(4..%&>0,<(#%(
+&0%&0#0"2D(3%&("N4*+6"D(F4&60"2#(J"4>60,"(
=0&2#B(
M1"10,<(
2#&4#"<0"2(
=)=L(^1"10,<( =0&2#()%*"(=0&2#(L"&:"D(12">(0,(2#4,>4&>(
F#/"&,"#(2$#0./"2(
G%&'7.%,2"&:0,<( #&4,2*0220%,($066(%..1&(42(6%,<(42(#/"&"(4&"(
+4.'"#2("60<0K6"(3%&(#&4,2*0220%,(
L"&:0."(
>02.0+60,"2(
!%,7$%&'7.%,2"&:0,<( #&4,2*0220%,(*4E(,%#(%..1&(":",(03(#/"&"(4&"(
+4.'"#2("60<0K6"(3%&(#&4,2*0220%,(
)%**1,0.4#0%,(
2./">160,<(
?%>"60,<(#/"(#&4330.($0#/(4>4+#">(#42'(
*%>"6(4,>(#/",(120,<(2./">160,<(#"./,0^1"(
#%(./".'(2./">164K060#E(
5"467#0*"(
4,46E202(
!"#$%&'()46.1612(
#%("2#0*4#"(#/"($%&2#7.42"(>"64E(3%&(#&4330.(
&"<164#">(KE(T&D(KU7*%>"6(4,>(2%&#">($0#/(
=)=L7%&>"&(
84K6"(\B(94&4*"#"&2(0,(#/"(>"20<,(2+4."B(
,%#">( #/4#( 4>>0,<( #&4330.( &"<164#%&2( 0,( 2$0#./"2( 20<,030.4,#6E( 0,.&"42"2( #/"( .%2#(
4,>(0*+6"*",#4#0%,(.%*+6"N0#EB((
8%( 422"22( &"467#0*"( +"&3%&*4,."D( 0#( 02( 0*+%,#( #%( /4:"( #/"( ',%$6"><"( %3( #/"(
4&&0:46(#&4330.(*%>"6B(H,"($0>"6E(12">(*%>"6(3%&(&"467#0*"(#&4330.(02(#/"(+"&0%>0.(
*%>"6D(#/4#(02D(#/"(*0,0*1*(0,#"&74&&0:46(#0*"(%3(#/"(#&4330.(02(2+".030">B(-,%#/"&(
#&4330.(4&&0:46(*%>"6(02(>"2.&0K">($0#/(#/"(40>(%3(2%7.466">(4&&0:46(.1&:"2(%K"E0,<(
T&D( KU7*%>"6D( $/0./( ^14,#03E( .%,2#&40,#2( %,( 4:"&4<"( &4#"( 4,>( #/"( *4N0*1*(
K1&2#0,"22(%3(#/"(#&4330.(36%$B(C,(#/"("*K">>">(,"#$%&'0,<(>%*40,D(#/"(*4Q%&0#E(
%3(/4&>(&"467#0*"(#&4330.(02(+"&0%>0.B(
5"<4&>0,<(4++&%4./"2(#%(/4,>6"(&"467#0*"(.%**1,0.4#0%,D(%,"(02(#%(2./">16"(#/"(
#&4330.( 4..%&>0,<( #%D( "B<BD( &"64#0:"( >"4>60,"( %&( +&0%&0#EB( V%$":"&D( 21./( 2%�,<(
31,.#0%,2(462%(&"216#(0,(4>>">(.%2#(4,>(*%>030.4#0%,(20,."(*4,E(2#4,>4&>(+4.'"#7 2$0#./">(,"#$%&'(.%*+%,",#2(%,6E(21++%&#(=)=LB(
M1"10,<( 2"&:0."( >02.0+60,"2( .4,( K"( >0:0>">( 0,#%( $%&'7.%,2"&:0,<( 2"&:0."(
>02.0+60,"2(4,>(,%,7$%&'7.%,2"&:0,<(2"&:0."(>02.0+60,"2B(W20,<(4($%&'7.%,2"&:0,<(
2"&:0."(>02.0+60,"D(#&4,2*0220%,($066(%..1&(42(6%,<(42(#/"&"(4&"(+4.'"#2("60<0K6"(3%&(
#&4,2*0220%,B( !%#"( #/4#( 4( $%&'7.%,2"&:0,<( 2"&:0."( >02.0+60,"( *40,#40,2( 4( <%%>(
1#060O4#0%,D(4,>(=)=L7^1"10,<(21++%&#">(KE(2#4,>4&>(.%*+%,",#2(K"6%,<2(#%(#/"(
$%&'7.%,2"&:0,<( .4#"<%&EB( G0#/( 4( ,%,7$%&'7.%,2"&:0,<( 2"&:0."( >02.0+60,"2(
0,2#"4>D(#&4,2*0220%,(*4E(,%#(,"."224&06E(%..1&(":",(03(#/"&"(4&"(+4.'"#2("60<0K6"(
3%&(#&4,2*0220%,B(8/02(.4,(K"(<%%>($0#/(&"<4&>(#%(Q0##"&(4,>(/",."(#/"(20O"(%3(Q0##"&(
"60*0,4#0,<( K133"&2B( -,( "N4*+6"( %3( $"667',%$,( $%&'7.%,2"&:0,<( 2"&:0."(
>02.0+60,"2( 02( J"64E7FJJ( `="&&4&0( 4,>( _"&*4( AbbRdD( $/"&"42( @0##"&7FJJ( 02( 4,(
"N4*+6"(%3(4(,%,7$%&'7.%,2"&:0,<(2"&:0."(>02.0+60,"2(`_"&*4("#(46BAbbAdB(
Y14&4,#"">( >"#"&*0,02#0.( 2"&:0."2( %33"&( 4( /1,>&">( +"&.",#( <14&4,#""( %3( #/"(
2#4#">( M%L( 6":"6( KE( /4:0,<( 4,(4>*0220%,( .%,#&%6( *"./4,02*( #%( :"&03E( #/4#( #/"(
2+".030">(&"^10&"*",#2(.4,(K"(*"#B(-,(4>*0220%,(.%,#&%66"&(02(&1,(#%(./".'(#/4#(
"4./( 2$0#./( %,( #/"( +4#/( .4,( <14&4,#""( #/"( 2+".030">( M%LB( 8/"( 0>"4( K"/0,>(
4>*0220%,( .%,#&%6( 02(&"467#0*"( 4,46E202B( 8/"&"( 4&"( #$%( $0>"6E( 12">( 4,46E#0.46(
2./"*"2( 3%&( 21./( +1&+%2"D( .%**1,0.4#0%,( 2./">160,<( 4,>( !"#$%&'( )46.1612(
T!)UB()%**1,0.4#0%,(2./">160,<D(20*064&6E(#%(#42'(2./">160,<D(02(#%(6%%'(%,(#/"(
#&4,2*0220%,( *">01*( 42( 4( 60*0#">( 2/4&">( &"2%1&."D( #%( *%>"6( #/"( #&4330.( $0#/(
4>4+#">( #42'( *%>"6( 4,>( #/",( #%( ./".'( #/"( 2./">164K060#E( %,( 466( 60,'2( 0,( #/"(
&%1#0,<( +4#/( 4,>( #%( .46.164#"( #/"( $%&2#7.42"( ",>7#%7",>( .%**1,0.4#0%,( >"64E2B(
-6#/%1</( #/"&"( 02( #/"( ,"">( 3%&( 120,<( ,"#$%&'( .%*+%,",#2( $0#/( =)=L7^1"10,<D(
2./">164K060#E(4,46E202(3%&(=)=L7^1"1">(+"&0%>0.(&"467#0*"(#&4330.(/42(,%#(K"0,<(
>""+6E( 0,:"2#0<4#">B( 8/"( %KQ".#0:"( %3( !)( 02( #%( "2#0*4#"( #/"( $%&2#7.42"( >"64E( 3%&(
#&4330.( &"<164#">( KE( T&D(KU7*%>"6( 4,>( 2%&#">( $0#/( =)=L7%&>"&B( 8/"&"( 4&"( 2":"&46(
60*0#4#0%,2( %3( !)B( H,"( 02( #/4#( 0#( %,6E( >"462( $0#/( =)=L7^1"10,<B( -,%#/"&(
$"4',"22( 02( #/4#( #/"( K1&2#0,"22( .%,2#&40,#2( 0,>0.4#"( #/"( &"^10&"*",#( %3( 120,<(
#&4330.( 2/4+"&2( 0,( #/"( 2%1&."( ,%>"2( 4,>( #/"( 2$0#./"2D( $/0./D( %3( .%1&2"D( $066(
0,.&"42"(#/"(0*+6"*",#4#0%,(.%*+6"N0#E(4,>(.%2#B(8/"(#/0&>($"4',"22(02(#/4#(!)(
.4,,%#( K"( 12">( >0&".#6E( 3%&( +"&0%>0.( #&4330.D( 1,6"22( #/"( +"&0%>0.( *%>"6( K"0,<(
#&4,23%&*">( 0,#%( T&D(KU7*%>"6B( ?%&"%:"&D( +"220*02*( $066( K"( 0,#&%>1.">( KE( 21./(
*%>"6(#&4,23%&*4#0%,B(
(
hB()%,.6120%,(
C,( #/02( +4+"&D( $"( /4:"( >02.122">( 4&./0#".#1&46( 3"4#1&"2( %3( ,"#$%&'( .%*+%,",#2(
3&%*(4(&"467#0*"(+"&2+".#0:"B(G"(/4:"(0>",#030">(2":"&46(#/0,<2(#%(/4:"(0,(*0,>(
$/",(":4614#0,<(4(2+".030.(0*+6"*",#4#0%,B(
F:",(03(4(2%60>(&"467#0*"(2./">160,<(4,46E202(3&4*"$%&'(/42(K"",(>":"6%+">(4,>(
&"+%&#">( 0,( "4&60"&( +1K60.4#0%,2D( #/"&"( 4&"( 2#066( %+",( ^1"2#0%,2B( H,"( #/0,<( #%(
0,:"2#0<4#"( 02( /%$( #&"4#( 36%$7.%,#&%6( 0,( #/"( &"467#0*"( 4,46E202D( $/06"( 4,%#/"&( 02(
/%$(#%(+%220K6E(12"(#/"(_[-!(31,.#0%,460#E(%3#",(21++%&#">(KE(F#/"&,"#(2$0#./(
./0+2( #%( K"##"&( 21++%&#( &"467#0*"( #&4330.B( =%&( .%*+6"N( ^1"10,<( 4&./0#".#1&"2( %&(
4&./0#".#1&"2($/"&"(2+".046(*"./4,02*2(4&"(0*+6"*",#">(#%(4:%0>(VH[(K6%.'0,<D(
31&#/"&(0,:"2#0<4#0%,(02(,"">">(03(#/"(>4#4(2/""#2(>%(,%#(<0:"(>"#406">(0,3%&*4#0%,(
%,(/%$(#/"(+"&3%&*4,."(02(433".#">B(-,%#/"&(%+",(^1"2#0%,(02(/%$(#%(2E,./&%,0O"(
#/"(1+>4#0,<(%3(&%1#0,<(#4K6"2(4,>(#&"4#(#/02(0,(#/"(&"467#0*"(4,46E202B(
-62%( ,"">">( 4&"( &"467#0*"( 4,46E202( *"#/%>2( 3%&( &"#&4,2*0220%,( 2./"*"2( 4,>(
*16#0.42#0,<B(5"#&4,2*0220%,(2./"*"2(.4,(K"(12">(K%#/(",>7#%7",>(4,>(%,(4(+"&7 /%+( K4202( 4,>( 0#( *12#( K"( 0,:"2#0<4#">( /%$( &"#&4,2*0220%,2( 433".#( #/"( &"467#0*"(
4,46E202(4,>(/%$(#%(3%&*(+&%#%.%62(3%&($/0./(&"#&4,2*0220%,2(>%(,%#(/4O4&>(#/"(
2#4#">( <14&4,#""2( 3%&( %&>0,4&E( #&4,2*0220%,2B( -( &"467#0*"( 4,46E202( 3&4*"$%&'(
,"">(#%(K"(>":"6%+">D($0#/($/0./(#/"(+&%K4K060#E(%3(*""#0,<(>"64E(K%1,>2(.4,(K"(
.46.164#">B(?%&"%:"&D(0#(*12#(K"(0,:"2#0<4#">(/%$(&"#&4,2*0220%,2($066(433".#(#/"(
^1"1"(+%+164#0%,2(#%(,%#(<"#(>&%++">(+4.'"#2B(
(
5"3"&",."2(
`=4,(IRRSd(;B(=4,D(j5"467#0*"(2"&:0."2(0,(+4.'"#72$0#./">(,"#$%&'2(3%&("*K">>">(
4++60.4#0%,2Dj(J%.#%&46( #/"202D( J"+4&#*",#( %3( )%*+1#"&( F,<0,""&0,<D( )/46*"&2(
W,0:"&20#E(%3(8"./,%6%<ED(Yk#"K%&<D(L$">",D(@1,"(IRRSB(
`=4,(4,>(@%,22%,(IRR\d(;B(=4,(4,>(?B(@%,22%,D(jY14&4,#"">(&"467#0*"(2"&:0."2(
%:"&(2#4,>4&>(2$0#./">(F#/"&,"#Dj(9&%.B(%3(#/"(XR#/(-,,146(CFFF()%,3"&",."(%,(
[%.46()%*+1#"&(!"#$%&'2(T[)!iIRR\UD(!%:B(A\#/7AS#/D(IRR\D(LE>,"ED(-12#&4604B(
`="&&4&0( 4,>( _"&*4( AbbRd( JB( ="&&4&0( 4,>( JB( _"&*4D( j-( 2./"*"( 3%&( &"467#0*"(
./4,,"6("2#4K602/*",#(0,($0>"(4&"4(,"#$%&'Dj(CFFF(@%1&,46(%,(L"6".#">(-&"42(0,(
)%**1,0.4#0%,2D(:%6B(cD(,%B(XD(-+&B(AbbRD(++B(Xhc7XSbB(
`=166"&( IRR\d( LB( =166"&D(54+0>CH( l( 8/"( F*K">>">( LE2#"*( C,#"&.%,,".#B( @%/,(
G06"E(m(L%,2([#>BD(IRR\D(CLZ!(R7gSR7RbIbA7IB(
`C,#"6( ?">04( L$0#./( IRRAd( C,#"6( ?">04( L$0#./( C;FIgIg( ARPARRnY0<4K0#( [IPXPg(
->:4,.">(J":0."D(J4#4(L/""#D(5":B(ABID(C,#"6D(!%:B(IRRAB(
`a4&%6("#(46B(AbcSd(?B(@B(a4&%6D(?B(YB(V61./EQD(4,>(LB(9B(?%&<4,D(jC,+1#(_"&212(
%1#+1#( ^1"10,<( %,( 4( 2+4."7>0:020%,( +4.'"#( 2$0#./Dj( CFFF( 8&4,24.#0%,( %,(
.%**1,0.4#0%%,2D(:%6B(X\D(,%B(AID(++B(AXgS7AX\hD(J".B(AbcSB(
`?120.(F+%./(Abbbd(F+%./(?16#0[4E"&(L$0#./()/0+2"#D(9&"60*0,4&E(J4#4(L/""#D(
5":B(ABgD(?120.(L"*0.%,>1.#%&2D(Ib(?4&B(AbbbB(
`54+0>CHd( 54+0>CH( 8&4>"( -22%.04#0%,]( j54+0>CH( 4&./0#".#1&"( 2+".030.4#0%,D(
5"6"42"(ABXDj(/##+]PP$$$B&4+0>0%B%&<D(642#(./".'">(IRRS7R\7RAB(
`8B(8B(e"("#(46B(IRRIdB(8B(8B(e"D([B(Z",0,0(4,>(YB(JB(?0./"60D(o-,46E202(%3(9%$"&(
)%,21*+#0%,(%,(L$0#./(=4K&0.2(0,(!"#$%&'(5%1#"&2pqD(9&%.B(H3(J-)D(@1,"(AR7AgD(
IRRID(!"$(H&6"4,2D([%10204,4D(WL-B((
`81,>&4(*4,146(IRRhd(820\Sc(L"&046(54+0>CH(L$0#./(W2"&(?4,146B(9&"60*0,4&E(
_"&20%,D(81,>&4D(J".B(IRRhB(
`_"&*4("#(46B(AbbAd(JB()B(_"&*4D(VB(r/4,<D(4,>(JB(="&&4&0D(jJ"64E(Q0##"&(.%,#&%6(
3%&( &"467#0*"( .%**1,0.4#0%,( 0,( 4( +4.'"#( 2$0#./0,<( ,"#$%&'Dj(9&%.B(%3(h#/(CFFF(
C,#"&,4#0%,46( )%,3"&",."( %,( )%**1,0.4#0%,2( 3%&( J02#&0K1#">( -++60.4#0%,2( 4,>(
LE2#"*22D(++B(X\7gXD(-+&B(AbbAB(