Repairing Databases with Annotated Predicate Logic - Universidad de ...

1 downloads 0 Views 182KB Size Report
P. Universidad Cat щolica de Chile ... Integrity constraints (ICs) are important in the de- ..... Neruda. According to proposition 1, these are repairs of the original ...
              $% &'()*+,(-.- /.0 213(4. -* /5(3* 7*80 2 % /(*'4(. -* / 29 8:0.4(21' ;.'0(.= 2> /5(3*% 8A.+4* 32B ('=%8:4%4 3 CDEFGHIF / 2 ',(,0*'0 .',@*+, < +29 . +* 3.0(2 '. 3 -.0.A.,* 05.0 )(23.0*, . =()*' ,*0 2< ('0*=+(06 4 2 ',0+.('0, .+* 45.+.40*+(J*KL +*'., *0 . 3 % MNNNO ., 2 +-('.+6 .',@*+, 05.0 4.' A* 2 A0.('*- 2 ',(,0*'0 @(05 +*,8*40 0 . =()*' *rU 8*40*- ,*0 2< T/,% c5(, 4 2 : 3- 5.88*'2 -:* 0 2 > -( *)*' @5*' 05* -.0.A.,* ., . @5 23* - 2 *, ' 2 0 ,.0(, 8 2 ,,(A 36 ('U 4 2 ',(,0*'0 > +* 3.0(2 '. 3 -.0.A.,* (',0.'4* {| (< (0 (, .' o +-('.+6p .',@*+ 0 2 yozw p (' *)*+6 9 ('(9 . 3 +*U 8.(+ 22< {| > 05.0 (, (' *)*+6 -.0.A.,* (',0.'4* )*+ 05* ,. 9 * ,45* 9 . 05.0 -(}*+, < + 29 {| A6 . 92('(U 9 . 3 *,%o:'-*+ ,*0 ('4 3:,(2 'p ,*0 2< (',*+0*- 2 + -* 3*0*0:8 3 c5.0 *45.'(, 8+*,*'0*- (' KL +*'., *0 . % MNNNO 5., , 299 * 3(9 (0.0(9 2 ', (' 0*+ 9 , 2< 05* T/, .'- 3g :*+(*, 05.0 4.' A* 5.'- 3*-% T' KL +*'., *0 . 3 % b~~~AO > . +* =*'*+. *05 - =6 A.,*- ' =(4 8+ =+. 9 , 92 @(05 .' ,0.A3 93* 922 -*2323 ,* 9 .'0(4,2 @.,32 ('0+ 22-:4*-%  +* =*'*+. :*+(*, 4 2 : 3- A* 42 ',(-*+*- > A:0 T/, @*+*2 +*,0+(40*-3 g0 2 A* sA('.+6t > (%*% :'()*+,. 3 @(05 .0 92 ,0 0@ 2 -.0.A.,* 3(0*+. 3 , o8 3:, A:(30U(' . '.0:+. 3 .88+ 2 .452< 4 2 ',(,0, (' 8+ 2 )(-('=2 .g 9 .'.=*U .A 3* 32 =(4. 3 ,8*4(d4.0(2 ' 2< 05* 43 .,, 2< -.0.A.,* +*U 8.(+,% c5* ,8*4(d4.0(2 ' 9 :,0 ('4 3:-* (' 4.' ,0(33 5.)* . 92 -* 3> (, . '.0U :+. 3 4.'-(-.0*% T' KL +*'., *0 . 3 % b~~~.O > . '*@ -*43.+.0()* ,* 9 .'0(4 *@ 2 +v @., ('0+ 2 -:4*-

@(05 .' .88+ 2 8+(.0* ' 2 ' 4 3.,,(4. 3 0+:05U). 3:*, 3 .0U 0(4* _ZYY% T0 @., ,5 2 @' 05.0 > @* ,53 2 @ 5 2 @ 0 2 .'' 2 0.0* .'- ('0*=+.0* +* U *+*'0(. 3 T/, o05.0 42 '0.(' *r(,0*'0(. 3 g :.'0(d*+,p ('< .--(0(2 ' 0 2 :'()*+,. 3 T/, ('0 2 05* .'' 2 0.0*- 05* 2 +6% c5* 4 ++*,8 2 '-*'4* A*0@**' 9 ('(9 . 3 92 -* 3, 2< 05* 05* 2 +62 .'- 05* -.0.A.,* +*8.(+, (, *,0.A (,5*-% q*r0 (' ,*40(2 '  > @* ,5 2@ 5 2 @ 0 2 .'' 2 0.0*3 g :*+(*, .'-> 05* L+*'., *0 . 3 % b~~~.O%   G  n njHGn  E  !" #"     "#"!  !   "  " T' 05* 42 '0*r0 2< +* 3.0(2 '. 3 -.0.A.,*, > @* @(33 4 2 'U ,(-*+ . dr*- +* .0( '. ,45* .   o     p 05.0 -*0*+ 9 ('*,3 . 2d+,03 2 +-*+9 3 .'=:.=*% T0 4 2 'U ,(,0, 2< . dr*- > 8 2 ,,(A 36 ('d'(0* > -.0.A.,* - 29 .('         > . dr*- ,*0 2< -.0.A.,* 8+*-(4.0*,             > .'- . dr*- ,*0 2< A:( 3 0U(' 8+*-(U 4.0*,          !  % L -.0.A.,* (',0.'4* 2 )*+  (, . d'(0* 4 233*40(2 ' {| 2< < .40, 2< 05* @5*+*  (, . 8+*-(U

4.0* ('  .'-      .+* 4 ',0.'0, ('  % " :(30U(' 8+*-(4.0*, 5.)* . dr*- .'- ,.2 9 * *r0*',(2 ' (' *)*+6 -.0.A.,* (',0.'4* > ' 2 0 ,:Ae*40 0 2 45.'=*,% L' WY P`R]YS ^XW # YRZ ]WY oT/p (, .' (9 8 3(4(0 36 g :.'0(U d*- ]4 3.:,* 2< 05* @5*+* *.45  +  $, (, . 8+*-U (4.0* ('    .'- 05* xw+  (w, .+* 0:8 3*, 4 2 '0.('('= 4 2 ',0.'0, .'- ).+(.A 3*,% - * .,,: 9 * @* 5.)* . dr*,*0 .  2< T/,% - * @( 33 .,,: 9 * 05.0 {| .'- .  > ,*8.+.0* 3 6 > .+* 4 2 ',(,0*'0 05* 2 +(*,% q*)*+05* 3*,, > (0 9 .6 A* 05* 4.,* 05.0 {|  . (, ('4 2 ',(,0*'0% / g :(). 3*'0 36 > (< @* .,,2 4(.0* 0 2 {| . d+,0 . 3 ,2 -*U 2 +-*[email protected],0+:40:+* > .88 ' 2 0*- @(05 {| > (' 05* '.0:+. (%*% A6 6('= 05* 4 32 ,*- @ 2 +3 - .,,: 9 80(2 ' 305.0 >9 .v*, < . 3 ,*3 .'6 =+ 2 :'- .0 29 ' 2 0 *r8 3(4(0 36 .88*.+('= (' 05* ,*0 2< .0 29 , {| > (0 9 .6 5.88*' 05.0 {| > ., . ,0+:40:+* > - *, ' 0 ,.0(, 6 05* .  % - * -*' 2 0* @(05 {| 0 1 .  05*2 < .402 05.0 @* -*d'* 05* []# YZW ^P A*0@**' 0@ 2 -.0.A.,* (',0.'4*, {|  .'- {|  ., 05*(+ ,6 99 *0+(4 -(}*+*'4* 2 o{|   {|  p  o{|  3 {|  p  o{|  3 {|  p% q 2 @ > =()*' . -.0.A.,* (',0.'4* {| > 8 2 ,,(A 36 ('U 4 2 ',(,0*'0 @+0 . > @* ,.6 05.0 05* (',0.'4* {| 4 (, . Z {| (} {| 4 0 1 . .'- 2 o{|  {| 4 p (, RP95('(]R9 .2 9 Z  ; PYZ ; XPR5   ?@R5 ?@ p  % H> I *0 {| A* . -.0.A.,* (',0.'4* > 8 2 ,,(A 3 6 ' 2 0 ,.0U (,< 6('= . ,*0 .  2< ('0*=+(06 4 2 ',0+.('0,% J ()*' . :*+6 yozw p 0 2 {| > @* ,.6 05.0 . 0:8 3* 2< 4 2 'U g,0.'0, xw (, . ^XW # ]# Y PWY ZW #K PR 0 2 yozw p (' {|

KL +*'., *0 . % MNNNO -*' 0*- {| 0 yowxp ( + *)U *+6 +*8.(+ {|3 4 2< {|> > {|2 4 0 1 yowxp% T< y (,> 4 0210*-y% {| 0 y > (< 6 7  8  o*r. 9 8 3 * M 4 2 '0(':*-p c5* g :*+6 y  C |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? A p - 2 *, ' 2 0 5.)* Y : P ., . 42 ',(,0*'0 .',@*+ > A*4.:,* (0 (, ' 2 0 0+:* ('R *)*+6 +*8.(+% :*+6 y  oE p C F |XX9 o  S  p 5., E  ; P YZ ; XR5  ., . 4 2 ',(,0*'0z .',@*+% :*+6 y o p C F |XX9 oz  ; PYZ; XR5   F p 5., z  9 Z> 9 Z ., . 42z',(,0*'0 .',@*+% H   !!#   "   " VWWXYZY ZY P  Z€ ^: €:# @., ('0+ 2 -:4*(' Ka( @(05 2  !   > (< (, . -* 3 2< .'- ' 2 2 05*+ -* 3 2< 5., . 8+2 8*+ 92 ,:A,*0 .0 , .'' 2 0.0*92 @(05 * 3* 9 *'0, (' 2 > ] P 05* ,*0 2 [ ZYZ 9 ZpC! oE  ; PYZ; X R5  pC! oF  ?@ ?A pC! p % ooz  9 Z> 9 ZpC! oE  ; PYZ; X R5  pC! oF  ?@ ?@ pC! p % |XX9 oz  E  F pC % / )*+6 =+ 2 :'- .0 29 05.0 (, ' 2 0 (' {| (, o8 2 ,,(U A 36 (9 8 3(4(0 36p .'' 2 0.0*- @(05 % c5* * 9 A*--('= o p 2< .  ('0 2  (, =()*' A6 C % |XX9 oz  E  F pC % |XX9 oz  E  G pC % oF  G pC! %  % |XX 9 oz  E  F p C % |XX 9 oz  E  F p C!  ' |XX 9 oz  E  F p C % ' |XX 9 oz  E  F p C! % c5*,* +9 : 3., ,8*4( 9 Z  ; P YZ ; X R5   ?@ ? A p C!  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? @ pC  >    |XX 9 o9 Z> 9 Z  ; P YZ ; X R5   ?@ ? A p C  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? @ pC!  > 8 3:, .'' 2 0.0*- < . 3,* 7 " .0 29 , .'- A:(30U(', (' A 2 05 4.,*, % c5* 42 ++*,8 2 '-*'0 -.0.A.,* (',0.'4*, > {|   {|  .+* 05* +*8.(+, 2< {| ,5 2 @' (' *r. 9 8 3* M% H f+ 05* -*d'(0( ' 2< 05* 3.00(4* .'- 05* < .40 05.0 ' 229.0 29 < + 29 05*2 -.0.A.,* (, .'' 0.0*- @(05 A 05 ! .'- > (0 (, 8 2 ,,(A 3* 0 2 ,5 2@ 05.02 > (' 05* 9 ('(92 . 3 05* .'' 2 0.0*- 05* 2 +6> . 7 " .0 29 9 .6 =*0 92 -*.''3 , 2 05*< 29.'' 2 0.0(2 ',2 !  s-(,.88*.+t > ., @* @(,5*- 05* .0 29 , 0 2 A* .'U ' 2 0.0*- (' 05* 5(=5*,0 8 2 ,,(A 3* 3.6*+ (' 05* 3 .00(4* > *r4*80 (' 05* 9 ('(9 . 3 92 -* 3 , 4.' . [email protected], A* .) 2 (-*-% 























































!





!

"



"













 





                

                  ! "     #     $

CjjkFHFnj & '  (  G  jFnH i ) E * @* * 9 A*- 2obp ('0 2  A6 9 *.', 2< op  ozw p C % E o$ ozw 4  E p C! p  q 2 @ @* . 332@ 05* =()*' ,*0 2< T/, 0 2 4 2 '0.(' > (' .--(0(2 ' 0 2 T/, 2< 05* T/, 3(v* obp% c5* 4 2 ++*,8 2 '-*'4* A*0@**' 9 ('(9 . 3 92 -* 3, 2 '*U0 2 U'*@ 2 '* 05* 05*  p .'- 05* +*8.(+, 2< {| 2 V.:Y X. 3o,2 K4p2'0.(', *r8+*,,('= 05.0 S D R *)*+6 @+(0*+ 2< . A 22 v (' 05* -.0.A.,* (',0.'4* 9 :,0 A* +*=(,0*+*- ., .' .:05 2 +% c5* 05* 2 +6 o p ' 2@ . 3 ,2 4 2 '0.(', C |XX9 o  S  p C % G oV : Y X R o  K pC! p > V : Y X R o  K pC % V : Y X R o  K pC! > ' V : Y  X R o  K p C % ' V : Y X R o  K p C! % - * 9 (=50 . 3 , 2 5.)* 05* < :'40( 2 '. 3 -*8*'U -*'46 B { C WZ ; Y W # 5 > 05.0 (' 4 2 'e:'40(2 ' @(05 P05* D T/^] >] P 8+2 ]-:4*, . +*(=' v*6 4 ',0+.('0% c5* -.0.A.,* ('U @*^ 2] A0.(' 05* R A:0PR [@(05^ .] P/.'.-(.' q*+:-.% L44 +-('= 0 8+2 8 2 ,(0(2 ' M > 05*,* .+* +*8.(+, 2< 05* 22 +(=('. 3 2-.0.A.,* (',0.'4* > .40:. 336 05* 2 ' 36 2 '*,% H L, (' KL +*'., *0 . 3 % b~~~.O > (0 4.' A* 8+2)*- 05.0 @5*' 05* 2 +(=('. 3 (',0.'4* (, 4 2 ',(,0*'0 > 05*' (0 (, (0, 2 ' 36-*+*8.(+05*.'-L$/(0 405* 2 ++*,8+6%2 '-, 0 2 . :'(g :* 9 ('(9 . 3 92 3 2< 2 CjjkFHFnkj k (  m  Gn E  L442 +-('= 0 2 8+ 2 8 2 ,(0(2 ' M > . =+ 2 :'- 0:8 3* xw (, . 42 ',(,0*'0 .',@*+ 0 2 . ) * g :*+6 yozw p (} yowxp (, 0+:* ('( . 3 92 -* 3 2< o   p% 2@*)*+ > (< 2 @* -*' 2 0* A6 y  ozw p 05* .'' 2 0.0*- o pC '*=.0()* 3.' + : . % o p C o(wp pC! %05*o p8C!2 ,(0()* 3(0*+.3 05* % f + 3(0*+. 3  o(wp (, +*8 3.4*- A6 05*  05.0 05*6 +*0+(*)* 05* ,. 9 * 4 2 ',(,0*'0 .',@*+,% 6 7  8   o*r. 9 8 3* M 4 2 '0%p T< @* @.'0 05* 42 ',(,0*'0 .',@*+, 0 2 05* g :*+6 yoz p C ' E F G x o|XX 9 o  S  p |XX9 o  K  Yp E  G p .,v('= @* =*'*+.0* 05* .'' 2 0.0*- g :*+6 y  ozw p C ' E F G x oo|XX 9 o  S  p C ! % |XX 9 o  S  p C ! p o|XX9 o  K  Yp C ! % |XX9 o  K  Yp C ! p oE  G p C !p 0 2 A* 8 2 ,*- 0 2 05* .'' 2 0.0*- 05* 2 +6 @(05 (0, 9 ('(U> H 9 . 3 92 -* 3 ,* 9 .'0(4,%    #!#  T <  (, . ,*'0*'4* (' 05* 3 .'=:.=* 2< o   p > @* ,.6 05.0 o   p 2 U 9 ('(9 . 336 

!

  





!





"

"

"

"





















































$



















*'0.(3,  > @+(00*' o   p 0   > (} *)*+6 2 U 9 ('( 9 . 3 92 -* 3 o   p ,:45 05.0 {| (, d'(0* > ,.0(,d*, 2 ] P 0  %> H q @ @* 45.+.40*+(J* 4 ',(,0*'0 g :*+6 .',@*+, @+0 05*2 .'' 2 0.0*- 05* 2 +6% 2 "#!#  I *0 {| A* . -.0.A.,* (',0.'4* > . . ,*0 2< ('0*=+(06 4 2 ',0+.('0, .'- yozw p . g :*+6 (' ) * 3 .'=:.=*  % T0 5 23 -, C {| 0 yowxp (} o   p 0  y  owxp  H 6 7  8  o*r. 8 3 *  4 2 '0(':*-p f2 + 4 2 ',(,U 0*'0 36 .',@*+('= 05*9g :*+6 yo p @* 8 ,* 05* :*+6 y  oz p 0 2 05* 9 ('(9 . 3 92 -* 3,z 2 o2  p%g c5* .',@*+ @* 2 A0.(' 2:*+6 @*+* 2 .',@*+*g =*'*+.0*-% 3c5* +(=('. g @*+* 2 3 g :,('= .- 5 4 . = +(05 , 05.0 @*+* *r0+.40*- + 05* 2 +6 o2   3 2p% q92 .-).'0.=* @., 0.v*' 05.0 - 22 *, 05* ,. 9 * @(05 .'- o@(05 05* 5* 38 2< 7*d'(0(2 '  A* 32 @p% c5* 05.0 @ 2 : 3- ('4 23:-*3 (' 05* 92 -* 3, . 33 05* '*=.0()* (' 9> 9 Z  ; P YZ ; X R5   ?@ ?@  ! p  : < XX 9 o9 Z> 9 Z  ; YZ ; X   ?@ ?@  ! p  |XXR9 o9 Z> 9 Z  ; PYZ ;P X R5 R5?@ ? @  ! p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? @  ! p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? A  ! p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? A  ! p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? A  p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? A  p      : R < XX 9 o 9 Z> 9 Z  ; P YZ ; X R5   ?@ ?@  ! p  : R < XX 9 o9 Z> 9 Z  ; P YZ ; X R5   ?@ ?@  ! p  : R < XX 9 o9 Z> 9 Z  ; P YZ ; X R5   ?@ ?@  p  : < XX 9 o9 Z> 9 Z  ; YZ ; X   ?@ ?@  p  |XXR9 o9 Z> 9 Z  ; PYZ ;P X R5 R5?@ ? @  ! p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? @  ! p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? @  p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? @  p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? A  ! p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ? A  ! p   H q 0(4* 05.0 (' 4 '0+.,0 0 05* ('( . -* 3 , 2< 05*2 .'' 2 0.0*-> 05*22 +6 o2  9p > 05*9 3 U92 92 -*@(05 3 , 2< 05* 8+ 2 =+. 9 @(33 ('4 3:-* 05* -.0.A.,* 4 2 '0*'0, (0, 2 +(=('. 3 .'' 2 0.0(2 ', o! p% / )*+6 0(9 * 05*+* (, .' .0 29 (' . 92 -* 3 .'' 2 0.0*- @(05 ! 2 + ! > (0 @(33 .88*.+ .'' 2 0.0*- @(05 ! % f+ 29 05*,* 92 -* 3, @* ,5 2 : 3 - A* .A 3* 0 2 s+*.-t -.0.A.,* +*8.(+,% / )*+6 -





#





# 





















!





















!











































  $                   

U 92 -* 3 2< 05* 32 =(4 8+2 =+. 9 5., 0 2 A* ('0*+8+*0*-%    #!#  J ()*' . 4 2 5*+*'0 8 3 .:,(A 3 * U 92 -* 3  .  p > (0, ] WY PR5 RP YZY ] XW >  o p > (, . '*@ 2< o{|('0*+8+*0.0( *+A+.'2 ' 2 A0.('*- 05*'  o w  p A* 32 '=, 0 2  o p% % T<  o w  ! p A* 32 '=, 0 2 .'-  ow  p - 2 *, ' 2 0 A* 32 '= 0 2 > 05*'  ow  ! p A* 32 '=, 0 2  o p%  % T <  o w  ! p A* 32 '=, 0 2 > 05*'  ow  ! p A* 32 '=,H 0 2  o p% q 2 0(4* 05.0 05* ('0*+8+*0*- 92 -* 3, 42 '0.(' 0@ 2 '*@ .'' 0.0( ', !  > (' 05* 3.,0 .+=: 9 *'0,% c5* d+,022 '* 2=+ 2>:8, 0 2 =*05*+ 05 ,* .0 , .'' 2 0.0*- *(U 05*+ @(05 ! 2 + @(05 ! A:02 ' 2 0 29% T'0:(0()* 3('6 > 05* .00*+ 4 ++*,8 '0 05 ,* .'' 0.0*@(05 ! 05* 3 -* , 2 o2  2 p% L2 ,( ( .+2 + * 8 .6, 05* 05*+ 92 3 2< 0.0( ' @+0 05* s .9,*t3 .''23 0.0(3 ',% c5*,* 2 '*@ .'' 2 2 < 3 2 2 '*@ .'' 2 0.0(2 ', @(33 ,(9 8 3( (',0*.- 2< ,( 9 8 3 6 .,v('=  ozw  ! p o 9 Z  ; P YZ ; X R5   ?@ ?@  ! p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ?@  ! p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ?A  p   o  p   : R < XX 9 o9 Z> 9 Z  ; P YZ ; X R5   ?@ ?@  p |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ?@  p  |XX9 o9 Z> 9 Z  ; PYZ ; X R5   ?@ ?A  ! p   H c5* ('0*+8+*0*- 92 -* 3 , 4 2 : 3 - A* *.,(36 2 A0.('*- A6 .--('= '*@ +: *, 0 2 05* 8+2 =+. 9 o{|  .  p% c5(, @(33 A* ,5 2 @' 3(' ,*40( '  %b% f+ 29 .' ('0*+8+*0*-* 3 2< 05* 8+ 2 =+. 9 2@* 4.' 2 A0.(' . -.0.A.,* ('U 92 ,0.'4* C    #!#  {| +     o w p 0  o p 0  ow  ! p  % H 6 7  8   o*r. 9 8 3 * N 4 2 '0%p c5* J * '- *0 . % MNNMO .'- .' ( 8 * 9 *'0.0( 2 ' 2< 05(, ,* 93 -* 3 ,% 2 ) kjI mEnkjE / r0*'-('= @ 2 +v 8+*,*'0*- (' KL +*'., *0 . 3 % b~~~.O > @* 5.)* ,5 2 @' 5 2 @ 0 2 .'' 2 0.0* +* a(< *+ *0 . 3 % MNNbA > T' I *.45 *0 . 3 % MNN  O 8.+.4 2 ',(,0*'0 .'- .'' 2 0.0*=(4 8+2 =+. 9 , .+* ('0+ 2 -:4*-% T' 8.+0(4: 3 .+ > (' 32K;:A+.5 .'(.' MNN O 05 ,* 8+ =+. , .+* :,*- 0 ('0*=+.0*9 -.0.A.,*, > . 8+2 2 A 3* 92 4 329,* 36 +* 3 .0*- 0 22 ('4 ',(,0*'46 5.'- ('=% T0 (, ' 0 4 *.+ 5 @ 0 2 :,* 05 22,* -*d'(0()* ' 2 '3 -(,e:'40()* 8+2 2 =+.3 9 , 022 4.80:+* -.0.A.,* +*8.(+,% f:+05*+ 92 +* > ' 2 0(4* 05.0 05* 8+ 2 =+. 9 , 8+*,*'0*- (' 05(, 8.8*+ 5.)* . 4 29 8 3*0* 36 4 3.,,(4. 3 ,* 9 .'0(4,% T' KJ ..,0*+ 3.'- MNN  O > .'' 2 0.0*- 32 =(4 o8+ 2 =+. 9 ,p @*+* :,*- 0 2 ,8*4(< 6 .'- 2 A0.(' .',@*+, 9 .045('= :,*+ '**-, .'- 8+* < *+*'4*,% 7**8*+ +* 3.0(2 ',5(8, 0 2 2 :+ @ 2 +v -*,*+)* 0 2 A* *r8 32 +*-%

    8  !"  - +v ,:88 +0*- A6 7T$&/ f?q7 / /  c J +.'0 M~~~ 2 N > .'- 2/.+ 3*0 2 ' &'()*+U> ,(06 ;0.+0U&8 J +.'0 N  U~M% - * .+* =+.0* : 0 2 L 3U A*+0 2 *'-* 3J 2 ' .'- .+4* 32 L+*'., MNN  % KL +*'., *0 . 3 % MNNNO L+*'., > % " *+0 2 ,,( > I % .'/5 29 (4v( >  % s/ 2 ',(,0*'0 :*+6 L',@*+, (' T'U 4 2 ',(,0*'0 7.0.A.,*,t% T' \RX^ V   S ;5 X # ] : ; XW \R] W ^]5 € P # X> {ZYZ 8.=*,  U  N > MNNN% KL +*'., *0 . 3 % b~~~.O L+*'., > % " *+0 2 ,,( > I % .'a(  % sL88 3(4.0(2 ', 2< L'' 2 0.0*- $+*-(4.0* /. 4: :, 0 :*+6('= T'4 ',(,0*'0 7.0.A.,*,t% T' 3  X3;5 :2YZY] XWZ€ _X`]^ 2_ +,,,   YRPZ ; Y . WY PR WZY ] XWZ€  XW> PRP W ^P XW  : € P # ZW [  % " *+0 2 ,,( > I % .'- /5 29 (4v( >  % s;8*4( %I % I .+,*' >  % a.48+J6v ;%  .-+ J'6 % /5+(,0(.',*' o*-,%p > ;8+('=*+ > >b~~~ > 88%2 b > M% K" 3 .(+ *0 . 3 % MN NO " 3.(+ > %L% .'- ;:A+.5 9 .'(.' > u%;% s$.+.4 2 ',(,0*'0 I 2 =(4 $+ 2 =+. 99 ('=t%  X Y Z€ X; :Y W  CM UM > MN PN%RP ]^  5 PR  ^]P ^P 





















K" :44. u% sc5* ;0.A *  -* ;* .'0(4, + I =(4 $+ U =+. 99 ('=t%3 T' _X2 `]^3 \R9X`RZ ; ; ]W Y P B ]> Y . WY PR WZY] XWZ€  XW> PRP W ^P ZW [  S ; 5 X # ] : ; > % L% a 2 @. 3 ,v( .'- a% L% " 2 @*' o*-,%p > Tc $+*,, MN > 88% M~  ~ M~ ~% KJ * 3  % .'- I (< ,45(0J > u% s/ 3.,,(4. 3 q*=.0(2 ' (' I 2 =(4 $+ 2 =+. 9 , .'- 7(,U 7.0.A.,*,t%  P K  PW PRZY] XW  X ; 5 : Y e:'40()* ]W `> MNNM > N C    % KJ +*4 2 *0 . 3 % b~~MO J +*4 2> J % J +*42> ;% .' : 8.' 2> / % sL I 2 =(4 $+ 2 =+. 99 ('= L88+ 2 .45 0 2 905* T'0*=+.0( .'- :*+6('= 2 ' > *8.(+('= T'4 2 ',(,0*'0 7.0.A.,*,t% T' $+2 4% M05 T'0*+U2< '.0(2 '. 3 / 2 ' I q/; bb  > ;8+('=*+ > b~~M > 88%    % Ka( / %I % sL I 2 =(4 u%;% sc5* 2 +6 2< J *'*+. 3(J*- L'' 2 0.0*- I 2 =(4 $+2 =+. 99 ('= .'- (0, L88 3(4.0(2 ',t%  X : R WZ€ X> _X`]^ \RX`RZ ; ; ]W`> Mbo p C U  > L8+(3 MNNb% KI *.45 *0 . 3 % MNN  O I *.45 > ;%% .'- I : >  % % s :*+6 $+2 4*,,('= (' L'' 2 0.0*- I 2 =(4 $+2 =+. 99 ('= C c5* 2 +6 .'- T9 8 3* 9 *'0.0(2 't%  X : R WZ€ X> . WY P € €]`PWY . W> X R ; ZY] XW  S # Y P ; # >  >  .':.+6 MNN  > 88%  % KI 32 6- MN O I 32 6- >  %- % sf2 :'-.0(2 ', 2< I 2 =(4 $+2 =+. 99 ('=t% ;8+('=*+ u*+ 3 .= > MN  % KI 2 A 2 MNN O I 2 A 2>  % ('v*+ >  % .'- .e.,*v.+ > L% s;* .'0(4, + 7(,e:'40()* .'- q + . 7(,U e:'40()*9 I 2 =(4 $+ K;:A+.5 9 .'(.' MNN  O ;:A+.5 9 .'(.' > u%;% sL 9 . 3U =. 9 .0('= a' 2 @ 3*-=* " .,*,t% V  RZW # Z ^ Y ] XW # XW {ZYZ MNN  > MNobp CbNM M%