From f73f8e335f175cfdb40de0f099b1e7490e78660c Mon Sep 17 00:00:00 2001 From: RobinB27 Date: Wed, 18 Feb 2026 14:32:25 +0100 Subject: [PATCH] [IML] setup --- semester6/iml/main.pdf | Bin 0 -> 19073 bytes semester6/iml/main.tex | 15 ++++++ semester6/iml/parts/00_intro.tex | 1 + semester6/iml/util/helpers.tex | 84 +++++++++++++++++++++++++++++++ semester6/iml/util/setup.tex | 41 +++++++++++++++ 5 files changed, 141 insertions(+) create mode 100644 semester6/iml/main.pdf create mode 100644 semester6/iml/main.tex create mode 100644 semester6/iml/parts/00_intro.tex create mode 100644 semester6/iml/util/helpers.tex create mode 100644 semester6/iml/util/setup.tex diff --git a/semester6/iml/main.pdf b/semester6/iml/main.pdf new file mode 100644 index 0000000000000000000000000000000000000000..08082e2549501b3f332183f5d0747eb9d2886be1 GIT binary patch literal 19073 zcma&NV~{RDx20M3DciQqw_K-e+qP}ncAc_q+qP}n^L2FJnThB-F`d75M*hi_5i2rd zKP$=PMa1Zs=-FV%=9Y%nV3?Q*842wSEn#?hVHl)MY|Wg_37J?p3IFGSVGy&hb~bS& zWDv79a5fP!F|so@fdK$uoSYp^3~XTBH)3MzVFm;cMLxZUlk3}D-0W_jGzCR3FNcJr zqeU5!zx-Gw5e}{7-3-g^=&2);n2%MM1U@GYy9gd32BK) zXsJL!fQbp?pLPXEB_ZTP-TU!?=mZ7uBK!*@xcbE1^iXk6g8NtAKT-BtPJx4qi^<;o z!ayT!_a1`9BE{r>HxIt}P=nFI%Sb$5dk*_sQI!jR7n zBDfDS$@&9O|A=}B;`!^5fNmgioaN1fMQ{NLQ*eGTgaI!g9sUs%1g`2wvqcciuP4fd zf~17$Q-y?EVg<%?qdZ`!JJAF3-J3lD8VDTtm3*c6P$T9%aAO?W!9PEN7knE)V(de@ zfdO|`W&>veVEO_D+P{GZw-qL=xrbwb-N4ijg7~(=11qCF13|eC@IMw@E7-fiX(Ik{ z`(`Vet7ToYQ5EF$Pq4L>2ZNCLs^mA}gt3g54*<1Mh9@MBa*x$m`Mq=Z0(3=mKxQ~s3HC)}d~yl z8oS1n4{ZOJ@ zlGh={{<*XT1`8I<|9vnxHn|P#=ATnn{Baemzj!y3Knvzu*iV}h86pFMf&srLgD_|( zC8mdegEo3T1A2a!F%l3*3>eZE2D)+w_9sCW{koJM{s&BS_2+p~{3~wgC6^LaRj(I; zK5ZeG$!bF|kW zzGMr$Ns~``2MQUIu+a}(*JddwAk{{rzme+IiHVb1CrYvt0mlXginlF3ziqQhBT=@%6{B+KIP#!kYM@@&FTD4-ycd|ax)2oz9Fg;R=d5C^!hpm zeL%WK;;2$S?E>$gr$Ot?;2ebp%0>RHBHR7`Oey2LKVyP8XqW@se|CQuet6+vj;h%WJXn z31_5vd~+)Exjy(wky%^?|CYx!FwHo>MXc-KW<2z*B01~3!4MBcT6-D-eApHBC(iJ% zY=@}ny~?yho{~SVnJO~LoqO7l#-v2~?D!V|CH|=*n|$VUw&a81$q7LCn&jN`TwVM! zxBx@M2i!&o{xx6y%!T4*pe}x);Bj{3~p&9`kU$j9z~Ioajw(oUah?jh+6zR z=sy&TCp~-1P+}TO_ZBSr;`Lrr-=ON#zpLQwTy zS=%{^Zdi2vnYUiqF64f$543*H58a_K`;)d0W52|As^GF6+ElMEE|$9+>5ml4_QR|_ zw>RG-C|x|uHZ8Ys1IOPf*BsMjs~lan-a|f3lzppL-!6`p%Z-^8ll_5Y`T%u=g63B~ zDhrl=r49-7(mIGzrY94fCS2(0*lb1QzpzrWv10uBm?N_GYJ z%F@hRdOH#=OhTvrq1nuYHGq@J;#3*88>ICa&h#^^$OArTAfz_u{DN z@EdRink&&=4Hi(0db*|pL(WmJ$>KSqEiCJjyR{BeEZN=nF=eIMIXonvH@Bnmc*tW>RSI3vsorXT+~*SWf9&u3MV&XdBZz z$$Xwg>*g;alY+lekZZ3nJ(oD+(SS`zu4SE#R(OgyH;`)hUPw`I-h60#x;M-8u{F(c z#iAA?tXjveeZj6Lx~FfpP>VUZC}afNM8!94F0zHNV!qJY1v)3mCb0} z%ze@XED<~dK9aUwy=+vJHrW+lmvjAhx8sCt%5^${Eg%(A&XA(XE*^hs9x}Q5R{64 ze6tn;qz2m#=IInkBQM(%{Im$bL~ec3C^c-isQE@7Ui8QL7TeAll2578{&0CWSMQHZ zo>QH1$Ae3yPCqNWpBWiFHSn~4jrGgJNY-p*ij~imjtT)x3x(l`ZPUz(1hAVs54s#U zvF<(Tx_NESZN}=pqpF0t1L@+7CWSadllKc7l|WPPm*}jxLYRS;VY}Pezv{s$q#Uyp z0$Hkx0n+EjX2v{XhF8LN#Mv%r=)y_oFL9F~SE(Wm#wtj;~;0v~ib9AKV4VJu9pMhjiY?Utokujc?s?s@E#*f*Q_b%uZ(3 zzT}0~UvKl?b`4B26bSAd!%NA(Rc$k%@rUnxu0 zFC$kWoUcJ&u%Gc|Ra~?}Tm#XQSKtxYokL|~CHhI43_@nE3DM_3un#Gh>(H2`))M!@ktcyZ@tVR0Thwe?^1z zr&8k3P9qS;>6}#8Ny7Pvho)Q+IAL%D?^Sv|x{~-qXm5LI+{n{;{?4MArP6wf#!NHo z5_m`ZGJ-9BGMG>KP;nIlP;D-tOMQDKWEPJ_u5tEg0_(2WJE+FX-xAIw--58-YPLDJ zjarJXxAo7CeV28{;}CE5No_ZfaIT3OB-vF#Cn$56@|fEOj?~q+v#x2b_P#1hXk#w7 z$yl@rLaWB3ge8Gt5A9YDKFSwgFd2-DiL1C*cjr-2ucthdg^Y3z%G);D1oogXaSKvyqmAl;&%NUIJ-5K#{UQoed?o9%l7yiW!PiC$7Hc^EhbxKMByoo?@ zHJtLL0240~38;LE#13oPRG3b8yU8`v#3R|`Jr-L)JoT>6hf>v^$1abF@D1J{99t*wF|{w##vesdHdFqATY#)BiSX4?2qe zPHuQg66#2r8|LB-HJdc_Pw=JQtm*FyOOXy((=#*dbM=k2*$JGTh}Cx<_ml5&G2>Crid zU|Hy8m!dn2QWx95kQ}1ZFo+s*Y-%V`A(C1sK5I>Vsf}Lj6h;q~A`BAJ?fT>e9sJVj zLE^egcYO9)eV9c}*SQ}Ldo3F8A2FV%l{-uNYYVlKD>$du-COw($MG)`JppV!%a9z&{ta3w&C*=Lkb?-ADl%Jd3v5IbP=g|g}YuoJpz=~I63K(*W z>a~Mu#lG$F0`UD~@6QACbZFfDQJ$;0qdo0UZRHUaCjl6Ld*>LVn-O#cZKO!mOD5~~ z^i<;1NmgOC=eRASyVJO4FR~?Ob)C*gU96ztoRO3{R+8KfNm}jkZfeOTyy6seY^xd% zvgIDhQF*Qk158Y&b4%DI5ok#HN=d9cRk{l3G z(qts|R@}L#Bl4kS+%=!GFawGT*R9uU6b0QmbWx6f75g;5o znM}E!4kcdy-h)*?L{pw+V8C4PEMfC0u?Ff*&ID#7m>y@5;lz-`X>n@j#;yhjqblNO zc5b{mEM_X-gbX~&eALp=F72{&Xh~kGB&aFkH!GfP$IrkaWh@7)lx_?uZFSV|VfSy- zh??QHlFi~4We}W})Y(9km2@w3z7g$aVJ4t8lux_=U9SaIAc5_HHk8Ue<4EvJ%2(GV zU5eK~wDQA#E_i(LA>GB;LEq(h!?=xH-1p2VY|_E~9_=b*Hn#Ccu>|aLOr1fBdpY6) z-1zAP2m$pKeOCNqWK?x$;=jy|EUP@M+b`UrI@S-vp}5b%k4LF0$`LpHM-m}(Xtwy= zF)_za_--w(6RDuA#GbQS(=kGQc&~pnyR>3^C?n`vhN02Mi#g=%vZ|H@@^ ztp&*E8;)&Oh8%YewBB7FJUxn$Gp^^P{>^)teJ`am1>gLObIhSA)u_L2`6XwhavAI% z6C^rPkT%sYbHeFVB(-OU3ve8@WJXEWO$*kf8fU8)uu79!-*)|08V#GXc9F|54a3PY z&B5_<*L%&;e$kOqvGL9^O-_-UcZAsHO8@OK7@Pj|NSP zz#rcXqtbaXZLqM;Uz}#t`;j=XLahuwMOAlnnTX8bLe7vLOMewWt8HCf2=oXt2ZEWv zBAY0lIASz$t%>vzF`U4kuzB0i$vi{SeG2YsR!!%be@(6*MxY7bOA}+$zen}OPuwy= zjtXbCH~!>#z_bg!1&IrYS~n$Q?(sP^6&xrIG|eo=M9=bcVoB9P_0N5!NP609p_=kCHi0{&=s z#t|#b#=`aUTxORpV5K2xOx2GGfkT8t{PEh-`gikV{dcxc6xww~_5Q5$m~^{*AWLEL z@FkSz18jO$@iExB!>}S*R3l|g+=YkB?V0q~(8J>(`!=-5MWgI5c;lRyY4+Z=XT&I+ zcmzwfP8Zv*F6{08GdXUhGWW_`>x5wS;6$+mATG7WK{&ZQXP4)E>blh5b5ZGUu}mpC zS`n8oevPV?6Dq%zaWz#^bo+pdKof2LD2pe6kDo(<7>+8}cZ0Atni^eJyTo28Zpo0R z54amX;uwIVc!R8thW`(^nbF2p83(sETG#77$>Ir+R?<-gQIF*kD$ah{HZ(mC6Fw*q zrASbI+}dv^7QV;~Qcgv``{|xJ zCG))x&RgD|zs^z7>e-+Yj`kShTF4@_LKDs*I}Sr>N!xjtI>P7?&KAYIksr4>+9QsiyfDuOiiqD7mIk>gOB3a`*ODnQFxUkOHBS|0@O|4bHZ70zRn)MX`!;qPT{u)hnu~shC-s7yQ#1tNVNu{^K zWD%3es6MxrY;O0QI$mYzP{u&sE|BFFF@c@mhTug)abwTk*jUp z)m+I)Thp6PI4auYs2D09`5689a{g#0rj@D4qsQ((qcZeZ_~eqp?sT8VPhj|KpkouzTZ!w5cZI~j4`>sX{Y>Fu zp>^T7cDY1o^L1a!Rv)LLJH40Y|DjNu4I5t(O^&k=YsY_J{DZZnIH%E=y;3VWs`$CU z3d=B_DT%?LW_ai9bdr=#E+T!NGh?e|QL1@$A(ne!M`XL-8eDhhZsQFJ|a&`EIB{2@^#GpD_o=Kib+0fgFRTKlcUe^&)SR2u`|BRsVA8G30OH%A zc6h;N;Xf^TzM0n|=Y}coW&HHtX|JbsoYJKJEEC}Bfa~w#QyunJ4p*E%^wrd)c3G`4 z(p9+{ujLMjJ6Wk?A=gz9ux!=-p%h&bkDs%H@FQi zPBRWfIJDNzz5{Jj_nZ{(>kc=!cefU&T9CY^-Kza}6-Iq|fT{J}30}Lz(7%l4E zpKHo1qnkvR*XX9LJI;Nzt%i#1x2w3`;aJ1Ob{UO6bD@OoG1B(lv>kQr?eIQ4oh}Ja zP}_6!!&tT++vDmL?BO|^~6}Y zjz>5VFb1MBMfc2UGwGsVlYTt@vwr)B0KtahX<%`!AJp@Mr#mSqdLSqGE*@QNz;fx7 zHRBg}U0-hGzrkt$J1G1QPGe*LzX2LEAqNWw`+qUC|2IzKWMyRhKgMaAZt{ydjS&AL zo~Zd)fvF_UL_Kfu{-GoS&BqIz5fbV|KJD-j;~^=;$0`>?gAn5thd;qP&cA-|JZyiC z=1h_Hn!T>`b)NEinfkKq8!mDn%lj8x?^l>7cLJ#+l7h=GFfl83AwU2N5E=*~iid|s zO=9lH2LE0Y9WaL&Z6TT`FY$9qVsZ|BZOO!`XfS- zz7r5*lYsw+rxEJ|;R*VaV}rYq94HEPzUd>z%HFKfe4irqfgXeVlaUSo51@vcy^jfo z8VGVGu$8knvq~dGB<_!d9qHfs`9%Xh%SYknhCxL*H#sSVcyL7?KEgTi@BrF{cq0oW z+=hdD2ptCO+x%xPgmduMQZ_yuR{tv4{&UbI*wy|uP=C+g3KSVQq-d)qh*zGG6T-e5 z&?hd8lYa{G_giq~C#VnM&B+T$U+_-v{3rS+1uEbJ4=zAxeuf?~83E)N%3gqQABa!I zM$pa9%@+s^{8KcTaC>g`9#IYo1iHSL{EHqRL|%mvNT9~+t5KMP5@P@0hWsp4;O7GQ zjb{2;tTJC;(%j69b7DK@OwDHk3J%w^`w`IB8~a8Ca~<;ViNixE&lsjx-N&o#Pfi(J z38^joF1OMgab}lAvV}(o0}?{F_Xl)eyXA}Czq~~UEcNY8_#JcXkr$88Wqg?Yxsx#r#X@{^vesAv;MpPT?L93mnzIB*}K zgoJ+^7}VbHt@H=tP+rOxi7M!^KZN*?!rim%cd7X-e@fruY5pC^PmUCZPqjX$|EXQS zR)C1$+$F=^uhvVi@DD@t@5I9|;+Nm*zl#8oAJe<9u!mkuL^H63Q@NSuP`<6&Q$a`{ zKD4smlFa^JOe0ZN&{e)|VXZm7 zj(XyI!u5X&yy7O(uMGnf&$*mXo#leXIBK7DBz)N#B;V!_l^R&h11 z4=HM6>-fpv@mT8R64?yU(u=7Z#8V7B>z*=-#y9OI`ftG zRth&abU$gevQi}$o<0)`KCM0hhbr?yn_C`IGY&+POsWYM9T``eubOfZ$laD>7@m+H zrc@mnJcU85d_ih%oP*m`%KtvolSQE{rOjX^7#=2gIasK^ua?V>I1KpE76En*#jxGa zB8_l*&X~7I;`W~nXK6s=)ax}~^;idO=qMI)kOXdr`@BVEkQhMk-3p6~(%yL>H zBnZitU)vx@sVMeG$FcPcT|i9a1u5Twn(@-XQFycvUv@<{vdFAFih;nxAHmXMi1Oek z_7|q@g5OhtjL;~Q=tlDtBryAU5O9lA!E1>GuBhC-t2x9Wk6I)M)dLE`Dmb_vadv<* zMn0uJ^)l{VhxriTkp{d8Y33|_m@VV0JH&DrM{%HmVK&BF&i=> zs74-8pgHZ&4kAQT8b@4jgZ<3TP#eSnQ&)bjHRSnTrl)UECrAP=*w4ttLGh+7O8w0S zN|)|A?{9+li-(yBIF6=$=2$6{6;DQ=@#!V6HEGR`JVQ=O2^1-1Qi1Dk-3?WvDqPgk z^dto;4SIY_4`iz~nkp`lXGYw2bY!3Aqz8ISN8{^x=9?{);jQM182wqH{96`O^|G8a zqg=It8`xkPa}G!dsb~D0F6#-|gm9!tGbE8!F;r^5a|bkPuCru(k11ngonDXZ(>eQR z;F){-SC(_tkpn3ovIoZH&X%{*h{T~eoW6u~4^P2+_m^AS*Av&Qfl1L7`Ytv8aLePe zkD|_Z?PA0XY3@65WoRp(0W!gEGagkTwGy$)XVeLf zd_Gj*3|@Y8=ywT+LFD3TUgF-ByZMS|K}u+|_yoirKiOj^1YbkXq`+o;J-@g1qeO4W zR$fiU+d!`+vPPzkQ7d%33?1+M0D846boWi9)QpQ#)5YjwEG1iDxO`LblwVt|fv<|7 zv*~`~lxlBTzxhQXS+oikovgvc7)&39&SVNT|1|%KD%!J58yVnfr-53XX7zVq1!fe2 zjre-cvpDB8jqu=*JuESM-`wu8oZj%Zlb<*FII#=wPjEv3)IN`|RK?%Wfd!75p90 zOiyk>qBT@RtvV#5H!Ao*Vp?U`_`#H(4UK0Om18+Z5Ac&a)Uc`|>$gx@IppSjShI!B z5V%taG!*yuEo;zNOz~_`&geqDB>h(U7I$^RsN{9(R`#p8i_fy`k4iH!+qfFv>?=3giZJS^Nw@;F&qOZ)^#41w$D_9vphXjH27RvsL8Q2FJ{#oAiLbI4dXH)_Dtybc( zVvv4MJkOCxs=|Pt&zp3KVC&~fp?WTB(?KE7yse*R(UdQci}a%jLJGpB7h-Ru(9cOeU6ol8{9 zjv@c&MpN_Pi9;7<9W7L!&DCb)V|a!pfD6$}XHK4PkG21I1BIfuv$J_BF*$$#6Ku@E zN`k}PM2wNRu8gF*8W4{Vk|xhp(sB2@g*}AKlNrxrf#{xJZkc3*&NGKc%q;)KD=~BF z{%z%Q7>7m^FXwE*a~SpqAZ^{+N1HKD`IlPwKt6?aro5rSI$rWt!gL10wT>mi<1Q*( zBHJ)!+Os5rHn&>saQKyyg?F(&YbNK^!r5J_o8n98{FQKevY=~F*8%|myG3|%=U_K| z;^a<%#VpfsX>5=&qs%z#l9pB7*g!?bcX%o^Q;n6Yym0Jp-63)UCRCXak?UEzkgA#$ z1PS%9x9tO--A-qwO`>`Rs{=*MRwMrS-MNi9sa`0TR5&T9_^pAFg>F`$C8n`x+EyNd z=es%RqGfbs=$h=IIwbyWPkj)#4>vt2jH9y6| z$^!OGt<)eer}pAHzTMvSp15lLUD>24&TmF;u{<3E5V+OoIBLkmY%wU7%HB_Rnx#6a zzr?ho*de$zRqzvcJ?TGPJ=WC#%}?_zuUk;&yw$^K7=f9(W{NtSY=#g$+3fdwT$Zo* z5%E;*4Cy!FHj8K& zcQ)|$5=jz5%;8#taN+p#GeJ|2`mO{sN56t@79jPX;0XLRJpHvu`&NKuELj@=tJLh} zExZ&WHr_aH_^Jx()ocY9zPMLqZ!HB}tTfSk-55rS#-N5J!*S7_Ocihag{|yNszHIW zq9R$!4DE=@1AZc3yN+DPqjE93ZSJkD9^N3n#p%}q6Fl0B)Qf{N5Yd);5TBDBQrPmX zJX!WY*f!1>7OfHk$}69+uG!~lsvBmHo%H>vtb~Ch2k;`CwMwJioBeIm%T9v92)4}v z(YL0@{(Mdw4G~Dl#&k%tdsG(%CN(-Rs$A*6+wmX^teZ8NGLw?zWA4P)%PRMp(e=&0}+L7GAqz#d)o zVe(D8am_h9zL!FQ;#D>Nag^&7TxnHa*w3CJlz=Ih5n2XJm+S{>SK&```>we52{|6a zUt4@A>*x<{U+nUKbmR(&3z=$vjl*w8KbZdpF-&@~R1T9KIv|MYl+x$w$dkoA&Y<%h zu;1g-KVxyV5!r!C-A2OpPTE}h>I!MnHgr7kRN7qS#0<#)z z+t$Zw4cwV5v{x`bPX8+<63f*POeJ0%e?SrJerdsCfFgC362`dY@;T}DXVtrciA2}DU^!jQM zLi)?3vJhLSI%yL3v6EM=%?^zxTOH{jp0*=b@9wm#yS_MD!6P0_#+2&1u zV6Q{hFodJ{MP9i@Bj|mv-P!MM7~Xdno3|F25aT`s;33%c?ka-S0r=~t|>;d+92_K}&Ea)iP;uba31#{xe0o_?^g_78hzmR&xm@!q6sgFQ-GWAA3r(#P;g_ z2t~?1lBx6A1&L{hB(^}H3X zXhXN(cd=Ofd&wtKMOON+Xb)|}#I(#)gqTm~S=YFOOnY4Q2Je32o~r)+WN#g)=+^wg_ofvB&~5N97H>k zV2;+#IxR=1jVIOI!l5^>*2EZu$BAJMEZ}zGw`mES>EmSa4Wk}^_^wH1UBwtSYq7M{ zEOSd{=WW~xv3j1DysN-@s-PJ|O_1rHwZGPG7hNsO(#UJ4p==vWYX!abk?{m48~N*j zm4z(kbw~1)vyv>AJ}8SU&ky0w1AR2QQ+50;tA_BNC}Rfu)1R-`l5xXB0f*w`TZ;Ur z={pzXWPahG3So#QZ6zVBZiJq>`zvE@lctociDunr z*b3eoo)Y)+MQPm2?JlZ#-Ra7;KKBEU-)@hr6BlcHz^|pHh{N^ITM*>F8%|Cj&e9GS zoGO2Ci%{#dW4Wq81^3yyFf%z&{#n#OKdTS-x@DgzL%l_(uh|!qNv`q}-j%?|EJk0X zJSwNC;{jC@Mp8j1w*zq-<* zv(7Ly9dMGCsS>f6EvW|mB(FU0W4Q2%j*kLB#YdhxE;Tg;9-U{HwqN=M5qUNE7D!&* zt~x~JPW-QF#oj4vX0}pY{XxUY8S4X`%lCstv(BN#-i5a<{BL_w&Y;#WdHkq*n>jobYR=2IA*d_ z7F9wu!zuA6tGefT6>{?CSVJPjX`nTY4~&v~8HfmNCDS_n_w&k$QEZG9{q7w9(;M>_ z1BI9)B3ptn=^xe~-y%r2HARqfrpt~H;*>Dp)EHJ!c;WhaBq=-Fo6-?CNJlco-RRLN z*JQ|wgY;ojf8wWh{69=x37SJ@0;-t49;S^1b^;_1!$gB&N4~|oNldD@^WVUN5WAuc z&`CMz>x_cO(|d8>A&z`94QnRfS*+zGQ@V}OC`CL7cf{8|00K#_$%+^AOyaPN%PDKV>Q zqQUpK>u*2fU~I`R9wnDlK2xMcZ;$;NL*vY=j~p^2nh0d`J;O9$Esq6y1}Qcq!L1&C z7uOY9&$fs*&)&>+l(jW3CY!#6vG5o@4BZa@Aq%)&*d)8IAYaV&D|(Hg1R|;up>o$u zsELH_1{%*>&xXf@y;Q2%)ri7|YwQf-R4ilM`)T}`H`v(pce)PB$$F&9u~LUAl#1`R zNgjR>?}LhGAENFomHx6PXy-cb$1LQq(H(>-$x)XiDpA=+Jg&O?{>=pKsp&szRF1bS z3#M|S73lwX&%M$L9+@AasVVZ5PP0vNBTX)^(NPh8DL-r#9;n`l=2R5L4CQzmH~JQl zDoe24Xb0#TOsZqD&RB%m!wi43--h857aXJVlGAyqc4=LrHW&|>a*AOV$?3LP^yr8k zPx4UrC2MF&6$}Y@u@{f6NuWII1E-M<#x-m{f&RILGuf+&5v?`aGc9yo_)pKq>P`}aiWIMGakI-HqTNq+ zx=FJQKPrg6&vmFn)w^lH!%Sp3vw2K)9ti_?F#LB&VP|V9n|yb&{E4Eq^)P2UjL4$! zui1rMsqJYquN^`QJEOFXN3e;W2jkEy`7)bOWdE;pr4G62CDrK3qQvFoq1z$sT{sua zA_*0Dzf!#`MBKQCtWCpSkE=f|K&hNZs%S%3s0=ekVfx8%%i!;06c6HM6Y7pJ$KtCl z7+1R4`;D*?+v!xx0Ca+WwwHp3okU|gb_t*85g$1!8@AXjSu%mh+BUI{;Ze6P{uD{h&qy1fNn z6jY7a^_i|`Xh$l6vIw0i#j)}dq;!lERNL0gRLXP6Quv%}(?JJpIaOw9TTcL8wX-)J>YtOR^WS% zE!p>XYcOspceYHA#yhJ9*SA>8bM!Pq+H^cDwH5O0dOgmAWcq9Sx-YuU$SfIgZBL3q zY0~?*f?NOgp0@Y${j-tf^ER7>s`oTI^Y|wb=j1`p?agn(+*vsO>CT)6Ibv9PsF2^wHa}T#vmLlDhCt1>; z7989xk%ZP_fRG~D*`3#;k40i8he78o;PI(1$+KA7k!b$xZ}mCT=++L(@47r`;i~Pj z+nESg)HxdI?pf0&DOLgqY`=Fd0mVGr<#txKF@xSE3G+Cmxl*Dh6tCnI2n8dLdP#Mm zW(zbSD;5)^oPf-#VX=ok`kl1gI~X+@(v%y>;4HBn1rBrjPFym(uvDn6&z-?8G1(>B zS$#FNv%KGy<-+G89d`7jNGJ(@RnM>wv(ZX}!BHYsK7OO7@Oh;ymsWh}kV-Q41sbp` z9IM?M2iK8miMMttis=-aJFHg`S>hyuch_qhDDawVFc+g*ca|NUBVYP8$s*Xm8Q8cB zmsKSNGG{tJ3YEcnqG%*6r|@AOoBP}oxdz6Rbvs|ZT!P%n>-Ie^Sah9E6qPI0?j&{z z1GS;f1V$TTJ$&uV+shtXD@IOM4B}6yUHZs7tNk!?N7#)+J4O)qe0#;x2AaQwZ1gw_ z-+$oolYDHmL~E(ktQty5_}Ue>5232f>R=7AdmiI*Qs60L!>k9QRnZA7ePbyYuX(0- zdlLCs;!CMj8yEHDNu0+|-Xz?nO#F5P6SInp&~V2@Q#*)j-=}uz z8s^+A3Vq-xvGQAr4?uta4H{g<7 zGr6B}berOtJdd3}i2ZUETGXb%#u{6{fxvxi!kBvu_^&q(UR=9#l@F8%Sjw=hof%Qu zHd+a8l02dk{5v1(XBFn9T0Czp!sS(H-$EFM~r#MqZw+8?}L<6SH(e_x_MGJ=cPIX;{l~2uO)oHFh8`7;} zh>32va)+6UJqv=T-tUSBrLEMp5x;AhUe0NtZdC%ug&_Q|^D9XK*yB5JpPl#ql0xnT zdp_};uBhRYxMsg%ei_bH=+*j8tQVD>rC=AhQ)1>BNpKdlH0`2{KVq&0F18!G5sWHD zs_^nQ6HWKnHg^LtiTN57;}PZLVB|X32{mAy)bACKL|sZ1duzX(lB)q}mmmLW;;8tt zr~Qn!{ktDbfd=06ZePih%t*+~a2|oo?cz4psE5r=DThoV&wlrsxXOm!MU3IItOdz6 zW4HofSYKTFar0WaCpq(c;ZFKF)@(Yu+_S~{=VPZDcd!=rUrcb73oiH>Sy$vga%xdu zmoRR>x#5-#J&I&<;_QP9X-74?fPPyTCADM?!4KKZggx7BHJ$xf=*`fbulZ2w@cvfN zN}Gn+$R7-x7abi^Tv?|%Sra(8g0ZE(z+xFhY0!gq%78zT_5{6LUc0h>}Zg4*qG+`eUuTm_{o%LO!8w3Ql9(^2fuM zF0RY&oClY{cGuperyC=ZOT7O-uMW@_GWm|T>X2kU1s7!EVEM=(=HsEoN6k^@6UCdF zf5P8e_vZ*0iYirTTX0~7*38{Zmp+-z>pVGHvqY*f?oA~bOt`JqIgzQjmB5?+S59<~ zadP-NWBiey9&Y-;19vy$B}WMC2q6ct8da|xT4ealO^=~seB|@a9){n}8mh^*N-;q; zzWtm-ye6-m`7uTfd<8{2MIy{+UozHEHYsQn^?MQGobu0n%cFoFDKAYY!pJdq4RJ6%M9xCJ_ zp`g`a1Xc{YmQ)WD8Dbw{IVCWX6bFLCgLA>^~PR3~wq zjSZRuS#F}a%3i8QsoG1IwCQpW^fuwPVPMO6bgC!|n#SLZ?zg!#U6FQiE?{1v_CH6V zz*J;^YejrG&hV#%Tzwfxm-&(3_`zG(ei_Mh?j1>16F24?+fDXQ0!>w%%~u z8pS4)>C&`H!&cDm{>l$1$1RBZzll+>{%^mM2{~B*S3H97|Np*YO(`}zwIHh)~6*;W76xBIrV^773T zsrS*<^wV`a%{1wEJ0G~4n}$|yTnScgOu01M%!}Mrv(;n_)|yYp%!&*julhp=6~gI6 zbk(iIhWAoTsXl@0udT1#gwZZ6U_Iw@P@V$?{=th6m-c+q!!+uuWo)ZZujKNw#l!F* z!O0fZL#g;0iTy+0Ghv{lsLf|vd0P}=Q&5MHwDQ8SEqcq%qv zX7|dN-#JhAP?*u@oO*G28nUxD#k7?Dbn#rDFz8;t*)U~&Gj`?o@x^@YNh?lm=JRx% z@q8rEImO20W3h#GyXBp+Kk*Sw3w@ZHQRaD9TZqQ>Ga*x*I`5E1d7fH*V$Kk&sE@7% zTskxp#z_kbHj0E=9hcU~z@bpP|3E)OpIKr)9QH~6tN?vgr>aIlkeL82#jj;slm`Jr zePmu;5+78mLKqkU+G-DLAD6QbkJDay?YaHxYDK6Nb>W#5#UUDDq?~|(apsG2nDaM` z-!XC%+kLM&yoROl|+|h{`29n-e+RyUnLKe>2pV>KvP8FPPCgY)L5qMR67}JAOu7 zSk5^DXoi$n7ECrdNzXhS<{>1Pi2}e%inZJ?7oJxjC&az2LoLhgkSqDNMS1R2B$S84 z_SmkFFdGx;W2=1NRFpg$Q&>fLrhsu9oA=IJ{>3g=(KelQ((18rV3phSl}Um3!F!%D zn-uGv>wNY24<(O+@6}@gHjkp(JGbe@W1)ODY34smH;?~d^GcIHd5Z^5sZs!P=U1L) zH)*%N=k8f|iMn~+4_huTqRz9`UT1eh%Q5XeW2G;_DmRC@5BI&GMQOxuuvyL($^VUK z*#0}uu>Q|T(f@>>d{i^IW%CpL*>;+= z>-1{)>AL)Xn5Ksdf`j8frhzZP^2Jp8PxkVfV9jYY)rzHV^NGpJ`eJ`3ks!;_uVQNK zgI^-6wc{T3YS311x>myD?DLwSpJG#~o8ZE9K+vx`th?B!U%zDvkeZ?O_J1{UCO}Ok zX&e_2fruc(wJ4CsA(w1!k^te7a47;pxN&os009yp2}dMELB>%Ig^93(0Th-)V312! z@j^iaFM?u85S3`u7zGbNJR-8s8K=ss*{YeUSM~aJf8Xo=x~l)(_3C@SabErdtbXu) z?kLMDz3qg@#b9W#q)^H`bh=&K=H5<=Pu4A>M{d_sRH$J3i=?jHrHA^@-biQeQTpiP zrtXva56+JBO@oh|xyH+yzryw^?iIZpe|s9Yb|AMauKU_dT4dq?+T##az--g!>U2n7`KQoY1qV9A{Mspwz9o!O^;1$4 zgjtHy4VIO&^MPZO%&yWOhxT(cOZG4duiE)HffJ(O%itgVEy8mb@$+&c`Df^t z5y#`HG986a5q`Cr{-UiRB`D#!;i$$0nxgP&J|HKI=*DSo-!ouUQuG3n8pwL$rry|XIPk_IJXA9z(8D)llbg*N zk6W(lc+oz*0e)MEu-?iE%>TGj^I@!B zw>kdpZiy&FP`7Yj5d;Sp4Onqc5!3=U>>fNklL~UHGf{Ly#jaq)&vV-s`n}h>1zuEswre^@E1dxMy=t&?%d!zJqzA!@CSh>xyOYoez)S{qwp(e^0;& zxvS=xc9Xzn)3t~Qa zU|TR1bOCahARQ!`pTXd87>SPXEew86I)~160N?SOAv2v#1Ti6i1JMnIKw%LmBp!)D zqY$`_2&6p%VGr7EO{f2r35i3^$Y9Vx<_I;7%YeYcNPaOe|E#n$8kNod8UQJo$pygc z_duM1C#583nHtB$cvR+VMv3WLEs77!-EsrIf3PaE?u$4CPkTonl7=|grzjHdqKyY z^+NV?te~9!OIPZ&ODId}-sXKL;e)E}7mOq$ASR^5NGZPGi0Um_nHjedXr_AsUw+=5DjA$SESRd$aDzpYLklJbtgaMztbmAFfvI>|2T2-eYj}-5vk#@0@yy zJ3V!o5wRQ)`RQeEP}*QE(pi;}v$2p0d}#sj*M*^x_s~Cki*7nq0V@h^jn#Vw2Vm^OP&^V6HZ6 zus>5y+LQ`eG@xllb}NY8acWIQoF^5EaP}heunk&A0q4PZ~)WU~54;bRO3yD+k>vTW9rE z(q71R+vy8gUJY}LON#3U$<~!uXWx&|HOwyUFOx5e%fhlt4rEU8Mq@8+&Xy4JC>x`C z_iFdJq{d3?9hd9u_U3*vd0chKnks6Tf9v%69jnC&b4s2ej%1lSK*#t4o<{Lva=Yry z*sY@nt8h14&NzwlZul>&(iXQYJ3-$a{HRSO|G>%9sa`5dK9_@;K9Y>LpUKafF4N$3 zr|$e{6cxGkF4Ap5L|6r#u(|O(T65-F`LNEyyMK_?nWuW|;rbfTVDX%`J$t>LvbJge z&aNv)N~Ymb=|kac+7UZdm`Bv3N>$Z^>r*m!jA&A55wiNTotSaklrCt-)(ofpL}*&y z>b#^`Rh9qZ^A9 z2t0zhlL3|>@Ms_&37`NZSQnn2&I3@cpnv#R^Tc%EHzof1Km_6m7z7c4LAYYkM1+qI z+Q%13#Q9@g@I+s{502>XkMRWl+63(78?4FI<(uyOjf0T!)thSyy;l$)nNbXkV?W+9 zj5gfzX457bA;#D**0^3 zlnh6w$e9%i@;!@H_cPw-iTXpA)P!8Ewm(lHmq+FBa>1