1 23456789 0 :;4 01 <4=5<=42 00 78 08 2<>;4? 01 572852 0 - - PowerPoint PPT Presentation

▶
1 23456789 0 4 01 4 5 42 00 78 08 2 4 01 572852 0
SMART_READER_LITE
LIVE PREVIEW

1 23456789 0 :;4 01 <4=5<=42 00 78 08 2<>;4? 01 572852 0 - - PowerPoint PPT Presentation

May 07, 2023 264 likes •632 views

1 23456789 0 :;4 01 <4=5<=42 00 78 08 2<>;4? 01 572852 0 @ A374 0B-01 =AA7C38 0 !"#$%$&$'()*+(,*-.&$/$%*"/0(/"1(23.'+%-'"$/0(4/$5'-/$%6#(7!,2849( :*+;#5*.(*"(4/$5'-/$%6#(%"(</$/(=6%'"6'(

slide-1
SLIDE 1

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

  • ./0123*4//1506)

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

http://www.csc.ncsu.edu/faculty/bdsullivan

1234567890:;401<4=5<=4200

78082<>;4?015728520

!"#$%$&$'()*+(,*-.&$/$%*"/0(/"1(23.'+%-'"$/0(4/$5'-/$%6#(7!,2849( :*+;#5*.(*"(4/$5'-/$%6#(%"(</$/(=6%'"6'( >&0?(@AB(CADE(

@A3740B-01=AA7C380

slide-2
SLIDE 2

2

.07)689:0D0E!$F0/#G#H0$'0F%GI0

  • ! 6(J#*0!%#$*I0KL@0*.(%M*'N0OP0'Q*#RG$,0"$*S'0
  • ! 5"$J#G.0'$J("#G$M*I0TUVW0F%$/0,.""'N0OXXW0)#%$#!".'N0OXXX0Q.#%'00
  • ! 9.*MJ.I0Y@0*(,".MG$/.'N0UX?0F.*.'N0O-T?0B830G%#*',%$RG$M*0Z#,GM%'0
  • ! 1M,$#"08.G[M%S'I0:#,.!MMSN0<[$GG.%0.#,\0\#).0]O@0('.%'N0(R0GM0LXX?0

G[..G'^J$*N0T-_@0"$S.'^/#QN0#)F-0LLK0Z%$.*/'0^0UXK0ZM""M[.%'0R.%0('.%-)

(

!-/G'#(6+'1%$(7H($*(89I(:JK4%""(L,M(6*"#*+$%&-B(<*N+*0%#('$(/0OB(L&-/"(P'"*-'(M+*Q'6$B(R'.5*+%/(

VMG$)#G$M*0

slide-3
SLIDE 3

3

;<<7)689:)D0F%#R\'0*#G(%#""Q0.*,M/.0%."#G$M*'\$R'`00

  • ! 6(J#*0!%#$*I0KL@0*.(%M*'N0OP0'Q*#RG$,0"$*S'0
  • ! 5"$J#G.0'$J("#G$M*I0TUVW0F%$/0,.""'N0OXXW0)#%$#!".'N0OXXX0Q.#%'00
  • ! 9.*MJ.I0Y@0*(,".MG$/.'N0UX?0F.*.'N0O-T?0B830G%#*',%$RG$M*0Z#,GM%'0
  • ! 1M,$#"08.G[M%S'I0:#,.!MMSN0<[$GG.%0.#,\0\#).0]O@0('.%'N0(R0GM0LXX?0

G[..G'^J$*N0T-_@0"$S.'^/#QN0#)F-0LLK0Z%$.*/'0^0UXK0ZM""M[.%'0R.%0('.%-)

(

!-/G'#(6+'1%$(7H($*(89I((L/G-/""('$(/0B(:+%G5$('$(/0B(S/?/;('$(/0B(/"1(:'"G('$(/0(

VMG$)#G$M*0

slide-4
SLIDE 4

4

5\#"".*F.'0

,O(20'G/"#(%-/G'(F?(T*+-%;*$;/#(

U1(5*6(-'$5*1#( 23%#$%"G(/"/0?#%#(V"1#(*"0?(0*6/0( ./$$'+"#(*+(G0*F/0(.+*.'+$%'#( L%G5(6*-.&$/$%*"/0(6*-.0'3%$?( L/+1($*(6*-./+'(1/$/(6*00'6$'1( /$(N/+%'1(+'#*0&$%*"#( 8/"1*-(#/-.0%"G(%#(*)$'"( %"'W'6$%N'(

23/-.0'I(-*$%)(6*&"$%"G(6&++'"$0?( #6/0'#($*(./$$'+"#(*)(#%X'(E(7*+(Y9Z(0

<\.%.0$'0#*042=86>)6887)ZM%0*.[0J.G\M/'0GM0?406>1>0>158/@)060/@A8) !"##$%&'()*+"!$,-'./"01#)#*/0G\.$%0,MJRM*.*G'046782)46B82>016>@C))

slide-5
SLIDE 5

5

;(%03RR%M#,\0

slide-6
SLIDE 6

6

<M/#Qa'0<#"S0

O-04.#"b[M%"/0*.G[M%S'0\#).04:8D4/):E02:8):>24B>4280D00 !MG\0$5'*+'$%6/00?0#*/0'-.%+%6/00?( U-01R#%'.0'G%(,G(%.0".#/'0GM0 D0:>)0/=<21>FG:00 )*+($5%"G#(['(6/+'(/F*&$`0 LC)+GE/8G86>0>1<6`00 30R%MMZbMZb,M*,.RG0 R$R."$*.0ZM%0JMG$Z0,M(*G$*F0 X-06#%/0R%M!".J'0/+'"\$(/0[/?#(5/+1(

slide-7
SLIDE 7

7

:#'G0c9%#R\d03"FM%$G\J'e0

2",34(4*#$(%"$'+'#$%"G(G+/.5(.+*F0'-#(/+'(( 567,8!09&3&()*+(G'"'+/0(G+/.5#(

  • ! V#f0,"$g(.0hR%MG.$*0F%M(R'i0
  • ! C.%G.f0,M).%0h!$M$*ZM%J#G$,'N0'.*'M%'i0
  • ! 9%#R\0,M"M%$*F0h',\./("$*FN01(/MS(i0
  • ! 1(!F%#R\0$'MJM%R\$'J0hJMG$Z'i0

!-/G'(6+'1%$I(P/+'?(](>*5"#*"(7H9B(:%;%-'1%/(789(

slide-8
SLIDE 8

8

305"#''$,02f#JR".0

C24<2j5;C24I0:$*/0J$*-0*(J!.%0MZ0).%G$,.'0G\#G0\$G0#""0./F.'-0

!-/G'(6+'1%$I(:*0)+/-(U0.5/(

slide-9
SLIDE 9

9

k#%#J.G.%$l#G$M*0GM0G\.0%.',(.`0

C24<2j5;C24I0:$*/0J$*-0*(J!.%0MZ0).%G$,.'0G\#G0\$G0#""0./F.'-0

?bC24<2j5;C24I05#*0QM(0m*/0#G0JM'G0;0).%G$,.'0\$GG$*F0#""0./F.'e0

  • ! .24>8)D<2B8H0,M*'$/.%0#""0'(!'.G'0MZ0'$l.0;(
  • ! <\$'0#"FM%$G\J0G#S.'0G$J.0"I+:)J)

,/"(['(1*(F'$$'+^(

!-/G'(6+'1%$I(:*0)+/-(U0.5/(

slide-10
SLIDE 10

10

V#S$*F0G\.0.#'Q0,\M$,.'0

  • ! ?bC24<2j5;C24I03%.0G\.%.0#G0JM'G0;0).%G$,.'0\$GG$*F0#""0./F.'e0

;2887@)(4/8H0:$*/0#0).%G.f0N0MZ0/.F%..0#G0".#'G0;_DO03//0N0GM0G\.0,M).%N0 /.".G.0N0Z%MJ090h[$G\0#""0#/n#,.*G0./F.'iN0/.,%.J.*G0;-0

  • ! :5?(/+'(['(G&/+/"$''1($5%#(1*'#"\$(65/"G'($5'(/"#['+^(
  • ! L*[(-/"?($%-'#(6/"(?*&(/..0?($5%#(+&0'^(
slide-11
SLIDE 11

11

<\$'0$'0E?.%*."$l#G$M*H0

  • ! ?bC24<2j5;C24I03%.0G\.%.0#G0JM'G0;0).%G$,.'0\$GG$*F0#""0./F.'e0

;2887@)(4/8H0:$*/0#0).%G.f0)0MZ0/.F%..0#G0".#'G0;_DO03//0$G0GM0G\.0,M).%N0 #*/0/.".G.0$G0Z%MJ0G\.0F%#R\0h[$G\0#""0#/n#,.*G0./F.'i-0 6M[0GM0:$*/0#0?.%*."I0

  • ! 4.R.#G./"Q0#RR"Q09%../Q04(".0(*G$"0*M0).%G$,.'0MZ0/.F%..0o0;-0

;1"3<#'9&=3'$#'31&':&/+&9>'

  • ! 6M[0!$F0,#*0$G0!.e00

!)($5'+'(/+'(-*+'($5/"(;C(N'+$%6'#B(6/"($5'+'(F'(/(6*N'+(*)(#%X'(/$(-*#$(;^( 6M[0GM01M").0G\.0?.%*."I0

  • ! @%(G.bZM%,.0%.J#$*/.%0$*0G$J.0;hC;Ci-0

:5/$\#($5'(*N'+/00(+&""%"G($%-'(*)($5%#(/0G*+%$5-^(!#(%$(F'$$'+($5/"(`7";9^(

slide-12
SLIDE 12

12

k#%#J.G.%$l./05MJR".f$GQ0$*0#0*(G'\.""0

  • ! ,$I0'M")#!".0[$G\0*M*b/.G.%J$*$'G$,0<(%$*F0J#,\$*.0
  • ! K$I00\#'0#*0;h")7;9i0#"FM%$G\J-00
  • ! L$&I0\#'0#*0)7;9"`7D9(#"FM%$G\J-0
  • ! $</@MN8268/I0G\.0S.%*."0\#'0'$l.0S`7D900
slide-13
SLIDE 13

13

>\#G0$Z0G\.0R%M!".J0'$l.0$'*aG0'J#""e0

slide-14
SLIDE 14

14

<\.0G%$,S00

  • ! `&+(G+/.5(%#"\$(Q&#$(

/"?(*01(G+/.5a(

  • ! 4.#"b[M%"/0*.G[M%S'0MZG.*0\#).06*--&"%$?(#$+&6$&+'I0

G\.Qa%.0E"M,#""Q0/.*'.H0#*/0EF"M!#""Q0'R#%'.H00

slide-15
SLIDE 15

15

58',*,9&#'!":&#'31$+.#'&"#*?))

  • ! V3j>71I0:$*/0G\.0-/3%-&-(['%G5$'1(%"1'.'"1'"$(#'$0$*0P(

(

(

&F1:),$MF027)E2<O/8G)F0:)0)/16802)0/=<21>FG)<6)>288:P)

L0 U0 O0 O0 L0 U0 L0 T0 p0 U0 O0 (3,0) (3,6) (1,0) (2,0) (3,0) (1,0) (2,0) (7,5) (4,1) (8,10) (17,15)

='.Z("01R#%'$GQ0h)-0!"#$I0<%..01G%(,G(%.0

[Some prefer to think of belief propagation -- also efficient (and exact) on trees]

slide-16
SLIDE 16

16

  • ! 30F%#R\0,"#''0P0\#'0F*&"1'1($+''[%1$5($Z0.).%Q0F%#R\0

\#'0#0$+''(1'6*-.*#%$%*"(MZ0[$/G\0#G0JM'G06-00

1R#%'$GQ0O-OI0@M(*/./0<%..[$/G\0

%:8D4/68::H)0VM'G0#"FM%$G\J'0[\$,\0#%.0RM"Q*MJ$#"bG$J.0M*0G%..'0 0,#*0!.0.fG.*/./0GM0246)16)E</@M>1G8)<6)O<46787)>288917>F00 hQM(0R#Q0#*0.fRM*.*G$#"0Z#,GM%0$*0G.%J'0MZ0G\.0[$/G\i0

!-/G'(6+'1%$(:%;%.'1%/(

slide-17
SLIDE 17

17

Star forests Bounded treedepth Bounded treewidth Excluding a minor Excluding a topological minor Bounded expansion Outerplanar Planar Bounded genus Linear forests Bounded degree Locally bounded treewidth Locally excluding a minor Forests

r r

  • Locally bounded

expansion Nowhere dense

  • r
  • 1R#%'.09%#R\06$.%#%,\Q0
slide-18
SLIDE 18

18

:k<03"FM%$G\J'0q09%#R\01G%(,G(%.I0k%M'0q05M*'0

H*$#0MZ0R%M!".J'0!.,MJ.0:k<I0 3*/0G\.%.0#%.0J.G#bG\.M%.J'`00

  • ! :;bJM/."0,\.,S$*F0*"("*[5'+'K1'"#'(G+/.5#b0h;0r0ZM%J("#0'$l.i00
  • ! 2V1;bJM/."0,\.,S$*F0./+/-'$'+%X'1(F?($+''[%1$5'

@AB'

(

C&"97D8/9)'+&3D8/:#'-%G5$("*$()/00(%"$*(/"?(*)($5'#'(6/$'G*+%'#Z(( :*+#'B(%$\#(1"/)'38'3&#3'-'-F'+#5%.(7]('3%#$%"G(+'#&0$#(/+'("'G/$%N'9( T5'(/0G*+%$5-#(*)$'"(5/N'(c5&G'd(1$))&+',8+#3"+3#''

  • ! 1<278240<4220h!M(*/./0/.F.*.%#,Qi0
  • ! B;V783<78912<0h!M(*/./0F.*('i0
  • ! 1=@943k671;V;4k671V0h!M(*/./0.fR#*'$M*i0
  • ! V3j>710h!M(*/./0G%..[$/G\i00

*Recall, this was broadest class. And lots of problems are expressible in FO-logic.

slide-19
SLIDE 19

19

6M[0/M0[.0S*M[0$Z0*.G[M%S'00 #%.0'G%(,G(%#""Q0'R#%'.e0

slide-20
SLIDE 20

20

5M**.,G$*F0h[$G\i0G\.0/MG'00

  • ! 5\#"".*F.I0%"#$/"6'#(N#O(60/##'#(
  • ! 9M#"I0,"#''$ZQ0*.G[M%S'0!Q0G\.$%0Z.#G(%.'^,\#%#,G.%$'G$,'0
  • ! <QR$,#"03RR%M#,\I0m*/0+/"1*-%X'1(-*1'0#(G\#G0J#G,\0

/.'$%./0Z.#G(%.'0D0('.0G\.'.0GM0%.R%.'.*G0G\.0,"#''00

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

8/"1*-(!"$'+#'6$%*"( P+/.5#(( 7#5/+'1(/$$+%F&$'#9( e/+/F/#%KU0F'+$( 7.+')O(/$$/65-'"$9( ,*"VG&+/$%*"f(,5&"GKH&( 71'G+''(1%#$+%F&$%*"9( g0'%"F'+G( 7#-/00([*+019(

slide-21
SLIDE 21

21

30!$G0MZ0!#/0*.['s0

.<46787)38=288H)

  • ! 2%/t'b4u*Q$00b0;h"MF0"i0
  • ! VM""MQb4../0c/.R.*/'0M*0'R.,$m./0/.F%..0'.g(.*,.d0
  • ! 4#*/MJ07*G.%'.,G$M*09%#R\'0hh0v0Oi0

.<46787)38=86820B@H)

  • ! @#%#!#'$b3"!.%G00
  • ! 4#*/MJ07*G.%'.,G$M*09%#R\'0hh0v0Oi)

.<46787)&288917>FH)

  • ! 2%/t'b4u*Q$00b0;h"i00c9#MN0UXXwd0
  • ! @#%#!#'$b3"!.%G0D0;h"i0c9#MN0UXXwd00
slide-22
SLIDE 22

22

1R#%'$GQ0U-XI0@M(*/./02fR#*'$M*0

  • ! 30F%#R\0,"#''0P0\#'0F*&"1'1('3./"#%*"($Z0.).%Q0+b'\#""M[0

hGMRM"MF$,#"i0J$*M%0\#'0/.*'$GQ0#G0JM'G0)7+9-00 ,<>8H)%."#G./0:k<0#"FM%$G\J'01*"\$0%.g($%.0S*M[$*F0)7+9(

Or(G) = max

H∈GOr

|E(H)| |V (H)|

Or(G) := sup

G∈G

Or(G) ≤ f(r)

slide-23
SLIDE 23

23

30@%M#/08.[04.'("G0hUXO_Wi0

&F8<28GH)M'+$&+F'1(e*&"1'1(<'G+''(P+/.5#(P"7,iB(.9(ZM%J0 ,"#''.'0MZ0!M(*/./0.fR#*'$M*0[-\-R-0[\.*0.0$'0;hDf"i0 :5/$(;%"1(*)(G+/.5#^( ) ) ) ) )

  • ! A.G0,i0!.0#049V0G\#G0F.*.%#G.'0F%#R\'0MZ0J#f0/.F%..0v0i(
  • ! A.G0.0!.0#0'.g(.*,.0MZ0./F.0R%M!#!$"$GQ0Z(*,G$M*'0."I0c"d0f0c"d0bo0cABDd0

(

P"7,iB(.9(F.*.%#G.'0%#*/MJ0F%#R\'0!QI0

O-! B%#[$*F0#0%#*/MJ0F%#R\0P0hG\.0F/#'(G+/.5i0M*0"0).%G$,.'0Z%MJ0,i00 U-! :M%0&BN0$*0c"d0f0c"dN0$Z07&BN90$'0*MG0$*0PN0#//0$G0[$G\0R%M!#!$"$GQ0."7&BN9(

)

*E8B10/)!0:8:H)2%/t'b4u*Q$N01GM,\#'G$,0@"M,S0VM/."'N0#*/0 7*\MJMF.*M('04#*/MJ09%#R\'0

c[$G\0B.J#$*.N04.$/"N04M''J#*$G\N01#*,\.l0C$""##J$"N01$S/#%d0

slide-24
SLIDE 24

24

8MG0M*"Q0$*G($G$).N0!(G0.+'1%6$'1`0

x07*,"(/.'0,M*mF(%#G$M*0[$G\0\M('.\M"/'0h\$F\0,"('G.%$*Fi0q0$*\MJMF.*M('0%#*/MJ0F%#R\'-0

slide-25
SLIDE 25

25

BM.'0$G0\M"/0$*0%.#"0/#G#e0

slide-26
SLIDE 26

26

9%.#G-01M0[\#Ge00

slide-27
SLIDE 27

27

23.0*%$/$%*"0hEG\.0!$F0R$,G(%.Hi0

slide-28
SLIDE 28

28

30:M,('0k%M!".J0

$2<O/8GH05M(*G0*(J!.%0MZ0 M,,(%%.*,.'0MZ0JMG$Z0L00 $*0\M'G0F%#R\0P(

#<>1D:H0+'6&++'"$(/"1(#$/$%#$%6/00?(#%G"%V6/"$(#&FG+/.5#(*+(./$$'+"#O(

hV$"M0.G0#"0yXpi0

slide-29
SLIDE 29

29

<MM"I0Rb,.*G.%./0,M"M%$*F'0

,89G06Q:),8>9<2N)*B186B8)IRSSTJ) I0J! Ub,.*G.%./0,M"M%$*F0hRV0,M"M%'i0 IOJ! )#0Wb,M"M%0'(!F%#R\00 IBJ! )J#R0M*GM0/.RG\bW0G%..')

X8@)<O:8250>1<6H)) .b,.*G.%./0,M"M%$*F'0#%.0 /<9M>28878E>Fx),M"M%$*F'I0 G\.0(*$M*0MZ0/"?0H(j(.00 ,M"M%0,"#''.'0\#'0 0G%../.RG\0#G0JM'G0HO(

(

(

b%-.0%'#($+''[%1$5( B1&/&'$#'"+'"9.8/$31!'=8/'E+)$+.'07,&+3&/&)',898/$+.#'$+'9$+&"/'3$!&?'))

slide-30
SLIDE 30

30

3"FM%$G\J$,00 k$R."$*.0

`.'"(=*&+6'(8'0'/#'(=**"Z((:/$65(*&+(['F#%$'(7*+()*00*[(-'(ke0/%+<=&00%N/"9Z((

slide-31
SLIDE 31

31

7'0G\#G0.).%0%.#""Q0Z#'G.%e0

U$(#6/0'B(e2(/0G*+%$5-(7#*0%19(l&%6;0?(*&$K.'+)*+-#(G'"'+/0(mM(/0G*+%$5-#(71/#5'19Z(

10

2

10

3

10

4

10

5

10

6

10

7

10 10

50

10

100

10

150

10

200

10

250

10

300

Number of vertices Time h = 10 h = 20 h = 50 h = 100

5M(*G$*F0JMG$Z'0MZ0'$l.050 $*0!M(*/./b.fR#*'$M*0 G#S.'0G$J.0

D$31'#!"99',8+#3"+3#)

slide-32
SLIDE 32

32

3//$G$M*#"0B$%.,G$M*'0

  • ! >\.%.0/M0MG\.%0JM/."'0Z#""0$*0G\.0\$.%#%,\Qe0
  • ! 2JR$%$,#"0G.'G$*F0D0,#*0QM(0m*/0/.*'.0'\#""M[0J$*M%'e0
  • ! >$""0G\.0GMM"'0[M%S0M*0%.#"b[M%"/0/#G#e0c,M**.,GMJ.'d0
  • ! 3%.0.b,.*G.%./0,M"M%$*F'0G\.0%$F\G0GMM"e00
  • ! BM.'0G\$'0$*ZM%J0*.[0JM/."'e0
  • ! VM%.0#"FM%$G\J'e0:M%0[\#G0R%M!".J'e0
  • ! 5#*0[.0R#%#""."$l.0h[.""ie0
slide-33
SLIDE 33

33

>.a%.06$%$*F`0

"E86)(06N)$<:1>1<6))

Y6>1B1E0>87)F<G8)78E02>G86>H'F"31&!"3$,#' 6$F\"$F\G./0#%.#'0MZ0$*G.%.'GI(6*-.&$/$%*"/0( G'*-'$+?(/"1($*.*0*G?B(/..0%'1(G+/.5($5'*+?B( 6*-.+'##'1(#'"#%"GB(-/$5'-/$%6/0(#%G"/0( .+*6'##%"GB(-/65%"'(0'/+"%"GB(-/$5'-/$%6/0( "'$[*+;(/"/0?#%#B(-*1'0%"G($5'(%"$'+"'$B(#*6%/0( "'$[*+;#B(/"1(/"/0?#%#(*)(-/##%N'(1/$/(#'$#(

\GGR'I^^nM!'-*,'(-./(^RM'G$*F'^_LYU_0 \GGRI^^[M%SG\#GJ#GG.%'-*,'(-./(^/#G#b/%$).*b',$.*,.0

slide-34
SLIDE 34

34

7aJ06$%$*F`0

$<:>7<B)E<:1>1<6:)0501/0O/8)16)<42)=2<4EP)

Lb_0MR.*$*F'0"$S."Q0$*0UXO_bUXUXz0*.[0#/0RM'G./0'MM*-0

X6<9)0)=280>)46782=207Z) 2*,M(%#F.0G\.J0GM0#RR"Q0GM08501G#G.05MJR(G.%01,$.*,.0h#*/0 "$'G0J.0#'0Z#,("GQ0G\.Qa%.0$*G.%.'G./0$*0[M%S$*F0[$G\i`00

DEPARTMENT OF COMPUTER SCIENCE

THEORY IN PRACTICE

  • DR. BLAIR D. SULLIVAN

HOMEPAGE RESEARCH GROUP PUBLICATIONS NEWS & EVENTS ABOUT

\GGRI^^[[[-,',-*,'(-./(^Z#,("GQ^!/'(""$)#*0

slide-35
SLIDE 35

35

3,S*M["./F.J.*G'0

( T5%#($/0;(1'#6+%F'1(Q*%"$([*+;(%"($5'()*00*[%"G(./.'+#I)

) *>24B>420/)*E02:1>@)<D)!<GE/8[),8>9<2N:H)) (067<G);20EF)#<78/:)067)\16802)Y/=<21>FG:C)) 2-0B.J#$*.N0:-04.$/"N0k-04M''J#*$G\N0:-01#*,\.l0C$""##J$"N01-01$S/#%N0@B1C)) Y2K15HVWSTCRU]^(( ) _@E82O</1B1>@)067)'[E06:1<6)<D)(067<G)+6>82:8B>1<6);20EF:) V-0:#%%.""N0<-09MM/%$,\N08-0A.JM*'N0:-04.$/"N0:-01#*,\.l0C$""##J$"N0@B1-00 Y2K15HVWS`C]V`T)

)

U#(['00(/#([*+;(%"(.+*G+'##([%$5(M5O<O(#$&1'"$#I( (<-09MM/%$,\N03-0C#*0/.%0kM."N0#*/0V-0;a@%$.*0

4*+'(%")*+-/$%*"(/N/%0/F0'(/$I(999CB:BC6B:4C874aD0B4/>@aO7:4//1506)

@-01(""$)#*0Z(*/./0$*0R#%G0!Q0G\.09M%/M*0q0@.GGQ0VMM%.0:M(*/#G$M*N0G\.008#G$M*#"05M*'M%G$(J0 ZM%0B#G#01,$.*,.0#*/0G\.0B.Z.*'.03/)#*,./04.'.#%,\0k%Mn.,G'03F.*,Q0943k610R%MF%#J-0

F"+*(!-/G'#(6+'1%$(n'0%3(8'%10(78:TL(U/65'"9(