HAL Id: tel-00787566
https://tel.archives-ouvertes.fr/tel-00787566
Submitted on 12 Feb 2013HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Modeling and methodologies for the test of IMS services
Felipe Lalanne
To cite this version:
Felipe Lalanne. Modeling and methodologies for the test of IMS services. Other [cs.OH]. Institut National des Télécommunications, 2012. English. �NNT : 2012TELE0003�. �tel-00787566�
!"!#$% &'()*+,&
!"#$ %"!&"'(#$ )*+
! "#$%""&'()*%*)#! %+ " ,-.!)+ &/)*' (-'+&0$+%, (- //#!!
! " # $
!"# !$%&'(# )& %(%#& *&
%,-./01
! "#$#%&' () *+,-.
!"#$%&$'" ( !"#$%&'()*+
+#,-&'%,& &% -!"%&'"& .#
!"#$! %&%&''(
%&'()*+,-*&. /- %(-0&'&)&1*/
2&34 )/ /+- '/ #/45*6/+ 7%#
"/0.! -,-1#! 2+, 34+ !"!##$
-!"%&'"& )& / 0,1#(&# 2342 -./0 1!""#$%&'$() 5.%(6. !"#$ 7 8'(1&#-(%, +.#(- 9"* :;
<&#=&*&- %&'!() 7 8'(1&#-(*.* >!? )"%&'-& *& <.*#(* *+$&,%&'$) @'. *!+!,,$ 7 A,),=!?
9"*+.#(--.!/+0!%&'$() 9%, 6.'& %!!- 7 A,),=!?
9"*+.#(-B&.'7C"= .$/0$&' 7 C.$!#.%!(#& *D;'0!#?.%(E"& *& F#&'!$)& <(=6&) 1$!2 7 >GH9 C@@9
!"#$%&'()'*'#+,
!"#$ %& '(( ) *%+(, (!-. $% $/'0- 12 $/.#!# ,!".3$%"4 50' 6'7'((!4 &%" 8"'0$!08 1. $/. %99%"$+0!$2 $% *%"- *!$/ /." '0, $/. $.'1 '0, '(( /." #+99%"$ *!$/ $/. :0'(!#'$!%0 %& 12 #$+,!.#; ) '(#% *'0$ $% $/'0- <$=9/'0. >''84 12 #+9."7!#%"4 &%" '(( /!# #+99%"$ '0, /!# !09+$ ,+"!08 $/!# 9."!%,4 &%" (!#$.0!08 $% 12 !,.'# '0, /.(9!08 1. !0 ,!#3+##!08 $/.1; 5 ?!8 $/'0- 2%+ '(#% $% $/. ".7!.*."# %& 12 $/.#!# '$!/' @'A,! '0, >."3.,.# >."'2%4 &%" $/.!" 3%11.0$# '0, -!0, ".1'"-#4 '# *.(( '# $/. 1.1?."# %& $/. B+"24 C.'0DE+3 F!3/!." '0, >!3/.( G!'H4 &%" $'-!08 $/. $!1. %& $/.!" #3/.,+(.# &%" ".7!.*!08 12 *%"-; I0 ' 1%". 9."#%0'( 0%$.4 ) *%+(, (!-. $% $/'0- 12 *!&.4 J!3$%"!'4 &%" '33%19'D 02!08 1. !0 $/!# ',7.0$+".4 *!$/ '(( $/. "!#-# !$ !19(!3'$., K$/. (.'#$ %& */!3/ *'# (.'"0!08 ' 0.* ('08+'8.L '0, &%" /." #+99%"$ ,+"!08 '(( $/!# $!1.4 9'"$!3+('"(2 !0 $/. ('#$ 1%0$/# %& 12 *%"-4 !0 '(( $/%#. ('$. 0!8/$# %& *"!$!08; )M, '(#% (!-. $% $/'0- 12 &'1!(2 &%" '(( $/.!" #+99%"$ '$ $/. ,!#$'03. '0, $/. 3%0:,.03. $/.2 /'7. '(*'2# /'7. 9+$ !0 1.;) 3'00%$ &'!( $% 1.0$!%0 $/. 1.1?."# %& $/. EIF $.'14 9".#.0$ '0, $/%#. $/'$ '". '(".',2 (%%-!08 &%" 0.* ',7.0$+".#N )-#%%04 O'-"4 '2P'(4 Q."'",%4 C%#= R'?(%4 >'H.04 50,."#%04 R"'1!(' '0, 5(.##'0,"';
!0'((24 ) *%+(, '(#% (!-. $% $/'0- $/. 1.1?."# %& $/. 3/!(.'0 $.'1 %& S)6 E'?#4 9'"$!3+('"(2 C%#= >!8+.( R!T+." '0, U%1V# O'""%#4 &%" $/.!" ',7!3. 9"!%" $% $/. 9+"#+!$ %& 12 R/;G; '0, &%" '3$!08 '# ' (!'!#%0 ?.$*..0 1. '0, $/. EIF $.'1;
!"#$!
!"#$%#$ &'"'()*
!"#!$%&'!() *!+,% -+ .#//!,(.+0(#, 120 1221,0(1--1 10 *!&!, ,#/3$1 0$42 (/5#$0+,0 %1 21$6(.12 120 %(25#,(3-1 1, -(7,1) -12 $821+!9 (,:#$/+0(*!12 .#,0(,!1,0 ; .$#<0$1 10 %1 ,#!61+!9 5$#0#.#-12 %1 .#//!,(.+0(#, 2#,0 .#,20+//1,0 %861-#5582= >+,2 .1 %#/+(,1) -12 ,#$/12 %1 .#//!,(.+0(#, 2#,0 1221,0(1--12 5#!$ 51$/100$1 -&(,01$? :#,.0(#,,1/1,0 %12 2@204/12= A+,%(2 *!1 -12 01.',(*!12 %1 !"#$%&'#() *("+,--, 2#,0 !0(-(2812 5#!$ 80+3-($ 2( -12 ,#$/12 2#,0 .#$$1.012 BC##%.#.D EFFGH) -+ .#,:#$/(08 %1 -1!$2 (/5-8/1,0+0(#,2 +!9 19(71,.12 %1 -+ ,#$/1 120 '+3(0!1--1/1,0 86+-!81 5+$ %12 01.',(*!12 %1 ',.'= I1 0120 %1 .#,:#$/(08 120 -1 5$#.122!2 *!( .#,0$J-1 *!&!, 2@204/1 5#224%1 !, 1,21/3-1 %12 5$#5$(8082 2#!'+(0812 10 21 .#/5#$01 .#,:#$/8/1,0 ; .1$0+(,12 19(? 71,.12 5$8%8K,(12= L, .#,,+(0 2#, (/5#$0+,.1 10 -&(/5+.0 5#!$ -1 %85-#(1/1,0 10 -&!0(-(2+0(#, :!0!$1 %12 -#7(.(1-2 10 %12 2@204/12= M1.( 120 ,#0+//1,0 #321$681 %+,2 -12 ,#/3$1!9 0$+6+!9 %+,2 -1 %#/+(,1 %! 0120N 0$+6+!9 :#!$,(2 5+$ -+ .#//!,+!08 $1.'1$.'1 BO(1$#,2 EFFGH) /+(2 +!22( 5+$ -&(,%!20$(1 BPAQRSPQ EFT UVW?T EFFVH 10 -12 (,20(0!02 %1 20+,%+$%(2+0(#, BPAQRSPAX FEE TGGW)RQLSRPM GYZY TGGZH=[,1 5+$0(1 (/5#$0+,01 %12 +55$#.'12 %1 0120 2#,0 3+2812 2!$ %12 +!'/(0,. *("+,--,.= M12 /80'#%12 2&+55!(1,0 2!$ %12 .1!%#$%&'#(). *("+,--,.) %12 /#%4-12 /+0'8/+0(*!12 .#,20$!(02 1, !0(-(2+,0 -12 19(71,.12 (,:#$/1--12 %! 2@204/1 +! .#!$2 %1 -+ 5'+21 %1 258.(K.+0(#,= I+ 258.(K.+0(#, :#$/1--1 120 !0(-(281 5#!$ 2#!01,($ -1 5$#.122!2 %1 0120) 5+$ 191/5-1) +61. %12 01.',(*!12 +!0#/+0(2812 %1 78,8$+0(#, %12 .+2 %1 0120 10 %12 /80$(*!12 %1 .#!61$0!$1) (- 120 5#22(3-1 5+$ %12 1958$(1,.12 %1 %801$/(,1$ %1 /+,(4$1 K+3-1 2( !,1 (/5-8/1,0+0(#, %&!, 5$#0#.#-1 2+0(2:+(0 212 19(? 71,.12= >+,2 !, .#,01901 %1 0120 %1 .#,:#$/(08) %12 /80'#%12 2(3',4)(#", \3-+.D?3#9 1, +,7-+(2] 2#, '+3(0!1--1/1,0 !0(-(2812) #^ -+ 20$!.0!$1 (,01$,1 %1 -&(/5-8/1,0+0(#, 120 (,.#,,!1 10 0#!01 86+-!+0(#, 21 :+(0 5+$ -Ł$6+0(#, %12 1,0$812) 2#$0(12 10 -&1,6($#,,1/1,0 %1 -5#+1-!+,)'&'#() .(6. ',.' \R[A 5#!$ R/5-1/1,0+0(#, [,%1$ A120]= >1!9 /8.+,(2/12 5$(,.(5+!9 2#,0 '+3(0!1--1/1,0 %(20(,7!82 ; .10 1_10 1, :#,.0(#, %1 -1!$ ,(61+! %&(,01$+.0(#, +61. -&R[A` -1 ',.' 1&..#* 10 -1 ',.' &%'#*=
I1 ',.' &%'#* 120 3+28 2!$ -&198.!0(#, %12 28*!1,.12 %1 0120 258.(K*!12 .#,0$1 !,1 (/5-8/1,0+0(#, 2#!2 0120= >12 28*!1,.12 %1 0120 2#,0 78,8$812 ; 5+$0($ %&!,1 258.(K? .+0(#, :#$/1--1 %! 5$#0#.#-1 2!$ -+ 3+21 %1 /!-0(5-12 .$(04$12 %1 2+0(2:+.0(#, %1 .#!? 61$0!$1 10 %1 .#,:#$/(08= I12 01202 51!61,0 a0$1 78,8$82 +!0#/+0(*!1/1,0 #! 21/(? +!0#/+0(*!1/1,0 1, :#,.0(#, %1 %(_8$1,012 '@5#0'4212 *!+,0 ; -&(/5-8/1,0+0(#, 10 %12 #3"1.0(:2 %1 0120 %(_8$1,02= I&198.!0(#, %12 01202 120 1_1.0!81 5+$ -1 3(+(2 %12 1(#)'. 0, %()'"7-, ,' 05(2.," &'#() \bML2 5#!$ b#(,02 #: M#,0$#- +,% L321$6+0(#,]) .=?;?%= %12 (,01$:+.12 %&198.!0(#,= M12 bML2 2#,0 %8K,(2 %+,2 -1 .+%$1 %&!,1 +$?
!
!"#$ #%&$ #$'#( %)$ *"'#&"+%#",) *$' #$'#$%&' -.&#" %/"0&$ 1%" /$%& -$&2$# *3")#$&.4"& .5$ /. -/.#$67,&2$ .")'" 1%$ *$ ,22%)"1%$& $)#&$ $%8 '" )9 $''."&$:
;$ !" #$""%& $'# +.'9 '%& /3,+'$&5.#",) *3959)$2$)#' *3$)#&9$ $# *$ ',&#"$ *3%)$ "2-/92$)#.#",) ',%' #$'# $) ,%&' *3$89 %#",): ;$ #$&2$ <-.''"7= "2-/"1%$ 1%$ /$' #$'#' )$ -$&#%&+$ -.' /$ 7,) #",))$2$)# ).#%&$/ *% '>'#02$ 9#.)# *,))9 1%$ /3"2-/92$)#.#",) )3$'# -.' '#"2%/9$: ;. '%"#$ *3,+'$&5.#",)' *3959)$2$)#' '3.--$//$ %)$ '$(!: ?@) *$ 59&"@$& /. ,)7,&2"#9 *$ /3ABC( $##$ #&. $ '$&. ,2-.&9$ D %) $)6 '$2+/$ *$ ,2-,&#$2$)#' .##$)*%'( *9@)"' ',"# -.& %) 2,*0/$ 7,&2$/ E'" *"'-,)"+/$F ,% -.& %)$ ,% -/%'"$%&' -&,-&"9#9' 7,) #",))$//$' E*$ ,)7,&2"#9F: ;$ #$'# -.''"7 7,%&)"# %)$ ./#$&).#"5$ .% #$'# . #"7( /,&'1%$ /$' $8"4$) $' *$ $ *$&)"$& E*9@)"#",) *3.& !"#$ #%&$' *$ #$'# $# . 0' .%8 ")#$&7. $' *% '>'#02$ -,%& ,)#&G/$& /$' $)#&9$'F ',)# "). $''"+/$' ,% ")*9'"&.+/$':
H.)' /$ #$'# -.''"7( *$' 29#!,*,/,4"$' *$ !" ) *$"! +,%-.$'%$- " -$%5$)# I#&$ *"'#")4%9$': ;D( %) $)'$2+/$ *$ -&,-&"9#9' E &"#"1%$'F *$ ,)7,&2"#9 $'# *9@)"( ',"# .%#,2.#"1%$2$)# D -.&#"& *3%)$ '-9 "@ .#",) 7,&2$//$( ,% 2.)%$//$2$)# D -.&#"& *$' $8"4$) $' *% '>'#02$: J$' -&,-&"9#9' '-9 "@$)# *$' '91%$) $' *3959)$2$)#' 1%" *,"5$)# I#&$ ,+'$&59$' *.)' /. #&. $ -,%& 9#.+/"& /. ,)7,&2"#9 *$ /3"2-/92$)#.#",): ;$ -&") "-$ $'# +.'9 '%& /. &$/.#",) *3"2-/92$)#.#",) *$ #'/01'+'! +$-" 2$ '$(! E#&. $ -&$,&*$& $) .)4/."'F( 3$'#6D6*"&$( '" %)$ #&. $ $'# ,+'$&59$ *$-%"' /3ABC 1%" )$ -$%# -.' I#&$ -&,*%"#$ -.& /. '-9 "@ .#",)( ./,&' $ " $'# ")*" .#"7 *3%)$ 7.%#$ *.)' /3"2-/92$)#.#",): H.)' /$ #$'# D +.'$ *3")5.&".)#'( /$ ,2-,&#$2$)# 1%" *,"# I#&$ ,+'$&59 $'# *9@)" -.& /$' -&,-&"9#9' *$ ,)7,&2"#9 E/$' ")5.&".)#'F:
;$' 29#!,*,/,4"$' *$ #$'# D +.'$ *3")5.&".)#' ,)# $&#.")' .5.)#.4$' -.& &.-6 -,&# .%8 #$ !)"1%$' *$ #$'# -.''"7 +.'9$' '%& *$' '-9 "@ .#",)': ;$' #$ !)"1%$' *$ #$'# -.''"7 ,2-.&$ /$ ,2-,&#$2$)# ,+'$&59 E*.)' /. #&. $F .5$ /$ ,2-,&#$2$)# .##$)*% *$ /. '-9 "@ .#",)( -,%& *9#$&2")$& '" /$ -&$2"$& -$%# I#&$ -&,*%"# -.& $ *$&)"$&: J$/. $8"4$ /. 59&"@ .#",) *$ !.1%$ 9#.# *$ /. '-9 "@ .#",) .% -"&$ *$' .': ;$' 29#!,*,/,4"$' /"9$' .%8 ")5.&".)#' 7,%&)"''$)# %)$ 29#!,*$ -,%& /. *9#$&6 2").#",) &.-"*$ *$ /. ,)7,&2"#9 *$ -&,-&"9#9' &"#"1%$': J$' #$ !)"1%$' -$%5$)# .%''" I#&$ %#"/$' -,%& /$ #$'# /,&'1%$ /. '-9 "@ .#",) )3$'# -.' *"'-,)"+/$( $ 1%" $'# ',%5$)# /$ .' -,%& *$ 4&.)*' '>'#02$': K")./$2$)#( *$' #$ !)"1%$' +.'9$' '%& *$' ")5.&".)#' 7,%&)"''$)# .%''" *$' -$&'-$ #"5$' ")#9&$''.)#$' -,%& /. '%&5$"//.) $ *$' -&,-&"9#9' *$ ,)7,&2"#9 /,&' *$ /3$89 %#",) *$ /3ABC: H.)' $ *$&)"$& ,)#$8#$( %) *,2.")$ ,))$8$ $'# *$5$)%$ #&0' -,-%/."&$ $##$ *$&)"0&$ *9 $))"$ .% '$") *$ /. ,22%).%#9 59&"@ .#",)( .--$/9 '3- %4! .!'%5($ %1- L;$% M$& NOOPQ:
;$ &%)#"2$ 5$&"@ .#",) $'# %)$ *"' "-/")$( *9&"59$ *% 41+!2 (6!(7%-8( 1%" '3, %-$ *$ /39#%*$ *$' #$ !)"1%$' *$ 59&"@ .#",) 1%" -$&2$##$)# *$ 59&"@$& '" %)$ $89 %#",) *3%) '>'#02$ &9-,)* D %)$ -&,-&"9#9 *$ ,&&$ #",) -.&#" %/"0&$: J,)#&."&$2$)# .% #$'# -.''"7( /$' #&. $' *3$89 %#",) $) &%)#"2$ 5$&"@ .#",) )$ ',)# -.' /"2"#9$' 1%3.%8 959)$2$)#' $)#&9$R',&#"$ *$ /3ABC( $# ',)# 49)9&./$2$)# *9 &"#' ,22$ %)$ '91%$) $ *39#.#' *% '>'#02$: J,22$ .5$ /$ 2,*$/ !$ M")4( /$ &%)#"2$ 5$&"@ .#",) '$ ,)6 $)#&$ 2.S,&"#."&$2$)# .%8 .'-$ #' #$ !)"1%$' *$ /395./%.#",) *$' -&,-&"9#9' $# *$
! "#$#%!&'($ )*+ ,($'&*-%+. /#!$,('$+0 -$ 1($ $(,1%* )*+ &*23$'4-*+ *& )*+ 2($2*5&+ )- %-$&',* 6*%'72!&'($ 5*-& #"! *,*$& 8&%* -&' '+# 5(-% * &*+& 5!++'9.
!"#$%&'#%!"(
:;<$&*%$*& =- &',*)'! >-1+?+&*, @<=>A *+& -$ +?+&B,* +&!$)!%)'+# 9(-%$'++!$& )*+ +*%6'2*+ <C ,- &',#)'! !-D -&' '+!&*-%+ ,(1' *+. < (E%* -$* !%23'&*2&-%* 2*$&%! '+#* 5(-% *+ (5#%!&*-%+ )* &# #2(,,-$'2!&'($ 5(-% '$&#"%*% *& 9(-%$'% ;!22B+ !-D ,- &'F 5 *+ +*%6'2*+ GH0 2(,,* *+ +*%6'2*+ )* 6('D *& 2(,,-$'2!&'($ ,- &',#)'!+0 &(-& *$ 9(-%$'++!$& )*+ 9($2&'($$! '&#+ )* 2($&%I * )* 4-! '&# )* +*%6'2* @J(> 5(-% 4-! '&? (9 +*%6'2*A *& )* &!%'72!&'($ 5(-% *+ (5#%!&*-%+. :*+ +*%6'2*+ <=> +;!55-'*$& 9(%&*,*$& +-% *+ $(%,*+ )* ;<KLM0 *$ 5!%&'2- '*% * >*++'($ <$'&'!&'($ C%(&(2( @><CA0 -&' '+# 5(-% * 2($&%I * )* +*++'($ *& ! 2(,,-$'2!&'($.
N'E#%*,,*$& )*+ !-&%*+ 5%(&(2( *+0 ! +5#2'72!&'($ ><C $* )#2%'& 5!+ -$ +*%F 6'2*0 ,!'+ -$ *$+*,1 * )* 5%','&'6*+ *D&*$+'1 *+ 5(-% ;#&!1 '++*,*$& )*+ +*++'($+0 ! 2($7"-%!&'($ *& ;'$&*%%-5&'($ )*+ +*%6'2*+0 !6*2 5 -+ )* OPP +&!$)!%)+ . :*+ +*%F 6'2*+ <=> '$&B"%*$& "#$#%! *,*$& )* $(,1%*-+*+ *D&*$+'($+0 (E%!$& !'$+' )*+ )#7+ '$&#%*++!$&+ *$ ,!&'B%* )- &*+& )* 2($9(%,'&#.
:* &*+& )* 2($9(%,'&# +;(22-5* "#$#%! *,*$& );#&!1 '% ! 2($2(%)!$2* )* ;',5 #,*$&!&'($ );-$ 5%(&(2( * 5!% %!55(%& Q +($ +&!$)!%)0 $#!$,('$+ 2*%&!'$*+ &*23$'4-*+ )* &*+& )* 2($9(%,'&# 5*-6*$& !-++' 8&%* !55 '2!1 *+ 5(-% &*+&*% )*+ ',5 #,*$&!&'($+ )* +*%6'2*+. N!$+ * 2!+ )*+ +*%6'2*+ <=>0 )*+ 9($2&'($$! '&#+ )* 5%(&(2( *+ ,- &'5 *+ !'$+' 4-* )* +*%6'2*+ ,- &'5 *+ +($& '$&#"%#+ *& *-% '$F &#"%!&'($ *+& )#2%'&* )!$+ )*+ )(2-,*$&+ +&!$)!%)+ RS5*$ =(1' * T '!$2* OPPU0 S5*$ =(1' * T '!$2* OPVPW. :* &*+& )* 2($9(%,'&# )!$+ * 2!+ )*+ +*%6'2*+ <=> )('& ! (%+ &*$'% 2(,5&* )* )*-D !+5*2&+ )'+&'$2&+X ! 2($9(%,'&# )* 23!4-* 5%(&(2( * *& *D&*$+'($ ,'+* *$ Y-6%* 5!% * +*%6'2* Q +! +5#2'72!&'($ 5!%&'2- 'B%*0 "! *& ! 2($9(%,'&# )* ;'$&#"%!&'($ )*+ *D&*$+'($+ !-D *D'"*$2*+ )- +*%6'2*.
K$ (-&%*0 * ,!$4-* );',5 #,*$&!&'($+ (-6*%&*+ 5(-% *+ +*%6'2*+ <=> *& ! )'Z2- &# 3!1'&-* * )* ;!22B+ !-D '$&*%9!2*+ )* +*%6'2* )* ;(5#%!&*-% ','&*$& *+ 5(++'1' '&#+ 5(-% *-% &*+& !2&'9. N!$+ 2* &%!6!' ($ 9(-%$'& )*+ !,# '(%!&'($+ !-D &*23$'4-*+ )* &*+& 5!++'9 5(-% * &*+& )*+ +*%6'2*+ <=> *& ><C.
:*+ &*23$'4-*+ &%!)'&'($$* *+ )* &*+& 5!++'9 )#%'6*$& )* &*23$'4-*+ )* &*+&+ 1!+#+ +-% )*+ ,()B *+0 2(,,* 2* *+ 1!+#*+ +-% )*+ ,!23'$*+ Q #&!&+ 7$'+ @M>= 5(-% M'$'&* >&!&* =!23'$*A0 ,!23'$*+ Q #&!&+ 7$'*+ #&*$)-*+ @KM>= 5(-% KD&*$)*) M>=A *& +?+&B,*+ )* &%!$+'&'($+ #&'4-*&#*+ @:L> 5(-% :!1* *) L%!$+'&'($ >?+&*,A. [*+ ,()B *+ 5%#+-,*$& +(-6*$& -$* %* !&'($ 2!-+! * *$&%* *+ 5!%&'*+ )* 2($&%I * )*+ *$&%#*+ *& +(%&'*+ )!$+ *+ &%!$+'&'($+ )- ,()B *0 *$ %!'+($ )* *-% -&' '+!&'($ 5(-% )*+ +?+&B,*+ %#!2&'9+0 2* 4-' +'"$'7* 4-* *+ &%!2*+ @(1+*%6!&'($+A Q 5!%&'% )- +?+&B,*
!"# !$%&'(# "'& )(*%& + ,!"# )& )&-%&"# .&"% -!'*")%&# !!"#$$%%%&"'()*!+,*-&(./$+"/($0+"$ 0!'12'-20& !/3
!
!"##"#$ %& '(!)" *+,#" -./,"#0" *" 0(, %"- *+"#$!." 1 -(!$2"3 4"%& "!)"$ &,5 $"06#2/,"- *" $"-$7 "$ "# &!$20,%2"! &,5 $"06#2/,"- *" $"-$ 8&-."- -,! 2#9&!2&#$-7 *" '&2!" ,-&:" *" %& 0&,-&%2$. 0())" (,! *.;#2! *"- !( !2.$.-7 *"- -./,"#0"-*+"#$!."- 1 -(!$2"-7 /,2 *(29"#$ <$!" 9,"- -,! %& $!&0" (,! .$&8%2! %& 0(#'(!)2$. *" %+2) %.)"#$&$2(#3 =(,! %"- $!&0"- *" #()8!",5 !($(0(%"-7 $"%%" 0&,-&%2$. #+"-$ &-$(,>(,!- & %20&8%"7 ,2-/," %,-2",!- -(!$2"- ",9"#$ <$!" &$$"#*,"- (,! ,#" "#$!." "$ 920"?9"!-&3 @" %,-7 *&#- %& 0(%%"0$" *" $!&0"- !."%%"-7 "# &!$20,%2"! *&#- %" 0&- *"--"!920"- 0"#$!&%2-.-7 %& $!&0" ",$ 0(#$"#2! *"- 2#$"!&0$2(#- &9"0 *" 0%2"#$- ),%$2 %"-7 0" /,2 !"#* "#0(!" %,- *2A02%" %+.$&8%2--")"#$ *" 0&,-&%2$. -,! %& 8&-" *" &!$2"- *" 0(#$!B%"3
@&#- 0" $C " *" $!&0"- %& 0&,-&%2$. "#$!" %"- .9.#")"#$- *&#- ,#" $!&0" ",$ -(,9"#$ #+<$!" .$&8%2" /," &! %"- &!$2"- *" *(##."- *" )"--&:"-3 4" "#*&#$7 0())" %"- & !(06"- $!&*2$2(#"%%"- *" $"-$ D"$ 9.!2;0&$2(#E *.!29"#$ *" $!&9&,5 &9"0 *"- )(*F%"- G .$&$- ;#2- D(, G $!&#-2$2(# .$2/,"$."E7 "%%"- -(#$ :.#.!&%")"#$ *" #&$,!" !( (-2$2(##"%%"7 0" /,2 -2:#2;" /,+"%%"- !"##"#$ *+&8(!* "# 0() $" %"- &!$2"- *" 0(#$!B%"7 &9"0 %"- &!$2"- *" *(##."- 0())" ,#" "5$"#-2(# *" &!$2"- *" 0(#$!B%"7 :.#.!&%")"#$ -(,- %& '(!)" *"- &!&)F$!"- &>(,$.- &,5 &!$2"- *" 0(#$!B%"3 4"%& -2:#2;" ,#" "5 !"--292$. !.*,2$" '(!),%"- (,! .$&8%2! !"%&$2(#- -,! %& 8&-" *"-*(##."-7 (, %+"5 !"--292$. &, *. "#- *" %& 8!2F9"$. *"- '(!),%"-3 4"%& *"92"#$ "#0(!" %,- 0!2$2/," %(!-/," *"- 0(#$!&2#$"- &,$!"- /," %+.:&%2$. *"- &!&)F$!"- *" *(##."--(#$ #.0"--&2!"-3 H<)" -2 0"!$&2#- $!&9&,5 &9"0 *"- & !(06"- G 8&-" *+2#9&!2&#$-(#$ .$. !( (-."- (,! $!&2$"! %"- *(##."- -(,- %& '(!)" *" 0*+2#9&!2&#$-(#$!&2#$"- IJ&* KLLMN7 2%- "52:"#$ %+,-&:" *+,#" - .02;0&$2(# &;# *" *.$"!)2#"! %"- 0(#$!&2#$"-7 0" /,2 %2)2$" %+&- "0$ !&0$2/," *" %+& !(06"7 0&! ,#" - .02;0&$2(# #+"-$ &- $(,>(,!- *2- (#28%"7 "# &!$20,%2"! (,! %"- :!&#*- -C-$F)"-3
O# *"!#2"! (2#$ *(2$ <$!" !2- "# 0() $" %(!-/," %& 0&,-&%2$. "#$!" .9.#")"#$-"-$ -, !2).3 J(!- *, $.9.#")"#$-"-$ &9"0 *"- !( !2.$.- -,! *"- $!&0"- ;#2"-7 (,! ,#" !(? !2.$. $"%%" /," P-2 %+.9.#")"#$ x -" !(*,2$ &%(!- ,# .9.#")"#$ y *(2$ <$!" (8-"!9. -,! %& $!&0"Q7 2% ",$ -" !(*,2!" /," %+.9.#")"#$ x "-$ (8-"!9.7 )&2- %+.9.#")"#$ y #" %+"-$ &-3 R9"0 /,"%/,"- 6C ($6F-"- &, -,>"$ *+"5.0,$2(#7 2% ",$ #" &- <$!" (--28%" *" *2-$2#:,"! %"- 0&-S P%+.9.#")"#$ y #+& >&)&2- .$. !(*,2$ &! %+2) %.)"#$&$2(#Q "$ P%& 0(%%"0$" *" %& $!&0" & ;#2 &9&#$ /," y & , <$!" (8-"!9.Q3 4"$$" /,"-$2(# &9&2$ *.>G .$. #($." (,! *"- !( !2.$.- #())."- !"#$!%& IT&C-" KLLMN DP-2 x "-$ (8-"!9.7 &%(!- y *(2$ &9(2! .$. (8-"!9. &9&#$QE7 "$ ,#" -(%,$2(# 8&-." -,! %+,$2%2-&$2(# *" %& $"06#2/," *" '()*+, -'!./ *, $"-$ &--2' & .$. !( (-." (,! *.$"0$"! -2 %+.$&$ 2#2$2&% *" %& - .02;0&$2(# ;:,!&2$ *&#- %& $!&0"3 U(,$"'(2-7 -2 ,#" - .02;0&$2(# #+"-$ &- 2)).*2&$")"#$ *2- (#28%"7 0"$$" -(%,$2(# #+"-$ &- !.&%2-&8%"7 "$ &,0,#" -(%,$2(# ./,29&%"#$" #+"52-$" (,! %"- !( !2.$.- #())."- 0(%$!%&3 @"- /,"-$2(#- -2)2%&2!"-(#$ .$. 2*"#$2;."- *&#- %& %2$$.!&$,!" *, !,#$2)" 9"!2;0&$2(# IT&,"! KLLVN3
@&#- %" $!&9&2% !.-"#$. *&#- 0"$$" $6F-"7 #(,- !( (-(#- *"- -(%,$2(#- G !(8%F)"- &9"0 ,#" & !(06" 8&-." -,! %"- )"--&:"- 0"#$!." -,! %"- *(##."- (,! %" $"-$ *" 0(#'(!)2$.3 @&#- #($!" $!&9&2%7 %"- .9.#")"#$- *&#- ,#" $!&0" -(#$ *"-)/..!,/.7 03?G?*3 *"- !&--")8%")"#$- *"- 06&) - *" *(##."- -$!,0$,!.-7 &9"0 ,#"
!! !"#$% &% '()#"*+% &,-)$% %) .()'#$() &%/ &()),%/ 0 1)% &,-)$#$() .("2%++% &34) 2%//!5% %/# .(4")$% %# &%/ .()'#$()/ (4" +% #"!$#%2%)# &%/ 6!+%4"/ &%/ '7!2 / &% &()),%/ ,5!+%2%)#0 8%/ (9/%"6!#$()/ / ,'$-:4%/ /()# &,-)$%/ !" &%/ '()#"!$)#%/ (4 "%/#"$'#$()/ /4" +%/ 2%//!5%/; !" %<%2 +% :4% '%"#!$)/ '7!2 / &% &()),%/ &!)/ +% 2%//!5% '()#$%))%)# 4)% 6!+%4" (4 4) $)#%"6!++% &%/ 6!+%4"/; %# +%/ "%+!#$()/ = (9/%"6%" %)#"% 2%//!5%/ 24+#$ +%/ /()# ,5!+%2%)# &,-)$%/ &% '%##% 2!)$>"%; %<0 :4% +%/ '7!2 / &% &()),%/ %)#"% &%4< 2%//!5%/ '(""%/ ()&%)# ?(4 )% '(""%/ ()&%)# !/@ /%+() +%4"/ 6!+%4"/0 A%/ "%/#"$'#$()/ /4" +%/ 2%//!5%/ /()# &,-)$%/ /(4/ +! .("2% &% '+!4/%/ &% B("); :4$ ",/%)#% +3!6!)#!5% &% %"2%##"% +! ",4#$+$/!#$() &%/ '+!4/%/0
8%/ "%+!#$()/ #%2 ("%++%/ %)#"% &%/ ,6,)%2%)#/ /()# &,-)$%/ !" +! :4!)#$-'!#$() ?∃; ∀@ /4" +%/ 2%//!5%/; %# +! &$"%'#$() &% "%'7%"'7% ?!6!)#; !""$>"%@ %/# / ,'$-,% !" &%/ "%+!#$()/ &3("&"% %< +$'$#%/; %<0 ∀x<m : condition $)&$:4% :4% condition
&($# C#"% 6"!$% (4" '7!:4% 2%//!5% ! !"!$//!)# !6!)# m &!)/ +! #"!'%0 A%+! %"2%# )() /%4+%2%)# &% &,-)$" &%/ ,6,)%2%)#/ .("D!"& %# 9!'ED!"&; 2!$/ !4//$ 4) 2,+!)5% &%/ &%4<0 F4$/ +! /G)#!<% %# +! /,2!)#$:4% (4" +! +(5$:4% 4#$+$/,% (4" %< "$2%" +%/ "( "$,#,/ %# 4) !+5("$#72% (4" +3,6!+4!#$() &%/ "( "$,#,/ /4" &%/ #"!'%/ (H$)% /()# &,-)$%/0 I3!+5("$#72% %"2%# &3(9/%"6%" &%/ (''4""%)'%/ 24+#$ +%/ &34)% "( "$,#, &!)/ 4)% #"!'% %# "%#(4")% 4)% 6!+%4" &% 6,"$#, &!)/ {⊤, ⊥, ?} ? !//; .!$+ (4 $)'()'+4/$6%@ (4" +3,6!+4!#$() &% +! "( "$,#,0 1) ",/4+#!# J⊤3 $)&$:4% :4% +! "( "$,#, %/# /!#$/.!$#% /4" +! #"!'%; 4) ",/4+#!# J⊥3 $)&$:4% :4% +! "( "$,#, )3%/# !/ /!#$/.!$#% %# J?3 $)&$:4% :4% +! /!#$/.!'#$() &% +! "( "$,#, )% %4# !/ C#"% ,#!9+$%; +! -) &% +! #"!'% ,#!)# !##%$)#%0
K) 4#$+$/!)# '%##% /,2!)#$:4%; +% "(9+>2% &% #%/#%" +%/ "( "$,#,/ /4" &%/ #"!'%/ -)$%/ &%6$%)# +% "(9+>2% &% &,#%"2$)%" /$ 4) 6%"&$'# "#!$ (4 4) 6%"&$'# !%&'%&$()! * &%6"!$# C#"% &()), '(22% ",/4+#!# &% /!#$/.!'#$() J?30 K) &3!4#"%/ #%"2%/; %/#L'% :4% +% &,.!4# &3(9/%"6!#$() &34) '(2 ("#%2%)# !##%)&4 /$5)$-% :4% +% '(2 ("#%2%)# )3! M!2!$/ ,#, "(&4$#N ?#"!'% /4O/!22%)# +()54%N@0 P4!#"% /(+4#$()/ !+#%")!#$6%/ /()# "( (/,%/ &!)/ )(#"% #"!6!$+ (4" .!$"% .!'% = '%##% :4%/#$()0
Q0 R4 (/%" :4% +! #"!'% )3%/# M!2!$/ !//%S +()54%; '3%/#L=L&$"%; /%4+%2%)# &%/ 6%"&$'#/ !%&'%&$()! * %46%)# C#"% .(4")$/ /$ 4) "%/4+#!# J?3 %/# (9/%"6,0 T$%) :4% '%##% 7G (#7>/% %/# #">/ /#"$'#%; %# %4# )% !/ .(4")$" &3$).("2!#$()/ 4#$+%/ &!)/ +! +4 !"# &%/ '!/; 4)% !)!+G/% +4/ ! "(.()&$% &%/ 6%"&$'#/ +% (4""!$#0 F!" %<%2 +%; /$ +% )(29"% %# +! &$/#"$94#$() &%/ 6%"&$'#/ !%&'%&$()! * /()# /$5)$-'!#$./; '%+! %4# C#"% 4) $)&$'% &34)% .!4#% &!)/ +3$2 +,2%)#!#$()0 U0 R4 (/%" :4% +! #"!'% %/# #(4M(4"/ /4O/!22%)# +()54%; '3%/#L=L&$"%; :4%
'7!:4% ",/4+#!# J?3 %/# 4)% $)&$'!#$() &34)% &,.!$++!)'%0 R$ &%/ #"!'%/ !6%' 4) 5"!)& )(29"% &% 2%//!5%/ /()# 4#$+$/,%/; '%+! %4# C#"% 4)% /(+4#$() !'L '% #!9+%0 V(4#%.($/; '%"#!$)/ ",/4+#!#/ .!4< (/$#$./ %46%)# C#"% "(&4$#/ !4< 9("&/ &% +! #"!'%0
!!!
! "#$%&'(# )* %+,-+#.(,(*. /0.(#*/.&12 %+*3&.&+**(0 4 +5'(#6(#! 7& 0+#' 3( 0/ .(*./.&6( 38+5'(#6(# )*( -#+-#&$.$ -/#.&%)0&9#(2 )* %+,-+#.(,(*. %+*3&.&+**(0 ('. +5'(#6$ (* -#(,&(#2 /0+#' )* 6(#3&%. "#!$ ('. #(*3)2 '&*+*2 )* 6(#3&%. !%& '(%'$)*! + ('. #(*3)! :(%& ('. '&,&0/&#( 4 &3(*.&;(# 08$./. &*&.&/0 +) ;*/0 38)*( '-$%&;%/.&+* 3/*' 0/ .#/%( 3/*' 3(' /).#(' /--#+%<(' 5/'$' ')# &*6/#&/*.'! =/0> <()#()'(,(*.2 0/ %+*3&.&+* -+)##/&. *( -/' (?&'.(#2 +) &0 -+)##/&. @.#( 3&A%&0( 4 3$;* %/# 0/ %/)'/0&.$ /6(% 0(' %#&.9#(' 3/*' 0/ -#+-#&$.$ /..(*3)( 3+&. @.#( '-$%&;$(!
B! C$;*&# (?-0&%&.(,(*. )* %+,-+#.(,(*. D)& *( 3+&. -/' @.#( +5'(#6$2 +) %+,> -+#.(,(*. *$E/.&1! :+,,( 0/ D)('.&+* ('. 3( 3$.(#,&*(# D)/*3 08/5'(*%( 38+5'(#6/.&+* 38)* %+,-+#.(,(*. /..(*3) ('. &*3&%/.&6( 38)*( 3$1/&00/*%(2 &0 *8F / -/' 3( -#+509,( -+)# 3$.(%.(# D)/*3 0( %+,-+#.(,(*. / (G(%.&6(,(*. () 0&()! 7& )* %+,-+#.(,(*. *$E/.&1 ('. 3$;*& %+,,( )*( -#+-#&$.$2 3+*% 0/ '/.&'1/%.&+* 3( 0/ -#+-#&$.$ H)* #$')0./. I⊤8J 3+&. -#+3)&#( )* 6(#3&%. "#!$! :(-(*3/*.2 0( %+,-+#.(,(*. *$E/.&1 -(). *( -/' @.#( .+)K+)#' 1/%&0( 3( 3$;*&# 4 -/#.&# 3(' (?&E(*%(' 3) '(#6&%(!
L6(% %(' '+0).&+*' /0.(#*/.&6(' )*( *+)6(00( 3$;*&.&+* 3(' &*6/#&/*.' ('. 1+)#*&( 3/*' *+.#( .#/6/&0! C(' &*6/#&/*.' '+*. 3$;*&(' %+,,( )*( -/&#( (test, condition)! M( .('. ('. 0/ -#+-#&$.$ (G(%.&6( D)& 3+&. @.#( +5'(#6$( 3/*' 0/ .#/%( (. 0/ %+*3&> .&+* ('. )*( +5'(#6/.&+* /0.(#*/.&6( D)& -(#,(. 3( 3$.(#,&*(# '& )* #$')0./. I?8 -/# 08/0E+#&.<,( ('. )*( #$(00( 3$1/&00/*%( 3/*' 08NOP +) D)8/)%)* 6(#3&%. *( -(). @.#( -#+3)&.(2 %( D)& +G#( )*( '+0).&+* -+''&50( 4 0/ D)('.&+* -#$%$3(,,(*. 3$%#&.! C()? .F-(' 38&*6/#&/*.' '+*. 3$;*&'Q !"#$#%" (. &'()$#%"2 -+)# .('.(# 3(' '$D)(*%(' D)& 3+&6(*. @.#( +5'(#6$(' 3/*' 0/ .#/%(2 ,/&' /)''& -+)# %(00(' D)& *( 3(6#/&(*. K/,/&' @.#( +5'(#6$('!
O*( -#+%$3)#( -+)# 1+)#*&# 3(' 6(#3&%.' 3( %+*1+#,&.$ H,#**2 "#!$2 !%'(%'$)& *! +J ')# )*( -/&#( (test, condition) 38)* &*6/#&/*. ('. 1+)#*&( /&*'&!
R+)' /6+*' $E/0(,(*. ,&' (* +()6#( 0(' %+*%(-.' 3$%#&.' 3/*' )* -#+.+.F-(2 /;* 3( ,+*.#(# 08/--0&%/5&0&.$ 3) .#/6/&0 (. -+)# .('.(# 0(' /0E+#&.<,(' ')# 3(' .#/%(' N=7 #$(00('!
!"#$%&#'%($ )* +#$*&,!%'
M( -#$'(*. ,/*)'%#&. 3( .<9'( ('. +#E/*&'$ %+,,( ')&.Q
S! C/*' 0( 3()?&9,( %</-&.#(2 *+)' -#$'(*.+*' )* $./. 3( 08/#. 3(' .(%<*&D)(' 3( .('. 3( %+*1+#,&.$! R+)' /00+*' 3(' %+*%(-.' E$*$#/)? 3( .('. 3( %+*1+#> ,&.$2 ,$.<+3(' 1+#,(00(' (. 0( .('. 1+#,(0 3( %+*1+#,&.$2 4 )* 5#(1 /-(#T) 3(' .(%<*&D)(' 3( .('. /%.&1 (. )*( 6)( -0)' 3$./&00$( 3(' /--#+%<(' 3( .('. -/''&1 -+)# 0/ %+*1+#,&.$! R+)' 1+)#*&''+*' $E/0(,(*. )* /-(#T) E$*$#/0 3) #)*.&,(
! !"#$%&'#() !) '&)' *+! ,#-%#./#)!0 -!- (12!%'#3-0 %!"'&#)- '"& &+4 .!"'#)!)'- 5 /6&.."(%7! ."8-!)'8! ,&)- %!''! (!+ "! &#)-# *+! /& "!/&'#() ,+ "+)'#9! !"#$: %&'#() & !% /! '!-' .&--#3;
<; =&)- /! '"(#-#>9! %7&.#'"!0 )(+- ."8-!)'()- ?@A !' /6@B?; C) %(99!)%! .&" +) &.!"D+ ,+ ?@A0 -!- !)'#'8- !' /!+" %(9.("'!9!)'0 &#)-# *+! /& -E)'&4! ,!-9!--&F!- !' ,!- ,())8!- .!"'#)!)'!- 9!)8!- .&" /!- ,!-9!--&F!- ?@A; A(+" /6@B?0 )(+- ,8%"# ()- 1"#> !9!)' *+!/*+!-:+)!- ,! -!- !)'#'8- %!)'"&/!- &#)-# *+! %!": '&#)- ,!- %(9.("'!9!)'- ,! ,!+4 -!" #%!- @B?0 /! A+-7:'(:'&/G C !" H!//+/&" !' /! -!" #%! A"!-!)%!;
I; =&)- /! *+&'"#>9! %7&.#'"!0 )(+- ."8-!)'()- )('"! &.."(%7! #)#'#&/! .(+" /! '!-' ,! %()3("9#'8 ,!- -!" #%!- /6@B?0 .&" +)! 8'+,! ,! %&- #),+-'"#!//!; J6&.."(%7! -!"' 5 ,8%"#"! *+!/*+!-:+)!- ,!- /#9#'!- ,+ '!-' & !% ,!- ."(."#8'8- %!)'"8!--+" .&"'#!- ,! %()'"K/! !' 3(+")#' +)! .&"'#! ,! /& 9('# &'#() .(+" /! '"& &#/ ."8-!)'8 ,&)- %!''! '7>-!;
L; J! %#)*+#>9! %7&.#'"! %()'#!)' )('"! %()'"#1+'#() ."#)%#.&/!; M(+- ,8'&#/: /()- ,6&1(", /!- /#9#'!- &.."(%7!- #) &"#&)'- &%'+!//!-0 5 '"& !"- ,!-*+!-'#()- -+" /& %&+-&/#'8 ,!- !)'"8!- !' -("'#!-0 &#)-# *+! /!- !4#F!)%!- ,6+)! &.."(%7! %!)'"8! -+" /!- ,())8!-; N)-+#'!0 )(+- %(99!)D()- /! ,8'&#/ ,! %7&*+! .&"'#! ,! /& %()'"#1+'#()O /& ,8$)#'#() ,!- '"&%!- %(99! +)! -8*+!)%! ,!- 9!--&F!- !' /& 3("9&/#-&'#() ,!- 9!--&F!- %(99! ,!- -'"+%'+"!- ,! ,(): )8!-0 /& ,!-%"#.'#() ,! /& -E)'&4! !' /& -89&)'#*+! ,!- 3("9+/!-0 '&)' .(+" /!- %/&+-!- 1&-8!- -+" P(") !' /68'&1/#--!9!)' ,! "!/&'#()- '!9.("!//!-; A+#-)(+- ,8%"# ()- /6&/F("#'79! .(+" /68 &/+&'#() ,!- 3("9+/!- ,&)- /!- '"&%!-0 !' )(+- -+" /& %(9./!4#'8 ,! /6&/F("#'79!; Q#)&/!9!)'0 )(+- ,8'&#//()-/& ."(%8,+"! ,68 &/+&'#() ,!- #) &"#&)'- .(-#'#3- !' )8F&'#3- !' /68 &/+&'#() ,! /!+" .&"'#! ,! '!-' !' %(),#'#(); M(+- $)#--()- .&" ,())!" +) !4!9./! ,! ,8$)#'#() ,6+) -!" #%! 1&-8 -+" ?@A0 &#)-# *+! ,!- !4.8"#!)%!- -+" ,!- '"&%!-"8!//!- ,+ ."('(%(/!;
R; ?+" /! ,!")#!" %7&.#'"!0 )(+- %()%/+()- /& ."8-!)'&'#() ,! )('"! '"& &#/0 !) 3(+")#--&)' +) "8-+98 ,! )(- %()'"#1+'#()-0 &#)-# *+! ,6+) !)-!91/! ,! .!": -.!%'# !- .(+" ,!- !4'!)-#()- 3+'+"!- !' ,!- &98/#("&'#()- .(+" )('"! &.."(%7!0 !) .&"'#%+/#!" !) '!"9!- ,68 &/+&'#() !) '!9.- "8!/ !' ,! /68 &/+&'#() ,!- ."(: ."#8'8- !) %(+"- ,! /6!48%+'#();
!"#$"#%
!"#$%&'(#)%" ! "#$#%&' ()$*#+* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !, ()$*%-./*-)$0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 1 !1 23#0-0 4'&$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 5 * +#,#- %. #/- 0$# 1 ,! 2#0*-$6 )7 8)99/$-8&*-)$ 4%)*)8)'0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! : ,! ! ()$7)%9&$8# *#0*-$6 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! : ,! !, ;)%9&' *#0*-$6 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <,! !1 ()$7)%9&$8# *#0*-$6 =-*3 7)%9&' 04#8->8&*-)$0 ! ! ! ! ! ! ! ! ?
,! !@ A&00-B# *#0*-$6 7)% 8)$7)%9&$8# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @ ,!, C/$*-9# B#%->8&*-)$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! , 2 3/- !4+ ,"& #/- +-55)%" !")#),#)%" 6$%#%(%7 *8 1! 23# D#00-)$ E$-*-&*-)$ A%)*)8)' ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ,5 1! ! FB#%B-#= ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ,5 1! !, G$*-*-#0 &$H I#*=)%J G'#9#$*0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ,K 1! !1 L#00&6# DM$*&+ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ,K
1! !@ DEA 2%&$0&8*-)$0 &$H N-&')60 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 1?
1!, FB#%B-#= )7 *3# ELD ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 1,
1!,! ()%# &%83-*#8*/%# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 11
1!,!, ELD D#%B-8#0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 15
9 3-5#)": .%$ !4+ +-$;)(-5 2<
@! E$*%)H/8*-)$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 1<
@!, O$ E$B&%-&$*P.&0#H 4&00-B# *#0*-$6 &44%)&83 ! ! ! ! ! ! ! ! ! ! ! ! ! ! @
@!,! F.'-6&*-)$ E$B&%-&$*0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @
@!,!, 23# ()$7)%9&$8# A&00-B# 2#0*-$6 &44%)&83 ! ! ! ! ! ! ! ! ! ! @,
@!,!1 23# A)( D#%B-8# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @, @!1 G+4#%-9#$*0! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @1 @!1! G+4#%-9#$*&' &%83-*#8*/%# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @1 @!1!, E$B&%-&$*0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @5 @!1!1 2#0*-$6 *))' ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @< @!1!@ C#0/'*0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @< @!@ N-08/00-)$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 5 @!@! ;&'0# 4)0-*-B# %#0/'*0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 5
@!@!, L)*-B&*-$6 %#0#&%83 -H#&0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 5,
!! "#$%&$%' ( ) *+%+,-&$%.!- +//.#+-0 1#. 2$3+.!+$% 4&'%!$5 (( !" #$%&'()*%+'$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !, -'%+./%+'$! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0 !1 2&34+5+$/&+36 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7 !1!" 839$+%+'$6 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7 !1!, 2&34+5+$/&: ;$/4:6+6 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <= !> 83%/+46 '? %@3 A&'A'63( /AA&'/*@ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <1 !>!" B'&5/4 (39$+%+'$ '? A&'%'*'4 5366/C36 ! ! ! ! ! ! ! ! ! ! ! ! ! <1 !>!, D&/*36 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <<
!>!1 ; E'&$FG/63( 4'C+* %' 3HA&366 (/%/F/I/&3 A&'A3&%+36 ! ! ! ! ! <<
!>!> JH/5A43 ?'& %@3 K#2 A&'%'*'4 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0"
!>! J./4)/%+'$ '? ?'&5)4/6 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0>
! J./4)/%+$C +$./&+/$%6 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! L,
!< JHA3&+53$%6! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! L1
!0 M'5A/&+6'$ %' &34/%3( I'&N ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! L7
!0!" 2/66+.3 %36%+$C ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! L7 !0!, O)$%+53 5'$+%'&+$C ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7= !L M'$*4)6+'$! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7" 6 7&$&.+8 "#$-89'!#$ :; <!" 23&6A3*%+.36 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7< <!"!" D+53 *'$6%&/+$%6 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7< <!"!, P$4+$3 3./4)/%+'$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 70 <!"!1 #5A&'.353$%6 '$ %@3 6:$%/HQ635/$%+*6! ! ! ! ! ! ! ! ! ! ! ! ! 7L <!"!> O/*3 *'$(+%+'$6 +$ %&/*36 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7L <!=8!#5.+/0> ::
) ) ?.+@&A#.B 1#. *+%+,-&$%.!- &3+89+%!#$ CD:
;!" D&/*3 A&'*366+$C 5'()43 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "=7
;!, B'&5)4/ 3./4)/%+'$ 5'()43 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! """
;!1 #$./&+/$% 3./4)/%+'$ 5'()43 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "",
< ?.+@&A#.B "#$E59.+%!#$ 1#. F /&.!@&$%' CC;
R!" D''4 /$( -366/C3 M'$9C)&/%+'$! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ""1
R!, K#2 2&3(+*/%3 839$+%+'$6 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "">
!"# $% &!'()*"
!" #$%&'( &)*+$,- '., *)-*/.0! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "1 ! 23*/4) *)-*/.0 &)*+$,$($05! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "6 !6 7'--/4) *)-*/.0 &)*+$,$($05!! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "8 !8 2(*)%.'*/4) 3'-)- /. *)-*/.0 95 4'(:) ,)*)%&/.'*/$. ! ! ! ! ! ! ! ! ! ! "; 6!" <=7 ).*/*/)- '., &)--'0) )>3+'.0) /. ' *5?/3'( -)--/$. )-*'9(/-+&).*! ;6! @>'&?() $A *+) 3'(( /./*/'*/.0 !" #$ &)--'0) A%$& 2(/3) *$ B$9 ! ! ;
6!6 =CD=E@ 3(/).* *%'.-'3*/$.! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6
6!8 F)('*/$. 9)*G)). *%'.-'3*/$.- '., ,/'($0- /. <=7 -)--/$. )-*'9(/-+&).*! 66
6!H I$%) A:.3*/$.- $A *+) =J< A%'&)G$%K! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 68
6!L <=7 ).*/*/)- /. *+) 7%)-).3) -)%4/3) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6L
6!; I$.*%$((/.0 '., 7'%*/3/?'*/.0 A:.3*/$.- /. ' 7$I -)--/$. ! ! ! ! ! ! ! 6;
6!M J)--'0) )>3+'.0) A$% '. 2,N+$3 O%$:? <)--/$. G/*+ 3$.P%&'*/$.! ! 6M
8!" J)--'0) )>3+'.0) A$% '. 2,N+$3 O%$:? <)--/$.!! ! ! ! ! ! ! ! ! ! ! ! 88 8! =J< *)-*/.0 '%3+/*)3*:%)! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 8L 8!6 J<I $A =.4'%/'.* "! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 8; 8!8 J<I $A =.4'%/'.* '., 6! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 8; 8!H J<I $A =.4'%/'.*- 8 '., H! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 8M 8!L J<I $A =.4'%/'.* L! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 8Q
8!; E+) E)-*=.4 E$$( ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! H1
8!M 2 *%'3) /.3(:,/.0 ' !%# &' R %( ?'/%! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! H H!" 2(*)%.'*/4) %)-$(:*/$. *%))- A$% S:)%5 sipMsg(x) ! ! ! ! ! ! ! ! ! ! ! ;; H! @4'(:'*/$. $A A$%&:('- G/*+ S:'.*/P)%- $. ' *%'3)! ! ! ! ! ! ! ! ! ! ! M1 2!" 2%3+/*)3*:%) A$% *+) A%'&)G$%K! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ""1 2! @>'&?() $A ' 7TJU P() -*%:3*:%) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ""1 2!6 @>'&?() $A &)--'0) 3$.P0:%'*/$. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! """
!"# $% &'()*"
!" #$%&'()* +,(+- +&.') /0, 01),&+0, 2→3 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 4"
!5 6+,(7+(,) 0/ & 689 :);;&<) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 4# !# =);('+; 0/ +);+>?< +) 1,01),+@ A !" #$#"% "#&'#() )*#"# +'() ,# -"#(.!/(#B 0? +-) ;)+ 0/ +,&7);! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! CD !D =);('+; 0/ +);+>?< +-) 1,01),+@ A#$#"% (#((0!/ 0/0)0-102-)0!/ +'() ,# -34/!51#67#6B ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! CE ! =);('+; 0/ +);+>?< +) 1,01),+@ A8! (#((0!/ 3/ ,# 0/0)0)#6 50)*!') -."#$0!'( "#70()"-)0!/F 0? +-) ;)+ 0/ +,&7);! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C4 !E =);('+; 0/ +);+>?< +-) 1,01),+@ A9*#/#$#" -/ '.6-)# #$#/) *-..#/(: (',(3"0,#6 '(#"( +'() ,# /!)0;#6F 0? +-) ;)+ 0/ +,&7);! ! ! ! ! ! ! ! ! CG !4 =);('+; 0/ +);+>?< +-) 1,01),+@ A9*#/#$#" -/ '.6-)# #$#/) *-..#/(: (',(3"0,#6 '(#"( +'() ,# /!)0;#6F 0? +-) ;)+ 0/ +,&7);! 6)70?* %),;>0?! CG
!"#$%& '
!"#$%&'"($!
! "#$#%&' ()$*#+*
! "#$$%!& &'(%)* +,%! "-((#!'".&'-! ') %))%!&'./ .!0 .! '((%!)% .$$.1 -2 )%$3 4'"%) ') .4.'/.5/% -!/'!%* "-(6#&%$ !%&+-$7) "-!&'!#% &- 8$-+ .!0 !%+ "-((#!'".3 &'-! 6$-&-"-/) .!0 )%$4'"%) .$% "-!&'!#-#)/1 5%'!8 0%4%/-6%09 :%8.$0'!8 &,') .$%.* "-((#!'".&'-! )&.!0.$0) .$% %))%!&'./ &- %!.5/% '!&%$+-$7'!8 -2 )1)&%() .!0 "-$3 $%"&!%)) -2 &,% )&.!0.$0 0%;!'&'-!) .!0 &,%'$ '(6/%(%!&.&'-!) ') 2#!0.(%!&./ &-%!)#$% &,.& 6/.&2-$() ".! "-((#!'".&%9 <,'/% 2-$(./ !"#$%&'#() &%",!'=#%) .$% #)%0 &- %4./#.&% "-$$%"&!%)) -2 )&.!0.$0) ><--0"-"7 ?@@AB* &,% "-!2-$(.!"% -2 &,%'$ '(6/%(%!&.&'-!) &- &,% )&.!0.$0 $%=#'$%(%!&) ') #)#.//1 %4./#.&%0 &,$-#8, '!*'#)+ &%",!'=#%)9
C-!2-$(.!"% &%)&'!8 ') &,% 6$-"%)) -2 ",%"7'!8 &,.& . )1)&%( 6-))%))%) . )%& -2 0%)'$%0 6$-6%$&'%) .!0 5%,.4%) '! .""-$0.!"% +'&, )-(% 6$%0%;!%0 $%=#'$%(%!&)9 D,%$% ') . ,'8, /%4%/ -2 "-!)"'-#)!%)) -2 '&) '(6-$&.!"% .!0 '(6."& 2-$ &,% 2#&#$% 0%6/-1(%!& .!0 #)% -2 )-2&+.$% .!0 )1)&%()9 D,') ') !-&.5/1 -5)%$4%0 +'&, &,% !#(%$-#) +-$7) &."7/'!8 &,% &%)&'!8 .$%.)E +-$7) 6$-4'0%0 51 &,% $%)%.$", "-((#3 !'&'%) -2 "-#$)% >F'%$-!) ?@@AB 5#& ./)- 51 &,% '!0#)&$1 >GDH IGH ?@J KLM3J ?@@LB .!0 &,% )&.!0.$0'N.&'-! '!)&'&#&%) >GDH IGD: @?? JAAM* HOI GC APQP JAAQB9
R! '(6-$&.!& )#5)%& -2 &%)&'!8 .66$-.",%) ') 5.)%0 -! ,("-&. -!'/(0*9 D,%)% (%&,-0) $%/1 -! ,("-&. *1!%#$%&'#()** (.&,%(.&'"./ (-0%/) "-!)&$#"&%0 #)'!8 &,% '!2-$(./ $%=#'$%(%!&) -2 &,% )1)&%( 0#$'!8 &,% )6%"';".&'-! 6,.)% -2 &,% 0%4%/-63 (%!&9 D,% 2-$(./ )6%"';".&'-! ') #)%0 &- )#66-$& &,% &%)&'!8 6$-"%))* 2-$ '!)&.!"%* +'&, .#&-(.&'" &%)& ".)% 8%!%$.&'-! &%",!'=#%) .!0 )6%"';".&'-! "-4%$.8% (%&$'")* '& ') 6-))'5/% &- %S6%$'(%!&.//1 .!0 $%/'.5/1 0%&%$('!% +,%&,%$ . 6$-&-"-/ '(6/%(%!&.3 &'-! ).&');%) '&) $%=#'$%(%!&)9 ! . "-!2-$(.!"% &%)&'!8 "-!&%S&* 2.&%342(5 (%&,-0) .$% 8%!%$.//1 #)%0* +,%$% &,% '!&%$!./ )&$#"&#$% -2 &,% '(6/%(%!&.&'-! ') #!7!-+! .!0 .// %4./#.&'-! ') 0-!% &,$-#8, -5)%$4.&'-! -2 '!6#&)* -#&6#&) .!0 %!4'$-!(%!& -2 &,% #-1.!-!)'&'#() 6)0!" '!*' T UDV9 D+- (.'! (%",.!')() .$% #)#.//1 0')&'!3 8#'),%0 2-$ &,') 6#$6-)% .""-$0'!8 &- &,%'$ /%4%/ -2 '!&%$."&'-! +'&, &,% UDW 1&**# ! .!0 &%'# ! &%)&'!89
7%'# ! '!*'#)+ ') 5.)%0 -! &,% %S%"#&'-! -2 )6%"';" &%)& )%=#%!"%) .8.'!)& .! '(3 6/%(%!&.&'-! #!0%$ &%)&9 D%)& )%=#%!"%) .$% 8%!%$.&%0 2$-( . 2-$(./ )6%"';".&'-! -2 &,% 6$-&-"-/ .""-$0'!8 &- 0'X%$%!& "-4%$.8% .!0 "-!2-$(.!"% ).&')2."&'-! "$'&%$'.9 D,% &%)&) (.1 5% 8%!%$.&%0 .#&-(.&'".//1 -$ )%('3.#&-(.&'".//1 5.)%0 -! 4.$'-#)
!"#$%&' () *+%',-./%0,+ !"#$ %&%& '(#)$ $ % *+",%+%-$'$*#- '-. .*/%0%-$ $%&$ 1#',&2 3%&$ %4%5)$*#- *& "%06 7#0+%. $ 0#)1 !"#$% !& '!#$(!) *#+ !,%-(.*$"!# 89:;&<= *2%2 %4%5)$*#- *-$%07'5%&2 3 %&% 9:;& '0% .%>-%. *- $ % 5#-$%4$ #7 ' $%&$*-1 '05 *$%5$)0%= ' "'0$*5),'0 .*&$0*6 ()$*#- #7 $%&$%0& $ '$ ',,#?& $ %+ $# *-$%0'5$ ?*$ $ % ",'$7#0+ '-. 5#++)-*5'$% ?*$ %'5 #$ %0 *7 -%5%&&'0!2
/*%%".- $-%$"#0 *& ('&%. #- $ % #(&%0@'$*#- #7 *-")$ '-. #)$")$ %@%-$& #7 '- *+6 ",%+%-$'$*#- )-.%0 $%&$ .)0*-1 0)-$*+%2 3 % $%0+ A"'&&*@%B +%'-& $ '$ $ % $%&$& .# -#$ .*&$)0( $ % -'$)0', #"%0'$*#- #7 $ % &!&$%+ '& $ % *+",%+%-$'$*#- *& -#$ &$*+6 ),'$%.2 3 % 0%5#0. #7 $ % %@%-$ #(&%0@'$*#- *& 5',,%. ' $(*'-2 C- #0.%0 $# 5 %5D $ % 5#-7#0+'-5% #7 $ % CE3= $ *& $0'5% ?*,, (% 5#+"'0%. $# ' &%$ #7 %4"%5$%. (% '@*#0&= .%>-%. %*$ %0 (! ' 7#0+', +#.%, 8? %-%@%0 '@'*,'(,%< #0 (! #-% #0 +#0% 7)-5$*#-', 85#-7#0+'-5%< "0#"%0$*%&2 9'&&*@% $%&$*-1 "0#@*.%& '- ',$%0-'$*@% $# '5$*@% $%&$*-1= ? %-%@%0 $ % 0%F)*0%+%-$& #7 $ % ,'$$%0 8.%>-*$*#- #7 $%&$*-1 '05 *$%5$)0%& '-. '56 5%&& $# $ % &!&$%+ *-$%07'5%& 7#0 5#-$0#,,*-1 $ % *-")$&< '0% )-7%'&*(,% #0 )-.%&*0%.2 9'&&*@% $%&$*-1 ',&# "0#@*.%& ' )&%7), ',$%0-'$*@% ? %- $ % *+",%+%-$'$*#- 5'--#$ (% & )$.#?- #0 &$#""%. 7#0 ' ,#-1 "%0*#. #7 $*+%2
G*$ *- "'&&*@% $%&$*-1= "#.*("*#$1,*%-+ $-%$"#0 +%$ #.#,#1*%& 5'- (% .*&$*-6 1)*& %.2 3 %0%= ' &%$ #7 850*$*5',< 5#-7#0+'-5% "0#"%0$*%& *& .%>-%.= %*$ %0 ')$#6 +'$*5',,! 70#+ ' 7#0+', &"%5*>5'$*#-= #0 +'-)',,! 70#+ $ % &!&$%+H& 0%F)*0%+%-$&2 I)5 "0#"%0$*%& &"%5*7! &%F)%-5%& #7 %@%-$& $ '$ +)&$ (% #(&%0@%. *- $ % $0'5% $# %&$'(,*& 5#-7#0+'-5% #7 $ % *+",%+%-$'$*#-2 3 % "0*-5*",% *& ('&%. #- $ % (-!(+-( *+",%+%-$'$*#- 0%,'$*#-= $ '$ *&= *7 ' $0'5% *& #(&%0@%. 70#+ $ % CE3 $ '$ 5'--#$ (% "0#.)5%. (! $ % &"%5*>5'$*#-= $ %- $ *& *& *-.*5'$*#- #7 ' 7'),$ *- $ % *+",%+%-$'$*#-2 C- *-@'0*'-$6('&%. $%&$*-1= $ % (% '@*#0 $ '$ +)&$ (% #(&%0@%. *& .%>-%. (! $ % 5#-7#0+'-5% "0#"%0$*%& 8$ % *-@'0*'-$&<2
C-@'0*'-$6('&%. $%&$*-1 +%$ #.#,#1*%& '@% &#+% '.@'-$'1%& #@%0 &"%5*>5'$*#-6 ('&%. "'&&*@% $%5 -*F)%&2 9'&&*@% $%&$*-1 $%5 -*F)%& 5#+"'0% $ % #(&%0@%. (% '@*#0 8*- $ % $0'5%< ?*$ $ % %4"%5$%. (% '@*#0 70#+ $ % &"%5*>5'$*#-= *- #0.%0 $# .%$%06 +*-% ? %$ %0 $ % 7#0+%0 5'- (% "0#.)5%. (! $ % ,'$$%02 3 *& 0%F)*0%& @%0*>5'$*#- #7 %@%0! &$'$% *- $ % &"%5*>5'$*#- *- $ % ?#0&$ 5'&%2 C-@'0*'-$ +%$ #.#,#1*%& "0#@*.% ' +%$ #. 7#0 0'"*. .%$%0+*-'$*#- #7 5#-7#0+'-5% $# 50*$*5', "0#"%0$*%&2 3 %&% $%5 6 -*F)%& 5'- ',&# (% )&%7), 7#0 $%&$*-1 ? %- $ % &"%5*>5'$*#- *& -#$ '@'*,'(,%= ? *5 *& #7$%- $ % 5'&% 7#0 ,'01% &!&$%+&2 J*-',,!= *-@'0*'-$6('&%. $%5 -*F)%& "0#@*.% *-$%06 %&$*-1 "%0&"%5$*@%& 7#0 +#-*$#0*-1 5#-7#0+'-5% "0#"%0$*%& .)0*-1 $ % %4%5)$*#- #7 $ % CE32 C- $ *& ,'&$ 5#-$%4$= ' 0%,'$%. '0%' '& 1'*-%. "#"),'0*$! *- $ % ,'&$ .%5'.% 70#+ $ % @%0*>5'$*#- 5#++)-*$!= 5',,%. (2#$"3- .-("4'*$"!# KL%)5D%0 MNNOP2
Q)-$*+% @%0*>5'$*#- *& ' .*&5*",*-%= .%0*@%. 70#+ 3!+-) '5-'6"#0= $ '$ .%',& ?*$ $ % &$).! #7 @%0*>5'$*#- $%5 -*F)%& $ '$ ',,#? 5 %5D*-1 ? %$ %0 ' 0)- #7 ' &!&$%+ &'$*&>%& ' 1*@%- 5#00%5$-%&& "0#"%0$!2 R*/%0%-$,! 70#+ "'&&*@% $%&$*-1= %4%5)$*#-$0'5%& *- 0)-$*+% @%0*>5'$*#- '0% -#$ ,*+*$%. $# *-")$S#)$")$ %@%-$& '-. '0% 1%-6 %0',,! .%&50*(%. '& ' &%$ #7 &$'$%& #7 $ % &!&$%+2 T& ?*$ +#.%, 5 %5D*-1= 0)-$*+% @%0*>5'$*#- .%',& $# ' 10%'$ %4$%-$ ?*$ $ % $%5 -*5', '&"%5$& #7 "0#"%0$! %@',)'6
!"! #$%&'()*&($%+ , !"# $#% &"#! "' ()#)'$ !"#* +),)' -).)//0 &$#1 "2 -) )3-#!45)/ $#% 3"#3)6 / "2 '5# !&) ,)'!73$ !"# &$1 $./" 8) 5/)% 2"' 6$//!,) 3"#2"'&$#3) )/ !#(*
!" #$%&'()*&($%+
9-) :# )'#) ;5. !&)%!$ <58/1/ )& =:;<> !/ $ / $#%$'%!?)% 2'$&)@"'A 2"' %).!,)'B !#( :C &5. !&)%!$ /)',!3)/ " 5/)'/ !# &"8!.! 1* : 6'",!%)/ $ 3)# '$.!?)% $'3-! )3 5') 2"' ).)3"&&5#!3$ !"# "6)'$ "'/ " !# )('$ ) $#% 6'",!%) $33)// " &5. !6.) DE ,"!3) $#% &5. !&)%!$ /)',!3)/0 @-!.) $./" 6'",!%!#( F5$.! 1 "2 <)',!3) =F"<> 3"# '". $#% 3-$'(!#( 2)$ 5')/ 2"' "6)'$ "'/* :;< /)',!3)/ ').1 -)$,!.1 "# :G9H / $#%$'%/0 !# 6$' !35.$' -) <)//!"# :#! !$ !"# C'" "3". =<:C>0 2"' -)!' /)//!"# 3"# '". $#% 3"&B &5#!3$ !"#* I!J)')# .1 2'"& " -)' 6'" "3"./0 -) <:C /6)3!73$ !"# KL"/)#8)'( MNNMO %")/ #" %)/3'!8) $ /)',!3)0 85 $ /) "2 )P )#/!8.) 6'!&! !,)/ 2"' /)//!"# )/ $8.!/-&)# 0 3"#B 7(5'$ !"# $#% )'&!#$ !"# "2 /)',!3)/0 @! - ",)' MNN ').$ )% / $#%$'%/ 8) @))# )P )#/!"#/ $#% 3"&6.)&)# /* :;< /)',!3)/ 5/5$..1 !# )('$ ) &5. !6.) "2 -)/) )PB )#/!"#/0 -5/ 6'",!%!#( !# )')/ !#( 3-$..)#()/ !# )'&/ "2 3"#2"'&$#3) )/ !#(* Q"#2"'&$#3) )/ !#( !/ ()#)'$..1 $8"5 )/ $8.!/-!#( 3"&6.!$#3) "2 $ 6$' !3B 5.$' 6'" "3". !&6.)&)# $ !"# " ! / / $#%$'%0 -"@),)'0 /"&) "2 -) )3-#!45)/ "2 3"#2"'&$#3) )/ !#( &$1 $./" 8) $66.!3$8.) 2"' )/ !#( "2 /)',!3) !&6.)&)# $B !"#/* :# -) 3$/) "2 :;< /)',!3)/0 2)$ 5')/ 2'"& &5. !6.) 6'" "3". $#% /)',!3) /6)3!73$ !"#/ $') !# )('$ )%0 $#% -)!' !# )('$ !"# %)/3'!8)% !# / $#%$'%!?)% %"35B &)# / KR6)# ;"8!.) S..!$#3) MNNT0R6)# ;"8!.) S..!$#3) MNUNO* Q"#2"'&$#3) )/ B !#( !# -) 3"# )P "2 :;< /)',!3)/ -)# &5/ 3"#/!%)' @" /)6$'$ ) $/6)3 /V ! !"# $!%&'" ( !$ (' ) *%!+! !, '"- (.+("/0!" 0&*,(&("+(- 12 +)( /(%30 ( +! 0+/ *'%+0 4,'% /*( 05 '+0!"6 ! '"- !"$!%&'" ( !$ +)( 0"+(7%'+(- (.+("/0!"/ +! +)( %(840%(&("+/ !$ +)( /(%30 (9 :4%+)(%&!%(6 ,' ; !$ !*(" 0&*,(&("+'+0!"/ $!% <=> /(%30 (/6 '"- 4/4', ,' ; !$ ' (// +! +)( !*(%'+!%?/ /(%30 ( 0"+(%$' (/ %(/+%0 +/ +)( *!//010,0+0(/ $!% +)(0% ' +03( +(/+0"79 <" +)0/ @!%; @( *%!30-( 0&*%!3(&("+/ +! *'//03( +(/+0"7 +( )"084(/ $!% +)( +(/+0"7 !$ <=> '"- ><A#1'/(- /(%30 (/6 +)'+ @( ',/! 1(,0(3( &'2 *%!30-( 4/($4, $!% !+)(% '**,0 '+0!"#,'2(% *%!+! !,/ '"- /(%30 (/9 B%'-0+0!"', *'//03( +(/+0"7 +( )"084(/ -(%03( $%!& &!-(,#1'/(- +(/+0"7 +( )# "084(/6 4/4',,2 1'/(- !" :0"0+( >+'+( =' )0"( C:>=D6 E.+("-(- :>= CE:>=D '"-F'1(,(- B%'"/0+0!" >2/+(& CFB>D /*( 05 '+0!"/9 B)(/( &!-(,/ 4/4',,2 *%(/4&( ' '4/', %(,'+0!" 1(+@((" +)( !"+%!, *'%+/ !$ 0"*4+/ '"- !4+*4+/ 0" +)( +%'"/0+0!"/ !$ +)( &!-(,6 -4( +! +)(0% !%070"', 4/( $!% %(' +03( /2/+(&/6 &('"0"7 +)'+ +%' (/ C!1# /(%3'+0!"/D $%!& +)( /2/+(& +';( +)( $!%& !$ ' /(84(" ( !$ 0"*4+G!4+*4+ *'0%/9 B)0/ ',,!@/ +(/+0"7 +( )"084(/6 '"- 0" *'%+0 4,'% 0"3'%0'"+#1'/(- +( )"084(/6 +! &';( 4/(
!" #$ %&'(!')#(* +,-( (.* "*#)*" /#$ "*0*" (! !!"#$$%%%&"'()*!+,*-&(./$+"/($0+"$ 0!'12'-20& !/3
!"#$%&' () *+%',-./%0,+ ! "#$% $&#"&'()* ! + ,-./(/0 1+ 1-+)(-"2 "-3#-/$-" ! (/1#)"4 #)1#)"2 )%&) 5#") 6-"--/ / )%- )+&$- ) -")&6'("% $ /! +5&/$- ! )%- (51'-5-/)&)( /7 8 + )+&$-" ! 5&/* 1+ ) $ '"2 "#$% $&#"&'()* (" / ) &'9&*" &11'($&6'-2 "(/$- 5&/* #)1#)" $&/ 6--:1-$)-, ! + &/ (/1#) &/, ;($- ;-+"&7 < +- ;-+2 (/ $ ''-$)( / ! +-&' )+&$-"2 1&+= )($#'&+'* ! + $-/)+&'(>-, "-+;($-"2 )%- )+&$- 5&* $ /)&(/ (/)-+&$)( /" 9()% 5#')(1'-$'(-/)"2 9%($% 5&?-" -")&6'("%(/0 $&#"&'()* 6&"-, / $ /)+ ' 1&+)" -;-/ 5 +- ,(@$#') ) ,-)-+5(/-7
A/ "#$% )*1- ! )+&$-"2 $&#"&'()* 6-)9--/ -;-/)" (/ & )+&$- $&/ 5&/* )(5-" 6- -"= )&6'("%-, /'* )%+ #0% ,&)& 1&+)" ! 5-""&0-"7 B 9-;-+2 &" )+&,()( /&' )-")(/0 C&/, ;-+(.$&)( /D &11+ &$%-" ,-+(;- !+ 5 9 +?" 9()% ./()- ")&)- C + '&6-'-, )+&/"()( /D 5 ,-'"2 )%-* &+- #"#&''* 1+ 1 "()( /&' (/ /&)#+-2 5-&/(/0 )%&) )%-* .+") )&?- (/) &$= $ #/) $ /)+ ' 1&+)"2 9()% ,&)& 1&+)" &" &/ -:)-/"( / ! $ /)+ ' 1&+)"2 0-/-+&''* (/ )%-! +5 )%-! 1&+&5-)-+" &,,-, ) )%- $ /)+ ' 1&+)"7 E%(" 5-&/" & +-,#$-, -:1+-""(;-/-"" ! ! +5#'&" ) -")&6'("% ,&)& +-'&)( /" + -:1+-""(;-/-"" (/ -:1-/"- ! "#$$(/$)/-"" ! ! +5#'&"7 E%(" 6-$ 5-" -;-/ 5 +- $+()($&' 9%-/ $ /")+&(/)" )%-+ )%&/ -3#&'()* ! ,&)& 1&+&5-)-+" (" /--,-,7 F')% #0% " 5- 9 +?" (/ (/;&+(&/)=6&"-, &11+ &$%-" %&;- 6--/ 1+ 1 "-, ) ,-&' 9()% ,&)& (/ )%- ! +5 ! $ /")+&(/)" GH&,&/( IJJKL2 )%-* +-3#(+- )%- #"- ! & "1-$(.$&)( / ) ,-)-+5(/- $ /")+&(/)"2 9%($% '(5()" )%- 1+&$)(= $&'()* ! )%- &11+ &$%2 "(/$- & "1-$(.$&)( / (" / ) &'9&*" &;&('&6'-2 1&+)($#'&+'* ! + '&+0- "*")-5"7
M/- '&") (""#- %&" ) 6- $ /"(,-+-, 9%-/ $&#"&'()* 6-)9--/ -;-/)" (" +-5 ;-,7 N%-/ )-")(/0 9()% 1+ 1-+)(-" / ./()- )+&$-"2 9%-/ )-")(/0 & 1+ 1-+)* "#$% &" O(! -;-/) x %&11-/" )%-/ -;-/) y 5#") 6- 6"-+;-, / )%- )+&$-P2 () 5&* $$#+ )%&) -;-/) x (" 6"-+;-,2 6#) -;-/) y (" / ) 6"-+;-,7 Q/'-"" " 5- &""#51)( /" &6 #) )%- -:-$#)( / &+- 5&,-2 () 5&* / ) 6- 1 ""(6'- ) ,(")(/0#("% 6-)9--/ )%- $&"-"R O)%- -;-/) y 9&" /-;-+ 1+ ,#$-, 6* )%- (51'-5-/)&)( /P &/, O)%- )+&$- $ ''-$)( / ./("%-, 6-! +- y $ #', 6- 6"-+;-,P7 E%(" (""#- %&, &'+-&,* 6--/ / )-, ! + 6&$?9&+, 1+ 1-+)(-" GS&*"- IJJKL CO(! x (" 6"-+;-,2 )%-/ y 5#") %&;- 6--/ 6"-+;-, 6-! +-PD &/, & " '#)( / 6&"-, / 1&""(;- )-")(/0 !"#$% & '() ) ,-)-$) (! )%- (/()(&' ")&)- ! )%- "1-$(.$&)( / 9&" $ /)&(/-, (/ )%- )+&$- 9&" 1+ 1 "-,7 B 9-;-+2 (! & "1-$(.$&)( / (" / ) (55-,(&)-'* &;&('&6'-2 "#$% " '#)( / (" / ) !-&"(6'-2 &/, / -3#(;&'-/) " '#)( / -:(")" ! + ! +9&+, 1+ 1-+)(-"7 T(5('&+ (""#-" %&;- 6--/ (,-/)(.-, (/ )%- '()-+&)#+- ! +#/)(5- ;-+(.$&)( / GS&#-+ IJJUL7
A/ )%- 9 +? 1+-"-/)-, (/ )%(" )%-"("2 9- 1+ 1 "- " '#)( /" ) )%-"- (""#-" 9()% & 5-""&0-=6&"-,4,&)&=$-/)+($ &11+ &$% ) $ /! +5&/$- )-")(/07 A/ #+ 9 +?2 -;-/)" (/ & )+&$- &+- ")(('%)(2 (7-7 $ ''-$)( /" ! ")+#$)#+-, ,&)& .-',"2 9()% $ /)+ ' 1&+) ,-./-, &" & !#/$)( / ! )%- ,&)& 7 F ! +5&' ,-./()( / ! & 5-""&0- (" 1+ ;(,-, &/, !#/$)( /" ! + ,-&'(/0 9()% ,&)& .-', ;&'#-" &+- ,-./-,7 T1-$(.$ 6"-+;&)( /" &+- ,-./-, )%+ #0% $ /")+&(/)" + +-")+($)( /" / 5-""&0-"2 -707 )%&) " 5- ,&)& .-', (/ )%- 5-""&0- $ /)&(/" & "1-$(.$ ;&'#- + +&/0- ! ;&'#-"2 &/, +-'&)( /" ) 6"-+;-, 6-)9--/ 5#')(1'- 5-""&0-" &+- &'" ,-./-, (/ )%&) 9&*2 -707 )%&) ,&)& .-',"
!"! #$%&'& ()*+ , !"#!!$ "#% &!''()!' &("*+ ,%- .% $%" &("*+/ 0$ "+!0- 1(23!'4 5+!'! -!'"-0*"0%$' %$ &!''()!' (-! .!6$!. 0$ "+! 7%-& %7 8%-$ *2(3'!'9 #+0*+ +(' "+! (..!. !$!6" %7 (22%#0$) -!:3'( 020"; %7 *2(3'!'4
5!&<%-(2 -!2("0%$' !"#!!$ !1!$"' (-! .!6$!. "+-%3)+ =3($"06*("0%$ ,∃9 ∀/ %1!-&!''()!'9 ($. '!(-*+ .0-!*"0%$ ,7%-#(-.9 (*>#(-./ 0' '<!*06!. ; !?<20*0" %-.!--!2("0%$'9 !4)4 ∀x<m : condition 0$.0*("!' "+(" condition &3'" ! "-3! 7%- !1!-;
&!''()! (<<!(-0$) !7%-! m 0$ "+! "-(*!4 5+0' (22%#' $%" %$2; "% .!6$! 7%-#(-. ($. (*>#(-. !1!$"'9 3" (2'% ( &0? %7 %"+4 @%"+ "+! ';$"(? ($. '!&($"0*' 7%- "+! 2%)0* 3'!. "% !?<-!'' <-%<!-"0!' ($. ($ (2)%-0"+& 7%- !1(23("0%$ %7 "+! <-%<!-"0!' %$ %A:20$! "-(*!' (-! .!6$!.4 5+! (2)%-0"+& (22%#' "% % '!-1! &32"0<2! %**3--!$*!' %7 ( <-%<!-"; 0$ ( "-(*! ($. -!"3-$' ( "-3"+ 1(23! 0$ {⊤, ⊥, ?} ,"-3!9 7(2'! %- 0$*%$*23'01!/ 7%- "+! !1(23("0%$ %7 "+! <-%<!-";4
B$1(-0($"' (-! .!6$!. 3'0$) "+!'! .!6$0"0%$' (' ( <(0- (test, condition)4 5+! "!'" 0' "+! (*"3(2 <-%<!-"; "+(" $!!.' "% ! % '!-1!. 0$ "+! "-(*! ($. "+! *%$.0"0%$ 0' ($ (2"!-$("01! % '!-1("0%$ "+(" (22%#' "% .!"!-&0$! 07 ($ C?D -!'32" 7-%& "+! (2)%-0"+& 0' ($ (*"3(2 7(023-! %- "+(" $% 1!-.0*" *($ ! <-%.3*!.9 %A!-0$) ( <%''0 2! '%23"0%$ "% "+! <-!10%3'2; .!'*-0 !. 0''3!4 5#% ";<!' %7 0$1(-0($"' (-! .!6$!.E !"#$#%& ($. '&()$#%&9 "% "!'" 7%- '!=3!$*!' "+(" &3'" ! % '!-1!. 0$ "+! "-(*!9 3" (2'% 7%- "+%'! "+(" '+%32. $!1!- ! % '!-1!.4 F <-%*!.3-! 7%- <-%10.0$) *%$7%-&($*! 1!-.0*"' ,(*&&9 -*')9 '+./+.)0&'1%/ %$ ($ 0$1(-0($"D' (test, condition) <(0- 0' <-%10.!. (' #!224 G! +(1! (2'% 0&<2!&!$"!. "+! *%$*!<"' .!'*-0 !. 0$ "+0' #%-> 0$"% ( 7-(&!#%->9 0$ %-.!- "% '+%# "+! (<<20*( 020"; %7 "+! #%-> ($. "!'"!. "+! (2)%-0"+&' %$ (*"3(2 BHI "-(*!'4
!" #$%&'& ()*+
5+0' &($3'*-0<" 0' %-)($0J!. (' 7%22%#'E K4 B$ "+! '!*%$. *+(<"!- #! <-!'!$" ( '"("! %7 "+! (-" %7 *%$7%-&($*! "!'"0$) "!*+$0=3!'4 G! )% 7-%& "+! )!$!-(2 *%$*!<"' %7 *%$7%-&($*!9 7%-&(2 &!"+%.' ($. 7%-&(2 "!'"0$) 7%- *%$7%-&($*!9 "% ( -0!7 %1!-10!# %7 (*"01! "!*+$0=3!' ($. &%-! .!"(02!. 10!# %7 <(''01! "!'"0$) (<<-%(*+!' 7%- *%$7%-&($*!4 G! (2'% <-%10.! ( )!$!-(2 %1!-10!# %7 -3$"0&! 1!-06*("0%$ (' ( .0'*0<20$!9 0"' % L!*"01!'9 '%&! -!2!1($" #%->' "% "+! (<<-%(*+ <-!'!$"!. ($. "+! -!2("0%$ #0"+ <(''01! "!'"0$)4 M4 B$ "+! "+0-. *+(<"!- #! <-!'!$" IBN ($. "+! BHI4 G! !)0$ ; ($ %1!-10!# %7 IBN9 0"' !$"0"0!' ($. '%&! %7 "+!0- !+(10%-9 (2%$) #0"+ "+! &!''()! ';$"(? ($. "+! -!2!1($" .("( *(--0!. ; IBN &!''()!'4 O%- BHI9 #! -0!P; .!'*-0 ! '%&! %7 "+! !$"0"0!' 0$ 0"' *%-! (' #!22 (' '%&! %7 "+! !+(10%- %7 "#% BHI '!-10*!'9 "+! N3'+:"%:"(2> Q1!- R!2232(- ($. "+! N-!'!$*! '!-10*!4!"#$%&' () *+%',-./%0,+ ! "# $%& '()*$% +%,-$&* .& -*&/&#$ ()* 0#0$0,1 ,--*(,+% '(* +(#'(*2,#+& $&/$0#3 (' "45 /&*60+&/7 $%*()3% ,# 0#8)/$*0,1 *&,19+,/& /$)8:! ;%& ,--*(,+% $%&*& /&*6&/ $( 8&/+*0<& /(2& (' $%& 1020$,$0(#/ (' $&/$0#3 .0$% +(#$*(19+&#$*0+ -*(-&*$0&/7 ,#8 -*(608&/ /(2& (' $%& 2($06,$0(# ,#8 0#/-0*,$0(# '(* $%& -*&/&#$ .(*=! >! ;%& ?'$% +%,-$&* +(#$,0#/ ()* 2,0# +(#$*0<)$0(#! @& ?*/$ 8&$,01 (# $%& 10209
$,$0(#/ (' $%& +)**&#$ 0#6,*0,#$ ,--*(,+%&/7 $%*()3% $%& 0//)&/ (' +,)/,10$: (' 0#-)$/ ,#8 ()$-)$/7 ,/ .&11 ,/ $%& *&A)0*&2&#$/ (' , 8,$,9+&#$*0+ ,--*(,+%! @& $%&# <&30# $%& 8&$,01 (' &,+% -,*$ (' $%& +(#$*0<)$0(#B $%& 8&?#0$0(# (' $*,+&/ ,/ /&A)&#+& (' 2&//,3& &6&#$/ ,#8 $%& '(*2,10C,$0(# (' 2&//,3&/ ,/ 8,$, /$*)+$)*&/7 $%& 8&/+*0-$0(# (' $%& /:#$,D ,#8 /&2,#$0+/ (' '(*2)1,/7 <($% '(* $%& E(*#9<,/&8 +1,)/&/ ,#8 $%& &/$,<10/%2&#$ (' $&2-(*,1 *&1,$0(#/! ;%&# .& 8&/+*0<& $%& ,13(*0$%2 '(* &6,1),$0(# (' '(*2)1,/ 0# $*,+&/7 ,#8 8&/+*0<& $%& +(2-1&D0$: (' $%& ,13(*0$%2! F0#,11: .& 8&$,01 (# $%& &6,1),$0(# -*(+&8)*& '(* -(/0$06& ,#8 #&3,$06& 0#6,*0,#$/ ,#8 $%& &6,1),$0(# (' $%&0* $&/$ ,#8 +(#80$0(# -,*$/! @& ?#,11: -*(608& ,# &D,2-1& 8&?#0$0(# '(* , 5"G9<,/&8 /&*60+&7 ,/ .&11 ,/ &D-&*02&#$/ (# *&,1 -*($(+(1 $*,+&/!
H! I# $%& ?#,1 +%,-$&* .& +(#+1)8& $%& -*&/&#$,$0(# (' ()* .(*=7 -*(6080#3 , /)22,*: (' ()* +(#$*0<)$0(#/7 ,/ .&11 ,/ , /&$ (' -&*/-&+$06&/ '(* ')$)*& &D$&#/0(#/ ,#8 02-*(6&2&#$/ '(* ()* ,--*(,+%7 -,*$0+)1,*1: 0# $&*2/ (' *&,1 $02& &6,1),$0(# ,#8 *)#$02& &6,1),$0(# (' -*(-&*$0&/!
!"#$%& '
!"!# $% !&# '(!
!"#$"#%
!" #$%&'() *+ ,*--.(',/&'*( 01*&*,*2% ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3
!"!" #$%&$'()%*+ ,+-,.%/ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0
!"! 1$'()2 ,+-,.%/ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3
!"!4 #$%&$'()%*+ ,+-,.%/ 5.,6 &$'()2 -7+*.8*),.$%- ! ! ! ! ! ! ! ! "9
!"!: ;)--.<+ ,+-,.%/ &$' *$%&$'()%*+ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ":
! 4.(&'-$ 5$1'6,/&'*(! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "
!" #$%&'() *+ ,*--.(',/&'*( 01*&*,*2%
!"#$%& ! "#$ %&'($!! ') '%$&*" +, * !-!"$. '& ('.%'+$+" /+0$& !%$( 1$0 ('+0 2 " '+!3 "' '4!$&5$ "#$ &$!/6"! *+0 %&'5 0$ *+ $5*6/*" '+ ') !/(# !-!"$. '& ('.%'2 +$+" 78999 :"0 ;<=><?2<@@= <@@=A> B*+- "-%$! ') "$!" +, $C !"3 0$%$+0 +, '+ "#$ %&'%$&"- 4$ +, $5*6/*"$03 )'& +!"*+($3 " ! %'!! 46$ "' "$!" )'& %$&)'&.*+($3 /!*4 62 "-3 !(*6*4 6 "-3 $"(> !"#$%& '() *())!*#%!""3 "#$ .* + ('+($&+ ') "#$ (/&&$+" D'&E3 ! "$!" +, *! * .$*+! ') (#$(E +, "#*" * !-!"$.F! G'& ('.%'+$+"F!H 4$#*5 '& ('&&$2 !%'+0 D "# * %&$0$1+$03 0$! &$0 4$#*5 '&> B'&$ !%$( 1(*66-3 "$!" +, )'& ('&&$("+$!! ! "#$ %&'($!! ') 0$"$(" +, '+,-#" '& 0$)$("! + * !-!"$. .%6$.$+"*" '+3 $ "#$& 0$+" )- +, !))()" G +('&&$(" +"$&+*6 !"*"$!H 0/& +, "#$ $C$(/" '+ ') "#$ !-!"$.3 '& 4- "#$ '4!$&5*" '+ ') *+ +('&&$(" $C"$&+*6 4$#*5 '& G* '+$-,)!H> I$!" +, (*+ '+6-!#'D "#$ %&$!$+($ ') )*/6"! *+0 +$5$& "#$ & *4!$+($ 7J KE!"&* <@L=A>
8+ "# ! !$(" '+ D$ 0$5$6'% "#$ ('+($%"! &$6*"$0 "' "$!" +, ') ('../+ (*" '+ %&'"'('6!3 '& *(%'().+%*! #!"#$%& *+0 %&'5 0$ *+ '5$&5 $D ') "#$ 6 "$&*"/&$ &$,*&0 +, "# ! *&$*> M6"#'/,# "# ! !$(" '+ +"$+0! "' %&'5 0$ * ,$+$&*6 5 $D ') ('+)'&.*+($ "$!" +, .$"#'0'6', $!3 " D 66 *6!' 0$"* 6 %*&" (/6*&6- "#$ !/4!$" ') ('+)'&.*+($ "$!" +, E+'D+ *! /+""$0! #!"#$%&3 D# (# 0 &$("6- &$6*"$! "' "#$ D'&E + "# ! 0'(/.$+">
&'('( !")!*+,"-$ #$%#."/
1)(#(*(- *(%'().+%*! #!"#$%& ! * 4&*+(# ') "$!" +, 0$! ,+$0 "' 0$"$&. +$ ('.%6 2 *+($ ') %&'"'('6 .%6$.$+"*" '+! "' "#$ & !"*+0*&0!> B'&$ %&$( !$6-3 "#$ '4K$(" 5$
!"#$%&' () *%#%& +, %"& -'% ! " #! $%&#"' (')(*#+ *) ( ,'('$%*#' " %-.*&#"' ! & -&$(*"/.&$ !"#$!$%&'& (% )%*$+ &$,& ( & )'( ! -(%.(+!'%-$ +$/) +$!$%&, ,'0#', ,*$'"(.1 $ *#,*$'"(.1 21 (3' -$ ( " . )(&#,&$, , "/%'#()4 5.(3 /+3 & ,*)(*#"(* # "&# 2' ,$&6# 6*(3 7+'#'$&.8 -(%.(+!'%-$ &$,& %09 % " #"'-() &$' " %% # &#, (3'$'! $' (3$ /+3 (3' $')( ! (3*) 6 $: 6' 6*.. /)' 2 (3 " #"'-() &) ';/*<&.'#()4
=$ ( " . " #! $%&#"' (')(*#+ *) & (1-' ! 1#'-231(4 (')(*#+9 $ .)%-& (%'# &$,& %09 %'&#*#+ (3&( (3' *#('$#&. )($/"(/$' ! (3' *%-.'%'#(&(* # *) *+# $', 7 $ /#:# 6#89 &#, (3' '<&./&(* # *) , #' 2&)', # (3' 2)'$<&(* # ! *#-/()9 /(-/() &#, '>'"/(* # " #,*(* #) ,/$*#+ (3' '>'"/(* # ! (3' (')( 7 $ ,/$*#+ # $%&. $/#(*%' *# "',, 5$ &$,&3 %084 ?# " #($&)(9 *# 67 &$31(4 &$,& %0 $ ,&+)-&)+'# &$,& %09 /)/&..1 /)', *# ) !(6&$' (')(*#+9 (')() &$' ,'$*<', (&:*#+ *#( &"" /#( (3' *#('$#&. )($/"(/$' ! (3' )1)('% $ -$ +$&%4 @3' *#,'-'#,'#"' 2'(6''# (')( &#, *%-.'%'#(&(* # *# 2.&":A2 > (')(*#+ *) ! +$'&( *%- $(&#"' *# $'% <*#+ 2*&)') !$ % (3' (')(*#+ -$ "'))4
@3' 0$)( )('- *# -$ ( " . " #! $%&#"' (')(*#+ *) *,'#(*!1*#+ (3' " #! $%&#"' $';/*$'%'#() !$ % (3' )(&#,&$, , "/%'#(4 @3' ?BCD?EF )(&#,&$, ! $ " #! $%&#"' (')(*#+ G?BCD?EF HIJI KHHJL 7& + , <'$<*'6 *) -$ <*,', *# G@$'(%&#) MNNKL89 *,'#A (*0') (6 (1-') ! " #! $%&#"' $';/*$'%'#()4 8&'& - -(%.(+!'%-$ +$/) +$!$%&, ,'A 0#' (3' "&-&2*.*(*') &#, *#('$,'-'#,'#"' 2'(6''# "&-&2*.*(*') ( 2' )/-- $(', 21 *%-.'%'#(&(* # ! (3' -$ ( " .4 9:%'! - -(%.(+!'%-$ +$/) +$!$%&, )-'"*!1 (3' 2)'$<&2.' 2'3&<* $ -'$%*((', &#,D $ $';/*$', 21 (3' -$ ( " . )(&#,&$,4
B(&(*" " #! $%&#"' $';/*$'%'#() &$' /)', ! $ "&-&2*.*(1 (')(*#+4 @3' =$ ( " . ?#! $%&(* # F #! $%&#"' B(&('%'#( 7=?FB89 & , "/%'#( -$ <*,', 21 (3' ,'<'. -'$ )(&(*#+ (3' "&-&2*.*(*') ! (3' *%-.'%'#(&(* #9 *) $'<*'6', &. #+ 6*(3 (3' )(&(*" " #! $%&#"' $';/*$'%'#() ( "3'": " #)*)('#"1 *# (3' *%-.'%'#(', "&-&2*.*(*') *# & -$ "')) "&..', (3' ,&'& - -(%.(+!'%-$ +$5 $64
O1#&%*" " #! $%&#"' $';/*$'%'#() &$' /)', ! $ 2'3&<* $ (')(*#+ ! (3' *%-.'A %'#(&(* #4 5 &$,& -',$9 &# *#,*<*,/&. ,'0#*(* # ! (3' *#-/(D /(-/( " #,*(* #) $';/*$', ( )&(*)!1 & $';/*$'%'#(9 &$' ,'$*<', !$ % ,1#&%*" " #! $%&#"' $';/*$'A %'#()4 @3' )(&#,&$, ,'0#') & )'<'$&. )('- -$ "')) *# $,'$ ( + !$ % $';/*$'%'#() ( '>'"/(&2.' (')()4 5.(3 /+3 *#('$%',*&(' )('-) &$' &.) ,'0#',9 (3' (3$'' ,'0#', 2'. 6 ,')"$*2' *# +'#'$&. ('$%) (3' -$ "'))4
K4 C#' $ % $' &$,& ")+"(,$,9 &$' ,'$*<', !$ % '&"3 ,1#&%*" " #! $%&#"' $'A ;/*$'%'#(4 5 &$,& ")+"(,$ *) & -$'"*)'9 #&(/$&. .&#+/&+' ,')"$*-(* # ! 63&( #'',) ( 2' (')(', *# $,'$ ( ,'('$%*#' (3' )&(*)!&"(* # ! & -&$(*"/.&$ " #A ! $%&#"' $';/*$'%'#(4
M4 P$ % (3' (')( -/$- )')9 & )'( ! '1,&+'-& &$,& -',$, *) ,'0#',4 5# '1,&+'-& &$,& -',$ *) & (')( "&)' (3&( )-'"*0') (3' " #,*(* #) ! $ )&(*)!&"(* # ! & -&$(*"/.&$ $';/*$'%'#( *# & 6&1 (3&( *) *#,'-'#,'#( ! (3' -$ ( " . *%-.'A %'#(&(* #4 52)($&"( (')( "&)') &$' 6$*(('# *# ) %' (')( # (&(* #9 @$'' &#, @&2/.&$ F %2*#', Q (&(* # 7@@FQ8 G?BCD?EF HIJI KHHJ9 -&$( RL 2'*#+ (3'
