From 54d996b86d71afad772946bf8e8bcd8ec1441976 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase Date: Sun, 22 Nov 2015 09:24:49 +0100 Subject: [PATCH] draining just to be sure for CTAN distribution --- base/proposal.pdf | Bin 360359 -> 360359 bytes dfg/dfgproposal.pdf | Bin 246265 -> 246265 bytes dfg/examples/report/finalreport.pdf | Bin 64581 -> 54806 bytes eu/euproposal.pdf | Bin 274045 -> 274045 bytes lib/Makefile.in | 2 +- 5 files changed, 1 insertion(+), 1 deletion(-) diff --git a/base/proposal.pdf b/base/proposal.pdf index bba17cd0816d9be8c1967b38895cbfedab1f1c09..2c00312923767b27166c7dbde18387cbe9c27c83 100644 GIT binary patch delta 112 zcmZ4fUv&9@(S{br7N!>F7M3lnpURm{Ow6W#EoW5#F}6!ouqH4$n;M&0TAI6<7+9D( kySX@97&@6ayBeFhnz}iexLBH5*eTc$QnGz_73&)o0D`X{!vFvP delta 112 zcmZ4fUv&9@(S{br7N!>F7M3lnpURmHOf08=EoW5#F}6!ouqH4$JDQj~Sy-AG8k!lp knH!iox*5ATx;Qx+8(W%Kn7TO`*(ul%QnGz_73&)o0D4a!hX4Qo diff --git a/dfg/dfgproposal.pdf b/dfg/dfgproposal.pdf index 9f17e2ed5232873ffe98715443bae7fb18fec06a..fe2aee6b1f355863e2cafcdddb4474e17a7114ec 100644 GIT binary patch delta 108 zcmey_%>T2QzoCV(g=q^j+d5_w6Z7eu>zEZljO{w>n1uzMjoge)Ox;`^P0gK+3{9Pl g933rPj13K398FwJoJ<@I?G$VXDcRn%pShd~09#TVT>t<8 delta 108 zcmey_%>T2QzoCV(g=q^j+d5_gQ^V<;>zEZljO{w>n1uzMosA4lOx;{94IJH!4NNS| g&7I6Gj9guv+}s?EOif&j>=bMWDcRn%pShd~09HI4VE_OC diff --git a/dfg/examples/report/finalreport.pdf b/dfg/examples/report/finalreport.pdf index c24f83dadbc911bca0b23e05a41792b6333e2803..3c36f36e0cc3392736399b3760b993754abb88e6 100644 GIT binary patch delta 4398 zcmV+}5z+3&_yd-#1CS#FIW{tr@fInOPYQqF)FEd=1m7Tfb270TXWBZpGC4RtP!uE~ z<%bGVN%QZ!ARtRh9M!j8NP+}*-`jm}Nw7p~MBsWgdo`cEyp$A`m?)#se1%x4vCt)= z8XL~he2MO}`?VV%@`C9y`^1>cALiFH5@JAvpWP{33G!o5J9wkoimdC6<1r|Z~LKY;%dL=^KKa9Q`N=0%{j^bsoHI03yhUAk`H zj2qv72GVhH8)}yqf@EW=oH!0ugkDPt6e+|^J$E-b?C(GNUxA(w+1m--oB4n2?<6CN z7?gxchLqA+D~alMcK<-o5X1he@=0_l$P^`^!a8QCd7w3R*$}nZ(6o~JiNDA7c(36lA6nG{n2wI&b z&shjjp5{Dq)<^$Ddd)C5;yHh$gS#X@3&3zpggyn}g4+&GJJJi##*lyV1OpLH+b?S0 zgCk`2txb{v3CT%9had#QU{O<$fSXVV2HaUnd26T1V7=|?WR7UEc42)m)DV1uEd*L~Yg6gyW}W1NX$4C4^L zpcES^kB3g(FVZCY(76cK4{l83=asjug{ez9=UFU&AoVq5*fVV`43BLbZizokmF!25b3okIG3T19& zb98cLVQmU!Ze(v_Y6>$svswgU2mv;c5fih|42}i?Ftc70eFFhBv)mS=0Rc0!fEa%d zlYbZ%vkOgN5R?8V7PEm}Q5Tc+Oct}~bg(RwY+V(zt)bi~lhbq+v!2QpA^|g#wd{!~ zIWjaeGb=DLConK4DGD!5Z)8MabY&nYL^?7sF*PwUGBPkZGBh(YlVP%3|1*Dxta zDdc_ZO#m%S2nnN5?J4YGMjF|JhzN|weDn*oVPsw66x~UkkIP1A=EFIo1oL6mb$#YT zqw9yvSJ)dD{=i2md%ng#R4gE81>8Wpr#uz}6b{fq{qc874eU zF`!+Ca1Z(n`YDOXU`!!G0povgNfJy@Ej@}A!1&NX`1nlH4zVcgO~_P;uzlH625}Kw z@Kj853C|n=Z8Dc#^iy_*Tr(uu|eBImIWBi=)qwFGM`~}-7;z5~YsU!OA z*|XlxQJltkG-k)?O_on0y2O6n*&mNb@gz>tnC+*d=sHe+?f2KJ@+wt_NeV@$c{a-9 zqF`t7G|S8V{5np`VwZpYO7y+VNAY!<6xVT{3~tNyD&@CV=~pVxlTjL#Gw4H{AJQ_; zi@|N4+>|S0yu^@m*%{-9NqI&6_x5`H;*V*}_-QnXd;EC@6=_)@T}iOV&*CDRo`lps+nhb$)CnaVDX0v1PGC@RLg9o)Z}h_Z_Fnj|BVoPq0_{2sH+mtzy%)kb zen_Plm>>gviS~bBGZuc^i&o-(`uP`T)uNDi8U$;W&c@@bb)v$Gh6Zt?er_Qec!8sX zt|-H}7-#wUG#bRL%46htiNTh#TEojP<Hu8A#U>gd3zYryf z$A*7I8(FZjwQkzxeID8xdFW_1vq5C&Rf!gtXA{rCU<_xpcb z@_jCO)LhciQ=e>68&s<{EFO92S>Q!n4Dw`JW_k5&@HU#@%1|;f_pV2U5ZFTHsm=k`jtWk$h=bC~xyP=H>4hpAjSc&kiT%F`T@6b8_+FeVdcBcr;tbi4TA^eE@d_eFbiD zBD$Q2E+=vgC%QEl15d7}I6dPvjT=2mdq9vo@bvJciHH*B?)Q zez(jgfxnJZO`Otqdsjb&(_Ok;v#K|+x?q&JJmv3eCMzDV+gw#Fft<;Z^1fnc11sAQ z@*Dqc78mxb%@Qs3*xG+U#EO~iWje@)Njd^D$;}PYDW$iRm!5TXj61qT(O|y2(lgZO zDov_@>$qxnE3e2C8yjUxl`|Fxo2s@j*qo}8*yiRu)#~V&l8d-8RvsE$?>m+66EmVc zxR{Zh@r7qkOWmL|ll;3gm;6>up>23kkxflE6M?8{#vQnBM&^Ij{j_g=n5IV5^n<8~ z?HkqmcTAmOLQ7=q%j3f&FG|Wu+@SXONmQQ*fok+I8J4#NQ)?!+P1cw1WtNPq2aK!6 zcqkrkeCZBj$+mvLwpj$O9&dZ?yx#RfyUSj9Z6}mo08mTLM;BB2@m{T+*_OQWw)V>V z23~Ef&r6>98$Evu#DX-lg=h3_rJ#>1Gx&i_f1M1AW=%x>*|PrBR)03CK7lNa!FRKA zj0#iKezAH90{KO2!R$$8!*4n!C>yjIuv&gV%LDCE{gp=7>k>}$_zq!pJhwfCYI@2I zJ*!c}-_nN?VOFT|=4#A(En!>93SabGhrd!s)vq&tXoQX4j2v3xQbC4j+7PMLW#-az#7z`~Hgdpik>ZmmF_7wJd!< zfcACOr&Xx;t%QAAmAY(YspoQ+##A-5b){H`)vf|dn@#DkP9driWQ}{jsyvTSy0THP zDlg3%qj{BB3=A8+5%W7NnZVIG zfAQ?u6@43hH;vP3=?yI|u6_CsIwl*&lcDSr0W_0t`XPTcT?#K#X?kTKIW-C|S0Gz4 zATl5^T?#K!Z*O!UIWizHAW{l1Np5CuAUQK2Fd$M2FG)loTRbv0FhVvlH9;~pF+(ym zH8e3pG&n;!LqRe|H#tQ#I5<8aJTf*gLN+lqK{7QlLozfqG%-UoI72x@K{7@+IYl%$ zI6hqpFH8w#ZfA68ATlsGlkpZQe-+GaGC~0qhw*c+n?xzni z2H(usNYhf9EWm#9oDaWw=FI%(h{(c`z&XmOK=gMeG>JYG4i4dC2`&nFK>*7rp@$$= z5W*_f5Jm(WDpC9Wh;>BK!2@D=LL514s_WS{ffUl%#twF|hYa@7#U1XkPlYUw;A!~V zejK2PyvFl(AL9%snw;2uiYjVo;{unsLS56oZLYO2w>Grdu{L!)wchC0r}b8+AJ!J0 oF~BR{FvJM&80-8;^lvEtbSW9(lO6mV3^g<}G&l++B}Gq03IYHz{Qv*} delta 14154 zcmaibQ*fXSux#uNH@2~{ZQI#+lWc4|Uu-8E+qP}nwr%77r|R6Q`*z=YrlxA%X1Zp& zlPbUmU%+EYA($AMI1>2KsNxjhfSZL}lRh?n*u43Ogs@Grgr&xRqrJC&@kFrH0;;jn zX~6bi2yJi(YATd&-JAp+R=%&h>Zsr^0H@z4A1k5u z15?;bl2=_3PAe%U8NQ0~)e-t&7v$Khn>V+`@2^efVDdS5%kVEhNG-nw@<(48I6O_N z7T>Z3rY|d_kP+c^hN8#=V5qwCy!lg+AT(^v>#B6p8%6`g)+>aZ2a`wRY>SyF3Y+N_|$<`DFK#npSNldQF zoQM#Bs@-Tt+3ZTDy+ybQ zoIB$@1-JBeQ8>^*Xu)78U0avAO8{YoCRtztIlpwNSp)C=v&l)GCxuoys({x4Sq3AkT7cC9f+~T;K;0SC> zC2>eeHV8~OmRu|cwUm{YFAqC}wX);qCbv2B7Udo&&%m~Cj%eF!%?}(NS99+Dr#+wL zN-u*>%k$Z%O#_cC4!JuYORMAqyRFLeR(D>8`gMPRrNhbb4WR}k$kzlGE3%3@Ar^5JD~#C{sNpnm0HoTYVu$K4`)SB}Tm-mIYFR04F*M zD>EY;gRHTQsgoHq5hn{fYeJmYPY5m+R+a>BPHMmjQgvbTiJgvmlg(*(hJ15Vq#pzv zp%0{gh6o=u+?Q%|E(c~#QW{2*V=mVzWPs3n+w=OnbGv!zxl;3-!}Qwp+WU$B*c}l* zpb9i5qcfdOboEE@4(Q#T49L%h2fq&xA0Ht-A0JRF3=9#fKFGUf-1I>#u;;+GUa~I@ zUoZdRL0J5!@93=dYZ3&-X1ZK_^ zRDhddJylEVdv9*Ed}xUES0hBtx;=>R-d^4YFbC>Th0M8thyZTpha!)>9D;w@Lk|MZ z!9xYH`y7LMp)3y**bYIM9TS7Zu(Fu2`~$e6n(X~?<42MK@`kJcvw>@f^uos|hOsz0>3&xU>?3wT8onBSUY_I+YJKei`(nq-Ve|~y7FqFZy~pm&A<#o+8|)S#&{_Gu zKei%Tz z`F9e7Ky1LH{=Dh-1GH8IiFybuLO@o8@p2h2zEuG`5xlQDLV7~PN63_W0Xrm^o$t^0 z=dn9Ky(b$+%=4(3s_=L^Vp zcj*`9;rGzZw%V6I+4psDVyBMISI-4-^9>HwF0A|Uh3H09iMb~PqGf}`?EC3T1#_2d z)=2cE$gun^zKFa7O+3UAr2>r+#vQ-+jIyI{_G% z#9e?S!p?qBD=~pG2+}?zDBi}-O1G_QAYsolNV~7@C1Jx2?)yFlfC_!X*P;2{#-*}VjieKQ{At^%vT1Crm1@I{Sj@x}!iX@(_<7X9|P()*1S zf&jMZDoE$y4s1$LvxlyL&qG>1H;Wal5B+mncfub7xv)=Jm*_9{KgG3AN=_*1`r*WQxSADxpHC_ggN>zJ}2^4%h4_F$8E*DIvp#1SBn=qM;>a~Zw{R$n=lrkXuH z9yN4UgxX>K#XwEQ!5FG2J~4kGK=Q6rr&3Q+nJG<&LP=->;0Mhri=)Nh(%~3g6EE!2 z=(EQ=_T8F0#5Aw2t!i_t}7>JcWx>g;kz4BN)Lx6ueR};t z#9@ukc~13UPjO4PLe9ltmH85T%#)>Mse1q#o4-{L*8*_e@7FCV8tGGKEnm#P6`|p_ zTXF!zYfB>TyhCYM@9W=?{nFGkWn9QMWc>#*X;ahhOJtWSKOcuATvhKDpn{WMWxvKH zb?1#lED`i2mQ%oWXz0R&+HgVQ`)*Q*W}_-lYbf;M*0{=S#5=OOkv-vjm`%=CaDw;D_4n>YZfWjVHZi%vO&g<2&9-6 zqh(d0Lpm}J@Q9`b8mw8P4H=MBO3Bs5JuG&}^372$p{tG=h3>??2#$!icyW+C|HcQp z(=ff8+Qo&uv83>of(O>niNfQk?m*M27u*Ug3%pGoq@ClrU&*4Yopx&P8uF3y>+Hs4 zvPlE5j(X1C6*>4ycPn=}I63p#r}?FfXF*?Oz?tT+3e$iVf`ujh$-h3=uG}A4xV5UU zq!9I0SD)_)sXo%Usc5qc_{@0cy*hx?{jxQsVON{7aF5hl0%fRea+###i(5R2dDIUf zyB`cYNWJ=};&75DGfs6{YNE!ICvG#XgpivHn=Cxs7!l+#0muN7REryWGsTaK`{P-k`tIeb*e^NPkN zF7D2UoyEWvm|yGMc?PE-{+0+_)g{9vC>zB@;}No!I169bkiO6=9mkpH;P|2-CN7!fWhXJy_#FRs#jC6n(7 zP-i{Vl2_IvZ8eo_a+>Qe%R^S2BZCrjL*`j{tjo2<=ZTzeHP$~dSzLZOT_#mR%ZaNg z|5R_IU#Yv9?h-rhXp#c9-4`;GI}#_3?Uw!>&W+`jlf_aBnbHm$5LJ&hQ>%$LG05r^ z#nNfiIK>^3XrkXV;)i6Gnh!zX7e&Smgkpz0U{DLw3IaoPVKw>du^HZ*I8LF4zg#gZ zP)>@1jO2LPzMw=~oFwkc(5G#6E#LLX3V5Fb)XpKX;^bne%fW$-(fx5@W&S*cSF#g{ z;lw7Bkm^DbPYZVzY5n4-S>4WW?Wnt_%d!AuW(S2)PD+8Rtu^rC` zstnCI(~8eu6FdO#GaN2+Pv(IShXgtzl8bbgjpP#vk91^c^R5GIPG5)biLNZU);M=; z1dMVi{i%Pa#3yxBuw>=-F+!Xd(=X^b`=rWe3S_nJg}t*zXQZ%rgx|Ed18|iKXk_c` z>`57;me}FgK%|6fVSjl-C&Hl(3fiyiJoxR)@NlOIcSGRzuV#{x`>U47>m1|s)AG88 z^-wN@&WbKxId|QW)i4bj1~yL9IE4yjw^qf5o?p;|@4+>6Ht5)(247?ZPB?S~h*Xxk z!t)*9rT*U@g7@yT9xqkR8Z{~=vHa9a1@l+`n;L{@H0?xvjH}AZ6^!CS5}K)sBG^tN zxukUa0zJU5HS~p8qTHxcb*YpmX|88&Wfq@i!JU{=f@uf;AKr)e1bMb|`PH10QCpI= z3l=OZM;*%4TGljS8E8vBncQ)Jp^)itM~zi|DK~n}phx@Xp=tz$BSc*7r(4XVqc^Sw zCW;_e^;jLPj%%xJ$B{536bo1rKedhvh^YB)7dsFb-WMirUt@w&9KsakceU!#N|s#G zE|wd^KpuBm2G_KhSEIZ*)91oWjUpHQC~Q@=tIz9S15fGXzWbTy<$>J# zMnHFc8&}^ft+))ux9LyY@XgK`o|`(ee7(ZV>4(IdzQe(6mV`bWS#%n7-{s9vW>3wc z2vnwmxZ<^0G<%%uILBdf_%%SDtUZuMzustPV!$$cpi3l4M~}L$yZq#%F(gA(%C3H3 z74_HSq3+gsBf%cb9<%E7lk1+cGY!M-Pax5XBnmj-p=*9}t&cq;NBV`?dfMbt9gP|c z&5}&s#2gI=*Q9e2t`KpZM(!3aL0Z3Bp*FXB*>^0cfx1R5*6y9PZ`w)y_)v$1xZ9Gd z-jFjWsSZj^n5T>hWXK)Cg3f^2M@<_ZBo=63H}(3Ms2EW06l(Mg4AN)4N`)l4JK?%XBE{~H*z>Fmb*;r zk6^ZWlb!YmeU{}T5~3qCF|&)aJ7dt%+|L~d8@X+YH?N& zH~H{41=fh9BUO!twUo(&a zjfrze%<%-VF@Wq|O<+b($7+29Po537%?yp!uX}j)%%`8= z8`oP#efWhPRRX#lgvC*Ft0`W&^2BBfxSmnchwSPB-Kf`gZ|LVZ?%!p8CmAIwpxD=8 z7_tb7*_3pq^Rv1XBRgPF0Mpp0u*Sv0s~Ma`wq~%zN=kAb?%405Iv=Q{>1Yy1#W|X4 zosENHA5}7=*9UfaVq|^SUW-oY7Wz_i&aJps%Nbj+> zKOR<^Js$SbXS;d{XdTO^n@BCdSfXp>(^+3lC*Te6llaW)gy~D*>)b_5w=z1knzF|b zpR~)3eMOV}3Z*Cjs;#`Grwih+MVw3B-~r@Z_1~-h=o=iPJeJaqWIW)cbRos4zq7CU zFob!SZr7Y_mXICRPI%MYY8F~Jm`|3rM=L5wkMX7A&$5gYyxpl&|A;*M{H+!h;eUJ2 zg(-Mf83yxyEQhi>O|(v)_PDCfD;c{F80K2b=Qq|}M904e$R+uibN==>TJR?PmdGgu z?2^BG zAQR+y1YF))w5=OeP^p^m*$fbt{OMVgSIL3D@DPVSm0&`~>O-N`P*_aE4RyQh^I_E+ zj+9!4I9*-`b{w6TF_w_Upf-gK!MWOwOuGV%)Kq>YPvQ)h2X&xE`tv_K**a$?{fWf_ z702!>O6%JC409S}^s5NwGH6p`&Jro@t+UoBP~EJNdH%H@_HmJuM(!L63Uve4i!d|CrbeBK7gvA=NXX>WivGeU=MW=_h)6_7l+x0{ zF)r@wn(!izN?1hK+paD-!^>2tIg)~-{Bf@xQj`1j`Fk|!>Vb4PZH1Ga zm^BQNRGLnWuGIn(CI_-ZCC2-$3<9UJH`9E_Hxj`gpM8SG;G%;FMu&Bu3a%d6z&mVbtNKJXL3 z&Hln*!m{29qL2%Lu1+7m&oq_|CLLvcRVl-|D_3=$!8dRoV5}RMUt8v(6CK$8~QBNJFYjGzx;vdTuR7u@q zlrOb`X1G=CUZ`HeO2&2dwDWt?d09??)DR0jmc0^gdqIl7E?+9&B?>PlZ`{y2xR3b{?W-w0S zAG9N9!r`w21@7IWa;h%-1%ggs7t+Vf;-d7KZVI9=ZP3`_(#2WGPu}TrqWS|}BP^=R znc|H#ox-khOFcyjfzZks_;oP~;lp3$2%8nupz=(z?xs7IrwEy+b}^SAPd8w-Tm;mn zq2+EJk3Zpl8iVsska{eKU|Q<&;mQ1ASz<3q)SWpMS@i3IFUlX9yx#@_2`v3dN5cFw zpto!v$G>PoH(}0Tp9Z&iLA-^5#3s;)C$HNi!l75r9s9`OD zSAt2Ur7nN{5@;OuIgs=<)Fk=zg^$m{>CY@^zPr98@$J|B$;iCxWB1qo18-r z(rnG&3F0n?LjN&pTLl7(djcMNFZ1>=9bY7~&x*jHjo%5$M55A?&yeF>~;zYW=? zRip|tsP>aI<+>=!* zw*Jy-+Owp3EV%@P&jlo0!moR)TiTfO%Wq;7X~jnN;PeDT=U5z?8cqHdW^xq>%Cnzq z(J{?E&%b^?PpcD+dk%%4CHUEm^g#IXG6W}c`7D!lBiYsH*B4cOu$rDcM`NmGLt30?pd!W^?%{NUmiSjjX-O?_+J9`Q#Y5A zFcNHIh>=DtQf22+(TZ_{9BCxTO8vDt3K1(>oXJ2}+zCh1SI`^-->ZCvN|ZpTRmYS+ z)1Tm<_kuHKQ{UrC-OFtbMc`*URt5*DSIVOxAsdQO3ZoE--QY$zmGxm{H5udxRNNbh+Ne=-OzC2bjHKON-)M_?aa4jFTGm&8|x%OaNcQpc> zf&+Id(Rj+DeIB8?a%s=v!R?%hV; z-kCxSb-JrxDA4#<@WkBXDD?r(e;)nu(|jB~X}3CYr6`_tlxXOKEJNT>>`nj%zbFlG zuYkCldlwD#D92d=K2GYNDoMv=^DfcNG&Vc&PxpJ0m#<18L^w2crhVQDRPgXsVsF*Y zvQ011#$$qOJEanyWqQy(DIlrd(}J zOKO^=wf2PVbt|p@A)P{A=XJomr@l)tClaMD9siV}t?4g}@%n1J`SiK~G8XeQQ^>3E z(6%Wjn%3+&_J`1KFuY(tiks~H=PJ!0yN+tGtx_JnEN%ZeKFMd`gY2cnNGlB^W5Y1( zk)5cJ04beYjjg{qP^h0Rtd9I`gId&aOCjaEC*xwRci&o{Y@`vFwhnmoDqRh=Xk__t z$Lb~$o1ZtJ+0tBj9NB5IeYD&xg{KnNIinr}iAXg`6Esxg6=#RzibVj=o!Sx!*$vJq zWaL7=GXBtWdqII;?HNn=iaP!EuHq0Jlane{_I2$P1~<>|=8wr&<-GxU#7!Lz_=dq+6q{s*`yGvX0SLss-~&T-cIz6IFK~|AQ4VcoK~k zZ*+9t=&<4OpDzY|3x^U)e$c)TvF4-`qA0xRLpj37^~~IEH;d(Wo!RHqjCN7KK-E=D;r-pPYGZ=LTB#IPzw4FanZJ@vxT?C zabkzg6o6Y9_~0%F9Q*n?7i9q|S<&%DFD|KL@dupGnyDti)+EpRIki&FQxh$WBpl{cKg8*| z`u{lMe%gGXPRZt4_z^g|+GsDS_l?hPNr}Wm@lx@$wu3@C9HlAokfN^A+3mfPYd7V| z1MqxA%{OW`Yom7Tuk;Ir4s2iTQz{#zaMw_yN#ySgEEsyhi9A;_r%W8~V0#LRZ0NxBbY57YosdvGP54hD`qb$i%<` zgxW7k86Wpr`N{lF>HAr7^~KslE~3?*f95x%=eJ7#PT%r7`hKEjbT)rNT`(U&>I21T zviCGCG|>ojXnEX>c#bp*>O73Ft${FIv^ZMtg=M_P-4)hOYuIMdx)xC-66kaLnQ(rK zS(|afb_!~r2}ZEl*6BZj^Q#(@nv8uW0J*kYu0$}vm#eu33&oIaGx2sAD!e- zZ8`4RSqXMgC`auJejYju;A5ek=>vC}meG!6$aT=eqsj<7Z~AlU^P^)}wKx|JCPukP z-0TlNu(ze$ma=}_U5s*tfA0GvhE!5LO}lNrAIOtLmW1=8zZEC7m!6Jgb+0Y6RyRP0 z8>S;|Z7xxHt6XhM_x7eF&LfN)`+_z}b#C>}c7jJMCN9GQ*C$ZnrRq?0HvvDyIjZw2 zyx{cHyF|{lk*cO>)vf9<6UQYb9G<7)b6Jzp*`z2L}b1TNeI=BmH4rjedZ_{_OMEa%^{(#RN@4u1zcCOl)u`)r}~?%J6A zGb|HXx|!!>YtgA&cqa5}yPS%d=q>dZuc=t;|Cgeh@SdXSq0d- z1%2dV@seu!eN4&_Gmve0X;2E&5cAtRXDGo{0+Mb~jK0@~3U6!cH8Zvy{CIsX4d}ix zv1YYUe8i)eWYU=~ZkVw8K;M*QZN!Y2{H~Tq4++w>>c)8VlAD|uFB@Iu{C{Rn%J#tZ z68yFd?C>#E9>Fyq(FKGklu>>VkD7-OJ!=jTs$yHLgNzSf!XEjM(*AzY8Ne(?L#HK- zGvj*6{r)9>Igq(pe4q@6z1&{gSw2D`mEP{wViWxXT#j6V|BMei4EQVl+rT!5V@TPz zcL`mM1YJB8agh>5;`}N zq4k;ott`^J5>m2=BfdO*P$lE2%yw+d#>To+Gpvx17dFC0IXeWtNbY(ja*1@m|;+;-XvIb|D4RiqVUjG7mb6zwr7)H31O|Qr}!Z|m^Po8S}7Y7 z>C|QBLBH927PM$t%joTBr1tZM`ci|RZbqTC8wEZJ?=KMEKHE!4E^b!XMSM@Olm6&M z`N;zIs9C-w&+)#$KP@{dHEN`3K2Y>N1IMpB1m#IV_g0@+YKZKOu&nXZCSmB!yddRY z97;KES5n@~x^=U}8%y`llz;ahyGW|Z6ex)iuJqQk2k#Q4g07Jx**F3Lrtc2Ksc1OM zpk)Zqt`;$%ld_k|IVcx%V~8VYRl5(9dG44jT3Rn@A;?c4HH)#6Zdj}`B%^^KcNQuP zdj#KUQ=+JY1+26CyUJHd(cnR#924^)Awhwvev{GwIl;mUqh6I$2{S>v5Tm|bp@tTe zEkTg;XT7i22G#$_q3Z1mF-Sl;5<-W=AURpt85t8WMhN~FagCH>v%oQkn>#o<5wWu| z|6kb@5ep+H>;LF4flDoGmGu^kuPpuCn1ic7Qc1MqJhI2a+Em(W$~iKwn*4zS5VmMM zmg!CH-Cz6?E_gg-$ZJ;@o2iJLO@;aQPZ^G6>vOV<L(DV+LEC*GFu`R%vQ#)^;dMW1;8 zS^KQ0d!U7CMT&R)&Vi#lJfUvIq`Q~? z;e}UnlD!^+?cG6}j`=>MvT_aD&~w6F{LuBq!^>)Reah{AFXz>5G4}5QV?R5JJ_3QT zhzoW?f4;f?#*T1_(LW6D6Z8-`{!}+qLX}BbQ2@Q?PC@{vh!yAAChKI+l|ONWBy)U! zrvKSN$%=7xemL&@esQx#VY`6z91>qw@?k!wtMDK>(2Mjs4}WSSIc_jY54KB;r-UG^ zK;-6y??DV#*S9fmOMrBxnv>fkANOD zDo)(kGex(OTzuu=f|S3nr&f%Sn&<;Ccc`gJb!q+g(}%t0TvSFBx*{>xq%j%p?x-rJgtFm1^c^kqHQAFob~6SKa3-w#&LY=pWortVPjy}&?v zRMop>-kSl7?7=K8RfTD#_7PFILE>Wp+jj;E%pY{?3=I4^ZaR`(O(S*^HbF%j@iWo@ z#d8j#LE$kp6Vf?B8iu-Fih{M@4Dso4Z&VTK_G(ZjVUv<5TMbrgfvONA{U_Hn91(5) zbNlmcm2HS3TK9{~D3$kJc~20#4!|X>KSK#0ya1%he#upARm@rUW}*HGH|cc?{Tt0P zc5UrBcfq&tGURv_%h|b3F^6mB*RjrXY&(WPB=vL zn?Fa?PoK~FFP^XuH+J`*Esn9K5S>Lm%+Xt=e=_lB;PIcirCUW*E0f~KB!N@2(m^Ei z&5pO2H)AsVANb*VnGi$xOX3rP>e|7=xKefvY_{A-Mg-hA9v%X00$?78{)<0g^GO2* zxi|O_V3~ZcHU+W7F6D(hVniDr;zNfPohDn}xaZn-8zm!8-vB`j8Z2ip$ckaLmu@z!hsiz1U-lO@As!RFRx zJhX>`2Ctn>Rq-S&Q5^a3_whqJhCStw#Qf~5Z8EB|^_K{#e-De}m+0}<+I!SX&mxn; zQW-tMZ}!5nn*mwNOW<^hjjuZmLyRrY<`I)uQO;}?)v5Fs9J*9W9?9_Z-fHLOyEn}@ z|33i>8r$1aTXw3+BDFM3g^UNPCtCVocjjO99UiQnd?|Uy$H%q+-^*c0aW&%fRDt01 zUqBEZwR|;AG ze?u~CwFzQ*o;m9afu8THi=YslsTKR+0jp&Y+G|AOBQ54N(9~$p!}Q;g?{%w}IuhLH%i`}E1$d0%s^)wojmmE?2{flcBK%Xs+BhE zn>t;IQ-cm_{33jE%X*N^-lIENhV2&kFvvdCDdd4xSvyD%dlSpdo=BnnG&{N8Jh#l~ z&i@j$@PU}&`2tj>0m9x~Nq!EhL=Jbn`#Y5(TUeAY4QRASEZMCNZf?)#rl?UV-Y(sc zu;2hXYbs>76j)VwwADdT7bYc3#@foi2wsf@@tBB-$-al^zV7q>M;YCeX3~Eg{vibu z?#*#Ec2#Y7IP;_q7zeB}rprU?9%R5-e^C4)`T#mXndE$TDI}*Tng_KwufbkZzuk*- z)+8n|h8d<~eBA3JDY*drq9n#bYl1$XA4Tg6y7?B@Le73v2JREvOOooGdX2SZieQ}c zD1+WXQ+y>>U?YSdG3zaM`Vh%~N*&J$h}0*nrsoaVrRSJ<6Lj=RGn75ReRg@&D1TSc zhXYXahJ_|2(`qTIP|GfhXX;vU6jSWsi8Lk|ggPZ{eLIF_aE6%a_lo6}M&fiA;#Itf zI<`FjuKBVY)7jYdh1cshLc%`D7y#*TsfsSo4>QGW$uJA2tjMu+e;1!h*|zrr z2D*i$zw118))GzDe?!i0>ynq1ba&Nx|FmerJQFf_nLF2$tpkEC4R#(cZmX8dKV`H| zjOjj_P>T*f-&A&Z>&+dv@*A~y%IVFG*_WgN@XD)9+$7feXA6vxAQMCI$&+*gA%O6Q zZ7y`(g)uWtnzg{=@yi>U!zWk6TSIf=x2?@MY?-#w`QRDSRsp89n-j-BgiQol#X2(% ztH#RUrs1~oxAXi;3H;+*i8Y$lrH!b>BJ9#DY)$A%%Qq0Jd~~Z1u5>fL&1se48VIsck)L&o9x(1!nb$ormPJzvA~pgeb`U$qI~&p z+G&1@e7Cei`)u~(wl3_Q2f=dDbG;{XhMT>u>-i#GXc7VGBB|Dbk&H73P0i)1w}wL3 zUb$y;`0DoR=c3OLva+0caXDQYWsz_jG&h;fid7wph_h&uN?rT8C0^TV9AI?{@+;is zBxf<)C3N0HjOXS2kC^97@#nlucyppwQJ1A)`}Tu5=94b9LAHxAgN!ClD{ldcTA_<- zD{mPXNm&MJ>3g36zKAOMjQE?4nmf1P>DW+bSqH1<@sXNg9M;quRf_2(r_aAA!>_8) zq*FkJSXqdn<$$Qr-> z`9}UTfDkb=vn24MQ3L1`9LiuI$l|-Y@o+Fya4DqzpeT$Is;cpDsu*@))TNcJplqf! z_b^FGSwgtOW5V9rUiT)ZUz#Ydj-fn3as|Y1ujH)$a6b`ga}g+YBy%7*cz;WvfMX3H zcii;G7(|vpT)KjS9-s_x(WCUS^`#7#v=LYdL{k~2^pF)XM(JTs?7^9~^k5y;L_$7x zuf&Lvp)A|YU!hz5Q6s%}sWyPe&LD}vYpM;sibTXLT_&A=d&ou&n2AB6R>`T9^ED^O1N6YLttlRV&sG)Cl^x?hxFEiB*Fm`zM9rvFl7Q2;Tv%c`?ju{b+hnwwjgIa;{5nVXs$ ixfwZ`nY+2U8k@Sf7#o;4ni|_F*bq{(eU>)MV>dgL delta 110 zcmex+N8s-rfrb{w7N!>FEiB*Fm<>#grvFl7Q2;Tv%c`?ju{aw!nYvlJnYkF67(1Dm i8o8QS8d^9xo0*z98<-j!y1LjY*bq{(eU>)MV