Fast practical multi-pattern matching

HAL Id: hal-00619554

https://hal-upec-upem.archives-ouvertes.fr/hal-00619554

Submitted on 19 Mar 2013

HAL 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.

Fast practical multi-pattern matching

Maxime Crochemore, Artur Czumaj, Leszek Gąsieniec, Thierry Lecroq, Wojciech Plandowski, Wojciech Rytter

To cite this version:

Maxime Crochemore, Artur Czumaj, Leszek Gąsieniec, Thierry Lecroq, Wojciech Plandowski, et al.. Fast practical multi-pattern matching. Information Processing Letters, Elsevier, 1999, 71 (3-4), pp.107-113. �10.1016/S0020-0190(99)00092-7�. �hal-00619554�

$&%')(*+-,.0/1*2(.436578%9';:0</>=?A@B5CD%9EF=2GHI.KJHI.0+LM59N9%OP=P(Q*P/>HIJ.KR;SB5

T%C.K+0(*U;VW5YX %Z[I=PJ\*0]^GQRH0S#=2J\_X %`bacc-.K(L

dfehg6ikjmlnjmo-jpqWisr6qtIufvswbxgy-zk{4|2gKl~}ztiklnj6€zuzw‚qtƒgKz„v†…‡qfvMˆ0q…~…M€z‰zk{Šl~j‹€z4Œzkikƒqthjmz„iŽ‰{u

Œ9z„i‘ƒqtƒjmzkiƒ{Š’“q”rKiƒvsiko“tvswbqtƒgKzk{–•Q•˜—KŽk—™wbqthg0zkvI…šqWvMˆKqQ…n…f€zz›ŠœAŒ–œŸžW{ tIqgKƒz

¡

ŒzIr6qtƒjm”z‰gKjxI¢wbqj~’“z”qjml~kiqgKu™Šx”r£o-jmzt¥¤£‰lnz‰gKƒzk{|Pg0ln}‰zti‘l~jm¦xI¢§¨quQztk©˜xtƒg6{

 ªo-t˜ikjmzg0q…~…šzƒz«Q«‰{¬¬“«f­Qž§¨qQuztk©˜xQthg®{pztƒ”qQgK¦

¯ ŒzIr6qthjm”z‰gKjxI¢°Šx”r£o-jmzt¥¤£‰lnz‰gKƒzk{±2’“zb|Pg0ln}‰zti‘l~jm¦xI¢²ln}‰zt³r‹xxQ…´{Šµ’“qu¶l~k·o“l~…‡ul~gy{

§¨zƒq„’¸¤¹jmt†zƒzj~{²l~}zt³r‹x‰x…0²µºQ»)•ƒ¼½ {4|Pg0lnjmzƒu°¾4l~gy-ux”

¿

ehg®i‘jml~jmo“jmzxI¢eƒgk¢kxth”qjml~kiƒ{4Àqti‘qQ¶Á|2gKl~}z‰t˜ikl~jm¦{o-…ýqg0qk’-qžf{¨­Q­fvÄ»«W¬ÅÀqti‘qQ¶ÆŽQ»‰{

§x…‡qgKu

ÇhÈ jmz…‡lnz‰tlnx…‡xy“l~zehg„¢‘xtƒ”qjml~Éo-z¤£jmqjmlÊikjmlnɉo“z¤£x‰l~xfv†…‡l~gy-o“lÊi‘jml~Éo-zk{2²q“©xtIqjmxl~t†z

uPËehgk¢kxtƒ”qjmlnɉo“z xg0uq”zg0jmq…‡zz‰j

È

rr£…‡l~Éo–€zzuzÌ¨xo-zg®{ qo-…‡j‹€zki4uz„i¤£l~zg0hz„i–zjAuzki

±¹zƒk’“g0lnɉo“z„ih{–|2gKl~}z‰t˜ikl~j‹€z4uzÌxo-zg6{–•‰ºf͞“«wbxgKj~vΤ£ql~gKj~vÈ l´y-gKqgϊzƒuzkЉ{ BtIqg0hz

ÑÒ2ÓkÔՉÖK×fÔ

ØÙ-ÚÛ°ÜfÝßޛàIÚkáhâ-ã‡äåfæähÙ-ږç6Üç®ÚàAݚáähÙ-Úèkå“Þ-á˜äƒà˜â-èkä˜Ý‡å“ÞåfæPÜéÚàIêæsÜfá˜äۏâ-ã‡ä˜Ýìë†ç6Üfää˜Úà˜Þ›Û°Üfä˜èkÙ-ÝßÞ-í

Üfã‡íå-àI݇ähÙ6ÛîèÜWãšã‡Úkïñð–ò2ó8ô9ësõ‚òØö÷4ø¹ØÙ-ÚÜfã‡íå“àI݇ähÙ6Ûù݇áåfæ–úAåMêQÚàÎësõbå“å“àÄÚ°äIê‹ç®ÚøPûàÄÚké“݇å“â-á

Üfã‡íå-àI݇ähÙ6ÛåfæähÙ-݇á4äIê‹ç®Ú¸Ý‡áähÙ-Úöå“Û°ÛüÚÞä˜ýƒësóÜfã‡ä˜ÚàÜfã‡íå“àI݇ähÙ6Û;øþØÙ-Ú°ð–ò2ó8ô9ësõbòØö÷ŸÜWã´ë

íå-àI݇ähÙ6Û ÿ®ÚÙ6ÜéQÚkáÿ6Úkää˜ÚàähÙ6ÜQÞ öå“Û°ÛüÚÞä˜ýƒësóÜfã‡ä˜ÚàÜfã‡íå“àI݇ähÙ6Û;øó Ú°èkå-ۏÿ-ÝßÞ-ڛähÙ-ڰ݇ï6ÚÜfáåfæ

ä

å¸Üfã‡íå“àÄݚäƒÙ6Ûá0ähÙ-Úò9Ù-åfë†öYå“à˜Üfá˜Ý‡èÜfã‡íå“àI݇ähÙ6Û;îÜÞ-ï)ähÙ-ÚÚkéQÚàIá˜Ú £Üfèkäå“à–ÜWãšíQå“àI݇ähÙ6Û æ³àIå-Û

öàÄå“èkÙ-ÚÛå“àIÚ zjq…‡lnl øPØÙ-ÚÞ-Ú

ÜWãšíQå“àI݇ähÙ6Û&ç6ÚàÎæmå“à˜ÛüáÜfäÛåá˜ä½ÝßÞ-áhç6Úkèkäݚå-Þ-á°åfæä˜Ú-ä

èkÙ6Üà˜ÜfèkäÚàIáî“ÜQÞ-ï¸Ý‡áéÚàÄêæ³ÜWá˜äå“Þ›äƒÙ-Ú9܉éÚà˜ÜWíÚøfó Úí݇éÚá˜å“ÛÚÚ6ç6ÚàIÝßÛÚÞQähÜfãÚké-݇ï6ÚÞ-èkÚ4åfæ݇ä˜á

íå-å-ï)ÿ6ÚÙ6܉é“݇å“à¨æ å“àà˜ÜQÞ-ï6å“Û

å-àIï6áî6Üfí“ÜfÝßÞ-á˜äähÙ-Ú4öYå“Û°ÛÚÞQä˜ýƒësó#Üfã‡ä˜ÚàÜfã‡íå-àI݇ähÙ6ÛøKØÙ-Ú4ÜWãšíQåfë

àI݇ähÙ6Û_݇áÚkáhç6ÚkèkÝßÜfã‡ã‡êá˜ÝßÛ°ç-ã‡Úæ å“àAÜá˜ÝßÞ-íã‡Ú4ç6Üfää˜Úà˜ÞÝßÞähÙ-݇áèÜfá˜ÚähÙ-Úò9Ù-åfë†öYå“à˜Üfá˜Ý‡è°Üfã‡íå“àÄݚäƒÙ6Û

èÜޙÿ6ÚàIÚç-ãßÜfèkÚkï ÿêähÙ-ځá˜ähà˜ÜWä˜Úkíê›åfæþäƒÙ-ÚÞ-â-ähÙQësõbå“à˜àI݇áIë†ûAà˜Üfä˜ä–ÜWãšíQå“àI݇ähÙ6ÛøKØÙ-ڏÿ6Üfá˜Ý‡èä˜å-åã

ÝßÞähÙ-ÚÜfã‡íå“àI݇ähÙ6ÛùðòPó ôësõbòØö÷_݇áähÙ-ڛï6ÝÃàÄÚkèkä˜ÚkïÅÜfèkê-èkãšÝ‡è

å-àIï í“à˜ÜQç6Ù¹øþØÙ-ݚáí“àÜç6٠݇á

â-áhâ6ÜWãšã‡ê)â-á˜ÚkïbÜfá–àIÚç6àÄÚká˜ÚÞäƒÜfä˜Ý‡å“Þ›åfæPäƒÙ-Úä˜Ú“ää˜å°ÿ6Ú4áèÜÞ6Þ-ÚkïîKÿ6â-äî6ÝßÞ;å“â6àèÜfá˜Ú

Ú4â-á˜Ú݇ääå

àIÚç6àÄÚká˜ÚÞäähÙ-Ú4á˜ÚkäåfæàIÚkéÚàÄá˜Ú4ç6Üfä˜ä˜ÚàÞ-áø

! #"%$&(')*

+-,/.0&1*243657,98:<;=,?>A@BC:<3CDBE,24:<8F3E1GH>JIK:.;3C1G?D8<0MLBE,N>PO7Q*1*573C1GRIBEBS0.9.@8<8F,91*.T,2U0KVWI

Q*13C:<,U24,9:YXZ0V!24:<8F3E1G D[IK:<:F,98<1[2%3E1\I]:<,9^:#_!0KV`BE,91=G&:<;/a#b&c#3E1*573C1GIKBEB0.9.T@=8<8<,N1*.T,2!0KV`,9Bed

,9>H,91:2f0V#XZ3g2SI]D8F0&LBC,9>h:F;*IK:YIDD*,IK82S3E1?L3CLBE3C0&G&8IKD;=36.i24,IK8.j;/I1*5k3E1?3C17Vl0&8F>RIK:F3E0M1

8<,9:F8<3C,9mMIKBnboi;=,iQ*824:YIKBCG&0&8F3E:F;>h:F02p0MBEmq,i:F;362#D8<0MLBE,9>r3C1Hsktavu#wUIM2%:<;=,x];0KdFyY0&8I&2436.z

tnx yrIBEG&0M8<3C:<;>P{Vl0&8\2p;0M8<:u?|}x~y€‚n{!wU;3g.j;ƒ.9I1-L*,Hm3E,Nwi,5PIM2„IRG&,91=,98IBE3E…(IK:<3C0&1P0V

2p3C1G&BC,kD*I:<:<,N8<1!b`x 2iVl0&8 0M1,?D*IK:F:<,98F1!{*:<;,i0q,N8pd 0q0&8<,\IKBCG&0&8F3E:F;> t IBEG&0M8<3C:<;> u

| M‚;[I&2iIL*,9:<:F,98iL*,9;*I9m3E0M8 3C1HD8I&.T:F36.T,U:F;*IK1H:F;, IBEG&0M8<3C:<;>P{yY0&>H>H,N17:F…Td

+ IBE:F,9857,9mq,NBE0&D*,5 IK1ƒIBEG&0M8<3C:<;> .T0&>/L3E1=3E1G?:F;,?3657,(I&2]0VUx y IK1*5 IKBEGM0&8F3E:<;=>R2

t|—yY0H&I*{yY0HKL*‚)ubfx .T0&>“DBE,9:F,mq,98243E0&1 .9IK1PL*,kVl0M@1*5P3E1 |x;&‚b`I:<,98N{]8I:I13

|]8&‚{IK1[5UIK,N…I(d IK:<,(2UIK1*5! ",9GM13E,N8 | #&‚!5,9mq,9BE0MD*,5R2p3E>“3EB6I8 IKBEGM0&8F3E:<;=>R2Tb

$n1 :<;3g2kD*IKD*,98N{%w ,R2p;0w ;=0Kw :F0P@*2p,R:F;,HD*0wi,98?0V573C8<,.:<,5ƒI&.%=.TBC36.?wi0&85-G&8IKD;[2

t&x%+('*)2ju!Vl0&8iQ*1[573E1G/I„Q[13E:F,2p,9: 0KV D*IK:F:<,98F1*2Tb,+ @*.j;“G&8ID;*2IK8F, @*2p,(5J:F0?8<,9D=8<,24,917:

IKBCBfVI&.T:F0&82tn24@Lwi0&852juY0V I?G&3Emq,N1Hwi0M85fb

+-,?8F,.T,91:<B-HD8F,2p,91:<,(5PI“VI>H3EB-H0KVWIBEG&0M8<3C:<;>R2UVl0&8 Q*1*573C1GH0M1,AD[IK:<:F,98<1P@[2p3E1=G :F;,

&]x#+('ƒ0KV*:F;,Y8<,9mq,N82p,#D*I:<:<,N8<1R|—ySd ./&‚b&]3E8F,.T:`,9^7:F,91*243E0&10KV*:F;362!IBEG&0M8<3C:<;> :F02p0MBEmq,

:<;, >A@=BE:<3ednD[IK:<:F,98<1 >RIK:.j;3C1GPD8F0&LBC,9> G&3Emq,(2AI1€IKBEGM0&8F3E:<;=> 8F@113C1G 3C110q@*I&578IK:F36.

:<3C>H,]3C1H:<;=, wi0M82p:.NI&2p, b32]0wi,9mq,98N{&:<;=,IKBCG&0&8F3E:F;> ;*IM2UI GM0q05 L*,9;*I9m3E0&8U3C1HD8I&.T:F36.T,qb

yY0&>/L3E1=3E1G :<;3g2i3657,I?wU3E:F;R:<;, x y IBEG&0M8<3C:<;>P{wi,D8F,2p,91:I?1,9w IKBEGM0&8F3E:<;=> wU;36.;

D*,98pVl0M8<>R2 IK:i>“0q2p:4&aR3E1*24D,(.T:<3C0&1*2i0V#:<,9^:U.;*IK8I&.T:F,982{IK1*5HwU;3g.j;H3g2i243E>/@BE:IK1,90M@*2pB-

mq,985?VI&24:]0M1 :F;, I(mq,N8IKGM,qb

$n1H:<;, .9IM2p,0KV 0&1=, D*IK:F:<,98F1!{:<;=,2<I>H, :<,(.j;1=360q@, IDDBC3E,2b7$n:iGM3Emq,2 Ik1,9w IKBEGM0&8F3E:<;=>

.T0&>/L3C13E1G :<;, 24:<8I:<,9GM3E,2f0V*:<;=,8PIBEG&0M8<3C:<;>rI1*5„:F;,9 ,Nmq,9824,Yc*I&.T:F0&8 IKBEGM0&8F3E:<;=>

t|:*,;<4{ySd =/q‚lub#oi;3g2„1,9w IBEGM0&8<3C:<;> D*,98pVl0M8<>R2I:k>H0 2p:>4Ma 3C1*2pD*,.T:F3E0M1*2„0V:<,9^:

.j;[IK8IM.T:<,N82T{=IK1*5R3E:U3g2i>H0&8F,2p3C>HDBE,:<;[IK1R:<;, o!@8<L*0 U,9mq,982p,c*I&.T:F0&8IKBEGM0&8F3E:<;=> D8<,d

2p,91:<,(5J3C1ƒ|™ySd ?/M‚nb,*3Ezq,:<;,* U,9mq,9824,c*I&.T:F0&8U:D, IBEG&0M8<3C:<;>R2{7:F;,1,9w IKBEGM0&8F3E:<;=>

3620&D:F3E>RIB 0M1 :<;,RI9mq,98IKGM,q{%wU3C:<;Zs t<ta]BE0MG@ u5A@ u 3E1[2pD*,.T:F3E0&1[2k0KV:<,N^7:\.j;*I8IM.T:<,982

t@ 362i:<;=,„BC,91GM:<;R0KVY:F;,D*IK:F:<,98F1fub

B C*DFE!G%EHG%!$IEHJKJ9'lLMGFDON7JKE

oi;, D=8<,9D8F0.T,2F2p3E1=G-D;[I&2p, 0KV*&x%+#' dPxYo]y92 IKBCG&0M8<3E:F;> .T0&1[.T,98<1[2k:<;, 2p,9:HX 0V

D*IK:F:<,98F1*2TbP$n:\.T0&1*243624:2kL*0&:F;Z3E1 L@3EBg573E1=G :<;=,Rx];0d<yY0M8I&2436.z >RIM.j;3C1,Q Vl0&8/IBEBi:F;,

D*IK:F:<,98F1*2]0V]X {`IK1*5 3C1 L@=3EB653E1G/:<;,&]x#+('SR Vl0M8 :<;=,k8<,Nmq,9824,„D[IK:<:F,98<1[2]0KVX b+ƒ,

2p;0M8<:FBTR57,(2<.T8F3EL*,:<;,24,:pw 0/5IK:IA24:<8F@*.T:<@=8<,2b

x]1Px;0KdFyY0&8I&2p3g.jz >RI&.;3C1,*QVU tXWY[ZY]\,Y[^K_`Y[a~u 362IR57,9:F,98<>H3C13624:<3g.WQ*1=3E:<,\2p:IK:<,/I@7d

:<0M>RIK:F0&1ƒwU;,98<,bW 3g2„IAQ*1=3E:<,/24,9:0KV 2p:I:<,2{OZA362 :<;=,A:F8IK1[2p3E:F3E0M1 Vl@1[.T:<3C0&1!{\ 3g2~:F;,

VIK3CBE@8F,JVl@=1*.T:<3C0&1!{P^K_/362?:<;,R3C13E:F36IKB24:I:<,q{YI1*5ca 3g2AIƒ2p,N:A0V:<;, IM.9.T,9D:F3E1Gƒ24:I:<,2

tn24,9,“|x];<&‚fVl0&857,N:IK3CB62ub7$n1HQ*GM@8<,d wi,D8<,(2p,91:U:<;,>RI&.;3E1=, Vl0M8]:F;,,9^I>HDBC, 24,9:

0KVYD[IK:<:F,98<1[2~X=UeIf<ghfHf<ghfHfg`{ifIf<gHg*{g3fIfg7fHf{jg3fkfg3fIlbqx .N.T,9D:F3E1G/24:IK:F,2IK8<,3C1P250q@*I8<,

L*0K^,2b

oi;,&x%+('UdPxYo]y92 IKBEGM0&8F3E:<;=> 1,9,52Y:<0 L,~IKLBC,]:F0?.T0M>HD@:F,Ik2p;=3Vl: .T0&8F8<,24D*0&1*5d

3E1G :<0 ,I&.;H24:I:<, 0V#:<;,x y >JI&.;3E1, b$n:iwU3CBEB,N1*IKLBC, :<;=, IBEG&0M8<3C:<;> :<0 D,N8pVl0&8F> :F;,

0&D:F3E>RIB*2p;=3Vl:YwU;36.;/.T0M8<8<,(2pD*0&1*5=2 :<0 :<;,>RI:.;,5„D=8<,TQ*^/IM2<240.T36I:<,5AwU3C:<;/:<;,2p:IK:F,qb

mYI&.;P2p:IK:F,>^„3g2]IM2<240.T36I:<,5 wU3C:<; I D=8<,TQ*^on 0VYwi0M8523E1PX {wU;36.;R362.T0&>HD*0 2p,5HLH

:<;,.;*IK8I&.T:F,982S24D*,9BEBC3E1G :F;,@1360q@,UD*I:<;HL*,9:4w ,9,91>^K_WIK1*5p^qb7oi;=,]BC,91G&:F;?0KV :<;,2p;3eVl:

I&2F2p0.T3gIK:<,(5 :<0^k362;qrOqs=qntq{wU;,98F,urR362U:<;, 2p;=0&8<:F,2p:D*IK:F:<,98F1 3E1PXr:F;*IK: ;[I&2UD8<,TQ[^

d 4 /  

f g f f g f f g

dK

dd

f g g

d 4 d d%/ d9

d

dK

g f f g f f

^ d 4 /  

\#t^&u dK4 d d`/ d9 d

dK 

^ d dd d 4 d d%/ d9 d

d

\#t^&u d 4 dK4 d dK /

^  d<d d

dK

_ r _t^&u ghfHf<ghf ghfHfg3fHf f<ghfHfg3fHfg fHfgHg g3fkf<g3f g3fkf<ghfHf

݇íKøøKØÙ-Úò9Ù-åfë†öYå“à˜Üfá˜Ý‡è¸ÛÜfè‘Ù-ÝßÞ-Ú¥æ å“àîBîKî“ø

n„b*oi;=,„:IKLBC,! \*_U.9I1RL,\57,TQ*1=,5H3E1:<@3C:<3Emq,NBT?IM2WVl0MBEBC0Kw2O

Vl0&8 2p:IK:F,p^{"! \*_N|^9‚%3g2 :<;,?>H3C13E>“IKB 2p;3eVl:wU;36.; GM@*IK8IK1:<,9,2 :F;*IK::<;=,98<,?3g2]10R0.jd

.T@8F8<,91*.,?0KVIHD*IK:F:<,98F1-3C1-:F;,“2pz3EDD*,5ƒIK8F,I7{#I&2F2p@>“3E1GR:<;[IK:>^“.T0&8F8<,24D0M1*52:<0 :F;,

BE0M1G&,24:iD8F,TQ*^/0KV ID*IK:F:<,98F1HwU;36.;/362iI 2p@$#“^/0KV#:<;=, :<,9^: 2<.9I11,5“2p0kVIK8t):F;, wU;0MBE,

3E17Vl0M8<>RI:<3C0&1AVl8F0&> :F;, 2<.9I11,5RD*IK8F:]8F,9BE,9mMI17: :<0kVl@8F:<;,98UD=8<0.T,2F2p3C1G7ub

0&8F,iVl0&8<>JIKBEB-q{%! \_N|^9‚q3g2%:<;,UBC,91GM:<;?0KV :<;, >H3E1=3E>RIB&D*I:<;/L,N:pw ,9,91\2p:I:<, ^IK1*5/IK1

I&.9.,9D:<3C1G/2p:IK:F,k53'&`,98<,N17:iVl8F0&> ^/t):<;=,„D[IK:<; .9IK1 @*2p,,93C:<;,N8i:<;=,„:F8I1*2p3C:<3E0M1 Vl@1[.T:<3C0&1

0&8:<;, VI3EBE@=8<, BC3E1z=2jub

$n:U362 ,(I&2X“:<0“2p,9, :F;*IK:N{3V#w ,kI8<,G&3Cmq,91H:F;,D*IK:F:<,98F1 >JIK:.;3C1G>RI&.;3E1=,]wU3C:<;HVIK3CBE@8F,

BE3C1z2!3E1 :<;, :ILBE,\%{&:F;,91k:F;,i:IKLBC,%! \_#.NIK1?L*,.T0&1[2p:<8F@*.T:F,5„3C1k:<3C>H,SD8F0&D*0&8F:<3C0&1*IB

:<0/:<;,1@>/L,N8 0V 2p:IK:F,2iwU3E:F; :<;=,~Vl0MBEBC0KwU3C1Gk8F@BE,(2 O

57@8F3E1G/:<;, .T0M>HD@:IK:F3E0&1R0VS:F;,k:F8<3E, {7wU;,91 :<;,BC,9:<:F,98 r |( )‚!0V IkD*IK:F:<,98F1brR0KVYBC,91GM:<;

@ 3g2iD8<0.T,(2<2p,(5f{

3V\I 1,9w 2p:IK:F, ^-3g2H.T8F,IK:F,5Z:<;,N1!{i3V)

U @ :<;=,91*%+ \_N|^9‚HOU @ s, sSdP,9B624,

%+ \_N|^9‚!OU1@P{

3V:F;, .T0&8F8<,24D0M1*573C1G 24:I:<,9^iIBE8<,(I&5k,9^362p:2f:<;,N1-%+ \_N|^9‚!OUZ>H3C1*t@s. s;dY/! \*_N|^9‚)u10

I(Vl:F,98<wWIK85=2T{q57@=8<3E1=G]:F;,iL8F,I&5:<;7dlQ*824:Y:<8I9mq,982<IBq0KV`:<;, :<8F3E, Vl0M8Y.T0M>HD@:F3E1GU:F;,iVIK3CBE@8F,

BE3C1z2{7wU;,N1 :F;,mMIKBE@=,„0V9\%t^&uY362UI9mMIK3EBgIKLBC,q{

%+ \_N|^9‚!OUZ>H3C1*t2%! \_N| ^(‚Y3%! \_N|\#t^&un‚lub

g

f

f

g

f

f

g

f

dK4 d<d dK

g

f

f

4Hd 4 d dK / f

g

f

f

g

f

d d

d9 d`/ d

f

g

f

f

g

f

݇íKø76øKØÙ-ÚðòPó ô æ å-ààIÚkéÚàIáÚ4ç6Üfä˜ä˜Úà˜Þ-áåfæ"Bîî0î -ø

^ d 4 /  

%! \_N| ^(‚ / / 4 d d d d

^ d d<d dK4 d d%/ dN d

d

%! \_N| ^(‚ 4 d / / 4 d d 4

oi;,i0M:<;,N8#5IK:I 2p:F8<@*.T:F@8<,Y@*24,5 3E1 :<;,9&x%+('UdPx o]y92 IKBEGM0&8F3E:<;=> 362#I &x%+#'kbNoi;,

&]x#+(' 362 IKB6240I57,9:F,98<>H3C13624:<3g. Q*1=3E:<,24:I:<,IK@=:<0&>JIK:<0M1!bI$n:S8F,.T0&GM13E…N,2%IBEB:<;,iVIM.T:<0M82

0KVY:F;,k8F,9mq,982p,D*IK:F:<,98F1*2U0KVUX b`c[0M8]:F;,?IL*0Kmq, ,9^=IK>HDBC, 0KV 2p,9:X {:F;,?I@:<0M>RIK:F0&1 3g2

D8<,(2p,91:<,5H3C1 c#3EG&@=8<,4bfo!0HI9mq0M365A8F,9mq,98243E1G?:F;,D*IK:F:<,98F1R3E1R:<;,D3g.T:<@=8<,q{:<8I1*2p3C:<3C0&1*2

G&0?Vl8<0M> 8<3CG&;:U:<0/BE,TVl:Nb

oi;, IK3C> 0KVY:F;,D8<,ND8<0.T,(2<2p3C1G?362i:F0H.0&1*24:<8<@[.T:U:<;,:4wi0kVl0MBEBC0KwU3C1GkVl@1*.:<3E0M1*2O

"#%$&'l*

x yt na )_r

^IY[@ nakr

^IY[^9_q_u10

EILf'l

2F.9IK1 :<;,:<,N^7: _9| na l_r ^ Y]@ akr

^9‚fBC,TVl:U:<0?8F3EGM;7:UwU3C:<;R:<;, x];=0KdFyY0&8IM2p3g.jz`{

>RI&.;3E1=,uQr2p:IK8F:<3E1=GAwU3C:<; 2p:IK:<,^9_q_0

.T0M17:F3E1@,2F.9IK11=3E1G/:<;,:F,9^7: wU3E:F; :F;, x];0d<yY0M8I&2436.zR>RI&.;3E1=,uQ

@1:<3CB %! \_N| ^(_q_T‚ BC,91GM:<;R0KVY:F;, 2p;0M8<:F,2p:UD*I:<:F,98<1 573Em3657,(5ALko4$0

8F,9D*0&8<:IKBCBfD*0q243E:F3E0&1[2T{`I&2U>RIK:.j;,(2T{qwU;,98F,;Q 3g2i3E1 IK1 I&.N.T,9D:F3E1G/24:IK:F, 0

Eq"%

:F;,B6IM2p:UD*0q243E:<3C0&1 2<.9I11,5f{*I1*5 :F;,B6IM2p:2p:IK:F,k0KV Q-0

E%

Vl@1[.T:<3C0&1 0

"#%$&'l*

&x%+(' tTr

^ Y

)_ r

^&u 0

EILf'l

2F.9IK1 :<;,:<,N^7: _9|

)_ r

^IYr

^(‚fVl8F0&> 8<3CG&;:i:F0ABC,TVl:iwU3C:<;R:<;,*&x%+(' {

@17:F3EB`:<;,98F,362i10/:<8IK1*243E:<3C0&1HVl0&8:<;=,„1=,9^7:27>/L*0&B`0&8U:<;=,„D*0 2p3E:F3E0M1

)_r

^k3g2i8<,IM.j;,(5 0

Eq"% :F;,B6IM2p:UD*0q243E:<3C0&1 2<.9I11,5 0

E%

Vl@1[.T:<3C0&1 0

oi;,?24,IK8.j; D;*IM2p,?.0&>/L3E1,(2 :<;=,k:<,(.j;1=360q@,2i@*24,5 LHH:<;=,?x y€IK1*5! ]c IKBCG&0&8F3E:F;>R2Tb

$n:2 24:<8I:<,9G<ƒ.T0&1[2p3624:2 Q[82p:3C1P8<,IM573E1G/Vl8<0&> 8F3EGM;7::<0RBE,Vl: IR2p,NG&>H,91:0KV :<;,?:F,9^:I&2

VIK8 I&2 3C: 362 IAVIM.T:<0M8„0VI:„BC,I&24: 0&1=,AD*I:<:F,98<1ƒ0KV %b!oi;,N1!{f@*243E1GR:<;=,kVI&.T::<;[IK::<;3g2

2p,9GM>H,91:362?IPD*IK8F:?0KV0M1,RD*IK:F:<,98F1!{S3E: 362k8<,(I&5 Vl8F0&> BC,TVl:k:F0P8<3CG&;:?@*2p3C1G-:F;,Rx];=0Kd

yY0&8I&2p3g.jz >RIM.j;=3E1,q{#3E1 0&85,98H:<0 L0M:<;!{ 8<,9D*0&8F:A>JIK:.;,2{YIK1*5 .0&>HD@=:<,RBE,91=G&:<;[2 0V

2p;3eVl:2boi;,:<0q0MB%:F;*IK:U,N1*IKLBC,2i@*2i:F0?>RIK:.j;R24,9G&>“,917:2S0KV :<;,:<,N^7:YVl8<0&> 8<3EGM;7: :<0/BE,TVl:

IKG IK3E1[2p:]VIM.T:<0M82]0ViD[IK:<:F,98<1[2 0V]X 362U:<;=,>&x%+('€Vl0&8IBEB!8<,Nmq,9824,„D[IK:<:F,98<1[2]0KVX tn24,9,

| d ‚lub

x 2<24@>H, :F;*IK:L*0&:F;P:<;,\x~y >RI&.;3C1,uQ Vl0&8:<;,D*I:<:F,98<1*2{fI1*5 :F;,?5=I(wUGR Vl0M8]:F;,

8<,9mq,N82p,D*I:<:<,N8<1*2IK8F,k.0&1*24:<8<@[.T:<,5`b7+ƒ,57,2F.T8<3CL,:<;,G&,N1,98IB#2p3C:<@*I:<3E0M1R,91*.T0M@17:F,98<,(5

57@8F3E1G?:F;, 2p,I8.;!O

wi,/;*I9mq,A8F,.T0MG&13C…9,5ƒI D8F,TQ*^ 0VBE,91GM:<;i0VIK: BE,IM2p:0&1,“D*IK:F:<,98F1-Vl8<0M> Xkb oi;,

0.9.T@8F8<,91[.T,A0V 3E1ƒ:<;=,H:<,9^:,91*52I:kD*0q243E:<3C0&1

)_r

^qb%+ƒ,H24@DD*0q24,R:<;*I:kwi,“IKBg2p0

z71=0Kw :<;, .T0M8<8<,(2pD*0&1*53E1GR24:I:<,k3C1R:<;, x yZ>RIM.j;=3E1,q{57,N10&:F,5 LH^9__Mbq+-,\57,910M:<,

Lk*@ :<;, BE,91=G&:<;?0V`:<;,W2p;0M8<:<,(2p:SD*I:<:F,98<1r?3E1/X 24@*.;k:<;[IK: 362SID8<,TQ[^„0V rfbk*,9: r ^

L*, ,0q@*IKB*:<0

)_ r

^ @ s4bMoi;, IM.T:<3C0&1RI:i:F;362Y2p:IKGM,.9IK1“L,~57,2<.8<3EL*,5?3E1Vl0&8<>JIKBEB-

I&2iVl0&BCBE0w2TO

"

JTNkL EP

+.9I1RwU3E:<;R :<;=,k.;*I8I&.:<,982i_9|

)_r

^ dYr

^9‚!Vl8<0M> 8<3CG&;:U:<0?BE,Vl:9b7$)V

w ,?IK8F,/IKLBC,k:F0H8<,IM.j; 2p@*.N.T,2<2nVl@BEB-R:<;,\.T8<3C:<36.NIKB!D*0&3C17:

)_ r

^?@*2p3C1GR“{f3E: >“,IK1*2

:F;*IK:U:F;, VI&.T:F0&8_9|

)_ r

^1d<Yr

^9‚%3g2 VI&.T:F0&8U0VY0&1,D*I:<:F,98<1 3E1PX b

"

JTNkL EP

$)VSw ,k8<,(I&.; :F;,?.8<3E:F36.9IBfD*0&3C17:57@8F3E1G!+q@L*24:IKGM,p${:<;,91 {wi,k@[2p,k:F;,

x y >RIM.j;=3E1,\2p:I8<:F3E1G wU3E:<;M^9__\IK1*5-wU3C:<;ƒ:<;,?VI&.:<0&8 _N|

l_r

^.dYr

^(‚YVl8<0M>

BC,TVl:i:F0A8F3EG&;:U@1:<3CB!I?2p@#R.T3C,91:<BT/B6I8<GM,k24;3Vl:U3g2iD*0q2<243ELBC,qb

$V#_N|

)_ r

^cd<Yr

^9‚#362i10M: I„VIM.T:<0M8]0VYI1kHD[IK:<:F,98<1 0KV X {3E:i>“,IK1*2i:F;*IK:N{*IK:I

.;*IK8I&.T:F,98Y_N|r

^8s 7‚`wU3E:F;>r

^s

)_ r

^q{:<;,98F, 362Y10k:F8I1*2p3C:<3E0M1R3E1RHb*oi;,N1!{

w , @[2p,P:<;=,Px yh>RIM.j;=3E1,R24:I8<:<3C1G wU3C:<;Z:F;, 3C13E:F36IBU2p:IK:F,ƒIK1*5ZwU3C:<; :<;,RVI&.T:F0&8

_N|r ^ s 1d<Yr

^9‚vVl8F0&> BC,TVl:i:F0A8F3EGM;7:Nb

x Vl:<,98Y:F;*IK:N{73E: G&3Cmq,2iIk1,Nw D8<,TQ[^ {Ik1=,9w mMIKBE@=,]Vl0&8 ^9__M{qI1*5RIk1,9w€.T8F3E:<3g.9IKB

D*0q243E:F3E0&1 b*oi;,1,9^:2p:IG&,\2p:I8<:2 ;,N8<,/tn24,9, c%3EGM@8<, qub

x :U:F;,„Q[82p:2p:IKGM,q{w ,?2F.9IK1 :<;,VI&.T:F0&8_9|d:@H‚f0VY:<;,:F,9^7:UVl8<0M> 8<3CG&;:]:F0ABC,TVl:U@*243E1G

:<;,o&]x%+#' R“b8*,91GM:<; @ 3g2~:F;,HBC,91G&:F;-0V :F;,“2p;0M8<:<,(2p:?D*I:<:<,N8<1 3C1 X bSoi;=, Q*82p:

mMIKBE@=,A0V ^(_q_k3g2~:F;,/3E13C:<36IBY2p:IK:F,^K_k0KV:F;,“x~y >RI&.;3E1=,>Qkb#c%3CG&@8F, / 2p;0w2„:F;,

2p@*.N.T,2<243E0M1 0V 2p:IKGM,2 0VS:F;, IKBCG&0&8F3E:F;> &]x%+#'UdPxYo]y92kb

oi;, IKBCG&0&8F3E:F;> &x%+('UdPx o]y92€362iD8F,2p,91:<,(5JL*,9BC0wb

Lf*'6D

&]x%+#'UdPxYo]y92-0

EILf'l

D8F,9D8F0.T,2<243E1G/D;*IM2p,qO

L@=3EB65H:F;, x];0KdFyY0&8I&2436.zHD*IK:F:<,98F1R>RIK:.j;3C1Gk>JI&.;3E1, Q wU3E:F;

:<;,:ILBE,%! \_/0

.T0M1*2p:F8<@*.:U:<;,*&x%+(' R Vl0M8U8<,9mq,N82p,D*IK:F:<,98F1*230

.T8F3E:F36.9IBD*0M3E1:

@

:<,9^:

2<.NIK113C1G/wU3E:<;R:F;, 5I9wUG

.T@8F8<,91:iD*0q243E:F3E0&1 2p@L[2p:IG&, L,NG&3E1[2 ;,N8<,

2p@L[2p:IG&,$5$

L3CG/2p;3eVl:

2<.9I113E1=GAwU3C:<; x~y 1=,9w D8F,TQ*^

1,Nw .T8F3E:F36.9IBfD*0&3C17:

1,9^:2p:IG&,\2p:I8<:2 ;,N8<,

:<,9^:

݇íKø6øKôÚÞ-ÚàÜfã¹á˜Ý‡ähâ6Üfä˜Ý‡å“Þ;ïKâ6àIÝßÞ-í¸ähÙ-ÚáÚÜàIèkÙç6Ù6Üfá˜Úø

2p:IKG&,d 2p:IKG&,4 2p:IG&,) 2p:IG&,*/

x y x~y x y x y

&]x#+(' &x%+(' &]x#+(' &x%+#'

:<,9^:

2p;3eVl:d 2p;=3Vl: 4 24;3Vl:

݇íKøKø-ò>áhâ-èkèkÚká˜á˜Ý‡å“Þ™åfæá˜ähÜfíQÚká¨åWæþähÙ-ÚáÚÜàIèkÙç6Ù6Üfá˜Úø

24,IK8.j;RD;*IM2p,qO

r

^HOU BC,91G&:F;R0KV 2p;0M8<:<,(2p:D*IK:F:<,98F1 0

)_r

^kOiU $0

^9__ OiU€3C13E:F36IKB 2p:IK:<, 0KV Q-0

D#' E r

^ a

#

e

a n r

^HOiU?&x%+#'kt-r

^IY

l_ r ^ 1du 0

' a nPr

^

l_r ^

DOE7

^(_q_kOU 3C13E:F36IKB 2p:IK:<,0V9Q-0

tTr

^IY[^9__uOiU x ytna KnPr

^IYr

^IY[^9_q_u10

)_r

^?OiUMr

^ 0

r

^?OiUMr

^ %! \_N| ^(_q_T‚ 0

l

E% b

N G E

_ Uf<ghfHf<ghfHfg3f

JTNkL Eƒ

)_r ^ U PIK1*5 r ^ U /={S:<;, IBEG&0M8<3C:<;> &x%+#' dPxYo]y92 Q*82p:/2<.NIK1*2

_N|id /&‚3Uf<g3fkf Vl8F0&> 8F3EG&;:i:F0?BE,TVl:YwU3C:<;H:F;,*&]x%+#'€2p:IK8F:<3E1=G?wU3E:<;R:F;, 3E1=3E:<3gIKB*1057,

I1*5 2p:F0&DD=3E1G wU3E:<; 1057,dN7bSoi;=,91 3E: 2F.9IK1*2_N|id/M‚%Vl8<0M> BC,TVl: :<0 8<3CG&;:„wU3C:<; :F;,

x y >RIM.j;3C1, 2p:IK8<:F3E1G wU3C:<; :<;=,P3E13C:<36IB2p:IK:<, IK1[5Z,91*573C1G wU3E:F;€2p:IK:<, /b +q3E1*.,

%! \_N|j/&‚,U 47{*3E:W2p;3eVl:2U:<0?:<;=,„8F3EGM;7:ULH47b

JTNkL EB

)_r

^;U1/“IK1*5pr

^tU

{:F;, IKBCG&0&8F3E:F;> 2<.NIK1*2]_N|}

‚,U g3fkVl8<0M> 8<3CG&;:U:<0

BC,TVl:]wU3C:<;P:F;,p&]x#+(' 2p:IK8F:<3E1=G wU3C:<;P:F;,?3E13C:<3gIKB#1057,“IK1*5ƒ2p:F0&DD3C1G IK:1057,d 7b

oi;,N1?3E:Y2F.9IK1*2S_N|

‚&Vl8<0M>hBC,TVl:S:<08<3EGM;7: wU3E:<;?:F;,x y->JI&.;3E1, 24:IK8F:<3C1G wU3E:F;/2p:IK:<,

/ IK1*5-,N1*573E1=GPIK:\2p:IK:<,

t)3E:0M@:<D@=:2k:<;=,AD*I:<:F,98<1 g3fHfg3f7ub!x 2! \*_N|

‚U d

BC,91G&:F;H0KV#:F;,24;0&8F:<,24:UD*IK:F:<,98F1R573Em365,5 LHp4HtXU.4qu{73C: 2<.9I1*2i_N|™9‚ Uf\IK1[5A8<,IM.j;=,2

24:IK:F,ARtl3E:0&@:FD@:2]:<;, D*IK:F:<,98F1g3fkf<g3fkfu{!! \*_N|™9‚OU d?2p0H3C: 2F.9IK1[2]_N|K‚U g IK1*5

8F,I&.;,22p:IK:F, t)3C:„0M@:<D=@:2k:F;,HD*I:<:<,N8<1cf<ghfHf<ghfHfg*u{ %! \_N|‚U dR240 3C:?2<.NIK1*2

_N|‚ UfPt)3C: :Izq,2]:F;, VI3EBC@8<, BE3E1=z Vl8<0M> 24:IK:F,b/:<0 2p:IK:<,“uI1*5 8F,I&.;,22p:I:<,

tl3E:0&@:FD@:2k:<;,HD[IK:<:F,98<1MghfHfg3fub`oi;,91 3E: 2<.NIK1*2k_N|id K‚UPI1*5-8F,I&.;,2 2p:I:<,{

%! \_N| K‚,U /H240A3C:2p;3eVl:2i:F0A:F;,8<3EGM;7:ULHp/b

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

&]@8F3E1GP0M1, 2p:IG&, 0KV:<;, 2p,(IK8.; D;*IM2p,R0KV:F;,&x%+('UdPxYo]y92 IKBCG&0&8F3E:F;>P{!,I&.;

:<,9^:U.;*I8I&.:<,98UL*,9:4wi,N,91HD*0q243E:<3C0&1*2

l_r ^ cd IK1[5tr

^?IK8<,\2<.9I11,5H0M1*.T,wU3E:F; :F;,

&]x#+(' {&I1*5k0&1[.T,UwU3E:F;?:<;,x yP>RIM.j;3C1,qbxU:%:F;,U,91*5k0V`:<;,24:IKGM,q{q240&>H,W.j;*I8IM.T:<,982

IK: :<;,H8F3EGM;7:0KVD*0 2p3E:F3E0M1 r ^ IK8F,R2<.NIK1 0M1BTP0M1*.T,HwU3C:<; :F;,Hx yr>RIM.j;3C1,qb`c0&8k:F;,

1,9^:R2p:IKGM,q{

)_ r

^-3g2H2p,N: :F0 :<;=,-8F3EG&;:<>“0q2p:/D*0q243E:<3C0&1 IKBC8<,IM5k€2<.9I11,5`{UIK1*5 10

.j;[IK8IM.T:<,N8?IK:/:<;=, BC,TVl:k0V

)_r ^ 362 2<.9I11,5 IKG IK3E1 b8+q0{S0ML7m3E0M@*2pB-q{%:F;, IKBEGM0&8F3E:<;=>

&]x#+('UdPxYo]y92 D*,984Vl0&8F>R2iI:]>H0 2p:4&aP3E1*24D,(.T:<3C0&1*2i0VY:<,9^:.;*IK8I&.T:F,982b

.2 3546/78 !#"%$&'(&)*+,-$9):01

oi;,/I9mq,98IG&,/.T0M>HDBC,9^73C:A0Vi:F;,/IKBCG&0M8<3E:F;> &x%+#' dPxYo]y92 362 243E>H3CB6IK8U:F0R:<;,/I9mqd

,98IG&,/.T0M>HDBC,9^73C:A0VU:<;=,> c IKBEGM0&8F3E:<;=> tn24,9, |™ySd =/q‚)ub &],91=0&:<,/:<;=,?BE,91GM:<; 0KVU:F;,

2p;0M8<:F,2p: D[IK:<:F,98<1 Lk!@P{`IK1*5 :F;,k:F0&:IB%BC,91GM:<; 0VWIKBEB#D*I:<:<,N8<1*2ULk;rb`x 2F2p@>H,:F;*IK:

; 362D0MBT10&>“36IKB wU3E:<;ƒ8<,(2pD*,.T::<0!@P{<; V@>={!wU;,98F, P362.T0M1*2p:IK1:9b *,9:*^ S4

L*,H:<;,J2p3E…N,A0V:<;,“IKBCD;*IKL*,9:NbSoi;,“:<,9^:/t)3E1 wU;36.;-:F;,HD*I:<:F,98<1 3g2 :<0 L*,AVl0M@1*5u3g2

8I1*570&> b

$)VY:<;,\2p;0M8<:F,2p:D*I:<:<,N8<1 3g2 2p;=0&8<:N{Vl0&8,9^=IK>HD=BE,3VY3C:]3g2]I“2p3E1=G&BE,dnBC,9:<:F,98]D[IK:<:F,98<1 {:F;,91

:<;,“I9mq,98IG&,“.T0&>“DBE,9^3E:H3g2? tnavub#x]B6240 3eV; 3g2 L3EG={ Vl0M8k,9^=IK>“DBE, wU;,91ƒ:<;,“2p,9:0V

D*IK:F:<,98F1*2#.T0&1*243624:2!0KV[IKBE>“0q2p:#IBEB24:<8<3C1Gq2!0KV[2p3C…9,9@P{T:<;=,91 ; U@? t^/AUu{I1*5„:F;, I9mq,98IG&,

.T0&>“DBE,9^3E:P3g2 ? tavub92],91[.T,H:<;=,P2p@=LBE3C1,IK8“I9mq,98IG&, .T0&>HD=BE,9^3E: 0V :<;, IKBEGM0&8F3E:<;=>

&]x#+('UdPxYo]y92 .9IK1 L,R,9^D*,.T:F,5 3eV @ 362k8F,I&240&1*ILBTƒL3CGƒIK1*5B; 3g2„8<,(I&2p0M1*IKL=BT

2p>RIBEB t)D*0&B-710M>H36IBf0M1@ ub

C EED %'6'l* GFIH BE,91=G&:<; 0KV I 24;3Vl: 1J H K+,LNMOPJRQS0)-NM-$TUMOVW+*+%VX/&Y -$

FIH H H

R6'JY MO!P6

+ H !+ 6'U&RP- +

K3GY3J9'6')*1B

H H QS +

H

!-$7&

H H

$&+-7-

H

- $&6 ? t@ u

*m IM.j;R3C:<,98IK:<3C0&1H,N1*52i0&1Rw 0&8<z/0KV :<;=,kx y IK@=:<0&>JIK:<0M1R:<0?0&L=:IK3C1 IkD8<,TQ[^

0KV\:<;,P>/@BE:F3ED*I:<:F,98<1ZX wU;36.;Z3g2H2p;0M8<:F,98R:<;*I1=@A4bUx Vl:F,98A:F;*IK:R:F;,P17@=>AL*,98?0V

,9BE,N>H,91:2 L*,9:4w ,9,91 1=,9wr.T8F3E:<3g.9IKB!D*0 2p3E:F3E0M1

)_ r

^AI1*5 1,9wrD*0q243E:F3E0&1r

^ 3g2 IK: BC,I&24:

@A47b*oi;=362.T0&>HD=BE,9:F,2S:<;,D8F0q0KVFb

8P:<;,/D8F0&D*0q243E:<3C0&1 4H3E:3620&Lm73C0&@*2 :F;*IK: :<;,98F,HI8<,/10 >“0&8<,?:F;*IK1 sktaA@ u 24;3Vl:2

3E1P:F;,/IKBCG&0&8F3E:F;>Pb+ƒ,?wU3EBEB 2p;=0Kw :<;*I: :<;=,?,9^7D*,.:<,5R17@>/L*,980KVW.T0&>“D*IK8F362p0M1*2]wU3C:<;

2X>AL*0MB62 0VY:<;=,„:F,9^:iD*,980&1,3E:F,98I:<3C0&1R362]s t)BC0&GI@ ub

K3GY3J9'6')* FIH P'1 +EY+ 0L H H - P6

+-7 V H + BE0MGI@ +%V

0)-NM-$ RQJ

H

J8' VW MOY + 0LM/V RQU

H

UNL$",- 8O+ X V<&

H H

<" 6MM/&$.&)

+,-<7 P6-8

H

- dA@ =

oi;,98<,?3g2 IK:>H0 2p:@k53'&`,98<,N17:24@Lwi0&852 3E1P:F;,?>A@=BE:<3CD*IK:F:<,98F1PX IK1*5

:<;,N8<,,9^73g2p: IK: BE,IM2p:9^*573'&`,98F,917: wi0&852 0V#BE,91=G&:<;“10&: G&8<,(IK:<,N8 :F;*IK1 v0mq,98S:F;,243E…9,U0V

:<;,IBED;[IKL*,9:9bHmYI&.;/0KV!:F;,24,Uwi0&852i.NIK1?L*,]0ML:I3E1,(5 wU3C:<;/,0@[IKBD8F0&L*IL3EBC3E: 57@8F3E1G

8<,IM573E1=GH1,9w 2X>/L0MB62U0KVW:<;, :<,9^: L*,.9I@*2p,?:F;,?:<,9^:362]8IK1*570M>Pb+q3E1*.,>^ @ 3V

BC0&GFt@ Tu

@ Vl0M8 `bfoi;,N1 :<;=,kD8F0&L*IL3EBC3E:R:<;*I: :<;, 8<,IM5 w 0&85 3g2

IA24@Lwi0&85H0KVY:F;,>A@BC:<3CD*IK:F:<,98F1A3g2iBE,2F2i:<;,91 dA@ =&boi;=362.T0&>HD=BE,9:F,2S:<;,D8F0q0KVFb

E N FIH

' " 6R +,LNMORQ5 +E8"%6OY +!RQUR6' H

O8RQU

H

#3! N-

H + !Y MOY + " #"<' H 8H + @A4 1 s t

$ @ u

>*,9:H@*2RI&2F2p@>“,P:<;*I: :F;,PD8F0&L*IL3EBC3E:Z0Vk:F;,P,9mq,91:/:<;*I: :F;,P1@>AL*,98

0KV3C1*2pD*,.T:F3E0M1*2 0KV:<,N^7: .;*IK8I&.T:F,982 0KV:F;,“x~y >RI&.;3E1=,k:<0 0&L:IK3C1 I D8F,TQ*^ƒ24;0&8F:<,98

:<;*I1=@A4 362HL*,9:4wi,N,91

BE0MGI@ I1*5 t Sdu

BC0&GI@ 362HBE,2F2A:<;[IK1 t dA@ =9u&%RLH

:<;, D8<0MD*0q2p3C:<3C0&1 7b9$n:kVl0&BCBE0w2 :F;*IK:/:<;=, ,9^D*,.T:<,(5 1@>/L*,98k0V3E1*24D*,.T:<3C0&1*2?0KV~:<,9^:

.j;[IK8IM.T:<,N82i362iBC,2<2i:F;*IK1 BE0MGI@ ('

% t dKut dA@>=u&% BE0&G @ s t)BC0&GI@ ub)

E N+* FIH

' " 6R +,LNMO*RQ +E8"%6OY + RQ 8'!

H

6ORP + + Y/7

RQ H !-$7& H 1 s t)BC0&GI@ u

oi;,98<, I8<,:4wi0/.9IM2p,2b

y IM2p,?x

oi;,p&]x#+(' 2p:<0MD*2„L*,TVl0M8<,/3E: ;[I&2„8F,I&5

BC0&G @ 2X>/L0MB62b!oi;,/D8<0ML*IKL3CBE3C:XR0V

:F;362.9IM2p,?362 10M:BE,2F2~:F;*IK1 ds(dA@ = Lk :<;,/D8<0MD*0q2p3C:<3C0&1b%oi;=,?17@>/L*,98 0VU3E1d

24D,(.T:<3C0&1*2%0V`:<,9^:S.;*I8I&.:<,982%3E1 :<;3g2S.9I&24,i3g2%0&Lm73C0&@*24BT10M:SG&8F,IK:F,98S:<;[IK14 BC0&G @

L*,.9I@*2p,/:<;=,/x~y >RI&.;3E1=,k24:I8<:2wU3E:F;-:F;,?,9>HD:RD8F,TQ*^ƒIK1[5 ;*IM2„0M1BT IK:>H0q24:

BC0&G @ 2X>/L0MB62Y:<0/8<,IM5fb

y IM2p,>

oi;,!&]x%+#' 570q,2?10&:“2p:F0&DZL*,TVl0M8<, :<;, BE0&G @R2X>AL*0MBnb#oi;, D=8<0&L[IKL3CBE3E:

0Vk:F;362“.9I&24,P362?BE,2F2A:<;*I1?dA@>= LH :<;,PD=8<0&D*0 2p3E:F3E0M1*b$n1Z:<;=,Pwi0&82p:R.NI&2p,P:F;,

&x%+(' I&.;3E,9mq,(2~:F;, .T8<3C:<3g.9IKBSD*0 2p3E:F3E0M1

l_r

^b oi;,91 :<;=,H,9^D,(.T:<,5ƒ17@>/L*,98 0V

:F,9^7:W.j;[IK8IM.T:<,N82i3E1[2pD*,.T:F3E0&1[2i3E1R:<;3g2i.9IM2p, 362 1=0&:G&8<,(IK:<,N8U:<;*I1@ =]Vl0&8U:F;,*&]x#+('

I1*5 @ = Vl0&8 :F;,/x~y€>RIM.j;=3E1,:<0JI&.;3E,9mq,:F;,?D*0q2p3C:<3C0&1!r

^HIK1[5 :F;,91P,9mq,91:<@[IKBEB-

BC0&G @ Vl0M8U:<;, x y >RI&.;3C1,]:F0/I&.;3E,Nmq, IkD8F,TQ*^R24;0&8F:<,98U:F;*IK1!@A4HtlLk“BE,9>H>“I

/ub

oi;7@[2]wi,\.9IK1PL*0&@=1*5 :F;,?,9^D*,.T:<,(5J1@>/L*,98U0KV :<,N^7:.;*I8I&.:<,982 3C1*2pD*,.T:F3E0M1*2]LH :F;,

Vl0&8F>A@BgI?t5d8s dA@ = u4

BE0MG @ t dA@ = ut4@ =

BE0MG @ uPU s t)BE0MG @ uboi;362U.0&>Ad

DBE,N:<,2Y:<;,D8F0q0KVFb

S8<0&D*0 2p3E:F3E0M14/IK1*5RBE,9>H>“I :F0&GM,9:<;,N8U3E>HDB-/573E8F,.T:FBT?:<;=,~Vl0MBEBC0KwU3C1G?8<,(2p@BC:9b

C;DOE7*E

+ SLS0L#"%Y +J+ X H -$7 O&

H

#3 J 3 F

@N6

+46/7 s tna]BC0&GI@A@ u +E8"%6OY +NRQ R':U

H

O8

GPE' EqN

EkJN"

J

$n1H0&857,98U:<0?mq,N8<3V :<;,G&0q05 D8I&.T:F36.9IBL*,9;[I(m3E0M8U0KV :<;, &]x%+#'UdPxYo]y92€IKBEGM0&8F3E:<;=>

wi,;*I9mq,:<,24:<,5R3E:IGqIK3C1*2p::<;,/yY0&>H>H,N17:F…Tdn+ IKBC:<,98 IBEG&0M8<3C:<;>Pb=oi;,k:4w 0/IKBEGM0&8F3E:<;=>R2

wi,98F,R3E>HDBC,9>H,17:F,5P3E1 ybY+ƒ, 3E>“DBE,9>/,91:<,N5-:<;=,P2p3C>HDBC, yY0&>H>“,917:F…Td+ IBE:<,8?IBEGM0Kd

8<3C:<;> wU;3g.j; 362p0q@*I&578IK:F36. 3C1Z:F;, w 0&824:R.9IM2p, t2p,9, |2]@o&‚)ubio!,24:2?0&1 :<;=,2p, :pw 0

IKBCG&0&8F3E:F;>R2i;*I9mq,L*,9,91RD*,98pVl0M8<>H,5HwU3C:<;R:<;8F,9,z73C1*52i0V IKBCD;*IKL*,9:NOL=3E1*I85 IKBCD;*IKL*,9:N{

IKBCD;*IKL*,9:0KV 2p3C…9,/{*I1*5 IBED;*IL*,9:]0VY243E…9,*b

c0&8U,IM.j; IKBCD;*IL,N:2p3E…N,q{7w , 8I1*570&>“BT/L@3EBg5HI?:<,9^:i0VY<<H.;*IK8I&.T:F,982b*oi;,91!{wi,

Q*824:U>RI&5, ,9^D,N8<3E>“,917:2%wU3E:F; 2p,9:2i0KV D*IK:F:<,98F1*2i0KV :<;, 2FIK>H,BE,91=G&:<; OVl0&8,IM.j;HBC,91GM:<;

0KVYD[IK:<:F,98<1Rw ,„8IK1*50&>HB-AL@=3EB65RI?24,9:U0KV d ?D*IK:F:<,98F1*2U0KVY:F;, 2<IK>“, BE,91=G&:<; b

x Vl:<,N8U:<;*I:Uwi,kL=@3EBg5H2p,9:2 0VYD*I:<:<,N8<1*2U0KV 573'&`,98F,91:UBE,91GM:<;ƒt):F;,BE,91=G&:<; 362i8IK1*570M> 3E1

Ik3E1:<,98FmMIKB)uOq0&1, 2p,N:iwU3E:F; dK?D*I:<:<,N8<1*2i0VSBC,91G&:F;*2 L*,9:4w ,9,91d AI1*5R7{*I1*5H0&1, 24,9:

0KV d ?D*IK:F:<,98F1*2U0KV BE,91GM:<;*2iL*,9:4w ,9,91 /IK1*5 dK<7b

oi;,91!{Vl0&8:<;=,k:4wi0RIBEGM0&8<3C:<;>J2T{7w ,?.T0M@1:]:F;,k1@>/L,N8U0KVY3C1*2pD*,.T:F3E0M1*2]D*,980&1, :<,9^:

.j;[IK8IM.T:<,N89b*oi;,8<,(2p@BC:2UIK8F,kD8F,2p,N17:F,5H3E1HQ*G&@=8<,27{

IK1*5P?I1*5 3C1R:IKL=BE,2d&{34/IK1*5

7b

1 :F;, L3C1*IK8 HIBED;[IKL*,9:9{:F;, 8F,2p@BC:2SVl0&8U:<;=,&]x#+('UdPxYo]y92€IKBCG&0&8F3E:F;> 362YL*,9:<:F,98

Vl0&8YBE,N1G&:F;d „:<;[IK1AVl0M8 BC,91GM:<;4„L*,.NIK@*24,]0V!:<;=, IM557,5/2<.9I113C1GkD*I8<: wU3E:<;?:F;,x~y

>RI&.;3C1,]@=17:F3EBf:F;, 2p;3eVl:U362iL3CGA,N10&@GM; wU;3g.j;J2<I9mq,2UI?BE0&:U0VS3C1*2pD*,.:<3E0M1*2Tb

c8<0&> :<;=,2p, 8F,2p@=BE:2Y3E:WIKDD*,I82i:<;[IK:iVl0&8W2p>RIBEB`IKBCD;*IL,N:U:<;,&x%+#' dPxYo]y92 IBEGM0Kd

8<3C:<;> 3g2 >/@*.;HL*,9:<:F,98U:<;[IK1P:<;=,k243E>HD=BE,kyY0M>H>H,91:<…Td+ IKBE:F,98 IKBCG&0&8F3E:F;>Pboi;=362U36257@,

:<0P:F;,AVI&.:k:<;[IK:k:F;, yY0M>H>H,91:<…Td+ IKBE:F,98IKBEGM0&8F3E:<;=> .T0&>“D@:<,(2~3C:2 2p;3eVl:2„wU3C:<; :F;,

2p@$#“^,2 3C:U8<,.0&G&1=3E…9,2i3C1 :F;,k:F,9^7:N{L@:wU;,91 :<;,\2p,9:U0ViD[IK:<:F,98<1[2 3g2 L3CGA:F;,D8<0ML*I(d

L3EBC3E:/:<;*I: :<;0 2p,/24@$#H^,2U8<,IDD*,IK8~.TBE0 2p,k:F0A:F;,k8F3EGM;7:,91*5 0V IK: BC,I&24:]0M1,?D*I:<:<,N8<1

362imq,98 ABgIK8FG&, 0*240{:<;=,k24;3Vl:2].0&>HD@=:<,5?Lk“:<;,?yY0&>“>H,91:<…Td+ IBE:F,98YIK8F,?24>RIKBCBnb

CW

DAWG-MATCH number of inspections of one text character

length of the patterns 0.20

0.40 0.60 0.80 1.00 1.20 1.40 1.60 1.80 2.00 2.20 2.40 2.60 2.80 3.00 3.20 3.40 3.60 3.80 4.00 4.20 4.40 4.60

20.00 40.00 60.00 80.00 100.00

݇íKø6øqÚkáhâ-ã‡ä˜áæmå“àÜÞÜfãßç6Ù6Üÿ6Úkäåfæá˜Ý‡ýkÚ6ø

Ø2Üÿ-ã‡Ú

Úkáƒâ-ãšäáæmå“àÜ°ÿ-ÝßÞ6ÜàÄê)Üfãßç6Ù6Üÿ6Úkäø

¹ÚÞ-íQähÙåfæç6Üfä˜ä˜Úà˜Þ-á öå“Û°ÛÚÞQä˜ýƒësó#ÜWãšäÚà ðò2ó8ôësõbòØö÷

Kø ø'

6ø ø

6ø} ø'

ø 6ø

ø 6ø

ø 6ø

ø 6ø

ø 6ø

ø 6ø

ø 6ø

6ø Qø

ø ®ø

CW

DAWG-MATCH number of inspections of one text character

length of the patterns 0.10

0.20 0.30 0.40 0.50 0.60 0.70 0.80 0.90 1.00 1.10 1.20 1.30 1.40 1.50 1.60 1.70 1.80 1.90 2.00

20.00 40.00 60.00 80.00 100.00

݇íKø6øqÚkáhâ-ã‡ä˜áæmå“àÜÞÜfãßç6Ù6Üÿ6Úkäåfæá˜Ý‡ýkÚ Kø

Ø2Üÿ-ã‡Ú

Úkáƒâ-ãšäáæmå“àÜÞÜWãÃç6Ù6ÜQÿ6ÚkäåfæþáݚýkÚ Kø

¹ÚÞ-íQähÙåfæç6Üfä˜ä˜Úà˜Þ-á öå“Û°ÛÚÞQä˜ýƒësó#ÜWãšäÚà ðò2ó8ôësõbòØö÷

ø ø

ø 6ø

ø ®ø

ø} 6ø

ø} 6ø

ø 6ø

ø 6ø}

øK 6ø

ø 6ø

ø 6ø'

ø Qø

Qø} ®ø}

CW

DAWG-MATCH number of inspections of one text character

length of the patterns 0.10

0.20 0.30 0.40 0.50 0.60 0.70 0.80 0.90 1.00 1.10 1.20 1.30 1.40 1.50 1.60

20.00 40.00 60.00 80.00 100.00

݇íKø6øqÚkáhâ-ã‡ä˜áæmå“àÜÞÜfãßç6Ù6Üÿ6Úkäåfæá˜Ý‡ýkÚ 6ø

Ø2Üÿ-ã‡Ú

Úkáƒâ-ãšäáæmå“àÜÞÜWãÃç6Ù6ÜQÿ6ÚkäåfæþáݚýkÚ 6ø

¹ÚÞ-íQähÙåfæç6Üfä˜ä˜Úà˜Þ-á öå“Û°ÛÚÞQä˜ýƒësó#ÜWãšäÚà ðò2ó8ôësõbòØö÷

ø 6ø

ø 6ø

ø} 6ø

ø 6ø}K

ø 6ø

ø 6ø'

ø 6ø'

6ø 6ø

6ø 6ø'

6ø 6ø

Qø ®ø

ø ®ø