A parser for the efficient induction of biological grammars

A parser for the efficient induction of 

biological grammars

Bryant, CH and Fredouille, DC

Title

A parser for the efficient induction of biological grammars

Authors

Bryant, CH and Fredouille, DC

Type

Conference or Workshop Item

URL

This version is available at: http://usir.salford.ac.uk/1757/

Published Date

2005

USIR is a digital collection of the research output of the University of Salford. Where copyright 

permits, full text material held in the repository is made freely available online and can be read, 

downloaded and copied for non­commercial private study or research purposes. Please check the 

manuscript for any further copyright restrictions.

0 /1213

46587:9<;>=:[email protected]/DFE&7:GIHKJL=:M/HKJFNPOQHJ89RA'SUTF7VAWNX?Y89RSRSZA

[\L].^`_WaX]:bdc6e&_'bgfI_Whi&hLjlkm]Vb>ndjlcporqIs6aX]:bgf]t]thuqi6v wUx/y'jlz|{~}Bm€‚pƒ„m…†B‡KƒWˆt‰Š"‹pŒmWŽU‹rƒ‘‹’ŽW“

”U\I_WhI]W{X•&–B–L—|˜W™Vš›W›–›BœW›W'–m žLy'Ÿ8{X•&–B– —|˜m™Vš¡›W›–›Bœm›BW›B

¢/£¥¤t¦t§¨~©B¦Wª¬«

]/y'b>]jlhrc>]:b>]tn­c>]¡fjlh®Indj¯hI°²±d³U´µc>_ jlh¶<]:bQ·t_Whrc>]:ŸKcd¸|¶Rb>]:]°BbgyBx¹¸ x/yb>n.—pº6»‚¼ng™‚b>]t½Ib>]:nd]thrc>j¯hI°¹nd]:c>n¾_B¶"aIjl_Wzl_W°Bj¯·tyBz¿nd]¡Àr®I]thL·t]:ntÁ~±d³U´Ân­on­c>]txn¾y'b>]

Ã

]tzlz`nd®IjÄc>]¡f%c>_²c>\Ljln¬cgy'ndÅÆjlhÇc>\I]nd]thInd](c>\~yc(º6»‚¼n¹y'b>] _'¶Rc>]th%b>]t½Ib>]:nd]thrc>]¡f y'n¹zl_W°Wjl· ½b>_W°'bgyBxn¬®IndjlhL°Èc>\L]ÉÊ]:ËLhLjÄc>](Ì zZy'®Lnd]²e6bgy'xx/y'b¶<_'b>x/yBzljlndx Á"[\L] nd½X]t]tfy'c

Ã

\Ij¯·g\ ±d³U´Ân­on­c>]txn·¡y'h°W]:hL]:bgyc>].aLjl_Wzl_W°Bjl·¡yBz¿°'bgyBxx/yb>n\~y'n`aX]:]th nd\I_

Ã

h/c>_aX]ÊyaX_Bcdc>zl]thL]:·VÅXÁ « \I]th/z¯]ty'b>hLjlhI°¬yaLjl_Wzl_B°Wjl·¡yBzu°Bbgy'xx/y'b¡qmcdbgy'j¯hIjlhL° nd]¡Àr®I]thL·t]:nUxQ®Ln­c"aX]½Ly'b>nd]¡fQb>]:½X]¡y'c>]¡fzÄofI®b>jlhL°&c>\I]nd]¡y'b>·g\/yBhLfQc>\K®Ln¿c>\I]¾±d³‚´ n­on­c>]txÍnd½X]t]¡f²j¯nf]t½X]thLfI]thrc6®L½X_Wh²c>\L]Q]:ηtjl]thI·:o²_B¶Uc>\L]Q½~yb>nd]:b¡Á

«

]cgyB·gÅzl] c>\Ij¯n nd½X]t]¡f½Ib>_BaLzl]txÏaro½b>_kj¯fj¯hI°±d³‚´Çn­oIn­c>]:xn

Ã

b>jÄcdc>]thj¯h(´ÐIÑuÒBÑuÓ

Ã

jÄc>\y ½Ly'b>nd]:b¾¶<_'b&º6»‚¼ntÁ

«

]6nd\L_

Ã

]tx½LjÄb>jl·¡yBzlzÄo/c>\~ycc>\Ljlnb>]¡f®L·t]tnc>\I]Ê_km]:bgy'z¯z8]:Ÿ]:¸ ·t®c>jl_Whc>jlx]`aro¬yBhyBx_B®LhrcUz¯y'b>°W]Vbc>\~y'h–mÔWÕµ_B¶8c>\L]¾c>jlx]c>\~y'c ±d³U´Çn­on­c>]txn

Ã

_W®Lz¯fhI_Bb>x/y'z¯zÄo(nd½X]th~f½~yb>ndj¯hI°IÁ

Ö×KØFÙQÚ §Bۑ¤WÜ Ì _Bhrc>]:ŸKcd¸žb>]t]‚e6bgyBxx/y'bFjlhI¶R]:b>]thI·t]6—pº`» ¼™Vq¡Ý jl_Bz¯_B°Wjl·¡y'zInd]¡Àr®I]thL·t]:ntÁ

Þ ßLà`áXâ8ã.äQåæ‘á8ç>ã`à

è AH7VA.9RJ~éAW;>=:9ZêLHr=V9RJ8ê¹58?rëµìtí¾îï;gGX;g=VABð ;`ñ'HKJ ò‘A9Rð@F7V?réIABN(ó|?7=:58A.=tH;Vô?Kó¥HñBõLY89Z7:9RJ8ê 46?JL=VA'öL=V÷­TF7VABAø¬7tHKð ðÈHK7t;ù>úQûÊüýó|7V?Ið;gA'=:;¬?Kó6ò89Z?ISZ?Iê9<ñ'HS‚;VABõLY8A'JuñAB;ù’O¬þÿþÿ HKJFN@87V?=VAB9ZJF;tý¡D è A.ñ'HKSRSX;gYuñt5ê7tHKð ðÈHK7t; ¡Dø¬7tHKð ðÈHK7t;"5FHméIA6ò‘A'ABJ YF;gAWNë.9Z=V5È;VYFñ'ñ'AB;:;‚=V?¹ð ?~N8A'SXò89R?SR?êI9RñBHKSX;gAWõLY8A'JFñ'AB;Êù|AIDêuDrë.9¯=:5L=V7:9ZJFê¾H7V9<HKòFSZA.ø¬7:Hð÷ ð H7:;! #"|ý¡D8C?rë6ABéAB7$L=V5FA5FHKJFNNXABéABSZ?I@8ð A'JL=.?Kó‚êI7:Hð ð H7:;&9<;.NX9!%Èñ'Y8SZ=QHKJFN 7:ABõLY89R7VAW; AöX@uABJF;V9ZéIA 5~Y8ðÈHKJ AöX@uAB7g=:9R;VAD'&Ê5~YF;$ êI9ZéIA'J =:58APA'J8?I7Vð ?Yu;/é?ISZYFðA ?KóQNFHr=:H HK7:9R;V9RJ8ê ó|7V?Ið êIA'J8?IðA@F7V?(>ABñ¡=t;F=V58AB7VA9R;QHÈJ8A'AWNP=V? HYX=V?IðÈHr=VA/=V58AHñ'õLY89<;V9¯=:9Z?IJP?ó¾ò89R?SR?ê9<ñ'HS ê7tHKð ðÈHK7t; ó|7V?Ið ;VA=t;¾?ó"ò89Z?ISZ?Iê9<ñ'HSF;gAWõLY8A'JFñ'AB;BDLìtí¾î 9R;6H/JFHK=VY87tHKS‘ñt58?9<ñAÊó|?I7`=:589R;`=:HI;gô ;g9RJFñA6ê7tHKð ðÈHK7t;¥HK7:A¾?Kó=:A'J/7:A'@F7VAW;gABJI=:ABN¬ò~GQSR?êI9Rñ¾@87V?Iê7tHKðÈ;¥YF;V9RJ8ê.=V5FA6OQA#)FJ89Z=VA46S<HKYF;VA ø¬7:HððÈH7ù+*²úü ýó|?I7VðÈHSZ9<;gð,-."/"HKJuN ìtí¾î ;gGX;g=VABð ;¬9RJXó|A'7¹SR?êI9Rñ(@87:?ê7tHKðÈ;BD10dJ23"+ úî547698:6<;ëÊH;‚YF;gAWN=:?Q9RJXó|A'7ò89R?SR?êI9RñBHKSIê7tHKð ðÈHK7t;'D$0dJ/=V5FAB;VA6A'ö~@‘A'7:9RðABJL=:;$mHS¯=:58?YFê5 =V58A é~9R;V9Z=VABN @‘?7V=V9R?J ?Kó`=:58A²;VABHK7tñt5Ç;V@FHñ'A(ëÊH;¹õLY89Z=VAÈ7:AB;g=V7:9Rñ=VAWN=‘=V58AÈ9RJXó|A'7:A'JuñA(=V?~?ô =V9RðA?óU=:58A?7tNXA'7Ê?ó N8HmGX;6=V?Èñ?Ið @8SZA'=VAID1~YFñt5SZ?IJ8ê(=V7tHK9RJ89ZJFê(=:9Zð AW;Ê9Zð @8SRG²=:5FHr=.?JFSZG =V58AA'ö~@FSZ?I7:HK=V9R?JP?Kó H éIA'7:G²SR9Zð 9Z=VABNPJ~Y8ð(òuAB7?Kó7VAW;gAWHK7tñt5 HméABJ~Y8AB;Êñ'HJòuA¹=:7V9RABN¥D>&Ê589R; @FHK@‘A'7&Hr=g=:A'ð @X=t;=V?(HKSRSZABéL9<Hr=:AÊ=V589<;6òu?=g=VSRA'JFABñtôòLG(=:Hô~9ZJ8ê/H)F7:;g=6;g=VAB@ =V?rëÊHK7tN8;Hð ?7:A A#%²ñ9RA'JL=ð A=:58?XN ?ó HIñ'õLY89R7V9RJ8ê ò89R?SR?ê9<ñ'HS¿ê7tHKð ðÈHK7t;'D

Hr=:58A'7=V5FHJÇNXAB;V9RêJÆGA'=QHKJF?K=V5FA'7¬ìtí`î ;gGX;g=VABð+=:? ð A'A'==V5FA@FH7g=:9Rñ'Y8SRH77:ABõLY89R7VA'÷ ðABJL=:;Æ?ó(=:589R;ÇHK@8@8SR9<ñ'Hr=:9Z?IJ.ë&A 5uHméA NXA'éIA'SR?@‘ABNÏH ó’H;g= 46?JL=VA'ö~=g÷dT87:A'A ø¬7:HððÈH7

=V589<; @uHK7t;gAB7$¾7tHr=:58A'7 =V5FHJï=V58A î5476<;@6:8 NXAWNXYFñ¡=:9Z?IJ @87:?XñABN8Y87VAA`9<;²YF;VABN ë.58A'J8ABéAB7 Aö8HKð @8SRAB;²H7VA@FH7:;VABN ò~G 9RJXó|AB7V7:ABN ê7tHKð ðÈHK7t;BD646?JF;VABõLY8ABJI=:SZGA=V589<; ;V@‘A'ABNF;>÷­Y8@ï=V5FA ñ?ð @8Y8=:Hr=:9Z?IJ ?ó‚=:58A/ñ?réIA'7tHKêIA?Kó =V58AA'ö8HKð @8SRAB;$8HKJFN 58A'JuñA¹=V5FA9ZJXó|AB7VABJFñA@F7V?XñAW;V;BD

è AA'ö~@FSRH9ZJ9RJBXABñ¡=:9Z?IJC-(58?rëë&A9RJI=:7V?XNXYuñABN =:58A@FHK7t;VA'7.9RJHÈî4D69;@698 ABJ8ê9RJ8AE =V589<;²9<;²H J8AWñAW;V;:HK7:G ;>=:A'@ïó|?I7²9¯=t;²YF;VAÆò~G HÂë.9<NXAÆ7tHKJ8êIAÆ?Kó/ìtí¾î!;VG~;g=VABðÈ;'DXABñ¡=:9Z?IJ 3 =V5FA'JN8AB;:ñ7:9Zò‘AB; =V58A 9RJFñ?I7V@‘?7tHr=:9Z?IJµ?Kó/=:58A @uHK7t;gAB7 9RJI=:? HJìtí¾î ;VGX;>=:A'ðD.OQHK=:HK÷ ;gA'=:;$U@87:?êI7:Hð ;HKJFN NX?Xñ'Y8ð A'JL=:HK=V9R?JÂó|?7=V58A AöX@‘A'7:9Zð A'JL=t;HK7:A²HmérHK9RSRHò8SRA Hr=GFH@HJILK MJMN@[email protected] I O/T@UJVLOXWP'O/VJY1MZ H WA[@[@M\P F@] MT\^Z^@WT>P F M_W H W@`Z^ H ZAM\ab I\c@d8D

e ßLà`áXâ8ã.äQåæ¥çgàgf á\hgikj5l â>mAiUâïçVànlpoÇâFãrq>ãsftiUàuf6çgàui

vxwJy$z:{|~} Y87 ð ?K=:9ZérHr=:9Z?IJ/ó|?I7‚9RJL=V7:?~N8YFñ9RJ8êQH/úQûÊü@uHK7t;gAB7U9RJ(Hî4D69;@698²9ZJL=:A'7:@87VA'=VAB7 ù|9RJF;>=:ABHINÆ?Kó`NX9R7:ABñ¡=:SZGP9RJÇHÈê9RéABJÇìtí¾î ;VGX;>=:A'ð²ý.9<;=:5FHr=Q=V58A(@87:ABNX9<ñ'HK=VAB;QH;:;g?Xñ'9RHK=VABN =:? @FHK7t;g9RJ8ê ñ'HJ =:58A'Jò‘AYF;VABN òLG HKJ~G ìtí¾î ;VG~;g=VABð 9Rð@FSZABðABJL=VABN9RJî5476<;@698D

 HKJ~GÈHKSRê?I7V9Z=V58ðÈ;&5FHméIAò‘A'A'JNXAW;g9RêJ8AWNÈ=:?@uHK7t;gA¬;gAWõIYFA'JFñ'AB;&9ZJ úQûÊü;BD8C?rë&A'éIA'7€ HKSRS¾ò8YX==>ë&?Æ?Kó&=V58AW;gA²HSZêI?7:9¯=:58ðÈ;¹HK7:AJF?K=HNFHK@X=:ABN =V?ÆAB9¯=:58A'7/@uHK7t;g9RJ8ê?KóÊò89R?SR?ê9<ñ'HS ê7tHKð ðÈHK7t;?7¾@uHK7t;g9RJ8êNXYF7V9RJ8êHJÈ9ZJXó|AB7VABJFñAQ@87:?~ñ'AB;:;'DJ&Ê58A.=>ë&?/Aö8ñ'A'@X=:9Z?IJF;`H7VAA‚/ƒ7„†…‡ ˆs‰„r„ŠQƒ7‡X‹Œ @FHK7t;V9ZJ8ê>X9ZJÆ;V58?7V=gŽ<J=ŽFHJFN‘Q…1‰„9ƒ\‰†ŒJD è A/ñt58?I;VA¬=V? 9ZJL=:A'ê7tHr=:A H’Ž9A=Ž @FH7:;VA'7€F7tHr=:58A'7¬=V5uHKJ HPñt5FH7g=¹@FHK7t;VA'7€u9RJL=V?H î4D69;J6:8 9ZJL=VAB7V@F7VA'=VA'7¬ò‘ABñ'HYF;VA ë6AÊ5FHméIA&;V58?rë.JA'S<;gABë.58A'7:A“"F=V5FHK=sŽ9J7ŽP@uHK7t;g9RJ8ê¬9R;ð ?7:AÊA#%²ñ9RA'JL=ó|?I7‚=:58A.7:A'S<Hr=V9RéABSZG ;g9Rð @8SZA úQû.ü;Ê=V5uHr=ë&A¬@FSRHJ =:?ÈêA'JFA'7tHr=VA¬YF;V9ZJFê ì:í`î¹D

&Ê58A¹=VAWñt58J89<ñ'HKS‚;g?ISZYX=:9Z?IJF;&=V?È9RJL=VABê7tHr=VAH @FH7:;VA'7Ê9RJL=V?²HÈî54769;J6:8 A'J8êI9ZJFA/HK7:A¬SR9Rð(÷ 9¯=:ABN¥D@”ö~=V7:A'ð Añt58?I9Rñ'AB;¾H7VAÊ9Rð @8SZABð A'JL=V9RJ8ê/=:58A@FH7:;VA'7€EKYF;V9RJ8ê¹=V58AQî5476<;@698ÆSRHJ8êYuHKêAA H;HÆ;g=:HKJuN HSZ?IJ8A @87:?ê7tHKð ùpHKJFNÂYu;g9RJ8êÆ;gGX;g=VABð ñ'HSZS<;¬ó|7:?ð î4D69;@698 =:?%Hñ'ñ'AB;:;¹9¯=¡ý‰ ?7.ò~G²ð ?XNX9¯ó|G~9RJ8ê²NX9R7VAWñ¡=:SZG =V58A/ñ'?~N8A¬?óH î4D69;J6:8 9RJI=:A'7:@87:A=VAB7BD\&Ê5FAB;VA¹;V?SRYX=:9Z?IJF;.HK7:A A'9Z=V58AB7&êIA'J8AB7V9<ñHJFN ;VSR?rëI?I7&;V@uAWñ9!)uñ¬HKJFN²ó’H;g=BDXÿñ'?ð @87:?ð 9<;gAQë&HI;¾ó|?IY8JFNÈ=:5FHKJFô~;6=:? =V58A–•g—<˜Âî54769;J6:8 9Rð@FSZABðABJL=:Hr=:9Z?IJ™š."­D<•g—<˜ @F7V?ré~9<NXAB;/;V?ð AÈð ABñt5uHKJ89<;gðÈ;/=V?ÇHIN8N YF;gAB7g÷dNXA)FJ8ABNÇò8Y89RS¯=V÷9RJ @87VAWNX9<ñ'Hr=:AB;Q9Zð @8SRA'ð ABJI=:ABN 9ZJ ú/D



?I7VA(@87VAWñ9<;gABSZGA ú ó|Y8JFñ=V9R?JF; ñ'HKJ ò‘Añ?Ið@F9ZSRABN 9RJL=V?/HKJ ?Iò(>ABñ=)FSZA.ë.5F9Rñt5Èñ'HJ òuA9RJL=V7:?XNXYFñAWN Hr=¾7:Y8J8J89RJ8ê¹=V9Rð A.9ZJL=:? =V58A5•g—<˜Èî4D69;J6:89RJL=VAB7V@87:A=:A'7WDA&Ê589<;6A'JFHò8SZAW;`NXAWNX9<ñ'Hr=:ABN ó|YFJFñ¡=:9Z?IJF;&?Kó¥=V5FA?ò\(>ABñ¡=)FSRA =V?PòuA ñ?IJF;g9<NXAB7VAWN%H;¬ò8Y89RSZ=g÷­9ZJ @87VAWNX9<ñ'Hr=:AB;¬?Kós•5—<˜7¿ë.9¯=:58?Y8=ñt5uHKJ8êI9ZJ8ꛕg—<˜%HI;Q;VYFñt5"D è AQ=V58AB7VA'ó|?7:A9Rð@FSZABðABJL=VABN²=V58AQ@FHK7t;VA'76HI;`H(;>=tHKJFN²HSZ?IJ8A@87:?êI7:Hð 9RJ%úG~HKJFN HN8NXAWN HKJ 9ZJL=VAB7gó’HIñASRHmGIA'7Q=V?ÆNX?rë.J8SR?IHIN=V5FA@uHK7t;gAB7¬9RJœ•g—<˜D¥@87:?ré~9RNX9RJ8êP@87:ABNX9<ñ'HK=VAB;¬7:A'S<Hr=:ABN =V?È@FH7:;V9ZJFêFD

10

20

30

40

50

60

1 2 3 4 5 6 7

Mean execution time (micros)

Clause length

yap

dftd

0

50

100

150

200

250

300

20 40 60 80

String length

yap

dftd

ª€¸~ª¹ ]¡y'hͽLy'b>ndjlhL°µc>jlx] ¶<_Bb y nd]¡Àr®I]thL·t]%—<oK¸py'Ÿjlng™y'n y¶<®IhL·:c>jl_Bh _'¶ c>\I] ndj»ºt] _B¶¬c>\I] jlh¶<]:bdb>]¡f ·tz¯yB®Ind] —<ŸK¸ yŸIjlntq zl]:¶Rc ½Izl_BcV™Vq yBhLf c>\I]Ïndj»ºt] _'¶ c>\I]½~y'b>nd]tfPnd]¡Àr®L]thI·t]tn—<ŸK¸yŸj¯ntqFb>jl°W\rc ½Iz¯_'cV™VÁžL_'b‘c>\LjlnuzZy'n­c¥½Lzl_'c¡q'y¾½X_BjlhKc

Ã

jÄc>\ ŸK¸’·t_r_Bbgfjlh~y'c>]’¼·t_'bdb>]tnd½X_WhLfInÈc>_Ây'h y¡km]:bgy'°W]Ç_km]:b nd]¡Àr®L]thI·t]tn _B¶zl]thL°'c>\Ln ½k¾ÇÔKÁ

ABHñt5µABJFñ?IY8JL=VAB7VAWN 5~G~@‘?K=V5FAB;V9R;VABNµñ'SRHYF;gA ù|9DAID!&ê7tHKð ðÈHK7È7:Y8SRAWýÈ9RJ H‘)FSRADL.Y8JFJ89ZJFê =V58A9RJXó|A'7:A'JuñA¹@87:?~ñ'AB;:;ÊêABJ8A'7tHr=:ABN›©A««À¿¿A«êI7:Hð ð H767:Y8SRAB;Ê9RJÁ*²úü ó|?I7VðD

è

A@FH7:;VABN HKSRS A@!‚ Aö8HKð @8SRAB;9RJµHKSRSÊ=V58Aê7tHKð ðÈHK7t;(?òX=tHK9RJ8ABN ò~G =V58AÆ@F7VA'÷ éL9R?Yu;gSRG N8AB;:ñ7:9Zò‘ABN @F7V?XñAW;V;BD9&Ê5F9R;(@FHK7t;V9ZJ8êÆëÊH;(NX?JFA YF;V9ZJFêÇ?J ?IJ8A 5uHKJFNÂ=:58A›•5—<˜ =V58AB?7:A'ð@87:?réAB7HKJFN ?J =V58AÈ?=V58AB7?Y87Ž9J7Ž @uHK7t;gAB7¹ñBHKSRSZAWN%ó|7:?ð•g—<˜‘D<AB;VY8S¯=:9ZJFê ðAWHKJ@FHK7t;V9ZJ8ê=V9Rð AB;@‘A'7¾;VABõLY8A'JuñAÊHK7:A&;V58?rë.J9RJ T‚9RêYF7VA­ D&Ê58ABGHK7:A&@8SZ?=g=:ABN(7VAW;g@‘ABñ÷ =V9RéA'SRGH;H.ó|YFJFñ¡=:9Z?IJ?KóF=V58A&Aö8HKð @8SRAB;$ÃWSZABJ8êK=:5F;HKJFN¹=:58A&9ZJXó|AB7V7:ABN(ñS<HKYF;VAB;USZABJ8êK=:5F;BD.&Ê5FA =V?K=tHKS¿=:9Zð A¹ó|?7@FHK7t;g9RJ8ê HKSRS";gAWõLY8A'JFñ'AB;Ê9RJÆHKSRS¥ê7tHKð ðÈHK7t;`ëÊH;u-Ašr5\“@š/ë.9Z=V5ĕg—<˜‘D è 9¯=:5 ?Y87GŽ<J=Ž @FHK7t;VA'7¬9ZJL=V7:?XNXYFñ'ABN%9RJœ•g—<˜D¿=V5F9R;¬=:9Zð A ë&HI;7:ABN8YFñAWNÆ=V?‘ A '513A¬8D¿T‚9RêYF7VA– ;g58?rë;Q=:5FHr=J8?=¹?IJ8SRGÆ9R;¹?IY87¹@FHK7t;gAB7Qð(YFñt5 ó’H;g=VA'7¹?IJ HméIA'7tHKêAAFò8Y8=HSR;V? =V5FHK=¹9Z=/5FHI; H ð(YFñt5 ð?I7VA ;g=:HKòFSZA ò‘A'5FHmé~9R?Y87¬=V5uHKJ‘•g—<˜‘D } Y87@uHK7t;gAB7Q=:58A'7:Aó|?I7VA@‘?I;:;gAW;V;VAB;¹;V?ð A @u?=VA'JL=:9RHS"=V? ;g@‘A'AWN~÷YF@Æ9ZJXó|AB7VABJFñAID>&Ê58AJ8Aö~=Q;VABñ=V9R?JÆ@87:AB;VA'JL=:;58?rë=:?²YF;VA/9Z=QNXY87:9ZJFê HKJÆì:í`îÏòFH;VABN ò89R?SR?ê9<ñ'HS¿ê7tHKð ðÈHK7.HñBõIYF9R;V9¯=:9Z?IJ @F7V?XñAW;V;BD

Å ßLà`áXâ8ã.äQåæ¥çgàgf á\hgikj5l â>mAiUâïçVàßAÆGo

&Ê58AÁ¯;J°\˜\±Ïìtí¾î ;gGX;g=VABðÇ©"ë.9ZSRS.ò‘AÆYF;gAWN N8Y87V9RJ8ê =V5F9R;È;VABñ=V9R?J =V?Â9ZSRSRYF;>=:7:HK=VA?YF7 @u?I9ZJL=:;BD&Ê58AÊð A=:58?XN(=V?ñ'HSZSX=:58AÊ@FHK7t;VA'7NXY87:9ZJFê¬9RJXó|AB7VABJFñA.9<;AöX@8S<HK9RJ8ABN(9RJXY8òF;VABñ¡=:9Z?IJ 38D D\&Ê58AA'ö~@‘A'7:9RðABJL=:HKS¥ABérHKSRYFHr=:9Z?IJ 9<;Ê@87:AB;VA'JL=VAWN 9RJÁ~Y8òF;VABñ=V9R?JÄ38DÈ-XD

ÉÊ¢Ë vxwJy€z9{|

ÿJ9ZJ8ó|A'7:A'JFñ'A¬@F7V?XñAW;V;6=tHKôAW;ÊòFH;V9<ñ'HKSRSRGÈ@8SRHIñA¹9RJ =>ë&? ;>=tHKêAW;E"ùX Wý69RJ89¯=:9RHSZ9<;:Hr=V9R?JP?Kó =V5FA @FHK7tHKð A=:A'7t;¹HKJFNÂN8HK=:H;>=:7VYuñ¡=VYF7VAW;H;:;g?Xñ9<Hr=:ABNÇ=V?Æ9RJXó|A'7:A'JuñA¾ù+-ý¬9RJXó|A'7:A'JuñAD9&Ê58AÈYF;VA ?Kó¹?Y87²@uHK7t;gAB7 ó|?SRSZ?rë;=:58AB;VAÆ=>ë&?Â;g=:HêAW;E9Z=)F7t;>=²5uH; =:? òuA%9RJ89Z=V9<HKSR9R;VABNïYu;g9RJ8êÂ=V5FA òFHñtô~ê7:?YFJFN²ô~J8?rë.SRABNXêIA¬HJFN Aö8HKð @8SRAB;$8HKJFN =:58A'JYF;VABNPNXY87:9ZJFêÈ9ZJXó|AB7VABJFñAID

ó|?7ÈAö8Hð@FSZAAë6AYF;VA=V58AÆñ'?réA'7V÷d;gA'= HSZêI?7:9¯=:58ðD'&Ê5FAÆòFHñtô~ê7:?YFJFN ô~J8?rë.SRABNXêIAPHJFN Aö8HKð @8SRAB;&=:58A'7:Aó|?I7VA¹?JFSZG²ABJFHKòFSZA¬=V?È7:ABHSZ9<;VA¹H@FH7g=:9RHS¥9ZJF9¯=:9RHSZ9<;VHK=V9R?JXë.5F9Rñt5J8ABABN8;&=:? òuA ñ?Ið@FSZA'=VABNÆó|?7¬ABHñt5ÇA'érHKSRYFHr=:ABN%ñ'SRHYF;VAD7&Ê589R;Q@FH7g=:9RHS‚9RJ89Z=V9<HKSR9R;:Hr=:9Z?IJ%9R;¬NX?IJ8A(HKó=VA'7 ¯;J°\˜\± 5FH;`;>=:?7:ABN=:58A.òFHIñtôLêI7V?IY8JFNôLJF?rë.SZAWNXêAÊHKJFNA'öXHð @8SZAW;.ù|9DAID!IHró=VAB7=V58A T\^@WJ_\` W@b@b@MDÏ ñ'HSZSý¡D@¯;J°\˜\±P@F7VAWNX9RñBHr=:AB;¾H7VAÊ=:58A'JÈYF;VABN=:?)FSRSF9RJÈ=V5FA@FHK7t;VA'7¾N8HK=:H/;g=V7:YFñ¡=:Y87:AB;$E =V58A(Aö8HKð @8SRAB;QHKJFNÆêI7:Hð ð H7A'SRA'ð ABJI=t;QñBHKJÆò‘A(?IòX=:H9ZJFABNPó|7:?ð=V58A ^AÐW.S I bJ^@M

³

HJFN _@^ H ^ATS<a€Ñ1W H aRÑ>MJÒ @87:ABNX9<ñ'HK=VAW;6?󍯧;J°\˜\±D

ÓgŸỒ£ ¤:Õ|9¡9Ô£ ¤:Õ§£¢¤9Ö/wJÔw@¤9×Aw &Êë&?.@u?L;V;V9Rò89ZSR9Z=V9RAB;"ñBHKJ¹òuA&ñ?IJF;g9<NXAB7VAWN=:?YF;VA=V58A`@FHK7t;gAB7 NXY87:9ZJ8ê¬9RJXó|A'7:A'JFñ'AD~?ISZYX=:9Z?IJ ùX Wý‚ñ?Ju;g9<NXA'7ñ'HSZSR9RJ8ê=:58A&@FHK7t;gAB7‚9RJ(HQYF;VA'7NXA#)uJ8ABN(A'érHKSRYFHK÷ =V9R?J ó|Y8JFñ=V9R?JÈó|?I7¾=:58A9RJXó|A'7:7VAWNÈñS<HKYF;VAB;BDJX?SRYX=V9R?J%ù+-ýñ'?JF;V9R;g=:;¾9ZJ²ð ?XNX9Zó|G~9ZJ8ê/=V58A¹ì:í`î ;gGX;g=VA'ð 9¯=t;gABS¯ó¥;gYuñt5(H; =:?ñ'HKSRS~?Y87@uHK7t;gAB7‚9RJF;g=VABHIN?óF=:58Aî5476<;@6:8È=:58A'?I7VABð @87:?réAB7Uó|?I7 =V58Añ?réIA'7tHKêIAñ?ð @8Y8=:Hr=:9Z?IJ"D1~?ISZYX=:9Z?IJ ùX Wý&ñ'HJ ò‘A¹;VA'ABJ HI;6ð ?I7VAQêA'JFA'7:9Rñ¬;g9RJFñ'AQë&A¬N8? J8?K=¬ð?XNX9Zó|G=V5FAìtí¾î ;VGX;>=:A'ð 9Z=:;VA'SZó>D¿C?rë6ABéAB7$89Z=¹7VAWõIYF9Z7:AB;=V58A ì:í`î ;VG~;g=VABð=V? @F7V?÷ éL9<NXAHñBñAW;V;6=V? 9Z=:;.ABérHKSRYFHr=:9Z?IJ²ó|Y8JFñ=V9R?J"DD~?SRYX=V9R?JÂù¢-Iý&5FH;6=:?ò‘A9Rð@FSZABðABJL=VABNP9RJPHJ HN~÷­58?XñðÈHJ8J8A'7Ê9RJ AWHñt5Pìtí`î;VG~;g=VABðÄXò8YX=NX?~AB;&J8?=&J8ABABNPHKJ~G 7VAWõLY89Z7:A'ð ABJI=ù|A'ö8ñA'@8= =V5FHK=`=V5FAQìtí¾î ;VGX;>=:A'ð 5FH;¾=V?/ò‘A9Rð @8SZABð A'JL=VAWNÈ9ZJ î5476<;@698Uý¡D è AQ5FHméA.9Rð @8SZABð A'JL=VAWN òu?=V5Æ;g?ISZY8=V9R?JF;$~=V58AJFAö~=@FHK7tHKêI7:H@85 NXAW;Vñ'7V9Rò‘AB;Êò87:9ZAØFGÈ=:58A­)F7t;>=.?JFAD

0dJÙ¯;J°\˜\±U=:58A PR1Z H M

³

@87:ABNX9<ñ'HK=VA ñBHKJ ò‘APYF;gAWNÂ=V? NXA#)uJ8A =:58AP9ZJXó|AB7V7:ABN ñS<HKYF;VA A'érHKSRYFHr=:9Z?IJµó|Y8JFñ=V9R?J ù’YF;V9ZJ8ê ?@X=:9Z?IJ Z^ HÚ ^AÛ\Wb[AÑ܉VDZ^AT7Ý ý¡D‚ÿ ñ'HSZS PR\Z HsÚQÞ Ü=ß/àr܉árÜ âJã

Ü#ä\^\ZÝ @F7V?ré~9<NXAB; =:58A%9RJXó|A'7:7:ABNµñS<HKYu;gA ù¢ÞXý‰¾=:58A ñ'?Y8JL= ?ó@u?L;g9Z=V9RéAÇHJFNïJ8ABêIHr=:9ZéIA Aö8HKð @8SRAB;Èñ'?réA'7:ABNÏùà HKJFN á ý‰=:58A%9RJXó|A'7:7:ABN ñS<HKYF;VAÆSZABJ8êK=:5 ù

â

ý¡Dr&Ê5FAÆYF;gAB7²9<;=V58ABJ ;gY8@F@u?L;gAWN²=:?ÈY8J89Zó|G²=V5FA

ä^1Z

H7VêIY8ð A'JL=.ë.9¯=:5 =:58A/NXAW;g9R7VAWN ñ'?I;g=Êó|?7ñS<HKYu;gAޑD

è AHK7:A¬J8?K=.9RJI=:A'7:AB;g=VAWN²9RJPñt5FHJ8ê9RJ8ê(=V58A¹ABémHSZYuHr=V9R?JP;Vñ'?7:AQ?óU=:58AñS<HKYF;VAB;$å~7:HK=V58AB7 ë6A²ëÊHKJL==:? ñ?Ið @8YX=VA à HJFN á Yu;g9RJ8ê%?IY87/@FH7:;VA'7WD<&‚?%NX?Æ=V5F9R;$‚ë&AÈ=:?S<Næ¯;J°\˜\±ïHK= 9ZJ89Z=V9<HKSR9<;VHK=V9R?J J8?K= =V? ñ'?ð @8YX=:A=V58A à HJFN á érHKSRY8AB; 9Z=:;VA'SZó ù’?@X=:9Z?IJ Z^ HsÚ bAWJçJè1`JRÑ>` PR1Z H Ü H TJV1^>Ý ýDIÿ&=9RJXó|A'7:A'JuñA¬=V9Rð A89RJP=V58A PR1Z H M

³

@87:ABNX9<ñ'HK=VAAXë6A¹YF;VA¬=V58AGÞÈérHSZY8A¬=:? ñ?ð @8SRA=:AÈ=V5FA²ê7tHKð ðÈHK7¹9RJ89¯=:9RHSZ9<;:Hr=V9R?J<UHKJFN =:58Aêé€ë

W@bJ^ I@F

`U1bJR

]

W@b é>Ú

W

H

R€SZ`@b^J[

H

Ü

W

H

R.S<ZA`JbJ^J[ HsÚXì

è

I

^Ü

â

^J[

H

ÝJÝ

@87:ABN89RñBHr=VA/=V? ô~J8?rëÏ=:58ASR9R;g=Q?óAö8HKð @8SRAB;=V? @uHK7t;gAID

è

A

=V58ABJ ñ'HSZS8?IY87`@uHK7t;gAB7=V?/?IòX=:H9ZJ à HKJFN á HJFNÈñ?Ið @8YX=VA=V58A¬ñ?I;g=ó|Y8JFñ=V9R?J²érHSZY8A(ù|ADêFD ä^1ZaJZáí

â\î

à XH ñS<H;:;g9<ñ'HS¿ñ'?I;g=érHKSRY8AWýD

ÉÊ†ï 5ž\Ÿ\  ¡:Ÿy€£ {D¤

vxwJy$z:{| ÿQ; 9RJ ;gAWñ¡=V9R?JÎ-Êë&A YF;VA =V58A2§ @!‚ N8Hr=tH;VA=P=V? =VAW;>=?YF7H@8@87:?IHIñt5"D &Ê58Aó|?ISZSR?rë.9ZJFê/9Zð @8SRA'ð ABJI=tHr=:9Z?IJF;¾?ó¥=V58Aìtí¾î ;VGX;>=:A'ð ë6AB7VA.=:AB;g=VAWN>ðEL9Z÷+•g—9˜7E0dJXó|AB7V7:9RJ8ê ë.9¯=:5k¯;J°\˜\± ù’Y8J8ð ?XNX9!)FABN=.HJFN =V58AB7VA'ó|?7:AÆYF;V9ZJ8êñ•g—<˜ =V5FA'?7:A'ð @87:?réAB7tý#å¾9¯÷òŽ<J=ŽE 0dJXó|A'7:7V9RJ8ê¬ë.9¯=:5¯;J°\˜\±'m=:58A.@FH7:;V9ZJFêò‘A'9RJ8ê/NX?JFA6ò~G/?IY87@FHK7t;VA'7 A'ðò‘ABNFNXABN9RJÀ¯§;A°1˜\± ñ?XNXAåu9¯÷òŽ<J=Ž¿÷dñ?L;>=€E10dJXó|AB7V7:9RJ8ê²ë.9Z=V5²¯§;A°1˜\±:F=:58A@uHK7t;g9RJ8êÈò‘A'9RJ8ê NX?IJ8A/ò~GP?Y87Q@FHK7t;gAB7 9ZJL=V7:?XNXYFñ'ABNÆ9RJ²¯§;A°\˜1± PR1Z H M

³

@87:ABNX9<ñ'HK=VAIDuT8?I77:ABHI;g?IJF;Ê=V5uHr=¹ë.9ZSRS‚ò‘ABñ'?ð Añ'SZAWHK7€Fë&A HKS<;g?Èñ?IJF;V9RNXAB7VAWN²=:58A/9Rð @8SZABð A'JL=:HK=V9R?J9¯÷/•g—<˜~÷­ñ'?I;g=$EX9RJXó|A'7:7V9RJ8ê ë.9Z=V5C¯§;A°\˜1±ÇYu;g9RJ8ê =V5FA •g—<˜Â=:58A'?I7VABð @87:?réA'7€UòFYX=²ñ'HKSRSRABNÂó|7:?ð =:58A PR1Z H M

³

@87:ABN89RñBHr=VAID è A?òF;VA'7:éAWNÂ=V5FA òuAB5FHmé~9Z?IY87È?Kó¹=V5FAÇNX9!¦‘AB7VABJI=PHKSRê?7:9Z=V58ðÈ; ë.9Z=V5µ7:AB;V@uAWñ¡=È=V? =V58A%érHSZY8AÆ?ó¹=V58A Ñ1RJ_^1Z

ó

0

10

20

30

40

20000

60000

100000 140000 180000

Execution time in hours

Search space size (nodes parameter)

DFTDP

Yap

non parsing time

µs¶·

hI¶<]Vb>]thL·t] c>jlx]tnP—<oK¸py'Ÿjlng™ y'n¥y¶<®LhI·:c>jl_Wh_B¶c>\L]Undj»ºt] _'¶Lc>\L]U]:ŸK¸ ½Izl_Bb>]¡f%nd]¡y'b>·g\ nd½LyB·t] —<ŸK¸yŸj¯ntq¥c>\I] hI_KfI]tn‘½~y'bgy'x]:c>]:b¥_'¶ö.Ҁ÷øùu™VÁ'[\I] ·:®Ib>km]tnP·t_Bbdb>]tnd½X_Bh~fnb>]tnd½X]t·:c>jlkm]tzÄo c>_QjlhI¶<]Vb>]thL·t]6c>j¯x]`¶<_'b¾jl¸¢ú1û.üúX¸p·:_Wn­c y'h~f jĸ ý'þ1ør¸p·:_Wn­c¡q"c>\L]c>\IjÄbgf ·t®Ib>kW] jln6yBhÈ]tn­c>jlx/yc>]_'¶¥c>\L]Êc>jlx].nd½X]thLf ·:_WhLn­cdb>®I·:c>jlhL° yBh~fµnd]¡yb>·V\IjlhL° c>\I] nd]ty'b>·g\ nd½LyB·t]Wq¾jÁ]WÁlq¾c>\L]²c>jlx] hI_Bc nd½X]:hKc`_Bh½~yb>ndjlhL°IÁ

¯;J°\˜\± @FH7:Hð A=VAB7BD&Ê5F9R;@FHK7tHKð A=:A'7/ñ'?7:7VAW;g@‘?JFNF;¬=V?=V5FA²SZ9Rð 9¯=?J =V5FA J~Y8ðò‘A'7?Kó A'érHKSRYFHr=:ABN ñS<HKYF;VAB;ó|?I7ÈABHIñt5 A'öXHð @8SZAêIA'J8AB7:HSZ9<;VHK=V9R?J"D'0dJXó|AB7VABJFñA@87:?XñAW;V;VAB;ë.9Z=V5ï9¯÷ •g—<˜7X9Z÷ŠŽ9J7Žs8HKJFN 9¯÷òŽ<J=Ž¿÷dñ?L;>=Ê9Rð@FSZABðABJL=:Hr=:9Z?IJF;Êë&A'7:A¬;g=:H7g=:ABNÈó|?I7.NX9´¦¿A'7:A'JL=.érHKSRY8AB; ?Kó =V58A Ñ1RJ_^\Z @FH7:Hð A=VAB7BD

ÿ›w@Í$¡: y€Í 0­ó¹=V58A Ñ1RJ_^ érHKSRY8AÆë&HI; SZAW;V;=:5FHKJ2“J¬s¬¬A¬\ =V58AÆA'öX@uAB7V9Rð A'JL=:; ABJFNXABNïñ'?7V÷ 7VAWñ¡=VSRGÂ9ZJ HÆó|A'ë+58?Y87t;BD‚C?rë&A'éIA'7€UA'ö~@‘A'7:9RðABJL=:;(ë.9¯=:5 9Zð @8SRA'ð ABJI=tHr=:9Z?IJF;9¯÷/•g—<˜ÂHJFN 9¯÷òŽ<J=Žµó|?I7H Ñ1RA_^1Z émHSZYFA S<HK7:êAB7/=V5uHKJæ“J¬s¬¬A¬Æ5FHN =V? òuA;>=:?@8@‘ABN Hró=:A'77VY8JFJ89ZJFê ð?I7VA(=V5uHKJœ“NFHmG~;BD¥ÿ NXA'AB@uAB7/HKJFHSZGX;V9R;¬;g5F?rë6AWNÆ=V5uHr=/9Z=¹9<;¹SR9ZôIA'SRG=V5FHK=¹?réIA'7H émHSZYFA ?Kó“A¬r¬¬¬¬ó|?I7¾=:58A

Ñ1RJ_^\Z

;gA'=g=:9ZJ8ê>~9Zð @8SRA'ð A'JL=tHr=V9R?Ju;¾9Z÷+•g—9˜ÈHKJFN²9¯÷òŽ<J=ŽÆJ8ABABNXAWNÈð ?7:A ðABð ?7:G%=V5uHKJÂë.5FHr=/ëÊH;HmémH9ZS<HKòFSZA

Uë.589<ñt5ÂSZAWHN8;¹=:?%HKJÂY8J8@F7VAWNX9Rñ=:Hò8SZAÈò‘A'5uHméL9R?YF7 ó|?7 •g—<˜¥D0dð@FSZABðABJL=:Hr=:9Z?IJ9¯÷òŽ<J=Ž¿÷dñ?L;>=NX?~AB;ÊJF?K=.J8A'AWNH;ÊðYuñt5 ð A'ð ?I7VG HI;Ê9Zð @8SRA÷ ðABJL=:Hr=:9Z?IJF;9¯÷/•g—<˜ HKJFN 9Z÷ŠŽ9A=ŽÍù|9Z=²7VAWñ?Ið@FYX=VAW;=:58AÆñ?réIA'7tHKêA²HK=ÈABHñt5 A'érHKSRYFHK=V9R?J 9ZJF;g=VAWHN ?Kó;>=:?7:9ZJ8ê(9¯=¡ý¡D\0dð @8SRA'ð ABJI=tHr=:9Z?IJ 9Z÷ŠŽ9J7Ž¥÷­ñ'?I;g=&ëÊH;6=:58A'7:Aó|?I7VA¹HKò8SRAQ=V? AöX@8SR?7:A H(S<HK7:êAB76@‘?7V=V9R?JP?Kó =V5FA¹;VABH7:ñt5P;g@uHñAID0dJ @F7:HIñ¡=V9<ñA¹ë&A¹ë&HJI=€8;gYuñt5PHI;`=:?È?òX=tHK9RJ òF9Z?÷ SZ?Iê9<ñ'HKSRSRG/@uAB7g=:9ZJFA'JL=¾ê7tHKð ðÈHK7t;W=:?AöX@8SR?7:A&@‘?7V=V9R?Ju;?Kó‘=V58A;VABH7:ñt5;g@uHñAW;¾H;S<HK7:êA.HI; @u?L;V;V9ZòFSZAKD1&‚?²ñ?Ið@uHK7:A¬?IY87.@FH7:;VA'7.ë.9Z=V5=:58A•g—<˜ =V5FA'?7:A'ð @87:?réA'7Ê9RJP=V589<;ñBH;VAXë&A YF;gAWN9Rð @8SRA'ð A'JL=:HK=V9R?J 9Z÷+•g—9˜I÷­ñ'?I;g=ë.5F9Rñt5 ñ'HSZS<;'•g—<˜/=V58AB?7:A'ð @F7V?réIA'7‚ó|?7=V5FA.@FHK7t;g9RJ8ê> ò8YX=Êë.589Rñt5PNX?~AB;6J8?K=Ê7:ABõLY89R7VA5¯§;J°\˜\±P=:?;g=V?I7VA=V58A¹ñ?réIA'7tHKêAIDKÿ;6ó|?7&9Rð@FSZABðABJL=:Hr=:9Z?IJ 9¯÷òŽ<J=Ž¿÷dñ?L;>=€W9Rð @8SRA'ð A'JL=:HK=V9R?J9¯÷/•g—<˜~÷­ñ'?I;g= ëÊH;HKòFSZA&=V?¬AöX@8SR?7:A&SRH7VêIA'7;gAWHK7tñt5(;V@FHñ'AB;BD

&Ê58A7:Y8J8J89RJ8ê=V9RðAW;¾ó|?I769Rð @8SRA'ð A'JL=:HK=V9R?JF;69Z÷ŠŽ9A=Ž¥÷­ñ'?I;g=6HKJFN²9¯÷/•g—<˜L÷dñ?L;>=&HK7:A@8SR?K=g÷ =VABN 9RJÈT 9ZêIY87VAg-¹HI;¾H¬ó|Y8JFñ=V9R?JÈ?óu=:58A Ñ1RJ_@^1Z @FH7:Hð A=VAB7érHKSRY8AB;BD&Ê58AL)FêIY87:A;g58?rë;HJ

ý'þ1ø

Ã

y'n·¡yBzlzl]¡f

Ã

jÄc>\(Ô ¹ a(_B¶u\L]¡y'½y'b>]¡yKqFšt˜W˜ ¹ a_B¶‘n­cgyB·gÅy'b>]tyqIyBhLf(Ô ¹ a(_'¶¥[ubgy'jlzuyb>]¡yÁ Ì _Wx½Iz¯]:x]thrcgy'bdo ]VŸI½X]Vb>j¯x]:hKc>n`nd\L_

Ã

h²c>\~yc&c>\L]x]thrc>jl_WhIhL]¡f ½b>_WaLzl]tx

Ã

y'n.n­c>jlz¯z¥½b>]tnd]thrc

Ã

\L]th¬®LndjlhL°Êc>\I]x/y'Ÿjlx¬®Lx x]tx_BbdoQy¡kByBjlz¯yBaLzl]¾_Wh_B®IbU·t_Bx½L®Ic>]Vb6—’Ô'˜W˜ ¹ a_B¶8n­cgyB·gŹyb>]¡ym™VÁ

®Ib yBjlxj¯n‚hL_'c‚c>_]tkByBzl®~yc>]c>\L]`°BbgyBxx/ybU½X]:bdc>jlhL]thI·t]WqKy'h~f¬c>\L]Vb>]:¶<_'b>]6hI_c>]:n­c nd]:c kWy'zljZfIy'¸ c>jl_Wh \LyBn¾aX]t]thb>]tyBzljlnd]¡fFÁ

®b¾·tz¯yBjlx ¶<_'b6c>\I]Ê]:Ÿ½Lzl_Bbgyc>jl_WhÈ_B¶¿zZyb>°W]½X_Bbdc>jl_WhIn¾_B¶¥c>\L]&nd]¡y'b>·g\ nd½~y'·t]·¡y'h¬\L_

Ã

]tkm]:b"aX] ®Ln­c>jÄË~]tfQaroÊc>\L] h®Ix¬aX]:b‘_B¶IbgyBh~f_Wxn¿_'¶~c>\L]UcdbgyBjlhLjlhI°Ênd]:c"·tz¯yBndndjÄËL]¡f yBn6½X_WndjÄc>jlkm]tn

Ã

jÄc>\Èc>\L].b>®Iz¯]:n&_WacgyBjlhL]tf¶<_Bb&c>\L]fIj8]:b>]thrcˆB/kByBzl®L]:nt{XjlhI¶<]Vb>]thL·t]

Ã

jÄc>\ y ˆB²kByBzl®L]/_B¶&›'˜‚˜B˜W˜²°my¡km]Ț¥ÔBÈnd®L·g\bgyBhLfI_Bxn(—_Bh y c>_'cgyBz_'¶.›št˜m™Vq"nd\I_

Ã

@87V?réIA'7WD\&U? A'érHKSRYFHK=VA=:589R;Q7:AB;VY8S¯=€Fë&A/5FHméIA¹=V?²=tHKôIA/9ZJL=:? HñBñ?YFJI=.=:5FHr=Q=V58A(9ZJ8ó|A'7:A'JFñ'A @87V?Xñ'AB;:;`5FHI;6=V? ñ?Ju;>=:7VYFñ=6=:58AñS<HKYF;VAB;6=:?(ABémHSZYuHr=VA ù|9RJHN8NX9Z=V9R?J =V?@FHK7t;V9ZJ8ê~ý¡D&Ê58AB7VA'÷ ó|?7:AXë&AQ?IòX=:H9ZJ8AWN é~9<H(;V?ð Añ?Ið @8SZABð A'JL=:H7VGÈA'ö~@‘A'7:9RðABJL=:;¹ù|J8?=NXAB;:ñ7:9RòuAWN²58AB7VAmý6HJ AB;g=V9Rð HK=VA/?ó=V58A=:9Zð A(J8?K=;V@uABJL=Q@FH7:;V9ZJFêùp;gABAT 9ZêIY87:A-ý¡DD&Ê589<;AB;g=V9RðÈHr=:A/@87:?réL9<NXAW;.H òFH;VA÷­SZ9RJ8AHKêIH9ZJu;>=ë.5F9Rñt5Æ=:?Pñ'?ð @FH7VA/?IY877:AB;VY8SZ=:;$uJuHKð A'SRG=V58AHKòF;V?SRYX=:AðÈHröX9RðY8ð @u?L;V;V9ZòFSZAÇ;V@‘A'ABNX÷Y8@ =V5FHK= ñ'HJµ7VAW;gY8SZ=²ó|7:?ð HñBñA'SRA'7tHr=:9ZJFê @FHK7t;g9RJ8ê NXYF7V9RJ8ê 9RJXó|A'7:A'JuñAD T87:?ð!=:589R;ñY87:éAA¥ë6AÈñ'HJ ;gABA(=:5FHr=/ë&A 9Zð @87:?réAWN%=:58AÈ@FH7:;V9ZJFê =:9Zð A²ò~G%ð ?7:A=V5FHJ “Jš&% =V?Æ=:58A²?I@X=V9RðY8ð ó|?7HKSRS

Ñ1RJ_@^1Z

@uHK7tHKð A=:A'7/érHKSRY8AW;"ABéABJ 7VAWHñt589RJ8êB¿Aš'%ó|?7(H Ñ\RJ_^1Z

érHSZY8A?KóL-¬¬r¬¬¬FD1&Ê589<;êI9ZéIAB;¬H êLHK9RJ%ò‘A=>ë&A'A'JÙ $¿(% ù Ñ1RA_^1Z&)

$©A¬s¬¬A¬Iý`Y8@%=:? “@¨% ù

Ñ1RA_^1Z&)

-¬s¬A¬¬Lý?IJ =V?=:HS&9RJXó|AB7VABJFñA =V9Rð AB;$¾NXA'@‘A'JFN89ZJ8ê ?J =V58A Ñ1RJ_^\Z

érHKSRY8AD &Ê589R;êLHK9RJ ;gABA'ðÈ;(=V?Â;>=tHKò89RSR9R;VA H7V?IY8JFNñ-¬'%ó|?7 Ñ1RJ_@^1Z érHKSRY8AB;(SRH7VêIA'7=V5FHJÙ¿¬r¬¬¬FD 0­=Q9<;9RJL=VA'7:AB;g=V9RJ8êÈ=:? ;VA'A/=:5FHr=Q=V58ANXA'AB@uAB7=:58A;VABH7:ñt5Æ;V@FHñ'A/é~9R;V9Z=VABNF=:58AêI7VAWHr=VAB7.=V5FA @87V?I@u?I7g=:9Z?IJÂ?KóÊ=V58A²=V9RðAP;g@‘A'JL=(=V?Çñ'?JF;g=V7:YFñ¡==:589<;(;V@FHñ'AÈ9ZJu;>=:ABHNÂ?ó.@FHK7t;g9RJ8êÆA'öXHð÷ @8SZAW;'DJ&Ê589<;6;VY8êêIAB;g=:;?=V58AB7¾@‘?I;:;g9Rò8SRAHK@8@F7V?LHñt58AW; =V?9Rð @87:?réA.9RJXó|A'7:A'JFñ'A.=V9Rð Aó|?I7¾SRH7VêIA ;gAWHK7tñt5 ;V@FHñ'AB;BD

* + ã6àæ=qgå5m~ç>ã`à

è AÊ5FHméIA6;V58?rë.J=V5uHr=¾ì:í`î ;VGX;>=:A'ðÈ;‚ë.589Rñt5 HK7:A`ABJFñ?XNXAWN/9RJ(î4D69;J6:8 ñ'HJHñBõIYF9Z7:A6òF9Z?÷ SZ?Iê9<ñ'HKS"úQûÊü;¾ð ?I7VAõLY89<ñtô~SZG(ò~G(YF;V9RJ8ê/?YF7¾@87:?@‘?I;VABN@FHK7t;VA'79RJF;>=:ABHIN ?Kó¿=V58A¬î5476<;@6:8 =V58AB?7:A'ð @F7V?réIA'7WD.&Ê5FA.êIHK9RJ9ZJÈA'ö~AWñYX=:9Z?IJ=V9RðA.9<;?ó‘ð ?7:AÊ=V5uHKJÀ“Jš'%Ï?Kó¿=V5FAÊ=V9RðA=V5FHK= ;gYFñt5Æìtí¾î ;VG~;g=VABðÈ;Êë6?IY8SRN J8?I7VðÈHKSRSRG ;g@‘A'JuN ó|?I7.@FHK7t;V9ZJ8êuD

 ?7:A'?réIA'7€t=V58A69Zð @8SRA'ð A'JL=:ABN;VGX;>=:A'ð ;g5F?rë;¥=V5uHr= HSZêI?7:9¯=:58ðÈ;UHmérHK9RS<HKò8SRA¾9RJ;g@‘ABñ'9´)‘ñ HK@8@8SR9<ñ'Hr=:9Z?IJ²NX?ðÈH9ZJF;&ñ'HJ²ò‘A9RJI=:A'êI7:HK=VABN 9RJ H;gA'=6?Kó‚ìtí`î A'JFê9RJ8AB;`òLG YF;V9RJ8ê?IJ8SZG?JFA 9Zð @8SRA'ð A'JL=tHr=V9R?JUD9&Ê589<;/;VA'A'ðÈ;/HJ 9ZJL=:A'7:AB;g=V9RJ8ê%HKSZ=VAB7VJFHK=V9RéA=V?=:58A NXAW;g9RêJÂ?ó.HIN 58?Xñ ì:í`î ;gGX;g=VA'ðÈ;&ó|?I7.@FHK7V=V9<ñY8S<HK7.H@8@8SR9RñBHr=V9R?Ju;'D

, ×-¤9{(. ¢wJ|:ÕDw'/ñwJ¤7y€Í &Ê589<;¾ë&?7:ô9<;`;VY8@8@‘?7V=VABNò~GÀ”r¥\.4 ê7tHKJL=6ø­0©¿A©¿J-&0¬1 D &Ê58AHKY8=V58?I7:;Êë&?Y8S<NSR9ZôIA¹=V?È=:5FHKJ8ôÄ~9Rð?IJÁ&U?I@8@ ù’ñ'?ð @FHJLGPø¬SRHI;gôI?J~ð 9Z=V521¹SR9ZJFAWý&ó|?I7 589R;9ZJ8@FYX=:;Hòu?IYX=Ê=V58A/þ5¥r¥30mð 9RNFNXSZAN8HK=:H ;VA=BD

4 i65QiUâ\iUàæ7i9m

šBÁ7K]¡y'b>zlntqmÉQÁÝ`Á¯{87Kcdb>jlhL°&kWyb>jZy'aLzl]°Bbgy'xx/y'b¡{Ws zl_W°Bjl·`°'bgyBxx/yb¥¶<_Bb>x/y'zlj¯ndxµ¶R_BbUc>\L]aIj¯_Bzl_W°Wjl·¡y'z z¯yBhI°W®LyB°W]_'¶"É39ÊsÁ;:W_W®b>h~y'zu_'¶6<u_W°Bjl·Q”¥b>_W°'bgyBxxjlhL°

¸ô —­š=m™ ›rÁ.”¿]:b>]:jlbgyKq‚ž Á¯q

«

y'bdb>]thFq¥É¬Á>QÁɬÁl{PÉÊ]:Ë~hIjÄc>]·:zZy'®Lnd](°BbgyBxx/yb>nQ¶R_Bbz¯yBhI°W®LyB°W] yBh~y'zÄoIndjln¬¸.y nd®b>km]:o _B¶.c>\L] ¶R_Bb>x/y'z¯jlndx yBhLfÂy·t_Wx½Ly'b>jlnd_Wh

Ã

jÄc>\ y'®L°Wx]:hKc>]tfÇcdbgyBhIndjÄc>j¯_Bh hL]:c

Ã

_'b>ÅntÁ s¾bdc>jlËL·tj¯yBz

õ

hrc>]tzlzlj¯°B]thL·:] ¸?

—­š=@W˜m™`›Kš"AK›W@

KÁ ¹ ®I°W°Wzl]:c>_BhuqB7XÁ>Álq8݂bdoKy'hKc¡q8Ì6Á>Álq27Kb>jlhLjlkByBn>y'huq8sÁ¯q « \LjÄcdcgyBÅW]:b¡qXsÁ¯qX[‘_W½I½uq27XÁ¯qL^&y

Ã

zljlhL°Bntq Ì6Ál{Ps`b>]°BbgyBxx/yc>jl·¡yBz b>]:½Ib>]tnd]thrcgyc>j¯_BhLnQ®Lnd]:¶R®Lz ¶R_Bbzl]¡yb>hLjlhL°È¶Rb>_BxaIj¯_Bzl_W°Wjl·¡y'z¾nd]¡Àr®L]thI·t] fIy'cgyCʸ y¬·¡yBnd].n­c>®LforÁ;:B_W®Ib>hLyBzu_B¶UÌ _Bx½L®Icgyc>jl_Wh~y'z‘Ý‚j¯_Bzl_W°BoEDP—’›'˜W˜Kš™–FAÔB›W›

–Á.žIb>]tfI_W®Ijlz¯zl]WqFɬÁlqF݂bdoryBhrc¡quÌ6Á>QÁl{G7½X]t]¡fjlhL°B¸’®I½È½~y'b>ndjlhI°_B¶‚aLjl_Bz¯_B°Wjl·¡y'z ·t_BhKc>]VŸcd¸|¶Zb>]t]¬°'bgyBx¹¸ x/yb>ntÁ õhu{~Ì _WxQauÁI”¥y'c¡Á ¹ y'c>·g\uÁl{uš¡œ'c>\H7Kox½uÁIU_Wzl®Lx]JmÔKmKÁlq27K½Ib>jlhL°B]:bd¸LI‚]Vb>zZy'°—’›'˜W˜mÔB™ ÔrÁÊÉ.y'x/yBntq'<UÁlq(7IyBhrc>_Bn&Ì _Bn­cgyq'IQÁl{;M.yB½FÁ¥„NNWŠ;OQPPKRRRU‹LIƒmƒu‹’ŽmŠU‹’ŠNPS=TWƒPKU'ŠÇ—­šV@W™ œKÁ7rb>j¯hIjlkWy'n>yBhuqmsÁl{FsW<F]¡y'b>hIj¯hI°wUhI°WjlhL]¾¶<_'b”¥b>_W½X_BndjlhL°X>6o½X_Bc>\I]tnd]tn¾—|s6zl]t½I\X™VÁL„NNWŠ6OQPPKRB…U‹