From 1937afcc35fb7f331dfaabc855c4a18296dceab8 Mon Sep 17 00:00:00 2001 From: David Madl Date: Wed, 15 Apr 2026 02:11:14 +0200 Subject: [PATCH] add MSc thesis slides --- Images/oov.png | Bin 0 -> 60272 bytes presentation.tex | 124 +++++++++++++++++++++++++++++++++++++++++++++-- 2 files changed, 121 insertions(+), 3 deletions(-) create mode 100644 Images/oov.png diff --git a/Images/oov.png b/Images/oov.png new file mode 100644 index 0000000000000000000000000000000000000000..00cb715df4457b72d3c4bee757a6dae6242ffe13 GIT binary patch literal 60272 zcmagG1yoh-);)dzNkLk=yFpR}L`q5;ML@bk1OWl16c7}Y?vPSIk&={@mQ?9(6i~YB zzqaqa_q)Gud}I81$E(A`IcGoniM8gMbFLkxrE!x0j~Wk!LJ_DaE9jt57&Isp`UVab zymHQMCxt?x1>4KZYpKY~Gd^&0v9WiuMxi*Pe4`rFnq_HQO@F8=7F@ba=Fy>*wq~J7 zt499PEb|k&p@(4g4uy!lvY|08=J3;J*Dt@n#NS&ZS%vp>hLGqS<*MTzMbeN!X4vBO zVB-0sefmf1sLZ?O1;1XR7u*)s*-T9ADSUBu=Rh#PJe-MHNLMq5Lihol>HfyXE`N8~ zMBnMvqqy2m)N5s0>l$sADaQ2455H3P!=8O$zG?abEWkvt!2iHpn1B&S4Y zt*0fQcsqiOlxysD^}$VN|7hbY)nCmP3}nfNES zQ~By%qO8F@8cLlSJC^W8T^ShMB6#osNBuI_*zPK~6tPz>T%w>ADLykTfS0J; z6%E|wU7Ve*@4KVq-K@>st*saz*}K~@-c-4zbtmu=1q#K8Qc<{}=QXxA>1{x|JchMF z6UwaAgh@nBMntUFuX@aN-=pdFH=Res3EB6Y?-@D1E-$=YX!v=AduPD#bLd6xKi9|$ zX$%W_vT&Yq-sg0?a6u8LcADWKB?%J~qZ-csdX3xF&f27IDXQn*Tld-JaL|~MpR6l3 zUx|o_k)IfXzpq%7-cUe()Wt&o{vhYh&dX&(HQ7;0iBPV%TSY{dm{W(=+HubEn8e@io14|HpgRCThJ&u`kg! zZqBzyrKi90KR=!xY4E>3R_^#5^WtT}8DvB)R@pTM6;4!2;go?4eg|mf4uf*a%F1C= z0zr*cuJeMA_ng#|u3+LR-ndwiEb3^{^c3@8Z`>tQCx2tqHp6_mHw|AB8JfO5tU!}s ztg)dX^~&ITY?MKRpEP`FX4y$m!`Ta#o3G3U3-k@U78VxX=)b=Wmk1~?7qzgkP@SL% zLgu|gtJo&{X;4T=miP9O@~vBghHsT3s3}Dq$WSv)&#*@-oM|v_A|qB8Q?7it+-rVz za%eYN%2rxdRv!P*!y_)CFI~E;5g7|C{C5qUz;~J%=#dV*aE(v#*yr+~I3cFfv^QGM;#ORRb6+1JDZ6^3OT(#6WEd7Q58C!6Hrde=)eo^xk9L~}@^yu5 zdueSpBOSE99^ZMoe2DKmZDf2^{<=n6bcq!&mD=CGJldmo+LI$xBje*k{7#R|zvrkJ zl1BXeX?JoweQr~X3@-1hMUN6@S8s3In;XvrJ=YA>Gi2^LR>P__4GqPkvA{iNalaI$ zAy>u;^gmrS-Pqp#kz|KzjAFStv$S-(a4se$#t{_JiyCl(f@Cm3I0<(O7CYxuE6I_LGqM zb3`kB-@iW8lvtH&6W}sMrlh=_m@uAb@MnN|N*FFQsiXcqUWsfChoKL+y1GB) z9$NF>Exn)?&x?jKuJtMz=@S+gf1aJqf}x45lYV^I3}che-OrwUQ(p4~oMd>3Nl8sD zEeiAzvN&i=7q+&xkZTB8wwblQAm4giR#v9{{&pcrM0$UPvr%1iG~QK}0i}C0zjVYl zt!V!ajuqw_2Dl&%o7tkY>7tCKN;sQkrvZs&r&V@z$ukLUOv`rRzY7uuYm-05YWrc7 z(O1~ZW)lX~a?A{~biwgo5wG*_YD4(=CuIFAqWwD{=DnD~pHm%7RKS}zj7U`F zl%&1xN850Ib`90o-j2P*T7;!2zgCyY}c3&z+AgVWb=n_W#_2(}%60p#evsd8EYB+}=Ka z*z*;`^;d;PmGEwK6%`e)lLH}Y@%#9XA3yf;@-q7pgljkSA<1N1(rbfJ%xMIUffxqWd;I6~y2A(Ee7%F+VN*2a?10^s!HXy&a`NECu7r7rgjK%BVjl_% zk;DU0Z{GC$h(i6=?(yV7V<5&zl`D%zhD^lgN9$j{e#PVG=ik`dYx}%j|1yMtW^3W? z7E|a8G+93);$M$@-W2q;wkn>?W1Y~RZwOySUg25!|2-r_i{riD zhLw`H312wPn}IT5sK* zUq5axyAFQ5XVje{{u){Dub3&?NSG|S%x@eDX^BZdfDqOH;jVDi=g-YwzR2;%#Kr~% zVqjZ98dSVL4>|bfRNb{N&CQF$yu7?Kko*M%1Vrq=E6`Kj%GF^K6eN0inUCAe$ll(b zQqT-_i9v?9;dYUU^e2~T`a;93VwP;r@G!{CIyo!Bm%%%rxg!q*t* zReb5|)8x0cx95V8hv&SS_Gl`qOT>9hZ*8j1D0>2uSS#%J#VhRW?9A-!Z~Hy(Pu8%( z{cn5c%z<>l#~>>KB>pb05Rms z0nUV^qJ!>-~7RU=O^*p+}y&cj==Gn_vw(4OQy?o{m=1A0lhxsiS^0P&ml4# z3j3cO+71-xzwdCqYhZw6DL3rRXV`?yLP8}IbHCTuUniLO7~R(<<~O40Rbqp6+N>_ z$zQIU%nwc_BU8H%Nc1(_^lEO}e`Fxvys97A(BNN^E#H$UgkfW2vvteS$||Sr2-eWb z+M0=n=i=Vpo@C{&Q&!eT&);Ki8TfIk!Pz%oJMbY9%VK@1ZshYLfwl;mcO~}$32rSP z936d`oV>Rz18^HTMNt{6M-$7Uu5$`$t7)mJpFXN7D@R&Rzqx@C!CK6@w6x^4oc4%& zp$fK!c3e~{@8pJQtwH343m24Md;Z2d`{^=au;t8f-K3b7{!&m7sw*BXTSb(B`b`>+4(NT|GUOAS5j=10v;j*G)O^XXE9? zH#avo98O6}nhmBfiOe9Rl^}xiMet|3!SsuxZ&PbMpe3KWclSPfZfzwA+kWMnf(Y^5 z7vr5}htcl*%0PaMiD&}3hp`?(Q8qrBJ{ua^_XvM)qbedwL0Ll?Zyi;q=$PCV`4pZz zJL45P`3n?xl_&n|zjS1s7o_V>b`$>WvfNZXuc=1k=a;SXY3ve6I7y_X%f0FMbo;}C z)vqcB>1c=Bs9$BOD|3owJ9cIrL}vYrjgx5&IV4f$4pX(>VKF4TG$T)-5;OQ@M?6$y z`g*+5#c}dgQc}_o(>=7ARtnRWO!?;?%hnpKuTU#5;^`AR|*?z0YR{p@eGbUoa zp2uKs1GO@Q8T&QbW!ZalgzU-NbkZM}?N@IzUeWRCPGYHBn#ZU;tBGZm?yCq3{Tls| z#@}P5=W+UPCpu!{Kr{?2GF7=)RW{>$_r8@{t9kkOWWlM$!N+fbGwSYl8&L0qrEV&u z3ZxNplJ)YEpqKJuEb>3v;i_;R4{;u^FrR4*gw?ukW^K(@bSFbM3tr39eWwv-F}Jqn z6geGts_ipu`a0`VI?j| zirlJ^e8ivU%*0$^H(X>YP@yZ10>shPwYxf;kf5uhBSJzzLqqdqqY3-xa1n!)l+?nj z#lsysrdyd>W-uH|i3f~9M4>NUe1U-Nx-oMjC^)#Y;k(Ot1p$Na4zVBPb>{u`=L~+b zaGE3LKI>fnSYp|30fnAaU|1)X{yi}SA(oc+tey zuFd?=3{;7syvAH$fQyU!6YAWsXaXp|y}glmmNmP!77i02eWxKPD={&#vAG$8o}NBY z#Gd4eurOeA{F9v@ny7#{o;wz^UxK&RMpv>SD|vL;)$>?N^A{vbP?JXmK5&n9xWBiK z?dF#ARzEOMr>x+K&rT96GdD$wm@{{Uy1Tmwzi}1g_4SdG?Ai}9R|esB44kqur`Big z-h4&dG}rpF#B0-nR^oxI<5kF5fMX+;G!g_%;}Zs#m;1}Nb&nV4kGA`+dw^zh9|d>!PrcQgmw62s_bGl371B64J1=^`f!=b1P43}$+s8*z zBUK{P!}rM(DJVs8QC^F2cihGNuZW5&N|zH$4J@y3?Cu8V=Oc-|*t{8w*Ps}6>Cz>` zN{`=TqE8NHp9A}#*c?JoV%16V?Bt_ixkE4j>^aDRReqK#%ap}J8 zAZ4rHY@?By&F_YyArDWBJ9p`JnQg+yX(ffAof+031wBJK9021Q*%%cya4e~q9O(Mf z(_%k*tPX8$!LD#;r#?G7qkd>3m4frWuVi!B)Zc#Kw$$p$;kJbTS#7G``}Lb;Ha!bT zRZwgRIgJQP0iNjijnoB}?XTh-aRHEqP>VWHuD!-y+4Kjr@2c4TAWGP#JCZa4Xej%Z z1SAoV>r%zMBcQ``|7|FUYc7i-B4cG^94-=$Z!w6zf0!+jCh389ug1Lz7>dP|KS4nk zYR}J(69vtm8o&QmX4@y%kn>*r_g&yuZhtVy{8q~W=mpMez~|4`_Wn%1-!$1(SwX$I zl_G{P8L0fXNTj`fvVlQDO1jvx&~Sb#;CHfl69J}EMNIM`WYkH&08GccUWX0h1&IS$ z3CNCUkxHMCZSk$#@eWjfC=|7rQz&4@{#h{bdd(Y z#nABZ7WjsZ)BWi#m9KY9eOpP>zn&!EF{hzA2n!0P%{K`d7?_rN$u0KpGm(%`3j3Tn zV(I$=sz(oi)Ab(72BK&50MKwRUc4AFjKZOypm2puCpZ4JtBX|n@!kNZ5y0DTney1P zb92n<>go%_lM@pyQ0pu%1C+>e9R6ql8*pn+1F#bro?>QSWpObPtTEq?51c0jA0MBn z_G;f_PxJftKWa}wMQvbYbWvAVH)7avAdl%1ouuA^=h?wLVfDl(`yY6Pm1Si=j?P(F zSmaG?U0h7p9+ml>`lMyB1re2$lzeGw%GBaT&>>XycYp3eirYf!)+9?fN#zIHXjT3U z5}xWS?j{3Tt+TV=jTuglF*Gz9)1|{{h{=&WvecI$K&TBU^d*O8x?L<4VE9+GS9KO@ zF9D!6D6=6j@!i!wEQiV@Rr>K|S65dexkf0*5Y`2%7a`vxcW;~H+FB{vYo6+sA?xSI z4d=~EJt^M`^m!usytfv@lyo_Rqp z*e*k(pvV4#`u3w<+BX_>W>Zr6Z3xW=pV7X0#d~krpT*oVdz9GsYwVV$WVmR<5T$ zhuv9yF%@~-0(;Oqwb7QcnwHHY53?a&S?6?tkx{g1Uu=8^{+`%g1L|q-PIfE>tB!qP zCnfz7gR&cXO>S;(1wAE_lIW{LDlA5egq10=7s9DAB_yQIH);mC{$2p04>7sgX6^N5 z8tv~<$zKh&YFU|?E!%AL^iEX1z@KgWCKoRAp+9|=(ZEGc^#@r(<|}QEq(!b!-@u0v zw#TB>95oXD;xA?KU$l4DmG&^Su)lX0btzSxR78r=xmwUGpbE(JD$;;#)8YgS{jTS0~9gT{raiSWt zs4oeF9U)S&UTiyQZF1l)k1}G!CgI}K;siZc>s#){wCS@k#{ZSvw2DbgH4i0^1Un62 z!UEhlyax|Z(b0(y1pm2%P~;8@c!SYH!!N9@;Dqzw`zb#YJ zttqk8i@Ep5`tO}Y-8k_z7v|>fyoIBgP#VTD-(f)gkax5tAQb=55BMMM%TOM3QwnJO zi~9-whnbp#GmVdAT4Q6{4<9}V0-OMnAmMO1Cnv{jsXGZ&6m0BnKO3pl`S#cI`_ul| zDBw2CT0)5zJ-b_dhag&q0v(NkvguAlgZ-b*`42sp$BHn+P{=#hidl6;x~Yg=xpJl0 zZBZ2^3n%g-8^ZU;4G-t*zB7)An3Lg=lA;9_0Rt6IFP#jVASR;p(cao!2}#MU8_%%V zd@_j8Dfo?LA{#f1x1MC;pIDGwm_T;1#+{&2Uf7!U-4Yh`3) zwpM?<(`*mICGCd{g1iQtnN5FKXx{hM*4EB0V6w&5wm3d9LDXWoc8vxFShqERh&)h~ z#>epg&@?JbAd~PKe!|&a>iMB8g332Mx_*90xc2+EklTWC&bxQQKb2l=Q&B4M#>C`e zZ`QI-0uNF9L64h?NEGfCfj8fZ&E+}CPEO-PJKG*6UVFqpH$P8IPyY(I?JSTr*nIpo zG%m4gq=o_jng#ZQt28_*iE7I4*qN1`-J&=3D!!!lRTT{^Dd}8n(o4W-ZZ(V4KBc|t zcA?T`S_xpD7Uavq#V5YLLcn5v03zDd|5VgrAg^hLIIiUMI53CRe)NZKviC$=h%3|A zgs7;%a>rqG6bxf=xDt?mULGe(w!!ZdVX07%x*k8+Ub=O92%YEl2NdIA zEbNb(iC6Q$A&k^`@BqUI)m~8hYldu)5{fG;pFe+&4fG)+gS>sv^XFZgn~;bgQNQF( zNJx0zlOk>jf_{n@-mQ0dAx_o7p#b#5P}ofr zMrY3mWr$F4Qdr#M9|IvHC?rITY5^=vFlVs+I_BL)s+j7B!Kj?)X=y}MRN*RjO@;GT zYWz-X+R7X9+Mz04*a9Lg&h$Fq!d~b1dfe3?>gwux`|eNI`)2O?pKLy_^@9wn=%=Kk z6TPvy$+bsGh8LVDYXSF@(84e0k^{doWT9EY2IwG02Rsn;=o9^%Kigx&#*0^(7SXwRy zaRKQGRd{GvSQF5r01lmvtKBgD{QR~a*B`C$czaEkirk-&n5c4<*YE<|9gF}OsH}k_ zH~<+G5m1>fz)sZ4vYaThB{ckG7kH6^e+Fv1ky>xzS9I4x5)&!i*Qf6B9|O6-%)#-T zLsV!~(5CYKWORZf;5?_p6H_)2O(~_AAsy+V1F+iKdWv~b(EfXl94S#vO%1b%2pMc? zY!pNQ7GNdS_bnlKNj#WAq4Hh60=E-S)Kp8FvRR%&H zH2(OZYnk@!83s`CC^a=Tl+G~59H$j>h(%x+XFs7r+AS#3Frq8Nd$ zbF2nc71>mN>82Rkx8ns&`2`wwhm5E*a(loVXo47>JTIm-VELWCwlm9MQt*LwBHFO zFu>T1gJ$Y!lKQsZ*RNlP(9~eC&tP7@{U%eNK(ke|!Fr6> zL-V|nRB0N@tEE2dv{C|{2B5%n5#Iaq<%>wNaa=C!PZn`;iU1Kobyx8-fcI?FZ-+(& zU-=pQ+Y2ySJ;ETcTRqKKfRk#QjShuFXV)PG!@V6Yd4)w534`RH0#dZ0FVNFvFeQYF z1G%2RsZYRuvZ?&{Ji%1`Lk!wrp8^qWnnfL z0EvM)a4k52b+rGT@Kt?jp#1TlqP6Q}qW1n^zSYE*ImXxGrc%o)U}s~)1mybVXm=Ia zl!c4k-Q8aovFnjNED^@}u`{9OL}LkZa9+P+CTnNNM=ArJm-V;!J`pe_p8Gkk>T|~# zi+(6nx3PIECFAXyu`PA1V{-hScka(%a4bFCX1LN1&7 z?&Y!`^BBy_Vu1vN4kWIugM&lnYViB_Jdm((f!+sIm;yP;(7p+kDy$rn`*Yv z)L)f(p6Emw%YG}lqYDIn?usX8oO%@%6N1X&Pv7%^2`RaKSS_}&Y0o&|+wK=Z(G z7sTF1U%8c)=%nS*F8TRI$4@f6+Jm{5C@rVbC@7c~7Oegv7Ah%b<^mnPR{Yu9>7?Ch zGQNf;XB*9gFK>x_eIK6-rTJFTG(thXdc`khgH1@k&?ygVu=C`}6BJ6^WoqE=ACNve zy1JeL6>+q`-UotzRFkgD?X34p%%ILp`=9$(|9*ZHxfwwtK6F=1TAB_@6V8OwJky4H zsW5;)z`lRG>j$~4%47AiCM#^1-2FBh7o<)*KiPiWt1$;z5E})_3j^wM>ltt+%;Xcc z*7)o?6fUA;V7MM`ExL^p?k=?hnGdS1b&M{Z71qjlcm$a@dexLV^;C$HeRYGS8fHMoPkg>F*o? zezmg;L^Q;CAd02ny)lD^SO%c3A^@VAje4n^b<2?yWj0!BZBSwn+(!5WqB~?9jETv~ zl1J+%5&KK$BX@2irVdb8I`{FPVG(?Rp!Z<$D>)7m0@>i+GJ#U=Y# zpayjKOasL5FC9@Vn_n&pbo4!Y`qa$XnE*6M*e{K3ZAxdK4?&Y{?CB{q-fIS{1AO!X z<8B~AN|?hNK`r~_G)e-yEV!ZJ`k#qv3}Ek&IOVqvgYPdi5{G&+zK0+_p9?OCar5R) zZ+{txjffog{W}R921+p}%IN6mjk%Ws4ksOU=H^W?FA|;fI3NoK#>9{!pce>#;0mxn zz9=p&eHs@>j-+7sKND2&@jRnSek9o}cmntOie4HI3Sb1=07{CtGS*lcB$KNtN_j;?cAqal) zqh}((*Mb~LeT-qJk#z{zdk*r>fI*+tv+%I68Pu=1xu4&%k+gV!q6!UCP*rucIqYMf zJ`uxAjxc)CaAJM&q@>2iKv^$|2Wyo5xfdO=cA^qP3@L|(S!XnxvbuUuVId!& z`49kS35RD0tOX6K1%zWjg#;WN9B^2&O&k0KMMYaHr~O_cUYN+EioE?p#^xHaP3m^5 zXHaD7E0@mBp|i4~d3wrPv6@*nS8WgqY5xjmxK59NwNy@NBN{n%u>x+fY-VO|%v_QV zm&3?dM5yU02n|J+qQgLs_^`bH-8yj{2J?OH@DQb1ih@XNv%i(J?1`d8~ zd~}y)B_AJY$8@kU8yW zCn}l%HBv{jvAc-W-35Pu7TJI;KLa!mDgdOeCufJtTgt{DJt4>k)Iz4$0oD!

JKX zuMC8tiOl?`P}dID$%o=F|0+3ZqQSK8*ahx3$_iLuN=f&;wsTD2OrS_31MKO>9PP3> z*NV_?R8TA{1%n%bTgaPbJ~USjEmcB$W1{`t%I@@xw~F2#79o8&px#U*qB;UF0I*)F zlr_7w6aot^_>FP?#Hc5k;D4%IyVMfn%1e}@s)qDeb$m?dEIUn4L-DTpok%dVutY^h z2ISd^D_Z2UbQjtl;XdDhpW zG&wFYdQg}w04H= zvsq3f7}&b7m=K2$+jAZ3iSOZGz6mRapx{p@7H|u$r;-m2uRJ&sDfSj7qRRhV`t&L*rteZw&zdb~W4>PZ7 z3!xV*Bv_~mn3zpqEnwW^0W2kK+j{{eAt7P5w>Elm+-3E5PneZzhc8$$id~j?q)~v0 zi_3K;EhD2-_8tu*z-Kqdk5NoaDJqmwz7!3m`wqP;UZpEAurWskVP;Tz46Z}nZ*Ie(pfGnc;oXlpYn`t>Wiz@?tRx3{h`-)7TV z=e?wS&r3=Qq5C>v_Wy3mPAsad)#1SL%0L?N92v&W&ZEJnc{Epb3ee1%bw0|M~i zyY$Tni4irb0A#`L-B`ASM?ciP47d8aoC<79_)WAc%# zEXwlkgyLN^r*U?Dd}950VB*cs&&M`_g|9taN@=ZMhERrc=~8?KA-xo(Sf9GA4-g3- z?tQ)t1yq&yHapNzW{!?8ftf{&g$NNGK`pwY-mO3K$(~fqWhxvTfl^)@sG*^u2Ob`+ zh!N2JrxvhEWS`T30<&BlDulx(tD{4L7*IgBZ=RY0IgTF06LctvZf70*{~4t2E*!&V zdj?Pi9Tjqk?ghedoZ>TG0I3BHrNtdbDedE)->?o*92quZgav6YGCKMxlsd@8z)t`k z8bR=2TmVI(a2zo&(aSu+fy^0BdzA!5L`N3^yv`h8FaVs*04PzYhLf#}kdwj84z4Mq z%8$LLfYRtea>YUkii@`c&wY^biJMrV6~%Zx&uQ*1A1f=4kXsIsY*X_O-B8PRN;T=` zN9TTnQUcy}c}IY7SittQxV{ClRck$mh=?A)i=!hCco;>81PnhZ!*to5-16Q-6av?i zgH4O;h`{v)O3mep)YQ}#C@jnGv;5e1B z6{QoMneHA=%QbmRI9|!yWXs1KVFB6v6Eggc>`N8_-t#78$oST@)qrb@yvDoy(!oI>eTP zas{f=oiOfIb7@V-vz2oSdy_ zyvjAZZ8{1j_$5%ji1qYvV*HbROk2?^$nnHrHsIa43V=RK@#ST=YQR%3Ec*uHLH*HU zi9+-q@JLZx|3A*F586;eC>Q!I5>K)|6OE97c*WLDn(J zWut-W5y8rCNr3Puj=I5>@?vJjEFx!q+@)bK36hRPN4W+R2;@*8llY(RCP2mg)OZg- zog1&iU;!Jwv`@~iL|@u94*!aXh=`8PPV>^HztGJ-DuzYD?2XMAb6XBJ=DtnrApGrQ z?T;Con4e@+%hFz)t))(+lK9_Oe0;Ex39iGpC%#HbN)CLV!FpM33LqNA@BR zzW(u3(E!Cl0_*ktZpsz^vnSqlAm_pj*?8Pi)n~c=f|~a6*R-G4!H3+rTckunPy8|4MaN<V>NSL2WCy>S zsi|q<^lsU76A%OC@hL)>lh2BZicX&VczesRD;Cxbul(Ay8&_IH8=CXh!T%Po%r&@hk^^Y9R?B9SpMx?IymKKM{8zlO7C&o>Ut zV4WojB_<{Y7X7-Rb!t=yA%n?UHCs@>L}gnzRrAZ68KB9-yu0F&QgYAxAZwU&Rtw&QZ zp-@0?US~s~J_$HB-ge4(swWc>MY1P8aElJ9K-}3=yh>O^|sd zGcyy;7Aj}faPYZ@evvj(p}jnnf`kx}90b;p&MqJmA`>11$^(l~+V~2Tyig^+02><8 z7(u<--P5!9oF6hI&c%yAu9>We-WZd(b}bu1?$$Q!%R65mIYKqk&UpT|ffHEKgRL$B zwNK8w$wbaz#q2M$)kHNyZiEVcO3oTGD~G^qx@+<0Oi73wr<1_n*pt#YR*qQ|9E5^l z-?;Hz{gHy+EEKhZcKwWp-r7C)!099)@LoIaX}#}p7Vy}JClIpw&eSW|G+|vp`t&i@uL2t~5AhdKx9bn) zE`n}A4G~xt48&j^2qAHPUp1EX1k(QxpZnIfwp~R@$;lQ_HJ%XORdm(4&U_{EeUw~5 zkJqV(J$mEShdIL>npl^4XL14*;#e6OQSa{*VKEL`bf-%ju~32KlN0re;uze7cjxPX z0aj!uK4Pa?S@%EKFi&Eq`5!k|Q52bUS9iC1_IfD)5xd?>XULJz?GPBTCDfsab987) zhb;^ZRTy(w#u4hlLJ{NtdC#I$>cJa+UDFGFV-C6T(7o7RI zIm8%;k_BAx!f7mL>VxvMmHcVQJ>Qg-t|L|&$c_j@0sxhFx(dDVKMW=$i-Uz2&Hj4d z$7yuAYRR0xQotKc5~pWuY@EL@3^Y38cim=Fi#G$Wg4gfzVPLlIWiAf^uw6(lpu6VD z2nwW8h0~4Ow=bje^YzadF_9>`^9JO@pzo8vmD4(wd-*~apJE0i+$mR;NSERJ*-Jv( zy&cW11ped27Vw;1tn%3{7^)T>@K_tsHkksgp(FzdvC!jS>^GIK%i(?3H?{z*6G*$4 zWTgkB14Lkj7h1vp#Mkgq=I95ocA>BfS0*%69EjX|6r%+sC8c}YtU-yC`;}ZPj6ZLVlT63|)$#sCcFgeb z3vV@xlsX-5)Qj3)O3~GBMRs}Ob>O@7G{m6Wfw8j8|MvOW>Ea^rC=TkZcVctZ625Np ziMUMB0H!^~39@1CVT>;XM3wmbXpZ5dbC`FfNktd#OSmU1mL|58jfU|I0e`jq} z_da_pNSu{ZK5DB)3xH5tzUQhfE`xunUg@SKM17<>+S(SVKR^d$0$zUDIMm}h8T*-l zMgGf~R^@+Qe`4tRj1z}R5cDmmgx+-QUOzu6Q;O&Z3%ux1rQJ61ZJiL*GG>i5D)vO!cU(>zJY#Rof;PxhqQsT!hsDUl7q#032HMQ zIDD$R0cD6(l-!?`^iBh)dH_fzST#3#*w)GlQEgv>OhG0&1pH)ezf5&i6%Hy3y!mcd zA?CTxG@^NbhTKmIig9{d1=JFE?Ti}E&ps<9K^YJR^_sV@n_Fq3m~%3U5i)8psI@3Y zQ0Xr^uL3ID@*IQpwyS&p{(Wt|QRRKaV@SP<&~!?#>F;r3spjffW^9#1KOg@?C^AVh zkcx+I=Pm$xk&eGwY&Zqd1CXbxrp&1-dH)jYys9r*?AW^ZSfMt zyR}}fnKYfYF8$jKAiaSwsk&MLH-hvm-1+GXfF;<(5dqeZ_dm8BgQ%(i@mTaL{8H2X zXa5agz3o_)?%%(Uu;p71p~^%YdL@u+ITbIZvvWB9siXcv4JqA0>D}?@evtsjm?CG`jD3DMA2h|RE%>jdRko_+wIV~(Ly*S)nz6kFq9H$pF3#fXy{A$P&>Pk|C zDIeN5GBkVvjR;IZULURGahSjhOrhQ2=UbSuxU#|xUP+!HB8#nsPU=-~3H}2GsLPEI zt7HrTi}_Z=8)Ez1Df0-#iWTF^``iFJE_NqTIp%Kfo1Er>uN(e&=-ij9{ghy~w!6V* zL+YKawUw0_#9aVt&47}kpa~4D%ZM-l=Gg&CSJl@xGY4S)E(Xg8axD4y2zq;a?IvqP zYdn7&+KFvvt&LX_&d$!dH3a{U8Scl=>#lPxxV+FS2y;_hUfv4d*#G&FOW}B(=Wpt# z&z>P%KeWye!WnrEE>M8pABTnTn2N2tF4M|9p#*HNtf_euLw=Zx2`y2fI0c&BPHWoTbpPcRvOSu0e0`lM+7<*2Zub*?3ohqxT zJxfcYD=jU3qs93El+K9W?GSgw6BV@imsb+n#cwL;07t+*1*uH&Kog2FYfV zU^96Y1Qe>iB3!ur@p>J$EOo28?|m|M8hx722c-JNApT=zN?GJ`|9f6x1P`( zW@{@d$xO5QgG(;&$|)G^x2`M?0r#cQ$K>yIo%^}L*a+(LBegCSm1N5nYOeCxUqX(T z`_z~Vd=Mcf6%4hAj|UTkX{=zldQ{-nF6LYHsCap~fH#aRnpJr0hZk{YS^X9CM4d)U zF%ez|>{LZU`O^?rp`_x&>Ig0F!y@;OhClU1`}U^6Hzp+&zV|>_7>$A=UuAG(RtMbz z2k8O~RZan9bvc=B5^RMK$?f1Q-#}Pq9;%@f(kNn+(X(NHU~U{VcE9q-8q>bfqh6fl zj%%F!d@>f6x8g8SB?P@cN6&Dxhksy@GUs5*8~fQ*=xR2;0GK}&(6rL$L2cq)taI4(ffsog$(2hFl5upn{$f`>kjja_oS=89MwAk+5*?RRS7un?(Z911{~2 zzM0b`0Uz47*OgaTBx;C1Ffv&et?~3&Y0!WE$fL1S#n9yQZ3m&-#LH~s!lY45(|yH# zO05<>uz5}KFdxh*G(BWs$Sy#KT5##gg%O?bzivkTizjR?jTXOta-OacDzoTPjov%- zKVvxsH>QHZ224)Yi`M_xE$J>?Kru0W-}*BdP*n7d*6_2Z4*lXUT;nROl3{#iW_d99 z{9O#~*2fj+N^(#2R?ROA6=EnwM8~tR<1vuBi)G9y@=`5nqIT*Tcc&Z z4w{LH4mNh9-H}Uo3N|DhK3gl4DqEl08G|h}@N)n5C7#b`7;@5k1N{w&P!WP?9!x@j zq7<^Y02%Gs)rU)FkpJ*0wXL-|QM-mpE-u-L{_=JDBkK*@j_k}?c*?!-qy!=8nL|be z-GelMiNL}Fm9f{>0xmSh-q(V|c2N3~W8Of~qS}_QzoFri6RY(5?VAU_73bIfGnCPP z4fUbqs_}>Hhq|DnXE|K46Tl4W+zvCRcsHbwWQTJ60EO>XG&m-nep!)G% zMnqtuz@SWSvd%fGAx&Q9 z29iV)hl4IdVH7wh&qH@Kb@>5M_2c7t#?@6W#$sbRY_8TiD=5>%buy8AoaLBcq3y*24Bm%v?MB73++4p z{Ev6Sh*wyjYZOS%CMc_rhB1WBfg<<@NciR!7EghOKs6$rwxI8WaIcpi09ce7j&2Kp zFIO;Jtc{dl0IwVM`Z4hRuzEkeZ&Rq?*rLPc_hbOi})E)oxmQ zz0dHGE8SBK%-OlRmxE&Qi|k;@q9cs7q0-c_;YA)Z0M02}NPyQ37o^{d}w^FN*Ha|V!dpx&LQ zoy*8*rAdWRU%sr*UVpTvrm}Zu_&oQ;*mP+q-G0LPKF{%aG}D@k$9aQ-b-P(eJ?P?` zKKp<8hRsCm`cd#O6{fTG^D{yqH@%=%MN=LOP|YO~zdz9kIHly8|Jq}eWn1`-2M>yG zV2#1y0ntOkVUT0Jy0{BS8remXw1NhJH|WV>%sVICS_Z$NJv zLeqe=1iRvpr6JFLs`e^EiNPU6oL=7v2FJ>wCrG48V%wLl2oBkoe83VQW#1QY zNGZ2@!PDn6KcDC-D~QT*T`4- zKQ`|UtkS-?L&Nf`Au0*?0w$WT#2KWgIHqR@zqWw#ka%(+hl1~-6egr44_Eg;PhEDqhWeZrrTzh(#u3ST1~rZ;JZ z&0NCcN#W!${`05k7;aSf4XCN9wV>d_N{)NA~N2-#QoB_?wF(d>`0{Z&>4huexu4@|B=M;l2D zfxX=4C!pBojwwOsBRu^y$mVpB+4DENeR-z(|sP^C7tRvo_>zE z3@Sk$_*0_>!npJ9RS4_@x|-6t(`S2?hIKyWKw78}M#$R!p(5psr+i6r#Kvj=X8mQe zQQhJnd)uj}2gYY-zozTj*`P2t?YiW>829#6{OzraDW~GlXUX)w+`jPmhvxIiI5X{i zs(0~k;u)O|euATGkDh{@+~eSQ+IyL9op}wcRzEHu?>C&+f#?kOFW%hT++Up>8G7E{ z)kv?I^xlZ2s;a7vqGGV;+DImN>r$tvGI=j=Pw9Au_$s9&+`H%2#3s|A;q6h)I#2R3 zwu$STzS?{JvEn8P&+72eSAvw~;zOmID*_2>-26-1)b<&!4k~2sd=@tF<>v{bA!`{HaAg60m z$+yWS>`Ox zBPA_LN@9cxMIqZDyGjir`<^7bY}xmsO(q$;Y}xmH3sGcb-?y?)$iA;xey_Lg`~H4^ z$8$W-aXf#1K6f+beZ8;iwVdbqIxjg&3?E3m#G7=i>fs)R{~cd{0eRPcK~tji7C(v-Qzc??moS&;ZNtZ0Pr_TiRX^A-4Jbv*mjh*PiTzBqMww~2Y zgZ^6U@Aq`sMwwYgf#N783p;tgaQP&73}o#JoR^ITtg9(}-w3TwuFenXofKK{f}JGU zijw{Q@ z2`cKiak3nJ1I$Fm!5F==u)|C%Fs&=|o_pFrB6L72!w-Wt6fjW;xiXg8J7^fYxSM|2 z-lDyPK$Ke(EbBJR5S~cX&{u63pB9LezvL5EuE(kM*n)=2X!_@-pR(-zhFHJ1DaHqV zC@3)-FBtnoC>UzEaG?#eW~(+Ix|00!#LbrT(sI%apJdtysS>wv{$f0qf##zgeNMFx z=ECZXBej%dDKR%1&V(wuFV@ib;&7@K78wtK<(B_UAU!D(3qBg~10&U5q%Jn3*3~E@CltW4BQb`9Zk*7@atdS=MGr%2Kl-=Gy^?gJRqNbK;LY%_087k zGp-x-eDJ1J&y(jjK$%E_di~P+tgrS^G|br43?b7EERloJMFj;aJ-Uv%uk`YPDK9Yc zIxWJ+V5Bmg6})3wrehh(K9_O7emH1B$l3o+#PyG+dlW@eWL`P6G~BF9_wE{DN})L% z6_?F-y&An4mc2(Za&EA7RSQD~VWMUAfzuA^?Au=^MVPS&^9W3Ftlkps;lhNF*Qlft zZx^U@R-w_A#dDU;@Ms;9C}Uq&lfes^T#L!kc`Ds}q>_;tqsGn=%zBUKtlyA_YXj;4 zN<#3kt^?(rvM8U1l!rWj&$;s+gF~o7A?xKk^(_MLjvY&El%u0V$%$}2lKb`HwI)*q z3=QeJuXdHfgomjrQPeswf&&?Y2I7EE$g1n4qWVByR` zma6L#1%Y2lwQ=?|#>?6Wwi1JXXZ$Oh$S4jDZRtSxz?Wb8#N1kjj&kSa(iOU)&1Oen z*D@f3XocjE_;C5(q2rday@9LzV7>LQ?V{<36tSe@L7tW=2IWH$#%F=BV4#BCf>6$k zg{B!qKq@Pfk%zMi@y)gIdLWkSV%K=U(wOUuv=VwDLi#wD3Z6ZT2b7)9-{^FJA zNM+F{Wu-tv@{NEU%RK41H@}w&0-4m>Nue#!1x%I=?PP%#Ego{90>BJU7C!?M*akWk zJ3xa$sw7i9;DFAQ=^dsKE427%Yn7-JqtI3I%|=Vy;PW-^kcADB4_xoa7glAWCc)E4 zNiiU`CvSPbF7Uxo^44Tp0on1nR!B%_Ft)8X78tJ2%##pR|7Z^Vsb<{04~S1J^JK-J zIb~hl^O;A#n757JmT?zT#j8Bf%{sy*M;;T{(#UuAjVyugL}2C}^YW#xF}%Ej1S#ra zMb0AlI6C{!;?~2hSV2jKFMx_iP5D>#N%0JrYnTQ}1(GRDRKw`@E;9=juJAbp<%``p zCct5_xVkiD%kiW9ikruG)pWm9QY@YLphk;6-XlDyvw;6Q(Z7Qc3EE~ykhdpf`^^kM=x?Gx^^%3OoodeZ-k3V#%Y;z6(Fxffn>& z{oz>sC?Mn-_q(^g2@!N#jHoY<^@)eYH=eC;I9C1{(0p5N@aWMButH3SU|p znD+=(JM_@6B{SD$`Lb2fak~6S8M?4D(c-P5>wKBtqlG$pXQ~cns2Ma#yMO)`ordxn zm&^Cw0LtDT_=V!ILc|z^Z)|0c2T@ev0|OBf8cQI6LbdKkzOg?{zYXt18^^e-LC=(6 zxYLL2HLjjtO?dY;({OB1Ml^5o)Mwl2t0VcTdfI7e5eHr|t`8!y7|EgM(KL!J*N>sW zUs8Nm5jffyz{IBWt6nb7n-zr!Jdken1>=}$$dIaXa>qGj_m7jGj*t+c0*&WRd>?d+ zV=}apsuQ0h*}G5!ioF5|x9;FgQc8R$%m9W0!wKgmf!`>6kDk7a1llj)_kffd;;7DyLN7PoHqF5JF%4+jnx zuzNjNn3+vr;B!!W=y?vwtrvMbrtQo`r%hYaW_q&&5VxwN&5=CX693EoSA1;GG!N51CaR}SBu~}>S5g#8`33GRXX$rWHy{@vXWez86VWPg4j9jhxf=R2u`yIm%u8T# z5L}q=vVQUd5zSti$3``y4F2VD+Bn!2?}cT;QvBu- z<_)o6*7#>5BOmi6jq-)(HZ!)^PoMa%puBQyk|v^E+2&R# zryZQcsIx`Naqcsd$lJD>&jJU!xZsJa$xKIYZLy@V6#8Y@oLW5|pR)*H+t)8>a!H6I|E#GI8)=KWUwFgoe9Mk6hR5^b1(uJ^*3ys@z3jokAy0cj3mZNLZ0c(=Tav!6kss>o2W)Hqk$MqP1rq8ctR`Kv)iV1b68wgfh**VUjqBZ=2jKWXQh6s~gwq_zH&XWXYOslzYvvS6 ztOYxK>d!i>*D@5rbtkww^3YZ_V+3b%1kYGx{I*1o?cyV%0@98q?XMpt28F^WzwqS0_VbA?&nyX%EHi$X8`rkvP+d`0CMl zb{neT`8aJNAADM+)^ycsa$e%+zvpW8__2@OJnq+H1AGmH1*>E|67r$_wY{ECf)dO5 zrtvFsOk{f6*6k-4xOgZ8`;b^gaNJ&H1G#4ns;BLdnV zuUroUyaC=q?So9aY!Htii->$bF<_L4GY_-Cm=1{%&wjcfh^u*vvq!64-8mw$ffR73 zFtGFosuaiW|1dQ5EhN0`d84i-lbTAfc@SOjkOX%G2|Q%vXw)_{Z%0Xx3_dL#C!2x# z_x~+zoDJDp;eMx?NP+Ufp^p7Hu$Y#{zB8%d*$!h*x4XV_vE6UDpR1KvB}MF=Tp0}a z)oSNTWhp#Zb;Dw2piCWrxn!~v^eNhwpKgN?Caz*G#lyI*0Dr@;v962e88A!v2{lI92%8)MQy>+ z+Q0hrv!|Yz{-<%jNQ10EzB>3G%6G(zgj=k~(M{*Y+%!N=qKw79fzWS1`t6Nci~vkD z0E&MF{Dy}946d7SSCKt5nfv9S|CS$?O5hg$wQBw_N+TlCOyhce@2=`Yu+yn=5ruUMCM7uANa zuYW18O8P0dLKHr5o#hV>3i`dbQ@PhObv_;Fza%K8;RpSO{Fw{m_oi6*K}X>SQPeTU zX{xuhZ!JC^~uqZ%8|Eh*Cr^kkcA>=S_xMwHgbUnI)KK zafkQ|M!{gm4y0l&DhxSVas_1eW&i=Ov#}wn+a!>rk7rE4WTiGWHT5<2%N7gAVzlC} z>R&pTk8bKoGk)x}PM4s!zv-AQC^66HVX*N>j=nc6or;oD`>0YnRNtl$;0vzld+TjL z>5yqCEq%Ag^30jLPZfr~q?i6E5$4*#dti~;{Ze@ifP_8W-DV)&`|;`N<+AseW)>RW zXhjr-y!|kHDDN@0wPmDP_`|yxH@wFY0KiV28o8!pgaMnS1lT)5^e0qRR0_5}P7ah6 z!>WLeYho|Kko5iVrs1K3FaMNicSo~+B2{@kFIQ+1P++b9eUJg=#;~6)Q;jk3tmvK1 z7EjCE>Wv|&de7p}r%%VjGN^fO6B+Fxdq0OZHqT`F;_Bu-#;(q;Frtr?NLj!KbbB$l z#0W=*KQSW00>EEZR#Xf?UOQq$+BE_1$P@(I_4W1bKnKdnl3n;3I7+f-`eeD%eSMy{ zRyPB_rfqvxA@ZT}Q`9&;{Gg-pIW|zR?aW$vBHz`WrJD}Ql2X`*Zi_X@J_JkM$HhNQ zMIn%eq@7SP-Hxek7;`AxaDhl_E64x!Ntjgmy!3K0*EPPX!vIr}qtDw;b+YXc8TalZ zKhACO_IWU-?V5m*5_M>ey5I{};u&}Dg7I(xojxhKwxMf1UmbU9U7#?-zgmE%+E4|J zETKyiKD)PW!jp%v28YTbg$HB)J_bj@_yjcmw{PD@pjV(UI@Dqeay9G*?0fcu3Qk}! zWw}|H>k)bw{7hUxR#pIm4mAV8e$IBs z`-`Q4bxh0F;Ce+eQj@~S^N&*dba)%_LpyVhNk=q&C_F}#W%ueeW8$|nH#5bI@_(q{ zAH)Fy`!U;)I3xW!i3T5t8~8TsVEV^lizUY9zHAklK9OEVR+b;E!15~)J4BfMlm$z= zR)Cb^<9^F0D+8>SkAz;D2Tqcqx(?y%xkxcI=sK?oTYGhAZ)eB{M@|u;Ha9`rg|upX zqv5A)8SIKSwxHXzm9xLnO=td2>!s7;t>r$P_u)kAP0#!PKKD0$qUW~%-bdi9&EY{x z$0N++(uTp)s56Y)AP9&K&`HJcyXM+WD(#HYRDx5@=M~U>g+Ia_)hAu31WXsH1KxgH zCj2tpJvsh?XsOcl!rGyl$UXNBj3PY#!l@1*ubf5@ZIJhWJaU>f1)#`Tj}}ljcEMzV zJy^G2^mSkPt%wB1El}hZz?8b0u`R1YbVhr-62My8V57)glc?fD!E_y98uryq71e&t zQ!5QgZiLK_P->n!p&u^_5he-oVn>QLn0x95vrj<5xQX^Qd%S>)<5V#71rv+wu0RRy#5W2U6E0Nsl$5HP?8!@R4C#_^(_gJD(`rbKh zY|u{xRgbiuRuH+6+%dVlj_i7*aba*bWM6l0ojIFw?H)9L~&~$Xj z?*PP09YIcZmqIJQkJ(NNRBqzH{5k`O^g80ANqrDoDcBTt0d!s^?X!oEd)Jwlf1r?1 zovekibo)9(wu46sX|h#5gINw=Cj_-s|h^}@jZ`CPyw2$#-EBy{YjcSJk{%abX}#(4`{S#EM>R)TqAO0g0Mi-)Q$GEc#o)yK zBu(@VIeNP)Ib@uiRv@zidwAe*A#^m`9&dGG%=+Aj$BYDihwf*!D=$wzFMV?pVxE8r z;y(k?De5R4J}4+C0q~gtVGVI`vu1D_CQ&}S3CDMk2>y(E(01kQ0*dF{qKk(K?TpdU zM?k(RAhz{T=S)VON~@@dzIeakMCy(Ei5E6+0)E3eA(^aJQO3hpD2FvI4PqDQ=_M!q zTOu`5VL-e)BU%AE9s353V!O#z7-md>&Fp%59K;F*p!Dsa-UN7HkeHXpGvGwTK`S(@ z*^=L95h3nbfh4A}U%vnsI3rx5)bQ>~uNKpv`j8KM1Isb%K3O4G)y{dA>L}T8N4;+m zgyz>vs7l)2z7WhU*sxPWm6aZ=>3W-E_HZ6k8;z7VAsr=MwOwv_kN6_oixK{QxOMCIH2p*ram5DNy3AFx1x8#<+Uv z=Q=sw8G;Z#=@9~!8JjD5u0um>sH%>+r?53z<~xF)j<}J!R#ZgF7Q|S!6ZzN0AS ziE;)%hWW|B)YIm$0rJ~Je*Oa8X)&~d8#BwAM{716w(=j3F5}i(l#B_2Zp_3g^*V9ZwmYeOjnuc3NYs zLd9fRMTboGuGt&;c~ic^L1-kn_HXB1^fWEMmJTydHM?jd>$cl8&hsLx2uv_A;VQ33 zI&kg=>WiIJiNimbRzpK#1YHCvDo)Je8v&zxfb#X8!I0q7c6du*bmp9Nbp>YVv?3=y zxq%ZC{zv7nqa$zFG|XtZ3y+Wdz_EdtbfP60YC1`dQ>*&%i#(UHgSd_D8VCo_BZy49 zH~xZ|t`KJTm9{$*Zi9g0O-A*Vto<;b{D^A2>XVOFOAiV)rl+CCS_(9gpcKzzc9+HX zI$X;^Emc|Ju-sF&HI;r3jo~a`kU9_Uy8IJi%h3DxDD2%d>uT{><8?7P2vG3B+p!@e ziuSQGhqRA9*KQckN24(ZS0|d9p4_l3&+zrAGp6sPQl!JQx3`y@Qvxq!kHo~KhG`cO zhOvnW*FBGF3W2b^R`3dshFbxyU|qoB<)_;q%oMX=L9L)8O%43(G59MUJtdn%&{L>> zD&}!2v=A%fwt8^i(h0-l}SuOa<;LR#9SOjecDCGZ#0za&#Fee#JXUNyeL^x$|=?9Z9ad$XAz|`eHm`w%E z#dgMo9w1tvH_e2QE^Q8kOp0<&VQh^HP8ySb4+I7>wDje)FYh;7@_CvkE6d2lSs@MQ zlU|dRnf#WikFOY(<^tMILH&)upg}P)*<$Wnt#}|p(k|O4gzN@wDkb?koN?Z>^v_S< zUbC&yGVs;|T?EogbtKE?=B~(!5o1FDQ6QMEuC8u@ggM(d+F2S_+;V-BM%OMN3EZDv zF}U0X@-y+!k^S_ksCQVw`_7^)am=2!R9d>6eKIRRQ@kmu>1|m*bRz`$ zz7_ASIVEg383a~R?iWSgIV4qNUU$dg7BfwPO;EEXtOV2XD#G9D(qDeQ8u{;(4;`S7 zCN(;S{{K}a>gUIh>61#RJlg;C#}nxPui|eGaAMR$Y4}y}3xf0wU~fWurDAAkn5PGBC^Jg!AzC7%}c)|$TASvos{;TcgGIsdE+#n5V7n5J#1M>PT zkjx9i>q!XJ3<`@@kV+N6^uT#>kN!WR@Rq?yEF5M)Zo*DM6;yW&xB1Yprj(cJz-DRI zY(6nt+m5Z8z`>(FPebC&I3?zc0jfNV`mqD9VyWL_rUlQOrvol zA_$N#nwgl~2U8;s-<%DW8m=p5v`6{v`Af(9%zxRIF=N#Uy0pDoTG!g~EQFbt9i|q` z=MUwhS7Z@MiIF>37%v)(!rGxeU4<(fWbi;RrY1+b$cS&&DcsoBQdL!zQBdfCVwDLC zu_$y9G%!$8w55^A0Luy8RKvnpitQEiCn4+efU)uI9bW$YVee2zh@xPbWMx7~C(jMS z?amGX$$|6PDJkF4e30j}zo5Cs;1gLata$O8Bs+YS>@D_=-Yw#Ho-^$=2Qc$jYA zQ$$Xe7@nwg-9_@PE`e07fzU^hYU*(5;PcI*zdxVy1%PlguKqx?cnsJ!aOk>x2DO?g zjCv3Hd;&CQwl~*X?U0wzqs&|_fRF&sJ0WI$eWT1TIT<=x8xdCrYj3s8pvY^9NiVNW zAhG6LT6%gRSP5X2U}6p`shxVRY+)cN;4(Ouy$4E4Qt1c2&;k?{554@c{znT>kBrO^ zZqr~7pM1#-U+|pv|Fu%$%{+?A#BCZ}`{=q%*<=|R{?yFuH#F-3`b6O6*BFu$6E{~2 zvp=tCLA#}kFY!Byk_)$!5-4jEnP`krP)14IdWnNE7$<+OPrs-jxq@N9W8odHIyjb{ zt*sIb2fX?clF^O{_yp4qKVj8FY!i(UfPqtUmyw`O(e48t^NWXQbcWY^toBO`N$3mW z4fVB}tXPhl(W({}Xe3Zy^)otLwhijg_K8DWCz4w;tBqpnSIi3(6 z2-C?^<;%_Sh9t4apx>+Sp!5oV6%>@zhwJZ;ZL-wJRC*9?Q*Qn7mqP~uMXC6Il@`v9 z%vQT%D6e;~{C*_|25-5g`8txBj9<8wkH&>6fwN9aM>mS{xa3dC{#gg}FJ2@F?~OD^ zkX?`lRM$h-zcwBkBajoz;&W|=;gTGghOPX-9B)C&T#z*2oQ!-T4@YH+J#do!$P>u3 zvq#|PZ=bxU8H}*UltD4YX=$d95_9g?Hzu4!{q9HdoYiwozCJ`ZFnGlhN`2w(ooP^n z>Us?9CpT$u<>P}(O0=j^ZjayOnrQUrU>I9=%q<^sCd=G?&%@(KWO~pO6x4YJ!{8aY zcG&Cn5g^P!DVGL~G(G{*-5`hosMUpcTwuJqd)sK8dwYz_llFbh1d6imtiNvmxB+MJ zRqIe?4$HL)$@0rjh^jjB$=n^F%Xpu|4VdN_ri|sTjZH2L)MY}(OSqZ+6hZ*fIsw+S zG&t@6xJm?=-*Oy9oeyf|lB88PD%jjuoe=Z6el!l0Fe`u*X#mB%>X8XUsP*5!w*sG+2|KI)k*Ry=&;L8Y&hKo20&NAb7*m+y zE-+!bal{yf7B4(k za&vQYbE;#*vqoZ{r@WPH?wqq53$nNK8>J3>JW?& zAtehy1>+Fo35B^SfB{I;$_MX8>wV5C2WUw$)ULjOKc6S`3SJ7&yQ}PeO?xRU|8&aw z)iH=K9s+uAfm@jU@74?Fg=}xBrK^JHB!C~@K@kyY=~<;R2r5SpNsW1NKaV=>*JsJB zi0};*R;Vuu7ftrF-TwaydsBM}cTV5JOTSq5XA$;Ee-tJB!;xpx0Vve?!`y;?o9vRX z2$V$0D_$eau=(@LHKgRezaC$*=(T9CaEDZQeQbaKhxMUQcCP_8g&O?8IvFk>%}E15 zA8;D2r<#m?B{-^6Lm;gnWaid(l0Oid>Ghw3p9zHroiPxw!PYnNuZ@t${m?>CGqWQI zK_saNI|ACu;F4>KpiEft*y+d?qv-#@`M_d((iSTla&TfIgF9>3_w6y43KFmH6r~w` z5}@4SM|*B+p3DI#=*MjP+AJRls!CcN;rhOm z1Bp-a;&H}MO6rjfZOo8*P9B~W<;D5pe_qa!zbZst)%QjMWE4Du@A@cEPjEmmZN3br zKzV)A%)EE(+gsn~JOiy84)VtLS(Q;tw$++BMi^v(Ky-VdT5{v?qc<}S!W?KXc!+g9 z(bP)-6rBIHcz1D8@`L4qQv!piAMu@h(msXT@cSH%qQcO@Suqo+@|2)m`Z6>D-Cu$# z3Df9qVcxk83Qf&>Z`qWT4s1C%I}>m@zP<_K+ZTp^xlcBaCE^m!iT{UZGoNaz12#v z)8j+%ZV%TO1cis0%YqE?eHzu|^5aI%C=P&Jm{UC-xDT)WO34UPQpORPEPUGBPA{Ln z>_>YNZUILH~ukpiac9@teD5%$avL8;oY#OJiKW^7eVPK#Rt zRP^ibL(g273ApPBwO8TA>J>p}y6a}ZyNsH@OzwpQ5@fi45=Lg#Ao?QkWfWXkk}=Hf zvSN~$oID+(ZK()O>KwPAw3LFw!{@luk74vrfY$~;5Zf!r>jYL;YJhNpuAxKoYdl1d ztu}v;1o&M8Zp%${aA8FzQkPNzCj?|e42JRK#*DO9gvtZUMoYJqQ|ZMd2&Dfc9VD&L z(XIlrS41ar?d)5^yYuPDmw=2H>Q8ZwJH05%M{hA)?N#@V{d5zF%}4X|D?J*Wd>n|J z3~%^3l$almaK(?+0@y7q!%uXNeaGVSR2RyUs62D_W>b z|9=v~Mj&SLKj^TE*@Djzm=^dsd4>(}b0GIbz%?yUJSV~QR7c)lxc=bB5Qs*S6tqoa zzwT~s5^U@X*(_;qBgG{?=h^k+Xk#+uA~Y-%$D^8G4PeTiPSk}Dlqe`lX5cbwv~Ctu z2K?k$6>?`&mwx%nx|In6Br8>j@N2l=>%RD(zLu2+y0Dib>1jit%g+%v%cJ_7QfAd5_&>6D>OtA>Bsn3Af1!Bq!_*AWY zBOJo4fI91U+*^3f0;a%sApJg|8JSpkz)TSaHn9h`pP0*Ze^iK?ST%@?LldP>g+Urs zz~Ic`TR;KSqUpbmP(Mj>Z3w3cf{fLfzQD807AUU^uk+EWs_lNX1e^D^6u{N%$MZVO z4`zZC$^;5&*l<0X{@R&p_o78K5fLdE|9652OAD8CY7G=b0K1Y&P#OzFOwjGOx%>Q} zK55bsbXQjwJ11v1*v72@6%w`TgdhP>Ljee>3;akoXgCyPPk~_gq!}%tFa!F>?aHQ} zUsqYL^0M(-i{Jgr0@0kMEAu-n*c0hotGl0Cu)PxGRnoe;Q3zyR| zUKh{NzjPO<()H7g4S{E`#STDQD|Z@$Fu=$)OHjyqxW^z!k&Kzg;x!NgJm*|aY&91OKdKxE62FL&5^PE#x;PRbzpd3v#k#;#PHC=Hu z@7wUJ=g4|b-vIf0>n9(2N z_k!Be@yno5zaUXiphrXS1j^)W^K<@uL{?)C$A`o-2FxblkhkUSYgtkHEXZ?(zRqzL zq7>cd-j5-uJ%EPM;^ItJ`nh-W zjcCo=hg{xzz~2s$Xssq|o((sSZiD!8<<^-T+e;qM1AFgOV;e%zwYP68sj5m08ht%b zH}YN@7q`EWLH`{9aE}gj;PI5;mH}cp7V)SIr0{W%cbzjWZ8jwwKY9`b8^6I!HbHT}R-yHX6nubP?i&fP%JVr41}22_ zviQG}ChrjZQ~N6;yd-zVgNOZ7)zUth2C zHC1(8!>ybVhqB<%&}2APE=*o2`H$Lr}8$2{VM5_C76c)7uLN zq@RLt(qRa8gIWlmp>OUc;|?BpmV;H|7LSdL%$$jE<<&3f3|+vYrx28kE(~5NA)pXi zFz5Y|@05EA!)$Q!-JxS9=THm0obgBFY8hPR9Q$ovS>V>452JkKrJi$_UBDirk+F1? z7);7jl93HGGrJ-LareM47~kqa^xtK3rEedhyfm*p=(p=HsV-r379rrW>l+d;$0YPa z?jrXBl!^^5mV#zRe=i?iOjGjSk3YLbd-`hyf9Q*U&MyD48`BXS`VyVZHBq(sayP#- zV40$!BK$qm*cff?F&dX-#%+6;jkF7VEOJ?VZ>H|F*dMo$Mwg1V-FXvWMWAqLY#nCJ z`Bw`7j!bp{+fM_&oqTRKXT$mrmY2hp2;2*B9>0Iy=x;7owte~m$b^%>H?y>BjbmD< z_BdZGZ^jWzqmH(p;QCjkZ3?%oC>Bb%A=hyL?Sf1Pj6a>4o>o;?PX=?yvyM|PzXI;? zJsodsb-)|3MN>T6R#uq0%aNK`cTMYYqs3h%`$BHwNUc^y_*i*D^S<;G>f$?)+_F%P!{pu>s6O|6}fiv|<3CRdg=Rs~EFz{G&#*5}kHs1xRxsxxVEeo7r~` zC~nXysXlm+1q0Uioo`uH6~A8uag_zvzLdfazp{Rt?(F-X80Xv%laGf*Qinu4}B*K8ihEM)wEk|kbNN(B- z+w_0vM~JZWoVKIu5#DTza>Se$-{G63fUzr-u=7#^yn#aCC7<-=-QK6ZK$fp&Z*MQ> zeBd>EceL89NJ;+f?lkke)XC4vd^R9}q6W@jHaulfagwcb(l7E6 za2QcS!MmON?6?ei(DFUNL3I%EeTrhd)K6>)n%avAAyY%eoiso7{37Fe7@3+O7r|Et zQpsRe`IVs-b(X$a5@%DCBqG?kXyKIub4-De7CJJ9`Pe^ew4oZCn~D1(4H@W&FQP$g ziLy=t^h#WpGqt2Qn``I8&^b>+P1NUjLDVfBK?5Vw3RWkj^1UhSd06V>q*0LrCfOkj z{wrglN*32xlJt}stQn9t2vH46m_Km(iii=_vQ~aJXk9x`(jNdThJ}C|5QG^A@C1E^x~Li8)*9| zP!i0qj^7Es2|zr59XB@E^(yIJQj@X3cuVprR4l1R{^?;Coo#`-CYo0|Efw{{Ko3DM`!*3iHIDSe@dDNQbD%=B<3dmFl0d ziGT}2^nAx9dSlOt4fC+0yi$Qspf<*tFE92b=979-{m0|+^Ya~t@&UDMDyF=@(IH0r zVi=z?*riQLs17S!gjQ~Y-W&*bgziSfral26pUJE3`|0Mkocv+`yHqqx5Kb^S7{053 z#!fT;nZw^Fl7IvX0sqISIiOP}i@h~6ze6b_1EC`YzChguirBfKnn_hvd=udWQ9=;u z>Gr!`35~n7krzL7jZ@He33Y*F<{+2JU3^V@!Kavx$(}x30pF!c;LN*G7q3Ke=ac9m zLrM}Us^?Rbh90gwI{)AP zGtSgDMj(=_>RV$hp1V(pElai-_QS|(Gr6!Z-=(D`EcSoG{~Q<#jpRw3bn0T4ISxl8 zmNd*E5fJwUvnex`oI)l+D=5G^7V#{)S&3cje;gsz} z7*S>Q(;EU$#L7mJ?X3UI-mAr_n~^{-f%2k!_PFPgFe zL62>lA2bphqn0Wrm4Vg*>?l^XPsK{9Ey+b2T7zLCV-Etanzt}nRu8xxTbMGt#BDb= zkrt$+u%|&ytt4~w2}PKx&bP4F`~1+AVbg^x9;W3`&zML_UqUdQTEXV;zn7Xv8T@n8 zHxxWB0`1U@D14x#S@?ZUu(^EKw$jg6eb$9U($e4}G87v-x ztU{&e+mO=gad`xe%PYt_=82!e+Ck^rzYly@LJI~^$?clUi>K90EUmYVcZ8bxUj74xhk6?}|x z{6f5wajxxN1PlwXVAGmY)ubwYzEpmS5!fPq82#U_eck(h1nNszEf`~U_6CM_Py0Qm zd7c*T&?r9FBR&uRl7v$Czs-wGb0SR40x~0rH&FWEf7r}{n4#q&qU2Wo%a*qI+dxs~ zmgY(gJorOC+1 zhgeodVaVVqtzZ6|9lf~;{<$VFp83PA+~iIGNEQzzhn&8Qd9nhmLLzP#V};?7<s)|EvM10R z7hSz=|E53?rwD&BGjuS}85KP5HXI9Rzu}uBqo`{azLs1HX6Dej($(!?+j=E9h;J+; z_^PQfYP{xvO~DXWgXsj5-(O`p7uLnH{%M4u-J{>~NkwYDZ+YL9IbH1^M+d2^qczDS z7XAbGyqHsyvZQk-YU_V=&}{{3B7yk#BN>xuZ2~S3W0?>IJ5!$&w$y7&n;)tI((Ds#vHK!3OpCAA_EO{_L%LRtNqeIc>Jd5;B#(d5EE?#h_Pamdw(W^ z7y~CHVDeZe{9^-W={3R2!^wRVZ(>Ql`24pzsEhaD{NwhPovgm+Xg*=baw#GmK=j>Z z3b+vj&=k7E*EjzKfl;?I=W9KNTqA+={xdg3vmJYZ7H!mPL0FvWBV^i;Fi};}@}d{` z5uxs_xQJ3ZtP&i%*66!`Y4JvfVXsMK{1yRt!-}Fi17PXQ`qF+quC!RW!y(CW1a0)y zPz8kwt0}c7#Bi!NydeJXX#y1G!6tz%VW<1PxI|X3Bgi+oRX37>?jz4av%^OI#Oi*G zKzUH1uOdMjdXIY){3QF)zCC!Bts}1K?SVb%(B6f!AFf`|nAZ%p!a zz1R#1(3J3lc8Twx6Y=wkU7e-CJLBe=C23E8kw@EgxGbm$yvV!VlE`7(M5t$$sa=Yu z{Rn-kvFNzS?@pM_^-=1YYcW6h9}S*O3l_dqJxIq2LH zb>CmOOc?6`-L7r(ME}mzz%%iH@g9+;n4!c_UtI9fV>sfHt$`*v>LB00d6z+guilMK z`L?ic^H!;7bCx~rbaO->`Rhn}Ht`|BtgH~K8+*|V{(O&oe%aBztr6c!kqu;#==^W0 z!;AANqoeuV-S=lhm8l1nQdaaQ^S&LN43Yo0x@sF^dlNy&#@%Mcb(j*<%8I0bVfqZw zOfB01Dr`H*d~a-gku+pAB!jwz(0P-%ssL}<&@l7?=LO07W=j{LwLuhRjy0i?%ZrC1WFD0)*=Oz`g76KN@CGBZu-%DGJlos05}p6?0Vp@hcG%9?VK{>Z$@vY%Rievd zYFP<5l7s)19SkTrCZWE&hw&EAp+G`H!wF>KLy*6) z;TR|V34;J9_s^Tp5vk|J16vHd=-=PDu9Uv@{98pQgy<@1njWO6EAh+(SwS3B6&&7} zfAR)--qw~2utrdA&qM^BAyToYn!a#+!U5_MpH1YreY64p=$+-5Jr%(65H|{Bs$Chx zJ#tYnfrDzTfOB|{Eh28|X9Kl4#e&7nphjzy5h9mgqToeKjysegQXO3|@j&FkDCv~+7JzOWF#VaowV}& z^I><<-}5&p61rQU=z7v$q6qVoTL6vR%SAEy!Ay(FcDvL53<%(e147%)!{tKHNWI?J z(5k)%i$s|9N!_a9^7x3hEcw_q0e+LW5a$NwNzh|IS$3A3XV#HEgnIJNPAvCqDdD;4 zSu%1mZ>@k#Xwe!=P1*R*;XK8R3?cBt)v`~?UeC-}u&}bq;O9!GIe{JyI1ij zkGrDyhl-8y3wq`A0PRun(gQNkHUl#Uor$3j(%^anOiTxew?W*3#UnEl>JOY>AfJU@ zXtwDy_QP?nqII4p8h*k>_F1U1jgQ4-V* z%dZD2$xak&FF9Sg3W<;noO$p0i*2PKTCxGpy`56fqyBW8gBj2%QA@FgXWzdPWcGKY z^-+35!}j+V+DB`UdC%52HrE~Fc|u_fKo6n8nJ2+TsV#_2S?*K_U7IeL(_Yhpyl+D9 zkG`C#$EA5q%+u8*@Ut*Rs|dqI;ssPp7NF@|}= z&;qFDR=~+`3g*N+K-F_Ebbs?Z|DDIE`{M{U1Ryn89;{)%azm(kWWN;nbMS{n`yEEw z3kP4f}W}0yVXh`A*;$jPzG_!#++<=FhD z+GAF1Dqxaft&j%aAS9&ZQDHMSeKmCbU zlRc*YgHJh$L_5R~9m?E2VzMG-W1EW$Cn7f8NLBUpniD@yz`x_jXzsCCed59SL^S)- z1e(n~KYiloMj>I@zS&aPTb?^S-*QJyGwbfAsq>ISYa-kEUTWoxt&za2Lbgk>#$I~~R^9ZH5rKJ;x-W3!i zSsnQ`rh+J#dYLR@Pa`+3?kv0#N2YvM;0nm1tw^v=)$;_GoE4A>oW`J-4!|TY_4=(y zW}>``)$Xr*EGx3ttFIJPKZ`Hw?tR}sHae%mWHH>Yk$>tj;t$j$Fq8q;R(x)P*N)gZ zgNE_SIn=G!8s-^@T?Y&e!QmHs3Xz+fdb$UF;pWmLr)qAl684Qv`Qsy!q+f)P0R8nT zAnc%fLc%IC3DC0H?>hJCjzGV)H~2_DjzIWvFLHLgW5%Pb5a$bkP8ZEb+^#eRFk2GIZmuV8y4s&sp)0c3Vwtq0$gix8VtA$a*vJkHze{2)hY*z4KqT zyR)4J)CzfPIe_y$e{qVHoPK}7$vyjVM^UKL0L&yoRzPBLG?~JJ!f<1m3Iq*{1LV*V zektD&zpx*Bo-Y11RtTgg43IaZH>~#c#Jm`Pb;M>k7Pt%_an5+DKZw-`is=e~FLcFb zk&ek=dBZw!&Dex9-YmdNqnadA2M#BbA2+_Za zDH@}D*Qt`4m)Dj2r1v3xnGQkMPL#n6TX_(k6ZPffvrBAs8u=G!6tV4~OyI0i^^CIJ3O+Ml{}SUi@gl5s(&1Zmh9s?=L$~Iq$5fe2E1! zd%FDx-3i2xr0P2>e$iNoYWB^-zx4nDL%}%mzqKqFRDe)L(L@3IK=N}qt?-c?4L@OJ ze);Eqj8@l}_K_6Sg-)lwPUhMKHAaEk!*{W!w1P?Zgs)K@y!9sn>+A9b4eaToO(Y$mZ6rEu3=F?-b6d+69vX%^O_8j>|fk4oQ? ztpB>bTQc;-^0UmT6K;dqG+b*A#uE-PQ3D^0jmLT4z58NSnHqAMO6Bx!_>G5=luFwV z1=t^zzt2HaU+_62WK(BjtvhGNH_(I?cl~dWhUC60eb$X+7kns{{1#Fty>qzrt&5&wtl~+&*IF|(rzBBL zytbBl!10t2Lh&fgJNYe_;6G=Kr;<5|waOevLnu6F94&n_kVD%`U`T~yBJPFv7=FD( zsON3UvCm}8`qq9mdq>`KGn8G*1mk;oM*226JhQSdt_|fS^weu} zS+&8>S(dyB`8`rH45{I%2u@|Cy#3aBkv`#GwdBA5 zJh}~82j&FU*yWa}w`&hg{`*KB4;^aQV#4pe;)UCu_di{y*DgxgCBIN}Qab)3;nXv77wIJQ59PX`%=Pt zdo2&lnlu7BC4{_?x>@`3_e@&a_gA=JaF0Sb26JGKAiD{~re(lu;HpXPr z^?a0k6ldo0juLm_GNVU|8U5y7w7Sn3t^c)w5;TM^5nqzt$Nk*cFzD*{@-mZJny)+z zZeTt>M&3r=t^1GniJP9+*oCor|riekSR?YhH@-YWnc(!p(wGH5OLe z6DO3MRxftHk@Mz2`<(gcd&0Mn#LrH&p=4Ue9 zkrOFZid~uMzOQ7R{7*0Q{_ltU8gYV6jEMgBNK?MYOrC+^n zif4DrIyE}l%Ov$(R^WgCxy`@FJ8j9bNctuXoEWlqvhsBs1*7*OQnufO(kwJ^rCl%e z3De?w6!rR_eNq=cg1YbK_mWPx!`E>xgHB>sswb^eCH9GSaNm7ii*q?n+^+hkA}Ia| zUOvAsu^&ChEj7n{fb^LcD)W<2kp+p^u7(({c6&3;{u>-6lEylN^~DUPn%Qy*jD76OU3|zFp?P{wg5sitG*J6ALqao>-DDN=h0U zxF|A27B)Asj7q;@F-Dt)R7vw0lf-;*!8qshvGMU~Z!TVw6BBq97^v3qA}Y$PtLa19 zM+P&`_WWeC>&`m#*#Z~%&^}>8Gel(Sz3>`V?uH;%Yf#ieAmds_qp~a`!QpSEfjYL?Tp_3@KB6$KCV1?|Ogh_pR@b?^)~hyvwtA7g_`vK)zxbgBRF!E-NJv3}FkEQjby?KRf3N1bN}x|C{f?@C?A&GhGgFK&bVbF>Hl z;}Oul-cb-o_7c|tsm(tA%PJi1Pcp|ZwYS8yMJ+5)O|(&bdq+`UuQQa>qo72It=d1h&ZH`v%akuh zkOlFPc+lqaYNZ$)9*LwZ4SDCp)nCBx%7v59^P(gI~*^7zZ?t;0>Bz)Pylje@tBoY>uFL6M1l+r6(eR#a!GUc;BwvAr zUQQyzqMk~Zly}1H^5dyD>(renG~9!4(ySIHGJQXLDDOjquKL~p#vmz+*7YK9>RvZ( z2RhjNcZUGk@?2?AX;%}v+^jIvWZU%TXYQN=qn>O3#y=J=;~Uql)71$4m}A;_B*Lc1 z(m$L_+%e$q1EMu;WeanBHqc=>DS6@Oq;cp<_LH;&3HdhH0lk})9=$F96OzEjLbLCP zS6V}HWiHeFIVe>Z3VLnNDYp8IG=^if3OppJ)0mV;L1DVEMMH*;<(E33bf zdR~3_{x@?b&cb5z4)&POG@H&;ZX*H@pP{tZ;%zQXEE1s?s=eJW>uF^qd>EwpS++co zX~c>KQg3FN5#gEK>b=*1ym)!>fE4-dKn@T6z6^$uczPrif1!Q2e)xx@L3??RfDSpj z*IlRR)Jld`mia`)UH6)AQ{VH(_089(ZU5@IbxJ{;%_@|E66R#jFpZ&A z{X~n2;`s67);-xI0Hy-YnDUT9YfJwpA!9I)ZtPJw?DILpB@uXS^g(lC^l2nB4$@Dr z9bx+7)OJHkFL@x8U%$vQJsg&q^$=n(gFHLI;#}AXpUP^mCy#wrBq181+662TZm!U{ zMpH8wB+g;(EHk;iqv2u!^K@MQUJ;3i`fUmH=J!xY9f9@$ansn@*%z{=y3#k0&Y?9E ze?HBLn?d83B7r9Mai3{DQG8>;!3z(OXL9~@y=-?$deYujZbXyj0r(S;?wi(lu73@) zFS%6B5lmbjcK%2cxR==08(W_Uw>0EzDfW0~MK{mFGuWF(-V`-2<#tly@_dstT||6B zu#lD!j-d^fcOsenM28NikYPO$ic+_GX&PPGF6!N?b|nkreeY^qv@YNeCP5V zmTyw*4aaU+v_2CG_GAdmzM)lVn@V$QGiCS_it)Nb*JmeY992?|KDiv^D0Ei5uvc2Y zs|+EKHwgLxdwF=)lhhJa(_ww5tgQSD7FB#4f3wrs{Lzh_{K-5I!c^}>#kyE*TQnUM zSYdY-qeALHB1KR{R5N5eKX)isegxti-6iGa9~2AD&|#j3{eTb2yK2jzu8<{4YtTtmMbIV(GwJ^pT8 z0{Pt~=eBqY&OCkh(WmfO)%x>ah9}Mrri_=c#HuFHM+%6F{qdqSFkp!@PMXjaV}lR2 z)!MGCZ$>PWgc2RnM8J#OrTrf`&lP{OFR(33i)|`G+zK})JjR4BT)4od?x?a8-!OoI z#4>gaA}0OEGzE+u9Jt6^=R`;1L*?aMG~FHAg82MjY$U#!Z8}GkNa{G1nza;#(fZtp z!N<|=8_Rdup4kmZ)Xj%>t>iYPOqH0nZ^ovJbQysn4K}_{8+v>~GsS++|GgX{bm7|g zXowA!tyhpxwz}~7O#0_HTG{Zy{(Jwh6)T8s(H2xtAcV1Y7?wGT`^aDC_clpa3T+$x z706H>jMaz`+K1O2WKW7=N;u@WnWWUNgppPlmQj#~hld%%h?fK))-||(d&f$0n(Wx+ z{~1ODVQ|}kANPH9e>2|s?`x{p76*&U%3u-_P1iiuIf>i#Gr-289<)LD-Mcq2XJPiaJ2PI~X4?)y1G#jt zHh6~$72d(6kt}@^nlK}f@aNTk$PUNGt7sR0*3=X@`u7VFbiv=3({yckqD8D>y!9`R zBmVQ>xJvx$zpwg-Bf+o!MF#)#;(yT!-cRsG_}9OL%K!2Hf0!5i>K|zH|Kr0vHr|u* z*$E4HC1qtAn4Iw{%XlnKv!eC$#Gbk1o}NcEQe;9Q1WcG~K7aoFKCj014s-c=gS&PByF;qpFA zPTnBw%Fsm0NV*RvayXB3!))*xT>4-}cwPRkoV7JC;!KG1_{%!@mq4zxxl6|nUqvhk{W0Cch4ivqHyEF=+lR6A6oHI-Hyz*mts&FqJ478pU zH8eI)v?rcSoqG;HZ`?x&oJmj5Fa#PhLlXqfB%QdUGw6r07&j~y`kr={U6wa;< zH@3tTIKs;f&V~V3uafQ^y>dtX?p4^3z-MYR39jiJMiO%{uH76fXm}kB(Jy)j`}@zq z(+YYnB&Z+U!rrSN7`S_#^#eQxo`G-EtgtgAsI$-7J%xk;&XXCAL z#Zc}*31k~gIzS$ke1+O{U}B=tP49^34muw*XHinF@9aFi=%oD`R<^6?^CsXxAXi{> zjDWt=?^Tb-m6ab5oJ;K8zVsZg@%)id%-(odH&2h6guJbw0LkswJXF-w zskko2msD^%x(!rN2bU|@ZtEFk>t19Xx7& z4_B}Qs`+n3F9k44Vr@x5!Q~Y!a|`Stbkc~?hs*=fjR(Jc`zSm&Js_r*bc6{b5q!my z9S%B$EZA1Wh`Ngj1%vzu;lt~@c0?uaKq#tD_i>bazRugrt(&WJYH|@vYn`TI4hEy_ zihDp^{!zmI)hae`ipw3(lQXmV{Ncm38n2)A@P@_>?t1GxKcP;N!+kcD5~3J^fXid= zC5TUoYQo%7+~HmSInO|O3Rp)M`~Y(0HK{7gzsOW>XV>kE*)1Rvd_BjTqBV-C-1m1n z!gYqQuO{4d;ojb4+6rwp!k7}^+3zzMFht+;G7qf1AqDsR#f#%O&_0ZhD+;-!WJ2 zLQ;w0&vbd>S@ZB!z=Q_EB{pRs{L4l$BqVIo8mXpbjXCzyNn6$+U$o)Mw|Cb{OU2+R zca~46GwJ9JEOf#Y{4qQ*w{6?@9aZT1!NH^Y5#iV>L9n-Agpc+!NVL7mI2DCscH*S! z9x7=bC%Q;@K1uH$mjq0sPscD4=^82%LN){mg1*CQI%sY;^RvgIUJ5!8KtM6Ou~E8qNx zh)5uMbC_$7LaTBIlYky0iHZ~v9)8YQ2J`d`xZzxf4;xg-?B9Qq@Wo4$52WRimNvdv zix1jFGDm!c3KB2p2a6c+i#!Ve|v*%@~3RdLKW2 z)ND1D7MAcUgvJOTCJxVzPGyL*aYy5lL!dksjH%9>xO0R7@Z?)NL_Sp#117LuSDNJL z(BdT4Dz#Fdg;i<6%iW~nb9IzSD;$_gCow#I`qZj$ocK%t83jaV;`19JJLJ4Jc9&B~ zHFDtKAt4FBeWYMWBvfmYhbvu9B7Er)x@(RJP`{TmFf=6YcGO%oe3uc@7~ojE16!!4 zTS3TisEV7=;2x+NwU%tlG|tM(`eOVZvUFzl_CgO$o>(oCIZ!O_A)Iy{hRAC12ahAp zz&EkbST}q=eH;@8+$K*DaV~y+b9%q$`-KB zN(hA?oK}se8`3fX9Dn(ThA`1WMH2CtJ3p|DeML($2Rb?O^C&#qiVF_z-@kwION&@7 zId)&EnFE=2Pa{4^5uv3CW3#4wczWi~!}m~LJq!csVR4+4lvlqmE=n#Lz)O~zr1j*o zJ=}Jcgw$U-|x?pVcf%#)-U_^cJq z6uoeg;~<4Y7s*BT$1;Mymg-(|WZVNwXJ=6Y+CU~HF57o5D?Bzf2&RqD4KK4vKa}*~ z!G4tYugy<(j^T6`;hTYta;od+?%qb zAvLGZ0d@bIiI!Z`!fYv0Gw)xTlfH1~C57i@a~0;sejK;H8xeuZ&H4|JAZj3_XA1m& zuPzCQ7|7ypVt)Zt-O_q}77Lg33j$C##SD!VwXLf^5cJ2)1b6SEO^_ zGu!hRmMeC@%;dpNmIv72*U6Sccr@wx@a;=)!Nr3~<>eB&Iysc2lAEva7HWutA|d|t zPFO~UgQVh16-4xv{i@5l)2AOS-y^d-(7n~oG&;etHPR7$wx zg(Bdba*Pz0LX%UjUcoKERBdAYT<>#+<|qL+5pOfgg$^HPLEILc^+be_JWEEnVZu@P z>0M=M@0Ra?r?dDfl%ykw6Fy1mRB`dkaK z`ai00JZZHW50Am5$`m)6!8Q>>$N61Dq}S0V_^< zBo+|39^5AT#Ob(A&I|tyTS%*YOrhhVSI7qdj^N%-+-}f9Tx+_8rn_+dH3GQKi`SjG z^hWFuS;k|I3ci1&SMX#;W;jOl{C!a>_WWT>dInTN*gV_XD5(0pd+KAf_(!*@6DQ98 z6z}Um+@HN87`ARDvc&qKp(Jv`eM?04SwLkABorkNFJO7XJc14JhDhUZHV==TI(3Rf zGBO&}AALGOH>xnBP9o{)HHQQrQCCs9W#U2edRs04tV#IOx24E( zo(Q5#jpecR0Ae9%q~{$SO0Zer*Ub%xk7ps6ISmaB7$on}%QrYK6l(1OFo`qgL~FJ6 z==8Ml=zGbHd-iRQWdqCs_|L}Uh6{NS45o0PQUGA0@b#6jr-g?(VHk}KRdrlT{n z*I&&kVx9Vjhcf^frkOY0I*iqkAZdRK1E_@b8?nEH$YpZSK7e__b;R@SxE6w6BKSF2 z007Ap8Be4cL%ER&9hOb-#wON34C}|>d3h}^jv1mZszUQlVR>g?Rr3q6iL)t$p!v+k z@IBo~l|w$1ysYh~21@s13hz7ol+Iy5)ydVh5yxVNOlVKHxR8m7$<}S#>YeYN7J?l; zY|6)HF17Pss_fD(c(B~^8W0s(&q<_Ku(Wf6&_GX~{uZn=CpR}l;#b;HNHspOyPp

k$^l${ z5-uEcrZ82--513zCEk59C;C+2-Kyo<8mF>8ag{ zV`02xq|DXXxto@BTxdQkQ$F=-SlAYP*KA9QcVkc>Jqg#=8o&yu^o(T)J378p&@nJHOy`P%UpHaG1LGK zq+%WO3>iSQu=}HPp$dyME>e{e=;_6eu>JpVT*NmkJx&{dAhV8yBhljE(AvsR_|dN0 zv}w}HLwyG9GNj&! z9n@dr^=Q}?0)S$SwA472{(eJ2B{JnRfFlx#n9xsDs(ed=;}f_mc?D# zG<%?}bRa)JzYzy;d4)-}yH@|;AYob?arZ7k-<1oVk5zrSB1oY z&<(3vos5i(U@YlW9e%u0+{ju|g_me4EGjQ&g7{?`%-++CE1lE4m*)QdkNE%iU42J~ zhJle$2sjx5v;UR&2lFslErY}|j@wEvrp`!99(f3tD_eepj{H3aAP zUpDSP)ZPC<{n6gWvbiNk5P8~aMQK!x4AAOmfxZigB%qfshtwt09`%-bAUO&W?peIp z1&wRISCBJ8RGTx5~)UwLd*?h+~?}9Q}?YT)Cyq zKqF7533N^&2hFt?FG}o@M|Vp)I?hn84a@%ibpjT_axdTar-X%t{etwE`pZEiXm1^X zI+l)ffD?)e)0!`|eUodB`^hCH78NMC1z_*_LRm${4rXD~HeC)RuW@C5Sm>@<17IAJ zAI^mMA^VM))8UUHHb{5Ho)bawuGPp5W5)-eqY|~aiIz6pa1z& zSmeDT4WBW-&;FtJXz6{ho0w5dhQCQ$fmJ>+9 zfk~_ue5u!;e8CnxD6_M-4+XZKSdMobuD(f>$q;_~YyD&`(?6j-^`BmVP3(M&NXt|# zj~qFYaGhapn;H5TC2@Gs0b)ZXVSk1j6Ti+gXvQ1_-H5=aViFdu!d>6cKp-Bw{-Wc# zu0n<-RFDB^0^^{wZz$Rqtb$ICw&KM#WF@mBb?fdO^V$K_e%#!gi!=i4fiT?w(%{3y zM6-POmfx%Mr@_Oo2m18mThhlUgMq{p39cYH{Smdqz<5-|?Y{X47KnfCm&%ikuZqN*Be((3k zK6a8!;2k_8V#(_A=ogTiu7_`c=W*tv$kSMdHbQLFH{;^s^6hQ}2C}Mgva<^c;dUF5 zWsn@#tsx5E*Wp*K9w6#5s3vLRHbo2QKWy}7-jm^kDpS6zpON9Lk97NbK9TbmF0`hN z6HF>z(WZNd_vq21c0*OVU+SY{Vz?D=i|A8QQXX^~k^4LkxOqmfIWeA%Hjr|vuP}}r zNZ3)Y0*71qwZUJ#`+~)oqrr-&ahk11#8nd4D zo~1@Y&aHa{9qYHSVH3YfkU?|9ua!bhg60qsR)ju2z42)ry@W+P=^S(#i9!#mVSlUG z)YN+p9N3K6p=|v^4y=;zP;E&?9!~8^hb7yL^cQWT`jjMsEkSBd4bIjo&j_m^<09v- zU7yazpZsYOox|%ES218D_6GA2J-#+W@mDF!}?Df-u zsM#VP>aM~=9fgweIuaP@RAhmqs{r7Hn?30&xT9yCom)r*aQ24nMfb0LCS#`HDQ+UA z8^h*)>^8Lnl^9~-gGO8jq*aHhgHWuiFULB-WD?~Wl4b!}!f@*J@i;Au_iihT_Uwn9 zNLO=>EJ3biOqE?4Q!;+)&5GndTQ_gVyP=_3xC1DYS;w$k8==d870Zw)mfX2>2d;2@ zc>1ppNJwZVT?;}@Efr9MMaJ9x>C0^GoJM4=PM9$;uJzq@$Z?n`))4$2yzb4Q)s4!G zC|@DE5AYUh0PCm)q!E(Xw>PxXl~{Lq=`i$ZB50KSM*5TS1GMuAlxs-O`udo$|GGWs zV5VG;Z{`FO4EQB-V%5P7`}@Lzf}GsduJ;MVy~ejFLLCEw>m(9Eof6d@K-V#FHbo^R z@^ISeLP#KFE;4$>GPQ4lsG^6S5m7)O$_XH`3G;5eqXk-!YCH2{P&fq5#f0$I2v#y8 zK0X++r>?!7o;X}#AON_OR45vgkZ=n)i<gD)mcwv_4V~<@t_%PJ`G}XsxD!5bDy0|x_g%oBn1EX zA&@@u^ge9N%yCoF;8wW5%3_U~>-VC#!@tW94#Dv94EjDd*KIU`UIa|Od25|Zbu7rw z2Nol6D|WB))O(+wLzMJBQ^BY;hyn3OY0ZR~WuJYBNM=UH?4F zum8~QyXiqCB*t_yvQT;E&qSKu-R%nos$@Yp=vF(>DEc!Pk*h1E=;EjuMa#&Muz5Vc z^$lG+&a+A^nn2<&ros{7jez5b_$<V;SGllrFlYRyz6~BJQCE6QL@OCxd6D{+3E4g4s@TE#|JaW5*72$YgULVU%fC+ISv( z2RRTapdln5bqL7SKQQp3;tiNy97~Kh2f%T}9<%d9&DA^Q4{8q?t6-F@7p*KnWOn}s zEiIg>MhClUI#{cqkU5!|5Q?iggGEe3s)w=^SP=y}DEkrjHBf%fikS=)TCXM0@6nkr zwKfd{|9-b%0Ea(%Ciwo~(40~eyF6{c*AAe{8^A!MV%=4=O#GknvrV5|R?kwjwzhs4 z)`|KZ(u$2pLI=uAOG=0uK;%-FC876R`1+u=sBI7Lz-6$1TEG}x)gCS%zI@?FeTI7w ztlbr)V@blL5${D4*h-7xjerod#W2$mp{2g1iRgGbi{1s9)#mJr`Ho{*(Gq2NlQ4!<)%F2P@Kg1dQ;T$ zoN1ix*Rxm3S%aLQY?S=<)F0*MuZYLTjqy`7!w(*fhhPN~zYAOy}Bj*G#6p0M{`RFbW=LijLQr2N=qQ49P! zZEs(0`^I%5J%^gq1v`*SsMXqdp)mSu_XP~^Sj1kIkOOkBJD`H|>ZnN$c zvw@5BD7tF8Z7F&baTr;4&LPYNBds+|0JskUv{LlOECgPkeSK_=QJZQ%b^FX~l z{4{75;rEiO`6b!-u1yISD!8ScGkMfXvWJP*#4#mM)2;oLxSsIu-HZVP!C_%>Ywjo& zmCCgRVNWBu@_hIwR`~40pVBxt_IpMB8ZGY=JPXVaX`cvlr80YBk9u7E{fZ!>&h{OC z1Xl17%0M+92Mmhjdd4xId%@Rc zilrcexAOlGzU)u9V6+*0@sf%{jndo4hkkMAbNeOjKZK5_<1!3K)M6I_6UgIgrPK>e zUzfiPft~)?YM1>7X0NIGrD!Kn`3%A(M@(Hq<4(RY6nbx3`Nzw$N!lH(?5vsy?ZYd$ zMA*xD2{vBLKYxnJ{E~{Pq{SGj4Wy$q(g5aF(VH zFm)MBjSjyIXg#W^=v^-Gj)1>I>&ti< z|0uRn#1LDjYHi%Mp2*BR)AS`e-LUk70akq{ObTi$Mc4p~A&R6p`4ed8xvxK6(inj092`?|%wtYr$MIa=iN1Jjfx54t9-@rpxF6hyJS8~- zj)kGz7a4I6DXBu*lRgbV%uiDy{??BUZ#xtEXx%E zVDD|dH|x%S>e@@xexHXu0`*lwt9|^txlDp=^2Bp+b(SgZQpR~AY8%CjSyE$}XsL0W zY!DWPCgAxIfE*e+x<){uxqA=%{nsIsggef!aDm>4mTwLU3_R76t;2r_smY7*rz{+A zdV6=Ee9!_Y79JJlkJ3&~NzUfF?B88tjFO9%$8HdtI7`HB@hdoEGgPgbN^S#iw0!dT zvhoo8kfFQY8F}+7)BRgPXTR(dIb_>Ig8@iP4kiq(i+>qygIzpB%!zXeDkc=@A8VJ1=R*afE1ZfokX#lMg27z1P0tH{r<>++~bL1 zvzRP=nu6o^4x$cIf2o4Y!+j>5&j6L_ffCk}U_ieGu&N%C2$s%|trO_A?UYqj8-QOg zEzMb?ti>fMxr4~;P#y;xZuqf9A7JV(#Y>QbKf@Hv&C{mmLoSuH)3@J92@MTBHT$Za z39G+UY6s{x_o@_W1kRbB?Ml8K z$LIU!T-qh((InQ4!{hch7u>U`hY>l#+-g$3US3|HKMZXxpZKg)oR>63ZG#OwX#*At z!}jg|h#q4|h|n|{o&12B;IQZ%w$RZjU`2rrBHB&V5+&)e?oZFV)MVxzoS(e za>m!+;fMO~wC5V2tB0qSUUZ-4nLk*_<2kzXmP!5-#p5k@))VPV)qKJ8Vu7G45~Z&d z=H=y`mvnUted<2Tg$~yMFoZTgc4($+^4{0vrOj6@D4rzLiZ6i(@rFb#@c?{7_HuC% zHERf@Q=(<+({RmEqC*vJCMf!i9!C*?FmH5;9R?0b1Jotz$!I{L-?AmlTOT_hFHgYO z*qG?KCgt8Wp7&A%BOMnT+OBeObM}QB>#riTjq`4SQ4Q9zZk=`X8 zTrT*6b=cVOU1NCDm+_ARW7hXbJuF$$BX)GKL9V7$JzpX_v;DzyJJ6wEBMkjk2C| z=N$9d9gG3rvT$DxLaKjZ<~=8<;eI#`1B~$16zl6h>%((|R1F1s$(~)O-sH+r7#OIS zTs3P`;mJ&$Fgb#w)9H4w%-qqz3O>t*o|jd{E(_?)t*P;OxafB&XmR!4Nr#t~28Ok&W8&vmqJ|<|<#5W?BKfO9G%0^J$FmgIC zkHS#4#4o)l;5{=SBa)6u4kK+~kI6H1o8rJY)H)>!s`Z66qS^?|1na<$T*H#HcH{2p z+o>Pf#ol@O=Qoq6s`%U%7Dh%Kswd^-NT7N$iciD8kY@8{fN2&$25k6Z2v);J?d+G@ zvroM}(6CRCM)EZG0F+)mnPbZM&B4JzEy}WN$!_HPu+mBf)R=v0tz8ukdYpG^J6%!- z##LR|tcdvFCai1_TbnsR)-Ql4LyAmz`-SWtmFg| zrhV~8-1xC=&yFTvxUHmn9U~hpIG-{*k#kAlzTLo+VO}!gIssFoquq0e2bpyjJj{S2 zwG~^@Hj3_1$*GGKNZrBcP-@bDgrBlg@*L_b$B{J-%euXSa>3-3dMOIr+q@jnOJVTE zAv`|bTKoLnddYXTsCW?Z`LmD-*mXKR(I>!nv$mJ=#p9ToL?#-N={pM?BHPy z1tPO}ldEeD(yf@IR3}`gfUH~P7^9MDCw;=~F1 zh>lndjrI3!WyE{s&mGuf=HugI>A0|tl5)<~jtH&jn9Jw{)g*4CX{m*G)3+rZ)nAr& z{q#!uPzo6>0XP&r|MaZY;3Qwj5-CsdxzvaSNK_kS{s41%d`Vv|c{TmTb#_$IQ2&sR zNp_Fxm!4CijOZ#VDP~jb3Vg|k!icaIq79v&sfDo|c8xXv~;Ha>6Ofc9u5vW)Y`;I0{6{+M`COIjX{d%=8XvKT$G zZE-Gr{z()qgF{0ls!pRrmH3Y+ZJFZ<34iSuFGsrhm{D1d^FqhHIxx3HrE3+Aovrf{ zlsYD{J(Jn2RJ#jTVTq{pnkZ(FA7WCb&CXgz6`SdN*^kpECp`zS6XdJH=xi=txNrk; z`ej=L-yUxpN#%%C*10#)G-^TX8JQ))@@DFo5g>rbgYz^W>SpgNM#LqU7EX_zpH6$d(r*(-t(b#*~X6?-$P~k=-gTo`VNVDV%F&thcYfA z_x!9FgoJEYidEhmDl!&je!tNiKMMh(b4Xp$ux!Mn zRq~B1=Q5SN>;Rd1j6NW0D{UCLD6<{iFXzWq3+90_Gm4{@!SAkzG0An@5i}-b%TaDa z0qfm;Lv8*T11JSeOFhKs4I7=qw4pPOTX``y+>p3$d)56PlyW(k?b+mU_TJ>%v;lW& z4AMoEd85hQU;Pq6{@3UVKYtbJ;d7=G2h(Rlqk3d)Y_D7S!A2Ob({gfheijNrdDIuZ zkA{9aE^;|KqeyXy@g0;>xgs$|y0bt{2@gn^893>m{Py)0tbpZ})CF&y6l$-%8X7 zYbMM3-N7z7o})9da#UikDxpFr$-AmZT*_xpw1l*-SJ(oDZCh55T+K)c7EGU@6AWld zec8C5f_)+8Gm4|Ct)RV=hDUaiieP4!li5;VpC-p+&~wA{c2ok6s26EFZJhznuz7CDu532jl-qMIl2fLM^zbd==j@Ds4fraDMIHQY@~ z8`BQgR)W54`ohqWP~CRn=7f(cOv(HUm{1&OA*$If-QF??X{G6CAj2q590xnHxE|YO z!09G<4t8N_4kX4QnAdE%TR-~xv}}xe)n#n;U(3sB=sqAOG@QP@lOk#^Xkf2H3l0vd zv-iP+5^T5N@K3~kH4c{FNWw5O)$~yoIg|fVIa-D%eX(qU(4Gkp=8pzIWyb^P*#TDf zM_*nMiJ1~b^E%WFA|Ci~%6P};m831{W3DlMY3kNJtNcwdJ5AONBfvU#Q>9dn1AQ(1 zj&SHo3)HzObLAU5QTp{7BeE{gIz)r=;x>7E4O1rIr1Pcwg;6er?i~+^B7ZdFfbsu; znb1!?Ior{nEu84JyO604*{JHe%N7${GGxWKjwoA^nMR3A zPeIu=5CtpzX1n&d3^zA505;JdHv9df)_w^u#b6d~PVw9h5VE zAG18<&RduyQMo1WHqpjf4dY)FcoG*x!MLtNZAr=hddChDiDv$k!f_oGOfo#Kg8SJg zc4KKAN_6r#niyDFH}0VdU;u^9PH-lhq*l?^W22bYGfj(+JZvbgA}66VgUELSHDo=_ zdvQyGHW>QB{oWw=Mw{p)AqI6YE>p3vx{8V#(O8H&kz&<;r0~DGTQwqfE8ipr9^_Ls zX-Je;i;9XEP(Z=l)DEICsT-3V80k+EVBfVX(+$N@b8zk@s{{>hk8K!h9}*H0RpH^~ z#oRANd{BLFuineSo?2|`Tfm=e?eB+&W%@kw{-7)**eU?@-02}<+oOyIf-=pQfw1N! z?S`{t&QqKM9@5iVTO}0%-Y|JRcWl=YZPU+G#Q>r6(@DMOrqo zv~2r(0MO#t!;Fl512voE(3;=+(WSdOjv^RHJ?+`UORlbEf{sWyiMpW(Qi_4uyhnWn zMt#=FNV4B_XXBtCICOMcsZO=V2<#_VE7igK$JdF#2cEAGh+KJ)nD?;#Z%rzUMWp`I z6>2Ifmg-?Nz@>o!IMND;o|(~!XfcWv(|rLw_R?o(a1fF&NP%;!E-EhWBFmz_QR6{y zegZytIZ<6L?|t(4aWJr~yhjJlbL~a1Ul^dii5@kgLfqP&iP{&!hV8D4cSS7~a1@sJ zUV-Q%$giZ99#ly9Oi;pm(RtXXwh+C&O!)jGg|9=Vh!r$CHs&@_ib8e4RIVnk0%A!Z z{^>103g@Ea)?RS$mYp}jz&xLOR9qY}^yf=0%G<%w(ToMF9MbN)F@1X826Be{#7G2D zOEh}_;527ffzhGQE@<6RME$FgfOxA!dC$JjEgA5$dlABNJEi+j(NwOjN$?{|28Ne+ z9&*T^XIG`fpr#oh3kBMgqN;9T=wbwrJvcZxJWagv$rB5xK*k?(OwKo)MfMCTOZL_( zJI0g(fMSTs7f(%+fKi1Y@taSdK1rW+;m?nKfGp4gJs$m~7q*}m+p%JuyQ(PB%+Ool zj{=(EE`4-MoEN$Pev>C|OQ3w}kLHryt$NtkU1(bVJdc*PO9*=2?Yq%#W2Xi&PFtT- zK(+W@sQmJkSHS^_75BC2Px%!;VfD33>@8=NyUIeyDx0ehhIK3WdjQ|;pwbGue~O=4 z@sFH`mirlIbl5)&Iq-$6Dw}G>QbOL0*Rs5t!B37{#{S$X=7X@+{fcn6Jsi?!%Rd?| z4(X?awKh1-KTaCEnDTRFP0DLAfBYRrJ$z4b#|qRDPGy(|#_Y(;5^V_y3CoA!JA+aI zPRKhi_+7~D!%6OjbG|iL%Ohn`Ygmt5DfRZ$Y~SIxqS@eaaqR z^8$QcTKioq*^^#Y)-&xD++_ac+c&)n7bdHjeq#sWBXX*$-a5-B#K#v&Uq&Wy#P4@C zAnRj6fm@qH#_@NSha6rJ5OQXMZS$VYX_@+3Fa7|((dv6FDhl2%w&V&5MwIzAVIekN-Yzrq?q>($ttu-p#0G7BxOgsl#!B;3(Rl$*=Y-*rlCoJIBS!n|07vI5*h zCf-kg+jc(8E=qSoog3yRIdqq;zhiBBa7en_4?N^$)Y_9cJ$ZUFUlwr~)^&Gx=DQ`0EzQE9|0#s|V?- zqM2E$R7drrNBT&Pv{Y3?EEm2%dv+DxrC`|4aiG`4_#M3*smQadl!7F8k9NKP+e()Q z=$~q{kW5rZg%hTKC2DSwRy>>FJ{`XjPnr!#4t;Yo2J-WxI+#vd^{quCRa!v6U8BXG zo@hJ;ZfnAnks}P$)-kB$1`8O&nl#t~9RNsWl9!j4dwP4be*g9*R-K(BqDF2}ktX)R z?}8eMtF?Pjq<;7Q;^n|~0-VGxAdzCJ|M@p$D)G<%{``9%{t;9E_a_uBi5LCvPvSO^ z{@#rL{3P6EaBKeOCt(YLfByF;{Lb*tKR*q0eMxu2lbC%@hdd{KdrDD5;i3Gw>;Df$ CT%EK4 literal 0 HcmV?d00001 diff --git a/presentation.tex b/presentation.tex index c614bcd..819d807 100644 --- a/presentation.tex +++ b/presentation.tex @@ -9,6 +9,7 @@ \hypersetup{pdfpagemode=UseNone} % don't show bookmarks on initial view % font +\usepackage{bm} \usepackage{fontspec} \setsansfont{TeX Gyre Heros} \setbeamerfont{note page}{family*=pplx,size=\footnotesize} % Palatino for notes @@ -17,6 +18,11 @@ % In Mac, unzip it, double-click the .otf files, and install using "FontBook" % http://www.gust.org.pl/projects/e-foundry/tex-gyre/heros/qhv2.004otf.zip +% restore a standard LaTeX-like math font +\usepackage{amsmath} +\usepackage{unicode-math} +\setmathfont{Latin Modern Math} + %\newfontfamily\emojifont{Noto Emoji} \newcommand{\inlineemoji}[2][1.2em]{% \raisebox{-0.2em}{\includegraphics[height=#1]{#2}}% @@ -39,7 +45,8 @@ \definecolor{foreground}{RGB}{34,34,34} \definecolor{background}{RGB}{255,255,255} \definecolor{title}{RGB}{0,82,155} -\definecolor{gray}{RGB}{110,110,110} +%\definecolor{gray}{RGB}{110,110,110} +\definecolor{gray}{RGB}{15,15,15} \definecolor{subtitle}{RGB}{0,121,107} \definecolor{hilight}{RGB}{0,121,107} \definecolor{vhilight}{RGB}{180,0,102} @@ -58,6 +65,13 @@ \setbeamerfont{itemize/enumerate subbody}{size=\footnotesize} \setbeamerfont{itemize/enumerate subitem}{size=\footnotesize} +% configure itemize spacing + +% alas, it breaks itemize styling :( +%\usepackage{enumitem} +% second-level itemize (sub-itemize) +%\setlist[itemize,2]{itemsep=0.7em} + % page number \setbeamertemplate{footline}{% \raisebox{5pt}{\makebox[\paperwidth]{\hfill\makebox[20pt]{\color{gray} @@ -71,15 +85,16 @@ \newcommand{\ei}{\end{itemize}} \newcommand{\ig}{\includegraphics} \newcommand{\subt}[1]{{\footnotesize \color{subtitle} {#1}}} +\newcommand{\subtnc}[1]{{\footnotesize #1}} % title info \title{AI-Enhanced High-Accuracy Robotics for Industrial Applications} -\subtitle{} +\subtitle{Application for PhD-Position (m/f/d) in Industrial Robotics} \author{\href{https://abanbytes.eu}{David Madl}} %\institute{\href{https://www.biostat.wisc.edu}{Biostatistics \& Medical Informatics} \\[2pt] \href{http://www.wisc.edu}{University of Wisconsin{\textendash}Madison}} \date{%\href{http://kbroman.org}{\tt \scriptsize kbroman.org} %\\[-4pt] -\href{https://github.com/kbroman}{\tt \scriptsize github.com/cidermole} +\href{https://github.com/cidermole}{\tt \scriptsize github.com/cidermole} } @@ -114,4 +129,107 @@ \end{frame} +\begin{frame}{MSc Thesis} +\subt{Handling out-of-vocabulary words in a domain adaptation setting in SMT} + +%\vspace{12pt} + +\begin{itemize} + \item{Phrase-based Statistical Machine Translation\vspace{0.5em}} + \begin{itemize} + \addtolength{\itemsep}{0.7em} + \item{Warren Weaver (1947):\\[0.5em] + \textit{``This [article in Russian] is really written in English, but it has been coded in some strange symbols. I will now proceed to decode.''}} + \item{Bayes Theorem \& independence assumption:\\[0.5em] + $P(\text{en}|\text{ru}) = \frac{P(\text{ru}|\text{en}) P(\text{en})}{P(\text{ru})}$\\[0.5em] + $P(\text{ru}|\text{en}) = \prod_{i}^{M} P(\text{phrase\_ru}_{i}|\text{en})$ \hspace{0.5em} translation model\\[0.5em] + $P(\text{en}) = \prod_{k}^{L} P(w_{k}|w_{k-n}...w_{k-1})$ \hspace{0.5em} language model\\[0.5em] + $P(\text{ru})$ \hspace{0.5em} dropped normalization factor + } + \end{itemize} +\end{itemize} + +{\tiny see e.g. (Koehn et al 2003, ``Statistical phrase-based translation'')} + +\note{ + The rules for the translation model are more complex than shown here, because of the possibility of phrase splits at different word boundaries. + + The probabilities on the \textbf{right-hand side} are estimated from a training corpus. + The language model is estimated as transitions of an n-state \textbf{Hidden Markov Model}. + The translation model obtains phrases from a previous optimization called \textbf{Word Alignment}. +} + +% {\color{hilight} b} + +\end{frame} + + +\begin{frame}{MSc Thesis - Domain Adaptation 1} +\subtnc{Handling out-of-vocabulary words in a domain adaptation setting in SMT} + +\vspace{12pt} + +\bi + \item{{\color{hilight} test} and {\color{vhilight} train} datasets}\\[0.5em] + \item{{\color{hilight} medical} and {\color{vhilight} political} domains}\\[0.5em] + \item{{\color{hilight} 5 M} and {\color{vhilight} 50 M} word tokens}\\[0.5em] + \item{Domain adaptation:\\[0.5em] + ${\color{hilight} P(\text{en}|\text{ru})} = \frac{\color{vhilight} P(\text{ru}|\text{en}) P(\text{en})}{P(\text{ru})}$\\[0.5em] + ${\color{vhilight} P(\text{ru}|\text{en}) = \prod_{i}^{M} P(\text{phrase\_ru}_{i}|\text{en})}$ \hspace{0.5em} translation model\\[0.5em] + ${\color{vhilight} P(\text{en}) = \prod_{k}^{L} P(w_{k}|w_{k-n}...w_{k-1})}$ \hspace{0.5em} language model\\[0.5em] + } +\ei + +\note{ + In domain adaptation, we have a distributional mismatch between training and test data. + Simply appending target domain text to a large training dataset is not optimal. + This is because the statistics of the original domain dominate. +} + +\end{frame} + + +\begin{frame}{MSc Thesis - Domain Adaptation 2} +\subtnc{Handling out-of-vocabulary words in a domain adaptation setting in SMT} + +\vspace{12pt} + +\bi + \item{{\color{hilight} medical} and {\color{vhilight} political} domains}\\[0.5em] + \item{Mixture model:\\[0.5em] + $P(\text{ru}|\text{en}) = \alpha_1 {\color{hilight} P_1(\text{ru}|\text{en})} + \alpha_2 {\color{vhilight} P_2(\text{ru}|\text{en})} $\\[0.5em] + $P(\text{en}) = \alpha_1 {\color{hilight} P_1(\text{en})} + \alpha_2 {\color{vhilight} P_2(\text{en})} $\\[0.5em] + } + \item{Optimize quality measure:\\[0.5em] + $argmax_{\symbf{\alpha}} \text{BLEU}(\symbf{\alpha})$, $\sum_i \alpha_i = 1$} +\ei + +\note{ + We can do better by estimating two models, one on each domain. + Then we optimize the resulting translation quality based on the mixture parameters. +} + +\end{frame} + + +\begin{frame}{MSc Thesis - Word Alignment oracle} +\subt{Handling out-of-vocabulary words in a domain adaptation setting in SMT} + +\begin{center} +\ig[width=0.6\textwidth]{Images/oov.png} +\end{center} + +{\tiny source: Figure 6.1.3b, MSc Thesis} + +\note{ + The thesis topic I was assigned was to investigate words which could not be translated. + The oracle experiments are the most insightful. This one shows, for different training set sizes: + * in green, the **theoretical limit** from training data, + * in red, if **Word Alignment** had full statistics, + * in blue, the actual errors. +} + +\end{frame} + + \end{document} \ No newline at end of file