From 79814d0a78f1fd21ffa53dcfaf145fe801a3c168 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Mon, 2 Feb 2026 14:40:12 +0100 Subject: [PATCH] [Analysis] Various fixes --- .../analysis-ii-cheat-sheet.pdf | Bin 355518 -> 356156 bytes .../linear-ode/02_constant-coefficient.tex | 8 +++++--- .../differentiation/06_critical_points.tex | 2 +- .../vectors/integration/00_line_integrals.tex | 4 ++-- .../vectors/integration/01_int_in_rn.tex | 1 + .../vectors/integration/04_green_formula.tex | 4 +++- 6 files changed, 12 insertions(+), 7 deletions(-) diff --git a/semester3/analysis-ii/cheat-sheet-jh/analysis-ii-cheat-sheet.pdf b/semester3/analysis-ii/cheat-sheet-jh/analysis-ii-cheat-sheet.pdf index cc50e9ddfd54faf5f2d457b906fcfeabf6ed41ea..4ae5040849b43a94677892431246544c7a97650a 100644 GIT binary patch delta 26674 zcmV)DK*7Jh*%iFr6|i|012Qo+lVJoXf9*Zlk{dUY@A?YPKCxp&7Xb?*mxxSBxws$Jsc?dB=As_|;=N8R2v;p@Y;y>EZDgS(b(GsBzimhI2G zW<#zfvXbLBcYfe!%PTgXEt}M;H2&+|)c2gak2wqggR$`% zzQFvI8pG4wIzrFo907(PVvN*EIS@_VYTC)XS!Zq(F!$;8q9NVA6{&@A_kO!_J(jC2 zu0+W3_RdaLxQW5X&2BmKV1QqX_8l&%aXTkiv~xe&4&e$NX;N3hSe)QBe=%B)1ko%^ z`a@>#87Eqq(Io2E`XyYuo!c$v&D>9KQ<#Gs`>};guJFo?|B!hqUa7`^%-sW+o9mCy z09-49U|M|qPn65z45-_HpQxhE2al=CfE8|!V^}mZKx+@3&HZ$-Xx4v#d;N^lLpfoR z6U8}zmXlg)2V3rs<+trmf0T)44d+ELK%{U&Uv#Id8`7d359d@6!#pB!5)S!GH_93@ zi;d?yhdeOClNWEEFu0G7SfCQx7($g8&F-K4JOZln{m7D*CzOcVsL}foHscjyu=%Tp z+nax%O&Nhso6!?SBn-kvl5oXpGrI4aY9c8BbF}E27zKD6Q;z`2e*hT;VjCA#U3d3) z4YSb`sfn&7ulq(AN*d@{8yVeN16WP1`q8_VFa;bew1p=vqP8%de(Fol+|M*?ni|H1a)b?X1c-)Hx3g9eNte1@@* z=qMvb6J5i6wB2#be>@naF#&MBLMMw^FFpVw8G#r^*w+@3N>7UsEFB3R_o`pn#I9-* z*7j=T|1L*KFOQ^?2utmplOwMcVXRK497uzRXrO|VV+o)?d^AG`IH{o1B#0b;az+{2J$-68YaxbLgw;-e=@f2+kVoc%1FEX~Axj%81? zj7ir(BYC_pxhH@qBdTOyZmi6JwB8ctk408g;sq5@Uwg&yy{Y~qyU0HkpOHhiijpc_ z7|qN?5lZU;!cm%sA?IN+d%O$bZa=64ij!^NOF#zs8z4g!kb%c{F`%l3aoAGI{gVHY zK@1?h0KEzCf6ugi7|;Zeod6YT!l+6SMgxVdEkC@0Z;C-L;0g5r`U&YER94s*pJ|1n z(t`5q-yS@cC{h;h%JE{Y35V$(=fwg6l}sd4)f-i)%Ng45LB zDoD*`Eh63=T4LTD+G5@u+B)9c4IY-&P2u;%n}Hfue^ejg&AyXG*f%|E=4Z3!{%N1U zntPDuz~`hxSO5gI`vMhR-ePbMLX|$~AxrsmIfGi%O$abR|0o zwhtK)e{g|>vPOC-YgJ}I4hT^v{syu)XQC235^5DM^8`%i5a>B2n^h-@fQo#0(Sun2{ueAyTnp zqN^fG^F)#;i(>h6#zcL9)&B{!ORc-@93X*?f4JUVkVL)xVrMNjCyAu8Acf$D%o~8b zTn6hyu!l^&($0ijpcK5mwd(q2`)}^LH#IeDcd8b}C%-HZA0Am`W-B+^v|VnBdzd?p z0!bmN7KqKVyo(hmAfu?yX6KAvk!k1%>ZAwFkQ%A^(Wi!kCXb=cCnzroc>>W3&ib*5 zf7!zs^$BMOPFM{Br17>i?yf%bQkOfTKRcKO`_-yH#=;va@pJ1HsG-1&-@HLCCdWbN zn5Tm`&g!?=AqH+O0tO?Q$DHk5H~~|VXZ}C|iAom-NWW?4Ft#W1e~gMfUxC#*l2zGrA73bYOPWc9i+O7gF4pVDnUzSaDaLdJ+#CkdT5J9^w8Fc=-uGGe~9j< z@H-OGl|l839Tw3;CuiXgB04|cdKNwH@gjPJtA5I{kfjANplK&lMpFKRJ<-Te9VH1e zEw(kwp2FBpLHL0d?T%Ary*din_Bwy2p~t&GP*URzP_SM|8XowX+UWr~x2__^(e!~I zckS(6v%w>+#Mpacbnl5Ni(M+ue>(-O3FADLA0rkQ+bVtx3rX$=ekn`qV6b<(PQ=bX z=2@;#odqkgn<-HKQ*q*5Ms)OZ2o|Mue&ZZGU|<$=+#F;S;qolFoHM5a#5g=oS0_U3 zYm`+h_o0LCI5e6;zoRfu5dtZqNnoCXptM`N55j>ldH}+_NY8{m4@pu5e`p^`Xnw*~ zZp#M;4_J6!EEJ4_7M!z$p?g<>Zrg6}3P+D;v0H&qH-L1TdB8+zgbiptz`bN3UPWcp zI_^r|#2XadoObTDmv(tn!cSLg6-PCGd2`<5KgHJW-Ih5Ex6<|4oH6Xvl5hvY@#=ns z!rg7-guK;mlZB(o2nDmtW?Ck36O4pc->A-#qvoT}x-v-R0_8Rqzk?Gx-WPLJMoe+244Y)H&+xY49i zsj)Q2a5T}v#0E)gwQYh4psR+WXH$d%v*$nQ9E8cAUSN%sPizLHR<5dy)wCX;;oUpV4pzO zfIl85oC;3@I^4-vb|S+w&m!8qy^kc1H0mmkXrQrq;lt>Xi4d;j5l+J+&B^w`%6W`( zqHF3Q5G;{hd2v=HGNOZNsO~}u;Ku={cTOYHicqajk+f6Qf8b98MWz2$jZ=erO0OzH zxx9?_m+Gakj=IiST=yd=0Hy_216Q8sW-YA#6nQA#Wlg>{Wr-i-soS0AL%Z2-+;{I% z$RCc*NIfJkwZMowoL+&DGBMteZGqH*nEDAJ5{X_0`&ZZXDb{bjzZpkPUk*Jv2trgo z8a;F2Eg-#$f69D@c&d2bASr3{I48klp(M`N?@u_yH@U~51EU`0Ve{F{D2xbReSsZ$ zG~%WtV;^xp7okJu3r9Swy-yTwmK;QV=L{Dh_Uof|i(ZWMolq)>B!Z`2vX}-h(e&YA z(KZ_|QD5)2S-Ok&JTHp)>*iqr^2t0zF!L%vd~X<0e-NGqVgvvk7BYZ}$jTbU=!Jte znT%8)T)*cj3m`pu+3E$zY8@XrBPcE*-=Hn%6HdXljR z==4-wDAC3fi}!aeptj3)35tz9HU6onhO_Z~5}0v4-GoW4Zq8g0=mH*bU*2@~Qf5ts zw?1FOCr-ezefkJ+b$;4ktSff54R!+m|2jf)rcIhtNx}3Qn ze^8xaON{2UZ%g#+AD9yN*XK=&5n}uG#ddXOh?IbKN?JQsC)csPS?`@SAi)+C18Yc3 z^F+tGy36jIFPn}hH@yqkn@O@V<>&B#m@)0mI=hYA(>Q=3?c8Ewho7nIcWq-->_jnWG&QkK zJ@}t3H`DE}J>fsbEK}P8dJPj(=tEY-*Hp!(P%oT1$9r!TZMTD{pLY4M+YU1wef-l9 z%Wigy#ePgzG?+EJtrqTq35D4@H{*sjsw;M>D~=C^GSA^FlmYoG*+aB0f|EXTP?w8#Zpl$Bbn7yD*BVllZ%J z2Ev~&>;$A3YGdl56Hu{A%ESp+e;Ex(7&`%7OX>u4ZK)H`wM9-qKX_PHH-+Dk6Hpjq z^L`Gp_t44W<==x7P@Erj6+P|oPQVCNvra$(Cn=fn>xAVNJvuTUP@>>S>f;e5UAo!f zh!PCyFT{Z`IY>6^B5ZF`RpY!6@ALB?Cu~2}EaPi>el@9hmldDbFa@`%f1^nx6V038 zo@Gr-MT^~sQunM;PQ#hz$+nb3W{|xXEhfWC1X29kK+h{UMsp-r8)B6H3@R0T;TWK_ zNYt#_)DacJ`>+;8N5Mh^DnMA(fOA^)tvHlmM3_qRz7;nbXlBK`@uQY73mmX(jWw#S zv71!?gl^j1Ony_9O33P>e^j@U)+BzI>iSL=Z(rW0nt_QlgEMJx|LmOd2=~al zpE=GHBTDOZ1)mVDcOlwZB4pP^+wMVXaeW}_!&!loDkDQ9FB6JLjJ(9i(2y&T4_$b^ zx(C_*Xb69r=SxwZIjU|{z%F^LZj{0FYas*SQCeoMdybU|3{U;vf5%BK3adE(KS}vk z686m|e5*9!o24oK6lNavx}2@x&@K+#O+r=iE`HX{qC_c`Y}Wh?>F1!G<=N%zEZ(;3 ztUOp2$L9EfYG;exJRSOkgd~EA)JBpIKzSV$_d$kEXQo*19n-Kff0*S%F5n7~6;`+{Phf#02qn+A=XmRW5}6p8IYL_8 zB4l4Yr0&S|v2 zb8cT^AgXuc4S&9%02`M)V%#v`FXmrTeWS$CiVf5^WWp7%WTd`f@{eRj_3B&S602`r zYplL?jlBV{e|thV?QSN&C-n`(nrp2Nt8bx`J)QqCRNh`ZPI-%-e7f>h^nFDryl+Xf z{B6W54zyAp(oU?CtC*8Ay94Hd3CuHKT+3T$zE~&Ds(^#T`Q&IL&yr~e94b-l&K2Mqs^EL}{ zS({Y2D=8-+J%7mUEhT71jn3^aerxKem>bLnb~Y~N_BLmNAr;5Wzpm4H1dI}0r^&WC z3jszv4$M4EWu^?AYcS3GT?vN;Zlf2I?An}@NY0eV9iQ&Sz?OkgdBpHOV6 zuE&4PVv-Mo?g27XLnYNYePMu7;p=jVy-wy3@IFQiXXC9R&61ii3E}nj1Oln+(^p`jxU_LV!y|2 z%4kl=yC7j3^K6<~sgTL5i4s{-9050p&PxFVKvMfj>tTn_W zA1EE@ob8_q5qUC1Qkj3#EI_Dv!0(}%yqba(gnjkiIg?DbGIsZd2KA^#;!Du&cdRbt=~r$idK7JI}QsT36^ z@`!gWiAOxNCLZz7*n7mgCv?;9X7al-sQ_@OIa2;9baEc?<=v%>D*dxBVN~gnxMWme zHShB=8}Z%`C5Yz~M9rOPXiZbuCX*3d~8g zoDw!rGLRS}p>-NFM?KHKT*8+Yt;REeXhCI$tGU(H3{H>CEN&o>*_4;~ogl?Ju2tS& z3YwX$PF{J+#l9{i7_n?vGLR`M*(KuyUVU-*vH%^ZI*sYWp;qEVKR#^Ef2%@i-pW-Z zu0mptd!(B;!2a0*xBshSt3ULrl??FT=8ayuBu#ThvpC!zpt61k>w8JUL3I$q1w0;jkImoDuhUz6oIJc+It$!TVd`n;nJ=eG z7GNw?CQGBMk74uGrt8@1e;$=ZP0j8l0F}b_CqOf*!;uI_*_h^IUSwlf8~BnwKakqL zDb`6VurWcDP{$}eaC3T=QYB#NM>Ggimo#%x)xR-VYEU%l>J+G)rC1$-N}i#q==~rx z)ikL(o@Zl*R+DdvMJ!+CRQ#H-tb$+2*Z%}BeU`GQIAUc;?Ugu=e}@?rU0P#8&S=37 zt?8fysfyl~0$@Sm;jGRX3i7onzARw5^C4hL@bYZ<3Q{qZHG!}LD=RM`P>h-$;?liD zHY^3nx%xtJCO8Qcn1FzF90)pj=kKZ-cNysMe+v|wqL1%wv951OM(^`9FDiefstaYL;?+sDI)*_1Y$98#EwH^3 z`Javz2gE$%#XNCoF;9+NuHxqs^8_`7o9bX4lB0s2;A2s?SD4ENchO=gUAQu9O7;q= z(rQ7+P3ZbUCUlT5WKrBx^fv}h%?a}_dO0697ci!)kiHF&fADU3I_Y!V0cPb>g8#g?%&lG+S$k-?A63?&<&~n=)0`O zNg6=%E{@1xe-&|kkh0c|?;pLiwR45yK*B zf}>^Jwll(On+IOO#dR~fdGacK|8}~E&c4pLBue_A@W0)hHUSJaLS{agfP`P_X-To;Usc*U7-e2~+|fBO(?=g_a=^rOSjeUCT9Uv-$# zSVe_64%{UhV23t!oY+ZE*IWP9p|O41+*LYozueu%=|AYjyWXPM0oOeMyn_?&^KZ27 ztF8K}26MYDD__+E3zCh><~8l3vhl}kb&s&PZkNs6E{5V_q@ND!ys5@{Q>jH|yfCxk z2exqce*w#}72xb*?5k|Bb?169ENYS)zl#dDld&tX?Y4@Nn_yH`wtE2V$=Y{#9~4Fh zR~7(8Jte?zHnP<{Z{u3JPU&uCUXtFwZl`-c7@pZK{BXN&Z&!ec4Sbmmk`+R2ksay* z)9s+NNUweQ9SuJ>t#=f6^+FsqWhKY15jMl*f8u`KnnbA2C2$g%i~bK?3MLO`|Vn=>7`{Zmh_E>U#j_9*LDpkh`~6UNM_lEi55$NdQq zf8_+t==t4riFMpW?TfV3a{Nnp2U@-=4IMvwc(AYDVlpDXpzUo#SqrA((o3!X? zGh_*&x2;vfqz_Jp+nNtk$4u}?v7`}`g%>DtQc-a{fm`X+=XTN8;7tofEKKP=GDcH!IAOX9TDAb(e4yP zMJIf$y*&6|tIf81*_^v&XN88zHSo%LU$iXLL)tS%IX-RKP0T2x0YN5>;+3u=V^xpW zt7WFvRC;D7_ABPy1J0_m4(;pa!M}qK|95kd%-92rFVPJLcvGl;ZQ^WCon%W2e;>RK z%?Hw3boTghTV~~i`U&<`KF5!r5$C?A`|wLk^QpG-P^zuGY_6Y6RsQR0+kA~xh}rnB zuK1<4?^T?xgC-}c=#3Kr&Zw=1HSOKdlw+F&6mI1Oo?3!X%+qoyMWrB$>~ zsg5FR=3W@bh^}o;){pJi6m~j6w`{K1^XH)GA%Yj%qLg-^icHu4dLa6S{tDtySnAj#PH&?ZXKuk_>qc!V^ ziRK+KvB@FJ+d_O5&z?laFv|ZZBaEuHtIL{4=7mxQyj1rDugr_b7te$?f5E)GymfMe z_PPsxaqngA-rWi?vWPFb~_OMM^1KK1~2xyBFD)Xpuw> z=>RF}Mgl#^q?9OL7Ru8yWu_kah&ezd7_MTem$0y#^s>cPgtR4K5WM_C^ zTk#^-8!JjUVdyqg7`K%$L!HbJ9{#lZ8CNRnB(I#EW)Fz_tWBdbwRK?+_Jv47hVvwzzbvwzzbuzxpr%l;h* zza;i=4$6kSy{?nlX5X~zzdD)yw{N=x`)_I0fE;rLV1mHjB8c-Lw|`436HHbPS_&)Y zXtkRdeOw7nrZ9<_x@;JSl2p#7DuwZy2|0$50bk_wgJNV>i#86Y(sHa;ssU=WbHCU$u%}6;eA3LYdsObp^OP(c_ zWi}roH8+W&cw)rVRAh7ejIRdeYU*Ncwx?TK7`a_a@c~;}px$!Q@w0)MU7|kQG>Q_e zBRr9725(vd`QEez^1W$m`A!u(L9yPRg>s_t|#Mw^jbMs`{wg3j^5-GPBRe;=R(;Vw}7DJfqdJeE-0xn zXWM{f>wk5a1zPOuwAROE&T|QTz%X$N&v!Fb!O!SH7i&b zR}Q-KVK6-w_Rqy?zqFsMmw@;mZgyL<2QO}y4u1{S^J%Lrs-Vi^-Ug&vlwD>)%Bb|L z>Vg#M@r*X9YZi#yoJnTRsBb(S z&Oox%`~70~)}Ez0L39xmN6U&4W<~okYoHoaRU~@JojLYLtoN2oZ8uK;D1Ch8nLv;? zB=86l_5>BCcnje7+4FL80Y82`uQ?R};E1TENX+cCr7W1FJ~#={ zTVGwb!8g#*Q!9gHTqZbT&Uy(Rik#^s?3R+I7N8^XOR2*J@B|WsG&h8iF+C;i!;P&P z0&-b!5qmb8Q0CV`?1QNnZ!1D+;=xKv|$<^H8(S4A8%4f z;~hRrevJ2jZejY$r?g?nJodf$ULKytPl@ixfdwBD$-Kl zCX+x^e4j(^cAeO@m`cJ%=RS|CldZTqf0Rxgz$PC989(LXCz`=#=lY^^uo)*n^=~IW ziUK;3V#n!Oj1^3UIPda@R3yb*$P!SjOj%^X+)DW5vODs#HgJDTgk7(;nmv_X?d&}a zs2^vJrLi2WQ1hgtTFm>B!#Kg}IMvfKU@NF?p z+5!;e3^;s#i%Z{FYJF`f9Y!M!%bI9 zmEP3Z(oL>PGyLd;6TLeIG>s1)Yw zdh+0jB^lhSoZ6!E4CmEBNqbm#jL?P!W&!s9sNa;z%d%Bsk>?|S)8_8>GB&}6m1)WM(q#hhBq?STa={f!D; z9kBDdn1j1%x3dn(E+DBcHy*>n2cOAtzmJcDcWLFLWZ&U(qjMVzu>)NdT$QCcNa3PT zvJ4yZYk$%JSwa9ke;yFSf(JfMasW-blIR@zh~{y`BN29HB6f|^cb+v^5qs$_)$o7_ ztikAlB-hJ#ib9S$e2}7@Z2qt#+paTA_rS-_r=3pj%*Xpw=7Cei0F8wuO^69~m(1eP z5S6M>+Bv#_y#iMz7+AHcuNRw*z4K(XnK9B9F}E$|@3*sxe>W$%@cqfnVp(TWEp*|7 zPM^LEsuQX19etflh3*xS?r^v-)w-v^qI@?678BKm#*|A;ysGDLEOR}l1VzS`aXzV@ zqYW{~C?20O-NX)9)9Yb;mudbMLjodDgRC4;e1*r>>~{$aRRySJcdWc}w>#l7i)pKf z?0l_*goo4Se>9*ZJ-S_&jJ#df7Dc;unQf~VtM%&eHedQo%6v{1pKgY1axxpNlAOuj z2U2yem}h4cm45y(cS)zuw?DKz;-W^s^JaCZb9X8%9Ep10v;Fp`&0_s_@5%R3yi)cs zAPQlnCoGY<1R0lTcZcQaOTj-q9c!^`(?uGlsRE`sf0P%Wj5X>bjfG1ResS_ut}4wq zk4q19YO7*BWPQf1nct=BcPJi~s>>HMx@QiAM`igtBVS~zbe!?B^H^Sgg{DPH1eCz{ z6glH2+nflvYX#T)6afPZmM&^rg4%jEr6wd|fR6j5kU?w&+%P^Xp_RS_Sz^=tIHwH^ax&~`ibmzEFXr@ zB;{mRl(t#Kd1(HTP7W}uLr<+i>f-$a>@^bJ9XOlQW_Q)W5KKqq-(++0&3NKCz%O>{ z24+{XTlKy6yFOy~u>(QrT7CkV|L=`a=uk7^e+0`NVeUA_&%;+f{WshCbf&B6ZnfB4 z;k_N$^2jO~Kiw`mT3~#KxGX42MP6{;Xq<%mmTyHeDO*~?wE{!Y_+t1AO z&&1oKqc~Pncn|lx!rf6gO{wv2VXm8g4cW%xv=A7=GhUi@FwT?GR7dHpr<}f?ybhzU zf7v_B9&5DH2x}5_5G>4$iz!c9wfD3UGWw?;&_Ca+`uTHcpHU%KT5$3X7csFT^}X&$ zF>Xilk9kK%;dYpRq2DiN?o|QKA||W(3aapnjS^Hr#Jo5`C-~OfPPx9lu6wSoQ_fkc zk9;LMe@}|eMh{l5+L88(BYZIGn1Q1+e<~k0Y7friB4WwaBAJ9*n#(qAGb$4m6~8ab zjLQME$8WL;q@UT$)G`Z8)|9{>(>2mCtGV~Fy!Yq6i1=#efzM=6!;i_E0jsi*l}cq$ z$5(s(E=9IPG=)*!!+3pNl{eyaHi22T-gEar zP@bSF{@3mLu(~l`A*w(TJQ%mol}+^sQZ$cBIarv=FY!*L+ZU_ND(_|0G%KLFNXmb( zwTqI8WJXr{x+D=X@J;%`$r-^>k*o6Sp%UFu^}AT}|YNRlc-!8%uo0Ve*BWY|RkR$wYg zumhFAl!5`MRAK9T@QTE><@gbLE=QLcq6Fru?sF^M-_p=562hece|d?o9W;l!!m6sy z=1D_WxSg`O^0!4+DtEtIwiK2*vNFHtRnp87ffU9XefP3R$NQ(SRg46~8Xz6pYD{^P zj!Hwky)#fqBx06Pwan&3Y+oM+?~{F#X4#C85j@Rb+1I~uGI3k5ab(F)Hx%}_?$&ju z@y|?2XH3-`I^&C!9Q~@$oZK7xQl$#nSEpPtpVrqm2U`;o^uXa-Et6uxDo;B;^}>?V zm?hNfoLUS##p8pH7isFO83Xt3aU~t0BZz)a z_lAyHn_&-r^ezpi4b{~Vr5s%F?rXveR+F*A z9|8b4lhVU*I9m8#6q0+SD>8lJ%Dnq zI!lgY`>s-FMY-6KbyZw0cXuo&9bdFa(A}?&@)=l9nU}1E7IMqu(Ht zs|lI>=@IFDK70A-_un!-F{M#VOP2HI;%eKBL9kdiNo;(d+Zol&h-v{?a|-G=9W+ z@soe4nyAuLT;mhUp%ycfDJ_MOZlI~gtFkhaPMz86;;4RDRbriPH*8Edo5h)JbH2X0 zoy~XnLkxC)nVcCRC^WG;W4hSY_Tz4Sw{?H5LGd9-debab@m2C2R_XLCSEdw1q-L3m zP7A73ns?!UmF|YIOgAN^2j^InLPeAO#7*(;da-gdg4lPt-ejlc=j5~?-X1qCRaFXZ zj-QoZC>KXh3^8M7ri%J$H(Ix!DF zWhSTkawZ3lgOXFA28@@)L-+m4HFJME+wAK3-Ey|^M7GWy&mu=vr7RXVx4Sb|6(3w1 z2oz9f`+ZygbK!_~z4cFlIIb2~%lfK5UoL)wAax1+{u(ktN+mgLNW%QIzeud1C@TVM zNGUA!L1G5@AlR3`t<@NyMH1)}cXb7C$*>2$Y&w53KAgO#Kikwi`s2$-6xe@pGNBVH zN(zLf5^yvLI+@=*`o{#g^*>E4%l?Rz+-Ny@H^E|jQmP65r;`ml{r&CL<-gBow1m3b z$s^z;pe+i3F-eV{+_Xi=5W=>dEZZU=X+~*nCO{^&62S5>*i4l%&HGKkeDX-p(h#L& zTL?`FjvNWBX8S6vlc1cntv7!qVF=h*C<{F;J7r-wZQ}u~W(d9jTM9$V|K0EN8@Esy;Vm>a1tw7fpE<20 zD}}@stz1V5=^%`+gzsswP)HGA>a|r&w~Jj`U<6URUZuwk{ig^b zBY@B#O7l`tPwG~Qwhey}SBb0J)UqcxG&(!8)8Ca-tKtrXekZCzjhoqRX4Pm`@U4oc zXLhcWvSgU#SX`pAM8aU@C6PbST1nDZ`or0j!o-~?+SL9e-D@!;oBB$xlSst?s$U3U zX(7;oj03SBs(3o0k^b2T4+keKJ`1a|QYwP(Ch>A*kIL+PMNNO=eDPF^J$*^9#n;(Q z_&B=>lgJE0x2X={vMdGT5iaA_)uecLUC$ATuN~e3hUbXQ^8~I)Xi!8ODTOP#q>4tJ zJ5A06cxD9@lw0P+NEy$}Ve|*a=gUC;SEnAv znB;oBN!O%L{*pISjcc;?R^a%vh@>8M@%1eLEQl0eFoxM&TABCnAD#;Vj z^j*EXcFRSxSdiua@L_%0Yi}~93^kzUS4nI!Ag~yboL@RLzyEe-2eQf{^0wTiD9jWj z+p=QVBYbieD@DYf&7h??3H|tG+Gs*eb^N(;P(Fg@2QT!4NiTo|2mvJJBa~Ld!E?#Ch>G>@Q%7B60{Nrl3|1u@7@X z2h>XLb_PgK?QWMtyImPCbI6X&0o~2q0Qy7H#r$sb7Uhpc*;kOj)-1W4R1B!D(wGs2ZAD`_Uv3d90DH`2P1P%YH5i1x?#t$IX^R*&?X+EK}opw-l zUqJ#hTrwl$QGabk@DB&K;y&%OjJ2gvT;q;NvKNLf&2sa1FPXN>B| zrzd}Qe`_ajWFSj?GQBgXWDa%jj;C(-PrR6>1c-1f7SpU@gNov2ZB761?P{@FY-Y>l z2UJ_3d`WfIi~`la%bdSv)a=H@6?iF_xr4-2O1?k66#W$Z=P!h+l?Ml&QLEKC-`;L# zbNuC>tS{Z?MSZhaZR?z00#44E9rM3AtVw?}F4WCc73})xMdGpAjpOdz9XhV(hzaWl*5Dq`JqTuu@W7k@i)PDzuWS!=QwcE`t)vx(rGvYZ#QK@c>pcgnuQ| zjnZ%)k^{DzP|2duf3@6+Jl1&A>Fs|W)|(Ep+A&8POd8n9RXpUhQ7BiRO$n|9vsK5(AP{C>{qk-#-{Fbmh~}{#bCq#te&6!|7zk16 zd$^B$*?v^k^}rs{BuA+fFNre%9-vg_I3Ws-JHa>{cwHg|?3y;6&5Q48*1mt=6u>sF zVE^$-bPA!Rik6CSBHBV&L0vH_o5tIMFam5W6n1D-Qx=BPHtxsU4&gJ>C^$+*^`JCL zX;@r#fJXUB7LA|7w!Yidt1CyV>fNz)s_k)~PBriyq*E=b`f+#F*@nW2(;N49>v!nA zEQ;OQc`*Z{AW$c4%dQvRwRwNOyPGXtVZGWpg}AfqF1N1ArTw|S>Ai`yH*cX%kN4uU9i84@AB>^N0iG2XHRa%EK)a7j!lgmdx4!Cw>D|oaJNikPx169Qf+n`gsnvMK3p34i1BbiE1dV>nxg~uIHMP45$0CoJtVk4F4?G3AK9|sf@R$={cK%rV$@2wPY z8k&sg7m~6a{}i=>Z{90uJQ8-K0ut2Js}el0zd}(io!mBLM;iK#GUN{L0z8 z`iQ5X8#8{9pcN3VVvxM8Y6MU~C(ZsC?g5lR&P(qB#SZP~c%2Nlr$q$Rhm2{ic$^Gl zl3m*vECGKlHO~HAd)}TP64xWx<02xv&u=7NEUxro7plUOlS?Vgt1<$ z@+hy>Z<4_YT36PK`5rFjUfGkK#nYq;l<3m+GaX6cWjyN4J@DZbf2MUMhr-R`3M9Oa zVXv=%)46ykQ#GnR?NxEQI7h2$vA$bfIL#iG1nr}7OdJ-@*RI~?qF&8*zHs(_u?>sw zU-mDUVp*>i*#Up1rwj;IaCGjw%)pb(v;n8-g*W!39kW#`!j5y{M52_zt2x3>yQuH1 z`OJ&cGcP(jZg=^?N#=9Q+50-dPb9)>DuIU=DQE0R6R%2zDt-{Bg9U@Rq0-X8uAZ8b z2K50+?VXaSYSP^lxlZU&o$&om?im>{c28yY2+h4&kz;>0VNnhfKMK^8$esh*(Zo*} zVu_zH^bqkgc(7F;D}>`}V75QbI%R1eKZ^EArW#Ir-#rYbH%-tKwTc_bP4OxX-yhPb z3lP(c2PPYEHpPcWb_7)Eb-<8|EO;j@+<^WI=OZ29iBD3#C5$7tXhs+)S?r#WrqcX-i!715$AI5EPu>k1$kOUgaQR$WatC7~hkn)LeqVB|V{5Swc;T z*rU|nVf+ELBBwn+7Vl>_w^=7n7O}NLH7JG#;0%9Nr=r58JAtg{0&b)8_d2)NPg=Uu z`Pt)WI;udkG#w{46GsUv@Ku^L!&+W`jHyUkb0sN$O*^;2llSR&j43h)2Mqn_gM+@# zywC+{&(m0Tyf_o1U_&e3hlkVRf6{ZnX?6h0xh~t@;3Or<6+2=WY2t-vg3!Xc>WQkj zT3dfo?_`tzTriTa zS0R}9j21pU#mooqZtB_UYPkrux(oNTX|6ASh_pPxFti7V+0pXEr#p>$)U91U-YHF- zSRJIOqW6bejR>wPbtOJ0jeOwajY(rQUTA+i)zTbwzWsTL@{J{ebPQnmZ z2&bWP!EDlbJB1j#z3?Ad{58{>&Jk;2J`S;lmUWS0;26R0(z?rdOuG%%+*S+6Yz(HF zNHl3vYioP;noKU>;SUpQ&7HinRc|JofozEHEhm3@^kYI7*R-WLYz^JfnfBwP(8+&v zf_7A$XM0`tlxe5d@3Og5lFYR%8Ig%zqLl$g1)YgHwFY8EbN-W6h9=vfvI-R{+A354 zy{>1L>kcXwC~=gqQinuk%23nkoeuIo2lj=CIK4=bArLCiDV&j#R-#XbdKBkHlEt$j zbk?<@ibunHqu~>@Fz_r23L)UQkrRKZiH|9cFp!%D1DUY7S7Ho|ILgpe1vOQyPVGha z6ErcF#`Gw7cksN_+B(iRwX#$6KG6rNu+fA#+{u*F60QA6>0r0V{XjhiNG;2X%7OV) zHl>JE1b|ofoIu}}6tMT{@C0fL8yhu&?0yr-hUf&+oT?a1V3%Q_4f-Nz*p7a9jv8z{!!+A9KBO?_M$_Cn9&T%Uc6nZD z@egFwc1<;4q&C2E%~spX_2y=Vu1?;0s*&|+F`wOSTW-rSad%CaE7ZkS@zw2ipoHcyTodbwhmMiY5y<*;FL^m!YPtyzq93Ou>1HOKNoV;um z@AzXe3yX-qVn&+5JHM${TVVR#d=37w>7{hW<+tZ zUj26Gp8k5b-MQC;YYdiJ*le5DBX3tvFBY5n?U@9wYUh;*&V`=D)7F|3SePLu8V4IJ z><;JgnN5q=a&3$|TN@L7X#$^Y-IMLYDlnMe1Kp0UXB(#sfkMwK;wC~JY&f|Y?+#L+ zFH@)Wj?DzVuW%VW`0hiBiUG)T-P_T`n>~)F7b#B^w!; z&-eFrTJ&dZAgAH8wC09d;*sRd1%-S?R2&S@B<}7m!F`b6?(R0YySon%+(U48C%6vo zGPnc@9tiGEfc^e|FMHcVz1Q8Z4}IxNbyu;}p5lSWe<{EdyCFU`t7&L}{#|9ypYrf& zPF-xSR4V?uXRW7=XzyEA5U;IUi7DYLN5<{|J#3nG4R2Er%Fo%>vVaWM7%`u{c)Yac zW;0g@>PX^_=dulL6HI1#`=}c}Z&vL;XJ=Re80}LtCH7MxlH-IbjX2Cv(=2~HNKDUs z@@6p_t|Nk%5(Q4kkK+nK^mjG5cxiT)lYh>_7?{2$g{m;t4K})loJ6*f;sZ?=gAi*Z zPC}8{7_^(2nZ9^hNL68GMQO+Wdysg;P07uR3Bn3$b=T3L^bckp_>!a!4B&B`Ro#u7 z-x(NP!`4zPb&l!AGm&&&TSM9sxDv8-+VlcbhwX+oy936l0&Lyn{@NVtqPaKr*W3Rc|@+?sTM7ZU?e%~S62%hUI zSJygZS6!JkOua3pc`CJL?$Zj81}$4QEIh%X{4bB5NY%!EP1(lFzMJQe9{F1%o$C2b z^mbNcRzfO}mIY2_39UT04%2I$onAgXYw!(!x_+*C9eWG0Q>!2|8H9t0+xf~%;Q#Inok(EE^VCB%PR$O$R|6Os@z{s5| z_Ko6T^?pC!X0y#6_==$~!3p(Xwo9VNJJJ3JAfIIoDi-r@Wb?B4?*SWrliA+A9@oh+ z3m}Zr?oH?3SkDsw&Dj{pu(ry#eWdUp_1rVqeouX{)=8C7N|s=Wn$Ak!ht|{{Dmgy3 z;S-=Vwz0@b?L=PoAe97%r@P-QCpAX?8KjnCHM;3D&B(I4HK1#sw@=d&eg_Y)t6l`( zMAD1~BB5$@7yzvCt`P65xux0ty<02m=(V$OARP(cP3eJyK8^G^SkB`PGAP+-gT&VAz@(WWv97l24D8)Dy~e;jG9MgVG9_8h#Q;??J1g}roKF=F zlxm#c#zKq#gx#=o4k&x@cXn<8j)4AAXA@z1f)?b9rkxCcT=mIQg;~pXEEmR?^iW6~ zOx>-pPvO{q^O2}+`!>&ERB%-pLMdsi*Pmn*Ao0gNyF&BYNev;3E2`U zh|HWk-&C~n1^(%uSa>)MFwxT5rcM$mrc8F}pEr}2$COB_6)o^A{Qf~tfjocX+uDc% z?-;C(4Be1!6CNwiSI8TSF$!YQN*Fuu$!8VJDokVy%Z!WEi~~nlz9!CxRF?gauVlMm zq}mwrQCGn4XPnEf4X zcUrPrF1>TAb2%ft+dv|H_5RIl+u#qLl~ugpsOxS~l&qShuv8JMv~%cUE5zcm(t&#h z5lV_2BKRW>XL2ZRm-vMcgMe8jlS$Qb(Td6{Rm;%mskX9YcL?@uzJ*?#>f87zy8+9S*=(0maj9_TX z@N+`b71s@*yy7tz8|B`}vp!eh`zMTKj*R53q49K;f0twM>!IE{!lfvy4 zNxtogudUWP{T_iryTqy1em084a2hiabqzQF+zjvzBl%e-D&d>>>;27*d%;syZrxGd zn|~rF9Hcyk2@muYd8uJ!EWawiw3U_9O4iE4z$wC?q-@rcbH;U@~+EUC{ zm-@|yNFTV-F)U5q2_`LO(wy2o$%i2{=1f>20ck^TC+CRDqm^UAKt!vYl!(m5RAo`h ziq%@+j)QOaZOmVGzU{GVCnEV0OIrr;??$?RW#5G#ES5Vu-fMoIm9=)w1NZb_#&o4< z>W`;1&S=)==8npsN9WwdHpC_R9yjFq1|7Dfvu7whExq0vYKeBoxFtM^w`(ag)*RpT=0aoVR{%&);c?~LQM+WF#iH(A-83y^yD(+Or09aX-$ z_+3}Erw1)7t+hHUv9o19#NL<)Qz!il6iJ%sM&FpP=J_kLAG4bDT{GeX-Zt>b5>&SS zl}Y=Ck1s#9Q=Y2-rV0^0Zozi_GVTx!xiYO@4NZHK)g`l~t3j|u8(Z;huLb8DM&+_< zd?LV|e3|qK%_>_pNh)vGFh#okr^#gwpTKVGv@s+9I{VPXKNwjg*u!6rgbaUVTV?+! z(<|F;g-Vlgld%O%pSJ5!JzxtBX@SsQHvEk`HzR~rw!1jk@oMr%cyn_D-SHQt?)JyJ zP1$@OoEd?BBX5mhm&UsuPiL)fcVdvEvpYen{8@`K{+RDGUkh~qK&Z&dRj?k_Rl9wB zQ98V`fDP*^YL81crshdK5ndA4%p{rma{%&5LJ@0R5-wc(a~%8J)Z&tnBM?N{%2sfG z#@)RZw)Dh(DyPcbL)|G?m0zDS7-tf9^eX8Zhy0{&c^TOl@gZ?ZwLTi*lw#a?C`-`^ z?oL$w&DVY$5X}67ah218t=$dxavpMeo$6zaS$0wnwS$-o0Uy{^@1_eJ*nM-kG?GO5gfBEYLKFf`HP%CKam zGx7HD9M^!h1yzMJU_i#xjmN@Ito3!q0y$`Y)_8$;Ji(~t0t#&Q?UaO|;ztDh)&2!z z#TFZ}2`4&P8R3sy{s$@^FM+Os9tyXLIiaz`m0qTobLsN?;(N6xb&w*1tp5h*uj$VP zMR>}$*&N&=2+c<<>0xL@y8%!GG98>HH*M@0(^Z+4&e*WHDRjGZfFcF;;- zd_bJ{1b57L9w?)TjgHq%Ujs{f{|VIqMQxH$dV)RCFD`ZWD`d$D55@!{buVGgIcuvXk&^F2XlX)_+A zEk1BIrQt3?;*wY=s;!@(MxwJvS*E=mmTv!f%Sul~Anp>9Pg z!B4p2!B|q(G(}|CBuh-^Cj%VrY;SknAylqKg?1EAOO>MbqVuES`Q}Xon-eGdBj}6` zv@+V${XAQLy`3Ye@SC}4{9TUK1y`49kK(-R;EEim|#}W%!AMXlt+7>FPHV-#*(noe4hAuiqeI`P;7BzVi|L z=Y4*M&wP&`Hbd#5A6565*^`tW8X$iGbAw;5iuGrYEc|tfzpfN#&N_+{Cj_lGmizD2 z&^7~0&aR}?x-}D5es>0Q*X=FCfEjE4;WQ3~c1x({(Y6s7>cdo=5r`>^82{`5Z9xdP z+HyN}Tdwg|PjEzqOwBjXbN1tq2gmi46+47RM>p^Znbxz1y){SaO$kqiUe!t*g;X;Q ziJUsKGP@87Pa~^-9m0Fiw$=jO@yI|X1=_n1<7(qzV=`p>=KwF>J5SXCfrHNScd|ll z+%bt%M=S(YmVlokL;fegLtz2X7qmmLf*KMN+6;-awU4AId`ovUoL}r+K;L#6F>*m$ z-%qgaEpfTJ+#eC$Jy?qWaf2g>U&fgMBC+v^ z@WPD0aM?^46rdxac_4PfNF(NT7Qdhl!m4;Z)H)EfK!$J(d(Uets(VXmZR^vUMgI7G zK@3^~l&kJ`t54qSuY{gGm%48OHay+72HNS2#?2UXRJjWZe_@OX{6k>K#L)%$C^(LA zQlXd_hfBlVAu1QTi&r|oYXN}{C{h63F_VnUCc?weUWomvmNHd_wX9>)sc^K`bU@n2-KM;k6+o!F>0!?-(&q%!;$O?f3PCX@5jr4uCvWqIMMZU z62L7kOd9pF{NDS+g&?vCF9z^EDe`oS?IGrvk~nEYHcWpq>aC_xZ+NzBOVTo11B9)8 zIAKPh+9qgQhhs~baJWLC`l|HFX+e@skj>NFIR-QocIyU!eIqGUN|D9791%s5^lbpy zJ0gmLfOWeEyY+d5>RlE6=x=n05D8_Bh`>OVyWl`{#el#IPmWWuq6A=Qqu0I+Dj?pz z7q}xpz2xkZd70K#0nYW|`y%`TiYdc3Q{W)nTJ^p5of>r^7drcwY0bCup8MHd5N&&L zN;1N~r1~roR_WJG`fV@(FFnl2mERIxJA-osP9N>r8wL@7d6_c_3&~-=;~MQ8;ZL9A zn}}d@6%B(HG!)G6$HKoiIEQKabnP!BK8U1AHSk0_3CX-1WXR^EFn?>xKt_vWFf)C_ z+$N{kkNJN#YP_b3q^vOy@z_7UxH;$EQWa!OM7w>6&#>GVl>NozRq>hz0yvJgJG0m~ zFCI0Huy?6Qi1a8rlERB;u4JvT34=+vR7d@n58^o^5KwMFMbQ}Z4e=jVD* zNOH^T!))}GsT6n>qqS~#K=2e9iP8Y*HhcoJwnCIGV5PvIYGs}2cFZVOjS3Ah88SMU zqWcc1YJ|j0+)ftLA6DW*EI@vW-#H;89f7U^iW%xl@Lh&Bx8L)xDWHa#wE2qRfGm2R z91Q&sCgG0%?;PxLe#FFKW)dK$?wsLL&Z)Ly#y<<1SEYE;X)mh>Rd3yq3XG)2omSB8XD36aW(; zfW;dTC{&8Wf$V5@ki?r^z9B65^3RvZUf4FfdXjM?{yg#7FM`+0Jx)^Y;jGGXd3DV_ zlt#ZkJ(=*H`WD0ErGU`mih0CMT$fkwoGkoi;qEEt)tvy!O&TsQ9R1H z{I9{(_g3PK;*~y(JXE_eOVY)6#Z;Q1`J+Q49SfN<9#ONfpk7$y{t{PMewky!2WKoh zIU}~uWMYEyMm3b5 z{7KbLt6glM^_ypID1r|`D^U;bG0g)8vN+yx%KSJvjykGLKN&YJW9?@B)h{q#_e;Q1 z{^8u*xg~lHXugsA+Vjz!r_pf9HjTN+BBn%DnZs;K7@5_B_ zbS1&<4`L?91}9nz`h{^mqW6juK^XTqu;){jEt)(ia5}si%2h1SWx#LMmXZ_OjXHH5 zV4W}2Dm2jfLdezQ!RSy%Xi2Qty}6}6d=9j|wtjy(kq^8waGIOa(C-&O%`FlGixwFv zySD@DDPb%qIm5!YU|P|Wo%o?hU4x#%Q?{^N^O)SU;NI{EDjbJg zQ;R-4C13%{DW7rZ6duO9w1;xxc=sj>=J79b(gCPWt{IR(LO!=_9#KmgQS~IcsNfh; zvx;%xbmjWS`P&w36o3Yrj`i8@LOw*-GVjWW*ZHe6IuwYM-*OiKyVWu6EPu21=(a}a zw7JPn@PeDnD7cK#=J)bIe*e8!6 zkqPu^^_B56y{{76Q9SET`X+5OcC`ywAu)}mhs zWs%j6U42z-nE=}0{}bNDGM+cG@j`^XiBNqXEKuSLF&-s?rP%00Ye!p~kHlPVk>6m~ zRikGzRCNJ>5u|3a?A;;Q@wH6hl)QC;X300|f)o$8aOg}hyL>J?J82A$IzY*ADq9-y zf=s=X+Shtir(=m(zv|Z8ot~mSKO+wNUJ$b+43Pct52(74u4PQnL?Z(&&0f$uv7OY{66n*dRf@wW%>vU%H`z?dSPVCa{}M#$RGaK0KX7B z?XT)QhF3wc$rM5-0C3?YnLV5qdhm3ofjYN5F=Ma&H*h)V=n!M3IledKPTO_JlA)>S z!{GuH2uehRXMb6>w;06bdi#4#2f6>4%`9^9f|uA9WXhI)APB5sK?+#*nYM1|7H-<~ zYek7l$HN0u2n=^}6|Qx{%umDZW!uwn_Cqa+ze-Nd#~{8CzfqvzY}RlnC)D<_YI1u~ z*y1xivt{dQQYoj8tJLaGHf@+v7%1QP)tL$sgN}*EG=>VJ5mI5+s;pEm(s5<|?1yOA z6m#58ca@+ruAQ&2Bw~f6?X8ou^B`XRmOQ;xDrEvNsd6iO|0x*u&JVJfkyLRF#z@hK zfZQhKH{;kn(6$lsxiCr58t@-)-)Z@D%RIk?BBaMNe#B56`_tG+z%F4KqLIuG2cfK7 zgK#B`0O-im-#X7E&?9E#j+0^t)*QOB+J!2^tV#&50K>e&;El^}pNy6?+c7AOJu>+% ztf{9)SE#)(nI~2lTXli@a+=$n4&gsxhl6sgnAwID@AC_IY5bskh*&*d9V*bbRx1$P%ca+z`F%$d8>7^w;OsK)Q~6BtfX8Jj*#cgS!%Uv7{Iw+)`5sSf&1g| z<~fQ{u|M@g=zQh0#mvF0&-%C_8ZOwoBPQ$q<3m$%zU%4Y=k(a4O)Z9@p0Wyc&4RQ* zt=>58H*QNJF}&Ul6jh}3#NtVlEfb^gVR68NI>Xg6p| zg*ux_3c_XB#3tCATGoULx1SItwgeZrIf5wi_&DK&4a?+Q;^e1J#Tv~a2rZ?%VIEhj zyXksUaCzlpI_D)eR5R7u+T?e35Sdn3$4pq;EPur;Y98g1@FAB^I>i!BfM%$?4tuKK zq-8Nl_`<&+ayfBCIv&%BMv47fI9d{Sa%DKJL}`8KXL(tnK#G-}U4{#v(&`Mc1h-t_ z;QHJ7a!<6|Q{0pe{w&&uxkH^W222{bQw`H3|2huD?f{`hDw&%%e@-eLP*RF|kB=Zd zy5p<-UtE77kNOqzZoYyQ6CcDwpipN&UMd-}n{@ZJXRGXB&^*=Ukntvsf*eYMUjZGt z$gCoC!axjbLh6jvLHdvrUJ8*#n(^_{Gv;erX>h9C?;sb8<*3L&mRO~$DezUKN<%#G ziul_cumk8vBytCTH$xH(GHbl+Wx(y@aM?VY)kC_0Vnqu!il)#lMr8Oc?Nuuw(^@dU zV&nflK0oah+-vZ!3L3@pbr&5jg`>+poc*L&i`NW}|T2 z-plw42bYul#P~RVK@tGa(y5=(M47 z+B0Tya2pVhrg-!;eK@{21W$UeK1^=(Q}sf`Rp3A+Vw8=GIUw#}S~zvEShRPT3uPDo@du$y3*O%3`D=<8z)z!;0n=HRSU)E+_AHb220 zK9NArAnPDYMyIu!>dtoDntM}_+f~Z&j(Z8bjT(FedQIC8 z@$b6&2c(A%RmkFofy$;B>;j(-Nv!O6Qn9^RQzZeOMe|)4-oZNv8r?{o6)S?BlX>hE z|E$a-AoeD=-4EZMG@nB@FOcVdd;f)b9;(H|T5iz*ogL~BBY3_!A@-=vpt~M_k06sW z#~gPB5Wu+q?xmUP3(6>Uj?f6a8ZOEjFGScUI-0@B>BAiUAF?CyhHQ969m&`pbtrkW zteTq0b=VDf-pdh7`;5xi$J)z{GyO$C>TlR?ScK_QFws37jl0oF)N_Y=g516Z9mpDP zmKYHf^Y{IxXYQg4JyU=ZJ6{QbqmTSs0dAg>-=jK{{#mnOGqTZxz0RJfcZb3r?i2Uq z@cPZivCvtL5nxK^rlFFXI|?5W+nh;fWbW;qa%4iIa4DnEQyAGysMO z?^{Fkld4BxbC1Mo68$H@S0aqsIgk(i*}d{CdDM%g)a%qMc$Q#SUZGr$-{njLe?Z1E z;hj*~YrH5XRnz*vW7Z&aB~O=9%#EKU(U}k>N~%>tA3y^-7)Wb-EIcoia&0&@wi^!O zNhtKA)2#br>U~l~NY)|*afERW^;b#8{}`^Clb?}aYcqQ+Ce1l2!}KpB?%7PLIO>&) zRtTydif&$GXcqO~1c27#>=`Fbq`H`8e}fevgv=C{YSm*oW>t6Jt`Ky;jeO*)48l za3Cr!R8*UERYW<^5f9n#)~NgAcPzHKWpe{~*(}%TO+*p@C&1-jv?svT^>+`H+JXdO zPM@pFysxcL6maFGmTDffD+CVlN)whY4|al5O;Z+!W?5g*{F2Altk0 z9KSw{q&HUkcYaTetgT-u`+-2#B_A$Ir*mUnetx%cg8`S5&PpiHAoI;J|OV#C*>|49&RakjAl;(EkL8BFRwn z=3g<92jJL3{xifnKMjTnirec_4GwcfXhpOl@&e_nAb6FePfo6(e^)Z&SKTRj`qC*U z+TA+(CR%}iN7%6y^6U^ZetRzy#D-8&638c<$k&iJOm3wXgn84mg^-+hj7t^#%(0qP zFEy={@R~kktx`c~{+ChS4+|C&Uhi7+H{7bt?E5F-h1Hk6|K(->vp|Z*{Dl4wF#iFz z1M?G(+#H^V2LRyA%@8NCf zzPN~32_N)XT2;;fEJye8-JgBvRB79*yej%1A#KSl3{y!y|`sv^gW@L5=D2NIBxu8Icy5 zNjCOQ*1wna6)givS}?z6EUjgaEuxatF0N&cdB|9LYktbF=vTdJ)~rfCIBI&I{0RwR zLxiPrayKK@SDV8&)OaX@{ynf6>j0;+OTUew&Ao=Pz`zNv8gCRY*e%=WpMTD*t4H-?C z_XljdD}W<2s4HQUuLsa>SXU?}_y<%(L*O_)8(}yMt@uzq3o-<`Ym#fOF>Lig#}O8; zq;Sq2azFU7QZq8;P)jo$Wy7j$t=92Dyi7Le)l6KI*_vBN&@PTX^shnkpZw6O;aa;q z{IIj(o@NA)F#kp2&@pYCY*~>#MaJ@p1DeBTC-V?7uJb`Bz1{&}Ro6_5%HT2!7yMN8ekwa1R`> z67PUryb=2(kQO&XPu{r4#>w((?oDg>SJa)Jp)c=9c1-~8vhQLMSNmy(j1L9v;0@Jr zWAe)NpEgUjdWH5)wWD6YR*Xr`9O{@AIgLlll70$mN{XRX75peq*7pk$N399v6z|IO z5IFRhI!v3cPE!lB2f$XvY2jBgtLo&{@DIM#Me;FtfdXImTSt)BnPNbUewh$QPOEQyZkQ^% zUTlBaiW(zPM?HlK)H1=$5hq=9*=ykQ@<27Kom$WJINU^jgnCTuK|P0m6X#pQ3=roy zhJ6p+0^O*_@wveb@QFEWy$oM%9#?BMrG{ig9Ain|g`6SN=Y5X}^{ z9v!FAtYl-Um(Oov{gghfvwmXM{L2dd)OT2I1~pK~&j25XuQcy6-kX@(%+`PGlo7CP zD(3(eb{#Q-9OFXwq@JS@TR+E_w%mZ zR96#Gi}AZVH}H$)6&+6(pEsSGf68n70r%A7yLP&DGr4P9_w{b-dQR=f90q{F=y(lZ zVE$5$;puiAzUOj|07DQ_S~XHy5KZlBy2-p7%+ zEIOX=Eb_nz&tAQIM&Uj(qMk}9tt%q=Xm9)H z;r8Y~W>Z>0r_JaYtpp50N1|eqHhOg5H#L- zx+WMXEXS|YeGc3GtuV^n=-JKa*&74e0ZgIA?-7R^?SHU6c%8U^@%P!i-Jk(u@SlDx zBsx;_(L^;cA7ysje=rY9NK621FW<>v)~io|NSY&tRrFhfNTsL62$qfnk9*UvY+_b5 z@oRfCa(|bjq?bd|Nra_l&dHHivZAy}r|d}sk7%HTlVb>=JA5QV2Ut}@r%BWci9wFe zjC17EbcbVzl;+>F)CsTLWC;)@_2V9fB11gp`b#W( znq^F?0UF8TeaSrmL>XQu`*LGs2Bh_dFn=zxq7pBtf%=*&n(a;X$Lu2iP<%!X-D*B2~6CbA-=86X@Xc^ES07qiE^5boxKSfE(h2EKS?5MKcqYL5&ozKa4?)s(@O66Tit zV+JvR^aAuIf2=>#=3zh+Kz0IDXevr%iZBW&Y-9N04SbUndI3*p2GCDPM@2-9eesz_ zC@L)|zy9sPV~HYV@va;%R;pq!-Q&ENgD8j8pMxX-JV5BthhLXB!$TU}zJxcU>?q+h z^|$h>VWQy?Z}u%QZ}x35Z}x40H;2LfvceR8OS~DVe_>735#H=N8H9b;vu1WSYwn-+ z1lHUmt(kIi79@yRphqM#{-NFGNf3~?@3SNbc4++VQCeL`!~>Co$ynQA8QNPTnkKr= z@6O{0X3kC*xH3Pc_G8}5^F}c=@;tOhnjHKxIy8K4QJ?#WJy*5?R7f?Rt~*p3jiM{) zL9l(we}I5-B$N%(OVP+O1F}GfIM2fWNNi-EzAAY=3=M*jlfuStcb2Fm};6GeIOu{`I?8y^5G&!k;se1lN_2 z^qA->E2&r_Nt8vg{5hk%Il$`w0NSNeVLJy%f1o0+cjqNhXTR7Pi_J+QsVGPxxFPcv zATO5Q`rz#$Q>V03E*2;SuWyaIzS;hpz3xm+?b@EIMe)h63&e*-7Ma<~jyCOh^hr*vncOk4GPF8>a*EdqgP}aI)XasLDN-()cojE{XrAQQ0EECOG2JN^n$Z~ ze{5pra7KOn*?|+*fB>nTEsfc$FPzk6kLb@9X5N0a>W?vZhD!Y0It6MdFyl98kc-K& z*E#0t;H|a#Ep~{3TZ4e!NaiqSd*@HU6tCX9U#UH`D%pAJ3Z*A!=kZpfAG&2bU0X}h zi58@xp%-n$e&84GKmmzL7Y9hc>EmA`_O9LFk(PYyJTa>G#FWJ@f0^fES4W578lzpe)0=R?gxG;O6#DocdALm z&fn)*E|1YrbeDO+L@I<0Xg$EageP7_ zWz;zCO5Vg96y2p0?3Q*!JsdG7Xh~WzCH~(i`hV6aDy67YEsjWB zu2X6hW#=13qo+MV;_8vMXcSFm{QZ^YWAD*gS*5To)1TMb6VD}DVc6LQJkAf$Oc8ka z;9&%fMNAeQQq+-x;HU!?(NRdJVREZ#S@CRrwq1r=zGC`#yNuPNe|LdE9f%Ey`3=*m zs%2^{%`qHRDXwFKq_Ntz-h|MvCdE1o`cT$97l#eeD(wX{n~?F_VCWTlbAOu$1#HEt z%ybI-hcY%{MSf_-eY0W4cUWb|$KA|Zgt(So@XA<`$_QLG!M{AhJkwhWKHT0)xw=UV zGh*ES>{jdT9#fB7fA8H$gZq7s}dPe-Za#NPy+aI!0DaSh?J~|Qm07Tf2nHlhk>Hf|EkBS!9Ar{ zbw!xCjP{r6rLc~s$yr?YBPal-1y%!BUgl=ajs6sQC_ZFOz73&?ALF^*o%U0=*>3E2 z=TgWYj$ou7l9z^K#2rqrKu9ScZ>nv9)Pb1#gb;~DFN6JSn&uSix7y!~Bd0Hio(u#b zA|8#Nx$qW{e_na5zd$@yJa3SclzyC(;IUBR=j-<;9O9eYsl6!F*X!vf@!xsPCGwTJlLe=xitJPpJM06HvW02Q8JLsouMO&r=padUUeYE0EO!A2}l^E+OBbEvOSt!O)kxU0wC&4>upL6p3Cb>UA-( zx4gGGQ!wDNVkzCa&Q6Cj7SG4axtrEGLA}&!!cX1jRB#+(}WR8+(1_&y2DxSnqOq*ga)t_XAihq$kAg1wX) zQ{k=4mvD&_aBQDH0$jmQ`-^eK&bHo;VBlZ!f6EHRD+XA0++5h4m(M^MAS=e8$M!)1 zOhkc58w_W%g1w=Ueb6_|;4X>LsDky4IFy8OWmDIEE0w&`OzXNIKWg&RFa!G5$Vk{X z_LB;a@beBc`HE&j2|I8>DU}q-D%9LNi1ER;IH|y*+c2DB~o`I={kMG;<-O3nQ=Sg;3 zyKuoDDa2A(50d|I?(8%$zrKkC01rM#f4_H|Hc9%sH?(t$i5+gHw%@ghQ85$6pwZOC zI(6WGvD{3z|Lh6>F=mdKt7x|!ME!KjhuwCV>FDC0 zhFEs9TP*ftx}w31*=@D353CMu8-T4byS5jT$V8{+)}6u<=s!e=g?D zCT{VH`YmkJn5+y}WEQQ<%n`VK92W?1!e?Oo<02Tu-5mCg#oHfV_4Y^~_BLG@Q?@Z- zf8L~7jD0BD1W0|YTs)fg#zmfqN1GSo(c*kz3=wgmA~^fCiQO=9BQ9nn!{51E+d=W+5v+v0-v%e^N)2NG6gu z!M(_umWmd;Po?fzqnv^>&5~^?hs+>*FIr57l?bBvw}GBlaE#_iuF{p3>II22_BsssUr9?ptvvPAjf!#rjsDT3)eLl`8JtOj`)B8rC%4k0M7T%Z z{mgMHX(g3PSMY>ry$jLS5+S=T+IA08i|YeXAJz(-R2dl>c`28bz{pFC4E4DJ`Ot-z zt9y{`kB0E4dAP8t%|14x6JW9*Vb-o-DvS)`IuCYv=sL;5*rXL)fsJBzdJ zS}PBh#W6X4pxT*YH_wMYAucLTd1@oc2cW$5iu)i#Czxs0?Pj;w1|jo^IGjyMd{W(l z3~|YkFe(}wvk;M|f4c$=Q!x!I^M_eJ8U9>B0Xi;u#F(bQU-ZAE`bH{EYC2HgkO|kU7Lodf$v=W>*{g4TORTwTDjlBUce>@>fJIv&_q`qNTbED*8_04xOr}ICD%G;~QDR0q}PgmZGzOM*{_bq9L zzl~VUfL4k_+KF*;6?0N%cfdR_fq4dutJ`e58SpI2o0ej*yvnh$k zi7Ag_=2I>Wc+3fnMb8ge5rR^As*agY8)U5c719O^f6J7WrnyBvHJS_KfW?V$IVm|1 zgsG#D9VQ17c2aU+orlxj4A_}706NE{I6IssI1hu{gcHV^t9?GqK<&*LOqCJG6dCX42eGQD>YJT_~r(huJB~^A+8cQ^ADvCaeHx)v%f!Yn$=SkCH-e(~$ z8l4JvCFKO9=TEu4B^8=cqjUR<+nOdS<_5EYosEmRz0a9os+wWuU+8om0V9=a(q!A5 zg#aTS2WB2BGgAi6HJEaj8I4y|s(8wuvN;Ztf20$8pNFv|9(qF<6I~zOOkgdVoltD4 zX~uuaVv-Ak?g27XLj_SeePMu7{Iogzn9W@_CJb+}?H(50tlN6&T`1>_8BK)b@TdWiG55nsv_u4`MP6UV9tDsKW=!A5)knsg ze?)yOBm?53Ugo!!G~xtEQCl1&h7^uD#ShUdtELdnL;%U~#)mT(u7zO*#}`g)vESo1 zWi%(`U68Pic{WXrR7l0uMDi@E+mTC5sxIWap(09HNIXO+gv7&ARq$xz(m-aS`tW+0 z3N2}oQWJW30-eW2=g6k6G~)xZ$+HE>f2qaUsOxOCDXP!`z-3+fdH&E7ngxk~wfdOk z1EmA4v;CvrSo*kN=Kp29$OwxJBt$~O31MnkfAjfAgG zgQ?&Izu(e?1sLrjYmP!rx)KyZigr*`QJOdMKJyh^%TZ{v}N+x@xGb`M@JiDxu+8>=CC`EeY3= zM?AD79&z8Ac*K2U?-37A2-6NT`AwNr060V+DgWds`N-)GOEx9 z_=C>cRQ8Q1r~)BXdO5{NRt!?4f8~-(id;4l_>jwHmRCIBaO#95&9myd5~nEz`XpLT zDmqXykQgJOwHh-+J3eJ znwh9iUU|yJzAYpe(QH^UkSQYQCF2C%{Oayy4mwbM8qO$HS@3aVR_QgB!~vj*RS>cF`Tcs%ePo4=i3r?>bxad@{>7P!8`)brq(FQ-Zt zV9aGEOC!|BF!^fJb!>Hyf6Ai9X7@NGiB_dgQa001+w#@aztS|0+j-zit0=x!T=`ioyMs6d5kK}K?Yre zUkIVoap-4hd8vpNNQ8<^cu63XGluNzE_>H>bM)e~WJ}=fNlh zIHGTI2S-1*+4^+Z>Z% z=8tgOSAapweBB%@oN-iw;cU#y5{$lVG!iM+euXQuwxnPSnU=RX zZu3hT_-ueNgtO@Nm@|AHsRYX+}Dq|3ak!e z;7I9sI=8vufA+E;WV5^8A|Hbb2pcLLX@E;p_wwJqFr^*HS|&{w8>|X#y;BA|tc)ab z-7VX>@#)q$aS@)`XCRp&!f3Ymiy0s)hG{Ef!NdSY=G`4MUSEt zq9FirBg5-K!nPYOrQZb9p~hQwgmGY4C6xbfa+^JZF^9I1S!5%tp^@d|{_xQ7;&(ZYte0 zb<|VSiYlxm5JnFzehM&HXp3A>q0LXHAKXp2pTgHogC`d)a|4Q8UF*Z{C)dYd|6ko3 z)paO(e*$vjd~>GfsefuV9iE(3$)-nIw*(nGo|=kMJ<`eq3|QU+sB(g6{PJ$P#L82= zab+bMG5*EBwJBdmgN$E1JeZdSfw~z8|20VQTc3yz#3m{hV|${KW(ZM(G}HAq)itPa z;goP&`)P{)a{HrLgoTR2E8kdE6Mo7&-}s5|e|&pH*8Q}QcCSls&cG|zp9_jHJ#f?P zETP4KZFk^RxW!ixUvNQ2c3wFYnSQWb(Zxn!E~ChVbH(qYLv*{vLJ3|-*mQ_5YbOc( z*J`s3ug9{t>!?P44MNj&x$$zC>dQXmQgL`**s3Y6( z#lA^0yloO%3>kyZ0o4XZA>p^L8kF}^A(4G?5z-@rb^p-H|CqOM(?_}pMX{!=par49 zLAV?)0g!xgY)_N&1zgt^*ECbWe_&7=TbV+Q74@Y==sqoyQksHKqN#{|uV0B43Dl7e zkfJaWuPB%0*Vm&!En@PK5Ap$Ag7NBsO{K7%~&%@8SxKa?kvi6d_kk&($8H)sDkb1;S_$EVFnhC-;3~&)iAHcu= z0n|Dp6|>PYepdl9lR;)IvwVsH89^d>Sv1iCQ*B!{i3??XtolEbFY%WX)=a0>s;#sq)DT7+D@%Cr(E}5c)}s~zF*B1vW-7B7 zq<#&5-f^iTk}hg{h+D%a7xZ95bdiW&Zdc1Y1PPnC^-aI#l;ZuRDi|5(>LrHzzklAZ z2(5UR_XCacD&qZuD^W$f-?qfO-?qiP-?jz3-wodKeh0!YiT9gRvLRQm>ty!WH!bh4 zPUijX+wQ>oTUs?B$1DLjAn>*b;(WaA(h3BBlahmG!peDB?M6ihSAvZx%wVQ26~>_? zm9VKwVO(ZHj^Sd!6gmB%xR_O;jkl?^ysVXX`HUEI+-4o>IY0OP2DA4&@^r74>RwY{ z+LW7)13${XNb_G_5%@cX|1xPDR0RVC2h%3?`*u{xLK6+vf5eD&!8B(h!Jy)I?)4+*mp8);%QI?raYAs2d_Jy69-hAC<7x3 z$~z!u%fOT(7ptjxP{akgZEws;yoprY*rt7bcsNwq;z)sIG4pT3>|nq!8Wg{~cvtkH zGZ7S|I0^)j(<(c^R6ZjGQm*J=LL)4H8Hv1O7$TETH-?v8Wzvlao~PwX(uf{U;pf@t z+oazy2Y{S9BpMS609|Z+NCqIU&63>OU*pi=y`zB3GiYeJaKsW3(+@DTO_iD8cT=w@ zI^}8tMob!LH@&XQ+#fc<8F>vnhnP0q^cGWqRzKZ3^Xm2{&Lm#A$Q+>FgT>x|;j@`Z zW^MA9`O(Q#{~|>ssU=WbHCUtrZAdvT89S%XsObp^OCBVZWi}ZiH8+WIcw)rVRAg}b zbgu^G%3EyP(=9Cw+b*T}fGsUhZ#n5W*}%pwQJ-xZMG4js9>+CUlTXR$bnmOVxhk z{8?|)RZS|E@lJ7(%kL1hwEP~2Z}>faas1x>U|G9?HR9>UG7J^=B;5H>o=W9PN%TI~ zlWstItsE?T^LZ9WZ}QounQ(=3q3jJ>Kv42PzU@&Ll+>88ZNRd{I?MupE%tR<>*F%# zwgf(4n7Ms^z4lqMaX2S*D`eG4thq4-2M#aiOZ>3iY+OoIje(vQS%bZ>lKGL57t~1- zIz8;HbSKl-dC^C+&eyW3n{jM`Q;a<&0O6}Tv+{zP6|9RZ2i^HFm>vuJ=VG;A+E3O? zK>QCkyRF%S7q?4?2I~`lwIvo+P-1a!qfsr&F0&wIRC-o*L5lQvMw`4f3q)?tBr|7K zS$&1}=_@p;;FWQ~okpRsG#D2dVW}b`KyrtAb67Qg_3mz_`Qk^tz?h@mq4yb+AyZz>~YRDSrxxu#>f~_H}pAzFIm>YF`92 z<_P3AH=?Zt^QuWFMJ^cdzt)~?4Put|i98(e`SR(;o}kV^vef(iV)xb_q&h)#5mZLY ziVv8uL^nddZzR_D3xCmdtB6PX8!(eC3%ykTfLl{1Ns96{d0v;P=_{a&iGb zel;;n0Fz_39S_^vWbB0i{*a7@B9ct7bd!&^B1Y6JD}KCS9eg1CT7?LS4&ECF4axeb zzAq`yCW)`IkIAGyn|E~lknz8WJ^=J|lL0{W6sP&`jC6x_GUYoy+#ntW@QE;9llQhK zf5|597jdrBQ5E@ zTVGwbu{O}qQz(OETqZbT&Uy(Rik#^s?3R+I7N8^XOR2*J@B|XXGdF~hF+C;i!;LK& z0&-b!5qmb8IOf+u?1L#5Z_8CIY-n4bjy4pPo%dESzXd>D+;=xKv|$b&HPd)OLV+850{JwugfDN`_W~L(Sf1u>m8G)xG`5E^KW$HdwBD$-Kl zCNn@(e3?V;YMt1%n99IL=RS{1lZ?4Kf7DGKz$PC989(LLCz`=#=kB6&uo-7R^=~IW ziUK;3V#m2zj1^3UIPda@R3yb*$P!SjOig6L+)DV&vODs#HgJDTgx#>Vy4u-dk&Csf zBk|{Yy|uxb(P^(encW@Y6DH);SGPM~9>kyH+PbyofZMCv_3p5$_i4Q)&{wDge?=UO zaYm`Z{E%Y&Q>e{gw6rv3`>Rp9njf?ofin1AXj?)}YmrVw@x6Sfv6(1=JO>t@nP%m5D} zM!dPx`g1UY7Y*XJqWHo#tvSAx#PwoS7ur|ozpvCY_Ti?UrD|yEYz-z?f9`Q8aW*Cb zkJtwL5fRu0Zq~OU0=$unfK?1~28;t)F3>|ww5s4WWbzgK`ypt-9-yvJB_zBM+Bp@-AWLNq z{|f>#gh4wk@kSO=5T*gif95UCuXF#ie|+wrFAZ#N_~qoup8l~?%Yp^2r_FSsr0TEb((M?CLm+usX4|Vt; zMLXI2VMn%IXPEBcjh#VSr-}g@D@2-b5$bM>#bX{SRiU(VS^;|nu1qjU zYE@q^HXD0+$!arWq^(A7Tg=~YXBBTwW8wRgo5ixuq)q6;e+Q60eHoM)Qr*k;I#~zZ zyCB^`Z(rJUPo+fpZYm`v$_9<8dzg4t&p}t_o=pjgjH}0dQej3LE{+j7KK;3g1F)vo z!}wCt{B?u`M4$#)IiipXkFDA75*VrqP|NOEMdfanyJZ&BRs`Akx&;Xjr_E15NqTfm zE*W`EuB~o%f9Rd6;&ZrLk{9*34 zO`kg-RoOzn^JaCZbC)A59Ep10v;Fp`&0_s_@5%R3yi(S&ABCgR6PC!_W{gX;yTkJI zrPH6DT4is3vJoi_(^LV|9LjM|#trq6#=<51zBu_#e^!-doX2GZIz>{ku(3Yl`pfUq zwKxp_RS_Sz^=tIHwH^ax&~`ibmzEFXr@B;{mRl(recd1(HT4)iyx zLr*Ox>SFf;>@^bJ#aeC=WA4s^A()OzxydH{obkkQfM4v?Rm!gRw(5KBcYVa};{bvh zwEP4z|KA&<(4l6+36?IxJaCMKhp&A4Z?^U6e@s`?-D za9L24ioD>w(KreB@e9J7izS=&xZY@Po7loeT^d>KwV#>kpNY3eM{%sE@Ivi(g}bBB zm{Q{>)+Fd4SYa6# ze^Z{cYVTU-UhV%(18AM=ikLgz4-Lcd?k z+^YhdMNC%n6?nP5q&DJD1<~)~1fAepbIs)X_PXx5gHAbTsXp?R==_BzIvWXCxynV_ zD~|BNsAC3>&ZvCcs69B33xXwAi)4~xe`zjrw9Sr8R7d>2EHf?#&>p|ZCWC%vvrNk@ zELl?me@xdq!wlu#$MW8v`y%42nFl_T4GljgulTFVLRKo34ISUn^}7_=644Ynbr0h` zbXDGn)7fNX*^=vG7F3Yk;%%(XZw-yRdU-Hfv$?+y^RKQ_l~JLuHZj$abM{>Se`W$9 z%x091xCcTdu7P-wO8YKU$p*_@9$hT)yzjOdnic(@SwNaU!-FLJB)#a0&jai+emJ{L zGBTZ0md95#q;^LPM~L$&&F6JQ+1C}GKvcYH30vP6|H=^xt%-7;Zsn7K;Os* z1ZT_lwT6Yy19n4YYI|r*6gXo^PXbF%kF-Cm)SwH3In3PyL3x6z_+Pi{f5Ym=c!j6} zMetzULRUL;0u`iN9+hRVFqL28e^734?cKG2lWgrto(}C3r72%GlwfzldL_&A$U>(?D&C7) zVO+nN8x|^?ml(U$$D}}PVlVD|2LJe$T6^JWs#2ePhl$(35NANI=0oAQY9UghIo5tpeRVhEThVo z&578)J`7$A`zFn@86hKhn!kImf8%80wqWDPlAmrU>~G!m=}zOHnexnJdKf(8iG`%B zBF?(W*dP2>5t`9_3DKNd3_Qi-gN_$zYNiR_~D?s=WQx^U48Ar0JS8Y7*9z`6TU**TxHs^}*yA zhrEjG*f*}-o;`v3I%tZR2*uiq*#GjT=K_!2c0GLgb$TJx$bC9q%}?sSq9~;tT=4E| z!pl;Vp2Qyl<~NhS#Bex3_+Au}d!#EehOX2*F#q!<@{B$*ppH~`Qb!U62D5>91m2^# z#tW=rO&uNT=#jrXeenOm?$2S9(E}5+dd2?+12;G^lVJoXf89N6b0fEr-}hJ0`I1p( zIl+5?OL)Ol}nv9tD7Q4*ycn<5pG^6uu>UpF2zzz`S?CGF!f5M|TU(O{Vw(pmln?<`mn+qzd#pPwYZ_jA;YrB6N#u&``a?Vv#eRJg= zahg8jy!zh1)XY?E8m{pP<@kPNn2s_N71JFL<9U2aS* zh{)|S7tsi+R+`7~zsyg=SYeu)(xZDUYN3)%e(JV(|7y8*JA&AEwb>T8<%jIHAl{y~ zElpDkZcg8oA1N0nZwxV0cBV<@=?N{KXU+ke2~04D^*7A*{fA!=iKdmcCSe>OF<@RFu+o$@$LiMA(`gS>i^d&L1@kL+^#TXq+Jmw{U-Kram}qn3)E1oaP@ z*>x?Y{+OT!B>gl8byG7Y?*nzfL!9WoxB=re@z8yFrdM4YJu4hr=s!~?Vo7?>v zYpSlleL-xw8#Q|PpWRMNNURGy<+BL1z~?PyRUrY5mVLE3!W!H8)z$UeB-@pVVrG|I^tPp8o#!`szO} z7PN-GyV(&gIeG?4S zffL~LKZot%RT$;f?8(*a$#-^#2YU)F;izCe_8$=K;Fz!j@&CuaU);EZDkyJZusH~c z66DNzBUvpZj%f8dN=Sq-zLW1`QT0neFU>1hea)XGy4~<+jAh94f4l?i zyP5xQJxjWIOr1xldZ>viKv>w@c)?$t!E#IDeM737j0_G>1gfPhFL>j_b@4S%@tPex z`D>PD@xE$IwQvuI`Y~^4b$ce^`PTk>v)pg-7KGpPYN3!Kz%&@En(vnTyut{obi2;4 z8|Ke3L`DFiL6zpUqMp^QGh-WIf36Zwx9eqZZWwfNX171qQ=94zlzykGLXVrpZQ;~t zQSoi6XJ>Y=v$|y10~r@$f2iu&gh7UPBRm}4u=Fl$>PD#qx|__)jlC+1`;`odfBVIABM$5( zgAso!65%IBBFrK)DBY$xhRd=Rj3>B^q^n8w`c->@Nc_s-Ens+w*?f_~6$t~1gphK$ zqHC&XGP$$l%s^&Vz(KhcPK=c4&KyU75PUukWzX95mayVK^iF9?2t^4ygceg# ztB2T!C8Yy;WvQJ3(o;+Aa*W!Q@j8c$bPkwq;TAAllCCc9w!fnOv8;y%5+Kc*%UQ#K z>q#SI z<#w@Jy+yMX>X%d(-6+ug>%#qOChcy@TtSwCojb~0rR0a(OEFHt|NN0qwf5k^Git3m z=eyh8;sXEjPc~QX=Vg1dT<_XaTmo*+nO*ZA9oFOpe;4ZZstJC5j3V(^?bdO3?k*iS zbN1ZfQPw!nG&NDD@5}zx!cQ1>DA>9d?b=>Eu*i0O>}ZD)nvvajJwn$G#{{}2wMud9 zo14Y8k1Mfz&IMk8_L3I<;?vc#=%|C!lm%JQN;r5l1>4adocwb>s(On9xoGRFQxZT4Dhuw8a8SXzK)&ZtwtB zw}gKu*NxI}ACe=!o6yOk(0}#Pi9FSL6V3JjfA39%tai-_fk^|D+@wp+2c-#+J)$5v zUICqX>hfk%dr+QTN>yFLYhQf_ASohbP z*BHGls{O`AF@vBW&?ao#UM+oS^Tqydf3b3n?RxJF;?A?X+PN-Q_Rr1D;7#nk{S|rz z#*OR6yFC2%7u<}0_U9>)DFZiE5&z-D)N)h zmlKx(x-Cdd!)0(ADV|?NZp>&vASI#?;nFBaOot0b;d}ts1qNVGgG!rPGj*^Ce_CrH zr!T@_Sf5N6ado$vwgy3v=dj1ySwVy~WoVo-_U=#Qw?kcbaCJ&AY zlwcTXGE6XtBx10uR}(=}6y&5we}qU0xR4L1N!8Sh;z{Zyhe5QYDMW830t5np6pxAd zjq`U65l_K1X8Iw)D4<-WAbDTa1fYOVn!`0b04Rf!mp%ZB9i!*;oD8?OMFP~@f@`k& zB%8)0W8WAaJcfqPEm?c1{YOU0;I&K=$)8(ifLS|RpR=M_<0NV%%j@l8f0a=tv<6+m z*r-)`Qq<~~+2jPR8ym&^fDm(U>?!Wz{j>_y=<@vw6G`E9JnGy%@WUJaOdm=Pjoall zXn2uhZ)kwirFw$9N3UwNxm#a4%O17_>!Wc(95!BTT)*vQyI$;l|Zd|s$DOO3(RjBe=w{N=sXOWfhUD+14+{>Z|rHmW@}UgigW2iqLv}5Il)eQ zsIRU2%&XH2uR1$vclFk3<`-77_kBW~NP^W=f($Qm!PtoCJ|mLWEU4f6n|Ua8n`&0ca;P zKVgVve!|dW%+KJ(*1W3}j_Z-#emCb-Yh6R)glCe-PEf5`f5ZfLND;(j^P0{oJ4b0omstIgf&(mlni&9ZiUu(8+LukGe; z_bi(%s?eT~29#Phr*LrEGgtkH9GpD{2j>rC3{6p1Im#GH9L0?0_Y^rbm!NP-&!|!a2v%Gp2TaoqVN>crt4{n1eZ}RULQxz@_So+Bq z2mPt=LJZPDq_K>mI5VqYV<$d@htukR^LxN)aRJJOF5B7QCMDSuJ7F1l=7o2H(87l5 ziKe>VSXS?Jf0Rqt)?O|bo`iR<1?}7T_pj{^gnP_Ia!ggynxX03>Iq#8#Ip0xJqy0L z;3VIyLo)9ft$cZkg-_nywu|-kY8iZWm+omd+))1zd3}OmY7a28ll6)BcN-13TYr2! zYR%kO5mGeC`{Sb~3|G~<5g(FAKJxX(q_Gw+^qp#He@?pJ{<>MuH|JKcIkP(c=miHi zVaO|l+fcb=HtC|BLXO=*`j4#sRv1l}n6)tPhFQbNy2=S~jNtFmhRb+NyA9sl-U`QT z4yKw(bZJxTYkT<4)dfi z$aIE&e^gx-dtLREdDQE7#o8%Z;ab*=$jmIs$$+4O!9-E7kzCPI{A5$$$u_C1L4%66 z1{FZBR|_k32NMglI8NB8W2!P`XzBDp2j!Rp`$EE;p6A#QC>0nK&PYugG2}x7j`KV# z;@K2B8`{vMtKoyy@ELj-co7AK5OCednbgGRe-tMe$W4cVOxW5hDF!AIWf-b~o+>q` z4zl|Rx)^I?1{^$IJg>F3f%9Fj;ugKh%z-9sbRmvUGUv2LZ$EN6p!Reg=*Ix5W!+FY zvVY2!6p@Mm@almZ=*N-*XrGR6pti8FNgK!>wt;MnPaw}}YNESROsC&dB{Lc=S!Pk* ze*&I~I=G|W_42j*W!2uaE{6-K3=?fI7C{3!`sF!pu=N7dV&BD(!kRlvb02uPYwg|T zWu@gmQBd1=-9V7qg2=U4@2)o6n+1kC`QWKe*QeFR;%?VVTTY0(>(X4IFOG_@?w%Io zqssUDg|jatbK)PQFZ$x8KCI+oOPK8nf1vWz- zg*@h$IO=}D(iFd+)UWPgqCqQjp<)R<$tkizfS71qCPM@CAhFk|#QvP;yl4obBTj^p zSPc(zN&+V~iS&qZ928$Y!2-`jQAs!oK3e(HIm#9#fJK~OwDD-xu^Ht&t}e?6^fzgY zP12RZ%jn%jo}fGDLwEG9e=j&1N~n#PTSlv_VQiYngeR0-tZd9A@+09i^ZG=0FUIPH zoK;kv!IFh>cMk6E?!n#N-3jh)KM-7lJHZJK!8y3QyF-Ephd|KDo%=A4^RU;d?&{}W z)nE0lun>m}u0lyvjDNNomA;FUyG0koF_{&$4c>c5Ew^O!;tp&$exr zfXgs>yg!LHDqE1k(nMQ2wxuRq5Hyf`rLMI>9vj5i%VDr_;6}=f= zITAYfk>ho6g4a8@col5T!d5>BRXPkemlTUTf>ypON2T(D+O(kKRnPukViX``m`wJZtH_5J%2E1q(KJfPn1gCE;_qXAJ!d@y(Oy5wSyMB z{EOk`?|K)aNL0$qwdQ3VY@`Gof10MM3%zrH^~J%D?oAw@Bfr*x&wwUV{3B!vjrcDp zs|m*gqY&KbxmBh}Qm|eTAdtCC*Re2w(u9*;yI-^{kI3;Zmo4wWreTO1`gIA0gMMxi z-_&tsD_7k#xX`SP!pCWDG7(My(MSjOl2OR#jZ$u?Plu&)VD>`*I)6%WsP2%-5%Lgv z{c_u0U2c0n1P7#f4J4Ldx>_%yIH1La8{<9)RS*qO!)*(H@sy-tsgpj9j6@tv^^{yq zDJSY|<=&oa`L`8(-J?-zIuNDISDKVPJ_y^0b!bbgdSbm*k} zeIq4zo|#8aUo&ES~4PWdwH#_+}0E zLp%%UI4m~-?F!8vzUX1(oOIt7%i)1wN z{S~F5{#N$}PhUOKBBP8+AC`Zcj;#;V4B^SS*GaORjoT5)i`NmhAIie~`$&_;Ma%17 zOOsu?VIQQ?aL53n-WkKsoR5<`=|VGApg~p%{-_1OxN&gM$77h0;M13sy+Mgag#uhd zeiy*R1V&b}#D9_QcP%nr6r!oid`h4kURJji^%yxhVl4c;Eq)9S582AmD*WgB)0pE} z+I0yQHVR3%kuQFpnJQdk;i-Mp(=gwYIKDWS;-6`}y_F-hFm6HU3ALj<;Qa;p*%+Hk z1nA-e#P4k<$vzj~O&%%Qt!9{nf?XGB8jDCQ_s=te3;iCg@Xt4<&XC;0!zp&3 z@K)SOF!19g{Z%j>TRbk4|4&Ek9D}aP&?&p?KX)}t8{Y*XtHex|W?a0~xvyAqGQu}> z?D|Tm91yhadlU7UM@^gm1YT%E4__lb5VKoM5NDni-SqUp_w$8COpa<`)$5BTXqvq6 zaKL*mv{Tb1ukn)mwcmgA`&1Kk9-qm6f7{Cl{=sLe0V3MYjNYBL_Nh42cpR43>#w@U zcpVIO)FBUv=_yK3Fo?Gioz)Ti%vt+=hE!-)I=Go^mYef@<46B{E%?aJ8KjHw z7?L00Qu+zA_;G5Vw80}z;vJJKDc)ld!oPkfXYn!{vL!<}*h@_lxfYHBfCV)zShN%r zEyvFBm-g|rpB2V>u)N6V&ZiPm>Futq!SIg%hZFxVCLUfEmo(HRX(sBbM?1^Bb^&Sh z@iz@WkGA;jj#nrYw!Uwi-x5_!fUj3xmXH!~T|el*Ah@8n_(I#e4Qi0TC;F5B!=$*k zX4ksNa2RFE*nMzBfN&xz1~)iW)V}AAV(0kv&=`j=(WvqL%2_Uf=3J^k+7Kz zJ=_?~8Y(7h=K5`ZoCbpjzt86PahtO1Z(zBOZGIrVh3;ex@DqNew50&XPD+E}?Gh`p zHRi^j8o3wwQ)Y8LMP{Rp2lFxY&)ksjsxm$Pfy?eh)|p!9^zYGfxqWt{nT^wK$uyb{<1g%+#2eNL`J(#J&NJA92LdK#AQ&3 z=t$?VhrC#Vhvw3|k;f>EBT0qiv8UvC`{U!uzcahCe-$9Kq5UN=Zlh6*%|P?%Musd` z`b%?eu-kY!Q>(5E*a?DwnruqEGcSEetlYtE7VC4$&6#v2UGg`r?ZG7QurDN;1MeSR z{{^QTfaXbjG;%WY5|oY{+L5`Z$?RDgdpFL3co-exessH@eJw6TqHRX7G~8uOdiAEj9FOUiZ{6_rv*tRyp~`GN>k(K+J;{Ji zGT0pd+znHFA?qFy^yY#o;&yl&c)l)QihF{3->R2lub{<3ZgXxQqGKi3SE4hpnvT5u_C z!Cb5eLmSgp-9{1xBIk_FJTL{FC?vvM90Ww?g01zkMf+gP3*VMU4iP(WoG=8M7=8u; z_+RBbB2y)=q_^Lx*d>Qlu0fhTe@O8zTlcFq>bKcgajJHQdJ575+(?jq-JXp^n%4fg zaI)3+9|`~i%jU;^_xm|$$Gyfzjx(ETK5fy-2lO)DWSq^6pCR|@FH#yttK1)!7`Eok zof;E!3P^F$dPW${2`<9+M){5GI0ij|VpEiO<&&`~(Cq}MZoE7e%aDg%^V`uFcg10C zVvP+sgF|uosd%N!Cv3BzTV?92%3#?EMfb8M1I-Fgk`}(15|bpI{rg9I`*yT7GCsV!yG zJSe4uQWZWj9vZEWbi(%j1CZfz&x8IFM{5C<4t_$V#6%blc8la)L^%9e zgiT0`k59}I&}Z%8>S^)B-~1=@5b0N8_lw*z>j@c6ChLS3*0hEbm>! z>qxt=8Oi+~$LDIs=fxXXJ+IsZt6`DXy&%~btWbIv z^arVi0MOe^8gXWGJo02_MIZ3;=x&3Vm_Gk(3z6qI(44$H|Ls^C>8BF$r37D@_Gjbi zj^C~!lWW96tF@$c7gJPz6t7Zul**U>{qQhN zgSNUl_mBHTOAXMo-h43uyge_(+IM$!|7z|u<;`@dfA_!1tVTwn`ihu9Vqa}PzGmee za5IaDaXmex?j~;UoRBA^)PVo5l^F(j{s^rw-7;o-XLqng^=eB+Hb6d!Q<0jcZn1F} z1g#rj%nVxzfYdb%t>g0>3 zoV&Z!B|@}yI1YbJug0e5b-fY5OuB-=IX&*T+`M{>pZ#RnH+%-C%AM^OgPnJk2YQ#O zt8v4D)OlM`7!sA zg}aC!%+}+5OB4Wb9V&3$&24#xl-A>ENra(#I^8>a@Y)vK#X}nOCj5cRK;c zJtuYRQYO=bntO{hfvr6Qtvk!oiHQB90<>j@`IJrG(zG;89%FRcjnBm%sky8D+(5*DdV$v0DdS3GFJodvyC-)~-Z&5MK7pV7E5V7X zw3;L0sSavzGmQR~!jyieCWk`nlqkRhSl$PL0cG0W$+}fiB%+}+3dSnt&c1Oc4HmJ0 zr{@TGPRd^u+}G9bU&`#m)(-;XUw9a`5E$0#P9_!9fa~&G(6@0PMNYb$c{cXHDLjwo z7;qH0f6I7ConBs?NP7Q+*!eJh+;eeRj@mu69$nP|j>8V<8?DGr9mm2ccA3(_isCRdrtUZ>jl_`!0>`BRD8Hv5K$>o$2SjnSwXjkXHc zOF0(v)Ay$Jtwo&8bCHt@~vPN*~A@^dhc3oqGZYN!Fwo~M9Q(Of@l zu0Z8GU^5|_n-YFStc8crfs@@c!(ZMPLCe5)~Qyk z)@rbuwPv}2)2?k!&qfPIQ-Cuo!nk&ZpqhFe-qNorA~pC>RK}m~EiR#tYRx&#vONuuoHHGojy1ICcUMt6$A)gkqe8u|T4PyZscA zfMj!)C4~UPgKy{y=MC+?%kxG^VtzI@qXiMt*9bJfiiB?bP^3wZPTcMfE3tzV$N5>p zf@CPMmebe6NRZjwDAso6nw04u?nT$p!g#@XqP8w695Hnjw!~YBa^M`}j_`s$)irP; z-}zxSF9inj;2$ma^W)ZktUHq(l0u>ti@P4WUC~RqNYr|HIu78XiMCy^szKot2CjNm zJ9`N$X!wajE4c5J^zq*@>N#e#!sUc!i>1`0qk(_*B6Bi3#F#IKx#oqJs+`T zPwnrU(#^y{(IHjuK=D?Yi(@>dUwZ18JZ* zC>#SE7;|uSXIGgG@5PKrm1eY_XHBk9E=Y!gxRt7M38{De9e!rZ6LCZKYKu_Ms{)Uqh9pbcVVVDEU>`;S zcV4_4*P1LA8)W_o%PRfwVXyP~n_^LWQaUamK|F!9rgJcb&Ghq~)W-&vNQoUSM;O() zJzXg;*zxn)Tn`(>!7`w8BSJI$Ym@3=nnzA$kAMgfd&P-I8?b1{s>!|zE+zVf2t3r@j{ z!QA&;8)(4{f3zun{r=z%x=k!(z}~h1o^-f5a2=6_XNRtvlu!Z+Vj9^TEr#@IWo&4V zl68dJC?giDInO)bPSrl@^{xoX8Q2X?&y7Pbx-v?q{!CGRMI54E*p!>UJ**R}(cjC z-`(iY*wV~|YJ1<>&4Yf1yp;{;*+W&#fq%s3z^L}q@8wf>kM1Jo#9AX}#Y!h0&|Ke4NRiB>BTxg;rAag781r3wA1!VB-j#v5^F8GcWbdw?d%axw(R7D zNgW{eEL^Q(PPU03!1I)+!lQzssq8a03=|HE>tbXq@I){TxJ}_OnehFQC`RfH#7C8> ztT06Up+%-PGkM>0^mTGP#w+2!#C{UU<{Dv6A2@lswc6r@$4EQ*n!||$glie2Hh5Jb zRDXh*kon7BJWp|e3j2FjlX&z)FUiUrpXXCS%AA<}DMwNkJd{cMt#i;AI zY4=kOX1WdOzZG8=wg_i0RL~~)@diAxYtBk5Q%-1 zLDzGSgG=tR{j<}_lm8+!aQ9?uiX-sTRkVh;if$6x50H)C_J`$iV6U>X^6EvUiAm`X z)ctv9Y|gI5SvN-_WM=4Uap_ab_8Tj#wNKkl*^$IxKRe3d5u<6V&~v#}d>Phe62o*j zBaS^$&=wNig2-W{;D{wMTGxq~LJ86zpMEbCN;E7LTH&c6TCVL6zy#tha^yMZ&BPMP za8h?Id_G3Br22&J`4Goc_3f&y$m)Vd;;2HV|L}|HPsm?Xr^z#xK~T}=8#1LmQHeK8 zBNTX3#saw1E36~YYrM8)SCe%9qXXLU9AAqrCe0>8P`7VF{c+_togb`HIKAD!tn>IT z#b@J=LN$&lV;(ew0$1WfBS{Nx)tPj*a+nakZs+giLXE4|sEDz72@rlJN94N8hCU5N z@WMY^7AAnZ*vOyW-KER#bqI)79UG|?i7eT|mpPGnpB@EH_?|HDC6`=6uj>aEX@ALS zG#80S!5y0~?s!LUx@O~}hHK2<3#&8OerfT($)C-F6b~Wx&w`+VqdO?w~s@mjTO)#=>{|3m_m49+vg* zioQiZHs{OnHOmdygaiiEXW#io>3-NUTG)>Xs-IH^UE3ZUK1f7H$wn2S7Z-c2K{(2!?z9F64e6>Flf_Z;) zhc*nWEoNbYluIE0G0b#Fq!N ziBL)RXXVIC+uWPoosgsTd9ptgjS9kG^V&E{tabwYIo3-b;jzcCQxDx7mJfo5&%#by<-u?%R_jw)j+FUQb!D9&50woK{I{){gQ zD%n8tMo4cddbZY3q0ej}nZpQ+<@h6TikDWs0g;FYhZ2JI0nb2pAkC@r9ZETJ{f&*? z8upi>L5@2ILaDK%aP}?T1m(I<8wfIC+@Z37I%S=Ip|%*duq^5)lt_x+bP5k^7Ca#^ zi#Ak0fUj(Bnw@D8Uk5vjKbV*w8;JifO3KGYdgYd`R2H5sFM`#|e`x!&^M~cRf@&?3 z z{k4rhi+Xw1x~?x3oeJh`UN6zlkr}?zUvPn3`sT%tqfk5Xt6G=$r*c%L=dnF(KSB4} zWv5O)lO+>x*h77$_E{wPL=^sF<0k=~l06YyHJ|;ui{w%&SQVk!ltj|wG6)&KObSMBCHK2D$P->d{b@TpLI z!Asb%O#%nI-d~Xv#9i>_QRf5BfFA^Iq)444diC5FO=rr;((9< zuMhh!u0scbUKCQ{d*~@JYC96J?ccIWW+E%!5Lh@Mi?hk{jDay`SuRm%S>BQ zMau_DV&+Gqef<}g+@&lECq7?n+7gOm168W&6S;gn&*X%AinZokZeJjwTjq~{5{d%u zf7^XDR^5vCg2%iYS_z-Hu-N1S-v|HecujznR4(>4%lX&db?c^cK(FVy z0Ep_K+Lg#M;KRA?lncM;w6-3DSNhXaL)!Hgn{_br_+uiCyii6sn;1Gq z01*f(P>(`dwaUoW;;CzIvUc?4AeO;cN{$1fo3DAqXq6}zx3 zABy*0gD8y1#Z*a@5foqJC&iE@ARYGxs<&7e>xzjekn$-mdiJ@?uCY%KGMM6(B{&tSV+R>W3RPH94 z`Wnw+au#qrpfCD`5x>KBu$pX=;ZNSDuLP0L@3yOxj#(r9U9 z4H*1w84qYNF=%^B)PWpb6;hE+eB~4nEQ5|E#oZ-#@MviZ+2VeoJV+AY9{(^w* zrx3j<$k7|`1?J3I*KB;U9HCYqQk6-oU!&B&xtSD1pBMSF;}ew%oJzX?d$6~b{MERc zk4yM^R#fu`aTDiOHz@t#87S>KN!>S#D@LD{$oI*rtIie;l5$B)Pn24wr~G7c*@ zYs#AoXBE#f5$4`LA~!MzT5&*EbERjQ8b4EJu-_E>)i~va3Vq(_Xky?<6|ixHK!2oA zsepUUQ-;6FcII8*hE=y9W76|b-gKKbJ;}-eaC4Q93S_jXEFC(xkSyIJXW;jge)u}^ zZ0oxxTCc6)@wRFH?x2IYeIuT!ewV2fd*{hx9b1b9UoWzSPOpCjoKNp3FEJ0=BEnRX zA8pAsNEl0%v^usToNSs7IkV@Le-5j;W&jD~iQBhvJ`v&`mOsJwYcKuQ<%#1{LFya< zQB>VGPac?dh93)dOxT}4_i}-N{OsP%l)up4OwYG$rT9F+?f1WyyuDWf79Y03jdx=? z!P>kbW2t%5#s1qkrYN8997?^)hvo(koOM`(>0jFJzSa<)w0^+0u#@v5Svy;KcxK}H zK%+(_Ktlc#)IUN06HHqIBrJ(JEC&ZK7guJz1uW@*!?pzr*c^CCUS4S~NnUO#87>ZK z>3=YuU4oyJmz!VuALkV3mynbZAs71pj%3!`!+rv6jjZt_Kd$n)Qk9%jt#S-gX`MF4 za$+l2e(}8CC49kwETJY2qLDgwo1NB1#`s}&8%16n_=mR2 zy!NUqrRC`A;8`sv{*EM5MR8GA9JHm->1*O19Bp*MJ~R_#Ms&h{)*TKlY+JYhU)Z$% zMAE%=bugsQioFoH2DSO;^8R|hV4qtTt`P7tt}+*~8vD8W6J+O&hLE8%I)4mb>}OR^ zr2B*EgJsSFxX;%a*Y@~vh3NJ1nU+f8qC1=>JU=1$<9zVyV{eG@hrm&p*2GZ9l@WuJ z>?RO{zNo&4KN0Bn4{t0+)Y&6_P}nTG5LiRqTnUsy?A$t}fNaHJst2RS`I?s$D0SBhBNYT=L8&vg3;8z%p#gZRtxPo2zsf};)KYm$0P zOJ5_A_AVIfjmISs739@obWTGxFvTxFvHn48EXU znRkqh5rzQzb73c42SF0ubN*=^2i_o^b1oJg2aav+bJhfHhZ^lPiz=MdPgTpwSZ97> z4{6L^Qd|2uEZ<>9APzMq%F+}WGBsGsG(N$W_oEatDrl!w(QB($6~ojc9~1z;H!n`( z7O-fn%E<}|y9%dLQkek}95SxlJV)901{kYtWKejCG zm43x!b8E2f#XO`1a`*+&eYZQ~cbMnx*U5%EP)0n(1F2xTe ziE{BU-9%Yy>QcXZFD&H^^#(hgRZ-6?YOYc{u8-a*dzU$T;T5M>uzm>#KptSA;5t|LnEy!gY-X|HkZ!; diff --git a/semester3/analysis-ii/cheat-sheet-jh/parts/diffeq/linear-ode/02_constant-coefficient.tex b/semester3/analysis-ii/cheat-sheet-jh/parts/diffeq/linear-ode/02_constant-coefficient.tex index d619e11..85fae3d 100644 --- a/semester3/analysis-ii/cheat-sheet-jh/parts/diffeq/linear-ode/02_constant-coefficient.tex +++ b/semester3/analysis-ii/cheat-sheet-jh/parts/diffeq/linear-ode/02_constant-coefficient.tex @@ -17,18 +17,20 @@ The homogeneous equation will then be all the elements of the set summed up.\\ \begin{enumerate}[noitemsep] \item \bi{(Case 1)} $b(x) = c x^d e^{\alpha x}$, with special cases $x^d$ and $e^{\alpha x}$: $f_p = Q(x) e^{\alpha x}$ with $Q$ a polynomial with $\deg(Q) \leq j + d$, - where $j$ is multiplicity of root $\alpha$ (if $P(\alpha) \neq 0$, then $j = 0$) of characteristic polynomial + where $j$ is multiplicity of root $\alpha$ (if $P(\alpha) \neq 0$, then $j = 0$) of characteristic polynomial $P$ \item \bi{(Case 2)} $b(x) = c x^d \cos(\alpha x)$, or $b(x) = c x^d \sin(\alpha x)$: - $f_p = Q_1(x) \cdot \cos(\alpha x) + Q_2(x) \cdot \sin(\alpha x))$, + $f_p = Q_1(x) \cdot \cos(\alpha_1 x) + Q_2(x) \cdot \sin(\alpha_2 x))$, where $Q_i(x)$ a polynomial with $\deg(Q_i) \leq d + j$, - where $j$ is the multiplicity of root $\alpha i$ (if $P(\alpha i) \neq 0$, then $j = 0$) of characteristic polynomial + where $j$ is the multiplicity of root $\alpha_i$ (if $P(\alpha_i) \neq 0$, then $j = 0$) of characteristic polynomial $P$ \item \bi{(Case 3)} $b(x) = c e^{\alpha x} \cos(\beta x)$, or $b(x) = c e^{\alpha x} \sin(\beta x)$, use the Ansatz $Q_1(x) e^{\alpha x} \sin(\beta x) + Q_2(x) e^{\alpha x} \cos(\beta x)$, again with the same polynomial. Often, it is sufficent to have a polynomial of degree 0 (i.e. constant) \end{enumerate} \rmvspace +\hl{Often}, as polynomial $Q$ choosing a simple constant suffices. For inhomogeneous parts with addition or subtraction, the above cases can be combined. +For two of case 2 added, only use one. For any cases not covered, start with the same form as the inhomogeneous part has (for trigonometric functions, duplicate it with both $\sin$ and $\cos$). \rmvspace\shade{gray}{Other methods}\rmvspace diff --git a/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/differentiation/06_critical_points.tex b/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/differentiation/06_critical_points.tex index ff89632..e7f9d45 100644 --- a/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/differentiation/06_critical_points.tex +++ b/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/differentiation/06_critical_points.tex @@ -66,4 +66,4 @@ Finally, evaluate if the points are minima or maxima. It is often easiest to com where the lowest value is the global minimum and the highest value the global maximum (obviously). Always consider the corners as possible maxima or minima (if some corners are critical points, all are highly likely to be). -The tangent plane at a critical point of a function $f : \R^n \rightarrow \R$, is of the form $\{ (x, y, z) \dividees z = \text{const} \}$, with $z = f(x_0)$. +The tangent plane at a critical point of a function $f : \R^n \rightarrow \R$, is of the form $\{ (x, y, z) \divides z = \text{const} \}$, with $z = f(x_0)$. diff --git a/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/00_line_integrals.tex b/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/00_line_integrals.tex index 584d61a..e169a6b 100644 --- a/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/00_line_integrals.tex +++ b/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/00_line_integrals.tex @@ -32,7 +32,7 @@ we have $\displaystyle\int_{\gamma} f(s) \cdot \dx \vec{s} = \int_{\sigma} f(s) \mrmvspace \setLabelNumber{all}{8} -\compactdef{Conservative Vector Field} If for any $x_1, x_2 \in X$ the line integral $\displaystyle\int_{\gamma} f(s) \dx \vec{s}$ is of the independent choice of $\gamma$ in $X$ +\compactdef{Conservative Vector Field} If for any $x_1, x_2 \in X$ the line integral $\displaystyle\int_{\gamma} f(s) \dx \vec{s}$ is independent of the choice of $\gamma$ in $X$ \mrmvspace \shortremark $f$ conservative iff $\int_{\gamma} f(s) \dx \vec{s} = 0$ for a \textit{closed} ($\gamma(a) = \gamma(b)$) parametrized curve\\ @@ -65,7 +65,7 @@ $\text{curl}(f) = \begin{bmatrix} \end{bmatrix}$ \dnrmvspace -If $\text{curl}(f) = 0$, then $f$ is irrational. +If $\text{curl}(f) = 0$, then $f$ is \bi{irrational}. Below a chart to figure out some properties: \begin{center} \begin{tikzpicture}[node distance = 0.5cm and 0.5cm, >={Classical TikZ Rightarrow[width=7pt]}] diff --git a/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/01_int_in_rn.tex b/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/01_int_in_rn.tex index a69ec6e..c969195 100644 --- a/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/01_int_in_rn.tex +++ b/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/01_int_in_rn.tex @@ -68,6 +68,7 @@ Image of par. curve $\gamma: [a, b] \rightarrow \R^n$ is negligible, since $\gam \rmvspace \bi{How to compute the integral:} We compute each integral "inside out". For a definite integral, don't just find the anti-derivative, compute the actual integral! For an integral as seen in the harder example, we compute it as we normally would, simply using the $\pm 2x$ as the $a$ and $b$. +For \bi{set unions} (i.e. $S = A \cup B$): $\int_{A} f(\vec{x}) \dx \vec{x} + \int_B f(\vec{x}) \dx \vec{x}$ Using a change of variables into polar coordinates may come in handy, e.g. for a set like $\{ (x, y) \in \R^2 \divides 1 \leq x^2 + y^2 \leq 4 \}$, we can use polar coordinates and the integral is then $\int_{0}^{2\pi} \int_{1}^{2} f(x, y) \dx r \dx \varphi$ (or flipped of course) diff --git a/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/04_green_formula.tex b/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/04_green_formula.tex index 7921801..773162a 100644 --- a/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/04_green_formula.tex +++ b/semester3/analysis-ii/cheat-sheet-jh/parts/vectors/integration/04_green_formula.tex @@ -53,7 +53,7 @@ That set is derived from the image that is given for the line. Be cognizant of what direction the integral goes, if the set is on the right hand side of the curve, the final result has to be negated to change the direction of the integral. If the curve doesn't fully enclose the set, then we can simply compute the line integrals of the missing sections and subtract them from the final result. -We can also use known formulas to compute the area of discs, etc (like $r^2 \cdot \pi$ for a circle). +We can also use \hl{known formulas} to compute the area of discs, etc (like $2 \cdot r \cdot \pi$ for the outline of a circle). To calculate the area enclosed by a curve using Green's formua, if not given a vector field, we can use the vector field $F(x, y) = (0, x)$. \shade{gray}{Center of mass} @@ -65,3 +65,5 @@ The center of mass of an object $\cU$ is given by $\displaystyle \overline{x}_i \rmvspace \shade{gray}{Matrix-Vector product} Given vector $v\in \R^m$ and matrix $A \in \R^{n \times m}$, we have $A \cdot v = u$ where $ \displaystyle u_j = \sum_{i = 1}^{m} v_i \cdot A_{j, i}$. + +\hl{Important} If you can't see the set parametrization, it is likely faster to directly do line integrals.