A Partial Evaluator for the Untyped Lambda Calculus 1 Carsten K ...

                !" #$%&' ()* +" ,$  - $%&.&)/0"&/' )*.&)/0"&/ +1!2' +3%  $4 $%30 56) 6 2 )7)8 $4 $3 9 -  :; 2
 !
 =  ' ;   "
1 *& S$/ " " " " " " " " " " " " " " " " " " " " " " " " " " "  "
"
F)*  7*0)$ " " " " " " " " " " " " " " " " " " " "  "
" V) &) - @)% W *8) " " " " " " " " " " " " " " " " " "  "
" 5% )6B&)6& 6$%3)* -  )$ " " " " " " " "  " 00 S$/ " " " " " " " " " " " " " " " " " " " " " " " " " " "  " "
@ -  $&
0*)8 " " " " " " " " " " " " " " " " " " "  " " 536)*)  )$ $4 (%& $%A) $ " " " " " " " " "  " " W33*)6)$  $4 V@W " " " " " " " " " " " " " " " " " " "  " $ 6*0)$ " " " " " " " " " " " " " " " " " " " " " " " " " " " " 3 &  >= 28 ?   9 7 :
 3 #   =
 ' # 8


>=
 :
$' < 2
>  # 8


>=
 ' < 2
> 

>=  > #  ? 
> 2 >

>  # 8


>=
 #  ? ' < 2
> % =  =
) "
" ) "
")



)  *    ) ) ) ) )) )) )) )* )        


  @9) )6* &7*$3  )%3* *4B33*)6A* 3)* 7*0$ 4$  9)- 9 $& * - 0 - ' 9 *%A& 6*60*0"  E%3* &%$  9 9 3)* 7*0$ 6 A 0& 0$%)6**8 $ -    * - 0 -  )%3*% )$ ) 9 4$% $4  6$%3)*' - )7  ) 30  4$% * - 0 -  &D ))$ ) 9 4$% $4  & $)$ * % )6" 5*4B33*)6A* 3)* 7*0$ 4$ D $& * - 0 -  9& A $0 & 4$ 4$0 8 A4$ 9) 3$  6 C A - 0 " @9 - $* C $ -  B *)  9 69 ) 0 9 C$/& C** 4$ D $& * - 0 -  $ ) 6*0& 9 9)- 9 $& * - 0 -  C)9 9) 9)- 9 E3)7 3$C" S 97 066&& ) &$) - 9)- 9 $& 3)* 7*0)$ ' A0 9 69 ) 0 0&  $%C9 &)    & )%3* 6 9 9$ 0& ) *) 3)* 7*0)$ 3$  6" @$ & 9) )6*'  03D6)* / $C*& -  $4 & $)$ * % )6' 83& 3$ - %%) - * - 0 -   & 83 ) 4 6 8% C)** A A D6)*" 
       @9 - $* $4 3)**8 7*0) - *%A& E3)$  9 A ) 9 %) & $4 9 3$ - %%) - * - 0 -  9$8 - $03  +1!2 ) 6 9 D 066 C)9 D $& * - 0 -  )
) " 1 6  ) )- 9 - C 4$% 0%$0 &)60)$  ) 9) - $03' ) 6*0&) - ) 3)60* W & V$ &$4' T*)7) + 78'  & @$A . $ -   '  C**   !9* - $*' @9$% ,  '  & F 5$4" S *$ 9 / 9 - 0  & $9 6  0) B  6 $4 9 - $03 9 97 )%0*& 9 C$/ A8 9$C) - 9) )  ,$9 - 0 - 9' ,$9 ( 0 69A08' $*8 @*6$' F9)* S&*'  & % 8 $9  "

)


    

  

W * - 0 -  + )%3*% )$ 9$0*& A - 0)&& A8 ) 36) % )6 &D )B )$ " 1 %  )%3$)A* / $ )%3*%   *))6 * - 0 -  6$6*8 $ 9 A) $4  *$$ )& $4 9$C ) 9$0*& C$/"  7 C)9  36) 4$%* $ ) 4$%* % )6 &6)3)$ ) ) )9  %** $  8 / $ )%3*%   6$%3)* 6$6*8" @94$ 9 %69 )6* &)7)$ $4  * - 0 -  )%3*% )$ 4$%  % )6 &D ))$ 9 6)7& -   )$    $4 69 &0) - 9 *  8" @9 - $* ) 6* 4 $%  * - 0 -  &D ))$ E3& )  $ $$ 60%A$% 4$%*)% 0$%)6**8 $ &)7    6)  )%3*% )$ 9 ) 4)940* $ 9 % )6 &D ))$ " W )%3$  4$%*)% 4$ )- ) - % ) -  $ 3$ - % ) KHYPZM] ZJPYMN IHRMYZJ I :5$8
 ' 569%)&
*; 4$0 && A8 56$  & 5698" W & $)$ * &D ))$ )-  $ 69 3$ - %  *%A& E3)$ &B $) - 9 ) 30 $030 40 6)$ 6$%30& A8 9 3$ - %" + $)$ * % )6 C )  && $ A 9 %9%)6* 9$8 $4 3$ - %%) - * B - 0 - ' 8) - \  MZ 9 % ) - $4  3$ - % )' A0 $9) - A$0  P \ $ 6$%30 )" - $C $ 6$%30 ) C 6$ )&& )*7  $ 0 & &) 9 % ) - $4  3$ - %" 5) 6 9 *%A& 6*60*0 6 A )%3*% &  '  & $)$ * &D ))$ $4  3$ - %%) - * - 0 -  6 60**8 0 &)6*8 $  %69) " S %8 90 7)C  & $)$ * &D ))$   JYZHGOGHZHG 4$ 9 &D & * - 0 - ' % ) - 9 C 97 4$ 4  * - 0 -  )%3*% )$ &)7& C)9$0 &$) -  89) -  4$%  4$%* * - 0 -  &D ))$ " $0*& C / 4$ %$ 5  ' C / 4$ H  JHY  " W & $)$ * % )6 &D  9 % ) -  $4 3$ - % )  3$ - %B %) - * - 0 -  A8  *) - 9% ) $ 9 *%A& 6*60*0" @9 *%A& E3)$ 0*) - 4$% 9  *)$ 9 78 * -  6$%30)$ * $7B 9&  4$   6)  )%3*% )$ ' ) ) 68 $ )%3*)48 9 E3)$ A4$ ) ) 33*)& $ 9 3$ - % ) 30  & E60&" @9) C 9 B  umgn   ilata   u   mhe`de  eha e  fegad j` cla  etfde ie iv vg 

 - 8 0& ) 515 4 9 5% )6 1%3*% )$ 58% $4 :. $
; ' 9 D )  *$ - ) $4 8% $ &)7 )%3*% )$  4$% & $B )$ * &D ))$ " @$ $0 / $C*& -  $  $4 9 8% ) $ 3$C40* $ $ )%3*  9 $  6$0*& 6$ )& 0) - 9 8% $ 6$ 06 ) $C 6$%3$  " W**   0) 6$%3*E' C)9 % 8  -  $4 3$6) -  & ) %&) * - 0 - " 1 6$ ' 9 3)* 7*0$ 3 & 9 ) 7$*7 $ *8 $  * - 0 -  C)9  $)$   '  & ** 6$%3$    &B )7& 4$%  ) - * 3$ - %' /%)E 0 " MGZJMN H
MNLMZJPY )  $9 33$69 $ 9 -  )$ $4 * - 0 -  )%B 3*% )$ " F)* 7*0)$ )  3$ - %  4$%)$ 69 ) 0 36)*)  3$ - % C)9 36 $ - )7 ' ) 6$%3* ) 30 &" +0) 9 7 ) ) C *) & ) &3 & *8 ) ,3  & 9 5$7) 2 )$ :0%0

' @069)
 '  9$7
; 9 - )7  *4B33*)6A* 3)* 7*0$ ) C 3$)A* $ -    6$%3)* 4$  * - 0 - ' - )7  ) 30  $3)$ * &D ))$ ) 9 4$% $4  ) 3" 1 C $' 9$C7' 0 )*
) 9 9 D $ B)7)* *4B33*)6)$ C *) & $ 9 6$%30 :,$   
 ' ,$   
; " @9 * - 0 -  0& ) 9 3$  6 C D $& 60)$   0)$ " 5) 6 9 3)* 7*0$ 97 A &7*$3& 4$ 7)$0 $9 D $& * - 0 - ' A0 0 )* $C $ 9)- 9 $& $*0)$ 9 A &7*$3&" F)* 7*0)$ $4 9)- 9 $& * - 0 -  ) 6**8 &)A* A60 $4 9) E3)7 3$C  & * -  6" S9  6$%3)* ) -  & A8 *4B33*)6)$ $4  3)* 7*0$' 9 3)* 7*0$ ) 9 $ *8 3$ - % ) 7$*7& 3 4$% 9 * - 0 -  &D ))$ " 09%$  3)* 7*0$ ) 00**8  *)7*8 %** 3$B - %" 1 ) 90 %069 ) $ 3$7 9 -  & 6$%3)* 6$6 % B ) - 4 4)940* $ 9 ) 30 * - 0 -  &D ))$  A60 /**0 ) / ) $ 3$7 9 3)* 7*0$ 6$6" T 6 9) ) &$   & ) 9 A &$  4  :#$%&
;  & 3 11 $4 9) 33  ' 78 -  & 6$%3)* C)** A 4)940* $ 9 * - 0 -  &D ))$  4$% C9)69 98 C &)7&" @9) 6$%3**8 $A7) 9 & 4$ 9 &) 60* ) **60* C$/ ) 7$*7& ) 3$7) - ) &)7)&0* 6$%3)* 6$6 :#$ - 0  
 ' . $)
; " *

1 9) )6* C % -  9 C$ 9& $4 &7*$3%  /69& A$7" S 6$ 06  *4B33*)6A* 3)* 7*0$ 4$ 9 *%A& 6*60*0 C)9 0 )6& 0 $4 9)- 9 $& 40 6)$   & 33*8 ) $ $% %** E%3* & $)$ * &D ))$  $4 3$ - %%) - * - 0 - " @9 %39) C)** A $ \  MZ 9 3)* 7*0$ &$' ) 6*0&) - *4B33*)6)$ '  & $  P \ ) ) &$ ' 7) 9 C$B*7* *%A& 6*60*0  & A) &) - )%  *8)" F 11 $4 9) )6* ) %$ %9%)6*' 9$C) - \  %)E 40 6)$  6$6*8" 


            

@9 & 9$0*& A 4%)*) C)9 & $)$ * % )6 "- " :569%)&
*;   & 9$0*& 97 $% / $C*& -  $4 3)* 7*0)$ " W4  0%%8 $4 9) )6* + 6$  ' 9  $4 6)$
) &B 7$& $  7)C  & $77)C $4 9 A)6 9$8 $4 3)* 7*0)$  & 6$%3)* -  )$ %$ &)* %8 A 4$0 & ) :,$   
 ' ,$   
;  " W 6 * 3 $4 9 )6* ) 6)$  C9 9 8 E  & % )6 $4 $0 $ B  & C$B*7* *%A& 6*60*)  3 &" @9 / $4 3)* 7*0)$ ) 3*) ) $ C$ 4  ) C &&  $)$  $ 9 $ B*7*  $B %*  *%A& E3)$ $ $A)  C$B*7* E3)$ '  & 9 7*0 9  $& E3)$ " W 83 8% 9 0 9 3)* 7*0)$  - )  83 $ ) &)7& 4$% 9 % )6 $4 9 C$B*7* *%A& 6*60*0" 56)$  &%$  9$C 9 $)$ $4 /83  *8) $4 0 83& 3$ - % 0 3$7)&  6$ 7 )  4%C$/ 4$ &$) - A) &) - )%  *8)" 56)$ ) 3$ 9 0* $4 E3)%  C)9 $0 3)* 7*0$" S 0  ) 3 4$  %** )%3)7 * - 0 -  $ &%$  6$%B 3)*) -  & 6$%3)* -  )$ '  & &6)A E3)%  C)9  %6)60B * ) 3 4$ 9 *%A& 6*60*0 )*4" S ) 7)-  9 060 $4 9  -  3$ - %' 9 -  & 6$%3)*'  & 9 -  & 6$%3)* -  $' ** $4 C9)69 0 $0 $ A 78 0*"  ) **8 9 0 )% $4 $0 E3)% * 3$ - % E60)$   - )7 " 

56)$  &)60 *& C$/  & 0* C$/ $ 4$**$C 4 9)"  ) **8 C 0%%)   9 69)7%  $4 9) )6*" 1 9 33 &)6  569% )$ 9$C 9$C 9 )%3*% & 3)* 7*0$ C$/" ,)$0 3$ - % E  & -  & )&0* 3$ - % %8 *$ A 4$0 & 9" 


   
           
    

@9 6$ 63 $4 3)* 7*0)$  & 9 3$)A)*)8 $4 6$%3)* -  )$ A8 *4B33*)6)$ $4  3)* 7*0$ 97 A E3*$)& )  0%A $4 33' H Q ' :0%0

' ,$   
 ' ,$   
; " 1 9 4$**$C) - C 7)C 9 A)6 &D ))$ " 1 3)* 7*0)$ C  3$ - %  & $A  6  & ) ) 9B 4$ 0* $ 0  0 )7* &$%)  4$% C9)69 C &C A$9 3$ - %  & 9) &" S )& )48  3$ - %%) - * - 0 -  % C)9 ) % )6 3)*  40 6)$      C9)69 %3 69 7*)& % B3$ - % ) $ ) ) 30B$030 40 6)$ " $% $C $ % ) 9 *%A& 6*60*0  &  6$ B )  9  $4 ** ( )3 5BE3)$ " W E3)$ ) )& )D& C)9 ) 3 )$   *)' H Q '     4$ U "     $)$ * 6$ 7 )$ / $C  . 1@  /%A)& -  F$*)9 0  " S 033*8 9 ) 30 $  *%A& 6*60*0 3$ - % O 9$0 - 9 ) 4 7)A*   ' " " " '   $ 9 ) 30 $ 9 3$ - % ) 90 % 7*0'
 ' " " " '
 " S &D  % O :
    
 ; $ A   0* $  :O ;  9 % )6 7*0)$ 40 6)$  C)** A 4$%**8 &D & ) 6)$  "
 ' C9  < :  
     '  
 ; " $ )&' 4$ E%3*' 9 4$**$C) - E3$  )$ 3$ - % C)9 4 7)A*   &  " @9) 3$ - %' 6**& O P \ HG' ) C) )  ) 4$%* $)$  3$3*8 ) 9$0*& A ) %A)& -  F$*)9"   ! "  " #

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



$ !  

**) - 9 3$ - % O P \HG  & *) -  < :  '  
; ' C 97 % O P \ HG : 
; <  : OP \ HG ;  <  " => = != ;=      5033$ $C 9 O )  *%A& 6*60*0 3$ - % C)9 C$ 4 7)A*" @9 % O :K   K ; & $ 9 7*0 $4 O C)9 ) 30 K   & K 0A)0& 4$ 9 4 7)A*" 14 $ *8 K  ) 7)*A*' 33*)6)$ $4 9 % )6 40 6)$ % O K  &$ $ %/  '  9 0* ) *)/*8 $ &3 & $ K " - $C7' K  %)- 9 A 0& $ 34$% IPRH $4 9 6$%30)$  ) O' 8)*&) -  0*   4$%&' $3)%) & 7)$ $4 O" S 0 9 % OMGZJMN H
MNLMZJPY 4$ 9 3$6 $4 &$) - 069 6$%30)$  $ A) $4 ) 6$%3* ) 30 &" 1 $06$% )  3$ - %' $ 0 3)* 7*0)$ 0 ) **8  4$% $4 OGPQGMR IOH JMNJ MZJPY $  4$%)$  " W GHIJKLMN 3$ - % $4  % B3$ - % O C)9 36 $ 3)* & K  )  3$ - % O   069 9 4$ ** K 9 4$**$C) - 9$*& C9 < & $   0*)8 $4 3)* 7*0  4 % O :K   K ; < % O   K W OMGZJMN H
MNLMZPG )  3$ - % RJ 9 - )7 O  & 9 3)* & K  3$&06 9 )&0* 3$ - % O   " @9) ) 630& A8 9 RJ H  LMZJPY 4$ ** O  & K  4 % O :K   K ; < % % RJ :O  K ;  K @9) )  0  %  $4 !*  +  9$% 4$% 60)7 40 6)$ 9$8' C)9 % < <
" 14 O )  *%A& E3)$ ' 9 4 7)A* ) ) A$0 & $ K  ) 6**& IZMZJ  ' C9)* 9 A$0 & $ K ) 6**& K YMRJ  " # *) )$ $ $9 7*0 $4 %  & ) )- 94$C&"  E) 6 $4 %)E ) 6*)6**8 3$7& )  9 )7)* C8" $ E%3*' )4 O ) 9 3$C 3$ - %  & K  <  ) 9 7*0 $4 4 7)A*  ' 9 6*)6* )&0* 3$ - % % RJ :O  ; C$0*& A 4 

  ! "  " #

$ !



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

$ $0 303$ C C

 %$   6)  )&0* 3$ - % ) C9)69 ** 6$%B 30)$  &3 &) - $ K  97 A &$  A8 %)E" W A )&0* 3$C 3$ - % 4$ K  <  6 A - $ A8 0 4$*&) - 33*)6)$  $4 9 40 6)$ !  & &$) - 9 6$%30)$  ) 7$*7) -  ' 8)*&) - 9 )&0* 3$ - % 4 

 *  * (



; == > 

  (  :  & # A 3$ - %%) - * - 0 - ' 393 A0 $ 6)*8  &)4B 4  4$% % " W :B) 3 JYZ C) ) % )  3$ - % 9 40*D** : OQR KMZM < % JYZ :OQR  KMZM; 4$ ** KMZM" W :B$B # B6$%3)* PRO C) ) % )  3$ - % 9 40*D** : OQR KMZM < # % PRO OQR  KMZM 4$ ** OQR  & KMZM" @9  LZMRLGM OGP H  ZJPYI :0%0

'  9$7
;  9 - )7  3)* 7*0$ RJ  &  ) 3 JYZ ) ) 3$)A* $ 6$%3)* 3$ - %'  & 7 $ -    &B*$  6$%3)*  & 6$%3)* -  B $ A8 *4B33*8) - RJ " @9 9 0%0 3$  6)$   4 % RJ :JYZ  IPLG  H; < ZMGQHZ <  PROJNHG % RJ :RJ  JYZ; % RJ :RJ  RJ ; <  PROJNHG QHYHGMZPG F$ - % ZMGQHZ )  36)*) & 7)$ $4 % B3$ - % JYZ  & $ )*4  % B 3$ - %' $  *)$ 9 $660& 4$% 9 JYZHGOGHZHK * - 0 -  $ 9 * - 0 -  ) C9)69 9 ) 3 )*4 ) C) " @9 9  -  3$ - % ) 4)940* $ ) $06 ) )*8 7)D& 0) - 9 &D ))$  $4 ) 3' 6$%3)*  & 9 %)E   0)$ 4    #8







PLZO LZ ,)D6)$   0)7* 

< : IPLG  H JYO LZ < % JYZ :IPLG  H  JYO LZ; < % % RJ :JYZ  IPLG  H;  < % ZMGQHZ JYO LZ

JYO LZ

9 3$ - % PROJNHG 6$6*8  * $06 3$ - % ) $  -  3$ - % ) *$ )- 94$C& 4 ZMGQHZ < % RJ :JYZ IPLG H; < % % RJ :RJ  JYZ;  IPLG  H < %  PROJNHG IPLG  H  ) **8' C 6  9  PQHY  4$% ) 3 ) $ 6$%3)* A8 9 4$**$C) - 4  PROJNHG < %

RJ :RJ  JYZ; < % % RJ :RJ  RJ ;  JYZ < %  PQHY JYZ

@9 3$$4  &  %$ &)*& &)60)$ 6 A 4$0 & ) :,$   
; "
      
         @$ &$ 3)* 7*0)$ $4  *%A& E3)$ O ) ) %3) - $ )  9 3)* ) 30 & ) O'  & 33*8 $  $4 9 00* &06)$  - )' %$&)D& $ $ &06 C9 ) 0  6)  ) 4$%)$ ) 7)*A*" V0 9  && 6**BA8B %  & 6**BA8B7*0 &06)$  - ) 4$ E%3*  &D & ) :F*$/)
;  &$ $ &06 ) )& 9 A$&) $4 A6)$ " @9) 33$69 8)*& )7)* 0* ) 36)6" 1 ) $ $*0)$ )9 $ &06 ) &)6)%) *8 ) )& A6)$  ) 6 9) 6 *& $ ) D ) &06)$ )4 9 E3)$ 6$ )   DE& 3$)  $3$' $ 9  B6$%A) $ C)   *%A& E3)$ " @9 3$)  ) 9 4$ 3)* 7*0)$ $ 066&' IPRH  XLZ YPZ MNN $4 9 &E ) 9 E3)$ 9$0*& A &06&" .  8' $  *)* C$/ 



3$)A* C)** A *4 $ A &$  A8 9 )&0* 3$ - %  A0 $ $ % 8  $ )/ $ %) )$ " @90 $0 %) / ) $ &%)  C9)69 $  $ &06 $ 8)*&   6)  )&0* 3$ - % C)9$0 )/) - $ %) )$ " @9 6*)6* &%) ))6 &06)$ $&  LYJ[PGR ' % ) - 4 ) &B 3 &  $4 9 3$ - % A) - 7*0&" @9) ) ) 0  6)  4$ $0 303$ ) 6 9 A &06)$ $& %8 A 3$ - %B&3 & " W $*0)$ ) $ 0  YPY]LYJ[PGR GHKL  ZJPY IZGMZHQ  ' $  C9)69 *6 &E )  C8 &3 &) - $ 9 3)60* 3$ - % A) - 3)**8 7*0&" W )%3* 69 ) 0 ) $ %/ 3 $4 9 3$ - %  /)&0*0 ' $ 9 C)** $ A &06& A0 9 %) ) - $  C)**" S 94$ &$ 3)* 7*0)$ $4 *%A& E3)$  ) C$ 39" 1 9 D 39' C &%)  \  J  &E 9$0*& A &06&  6$%3)*B)%  & C9)69 $  9$0*& A GHIJKLMN' % ) - 9 98 9$0*& A 03 && 0 )* 0 B)%" @9) &%) )$ ' C9)69 ) &$  A4$ / $C) - 9 )6 &' ) 6**& XJYKJYQ ZJRH MYMN IJI' 9 64$9 6**&
 4$ 9$" 1 )%3$ 6 4$   6)  *4B33*)6)$ ) &)60& ) :V$ &$4  
; " @9 0* $4 33*8) - 9 V@W $  E3)$  ! )  MYYPZMZHK E3)$  !

)  C$B*7* *%A& 6*60*0" 1  !

9 V@W 9 %/& 9 3 $4  ! 9 9$0*& YPZ A &06&  3)* 7*0)$ )%" 1 9 6$ & 39 C A*) &*8 $A8 9  $)$ ' &06) - &E $ %/&  )&0*'  & -  ) - )&0*  -  6$& *$  *%A& E3)$  4$ 9 $3)$  %/& )&0*" @9 &06)$ 39 ) 3B 4$%& A8 33*8) -  % )6 40 6)$  C9)69 )  E )$ $4 9 00* 7*0)$ 40 6)$  $ 9  $& E3)$ "  %3 )&0* $3$ $ 6$& 3)6 4$ E60)$  0 B)%  & $ B)&0* $3B $ $ 9) /00*0 % ) - " 

               

S &7*$3  3)* 7*0$ 4$  78 )%3* * - 0 - ' 9 6*)6* *%A& 6*60*0" 5069  )%3* * - 0 -  **$C  %$ 6$%3* &6)3)$ 9 C$0*& A 3$)A* 4$  * -   & %$ 36)6* * - 0 - '  & %/ ) 3$)A* $ 68 $0 3$$4 $4 6$6   & $3)%*)8  3 11  "


@9 *%A& 6*60*0 4$% 9 A) $4 %$& 40 6)$ * 3$ - %%) * - 0 -  H Q ' 569%' . ( ' . ) &' - /**  ' $ 9 0* $A) & 9 9$0*& $ A $$ 9& $ &3 $ %$ 36)6* 4%C$/" @9 46 9 C 0  0 83& * - 0 -  %/ ) ) $ C) ) 3  & 90 3)* 7*0$   & ) *$ **$C 6$%3* %$7* $4  *7* $4 ) 3)$ $79&" S C)** 0 $ 9) ) 6)$ ) "
"
"      :?  = 7 W *%A& 6*60*0 3$ - % )  HOGHIIJPY C)9 4 7)A*" @9 3$B - % / ) ) 30 9$0 - 9 ) 4 7)A* C9$ 7*0  033*)& A8  JYJZJMN HY
JGPYRHYZ" @9)  7)$ %  ) *$ E36& $ %3 A 40 6B )$ %' 069  ) ' $ 9 6$3$ &) - 40 6)$  8 6)6**8 9  3&D & 7)A*  "  ) $& A 7*0 ) 6*0& 0* 0%A  & 5BE3)$   &  C) ) 
 ) ,    " @9 E3)$ A6 8 E )  4$**$C' C9  & $ 33*)6)$  &   9 * DE& 3$)  $3$" ) 
 )  ,      U " 5) 6 C 0 *%A& 6*60*0 A$9   3$ - %%) - * - 0 -   &   %B* - 0 - ' C & $ &)) - 0)9 $)$ **8 *%A& 9 33 ) $06 3$ - % 4$% *%A& 9 & $ 40 6)$ " 58 6)6 $06 3$ - %  *%A& E3)$   C) ) )  ) )  $% 8* 4  !   ! ' U    "  ! '    ! " " " '  & 9 %B* - 0 -  ) ) INMYZHK 8* 4 H O  HO' U
MG  H O'   H O " " " " S9  *%A& E3)$ ) 3 &  -  & A8 %69) ' ) ) C) )      8* 0) - /%A)& -  3$*)9 0 $)$ 4     '        HZ " $  E%3*' 6$ )&  3$ - % $ 6$%30 9 40 6)$  $ 9 9 C9   &   4 ) 30  7)A*" $ &A)*)8 C $%) $% $4 9 E3*)6) )    & 33*)6)$ $& ) 9 6$ 6 8 E" S 90 C) +# " &- ) & $4 #  "  )  &  " +  U !  U "  U  "  $% +# " &- ( +*  " +!  +  " (-   "---   !

44
= != ;=   *8 C$/ ) 3)* 7*0)$ 7)C& 3)* 7*0)$   $3)B %) ) - 39 )  6$%3)* 6$   4$*&) -  '   &7)6 4$ ) 6% B * 6$%30)$  :( $%A&)
*; ' $   %9$& $  4$% )%3B )7 ( )3 3$ - % :V6/%  
*; " @9 * 8% C A* $ 9 &*  2(W 1 #' A0 ) C $ *4B33*)6A* *9$0 - 9 9 1 &6$%B 3)* 3$ - % %$0  $  9 &BC) 7)$ $4 PQHY  " (  C$/ )%& $ 3)**8 7*0 9)- 9B$&  & )%3)7 569% 3$ - % :569$$*
) ' #0  $C/)
; ' A0 &)& $ 69)7 *4B33*)6)$ "  B 9$7  & 1/) 97 3$7& 6$6  $4  3)* 7*0)$ 69% 4$   $C 69 * - 0 -  : 9$7  & 1/)
; ' A0 9 69% &)& $ **$C  4 $4 )6 ) 4$%)$ 6$ &8 %)6 6$ &))$ *" 1 :-    & @ 

;  7*0)$  - 8 9 ) 7$*7 36)*) )$ $4 D $& 40 6)$  ) 3$7& 6$6" @9 3$ )* $4 *4B33*)6)$ C *) & ) &3 & *8 ) ,3  & 9 5$7) 2 )$ :0%0

' @069)
 '  9$7
; ) 9 )

*8
+  & E3)%  C %& C)9$0 6$ 6*0)7 0*" @9 D $ B)7)* *4B33*)6)$ C *) & )
) :,$   
 ' ,$   
; 4$ D $& 60)7   0)$ " 5) 6 9 7* $9 *4B33*)6A* 8% 97 A &7*$3&  :V$ &$4
; 4$ 3$B - % ) 9 4$% $4 % C)) - 8%' :#$%&  & ,$ 
; 4$  )%3* )%3)7 * - 0 - ' :0**  & WA%/8
; 4$ F$*$ - ' :1 $%  /$
; 4$  0A $4 @069) + 1 4* * - 0 - ' :$ *
;  & :V$ &$4  & + 78
; 4$ $ -  8% 9 &*) - D $& 569% 3$ - %  " @9 8%  $ A*8   6)  4$ D $& * - 0 - ' 9 -  B & 6$%3)* C 83)6**8 AC   &
 )% 4 9 6$%3)*) A8 3)* 7*0)$ $4  ) 3" 1 6  C$/ A8 V$ &$4 E & 9 $4 :V$ &$4  & + 78
; " @9 0* )  *4B33*)6A* 3)* 7*0$ 4$ 9)- 9 $& 0A $4 569% C9 0B %& 40 6)$   36)*) & C)9 36 $ 9)- 9 $& 7*0 :V$ &$4
; " @9) A)*)8 %/ V$ &$4  & + 78 + 8% %$ 3$C40* 9 $0' 9 3)6 A) - 9 ) ) 4 %$ 6$%3*)6&" @9 8% A - )  C)9  V@W 9 0  NPILGH MYMN IJI *$ - 9 *)  $4 :5$4
; ' 3)$ $  &))$ * A6 ) 3)$ A& A) &) )%  *8)" @9 6*$0  *8) 8)*& 6$ $*  $C ) 4$%)$ 9 ) 0& $ &%)  C9)69 3$ - % 3 %0 A &8 %)6   6$   0 6 $4 $%9) - * A) - &8 %)6" 57* $9 )6 3$ - %  *8  34$%&' 4$ E%3* $ &6  & 7$)& 6$& &03*)6)$ " @9) A6 ) 3)$ A& 33$69 3$7)&  * )7 $ 9 $  3$3$& A8 0 ) 6)$  "4 $  $ 83 % C)9 $% 3$ - % 3$)  ) 4$%)$ " @9 0*) - 8% ) 0*8 $4 %$ 36)6* 0)*)8 9 $0' 3B 6)**8 )  569% 6$ E" 1 6$  $0 8% 0 9 6*)6* *%A& 6*60*0'  & ) $0 $3) )$ )**0  40 &% * 3) 6)3* 4 9 6$B 6  $4 A) &) - )%  $)$  ) C** 7)C&  83 6$6 '  & 9 V@W 6 A &$  A8 83 ) 4 6" 09' C 97 6$ 06&  6$%3* 6$6  3$$4" )


    3  #  <
  = ? 

5$% A)6 )& C 9 *)- 9 $4 &8 ) :,$   & . 069 )6/
; A0 A) &) - )%  *8) C $ 6$ - ) &   6 * 6$ 63 A4$ 9 E3*)6) 0 $4 A) &) - )% ) 4$%)$ ) :,$   
; - 7  A/B 9$0 - 9 ) 36)6" 5) 6 9 A) &) - )%  *8) 9 A6$%  %) ) - &)  ) ** *4B33*)6A* 3)* 7*0)$ 8%'  & ) 9 AB 6$%  69  $ ) $C " @9 $  C98 A) &) - )%  *8) )  )* 4$   6)  *4B33*)6)$  &)*& ) :V$ &$4  
; " @9 ()*$  97 C) 7* ) ) - 33 $ A) &) - )%  *8) $4  83& *%A& 6*60*0' H Q ' :()*$  & ()*$
 A ; " @98 ) $&06  \HNN][PGRHKYHII 6))$ 4$ 83& C$B*7* *%A& E3)$ " 1 9) 33$69 ) ) 68 4$  $ A $4 0 B)% JYK 4$ U "

$ A C**B4$%&" @9) )  0) 3*** $ $0 &% & 9  %0 97 83 PKH" 5)%)**8' ) ) 68 4$  $ A $4 6$%3)*B)% /) & 4$ U "

$ A C**B4$%&" @9) 0 B)% 83 8% ) $ /  0  ) $0  PKH' A0 9 40 6)$ 83' 3$&06' HZ  " 1 9) 4%C$/ 9 ) $ 6$ 06 *)/ $0 $% ' C9)69 $ 0 % 68 ) 36)6' 4$ E%3* $ C)  ) 3 0)& 4$ 3)* 7*0)$ " W C C ) 6)$  " "
' 9 3 6 $4 $% 6$%3*)6 9 $)$ $4 A 6$%3*)$  & 6** 4$ %$ C$/" 1 :. $ -  
;  A) &) - )%  *8) 4$ 3$*8%$39)6**8 83& 9)- 9 $& * - 0 -  ) &7)&" 1 6$  C)9 :()*$  & ()*$
 A ;  & 0  ' . $ -   0  A6 6*$0 6$ )) - $4 9 40 6)$ %  & 9 A) &) - )% 4$ 9 4 7)A* $ &6)A 9 A) &) - )% $4  40 6)$ " ()9 :. $ -  
; $ :()*$  & ()*$
 A ; &7*$3  3)* 7*0$"     :


  < 2
>

>=  @9 39A/) - C$/ ) 9) D*& C 515 4 9 5% )6 1%3*% )$ 58% $4 :. $
; " 515 )%3*%   30 7)$ $4 9 0 83& *%A& 6*60*0 0) - 9 6** A8 & &06)$  - 8" $%3)*) - 4$%





)

 & $)$ * % )6 ) &$  A8  *) - 9 &D ))$ ) $  *%A& E3)$ ' 33*8) - 9 0* $ 9 $06 3$ - %'  & )%3*)48) - 9 0* A8 &06) - C97 3$)A*" @9) ) 6**8  4$% $4 3)* 7*B 0)$ " 515 9  3$C40* $)$ 4$ C)) - &D ))$ ' A0 ) ) 0 B 4$0 *8 E%*8 *$C'  & ) 3$  $ ) D ) *$$3 C9 0) - ' 4$ E%3*' 60)7*8 &D &  7)$ % " 1 $0 $3) )$ 9) ) A60 9 &06)$  - 8 ) /$ B*)  0 '  & 9 3$A*% 6$0*& A *)%) & A8  $)$  069  C 97 0&" 9$$) -  $)$  $ 7$)& $ B %) )$  & 6$& &03*)6)$ ) &%)&*8  69** - ) - 3$A*%' A0 C 4* ) ) $  9 9$0*& A $*7& XH[PGH &$) - 3)* 7*0)$ 9 9 &0) - )" 58% A& $ 9 30 83&  *%A& 6*60*0 ) 6*0& :F0*$
 ' S)
 ' ()*$  & ()*$
  ; " @9 D 0 3)* 7*0)$  6$%3)* )%" 1 ) 6$ )&A*8 4  6$%3)* )% 9 515' A0 )** 78 *$C  0 )%" S) + 8% :S)
; ) 3$AA*8 9 4 ) 9) 6 - $8 9 9 A 0& $ * -  * - 0 -  &D ))$ " 1 9 ()*$  + C$/ $ 4' 9 -  %39) 9 A $ 6$6  9 9   6) 6 0 ) - 8%" 58% A8 F*A  & W33* :F*A
) ' W33*
; 69)7 -  0 B)%   6) 68  9 E3  $4 * 30 % )6 * - 0 -   $  4$ 69 * - 0 -  &D ))$ ) 9 4$% 6'  &  *%A& 6*60*0 7)  C)9 36)* %  $4  7)$ %   & $ ) 9 *"  ) **8 S & + %9$&$*$ - 8 ) 78 3$C40* :S &
) ' S &
; ' A0 ) % $   0) $ %069 6*7  4$% 9 0 9 ) ) $ 6* 9$C ) %8 A 0$%&" @9 %)  - 9 $4 $0 8% ) 9 ) )%3*  $0 - 9 $ A 0 &B $$&  & 3$7 6$6  & 8 A* $ 34$% $ B)7)* 6$%3)*)$  & 6$%3)* -  )$ " @9 %) C/  $4 $0 8% % $ A 9 9 ) )**  *$ - C8 $ 9 -  )$ $4 /*0 6$%3)*' H Q  -  B ) -  -  6$&  $ %69)  *7*'  & 33*8) - 9 % 8 4$% $4  *8)  & $3)%) )$  ) 9 &C) 6$%3)*" S 9) / 9 C 97  6* 0 & &) - $4 A)6 3) 6)3* 4$ 6$%3)* -  )$ A8 3)* 7*0)$ ' A0 $ -  3 9 $8 *7* $% 9& C$/ %) " )



   



    #=>
'


;=  ? W**  -  3$ - % -  & A8 $0 8%  C) ) 9 *%A& 6*60*0  & 9$0 - 9 *%A& 6*60*0 6 A )%3*% &  0)   6) *8' 9) )  $06 $4 )   6) 68 ) 6 ) ) 4 4$% &))$ * %69)  B 69)60" T  3$)A)*)8 ) $ 33*8 *7  $3)%) ) -  4$%B )$  $ 9 *%A& 6*60*0  -  3$ - %' 069  - *$A*) )$ $4 :569%)&
 ' 5$4
; ' &6)$ $4 )* 60)$ HZ  '  & $ 6$%B 3)* 9  -  3$ - % ) $ %69)  6$&" @$ 7$)& 9) C$ 3 8* 9 %69)  6$& 6 A -  & &0) 3)* 7*0)$  ) :- $*
; " 1 $0 4%BC$/ 9 )& ) $ B &D  9 40 6)$  XLJNK]U  XLJNK]  " " " 069 9 98 6$ 06  3)6 $4 %69)  6$& ) & $4  *%A& E3)$ " T  %)- 9 &D ' 4$ E%3*' 9 XLJNK]J[   '  '   < 



!   


 ( 



!


  




 ( 
 



W 3$A*% C)9 9) 33$69 ) 9 ) ) $ )%%&)*8  3$)A* $ 33*8  4$%)$  9   0) - *$A*  *8) $4 9  -  3$ - %" W ) ) - )& :569%)&
; ) $ E%)  9 0A  6 3$ - % 4$ 040* 3$3) A4$ 3)* 7*0)$ '  & * 9 3)* 7*0)$ 39 0 9 3$3) $ -   A 6$&" W 0* 6 &)& 4$ 069   *8) ) 9 &6)$ $4 ) - *B9&& 7)A* )  * - 0 -  &D ))$ " 1 :V$ &$4  & + 78
;  3)* 7*0$ 9 6 9 &* 9 3 6 $4 - *$A* 7)A* ) &6)A&"    : 2
 =   =    =<
 ' < & =  >  @9 40 &% * 6$ 63 ) %$ 3)* 7*0$'  & $  C9)69 C &$ $ 0 )  8 E3*)6) C8' ) 9 $4 OGPQGMR O PJYZ IOH JMNJ MZJPY" @9 )& ))

) 9 )4' 8'  A) 8 40 6)$ % 
#

 3)* 7*0)$ )% )  $ A 6**& C)9  )6 D  - 0%  8    &  &8 %)6 6$ &  - 0% ' 9  40 6)$ % 
# !$
$ 

) &&& $ 9 )&0* 3$ - %" S 6** %  3$ - % 3$)  )  )%3)7 * - 0 -   3$ - % 3$)  )  *A*  '  & C 6** 9 3) %   36)*) & 3$ - % 3$) " W 3)* 7*0$ $4 0 C$  O HYKJYQ  & PLZ $ /3 6/ $4 9 36)*) & 3$ - % 3$)  4$ C9)69 6$& %0 A $ 9 A -  &" F$ - % 3$)  36)*) )$ 9 $% &7  -  $7 $0 33$69 4 $& & $ *8 A -  & $ 6 4$ 69 36)*) & 3$ - % 3$)   & ) ) 90 ) $ 6$ $* 6$& &03*)6)$ " 5$% 33*)6)$  $4 3)* 7*B 0)$ *8 97)*8 $ 9) - 36)*) & 40 6)$  ) 9 )&0* 3$ - % :$ *  & + 78
; ' A0 C 97  9 6$%3)*)$  & 6$%3)* -  )$ 6 A &$  $ )7)**8 C)9$0 9) 9) - " W * -  6* $4 3$ - % 6 A 3)**8 7*0& $ )7)**8  E%3*
)  " @9  *$ $% &)&7  -  4 @9 3)* 7*0$ AB 6$% %$ 6$%3*)6&' %) )$ 3$A*% -  9&'  & ) 6 9 C$  O HYKJYQ  & PLZ ) 7)A*8  &8 %)6 9 0* $4 *4B33*)6)$  $  )6  9 $  C - " 
) $ )& W6/% + 40 6)$











&  #  (
& # 
+
, (- (
 # 
+
, (- + 










+, (--

 & 033$ 9
) / $C $ 97 9 7*0  " S)9 36)*) )$ $4 %& 40 6)$  C 6 -  9 4$**$C) - )&0* 3$ - % A$0 C)6  4  9 $)- ) *  4 & 
  
&  
 




# # +
 +, (-( #  # 
 +
+, (--



)

@9 ) $&06)$ $4 36)*) & %& 40 6)$ '    &   ) 606)* $ 9  0*)8 $4 9 )&0* 3$ - %" S)9$0 3$ - % 3$)  36)*) )$ $ $3)%) )$ C$0*& 97 $660&' ) 6  )&0* DE 6 $ *8 &D  $  40 6)$   )%'  & 9 C 0& A$7"

)


   22  =   3 #




@9  $A $4 9 V@W ) $ 3*6  0  $0 - 9 $4 9 3$ - % + $3$ C)9 9) )&0* 6$0 3 $ 9 $ B)&0* 3$ - % 3  C**B 83&" S $C &)60 $% 3$)A* 33*)6)$  $4 069  V@W *- $)9% 9 97 $9) - $ &$ C)9 3)* 7*0)$ " 14  V@W *- $)9% C 33*)& $  C**B83& 3$ - % C)9 $ 4 7)A* $4 83 PKH' 9 0* C$0*& A 9 $4 $&) 8 %$ $%$39)6 83 696/) - ' %*8  % -  $4 663 6 $ - 9 C)9 9 3$ - % + 83" 14 9 V@W 663&  3$ - % $ A  $%**8  E60& C)9$0 &&) -  8  $)$ ' ) C$0*& % 9 ** 83 696/ &0) - 7*0)$ 6$0*& 4*8 A $%)&" @9) ) 9 %$)7)$ 4$ 97) - $ - *8 83& * - 0 - " 2 83& * - 0 -  *)/ 569%  6$%3)*& $ %69)  6$& 9 9 83 696/  0 B)%' 9$0 - 9 % 8 $4 9 83 696/ 6$0*& )*8 A  ) &7 6 *C8 $ 066&" $ E%3*' C9  ) 3 ) 0 ' ) ) 6* 9 9 8 6)6 &)369 C)** 7 %/  83 $  *$ -  9 ) 30 ) $%)6'  & 9  7)$ %  *$$/03 6 *$ A  $ 066&" 14 V@W C 33*)& $ 069  ) 3' $% $3$ C$0*& A %& )&0*  6)$  "
 " $ $% $4 9 $3$ 83 696/) - 6$& 9$0*& A -  &' A0 $ 069 6$& ) && 4$ 9 " S 036 9) 6$0*& 8)*& $% 3&B03 ) 6 ( )3  & 569% 3$ - % $4 %/ *)%)& 0 $4 0 83& 40' C9)69  $4 6$0  $0 - 9 $ %/  &))$ * 83 696/ 4)*" W V@W *- $)9% 6$0*& *$ A 0& ) & $4  &))$ * 83 696/ $ **$C A 83 $ % -  $ A - )7 " $ )& 9 ) 3 4$% 6)$  "
' C9)69 C$0*& $ 3  &))$ * 83 696/ C)9$0  $)$ " S A*)7 9 ) - 9 C**B $& ) 3 E 4 )*

 #

U  ! U  

)

 ! %

   $    !    !      !   
)   !  U    ! U $  $% $ #  '      )   $ 

   $
 !!  !
















$ - 9 C)9 9 ) 4$%)$ 9  ! 9 83 XMIH'  9 83 XMIH  PKH'  &  9 83 XMIH  XMIH  PKH   PKH' ) %069 %$ 040* $ 9 0 9 9 &))$ * $ % -  4 /4)*& $ 0 )48 """"0 4$**$C& A8 C$ 83 %"



    

S 97 $*7& 9 $3 3$A*% $4 &7*$3) -  & )%3*% ) -  *4B33*)6A* 3)* 7*0$ 4$  9)- 9 $& * - 0 -   & $ 9 :V$ &$4
;  " W 3$ - %%) - * - 0 - ' C 0&  0 83& *%A& 6*60*0 C)9  DE& 3$)  $3$  &  E3*)6) 6$ &))$ *" @9 $*0)$ 0 & $0 $ A 03)) - *8 )%3*  & $  $ 4$ 9) ) 9 C 4$0 & ) 0 68 $ 36)*)  3$ - % 3$)  $ $A) $ )7)* 0*" @9 %)  $4 33*)6)$ $4 $0 %9$& ) 9 0$%)6  4$%)$ $4 ) 3)7 * - 0 -  36)D6)$  ) $ 6$%3)*" $% & $)$ * &DB ))$  $4 %** * - 0 -  $0 3)* 7*0$ 6 -   6$%3)* C)9  78 0* 060 98 *$$/ *%$ /9 &C) 0 " W ) $9 06640* 3)* 7*0)$ 3$  6 C 0  $)$  &&& )  339 $ - 0)& 3)* 7*0)$ " S ) $&06& 9 6$ 63 $4 C**B $&  A8 %  $4  83 8% $  0 9 9 3)* 7*0$ &$ $ 6$%%) $ &0) - 3)* 7*0)$ " @9) 33$69 *$ - )7  C 33$69 $ 9 3$A*% $4  0) - D )  $4 3)* 7*0)$ " 1& 4$  A) &) - )%  *8) 97 A &)60&'  &  )%3*% )$ C)** A &6)A& ) 3 11 $4 9) 33" S )& 9 3)* 7*0$ $ C$ %** * - 0 -  &D ))$   & ) 7)- & 9 060 $4 9 -  & 6$%3)*" @9 6$%3)*'  C**  9 -  & 6$%3)* -  $' C 4$0 & $ A &A* )4 9 %69)  -  & %  % 0**8 69 - & 6 :#$%&
;  & 3 11 $4 9) )6* 6$ )  &)*& 3$$4 $4  )




6 * 9$% 4 9 6$6  $4 3)* 7*0)$ " @9) 9$% - 0B   9 6$%3)* -  & 4$%  * - 0 -  &D ))$ C)** *C8 A 4)940* $ 9 3$ - %%) - * - 0 -  % )6" 1 *$ 6$ )   3$$4 9 9 )  0 ) 0 /A 0 C8 $  $  - )7 3$ - % C)9$0 $%   "

    :W33*
; W" W33*' 5% )6B+)6& $& # )$ ' )
                       33" 
 ) '
 " :V6/%  
*; ( " V6/%   W F)*  7*0$'  & 1 2   F$ - %%) - @$$*'           ') 
*  
  " :V$ &$4
; W" V$ &$4' W 5*4BW33*)6A* F)*  7*0$ 4$ @% 1 C)) - 58%' )                        ! "     #          
  $ %    &           '  ()* &)& A8 ," +)   &  " T ' 33" 
  ' 53) - B ,* - '
 " :V$ &$4
; W" V$ &$4' W0$%)6 W0$3$  6)$ $4 - )- 9 T& 1 B 60)7  0)$ '
 " $ 33 ) 9 3$6&) -  $4  5TF   " :V$ &$4  & + 78
; W" V$ &$4  & T" + 78' W0$%)6 W0$3$B  6)$ 4$ 1 60)7  0)$  C)9 #*$A* , )A*  & WA6 + @83'
 " 0A%)& 4$ 30A*)6)$  " :V$ &$4  
; W" V$ &$4' ("+" ,$ ' @" . $ -   '  & F" 5$4' #                %

   +4'
 3 - ' +1!2' 2 )7)8 $4 $3 9 -  ' + %/' W0 - 0
 " :$ *
; " $ *' (C 1 )- 9 ) $ F)*  7*0)$ 4 @9 569)%  E3)% ' ) +   +            &       
  $   &         '  (,,* &)& A8 - " #  ) - ' 33" * )* ' 53) - B ,* - '
 " :$ *  & + 78
; " $ *  & T" + 78' F)*  7*0)$ $4 F . 69) - ) 5) - '         ' 
    * " )

:+%

 & . )* 
; ( " +%  & 1 " . )* ' F) 6)3* @83B569% 4$ 0 6)$ * F$ - %' )             %            33"  
 '
 " : 9$7
; W"F"  9$7' T 9   6 $4 $%3)*)$ ' )   !  %            &)& A8  "," (09$*&' 33" 
 ) ' ($9B - $** &'
 " : 9$7  & 1/)
; W"F"  9$7  & , " " 1/) ' $6  $4 . )E& $%30)$ ) W*- $*B*)/ F$ - %' )                 
       "   $   & 

      '  )(* &)& A8 ," #0/' 33"   ' 53) - B ,* - '
 " :0**  & WA%/8
; +"W" 0**  & 5" WA%/8' . )E& $%30B )$ $4 F$*$ - F$ - %' &          * ' ' 
 

 
)
" :0%0

;  " 0%0' F)*  7*0)$ $4 $%30)$ F$6  W W33$69 $  $%3)*B$%3)*'              ' 

 )   " :#$ - 0  
; #" #$ - 0 ' ," S " @969'  " #" S - '  & ," V" S)- 9' 1 ))* W*- A 5% )6  & $ ) 0$0 W*- A'          ) 
  *   " :#$%&
; " !" #$%&'              +"       +               .  + 9)' +1!2' 2 )7)8 $4 $3 9 -  ' + %/' 53%A
 " :#$%&  & ,$ 
; " !" #$%&  & (" +" ,$ ' $%3)* # B )$ A8 F)*  7*0)$ 4   50&8' )       &)& A8 - " #**)' 1  1F'
 " :#0  $C/)
; . "W" #0  $C/)'    !  "  

      "       +"                  .  + 9)' +3" $4 $%30  - ) ) -  & 56) 6'  S 1 7 2 )7)8' *7* &' T9)$' , 08
 " :-    & @ 

; @" W" -    & ," ( " @ 
'        

                   .  + 9)' +1!2' 2 )7)8 $4 $3 9 -  '
 " )

(""!" - $*' (  - 0 -  @)3* 4 @9 W . 1 W33$69' )      +"            &)& A8 +" V
 ' W"F"  9$7'  & ("+" ,$ ' 33"
*
 ' ($9B - $** &'
 " :- 0
*; #" - 0'                       
        F9+ 9)' 2 )7" & F) , 11'
* " :,$ 
; ("+" ,$ ' W0$%)6 F$ - % 536)*) )$ 4 W 1 B  E%) )$ 4$% V)6 F) 6)3*' )      +"             &)& A8 +" V
 ' W"F"  9$7'  & ("+" ,$ ' 33"   ' ($9B - $** &'
 " :,$   & . 069 )6/
; ()* +" ,$   & 57 5" . 069 )6/' +           #             %

                $   &        "  * 53) - B ,* - '
 " :,$   
; ("+" ,$ ' F" 5$4'  & - " 5
& - &' W  E3)B %  ) F)*  7*0)$ 4 @9 # )$ $4  $%3)* # $' )             

    !       $     & 

       '  ,* &)& A8 ,"BF" ,$0 0&' 33"
) 
) ' 53) - B , * - '
 " :,$   
; ("+" ,$ ' F" 5$4'  & - " 5
& - &' . )E 4 W 5*4B W33*)6A* F)*  7*0$ 4$  E3)%  ) $%3)* # )$ '             '

    " :,$   
; (" +" ,$ ' " !" #$%&' W" V$ &$4' T" + 78'  & @" . $ -   ' W 5*4B33*)6A* F)*  7*0$ 4$ 9 ( %A& *60B *0' ) +++     
,          %

           . 69
 " :!0$  & . )9
; @B . " !0$  & F" . )9' 5)6  W *8) 4 W (C F36)7 V& $ @83 1 4 6' )                               W . F  & W&&)$ BS*8'
 " :( $%A&)
*; ( "W" ( $%A&)' 1 6% * $%30)$ ' ) "        '   &)& A8  "( " W*  & . " 1 0A) $ ' 33" )  ' W6&%)6 F'
* " :. )* 
; 1 " . )* ' W @9$8 $4 @83 F$*8%$39)% ) F$ - %%) - '                
 ' 
  )   " :- $*
;



:. $ - 


; @" . $ -   ' F)**8 5)6 5060 )  5*4B W33*)6A* F)*  7*0$' )      +"         %   &)& A8 +" V 
 ' W"F"  9$7'  & ("+" ,$ ' 33"   ) ' ($9B - $** &'
 " :. $ -  
; @" . $ -   ' V) &) - @)% W *8) 4$ F$*8%$39)6**8 @83& - )- 9 T& (  - 0 - ' )                        !  "     #          
     &        () &)& A8 ," +)   &  " T ' 33"  
 ' 53) - B ,* - '
 " :. $)
;  " ( " . $)' W&7)6 $ 5060) - $%3)*  & 3$7) 9% 6$6' )
                     33"
)) 
 '
 " :. $
; F" . $'                    %                 +W1 . 1 1 3$ . +B  ' +W1 . 1' 2 )7B )8 $4 W90' + %/'
 " :()*$  & ()*$
  ;  " ()*$  & - " 1 " ()*$ '     % 

    

%

  @69 )6* 1 3$
 B ) ' +3B %  $4 $%30 56) 6' @69 )6* 2 )7)8 $4 + %/'
 " :()*$  & ()*$
 A ; - " 1 " ()*$  &  " ()*$ ' W0$%)6 V) &B ) - @)% W *8) 4$  @83& UB6*60*0' )
)                       33" 
* '
 " :F0*$
; ( " F0*$ ' W 5% )6B+)6& $%3)* # $' )                       33" )   '
 " :F*A
); 2" F*A ' $%3)* F$$83) - 2) - $%* 5% )6'    & &  
 '* 
)  ) 
 " :F*$/)
; #" F*$/) ' **BA8B %' **BA8B7*0  & 9 *%A& 6*B 60*0'        

 

 " :1 $%  /$
; 5"W" 1 $%  /$' W $%3)* # $ F$&06& A8  5*4BW33*)6A* 536)*)   - 7  503)) - *8 (0*  & 2 B & &A* 5060' )      +"            &)& A8 +" V
 ' W"F"  9$7'  & ("+" ,$ ' 33" )) )* ' ($9B - $** &'
 " 


+" W" 569%)&' +6) - #*$A* ,)A* ) + $) * 536)D6)$ '                      %   ' 
    
 " :569%)&
*; +" W" 569%)&' !             W**8  & V6$ '
* " :569%)&
; +"W" 569%)&' 5)6 F$3) $4 F)*  7*0)$ ' )      +"            &)& A8 +" V
 ' W"F"  9$7'  & ("+" ,$ ' 33" )*  ) ' ($9B - $** &'
 " :569$$*
); 1 " 569$$*'      +"                  +     .  + 9)' ) 3 - ' . 1@ ( 5 @ 1 B ) ' ( A$$8 4$ $%30 56) 6' . 1@' %A)& - ' . 690' W0 - 0
) " :5$4
; F" 5$4' W0$%)6 ** 2 4$*&) - )  F)*  7*0$' )      +"            &)& A8 +" V
 ' W"F"  9$7'  & ("+" ,$ ' 33" ) * ' ($9B - $** &'
 " :5$4
; F" 5$4' 1 3*6) - 0 6)$ F% A8 #*$A* , )B A*' )                     %             W . F  & W&&)$ BS*8'
 " :5$8
; ," 5$8' !                 %      

                  . 1@ F'
 " :@069)
; , " " @069) ' @9 2 $4 . 8% @ ))$ ) @9$% F$7) -  & F$ - % T3)%) )$ ' )             %       "      &       &       $ %    &           '  )* &)& A8 ," + V//  & ," 7 ( 07 ' 33" *) * ' 53) - B ,* - '
 " :S&*
; F" S&*' ( )  @83  9 -  9 S$*& 6 '
 " &4  " :S &
; . " S &' 5% )6B+)6& . 69)  W69)60' )                        33" )  )
'
 " :S &
); . " S &' W 5% )6 F$$83) - 58%' )    &      

     33" 
 
'
) " :569%)&
;



:S

&
*; . " S &'  ) &) - 9 5$06 $4 @83  $' )
(                        33"  ) '
* " :S)
; F" S)'          

                        F9+ 9)' * +2 )7) F) , 11'
 " ) 4 69  "



 


 


                    
                                                                !!!  
       " #            " "    # #    

      


 $  ( (            ( (     " (  ( *  ( (  ( (    " # $

 $   #    "  

)

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

)  " 


 $  # 




       
              (    (   ( (         ( (     (     ( (         ( (  (       ( (  (     (   ( (    ( ( ( (  (     ( (  (      ( (      ( (  (     ( (  (     ( (  (      ( (      ( (  (     ( (         (   (  



  "          % #     " % #  
    ( ( %  "      "     ( (     " (  #  ( (    # (  # ( %   
   $   # 









   



      

    #  



 (    (   ( (         ( (     (     ( (     (    (     ( (         ( (  (       ( (  (     (   ( (      (    ( (     ( (  (       !!!

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

             !  
    ( ( %   "  

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





               (    (   ( (         ( (     (  (     !!!  
   ( ( %   "    

 

  






 ( (     " #  ( (    #  # ( % 


                            % # !                !
 $ "        $ $ "
  $ $ " 
      
      "          "
            " 









  

                                      (                                   

     (

     ( (                       ( $           (    (               ( ( (                                       ( ( (                              

   

     (         ( (        


        V*$C )  3) ) - $4 9 -  & *4B6$%3)*" S 97 &$  78 *)* &)) -  8$0 6 ' 9 $ *8 % $ 9) - C $ %$7 %$ $4 9  &* 6B *8) $4 3&)D & 40 6)$ " @9 6$%3)* / ) ) 30 9$0 - 9 9 4 7)A*
"                                                                 
  
       
$          (                                                   *

                           

      #    #    #        #          #        #        #        #        #        #        #              #      !!!!

 & $ $ MK YMLIHMR " " "  *)  %$"

*





          V*$C )  3) ) - $4 9 -  & 6$%3)* -  $" S 97 &$  78 *)* &)) -  8$0 6   ' 9 $ *8 % $ 9) - A) - 9 C 97 %$7& %$ $4 9  &* 6B *8) $4 3&D & 40 6)$ " @9 6$%3)* -  $ / ) ) 30 9$0 - 9 9 4 7)A*
"    "   "   "    " " "   "   "
  "      "
  "              "
  "     " #      " # "   "   "   "  " " # " " $      "          " )      " )

            " ) "  "
  " "   " "  "
" ) " " "

*

 "  " #   "

$          $         "  (    "  "
" "  "
"   "  (             "  "
" "  "
"   "       "  "
" "  "
" "  "
"   "                  "  "
" "  "
" " "
"   "      "  "
"   "           "  "
"          "      

*

  "       "         "       "       "       "      !!!

 & $ $ MK YMLIHMR " " "  *)  %$"



    V*$C ) 9 *)) $4 9  $&
JY ) 3 9 C 97 0& $ 6$%3)*  & -  - 6$%3)*"               

       (      $     )     

                 (     (         ( ( (            $   (      *)

( ( 



     ( (   )       (  (  $      

    

            

               

     "
                      ( (      ( (        * *             "     #   

*




  
     V*$C )  *)) - $4 9 -  &
JY $ *%A& 6*60*0 6$%3)*"     #             "     #           "      



     $

   #  )     #    #

                                                                       $               
      
    )        )              **

     )          )   )      
  $          ) $     $                

     

    
    )     "  

   )            #     #    )   "  
   ) "
  "   #

                                                                *                     "       *

  #      

*

  <


 4


: 
;   ! 4


 U   ! 4



  ! 4

 '   ! 4


  !   ! 4


  ! 4 

  

 

    ! 4 



  ! 4 XMIH'   !4
'   ! 4


 $%  !  !  ! 4


 )  4 XMIH

:  PKH;   ! 4 PKH

 U   ! 4 PKH

  ! 4 PKH'   ! 4 PKH

  !   ! 4 PKH

  ! 4 PKH 

    ! 4 PKH

  ! 4 PKH'   ! 4 PKH'   ! 4 PKH

 $%  !  !  ! 4 PKH

 )  4 PKH

  ! 4 XMIH

 $%  ! 4 PKH



JQLGH

 O H LNHI  H  JYQ
HNN]MYYPZMZHKYHII

*

                                                            ( (                                           ( (              



JQLGH 
HNN] YYPZMZHK  MRXKM MN  LNLI  HN[]
YZHGOGHZHG F$ - % O 4            
 

F$ - % G < % RJ :IJYZ O ;4           

 # "    "    #

      #  " 
        "         #



JQLGH
  JXPYM J  YK  JXPYM J



                                   $        (                    



JQLGH

 

PROJNMZJPY P[  XIZGM  ZJPYI MYK  OONJ MZJPYI

    (                   (                     



JQLGH



OONJ MZJPY
GHMZRHYZ JY Z H  PROJNHG
HYHGMZPG




5% )6 +$%)   ZPGH <  P  MZJPY MZ Y
JGPYRHYZ < MGJMXNH  P MZJPY
4 OGPQGMR  ZPGH  ZPGH
:   $
 )  




    

;




  <
:



;

 :     

 4
MGJMXNH   P  MZJPY Y
JGPYRHYZ < UJK  JK
 NP    :    :       ; NP  < U   HGGPG 
 : ; NP 














 ; 

  ;




GIZ]NP MZJPY   

YH Z]NP  NP   JK


4  PRRMYK Y
JGPYRHYZ  ZPGH  ZPGH
:   ;   <
:  ;  
:  ;   
:      !;   <  : 
MG    :  !;   ;
:  '$  ! ;   <   U[  U     :  !;     [ 
: ;     


H OGHIIJPY Y
JGPYRHYZ  ZPGH MZ """  00* """  JQLGH 
JY   HRMYZJ  I 4 



                 (     (         ( ( (            $    (           ( (   )       (  (         ( (  

       

JQLGH  
 H IHRMYZJ  [LY  ZJPY
JY Z\P]NH
HN NMRXKM MN  LNLI       "   )  " " "       "   "  "   )  *   ) "  " " "  "   ) "  $



JQLGH    M  ZPGJMN HIJKLMN GPQGMR 

* YY  YH \ ]YMRH )

:  ;  / 0 

:  ;  / 0 YY  

:      !;  < * YY  YH \ ]YMRH ) / !   0 / 0     / 0 
:  !;  YY   / 0 YY 

:  '$  ! ;  < * YY  < YH \ ]YMRH YY  < YH \ ]YMRH YY  < YH \ ]YMRH ) + /  0 /U 0 YY  " /U 0 YY  " /$% #  & 0 / 0 
:  !;  YY   YY  YY  / 0 

: ;  / 0 YY   - / 0 YY   JQLGH   

  YZM  ZJ  MNN  LQMGHK

:

 ;