From cece18310841c4edfc2eaf148a922468baabc618 Mon Sep 17 00:00:00 2001 From: Valentin Brandl Date: Mon, 9 Dec 2019 13:04:39 +0100 Subject: [PATCH] Corrections --- work/01paper.pdf | Bin 95041 -> 95457 bytes work/01paper.tex | 25 +++++++++++---------- work/bibliography.bib | 51 +++++++++++++++++++++--------------------- 3 files changed, 39 insertions(+), 37 deletions(-) diff --git a/work/01paper.pdf b/work/01paper.pdf index 18e40c7fd1e4e452b0255895c9aeca9e680b3e2a..ff4f7ee6d4159af1a0d0c08be9add9bdaddd3ef1 100644 GIT binary patch delta 32100 zcmV)7K*ztq<^|#D1&}2JG&UfYa3}#Nkx&eO^@<_Ed()oQUfZ$TBtIJAK&IU;qq&!Q4T2v0J!{ufK55exGc<`0{y_ER^r0p6f3* z*9*`0og@twv2vXlx;FXZ?egmV$_tmKd0&{73YWL5wI8|zmRpazPG>g^f4}lPZ)viB zu5Mb!=qg{m+x%m(_F^Ye-eRp{SSDohmvvutra2hh_KlGl*R>FS(qH4E*LESh?2oSN z*R-7$Nz*|**Ga=9rGtcl6Zx=`?>TZ~t|?vCfz*Zg~bSs#vlXE*sKD@>J{)8PsDR(E@I&|Q(ymKRar zcz!}F_$n1%uL5_udBGE28*J@Xp1U+vyIm=F**7ac29!PWXv3Zdrw^y(fC6x9H=6Aw z%iRT&{~DOCD;#jgx1$ori&CK=m;WAlEG%=j#I3)#ol|%Fbu&xc$qiBSQzvnMqv>{l z1I>5MDh!tnZ^2i}b-e^9+!If@5Vc6)d{IE>Q+U7x4hS-uCWq?rt?P&Irb2eS_k4|Azg5baSl&*rG_}%hej#2;2-& zz=lb&lg6%xla%Lpf!*8HYONHUWgU4qGg6=uvA=x0g2@|dGxm!9e>W>-uI~h{B2^}% zfpmY^8_=f+gcT$l0dEP%RZZJ*lH8@d}Ius4xcT(r7%#RE%!qi@;^p?5wB>EZ>< zdztfXA^j&;&s#h{{-GYG!Sb7vXosnf?CiKhBZm>CWyy@Vk6qh4JGf{kgM+1Ub`E!5 zUd-*{^3fx>w>V-?gTQm#ecga%tQ^K{_NK+#jpMQ6(ImQc0NSo7O9nyig%bKn{LSEs zicFVt>TuLe*Rte)kY<38v4{hL6ryg*Tn4~xG#X5HpLO8uFGOey7~fd&%yi!lf@rKZ zKnvxS^=*a;sM8U27KdXAlfXt)9b+29nvd|&G$ak&7Yss*@__xr>exA~KBsuR6OtJ} zSeEPxR~Q}0jziyHws&o34lR#iY4=&z5pjeY(%XWA2}HnuPTRUd?Zt5vM07>l&59mJ z72r2obRlAP5EDbJuq!HKDENW_dyPWQ0?imW^|7Wa#^Gh%$w&%jh-BHLzO+05S&L{A z&3PjPh5!^j@YF+8Mey2$C!{U@{1=SWp3JqscQd z+!c5w!#OE`@{%BJw5MqhtG8%y2<-O25{C#|m!q6h9Hn!%vEVsr3IQnX(a9{{-*JOY z3It-{65qV}h8ws0BHPcdZIzyA0T1*3aFnZXm#xVf(=jZ*9JQ}y%ym?JwP zNCD@6w)4I(E7P#uC~Uf9vn4IU4D!?psE@}IcEYko>wy6VZ*X7KJsb7HIN*qaz#PL= z5Kk}o1LM%)DF}AC#kwPkfCw)N!w4NAqu+Y(WT5nGbTHU+X0)ISj#2|m9C^SKa$qw&iD8^AphlL6-x27!Tws}+W<|@heitdk?dWgt~ zyGIbtD%-_eud)WQ&b6ov5>H}Bxe2CWPN?E>_A$vpp3LPSkV5;BO+p@15^_mN$UiB6 z(fFGFzb5<@;r}HG2>yRMmz{fV>O?^>O+y~z9$Z(FHFCuJ>ZFBFO{a^poylsf$VHBd zgn7?C9Lu`stc^~5wiNISwiN+&UlXy{8U}`^h5>OB5Z$y73Oh!EzBlz+O~LNRcO|yM z0bu$1reavq5>Z)t%vNTePiXe~mf-`3`a4{0~gWtpGB68`fC?<*|-C@*!c%y(g z)VeJ(PGs??eL4lq#p&T121w@EMAyI=d!Jc97h%V&!oJ$U)uQ=Yu zX(#EVc~w^S`Rs;f#W4--x@4H4NwSwplIy3G2WBSk$>svSEUFtwK4g%FAb~;jEU&&n z#odSlNgqmjHEI%g?4r_?-6kY|y!0yu7{TJ2e`PeTOX84o`?{|(tJ^N|3xB~@lq5?u zQ#vQIG@~OU$yzIL<0sN8WYUOb(hQ@pKty@LBhYyxma|ocA*W+DsBqpA;GhRY=e=bs zOugM38?x|?03edtS~GtZEN}k^da&1>P)<514m>_>1ojhHMtA(zPnI*8c#qv*vCw?-4*qgRh>+la=}S`~8&M=bNf5ky za)1*38M|9PdNgBM#=5ashp7|C(OGl}l3Tp{eHS6f|HI*7D__aWpnbg>Io4l3S4GYo zq6Esn(`HR&c}BvR=e`rCXUh4@Oa_BnOdR{f`b099mxm!)pUYDsu!bo<(1nhh`uB6N zNhWqVmx)DA7>!>MFXY~ISVK(?46`&(O&%`EM3S%dV2CmG#K&6f!4$pAU zENvk7Vt8xvfHcByW>dW|bo@A$QwP&j?^}sY=5snVWz|M%>ya%sBAA;NGR0+6Y>jlb zqujm0B8ApMt13FLFlHehIKF;wI4LH@CSbgJxVGK}HVA$~f%~r8I)Qc+S7Ei9dFUd^wPj@OwlmMX4aMf__lB+PLW=IQ$8HeYlx~QvY(XFO!Lkr}s zEkKm`iE3umm(^K{V5nQC>AejBqq9BJVtygc_Aygu6%rpG ztyQKH?POWF_zUi!f&>0`^4rRh7m{x=1GTIKqpqX>14&I^=#D)zdHtF+iN@+vK3YzdZIRBm;D z)dS^Le<-rd`EpxIy(D)xp7ETYe>1ebYGu^L%Hrt{;@ ztRF*`50yErms~KIX(`KXr78!C-AU!`0rQ4kC_8M_p>gO@eW)xqV$~j1X|70z#xqPt z5{|9QebJjeetZ$8%gxWl`c$LEZnnvP0K91X3x=Ne>leCb7(+FT(`4}MX8_|EBoU23 zh{{zI$fT$Uh-ysU=M}woU^AoQQ9P8V+|P4=q9I9Gc>j`0ZrDruFAU!tq8v)n_&aiLqoV93V=L+y8o&s zI3f{1-1rvJ{B@?{4*C=Y20rj1jKib&n=gczGaz=eTj39aVCIRxp$g>dozQj%1Ah@Y z@E1EMc%%9B4M5IVbO)pPaGXjA71hJrh=P+QhLLYI5%HvnjAbzd9PyiYOii@#*iT%A z_Ca@GC+S@$wL4jF_x7H zV|#wVsG^(Gz`VAejYMBc&L^id-J?4xo1Zy@@oV{+3wVqs!T0f5mY-B!)Wini_dfI$ z0(N+5nlMh1z?NJ5r~?iFO)Vlc|A5xg3kUXz)5;(8MO)L|8Z!yxgLIkePEWs7)>p25GVsSH#d_{BPf5hTU&SA zIFf$vU*Wf<&R8_TJM%KfaW3PTPAA9qcK2>N4-^GSY*VC$mv}V4e(MH`l;KX#o|6{= zC=~8hg|7;fcd@4+70i%2L#NlAD{D^o`R`3D-5zwC_ptieY$BdbckFt-$8LYp*jX)n&lzwT zX@q+tRLz97-sqk;1*o(sK!v?*wU9a{nTBP(Y1%yu-3X!5`J-u-_qORE2lNs|iVrD> ze4GfM5>cD8+PsII=ksb8QRKK>|6r}Bs`4~IEj+7AkKJ2lRWxlwB z)#SJzSfUkCjtA3+&QyPB&KP0CJj;uVgI&E#yon&g(7xyTJn$P>P2_pbordwtf)0_| z|Cra?A;*EXG#XRiEt1I5ISBhANE~e@(9EWNuM4S{^04ak=`bQUQKCR^W%TpHKF9c4Lg#oeV~~_dzNrQjiH;XP(_(+j1@lSVH1)bfjY+c5 z`8&wk{)l;>)hx*Z=WlrnI??J{m_ERf!=C$*^TZ6o>BHpLy6qZZ#Mv*+Xp@uv-@Mq- zA%!aBc9?me9~W`tTyp76j%xC?T+g^7=O@_MDi@~r8q`mv&Q^2z#^v$b%707kY+hkPdrN9?CxraL5;4PVY|EJYMw9gft7;Rc_r;9cb`SE_T_db*9G#O-4wEL zuACWf>a^lK??GGs=6QZWBYpEec`w%adcBq_LhgTv`$Jx6bG00sLFRS`2h;4!e~;_< zw!Ox#soM~&U&q~Iwvui!-_E)v(r;emUElwB2dQF8UhbtAQYS^~xO~xa8zmLvLMM8t zniB4=hCorQNc^!D5SN&*)sbrsRbG(XB9UdCEK|?bJYl9)4R3a5*ZsvZ26MdE`=&Lr zh=hL!vdJ-BN^oJ17Yf#uy`&wdfDkzYcRtyl5|13);!a=%DKv4Q$Y6#cu1(bP@jyJj zNJ7tNTRSDm-GUjxHOz<$LgH*eNDz~REYi0Y3kNXeWHoJ@ly4WHQ6*q1kTSTIx4H%~ zF1Ro`xsE9#D#b!+QmGUSj#;=@O9paKpc{X4-W?MVZCmE_b*Nwx`KqiyjR`sVym-7L z!NRS|TBH>#PS@uQ<6@OTuuw<33#0}yveg3VVpo@d=5YrBFIDBEpgAnk18b2w0D_2PlEh=?Yg#Eg05ca_I#Fc#;g>w=N;7No6Yj|PfzbRC!I>>!<)4J16UyT~0##^^9)CmLbX7Zf{R&6OGn zJsTs?H8ki*X|({66MxzDXO!uNadR~NF0+sa$zAnJD>!bJRk;GQ6-CK(N;H2+6vd~- zFbg>8-IUqP2U!cyG^xZzQtO?xqd_dYAw~$n$K1#Da2<8uHWg?p12Z)Fd7JOSfp0s( zE)2jihrT?rjA#Z>))u(;T%w8Fj)Tn#=wLL_BNe+rrhs=6U$CfK=(%3%8#b`8d$?m! zGL4%P`p-lYO)*I=WIz(xXE}c#9y<2@#B_WGhWo19*(MOXUToNMULfFm-%a8(nKv5; zyOE}3b1~)3N-+!sbG+pIrl~5n47BZOLIOEsAFVERwy`Y12OFfa;G0{xG>mhr&R7~< z&z>`g9h1!IcAC^Iku@Y{Qjp;>TrS)#LeKg5iCdA~6Q+|dk)-TPBou#KTN+h(5$*GR z&IZsYFM%9L@j-lYE2@fJvhXwktRS$khQ)N3TsygqJ7ytV7luRA*51PYdbWYwn7(YhZyLRJsk1bfjl=&+Ej~Q zwANkO8pnrDR7@6fF(!W_m&mHH>!wCvoAKiOESuoo%s9}H83#cYL6%e@vP)-|NwD$M z5O~?GL0Z$U?VzWr&y<|>hiM#3AvnttGGPp!nQ`Nlh7utmO4$~}{^Sgp4s7;wf(pRk z^|}~+sEZ7&QxHsDr(1*)&d&=_2}Bi;e>19N;${hA4p805P1Ao-b8iuwJNNLb(2s`v ze@`g)lxLog^!t+q(!i7>H&bYnVpqk9cv*sMZfii@;2II?{wgTS_>88K9K_Oucq}+a zkO_H);Df!gSAu-(&P@Y4Oc^?$2N((U9}=l?NGll~~sz1m0sjj9LhF-Dqh`ejqXGe-5CKR_|^M z-M~)b47OShq?F^3i$|Fd4p#M@t~Qrv^^;2su_N>MjR%i5}2F5`;Zp1G!u1{9xrxj@|IFPUodaxizIBX8o8LqP-414 zj|{q@7YeRn7bc__;!2$s>}9}v-!Y@SRV`Hjoq2y}b8OATLcVt)O-yX=$kZ3CAXbe# ziLDsi0(BnTMoP{cyJ0H?Fn1JrKvQHx8~X!2NJfcA5DU{%$~Z|(>9{bn(Yb_9qJ#|x zQYS}<3qewmcPL?)y_L4?6H_G^+0JI8#8Cl!z>yHhB2sSp?NF12h8p7+Le|7aGZFR- zg}r|#8QhxIlOXW?xRCn^ANH(o2Nk~1$R!a-^ehM>2ZQevZUW-dt}J#;HZuWgiT>1j zD5QZ|NI)+-uyuIVnA`PCKtAYx*HCC*WrFiU|NP|y>sa@(Zle3tsA2L-7+=tRW^P7>H zP*feNcLXTK{GM{zGXD_LI_L2%LB|^>n zQJRP&5+6KyBYK(Y?KA}}4-CT0{<}ZI?0tHwheTOq{+P*kbA>L-o^PWpaW*YJF$Ecg{>Ui-;<$X5%k-uRDL-e(%P2HCUExTzf5t+dPUI7q zz=SleUFBOL7fn@xKEj#-*6FOc9HNgX)-(E3AXV4x! z70g7Z4q%4yXqfnHNU%cO9*PPA{fLhe_@xch_6FwJh#i?561$Z$=D4Bif=funCbj zhK6~N50l^jv32jcDja{?*cK4GUNADerH*cBwhw1_tiszkNFq3KEPRwjJ|8m*UFDCl zY1>M`4>`rydCY6-^v&d^znvg}x3;B0e{nL|IW=>%uimKu7MCSKD$(ZDO~YW01%C5X za@K0@e|eKA``z`MSBL`xoGd0c95YxxEC5prNDRj>#F&Q>CHQ}QlP_qn{P7w5m#$xU zt;q|1mkpiI{uj=muo#T*2jaf^;R%>vVfI=LWqCG%+*cE>z_;EBux-mVURM^)`}E@i z+|38Mzs83E#F8AkkxT9z`BL)D1LD1&4fr1&&zpH<#sI46XDAXQUse+&RE;52zPyc< z_#A%uuG788BYl5A+)bN{x|44k||HpYeEK(0Y`CMLi9o&S*k9>2i^Syuhd~~M7P`2(EHkzCgic<7_ zMd@SB7dZn+xW3=oPNimTRpLVc+fTn1UiT|j_qlD7+iXm2#%;yhP*3$>R@$~=t z%CpSF_~l2^3Xjp<`!#x-8_wY28Dw(2epLUiuWihm4|*u>5td z}2vg|l^ZP&G&wpphKSb`<4B~ax@vg)tj84M_s6zTS~7ZMl@fx+ON zcLww(tBE(cc<1%rrw{Mme~gkz>ZTEoCJ)b((09`yoW#EGdgI_C+TVZ zZ1d21MoUos^EaD?VAogA^K%^ePI}X-5{sAe#Ew0*CLrxh;o^VqKgM3mGb{~U9wgub zZ3SlsoybjNKS3R>J@MU$8C%P0V5Y>4Vm@(NYL|+(>u|>1B;jVmA&pkDPy+WTHeg>I zfQuCF%#SUp7LsJz1F>(NWo1=lPd4|gx{}N0gY6Eyq*m0O?@Lo2q|$=(hoSmN@C zH5)%cA9)t{Jm!CPapCx>n*`k{AN>*Vm{S0>2nACH(3=%mxf2RI0bvKFcX=}`HdWpq zy%8CBBJeDubS7};blR_~M^G}>{bnby{$`hNByKD9tt;?ywMHYbrok>?SMtrMbX*;^rxcGyM(6E35|c9D{UnX+{vP-J35i|1*~3~ z@n14@YI{`!G>o`8LjIx_#S#K92vTcWSNRqIwlLkL*i~7}dM!PZm0VDuVV9PL#$6!? zu|(f0`XXci&}VwLLK9BP8H&shBqlO}Qd+@@1H-`?2QCDYfoMDsnt_`ptR0%wdT1Wz zdO_5Q&Ch@H^V`ecDLh%~xh#phJDtl#U1Zgs;$ptv?(#CLw*!Hc00ddk3nZ4NNk5R7 zhxF_BLMa#vCAG||6ZB4GUCBaj!D)Ny>SIE$eG)|>)d_WO0I6%)a`r)Os+O`Sa|52C zkomV*tVMyFjky6oG%m#6jzYa9>jGhgH zYA3-y1(6p-9P$7J#eOGC>@w>arql9kf{}CGiogvG-4*$&5Zi5rk#ay4em#gP?nQ2t zgw287L70YC-cYp}?8Miqz~yKKI^JuD%32_ItTcg?BqpC|yp&_K8!(qA$Fv(Cp(TQ( z5%z!1=`kEe%k^4nj)I;1g#OvrYUPym3yH|A0J88}>@sB(yJV(CSFRbu(`rt_nU*D_ zA309AXL}{KNHjipzmue+bT~wNSxM9>g_*+?h&x;p=OS`ITQ_6I=+hhy9hGCnpUg%xUZ)a0zupz2RnF|roM`{LM7G6JKje^dibY;xo0)3?H0DB8d1*AxgvyYoTN;oQiux}}8q8>j z@!W(M{%wtwS&$~yS&r|NiYH03pHzQCEZCbq<#k0$Z7#y0AuiIBA{Px8&*1JKKVbEj z;#CG;^SUsc36DL=be#_G2SlV?tX1}Bt&;-C^z9{WYOT&xQ1NMMRn-vUf3@S#sy9j& z;wjr80qJDiy3~x+O)+=la7;okGQI0&$e^FxTnJyaQ#x^%xOvmJjkWtSK8 z=jywl8;jw_4pSbWYf|i?)I5OqY7T@khTa$h>^M`hI89vpAVS1mO6U?_~_vs9%lsfQcHVNGn#D5{@CiTAi54SOgJMo=35 zEgn#3Bzs1#_v*^G3+cC#C-Z-xB;lRxY0%{~`ICVLJB}f-F`?hPt+a4SXwwg*3ARQhQE7+qxMe%+vOc78KEper7QW9Y`m*JXBGx1})@ zc)h2%%d82<@QX19Gtti)! zKR!^mkc)<2hHxmB-wMhNM*Ug5vHO`bK`D7NSiMEfrc)C;I*AY0U`m6Zno z6h+|0xSNh~;sbLKjEq{x(tkB%l6@14{lF0g+~vG~MBmWjeB+t}Gg6fsLGW6n9i_!6 zIp(}a<_(|Z7pQw+p;~|GA0IyB))(+eKvx6ST$iA6mFJ}-9Ya640q3ih4}gGrOrkTj z{9_^1i%F3Y6cEQ5^1g;!IsQHiS!yl74w!Q*MOhbU0Sfh1Dulb)B3~N4O#P?fWb6t< zZ$m#eT4fuDL!Z&hq;%;2@B=k=bQyaa1sn(@J=Dol+lL^%F%vYsmOt1I%H#3t@BPf5> zSle#fND_V5SJY$jkY?X63uCZ~J>CtFU;--(%xvNZj?|6`OQbEC|p@Lc0K!q-7x( zeV_;}mDCf^RZ6iqj3CFhP>$td#AK2%43vc(lm>|eyor{ut#TS8js0O#jL_Jyxf8YlPFp=uS^@(rDv1@&8)gl( zWct8H_7>>t1ZODdX;i-(BmkyzXI+1SU-2jnIi9j%f+-tdDbU1nM^Mnl04D&KV5|UKf}1eq zBsgLVC$R`j9lV2$Ego#|B0MB!2`CHzqjO+re1d+?vI!+Wc=jtoheJ$(s&kIz@JwP& z5{Dc63<2fY$*`~sI!%s_sF+dlujXAt#R)xI=XqB(wNTILhaV=--ZXz*byM=p^Sw~L zg}yB3S0CGEQ!l;(-Te9+dMEl_o?q70yj;>r?#gPpeq`CO&8yY*603M}y`PiWf{&Ye zp07J9>jk~Z-DR^lyo>ow?@{1^(%Gi&s#T_!to)jeFZ2BBv84mSw{5=3byvUy_(VV5 z*_Hoe(>(yHFmjMcX>s#X1Uqtulq~GcIlup&92LNh8}m# zrlT{suvu0A+ZT)X<;1O=+Yie4Pw@MyY47%j%3!;bYCYeq*N=Zmx4Q^=Rp*Nfp1jG_ zwA8;=^9s)V`uYbVc0#7J*Joqk`o2bE7MSmiOuO5Qy$;PTsJqNGZM#QS4IBQn>6T4% zwcpzA^TAwh)(7*-5J|IU)6NmTAD*3TR;xRXVE#-Ou=+_Z7t5;7AD;hC%zGqYNoQ1? zR^2%ZIy#yZeN=xIZ*eRp1t@gz)|!%M;H1Fm8MZ>%>1W>LMOD6RKGA!L36BC3l0Kh6 zK#P^gxC3rl*9`={=d#FqqAK=-?T7QpgWY@Zq`(R6`uEpWeKjdwHtiy}{XXiv_;>ND zIK~T9IA>x=4ezxKA|k8npafSXt*nU1@H%QCO$2UAUz&e%UUgZ>e;(gtE!Fl|JP8-; zq)3KKjTD+Y7Z*g5eOVF8heKS>%7vCvJslU+Jb~IBjF4d9Tm&Poslr%)hzJ541#45b z3zgCX+uRGDpMUu;YPm>gZP0!Ri(*=Dmdo>f(AYy=2*RV47z4FRICNPfpyCVYSRBAsye z_I>$;+g;|u-R^c&!>EVR45J-JH;jH5!!T}b!cBkfcJxn~nhXvd?8$EAmfu^Eko$~B zqH^ZXO$I88z!8PB!Z$0Yod^!pOc2f<pD<+Kk5GCGtiv9>49s5i_rJbCxhEFyMnrAy{VfiwL z`KW&mlKOGig4JjkQR3{=vErDHxIp6`io$|RAhY3ns!k%=a5$2>ZIANAMc1I{O8zmz z35ia_BBmoQ?zlmt0XSIerrp&^z5pHnga%588H;?0ek4S`JR`P{=@j}A{B)+DA1heQLr^e>!ZL$o)otP>L7oiWAw*eZegJPalMa#`b;1p4f3xHQgO23 zD>vTxmlXtbQySHM@Rh*#k3EWVpja;>=pk%yX?B_^*@T@_V!lHZ}MV$KNj<5 zRorZrb#BXFt7X;Qy;$Nn7I(R9UvQ`u&2@A0LKO{ekr&J6R$O+g<@4`WXPYxMAvb@x z7(Z(xk>!p4yJ{1-RG}awi&_;aMuBeaFINW54*$kAw^-S&JwAT3xw4(k$*#z?G1 zjgVm!)*&`HHI2a<98YJ|D6B&A)h3O@;y%Eg)F`Ym+@c)D?mEw4*}!fj7`HW!vr%9# zzd^D?4<6%4&JGu|;KMkuNqzrz*l=Ak3B$j?a#V~Ht2FX()Zg5(-|x%&ALh*;>dVdV zuKCK?Z|ckM>1o{fv-$wLjk~>}^cAd6+<1(GYJ{`#qp%L?f`7ywg*7PklK~JD0yH<1A(s@h!ZNBG0yH_3A(s`igHDVc0Wp&ymld-mZ2Kw! zGqWL=4J83JmoX>-7PCdXryT(|lOdNCvjW;JP69PKmoX>-BOEv}HVQ9HWo~D5Xfq%% z3NK7$ZfA68ATc#IH#C=UC;=&dWmsHYvnC7#cXw$VlHl&{?(Q`1H16&e9D;jrcXxLu z1b2eF4bS_|nKRe>X@@cA!s) z|7%ATAP@ku00PV`ZGZp~1w}0>c?kfGguEI+0%!+x`Yb}x#n{Hu1R!f^0AqOY>PYc^m-6xo$y)($!#L3bD1o(`qC@TK% zJV6#lpnqaJTYjnm_GX`!ruHT-|CIDE-6zba7Gz{;=L`S=-9i6<#4-i~Of8)qY>YfU zV}F7*+S}Q908D{@X7CL1_Mp#@0Gj_hmg)cdNd9l2_`ikV{}y`x-^l&19Q|)Y{Qo-7 z{}o!?#l}Y7$o8`V{=H`apNq!G4)D2a0J4C8mW_>(6X2hPV`=jLaW%5FwDI^qIsaE{ z4dB1C{-2otRsHV}LU!h#4AC*M(X;(qZ0Rg+=?*kiv;>)dSOCn7Y(6jVUvf1&Q=pTL zr5*5-xbL zvnxQV9u7dj|BR#|XK(ty4*x(23){N`yy%$Nxd3#`9E_jC_&JVT%&b2DKVkm`#PpwM zIU|shr8_`>hmoF}?U%TS0zNxf=ezJHZ{w_jTL z7FW69Yjp^H!xZ;>tHwE*50}Kx(rys_$=4C@Jd~zd{pDwX-UqSWm5q!&zgQMgz!tqT$Ax#2#7&_h7o4i9kyK=Z7xFLCA zq`$d;kO$b2rP+(rdd@vD`_r_S+yqVO3a2{PuUa%PdR`3OT8QwG1HuSHUNbnn1H@~{ zV@*P@FH!gUc@7E} zItj~yW)n<_?wOGDd`xzK<|M3KrDDdwe^R@i&sbb;wHkfx`C4beA?Z7%jM;^ehcV}) zKOj{B?mc|P@X*ZERFyAkeA9g>ve}7Smc7P46H>_z@i#G>_p9JbveNDTF{DOp%w<)7 z@irXlB0x96ORQ$*R`ypqfAK3l&WT71zj1jz4o>~_a?qS=D6H%+LesBusd(`g5lTqD zh9hkVlC296Wb;IWsTJiphYE^BJ4h*EA@fHSI9+PCn^2052H<|L2g+rDjoWkZcf zw>wEA7QP%sLU;ZG7c71BL#}Q|Fc)_j0})&`vE`K|0Qjdaad^31jl#04QU=qblE7tO zxmp&RjswDHEzLxq+)a8X;qJUHkvL;=$r4~vG6xgixGLLD=*+B05a ztSpDib!e_OD%$kz-tdh|M_W{XNnl+div}*M@g;o6-^tA5s7OVOr?izOg3G%$i-nO5 zGjqP98#jmmN~Emj4-L1$r`KcHjpnZRXUYqeL6&MBfVA*63Ne!+0U+S#{7hES2Rin& zYyzxkzGp^hK8cZCA7a8ey>eNE#sGHUD{H!VJXjrXtWFk$wc}Qgwn1%wCI|*ZlhbSs z0HvNi{0J#FL!UN!nRumB8x$$h<0F#!g~BbbFD1~dnQi9@;vBKD?^wm+dcf$t(Va<# zdwe)LOfBRglj!hJ5P@%0t4hxHFpC|%yUkuD_n zN5NuG6w+biCx?0HsgAAfq0|@B$(NX%2Y}0zWZd!e%qh z{KH8vTZ-WuugGtIf(h@KIKsDUIS`#4^ghx-{a{3au;;phI9q1L#I&vL`b$|d(nqNp zr&XQG0qvQ(hrmIfx&^$2+7X)4g6I@JHyJmvG>E&f^2yOu$lU-8qv6MV_nkqgyFd26 zZ)BF!+g4shoj}&s{!>>@h60pIVv=*2B){?+MZ=H5E`GLuFDc0ZOq#N*SIA~8%CxQ8 z;@;ZoRu`n>93FfHt!~ZCdm{#6i(0<;hht~&7?3>KU75B(9$In?3tN=$#XqjO_*=jmnMEkL;#z~ zb0?TbqhM_w(ha3)A4)+fF*HjyDA&KqE>$nXXp4q77so_VmKKH|PmL>z`4gQ=-TpF? zxjmSJK+XPzZmk`8Z`1tksjbL_ZKI+?K)h)}a~h_9B1){Ulzs31r_y`G@B?7L7H?#R zj6s0ACdsr#p@6e)bVc6F*`VOTM3=69@ z9HJ~4NR8vW87782L6je6Cf5WYttR7xWzNiCEMlT||1{#hDr#AuY6%Y{vyD5=_1qiT z1$Uc&N{S;H~exN0QJID$pw zC+@7WXS*@ z4i$`ixT~N(xkYE zS(yiR#d79XrVG}t+i0v(@Ed7}9zXNeVda;P$o1T$UGT7H=Q0%irv9LrdBW>;XhNn1 zZtS}-8hwAd?;LeXjHKXNPn_@*C)~&u3hM=Y#JgnY|8Tt+{C z|K^6H?PS9<57E-org^@$X8n0-0M7Jr>ek42JZa2{ z(sznbz-*a}G3EA)%ENzUK>}X21s86AQa>z{AYk}z8=)A>L>ZS#?dGwZS5i6Gx1eMl z=<8on=A1NTBnsQLuSwe3CUc#W>=g<@AyvH(u9xHeV`X2vvdVmxL!ikG9Ff?8g8YmxWB0k*-#nIj%cSJLYJ>Sa$YAZo@&<76fhYurJ86*Xhq`$FC;hZo)`uJSAvOIDFQ~15$P8tKC{?fsRZ3+zOZ6LLzgT$NE>GPwW+Ql%X+x;t744vV$YfS{Cc*gTG z5tgBF>?iBpYTH|;C7NQrJ0(jV&BMU9oCwT*Z*U0Uv!LcCj zhZMpl{9uGoW%p^sk!EP!2D%zqd&r~jb@=8B3EQ#rtj;`YEM>5;R6c^z$&%o>&G6Q_ zrJbw)Vzkq}`|0+#j8JG<`NTz+L4$YK@4h37q{NV__{|?Wk`>$Q6 z_U*arh0Ct4w^qID=~Wa~TOyHZEoN<M41htVRYpD1iA`{B*LB}r z)Mn`o|Iz0@+hTXl9hLElTC_BWcAXto_XurT{fMT>7x75dG9yV%UqV7BI|^;bvImaptAjyDoyR_`I{Ui)K~dA3E7o z$msYRzo(}jndv!zS9|ZC$&aT$RIdZiL0DuJ#~JJtE}l+-+C7ei3@((g;`h&(BkUZ^ zs$;B-W%+=#2KDd8UD4KJ9{yOwtHIE_YaMM4!;G|SOyIDap*gikQX%ZkdC@E#s;m)2 z0je_(APD_-_!J7liwZR$ua6;soK92!1z2%4doNvz%_3Ooh}g6Y-=oj;IFJoka}3E( z2d~!c#5lm${3v)A;l#DX1gU|~bnupoJ@<`qfY_BE`U>Za%v>){eo+LZxWe~kUps|(z0He zF8S0zocQ{I5_YiTVo24$!?o+)`(`D*o^?5IlW5mi%d>#~KsQq()5&;ACtnQ#?r;~^YF{sEBNlZmF>29W-@=58)$hv3Ld6S+1HsN~ymyPF2CFMo=my(P!eZRn zyd9-inLp{mXK&oWKYr@N_xO(qA8`7Wo^m#SMW`-`1AO1E5r;~@u-F~jAB+?Gww)Su zl;0L~!>0{UVa|2S)2WcakG0W7I2GyS0Qbu^J;sg#*n?mA*8!{wecU0%6bwtD&n7tW z6BBukPNA76l;%3gWh9eBRCpyM{wXN`Y?Fu$1cNtxHB=NHueq|#+ zbq}IWI^s2brE%Rk7Z9@oZ3elwH7qyraq*v|>vED%y4Wyfb^V`Fxk4{aE|)0&pEXm` zm8iwbKRs9XSW2l}lubQ;LFDDk0_d5PQu*HOD`4L$F%E;mL1jV+mQNqa#HfmDFjKVu zq~(QHa`#MN9hno{l07Q)x6P5S2uouqW3)OZHr?@r9lElKm=qC(87TeE0fF$#g9yzRc?$le*fkg z)sl?&c+wnu&PI$B#!ubVO8gc1j#zK0K(;j9P3DuXtj_%!MX;6VbFaZll1U((-qmW`2COJ{>HbweOsCji4_Q*5vO<{gX286J1 zMGCs-6vG=bWq|4V1EvuJq@FMF#*}V0WYCcTtWtl+qO>@L_mJl0 zJ+U_t6mf(RvO_N&2{!^N*{lPl;+YG`b$(!RZ=ff+^b#JZl%_L6r(-UpS(z+sSSS+& z61`lI%yzDF|K8;@nRGDKNlCP5`xGm*6TaTDw7H}YpRA0=Wzd1WC;@?%&Akf)S{?0gHC^^*enl-N4X)}1uA;h$H<1{}NkTOfD`?PP1dBC(S+#S(W4 z(@gjP{!5+j7~HQGnf1MqWI7waQF~;}&aSlHs%seU=b0JczF)KD&o$N})jKF_k&DRC z6W{L*Z%3qu!hXoP0*+_1EQp#bqJGQ;T#7X8E2etjGOW_yjn&)$l~kAO+d1aKdlES; zo96L=m+a2D)6Hef^9Rv$@%-hUnfQ{33fW>4-cdX5+Q;Lx6T3zTeiW!@N+Ih{j+Cs4 zoeNtXVvK%Z%h_ztEc=2=P0BzL!zfTai~M@vd0W1-AfYf!hD&ad*3KWU$6!h1I!J#j zPe8r&}5u+Jb&?e7D z@olo`KEmpH2>ws|X~obK<_re(<{=ok?}M+@{b4S8P_fqX6q){gV7)Ya3=A zMkWLRh%~}k^;^-iXDl&fHei3hT<1@MhIRC1P;{XcN;*Dzm6m^?7qGE+xRHl)vJ$ZV z8=){mVWAqwEK&lWB8-_>E62|8GIWM2d!$1C3?KHAfhjyhRj%S+i?*S`Lm+XkJTB6# z2P?|9Nvn;cW|Osj-7a{^qTvL%N%VZu=O2H-{kvG>8=4`Gj@Q@gp}g~X?{c$Y?7fv) zg^ z6Cdqh36}=AoHp@~7clwe%~9h_s4II8ykAUJk6qo}sTTb$SIoZL-2Hd+@%(i>T7C?U zAL8zGAjN|!X8Y?e|GWprLPS{uCyfjy{TZRFY~uXY7pMhYMxm zBW9At<*`=ph#@$_*}b4hLB^>*l#n7vyJe5`xV*Lx_n^^`?B|A7(4M>y8h*zr<>o&W z^dncFO8G)*#F`8Bg@g>RK99hq^^#Y;dI~FSa3K!@>3v-DD{6S;57@VWb%YS`6!rX7 zV=w*Da3t~g7h)ucawqGNx)kInw6L7&DmEM9=PJ>}N;78_v}-`O#KqCu`htumjX}$a z_uuo#P=rSW{{c7Kl3)Eo(lKlkL!U;Hto&&U2U~?7?UWYtRJA=V?a*`ZXKe`e<9Cv+ z{>7P5U1S}r*xI@yt%b+E9&TztykEbD?xmGP)ZU6p8RqOomKQ(4tUPZ1uT(yjtl?6q zowTTAqZC5;4E*pV0TUHJI11xq%xS#)1yIwAp9pN0s$8cD(Hf`Hqz>?fkC(d$r^j*7 zDvwm_;aCfd8MizwyljJ+jU4zCO%&IwnS~$^K35}82c)8&zp@b?l_0PX))dTbHpt z>(Y&&mQbEaOt5wwK7zWu&f^l(h?HOAe7U3d!m`Hh?^{O0W~Kp+(uV)1)~iNYu|g?C(gC{t_Z)xtqUU}#;rx5{tJvhrC0(?Uj*HyQecnxt6I}vILj>Y(P34=bCxmpuE9zXfKcLPwD>po5k>+*J8DV zU!mRb`$oFfFAZuc>^;=nV+YDwy7&0P4bGC8{62-<%{Iw?ci<=cuO**-5DZN=)B>jM zr`(d@Ro6#KJKVlr*7BcYIJ{?)Rn>b_J3YLF3f%6Mp7wu$t%ZQN+^{c;cb90MK-(0o z$s~$oxSEil78uc<$mTyDV4@h^7?9iUd$=o#51up;31o^*br{N2?;`ufJj%Xi(*L9^ zbjwh6>m_ym=q_?BCHl*y`hbE7C06`J6K2P0c0Tu1p9gb$C~BAOYy3wJyhkE9QZ>rw ze3IxT&FNDCBfeLUqzW~(mkC}NTDkdGs%qUVFJhpG8+O%;h76io1#Bzd)$zF6W-AW2 zyVb2ytZ82>A_Io-Lb^4t>%n-a|4^|8J_|iihg2Vft-IbSdrPGBnaXFwA5A_rUj++U zr}oN&S|oAOaK{^1N2*}3Nf9%-lfBKh(7GruY&J%KEe(elYO@;O*8JlgvIdruyyP!K zF-s4n>=^BwJ`r|(@>#4n*`k?TDjk97KdSO8=aeF|pPk^Ks7bJbJ9AvbM3$` zS^KkiIKV~2w1v|>g}isqJ|u3ZP78T*qyiuKa)r!%fkZY41M1Wy2g_Yljpbeyk$oT< zYa0;b@fjxR6#>H=VKi02QLc0|JYK&E!__9*HK!7Tu_-&^wt{;;S%2ZSZ5F_mq$C48 zxVTxW1uj9e?FSe+1fp9BE!qNxyo;FQ2Zbz;(>#?oWu#kD^Eg@kP`>k*gsEaz_!JPd z`T$6PWeL0_E!>BSeslD`y)%k5Aa=(Z(%JdilGhGM*=M97!>Dk}t@@p1?)-gI<*W00 zT3}+4BZ8t5PMLO=axZ^_`$RMiRw=Uox{SN|&;T6R7PuE7j$6PTZj_ zuNTdQ{5D`ESYl1~hSAt?q2)vB$poO9d0z5Q_cZ4mVE6*2xZy=tRXwplIUBm_c4YGJ z+M-z5x=MB%9DzUI7uUJf%rL_IU_Ao ztB5C@dwl87CG=xNuUuO<-68$lL^TzuBzymZ?x)g1{ve*}dM(Pr#@3I_1|NX`WAYzi zIksTHG7%|xg(Fn~NG?jnT$6>{o9WLq5ABw1-WR;G!T;SAfs5c z8}tE2Uj_tFV0@Qz&m)Z-_RGLeCBwfV)WUK@-)t6WnnRjFT|=h}-Ho?A2K1&JZ#z*B zVHnUVg(!7-x9yxG>)*m#_;L8zw^Cg%SkT<<`0c3REx~Oa8o!^ezO}t#R4}K6jT~OT zRAd`b56S*+Mr7bD9YZRN?HizTOG-v(7V`MD8Ji>z-ZLx|ckG?=H6Q@WuY#Jjq^5`9 z>F+b6Y1@waW(a1S&4wH5A+&qweR+7xU6fzFh%#qpaFpu9z$VAD-i($AR^}ekAyT7 zL-}sPf^wR}+QS1Hg zyr3P6MCdOA48rtD6ZQPWy9QeUw*R>(CGCuF6Q4?4%A8SlT*%kmYgO*d#E~QPlwqA- zs+F8+R2=WJuMfK(dF)(&*nXY(w!NzT3aJxp*ofd;Ps$c8%P|LxKsKlA$zYM=gsZ1% zdsXX7KI$t-Rdy$)dkPIxLN;$w2crURldAkG%7pO_Cr<;(Z1;G+&?HY+*VQ-v40-LN zB-*JYtJokTLX#!XCMA0KAvvQ8ms*|r^DBT56mSKeydw=v6LJ$|#RytT)H=)XY($io zQ<)o)mG=bAAV>gPOj+W+#xEH~qwaAG7ju0SZLLV^q+2mP)u>j-J2tpoYS?R4Lph0@3<H6YZG9Wj@2-lSiiF?N*-t zo8nOIr~;t&12Hu>*?+iQJOy${@URNm%@pkNX#^*(Qz?l`3q2@vxeYfu5sRSOUM=YKxhRm>^U?}CMZn1F7 zziYF_$;Ng=#P?(SgYYx#SB=W^NNM`<_mS1Egc*=NlQI|y`f!x9r~3W({Yts{fkIw_ zZiB9wnFX__S=pItTd_{@$9>O_tzgP~LzWN<-n}w28CkL!&7^?0CfJ?W|LAAzD1GR~ z`X@=O?v&XpYB0HQ@Malt8NuuJH!E$7xxbpk6sn~M8$}S&)J~W#P>{Vc9WHEk49UaH zp4|Wr{CvZn;2qo#XBezG_IlnfGQ&YUgbMMMiA{c`7 zY4*JMHbw{K-%6BsjIOhW@V^~YtmGR6ljH@oVjURF6{L9#4>jX=m*u(ndZyh1=VbcC zVg$GodzqJXy03LAa#;K$P}7@E z&W`5erSH>gMDDf6<6BXtN+AW|DLXuE6%L;)&IIksWO?Ej>^fTcJL}{cM`KZgyshiv z_qg0TTnIIRJ+Pt^{+~Y<(85&34+Mz1Qb*PV!*-kxRIY4hkK*QllA+z^5CRE(zXn3OUWyqVuThcx&|?xFl0T;-4+$>IY&;je>7Q+x@ZL4 z?(7CMhZRfOFgNSHdf`z$UD&CHiR>ydM~;;$gJYcz6FY=HTPA~g0$ zev|2=DSN%xPvk0OgW1zHG7^L@WN@#+SIv{_!e9-qeF3TYK@4oI5w;G zwxfVovempF3}sNI(v^jM1qy9R$$hTUO*N~roV2uU2QK2U#~;gEsU9#a3|r#=I8b=} zuFZ*SrPRRR1u3nqN!?@>0;?B7Dy{ltC)PMZo9A*{hZ}y~?gv`U3If!ou|rqzPtqOo zHq`H8htS{{hL5U0jwS*-fjL#5h>gEt)k;U)vP;^R^yX9FkI&kK)gXqCdt4DhO9Dc{ z+sp^@L$+{pBj0}fq6|0nsfmc_zk8A>4##gpG?a?*vhd7|1vEtJGvE!}U@lg2y>ru% z!bx*es9P6TG5+nNfdZJ{B+PIvxL*Zw$IF&NkSY66F3Hr{72LaP_r_@I3nAf^Pu`JV zGryFdTl_47jde``E#{rqk}yBkrNa)2XWI~eCQIW6qgv-nM0#4bUf7u)2J4AbOJw0O zsji>DobPhCY}5mb;I>DL7D8ejFTX;PQL1X?reu+Rq&fE#U;^`WG$}UF=>-!wPC#AH zD0p>067o3p2O{wzy)w6@`pW#|WD82q>b2uvakv9Yxt2;GMS9QxnYmi`HbSA10edv@ z>9oN@11egUF!O;+o=sUK8X~*FMQUtlC2lLWC7eF!vwo8XFW-67rSDyshPclgTWn zMp(qo=3Df0S3n_q_V{tA$696$&noqh-@>Drv87oO7pRvlKeBqPqEEt38sJ17IP$E( zwj+xul|duWlFjbSZ=EEJUQU#90~HZ%Yiv9Qe3XdFB{b@|;q1Wy;-vW^D^Mm! zp%GUCv-A%&kDJ;z`M3C#13Ss25Cd`Bm>=s?*_F_InYgceveXRM!w z4Dgox3vA>c1voEaE7ozrv7+VX*d2=o-4rT@ZO`RJP5=sStKk*yQj_k;e*etc$pTkNHI88dd zgFN5y^twOM?%Jy8WE>k#p*%#|iu%2Myg=_;^$S~*BFAg;V+>}MhE}c7tC*`FLTQq- z0U5^qnJGB&5}8M@xI8tpTYiO<$G*)9G1CxMmoW?E+Jn*EB73{b;NCs+VrGposDule zB(+G3mKHRl)J2)7cY`17mrwJ~hs3g~lFLQMI>o)F{Wmx1wj_yb^3`A`k@A0U1dzC6 z2ul=LFFTIF2P+ZX#-4?LgLzJ&#kqRREt*}cOKj_*eSs{{chQ6_pXjp@l>DvsUCrw+ zB1^P$jdD1TbHZ{~+|Gk7~Uz!+lZ3zXcm#2wsY8eTi+mf^M6*)L|WAlztT;~7&q(|IUdx#-m5 z(~Mar88edP#Btb9`^trF2#{CKGOdY{btZ$qy+gOJBl2CDMUO$dIN%xv0PD$KT4E*( zLPnpUPqT~gwUlem{2AA?+&zYMNtqc4?-Sb_{6c;^Z^PfR^bn}a=9FQ<_zc3CWqh>A zCu`rKNOPM`da|f+kH(;kDTZT!JR4zXrF0arZYIL%K!> z8n(1pY@Vz3HGFJD4#cRp*Q`o?*jB{^#+vId%F$qPJlI>)jPzOA$x2>*ahcmnXfV@iwkjtdyfmL?W zGCLfvb}bFL#eT{ER&~{aRG7m)W3h(#vl2m>3-#i;Yv3XX#pX5_v*#@GCvmnU4^$6= z>kna`a;qXfIJHdTwKLLT`iI3~`XkTwxPVGz7$}`{Yp{JBZX9sCCBzC2soni?!A&n^lmpg6s%Gu~ zhCvw(<&M&G8;LO%7&|Zjx%)o5ae>E|YN)PZjcP|kl1KLv!1iCNu&efjAbE|*Xg8ix z&FD{S7Yk3e+KJL1xF!xhqGa*&Cuk4SCe@pA~MU1X-)ZVpMdSHMrWlv&?kKuIzrWA<043SZ!W*%LbAd?dbY2| zO8n1INSO5r(DoNg#}mVR;Upn>SG}d@cb6^*66{+3C`zmgweSb?)zZCv7_%xFVudbJ}t zf>%F=;RhRmbz8kpZV#iTdDt(R#WS~x6>>dRcbz)W#ZmVDI&2pFOeCn6JA?De<*Gve zRKF-LM5TMZCea_F!tii}*DE=2pZIxl<1V2Yw6b>qi0ENVm3LHibgFhrkJlb=7+Fb` zeL64#j)yN5(l!(B-;yf|19~S?%ftffNmJ-{got{N zr4tlvOQ07*Hr3w^)suMUd7p$w-y_<4dh)f7d-YAUJdFtRA*l*^oq4pdTYiS+$9ZQV zKOl94ylHC>jAc`5B2RJa{Yx%${v*Zzg5hrYg!;qW1S#ZuFmK*U_Fb{OIS{dLZ*JfX z2p&>_0DtTfuVGc6lO9h_`Q;^etey(SKcgdEaHvFAOA3yBK+B5XLJD)ZzwCs2qAG7$Fr4hM$@YP1t3 zjx7gdwa<>WyFEnUHkDV-ub)_6J~ArCk<&~_-yVhfyqz|p%P^HR<3BuUrzj20mdlm1 z&N6Nex%hUy3&`^2uxMEteeuOuH&Fc7-5U5MZ&M8BOR}o%_9eR||CLPx0OL)*LeB5k zPH}jE?_%Ypv13Ht6x;EreKH&9MCzjPr1sG)%EDmS<;_y*0%f+oVj&zS0A`vZ_!eGK zEzd5(@ZE;wLdeK}EtbBAvE%8vxh8L4@k*xgX6p$U91-$@pqC?O7oJ;)YtUnno72w+ z*_?0$kbNT$Rd)|TLH+XGzg<)9BNA+O{z7nqB6x`N@@Gy}(aLRM{5=5}Ok?xD7#4uH zU$TT8fzPHpWjeLty)Pafc(Y1zyPk+@j7wAx2SDyVU=uQ!JTwhEF7ri9eIYW%vPav{ zvr!BkU3wzJT_#tI?lY9KOwB^achzMawczc_Nga+YIa&XP9RV|1iktIQF^U@O9@u zX!iO;(Dm28GgBW}RHw{^44W#_w6xISrjKd0;3*7%X8AR0r!Se_D3x-)9GDe=&e~G$ z@ShOw-e1X>XS*)wL+u1Wq>xLC?j%km)nkxA+j7rnPBo0%R#F4I@rg9v0hKjnt9}d$ zX(z2Y7h5TD152oe68hM=1A+e5+)uQ!Xqk0$p&xCpOSamb;!6L5&tr5~;am5f@M3;G zsi(Gi%Nw-5V<~f4v#IWE#FT5y(Fn#*^jSj$xD^L1mLurYZokAHL3csQ+dNE9Lkbdx z_c52vP_}?>Q5yg$d^(o2$hVj>I;bD_5iV@aVo4S}LVL{QmH*ngDQ0=#oJe5)d4N$= z@Ng)cFnvErQ-hj&c)X|zRxM{v$E>DEVwZ-J>Qihw%-ydpYT&J)n;Rx9T%QEpk4$Mq z8+m9#1Mw*w6_DixwmRn#q+wV&?SI;!>()W(1bKquQF6Ht+=Z4j6MC7l~hd72+6Yl8bh-}-?#Zh@R3+1>w<*K%*_%y9U1^!*<$+gVeLnc>R* zMD9G!;ZPd?AV5x+J&)p?+Q@j3(ifhV3_WdTZ3gCS0zdP{9NC_$)6=ph_7B32vI6q( zu`Xq%JusF8w;1Tyn?zXHbyfSvKAlj9USr7N7!T+`WkJS*W9ug8aqWðU6E75Kyz zs>QhOFKLgo%ft>4TDTTgxVgBTots{U1W_}iJk-aBh5Q{=@MmVGB41fE5Ef=Kq{z^J zgm#n?+pHezXyx|EU*))Wg?s#WQ+0DP(`H5zH%vZaBFRdfl!(v=;V%@As!n>*x;_TN zELK2i+ed?ClNTIZzsSNWl{zj*Iq~%QdCey_?hX-xJmYn9X&VgfhpLt~&wIGDCg%O> z?b7gT>bIf764tsi6T0BWa|2;(rh2G}m83s{q1DKUy zQ(%Dy6YKamy6%iheldT2nIfI7AlMaDSWtY7QRk{ExAhL8Lfft}Yn)fTi=m+7XC?y8d6~&|wj;vZ1n9x!Jv+jc{6ou9Qe@JW9ndhc zIjK>^GWwDI7smb#OG3g}*Bl8y4K{!WLIp|7pF*t@*Yn)PPsM8XZp&!-cSmZX)=R1` zd9@;=jX4CW5sC#S5)9;9ta(wfJPn!IXYVOmRi~7zZ|hcJNhNY1Z;n^<_V&--3u3wU z?#YiX(KufD9J?CNHiO*;ek9oIqgSLy7B$cRNZNlUv+AXmpqHT!0X%+4w?veJg5>-`kel3H4zk!|tTOO%l)M>0Xi6X_*c zCJK>=Y{W=`m3%^`kE1~UYilX;0}l4t|FBA_5ac-v_s=;-%+uHI+okAlWyZxEsJGds z5u9T}N?q)FTG3`0KB6S1lwF|qhQx;e98J9X?>r3MXESkR!7mBF&!uE)H97wwB5iuY z$y~!P>|)cKrE1i}yPk2a$t%<_#tcm>g#q=L0PHS|q`%^6%xTkbNidg{%0<_(e<{SB?(-z@^dBMQ(L@vL!bzC%R180VR~n$H(rIe7se{ZqIA29bgZ zo*h^ybOuRol`9Q#%cIco9^!Kl_TT^64oD{gtHvkt1EgmYr>TK%(S^1bmui;1(+S7n z>;>nbb;bS8onv)&%@2hXa=C$CRm>%%vV#)G{jfPSqCvcBqBaQc{{Sqm0JOr>!&z*ci&pXSq?IUx` zf$v(UOcy-*PIGFDYLDISlx zBKD)(0r?I-uLk0F$>COfj6A@|nx@dpCmV#x$ike`UuARM1dRev9k^?kK5D~7+gwm; z0E;RTfnGr(g%r~C@)=GNXDVUpI{pIL{SnFj=qTp6>SrrlLpCkb0sj$7ex~Hk(`dcq z9HAEMxgl2VZW7B zL9AIJxEbnm9@-pkvHpXA^LvIfLx5*d2%c<_s3XRx1u<%2L@Rs0#KxsHvS<1F=J`d| z5c4UHQoy3sHBSAHCV^&@317PvKF)V6K__3bH;~@Wb^M#rqCXM2@t1%zn(&JU&WS|I z;GXz0_J1;5MK*<_dCf0id0mHsLR$sORB&Q5U!bg^5;+98!ItY|nCBdOao+6#aA(?rU(RaW4vGZQ z`AiXegA~0M8rejj;Ar}Cre3u^@LV5$K&kEd1_yTAsDLwDoG}9erWpQ*{NKxH>dWV; zspvm8P3Ht2e-*dRnLvsd=bQeH0k}#HHlm>hSMq3;1HLQrFvPoS$6`*zB%|8y zjKt20Ti9npNYGcof|E5Vk{){B{S7bY3|C-!7$|3@UO*p1tu8JJ%H?%?IX;+h3`Jl# zck-S`oa+qjlRwUz*s}K_Q(Fyb{!!tv>(ozsmTwD#9lI|s`p9=@`n{ww59b?4*697t z+&AghrR&98jyw3nB-T8^?+3gtsN_h)nM6A0wfcj{qRM4An@YR8f1sI6Ok@AMAkNK^ zZVn1Cu(9y6{U7z ziO#S&2PSNX6ow~g<3w1`t4{m8EeTj(HKDmjaQ@3Q4^P@WlVV%@g}Wttc=MJ4-s0ynH(VJ zq+1W6NKnuIKxk*r$o`&Tse>8h(g)5^-Eos}_h3E2RR?)!31!3(7D)fD(pW?D#cU zibNkD1SeMt7DI^S8=Hlh;7xRUJerEUNr9)rC>^3LIwc0cJrW2NXlnf!NB~x>%k`_} zvkW7siD3h<WPEpGqDi1e+N&u^RNG0gPP@R3Ys#t@NNjAK@0AtKL_CM$shc+E7yX}ni&BxVXZh$ zjNst)zoxjKX85Q3_jxRmEWjW?AB@zC!D7M`msa@CaCwlI!8@XSPBWE*KSslR!dL}O z^ZWNfW_Ng*1w5(_GfhZ822Y}cp-j+3Ll&@hN&qDqYqLX0#T^&@ z#-Wk7CzMCq;%q4!HS~?W=*ty5GB+nh z7F;#`dqlk0PT5arE}oHpx@c$Q`u!BfJB7}%#t%frM|Y5tfdvkK!ZaapW1=HGg^@OM zY7yZM4Y=038G~s%P=KL@d`llE2z+7_f4CL0KIY?FxOm09Xc0@rdalXrw#GIhu!8(2 z6pvNiiGd!XgCNpzp_Z3%BCFSmrUXn7q2VwdLMu-?u2K59K5M#my*}1Ic^6~!OgV7| zx_zoWI3FA*p4HrA`I=5fj?_)JdWe)4ar5oW&pf7HoDw@W2tZEn`_a6L)4=Y@XhG@o zgKIOLW6g23kPczO>B7Uo@$$pzgs`yx&*w#v4|_iYG#%u%O}zkeY<`6#!iqhP$$et8 zw+hs4MrvMy+1P2R$Me@`Nkjczb+4tc2Lr>GYZhq7fV%M()8?Me{Nn{ML@Ny;K)Dou z@nKvJ4ob;!9H18%`;uVZ2g%e*u!VqzTw}HQ+lq}8_JYdCE5PsT^8Mh#I-sA?kRDT# z*LQ5cp^T_B$B%=H=v&BXKce84#ikZrG1KYD{tJxxwOA&qD|IbX$y%x543Y6HnCUz^ zy|vh`+fd;_gIA~C_1!9`-52KCDuUS%SW~tsI9a`91W=Df^h8WVn{@va*KM>a%IRe@ zwpvW%jjcBZNGYG|?Fli}_-UjToKyDc$5FpA3{+oKU}nEf%zIGwx&hs`LvA`+c2Qkbj=L2K2g1^EcevG)eltrmmyDn#59Gxu;j&ZXAa; z{P553a*(BNkqFqXE*I=pHd#wIU%aH?12Ze)QFYxkDk1S1KUv=etD( z`|%PJRI?Kwn4ovcVNHt8SnI&d=ph5IT~dtK3zR`AudI~~_)s#5#?YPxdaGsZcW^m9 zq3rld-_9Y&^Y=nWBclgyCV~i1I&73;%FDJm)WmDRnhj7;$G)7YO$J##1`1U$2mX`y zkx4kC_d)P>5!)5f!K z6`(a=TXF5XfAV?wdZscG8UIoe7C$e3j{%$Z(80bh*hGX~i!`48!9Ad-Ox~o*kkdXn-j2&bKfi7kbM1qPbBB;D5j;Tr^ENR!RI<3M8kX zQ7N@nXY!=w3PiF`HG8dG)elhr=nX4|r%qRtIM9rb7%}IkRyd@Dmjz0twH+*;BQkVy#rM@tip5y5FH8MA<6j zHB{+u)j-ItxnEvJ<1fb5Kq$21#?0aBTR&bCh6~@Xn20&D2Ooo3V@4)?4xls&vv_Ft z<27TWAwC?Ep?dUB4AeGd`{G}Sm)Pll8XK?g#(1t*I6&2+vCW6c zP(l-<@X%5Z>wA3}>!PY-2ZBpAsJWn{gnLTc7R0X&MPzrvm1UnnRVomKTNm`S-@U7G z9aoSjZE9Z|D{kc$MEkEt*1#UeR1^8ejRuDHRM3A`qv2*wopei6E*>3(5Zj2L3e#yK zOml>g-{9#sIO@tc{~eFO9aWqAtW6a{w{N6ML6ZfKDT|-QkUICPa`KO`erT{3(se}P zFRIxJ$jv}goK%e#OPdl=o_wMC%I}oWB~-KVx2lw}I+h74FB`Tk13T@frayfCr0-C% zHxcdLbs<{0%myc5Oz=AIB#%#Z{+^~2HiX(x3k8xA02$p z4|@3)P<)-|?&@z4!T=3k4`0o`-9u$2wg$A-z+weci{)?j*FV8O{(6HOv9PEfT-9@a zoO{7F;v6`P@a2q55qo%?Nw)C4aQ9*QwdprZ)X=)kwY1d*Y>j&UY7TVbcuWwxvm9k4 zfFl|SopbkglqQV5L3z5~;aBd3huB)6wafbsQETotHzjY6@&MppZSj4q>ft$Oa$>tf z7~Mg?->tNA7B5hn@}fu=?K8doareE}YAXn3Yxu9hCfpXoazxJK`{DVoBXl~?vmhl< z|Ep1<_*VutItyM8>PF{#RHA!R3wKX;Q;n#T$gdboqCu+FR}iv`KDC1XOo?^s60_2^ zzl2Ee$xQYC4LGg-suhGWX%ag141a1L$Gu?ZtC@EQ<+RuKAHV;nR@Hxb;ux-3Bg$k# z^#T54HOPd@7pHm@-47)QlwEMZ(Tgv9zWn&9^1J@-AL;BZ%f24vx|?5SW|VaB<>!iP z_Oho%|68NCe-5*UAk@JD?G*3g`>HfyQ_tXLkc_!Y{s`4C}Kv3GblE|WdO&l zX5(W)!pi+0Oi7DGkClX-g!R9qs*{uZf64#AN+haq%(9M_PX9$5|1Xjt(Gy@7FzE{ZD4IONz2eaBvHe{Qp}F5dTk~bFi|I{I5PIOyO2F5XF$V z{leK7R`Md>4?`saC8kgOOSBI$j479z)Ev?S@+=BRT0>$C4;MuaM?-O@s<(_)^RtL}w4*keUwvDA1%ANu6mD zoZRcW(oY3M>aM>qxex_lIA|-17Gc#Mwv$W?RBeo14St829)vSwuO?6r)aa#Br>q3C z^NOpqRRRBVho{n3h-AO#FSQb)Z2TXco|wZ7URk`g^1D5*LZg-R`Vl)nebvN$no!_c zM3kn;K)^wfl+IwR{$oM%97@eG{de6nTZniB(sl${GD$8;BS|-)0`;*6^9g!r45koF z%YxV+g3AIQ5LmDW65EC8aefM4TN|?h?q*Cx5Q6RuH#f)|l7;oi{Ci;65%ER$V&UsH zrGII(5KNRX1PzK3p&DDAxq17&o`Yw?fs-=r^7-}$-Td|YfO`Mtc8hw@=186TQs0wg z^dHDJn6S#TN0~=_x<`cHzL*BHnrSQB7&vYNovbgvynVsR;uIJ&aNR(O;JA6&;3z32 Im8IbR2XYTAX8-^I delta 31672 zcmV)JK)b);=>@^&1&}2JGB6;QKqvtykx&eOvBZ$zy=hNsukF}vlJ&8->4W3b1CdyX zU5ZqA+4Z(3|K7QQqO??e>%*>q0WcU0<_@~E&CH#B|CM|4`{e4YZ=OfVO!-dgx&G|x zdgl4Qlcd2cR<0An&{aNrJHNbLc;VbMw}n}#aDKN~`Jp>Nx%as1baun-pBJ9z%}v&S z)lJI~UFC~+SAUzWyx579H(RL~wh0;iMcr4OX?8}pePd+BbuEaW^w+rQwcW^W`-|)P zHIdUIYC4GLI%$}sbdWG`A|H10J;zUc-iZm*rK!5267&twRx*azouy71sR$9QBH)Cl zfMn$aal{CoFXC{nv%W04dtP5(^Y2A}z1#PlCGt&Hm?|@e!&Bo&-EGZIcSS}d&!WKb z{DgM!RVut*1n&Im1uuAQu(w%w?%Y)EdZFBT-z@wXK=#NZf;|sTA0DFv48X0;XtkHj zH%mtUJuqEYIN_deMHEOXYxt-rRNQ+L}{Gl|^E4PooD4CfA$;49_2UV;lAh$mc#nk8_)D4_ExJYWI`1Q|^e#TXy2+pf`BCpYMi7Wg0y zUI?gY;x9_YS4iOH(@U9rgk5H@K!#Kr^O~1cZr%f-aOqczRDsm(+KG*V*zw^iMjL_9 zvcSSh6j*lc zWvJW2}_Uia(LtgahlpzAGhM7W4khC8QTR`+Gj&Bo}Q=i;Feat8u0 ztLna++!;6?f{j^&uRxB3UOK=uci9FVoCOXcnMDQ6MXOs^Jh3!?`lek9zSBjB7cXGi z%bb#h_@7)pZ}I&2hkBR>^B)eP9i~3Av*Q7c97d3qEi>Xi4z2I)n2ei|E#&(RM{yaueiUFrlBs-wdv( z$aFcS4tw2nElUo6X$A-xi#PyCA?l{gWdhtrqrqhNSqIL3DMDMo{KkrBru%jfL}Rr9 zdMK}~Zxc*FosM9z*zHSL1U91T7}6Nld~EMcL(;%w!62k44>&&Tj)TMQQ;Nrwkj(hO zyku9n!013I4t;;#-nX6EwLFKV-Dh1#z#eW$uL}+)5CD{awsnQti}NUm=!&+R6g`eA zz;CqZLd5JKB!*aFQ&h%K@C6gL8ikw%njvuNeN9)4)62S(nH0T$soL9K?R_VCQrn0 zQ{a^h=cLGgOM)& zLfO8QiKIml6U6-3C*Oev5CMK1$g*AGkcPbr2xr1VT*5n8X7O)raO=cwj$tB7hqTW4R_e2 zKp+M#@y(kbxO2BHvhC#FR_O^B@G$Rpd$|gC-kPj29k<1oqxQ87xo&Ed$}qJNLqvfm z4qf)L>f{b5C?M~Ist}~2V<Eol*Ekf&CfdcQA$5|%aE4-7DPgNLH-*{B!h0Y?-B<`|}e zczVGf7={i{L9oj`)*Vp<1b9&xM(79`{MLIX6J=bZgTav#qXk27tkqc!I5}|aiciJX ziFu1X3Jl2?h5<(;4(#aKYSm#3o({62a09^{4x+Ra8 zgE6WYQe4|fc6E2ZH{2oy`6ET41u{)2yqBpMMeys0<=cVn?|NreRK~;&JwIl!H8(%0VE7_9L5wJf|J^g=8@JoXKLlO}D|8y!l_uSNpg5Wp}d5ko;t|V*Zh_}^23!j=!7iBw<)mV{> z92E)kp1t3fbW9e)Pc0ax= zu@z1L%hxv*w{@O3Qp$#Z;vwv`QmKIn5R2_F2qSPk)irfl8Yx9ZkjHw#iL)8F7>WA9?{0JvxeQel6Gf7L?l5Rf zC;;|#QE@>CI#McuV9r8Vdj-RU^0HS@py!Mz$4*KC5du+2)L=|-WS||vh5Vj!$zkv% z$J@B@X7ZkFF2Kv8x`E_FCTR!~xQU+S z)eoq+SK>g@b4jm8O#+WyRGPAX+k}Lde#HP|v$*D8nT`9BION>F?yJn|woClNU$7M= z$r7!U!6R9k(2RKwvWnl|6e1M|;(`2d8b)wXoAr-PsI)boGipFLp^c`UEEJ$6) ziqlO)N(Hg+e5^gJcH*<{Pl-PRACBpUp8 zw$;rEmjYaB{}IL`$OM;v_#i9Ki34%oUw?hfDUs;W3^>CrD@6oO{=c7lnw1xT>5tTj zy*)kEG{wS$b$|U<_W$tNVZOccgBZN~cI-_<5vqfPS;z$a1M^1YV^QH_W#LOCFod9P z;6hvc$NcMeWiUWz?hgX{2`r;K{>vxJnJj$3?r&LWKAD0)pCBTCAb9%HRLDjY$xjjl z?|~ekM1KZ#^GA;+EX!CoW~(rD;y5~qEXX3a>8hT^co~dmPhHBnm?oeuLyF5d2oP^{4^6gA}NfWC>ppj^#YYTemFeC zJ+rt0-HYL^$ph5belwZsg`wlev79Q&k@w(|pMuypFLDMGz0|NQ;x6Fjm$#{hgJxVM!8ej2Wf>>mp%h4P6wmn`8#)A2 z7KQMwt=%Ah6f6FaY84re6@r-_R$y3s<%1Ul;#-)GPe9$8f7jBN$B~dLc=(I^t%jEl zhH?Ietpmddu4NHYC1@vzIl5z_y^oj$49 znhfRl=A*S6-^&6JVBHq(hBT3}fzlet=h&`G(MNn~YsT30_*>T~jp z29!(jXb`ON=@#C+=4J+GypeAKs6Ge_GIO299t1OeT)CEWpY@O!VPeypU% z?Qq9`8bcq@{@NG(6&u7qZqlO#; zsIGv&o&2`)D;S2yAT&=hr(qd)xc5dLT5*DZtrn6kJNw#bpKPsO+A@Du@9YZz^OZ7m zDeCf`qRV}2CpKe!BmTi{e^^~FL|tFe2S{XmZb8Psd1}C1cJ|w>QE7<2Uy=ePejt|T zyt4g}I*W&YQ}7p5t}i-@t*+5|fpSj{*;QPO#gUQQXc=NFt=yxks;kaaRsF#lPC09T zTWD1v+lMk+%#UlzstGm*OQ}ecsL-lnZz!}P_{2(ZH3t=|ksV|?zu`7J(3@pLWB7*=%88o)Z`300e@4#O)Nvpal zrF(dnTrz+PnP|}k8Qf@9OMCsnx-6Qv4h!}H+&ygxzh}N@!K;Ex=1;e99&-kN#A?ZX zW?34IIm$KJVR(X^fxpR^zlqq%B(YEVIYTL`N$mYVqpqYu_mL!rkwLex!@4yU*rKLk zW!<+Wc5sWxZ{{(=$l!-Ett2$PS0=mFF^9mf(T85XlBzZUF;vYtix?a4C65*z|K_!6c@pUXf&e}H9PEr}oY2p4Dg4Cp zk6*w~?EPaj>kv@aWzNqe>L{zhZ+Pg-0vzztG+~&ebS?Mzp$4oy+EoNZX#N3(rdJCb z6AzW2bv$d+-5FDj!|?!EqC0*3^|2m8b9&he(m@Tz-yaY0{P1uXjGm2f;I048nJlnB zyZY*XDWT|@ld&QblP(Yy1UNA`AeTTW0VjX8TUm44Mz(&>uh82iYe)!<9e$aTWjoPK z9J?glB)1$tfMiod1Of~eYdF7t&eqt}ax%BdFYNBqd-qwsa~gCn9xmLA@4s^;eSQDk z<+~`kNS!qDqKo_eMUX%?xQKnW(2$eYAKr1M+HSkL);oub_XnCNNEfZ%F4f|&T&qQyL++1Ga|Jg@7G0xvoXbm2 zkJ;~4EyJF4owcz0$!bDgO>=HqeZ+rZl4!A6dhVjbZ6qO{jZifcc6zT{J`|wRp#T-m zverUsm}ENU<-V$qFm)w_LT8VrSJv8=gDqebKU924e(2#s_?C!T&1$n2PM+_pUWVbq z;re@PJyqqy1f{gu6uKYYvZ`%WHf`PE1^c0k_lC(SI~P@k=Yb{K5#@L?eQJM9h31T5 zHq0}>I5^qmyVxBuGESX1f$;Df*iPuWi(3r~$hUNhG{BEp`OsxJ(*sS%)OX7`T<8qA zed)&wZB|fC)_te9QZMCh)9B$gLdT6fp8c)Ne%Hb!Zn^bUnHA>-&T!mbar<{m<nE)>6hYTd7l)_cH({)op@%cF_ z6*xhxV2LycY>>KSg=3l3i=03urtPV&PF16&L&>RLs&MhIR+kO2bHL|{hX9Lpoh0<8 zJj2)SCW~uMT0ROl7LgMwa}DJB@plaqa;bRA+XHvp=@V4zvK>Zj9L|3OyTgJltV@kx zxeD}0hT{DN=fS-J*U;XeCTp5%n`bR55iEaMdLYF`r&nCo&VwU8m~g6qfl;2Yz&pd* ztr>7Km2FjYII$-hXOHvkNj`zrPMQu>^H}yq zM^vGHO;cnaOd4FZOIHS?o|!0<=excsHrZA?%>-8Akl7eQbv)$-9VayG8afuNV2cQu z>7p&`BJ1WSp4=g1aK25}P|4>xk-U-W{0Q=dqw?KI@4VdB`UrnFl@-N#8L{4m?l=3{ z=)_%?b<9sUV7u&tRm^sLFy)qJgBo2{-NRwU1s10DlVBJMc8XiE4Dg@*) zFg-WP9+n_uIUpn3q8@Y!e2kdEjm9@e#w{F>CRVe`fQ$fYYM`HWWwjOYeLxdXW}Cb; z;tCa{s4ag=eTGA0gEBEoAQ@A{v6xK|Z6C@UFt#))@<)MKSUTwJ#JT2FXJ=qAhl^K5 zV+D^!nfM;38)6N}2=pec6dSFS^f%3IM236q1|-lH#aOLL|4OtQK}_;4EQ{IHU8~n{ z97Zz$Jl4mPsD`eD3z+Gxo^u$saw?p|G*LH){4amt*&jq%J^kh>_g~!cJrDMEO(Y1j z?*~GQ>Ln}4Fhc3EtdK*WN-nbgO+oI;wf+?lZz~{QI{x%4Y9-c8NIPbH$&D2IHBA+h zaFouOT>@}rp6Xo24w8WQ38~DtBrYfTG-7!zH>pNT*s%;eyD4;{haN1QD_$X?RihsIizbp%qo)kvc|7tp#rk z?enIcQN{T2$Fy10+Bt*ZjOcfo&OfLXITJAzAHlMZkV&c+;i*Vsh72!%e$ z1GGMJi5C6>u4WMo$F5N1_-XG6iTm+f+yd8e6VEgQ?Ro?YiJWO{Qs6yfO-}$HW`GmR z);2v1?0K;n_!5-%Wpl7CAOb-*%`)EL+6z1!snq||BV3z?7RVeYU=&-qVOVeW^2p}&#j$_d<@+=HW$5ingoTIj-E@9&(1tF~O$XPy*6p+2 z(xj3ugfsGDX9srUUNOl00r3nnP8=K8JdS3nNt9f8Y-Jo&3XWNz z$*wBN@#4*)12&-6)C4La(@%m;3@*e9;a$4BRKkBlM`)Wr99pJT^$sNF1%!Vx5pt3r zrV;NV4b?YA5{8EUGc_Iv&Zb6{Q1W`)9S10H2C(VR5h?(M*XnKW0$rq_oqT@+CT8?788$NTVfzmZnC5EQdGB|G1v2o5FtQ7nBi69Tm9l_dXW!`@rxoF7QeCK{j zP9fIS2!W3n_o5y`-BnupvKxmD^&cHbq)n##5DlIruHZq-h2(M_VtJHE3stp^F7~Tg z{mAM=sVdDK_E$`Lj;`7sx9-C|qmYCNUsnx9Kh_u|8v=`=YlUJ+N5k{+<}Grj4e1X! zIZ1_!y@88awrzau2e5zQ9v=LHmWFVY=L`P9Or1BB^VzfjWiUzDu1BdWCKy$M`9YO% z`CzaGNKiTp+Zvfc<2*PNiCB~*m9SO{cWD(Qhf%~$%dN(41r)z@1-Ql8CNJRV4e^k@ zq?k?MeuAzknAE$^P!R5f9CIfr&q*{??w$D(io{!ebhr!(0CDvwP0UKUOV-s6DGxepwMm%~2!(NPTfjWzx10~}YhwecL zpzbKpfU3v_H;#WNdLs;DmoOHlxs-8{n9>bmX0Nj*C&>$ARvbtj-70PbN!zSJro-%w z^kt`*DnZFMU-47`AV}cDPZ26t?L$|RhK3sB7(({QD8iReGN$+dfD3sry+<+L>2+c2 zCwyzOX{fB&c7-t#ejuvP4;L6@r)UunpAPxW8i^s_N0Qq$G9X#GkHd3_q`J@KZTq?^GL1IiSxUdkp#& z^f~o0m8%>-Q1he7QCWC#(7(vXJ|7Fxj>EeVkf(pvlDbe-9IC`tGI#6rhz{wybG|D z9v;F0f}&dCj}O$au4msqWciVs?2T^frM$_G)~Q8V!x06le_RSYf~!cnUUB*QZ+~L~ zg;*hdhbyk?wk8uDcq79NwP@k^aViiPiPV3*XVzJl2~0@h>P_|_uJI<1H#pcw3U?Sa2t(f>wtzJSV{8p*rkt?O5{@A%{uwm40#~Hyj3d1t3 zuHhmvII-o*uLPsA5(dWSXp|W62ZgsVh&6t5_j|mAbm80;S7gPpB1MV$z6UfjJ%Il5 z3Rvh-PDa}ty{>F@%kfSYx6+um{)2xYqc<>r&3aEIPU?qKBlk1KOgM5PR_o3lGznEO zHCr4gxg8m=w_>&|K3(J_Ngr}X6hbrF;xljxq1(HEJjwgf@Bi6`cO4b(#1fup=WJZ;+vcp^iXo#(uwLEnr_{mp*}0=%_t z4aSS&(aEWat9JQL`LMY(_7e#>Cr%Pb@F?|7FBQ*vO+7Go6llM_dh-gAppT2i-#03YJrJC|Irq=VN3~L-}qY@D1Uh70Laj-UEyTgNBJb?llPf3$Sels4-e@%< zb!fQo$^Xn5=F5BR#>P)~0A;6Df*&G|qT9ZD8|$0UWj6n-rzi6IDf+hOCEjri z;#BeL(=T}W@}Bt5vcF0wU2Pa+#qo6gP-VS+XxHEV-(T5I2#tpi=i1dGEdtzp#c!KF znqCZHjU0Dh0@#r9=$xma+{H&-6U&xD{uw`R<^ZbIm{3$zJeYq^@i$g;vuy?*d$^dA zVtH)jy`10ALfGJ5m-2!Z%9C5je6+@I1Lc`*bQ_jKen~P%M>9Ev z-VHg?-yUxGQ#dy-#%6Fxaw)ETXy$^oJ zK7Lo*;rGx-aQJ_^8h3?6vd>(*lXiLeJ90Vrp~wI+Jv=e9*xr$5I_KJi@kNJ|Lp(C_ zX5-4GonOR&N7XFGb!&yKD)7g!RS_08@cy>XPa{`v<=ylv2ewXACr+a&IQ^ui7jy9m z?!t8!?{DsJ@ec<<7?BnBT$M=3F$hEc*8*`imgWr4jw*lj{Mc=Zyg86KLAx6cwPFx1 zPN%mmjXMU#3E?C=3TT3~(YxK0(4I_c-ee_z#ZO zw7?AyEg*lXP9i$gURo*B#P*?pHN;Qfk{#M(F@&7IW8ZtRn4S5C$B}2@8 zo|m|0rs(>XFp_^$U=cZOL-BGrd?K2tM)Q1L$DzFbD>xZ-UPE=;qD4lQI78p{SWKK@?uN{He{o6R2z6j}wr`wU z#j#afh)fn%_tEM;y9o@PFY~#yJ!6*;;@IvZ@$`g~Lnmxw5E7s9bl?%*N{nxxL5)t(k+O_bL&qk&oYK`)D)Ld}fumo@nMDAa@P{1%3EQi_pTQ)f9@RCRlX2aHnq)}SXLR{(X&gKBaQZ0R&rWpxx!{_mPY-!kQ-B_ z4SJT#@4-5boum35t?y;whJoWXjf74`idG^IDK9SS9$f}h- zokv*cr$N|03aJiE<8P}xR5MwWxw5v$R(&c~*3cjdx=x$9{ap~-ZC%2R%moe% zBaOCWxsJWpBO(nz^xA7WqRV7K;oK-1vPPN;Y=-Q9%4~ zbHC%ljhK^T5Iz*RhMCsf`ZqU|z zew23Lam)JM_^0ocI`Sju{837jXcO9zrHaTn8@|Iwf3eK81HlS!{RT+^uG%{+%M7+| z#~rVfSU^bc^WIh@dJ&DB-cY1$6ZhM}2=;q|5yB!}`+<<2XhduJE72G-(jSemdN&%W zACljUM(|_!OVJqjyYU0ke-i2dWC=u2R^G{?GD_`E6wa*Gbq48Ueqc<|jaSNaRFBdK z()wq*f6c{8mgQcTBFV-9anz3kBb4P*OQ8c)pd;?3Q4zBxEtK=ZN)Il?N~X#R+ksOe z3!APxWv8<~#t*rUuaJigkQ@u<- ziBLZY!yWLEXoo~N^P_-t(8v4Hhp3B^80jHf9H7iJy`yd-RF#(prePBIR`0N=f6CGh zK_q^D6qV_koG_)(fVAMyNoU91%t!T4=*kVm5iS*XqLs~1tYlw(n*H4P2w z78>^4i_L~j`PRdR1cHR_B67Dlp+4Eke`-lTAV0flh;?feC$?_Yl_@rLW!iNs=uMHx z9bu|JqcnI0VJ7dTDrISGbR7!Xa#P{uT5Wuq&OUvbVv%SK|CLVL`^Z5q?*;>OP$fIHq3Nj+807?RYD7he+S!f zrl4e7h<)Y!n(Pb-;&tlMX_}cevGFZn!P#(hF;iDNuHuQ`iKyFj ze{mdx8^@WN)+Nf!raTaiY$rU`^vUtHg>6LUk%461*fvQJ#f2yzf$`t(#oM)be(l6@(6~8qPLOx3#W;h~N#Y&qCVKk1hWF~if9AFrUVrU< zO<^&B_CgBCLE43BVqP*RO!JvEQl|b{zl@=|VJ~cKRaDp>?vExCI>WbbjbPtGuR1(| z>L6-7bLdhC#tS>mR%HTBq*{sntI{YiGKZ5-*Zabe;$3W&#|B0rq_ZGt2VWZrQPhP3 z-Ndq~tp_~v!vs@E;=>YlfA7s6IFKY1Jg^6N)6;d01Pl^G#SF9?I#(bQ=Td9F>fa0f zJ82=Pb0QDk+2(z~{2--v*~$5J7j_{$^bcpV0;_DpXiL%X*|}Kh;s)hwa9O^{ey#~} zGfBs{M^`7^MH0?iuP>ai=k@j4te0PQ0*3O$xy+R(zd&eL;%+WqWSwDrHrky6?sp93 zFdoXw;3dC#&chZ*KlBz~o!r7=e2$@cv$Fso3%Dkq${7Tdz12)Ti3i)zPuc(7`n3zx zcs1_Mo)Ql9TR}Btue5+QYL>d%j$NlyF4n-w)YDsJ= z?4p2#A!p8<`Oam|g^DCOGLk%5Ly3YRB`JDRc+iTJ#ScTk50jBpQiOS})ktg7*rXll z5J`K|5kn%Q4RbU$kik>bcq9ul6UcvhEJSij5!gEGM^=;bSa;-7!a8|uw~4$18E_>m z7~ld+Ka17|Q)gz@PXrM(UvBP=8s6j0| z*f4?R2UsR`fT4e&V@Y6^$PX}sg*}w=WE?92wlzV6GpuVOR0pxhO7;YZX?5%bCTk-I zvEl&9z)~(a_8IE|-LhqY1!8~NAOk^PHaInMyaec2vJsmgpp6mA2VH`Q%pwI%A;H!F zf+Z)}mSCa4M?s+uYGo7QA^8!{Ld|R}?9rX4vWKu4p;l)*4~FYF_F2tPJX;DgUc#jC zPq-UY!w%)yXb{H*<3}eaR7|M&SN*=G;*_4P@~kcEN~q`b!w;ipZ|i@yyq)sQ^PQx6 zL;7+$yZ+SF>uUZ4>H60%)LYi?^X#fBXVV3p=5|^xRtL8A$Gl$NEU=3wSGzHp4e_hG zn&q38rq!I@=Ju+d??1(Sk$Vtv59xeewdFF?OBQ}buded!`q0)M;JYT@=Bh2A0xZ!_ zx4CJ`d0Bm;^W3hRipGEQd6QR%xY-^^UbRh$N$h_!tv;=%pE8~0DLCa7wKYv?l4p3K z3GZ$XaCIB5lNQ>Z(YTr}?pNg@D89Gu{S8jJU$uEjlX|hvc=#Fk!tcf7|7Y5BbCmpSzFB_|LHWvTp8oyGpOS({eRiuU3DDxZACVysq-)B~RXF zsvGKF%UKCyKE3}Di!GD!no`+6}K>($=4(tFaRUN*eyEJ(!p25?Vja)A^#T^2g_YVDkZ~O42zM zXJvcAj80BQMdyE S!Q2_`othJ)#nQ&C#_Vh;~c6T#x^SqqCtUuESi3zVbWb2C& z7&O?4h}+YRtEvX051bbHOa$0&u-$MmdUSe6JSuPl+wT2MSzV8cmvuAGO?QsEDE?i% zE?(gUB3v*qgoY1V1`&}Pbx;Cn1qsrMhzPHv7Scq}jp=_|RnE#b3;EAiw^>WIxfVyk zVjP@|lev~cbK&EakX$<$xV8`bu$)ilT1s_1EXa8RxjPskVGrjb5Lx6@VXWT=1P+db zwVpO}mC_^KJaC?$fB7$RxkxB&P<{!EnxtAU78konV@HY#LwF?kA*5CbhoWTwDe5ng z29hczlG=Zd)i4bT2pc_Y=7-S++1Y&%tpi*)h}1Ya7=m_AM2Pr^_6&Eqv-6op(HQ%S z&n0l$K65p-jR;+}q_;0{TWPj0p6lc81+0sAO+A}rI2nS*=@}L8^XK;4`}|Eb;r`*9 zaKc5~_r((~cNq&;yPHw2+-$nx!MPQfmK?F29PCF4$N~2U3KJCSFns0z591n~2NoaIf#v-etD7T0p za9`r+8KVBa;Pe;OV?ETt{ZSH$+XIKPOLNOAMGR^mBtCeI0tqD@+e{x*Pfl3FU9=b6 z57~d9g@uP3i3sBNg8Fe=gH@;)k>l(!b6gY=J(KnbPV7NI8M#qK{*}q^_oQ}Hq#QTv zS{Nyz%R?tD&=sQ(MMV(#dqfauw)Y_#x7Vln5^($x6_k?TPZL^ck@#Z=%oVt!*XWGG zUO1EGbajO;1%7lyi*d%W9Oz>d7GcSb}eUR1f6{#q`|_Ws2J*RiW(0lto4U_~79oBZ zt>?fda9R(dbx19UNP}oOgrqc#FW+M6hv`9~rj;fQqeYgMc9_@a4&)extPtbZazevi%Xo1B%6)~Qo zRs7{a4Wf142tSOilZeCSLBRMOoWW>Xld&Qb0yH?2@s<>`k}|3r0yQv`@s<^{Q%;N> z0Wy>EmKC%0Yx^nzG_&!R4J83KmjNgN7PA$+ryT(}lkt`nv(niuP69SCmjNgNBOEg` zGzu?FWo~D5Xfq%%3NK7$ZfA68ATc#DIWU(%C;=&db9iQ7vnJfJ?WB`DF*~+x+kRr( zwmY_M+w9m$2OZl^$CKat&Y3gU`M&vQ=KQhuwO8G%?y6dMt-3ZDk%ICMK@&S8pqQPl z^AAQk1}=b{g^iJmlaif{oE@jk4<(?Pi=?xmHQ)f$>IwJ*qMIqG_f;w`KP3RVP7;~sI#GktrNf*=S73}^w4Kr=%}6KkN8(-+Mb_dloepLGKM zx9Sb;?X5ljZw3uh;wwJ9AeBhyz*W9P5fW)`-v^#AmWq^+qPfRW+fb`ux- z|G->>MIFD6FXaL4}b}O&=i(l&d&KOB!Ke&PG!3PK9T<$B>ry^_`gNo z|2J{}t49CZCH{ZC&;ONL%*EPT&d}zo0scK_0AGW~&=&ADYXCBUe};{_{zla$Bb1iG=>}cVC4$x+xV_;wee7*nU`OlT^f1wezHMTSPr;n7K4Q)-n zTJL`u{(+5M938(D|JOA5s{B9J|GES~pgYhQc6Hg#m^;`qEi>J@4l8$LQbc>8j}dGn z#J;pqrKrHa#;(^dEqt4^(%`K&gsy3t>!aOc>D2yxUyAzRS0AP|MQ;j!@G}3q4+&L& z0m>ipPIj7uKzhAWg!D7@Xs@e9nJsWFHU_nWok>L{y^=Rb{OL|+N9e03Dt{8!0)KSU zM|(tHV*Jr)T7e$4`$GLt~>O!@V~U{rh+{IdL##+=f`b$)`j~&K?Gi z_l?FM5HGImE^uxLUTEom?=B<(w!~?6!u6i>&rJT5ouzj{(>g+_PK~SPO$?q_BlqUQ zyd;3I?;&p)?A`%lbtJLIp|{t_`vcq$NDSYTH)*6)GrC9vgFiT~o3HgS-UL`ROHEH+wHrk|SGEBScBLvtS-|?F|PIBlMkY1YR(>$efz8aN^5<)ZZPS-SkR7xCZVdDN+cq zGvP6L*z`IDzlEP@Y0rNLKffz=;dGNclEiAwM+DcQu3Bto-{;QzI&Y3|Lvv@6nJwJzY#DyTZ>A)h^{*bYqQ} zM-g+HPe^lrU{l>xC*12!*o=WIOZv07V38A=F8V1?rz@C~tDGJmrk23s#sUD`YDgSi z=~N}P=&6=Q_o&8mIZ&#V!TiAv>a&(+tVej=G}w`~E_gDKZ~`J?BajaRIS$WnlIvmK z^f^DG41{Z7LR5XhNsN_YcexGC(?Uj>x!)hXQ|{`22vFyMf;pLGTo_huez~`~$jFuK z|4rV}*ViT(ctS++wptnF$Fx~VMXKj=65OTTpXye47x!Ua?Zh%7fc|!bX2QSeKmAR5 zhKLN4>H;QLTm)bYGDR0vhD2Xu! zT2&D5WL;>|3C?DPw16s(x$B9XBIhZF-!bO^#C0xOchfO9vuO42lewQ=L;WmVdY+Jf zV<^hW8}tdM$p_~Ld9i=6(j{L4+Oo=iVX0BbnWjGBGex=l%7fRD@pROPpp-S@`F*fu zHB|ilYe_4(r3BJc(=|BkgT&z(kADo9`wk@i-71fCBLdqU-C_K3z2d-o$@ zY~b)E;Gk^$4QR@oIde`+W<%QrrPX<(qe&HkWL#;x_Y`px@oHqp<$TIW-QSvjB9lIJ zf`tRkfS1LcCf`s-)2qTcN#2aFQj5OZyHf8nMQ3ycJKeKra+*1;L+6pE=qMrhheKE1 z{^gDE?9h=2{5Q)Y+VSK$zH|XUO3DMk7aEi9_p7z0Tqa&1?{|<^{P%eL>>$win&QLK zErfvW*4_MJu5}u0vW!{Ub;T%uQ>CzS4IZY^C|n{uUUk{0i54N4`_J?%wi0nI zRhlmlJ9t&G)a|C@J`5cU1QAs;t$YlbH&rGDcf%_xO|2xRdpr{RB#=mda+#<1^(5W( z^%d6y8?-FLKO_Ld7i80Wq~Wnf91bOENP6aEY4DY5iywcR-J&UCKZo?`jW~La@ThXq z6tcNci&Fo@LVYW#ThEr^<9`i`QY?MUb{ixx0Z%I#(8zR;G{Brj%0LHy14S_|3iOkbMQg^$&RUv((xb56ka*Oi@S?@% zyT}wTi{lc;P!p2DWaffC!j<`?Yx;x@>Yf*s?Fh0)vYgX2kZpY$XESO)9grLHr?dk* zET9pFMz&ibr8Ml7M{F; zM#{U@=K4smU+;ndgWr~tMU!lQg$7nlNQ(>?4)Q`}q)G%h%iaj2 z@v=-0i08sY$PcvewFAG6cJ-OV4^;%=1aqne6)yL-oU{g&Ou@^;!*FtAx_5)Z3yfoK z=X~}t?+AZqonF5IaJefL60|M;p(|&v98)mU3A~&kC4}0l_y;F3cP0+SGv28n<*tTukwkMe+&&0NE z+qOM1C$??;@At27?Y+m#ZBrBVdWxHOw?0s$w#05~d=n&O9k9~WV1qw?iF0@qh+p5V6c>%<=KD_o zQ4jl%7Waw^+TH7j^%so6qm%3FHh=m%(%Z8f;$iUmg(jLbzP=>#YKjO76X2;2U& zd@syAZ@<N{|2C_ezMZJ@`c|9gBxcz>t+=`K-FTm#4TW48KQFz)?ypcMADsP2JnGx-)ne*Q9 zkONW?Z5BtqQq13_Yf;pB4e%~jUMKIw9$X~CDLh&Bvj1*ypXgv&NBlruRFG-{7cTc zw`3Ve^kl5*czApa>z$MddVGgdtiBgL&-(6bBA*b!ZTYDxqOuYG{k6fnIK#;l*p$9z zg%rziYNQRI#c#2gv=#)ULqQ>A4Z+)*^Hg#z@&j@$V2QGkiWHQ|=tuG%Ekobx66ty) zW-p~DoD$skJL;WPMR_Ee!FV*Xkrqh@YHl``yjT97Ei$PS>WmPvvPcbcMIhQ~9r^0KpuGrRPyCw#(n?17;HB44JY`(fI z=;n|;WsM;>FYsQcq+SQn0*?AaAtuNNj3oNrf}@A*e?jAq$2#Ax{>a$jJf`80G4c)f zJb;`A=bSazlm2VIAPcj+5x*YvS^1SD#*mL!GRlx*)i`-6UQmCKn@JJ`sxpjD#zVS(4R-5#ay4im$;(87gEihr|RA=t$}9P+|Azi2GEOvx4a>TS_|Bx$9x`nAWyBX>PaPMa zk83|dcvPV5Kz`Rm+eOa&fcy?i`~V#!wTV}I{Dq<=6#?+cmuS2k@Z!$Se$m_;)5m6? z$@@eI#ra0v7NgH!!Cx5iw1p4azzg?#=e_Gfnb-ibr_V=2J}7nDmD)dGmPsp!{Lpxd z(DuNXi4T8y{5ig>Qm%1AwK7e{`$3$3p@MAu1Oa?EK++&DN(gnb0pnXlI11N}ZpmuP zjsq{|+cevcVO>=JRV?-yF|uzi54Ss1Q2L3Jm|Dz&xsQ>YpI4<|q2iba_qkPGTS*7b zC{X~Qw^(e=ajZVQe*6lKe>e%n`2@MnnOfSQ991TWj4EsA+J8*vxTwU)5>i08D=0d1 zVDh%+o=)9L6@wKj807RpJxLM0DcO5W-h5J0iX2s?;;CSugTQgFTiu;EqixTLi`86t{B!~bgd5;XnN~kK1I1x2l10=UCqYkqiB0Bd`^ScW ztjsG?a9t9Ws!;05Uo@lbQ2kLGixxMHr2mx?pvXDqkkk#1LphgQE~4N{@^B07YiST= zp_NLqrWoY-xAhT0b$*0)eQ`VENHsfP!#=>itq!6+k^n3nEOq7DBE#8;Q1tpgsSuEC z+)ogRr|M^GH__a{GOuX?uT+~%e@{#S9hn%Ve_&P0#>f(Oz0c(UD=S=IJe`$*Y-Kvo zMdAillxZ;&{?dv>n>iMeCpK~u-l{o1NT+&FzZ%xJKz$CqDY^9!YTeW7>9Ek0A5KA8 zD(E$IO>P5Sp3hidq6i{l#dJeIR1KgY@L$5C-RH9UL7^#=LtC-fN{OZ6C-QGfUQpC1 zKd%V0lCS4Gi#civYqqMD@4OJHkySV>g>Tu?}kBc8Z(3LA1*gntbcLfeQ{Np;a0e z{EnilNYAwCM4p~&EW5;`l&YQ~gR*(jm;KHU`<8Ij&t9q$ZGenVX08l$G~It?7_m(8Gw*wO#!_kbw~h1s;J99%g+Ye9;k>z++^xL97w`*Z27k6 zr}im=q0OIR*oLeU$sv!U7cctYa3-X?`b|5}_iB}> z4)H4_g}D8ThX|>yFSow1?LRe+os9;5M31jaUncte>#6ywm@c^NZvZ1SNsmM6E_Fin z9b22YoQ<^SRlaRl%)0%jCht`hzx^9>1U`ex1jC#7o5@T;`#Olfwo1;Jn@6E3xOB7a zNXfCXu|{xNe>)3Cg*FT4L<-am8Z*Z~DrE>}&>a5cz9okvYw;0smd?&WZLcVzRTmJ#Sh={B28>+$0IW`8)I`da0C^xf_! zuc^1=FYx@Pb_6kw)JscCuXm!zlP2u`b{{vy&~U=*)B|Ze55Y7aL6Rw%(uC`)Y4RmU zW&(5-dA(7YW=3xC?itsEkX8gxFV5xy_jk-2#R?(z=4`9a;fYQ?u0L>&he@fCjhR-2K#tw1Xkb@ zvh)TU*#+m)tZ7JDjn|%e1F4vfLeWPy-PtEf(-_!90Q%s5$0*D27Y)cS#i{35WUz*u zmS1#a2+q)yR*5(NZCH9JL<;!S%Vld;Xry@lIyxrbYSzKof#DIWf$Gc8C1~yL8RcJ_NF^V0 zfNLTuB*3+7Rk(D^%)rP4Q)+d3BQ+g9pPU8+Cg+eT{oa?WX)zZdqk(34tSkJX&5w8R z&)edXGgZgIF-c)BN5%BjKfRyceq0IxBt7v6JG3UNBdIUl<*P@>;fSet>QTX8Baa=Q zdFf0_@-XA(sqqsFMQoLA+QkI2=PeWwEGj#%5is4{@9_|mjtEt1zk!SO=eHgn@5o?Q zW3#=xl7O~P*y4Z7`Y35}5=_AO>D4gy!MhS3b8yHJ)r%7;W_*GoI4nS_y9Yxey;{fg zkv*FKR;n~KhSOh5YMGi8Shn^eATm-0#wmkG3dgNntP25vKs26nYm72j+sk9T8oH9@ z0Ead0gtowh&jHSZWdYlTW2^)NLXzYKl}sLyz4WH|Oi;hY-e`Vby9{R8>1upX!C5}a z`iW!d_fL1s1{h++(Q1`M)oF~NG2POqTg4QCGA)d0;(@;xZmnhv zZ?=$D4n5lSxAlVblKlSZa4UV{zxO`uGz zHJs5qwY`~PdRd$PVuN}Y*eC%H&)%|AFck@g`ZQ=&;RlzHBi%>GJx)AUeSJOe+{q^^ zS3s4y8xDj!pC4|*U2eIekZhF)(yWeoFL^~6SKo4#p?&4EPOREPh-;Mz(}%XMzwSgq z+Py!~KLhFn_4xfsVOq+$B$~z7gYsc`N7458Lnhj6bm-4P))qUnUBJ|58?j$luj{a^ z@>i+wBpLN3uAT^*L3eJpF?h(6#pX9Wda4OHz5VTehzAh&-}(Er(}(B-1J2n}R?%d! z><=9XL$3rxJ5pD8pAvvoX?Jdu0R{5H->2uXj6A*-yvH~u2%={L=D5|QPxg5IR7LRR z1+)C^{(>zGnU5vuN_&~E>7vow`!b!QUuO=A|K0xMd?p+8*3FGP6joeNU(NeLt z58Jl)57}DT`eEEGt-x2?_mNOiDg&D0lr7(sEJyS-hw3)$&ZmObrd%2qrtdC94F>aN zLY+fHne=hYVO=ZxU^$b2x;FpRQWY>*%D0UaZ2Qp5RNb?$1y%3>(z@Iny3gr-Mnsq) zYV_6e8={k60=7oJ9&yn7& z{NkuEWeqmL38;Zr$}VKECJ15Na zuHl88NDrU0o)U>VT)x4GKfgSa<9kv&-g>|&O?*olg)oswik~(fTouGAmr7Yt?sPlO ziFr)Kx6CXDJgaLg>R8l#f3<)zS{vFz@(z0l>g&^I<`M}5n2)a#q=Zw50*QtE!l0=Tn0s{=SLGf1o0jD zVAnUK518=++X)UGgfzGuCc5e|5uRyOCA*^ieO^?{7B9}F30Aso*`DLkM=_`nJMLkH z?|F~9&bNDrWsS6~=6}<;8PUt(W_L0ifTcecsFJgIqJvLs9<=yb!P0v@uPdf*G%j9N$0saDO45+E!67t(w%Q8cJ?SSJl*40z?Uev)YS(4LJ{V(dIMB$HOB@!X}kXh%^8autsWX#mf z_iJ%j!ww^H)Ovu#>mTwjw-TSc>p#n=velm7v8nTfnn0r*#k<$9;Er{zOLS?sEGp6+Eu*2#$U?G<+Aew!Khr zV1>Jv54;AI%=tfR#g-w880*&@Esl^` z1Hh{xaC6toN(>9JeD}fg)o=W}<{*#C+Ojsz(b~SrN3ww+9a=a>-Qfb(l!XtiNVwq z>0(f`)`1V7X1DdyYAr7eb7FM%xD4+W5$?g zVw3@f=!{?1?z+ahyC2-g-1KR)RblEF=7S0o*mu`JS~%R9!H)Ar7?bA0$~Bae98BoF zQi&^-Q=z8h`wJgQTPqYN`xv!$dY%tuvP<*d)G(Rr z?oV~&D|t*g|4(N6|0?S&Jcmr&W-WQ**?Iz&kwMpXtge)6YIZHAxKW@k>up3(MU-Yu z$&$b0VwVOb&M6i59kySIS@Rb)BB8c`wK6j`_iXZtQzZDpw8X=JUfE@cCow`}r_Yg% z@p$gKlmewxGQHRDB=hKeN$Tt{25p5 zS%#YE?vD9ZsD3S$xhp_cJI>%p9u$cRmp4scaPJSM;+0fXk|_IIN#cYWnI2Cc7e z<#^a%48ynkEhHXnNLVgY1;N)-{d`Pv64%dvxRB^%Mmt7;cGHxXC550b;)=*kUs$W41+ zxlhExneUCc;S)$gCnvlFD*0}I)D z$wCb$Pse})r)ume~d7|4HQf0O&4`y;L< zW^W!>T3bR*oo5ixp?{BuPX-0H_|OU6{WY`wRS$&W!eWu)`k($8Yi-w5Yr8?1S{iX6 zF;N3<<-&8LR3h5binOlDgZin0A*)1P_6i4XsRk0@nMtk#_{0-DT$f3vnma`826)F6 zV$YMNA?Y}6>fmrXPqXdF;rI4mH4ZVB=>5T^g^>0C+QY$x9Vf@1>omvS)WYgt-C~G&usf|LS_fx)|{kL8TCES(%rPf(ILaOA#wBZAM`?}yRUq^eMMF^MEli}Iex4yDORf4Du^gF*&Sh$JXzoEY5-8HPP>RcX=sQC}EO(H9%zN$UR@MXRXOe}e^Yn*-Q zbYd`5!d*e;VBE;eInxarZH&36-@Px;<%VJyU;-)+S4!JVe_Egyk2>j$s1brcs{y*C zfF$EZWYf@LZlmUj zQr!1H4Vt>CAM>p6M1cH~D8aXrFP}q@PeEuR!ZFk+DG&P~A;ckxO&XSL*mNPF)VJye z{p+hHc}(mqb6PcDFcF{&oEFC$G53IeO-k?PhVF<%bzc zCeZm+xgp&eBFzFN(4qQM^y~xRy5lX8;KgcF2CB|VE_9pV0*yTWf&+wSlCyw8Gn3MU zFm2VN2(=n(kS_IXQD=gaNo?Owg6?e_Q>O~FU+i| z@TLVhPj$M6#kezaajByLKF&7aM1EG)KgaTGv9sn^(RY4Etf-M(4xxX&zxET}c-yA6 zSQan+*k?9JVIW-wvUn8WnEy1UK^n|-3!>2d>q3xt_lU^sA!V#6EHK^(3v28~jHmMt z_{M17XX6+Lt0s8uGTMA&)>2wJ7AxbSlKc&d`^+M`^68YP?X&=1Lsisb>Wjj9b+D$I zBUnKTZM&Jjq=aVML*QW!CezIdf|~_BP~d(73hAU0-~Nd(f36ESVj`?{+G!voy6qzd zOJJ}P_9#o270!IRfK=+!6sg_zorVzF{LFe~@T{f!@tpWcT(Fqm1<^w)0+iad7#gv| z3;4dF5tzOw5o~1r!pPCKq|q1RIxKw9(?4E=TEbiixL|kHX%r0%?6~oUI&REHSIG-! zFoWRqou7LgM=S#_QPhcZ#~iS`-9PngA3n!Gad-mtjR#z<{5$PCIj0Wf;AuExUgOn! zu6;Mz^|N@DQ_b&_Krvo%)atHlRXtE&d255_;nk7X!y9*Mvw{~0nR*qbJfCUCu|7Um z$Ysv`wb!^h&~=<}j$hegwiqyz(&e%Dk&n>!1bSt?Jc9u0dS?fnx9bqkGLaY@OV%GW z3WOvI9thBZgvyYHW525$40Xk&?L|_cR1MQH`eX)pD9>1r zCTupZlODP9Y;eH3+d@KylXo@k=%AHo*YhEJg0bL#7lKLEObA@Q~0y&m8 zZC`ejz9vqwW{ueD0alLb_r@AqChz!-TWOEo947sgm`_zvqBS~wJI92(XIm*pS z^acdisGvOLxFIKOIXc#`d`sjT<>h;y;$gKx_hfL%q|Y7xr>@|V^vlRYLjdKGV$&ZF2%V*$O9;=4Q91DTxEx2i@oDBJ4ch3D)veutQA zei7ZDfzj0NQyNoklR--qW}B^k7hVkw7FqkH+V;O`|BgjHUZ3FUlBJ~8dfbGVwoWhU zG$+jz{KRJ)K@eXb!$UFBPKbx9m)dAsI$Iw``Fd=}?@KOJ;wS$OtoM0`dn^?pYXrcD z{~VnBgrs!VjH<4Q!{(`)%3FXUT#r7wo?s2KfwY26n7o1fZBkB5BYw$FgvCl5-|9N0 zUItcPR4}zZ-Gg1r$%PR|!vjW|Y$HFdJe1#qf{TUE9m&1z$tL-`OlADgWe5GM9}~zk zc}UoC+3`k?Tz3LR*1)Ne99s)CI0YOtYdU)|MRFz8o`RArvnm_FQ(044CPuJ&$LIM? zmGwK&h7wh3Qq+^xLmJtLzJE8&a>&WwVaunN?F;u5rW;=#&*O!gf?W{lfnu#R7GGEs zt0s}Y|I!F3+StzcSIN;eV~&x*VQfT3KLB&rU{3pRMvAIn?nNW4ZF>ujh}l8$%M*b^{r*R3g#!QQnk_{d5`E{BkxLaqT$!@& z_oTK`793%H{lRO>Ya7ilQXqh-Y8Vd90tr9Ozo1|mqX+@te9RsW z+M$qU8_kla5-vS@J;ef?HzaSM%OAx~$OP$z8XFyR1{EH}#tlV@M+0b#{86;Oc83RD zm@2R0Z;CmV9Zs(OrZ3XTQnRDkEs{s^7PqIWX`5-RY}KW&5gr-cOzJ(ObjuyDd(bD2 z%-PmCJbPt2YPg^$8qj+eWJk@V=cvHM~8oed_mN!u<#Na-~xyKm^)>HOb#cb%*0eMh&!XBC;c=t3VF+O zqhwr#YZjzl1O@osISy%0K^H_v2&T6S8%+a<|2)O|WHhwm|5ai_SDKbv;aQvz?wO3z zNMG_Z)kotE!hXazQ!yr>#lJv%3|+sfavY(3UHrrp4lKIR=ity`fRE=Os@NvrDgq68 z_rc_z;%KXNE)^yLczE6bAK6$qU!$2L)(3hZblNCm1271ice#ISVKnB^iEpzBbtZ6E z@{ZOfsRyzB{&DzWI&*do6^nR`+S!x~mP-a+#iYoY=GTDxtgVBhoFkK=NGGCB&Dq>= z7V=Q5;#SCfpQfdwOR4|Ks9skYwrIFLu)HlnSvo1C>tM$K-dYJkABT&74&GY(KKf=m zM=_oF2%zcZOxd_uG^Ut?E88?NsUr$qO4x)QJp|s@=n66)Arg#g`C$C6!cz3RW%#N{ zaOO94?D(7guX>zOz6}Q3rafN0EmV|av16KLC(hO;5f9hi0<5Gc9%T4k_8YelV&^3F z(hJc^Wo8I>X@wFJbLnbAIqxe0@D8oXstkqr*UL`geIc{>A&Jzk% zje?&sBs@8l(9w#sYz>qkXVNJeGC1S6T=o9TZ{tkZ&C<gYF8F zpRTKGf%OtR-tiPI&Lr4vdW2J5kn&F8mU~`lOG8t?Dsa);^GHt!qzzZe8N^4oeQy9=qd-x-+2C(Q5mom}ci`Kc5b= za~$rcV@CvCS3`QXeL4G86LM}fDsWd#tQZv(+SKW}`{+7S=+XyKdWCNi4?r9JA%~OC zuhF$rqaSPw?bbIBd6CL8^ypY&2i*E+w);2QCBJ0;{Sj-=y#?hQo?oF@NU!T>ylPG} zF*8@FpO={uSgZd~YmZUMXUpaeNB30kTQl&XzD7oWfi_C)a3f~F)g*LS-HHt-p3O2f zj8GMh?dgx+HY_B8619VHNHlX?1&#RPsCT-gKTTAm2bVWkxU&Zsy$YPofh8wHic7@4 zl2L;a*skIlV#+fg&A_JiJvEJ$wOJ9DItEq~{c%5DWs4Vb{xJ_6=n5f!)bHDta@pol-$Wiq-|b^5vAbTM1~## z51#SR^cdWxuQ0+NiJu;x?AG@q^Hjwh5|(e9-L|+4n9Df8{ZHQs#7c_{{!+H3QdX4K z8MwJki~5s7wMsJ4N|xl*f%FoYTaz_0H=XYQBLjOBDeFgxSAeEWtE#NiB@LhyL(gWC zWtqc4(gYDhLyQomtlK?^9^HozAnEn?BjR3iMW=F-y)ec-Jx*p%>GD1sbD|S*hY_rS zT4A*W`9)T-$?2p4TOyh?PSljA!g7qCA)@9c8NrgKu<{q_N~K3b(FmOc+(LcR$f>mi zPkFQ(n9|M*BD{PNiYepG={XD+BYv!k@J4C>EJJyp$J-01oS5KcXKPa**pU8VJACS^ zlgXE`<+EtN;SR;8Vj(all7*ZO3J_$Z1Y!oWS4FLv8m^lFNcH9Eh*XL(ff|dbXu8iy zJu5;>1>P-mE5$?7WKv#oDDT65KC{MN6=P7}ld!~hy} zLik3n;Cn3K0{$mj8Kp=Bu-UJo%M! z)a8yZdkM?ZORt1;~_9wP3+E}^u%PW*$Oav9sf)n7H%6k-I|1O;^I(B(?) zI~i8AN;I>bwm$>k`Z5JP-q_LJLmUz;zvfBiwBu*%Gc>Qhf>*#HuU`(T-^)GKL;hhb z;kM@s%UKZumXQWRLQ3I4Z zxIQFmRIsWDEAD-%tZGR_kA)!dX}BH9$M9*m6;21Li-8m!vt_4+9C|6rwGxDwYBNv; zV7q}-O?{l^rw!;fg+zJbnyg~h589981ktCOE1_deP+?N)7{bU1*${S~A{dfFflDA!QA z(bM_;ruqWyY8rq~?0bkGL&_IdW#dOsc&OKkoo7y$>qI$Of~3^lxT60vujX|ON%}s` z7c|>v`+mrb2ifbi>t|INsSxturB93n+sW3B@BnF8*_A7{I_7gS&`Rax$Yv7cOIN3X zMpA9F#k(hlF-|E6`{8^EYO1O$t$+4wI6HjNbcN7hUXS2xZEIWl{NdXam9e>aYWXP7 zF?;Oi?nHMf@qgUZ#?Ptl5jL8m=}<2Nw@AsOJ*>;KKXdozzz-aq&zAog98Q&X0YOOZ zH3xBnVP;`sVPa-tWl80;0KxtLn1&W0=^)&RT{L)j94xSm64oxR{~cf~|L<@x3l|gT z|585=b#z@fT2TL^e)O5T@^FOlawneR^TxQ=?-x0*cT67$r&#Gm({Ym~Q~pQ&z$7P$ zD>&((T1aIjj3EE>@AGLxUymG)LVF-cMb36pC8eZouFy=RkZQ0qMUE2Fb2v#1FGNT7 zIs}HAS?fL3jJzo@h$KErIx%k&nlfAImy#S{fjK|IRE!RZJDMbKG-@VS45_cdRENCE?BM6xK5cfw&f|ueUPBI2v8u>)uz zh&$W^+Y^>9K&;eX#3U;O#pw{93p9MDK;I~f3Ti(~7CWSPo;hkF2^Yr7MH^PrpDY>X zXXA~qs+N%84}Yt3t+RB{BQ{qyY`GusXi90+H>6oc=_yQ5D=dj&@lLQvF*w8sbgXId_ewH!PExqN~O zBQUSy<@&0SW(9tt0E?UdUXwRUkx84sS9Cg{$o;j&r|X{%{r2C33VK5T49o@SC_Cx{pr^8qIZ@-vNo`(N#x~^HUg7NPY2GcnSRFOO7?%EA~oa zq~6Mz$W?<~$naPA_kdI*N+}OO4th?DypD{9vW}d+$A2Rhw9Jz8_au9SoyD#B#Z5YM zcKvwgcjzpoml?r9pXENPbGYoX?>b{!%v%{DZqHfSi1PYkkUQJH_tV+frY@RDDEcTL z;a{a8{i5F65W0_A3Spj%$yD$Q4){>$RSqs&?|Fvp=L%73DxXyOO=Zo55~6RODegR4bg8 z@cYW==lt|TN#euSYGN>e`>q7?cTO*eHPNKfB=gsBy{7xHMi*f~nk&TJ!1v~NnWy2k%aNywq!+XH z^wq>+#kzKOwBy|U$6;cmrRBDum-|un*N^d+D=&fn5c&1A8mrrf>f1SEc}L>hIkS{dk>_4O3?^Gv>g(mKoF$o` zvaB^l-ho9|f&QlF2P$4)mya3=SB|iPRqwqmNANTE!_mRV$LsL3W#h)A`>jno*FRpp znbOZ1w(Gi~kSHEG$mng=UgxX*I zvOP!V!)%5aiH9`6G0?KfF)q64=Y99_$S7IA;dp=k7!xMb7A=|@9In>1$zk8Bf6?N> zySZGyA~rK}Uiv`~Ky8nTr`K8xOZts7YVJ!5%+^kvS&N%|-I^MNSnz2Qpb2PiZN&)d ze_8YA1ol;~9cLN-COr1Z!Gh?e5W(W^#jCvw*4)jdf$#+G-FL?s?l#uUxD6S8F%w~N z=6uY4(0;QT(r*k+LLF{2CawtfRD}bbUHrNhrN3+MPVJzcxh5{C)!G@2v;4`P8a=q@ zY>f;l*J_Fuq{Vve)fY$v_iA6;k%Wg1E|Z{tB)i5*m1{ZQLVd4OiUn5&Gz&|gi4%S*7mIw`M=3sw0h>H6Cb zcpHjQCn(DiVj^ucG6?9)r7W!N;a*JD)VQo>96(z-0`h>A9@Zy`d2A4ULw{L3H7K$xIJH$E)sHfr)_&9_VXsTIE|WIVsp_lWvn+*uLV zcRo4at3t-|?4)<_mDzV?(5xQ#rE4((=f|guK~cDF&w+!IxQ$~JJ+1JUxX(T*rU3wcY8x7+yN zp2@s*H!xDxt+AFNx=ma|U+_JWQ~~HJen0YxS|)gPGaRQyM&cq=CWin0t0?kSJZ~Gg z1D{AEYnyIl-Rj1m0;mE(|nU;tkpwXQ*mkh zgH6`I6gLK`vwsPX^EzNs-iu{z)U*F{>(}YF9T>N2sG&kcvK|X2uRmT*5C{Tur zhPq|Pu;l*rFG#6uzzv;TSi7vc*tx)Z`}CourEWKnUYn_-3?Ki~_gTJ>+&K%Ad!GQi}TkYBMQEL;`#4e3j{zstus zOS4xzU-$apOpUZxKRzIici6!GFPDdtBURP~gcRV^hhCQf{k5NoK2LOTa=rNjfI($gw?BZ>>&{D5-)kj4aLyh3t{$53(EWgo~`8wHt)C z16N}N$Q`6J@lY{lQVj9I%_4#mJKhlurlrSiK z{NsP0v|zy}J{o)Npkb4o58nxcU{jp;!wRFk2roxt1fnuYJR!&is4yuk2Nw(BRwV%L zCgyqgRq^Ka@MS;F%?#^hZgA}4+>O-paP1PBP1*A>?c$q_-SY_T5}QpB@=!h~ZTmBX zSXW8j17JEjWJ@Y_glMnhPno;*44V~8k{@^1=Rnd8%H?fwL(Sf35abdU!`OclL@3w} zOsnvyBeJbJTBU+vvqB%C%Kc2!v3du9KIRv=l0HQy1dBepG_d;}EUh1r|EV84idns1 zVQJ6JV){_EAdh!I^#W*}rleifF qvQyXom;EErXyWs2dh?p_LeM!(`YpBH4TKPu^}kf1pb%G-fc-z{$t8CH diff --git a/work/01paper.tex b/work/01paper.tex index f098be5..94a35ca 100644 --- a/work/01paper.tex +++ b/work/01paper.tex @@ -86,7 +86,7 @@ are almost always critical and result in code execution vulnerabilities or at least application crashes. In 2018, 14\% (2368 out of 16556)~\cite{Cve2018} of all software vulnerabilities -that have a CVE assigned, were overflow relates. This shows that, even if this +that have a CVE assigned, were overflow related. This shows that, even if this type of bug is very old and well known, it's still relevant today. @@ -125,12 +125,12 @@ int main(int argc, char **argv) { \subsection{Methods} -This paper will describe several techniques that have been proposed to fix the +This paper describes several techniques that have been proposed to fix the problems introduced by \acp{bof}. The performance impact, effectiveness (e.g.\ did the technique actually prevent exploitation of \acp{bof}?) and how realistic -it is for the technique to be used in real-world code (e.g.\ can it be -introduced into an existing codebase incrementally?). In the end, the current -state will be discussed. +it is for developers to use the technique in real-world code (e.g.\ is +incremental introduction into an existing codebase possible). In the end, there +is a discussion about the current state. \subsection{Runtime Bounds Checks} @@ -168,18 +168,19 @@ then able to construct a payload, that keeps the canary intact. with dependent types. These types have an associated value, e.g.\ a pointer type can have the buffer size associated to it. This prevents indexing into a buffer with out-of-bounds values. This extension is a superset of C so any valid C code -can be compiled using the extension and the codebase can be improved -incrementally. If the type extension is advanced enough, the additional -information can even be used as the base of a formal verification. +can be compiled using the extension and the codebase is improved incrementally. +If the type extension is advanced enough, the additional information might form +the base for a formal verification. \subsection{Address Space Layout Randomization} \Ac{aslr} aims to prevent exploitatoin of \acp{bof} by placing code at random locations in memory. That way, it is not trivial to set the return address to point to the payload in memory. This is effective against generic exploits but -can still be exploited in combination with information leaks or other techniques -like heap spraying. Also on 32 bit systems, the address space is small enough to -try a brute-force attempt until the payload in memory is hit. +it is still posible to exploit \ac{bof} vulnerabilities in combination with +information leaks or other techniques like heap spraying. Also on 32 bit +systems, the address space is small enough to try a brute-force attempt until +the payload in memory is hit. \subsection{w\^{}x Memory} @@ -281,7 +282,7 @@ unsafe C. \printbibliography{} % \bibliographystyle{IEEEtran} % \bibliography{bibliography} -\printacronyms{} +% \printacronyms{} \end{document} % vim: set filetype=tex ts=2 sw=2 tw=80 et spell : diff --git a/work/bibliography.bib b/work/bibliography.bib index 28f8747..27dcd1b 100644 --- a/work/bibliography.bib +++ b/work/bibliography.bib @@ -1,45 +1,46 @@ own: @inproceedings{TypeAssisted2002, - author = {Lhee, Kyung-suk and Chapin, Steve J.}, - booktitle = {11\textsuperscript{th} USENIX Security Symposium}, + author = {{Lhee, Kyung-suk and Chapin, Steve J.}}, + booktitle = {{11\textsuperscript{th} USENIX Security Symposium}}, + % no conference abbreviation title = {{Type-Assisted Dynamic Buffer Overflow Detection}}, year = {2002} } @inproceedings{Detection2018, - author = {Chaim, Marcos and Santos, Daniel and Cruzes, Daniela}, - booktitle = {International Journal of Systems and Software Security and Protection}, - title = {What Do We Know About Buffer Overflow Detection?: A Survey on Techniques to Detect A Persistent Vulnerability}, + author = {{Chaim, Marcos and Santos, Daniel and Cruzes, Daniela}}, + booktitle = {{International Journal of Systems and Software Security and Protection (IJSSSP)}}, + title = {{What Do We Know About Buffer Overflow Detection?: A Survey on Techniques to Detect A Persistent Vulnerability}}, year = {2018} } @inproceedings{AtkDef2016, - author = {Wang, Wei}, - booktitle = {7\textsuperscript{th} International Conference on Education, Management, Information and Computer Science (ICEMC 2017)}, - title = {Survey of Attacks and Defenses on Stack-based Buffer Overflow Vulnerability}, + author = {{Wang, Wei}}, + booktitle = {{7\textsuperscript{th} International Conference on Education, Management, Information and Computer Science (ICEMC 2017)}}, + title = {{Survey of Attacks and Defenses on Stack-based Buffer Overflow Vulnerability}}, year = {2017} } @INPROCEEDINGS{Effectiveness2014, -author={H. M. {Gisbert} and I. {Ripoll}}, -booktitle={IEEE 13\textsuperscript{th} International Symposium on Network Computing and Applications}, -title={On the Effectiveness of NX, SSP, RenewSSP, and ASLR against Stack Buffer Overflows}, +author={{H. M. {Gisbert} and I. {Ripoll}}}, +booktitle={{IEEE 13\textsuperscript{th} International Symposium on Network Computing and Applications (ISNCA)}}, +title={{On the Effectiveness of NX, SSP, RenewSSP, and ASLR against Stack Buffer Overflows}}, year={2014}, } @inproceedings{Rad2001, -author = {Chiueh, Tzi-cker and Hsu, Fu-Hau}, -booktitle = {21\textsuperscript{st} International Conference on Distributed Computing Systems}, +author = {{Chiueh, Tzi-cker and Hsu, Fu-Hau}}, +booktitle = {{21\textsuperscript{st} International Conference on Distributed Computing Systems}}, title = {{RAD: A Compile-Time Solution to Buffer Overflow Attacks}}, year = {2001} } @inproceedings{Stackguard1998, - author = {Cowan, Crispan and Po, Calton and Maier, Dave and Walpole, Jonathan + author = {{Cowan, Crispan and Po, Calton and Maier, Dave and Walpole, Jonathan and Bakke, Peat and Beattie, Steve and Grier, Aaron and Wagle, Perru and - Yhang, Qian}, - booktitle = {7\textsuperscript{th} USENIX Security Symposium}, + Yhang, Qian}}, + booktitle = {{7\textsuperscript{th} USENIX Security Symposium}}, title = {{StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks}}, year = {1998} @@ -47,36 +48,36 @@ year = {2001} @ARTICLE{Smashing2004, author={J. {Pincus} and B. {Baker}}, - journal={IEEE Security Privacy}, - title={Beyond stack smashing: recent advances in exploiting buffer overruns}, + journal={{IEEE Security \& Privacy}}, + title={{Beyond stack smashing: recent advances in exploiting buffer overruns}}, year={2004}, volume={2}, number={4}, } @article{Counter2012, - author = {Younan, Yves and Joosen, Wouter and Piessens, Frank}, + author = {{Younan, Yves and Joosen, Wouter and Piessens, Frank}}, title = {{Runtime countermeasures for code injection attacks against C and C++ programs}}, year={2012}, - journal = {ACM Computing Surveys (CSUR)}, + journal = {{ACM Computing Surveys (CSUR)}}, volume = {44}, number = {3}, } @InProceedings{Dep2007, -author={Condit, Jeremy +author={{Condit, Jeremy and Harren, Matthew and Anderson, Zachary and Gay, David -and Necula, George C.}, -title={Dependent Types for Low-Level Programming}, -booktitle={Programming Languages and Systems}, +and Necula, George C.}}, +title={{Dependent Types for Low-Level Programming}}, +booktitle={{Programming Languages and Systems}}, year={2007} } @ONLINE{Cve2018, - author={MITRE}, + author={{MITRE}}, title={{Security Vulnerabilities Published In 2018(Overflow)}}, urlDate = {2019-11-10}, year = {2018},