From c6ef5edfb6c18f0a059bec2559fc6cd442cffdeb Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Sat, 6 Apr 2024 15:57:26 +0200 Subject: [PATCH] Added experiences --- assets/media/fau.png | Bin 0 -> 7581 bytes assets/media/leicester.jpg | Bin 0 -> 53893 bytes content/_index.md | 42 +++++++++++++++++- .../{project => projects}/algprog/index.md | 0 content/{project => projects}/ba/index.md | 0 content/{project => projects}/lambda/index.md | 0 content/{project => projects}/nixos/index.md | 0 content/{project => projects}/pcf/index.md | 0 .../{project => projects}/resolution/index.md | 0 9 files changed, 41 insertions(+), 1 deletion(-) create mode 100644 assets/media/fau.png create mode 100644 assets/media/leicester.jpg rename content/{project => projects}/algprog/index.md (100%) rename content/{project => projects}/ba/index.md (100%) rename content/{project => projects}/lambda/index.md (100%) rename content/{project => projects}/nixos/index.md (100%) rename content/{project => projects}/pcf/index.md (100%) rename content/{project => projects}/resolution/index.md (100%) diff --git a/assets/media/fau.png b/assets/media/fau.png new file mode 100644 index 0000000000000000000000000000000000000000..b47a5f1b35b48af5cd9f4e39faf4ecb95316182f GIT binary patch literal 7581 zcmeHLhf`Dgv&V{3^hSe#M8KfZiS!PZU=S3fchDe3S|Iciuv{?&2%=O8pg@S!i1e-! z0!WkIiH0Twh_ukj3-`@^znS+hyqCmj{kD~UuQRp7p9Ma1z0YjIY;!`}+4SD;54D6E!txS@-l%GVqBV5yj&D}ei$duFM_9-E z{|_76CunaWv(#DqCdn5n3FAbkwO$Z=92S7IMxHLX|1@JCWm*a3fLbTFCm-_}Tt~ zXs>Y#MnL}^My4vyN}ejpywXHGui^3;|7OBt44PYwC*M#u*BGxts46t(#sqo#u8$`F zwtf)v0cf3VW6!HfPV7`nv;WX? zQ#SIMoI;JiQ%=zKs_M$e&{;m#JFAX2grzEOf3^&MdBXNR+}TbH3>&qG-b?wb2T|R+ zZ&mVSq9#NmV<-nblR&uL)UEcb(17&!Jq$X**_el%H(o9`Wa4MCJSdXb;7~j9d*S|n zn)>POyN9LtopfKkx!@%_yj`3b?$XT|tAEo6W-IlVuX;u(H$;bZ(4E5S zK;{W?>XrDEw1la2AM}ZbProYAZUIy`!i$mw8l|D@OrZDduj+6G#f6BsA=})~mCm{o zJ!Fy-aqpTYc3pB`>17HnIn!w8Hg|I|TeaqztfCT}sq~F&|5o+O)3gl$diLFY;>Q`X zxRaMHq-TPqYc>SRWTtQQ--$SwF387%GGow8;nH@et(88? zYZ3Z|sHP5P|E^o1&F1sr>QajVC4<0=E_c3HCTq&DSSl3lT4)Q{$Gl5YD5@5tXg)LV4 zo9ESqM@U?k2iAV~+@WJeiSslLBH44G1yV)5S6~lW@O%wtRq}GVxx?C9fKNzNz;?xW ztB_QC*Q_ob?N3{f;|4man3jkQ#M+2s)CqyHOiyT7$(7o@@n7{2P~sDobDxdkAVwD< zZg?4ss8p9+*4`qKR?Lg;l{aVdFxX;9bFmMgGbp8rwzt((T)Td0a0@ zOjXc5Q+0KL1@6wf_k25(9P|KA*2UhTF5O$NzT;p;Jw+}v)(776>{RQ`LPoJb5|0xQM;u*4eRAI{Br! zw;SWKdiAO#$tY(%hFHJY&)Bz0nDev+#M>*C?Yy&S(^XjoI%2+qe3e>=gR}cd()lVEWi6aDXd3Y zIzNYZ$h~pf*ziFMu(SIS=WHJe^wi6PF`vt%V7TGMSR6#26^Va<3ff-6kI_PE9E*ie z$kj;1G@4y+Kzyd=7>LzQAXdJJap*q1im^=k;wYm!*u2u%E+3m<9#=RKmd|yfImPMy z$HZlF5xP|C|^@xlaEPmpU-x3v9$(tGwu)RYKHNh=VY8|0I-xdm{wjtAH@%q%glI+J)Vr0_? zM0MX_Xn%Xfm~RMe&?A5{9)%9o8=Q4aOW#MlDfzU{Vy&z`ek&o#QEiij!GY*v8Lida zXlf(*!PE=<=)8f9+NQ@?sAZZ;z>a50M3q^7fRN&ZjG40L&TvLhSCnYdfv{?Jx$?Cb z9*Ux(=IXpHQ$MFWngku|T6HWb+*#nR*#gVh$=+94a6lBj1(__OyW zG!JH~!vY3jX-F)mNN*bcMEhOo8STZ0myk$gzNh%aQYyFcowLDZe04=E%tuYhMwW9rwBWmqepohq^^od*roi-H-+(ic>FPx2qp zR{;EVbStAN^e}mo3Osp!h$##@XyVU8kv3TRkiBpmx!MkelqKW%WvNF{V~kw!O>T^A zLiI(6_1D4~Y8Sc{AFVqbTjFJB=k*lMrSGROt$xA1ZT3FchW@{K8ag&Hv|IU{J@-aGuSMj45S*hh5e?SD}pg6US zCWHYwNInX(E^?;9tqz~%)-NGYbKS|0-=xAV_>Y-ZnX(QgwOSZts1elO(HmwZGeakf zH@m-^^9axLU@_nYm%-%Z<;w9cS@}Sn(-blf!02V*4VFB5k*7RfK)3pg7z^$*h3;AL zA4?P|iZgTM7C*MHy!$M1?Uix=wU=nUZj1;+X2VUj97Lz%*Q4af?mDQQ929`5aa}#3 zmokSga_VlHkJJH&-zZ(dYxGH?8gso4K6f4ew@vuGpA0hjC(6K)7w=!rdZSj2u5H;A z>_J)j53Cg3p^@YwiIa;{sl}3@0{FrlRyeF#ar|$Bt(h=K4lZK+0Uo?gr1)XSt z3(4VZ^>$fUw2d2U&%ic`W^QE}kmfF>u*WD6?9Fnji0ez}`2P@NyRigz4;k5KG|mH9 zdK394;g`#$M)PYoBgDv3Fx7!*k;aEj)7-mRIfyAWKAmV7tMr^W9+-wgdFZYMyQ9nZ zYH!j_gsl(5zdOl@Rpg@_4=<)1wUmrpMx$+eb(Lyjm&dLESz;7X51%)G5^~MtEqzxH zx_3XSXqfz@SRW zh=8iYbC#cP>bL#*uP&kN-jv?-nKPdMv{FajV=j-cX)-l$jV3F7baKi<9xu(B%s-uuoXBv$vN4NZq)-$ChXv<$mOuX|)TJ2_o zwwv+kAl_y}9n#jDaF-mE>P&=GXn5{u3{P4{RvIQidVr;NCcM08|63!&eErslxe4K) z`-|G=<xvUc4tMgCA4V!-v4i!1ruic0q;wi}3T zxEGGyqwY*k2@FLdR2>Onep{ayV}>6pD%GikUP&+&ha94YC6sB!98nyiSTR69PhAQH z5MU%a2~2!#w%%I`PSl1)ca@bah%eMrx3Z4zTMJ>PX2Wjfjs;sw68SLb%G1X={jA;n z+G&3u0Xm*(`csN^5C9O+$2l{W@GOn$TleO5q}0vr{-FL~iC^nT0%t zY776flh70HWC)3{#@Mlf#9bcGa}B`|vFV(~OC{G6absnrp#X_VLG=1=|Nv@VYv7QXu*$?D0vy5~S-!Qp8Zp;{zJU%ejemnagCd zoA`i|xme>|dK_j&uAI6^%eWLjggy?_lh&aOsv5)#=Kr`6PW~}kM6@-iz8=QxAH~$g z?L5>Poc+gRpokX{cY9o(P5*(vOl+bB*M^fx`FfjP`bXe)eY+&jYG{5x&cG`|Pu3Yr z@EW=5hAlIBCweKuUR$Yuq!m|y%HC_RqNlOu5y1S?(XUVW z-bIn|`>C&iLPTqCBamM1?tW8>jiNHS^*C(zLF06)@!0Wj1=ysiF zNA$lZpJnX;MhKo0R$oum=PPP%)Fy842Mt)d=l0Ypg2StjghU-{?*nmid)sJ6aMgg^`TF zUw_`mu8lb^B{sdPP0wrd%)|njmYsafOqli;7HaW_hb=JBdt^+;^?e z^BmMUd%#JUt3LHrm~XjXCe}1e9PE|nN(mc}=lWMNu(4ftcv8W1EuP#7Eq|kZHc3Ql zB9+gf6sKNQ9nC4CTVy7K*v z%S`1vIRaNtMZYOf9SpqILjT=Tak125z77n-Jy?CQlj4*q6+g*;mEJ;^KxX)DbyKH? zv@f_EV##N0PA-EhlO4;e6pUn*WHi!-?x$>b~e#DR!aF?-ThWMGk zTDUb{kSS!8nk=-}m>RXxI9TvXV`FFPJD1W*A9a1Z)Pm%KhjTYQ8vQ?THZ)0jrH{%V%QKMuA|yzJRiMBsJ9AtwSo4`fxUbwS+K383y?j<;M3&6Jyar zMYn8_r0k_U9%m)rXmfwoq%q3(s;bS;zI4iNDk2SBoGi5dD5=!nZ58EU6qEWk%bIq9 z0@%d*Z!Cb${I(8L*x6Da1O!;SFDasG=RTkoTX(@!`s34_nS9f`>O|Fr7tzQ?4#bI~ zi|%+Juf^P{)^JEhcHYET<2$h6$Bw&B#fZf*asc-J5OT>5AS+^G`4lDIOy(1?N!XPG zPI0(ZjLywrG`fJQxw+X@`oym6r#hx{#{ON1C{Cr#B|tN)9V6mJ_CHHKI#RursUBJp z5l~V=ii;v2Zm1esP!G0ASm{$z5r4qwT3^AY#`U&>RtS z%EC^iKW3{(48xgBUBJO@6~!&)WflxId|F~Dy?LCvFYcgR%6n@V*oMq1gT){*@Z?2+ zCVx{OURQdxrpr!U&>jOZiIL0+UQSAek>V^|0|G1U?NYjmJu{;@G|6wXt2D^u9W8tR zYh>*Vk>a|M>$wZC0SIK4z^I4hXuZZk6vjNpsdxwb9de2v+d)rb#{=} z%Of!jXVf-YeRTXs&-0SRPL*l%94A@;`7Ors`;^yia3|?jmbG@E>eo<&Zz;l1WT^csOsf6Oa23A=5R2sB@XQKQvsD^SG~{K1}3TOM=NML)`2)qM{a_+A}qvyPd`9-=X1akbp5kUt)h zXPSl_&voQ|a;K6;hTze!B>bNPN>ahKEmUyZO-|PYmrN z^!W{-JX3Gnw0g84V1wepuYLRHHEV+~=zP0;`w`pHc^(*2NbT?t^0Egztv)xQJ8z@} zPG!ad-AB)lLHO54KEZ8Yelwd6G|krpoULF{R#t{x$AVdHIkM$uzcSaiaKA$&onDT^ zgBk^8?1aQAF`&jD^D%XWr7mGv9_mECegg9yBkg?m_v20Bnrl5BR#RG_|6 zhvbdFXx6`PUk8+L1DT~=%IwwH{`;AlEQ*R1XdK8GZcv<=)E8N0=b6#@K7(#C#yTJZ z+##-p9+ZoLadc_lP~epDwMY5GcKs`#QnN==h*=DXua9g=fU!_I`7|y8V>w0!bz>|)}h69L5 zv$lDm)qf9tg8k`Z+A9YUtSw$+uE`h^hwE(y_*CA*Rf56GUE+4*se-{@*GXH9D%9?I zGq;Dgg_0K+^8{(W&7=L29LXP({hZ?w(Yh8EPe3%K8bmaj0{UG)j`DR;gS$W%4_B#g ztQS1dy7Vr9sNQ!g%{SnPE69}(`IMg{Dx@R3UxDROa>_D2twC-A^QmN}{0{Nvq; z)Y^c(L|K>9MCdfN5vHJJk+&9|&|sUpuenv)F~~QuKIyD5X&J3z;Cv9R6+1bk-Y3aO l*oc(+51{;?|MgIKKjIz=Tc8MGLmVdKu8sk;_}0Vc{{@fUIyC?Q literal 0 HcmV?d00001 diff --git a/assets/media/leicester.jpg b/assets/media/leicester.jpg new file mode 100644 index 0000000000000000000000000000000000000000..1f640431699ec20f561ca91fb37c9b0c38e1d243 GIT binary patch literal 53893 zcmd?R1yq&W)-b&3lJ4&A?rxCoknU~-1f)S4q(Qp78`L!oa|yAt1g$!bHQu!bHQsz`-Xc#K9%S!@wY-BO;}sq^6<9CZuPgr(z;?t<%Mbtn0tyBJ3I1ad@B-KmiUfuP>`E-vwwlX&`ELUMr2+@x^9glI zy>8}h@_&K&cQ*#?qd#Rqxn(H`vtg4uV_lt$7Ai_2GPU9V(FeQNHx|`uPdfB_a0NN- zDRoez8SiX;ONX$3%k_5^wBZaEqeMn=|4xIj1E3{7zSOR)qdj3j=0oF+VwW48kkv4D zQSP0P#T2J|g;xE4rpnONP-_p7tS?oddk~NIcRB?1HRxJp05q)rPKRH8?CEJ*8MetL zd;e7>rl#59NR=$u6QQ3Ng5LBi&RbcXzNGViQU$y8)NSAE754cqS@*LSq-=X}+Oq?b-F{LiSX*SFAE)Fm-=EKkBI6hdEo3j~LnJqbR= znEW1o007&AT{(lbBkgt10uDSCD2bym+p7tP%XN^8AiJALPUNoE@uz`*#02zXVdVGT z10N>>$m4V@iR#ZOQ;y9|yyq4mUbX}W)~4RBtD=SSPV~0>Z&jF z>GT`-h)a`tHb1#pz|wQvTc;ILyhY-UAB=XfWLxd~{F1)7Z10{k-TV`9%J4Ah{xi|Q z*1AtH;AI#*9|m-~z?i3E_X~7;K^EiVja=}PCKb5+8qzA!`J5-OaK5_ZsrUI zzl?zTLz7M))R^9D#v1I2+UPXbJx6gI)_M-ND~ZN*nu@A;q3 z=W`+(wf1d9+F?xIA-he06cEX{TdB#8H)j+*$V{WSeaY^ z$xW|aPPq}Himy)+0Ady|yjdQ;>Zk)C2t4^wMc%A~z(<_kcyp$Mw#EPekhSsFtmU;Y z(l=9_3tlSs?pJ9XBlELc%W1-dt6c?o=XX(H;w(6pxPZJW0sz3jfAX_UoEQi{cnd}o zzZcWr-u@z$2wf*Z?xam$3_zGHpZQ+p4f@jC zf2tzJyUtvKtF5nt1A}4NXBquDU=20>Q>TaIN0jt;KJtXqlG7$51|!}MKPN1J;eE#y z{HN}-`1i4>lKo?r1j%slyw`-Xoz!!9=~cJs`ufNMN@>gy%-^!AfI+M^Sf4Vx5G?Qb zvU!Sv+UQb~_6qt#YJEW&cyGzQNXO&`DqN&Z(+m%w0vKcxn? z7~_3HqkWjBsJ>nIh5!QuSpHeU0RSEa1$`Mu*ynj4LF7Px0KoX;(_t>22toD1wHwr} zG?rm{3iLir4FDiZf8BT{T25s7?9$~2Ad-;{ajie=X#i(Tu57GfgvI%t=~xQ0EN0Fp z{VK7`nR0dm3VMx2^s6N3WL<01zT$BRw3EE{mk{=hq%RrW9Dkkd#AMKEus)`4Bnh#)?CL7 zo4c1~?`3j+_=G{_Jc*~(Y-$xMM(GLcy=>r12KJgQ)qT)bMIbo6nvSdZZj-JDNqO<- zI-5Q7Xq%6NzZO+OEQW9XQ*NtOulDaTCxNg402&aWkNMKGjWVO;jpj*3v2Dd--s6L( z5OC}tt$qM9(l0Ogkf^tUWeTruYT>=I;Z zpQEXm(sSA#L99ksdlUWagCtxdSLvNOeSOs` z*^%hylDk&glofgf9Q#K(8LBg=I=m&E8K=M0Wq8s)Ys?j|)3IWz&SdZHPd0yJZ$Qz` zQX+nI_B;lpN9Ol@=vuOKNUriX*LP68vWb?Ib99(Yj^kdp4e2>eA{stS?W~u}RIZ z(>25G*X0G5EDGjU%1ttTtbC3<2(u@8ubuSX&-0#a^x)dRV-9Zogze0}OT&-8Ac#Pr zW3p?=Aajqk8q+Lw8w@yyY(e_pKX9*ulyJ$PM!r+cRLrWZ=)e6a2z45- z-89Wp4kxkW94MxQJVfi248>Q@Xes_Lehx3rB>I(x>vdaPSB*G?0JBcEX08o}@#!iI zE`#qh+kc)aOG<5vL6|K&&F>%>keTMk7Q&`{(3b$vBu?Izxr_blsD;Y(^_N49&?wDmU;Q*WW!}S*|(`L?YJ$Ae&>4RZ26k zxp!FhWReSh=Il)qOHW82@Sdyq_#?C`@wO`4d(?tmCXLrWr|jQ8IO+6V8{RYKDKg$h z^f0w!l$0-0SToL_?PtbXeLu#!iq}zqT}ZL4e|OK~DE}+3{-lGDW(`kXJp4HX-L9iH z9Kv3o0%37;i$Sq@CU<2B`|ZDZfligGe8JoWT_qgxl^dp4tk)KBtWaO^2+ouX%ZHn= zE^!q*s{Fk8>gwm=cwFMvxBAh#Xx4@%9%G*tL0<)$Byj9RR3EG?kk2m?2o^29~W6yj24+Xl0gYMD{Jnx z@=9AWx5Fh%G%7k6G15H*=)=c*|T4*|H4G9OzVapQyd-yZA)P< zD71peb}6)0Yg8<<1GLLj!r6r&QUUgHj`P5$G~VgARlqSjqrxd*C>`Jc#gB8&6v!b!29 zewm{pn@1oAz+RA|o!PLn!!1fWNOm}z;>{yJVBQ55U4sU#nfn*%U(bna?N({WDKHji zt988I0VxS7#75AuA5BwGUPc%_>S&AGM8(nvIv;ThFcf~}7ka{OQ#w`Invjs!+B+Ca zXI$@I1b++cb#uJS_4M)C*#rvKD5ED(L^=!X1t99vi|-~Su{dS3E1K7atI{j6q|xW~ z8vyr0P#h|ia|Nuip8R}$rR4F4s-0C~ij_s9Z|P_7yfs;#uv;hT?HP(#&Z7jzT&w&- zYGIx_ufHB^IAg#5$kLMU-x*#Gl?ChrF*lBz=oEBv%I3oJ=8ot`HkM=Mvo+LoAxSr>0sT>Y!Gs+7+to97-`h;CP>)mVj#0tR0 z+b6h@Z#GxBo@{~r128Q=6p)_(al5}^4EDb2GSHjnNq5KzMyb~AZT~m7k-Un-XWu{w z#(}6fkiL~;9UoborLYglJe{kf%YdEuq4)CwWT&GLZJ<;;V?Ga+Ldl*U`^+pX`M-`R z0ML9}QY;-B_oA1c2Py7i@*PpJ`5&VPIBxFl&%lBF6r}(lX0r~qlZ%K--U8gT~y}Vj|SCmMO=*VbDat$V{m;qs+I*6 zdcpv%+ZQ|&9mtUd*-om+GleFPjyzid9Z6sTBum`1U%IA{E)Rqa09GERQExog2ZyPy zqclGU34CY%_7RBMj$;~saZO2p8kLkPFT8cw1&k=N*t1IS>$Oz4*HBa=zQ#a)C?O3A zXD70OKljT|ETIz3i*8;TA4s*1BeZi;9)`^+)u=Y%-3ol#BWOdmD%m>li-9^_U)*77 z=DkR2VP}l%_yN$zwb%8u*f;_J2pR=A<6CZnTof|hf-1U}^wrV!KLRwTcV-{GD@TIb zj6?56zQ48?O2*&&l5sKj7sdd7AGJ!o=%u&*#kTxd z!E&*IOrwd!OVUj1!GnoD=xes+;gh}9;@ea5HWuU^x2zZd$U>h)w96+R+tO(kdj+0* zkOR+eR#RKi^_aWUo=?Cub$Er~x~>;(t|ZA`LjW1rs`+{bYtY68N68fu>K7|8&` zQ4=gYoG1Axf>8*u^;iLZI^T~7IQ}0cA|9KPpgnyxX4CNghJjPp%&B2=`4PQ}ko$XJ z#0}zZXVO&eIx^7tgzehS!@3jR*xVm8xz72mn9-Lsj<)NCTwE=Y`JBoBHHZF68*Fc1 z(Q1ibdnT*nJG~+=8(;S!rK!pnv?}t?>~W7FW30lfSPx_s-W zF4o}QzvmhF@llXYxe<10c)I-UU#b34Cvh&f?=mJ-5L(P;N)He_YS)7Q-jIn*im>G6TE^DW4=Q`p;a zua46HCjT!IP>2pA8yueXrNUk}+PUKw3Drxb76&B%D^^d42-?)lTW=6He%A{M_@09i zcufcf3I+uZ`p4T2Fi>y^00<-!5h^+c6C1k_G71_Cu>qMP2`Mux@Z|?I@WluS1ZWSw z!jYo457D8ocEHgYl*-*Sp?)Y&=4{s8gYfhoEJ*r&bGhAaeQWCM7i*pWZ&o>$g(jfp zHW3Q>_@}?;hh7SQy9p@%jOZ#@Y{ZZBWE$u06@^31Xt5{Dq<_6uNxOK}Do@1k2yzsP zs4L{T2{wmB(De3O4^+kfn>r8ahcfCuBk%uo`v-zU=aiGoe8bg+52XLL#vbdEpiFmr zEuUl#Vr37${A;h`G4lqWgb**Y*MFKL{j<&26MLNmOl-ld`gS{2U6Ze0Pi_8_@&`OT zs{zZKo#o7N;Xa0)%qX?Njg8-V@nPKT~vb-jVf$yR&w(@CO z)YGL}(hiZaw>Rz$=6`ygd*o{Db>+T}6B*+d-)+gY#UFrJl1k?a86Q*wyugyiO!t9h}d&$kB<9AWR$A`=KZjObROsvg&0W$**_k7M;i{mpg%OXTT z4J)rP`A4=V!22ga!H9nYKKJJ~v@A_(cMD6ZAG}|II#B=vwlLC~1hFu59|h4niXk3H;1to)$k+)LE1xg@1@f!5wa}|bCI$FjZu-rQDw7;2k^ysV5iga zbt8C}SbIE)erA@Cmh@dOb7GnnwHFt=>}QmjuZld3NCKt$eVGfxLiMSrx1WUvH<$Jg zz?W^bP!xE96;ALY*J9Y3sezuk@4l?CYmaY&N(Q9&bh3pr?Mg#KX}GZhTAUny55x3y zwoaQ6l2_*+xQ1ZP)0(!8$i4EKleP2*w&goiLa@aIR5=LzQaDu#IUck#`0ZxX2I?K(?3o2kjT;Iw{C<*Kd`3h(K8H_i+G`I75Ly{YuBd|We?Ji{H4*Sm3OzzxgKtb#^ zr>LT#9>dwhrb$GhF@|X|9RA`+3q(RF{Qkjxi0;TUm$J~X+pDew80dU=IIqZ(=#ltKXE>o8(eo+pCaD(^!SXW2_O?J!vOrs_%?0xxTCo zI#C#Ymi(Niyb8{~*qjuUDa{z#%Ow_v=%Xk3qv(p;m^49_NiRF}3zs7C%(L!3%cR^f zi~_vn%3pj`=AqQ>u2ow)@#A|_`W}dZ>dVR)GiAgXld>L8^bdBw2E@W zc|qK(=#v*yz3gd!m!3m`dQyMlrFMEC5obaB5X)`5QT6S%&<*kuvphOQ%8$fMV|&N? zPLIYALSCai-blI@Clk+()r0$1oLLq- z0Zhw559)iRG%NvuXToryG#(Wm@!OF{I(MUS#;2tKdU@Kf z;xiGSh48xeT>B`VB5N5PBZ#k>cl?#)T;@CRc&T$^i3XPzwM2NTjOgQbj)cc6YQ=+K9eqk_IvOQ0)C*&fm@BR_>d~afF%FFczvi_ zuwY>z=}j_v{MvAQh;pTsV4bhK{LB>`bb`c}u??pw;dTcaRXyTfgCV{3abGdNX)Fku zc)xieME^da6Vpnr*3#gZ3>Rg?k%Jcgn)8{qqhUV)qCDNi*KO$xLmX92?GWpXhm|!x z19vxAS$a8TJg@THs1a{fI=4lgpQqym#4Ry(JcKbpw4^g7(E0uwxVzHh%o>3X@TP`| zZ$aVvmQ^RYC76%vKLF{^RbYPWBRV)`YoeG|Zh#+%y?J7i8f~*Xd)fH5v!rA2p7dy4 zZ?(aNKRndwIM3c*wFRTMN2>vGSF|eTZ)Rt*HwQkwhIUp!L#%dt5zAFjxBsHlYubOw zgFuQgCd_$N1h*K10yTeEAQ($H@+@SX;U8WKYU&F3r#_kDV|)1<^hdQTg#|)=DAe%f z*(|ua$R58%=Az0Sv5RM6klx_G)Z7#F&0WcFp1GI&2LLt_qc__B4^0N)Z2GFIeFq1Q z%?|4)i@qhopmc$^(Y>yO9vc{#uZ}T>c_j=Wd*zYm) z%$817^KQ}kqm41pUzD>sM3{xWAzlVmTmD-R1@Q(;P0h|Nh3=}?BTG=4>4GOa&r`0F zes@qA4}M;d5y=UeF+_v!M&-YP)5&PQ^DV=eOf{Exg{ALkciZ!1MP}KI8H#RpO#32a zaTd59_}l6l`gx_FW7Oq@k&U}F_l4zeqA6FySgMSj>YSWt+nyjI5lpYTHdC1hqx`b? zp$L(sBhRwSOChhB-PPH9FX<2NR`SI3q)0ijTobC?6oGl=wA-7GUb=o>q!iz`H<3<^ zk6vKTj`dbK4?eev!&iB41z!RIeOI3smBI93+< z`LEK=t?g%BJGEvX&2_$I{KG2U_fv%u=JN$YpW5=fvBo2wwX&msT+Mg|>wvy2o{66> zasE7&1^fVjA`Sx2f@9Deiya8P0UV3xqh6(15;BtL(|Cu(lMy^I3)|Uoe zveHgC+#ZE|))nyFxR^uy(Dde8_g)1d|NpSFa8z{!c(?pMtS49KmC8xU)JYM_$goGz zSrY_{U7AxheY)V8}syjoqv6=J|lkf7%W^NEYHoUQ@{1n**URK zs_)R7{okuj6@oj-)YdLE1oHCWPC1u1yALm}F0ewHP%YGcM$*6a*tqv4@fIj|HtIAUMG;*Pd?YTq8gr2?T_gTL zpl~ykyV}jGKe?eduC;0C_3C?Uh;<}{m4E#AoRkoPsOcdhy&BDIC@L=;(+$=UJ78d;R zR*3|ISFhi6Ozi?UFix~@zw5Z|I5Z$hiNCPG@sJf!Pl^#C=dn`HJMRmRiR?89;1kjB zvk7T%Pb9+J;^>`ks(-ZoKw*1AnShBU*=PsSNXWI0>o+7$UzilUWQ%VR%dxWi`i)+} zkdTg9DzRL>dD_*L%Zzl3+P0|p%FJXMu>iym07qKH&Gora+8cF`!AyhCVnS{&YvT|; z?Ks;Y2FQGZm7Eytu4X17~OP zO~VHkTUQ!(AnfQu*-FcdD=nV@Jh^x%Yt#mZLxmfIi;;v62cdnVcmBg$t^CW<5X)`m zBwih6Pt4FMzNM}9Glwlf4>kqvYfLtZBNZi0z?8t+MGo`lLE99hI1=%al$JB58xH0> z3KIb=^?Z8WtOP?cm3w~32qE}7-_X&P3@$(%VE0>Z8mDqazB%~Xs;wk`1S-NNgJV<& zYX<6z4rA-3$?r&0r<)A&~u>jT0bJ2bP zj@DsdsY$WPMF^Zz{qi&pDO{g?q_*Z6Zft zuT140ZPSN1oOF+QqFtiQ^hP*4%Wora=rcqq5 z#l`{|1{G#OLNBHl8qAA!Q~SdEYMi}DHu`mv@%Xo_Rfr>HHcnc^G*i;FPqvF|XQOts z$p`gu>3fk4u{-Q`k`z%U9Kz$@CUHV{wT5%BLn>pLy3M@-G#}L&#`m=e>To}{1NmyaT9*)!CxgBd55vZc1>G|E0pJv=UZUp|X?`hu z{%R5E{uIY^{d25Z(ykgS4!`m3eLKpi#Qhd5HkFz{OX!E1NOHUYcD6r>Ib?0VkJ2GO zYTP`l@KNERRzwrb$cYuFq!QCi>~cHE!ZR0_ZN4dMMlOTCEKiH9s^fMD?s|P-7oHuj z)ZTaNE*P)? z7Sn}j1636QuQyl!(FnxGyxcR>!<@mjSAu@ipA6g+zgbj?*Qrr_e6(f-y$Wer&!Z=$cun(4gfGobe!UkEFF$&s$Z7Ph9-A%sqwA2+GY1+F|D8z}pd- zlb@VJ#D(82IM->zPBuH&w1rlE--dBto(%7&xbRjuTl)Dkb;CWjR#)wn1^6*b4TCZ@ zD0eQRK>aE5X!cdGr&oi;(6ME!a1-xxh#%PnJ%dBJ)txNNX6)Y0wBW+svBE&&1)#I( z1+E^bnj}P*sM90TInseogy`9V=4(-VaS=}yhPYIyn3LNSs0^sVTar+Icw^QA8HDc0 zOl@5vBTQc=UKBpwo3j!N)YW$~7KVf@nYyH|Psa1mr$<5JHdZU1tz=(G7i)G8dnH#yN4K=v`wS>p1a7Guw$4ag z;1XxEY#WsG1Mn^`{@NguvH1RdT<+16x9 z7$Y`ELR{XyfQ4r-Z*j2kTb$B|yY_a*?A#o7Qc7c&NESy?4|4#i(`yiv5vis?j_HGe zCHSK*UcKaj&&OoOle;}4!R??VflUW!T+=5-8BsE9WeH=^(X2DoCK$$(k2j0+yIOMc$1&YgN8TL)*ldfnF{hxf)9lx73nLV%^DM+rEN>s^Xy3kewi@5^{!N1$pwaU!u78g(Zq$ zQ*3y(rDY3x&RmNMiO0F+S}wPJlfOs7WM7+_~-|ZTf3qz zNpb`8shU#A^_*PGq_PEFPTW}j4MqF4yahI06F4tbAy81P1+pN_$=-P4EZt89LE!~D zEm?ttf-=R4Mp^G|S(`IR?RaWdla@Bvacn(;iqOs`SQp%B$`rYwN=W zvPnJ`-BfDJm8JOv-iEGdO&M|MC04v!u*nRYsps>gXn1{Dk&xd6yRZ@Ny7zQOLLR zI^b6lvP9`JxH`J&(%5wVj#Pgg9@+}C_SDtL=FB%hfoG9@!9liUw7i7At!B9Gd z*jk{a&%?GGX80z@$kZ9Or(~ex5Hr`l4^mCv-Heg~-&IrhYgygo&gemi?qpeI29C2t zRfiHYOLLHsn$2~F%%$zkUm4IBFud7*pTJ7f+Qm~IUJ+Jo%+N+jo+y~fpThvWY0xre zY9skM(5ymN+QytCttPAx+JRRfEBx{KnF{ zNbh}@vZ~!nYFOcBkwdMx-nu08tq;?QG~ZPx;ETN{-XJO4F`Llo%vy-U#6 zM#$(Vk2yHu{7-o8?i4(YOBOA9dxv9NvkFb;57G&~;(}Uqi51cgH@koFDC=m5qH@th zS@_2pX%Ewm(s+o##5z5sdpJW)H96Sp*b-bJTVm?@kp?`Ae5Kr1^A$7FmTDt38!dQ- zwASK?EDdTwF0ycKMmQ0~#9+{)R$qPgtt_Zb9HPf;FX@SOrhuQ;Q+!)4fij8OB#e0+ z+NqRnT3c2CXmy1ZsmGF)Qg9K*Jmfz4GyE5eEhXx)UgdQ0*#~JKoEPw{=p`FX*>*eC ztKG{rj1JD>+f}}#m{Uk$3KtK$S%J~kD5tdk3)jKhzGNCRH;QC+z-Io zZMfE`w2kohRzfgiqd!OqAWkxFU*V(#Jxz>#$UWK8QX1{-DBjjR!~N-|#;e;*-F-HlP3 z)Py|zZ>}~;3=X;J+WXDYx*Vd%;SXXmm8c?*Tk6(-P8w&yC0F>z-lAQMs*7-XEUnIT zIqp1HnfdwezC{guonF`)YLp47=wMQSrA!) z(zBs{HvPk9Wl4+{h3{Yb_Y9I|d_8wLj^Q&>8>N+2|I2K28oL_8-ZkI_3L^N>E8ahan#>KYu5{^HjlkAa7w z@>rp#ybkpU!^R#)4TGjWS8aOV$Ez^?Ek~P2;ERcdN~kZv1^$VW&<{J-w`T7<<%{Z< zXA?JvB`_SFL&(>>yRtIAhEs2Ks*(&Sq$q|#BJYH!**FEsS7jUqX-7bFwE85=Rjh>u zuUHxKXE-v_U@5EGE|ph@G$NC;zjG>R_ ztC&ohY&Vr|w4i4V$W>|m>ib#is*8ez*> zu`S4acbqiH)@AO2B(oORLE|aA=({2B2yF7O5}m~k)lf&bOzy3N@g^HEzUV8PbG5?q5*Ck6^E|nI%I!)o08@q8sv!e|Q*|4ti ziT@?mUuhc71k+svpi&Mw{d*3xzu8Vn^6n3aTq$At?2H`jl^nsk+++A*m-NLoGnRRC zXgB|e1ojuBzYH>^#8mE(?5A4VlY+vJr%}gt>e39Edzbz;H&m*Y}gQVg-nd24am3||O-~k}d#qF^rl_`@L5p-vh4IR&-49qO z?y#ZByp!7`&qQp%;BYIw>lUdwXArD(2tJ-wYSRY^4&Dx>V{^|FZLp?YDWM=sH`ZFw zp?);Yt@U0Xf*qk3x9YL5V1<>Ev%qv*cC+Ws18xAc&Ra~4)HjmDzhPx2j5Az*VKW`Y z>AJN!fhlMCTIi5nG~l#Q`?@bor?1aaQ%mWpEX|Wcne}shp25Aknr4dh)%+r>C)@s1 z+w`~%1WHaos94@WviNsim>+ z)9to&%g;QFhN_aUZ7^5Z-(#|5Mto^WjE_`eW-6Qu9iO&A(2~w&D19J?L!d-)=1I4p zE|uwdTXq54H5pwG=s;o0doiRa)Kiq6#tM5i1i32XFkG^=5?DlKByZVpX-~~on-uAH z@?pvu4%0a=mANf8IVRR4Y+>@Y>%-~ByFvLB=fG=28d$9O#96zYpo{#N-FnUsGw!H< zc*Q35p5ZB~S$}|^NIwu+Q}Pr$JAUcHNQjUg6c|g0Kan=DqGhoCy}TnwGix@8mO{RNdB_PRSz@I5pGmbLMkeCo7!z4Q@Tu8O2P=u zwX0|hIWl~|%+aqvM`N~$hFG*p7>GBG7f^TF*#0Q6z(HNK>6N8TIRb^yhTnzJ; z56OF1nT|?aHItGNhrlC^$WG{9g>;UMIZZ$xvva+g->e)IydA9$uA0-kBW!Jhu)#M61^sXYA|3E+W-iI`bPQTXTC1@!6c zLYS)fFd0ZVh@=>BO9G2z*sGUsps9pI9E&PGsVei~ zK8-Eo=C(9SI{fUnl}XAite0t;%s*1FO0fBfGz~*C9z!F)E{&OmPO1LUKM>2Ud^}YP z4SxS*=}5%VM3FPM{wK24RBm<)*O#X!YN>&+$O~S3TI@c@ogHJYPnutT(pqTIi`raa zl>9|`p~ct59b=z=|0M0FAksx0+p|fnKT*$gp1M|w%G7DGdyT49y*R+ph`O7Vd)3F} zmXNB|2CIm&A@O^%j{@Rfqam;Vq`p3L8XoV#8}O4r$QfsN{Oe|4q?MnLopsx*404;> zGY9xTnJv|GBLLefDvdv7x0^YQkN5DD7d88-V6P`kTYB2yfM>ujMHKy=>>6s|$m8m^ zXROKN254sni*kPr>2F#&)yEBLz0*v1*XyZX!K_&(Q&dxGU)vbry8e8?k;jU^*24_i z`17F`=?4MLblUrb5b$-gTC>at$;rP)SndZ6|tyKZl z{ygzb{6c<|!jQULVZ32{La|VODB=zTcbRVh&0wJ{Vgz8t>kvXH3IJDtk+uhaTM!tlX;n0VWi2Z+Nc-Hv1E>*LifUPWZ`1!S=yj^ zFqFrTQsWJxE}+u)e&b;zd3hT?UMX0`^2=7Zpd~vQj2O;e*Kq>ctGe`*dVP#NI z2q;(x;5_>IdF7{D0c0X#W>!aV6cQ$3B_||O79nLr|G4Z=s3M|%)rtm2v1n`)DmBhI z8^3M`Kmd?}ppu9ub?b(Bf(=uCfezo7w#5g+V=+k>#B@WO zk)25XpVJKXL18uL9)FToc#Lq-Loj^N-+?I#2f^X{)Zl~OG%8S?ap#b$4+@)CS?MoG zg9Fmp@LY*dVjCDzzl9gH8y!??wph>p|Da*OQw8#22>VY1jSm4Ak94^gnY|~%Po9S2 zvM|N+8J4FA{)??xA_PqfQAH`wycB=g7zbMdUs(h#$R*CiS2(5tEl4|_bOtpnJN~A< zh!PBXBWn--MJ_^7((21JIU}!^c=>^Q3I$MmmuNfKBF>7blL+(NvM}j)20orSj%+Nx znDyYmuw%p9$bN4)?Z3L4_KkV8fwfhp?EIpfEaTpwl0py}Kcn4+ky;QQKcjk-Eyn$1 zXHQ$2_v(}0OCJ(mUeCB^WPAr-zkCz0nlhw?BU-?D{jK_a8(XxHU4c`g*n1vhUtgu) zRpfb#y8$1LLjE$qFa-CwD5_@3J0Ao92f+d#j3;TTd% z>%?_?^h$jB;#SLa(cdO;0Cm0*mIs{G#zlKBI44-;gh;2Vx}+x%S|oX1H2w*o33*-W zJnB?-Y}2)q)ubK~eV>$PP={32%ew}C0A3+y!I|ImeTetMU=RCE=HN=10+mUDaU?&o za0tZE*s(@E60k^|{xb4u@4hW@`R0k2=FL~QS=6E#PPHp5LfJ-^9HA5C2`&l^otwN) zncv3&MX-e1M3%YvtEBv$O=~c&9q)?D=Xj_iuIc7Eg|tI>cFg=lK2mc8;IP+Jgk8=2 z9yU1XvvI2BU64)!IPN7VQ^sP-Dk&_^OY8&M#LJg4aV3Rfka78zFmH(&cBDsz%E%Ti zsS6>)0#f}q-O&21dJ(>I zq)|^!21WUznm!HNC07ua>R^$~UBp0X_!6lkbo!Y{F?lJ-bz*a`Qxj%Ha9CWu+~Ey$ ztf&>MLS-}A-}RS7WaN@l$w{`V{_b0=OocO?xJERT*t(uHk-0S!>7L?_3tb2@e}su* z1<3ldRd#Y2A~IWMipfIWUL{JTI`<_I+ahX8i|N*@2dnts<_o-Ps}xT>=_q9m|E(x3 z-{eRYPl7ucy!F6p%AqV3-_VO{z8v#Z4Joffeg5+q%HQTAPC>?T>esMv>JAkP;hgw3 z6|#BaelJPw#b~kp43W?VRZW_@EES#bY7&S1k{Rs7XWTUhYl5Vr{G&I6tyWRLR3LtI zpiw`krsyJvvvey=fTy&qM9}m27~ev+l;ahtiXa!C5}hG>Rw;{EBLB`$kp0EvSIV2P zK4)53yi)s}dM>BzJnbSG@wc+^?0aP8vpuOUs4d;YtR`y`-K%ca9!|$|lO5 zz2_8?Ee;oVFcO~K$;iNC0bN1lKEDo^A@pQFgU*8MBmox_gq|lW7X|y3S)snYmUFjT}u}#)0zfTe?Q=6?1 zj#PbQO9PZi+$JDxpNz?Qpz_)uip^gF%74=%pKv@zI`|yW*;WHqm52?ERhjimoX{P|!Xu`{3^p zT1U_Et_Pi7T!vSHlH+{JFZv1{@93Q#MKs&tzZ#|Llri-6Xhp*OFX_>#G>xoS`O=rh zKq7priqcAzKYQek^3_F7J>hMIt5e2v*U~2+{XP#77k-}_A^JtA=xm*I>Qf&yD>9T+ z zZ{$F<{8WLonWcp>tMC*YSEBiMx6H9c#;1g&FL1vgF1VNRcOw&dZ>y9}b}Te@Nbv$1 zUtH3t&z)4>E$#(hMtpMcG9gVNtg;)cmUn^-HZRPmKf=6Y?RknQ?E*KJi;a5B^BlOGOQRM^0UKG+B(ZHNtW>1| zr&TZEm|0!-xfqLy$d&FfioyYU0b27maGksQ(_oyb(Slj2_V50+){z{$P1$zcy1<)2 z$S9PI?f0@u`ZgVbg~StYcZJS)8VhE{X23;nbLV8L#W<2dcJwT(7~3Ky4~Ukq28vAt7o%th<^4Q(_D|EK9T)zj#Hn*a8N1u28`apXCMtiW1}{MOe{uI7 zP)#=9zHkBoLJz(7-jpt#(2MjgBE5<9-U&S*y-DvNMFf;?3%!WamEHxUcTkF7)c5_r z@;~c4=iGDex7J->93Li=J-@wY&z}7}Gnwqs%BcDG0Wk3@jW(rRshQrOr|TPW9vsL! zAZ(|0B8Lvbt2jjFWYN3h=Hk7V$aqLl)O7Zo~9@b?V$i% zHh3jp?qUD#q>w%#lfuc>Ry^rlp%CL1&b6Sn9gSa^hqxCj~B&~WWp|9!I%f!Ryx2O)g{lra; zenQx9aENdU(zsfgc({}C{xKyiQ^4`kdPF75C~u z!=cz`>!D;N%i~ta{#O9m4}h1-zu%)vfe#~IoDMY2oZj6)0%}bR2 zRKz>g5v`%HG_S<0d;ou1&|@St;o%Pezm?KbEh@?C)`cN1_lw03T9UL%_osCY={0)M z9Wl@nFt1MjqfEVtgEn}rZ}eq7z6(5OmSS$P+VuP1N{S(9k_2j0_a&Ko#}EHEQ)guL z3tI+k($bHFhrthSHB20rqEC|b;T>y z1hP2h*#2CD;F0}v94?*}rMYfWYP6SH;5L<(q6&z-alU>3@u%gJmj8ZcWr;^dQMWo- zR5!im0qsUg9%xtHO@~_Az6KA!;qLNU!52M_(^VSf+zYv69(tI@`F|h!UvexBo|LH= zY;e+$p?ep-Jq-D^A_5GJYO%i^J|Cqe9Xd|JZ>?^iuz1-0eKf zM~z2Y9?r8|@I+9_qJePx z3YTUxRhv1(k-I|7G!L&*ey+7BOgUDC4?K4-c{K?Z&)a)}G~x=WkrLe3tjFB{tjTJq_pwKzms8 zgrq5PldFH`x%+ zlQ6StxH=w_OsR`RO`C{1NJL7Ph*V2aD~F``d2_BO#g0n{3WbJ)*B87}4qg)%^#bir z?|X~qGDqC*voXjxd&{?)XiTYTV@fjX%k(6S81U*;!7EM*Vo%f(uZIbf>4m*0S5|mM zQ|-4;O6iYx3rfWE{H3uFM10+c{M(|7RTb(5>6?cRx5UTR9Ixqfo%+hi5 zl2xJ7Gp|H=QQ<_0KSSx{W4FSYfI(%gyT#-8BZ+I*>Wzl)tIlA_cBLWL@Je|iO4fv` zDc!NoV`t%O#;R`5Z_8FtrPbXOsDC9|9y(e#@O!NK+;EfS`Jn3=e!>rbN6af{m z%Zof^m369FZ~1A1jPV==#zH~rQJVXg>9MIgZpGy4G0#?@EW+7Exba~rW*S( z#<>>xqcYv+#x)KP)N>RMfGPqiNb5+oAdF<5#%U|}?-hF$5J}yY??hV;Q+>n=nVfPi zw85OxskkJ`6TBBmcbH8=TX41Mh}+|NzrUBT@k_}gyV1uheg(Qe01P7^ia#DH39;oq z$Q!@ASuey!qoP`kUZHEZ6A5a0tc&SJN{Plvq|%`1GA2}d!m%q;d@zaU{F==wTo`Wn z5VaD0%x=&JeAk{()q$9}F^gF?*I)*H6Vr(_^X|hshnJ(GUH&59hW?qeq_+7 z{=5^*$vYOP%&!G28l_>7|H6%R?Y1{gOV<gKVFeIZ;A&;$ShC;l=EiKIkcJlARTSwmo4ryMi8Mp0%nhKUF9{cAv9uclR@2 zTt!RX0Fx;K>2eHC@;sk8dZuH_S*oaqCAQliS&qF;@b48YFfG=p7tH+dO;dh^LcF{- z=|WrA8MCzKVa>}CgGTJ_EQBB()!@nEsg63@v&&*Pff}$v0pA>^QxS74OO!_PSDJBI zf-~_VospIiKI#Ax`H97bZfx}H0cM{UD) z4obMPs_|CaU}-;|sCD+P)d=U_6YVvkvR5lm9#pVfGx#n(D@lO%NI<*f-~shgo%3e* zY1EU!J0sXKDG|=Do{@jy#Nk~TD|W|C<26sKHGXK4vidpAt+?$j=w;CqF>WO!RB@dC zHo?7S@=m*3C%=94JV{{5!ZWfgN{rGw+Src$vI40(ktJS)GbN~PQdA|V@AM)c>)2r$ zJ8I=&D0Y?#m33NKeF{&YB4k5T95byD9?rT{bl}qd$`wS|colWd<*|K7`#b^9-v1hGT@yc~6WzaxX6m{Ahd$SKJtSiz9&F!+(O za7K=(O@OM|p?QSMb>dsx$yL;*(D-n}Pan9Yz(u4I6FV(T$>5az1HhO2*gJmwu5%1L zrCMgAI=GDf*knYI+WxXb>!-inoO#sn2!<9G9^t85EF>Bq+f?ltC>+HWMA(dLmih5P z4pCcNq%sW?5I2U|t0OX|wC8k4egxa`^S8Lw`;Foi8FL!$YMQ0}^~SM9c!8g|Xw}yB z2=mqi-1%0t!kTf$oy6*z#&wDspo#_p(Tl)LEtSr{5BTlvFHF0pTLOx2%#rPgM z)b3&7ybRTjThGw5lzmAt{{ZZ5p#2s?m=k{A zR+XT&-NC+Z3T-=0ol5(aHiILYs5uQ#Nn~qJ@#8uz?#vgh|*69t2 zC2UzL&Ov?H2_Kp7K#@H&r6lTAZRyh!5d8x%APT?88_AsP+PeZ5wF_oGZ=fQP=RsE` z$gUytaVa(Jmw(bowHU^%zc2Yrwjs^Hh;=WhYW9?RMui!X7DhQxnH)Yy%X!cC%C=TCJq@9u zm)ki_3e|PMQkiDrW6O1~ZG=RP>Xn#7sQpy~egKT`!AAoQ(C!Lo&nT)?GEO)nJ2HBs z8)=PG6#X?N&0h4MbX?7@%Gl78>SaeLp2s$ESrihd$WY0vd^V_`_qrT=tcWgT@E`g36Z}9oLA>8HDd}kX_B~$RO zb14Ta*36h)@NTVC_=5`E7g<;e&oU<(Jzu65f4bU7e*2R+`o2|UWIAuWZ1jHb z?}x3NwAMLa-Bm5y*0UAi75|EUSYpuq129#d#w61R_ZoA zC^Xy)dHQ*FF3^c%XSG!2iG>6kHy^5yusM_n)yFJ+uUCy|4_hHAv7fsuT5{X>iNePZ zjL|y8sc1c{E2hPn#^0KJ_BsS8)S}li@*Yhl6S+>*i&vt(D*n8NqQ#v2z2Adv#LO=6 z=Oj7J76%TS*LQKwx=-k|Acuy}TxL>)%Ur2s4qMY_seM_e%ie$dWO|Yw`AkDo9v4|h zJ)jUk@coOIXuWp!B4V#B+jDxZ4f*KP&E1=tD-AIipM5kA)gFG-;Jrlg>?u*hD3{y4 z%CM;Ns5k1|J*ff|y()7T?@Za<1PF4GZQm`+A1yU!@WJeu&&iKvcV2|axYONIBcZIY?3*0y{Kv$VzM;QvWpCOovRe7K%}@tS@9D*dzj|II~x)qd#ZTH0X!w{`b6>EDcpklB7j z{>I^F!{o`@5|_89+T|GxzPH;|gq>+$KFASakKkM|;y!_xZr+i@E8>QPSc-IB5`pm) zU@}*6E4ZT{a*6*^$89gFqR07t!iLNSz)F+|zWi&{EXF#9Si2nS#|Sw=EJ%04`k&0= z`_2gm@0NvuXfP@$AA()n`3cn0B}YJ{{7eCWln(0>CP9SZ6xJhfh)-pCQq&m}6LG)p z97M*7@eY-+>px9!X6*F*(A8tRy>EWu;yjnHMsbi(_6dj1spp1lp`h_B%undNa;|)o zx3N{`18Z17!l*#x+6khI$4jgk`vxY8DAc(kSEOhXFM|7GkEsat?FB@)cXgKgPyIBw zhND&Z*+vUd+?`|{S&dR^J!lPzxTkMkG?GFGIf|>sh}WSZNTXx-5f;XOkt3H)L+g<8 zq+TP*b=B`nOT*!bFOJ^Vwc3$8;1&vMOKLleP+dP5Wms&TeLR|p2t5kvC#~H;M>-qf zXhAWF37gxNx%5kYNADlr&|*$rmvXNxuzr#l0!opi$|Pdr!a-#$+dn)5Vji1I(-4eg zV&a8GveamG03IZCb&Jj_p&HB%%2Q^&Sd20P!pNbwXbt+&DB6=Z*uRU=MI{xWqaKWq zP=v`977Z{ALJ?35=W#UAS@}UB#~apBe^xJxK}Xk=MNDhGW+4Esf4@B|EAkkv+)slj z($t+t(EI7KMhTGUMff0f2i~LR5wd*Fbj86I4y{|-8q!EkH>j9>ynmLqJg~v4sJ1!POkpAT5xJ*FBWDWr`SOjAq z-O8i3)!EyAgeuHW*l4ntsR~(nIii4Vx%XWw`iE?8Xe!mOBY>qbbTuI@OrQ58*oD36Fkk+RqjE2r?odd$kSt+K9#uQ+hSj@XC<=`hUiVhCzL zE-d^Dh`1$6>H*LlizmdA(Uy~0^y_q51aywfXq~Z+6pk2^fbUcHUWUPCe>oGh-4dH8 zX3G8yU|3o^!Guw710YF;kbyc6YQ^rz#=J;cX6@SPz<_j!<_Ez2`b^i zapUaKUG_HkQw38?kP0wtm!N`h!CD!iO7MQP+CHh(@(w}h2{4)>gAoS6!t|#AAVjPR z%o`Hd@ZVK(v*tCaJ`Q&V0ap{QO93fHpn2Knfdu9b3Uw#9BQFe;)y9*iif?;p|a?yRC)SbYs^|NEIg@T+$IdHk+3U=c-q#% z%7lY#3O13Kzz<@(gY4h%4bZ1Ya4EvfgJQ8Mye>grr4RGaLqytEVOiRRb?}X0XpxgxlFG3b^Eo9L~n90Kh#4uA{yI{1CZf4+SJ3YBxfQol7l_m zRItqB?#3i0jPM6wvZ4~U;Lb&;c2u*nWNe_7(r%2|S`@qxnZlC$JYE>2!*6*PfpM?_ zg}^cyFwaY|9)yL0M4lEQpj{c7nDz3&UW(j#utU>+R>8F zEQ)p&td*&j*&E>n# z5l+`P>}VL20UUUAYZB*-qwev5gA>c4x2M{X9K=U|-_}28bLCE(G*Bb7Q_#jtTa0mE zZ``n^ScZ|iW4&94M5UL1t1;HBARs;fI?i?C~vhZsePPyA`~ciaQlRPDs-jxjvv z-QA>72u0vI3)Ya%_s!B;PiTW$9V4<5SY14?-Cd;_eZ(Ng_@0`%{c|@wdYhp9+ARcQ z;l@%ZFHyMu1OOcvbzci4!VKn=!5QxmEd=ob090ClE|GpQg2(zJG;B)Tn8mDob{L*F zjB%NnPzAuJ;Pe`^@@T*`MT7ra;-{sN^iS!ZB1hsolzT#WFOFTAa(koQbO6KX&P@x*B+DaWpwP?gEE+>st7;2JPwlY zqQ=PUE#a!+s=+RydhEbzxftj#f$ow~@`ax>{0RS@OpgX@W>CPt35LUYR&jc43)=%0;L}ro-jyD4 z&q~)@xKYQRcxmZj5LSrwraVL*n>q020WmF^4g`Quc9x`g@bH2C1M*pUa}j>_vV*qN z{Cl0bNtFQ0n1qIqy8&(~PI6T9S3xy58v8846Hn;7ywHI1X1=v}??9dwhkOc)b z5%rqfy8GXve&I$AB&Pkx+C&kQB2tUlp}K>2n+pwzcml&4ZdCqiy@9V((TaKHsa`C9q5w>AJGi@EpiE@Ke9uwgnte{DYYGCX1SdI=|BZSvr?7{|8xQdoKd)E6|+E`ZiSmpcBef@r@R%lX0IYK-d`2)~0v z++&-%u2Hkm4s1Ky6j!6CkwuxPO+NcK=gzB2gIe-k@S(@b5}qt-nsLkZVIIS2>3Pu5 z-;K^;mKuK2$vCDg$}p-d`ZQF}Z;UQDJVwlq`C|HpgSL}jlNe8BnZqb~O}_eVtoY$w zUXLdwi>&wzw=N3)9w5R9Wm?4tZ`g2TSF>O%Lzv%1ap(xn%PtrAt;#>%aBFvcmB4~w&6Cu)-5dzY62WPy(M3WG{#p- z4pPKyCX-F51m6aXFI_CwbLxgg+7j1Ek?GXvrm%``NK(j6q)T%?5T^!8j{V)@(l$F0 z^oP6LGM5R3{(Q?CEs2_3E+217N1wC|7%wJa>`Y!5d8S^E2ri$p=(^SB7}Onx#D&LnUEa=zPTWu?bJ{IM6O3@@K+4z3n$6tx9r2w${Z)7?|yOCSH?$YHpcscojtQ;kwK}qXtYuzsh z{d)Jc?QJDuDX2m_Y(P(0@C(^odFd=4C-RP4ytrZA{RyIxJz>Y{3~6{m>=@jfkud;T zkrTCgOP81@B~`3`_EPjXi!E4nehdd&0>IN;s7Ys@ZfPqbYlPB+^2wBlM`9niz=|?E z66tFrdOHM#I68Bs08_{hN!3zTQ0(+NP}WQ~a%f-j(y7+@(F=qvLpK?fGNRWV zs1}c(lNc!n%6h$bZ+~JvTJa%E_~yee2ZzQEK4;1Bx2Iat?CKjm6lv%9Qc=*UC_(J% zT%V`IY=+GH?P>Y&>b&uNz?VpU0uS`;Oac5+uIj7U*MXQOD`>K}QLE@z%W`U-f?t=e??8TvLa1$D4Dmd-2vVfIpG`!$J5;!sUo*ZUIg$A5`5L` z;HYAB*EIONHBzFEJZSH$L?QH(LlyZ@#?5&tMW(dcQv)@>N;m2J#6^pMh4>9<9c+67 z?0WTN24l&4p{|^j@H^*IJ5eZrT-m8Qf!Q8vcMBEdW7o=eBK~rgoQIyez00z)*QpN5 z5Z6)V?Vh&UVWvM5jCh+V%~>iE3=g%9w);vy``m(W<2Wn9Ap#*K%5+kH!|r-XcQnFJ zG|tdh+ocwxsQG0F0lc)TyiqbZ)68k^#5vR1Ue1)R1O$->;CU){d^s9jtW|NiTNppG`EpH?vtV0jSl*i24%+S z|K%U@P-r~S@gr?&SL*X(8Dl_x8l8P7->CR6SOzOTWnh81cKc(pR+$diH9gtl z_agJ+Se&3jifp=Bx>>jYaJWAv}*}%MSz6!tk`Q$XGlH8EwAPk1F1> zKY{dMAOt%%{Ow^BSlAJP37 zx{54B4HN9aRAHUA)-n~;w}hQT(oTCrJ7Ifa-3atDt%ayMbN6s|{zUK5mFXr` zvk~G7d4<7sZh@x5#*c_7;t3C(heoI-_3lT4ZGkc^FnWMYGMeN^!UOMl`S)1mfnB0~ zLwsK;{RQMExoGYelTb&#y z(sj5n3;LLF^h`}*{gsqmGxcndyQDV&$D_`nQKeC&o4NWMIVjd`fhQNm92*0YhqGG; zf@NQmdwz?+rypCDZB$~kvxB;Y1&}6P^dv<9vggT<&*vUpd-QcxdH~Uw2&wm(*uQoy zo4b$`WV%Q2Ob(j+-_h(x0lV=51_1gVgC6qqU`&V)Kk|{NFs4ps0QK-=Uh-g`TGV~R zaqBlrcUodHVGmmsK9II4y!R|)cn4*u;9#mSCrZdfy9dh=NNCR(nq0I%gc?Z0JsIGL z-G|_%1^WGLZ>7VFnaqh9JkFp_Msk65$stNm`6*;ruLehrXXu&jWTLk-R$Q@7J{bI- zqNk11leq5-;0&v)i*YKEltCR zWE8v7Jojld`QUQD>=uV%^wz`p_G=kD9L)auBC30DRe|&<;A9NfcXnv+c{KFD1 z@wl&BA5g#`GIYQ-Neo<9-q3eOA}@3c3~Z;U_QqQXJK7O(gkISCtsOQ{7I{&GVvnzI z(b>B#4jCxlbp;`e!V>xiw@2{tWS7A7y_UplAJ_3N9xw+*0&Kv(%;D&P>&;INzr)dF z$tDTnwFY-=PKnw{CaP2hJD>8HzmF4H&}7KAgIt}=mg*b$N&41@#k@7niheC=SMd`3 z(QgRgU5n`&5?7$bzpQ>l<-Zo)|2=dDhLN>>aW5XHA39i+TDj?$X=cxqkvqT_t3t-S z0z4x`;AjO#g^aWTUl=km%K~7@=qM2!?c{85)YMgm2{o*I3viy2%%Bt9k#Hb>LLD#W z;G)gpOdz9c>sSf2ujeVJ-0BWrPYKLc%X-Z>61&4x)l*mBr@ zVI_dRBC9&(6Lu5Zi||b2fDh95$=o~EEk0p6(7_h9ZhOllPo>z7-NVt!G3SMdJw2`e zenH?ZV;mOVh*r5~VaKawc@GrC&Y{Kdp{1W@OaK&hj%its#&`Fe;}fX|nj$b+uGgYQ zC&HLBRDCPCV|c5M5k*bDT{fU3skW%_6+ybG_#)oMjHbKQ%R+2;w`7JKUzcU%QD)`F z_nbMro?_-{T=eQ^?}@S^E83x)_drhU9K#H#83LVX6Us4zdlw^z5W2d?d#6l{jgD1` zeRA8=u#$WA1*F;A;7QB~4D;Ot9NS^;nABlcurhNRD)Cr*=uigrSYu%abv%_NV-vTf zoS~)!Ik}%zKLIGLu<-H|v&Br`8gkKxQ8`^4cxNzQ5~wpNgUJRMPhMgPheinUKPP8B z1nS1vh9J&0;|&M2gF8GoRe09rl%eJ*I`qr%iwe#yN=Gn&P!H&y3c9RYEA15QSl=A? z0FLJ<>SW3wU;qF!Mro#X67^>eAzGtDr2EARuk+bF)?C7ZARi|ot-T!jxOCL$z@!K* z{_a8s6+8>ukdE`aT?ikc;EoUvSS0Hb(KnEs^#pNLeU*SEc^El7=hD`|7vFezG7e=K zR4O^rmb+@*a2E#)zqtAdL0Bmfcx7S`4#{%FK~6XM>-EjDric&cJv|lhM`gjRSjQkR z!V3OUdKrKRd0Oc4jtEnScri9&v6uZyUKJ5h_jOm_5yBhyz05Ifdr%p{Hm8turp~&g z>^{|M21i$dn;t3+^6DJ|sp(UUZ8PK8>YU)lM7{~QUhw!7EQ@ES3YsFSH1|2--R@5b zJ)~FAeB)HqFh|dE7!_5zK1QAI#>)3~?c$|@HXOlS42Uvd-%KjYVQsX+>Sh}+uCx#f zu3oW?h}s4}0WS+R{3c_ag?oJ;6p8yBfBH02OX@j#p@mz0tnWG?@83K)l>S)XQQZ2(nn!^DG3H z(ZeJC(zmd-!h7HXGkb{-->(Y)XL=H~jg?6Z9 zOK62^fX>U2hN`Gs%3=rz1m_)2nkW|Q;WA*-3J9oITEuIM?@5pa-6o74d0wx)!1x;T z+)20aDrTBQ{b&+q-chig&rj{TqBLZL!(5^)i`9D@k9LH%&RlP}xHI2+sh8&!fTA#I zS6^Nmx>JH_y&QuntpUklPy=*>z=rL}SV^V*=#_fGj2Xxv6bxvOW2;~#jFZIxOcXpu zLS&pwaI&JE+kF}W972@B?XHb%?Pu)E)-VYpbQFenSme~;)nc{OIOeF}m|e>R^zbWL zCA*fzJjI8}`=3;*o{&#i#K{=MvmXLY4~UnH;zTkqgqRL;jcgFldI+TgS439$**Y$uj4SJ1mOiQ3 zB~!Y|vdOG>YdYt!Bw$WUJM0Y!mPWGtZg}8!w51AieA*2NAZ)SQIoc#i>=~Yf zFdQqSnTL`v_((_TRD_X}X7CcC zoH>=iM-Uxe0K9kZjL{-BGK}|NxLdG~wN|SO1=>{&q3jZo`R)ddo4a#?hzN#fh0MFj z3qr3FNw{b`!<)vBqER(OZ;^!MqOeY@WCd|x)r%a20H6$TS1n`864<^1D~dcdc?S(Elw_{wRiQA^ zuJey#5nc*9oy9cEKmjU-ZcH58hwYbqSvXkPIGHJc2v9p#pgpW&CA(A|b5n<&Qvv}NN46z`Jlzn28iP3nB zqy+>~(TT5bM*_GIiTS9+D-doIeMm$MYiZXC^|Z-LeU(kRUI>_ekc5N$sUc3f$;N#m z>kI$}3yvNo>_UbK1&Sk`oIk8Bqr)Wslzcub@7BHNER@mTWPv#LrOVHKtnGOb-$!r3 z)SfK@la?dGfKcftwlaui5svARb0YH5a$hutWe4P5@DSua2pm*oa2LSO$d!<@1>~un z|5-Zyd93Guo*d2=kb5!y$N#pGERKdG{?mkHArbOFVR5}6@eBSxX+iMO&`-FA>P|G*&kup=jsQa(dex=5n_*GHdUzZ#OTLFWHKF*q7Rp4%yLIP??! z0;$3tiKBrVC?^ZzpBFTaf~9{7`AOnp;7xO_$g3M5L92Gi;LJY&Yd`rc1U1C|033e4 zez11~=WOEgXfW{TK_dWA^HBy|07J$`yq*fA&IeHC}+r4A1+Ajo83fNxN~^- z<>6o2Sa6vcG#mPu_ir#SJ0F~mar^v+8B+IH;6D19|3@>wLRoX5=ZaNj--(Y{|4gs%_R^?a5Nnias=oihOAlLk7zwL7Gmvv4t zyZk#yaKXFZhWi)D!dBx?Mt^|3a@hHefAkxqGuSNTrX(|M_ZDt|G%dLQ8;B0&>v;EF?oW^z;<2k>+TOsUA)c|wOXStm(MiNqzo9VQc^K3!#V&LkZ z^4WL2xK01OT`)Kp@_#ws(EPW}1)a@vBRlnQLGoWj7elmXk0eiqr2a1Pz4J?zhlzjF ze13g4AAGc@el+nHr&AY+f?l+`I{qrXa|4_$)J76P}1PJY88 z!>aidTpo45xftU6UGf8fWQ?SqmN@!J8gw>yxn$;!?8A3^zK0)va|&$yEqKWg^{+|+ zA@74$kS0AudG=XiZ|G;W+M!>Ad)nkLFSBkY;xmKn8;PT?H?1M;zXp%s(J#^;fRCO( zVPY6uTShkKG|3ucG4KN$)P zzBya)d-qZDtn3#XB-zKy;{u5-&7jjnk)I%uuaUmwFhqoG9_cBN!v0MALqTksJf9bW z5H?q53n7p2gU-4ym(BeCMS#pOnW>95M@9lD=~`yK@vDbf)%zX1W(Ua0}l#6>z{dP8u{D}5!Qu9Xn4US%C+Y;gn=Kt>m5=XgjnisqU zZq)jBk?Pfh+W%7mB!2jRAVBW3){e!=Y2Eh=qoAN?Qg1)~fAj$e3p;UA8>p|x5%nH;%_EVI!w##eBJQ+-eL<;L zojh~7y~IdLQEfH%%4XncYJ21_NgeB`!|`CRXXCQS(4-LXJlDa%4H(P(Es0UgGwcCI z8xul0e*`@1U&XP066AmL=xf)#Tzth!J@dk<-Fr}!_|TWP_@@$ZGf*S?woy3IBDlt% zrfiycvr}XGNz#lEM8cC{!_;X?VnfJNE;Y-B>$V|KZYI-6Oq%u;aV}t!(iG%M_^E8) z6Us`Uk(K?Hr5Gv!uuzo!V^ID!>C==ABX2M}DM77lM8e|!SpQ-N9IL8GP1pzz^S$y( z;U<<{oJ+Kpy*5@sj_2-CBI8lp*8Tilhoe+z@+?SP?Av2LPTyYm?FZhq8)e`~W)J6fuTC zjVp8%u5WSuv(-$C2-2}`eO|n2eEZessuWx(^)vxNP6YQ%(g^QGOp4H)&GF;O6xC+C ztAtZZJEYwkCY3JQp{3}TE4Ac-^5^}e?KerIFzjo+L-=IkHEo|Vo~O`J_n%652F4%X zM@h*p#qZg(k>R1K_LBsEpTH$?%mvr79`uI^jNqv>mvQ*mPuAddN^6!#Yyh+vcn zsG(}s(jlTO1W@Oa^#l}ZDAf+aM1%tWt;nBMNGRb`GRrxG#sJy$^7dC5v^jg5?0AZu zY2<(;gL-SqOkjUWi8o^;s-SOXvo9E}h6-ccOWBrOhyY5y;SQA~z$=7_qK{LOqR7SO zYoZfF_4TnVULf2cz*qpFoz{&A4(7t4=X*k4?9A&5phqQOMscjEgE^DW6Ti*C)z@?HN z1=(?#Zar>|kSsYtXt2|tBhC_L4j~MXmYdEP=rI1QXYpBN{{xDF2$dLr5@^?z)GL?> zufF}Rjg{o1Dn@mijSHhf@&x@q09L6Prr!_HJd(1%Ft*6R#k zc^clwXrE~L(|ia_7Mshw)a9&nrIqI&B|Mw=yZ@817RuR!dkGbY*LaPW3JK(2SR-%L z0{0sUz0@14$z8M6jWzWo+Rw}}#;+Ne+-z!d&&@HWd;SbyH9!LwIV7sqVarTj`qNi3 zPX)RYaU62mEUY}O>hzL6;Ej)0yK)7nm{$c98Q$fWEL442+r`&Oo!F#kRMP9ugKSAL zf47wQ2#$NFz}FEpn$OE`?-A^1oyo%K>lfX)C}S?v8>4o90CZhHX&N(m*S);0LHUP| z?J$G@J}!)JkgA>2Rqof&c9@QQ9DKxqj9yB<8A3ZOlpyn_O5kNd7Yh^vTIr&4?j`S$ zbUJ`AX1q)7&0Yb)R;traWPWZpVtlB2=ENKp3aIl3q8P2$8H9}(hh`pcW}H09Q1k?N zay}a@J0LQ$r5mm2)%80~@U~DHn3jw+Zov0r+wDA|J5z{QJ1KuF^6-xV4{)SUgX*hz zo##x8gF{ks-)r&D9zd^z ziiLcFf?%jTod=F|kIgUdV=PZfleV8X;dj>s^MwB{gj$;G6T0Hp5V4QNH5T)tru;{e zf9iDsBzXtpA1U|knPUB|`%u+sIoKkALh>}5XQBJmd2UN$ z6Ax_giO!`h)Hs*sSfd_XH}7jFN4|*|X%dcb)O^>)BXp^lsnL6ak>c9i7!sPv!RD~J zFJcg;g%$^-Z;@$)=X)P%;vm?50Olnfzs?b=41t-+z7uVo(;rE5)h2&5? zfKPxT;gvSLLmLN!+-fLAu7$7mm}O%sUI(;dQ?##1iK(rdUxo6*)6gf0$botA>qD(-VDz=ZM056GtuFUQ<+ZZniJpjRkG>~B~ zdNBjW*df^xZ(5mVr9PMl3e3DSPJvw>3d?z?NuOb%Wg27}6SsDw9`*RpmPBO)2dx}(HShrC9^t-6nj92ag%ebDtIOFwFae*`+}@TU zc2+#l`A)Sp#@?#H)rBT}aT}!+@tNowp(#M@DSNcMAZCe9Svk`&!=Z=-&l_M{{8x0f zCad<#6?=Qif_RKpgHMkW(1DNeVw%Sq%q)%pfM^M-hBQ%1G_v^vp zeR7H~4j{-%L_$*bvmyz)wyfNbGqB@0loHryqRm_K=ZcH6YfJU&VZiJ=oyizfK|V@#+ycZhHt{Z=mpoAl*|s0(b5Z z)MOm!YZ{yyQsVt}`v&Lp*qHu8ov7znL7Pt%7Hzf5T>(UXG0B!PmYM2S7Mo@GCW7Ba zC}ZFikNf+K_2H3d;XWNPef5_LeNiy(P+u$x_yZ2IFDSZv6?cfuiZSu+Gd8$Hh$G509iuF6@`sN=ki3I%K{YJ)7Rx) z4Ox*yi>QTE-{78d3Ip9wPZf>KL+4O?+zo&d*Zs%5d!&rWPrn<*ubQ1&cI1Q^YJRyC zu-OKhg^J%Z;--3ghX4T2KWuQEH_Qus)7Wk8JF{?`y8d7=w$_3ag+#UF?^A006{VJ5vl=1Am3yVGh zLW3TX;@oA1jC&1)VjyS0$f*hg0W$pV&j`H#OjQT~5I%YaUKtB*sFvHmVp&6azqMo{ z*S?5|ZF;QuG6!u1DB}J*nT}iae8>&;Z2B>=a}e66(?S1(R1~w@Xp~v=>0S4P0}`#q zH%ofS`qH?@fR)Ru7JyR$(k22c_{pRLVj0aDUsL`r$9RWtb{qL0z4|BXM{xWKkR!bV z+WaCAoEveg74{thj!>gHcLqRW`ee5f{-TPuYzKrDlWURJW9C}|AA^3qA%$eER83e~ zHXE-bK;@z&EU7~i#C~yk&b~21@92!*b{0{AJzyc1EmjPjJ}HW*fwj5)jhQ4ukdTQ2 zmZj~2aYyjRSws=Kp35NOJP~BFkY(hc1u>CZM5K;<`ORUKMhg5HaJGb3002D)?q&Rz zE7^ZhX0T;SuS9g7TQjfg+P4v^OP_a}0gu)$l43`-~Z*APoGS8>O5M5 zOchI@4&$#LjoARvxxRt{G$0XgWFOX%eZi%Km^UG^0IY%zn89i=EwUCALeP>A#w<;k z$nPe#0KP}h5;Is2rJ(^XU?ygslGL;#qO!FJaVz$k+(GAJf=waB|9ebQ3ZoTY8ET=b=x z|D5H@1U4N4C`u{49Wpr_cIO<3ML8(75yc&0n1(S7qZ-6u0J)^0>xU5s4ey3h;s-fs}cJolLjp>MDKa@9lVVw zvUr(c0qY^u6KHoy{nEBVs>BDX4b8~zNe0ERWh_|RnKmBZ;y~|X7gQ`jTdfyi5%-~f zacCr1f!3cGxqTfG1P&{|-?lGa#n3^*fN%2RD05^LdCM#HT4s|Mk=^gGjPyViwD&Nx zg}IUtM!bV?qI^x|xJ;bDe`_&Ta?&4^qd-`6yH6G6Yp$@Xpgp+>LPlGl8(B(QBGCtH zvwjb{l?dQ!kxOoV>_|VU;Dx}*CFChUz_H6^Nl-9xo9N}~g=qnJ(9CX_22=}!!10g`B!nf>nIx#j{4i+cS)MsuAxt9Qc0#sL+cCuUC=q%iItuen3S! z#WjEvAUqqvHJSGUg;4W6q$UZ6nVt!N@&iD35DErMsGtx^uU0^f+p<}JYo~hsb>!UY*>;6X{PuBCchQvST`~3g1xJIWb5;4EI z?@L|nc;)K!1F-3R2HO`knEJkm{8|3^&K~f$X8xbjzB($7E$DOb!5s#7g3RC$AOyEy z!2$#b?mB3Y0D}gC+u$yN4DRmk8YFmd3zh^4$@0Ga_Ir=F`^WBn=k)1wx=(lATXn1I zR#(@(zlTJ4>6bN>t{nsGqhRNaP$kwPlLpA(J>-8S-v4JR{{Q++mfl>(Hn4{KU-Zum zxNqP6-S#yklfMR?;M);4Kch|4gO6+zp*W^GZ99dRmuc5xX9=eyfujj9B}Fx+4q3Oq-Ov#GGV7nl(7;Hp`j!2*J>sHLT-wjud) z1oS>~Sv&_S{j!YG65!Ml7^Y4Hvt-1PkjH2dDiTB1rOs^_1AX)b*>r9=!E?rmRQF=D zd_o4g505zB=py8)L9ydS@6~X9fD8@|R!yXyFb2=0lc|b3@QIuUOG$SZ564(@`ZGN0 zTA*P8zF<&H{GyElMTPeQTgdH4vp;}(ymgkb>Ra`1@=ae2kx`DK66nWd!;)(lZ-7Fv z;g1{E?Wu7^k+fxC8hEH#Eg%YDDZtPQq_X*H3n3r64sLA22pnmcTtHv%cIen%flBrd znN1xgn`+f>*TG7xC_dd$vdG3yj06;MEXS@0$6(5z7ziyYFw?oZOso(r@4zjL_BE{v znm(ck7V5t+JpOpCU5hjCSFWe);0v)}yWW6}51CExcVY+tE$t;N*ON#h^qa-vNItxi zEf9SG_)LV87fkqQ6DA3h%4Y(WSsE6?^I1AF28go~2BD2S!&^I}{mYdYQU##Z+_|M*EvBSpL*LC3K?^W^$af?66Bwi(mhXtXf^9c49wml?hj`Yi^`kO{ zs&UB?fuFi{3W8Q5GBRT4=?G%@eT4K6_n~4*g!I!CSIa4BX~7W->yH%q`18XeB8@!X znbZ`g9!g{5{IV+Tw$Em5^irr$+p2RCgdKSe<8sQ&_YA1`^jX4I*9@`{DF;S)f47aCM_f(c2;7qcj>i)4cfyz?taxo{6LES^K#WPtOyFDm%{l_L!gAA zt~d#+Od%$4wgYu24clSth$PKB0t~@G%O;~HWD6~UM0_AqK}WJ(f!NS*)^uySz6Q?i zjDP6GYv`Nr$D}B0ckoiBSVi zvq$0;S>ajtUmt1s9D&J;bcU)s)O|oQG(TRTJh$d`#USDXh$Yg*0*o)xyF?hZ7R7mY zIw~2%Z}Q78g&-sxy>E;HPb(Jjg0wuMih^~AFgIUza1kv?PjvTa?a@Gdy(y!xR?(-hv<5dyEz@H)_pqUy!-aZIsVuMHT0Pz2AQT=;@q+kRcVr-f*~gT z+=}62tws88_R)s3BXAi>r85g;-_Hlr2V-5vx2cDr0=k|v(3)konCRt|H=tj@p3D(S zq9Q`6$wu^XR6KmFzonrtAiZ(YyrjDPPSlmGha6wVh%B1NuJx`qg&4T(Lm$2@5I$_K zSNfha>*XsB4w+0FqA3(~QB+#E__@6N4ho5-|AAH#_Myp)2EeLG%jb<*)70wJ&xuF2 zncUMrjV=S-o)2$Ysds$P$6$|X4i-&LP1u;8S{4e58%1uj9wB>bZkk1 zDHTpmUNQ4GEL>*mOzoy997=}jpW@Y@76C-LPm%N{ytTf!Dh>pdNT${S#SeIg4{vLK zRI7T?2vPL#Z0!@5tEWh&_ZbqIXib@3g}0gO9O&inI06DoSJNlf%$w2xN(I>N z$GL{~vY2z>=)R1TvqxD!*m8)RPl1i036l0lAP-zPSGMdT}*#8-hBvU40}^ zyVwWl9x{8!Ll7kdY8$eivNc09!2eXF4*(!<{J45!;;hxp3Cfc0E|6jei@PuI;|D!* z?JL1lO7lMZL{|?>yj=V38ai%k=d9`VD33y5#Ar`DJ5<)>lF0v+?={PPU0Hg@|MbKn!Q}5sl z)Y}4Pq_vD1S%MB!B;!m>7{&G$#kwR-RAc`|^MiK0`%;z151=ytEK|GQ;Qq*0C#w{1 zv@5zCv;rhBl;PeNdnV+B>3CMjr^Mi1cz|EA30tSkmH`8a_74E?cXaX)Jv1}$b8lFv z)l)03<8}YE&39SVn;p?u%SWv*=Hq&AZR2il^=4<8X(Z7OQtX;Zs)+t&Y9XHrL4c8t!O?{5gThtiz6!U)}h0)UgMhzB-9}u zbx)S~8lD9psvxO?)P=2iIJ1pzPT=A+k-K6nTAg#s76FLLh0$j#kujz`(uG{$D=#oK z)J*$?=BZ%Gw;YP2EX_@Ok%)h_R~It$)i1kobWjF}E#Gl)%^h<%f;$xa5PyG7C99Ef!BC<1`ozZ%Nsb zx(?^;(1}cTLvoERltK(xc7g+X9(l9V&$KOy$kWjvAI*wpSCM)FHoBgUM3Va9%$KLE zv59XeUCAE+EeE(P=bvHb(p9CWx(eJH%Zs@-d5ffL0pulNa0hXaIkqXMVp!qg%*_%X zzfLFxiHc3`{J0-n8(F2xzsFuva&?WE#dBn>rohaN&Q$*opmNENtSC5w0Y|p`TEW>1 zA0^o_rvkS#XenU!kt^>MHzFDCBoTX`bN0E31AhlX-^OtJ6{{Dj{9XULax-sR><=I; zC6v#3;hO)SQ$QyNb72#vQIgWL2;(XB{fur}IMwVF(VRhU)}i*7@*565oFNG`1&Njq zK>MKg47QrINri4+0*-r9iiBW=IX2{Sn6^wF8}%A4wzr0i3Q03U|3gfGyDUZCEr+(j z$qkkdvL5CYaXS`f6X}6%I}zRm`45r^DX+LJahFF^U97_Ue#PAtZG^!@pC*NcYW|M> zNuC0_)Tx2S@uD5yGm)2|y(8O_q2oO<^ORZ=wyh*zvbmb!NV$=PS#^ZdGY!SFpIGFq zdplW=VrRIXZqjHvjU6@VMP=UGB4~y02$2arDn^S@6l!>MG(Z*^r5qp|PFzl2@bDpK z-BLIt9YOgLYp<^KOjo+2d#xs@tk|&c;NnqG^@~C+iW))BU6_omdFUV1|HJeEZTB@T z`Mo&ChmkfNkFDBD(v+@*ui#khjyLOVIlpab+>wR>f8yf&~$DwJB0-f-^iAx;h2x!XdyebiHRGR{3b6zvW-ebhth9p z#3}k0`Oyu~j8I#XvEGSNZqW6c9jZ<$;i=YL9R7qFkUe)_mYi<%-N#M2Py*@T?48c5zoe4o zRn~#eyql1d`@IMkq!IK+kvhwRxZQ9lNA>pebuIerq0LHFATpJC+5Io3M{>F{39_ga zq8=`=8|Cug9z#nGtVx(c(Gm_YO6&(0<5VwLcb~u3{YzLLTQ%4G{opX1#D%woTbz4O z?Pxf@qMAl5`e(;;x#GDMh}b z??FI68K@6kX{q&GZ7(r?-9z6|xL%}Q;UfY8=4{xKw>fw@~k0$g9ly5*7``GgjfoWA0N?FcVAE`1EXY%=Lbv^kig`oT} z6?9+MGL_G=GaqO@%6sj0K8ut$=Nlv+ZLd_JIt8g8 zS5=#nef3J6`yIhuBOek1LEc2axJi?}%8vT2jX1eO(a>Eln6KX3^9;9ps-}lO2bCr; zRml^dmXW}zSQ<@4=d1Ipf=;N5MBkx2(x`1v5Pcc%p45-RZ#x&(G=jzUqPZ% z0Bq!r6Eci_8uoD#uM~9MsVM*|+TcIMB`L-1%)UzCol>kjqkV%b6{X%&ev670?|841 z)MY_<$1!TEg$emR*!5T&v|OA>49K`Y9UVArQ0csB)O<(^E+Ik0FP3%%MMgG<^J+JL z{cR}JmnbPu;fF>0g(jsZ2K;px?Z&VIwT&x7bClR0z-x?uP6vLihrusUuR7rNng+1w zeeskfBA)81=eD!VvriX0;Jm1Awa%TJ*JX&mWcFb9@1A)jh!`|}IbhNhYVJgz)(J)G zZ#3B>T$tjf3axHz)xOsX#-|jHefKExXw={6x+YU<0bwWXMt-izN-&jrHZ6-;1;qX2 zR~V6q`h7_SPzvLCs*OCGqz#g*hcGj^=S5v&R7+e9A}1`OJyIWmsOFb0H%R z<;h|amU`q@VLGd54ets^a_xKHy+_%y1ZIIOm#0kVBe4|cr@5S#UN}!kAUsO(eEuo%Q@RYR4=OzU-i}t9P0j;F(ey4)50sK z8)g>DF`p`Y&)WE!N;~{rYboMu_K7yP{CZFZ<1hAH^rBViD8(jv(c)C3G3S1T_i6t6 zIcAf4B9Q_3pA0tn)qS-kFl&jFA}ny>8{%mP2lxXJGiI0XS|^;;qi+;_?gk&p4*~eB zW8%M5^sv;F*Rv3y-36*cMJ62J>ll{}^0!C3svd5E_ukQV)atbjGqsZp97p@UmXE@% z)%;aZC0u=&Xg431;~uErU2JgHn}R8VEzH+sv!mnLO{1ke{vT#2Doh$(r64==)5n^3 z2VEBfM+AC=p5~~}M|hgRcB}^R$z6^HWq20d$q~0Q8U4`V=2JY;Iy63b?uv*6Xwm`Cxc`XSkVdBTEU zBHB?lAr{d}v5~-8zZ=KfpB?AZ9tCq&tCp1FH3$d?oYQP6+mnwyn>V%F(_1Z(V7 zO1F$SY6Rmk(zz~&T&-Y9HZb`pnpqW&zcxYt>x&&k24#gM^#=Tse{#%uR2wtklzw3j#*Z@#eW$8~nUh+$y% z54OW&Zbtb@tnRDhSG;6)eE9^+09lm4luo^lsYo7x@R@b2_kW!cTaWgHXsz@vqBMqq zht9MfTUz&)otiMs)1f%zZBCVo-gn#{)BpuzMeWR{L95;0vB^!DLNXPH!Ug3aIqr{q zNv$d*B{V(KMfI}F$AIMBs3kUXBZ(YGOi*qsGM2@Y8VR#}9Z*c{Cudp4(kRH_MTmTL zh>vu6yO>|pbRKdS7~gBNtp??G-#`jGQRp;aT@sah1rzOG0iy4M{p>6%o#Wl^< zF<&)d)hh$4?cTH&;ht$DCqy;(?I&{~n}qMy=4G*~rBk!DsfcSQGRrkW29mJp(Kkv0 zp7;L8>=`2NHv!_uOPT7F+cAC8Reh7u4_(Qy9%(*9RpKIy3nIQGMtZ?8ru=6r?iK<1_jX-;Ng7g%%C=hB4d z;YARWIe)ajCoh$YKjmwFxWT+XcV1K&^ZV*W5wrCI_>?XUAs$bEpEoj<4<@TXa83qs zD#lOc;3=Sje|_m zE9x{+D30q3CziX{!_YPdI2z1&+L?E98=b)HmR#6RITXc!7+{Fe8*qRn%fN2z`)f2y zIj7BES}jThe6k)aPLSd>FmSgYoY5t=$eT)~J2mYE!iF_%)Nfgs{{r245dnMnSaAV8 zE|y;3tB)Rbws21IyrR7-&NM{9A5fM<{_cQPD<#zj5h26iVzj_~1>^AOlO(RRv!zCF zJ)|!@*2VCL@L7v6UBvQ7&ECl-2ctRQa)&>;$4P!`PQWsAdFuX^X1Hme>;hY)HM#VjewbuBcR#uvy#?~|S&LN;~? zGPnIfZKY8hCNZ2RA3fpAwxtCcDpRANw77oN3{Bx$wBCvVh?e{Z(D$DNIGhd%{pN7r*(eqKm0=$f=JhpA@Sdqaq% zFbU&@A@S{-uJ0GMe6)eGZT_@72lU_Mc$f{5pFx#u`KiMYNC?I11SJ)Q+}Ec~5$0xw zr*h&i9e`W%x-8+-qd(KN)gUyPkxW!U% zrrtBu!WV#tDgdX7tJ_eX6|`LaIc=d4mG?}Q9kqD_Jn~E&*aIRf&Rr&Z-!$zqKNw~* zUZ*GQdhfbfy-ZKGclit5|BJ0I7>YbPA>+Nk1-j8Y28;X_f%YMdfd_S((wCySCc&Cv)A+N4l<5iJL0f$p02&ab?ixg^~%r) z)x{j9BKilw8dCL89O0XYS1rB5P%>X1XTd|s(uN65Tw`G(81QeWn!G++agtgYu?l$o z3%K(IW90cYcN){TGbZ2PT~jd2F21LDnw4E%zondbZJt_v32npu6*i5%B31=2U+Uq) zL6NN5@PlQLmW(y;?0f^`;`^K{NkZDZBPWUlmby7P18Pb3!uKSzMf^orhPzM+(euHccvZxGEEdpZELjR~kkvHr!doMkkI9$pqaHi+8dM z`*RwF$2F+@O_{L6MvcAJ_v^hgQG1fbivaITp^2DvR#EGpp~NPNQ4w8pTPhJ=a||BO zKi%U{t95+ei)dkxTg%<)p{!A?5n*cV4Df7uC`Sn;_o)xxrj>o>+l#4*HaT5?#e3(D z@sqTFbG#}t6Bqx>XsES11>88Zsl_c90K^X7V3}JTnlCt>ES+oKBzJs`y;L`P#6@w} zd>n)6HG6;*Y^4>~cXXO}DI^}eoYYLPop`vaTmyLW{abmP>vrK&FAz}el2WEYX%YB$?z10ZVn0ZO!06wvxE^7N>yGCuKBPQDu#12VKql}@K}(arK>5H%YZZ;kbb9QQl}hqDn1(B`VBwl6c5Z>FpAsCC%Zk+$`IO_*g;rt)LQI`r|mQzLV?6NAM2-IsMm!YBFu+4K?NnZUx88%n>=BBeR=d#DX zAI*zMf6@SWZj`qb6e-^~+|&m&G~J)A)ZvezKiMTU*J2qKNfSQlkvKhBWbWn=VmH^b z*ya^4`{5GJxXJfBaM+6howg~g7hg$-BYLC9FMFvJ6$O3%O27d}u!{f#;h~T3?xel< z#Mo*ePI*Ff+gziyTV(dEX|u(*X9Zw3i{eD_ummC_mQz?sm6Rn--X1w7O5GfhzIXZT z0H!ZGXQg4%PFv1IkIZM8?_99Lx0F6q^M-L4~SNHY4)t9S@uDo`)*tl1I2{ z=#_+#8Qb698n3#<$UB7^4D|**{BT(>GFx`%tlBx*s77ZyiVcZ8+=WaRP1I8ooljq( z#0^HNwqyEej(kEy9#f<4>pY9(ZsF{y?<7gB#O)(=>OzOGdu|%WKU7Wt6)ax=0m#J5 zwUM=Jnso}tlM%K-6;LPgMZY8WCdTz`N(+&A=k}HMfGF(KvK2xDVWn7nbB8%NOQJMh zy9P~CZ_t%RLMhNSoyKO23um9H1O*O(+0~-(Ud5@8r+-1d7%w8e+cfnFv@yUujs%WI z+LY?Yb;}5GI$)0qCGEZQXf!@8+P3Tx{s2&) zBH64}J;=DArA#jP2}252?v2;Wn5!j+D~efjDk6vXACtxP54S;Ugmg#w2@LAmqv zDyiXejV=txQ2?bnX`f*@1%A{;ZV+~pW0e8f!r8rPF(l3jgaotfwFqb2&2r@}*&}OI z_omxK@{$QG*+`r3&!SlmzUy(RYGVkWPfp;H2#bP_hBwwC5xiM!v(vovr3EpC??N;5 zij`e)=B=4?mDC@qL_%M$FFC}ng$tI1mL*PSh^|*Q+8?Chd7FPurErK=oruUAouTw# z!;Il=II4MwJSlp#5o0#-k`Iuj<$nP0i8n1OgIiN91t*h}H(?y8a0A$LprxEGtyE|m>$u@CB48x=6H}ow7t>Dy^Hdj2f1mu3_NS=aD5!pSduM?7= zB6|HX>$vVENO+LD+RZ9BbFM?oySMQ$6_@$F$0l{x-susKjz51(U6%VYbQ_PUN5E*% zE$C@Pn$Dg#(+n$}nlW`zd`q8;M-##aT-01Z9-@q;-9<6`v1}2uZ^Wrr970lFy49o+ zdF_jTRC%3m0hEnr&kzb!PMa*i(}jMhcNN+lc5hybezs;*qe3IBz(miil28toI1<;l zRE>yZAV$45mBea9(|^&gclj%&#mwVO7_EyO8hM}Gr4{DMW4|r&{Uhe)*lGZ--ewk! z3O;}b|GaTEgII7le=qAKg5ZI|CX-v$?-$vsJ9?+Xo~z@kP5H=h;zI17l&g9wj&&3% ztRK70IgwH_;t{$ORG5yqw^@uoL&uw0N-t&n%R;o#$fmIv4%vUB6rkkfP`$T^u%3I+R|A zH7jg*e5l76C2DE5dEM_x$U27TdPw%xF6%7fgkj)do?Vm$Rq}K@|6DZ9x#2{Lj?Lf8 zFOu$<&NNcMLZ-KnCoE3aW4))8_@0F;AJ42ZL3n;bub$Kg&zd65WbV)_hLng_tL4@@^Gu-`3z0BLa%Pg!Rlk{?RJ z&&fzjd!)nL*!t{5p_vv67zddeaMbXjv~vUgi zzkW;ljon}+==)URS}4dwkergnt5U$ikYA64r?4JwBkb1xP_qQ1`tsR4xLiMG_lfM! z))dl>wnzmA*H^`=369_QKCQh|ZG7k~QeeL*`jZ0kU>~Ot3v4jn+ct%WaKW2kan z^Am^968kuPf7#uZW6>c0d(N7Xl)>(v8a2W&WlBNDDhR~Yc_J8~#Qbh_Nl4H<5TTV+ zlORGZ(y&85V{VJ7E4b-81jE$jNI4?p9ow)C;J~EA01Qb?t;MNRdE-#+ywr(dtEF8y zS4~Z{-=#P-kd1p$PrVTACw$skL|nFQH-qlS?mgjX6yNWoj(9H^D0xLClMCGo;J&gS zL-tJ*O^V^*iJR-2JL+5fEKN9Ok8Ogv1GO`li20-f%P#o31I5(`@)}Y-IM>et%~;w^H)+dgTz`N-h@yY^Gs?kLwb!(j1)VS zoH*UE@Lry8*Ou%4B0F!{CB2*kEt2VZGmI*7a!fve* zNCbRLz!_^>Sp=fb71Ry3;dMPsc0`gZKm_Lf&QyVgydbI#jHmt#Y1Tqf#CcK^xMdgx zD==MTF`Y0Ty30+5LUDrcUYKI0+d|PTRB9is%C+( b^t%du*$T~sW9A`WC|Qj8^0)KOKTH1u!!Sdr literal 0 HcmV?d00001 diff --git a/content/_index.md b/content/_index.md index 4b73eff..ed99873 100644 --- a/content/_index.md +++ b/content/_index.md @@ -19,13 +19,53 @@ sections: username: admin design: columns: '1' + - block: experience + content: + title: Experience + # Date format for experience + # Refer to https://docs.hugoblox.com/customization/#date-format + date_format: Jan 2006 + # Experiences. + # Add/remove as many `experience` items below as you like. + # Required fields are `title`, `company`, and `date_start`. + # Leave `date_end` empty if it's your current employer. + # Begin multi-line descriptions with YAML's `|2-` multi-line prefix. + items: + - title: Peer Tutor + company: University of Erlangen-Nuremberg + company_url: 'https://www.fau.eu' + company_logo: fau + location: Erlangen, Germany + date_start: '2022-10-01' + date_end: '2023-03-31' + description: |2- + Teaching students the basics of logic in computer science (the first course is called "Grundlagen der Logik in der Informatik") and the basics of functional programming languages ("Theorie der Programmierung"). + - title: Midlands Graduate School + company: University of Leicester + company_url: 'https://le.ac.uk/' + company_logo: leicester + location: Leicester, UK + date_start: '2024-04-08' + date_end: '2024-04-12' + description: |2- + Visiting a graduate school on the Mathematical Foundations of Computing Science. + - title: Student Research Assistant + company: University of Erlangen-Nuremberg + company_url: 'https://www.fau.eu' + company_logo: fau + location: Erlangen, Germany + date_start: '2024-04-01' + date_end: '2025-03-31' + description: Formalizing results of recent research in the proof assistant Agda. + design: + columns: '2' - block: portfolio id: projects content: title: Projects filters: folders: - - project + - projects # Default filter index (e.g. 0 corresponds to the first `filter_button` instance below). default_button_index: 0 # Filter toolbar (optional). diff --git a/content/project/algprog/index.md b/content/projects/algprog/index.md similarity index 100% rename from content/project/algprog/index.md rename to content/projects/algprog/index.md diff --git a/content/project/ba/index.md b/content/projects/ba/index.md similarity index 100% rename from content/project/ba/index.md rename to content/projects/ba/index.md diff --git a/content/project/lambda/index.md b/content/projects/lambda/index.md similarity index 100% rename from content/project/lambda/index.md rename to content/projects/lambda/index.md diff --git a/content/project/nixos/index.md b/content/projects/nixos/index.md similarity index 100% rename from content/project/nixos/index.md rename to content/projects/nixos/index.md diff --git a/content/project/pcf/index.md b/content/projects/pcf/index.md similarity index 100% rename from content/project/pcf/index.md rename to content/projects/pcf/index.md diff --git a/content/project/resolution/index.md b/content/projects/resolution/index.md similarity index 100% rename from content/project/resolution/index.md rename to content/projects/resolution/index.md