From 8d8aa29b49b952561c89d958404836e2a958fd13 Mon Sep 17 00:00:00 2001 From: Paul Brinkmeier Date: Wed, 12 Jul 2023 16:36:46 +0200 Subject: [PATCH] Add timeline --- doc/expose/expose.pdf | Bin 168492 -> 179632 bytes doc/expose/expose.tex | 29 +++++++++++++++++++++++++++++ 2 files changed, 29 insertions(+) diff --git a/doc/expose/expose.pdf b/doc/expose/expose.pdf index d107bcbcf121cca7675b975b9ebd5f5ee4d0f415..9be2826e900b9b07b0fa574d1b3773d74accfa25 100644 GIT binary patch delta 28883 zcmZs?V~j3r&?G#zZQHhOoU!ehGdAwAZQHhOTW4(Bp6_|T>~8kQCRcLR?@lLGUDaJ( z3{(FJQ;$Fe%$$IX3d+RAm1HDB1xUe~irwV6%dNXphA>tu-04A+-YABTC$ZxwYlYN0 z*%-dqS6cqdX|U_Lkm|OA!EMEb=R}ZQRygB`YPZu9e)RcqGU9H(G2RyGiYZh(?AvIvF)4nwVMnTW+7BKCG3Hj~# zxi<58yHjcD=dB)Wl?ZI#`I<(cFjO%>&}=pj|0W;!?N$~kv?RaDW!YL^IF(VoS;^vI zy6$qS?k)mjslm(oH16B<2;d|d#{Vem)>etzV^|N)D#yO)H_z?!kdk){8)zF ziGU5?GaqC-oDmHgt{fdC2^bw&@a4A-UAOkx>}WN|`(WO>S!9FOPXOuuv_LC!b77QD zI_rS3I#vT3f3hUT@NzlP&dhuC} zpSn9AtY#)P7-fTi_rr2~9<5W-qW9Vqgl$+^ zLXREPsmdg#Bz(EBnzgncK3e~786J0^@250E7e6R-vIpCJ)? z$Sf~@a0<{rlG~?*n32amJo>*M0e6$qW>A70 zr9o|FH4IFlw~NDnuqC_T<$9V%^4~rbnrM44p&>C#{Pi&r0DRXQL#LD(X`>6MIP$4t z_9o+o-^QZGlo`CmIqn2Ra&fh>*W8uBqQ|2H!vl*~{H?Do#d3>o6Ripnp~96PK#14; z5yRZUm7(;n{R~n0P%IH z$Eg-p$Z6`?2be41){h>!8){EttQ8%mRkUU*+g(x056E9Z5rlWbwc#hw=nzAcMl3@#sH01`6wqo^6G1w<*3!MSzo-m6{~ zqOr^2`^e>F!>QR6sLjBT*XmJ0TtsS#_;X2rnin2l*EI6BJ~gU7j8Db_xhJr0?8xN`X71PI}zb zd(u*Hsd8ITaiAdcy6<3S2G+9}lTxS5fisocn*QAUqtV=()|f-Q8dHGn?~2Pq9uI87 zkIk1EGedMMcOjx?W&TK<2J&pi2^@Pk@UcU`2GFk?*6VF^HkX#iO7kD{!UT6~@X4b* zO~*$lm%JHNmy{>T_*)Xibw8I$9|X(FilrQjkpK#zpm(NIy zF&yqalOEo*VP`kTrFjp~#3vH*NM6OLAW;uf5VpP41pB+YbuanoJ=;ans1*bMvnLUa zh)m@ipC~A3aRr2Rt4c>;x0OHa6U-|86ow_;n-9}FXl?N;tajlnN>%Yb{J}~T1Pmm8 z0P%eu(RiJ2Yyaq&BI3A8jgobmlKO{!mtT|j02i(y9DC#whko3QpUMF#8H7rlwXNUO zYhEIfOcW_2ZyAR)9Pl7}mf96Q)Y zF$3IQAE|b#zQD5UPl4({ZK1n#cwOYkQ?(j0QaoX`OqzfuaI?U(@jJAX6tlq9l$(IU z9a(C3+A=lxF3LS$fe$c%e4Us?6NcOAYY@v61^+Qttwv@OnSQp@CjkXD1IpX)`@T?t zEere5f$s8Az(4FQp_$ZcRm7i)ZAqW8mDXIqN68`SNC@p)4@;V>LR_Yy@K&oHrZu7V zyhjxq$*Vj5#XSDw0@CzyeLIM!Pwyc8oZ`cFS0^@jvNk;$&xR!ZIKYH^nAd;t0OHa?|_7@LF;Ne9eK_vFZk3=O(iPDpt?hMeQtly4J zI1K@VZB?R}@)*6rl5&+DlGFD<2}zD8(Mr1yzvTmXm5>qsIF*_?%cx9F`;$eTqa#0J zj<8qp2{x|cpd6!u3wKV7$qLgjnlytk(pUFfiEa>GX4M;g>{<1nEf?%c5yN@ zvil!oZ)^?2%$9(J2FlLF_W!Gj9&H`xEGZ1X*Sh=@XpInsT}IC)eg%#l4+<@BYipVe zND`9>E$D84r;M+6eqUhd;CMSbJ2l&UZr_i~Tiq-y$ww$jdxg6_nLW-}DKTaV)q5%A z*!0B(Ti1s?sNx+lg(oml^XBkg2{)`CWZrds=0Rl)hTUi-9S?V$ zfWo_|Zwhtbexyi+Ce;h&0dYO-XqFsL;tt94-Va021> zwMA-day*Ci5UhhhzBqdro_3%t>7axH>+E~=N_3}e6K+!0?m`)=J=o%r zWf-D1MFrk^yiYhn41AiRyLTZ~;giQlP^Q&SiAdrd={qF( zhI*;hPmpRHAkZD~Mi>tNj_8m0fXGaOt+_Wbs|YQT-Dq-dzaqD&*dVX)!1ckMI)3Av z_)WA-nFlvPCPx=-2lBSM30>PtZ5LhrPd}xh(t$Z^ewrmdYHAl_&;CL0Dk(hc}Fd2h_ z4x?_Rk(OykCVv8%m7 zmmA~`{-$U2j7O0=A(XVphB~9!%yg0H4-q+w-%W=tw5gwdXNYur9l4F4KY zy|9rh7G@a0`)WT}8`~oG@&V0B!Y7UX(YV(pZYMZ^o9_z#qUQw3!IqTc+}h+i5d4W3 z1)8QKvlTL+-vovxC=`^4b*^q&cur!bS-k%nic7u_{a}tAipT;g?Ocw~)ChH5T8vLU0IHKy+y9{C=!D&ZSp7 zcD& zC4K>jIJTX_$3kfpN5c6UtmjXK{-65J+?HjIsO>}_Hw5_XG6BC~-26?;VvO}Gcjyb- zrB8YpGHZN3b^>czs1<<)P9-D$?VUZnq~Vp{TgOV$D4Q1vf0Ms3>AN55RWD8PK63QD z4a*Wwe^C-ffUNtX%?iPm?`?eNbLNBVYX$WB%xtGgSfW;hq)49wPpEa%*mKq?J;}q z8!Te}kR#3+!ziJwND$Le6) zpj>_OjbLr_UoH;atg7cMM3sD@TIy@7YxuRhk=@wyqh(ePQ69P!WNlHRY|`aOz-z~x z{%n_yt~nfPKk%NEeqhY%I&tZ1X-h!$QTkgF2v^*}{bp3@GziEJIqXq}l|ryN5{GK9 zXCAC}6zL=d+%T3qs^>!_c`M#_!vGEr6kJ^X$&w)%{>q&k!a^9FU5u@+W~&FSy^C&L z4nW-^NwDrzGK^eAI{#$AAPm3K8YU;CkYkay(pri86tF zG5uK$LeuD#sC8y9)#v9+1^~R6ixCzKjBp9)Xcg(K21o1?d#~JkcFtB}{`{=66IL*; zXdOPFz}i_}A1D z7`~5kd*Il#lADv@pJ9CmL2$igO)Q7d_;@HoIS~=Z<5&Yn5GDHO^{a?_NYm{Aoz=-} zuFQ=b3*iq4Z?t_t0FO}9t#IZR=oAP?;ZLybl=pO}fZ!wCV}0E1#CWJnhOAA{;QW(g z3&mXnp^9Ka5+-bw+3R0D7c<=FZ`=)^69GIRh;0HVfyH~Ob_LojRl})!PxTqhV@f&Q z2LFJzA4Ao*GC=Bxo|WE>tjF~>{@>b3@Z{X;7sX$ytiC1~z&qsS^BTvBUjr*^TCw4} zt08r>;1qP;uBkwHMpVr-WL&&x_voY`ASC+q*6V#qV7CNOUUMfdn^Bb5egAUIZ`S6_ zS)lG3`mPLV@9;(dDy}UpEvrUB zo)4-#!Jo7VkZAOE;=OI!Yq2Zc0ahXZDo<=lmB!!))%r^F<7$qJ#w)|TAdpOVD9zi} zhEHhFs;wjsP_jPKBw82ztMtLVKhiohMGzM3KMeQ7U8ttSRplc5DF{m&I5V~RD!5D3 z1rTFr{0N%MOJz$qBrEqfUjrgk<$iB)jhBFMQ~ zA6!n?gG%U!eX3c~Z=Z@|(lK!n(1~Fe@8j)Ygk8d3LM*FCbUO&)ZW_cb zgP#Ebcr@~d>-M)cKwb2&w>2F<|26c{M^d-e3Y?fb$Si(%&Q77D;nDr%%~l;xWh&9j zfk=an)z>);p{@L=$M7_X=r;ABgXA;4S}^6pQIdI!q_t80f+r~ZC9Tkx;uX&^m^f z-#XG$=`H%mYSdeaBJZv$e`uxEsE4xLIv|-Nv)FiVDnXjY6~!%Yiz;#A(LyI;4RNipua)V!fFN18mtmVCR*MovVHD5N|wLb4tCYHro(24jF|#or*-L`_cQAlN^4$Ke%yJ!U z2aQv%QkXbz7cBq0*rP4la-7XsB5r>kT<)aGe;OthAzEq}(Crw6txO^Nz>un{tMQ(i zo7w3CU3s&zUz{dWaa3lEZXK>NK#5$K0S^9V9(+f~O9V#OlzM)tHr1|*ZMY|zq0d@y zoo!4tZ{%2s?WWDja91mYuJ15{shwr2mS)&p(l$Zvf(gG0ugBx2f1FiV((8@4Zbm)?QpXrD!b2Nn}ZEbe^X+N%U^%59w)UU2PUb zYS`$ZYz^srRis@yso3gx&`yqVk95_p*G93+`{J0pp5-|>i29l9sSa=o%{AM{^O&r{ zL;gISw9*H$gtVDzJ=n}wbCUaqxNr(Eu^`6{7T3}OGTjao2HYH(v1BfV+Xh|=PLW_P zX*|`hcqFz5y`^JGqpz@1^2@Ac6hlPh=M651mB>zIJZ4Yvg3&H?Rs>B*cwZ0`y~T(y zKy<-Y7CmYa_Ka3E+3$G#=y&)6i_BJ8`GTpZJxa5`)9vS{2_4>Ac7Q|R?9X!sZ43$X z6X>S^?(|hzmo96nRzHp6Jj)|B1@J7h(QTotK(j>O-SjZ@dm>-idPwU1L;uzp+O4|o zy0>hFTK10se?cUE+L)luZJMFhW1bMFgnsJ-`~MRj@InG_J?rfn8rue0K3ydzrDuOh zZhGV9X7gvM+gbkEpZ==_J_>uK1&srW^-?qfkWGC>sM`kJLj!?7{<{1&(rn_g;S=WK z&gaR+alvE)f(h`NMYDY!lKD(zUL>gxw9Hw>a9aKa0;U7zZYJ$^b_!xCjex!!Bh1gi z(?3HX1hriZ6%Nr@x>K`hQw0N3Dk@0?BEo*k1#R#Icx-G5a@bwFE3>pvH$yg?_^cEG zS8a_X>-Kn`{y8d~cYaNbYhe=j(N3~%YW=Rj+j-rl`O}kdWT%nwf$D0DyaR>U?L zBb&85Bq0T~ad9ym4$2ECe0OOeG1nIqyQx*wHkbVy1mnH+p;U71&fq6mnF+u`@Yq6Z z?UNC?DM7@olRaT$Wiz#?(^9|3!@3lJ|Jd?q9EkF0P#!0>BI)vT^9&M`qsLf7F;|z* zJmB47jtkSk$bki@9(xm4(8L}D5jZgtPfZ4FD$koJXPL?vJ31!0_;o+Q>+ajLDK^P+ z5*Wh?4i-%yFoaAqc(SRJX6+g<=iUXwC8PAK)xPYZhDYV3zy#Fead+BVJ(&iO@7SF; zR5HTySYOpsxwRw++YWf986Z`XqdB1?It$$&dJk0tA3@MYsM1RjH*KMR780ZWv}6(B zJ0R+#&z8L~Y+}8udq7ajJy`>1#&E*N83mKopVjSdya%LfDHwEE-X&VQM42P!&w`}9Do*!Bh2f~xX_GLZS!UZh{ zr@vU5csvz=2v^4o4Crv-NU&oEe`-=TlE(8)-dF6u7jtf(Ku*LJS?L0V!%K$5!z{6P zlVCDFTu$UlLLRv$!0^Im^;yOg>5}$X2b@!G*T}WeO%@ca946~b9+^EZeuJ^nlp%3S zcbNh~PE}MOF5-t__TnK#%HoNK-aQQ@JU!9Yl(Me={O)|0+6#COhFb9oj2DTe zJ6YOLQK@ru#KCq6my-Y<;WFAGw43*8gD+rgOjDP2xyYg|KKh*)=SzdzyLU)jttO7s z61cZ+4_&PP`~cDPn?_dd2zRd@tEom&d6+id7!8Ln*4dX0QJg~hd&^-Z;8O0ww~MQg z6;cnL#4eDTEt_)4J0MLwr)3u2QG}b+EdJ&;h#AuMZlk;_*CzwO4F~H$SP5vX-g?@9 z_ZEt{@JRp6PDelv1sO50ikP8B0pA!U=LRWJWW0WW2^-@Gr+I=RV6tNdt^=Xvd_BZ@ z!*kWGi>!ZvO{1Kkvmts?R2ui-c~H0^27n8!H0h*O>s&;5C`;=kUxyMbCJ+w$Bp1QW zqy2T;D|o!zdqxHTd95;9fN(AC!7~QQ*18u}`$IU1Xa#Vj;d+4hU zINF)HvYu9YD;F!i@!xx)7kq57gXDmq+bqGr+>de_a{dIoI#_m*0sh5~E(9A2US=)E zoy5fozr$}aEFQU#@$~K7zC7`yMW+e+v~ln3z4;3~-jGuXaJmVI|II+A%upg0 z{9BTYIUoZt@~rKyW@=1!m5ZE%dKMW=o zZ1ECb;L;4$ETi#hr;9Qi)%n^|UyRQbsi#Yz^z{nh7wV6hNZQkr;s@8eQ)2p#617|h zJrz*NR+M2+q_*hY#+Idx>uDe&1AYv_;$d5w@5Tw$b^85!7+@?&+wd@!R5TuZoJU$x zZZlr&ij#zsr2YH|-9+RR$!$VnAH@$deHy3b7tkwnPf$S78i_W6sEtZW#2ZM{2!s8NW z@tDe$)dLA|;4(-U2g0TK?}gP=mZRjdo+|(fc?xM{&P)gpzDQ2y^9`^lcVUxe$RK)e z4mrk;^HXJu-r4Zo9eyr0-y;bd(CZebs>05XkKa3#|K89JOBV3X^z^1S8#>M9C8qkM z)WIqltKYg09P0Nmd@`<3L&>Q{x+mh?c27|V$`6@oWzF~n1dq$uI3^NcexORJVG{$; zC&QO{mtl768ept(DYs}J{F0rHl-@0RYO(?^(8_Ngd zn)+>rrfP1R?up?+{<^#k`kRcv);kXb>?~&Aji5q?zKsz0VhvzRs#Em(Ps73CPs2UE z+(%u`OoL_cMCc`FHX**%1q`{@lL`RxiT->b!#@7=0b0JzpT;WPv-vD0Qa!|!CFf_6 z-VGv@fcjEGo;6RvfI{?OrR>(?vY_w;rg-V)k{Y|^8HY`68t!K*Y3loq5-3>?y0pM* zU?#?{He@JauwcDNUvdSagAL%_W0Z3$l19u0yaGI_X_o%)5hcloivf{|`+v_RL@cb# zod3t5-t0v7TdV6gc|byX1)uepWuvrGV0C6m8WqTCjUY75XkFndlvU0t?(5x6M00H- z+c2Jso`G%G^zk0J0f|SI5i?4W5}~DUM&39u4~g}F8?;1uV+D?balxS<^dgT&<@iXr zAM~b_LldAdN(?tNiU~*Hq($NSN0c}Oz#>DD${rLtyJCur)aRmX=CD5EgE)N&=jGx7 zYJ}MmwqIBa+VSj$Ebtw4=tpOQ(ia^DHw9y6TSx9d<~l1cBC3~PfVKzPD#}71rJ>a% z2x|Z_eUy$u3L%C=B@!chGBJul2D5U#BQ}Wr3uyUM540dfDYn5 z%)_z}J&#o#&^W-YSq{94JkX#6@CP^q=;U+O8G^M--PuyZA&JaDY!?~V1y&>;LNX~N zNO(|~bqwqW%;RbknHTIcgO$LB%ZAd!_K~>3z}pkUI$KYbvh$$`fMWp1iX*2QlaFX) zOr3;(Q8(%ojx+!UQE>Fp;ccNHqbW3X#hN209A3A;?Jzo59fHrOV`gUoVr~qL22oKW zruHLIo&pu6BXSpM2d8NuL#C& zknh83*^G}jR$K5IkA2?3`v;YW?^sV!od#ofQBIX6ul;HEk{+2me2=mB%(-r9r(yCr ztKB!eW^`fY(0^BTDvLA$t660^#Boozb%brSQ}#LMmGX7zSJ98U4Zo}R+3wL%@(71F zml*yr4H`_3vumZ>VGxskoPNXc_Ubo%+(y>58r#9=%o^&}t#KVMVF=HY;W0FEcP!pY zyLOYlyZ3eE9eOi!q+i#M6tA6jKO5)NfZ=G`XM*~eO;*RU?P^WH`=qu05igt|X*12e zwCQc>3V9PBFRmG;Ac0eYFW&A+(Um-N)q@thLlA1B5d8%x)C7<5rWZNeP5aUWmH z8j1=RK{zS_GMNf^ZQ!aM%;WbVk3`tbr+2Q}%I<9FrS2cVyZ7^@Cwr~af~Hk+PY~%c zj!)QA>|*tOW+$6fUPAEDVpe-Y#IQ!)ZQPc4^HrWZeDX4*D2iBa@VI(X{$)+>J zuRW7fn_UNhlToUoRs6T%_oEaz-7jEGINgyXI4Yc=Fazvu#Q4}DV3B|Hp459S3DB|E zK=b(^uUBWe2*8~KV0AyRT%Z?_D}AcvL-_l#i!0#6;0J0#$>C&SdvZ6UQI}of-1zIp z!5KHWbHd6sCh^@OtirNo2)MT0$gXH5ti%_?zss2Lv?{5f-z z^eKdLyx=u2N96s{ZW3vzneGcIXrou8?B8e$as64~F?h%^8aZcu+%|{mQMR>CNIWp+ z(L{*h!08jxntDw}e#Y+)AeTTvUkcwn1n zfo3T{#vLZB<;GSL%GweI43JD&v1HAao8QrPpb82ZdtoVriM5y%{KvAN^GuDhskM{k z|9Zm*-*LoMy=Ns7z$hq<=${TG73{Z4SZ_B2RJt=|O`9M;Hq-t_i08akJ2!)G!&$1z z5@=Met`^tCe7mKd@9dCx{6yK|6*B;DKUuE&j;Kz=Y)^qMy)8u8F=8mNxg?AVJkI13 zVCOZf7cl^oyrY`JBle%=c<>O;^1`HkYvB#A&&ruS_RgSM6|~(4LLpYe7Y>R+)$m>_ zXTHH8N12Dzys(i!A4RSv*+~SQXY+4F$US-f=Hs?jAm(k*v}_I*gwHB_a6Eu2D9_>@ zt-t&EN3g4W6Y8KR_Cf1q_2rE)OVGgo$ZDlTdt``XTB-Uy~cIc{? z;%J09!AX@=CT^8fMY+o2HPqv0KWg^~j(QlVHmuKNtG1MDap|nYgtN~iC*_dWFNN#~ z$O{|4I_UhC$F|S4GfUDbtc1ons#h$9&*DWUGddxz0v3d1!rjlX`8WzFVMKzI>VAA>n6k9DMwx`FVq4!NdzS$+kX^CW1EoG#d^YPB(2#2wqIVg zpPf11o&xCn6TWtby*`#YyW0gVo4sPyYaHdOJzOj>B@BDo!&EWd)u@vdQ-4L4ABnwv z-P9lF^w%H>{&~K9mc0VLeh+FZ2~Gsf{<$)zhdMukooekOZ?wke)ZN{@Q%1+l&*`}H&KZy)NLa&)P7(1umGDbMee)mk6p>l z;Nw(X_*)9EINAJVQ&yvS?1Ec_W7)|+w=hFY{<~4``+DuYc_Zpw*4p#Elj~rm?PqU7 z)Z$XJ=u#ymFZ;og%D~Xq=CPr|_|u^9xD!jbala8%rtSO-Dt=2-`hP2^|CR1@bNsh7 z2*Spe#H2_A(2{lDH6p)GgJWFlEG;x8%_O_T9F8T(}O8+vzz_^xM_%gP9{EB&TCujIOnp5TU_v z=5E|#B2HR(Hh$uMqkGCb6s((T+l>)W1UuzxpNwn(LiWqjr>wTzF^9AwgQX|}iEbhD#UY}zqUuI3rYagma|s03(c#Ytw;Ug`FzBV5 zyNT5|K*8{=Su=TtWh%!2-Y2-KprGwdxK(c9CWn?bv6oTmmUB(@*hV7fbp)A#mQSV9 zeVHX8+8G{F2KMXD>H<^n9O7ja@TYb)i^5JCFFRad-MJ&DmzLoec>D&hBr9P&r+oH77=bF zi$p3cT>5lPIBx@tvA2v@r(+~~9iH$AplSGcOLKK0U7ju@^e=KiWL?whLd-iPfLMch zxF|YF8qo=08qmJ=od*}MXXIpfeXYcYNIuxHE9Qh9o9W2)W+s8UDN7E`2hC> zF)20ZKPyClVLF8?&O6B`mSwqa$*g+RlV2HR@=)CR8% zGOwgwA(V?Ojh#d=x~uVDcyC%oKoumEb61JC%pDJ!zt};9$6U~&7JekyA_&2dkGrv9 zh$9#*Q`kHM*Pjy4K(|jjOAV5HOO3=fOG)SfU~zBDu>#l^*{Yp=yiMNhqFL$lB}}26 zZbxpA8L#|-_%RJ0$nztlRbniQTvt_x?5<5?@d+i-!iUg6y4h9h7Pi7bfK7OM*3D)q z*$6enEB6FYT0e`xtf>8ls+MTPf{jF>D7N_E6N8+PAJaJt49@!L+p!5eDhLaI0M@&PfC7!n7y{B4AQ*b?-{zDvMAm3=h9g&Q05{2OwE{w+C@w_1%>prx$MDcy zyHpi-C!eh!kGqv}v3*cMo&TQtAOnntKH(HaH&o)*&8N!4X%XV z@HjL3>0WmhU(Gnj$nbx8K91f#44p)nC{o2X%r=G`o4}+Y1eg5~pc+p7ru6}u-i=ux zzC9!YPM21*WkQgKc$BW2nnQ__9|Tl4xI!mNB@RRn(S^@K zXGF%Gtv=Y+51|Mm&k|h>@Gh)tLifr_W=S^}AdC$9jcs|=%X^>yd@|8Ga+o7P%J(|G zc;~oV?%&zeg_mRo*<&;3^bNn*Y&z9z(`>(@b^-I({<$LtS)$Jc$2Bk*N`da#Nh1cJzvM8QMs z4Kv>BvqQ+QF7YkM6MZSHaL>iKu8?6EDR4o^9oV4Q#YLL01R6_;z=>w{clW@$q#U@r z^{T%Zqa#EBByx3U>JtRP2BkUCLf~V;J#K?~AsHIJg`p1ith@)`QNhu6FLpj*cI-?O zEocX#*1xb@l0}Uq4Fx8<#8-gxM6@=wJcpw>b zdqO?4y6}o+qRcltn5o+B+JrbH4g>P?$ciF6l7g^?uu?}X7c~jcXGZdYnJnG5$Cok! z`2iWAX9{4fT^iH8ai>m#1)va5(0aIM;(KPA1=cL%4;y=HS{p^lt>bKWxr$h8I&r8l zQB(GhV0ar@tYDJ!2Zr^^VAf=FcAZlxRM$M28Mip1Pb zW#^QnDcrw$p9c{5p%KuaOOtWQ+^A&eUt^DERJox$B|==^ zWf+Io;OyZ5N$ca@Xkw(&xAx`%b`b(uyY>5LySI`L4mKZOZym)6e%^dMn^`Q!h8{0~ zHc=u)x`vsaVkXzxl^yCLg7I;TF0y-+;^w#@0jAS;lpVB^48;>O%lQ1{1zc^EA$~fd7V^g#IqfP?I8N(3|Ykphc4~Z_%5g(tp^} z!eD{Xn{sD7h|@f5fiarsZgug}_7j28+OlDRw++)88vlbaw!o?sX;$C=!RJKaF2b}5 z5fF3~W;RaF|81hN5OK0IGbh#0po9L;|3610G0otr%Q~1G4D`g?#Gq2{VJLP(u~hzHVR=zuVTe%)%7|C{a34X&%sBprH-=PVSAAbjOi1$p z(0~b0ek7v{B`BehCG7qw#65JBLv)P8ec-$MyYL@MBp6iCanPRrRv=dfe;70nr!nK? zpw5rM{ucy-aJ`=u71|Tv%&&=flB$H_U}PF{JwwmGf11wU_-b* ze^7ruojOud)Zko>)&ZzLo8+{x&%kfa4^bdo?_i!l-F#mnKt{tPce?XaKzi+rfERg*KftA zM#^tg|8E$a zGmSS8GAj{igZs}X(g5Hl(vUE|24j6_bU#k@XYZpAVj3F`*h+YNppO6zh>{U;?)MEz z#q2QHgKZ1h>+2eXIP_#!hepUYzqPM4N>K?4D0slXS2LVeLNgEupg)YY5$NMbi`72^ z9^ggv2MEe50Em|g?sCnSB(eQhNu(cuWCX+s*6_OP?@#5A`vEZEC}e5l9f!Rq`HF!e zLJC&@ZS@4+B0yl82OQrKA=#e^vWo+4`4O!X?imEz@)g05nT@%?Wyat zWf>QDJ_wuH3;|*QsinU?2<;7WD;dFU#xnqt>pUuf_=?-2f#Q?pq#cBIS6C(}R}m}W z3sobZ;}hz@Dm5{e{q3qFm0gVnHk@bd+8#an;z(Z==8=r@JVOj^jv-CU98OtMDtg5KyUlWe6X^1mQIvYXzow*~Kkz)1Zr0OWcD=&zO4j zaHqo?EC4oAt-CK4ov@@=Rh`^*tG%^|shhYvMyXpj~bCfSp#2+6Tn|rTCgfy+}I?@%M z=P76FZTB<3V$br#EqVo;&Hk5}0)!g(r`WRX0>E6_1pg|iJTxY@6pOrGo63HwN9sD3 zWSO|wqW374B9vJLN1X)PlRT*$+R(+0 zrd8g1qjrr#BE7--W*`+>3ahN)NA@?3@T=;*!0C%5h;pUG*ewD1CqNgfw)!_CHRp%Q zSjXdbLJ#!osid^|!*#@lx+xpk1%rnD0HC=%!zuj_@f!NJXE*7-OMojQo`p{;5gLtObwbhi1Gwp5~;+$0+E5I~} z1a0o^iebGA*zrmN=U2a3zumbPDsqE}ZpSjVGBe{8ONHD_F!8p$Qhg8mO9%&3s`Ft< zy5N?^$w1O8gE3~gQN#35K*^GsSS*J5=W7okS=*MqyAXEJi!ZL9r3>Cv4DA*ppJHYO zcY;_JA81~h{~z2G-vtWYvaGGVc>vkJn|ZidD@$iUCPocf8AE?geP}r z@Elq`Ja;AH6~5l-q$s-CGhDrO7_~)6HpEmFly;4T7l|Ntl~Z-hs6m| z>hWlU6pRP@2|G*gGmJP{{WEdbmu1Mub>N6fsd#u<&w$tax@VP#k-}N~PdRr;6PUO!I9G%bCSa88;_zArG}GpS zV?=$7BNx+LyQ`L#uAUJ25vf}=v7v#zQ*_cht4PAsqQa|m!^MRUkX1Ywa+IBp<*{`w z+jsV7MciVdUh~9+|9MGGY3M0der%2ZaU=>#;VDFC_&hn}Z>ooynv+g|DNsa9090H@h{(vCX{z;*y42g2 zGiPhLZ4zASn=|_~ApXAzhY$Uv<_9l7*#xqT9oHCk0d~Mbkd4GX=w~dfi z?S3~p?gNdbha17=E4CIK2PGAh>l$BMh<$PEFkJ~$%rk*AT=J{OVTT$U3lT*L>gL6+ z2{tx&^M7@>0fP>CL%PZ(js?=A2v5xXg!zXo2~7qG)a|;J#rXV^+^Cq(nI3d=ELN99 zJOlS!1eHA0chq8)OHii5e5l!SAMG0ZHfg3;Q4}ti^)GDi;ikPCzMg+)53@+C*9&fs z%Yo^#>$jz9Wxf>uY65SIZ%ZOHeH=y4lff zF)NpeHw5b!{D|93X&J1U1FUwWoVv0D8)RB(04%s%uHAsRj~5HaE}eUC#q0LKiePZ8 zwxW$;D;hth>+qV11OxU0ofmHszchJx_lHN;*e%x143qUF>j;^tcStepW=8)B6J`+LRs%w$mSrgskj6u?E?LDsi=SQ<&t|PN1pF!UUs=<@pfYomrDNi zPg=0PHlO*Nh{h&Sv2e&3-zm7TE6DVw3ay^ZZP!&jL2^9oR-pK<34K&I#TRD>X-;pgp2kC2xoY_yg9MwrYV$jDu{ z*jvwT9R)FMXa1r;lqp@T>ibH^NiK8=;p)bf!NZi-g6A>T_J(?L6P%VCc98il|GGnE zjZ{HFeisb(M>i5Ah6%P@H`{5;%Te+zJ^~bZ`?8j zQXX9jFGa81>6%RGS-ehqyvO;5Y_F;u3?~&xV3#$!ztR@SXFqHGL_BYk{d-r9v;iBd z>)B5KdN+-fhhrkNk$5+NumJHBk(%x4X)6Zm6jg{VIpG@7}jFSQAC^ zbt&(mRJL`aIe!U;1X+KT$y7@HoEv5FA6$(*Oj{2koaU_%kaet{y)N6z`U1>HYq$md ztQ{k^-#DG7PN8g`mnC7^~V?R!9#9Hmk@nt!0 zCn6Yfn>ElQ>Q}#+wcpun?>6(sLhDa? zZyD?}#aS#bLdS#Rr-H+7aL9+zP5Pq57JI6D((#>ay)m!P3^=f+rvA40?om@by-D@X zw1q>#k&C0k#rJ|@Sz<@4pxu0jU=+$(@Tc^T`J7e{7B^R3;>%;EmH<*;EZqr3v1QIs zzz~1p*(%(=fRW!o>d!|~KGgdcmffQ2_sBu7IHn#wAR-8UoRO=EtVVwzjqn|6O3Lo|75#nUqW2e8%HKL9; z(4FoC-?n;PX{@i#B6M;Zr=mpYl9^UO2$g2_YlNu<>s^Z>+UjvBtTrS*5)f(4{PN(n;^z^V?uViY_L+#Zt(J;&~bfcw$F-_{7<*mgu~60Z=cQ+I6SfAd#*5n zb&6eXO#4gq*L;=a1h#4M*4G!y7{X<>b$qyNkk)!enf|a7(`X_CcT|Yj`)GQ9 zcfI@f-ZXFHbD3-p=aWS1PI6vU*3Uhcfl27rxzPS#{s5fX92=bOGKnYzRL zj9Qk-w*v4=>y{>kCx4DL30VVwXM?{_jg+&nU+(h8&)S#lVetL*JvY-Z2De7_p3mEB zc{d&TkN^RIj+YGy-`s08tAIe6^(EdHq9aJ@b;l`u+Ffky=lh$@y(@^BuJe$Gno~$M zgigvH!ta4A+|^$(%_Df_E-gMdULG!#k%+o6om5p?^yLu8ex}g_6e}ba!0oGpTLl0| zgSFD}eH95$#Z}kT(Kh_Wym;U}*6vo)-mx96HGs9ID8(0Nbl8qCg6!1TE!hjTk3W^i z0D@7y8$9-WTrNzSxSAe&X76JWQa$Xf-+Jibq1X2|_p6&^1GY4nrWO$)lM8l#5og7u ziB3TLuyyY4Hl9BZf6dH>1=}aHnoRnaw2-yWX-=4)GNl%yikn&nxJmiM-r;<}J-v|l zPeAwyjqe%k4F?F$sU!pa$}GEB{Btx+Dp5>6#eD}tCDqB|SVcnTcZp6ll^s|-rDyf@ zTLj^4lM$c9>xY(=v=D#(2QQm>i%I=Ij>+Q`^#UE45cmDA@M+SkFItDfC8p$w~vdVhd zs|y?(mG!-bdYqm4*7^=C>f2GL*9?~2NcaZ1a>jp`&PnG>QSjKaP#Y*{CTEgs;sCM) zo;GP2fs|GZH+G#iuY`RZtImol5ZB%lNj1%Sz27v=Or4Tn@7yoe?Y$<`<;AU|To1J( zoP<5}yIm55p3B9yU6&9|o!mxks2rCl{#H<2cY`aM3B>2C}HdQ-9q=hymjPhf}%5&x@S=Y5X^)D`TZ(y7rzqSDfY8Swm8? z`p-_gUL_|SrHSQ9-w$e3E%y||RiD)UIZFXzQ!a@#k}UX@D{f1UPWkIN)#GxI+nr%I zew2qiItNXY3I`!Mn?HFDsxLLctBpnBm2Uvxm*VYe572ccG5zHQw3c-}vj9|uKe$iW)RLWBR9X!^BiL-fT)?^f@)G5fZh8H9Ed2;_zK=9->Dp?LZ=* zaY%gJh2l&69w=}yG+bL-^Z;&JPN3PWL#Gt<#4l7w*3Tc+5}S=!)gqLIP0LuPUDa?n0>uZtX>~od z6u?t#nT9T9Uc3&WDEvS;*0t6j=F+!*f90a1JRd6W_+{12+~g;XL;+Igs_d#gw-P31 z+4CyaGz;{Fm$v#|Cp&SFviVd>xHh(NCK(42lMdoYXZnKpeoOYkt#q7I7W92lYZ|^x z$ivgYi>oa`nT0siv0dFzX-1=d2~TJ~gj`$J*+07rKvv^nw1qRb-P6jit>s{IGFj?p zqax=U%>V902)QxOF9VQvaT`TT(5{fu9J1%YFp+B3koxC=?z&`3T>4l9maU0`9M zBgiuGb~iL?#gyJOIWH}`#^Cl$gh+N+K(V`@t&cI(Ie=1(7E)?UOW}jaB&2GU0?@Kq z!WYvJz!#b*VZ@bBXRr5d5G*;%O}if?k0*w*DgV-4s=ZV>eFezNtf35Fn>QG&@lDi} zuzZN=PTH(TX*#BA$x%4VE$%;|`%Dk&A2+I>s@Sd%SKD;BUnD?vB~mO&ii5>k$)&r! za@Co=u5k?7Bb{>f5K_Y$)8+_qeNBXEatqoQ6{1ioiZ?I!h+h0uNV??>OuH3xmsD}0 z&67}lsBRup*iE~v3UG3GAZZSwT9kf`?c{}fm+|kFSSjv zgFnq?R{{_r!MFqDoRgLd?S8gsZyv_k(9O2c&Y0B(C-gT8b&>RAi|Yn@IO!_n41=?? z0OTOQK>L#7-N@kDb$zPIZh!(m`p&!jjorE1e<~m-N)MCPA8cuJ5W0A{fzC~?R z!ek=S?d$tDCF`*=J!Kpte2_j9!@L~w>{rys)#TIOBxhSXqMiZ(zws{@YN(qk96c~V+(iaq3n;7W27aO5M;JTi(3d-r2?JX%fW zGyvEIXP|V@YV;83h{lhXOs@gAeF97HiNv7HSsN=ONAK;sXXbOI=u26JP!_2HrV?f8 zte0snh(e#zxMm?6fM~Fa^{EaN+uzoP+@}_czuxi(q-smOcDQ=#7uGxldpr_U_TL|o z1=`i?7Yn<2ID;A`{exawSav5ZrN@~XSOF!x#B%gMl{i;}d&ZXD4$Jc&qiiiogWG3c zm%Enq?sT+Q+iizlp$+*Udaf|J(uT~YDs`p#)$1K5OH_%S8t)y^@!CSq40)8`3QYE) z1Xuem7*3tXv!OB3*6I>UQ=7dTj@b<(9duP-e;>RO{-Xtm5}5nGRk@14>2KSkG6Bjr z%hbk>rZ4hBHnhSM#3&YqFK&mX{Z^u3FB6e=fQo-${UHn2eJwr?V6~HlHoNyoF2Q1C z9G?x;JHq2J)pc7nN%0em#)ioNZH!{J0MP~Xg zeN5^XdgDZ=HWeNBlfE%H_ zP1xlcukQY#kq7EfS%#8hc5)8dA@g(OrQU5dN7EN2dBO3s>bH;W;x6<*$dqyI!S|ph zF`!1s>1+STgJ#Nk2XUlNF3>cPl9^Ai9l6UjU#&PmfID1mqV-?j9nf-hLD&=kigpgg8yT0jXY(T-5d) zhBXa%a}y5tVp-EQ)|d_pMo);k)Ol^B@9(-tlWem^PSL-AM)3R9ipn=+ZaSv;PU^r> z(WGekH0EZb(O29!|Lf7{LPfu%B%K_+^YD}El%ujvn38UBLWJOX7aCx55kOv>?n^kQ zs?>@mh8Lu^ZbK!gB2^HsACO%h)f#oK&d=|nUKmJh>boC)*U64rl4r_>)f)hv$noS4 z9&^^sCr>BHHZhsyudXr88&?)u>A-wLC1WwO}3Jl01NPp86+Y4BQ7MT$1iCalnXJG79igFbtNa-jM8td#F*5<{ecxl z%{l9uQ>u)xoJ!UtC~ZT}R~$8Lb%h`U$0JBBV178jo$%Csr+52DZH(tdk3)0KAhGJl zW%Z|TV}}tZfR)O7^v?1)c_TWVds$M#u#E$=^6l4-SygqjS!tL-wz} z_5)tso_$m}#QDtJyCp(N^isBirw^k^plQXO(PRzMWo7xm=Wa+96$30c&sB%x2Ad zkylzjjOM=R%x4$o=hDH5$)S2cW=+&|DC`?1K^b7pS;{bLRc6uza?2U%Qx60Ks@iY_K$O9BV-j` z{M1LD-gh8+zB`whll)r-^91MG3zL57WdUEF)8ebS#qSMq%JQJ8IJu7pSn?`#f=s6| zh64a!+XWV|C%DIqc+HJwH7GUv*^1HT!7P)AWHgeWfE=x7FcU)~n-`$sB$b_4zqoW^ zr&SfAS!E_(Bo(Eomn8NWyA?8!yS+2%wpu&QQCY-*CF80#x5Q1ejb`}0a z&Rh|3Ia~Wd(g$;S;A;=BLi>;210947*wh5lCXGYnUl*l~H zZ2wy$Ld?#=`rjn5D?NKfJn6RYnfg;E&5h-#x))&eWnCaRBqSAoe1NWz1Eh zyvXzF?n#c#rac-JNghp(1$kJl*syY^N_(bHXZ` z^f61Pu$9cCMRXH`Uh&@DjB+wAvLIm9R$gjh9GGl}1HAGN?St>&Q$0*}C8;5dIW3hD z#Nw2?Vqi&fv_Hn9p%qDEj-EvKf<9^7_5dtVI;zq*hK+`y^VT zscPWA&RSE%p;6=%D#)j5N@+>&)Pr8F`q>a1B%tz8#!MT)O`|db+hxk6P%o^kqf46o zqRa-^YBFn^b39g5<&(n~p-rXz)wdRE zYKPeX_EJ;=X5|#iq!K^SeSV-y*$F4PC*VM!LT<)7pB7`v>LmT<4rJ7oj_|lxZ)UiA zpDdsqR;XVka*W*mzOBOTO*hNII-qi)9QdX}0VRT(gen`^w`6U^&hpo;?7w@4T4b4N2W+)wk*R*~QDi=r7!#N$I2l zWUA4;@t9NijbIF+#FNdV0tE02!4DpfCr@kM-SlF|D2~IMSuSjYq6^s(H6RsyL|2ey z@dlB?YZ2>WpySZ&sJi`G+lW3qhYYIuXmvwSiUqJe#4lXf3EMUf|60a{V2bv#S?|RW zWBJ3Rznm11{7m0p-TRPj*Da>s!XxbjFcoXq`tbZ2QTBek|MLw)LL=)Ut5RzmcZ-9r zU*lRD;+S_D6SnKRQ5ROrA{~{xs2Y|KiH)(c3LAx;D1x5?VjPu_Ht|I)WpksYZcARC z<42o>&f-uHNf3wiTj;Z`krujC95uAE9cTADKCL>~G4Mko6=r9)3VOmWZueUeAeRwY zDYg@-rk|?JnPP|wuF_m)Fhc(PVt`LHq{IR0Dn?7RiUnHaXkAk%RtF#1hJ$*y^sUrx za-v2m#EIz*brstpN|#Cgd*}&uB~7`xY>09%&Yw;p%uO1 zN`%s`R@|3&;TO;-mZ5nJAi1$!ZspZ12q*vJ^^WppE5Q zr6ln238F$matSO~#^pm8^$T1XBGKcXyE~WC5RWEG@(U1ZJua#`uUaO*w*#-P-c2oC zw8(yTGK+K+gvpYGRjjT9YGgO&FegalU^cKSNkf9Lddx6nAMM+OaVQr-{LKqBi{Mk#W=nABBuZtkeVz=T4{}!3e5l zIMZ{ZFv<>eRiOhVgBe70;V?o=AnC&BFfJ)V2XGi6XdW&{)u_?{Qk18oyO4dq8~|Q| zR;|^8M=a&FckQ^(u(?ErTk%LUW3|re)DCN?A74A|Ue7hiA6ZDTICi@mgR7#?Z&4Nt z`%*WqNSGMqLjfP%!OBLZCm&&6`rGl*(cVM6VWyj)Ha*VEc=3T9<@;vx#oyZv`mwJ{ z`Pm9p)e5#ifMEmRtK&$97c3q#yBmCn*B*gIT=?V;euk27@W2g5gnFI;8c_buxADHY zd{r6n{NyRXsIccMr0;L$r7cwbuDv|l8L;xyT$wNbm9yHjHiy#|6yLHS^abB_W-6z2 zaJrn`oX$7)=WOSiq&tqCq^6lD1Y}-$=^u{Th5b{_ty~fS2yy5W{1Amu@ON52^Q1EP z+Rd#7C_q<9ri473Tlxo=eU_sUpC*MRQ|un1NVjqV1cO_GKxwc!$}#giXX0kA?K1~` zSY+vvhppHz2N-l2S1HOK8%2=+2NbTjUe2#FEQALglt|9&zQ1Bh?JDPNlUB>YgJu zX!E-q(v4MBg_3iPEdvcdCZ(h{Tp*-oVSM7_0_iK{0WGs+U=w3)wwk1~M?k0OFR!K) z;o6`Q5^pg!aTkxQFL3f-Ure_;|8U)d6pcRMD*wN_mIM>M)C6u`lQN%N?Mn(qXJCkvK&}!&4qZ$he4&%wb-yoJYg$5eVX-g! zmh0cGS{CO=*S_S<zfq{1d~Qsg?HCe0i`kGj?$J{u)^FEP9G%_aaY z1mh=M%g*eyVkOECq$wmeQ|`G`6!ni5NV4N1Z`mGc@qd}9u2woOD+=(YE3CNk4oj)0 zcTo5QM>r)vwlU;bq7>7fUFj9^TZOPn!%ZcnG-xRvdYcuwjtzzoJzmoRP^2EkOo)Y) zR*P3li-BR43dp|`MS2=k60_Mb^&kOGd@C6r68?#_l9q7%m8$f~daF{#_Y?y0ziZJ1 znMZFolGBbzWpgAI3fV#t#Jb$|n(VTAGBrE$WJf_4VxTih@PZt~3Y^szO0}ydW9*w( z8!Z0#T8#Sww>#xDekbUai9N9EQfg$~nbTQ0l}f8RG#cDnKC3T1DTXmKd9OZFaL=w?EjtVvO8BN}1dT8m-$??1h)bO?0pEUIu zcYD?8ohP&g`xLsbR>O*s3`S;j_&dz27Yi!FuXR z+AfQUj1nzdgSKt08h&X}X~(i^PdO2-A2pdYA(3z&Hosc9`BYe`sG=Nk66((8)6aueFG1`5);pIMKhAesyD4E)}o@W{fxCV!94eM&+EH6jCh zutu;aomv`-hz^cy82th8sx{WRlw4WpJd+OjNr+Bqea(l#XmA|-tqP|nD`Msj(o+CJ zuCVE^6%@kHI4g!yZNp=wI#=oYn5lHCRNm7ws{SZ`!}!h4DF(N*n6E`O+<_*Jc?^iJ zgg|Y3Y*=53q*``CR z*y0>XjKdN;diDA&S^M<7Gqcd5GF^Oz$REKWS_{&`?2G2!7>9q+gMU&AuMe6?PqFzm znNu;$Y0i~Pow>@gvl}*>sz|Kn*ylDy>N48u z#8|9~m^+NO_yQy$^;8iA1HpKcf~Cqte9z6Ld}?CgFDJkWbakro9%`x@<2*6Th}?4V zu(3?o%BDGZ7e7=A^=O!_R`y-PiTN1nF7{vV6rWwMcLc;KD1JA3Hhm~aySeGE77toP z==a|5c=WEVpr46%zBmEk!aG3uJsbG%lb>+SBb_}GnBZvks79-Ow$JvR7y zE*#X2-XEOZKj6M1>}9*Fp-7&M;<8r~o__<-_)Ih}BTo*(*07-b99+rcMk2jv6h=C{ z7XCORg4mu+ zy;E!q0^!y-akEG-yTR7JC%&>v3hO!-X3!6Et~No|7NhJPp{BxI*cNKZ#+p-52cXK{ zT#~68@rCDmK(3o-!;q@vA@eq~$52|lzGB#8-Kqw8{#Qn8p=mTzLeZ)5S>KO(MB%A* zR)9`T&K&6?Z;M>m(V~hBrNh4WG6C>7XK1$7*9*d4s9JxR>7dq&DgdKT_(u1t%NgRT z55H}rPt#Q6wlhz?n_**Fy?oO?(xVSy`(GuK8dmX~Y|zL>mfvwG!JLQUX1 zm|)&e@^+UBTf@^rTQ&dD`8?H!U`@;38nD~Kaj){_?C!p99yl&~HF!#+DXlBHOhwOj zz7?&Uo{$Apc5!$)+8G8^8v_imwoKjj|6Du(|9TH~HVlv8Wb5liIkQ#mrBw|wh6cb6 zXdt8uc>0t>F*Juj;sj(B+SMsD(3Zp zchslznQ=)wv}`AcKHqgY(DOBDJFvMLpjYVvogj)eZlXe-yEU`8i;-Fvz4x4tMSR!- zxL&(Xi3pwEloJo0>K%~`a?sKZ0Za%OMy!tSI-$wF30M9?ro&j6mmV;2K46ng!aCR{T{}%P0b4aa_g_tO)>s*!3WTJ_Oao|!f4z5ZX0&44p1sFcjVJN z%trb97a`n#8?bosL$=5$GUN+WBHA|?BBtdNQKBj+(LXRTHGb?=c(5lT$v{kcoF|7G zS-~mkn?&LKj+>!uGMai_Tt0<*G1mk=%S06kWg%YDisX;}@R*R%e9jy$yvi|&;PKrn zeTjbbEC13(yIS;?Xz1l3iq7w7Ok`H1C7n{9P&2T?`ii-wt1qH~Uz0fh^|1()o%26+ zAT7XVm0ER=h)HK6u`mh#`_1a1q|^HI4_u-6e9Oy$tuHTaMYV1FX>z}#%jKL-SHn!{ zXIEGF>+AbEULrZZPu4QdCvIOK6DEJn+Ufr5X7yg1?EQfxP5V}%RSPqJ#f9S@YXOLl zhL3*_2r2~cBWAu1&!US8+!c<~4Zsvfi%bAR<1EE7<|pS@<=F-mB_YpAn^KGW3W3oc zx*QYfnp;Y%?M7!GwXyCgY^a&LDnfeVM;+obd4t!NGwzh}@^vS%{QBdvLSFdy(3vlE z*{r|)dzruGOMcjTRA)0eF)v)y}a7v162p;d;Psc=?R9Vejt zu#EMq%%4km;w`DvyaQfN_b*raT-23A31!;E$t$dS3%m-B4!tRQ`$${hxRR=|1Dvt7 zvlv8l2s<-gk5i03VY#xkt3!Qy%d@JIW2*vIi9e1K|PU zIfLGSf^ske;oU$9z`$5JxziCNK|>%o**G{@($gYA3IE6Khy=|9;rdVI4-c1(9hOPL z+Qrq4n3e1Qz?N88+5a21l$vhun8S@6*!Mv9+1ODvK!^vXqOQ+qt!SOhJ~8>EP#!>x zXBm>!PuQ^h6!0}|WQ34WOUm)YT0a}}3kwc|ZHAq>kQ@z#SxSYn-9kn}j;@TS3e||^ z1fF!jBzF&%9)(79m7G#GZGt+1Mpkuv4q+Q3IT!{6o5=$77L?f!fQR>2dYT2Rl$=aY zInF}4iiLCIObQa2Mh;(fB_e1q1#?*?Nj?S;^(|Vdz~Yrc%54D=L*G$E6fBKw71Am# z{+P8_ME#>^2%S1IBL<_AJsD;Un|G8b3CeL7a(_BL)_DI{lU4AokMC;BzxNs8S6vOf zg@)V5$3r5`vHJMgf3)oa4ndZustGQ6Z4w3}*LtNqO?TJN40SmQVXriIEM@#q!~2ip zMvHz^TOZXO%(tp;F8CA&@td8VA1CLR_n$|g&JGF?FFz`265N8oBM1@$d6e&6in9B9 zKfk}TA{@HKd?e7BQ0}Z0QhIYvKc6oT-}3A0h4gaaX8h&G0Vyz&D`7>|AQPyeH*n+= z(Ht^KI2OYv8R_dAOTu1y4k)l-1{SFUhHmMt*ZKD!Szq=7+FNOHK+H9aQ2kPMxMhdS zRRJ6$nvjStZ0pBnZ0VcgRCnqA!+Y;d{yz}jtq5k@W~v_<=Ztpz9Nfp#$;R7WVUlw0 zd;-Xx&0gA>fSX4v=WJ{J*pX6MCLUbm8_#CqY*><(35;aGec5cKbt*ydo5W!bvSE(d8+_ z{)PyszGJ;C^`T@g{y-!_k=nxL=anXOG99{fchFc$!^T)o{Egt!9XC(7inUyG{zX0#YJ3I62-_*q`;JN+Vsw!Zc`)Q zxFh&fbNFU6aliiApK%p8-dH!9ZlUeTH#*h|@SBZVP;0$XScn}I?cLEhc1pF+>ZV8B z9358x4y-Pdpo+=<>B#7LswvTk<8H)LN6m8qPr)i7i+~2l50VI4hzq3T%|p=4uluLp zo--;VP_oxh`(RSD$&oW(GN&n5*}$qSQ?cocDO0IZw_&0(iGjCl;G=jFoj%S(ip(%$(S;&j4N2SYxtE_Y^z8Wnx2P%_l`;k>iu>XZ}+l04jj8AdhqyTkO9W z-Hur6$m^@_+ZQur;(8<&T6-qhu(N~ED>f%&FX0lE<#mLOYXs6kuoL-&zqw3?F;z*f zEd3|Z6g1Q8NUHQ$Em=-A9b`ISY9TY(f^;!)u}&Fy?hxC>vHo)Zu!HUo$#>(%-&%dD z@j5!qE%W_fsg#+M=l`N%t9d(_6EkV4m|MUyNjsRCdlBn0 z|4Wg~`mju@);{L{antwWK+$cv{w-4Z&m0R!;(sake|loXy8I$s5-eQ*X(AHB5^T&o z>}>zWIhZ+Fc{teFggH0`iU0po{)PK*E;lhJCrA37Jtz%;AZ5}~UKxG#g%>|%p=hbP z)mFuhs{U zvd>TZB&YSoU>B$eO)_Oka>{-R1qS2Yz^nyd5ewstG4T_UQ&~4s=LcpmrOi_XK0PR3 z<#Hir2!#;&4jHEDtiF-7Ju>r{~r+D z2>b6l{+oum+hL$^UrxZh{uLON78u=dsF-|=^mpJx)PD@R0)qYF3S!Q&@GKtqqK6RN zyob+?#2Cz?)G}vq!DI-UK7fo3NoIsA7bwjl*ch}kyP*ADG?O~IS~N` zE)m)}ER<~!hlS2KzCm)Wg0!C+upi?jK>_#2vv)2bY}HU7LHG50aycRl0Mw7oTK?mN4))e_JRL5&?n&AmfyQt}>J|Sh{`A&218@lC zMZNj0A5oj;?~}6uu!jE&0&CR4{{P~KT-}Ua+`L@=9U~SlZY~xUSPBYpMG4sd1zTaQ Ai~s-t delta 18087 zcmZs>Q*bU!v@IIjwr$&XvSO{+wv#WmZQHhOJ1e$r-T&-5wI6Pss(u(Xv!vSalrMSYP?a+ z4M!3zSEVT=N-vsGm)A!psv#d6W~)|R`#rnY|JCr!mu%Z9HbwDSvEyO& z#G*sBciF98BI5$Mw)C)G%HutaJ@;+J)$LF&)I3*1sbvP(H-35}b{Vc2yl%3bLwv~x zZF?o51yIOda#^g_lN?sB)+Dibm~6V7s=F7$*l6&wKArit+#_&0;;Cy<*g5K>@ujz# zR<3!?p>@Rt_Vh}sbmGrWm%o=`cOu}!_nZxFjI)wMVif_%AlsswYP!6ZX$V1-O2^>t3na~BTbAe?D2dtDr*QeI?!#`f zBvawTC?{`s{EP~Ng8gTDUi?y%=*t|-44pJo+92oN_v{6O_Q57AuuGk-KS&`E(%SjY zf5@+*m7@Xh=v=MElW#0A9dIVg)%)dS35nIDmS>vD;RQXAkkhI32Li^g9+y{>IjN04 zH7w|GQi4yqIcwG3CJ?(Vf#oyfcmiQfh1~4gV9$Q`Oy;grm!jM41CxGBL-eMoE~q(p z$3B!on*0hiK{5rs%IA@BnFhuK14$%wQ;CSVq11qXO4%j@nEV%;BKD&L(9>vIcc;PN zAmnZHc~}7K(#4lNf{lAnGr-=eY*6V<9lbV$Q~Sb3g=5mOgtEZbz?eY`mB>KXJ!V8f z_NPK)eRZ*tA1;z2K|W7oqA!WCYs7F5HZEJPkk&GiqGZo&Pwq z(LJE%{o_)EB2hP_l7>&&QBW1LFBtyFeMso=+5Fi!n=zjRVb)fjw)>m}nkuS4G?b(q zx4Nn#4FBKhnlqMLH>|&Xm6$HSj#HNM)J%isz>G4I2Nqf=B))?2W6OjN2run+To=S< z$1vD6DyqE{%S_@j$C43TC@}yaxn#InhQaK$Up^;evuf8QE6H{KO5jB$3dL`?S^>ED zNIw|7U?qwG8^87%soQjCB~iltk;_V*S4q!S&P6uS-BLiShk6G;cO-nL6rSq?bpKok z^y=A+H^Zr^euRDzjl_Hcovf20IXUS{mG=sp{?e@oz(0fsWao-}mGF9@ePG7I!@I&O@^a3OF*T|GUlE zTv{7T-94;`CiPzF0fXW)<3Eh0{6)ASW05E$Y;D4h0P*H6N{Yd^D6u4@p~kd^^@n$g z3Mi<5{G)ud5ns}C%m?I)4x^Z4=2)b?f(IbyknqTthGb<$arP}TLCM0w`3y1;B^iz!Js8A4tnBbgjc)Qyg#3Xz;a_xJ+ zFu;9o;NXu5At#6*p~E4UF{4;29k_x-skOM&z$zSmpH12K))Cz_TtAr8&gZ zT8NIG+TcW}_MDag$7yP)pW^a(9Pj>gh2XtD9APj4CxY&D9^TL#ND#q$_|t4%0`AjL zB>(8!&{|QIC<30`7lA@ftc{_RFeGGs`Gep~P7cf(d3G#{?I-Ffib#356iz~=l}tc+ zDGTpvvW)LZjZl$m0FZVDy74uNwDW2T2CzQmE8_DQ*RTqW0|gdcS+>3+RSf!V_3QO$pVa#%SC~C2-%u6a<3#uo8nYwKH*c zaWXZu{Xgjc&=oTqX96-hFw_6=RF9^t^A;D%e>_$0R9Gnz?vY?%*LrAj*uYvl-lU^5 zfoB1onqDG>F1_K2cT#81iBl*BPw&m4;!S)nQFQP6x)v@G^@q*tmE_@fDGM{HO(wS8 zNO{D_#hLR!gc&vB56Vb%l#2^1p)ZVrnX6hXIbv^3=KU=v<~9h^R|V3cHZVu1=R z8+*WVQ%is!i@vaDL8M;+#ml0eKGFLCu%L3^v>sS)s=6SR+K+ASFE63Jy)-NtRq^i zE~~1lu6e9efcwT9*|XvY-pM7zBr@W;zB#u=FmG*s^fc5cFC(+)p=$m6QT1SjJXTUr z;=S0->nG1dp6W$A)5W91_^9=GhCi{5f4+^+54-4BMi9!Nn5Ucqke*R*pQ^Tf%vf8o zRBPVV&^nj5tEw2bmVtcG0(#(mVsmrl@D-s-q0lL)r2%P$pKI(a?*_$s1Y%5qw5Gzh zsB#8VgbwX`0`KwzEFZu{6<>e_$xdOkHvN)~zu4XPq;>X!K6wL=Jj%too&P-yOS1HK zbduu$Z}Onrg47uRtiDIT@NP7#Y1LH5yecfMrZ)ZijM!LJ`}17;pzieteS{MSpiEcE zW1m)aQl?vr*-&NS6!|=Fh_jj_H=HWjA-ZOlH`Iad_qf^tX zBD~J25k_z2uGC7!*@@H7d%NwyE>a|pE2QGm+Ak?ub-~dEuzY3hv2Cq?pr_c6Nlq6QQ|~ z0bN0R{efcLtlIJWd(!54iBv@tyt}F;9q1}==T2iH4+~}W5Q=k>)rq@er>=&7a_qy} zwEZToM{i>Z5N-2a-o;k;jF42aps4$Ht?)&RXX@>GS?bni>|^&ggQq36ImFuQsFQiL(qpws<69IY3yUgMd;Y1^l`@k%O?fD# zhI}~*gabs8CEXwve-}>rdH8@LT9UcC>UV}EH!M>D^%V0ATvkFoz8d;w_}_i zr7pjMtHMmvAMhNAM$yiK-41eG9`YVZuwd%2rN?oCFx!A>XvGMCE8t~sdNouFNd6mv zvG4#0t}^EbS@o$NcZ&>ff7*%gqA^sGixF%oT@$K(Zm&kuKz-0YHNSE#@eqQ~#QK}| z`$ZB1#>aFZ8(n=2Sj@d+5i9pZEJiXf5clrNm!0!8^UN<-?G@?ELgEf*y(+HdcYtO( zwwpcGdY@kSqhCNTJpg`wu>lx8;)!4_qP`m@thyBi1mO{Pih-BaJ2>E9cW1R*=g6>R zV8K%HLkCj30^h66sZ^hNd<^Cju|BZ%*ab!aa{<0VCzLN9QNO?%l7mn>Xm$d-)0bG$ zlaK)stb5ULHiE_=EF)2)T;sn^yPXDFwd`-E{-^zw+VxT{9G`7k=y8h^GtXJnLyxS6 z9ypXn7M6Qh5q`_1WaZLQOPn;G%jLmH-V)-jl0n)u=IQoO#5pN%!_ZsIj)Q{a3VT%m zYK=RL`V4OU8;ty27Ja&*mP>F5m6d+b1Wco~zd1GCI)srlhz!V;3s8mYO%YO%LO+-s zHfCCe6=fm3J8ut@sIof#c(dyHj_c|ki7cQe-SF@l=HVa#%p{CC`SgvK0p&pVeWHPT z&0(VK&}TyOR0?QIOcm~Q$PrKp0>LbR@r3C2-TEpND9(f*fYI7;QYdWE5|WPuT7QR+ zFvXw}Gxo64U~)p7p;mtnS;U>@&LSB*+=>3}BO^BvMl)VEebbCjL_V;Du>7h!H}L>$;JwowkR!AXlE<@RxONmmCbVZyw=i_{7bSAg|h zC8t`S)-H0rI^gkjRYmvOr0FivCZN-GqTj5L3g2mhNmKS)v`RRv8eZ1)Ax${P0?ZY!a-A$_ z3ItsGZLUbW#c&wtegu(x-y0U)*uw*S@FY9zvZ^wohwH`K%g11*I=VwL!ku^#bCo)u!O(P zoI8;gI@qP4Y4mnz2FHo>N}5Q(anNK6e?;Q0%aAaz)$k{NL&@O%ClUt$nAkKmtRZwd zR-%j#;cs{8u+#qodoO_Xpg0{zB(dC4LXb%s1TYMn!P6p39Swbea3~RR^Y7N;kyY6v z7qLf>5EfJSRbNL5b2<-smYc-wQQ#3gXlz*hJ#V98GIoOCcQ^;h&%NQ6JH6js$1cjo zZWm>r%Joj;gi|m2!^1&H)gFv>z!aN=jfaON+@~h~dvGQzVm3Q! zf?1L<@O%4GBN@QhdkQZWIRrnC)6<6b(VZ@2>k(McKyS-0k>p|871=nj^9UH zA;}|#A9Z`$TwYRj{p8Xp7{igG;FQ-Gu8O($MdBc3K%IR|p~nTRyJmTd%r_kWE7@dn z`90^1ePyx7#5)*Ek5+=fk}kWu^b56?yIUZ>6o53ozsjU|igh@LXsM|QlR|u}wMbhU z=|5(F6BzR%OEqO`u_k+5pI%aZYsT_kjsEdp61JNmClUT$fhzbbLgxu1{YDBb;_%*d z#~GdV{YF%XMvnvl^zV@WM{d24C&+{*^d9(x*WcvjsluVLGFXin$rEG(7`S)$<6kx| z{oX$~A65yenPCg$hVfcHZ7l1tlb%;@?-e2c!=j1>sR( zzrb?7TZNe5qWo@dj1wBiQ1m!ZbFz`%5A~7yX$lQdQX-h86nf``PX1i7scLk&f2H}| zkgBIiwKr}@9pL0O{QFTJLaQ&bEe86rT?AE4o_*&61%CzfbkIMH_N0Dm*$V-pFC5Wa zel5K6&x&Qq-DE)aBpt*HA~iETK=5Bfvv<4S7=_DAnv!@Vc@UXd{#PboVdZB2pYm%) zd&_BS9NG6&W4h>jZ$NI2zhpCVEta#kv8p*SQO4*JxX>V?RgMa%z4h^#8(wKo90fdL zUA~gc9}I`TjB&}=Oo%o)e2^+3SY6u!WpmFYIQH!f{G8}cl7JBXh^-dtFqw!}&IQ$J zkeikY1~Vz2j6@X+W#Pa?ERf<*yb*v!8V-hB#e_uAiX|>iS&gopl&Kju@a{E?jYAKF z4SpTZ>9H!j!{hTR(iOb#KV^*M^Nb7`4xV06zyQV@0Dl#!RNyhp^$!s3F*_s< zd~?6kP;-|ALxPo#04_b?l0|{Fq)ZYZXboR`C_pR4#D7MHqKn#tF);)Vl)Vm)Q5y^& z9H4?SYh+M^MuIdbMyrXvCp@DEYXe0PbA<$VTX+a{xDUq7HQB;EKuVp#@uY|C#xKzC z_y$Dyrx=>SOVojb%^Q@HhzBsJqX2vMy84LzHbV^tOnrba2@|o$UnR`)-d_=%eTN)~ z*N9~im_N8N&IFGn;EBNcZ;Bx>McDCQ#34{v{dPc-C~2AqFNX-a0gQkU1rt<~nAE5O z8w*_{BAYUu@)2ToT(;79{$2W^q?${Voo4)@19VArex>Aa5gLy5uH#*Ap6m9Aj}fr zzPg(u*yoPa$v=)v2qUokUDi!ly8`eG8ywN9dt^AHymsyxjGL^~+h!;1706G5xTNzM zK|E(`bM4)IvaGtSbO(&iAl3AjJ=4wvX|6KPeFzEMeL4KDZ?$$`imut1jXbS#DYAdw z_RMx_=-OG0e|G5rag6E>(0%A;J#+FIyH6Bw(P!^ zYY1QIzWXzDLOvgtZfo@XtR_aSeEA6Vd2Sx*#m&_9Fs(5rN{ zW}*&K2NBD&W$+@dW~#YOQy?Leu8ziBi5rK$3e!#MCOuWAvv6Xfz$rKW{7H+l(%y@_ zuI*-=HGiKwcE1mB?KmO>kE5wIl`BI%tH=ksE=%&`&P!8z4bTFK^WoXRYU$yhh{ZIQ z|NP#z`7urW)&;1aimzO(m2K!ZwQbP)1O%!;u-Ohn;#aesg&!f2*rEK96)~o`Ep8xi zVjO8@Eo&-`znH^R6JVstQBLEL<+AR59~1l?kyn>M3I_Uyo;K-i@8s#xSaoaMlm%a8 z5?d9g<;U4V(kcp4^}>RT$7Xd? zi(!^Xzd%IHd)>i9fv#(%vD5Qv`AHPLaBd7=iR|h^TIOe6#-B@oC12Ikl#PKGhTZG; zA#X_E_iQMH*RYA1*_Iftv%>RQ)QTSay2ET&ur9e{gwD3lZ=hRDKatBWHaK^u?MV@J zOKaarApuyh;jU$Nn+iMI=>&aA#I5)PUb7Vyr02R3`wPuq(2F7MpAbC7y|9Sz$3VeO z=snr@*d~I9TY<)t=Nt>W>S5<8(?mmt+6W00eWm;JoixI!hOeS* zGq63oq|Tjk51LB2AWT+8cB@L@7{^qg%CIsPDvNAvgP*qf=wYbAbGh+xNf>56K6pTn zS;#rpK=unG8`D{e(Vf}EYN&8(MkgUm)emS6s&B#BHNl6V-P&etHQLg;I6!2MB5A=& zJ^&JZ!>gI~yy(`##tThJ^evWKJr!kj?X!r0h_9CjT3EKe6FA{sEaMAU*r(}l;S3FbC9-@}2q1R?7c6V3bFU_4{lsRHt2scH% z=C$0pAAAdVttgBpqN49&HN(uU12h$WCM5i9CRR7H0C!7WBtBDl$EQsZ(b9yjV4aq$hsX6z>WkiLDS0kDXlWw;pY z$97c*e@bw3_JoE^p2PK0t(Lgj4c;uPFK2;Sf(Fk(VO8F(MQJGf2YxEsLdB5&an4+k zCoF2YD@s<4rsM**$*m$(Judq1FX$tH@u3pCjRJR?Y-gZ%z*tD$Gs_n#x2n50cjnQ{ z`yObszYZ3{9?=GR_X<%g9stKHw{9$hLl_FJbCQ%B3XN-AEHh-%!L(j5$YZoq%0v;N zja*DG(xOoKb{(-BC62sp^rtwtzi<^#%!`Y*m;B%2LH~{%XbAh*1On=b!uahe1hn%? zkUQi=qPRHQiM#Pa5sP_|-5B2u_Ty7HOat|oP)NIMdYjdi&&$nbE!^DM3gQBfWd*RCYY)tkQh4c@Ygg2m7?cIwfo#$@H8I_-28xO2{Y?_696wV(Ac-yXeW>xc6`#}F(_tPVzQ<-)%w%k1H+JXY zw`r=hqxLu1^z>LR6|f>+y5Npqa%H2gr~gwfSaj+2WnK34=$-jFWDp~h2-r7}vvQ}c zHpL*^RCS`a-36^tr{?AM@ul;;R1PE}BRo6Tq_(K=VC4jM7E^%`8{2xlYjX4!i4my! zldtPlAl0Kpq2z=7a!;EY+^}6HyKr}lx2LYxPlFw^gILAF45(_DjOrbc(OZh*|5s_7 z2GTu-l`T<7fwTj5)xG`_H}-M8#mPOFC9XDZ`OXdsnj>Eq=_NNk8esE)sL3W(eweoi zmXUl&*xtYU*^x$Pnpeh7QxQ>|8@m9KC7y8-bJYJ1Gk7&m#&!{CAMv24GG!804k9^X ze;Zi}oRn~l0Jz=J%ID|7#@pzvbNH|NyZXh}gi(k3lk27Fv_~#l=n6)cl1q>Y?wxWWU}X~h6P=( z+rjZd8?|xepF?UJ*_5JHB&y0}nM+5&oOi$7M77`I-ORE+PFKI}Todf_eg@p~ z#nl3!6v=mGHBlxkZa=njTIO2br^Is`x+NWP)pibN^GyZ!; zuJ@j7hCNKW+9JpM+16j%{`DhI7nfc<+RT=N-5$HT z>roy5-GZ41Mp5yZpEBy_>al#;jiQcrVCm?>Qi%Ts*pz>=BGYn_dElg4AjX^E5v_eX z%)0J0Q&-lA6@RrTT&B`w07?PiG(BV`?kZAaca$}len{{e1|kT|0a1ud#L%d<4r=J{ zh3|9wR%%Dii{H}KsvfF*?N%y-KxZQp`j_3~_7^@q#R_GE^Y?`no1NMVTnPGWX0Evy zU2=nkmpWm*^+#_z<2#d3i)!D|Pt4dKv$^wr__eqc+1SrePy+oyZC;k3eSzJB?ey2be{{Xu%Opk+yA|>Qh%i3ND z8Yf(u`r;#wOlo?GHTL}N!nK>*u<%qXP-Krf64Tu*YKDwtxArL+a;EW7;WIx({XUFD zN);XJy`m=|QC>pihIPP;eot*wgMB?wi02os(N@+*SL z>YuB!s~&xu09@M+y4fe|T>xt9fYGYp_VDG*?3zOW^ms*(B417|WD9UDDoR={cZXYAp({CNg4P!SZhW z*7q6Z-&3B2Z#HKr1e;vnaed34&-~!}tmH`zWEdL-S9TkGjAB=rKI8M$iYjH-a*un@ zRV5|i7EexsC5xP-=yR62IB;&41b>T#^~D!yYSA7Rc$aAT>UsA}y}D=&n4L4#Y=f8? z^k`fbxgkpFVL4!HTcw$rUAv%CY-cgPZ;s!VYqmc})Ld9i(!3ssje@pvg@tyj`Oaz| zlfY-@j~+UDt=}h;(;|%#$2l;9OeuMXGmt}fus?g1i`wdoMf!PtKYr{DnD z(BB)Yq>KnnHWkPPO1Lm69xH5KOFL*xd_`>_MKlsY@B6SE;`Z1&JnOWd)=*dCFy6F~ zLA@#0)W~_E%Qbz)Q3sa}$Likyk8slQOd^G)BGTO{XdzP;$SjPmi`V5p0TLlao)b+V z%Zu&(j7Px4%Ee8=L=L9}NL4^iH}Tq4=TasX^~>4b;Bzy5p{W>RveCk*Epd{t=(VHNg@$7n#z7{ZZc0>YlFf?EXu**rnF=dwJOkbCl_m>Nf`+iu$S~YOvvU%gK*a_A!ASn2b+^mZ+WlH~KlAzyl$x6MiwvY(9V%t*($r3!<=y(J)@fT1b3dP0Jf!YgOF;)*N022yuMuOk%_e7zc zmDFHQq_)nzi8Uo_`)(kj0)7pl+Ef$O;J@v%aq#hQdzfrd#&@@|rqI|zXC`o`r9l1k zn64+^cpZb&iE{C1%ZZD31lz1HDl}}T(&W)^tnA$e(h}SE<_IHd8jKD!Gawr4lLOFT z)s{wd1&~U+MRa|DT+ZjZo&jIZ5Az^YXcAH1l!vVHTC!>eq=P@%q=Pr#kYt1s#q~ei z`M$tyJtUeXtG#nOz9J)KiWXmMlNoDq&~uN2H-r!Is#2VF1j>J)@CNkf&$SpHi$il1 zxIB~=O&ax2jD8PD$t4s(LHWI@9s|@!_T{v>RiO`PWX^0U5Wt4a7xMpN(F#Jxd-Aa( zHHmH5a{$#dgyrO5&x}ELgnVl#QqoQM*OJlj@dA)@bMOgp*fBCGps{i#3wRZJd(&DB zycjo3>CgH8n&b~xYu9B@_4ww6S;A|pn-J4sRU*xiu|>$+(2e=SgrSSyqXCqNJxsKt z@bfPifz(F8R6V@%1&TKB|Hd#^iq$-W#x^!zmcVhN`Bh9-&X&t1e9-(=w-Z?m!J>_v z{Cl>A#ACRE*8F40l5h8Ks;GEsq>B&AV*!DomeCv5Z1#N)5+|s3*Y)WhR+Zx(HhP_f z{;)Rh8r^v44$w!_r|0z4=MD?(HU(B)7v@) zBXUop(?S(37cWhL|56ZEj|gs9wB7`g0Q4^!XH(3u2D=12edF_l>M!t`ur^cH5qK!| zx1bbO?8$P@sX0~yGcmRlQ;JGj5(1JzTDb+Jh8doQeWQ~{6&M9B-#mbN-8wW)TJyag zaV$pKy~gw|(t?=HcobhpcN8BNi9c-vZ_PQ4X4YQllR17{E6r#SyDU9*u5m>E0^(PC zNI{@Bl8rHoI=IITCwJ}DGf0^Rkv(R;E|MgxtpjoU@0N5&`6e$E{0^9|Uh>5xT zQIc~oYHKf*Q7Bx#xOf4pivsL~{!zocS6E=Y zXMKgAsjp(qne^ux;w^u{8?VNah?^%?O9DBAxxlw);mb8ntA0}$e?E3^X(ZD94*%15c?W%G>1L6%K!P?PImd$V7(rSH`}h3wnw0+hB4L|9Z; z_4y5|yU*)m7z?=hF5Vt_F+9Tgy>&*Pw?hON^}Q7k+ztSx4hMhV|7S{I`;N3IwL(X1 z_T#a))9VpM8k~S&JE2X$RdHgm7!g)LBL};N4apbv>#&6vtJ;JH8~TM@p|H$*m5KmM z@eSp~uSBVzCwj{NP!KD#^WTLUg-kS#B4HqBY@Y*g+wj-E@tJIthMMPse!gKEs3uR?s`M;^z{c?k z5gZ@g!DaYa8H;slM+xj01>56ZiC{z->k3No4p; zl5kD|IVw0KW(zoz=`tML74H3uNiXh*w7)s^zJ?ENr^`xy?J+ZQc+w7Q1*o)jYT-P+ zovT&HSYX5AOI_}8Wr_0e|%-`VwiwSVG_$1nrnO;eSlU6u*HvIj#@o1#?c8W*$ZWuqj_u$)k z-OfNHfbem649)Y|mERd&OGH#o)wYC8`V5HAM&gWL7_jBBNtN z`w{Y>r%ZWEEHR3l%i_#F96L2l(=_&k#zjq*R#>`*5RfhK=@-UJ~ghCtt`k$Dv-!1BD*4 zOV3`E8Yf-NfeQfSlQXEA429<#DE&3@JknU{8aEkCG*I%r`)oU710BK`1+cctTRL0K z%Eg=%&vWm(>F5QQu(E0bBPgZrE`5MnT~pevIi2hXw+{?uhK#mHBt~B1 z>)~VL(`$TOWR?ZW1sZyRS}!@V8Z6dVce&4Y@};<5g2D9JCqgT!8t7BtFiJ8fZTH#}+i?A?)ofVCz@{rNnbO1vo-a=dxyRtBN zaRa~x{29(x$W+ArQE8!n8r!2RP^(MvGYiO~{j*g7jUm6^Lf5Xcbuo%+98c5cp>lll zqOHlrg*;k#HO+~|^xu_=f(6xInR9(c8m1PSqo z>^~DNr}A&XNqLK5d`FeLN?WPoCIcaYF{aqlIk?<7Vq$QXMUI~&Lkr3EFhiw0>`*{r z2vFl`?TfA%Tv&M z%%|xoAw(*BpaM;2$L>jUDUzsaBD=*!iKfcx%RfokTpz}LFXTM z8Vh+q794#J1!WF)YIatMM|1OKE;s-`q-z}e^F;id0uSVmRLf%>oo#t(7hb+EX@?t! zgG$|#ru@*}`=p01dX{|6e@UfC!Db7i)GjYnyhA~6_7m4ht`}2rb3YBID=DTz$GrSU zRrh8clurzbSC{XDE*u@J@pS~B2iw`Oy4)q=uv zsrWyyTg*Z^s7$J#Y6Om33L@)B_2<%KAj~EG{FS*nSzs3d0z*JTd^E^G2`3gq39-D3 z9hu$lkj_+7r2k72X*87}Fd)pVP1V|XqQLA;6FDgCNtN2@O?QhP#7Sd07)^dpx_C+d z7SY;nkbt)hk}RLl+x8rRRVdOnk$}X&EcdcvdjLO~mbEChY zZ?|G+yI|EL+t%Kd0+tA!B*YN_9C{FR$QFS;HoJ}x{QdlyO}b&Xg_XU|n^u!aQ>|VV zSA5!imQCs!W)M{gRms!})fir$C1UmOOeD0@p;c)TL-|AGy)vF?3FUPMEmSI++UJSh z(ii!><28S!HlD)(kSzC<=L$CbYOv{gem?g5C*!4jkM5` zjLdw#5j%uS=X@`Tk*bK$2(a97xe;s;8*hTL=M56 zZ-W6#Bw)HVG$O<7i*KC{n+Budy%a$8V-^gBBEEq|GE_b#wz7pm8j-=Mu=Zrq$Z^?; zWV3^i;4>qd!IdI)R0WDIYUrw!(l5x5+VUi0q>4BLY{cpX=x0_D=zI|g{?_S%!m!I= zFwOq2RP5T3fN~=25ZH=PhW4PsqR^aj82Z`w)WE<(N)i7Efq7D*y5xdVA$D2Yel<_I zVj=}7BqI~kAn_0!up+eQ5Q`EJiRFG=xWN`QXic5WWRC?s$>n)bNvskQLoCo5+7N24O2mU@^*Dcll!?#3(_zy~NjHqrcI%u>CZq`KJvXT&PE zXsE~uLyvZ(A8;>Y2^{h`R!&_TW~#n#wE z=%@;Q>d{g0c07g3c4Lp69hr5i9gsve9Ar+Dmu@#`AmwL>ht_UP6txOt-@j$B>qa|Z zCxGtj7^x1j7a76`fn9$1E7>qYaoqhRRNkI0 zfGXw%N~JUy*I6Lh0N=#C?bH~KI=1tBcX;-2j4xpQJi05WmkYH{0rC7bt?K^G?5R&g z7q0Wzz=PTZ{4hy@k2a4V&sxu&bv+Fsx8(NN`ad8d+}i1has3 zAZyncle;M>kbR{%P730YXPZ{wjWA&Wh`H^!5S=`OwY{H%@>OS3Ax8Oyxl@is|M>lU zb#(W(pQq*wv)Ukar4FH-igB^^sws2{-ctA+8iC?y2meZ*ltNtD8ovqv@if@7 zWPR$Bi^QKo0_w_{wkaY8skmN3=!U>4f?So&B0Q}D7d1375i02_D}rbz`MZ}dmwK;0 z>jZw(g6`hWm>in@n1t~xKInj<$-b37Ux5$3*O%k#nd|rRuT`e4l)YgR`REeSVao+ET41S{WY;*{m(K0{Eld#!@3lke2EMXWNvvTS;T>6GWHW6^Jij8CP3;`CxCO zfQxH=qroewdAVwlWM9JR@1h+_1rdrpL``6a;J90v?;m}4-s8QOP>ro)NxIGb_O0_3 z5o*%r{!(>lT;C^Q+xnAwaj{Hc$jB1PdzoSvobi@o{9z7E{M07ZbyB;55gHqdnt=AI zN;dQx{=weed93ENgN-PFM%kQu>||2Uw&-46^J~_TE6rW18;JV>83Eku;hx*N{j0>W zygifAo@#*azifBNo``_2BJXww6WE3er2(Z2JsJY$8wOg2g&xi|fLL{4|uADCIT)`)E0mAhMCa`_j)S zI~!tnGDS^@?z1^$o}>u)(k0tQM!+TXH*WRYfC&CY=ZORSM#_t4G>&~@{a*pbX z`^Ba4JnfupE$c+O_9RKyURucOece5m3;)wAT35VyIjA%rQ8n!~%rcp%S8j7p^%KYA6gMS#KqRbdZZKpZI4uDPRZ-ish*OOh6}WE zbQqWmVoR_t2zBOg2VT*izf`ku`O>|H|JU_1?Qsisk1*D5bF074Be{-R*cBHq@ps@2 z-eC#1+C_+u_W@=-;6uJ`Dzq?T_~bHy!zk%QuzvNbkbmOdUTwe`J0s0Ws7%a zyaqW}V<@V;kkCuB9i%7lgsqSkSErl16!GI?nuMgHmfwPWk$V&0a9 z4<~)7w5j9~T=kX}>@2t|1AbaRym!4$4HzA4R@0yYp+d*&>Mi5v*}7Sr=+g1rJjD** zDvkke_DJ`v@^+`l%G)J+meXAL@J$IxkuL1HRPAB{s=-pM7T8lRP*u)3xiz0tJu1*y za>m+0Xo6`Kjs75L!KDK<19ugsBUoxRfNG2T$l& z)0+fsN+*NiJCCGP3((7GZ-olfko)1T2Hi%xOvR*XW&V_CkWD!4MmPSP=OMH5;x=LC zG-%t$3bQS#=O>pWmbeY7C0+T<73d7j#BOtJG9LW(#s>9nV{X9w zEVTMER)nPd_aj^+yZ9|C1uK~hgK@EACVi4?>fHm4g;dFeiWPJ1!R{5ql=tT9m1s@m zHII~DOmr1BCPADYg~?yb88olOE$%^+^=kNupy!!4{yGmmY=-+-wNrHG*}2rq)V0=@ z31cP(0@{>G%BsCGO^zr*oLwxvl@-93oC~4nvDD_$*uQF=lHokYk5iWC~gp=TE5zyzuQk^YE8_IG*^7Ch4X+bZP!R> zY2ui&jl}lc$qe~%D?Ly&tL899g%Z;~y!9Goc}45<2?|pJ<`jtpOBI7aYt@e8Pk$fG z8!$s85(Di>^m!gUdTbk0Y2`s=bGV{bzrf4F8{py9<*5Bkk6ECemaT0~UMd9sqRm#*V zf(~%QSt36dLyiZ*FS5FLrIn~u=`8&L_aE(~Oje!G8KZOi-CH|lXrI|u4(X!WdJI)T zBg76GqO_RN#0Wuet7m%C=<&^49qDs=zDa+0hXE#HVoYGb93i|2 z{5p#a&)!7Xtzbe|d}jIEXBGo!c9#svU(=OK%roWXAOo{5n#`f?{@XlKh(dT{&`5f4 z$%n#(g1%nkj&kBmMRuM|kF9xDrHf^nI4xpysq4MND@j>rNGmR5fh|uxd4XMWtJua! z*7QW2){S1ZGP-LTd67+)dO4HI=Cr8SRJ-Rjh$nxOwaLw8x=~;2w0n{+$GV_1 zsW20rm`4%Y{?qH2E#y5<`CQI=wG$0F)J*BS(>t29)K-_91Hk*Wz4dsFslLl!>%~K- z_;dB}885kt9)}jf^D#{*eB̂vU+1J)rcd(~p^SJ{=OVf>*(epPn)bd^vX7Ix@X zx3zJu|8fB`loxY(secydqkSNM6TBY8T)Qc{dHf@O75=w@GB>=;NFVPmVvN<1EOx}% zk>o#b_+F-Y1kiC74*Mqx@jzKOqKc7I!&Tp9#J-TSR$L!$IHtYemA&UX+ zm!D4D+mSJqgb|(H2<5$&5AyGawUI|3Y`RRThKTbia~1g8(Z+pN-fJSz3JkCn3emST zYDb?fRDI+w(jGyu`?v@%@-JE$(k7#`$R|@fe&bQ63LpUf<9SWoO$D(lD2lH3ex<&4 z?XLJHX3KeY|MZGLuYXgqDe6tU8^eBB=brYe zce?|Bt^ViHuF zv!q7h%_I0__>U|2?`LqxN>)vEh2jU-v&=WcDnL`ua#z>-s08Bh&`jMQCp-6}o#DQVeS=wy%!!7f#{aW(bn%8#;?ZiL5Ka_ z7mz96e$vl@;{F)DJ$0K)kb@`ai7={H`=aEAa-Fh~80NI!b;(n6rd6L;V;1@M+PXUC zPZwa|kBwi3g8FG#H%waUo^G@?MDxZ0HX}ni`D2F$p2z#k^S}~o;=@!*FRDl=yjDyy zeP?KNNp=$Rwt{JOvRC`5F8#j7UCMQ+3Ba7C2GD2wsxJF-sPR{apR8HMes#Ki)kQ;g zu}^=`%QZOp%HI65Y|JI|-t~RSoEvI1@rM&sGV3w}rm_^I^0o}4RlCDw&VGMr%(?rl zj%%mvdv>pIt8Z9$8<7yn_2bEMk+|^s8@X`ja@=c-0oD2<1L%l3mp-eTbtQLhe37*nN zox|n$qbQbYP-&X}}4KKCmulG4YahVm|Gru0s` z_yjO>$bRE|gJ45Ub8G@Z17=POZ2}1bXJ=w&VNFA51|j&rkhvKoBh5P&1TINa5($Up zKSf8v(#hF{h=rB;f5jbUCMM4R5qCl~WbOY+!1dnNr5o$^>m@v*A%Vf8JT0LiPFIZ0v}!vJe*vVcHc${2>w!XLB!=fy@O1s-cF_ycI#wW<51 zU>3k!lL^@aWHqjoRKS^@hNLRWGycB-{sjU0z(@b@AZGodG}5eTWH!x+%n^{dAhEpA zHH3K<87F}ka+AU`RQOuP#c-7vV~HW`7BdavsxZPf63T!j+Dw{NZm<{9gmUNDf50j? z$ZVPs2^qOzmHU#~HrzA_#fDI9jK=vondj3u=POMdqiOzFJ$rh-UcGPcuKygWZnzS9 ztRY_A)q}q&e!i`azQdxhSHkJoAoKEb&U1xQ(yf(I2=)pcVn*?w_lts(-1Q zs-O74w8eq{pCfUhK9HR*cGkZ8>d6P}DnC;GJPI%Lmvlo_vtmllx)Z)e+s_9nw8Q;nxEy;kXVVJOC!gvNa-=V!X`#8RJd)*`YH&@>YrL z%)@2ulo~N(r~GI(c#m_OM4xj%`6aWG=d2{Nk}hMX0_yCgoMucRe=CLQ(2BD@IGvux z)A@9rUOG5WD^Byd^(U7d|G9$3IfI<9YQE|pjOS(I^P3K}y+~{$$$Q^ZEPpYChoSMP z{;nFTr}nU$j`^oAgXIVxoK?nM~*f8oB}@e>O8+3NKS>dSxIoHZuw@S0Gz4ATuB_T?#K! zZ*O!UGBz+EFd$M2FG+4@Zy+)@F(5D?QVK6gL?Bx{MmRPwH$pN*IW#atMl>)(Ff%nd zML0GxF*7wZHbOErJ|H|sI5sdhLNY`-G%!R)G%!OjGc`FyI5sjdGc`0eLNYZz4P6Q^ zOl59obZ8(pGdGu!jshu{@VWvBf7d!3dfifwmeQBE)}uu|ih5l|(RX`$DOyF+L`X=Q zbS@$o7#JCRLj$v$82Kms0b*dp)MQVE^IMZ&zPrxZ>+HS0Z(lRBf0>ysg9^A(AUC&x zmxgL9kk+FdWT2f|BWe{`4LYcmQ8`!x4pLi(S_>M$A!;R5Af8^J7Ehx=e{^O;DVD{@ zHvsmRqH`122(D3!Pi_L6!8oE3gv!*!tcCdqyEP#11 z2kwIh;2wAcVh6jy9 zR!mYX%a4KMpdXw7C&4Lje;N#cGvF*Z2g2z-x8_%|4LaxNY5EX#5nSRYN*qSR41U=mD$Sx^JFLCgw2 z^1A>l^6-dUDUwrl>-`Z;aVuX0akj9GWr`Yx<_n&!^u&nCqzIu%f1QY#2$x8XNR9}N z2#6veToQ3B)Csx(X;L2uLmS*G!_l6Uh@gvPiztiOim-~XieQQxC4!k^8Oae&3zLPv z!dl^~!l+)i@z!`5e?=lh7(@<41cdt<0{9^&DXx%kMmQs!5zYt)H3CN6s2`>{~CcI4Xhu7}e+j8-Z_jUUZzSW^V3T19&b98cLmyf*y6$~~vH90v7B_%~q FMhaN~+A075 diff --git a/doc/expose/expose.tex b/doc/expose/expose.tex index 0afb111..15cdf16 100644 --- a/doc/expose/expose.tex +++ b/doc/expose/expose.tex @@ -3,8 +3,10 @@ \usepackage[utf8]{inputenc} \usepackage[style=numeric, sorting=nyt]{biblatex} +\usepackage{caption} \usepackage[acronym, nomain]{glossaries} \usepackage{hyperref} +\usepackage{pgfgantt} \usepackage{todonotes} % Suppress notes exported from Mendeley in bibliography @@ -224,6 +226,33 @@ I will observe network and rank scaling behavior to further improve my implement \section{Timeline} +The timeline for this work is sketched in \autoref{fig:timeline}. +Using the findings from my research, I will develop a suitable \acrshort{ecm} model. +Starting the implementation early, I will use an explorative programming approach to confirm that the developed model can be in fact implemented in \acrshort{nastja}. +As soon as the model is develop, I will prepare a test setup for benchmarking. +This makes it possible evaluate and quickly iterate different approaches. +During this time I can also get started documenting the theoretical model and the implementation approaches. + +\begin{figure}[h] +\begin{ganttchart}[ + time slot format=isodate, + % Experimentally confirmed + y unit title=0.5cm, + y unit chart=0.8cm, + title height=1, + expand chart=\textwidth +]{2023-06-01}{2023-12-31} + \gantttitlecalendar{year, month} \\ + \ganttbar{Research}{2023-06-01}{2023-07-31} \\ + \ganttbar{Modeling}{2023-07-01}{2023-08-14} \\ + \ganttbar{Implementation}{2023-07-15}{2023-10-31} \\ + \ganttbar{Evaluation}{2023-08-15}{2023-11-30} \\ + \ganttbar{Writing}{2023-08-15}{2023-12-31} +\end{ganttchart} +\caption{Gantt chart of the project timeline}% +\label{fig:timeline} +\end{figure} + \newpage \begin{refcontext}[sorting=nyt]