From 367594eb78e22c04e8f7485f561305a83df07904 Mon Sep 17 00:00:00 2001 From: Benedikt Schesch <37979523+benedikt-schesch@users.noreply.github.com> Date: Tue, 20 Aug 2024 14:25:18 +0200 Subject: [PATCH] Added corrected figures (#331) --- .../combined/plots/all/cost_with_manual.pdf | Bin 36674 -> 36673 bytes .../combined/plots/all/cost_with_manual.pgf | 2 +- .../plots/all/cost_without_manual.pdf | Bin 36898 -> 36898 bytes .../plots/all/cost_without_manual.pgf | 2 +- results/combined/plots/all/heatmap.pdf | Bin 44730 -> 44730 bytes results/combined/plots/all/heatmap.pgf | 4 ++-- .../combined/plots/git/cost_with_manual.pdf | Bin 34081 -> 34081 bytes .../plots/git/cost_without_manual.pdf | Bin 34022 -> 34022 bytes results/combined/plots/git/heatmap.pdf | Bin 36132 -> 36132 bytes .../combined/plots/tools/cost_with_manual.pdf | Bin 35591 -> 35591 bytes .../combined/plots/tools/cost_with_manual.pgf | 2 +- .../plots/tools/cost_without_manual.pdf | Bin 35792 -> 35792 bytes .../plots/tools/cost_without_manual.pgf | 2 +- results/combined/plots/tools/heatmap.pdf | Bin 40147 -> 40146 bytes results/combined/plots/tools/heatmap.pgf | 4 ++-- .../tables/all/table_feature_main_summary.tex | 2 +- .../combined/tables/all/table_run_time.tex | 2 +- results/combined/tables/all/table_summary.tex | 2 +- .../tools/table_feature_main_summary.tex | 2 +- .../combined/tables/tools/table_run_time.tex | 2 +- .../combined/tables/tools/table_summary.tex | 2 +- .../plots/all/cost_with_manual.pdf | Bin 37027 -> 37027 bytes .../plots/all/cost_with_manual.pgf | 2 +- .../plots/all/cost_without_manual.pdf | Bin 36870 -> 36870 bytes .../plots/all/cost_without_manual.pgf | 2 +- results/greatest_hits/plots/all/heatmap.pdf | Bin 45196 -> 45198 bytes results/greatest_hits/plots/all/heatmap.pgf | 4 ++-- .../plots/git/cost_with_manual.pdf | Bin 34434 -> 34434 bytes .../plots/git/cost_without_manual.pdf | Bin 34026 -> 34026 bytes results/greatest_hits/plots/git/heatmap.pdf | Bin 35460 -> 35460 bytes .../plots/tools/cost_with_manual.pdf | Bin 35934 -> 35932 bytes .../plots/tools/cost_with_manual.pgf | 2 +- .../plots/tools/cost_without_manual.pdf | Bin 35771 -> 35771 bytes .../plots/tools/cost_without_manual.pgf | 2 +- results/greatest_hits/plots/tools/heatmap.pdf | Bin 40570 -> 40567 bytes results/greatest_hits/plots/tools/heatmap.pgf | 4 ++-- .../tables/all/table_feature_main_summary.tex | 2 +- .../tables/all/table_summary.tex | 2 +- .../tools/table_feature_main_summary.tex | 2 +- .../tables/tools/table_summary.tex | 2 +- results/reaper/plots/all/cost_with_manual.pdf | Bin 36675 -> 36675 bytes results/reaper/plots/all/cost_with_manual.pgf | 2 +- .../reaper/plots/all/cost_without_manual.pdf | Bin 36873 -> 36873 bytes .../reaper/plots/all/cost_without_manual.pgf | 2 +- results/reaper/plots/all/heatmap.pdf | Bin 44606 -> 44602 bytes results/reaper/plots/all/heatmap.pgf | 4 ++-- results/reaper/plots/git/cost_with_manual.pdf | Bin 34086 -> 34086 bytes .../reaper/plots/git/cost_without_manual.pdf | Bin 34023 -> 34023 bytes results/reaper/plots/git/heatmap.pdf | Bin 36908 -> 36908 bytes .../reaper/plots/tools/cost_with_manual.pdf | Bin 35596 -> 35594 bytes .../reaper/plots/tools/cost_with_manual.pgf | 2 +- .../plots/tools/cost_without_manual.pdf | Bin 35786 -> 35786 bytes .../plots/tools/cost_without_manual.pgf | 2 +- results/reaper/plots/tools/heatmap.pdf | Bin 39982 -> 39981 bytes results/reaper/plots/tools/heatmap.pgf | 4 ++-- .../tables/all/table_feature_main_summary.tex | 2 +- results/reaper/tables/all/table_summary.tex | 2 +- .../tools/table_feature_main_summary.tex | 2 +- results/reaper/tables/tools/table_summary.tex | 2 +- src/python/latex_output.py | 2 +- 60 files changed, 39 insertions(+), 39 deletions(-) diff --git a/results/combined/plots/all/cost_with_manual.pdf b/results/combined/plots/all/cost_with_manual.pdf index e9ca3b498d5cc4933971f88a86a57ad26f0aa5ec..120792fc05e986a5e5c00d02517421678bde054a 100644 GIT binary patch delta 491 zcmX>!kLln%rU|M{rV5iUs;O`EyU9^M@9LygHbxVkPumi1TWGm_S@IzV*OOmX2yr|T ziP4GU@$>Ky-nxVL6xWSgcJpqT%hxeS1 zZ%c-QK4pI6+bHvy9#pij2H{Kck(X{`*-|<14M>F44nJetq{Qms<_+RGnBlFEB zT;a7GMg|6^Mg}HElP9-dhI2OObv$5oHZgQIFfw#?HFa__cX4&Kv@~~daWZ#wHL>)?&!tRM27jz z--A3fAN+J$`ov|^Tb0QwfmM=ACPgtF&f4F0IyZNxd$#&wAEVDV4!l0d-#Ll>`DCen Pc}`%@me>W}w;@#K! delta 492 zcmX>&kLl1nrU|M{W(t!psHt!CyU9^M?dng_$|W}Ebu!mi-7504J>JroHR)xbsK61; zEfISpW=)u&lw~MAMRdZ}TAPjec7ND5+|se^&bcsGUCcb(*2!{lR`QP*x<}P3g5#Pk zo{Dyhe|}_ebk)=c6SpyKTo+tDS@u`$iO)GJWi!tkd*50;Z`Pg#F3DFM4|Z^xw_0=r zchqmJFmze9FmHWmmHRC&f!%&`kNmHPJ&5GAi+MYL>%ZsEneVmy|Cn*!!ll#a*-5px zkE?RudH+0cL{sOtn@d&VA!Q-Gr4KFsU05#Evmj@d>-FP{e>^<5eE<3K-_uy~M9TTU z7c(@?eDg#7togs09kbIeJhy$k;cD^^gH%{ zVc~42U_(gBk0IKm50jy!v?m;h$f< z2D$s!+&?DHagD%;ZkRzrX~mtF!uA%Ca32d9L5xw-O1sOm!szmm-^BXey4m`zQ@>0=sXT8)vmM+-VPnW90%FB^xRc5ehV~h<{gWzv7=; zqd`fhx7W1xs@6f*o7>f^Z-{9OGLp*X_QSy3?fd4ZD}4R)?YI3r{rYy=wVS47?50Af z386?4#?57dO$bJmk}A>ebQQxrFzDhKE)ICcUX_R|3EpBNFBEab;pS0wBJOpS zBc2*`5$BT;A9!IsbL!lz_Iw;Ea+6N zgRWc>jLn68^?(LPMt_rz#Xs5(sUDd*?hCTaODwP=YMTEU|nt)#UYEdrB3Q={c2a1ls3OjNqNB4v}nx;~YNvAO#z@+pTb zZLY^m+wCgX`XbCUaWSgHEGV01=KIuQHg}grK4qCD&DEGu#(xpk1d~fJqYNWiD~mPZ{L5~JnfDTleNys>7>{hd(lT@RI+ePkYL)Vh8hBe7GoxQ za6|hEPu-&s);{tfln4ni0aem|Dl8z`Cl5|^_Q8q9NEjF@7z2gGKt%kb6Ga7YBvfgP z_D@cRvUkrM1;i63u5{?Ju3SQRl)dsXnradMrn@;D5vRKDWJ$_3Ow9T2;bFBV9HO%_7;Ox z1=21%D}foPk|^w0U=IgrgZO9vu!3+!VV)<8Mt@dXnHcu-5Y~KbKQ#t?xk$d>9Iy|Q+gdS$JK$GI2eo~yU_ZQkSD3xAIP<}Tq++|;4|PH(!eGd2ZO z3A+@)d>|NR8Qjdu`Nf&_i$+pAAvgyo?SD+}#G>I`xDm7pwC0TVG7d7>#oF>@W3TR{ zP;P-9nEfcB-X$-hR%dX(m+q|;@(N`*zTC>7r_D9JnNDUR zk2dY)t+;o8AEYW8XfPB4l8fjjAL#Zq$v4S7s(4}n_dS>dmtjqVm5TY58a7YX6Mwsa z_hLIf3vXh4gD}N)KdA3P=k!`i(#R#Q@?Sx=_kP?G9MH!11qZF`f ztVXg|Rsh-dDRDgP9(ISj{Vc=YS{`BCTqaoUC^bUJ4I)^x0l`k10*s`K`ME#Mk+lE@ zZ3Tk9QxV}cRabwypHGjoAcNIB$)vr!(AGLWjz}_aLvlLIn7ue<8H*RggnvRyN>U4E z&{lxyJC$I5ynEVhAI?}*gTXwcw_TrRlEMCl&D5OZOx+Bt7 z;OaXKxjr8EE!A0=!Ac%x(q1eQpZ!!If`t`=DwWUytX`bLip7gzVTP2VwO|Ep1z5h5 zgY~Z+P+I@T@|tB7l;;^G?SI7^uGaI8fQ%Rh88zkQWeKbxTS|&(gLJiWKGHT#s_W!P zz593#MZneZ^xGV$NOu-g+Fq^+Ydyb-NGSsqsW5}eA&666v3M~uC6I=lP9&_F4 zo2wq9oKd+E`~E7n?|;Fjyn1oUD;6*2MX~!sxJtl+wgNHVslCw--CpErw%m@i=b0t# zRZmWyQKk`WplGywuHGMOivwBNXA{5MUn(YZ-szX4bT1k=7oP8H(HmJbrJLDfD3lc67f0p-d9 zW3xR9DSiktFfcVTFf=lgZiv$eGB7YTGB7kUvq_2L1w%A3LohNiMMX72LN`Q3ML9V) zL_|V2K}9q;IW;vwHZ?vVJTx&wFfuVkMKwY~H$+86IXO2(L_#+~MKm}$H8nvtHIr|T EvsJOYh5!Hn delta 2490 zcmV;r2}SmzpaP@t)7xuWdsXY8>&@-z)i=a61{q0ZbNgX1-0l13rz?E@^X<3&JpKB1+O(UdG}ujr zP!mFtB8;2M1e*|yC?!>*-RUZZdoZAjH=T<2*t$62nenPbTuHDN6M3PCD-Ji0suOXq zs~qukKo@a78S#;INyNwF)qjXMkRU_h^u42Ro1GPBZ6gPHzuE(zr3n-uPc+jlHr`w|9;pUPp9qX>3Yo=yE<%7_uEJNGr!s#AHDR$ z-R9|dve9|<4W+R{3bV~_{##|gO{T)3pGhVhS$^|(?5q2^+SVZp(;$)>wvhlFi_gu1 zPSrZ-$|b>gxUjDt(0|~_XwtFxN82IQgB0vIdZ=Htw~F3*u5|%E

X znPQ|4t)Od?mhV!FmYAUxEXvVJTC33_FbOm@T3!Mdft15UrMoLqHVLfjQ;8UxyT2lv za>&x=dd#%lu5zs}!b}qvqdLrjvT0_%Pc3G1cUfdpmRZtVjei+s9AQl`xdb!HFp{;h zSfp%{S=Xl$Gd_2pMKBf?mmlb$}&ru>+Kc$ zGv7;W7O6tIRz8cAO>Y-{pGwTc?0zxWl-)2U&F7Uzrd@P_kHN-X*+py}hwaP)$@n!o zXv4?tpuYdoG2|J#AE%g2N{in^-?)WfS>x_&}ik-0)eKbZT3&#Wrrj2T-Ay8;B zW}*i-w4d*!-eRz- zK-y(zB`^b35``TL?BO775dZ8SRuHZz%=2W?$bU*J6T^NU!kUlmrv``QGjf@+Sd4w9 z7du9bP4>!WiO7Y#w01gMxW|}JXG$Zfj9WA`gD_x7ld%I?;fw7#&d*~EpffR?l2jle ziG6?-PsyzGg*PITdCVA?)&Mp2jA>YPAV;P?wTOmon;xuVT!ro8Xzl>Ho zM##QymV1Y6sov2mYlo><)@oRsdqM8GdVAaEEzZ60=lE~#68^+Z9qRA&ru#Z$Q$Url zO99LWf?<}y&8(bVoLReQB()QQb1>4*# z3-s6=xesEv^I(OSQZUklff$u8F1qPW@*-+=2J?IA-bx{_P=@2ntqgkFT+Z|Sgm)+yj@&0som;)J&lZXc^f1@$;Y?JmP+iJ&)5lRW$3BmXvB?fVdG8QjJDPY%F zjbyK^0J7~<;&|9S><)MPS%&>+d4zFunP9b})CeIrh+xeI1UqR8Fp@6j=l(QD)&dx` z6$tuHMTFN>UH$2PK0VHY45Q{rChg^gw$|}+M3R9SlG9 zwgODwsRZ-m-P3OSaK@q<2F!Cz+KU`7c3>WHr36YHL&ShBEvLW*I0XQk{hvM#;lW+KWZvv!4n?u&_cQ3JO6&hvUbBpX@;sxYf4z9a)q36$kP*Wmqo%yPEP)kdOGy!JkgitFN7|-Ib)6ik zcOS2z2)H_)ewzao>CS>m+sid!t>-rpDP^D{6=qO51aZnM7B5Do1k$k6se~+ODS@b4^&DXes!1XTRX`A@&|>joX!e!yYRr0N1!Qd>N9^_cUjbITO3otdb?1r2 z%~g+3&ZydmeRmbxe|KP0UcETw6^j@1qS*ZrTqR&ZTY;GG)ZS!=ZXfbATWUwz^URX= zs;4H;DA5QuP%zpBH-*@XQ;4y6F+?n(Zm(5(N7@PyeJ2O;hilF3S&4l+*}bg%-KT@S z3IFHNo^gm04VfpKwBNYr`!`Lm(V0nMuK`#D1k=7kP8H(H5S9_JIn_S~fGLp(WB3o3RA-Mg z3OGq_J_8dtak8sG7LszUFL!Z+ggIX<^*np0H|-c#!n9ZY;p-g^p-~Ll;L^b!pG220 zWry_L^@McbNgW(c=_|y3a9(*~>z#2IMso#Cy#7QvD-B|Joc}|@{PyPH@Sy(s+s}-j zxA0?c27;sQ>Gsv1w;tkuYLTb=k3Tl|cZu(eC8RGlUR>dLXtL}a$B&0Vd zq}RF!Z|rYdfD?J(-e;%lA1}kCobLQOu81%dF}D?^9xjJY6tJ4ISz@e4pV|?pxZ%TH z2;5bC#Xy2ty%9-YpfCE~1_gvomX}_Z;_y%_Nyqle(A*jb@MT2=Qq3xTNK|$;m?AXF zFnN;HQ3^|)iMbV#n8+)S;?uNWsY?k&r-D0_u2XQ6i3{}Zr1a9{tDN?#)tf6-{89^{ z!vZ^HDG^C3tn~>Be=1>hm&U_f`t7PSZhLHd{rBnUI+!!mzUr1-k8l?{G>=YFagL6m z@pS0ubeAH~ADz6vEAl`dLin!3DQoPRqzMa)oMv|{FJXZ@>6fTTMP*5wqtXL-=|Sm% zjqOFn)FB0QJ$W+>cNePlJsZjtVaD{?sTKLKN7h(Gx=T@+Ow+D%lF9<+d{&CE}!k=T6<=*VVajx|)~X z=^HorCw|X)K^=QHQdnb35u7SAmqw9gYz0Hc$+PWV8zZTUb@SX(&BQefhZJ(W+_$e=FIRGldoW(V%r-%yoq+ItZ-Fv1j>n$Fuv_%SG!auv@Wh|-RwxR9 z!ivCPV$gR}4m9AfUn5TAiKYb$%xE0Z8w0ihU`pb|Y*nnF8c-Mr@lAl4{%Ja%420+g zE>evek&cHo6=`Y8OO9=UGYcLUxh3C-xUS|x2cT>q!-QntwP2Lle8mbd*vYGa?P`D- zCy>!heC(u^o~giXLy`S@RIna!)nr=im8St6PGws5H=<#LV3|;Qnv5|KNTi|pOpvS4 zj$29PT?Ob~&U~DD%wQHSKM9=v2?j$*)mKc-)IuV9QEp?Aa{m7pC?;1JY!cB5IwZ`8E8&@aC*$}H3IxxG# z@b4MJiLgcL{rGLvl8A;<@#nusV1_-8Far`pWHLT-VSDX7+)^_ERNS{mHgX{$^bH_DG6eHmSIkuiLOF}AatTMYzH)lKBD zPo6g0mThavoMW?O1%%N5jMU)x8_`9FnhPH?RHe~qH)*dS8tpA4%)+d_Fci;NU^T4Ag zxD1(Q#3?#c0zPLys@IcelIQcw&WhLOp>s;P?x7&~D}6V~p$tAv9jRPoF&dBo)&FFm zzaL^X%96?QkMIarJ~MY^>&>lbtw`R=nHJ09A)&n&&5Ek*U%bJ)*lvhcmVflp=PtA# zV@>~;5QF-HidN=k%mx>1wptStcEPAjiZHXol;lnSV|nCm^r#IyO~wF7T~+dTS)@LX z?ETzWQ$D=q%tmS;jOqV!Y@&}{-yR*Q<4HitiuIBoY#-0MFaQN`i>~OYn-mOC^sSFa zxD=g4!2t9ht2z1e`s*P+QeOtShY+sDsq1bMx}Y61XYMZ^gUrWDylndi(n-DDO1ZaB z;0{@q3O|(>{6_k1CGQi|M1um**beEEg9yX$yACA5J#)PrF(Rd5Ax=AxUjMzy9)b?XRqSe7Jqvi#uWLdtscs!?Jhg^ zP;Uv-#nj6VB0stiOZ~d%WVvonk4hyAx51JA!E8cd1#@cD_MBYZ1zbz5Bo8Qhs5%j%LMq8$dDF8}ZJiszwP5QTPbZc<6zP+(eu`b!VduMUo= zw|!m5*>To>N$kQNq5*}N!Iti=LWyBa-9GwR7Oefd*Bm$v5`{q;HbaE;LORYO5oX3B z7&&v2vya{nd?_xTTMu5teDyejR<`9F4l1{)o;}ppsBNRhEq}EZQe~lpuvPLUxQe0m zbnt)NjDD}WwTdn>njXlePdY71LN9~MKo|fq4Sk>KyUR}PM@Q3l`^?%II@RuLsNoNb z4=RAiQ=ip*HANEqE5EZ;6LO^d`f!#46>?t#Hl`RY zUACOEaGH{ZRJzyEXfn35c6yA}3g9%qHmvNi8M&Gn)1H01Xu@vSMc*^UGCS@sXaBjz z^F2A>8g2hu-%$#HHz?O{15G6WbE5F;v%1;eJ4im_69SxL?eTTRc=BcU>Na|@Y75re5 ze2MA{xD&Tv0So0^>A1yiD>gsu30AEu3H~41IKlb9vT^_SU)gA{cjYs7SEj@O0RQXD zo?gtCtRwha5Fwdt(7kqDdp0|6c1REh4SIBC^2{VDhr(7e(WXgUZfh8Jl0oqz#X?RS!g3N~nyZc|FWxA6V zFUkS{nbF}w2V4?CjQ{>Xq~+LT;`R!q5CM;C8hzDT1^jI- zcGlqU4x^a=S~~w05GuNvK+A%aV_fn;b>nWwB!in}w~Oj%Jt}1CZFcRywT0X>pO-*o z%NqPw*_KZ+)xMhQhyXT$zJt2W_Bia$D%u=7=l#>$!0{j2=?^nNrhaF3`OHE_2J9U7N9=b!T(sH{i>McPgm;(cj;Z z*11aTJzhbZ21`r>ExP^ zHIt;#XCWD?dU07Hgt;F!<7?ryNaC2qJ>J--n15&+pPk(<4(v;JUK~U?-~9n2!GY)R zltU=&8bP%3(iya5)l~BNBi3`JkCXIfvFknCdwIXo*ErA9=l{4~;>i#6hu>LPXq_O0 z7wLZ9oll?bO9hAzQ1_>xQ}-v7sPt-0CM2sh=nwP$;E5_68?bL0v1|VJkcsP_f2qm) zmEwc2pr-qUfZzwabSO5j`kZr^on>@?D6hQ?`ULSx-0+V4WVO} z49@Fp-VBa7f%wj;4-N(iN$b zmZ7VYhU=9?rS4q3sF`T8WfY4Q+Zj9-=eEap%3j*5qY+A4mzz`JAoK zk(N1&s=61ud|lw{)^$NqjS49|vVNVZc0r^Pcq8^H{_&phSi(=Z5j+cwWRyLA2k9ZK zXp9`||Ex4WU!nZIp7o7nalHB0k!<1KMJS~$@y4RipmgV)T$^6`g*$KGLeUpCAyzI=kdHER_kab_M2#LcO!Vj0>u39Hl<&V687&1-TU35 zA`q*~6P5ZB5uVt&Z~-qC*IaCSg+fVvINA@#XV;fSlxcy!M@zj|E5<|$_}NS@7A2x; z+Zu(&WP_<1&tR7|s8MF4UIEv|@@vP!#1<9#w6Y)* zLBYtk9ebf}%Vu#rrt9GShj3+E3i*d7j4oy+3>2HK6mY9b-C%;Xp6};c&!oR{N(ljw z6>$JAFf;`xvWUZvc|>e9mzEyo3yM7pKBxmON+Dd}Bq<6)~oVAT#(IAMA|) zQHC|g!drHetuXD-aF7`g8)d&Eg$x5jf6>)WV+r!Y^^~#&(to$cI(Ewb-E6^T%>my# z`w736(`?zXxjRf>$f3J~QnP7CN9f30y*bcpW&FrP?<(gjIv9+zi)fC!*d9Ec%>2a5 zA&ITlruU&Uy2^9(Zg2boZ0zU}Utgyz5%GDO0s4+RpwGkX(xK40G=W}!b9?7`6pJ*; zHP!X3p4WVjwcXreWtvP#Q)2-q6tPkU;vk-((Y9W1slt={w*|Wn*S;et$vrK8CA)ev9ViJO-(Yw?{4$h>lwh z3tiud#QIchYH0c%*&6;s$DHiv@iiX??JC`48OXEW_2R}*LpOe1>Qbn!o=&X8-?i$N zAHHE2q2))mY?OD*Kd!7E;|o`#oLE{tiPb{Okm*U>YI=|h6BNY@tqMrfs@NgZbfUgS z8e2Me#Pc0CmbM49va?&y*=c%J)`(}8e& zY4cSK?~7)#L_&_{9wlF~q2SqSIG2&LXTNrVFJ$&J(z1S5v_BDvA;xJ|4qC=6fo!z$ z`)l|){a7^;%xw6^OP6XZ_M7o))?l5Y_p}u~BCL`Gn&FcE{8tOVZw1`4@DRp(kVmNv z_SN7yz4{F7dUh!Z^R|;^#Crt0od{TcMA6b|^U(>ZvJ(h;U!9Vd5~B{Uqui#kpU-38 z;BUqYeghI#2-Db3W*y?Zu|4vzF-NoxP|OMS$D}_+If0kyQ_w3gOaQHVG4-(1&?!j! zw2g=(;VN`T5z%b7vUXb*BMBG$D*81sZ@-n(+*`&Hs}${bryH)ztU#-&daVy_Xx3r` zvaQ^DeioN9rhcqG9Bwuk#2qt7lW4T0A2Z>%3Vx@{gGu5cpsDPk?fli`gizSbAsFTG zGX;i?KS;S}6p|F_J>K}7odFtir`fCb2(ZMBqw)e-{fu*`3YQq`$VEJw6S>#K2fD%( zOCz2ph%gL?8&JF{5$+SN#%Aa>t1KAC^&bgj{<4=0syfSipTiBLAN@lTv(uLjPOk{iTjoQ~;9M5pUpJwc3^CXkajdZvk z&ta$%{EU&=szp`|W(=+RIvCb^*SKI5Fs~UqyPd8PHyZ)EA{k8E<&r(3d>CoqB#2CMLOdh>2L_}CEY z0xo3DX{OF4xQbfxxzX7?_n+^>dHv^NmdJ#f=QE49HlHy5;#+zeQRJF6 z?*LdV^wT)c*o*#*m8u0&)Ee|#`VcGM0H;_Cu%PiWPHa-Dgjqa^PX0X!17Fd!(OZqi zhZm^XqQA3)CG^ZLFpkRUIFVhPDF;sEh)r7(dEZo=l0QEj*D^fCc;jfuO2Lm$a2a7V z{wtVaWdjqvHbY z|7JwvI6~dO5GUWlbcVMdjC4Yutf#Y>neS>;JC=N6JmZ2_6hrmrs8Tl|+X<%DUhcGl zleDRzG;$8tvnZn86|e@TM_N$R^`1;7PiL1GLGGr|3g?-)Q(NJMxDI+w7VZY!fMRL} zsanmGxN`>qXJP_821Qm7MebH*opu##ksY=TfW&32`dHbQ{xt-a;qCz&M<+q^^uB@( z20=ncwlaZ)o2H=ql;39}S~|LhLmwR3w41>n$KRZDC+w=G5vW=i$zv#b`E-xhg5~4b zc72oq!1uKc_l{U`W)q?yU%P+!8e;p+A?f{p06%H=Sf6co5JIh@=$2f#f}=f^p4fd* zRrY}8=mmSO$%n$mtZ}Ww5TmPPwY7NYuOQ;z=NK$UzexXscMX=oW=FVkc&PP)K(Z|Q!cQDo^!|;oL%lxaAbL$>7!`sa(uRD)u zmfmGWlO3aLI9V#_O%$tBEq&c9aedHEt9EkGdP6Y*J@mKo!V{1~rW)|}j}+9~jD&zG zQ`AOwV56uyYGb4f1vpQwGo%~dcWIKcWcQ?qPRw*QLHR;9mRJ2jM_ROvJb`r86k#2u z>hPIa8eWJ}20ghPjl~y|)}7I9q0tlry%VhYQD3hNMT$>^{63b1JTFKt#dBG8BzuO+ z4f4E=R9B+5)2rOFq(l>W4&)CCyZc z|Cl~H3FcLk(3H@8q1kOmC^Ged6#eHbWjdLjzN0=v!g=C44$M;+mvXmz>nXZ%Dk~~X zn(I-3OPePD>k?~MNOxM0K0{rpy)s7LFe3&KxV-ZR820!ESlwy$EGN$*Acvt8lM)9V z=aT4^1-EdeIi16R^vXc}RMy{UyaS&xN4Q=W>u}Uj4io+{<(|`>-j-0x_){VV2y5mc zn;#$7jUz?n&(ylieVQu}02H+bnsB^)Y_wIcl$kMEnv;jpr1D3=$L; z^DqQ2Z~Bp`Jb(W^aw^Z3mEA{{bk`DeZ$S5&Belt)ji^MDT2tpRgbe_3d^);5n2Ry#DLz?smS_z~%_FK`0OSIp5W z_%y_8=deNTk>auyB~&iVatM0+RO1Z^2|El)D&=1YrZN0#HN9UPQ^Tuv4hE`0m;j_a z@5|?fOY@lun<2X{_Z_Cx4tjowAqBtx`0I^B-^o{b`qeEC1~8yPLgr3O3f&m-Xt>&b zt&_*p7^F5KS=9$|e~-Z5Z&0xG9h?+al9g1SD(eEyY^g$jy`Iz$n=;6GTG%)zrK}PN zM9n}4_$-CS*OHr6vpIgy%t|Jg*S4j?j(=q4!B+iQ`H9N&-4v88pxowa+tMNEdJ%|47y*GrQ= z_?}86Q0;$*Zj~72xEkExr;Pfq&l9j;$QBQ4FkAgebL)E**5FPGzv)IU#%#}Prsi&^ ze|4|kh}w>acI;s0TX2a}Ya=T^G6NXXeP#28_;-uk!b0Sf`3(yS1}7!FE*(2nvbME9 zkXm9DA4yrHBL&WWE1*J@n%m(#_ts#WQi1nP$Ty784Cp7y^9~*7=sb-E%KTY>>_l>T z^a5T7Bgb$jc&%P`p<%Aq-XRpZU*zUTPP8 zuzo1xXFL}^q5bGR;f1V-_}1&D$DbLX@tSi*pVgwbCYjO4S2MA?C{V=qZF~^i$*Bfl zsb-G(eWCADIW$+(g2#@q_dBnkfUwI?>UdL#n8Onc3ZAM33%!Z5qwy_OT8N|iQu)Tp1%Pf@0XNAK4pH{Q~*mI zV+T;i5^(=MP3=OZ7Sg~J2)?013UDKpOJZV?EN^MUr!|E+_I1ln%qs zEWwafKS00^^)4PW1c^wQbr~|$8BU_)E7@;3iTB{Jb11Vx|5MypYG*X+?k;I8hr@$J z0KOiq`T=yO%>^!0uf@UflPQ+4nS98L|CGs5=!xUnbS%&v^_w!gX!S7x?c&tuy{8#V z>c_KQz0UpZi(+yh%*0lB#}W>13+7nOM{w9geZF41u&>zZa;@@0S7Yp~#90>U0QfSC z^!#GBl1lINveD5?f4MHdrJ_F2cJV~_c+YEqH&Fkcf8c>2dtBS(?NG9n@L}i|7!$Mg zu^_vC+hm~GJ9S~PnkU6=fZLgK#qw=LYv-5tIwl@PyKh-GomSvj^_;hZ-|clQ7eNO; z7lQ27=T**J%FF+npqI7E<-OJcrAkjkzCBT$f_2b8l3184?mMTKs_g(n41@d~uwDz~ zV*_nVtSs|wUMjuyd0y&-O;`-MBlhMpm7HDTX(-!*W&~!uMTZRb=2Q$h090;sW}w!p z=J`jziGo{ncw+_cR>+WHTnWAb0Q_oDpcANAG30{ats5$tB7s*Q!xK>%cVj2LPxH}R zJ8bId={>{I|KL?+k4p|CBArKWfQ;Lsu>fWYQPMsHOdf;*CcDbyq6YKut0+r=1`dGy zAY}w5{@>O;`PsM!)dbt;1^7s*E{$~LNJ$>ARX2{S&mW)b{_9g#uQh(;tzCSUMfiNW zbcf&7k;RQ1UGtsfkDGJvi^b)$M?GE%H80^hpz3`%9b|F%EQ(>YTD7ej=P1Ues;S|6{I zw^6LiI}UVRpQt^C-`xz)t0 z%S%U3cCogJxyZu(3XNEPMbwM@IT0UzE*Qai*vlME<8MlIQ9N+znp%kE#&YFa5q8b{ zNUCbKtO;;0uq1Z+qUEm=EGN)>#e!H#fuCR>ZIXFJ*z$360w_HwWsSsEbAOjx_t zZumT5`J~UJzhOk^t^@fXfQ{b1n$V!G@)#B*!bwE*C^-WGB?ae zR$AJjaOBg#Nrr&+SpJ~K*oRC3v6JKju@Tyr+H2pu(kdYrfqV0P8NCTl`03s%8)ehe zg=ys4Gf2mNPOANBoVecJ`jP~KFI5wfLvVQvEmlVML=>bK61xu=rCyxou3|vCvc-k? z*8VI*M0pk~hu)>Zl(zQ+8$UXCrOO!^x)kTXX>v4tCNHgY1TsF-DDaqm=2CqJNBhhe z_zDrp5EBOC=j9dT=Y7hTLR~ujzXQZ+=^)lKIf%$JVSZ6rc?DU%r$T(s@(B6fYQ8x5~l%7EH*gz9xSOI8T^=_QO?9TWD9L@ zz=;V$c~i#xnrdxMXa@U2 z%@%MZK?$2Kem~HDv(vC_T)(#@?E5zQ!~2;mD)ttelXKkRC0reaYz!`Si!rya`^Jf?_7*nx6WIxdJBvrqvb))tZ?@iJ%tlR(n z;|NPSb;GlLk%9XxeyAgi1^Ei=(<{|8Ra{=SIA2JpKmT>5mDvm2n-^vAwls+=6?FKz zsroGOt;KFhzasz62#sc!hI6XgS=1&1$Yg+R@ic^uSg^KpH?oV|SOGqyRAVGp_D3P$ zEgFNPz8t==46K`n?|UJm>kt)Vfry%{ViX}sK4NBv<*VSRdf3HFXC4!pct;-BGRvhu<@C&foV@lo-S zwH=~t>NwSOBVj!ld(Twu_iNK<8HUf2wV!d~*;ptr4^qwTxLGZu+13u=#1Z@ZJ!`2S z7IPaK>zSIxag&Dr8Qf>$;gFVrP9VnyYG#j`*Oo)`MJ0Ch9E74p!RJ=l{m<1kUkdAc zO?Z&YZIGpXtzE&?3Uu=gi7dc_*TNs8kXef6_j}g`{ob47L6>13V*N2RVzbv~LGRS0 z8FrBm*t@@zhDxO_Xr59>M5%GY1DM!^@_Mauq4`wBXRKb?KXSn5piB|YWXq=Kg+5s; z-rvU}MhoVVBX5YZW<_F>%OZhn?e1;3f;Gh6CZ;YWs_r$?OeuuO6xP$_WOf~HS#6qtmB(-CU5mMI!bhH`% z@goHiC@!vrNWX~l{J2}%BwT{6B9Th&15DGD6LYL0LTaWZq8)Usj`JHe;6x&pJ_T0m z?!KwDKACHf5XL{_FVCqu`Rxq ztGGIfmNeu~x1-W?20OMACBUx&BM9S*KDN+0e1(&Tbv;0+|ubL@~z( z3ltC`C#$yy1JCnq*-BIW?#|V%{EcPlQpS(3{lb#IoFm^3+%Pc2$HKQdUw`t7Cq+|9 zOe+XkWml#qtW3a|3t1T-g}?e~VMsbGp$s#u6EnAtxgOBZ6jmE4^4F_Oh_=R3(6KLY zapQfU2jD;CukmKKR*J{(PkKD_I}|mTGQ&_B{{~-wq#t2({dVB%{=m?$PE^7oUdXK5 z_TO&v;xt8O{vVhAuWp&!XRM~>3WZ~xE!Q<(>NZJ@zFL1Cmr=RwSA~I=IXf>{8@ZXT zXv_bPc-HQmhOY9&8~>=r-I7|>RFD8XxX-t-U)pU5VfMHrf}^jkQj-Q6BglGpkqTNfDNU1C+r|!6Rbd2U)Mk`Jptg2Ug$gMcs0P1%-%nT$+1 zDux9}YgUSi_tC=PKh|i!z!LfienyCO#4n^7C`}t^=r!N-mziECN^^GYG5q)q6B_AA z(gIkx2GsvaWQE{=6Zv?bh?XKtVG#%6r_aUL1s2Ve!s_lVW+%x2eH^i=A7MG&`#5+- zN^X#fOcf;LNNM)bn$?b?j!uw7kX|KQ;7oZ$mU~$wS_nm(Gp-}38ND^KqX*f={gcVT$mhoM&(sQ!!6bJd61ot}&?XSnWx zm_xz-5}%|VJ_i4nj7v(Xc+Uraa;F`8N_CDwwa5?i&77(|K(yN$%$Ps4V#-9VpUmW+ zNFxt4XM=tV{}tIJfQ$2#(5Kukf1E(B_d8%~kua;s)>nE$sAgAn{IJXkg}bQn=U@}2G-Jk6Ulr~;1tw7jOS7RKe*i}HQ^LsbbZlG4Tu=^Hn_sce z+74^~79*^p3Vl~Rt~PF<=I}th#Ft2mK2IsC!D@9iw?a*&C!7~mZs_Bj81ZAIVn9ol z)%b1a*yG&~IL&?;-QjGg5ktgtRjlOVK{^YRLCjopCo2+T+`HcbHye{@pmS}WK=_yLL%;h8NS{7_s zzmw+T`OZ^FTGFYP=xAo{pn2^x3=)8f=4`iK|6Bi-)_ZfBwm}26Gi)0+vV_I1zh)T} zPjh-5I>hX%w$bxxG1QFSFIt9{q+>_;QZomDow*ags0J4Iv<2LBGO9oB-#c0e?=$se zoc+0$=Kgaso#o2E1Op{$x>8?K%e7%2J%JWUO}}xG@ada$>@we6Omx2*po~s)OJ)Si z(gNR>ESPX1?$e9c#}Ab8k)W0O^7P}j7G_PwuRm`ov9Bo%5nopoVIY%FSH1^=%3uLr zRACX+Vx9|LeTF5rY|!(6XJs)GORBqy_u;;f#>oB3Owo*&ITL9fD$PkH>s&n zN^C`TY&PQm)S8chB#|ejj^*72mnjrNb2~g{GSEuL-Jt>+NdR+_+Z%b6w05> z3fPF__a|r4Ucd31@!>|XxSLzdlV5FZCWzDr9;}5VOt+Xf!xDVECyDd$Ots6kYIXd$ zUe0-cm(e)XL;?G5JPt|gPBj&#hn%m5N!VnpG+6sQ%3eJ%t9_2CcCR~t=9H^|5?ri{ zdY7Ds(`CCNnT2oZBhr0eD@-KOep+}dYnv#<$+$>O z@d;4tVS}ofvG)<2!>Hu5S+R4yZbS471ovQGu^K%^p0sMA*U?6mK%Lzn!skFVxfWQkHni{oV081YDJh@OHlE|^=)bJ9!t;U^#AvBo#V#o4_`-LNZqYL-qU zM)!^II~gD6Y`T|mTj8}BV3skGW5HAzPV?SA$$Cznns1)_pMOCrwt%g4MK6Z?d7xd| zMQ|zV&8F0t0B%+!je0%w#jw0KSye3b1y z7DGq-M>9D0lyKb62H`2mhh^TbCHnxw|88*g*zZ<+Q;iiX`n#L$56yV&cikPFEMO}f z>kp4ZXMK8nrmsckmjtIGO+QzMU#_p(?RcED3Gn;0z)QF3i(}Q(SYFrJcpoGiun~>| zZim$w6ZAn{YcR{kd54geu4DFgPsA}*-)X9nC%?!y&mHeuSWEALFMJZX%7O9aEVgZZ zyFHyCX}^W>&4t(8P7a9rB!*q?$c~>)^JwIGu!jjqO+tx-Hp`T8eQvxbl~~nr#?PWk&PTSVsi@&`&-+=S2d4X(*>O-X{D#he(wXxU)r7v1m zkb@Kn_32d}?%KIM_bxdrzXMGx1$Q!IjGxMQ%E`YEYxr<43o2c>(|>adKXf}ZA6lyb zv*t>m*c49AM%?tCpEOeCmtwm4{SNxBDL>2)S2+JNr~*{4MkYk@`Ad=o(ToZy zZhX{7T=-s9378^hLCVp`9WyhyUfP)<+2f^Vl)POFrUHY38w;@ICEttuiI%SOoWI;3 zLpZGX9)+zk+dztq2$*`U!sFVSj^%N)n?DQyR$$uZ;Yf=Pw7xfEN{V1150^iYG67Be%D+te(L?Jx60cpTqsoiP z!OnZnHlXJP(?#v=ocuN;2#=i9X0rmr>As~A=EQa!dvPnD^+@n0g3h+cjORDS$9PS# z1770x8wt({m-gGgt0Z1MfTieFO8cPI?FDW|t`s|^0x|+~wbVtQVm2$F-8C{j5arif&eH2so| zD?5FMsO;9r#q@pj*S1X1o(7x8>AcL9TD;q2=&@NzCTgEISA@70po|jVwrHGI)g{W=4yJ&eT`gjIb+SZ&2Sy5z~uKl|h&RrZL zCyz5JSv(OTY+_VR0meatT{#wZT+P(iFY25f_XV0iCQfQ^KqO;$#Y0Jk9fR@$AE=pf zB%kD+i@TOMjMv8#;^P=5%skr?wD4gSOY|CAvOi7xNLxYPMJ2{pu9sO7PH%tG9hxZSB z@AkHmO4}4@8Qzo#of>`j`4@%s`jN#nts!k9s@V4!PaWl5>M6Ic{QRXkAoCMgk8E&Xm|> z$L%P)a$)0=4hwEvyW8SXJ-QpZT`^{2DLorcfjHe|{K!%7b)wNyl7R4Lt>S{_JU&MK zvr}F}uzSFaY3fDYJoe}$A;ND^J3St=wtbMBhG(ol;6qEPA!s{Qfyccpl%9|_VRza# z5^YXBAisJ-nMFA+v=qduQ`g+(K?><6Ph=AKCOp#Jqyi+Jg4A;b}9S8i3%IC1?KzH{1z|P&f z(j%3zXBl&IVbt)U)Slf{Dc_s)`g+obp{*l>kkrf3j>A{`B+Hy?^+6zXZlJS+rf~FV zhiS||JwxzybpDW!7ZF0dKo*~XtMw)D(oN5_YN{u=2~js|@L@)EaB?R_WoRRiRz$K7JO2%9uzy#Jv_vn76`&lqeAStG^rzuf*X-c5`kJNplGTi)0ulK2d><>H~ z)7ddyw^LN)!0&`FTRUXZBW;p|`34F~9$VkJz<+6k_e9m}7ON|S#4yOQy5a&Rfc|Cd zVzz>@HN*IyYhA?2!~apu2)7N7FYn3L(JFe)@F+7+KwJkh-5sEr=dise(K4g9 z!omS27-?GqVI-e1Z?sY~f$&YtjXkT4E?+Y*qjt@gqEx&`m}EY_??R@2bk8^jEDkZk zHr53hi#8UZB7!Yc##x#3Q90&cl%lCb!^RP$RHCUPSln)jN3Mg3;YX{%PPSe$vUn@? zoom0}pzhULx}bWB6Ah2VBL{tL?XX^h#rRqIXrGXZ7~zqMnEpJ30js0yXT*aBsXhH{ zRi2Yru$kCullhd7q+u{^j$Vf5fbS#hRVF`D*D7WS?)FUQQ~F6bds&+!zzsI@=!aw9 z3h2<|sids%XgEI&=q8KTDI@My^Y2&t@~G*Y+?dL_qxkpG$L-nX2CYNlNxHeB z%|asefX$PBGZ}AAp4D32kw5-4Yn!OZUCFE0a-=z?UtX(0>)nJFK=r#K+7RGW}U7Gru^ z@bLP2TVu%zLNVZI3qgomgy0i!fBQ8JkpZqEX2E5a`{jzRuqV&YE;u^Lb#%9%KKk@w zR{8NWb_~Vv$XyL8Qkk%k9mNmNMCSW5x*tgX9K%GBNx5XUC)(*NN&l`lWWDJj&gwb} zG2RJGUDl_%^bw}!4Ks?aAkH1~A&aAuYJMUi@sRJ7hOOFoT|5|3yP!o0#tCRq&Zn?a zeH8f|h8knEjx5@)kH?c=H%%|EV1&1$MQKHEJ{tg)z;yPxVUE>KYKVM3p43Vm@k0Z` z@0Bb|tl;fD7Ba4$SpY?dCq>cIIkhsEN%RS6Dx_#vLMvh1pzTx*U1GgCgg-Zk|C?B! z(5cOzq5p3u0vhZOba@v@_L4y54V{^${?k!mp!a{~zhl|v)b)p~p`PNb$?gg2kcL}L z&859y+XP#?--}a1Q|*7v>lX!J@%jWIaZL1q9^&+*m-A!f)slL?5y{cNMbK;gx*e@* zqb6-b>!sqq`r0h`OMSV+L~pC@aPC zZ~LJ@aA@!(+Mh$I^{b$&Np+Yl9{+YR5%Q8{A4IIP8@o{lZ>B7Z85KSUmG5xX<9Zm! zag@JHjM|`31irm5fA=;%Mprj>)tzAyXqe7$XDCIDL&#oaByM8%p%UnEs!txnrKmdY zEx4wZ(Pcn0QtaW*FQ(GA!J3IGT)$#dWDuuQQo{yi=U2D^9A=mSV`3@0#GDxd)k7BY z9gpjs86LX{;iaG5#HrizfN33~^aW`F&E)7qsRITM(^?*jJ_!bSx=Ku27@|A zbvj%NV|QIY!EfVBm>7h?i1AxMhqj*<&F2(5d6et{S`^b%kE{zU6uU>-XdT)$^k~lyYA!O~w@@4iNak=Whx$m_CyZ;2j#U^}d?e@QmYF ze))+DVBR z77F!WrRTZ0-bNr~lHl8X@_pE5g#{7)`xx}y&cP=q(a=3&7XXxYsWDxw2fd0XWJz%5 zua62pMX0DB2SP~|<^FgejDp9tnfUVSbms0FLRyD22z2U8tniv=A#B_znvn^VH+Ass zc|Yc)hKLsY!ZtHijpG1lKGDONMl3C8Ww7Tnx!0yS7O0X?2_mWJ20|XBy=3pF60++# z5^Lx+02hJubM(iUu0GA{P%DjJE_9e4Y>|(LLrqtn_p)GMES86B(S9bo!=nmyTv-Rg z;1emkdC{4juc^AWV*i23c2d~#eoEZIQN)5n`px2nn`he=*GQSR0k2&%`PEU8-Ia#A zApXM`Uc4H`0uJ1>qH^NG%5(WwVBlnmrhnc{Xa$c?WxmL- zI~S2x@Wo@H*B%G|cQcKt<}<8>I<%>#gP^I~k==QG2dx~E|Bpv?DJC3phvscH{ftCV zEEXA+!TEUC&2w&(d37(KmDH7cs_FPRc^K+=JX3C_eptZBa?%M@AT%-Qpv7QhIW8fD z83oDJry;LQ(qzYO{H`r2lxIVjWssczcac8jipDhmkyf%zfc%)Ny#5ej1_FnkJ?u>7 zob%l|D#4w6_zKfst$5e)uU1@AFl2!D2r7-^K)J>&xu1U?t%nU@Icz{L{ek)xlIfb9 zH-gjbl~?*>gwqsV9`l$Y?Q`zD`E~DsyP_A*4c{}Sp%$#}mEv7>??CdH*9#n9Y^%?6 za|4(_kgWH6qSZRdjco)ymmHy$Q`}J|7-)@X4>`L+xDP!GmxzS3EVxC=5jfQBVJH%& zGoR;i7L2w4Ug>I!+Cm5J9Md&4^$sY`Q+Rsb{7#$IGpX0pDRiiky46nxegiwQ(eQMT zISz&(b6%%{%vm;2m#w{l-ZO{lImnz?29P-;nSUbj#mIB^Wy|qq<~!+-N7lWR%$T=j z?{tm$a!kg%fAI;!9ci<$a3AzujRDL_MWxoQ6oufNO8^Js$AqZP&&bcZ_ky#tRN(#@ z@WPsc%V)T}ch{+{**0n}VQ&c6<}7{+v6s6DJSogw_{vmtthU5-=zG4;bMcF-5xFVgW1M5tyVEX5xbmjjxy_+Yi#S!Id z`cIc-;u>UL_F;sm1wq5e9G2{m=34&n2F0+w4E~90X4xI7!nhj8(OWzZoSQL7?|Fk7 zcC2|tN#n;avhYoZ=JWfpI|WPdUXABCg17Z&e|h&k8lKb^d6$usisG6oqbzt4WT`s< ze5uXK^aMNjqeaAj0I<(JYUO%NfF7L43;21*rVBboswpRP zzf89{w0t59z3EnuK2zM$5|uvieUGy$%hRzzVw^bs2C`SpD*yPIXxJc!gqe(SqJ|}8 zuNQ3&=hNy}iMv}zrl+!k1qAHkc80=9jyWT}1WFme2ydWIG|gLC!5%^*!Vc~b=bTm2 z+X!(4k!Mkx?D8?Qhe^o{ClEDasV*d%f+X_Q`EBh9=Q(Kj7h z+~7}xyN*xrj*RPAUXC1f4(=iWsU(Z9k#tS1P;~)v3D;ONuiHWu{l6Cri&#k%^dvm+ zzR{Pr(Twv(a|N)6P0+_sNx{@qAzXg~zY1Ll`I`G)CAPSbIsiPchu9@|2dEa?ZV=VJ zd5!b8ln1^(t=IcU-q_16y^*8zL@D+!?24ZZ2Gin3%iv978|DbU7Uh2}K>yM~BHDe& zk@gGe%*E>J`d-Z`8`qFdDOvItrx&9o^g-$hXu2MStfzI+#>Z|_Ux!1u>=B)ibSHqn`qQev!5Z4Q5Y1pS(AjzJy zKK0y5ULz7=$~p`lF)j(~Z89gcd@NG+(}(M71dw_?_}pzgS*Wt-n&XM}H(zU0BaUI* z45;g&voI_w?Z)~`q^kogN~O)B^|5QOZW02Xwf;ukH&c+86Lz>7F(_+^HO25#HcxRw z|0k}w^V-h)Cu<1P{TZqFz}Ov{jljhZ5F3q#L(|Q|lJ4J}Pb|NEuoe)Dr-H>OM+sbe zsB@^CS8;99Q;c7>Q0*OL92DYDQIKyj<~hvQ(&SSWcm`E?7LR(3Njg>B0!S4*KEAbK zG?Bp=oC2JDTraqI6Q34O{P#;Oytofdl1q}GUy_&q1+R>hxB#a(w=|y&rxceA*9$%Y U0X|87DG_R+|CdQ3O4Zl@10INy2mk;8 diff --git a/results/combined/plots/all/heatmap.pgf b/results/combined/plots/all/heatmap.pgf index 7894238542..26778009bf 100644 --- a/results/combined/plots/all/heatmap.pgf +++ b/results/combined/plots/all/heatmap.pgf @@ -4755,7 +4755,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=5.706497in,y=1.571445in,right,top,rotate=45.000000]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{Ignorespace}}}% +\pgftext[x=5.706497in,y=1.571445in,right,top,rotate=45.000000]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{IVn-ignorespace}}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetbuttcap% @@ -5155,7 +5155,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=2.036770in,y=2.583333in,right,]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{Ignorespace}}}% +\pgftext[x=2.036770in,y=2.583333in,right,]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{IVn-ignorespace}}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetbuttcap% diff --git a/results/combined/plots/git/cost_with_manual.pdf b/results/combined/plots/git/cost_with_manual.pdf index 959157db1a69a9eed44b4d06de6da1a11cea4e43..ade6e34423baa719ac0ea107e75dbf220bc54d27 100644 GIT binary patch delta 108 zcmZ43#k8=CX+wD}hmnDSsgZ$++2s1#%W%%-sJct6&L(D-PDZZIMrKB)mZm0Vj)pEK b=7vU&CPv1lE*2(6Ms^A|gp^FqZ`lL@fZrVG delta 108 zcmZ43#k8=CX+wD}hoPmRxsi#n;pF<-%W%%-sJct6&aQ@z7Ooa%&c-ILW+vut=57{_ bX3mbLu1?N|Zf>SdPId}5gp^FqZ`lL@wMZUX diff --git a/results/combined/plots/git/cost_without_manual.pdf b/results/combined/plots/git/cost_without_manual.pdf index 4a397c44eadf84bf371c265854eab5de4b83efc5..2ad0235f37d9cabf6c8940784d477e8cd72f1e26 100644 GIT binary patch delta 108 zcmaFX$@Hv~X@g}ghmnDSsgZ$+*<{Ds%W%$SnYt^i&L(D-PDZZIMrKB)mZm0Vj)pEK b=7vU&CPv1lE*2(6Ms^A|gp^D+ZrKa~cSdPId}5gp^D+ZrKa~ty3NE diff --git a/results/combined/plots/git/heatmap.pdf b/results/combined/plots/git/heatmap.pdf index 2135ad53764db450e051026fe28f12070f52c723..94394c96367bacba7a74771c52a79df19f323280 100644 GIT binary patch delta 108 zcmZ27i)qO$rVahA97YBPrbY%Prjw_)UWRiv7qx9;b#`)dF*h=GGH@|Ba5OhHGBY)B ba&~bwb~CheGqrHBFtJmxA*5t-cF#@##nc`v delta 108 zcmZ27i)qO$rVahA9EO&L=0+yQ29u|^UWRiv7qx9;bvAZ2FtRW`eZC7vKW`36fR}*<(vufcyG@B>;+%E5gX@6&t*MBlz|;37=Pt3TGAh z;gO*hf48K$_KpAdnXG{L-~Cl{?T=3I7Il9hAA_>XsP~4fde#2(F8Lfy?V1Zlg7%94 z$m$bWoh>ff14ZMA*R{?Ukj=j;|2}CAZNjBXSq`! zEvMQUbw(4eDJX-QSJ0~Uf9d}WM&^v2Rme4PN4e8d9Vgj<-dZNBWV_Qfo9=T zs^$}(nQQVrImAc4W$7MStCDT2sj-S5X@Cn0)Hqiq-JP!4d=CtUg!9P(K6Wq7c){SK zODSHenZ}|;%~LCBt7_frDiqSpTnPG)f7{L7e!ty3oUVlsCpX*u)%M=MmnWOM`&Rnt zV)Jmf_t|;&iu0^8OKOxv4}!8UlSO$LXI7I(o}blRa7as?bw-T_Y(H3=McQHIK~QZS z!R4L;{lxOns9Hx|h4PS@iwlkc4vCRM2jiEfL#~G!ZMqKA^?VpyR$oT$R;A@Me`V4f zgO%f0xI`URQP(7^wo4^eu)r!hRAQC2)?)?u4w&RenOcB18eIuj)HR8#?NSLBU%(X| zD&fjnE8=pv5X0T+QE1`%z}u*UD=M4j)%K|bOe_J5E)|Jo&GnFRVJHWqkHU-#L5-|5 z#S&$c%(_06n8^iZiAyDBd2>Z(e^yd%B$_w|Gwa={L#$IZ%`5b%L`yBv>f9-^N*XI3 zMfHbYM<6A*p;oCntP*9Dw7Nc(cce!{)dQTc=rjxw9ELoo#K#Ui8@*pNLAPf2k7I`5iuP zDU}c|Im71ti09!{STv{Kz(HwD3hL7S)i7mkeuiv|XULl2B13S0Y@;YwXfiuQMvnn6 zRM{bNDtz~|fv{2_;6rd0KcFck-An{Po#X!WopOu&#X>+vQ{i|M58$0y8zFHMj|0*h z*iA|6Mucb#_j_Zi@pj-Je;zcSrvo!o7%tH#OtNLR6q&VDfYjWFCNy5anSv~cvb1(+ zHslvW!f_+RtJgWh3~P(RJ8mCagg6zeV2WzRaF2I2j64VEC2e2Q_s_@_*{B?|I>Rq!-}Y1SyT?8u6h1smBPd+nKJ^h{t8ATU zD?B3{m<-#)*Vhl>8QI!z5vLv(j(yFZ7Z$7+&Nb?8juKc*Qj2XcfYpn0SgH76SPbip zm9=0+Z8NaiP9s?B>#N(l{r3Lr#b&z*E?O#s%i3qae^uNAMu2{e?Ig!~o&k*F3}7Zc z6d;ZvDut^AFwr&*uml|HGSHzgq$L-hwW~6{kWOe>n}q~o9CHTJC8`9Nk@TMF<{n7b7YD1 zU}E8$zq%H(sBMN>+bKYMe)$=1Yz?_ZU{QOSSk^vYDr+6HB*bvv3R?2v?X4H*%u?~e z&~QJbHPnI@waq|lJ2f-yrYnsP_lwY?_A<1re|;9((GHLjh#V*f2WkMZ7v~UD@xc(m zPy@Ag1c|m8h;63;@%^b4C)@qKe@GOb8U6MB#!th416piYBpXeZ$!6`dd%2%JF-yoX zL%C7F2jqHjPA(N6OpXa^a1UIGT+}v0uIIfaOZ%YgmY31$1nY47SnIzsg-2W*zSiDDZp8iyP zFae`*|1D|}h}vcdw4DNhKQF?X;`_y}DQ2r@7*H8LuK}Iz(H!v|nHZwk53NK7$ZfA68AUHK3Ad~%sC{q>6OA&xD6hqOZ zv{1g~X8{RVLI}eKM+^cmff&eJoVi&9z~>Nx>1Be<2>671zAP6=JB_%~qMhYQVbl?C0 delta 2367 zcmV-F3BdM;mI8;C0+1yEF_Zj+C{wkXOLG%B5POb+Kd!*2iCO$dfPEAAkMrDaykSxqirulY(L+RukcFqVGTUG0*>)GY%$qR7AQKz{kmmdesU49_% z&e-|;%U6A0eSSG@+69?w?4m-ffji2bmg+RY2DH{PStZ(?uGw%88VvDPQ}G^Kmj=Ah ze_oAt0tOk!H;Wf2aSr+uZN>+s)(oS_pA=yWL-JAN+fHwz+?3 zr5~?0kN0~YohL6i&oZ;5MoF|FDEmB_l!tz1IeBFHMa>0=wA5K=)TqPuowZq{9hV*i z)z%SQ?kUhenI0Nd>!_=c9!C)QuEKOaA3B%imyx+ue`z^Q znKY+h2Qi&BTu!;tiSY@U4SOLBRCizK*7T`pqE8&W|CULb@D&gV_ zxS~NNTv=&FTn-mvxH~-wEnFY?HtOJt%BFd>bt(Z9OTeN@MPgZTJ!D)M%E9Q9Fylf{ zBP$KDMA;;>u1+Opa)DW5Qi)k!e_WB7m6RKaO`L+6_2$$e)~TB26>3zXrIu)Q<`h{a zg%yvY`opgikP_Tbt5h9UiLyyrU7bq2^a8KMq!O{b_^{28Yf`OWuroh;R$ai>Y19tf z4!JfnM{R}uP~Kwj`}sc%#QnbA`MlnK__lexxxbs-*^G?Nwl-rc`e=+#e?%qIR0-?+ z4j;FaN(h&nVe`Jn^KdFGn$vIKpfm;rb!q=@ zivb^0*&%W&eDkA@u#zL-U2qmZU{gxE84rLu$NlL$zrYRxkcfO+xr$FPWdXBqFOQBW1_F9A2TxGht#XGw6?Eauk+m# zU$`G(62KhLKfBklYoM_KE^!>8Ylc%UmCJb*h1DICj(LX!c01oce-S0XjAJ2j;)uhn z<{guz4vKpWhK{+=K_%`x!D*Fu(4w?@2Xzcwnie%P_5k0y*HTt76jyaR+_ed`1f+2` zcdaO`?OK;6^VezD{CTj!AoTd!emUbR<`64E@ZpTm9Hi|ggl{TOZKmy)&49xsgEO)? zZfdjWyao}F8A}bOe;|`1D@to4V{LE5d4Ty>iw^0Zn&O=Kh}$Qe^EZSurFVQ7w@-^)jYaSzn!{IuVQoQ`u>L%_tq`j zT>3&n=$4zStXo3p(Y(#Cr29KyJo>vj;}n-T^I_JJEKCm)f2~Eccoh0BAtjoKeW8>3 zgJ`LO{epnOzQr(`^)ggxaI{EJxRdvfcVfZ4BEL4?MKO*Aj;ji-1a1TSmIT)!EZ7e_ zlUfn?I-~Wy6jgHPFxH$WPjhE|MUynriFjhq#y{MNqxHKePW#fzOc}G;asEc<|u*1B(+!u16aK{hn0$thQ%=7 zSXm2J)HVaFtu%tQzPY};-)|qjTy3_C;9^T*!oY;aEV!>yvQsspJjHs&20kFXsl$U89?mCImA?a zG(>}|0;g(0jM`=(wv__JH($;%`e*n1&x;JB?lQxye3oIgO?!e& zk4C0&e+^iTSg&jbSW~C{O2|3ldfe`IH;0Y9UVj-{T0GCJ+Id6*O*#t9iUG4unj=f3 zM-vO*{MEIPMQt<8+DZZ1(+{6;Vr$4P0*l(q#Io}FR9WkoB_W3UR?w0Ur?+05GfTxs zL&N=$)=&#t)HVaHt<;RP+b%UeJ}g3u+RM0lMnN+%Ml(h=Gc`FgGDbN=LPj+~Fhwy!J|H|rFgZmrF+w#) zK{GK%Ge$KtH90dfMma-5Mm0e&MKMA?T?#KuWo~D5XdpN=ARv?cgeX!K%F7WzKomsL ze#0>S-xQ=EB!MU!At?b!LN44{oVvYeNuQJV$dE&JJfeow)Wz+PphJru0|E+^7Vh|~ lZ1J(RZEtLY5ff(HSJ`>#2Z-he?~~t(AP6@KB_%~qMhe(4fa?GN diff --git a/results/combined/plots/tools/cost_with_manual.pgf b/results/combined/plots/tools/cost_with_manual.pgf index 3ee4631dd5..dbfc32717b 100644 --- a/results/combined/plots/tools/cost_with_manual.pgf +++ b/results/combined/plots/tools/cost_with_manual.pgf @@ -796,7 +796,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=4.594326in,y=2.636497in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}Ignorespace}}% +\pgftext[x=4.594326in,y=2.636497in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}IVn-ignorespace}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetrectcap% diff --git a/results/combined/plots/tools/cost_without_manual.pdf b/results/combined/plots/tools/cost_without_manual.pdf index 442c16b9202a772623579fd4db22deb5c4e62ac7..c1ba6b24756a698e54389e8fa386bb1dc74ebc7c 100644 GIT binary patch delta 163 zcmcaGo$11KrVaTVhO!HtzvXr|Dy`k~N5_WOR(bES2O{TGWP;a=v@A|N5Zf%sA@%;q z6!ZKCe1CuNAGAG_vUveVV>O47fq|)!fvLe{&6dk>&SsX@8?4SwCPt2K7S66_hUNyw grp{)j28Pb&=8kTrK)#`~nX#RM4Iw3y<-0cm0J5$%q5uE@ delta 163 zcmcaGo$11KrVaTVhP(^^e$VOrq_lF+9~~P`TjjmS9tfOMlDWK2q$N4^fNZlMhvfSs zCFc3}`TqXkx4VCuYx4q*#%c~jOG9%b6JyiKnk|>%oXsq)H&~rr4J=&^4V_Hg9E}a# hjNMF)O)ZU$+$^1)+)Nz}Tn(M<6l@47nJnME5dcLsHu?Yn diff --git a/results/combined/plots/tools/cost_without_manual.pgf b/results/combined/plots/tools/cost_without_manual.pgf index 665cf4aadd..3bd037ac46 100644 --- a/results/combined/plots/tools/cost_without_manual.pgf +++ b/results/combined/plots/tools/cost_without_manual.pgf @@ -832,7 +832,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=4.594326in,y=2.636497in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}Ignorespace}}% +\pgftext[x=4.594326in,y=2.636497in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}IVn-ignorespace}}% \end{pgfscope}% \end{pgfpicture}% \makeatother% diff --git a/results/combined/plots/tools/heatmap.pdf b/results/combined/plots/tools/heatmap.pdf index c04b6b45ab132f767838ed2caaac165b82e13ea4..462a7c43af9e069a1c2a8087ca19d4548e6f6370 100644 GIT binary patch delta 2164 zcmai!c{tSV8poM<&6&Iyql7TZ7+VZxvSq9x4Q3`wF*HJ1C!{RV42F`W@{5=>QkK`g z@7bdiiO4p#>}0ECLOSD|>pK6QKcDBiujlip&0XxG{i|s6rY34VbE+ z8b^~-u6YI-8m>-g0kcZp+VDKw(gtA;$Fuy8Cv=AbHz#*+<~e+smG2|Vc&>!iF65Dq z@mf~!`KW0fMXF`^wKxCRb^VPj#B#sinmktM9Jr8}^97bOc3-uK-+o7T!Y2F!Un?&y zO8>(|?mm4GNghbyQ)j!ceC_sp^_%*ru1`z&e*3pJoxxjD28z+ejuxV)f3BtTowUoK zLBDfJ6goL9+o(2=5y{capA8%I%W8k)|r;L?oRUdC?zhugv7k}MY}Iis+cF)!6Z z$;!=DzNUyZhl_eB?=>klcY$@w+lUPDGgb5t&&K2Ti+*)N@u4V&_9rSDlqiU0W#*8l zOV*V^Fb;GMI?U-pi_^t2EJvcCcaAL6I8wd*w3Y5ll6TzBVM6n*OTnv;>Xx$u<`G0} z#h6{NK<3R2SI6mOF`G9oOTxuV&F8o84IuF*LmA=?*KJ>INfdEcGtmO{Z&8P@GirQ| z#L&I`TDOaq@M|`8s3wvAv70#%a$%P!L9#Cbg<=a^$ZkZUR$M8I2V5eQ|}g>*5_7=+X#=8 z&W_x21*^~a(<$lq9Lm11yPZsD0943bY*Gi-%mF`6WzX*%6k0D<_@7ul6qh*kr`3dz z&GOF@c3}%7UlF$RPxGqsD(>f*M6&4?5=a44!kT*jUDOC!rmD71a4L*h<7q zpx6t1s`Llg;_^N*0_X9w!xm(@xC?R-ePQr%Cc>ax9zTx}mao~F14Z8!<*d`n8(G5l*b&2bjQpyW?zaO5&V9G$djtE?5kJ=0 zZ^yH)357OVMT9J32xPIm28a*N3NoB8M#R%lqyifGInx9E*VWQ+-fB5-5je}Ff`$q+ zOTpu-Ql)}=YJHgqIX1QxX)~(jPko38c=8BK@2a?T!iS)sBH&r>$^`wyQ#qZBFoO%A0c}eU3hmgj3AR z-{LM3c4r3~=6}x0hp#G@s)gjkk8rpdD(03V7nj?LsUQgeQ{dKSSr4yDRY+Pg^bQ%s zrA=?!j_MFJE`Z+3m?sY1r@uK{Y3CWa4hu8NPJrjsG}8K=Hl7@VT7TPt*%K;8q|FwX9NnEwbO0JC&TX9GS2uy9N+j1|F{_f#}l} z?hOf`8(XY{O9!)2M!6G_lP>B=lShv7;0^oiA{a(jg+AjpLV1}4kyf5nz2F(CkN2E0 z=}AiRJ3fg>m1r_X@D&7KEmoY+*rVRroY3+A$eL9-84d=vujBmO`IJf;(8{f<*KyrQ z+g0v`L_h+@-ny-u9%thqp73A0>lg{KNfz|!za&3k6pIo%nHG*nx#Yl}P7}j}2nggl z0Qmyf>?0DoG$ddMUT}M^ZaOEd37y3pzX8yT{B{L-gJYDB(=H^93!hD0tq){tMEj+$ z`7!=MYeG1aMT<8m`lg$E0a{=EAd1kKb$nOk{HE1iZyUyxAm{542KnX_PbP!gFBc~X z2TUcJxf0RMwYOu|VS6ObYrEm_Y4!RW_fP;uFo2s5ObeP(jeUNf1@$a8fP6`*6BpHQ zAEvRq_gJ~z%aR~ZQE8@7sfhQTkT3iPo5qB*X~f4^?y`a|!jn&X+8Rf^{Ta;6#tGfu zTie$s_hzq6wrsL_GLWj$-$}heL>3@do=z zSmUr18Iknm_}FWZjyfmB`8!Kd#6`#&4?>(Vf^{Z&y^sG zzjWr#k+|A+$+R))+BEOQ#Gl<4UCR*sqA={s{KjDtLnbT`5QgeOL|!ybOglVpkhTLZ zLE+pYKqyq3yA`N}ddaH&lG)cEld^Af$?)HBh}%pV-jF|c1S?ARJHIs>D>Yd{c)v(~1Ne*?wj0M!5h delta 2165 zcmah{dpHvcAI{vimZ(h)PE&j z3#{M=8ND8+ewl=yxx@Ij)&0rVH5QOfeyQ!+I{i+`=1-(`qpT-UzIv6~QofzrnJ#@u z@*mvo{B0TM{5X5Q((7qfRSl+;u`*&gXYu)>n&hR!3y%C-hXP?|DJYN8_stQ<@9qOy z^a%%ZqTKR!QlFSmxHW=4$V|9;Q@P+;iXvKQTw=0v=T$yuTSQ%s;mx_Bn%A5YWP6lS z*~*C;=xS6Jh@B;SZL~k--kuhJiWgE5rw1*+Up1gcVYVCR6fKRvbp$ZxtcQU(ydaFq zPB4GjRtK~`_`;Ip&50SzHDp)VKA=3svl5fn{rDB3VloY31;G;!V=T(>9VhE8=PFn| zIjoC6`zTju43b7V?uR71_}M9?_+EPP=$FQXibKA!v=Sp|u}yYmB(z>^G-e1V^#-ER z;x*X-@*Ob3Ov73jRO%)kaj~QxK6( zoyU7^fLt|px=7!f^tUjw`J5K8)+@uQzkd}%1p`s)rYpck$CR77HH8*T2~7-J;tx=p z?Q)SdCrU!d&*dO;5(4(V>s!Jc+u{K zU!=k^haWhHR4rPHm9|jj3$y1$U6;UwB^jD&Nt%p!ks4M0+l2?gTE7)5C$&+e&MX^x z2N)rLQxSL3O*-NlBT}NtC^tr6w`bAui1pZb&S87_*Ck`P8%%9Y0rbb!y&LhSni?Hb zoWW@yMntmTK6$_Dr?WNZJAtghhxDW#^ZbqL)f=BP%6`6Dg!|fjAd>uig5b{r4A=b6 z2C|J~sI)JXAq=qfT4}q{I$Mo%_q~Ux9s(&E{6PYxW_+~T$ym$I7ONnP8EpexW$J>Z zD1~muN83~`sg)6}?;HA!>-9rrX!+AJ=nzIO?lqL#dr_J9WlUYVp%lhSt2Ik-eg|D6 zWEj>L=(?R0Lez=S_Z+hWirS6bwq!>iMsY?Mf7RL1W~nPicmC6xB@LFE+g6_70jPaaj$W$N>o38uc!~7?aM4F zhI$F^1?u@fCp!}BW*=EyMP~Y(k{s5qg8B*~&sL8Vqm`D>9BsD`4Re&CZ-T=x&djiq zyNW1+BfM`_Y33qT_Vt7rSc-AyCGE+@A7TYJv0ZGrV)<6jnTRw!jYYZQanH!C>y&3E zCbP#x^gqfL%Q8ygHb|TDY?qCV(^?+s0}ES6ihp+`&hx6R6p@ImiYTBJTKbM6taxA2 z0`EW)BFpi^cARsn4y_69M0RjWkJ`7-$SEBRmbzmrSBwCw-(+~X#HaPJopfdp9_hqB zSkL<7=Pf}``j&UlA$esvsHD$jSm`@UcBt|5r@9x+c-|+8mDr9g5WZljD>d;=Ui01c z6V{V!KXlYBc@uRb5L1ukAFIGAq~LvX?`Udxb@?j4H>Y3l{jc%4Jzv8(`R^L1`5-zs zxF2aAPqVg|Wt0UY+kM8mo=v$mXgUOzKWaYU9b>|eA$#>o9DK*BKNdd;UOLUuHb9Yr z-b4|Ec*|q86BhB@m>&nrDwPnMF%8syyIux+Vy|S+b1R2NQrSv!yztuKMteds1h&d5 z$95=})rS}Q5eT?@OOk#6nJUOkbTY!Y$SyJD=`W*0^Kb!_8>|d`QqPV);zey@)<+M8 z>}i%hVvbp{85hyrlLp$|ZdH0`jy{vt^m$fj%>x`{bUu=JhJpIpL$L>7KIbd0(Mf%d`#A&S)ICQn`LoyNN(A@a71^8 zRnm;63jt&h)?K8HVtbCC>)Zm-tM}3N@abXl=MCWc%wWh3AsTZEV#(+v@0kPMer*PX zxIdV5)wz8*Zk)WkUe!0R1PGK<&XwZ8$n;yY68rfjnJFSA75L-6ryyR?Db`zF>=-$m z{V1<>Qh#q_D|Bl2i~m&nilFrNj{JFB{*K+xLE%Lc1tp4klr!ZKt?jropy|vJ{N`FL z*a3If_@7L?Auam^EO-8Hsz3Not_OOKeuxpR@D$kJ!Q@IEHwZ0_{4_aD@80`P1ja43 zC`L}uV}EXLf+{>~R-5@X+`agR+-ynyxT|-Ks)U>j{$WMys5|=v&4(!^eGV*9*g82w zeB7+;$aIm03yCnJr45AQnYGeEr_TI5@y~hwaTlIfe)ux+_m%9?<)Z{yJcJZ>X=5s8 z7h)(+tahsWRMzJS-Nb{i5w8Dgv z97?XI|9uy@4*+*K98U(vu|^`f!0j&fhXb%U(6qU0X!B-6N3VZ0`1VcXKW`}E*2w0w zdq*4hD-eyZ|5p-Al+H5{Fo0}y^us;4cM_zrr`|#JleS>oUuep0loD-a& z5u+MziPT05@1}Isr3u1gEaX5qXV6NA>+{k`!NhfNuD71HuA9{L$jv`oZ6}9js(W|u zDugh*zgtcurA(uL;n&TLH``n8)d$P5c1o;P4O0Z9M$H@O)VkmJeQPu*>GckpwwnetOWYEW3%*A`^ zT^#U?y($qmf@m(8xlqInBTTS55$|-BBc2-c5m&PjpLmxL}$Gnl5p1MJSjm(e8B>!#y(C#(Q?koVphWJY%p*#E~Pl%&-fETp0qm z{HYT1PFFePslhhnv$N*Zy(HvQgEc}f7$smhg$pgf0q1&KX$9WtDlfrPgKfxXr_HH* z$trwm@ch*RV8W*wU_^iMVxd*F9dzZ^3b8rg=zlza>>f|2{qFgC%Q?Tg-=FUGPwu_A z+C4sX(hs-0=f{(a&a3Yjixo0lOyL@hw#t5=Uw4e!nJzoVp5N5W7zNIS#%ej~utR5U zv+Q+qAScS$2J>}^Yxggk16x(wper*6CgwuMIKm;YrO?CpOIsn;L$uO;h51Qz+_+>C zow!?nm6pZHROm~vvJ3|jGR8Gw zpw&f~G0uq=m2R;}*(|fZP9#hE5X$~vqfWwW&UI+b{-1zwR$Ibvz?dC8D%hg!E_r|$0A z^a0z(Q9CmovfaoWv}N+4)S_?qxBsTVACoTx8-EF^h~&m%j4fbZ#kq|hLb9R9GyhnR zw~sG@fm9e2)TP|3rqY=7A)v`V1XP+(04p0NaFWqdtK=yl3bo=&Cr<%m;oFxsgytFo zt_jxQ2Q(#xEwliLwah&}CCp&Hm}!vY#DE6y4HAstLe;rvutz!z$2n=;CLtTmTyjhl z&VL8)@o)QizGa$l&4j>~ficwlSy`di+%iWDB(uW5I-Lb%IJ8KdaEF!!hO;eAAmT_3 z0GMec5VO+SZFPFB>z(+*+zloG^cmf=e?1$bYYY=Ag%}B|H%wUS8pN^Fx!#E=0SXQC z<0js4IHyk63G>!9#wm9m!rr`&U zSEr!z(yzTTIcHK!M-#y5#SKX5Xp)nD?Ul$G)0(t6yaH>dHR{6$X(RH|ue}y|$;4(b zrw1d`iLHM)bes`ZnB2haC1C45_kW4uXlr6{aj^R`57}@sw6qbDKl_zF6_#-LlWQ6S%&Y?rxJ_3ciE0Zd_{m-!m36xP*2C7v6I?-80Qa>lS*8 zZm}TriL5{uu`l#ehAT7a-S<~pZgG{?i-bGl$TYL6*|}?bDQ8ZLo6(O!jDL4LlSC=W zp$TT(aTga8w*u_^=|s%w46YB-qmyDX$2g5IcQULgb!4WO*~p_^dwDA!+&>1X4($wf zhG=ABxywelJ*@mX=|B~?TX0lDi|B5{0S8hJZ7;@ko^wR;NbK5Xz1Rge7Qa3B2n%)1 zb2=sA>`TwEbjr4ow#*@xk$*|QnfB)J>`xSI-GR##~PYkRnRcs%W&KHl#3i{OH#Jh-I10IuSOSpdi^ zrWFG7p%h>cCjb-iT7XWwJLXykV5DsxU|%T(c-rqiot_T=y=LZWzkmJp@bvt6ce=e_ z0vTD%f=tVcATPH;7?H(wxwTs85!peUl8wcy$>O{stgJ;gXe*HIDwW8txJe_MdA3P; zk!`gN(Fmo&rG)I(IT6Z1oT7}yt5IUgBdd`dlodd>bxIuX4-bd?+v6g`!CD?+TwEqt zZRa;aC@__zhK~sL(ti|SBwfwVe@9N$0vNOv2zHf<2(OvG`k#M)dRhb-tma83<>i64 z)>d~!(tYtp2{xWF2XV?W7O#eh36@e&3ue$(fZ0_l!TfmpeAqvnF{lQEd5%eWk>ka7 z_9Lzg2!n2qF5)_fQ?9XiHCNC?L#@0c(pKQwRT^`BdOWsN7k^;}D|whnc`-?R@e_;) z7WGfk+D*p@)*wz{#p2blC?{I8TCjq)0<5l*hxPXZQriCDcr7vt%JYnp^5P9w>(NX= z2A1QDn)2#o39KMnOA3r7rdm25X`3h2SMsFZe!Rvc;Og=8`x2-~cNSDyUd{q#NeNAWnJ3;?=y| z7ecG0;gPliv93~kquuvwk>|y9JJOzKmXufBIe9^v2GnBG=my;s;vh~T#^Tiwslwd7 zR{9-jD}O-jDtU-MT^sK9OWgTtf86??pYGjF_#cnUb1C-1_0~)9tY(;TDUBhr1;J!Av&(N%4(87je@J z`n+chmwR|uNQ|BTzcn-w+GTQ>9~d+9<;VX6X#;-y$Fsi*DSiktFfcVTF*7%l@QBk0 zGB7YTGBGnZv&)I&1w%tKH%2oyI7Ko=MK?h>F*HUuH$p-%Mn*$MIWRLbGBrLRJVP@# kMl&`zMKVQ2H$gZtG)6Z!LP9V`Mngt9Ff%hUHIwm=vRWo&b^rhX delta 2782 zcmV<43L*8Qp#r0!0+3LDOLH4H5`gdg6?2phgzAXDpEr~UXI1kV z-_ZttrKZGEr5Yg>(Nt>Poc7J;U(M#BX|Mer|NPc$Sc5;OyY||D&%NMB(EW4si&yqO z=)G??gKGSIj6Mfb$M%AWpu6JNX7i!h+$=c)_2CB{dG+z`!(adQ4aoh!=I$wRP6`4> ztZsxO%2*@4n+mHd8-&MLC>RlfvsOA>pO;1oCayDdz4f$p-KMTbZvKI_QO=sF?%h3B z2w}#*TR{}1+<@VK*UgPL+gt9{2g|W`N}SOR*Munpnm4Rdi@)*v)@V@D>m4+0J5}4D z>-D?MtM8a=9C4cK=G}*pxp(iIpRefkFYmq|`s%mu=3TpKO2%#~#M)7!l%eJ_v9^{_ zt*XSjQ&o(0YR<=+&&7J;S{&=Cu^O>v!VoPryHLkwLV>q`vP!gjUBz&Z4ElJ>xp+^# zivymqS0&c(1D%@sU9vaXT0BsdsV2Gxn-P+*sn6ywIS+jUZ0ciFd229PY%Nk2af~E+@Vv z(VkeV5o`f}>L?W#nl52+MJTgXqTTB%hI?eNjrZ)7Idv}%c*bCrhyzFJxaAiLxweGC z@~2A3J6+|Frv}@Q&(4}t_mYrL4b}*`?UtxX{9XBqS zL?`ZlR;A@&GL_~MtQ?1dOVnW%bj`Brs#Idd7FY#`a;%cldaM|{V^s2s+*%AK8eIuj z&^3#zt5OLUU%(X{%Hc{%E8=o6hifV?Ld$A`HtOIC%I0}>bt(Z9OTdClSz<|XJ!D)M z!kN(*VaA0ZMpnATB4xA8`Z|@E$pvPSOF3p{X>mnnRuXO`n79Npi|*7R)~lN5r%o(hIyImvY3?;`5Rr*ABI~V5fNZ zZ2Ew0#kLUie zo@gImGR~BSpnxuouZAjX(}#dI`w&nYLK$Fc!XjX+vnP zAq<<~EPMb{O1eS|7;%o{<5R*dl+q zM8ki4fRBIM&+{!aL>Mk5w2WCx?Vptucr6@9VoY%-{VVD$AcLVr!Gt@sEHIpHX#x>O zYQ`938VSU#w02ujufyI6FC1?$$(T8#d-ktqL&U~#sZ)rNuzJI!qu3w;oep~^pk%Dj zFh6d>4F`i7Hcb9`TV@?)E*=v#HTH~_^{;>VhG{G1q+yCPrp65$gtZ&ikC5r>e8UuR z#y|)LbX}h;HB@3V;Fe4pD#4UUn>mQyR-VyJ*B{#(4F(sOh{d`Y&1fR1U>qAElp#(@ z=&$i8k(buyMZ1m&!#~AW3oX)LG_^sZ2?MG1En^NQF|Kei7PTQStvDOL~oH4B_2g57l?X*UH_*mMAy!30YMP4$o zS;*;`Rq4dmKO8#F2rEo(4EGYCb)SFx#Bj7VF}OI`eVK=RI2l^n2+5!Q%pT}mt9f#O z^nUIDX%(My=T%>dMSsMney)YtDSJLO6x@u&p2|!oo;q`Z7&rZwcw0?3}Sz{I|+A(j!VCnd5@Sm!k}7DifLMWiIk)*IwR=2ltObYC=1M zogo^TSnjeBZVxNJPC8Jy$X&A07_(x5q_>gS9-uxVTKP z+Rkr;P(mt6tr!vPr73^FNV=Mz|Bjrl1u$qU5bP=y5ngk1^*{gq^t1>vSk046%F6?7 zt*!2eB!2NmOFo`42XV?W7O#d036|EZ7R;cn0JE!9g8A|G`LKUDV^9qS^Bj}%BFBsE z>_=QVBb;@6bP?ALP#4U?mSTDK938FMfg% z!J__2TD$2O!5YLVtXRAn78S%8UJF*xR)E!2^05AX07}~*kk=xkpghkgDKFk|wI0m` zWXuVeQBz)>EP)kdYe_Ndh^>~+N808|^_4uSw;!(|3AlPZ{k{Y$(wzmBmX~wFT2GoH zQpQ0>s@y1Z2;zT~S1ewQ%qU{5sD&(ODHv6!S8v0JRZ)v!y*fLa7lTkU6>an ze@rVPCAFiBA&66iv3NB?4gLsQ3t`Y!K-g7k5&rbBNG&MMQ%lOLZo!<9-7&?WD`-2~ zLkr@RRV-f3N*eH^R(cm{E3oP+wXDw1$Rp)>W=VO~-IjlI@;UsU36x@blm!HF3N03| zh9)Eo5w(~N$_mKZI-b}!?|%bW?I^j3Y|x!278h6DLOCOAV|enG;sM^2*C0-L#p2bx z@XMgpQt(Jyfmm0my~*zTb;$E#svT+1GfT>=?wY(HMPt-K!iWQI3ULsp5M%Lbh*U$~ zUMuyEv=x6Kc9lHDpRTRIy%IcI?T=dj^V2=vg#Ynq&)7tXOyP#9>7jgJ;uNNR zBO<*p;SmYf(r_HV=TiwrP&Ut^tK(7paO;P^Pq)XG1TGX04|hudf|+dmlj0kHCgP?U z^m)%XEcM{7P!K!+|7sW_4Q6qW8(2H@#mD~xVK)N$ZL_}$DSiksIWadfH8L=h@QBk0 zF*z|eGBq+Vv&)I&1w%7ILqRw;F+?yoI5b2tGc-9xFhMypH$*TuMMX3@H8?&XJTpN< kK{z%sL@+lvG(<5oG&w~uK{+!wL@+l+MKn1zIFs>@vhLtOKmY&$ diff --git a/results/greatest_hits/plots/all/cost_with_manual.pgf b/results/greatest_hits/plots/all/cost_with_manual.pgf index aefdc849b6..5230f736ff 100644 --- a/results/greatest_hits/plots/all/cost_with_manual.pgf +++ b/results/greatest_hits/plots/all/cost_with_manual.pgf @@ -1043,7 +1043,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=4.238230in,y=2.055479in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}Ignorespace}}% +\pgftext[x=4.238230in,y=2.055479in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}IVn-ignorespace}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetbuttcap% diff --git a/results/greatest_hits/plots/all/cost_without_manual.pdf b/results/greatest_hits/plots/all/cost_without_manual.pdf index 14d1ed229895342e24c9f12880998f7e3dbbcda1..b452c92412af2946401a89509bcc068ba250a72f 100644 GIT binary patch delta 329 zcmZo$z|^*YX@fUs{ns_u-kefquFUhSyed3B_*;pO#En2B+gqG0g)G0`A6{K3 zJw50T>+Sw9ZMZeFNbu$YYkwWRbyYn@htBmrv<>b09vd9jZ1GgIJN)ybEB_Bh zt0p)`H%5f7l+F15H|j}c;cnT?^Tyt%R?nNWCt>!n70tfNe!Db}IL--o>N&bvF^ISN zd(`ds9?^_R;U}H{JiNqZqknMriGN9-?CtMAR`}EJUVX^XE5*p)OmqJy{-5h-IW8`r ze7K5vg9e9MocQxLkLGC3hy}Owm^W{f|IdDT|G$vUid>p?97YBPrbdRw=97auF2gyS zbvqxkIy)PiyBV8VxEi^-nmbw;nz)&pJ2@G+xjDO88W-flbmjl# z?Oq3(wlQs77i4|n-S5&9pC5%;Uz(RbZA!SUY2`t&-avL~w>bsD9nBWutrFeg&P$}e zz1_O)-o$N8N7hYh|8aP!Xhm4l_6dKNKB=$Ucii!ZeE+u==P4&r=H&#{J(d3uZ`$nk zUafsATSB0K&mOIFyc5~B3vRI38v89Z+5R8@497peHY;*z)^QkG8k!rK8W~Iu>bMN& zY}W03%<63H=)}(j_5CE8x&2AmIk38A6ee9=f}`ySrOKxc|ZznS%{eXqXP!)Bmspole46f>egv|m2!S9Ls4Ez(yrdO&7qu)2R7|8jcAxFAtV z_(jy;{qv$0pYusH;O^QIxZM%D`4d^_LKVA)PiM{&2 zk6xbciFf-m2Q`vQDZN8~{~US#scGRtyIV2`+;2W1-#|L3?A19cZ*JZk9wz41Oh^Vl z8T_{%S(CH1FaZcNz1+Lp=icfik!<;NH+0xs+0*mSzC;qV6>OTknH?uAeG}mb3vu~w zGY?^aUOZ_z$8}K>o5$i@TEk&PB}8SMS_CEn6>;PGaw#0UTr#3E)v-2Ynx74)DzoC zw}^Lepc*vbBT3bhMVXHxR^Qx}6!Jf_aXHO)cr-hMBlU6mFzm!J6_^;M&g<&k8f=Y)9_S~>ch3eu3S288O zvCNPwng^41t6)PT{$)sPj(96;8;#y>f310A;8|u1)x}39ZH4!4nqyyhoMi*{kS7e0 zWotToH9t!hPiJg@d`PU`6w@xA;G{}Z)4}VK?--a-on|zfgn7ycOY6wk9!$UkI@d8A z-S`pxzq7qlrQE2|y_0%mJk_VP3ucdp^y%mfFSX}dqK+sRB0yk_i(1{tlimB|Yb*S~ zgiy%^hSK|5PdLf6-!KvcA@;Ip(IM7nX(5~_<@(yVeGJ$n*3%{*6HpbeXW)}5_)%&VLzFW7e z)WEinaWg!dGYl7o&td8Gu>8YJg0&^VybiEJ1|->0x*L-G!^wM7{xEl%c0o%Y1YweG zW%6p~sze70VCk%Wg#_fQp+=+z&}j|L9|#5*_ypgKNDQD;8k(t6x)?Z)U0jS|rR1S< zn48}<5N39z^LcaVjI!*45ZMe7wTr@(wEZKq`hpK~)9H`K#IeztW;YBZ@+Z-*kQzNf zy5GX%l=k#ldUy-Bybe~DhkIe!h6I@t?K}jN&=3IbV&a4WzG7v8Feyb4@6C(^MGozP zc@y&cM<4lW(Mw?2rl7}0A~l4&_=@+sl7OC((T2#dV~*5N?qz*HXpfBramjoN`LSKT zbG6&BlBoIWNFy1RDfe|31}5xajJ69(om+QR<-FTe%AU}*F3TxCs{@!Z6%Kh!W1zp*7L<>}Q9o-A zcZYu1DrS@xHVed*b^WhHt$KL0hCPT6NjLavF=>}(Sxu|OpwIj>0+Ym%bK1$5xEL{i zCd&|CS4Nc+?LCt~E0K+?o(hV@hHPEIlW*tF>d9EM%$W20rRp4X($eK&n4bP$8Q4{< z{!XUYZ4IyVJ=yS-2VL8c%rU=5h305#mr!CW*l* zN>mtq?Vz0@$Gg#%A)L0s+P<~=wJr$WAdY=0+)z$w8@M`Rkw1FvyCU=5eh|sxr)PCI zOkOG2pgH0JrBq#MfB$zR-NYG!lan#Ny3)vok-`-q1MXs=9wE^kw0p!x!rdEr*{yJ z%HP*V{j+OkFBuSKV?&Lk9xA&_EW@iSBiDwdf8PWR&iEJ`f|&z%=RA)V)2q?UHjV$z zEabg$A=ma^FzbCF&#{Z!s?S(?-8OYf5rWCOK<3J6Wf-SuVCZ}zt9V?)f~c9vXPR?5 zgCSpYN^Sub^MrlA}!3C`+$U(W>8oOZwLg#BB6I5xx;^8P986fCg@E4M2C~r_yuH* zfbq<_iny(6z(^h4@RjL~f`2J4eFB;Prbt0Fa-9QoU)slErY^q#5{lG zT;tTvX%nd`?US1%0?busBQo9l^qnDTVPI%9as4E(AP?1%O#6<9ptGw5WaH<+(tn{P zIU@2Dk>gi=SyG6K4=L3)9|?tyRK7k!Qo}&hs4B*0Z@13Pz4U=YI5rvV|1s5$YykUH zE=YD~&QD-m8!G<<)51Ays$dGo-2f_HWm_R!Tr&r>Yz;qatOQHh=Q2(anrB zZX$YKWN8BJqahH+B>DK{SQeIb_ZFJ+es|_^g6L1L1iDm?`Of1Rf z^2qp05g;*)lUyy}kSevDO~e>XxPijlk(uq~S+27N%f2rClJ%8q&g>=ze#;Rcw@`5C z)|BS}OSCm?dAW^B)py+?!FQgo&4ss_BYi!*D`IH~^TmbcMXmSNe@{%4o|$E4KGT zKA-P54h!PL#u2oh@$4VEGR2Xo=5zBOw^VOH-6mcjXuThJ{em2PajK;$R54?3o*mFT= zqU5=Vu5O#$-#;E7jT?t=s-M*urAqI8Io#Oh;-@qw1Q88tQFD!pLbXJT z1{Y9m*4b~2YNYT(h7C}muNO_fqy+Gubo6wu$8-NsOsZg6;9zEZ0Y4YJG zH@4+Q6l7ue& zy7XS{zzwCrzl)p&_f((rUvXhmyA^*Ox1w?7~HEOH%HBFFg=M9%M#y+>#K{O^zZwcygr3tP_ z>FFy;s=*t3mA@2jg{066DQh2EuP^Yzuh z%?!;a(s4hG_pPn|%>o$MMAaJ1^2tPGKzBo)#vY>$*$=YIW)Qa&~;#AYfrN(pD(Buzy z8juEpAqQzU!;{#yAAW}vd<2y5C9sEkE*)}485syZ;?ff|j55+!laqYo`KYS^-9tAM zwrJAh-2H`e)lA1g=QrIGbvr;o5eD3})aNoX;EUqW($5en>7zZcjPn9-yf;(?y}V!>Q#MzDRdKy81HyU!ILgo z+SF?@K`w9nML{+@5&84ih%n>i59~+FM)A?YOYY?sr)8_ldaELMqZg#X+`ymcDS$jt zOEcK;A_H&1jsWFFL&{FYA1q)v_svoRVHwDaHoq_H7?;@%aIc;SHX z6X9u*+lOZK>g#!n{!A_pD8r)?PPbsST)hc|`hyH;WR8PI1YM{u6E6?JHH2I@dnU-+Z94EUV0+!CDwdGS*u#N4aiFd%IG-u&dZ%)w{QD;zOUXu5; zML0oskDuF+qK(&qfFE=7t!KYX8JPf5v9Lequ1Wl*ofzGFJZ8IE}=2T z<~{(bkV6yqa2tH>j*DG4i;P44dNJ4tZ6?*+ioB;I%7p; zp=~jIL#V?wCl5UPM&;ha-<)Y}^D&{b>Z1mou@qq=kRB9>p-Q;B*)nUzPVkrck$a_v z5gdTD&@ef8$=|(BE|5Z5eP3NgAms`6VLZdn#;r5cW%YZtKCkzVGoNMmo+;eTdT*eg zHBQKeRal?IJ>4X;>FTZ5b@Fn{=Mx0C*bBXE0YIj1oNS>>sLHBJm+L_ZO zA-<^b;q-T*8LPk+ud86NA7KW#n%(0ZS3))asrVCZX>1w|#fjmjic!B~V?jO0gO-vX zVZgIcBh){%%#o=Uz=3BY&sk-~V266D#X#K7Fdr^~#K7tn_jJ!J#xkenY}vm5?T@uX zYH&8LYx>T!FsdN-u0WGwg8jS?x=Ar|Sl-|;X_gax|5|K^s0dXd(gHiDwd&LqAzg>7 zA7!3*<4JPq)`iQy$7ST+ck5;Khuf7ZKMzK1!P=4A?zq$xK%O5~v@E-XR?w3UKQTTJ zDGK-0%=8?KQEZdmwAPS(>`u+-FL^=G3ue?D4YLkq3>mqmn*g+@s9ZGp3Hr=?u4xSk%;?EIm?Mv_-)VQCA2!U`a9QH#~GB6lr=_gICXe ztY(fH+t)KH{vD6CT_+*W%MTdB!L=hsJV0j56i{F^hjCO$&60rC(QM`j%8X}T)wb%b z1uDw05b^`Du=i}qg6NoWw;AddupAS>{N688TSGpB%LW{0oNQ07uz%V2nSZF6YJ87+ zdNjd5dy=I|W027HT)`FfODauL8)f|ZUL_m6xFco*arp^XvrewW_Xpi-{plan`Ybhp zZCP*_UfdX@P?4BZ=1x(+a+r1Q8D?^BAAP5jE4xj!+-WbMOUy~A3=RXaV0LNj@rlJ% z^`(E@lvGZ&Fz?$X6ww@IaU)9}nBUHjv-&5gno8E3roJj`Rvh`zW4MDB?XRnTyPEJo zS{y|>RwTUNabYFJpRg(?AY@g^=^{3&G@=Czc0!}a-xn#D-v zx+Fkt+=@-L{J#h?sx%1gV(Zr#ou=y<3)EI+6;o!d8i}px@OI~}Cd;Cc4OUO#O$G&# z{oo3uPc`Fxy6~J9FNSI>=Qlr$WYdr9DSKD1Nt&vyLkwW)HPLtWN}FhWxQQ#STu!PTinRDEiqFE5Ui?Ag2`pyf0@)!V^B;*+apsjZ+wv2dTV9 zxf?YVy#>mGe7$Td66*0TQgh`Otx7@Ht?y87W)-iXKW1$O0j9+Ta*E^BHq2Y3XrkM< zEQmlSTzY9p-A4Yuq#ZBYf-G&W`OOR1r&<4zls^AAy7~Od!hu_65&0a~{7TBMS7*yO z`FBb}dSXc)*Y+h2^%#1+MlKEm0Qd=&HSP49E{pu6Hg1m*eNFbPq4as>*+t1uWd@hA zuL=7m)I9Znu|74Ih}ovM8f01!p{opIZs+gtz!1!9o5hl_APuLGFd);6nTZrFh5S$Vz? zJw;d1Wy5R0!0MWH^node!}R}0ogKwo*es8fqL`aVf5w_GsSNWL*7gHDq!$W{EY*M( z9uyP4DP8HWqWn9$IcTCg6;g{3zh;fH*v&Vd`}B1yCMGiTOBC%FezU4qpOa>f{FL z3Bvia{zj3#Xv#r1t2IQENmql-jgq?|F}G5?mL;!Jw^ttymG68n9D0*0i*eX{rQQ2V z8{U-c0ct9B-?^6=YRrzQ6D88dv;daW%rOHiD?!Yp+&;!mr^Z%?^l>fa)XZ^%Fe@Fn zPzw&@07}TMoLqooPwzfpYll+xPy{fu4_RC*(sNq)=rU}#KhxCV|Ej@S?U@#3xO3t1 zbbjY9Nft&}A)lSU)+*PIeP}O|FPLX7QV!3A%`_9f@NwV<3MPQQgkMC?_L%xu5-U8G zH40Jl3bbKDyRk_D>!CwoJI|ECBX?YyF;>U)QTUtaj>~{<=15_~gC7$K1ry|4xROhb zoF@6!Oy)gffmokDm9B{?XJsAs6+9Ku3nWaQ)RaS?q>t0A0 z6Z;_`8qhX~<1B~gMO#O>Y-8I~5w1IZuRHvptI7oj;JgR;U&0urvW@oxQ}S7Lf}(I! zrw^vGwDv^iovSn<*6PCq5c^Lj_fYpc~+p*Rq!JUDB49_r|MI*76Px~irTRn#k7JSSz(%#sk5%sCPjX)>a0drAg+M6 zlB?m@itZ4U<}|I<&PFGRRF<+0DW=Y&0UdG^b8hChNrEfm)vYTMx39BCL%bJ4YO$Av zBI2JnSGjqQJrQ-VDGEwmHfZq9bB2Eku`dcpr2+OuvbH_lmZuGHB`2JQP3EVZ>{~s0 zFu;dCj1^Vc zAt$)MNfJcmOcXtNtFhXt%{#qErx-33Jjc*rV;3hqr>_X#K+&wO=1TP6mdz-xv1?|# zh1_dWrr2IhdHy0`6wt5gV|F8SkofvE&rTwdwbad5AD&a4n#gYZ^&+e2=y$(YhshMG zpYRmG^JX}>oj=VFBQUQOQ{Mx4CS8_T)gP%de?Yq|Q3|p1$nRHT!tslE7MyG>?@v59 z$*ck^Wdmu~@+v~FPk)wY$R^eNYFM+H_TJ(iigQ$%N;pJ?mRx@xiF8|q&xla_{ft;2 zl)j+s5kF#P=Ty#tOSzgX@5iY>Yu3qos3t(kM%XJt>5VXu^oq?jojDG#=UAvQL}_6B zH+-;_OCAuMF`Ot(PVLgi%UwOcDeaEi+>bkZjCs$o;L864dq1TQs^c3end9>e_oEx% zos~cR9ENXxag|)n0;wz-{UrduSnPk{xsQkw2M?mEG9-pkent8KB}Ll{BG|Gs~@)m! z?DK-`_I5i9J73Il@M9dG(CuIr^jg_#S$`dIBaW|i3(Z8sO^dk50c*e#zS$oxS0vvB z`_j)1T1E9Mjg)&W;J20(y;#O_bbjw!0L8+}V(g^4)SDPZ4a$Bzj@7TF?;rpC?sIv? znf@|y>t>vNF8>Y=?%TlK0V}4S!{+pT zq*<~xgX5?tlkw0i=2mq-!|wud=M^9nwWkLmGTz+|Oj5|~#`zk_d*>1Q9A0_m0BB%D z6V?~XSymQ(BrRv_b{P-~U+}vq`geYP30sbI_Uk0<27_a}p0}bggViaiI&6;VzsRtI zH?G2wRkaP~|3zyXaMQfI@2xpPe~}22n)fh*8rtts6@d#VV9CWmH5GUJEN=Zya7P1< zc_JEe`4^J?x&M2o11y4aKGmho+1q0tzA6PY>4s1xi#>pix4?q2fSx!Y9TW$UDE%>BnH%eV!1xlA04mZ@H*oy+#dDdIGj*t>aCe zl+Nd86n0MHTu^{3Fu@gwpcZ|?3fj&`PU3w_9jA48(y6qf7VX2V;f$B9-@b9L{Ky|k z-=t<_7QL;7ZT7oTQ~Nom{vn{cz{zxl$eHA*;X z`R+C&WS&A-YyX<#RjRSJ7gFaWYO0X-n{744zAiHBh8aZ2gu(&Nv!ct}(duY|X7 z$L7$W4!S+5#wR+sP2_64?3b{aZ1S|M3t~FE{D)vZOHNaXOi3;;c3-Snv2#N>@$jI}`OY`zb^YQZvypWTYe*va_{{K}m!sJ%5 zu(xu3Ps_{0Lwo=G5c9XDrdK1Kt^KH-ds2glo!HOctgmYg;4BUS|NVC z3ItwBJSYh+jNba2?sywUjq?HZ+^lkLsdoRJLqxTxoI~jdO5M8uHi}q^Ki7p{}FGDb*w*(0xIza@{JJDO* z5x@Vv_qkv0H}Bc!?6c3>Yp=aMBrKuEEukiIpa`cBg>xq95~KDoBw4WnibI1R2gXRw zrnW39vlPT1CEo0wz&is^Cj5cF7j{9{TVgji<@;qu*Qb>?<()IP&E&8JP48!^Zecl}bdyF%-w&7b}_`lNpS$!;`v^@HW>K!PH`Le6zSA@4?8s z-Z8F-V;$wt>!8joAWks-s4jt+C3^iPs0qYim}&6FdF2D1L8QZbU<~aVzO)QujM_d0b|2rW%P{dWl{3mShU!(5?V; zc*>VFKdnNd1FUnTBMYYMRoH}>`UPu3OvV#fN5f8pG=y6|1)Xgx`S1Z2iwa=p=Nox_$+ z*W!=!$vla9CH(v@ct^3{sXy?3nF-n1Tf$%QzZq-`cJeC@swf5B|iI1v`7cdc8tAM2V89A1+@# zb!P(ZYzHxA#G^ZZaB+x-DA4Y0s}!WnG1H3M`d>kx7^k;bGg+9v8GO@mC}|UZE{~71 zw1Z5R*Wz8W98;a3!;Sf6n?!v6-g(fu;gi}tR+hT`@Rh&wqP3sFYQ>I$mY)T*w;{UA z568C@8Zc+p21wO-SW&?#Dxc zOZ2)JhhQFW7Sr&_w|oZ7rBSF&7E}fVlJSS!F7o(lOSpMXFh~Jw0KT?VS%TUpStexC z^}=PVCkr(Kk+hBlS#oW7miN5(vZnp)=e_cG_a=^BbAVmWGsaoU7Z81RN2YZ|dKh&o zT%0pILhxw%Azdl+-1ByH2W6!$cK;5cChVHpB1_bN)Phk%3uok$sKQA_Zv*Ia zkJnpW^ZfH9pk-{8mWvq~vY`?x^n)|5!yQl4JertfknaE&V&6uYy+OT1`P+z5jnNP< zx$SSOO3U(E#pe72p$!@xr@|kElxd*s13cw`kt&ZdC`#;8vF=gNQ3n{`6cc>f1 z^0IrQiHc$*z5i;!LI`OJcK(=vhHxj)YX`5!e4y2Il2qU+K&duiZwUZzaM2aDZ!tUY zCrmU4yAeKghm7wUmRTt+cCgW}W5&5p$PM}*|9`W6zSyJC1!4fYDPlh-k-xC z$EWDbTh4<5kHT)UX|Q(whD!G{h`U*oCP9V2Ky4UDvq^n>I0RQ}IC<2q%B_=^_O z#27Uo7|)x1I&s3pz!24_3B3%Oreo>?K|uXw=V5F#X_so9GpJ*!tjz;{zW$d@Zja*j93A6|_4NiF@ptqa=+L?u zYpSt-9Ehym0Hv2GX5|v`H_$K=il7F&RR6%ZPpzvU`7=>U^0vf(Jm;ZG60msIwzEL^ z`2I#Ge`1x>Nud2*3&lf=-bSW~`=`4MKjo32deM^31N1`1xg?KObG&OoUrhA;iN*$3 zPrY@1WGt$}qRfPubNldmG3AC&5jKxmJ~{E0wW07qQK2>KcxbVSw0HxqUAV>%GAa!$ z``cb7zbGheoiCOeOH`Sj%ODL=vrs{$W+QKWBSoeb6l}dAquF2z@Ple2hPo;$vtf*_V^;^| z*sT}glO}qOtq6A2OD>>3gFci z@(iOsUL5^NBpvSlhoqRXeG1fu1`D{kJ4 zK-yLSRy~u+gyePb)`|M_8w|)x_Reoy1rNZ}X;%M)R{p;K8dS4X3YwpwX#gZBdJSM( zT6bDJr=Ttzst4m0r24`?w9&C-$taVVOp`p`+2I9saj`zAm`Zze=i;P8lbaQ#+87RF zN-cAo#-e(1rCOe-D#eoFT>TTPh?O+YZ?a`c=g_e<-SM>KMC@q)&ChojO=}f_3dnO6 z#>MQ)Pja-T!6LTSK?ZcdL)A;>Nav3$_a_ZoJRcn&Ut8wyycK~7gLc$}S6=jH<=mA0 zyK`EZ@9EbsbvBPdQC~&CgnVT;>+tOH)vV@ zTHE_akTPK_bDGM#{ONJdLbj~j#rgV&(hkh?&u>wXN)6mqkU$eQytW7f1xe|}WEc$; zSwUm3o9^4MKod36M)serpE6%`EsNytC14Z2YT4{+#=}=zMb}^bC@eEwR330aQ6O*) zEsWA}+0cL>xtbEhinlS6F=O!$%JK&!thTxy~W*?(sudR8g)Sqe;x zE7SPAaH-acxnVa)+Qn0VT5Sq1 zB{65%ox~J^1&mZptI~>PxO52K$7@JiejLyTraIL=(<3%V_N}qJru)7nq9-T`H!lkU zf-G9biWXhLansapBS$v9@b5&N z(_i*{e%erL&K3`KH#RLCQXY-_wo(;k?PlEfm|k%*-t=aXedWK!koA z7u*;>6kM%~*i(Seq_-5a)Kc-tA^C*L5NAbTaE{pD~j~XG`bp!MF7V;Hp8;`modQveb>t z0(hwjWd1Et;UpIxFCcC+cd0Q4?=lmfiPtQ&-yUo&56fSl zbJLP71QI8AMbeV6$cmrP6b_+U>)844m(nCbCWEz_&KRiiqMYe4S3XxV-Tqlx&bqyL zUp8zpe|x^R%)kE>IJb(!>MKM+TfQ=27YNS+6kmWa7?KO(?j)xCfLZ(WA#OrT#WU*JBvt>#TNhAnZNzAHAaY|Z4wp2Xw zAfD|s6kZD?1w4ILcR9AAm)U+o|95$Pcz?~)_jalCnH6@R_vc{hYEsO6X-PG%ObkWu z0;cD#le^|dcky7Ln&hG$Uio;NT&_;eHM%9+D{n~Rt6FwwNIdrxb(>N)0Bi?{pLArs zoCR+i;eSC5SV&58SJ-|j@%I2s8`5P;95P}ZkNv@_1v1yz(x+U!m&)*5yO<>+lf)!= zUs{M1#UU_3p+guy8#4);&o~;LL8{MxW(#WB-Yx`kt=Lx@+I!a9?$%{RpSR0}|Mc%M zh%DrldrU8j`wYQjhei!@31HK&z)X}nj z6`DO-?ksu0?su4o8>PFUo2L0^4wsY;(?8aKIQ0B^Z7m=RP&2vY_EZc~=V{kS*-m~~ zoV}gTJz_Eaut#V@O*(9O7^=2WRw-xQQhf;_8}~X3D68n;>ZHiU6Z!rI4^hu5Y6 zbIk&QN$QKgw$l|k@F=m04t?Knk{Q2Fc%4U7v@vnrTHxWl59bPMzVpt{g2;8TCV>rU z14%-=xI!&$VBNG=0zVs`SYA%xS)+?AyB2B7AGqWKzTWu{-I=NtF$fJ4a2mv=lLyAp zma-9Nyn0VOM^fy+gnIdOC01&WEJjbpk9fJGaC?@#kQtQZ#A4yrrEVLaV4LZZX4UO` z){XS{H5G**$6^EcXwi zJN!$d_qA7pe`KLhz-7|ZoX+rm?Z}RPGkl+cWpn4zN&%k(y9YaG=)mhy8!7Cc%E|ynB1dL`$*x4BU zOqn(GAvs=7dTp*VQd;6ldSP;&&n0L=DR%bqti-h+r8IkC_bB_?LmUv*f5PgV0n859 zy_Z*+9B8frJ^h-rcvJHzk6$n$LjwYku{koCRr7WvX5%QV3U+2>e-Jmqu@hI#9=yar z`eQNOf5&U#sStp%`NpJ%9;HNzd!1)fw8o0qe>?wCV>Z65Kgl!9R%wSHhWHM3zU?T7 z6c)AEaAQK0QHJ%@X}A=-AVE9Kfx_E4AvC?L7=RSM3ZEf^C4eUoEAUvCdIv( z==kiOM~I&@()WvvOT8Z7Y*CnIMN&WYQU0>~8#RaX9tkBa+wba?`DDjb(lOBCyN9*>>wP4|pjO^x5@nf+#vxV+%JH=Oo%`Vg~|p84&qHpH2NQ?gosQb zPPhqNKtfz2&jq2yk+`n3bWX3%+_Qoch+cp7Aak?6%l`QA{nrh$7W_u~NRHuQ%TsS& zGjGkISUUkMdATt7)68R*W}3keC3}JMi+-BHP<53oZ7af{07COl$V5+MLSa4i_4SI# z6eke-QIh@Lf2mU`t>rdF5MIRBIb`W4o32RfCo4xSZ$OMdvFS;jhLmtJO{rKJkWjDQ zhLBXoWPgF}id*rpRBh48eKc|3ZM}~5+k|h$$L&LgHPlI zKqfQsR04WOBcY5}I)fKvfSd8-+-{MGA5{V~bOPG5aC)ip=>DLKvHboZtUi$c!9^^{ z|EdWx!yS*z2knK9%^3C}&G*y%A>8`FED>bxAjn1f%-utgPx!g-cGahehExhEk!#2^!!LU zD|l#z9T4=9^7m;_Qa+3iu?%v`U)6l6xiDH_=781b%yMusV^*e3yX&RS9UlM^atuF@ zn^qJZbKv0uW{XBGl8eT^`V_Fm6Ms20E7PEbdnp%+%x)#y&>|snEUIhJLz=SIo%2;L ztBTbP7&jDkvb(GhlobU-X2v3<_LZ8+TfRCgNP6@+=hLE&=IH3sJF|`8=2Cw3u_jfE z^%W#P$B)e)S;Gm5+Mss+9~8>T(SQ&@EWcel^F|bOr2EKFP3p=I`l)2yoRYJ)yXvc} ztXSAQgGd!-I0tBr)pRjj=aZ0ti1{D@&#pLF;D)mS!z+WGA9`XrgQ>wr3UfE_8put$ zgm8U1@PwE>$AG9-w~wi}MyC^tomA>ve>?h<@fCjdRMt~*S}rg@;>HnpW_u1i4!byr zWJKM|AF|$hp9Qe;cs%VAT9Hk`*m(?EIdN{@D%TtEow>8pJuBLhp6Z=8$oc>4k5vI%=c#J6usLhZ|i38;7` zDk#G?NvQc*AN24EGN@vTmSg_+b^~TlvhR(Ly&;Jc~E3u_5>?pio8n989D=!^)8Y<77=ar)1K~CZpoP`83S~-0#JYdE{ zcHNx6!cEj<30ai|$?HlbCWNpE-KRv_IY2>ZdxIJF>`pW;VNgL4QpI^O($glS1uP80 zhKH+L#SI)QgHn)+i*$hm1`Gv1cQ|4o>`(RC5w?oX(#3`m%s61z7~BoiQ5DeDi9>a7x_@ zr1}>jo7gXOh`uAdk**vuxvici1B!v*GJK(X&CShc`|4rRRGnNoiKkUkS=qZNPI5C@ zeYI*Yf4bMFE%NM1`#l9oU?&OpB!SP7bP3klF|-Lqs5$+~Uh2q<0873hs8Fx4A4 zx*O^{0x)BTqOp(9lOX**1!XNb464(bTV)6Y2OMH1or}=OA!Bb2mq_>s^@5n0r5JI; zvvtkbhof236u*q7S0-p^I*(}-Hyo)~{s+_Si%ES)S6#DcgowOjd>)=MDTc)}J}M5q zrAzH*M)qxS^~;X_*PYysrL3ry5pO;MPrS%YS~C$yK#H@u%{rsGkhSbqYEmi!FX}=~ z*Y6T;=Ik0LFkIw#UZ(gNM9bYT%@Jv|+=H8|-~ZBjrYYxp%7{lEsrC6Pw>JNW^?E^- zN;gMyB$a~7l99r>s|3Y#qgB<)Sum4scd&P8Y?$hP;|7OyLYk02DK$<3pN5CM--r6h zy4;y`J>P%JAoO}KE%3`DbXeCF?vko9CpK+^lz4Jiczh9wUAzByuhn*-Fk2Ucu^jQqcG& z!u2=YJ}t#&cX1Y<%^&M61PL3L9YlYdMjuBI`W^t;QE$DgNCn;3{itolh<4rs>vN?e z?c-zSL6xvg++0SjK#U9 zj(d_dE*V11GIWq7#@EhqSHAu1Jstr=jWHVAV~$9-#nVMdJ}Ps+PC(xE|7EeW5^W`Yyu{=D}g*h6G@@6$4Q8+ZeY>-PM%#54NvIoQCDL$VB^bbf|c_R(l@PX`|4<_0`6 zE##g3MVUUxx)AM2$pS9q=d4Uto@)peGetbrRI^1YQj&4HQXP`He*p|zc%4I_xyjvN z#gS&RhhbaGtEiO&JTm18oN9bs{6C{rM_yHe+_&vEv(5SrK3@2n^`4(jD;9c`<5+^P z{yv(IKb~RC%%1q-W6k*5Wbe^DNr*reg)6%Q+sMbNT=K6kSzqeX{}vA7L1EQ9HF&+F zR6{su)~`t+44C*O{L!X-9!-!PPQ|TQAIT4aEOo;8)&87mrOQO(d60GL=|4;OHMKkk z5xVjVx}#9Cy#RB$(Y=OzC-KlgP2-}0c(^da5yPd*U0R*k9@%gd)wzS|v zGexHj$tC{27`96e@mG9{qEh&n!)x8rqE-h7X6xKp3O4eO?@e4; zZ;L)r=0pfAJ2lZbp65yFpnD{AcqIr4z5U?9UQ$S>v?9=Tjy&-y*ULWhv{DHNC@!fX z75iY7r8<6ib@T+J?ne3*b*A)iPCi}*2x1kMpqud9iCuW}d6#KHKJXbZFGGXHvs^XH zTNo-NmE4>VDKwM-cTEtVJ?sFzxSX4tb8{Q{gWGBDJ&Gf~(b#QqovQ3c3Dq}Rlue?n zYDE((-pg}q89$w^P=^g$O1*px?Emah-kGF$PuGYAHpT014y+l{Q$Jwf1)u-PUTw%V z?e|fGyg2Ys?r+!&|E>5j5gP0GvFhOkA!SCu#doN{8v6o^et-9u6ShX8Vf*(lCly{O zHow#7R^JO&W`Ei#Y>f24pr-ZW9O2ZTrQmc5wxW z>)E)U)03mHsn8Tmr*W&x!kAfUBgpP5&&%8#Lw~HE3Cvt0NLHl|ZnrO9!|rx)YBk## zA?39H#rFU!PX2SkXl_EeYR+acdA&#Gaf^_nYN|Byg%7_&ho8PXn)eysuUu_rL=nyob5v@Uy6g{ z7L*he7ZMc`NLei#|KA_=UF8E92EvaXKavm=R1y%E5K$5o7LimIcqAz-j{H_u7LgQ{ zkYkql|89Zd@@v_;+Iu=MOG+{`-~D@t6-B=!Nw_6(_^9jRy4l|22RPxJCK%M+4{(Ve zQ}nOBHQ|v6&RLukhoLPVE-FT|Q650^l0Ung^pF(Kcc2?+@TG~+cb;mpr4g0>^zQSj lU;BAGrD(QUwC)koNyASjiBptf_kkH(9G9J4Syu)3e*yZMvhx4{ diff --git a/results/greatest_hits/plots/all/heatmap.pgf b/results/greatest_hits/plots/all/heatmap.pgf index 200bc71b4d..7e188aec6d 100644 --- a/results/greatest_hits/plots/all/heatmap.pgf +++ b/results/greatest_hits/plots/all/heatmap.pgf @@ -4755,7 +4755,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=5.706497in,y=1.571445in,right,top,rotate=45.000000]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{Ignorespace}}}% +\pgftext[x=5.706497in,y=1.571445in,right,top,rotate=45.000000]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{IVn-ignorespace}}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetbuttcap% @@ -5155,7 +5155,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=2.036770in,y=2.583333in,right,]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{Ignorespace}}}% +\pgftext[x=2.036770in,y=2.583333in,right,]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{IVn-ignorespace}}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetbuttcap% diff --git a/results/greatest_hits/plots/git/cost_with_manual.pdf b/results/greatest_hits/plots/git/cost_with_manual.pdf index 83d6c58a02ba54087adc132dfc1cb2af941dee85..020ebef4e811c70d416dea92fed1470a69e8e342 100644 GIT binary patch delta 108 zcmZqbWoqhW+Hk3k!^ptE)X31-V)CuJ%W%%-t@YPgoy{!`P0fu=%p6TD+>Bie%^Y1# bT`WyaoE@EvjGfI)jqMa{2q~F-zI8JI**PAg delta 108 zcmZqbWoqhW+Hk3k!_d;u+{o0(aPqCX%W%%-t@YPgoh=M4jGWA!oJ?Jeoh%(4EzAr| b3|$OeTwTme&5bOa4eS(b2q~F-zI8JI=hzrb0bqD!^teom*Jev_nTL;I$Ic87&)0cIhnc`J6Sq9T9_G_ b7`hm`xVo5`nj2X-8`vq>5K=PvbmvY0x#%8L diff --git a/results/greatest_hits/plots/tools/cost_with_manual.pdf b/results/greatest_hits/plots/tools/cost_with_manual.pdf index 13f844d6a51a315baa4f40dc7b669de3967613f1..305758f95790f8cf106002add90ae8bbfe537392 100644 GIT binary patch delta 2074 zcmV+#2<7+Qm;&6G0+1z>acC)#P9J~jm^9!d;Dq7t_egt@w5#2Xi42q2J}aNwr`uU= z7`Y;hyk4=v>ozVW|4 zlNAvEe}C0{_eUpqi@HCMk3rdG)O$l#y=wn?mwb+@0X>Cf|2Xs zU2i;XT(`OFiJRYiYcB^f*1fs$4Pu)8@3o+cF>cWC3vw3Bc9uK!(Q>MtQD-#anu0Q@ zc?GRn|C7FNj7BA$-d@wXRkbjVx?Y^Gp1lG`9Cey&a{g&x?);K`IANzB&)@WY_2v1r zYiDH6*ja^KJ4Tf<%p50^n*ksJBa^%VA_1h6-vJ^bPR2QRxCTL$jCZ@0wDpUlSKj|0i=^?0wMuOlZyfxfB5*_0${P-f50IzQs`j((lp5RP@_%PV0sZ92A3_OBX_IPa=4gEa|~9F}ow$fbW1wew3jFxX|cIxT3B}Ty2v|xcCCD=uin)cC{idhikZI z@+h>drrt&!Tv6FHueMDkU}6babg4)zyIc<$7lv{$fBGoQxDeFHN<%DBHp#4OQ;C^e zV3xR4VwPX7$jnO0jYJd2U}n8Lb%=GUrg?=Hm1wCYTAe#ZR>{SRX9@l3#SuseZm3nN z4y#1jB(1JZC0=@gSK?BMSbq6&#gJ>JTEAgue)O!mgss!8J+d5f?aUmt73!hfVu<_Y zKMcg(4Zf{>-fl0yZyv7iZYPs31W*F~Y?FZmm4A6e2klMm>#v^t^YMkPdfW}!z;ur{9 zGvVFhQ5be+5?#c;&`JHBXsLq#f&lhuoXBzPbTU+FaI{EJSjzjacVfZ4BELD_MKMmy zTv4r+z&fzEF0~@=bw=-dDXQeoVXiq(zRjKW4NYRC6Y<2KjsJ2dj(^_o zqBx1OHxtuQ$mXV) zg%1zY2#R8H`NU({R@pkyRyda(m<;vd>+6SbNVfJh;?xoC*w^fgwqU(*W20_$l)z$= zTD%4WSiLxhm5L9B#c;l{vKFkUZGQ$<+h_!9eSLL%x8L4>z1VCQ!9`1DaM|@4a20F7 z2#`Ch9we4MIlw5+0A}Jt0b(Db{>iO6026J~0J}y3;P2N+Z2hNaxWp_`USyVEpJjHu z;x>VZg_3hdngPUKoI^~-2SYTtD{!h7#HeisV%sP{eE0Pfvww28|FXz1>VGaX%&yNe ztX8xq$TV&al#qi}E{bzxsrX=ISZk_k#Cl~jz?wGgGa;vl>tVawT|aK*_4>=u(#!MA zs@;!Bph>LSnH2+Oois<5NDn3!{&qvxLKd~nFl!qHXwNS{zW~AM8Q{%(^BDAQz3@y7p3+-q( zkP?U-D2ML;M1|ac7N|riNc}LU*B*1F#I>5 z#S4pMqscPa?D}ji_tSUG5^^jY2eo%_Be`CjlS{=1lVgG!tbr?$i+|c?$hD1{;rIS_ zkxf)uW|Li?9d)(t0Y+5d1g@1ir&g9hin2oqfpyeYtF{wu(}cQ49ic<&w!}b@R(^dr zl9ujkCW$u=>p$fNoA)Tr)1QhDCSVlS-=Y?QsBMNo+b9tD^CIjizF+K`$<6NwuWzpw zNkl_s64~{$aEJMf^dB07bGW7h4g#fk^Jh0$zZw7M8_3YwiRU8!2aQ?BX0t8{fqMut zFfcVTF*7-nw}jIOGB7YTGBGnbvyz3_1yV9GFhoQ!Ff%eZF*ijvH$gK&H!(CeF-1W( zG&VOuMMFLyJTfsbL_{z!Gcq_aH$^r#K{G)&F*G(YML{++Ha9^)Q5DKd4nRN@MA3R^v|sy84Q;>%Y{xz%5@FBW9-Q17l%y|_bI4IZb}gcY z%oO5IkRqT%j{zk-D)W2%)wbTTjU8KTixCrMJ73uo^aD6T23M0dj2;R#IXMa?B}Gq0 E3V=QH9{>OV delta 2103 zcmV-72*~%`m;&CI0+1yEG?Q^?D3MMde`-t`a1wCB@b`P9y-3>C?%E*3B(~4W=l1D# zRvSjH2_r98Z1DP(;MsBf z@xOQE$(QSozy9_V<>4Q>e#o4Yf}#}-pfFq7N%{96FI52nlfxJ6o=kG6H^?mjE z<+N)TWX{+{gm! zr!qeFF3otsUX_d+OC87)lOqBl0iu&d0wMvTlV}1W0YsCF0vdmK_-+BP;L`*+H9x&s zXjH9xU8TK3YAyu*$KB?Bzu#^i&(}hTv)k?ddi&tt%d^e>Lo5AwwRybX`|Lbj>8C3is|mw+1$< z)=^hs4b05NigAB{Lt>=R!T6NtQ^OQOVnW% zbxpErn^a;23#_6;C05zhdaMB70h9bBLkn=B(UovTU6Z)lCY5mU1zgdg60YoOMO+To zaLwdNXjx6YjXJoZvT0szn@YgM60qn}kyv)Q9x^TrCzg&@-m6RKaCQiZ3dUxs&>r_qi3N0$pQcJWtcZ#f%ixtlj`qPUOkP_Tb zt5h9UiLyyrU7Je0^a8KMr4q6H@?pi0Yo=PiVP}5yth$7))2tm>4!L$_j@kOXo$+j6EQ> z?zJ?nI0_h9Gf%QG1|ScjEUg_{H&5oT)1fKsYX+0h<7@lnOsKeCDF#;MOG0-iZ8sr& zQ+aKFGi|?Y1{_W@!uOh^);6svv&h5uMkoD&vNL&aEJ|x5V{LE5b%6O-ivj7MTH_23 zU*jMU68J&jm-E@8EUmx@{N@-Zj_=)0XRz1qo$UL@kM$znKk78MvoAl)RD43|Sk0p+ zqHd?2h^pdq=>e=CR@{5H>~ranvd}FzS6R1zgwUgTJHL|d=Ya8u-H;lmxFn!)){!^{ z!q!Z9w|EqWotZ=zu`hH|e;E5)_v5{_CAsaIeU3j(1Uv z6Ejy-YbCG_>@E2tT%Q)~hn-8Uhsn-;z6ucE`D?9 zsjTqfVH!bEEG~cYShiKRPP7%yWd|lhefaX`F&vVueT_JEL_791JEJXFFWlIuTOB2^ zn4}i3!2nh-&S9nEqhT?eZ>+2ZD{7m6fz>t|!CK#3-`(%G4_~e}+eL8EQW;!!eFj{` z8ZZLn4yy-=Wls(;iZg(j_*j70hp2yYs}8_K+cdzgQ2_Y+4H8@b=@~9DOOzLx<=1DK zovye|AY!59oRMY#u@~nMQ}NLd4ekn@ss%A>n}OIi3J~9XImhgu-S0myGK{)^%M7#Y zvka>h?FllCn*$}}V3mvF99b$p8X4A_sv5Cg*$l9zP5Vs9IpTWU?shkajl5oe8CrUI zo>{f~5eYPjRXej{z^s$z$P($%#KPZh=vv64wi#w^qX6ychflb$HRKk7MeSu`+4cFU zves>ugqVNuTT4D%-gj_Tn63Dn1$_7;2zaMUZHlf!H<*5Z|6#akkw*_*0^AX!O^&TR#l{ z4QTPgBH3uNOg6hdTg(0M9kYZS3&%n29o$H+7w6u2Dni@R}`AUL=)Y zAC97>dzwkojl3j2v~SG#6n^Si;D zyX!>~(NLL0cKssUUA`b7y~f}iuIGRQKq=n*$qm+S#{cOCGPHK$naKYEL!ibCvn>gM zdk8T(F*hB_%~qMhf6}`91&u diff --git a/results/greatest_hits/plots/tools/cost_with_manual.pgf b/results/greatest_hits/plots/tools/cost_with_manual.pgf index 35df69df9a..32cc0314f9 100644 --- a/results/greatest_hits/plots/tools/cost_with_manual.pgf +++ b/results/greatest_hits/plots/tools/cost_with_manual.pgf @@ -896,7 +896,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=4.594326in,y=2.636497in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}Ignorespace}}% +\pgftext[x=4.594326in,y=2.636497in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}IVn-ignorespace}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetrectcap% diff --git a/results/greatest_hits/plots/tools/cost_without_manual.pdf b/results/greatest_hits/plots/tools/cost_without_manual.pdf index bdfcdc57b36751ec3859e7c296d5a43670ebd74b..6874985110416019146c11313d2fb2781edb5219 100644 GIT binary patch delta 2232 zcmaiwc|6mN1INXaqa;VjeMQ;G4oorSnk&g2C6%KolPouV%dy1Bk?kRch8#^8%N!Lm zavu?4&c|&exn}h1^?SX3&%eJv->=X6^ZDabN93*}a;Mk>G6>PfYaDSsE54?Sh}RJb zuLA2|mM}q#l7CXV8uNU~qDWb*V$MG1raYGq#H5eclW1DO_x1hpi##zRD>#8Ie-*VH z0K(poOPoMNlR~og#ScU^IA>I9#N6PHSu%O}TThXroMzqQ@9MVqek>!XsT!OMV-L3v zbod`BGA{rWk2jUiE!U8v_!9bd-AV*3Xov|B`xU}@jxnt08ibk`A@`3b*Rvxx7GK`? zNH;j}MA*h*+aJKDPllI~DWLFTlY6fO)&iBRlKCssg+92%eP_WxdH<-xQZ`029^ElK z5OL$9dBF$k_5zRvdYp0PA>+rYb@zvzs?ML3uL4ffX@Ol0I)Z}4k+iv_l|ft%XRRA; z4_lDa!9+NX<}Y_`&JBk2!+RPI(aSE_bh-mx7d+xSJjy;P>@AKidk>WjXH}H)7868k zGKx51X_^I-T$PqoKKIha*C+A2xPr)@h7PeC6+@?HzNLIH&VqZ7fus$nHZ2kE%Tij$ zfEIiy1K(2*h8cbsQl7~@#h0g9kxx`)Z}sc-{+pdO*EO=S+X*jvj!`XW z#{b-iV~mD+H?T57Y&Z9!-Bw_GlcFwL)HoK}jE| zOqZluET;FPJDZ1?pB7Wwx6uAVlUrs)TN&5d;xgxO%r%TA2bUz2w$msOENrgm7$x5? z({-XyoC0`~G&YLc-_?xarE;g6ER}j11+N5rElKchm&iPZk%l_7wz$qYB>i{6{KgTi zn$I^Z+NlHP-O@h0t_Q_r8cgYnTu#fQBR4&8Nh zhe!}TsK}qpeCx>iA5+~*o}&gBtue*jM?muB5s-d<|7}4I3y5oOHTfjTzV&;(hq=L; zp-* z`PfoZoPC^~Hx#9oqVL^EOm!+qQo$}L38zcfC*33Md)zyjZiIdXy^8yX{cnjL} z?d${eSnt@0>yE9pQlUKsLxr-OAm3$w)c8(hAiSwoGFCUzxsZ1Wj;>$g6}Aw9b#^eg zN~~nebuR_Y&Ifu;#SYjDp+cj6yFGKfwp4w>EPGHhNNi@)%lWBK@YJdiUiepR+>E=Z1A?b3sjup*6;Ak4XQC&`x`98s`=5g|ti%`?*LUWmI~omF ziQ$Iv-CZSGy6Rs<`S_)=T%9C{0em1Sfl#pnPDg=B*hVjEieuu9P6#_BSX#vQ!wN-x) z-JhuaAoT8RkWUwNS4!LLW$08ulV1wq3v98idAeh=P`ol96X!Z{#yDbs9Rc!_qme$R zZJn=}X0si?FRh!Q1a*k0#;W?H=``1~hEme3czh~3R}};9WuurDbqa+o^KVJLe;Pp5 zG#gY!L1wlo2HXCf|N5dVL$&#OB+S&8mO&2wE0Zc7A4TF{Z?%3Zxkq= zWIIKk3}>K{`qWEKrP;sNY3A|Fb&oOQwh6IsuiL)+_7O*+ZJ-%TdB*=Ff*%Hf=)j=x zbLpb7U;hOPD|Yy>2@DD`HHARnFg+;3Oc!AUH$p(Qb)jZPy4rup%*0U9;QuM<{E3wR E09i6!kpKVy delta 2232 zcmaiwc{J3E0>?#JN7;)R+qD$RZjc)x2?^8Kr!h2R$vSZ{mVVh~%|1qoA`wP0WY5k; z2Dywu&)8=exwb5EJMWzL-kV3E_k6$K<~-KsJl5wh0Mfw!bn{3lK=uO9nc2`~ zAtj6w))r=xjFE&$W=|v)4=1#g3<3tcLu{Wx?!oq*w-p~Z-oQVJWD&cRf(p4?69QH{ zI4&H0wdru&#t&&7Umy9NhnhDP?Icw*;5=kE!VS)A{P= z{Sm|OY-=Y#{!f9N$h%>Z6nD6In*sV;R(S$5KEJ4aq1|WunXg}(uF=LC5U@DB(rg9% zq-x8ipH9tM%)fa2B1I?ur8lE82}vhAd2}Wq5;J9@*GsxKY+ZwohWtg3nKSFh!KL5w z)7umNGE}DA-DRpFtQ5|-H}sSEPyM@f^U$KtMGj(4UvBtF*oZClgMZzkJ%P zLC6M$nOahj6VSD=@Mhe0;m%N?|K}R2m0)0lBxS^&c9=)q?0a&!vGLJc+h=&nG6rtJ zHDeAxQ6I>K1+Y+LsWH_PK~|vNh%Q*$%G?qcamqUr>)r1xJshX*C(J8Bm0xJB-c88^ z*dO*zxb=F>35&j>dS_s*Gh@gi%30W(rpBBEbOf11*m~B1$JS@ zm?rC98RPK`HID+>En`Rbo}N%>)2ls}Sy(K{(l4d0t@_LL81uy{+l< zxpt69HoiejkiY{+ld_Zgk|jtLl1#TCzxH#tsV~k6x;92HsC!+SPBxdA@D#Q$7|s03 z1qt;~jNBwHH(+Gc%o&pacS?x@j{K#!4#=BvPo{w5hx=it$9113 z^K~Ei1TP~~D0pAT?B|F#+qqGBb)!Z*ln&k$aS56YXRxWhKnXNk5Qgb26DA}@VgqOu z9GC9}Y$(9lovPc4{wO5*~X=^@je0~R|z|3TtgKUHn<`Ke^iRUt`D}s@gt1szZd86^DEdRQpP1y z!Gwb7WV(Yk+h*g=baqU;vhVD0KlqiE-))BwBhM}m%%dXxnBMn(EK!S6T`dSuQAHgV z-37OQqHHR1@6NR)RP5wFG3O4c6lr18?Klh5Rzq63?-F(*slXxn2ub0E5ER~3&~Up0 zGG4{X6lpfXY&Tk+$OUE-jI=MwN5op0&f|#+FxQtNs3tMFe(Vz8WeuF=_1<#}R6%dX z9Q}x&lqd0JLNC0JhFud+7Lk~oTm1oRedFJEqq?PgrCca73(=X+1p`Cgx$_)ttKcJiN1_(4X%C38T&T+LjpbxH+oeOt{^+-zn9B@1m5 zYB$&g2^vQTwS9d7MY`Y;DN0oLX~i0_Bhk2qUq2Swf;*ll-iZ9CTp|ey`0%~G?Q3PpICL*pMpT?YJ=JK`8kvJ z`49XUd4?dBOq@mYwgBylvh*^oR@$kAV%!joudBMb4mL^LG;q1UM|^pqT^xfCniLh8 zv=@a^C*1o%Rp&J;%yKMf0*=c1;C$e%2};B5%|~I>gMt&@B=64MCLr{af$w7KA%pz) zAY+K&yRG4w1l{VKkEKXm%fO7)KI_Truv9|-npN9o6T3Iu=Tctt$6^|*#WbTkiNUy! zdEa+YRP8H5?A-X@&?F1@#veYObu#L=>!Wjjbz^}4klDcE#avv{jD9%)auVY`S$PjF zA2W5sH8YGAE0o6=KF;%hhOu$Q%-%V|r-(MKFftq<0 zT4E#r_(}?E$+b31hnp%{+-t3TnvGr&$ovvG>C;f?PTqP|b!nSegssOqvYizdlzTWNv;Bmc6wDuWiR5+)au9~*Gmb!YDKQ4CE@!CdU1nyU4ECRs#9D$kz zM(#L_MrOUqx^I0eB#{FX(qzF{0x`bc^H4C9@OzLBoB914?=+oo{r~az`}$84 zpBSuObmxx7;v=TpiqAE7WkVU-RDDVZMwtT-cch+Ef5Pe`Fl@^M82q$#cIGtP{(s2a zXdDSa-SR>k(RLoVRO-5J&W+#LJ2?+VtUdxm<^eQVyR^>z1k)h5+*o{K2me|Y*;ITh z2gzK&L6pCf;hgvrRv&@o;wJ_xSJSzhvG$1Jw%RkT2dQlPfv;S5&9oedR;LHP$Lb?6 zbl}GZ4=tf{XOq#Nnr|EdAqORiQGZP%VCZ1|V`{=J{N>3aFk$r(SRR4IVD-W|cQjTX zG2K{w$_MSzn{KPV8kFD0b!F>p>KUQ>2n*33n5$kYXI=v3GrMhtr!KU{{n%D`p$5@W zw{-D$x1Z8IAoURx()Gv2&aH}5zrh+H^`vnigdL3a*UXzXp~N-M#BuW8n}3tN&kWW_ zXxQZ*XmW2IjJOD|?c_!qD^K-cwP-86q=V09)GZt(KdJkK)kk2t?1{l6Yv0`0H~@(C zRRmWJy7jN120WCGM^`|&9+!Gbvl?A8yv%4cSSI*B!Vglp^`j3mp<#q3P6Vw;aeU@3 zgYk)&JfROKq0iyksjh5ueSaqSKEg-zNt_7!xP{sC-w;+*DR&&Ggcv@dQb@ugEK{`< z%~hJ<`v@OVDRE+F6y+`heGrppW|`|26bma!!)5zfHp2H2J~qps6G0zi%hN3L8BVj@ z<_Uq6Z}z=0JFxcpOz8azkH`aE27y4GKm1hO)BPIa8PUyKE1297gf!0IC~ECU0Bfw|95jVl`M+~1x z55kozBFF7As+*^W34gwi@DY^~Cw9_9?lRB^FXOih+3DS#M0nkAYjuuRrX1yYlf0;(oU6coS= zS1Z7sZNeKVFoEqTkeCb#=p6-eH{pGAx#1Ie()b&{oGmd}Yk!)j$q~Je;1P|W3p+_N z^A~87+dIET@mtEoT((46;ma$O>72?1%8H1tPr%0~mnR-e*z49O5&lMkolcroD6A^M zuE2PL1)qQN8fCm3ea#4((Kkm>;zE$f(((!=br>#CGJ}UxZ}oVoO1)d7BQ;soqULVm zsTUa?dkSd(NPm`Tq`(BWqd;P^s{H0|0tFDmpFTf0H3O6KqWLkSZ_bazh3(>#`wMPK z%bA`21`cx=5v^8f>bRI5CwWTUCY% zDj|kXl%ct$zDA|BCErphbz)MQL|F94r zyG5#KbCo9eKEg*-N}SlK+_}p@AH?MOOUP8)fr;xbAxHS-OUUy{K_9+%2|0p9FCoLv zPgZRYrhlZltZGO2<*GfOH1#&JrfNsPXw`VqR+~z1so!HrdKzv3Qkk~NV zE!bu-Rvj2Ln+1CW+a4mR$^DC5h?B5f=Vp(V>o)x7s=3WSF*%iMR#UD^3Lu8htRI#C zDo%;+Ik-5zi0tw=O4}aWMnRbTX9!9AXHLFO(arpFKZuo>s z#x2~5x@;It@H@jOabl;R$z2BeASTc6MNpv!&9A%VE5a}DMa(BnU2)a*#0VJOi-4b> z?P@MkX=yGtRZ5%~yS^Qja>wzmriDuLn*Ab`mMwuzl~N~ac5D#G(Y**vrOLgCdQEEf zB7e3ONKDq;!GgGn?nQix0-F0*WHwS@0^3m_FO+_%qnP|TgF~au|KDHA9of!KYTi%Mue1=;Qxy=&-X(u-kmkpx{ zerFgZPSlic#Brb!V))Zl63mrIL$4Y}Gk^T{FiM@+ZU7ON!J|Nk$p#G|m4ji|^?wWe zM*BCOQ`OgGUgOPQ{PEe|?;3%Y4s1&x=)#eEAqoQJR*&9lRxL-(on~9)6NA&}sJga< zlSix`?&eyMUwW!7^3dSa%2nNBRv@2SJ-kcRg8Z^qv_&2ooXE?nEh?ORZnc*D(tr9i zAiwrW8{`v%HN!sl5%10#B*kS9=aQtjZUJox1YMYRo^;jD6E0A0wLx=sjX+C_v?UO9 zp{A_nUgM2f1AzqfZ=Jnr1kLE10wpd?BWN?Z=3c`WHDy*$2qaB-+kwXtr1@=_GkhQ6 zBN8P}>@=>q%RnB)Bz%~f_=l<2{C_*W^m={R`N_MNFFyP7b9X%a*S-7zUxaO~uk7H( z^G+J+pB*-uC$B7D4+};IMx+_vdA)!X4g-*%;+KBUGWb)CQsGP{DAh|**bd+?cY_{( zji~$Mz71cUNWa{%@p~coeC)~BH`@L7?cG!Vr)%<1I;K>Q^k}k#t~gd*EiSfk)6YV~xcY!mZ~>c%gS|v8f2}x@)6$1Xh%LK4(m(WKZ!3 z5|bQ$+){I+2JZ5ay+U)t{4Zo^r1=U~)_gi=To>+ZzCxm!gO3|(&X}7(6nn?fdCeJ< z1L3NT<`Gy?^ZA^ytJ>8(f`7y`hab1pT>G66iM-jXf#yoP@<|4b|sG>G0EY_EhU$3{t&;kzd&F*ZR( zHAFczG($l`GBZOqH8VaSJU2NpH8(OeHbFEvMl(b)HbF%-L^(AyLqS3^Geb5tGn2fX zI)4#_U=V}R1o+v8eZ61?6JvrC4lqF#7c>ke#s*d(eR%bCssTJ6Tqu#m0vXe2j*0fV&HD&+%N(YaK9oW5rEdm z2<$H|a;HHga?4HDeCrz_i5!@aCJV$8gz?p$hXSF5-+y%2%Qm~540GV&Zq#$?Pgs2fhHZBMgP*p>&YXXS zTOXMljUyqbTUux%+Rg))MqS6vx$&ENC+ES4)kk2+Jb(skm({tSU>f9>8;eiu;9toi zn~HDcAerkmi1K$aoD+Y->LajR{KR18N;-El)*dn3R(q!PAeC)D@RjSVnU(|5>h!?( zSbYSB4*b~Qq2+V#Y%=;&^Nk}Q~b0L`}FwzdTt4CagXJ%Oj8&tX?$d zj>hUErW>nI`Ji2T({0sPgYsLru56u6JtI^fVIkTBbJfe_%uAqrX1A^I)P>f#AKMBq z)F3+QmM#9y_EWkCq&|W|I{w($xfOBhH&_Fto-_`Gu!FJwdU?|(l(^=ZI8J}wdvmh) znZf!94ZG9>P42CM5f|Zgo!n?+<*6R57Hx&sevQo>w(A`DN!=%`J_5^SPYl+sdviZy z@e#|b0Im{r>t8_$cqkoS80OpBYZ@q#EG3zl)DV{K}?>RWv)|DEUY38m+fcS2;WEe*erui1bvJxPqWNt zIL&gKCj?Ty(f7vez}o9Gq4z61A`f&SsKW-nIma@ufkL^}PZ!Ad;{Jaz%!@|Q48J{s zQYW@&7~(Rx=!ckG^jUA_T7N+j$jaO~)p4Q+|C;%IF&2~=IL?FttB=623=9kg;%Ynn zrXIrVo7t?UK99L3+?OG`Nj@<-vag&P1pyGlwF)re?@(?O{TXaqfz;%rz-9qP+yuiP zF?=FD2v@F%9Jk7-Zk~T0Cip(WM^s9j*hvq$%RnE*WPN%d%eIxE{A_+8>n_)XR&LSe zlLB`+(3%!40!CXj`1zqM(MExJvTiGon4A4<8SzKw#0v6t!bVnNAx~|M>K*i z>?Fy|U!YBH@BA9YZzmIT*%D=iFRxIhb1D}oDB9)eEu&Gkw#8ifC zRT(O%gcv?ihUS*~8kN?Td`qR&iAg0>wHClt!VDiSNY#IuR28I61rn1}L1I+}sh|L2 z_;5jLqQFuYHWf%rP6f$U6{La!h~X0jiO4}pe$`Bw;kQ*votS2d-ckv19F!)+@ClXt zLqdG)7OA4mRhr=Y2p>@?abl-(=Pm<%5R>OGAyaJ!Ca$}L9O0KQA+V4J~MbzsnJ7VHshdx)ea_b+lGPQr4Xn>|{t+wh;O<~IMt9fEYfr zepLRK;#@UFX87$Xk~%SNv6L%y?lW9O<~C0VB#3|i{cl%g+8KU(7^P0stRfM|;ZuLP z;S(wuw{R!wvSBpA?+l~FiJg8XcNyq|m^{B1L4_VPzwVZ=2*11+F`qPb#Z}i6BVcqd z0)BqBtGP&}rMcKtDRE-#`gT;x9ml(x7Anna_KQ?nwgfg+N}Z_Lu|XV1_aZQrD)%Dl zHK~8ui`Z5mFPaQvLUdk zQR+m^o*m*ix)aexB}x77jSj{*6YX~*M)*F$$95v16Jvj4%Ucnd&u}Xuw|PP!?c^rn zvSBpA?+l~FiJH=lI1W@o41c;xg1HiD=v9BiXolY&MyV6q4Itt&d=)@$vOxn#X^K^LZ-CtbDkgbS2gZP1)uBhb}2--}px!3S@S(()n0!b6zbl|ZBX?`2# z4Btoih(w7KJB@4ZGLQ!`2_K{;{y~50HUCa8yIvo3e)8_+i_gCN+#L`9buT}_7hqfK zD?51Mypu-yXNQgE$*aoO!-CO)5oyMET`wSo!vN%`_+{U-4E|K3R5+6fO7&6{wgdRf z-Jr)`AL{6$!{j_H&>k$&QVbjg31gYT>v zWZg!5`FZpSs$a44$I+p=?SY%Q77yFpSYxq;aO*h|UgX_cY%0P#?%JpwffePR&l!^` z*;71%#3Y9wx76IIfxCQUuh85u|BDzJX}*G$HJ{EI*M<9>Rw7f9}3kT<;v_q^m0SW)u%obmRMUCARzOmg^fOUb31Kg2KX zFVI}l={?;IBww(~ijSv^n;rXtFMz1t@uw~2wtAqNUXoR~<%2r=uCzi$fEBDP_;k+r z_~yRiDXg=!oNg*F!P(OvM0X& z4e{AiNV9GdWP}JYIWadfH8L`j+LqG@F*z|eGBq+Xv$dDO1w%tNF*!j-Lo_xvH#Iaj zHA6x;Gd3_aH$p*0HZw&qI5|EbJVQ1yIYCB4G&VLjH8eLhLqa$+HZV0eLP13~Ges~s zIg`1aI$RBeU=W1SD&S`u_VtJvG>i-qG@yZm3nm5=V*@2neR%o0(f}S0E|f@O0go9f z*=$x%98ucsOCY7xQc1(%wqGKtd^rAWXZ$YKoa^6ONGqN6+%NE)@B$1X3CojDo*)P_ K3MC~)Peux*8t$_I diff --git a/results/greatest_hits/plots/tools/heatmap.pgf b/results/greatest_hits/plots/tools/heatmap.pgf index b89159ce51..26b14c02bc 100644 --- a/results/greatest_hits/plots/tools/heatmap.pgf +++ b/results/greatest_hits/plots/tools/heatmap.pgf @@ -2022,7 +2022,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=6.392695in,y=1.319647in,right,top,rotate=45.000000]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{Ignorespace}}}% +\pgftext[x=6.392695in,y=1.319647in,right,top,rotate=45.000000]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{IVn-ignorespace}}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetbuttcap% @@ -2272,7 +2272,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=1.680674in,y=1.638526in,right,]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{Ignorespace}}}% +\pgftext[x=1.680674in,y=1.638526in,right,]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}\mbox{IVn-ignorespace}}}% \end{pgfscope}% \begin{pgfscope}% \definecolor{textcolor}{rgb}{0.150000,0.150000,0.150000}% diff --git a/results/greatest_hits/tables/all/table_feature_main_summary.tex b/results/greatest_hits/tables/all/table_feature_main_summary.tex index 363d4ad038..60844c9e9a 100644 --- a/results/greatest_hits/tables/all/table_feature_main_summary.tex +++ b/results/greatest_hits/tables/all/table_feature_main_summary.tex @@ -27,7 +27,7 @@ Spork & 58\% & 44\% & 27\% & 50\% & 15\% & 6\% \\ IntelliMerge & 25\% & 15\% & 29\% & 50\% & 46\% & 35\% \\ IVn & 58\% & 37\% & 38\% & 60\% & 4\% & 3\% \\ - Ignorespace & 59\% & 37\% & 38\% & 59\% & 3\% & 4\% \\ + IVn-ignorespace & 59\% & 37\% & 38\% & 59\% & 3\% & 4\% \\ Adjacent & 58\% & 40\% & 36\% & 57\% & 5\% & 3\% \\ Imports & 57\% & 35\% & 40\% & 63\% & 4\% & 3\% \\ Version Numbers & 54\% & 33\% & 42\% & 66\% & 4\% & 2\% \\ diff --git a/results/greatest_hits/tables/all/table_summary.tex b/results/greatest_hits/tables/all/table_summary.tex index 0cd86a894f..0388e50058 100644 --- a/results/greatest_hits/tables/all/table_summary.tex +++ b/results/greatest_hits/tables/all/table_summary.tex @@ -18,7 +18,7 @@ Spork & 581 & 50\% & 456 & 40\% & 114 & 10\% \\ IntelliMerge & 225 & 20\% & 468 & 41\% & 458 & 40\% \\ IVn & 531 & 46\% & 580 & 50\% & 40 & 3\% \\ -Ignorespace & 542 & 47\% & 565 & 49\% & 44 & 4\% \\ +IVn-ignorespace & 542 & 47\% & 565 & 49\% & 44 & 4\% \\ Adjacent & 556 & 48\% & 547 & 48\% & 48 & 4\% \\ Imports & 514 & 45\% & 599 & 52\% & 38 & 3\% \\ Version Numbers & 488 & 42\% & 633 & 55\% & 30 & 3\% \\ diff --git a/results/greatest_hits/tables/tools/table_feature_main_summary.tex b/results/greatest_hits/tables/tools/table_feature_main_summary.tex index 0c8e8a39bc..44f0dfdeee 100644 --- a/results/greatest_hits/tables/tools/table_feature_main_summary.tex +++ b/results/greatest_hits/tables/tools/table_feature_main_summary.tex @@ -24,5 +24,5 @@ Imports & 57\% & 35\% & 40\% & 63\% & 4\% & 3\% \\ Version Numbers & 54\% & 33\% & 42\% & 66\% & 4\% & 2\% \\ IVn & 58\% & 37\% & 38\% & 60\% & 4\% & 3\% \\ - Ignorespace & 59\% & 37\% & 38\% & 59\% & 3\% & 4\% \\ + IVn-ignorespace & 59\% & 37\% & 38\% & 59\% & 3\% & 4\% \\ \end{tabular} diff --git a/results/greatest_hits/tables/tools/table_summary.tex b/results/greatest_hits/tables/tools/table_summary.tex index dd76903748..7ef0ac142f 100644 --- a/results/greatest_hits/tables/tools/table_summary.tex +++ b/results/greatest_hits/tables/tools/table_summary.tex @@ -15,5 +15,5 @@ Imports & 514 & 45\% & 599 & 52\% & 38 & 3\% \\ Version Numbers & 488 & 42\% & 633 & 55\% & 30 & 3\% \\ IVn & 531 & 46\% & 580 & 50\% & 40 & 3\% \\ -Ignorespace & 542 & 47\% & 565 & 49\% & 44 & 4\% \\ +IVn-ignorespace & 542 & 47\% & 565 & 49\% & 44 & 4\% \\ \end{tabular} diff --git a/results/reaper/plots/all/cost_with_manual.pdf b/results/reaper/plots/all/cost_with_manual.pdf index ba16412409a94acb6d7d5c716fea6a310b83554a..66b54de7712fb2a4d044f8bb194d235de8f2f08f 100644 GIT binary patch delta 385 zcmX>+kLmC{rVSdL_0z6ST4iH2;rX;J;VwB^mW|7T|1OZdwfDs3oSm|n=Z(E@bauRZB9+p0f=Xq=G!*Trb=BE`Sv$pX6#WlyF{|L12rddFq6DOY$chmnDSsga?n z@#HD(m*Jev`5g~fot+&W9o;O9EsY(W4Nct)oZSp944f?7j4e!D+?-7uUF;NW2q~F7 Hsc$0ydKand delta 385 zcmX>+kLmC{rVSdL^|P-26s=rhb6zJ?zv@VAs##~vLOSlPB~ zZ^%p8%-Ib$NoJ;rRdf;=IBRp_ykU``-Hf_12y6PmP_y z5#PRcY&q28t`g&QxNy(U2oARZvvZ4HJ`Vg-@_hMz|MK6nSn@>5`M(!4G|kNUH~E=# zz4D`Fuf9~Cx5)YWU}eAr>px$a@;XfTBaS-eCcHhNZ}v~Vrt8+L&8A%8wH$_)hUP}5 z#^#f!v|omEHs^OdV0CtKG&3`?bT)D_H+Ob2aI`csv@|ntadkE@G`BEzbuqD1upy*m I@}$0v0N16kLjV8( diff --git a/results/reaper/plots/all/cost_with_manual.pgf b/results/reaper/plots/all/cost_with_manual.pgf index 4e9a4be98e..4721edd076 100644 --- a/results/reaper/plots/all/cost_with_manual.pgf +++ b/results/reaper/plots/all/cost_with_manual.pgf @@ -943,7 +943,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=4.238230in,y=2.055479in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}Ignorespace}}% +\pgftext[x=4.238230in,y=2.055479in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}IVn-ignorespace}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetbuttcap% diff --git a/results/reaper/plots/all/cost_without_manual.pdf b/results/reaper/plots/all/cost_without_manual.pdf index 8d9afad18527dd4459856d457972316bcc8ece35..ce6cffc246e443730ad81b928433dc0472024b3a 100644 GIT binary patch delta 323 zcmeBNz|^^bX+sESed?1>)Y=*?R)Hxf2PT1OHI0hJUVk!m6H=!-(8W= zziU-bo8G*O;qU7iP5#>EGX`9VVVbhl%=T);oe)Nm8|P=P5#Zl6B|s~t)8qU9jk`D( ztytZa@#2#H;@=w!D&lVabUUl+5}AE@bNAKR>Z*nE%Qv@(q-bsm*&!4-lgU0Rw|Vh8 ztxXHN-M<}PDq0cHnE&OMc+LNxFXg7+sJA)sRJg|?rZf3k)zkTH@uiNl%_lgAG6+n0 z^lxf5-$Ro{w+lSpmEE|tFSo~VW@usHWZ`CPVdCQEY~tu*r(i=!$>gy9%>d~Ai3=T#)+Vml?AGSMyz#PZZWyX zhNd`+_rGcP*8VVo>Hf2?`rrS3zHFW@71V}23*X=G?=X5ixLY+z_^VeIN+Vy9q3NXg`|{>=bG-icQL diff --git a/results/reaper/plots/all/cost_without_manual.pgf b/results/reaper/plots/all/cost_without_manual.pgf index b1fcbfe17d..7ccfddbc59 100644 --- a/results/reaper/plots/all/cost_without_manual.pgf +++ b/results/reaper/plots/all/cost_without_manual.pgf @@ -979,7 +979,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=1.187038in,y=1.282716in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}Ignorespace}}% +\pgftext[x=1.187038in,y=1.282716in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}IVn-ignorespace}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetbuttcap% diff --git a/results/reaper/plots/all/heatmap.pdf b/results/reaper/plots/all/heatmap.pdf index 5217421b6c801b0380b8feb500948fee2f731ab0..8ba151f4853a79244a348061c20a76e8e47cd4db 100644 GIT binary patch delta 4890 zcmai0X*|?@_s%*&~gPGC80-%oCPshC!7`NEA+|>~0aWisr#E3|SxChibQO*`dO^OgCJ+D-zv=V(UTW<^*d83>w z6WlD}^>{Eegq&{(R(9lKq$;0c@=5h{Y2L2#P|KJR?de;fotJeDNSXiwcV5+|NOY)q zsQ05Y#nMXq>9@FvG&FGwxudOLvz|lqfjn(6HtAJ6680g3B)YuOK}v%Ly*_0J*)(eO zslGyGKNVvfO79Dj7YwhsTHozaxt%ItLmTwyFx)`;oEbmdDA+k3JqaW8*pdlx)?|D2 zM*j_e-=sIddxM0o&_^q*2J8{{^W%nWVc=#iOG2+rlE*s<7d~W&)=nL2`-t{tKyXoQ zgAQe48N|7Z;us$lXW7Uhyi#sURq5>fdgfOuR(C&tHRTN{;4JhTnjpt;oFJMlo3nPQ zcSDuj$p17;;_dluoxB%9SL@t>$K(Qvx$iqZ3KnEy`}H7&$HBnjbD)`R5tG4;f>f`; zzzQi+>)Wb2($lCdk;&p#1}c`OP%Ff(k%o50zeInU__W~!+~+8!A;wj3TWK_G^tFb~ z;Ljm%I$^yAImr+wjQY^taIu_Q=;E7#h$^^Gap7b5V&Od?tk+^Z(|}7P%9ADww*Kw` zmC*>Bj8yt@>?&^BS)}ou>Z-?pTWWBT(#s{#)f5O)oxe85=G>-hBTd7vynKf*{?(qA z&Bud|Z$}uLn=<6M*VO&TO=yE|B0f_jaa22X%}A+GT!|3KeN_-9c{e#c0zbkCpC@rT zo>lC{9>Y{~>kbMFnz!Z|K;y*r>}z(JyFt9kA$6<@CurEs!r_u1f^}S~yKgi47u5z@ zW08j4iFE_Y0^14p7vr!hFIDgc0-d)iYd@VwtVaq8PKUoOC0;8gA(kc#52$sZnoVVa zr?BV7Ch*xP*0}>p5%UOT$)!~0ifg#PY{Y4Fcy>ylUhN=w*oib@ZPVlB=YIKt$Rlaz zHrtS#Fwr3bW8~>wO>EvQnZ&42uY_FIN;&K&q;E#+uors6XEUtV4|cPcwaG&D&buWe zh*qw6orMS%R{1IZE6r81_5}+aGm(=4RWoGY534^-O(7oop1ZJ%e3kE)YIrNj-_oYM zC7ZPfN0#KO(4w$_m$U*|fbB`2#uGKV^Lj)f~Ec9aHT*iB7TtmxXO4oShd#GpMSI~&skjJ}kpM@UNCCtu( zbJjJi+MjQCF-i69q!#o#6AM;CkMr^(53PqTae~kTJG0vk13P>4pb9HyC%kWjCAdR} zIhiWq3u0k|l6#KVd$f7y%x}L93Q1 z^YxmJ4KqCpXrPMb?>z;ooh{rjOZeL)=Aqf`N>8Gks8_QSM(|IWxLdrFHN#HL+9ZD`QWz^V19}4`X5M)N-NNz93E#V;Nz5 z>FG-9o=3n3-}=ZXP{MsZF@}r%-cLHu2N0J(BR|gqsV)Pln(e}S&N0u`b=U^(pR!KE zD!!9_OOJkJr8pFiKO7#tG| z)(qUiplQ0KOU0}HLD+jA0=}f}T~ZkX3dn(VrId!ZaJ!?W%y!e7hLp)Z%~s$zY}bd* za?PPMaPe5#kpW^fPbKA_Gz(WNUk_D@S*yenau!sxD(eQPQmn~<)T*5Ya;QogPl zy07@@h+CU;t%CHZO%t9 z1`_7Wtkwq(?R=C#rwI{yU211X7hvp|qdhyUriv!CQB!om<)W3mD|Bz0zOJLD#OOcf zXJQ*z?`InyesP(4Z$ZM4Kj`K#C_{F$ip)VhYFow-EhE>^&)li!WH$rW084fpVEN)BV9CjX>g-Y|cK|!eXGoqKMTk`LU6an_BcXhZmq-d7 z;Uvim6qU6te+Ioj@}uJD9|&}9#;ZT6oN4v>qUoXU(00`1^gCpmPUvEXPSHiu`SGsP z8%s%FQ(xb$dMfs7R6cBOOQh^sQ>6y7J8TYiae(dp($ZF!Bz1j|j4A*9M)071m`BXH zxr3l0$N2V~YHxb#t0_m?JfcNnMPjc-ZY$BPuQ;K#m+M|K^SjT5%}LQ!(K~WbIydEr zfE%P&sEl$S6&)~8`cvBf>rL17e+>n}iO8g-q#FL$3%BjgRb6tn*9vOr;Sve+(0#nV z3&g&DQdIqOA@M5LNu9Vw7sYLK3jKJ*pb^gYwo-^Tkf&F#XAY1RqTt5*fo`d^9ppn} z+l9I#4f@J6O$UetHOiUK_%T1}iQ%}~&s_T5Wc1hEADC8_HN;J_X`KgzMwWdAM2u^R z+iJ4zyEKj;6`v_>(#!^s8E{Z3A$s@RG|>U;KL%K6@!8*UvTjy6dr$hBp#)>eONc=9 z{7M9eiGS%7YBhpg|3}QM2!OZ;DW+)KZ=OzTU@m3!b~d!CO0j-Zyzv!-_!o z8UM;|Ap76#$bJjnvq6Kc{j{c!d2I9sxma;?=;wq5*R3^7a&Hp!K5;pw*iE_#7)}3T zbpQ_qwGx}N(N3wh&mNr=vyh-Gc?BUwWAz^sIoPoKxBwz>wr zDItz(h5@jh7qPPr!ifu@Yq)OV#qn<}imbtUEV#2E71#YFZk)~k-%$jCg??wqE^*l9 zIWdNqtrcb<8z-n|_0@4GoWD}#J~+M z43bvXmN+_o^Z=)AFkMx!d6D*PomU$-tEiKu-6hdnRt<-jBhcFXGeN1HTC9G!e}g}o z$^PO9&|mT0tuFt!`mr2N7KNBdieq%OKsQubhL{X7S52oi6rGq&G$KAa zx2m?Vj47mI3IWo1`vT3}#Q@EOSFD>^>hd^A9(*6ko29`+4* z&+{ll7kly9#&ro6GQ+`iWNDOJt703SbQ>d(J=X>R8w~=0?Mfj4TkSLd66C8Wi@%_o z1)y79{uer~4FI~}`v7!T3IXV>hA}`%l&uW7H%u@+ze+6OYzG{%vO-mSs+!M4RYE5PA%#2rd|5Trl#g@=zV1S*8^i zJrB}$3pIZ}+l-{f6cWYuc=u$pauY^CgDEL^s^D?&DX%^utOc42*zRFr`=IZio~YneX5wHnuBGxovj?c)rQpTi;VK<^F^*aSe^8MnmpJ4M19za8@dlGq*Fz z|2roh`#~Vma;roa~%1bXzF%UrB zWZb;YR!tGj<-{b2TT4uP(^bp(_WIu5@iEyq+4Ax2^*D{P26t_G zh_foYw4kQ#9b4{n-EqF&BM*pfqd7Z0k6X(t9Y1HPJJ}2cX%S$IT5)&a zIv;XtNv4uqv-j#`jP-acF*Fc)TIrTM|EsvWnU4?B7V&3B=it|-pcy5JBP(Q4F{W{F z!F`apTB!d3PMsR@5{9yA63bd3sDI%bEf&RrdS}#wPYLtA9`g z)hDQGI6@MlCHLPlr@LuBUmE%IYvS#V_}Wwc5Me8Qh^h;|Dq$Z@9A8!UtX|99bni#r zR%?qBcQgV4}$@YewpY8YqZerb-cD#JBRd}e>)+w+xEu74QaA7&T zL#ry!WS)`Uvh>VBx0Tye$gP#o^8FklOnzcb$7m=@)w{IRBRJ!CeP$P? zrmsC+?GVN?e?b$Ea!ztZXZLb8aFCIH6HMPIXPRpjH-4%;+((`m8mK}s4D8}>dNWrT-Pyx8tCZB$|@MBX!5K7zb3aBAZFe$ z-=I7Es`6PGcxlIvEZXP5dPA_|*7NQ9Nqy$vg%THGeijxKl}4fivWd2RshwFk+o*j$ z-h>G=!cr_w4k2Y(-z|UnB7`myBp}hCKmq|0kS@)DQlz7VVhBhtQly05ML?t}Er`;)NRi$| zI!HGH0cldCO7+~$`OZDxkNe~POPSg4%$oJCSdWV|3+KM)G5Cy5QS z4c6O5&G=`h3fImM{@S{ToUh0{?ZIC6@jnT-%hD9SszI^N+Vuc;*S|ifoo?mT^nKRq zficPb(i_uw_W=qqt7e-g`s0P4Eyw>X{pJ5nAiB68$$`2%TXqnn4$jl!b$OIbkmJrL zEnQRBKe~Q8W_f>*s_6njbacHsF7ir^&!|Kk%o2fD6V-F1>hR(3$SRbi)M=2yrgqon z){R}L%ymSC3W1LLOCIggwqCdxYyo*S-4f#xW9ONnZ%;Ek&5)Y<%^chrEi5{{Dq}Ul z4x9b88X61p^D~Ih>Ir zi)?=LW4IIzdwj)q2;WhB>U~vZtFv78e5!3;60*v{Ng@ZcN4e7xJ zeo5K|q=Y5i0yAliBB1543}|DU#yEmF5j-Lg^UgJRqAws#KLf+|^WGfcsEnJKtp8>l z_1Us;C#K^P3tGmH#Lqb4L@f~Vr5JKoEBA^KX)0*X!w$?|H?D^*61Fx?$1~&$XSEG$ zu)Dm;s)~>`3>&Z=pw54zS?iF(^o4=PCI0m6VHVt^fVS2iR+kj#*QN_KV$YuVTM@V2 z5!)HYI+D-s!}pIT4G2qIcaCJ;y;h@?!9vR?<;P!y5x>k>g;(Ddw>w0bcS^5F)lN_q zmiJeNIiv-NyePQ?;cHFTDIcj@h^!v}6LVPShn-k@dS$*>PUhHhCes0c~hCjTpmxEtt5fSGJS^Sii2n8S#CWnk7zJ-q?F!QLg=7=>V0L~-B&8) z`VNe^Yyudu`UVq^S^Z~_8WVjWI)g_;Yt7H>CvPm144Z=$)OwYNlpvj}(x&nl?z+0k zo8IS{;YXl(5zB<*wO3js6(MNVoYXgso-2i!8dxQB9!&HpE7yH+yl4AVF8Z*)^2IN@ zAZK59t(g;&!plT*GX=DLiyD)*Z?D(S#jE!e^LLCkeGqzC#pQDV6M6f{*m|7Yq5e7@ zmvOplTNH>3H7x^T9Cb9&$5Z?!?wl!J)vZ zCA*KSDusu>aQfiSzxf3o*W8x&Ft#X?><(@CT{UUcFg*}6+LN4Q)*jWlNDLF@|re4i&3z$>jk^0o!>6oBbWz1yK%e$Kei69cL zve7VZGDq@YFNf!K_fk8Ih8pY~%CTK=K`?gk1-sC?cxQ7)mKz4Ubf)Ap6?hUmo_&0+ zb_8N*Y2g!^^dSZ)E=BSfq^xkEUVXGdjco2Ck*C|aM5GWSICG_CsWf9{eg2YO&ebZD zf&DButP12a+* z3QpErTa$kstp57;j%K|LS3(o2m>4_g#nkF+a5?AoZkFHMUZC}m2j|77f?5m|X!%Ivx zcc>!R{hENaJAdKu^D)IH9Rg}pPpl4n2Wg2hIrG%AI>>pGxYkev=*S$L7>!>)%iGztL?bZ z{O=pb&?=H%)AWGmUQaTZ*F|P@Q*tZ+s;~dk0#v8!)CM^lFOMXQ!m%cuHpb$kn_>U_ z=``|u-xf9gycNP&$IOD18y#O(osOA&$GwhpECCu2B1LfC+w(%Tf(=tvxu51ZO!ax> zKxow>pNBv2BXaY}m1^xhKPW;var{%J^r)dljAtbTCtZ}O^X5QkphCk_+m>p_iR*bNv`ql*{F2BCX<_o8m{WY9J*Dw zF+Q#dIcyhnhLhu(w~F%Up~nh>FHJrW2~{cbS!`70yU>I_p80?7^nRe$c_&p{pjbg# zVuUUj{YhTh!#6NNj4Ro?4<@|G1fy0=jL}e^4PYT3Q0B((t+NDn98p}m+!_R{ui;g@ zlo@`-yCDvvJL$Huflt~)1qhAZ9*{{;Zv`=Ke}*^Hlo9imly+bA zLYtG!adcE7(MJm4>lu^jH_CGFNYJizKZsRWu6WA?u^<~y-=Zzbzt2u-YMBTH)d;Pe zS5NU$-KVFtyYc|Y-X%OfOQ&tOAWx0~k%AZ?Qt9PcBtIxT60chdDSHgjKUZ{!F_3pR z5|EE#?n~&8#)s@h>0hBVu<}04?nzJt(XlQlMa*CH<~MBc>w4$+DXPSO@9Br{>x;~) zh>&0z(J0Qc$kX(G)_g9DQKMU0-->bD?LRc`OFcCt_{8qClMop^{>^5NX!}2b$`Ar0>i{cO(Y(8*;G7Y%y2yXo zIUbJLZVx${_z9dHb|m|#r<>`K$PrE_BjS8Bn3J{acUC+mzxl~p08nRlVwVt5)xpj5 ziLFpg;{vl7Hv;$LJs%c>GfmHCqjHH8>f&ot`_LtF>){(-&8AmHq>e+9|Mgt6Mm_gQ zDMkWVD<2Rsct46*g=;d#D1t6RjT1d?0AvOdoRn>Q;wlq^AW=sE3p3Kjv#M|{4zP7& z_gGy(GqFmPT_eA5CXQ*=GUp19^y|_G!KPY4G_mgw^kK!5?$RXWHtWbwb@OAUUrqh;&VuGq+b#W$1#Gb+A$A)uKy)#>sD)bBp)8b?JkRU_%MS zTZ(jUz75MyRBVg=wgK2UFa>XyF*-_MEWFM{$HXpECKnRHk2yO;KYUpCO%-te|8t58 zu+WEyg^ani3bxd?f`siDb6S-MVqQ7%;(0x;oZ}gj*9!t!4?^|IkK!+8qbX=d(z%ItwYl%c&qk3)^ z+2hm-x5I>wzHVOEO7NHAw*k`h^aI0Og#*JR>rJL+g`i8cJtT=$`h+tYsra4E{I;F; zRKZ8d#QjycnjizY_jwH+CS{%;hX<&!mkdyYFo#nNN0Hy1@hvg^Im}@cn*<=toQrn; zv{s~KTm1cs&Qw8@5P(~P3mqNs#6oQo`Wn@^F-k-aZP=^>_;wvLN(Hw6?9>E%P01%T z}EMgTp{RhvX?}40qM5vn4C45lGi$bR{?C55e&CE`5)9c>Aj@u)ST)JyAoChs0(3#`G9o|VV1k-O z8;hKWX?B=Xn+-hIEv6NM**}2<&P&Ju=!L-n^xE(MdRn8u&QyOy!WR%|!E`{NWh${K zm2)l+flT*z_POrB*g`y0$p_o6K`i7NrAsqFm6)?Cg^&;Y?;#k$rE_-LWaa$?$wD2& z9dCeU&>RsK0y=Mjxr-B)8s!OIJ9pz~^?2TJo@C9#M@5M?nx_q>e#nm>pGi~7TT>%# zKr;a&Yx-ae-nTP4ry(c%dfD{B?2=)!WZvo|y4rMVVjZ6(nFN3JX@imujGa1{iS@O^ zz(bLgo!`@R!~3?Q;tia~P$>&5REoV`2WP>) zpiIN>X_f^>BBm68xughH?6m@EHAzCFxEdv)`^FZB#6CzvDgVNS6+}b=Azes)_F$V@ zOg&iy3&@*EUH{F~BBG{5t5?X9`6F{y&KIf=k&T;6M)`BA#+D zW+vqSEDV?$Ok>w|j!U8YKbSVZ|2Z*iLUfVjUwF#Pnfd=dXbApAnpa7oin?`uz1Nn? zExWrdi@7~9^!n}JvHrheT``)Kbi$;eK4mh3P`1_8)ido!PRC7^>I#4Gz~;VjuDF+b zxPQE(QL35U|Aud;@Ywe9>0xMpr_|8TayUUYz6*F8u>IlmH?z3_$GoOPXC9v_Q!1}l zj4h-6CAVi~W(?=`H=KB{Hu)+H6dsZ)ozm&8P8HYGiBV>*H73TFHhFBzN4+~Ajzj0$ z2ya?Evcw*toKrSyUEKY6L&b8Ll61fp|kbn;=g{}-m&u!zq3$(mrd%R zhJSmA!SyjX4Z`a^AXOUTi%L>$^u>EO9gFUeu73ghK71jCs~8WCBT~41(Y)8O3Yl?$ zM#8bFfxMpEB>qlrUlZn!EDd16SHjM>2vZ{!Jk`{nJgsbJdpsA(TQ$)>k~#~s^Ur#@ z<{Gq3KAQK_u5@eLuI|P_Q%h%3Q+a>84qWd9`#+4YMbxIUZDgB_rcM{WtQ%fi;nF~2 z8G_m87cTX;2IEc4Zgfse-CKH%i#V;Ve<8xwlaf@ z^}M9a!p+*N$WW>kH4FQCsP_=l7rDu=jjPrxHw0o12z357z*L1g~lkVo`z zO`Id%-3B5h4uPD#s3Nd;OI->u2ZaoA^=BS)DBKA|n25)jhlWtnTvnuzG_UqL^r$!| z$7CT;j;7F3fObu<-c{H0IA&3YKL0xG>bkEX@G54+>h_YD=|#u-4~h4mad{QZ?vZKc vh;$+JILF6s?yfishqF&kmQU#2+$~()yi4B%W%%-gt|+t&ISf%E@pRCbr(i=!$>h?OjR1Y+9LWFx delta 108 zcmZ41#k8!8X+v!-hoPmRxsj={#pKr7%W%%-gt|+t&KBlwX3hrAh6Wa<#zy9r&aP$_ bt`-IshUTVj=Fa8@26hTIgp^D!ZP^F_p(Gu5 diff --git a/results/reaper/plots/git/cost_without_manual.pdf b/results/reaper/plots/git/cost_without_manual.pdf index d57e16ff25a9dbd00a1ac36274c1336d9fd86ad4..1c5364dec92e088962c70b0c4a4b31a0e7161158 100644 GIT binary patch delta 108 zcmaFf$@ILFX@hkwhmnDSsga?n$zRCbr(i=!$z;=(O#p6a97X^D delta 108 zcmaFf$@ILFX@hkwhoPmRxsj={#boE&%W%$Sxwk*6H= diff --git a/results/reaper/plots/git/heatmap.pdf b/results/reaper/plots/git/heatmap.pdf index f1368e9775bdea11b18db4af7689b56273f34cd0..3e68ef7d770d0d807479998ae58968cefcc8d922 100644 GIT binary patch delta 108 zcmZ3pfN9MFrVUd&IE)MoOpOdpjVI6TxD4lPuISvs>g??3=;&r)Y-#N1Y-s9c;Ou5- bVc=xpW^7^N;^u7P=whc}LrBTw;{Kfg>YyIk delta 108 zcmZ3pfN9MFrVUd&I1DWf&5cZr%_q<8xD4lPuISvs>g?obW@cjPY~*Ba?(AgXXlZ0< bX=dQ!>TFX9_d$Q5Da^@6+*W54?w0HbRR-ee~7Hr87 z?2rGwAEefssc=O_>V$klz50s$`=^S!+s$XNI0#&?Ke_P^JHD#p0MfnSiblSu(4 ze=p8g&t8EejylaXIsY^m?);K`IANzB&)@X9`tp3*v@t0u(m}bKTr~kO!-0k<< z&BN(h2yt?=-Cu3*{bzZyxw~(rpDs2JcY7b5XRmNJ=hfLLi53K9UnUFl(9f(ce~&Cb ztGVcqn7Gy%HA>h%S(}C0VI@LPZ5_cSp91~F3el)qM_q*ikqs9Y9RnN^J%tX&FHMJB z4>j6!9j0sg(7CL>jLfY{%W2A_IR-1ov2ckxtfH<-R&AF`tYCpvG^oTXYpur$@Dnh} zk219YA2hlWuBdAgSKFl$F1~;(e;QQ6m9JaNxP4fypD$!C)v^sN&tdhox$5H(O*bztxZm3nN4y#1jB(1JbC0=@ge^+8siCEtJ zxXqAjO08e8Ge3J)UBK39)E>DVa&2Xf+6w!je8k}Q%YPV%yM4R!dAq&*zInL5yPe$G zjEv5$mm}a9<^aOU|)*pYc4L42$Lj95^VAK|x*GUky{%=I6+^ zc#fMBl(eox$i;BKF{T=y1^(?p^Y^r0h6=-_M8CjV zX2*_MOSKbPdB=p-6y3nJTzo0GWkun`Cbsu15-fWv&?;xZ z3hyZ>NdX+UnNMYDZBM;k=Q9&8+)phDU>=c^j|53&kMOL!j%OTRnFwhpoJ1$J82D9` z*7mC_jQMriFNL$mU<7({Z8}c+X;3Hb7*`uyQLUB0?CeLvWnl;l=3!@2E8<>fw7!?3O73t)sX0&X=Fa+# zCK;p?@x-2uzqu1f>vvI{_}LE=!%>LlrWoVqs~Rt|6sovW5RCf~v9kcIF9Mo877)Z} zdldU(#Df?Ys+suRV_yXd?;eH`6va*C6W;~4%7500w!+K6!H{7e`1<-GybN3Wz2MY) z!LhB`i^0O^g#(Pb`=A6Clhk4x3}E%*99Akm7#72NV`VK^QQHixw$ljK`ughjZoj?% zda>Cqf{P=S!Da0;;41F-B0&Et-${=3JOdcT8Nf_@C_v01Dut^AFwr&*uZlqwBP+W zMO+Wt-R}BvGq2ZQhL$$ZGplw6kwBA<0)J}`jS^;^G)I<54<;7A=BsNVi`r(GwVeXA z=a--H!Pbyl1QxZIiDm8crLxxHNd(- z;2yXVxu|W1T-&Lce(!G=*+ivfHd*`ZtgChY7g2!|R1BVMtt^8SWrq?1>!_`^+fKAi z6Y4s3gbvxaB?A;`uE`0Z2k9 z+*zEuy=Y0FllRDwLv}o(hSb!>?U0~Diyi|43X~S^_^WIQv9)b)Y=aRKX4_ZUdFcm> TN(cdy#f0NZ6Y3_aH ze|;h=ApZaUy1DmzCwPsz-;wu0*@vk2maKZ!{_kD#cN}Wh+%OWfcl<|IAIa(#V#yHf zkN>?PPrh7#{Pnk|C=dV0^+S^a0WTQ!y}caBSoh}EcZgy3zt@5)#<;gahOc;v3Y68 z3j6s#P_!X@gkin=CQwOuN)f(2I5pc1RBwH_8_yVqfXiy1P)>;u4t_%Qos3)OiHT7fE!4;KF^J@E40w$J# zMU#revgUfoxGdYy!N*XI3NA(9_CmYA3YvjtQ+Px`AuC)P=INwqsT}?sY9FUWb1W9EFc-CFVGY+pzgftXRqLW$-{3=Ro z`_&c3{5tKI!r5am0zJ7l9Vh)Xs1x_{qbERfY_^*azN!2mGi^dPvkdDBK7YkA4>Bx} z#yAn)hx+4c%^VDP6{WR#u{IB}?lXV2=#T!1lRX6*fA8IzX0WPmP3+U+#}bJ5Z^h?U z@a6a3#h2N~Y975jznyw{Ud86pyZRqi+*`M7bLra$Atg6gSxQ34X5Lm+()}DT6$Qhz zcZy4V)?vAknE&1^v=+_cQRq`bN;DC3p_BR(XQ_hyf&kVeEZ;b9IvJ|O$0I(h6mHr5 z?VVU~f3L_df_G7js|~KG)=FS@_9Nl4FoXs3ursL@aj!F4-%C*?cetX|oF{j4XMIPL z4AO~sV$a6k+=-+0yC_cl?1zcrC`5BpjB)c-jb~X3Rop2E#{G!cSpe1-0ZkqY2x7E7 zihVKSL5vI4O#J51SAoL2hhYRoaTEEI?*dz8f9phB;bq`p$gmH5dGi=vhOPZxaO%C_ z*w*aDU}5ya0Y=?@Py&ldYOxIluzGP0D-|CNi($R7vKFkUZ3b4`X#{J1bA5Ne-#&b~ z+H4oW#gWS3vi2Ep7594)pnsL`B*%K50gU1dU?x5mAm$L2!c_v8XqyJubqWA~zd>T_ ze?L9LC1#28BD1`Gmf7jHvI#_kyIE(N^OXc*FU}#R;-euNTopJ~3u4qZ1F`KCAinu> zj?q86-+x|Y7^Kt8LN~WEvL-O31-eE{bzxsrYDQ3fF+ui1o^5fHi&E?|z&k zuE*_ecXQax>-CqRrOorqs+~b3(4?clf0{$1gjpxektNcjiG{EE>RQO6wi#w^rvUBg zhfnxmYsf7Ei`vV?viA8>S?h2mAtn?BE&1^A){ApysrYDUxF6CQYC((IW}vm5nwfUn zmBz=1MQBlb8Cupp3+-elM+rm@l!F5`fY^(3h^hE!h+wFJT04S7+YH3EQ-JvPf82_* z?f${P4GJ%Z{`z+7r{TW=EjBEYjYF2nX6>_kxgS0(OUN-pxlzCeMLt~$FHB`_XLM*FI5i+3l7%RH70OEyfG`w8(WFpl`IVmqOdtp$3>!o-2*3nR zAa8NzW)T3NgZENMDd6!yrQ}4i?Ie>Vo%AwDkSGWN%_>3UhQ}a&&ldWo8O9H8M6a3MC~)Peux3B`&c5 diff --git a/results/reaper/plots/tools/cost_with_manual.pgf b/results/reaper/plots/tools/cost_with_manual.pgf index 7f6f0a7048..13df653626 100644 --- a/results/reaper/plots/tools/cost_with_manual.pgf +++ b/results/reaper/plots/tools/cost_with_manual.pgf @@ -796,7 +796,7 @@ \definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}% \pgfsetstrokecolor{textcolor}% \pgfsetfillcolor{textcolor}% -\pgftext[x=4.594326in,y=2.636497in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}Ignorespace}}% +\pgftext[x=4.594326in,y=2.636497in,left,base]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}IVn-ignorespace}}% \end{pgfscope}% \begin{pgfscope}% \pgfsetrectcap% diff --git a/results/reaper/plots/tools/cost_without_manual.pdf b/results/reaper/plots/tools/cost_without_manual.pdf index ec7a78055f2606d306ddfb5fea23437d93883118..71fcb53e84473d8487b40414f0fe3ddc70743972 100644 GIT binary patch delta 163 zcmX>#o$1tcrVSY!hE`6;-`o~rc8&V^wflp`m!>aL&A}0#7R%x^IowY->}FFIFuB*M znSbwq?5~gVZ&S|rZ=T7~Sj}N%U|?!wXlgoHspT@9v-xk!4OVAoV-qtMQ)3HL14k1} hOH)$=7dIypLuVs1b7My*0|PfZ1sg(2CQEd00sv@`H)Q|- delta 163 zcmX>#o$1tcrVSY!hEh)L?{5k{bq)IYwflp{m!>aL&CU_77RzEaIgX!dux3*hFuK?I zGVk6#*2LlX#1igZVcQUZ(xKOqPNrDzDfiGYS8 z3IhWO3WyYy5)g(lks>9CO9+Y*Lc|Tb`|Pv-_Q(Bk-{;(W-gDmaxC7MG0m{=jgdpE6 z)q3i(B?2%DZ7q+KtUGh|BI(#bL6%pj9;lc5Yf1?i%R=A5hWCtgT~1a|yDI>h4DIs< zA)ZfvJqyp5=LNK|pWRS%3_i8U{kgQc^R4m;S48hG3xs#i+L&_oD?7(OWh*0Dn_rFp zpmOt%+%XVl@etfHF2qwMCCK+!@4`@1EArvucff8HyJRo2ULd#s(Piq&f*bX7mx=L> zkj-T?`KMfw!^OfAfg6*jb|8*KMqJ1iNts9Y4t3vZ+CCW+vk>vbvkU_Cufv}B@dg4{ zB2FbCXO1Blp4aNWK`GG|Y|7`y#RUSi_3hpr?_|OBBfQy#`|1Q%lmXZMYc>qJT&0Ep z>Msf&R&E3^P93*inE425G-5z+V0rS50cd8<;5w{MsljEp%Kz$A^t2c83%%oURJoHm z46hQT`d%P@+F|9bL)G>0KbzR^Zq0P4(8W%^gPvM1II+L_-Mve=29s*twLd%C=@Gkb z>@84JVR$6%3Gpdow%ti9b`%*~*1fX|gl-~<-=q~2JB3RazQV8*{gI}fw87Wz=HB}6 z#ZG=&XjMoMw*#8rXn)W=NG;6e@G+mg)#rnUEE}7TcSKAy0brwr`vkKt&_|WV?~x|8 zKG`P}0>TXy^&r<(7KNz{E={<20&We_O!cfmW8w?@I5v(I6B*NBAY8*Zg7PBRZ=v-@^d)KyqLoEs;Z5|Wg-u6q8f`Zbp z?)yPrv2&J&)O@+6E*wMbWhRKdJ>5(Ky|Mp*hayb0dmF;-tqu*uG=c7L5PuuQ*){_!DyWPRxclIZhXwlqaXGqDA*VHr#aBd!=aaP)Pot~}6_ zzE5c#xbC(vCge(1KOSi4&^s;}MnZ|bB`5f%3@q2&q>jj_gQZ^Dwc0?y1tVQl%ZNBP z%jr;3DyV2N0^H%A%f^a12AYbgX*@K$Xe>MYA??rcm2{WoGfSI4lr1!Ck<<2ESd5?UWYNWC8QfB@#=HdLYf!Op2hc_WWCMBFsQBcaxn_1JmLyIGYwyT0 znu_R=XY;fYQX4*tO=i7t&8s7)o~LRQVkBTr06 zHC^dwO(g!@=l%j56+*@}MkL>CNK?T0<<%Qeb?i&|o=D2pq=GURUxKM5kc0m$9^ltb zR?V0HS`3=*a#ZcOu=cJ8GAw=GQ#+wLybhW}oaC#$e-FsX%-zX4Yg^i2*ta8%sdoD~ z;Jh;CFT{mvjQjZ~(!RLRB23}2ebXz_{MtTkcr!sl(DTLJSjg_~GP>FMcJrcpt1T_c zi-m8#U!NpgxpJ+o+%%^k8sO}Xv?SlfIecT_4;WoQvA^omi*S^%X947rmYycQUF%=$ zSQ_WrEwCxng*Ml~#})L0;0#M;wQt|FYsSk7P{@h?GC_6V6YC;6Dx1}gL zC>-${e9-5s@3RXWO#iqMu6&jSk}m9vKb<)ux!1rLQM3a4?Yt~MmMtjmneZ#-mY+`>zMl~y1 zA-Q#yB=M=*+R?r6xaP&uN`nSX!Fw9rn7$CvNuJOvg@ZLh;;)esIwK4!87zY-cj8U` z9hp)xSKWg#|H0X~&8)n!Rcv}}|8qch#^ssz883jXaZNLOTN0);N=~Y31~R}81YrAx z!1F9Cv5Z5*xm&&i7ZiBZ{X#hovbYL=(j(sVrp3HO$*%FotH16!+j&}&e(*=y&Yg#%RuU(GuIyP|PuG8Z%7?bcC)=@PrN~Ox-@9Fc`P~aId=zcJfmD)> zYYq(Sc^E(V-ub)id4%go-;jjS1;-;LdF*2!W~z}pw-D3VZIMPT?)5P(?mj#hj-V|L z>Dzj}{+Vc~`dG?;%gTPvep|Ltk4qTqV7{=JggN2~?AX&Z6H#+uO#Ra>$RaljTZ;tg zW??FkS`H9l{hG6mSdND0w61=dC=9lxW8?jESNj*Zk>Pjl(+s#Ht z_mz))BNm@8v31Y=DPYdM;MHm_gG&`LfWwUp5JraN-2AEkURon41K`teILZcvFfu{f zqO4H}qyZesKL*A&2!t)t#28_Xftvk42syUYRyv(vvn(@A5`C1a8Y@9qI+sZvDm4|9 Vs}U_C3zb1djKtK{ZC$Wp{{*;#nM42p delta 2482 zcmai!c|6FgVEEP+HmNG>;_Nsj;$&XNk(j}<1c8bBJ zM9_^J7#&%J-%KhOI)=RD{8Jnws|8K4>l=rQsK4H}T6SZB4x z2een-;dAF*COmPQ^ZUS32Z{Q(Uqry7$GZ8}FR2BV8_EUt;l`pqCBvy_Gan-bm?Cjo zDbEu?h0M8~Cl6+~5U!wM$oR1=&|Z5OH)`V2{GIxG4IK8Drz+a5rJC&&1Uzal#Eq7Z zK&6&D^7OI!wm|0^LfyCZl;ixwN zBJ5>jE_~sV{>|Bbg-r2!e9KQ2T^9?8Ci^P4r5}L>g`A*cNkI!%H%Z(X$@!AMIhn2a zbxk4Sr@aRn&X?4G=4}hi(;g0lJLa8dpRan<@h(PIMz102&paF!@NNs>jynsa$zioq zq6=fc4U|EeR-Y*(cbs5EaEru_CNHxFZ<3h7#BWNn4cG6rRPT9PlLf}pt6x@l#H}Gz zF_A7c_p@>%AZY{Zbn)jc@1%E#x8@&6V@zi1f1jNoo9{%Am{^;3%gX%RbkXvV$0vG( z))jL)R6Rpxnhue#i9n{(fSvcb>m>JoppD+BeKVj%`nWKS!<`jSQ#T_jd8>?X%{SgA zY9@TvKAry+ zTO6bDdIv^++*^H)6b*qEYX)3g#Uv3m!=xVKm`f1S706Yg@!$gB51nxj$_63|lh33U zJd&DtISaEVD21JU5hsZ*#G7_pRJA$0HeGF(J-5#%Yoiq4<{|b$?G))W4T^;|ouZ9H zi@;=}V9E-2K=_B#jxJj;G2oyMq%^zwvWh$VT@#q1#vQ{N@ds@c8Dxzc6tLF11(qTM z{yO+31C2-B@C4#F5C=|0Bh=4Q@eDz=y$eVQ(pXOO*lcp#TZJOtKYc34K$-~RsR-lg zO#NZALGFcCQBQD}$7%K}%b18&Z5tPL4~IqTWyCab~WVy0$}636~q&GsCl}L&E_jZi=(yf033bDVJJW5Y7Bj(Mb`@>kGFiUmbN z`9(@C{X?7$9k)>YL&13K?)aL}c6fD1xFIM%|3_1aiiVK~xO5SPGKyRkKi*KD=^sl8 zPBHg!p1>=GxZ$aG)x!Si>TePR@Qp}2u$L{zlR^r?n(J~D1I~%ALLdj=WLHkPb8`9z z<|dVbS%S;AdzbZZPIItE`o)+5*4Z3d!uEjh))pF8=^2!cWTQJx2MvGo2C)>~vDc#HNIe~_Mkm8>`3(8sPqx0GhIoZ<@2Z58%t+LfF z-K(Vsbr049PdXqTEF6X138BE{zZbfzR zS33Otqd~VgAO!laxJfmoXi4;K`lW28>)%)e4zskveV?+ED_T>`JC8v|ky+-V2dSLg zhMx}kRi^zclrPi|&A0Al*y-8a5Z{mj$gSb!mg`!mf1~WCK$O20?1nVO8?!&8Pg;uh&fO;M2lMedZ>Q`^PiiTKYjmLy`hBZ2bYNu+#INV@KovwK^v7d9?mNXMA3hEg)Jxr zpwl9JE&fYrD#f6Av=~)l*Jl%?KXqo8Ifr>~uN|To!Cafqr~&Vm)=ga$hGKWf>pMYL zc3ErlekaB9lj0bw?)iRVSRiz}b4b|vsl-^Q_q77%126B)N;M&IzPhP`gjS9eZHl9$ ze%GeAl1E5FvFUypDad;tNFdb0JdI}0@U>Xm-VdsE{gUBub+FaucyFo-`|e?zlJ!Do zu$R}Dwk(zp`>48q4H8oVskPj^NzrOI4B&iTQJ5koHE&rbOsXd~GtSCg^!Uzq$AYpZ zk6J5Bee(XoZu#w~<&98NP z-08}-O+5I%>A(Y29+!fTERc$$*GE}Ga|2RXmfXBvDU9) z|1hUj;mB%y2@+;e{uQ<(YQ?zTbvDZ5E&NmHdY>@E%K9)VU4K^S?OkD3e`EN>a+h@S zk4}pS#+XDRuK66$;D`90WG5D>E1&q;Y4%AZn7PE0PfwfXdsZ?j?=6Gh@5er1soZqf z_?TNqr;&cYVL=Go47m1IiWZBMd!^shxY|#0wP=K01*s&V^EH#&^!pJO7QyU*>x1dr z?c%sZ70ivO(@#+%B(O>{I#2Vj-Hk_I`9#IfMX{`dEscOjL1y>oF^sk%n~x7Wl8Oda z9v1z*LG&D%g%5V+^%EoBNK{*Lq286-