From abd0defb17940c3fb2463d9909430feb05c36667 Mon Sep 17 00:00:00 2001 From: Valentin Brandl Date: Wed, 18 Dec 2019 17:12:55 +0100 Subject: [PATCH] Fix typo and change wording --- work/01paper.pdf | Bin 147046 -> 147041 bytes work/01paper.tex | 8 ++++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/work/01paper.pdf b/work/01paper.pdf index 3b16b7eb9a9f99fc4b4813ad2f72600d24158f29..3177d138a6fa35288df1a534ddfa3c566487066a 100644 GIT binary patch delta 10562 zcmV-IDZSR_{0QOv2(V6$0x~$0P>w8r<3_H2&#&;KTxBb~UmoX@NwSq}QZqhhx6Wi9 zXo|MDp-6|M#;g4LgAX5?qGT#Fwfo{mqc3cAqk#`V+q-(a@~*!B#OujeSI5y-s=6n9qV0neH+H!>b~2zn}KwHdF{um zZB^yNSGRt;4$_3*x!cOzapbM4VyLTO zM8#hf?S{neS}KS8inT$$(-^($*jYwCTnF*$p(@83#Ahtbb*jc~w_&%j!-}qM-6H&T z9>-k7Q(qlNwlZy)#;e!AypxZA53JNy$|O=ot5SaX?>E-=KwiP>b6<}YIbBayUlkkU zJXL)$)?GWFR@nPd7w4U>tJ9eS+xImqcUz7MW!gXXbzcqS4`bK!9HcUCE92IG8pX*% zE>q^j!R>A9dK=X}%7#g8VJ*+~xV^p&QlE2!cl%wLHW3cT@t9!s!#{tBs+>+v^gJPTSP6n*HWvQzLakg5KmmBN( zVCBe3u=(>D+?@bjES_S|D&i(aMO;$ybw;ui{sKWd3SDV2(JG3;p`dn!I=Txb97cW2>#hSe4th{$pQRL&s9@ zV0QVoNf+6Yg`fXewIcHkE{kus0}|^eyiCID3rzCNiaUMQc6;mK+iY|qt#HAd-?oYmq$O~62Rb!$0)OYtywX?PdmIb>=+hbo?oBSY~0SXMwO}&$^Z^+yh{pMM3 za$i}uMOCt^AGafa?M1zNDoUf}r!}`nVAz~zYx@7}sS01?T(T(kONteeJ$=^Yi`rfVy5%C7Ha z)0zVtU@#Y!P>Q4pW)L}QRJ5U!;}9$BE0WLh5mNWYX`!U!K;e)wKJObS^!vK0c{!E) zwrcCbhKlGde0-?-&vglKkPryG{pEw1c#%5W3A90fHc$?uE+$Z!9CR<(Fxzfap^MOI z>yAz*X<@@ZgHts1;%-d()igqEIzV8p?4Mwh8`kctve;8iBqoHyofIP~wtA2vBD=aR z#%k#%$cVCf*f%&Q=(y)?)siY$00@$JcnP_W27y&$%i1<;qU{q@FW(Nrb)IJY_8UX= zzxLOEVM=xQStQ}xx0P6Y`|2;B#f*wQnehDkYTWm>#8;aQhYrIRu)S^Yhq}diM{y!& zSqN|wQnpjB>xNvFDG>ZwPfb^=`Vx-Xk*;@R4&=^_=(J8W;8#h3>61WXD!U*S!dY=Y>Hc##RP^G>0Pz!fWSZtj-ftktsNCBCptIYqZ4M`Msis}hh%kO~KI&Qswv+QG`tT_ND97c z2M(Hd_|5Y|DnY1a^!mrv_2)t7B#oXu_`Ds~e=>P;j`G0cEPvEN{+uZGeF?ut=R{&2&Z>4G#~XIF08t85er#kL#Sk1-t{~2xs-+8} zI9L?b?=|t4X+xB9EpAAus0YA*a^d{d<28J0ag|i?6?)n%?tTgB?iVMrsTtYPk3gF( zI?Zjp1HulV@?HcJz$Kc044^*c!$c;+=H_JK(FCyi&_f*2y)cFe+eLp{FIOm^Z#Ejy z3xg9=9!_&ggP-Rad2r-AjX$BL=P2z@xEEj)tc&q0V0XbX@VB|>dBc5Z#S%dDgJe}a zXc!VCy{sVRe6{-1!4yst>REjqQ2W7+*J~qVWRIr-9ZRCMr30CNJjE~&AoB0Sqe6L^ zrI`s=V^K`>xv$3Oik%FxfY=mc!EqF?OhHMI9YrQ{Ru7%1WP*!V$rhYs%UZl%^tX)iUvDk(2QYg zphoPU^<*SHGYfKm>?9Z0dK4_^j0(|}iWD|~74XW#xs;;n*!AwIsdgIRBSZZRDR;%c zG`uFHQ+zh$WB$pynr>fGXN7r8isK{k(<^c2M|CLGaeE+p^1IEKix{n!U!R?r^wRmy-SoJixhKj`WGlZtVtXZ*Khzx}WRs>;N7Q>6Td5XW(r%^Ns zc0nTr$dYb`&->`l z%r9zZ;07#z#VH!cr%cVJXsrp+F;Wi~;<9I!dme|dv+yj8sM0NlY<+@*k9hbb5D_Hd z+Vi8UBu>|H81Z9oEgW%ookpv}lg;_zFpP*qE8R7F21l2p4S}paStp@w<(sbEC?H7l zX!SSQh1~(PISQ#<*&hlx6*sK>EaJU&u~;yyTOd|{PORGiTr-)U;B=$@uPC=FkdbE^ z8N~O+;fB=P0?OfYy*cTTto|;LzA3EJ_m!N2pRF|GBXz`QP@1`PLzfQf{QLu&RV`^( z!qpqAb87)X+}3I@y>dcLQxW8Z25G_xk%Sg*yMU80Kd^U{dC(lXZX}VwCb{KiSik}t zO}0RPwuhlB>w?-ho1%4ljgBJKw0^Xi3l=WncwrqPP0mP`t>RMzKr1!WY_)x81|7 z3krfYZ5lnG4=wxfnC6U|RdfmgUfCE+`k5R;JfT zi>ACpb}KcesH*qpxn#RX?eImtHk?MeXR;wRUP0%k1nQ=Qc{0a+dLT#Kr|0+LR_cMM zlNKFay~td>D7+M1yRjoRv4JOHtT`-yTrwT=HyfVip{$}Rd=mE5n+sv;nVhG#BT`zN zQAS(}4yT%7=&K76Kb_eRXRGi7=5E0)o}QZ8GVGxXAfSg@2%p+RJCbb>#bt1Ps0(k2$u+BNlQs1Gft6M{3vQ_xT09k{?ZTB`UM2%PT&8joAV(M(_`7u_g-7Z6`g zs|4#Puzmc_Zp1u0Lii#G(xmmL;xHw4-pe_5yZTRF-LFD6ubdwj30xRBEy%{E1>K)a zt1LLluRi?ro*pPTMZL3G)V-BbZp7_HSv@A5kzSkSXq@)9G&5Qm$^Zo)3N24fQCg19 zp+-=JW%;;Z@|upyWmrzrA*bno=~FO^&7(?Z7StVmdkDK`;azGog8sJ__4tx0%PNNDUiW4n*pfp#^JyQqN1+tRs$@ zNe~(OVGw6IWiTVA=QM7+yGKTK3gkLG6rWhZr4Wrd$T_3Pa8LPkLRph>ur5ta|C2TO zf;w8F2RU+h>WhO2^qTFj7#e1}Ups^W>-Y5{#vuM4G-8>%oMS%ENKTg4BZ|l*S zV*g8~`1s}sFwu?x&xd#fvdMp7xA&F1E`?nnmj$-5Q>Ig|&8fF~Nr~~Ks^M z(ScQ_ohJMB)=op4(t(!x^qvdMmmyf4(%uRzC=2}VDX%^~KtY9n_oA%axlD)Q^x_3q z+@2tOg^_x9?T4yfV5y#e3w+Ps5d6%O{VFr$#>EM33zH*pA}XaNE^65b!wh!YwYSwj zk;Y<}$PN7aKWUQCN1p^GE({9JECF`eG?ja^b7}Y@Bk%b7#^k$S@hvlfDI$BkGC3NpaobJ|!3!bm0 z!aW3*o&V;AXOHjDytH}fiQBnm7X~7As_}O0ZX2xgzMPML*Y#k|C4f86OvLsA7S!ot zf-uo^i8V4kVJH+tQ{$89Wo9Rg&&~{-vcpqEebBu8EU(yA_IONRbF67b?D2T+Vx9Ty zT@fl=v}@-zpXa6hBwt5qyw?OH?#h^c!s`v zE9*fv=}n)1Eh>-J@iABat=R5whwZ|mqGT;v$@Nn-FVjzZ#cF3Cn--*L5nH++dFv$c z&!2)Hp9f<|!l=G`y9MHi+rq>Gv*#P@r)xh?zPPcnfWXV9-_Y6@9~DG~e5WnNu&r>x z^mFZTG5is6x)xiw1Qym5F82rvLfG}Sm)!|d5O(yhHFpuz3V zyUp^ZQ?eAsh&lQEn0Y-jNpWqRgCutotT4)??r&5nb zy@t^QM!q65gGa|_dM?*f_)q2A7d@7RUn}3i`h|Gw&#~vwGdPH4sb;AS@nhdy1l=#bZh{;!j4|bW~K1Gm90^)aeD#FaZJP)JNeVEr zp&Z-s;c_3OuC6W?`%ztw?xHu_%)Hspk31=#+&=o#U!r7|x@qJ`v)lDd1&N!c@hlDk z*Gp%&tJz!U*?bXt&ad-0bzA@eemZ}5`wKl8yJ_qxe9{lye1wTTm~I+|{O$sn2Wf&YTpfUOUAc&eo#%DianmmQ zP&bUM_om6ZqS|mvd*60u*K(!U?Mt&WRmY^=w%{4^j$hcBd|MU2AE0wVlsIoy@DAS? z#m-H=6Qmi&S1|_1Ktvzs%5zLpnUWiL?wFJAITckdf2j$Zmb==k*s;=0X3wc7YtJ=u3Ro(FejrsjhG)6d9$m*Ue_|A=)oEKV%B!mtd z2J(6(P|>xfTwk2D!-{R1Y{!+lD(@L05hB8x%Vp1Rw=YVw;+mz(ruwq4+X6*lQB*6l zH}FTRe;NibB`}!JG&%X9%a$cF2N?sA_g+1_Ldka-^RnV60)MeAI>ueTdedGonmRo3 zY85d#&Q`tVl7>ukxmq>2@wmb>tegg4-q1{vbI$QmO@s-W4LY{euk3potHCuVZN+DD`v#Xo?c@(0iM)F(SZ`3r}=vrofVyanl`H|CZ>q99pE)bTm>jgu- ze}Zxco1zi8g&|r6#82fJ=?ScKJhuoI(hhSwp$I^xXw+HBD|UwprfxoRO}6stf~ze4 zx!HFj0NFilFQViPmaz_fXkCV>*J9`V!BE`&<}2^>l&J_JH_)Lq6}PneV-Wg+G-B-2 zLLo-<1z;M(>JpIL;eAdJG(FIY$e#`-1nSA$4%4|K%z0J{sa9CX#jh4$V$@fo<8j$lbkFukgc0~Hzn%Z zY!AvDhV@V*`AqTRzd$o4y-`c7QA@ms@AeZlGH!`?(h01hLX)TK2~$tTYx~t6BdA8R0%Nc zX^F)WyT1@_XsPzB=E+*sV&+7n@f0FNQ;5L!&iw2uqoSuRtFJir;%c`cX2F;%CpwE3_cTnS!v$@LSrWV z=DVWXqJy70HJVrk*LB@(4pr-NBp`kbw(N?{wqtN9sG{mfQ*8L@u_1)G?`VDzj z=7-Y8B3>X$+Vh>I2oxgkwne^W(DnpC=mAAL@_-!(w15JDsoS+vet z@TSW;yRX)=O}2t~+;kIiJP|U!9O5bs;c6dOY0y7ymo**vLC}Ib5KGzAOmS&(6!G;` zo&z3v%b4Z;S%ta+p#~k59miR#q?%NdBfAv9#w0};CuElxLs}2YyQZL(hQ^ISSEFS7sgD)&fRWC+tB4$8 z=ZS44D}L56-_F4*;;QNhf=GkYgrGR*fIBn|S!JxWD3Z7`e>xl}vO~9}bpRN&g0@bevF`(eY?8Tv*diq3@%2biN6GO~J4BX>s)@-mhJix*q#cw2sO~FaTUbfd84n;o!+-pX}BWtwFljX7RfL1#=1p zebx3gQr1&pf;AOweQ0uHJ+_r$59rLP!GsL?%2nD*#S+(lLU#PrO_KiD@nV8aGUBqu zXlIg1e;D>&819^j-gvGT^g$~au#K5wrIj11o@}3i?`=Ag#1I6Ad>1H5(p-jvOe8t- zTwk9WvNmrDbTgC}r#!XF1HB3F$B+v9z)gGD-6(X@PU`yPnL&Y2!}Ksu7IRg!sQwl^ z*e4K$E~k804+84Jhm|Kb(Uin)e%Hwq&@`$Yr}yDyTM=9bq%Ah4M1vLyz$Wz#3Yv))-si z4T*5DJh&@w%hAgxHEL?89xQ z0gPk2z?(b=(FG@BQFDpsTW*h~T0SKwK?s{weOW)N#P#|&$t=sec%yoO>j%lhe*-pm zM0~yrUhJmY@6|sJAP9#gi~>2bMyxe_OtC`0)wVzE_rkJ1Qhl_Bt;yYXJLNEeuMnxB zGc~&H8Y7DM9YgKt{1U2G4gh>02Y_QaK;ZZkfF@2}_V8wB92QpNI|Phin){!QwZ}<$ zYF%Rua0;#<_{M1>&gjQg(eT35f6EUDvzm(ot94YsdgutlYAzaak7GCX21Tv{{mq)~ zbk&6A(X9OOk0)$Bd_E)S_5 z30xid-!L4eKN-*9NB`fC2y+Qk{PiOe`jZh&dCcF{9Tm7?tbgeKRp8Nve)=^V82nZv z29$l{(L8`HN`PskSrFVLMmHq_y_WPLyq8HF5B7k(puqvlMo0A!-R!%6A~?(+LbOyr zunXhu{p}hOyt+XBSPjW6fB#p_!oT&Hqb~_nK9Z`Z*Vn&3e}DDj@ssPT_pe^R{N?KM z_U2zw1nkFs=e+oS>?)mn_3rl-`lKiB`Qqtx1of{+PT!?LBIO2Y`1J}+=#Pi=^Z4~D zIDNgv3_|;dH&yYO7x_6X_Zs};_77)#gtGj!`~KlU*cbahRzb$8e;fGmk5-V1bnc0Q zTn-BIL5%uk75UG~tJ_DvKf*ok&D1Q=+KqKE3j+=AR5HtVkKVrXW-Dm?1t&R;XLm%p zgAfYM16sgxcJt_OeQM*7pa>m;Kv>N}JQ@k*8ua-%qL?qhmG_;;C)bJNv?DMFf1ZQ+ z#AL!RkkO?4nFc;Re;^;$DE>j?QN9}_a&vVfcQ(+6OT4gwa5zd5-+6&SUz!qdzE=>< zMLIq0mWG(-+q(r%xxP&y#Y6_>MN#PdgHGbGL_d<_21G~-4?z2Re<-ttE0flF*Pf+J8 zj_4?pSB-8_6y_=AAG0%As(iz0vrzqTd`yVxd2-2)4coeIg(%}i(DWRR z?vfaZ2e%U!ev-eVMz6&h=FVVg4{|E57F7Cjp^ca!e<2B}A>=48rua#c)2eQSF^_9v zK1kNG>Lfp=A3L7!n69&@sG}8ZFYF`raCnNc=DRAkf?i`jv3B^O2JdVy7(*xF2tWXp zA6iP2^n-`zmPAtb8D&__B`cKJaQaraRjY>&Ap`6)i&MlG^=gMxjVXDXZe`U*G1yg=0HZ?Nush%B~0bk zF7o~!Oy1tJ5u_vxF@g}jbFKv7#tAN%L;$mP!7UjR z=Cq!OfXyly9%#X^O)_kmQ4ZT?dS7Dp6Q*UHe-4|`u*YDpAJ7V7wWwP9IsoC#99Dg< zoMxF(vTztWtE|hoadi+X>=l-n2r_xTP4kL ze;CwuSLB&IWm9q{-apFzOELAUp}h^@9&Dbmm7Q5JH>|8!;)~q0;@INH74ne7E9ED#l9>m zp`gzC{M`#9w$wdeAE&`hPTd{muAvkuO)||ZfHh8XQGu0OMQ>OiN`_HIV9E0Wz}>bk zBt4_QwJK0*ayCgWW9j1% z&$?xR;2gY(K7h5tBr`u&a(C^=-Y6>?@hA49Wh_e|Qu93^;`#(=u99==+x$tykd>NH z@XP|-W-#Zh+0;>PJtx8e4)Z6mf5hp*vaIWmt$=;vJ=Q2eRFT35fs-{t1gL8IzTmu> z^LjN!zDBR6IE`e@{%?j-j69OmjgtVc^xRNOHre>oy346g>l6eP_N>5uFE@Nycin$q z_k}O(j)D(}dXyW`w`Y;7y_h-weM{GY5ChxKHT+nT$q=_2vdb~I%6?ALe_q%}DD68A z?DqnU&d3yig_FirAvwDZx+9A(IQEo~p4iNN1nC1LC{dO!7_7+E9~x7;0TVVhSf0re zCXz}>j`ML5)fOPs4?LV`93@e9G5fVTKFNR7F-IMuu%K4=1E=byu2&2V-&b&bJZ0K` zNirdS6V3%XN1T!0ii7oBDn5yc`U}t0+9N=5nmc)F^d%kQ?j&6}!mDx2``k#4a~7sf zZ2kvjdd@48kg}%3iz5zjZ2RJb|F)}bWm(4W-90xctH!(6WH@EOL0#OB0G%-du zH8Da(Ml(Y>HbF8uL@+ZqI5uJ|H|aF-A8vF+xQ~GebExK{7c+Ff%te zI72r=LpU=sK{z))T?#KuWo~D5XdpH;H6W8vjwqMAI|2!R4lcNY`wAk6xPr=#ET7;4 zD9VnCAVNrt{sB#liG?w-uvQZbYa25^z*Y;jv7qq}7(0s-6AQi1Yx88z%)N8YdFQ>? z%?U`B zoUXM8>?K!2PB-5N_LDnEPLj|$(JE@mNj178UWkEA+q2vALjK?Ar3M!^_p zbh8TeJ3^P+V1eaPqIoa}Zjn1lGz;#4PS6F;f^N5e>IcPCdqxW^FRAG`m;jSt3b03N za;yBRM`plvpjHeoO#?Pc+Lsd~&XP`n)8GtfcB@%Ymln6$*<#-&}asXED$Vz8r(iSR(mEG9e^K2@MnldfEfZGL;z;w3F&9<@GZ8o2{VK;1c{laErGq$!(Pj)@owry*(`~L6w-uw5=&73)N zIaf2Y{fcz(id3x{2gA#ktRBY-tjg5}Ojb?N=+I3!hj_VV3l8hnsxAxLG{x;AA_dCW zOGrRV*kzak&!<(0a7>&Y=N+~_KI}yIx9##9^Si%1?|KDt8#XumZ%!OeKvt)$$Vp&G zIM|lP%v;%|iUGujRiH*o;(2w&-T zE}qlWbb8l3ysrw(JTB&4yx*TV)Mof2s(ZPg7N1h8Jmx?u&dB9A%0|LlN#xvKbv9Dr zJQin!*7VNMuX6^rK!d}z*W1DodYC#~3s7RaW{#SCj*z6;0St!LR`>9$MFX-MEH!_3 zaYZhC$Hmy2_#AyZ%;ma8`89`$Lta}!HXyn0;dc5Ts8R(Y}R9Ne~N_MmI`usS^tbSGq0uBL}UF2cI2m|3mG8#0p+w6n@?lBr=s=i zCqVpM8S8$HT zj{9wm`P9F2Zg%G(%XFCrs%cp)C?Wc-Cpi2;>qI^CFe@Hj9rSp?CAUx?^X#IPU^Vf?MhYG^=U(5&9Vz~|l`um-*H{BKjea>bWp8h$Ch_cmMn4Qh2dH6`KHb+~Q z*lqlMyh&;;&0-moW(!iL5XFbm%ZseID|FO#uueXV{QbBYJCUgkqp?O- z$+=BAK8Upe9^u?mx;jEjdydlsnLBKa1>reg<|)#1z7uFQ;(`iyk6bLj`xp_fk{TI^ z>NqF@)(QEQ?d4%J$`yPBQFnZbP^khKSq`(GwwNM~E0^Cm7gQ`qwdLUTJRD?|r|;Ua zDukS%8r`;$LY*?3aeL%rYa0#4(?iRukiPIxp5IUBcT%-O$NQ&e3gtGD*?M z)4f#@_2!*8y{(k6lm5w(x zhDmS+8rqmI2oG@N4{a5OQbMG6*!W&v$59mMFp#j+x?gra+YB2WexH#R4O+LGHq(oN z4?BRoNIN_)6xYOGFOtX1)c?U?tYj&9coHy;ec6b6Y-Me6BkI_?Aq^6rW4rhqh1)Vp zCI+HqhS@R10gJ!~il3Gqf7dY$*7!Vg=Qtj;)PkKe5eaQPipu98b9pWRx6{6NP3jbI zJ{QI-F03EvJH^AE5JxVgAZs%!EBzG+64M$wh%q8cm=Tp(jd+Yxve#p7S2Uj{p9&R# zn@5HIUCR(9BLdu6!Mk^#_h6C9U8^93D}pS8Oa#eLZMw~Oy zO#Pm%4iip76aSy1T&Gl6Uy=)ZV_MqiA_&3Wze<5D)DEUXN8DMia-_>L5F#d8^&=O5 zh&-AA@?TZXoq>nHVf>`m42E7dO`ugW)q719NFlcQ>s|nsd*9CL@Z0Rm)i8|hq)@=m zo+)HR_Dr?M@f#^-$r7uv=Rsg$oWbhnIe|1{Sp#M6v;YS6Uyf>iGL>6+mjVt1ZTAzO ze@8x3@cMk0gLl`ihN~qV_B6ZW$~e~89#~Q0$H6t>OXAO4U5aEiJE@PQg_Bn#TgN$juoYWP-(&ouOORla(|6(H zLr#^P00e^4MABdqWE$V!HT9I)>8slR&OIDYhDvX(gP`>|yutqRv$!(cS|+W%A0OvuGgMG}h8??Trox-b z(fvGol|#YJ^pPk^PsR=>&Eji=X4sByYLpK8AJi6tfzwEl{7PUMN-)aS6J!ugje?>S zWZrR-=*5$9Oc+plvy=F{jBU{>qiW`F#geXrsyr6YAgPjP1OI8pOt)lQB6^Ug2rwWB%FVZ1Ot z0B*&e%hvIfTm(3SV!o8+hSv8<9^#}vmz$KCqK$(}MmBrMNBpd+IPPT882zsiMUOG> z$Cq)6u^#KZ4m9q;e7P7!%2^VVB&Sd-n2zmHvE=|Zi5jYKW5=BKggHPa5PR9DM?1^?9ZNVAlhKm`R)$r0SyF(IDges(;7Z92C`c%L7N>TfV%FZpp-3?Smy(OQg|up8WAw zEVdxB#+784G5b1+Xzv&5@7nO`iN9?Kq-Hlu?)=*_@J?5(Oi9_z5@l|(eXsLsG)7^> zV*9{!UWV!IL^kQ~Ikn|ST($8=TL+|NE-Ath=EGFq-0*716>DtC8e5pX{|+L>+jg>y zOu|pQ$@t17LC~OiU%bD~aRlU)*N{BdeiAd>T!!9oyKY zIOTZ3{N_&-2&@?@o+kD(g)1Dsz}YMHSv%m~qEBgWNU5t@z6#Z8%`M)|l>g4b(KwQj zXhTBWh557{HsvXl(tFq{l95>c&d%)Bv3O@Jn(B5nBw=robrrW`K^1 z)f_s8z^H4rcM9KK^&FB>>+U-q_odTNd}Tt2R4=;C3B$aE_4j>j-PKtyk%bpim-jM` zAc01WQvf??p=Q2Xb0xl`csl)Rc^%&7d90U=C?(sPEK&ntoUx$DB*b53Yy?l~+lp^^ zU^cNcAal0v9O-oBW+bzDFqCmyuJ7$Pv=3zt z)4g&o^II*Ma8WmuY7H_4l=<1wdZ1c_m)o{p`$9o53K6qlzCokl0jJN{#eeGBAYJ`s z`_wF4P=a!_N7KUcvrh|W?}gx=U1nVVpovMLRay>3vKqcBWsFxL36T1S5Pt2&Dpn(wr8T~?-N#%lxo`!%70%4a zedf36q_iu?zXN!n*msdSDwIG~(;2(oZ>hcmq%(hzS~=;aIO)ccS~iObU2b1)-%S+$ znnWOco93E}W}S=fQCe;w1t6N1q%t^RnUGMWqTR=A8f8(iw1K?NW8Yb+fKAUFkC<94 z^^9SzhOY4!jABFcBQPql`1&%YP4N}%f@9ElUT)?J^I5(UrCFFEQr?O*1C9fG6nN`d zotSqkdU(>OP-U#R&hB`&O)Mtc5os(%ty{$XGB6bQQ&Af)6yz!lm|ZDQS6V}VZXuEz z|K!PYsKr4BhB`)_=;|ql+&V;dVbDu(Q3sfB;!xv7)0B!X~`VnDGl)>3i zuSv(6?SHa=weeo36asXE(O~My5Hp+<*fI(F+Uk8NPttn;G|e0I3Iu9@@DvPR=^@=_ z`5y|NT}tZPUZ{!hBNB3~lixNxJmaHIQij~$)%`5s(=>SrC~d~5X+-vCk!4i|x{G-E zcGd3pP)TefKkbcdmri2#OxeYCT7OU956HnnINMx|7DITul;lax01H{)MD5Y8b@8BP zR)poOFa+KLX!ia#KcM(*QfrOr$Nf7gz()CBYQ`x3WN!~^W4jr<5^SiDjj+P4meTXr z4X*mQ6)k-vF^P2u1!vjn1s+Pb!BAaO{J!sS*-6TRYGJOf$YIW5<}aQ;p`$BO&TVCg z{&oVRFUb|CQ@Bolc*n0Qoy8rfn!M}FPH9?X=C0%muvGtMy@C|CKHoyYlaI)1wD@MQ z_a677<~NH3tt`HE&@5pF>QR*z&r$pnK za#-BZ{g5G!{zlz&b@@@K*hA)zlhVw~$XN%oWHqaOHa_upJ36YZ_mnjG66kLlgDV<3 z(-`UoG`?{<^M{qK5NVmsrFhxivbRZzmd-8P|05pfmQAcv*6?!7C`gdxY@1AGC6zNK zCgO}Kamaco(0^_dXBB_dtby+hW7^kU!5xL^%i(GYY=K2!1C@MA+lbUeJMXXZ<=Am+ z!Z42TYrwmpsyW*c;1Kck3*V;OF{dwd9cNMoWKMK<&zIKu1rPnXOsfvNbCobI+PJY- zcl9NT!;yPrM(Oy6u77&xLuHcW^|A7NHuv+e>B1w=r9Lq_+_&+5s;nKfe9p8~;lbhg zIb>YPlhw{56&~)fi+AG0{>f_=YuJtS+rs%7o(z3&b^+{R98*TRD(^2aaV*KO^qtqU5 z;@1m`J9(ep@;{4V4kZ0F@PF_??VA39imNo1i@Tt<7?A3hSnU$nwW{2i-@qYOhD&^n z+{D}47#w(fxUy^hNVDU{*61{Bpr70VtkJM?nlCQuRw2d3PkG=noPJns?XN;i&mD5c zG_6#eQg^o1^jP8Smz^PWFX7vf4+l|(=6iy8MxOS?3?G6*@jY>^MSm0I{zAo<$H(QI z*JRV?t;I9yfIpmmlT5!Z-;8d>eV72G2Vx(uPUd zfZZHLi*gi&Q8mXw+0p`!s}T;Ec3{_^@CJJL62gu+n{Rck$J(r+Tox*T*k@gn$r#N9p+(LmV=pnkXH#e-$+g|?p}aL3O0^MT zqWU?(0o9gIAr>O&mVdj_uLDy`Xx>hXz^E9T|a#TKGIqK4}f+phY(@-Rpm*)Lzy^6f-K4+crKjj<~ClY%3 zK)yTddh@ew7|9s22IfIlm1ZFXkx?OK?zhnoY$L%)e9iV!_p>^pyBI=^AC~#e<8=1yaGlCoCC3Y>9eZfF@i*MS=)%kcZh$m zUy&flHqfr%mC`ZA9|pY5gB7ECo$Uw1NBt98TU(dT@eV5XqPWv{p{|Bge*ObjmeAG+JvA9&4-E=F%}BpTSZfRy0)Y zIX?@ag?6*ci}X7rdH>}qd6k8IkZD%rt@y#wJh(&}YgMX!RKyG;0Z}Y$J{%N8m~>?q zuwi!Qr@xF+E8=#D7M+^yK88IJ;Lv^@+dTy@ir-mMY!piC4MviG*34mZFUbKda68$a z@ZbyQT}^7o@MQ6b??F>`IV|A`8#GvFE)W67+l~69VR04t`8{7+4Oy~_vcjl3A%PPi zyxoMA@l&p#mWYU)L-$qZS+N&&ftYg4qT$wp6&EGnMGxyum%mFCU+M&O1`F3KxA3o3 zO_wtK^zb_=%$+1t1b^sUVQdohPq?=e77`!maUmQ^$WTnC9Htj>(+OOyIIFc@mX-i6 z$0r+{)Sm`Eg(d39Ld1=pS6l-lM(k^w0}_M{1|7z0PNLd{(iq?%m9Zj5^W@@F>6`Jg zmW6{Tkk(z44p%$t#ZZ1~Wb>}Dpf(d!ZMO<0fx~2vr5cCi^A=6LeRAnODH(m&mXnuN zil~|L7VFa5mKw5?MhRVgg83CPv{zudG7Op(S^0p6O*P=GRwptCHXeG^w<;GzeF%y1 zHu#4d)M<=QzRPaX{%w+21vb~aAu63r54_=|s8!TpTt$i}Qh9~KQVe}j_0SJwHH@+e ze4ZV_-Mw&GLV?kpY5pFUlR?^7Az#A0hCgrIv&FD1RSi7zs$J7(V^Z zHq^unS475wvOf^eRTbpS-%~UM=+(NLk0+EdN7hofB%#yJe5JELxAW;tAV zCxCBr6oYXnD`%`|8CXlpk_HCv{5|A-6@QLxE@!w@-?+*pKl1P%k(X2RjFrG^7S=~Y zp7l|bap33}sk-NS@O%@d<;*m~E@I4y7mT7KZxBhHU$Uy&CS7%@Bi1Cs7rv}b(GPOY z2d9{y&GJ*pX~Ub5^k#B5M!PfGsZ*@!6O@a#yxkE;bdBm6Z+mMYt^-LKGQF$qUkln! ztqjUtlFYXx^iM%5*HheK#MpranGL#T{M*D-Mbpy5sDVx~ehV2JXp*~iaisUe@&3A= z0m7;HL`6CpFqSnU1HX|-m&kt7EQAJpdMZ2F4)Dvf8r#yLBHi0#K$DkC=1N!=Z%zFM{pL6&6RDrJ$kD2b0W!;Bu%zx7leVa)J$ zSnwtEa)DNpx2RLWg7rmbd*4>eGwBTh-n+IqwZycbB~aKA7ia(vva5@=rP90gKx{ZJ zl;#9L(Lwdbd)HO77RH72B{ed`p<~1$BUu?uT~NYQ0KA$pUkML`OGNBqN4I#6Iatm~ z1HX-xkNO$8eZD={DwaE)*ea@ooY#B@VZf9t!Lq$rKu(E_k;_ViXYh;yguT566P`V6 z%37?3>$t^J`O*HtXw2kZmjBGh@`kWnlZSZFLiHdqP9-9q$^3@LgJNB8dmDi6tIQjM z%2kl@0@kf^et}~nhE=iRvmC?XZ3_C+q!s>BX`V|nqdym)*A_|V!5XQ<)Zpb?N1;al zF{>)RCUY7v8YsW`q+McX_I*lYx#mnT&JSGRNyhs{hWNgl>BSi@JPAcVkEaoAmzIBO z&#`^f*r>rcOkdE|Hg?RUY1z?}aZtkOzd8J0DF7}vm&QOMOBwxo2K!Wx1TGkn$#~j9 zc{;jEyo}%alpSRf?giK-_oGno^bCUHA>w;0`#k>=!XF zJO%Z7k?~JP%rE`O<{1;PF~fJ(bB8l&@3xXk5R7#iETRI({30;G@staPmGwCDsKq)VN}jG zqXrY^Cdhs8O~OclV3zcn!`Ej&WRm?5VEFSr_+NX0K~IgjRxVh|3O(zKcH@^{%X`N$ z_YqP87%#XSxiB3`+4`)*82I~{d^8pk-I2@D(gJt4GRY&Fi4a_AKWWTo{sNh;uZV9* zdWA45=Re|A=pBWV*7bc7k!JC{@My_tlE=t-s-OP+9zk9HD>axFtuWdR-K92O1`L%5 zxoGM!4b<*&+JhRBbNg!Rn_qY?7c0Mj;@=ooI8uU&GP-e#~MsgmrQ5K_nEj z54g#`_6#Q;KKpzhT4`gN8do>TzMf&myrplWkY*->6(E;rO*}5lnY-J|kPK4qedT4y zYGF6j21Z4PkY)10LKF)jfj(E}`;n;|1uvG|W%Yx-`HrowWeAoP_Me5Ofl%9YOZ*xR zg+MO56y~4b!jP^s6v~UZPh4(9ew5O}P#q(-zb1^;$R7DKkokfPWb6Asf2{w|pjk}tGoTyXz(!4tM@Ab>}UHx!=QkI{LJ{!~4)5Uf!HJ92ObM;_s{Z zT2?O($mp-|srk@~UKO z1F@A|A7)GM(^IrgN$di(oZ!0!RB@f<#4Dr21d2@jCDP}O0W$rHKQIf@3`DxF(2#H?lcA5WW6rm)Vj&c7fH;jZjrzaENrfW@p3Ix{PCG$nr(XRJ^(URJ z>9BxjJ{YtBFgEN+$3I*0E&{r#Z-p7y$r(+g09h;0Be*91)3&t3hHzl#?VJRstySVp zAAK0~UX>XNoC?XCT9o8Mpz2Kc|fU-$1a=%rnnwg)_o?)Q)1brvEm#lK9r|9e}~ z5q|o9{DA*li2LC8VvOr`hyF0_I+DL$L~M| z2*6lvhyG}O>xC7QG6+}!K5i+`qTeXMl)H22uaEL93bMkU1(bRr!EJ#na4 zrZ3~w2iijo;S3=)7zF0OyK}w}JiSk^dTv;t$98T}7ysKyRd~RX%J-H))n~7yc&nKF zPUeDZE`fyvmW`07$u|xWqmak5QF7V`{15-_2|H&y!yRl*+L(!P#b2R*t!D&^A}7^` z!bPKiDZi9Ugvd2x&}a^N%r*>%JtbLOQlF=Z*;HB)oQMc>!~u1VYWQEOqNjWFZmr56 zb@E(^lHMA4!XLkry@au%dfiII1Q~OJZ}11jZPg<^+9imd=IfM%L35@pA|!Bta!}%9 z7|2&}kY9o+HaRqo*UMtWgynBgh#dTn0Gz{RHDiiVC3g{b>>74=?JH#+z_OCDWQ8Jio|hAul#|3RS(O zaY){U$?Acf$`>OWE#Dr2C+r0Q3P1_(zn+)5aEWCZNEhM|QuQ`{fa%sl_>A3vS`t@q z22I%S&WgJZCk@gPCpSh!{H*X&>O+G(Q=DKOrZS8Gx5q-MmYoRIB(M1+0$KB1&37(e zO37b8^c`TzDB|Lg-%2{a4u*k1O;Rb&HC4w)a7Tv86j>eN$q-t(o$hmBEHrQLvSiw> zCai@=eHfUxIxwXu2!kcDKbWeC!$j=bqb#HOKy0Po zAe29cUi`!TbH}yxSeY2$fyv#OZMHlb0^=1ntJbTZL}76_Jld&nv7WGv@C#F3H77c| zvL(5`b*1P0eh~kp4WdhekJyKARmWq0a1 zSA#@EbnI_W>-+oMSV}tc2<)F%Ij(e20;*2kv@rS&u8za$oW*Z|3>*^ptJiP%UjE^# z{Wuq_Ebo@SGX~|+bk(eBN=wR9`TAgewz5<)Gzl+X1V}(pw)HOuWPIV%^3i5ze>`R~ z{M2+LZr=`-(B|GCGzV<^? z`R%(xBeY21I8S4(fZYW;i`~H^wLpbn<0B~4&$QdrvQOHDPKP9!>nl(7RR;r$4K8k& zwzy(Wk=^5qkK9m|1P$4@2X_m246k~8-@NJ)i^!;Fo?sV1KCaoE>M1kw%K{9Nm1gDm zwPgEDmcqH+Fh(~o?IpS8vl~P*9Qn*?$MV1baS3ghO+q^F>?C^A!w|V(5 zq<@WXkNR(9u{UD%fFe6{wK4bzJKvkZyV8wAz7KL1xF==-;RMYdP%&r=gI`JEIJ zyA50hh>bXa>**_}Q?B9#iQU;$+OT;tpXY6;^hX9lgpu0kn2;l*fu5ZS0NS}cp|?6D zdv^D15g|7|N zHnmwqKh^!M2ESUZZIFa6f?4yi%c)jA0!l|^lV8OCpv^=jv1%I3q)M|~{gFjQXi1@X zGN2f!=i^vHmu3H|v);d^=Z+GL;;U;W{)<$s400k~@zNvj&d`l0BRYb9R981NZ!#wO z;V%y?24TTIm`3#_DTg(`C4k~ubna(k@7KhnzHK_2brPDn$rVAdX7g5}4lg@QksAbb z*A)M}?X$k1Q84Y2h-`D4Fq5r(pGr4`R$f{%dy+`yOw^Wg$&8OKX@n~3INX-mWsIzi zUap$|NBf~MNah~V6KuGymR+{mYQn?&Uv4Ds{v~~Tp&Lf~7#AcwB6F4tV8K{$eJ5jx zct)L^TcMF~&iw5C{T7>i$MKv{-HR{IJI|=pd7@`6a{L3z`_njPS~n6jZV1rP1av@4 zdNK=eb8++Y^09DoF>rD+Frjd${P-$k?q)^FC?m|x$tA?a&Go;QrV~CG4R}o%X*oF= z9)4*7896x~PHsUSUTJ=5X?_7degQ54X(2f=N|FE50z%FCKEB zGDKVmG1}wDb%4^@;%`xrnK!cxq8tHa6yZ0JQVrrum>}@;hUXJ!j~@ct_b?J?8}5VN_D+V64-mT~UBZVIafBHRWnqO%< zrr}ZzuH|+T=aAx{%8nUr5d^y6(&5+~bu~LJ-C7U{3_dX!LV0$RyA($rbo&ES=ssQE zQ>VHQ&FSAaWrBWL@l^yeaiUv8`4;LnWmfro#aM&;-hVa2YWAnlUr2I?^%zYMbs~tr z>G{XW%*6ty>DlU|@hFBmLeB5e3S*5R9)`FqA4!TMPtw=Ilfcy}aKY%+$3A5aopN4I;D$0%p)AqLy0>8E z;dGHj@X}eFKxTsppZ|RwN`5vbSU2$~gJzEl;DkaD;nN3i0w%ICTY-tCI1GrhjP|*mFaQ+80W_Uy9*Z8I`Ln;-4K#&}%+1DVm>9hNP z87n;9M=-C9!Q#^OP-9q+lq=9Ym~I#WC_zhH7==6?n0^$=j;0%BuKnl5ek58KI?u%Y z^)LDj1;h^wB(`I%o$tSGC*BsdWCi(CMSkfSSj#06%Ua_R3-P#E?~M&*B=XSM$W6p# m|0g`}8>*2@ACw*