From 9ac1a493410b13697a7dd9a32fc58b894f59e044 Mon Sep 17 00:00:00 2001
From: Simon Suchomel <xsuchom1@anxur.fi.muni.cz>
Date: Fri, 31 May 2013 18:50:22 +0200
Subject: [PATCH] Kratim

---
 pan13-paper/img/snippets_graph.pdf     | Bin 110143 -> 110135 bytes
 pan13-paper/simon-source_retrieval.tex |  50 ++++++++++++-------------
 2 files changed, 23 insertions(+), 27 deletions(-)

diff --git a/pan13-paper/img/snippets_graph.pdf b/pan13-paper/img/snippets_graph.pdf
index 7441e984874e17222e39caf164c2b68a9b33468c..96192d0829de2547d1a97c3b11aa308e497e4651 100755
GIT binary patch
delta 5686
zcma)=c{r5o|Hm8qHnK;SkYqReGb8($AxoAFBg-+iP@N-d*~Y$yPGrx%G)a~mWXY0{
zwL}y($zF+2BKb|7bFN?C#&vza&tK2|e(vY>S?>FO&s@*_DVByQmg+GOD-?=GK;f8c
zQy|fQ@9VySoIzxWrY4xf$Jg7HbOFq9DfhjdQHodtZ<}iMUSSHH<*8@e$@bNb6k(`S
z`$@&#j$WO`N<h@0Rv82N_~G;)-u~7%(y1U=q;`99!lq-5jmy=|&4G=t%}b-E`Q)AM
zBlmN!4{PRV?tM(`Gii8c?U7{*K24l@_f^0)6PsywZv9Vkc?0mwS}WK)q<#RYnwS$>
zx+e>SgoH3Z-^;G@&N|u~%a-pEcxC=;ZVsyD9x7f8k1}Jt^AscQ?$agtc;?+fE-!3G
zoKcRExJ(Htb(K99W#H8%$xHHOMKzLA4KAN@O{2!>6m3m5nMa7S#GjdG<kw>)x3=9&
zxH+ieCsIhpdiiY13D{@*h%jZYFo3pgSvYkMGPD)-+lMWwP|sy&j59|`FcsyzanxB<
zp`HmZSZ1I-mmi8uG3GwMFyDPJxU9K-SN|r-i9r$X84o@><`mQP;qu2=*%$-S3*QFp
zJ1pAgnQ!RyHkye=>9F5*`1Yx9gGK#D;=&vsby9`w<Dl^Mwv-9^b^ZDvQ*lITMxVtw
zgfW{zV6ucs^T<}A&R55S7n6;@pf5<~DpE+;)oZuHZ%Fcht^UaC!=;?#acN!m`S|p}
zk(U{l*^TGekE=qN6ZxV^N=79yurIY#LjeXxDSpr`1{^7;V1!-3No9z$nb-m4x@Fj6
zd@4$qj81Ztq#F4*hGD~yY(kf=MwzXG3cNPe)m94TF_GMjXTl>iIJBH@gy3Jt1s$4*
zxXpDh!6=W>H}}aqDVB>NdQ)CrLgo{7K_kw+5OV*!F#Ds~NfTNVs#_K2D10p&|D5B^
z(NzORfs3S~&@TOi+7U)BsR(Pyv_fl3kPU>B42>K=-HuO-E<aOUIHUJ~&;8`tOchCY
zY&_=8(PNYNL}h^6CS{ltNKaTBc2+tmUghUMVYU|jV7}M6dPMBP`@3>dQ*seb{pge$
z@1WvcK9kO#4vtB=PkUd9i2JSGV}0x4B+*MvhFuIsp5DU2+FxQ!vm@FRqAzmo_*S#9
zlCSCObW#kjy7FC*3G1Lxc+3ZLT+7UeYF2-tyD6-ik*iu#qvrmRs{tQ=YdQp<5Db`R
zaGnL@{~~!1M+8<p8YvytanR@FT8jx%1kXU;`^F%1!33pi)uUI6s16S)Qfn{!u4hS;
zR)~``X%)$uFIwyeh>mBzM!bI598j`BA%ib{Dk`=~m_4UUp?V5&oQT4Sv-r=f;0SWH
z#+^@iF7{ZDrEanH{$ON^4#-<*Y&4nnmnJcnGkfb$OR^R6153iKihAD7_gPN>OL{H>
zZic=5?v@jU-b1d0(q0(55%$5L9f47t`zh?SoRYYrZLZT8V}7hhQ)&(ME?GOqb4p67
z>lrq(Yc#y)8e^>4HO3_K38~q(OtlwpNja9$()}_@U|v5<!C>V+B{;5gs;0JE-dsFH
zqHIq0A;W0IF2097PI};QOPTt@QgN^OV>$KRF9Z1KJV@eAiiJy7RB8B-Zdo?wV4`c0
z8S%tW;DS^+akG6vQ#k`BM9#g=&=VP-JQ)nQz&frXsq$%Vf-9eWJ$wyGzj--b8Rwxw
zmRl4Q!tv&o9&Pz?(o-cN@Mhzy_REB(cgb@8*0D|K1rU`<+d;uQpb#V{zUIkuSbTP^
zEXr2=rB704TXwlaTB{jAQ4lyRYg5RXY$hm*%X@w-!KKuelxS2*#%!H1?)q}jx%>Ia
zIY&0{xdxWSp04^kRQ+DgD&2bqETya4QO~AFCcUu9_5`_RKTm9@BaE>6$gf}TYPGM@
z`HO~@`uRIac8`c&XS|@U_hOFUbF#rofAG5ON;#lw(W!Vsh$pj?8)}q3G+!G};lN!#
zNj&V{o#+|G=(yo&Lzd$!OHRLis%ANSxa+Q6FO5>W;LQp?TK5=*ixa7eH18-j=Z%to
z$GU><^Ybr@bHW`Pk%@<aV|6Pv6P!vCu0MB8peR4R<>h1DABoG0^zjXzQ!u|?%lj;_
zK72Wn$lHlA;T*f*U3jppqS&}p(pA4QFpFaLeOW-<2kpqg(ql=?x^>0^>_$BURzDVo
z#I53@^wuo3IA`~5Vfe~7%OLD=#xd5K+_M7d>(a6aXI6!}n-sIwPshR0k5VaT)?nwZ
z-@3kj*O`=fx=3wX{Zzkel56^tv$JR9UaO8Dm}It+oFaJ^b$WcXLn9M7%Bl7%=T*3G
z{YZjbT1d4Sv3x6bk0fJYdC#@%l1yN6S68lGr?!>6>In(}uW$o%3f`8wQWzV}-EWzT
z;@CMCbx!z&d8r*C+B*VE#1{1Oj2)I|OmHnT$UH$iw#O*N!!$rI(JHEbF)b;5H&<lg
zPZr(UC%R)oHE|GaPi(A5;d-Or1SG4bjLhef5$t@ABzDu`DEj0e4CmHl?V6}xq^35t
zFe}Yc8!AvXK^0<R1-`zKl#mD)I2xLi>V&i9kjLNDS`X({#o0{?89=R+2y7+7CvLDU
z1r)xwS$m+Tf2f<EKV3|~)Y!qIawa|%|C*&BOj^3Fj|a!&p`;Y&RCKp8PTEdym3%`o
zPFnqTv}$aGoRI!Ywj#C{JX5j)=6YU<f6ydU#A#;pB%_D13UN-pHY{>+(ydZv0_I6^
zOlNTdYt^zD$MFKrl^n;Ph(OqK4cM>V=E!CHHdCc|N%|d!Q4jyE(N+xW!*)jTr@Ur*
z{s;uGwDk}qLUty3n#;s8;k8}?g{+;DtD!j7BX}w*^}(Bp_IQqM`D~)cwxEejRd~Dt
zg(wYYHq@I5F_>u;);z$+-gUU9UR$_9*N(|qgkk(O4Ah%B-2t~GJfgxb^a`t$omrL7
znv)(LP!sywKmQOn2zI&RFmT{m@*NN6UU!8za__p2N#MFG8A=MWYDLIqrwN56md=Rr
zi^f+C)!nQWwa0H)cOM%U`#LQ_jXA5HRA21bsI$Q97MUler1+d!$PNlgx_P_n{3ACp
z6GE0#zisTKBN`(z!1BgJyxrOJEkqQ^%qR(5T>o?crvAC6Qk>9bDU8nqziLWksp~*2
zxH}4;ro9uTjLxo5m?M|!IfHrEuTwfTgp4V!Wq)zk$^UJT4XmlJn^IigR~(j5n_;U9
z2eTc(HA6H4eu^Ib$UCK;<?z*;PvQn(<}_%U@~QacpCU&Fg`5bRq%LBc5+AFeO_asm
zz9*PdTgo*^d71F!{Q);}e{g~27(V`#GJm~arpd%|TFW$QyG0|6YdA#dmd^R~msb{3
zZA$|<nRg?wiuf2uXX6XvKKy^RdlucaOgq|uT-^zzJnAy<w@IFQe#dL_sJYnG^vWAr
z;}XWqP%UMRAU`aVtjMy^>y~-2AHOI3>EJ~06#}7fWYw)g)CnNF!f<V36no|0i4C1X
z8APAefaZe|H`XCmUC$N|FS4|QuclK4yt))6U(N^%(cW(#oQSIUZXlQ8v}X||mqex6
z#@_MOh&(Sd_BVKn4`|qFe2qEijI_K`^_=lh%$=uJ<#M(I$$lc7&YtkJ!3j%2D4}ph
zDK2+pk_XjDPIk7tIVP>jLM$J!iv8$Ied~WjUj3O=CBtpfuC(ZgmE17fJYg${H6jjL
z?^j|n$yF9#W_I51Em1UAv%<ZTQf=B<YM>0S7a5nGni~7)?ybi@{A8!T*h5n61=}6c
z<Ngt(*)oqXuWiqGRNq8a1-lNuA-R&2byuV|roK3tJW0d4(E5JxmPBK-hBo`~CE>Sb
zPDa8^j1?^2ZNe2XLxjk-%;#zqW#{pOmV^qK1<X0Qq^5Y!?vGVAvYu}XvTJif<BxNv
zooQp`xv@hW=Pnj;a0J_J9ttx$01Cga_C%VRSu293ZF4T@NX$b#F&zr3Kc5=zU-|vF
zgRGz5z$*NGqlu>?L=#YK!ai|c8VB0B*PtCkdV~t@Sp&wMqm-Fj#1-t-<n({`7muv^
zdQIhCEc;#q3j;qaWb^%@QABX!GmX8`exPA=Wqz>kepS#H!w<t7(GJ1N-WThF^PcgC
zJ^OgzSm?Kz?d2~=re=j)?uRYRlFOLCHOY5K<vrpOG{1Z3&QhXT>h$lMTEG4FTgZLe
zPvm@uV4sl9F-~0{iLH6lW!sWJcr;gDY@83j#a7$!Az&pl|8+^|{G9x$ZRb-Duc_Hk
zmp27~E+{a1a{7G5Hzwc>6j+y^mQiog>>l<V81}Z%(g;!S7!Dp74z$o(i|!|H2x#>~
zwO*XuH3k76k8jzed|A4FO)Y!rGt&*K`-$bnll(lcQ>%APzEzYTH`GskBNfl8|DiSH
zJjJ)XPiMpb<kp3SMX1WEWd3!fX%9Z$&}Pk$xMF?&vJ)l>(k?ROxN?0T+C7RxlgDt|
z*EFTfBp^F@w#H&y^TB9w{AeCo_UM<?rNPAVpg@G*z0p}2){KsAojNk&^7g3Au|rFo
zpN~+N9&ap}UP~9Vd$fAO)b#U)`?rnbj|{<8*+&pNJ^U4W_THA6M)y8j)(EgIi>S7I
zFe-TU-hO(zW%}8)|GHa#!2NflD|7GL-v3_KI^2BZ^Kj=%>~7uNoUkt|;6KR$TC_j^
zziWTU*sWu;v(_Hc88y1F0~od-Pk&f(c-0#C<rDWM*U$OR!!pZv+%?w9L#spCubtj1
z4_#gGPaA)w7`V|x2%c4~K*+bB!FDT9BJ)B?C540nv2^Y~b+?9)5t!&JR2w*<bYt$o
zh2ALT3eQg)Rn<f{j_6WnSAAx3iBtJN?QUbjw*=t<P0e&pkr&QmBKe{B2@!W3WVfv>
zLiRB0MqG<WKD&NatO^6F4IFm2J|3Ca`aR;(9=q*j!KK=QQr)-IxtGe#FLvR?vpq$c
zT5;R2f<?q5HJQHlQ6x5u&y8q(lBiaHqy2%veUZ1qI`4+|EBmLDoZDmgJhC0B|3M<f
z;uA+XO7Fon6Tw$ih^}pxa{qqgwYW`gF-?ipvl`X<#jU}?cf0t4l%B6OTzYApxgFZ@
zvh`)p^t9p@qv)rX81C8ToPZsJcxrjhF8qE_bB9`LW%$L=AVk~S4sFRdUB~WFwRx5w
zepb&wCv}B_*A|E6s#@>wF>o=41?onc@->+9fj(U3fLcP)Y6z$r9Ft*?1cLlLjz|Kf
z$iQF-0Ea;6DC;3{y2=OugIC5t;aFvy9tsEOAaQztu3iT63P|C9n%NL}1r)?iMqx0L
zknfk|?_iD}HxL9G1^lWZp%4_E27|)sGz5x%9uh*&LjvgU?~;EGj6@-!bU*+Gq0=xJ
z#IG6(f}%?X1w+#nhk~Pi)@bo*7YYIYk<HJ^&~n*FL(^4)LeX~%1;FXLfI>s}(a2~d
zT_qS4od!VQbQJ?o=sp^nt_uK+zB2$E4*L-o_-Wk%1oUt5KQuJmk^o2)Gy|Fi;@6;C
z832IpqoL_FGzyXtzApj|p+}%0^axrzAsLVNN5J<%!1qBQXb7q7{R%;&_CcWbK>#$w
z#r+YOeGnLW1O`GwbnJ`3z~~Ve*ggn24Z)kUUm+OU$^CVQVUYVEP&5Q-e*~I#E`FSo
z|Mv(CdLIM^3CXCTA;`Z@htk$`AC0#8{u2v@z!3Bry?xM52;|poN$V`)pTo)hZ=STM
zH2cUf&jn#@bZFKIz+gCCJtPKCGf$dx{%o9@>WKd~!(Q_5uazWk-%H-EZeR{51OY+7
zGT!8ZwEq39nIWGCQu{H0(E@wsfe1&C5EU4TW<)RyMg<N<N+J<R6%-7Rq?MpT^PPt2
zJdi!p&t|Vz1XBBF3{#^~;)+1(KaYosK(+sq#b=ZhgAg(h7bn_L0no}wk~2&hfd-Ju
z7??9!*$D%Ix;WAHIp9KS_*x7)&wdDn`NiI#5F{EvWsq-!ghA*Gvs{px>3{2zI?Y=E
z97<0I3&kPua0Cvciw1Obp;$bii$&mcv6}X(X5Oy;lK*s1stUx<2>@V@W5;l&creHR
E0Z_8m1ONa4

delta 5849
zcma)=c|276|HqrF5XQdmLKzumIkVbFL)k@)kgd^JQuZZZV@=sArLkpgEX7E1WofZR
zs4$kBC6Y)<6qiK(rrW*0+r8uQ_<qk{=e*A6^ZdNG&-?Q@r+%FC!8qrwArKb~jzl65
z=*#0EnZNGud<A)es5m`6Fi%i$AldySm?u2%y|d#5*?OU9SGR9Q`cEZ)v%eF;aaJL!
z{hSa-sIj4Zst)(Hy5fiX$1*sSzv-<G83qbO*r#*0Xv95q93qN8-jh;U9aeT?(p-VM
zx$y4U*Y(e}Q6C?#%+D2A_(w)W2+<nO;;U4jndJ~x?^rP#XCtU!X70P5ln?ri&7|3B
zqY!5G=Ce1YT3T9N8wE_F=^X+0kN2Odnqw&b*KFaB1ZWn@v$)9t!AFIcUYT16NViG?
zT@7`q(yec#TN)yy&e%LEthw5ddQZ)>kK6lcJ&*vWT!$s~3y}Gw$sL>E@8bd-XI1&7
zyA{*gUUv}BQA0xGGy0-kPK2u5#U?ogx&ylkCi1ol3sV^eZJ}g4L1SBzS=K8>iN+KT
zVk^Eov0v1gF4!F(hiD|M1j*`J8#|ol9rm|ojk}A<6yH~R+MwAh**|$i9H|jC(md(o
z&Rtv7QP5BzW)vc6y##3LH<$-piRjr}Ety9}XqQp#QWm6me)rC19^UIm$8I^I`y7~w
zPH&y*9M3$Ry>rOYZ8H=JD1sc&x}xIfkwZ_j6R9G37<XST;T9P(Z_HfNDxWTD8qn*?
zl&T$Zkfyg2(nPdmb(TKuX}sj&O+FjM%;{>;7{mvNVoRGnUmp$dj{)6RRv;#GcIhXW
zXHgx>Hw@BSle*$fd1rerYgrS*#nI<4Wu~Zo*`>FUahIqibhtsns!^=b{Zi>KR@S6)
zC+RbVtL2wZrjlmcOL%Vr=9lMczIX=@ibtCLdgcB{NAA}#g`G;mlp=4C`jyrN!z1k$
z+(P<=x%QPRwG<yhGO1HALWxk^mhP7k?`utcnj$L;L<S<x@TvBxU<bN)UmKX8>v-i1
z-}%+%vr16~cj8svIn#vB*x4kSvZ#ENn%GU^2{f87x=;3%U-d`j(>oG#X5*0h(>wWU
zGnOuKTJ?@KdA{oU_Ir_a^e17N%hTo_q&U+2F8Cbf_dQifH-oO9j0>+eR!a76XjOcg
zMHNJ%e1<A0d>1aFY<bkA@6>6CUa9jGyJ_Wt!<*muR;bh2a5A9(-kBb~^Re=$2L?hj
z+H@X2zFFJmp*{L7CH&a>V87wxB9UugUV?1(ge9c5`-UmkfdVN;vqF_)5y=scs=;3`
zjc+<xm;X?W0<rgl;Zo+go1`T9$Hs@^EU4#UMIz@fgq#xHD5=UdmEgkN9kPS?XJ=-%
z=;wIPEVx6F9o?gFWR9(0<k;MOMJuuf>1tt^kXD!sT}?pIosscEyxX@cAFpN^xSzgI
zw;NJ$dQnunM5RYs?Ba5cltM?9O=+Q@%MH?m5OeYEEzuJT`lSWOly5q#*q>MN?4zPU
z^%nuH^lN<QKd2~4CB9H24jY<dYJRiGoWAPlC<PiB@yfaA;?!eab33%sBgE9gq#%hN
zzQ?nO{Bn%cCo}QH;M4oZOqb*jVWQB$&%CBndL|R?nyH~6vNnAopAy`D<X0)LW&2!m
za%P>aP_B^&zHv-qX452=-UX^Rtfi`0^*=foME9RJZs64Zc)Dpgw?6M&KBIt<GOyXI
zwF8d2@dni|dCbxjwaRaG%GXiN-w}_l!IDc$p0&m4T&i(%d}AuN?wzqdgTi}Wh%mJc
zf46?lA^V<3v0i_aOTahE;ro(kGx~y<Cm)`&OmSdNc|k9$D3cr-QIIpo&r;)?+T!xI
z)cDoTA2j69dZ2+4CLfQM!6gft9t!qslR1}vex=-&=ah2f<Ew_|7Z%4YGS#Ky9u@9;
z&r_2%;Hh<G__lSWhFmTw55esJGe6>ukSU_;=W<q(g+4>v#2_l_mfFpoHTpN@{}WrR
zj*`-CGs4(*TMj-_3!)~F`1b1uR}I~$zdT%)Jfu)3J0WL3vzZjzQJ83SFhT7#!}!d2
z?=Mi5b0NoktHWT4i)t|*w9<&QCw=ARM|PKpF!p(61!#LeL3EHs=k2b~UXV<G!EY9@
z7>_-utHuctT)yPX=YuP@wCiYTtt)7!2hs0pLzJ_zifbs_qU%($z5OG+ePKqYYTHrq
z<V?D!ST4;YvS-d+H@}O-e>k$u=Bl#BDbBNVzak&R5{`Xd@7b+oO22zrVyWEE17ej^
zakzg^zvS+Rhmdq+EyfuTu5uE(Vd8_q>o6XRNOl>%%`K-CzkuXUNXA~kP0zJ<*bKVa
z$byXnLIz(Y_<2yJ(?67&2J}=`ruNd^k<f$TRpe5Vqqcnwp8h?>Ijj`RUeCyLfIx$w
z47hATOqahJR4eM2V*Y#5iTv}^b6hn>V^8cL)dJIx&UGDs0=&F8den<mY^*(O>x19W
z(dZG8>H)pUY)ObC!^Peh3&t$$0_}Q3*BXl6TH~ZzXeRQ2oeQ%v1t}MGg<F+eZh()f
zTguqQInBJtvD-S_GfQ?&M22iFeOYQTJux1)rgHBDrC%Y2OF4AmoB)E;ZHLkX@10ZJ
zN{g}1Yj!a(SQLGSlF)Nh46HKJ6CMNG$+;z}#OI7eBwS=@IGUOy3l40RawHVF34;|=
zQ|zdtV1?AEvcplZ?k7i<4Z9z1ys(eCC>*u~R_sl6ku*5RBO&l~2Vs<=*2QZed9@e$
z@RW&;f&KF<zX<;Fw)(69XTkcEXq4bcjapg3RJ;<WdBt?R!KaKn^y7EaLw3n)lygeq
zNi*u@7{cfP@vvIj?XKu2ar}FWOij3!Q!}d=)HjOIj8jvE!l~ea2dEMIF^L+b_`2@-
zr(JGbOQO;{m9g=hM=JZK3N`xNM36xFpmtG<wvEo7c$>*8V=m`A(*7NFYn;Ay(hrJ`
zsoNhgH&63HMSC9iyXVzCls$ZV$meM19{Ym!z~JzAT~i#|D~I?N`vUIRFM9JaMkPyC
z#i(-e%|}~01>qvRN4-i-9m$U*57)zOA@ii3s%g)^_SJj&z2S?VxZox8^fw@j5_FUg
zMS7HSQ9{J2bHGlGl>Hn+-beLZa-7ugG!uDIUS;InN|8U5bNBU9sDQZ6yI5I#^4`51
zm1py^r7QQ^bH=Xjyvd!NET(H~OD*YbdgLZqnk_z4J{;JeI)rCco@!}*)QiQJ@pF1t
zjgpvqMl!gfpmxpye6s{-X^9)*q?{|VW(UPf{Yq_fNEDQz)}8G=v*`!rtqX~I(*Bm7
zldgAa?N)1$LQheNPhgXb8@h3LIq6(nc)u=WhV$I+x{$&r?Q!(%io@?;P$_)Rvf^_F
z#C#!D<f32s>neWB6J|QG0D^7b0Y<*JH#mmvPq#`>C)S%%VzR8Al1A++NjW6xmn%x+
zl7k)`qk;}Kb^8a0W6>fvO+0WLO%rW=&mv^GjD}a}fz0`YvK+-@n}pr(EktDGA5k1H
ze_TWwsV;0WCBs*8il|YG*Prmzpt7nCb;#AoI8Q9PCC=gFjN%8@cVP{D4M0nE*A<-&
zxNpC7CHR3!NF|OFPb@3St%xOeQXRo5_Y51Jd(`Q^v+H<!F^7NAKTN0<Dc@1#PT8DJ
z<0u!m9up4cwR$BB-aPDsG_N`&g%Uw-m5m6b$Z)KuII23UIZ<=XPlBy|JywZ)CRX)L
zx2Cewr}|ouqaL-P969!K)r=iZwKB1CPM6{<s*1e#iZz>q(~eek`=u&Q+NY?F)EsSM
z&9}6zz^R<A-<(*CjhoX+H%fZCJ|kTSAk=FNy^p9L;0Zs{R3|0x<<ZjJYgYm6$Cd`q
zmcx4RVdv7%Q>$K4_5exk{=s2QN!<A#)cED#ZEMRB34J%N$cyz54E0dg%~%CR*(;vf
zYo6JCRMsa|{j^kW@r$ds>naC_4Qlt=mkkE5L^N@6<$odZg8|#Zhf5IX=lvO~ZZXr&
zXGJA>N(rE@-gHPCPwI5WgB*x#VOnUdL6e_Hh^0j?_2!t1=#s{kK5)8s93yKgBtfj)
znPQ{UGmfb>OW;YUkh2BfurZAiM1Hc8mK&#O=8~@2GH2h0O1#%L`zG+sWc}+t?#Y#o
zkpc_m5^vq&^MYf|(YW^vSJ$oAw?-xzTiMk5U%SeNQjP<7#m^4DJuw{78=D`epDT<f
zxcaMnrUvE6V4y4dZ!;NV8`>HwcVD`i6`RbMed(mpBqrZq-I^?&b9FfuwVdakb>?Z6
zLU#jQ=S`kfIa+sNBA6KJAHe+dzUi9wY=wSJS<K2?PaT&F5z>~;Q&OM}nRLb#?w95I
zvlN}>D+6NB^?jDx;8slUvMV-|lg?4O%<x`j6m=8__Kli3Yuc#;-Ivdt3UCN-&ztqk
z9~OBAxySH`?#;XEncw)joiTt~3vjw2AF|pWu^aN6uFuv);NZw*IwaC;M?Oh7x_)DA
zuT9vE@q`cNSCtnnNWrcOv;z}dJr-fQs`67qlPfFtZkKBx3H`XT#8tWe+acW?W7b>C
zFsg1x!4d8c@CuVptk;o8m#b_dHm}P+DOrrCmo?>2e@R=HzZ?l%YP5a5&*Yh5)bmf@
z=N=rfrSFqimpCM^Utxlr-)I?Nx;V`1uE_^Q0v8zjdMpy<S3cCx)64o-+h!oosJrHd
z^II|SkfZy**<^*$`%nF@`GGOH@X5c48huZo$@R?x39Yq|Fx~efx4r~WUx!V8sGjy8
z?VK1J`Ev8tnN<<W*9X40zwB!E{vbTxaH}c0#;Wy;1n{D^^u_(gh}E_f3}s2I=i7h$
zyyCWoZgy_D$ZuxL#W?Wl`LrY*H)v1&^#OEcO2Mdz$wi#;ui$foXN|#nOj_2@K0ZTb
z1aT)m%V^HErD^i5WEEKtXueZ7y8lMZEGpx&Qxl;^bIs@Qsx{bzTL1O2=a*bp(H&Wr
z_Q4oQ$r#^Ft<Xb_XAbT?i&{Rptc`g*$33dBMqYdO)o0>f>5gwNJ0+--uJnnq^LO=?
za;k;qbNzVg7sAUne`%6XbX}~b<jV1`Q&$WgKKNo3lor-`WK;eF!Kqn)C9&EPDf&)Q
zTyyFbkBeewf&cT5yNB9ZuiswuDi^KSPDt!oXLM-nA2{JltB@Dpdn9S_^vYWJ-GWbd
z<@we&UuMK5YU^?-MVK@z9Gg(=3vhl=Tt3U(7+Q6@z61CBq@v>iq2}-ifRVyqxCP;B
zEupsc&A!y1I^eKHn+gYs#XAYtI|+kEBY0qTa3mgyz$4H!{ZtU_=jWJWkOb{wDkxmV
zkN}4x4S@qtERleL0>(%qC>BdZK#g(6NCE}{7$GoNnnoH({eK!+ADIR^vzv;6VHIKD
zFGYVa&mT810E<EYTSLL&C^ij&K(J{5hJ73g&dx(&G2iFX)UrT)R1_KwV<TY@xPNPC
z7!1j-Vc4udBXDe9p^+GN4FJAdLH&pOXcXcP(|!&K8iiwX0gYx46B+}sxsS#ow$X6F
z-;R7=pLL;en4iQS8U_Zid5nQ0w$X5GQNSSBBZEN#@V^)Sa}6qhU>5-#TS_n}47-L#
zvZV=wfp4Q>*)=Ts4~^yj-_?h~u>-L%b|4nU4#dKL0DtCT5!>*P|KR<IKNh(S5ZDHY
z+6IXJ2k?)$V$s|1Fx&93)NO#cZGbp-AdXcv|IQ~4&d$Rj*m*d_pFG-g8i<#QLvDit
zwn3q`L7}!W4ZRHyvkeam`|iR&Hz5wY4G@R=x36#*jIB$+VemhItR(z@Rk1V-`&<O@
zlScd_X>b^Ov%;ZK@PF4m4huv5t0S;%!60ZCt3Y_i14u(S+>k)PV2Ma0!1#NY{<%r(
z=>Y$2gp1;jpQY}s&zV577nlbQ16ZcfM)N@WfBjXZDP9BNzdrzQ084Yf209`S;50EP
zI93sX1vF7uMHGP6M6j9)%O_0$fvg|826EZ?^WnleY$Ry5#USM$A^^v;NURe_=jZ1~
z#h}~&(~&~UD**v2Xe^5Cj`Ko6aYz6Q1z<Q&D3*-DL0P4G9EC)o004`vUnv3k?S^Au
zY%xS(u|IW7mhJE##}XWdhT$-@OI0A;$^RBS9Sjk3fJj8(SYbavfCEN2q7eaZOhjN|
jhA<--0juYtWgSQkRs0cDwn(#z4+Z8?RV7*(gL(cBk|F`_

diff --git a/pan13-paper/simon-source_retrieval.tex b/pan13-paper/simon-source_retrieval.tex
index 4316d6c..8e94380 100755
--- a/pan13-paper/simon-source_retrieval.tex
+++ b/pan13-paper/simon-source_retrieval.tex
@@ -18,14 +18,6 @@ a plagiarized passage and deepen the search during the process
 in certain parts of the document where no similar passage has yet been found.
 % This is the main idea of improving recall of detected plagiarism in a suspicious document.
 
-
-\begin{figure}
-  \centering
-  \includegraphics[width=1.00\textwidth]{img/source_retrieval_process.pdf}
-  \caption{Source retrieval process.}
-  \label{fig:source_retr_process}
-\end{figure}
-
 An online plagiarism detection can be viewed as a reverse engineering task where 
 we need to find original documents from which the plagiarized document was created.
 During the process the plagiarist locates original documents with the use of a search engine.
@@ -39,6 +31,13 @@ possess enough resources to download and effectively process the whole corpus.
 In the case of PAN 2013 competition we utilized the ChatNoir~\cite{chatnoir} 
 search engine which indexes the English subset of the ClueWeb.
 
+\begin{figure}
+  \centering
+  \includegraphics[width=0.8\textwidth]{img/source_retrieval_process.pdf}
+  \caption{Source retrieval process.}
+  \label{fig:source_retr_process}
+\end{figure}
+
 The reverse engineering decision process resides in creation of suitable queries on the basis of the suspicious document
 and in decision what to actually download and what to report as a plagiarism case from the search results.
 
@@ -67,9 +66,8 @@ Deterministic queries for specific suspicious document are always the same no ma
 
 \subsubsection{Keywords Based Queries.}
 The keywords based queries are composed of automatically extracted keywords from the whole suspicious document.
-Their purpose is to retrieve documents concerning the same theme. Two documents discussing the 
-same theme usually share a set of overlapping keywords. Also the combination of keywords in
-query matters. 
+Their purpose is to retrieve documents concerning the same theme.
+%Two documents discussing the same theme usually share a set of overlapping keywords. Also the combination of keywords in query matters. 
 As a method for automated keywords extraction, we used a frequency based approach described in~\cite{suchomel_kas_12}.
 The method combines term frequency analysis with TF-IDF score~\cite{Introduction_to_information_retrieval}. As a reference
 corpus we used English web corpus~\cite{ententen} crawled by SpiderLink~\cite{SpiderLink} in 2012 which contains 4.65 billion tokens. 
@@ -78,31 +76,31 @@ Each keywords based query was constructed from five top ranked keywords consecut
 used only in one query. Too long keywords based queries would be overspecific and it would have resulted
 in a low recall. On the other hand having constructed too short queries (one or two tokens) would have resulted
 in a low precision and also possibly low recall since they would be too general.
-
 In order to direct the search more at the highest ranked keywords we also extracted their 
 most frequent two and three term long collocations. These were combined also into queries of 5 words.
 Resulting the 4 top ranked keywords alone can appear in two different queries, one from the keywords
-alone and one from the collocations. Collocation describes its keyword better than the keyword alone. 
+alone and one from the collocations.
+%Collocation describes its keyword better than the keyword alone. 
 
 The keywords based queries are non-positional, since they represent the whole document. They are also non-phrasal since
 they are constructed of tokens gathered from different parts of the text. And they are deterministic; for certain input
 document the extractor always returns the same keywords.
 
 \subsubsection{Intrinsic Plagiarism Based Queries.}
-The second type of queries purpose to retrieve pages which contain similar text detected
+The second type of queries purpose to retrieve pages which contain text detected
 as different, in a manner of writing style, from other parts of the suspicious document.
 Such a change may point out plagiarized passage which is intrinsically bound up with the text.  
 We implemented vocabulary richness method which computes average word frequency class value for 
-a given text part. The method is described in~\cite{awfc}. The problem is that generally methods
-based on the vocabulary statistics work better for longer texts. According to authors this method
-scales well for shorter texts than other text style detection methods. 
-Still the usage is in our case limited by relatively short texts. It is also difficult to determine
+a given text part. The method is described in~\cite{awfc}.
+%The problem is that generally methods based on the vocabulary statistics work better for longer texts.
+%According to authors this method scales well for shorter texts than other text style detection methods. 
+The usage of this method is in our case limited by relatively short texts.
+It is also difficult to determine
 what parts of text to compare. Therefore we used sliding window concept for text chunking with the 
 same settings as described in~\cite{suchomel_kas_12}.
 
 A representative sentence longer than 6 words was randomly selected among those that apply from the suspicious part of the document.
-An intrinsic plagiarism based query is created from the representative sentence leaving out stop words.
-
+The query was created from the representative sentence leaving out stop words.
 The intrinsic plagiarism based queries are positional. They carry the position of the representative sentence in the document.
 They are phrasal, since they represent a search for a specific sentence. And they are
 nondeterministic, because the representative sentence is selected randomly. 
@@ -110,15 +108,13 @@ nondeterministic, because the representative sentence is selected randomly.
 \subsubsection{Paragraph Based Queries.}
 The purpose of paragraph based queries is to check some parts of the text in more depth.
 Those are parts for which no similarity has been found during previous searches. 
-
 For this case we considered a paragraph as a minimum text chunk for plagiarism to occur. 
-It is discussible whether a plagiarist would be persecuted for plagiarizing only one sentence in a paragraph.
-Also a detection of a specific sentence is very difficult if we want to avoid exhaustive search approach.
-If someone is to reuse some peace of continuous text, it would probably be no shorter than a paragraph. 
+%It is discussible whether a plagiarist would be persecuted for plagiarizing only one sentence in a paragraph.
+%A detection of a specific sentence is very difficult if we want to avoid exhaustive search approach.
+%If someone is to reuse some peace of continuous text, it would probably be no shorter than a paragraph. 
 Despite the fact, that paragraphs differ in length, we represent one paragraph by only one query.
 
-
-The paragraph based query was created from each paragraph of suspicious document.
+%The paragraph based query was created from each paragraph of suspicious document.
 From each paragraph we extracted the longest sentence from which the query was constructed.
 Ideally the extracted sentence should carry the highest information gain.
 The query was maximally 10 words in length which is the upper bound of ChatNoir
@@ -165,7 +161,7 @@ On the basis of snippet, we needed to decide whether to actually download the re
 \subsection{Snippet Control}
 \begin{figure}
   \centering
-  \includegraphics[width=1.00\textwidth]{img/snippets_graph.pdf}
+  \includegraphics[width=0.8\textwidth]{img/snippets_graph.pdf}
   \caption{Downloads and similarities performance.}
   \label{fig:snippet_graph}
 \end{figure}
-- 
2.43.0