From 1fa2bc854b12cb96f6514a8b3f6c53f0adb42e22 Mon Sep 17 00:00:00 2001 From: Peter Schaefer Date: Tue, 5 Jun 2012 19:34:07 +0200 Subject: [PATCH] python erweitert --- UE/{python => }/lib.py | 52 ++++++++++++++++++++++++++++++++++++- UE/{python => }/python.sty | 0 UE/python/09.py | 2 +- UE/python/test.pdf | Bin 11032 -> 22856 bytes UE/python/test.tex | 17 ++++++------ UE/template.sty | 2 ++ UE/ue1.pdf | Bin 87979 -> 88132 bytes UE/ue1.tex | 15 +++++------ 8 files changed, 70 insertions(+), 18 deletions(-) rename UE/{python => }/lib.py (63%) rename UE/{python => }/python.sty (100%) diff --git a/UE/python/lib.py b/UE/lib.py similarity index 63% rename from UE/python/lib.py rename to UE/lib.py index 894e6e5..a98984a 100644 --- a/UE/python/lib.py +++ b/UE/lib.py @@ -104,4 +104,54 @@ def ebinomial(seq): #Anzahl der Teiler def divisors(num): test = factorD(num) - return sum(ebinomial(map(lambda x:test[x],test.keys()))[1:])+1 \ No newline at end of file + return sum(ebinomial(map(lambda x:test[x],test.keys()))[1:])+1 + + +#Euklid +def euklid(a,b): + if a < b: + tmp = a + a = b + b = tmp + x = [1, 0] + y = [0, 1] + q = int(a / b) + while a%b: + [a ,b] = [b,a-q*b] + x = [x[1],x[0]-q*x[1]] + y = [y[1],y[0]-q*y[1]] + q = int(a/b) + return [b,x[1],y[1]] + +def euklid_tex(a,b): + if a < b: + tmp = a + a = b + b = tmp + x = [1, 0] + y = [0, 1] + q = int(a / b) + print "\\begin{array}{ccccccc}" + print " r_{i-2} & r_{i-1} & q_i & x_{i-2} & x_{i-1} & y_{i-2} & y_{i-1}\\\\\\hline" + print " ", a, "&" , b ,"&" , q,"&" ,x[0],"&",x[1] ,"&",y[0] ,"&" ,y[1],"\\\\" + while a%b: + [a ,b] = [b,a-q*b] + x = [x[1],x[0]-q*x[1]] + y = [y[1],y[0]-q*y[1]] + q = int(a/b) + if a%b: + print " ", a, "&" , b ,"&" , q,"&" ,x[0],"&",x[1] ,"&",y[0] ,"&" ,y[1],"\\\\" + else: + print " \\cline{2-2}\\cline{5-5}\\cline{7-7}" + print " \multicolumn{1}{l|}{", a, "}& \multicolumn{1}{l|}{" , b , + print "}&&\multicolumn{1}{l|}{" ,x[0],"}&\multicolumn{1}{l|}{",x[1] , + print "}&\multicolumn{1}{l|}{",y[0] ,"}&\multicolumn{1}{l|}{" ,y[1], "}\\\\" + print " \\cline{2-2}\\cline{5-5}\\cline{7-7}" + print "\\end{array}", + return [b,x[1],y[1]] + +def gcd(a,b): + return euklid(a,b)[0] + +#euklid_tex(2124,1764) + \ No newline at end of file diff --git a/UE/python/python.sty b/UE/python.sty similarity index 100% rename from UE/python/python.sty rename to UE/python.sty diff --git a/UE/python/09.py b/UE/python/09.py index 9be1ccd..f36a6de 100644 --- a/UE/python/09.py +++ b/UE/python/09.py @@ -1,4 +1,4 @@ - +import lib def f(x,m=120): return (2*x**3-3*x**2+5*x+6)%m diff --git a/UE/python/test.pdf b/UE/python/test.pdf index f85be3cdf1748fedb8c820befc2015cdffc78277..c896ca2e171c0dbf230a11122ac4091dec8e9dfb 100644 GIT binary patch literal 22856 zcmbrkbyVCz(=LcxAh^4`4({&m?(XjHuE8z1yL)hV2p%lByTg*?eeeBt_m92j?3^=2 zb$8WMRb4%OhWS0D^1`CDjC9N}q%#YH%P;@}1_C=nO9F0g7&!rXB?}N!2F{9GfQS@2_kE;ak#W1}pJ{-v40! z(E|{K5te%4FmG|5*G50=n&f|=zX3Mo=EjbsZQTXgSBmOOHiw(Iyq9S6?oa-3*!XJ({h=g@)qL~;CdCt&?+%*#vgpKyPi|JxYR&k&y-`fLLe zGXe7-!%vl+faS0D*$#SnM>``W6K4Xg&!mJ!3Fwtg+?@$@K0EbaG`4?eFj@e1b~+A% zf0BiPfq;#TjgFmw>8}I;0Ca%==zrG!Pv8H%|EK(i%FM<@$3*Z?{+nTA`HaZG{uzah z>CYM)E8sI5R(1wDRsvQQrq4{+*qQ0r2>#dsSQ+UU30N5aSp4&5Wnv-VU}XKz`hVvB z`u+zU!1~97h2<0NKlp#*eZCnPnEsUcH~i<2mGKYszl8r3`Tx}Z_xK+eGcz+C^M8Q< z=>Ud5LH=&g-*Ept{xkbG*1s9{zgzkb<$qhV{IvjZFn*Q-;P`|6pN9O!`nUS8fPeZw z`JXI4^JQfCzjsIH&uRU0M%n*Yn;DttSO{2H|NlzBU!4C)W~R@Y+1WmE0gRu``zQa5 z*_k;$qp@*teC{#(Uk~=r$e&FHuz%LZ#=!Pz&HmX~z^6CICkFH94a36D_&LY$>A}jz z^4VfW23EGuru;Kt|J?A;uCua#!v53Q0UV#Je@*}!JJTm9J1g^_Wc~(bWMuus|EvC! ztn6%`j{ma$6X!qL-`)716|pe0{yBc1pnrPv_wVO%0}ue10iT`uw|jqP|6BjxS&l#Q z-wX%fPn^Ggf3g2+f7h8={_F_zUmWKDTK%s!ar|r3|G0D+2^d)zS^j$ke||7No&G!e zyjT9KepU%!|3AH(W1PX2zxmCxic3nB&}`6b1U5Q{-PU*fKYpAb2aaEg z2kfH*U0y+7Utd9Q)z%*NujAzTJvpeu=83CefY4pxLwS&({B}K10&3d;WpAczmSfD`ftRkU*c(1*=stvJ-WcB z`d@*1T3aa|E}Z= z2*_4|mCLO1az8-ac%XVJw$^Y6x;xQp}0>l>Ox4h{x6 z$BAWNKsonJ-T4~EpWxqd4#b1%;-3OQd52Vgg9l>UnjQzfyt)3+IiEh&3(>#a93^1D z*!~S0=+(c~41}FVjPkvxaOz}#ZwL;km$1j5Kum2whj#=N%n3|m6WA9Y7fe2J5!nA6 z<9&1*H9DB1qwTuA568~|?48QVZ8Fk6oV#xn8ph3O@X3W290LiayTi?HE4SappO|~Q z+fRd)fqh^f9WJ~BFaz|}$sw$q;x(epY5R4zA*3BR`04RcSY!ZL9vx`mi#6oyBLC(Z z<}=sG$GFdM@8%NbHf(KM0q|Ye3jf8sy|<14p1eQy9PaVOOKyOl7W?Zf5ESewL~ZD5 z-xm9aa*vac&3o;|eq68zu=LaU?_v0@m%Epj$yZqe1hDnl7yQQyM9}2iLq3I+-RGq1 zO#u#$VDulUV(JJ#hzTa(w+_%zAj4s9fL}j!4lb}Cqu%UlSfTC@jvn93NN| zf1e*da!tKMZhb@qW$DNM@*_IGJw11A!Nv;jfD8CwTY!2V791zUA^gBqasb`138z{A zd39kG+(y;g`5nO~4SV?<9`TJOq+=(Rfn6DU8|LM%7x?n>=ITxD)b`-VS2ujrr4Eg^ zuL2jU$D6dM+xlR?m(HP~qJa3tNk*{4E@bsV`uc$M-aAM`_`7_quz`Mu5U-yr0=fNu z1!jdJnW~A1gaY-i@6qm|bx;68xQ!!)0Mh)hx!Np4f_j5j0s?A$f>%NSYJ6KmK>`NK zz9^3Je+}B|p+0|y->GheM~QemdqgL#08@{^*|QVkC7w1xe&Iu)t){Ne<X;MX*B4;u}mf$>x^Nk5R=H> zpvmmF6S~O+IjmA*a}v5vUhI5K%cNX9+-sw!MZi>aQncG&3vk7pXg(V`E7VBfC_l}y zz4C`{&PZ(uh|`;ZRyS))cYO}*ynI+YkI=cV-3xce%!B zEN-ZI)&n>`p(O5hi5D%R^yc-IoAfQcZm{ft@3l$Y@8Gd7od^tB*k3g2^rCK{d&WLD zaEd2VI&{}A?+Ugg$MKOr6Jt*D*L4j!I_Wxh=CCqM&qIP+KoC|>HunIAy5*&$%8Y3z zoV#cK5X_V{EHv%3-@!cpTB!Z?dd^O}$oy365&6rs8CI~#V1YatcnIkGt)W1H8V9aI zr;ri(S$XGgq6QNsXT{NHWvn+nOsk^)_;07mq#1-=#utf~KLyk03QuHCxu(zRU#!{^ z;e0()Hu0)V7X4cmWC#~OR2p;``j3ia}muC}4ni}MZ z1v}pJp;~CC)1Vf6s97BcP5;}AY)}2R$bNfcT zRh3Ham7_(v`AmF3c|^sAQKryy0uk{+r?%zb!KIo(rj~MldnyJ$TOW$AXPysR7L%uG z;O_hI$U@v(QV~sGefL%pp3K1#q%k2vrDaN`s=T+LYQl0!96xvtaI`|hrxFt*xV9Lr zFppSqob$D3rE0_RHApFq+;+Z%8=4R;p0zQ`sOIoJ)4GboAS1JImi5(#5mq-g5w!OU zk4#qzCX*Bf;@-PEAL9MxL57-(xfm0}sf&f=V++AkN2-3ZYXfxOH+Si)t!V*CNR>fi ziSYuo)<@=ZnJJq&CjV-sPq%z1Q!40q0jCmxVR`t&Z3E90&=*)+jF@PB8+U_zR<<-T z6-H8nF@$l1CO1%FDWPFe}#T*-)Y@w(B$SNB34ag5j` z$IqrzzfUP=K_i99r15*oZ*8sE2ilH2I%@vSH=+l7QLCDa+*1+geia5AAc`0jRuutQkctP{TBT}0+pIHA-3ubHK}MH>0#4)S`BvBJ~R1aQ5*5M zHd8VBcjb-&1J!N|m>YWtVMAC5vP_A(o`jD)!plKRaSV-OJU^lYp{Jr}pUsElx#n&E zn6K9^XEZ~X&%1(ywC)F(vmff^a5cB~QSH_0~MKC7&NMNtR+=s3$(oiGeRi<|%*N!75 z_KPQC8pJ6x6Y+k2E7Fpdu9fGCZ+Ud-N96@t+Lq`P7ftS zAn_fqyyeT%vFR1!d$6U9;rCNKi2XO2xG!D=j@F*rHl@(ntcYRqA(ODFDGhadfEFNs z`$UV*YUqYoQ`W{%Wvv+#sA8i`9eu0PKLI;we4HhdNV#YCbX-M1GHSen@M2_Ql%Ll9BQ8VS3cLo#Y~4rEV2b&w2=yXwudQi+~rj@ zUJg}9qK-sPveE=sVIi&w63{A)SNKI;%nx50QnQzKb!M;Uu#*>q_M05f3gwu{5U1tH zADF((m2t_VDU-shv`u8$iym62l=+6sfAzNiP85;p0E1>WurL6sPATo2(ToSud?w88 zV*=f)7?(26{W>2C)uiy-iO)#RUi77HY^wXovfyXGi{{ugg7!1_M>5{)vCo4i(EJVm zIAj*$zVn6Uq<$Ezv08b5Z3`$}(5P%VP?M#Q1_ix|OfLiqRRV?QQ60OwQK}2rG3eRm8D%RnjA6*25wj?VJ z18V36H3Dn8P$!rz@eU*S(zzBqelcaoHgc#;wY0J#qs2-aYvw)>0O0&MHTwmcMXK*b z=$8VU$$);PDV7V^yas7SvxuPtZ-N@UKbcY@F7?5g3*&Gf@T}r3zb7!^zZ43W3W!an z8okdlNVX;jei3fR6oA{%VUTdjkt+-hx#EY$x9U;uX^MTI<}h;{(nqmS^OF58TVuoh zxH6nUK;KUS!tJo_hut~dE11VyVp>4T->Qt(*$kq;lvU0sPH|8c@T-{!6kr&)apfF^ z-DPx#i!)l3xvW~Ab1Jt(8xRz=!4shNo|Bu?xN&Ov7M0KIG3d zXLEQy=X0T$%i4&Cf9{5-yvxsX{mIYJuJpa+O_Jsw6MU70{dF_L zrxN^moGKK8Qre?xx_}o!G;%w$bfLcO8%Q=(ptBv2^J&-OYn5nJC5mGVzWDB&T*eai&RTZDrx(a_;H)g;B`jL(fsjJ^ct)l zhYdyB9ELocae;31*Y*D06hxA9^#>#wP9%eTiym;sEMY#+=BWj->s^QzzPe4GRH7ly z4&cY*21lXIA~XKR4mNttp-f8c zR#{55mg))+@vu*r~9!EZFCZ9d!k zTJ~L1gT*&$H{r?Ely20iUM#lkv}X7f;dhu@UF46j&i{`lVbqtEvqmL~u^Ot>%vJbIUJ2b66b@2-sgX z!fKcd-NoyCgixbjiM#6GKH!aOE;YLGc&eZrtvRm~w1C)QSnka}B3zphOHI}#5-c{+ zD%gsiJHlEuhkmS=1oHO6f`{>PRUDXNio1p19uSXyQ7@p0FG~? zaMj1qRFzJ&3g3bbJwlo?oK2)ZLYH=_13^ZkxP$#0A6t-F5W~|Dj{EK?$8mc=7P<8fjM==?l-)YfXHJq za3+)UMnqI=_K0gkfs^5it?%^>XkWEZmZwFtjL>qt${~2ti&;^hhw_#9b&u`sNj#(( znt`7I=U=#HK^bGL^JaBcUwGGckWPdaEAIKS^cgo0 ziyc_JrdyuqVkliORqVK^WH?Jcu(wSs^9g*{^r5iM`VW&ikP}tJ6>b<~v%wj5Ohd?1 z8AdjZP6&4|0%urB+Gy76qhOoDGy%EM-e>!vFYwO+3cF<;LibvWp6|$f4=Thy_QN{F z`6Vaa!ZlONO6&CM)n6|qlpb6XScGP?YmN596E0^LlvMPtiB4%+8g{{-Dcmcvz|OEO?x*N&-(bAbPuy|tcu#Aepr4%CXW)iP!i3jc94~N z-0OU1o4RP@VLN650x-krl?`60g^W`NV`spB0IS0%JBdV2iW*g{w?N|DvLLr9vscq! zVD>f?0qj#_(VKBmz2oMJI^@FDuckg8P8|@H0hBk>&q+i3PM~PIKeQ|8Mf=0uw>W1FGSI|#EZYg#<4=w zn94x)bW};;+Vkgzk%tyih#q(0%;uE5qllqu*?-s1I95SH>Rc7OWqx(=xrRwp&Cc%* zI^*iv`W~!OU0Lew?a!FHXX=F&%F^`9 zD}|D%{=Pyj%8R=>T`?D3JyL4Kfmu>ND9UkOz{+6SgzZa~$WXG_>~ig6GG;FPea2~RciUC7MbkouNmlB6ua%XHEG>C{XNc2$3wi3}Wjnm#D{WrN zElu^T`Ye9Y^_j2xBiTZD>xv^+|Exkuyzp-b`%g0?}@ecRct%RXhdkTw@K_#P#lP|eQ%i0BGQV? zi=Buyf|}V&H8pw;t{ib-6ueZr^glWf&&3P0B>)0^5ZoTg_&Omyuo`pEofhhVU2%K# zcw1H*btGtB1z|*9H&V`mK?lglbU*A8C>YI4bLV3ySK>m|A!dpSe-meZ z!HZ!lgW#yORIW1|3kkwPbc%{v3ZoLzp(U*m+<@-qP;x2aqCzJE0ro6g3~q%HR=&LSJu%akf^dH6G9+ zTf0>bE>8Q^leDJID~LHg*7*mDq0uGvK8ezJXFPn73?C11KCCns3xU>)7pDy+U#g8| ze(jJY4{1tD8U(cZWD83M$vpdsh;EinjfS~*+U0v5tOd7H$t1c#si8+{^J(XGAeRg7 z`MSirJkJmDfbnS;Aj3i$Mb*8@I1?S|NE4diyy7ga!P~3M!^e~@X86Rc@WT)UVjMqV zR*5^~oHPi4LvoIEA{!8ku7C}ei#;NuVImt@`mV*9%Urz}-k3e^eJ|AEw?~8TU19q% zJCa{|)_^(6xI@A?V)dhkZV6LEMh4dpLpD0jSwpe9_>)mx-a@$}<1avd5pugOlcMz+D=J3%TfW5=R(7$L!G**M3dBE8^BfTTA%#SGIQ+4UPV`Z-Cra9M%9?V#5kSgQ~m8o&aKx> z&I@x!J(Uz2;u5*=8m*Fz5(q7Sq|o8-;gsRv*gKe@Q;hU*wQ_oll%I(G2q#*q!>Wtw)#933aagtm5Bk&wY@;XTJN7x_S)nHu2?t&?%-z)WezH3 z7SIBym;={GC8VStA7{rg)1X@#$~#BK-V|0IOF^!+Y|C_=rk*0So$S~|e~8QnNucyx6s2qTV+hsMgO}U!&H?9ac|9AAcDpb$RIgK+6O_q~tyO>-Zn`Y=mr+Vm z70=+7cgt;K=q}{k@;@lV~8Z1w8sgx6Jt=f-{{nBo|$TL%usEq3qOn z7+pG$VTXrxb+N0Sy$qA>K-x|=xie)Cp7rkNqg`=AoMl}{qq!#-mm851a#z+ZWeYj( z2%7t8U%gPU!TmPEx?-rWUoXNDU%3$>t-Ai*;j<9 z=j1ee{lL3()kMD&?A8p^(k_7tD^$LS4=+?Zcr!%tZ`b``bps+N1shxr?8e=zP!lxP zsq$|+kzK5F9>gKXyqfxwlkfsrTc!RL4c@IXvZT4Q#_5UKzm6lJy3K@+ZR^0aSSm@& z#x!rc+rVrb)FNoG5%;W&!(hHtGJ8YinEC9B6Xpb`1UGjIRb_R9G`QY!(X`7*Ov^X> zC$>b7jF}Okq@3u0Q6+CcB^Vod()h&t)U8RzJ>RaOspcA*7PUB^sV+RJ_RLZF& z9+kuICAf$ddV4?6yX#_O+3@GxWZo{RoO0}~&~eMgiU;Zmij!cLhbhk2#3L-xBX}-W z+?7&C1{T)x)+G)}0F-w~d?}E3y-OVZAEKTAKL`r4$oWPD-0`_e_AgE8I!rIBOkez%B6i3g>jd2Y# z$>IH+ZF0|BRYB&4XT8-@$xM#Q(FVBXT#YSW;+SO{dBk38V^yjd1=p{#rKWkRxn!%= z%kiBm(z!I6^(Cv56?*RND$C!V(sH!7BIa`H2CfnJQ?RY<9JT5As-d3AIOcg84EHCd zLd>^*MhPG?c&95~WE7GT*>?2lgRHiUOoCiUOL+SEBD+?| zl+(F~7_T3CSMltI?1Fc$8r`z6j}tAgW(9G)mI}REtIy<3oLle9TEMv#PdWG-9=VY` z4`~)KXYROP=nAVUnhNCM1}3;4A4B+pSFCiamBcA+%?bA3|`~iELo0qpUn39p8wz= znix`)b*|x_Tx8@+W360yx16zPccfZH$8^Px+|(o@x)U@M#vrB+UJwT#Lx_qy$IP2d z73q?Cs+lDn7?ZNn(G*iv_YoH>^Bf z2##=?Z-nX{Y`tqthQZYle&+o4SZll+>n>l`{Yq-s){?tQ$h`O&3jn?p2s+J>Ns(U&IJgj zkpku*u=@m(Zb%@&heAv_Boa{u=!+kiHR$ViwRN-$q1@5GJP&s8<;r}F#od< z{7d1YWdRV-GO>K}H5dV(3>6lJPX?EOlhI!W7sscikb%9piG`W@C!vd-6^8y#m_KW@ zjDHp-oDHlkj09}WtWExKI+UDEY*asqFB~xR>i=>2W3$VRKQ?3(y64ykLhy%8qWC|!UX1^fI`)s#_n9s$!)H4GMofPQ zL>!;>{Tu#IehDKZBQw)qg2`uq{}1k8ObfVt<^~#FwAEF<2#82jM+X-Qbv3XcVE}@5 zq)Fa8`{2>E{+v@~ zLVf?lC?5YL>>s1#1EcfK80Q2LF=AoegY*A1`RU*nyD1O-y|_5I5^CeRKqo%4&@c=*2EBE{@+7DI z#SqR35C#G)=g%{O1m)^`Z4aykoabNC53CtU1>_<|@F-`L%m=3qyz8v_wN=^eQ%5NwqQzwX(54wamx3m(v@xZD=!mnTX8744y-F%q{C}yt9 z&hSqCWbbJ)b|CJbrD`Dpsw(}^4fb|MszD(*+JI0^-kCfC8Qur2{TYDhAt51q2-tuQ z!GPMeR_i~$)|_oay$X#!Vf&W<7#>I5fvWYT0yzY&hv0qFcjw6L00Cww{W3Fr!iV}n zYhdpPQpumf;150n0XFo=_KXbM_^#xO#f$R$E5mR19XxXX-G_r*@?COI4S^r`cpn)b zjC!u1v^)}+aQl4J?_%Vn;0}=Pb=USl>TT{EKv_K!Lm#(WH=73U7C$xzKLRY%g5D+1 z`G}|js|bO5`K;V6e{H(7zKeVr>QN1azT6})7079Y1!H)Z@*)1J`*pm8e(K`@{IP%U zBkrN6;B~X~qX&AlZF%h@&-7L3<3k~n%m0+;oyk4F{>!Natumq9IPklk63K zIEY}tl-$c3{8%rXe#?`Zw;?&#BYuJy!jE@no_A_K3*6jul3Jb_tb6*gC-i4>r}u!T zoGtQh{>pdaS7eA6_$x}%R6pFD>pL((LO-C7MSv9gp_2PDex79viGmZH>&fnyeU8;7=D(YF!hbi7)SuK3sG&47+Z!tqBb z!+_&oRy}zTERBr14M#s;rkL;V9#xTt)-e>O&3|?OPPK(`c2u>Au(|Lex6}D(35UDf z{B~HMtqoSo!i%Wg<}%vhcSNUw1Czcow_g2QX{eJrT|Z_ng87<0D}TIhB#kUjAfQh1 zdsiQy!*Keu3u8ns%d>b9%6Rm)6T)Ejg-Pw$-L~hdQ=4?=cw5Z3lm-7_kSp}}8TPK! z1>1b2t4cM6cg5)}uOM+=6*M%dIV5VjH99p-(nA-p*6M~a7xV69C%_9aLHM=^e6Oju zio=GJ5=9KBfk~1D7;t6e3vIk%%c7=b+mm3+#wuNew}Ac5II%vA)TZlZP4~u0^N>ZG z-}kUPCX%wN@*Z3Lf(@}6`A)5@^`V%XwR5uOn3njelJbFWvCn|>}*c4~OBdGG!h=I3n^i?Wj- zC-*39UavPjB8=v+s6V@K>J|f-!>EB;m4HYs%c+h>EE`Ailq&E1^f-|9vbga;+2d+4 zrGD;@0pUKa26tMCbsl%gFm!ifDPw~tQV(;pdV47Z3F-i&uXJ6amy{}!hI$}qUn1YL zHBfxR|JnEyNFP51HP!2HtZsGeg%pi)r9 z9oD@9-Y9Wdl0Dgae@ybC{nG6kae{SZ!}g zZ(0?xi_>+fSbd+pUyH6|Yt7b}0;7#W@^7V8jx<@Mato{}Ru`k}LP!jT4$G1KfhHY~ z<%+h+P`iYsM`m(n)J(M$$)0AX7p4Sh_`aW-;E~x7kmjxg3P^0%jfCS?Paw>V7ELjh zWh(cUlnO{$`E|G{sZL|bby_Zq*7JemoX52ulL`^5;AIpY))A74F7MAWi(i7XLQ!(%RP<4ZB(xU0H4}K8@?aA+$&k$`TZU=&O>P`#nT&{LBMqskZ+{q%) zkl_EK^b%5Llz}!SOS-*O#Tzlws^w-?al?Olm29Yx)})&>NLMyTI?j6GIK{MgEK!Em zYvZBNE4EhODJ`Fh9d*NAr^hDZ{KmuT87n&0B_uH1Lf=MLbR>^d0Yo%;Bq?$tk??YQ z$TUbmYjH;#D6Zic`__Yw*E2+3PCjO5kr;I>LSr#IqQ7RNAb|DY)FVjsNvOv0D8LRC zTlacb0(2lrY3*L6TIt`jK-l|}PF)!U&>%cdvA!4c{t7u{CZm{(UilRTdxli%!GUZ< zWgs&#EK^*YZ*b0eE>RAUHvfEt`REZRKuNw=kvRE_;&seiWncG;SPz0h&0Zp*^M|91 zZN83<&URbY{&uZ|HO(uG3+vs43W8LFKmQS|$(Debc&$uIX~JPSSj_ryO#OPYYwVzn zqjg2~2c(y%S7zjWGz>f(~Ff8o{a3yv{1LdVy_GN#_Mxmo;QD1 z!{}PS+>|Q*+>hm)x-;|Ay*4fnLBMaS^qj&W{7YHM?`hjlxso6{i^iJ7%6m`X7N{!x z@V8fqPOS7lf82ZHUFJz1&N?19nGua0YQ13fdmQ7FkV-&k3+-(B@=KLE$>Th7d(-^jf-8`HFd zt&+ZA`Gt1^lBXwg`lAl-F|!2@^{6+3k&GpyXU#RxhyuFS|sX- z)Kn1=dn3C=!4jfxeEnu}FbBdOqAn>h0pMpDRMU;c|C$O`?g{C+y;m7xBk83qMLEL1pNSCb! zXJnYJJ$+9)JhoRuFS!YuRZ6-pqd?1+y{#Nj7lEkZby}>uK$^e+gRUtx$H$@ZQ*cu} z(u53^LxVSH(F}Yp-H|RT4G;_DY|*ofQee7DX(yFQkQ>3q!^WOc7OERDwS2}N*>nzu z;Qf+~yQ7a|GWG>GkY{GK$ppUfxYn$B_{G+z2u32v8se9utyjWpV?~Zy8!R!x#JqM@ z*kAlghG1e2zNn(99ZzX#zf9E!1~x@DJyUJCK&ISPMcPZI8Jf(0U8!{3eA|Y*-B^%> z;aWy{MO2U=4TD0CVN?Jq@Fe%Lr$H^~RE_DA(x`Sdxf=LwlQH=4^%7n$UkH#qrft+H za>JdC^B8Jd)4|}qbZ3;DTr_kh$9=`ekz}!n$d5~cAD6|)dvVCY2Z~)u&@E|!MB9yH z|Ly`J;blv>je5cu6d_7WD}%Z%VjVG5{4lk3(#yEV3dxA!wAjbEJfuOq5}D$%ewgoQ zOckRmGH`{BV=gR60hiM z1D}wwLLDVmA~|7SwBP!x>PxB=lzVfhqmwdChoLP7n!Zob_S9|(LYBq@fwWzy7 zj^jQ@H7_vS=VRqxPd6QB6)fPy8J|D;e50NkNcbisrQ1Z^izLQK=UYTp_Hv_X<~mSt zS;HF57qtP+qETyL7>arV(tmY5wQ=_@s9a+K9`lqlAGX2nuFMc%DbcU<@^H#YcNC5oG&>I6gfo@*+Iq+ z&p-8*Yo=Cn@q$%9(Q>4cN_}e}oW#L+{z90nxHpP*de_ni5aF30QZPZm7l(^RDHY<& zw+-s*W22W}9$htzAhq1|QGA4fEvWi@v_YbzHL?_avib_Rr!Y{aRSY#FgX;-qH4v9n zaYf?G=}7g3{$}z!9v=bEf<$}4S@2PQJ@ZmEGjE#&S&dzZWatRo-FAKu-?WBk67!?@ z%MUK;l;CX?uC+bpgbVs^Ove3D%BsP2(VU9jl_M$WQ?Z#HtfAj@Dw4`N7*NmV)9#!a zQcSuW}D17Yp!nax-Q@V>ZQodE?kJ2cbwCjv}uZ%r|j;%2(lsyrO?4tW>Qe>t2ryeB5 zxHm5gg=P>^HIqJ9Y5{j^&OpLD>H3$4c6(plrZE%|D5A76DqgYI@!}{5*MimPtzVC^ z6JrjkcvfPVikj)`^h5{h9FniYnF&%D_`fI;4Y6v4E%z-;o0v=;t`$atzt9;x4~(S} zaeXPvo%Uyx{<)j!m}6n;(&e&~%Zfs~P11;Rh%ADakhvQh?_aIY4h-@E+Xm!V0Jl+& zbbju1<0xSXAGZ&eH!rb&ke;&8c1}JL0gP5q4iC6kTCVbGRYRJ;hy3EnX8t=0`D)A! zqf#Y%SfQl!*WuCn%ev0O&&3nBMbUKqXPL>l6}SgQ>P9@VQflt}J9xkEOkM9-gq_%$ zJdXEtt~zDESRgxAH{Fj&A>|bE(MEYh=C`*F?v)}Q9TQ=1m2c{? z_M_Jn-*XBRZ_%b z=Bdo0X31|4jkL_Yp@-_%>7_R1d1SatBG+LeNF!qfK^@Aj9S@fKNAo+&n(u0jml{Nm zE+ngWs6kcC*Yx5%53e{bDx`P!e7Wgcze#aF$_v-!3YI5L%8NcLs@zad6|QLw`zTPO zxU4>J^%yKozFze`54}N+uU`RO$%r=&!Un&Z>FN+0i;7w)k3-o~*j2k&GXd%5@oL=& z`?MmXPA407f~(5GoVZeG4q8$Wm4~|l+GDSrDQsNRnnQ8$WS4h&tzIZhJ#@kO1!$EN z3VH{`bf7z=2JX}M8d8SpIe;p*jMU$EY^&9AFj%sv?cDhmXYo)}!wC@EE*8}2nLT+M z&J9O#ALV%Ft+88pSAAt{3`?LA35-{DD_>L9ifV=HChLC=ucg$-u>Mps&E_|2Bp#}g z;EQbA>z?5M{12`({m}>aD{=e=SPa9gs>54aQ_wSPx3omtIu6k+Fc61m2A< zcAAd2+hV#;&hZHDqrM%QOuXG{id-dBpWcRRYkW2Wx&MtmXV2X>Xi9k^DE!Lj6oU8S zR%(4e)b7c-$7y(l_vcGwbVfb+SC{wr31Hulvk)B%dRzHZ54=*9 ztZw=Tv@7)$X;^(#CE+E5l*c3UC#@c*2={^$eWkdF*^L)9hhV@%2B?*YCECy4iKxk{ z%^)U1=0k;>5YEHNoZSOfKI_m)Hok$@g%Ojul5l6F&bBM{YI;g+p;nK@=ovGos}bV& z(D7E{&=PS%mq(@5Q;l+om$W1p1jX!}N+@Ti0s~ayjs~#0UF7B(o?_}mW{A?RM+6_O6D|l#`0J{OVGlqvjc6eF# ztyE})LhsZw$+*`sT3yO6ya^w8p!{io0ht+;yI+m@ac1eHo6j+;0{jBCfjz5o^-@{@di@jJZAc~8YuJ8=FkHa(DO;tlcr0Bv<46I<=8g{< zP#ry$AN+$pvPCQ;%7$hEZmr^K@Jf*)Cg|8B3Vz&@CH}|04;KV3Z13y-b2LMZzFCX9 zR;OmU4lyHNECyNDM=_I-hfEX-=nV;gP{XiQ$}F0xb10?ZK5z;wk(baozojK{k^NHe z8W3LeobR4cAXOY%FzzU43)qmgYk z_;k*^Z>mh2v(-S}Q|Fc*7PSbdbUmX12s^MF=hG3Jtu!h*E7*2Wu&k0`g{mw44K`IO zRKK-CwkPAwd}cPGdL2Ml&H1XH-YKKk* z2!krutX&?9M6Q`I`@YELt4PQ>LeizLXeLy4?zasYTeETPn?{CnjENU>%t4m0sohbZ z-kRvLOVM40gLqG`k5P~2Q# z+P!Mk-*+kHBL1r@hf@zaQ)OC{BOUB+%6hK45LyHLDwfG~Fwr@i0oU5XoUAnh*F!6+ zO}A#aFa9)YVXgKs^{Z#pDFl|@ud2g3_3-_Kjpu+l^TsA?>a#er@ZY}>+0uzFNJ`l5 z2zb86XF-7b>DuBB)e!UTFZEMXS}|mrW6_4(ebg$&#iv3_k>CfqJ6A8y7NFvzYOm01 zI%KW5q?nI!O2`z{gmQemv~7&+vGxnwUT8aC6uB5I`kq-7ZH(-OyhsyOh)a{ zGgcsq=6}NX8jd2uLeR57fgMUUkT><9Frm@vOTiM{8bxtU?%ltnFVyZ8lW)oq>K$4t zYyl~CTX)58cYQgFs6UEsVLWp~1#BG^M*%oOdGH-@{g&e*P$%)&=r4o(cx%_j`bue#918XQlS$*Rvva zryAk|EYmdnWi!#^lRREe;+y&*rxoX`<5-Ozm%(_MZhI&1-LeWe#wR@p&|SZ1qx2W}`!Y zOZNs#*dIV_3#aN`tg!pCRh8q_i-U69EAm0XmknNyLj-2(_;{SQIClwYiCurD2KN4a0OQCZ1?y5)D7`)J>bZ z+kYHN>Yw;Wq=j(Kg<*vO5B5*|AYy91T0RO|(kVE3!Qsw=#VRWU02-_^tu;?_lp11H zaoe;F&5e`Ky&}icif-)Kfv{5k%?)vt6b(eIm;0K3T8Nr zDHvFbm9QFYq`90x&#cSh;Y+&bSi)P7B(SNpH=f3mRw81r`q}#v7kg-vsLK;d1NS`o zE~!>m=YH@@7}?O65h#cDgIqjw`ZaqrT~na@;6Z!%Q#OusQDvLlaW>zohh^G^N;Y#N zhM&ms_F0xNMzOb#g*lKZs2VmwTUM2bJ0*1=qMNwgIV{t|fcty`HB#p9*I@xmL~bpT zz2qUK-ZdJx9WOsx#W}KDCZh~>uB|Z6#F#~?d}NxS5IA99tX17^@hDUhRF0bqxG;n$ zp4Zw5AtrTff4Y(%rSry<(WkLkYs;*LX>(jgsjedQ;d8Xv@gFdPOCR7biNnC95x$LXr&P4}ywmvGYpzdMS zttBfDsxqX8iKV<;c_X?MsDF)BF*~`t&_a`~1`BtHq&E|DX%i71D)j%hk#*{&xY*w4 zlKnv2bQndOlwCYX8ryR! zRzU}u7b>g1Z$Mp33E*$WSPyH2P9KJ+$_B<}P_}*Ov{R`vVLjn(^S@yJ$#W$)QyH1| zt)t-Wyy@AS{yfVGnrix`Z#gWt)Y;$%FyP~cMqi;0lu*zsmIMc;giP3o`x$>LA5A9k zPAm6mDJgJak>WzYbmNPGueZiB$FiUkHG805DpE6e$=Lb)R94@E4P%-u4{CJ#wwq%b zi48}udW=|h%xd>G87GUtecJkm+DI8Y3qLk~!x<_yufQXzH3=nti&sLF20$EGLk{hg z%QCQ$Y-1+J-{5>Egv7W{G)wv1;6mk5vjVkiXZZch5Kco9us7f1Ev8MAn)g|KN-?tD z>jkbhSRfbni^Bdw*xiqt@(YEmy23V6<~{ToI?_f}Kt@&JG7_={H(}B&U0EJo5_`T0DDyU*cn%%8DaN-`v4ZMM zqXVv!&A(Nmud_)8o9MZow-S3M^62WD$RNqOYe=lqX-3WQ|uNLtUSje~XL@ z42p=Q`52c6H=s1z*fe3p@GHF4gEt?g4usyMBJ7eA@HI*#!q3G!zgX33i&%tNuR4o-9 zBQ5gak4NCrEiNuKEWBe>$qvV(*3^ahCtFId$g*l!#e5P5`dveH5SR0KN-DFZ1afyK zw5C35Ay0g#1h|s!9hnO$F=h9T)7sIO&HsTMrRGh~wOuRWiyk)fmLVb1k5dW{Mt9KB zB|l!b(7q%3ZlHWIU8N$DtiRKf3rd`99#U`FOT4*(5ljOrt8G@D%%XXy6wZxKjbs5p zjMnmlKwz0dnIZ{SOhiP%z4Pnq`nly}1@=&3ml{l>ulPBS!?KmV;3P2IV-5jhvPV!NVdSEzm)yR%CA>gG$94q6Rjb(TYwk?Bo2O7fc_K@6x z8wK}}LT(>jkrJULw%n)IVD|A7BmLZE_$BG8_oUbO-T4!fs>M&7&*hH|9Iur<9;nxi zT@XgnsIE25B|h?TzizEE{Oue$wt z5`|d%P4{ek%t%$|5``{A$ZJ6?nRe2wZ*0_n6a#{k@=}vB^=6@Nxkk;>fzE7q zJC2*f9Mh78!-FTF6@;yC4;BlVe>U22ruTJ)nF3J{Wv1(;NLs+)GP-A3%`6l4MS6OpUs*X^HjbD#T~j z<4>{&fGF`;qx8_r-jCR?SDw6SU7UlyBWr3V#!9{GPT(DN;Xim)(Y*$YkTS%5aGfmbBO||@F8#{ zKiM;wO*&g$y6%#~13U~GN@QonOT+m>$35U6Q9?SrA<6vSV0*DeGxLfbn2V-=sx51` zRmZ5l`Fnf{9PlEY&m!M$&RCi+qaXI#WA|oE>QNd%^kQ$YB%AOB;V%Bf%kjz=_o(de z9~F_-FO$!x*rR&eWSfJpbA4yL#4?u8o|=u=i=(AFHNeE=xB7pX~UXd($OTW_NRGl6fu8q-}{jux}I2chOuP*qM|q&9D_W zr7S%s;;tjKlN_|H7bCYkx+p`vy1uj?`qh%l zez||Y%Q$m_WdYLaO);rVgMCxhGkx~}y4J zv+Et^RU4Y^e5vL;o_cj6%YO5n2nS^;7_+|>lS8o}r`=e}^rX+qBZ@B$XP|&9e^p3& z+#7h~!4ZmYes{(H(tV7D!MX6$_VTr)wBGTadvXgc`mecx2-fKixJtbxao0V4oo8{^ zk&;@pB|@(iOI7Q+4kSrC1|^^MW<&L0&s*dn(=Vc#wNbjvVYIU??X@2bG`5xjIkc7t3^%JTzDe%k3H_n6HowKXXe*YjNZ z)goq=GjXqPVH}UX)jBVw^}aB1AWO5<`gR(4pn6@!_yo)d4<)-KZtXLI{WvFl`%;Eb zXKMA_kmL=dQ&fvAbCmq0_h`#NrHM&C=m}Ew^=-DY91vM z(-$x@eAoyu!_FA(w|$(Lx1`gQh;`xEa=e=->mkz;A*f-!CZh&2>WCjUs>~E6p^)~{ zQoJ9&KZYVYlZOhb)i9Cg3>rCnmQ)yKC#Pc>pn>6KzZSiYR4LEkja?`-6)XQxV(6^r zqofvYrQU8L(vy|X$23`SZtD2U=KWkzJ8Lvji?NbDxMm_ek>Sdo0mWNyEdd4&{`PT*>@`gYEdPX!| z$?(0vWaaJckes`6najK%^cp!riJRKxsh%2WN?MX-%@sND-uP+cAL68 zkYuM&o@+Vjtt>f2;)r@asfr{a>A@6JY+~bX<5r4m*Vtq1s}Bf^Lu4^uwYQR~=-Qsw zrKRaN{fIN8D|$slg#}i`zIQ4cs@W)%0?%d^qVx3E^TUZv7;n{I5JYoDkh2JV+ErL$lrLT|x2rWvbzTl<1`j__lb?rM}70%<`+ zQw16DjHYpK%p7j%`AAi&G|5Qva6WP)pieCb-pK>bfooPqjq*SF)RkzTloJ|@#yR2e(6gHu#tkjzPEcgJpdCE_^$SbjtN-MoJ^zM?{y{+hj6@Th znSW)#@dUP)o#zjgCjkt{XHh}o&_86Ge<8ttLB{d?^bh75k4R&2o&;PQAVHw3k^epb zgYoh{Gbfa%BMv}NGX5NeAnpABMft5sza=5G8*d%`DG9+A_@5+@|0W?gKz~j`FpmD3 zgdjA<5sao@cw`+v9a>H(902j-4nNC8!9Po5|Ao}6BJpTD<_5uLioe8PWu`wj052;= zdD-KwvI6cX2V=B3!A1+Z0tVrkc2&Gq7LViu1n}iQ51lY>P`rE=AOMwvfWQ!t6i5;* z3js?=345jzr z9E}8c|NCsoE1)a*2m7yx)fbC)pu)dSl2mwy=f5|+`czU}65s&%vnGMpy#DwP;P#)I zIAPWa+fOwR7{8i+sX@Tf68P@{eyhpI;8)?VH3$fT@Bc3~5J(b)@AYprS()Fj2f|Ot zU&hJGO8tHhymXcDp8Rq>eBY#hKNkW4$^8Co5C~ZOre|mWoUTD#~>H zA1N;1a`IL4=CbUDG2|Gp2VB0~DK#^=B1>}#@d_ZFGbPCOuO;!Q@XnQ(4V zrP3R346m4+A>tf-_?}D$ashEAXMkwnc)^^>;~+*9ZZHJwWM+%1-@pc|1d=vHwQ&6O zFU|9BA1o+{%BEo9XytAV1w%QxIsT*A!Msoi=YJFj81kPG%m?A+Or)g;Vw(|Ei1i3q zV(b_ONrNR^mil9re1-)&JhLI=G@L( zqbCJx22C!V0cO(ipjiwodNd>^0TEGg*_;s4p2^9<(aFh3Dfvp2;NT#ja>lwTXp$9- zg!~5Z%J9NXVpFA?m_VuufsuV9DomY&^IIhGkQV4q_ue zjOkvoAzAjUcY>VjT%Va%*Jrxl2Z4d$31()J6VeHAE;xd#2NfO>R^uC@Vr-VB^1?DKsUL4cj4sCia!aKE<>wCLw+WvTt4TVGE58B zk>g!lhNDm+Xk5RM4bBe2pK`eS^ki4>iG}19akn0fhiqnZL;R(T4e02Fmdvf1A-#Co95j+?y9JorlvEIgLS%nVwg>kD@;XmVS;@!-6Th zf}M*Fl7u&pdC+UqsGO*LLgmYw-fq6-)Gh6mqN_Yf`drm)E; z^Z_1J!T%#LK!h76Z9nKG{`B)E^GPl_Zu-9N3lx-hci3H<60F0k^J*lhl*eHo>v!h$5e`I!_P6l4%o*zRR`}BkDXZfg2 zareZn-lzO>489IN+3MZN{WWSae>0#I!6AU8+pFqAw5mD$U22M?y8FU@?})U(G)5Q7 zZI+-zP4e+_dc_0p!r3Z2S(8w)e7|XffNguK6Yli6Je{stV<9@6h~nH{hSe078iknd zPZcBcJZ}>vV*@2q;Dc{rg0hMDwNT6^-OTCAxk;7S~j}qUMWe@=%NJvm@ zpQS60Q5mvtXwbMKa6Ut=^YIcC!sn2&i+3z+Wl19=ggQH|dCJ{!k!mi$gMcNjJR9AR zqhUB3Xt$+M9IU-$h7$@`y;l#HbP6=#7~6FII;*Q!q%z#es`7_bFh5u#f#>w}UZ3Zy ze)sOS-XOG?%NUdMoukM7ksp9_h)vPtx$n(lVUE?>F_0&l7N&zr8f3Qs8r|$NGjf;z z>>F>5&v-!U&KMv+{$2OyWX&7?cQntheGIbWmaFISa6_#*`Nq{xYXnCbb#MSs%zc;>&ZKnY z%c#j|jS7NW! z!$Y@whP?&%oj9|D;`4b|1(Kh&m#Sa!OCIw+gVfpOs-gstAFdSKS_l(knq zs}Y^kI!_oUI@#LVXkXp8y5D_5G0t8UL(zW5J7f%9#KnsT7T&vXZnGD~J;hBQM7VD! z{%$5QUMn%SQt!;nBl_EX#$0DlQ~#?eyo>D)H>;Kw;!17>WyP$pe$f;Kzq9cj~@f?|lf;aZ2xrBlUB8C=tF`_M9`rKN?H zOwwf0q8y^J+>~y+y6iReaBH6J$LV_wVFdm%l(@6ll7b@TuaExNDg;y9)m6c${weUM#!fcR4Gj4z@QIgT2E2RxppU63<`_p< z??!R3*u*?eNgLLa^|wUI*a|^A?%cqOP!9(Zk^kqBrb zVhtTW*Y&_JeUAZ*3u98?qlQG^fq8J9>=7a-5dvlW~#wht57KC*2-} z8jaaii^Td?vIy5P8<**G%TO;pdp`<6fni3Ep{4R3Bzs^vxOxti5x$a zAz+9y)~lgu5f`)I0bR!wF9>)Xa0uHB*J|}8-d%3fJ$Jyf?-{!zxrlPa=eYHb$bXDK zb$`*23l}+Qmn3$#>>EWv8#_&(uvsElqv`^>xF&c-&nD&dR-cGxk_bd1kAkH?~deMuvv}hu+h9wrwzA*tSX#Vn|pz@XPA# z0~YN@ry73@kxtD}Xm@Qj3nXuW9|wAa1J^Dds!3x-I#)T9`NC9Nrwq73qL3)? zP-Q&4(MLG6n-IKize6!@f-~=ZXL1}BcOrQ`a`hE&bm(O^<5vbne{480ha(q8aD}Oe zDB*fZvZv~H=_aLUVf6RaDL;a-MTMX8wO=rBcdmjv#b0&R21(c`i*%}z)vW&hEPS3d z;jtL0Rh47!@Z)ri%9n1V{{9)TOF~D!kEOH!A!wW3DEE?)4|_BjbR<(CSM~M7X1=~o z(%TU=Z=PfAtDcipOYt!#sC+I;vhp4 zZl^WvTQkO4@(_5FF5_I+8x1_sA%!=bXWT8?a0h&6&zI-Gc(1DYgg&ldEM-D zQgpI!s>+21!Q0KmdbSL5{+iGDmMcnpe*AI;sNDZ-o&PfIj>D_+mXYLP;{4H%bSI_gE~WeD}MdHYGH!}cBsr=YMPs(2Avx9oJt z&%#$`vC(MzDb`f&>julTm{-Et6>A$DU3nvy>J)dbA~F=pMv}JXUYSj@J^fjAKg^h~ z^`LIu;;4|VHAozHgz;W74Vp12M^8%EBH)R#h~}SenW?`2p>)WfrtwZCbn3a>BwTKH z8!5XNJEvx0c2NpovL{y*k}sOCP^CglLZ4UTm;Gj(&Kkmbsce25n+i%#qeYM_=?yg{ zYRqgJoj~nyNu^gfI&26>oRrMCd+{L<;uX2c4(zI)zy8J+Ramok)2HbK6vWE)+sf{e z=ZZ+>DKNmdOqq;I%`N;w>p!ZDj58Z$sgkfkYtB<^_=65a5q@qz>{{FZ6C+-4tnuD| zp(xLY{rI_X$wRL8_(Y^LZ4wb0^sQ%%X>YTr2=XneaQZp1hKPRX(z+v(k{0gCqv2EPP)-SA06)x?7-N3(ihLp6tu-^Mnf53B+p zc>mQE=&wJLH=Q)-V_!Bcb`RWXa|-jfdEif^6d;pmd9>Z*Z7okNRdB22#$T(Xo;n1h zSA!Y26>JAO84>$MzPxPVx@0*@iUmKptoc9*){4;pJ1xCL@Pv+nx-m;+sux zk>7+ia6~^o!n98L>TGo0hX~+43}$X>M8CsGrp=MISmpn4Dq7xDaX z$8NdJ#f!=JDU@jmI&aQN=O0v!T0Pnt`gF8qx#5IF)pbF`#SaA{?Ou^R0g@VgfZ73sXEANMB3*>+Q zh`b5lyYF;?g_i7SZi__Y4fJa(ufeo;yECh6&~g@{(4B{Lm-Eqn!A{?OQie8%`;T-1 z6bvR|bLBonxL20IM&KWetj;3#cv!ZoNjS)C_;)*-fO%#$?j}FO zZkvjvWiF|)JALIlqlH>CY6F%Y_+6C>qtQ*wuf(G^I(#WMojF_Om>*FapYSEsQe(q+ zyfVbM(E44as6j+BB-$`X*X5SXS?T?Vwx&_s#XigeVgW>x@wt|QFf^J%8A%y{3&>UY z%Lg^8FG(n{LLZ*XR8(^V2U43*5X~BotKd!lp44oFfn;@;FP^paS-mH{#mL6Wt=p?| z`l7cRQd2*hd)nYdZ#aV5e#zPPb`Hi=aF_@d%?~s;YM0nZ7>CHbre!04Ls!2TTT>~ zTdEyaWvo}GhokzAOUq+i2!GpeCpGo_o_m*g^~&fsJQ0g}(F`*<-HdexkY9{|zxsw2 zW{oAB(DY1Fam0(K$VfLXH34}tAm|CsV%>AXCcGs*$%oS~9dO1E-+4E85$QAH?nqL& z@6i5fbQdnnjj9sjP?8R}FMMCCt$y}vb>C2-+!KS$hi;!rRg(@$z%66wf!SkMa1d`|bfK?2I3Efy{TZ9Mbk(SruOOrT zF|5%=Ph@p(+4LuLsIxf+Wg&dPT+jwCg^P!{+ZhF0>wv5(y7A98FiK~%-JswSYLFPz zy!S~meH*TND46_&XkHhSosDee0PgWb_xqtVXEQ&Iei%Vd?j7!z4%zz$w!f^FG`3^D zC*2FgKzWMGE;MoEV^@vw#=UnqibZs;6krffxF#s3zaOAIp^6a+X-&qx_4sJ^r-`v? zuc3gVo#iZu3r9!`XoKePxXR(z&J2i zI^(y?;uX#w`0W;OlcR98l_bJyIg>=9+ld^2kU)(%=;P9(Ml=;O_G8IjOOJQjzJYJZ z3i2{?gCc1jpP)>UNDp7BuU;^qkZ!rW>H|KEmaFTf&6dUmBGrwZgXn@uB#zW8PnpOD zm5W_Z@o&0>xpz)EQH+wZc=gP4F3(tepb8F{c{dNz@po;*sJ`{QT{-h1F9d<7)c$oP zH4BB#1H#C8m<$(|=~TDJ>^`vs>j@;^cfFNXGBR^^Oo5Z(2+lH+SU(H?2M-;_()_uc zA8?n`G1)tSWbOj%fx-;)7ntP*&pKNt(Z4ld*Ws4obvU;>oqaS)*GCNM6`ETift?%q z^Yl~`>=&Hc>#`KF6Z*}e&K3~{5?x%ngGaQpjd(nTP*91-U}H{6`GYjmI--G`Waes^ zo=+_L`Ff|)K$gD>@d~{bcMGb8p6yE;QPQ?(C{Y7&A&b^DZ@0Db7=9D6Q}@A58R`LJ@ddKYo>6raa{)gLE*?|w9FC(pg4 zT5GBRNnD`r2hLmP;V%srs@g{v>PM9UzsZSHPPYv;YIoB)y^WjMjuN#C6V9l}mRU^` zW)xW?PRF`U7?)%3fBy;&?u=k@Pprspk+>eJmI~2P$2=yz!7&Xr`}6+pptMLRQQ<4} zajd_xh8VDcm3JT<)U_-T@+0V&Vvi3!9S$oxMzgE<~ce39TD*jl}Qto zGj2TPJ`l@!R8ZB3W;$|K9h}o~tIn4TO0#q=Q=Hh8k=7s;2K&l_%dAtMUN< ziF>nGFtxOZnceDizDJ1?v#5gho0jRN}BjTC6(gxH%bytek;?bT2*f)SKy4sUKd zP>vG4GIgGRXYy02bU>_nW3=_v8*WZIAWXZc9w09Ld-_zzv=;w)e9^3-h9eqxamZnw znq|r4eais9aV5&IbyW~=uQ(a1%bmZ8RQ$BIV@e-!df&!I8SMA(YE!r0OV(!TtP_w?Qbm<>Jsri8v{6X<06*8R ziZ6uT0-HxjR{}4_rMnhfPrB~aZ^AUzuD$7p4fLXoI!obdmS=UfF8a|z3kWLg218=h zF0q}UA!kid^^U8AOiEQQl;IcIB@YWM4&~9AjOmw@_6a$U)6w;Mh9nT3%#ZJ9a5pTx zx0}mG{eKPhZ+gl*dBHqd8Lv_2ezx7p-WmyCbt7|9~T zc31f`@aX+aRHu%_ht(Rjx3?Rn*Ve5nLVpo5*P_~b99$(+!n3eO>Oc%r6zf)40D6K6%(|?EE%N zzdmSZ%(iyOPgTm)(Z|H~@F|Lpt0@H!q_9v<6T}YU!#oX*IV1ap@jYW@6!$1T`%tR{ zg<3mGmdcn*bJ>0quhIw;27VBC`#z-Qd-}QR9DQ{QFwjbE3CT}-E?sM$gprT^OCRUq zOT?wWXAmDN$W)KPOc#Ag#@dkVn2J9|Hj02g*goZCXTZvuBw#1&%cjzDRla4H4(F1_ zKDAC&BZYW175vPJijYN(fQli-ZtGe2P=WtFN}YBQF+h>ex?8Bv3BbKI(=D_S)$t4U zE$ot5&*?RT+>Oczzf!xZa5g@Ww#vPa$9hsatvwxaGF3_9#iPLVkBfuCWuiQOcNtwu z7)=;$j)>jvy2>asqe^9qd4FZ^esP_=$ux)D`^lYxUEY?86t_C_hr8VcjxjY?G| z+RPq?j9H@_8>{<{J>XVNP8fneKO|B~6yQ87#X3D5*BY|6(TBWx+f{6Z)?DU0r|xki zl7x4D!H`y*UQ(jIJ^BX@m#ZMGAd~*~c|4sDojMW21~51Vktsbk#7fHql{m5X zE#ubjYC~IHLQWFDrRzNK-K=?9OL7H;lP_!s`=6Md8j+*gMb5e^a-Vfx>oX`yw$3x-k6|{%Y{Y`0ryqT&7{X0l&Vnj5RJwf zSS`ai?aVA*&F4-8sIl3ObHq~>DKNzoP~E082A&5xPn$>YUEFlG??D)%Lp5v_ib*|4!kaZ6I~-xKS4WEQe0*PZkTP zFXfmRAiGWoME%QUwRl+LJd)YWkI>E1ZgOfyj}z1mxB2D9qV@VJcI{VB=6lP5QBRdD zdDM(A{55vvrBw{P_m2B(DI-%*f?l*41DWd>gh+C2?;qTMREsmRqr_8gP2fEG4NPkN zk*MMiPpDJarxcmr#FIOWnGtw&5690&dGudg0eVDu!^(7;ajBWR)lsEU@6RryEULlb zBkF(5Ss@xIXBoka{w!oLwOWXyG+4e>x-|9-UUk~cXO_vXoOYd3)uH{}4-sMo?WJEv zXWAFXwCQ59FC+UBte(>29(qqw5a_SOl?{JCTcm%I6@@0c0#Q?3@8Y?Zukb$OkdsqxVp0j#qhInq9bTyMu2Nd&mZSDTwL=$oNNDEB z+7!OuX_R%21X&C+t1B^4AdG#Ho+`HbO}LV*T9_wZITQ|#ed=|FdARIrr4zhQ3nSh{ z0Xs}YqJQOm59Imkud!$9kK!_Hq+)eU09xvZ&u^3#Ki2yxKG_@`DNS83!l$*WDU{hq za0GB{560&X>xdzW{SePDP}(Dm92$Ug;{R~6T^>``0P~*Tcq!ljtQvidMYF~GfcTRl zj`G_1e$XdP|Ip}Wd&@t)7GbvW*Nugi>3hVxCu_AWp}m|Qf32U%brK(-MElrHVZfCM zmxI=i%Z?la>XRGX=&s~_-c#TDiaE74I1vrzqoaydB2c}gHB>b@9rvvYlt+w2Kxr1$aYQicv; zjx_sO-{aX@cwN(8&)5&^vdgx`a?${*T%JC)2ZY7qQ1kt00W424Vao$9I!z=u9;7?X zwG|=?UpR+pffkkgP8sYjlqD9=P_f62cGZ@qfrg_e#AoWnxfADemGxlnRshX=d`EbA z?O?H$Zyqaft0sppj>4#VELkQr3{jqrm-%s7(u;t%I$5Z@3ic)R14}%GLET}##!^&d zXe;F7z4?^w{zD72S@Bg4d)&Jd?@~sF%;8xbF za9`*l$||+&!`>68fK+N9KA;!GaVQq)EgzZ2Mn_Ft9dL8Fgwh$Ce~aVuVWWkIOK>#^ z$`q%Nv$I|ale_ub1rL{Hndn3slSHcRCn6k0X3VfR@$tie|1O^b{JELjhEC{1mzzWP zI=xr#@Mw@sElY2wP)c+xLWkK?-)ZgWH8`ZyLGF*QL}kMFUUp6iRsinH@h1w7+<~|6 zDgy?QlO&L^)vxa16kmJ{6>B)(KEwpHvD~BHtn!WNz#zmLT(!FSHo@2~S37`<;&_Lfo~a4(Mnv-y#Yq;l;> zhl$T+O8G9@8~^GVef1zyJC?poQ=J z2T%_@zr5`FK9##zyrJ6`VTS;O<{i$_0PE{{4=08EjGM>6P7?SL+6=j~znvCaw@Ko7 zbQkTc9V=SjBiEm=>Sf3|MN?brexsxN;MrU%=`x;w&+b@S`J_;E5*rYMwP*7~jI2Vm z%39~Dr5;D9`Vx>qymozG<-6tVQH5*sM+0MxRJetyke1%Uq@DtTf0OKzX*D80ajT_y zX3WvVP0fZ8#eWuR6Oe*Fwi=mF{qS*peT;aZq>ZAa$}gWcNb6P-k*1~-<2HAfcq}|8 zdtBaWmJWcgD#;l=E|5PbpbpyLm-eRPdVl_jvJs9O;}5XNN11%`Vbq_8(-tXiu+4$w zNzm?eWyWgL)8(aLYmjbO;?XMwO-Yz_BsS_7^7W!v5$WuL&&=+i?!ejo__}Q|;eJ@e zT<%*37UOpH;xLW;D4q*#`bDy62z5-riwQAm+WaJ2BPO@z0gI5=lU$i5avpm|&TF9u zM_8kfge1U?mjQW|U@O?=X+Z+npv7C~)P9csDp@Ma;{HtC!D>Hx-SeTMLlhUE!)doF zE!{nY+`4Z5aP8qo{Ffy)ZjKa5#Sd88xt}^)%=L0T{l$)EE?3jKq)4`x-DzE4<#mHp z+`+Wi?INDMeOJX6BMaAFmLNQsh6*`v+^FC0@$@wGS*e3G3&wOPODl{dR7F(JhhqsY zKk|NBalolZ8}xFo+;;a6@vR;#-wdOa>Yj2&LNL!}a@(a4*^qi64@qxg{uc`5=I&}? z>hK>Zh&MS%6E7Kw4j)loO;SlqHTk_p1c?QkHJd$~6PuHx1)IB<69X!nl#`>ol#RUw zm?wEpLrmu1wM-Ixw1{^w*qKIlIy{tpid;oyY+Z;uZGh9p<(5CQ+Jtmfq84(9v!X=EKO zoxsq4lK;As>_@P^pad5eHtEQuDTQBq1Fl{G1& zQnn;{Ulm#Meq~Bco6^|nQ{Q!cU(NjSJ%2sdeeUOXFXuVexl$rqUn*M~F?S9@z|@SF zECWuZhvU(OxXSIelEE_fLIro;nnkZ?Ezr<@t>PChzl*Elc6^q6z2P$cq}WU#2zUYa z`I(rmO%6?aQQ~FZ$sc)laAcH_t7CTU11F;O$kVb5O8mcf)Tp2Btq~lYdK2ubb+GCC z-^$i|#lhd}`UjeKJhZYNI|6Sy-1q#Q(fRTQPU(q1Kx=F)=;c4-6AxBA&Mw2=Cg9%)k|`Q>W+$Syd9R$fjz@To@;lWKIg@m4v1gS;&L*&ZCK!B zx>}&kKK>N%3t>5Q?8&~f$|xn}jj>AuODiJ*~hu1505Yh=_F$|%wD zSPQ42_bockJR#e*wkB{ewlB~zR|DmxrEeRy1NZ?0(^=6$6%Gcwz3MqZ*K&sI{S_X& z-ha8@BvU=#mFfE~dnlzv)gra6z+#!2V85Hk;fhDJ4wmLBCsGT4_@mjiWsUmVx4pkB z@GKA-KepGZZ#t0eu}w{}Ecx6qM@vVxc!bBHY)B!CibAgQTtf1*EdP=pQ_;^p458)S zNGFnG|3yWY26>q=d zd`Q;&y0J6eb^6(SQ`7bcs&>0eZ#_qt^|h7`$GuFc1B0ncG4A?;mnkO`Tl6en9np$% znp|(|_F(z`F!1SI9}8ujKkPqw&$+~H58WWW1rewfaWvhUa5SH1Udc#?~!c zT-jAQZu(148tfk>1+8`Ua=&^p+H!GaYvV_~eQ_b)=ayyG4Y2pqlG^T#u2%~9c0_x9 z>7Mpt(RS8nmS-4mpD*dv$|f6d^3%5uAok#Vd7j$rqU(aJ#LopyPm7TY=dRqnR@9fz zsjj>+%Wk$B&R{O@x@D7{#WqP(;2DfkXaNs-z6*Po`}CM!Pl|V|47m);klP0X_cC`! zpTS?BE|aZPQn@)5d%0Y=b&H5%T)g>?CNBEt_6uOMVA|KtJf+urdDqlNR8 zv#~^@ud@eOjej<9h25T2dI{o-^C?T79MgCn`K|S)nbVf2+^NF4TX%BC?*?arI$wGs z{qInEzuL<*C2!+vq-SRDw7=Z`om47Y>_GMl-4PKP?&tmIk6oBgFd0Os05!~~Vp`sT zB;(NuXD}6D4tEhZ-L|k1f0#Gvp|b_OwBfHYZwa_uQA(azbLrP0`eG>a6bT0?bkiB|s&E%amOHuCeT*hB{ zjYJV^AY~o{t_VI7)v;%Jnn=;{;PiIO^CV`;6@EWQWG}mN{XL(fD_P>P8`U+C$TLya zx<~z~ncNFQ`x6%fVyBDy+`@{69E*?L*3)NmmneqmgsfAuOe&dM^P!$B$LyxAdNbX% zqN63a_>wsCX|A%ks%zqCB9qjSZ<|XwSEI6|tMf^`mz(`Rjq>WNjydtOic^EimwHU- z3RnsXoV?+h``Jtd0NmtfqH|z#VdnUWp01FZLr7VC zS(H;deb~dHqe72pP_Q|VvOVQ@E&7}8dmZ1PVVoZH%z`G=p4N+@me=NWt~R^KX2XuE zLB94StO^0mG%1%>OzW`IPJ8rzVtbYSNUt)-Gf${kWfrhCCk|AoHxS3aUH3Tfys&=n zL~rAuPx4t>;v(ZObr)jHiiD*%ws~wyNH2f|MZfLV#mYNYzSH#Z#Y=<6R!^JGw*IQd62It?n9G zx|dN(QDs?e`rvh5ReRXsEMmucx40=FAY{a4yTM|M^3jE>SjW!C$zc79TZ#S4|B$zypTM*W<{4U=0F zbd{=fl}PTkt1tis35Y;(BLLC|0R5F@W5=)^w%(C`R0CTR2mm4AzZ8C<3u%Z0qc9ct zv8bU`^3M$&B|vEmgJ(Vo2_BA1VHik&k~|E-a48Hxp&uCYH(_MvzbhevVE`t90T3M| zq%a&n`2MaWT@DNbk`G}5kaPgRIPufLF9raJz);Dv2p}zn0Enbf0Kws(MmfI@L_tK# zJqqGd22q?YWe}y)>5^tJ2$!0N;n=UQVMc#u;h@xE5Q8wu+CU72BnLtW3`hz?2nI_w z10w(|$%7GyLr4-42$CWqGZQ82pDE$DBtLSXbO@3(jbRw_YvLa~45QQk(<T}-M{wv_P5u1*V^lOPECPKPQFY*09Bem z0A>m)L(wH``PT8vKziki{D#7mYfoCVH_D8?6@=4GVtZ@rU0((LXeLuzTVH$M=UVf+ z=3WoiiyF(0ZEVhp_}t1*-ZXolBFs1OCCgksx^uQer)ak{ZMcm;8Zh##-*PlJm^{^_buA;+aC`_n$auo9>&JT#|I|r z)Pa!v$}SVmpQrt+66v;KryJL)F%-jM!P4#{1y5NO7b{AqXLHO?b5}R#u!mYxmNWE^ zqje8nRfvki{?k^bAMQ=B+SxT#J(!f_veLfz{mIeV4>KQzdHQj(0%c{z^phpB*y9+Y zIR_6Xd#!IOr~sZ$qM+hQLv!2QT02vJ-MEdKLJ_cQ>}i}SxaGtBv2OlF1TMU4*Rd+I zT6T{MG7+e@!pL|<`O>tXy*XztM0_bw{^dPyy(*8=qhZl3w2oZQ2{~nKm^8c3-mCRf z+T=_~#HWI?&*v7|^%QxVX*pQj>2A^vAJHAiAYBU$Mzwp#jc_pkA$RTZl}|^hUF)+ z-o0^DPzd={k=OXzv~cgRpX@IgXKnHk>H`|<(P5_4R~CIewTV`xm~(+KR^rvznbDu{ z)Q{}{gnLP^P>NEtQPCS2&QDnOmxoqL=FWiCHx--)7PAcXexTJiNGGpjS|$3g%ZQ|2 zAJ(<7OLY?o}=MgkXPC|@s6cqejj?G+~ zCv`hJ8s<3*j3=3jKOqf*!#AGz-nJGM9o2p;@ODb*c6Q&H9lw2#ltYbAP-r1gzMRT- zl|L9LU48S}K<5`;$J(~{gI?@KHiPb=-CCyRm%!BW(bhaC5EeQ zj@Y#${|>n3>$Q91jUGeWI4j*J9zQaU3fk6L5I=Ouu!Q=0TBqomHRIF9(ySmTOsR3G493YBQj6 zkyk{X;m|G7#dZ&4uQhGE`~I-^t~znEF5lKr5JzwKy>M&^>yTX-_{5a9_19_@;o?El zc%`r7hmN?YXI-D@>6-k@XO-LzM{+un#Jn0UA9OGiRNrSFPGzgMR6Wgp`8IdR+^bdP z!rWY06r^es=2W3h^4G84yp^UDzIi75MM-OavcoHA4c*0^H=!PwqrUOX<^GwnFvp6l z=lDHnIQmjl2BoF^M1hV|tVX5kWYJQ6bs!qMdrq`3X~)kw_s+I8Z*`Bzy#K75Y`H2| zfawUlr~6_W8!9g|CX48iYHXLgrW_}?Qp4-deOx|S2j6EfNbGHB41S*B;&y#g2y^xd zlMD1vgBA74Kc1?izVxv<-#y^K)BCJba;yE2oTr5#~&gge!#K<*OuEiN(H=a}m1#)v)9B6o#tB#b$;bZ8_%?O{AC?2fWSd5uDR&sgS} z-VT3Po1cuc2XvICE^Tizv1^-EzEHvw?f22#ZWeH4T>2`$KY9pgACj`QJ~^qIY=-pt zE^?Q7&QErA&aFzwaTw2vVp=LHq;3ndlkW-c;}!5<2+5t98G8lcY{+1*)~ZB{1C7xJ z-h4)q8{_wb1~00)ug^Ag52W3&HtW)i4y9mGQv`2~^6Pg4+l4iJH|^2MlY#ez2Pdjv z&fSU!0*Y>MK2L6mNaqEW9rRdl(`T=#uE5N`y!0PrwFlZ~29xy+QhB8bzrC)@aCCmD zc4j8SWLRJHP)&m!l6T-_JwL5$^j+Yq(P3Ndb)9dUQjRBay6DH}P6-d__mX;LbIwO9 z5=KVfw9WrW4A1|=zBBv{gCQs^rU4L!VG?*5JqmylfG7q_0HQdIio;+aBoPn8 zz=h8+pMQSgfW&2R-Y4ER5QA~?fDi(r;)x*yA;dca!vrDjgAtHK#El39NEi_a2E^Ns z;`l!*`Bn!?0Ju0bh9O1^EB@xgFdX_{SINI88Al;hJPD4X5|t1TDp4^3;kd*kBSsR1 z5ZHW@h0nBTo@QRev6LHp3TL-DW?_X}&QC0eVmNGun-Qp)B@Ar9tSoS3{*c2o`M(w? dCWk`{2z2!iJmkM;FO9$m1fuEaY}jH&`!9tF%3%Ni diff --git a/UE/ue1.tex b/UE/ue1.tex index e10ac67..0adbfbf 100644 --- a/UE/ue1.tex +++ b/UE/ue1.tex @@ -20,15 +20,14 @@ S_n &= \frac{\frac a 1 + \frac a 2+ \cdots \frac a n} a\\ &= \end{align} \aufgabe{3}{} +\begin{center}$ +\begin{python} +import lib +lib.euklid_tex(312,269) +\end{python}$ +\end{center} + \begin{align} -&\begin{array}{ccccccc} - r_{i-2} & r_{i-1}& q_i & x_{i-2} & x_{i-1} & y_{i-2} & y_{i-1}\\ - 312 & 269 & 1 & 1 & 0 & 0 & 1\\ - 269 & 43 & 6 & 0 & 1 & 1 & -1\\ - 43 & 11 & 3 & 1 & -6 & -1 & 7\\ - 11 & 10 & 1 & -6 & 19 & 7 & - 22\\ - 10 & 1 & & 19 & -25 & -22 & 29\\ -\end{array}\\ \ggT(312,269) & = 1\\ 1 & = -25*312+29*269\\ 5 & = -125*312+145*269\\ -- 2.47.3