From dbe16362f6d66240822c6f3c9ddcde106766e950 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Sun, 4 Mar 2018 13:42:59 +0100 Subject: [PATCH] Add conclusion slide --- img/absint.jpg | Bin 0 -> 46976 bytes slides.tex | 28 ++++++++++++++++++++++++++++ 2 files changed, 28 insertions(+) create mode 100644 img/absint.jpg diff --git a/img/absint.jpg b/img/absint.jpg new file mode 100644 index 0000000000000000000000000000000000000000..af41c499427350e891b29a0ece219aaf26040d35 GIT binary patch literal 46976 zcmb5VWk4KD(=fUTkU-GIo!}0^odkCX?hshq-61DHkX_s@5Ln#ZCAho0YjAhI%{k9= z-}8R={<+;VJKIy$)!kJ+T{YD;FLN(z01R148A-saSFZqHU>WeT2oM9ny?*`YfF*d? zfq;mB01uDw?(N$*h$!z+P>|mtBcq~WVxXb{(U6fba4~>b*f=;iDCl_jxY+oZ*f`jK zh`fS>)qzJqLO?*mMny)&{{Nj`Isib#*M6^L;a&j&uYs@NfUjP<0K@zRKiAXK z(=L=x=t}Z`UH)G%7~t2hu3x7pVWH^qLy=0K{$2C*S65(QSV-4p-%wIqRMgP_B71uJ ztN4=!1vwiWg-X9kQc_gk|Ek*clPd7dhoQcq1Z6qQafezhDvp1{;a(^CVI#l)`s^ZFm;-gU*e zVr=LGOxOwVkoy0P0|-;}(X*^zK5KPPQN^5~UTCQx5&Zu^iy$P8OsH&)#|2{2hK`_> z&X*}={?>423X`t)ytlw8l=PA4BTl~5~dp0ej^OsfqmzDjVv06@`UgKVKL|JN`M zCVziT_i&XmJtmyB2Dtp|+OA&f4ZB zUZavsk|4}8zW4ve1g2P?7b|hpY>qUc3x_loF>nWfz)vJxAod{>J*NM~Zc=>0%ySbd z?r^WNABCAcIu~D6lV{@RHrk{adQ5+I)ocGR;R>>Gfwme)*&9~4m-*Z#`N^5j=BsOm z@+RI@%CSW|luQ4+7w~4~kui*Z=FUucbO~xd>zrK$UF%dz~)L#xcO1pmT+ zMNqV<$g^<=uIkpO$0RhAjaLh4(r(F3HOw5Zy>Erk74an?O#Cl#Q}CS#^Rve8?l(98 zrq?RXVPi6w7gU_Cy|owOS-7%Ynn023juCtRKaH@FOMV-U6gt0kIaXAk3SrTePM>Mx zpwhHmEgQC-6lznP4(pLPpXd9Z$^L4cka1xtacE2vMpHR z##iG9VMT}u8w;)s%3uF&2OUM)j8mAY!8~%OxT8?}b5f95poV45)_jOL=E!Vk88pY+ z0HV*-_2mPM1L^;*_9_(ro58C!hrwV9`TSN!lIicKQD3xl#s+3VHM3s&%aE~yMmGFJ zIjWvd|7}PLk@~`&M&mJ(?JWyKk?c&8U9lwmc6=VI+NM6ms^rRQ!Gyi_xiK3{EarbX z{VEijk4f^|&bipO=l<`Mb0QrAjg%e_c^!zNZZ=nK1XpY9{oNacUwvAq-9pP4TIV!x~0rxIG2#wfBjc(-T50!xJb}ea3n; z|C#iHAFw)im@LaZNL2*S)UmTdjy&uw5UCHLQaRw^N)L#-f!H#ad+t*2;>kUktsP8o z|4*Bw7@fP?5Me0_R@M>u!fJKOiBp{~aR4=mY90Ch3auLHbgLZ~-`vJs=;D|VX-T8J zWWek7e}w*OJ*1X$d&TOIlq@b*5T{#%hEKCKYK0;WBa|ze&5357omttqroQNjwc=MitClr_6HW}?rGN&2@Sfy4~&9#>q`rIKPe^f6iwO;L|RV(QMczsMSbU z$fVHq3(&M^dkKyD3Wrx3rRbm_oBShHV@+YRg2->%x!XI6S(nPyiLGa4&@s|@BU6y< z3}2)xj~z3=B5Km^>_xRr^CEV#apJ^|ZT7Q;Z16wp))&h>+^rFN^nQs1 z*<3nCUAawf*B5~5%z=>pYoP=UZ}a#V_y(o7cr+KhOd3@hb@UqUw#z~_Pj*jjd6E}Q zJ>Spg|9+ZZq3~wM-4Ras~_akfF+(5)v9gqFpT(o{*_eK{XB<1>6qMtOeA zq*A3)Tcn}!1N?A8T9z~NgxXj|_kCd=fHHEaE$hfgo;x+8S%(?#6ePXVEzTUIe&G$c}j(Id^9 zodo*?aiy82WmlV`8TR+~_>>~!6kjDzRY@DE{@_|_^14D-t;)6Zo=JeJ+?l|hN)+;( z!4yx|fRXdhrYX|Hma+q}dCCvYba6piTAS)}7Dt-y8`BevEUh?M6HtBu zy0qCwZ=I$eSFnBNC~{>bx)pFxj=s7~mUs!Z*pDBb0iA|@YI>r*8xPR5ypEBk0x7W}kUfv_5)wx*=@%!&G;w=0IVNwv33ks>rg+&8}|x zl3Q;6IA)qTh`Nen3=U2ce2_+bU-zTG%=t?KhlY!AMy5=i1lKi}8*i=`B2ZYaKg}*6 zMNSe6-=I|@D=E)w9AZ~*+s)UioI^gbNTzWm^i|@z&bK7F{nt>nnHk`V#W>yLvx4f# zme}w}M76Hv!h;`V>jmKT7hnz{Se7p{)WgF1Cjj7UyX|s7YCdFGqBmU2d~bHuRK9B4 zW@-7RQ*@sE{i|;y9E=xtTU<+L-SR?~``f6sO|g zdYwe3btlB%mU@B5sEK78;Fs{6XID4bCbFR2UOv_+Zw3%|M%jo=?JqfV`nlWAG;XDH z=}R{B0+2|0^ULL|g1}-*!Da>Ri`zQl+Iq(q;qr5@nlg?ZW(lI=2fH7glfSopmr1N{ zjDtE=?%0xE0sE>#nn#4ZBa_jEk!a$uGNi^I&n~qCKtI#6@1?Vx#T+;{bBOg8hWlzA z$)(9OVO={(z2KM$S1q@nZoC)L``T7iwxHEtKh-KP3sC1>aZMc96d4=}M#1dHlS6Hd z-F*RM!}#+jz5VIotGn%D{cJuwthXR?qolaJI6e3zJW|8vXESGG$Q1KxEq}9NW;eFG z?7|t^34bQxR5g3)gS7&X*9vJdWp`qiHVKQ3`;eUfjVr##_VOmSwPELRsUlW7vFXxQ zs6}sf>hQNS9?fvjCT2Swe#%+DV-Y%8fMGAT)>=wKUV{Eg8|`(rfq>2gbBUi>p^sMR z_4o!ASOS-DXV>b_);_9T5JF4W{O#selap-2OMn&oEwqq0m5}G0 z*Y(*)+0NF@(e?3im z`+7m(-jkc?4jN43@IPfZ%NYb(5kP40t>m(N9CVq0y)h<4Nuz7kC44ytbWaLY>;3dSB z0~k9ch2y;wJg?_^wu#vV=itqiT9lRbT_0*%9Jb|NXfO?1%FAh;WmHtVjZFOBOpp?H z9;st7o?qFy!e5{FlArPPt&Mn2XFYIp?K(`TQvNknt^{3uKIc=4EqI$VO08D- zkdN)Y9WhfHX4ZtzSjS@o+yHQ}Yskfq=x}*DmpG1?eQ&O9AzXbQ#tqTY5^8%1o`r&5J`u#08;`y+twdlC4S@WS@7oPEz4ORQ`_UW>M-ii#U1?lrEH|$yfpPDwYThiD^hSezg2C+Y8fFH zDP>P;&&~Qd1A3{HSUVeDwv$t1H-oX@=XJ%_i)NeAd*M_EKel(O~Jgk#j%z3T@(QG=+ z`yeV`%yMx)+bL%9%=#RwHSCmHimDZ6TIPDXAt}$-w(YxZqU_9fZF62;Gj6Gz2z#?8 z4s+2PaWmpVEE+$Qr2eiQoNxU$pZioM7jEmN_-4EPFP!L}s&Lxaj4UyY^=+jHh7Cxr zMVxdj&iDW--^S!fj3#R{UvHs|rGGHeT=IOj3 z(T3@ezyapy@B#CP@6GeJ3+YKVjaOcUb31MPB_mP0u{vIN15<-cvsNiXn);B4e757EV3Qdd z6Ens6f^yr%CGXZm1Z(W|zz<2)saUpt)rM?}lT}j#Fh!s%GwxyXrb%meDjZKb7WoqG zd%p}ySfrBDCx7;ted+mboCwlfQIo!e>ndjcGw}BN%N{Ktt@c1;WsPaAO17@e%CO2> zBRia7u|>R9f|N{|Rw%mbk6hF2VggdqH^$>(iwl8XUPzeQTa?W>;4yV({&2V8SVOG9 zviIP&)WeiPwoDUa1ZR0X(+@+mN%^)_e6fT58WQpaI+Tk#gtNpOGDdV+R`@!;aS3K= z%s32C>6ozrPN=uF#TcXPnSQjulH{4Ko3GivN4YLs2Ya(J2>nTbPUN&;5TKV?a!-w;0&($=PslIX_W+VCTl8 zq@v;A68TImDh6|!A;NrVuMl3p0G5}QmR4bgud{RX(3TS)(FeOH8uOtVEOz~5Db>tHs?{0xumkxe31BX=RCE^cuTX#&rhNykvj+nxlnhd9Uf?Ez5&N)K|kv>c{n`Z}x1&@QwrO>O2R-X%TT z%wY0A1Dcj;eLYw=u5|Tr)8#RuY|@2=?Q2<8WT_X&iw=L{Z4ckKFNsZ2K_(!(GReANzNnCCcd>bdl5X?k);(;1&c z>|eddT+-Vb%x_)sP@0*V9-|8g!;}kYm*{e{pXA+zSn1jdx(dZx! zU`Z&pRk&fj@_?0IB|S%~Ap!e+*@22W#kJ)Nz_PzuubKM(8q*QXCOriTDqGAiv=Z!4 zGhxWC#H4=#s6|2Mp}MzFk2F&gT+^)ks@fqYqCiePO_mFLf%TxE{ERPI1q)_g8Z~jC_RU;}E7H72a6bv19`jVqhTi7PslWm6&RZ|*O7f>3KVQ;MV7>I3-mdXe7Dh~+EH#r)*USf>{ z#R;LBGu7F$)+mNuY+mlnXK7-@l7ARcNV`+uHfcFCX{T3e`n$^1Z*$7)=4-nI@wWKt zbSqS^sYcwLho=FonHmju&4zS7V=IKq1FSa=$GT8E5@SE`n954h!4jB|Ace-Mt~PY! z-_R^AupJR@0Y6*#d&4AN#L7X9UJ5)|D27c*D7Mm&^07E&e8ZF59SJ>0ive^>S%E&Z zC`$d;hSa*FEp;zwA-T)H#odhd;LBm<;LkjnfgwfS>H38!8jDr8=mNOgMk*O?qC~O` z<3q`RMm{u6K(ool>t)wt*`Oy2o$?AjF0??;IbJ#tLaQ378nNRM`1At6lDvWSCWn^B zN`tZ7mAQ6XYbsolZW`-+TESp6!sKW{Zk|9bS}Kx|{-H_*?R_M|M zHT_5PDG(DO?%-x_H|3v!e5IGkwo!(;ZRu*^3k*yzVH{sa;CwsIcpclgoS&~gg*QnZ z8Px2ueth(HUx(HiF)q}N@uN$hz}j*aZB|dVl_X4N{i?c(JL_CnDakUkGp1Ceyh@;| z7eJPhOlYnNiY&xTJ1b(QTJd?zFB~32$zv*9mfddIQ+eit$AhI`pp|5{6(@`YQ-Qns z=ZZ6;ScVh!NacfnXh1cfi`|>r#8y?3SEfE{Sp1jr_U;xRVan{Y*bATvF)r&VyXI|p zmqjYkxbfeQcw5Xi2VT8IcyQ;YnW46t$C>yOt@#T;X6c$Ozi=f_1wmScK-?Z%;L|-e zQ1XT|Pup)=?rk-Mv)je!HAB;nHRmsgeREIlujHxee3S|X7wy`b?=3f94?hH;+ zY@`KnZ`cY}7vA1)VJPkt5JuC>ELLf7S#Q@ZYrz(fFX^sa>{s;Wv1NrjhB9$c9_t-` zu`q7rFe^mcjLXDZ7Y)0X9Bkh@^*84+&y%`+doIaBTAJXZP>H>EEBH6GQO$zileO=jcTo24Yo5(jorxh9<4`TpEHHVB!H4AY+ z%bTn)6)sAA+8+|J@lTL<^4S5sXhg88FM#%Cx8fP)X?xU6_X0(}pTSLrUvov^v6i8T zYTslXJ?1#mmX=_%f-S)3n9}XG7Z)iwl9<gzpQN{#4T*{p<)f>iahb#Uv>-rkZIW><#ibSBmT){%3E&JgPO8Ewur5jBj4vJ5%l{2 z#1L7iCe^0fkcWtPB_uMMR_U;e2jO<D!! zM^Xg^Ow}Z~k7t#I^$69=3m3SjBC(>P?2s9tE<4JDgvZf99L-s^y1c}m(%Zehsjx5U z>g*@;cL-N;NpbG2!kzT{qiN+$kBeZHpo(tE&|V#-#_H;1@M~H!UH$*i1BqmlYD!FLo&=%AE)UDBIzrbjClB%q^*U8 zgne0MNS;k*y%>_06YWotbsWc+5W5 z>K=FCFs6hzU$&-4ljyKhz*t^rHXB#h@@LoaYs>fNo|ADxS1xXEvSKdO!Nxk_hvj59 z^$6Q1!*gzTt@)tpS|$@t*Je8+rO$4vd^j zcK@;JE)gL|fNMzm>?w8OX9`4PUsp$pd>&1R$toZAhFhxt&V-b>+^RhBR-6*dN=B?4|N{eCx}d1|!{Av^GsmENZ6J z8SLD?jNtPZo z#0kIDkVRo(u*9^Mryyr|I7pv(fL2Xt@c|Hxw6iU-W zsgt1}j?Y}TGp$51aTI85tC9pp;rL#OwKY4G9jwn~i;D?@t>?MBE!0pMDVsnRlO;qW|ASIvqxNs@^Bk;*RiF3a%=1&NDFb_y!ol2FxE1G(k|+_Pd<$OWFYf!_Mg! z7#ni`GJJmh)l)|1EgH7+3RrVQ=U4P~Y`pk0jY;H&nfNpH7W#$;>|*l$h>;=d8j_^q zYZx;uwF2h+(!u_^thM548=BEW;|2V~-35vhGIPiiNu;Q;ib!WSwwD(H^|PEn{+F_C zqPOOW=`!=fBRrhB8p*92_%DD09t;ua9|kIzEMEmBn#+;Z;dQ~rnA@ViK8Bg4WQr8} zHj)u*Y~<*`tJ@q+CTQs;7TIrrG91TO=7S@@Isa z&xaj#L9Y!jy2Pcn97`teg@BJ~%l^h9o5Amd+=vS|L*taT2;FsbJ2@CjY_*-+l9~xY zT*6}brd*GeU3a)rV}=J^7#8DD>ArWZ_qEJd+-PXLZf*I|K;Ru|6OU%ke!>2%iz`kb z4HXqJ9}-D<$s7Ng+%tV-kuyE)ckg_F|eB$3Jj4B81q82EYD{^I|k`p$?}k1Yo=%s zV8>9YoBtr~Wfuv(jfNM&utFTqXG2^NA09ZGH|f@^i`Jrndi(bEg*+xM_vGjz6EzOU z2w2EYC~v0LU!#2~<|RfVs>HvU3)+eqmy(G8W@BvY!>wsT&!DqcbbS@x7ETESQ@*K| z3=_%Emd<9GE4n}MBVg{E)eT+B{L{(UdtCXxw{xL}G)@FN85`(oWii$!B^>I-G6r)K z7Bh_nYt+hY3AK6>leChr~KGJA=Y;LQaatyZ< z#OH~d{usxk#^fFM0-l{Z*d5xMBSErRSYn_RyjNWDgwy3m$!A%5l~XZ87i_lkxSj?# zGE_0_Qng$Orgn+JMfrXtdxuu_ZkRmK%V}+#djn`RXSX;W!mHEk3YPAWP(Pf|21326 zPc9J|=pvrue+K@;ZEh-sN25;*Ou&{*Xj6yPK*5?g+u8+O`0kQRq7(vP4Rn_BrNZ7^HtmpK&N^(F zK)hHEqU_uuJxm^QG+F|9p`RclEM0yh*D1$gG4;kfG?8=E=)#bhf(d>p`L$p;FfkgU z%h>)8j%=4&UK=lBVwo8$CA&xZsA+9^FQ1#Jq@p5rD}}=Iv%HZzk^4Gwg^2@x_byx&J_4BG_4;a##}O0os$*lx}FD0s<*mAp?f z>tdFNp#Rq5AKb(v*N2>enF*};;-?eTt0clB9=SrFF#{46KkQpho69NCmG5t>m3>pU z;Z<`{uTUfiEu%M7;_K4UX+O1Gw>E_;K)k{N*f9n?`ib)o14km5Qc%0+v^P36!gXJB zVX{?(e+jYOR>R2yYB}(dd^Cs_X0Hj@UUJ8tywvd_B$*@($HULs%vJrRP}iA_Ms6R^7V2 z|0Dm@IG)%OVFHtummfl0FMh2_2o#G+iGG_29P0P(jmCU@S}?PnhxxTr%2?k}Se$m< zn(?8zJ73t)y!$nM-;VSSyE;MJy08Rr?+EfpVH#bLaIjVW^}D=yo-Ohc=#fx!Z>fC# z>#tQJT;_-X!*8&~%_d$On(=veifwOZh>lF$-DMdFHj!EBG zT-7VeCa|6$t)J6kCjwp}+xvn-;%8K@zc=ES-%$*$7{`@<^r&MP={~-qy4RGaHfA|^ zK5N3E(rYtC%oAc_b!S&nzAmL;848Ov*xyr&T6Hv1lzd*N$c~|9yxHgzD08f27}zB9 zWXEJZ+BpoBJ@ma4hqTqs6|fx(YC5v9$6gmX>AV!=s@VL}DUECc+JRnCe*JrD z?jT>L%!;$Qzj2Ml5LT5`N;^UOrl^tr-H^;n%{kpKXX5zZSML}GMItj%GHZF51A1CJ z_QmmQDSB56Pkj+h(G}_H6nwu=zY;>cS?QJv*b}d%^YY>#x^yH$wlSa!!1MEqKH!-M zwfTH`shiu{v4{sIZ#b2>(N-~#BO{Sc=tfsEYh7lAS2aEUz8tNpd^80^U4(f76a6Vv z%}3qjqk3VL9UeeFOuDfBtIf;}uoA*jGWq3_n5G0O#K=g?Vv%ss$cBeZLin;r5G1Lh z3EPqzOmnHQd?KJ3P|JoGKN~l-3vhF+ToI2cP%99D@l($sDqkp|JvmVC8G#lJg5GK%rX}L zG*s+f=*LGf+Jkl={ju;O4cj_q@TE7uUxL~d2$Lw%$Ss+MZ7qUKhpxi7N2MEr%N!2D zWzt2!d^hgSuutnx@#z-NN*4vx6Yk}h8y5)_JKUM{<`5JfI(@*-yf(;~Psy0eAv@=g zdJG$U3>$v|kdKgUnFr6OlbN%Vfi~z$h{&+S4t?}-&ZR=3bjNCz1841se>FMHfk@fi zbTJF=xxP|SY*+DdI1T#B6tvG*YHv2-nx9*r+u8A$I%!7s?>ta#wMryEg6(?DFZm4D z)>l%E13&3E*hqtV{9<%NpiGqvOl{YcofqV3nVqUdzo|vzthT5-RZ{yR)ajbTPUE01 z9$rd)j)MHn?2$ni7@v0-oFqM1D48P|fUh|mW zqtxLu?X~&~05V82ijcdpe!l0VD2mNI7V@Quo3xV*#MU{yVf1p)XM`7Xx<{^JXE~#;@14sGbeu%S zWVm5bz`VdSQTYa zl#rfcpH`+Mj2&~xuO^CfF&z-DxSEp&V;(JviV?uN2&&LklibGJq16D6#e3ApF;a8S z^Pf47m2T`hv)|IOez=b|0xroRyXjq3SSP=gcS+jo+m_zy+a|7<7%M>*hjv~VY_3%b z^-s7{N}f@6l=OB|Gmpr&fU7|y5k%T(sq6#tBS?-UfVITl0`6#e5t1ZT-EZKV)pN^i~(C1d$nGekiQ3@lc4Hb=Gcr+(jSL zGKJngWVf2B6K^1qd9c-t z9+o(MaNtW?n)lxeDZ6#M5+rWBkf?3XHr1I*Gl0ntBH{6oENk2krD#t%{7O=*dxfs$ z1t149egWh;O{oxJeaxC#yc9q`)QLbGfZ*bdP1oY>aWnKUin``zIUl4K793bTy=$?D zX6Wu+;b8K5T~WONSjQ^WDWCHV%zaj4~* z>xnhS-5aBbciJ&pCEZh>6t-|sq{fo%EAs;rw?=gA9aVC$X|L`Ld3nveV{$J0CLh>y z>h?*$KSpHnh3t?|NpTUk%ffuC=}lO%5rKu$JAJSWGcuU#m$C+*zv1L&mfvQq{eA%; zboGBNIDqwqwlMKAz0mO7`J_R%SbVC6G()(k+AefJNwa)6QI2@=memm*8OfJeNa>38 z;^2Yc;~6F{-kt=yANsE5F(x1?6LUL1jns37dr486wOC4sc9#U*5TH-_FIya9#N8#|=1DhxBuu zr+>FRkh#G~mNa(1LoA_+=38x3n9F0#S|!;p=u&GFJ*H94@V_x6EiMifk^&!7psS=+ zv4&T4sXrFm-Q!t?)Pp%HydNbR3>4{NhfXFSxCgDM#_53siteHI!B4!QOCH5cre+$Z z9izy&?Uy2P*|e^w2LhtoGWwU4Mg-aBQCss0JPpxW1z6|Il#H?`IoR_`52v@Ge%xfD zL>d*MK#NCE4y1SQ(J$=G0J%p}y6P+;Y=_Ml^bHhqQIb!YGs7y2)d5=8XsuTV|{r>L<%pcEGg0T z@UW-p79I?4M_F%yM(#SxVW!N1P49WbBVUtA(1p_d|WyszMr z0gDX%W7cPf@t9RYn}9|<+xSr92%^=~+YCqMvv1<(!jlX!d+V?T1RZ>X?(;?2Jo-9Y zje1;67P5Zkx4!v0XmhoWB9jIDaVxTO$)A-sI9&YN20DT?CB`LO2!gIIpv^a|8sPW{weT9 z|C4dFmNsZ{djlv`ahDrYad`00A~sr)^@CEl_##0`BOt!8VP`hy4>hddr2-PKzp(;u z$i&@&Ye9imQ*xr%lT(h5!N|!#LaR;x`ptqtdD)4Ics?wR9$yUlW9BATq+>x`WJlxe zobSwt!`;a>^}D4(Mslj$(CB3FP5p^u)4K8Bn2_td3Qo2)$bqDpGusb>p`AaW1m+yc zgUP|gt<=c^k%{hQh81=QM209CX^NKM>I*VHu=z@78;T%TP>o*EuwAl%;j1-i^=-mQ zH$vlTLZ%#y-6g)7n_>s`9kO)Id&5kFdt5|QxaCaMVBM(f@7TO(@gtHs#o*_5H=vZ0 zZuFc!I8a;D2EXz10K1%X>Z=*~VJuEXW4;hq3TFzTI~}M?=GL3R-a0whw*}rI_JxIPLlYu&_#D}@EyESS_9Y=!d&+pGy=;SEcJY3! z#Q$cXs_wN8E(-X!u@<-95KAt-)_4L*bmpJ5DFX5#8LZp^v2&1DOI#alNUE}`#z%PT zXu-lC-|CPmDZ@?qQf52~Nu6GiwX55=4<(KlO;vGdjRY|ZQ|fcqXs?yPaMpfkFYqHUi^^WjR0v<)z{hY){$`QCH=7^P{)66ez39> z6B~rrIJHUFYP|gj`y`GElOx_x`y=|7HX#OAcuG3^<98=CRiM zb`T#eX`GPaUJ5rOq$;kiQ98#m7ncK3W+|dypMGQ0|L3G8RZ*oCCj=M&FoD-x4bC(I zp%gg#)~OfKU6NJ2O(p_PaNt7_hwX81MY}MQgWnd8vY>2^Fol;Tb1;YdJVVuXsLf9&S(K*VDylM7KlgF%AeC~T z9ETX^@l5*dYt+0KnHBFG8=|9$Yo987(*8Po0TeQrWcS^D_nXsY86b~()#ifE)1`Qr z^^H|w#rd7sp0R=J&P)*#gYqW?#;jX01rFX#2)9aHVQnNfy;82(B~ETf`zyfl67A>d z?2gZ-yUC(UdtY>UaD7&la~}tGRbo67Ryf!Xo)H9ORjI?dyJ3x^ohe%Ou(ssPi%v zbTP$>g^*D>iQ4R7Vvd>6^yM(??3Y|c48)Wyt7WR#I>h<86H`F!9df4_qL&<`sNS2$ z&fL;om3S%&`Xh%rBI(3i%zrp`$gxteNiobt5GHqIuw|v1bl9+^THzG`VL}z(d2Jri#l zNVQ(_5v@F){KhJWZX!Ow{?w|3kf#a?bd=~ws~U62_W zfkC0m@z*zW_ue5G)~Olw3*eg7GZ0zwhzf+8GnLp0`+@?}{0ol1a0YTWHG2?jmX_d| z!<}so$AST#Hc@$K;8Zy@>RnA3Zu_93EBlHsH`dkePMCsOab^X@v6z|QU8cGO)|#kr{|*@kYv2a${BD;qUA z7nJq25F4=u(atl(A0>p=b7Z;uVPKE+Z2mWB@aZ5`7>@v~s z3a5LCu@3V5*#*w5^+-*GfHy+o=bdSVmwptfw$+P{wozC}iSqt~i$c9NUu?zO&KGXx5(#G(;z{ydC{a+!#-{BRqw zkh~Acqxm{wanz8WL>4x5`K$K#Zd}JjX^GWTj;2(X;s;#&21Qz_n*au~)N(Rbgx%ue zsm}r3B&l>{3&t11UoFF@s*cGrIP)8lNNX3 zOm19LNyl%b*M<&?*6dN_{3%yTJ6iW)mhPf!Y*Ss(K7^_I^$ZVP&eex5uxy+bwVcD6 znq%%#hii}D12UK3ZAj0(r!YyySRrpI0e+6~9G2XAQF-20p23+xrf9jabS{D*7Lsc# z(sb!|4STbs&T6gadT4XIz|^E%=dl=L0G2>LTO`6;In z^rH94tj-NoURAWah&j_yfO}G&G3xXa!xF~d4cV<|Jwo%aPI1pu@#F_4#%F$z zkXl%-4p2H}o|=;yAOQuA6HIh$Q|cHEjym&Fo|Cw^HW%05^p&u+emFmBhcMzs6@EuG z#(Q6NTh*mSdz_)Bx>k8ds_OP|fKvPL5Lp$uE!frcKt zbSAiZ|TrM04poEFDSZ8`0|{_9rvlU0#>FQQ?Ij z26XikYyrNfoQ|$Y3!gU$FF)^x-pO4HO@^Ubw1c|auHdZ+pWlRXdvol>DGDmn$4oxQ z(AKo!KIK5LhK)y1j%^mGpYxw!%#z?t!;a^s}$Df34}fT}Eo6 zQYAt>MUq>iP*n4Uf`D9pfy)EM9X;p@=~}AgJi~-SdEZRsm)C^G0<=YzW+U!64 zbZFKz^|f(|B=f+O3@t;RMh*qV})+G0&yhfI?dxW9YnIg*qrzeO-OKVMX?6* zZpi|jW#fyJYO;zv^Cl}f9^ua}UDXo~j)0Rp=770vm4=#>HA@rEO*&JofDvsej}PZ6 zd}~LQiNR8t0Q`o{jn!A37WvDz9xnh3R60IQI`VPTQ-GW&`8sw+jPumEN3+nk(& z=9K=)ixyTY_H>5J69TzT=-2_|Q`}6_5*y?qa2}bAp0hL^G>PbmS;l7(#PWGNSI|KR zwJ?k!L8FCYFSo>3KI8Jc7m>(x@%z2WUIKr27TtKk0)f~u_uce6BpPbJ#R}*UB_U1qkiS&O63>(80@hfmb6i>k`|{)F?j@}+o(6<#v5Q;HCY@R zz&;DjYt>$H$_TO_7t-vsmj3;#+A6AfnwR&pp}fbY%Vpyqdjx=MH?A9b1GXvfc2Tg& zy=X7Fk2p9MG?Mk)nP##!r3^w{(xJbJC@s#I_!@P>QC*U20}I7}pzzFea!%elXVM(i zzhU@zE~<^;F>(?2$mkb(kjKH^U`owM6ikvL z`>AmvzM9#v-*r}h!g%n+e5ni>{FhhJ=yd$O<~gIMn_kM>R8{@=A&Io-G21mx*)M>$ z{?^9b-DQ>0&nE<$ZT3TMjkPhWvZVfXac72Dwvm??J4Z75QY9ZGOOCF5Ix(R-%$FzH znyuDDrDX)*$&&rRMcFbQG`cr|nuZ#N`<9pL%^?}Dk7Ah;rF;;4_Aufj_TQh_Q5iQ< zU`GF?@MfBYLVdfos3QhE!y2FTK#5m=TDCVtSi2hn@^8cFQBjYlW?=qHjb1mtTAf&3 zF&tr)Qa*9{wf*zkZA`4b zwNmYyNlN)N+Kdu-db?H${;ZF^_Owr$(Cy*svTTl>xP zelPy#^f`Ugok}WobE|SwRlneDw9O=xa-%>UtW8dFSHiJR7gIvdXhlR7&dq(syD7>? z^qMFfs*UeDwwDRFgf8$NG@| zS`hDP(6_{Yn|Sq!*B__~yjSWq@xJ~GI5>V7?XgxTp@~^d(zQ!D&3j*D;lPLH%RC>@dfO7k9AM_tH6JNNJA@d21kd+(c}O*VU<6Cb&dq4zJboq+(sv-kBs^M6NEbB+>iPW=$zuU%%$sw{Bb8KpE$q zVT-tR+w%)eYtgKWgWGb#b36Tcc~O7L1UEbYf;MV9NZqNm{B1r3ty(wx?7b= zlT?DRpGmZD3v%xc@(2IO$-)&rf^O0lZ=$ZtWA-YRE&>8Mscx2}<6GU5GaqT?q&Yqv z9zr=(tCm*_yqDn1DeBowGqz~EJkzLWoQ(|o2#%z7S`O{hkJq5F_KcEGWR)-3J*H($ z$a0osJ05Z-lg^Zs@clVBDsOaS_pz^a**DdvP#k%AW=lkGrrH>pbek=&xcRb}Toq@d zkB*u#O%6e^DA$^%wr`B0;Kh>70-+_U6@f2*v+70_-hZfkh?#x5g*LT(F9Guq06F-Y zmDOI7n?c@~FTEDP6}cbLQ>d(Ii&sJ+`0zH7mCb#e*H5?x1N$(CFOf!W zcM_$WXv}PoO0I-~;?A#% z#^R@zoG9aXnIq7oUt2cOuOUNR)f-MUWWJ=@LiW3gr8NyVPSN-v;*EsT()5}Dqq^gq zVw|6+RLOAx>xr{8YR#g7pK56!ZH3DhF^C_Y$GXT_%}Em$jN9+_ulph8T{!7ZD z&8ujBVAAl@ytiewKsGPM+TeNRC*1b;hCH>A`5?m_k4O&p(45%u?WlN49T!Jx^1U$) z!L;N=>l}2;Zyoz&!ff|p>xB_Y;ABCI83VRKJNg68ObhN|%d^llX&=|h6llK&2jHT8 z^tk}#&hkYQRb9XU`4a79)hu;cc~6>g-f$_7lAwabKB)?PAUe5nrYh7fFg+`$RpqKaBXn4O}PplJ{Mu?qtQzB6po*{o@W zQW)^!0+`kb05R1p`*#~yrbx8-# zO(HugHIz;O$^r*M%tGZVEF3L7qt#IGuAE7@WaadtuDM`wzMXl<43!QYBO~2{&rn==qM;bH z2UI4S1})ELJriCbJjlAheoSK*Eav@47FhG5%_c-Nm4u)&1N)~9_2`aM{^1zNV;tLZQ$ry`NkzrcDPmJfW7hrOp>z9o zn$uKlje;^@hFyhqZzo*C?4cIH40;$&!j}__Eik9kZTmIHXvR`t1N+FAvJI`M1J0I? zrNDF~2NnAv^{~Hr7nR24Y(tVw2q^-9dR6$@(_MqPEG2-hMw-q3MZe$o*AEW7v&tT5w@#gwQM{1(&1H z=LV5am8vTlBUH9)Q!6~(R>h-X{{r9`e_2OBcq&;-OF|w~hyN*Mm=)Vb6QiiOxAdW{ zZVFa4h_f%!<)`&kRa|e#p)PDC^Fq6bSx?jO>v!WO(hiJIMVG9wPgQTDBht{t zTpL5u9|i2Bb7@m}tJ1cbU3whtTVlQ;X@rR;T}eLk7yexw+t{ys@yYSp3FlJp6;JjS z*WHRWGzGwi#VT6-DVmVtQARaWlWb*x=C{0*l2w;ztmd~$H0E_8LWklQ=d1mLSPDhn zh zUZ5eG*q>HxATZNWE4(<@C2=zB2g4z%#&?x~9KHn#)_wXi>Yep)#XC$gw+X0nQG3K) zC23`s_5--(_fVwMP*eQ|U3)1w!5}A^>F(dR;NQb?RKZELbrE`X52t@w{sUin-%yDM zipev_bFJbiY{T_3l-5TRwCp`R4Au@tEvAEyEQ_a4b>#_)M&nlKNj+M^NsJuSV`e&f zKn_=QZz)gdw)~TW7!z8}7)50$)8ApqYq@JOG2l?&$YdB`87o7+DL*qjFBxc}SYf%T4 z%O*u$Z{1~QCaRPY%$5LCse%tcjDre*z&xG#TS6;agWndsq-v0cWJyZZa}K=9y(E#M z(TRmi*^}eiNKIkjT!h1A6sD@sJusiG$U`j@CB=B?*+RRpXIeMVm~y`oLEDz%N-bwf z;>|S+N(CpAt`c51f)xj?>*k?00Le3kfV2<*p*JSa-&vjqWrNyo@v{zAZ-Lvu5(iAX zL>L2Z#TwBDn9eNMVhW{_ZMYxpY<8?2tEhEbH%-$mhh>`f4QjbUvW-$H&%-sFQ*m_a zUBXq!^CztoN1AYHUReinnwOO}k*O?c*klFwhzoN_9pwpBi zsFjkOqgOCD0Ohp`w)N3S{Z(rH{u&&*X0*E6?D@PRrQeQRZ&=RL0!o?@OK2rHI1iP8 zLD`Pp9ESnQsI0kY2b~o(+?!%P+Bre>gCwi?=_m@$wFIZ?N>yX-Wop@vu-?nM#ic;G) z12tbny@R!#^E8|=)tzB7JwOV6mw3@`zTZzvD@#y9p(&FQ#ga6iYdkgjwWCD`KMk?g*)^_Em5z>4ltnnLkdlT&(>T1Z&)b?Rz1gu3=*Z|F@4)%gmE*HoU5!63iI$t0nV0e zBfG)}F#|!*)g?I=mtqJsMlY9Q5Q|}#Q1*?8bH#_6hT3F=)k&JH4P`*^RHzEN$QE?4 z2$Vq-CY@r7mN+$VY`z&rld*I|YAt9UWvKWPR*49zIivqY7GdfXZ%iLVyv>(~LqU(Svd2C49~WtEB{f}l!d576)Z&5nxP?ct|M4uQ z?|D7#LYctMxUTo? zrIOs@L#d4jJcVGHu^(s1bgo_dc{wZ&r@@Rvm8&VObVoKx8IBgmp{UH#MyYF#+m~34 ziGeZ3hRGE@iV$pZ%;m4+5+p@)9GWbYt=r6eQUTKT9MY|}NDBjuTZ~a8kUMDuS@jWK zMh9!x#?IvDrK&{~zYWapaIU`QW@5UpJjYFN8e_O@e@Ms~B2(`H-WGuvOv;5i<~nKF zCLOD^L|Vj5`HONPUh|@^M4&hnS;)IN!f549J_k^;{z%H0TTZYk(MieY7ksBP$x}&` z5^|)u$}CFsaf%LElxzf0!-AFaYR+Nx1V$Op&Vt%BQdWZ-;(PToOpgCi?v!FU{kr|x zG}Rm6qaYl-I%I)jtyoGViI|SAw{ih`bQX*w$SYQtv=x^GdUGD6m#iFyS$>~ZoT=_m zOb(v*P5v{msiqQVtp|7C}N8kMCA|I2B#28v}){VWrIrDQTrVuoesZNJsYSK^1o z^MG7N073(Yay0&(ruZTt->Nw;Tp3+UW_T@KcP5`axJVge&5?f+jd@N}1j(g6LH949 zCSMTD&O2l5F1ags3P~Py6IB_u)3a$wUTb;U>c!dkp#6}vA~R&7j19#cQ&3LaGin=X z6b_YZK}5rvf|cTjriR-WGmX0l;{7_&VMe(ZSIC`E0xCRlyf~bcjC;vxAOa8!d~56*%Gi{O5)BSD!Oy4rc>m83fS zG{bml!iQQY(39CvW$tV)S2Gx)f3BK5GhzQwPausgD^=i?c2e`c?A4g_NHxbnDHwe& z{#l85$&}1XrF!<1Nr3(ZKJ2{Vl4m;)v!pK>Bs^*4FsOCsES43;%B)w)c^xOU1Y(); zZSSI?rF?cI)7EJiQC1fly3>&O~w)BS6a_6OPxymu^uN|eI4-(%F>eL zcd5_%$iILtu203a=*nKSh%bcXT7MbWmbjQ3CC2Z>Pv39PJ2m1rxGFHvKY+2{@T>pe zuL1#(h?oQw4IL5v;|cTY`vqoib{TIK{(~vOPxOU1nM$wI`@Kvxdc$mL!g4U3O#L{b zHP`rdS~CZ28TSC=UV)=Q?sdU0A&sqL% z30?oL4Kc zb2K{~acyo(1nI6tUi#tvC1(ksGEcolt_!#h|K6u&UnhF12P>;{Z zOFVjA&dV!zd^XQo_1JrKYhZZLHp*Jw{$_ByCM`>Ku`8~iN5#ar0f$Bn|Hm?B9(YUc zm=UvNKayMFCdJ>y{$uq)BR%pU7;~5#jqy`(vGMWl;xu!x(V809?w$NI zvna4i?>T10h%n*4x8Qr37YduYvq-5l20CLWn|=e2vH4L5T_o+okrj<-X!=*4)iXEa z%OURg$KIx=`4%&=7>-mHkx8B#|IVwV{F+>|<&-0s=9qbl;jy9+rXs@jBd+Df3GP>8 zBJ>jWF;6P};>z90O_R7u8KKHM%qGp0LkXIH&1B2@*&DW5j}V>-!A74tZO6ma0tUUP z26n^E{4uQ<=kOf7HQzTS-u0$S0hRwTo-trHlN$!zk~4%>1Y^+P6lw&c3G07yJS^R` zBXcNYO1QWU0(K`O`=}g|!CK8r9+VHe0nX4~Swl}ZTlq!D@%-SJk!az|py76`1n4wO zOe{9OrU|#T&^Dr@bJ3FMSR3B6Zl3kc;e zj)=~O=|p3xEYX892OYDVD)+~GYf={&WM8FYnmHeJ6T24r~K8WFxKwRlPQIqGWLIsm!vMO=;6?W?$uQ_G3;6bun6ndwzr|>(_ zOE^q$20;jWykxh3`)aO|BK9THfgyyRPX4*5*yk_ck#W4cRIZL!;ARWyh)z~w|Ka{4 zYQI8=^YAPPUjlT+D!~Cb8n?Nn5USQmAFF? zlAGWC*zMa@BE>RAhDK!Z6GCqnoGLg6R|5_W;u*4LUr45WO=P@?#mXA795nRB5JL$J zs2ZBtruoG|K1^d#E=Gnzbr6li%woV+w50J|joyui%6O;s_&`~HqK)Eo2GD>l&i;}a zq;5vr{&Hm-jSTloWiO&07RGoQG|X|r5L8&y%`{p~UY zOSP;xxEX!F%O>wwSVp!?75pNe2$Q@7Nrj3d)vmoZ=Yt*Ud-B_XhjJMZ*GQ6TVhS4A zPhxHg8H6ZJ-&}vD3~rLv`{-~@ZR7MxR9QYdXY>skhC-tp?}xeyOWk>Oicz_M;5eRL zE54SS=djpC-fK@(v~4_1eV~)#+sTD&g^CF$*ADk^xwxf%Xqr5u%>O_;)f;JE6+5{q z?HjCgEc_gWFtSWoGDpa>s?lD!n_`~gNssmUyh7B1>gf9Eh^~yeP`YQGag=T|jj;10 zsubmNr~saB;VU*wqus892d_YvQe(AO8lr@K0xE$k!90n?>27yHi&LLP0Px0HJ7p#* zqgldEY{bq-hVZ#COk)#rc=Dce0kJLc3#dR%VLRf_sq zIbg*XnA&dN0noYzuA4ZYlks8~_U+4CXi2HwGbIAN!1wF@j=v^6Jc~_W_Yu*IQ0QFN zifZ%jQ$Zb5yMWzgjK$B?k!qvLo*cMU41=tR8~frr+=4xhUOl$kg`>?99a=WRr^^SIwF}qGx2Vpz~=Ru2V5ydxp&MKd!b)8F5*;jQ0gE!(;vuzH#hj(0Vi3KE#|4> z_)(n&6nPzq;r6w8)chG5jISA&Ii|EVuK2`lv#b+xLjKYW1Lr>VDd$3$B=_l$I ze&1e_&@U_KCfL?Fje+9X-TU_(tE{Z{TFdx3`-kj$Q7QKeiRdOEh?nM%$qLRBqw6#) zPHEVZj>~i%mO+y^ohM®2(@knflC`=D}}ISUAQjXEz(Hsn%UhnGNlB{$Pfj!S*R zCCM_lF3}+w8S}i}J7Ze=dxSWoLvo5)d$sR8xM=ltSBCZmlZb8OnfrR{4&=Xp1;Gq| zC;U^o<8xXL-PJ|=CIa=T?$*tWyh!F#tP~xoWmp#dHmr_e-N{2Hqg<7FwrSrt^*QN% zHH)BLkgJJAm{4#U-r^l{j`9x5qxq)ou-Q|`zkp*8;XznFwZN&S1tpt9ed-G9`3p>w zAx8)C^a8Vt(JjTtfsp%cDphtw`;1ZRww3Rx9~Ob|MGY+~?bl*o1KM%d)qRXye7&Le zOVN7E%m;!^*ovtS?0s+CQaMPwY6;6sK|4vU5VT!H%JtM6Sn0`_E<#VwLn zJA$`hsvuS^@gfCuxUM;66M|ul+pr>KdfN?i*~|=~(>DyD%9^y-g)9BA8Vb&N#1x<( zuGGG;4$3<76*~3jxRWxYq`ibEhCmyg7;3Z+i?8)H{3*gUZ>kl`*kzT=%Nv{kj&MIp;g%Qj4_DKGBw$oXKF@Ma@hV} z5CqJTyfhWq53}ZT>adk-eB#t2Q~mZFR5K%JNWVF7##x*zomCdm5kCA<94In|l=Ugy z)169zf1sF$HKKoVlD7}|wk~4%B2og@4~Do=Q(B2kjiaWp1mbPU@WSAY&N582wR*gT z#hrHc%u3(&viGNO@d{O@>61k55iA{-{BVm*o+^G8+Od-pQ}#5YD1n~3eG#%+(?J)0 zt{F_w^Npr1Ik^+OzX~ouISg!IFyaeV?o-0z(MT4C)N*kIz?a}8kOL-<7q4)777-zL z(6%hPgyI@t4wt6`R97{O{34lR6>9$ilr}Hd5zvf z$jQqK7-~kCaGnE2bV_i%up@$;Q)_k&@rF;)yBema;{+j_{gadSBYB)Ur3I=~#&GP) zl-YSG%IwgK!q{UM_pR!udcdwCpuKc{cS2(qaO4~3i${|LJ_eYvJ6+IX^WpM>I#g#Z4tZGiVR4yLR z9>Tu2Y#K6CcGsUH64WzNDJ$9g5|yHFtieiw0EN^mQvU^aWcHWQgeh7@ zn}b_ae($KH#+B$_fJ`aO=R+#H?{!gKygg08;f0AQABiEJ5GDi-k6ppemIm5PK%R<` z#;{am!5vUTLv(in9Z3(Qwd`VU8j;B5XTsG5J{(Bs%&LH$jel+Li&NZ1Z{s6=N!cT( zcy6VE4gURmN?;wrkgC)2HH*IFZq=>^eb^&7aVyj=f7b%HzlQ`>(7Mk zhtIv<)A#9q)7jeK@ehVg$m>ntb}IQ_u~YQQ z3E0{L@!xNpe)ZO~6$;}`E}!|pd0;ODH)*#xNN04iJvBT#@S*RsJ11dv!{}zQEaFecGS%cjkNFPhmpE^g!sqVx zK$pA-c|KqDRycWztO)%v^vO4Y3>*i~QU#vfGJUsmNrnXi zLq9e2COcMyM|YPP?v6Cp0iWx-T}D~c#YU097-Qb#PKnqTq1=ydmA5d#DiWiH@?Gd-?*$MJ9Y32Nq8lxE#X`)Pey7InTgFWOI7LOrn&2uh zE{-@xX!e1b53&mZU}fh}Yr#%VtM8Vog9`ic`-LxmeaM>P!tWZ^ z8NEvBI#J;HnzHz!#cB&AL1iXUG4M&>;>Px|pnNZ+P{5j|O`gotMPgH_N34^9eVP*D zkoKH?nAG==#r4l?U#+5BiY6pZ@v=-pmW1Ce1P$s-{B2k8>L!{b3m)VRpBm=_csXZP z?pr3}Y-aN+;95Jn@PC%eW-n{m1i1EfMrPtdu=(#f%$$g6tdq@DDC}oGhZTQsbC_{k zMyJD0meGiO;)0>tPg4GP8Ys>yvJ}8B`)QRi;eKe=B~xS+8E@x4&n++;GFgz1tw+80 z3wkUJW7FPqc?cfbqAT->_>gfZ9kn`eVYrX9JU}v4pe@fOULuM!}s2ngj3Pk2aH!$3H|d3ZYZKmG$xwcI8taqB&DrBmSNagpbG)n8WWK z2r-N8-w`<6S5b_JW!`a-G&I0v}yodeP*+H4H$j?qR6=>|1T*fiaB+{rBNGGd7VLC-A#4RKlWQdo`c>)XH4U%9Vz!e=|_&Ht1y%f z+s=z9%@IU0WvnI(>`&+H#1)2KJ_5g_!(A~p_&0XZ<;4+-(=JHn6;#{lyxRAtyi-=0 zA9n9zLANq8>p&7FpN@~rt{_XCU~fDW26_o;6h=-xTwGJ4ux5_VenZ}A8;V@|YA89XewToHr| zOlAlyAe$$}e~8z!JRlcz{oLE>Z8jVFLKDDmfc@0gQjPB;Q6Z`-a3^!lsCcH~I*yFB zW{UDywPjSZ=|MyopbhK^jczK}VB^63gP#p}j~$yl>lp7<=_P7rqg-wRiwzRqnfwrBo!G53(h z;#3`OvSSrS6`YNHXXM?V6M+1weS%Uad-T2*rg`Lf>giUa+Vx9DuQ&XXqF&wNcGJ$q zzW`?Vs-Hz%GWPQmSejMGXOsd&s)d{ML@x5Tgjjl0d;+&L#}5S=wQVp&K7WGiwu*b5 z#$W{Hl&-6VG4~wdys%J$*5``L!F}x7^-fG%TZk9jB531x-b~Z3OLI>`r55m0U}J;U zlyN3z0#iuJQrdJa?nGWgd&fH1h^M$7rf-g zy5^9A(-@RBM;CX|&5Qzdfm^eKpFc>%`hr~|N%tS_hIZHfVCc8sdjYFaHWumyrn!TE zau2d4W$E=!7<1%6IM!!`<>>)`_31c^0z0jY9ph1+Dzoi)1U2=VY5y50MDxe*5^}{> zN;^*k5>%zH1@HIh%AV?m;3R~}Lmq8;m=hKJE%gBW$vB1e5Uj!(s28EHUkWUWq=)2d z`kMKv&7NhnJloW~MoYIid5g{<Fn<-dUTEYZNc)*aKIj2K&Xf$S6Lw#nj4B^8xU^~tXR z(g1BOz*ILpNigEtg$X16YQppE%Xl#0vbB-CadHN^s zT;a^AyblxeoaD02*p2NGv;>_T4oo9tO?AAN*QC-XX2;s}CEYJ**5TExD=Puy;N5## zu=-Ax>wYkHfk!jz$ZMXlls$q%^k#yuLj1iASh`$BNOlO!dmbtYwcCtFw;GHFeB^wE;{R|kBszQu$5>ShGD54>quvYS`Oc^Y)tdC zQjP8-+o=xk$&C^)vqfhtRL9vUBx@OM%JuXK4*!8 zD+;ua5j-j>TE}&5lW|)^pG!UV74^4K(t{IQs5bJ~h+K-ii}A_FUH3u1mni3#NbI7! zRY{bKHX1CfibDSAbd7E^O%Z1ZX8?Tofb}w$ydi?s!Y%d(v&`uNjhP&3Zevikie5NIphHVv6DUxW8DTLu@)(fIS1i@XmDu%!Sj_ic+p`v56P2bO=%R&&hwX{ zG32^_yI9L3(2sdM6PfunGl#Jae0z5m8Bz7|dC2TN3&@&~I#iXa?Pufe2{da&DjsX4 zMQ2|9mzXDPL3=s+)+JSF(gf@GOrkVM+;QV*FRb5cJ z$jgz+l?XLKgWrh}!!DT)=Px-j2eMiP~&n>rrtrmI~?@3V{$n<#kuxjHqJueE$O zJRMgd()CqT%~dkbpD4mbhFdsQ-@1GxQa^M{KbW#^QZe@*;kyO08bDuN4Bm_eDnqtT z4djq<{E*CCAh4VIBZfg!pl*2y42??hGfQpAZjAicvv!;0Yxd+9e~oJCUjQDN&Nqls zX`yh4`1Y?jI(9P+JXZ2bCR2}OTzo=49~gOxAr;4%;-SW_UX_*c^9{EYr0E|7N4vr1 zY*Q8QY+F?F0*$LrE*3#IYQ4r;d@G!R3RcF;)EMvhx1cG;NQF9&Z5>yMqDvU7e`J1R z^$V-0hG1go1T(OHEBpA<(AWL85}@gx6Muu3;ouk176Q*gf)Jp?TWlxzgPVuS+3f4C zQqPn|9s(Ba4p*qdl=BFc#EobyyfHF;=W64r8b3|Xh)qiTDaQI+-osQ3@R{5w1?HzcrGr@M^$_Y0ijM7Z~Mr#aYrGuHaglbs; z65X}eGoxQ1{R1D{zD%nZt7vAVa;I9~dOB6FXN3ou1W1W!#cFmkR&P z@pcj@Xe)Mp2;qAnc?y?T8A7+zXYfHN7onNp>6C%TyW=5hs;vGL|D6G-bi6UF4Z+^k zFXcY{JYYc8@)w|0xY9=x+0%-PYLqImwyg+IVbq)(WW~6)$wiSBVe#pI4PP-w^AVfB zxui>^A=wsQE5=>Iuy-f9hE&Ak$4vKu{!y)$_XYu_7mt^{r!wHRP+#oZ_ggIoVkcc) zCh{WyfULN2fbeXz8glX%K$B6$J@{o5^h5n5gVQ?>)A$NX#-MkI$u7C{F;0}H?2Cf? zRI188!991+tq!PmT7Fs(+ugr61Ck6?E=z9e7m@I%Lc+{Ns0k=xer`ce(L;&yNsETO zyi!81X3Lvf9Ae@ec|zSo>?h5MOHxwOBMlW570pRiQPE&{>U{EFz&8uuZrFdFhxsp5 z6~u&Zpgu`LL`hP=e=h$00hS;{1o~ew0g4bA^8XgU(b7m0p#J*{02l!3Cjt6jaunMH z1qo2(|Fq@@`u#5e@SkD=XkPTAOM>8k$R)r_-p7%F{!311x}$&u3HTqmq`~h0B?o{n z{QBwlU-l%>(1F4d0RJPW=h5`^`yaVKW(E)&>Hm6%ya(P!jr$)t=$ixe9@KxyNdwaE zU9TnG0*vIR&1Mn&TPG{lhx{4*RvAlX^p1nZ~4 zng1`$IOEPP5jcT*O=Q47`5ST6qtc~ZG}Z=%=dwQw^kgBvg8^aR_}hO4TzH@MU+oVW0HG6>Hmnh`7S0J{cb0bbQl;w3bJ9P1WEe+Od%te@c>BUgq3Z-NA&%H>~UNF z?wv0Cmr{mnYOkYJpKRFoRGIh-I27(gz^{n+m+0FOB=wKcJ?5Mcv{dHwBpVzDje|Mv z8b5zzo^*%Q$$=mZ5V$RsKOJ8ArLZZu-?(2t29bRhVA zxs@b^`R!-OHiSt;ZY&_q2S(@@dXXoxaL3Os+)sDnj*1L}|E}94PQ+8Lvo2{g76-}l zXXG>HFTjB9QZLN<%BYWUiq?RR__WHL#meUMf{oMoJ?Vr# z`%=RDR4rUXaX^Cf1T1bY;!@hXK{ZmZEQ}P%?Eq3KBBa0kFCeZwc8V|oh!9DjarbB1 zgJ=*yf)rTtTkI{r0iepxc}f5P;g* zpQD7o4-EbeSNRTDK|&;AA{1m4Q1}j7G4RW;|5vEWKLC%2e*q=+NmC7z_*oP?`d|5pD`+5^)Wy<18OS`2i1Q!H!0FInbub{dxng z`h5=MPcFdf4e+@$mbm?Fv2;+P{D9YxVR)lQSOQZ=(nO?hy$pCEDL`%GLNMARY_8AK zyNyBnMnVHkOUCv>KXrof8UF>%P2?h@QbtxJk|lHmb0ZC>#i5Orr^4F*3mC3HToD^t z$ib4#2NhCS@E34mfQn@)V)}#D-olgkJE@Hz#SR1h2=pcH5dVVmO!~8zNm_}0UD!%50!w?qiqas-(w>m=< z(8et{aWYmuL5$tBqZ{;w&;8CQE*|6(-98~&l$6Ha)PzlSvshS|O?43z`D0R$U!C6Y zGGY4I&Zte)`kMAAWjMwwiO58d@=%#wnkAA2@)ax1!cy3sH~8rI1QMp&oo`_)9{4MU zhScOZ!JxtNFZZ{NEmE{1x)}k?JiFWq3$*?%+Sg z)kzL^d{ITnx;QDWhSo@k(*lG}q1E#;QfGnf#hHtRv`|nxMWc$bW95&e6vvaD z`zJ=yWs_LP&3AM#-$Q2G9NW&1e)g@lHPwTn4M*(av1{Qsjixf>^TEN{gx*-rjnNdo zHaFBD^wsV9JEP@uMmi(mMRa_(7V@D%_12D@fk-fsP9oF`!|K zW(uu^jt_NWL(2x@qV!;9S@#V#GlytetWk`JGkQ>E;3dO{00J|4r|4iL&Og5S)K7c5;cN6-q}JG` zIvjsw_2K)NT#>z<%-Q<4P$Z)HRn*n+fw{P~?3b0(Y@^r5$mhwx7=%3==2DFwgS%~c z=j&A941a4GUknJ%ZN{VHg-_;vs^y_I9OD>{{1%(U(}uA6x3Zn+Pt*Ha27e4;Dt$V^feFhi}Hrf7om)#r9072Ra^FXG4x$3|UT5BzS4 zo}r62g>BMgULwbn{2=*cc@e=shud%U!Gv?e7qt?*F`BQ4_`oy6!^IU(o?y zlMR9L|&=Vq(2%vT#oEWOj?7tQS4_ zm=Rv9ajTKA_)vx8z>;~8n+lsITH+{D8N{5Shy_Ir-RYB)pBTIqJ1c4!Mi&;A@e$F@ z{p?HA(FtMtCY>0R5MHYO@^PGc& zLNh7DMoVOr%xX-Qp7dEeZrM9GU3_?u{*4$ihQCANHUDXEr;B28N6>|JWmU1W%)%uH z@hbXU&@HeD4m!Z7jG_mOn&2l)ofvyUfHI>kEzzj7(JmCqjxI73H<>~R*-l-DBxDP` zeE^ZdPt5oDUPqVEou#4R7P=6B=beI_ku0MorL9?sf*4d=o5=!JWwltUxbQ4OjBbc? z98Bl>1Pfc#Vq`=O(-5-y_E{G7>D}=FqiLzf9U|uW;V8cS$^wqCa=KYpV{aBw7|(h- z$UQDBlWw!be9m2pBAfgQ=0i_jvUx)G2a8$3@4M<-&^wD@k38p+Srkd_U~W*;LMX<% zbAj+YID?!iG7`G0azY$lIK$II@s5P(S#QsqLp~H*8z6#UF;18NNBoB0|0DK*Va6Ah zh}iQMyliNkn}O5PMe-a6zn;Rai-ePU>qV@eXPrt>aSJJ&IXb>4T1*~emZq@&GdxHr zHiSH+DoBvL3x^ICCEO?O7l;s8UF3V}GsBhE6AqlHbOEN~O%I8;!!P zH*9f06BJRhc9#SEhIGDP`v@&LeBq90AEn|OM485HhxBNL{J08bVBC5o6WS)XZ*7eL zIWZz+CoZkYqUoVi3mjncSpFdu6y*&c{Ac$Wjie9biR>nDrKKlyhINg9hpx@K&>fh8 zsMMlow|14^_%o~$c5VCS$J7cuVrHGqp7Hyj)a)CCnoWctckK<@q(2fFi5rb4$*-C1 zeiWrO%*SxzY+s;EMdS<8f_^bYBF|{4hPRpTfRzzm!Gm-BQi7XmhvXJw_Mx`*1b)b6 zhu)y(08-4*;tcZ70FyPU?!*`SHhU7ue8nYwA-3(^>exQX>eMQ7a^0dVA2{a9lMR&K zKHWgnY+RR5gqhlcckpbau_Wae7`gf)`gh3s(7oYWa;QZJca<~v!($^vGg%c>w%ZLWvm${Qt4&HitzGw#=^ zj62*QydO}QYc%~Mw=}pk9^)e+*HhXv$3ln0%lU?!V<@Dc#Pa$qhD12{qb(!VP}vWP znIy?BCWuKSuhu-&BT|S1TL?WR!>G_@tq1IJEj$8KKH&{;OmR|hO5f-1A=XFWiT6X1 zlg`B+NR3e2C>}b)%-p;O#Ug>d!dBt7P-WrSh!n^nO2)^>M4k)iqz|y4VZ*8K2uPORa_=0AtcpFE z8gz#ST0`712nu~j%#?|a;NB1`@dQ{XjzW%&vB!gUVcOy#x8S%?p9Dp5`tl=@*EtC!6>xvn<15gWMBx4;x(uX5~AqYk2TJQs>TVq z;td-kC6606EWBa4W3d*U-o+nSV-*&UN=Im7F%Em6@M(fkH#ZvS-yOt0Zn(L-xerPw z#kPmV3wjd4kK(9*=Jjm1%z*2csdodT^uZcx<$6z!rcmT3w* zB35V9zGE@m9TR$~(Lf-+L9>!XSx$U`C2Yig8Zp^eHS@y|YFBcek=_4*&B4WXxaefFC}9G*wtkg;RHk6zvB!Q^SN5Ae+n_)*1hlX0u|xjQ&Kiw*vl z@cA8K`_|PCn>ZSbSYKC?lcaIob{-64P4~9=C2WUf&X~L-Y9tt!@ zT~epQkcbw@LJh)@K~YE`*i4(U5-~&V8wJmBpD|p+v^2zc?TY+AWA;B`FSy<*uN%kI zMv^*iuS4D??J(Fh)(eFZ?2SUHS|fPFy^?5<;M)e59yIUK%Z-ix#~wy}vBQmxHM0Ji zGh&@mCCo8S@h@wPU5rSWxE|nYq@Y)2rWTb5YDl6yRiJ=|p#W1fh0*lnT*K#}OWCMp z2Sau=GKPf(HG{+L zg5(;#7BxX0$mob^2Hpg7WFOG5+#r#S(QDPWk#p{TYhbx2i z!3$7^&ahm=?jCUH>|_48idUlg5cn^oB-xyc2Mm3~@1gh6&KN&ebSp@^f^;?K4lvNP zdBHY4*h<=aG!2QW(XYuKF@2&>rMk+nO)U?&XpD@EYj~ulJnA@DKT^}8Nh%V+!i%1T zgF6|uDWRs|!5c$f%UvvLhtc=dH;ad$AF1gTF{GkkQZk6hCJ@k79fYuH(h@CfCWxlq z3!$YR$U+g3i=vLKAm+wOTk7EQF{T@oE!GE28{zs4T5M#dj^OnIlVVR6swio!A7Mj- zUr|ReECZUP`c+Ftit)U9n?l<+40H=*SpNW_{{V;m5qU&kL^=?bgwUbA(w8#|L#~L= zV=Cs`@vL_sHT^NyC2}%L=_vfH3`P6qH+5X3T%GEJqnE$2~A;R zz~F*@#dS6{_!2dA7A*@KRe?=4tO-^$Hw|4wF}FoyRiUdR7vYQFVmdU}GHiu~L=8Vl zB3B)5g*T=6rva_dfoufc7R5raU3(XpS^{b`+e1xoY1v*!O^B|@nioCht_=``6E}wI zgY(AhA|X8qLR=LPNw18dQ0Jl65>MGbWc`vrqEKjrwp3g@{{SHW!~iJ}0RRF50s#X9 z1pxs8000000RRypF+ovbae>xs}*5;t|Irt0y_y?VXfvpMLLS-3m9Vxj)$_W zpFkthO*lq_oz&E6>OM0O2 z8g4mpTsUy~dc>u<3LWhl!{>8ENU);WIa3ELMmm}`p>=A`SXh-g0S&TO3ajO1KTr_i zUP;DpF~OKsXENkTbSr~jxzp$!qAxt-{{Uke1;D1T+43@>EG>aoTBusH+TFtXjU{Kw z{-!c(8?%C`O_;iib4h+6fdGtF=(%vRomEs&hXiOvTbv=U-0AcVvp~^Mn^5Pdxd>3p zS+pk1(a)?!G(~BoU~F$tIJ8#$yvE#WID-6Ll=c&xEY&Q&g(8iB$zDV4kEMwXHWck2 z@Nm!2K1{jp>?`!k2*yF&)P}!vr_d;C$O2`N@c!j~jhdqAp{p=fIfn>X1%qZz-0E&` zn(Yiw=V=?Rl~oz5Yq+B!s|uf1FoyJaoBN{@*3vX>wU9M*2ZZnOfX5>+Dao(Yn&eYUuzBBknxG$21Po^()Mz zQkFQb0Y|RCxqT!J0j;tlTjSoz7a5Sjbm$WrlsR~l0B`pDI#5C3j z&R4Zk1+5KB(7@H)6Ip~HXvMlU7BOCPi`IMrIgC(BB0LE~VWXosDB?6;Ywz^nUlT~$ zXhUDQ)96->1;Hx33sl*eVX7|F*;lNV$;%M|2;_=!s#Q{|V;j1Z1$7R=iYR1jF(#%U z;Y=v2!82-YFKY%-49!w7hyt@X&}n2)rb}>M+1XnrTc>QQZEHr5Y^N{cS5V5Jif>+F z6*I4Kls$bq5ZCT>`c5QAVToBjAq@b}NG~e0L0I1t}8e)w&_5nIO`ynO|T+cYMGHT#_- zvY_`@8N|sf(Wsd80;n42Huqw*UY5KJsHDkFiX<BM(84vXxm^DqTc`RS=5eqz)R6@wyZ*sjO@CS`$JV{mziq zVT#ZC!$Ta@+slU@R>}Y|tcA>XbTDy%%IgqZlk5;x0DvzvOj(t2 z&^XBV+;$@5uBy+w4Gr&>aEs)oOEpkW7!EOGw;#3R6ClH{d^(4%!jYJ-a*!o`IoMFs&Qa+u6CdQ!DlA7P@Y zS5`SuL8rorf=GN&bh527Rz!h7fwN0vuMB}8q zMF45x)VPsv42yk>k@cG zs89lk=q8`J)9F|OSxW)$+AKyV5>RAbMkrSBzPcuX>;Zn{vZH1>G^j=u9!fJ|e|)`;-KzdVs4_24n(;?y+$2b?O3( z8<4BA84zLBJx()F*cB$|tzzTWH_&n}M^vq-U)W5M&n)31!c>zGqO`$N9Qc`7tho1y zP?#u@l$#L!!s$7(uJVzNq{{Ubjq6F1o+b;@KRkk;B;+L`ydPW6e z-&-)ux>|A$ub26pH&wiS;pKuTp|M@9M5-04R+(#YF5yKEQ*HFe!s4Q)QTCNqV<}PR zJN?Fy0yj6c09Rg1F^Gk;i+)U?kyzkn4zq={7Wd-%h;6gwC3zv>SSQhzN1$pljiqN- z%-9=V%tTS@HwBBp;0iD;0H~;B1B(^>3Ejj3*6(SD@fXn*@R}}K6O0^w-$;n((QAdJ z_NcvpsARw%DOu(Tf`*>XBV@t4j$kfSZF8IzedAer%4RCpD}pSj<&cHs(r80pvQbvl z61ANAGUm;L(QX)oh2B!6inyA2hQDn`q_*l>^2ALa&@d{aWnR&}f@`ROIx72%k7`zH zlM$4(WcQUN+JiE+)AVOtd=Oa$c>e&%hb&|@h5LQubwgkgyT;-cnDUI)V>L1b!j^v0 zG2QQHjJu`R+kLIx_1QE?5?A6 zscUUkV=`jZP@wnUL2VL{Gqjswrl^{3wOML_=u`s%U;qQ4h}`F25iU4(^(g?%q~j4# zsd)v461!uWl&JRcHVEKe`HZDwMgZH?_j?n>1OjBduf6aXyvmRwUNfQdipjX{(!HZK zOl2dmQqS1w5GLtha5-Q1tZGR^c1Yd+xmVs(^kHf*+Ci%o%X5un%&;mH+B zVjD#nMQS4ADs#WsU40P-(5$f#0%&OiHY+cwMAX1c()L?hge;^2sytKBk-;>sqxT4^TfzC+-Vx>MdAl!s< zBY2H@MCBD7OLmIef@}WzMB6hQ{c6>Vaw-+Ix{RwUTUeoXSg^moxKV<<_H_*h0WyW0 z#mL0V_|)1;XlfTOevXz@a7GgM6Ig&2YDGn4D-ob8!!FCUU{?eMuvFG? zo)VbL6Of1@l)c1UMNW7B0Be+bP6Q^LfL#jvFdaQXWKF$g`W2&sxfzv;s>WYfYD$lD z*CMi|nQLdhlRpzP#4#ErWmW8E zj3>DZM3;0xawxA6XL~gb91L@LwM|@^O1e`{ug?#e{{Ym9LgT7pMq_XKT%eo03i}XB zbl9jbuLhg6__PnQVy?H$P+S{=G#aP)j6+a& za&wxN2tknn&bOZ9Qp$@B7}pw&C}v`+8zKQ1_b>~98C07=!tkt1sJKkSI%rG{9gDe1 zG^jq1@#XflM{9Li2-_~TIC_9~Re7pWKrvTx_E8u_YFe3!<(FUcOvKgkDo*^Wq{-!@ z-Ylz>JYG&4n*&({5SFkx)mPPH*>>|86P8$BIgTTQ&xi#8+jX0~O;M9@7*rY}uQEh- z%ucxm-ldR(Baw2N4*cAUo7! zY!xSTVYMjQ5hXlf~Q`6n2%*A2~PqeCPjk>@-A0F~6~fSXMelHL06yhd5VL=%ee3J~n>94of$D%0Q~ zcnOTWKh+V8sm!Gf?glTIn=9g7=)`3L+l;ObI9>%I(ZPv&BLgGuF>MT3BMy>Pn8-Gn zR@q%I6&Xv$1QnISmhkUu*2!04u{QPrLbvwXx;5@fv0TD|P<> zgDM>r5;4wYLo*b$jC{?L8uy$QGd(s6t}8LJz7vT?_oNt-_70O#nZE7U7kY@VrICn7O!$)LXoMCJ~1czrXt? zhMG4&*@zhMI<+l@1-0L|WJ-gr-P`af!X9*z<|RIejJP1q6fPANNl&F;n&J*4&&@A* z65NGR_nE>aoEwK46BCs#GR8Q0RAwK(&AyT^=pYu#QhU}nm{vESuFMY4bcaEK-N}jGw{l`8>&*y?R#O9 z0IIw#%U=HgM}fc}Kk&mq=%?0naSfxsCK3a}g(P-T`>ShF9#PXPJO_Uo~p#L#(Y)s z=6Fp9T3-qN7`gC-Mam^ZQJK8WNNe?J8r8(Ol8^)-yP|DeL8dfuQxvZ{C(6uCPRV*A zdyL4Lb4ZkhM*RL_DlLo_{m<~iZFvY_$Y}8_HjHV!Sidz8WUj<1jZhewqF9A^EV>j^ zv0|x%p2YoCJ=wKI1yT$^K^1X|{BU4`AeTrbinz6r@Xb)If8MMv#+08iLGP`ev08fv z?H?q_)S$jIA7rqAM6!mQw#;z|1#wK3_MVg590H6U`T9ae<8yQW015&C0}Uk`4&IPO zVlZyr*rWxX`yk*~S{#DBQ5Ch>YV?;m?NTEM2*wn>kDtsyddeSBs)5jcAW?r|tM{Az zi1l0bJ`sa1wSUQ_3RM?{V4{Q=L@xMnRKgtOEK9&8B)JeAjyU(7@CB`FN7D47=^$_a3sZBX0nSl za3O#OeKD6^@o=e~mk!8*^IXj!Vx&gDl>3tb>L?x~3c9>SwZ)O=U;4|P@Q?-S+vhNx zC1YF}SIbbu>93@7nVMiJ+%@`cpk^z)CR@LL!#%>faT9dkG=G&Tp~g>W1335eBXccE z!b6K%a2T9}oC3iF+A3fyEJt%i+NFw?^TpkGxPf_J@6n2oc4762(^BQwnoN~Q z&Adz$xwwTIs?4vd8ox5&EoQdwL>*PkvkNUtcbOiidVNeqi}uV!BFTG#RI~JH4cX%0 zy0cy|Z}?)YsLsP%-MLBDGI@xPokrX?*xF|^aGwSKV%k!DFSHF2LxzwGS~e~-ui`B5 z37HXLQs^~l@Cb?V0yd%*ECZ0Jr6RZo*V@DpB{f7)M{wHYTSV9k2}Po@wPssy)*I8GSCpynfN8v3wWV7h(jO76C8d`@AnR)yAc%mWV?Vc@v$^q?gRbp@K<-|pZS zY9UQ(dt(i0Pw>QB^2|+#F$yy_49?b}Andev?!^m%eer%6rN2sAUW;HU0bfYh;-&Lz za79ymOP291+&=tuJt8cOfFVb|G+$n3XjSZ$dj9|`?*{wUsvde>$3#jCYjzqRiI*>= zz5x#60G57^Pza)h)g^27V$l#4SU`Ir?GpA<+fvLrNZ!!DiHz=UYY>4Jm>DiP;a(y< zADMq70{o$3koD|3yc;6SyZtR0# zG*IJQ#OhE0S_}qxsc}lq6EfW~9nHCoi3Q^8lei6hs3F`i9bEe+5fAJi@<@^34e-cD zSy>w1BrzdkMCh2%-lbT}3|p~CIe(>1B^gZS=kE(i-DlUCoLs{Rj%MPQ`Za`<5#3Nj z?jkC*&d`jh*D-y>UagG>N(aou$yplKvF9j(8sK#V)CDXD!}|@_Xwn!rSjV%tEvMkr~$iMUmeg9_e8l=DdOIHCDR&9H7movM zdgRCG)Hp^${u^%tOp=_AQtE{k<|zfXJj53c+#ChdwTq0T)=qdq{{UH)6!a;3C5I}h z4j>n@&_-7HoKbI!#mlrXD594j#v9gZt@_={5%c{_?14VAREUbrN|VkH zNJU`BPs)6frmRNR2=`CKcHEchVf;n2h>Hyeh3;3su8`4eU6}C>C6Xcxank(Z?gGXR zy73qrj^VN~KA4VLD+!;4`k$>)-r8pTSW&PcL>T`7NMeB$X+v2%W`ZVig{#W2DQuG2 zL6U$>6nU*k&HAgR+;FT4ND-4)BHaEg32Q415e7_EJ{qNxD<3OCq8w;T1)v#4Zc2Ha zaTP6)vu*{n*P0JHkxnWXI0}~0V6!M_V&^$Iz}$vLl{6)mF7Om~3k=AiElr-2bH?c3 zj1`Jo`j6gEr~Yhtd|M4nz*MpNgpP!GA$zJ5O@u~lEP5#QT#57_<|0A_I|o^FDf;Os zD_5b_)BVl3JW_|H!Ic%(JQWy^i0CsX9uF7!ONM&Rp{p!Ka$HJkB5xn|r5j_kl>HPg z%kNL&mkF7SGL7Z` ze|bW3_S_-|vIRwA%tvDF?8TG8DOW-_)_?W|wR;4Z0@WAzAOT+Tg6}+Ced<~OS1uoD zU8`%Tvip5ssiDfm#l=7YKpPq~=NF`p4xNI~2*Fh}S|q|#L89a(i($Gg7$@G2i84a) zMW~)(fdZAmPO}J`?vM_lYLqDq1#WugZ-L8KokkE(Lj+Y+nP^&;T#Cqtt~KJl5$mF2?H9VnW-+)87(rQbO~%Zy@#w-`9*15#8cWW zCM!P3pPGV1NwAgZw3e1kM3J zA2NdqrGkaqC{F~ej4jds0LVqvKGqa2hrf)W4ACj;#_A=)^?$)JQ7s!!wAPT`7sD}u2NmlwoHgJ6t{IWIIIBKu{VW{N}_XHAp< z+5=dL!iea=AO<;R%1{c;xV#~PS1S>Q9cm!uXj^1Tjtv)PkV@RPvH6`MVO17+68!PP z0st>dt)lKZvzW3k%Y66d6t7@EEUE2urW71Vx@3yAZx@R z3_oE>_lYcfwMv$4A~3LkQ2|Ayb%vu=a~*rVglqYo&F2*Pjnex}2g;2RE3v64=V>>*n!Wh1N}5 zR`A_E&=4L(74pZyT@bCxAnkRP_Qa-z3Z`$FxiF3M-T-G5$6IKMX|cbLlr;dGWI_8w zZ;=s#N}AjBVljkki$b;heda=PYUvezthXH{kt@nI4j{1gxNg9>F0!%sK<3fJOohJM zg>V8&0aWqVKMC{sV9AiLd_{`R;O0$XVyXr0OX?yXDK5^Hy1yg&-rl7P{~c&V6f zpNPd>65hsc2q}6%EkL1bjdv-yQP@f`Z{FalhcV|4J@E%4iW)l@E36Z^(JW0$FrZaR zGR$w3G`Q`732_yW4y}gj#BU_QMIaJ`Z8?}5kQs(6P>p0*iBl$=2ZdTfqgA=gAw{be zm2sOwps@8#n6kyPp#3UUTo7h}?w0qva}P$^04N-po^g!B>Zu^|Z&J?m6f{u1BtQm` z!XPTKh&6#g0ibva*Z1z{xEe8ju?;DLKNB4Le=}k{%edX|kOo;3W{ZE!wshz~Id2w; z0lLIc@Q5%;0$0`S<}x)WVdAl%5z{aHz@d&KF;#Xgm5-nXu5Feu+X3hmq~pXDL>shX zYM$=phRf}VizrqKI|3U(%)EJV`l`9yM%{ZBYC`^~j{D(j57ZEy4}|-(cL~*>I6l!2 zzCH57sI_#;#v2@&JXxFr5GVrxf3LY$OYsZUw;>Wg1s>fVtAMIo>$n0(k>chn)M0mP z5MawXO%IF`&Mf3)Ti7K$Q-)j%X@PkoYBLV5+y{SM(aaa@VR82V03nPCNlP)A{&f)K zEvLs3P`hSJ0J&5od4`n5RD&K+h;bXHwH;)VTd@Jj0}7b-gajVTzQR}>MU)U+p{lVi zP1z5TkC<{yZ}L|%?(F=97kNNmc}#WO=RvVUPN66;06hs+c>U`uq=*XR=xC1ztRk}o zu*EW);m-R%VpDK{Q3*$BJ>dk{3-*as%tjaof1w5OlKmxsN@sxo02jP+%iY^w=Mhyt z53ewmzo7=kp`nPk4ct^D1{E081qn!Ji4ELUcrA+55?B;!-SlPanA0Q#a>}hBP}E96 z#Jn(CC!t5`A(X>b)UQAr)sC#X5&}sB{Se7vPzc-=)F^KNu+llwV?9J7yEtBDg6v;( z?ZzhrxDgSwDMxXa1ySN_eqt&x-T{I_MgxMMPQq7j`v2d4|OHE3MNEAOx(hAc3U^jF%48yeQ81{? zDnZ&rnl9oSu;1Phfsnh!t5xc>nC1pU%YV#GY9`|aw=DXmyjFdzzvehgs%%wP(OuEADwbTq{{{S{&CQ&R=FojkvGft-UTO`4- z63#J&Y#>y4_2Fz3U?JNA)0Y1LIc2^5*}xa7C#!dUM2@UB4as(`1pt<8h-@VvvlMGU zL8joM+p~6TS1Q21#f@Jq9jn_oLRoMGlV>mqNJs_74~v9X6#gz65Cz%LeaN9yHxn-z z2ebrI%yx>-ePXMkVAR$PeQG?~_M`fVlP?xEg*gY6P5zvGE%hJTJAg<5Mo%#9t` zKQh?ziT$OYq&Qg^A0)U#MBH&P3m3R(fX-1^#JvL$F!c|z0_D=v`5&@O2`+#;052QV z?m3YmV92p$zG<35fIskpk7%fPB1=TV4L*-D%UI3nXqgSMn9|Z1GN$7sN!MjsruH>; z)H=|mb!ybLDHJC&EeuM9MsU+K3aO3@ZXs25DXQ{qGj&_IG?ptlKg?F*bPx@qfTJuT zUJ)z=TNx-rXx3eTs1O1xbXjrwVy>OI9O|byVO%XqrP{bdA+Bm(G!|2oG-zEN;g6eh zll{OkiV78LsZqIT{6OJ4P%Ol|SO8SGEJM;V+OqXgX=A1;7%YoTXJHCtxvUEpoECU+ zT{_o>kzu-*eh@a{5o=4&vPAnjjYG`2?NBwprjtXpeoOqp2m`lDtqUlixOkkn0*l)Z z%Pp$ZM+ruL(uM#mMRc2hNdOSd$3T0~W3Fq_DH*Ekm;?U+NF=B=ZV6dvr%imvG7UO- z`G}+e!5HVCW)py6z~@l39c4pAz^p2Wl%hEIQip+~WhIIN@v-B^fDdeF6KDdwL-Rne zDO=*4B0mzI2T>FZ6n&E&wm2dzW*T zbr*kUhJ}64nQKjP85acAa2onLh-?p$zqBUVmdFgeSBzp6!D??o$;UM z?<*?6SR{?hs0dt0Bj8YC`_n04!qk_zJUQLPHl%HIMJI)@BGi;C5Vq8&lqk2Whrky> zKt`nnaPa^YFbpzN!K-l9mS$iC4hMckuPHKDoQ3Cie6r5D%RL+b8(d>@*U}9HjV|SR zRX`F?=oXgj0$rxEL&XA7Hjpqe3>ctBm(BGnxT=hWs-T(^F;Xm)3>CQW<2kGvD7H$~ z)h6*P+d076ErhC2jTX?*QP5~{LRW?osCWpR(V$lZ9>QTgD1#4}dWaI;u5clhKCQd> zX9SG^Z{Dkv+m~GLPfvy_Cb$5+Wi% zojOP8S1X*Jh68LmCCJedc>(HD0VWNl*xf-&pvL`CmQ`ROWiLh*R0nuAUCsoh+ngN` zw@9?gLJ*rr7_8JPa20a0iFn4&;jP zA86Q%mHnyyQPosx`HKu1x@egTyC`VBaVggDV)FTewR!4gs)KJM#-~4p9BUVzvD_ap z2$b2Pjk@;cBdahKrMy1hD=mXhbF2i}mg#b%G}$rI;1vpsWB>r!N~vt~%IQO**GPzQ zD-;s^1w9mF9YSMuT;>?SBoBYL(bT2XWO+-!8GAq|HnFT3*qgG$#)<*(%Mk566+ojl zg!7WwBIFPrMdzucMliSr+WZURGB?IM1t@{xW2VXSDHiIt#lTt>5*LNTp9G`CidHVM zpQxweC|_HuTlYdPQmJ$;PJdv9Ov@T}7=tx=-3bH)QRj%=i+TnRR%Fp`=0ySvO^aKu z;#YL0uG1C`F5+&t>nWZM<6eC{#}>7rtbD}-yBPe#x~GDD*>V9<8AUATsLN`LiVSk* zTSW%jMW_Ni6;jz=mp$L=4-5eiyw-(g@IA%l9;)=n(>1;Mj%}Z%swojE8gB11D9L2z zLdXL|*Q8S|*OvzS802@%A%sz_t&VgY1OXN8vNLFeR6ALr3+Gk0V8x>ARfN1m4>p#& zFLJiTFyrcX8M5&AxzR1i z?e7L|(4z>f({H4@wPk_mOX3C!#F1Q4cd--=)XT$#`Ir+I7?r#Qy_XeOM13x?U_P!r zpbBM*vw{Gtu-Ck_Fw^EhL3Zxl+*DD{i+7XldYCJOBZ~=Mfg2uWeO;6A5IFToWmhyZ zue@OWTV3n{{L3K2X+xtE&Y^z75glP)%&WVy-j)swvwS$H06v0E$;1T=XeRUi30-u! z!m%@TdrnXd7ZRZc&b2DlLyR4~$9C?R1_~^9>k&m-`i2rv=|ERd!-dV()o!C@7fPr_ z$z#sUhX<+~xLhiiP1`QuXOdu+^qC04vQz3tGi9Y@%fD=p^o>fFcXxS)HBO6x$00?H z$|cB$Z)h6uRAoBn$>cwOgSNdhseeP*7rdp4QroF{!MV{62%ZB(6uSjmt5ObSi z+j(Lj+70&#lz?EXvoq#z$)X9^Q}>S~oA`D9c=vj$`0Sr!3=XPLRaj*1@H&cTc?!Jl zpO`E>NeA3_EY&kkeT5e-Fw-3YSI?Lg9b3RH+e16VZ4$(RXCMzoOcn5}ny)Fm876pk&?t<8=xw(+Q%DaKaVW}^kg0JxkEg|)IFjZO=t{}vb zlBL^(It--Jio?MG)f@|(84x^M*wb0l&fT3c)6p&RDkojxuN)F&J{XmfvZbbY_ zeWD`5#vM|^bYoij(&r6vzm0uHy-M*H=~3-2EC35k+jf3n0xOh@>>)2<29i&e`GhOZ zLGxx>14Z87aW8%ZcicYExk9n&)+ko8!8bvG`;Y_6D}P+icqtl)9?QU;&Rg6M-U5y7 zhsy5$AdK6ANl#*rw5a7YD^EfQ;6up)U0k8*4&WR?IK&b|EyOvJ-F}*u$}vZn(Ndj2 zy+GEWUZ5tk08}A00vdzvEZ~&tIb#t#%JmB9CV9l@g$$XNfvm#ZKnhI68h{mFX_D$z z7VGF0<_P0bgcMi&Q!phFD=84Nv2G`e>KNcLJrc~jjhLQ<^dVklO&FJDGxR)ABB2WE e1eJjaNC1>dKWgvl7?esS5{X22^)>$hZ~xgZP7CP( literal 0 HcmV?d00001 diff --git a/slides.tex b/slides.tex index c32dce7..547eef9 100644 --- a/slides.tex +++ b/slides.tex @@ -14,6 +14,8 @@ \usepackage{tikz} \setbeamertemplate{navigation symbols}{} +\newcommand{\wrt}{\textit{wrt.}} + \newcommand*\oldmacro{}% \let\oldmacro\insertshorttitle% \renewcommand*\insertshorttitle{% @@ -123,6 +125,32 @@ \section*{Conclusion} \begin{frame}{Conclusion} + \begin{columns}[c] + \column{.8 \textwidth} + \begin{exampleblock}{Pros} + \begin{itemize} + \item Opens the way for AbsInt formalism in JIT + \item Provides an (implemented?) framework for JIT study + \end{itemize} + \end{exampleblock} + + \begin{alertblock}{Cons} + \begin{itemize} + \item Overly restrictive in JIT features, pretends otherwise + \item Unusably small toy language + \item Absurdly hard to read toy language + \item Proof \wrt{} some $\alpha$ which is not + \textit{that much} realistic + \end{itemize} + \end{alertblock} + + \column{.2 \textwidth} + \begin{figure} + \centering + \hspace*{-1em} + \includegraphics[width=1.4\textwidth]{img/absint.jpg} + \end{figure} + \end{columns} \end{frame} \end{document}