Comparison of Points-to Analyses

School of Mathematics and Systems Engineering Reports from MSI - Rapporter från MSI

Comparison of Points-to Analyses

Tobias Gutzmann

Feb 2008

MSI Report 08012

Växjö University ISSN 1650-2647

SE-351 95 VÄXJÖ ISRN VXU/MSI/DA/E/--08012/--SE

! !

!"#$% &'$"("

)*+,!%("*- *. /*(-#"0#* 1-!23"$"

!"#$% &'()*$++

!!"

#$%&'&(& )*+ ,+-.+/00%&+(1&(+2$

($3 4/&2$-+./$'%/&'-$

5/1(6&7& )*+ #$)-+0/&'1 8$'92+%'&7& :/+6%+(;2

42</+&02$& -) =-0<(&2+ >?'2$?2

@7ABC 8$'92+%'&D

,+-)E 4+E F26) GCH2

,+-)E 20E 4+E 4+E ;E?E I2+;/+3 I--%

! !

!"#$%&#

!"#$%&$! '#'()%"% "% ' %$'$"* +,!-,'. '#'()%"% /0"*0 *!.+1$2% +!%%"3(2 ,242,2#*2 ,2('$"!#% 32$/22# 5"62,2#$ +',$% !4 ' +,!-,'.7 8$ %2,92% '% "#+1$ $! .'#) 0"-0&(292(

'#'()%2%7 !"#$%&$! '#'()%2% 5"62,: '.!#- !$02,%: "# ;!/& '#5 *!#$2<$&%2#%"$"9"$):

+,!-,'. ,2+,2%2#$'$"!#: '#5 !3=2*$ '3%$,'*$"!#7 >!%$ +,!-,'. ,2+,2%2#$'$"!#% 1%25 4!, +!"#$%&$! '#'()%"% ',2 %+',%2 ,2+,2%2#$'$"!#% /0"*0 '3%$,'*$ 4,!.: 27-7: +,"."$"92 5'$' $)+2% '#5 "#$,'&+,!*251,'( *!#$,!(&;!/7 ?01%: ' *2,$'"# 52-,22 !4 "#4!,.'&

$"!# "% %'*,"@*25 4!, *!.+'*$ +,!-,'. ,2+,2%2#$'$"!#: /0"*0 ,2%1($% "# %*'('3(2 +2,&

4!,.'#*27 8# $0"% $02%"%: /2 +,2%2#$ ' 4,'.2/!,A /0"*0 '((!/% 31"(5"#- 5"62,2#$

92,%"!#% !4 !"#$%&$! BBC D EBBCF: ' %+',%2: >2.!,) BBC 3'%25 +,!-,'. ,2+,2&

%2#$'$"!#7 G"%$"#*$ "#%$'#$"'$"!#% !4 EBBC *!#$'"# 5"62,2#$ (292(% !4 '3%$,'*$"!#

4,!. ' +,!-,'.H% 41(( ,2+,2%2#$'$"!#7 I2 +,2%2#$ '#!$02, 4,'.2/!,A /0"*0 '((!/%

,1##"#- !"#$%&$! '#'()%2% !# $02%2 +,!-,'. ,2+,2%2#$'$"!#%7 I2 1%2 $02%2 $/!

4,'.2/!,A% $! "#%$'#$"'$2 5"62,2#$ 92,%"!#% !4 EBBC '#5 *!.+',2 $02. "# $2,.%

!4 '#'()%"% +,2*"%"!# '#5 2<2*1$"!# $".27

"

! !

""

!"#$"#%

!"#$%&'(#)%"

! "#$%&'( )*+ ,$-./)-.$* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !0 1$)& 2#.-'#.) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !3 45-&.*' ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0

* +#,#- %. #/- 0$# 1

0! 2$*6'7-8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3 0!0 9:.8-.*; <77#$)6='8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! >

0!3 2$*6&58.$* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ?

1 2$,3-4%$5 6

3! @.#( /8! "0AA< ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! B 3!0 C5.&+.*; ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! B 3!0! 9*-.-D ,)77.*; ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! E 3!0!0 1#)7= ,)77.*; ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! F 3!3 <*)&D8.8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! >

3!3! @#)('G$#H 2$*-#)6-8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! >

3!3!0 I)-./' ,'-=$+8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! E 3!> 2$*6&58.$* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! E

7 !389-3-"#,#)%" :

>! J5* .* K'-).& ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! F

>! ! @.#( C5.&+ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! F

>! !0 C5.&+.*; "0AA< ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0L

>! !3 J5**.*; <*)&D8'8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0

>!0 M*-'#7#'-)-.$* $N O)&5'8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0

>!3 ,'($#D ,$+'&.*; ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 00

>!> @#)('G$#H M*8-)*-.)-.$* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 00

>!>! 1#)7= A-)%.&.P'# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 00

>!>!0 2$*-':- A-#)-';.'8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 00

>!>!3 I)(' A6='()-) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0>

>!>!> A'()*-.68 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0>

>!>!? 2)&& J'7&)6'# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3L

>!>!B I)-./' ,'-=$+8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3

>!? 47-.(.P)-.$*8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3

>!?! I$Q$)+ ,'-=$+8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3

>!?!0 R)*+&.*; $N *5&& ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 30

>!B 47-.(.8-.6 <77#$:.()-.$*8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 30

>!S 2$*-#.%5-.$*8 -$ T=.#+U")#-D Q.%#)#.'8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 30

>!E Q.(.-)-.$*8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3>

>!E! 9:6'7-.$*8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3>

>!E!0 T=#')+8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3>

>!E!3 J'V'6-.$* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3>

>!E!> C$$&')* 47'#)-.$*8 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3>

>!F 2$*6&58.$* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3>

...

!"#$%#&'() *+

!" #$%&'() ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! *+

!"!" ,$-(.-/0$ #$%.12) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! *+

!"!3 4(($)) 5-6$%7 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! *+

!"!* 8-00 9&-:. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! *+

!3 5$%;: ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! *<

!* ,$);0%) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! *=

!*!" >&1?&-@ ,$:&$)$A%-%'1A 5'B$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! *=

!*!3 >$&61&@-A($ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! *C !*!* D'?. E$F$0 4A-07)$) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! GH !G 81A(0;)'1A ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! GH

+ ,()-$%.'() #)/ 0%&%12 3(14 55

+!" 5;@@-&7 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! GG +!3 81A(0;)'1A ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! GG +!* I;%;&$ J1&K ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! G +!*!" 4A-07)') ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! G +!*!3 L/M$(% NO;-0'%7 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! G +!*!* #$@1&7 >-&%'%'1A'A? ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! G +!*!G P7:'A? 4&&-7) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! G

627212)-2. 58

9 ::9 #)/ 0'1; 5<

= >.2/ ?'@1#1'2. A

Q!" E'/I'&@ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! H Q!3 ,$(12$& ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! H Q!* Q8NE ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! H Q!G 45# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! H Q! 9&-'0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! H

, ,()BC%1#&'() DE&'(). F

'F

!"# $% &!'()*"

!" #$%$ &'()*+ ,'-+ $.- /0)1 2)$345 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6 !7 8$33+- 97&&: 2)$345 ;)'1 /0<()+ !" ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6 ! =(0>- ;)$1+?')@ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! A !B C-+.D0;E0.< F+$*4$G>+ =>'*@5 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "H !I &&: 3)'<)$1 5D)(*D()+ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "B !J :.$>E505 /)$1+?')@ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "I !6 :.$>E505 F(. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "J B!" K$.<>0.< ,$5D ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7"

B!7 :.$>E505 ;)$1+?')@ 0.5D$.D0$D0'. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7 B! L$M ,'11'. &&:N<)$34 LGM &&:N<)$34 ?0D4 &3+*0$> O'-+ ⊓ ! ! ! ! ! 7P B!B F+$-NF+$- ,'.Q0*D ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7P B!I F+D(). RE3+5 '; O$D0%+ 8+D4'-5 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "

I!" O(>> 9'0.D+) ,4+*@ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! J

%

!"# $% &'()*"

!" #$%&' ()*+% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ""

!, ()*+% -). /)0*&1&)0$2 34+'51&)0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ", ! 671&)0$2 ()*+% -). 8.&9&1&:+ ;<7+% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ", != >$1'?&0@ 8$11+.0% &0 A&.9 B.$7?% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ", !C 6:+.:&+D )- 1?+ >$&0 /)0E@5.$1&)0 671&)0% ! ! ! ! ! ! ! ! ! ! ! ! ! ! "F

=!" ()*+% G01.)*5'+* H< 825@&0 I<%1+9 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! J

=!, 671&9&%1&' K77.)4&9$1&)0% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C!" ;<7+% -). L?&'? 1) M%+ $ /2$%% ($9+ I'?+9$ ! ! ! ! ! ! ! ! ! ! ! ! ! F C!, 3:$25$1&)0 I+157 N I+9$01&'% $0* /)01+41 I+0%&1&:&1< ! ! ! ! ! ! ! ! ! F C! #+0'?9$.O 8.)@.$9% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! P C!= 8.)@.$9 I&Q+% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! P C!C K0$2<%&% R+%521% N 8+.-).9$0'+ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! =J C!S K0$2<%&% R+%521% N /$22 B.$7? ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ="

C!F K0$2<%&% R+%521% N 61?+. >+1.&'% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! =, /!" 671&)0% -). /)0%1.5'1&0@ 8,IIK ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C"

/!, 671&)0% -). /)0E@5.&0@ 1?+ K0$2<%&% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C,

:&

!"#$%&'(#)%"

!"#$%&$! '#'()%"% * ' +!!, !-./-".0 "% +"-.# "# 12"#345 * "% ' %$'$"6 7/!+/'8 '#'(&

)%"% '"8"#+ '$ '#'()9"#+ $:. /.;./.#6. %$/<6$</. !; ,)#'8"6'(() '((!6'$., !=>.6$% '$

6!87"(.&$"8.? @$ 6!8.% "# 8'#) -'/"'#$% /'#+"#+ ;/!8 6!#$.A$& '#, B!0&"#%.#%"$"-.

'#'()%.%C 0:"6: '/. ;'%$ =<$ "87/.6"%.C $! 6!#$.A$& '#, B!0&%.#%"$"-. '#'()%.%C 0:"6:

'/. .A7!#.#$"'( "# $"8. =<$ -./) 7/.6"%.? D:. <($"8'$. +!'( "%C :!0.-./C $! E#, '#

'#'()%"% $:'$ "% %6'('=(. ;!/ ('/+. 7/!+/'8% '#, %<F6".#$() 7/.6"%. ;!/ ' 6(".#$ '7&

7("6'$"!#?

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

D:"% $:.%"% 7/!>.6$ .-'(<'$.% $0! 7!"#$%&$! '#'()%.% .A7./"8.#$'(() & =!$: '/. 6!#$.A$&

"#%.#%"$"-. '#, B!0&%.#%"$"-.? D:.) ,"G./ "# $:. 7/!+/'8 /.7/.%.#$'$"!# $:.) '/.

$!H !#. !7./'$.% !# !"#$%&$!&IIJC ' 7/!+/'8 /.7/.%.#$'$"!# "# I$'$"6 I"#+(. J%&

%"+#8.#$ KIIJL ;!/8 $:'$ '=%$/'6$% ;/!8 '(( =<$ 7!"#$./&/.('$., !7./'$"!#% '#, ,'$'&$)7.%? D:"% 8'M.% $:. 7/!+/'8 /.7/.%.#$'$"!# -./) 6!87'6$ '#,C :.#6.C 7/!&

+/'8 '#'()%"% ;'%$? 2!0.-./C "$ '(%! .A6(<,.% %!8. 7/!+/'8 %"87("E6'$"!#% %<6: '%C .?+?C ,.',&6!,. .("8"#'$"!#C $:'$ 8') =. .#'=(., ,<. $! "#$./8.,"'$. '#'()%"% /.&

%<($%? D:./.;!/.C ' %.6!#,C ).$ $! ,.-.(!7C 7/!+/'8 /.7/.%.#$'$"!# /.+'/,% N!!(.'#

!7./'$"!#% !# 7!"#$./% $:'$ '/. "#7<$ $! 6!#$/!( %$'$.8.#$%?

D:. !7.# /.%.'/6: O<.%$"!#% '/.H

• P:"6: -'/"'#$ "% 8!/. .F6".#$ "# $./8% !; .A.6<$"!# $"8.Q

• P:"6: -'/"'#$ "% 8!/. .G.6$"-. "# $./8% !; '#'()%"% 7/.6"%"!#Q

D:.%. O<.%$"!#% 6'##!$ =. ,.6",., $:.!/.$"6'(()? @#%$.',C .A7./"8.#$% !# ' %.$ !;

%$'#,'/, =.#6:8'/M% %:!<(, +"-. .-",.#6.C 0:"6: -'/"'#$ "% $! 7/.;./? P. ,.6",.,

$! .A.6<$. $:.%. .A7./"8.#$% !# R'-' 7/!+/'8% K'% 8!%$ /.6.#$ 0!/M "# $:. E.(, ,!.%L?

!0 1$)& 2#.-'#.)

J% $:. 7/"8'/) +!'(C $:. ;!((!0"#+ $'%M% #.., $! =. 7./;!/8.,H

• J ;/!#$&.#, ;!/ /.',"#+ R'-' %!</6. '#, =)$. 6!,.% #..,% $! =. 6!##.6$., $!

' ("=/'/) 6!#%$/<6$"#+ IIJ "#$./8.,"'$. /.7/.%.#$'$"!#%?

• S"($./"#+ S"/8 IIJ '#, 6!#%$/<6$"#+ $:. ,"G./.#$ -'/"'#$% !; !"#$%&$! IIJ?

J($:!<+: !"#$%&$! IIJ .A"%$%C /.,.%"+# %..8% $! =. '77/!7/"'$. %"#6. "$ 0'%

#!$ ,.%"+#., ;!/ /.<%. "# $:. E/%$ 7('6.?

• @87(.8.#$"#+ $:. 6!#$.A$&"#%.#%"$"-. '#, B!0&%.#%"$"-. !"#$%&$! '#'()%"% ='%.,

!# $:. $0! -'/"'#$% !; !"#$%&D! IIJ? D:. 6:'((.#+. "% $! "#$./(.'-. $:"% '#'(&

)%"% 0"$: ,.',&6!,. .("8"#'$"!# ;!/ !7$"8"9"#+ $:. !"#$%&D! IIJ -'/"'#$ 6!#&

$'"#"#+ N!!(.'# !7./'$"!#% !# 7!"#$./% '#, 6!#$/!( %$'$.8.#$%?

• T<##"#+ 6!87'/'$"-. 8.'%</.8.#$% !# $:. $0! -./%"!#% !; !"#$%&$! '#'()%"%?

P:"(. $:. 7./;!/8'#6. 8.'%</.8.#$% '/. /'$:./ %$/'"+:$;!/0'/,C $:. 8.'&

%</.8.#$% !; '66</'6) '/. ' 6:'((.#+. "# "$%.(;? U"G./.#$ 8.$/"6% '/. ,.E#.,

"# ("$./'$</. & $:.) '/. 8!$"-'$., =) ,"G./.#$ 6(".#$ '77("6'$"!#% & '#, !#. :'%

$! %.(.6$ ' /.7/.%.#$'$"-. %.$ !; '66</'6) 8.$/"6%?

4

! " !#$%&'"() *%"+, -.# /(%0#$- "12! "- /(%31'1&* "& #4/#(12#&-"+ 5("2#6%(7 5%( 2%(# #4/#(12#&-! %5 -.# !"2# 71&'8 9#&$#, -.# *%"+ $(1-#(1" "(# 2"1&-"1&":1+1-)

"&' (#;!":1+1-) %5 -.# !%5-6"(# -% '#3#+%/8 <;(-.#(, -.# "&"+)!1! 1! "12#' "- !%5-6"(#

$%2/(#.#&!1%& -%%+!8 !" #$%&'()

=# 61++ :#*1& -.1! -.#!1! 61-. "& %3#(31#6 %5 /(#31%;! 6%(7 '%&# 1& -.# >#+' %5 /%1&-!?

-% "&"+)!1! 1& @."/-#( A8 B& @."/-#( C, 6# 61++ -.#& /(#!#&- -6% 5("2#6%(7!D E&# 5%(

:;1+'1&* '1F#(#&- 3#(!1%&! %5 G%1&-!?-% HH , %;( 1&-#(2#'1"-# HH (#/(#!#&-"-1%&,

"&' %&# 5%( (;&&1&* "&"+)!#! %& G%1&-!?-% HH 8 =# 61++ /(#!#&- -.# ;!# %5 -.#!#

5("2#6%(7! 1& @."/-#( I8 B& @."/-#( J, 6# 61++ (;& :#&$.2"(7! -% $%2/"(# '1F#(#&- 3#(!1%&! %5 G%1&-!?-% HH 1& -#(2! %5 /(#$1!1%& "&' (;&-12#8 B& @."/-#( K, 6# 61++

!;22"(1L# -.# (#!;+-! %5 -.1! -.#!1! "&' !.%6 /%!!1:+# 5;(-.#( #4/#(12#&-! -."- $"&

:# $%&';$-#' 61-. .#+/ %5 %;( 5("2#6%(7!8

A

!"#"$ %& "'$ ()"

! "#$% &#'(")*+ ,) -$.) '! /.)*.$), /0 "#) %"'") /0 "#) '*" $! %"'"$& (*/-*'1 '!'23%$%+

,$"# ' 0/&4% /! "#/%) *)2'")5 "/ (/$!"%6"/ '!'23%$%7 8) 9)-$! ,$"# ' %411'*3 /0

&/!&)("%+ 0/22/,)5 93 &/!&*)") '((2$&'"$/!% /0 "#)%)7 !" #$%&'()*

!"!#$% '!'23%$% $! -)!)*'2 $% ' %"'"$& '!'23%$% ")&#!$:4) 0/* -'"#)*$!- $!0/*1'"$/!

'9/4" "#) (/%%$92) %)" /0 .'24)% '" .'*$/4% (*/-*'1 (/$!"% "#'" 1$-#" /&&4* '"

*4!"$1)7 ; &$'(")*"$ '!'23%$% $! ('*"$&42'* 0/&4%)% /! "#) '!'23%$% /0 /()*'"$/!%

"#'" (*/&)%% (/$!")*%7 "% -/'2 $% "/ &/1(4")+ 0/* )'&# (/$!")*6.'24)5 )<(*)%%$/! e '"

)'&# (/$!" $! ' (*/-*'1+ "#) +$'(")*"$ )," pt(e) /0 (/%%$92) /9=)&"% $" 1'3 *)0)* "/7

>/* %$1(2$&$"3+ ,) *)0)* "/ '! )<(*)%%$/! e '!5 $"% (/$!"%6"/ %)" pt(e) $!")*&#'!-)'923

$! "#$% "#)%$%7 ! ?'.'+ ,#$&# ,) '!'23@) $! "#$% "#)%$%+ (/$!")*% 5/ !/" )<$%"%+ 94"

*)0)*)!&)%7 8) ,$22 %"$22 4%) "#) ")*1 (/$!"%6"/6'!'23%$% $!%")'5 /0 *)0)*)!&)%6'!'23%$%+

'% "#$% $% "#) &/11/! !/1)!&2'"4*) $! 2$")*'"4*)7

; 5'"'A/, '!'23%$% !))5% "/ !++-$.'/!", $"% '!'23%$% *)%42"%B '! )<'&" '!'23%$% $%

$! -)!)*'2 !/" (/%%$92)+ '% !00 (/%%$92) )<)&4"$/! ('"#% /0 ' -$.)! (*/-*'1 ,/425 !))5

"/ 9) '!'23@)57 C4&# '! '((*/<$1'"$/! $% )$"#)* $+"'/')"'1 /* +,))'/')"'1+ 3$)25$!- )$"#)* )"-$(2,- /* %,!3,- &/!&24%$/!% "#'! "#) )<'&" %"'")1)!"+ *)%()&"$.)237 >/*

' (/$!"%6"/ '!'23%$%+ "#$% 1)'!% )$"#)* '! 4!5)*6 /* /.)*)%"$1'"$/! /0 "#) /9"'$!)5 (/$!"%6"/ %)"%7 8) ,$22 *)0)* "/ ()%%$1$%"$& '((*/<$1'"$/!% '% 1$(),-4!"'4,7

; (*/-*'1 '!'23%$% !))5% "/ '9%"*'&" 0*/1 "#) .'24)% ,#$&# )<(*)%%$/!% 1'3 "'D) 54*$!- ' *)'2 '((2$&'"$/! *4! $! %/1) ,'37 E#) '9%"*'&" .'24)% '*) &#/%)! %4&# "#'"

"#)3 0/*1 ' 4!05, 0!""'1, (V, ⊑, ⊔, ⊓, ⊥, ⊤) FGGHIIJ7 H)*)+ (V, ⊑) '*) ' ('*"$'223 /*5)*)5 %)"+ ⊓ '!5 ⊔ &/1(4") "#) $!K141 '!5 %4(*)141+ *)%()&"$.)237 ⊤ '!5

⊥ '*) "#) 2'*-)%" '!5 %1'22)%" )2)1)!"% $! V L⊤ *)(*)%)!"% !00 '9%"*'&" .'24)%+ ⊥ ($(,M7

N$")*'"4*) #'% (*/(/%)5 %).)*'2 (!/, )16,/!"! "/ %)2)&" "#) )2)1)!"% 0/* %4&# ' 2'""$&)7 E#) %$1(2) 10!)) (!/, )16,/! '9%"*'&"% '22 /9=)&"% "/ "#)$* "3()7 ; 1/*) K!) -*'$!)5+ 3)" )'%3 "/ $1(2)1)!" '!5 #'!52) !'1) %&#)1' $5)!"$K)% )'&# '9%"*'&"

/9=)&" ,$"# $"% %3!"'&"$&'2 '22/&'"$/! %$") FE*'OPJ7 E#) '((*/'&# /0 FQRROSJ &'! ).)!

5$%"$!-4$%# 142"$(2) '9%"*'&" /9=)&"% /0 /!) '22/&'"$/! %$") 93 "'D$!- 1$(",.") $!"/

&/!%$5)*'"$/!+ %)) 9)2/,7 E#)*) $% !/ 2$1$" "/ "#) -*'!42'*$"3 /0 ' !'1) %&#)1'+ '%

2/!- '% ' &/!&*)") *4!"$1) /9=)&" &'!!/" 9) -$.)! 142"$(2) !'1)%+ $7)7+ ,#)! ' !'1) n ∈ N $% ' &2'%%$K&'"$/! /0 /!) /* 1/*) *4! "$1) /9=)&"% o(n)+ "#)! "#) 0/22/,$!- 14%" #/25T ∀n¹, n2 ∈ N : n1 6= n2 ⇒ o(n1) ∩ o(n2) = ∅7

; %$1(2) ,'3 "/ ()*0/*1 5'"'A/, '!'23%$% /0 (*/-*'1% $% "/ %)" 4( 5'"'A/, ):4'"$/!% '!5 %/2.) "#)1 93 *)()'")523 &'2&42'"$!- "#)1 4!"$2 "#) %3%")1 %"'9$2$@)%+

$7)7+ $" *)'&#)% ' K<(/$!"7 E/ -4'*'!")) ")*1$!'"$/!+ "#) "*'!%0)* 04!&"$/!% /0 "#) 5'"'A/, ):4'"$/!% '*) *):4$*)5 "/ 9) /$($"$(,+ $7)7+ 0/* ' 04!&"$/! f '!5 ",/ $!(4"

.'24)% x, y : x ⊑ y ⇒ f(x) ⊑ f(y)7

0 '!'23%$% *)%42"% &'! 9) /.)*,*$"")! 93 %49%):4)!" '!'23%$% *)%42"%+ ,) %()'D /0 )"-$(2 5+7!",) $! &/!"*'%" "/ %,!3 5+7!",)+ ,#)*) "#$% $% !/" (/%%$92)7

;! $1(/*"'!" 5)&$%$/! "#'" 'U)&"% "#) (*)&$%$/! L'!5 &/%"M /0 ' (/$!"%6"/ '!'23%$%

$% ,#)"#)* $" $% #$%*),()'"'4, /* *'(),()'"'4,7 >2/,6%)!%$"$.$"3 5)K!)% ,#)"#)* /* !/"

'! '!'23%$% "'D)% "#) /*5)* /0 )<)&4"$/! /0 /()*'"$/!% $!"/ &/!%$5)*'"$/!7 ; A/,6

$!%)!%$"$.) '!'23%$%+ 0/* )<'1(2)+ ,$22 5)&$5) "#'" '0")* )<)&4"$/! /0 3VPB <V3B 3VSB+

"#) .'*$'92) x ,$22 #'.) ' .'24) /0 )$"#)* 1 /* 2+ ,#$2) ' A/,6%)!%$"$.) '!'23%$%

,$22 &/1(4") "#) (*)&$%) *)%42"7 >2/,6%)!%$"$.) '!'23%)% '*) /9.$/4%23 1/*) (*)&$%) W

!"# $%&'(#)*#)( (+* "#",-)*). !%&*+*/. !*- "/* ",)% 0%/* 1%) ,-2 3 4%))(5(,( - % (# /%671* ,%1", $%&')*#)( (+( - () 5- 7)(#8 !"!#$ #%&'( )**#&%+(%! 91:2 "44*#6(;

3< :%/0 =>?@⁺ABC. (# )!%/ DD3. :%/ (# */0*6(" * 4/%8/"0 /*4/*)*# " (%# =EEBAC2 3# %4*/" (%# op %# " )-# "1 (1", ,%1" (%# s (# " 4/%8/"0 0"- 5* /*"1!*6 !/%78!

07, (4,* 4/*6*1*))%/ ) " *0*# ). !*/*:%/* "# "#",-)() 0"- 6() (#87()! 6() (#1 *;'

*17 (%# 4" !) (# %/6*/ % (04/%+* 4/*1()(%#2 F!() 1"# *( !*/ 5* 6%#* %# "# #%!,"- .,/$(01,"' ,*+*,. (# &!(1! 1")* &* )4*"G %: ."!2-*(%*#!#3#!4. %/ %# "# #%!(,-.,/$(01,"' ,*+*,. (# &!(1! 1")* &* )4*"G %: $/%!(5!-*(%*#!#3#!42 H% * !" " 4" !')*#)( (+*

6" "$%& "#",-)() () #*1*))"/(,- $%&')*#)( (+*2 3# *;"04,* :%/ " 4" !')*#)( (+* (0' 4,*0*# " (%# *1!#(I7* "/* χ' */0) =F/"JKC2

E%&*+*/. /*1*# &%/G) !"+* :%17)*6 %# (# */'4/%1*67/", 1%# *; ')*#)( (+( -2 F%

6() (#87()! 1%# *; ). +(/ 7", 1%4(*) %: 0* !%6). 1",,*6 $/%!/1,). "/* 1/*" *62 L"1!

1%# %7/ %5 "(#) ( ) %&# )* %: +"/("5,*)2 F!* I7*) (%# () !%& )71! 1%# %7/) ' "#6.

*)4*1(",,-. (# &!" #705*/ ' "/* % 5* 1/*" *6 :%/ " 8(+*# 0* !%62 F!*/* "/* &%

0"M%/ "44/%"1!*)N !* O/) () !* $"''-*!,#%& "44/%"1!. &!*/* 0* !%6 1%# *; ) "/*

6() (#87()!*6 5- !* )-# "1 (1", ,%1" (%# )( *) !*- "/* 1",,*6 :/%0N 7)7",,- !* 1",,' ) "1G %: 6*4 ! k () "G*# (# % 1%#)(6*/" (%# =HHEBBC2 F!* % !*/ () !* 61%$!#/%"'

"44/%"1!. &!*/* 1%# %7/) "/* 6() (#87()!*6 5- )%0* 0*"#) %: !* "1 7", "/870*# ) 4"))*6 % !* 0* !%62

! "#$%&$'( )**+,-./0%

3 8/%74 %: )(0(,"/ "44/%"1!*) !" &%/G %# 1,")) ,*+*, "/* 7("$2"8#'#!4 )%"'4*#*.

9'"** :#(,",$24 )%"'4*#*. 7".#0 ;4.( )%"'4*#*. "#6 (.","!(0 ;4.( )%"'4*#*2 3 )(04,* $%&' "#6 1%# *; '(#)*#)( (+* ",8%/( !0 :%/ 1",17," (#8 !* )* %: /*"1!'

"5,* 0* !%6) () 7("$2"8#'#!4 )%"'4*#*2 F!* )* R %: /*"1!"5,* 0* !%6) () (#( (",(P*6

&( ! !* 4/%8/"0Q) +"#%'0* !%62 R( ! M.m ∈ R "#6 e.n " 0* !%6 (#+%1" (%# (#

M.m. ( :%,,%&) !" ∀N ∈ P rogram : N.n ∈ R ∧ (M.m, N.n) () " 4%))(5,* 1",, /*," (%# &( !(# !* 4/%8/"02

S: 1%7/)*. ( () ",)% 4%))(5,* % "66( (%#",,- 1%047 * !* )* %: /*"1!"5,* O*,6)2 D(#1* O*,6) 1"# #*( !*/ /*:*/*#1* % !*/ 0*05*/). #%/ "/* !*- 4%,-0%/4!(1 (# ",0%)

"#- /*,*+"# 4/%8/"00(#8 ,"#87"8*. &* %0( !* 6()17))(%# !*/*2 ?%/ !* :%,,%&(#8

",8%/( !0). O*,6) 1"# 5* )**# ") " 4"(/ &(!<#('0=> "#6 *(!<#('0=>2

3 /*O#*0*# %: @*"1!"5(,( - 3#",-)() () 9'"** :#(,",$24 )%"'4*#* 9>E3<. &!(1!

&") (# /%671*6 (# =T*"BUC2 V "G*) (# % "11%7# !* 1,")) !(*/"/1!-W X4%# " 0*05*/

"11*)). %#,- !* 0*05*/) %: 1,"))*) !" "/* )751,"))*) %: !* *;"1 ,- /*:*/*#1*6 %#*

"/* 0"/G*6 ") /*"1!"5,*2

3 :7/ !*/ /*O#*0*# %: >E3 () 7".#0 ;4.( )%"'4*#* 9@F3<2 366( (%#",,- % !*

)* %: /*"1!"5,* 0* !%6). ( ",)% 0"(# "(#) " )* %: (#) "# (" *6 1,"))*)2 V: #%& "

1,")) A 6*O#*) " 0* !%6 m. "#6 1,")) B () " )751,")) %: A "#6 %+*//(6*) m. !*#.

&!*# A.m () (#+%G*6. A.m () "66*6 % )* %: /*"1!"5,* 0* !%6) 9"#6 !* &%/G,() <

%#,- (: !* ",8%/( !0 !") )**# "# ",,%1" (%# ) " *0*# :%/ !() 1,")) A 5*:%/*2 3# *; *#)(%# % !() "44/%"1! () 1",,*6 (.","!(0 ;4.( )%"'4*#* 9YF3<2 V#) *"6

%: 0"(# "(#(#8 " 8,%5", )* %: -4*) !" !"+* 5**# ",,%1" *6. ( () /*1%/6*6 4*/

0* !%6 &!(1! -4*) 1"# /*"1! *"1! 0* !%62

3# "44/%"1! !" &%/G) &( ! " 0%/* 8/"#7,"/ #"0* )1!*0" "#6 !" () 1%# *; ' )*#)( (+*. 57 ) (,, $%&'(#)*#)( (+*. () 4/*)*# *6 (# =Z@@J[C2 F!* 1%# *; ')*#)( (+( -

!*/* () 1",,*6 ?8@($!-*(%*#!#3#!4. &!*/* 1%# *; ) "/* 6() (#87()!*6 5- !* 9G'1",, ) "1G

%:< /*1*(+*/'%5M*1 ) %: " 0* !%6 (#+%1" (%#N !7). ( () " :7#1 (%#", 1%# *; )*#)( (+' ( -2 3 1%00%# (04,*0*# " (%# () K'%5M*1 ')*#)( (+( -. &!(1! *\*1 (+*,- 1/*" *) %#*

]

!"#!$% &!% '( ) (obj, method)*+(,%-

. /%!$+ !& 0!1*2'"2,#,3' (4/!%,#)52 (%' !"#$%&#' ('#) *$+',-.- 67*89.: ;<),==>?-

@*89. ,2 (" ,"#'%+%! 'A$%(4 0!1*2'"2,#,3': B$# !"#'C#*,"2'"2,#,3' ("(4D,2- 9!%

k > 0: !"#'C#2 (%' A'#'%5,"'A BD #)' 4(2# k 2D"#( #, (4 (44 2,#'2- . 7*89. ("(4D2,2 1,#) ( %'E"'A "(5' 2 )'5( ,2 +%( #, (44D ( +!,"#2*#! ("(4D2,2 ," !$% 2'"2'-

. 0!1* ("A !"#'C#*2'"2,#,3' (++%!( ) #)(# 1!%72 !" <<. /%(+)2 ,2 +%'2'"#'A ," ;FF@G>- H'2,A'2 4! (4 0!1*2'"2,#,3,#D: ,# (42! ( ),'3'2 ( '%#(," (5!$"# !& ,"#'%*

+%! 'A$%(4 0!1*2'"2,#,3,#D #)%!$/) /012'+%.3 45.62%0#$: 1)'%' (" ( #$(4 +%!/%(5

%$" ,2 2,5$4(#'A- I)' !"#'C#*2'"2,#,3,#D $2'A )'%' ,2 ( 3(%,(#,!" !& !BJ' #*2'"2,#,3,#D:

(44'A %70-!-.$-0%080%,- K# $2'2 #)' 2'# !& #)' %' ',3'% !BJ' #2 #! A,2#,"/$,2) !"#'C#2 ,"2#'(A !& %'(#,"/ ( !"#!$% &!% '( ) 2,"/4' !BJ' #-

. 2,5,4(% (++%!( ) &!% ( ),'3,"/ 4! (4 ("A ,"#'%*+%! 'A$%(4 0!1*2'"2,#,3,#D ,2 $2'A ," ;F,'@G>- L'%': !"#'C#2 (%' A,2#,"/$,2)'A BD #)',% 92'' ( D 4, (44 2#%,"/- I),2 D,'4A2 (" 'C#%'5'4D E"'*/%(,"'A A,2#," #,!": %'2$4#,"/ ," 3'%D +%' ,2' ("(4D2,2 %'2$4#2:

B$# B',"/ 3'%D !2#4D ," #'%52 !& #,5' ("A 5'5!%D- !" #$%&'()*$%

M("D (++%!( )'2 A,N'%,"/ ,": '-/-: !"#'C#*2'"2,#,3,#D: 0!1*2'"2,#,3,#D: ("A !BJ' # (B2#%( #,!" 4'3'4: 'C,2#- I)'D +%!3,A' A,N'%'"# /%("$4(%,#D !& +%' ,2,!": B',"/ A,N'%*

'"#4D !2#4D ," #'%52 !& #,5' ("A 5'5!%D- I)$2: #%(A'!N2 ," B'#1''" B!#) 5$2# B' 5(A': A'+'"A,"/ !" (%'( !& (++4, (#,!"- . /'"'%(4 (++%!( ) 1), ) ,2 2$,#(B4' &!%

+'' (++4, (#,!" (%'(2 ,2 $"7"!1"-

O

!"#$%&'"(

! "#$% "#&%$%' (& )*&%&!" "(+ ,*-.&(+*/%0 1 ,*-.&(+*/ ,+* 23$45$!6 7+$!"%89+

::1 ;+*' $! %#+*"' 7<::1=' -!5 -! -!-4>%$% ,*-.&(+*/' (#$?# .-$!4> ?+!%$%"% +,

$!"&*,-?&% -!5 "#&$* $!"&*-?"$+! ?+!"*-?"%@ A3* -!-4>%$% ,*-.&(+*/ $% $!%"-!"$-"&5 ($"# "#$% ::1 *&)*&%&!"-"$+!' %+ -! $!%"-!"$-"$+! +, $" ($44 $! )*$!?$)4& 2& -! $!"*-8 )*+?&53*-44> B+(8%&!%$"$C& -!-4>%$%@ D+(&C&*' !+ -%%3.)"$+!% -*& .-5& +! %$5&

+, "#& ,*-.&(+*/ +! $.)4&.&!"-"$+! "&?#!$E3&%@ F#&*& (& "#$!/ $" $% #&4),34 ,+*

3!5&*%"-!5$!6' ($44 (& 6$C& *&,&*&!?&% "+ ?+!?*&"& "&?#!$E3&% 5&%?*$2&5 $! G#-)"&* <@

F& !+( 6$C& - %#+*" H3%"$I?-"$+! (#> (& )*+C$5& -! +(! ::1 *&)*&%&!"-"$+!' -!5 5+ !+" *&3%& J$*. +* "#& &K$%"$!6 7+$!"%8"+ ::1 $.)4&.&!"-"$+!@ F& ($44 "#&!

5&%?*$2& "#& "(+ ,*-.&(+*/%@ J+44+($!6 "#& !-"3*-4 +*5&*' (& ($44 %"-*" ($"# +3*

23$45$!6 ,*-.&(+*/' ,+44+(&5 2> "#& -!-4>%$% ,*-.&(+*/@

!" #$%& '(! )*++,

-./ 01 231 ++, %45%4(41606$217 F$"# J$*.' - ,344 )*+6*-. *&)*&%&!"-"$+! $!

L&.+*> ::1 ,+*. M9*-NOP &K$%"%' %+ "#& E3&%"$+! )+)% 3) (#> (& 5+ !+" *3! +3*

-!-4>%$% +! J$*. 5$*&?"4>@ J$*. $% 5&%$6!&5 ,+* +)"$.$Q$!6 "*-!%,+*.-"$+!%' (#$?#

*&E3$*&% - B&K$24& 6*-)# %"*3?"3*&' -% (&44 -% ?+5& 6&!&*-"$+!' (#$?# *&E3$*&% "#&

"*-!%4-"$+! +, %>.2+4$? *&,&*&!?&% $!"+ .-?#$!& -55*&%%&% R &@6@' .+!+.+*)#$? ?-44%

-*& "*-!%4-"&5 $!"+ - .&.+*> -55*&%%' (#$4& )+4>.+*)#$? ?-44% -*& "*-!%4-"&5 $!"+ - !"#$% 4++/3)@ J+* "#$%' J$*. *&E3$*&% .34"$)4& ;-" 4&-%" "(+= !+5&% ,+* - .&"#+5

?-44' ?,@ J$63*& S@O@ J+* +3* .&-!%' +!& !+5& ,+* - ?-44 $% %3T?$&!" -!5 *&53?&%

.&.+*> ?+!%3.)"$+! -!5 +)&*-"$!6 "$.&@ J3*"#&*' (& 5+ !+" !&?&%%-*$4> *&4> +!

J$*. 8 $" $% H3%" +!& )+%%$24& ,*+!"&!5@

J$63*& S@O %#+(% - %$.)4& U-C- .&"#+5 -!5 "#& ?+**&%)+!5$!6 J$*. 6*-)#@ J$63*&

S@< %#+(% "(+ )+%%$24& (->% "+ .-) $" "+ 7<::10 V+"# ($"# &K?&)"$+! .-))$!6 5$%-24&5' -!5 +!?& &-?# ($"# -!5 ($"#+3" 2-%$? 24+?/ %"*3?"3*& .-))&5@

J$*. 3%&% &'() 8!+5&% "+ &K"*-?" ?&*"-$! C-43&% ;&@6@' .&.+*> %"-"& +* .&"#+5 )-*-.&"&*%= ,*+. "#& *&%34"8"3)4& +, - !+5&@ F#$4& "#$% -44+(% ,+* 6*&-" B&K$2$4$">

,+* "*-!%,+*.-"$+!%' $" -4%+ 6*&-"4> $!?*&-%&% "#& !3.2&* +, !+5&% *&E3$*&5@ 7<::1 3%&% &('!* $!%"&-5' (#$?# -*& %"*$?"4> -""-?#&5 "+ "#&$* 5&I!$!6 +)&*-"$+!%@ W+"&

"#-" %+.& )+*"% .-> !+" 2& 3%&5@ ! J$63*& S@<' "#$% $%' &@6@' "#& ?-%& ,+* "#& $.)4$?$"

!+,*8-*63.&!" +, "#& -!"'!8!+5&@

F& #-C& ,3*"#&* 5&?$5&5 "+ *&5&%$6! 7+$!"%8"+ ::1' -% $" (-% !&C&* $!"&!5&5 ,+*

*&3%& +* B&K$2$4$">' %+ "#-" $" ?-!!+" )*+C$5& "#& B&K$2$4$"> (& ($44 !&&5 -% 5&%?*$2&5

$! "#& !&K" %&?"$+!%@

!* 89$:;$1<

A3* 23$45$!6 ,*-.&(+*/ -44+(% ,+* ?+!%"*3?"$+! +, 7<::1 ,*+. -! -*2$"*-*$4> ?#+%&!

,*+!"&!5@ F& ($44 #+(&C&* ,+?3% +! .-))$!6 )*+6*-.% $! "#& L&.+*>8::1 2-%&5 J$*. *&)*&%&!"-"$+! "+ +3* L&.+*>8::1 2-%&5' %)-*%& 7<::1 *&)*&%&!"-"$+!@

9#& ,*-.&(+*/ *&E3$*&% - J$*. )*+6*-. -% $!)3"@ F& ($44 5&%?*$2&' $! :&?"$+!

X@O' "#& %"&)% "-/&! "+ +2"-$! %3?# - )*+6*-. ,*+. 6$C&! U-C- %+3*?&8 -!5 2>"&?+5&@

9-/&! ,+* 6*-!"&5 "#-" "#& J$*. )*+6*-. $% -" #-!5' "#& I*%" %"&)% -*& .-))$!6

&!"$"$&%' $@&@' ?4-%%&%' .&"#+5%' -!5 I&45%' "+ +3* +(! )*+6*-. %"*3?"3*&' -!5 "#&!

.-))$!6 &-?# J$*. 6*-)# "+ - ?+**&%)+!5$!6 7<::1 6*-)#@ 9#&%& .-))$!6% -*&

5&%?*$2&5 $! :&?"$+!% S@<@O -!5 S@<@<@

J$63*& S@< %#+(% "#& ?+.)+!&!"% $!C+4C&5 $! "#& .-))$!6 ,*+. J$*. "+ 7<::1@

9#& )-?/-6& .'"/%0('1 5&I!&% "(+ $!"&*,-?&%0 23,$456!,!,%*' (#$?# 5&I!&% -! -28 Y

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

!"# $ ' 0 ! ' ! " # $ % ( . 1 2

Start

Proj (mem)

Proj ($1) Proj (exe)

Call

EntitySelect (java.lang.Object.toString)

Proj (val) Proj (mem) Const ("exe_obj")

Load

Proj (mem) ExcJmp

Jump

ExcReturn Return

End

3#%4", 5067 89:9 '4"-, ;'<, 9$< 3#"= >"9?@A

Jump Call toString() Start

Return

End

Start

Call toString()

Return

End

3#%4", 50B7 C9??,< DB E >"9?@A &"'= 3#%4", 506

F

!"#$! %#$!&"' %&" $&( !")$!*(+ ,-../ 0(!*!*0 1 #(2 !"#$%&'()1 34*$4 205(0 !40 60!4&2 "07)*"02 %&" 6#88*(+ !& ,-../ +"#84 9 :40 8#$;#+0 *&'+,-.&/01&+*&.23,2$

$&(!#*( &)" 5"6 %"&(!0(21 34*$4 * 20 $"*<02 *( !40 (0=! !3& 0$!*&( 9 :40 8#$;#+0 4!"#$ #(2 (#!5"2 #"0 20 $"*<02 *( .0$!*&( >9?9-9

@*+)"0 A9AB C)*D2 %"#603&";

!"!# $%&'&( )*++'%,

E(!*!' 6#88*(+ * # !"#*+4!F%&"3#"2 8"&$0 1 *($0 *! 6#*(D' *($D)20 # &(0F!&F&(0 6#88*(+9 :40 @*"6 8"&+"#6 !")$!)"0 * 6#8802 !& !40 8"&+"#6 !")$!)"0 &% &)"

!#"+0! "08"0 0(!#!*&( !4"&)+4 !40 *(!0"%#$0 !"#$623"3",7 20 $"*<02 *( @*+)"0 A9-9 G&30H0"1 *($0 !40"0 #"0 (#!)"#DD' (&! 6#(' H#"*#!*&( 8&*(! 1 !40 !#"+0! "08"0 0(F

!#!*&( 3*DD 6& ! D*;0D' D&&; D*;0 !40 &(0 4&3( *( @*+)"0 A9I1 $%9 (0=! 0$!*&(9 .&60 !'80 6#' (&! <0 20 *"02 *( !40 !#"+0! ,-../ "08"0 0(!#!*&( #(2 3*DD (&!

<0 6#88029 :4* * 20!0"6*(02 <' !40 %&DD&3*(+ #D+&"*!46B -.%/&'0% !"#$$%&J!'80K

'- make primitive types &12%

32&.3% true 2%4 '-

51'62 type.isArray 40 type = type.baseT ype 2%4 51'62

'- type.isClass &12%

32&.3% true

2672 '- type.isP rimitiveBoolean ∧ make conditional execution &12%

32&.3% true 267232&.3% false 2%4 '-

2%4 -.%/&'0%

:4) 1 #DD !'80 #"0 6#8802 *% #(2 &(D' *% !40 &8!*&( +'( (&"+"3"8, 39(,7 * 0!9 L! * #D & 8& *<D0 !& 8"&H*20 0H0"#D *( !#($0 &% !"#$623"39:23,&*';,9 :4* 0(F

#<D0 !& 8"&H*20 8D)+*( 1 09+91 *! 6#' <0 ) 0%)D !& 6#8 # 0! &% $D# 0 %"&6 !40 M#H#

N

!""#$%&!' ()*+#,!)- %! * .&'/"# %*)/#% $"*..0 1!/#%2#) ,&%2 %2# 3!..&4&"&%5 %! 6.#

+#%2!7 2*'7"#). ,)&%%#' &' 8*9* :$;0 <#$%&!' =0=0>? &'.%#*7 !; @><<A /)*32.B %2&.

*""!,. ;!) 3#);!)+*'$# &+3)!9#+#'%. !; %2&. ;!) +*'5 *33"&$*%&!' $)6$&*" ;)*+#,!)-0 C';!)+*%&!' ;)!+ %2# (&)+ 3)!/)*+ !' ,2&$2 +#%2!7 &. %2# 3)!/)*+ #'%)5 +#%2!7 D &0#0B %2# 3)!/)*+E. +*&'D+#%2!7 D *'7 ,2&$2 .5.%#+ &'&%&*"&F*%&!' $*"".

+6.% 4# +*7# 4#;!)# &'&%&*"&F*%&!' D ;!) 8*9*B %2&. &. %2# +#%2!7 !"#$%&'('#')*'+$ !"#$%,*)"" D &. *".! !4%*&'#7 ;)!+ %2# ;)!'%#'70 !"!" #$%&' (%&&)*+

12# 4*.&$ &7#* !; %2# /)*32 +*33&'/ *"/!)&%2+ &. .%)*&/2%D;!),*)7G (&).%B +*33&'/

%2# (&)+ '!7#.B &0#0B %2# !3#)*%&!'.B %! @><<A '!7#.B *'7 %2#' *..&/'&'/ %2# $!'%)!"D

*'7 7*%*H!, #7/#.0 12&. $!+#. $"!.# %! * !'#D%!D!'# +*33&'/0 I!,#9#)B .!+#

;#*%6)#. "&-# 3)&+&%&9# %53#. !) #J$#3%&!' 2*'7"&'/ +*5 '!% 4# 7#.&)#7 45 %2# %*)/#%

@><<A )#3)#.#'%*%&!'B .! ,# '##7 %! %*-# .!+# #J%)* $*)#0

A. * K).% .%#3B ,# 7! * $!*).# /)*&'#7 *33)!J&+*%&!' !; )#76$&'/ %2# $!7# ,#

+*3 %! @><<A 45 &7#'%&;5&'/ * (&)+ .64/)*32 ,2&$2 &. .6L$&#'% %! %*-# &'%! $!'D .&7#)*%&!'0 M#J% ,# ,&"" 3#);!)+ %2# '!7# +*33&'/ ;)!+ (&)+ %! @><<A0 C' * %2&)7 .%#3B ,# *77 %2# $!'%)!" *'7 7*%*H!, #7/#.0 N# ,&"" '!, %*-# * $"!.#) "!!- *% %2#.#

%2)## 3*..#.0

,%-- ./ 012*3)45%3)6* 67 822121 9:65;-

N# 3#);!)+ %2&. .%#3 %! *9!&7 )#+!9&'/ 6')#*$2*4"# '!7#. *'7 %2#&) *..!$&*%#7

#7/#. ;)!+ %2# @><<A /)*32 "*%#) !'0

N# &7#'%&;5 '#$#..*)5 4"!$-. &' %,! .%#3.G :O? &7#'%&;5&'/ 4*.&$ 4"!$-. ,2&$2 $*' 4# )#*$2#7 %2)!6/2 '!'D#J$#3%&!' )#"*%#7 $!'%)!" H!,B *'7 :>? &7#'%&;5&'/ 4*.&$

4"!$-. ,2&$2 $!'%*&' *% "#*.% !'# .#+*'%&$*""5 )#"#9*'% !3#)*%&!'0 -'(.'(/ 0$)12)3*$ 3)"'1 3*415"

12&. .%#3 &. 3#);!)+#7 !'"5 &; #J$#3%&!' 2*'7"&'/ $!'.%)6$%. .2*"" '!% 4# +*33#70 12# &7#* ;!) K'7&'/ '!'D#J$#3%&!' )#"*%#7 4"!$-. &. %! &7#'%&;5 *"" 3!..&4"# 3*%2. ;)!+

%2# .%*)% 4"!$- %! %2# #'7 4"!$-B %*-&'/ !'"5 '!'D#J$#3%&!' #7/#.0 P*.&$ 4"!$-. !' .6$2 3*%2. *)# )#"#9*'%0 (&/6)# =0Q 7#.$)&4#. %2# /#'#)*" &7#* !; %2# 6.#7 *"/!)&%2+0

-'(.'(/ 3)"'1 3*415" 14(#)'('(/ 0$*$6)(# (4.$"

N# '*))!, %2# .#% !; )#"#9*'% 4*.&$ 4"!$-. )#$#&9#7 ;)!+ %2# 3)#9&!6. .%#3 ;6)%2#) 45 &7#'%&;5&'/ %2!.# %2*% *)# $%7#!0 A 4*.&$ 4"!$- &. #+3%5 &; &% 7!#. '!% $!'%*&'

*'5 '!7# ,# ,&"" *%%#+3% %! +*3 %! !6) %*)/#% )#3)#.#'%*%&!'B ,2&$2 7#3#'7. !'

$!'K/6)*%&!' !3%&!'. *'7 ,&"" 4# 7&.$6..#7 &' %2# '#J% .#$%&!'0 12&. &. R6.% *'

*33)!J&+*%&!'G A. ,# ,&"" .##B '!% *"" '!7#. %2*% 1)( 4# +*33#7 8'** *".! 4#

+*33#70 I#'$#B #+3%5 4"!$-. +*5 4# 3)#.#'% &' %2# +*33#7 <<A /)*320 ,%-- "/ 8612 (%&&)*+

S'$# ,# &7#'%&K#7 %2# 4*.&$ 4"!$-. %2*% '##7 %! 4# $!'.&7#)#7B '!7# +*%$2&'/ &.

4*.&$*""5 * .%)*&/2%D;!),*)7 3)!$#..G N# +*3 (&)+ '!7#. %! $!))#.3!'7&'/ '!7#.

!; !6) &'%#)+#7&*%# )#3)#.#'%*%&!'B *'7 3!..&4"5 $!""#$% &';!)+*%&!' ;)!+ !3#)*'7

#7/#.0

N# *".! +*)- )#"#9*'% (&)+ '!7#. ;!) ,2&$2 ,# 7! '!% 46&"7 * '!7# &' !6) %*)/#%

)#3)#.#'%*%&!'0 N# ,&"" '##7 %2&. ;!) #7/# +*33&'/B $;0 <#$%&!' =0>0>0 T

!"#$%&" !"#$%"&'()*+!%",-%(./ start, end!

U ← ∅ ⊲ "#$ %& '()#*+,*-.# -.%+/"

R ← start ⊲ 0(0$0*.01# "#$ %& )#*+,*-.# -.%+/" 20$, "$*)$ -.%+/

W ← end ⊲ 0(0$0*.01# 2%)/ .0"$ 20$, #(3 -.%+/

'(%)* W 6= ∅ +&

c ← W.peek ⊲+ 0" +'))#($ 2%)/ -.%+/4

isBad ← true ⊲5%%.#*( ,#.6#) 7*)0*-.#4

&, -)) e ∈ c.NonExceptionInEdges +&

i ← e.sourceBlock

% i ∈ R $(*" ⊲ "%')+# -.%+/ )#*+,*-.#8

R ← R ∪ c ⊲ 933 + $% )#*+,*-.# -.%+/":

W ← W \c ⊲ *(3 )#;%7# &)%; 2%)/.0"$4

isBad ← f alse

*).* % i /∈ U $(*"

W ← W ∪ i ⊲ 933 $% 2%)/.0"$4 <,0" -.%+/444

isBad ← f alse ⊲ 444+%'.3 -# * 7*.03 6)#3#+#""%) %& +

*"+ %

*"+ &,

% 0"5*3 $(*"

U ← U ∪ c ⊲=*)/ *" '()#*+,*-.#:

W ← W \c ⊲ *(3 )#;%7# &)%; 2%)/ .0"$

*"+ %

*"+ '(%)*

,*$!," R

*"+ !"#$%&"

>0?')# @4AB C3#($0&D0(? E#*+,*-.# 5.%+/"

FG

!"#$ %&' #()*) *+$ ,-.$) /+(0+ 12)* !#/!3) "$ )244-5*$. "3 *+$ "!06$,.& 7(*+

*+$)$ ,-.$) 1!44$.8 (* () 92!5!,*$$. *+!* -4$5!,.) -: *34$ 5$:$5$,0$ ;!#2$ !,.

1$1-53 )*!*$ !5$ !#/!3) !;!(#!"#$8 )$$ ,$<* )$0*(-,& = "!)$#(,$ 4-(,*)>*- !,!#3)() 0!, *+$5$:-5$ "$ 4$5:-51$. /(*+ ?2)* *+$)$ ,-.$ *34$)& !"#$ %&@ #()*) *+$ ,-.$) /+(0+ !5$ 5$A2(5$. *- )244-5* 0-,.(*(-,!# $<$02*(-,& B!)(0B#-068 B5!,0+ !,. C14 ,-.$) :-51 *+$ "!)(0 5$A2(5$1$,*8 /+(#$ !## -*+$5 ,-.$) !5$ -4*(-,!#& +$ 95!4+

"2(#.$5 (14#$1$,*!*(-, 1!3 5$*25, !"" :-5 *+-)$& !"#$ %&% #()*) *+$ ,-.$) /+(0+

1!3 "$ "2(#* (: )244-5* :-5 45(1(*(;$ *34$) () $,!"#$.& D-,$ -: *+$1 () 1!,.!*-53E :-5 $<!14#$8 (* () 4-))("#$ *- -,#3 )244-5* )(14#$ -4$5!*(-,) #(6$ F4#2)F !,. F1(,2)F&

+$ )(9,!*25$) .$)05("$ *+$ -4$5!,.) !,. 5$)2#*) -: *+$ ,-.$)& )*!,.) :-5 1$1-538 ! :-5 5$:$5$,0$ ;!#2$8 " :-5 (,*$9$5 ;!#2$ -: !5"(*5!53 )(G$ H$&9&8 )+-5*8 (,*8 #-,98 &&&I8 # :-5 "--#$!, ;!#2$8 $ :-5 ,21$5(0!# ;!#2$ H$&9&8 (,*$95!#8 "--#$!,8

!,. J-!*(,9 4-(,* ;!#2$)I8 % :-5 !,3 !5"(*5!53 ;!#2$8 !,. & :-5 5(9+* -: $<$02*(-,&

KA2!5$ "5!06$*) )*!,. :-5 -4*(-,!# ;!#2$)8 (&$&8 .$4$,.(,9 :-5 '()*+, -)./8 !,. 0.11 -, /+$*+$5 ! )*!*(0 1$1"$5 () 5$:$5$,0$.8 :-5 0.11, '(.*( !,. !+(2*3 -, *+$ 0-5>

5$)4-,.(,9 1$*+-.F) )(9,!*25$8 !,. :-5 *+$ +4567 !,. %.12+567 *+$ ,21"$5 -:

.!*! J-/ 45$.$0$))-5)& D-*$ *+!*8 :-5 )(14#(0(*3 -: (14#$1$,*!*(-,8 -25 :5!1$/-56 .-$) ,-* 0+$06 (: ! 1!44$. φ>,-.$ /(## +!;$ !* #$!)* */- -4$5!,.)8 !) () 2)2!##3 .$1!,.$. "3 .$L,(*(-,&

!"# $#"! %&'$ $&( !%)*#

=##-0 -"?$0* !##-0!*(-, M → M × R

M!## 1$*+-. (,;-0!*(-, M [×V1× ... × Vn][×R] → M [×V ]

M!)* *34$ 0!)* R → R

M-,)*!,* 0-,)*!,* .$0#!5!*(-, ⊥ → V

N,. )(,6 -: 95!4+ .-$) ,-* !44#3

O-!. #-!. ;!#2$ :5-1 1$1-53 M × R → M × V

P$1Q+( 4+( :-5 1$1-53 M1[×M2× ... × Mn] → M

R$*25, 5$*25, :5-1 1$*+-. M [×V ] → X

K*!5* +$!. -: 95!4+ ⊥ → M × X[×V1 × ... × Vn]

K*-5$ )*-5$ ;!#2$ *- 1$1-53 M [×R] × V → M

S!#2$Q+( 4+( :-5 ;!#2$ V1[×V2× ... × Vn] → V

!"#$ %&'E B!)(0 D-.$)

!"#$ %&T .$)05("$) *+$ 0!)$) /+$, /$ 1!4 8.((+*39 (,)*$!. -: )(,9#$ ,-.$)& U$5$8 /$ !.. (,:-51!*(-, :-5 /+(0+ V(51 2)$) )$4!5!*$ ,-.$) .(5$0*#3 *- *+$ Q@KK= ,-.$&

V-5 $<!14#$8 *+$ *!59$* :-5 ! 0.11>,-.$ (, V(51 () $(*+$5 $,0-.$. (, !, :3(7(;'+1+<(

-5 ! 0)39(.3( ,-.$8 .$4$,.(,9 -, /+$*+$5 *+$ 0!## () 4-#31-54+(0 -5 1-,-1-54+(0&

= )4$0(!# 0!)$ !5$ 8*)= >,-.$)& 7+(#$ /$ 2)2!##3 -1(* Q5-?>,-.$) !,. 2)$ Q-5*) (,)*$!.8 *+$3 +!;$ ! )4$0(!# 1$!,(,9 :-5 0)48.*+>,-.$)E V(51 .-$) ,-* .()*(,92()+

*+$ ,!*25$ -: ! 0-14!5()-, > $&9&8 $A2!#8 #-/$5 *+!,8 &&& > "3 45-;(.(,9 .(W$5$,*

,-.$ *34$)8 "2* $,0-.$) *+$ )$#$0*(-, -: *+$ 5$)2#* (, ! 45-?>,-.$& +$5$:-5$8 *+$

#!)* 4!**$5, #()*$. (, *+$ *!"#$ () 1!44$. *- .(W$5$,* Q@KK= ,-.$) !00-5.(,9 *- *+$

,!*25$ -: *+$ 45-?>,-.$&

+",-#"# %!%&. .%#$

C!;! "3*$0-.$ .-$) ,-* $<4#(0(*#3 45-;(.$ "--#$!, ;!#2$)& X,)*$!.8 )$1!,*(0) 6,-/, :5-1 M () 2)$. /(*+(, *+$ ;(5*2!# 1!0+(,$8 1$!,(,9 *+!* !,3 ,-,G$5- (,*$95!# ;!#2$

''

!"# $#"! %&'$ $&( !%)*# +,%&+ !-

!" #$$%&'! '!" B × B → B (&)

*')+,*%$,- X1[×X2 × ... × X_n] → X !$

*.'!,/ ,$!"+0+$!'% 1234 B → X × X !$

56 7'%2&) &82'% V × V → B (&)

9!)0'!,&:; <2!0+3& 0(4& ,/&,- R → B (&)

=34 2!,$!"+0+$!'% 1234 ⊥ → X !$

>56 7'%2&) 2!&82'% V × V → B (&)

>$0 #$$%&'! !$0 B → B (&)

:. #$$%&'! $. B × B → B (&)

?:. #$$%&'! &@,%2)+7& $. B × B → B (&)

A'#%& BCDE >$"&) ;$. F$!"+0+$!'% 5@&,20+$!

!"# $#"! %&'$ $&( !%)*# +,%&+ !-

*+0 !" #+0G+)& '!" N × N → N (&)

*+0:. #+0G+)& $. N × N → N (&)

*+0?:. #+0G+)& &@,%2)+7& $. N × N → N (&)

H+7 !23&.+,'% "+7+)+$! N × N → N (&)

I$"2%$ +!0&J.'% 3$"2%$ I × I → I (&)

I2%0 !23&.+,'% 32%0+4%+,'0+$! N × N → N (&)

"" !23&.+,'% '""+0+$! N × N → N (&)

K2# !23&.+,'% )2#0.',0+$! N × N → N (&)

>&J'0& )+J! +!7&.)+$! N → N (&)

K/% #+0G+)& )/+;0 %&;0 I × I → I (&)

K/. #+0G+)& )/+;0 .+J/0 I × I → I (&)

K/.% .$0'0& #+0) %&;0 I × I → I (&)

*+09!7&.0 +!7&.0 LMN,$34%&3&!0O I → I (&) A'#%& BCBE :40+$!'% >$"&) ;$. P.+3+0+7& A(4&)

.&*" ,!%%#* /0112 *#"!*3

5!0+0(K&%&,0 ^ptr← F'%% F'%% 4$%(3$.4/+,

F$!)0'!0 ^ptr← F'%% F'%% 3$!$3$.4/+,

5!0+0(K&%&,0 ←^ptr Q$'" Q$'" +!)0'!,& R&%"

F$!)0 ^ptr← Q$'" Q$'" ,%')) R&%"

5!0+0(K&%&,0 ←^ptr Q$'" ^ref← Q$'" ←^ptr ..'(K&%&,0 Q$'" '..'(

5!0+0(K&%&,0 ←^ptr K0$.& K0$.& +!)0'!,& R&%"

F$!)0 ←^ptr K0$.& K0$.& ,%')) R&%"

5!0+0(K&%&,0 ←^ptr Q$'" ^ref← K0$.& ←^ptr ..'(K&%&,0 K0$.& '..'(

F$34'.& ← P.$1 56S>56 ,$34'.& !$"&) A'#%& BCTE I'0,/+!J P'00&.!) +! U+.3 V.'4/)

MD

! "#$! %&'&% (# )& ('*&+ !&& ,-.//0+ 1234(&' 567686 92&'&:#'& ;& <34 = '< $(&>&'

"#$!(3$(! !"# 3$% #$! (# )##?&3$ "#$!(3$(! %&'(! 3$% )"*!+ '&!4&"( @&?A+ *$?&!! :*??

<344 $> #: 4' < ( @& (A4&! ! &$3)?&%6

!"" #$ %&'( )!**+,'

=#' &%>& <344 $>+ ;& #$"& 3>3 $ (3B& 3 ?##B 3( &@&'A $#%& $ (2& = '< >'342 (23(

;& 23@& <344&% (# C5DDE6

F#; (# G$% (2& #4&'3$% :#' 3 $#%& $ C5DDE %&4&$%! #$ (2& (A4& #: (2& &%>&+

6&6+ ;2&(2&' ( ! 3 <&<#'A+ #4&'3$%+ #' &H&"*( #$ &%>&I

+!,#"- !./!(

J (2 Nx ;& %&$#(& 3 $#%& $ (2& = '< >'342+ 3$% ; (2 Nx^′ (2& "#''&!4#$% $> $#%&

$ C5DDE+ ;2 "2 <3A )& ǫ : ;& 23@& $#( <344&% Nx6 Bx ! (2& )3! " )?#"B $ (2& = '< >'342 (23( Nx )&?#$>! (#+ 3$% rx (2& :3"( ;2&(2&' #' $#( (2 ! )?#"B ! '&3"23)?& 3! %&!"' )&% 3)#@&6

-&( $#; N¹ )& 3 $#%& :#' ;2 "2 N1^′ 6= ǫ+ 3$% N² (2& %&G$ $> $#%& :#' 3 <&<#'A

&%>& #: N¹6 92&'& &H !(! <#'& (23$ #$& !*"2 &%>& : 3$% #$?A : N¹ ! 3 φK$#%&+ $

;2 "2 "3!& ;& '&4&3( (2& :#??#; $> !(&4! :#' &3"2 #: (2&!& &%>&!6

L: $#; N2^′ ≡ ǫ+ (2&'& 3'& (;# 4#!! ) ? ( &!I MNO N² ! $#( 3 φK$#%&+ #' M5O ( ! 3 φK$#%&6 L$ (2& G'!( "3!&+ r² <*!( 2#?%I & (2&' B¹ ≡ B2+ #' B² ! (2& #$?A %3(3 P#;

4'&%&"&!!#' #: B¹6 J& (2&$ ! <4?A :#??#; (2& <&<#'A &%>& '&"*'! @&?A :'#< B²6 L$ (2& ?3((&' "3!&+ r² ≡ f alse ⇔ N₂^′ ≡ ǫ+ 3! φK$#%&! <*!( 3?;3A! )& <344&%6 L:

$#; r² %#&! $#( 2#?%+ ;& ! <4?A #< ( (2& &%>&+ 3! ( ! 43'( #: %3(3 P#; "#$P*&$"&

:'#< &H"&4( #$ 23$%? $>6

01!"&$. !./!(

Q4&'3$% &%>&! 3'& <344&% ! < ?3' (# <&<#'A &%>&!+ ; (2 #$& &H"&4( #$I L: ;&

&$"#*$(&' 3 = '< $#%& N :#' ;2 "2 ;& 2#*'. 23@& M)*( 3&4!$5)O )* ?( 3 $#%& N^′ $ #*' (3'>&( '&4'&!&$(3( #$+ ;& 3%% 3$ *$6$#7$ #1!"&$. $!(&3% #: ('3@&'! $> (2&

>'342 :*'(2&' *4+ 3! ;& ;#*?% %# ; (2 <&<#'A &%>&!6 92 ! *$B$#;$ #4&'3$% 3"(!

3! 3 4?3"&2#?%&' 3$% #""*'! ;2&$ (2& $4*( $#%& ! $#( "#@&'&% )A #*' (3'>&( '&4'&K

!&$(3( #$ #$ 3""#*$( #: !&(( $>!+ &6>6+ ;2&$ <344 $> #: 4' < ( @& (A4&! ! % !3)?&%6 L( ! $#(&;#'(2A (23( (2 ! $&@&' 2344&$! :#' &%>&! "3''A $> '&:&'&$"& @3?*&!+ ! $"&

3?? $#%&! 4'#"&!! $> !*"2 @3?*&! <*!( )& <344&% (# C5DDE+ 3! %&!"' )&% $ D&"( #$

R65656

89!2*):#$ !./!(

SH&"*( #$ &%>&! 344&3' )&(;&&$ )3! " )?#"B! 3$% T*<4 '&!4&"( @&?A )'3$"2 $#%&!6

=#' ! <4? " (A+ ;& ('&3( )3! " )?#"B! ? B& φK$#%&!+ T*<4! 3$% )'3$"2&! ? B& #4&'3$%!+

3$% *!& (2& !3<& 3?>#' (2< 3! :#' #4&'3$% &%>&!6

;,1'!,!$)&):#$ .!)&:'(

=#' φ $#%&! ( ! 4#!! )?& (# $#( 3%% "&'(3 $ &%>&!+ 6&6+ '&P&H @& &%>&! 3$% (2#!& (23(

"#<& :'#< (2& !3<& #4&'3$%6 J2 ?& (2 ! > @&! 3 !<3?? 3%@3$(3>& $ 4&':#'<3$"&

3$% <&<#'A :##(4' $(+ (2 ! #4( #$ "3$ )& % !3)?&% ;2&$ 3$ 3$3?A! ! <4?&<&$(! χK (&'<! ,9'3UN0+ ! $"& (2&$ 3?? φK$#%&! $ 3 )3! " )?#"B !2#*?% 23@& (2& !3<& $*<)&'

#: #4&'3$%!6

NR

! "#$%&'('

!" #$#%&'(' )"#*+,-". (' /!(%0 -$ 0-1 -) 02+ 1"-3"#* '0"!40!"+ 5+'4"(/+5 ($ 6(3!"+

7898 :2+ 1"-3"#* '0"!40!"+ (' -/0#($+5 )"-* 02+ 6("* 1"-3"#* !'($3 02+ )"#*+,-".

)"-* 02+ 1"+;(-!' '+40(-$8

<+ ,(%% ="'0 1"+'+$0 # 5+'4"(10(-$ -) 02+ ($0+")#4+' #$5 4%#''+' 5+=$+5 /& -!"

#$#%&'(' )"#*+,-".8 :2+$> ,+ ,(%% 0#.+ # '2-"0 %--. -$ 2-, 2#$5%($3 -) $#0(;+

*+02-5' (' '!11-"0+5 /& -!" )"#*+,-".8 ?-$4"+0+ (*1%+*+$0#0(-$' ,(%% /+ 1"+'+$0+5 ($ 02+ $+@0 42#10+"8

6(3!"+ 789A BBC 1"-3"#* '0"!40!"+

! !) *+$,-./+0 1/#2+$32'

6(3!"+ 78D '2-,' 02+ *-'0 (*1-"0#$0 ($0+")#4+' #$5 4%#''+' -) -!" #$#%&'(' )"#*+,-".8 :2+ 4%#'' !"#$%&% ,(02 (0' *+02-5 "!$EF (' 02+ 4+$0"#% +$0"& 1-($08 G0 #%'- 1"-H

;(5+' 02+ *+02-5 #$#%&I+J+02-5EF> ,2(42 !'+' 02+ 4-$=3!"#0(-$ -10(-$' 0- 1"-1+"%&

'+0 !1 02+ ($;-%;+5 #40-"' #$5 '0#"0' 02+ #$#%&'(' -) 02+ 3(;+$ *+02-58

C$ ($;-4#0(-$ -) "!$EF ,(%% !'+ ="'0 #$#%&I+ 02+ '&'0+* ($(0(#%(I#0(-$ *+02-5' -/0#($+5 )"-* 02+ 6("* 1"-3"#*> )-%%-,+5 /& 02+ 1"-3"#*K' +$0"& *+02-58

C$ +@#*1%+ )-" # *+02-5 ($0+"1"+0#0(-$ (' 3(;+$ ($ 6(3!"+ 7878L8 G$ 02+ )-%%-,($3>

,+ ,(%% )!"02+" 5+'4"(/+ 02+ ($;-%;+5 4%#''+'8

:2(' 4%#'' #%'- 1"-;(5+' 02+ 4-$;+$(+$4+ *+02-5 #$#%&I+?MG$(0EF> ,2(42 0#.+' # 0&1+ #' 1#"#*+0+" #$5 ($;-.+' 02#0 0&1+K' 4%#'' ($(0(#%(I#0(-$ *+02-5 E4%($(0F> !$%+''

#$#%&I+5 /+)-"+2#$58 G$ #55(0(-$> (0 )-"+*-'0 0"(33+"' ($0+"1"+0#0(-$ -) 02+ 4%#'' ($(0(#%(I#0(-$ *+02-5 -) 02+ 0&1+K' '!1+"4%#''8

N#42 *+02-5 (' #''-4(#0+5 ,(02 # '()*+,-.(/0)&+!1"!,#(2> ,2-'+ +@+4!0+EF

*+02-5 (' ($;-.+5 )-" ($0+"1"+0($3 02+ '+*#$0(4' -) 02+ *+02-58 :2(' #/'0"#40 ($0+"1"+0#0(-$ -) 02+ *+02-5 (' +(02+" 5+'4"(/+5 +@1%(4(0%&> +838> ($ O#;# 4-5+> -"

0"(33+"' 02+ ($0+"1"+0#0(-$ -) # PQBBC 3"#12> ,2(42 (' 02+ 4-**-$ 4#'+8

C 32"4*5)"6&#&7(2 R +838> /#'+5 -$ #$ !$5+"%&($3 %--1 0"++ #%3-"(02*> 4)8 $+@0 42#10+" R 0#.+' 4#"+ -) 02+ '0#/(%(I#0(-$ -) #$ #$#%&'(' ,2+$ !'($3 #$ BBC 3"#128 G0 4#%4!%#0+' #$ +;#%!#0(-$ -"5+" )-" 02+ $-5+'> '0#"0($3 ,(02 02+ 5)"2)H$-5+ -) # 3"#12>

#$5 +$5($3 ,(02 (0' -!,H$-5+8 G0 02+$ ($;-.+' 02+ "//(4)89 *+02-5' )-" 02+ $-5+'>

LS

!"#$% &'() *+,-./!/ $,0%12$3

45

!"#$% &'() *+,-./!/ 0#+

12

!"!#$%$" #$!&'&(

!"#!$% &'( )*++, !"#!$% -'./' .0 1" 2( $34

$567(89

3$%(+/'(%$ &'( !"#$%&#"! /5$00 1" :0(9 0(%$31./0 &'( $#"!'()%* /5$00 1" :0(9 /"31(;1+1!$1(#6 &'( +,'(#-($(.!(#/0 1" :0(9

<(58+1!$1(#6 &'( 1)#23$(.!(#/0 1" :0( =3"1 0'"-3 .3

>?@ 8.$#!$%AB -'./' .0 :0(8 C"! 2,!3

$38 *(,.# " (!$1."309

#!$ '+1$2.5.7(! &'( 4.!5&$(!6)2)7#. /5$00 1" :0( C"! 01$4 2.5.7.3# ++, #!$ '09 &'(!( %$6 2(

%"!( 1'$3 "3( .301$3/( "C 1'.0 /5$00 8:!.3# $3$560.09

!(C(!(3/(+1"!.3#+1!$1(#6 &'( 8#9#.#'%#$(,.)'/$(.!(#/0 1" :0(9

&$25( D9EF GH(!H.(- "C 1'( ?$.3 I"3<#:!$1."3 G 1."30

($/' "C -'./' !(1:!30 $ 2""5($3 H$5:(B .38./$1.3# -'(1'(! "! 3"1 1'( $3$560.0 H$5:(

"C 1'( 3"8( '$0 /'$3#(8 8:!.3# .10 .31(! !(1$1."39 &'.0 %$6 2( :0(8 1" 01$2.5.7( 1'(

8$1$J"- $3$560.0 "C 5"" 09

&'( %$ .3# C!"% $3 $55"/$1."3 0.1( 1" $3 $201!$/1 "2K(/1 .0 8"3( 26 $ '!"#

*%&#"! =.31(!C$/( L$%(+/'(%$A9 M10 %(1'"8 #(1,201!$/1G2K(/1=A 1$N(0 1-" $4

!$%(1(!0F 1'( $55"/$1."3 0.1( $38 1'( /"31(;19 , 0.% 5( /5$00 3$%( 0/'(%$ -.55 %$

$3 $55"/$1."3 0.1( 1" .10 16 (B -'.5( $3 $55"/$1."3 0.1( 3$%( 0/'(%$ -.55 %$ $3 $55"4 /$1."3 0.1( 1" .10(5C9 , %"!( 0" '.01./$1(8 3$%( 0/'(%$ %$6 /!($1( 0(H(!$5 $201!$/1

"2K(/10 C"! $3 $55"/$1."3 0.1(B 8( (38.3# "3 1'( /"31(;1 .1 .0 /$55(8 .3B /C9 I'$ 4 1(! *9 O"! (!C"!%$3/( !($0"30B 1'( 3$%( 0/'(%$ 8(/.8(0 -'(1'(! 1'( :38(!56.3#

8#9#.#'%#$(,.)'/$(.!(#/0 B -'./' .0 $3 $201!$/1."3 :0:$556 C"! $ 2.1 H(/1"! .% 5(4

%(31$1."3B 0'$55 :0( $ !."!4N3"-3 0(1 "C $201!$/1 "2K(/10B "! .C 1'( 0(1 "C $201!$/1

"2K(/10 %$6 #!"- 8:!.3# $3$560.09 &'( C"!%(! .0 %"!( (!C"!%$31B -'.5( 1'( 5$11(!

.0 %"!( J(;.25(9 +'":58 1'( 3$%( 0/'(%$ -"!N -.1' $ <;(8 0(1 "C $201!$/1 "2K(/10B .1 .0 P:(!.(8 1" /"% :1( 1'( 1" 40(1 "C $201!$/1 "2K(/10 C!"% 1'( !"#!$%9

&'( 8.01.3/1."3 "C /"31(;10 .0 '$385(8 26 $ +,'(#-($(.!(#/09 &'( .31(! !(1$1."3

"C $ +!2243"8( '$0 1" .3H"N( .10 #(1I"31":!0=A %(1'"8B -'./' !(1:!30 "3( "! %"!(

+,'(#-(:;#.08#*;2(09 &'( #(1I"31":!0=A %(1'"8 1$N(0 1'( /$55(8 %(1'"8B $!$%(4 1(!0B %(%"!6 01$1(B /$55.3# 3"8(B $38 1'( /"31(;1 "C 1'( /$55.3# 3"8( $0 $!$%(1(!09

&'.0 $55"-0 C"! $36 -(554N3"-3 /"31(;1 01!$1(#6B (9#9B "2K(/1 0(30.1.H.16 "! /$55 0.1(

01!.3#0B $38 .1 $50" $55"-0 C"! ($06 (; (!.%(310 "C /"%2.3$1."30 "C 1'(%9 &'( I"34 1(;1+1!$1(#6 8"(0 3"1 1$N( /$!( "C "56%"! './ /$55 !(0"5:1."3B 1'.0 .0 $ 1$0N "C 1'(

.31(! !(1$1."3 "C /$55 3"8(09

, +,'(#-(:;#.08#*;2( .0 $ 8$1$ 01!:/1:!(B /"31$.3.3# (.1'(! 1'( +,'(,;. :38(!

-'./' $ %(1'"8 .0 1" 2( .3H"N(8B "!B .C 1'( %(1'"8 '$0 2((3 $3$567(8 -.1' $ %$1/'.3#

/"31":! 2(C"!(B 1'( !(0:51 "C 1'$1 $3$560.09 , /"31(;1 .30(30.1.H( 01!$1(#6 -":58B $0

$3 (;1!(%(B !(1:!3 K:01 "3( I"31(;1Q:(!6R(0:51 C"! ($/' P:(!6B -'.5(B $0 $3"1'(!

(;1!(%(B $ H(!6 <3(4#!$.3(8 =$38B 1'(!(C"!(B (; (30.H(A 01!$1(#6 /":58 !(1:!3 $ I"31(;1Q:(!6R(0:51 C"! ($/' /"%2.3$1."3 "C 1'( $00(8 $!$%(1(!0B /C9 I'$ 1(! *9 , +,'(,;. .0 :0(8 C"! 1'( %$ .3# "C "!10 1" H$5:(09 M10 %(1'"8 #(1S$5:(=A 0'":58 2( /$55(8 26 $#"!'()%* .% 5(%(31$1."30 "356B 2(/$:0( 0:/' $3 .% 5(%(31$4

!"# $%&## "# '() #!(*' "' )!+ ,"&-.&/0

TU

!"# $%& '%() %**! !"#%+ !#,"-$% !"# %."/ ') (%+/)0 ", ') 1"- 02 %0 3) 3!++ 0))

!# 4)5 !"# 676767

! !" #$%&'( )(%*+,-

8')-) %-) 3" 3%&0 " '%#*+) % #% !() $) '"* !# "/- ,-%$)3"-9: ;& !$1+)$)# !#<

% #% !() $) '"* '%#*+)- = %+0" 5%++)* % !"#$% &''($)* &"*$+ =2 %#* .& -)1+%5!#<

!#("5% !"#0 ", '!0 $) '"* 3! ' % 01)5!%+ #"*) >5,7 4)5 !"# ?7@A7 B'!+) ') ,"-$)- /0)0 ') -)</+%- 5"# )C $)5'%#!0$ %#* !0 %+3%&0 1"00!.+) >! 3"-90 D/0 %0 % <-%1'

$) '"* '%#*+)-2 )C5)1 '% 0)$%# !50 $/0 .) 1-"<-%$$)* E.& '%#*EA2 ')-) %-) 0"$) !00/)0 " +""9 % 3! ' ') +% )-7 F!-0 2 ! !0 !$1"- %# " -)%+!G) '% /0!#< % 01)5!%+ #"*) !#0 )%* ", % -)</+%- 5%++ #"*)2 3) *+,*+! ') $) '"* !# H/)0 !"#7 8'!0 5%# "#+& .) *"#) /#*)- 5)- %!# 5"#0 -%!# 02 ,"- )C%$1+) 3')# ') $) '"* !0 #)()- 5%++)* 1"+&$"-1'!5+& >!7)72 ') $) '"* !# H/)0 !"# !0 I#%+ "- 0 % !5A2 %#* !, ! *")0

#" 5%++ ! 0)+, -)5/-0!()+&7

B) 1-"(!*) ." ' 1"00!.!+! !)0 !# "/- ,-%$)3"-9 %0 ') 1-)5!0!"# ", "/- %#%+=

&0!0 5%# .) !$1-"()* 0/.0 %# !%++& !# 5)- %!# 5%0)0: J"#0!*)- ') 0 % !5 $) '"*

java.lang.System.arraycopy()= !, 3) !$1+)$)# )* ! /0!#< ') #% !() $) '"* '%#=

*+)- $)5'%#!0$2 3) 3"/+* $!C /1 ') 5"# )# 0 ", %--%&0 /0)* %0 !#1/ 1%-%$) )-0 " '!0 $) '"*2 /#+)00 /0!#< % ()-& I#) <-%!#)* 5"# )C 0 -% )<&7

!. /+0123-&+0

K# '!0 5'%1 )-2 3) '%() 1-)0)# )* 3" ,-%$)3"-90: L ,-%$)3"-9 '% $%10 F!-$

" "/- 5"%-0) <-%!#)* M@44L -)1-)0)# % !"#7 B'!+) = #% /-%++& = .)!#< -% ')- 0 !N

!# ') $%11!#< ", ') 1-"<-%$ 0 -/5 /-)2 ! !0 ()-& O)C!.+) 3')# ! 5"$)0 " $%1 44L <-%1'0: K "1 !"#%++& %++"30 " )C5+/*) ,)% /-)0 0/5' %0 )C5)1 !"# '%#*+!#<

"- "1)-% !"#0 1-"5)00!#< 1-!$! !() &1)0 ,-"$ ') $%11!#< 1-"5)002 3'!+) % ')

" ')- '%#* .)!#< %.+) " -) %!# 5"# -"+ O"3 -)+% )* ,)% /-)0 0/5' %0 ') .%0!5 .+"59 0 -/5 /-)7

B) ,/- ')- 1-"(!*) % ,-%$)3"-9 ,"- -/##!#< %#%+&0)0 "# M@44L7 K %++"30 "

O)C!.+& )C5'%#<) $%!# )+)$)# 0 +!9) 5"# )C 0 -% )<!)02 #%$) 05')$% %2 #"*) !# )-=

1-) % !"#02 %#* $"-)7 P% !() $) '"*0 %-) 0/11"- )* !# 3" 3%&0: .& !$1+)$)# !#<

$) '"* %11-"C!$% !"#02 %#* .& -)1+%5!#< !#("5% !"#0 ", 0/5'7

K# ') #)C 5'%1 )-2 3) 3!++ /0) ')0) 3" ,-%$)3"-90 " !$1+)$)# 0)()-%+ M"!# 0=

" %#%+&0)07

QR

!"#$%"%&'(')*&

! "#$ %&$'()*+ ,#-%"$&. /$ #-'$ %&$+$!"$0 "/) 1&-2$/)&3+4 5!$ 1)& ,)!+"&*,"(!6 )*& 7899: &$%&$+$!"-"()!. -!0 )!$ 1)& &*!!(!6 -!-;<+$+ )! ("= ! "#(+ ,#-%"$&. /$

%&$+$!" -! $>#-*+"('$ 0$+,&(%"()! )1 )*& (2%;$2$!"-"()! )1 "#$+$ 1&-2$/)&3+= ! 9$,"()! ?=@ /$ /(;; )*";(!$ "#$ +"$%+ (!');'$0 (! ;$-0(!6 1&)2 - %&)6&-2 -'-(;-A;$

(! +)*&,$ ,)0$ ") "#$ -,"*-; -!-;<+(+ &$+*;"= B$ -;+) 0$+,&(A$ "#$ -*>(;(-&< +"$%+

"#-" -&$ !)" %-&" )1 "#$ ,)&$ )1 )*& 1&-2$/)&3+ (! 2)&$ 0$"-(;= 9$,"()! ?=? 1)&2+

"#$ 2-(! %-&" )1 "#(+ ,#-%"$&= C#$&$. /$ %&$+$!" "#$ (!+"-!"(-"()! )1 )*& -!-;<+(+

1&-2$/)&3= :1"$&/-&0+. /$ %&$+$!" +)2$ )%"(2(D-"()!+ %$&1)&2$0 E9$,"()! ?=FG. -!0

"#$! +*22-&(D$ "#$ (++*$+ ,)!,$&!(!6 "#$ +)*!0!$++ )1 )*& -!-;<+(+ E9$,"()! ?=HG= B$

"#$! 6('$ - !)"$ )! "#$ ,)!"&(A*"()!+ /$ 2-0$ 1)& "#(&0 %-&"< ;(A&-&($+ E9$,"()! ?=IG.

-!0 ,)!,;*0$ "#(+ ,#-%"$& /("# -! )'$&'($/ )1 "#$ ;(2("-"()!+ )1 )*& -%%&)-,# (!

9$,"()! ?=J=

!" #$% &% '()*&+

: &)*6# ,;-++(K,-"()! )1 - ,)2%;$"$ &*! <($;0+ "#&$$ %-&"+4 L*(;0(!6 M(&2 E9$,N

"()! ?=@=@G. 2-%%(!6 M(&2 ") 7899: E9$,"()! ?=@=8G. -!0 "#$ -,"*-; -!-;<+(+ E9$,N

"()! ?=@=OG=

!"!" ,&-. /$&+0

5*& (2%;$2$!"-"()! "-3$+ - %&)6&-2 %&)'(0$0 (! P-'- +)*&,$ ,)0$ -+ -! (!("(-; +$"

)1 ,;-++$+ -!0 2$"#)0+ ") ,)!+(0$&= C#(+ %&)6&-2 (+ "&-!+;-"$0 ") M(&2 *+(!6 "#$

Q$,)0$& RQ$,S A-+$0 M(&2 1&)!"$!0 !"#$%&'. /#(,# /-+ 0$'$;)%$0 /("#(! "#$ ()*!N

%&)T$," RUVWHS= 9(!,$ -;2)+" $'$&< P-'- %&)6&-2 /(;; &$1$&$!,$ "#(&0 %-&"< ;(A&-&($+ N -" ;$-+" "#$ P-'- &*!"(2$ ;(A&-&< N 1)& /#(,# +)*&,$ ,)0$ (+ !)" -'-(;-A;$. /$ "-3$ "#$

+$" )1 &$1$&$!,$0 A<"$,)0$ 2$"#)0+ -!0 &*! - &)+%, *-+! ).)/-0%0 RL-,XIS )! "#$2 (! )&0$& ") (0$!"(1< "#$ +$" )1 2$"#)0+ -!0 ,;-++$+ /$ #-'$ ") A*(;0 -00("()!-; M(&2 ,)0$ 1)&= B$ A*(;0 M(&2 ,)0$ 1)& "#$+$ ,;-++$+ -!0 2$"#)0+ *+(!6 "#$ LYZV RLYZS A-+$0 1"#$%&' R[&$W8S 1&)!"$!0. /#(,# (+ -;+) A$(!6 0$'$;)%$0 -" "#$ \!('$&+("< )1 ]-&;+&*#$= M(!-;;<. /$ +$&(-;(D$ "#$ M(&2 %&)6&-2 ") #-&0 0(+3=

B$ !)/ "-3$ - ,;)+$& ;))3 -" $-,# )1 "#$+$ +"$%+=

1)(2 "3 #(45,&-.

Q$,8M(&2 (+ A-+$0 )! Q$,)0$&. - P-'- 1&-2$/)&3 (!"$!0$0 1)& "));+ -(2(!6 -" -!-N

;<D(!6 -!0 "&-!+1)&2(!6 P-'- +)*&,$ ,)0$= Q$,8M(&2 *+$+ Q$,)0$& ") %-&+$ "#$ P-'- +)*&,$ ,)0$ -!0 %$&1)&2 !$,$++-&< -!-;<+(+. $=6=. $+"-A;(+# ,-;; &$;-"()!+. K$;0 &$1$&N

$!,$+. $",= " (+ !)"$/)&"#< "#-" Q$,)0$& 1),*+$+ )! P-'- +)*&,$ ,)0$ -!0 %&)'(0$+

)!;< &*0(2$!"-; +*%%)&" 1)& -!-;<D(!6 A<"$,)0$4 " +")%+ %-&+(!6 P-'- ,;-++NK;$+ -"

0$,;-&-"()! ;$'$;. (=$=. !) -,"*-; A<"$,)0$ (!+"&*,"()! (+ -!-;<D$0= Q$,8M(&2 /-+

(!("(-;;< (2%;$2$!"$0 -+ - +"-!0N-;)!$ ")); -!0 "#$&$1)&$ *+$0 ") %&),$++ A<"$,)0$

2$"#)0+ (" &$1$&$!,$+ ;(3$ !-"('$ 2$"#)0+= 9(!,$ "#(+ A$#-'()& 0)$+ !)" +*("$ *+.

/$ #-'$ 2)0(K$0 Q$,8M(&2 +*,# "#-" (" A*(;0+ M(&2 %&)6&-2+ "#-" -;;)/ 1)& ;-"$&

-00(!6 2$"#)0 6&-%#+ 1)& "#)+$ 2$"#)0+=

Q$,8M(&2 (+ (!')3$0 /("# - ;(+" )1 P-'- +)*&,$ K;$+ ") A*(;0 - M(&2 %&)6&-2 1)&=

C#$ +$" )1 &$1$&$!,$0 A<"$,)0$ 2$"#)0+ 1)& /#(,#. -+ 2$!"()!$0. !) M(&2 6&-%#+

,-! A$ A*(;" 1)&. (+ -1"$&/-&0+ &$"&($'$0 1&)2 Q$,)0$& -!0 %-++$0 ") "#$ !$>" +"$%.

Q-%(0 C<%$ :!-;<+(+. /#(,# (+ 0$+,&(A$0 (! "#$ 1);;)/(!6=

@X

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

!"#$ %&"' !(!)&*#* + ,-%'( .'-'.'$ %, !* !" + #* ! *%!%#/0 1,2+ !($ /,(%'3%+

#(*'(*#%#4' ".,5.!6 !(!)&*#* -,. ,78'/% ,.#'(%'$ ".,5.!6*9 :%* !)5,.#%;6 %!<'* ! /!)) 5.!"; 5'('.!%'$ 7& /)!** ;#'.!./;& !(!)&*#* =>?@ABC !* #("D%9 EF %;'( %.!+

4'.*'* %;' /!)) 5.!"; 7'5#((#(5 !% %;' ".,5.!6G* '(%.& 6'%;,$9 F% H.*%0 ",)&6,.";#/

/!))* !.' /,(*#$'.'$ %, 7' 6,(,6,.";#/9 I;'( %;' ".,5.!6 %.!4'.*!) '(/,D(%'.* %;'

#(*%!(%#!%#,( ,- ! %&"'0 %;!% %&"'G* ",)&6,.";#/ 6'%;,$* %;!% 2'.' )'-% ,D% 7'-,.'

!.' !)*, %.!4'.*'$0 &#')$#(5 !( #%'.!%#4')& 5.,2#(5 *'% ,- .'!/;!7)' 6'%;,$*9 E;' !)+

5,.#%;6 #* 4'.& -!*%0 2;#)' *%#)) !)),2#(5 D* %, 5.'!%)& .'$D/' %;' (D67'. ,- 6'%;,$*

2' (''$ %, 7D#)$ J#.6 /,$' -,.0 .'*D)%#(5 #( ! 4'.& (,%#/'!7)' "'.-,.6!(/' 5!#( #(

%'.6* ,- ".,5.!6 *#K' !($ .D((#(5 %#6'9

J,. ,D. "D.",*'*0 2' *%!.% -.,6 ! #$% ,- ".,5.!6 '(%.& 6'%;,$*0 (!6')& %;' 7&%'/,$' 6'%;,$* ,7%!#('$ -.,6 %;' ".'4#,D* *%'"0 ")D* %;' *&*%'6 #(#%#!)#K!%#,(

6'%;,$ &'#%$()*+*%*,-*.$&'#%$(/-,##9 I' !)*, '(*D.' %;!% /!))7!/< 6'%;,$* -.,6

$,L.#4#)'5'$ /!))*0 /-9 M'/%#,( N9N9B0 !.' 7'#(5 -,)),2'$9

I' .D( %;' .!"#$ %&"' !(!)&*#* !-%'. .D((#(5 '/OJ#.60 *#(/' D*D!))& 6,*% 5!#(

#* !/;#'4'$ 7& %;' .'$D/%#,( ,- )#7.!.& -D(/%#,(* =PMAQC9 :% #* ,- /,D.*' ",**#7)' %,

!)*, #6")'6'(% ! .!"#$ %&"' !(!)&*#* ,( '/,$'.0 7D% 2' ;!4' (,% $,(' *, #( ,D.

#6")'6'(%!%#,(9

E;' .'*D)%* ,7%!#('$ -.,6 EF !.' D*'$ 7& %;' P/OJ#.6 -.,(%'($0 2;#/; #*

$'*/.#7'$ #( %;' ('3% *'/%#,(9

!"# 0% 12$3(45

P/OJ#.6 #* ! -.,(%'($ -,. 7D#)$#(5 J#.6 -.,6 R!4! 7&%'/,$'9 F* '/OJ#.60 #% 2!*

#(#%#!))& #6")'6'(%'$ !* ! *%!($+!),(' %,,)9 :%* !)5,.#%;6 %!<'* !( #(#%#!) /)!** H)'

!($ 7D#)$* J#.6 /,$' -,. %;#* /)!** H)'9 :- #% '(/,D(%'.* ! /)!** .'-'.'(/' + (, 6!%%'.

#-0 '9590 %;.,D5; ! 6'%;,$ #(4,/!%#,( ,. ! H')$ .'-'.'(/' + #% 2#)) !$$ %;!% /)!** %, #%*

2,.<)#*% !($ '4'(%D!))& !)*, 7D#)$ J#.6 -,. %;!% /)!**9 S,2'4'.0 #% 2#)) 7D#)$ 5.!";*

-,. ,-- 6'%;,$* /,(%!#('$ #( %;#* /)!**9 I' %;'.'-,.' ;!4' !$!"%'$ P/OJ#.6 *, %;!%

#% D*'* %;' .'*D)%* ,- ,D. !"#$ E&"' F(!)&*#* ,7%!#('$ #( %;' ".'4#,D* *%'"9 I' #(4,<' P/OJ#.6 2#%; %;' /)!** H)'* %;!% /,(%!#( %;' 7&%'/,$' 6'%;,$* .'-'.+

'(/'$ 7& ,D. H.*% *%'"0 '/OJ#.69

F-%'. %;#* *%'"0 %;' /,(*%.D/%#,( ,- %;' J#.6 ".,5.!6 #* /,6")'%'$9

!"# 6% "4('.(7'!(8-

I' D*' %;' R!4! *'.#!)#K!%#,( 6'/;!(#*60 2;#/; #* $'*/.#7'$ #( =T#/!C0 -,. *#6")#/#%&9 :% #* 7!*'$ ,( .'1'/%#,( !($ %;'.'-,.' (,% 4'.& 'U/#'(%0 7D% !$'VD!%')& -!*% -,. ,D.

(''$*9 S,2'4'.0 $D' %, %;' ",**#7)' *#K' ,- J#.6 5.!";*0 !($ *#(/' %;' D($'.)&#(5

!)5,.#%;6 2,.<* .'/D.*#4')&0 2' ;!4' '(/,D(%'.'$ ".,7)'6* 2#%; *%!/< ,4'.1,2*9 E;#* .'VD#.'* D* %, 6!(D!))& *"'/#-& ! 7#55'. %;.'!$ *%!/< *#K' 2;'( #(4,<#(5 %;' R!4! W#.%D!) T!/;#(' X D*#(5 %;' "!.!6'%'. 01## X 2;#/; $,'* (,% *''6 %, ;!4' !(&

'Y'/% ,( %;' R!4! B D(%#6' Z(4#.,(6'(% ,( I#($,2* *&*%'6*9 S,2'4'.0 [#(D3

!($ MD( *&*%'6*0 !* 2')) !* R!4! Q \P'%!] .D(%#6' '(4#.,(6'(%* ,( !(& %'*%'$

")!%-,.60 2,.< !* '3"'/%'$9 69:9$ 1;(.)(-< =$ ,

F-%'. $'*'.#!)#K!%#,( ,- ! J#.6 ".,5.!6 -.,6 ;!.$$#*<0 2' 6!" #% %, LOMMF D*#(5

%;' -.!6'2,.< $'*/.#7'$ #( M'/%#,( ^9O9 O_