From 0f2b7506dc20eff9e01835d343945cceb8c35f3d Mon Sep 17 00:00:00 2001 From: christian Date: Wed, 4 Dec 2019 12:24:14 +0100 Subject: [PATCH] update ipi6 --- ws2019/ipi/uebungen/ipi6.pdf | Bin 55270 -> 73626 bytes ws2019/ipi/uebungen/ipi6.tex | 179 ++++++++++++++++++++++++++++++++++- 2 files changed, 178 insertions(+), 1 deletion(-) diff --git a/ws2019/ipi/uebungen/ipi6.pdf b/ws2019/ipi/uebungen/ipi6.pdf index cb0c65a6c3e68b9f861f4083cce920e2b4c4f9c1..36a980dd9dd20d87eb20582e6e9fd1066b9022bd 100644 GIT binary patch delta 30821 zcmce-byQs6@+S(71lPvhg1a>C!QI_0xND$s36KyD7Th(syF+jZ8r%aR5ZvJ<-}`3f z{$^&)Tl2?#-K+c5KD+wVXIItPRozv+Uk#Vu4G*PLla^uSWaCAlo1Pn7LgAt0pmedY zM-diAVb}6=wWeg(Q?;RA=!=YjA;o{|PY3)JD`{#@X3M#vjwX?0K9VI6(C18%m zi2e<8QjKA969n_>3HCRD4Z(%};rssw5&u7k{tXc2-v?lWMhpEfs8Fn(tvo#4t<9bO zQh%`t{D(1;{tvZr{?(=i%D zD#-smsxv%XSWX}W9T$#IfEQ3lWq|%NTyZ9m#R)vn9WQ{l5)AA<7G+5^TNDpw$=8bw zbbS<;Z=g=o!qS%vf~wvqZG0tv4}OdK6RSq)UP;+Y*Gt>Wi{fr&%rwYm?NE}|Zapn#T#OJ7Jg#q-^_?JYMq==1aW z@Uj@YEp(i4Us4EvxcCFoaQn~s5xJRKlPEBRGWQ*Z$LiTno3phVLZ5wEe-uE_dhy=D|nf89Z zcC0-H>&F(fEhzEy)-Y!AS8N;V7eos+# z=~&8qrLsV5&p8njbsov?jB>K-rxLXAq{yXt^YagJNtRDD^bJ;UC>SS>pYaB{)czYz zMn*~=h@y$@OK3sOH7EmzhDtg=<*LVBnkklk>sQV`CdE@zlP{q+%XRb7+HH)hV)hIv zQJEk*raZauh3uaB=hC z@6l**nge%r(>r*~w9Hh|hK!y*WF{XN6jJeV*z^`^Xmomt_Bix7CPv_Tiin z&2EPlFya{MKRO8Mn0QFyHfL@%gSt(;yj*F?X0esM79E&t;v*RBFR{bal8|8^Z0;WB z-?b9vUx`($M7S(j$SZx;?MB)oFjlvSJSKpj|0`8qiM^OHlGDaaV|_AsWXg*`wkKv zJ?oY;1o27wD0h8Wb6fD6#nsVwRGcNV!((FSt;-sBODRyQv0opzvA)V)9+wr_^A(YG zDp;y~_e&RQY58uR5R0{4^C1OOpb=>qAtN>+u*32x0q2dpTDOwj16uMd8fPq@tigom z9c5t~v_JhQVm+s8y4K?b&qmInQBSIN%Ah2&frTPheOJLyfQg-avw~~LdoO{X=++T1 z=IsqPS;VJX{ds+!6m^u+DED4u`38T`6#@SM|ME4If4T0UI*lV4A0$5p|?fKGW3}B1fhrQFSrmgR? zkHZtuvKQ86<$UAuT36&_pK%R7I3?Q$k~`>g@fZFcP8#0y8(YgG@9)Z6m2OnvCX4u> zUX_>z{mi1-}a z2qUmjT?TEe5PVfB2kR~qXJK>f!}Z~aIh^P|3N#d16<(A_S=8%_M6k5i?rwtJUKJP3 z&|n~yi5mncmcBtF;qD+GW~||-tL7>g3ARRn(p$#5{$ZYkD z;ogdFOo?@`!BN6RO~=h1*IRI{YawKXwih3+#CptRjiqyZ=+kE5z`ncjD1L?9;;v)s;i;7 zY^6+Q=`>F`?Zf%~Sb#dq=;8Q!=sSU8Mr>ubOdsdw)EV2LUS@9Fx?H}Ri&mSZ{%}7p zH&@2ClW2TFHjFjrO@FWy#}#LO`nFW`-A@*jSH88$P$|ZkDA&)(fyQWGt%DXyqA1#8 zt1>viQNm88D9ZRu+1SEl&kJYMP#|BdfZwz3?dlz>+`%fJl;QR;pd#)i{)^|}6 zPVy9f)@KJ@6$+k(WDlV}nfFEHF_zt8vV24;UEKXKrBUg){eBkwnC38aOc)w&%>6{x z*Eam9d)0%k3UeZj$(y9K&=3AQ!zGW{^d9*T)ysX`0!YMJw^V)BdK_2#Y(~VSZayRe zU%KYkrA^YE!r??80=@r*v`dhHza|HKu3zMOoMg4K3qBAi;*U$u3T4<(agoWZPFiPq z=laj}4ssz8-57aO(;4b^F8=k?&;FOMZy?Y6ME=|;SwAKM51|u%ox{11KxP)>9~uh& znhw+r7-Y)wE|TeQt+kOIXfv$a@*${Sav|IXGZ_e(gu}vWHZSLy_Ws-%YTq)xH_OlI zoOfZl<&~EIm;inGF%hSGX#;EP&;3znI)n8TW3Qa2tq>AhmUL-D)s?(H$MEr0Vg{)4 z0|_ZDTU`iOy-2}c%dCDiR)7)jl^;}*7Q)N5ROy%&F6XUhB8L| zZ#u0eH*3TJ_zSLy5Hg)x$_1WkjwblARc>Zs6tb&0`)rYdqhHDX8=WEK?HXev3Y{k{ z3+LITGq}9|`7+)3_TYBz`lVq9`-YHv)BV{2rlZ$0a^6tq`ewSoe3_3b@%Z6;VBXPp zjoMYp@$a+B)S<~Xl>+Jo^!Ar9M+x%KS8tm%3e;^}>>Jdc4dzN;RIeh(DtGOY?x-*A zIP-8N{Hf){NF?5mJP@UpEKZ9lho-n&{9=rfd;@9w;{M?-XO+|+=0%dsVnUKcB&)hBs-Zc3i!P!cfm1He8@C1`&d-*`1X_S z3bo?G$tlHKlfs`f4?hwoSFyvZqe4<*dF{^89@uNV{^t}{}&Q*AYx#Wt6 zgrN)ur}nPIiZMG7>zobiFw!CK^yy#qJM*bJn~Sq3N%WNx^-?7pU<5-yMIx1LA$J8P z+g9ki>pGsRzU@*vfcY5kS?)nlt^#I=AsUvWGSux$w9RWmP5E#$6-+13L$j|3D z0t;gGIDT!1W)vebwKU?B2O?2eOt>isrBVl{Y6S}{e9E%4?#s`6#WIbJs*9u%$|Z#y zUl!Nz^C=DshCz*CfamdD%1G5|TXO!!CebZBkR?-{6hJF|ixT7sjRW_cWe}zt9@@LJ zKzrOH_jptC(D8=!{c|&A+)z97#+awYXUrL{B|nXWOMlvb==7IPF8=z?={TXGNh;L+ z{a!}}4#IERERvtI2e?UZCJrtPp6cq6`Sc$2sAUqZxGKjb!D zuIY#R2hFc3Hr@S(g+e}m2|cD09NrsA{V2$%XRb8(NyNcD2{$RWi-~uqRD<&J$GDn_ zj)sM9Uo)eBMag)i_HLTjF!CtKflqHzRkn`gE27?Q9Yg^|eHM{S(sF7jKb&oL1%_C3 z4rCNkCpNxW9*~C6$Kt?&O5qgQH*R4>UxY9}rBlWtL|is-*}2?F+W` z30YpebOO1E0TJekv^S&3H<>z!PbmZ?qMM3OeS|T90K`5#UqjuZl$1&17}pN&DDb z!)KJF49gfPNHPiOgkv<-&q?9r@sk%~;Uaahe1E(Lm|MHKAT9KuWtJZ#vW$weX;dOK zvKqM8s>?r9e7~!IPxg6_TYLy;QXAcsBZxXkcXoZkFoS;IJg>R%Q#hSr$XR7kllTsW zzmNT9P>(+)oT)Cxi0)h$h8x$f5B_4Yy`^QBiL&FZ_=Sk}p?IUK1abMc9$>9@s%vU= z=d|)Oy}{%`L&it{iu{foYil{2s7G0DNX!D%T2Yk#CfO>*FyiVnX%p(+0MY0SQ)~IJ zZ3OlgV;!hO6?bE)9haggbG@hZ6Qbao*2<>EahEa=Q*Lp$P)nw+A&EmD{!-Vq)`}_jk7yEQ=?)#4}{=1ZOHr|Xj9*Rk9V?v4KLu(5fD-Li( zPaRvzp9{(cUO1mTm=(R=b5P#PL=Bs)nWURTk*}e~SvEhu9-!N*aNj0;LyLb(BEk0A zg!G=TB~-3{2j)h*ryTcG5b^fiOmp-V+6Mf;4L|)7eMa!U2fgB;ZK^MAzVW$SIrq$N z^6DY_g#B|p#ATx<*b5!)w>wMMz`pa-`1;cTPx@U#<{aoEx4%08n%N~Lu1_Wa|D%va z^wW1}eaVSl0W55LHabRVnnn)n{(LjG`BX)@qw5;~;c;L-5icK>GqHCNH|OSM)9mia=#n7-4%#qYGsZYhNzEbr5t!T7r6n& zZNK7X%Qll!JJIzaKA{&W4RUsXR-CZx@w^9p2iOi;BsOM3EIqajO^z`{f-6aLpL;7;lUAd6*)#s<_wo)~~G~icb+qQ7k#+CeL=O z6d^j{Ac-OHk%FLDmqcH{D&?}xA+;B`B_4VmXyGBVK&}aR(>5tPJ4qHjVv)6PRLXA~1+F(iqk;v>sKEf13JcJUeg+iMfa?b^m|%evT08)3$_%h!4FQRC;Cdu%cvv9r zH6GBz#tbOo^Z^3Q|Dx5v$bc?xD{%K`Ob7k}tg+w$)OcG!6DuCDEWiwy@}U8$_ys@( z8y?U~!viSc%K#w+mOv#t9&ksH2Xu4b0o8=%Ko%z+;7n8x#B+fGUgAu^ksA+CSjX357v5T3t3ask2g z%)mOuJ_y1KaH8M>%alt1J3k&UM70AT2;c!-)ce4|pJOY{8c;8Y2UO4=0Odk>fFLh3 zFiY14d=SP1^0^?u(rW^n>2Y8I2T^>Wgkcnr7sCT08S4O1aXdho=@`V%_m2z} z<_Zu$1nA`e13f}af0m8}NU&tW@&mByxWF09Aiybs2bhSl0A_z?URb{X2NGa_5{Kmv zCo*u!)(SwR@Bv?KCg2zQETAHd2Ly{U11}uefbknVppJ6|aFqEAY823w1p~p{?Lf8M zUnR{0N%DVz?*S$XV1S$NH;}9d22{OS087X?h?CSOBPa9WZKy2iy{{0`3xCz=1Jd{ey%sEbwfCU#}zuf&~!F2mmYT zJAl+2AFz~W2D08v0ZbP7fRPmoP$^RmAX(zqJIYGI0y0+kz<}H|z-287%*)3BPu6(# z?g})p0FEslKxWAT%qutcNEZ%Yp)+f?Wv&Yt|5_VP~p!-Xk{Kpk_J@hQE=q5ovM){xM| zR<`4iIEL15g-euMaSB2Z@^3re-U?xRf9rU5FdXL{e^gtNdia%aeV-E&0U2y+e@xL#myAVkUo1IdS zV0xlTf;#$5+$Mgg4!%WEO6dF0h&LZn3U-mmdnagXr&WCC$8GnY@`%znqe$I0!X2r} ziA3$%64*+phKo&psV3=ZkSthgphD=aQ{T0(e=JO#kK-*%YEJJbTTb%Gg_#sb^9+Wu zg9}1rXMfu&w5I5bq-q9I3aOd~JmqzE4mNxT#U9u1I!Z;aiKEIGL`bA+y}l=Rv!98V z4{ChFb5DNj{8riJ&6uReKkHa<#RbIGdVpIuFaTE1Nc6yiJeNFavNg^at(&e(r}+%zEyJ0Wb(at~D8n72y%lGo;5%Bn%CX6GoFD zwSr!kk^siWmAVCJ_F$+VP^X6lUOe&YG|^!JA#ZR!m6il7Am;-HytQ8dSaL9kix&u? zX9AS9P@s<3X|F#f_`xbuzcy=h%{D`kU`DMKWMu_cLd>=tlx+{0chNh}-|s9ePrRno zOW#+tNt`(DHV#ph)jo$5V4jLtH}Un{ZoTw-$ba zimaldyQ)#;yEM;L^oR7CQX75kUTAPIvBUXJ1 zJ{E~4`Ot|ZF0c`Z-uM54tF+h9)o{=_a8@kuN|;h*zbVwo(9};f82hP#57DYFY81DL zZ*+p@Ui5?%NBs)v7@UGZ;y~RDu<9yK!|d-^Nt+b8;xSg5=f1-tB*Ok$9Be)-ZqeL8 z?)bJ%d`c_io!I~(psZwXfiu?AHOP~rbVUNZaP|#Yg?P%~^knMNR>@{kk`Zn(^|QTO zT>4xKlQr)t|H3C7Y5DJ(az^~8jLG>YUg85If=qy@ehaVz-~#s&to3{b*svg8&cB;K zh?fJXC1hf3oU7;gk0iDqgG z$*)G@keDw+3cp_|QQ7^q8e^$lg+RLO2sVpm^iN0lL2f;kjdPo{ZLfSCut$%Rvy7v^ zV_OIEq4GhjNNU(s|7&;(~f>i%x{3ot_ zV)&b;oC9u*c)*h}51?u`3CsIWxaBmz|3l5#f&p=h5m-I|)&sYm%#sNf#P^T6{zRTd z5Fgh+VY^J81@N?f|A*;s3bAC*42asygZOy`~OnXkpbtFLvTh5dh1m--`Dj6d{WfnWf`{Tu}OS9*cx(FlV4y+OhCn;sOfe=qz; z8mCDHi^>3irQy3OFe_dH8w$TdACj z62kpQ#hcY&cz*6b`k}I9gf=5+B{>lA#U+Kyq0AP5aQeol*Vf1s&^db4xH)Lhac2Jv zXx7jbP>>Rt;={v1vl9@1;Zwh?jefM5@VWKx-6n&QZ8@iLg&yXdBFQ1)OJ+7A!GR={Hle`ED3h7%1N>n0?So$!gBA zX@r?dH$at=;wlS2Fao!41y>U(AP!4>UT(zTGlvT^FakXyz}gNDFSwwp!b*c10HNQm z3Bpsd7a;`a(m!%j%+4Z2ic_^Fa73AMgP_S0F7=r}GTQ14_EESb&f}3P{ywNt`n3Jk z@2RctLcMF59nVc)%vE$2x`%4~KfoLb^k(KrC0o6iO|ykU-|?w|gE46tdT74B3KoRR zJxOWmF@>W3@Tbh}4%;+!zC;r>LE;CQ#goGw!PQ6RLyiJ7cJTLyanj;j|-oWR=Dht=}R~`@ov!wY%`?o$8*Dgq zygjd?c>d?O$DG^-o>j8V!I6IS&E0)C*d9s~31~3Peec1B7Y|j9Sm2{>RU*Jk`nzJO zI%tOE%4ezyD%W!_OXV00CD4p2C__c4dG7bL#G?3$^MvpW-G4YudJ#*1DL;o=-@ka% zzO43c`D9+P_q@F5R1ReRuRvkT(6!%3ltcT3@|iQ zpnP@;9-)4%;vLXCb2+~>p*aQI$hwB7SU%|8RS@zd>^}T_IE{IC6`?0S(xn(@!zjzI znMEX=iHUAWELsEi(v4SlW0Co9u1-aFGg-EDy61)`hB1R%TEvBsrlUSK-NKldH7Hf) zo^&sx!?+9ds{a7P_}fqf^R7m0E=r)DLqWl9-A3K4RIo5u=O5{iU<@9Iw{bx*GZsFN z^caX|Fu{B;*7?{UUefGDVY7lVUXGT|TVqlE3pcc+K3+6GJ)8$iuH~h`n-*`SP_zHC zH)+b!k)LUEtBQ}_J}%BCcK7(Oo3Wkezc)0Ivg1|9WvivI*L@khr~FHBz9>tz9!ele z=3BYIwcz)g+=FY>Wr@RJKxKn;BVFmYU|s;f@@n|mD5ZY7M9bGA0x3W=v=G&_Z?sr9 z>hscroAS*8JOux}g&*u*F5lIMs`70mZ3RK9r&H5L^$C2qHivgnHxvi&yyB3JVt6nV z)m5RT)Zg7?uugU4>*mDxIb^>}y+HZ;OqY4hoIWxVzG0&05~m*vXxD(AT&;~|QZN4U zD>^S`XP_)0iG>mYxVoNrBlC5 z6{i>fw2e$J_jJOOw%s0aUVV8zN+rQW&JCgt?FbJ^cEd+Bc|YH1 zBl9vmf1i-6je8dYLb3qAbCYh-A3qXoKD$-LxxS~4y)-J%x=@*ddUc^9c2(CaReVS~ z^Ykzhy{_^!A$+(Jc2(6^ZxjeiugnHgODwGa)0bW;E0p371O^Gn-nJna6?Z^3ujQ1@e#B z>KDX-7#a{kkR40vmBJK^3=it1*X3{Np{sA1@h^sVaG35=S_8jYN-26IFnXt+=|>Um z#1Epc9r0J=&0&zv85~+c)D|Q9B=})-TVvF$2@L7_<)9)|~ z_-O-fakz^^uu5&wwT!0PbhDQd&$d^r{6=`0j&KlxNwl5r@ovojI~b-ljgRI>k=N$c z+=lRy>#V5W(Vx;xsDjQyou$7&{V*L-PYZEG1UMTQW70Dvn|YqyZlxj1c5XMo5mk%iDqLA2R6`;99mvs|5jR#9fz3fk)3RZ zE#!b5rgAvbe~glKH!3cYBi$gl8(~#dX*k2qYRd1E!Rv~kA8cduMhOtTp3BjL2lb`kaT z96s@*zWo=mat3_UFe{_iB#$GpCg4 zDz;FGewMuC-oBy>AnX2(8#46#^St2N>J;2>GNdq)@b~K*1kan91f)I?tuXoseE| zTcLZK*2Ma%37Wv+vlcTmW{+%ej*}Ay+E39=`O4o%uqaM5ZY^4kRj;M9(c#GGH`qVY z=aSJjf`1|}*@#hja&6`$VWuNvS*)0tb%o;_EyO{N-9`*OT(@EL|1pRl^|CcX_N6vz zk0~YNrwu%O)OPAAyVsVb#oe*zuJUQrq{#VGm#}2Q4wS3tFn(GB<;niB?zW*N=NxHc z%D#{ci&um20+h3^cf_o&YkpRr-dZXmj4p+se|Lv4nOg4h$|FOsk8*6d;}yiB{gT3H z*1%ZAhS^DZd4s9^UD-9C=%XWeU&chWpebwkBD}MUel>Y2s-i)>G@+d7fJ&^e^1~(D zoE`TXJrqB-JA6f!4y(bk*z}FSEU{mJH=*9Z#-0!u@q2UX2h3mX-b>g%v8EiWI8Wtv zVD0&+UndF+DknS5Oj9FCXB_>Z+prFuC7oYVnh+EUn_f%@ z^}laf{929A0tZC4PWVRay!ApCb=ZP@qIzLsrG|_@$4lArV;OgI!5RRi+e;pUB05r^d8BE!{ z_+6o-(56dAFpAVz1#%FmA!!yul@1pcN;_<+HO-@P)@^f9UZ?caI|TV06dC!y!we;c zJ4J1~_ZvyMF*=jUiOU?`lIv?bk}#b3v(7}_Et&4xQ^paVv0<1IGKvf#5{U# zg7E@5qS1vmU)Oa`UaMIZc+3cXs4Q9B7Mcvm3)qmHf5jl$XRCVs^c<6xvf>c$0ISdi z9h;VI=#$UM?pWY1(3($*t~jMA)JQGUTT~ay4*jKqJrPa6M)!+E1lhQ~{u+pS0@i54 zPFR*%d*hLcpO8NNkTs)Dzn%@tpHs zrxY8}4DuFRU-VChSNtJ=PV)S{TFYh=deMPw3V|{I>5ZHXLXt% z1?SN7{-|>=+fJn@j$vyJTg(ju~ z48i_+b1DgTBO>1>3fMR8q=EgQ%F&Tj|84ke6cj}k90li90bFWV58Vl)X?2J|pN24X zG_E^riPf4feic^ogT{hsKi4u&RNTq}wKp~~mSXNXIqoGIq;*SEcD--}5LAeLkP z>E0Y~5$Qg)SA|Na@Jqi4K^=XP5*p2uD@iYb@)S1o;I=cLD5iabJ2q>6`_NPB@(XHmM&AzS~q^< zQh1X7%6U%`k*9c=#1eHu^cptDY5>ajLG(Ikh zd5JiE{z2Uz&{v2)=#!Zg7^zJ@j~DTq?0dx$D$M|IreZ=Hj%U*Oqx&T*?n=3o@$Qy= z`f1>5?d>+kfW?a2XyUo4}BUc7=4NmcKu~l zzMlyBAWFU>(!I78smGFlrzza3P7vo@{vlXNM1#0OJufMWsX}D09)O;*)dO$g-3)c51707~H{4A)hS$#zuj_g#ov(bX z^O2T9u@EVCaTIf@UDk!#@bv#iV12!`Fmd1Nw!%Jt&{|Wqre|{tAHw)6EF9YIci<&g2!8+NF43YR#>8 z(-S!FtmV2YlTv3OpWpwQbrxRv&9?b8v54x#u)4|{)H*o$9);=*8t7S<&-Kk;!Dg4- z*=xkJ9(IzG+V{MN{KjkZYp@m@4f0O{+(zvq)xv>WTJW$(ZSnJ-r6#fbJjO)fxb`f{(;JV^I2kr%JAohJHG+?xOv z5}X@Q7>wVpB3{EjR9>GsQ4$+dV{0g}92sj3jOzs6^0Anj93AF4c2T{Q4i(rNvReqn z*{p2CH$4!#(_tnNVqa;+6&l!hr|agkf5@ii?-I$B&px#j_w+-==68$$I0?ei#701` zznu8Bam=Z0SHqApvtOZ_!31$FZH6?vItyGTe7E{?IIld}~-tYv_svZ4_TEfG9o4TrH1dmk@lUN1yE z!D@<-pDP?(wv805CBqSAM!7f}3DKl~IIfcC%%|1xm^_Fq{6SB=c-Qj&QycyTbYpkBNwV5^En!gK`sD9l`6zk0(=2G>hlO7t4BNl6}lM)Q-=XHd(2V|2Sf z3epte2pyE@A`jDHFCZir#Qm1gqVU&~w`sw5)vcI9kCF->r4+%Sm4>9B}K!_I%LV1T0R5=&)yn!nlkL^wi5J>!o90dFYycYK2ZR>U5fPr0pYAm_tmS(r<0 zSQH{i1GeEQF^*_!S0s=hdrVE|BI+%OBSmZhNT9$EhTNd#~*lUm`KNRb@;b-N# z?X5N=yyjWTRJCyWRm0P-)EbK!7uu^Z^9C1D=&cW8_oXxUT;}+^%c=F+r4iwZ`=z_n z#}ggd+5@x~rDodR1mz0y;uv}!T#02>Hdh-fr?XjZ0zBT$uLL>2iq$s+vR>4sJWv%C zXrdaa3Gde1(m#8hfHEFv89NbqSZC2$o;Wz8}A+7f!83tw!NuWViD zkxIi?&M>fVY%x3z+%R&HWsd2$D(?$@o6Bp^XCjHoHMl>;d9#D$dOo5m`K@&BsU3VH zH^Cd|MNZ|f@zpy>(0{^8-=}4A?9A?_Gg5? z$)%(~xF&L@3$Mj<>UHGb~5t|O# zXd0O?ro25Q;zA}-Q3EocR-4oOcxm8xIF>6RQk=&VeMJ#6wayKy7MqqmFWv;npDR#I5PZ~GmX*SKT- z5h>17Lct`LxYI}5@}Pi}(<3NdlvF8`AB=q$o%=)ycYK9dRXV7zVWV=v8VXI$e8?k3 zqqdMHT0*I3H}OSDMEcP}sTb;y)_43-M@+72bDp4BMtts3a)VA&U6}Ywh`(texq()Y zwH!@Hmb-6$3HYTlI|4+AsKYt~sacuQ1?{CTDLR%epx=>n^ zAVXmAZG2yJK>&W>52}pYqKl>iiM-_k-&mxt%5}{oBxQ+rIBtFrG|*Y(CDn>RYf`-@ zHl`n9A+7#`2<-|~Ehq~KW_uga+?%dHWSFy*lUUNHuP}_}gSmotNF>yFP`zH0b*BHp zOt&!7)Fbz#^1J>6V;7iNYS*vM!qY1^xf52>Y+_j|z^Ea|d^t<)IDz{cFZe;jJgKi_ zwA63-8<*30je8P+9(ngo9qRw7QHfW?Z?NZe{_aBKSTtcxdJBNSQvH+0_Pjp+VBX>r z1~*x(0U)cD{Yfc^x(hnEte|NQe$|zI@4}jAmdvy(;^j zOB5gDY?pqzqqV4TkBZES32HCO{kVKL7Q?=dQ|#}dqhFqA)-C+y+u-Yo<+DpNO1i=E zjy!FV5@h@|76#o--|xIhG-UdngzK$z3*p0)T*uYSzh$Ox-pE0Z3+B#>x>TYHeL~}I zhzTA1S27%v*@;m%_Gde78e`jP^(;%k7cy^VMQce_VLn}jk`nt=9EnoCxiVbk7`^Y^ ziJ`A1Tqd&IErYw!lTccG5hGR&3p#^T7#vOyh0?MNFb~^BqVs$ z7g~MJK(S)xg3q>nD9=(;sbX))@zHp^hlb=y12WKm7o+2UAGoY>#=DKYo^(mlb`}UD zN@{T3q{?g)p}`G%%FfVzs7C2%pkVex%s)fgbQh8x)g}wv%-3?%`919{a zK~yVc)#;NuJi7%iP0)$jjaA^`vU)ujtD>)bk#?bK`(lgFnN?H8DR_I|GoWLAH{m9x z<=-@tU54Y!Be1h5@59UCr6^jALAJZ`&a9?Wnga(Kz~)n(r&{Kh`f@oEk$7TQoKX4` z`(qqCl@M|>7{IRCzaj}#TyX>*Fj(qit9RQEA~H5U+3mV;i4Y?V2T(E_#bHal#~v7u z^veLbL+PX@M7Hd6U-CZNkG8_E2{ChBdu%1Von~u}2^RW!gKq+F9#L#YB1A^e#7q&$ z=l&HcdCAbWAg#?z*f19KJ@=gE5LdRKkUuHb1JOhfyWWje%2+}ux=w=wmRb_j_g*X%m&aJ7h=)B22 zw2C0g!A^wrV~ddI{_@QZr|im|yJ7m!cc~fKktAN;zUSV-s3#0(zJXs%-)xG-8k|1U z)OJAB)6w+Hhmr?XH;z+eSQ!t${wy15-1oX$AKN8YHGs(S>QzqTsBt#a>5M2)^v``; z*z@_QpABNc9p^)QNYFs6J5FlQ1n*sz z-giW)!rzmLdlp{c%%_BpMfab;A9q8Y*M1LF*9Tt_1=ON#ES3y$(iQv^{?j`50xjyj zJzVPT#Q&}~^{m>3z17ddMuwsv;Vg6+N39i8+g5O`#m;kC$nM}gEU-X|b!V>BcDO_5 z(GuwSC-qS*Ttcd}G$QlEiW(Dn`ZUdd=!|t?|72Ucg!5+L-9ASNA!k9$($103s*4*4 zoBHd0%*WO9%GTSbuIT~E%B--6ZI9ihS^xnt9A^_wc~ zlWTfQ$fe9V+uu(w3bXTOkZ&LNM5O3O{NPRx)hmv&ZP>{W+9+05jUFj(J?H3k@+mj# z>Aq@H`cy9On6cque=qSk%~IfmqIA$~98mjgs_*%YgUS5eryRZ&j7IcI4nqkht+1mr z=-pTa3kPrUe#n(mM@%F;JG(GHu01*)*v#>c^mx8;t_iZO6T{t zAr5rPSYmEf+@u`?>yIN9C2P>h8~13+_%Rd0`J9ps5>3*X>ol?#{($E?V@tTEm$%A0 zy;*6JOu>pet9^|6EqsBGZdYMMrKZA)7f9Z*_w}}rg)V_hWg%{NuBx~7@F~8Abqu}t zToao)*@F@%|BM)O-j;X#yWv+FVsWKuLI{Kbnw2z}WGHRV zeGXJYAtR5%I)jgw28T2ybAwH(i+p{l%dR6gp@#wrW8W%z+Wb_Tb~E3eyt)ff7~wf!I09c=NhI7mb1_wESekVvR2 zpQdm6B>2gEsCg|`gU@eSO3Efxb_!ZPYf2JP|1_5 zM5!M+jwo{AzGlvA0u_J3Riv)(?Zig>GTkzUqQD2E=GMhJ$jLfaB?NTy985CJtu=s$6OWyuEtz_H8 zS2&N~_e?%;Lf)4`bQFQ)m5H$6RN;Kt1mlAWTkYP*z~6Vase0$v78MvIh#!tu?u`N` z7OOb1;Tu&a0|u#M4K>~=DwfRhKMZKNaleiDa2oz*DzN=WhRGHCN3b9^2ba@K58b+; z_oPVoqDkJ9)D*PR?&0kVOsK*gOTCF+!D|@9#z~90+8q z7OC-4Bm2vzA-Ua8q-XYW(+Jx&Ow=u7Lw7m{_u!XF@gt~>pe~iRhkdz^XpUJ+PU3!l z2thZ{m$%WKWC%+FPC1R<%iUk`kr-Ib-L7ygWPP~1 zD2T!^YSHL~``1`o81)G4AaaaXgr#pmo|(Nh-I=^E?wg>;KnM&a=I@Qe=MT?WNT3H? zw7S|5A%QTnb*waz9t;q|pVkUqKP(d@HW(zEhZSsiuP~_CK$x&N7Q@&3-an;9%HX<8 za+pi;-!A^nd{tPs;UphP;O{f2PfvL;o4>%wMgkj~D|Vxo~@de~rUQsd!H zPcI|aCpV#DGMg^9AtBw>+^a-pH{zgU%vw0HN3(~v5aAw}@Cu=&jT$rYgtKD{~Es5rnpuZ!r@(l zUi82;?!^g6jS7H$*NSilv-&9c4rbHkQ;aan;|o+Mo(<{Thv)^n0E~_)#&)SZ z=(r>F_=SS|D>CTnd1XtY;Uqc=b~;on4)z#otlR@duf$)%-#)qQ*5QT!VUD$Hc0CO> zrGXA86Kx|j%|}o=l0IvUnYPTFGKNW-nHjf`{6B@Ab8IHSxA(W+wp-gapSD}uwry-} z_o;2$wry)`+qT_zf4Mhra+90fWRl4_Gn2{ucQW~&&-dWD0d&X5{O|V)zUai!(7^oe z6X6&i`OUz=$8(${BTnn(HPSu?GNiAzj=DfULW4Q%(;JE54+ex^(QZFM zxM%L6R{C`6fUe4+1ih9}uCAX^Um)N^KROX=7Wq7ZygzF02T(u){4Wu|b9;Mcd)D3= z)YX6VzB7v20AD^}y-EX@;VwYF5Dtha`cb~*SQUQMAgnwx?DU+hws!F1`oEC$LS22Y zeY?x{>NC{BJzbz~h!QWL@v+0G;yKC3OOaefweXyrVN{wsr-D+(e1h^#>8=+O1 z9xV*M{T+-_y3w4)w0rFh5rXq>vhJG;)!XuOsw{$EIcqcPmB>rIZB%&2(ahn$5q$Xi zGHtVXB>H^)c8dEB2s!WibJ%&_MH9Ikjc?^Z$Ii-(2NhHXSWT3lo( zhs-e83rhKY0Cc_AOJ(Ofi|xJqpe?K#^fBUgZSLwu2piCB>#s@bP@i9wWfj9lc26jF zJPZ(sY z^nw9fY1_ba`<99QjugYQyPM|u5dVBi6Fe~CnTdxY`)b2pI_EFTbU!)E)?Pnh}8{(D+%JcTvg?W{C8NB238e3~q$Gm>I z*ig^p4m*d}dV8o4WLEgmTX7vsocF4b^AO;$zUefla$qRGl~p6-VxYl%g)1bQh$W+JkXn11bJnaAxCz|Uj1e~p*!1UlU(k^T%$wGk@SlufytIl#8gu?F^uKS?{~X9NoG9PRZ)Bm z)HzMTRA{kwh%!Kq?07~l#=!E9ByKtN&=~PclLp4PB&G@0^9_04G=mWciDDt+5T8`o z^W=Oc=WVD1Qsng}Z*z++sM?>@q0lyR_M*al(y-YCb2cD;7OF^^Os|I&>9&h)HLSls zTRr=oagOwN*ujl#25^8)`(T)&&E&*=~SF*bksR6+vX*v)3 zD*3@Ue@(`B!H&1YrZWXJrh{Y0r8^9wSGxc=U}aHOGaLUUuQ`?(T6h(|s}6sZmr>-! ziS#&^gbFS@mnlvpO0OJubaP7@IIordsq=foj|+4eOB6=@B=%Rmhl;SsEQI&4<7k^^3?6Hai zufgJ?+iWvW+^Rn8t)ZHM=fCV#is~{cVbC63jw)M|S;F0hOR{xbAo$p!Z6^i&g$tOO zrn_d%a?RCuVeD!^fYNE(}lZt!^5{ z9sDF|lfhYg=cBK#_ayJy!VnSCV`~+0S9;5gzXo)sVL?VbPvJ<=e=5|$>zTfPu%qo9bJcx z>p&EzucfwMa|Wb3l0lM^TbTa9>)md)+#hDaCjv%?aC~C`W{TDTskg46X}#uYIuP^3 z+i)Q&76U=Zk!)JBjgIZ|3I}B``tTtidGW^v^6Cb-t>&^#c5}T&x!3A*L=gNQko-R$ zE7F{C`9j#ht)_+tX7kHWyR&3#rnFx*xs;W5nzg1!8QuX?_9jVn@17Kc=MH`jX`^=E0^58tLDV1AM*dA zB{n}b!4fKIcOt{I9#;Qq3j09$rZakSYlH~+a{o!D_GNH0_b%j3TyI*RA48D1|0XZR zcV>DIv;r;&Y`=mU452`iEojyzQC&G-*4iogj(hb z&8axXbFEIl%&61ImNK9naj0K=QEw?OMQf}3N;+#`8~~1lELep9Xk>8-&%Iav5}#0L z-@*`6e$-)i;ot~oz~7bdliHtYq1A%JD8`w8tZWz%CwDBsA)>vsef9tS!!@xGs}qrS^rDq3 z*%@A?1hm;)uO%k)&#ZCv52j|e={k*UpxVS4F(~D+u0nd$IW1ei5xKfP- zejT-_7HEs7GeNK1ANMKz+?Bk zr~58@PYL!#ISFG>8)D>AR$dzplvccbOSe`kolSt7f%-m)V(7EEC*BAC1ekn32 z*|9#X^GcKZ)C}lD!Z4PsDy8y2be%~gtxd3|BShjv^~}Yj2hEj9j=d8o&A$P0;Bczl zh6BB6VT-(BJ|VPqcU_}T)t&bqKmv|B{~gn`0y@q5XC0q$O$2*Nd#ZA+cP_vfWYV%5 z%)gG|VJ=%dRbF@}=7cjcI2w#TXFivjXry3prlet@F(wM4IoC2;2Ku@u`Y}1W-{hYr zRe^|>V@@*%s_HE5#^vj$%SMK_Fj@2gdT_Q0|6yZ5WRTuWLMixJK*Jadu+P>(T>HEY zbE%_*#ME1_wlDXdKILU1Rsti0Y4%=Z%T;x&sLtcJdK}o;kq1@Q!Z>abETT|-j{Q3N znlH1~1SnlaY`-0t=>X@YDqP&MN^0iYsgkE@wMZJ{&#bF8bzxJ;F!4> zsa>t7HY6!7Dsk&7Yhwr>=so|_B4*_Xr;ZfA6K-rkW27^1s^8xp3mmKB8hN^D{_tXq*IQ zaS{j^Tysc$|HQc$G#0{|P+nT!aqpe3)lPf}m!j16`BTCT9YOzlJs|tqp@T}3sJ^_O56%s5(VI_K!M#*>;Q=Iol)hJ$0iJDR}W9@E7P^PoSxs4J$);MLM$= z4f8-C=&dZ9_2Quh(1z}Oxh3%h+0o=}@cvv-v}k@As8Od@O5Hfqkq!o8(= zTw2+ZY0@X{)IhSk@v)A0yg7cXOF-@Zio2;IZoz65gRMXT1A@QL)?<0YWCrVB^cu7| z551t~PIpE*pabS-=*waV%m?II@1CXZNPlfo_Ntf1H(A9&fQ|@y0)@b5(Yca`oK`BM za>};tE&}la49!|C=sShGsZ7pCVwPWAa$7O7`qx?j9k{FEp7&gvhR~=*furSKpW?sY zrWv}FQCix8qe}^798iZ*4?U?tjak*0D-6p~F?Ok08{T zcFlZLz!?Y^h#7w<`Cl&~cHrX+N=--IfyMl*K0cQE{e{*L2q)GzoE(<07NLY08~z2K zD;-B>$^5hBWoR_hn%yeU?IT#Pz^l`(vp1DU0Yh-ig75S{>GjWGr|~|Z8gP#NP6aPo z^hJ>O%`$O{D);!8&c%rz7rASWXM|wCb~t=*fd^VNc?0_b%w2XeA&N>@Q7Ish)vjBF zM83(@Ws+kDrQlVVni~nn=43_(#p1>QgL*-Mu!spGE9Dgo4d^-cRUIN3u<-I|BwOgE z4RIX_JrBA}Ir6_vx7PVtJ&02is+LREmI&0iB`f`I+i%i*OYZ>FmBw{+tz zV0GCl;TU#leWB!5K?@mvt{;!Sc>ZAD>NrDAY7N$MBFsakFZIDmSJ(Q|Akb%@bgV9q z;f7OC&f9_~-85BPoLwrXr6Y_p0+@N@9%8A=>ryCc>RVFJDDw(jYX zDpJhHSHn65DFv<4V;aZ3Wr24LFwKQjvr{4GH*9!P&7J+$q`+Em#os7UMbsoYS2g3c zOz{O2hSAm@=)mlG{-t6S6O6rpOHn}^J(lzP3)Ac^k6Oq_j$6b!c&tiiY9GwZAdl@C zg;3JCuA$#NS&F3vdJ2sN!AJ#xOtF&aoS8JKgIbVoe>jCzzc+SOz2=w zi}ZJ|!BErTnmeoGAu(sT0k3^xENVrFisQtwBv-6U6+k`48?P+*Vi!tL44cFE(1b4M zFcf#9iieXuwvWUK3tzjHt2T@Kwx|7?v#9#S?2}f^3z@g>11xZlN7nDm_69<>XY7sXkn5FG+*)YP8S3ZT)ahVhB6r+L2RR+fh$dDCzLrSI()i~ z8jE%;ev2<90!5krvU26{4?Ku;ziqmw$q&>~P$gv#u3w5gEcu_>2|WgSC}v=R_cMh^ zp9*h~wEdThIJ}r6M%yDQ@@Zydyc7T`y->r#j27YN)6BNtBkFIk)d~o|D+@tXABQHh zRLg7;(D@Krlg1l8fL@<7mIgj3LviAq&K1vxo^{PlI+({^>m@}qxa?r68yB7=m8>~+ zDDMPMLb;D>w^xtj?nbBaI)idGofsKX6JiS0>}&FGm(y1eCfRp<*O3^ss(&#(GB~_5 z4Q2sn`Ov}3rd@zFKImQ^21#jLw74y!YdUTTwVcgId0hfW#8!+1cml3k02vU%mp4>)pz7)>y0A*FuGVfS#! zzm1-KyU$QsK&CWtl1ekrW1SSg@q^}J>U1UTOf6%Z!b57;AR6?}zhv}}I_6+zqwsY+ zFNY~9)8-T2f@o5R^{t@C`uUNQ8`f1=8Wv(M5-3m=&Q;Cgr|+jNV9y}ieKhaG;b#dx z7FAVpx1S?hG_9h~3D4M16OXq0D+(L=omAq|OOGl1z!=k)rDFT1D0}uk#+uW*yVs;w z^u^1zAz@@{I5g^LVNTVKZ3J)MeD`N5Zk1=~UC*xU^;x#cRS(e5C1l;mzcnY|vM0YF zhotbTpr4P^GLX)oW88{*4$e0SjAvW186aF0J$Pzt`pgqd^>`*P&E4?9|8@(b`2&d= z*T)G|fXReAbEZ_LWWkBT8O!G9&ZT%2vcEpDi!4(BsM{%73cRG-bKN8E#y5>daW$g# znV$gz;bW+xH(~-E=q5wtAsqL@QJJGkbr1yyUtfJtDq%w3#&g7Q%gABO5VP1a0!LGQ|hxE&%ZnNdh2jZ zz&qPDGhQgWw!Of1D0&rAeof#M-BOq{ z93Poju}`O}{i%Iw;-ekK`56|Z7wEJ=G?H}0=p^H8wzz7GbJa*!t)-rl`k-$(*|6xq z2x7nZX_xj6CynUW7}c34J+N9tEv<4R3HYpQ!vh)Z2l5{2 z<&C@qw9IN?`zzxL^*%w$WIsnL0)2Q{s~0a9ILqFT#)CEu;Hs%;$PqF<7L#6emCWc06x} z0bojtZ}fNFsI~R-Yvvz3mK|pyz|0v7ctg;yM%#b5Rt9(7{eWD#hv`)=P6HX;z{=-Y zu{lAAb1$#EL^K9%4tN?0KbIEV%EdTH0hG!lc`Ap28c3`Mdp|7-R%Mx8)T!QyEJ4x{ z@~qTZp7lZI(|?47*EoW$$+Y1KHt{;W14hYm?h=k0w_*1ercc8;(5?4aAPmX*)P5mh z_$xgEoo<}~lZ{QxQ2TTL=s`XznNd84YZ+p<81LSSTT?GfWGg|7XSq3U1TU6fSYK-W z28G6wBX<%&kKUY@A$lq2^8%4yNW>+g;~Lu3bolplYqe?Pa0`P9B$3lzb@9NOfbLA5Ma|jv7n3dlTn_qhuZ4$w-r+rfh{_Q&R@ejR)tPK}z-D5Itz?Frv@-*F{2W;7} zL~A57c!Bi$EkUmkQ)4w3dfT@F>CAS4el3Lwg2+-;E}?wgJ81dFZp`Anv>=@*cpFcZ zq7&IHAx1+*V4jzOPjT85fgV;wT!0`v=>UIe!{dx$FA@u?9750=W-?67S#2yFE%)d$ zW>0+=VMz^hT3R7CP(43NE%j*-h5fp2#jF2AL>S?(&Je24d8KFDu4>x_w{9b8SmM0< zp%p%gv(s0WQ|%l%sf)VaR3mS8#~yYJ8d7&}2@}6Se@z%Sy6R@EN|IOL&3uKT4;BB{ zk-jw!Lq}-(6fq-VmV1c2(NUZLVkX*MfdH721UMo zE9-(0wU*O4kPnL7{Ui5QD+Wf=#xrFj`m}8oa?8_QvZ?eJ4TYY_T*}T$#vfoXo*`S^ z`n9_DD~Ic@xf3D1HH8j%V|qJd2pXav+wc}bJq|JK&U3{4`il3J-m0rDy+b&+t7SVE zYOssPH#5@$xGQ7{fQ_Poez0;KtsKNQ(xLnw_H;KJhyW0(KG>pJ)e7h4?`W`BHm?Lr zk~MoQ8#?yl!&cCok82K*Q@X8$K%6Y0KZjWxC2X;g^D;W`WjnHWmq9;`zb{?he?-z8 z>idKfRTkTv&Hv+*<_2DUhlg9*--wuc|}_g0)}5S<#W$4-2nr9&Z&;bk58wm{Rr1 zQ%zEy%QD<{#PF4|Gc$X7HWsP#_P-R^=!^7)q|`bIki~yzpXTo0A7*5ijz>I~fsE-* z(943E@a+;}h+FqBNM!pRZ$|Mv^CicI7-9P&k*^L&_7skEo}GGvJy7GJwc4PE8o+1* z{dlzKPm1XdhS37)-}6Z;u~W^3B9wxL3xu#2VLsHQi~|(Sx{QSJGYu;BmW8R{%J&Dx zwukM7w&u9hQArEhVlO>wpDmy|a6_94AyxcG1VIa)eq4oPrWl*JGhH~bm3mfUm}e!b zVwDKhWb#_bJ9xhCGSeE7L$qxC*QdQ;?Y^5ZgeK~1F!G}?v9+Uj6itL>c zq1TPO#c%4#C)MP}(J+^&lZ=>r7LQy#4AjUwKv<+$vMGL5bBxYF8n9H*geg>}23Egt z--Q*9+)5yg9ldP>`Kr1mB&14#k`##Z z-g{kIl6}hT36lF6_T8l}rDlCb-F#NhtbS}Ti zb$z{{?e=7OO^UJL81Na~`}?8^9;Xa8-DJmC{irU3 z*t+AStE>hQF|C=C){b5jBE{y8;z8D|=>M|$IsFMw`s8ppTHYY05aDCp%&u|CS$YHN z@ZY07U|Ix-(B(?3{MGsd_P6YrI~;dmr)S2oK(ccjVE`Mi56G0PJ9SbsXgC!g0j;rqVH19>Kze_3Qd;!=MareglArXK zVlthIWT0M~!pXczQ)orw3rRMQdRhuhlcwXKy$YfBF>vWtl}c4Wd&F3f*%ePGMlHkm z86&%)dup;j2++~>Wxq|uQh((Aey-IWz&H{rtolX4(oX!451sqk8QiJh>jY7;UqSgA zKPdF;<)DyIZSpe%QK3Y9cu70$s4gBpLV+N~j!<{-Pex>@0%N_Dt9Wm2-j#S+6L0Qt zn18jmb>^%U#Ilb+5S^;{4py{t#k_;7o&-ss+HCWEcwuAK!p<{VH79s(T0iEnBImDP zS~flemm77pB-NIr7@dn6*mjgGUTcvmjauht%}+g5a)$dI(iRNp8w03W#;i-?de zEmGDWmZcI$wR3-EMSZb68eGd2?J%OYFG2(rmA-+dR))YYVCYn^_k0{pxf4d6*Z6VR zzM3wDd;8+YRkh~SJtx&eF#%lagS*MAhM+3BBJ5`PDoS-}yp7PhN)hyhz=$a)lW!b0 zR#>`Pi6sV$)ABV=>DCC0(S9Jhw9Tfgl^Zime9NuPZ+?5Pu03116s z4VO}F*21Y3NF~iPdnIz&!+ao?*$LWQUpUDz8Xzl-QCx4nBnvJ5|o(<&`Wq?yMy7s-80@n%1@MD32E zlyM^n{CUH%HMm$X?+nYg5@{bOa)V#m@HMZd6O`!yNPX!25nI4s;~%*fw_4V*5WPB~ zaRnGN@6m%N%@to>#came@?72w#tgO|KZng6TkZn9MOOV^)%CNAQu@icv(y!} z$2gW))$hn4%*m#pYgljWjL>-8ka&+ zN%zGYzY*&m;X@(B%i>y3E;`9TH4MB{Bis0VRl5=ayfl_#5NyzS!DzquBsx{hmM0ou zY=>xp|3-7;Z`7i|ExmIz=p=Q6;twlj<8VN^zN7<5#bb?q7=h??Mxb!CyOs5nkgM`T z7IbWC0E$mrl<@<*ROd^fAb{^I9%WwDkEO;AyFl|g*tF8IZv#G;f7ZsQC+&{%<^V29 zF#&O~>c0H~y%8iEU5AYrEn+Nw+$bA3!xNh{o+|BVKI{F*QAT{iq5q3Bk0mARlEd1d zQ(0^xEFPAv%H3+r=(F_?gC~QIJYm{S5{T_hyP zgE>2k&&shZMT(Qgbb2K-auBA}5Ui~osBxc zhH^3TNedtjwec)}!_>1hhRs}yMRWoFl zRDvWyobs9dRBbcr*CTY@Ho7oN??X`kLlRPH#>m22a*h4T27HQ=VCj&mXVKio=KGqU zbklPgb<*E%k`o78W8ZOcSBEJb#_eVC&>-b{&7CY!-!sf5i)Z%sWU)0EaB$qHu_kJ2 z1B95jXdc9M?>n~;{XK~C(QqP^HzI=MNQ0+&?{6VV`tHEdRA7p=BcB zAB#zP5(k^*pMFo&!oksrkOlDn(MN<#?Cc!>Wrp$(GL6%Q^i{3b7efbg?eHQ?_!E)B zp1yVBx48ciydR&{MH5MHvbIEb@#mv=FpUG1hOF_sCd+a!ddhVsky&=yZZ(=BxPb(8 z{EM2X-O?Wl%AaI#$jIZ6G&6+~RC%2Adr>71zgjDH_W!Oa6Ys)Rv7+`;RF${M21=yp)e8x|#~t;WbL;h?&TUR_D#NQ^&F!zg6-+w~K;^LpMjwaw%@mv;8zsA7TQJd%;t zAwCifc>gITa|l+q3#+uLGTB_bhJ&SSM3y;7O#H8t;*b5O4&&F3zd%$yvcRZo-wQn^ zj(=P*k@yEaW>1Sg_u$``e&ubZmy_T`m0QdHCqh4|z?Pbhdmm7PG=q;nR6v&LSJS!f z)0F%3A&H&?nnLCKa=t8=ko##cSk^UBcMAVJ@PvSYRfK^+CL)}Ut*L?sx|M(9J1&YHa|4#75TrL4sBvddwqOSMWHXPK> zM;M$`5~fPIy%I`?gFxZPVUZ&@Y9xZa1_UxW9;+GcHdJ!|AcnQhT|AP%l0&ktq@ zF)1UKupVg{B2`hb0JhE%8jVQCmmc8g<(Dhk7wzF}l*fl4gdGl|(aDll$3%oN(;pMP z_+*(mNK-;|gH1yik}^P$(I$aj6j4LaRMJCGR8ox))YiPY=@~5F7T0Q>hS%2IXY~8< zORRxd>tA=zRm;#_j-y)~bA8F!AAhdJyLLZK<5~{$0t)N7fsQr}K5C~&qqoC){>odxl|m~9)&T>@LEZA#L6JW|X3r6tFq zD|!|rWH@$#%Usp{NYhDF(3yjU{h9J}da@7bs&@U?!Gb{)7Pu5JHwDx$3f!8vG(<`& zcf#Y*xnN4?%&a?@Ucr#KzHH~61`I^Ubs|_M`Yt+|^!sShBuCuv z#77(kFWO^byZ0aJqb7)sAJH~hBY7{NiK^_({>2QyT&%!XPDW2s*^zT0-f*|0; z=rELm?2aIyNU#uy;A*ByD=a!~uAY5eJs{8Hqp7>R$85X0fE~xsn;*;M%KEmSp^t?v zb=i|ZxJn8xPPQ8WBH}j9=E&Gj+MO2>beoUdVRTKaykK-rt2}pfY%6b*+W>t5ElVg* z0#juK^hRetomj8R2e1GLe{oYNI<~4n6ef1rD zR>tjFI~jRtKN&~+3Y5oaI4XV-_%I?UNxI?Q0fo4>MGH|fK!knrIhfL)A971v4>Q3) z3s&KCANdqaHxu9Fg!tz_dU#FGp?vCMJYYB17(ivsbg(-Gsiw}nqH}g$i!#f2&+w`T zIADfCQH!ULL^VEUTx&2N+H4dqy1(ykpj{wpcl!t9nQq+AfuWyR?B8>HKQI|(nc8uw#Ibn5b1DZ#GeI!&1@R7n)C&sTf_O`4{qG9=uYe7olF)fPgh+r$#}RBlM11D zKpBkDf5a=2YYBvUJsLAw_&%{IX=FPT0KdS-sUYhh!GG-9Y0I*i&QKE~9wKf7L0n&a z{RA0*4p9DNW{Itr>>aH(Q*VJ>H*b*ghJ2g*d5PT$aMm?Q+&)Pt3r_bN&pSZYEk0_m zIFJ#9E^9f5o1g=;A0Tz;O8q$czBAq4*x@q5cCjGPUc=K*+w5Dsd`a3s;nH;_9U1AR zwhhu|Z=uT^Kyc*JPue%nZSC4wt0VqE6~J6pzg-XR;&P0Q|m+HT*`EFu{H)5Mc}UDE!3S zj)OPy72{MzA6)*=CelWmGsDcLm`~$29?8-68G?T?5 zP_vnRl$o`0-gA>D?7K^28i`Z8ntdRdws8sBi5*@=@{QB}i*^3RMkMAkCg4?g12Xm1 z;cR0|%dW;k)&$m-mjwwblM>P8xe3EBaOx7WY6cV>N<&!(R%mXDVG|sXgvS*#3EHLo zG7feBj!jVSkjep@4xh?lILbD#NkQnIAtjik3a5xAG*ggEm)c4UPiI_Q#osFRvT2Le zDqan1j{;zC=6Bx*%&x!h9v1KQezLxvRd3T3doh*w&a*jH!5jWuEx?|u6tC>d`tPcorV8NXI`A>#mHc^^ zeuLoC?cuD3q3?5D&o*h95^6AXS(;0_NaPg1(ovWUYRB?-1 z%zA}wAcCw~L`MfhH=UwZ#c{=;y)*w8l3a5bOoYu7hocSPTZ zZI{2#ngGo4ae{&QBh2fz(*Q~A|5nxiPe0WJqD537$M1hWs7e+dCWHWv-!Ken|FKAA zCItLTD%#pQ{Y(D0f2M?usqMdr`Cp^XKWjz_VL~l#0cJ)36Dxp`h4HrlyC4%lKuCa% z8Neba%E-aYE(~DeCH%j){Q7s%e|xU}X8#W=8b~%TAw4gE3VHJkqZ}a^p z<-836zJb;UftVyS=$pUi@4H7&9jZ_ONH^c>8x%&Mztzu&GLr5!zxg*U47#aaKfVu7 zFx)$TxieqOP!mHdM1(pMOAv-p8)8%oFWO5Xjz}w`b(yN7qe(?+426mtqOODmkcz1Q z4ZTd+&}YY91_s%MF$^!fQK~}m2V3D$Mu@`OBBCPI>O?0+(WyvzkqJdeg~?;xl1MXN z*^>%m|H;1!p9&zKZodGUvc3&DTVB?_2n7JO)y%Uz_~E0(9!Dkv$2cq2&oPj@bb0kK8wr94cUI| zhV)M9o%P&N|EEd;9pTtS;oc{eMBr0_m%VSAO7v|2v9p1~)PFx_2!Qn(j^MVoL;dB= z$~;QWL8@l5V(BxXXS744eaqs>bW&l;qNbZNmP_e`T$d!^B?X N217|I#uSyF)DMUOEXAe2NxJLP79+ytne0xpI~s#aM@=T<|DG$)_sFu7FYE;Vu#{ zJd_)n@V;YW`^F?Cb=RCeG!g=gBy$WU-AT0PIAfpHr$GMBeUIcF+h5|JXxPez+}&Cv zI*kebzUvV&m&$OU7FmZtE~g$dr+84^^D!&U)#XEXXYBni|5_1DY%bhlhRIMr1QRbN zf~KV;+`#^=_sT+4w!K`w;)I+tFY)a3U-lo zaz)tkt)R7L$O;q590F^}mj<&C9ckFP8uCn4siGZP{rUc-I$3Jo{2EI2{zr<8r%;7c z`zL;OMe*@O1s6sDrhoVN$BsU>2c>#WLOG?$wgtBoKdP!|arj{{JMG1vP)UZ(XT&cu z%&@3MmWyo|qR~PA)sVU-WD;^A)2B|a%+mS+U-)RDO|-@HvT1*~c!F>LfEQXkva=U6>QH}JLhcP^nW&Z7LfWOGONw-&2(EaDUVpN$J3tIm04QdnZ9A^Neplwa{2 z#ZX8O6W`l?xw>H?84!Pp6f`gTvXIP25^l}FK>XroVt?g=j43=xqt38}Hj6(Co+X~; zQz21XG5HD)pOCRFlI=SJl8U1afU1CbhRbEF%O+R+JJR{LsF!Aid8oz82pOA&TD>sK zK942H)1Af&V&ro3EGikzzQRYN6^i+lcC zU9-#577Pb#@~|DJS`?=Ya(2eYEoBW=&Uc)6oLD%oo|q$so^GkG=@&#;Y`mtVr%g9C zMKS9G@p2gAWj%^{9fdD)L8nHw*=D{W4hI88*BnB|kV)%VC?^ab1R^|sR0%rNzVUbM zFC*poG&*9ko&&KS^!VEv!Jgr#1uWQTdvd;B+$mF~vSZ;>xUu_{Yw8=Q`0VEWL%GqBGU(rX{@g@61mH84C7yY;72SFi1gag%=^J(H@g zJ_JRJ_HWJ*>Zt0Prvkk`XHuRrglcwQJxoF*b*gN_bX=0V%LSQG|JQ4i^XLI<9z4$D zJMSWo>54EGZ8-m3@?Fud&Y?8dWKDn1le+kTcLGBXTS_SXXdUg8{o~p+cb(wtaA|(l zIgXMDgEDn^yFv+<21)oOXSDIkf#q}bDTtu{Of4;w{l$P;LWpK^r}WmQ8lFD#v6p-& zF=a&Rx|kY@{nkXE7ANI< z;eq~4(kK0DtXRo*jD62xAhVf9{>$s|#gtX*1IR@3syJfU@EM*-#W1S=cn(!U;o6Bm3-iar0SZH=)w9|s53%5W9JV>W^OG$W@p{?F?-~crLnz& zN9Si$M5Sl%ResW-Lw#nGpG>}aS|(;7#;na;*r3Jcz@hIgc;Wu=+egy?%~2OZlO3YW zX=4YonP!5^jZL9sgy3&+a3j61!sLaEyJ|ql=N;0B-z|omq#IPwkYJg`O7S35Fx|uD zwQ!HLcaRfD%_$cMe7Ae|+oPtB?Y3G-Xx#9YviRui?N=+k^;U))(rEWCbO>&4Xe#3Sbopa; zbZtp0+n)D-4ZhBCeW(5T)cR`IuJ6-)-;4@le#syBfndB4X-+OItq_G-oL#&;hEhJV zHoJulRAu0w*l$#6qm;iV$&^2yl`Fdua<&fVTl{Bn$jxeeyhX&jqo&>ulGs#*i+YT< zarO>czg#j;37fG-SD7Yj&JA<8%$X^1NVKKI95-9hp6C(SxbyT$TGp*qYPom@4e@~_^m88?Qc#2w% zDQYDwjmf7`mUTs9AkS+Vqbj>x)FV~>I7`qzasf<~u>n#TRDjqX0Z7KnfM(-uV8QOg7W5EWBJsANNvY|IB2oJk~o*WhmaDYPt1gQ`KDGCO_@k2ip$6FtuH|q2aCHjMa z&qfS@GX)ahOWF9w`PYdA)z%w&>i~F`V+2T9kN`*O5@-%?fQ<8!f(=KEQkOco#$Kof5S+iYXFciL4Y=W78EDI`qq3*;lDD14Eb-I zf0|q{6uhB-nv^qkzoCB`_%f9Nfq0;|D;HqT>;^F5gMdrs2|$$q)G*J21qJ94f`LcY zUw}Ok2-s)a0rH7Kz&iUrFiQdgmO0h{3^Fh3KN zg$fLSguVk*)L`ILXafMzfd6CLe|EwVX#?PC!2raX0eCMu3v|BW3MB@BTr3Chr2_-= zVk>|IJqQ>O9|JDw!9bxzJMfzU{2!}`3dsTclEy$XBN)(^+6Anbz<`$Y89>1d1`L82 zfH0YHV2%w8SjqMQW9;BJYgYh69AMx@ZW(Ch1OtCQZUK#4|8!&kFcpe`YVLpiE&#DS zARs`63D{Ds2O4;BfJ&tw0KoT8cShh=K>=8og#+MK%m7{fH@#KXfL}uYCY2G$RrLTS zgh35-YJyO}ln73PpE?v2uqg@#)?65XZjC9RN9@0NQgaHZ5r5Obml0UkssQ37Kn*$C zl2CwwBpA5UnFeH}-UL520b@RWfT1d= z!Nna33IMBt8sa=)pa4sCFi_%o0R(8^00|x(z^2zE5T^+Syp0)vGw(?tM+*$h`iuZk z+Te!T&va10w$48bECM5+!~l5zC?HuE1lR;K0@MBrz_{K&UuFXK0{q@WlkJ~J@zVnZ zkbYib{U_d8);VlF~4Pp`0P(XkwsKGb#Jrtm31_E-vTmew#V4yUr31~3~H@HNTK>?Q* zU|`&w0hoz-0>D-vKtG5PK#Q9IY^_1ShAm?QLHyg>Lel}efh|Fj@GYXS8QI9#IQTe` zSrjZBt=z5I$+%g$c>agtAY=U>NXEm;$_<#n(n4ar;B@Bv7e!`KQ$RK)&^!~;a$cpq z@4#Q!;A4IbakqCAcMxJ8rmCrlCS!o*kdVN|5*yhrB2#W6udg0mXHCb;-TPTn(_*fu>wQEADd|jTltZ{V8fyW6$R0M{;X?^fdPvJh7OW^r>~CzJBk0&Legu2JZy|f zTLig+kZG_w)1ud?hi#pU3W2c7PWMn@qoMn-W;a%5$uLx4VUr#RBl~4xH1q!;>gDBN zs1SyQnnCH)(>CJ5o16s>?B72k?gagX?o(51feUDZNzvcHgGG&kJrZ+4cgFRT#+%2t zjtM5;;H`m#ZX|m2Zcfkk_mhy2h^ydMVL*`0Sf&`>U5RcG1xhk!S zM~UD0h*o82BN87>I*jccmhXs3D@;wc5ZYh9tQsEbHnE<_)mn3l*Bnmt8UYCR-SGRZKj9i5pLMDRM1&z-V`h!8*s za%(s#AcTH{AZO+Dkn<^63>MC(GzjLCdhA)>6hf>x%;~v9?=yy{^V9oY1Qd@57#BRA z*4!xw!3!N!uW=p|bU4g%?3IFzhyq88L!Db?Vdr)3q9MMaVb7B=KNWl+msgdWIH8w5t`seD_+ zuPMQkc4Nv|HMG;DkSp^orNF)poxEJGiBderuN?V!<0w{_-h;04u!yxy}E>7M3V2Jj^xpMnrtt z_aI^8r?1QXLXf(*7jvlO<~g&d-&BC800{ovZQA&0J}gnhBM|aE4AN%8diT8tF-ZBL z<;iYv(^;7p^*n$84nXp#dVk7Wp=tUTL!TI+TAJi-XZXOYWhxhUtesh_`;mQeB4egp z1G0{w)#85gQ`=K$G!xQs+%Vfab3o-u_9MUBamoZ>^>=Z$pc*<9%50H;8`^8*a*((RJ5Zl2Gd*!@QGSgvWu`^}N>30ekJojDQ#GP`d{F z;Hs!IwwILG87g6Oz8f)(_JE&?#7os?qDeAn*IOIs(~OFwD-G#n4!0W%PFb701Y8;9 zTAFP21anITl_D2ozgz09{p~pqKrQxU|#^;sCT>Y=Wl1HjX9KT>H2Q0Dngb2d&AmzC%XnLJ1oH3ugu6@1oD*ZyvQ}=3kv=GM<>tQ_nxIlgb)|Tt& z<2G>MTTW3iI%bY&bi8Xwm} z=Lu*H1p9+Y&os!4@$G=*>j~eYSfY=7Sk#uq3hkY8GU5Wh{H&hPYkQ=*`5B#(*GpC9 zhUR#X*iluX2_GV<`CU2@`&+Gs&F@(Q&;_37<7{Krw97{6ugR_!VJ6t=DPltVjBQ)~ zUff6qJ!!ewl|BPk&fGtm@1@=HV!r99vK1vCb+tD3UVIUFW=dBQTt8_SFQH*Z=?zVtX@IiEGQojgp*7D$hZuWPZ-zdia8H4@n}VE zjRSFa-## z2{Il7d_BR}CWhctZ69LqQDXK|Dd&UPGL(c;TaYv`*kgJI0e*>~5|)v=}L zKf~p*2niL}6tCNr7&1c~KrRYgwI@2rHl=$M@B7b~x`TCh^e_VVp-T7WgdH&4ANla%| zGJ?m@$XF}Ps=cbR(_O}C=7=(ua3U1zLV7*}H?9#~o+=wWj9ln-NsEkYNr;EX4$&^} z0W+IINrv0-Q*Fg>%J^-EZX@FK_~Uy^2K9GkR>rKLGctRSL}+^=7q z+dlO4pW<C<$u{_kqgC)-7CUoK%eJXW7+Ok(qSNmL&jm3;6Kp&KKf_%M|KOW$;+K0~S@#@0!DH zmUXixPHnnw!@bwo*jw@1s^^Gt>@qp1?^hJnvE`78gi@{VyniG6sR$J z1WG~?)nJG#wF!LVT5~Vos^egOEbgf5EUWt}8Jq!FCKkoQCxgM#T z+lHG}n3#?Mj6pt^Sf(r?i02;sLE8Gs!NF~tJ0I=6-+iBhr~45DDuFAtHz+gfajz7M{Yg4P)^}*_u23$i1bX-ASAOYp|MR?dTN4TXVSM!?wOW%?) ze-km zsj|nfN&{2K9%%pD$K)4X-xaqW|N4kj{lGayrA_u?Tcsc$Rv$ToER<4rO7NZX5~^sEBcJt zAT`3=sv+3i2fq8`IEH`+wd<$R$Z-AKU9$+U%uXe)B?m-gxy+I86jD{Y*A&XJDEZ%= zT`QQRLk7;P9@&hD?NS#G$s34kY7m{pTO`sUvBL8?#;0lo(ei6T&PbtrL8=~4c2GN* zg?1?4gQn)WDeRlgU^OZXynNdRrvA)2*nq9xD_CHd@ss*l2ar5%ZEcrh5?P$)G|tD> zb;W7jJ=s>YQxE@%9sR{M+b%QbU`dH^a9(aeGh2{QM_vq#Zkuz9^O-@x$)=39?C`xM z1e-A=C#Hu@_M2Od@Aa~LoJURnte!p-cjQRsrJy(LjRgtkmN`*u+?mFM^nprTpIW$w zv@T%Xqaf@Rb!bhvpyHOkWvJbXg9Xo6qE}^Er!--pl^oTU81y->EE6@XNDpt5Rz%&$ zYw>At{Ptv8l3HKIA3xC{b6fOvv~DKU zYd5yBC5)%FqLw1gz1XIqH@6Fz zgh|yrlFH?hk6h)RHb@p7QzGl3W7QSx=4B=nljFIYwV`ylxrWB;^EX0KjOcDtz{GO1 zPm*xye12z%qf~uUGZ$_)_Af{Sa-#!fVEr@(Rj@l%oJ63{sd`WshpPv}^m)CQMqN3< zYKqTfC`gZSi-#V#SQaavA+-VxI2Lg|)|9C!tR*G45vjD!dDlf#S&p@=R;4s(-)klR z!s9G;?(Dw)nW;cMIr^auW;_11rZhtzn=0l}Y^kGzIsf9IIsAE`Ic6Id!Z@ojJnE{J z^=Q71(1OR;aIZ^=b*mgs#H#VgBTmb^p~-$sp$$Vb{t!lQ|NNe7Qp^@#-V6jwbs4ph zvNy}CEa}i_Q+&Mpedg!aVLIiq(wW>7`70J5?@x>hB0n+)qgvbjgtUKPf7Y&;^K&KJ zZs>V$gN;&xel`LjF{(Cdga}D>$u93UHvO{dIJj3B6H|0#EfTDs|1bg#6H0k~XJGSM z0rq>K(ld`MfB2a)i?}s@IT7F%wd~%TNtwQqp`H0fHDT_9D)dWikqvLu?%%PzKj$jz zaUEVI$O;0FKHQ!A!#oCls{*7qN85K7GCfv(Wk?zv$I=-9?Kg90C5ZZE@KRf*slER0 z?gZr#cz7j4AuWEdd!EDSgBtsf{c`l-?%K-jtqdWl`0{}1PP%@@B=X3(lKG{Zn%MeJ zYuH`n`z6hGt%*rWlMTi6409VgD?F>N_2-6m*E+EBQ(E(#&K2|4q}7Q}YU|#t1l(lo z*M-ka;aaqQj`uf&DUgU%`cXJ}w&SKNSGV*~m*Ym_2O_IQ8o>`ZZoe}goKy9)uR$s> zD^_6_NSwT<=K{qR`a_eN4|beCy`ExOcz4|Qm_hS#i|#u04Q+&XUWHL??|G$Yc_-F~ zkbRX3r8*Fsh1WRfs$9{?ZMG;HnS0-n64R>+%W)?X;ho4(okQ~L(muu4l%w>L{d<=!E0bq3 z55BNiVe;(TQOex%dL;cKN#o1Shh65H#Qht;S!rn1T$-@E*6A3DL8c2&O~sOlr`tSo zaUI~bfgApGb__DM`E5n4c((dGDvSiWA-`Mf{t3fmdQmnhi53LR zA@|%Amw9`J>m_?nR2-h1YF=#@KHsyT`n;E4$|DtC8drnvB%D*HRdi*)9~?uocon+Z z+IHOSm?123Gp!rnwKJ1$O_kq1xhQm9xuT01#~W=$bTf6V_^R@yZq*G*qy>+#ndM#DlVH8*&)tDeaJZ; zN2^Pd(!{4UG2+w#t21d8vtyN(*pZ}I^_QHiS1;+InGJq|*l-Gex3T9!%_XC=oRI>) z0vGRI@RT3&{B84d>zU0^j^c#Ojl$>{?{CDBzx*l>&P8XHBNNOpo@;Q6iMQH!(&Ql6yoQAkyoeLkrn{qWHp6!x_j zzu@e)%2(+R6zo^^vHYY)u0Vb@S3y5A#~UoEbs6CcF|43F>lo1=AFXnvTKX=^GV3Sg zZPQqVTb^_EAy38V;9ax2imU)`a5o))QPGdCz2aZ@VVm3LwXAeDcqYmOAMeOWcqSDN zji~^G`@9ei7SY{KA25n?LV6jP-6mH8_#`x;M~{p-01Ub*ib& zQi!x92Dzb9{@5neM|3N@MM_X}@N9e5(>?iM1nz5#Ys^ZMacBJMmGEyCL4k z{g8-*nnqt{VFFDn;;#IY-x&szJ}u9l>F!Uv>nMiqQne&;6SvM)U7TU%{2dp?QatBh zNap@Y=@P0{)OG!P_TgU=sK5duvxLp2&4H4Z50KZCO~V1t3gZJfXMI%PZ0-7Ftn(Q5 z0qt6x5_v_U_C-YUl9AV=QxQoCiFCKV0^fe30N;wMFYvF=If;I|zuLnN{wTI-xeEW8 zA^UMUob&>PiPXYQjf2pht)46Is&BVfc6Mg(F)i#s=d0DL`+XbF%cNm+m~1~f+5$6B zkrEPO{U|ocw9*vIQdeJcN&>4HvhgK(Kpb5-&fB9TA=|w#YVAGRFelU+?cap_*`;B$ zW=+X?Td0xJfz__7zB5^bQTaG%_mxnPXslbXQ>s1M3; z{l}gpnb1uwjfp4u|0*i{=mq9DMlP`@ZX+NvUV0hG71AeE9-If?x`PQEVHFE+I>*Mv zyJO?XiV)-``0u$bq5S4c+8|}Ab-_E^Di)?sI^*YQLVu-~pxeIm3!aT8C!#Ih9iq}VQ?WwK z41{&JMqStQM4aHm#IQF07WQ?JY_Wtn#WCLVTWFp4X7GmL?>CWp*{C!#Q#ZW-BQj4Q>um)Q&#`G%{NzLC``2F=7_uAjpXlX}D@8(!e8V>fPe~6&sc1(9* zf*!(Bny==1Z{6e|PlS|ZE0*IT{XIM0$D$|x?yH|12U@JPUI%L!-_9piem95?gjVA$ z8*ubha!{%7^Rc7-`V?N_4kw0+CWeR0LXIz#?82uv#c^+MeO{8{`0xe#*iBEj8~ZTQ zX1Y0Y&_Ow8>eSSF^hh9y*sn_b`=2d)pI?}SOV1H#IPKw^c@Eu$mf0-jPWO7C-A(ae zj69r1j4T8GaME zE3sXJen;$R847RAHvP4vZeqL1u}_wgqv>S(Bl!?vDC2#%hB@o&M&PCx2El)z%zUIO zI6Rf~4;9Ghj-SF=jLGvkam_J?hXfFQ!}yr!K`no4GLhb6OL{;iEp z#7aC-#U86^N^L>APEMp=LsAZ%5mzcfC}2!UUmT^7<|Hq^g@%lmf+caK4E3e5hkTQ= zs(D*xSXcSRnT2cj-Ep1F+xj~Z`Vyr+lYn>*%41p_xp74rbJs_Z@a8Z`S%K3;jKyY( zM377YA!!l({-e-kyj2f~bX?R`i5|Z`YAaUH z{AmP=y18QavQG@zT%kYjn%FB;QoOVCCp;N|X1|8y&IU0CZug2VM@UD7YvlV~tyU)6 z`>wJezP~w^9GByJ0-q?NuEKe!gX@3hHU}1E?&ZQ@A|Ir% zBSDczA|@K7`EQBeyCXdRPw665Bi4=X&~bU6qly=+xgSRnRGnbzS;Op45<+cJ_ow9_ zMfpoK#TUEH1{hp5K43SYS4Cfkc)3o%AuCG0BB)OQ&HpJh7;(XFAh~iQ1U`G9rRBVb z5~pKjgG(6oC#0wJ>&aM5k$EN@^o@+8ojPBm7Lhmje!E@$|9@Cstu?D#yY2Fb-?QM$!4x0V_WPY7f-FojfdZknt{Ozk=AGWNlMt}hS&=wSP8|0 zNnC4-*r_(s>gOY{7uodD!s)|RwGq0GYv;z=kc-Z`==-|6z2m!q!(Z_*^9@YD)}2H; zAu`^KzGA1Fc49T>E!OdDYIQv<%VzaDm3IqlCR^%C3{}@z9#yG)PC8+37F&?(jLYyv z>+0<#O5UmGPQ7(zq;VqHBO4qOaYY>^g6L zwAMk)1ey`$#AQ)=HITq4o6kiI3Z# z^@MKqs|=UyuMN+1x_BTRT4xS9&6Z>!b^1$=-R9l*DSsfJsvoaODz4A3Prt^;@6jE~ z_dFJQED_IPcd8HIZ#kHtFR5}0YPbJpkqEa25UQ2Kq_WNg6xkGd)cVl$wmuE-aK$ zJF4s%J(9Q11&Icua;U z9l{!_#LD^54w{ETLJu{5*v#U!zw^fhHQ_V#ZB|u~Em&5;>NUI(`&Hk1f41w_<~g-( z@OhR(KQLPVMxtQ|^o0AiG)mw2b`iT%fcrhEHGQfN_nSHX9sK46A_k*A2^4DoK4ve5 zyQ5-VkEZ^aoX*)FlP>mpd7a#g6`dNqQ*gsk+GVB+c^Bjw{~%-q>S4nxNH|p7sh8b5 z?L6sN1_+Zrnl!Iz=OluV8?NPYYnKz| zkqXh4fEdIj-&!xZpXM1GrGhuyH*Lt;EXIvh&QsiXuV#%>yC)qh{8k8Ss{9=;KilmJ zd|_DpLTVvKrSTD3HI~v3BF_4Y?`EnTcjgmk6j!skjXl?o0v?W}R#PWx(#f2edt6vW zhw&~%cTAx><^ANJq8eL52}#MVqT9l&bzHPR{X5f+j4`qqy??9r9ao3%{`Y({&LS8Y z#ke`vm)(o%5&F{dh~U>CMu(yO8kdJAL<@YW6x5pTg*=?%Go{M+m4`7*{t!u^5T4aV zB<0@c)s@u?wtD)Vl>MS8of40<(;}N9s@obDXOrosZnAy0+Nm+21Ia~%4P#x2Ct9Q7 ze%-BkyXt}*NANl zWJ5SVI75tnBhg+J)0$H9&J3bE3|BHXO__xCbW0=8Dfm+Z?%}JQ#$@PkY+T-G; zPEO3scXX&2*0-g8e8i(9CmE&vE6(4s&$_*y}@EQzqT>l+Jn8AFrnNm9FmfuH~cdTE*u; zzP~kcgfD!DD6a&K)(~9-vL~4=-t}sqUjy$PS#alQ7Fc9n;n*V`+y5mQHUJ*Z-#^$@Byz zIJr4_#kknn*~Ivy`6R^Hq{P^zIi#h;csST3BqZ2{$^LH<)VBxyw>*lBlLttoqlbWJ zM&uV%@rM5HSANp&THNHHQs?&On1e5!Et+rSqX*RLgWw&ei&n1@I7PQVlxb#0)mw{3 zA{IztOR6^7Vv9`|NP#d_Z=P^S4bgjUv-Y2}DQwu4%3W}r)KRhbzS>cxnv|#77i(D} zbsnLA9!0v2{%)SAL6Jl#)v6~M7Y#{X`EZ>n`$%4}ndeoZ*pNV_i-k}3fkV+;O475_ zAD1sz>JL@oBE!YlNi3~5EwYTHY6tBQ$(JOCf~#`c4vNv5FHx1I4^pZ=TI0NQmgrHR ztiGR^s4kG1<}lspjo;H&kVdxgNKPoSoz<0fF&-&>xtA~%YtYf5!%2yJh%$!!sg+_3 zgMT$M3+8J%thVlE#>vHzACio|)b02_n`*55wOB8?S$F0}im?)RY%%gicxE$elBCX5 z-#r`mclSUFZm@qws>M?3Kt+q`HECV5ZdLSBkq$)O{*InIe6R$n&PU@)A(9Cqb*5a` zBw_DM{*blws%(GT2@_^2lky9KkJa(y@0HyKQJy!9?&{w5za4y`F+C5#Yo|dM#71}y zk9fj~SpTwVWcvMHCMQ}o*SArQ=or;, >=stealth, thick] +\tikzstyle{gestrichen}=[->, >=stealth, dashed] + \begin{document} \punkte \begin{aufgabe} - siehe Blatt. + + \vspace{5mm} +Marker 1: + \vspace{-3mm} +\begin{center} + \begin{tikzpicture}[shorten >= 1pt, node distance=2.5cm, on grid, auto] + + + \node[abstract, rectangle split, rectangle split parts=2] (global) { + Globale Umgebung + \nodepart{second}$g$ int $1$ + }; + + + + \node[subgroup, rectangle split, rectangle split parts=2, below left of=global, xshift=-3.3cm, yshift=-0.3cm] (main) { + main() \\ + \nodepart{second} + $a$ int $2$ \\ + $b$ int $14$ + }; + + \node[subgroup, rectangle split, rectangle split parts=2, below right of=main, yshift=-0.4cm] (block1) { + Block $1$ in main() \\ + \nodepart{second} + $a$ int $7$ \\ + $g$ int $?$ + }; + + \node[subgroup, rectangle split, rectangle split parts=2, right of=block1, , xshift=2.1cm, yshift=-0.32cm] (ggTab) { + ggT(b, a) \\ + \nodepart{second} + $a$ int $14$ \\ + $b$ int $7$ \\ + Null int $0$ + }; + + + + \node[subgroup, rectangle split, rectangle split parts=2, below right of=ggTab, yshift=-0.7cm] (amodb) { + $a \text{ mod } b(a,b)$ \\ + \nodepart{second} + $a$ int $14$ \\ + $b$ int $7$ \\ + $m$ int $0$ + }; + + + \draw[myarrow] (main.west) -- ++(0,0) -| ([xshift=-7.2cm] global.south); + + \draw[myarrow] (block1.west) -- ++(0,0) -| ([xshift=-1cm] main.south); + + \draw[gestrichen] ([xshift=-1.4cm] ggTab.south) -- ++(0,-0.4) -| (block1.south); + + \draw[myarrow] (ggTab.west) -- ++(0,0) -| ([xshift=-1cm] global.south); + + + \draw[gestrichen] (amodb.west) -- ++(0,0) -| ([xshift=-1.7cm] ggTab); + + \draw[myarrow] ([xshift=1cm] amodb.north) -- ++(0,0) -| ([xshift=4.1cm] global.south); + + + + \end{tikzpicture} + + \vspace{-10mm} + +\end{center} + + \nopagebreak + + Marker 2: + \vspace{-2mm} + \begin{center} + \begin{tikzpicture}[shorten >= 1pt, node distance=2.5cm, on grid, auto] + + + \node[abstract, rectangle split, rectangle split parts=2] (global) { + Globale Umgebung + \nodepart{second}$g$ int $2$ + }; + + + + \node[subgroup, rectangle split, rectangle split parts=2, below left of=global, xshift=-3.3cm, yshift=-0.3cm] (main) { + main() \\ + \nodepart{second} + $a$ int $2$ \\ + $b$ int $14$ + }; + + \node[subgroup, rectangle split, rectangle split parts=2, below right of=main, yshift=-0.4cm] (block1) { + Block $1$ in main() \\ + \nodepart{second} + $a$ int $7$ \\ + $g$ int $?$ + }; + + \node[subgroup, rectangle split, rectangle split parts=2, right of=block1, , xshift=2.1cm, yshift=-0.32cm] (ggTab) { + ggT(b, a) \\ + \nodepart{second} + $a$ int $14$ \\ + $b$ int $7$ \\ + Null int $0$ + }; + + \node[subgroup, rectangle split, rectangle split parts=2, below right of=ggTab, , xshift=1cm, yshift=-0.7cm] (ggTmod) { + $ggT(b, a \text{ mod }b(a,b))$ \\ + \nodepart{second} + $a$ int $7$ \\ + $b$ int $0$ \\ + Null int $0$ + }; + + + + \draw[myarrow] (main.west) -- ++(0,0) -| ([xshift=-7.2cm] global.south); + + \draw[myarrow] (block1.west) -- ++(0,0) -| ([xshift=-1cm] main.south); + + \draw[gestrichen] ([xshift=-1.4cm] ggTab.south) -- ++(0,-0.4) -| (block1.south); + + \draw[myarrow] (ggTab.west) -- ++(0,0) -| ([xshift=-1cm] global.south); + + \draw[gestrichen] (ggTmod.west) -- ++(0,0) -| (ggTab.south); + + \draw[myarrow] (ggTmod.north) -- ++(0,0) -| ([xshift=4.1cm] global.south); + + + + \end{tikzpicture} + + \end{center} + Marker 3: + \begin{center} + + \begin{tikzpicture}[shorten >= 1pt, node distance=2.5cm, on grid, auto] + + + \node[abstract, rectangle split, rectangle split parts=2] (global) { + Globale Umgebung + \nodepart{second}$g$ int $2$ + }; + + + + \node[subgroup, rectangle split, rectangle split parts=2, below left of=global, xshift=-3.3cm, yshift=-0.3cm] (main) { + main() \\ + \nodepart{second} + $a$ int $2$ \\ + $b$ int $7$ + }; + + + \draw[myarrow] (main.west) -- ++(0,0) -| ([xshift=-7.2cm] global.south); + + + + \end{tikzpicture} +\end{center} + \end{aufgabe} +\newpage + \begin{aufgabe} Primfaktorzerlegung \begin{lstlisting}[language=C++, title=Primfaktorzerlegung, captionpos=b] #include "cpp_headers/fcpp.hh"