From e6d477494445a7383533c0f2bac07c9cc408e167 Mon Sep 17 00:00:00 2001 From: Peter Schaefer Date: Wed, 6 Jun 2012 08:44:05 +0200 Subject: [PATCH] legendre und jacobi in UE3 eingebettet --- UE/lib.py | 19 ++++++++++--------- UE/python.sty | 2 +- UE/python/test.pdf | Bin 33716 -> 14359 bytes UE/python/test.tex | 16 ++++++---------- UE/template.sty | 2 ++ UE/ue3.pdf | Bin 191576 -> 190840 bytes UE/ue3.tex | 17 ++++++++--------- 7 files changed, 27 insertions(+), 29 deletions(-) diff --git a/UE/lib.py b/UE/lib.py index 546b06d..27638e3 100644 --- a/UE/lib.py +++ b/UE/lib.py @@ -216,16 +216,16 @@ def legendre_tex(z, n): stack.append([0, 0]) l = l + 1 if(l == 0): - print "\n&=", + print "\n &=", elif(l > 3): - print "\\\\ \n&=", + print "\\\\ \n &=", l = 1 else: - print "\n=", + print "\n =", if(d < 0): print "-", continue - print "\\legend[L]{", z, "}{", n, "}", + print " \\legend[L]{", z, "}{", n, "}", if(z > n): stack.append([z % n, n]) @@ -253,7 +253,7 @@ def legendre_tex(z, n): d = d * (-1) print - print "=", d + print " =", d print "\\end{align}" return d @@ -297,7 +297,8 @@ def jacobi_tex(z, n): l = l + 1 if(l == 0): - print "\n&=", + print " \n&=", + l = 1 elif(l > 3): print "\\\\ \n&=", l = 1 @@ -306,7 +307,7 @@ def jacobi_tex(z, n): if(d < 0): print "-", - print "\\legend[J]{", z, "}{", n, "}", + print " \\legend[J]{", z, "}{", n, "}", if(z > n): @@ -335,8 +336,8 @@ def jacobi_tex(z, n): print print "=", d - print "\\end{align}" + print "\\end{align}" return d -print jacobi_tex(69, 97) +#print jacobi_tex(1215,1381) diff --git a/UE/python.sty b/UE/python.sty index 1183d0f..3be2ba5 100644 --- a/UE/python.sty +++ b/UE/python.sty @@ -28,7 +28,7 @@ % every time \@writemodule was called. \NeedsTeXFormat{LaTeX2e}[1994/12/01] -\ProvidesPackage{python}[2007/06/07 v0.21 Python in LaTeX] +%\ProvidesPackage{python}[2007/06/07 v0.21 Python in LaTeX] \newwrite\@out \newwrite\@module diff --git a/UE/python/test.pdf b/UE/python/test.pdf index 16e94d70846afb556956862766f89e54dfe98af4..744dd9639638368c35e32554c84c36c6439fc16d 100644 GIT binary patch delta 13443 zcmaKTWl&wswk_@&+&AvBaScvzcXzkozHukW#vOvYOK=bFu0exCaDVyEIq%+E_f@^F zTB~P|Ip&xxRqIEunoSW*l^>UT(@T~E;Y#4brH1*# zr9@H-EbSxHf)j(naub8WUs8@vwX3IcHQu(PoL=gq^z!@>*T;bH^uu<^2R0C?E{@$qnT zunb8!C? z!Nv7gjfWlduLS=j{QCge*#9g4-yt{fA8q!3&54VR?fuWatZz$;^pA@yWD@1{+rJAFA4`A@b6+c`2G>+;N@lEGx*P*B7q@= za6WPKvLms|TR2*|S+fIxKp+nrxE_EF3uI^K;s%TSJ^2S%<(&07*l00lgo|!x&wm>3 zR6p(oVK59b1}DZwh@EqAM~9p@EX`YKLB@k=G+E5j#Wb#BWx5!8<7V`u#1fe2si%8wW zM{+(+6J$uvla98akWj`X@n(9Ces$O}K4dPa#h56Ne+KpU31kz@t0;cH{UO3@3;_oP zj>!D*(mAXCz$nt0%^?y@CnQ=6u1LbVUbw)|Prs481c>v=OA(a6!Uex0X}&TBVqSSV zLD)~&e=t9I-jjvdi-KsfbhLT-__KmK9YmKP81>)*B9gj^1ZS|8FzG=|9|)YT&aOV7 zah@BtMt3$25c1>Ap(TV3kSlPNsITX^U8il0KV&m~)1Kr#|L31C8LcdGK}^)y#3Vt0 zI-*^&2XK=+tZrxXX4XON=vqj&plCOUNV5eXS1By5{X?M9I>_E&BgiEQ6wxUf`C+^y z!WI~ll9Cb;4-Mf43DL!5ul-I}dwdQ;d7U48nv*TN@a!H!TW`(>pjdgk=08ZY~INB76VP zJM2MyM1K-i(coC`VST8Lb^$QbLTnomZ)HA^k&=SOgYPd>3ZP#v5yuprbm5?^KN7pi z8SyHI)>&IVrjf6##y*5MKU5Ar6rMjG#O5y0&_F+IK5jog+9rt|NIE~zyub|tj}FYq z*;}d5w;*x%Ku~qVr&1=wy&q1%H(d1K4+t`zyPMd`!02>WOM=%4r@v!h+O^!6W_ z-jv;O?~}Vwj}2W8Wz;jLN;c5i>7t4|t=PRpLZHADFyk&6*1;ZZT{`Fk^3CR}3zYVj z$Lj1^&rdQ>)B4x6Q8;7B_wjv*I_;0~eW<#X_i;bQiz`+zdhhOI{1c4zLxl z#y<1?IsIE&7D?~!Yy1oI^3ypVG#^BD??=8p=sPItqKEB)=#_@66m)IuYj*O?dc(Y* z7s`{-5a^&E^g;Zw6ad1lJ2F~+$$Qsp>*&sbe|Ht%3cn$HnbyKUxP{UMuuSpkAcU?i zhBj~d<5Aw4uaRJ7maHv4iH+=c{C*yIgM?+tsA1qR-@KDz@~$Itu+WRX*L91!U41BP zN4pT0OVU04z73WMe%^Ov-0g>%n!bLetY7CrGn*a)sw3Ih65i|R2JYCkH5f8_8ukIVm)Y5pqPX*m?jQ}#epwdX=G|gyB zsx;PW&Xh0ZyC%$g*&M!&fPa(0CYk#ZC4X465{z@=d&Q`oL>j}!?7vW>#9Hx#p-=f8DbQaxC zK)!~DYN__q)buw@C;f?8s8&PV6QlHwb9Xd$PQ>y11}zs~s-U)DW32X&r2OdU>5-dQ zwIl$4pqS~12#0qfiF&IjI!aF;8SgC_Hrs_=sN*IjL?xVj z%j3b%djeFthND}3t?zAXE-*4H{~i9W4|=!YSC=18D!d+#g~jghN>6sv(tPbTntpHR8KKXOfRDZo=%g~f4t+X=RY93;$;j^V8ffME4Qw>;wr+&C zacPJ^Z0`jI%k-fwLc}K^g10k0jC(vQx;;qHlZ!&K?p|VA;%N3P`;5tCPJ>f!6eIe! zvzfM?bNPsO8aYl{wx?p*n3k)r{;gh}sz_!&5U!8u6Zg_5;m0Pez9pk?R_<{R$QgDa z+(&kNCZ{+(!8@m?J)mg}f}!Ry zPXd8?`o>tZ-%Eg|-d*UM>oi4XpnFc+nX1gY;c+FY-IH{71nUF;))C)82WhXsaxF{9 z@jmgRSgUegBWLL?cDfe!6&n2U4}8#9i*RheNeb%QA&UkOAPK{lb-qx7en#T9uCh+i zu2j=yyj)e4U+~?B&dF4^f0OO^pg<<%H#Dj3JFMP4#@Gq9Ml~G}ckQ1iXGY=Ryy4#$ z*!k*HTQNtChq>vgHzwg(pSx1JG1_a1+U@_O)S6X!85Hp-{o?orOR{zKcwPef)qbbt z4BIR{dS80IwH*)8o}`>6lks&(=1Uz5|D-_hWG2VJ{2iCCBfAUg?6?@g=0phmoHKzFvrDnR_)ZTh@08GKFTE z!i9UF>;k@h_gm>)UEAxOJ>3-unLhQ38hUG^l{`nz4#L!Cf0s>A5+iN6nARO}e)jgE z!k!?n!?asmumCc1kYp|Kh`XJZ=pf<;-!=&j3d9&5H=QJUjLsK({PpL4#S=)E;yv*Z z!&#}E)kvhySELafSB9k_R<>L8lH)JVUF|ZbGEADwLON)|W$MK%u1_+crlH@QgE%_( zFmhiN+u7u(8;1TYIW-c)F!)CZBwEw!;<}lL%+*EhU(I3|0s6iC7xA(`&35>3eYNqF zcbnSIi0Oi1c;ure&oG`+C_Txq?ZKda6}jJ1;rBW~V;C>ze*bC*H$@YMr(q&6W-%I^ z&<%Lo=>4T2me}GDR8hnU5+sUT{F7*zUB1GcxLT3`XiCygJC;5qgcb6Y zS^3<9WlLfKDJ?5R#KT~5!fX!S$PRmb|7BUFD(~6Cp6a$(;H@5CW230a| zLIRmy#S92&P<*3FcPZZI@U2vo!fS>!^@HDIqMx|oX0^a6hu9g<>ytM|qD@q$mn4Kh zTBTKaEw9at+6@B5R=iQNno!s&0%(7@Q<`#&9No$#*Uo%6?Vh%<{Atu3v)^?xzHxa| z#6>mGRYt^Erl(y^UA3oaGqjCAXht>+e8^4j~dPhGpfQ@`BqjW;NL7LmeQ;IMiF?ySV z(F4el3MZ@?$v@9VzN(Q>adPT7N@aH^r0EOaK#gm-&R#p=`;B(k^edNBntt&W{*IM+^S+~)&GQ@%NKYX$rl;B`=(oSD-{bfYul4B^1DTe5#C^yZH zGbRvIQRSu@xtOmFI^CKq=B{~{YEzD-NtYkw7$COVw@ zwd7b~#6+J#gX&ZBO>)d! zhi1Z4OsyloGt#!v%I@FzqMIXMgHWL0eMEEH>SN71)KJV#HhTH zO(5Q{^6^HaiwJqaMm>b<{PGj4J%~#RyRJ_30Qb^5DOS%&jZL_mpE?hd2iJW+mdLAygWzm~hEXUldeCc(0!T~uT1VJ}W z#P~?y6(R%9*q5<6!P_JGDLal{`yMH!4t445C}0Y9I%<9mm|=6&krgVxRYJ!4&j6w$ zt89@f`q76duqo^{y4}%6?^bvX&Rj((jl{2Mcr+5*DMU;di*2aVV}44)hKo~V79CUA z9nLG8Eg~MHo6Eq0gUWLWbWnZgn5}rRwT?wN%&=}<+M@oJKg02deXY#AUv3;t0yF-l z7=rG~S9CZ5I@vnv<9nz!DMVFFgHMOP1|>+rk{*S$ek)X*`210S)K`6=qys}PIaj_U z@{aARC8vh>Cy`jQmYmZ6lF8beJezCntz(syFBUk=Mv zL!*7~zC1+^tqW>_UIRP$MecZ;HR#$+6D%k3Lw#<=-foYo$n#iaR8 zd`eI7WgzTreV?70{x{AGr>3kU*qNi~2fyz0yAsb`oPtl+UH!1MD94Su$M-k$hI6Y~ zhKAa!knefY3Kv9$uxOtbVh!ME>_>UL_X`(bh^mzVsx18}g)H;ZE0Hj+#fafHJ3?5k zxhSB^9~cT1z2hJ;X&%N}WYd0GEaaxh=*NSdB50jb310&EQ>0mKiF$i}VaU0gWUg$C%GH*|nk-hn>=mo2&G|iE8lpDwFPDdqI71qO_n(t7hIun*S13CE;uXBr zSn*+s2%q*5^Bl}N<4mr#ohkqplhq|~Xyl!;o8M6rxxX+y4GIvK*nF$gGhILT)|pLt zG_Jg!v3dc~xF3FxJ+(s5%n$ftiIS-jckVd4lqd;*NvkTDOO@?(c~^5pWy|2FySd2Pfb+R9SjW^d!I0bZOUo1{53jIhqedWw0x5OaTaF3AeU)tWlRaG& zS@a7aPGUOwLIE$fG}8jx5vFa-_(td@Ubnz=U*7;UH5koTH7K@pH{-B59`ZxW(}x8l zpG%@-^1Hq8jUu(P`&WF7K?7Bg8f%~~ELBv{>^2!NWthWs)}c8)n57U?HGOXCOq}Kg11AX_?{{gL&|AW z*~0^n~%r2Y>;(d39;2X=gWkQ;CtMHd#5U5=T=OZ7k z#D-q^*G%W07Z>W_vxN6-&OE${&W?1J8GLkuL|7NPIC9|d+nNk!;9Hf9v_)^}y6H5~ zD4wZ5Yt4>|Cp(o^l7u)GQ!tYbR13$U z=6#-{HJui!M0LPr%+d?vU}|ly4YLqPq#R_ywIOeMk~h>L(~ZwO_lx$d1y5zjW1aPZ z7W}Ua9T=GNydFfh?;U%e4^z}6(l*NkavQa|{crV#UoC!oT@H<*m?@{ZiCG%e=zUoa z9vnm@{blwe?@7z1A^-8rlX(coRB*q?kD77;R%fMeTGs!q=W^2nIfV55Y2OV*t9y`Q zt|;cv^-Wlq-IxXUM3w}vI3Jab%rVIwqJ7To1`9-i8=LM)n#ZQFK8RA`3T(rP_2^c1s07C6t4d?=qvJ| z^z@@oeiMMf{tIoHnc0u;3%K;J{2vZiT*g>!UkjP(g-_Gg<_cp@gmtKX5po5-sJV*R z??8+qT|RB5bq-EfyhE|6?9V$O@yuhJA!hQ$(ap7@hrhr~w+?g2C=bFYOGDWpV zK*$ViVVLVY5L{?AcOONua_ZO;gP;$g46zmRr1@&3xuhQD&L?J-Qp+=Y{~$Uu^^3PN z)Rtxp)~wm}Z9W=GZD*ORhaR^~b$cul!Sb1Jiht#6{!Vaqq$rJ?4`fion>Sudl_1b$ ztaKkW7@LZH&jp-g&+ZFj8YFxk*whM;44$7k*R`m|Wh%96UY*GZL4EJD0WC5yuUccZ zPIM|)K7E_ghPF(Kq9Wcu{+NiwF0b973KJrSeCjyCl|iT1B!SbuoELI+otovgh+L_I z`0VXH`}a#7H;{tHHhOgujT$yLb{|tRt59|Mfk8tVUBMMG%p74Zor&Ah<3jm5C|u_7 z=h0Ewt0f`c@Y^Dp)sL-&4Ui`!(R-}8-RRNLQ2xs|w-TI%pQZti%_lzB7&+>GRIIi? z!J49nA+!bu?Oc`%Y%Sv`AK}F$lA^AQNFGI~*>b|FqLx`%SnO(z))a+M$tX%2+}>e% zYl9JyQlT7i%pP@TeyOjz@QR6Z2g&;WG)leyavI&)*wpA4-YceeyrUGX zs<3qE_>Ze=^YiA%NBKckB?4O$cQ{77U|oYBuM#ula^n=ZC_L&!iwLx1)r`A@`hJ+6 z1qRIt^~J0ELatpI&7dXt%$_w(&)7*hx91&`G#k6$^pL>Zx&u#mw-ptj%=)ik?J@Hj z93h|2u)(mH3vD&!P^PIapF&HR68qjG6``JIjbUkCpEPoy z;tUpl&&t-T5@gO8W^bjyZ>&X?W0rH=hau`{c_xbj*JTfhyIARd`#A&Ja$wM=f+kG|)Wq6%`oe-6K@R6$m z;o=|ICzKagJA4Dg@=W`@9T-s6GE7ss4SyvLT_q8=qMA3R?Y0T7AZPc1O6RV0wMAeW8=0oF#}y^Re-6JXSyT zBJjGJQKZ(Df}?sq7)(_={RT^}c%iWra!^9D7$<2L2I}mD-{v)J`dWRHFLQPvLs9nn zd$rwJ-JygF$4AqVm)_V%Qu`6f74f!+%OGqC0F9@HVEgQbPYF}14wM(W%LKecvwM45|AgfIdmS`>r@{kd9YC+c)9N@P?W;{wkrSbeI{9xr40`%jh+rpi%4i0t#YV@W8Wf9-@aF61IuL>aL6 zx<_V+Fy=p|bYlIC0V>p#eVR4q_%2iY=#R>Tylyoap+JWx>Q3n! z8^m3YCI?j`6G4B<<AlC6H5Qg zXBj3y+=0k&5=m}d`Q37t_lt%jlctMd?>TKRmJ_Bvn`z{Id(4Gvy3*FsV9X25Fvwvq z|7!hqQJ=Vk?;LAW{{54asRIg|Io>2Q1(Cct4VSfZoh+u|4spH zvu!r2`gOgqRYM=MN}c^@8l>x1-&w?LJwZo9)H{p)nI2ZChHP~?s{KJE*Zw4$8dkge zqW9icfWTMuJ>D&10Stno7SZyGWsr)mfhJK4cVNTj^>8=+J>M+JkqX>uX z&CG$N*$NqV`*R(ey%>J1P#_XP&t#&<)Un)N&C4eZtxFiuuna%DH*2D!Va%rI=!?-+ zrMt>~Y@!jUXzxZE^|f|plG;DmB?b8<_N8rxqGKN((iHUOE)N`0Lw3L3)j*osQ+KcO z)rssD?Sjvfov8LW-70&SfUH4Tk^)L)s6l_+)>u*z_{nVSqt_+^7|wzN!)XL+!4?jl z$2gxOx_#tU+r{_}uc?G>cdeJrL^yxeqKA^6Uh6qMCj_$8=2v&O_@1!o%6UXM=)D6l z`-m?BvHrvB4dXh)Xmi|W29UTBZp3It_2YX%r`z~MY0DS1!EkP~;l1|XO*@(QF=Jtf z67T0QI;wZFtgL6hZZI8eotc~G?&e>V*toJ3@PI;?Tkp5Wg_V%#m=R%MgL9wF?^)Kdf0D@p-^Nc|{QadBMuqsc=y>O$(NsAHtTD7N*&4EU*SMPz4po$VDBzIYjOh7U zpT#B?m8+|;>dvZLV~m*+_`zpk8nYJ)JboJGTP6l^*DrS-O!reVcMW2iQkoJMX~sgi z9vomCISbv{^k{mqXi&85nQ^$~7An83%@`F5pZcWqtiKt6oLrr+fk|BXZieGKY@=Y~ zp5$|5yn;86T&lvtD5FMt-5)K>FG{W|do^Dz4gwIQ3WyIcCI(B{G^iTV+X!F$`&*u_ z)M}4@CVi-_2j4qF6U6DQ?o>bq$y`Z~K44c`Y4!5ccpP0JAa|7%N+6y%D7n3}6tH>{;|2?!9{2mUx)5I!;wJQL|zE9j&t2 z=?%G+Y~5KHrt?Dx%%AVCxB9tU1luS!p^0B1P>96q^`#;{?xI>1o_fVO=YTq;EAk#2 z7S-%+hQX(E383LB%n2Are*zamMHOn9)2boW)SI}%XYH^x&Y3w}O_j~p8-6JN6M~4~ z3naL>v1AMR9;SPFVnP2_JO2TnkNRU(ichniXSg`7%@~!$-%T%cudY3C2Oz^!pK#qO z(Ks04T^nd+m>0;06213~e=6&WWEXuETEP57S9*?$GytLnO+v(a(!JXr?iM4iSi=fm zuyashGnn+I9^VOl^p^7@GB6@Iw40J&s78ovht>#thDy};q;vb2U~Ng%H7ySqtebE- z)C@-Szjlt8N#xOu47OK(EkWcW2+^~VRzL%X>-ow1L!s0#IL;6z>W(z6{H*z|86njv zbHg0u5)1Neh~>4O^&Q4r!ZfeidlkE4;Br;3J|mSwoJ07@X5SS4=S$D$IYJQ8183sPQ?oJ&&JV((<4`)gP5`|s-wtD zT(TKd7RC}r_8!l7%WM1|_ImyRjWr~0{B5(?rr6ZW%g(PBf3K|w-Sqn_-ozlqFLxy} z)V4tN?by_Xfa)im77t`R>r}KBs@C7>ejD zZ%J2TTFAbh(GYX%y`t?1=ml>*&uR@z(hqmU>L+|%F2U*@K8I?C&;|I&`jwUScCkTV*?-x_^h->Rt$(MPSQH0zFZZd!cAXa2ae*A zyjwafEOYfpYml~ujs31d!n0$~Cne|dh_J=vGtpe?9|YWkT8S1KHEV4;x{-HqatHJl z*n;b(GT%SN8%UOV@)~J6^B5*^a@9$_|8SyeypMX4M-(Dt;SRNu_Lwc)Q8UNweH;Zb z&SyIl)`$+nhl>wqWs<)@)%@nsPCvQ}XtFkH^K2$m$NYeT>?+9xPUmS_81>RNOX?mm zTjA%)3M?MgL`VtH@LWk8R7~I!WZ*j0S|d6W6kmFbdH)sd1fr_C3X+hW@X9C(5p{cH%s1A ziA^v+mA%2?8g2Ht2>(=1=s0DOG1VUD`F@u@qU?Qax5(PF0T0v2s zkZY`JL6+P|3?(8k8CFSXX|({v*r7_JEkBii*^~Eu!1I*iaWyLJg@OfPT#D;!qQlCg zh-UKoN&YbIujXsAAFy9oioa}C*5Atm1|N}ckM+yglR4)J7!tNb{s`vt`NoqCCDqOH z-e*CeG3&aJ$E4jS>LyRU-loH^cY_-K2;ILFPODAh-Y%LDhjNLx@$P1VT{Z9B>27^_GP@k_>kN;K)v(oXfujmx6MQSsvBsYgc=WC@_}km zW43DhnJX<*oH3uYo&2Su(s!v5bgdMR8cUJe2=%=^qnjXZ$RY@7!D(>nhWVZ!I+Znm zFTRs3Ew_#(;#4>(ud>Dw)WpJQV#Acq;uJbF-Yiq+XQPD8NJGIenuN?**L{ZYXd&n# zj8UxDTrELYc}e7zD(*`>sVumNW-)L42%d%XSO>Jcj126uG&4i9XbY`BLV9cC~rT#K-by>e6(P8_0~ z{E}Mk5U1NuB;~|Ei59^@w1RxH=ErH1BmMV6bdTWCK$1x>m=jbdk32Fza@4o6&fss+ z-r~7NGv7E>YL}6hhu}cMQ?52P(&`@F8bXu`SYaa?*$v_X^=}BfmCn;08oDlw5FwV{ z7JEyI@4Nf8HKK0f1v7}os~^?01dITAwV{=-Eh^m@qHv_sRKqVQo_=VsuF7NjYGI+H zv`lbU6bQ;%J|LL2*o+VO^&&g&B|~~BlC}BTjGR}*a*-=5V!TimGwuD_B^^_pvTgJ; zEBN{2f#ro6gz;OIJ0yX6{tKfRYK$i9_G$!yXk=uC!1vq54$3LDyWR#IoPBrwTSINGbgOjEkxqIZ<753 zAeo4Fa754eoSV!Lnhm!f0a>~gH;-tQ5GLg-=B_%Mb6gs=5XZ4pdONcVKWV4JmHz5} z<3*e=^aq|D^uDdnr?OHx5KpIWNP1BoNt?Ldla5Mq``PlVtSMrDtnI)HvzDC{*!^1W z3=~(QoA=9zM%!$0^a11=MEYC$A&{ptZ)DW4G~w5Vb=V)F`L!ajK`LpKcV1TxC+~8I zRoi6YNV()CmE8#|bkhdGBsZ!-QLcS*1IDiVh!l2}=sVEm$~$2)tc|{QC_J7%^}yoI zgrKEB1gu;WlvIqGWa0_0+lTosZ@oIf28u_0Fzr(L>=El@@vt#pEh;Cx)xoqL)z?nZ zaU)o3#11Ayg3}%s77JEEUkA)i#FDt1If#B!$&jJnwAG+~KBEfMfv)vbI4W5?^2Z<9 zK4s~DQ@#(_R8s`H*RTr=FdWzAe5>Z>^b}%D%RtsjvrVI5z8L5V_&BJ0jCfLV1V!T` zA(WBt=>I`ct^f6cUu40&#s^$0M2C^G`eKS!X)Sw;x(p|-o9A|I4r|{gY@P=19*&uK zQ^I8OHM)^vYbd*E+8%LDj8?}7MSmGQ7|z(y>aIr0YML3hW|vsW--G|wFg-_}SGmFM ztK(KpEx1G{B_-Pf5u)%Yu2Btj29i!Qawm*qDpz4gU8Qg?i9YA}!o&X*HQ{BD7Li5r zB|e|s7zrEY?5{w;%8%P#7gOBY>JP)jC2hGd)dOQZR+vv(Y$d$0TI z!d8Q$rEUpNs0g$Vo&75Bo?Wd^X{2qw{Da0svzrQBRl0vJ8k7T}Wu3q+AOqpk8ri8V zHg!+LNw@%FIc1GYPng9QqxcjT{7Vwa=uqR8mIPF~F6#4~&Q+YP0fI3z6E}&yfNDyf0`gec?5dejZ+mT$GeK8M(TbWyc+|fdxmZx>K?X$ka4jfV_AIz z1mYicmTcjRqq_Jsd!YuF^;)gc@=#VMB$Z9UgV1RN| znsZ*e@V;WfVV|=2vSZWY;bbdRN&Rz8spF^Ew}-x?Mc8XXih`;_8AzDEIPrb9)%~?P`iGm`?spQ+gN?F-xYJ2H*aoNI?}8&$EU3P-9nZx zKRY};T64tAfyJI#pyF-$MOje2sZ%}~KIx6m2dqM`)B>y6^L@dcv59cam_lLtVCX$L zf(Zj372ss(Q9s1h?6~Wv=blD$!g!69Oahq1C+L^VcuRPww{3oRgP_2y_LJpnwqr-4V%I9^n>4|7VvQ z>%->zy)c09&!{$RyMo;yxSe3!IG_ReVBG7Jp4HDm4gG4`c=~udSe__QuxQuud-D1< z2hmJxj{%B8m`SOfB#$xWuZHD>1PL3b1M+V{EGO?#k{e)L5{|oKcSZReCzDVnjTHYF zxx^<792NRP&=gwSE~ggYo#h)YUI!EordKYS(4(Wu_EG~;54!(PMSt4F=QUB>V>7wq z357G$FEVhjM)(XCV_!msv_@M+ zPY$(sq(vTr?(Dt>5}RY-tZP9*C&Mo~OG0}=fNh#*QvAO|N8 z=l}8o|JJAg{};x_#sS6*#scvI|6ewcm+ybE|0;0*UHCukzj6XOc>d=+++0ll?w|{j zpdf%%&Bn*#ZzTv4tE!We8{n_lKRYJlXzBE~z~w&!34op;2RFMu_umQdaqw|TuuE|N z?f4`){}zz&NlJ+Evh#6#2K>YM|5FSApFbnHx|z7RdAV3vA^|!0csY=$sU?-9kp2$= CmR{}v literal 33716 zcma&N18}85x3C-AnOJ*bOl+GI+jcUsZ5xwJY#S5Xnb@{%C;MhTob%m#{#*Zft9I8~ z-MzY3zrA|bTlMrJlNS-AWu#+)Bb%BVSb}2)FaT@~Ede|{aP-n9HfB!d0A>ybz&{^2 zdNB)YCldz%y_mIulZl9lk*%=_93LN?qmzS)!4EjMmHA{|xqb$OkjD?WScbVLlJIkX zNZ627lyyJYeh6@MU!u)MS8Dmr0;U`(g~E1^AN;Zz^|{n5(hWvmG=w@5?Ai{lK83~%95)F#{Pi)F{VEUuoD^<}}w?u2Z zkDtEAs6U5AJ#2^Z;o@k9cLc?H?w7Tm#^ZbRFN^$Htg+RML%$%+D(M6ZI;@?6GqExL z*EW1gpIZpW^dDQP>~3cQpqDo=Gl8QQwzY9Gv2k(){M~CsIC@1BM_XqHBNIme<3B58 zOpGlIglydaS`42RtemWLOzdm`4i-i_4o)4o&ruvc%>f+$=*-6l_}6rQjsG1vVxLod zhR|o6FalWq_WP7L0IdI#7#RR;{}x#Q?EerygNR<8XeqfL__e%?Y6M z8DIaNg7dTM-<4^xv$NB2==@#sU-fgmf7P=wGyQk%zZ`qW6rf||84u<{{CtGpXL9@r+>ZuPhXkY=okV2DF55H|9Q+90gNon%>O=g zOaL}UM%I68pS}Mr0@xWinE$t@G1?hgIZ(RxDdMim2?Z2XP@q+rY6cSGi-qr<+r(q``V7mc|9}Eb zwf8s%af&ZolbhKfNDLGplwZFN-mVhlY(a_kb^|yBpo1I&T638L1gk(uAh4lCpWkU9 zLL1QG_UT3@FL!tQpdD`agaHI5obDie3`ywSC?~L@9>QP!^b$Z@0qjRa7G6QtAVw6a zhkAafy`cNxLPDVCfiwsR!Jc_K?OQ06Xnqq&3^P+uM=iqJzVVGf;wz93d?b)z=r@Wr zqDwu0{j1Fh00Z{+0aCzg&sGcwbSll4oZ_PWf5COYkdg9@EbpHov_dxwBfG5lL z)PoLF`n z5ionFwHuZ1%CAceiGibkI|U&ug}VzD|6m((UjCy`FdYVHVer+%Bp&xDiZ$Dow zi=1U^-2ujh4gi8fYFvY z0!LpJ{J2{`9OD?|R8r}`DwE2cbOJl1+kujg`&Q zO?J>PC-9Ky6EY;-it!Wo@#p-O7#A;BHc_Kq#;Xi}4)zdJg$Uqj;2t zvAu+U*A(^IQ}a(cVbrY7gb~fYEajXNU(GzkZ$F9QZJ%Mw07DaWfpu;=$2?xb<(UM33Yc0UPP1ly*A38+3u2kJ&1Ta3~Dq;%0!(s_)uRsPNj8(r@p+TZH zJ)Gib z$%@ey98+qBJ}~5(`=!P^+P$+n$t1lPvEKWxdz^#{NA^K6njDgU30Z88-WY@L^7XxR zC;3!WD>J4eGNovD8bhK3$vLyzeg z<4*4DQ{0X-<|EPh%Hurol z8n8LGb6*+nJJLpyB0qK?TPnzC^Ix0J5L9}3?_*RBK-OIl#AfDQ>rVMoVTD^Ddq1w# zfmdcG9}T~uo)3i|($2XfLH_iT^5_p*s9&TG&3{R1;C~Xy-p01!!RR0!3H$R4(N2hy z1}jq8GGiqfrWX{wNB&)T?YdH@&hGD(bEodI2Rn`h$WUkdW5#y^smK^BG>nx{LX8n# zI8LHg*ipD=%A(is`dBRIQH`4#A<@9yZK1T7`E!$Qk)cx^qfn;uiS??szK_UNP)K+Y z38q4eo)fxA+pS3{Z!+-aLhs}#74<_TJhg_yjlL`DU2t(D(V>=5q{?^?Wir!b5e4H+ zA<83oJJ*EaHxr_h6Y@ z&&&1`3wEzRm(Ycff&HAU(pXFcrbV)tO+?tb(8`SPAzqs1n}(b7q7h683x!J*7|lsb zVpHQ?_HTo=slgcx$pfR7$A)?&QU-7+L2Y&U#%gDsj!Ho4w`Rgnn|^AMBJ=R6M-@14Cj zUCSpJt~+5rl)M+F4KL72_pjD+9peZUQJd$BF6xb2Xik@&cFx1Nbg802<0RPy1KfqB zG9-L_p2LlgLPw#w+o|wJQNh5fk^UeNXeVJ`l~(lLlrv*_9iw9{n|S4WjtR}h>Y?=n z!17A!^()Eisl4=OP>^A;A0;~lrClfwiS;;;v*tId9r1k_fB%z%oO+`*HmEp|(`6h_ zT9E~*Nvr+nGv4t-6fFB8D&U}U<%-(&%7oC2A3UFM$&~tjeNyYse2qfZ_(e6P8NF1v z7t71Nv&SqJk zstMLN2kze5i&XyIst<>HtUTAHkA(1oPgcL>xac>xC=0@6 z#ZRGvL^_PD#%m<=lsZeA5?7MumwwnTeY@DSvo`fnEir~zO*F!FahD_x zf_r1akw(IbG)1Zud~RmpRc!V=i&fjfr`}U@%yOIbsfz0Q-Ckx-KBH366i!*lwRh`@ z$jyp=(g8q$4U_S5&4vtAJh^y?8Yq+zt}_FQWht_y>OZZP21MaVgwen1nM^ zn+*bo806Ge`vNOp&fAPDJ+`e^8pVRtLMZ{P)vGe-B~j^b#SDgI(&{QjSJkr(O4`3K=?uY^Ny=Nm{IN3WhcQ44qDjb zdhM&d$E*mar4fM@75Zux;(0|}Coi!XUcYt{iSV=*=|)c|Y*j)xk(JgqSLzIw8J;xWRZ7UqhY~c)28^3MP%hZJwlCpPd;^5=>ti`2v z90q_MNAW!#Phi(QgWcw46al}vAeU^~s|>-7ECi3SBf9=ki3rA8q=qupxiI$0#7B6v zP`kSEpup2#E4C(C@Tli@gV9)rck|M9whHhWM-cVK&)t>9(E&+E-p%>;Ht}Oz`1_8H z1<6NQc~eQ@DD;_Sxr3SQL*47Wc?mA&>H6)jkyvM5+cYYdvaHc1^)LlH-tSprV%XZ? zspANkd}73}vVSJ=8Pxz>Xi@7#+pf(kcc-AynU4vzS(W{(^zfpp)-=CgcGf}?P_swC z5i{>H?0rS1*CM!@KC*c8j-VgDjz1KSkew4bK*b5Br}6nHXUBg(UoA2x9cCD5#*p6c zeAgv=+c>YhKb-SQruzzx8(Xf{-5WDAyZWQyH2aII<|M6aWn0acQXHB*k&Ir)`0?qc zW0eSa;?l3kRIgs6oBc-PJ!!fvpb-UEa**N2>U%FPFh9<$PtA2T!H%v5?r|6^o5bb3 z>ay)a)+6Ke6Da}3??1uASgL>He7|Y@nQdyPA?CbmMCf9ferhw}WFS z?Q-OVsw{RbUpiFS53Mj`?w4b#DT!Q<_uQ3!8)Kn-`=%6UH=8V9Jw2Z#JTK%W68(1Q zu-<7$t49Po7j}m!)*$xyHi z9=`d@OnMU?oX}Xu%C3KdRxcUB16C!HO$p8&)pp%(nUqbVfa? zPtQz;b5K{wv$M}n+t(vJx`&Zb>_pt&ld;&DwhPp3u_^^_*AqVooW|P{$$YjT?%&6? zfodMFcE_vw?18;p(1W^ijU<^0uZ$A}!tg!wO?C4=0dX8S8H=d-cR$FRm}BhVa$no( zQ-)}PS&X_+P-@z zPLOhT@a&0N7RPlZQKL0z%7)w$QzmczBn@>nk><=MP?+?Rvt9S&H7Jqwyp!fjf7<^> zR3Co1WPkOeB)2{)e9XMGZpbuq;dZ|P+FciI6^ny}kTZXDCgG1?Q5wXJ%8yqhzTAiW z^f-yD7goB}_G*~{>5MP3&MK2y);q#0F^E$>j=yvDocKm4{%h!JlN~s=XMUeAm?-~URS9!ooa=0gag5{Jci`j>*l03xob6VK6QbY-z6;5&-@C))H zhAd$(>*`v$#2Sa)igQT6E!Z#NvC!2&>>~w{SJQ{mEe>KD|Ys z#z3u@%=Q!a&V(oIsnlb4gI(jrB0+rZn}HE~`LnfJ<9?u}kNU%|jcy`ZiC$@NSJ4WsM$jnG5qMA>LO6CJH_*GiZ5wjgEoDkGL#{{ zL^qtUu=|n?Ax&?g);t(~U17rex+6AerhapvAe1Z$rL(e?xpWX>Jz{ms43uFfsFqL( z_1hojz!K-wyz^L<6Ns2H4~H7^E15mZ3efTgOfn*F7o$!qk)&oslgt|hgr(;hBF9O^ z5PrRf_pxm(b{NV3q1>Rn0PgmrhI z+F+L5xaK$~ifz?w$r+d?=$>db^&LGxjpkl^hmt3u(zafVzwsDnZ+pe(#?W^lR6z7Mkb{7dVSX899Mpj?@OOnZl}K6+bdO^{8wSoYYD=j;U~IB7Vi&yV--wBn4zOA4Pxgz2N>S55XE@U&9^T+@ z8hy6rq$z&f$ECn)Fi|iJXOUWUNvN}>gT|M2#+4yGQlY79Lc6kBGg2Ba6wwD=Mt?I; z4D4G`7ErWm?4KFd$PeWxkh9Z8qmvGFJHu71-PuSm6aSv1e#zQJRlGLV!W^zLl>pc! zU>fxt>#VGhIxwf-l>%M}U2c&3PsVjAM>H&aINpW^8TAxo6BVeJWZxpM8CB?a#&lgg zD!$jKbv{7duAaZ3&=ke<$r48wAV*NOtHU9mC4zt9ZF~N0kM(oR&|?##C@?N;vjB8Zyb_`XsO6~S4K0<{HMK@wBL`JKzwZShvTYA_d3r-G_)6(` z^ek3r<8;#BBiV|@!MF#ZT!vB#(HYz~dI?Yie{*UhXtt6c`Z@4peCVh?UvCX~IY5Zs z1!E#&DsR)-6>j0_{7Fn540=;fLONiJpbylNx*ZHljZ zFU+?BP^!#tjF&U`kk^HD(?Vgu-NlxbS8>Wla8K0tKiWiuoog{)REOBwBTD*D8C6DF zF2K)(w`nBlr9@{hZ*n|6@NfbOKjgN@ctu<;e#8v&zYl;5y6Sj0iEX)?^H-EK03W=s=ezSYabQsHkRtJZV)9jA9F#O*f|D>~jK>`_9hy_)^4 zRb}*rcl7l7^Do|ojX|?b{pW2^pIm;M9vx*hMX#&;&}gi8X6Hf-3|vCP)k2h`w->7- zo1)On{NPA715q3jmK%H#jiNO-coEDys~B-2J?7*B&H}2T^rY>1v1a9)8h#lChy9=H zowkiK{r53;jRy{216lh8(VPJ@+m^baL=wDLik1T-J(<~~LE+!yRYB06BoEgRaI;u? zv1oiYQ{^D8H*|w!m)3s&Bog6n$i-xL(!$5CH!~D&VnWpoCYuF2o}8YWemP>{PW^Iw zHy!#IC`n(B`jIj#u0L+z|8z1LA;!*{CW^byqCQmrRH@goC(FQNZY$-n+U0iNrtnxE zeZincKto@In)S;XuB4)^MT2t8Uw2_88gsgL97-hNJ-A7Q`b4VPE+fl@Z={DW_CA{K zLjQC{_b9<1a%0_YN{C?Z)RCnh??HWu#(?5xY1@}$5Pm>k%RRZqsKbk`;yRdf-7!`_ z+0(!hQR0PDwOav=Zi~m32E#qHo z`fr^2PkQ?os*0F68aY_lIoUdVviMJ3*5Jn{*VU94R~43^5tb2EXZ$3EpK#vH5y0}# z9zy>BxwK3y09qzaHil2i$ok1#**`fcy`ZDfUy#f4X(DW3Ct+e?X72QtH2$6BZv!nG z!>1 z|AeA!oGhIGYbfdjshniBN=L;37v?kqf<(aV#4h1V&58hyz$lD>IFlKWLLC!CY;( zd243{oX!5aFb%x&$QMYiw?V5QzMxQ+f|=XCao1o10^puOuS8vZqnPKA&Vk^JNE8qV zF-}9uZh#+KHUeXIIh|!t@~evuJSsj*90hM4%CR}MhJpSLp_90W#z4;doL4({YM>I1t_7m^sd$n zY+$e&xU0E)kFi8L^?ookRRlFC2yk-u#hbf!SKm?*uWd1mHNIZGFISMD?FZkz{;3fK z{IK@*uer9{W)>mV=G`ib@GaEW_Ve{}v15^k`9@6)7)1_h1KZwU@a)t(NA%L(>I#h0 zvq1;|;m1mXpTYzOBlN2YHu?bZxsaFRKsi4EMZS97^!L>Qfq^g&^vm^Mu;Ye6yOMK_ z!n1iD8vM42xQ*xqF=&Sj1_69|KODywrpNm-Gjf=HxB0rC$jquTleqg5_{7iX?w-Ux z6$=fvw~Yk`{uKokMjql8?dp;a*aKvL*wiJU+^Mej2U?UwG>C$J-Qve)NO@#On(Q*~ z`A9M5@B}@QMND1UTv*B>cxU z$yze%h8-RO1gSDvkFZkV1FA*i)Q&>I9>NdMc{93lu3ExhJO+fMLjw|GjHB8ada ze2@mw7Eqr`4H1;#;)g$wPik7Jq3L+07q)ErrXN3msyz4?h@qedX7UW-452SI4~d$b zT=ZFu_L6VwQRwJCS=U1FLQY*XN&AP!?-^&1_YV8dd|`FL!YM!7Pe*QJ>!E$h5u>8{ z0>pWuM)l6ID-%ttVrz<(-eQh_nMr8Y+(gapU52ML-y0n>^luz@QW+U7RwEN%o0VT? ze!n&(qgTOHfVW*dIjf=_U&txIVqVdm7H-l+#;t%QP^{mt;-Coe31^O!UGx~N_#|#{ z5)Wl9w-)+tcHs@N+s@WCX=cMK8}BeIr3w9jjy!;1^t2-1wWv+_;X-|z&jRxBo(cz{ zjD0~8d8Nrcp6xcI*a8A~^-#6v7l}IvPU~bn<3HXoR>mmg_9MS%2)yebI&v=nZj$G5 z*B+_3>`!8zhK=1>XSbfK!TicAJ$J0K-WdG?eHb28@64nkZ&%CX8e)3F9}q>O%iFl! zE9NwPATHBvrB^d_r!laJvrELERfUC7V6RBPO z+Vfr{FI*=#geJjBD~je=O>TI0$El8hdc3LkaNigXlOLm-%dy(VSN8*MWIyZ3xU_-J z(B#y6XEHgUB}hXP+^6hNogrtMWOVz|!?X#qRC>2eCB?AiWcWS&r~etsv$_tis-2<# zVe<$Pq_u>nXzc|#CIc;+*;fVpEnD@{+e6pf#aQYv)T=npQ}_geqkk5xlB3X~@k!v; zk6YPxs&DzVx^+zxJe%z1VAN## z&=~t4(CUhbwwW4cG>drYSLG7g4^P;eUJh7}#3hBUkn}Xayz9WV7ckr?-{1bBo#xBl zwsjnXw?(+EvT-m$ET9Wha}I($;3rP$X$6cw5IOve(_YxqO05m#TizfOS~de`8i?i< z#|!f}y9p$_)3h{xl$9fMmzh(rPlLc;Hx~#1d03M{ zJD`hp>w}LM!x@CD__j^dsZPz`@R!a{YP-#=~GbsRg>rM-oQ%& ztt*KQs`&vtU)`l%DvQ7d-O1#e zd@%*#Z`}CjRUZ!v&lQv;p`%UUZn^M7%K=xT^p7_MnP;8#y5pYnn3rO~a6QeqRx2aoA9ae3`3AgH0W!C!sqOmWgO1pJX=2-+#EHU;b@WCt(gol4Kr*? za7v+g7^A--%yl^e$(pb`Ex_lut*pty%KVmeG+CiQ3C>y04{yLIBQn@GqbhZ(TY|zm z__v<06(`!h|B0u!y4_LlvJU@gRySR6bS|%!Juq%$IhW4K`lqYUk@UCdFR~sK-4Na! zc)+zKV)zUQ=bVJk?}1DQu~`SRF{!D`kB!ww2w0Y~@^- z3D*5}?oV~Ut-l&HW>N>`7He1*PySM{((Q^6Xdl4Vt8>-l2@%0}{)y1?6_+{x*Yys5 z4>?dNM;QB^n*JekzW4xMTowo3+o}{Z!+7*9Ij_3FNwm5OzlBre_L8X+4?C;1WBSOX zbSg?NKbexR(dLB%*BHFtFp-~_vlYFz=BEsl1q{XpZwVhN-h8b>-x$DPIo^E^6(ad=goHg`K_v9OlvID?8K3^7dvA_wBq*)?s z*=Ll#&){HcT041_zMAlhfcfjh)Er(owgpbu=xP6CLD^rz|6bl*#p#gZ!&t8HKngtXmJdHP%Q|_cYxlF`#ia+zH zwEcFbIy}g)bdu-TC!9?PyX&JhLmpsDOJyx(QM=D2;zdN|bZF3SuWS#yFh7JpxxbEN zBR-<-V++ig+m+ZssrbPuM}8(hbPWX_8pZli2E)0hp*bTfDdN@%onl+Db)pb2=!tb$ zsXq2PN(%0qWpM#cTZGD?eP#NY;TP%SUg{f(G3R(?tiqS~o4gT9M0$n9P5hML=Gw)rWS~2#G?it0m3YCk(00$M*w9?yKyGX6oI{S9x z0mlpGAChe|PQRrO?i}ka3+RhBsMg%=G)@KAe?RM{Fd2-Bf359US@O=hfmg6ShqH3> zt|wST|*yWh9gARO*pwcyCEfq2oxxS$`H-74VtI!zgUi#)&DHHZI-o)MQ4;ieznIY1=N9TD89bx0;;X3rz zTV3KEAjVi!lgNqVa9J~Qhf!EmEaO^6=xp#4 zVJDCiXLyxXpJ$-i_I_970T4;-yB^=b{~9`h`ZX+cGJKAxBX~2x9`cl<7*6`x+HQ5G z({s5K$&-KMTHM1}?R5q{Bqd%LPR3cbyH8FYg0P$fui1z_pUV4_UE5R^TYMQ+h;nw5 z-74{K*9`NWFcz3QH~eNdtL+BfTPhNq7@~z@v4idMIT7iRJ%WNjv7e{@%6f~ zuf`btO7(B?CPd;(DY9o2-N~om?f$EN-VMZ292g_vXZb z%TnjZ=){|$Z^B}~f2t4x?+wT*0!ZrIL0jQNxRgxh;L8aev0McZ6r89_-tElCT@~U> zl(4z$u5|Y02Oo-yk?mW@-%eJ4e{t7t2qi@)U+wMVhcNC`DefYiGhuDlY3AaPa1Xq6 zIrW6i?wt$x(<#YOSzRX^lB(kT@vf)vg4e0VnHQadTvCa20M+ujIPA&qcwLc*mP;} zsZXSa0eBS_!~&}J3|z#(=A|2vT&_?F2L#)F?V&!=M%Fa$$ z_5`6!#m1un_OK4+Zp6O6+~A`NWI0e9apSB_J1yf}Kuxquz^srIqltNQTR8OE0;*Vf ze2w7Rqw(tY3kZ=R%645(KD((`25>e_$ITERWlCtuc@gIe#h`b_;9*NYkVw?)W5B7e zKsZEcv(HYh%r^Q@QK? zN+I0fMw<@wuX6X!h0Hf!&(>~CjQt&qoK~-S zQ%3R8HnOLO)KThm)A!N<+ne2yqh!1W##xHwNHE@JpU2Q)gjK@q6jS1bja#_7DA6;d zs4nB=JZITfP6K)0_TlKRS}b-d)&(Wa>$55$q(ae;2=M9W7m9t1&s*Y{{IlCi#pF*> z6xoY)-+hBNCp)fb%fr<`tLvB`Ak(mu^%fuDYUFn9`;Zimlz$D;7(2ihFRiOP@&r|V z*pZo8O`)Dd6VpU?8h{VUVvgJVfXjN`sCYuHtIMO?kn1LM?(yNkx~Co6dqPqWHOlNx z;Ur`ZLaA4>|3T#Rn-Zz#pnN%ztX|mdWXTrFWwHHq((f)JljxUfLOiDh+Wq&joi~&X zJR>3HY$fTe52s8_wBC-2h1>jZQm@k0wKssymXZ!MZRr=)H)vkQdu02a2`qu~-f=vn zB{49)8{IUn%X+t(hCy?6T2?Egl;Py>M7;x`2u2Pui<*4_%G~sS8U`sJOIGm>R;noM z#~8onIgwT1m%(o)m?YBZ^<#i$EEh@E!6ILGU?Tk)pwu8&$Oa{ z)aAdM@UDB&gQ7Mq`*n|FY5%4PPW|5_y zi~H6fbj1;4zU4{iVocwqNM1BtUn!rd!5nNaQ4}o7G=k(10XhkH*fI-B$|Gc!0Kw{G z&}p+?iuZHQ;H)C>VM$Qe2*qn;(#7HXCUjW{rl_6vc_#m zf%+h%ClK4>teqGOF??m$bcE^kI>*Bai5MbGTPwkE`|Cyt(((RQw(nGE*RqgtNDyTR zCVs4>Cf&=7SWnuz8XAdGwvIi+p)}^Aq=bA0L44s8ymsgKWYw4<Tk{vLwwG+BYu8bX zwOWfyTHGYqiEDj362;KBsHXN8x`$C`jPcTX528O2e5SsmUiWq@y0}7t$Kttmsrs}vmm^uFg6Y=ctOuHQ20&iCw<#B0qsqOT+7Rak#XOQ+G9x}+%1d%t@hi}~dOhdUeY=jwPkR)|hTk9H};5npfY`-cK0 zUpgLn#_5Ow_5$gRoI#~gp4+Vmx0%L5J%2&8t&$A6)g$ zVtgARnMl)9qjTS2F3aZ~ZH9LQyq`0JN^>N)1P60aF; zS~{Sc%)ec1w3DgQ9F3?~yS${D#o!F+aa*4WonT#uoD74_IM|#&WZR+%Rk82TS zBKXd8lASMXul)GS&dFjzAa2s;mMTR@E;^Q;G*3#(nF>Ws=Q=Ar7cih%v43L@=+0V~ zD#F_t*ummA-&#gSMs|k5)s}Xx6kghq)37C4JoLo82^cf#(4JVUd4!z&Vj+<27tXsy zEiqIaywKK}bqc7s#Mk|K$^u+%nQd)us5*9H7ACFv4TU_94hyN=v@YWuD$5 zO*M+pr7|{l@#Mkg9xH6I>^ntX$N7o*)3^PCs1xClY4N^8V`k*Fh*pOy!&=-B?&6h| zVlmpze&5LwlB(Hh5&i9r!p$A03nI-%;4e~p9~X5O()vMPe5rYz_u8pd8yp9HmW(lnj!U*O_RcJd&wx(*sAkRhh5?YMuvOWIjKaaB_Nq(P`dP zfx!)@>G8d8t1tt@JqQcc0%>JZ$lFxIjUKJ0>0R+&HhyY8%*5h_W*{6j56U`DQu#N8 z&P5+`qeVO#yQkU?;w7ywk5`p?JF(EzOW|ON{#uEO2{AhhXqg!Dk(;)mK*EWfK;s+# zcVjo+{{xQvo3QzBHurzSk%Af;qKbl_I8sLP6BGWQXe8q&jAZ>}k&Nu0nUSmv|IH#l zLEeADNH&hojL84Ok&J&E{}V^jGJaP46G(D=a>4%}ASw0#qK^MaLj8}NQpUger~h8r ze^EzP=Ko5*WCE~r{>7dDlR9#6vi~bH`g4{4m&EAkhQHJii%nW0Qi2^}T?cJuW?ce_ zp?jDCd~6DUC{>y?gE;dQ28>uIVJ6xskVV2PKg)6Bu^rg8@JPFWo8^7pQT^KKvi1$( zFLQKZz>7meh}c5i+D`$YG(Um80)KiAc6)w?wAWBa=!StgqQ_1dfZ2nB?#n>~Vti&z zf)U515~KJ>%?1gAT3(>|`Jo61C<_Tl2V@fgh9~JiTmfS;U^y^%AgiD(?x20Hv z-|698sKg<9MFV0dXJ-?!jt~xmTR0^g?ZA0@V8s0hVUQedL6$*%V4=)GGX;HBayyAhwt*+4*b z{e6!)L0}qRF<^qa4TimPpivM& zR{-EXoA@yD3A2zO@nFCN=q6|IHo#W99m8JACv;>Prsnrwq3X`a6qJX+e_VY3(qjYA zGG6X@{%~4=g}V)U`7l`u%yoI_5?N|#yTTFbsk#8D40H*_p|_K zTEGN!f5&)r9U->s2y|tFb?Fy?`RZY%!gmu=f$bsxhW-lNe(Cim1c3C86YO2SZpQd( zHG_eHaM#d+>4Q6f2-^euVuA!8e65Xd*SmE=n0@xnU_qXI-`{Ud{PF3zvA^uRXJ2i; z?<*-T#3`xnyyQO-Ww-N;!EgN`8AIMe{jv=W^M=dBxEBiSviP9t-rVuc=MuQmOL?Ui zQz_v^0DOpp*SYzgUOicTTLNn0Aa!@iO$B^4!-3ETP9CM-MqaHF`$BwVV{N&P0yo!y zhR;_Kr9|+T z1_kUtgP$4LGL?GkB%DL;%eMyK7LHHE_d{}$C zV8MQ8Kw;8vS6C+x^geq7Pg?-wJ*``0;wX_g?yK170%5mapH(25)#*h@f$$rlxG~ws zZ(n{+KpfUErmF{-DGkm`1y{pyo?^^OqS=qDYsx=q*W5^in-)!z7i!2gXq?nD0a)u3 zduX1kgcFrK2K>pHxn0-m&&q)q(u5_8!>C4vYPm~gy750 zU3hBz`2dPLxe~oO^*Zf!BHpQyubo$C@((Xl8a%5+e6>Ywx?js;Ty@@}DFzu?zD#H$}d;1_+_#V9u)j}!FI_M0cYO8o)t!3n=^ zs32)ys1$%O<<)Pd3AoP%m#=RvRaDh-iqChyp4My+-3V`N;EGiJ?(=e-&s7NDXUD-uyakCn`SENi9VT-y>|fEYa$ z#c=!IS9bDSX&-vNwz^I9ZL(?KE! zLX{@)>}6d`csWIbA|&1*eth*6C9BC8ngrgVig8==k9SJ^+>BKR)~yIv9uzY6N`_Iy ziw^6Al`LeAr!<9zx+ld5$yLnuF4rq%H*}8ax(yW3Xdspmz*8M?Yg3c#s(iaCS`5>| z{Pi+DoYN+wRzQN8KIU zwr$(CZQIFBpZ~)-=lgN%-kqc>Yt-Cpy>qTHckN`1{k%!kwr57hO=Pv-Z{n_;u`u(w zf!*N14w_X#`oSV9RKPSK%ek9El#$gJuM3zt=NfVeUh}E*k#1JVDS?fLbkgTRAys_l z+x0}7GVX18;)$)iP|}8u9cGStrOTT6fUxRz4O2z(UJ1$R*f za1*vPgTi>yB62~zLZ68Dnl`RD)Scs{2~JU^jZBpYjN@Xlp%*sRQHpibZwzB>^`=fv zd>WHv*F;^`7D)Rl-UL~$mn1f*mx$Fh2QP$Q!7w6*&!s*Dx2gA|9**%#fBhO!Xt#)Z z6ox6`QIU7ttzd+j=%F}^AX$VEGCt||BxWIcNQ;&Vw0(;y z3axy+oUQw<__V7padyX#J7n$I?cfqIu<4-^1Yat+d=5MG?n@e>z8^`zSVOn>^VPTQokE4 z{77O2UF$t_(Bwe55nk};y9o+%(znuw1FKOgahMBA9rlMqUdYuxsh3xJ4XGs-O*T(R zPRf7Hd#m8`6hZ{)#b@@=s;RITmXUGyU|!jbTbAo7S{v47p zWQszYPqcDmAAVPUH|e%kSq4MW3iiELjZ&q5w`mtQ4LhZQR4ij&R1H8!4NQm8uFUJm z=8JGrxYivAgC^{+3c-VoF*s}n1mjW$Vah5&Y*OB=L@>_ujGcv)#G2FEQRHLA8!*$_ z36dbAn=sI}Lsr}-hHr~rl)70#XI#3-blV~4Q9e|fPWE*Jowy6;$uKufM(ZtDJQuJ= zM`SMy(~`$eURy1hprwso2y)g=ggM8Lah+a_n(J=5Ut+YfRWD$4nZ&bd2Pa&DJ5G^Z7{<5KLMbPQ* z0(6LhQ@=Bwi?+G^9c3OzWNgjq0CtIE=jxK-S1ZE-J0{BekqcU?>O4888urpv$d%`P z!P!yd1QmxYNDc8}=q}ss9`oaT-mjs1;U6K$47>KI6EpbHd+oZKmy1al`BHS55{Y)9 zi}GX_ass$d$I@Nf5SpCOgG;Jqp>R`{yVk(7Z+gkDD!qs~Hep{-ZOqm^`yX`XR$CEa zsD_HGUp--kj3y07%%M(=Zt`---ZEt$$#$g&Vp|O)GmF^SOIM$6P1d2;nr_RxOvyCJ z0T6>B6g<_t7xPK9VVhZvi9Uwa())dSe(c<}vA?CO(-FJe^G^zF`Qad_bF04}h~y<& z-)>KE9JQuoFrSBkxNEOcW>zv_GSR#9i>-TkW~V6o*Dh$&g=C#KVyc4=?KB`uUv{b4yXC}vO5Vz$|L2<(|{Z>4hiLkrL`H_v4QoecBb`z8q=LdYA=jbKmCp1& z_xdtMET^XG+gkm>o+;$HG)LCaUdf9K58mLoJmR;~moI?(*lO0-PcgDK7?YSeHF%j- z`-7N^%DE?Gbb=iAYEr>6d|C+w(Ntv)V57Q!M4DaBCs;tJO`dSpR)^ed0Y|)Or}XR) zde>}Vcu4-%Enong%F}y%xCG z@&Sh_0r%JWQ!jE*0p<+x^0yeG9XXs&0+PJ zvRhL${?KZDy-k}Wo^_WGX$%RZiv7cYQ$7FYAwn)Ft(KradzMnZMugZwvwmP3pI<`t zG|^RYN@E}jv@lw7e^Rt3QsrRcF`oSL`vxpp4cL5iBu{NN@wv56L--j&4;~ z18kGpxSht^rUw5&C01`aa@_ozCPTLXIwIeu$2-%01pKUg2ka~HtF;1p+bakqmXkOJ zj#upl^c~4BWdW~iIFE;BE&|wXRQXm{>m*EpX=-r1g5_m*aip7n3KyJjov@<|A;Z zk~aEF6b8xKJ4e{$z=_TYYV?0m`s{78$dk`F9)|r|C_{^{X0Lh?J*_di?(oB@l10~) z9adoGLRH>6sXA;7XoUx(_Ct@+4hl_EYTsXjA8~4qse0(Law*2hu7tI^9kyUIe$IUA zxtMZ}W*kR@BX60imcJn*=1ko}X;(vU0_X<1MxNK{S*HW!?xa-UMVj^z#8>KkL0#9XZgatiMB!8oLUyryqo-Fk$j< zZL*K~28MXy*XIWqQk<08T)m2_k!aX25rdHMRw-jd2xi2dcXj$SsiPLf!h8C7Uzv9t z4iQYA3Rk`bh9}r&N~oa}ZLq{&Ifd<(GOU3N2`UdDh%$T=Y!|iUV{l94WM)4#rv*!5v=6o9Fj>57?(ZN4WT5;-fpL?O?o_~f%>72E zDJG&L!x@83yfN9o{p3ZknLp4j+0JVeyR=yN0Oet4tquW!{pX9mw&4gUi%^g zW|;xYh$CSl*5;fSBvaN5j*o`{33Nq*4G;xb+|XEVL&B-mu?Id>DgyHYL3Zd+H@SNZ zQOjEZe3yL$1-tnru8`Pl{5Ft8V9_UZp22X2+1K4^;W1UaR%o_QF3g56${XvfMiHu0 zEH1Y?uOLH&GGNUR`mMv!*|IjHb%2N-B$Uomnn8MXO{B>PO;EWHhf&*uH(9)ByxJ_~ zBRAVS;oS7t@af1~8S0qNOUlmyVCL!@aMq5$H{+Tu%z%Mndfn#1vvtEdAA)awc#-|o zV2Cy5SJPrbQ9wq2ZVg;HqGL#bz@W?J&Yg>v6k$0$ll+hx?t~<5?5$FoE z*}6>Y>$vF!ZEa#~^G#i*N1%KY+0RN#|1ljzp6|>eHU^fiJ3d}2nyNO-@|cD{QQ26A zt}QcD`179dBsBM6TU_ws*N?9aV|Pu2?l$E+Q;h4}BTm8R_)#3B8b@c;`ao(dA;TH? z35FE1o{?BpsGHM;52zm(6?X{kKvLw?<~KpG}k-)taax#ZA@xFlkLcE|F-0% zH>e%796GqI1}<5MWz1|5>@-@Ppy^lZU;iyGG}%Twn0_c%a*Z{C!!?#z$Ma)q3o#lY zzW91JbuVr!eLx8c68pV!;umq>wCWR@O*|j9|K4+iKm_@)v~#>sa;o_3HqD@`NT9%k zSr=stMYThP|7oy*b?Wh*tBZoH4c8)2OPbryMX+1dWhBg(0{r!bTO@-kBlZVrSyCjP zSSJpfISubpIcL-=1)09)!ZZ}JM{(cH5S*SC?O#W_JiXdqz14~3z`XSD6y=vUKw~V{ z+86m(qmu5Ay-14#PyP1u?qc^EWQUJUqX~!;-O|@M!yZ(W*R0gYywnEU0B&{ zg46NkpNc!)N9B8B*9uLSia5v)$m zB}b!0cQ9N2X^nC%k2EdOqe?wy+L)bCqHQ8!i~D*8!!=P_Y0@9pOoblpY4Taq;Ugw= zl|{B#B~%*^`|iy$!|5^#j4n2H@Izg9Po&~>Vs()DV;q3?`yKF31e)5A#UzC5DW^Bt z0q_PmGJH~jFwcPePcI?)={wAb`$KJ4CJ{9cd!KCFLQP5FQj7JPT6NOB(+QuWK-3W? zS5K?cYNihFA#_m=yPTDWx3>5&FSG?q#T$WdV4(=4Ce4%Z1w*F0i~1}20F4+g%WWd$ z7DVdBX^XqV9_{Uoj%a7UYQB^WY@N!e^$SgApVeJ@#Kroh&JN`ujm+z-!oZhuoTY88 zU){VMJlWax7)-ZdX}b*!QA{qNe}lOg+3iJZ@I>yp%Y6hvU`xzD(9wPvSA!EIwOn=Pd0~Z|glsieeak zW$E1Q#n|_2Q(9DYKM3mr7slT3sWNeV+0aKqwsyC z3;ONgo#pnD;%a8wNSNg0RYLC%BP=TgUQA;QPs2#%2fm}%VNd_#{Z)G^oV0jIY*_~M zf<7BfxXf?s2%#0*JS6S~D{hRh;ndoyg##kfAw@j#I){lm9lF_%NibXMRFd2RXD}!k zj=J^tYu*@TDN_P+n0X1pd!(ZzX5oAOqw^Xed}7bU%@CzeSxX}KmC?I`*3|P4mc5(V zVmB1jYbtYuaaDdX`p+onz(2W{$n$`&VahnUsJvq4-QFpR6v9OYhW=?e9XT&0% zVCjxs%Xrc8?NrVVplxMA`MW=F*zUBs7At=QII02OguReEkv=HlNJ+EE8pb3xPiV==gT%q^m4ZBYKfB4#hdA?zu5=wR;yL z3evR@^kk-*jV;&@U>*n)wraj7{swf_H z-D>*COrl2hEsRKh3ke|JiMj}56CfhZ3VST8)`a3Cnj*tC|}Iw zg}7b`a_@l6rR=~AUxY-L!Gop!%krO;B~u7?WGqM3@6BaQ_-aW_j`~Qz&5RshB@&5$ zqWEj7w-m{?D|xd~HmzuivvVqgnp?D^^1nB7O#l>T^X%*5i-NqdMwuOVE2RSSA9KaV z-1I*^TX4t&@7ebaTjFCIVLPbq;s$lx@v_6GVyH|ZSP)lat}tpdpYIi^JY#fSR`y?i z*2A^1+t(u$Sm;dSgh&L%Y={LlvAIc9qCuUa;5YVqcCD!?R^j};V}t#zm{z#6Gi*h3 zQoXxt3)14h1smG_7@sVQ=`}RKxy}^36uNN#s;w@t^ngl|>?WBsdVepRv*FV_G`%wg z!{s1J?q)Z3C&S&8dEvIHsHdM~*9;SB&g}j+D;(Ehf@f939*_o3kG1ZB6`hsVhgsiq z+-KE1h<+mm6r9F4tMX=Vr!waslh2ZuqEI7>=KxuTPNV8k&GP-ois007T3+|U4aIrm zyPD`eG3^1Bt{_t#yDN>lb=LEX>6|qKH;Z?5L}LcAFV4b9Nur=YQX<}g9y8e(e=S2y zI9NA(WWSlXAz+3!u}Mpa^sZ+5nJ5Em2}gh%VR%2d1@AZ9to;TNH|XkDs9#vw=xD?~ zFenbO+=cVgz%muD2+Yrk1;?$o=?nT(KajS*C8}`OJ+_&4JJj@)Lg)ETmqhG?>9Gc4ta1oENZ(B$4 z$R&*D*(I7F^~9?QfewXOQ7i^i%e}V>9@C;xF*{jh3!D8qucB6%`4oU$NXz_%Y>tsr zqnS8Nmy2c4%WZ6v1#x3*qH**`n`+3?M*sDw4QsII_^&OIHWco ze$O=xtQn_)PYK(OlZq~LuFn1}eiXmAZ;`fkHdZ;BFKR|q30e*o+IpsBQz`-saR+Hm z>!m{PAvkEflG_y+s5>;mrya$QEGl-OnXMD>TqhE>Vg=eWU(BBw@k)>-F{*bgSpjb5 z+M-hX65Y_*O+6eDK8IYCvFr~a1}G>^En|W0$ncU_wXrxOFQzYCK9Gn!cV3YDWq?qL z)-KH8RKq-dQ<0_D#*){c@YwvbzkjPg9LX#U*) zA+e^iFZDBFrn41TleU~xlC>8@|)S+epC(g^+KEp3?j$k*i3DNF@8|J`L*4{n$0sToS~T!n9S z1Bb>P&|W^yW^a%efK41Brej3{y_%@nkIlVvPSFf@57hdNO>)w+YR>m6J@^xX)rgYA zgA$s;488&-Abdu1KrYn{WHJ_aXhKVH)Tm*dXN?qs87KJHzohD2v zn!_D|vhJ;VVDwZo-&J8m;LTXEA>BqjzhSRf+&dsR2fG^Y;{+YcPp`eAPUh5J-udBS zCt}5XD4=yhIKBdTblAeo>BhTCdU2nyJLRmom=MnCLnn%sCq;j&w!cV!2rJl(UDR*R z6avC82R#p&p&RJ~vHX=G(PpRMEU`9~z>FERt4?{`?a>r^n@tS&Own(6+8N|aZ||kr zp~JKo-^Zxwp`0TV9$Xbues^K>l|MleQ&Yy#1WGD9B|+2@3b9ICL?JNRRpZjpI#t*@nHAE)~>FFiUZaYwB@f zOH~?BTBM^!a#?Eb_h=jx{1hpw2am5%WE<@$#ce7hQLUrKQs+3(c$YsTbg7}HgShI& zW=>-@Lgtj-uJJF6L0&n!6y}23A``ca4%*!(1=3FKwhAV^TBgRX z$8NKX%%pr3i{+U=FZiYC>-SVhwxv#OYLE<@J0EZ+Ma^OhxLb-K_Nu4ABoFU_5J5j& z!zUYVw<5lOIp?x(RdD~q#HzZhBE2Q5`t=It=a4j$dmP)tMYHiq-k1GqK{5UlWpk%( z{%;0MEGx?mXH`W55Oxpi=;1EidHX!U-RUdci>Y6c&Zd{)1MJ^Qm9WgSky<&mD+5-x zzPa4z^s)x!9gI5!Hbnsw!KGCllu1`g(6mQB?^?IM2;936wwHuhi&UEjAtK| zJt4=nIs;YnVgXDy1>T4}^o3?Y6;SY6_|c`vGznpW-|cGPw9E1M-d4DTVBJWdLo>fX zQzrI+?Z~v9S)0H0n1jDfMy}&1J1p3QpE_~HM&z<8+&#s}>TF}NhE_mPhDqi%yg%8y z-Wp5Z-Mi6Pz;Gqga7ax=*LcakMc{8PW5!C7%72&NEx623VnXMjGPBLKRc`*vPdH*f zwi!CEscvC9&lst1p18ALrmGuLTb43jEg z(Kh zWQXioG9|VAQY}98{d_Tb8Cm@M2k_&##qEF7TJ#$v|IY@T|Esk~L{y4jROGX@Na241 z9Wc@Tqqm5Tj{W~nZ_&R{2Q2LWV`tGH!~|MnJ12chT5B_FV_KWfpMUWW{=`0@bue}| zwx)G3bES23vH43s(jWNyKlda319JZ-2Zlc=2>;?9{H7q#G5mM^NGxp3EdQ@52(I8t ziYL=7KtKd-E307q>P>%!(@c<^6|vixr;+Qda8bwF|ng^Q+B96`w?Xg>!YqH?Eu zTr~Y|Nh&L?tJz30HCaDMGj*B;f!$noIu zpg|@8~{yZkijX4b6V=&O7_*Xt>vY^L+U|ADus+Y13+FKAdjUOA75J=|`Pr^M@Guo3# zuwJ`g=9QlO`BN@GtQ>%H0J8bS>FMS10Ui+mPJ!)FUX?q07qDMfo>oHl;SVpuZNd2_ znL7RCAkf|dFCuCmfPm$2(l_}&J{(^i0%?grYy-Z_0f1K`B87ikoPJ|OyI#Op^MNab z>xBFfp8*f>cyd$0X;Isag-1BnScBfcFW(OU~Vof;V0Dch#qlhwxc0{mKpR@(zHHh>dj^$eTBR zzLO=yz;qaG5O;yi4;W_f59Y~cJ<-B~6(0{~`TIk3`2fx=r*T?GT>#e)T27=Qusc9b z3_f|hgO1u;7sg3uJvp{T0Kb5D_w&pg-_DQgEK#`KU*7e2Q`9eKKslr*8BWSucmX>V z2uLW%z>6NPi!a+b$i6y1fnEbAYmOoApQ!D8GXb#t1cCu3v48>L1Hj)a`hftyTgx?) zUMC=b;3n~>E_Ez)kYYpM1NvX09>C)r*(M}xVJA5Kx?O+G=(kl_Xf}wZ zddU%%$GVw#O>?rXnJd60Ut*u14CP{0EBuj~43&An-ir0$_DI5NL@byC5SX>xk>xn5 z%XWKq8-|!Tgus8mg#XTD;(trF6dAQR4!QD+anAFcL!edE=%nvpJB4O<9(ah`7c=uV zHGtS32e~3~qb~TVH#*P?hS~BdlE`nghhk<%XvT3H?B)y8mOv3<_Sb$Ik_u|gAZl+!V4W|FG}>?)O~y{hdK zNHDDuI7nBP_S1^6O(h?$wM#XC_#C7u8#VUbdM!zY*V2)Z`OL)qNfqbhDPKLx2>YLG z_vOnVN;6SYetq$snXG$NbODoB@zyW$Z<@sleqod9-M=9k%hUFBu8yp9YNnDhxZH6d zrUyogd4cHlJklV+=93wavCjONH?Up3&u$+fyLocs{VfjEf#TJ&<<4rrR(6*D`&nd^ zJqOWHHls&{4QrFI;_WMT5qd;1TCt7?&XmqdLzt~q4Sv8(23oyT_+Y!*rF_OufW z8u@tfMYmx*IUJG-2{RkF(_p%}z@No3BZ9%12Te?G(387qV`V6*eJ^Lq(J9YT2W zhItS}2dKnc2FXhGosJLP(41MXV#aR%*TEDcq#4hP2%eD>zLyVU@0v-A_{HFx#~vXu zG5|XLfj~g+ph%cCU2rZh3xBP8B;=Or7Y2csp?tY5_C|mp#$0qCM3Ra&A>~@rzWZF} z_}VRrwYSICge_n<4{ra=`ApnHpb{b_>Ft&TzrmM??;y`EmaERO=~zK@I(O0exG1MegPB?QMdmWfDAx#B z#n<^qy6Y(Kg7Xp8m@fL;Qr(`sLiS4#j^H$BLz^5`9u5;m`DH=NJ>tmHrx>o2TJk6C z-+)=#y_unFQJ->EV0$DkIN~n5%JT=P(?#;WB~r#e%$7>BR#GLENxkDKS>xtIFbXnp zY2TYqY{*7kn28z2%Z!vIV7t){pz>78tIXX+)*Wj)xU<~FPIXz)67Jmwem&I^L^k!* z$VLa%Y=7l1j?&teQDrE01&6Sdl)sto1gojWAMv11X`PjK5bK$UgL1_Gx_`s{liZoi zXv1}JmahhIyMkMXJ}5T?j}5D)^o)!Pe)YjUhD~32@!rd?NI6)$Lr$Mol8}laPRgXu zmy!SEY0y4W^_pq}K$Ebf#w@A)RlO(uRil`5LaVV6b&9L*wAv4z!B#MhO*u=AR(N(_ zjflH{SJ59Nm-{Qy{*5=%aU!P|#U4Y`#tc!8mxbtP-C={p#e2kDecdE=Qf+^bB zf#&km!h`mmaS@!i68UHnkizgr&m#{So>E4soR4##XF{JKQTPMIi1|-Y(~s?9V^4jL zef(|Z!Z9vQDACn|8AJ<(FKX`FCQ#L3gj}y-dehI%FfJ@1Lj~=69^Hzgb;mt@LqW{N zkurw!0!O`Pw-&OP&^u_J!c#F+^u+4ZdjzzP_VGhtI?^fzZ$jV}y|cogO?7zVXg+e8 zKDV=-kpf*(U>Ar%mSj_9DUgwGjhvp}+;Z&pcS?PTvvh>X`lA>*uQm6^?RWrkth}Ww z5-A*S6zi6z_aF7t8oY$-@0RLcsc-@JyM6)}!^bBdNfE@qD)KIu4Aespd^4@(XBa}$ z^EbBbG&uCOJCOeRCY%zyC_I396deSPzOn|Kq5~xrT@KQo`$b6_gS`EG+L1!=2Gdsw zbs0EoRlLYB$M)nHjvdzfc=)>XGz)MOj(DAF4JLvuOT+qr!Q=U7Uv zt)WtTdr*Dtr6?u6qbzB&j4lYzi`Vx}Qb2FkfYocY+ru2FA?n96_=2OCFo)1r#EJ=& z9e%m1zZrvV{^HZC$Hql(l#)N~r5_wKgJLinQj}=GK+$AX3adD*!TI2gb%}KgHK% zHz0Xo8=|aD6`ARnaS7jmx6v$KC>O;F*p&Li> zy?j1=E^wgbjNtVx!IM4+k52VXwe<)H~Y19Ew^?Wb|W4mjS|@y0)# z8}%zX#6suk{Q9No8_Q-e;W&p32fHx|HK(dw=j)5W_XHt3&~1D>uHx*6bPf?OauFh< zM@>rA;i|Vzg_fOzUIz5B8?32tdWRL_d+d(&he-db=qilfpF##5^$l4w!LAQlIQW?M z*>ZkOi-)aO>22;n*fog*rZzr0y3Gg*ou>m|%9hCQLDeMBqIHxP+vzO*7(k}1nmc$d zWc4um`-JoLemz5~1rQt1OGUJ8zF#M04dz|~A66Okul^a>TxwcdZ5m2ceWaWaW;~?3N1UN z6QCQ|Cifs#WII*V%5_73Bi9AYIk%OiAV{T4O08|phuI!?C?y@!-lPFq_y1+ z%*&P0xI$+!9VN1y5?5Qw*e;P<=i*pxm;*%JQANQWFEG5@W`lgL|0GalfZ>E3=^teW zcaT!3{)l5V%;fwK#V@wmcjxGPI?-r(`;mkr{|4Z%lWJvDznj32AJ91_Tg3Gk+A4GY ztIN~L)5Zu`t2jVdJT6$E&!K(%Yc7`YEDN``9^RL)iwH`T1qHa~n1Cq8nW6Rz%ZBuz zYUr(9Amfg;YeHaM6P+mz*5{p3@DmuH1jTZ$Nl2NPMl6LB zD~Bu>MQa&dWvGn+7uVmsw%IH!e+~Ji6xFidE$9%zwH{3 z=yrEEJo`qns+M24ojW9$g$f3r?BY@^`?MeW0@XXt!ePzGbwfr|Bk_LOKXOjUFRJ+V z;Cfthj+X)DRG$HQyG7iB2;>)Nwc{c>qcL2xA?sKaW}N4Dd|VSFXl!P_&ZkyrLw^(M zr~p)IL!!vYG2vX-vaeHj{t(kl5<5Fw<`(BwQ$Kyz4H(Thh!B^6g z+NA3Kd*k$8PSxY3-4%xRgeLd&fP1sX7UI3MH=sOV(L}Pg{^<5^iI^ywr>+ThfkMS8QzRKWnh|xLCe~`VXZp;DJJKJ0)9$$7cZ~&0W237ociO zDLR5X8S%QHQo7CX2{Ct#F$6|k0?K6E?MYh%cpdrDM}lO9M-Cm@AvT>fpIwku1QjHT}}dX%yv59irqL zHf?D&k^~#)aegqoe>`mB&=^#u*YjJma$*ex&ADm}}V!TwpB=;F1AlX0~2UcGqh zpcKtAxXxaJ|6xW`x?loLN&(lYNLpNPpd_g_;^1`xN?a4@ry)|H_P~)5WH-=z+zZDr;ibk{k)1tWP81i z;%Mb3P<*HA}vdTwZ5Pb9f2{GgxKof)UUCAspI%7i-?yMi`%wSY7=`;i4>FD8#^ zi-8BZB>w}wBaf>0f;>M+ue1TRf_MUdE$0YbNY{7{W?|Q)WI~-{G;P`GqbK#vePpl) zsZ|<$;E1#z206C43lka8&<_b-xr0_URqw>9^YJk49l6#-im^3TRDKV;rq*5Pm*?5??Xz1;rBnACH-GXTVLInkpuH( z)8|XPnA@22yz;nl(1$eV=&hDOQAiWORqXOIcKET6j%u7R^3t^Ih&Lkb)XlF+`?^kb zJh@}*Q}R}yOWA%F;Lkm7FD2)J<@n2)&pcCx@qegXRPqyIjucsH5b(U3TAJ@&Ffb{h z$c`TFuF2YZ6{Oe8qm@>c47Ed^p<~JY>SovFqE%YZp|iDiEnWCF_p6NEvIP^nG}OgX zV6TAzrm4nB)P#hP`kZ4oe$DH)qPlo86~%O5Y#E%Tg)fJbtv9Ptk{@owUwq*%KpS89 zz5qg&+AgXUFM6#Xv7&D6yaw;g*x^HKEeRRn>8bY-at-msMq$5p8Yx$2R2+dQseyVv z&nB3XzF_qyc@3T{5}n#iY&@+VJ$X17#Htm)!kJ-OiiS-)gk)4&^^Z5Z2NL1ht52Ap zXeEurxN1F1v?*aPKYGbY6^uSUS{6S= zFdL+BsM~qbIceFMqtB5eMY?!%UrdTq0sr%Ho1MEzgzCZI)t&0z0L=B8hJFQz;;dSq z6zH+9y(U|tY3oHDjA^%DZD|jqvSPIdzHTHZCAdBh1ocVXlSI7yg$4Z^9FU*vwZFUv zA%Ax6fUwC4Au>$sTrM&79CJkldY>VtR8-ay?LGyVX9Ew+L*8~WQZISPC+(cAEM@yP z>PL7ru?TnA4n(1(<#BkQN9sF&o4o@+!N(DezCLw$`9gs*4XU}4`eHwY@8yUP!s`fs z_+6t@2mXE`yL7<20E2cdW)$D*O+fMvr-+L7Y)ldaH+q6c#+A2ikoBDt#9SmTd|N!M z5eZMYYawPVc=ArP1_0^&NQS78btLa#^F%K88B(D3REPGeVwJE|IedbJLK;}&UM;Vw zG43R6CF3mYtJ0CT;TEf>KtYUR3s_A-SwM@yt zByJ{CCU~r0TsT^Cit34pH~b|u#k%QP=5WDb;F};QTh!w`OQ%s2pzN4C?5W9%4|}ny z3iqHr+y>Po;v}V(2n{vv?R9L_1;Dost3y*szvBOlCLC-Qm3<&KgzPhmIu|1!DxuKv z`LzA- z0^GWF^{eVi&0*os-l;0*1^_=QJ%T4vhwk0yXqX~(qo?I6D|Tb7f!Ww}y|>0TC(j+V zXQ)Y{y$+E&_H_!tH^dY~>3t;kedQaWkSdBD@cOZ=m&XHtKOTJ||ClFDuzg zHkchoUuGRv`@ZhvW{uRSd=VVBQPoEGI?j|=>Y(D7yehF5bL4eks7h`apm8EGZUx&t zP`Z^;Tx4$;1vobCyx98&qO-9?o0MQKT?)(Rz&07?6;Z3>JNN9li*&=Y1YhG?BsE=@J(e3G`9cC2 z-LsdwX$3>hJc4mlwG89lic0#swP7eoO}@9}d3>|kJAA>BTCnDlnij~jqePaZj8c`b zvkwjl_F>$?T7B>FNhWu+THimgI6>P~ID-R&{CvgkPL%ACbZGsaIpKsSd_A^BqI~UI z`Em85X3X&n^5TIqPzUCSKhmeaDzqZn-xV}8u!pqj?Xg}!c(x_Sk;{8P;B-%BVr(rK zjoUCWL!Hr|hK(C87?@0bH(t0M7;~q{gEM_)v|TJ`D}8MH!DdR$;tx=M4pKuv7cj_#Io%bJ8`HjG`mX7dfZ*`;@3PG?xf_ zRqgL6pjd%8bOR@*1V>4g>sx5CSA7RO&i#?V=T`hKIb9=heG74=Ox@Dyk4eRwNK=yQ z?R^|ZOa6#599+Mi>#Hl0a2v3)VRWa{uouvK1|hYcCjiB39laZMYSD-&yG|mOKnLsI zaE|4X`h#q=ZM5Wy&bP0ve8&O`#EqSb5O!CQUhy?D`D-Hj6lNUrL%J2q>;(m;Zfq3Q zf40Dktz-lqZFr_hv`^$*JhW*8%(@=~Nt9IYHtKkFRMPRMH+E3AkjliHh{w#idOzK} zCdkSo@su_dqomLzQu=UXq|}Lgvx-3aHoLRrZZ^FRkQgoX%sx*=YthXl{Sf7}VujqP zbmn-HB)a!AVF#QWS80PJfiYuPLI+kj!pd!;9`!x(0u}7KPKt9qP1wN=q&~;db`C1Y zB-}H!LHU7eJRIAD{hi1NJ76+gBh;p zinuyPK$pgK$Fwi+LR8vr+Qg4R6>ocFNi~F1yQ)rwCU&$J7CzV~3~Z$iP@;SBn3d$N zUC15S=XVU=kWzJ)$ffX78SBErv$iaAO=Zv++Bq_7raOh|Od4_a7R->FvWeWsnfVJL zijW_IH#kPzU6*(dF;m0kpYcGxm+o*=BRZvFtX5hCc*cIFK;H z3{?)2>S@PsqHl;fW6Y|M3WezSNX2HY#Ipzj&9+reTUAN&%EL-qqVGJ$KL7*YgaiMx zn#k}EFX%tYXa8q4QB6%*AH6#HKU<8&&YhE%^V2D)`M? z{~u5VR%X^t4u2^R{;mcp{HZ+n-(%rFDF{vmj(>Q3|DN+_tx!PU!T1js?*D+p|Aiv| z$yfj50-yW>dk4qg5ckjj*?-m+_5XSBS^QM}Y{&cdX%7C|(fZF){(B_E|0d;cV2Hmd z`NI?ZH%Z~2N?1SX4*yc}`{18Se&6FiEBP}x{@?ffe^c_eI`ZF?{Fk-)pOpN*W&cvb z^0~bKRPtYr>HlWf|E}i#XD$1GRr0qS{Hv5d()rV){ojl7XC%)8s#E>c73; z9X=D*#_5yn|2YFmGb0B)%|GtxpDorI{%qs^Uu!9-|LFi=WBS|p{qq$6;rq_;XP@~` z3wI+YLt}e9GFu}PC1W*edKxA=8hX0VoEEe<*8lV^z$5z%|MSqy##%_<(HM_Rh=YNS zo`H_#^NaP9y+KDw_vt)CNBTKV+Q#Vr8lq&cZ)ydgnOQzxhyNO5U}B~F`*j(Z*jfKRj**_7`7^u!ay~`|R<=(giND1@#r!+w zXs`ciS78sy#f3+!Xy*Qz6`xER1sfYjyg&BJ=jIf*HnG9`V;lTF5W>^sVi0C#6Jll; zWT9iD<7a1QXJ%q#WD))}%3!5u=I0k-=E3{FhiK#R@IX2^>f1a1kyoGV!_E##Oe`!b H0{Q;{&lOC# diff --git a/UE/python/test.tex b/UE/python/test.tex index 7b8f67a..95ee277 100644 --- a/UE/python/test.tex +++ b/UE/python/test.tex @@ -14,23 +14,19 @@ \usepackage{graphicx} \usepackage{fancyhdr} % \usepackage{emaxima} +\usepackage{../python} + -\newcommand{\legend}[3][]{\left( \frac{#2}{#3}\right)_{#1}} \begin{document} -\begin{align} -\legend[J]{ 69 }{ 97 } -&= \legend[J]{ 97 }{ 69 } -= \legend[J]{ 28 }{ 69 } -= \legend[J]{ 7 }{ 69 } -= \legend[J]{ 69 }{ 7 } \\ -&= \legend[J]{ 6 }{ 7 } -= -1 -\end{align} +\begin{python} +import ../lib +lib.legendre_tex(123,12) +\end{python} diff --git a/UE/template.sty b/UE/template.sty index 71f59a6..a167993 100644 --- a/UE/template.sty +++ b/UE/template.sty @@ -26,6 +26,8 @@ \def\ggT{\text{ggT}} \def\sgn{\text{sgn}} +\newcommand{\legend}[3][]{\left( \frac{#2}{#3}\right)_{#1}} + \def\datum{\date} \pagestyle{fancy} diff --git a/UE/ue3.pdf b/UE/ue3.pdf index 62faf414a15f133bf5489f265141a11ab2fcf625..2a30121156253b2088bf84e86195af0a092a4c7d 100644 GIT binary patch delta 12151 zcmaiaWl$Ym(=86cT@#$(a5x;p-63dzAi)9zcb9_`oZtiquE7Z&AOr~#+=9CWcZbXK zzW09heB{TSKQq;}diUzp-Fv2L&+p$@m!nvfUH}vxC=3+GzyhDwQLvkZ;kVvsZLuI* zh46Zl{g%M8#uIbWwyq0>2(2yGwL@M(i*>EJZ>HQ>cO!#N9Gg^cBds6+)beCBq*-rzB2>#@8RXJ4jW;U=0SD#Z1*X*!X8zg-s5rpoY=I;Ku*rUfGDzq%8FPV~(xpXKqEH!R=wyqAf=m*gPRT5gX) z3gAaF%BJ{veBFJbRPflR%Q2ex?}q0DFhAy-AgyQ_q*3P@aO$3 zLEG3VGl1t>dwBc4VfAo$aVk}D5FqtU63EOXww6*0mb6Pck%vB8cX9uIygrT@x9pIj zStQ{>Q{ZiY_H!luW5ggVUi@4zB0fxM#G{RIEIU8myY-9N@WPM$GH(%sTf#d11(dGV zS8^II)}B|EZz(K=u}sJo+k!7pWc+?8<2HK<{wRgt47r^sh#We!zK_v}x+NJ`k9MF| zk9Bit*5}xWFcC(i7Ea*kh3EMN`EDLTeT4u7qbNrmo zJy-+qbb`7*m&8sA`R<*t3S${C{f7$Pm5Ps?y%avwbYi2{p}Io7&g1lq9Hj4%Ra*G; z#p2|Y0{G)K^zb9GfI@sPjiqrE-+VNdCJt))Z75wvQTY7@lwn%=HfO*<(e#LdiXduP<^G_>V!@FtTVQRUdH3(O;<)9=(u^ESw51&#ne zS^8YGSt5SP&awZ*w~p46qsZYLuH9Y2c&B2D+>?Us*h*Z(WX(@H5<>7%9+8vrBMzdz z0%d#TZ5-EBAu>fzR7%E?edd`P7$wPyg-cTWv+m0>rDLg2RdmYqQCJyE;pwBSc`Iyj z_V6z9az_$vVYEaazdm!EHJ8bTt#>%=7CBS>0A1#&_;7#1iGxEH^&`@nkowpdHTs3< z`rk_5g4vCAnpE;gitgMM7%;c|knj?kVoYR6(3d$O{`FhL3u?+px%6l%8UbpiDTWB* zVz63PF|qZdRkXt%t6Hkn-#-z|n2{wNB;bzprZq5I_CN5A2310T=Los%>ZQpKe^xZ9 ztVp1#6Y~Hv>rQ*vxtt^l7!d-N|EXdn#gu)1;;svl4|a7%OGSkuE3P8czmHYxOBBJe zrdLyz%OZh1tIe9y8P<`@&2ss0ZzP%~H$P0jORO%tjPQ9BW00{#LiD*(;OH3SHC(ok z-M2-cvy4$;x{@_6_=*7E{H$Mgha$tAmmd9nR378-oVp>KRXJYVR&$L+D@-;}jTejW zTUp{M#=;~?VajOr)-MlyGx}=ssXH_MHbZeXqLRU~fnhZ5mUafx*!0T=Fa^i3e4my7 z{F|ZHvl7PsNsmVLa!ivHU^SPP5nQF>oPQ6GWT!iTBu(=TFjrJ%hh3A^pS5Wds)`vG zZTZbO5sAXMEaTxbF&{bwQT@I!Bgh3Hf$+W?oq%?w%%)6uXlerX zOMC~xpPIG`GfsV7iTX2Qtfq#oOkB(#*^l_8Lx57ckF4d@v@)mxyvSOFX>hr_RX#N~ z+5jTe3uiO9C`ziFs>g3+$rmWGKTmVDEm%@w<(8qNDRxXzm&323u8qM5ZN($6vuVONb( zt@OF@_*dF z=7Lt^Drn@j}joUnsmM;N@FYSO&_B zwt3Y@Q23h#*U|$M_A#eA{J#0mm>GkPx}lB>cKI*q;zmA(+v3^#r_`ywB{VM@pINlT zKfNy8cJ9}<^83S=t%gsvyowhGVVGQARo=t0P(uwQw*AVFZd{f}6REAl{nnhl4+?k>yhBGRC{6twkHWVRc+OXU&WCtwiU$T^ax0qJnmfM-(n3MdWTRmu z5)>GS5Ax6JGRhTIgJ}N(%EZH;kR&Ht6NQ$q-lSj|iO2vkqymeg{kB(M6AC$fDp%(Gg_RnUWjauK~PSq?-Eg1%6pWv(AEs35$= z2NaV#qQRnMmfH?APe-& z?ow%mmxl+?i^5U5ao!`zboksY4SqLRN5aW^d$<@JhIr{`W{Yu}S;^Xmx{7xejC|zB zjD#kWbA+p%$2&*%VF(A*l8X*H4PkfyP2P-&qFicO`Qh{Qh%Db9-;-eY-|k@tx2wEe zP`}(n>JF^hm_6wsAgF6oO@lfulzn~MY$8_F# zxQfwc==&xvMV_IhG7t!BU%ohN<2b}$GWbOjjVSNmZb-ogz~4s>LjOJ|+7^(8>e&Hj zhtstg-rh;rFR<8UVYQ;TWBfpken4CrRuO^WuSNuiF5TC!h%h0bAUR8a2Z%B^up>RY zgz{5|G~cqWG9N@>AS|G+hM^+{zedB%*hX+btFI#3D5CKFV*dbm zd%qI&-C&0v<8}xejYTkKS=1kHVTYB3)NyDK`(Stc;Cj{OaIcl{fWG%|Bm7BQd1z6` z-{8-K1lF0jJKBBz&l>WGcDo>9%r>%~2S{zuLu2Q)y*bL{PFt-TK;_n~h*n<+{$N3m zR2GKeCqP990Mv^-JH5a@ToxjbZ6Lsmx;*=ZAVp_*2;V+zMmzZ~!u0+&&-csHL3meg-GE zi9~C+ST~&V5`MG|c%&jhZ3L{(;Iuuc{^r+<2q+@Z*r_)9&r7u9A~}q2!{E2~iAT#V zN6NUPMEe0(WWl$=_q|bYLvJoSWsd8`HFvwnhlg-3EELpsp9hrtTs%N2xA5}~sPd80 zweI~Le)}?_J-MMVHfl4;_FIyx{UWvCc?0K01EUnXX`qA(F?4x0NGO{Qu0Z0QNFu!B zl@&KL_Ugh#Rl?A~BW~w;z3M{g>|S;I6@d0Q{Q4B z_#=7q)H)$JjhLZNj;phh3N9*84F~*+<+bn4kLSR~nD%B={ZNxiqzt3R`Q&T#GTPR3 z-L%$dnQ_7V668!&*pyVzaf_;@22%$ZM{tHGUe3rH7LxGSiPAX<;D6+}(b+~miXxf1 z>KGvHYkHgaK~u5o-ONd%)5l{kk_AaM_Alm3cj89AVui!?~OK)Ou}As0!cpoFkTdVzcyD*%{ zNX_YHB8=?C8-4x8Mo}NBDo(>{nh9~wNebtrMgr|;J-6cu-Rf>8*>UNH(BrpT=)t>5 z_T#F|vS92*6fDI)b9Xb(|8t&jIW zx}cie#>^#e{)g*ZE=9J6Vnxltb2xosq1CdSIA7Ei_!q!`d7y4n&+Ds)ZqS~Ge)>|v z=UVm~K(1DaSOZs`HyKj!bgquM>|DJ?S>bI1ZcnnN>83CIY*>_iaYN$_Qz9*oFp9d$ zKd%CliWSNGoJon+A!3r>ti8#s&U{hW&4v5fuYFsOJy2y6s4`C9XbB*Pk6r^C>}&;( zoy;H;P;*f5zTCPy`pA&ZFYBh4Ikp4VGFaaEQ957afN6Ad*2E){_{R+)LHZzA6G1DL z=I2Jz#H;`ukxf!agmZCCkom?QSV9gco_sr5O$U}FJaV_&41q6H-g#n9@Qk^eFE=cj zAg;8~$q|eM*t_3cxOGIKuF2EJ|Lz)a&PO@3q-jvr)e*R>ky(GfHj(4e$h3w?sXHsW za92SQQ_i%GC6~1@p!F_DHwGin;Rl*A^Cs9xKO7m(!*h$-c(LfZIKsESh0yTZCtPz? z+KZus-KndCju;k3gc?;NcM*<5-+M1@mP4U{*9j?rZae36a?w(uY-Zl41jY4(HB&S`y$xI9`3aMGS62~0n78s}gs2y{D z#Yr0E$o4oEQ^wz4eA^j!TgxEv`nQ`T_*or)Vg~zB)&O2?s<7MY0G0;;x4#6vVd0|) zyvQ-bx=#pYlflTMLSCis!CGf2{bN^C>{1{Vp`h8cMRn49{t8JyQ`pOt-8_Eg8O8eT zm6B4WC^<<+hDDBOUyYRaC27C*2Jz=)+b6ONSW7*oLl*IrZQ4h@W~>@1yq74MUklHt z5G~0ni>sr@fR$yZ z>O3E zoS-F@30{5R(>f74jhS9xm?mX2!bXjZ;m}2<5_+m-r-Y|7+lSybk(m&YZ(|a&4<9zK ze2)#aAv#y{;A34snLBPE#%zzhyNeYk@nG*weQ4 zEx$_p(9%x90$TKUbj8m z-v=YMs)#2hOYrLt&Q)h-lP-1Zss+@35AUrvAM5?lu{1jNdj09g9GbIVyHTAN)d+;* zZRs`}x#^hy(mSzHjNbl!z9OJQrET}(lkQi`I@eC!*$kM^ zq+103Ab&Z z?buOsLqhZdMj!v{jTUwD3wni2_@~krX-#o!UEP(1HZ48N%X;7yb1MP=x#_Aks@MC1 zKjyLKX{<9Nm({MR7qJxeITdQDtaHGEY{qHFQ+^N2O12KyCm`}mw#(h(JC{)qR$j`3|P1iaMzDwysf z_4CRxc#F38K(lJ@wIKWz*4O(^&jxF9u>`Y}b_JvW4>!mAUl&J>-3|=BDc8u+CJyJ^ zX7N44HdSTE7>4f@xVj%PCbkrw9f6ckjB)DA^Ks6y1_?9bg#)%D^QjHRigGm`dekrm2c(V(BLwto zw|cDW)@Ejljeyf#`@*%0rS)D641+{x)l8ljsI;OX7FT7(-L=xieE}LByGQLWPGXMb zi;{&kCY+P%zLLRdDtrw#`i{aF*o@5}pO`K`G`7GeqU@^*TAJ+^Bs&ihe@W=zFb5o# zC!$fYzC^9_>5Bff>Rip-tZ(v0Q3h2|i)vnxLQ$gxO421@F3Zq^BaXQOWmU|s&G4fU5@mY2kRiuW} zM^*eOTrHU;`0UWD#fov`F&0Z@GLCdrvoqXv%5SP&s^96*gs5txZeA_E-`Kh)iq}So z@Tep^45;1as|IJ!UOB(b)2G|bOP-Q2rden;KiS|6+UQzPEy+-{xu$pAYxnpgj}?WK z;k?_9#&OCYv#LOt&}uTD(U>ptb$mtJNZ-kgI`u171ALgMH9KIKjWe&D9W(yTPF&TO zX@JlYyH}(c;px4gJ&dT*%f8sAr_}bii&O0&fdwM$8Sb0?RpVI}>+znb#~+)~v3*?S z5!6-$%5KVjzTH1wLOGf>r*mJ)Dc;*=5*vDaIO~uqjsJo4=RM1^j{dVZGN-vNdM+e*Dkq@1*rYl)q(#mFR}J2&{>*M) z`Pse@PGh+fWn(LVBiyq)j^f>KJDa2ev-$w?ZM2MU53ZQwrnMEU;gFZXzADYpJsn-~ z3-symw|%0d+uF}tT(GkAY>FZCURwn0wq-&x7cjX9Hwp6`CpaV1e5JIi)}=5wv~puy znMWQjJYS)Em2AMlY+>Lt0)rqrik4}Ld738PW#p-j{!DM1PbrX`Br@cIWa%H_lc;p z{2qnDKIgt(vvU?SzsBPAO3E6myz~YZ?-GaMpZJa@Ld8C=EPM+Xw4&*l9SFZPrSkfw zo_T{fQrtxwaO0SPna8%t=(xskYhw8dLJMrniO^nCdK**jh_Q<8xiw-bKkn_fbm`)0 zSD>@Cg)>{GSuR#@_T##x)mh!(<;wOK7E4Ub(t!kD-mpxaM2UOU9u7>fyVAHC5}8LT z9AcpJWq1Oz0jGtK$Lw1|Q^}N8BcBC*#nl{CY@XXENjPP9o# zJG%=*Oo=Byvl0q#Bk@<5eP{k`-M8AGoG;yP!1}c6y;sAaxp$@-!r9;#_1tuOlyA_H zb8*~fKdmORLT%OS#-?1|Q(J6j8Yt$N;muN-`u!);QVKe+i<7>5q3X1MR^Qg{T=U`5 zS{XK(?d(LGVJ4m*R;konWHY-HjB zeMw`H%YDo|e@BLBKGn6Q%zT}v$s%I3anf@A5-Q}SRkgtcz*g4_Whwfi^%_&D7fweP zH~FB01!)ETi1wWFZ|tUY;mQX}e*Z|`Nw3E$h&Rz7e@2IT?C-vBC?lt2I#s;ECgn#W zf^skCnGLYk9@Mr2AA~cH%Z{lEwR44VFy8zL7%*~7T#Ar+R6GZ0X}YjQ&LPnQl7hu{;~OuPkDz7a!<)9FeqoIM!8ig6y5?JV7|ig>h0UW(aqSn zcP%4mb)#JC@ukF*nWHbeFYT%j&{t=vqvNoGo_mGd?WTL9-UF1m3S~+8PKA!JvNbC~_&jht(+ z`BJC0@9VArr{DE33Godb695iNW3=_xBKz@S7Z*3S-}1vWWulj`@;Nd(SiZ!e=|^cl zwqy1MCA}#DA~Rb?V~J)3tOmU0um~dYkkKATmNp%KVHild)^B zxP6##XqiVE{b-@=XA*edG-~iVF?;SxG1M65MKG;1)ZT>OXL_Yn7@GQSNB+EsqF!Bln*_#sDG^i&nIHG%Ll ziN%?b-U*8Dve|A;S0JInm5&e2^yDME?CKr=kKDA z&e*5|FItITPK5QO=itW|F!o@lTH>GeT@#swwwGRVD{IYaNm+#Uf-%p9=Csftt)6s3 z4G)G7^sje)5eQ@O;67DbrvL|o+!g=1A@a|V0TB02@#w^`A+pOs^0wJ?vr&lmqB43d ztD&>GKKVs8jTj-{oA^2{fAN^@60s$;XmLKG!RFM16DEFXF{etG-mt3bvUf=HsWn>X z6BjI-OzEzd8q*0L{ihjLP!Cg7$S^Bjl(5c^@KSEK^)B^LIJWKmVK(#j4O?neW@j2Y zOI79h7h8CRzJkt>H72(C#Bn~craT9C;{F>oJ<(NHyVf$6*9CQ$IfXj>Wh-wm4TmR5 zH8&$JYM#}Cyz}0Pag8vES&J558D9D(&C$}m;acK?lDL^fRZL;IYbst#OLNZubd@Gu2%HGD?(=IUPN9q z_Ow}~7@)Q*k(ron+YQ+o5EYi15nf`-`l4Yq={$3_U2LaFekvRJCEJb8?qYD9JwSe% zpG>60aU|@XkG{2cSG?n z$%w`n-yS1ayr6s16Q@KP*R7+LQ%-||KT2O;(=WPt;Cc4$DbuqwH)LTY0_FhO4@fO! zh`qjz7=8R*zi21@Vz5`|`+v8;wYwQKTW1#3erTVKi+JTsuk|fRyziSqod`g-8{D+J zZW+|Y(hMhG8*Ch13v=M-cXFGM1XLz`JIvS9E}$`&xPi#ZS9Pa_yQc7-4f6<~2r_+Y zcD~K)mEdijiwoLemi=ZUtZw}FL&zf03Z-Prg53V97jyoCv0HN8fWb*a=WUE^8(o@o0BKTLorikj(#bkVzrGdL{}rd2tTUy6-vCcwIJ2V@EM~$3D?r(#Ze;1 zp~sf(AvM*mZap-mi|$Y|Z{^W0q?`>ZKa@Sx1c}LV>~Ww=A$}odAJd=RK|Qr7UM!B^ zKjLsvw%o}`BL~m>uuv&XxLusQt{h?2zJUums(+8-pXVD(2&PG>5xQ|u&#X``OA2JFT5prJR;=c}cFo_;-q1CtaMSk5ULKt8X9u<70km?rN730% z1k-2yl4k-sC7ALA#il0mwZ;p9;YpKXlJp;2UYl|*UWnx6S;5r*w3ih$w2Dlo$Sq0b0cx=(YD_xJr+7&LcnUlf(_H0fvYzK)d)4 zc({!3x=MPLdbInDQw~)`o&Km2l~;Wz!1FG+wOn|xclSq$weRbGXASse91ldF=9_pk02Ah@*X)B@t02t-RUHXM+q}9^JiD{a!~YnXR!aB%+`fJ{_?q{EUh$gJ(I<>V;_>6Hc&n7q zZS|VaL)C~hjb)z9u#b9lTcf;3nL9L4Msa{|&x71bs19tr`Z66wKzK4_iV#I633Y~O zT=d0y@ys%=Ms1#C%#3CZoFa(g+8}tV7MCPK-|!h9o&dR4fp2W9@=KAGDZ#vXTQeKW z+KN;50S(ilNuY~?TJ`q(F8Ajl0yi%YXPMrGs}5#t4UI(5FE83=Xp^~_m>L&Y$CI5- zwI!jLl+y>7M$v@(`vQt?BNeWiaD#-KFs2WS9uL`7@F#p7a;u}~;OwgaI^}BDXRL3@ ziWVuaie@NJhqt8Mhv)VxWXj9yt&C8;`m-kZg*^PD7+=@eCyd71t7h1Idk(5p8tgq9Kt}JS+dC*) zVLczjsB2Ls_sK2YUhXMc6*>_SoJkcawbBl4r^5M>ckyRE56qDo3ZzhP`^9Tkz z>KTvKA7Ax#!i{Mz8+#K61dsg`il*Q6d_W!%5o(;gY2-Hcr>C5F-7)WPB#kjfUhs3A z6!i+qojW-z46nY{p5u*lW^1(ky+tuBRqISldJ@c*b$mb2<#O_+%yx=?)%5$XY@d9G zfnOsPl1vt}l~9UX@3h1@-}h9^d;Gi<9EyW`Yj|>UA)XxW6dQAl`>Zi>Ci=2%3ACvm=K6X(WBTDU z^O&EP3vH3>`kgdE1m`CQ>q3>oC0QdxF{*49!tEllXF&vH-mT88s=ccW2Pym+f}>v} zH(Wb)FAd;6Odfseg+5tL0ftgK$&f(y&C}!Vk9NPQxg&(HN6$Vso{LNb}19` z%A0ha^oWfl?ckTn1P=}9)kjw~rISK+oxF=Q3m-A7*BqjOLvc-E!q4W_$kJ-^qNzra z8iMY~2Zp=YEFSQ#t_^Z9O>N&fIXjvf+5GclmkiiML`h!%fyjZSrmiTVrp+#)qy~-8 z`to>&(Sc}--~JEsG>S5WoX`1pHq}GWHtM2^;`{(E|RtXl-dR|GD$P zAW#VOsSOH){*B`W{bhp!K%l3-5D4&Z90QPo1GWFyK=g49Evfu3JY^ z>MMmU5I{Dd=r2Lj`LBI=_D81O_a01qE858u<3`G9}ppge#lI35@b z1OPw!!v9sx#|6Q_zsT@GAWzbK#6kG}wn2eBf02Pbt@@)c4EnDa|HKCX9y{%?jDY~? zU&;V^cwkTU1@Zu&wi^J*!^iU%4*2-P?-PPRApEhxpBj0Apnoy^FF{@y;Au&KpvUW} zF9`N@MgY7Z5Z_Z@UJw-eAGIFy|9`^-0P%wV3IgKg`%j%7S^N(U3;{!)N)3j<{=4A6 zaFEC4o+bhT1Nr`)@PG7&f?&X>4545Eorul2Vq&{6C@mqEr9? delta 12889 zcmajFbx>THOv@CJnd7K=C_nGuFp_5?1G#MjV|`Y&VG0%coQc!+*28ObWTgg+Pncc}YOKrln4*_#WQlAh==3NR zR|eDcxqCC)Gp7`iZQkF`9_RXW>Doy8QP;~lkqZY>Vs%&g_d;6*igU=13+1e{QzXrg zrU{=O#4k7cFzHr`<;Ws%RvF*Y3nk0oULbgraEy9GdroXRH%=aMJg+ZreRWUebqBdx zy=I;;pIM=rgB!6$`&aPOrGY`m+hI&Lp_dPxf}q2cTBt+B@@JOfxRKwd57?AlcHiC$ z`saIRq{BjX(hVP7A+7f(9KiZRoE<~U;+mn~k@|~>A3u51e z?-Qgxz%xl^5IZukqo#=JH1-Kq%wk{<#)!t=8)-P!u>QHsZM%JEj1twHTT z3b?G*6m3d2rPYJm7M^}YFxfI$%^ba{xa({E)fOkeUac4gzF z3QsW)iN43MQJZ-yY#V!(JLPwpPYgBk!=&URz3QLyCi}H$M_*;?Qc0caz(kq*E25A( z8*w@=JCI7$!S7yy`W8l57ud64^vE~8R+=ekrqT&pUG{GDeMQ6>`;#}9>fUQD9sw~> zZL~lM`5AeYPcBj=5soYdev-WM3so#G5XQJbXIB#q%yxUL-msTM|htpJJ~fO#~) z8Qd7Vi3*C)I2{^`Zbv9IsV9) zG!Ytd_3-?z648H8iffnz94X0R8Tf#&>12#*C4WfSmn36Xk996IFKr>F*)Gf&RD~~E z!@PrG{>Jnmv8i5wq+iJT??FWP{alsmfYGhay0Af?6kVLXdP^@$O_#*xwh^ZmRKX4$ zprykQrYe0}I2{t-SYUUp6j0z(5k`oYU9g4=Lffe5aQwL8SR|yr7wHgZ?HIO{p*brK z!4j0Nt+Q?rvry5<8|Pyj4cbj0MRoD@7e`&n|MhEJ!69s5l!aEj)*+&8&mWd6KO>dE z1m9boytEdP-i+U?78dUO({Vl+ioxN%Gyo&99F_LDk@7pQ(BlX(h=DT7nM14r*_MAY zsdiXxzv)-jQDCl_VF1-PMoOID*maA_4Pn)=jA7NKJqs~KapBvL0?H{ z`n{se2%OtEIIm9Q@((@L(N(bKbmmlfmGY$H@xh)@(4b%3xZ6fHDXUmkHT zkLj;WQR#KQi;x{L`aSiJgT#!w0$p0kksZI}Oq`s{&+0k1`58(;E3$C>!pb7IZ!~C( zRK#&7HL$zbP1b1n0l-4S>iRd8D9jW?Rcauaq^Jr18oPbeIM`|D6Mw`wBmN^R*tck( zjakZC_aI!l%2so%tdZl&&KhU^$i&(_h?1F(;`U(4U zOX1DF1A~6r^OS!)UJRS?0{^7GS0ja8Q3zDJH~w@`^#@8N)B8_lHc)96@yxC^gK|eU zyDw8P8~6ptwfu@}Q75?CF)pHJnF!X`@{!n*txcWLf7J*OtYG($3g}kt(8C5~(MNB3 z2Z8{S?t@gNUVn;QlW}9flZe~_dl~UVA;}3p5s8uaAC0mXl?2+sRu%U1Zuke z5Ziz;c4Jwx{zdr3chJc7ue*FQA2E!1hf&=#NJ?sE6xN*NDqVjDcGKIBF6+>@sYh0I z4v>lx91TKc+pMWxr*-(TadVmTY!Un~)^hfFppsNJx5pp99iI5b3^}m-qz{i!Rm&sOS_71q)O6d0gy|BMm z;k5tGEQ4j7D|xDBq0S~)y9*D%uci~2`qv&c7lY|mEaNNkcgC3mF*z^x{mt#nbxMW- zESUvs*ySi=y7KvC_U#>xBaOJh_B;cX{Jos-*Gxw&ew9$|pm6?i+5Yd2iuQ3$+zf9< zL&^fk2GudS@}wuINKMEBIAeaHlA`o<;jaD`ze|=F;1&BzZydqUHs>AJJ*STcGwna| zt>{~br;xb{Z{f?xj#Hh~bj}bS{(2{qeTFRA$J3W{e7;GnEVoB3EYX_yUXk}L2bTFl z0swY5>ir6os-C=pHgLrXk#F7R_q4J!w!uucuaxc?AV=zCp33-i@2V)3v}<1nqw()v z)I5P*h`o)@Nl+{=IX_&zyADZK-xNiB3y;x+YS2|Z65uXC%Fx*PD3`ToTZh`?CKu0? zrSLiP25a>heh)q^3Dwxf$lk%uSl{};?raS#P-9C$ld;8=Xnua+T0b!CgE1Bug32as zY-8$R#z_tWvvViv)4<}wgTdUf^3RNkqd#F0p)-Os96ULOisM#X^h-+&+f1z$4k^?Egwp^BOf{l6Au<>jWmR6(1;M2~ zHMMz6{fP&z{-EARPeS5b%gT|Et8)R~ASv7%3z4R@%%h#~D=bh3MF%O;CB}^^a>@Ph z@-nHSudkPv7aW#z4ot^@L|_W$&YN>5C=#Jiv^<+`0sIM`b_PZl$z4hkj5oa5CYs0- zEDg_f|6{23>L;nh#=UCO^?mD-dJ^=Y$Cx#I6hZFH^O>0P%Pf6 z_Tvr;q4%zySm+H*u=v@gl*TOpvVBX$=z)?Z$ zskQIO8JlFdqt4fO=qrMzzWXDNYe-MLei(54J@Vu;f`+yzIEZuEt!>ZSYtM&g&ndUM z3QvjU&&O^`9*c`!mi1o0p2=9cNVYzl|&;h8?Kn1HBa?xzJm_8it~c>hcQ(Is3I|x*<~^%mCmw-}nhV=ZYLB zH#6Nae9Yp#)I=039dG@@*m;PJ(ds1oSqTmK^vo9lW;8-vDoY3#zd02{{&~e79T(S| zs%eZ>h^tvIgR0~0Nl|*M9V*X5hgaARzAu#h;Vm|NHntp@gXU8WHWUe!r(?A88AR@n zge9N@h1YYiL|l5t9^)kszR|?}$TW7mA;{SPhj~$i;Oxiq6swBxK(}{UY9~6{$G_+i z^-L}9?tcF$?tqe^M?SfaxvHybe7q5WvHj>CH+FrK_;6qBEBu&w<-LpI|JW?fdQ9pG zE{-!j+0Z45BK@ldfXZxdiOaZi->1f|=6+Q*3S@Ij>&?G#iW(|rv?m!DD$~kzBD6U9 z$wj*h(nipprzS)z<%Z1*ED%I*nTswxGN9Dk1jT4#Hk_exqS$xav{_B9_MToulaIN} zxb9smOtm%?8C^+jb|pW#1tig~8TTPWQ@{N-R$IdtFIg)32Gvl}vh||%APp6Pj+bx5 zDuf=i6Mcvf)e$QVH|MhYph-nxL`1@yhRE{nilaMGUpB78q!4L{x{w}9 zVLLdUPp;uog5D{~ZDbH2^xy@>*(9`u(~ zEo+}BF=ON4Cp5_Dz5pc;C$z!&cX6U^*Lyijokbn&FpMd^MiDj^PY=+KzoYxR;cQ`p zXkmNU+7`EIpFbLW@HBXjbC?{(D*n;g1nH;N?3WVeY2LE+D=Tl40{UDu1=VF59}%4N zKu7aKLnI#Jmd=kwU-xIc+t3LK@32Xce2=S}6iSA>v(=!i4PGfj_CFid5Q0ilJtX#l z6`5=;TGyZE0F|`u#&W1ge`K;_>MCOtd(tc9YsN6y_3^N}>YegRdU9ruy4B;F<&JRq zLP0s?w9sNdzz8?Uvs+-RSlqw#nh#{aLYc|Kcs2%N_P;1@>&0yqzgzB+_T1A zQ|Xi8%f5gXKYN^UDn<4hL5qXk7&C|9x02Ot_wCrdZl-EjvTL;KCzFVLT3fX(-9GPR zWo+D3dDavQ2$#;#JE7K=>me9)dX8wGYkzISkA^Q@w+pm94voG!lGLb+S%{ae#NU)P0(7_4cp z855o!3LgeL2N>XV_KWXObZ_@CVf^h@stX07QXy;`M?dG>9igtjm&x+D=WI{hhI@=3 zOmTT7HJn9*zEQ?RVjSK4{jOn4gPo=z<2jgqCbQKcK=@&8W8`g+lgB;#d|VJ4lNnZX zLkjJ^^so7MdvibMKRz**#9_B43xe{IS9D!%$$Gu`5=q6=PLjp(Pxb5hUe1niJpc76 zC^opY5dAQQAUw2zDec`=i>CI5Z~41bv&+9BluYCBq&h#Sa4~3wP|~HCbcgHWj`c!_ zBh`02KEUZI5nBeH+yrp<>ll(Mw9YM>N)`8obVV~~wmKsev`4pgKPs|$`^)n&x(qi= zF9m%x7PK$a+~K1I-CE~DgB#V}9C^O8gvx-d5`2VWZ@kn0+N#B$(|lI$leM2|Z1M7V zE*GQd&;4PvAtIfx-(c;V%gyjOH1KxWqlnq*bK;yfzgXfXfij;fJ)6*YYTEEoR*sFG z9zD&Yw?CJ=U66wHlKJ>)OjWFEgFoNuD(#?q@v&5%a?Hsz_uAWyRf;aL5-sNTNa!2t z!gG};SN^P+W1VTlPCir$aTh#DKE>~JO&>rUhBm?`P({6S6nD}x8#kpuy$AM_TZ&I- z7aYeh5a4wOUplo@=o9zlM`>;jGiB;cp>~DNZNf(b0x@bfx2n2KFA~J65c{-U)FvH6 zRFo^CN_9v_Q2JXF9z17>S@M&xYJrINLsUQYjuC1Ut`W9e3X3BCEy zIfq;7S_aBQBvQ(0;6Mew0In%MfGnh>%xQwTL5*==F>75vvbS?nIh!86o=i65B2aWdOVxjO|p)6wmd;UokAnrJEW&09!iIZlCXU( zC48?q0(6@W@o^SwKTpo71t_PvdT#Ic}C{p@_mm^qec(DUk>eJ ziwFkryVm#L2Kyro7KoOz)!B?zF?n0j!O`=2RTDBPo+lA09=gQ`@XJX}1k>SXvR}@6 zQaaNA$j)7BTk^lJm8lKfmcY6 zdaQn<$lO#InyDy$tmLBZ*b5_)eSzuxQ!S@)BDc?dfB*yO@F$u{h&J(GFPyEK(6CAW_K5oU}fV@QkG$%ZB-qyvuPcD|x)>tq6*Iue@#zkAm&-Jsc z4tnv1wDtKYxaaU^@PtspMo;0q)E$N4_{hZ_MjX--dkd*~G?A-A3iNDLjh`YbtfE|Z z6iQRw8oU-$RjpA)&+UalOh42gLc4HKi5nlo1t3Lg=+YxFVutdRtCQ&caGN$ERhz`4 zDFFtwSRMOCe&3=uXr1Rn)*A}_v*Nnl@n@lVe97?E04{zq{ehj_IGeiLqTq+pb(Oc* zv>d_RBK*qcdXE@Z8Rd@RQh&$V;V0UHnh#?YM|xT9tg56ACvo+V7}|s=)5hQy8mhMA zsJqbc)X#tvhZE@V^~?r!#@P_b+7~N1-Bd2vcsn9m!0n_~{Az4|Rvs$sw3< zwy;kF!_R$iKmaB`6V;gkfm)?^WNGuHyNKJi+U#57sC}2W?mez`wJ*O-?ZiwY_{Fle zyHkvg750Wk^2&_pTM-uLk)c8OiobuXMCe81#n^lS$1Xuf?nj3$u*7sw%$zHB|Gxdz zc(copL5$!})q<8s5VGXgm)t$;i5-$8hS zCzR_k`Xg%@mEsMvuwH9la&|f$H27C?gPb|fPMdIz+i~gmd z4B=0MH0_qM%l(5t!*=CFiycu?bOpy0UTSl~pg0mV)B_M^;@M+TE4&v}9ME6U6Rd@V{7c^lWYh3d`l@8V)H$x(=U@KE4g!P!5?}@@uGMMO=cKzI#Bo960 z=~d3N+raQHl{_)h=1ew3PA^9V>-$@w5HU(OH&3KrHIvnopZa(^>p2R~^gj7WMjiRQvVwx_< z7WQdf$?_OI{#S}9)48HUWnLggxS&)YWj`M@q_9t#MWR%2<*DXR%prlFvXDr2ZSd*b z{nM$n>EP7-_oF9cc!3qv)BK!%C;T<-{fG})O5+zjoM{B6<}Pd)jkKJLrwurVFl0-);<4dhoN)na%=?D+IgAKQE7K3+#oC|5)D$@SZwnYX9k z(+&c;B&%G?E!g)|e%u?4`8r<_67__Wo`)a7h$oo)QKM{AKQgcSSKTx^t?J?DqN4dc zf7Kb0WNoo_wLKdxqKBSb&CVic`jBKYsF-gWPnwm_vG_sDQsKD-O+lj?$2TE-?%6oT zO7Rb$;DQ*cm~ovu4r(M4dXd)Onbp6Y^C-!5O*xlxN#VQJjji8sLIkWXv%e7+Y`y>r`&my*>X(H$W%xbDi28kPPw(mo;&W##5w|uWji1D}xCWlu zSh<`@pK55BF)X9U0-asu@jD$S=Z4eLuQ##s)5)y2RvzOW768csi3psa&5JO&>A+pL zlI+7ARjmBZk%IlOgALAXiWzT5HYmUSNW-;s9LaaI+RA+Yh)hKFI|J5{Q;*)O?Bhus zx(_abT7a2#!!OG%R}niYb%lvh=rr*}4Xt8c8?2fhqqjSMCB+}7%!+Qk2xU@k>Z&<* zB(6c$3kl|cmfhud2r7E*QgB)7Bt^Yh`}J?NaKt)0XGopid1e>$gA(}t3ZMm*tQr&o zCk8*U^8?#`vM}k|<1-YAHEF7h$r%ccDU;MU*2kv%=>^x{TYt(p@~&4X%$nk{`mK5L zFmZ(_A3NMovl=46nj;=fkPsHy-5gZ^ke38^9BsW8+w2ZgZ}Fx3wk5q}OnA#e%BT;e z@PL@m;makYyw5bvNIb#Y;O6%l}17HV@`v;x=t)^-EgEp?&{89 zag{*%V@Kc^(N~p2qSdBBpBa-biBEev(g*zU6ed$49k$M;8c8|Jj_Fg1 zr#lAdQk_jqxsJZGcL`Ex*AB_kiHrla2pLIcl7C9t6gStpWg?b%C~tfh>h!_aB?fV3 z?5nKPOo<}S@~0zU9a4&s|th?$%%Idt)+tcHhz*RPX&)LfYh+D~dYxeh9`hFv2VXmFn4# zU0NeGyJ|->gK6|LtF;k9PCVAvC+*AnVTW9L5-y9ihg?@W2#k)2K0yD=ZVan~?W)HP zS;6Auq6xdZT6OdG7GoL%e-c!`w0Gu1hUW)Xl^Q3%&VT>qyM*P1M)2kbRLbHn^Ed7B z)DXHVb0E&~B$U{E3?(YKBw-weI~br^HcMGwYUheEzcm?js`kC|%nr&~@i8J(F0^h9 z0_DZI!5Fa2O5k9@9$V70&>@0-zG85ulR8b-nJc6_qW1Dbt} zXbLSdld%X#?K(V=DCIc8s-k9@Ra+-Kv`5OC7&0ElU!~R2?gQvq`36N7gN&$b;Qg!6 z?vXC%McWM;zK*w~d=#e(g~!`#jK49EVBCc#2jX<5 zn?aU~o}M3=&?u~cCMHYhy{JAov=%wu26RJ(IH`V7L5xFCDvR>8r&wkoA@j-Sa8XE) z??5=JG;r>^94w%&&7=ig=VYDv;eMVu+$J=}d}$GqhelB_-PmRlpVXsLi=``h0k26kuPN4R*2g;0j@qqyC*zLti7eA7X0_RGXKio&(3k^eXq!YqC_ z4ODMv3oPv1mx;;GWWG2fB&vmoA|H)l1mM<3$jZ+nUmnt=OgF@FLCp4@YAQUsgVh14 zjzJ%w0EaRsAR7*bWUEsTbF_45`SaSWCEmqN$N}Y;h9pT_ssx#82@Bi+<3?SetXwZd z_v^R=UFyO?%CVJY3?$Qe{W>p?rh{2AvD z`W+N2Qb?p`nLJ8c_k$_>M*>av0j-szx0_;m@+6oetjIt!Ss1oe1_Yc^+vbdNg8uL{ zkNUClb~&EV(p2Yzy$XRkz&3`nvF9+9ok3&Aj*=di=*(&A$o!$)?$)r6Ou_1q@z>E- zWj7JUM;=L1WAjhppA0?_udoJAA|LdzHa2NXw!A?#H62!4MmnR8RetMBNN`SroW}x- zdr{|}uI0q#>g15InJ{N7-A9JWNtbxAfhUWwwBv@6%t=6_f4L*FGHGO>u_T86`d=8* zGMsYYlv{mkfXS!a!<_5PygwxY&}y}v?hQ~Xr>>)FzUM4QTlv&XT!BIP%L9sZ2^2>J z2-&t0tjKZV%4hk%0<;*xNp}cQ;d_-28MQ7oMYwZ%+SBOM8Zb~-quV4Bzu$`GV%q373JG z5qctR2FJY4ksr``)_Sva&U;j&WCq^)sA|ihDd$4)rP!p%n7&qAoxYvvGf-0(p3#=746=>wE=R_ zHJbV!ew@H7_ccUZy~i+36si=vq43?#EG{)$b~xspLAx)qVjW^jo zv4Tx3vNqmvopQg%I*|M|F@-EY!%{0YS-JVwOP}M3F3u*`u!2iJXab6@@=Z;2BT1WE z5Nw#$CP;WUg@{(ItF}igT!dk^h=ScWb)kC=oNI|3B;2GH6fTLyK=A}4igh?{WT>&wNrBztIL8qhoZ)$s%Efa zQ;>K|f6#q(aa-fVG3cIOP2Hn>J^!oXrTk#~mxJ2tV6+FzFA4(A9x$#!`=A`qV5O$f7a@8>!h&^kDp}Tk<~Pjg%0XGTg5qhW*eZ z+vGRPq?E`Ln@*lGC=DW%PRT%1_=$;N*&Cf>{}oz@cA|bSvBWCS*yx85^{;3+lY@Ag z<@RO_GL)>V^hM|%5#sR&c0K9ONuA>TM)DecKV9oROU^M{MR}6y zTkNp3xjSBD_^=7I*zO~~m9Y`94Ef`Jas89GD~xyX1YHuy1w>&zot1hUmrGbWsql^g z6B=eF3+ac_kr$&HWUh_>HKy}a<1-bRKXv*2d3}vX-97qj=Iq3V&|}`utTp;AL%9Ui z{i5b48xmnw?K3Mf(*2}j)nrlS*~@;ZhNm6eelzdbKk%2%n?Pq$hCtYX=J{F_>zu~l z4VcJ|r}Ntmms{OGNba&tj>?xQ_~Jt9l9vo6+YUpZV`V>DD^3~!21B=7=T4^chuTMF znv#$p-5@)M_>OV&0h7(p;~n)qe^hjHiP1@};%VvyepTWUVRB5tOUSPXjuDnd61-M= zv$nyFTqfOe5E;hUuX_$*#+={2rLm4qCtwJ^VKD7Rht|qa%=1Y{9Z5)<#iq?^eXj_T z0QotTQQ^}4JgoGr8=m+6lW#s+=ccAr`VZrch=eO*DtCQUWBFxK_V8%>ME7-nP`8r8 zS$63$R^#+~!8f_xnt&*Rh4DZW={8j#rG_yTOK}=gL!XL8w&@kh0GLbN`NVkMT*EL` z+Gw4XZKHj7a0*K;0cFC&PgSeq1V?iK%|S0Ty3(*(Ez_k3=(oBhE4lus*0I&l3zc5e zf`&As^PsL}bJn0!iB?WoREGE)dE}DMvKm!paxvrgDjP0=r2cCL_OnIuZ`q%RgUEdj zBY8A)JKv8k#(a?_%1GA2pyB@{{l0a`}cdA&Fb6dRlD!4IudMC4RJQ!DHd0Em(D0Vl5(i3 z=q+KOblet9sVUpiHrDImCCpMfo4Wrk{>uC|CU(c*Pk}=8$Jx9#0*J>-+s}qTX$jDP zphf%fci0e}fiH=1SCZJ`3v=7t)PhB5)zAsLh!rOitu~wOoe=@xeamogPDw_y*p6jl zTVhcX{qKm0XiF`Nw)yNVa8m1?(X6HrU1_XgZ@^5U*C}~1H4oEIx9e}FvB)fP5v><> zo$4Y|e|=bWoD=6fCk4co@Xuov?jQGY<|)(0zMkaQX?o6L-d{DzKI zauK9AR=j+FL?B~sHCDRNQF5>ua%(xPTxJi~hAA;Xo12U)n|-p`mO>{hWt~@}I18Vp zng;HC!oa>;=NL&x8|KcL%_A86KstyM?j?(V=<|F~gB|?-<>6R*&2^7)t9lcHMi<3M zVmq1h$@07z*AszdOwzO|D436R&e)}5=C`Nz>~9=Ug%)cx9i?VAP7wdy-@acQ zv^sXyJ@^(ei95Y(@l})Xjqv^b0GXjxYS_1sI}g=Jl=sGkX^&354#AztTAxKAer}={+0>K4j&q4v@*yKdh#jI*;3*&>Y8VMUC;w zGG_#K*{|@PD!?%I!cuML#EJzs6m8v9(isklEoGpCcVj zM~MoO=~z}CR(YBgpK`$rp8Vr%VoL`u>c~B9G``#f%rqQ*vXM1F*#FX^>EKJxGOEtw6)U+HJMw)z1SlFcn7W#IA7m(d+Yik*e}-lqKF`?$3U6A!zmxn zE1py3-aDq$P^n)OJ3ZAa6)7yjLZmFZK_G-bT5&DoElKN_JrX6Z#aS4Cc<#hg1zO0j zvr+?y1n&~g>94<+mdCv<5wB90O4YBj>`BE9`Yu}JdvSwX5s;84*B-QQoGOY$0+b|f z3aoGhaHQ9TWHsvuH@0^w&#Kt#uZ|mHTUr8N{*Rk&%oq%x`b(SY)z+*fU}w57_3$l! zfwhErnCl~mR^S<4fP%a!@#7}!yF{!uSmw8qYVu;La!evJil9U+B)AWW+HJ75_~xc& z4s6EX9QCc(Ow65(*-UI5?bxi@Y!gZT!V(6Zx53t)x4~@?ApK8v?czKfH4-y72PX%F z6U@%e#Lh{_&Q8aG$|hrLB&zRVOinM#!^zIU$^L&JiOg$o=TI;^7diWXUF0_8sQ>lJ z0S0li1763#K#qTL?BIW6FK_R>&IJL0|KPwJ5XgVwUZnni#4pVM06`EA@aqL3>;ORG z^g5h0Gl-M(p9~;`>z^1H4B<+Y-GGxu0CRzWi9cWNl)wPMe@pmJ1t1_7=WDi?*O6Y~ z*g3dBod3pNEJ_sEgrkOn0GzK3Waj{JvcIb1WtEqL|8F*S4hRtP%D|Tx_rEw0*S|(X zIJh`o)`R{>H(!#$kk?{3+1UZ0SHv$d;Qu2Ad1VJXC;Q6|`zM!^>pwXDi=X`k_R`(g zKn{+7oZ;l)e%|6lwKO|gSoFL#UXSjh7z-z0yL7cC5BRi0r z>p!jj??QmwK;VBC{NMhAxL-Q|isWUy0I!K5VBqT$fE@y1e_b61JCO7Bo_UFJy&eq? z4sI?e=PTluAc*}x6~4&k;Cz{(S1oyoLBOwL007{h;|KuY2E4{`0bWMzzYB)`ANx7D zxL&CLZx=XT4nXc#J${LCf&RgPA;A9{roJ1obUe^qD?L!fNJlcZ|C4*XKaGX0fulxz^F7dVsf8Q F{};e!bFlyb diff --git a/UE/ue3.tex b/UE/ue3.tex index 7fd45a1..bc80f0e 100644 --- a/UE/ue3.tex +++ b/UE/ue3.tex @@ -170,18 +170,17 @@ Mit Jacobisymbol: \end{subequations} Mit Legendresymbol \begin{subequations} -\begin{align} -\left( \frac{1215}{1381} \right)_{L} = \left( \frac{3^{5} 5}{1381} \right)_{L} = \left( \frac{3}{1381} \right)_{L}^{5} \cdot \left( \frac{5}{1381} \right)_{L} = \left( \frac{3}{1381} \right)_{L} \cdot \left( \frac{5}{1381} \right)_{L} = \\ -= \left( \frac{1381}{3} \right)_{L} \cdot \left( \frac{1381}{5} \right)_{L} = \left( \frac{1}{3} \right)_{L} \cdot \left( \frac{1}{5} \right)_{L} = 1 -\end{align} +\begin{python} +import lib +lib.legendre_tex(1215,1381) +\end{python} \end{subequations} Mit Jacobisymbol: \begin{subequations} -\begin{align} -\left( \frac{1215}{1381} \right)_{J} = \left( \frac{1381}{1215} \right)_{J} = \left( \frac{166}{1215} \right)_{J} = \left( \frac{2 \cdot 83}{1215} \right)_{J} = \left( \frac{2}{1215} \right)_{J} \cdot \left( \frac{83}{1215} \right)_{J} = \\ -\stackrel{1215 \equiv -1 \mod 8} = \left( \frac{83}{1215} \right)_{J} = \left( \frac{1215}{83} \right)_{J} = \left( \frac{53}{83} \right)_{J} = \left( \frac{83}{53} \right)_{J} = \left( \frac{30}{53} \right)_{J} = \left( \frac{2}{53} \right)_{J} \cdot \left( \frac{15}{53} \right)_{J} = \\ -= - \left( \frac{53}{15} \right)_{J} = - \left( \frac{8}{15} \right)_{J} = - \left( \left( \frac{2}{15} \right)_{J} \right)^{4} = -1 -\end{align} +\begin{python} +import lib +lib.jacobi_tex(1215,1381) +\end{python} \end{subequations} -- 2.47.3