From e0d2a75c2c78d7ae07d8c8803e50635b66df3297 Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Mon, 8 Oct 2018 17:48:48 +0200 Subject: [PATCH] =?UTF-8?q?Concat=20aus=20=C3=9Cbung=20hinzugef=C3=BCgt?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- merkzettel.pdf | Bin 174633 -> 174918 bytes merkzettel.tex | 4 ++++ 2 files changed, 4 insertions(+) diff --git a/merkzettel.pdf b/merkzettel.pdf index 3a9d78daf7463ef599104945d1f91cd2652af57b..5494a4b4433d9d35e294daa01cc49f4fce26da3b 100644 GIT binary patch delta 16669 zcmaf)Lv)x8ptOU=w%ORWZQHih_>CIdwr#Vqnl!d;8}~cs|L^+lW-;5D#hiI67GOt~ zVCy+Vey}rf5~ndGf>8lI>imv)%CrDaHH--Y8*Vd_+(Hs+_B3 z@5*#-CBfQsZ)L`+fOWi`peDO<>$?79&8u5asdQc~AFa&tPAQ<6A%Y@2TS#JFv&prt z`@7H%>CKkYKE+yCC|&-NG`@^A85UowzoX$>6JEC`jiOL-b zI{T%VpSmc0L>pY*LLOPwCOD*Cu6$;pLRkDtHOn9?4>tZ{zjSDXyr1f4R#ooH=cU7P z%--egQN<4pBzJ%v=7)mpxj+$E;2_f=e|b<}q!U@^V7&aa^5{XYO`qS&6%kakxaM#w zc~5&K8vdkIWy{ZuP75&_ggqhDo)P*Fi?;R(-H`GN%;Wy98;v%6*%us@;zE8{d3{Kt zk92-*MK7Ms%JA%q5_$e6EcCHAe&=kFXx!AR^uT-bunz$DFQJo1ul=1mzzB!=1Saii zvzuY-mxM}`i!$P zd2Jfj+#wi3tPMg8lpr02g^8IBmQl{!!P3o&g_xU*C9SRu6!Ql&6Bm0Lb0Qce5YrB! zmK=r25iLbaFU9Ki>({R`HdJtUcvdEO1k%k-66m>20vQ=;X&EW0NH^-+7|JXD z?KUmABR`Mp&x_B$L4gvwaiSxbHVA4VB0Kne*&Br*+z9-pgbpB_oJ5qIoQ#;@!2-~T zkY6#T%-CSY4#ZSq4@9^wO!*l2K;XFU07@jT6131F0sPJ`_ziUA9dv|?E4XJzhxnI9 z$R9D#I}Ji&-2g~RAq-g1PGjaVVf}7nVjn0j(!bk8pi>-lAcQC=Bu|1wdp}020lcOf*=ac3qR%6g$o6^jT0VvO)9YhfQ zd_3eM&}N7a2Aq8BL->y>HU&D!fL`#iOT|FK1;i_B2yifD5NtE>kaiNe4U$$NY!DQJ z{IWvCSr<@|FEx#C)j)z9O;-@UY`$;j=d?#hN#Zf05e*IwB}**Ya876wq_j$J&40=Hm_OiHuc-# ziHS9To$qM)PifP(0Q3NhkA)oz16^ymiw0Q7eN3j51@r;t8~ zM>tEs7cnpK9#U#uRtgj{NLUB>r{6dA%QG4#5>h{=890;{_@yv%^|!ZVzfhN89?E@K zU^htV2K3u4NIUTTah${*WZbF*z4G3721KXJDu`=JXrx}&C4T=*PWkN(>dWmZ4uVe_ zv;jg$NGKc-9}m(Gd~f?V*9ZZJw@A7e;RNW!cb1*u0-rgJqlWlKU$(+pAm2|VFyc&D z&_-X3|EAj^+U=41Jiqczzrx19i6#M`*FMxwfK|l}D)>8|^}FKcJ3*H_xPJ?4`?O+b^M)D*z9mDoSnw!^Fq}n|?vYTC8$`cjt3Vn8*S-um z3_yhgFyJi?V}7Tz?@5E~Oa`yW=;kjInL#=^i{v|nzD#`Ei1@xyKGvg{z@P@~`h~FSyVe0fX(+iJS^Gmk@q1VdIlT#PWBrl{ z1tJ7F9}8NU;|HRM)3;+b7Rt=mbJh=N@XpR}QR1L-l!mhKPtokIZM#?9fbbLeppTzW zA%#u6*oZE|Ob3Fy$b&&3m*1XApNgC)s8o9^--?nyPlh-5BVEEiSgn7k13&v_#tqrOq82!=n6L|(0X-ry zNI>xWmIoB9CxAmM%2f%k0eSQ-{_nXCj*DWf(kyKaAiA-UBP8jTAde_|ur@Qfs}Vv5AS%?14bH-g&T=Ufh97CJ|uH zQlOHpqexn`SS*6OlHNfox)ChR#k>Nhxmf(KadcIjA#BZ8CN=hj6#ky8W8-o%oNwWy zP4#LIC=C;3!g`mtjB!Uw4KVmyel8RJwBI00fpJpFG|G)T(OGQ}>hHNINhw%9yBpv& zn;w{&Y=BeslaYNizYq4PX(gAe!ymxON*Nop&7}dwBz${Q&``pYJ7lqWHaXSc!w`}h z5h|~_(@Gj~-tWE4+u7hi|^dA z_L5Wu5qB%t6Rw$#qvqiWqUC3$MHO!Tt0A)>rEg@C#&aAC%c_eLtgGt{P6i4htm$xR z?!6(A!e&n;am*i8N_JLsBl0yO)OMFQ>U!k}1rwKF3F9=|Ud76uAs0ypa6P7mql^nu zm+kj%8pV>NG5+R(*a%3qZ>F&4BJyEo>P{#1a6;FU(fOIDT4KG^UYQ(spHj_8m6H7V zfuAwQN>Fe8>JZ&HX~q;wx(|FFJohq`E)Xytmgc2VjfO1!lqnQ#CK2C>Jn{_m=tvPR zlmed@rhWW-uK}-hovwfXI;~1LPs{vOBZL*TNiqF1&G4|c@eTw`uk^PPO7ApH%yKko zFO}j?c<_S;#t@kL8j7qS&tu|jDMXKHEnOq(7V^CyaMibyC903mJQ;vtG|dm4HssPB zU9VD9fI~AbDhT~I;AM4B4;-@0p?;jugI`v>-<}zbe*C8G@Qs(i(+Oez)*08?o!E!IpbPqJ!d)iF2|p9RqRioba6hJ$H-Pe?cRj0 zq7a3|y1r)_KLaqA+5r{;6&OU}(_jm?3GM`*l@;i&HHwi{6d$X923A~_j{^1z8GEL% zNze&Bnr4kSx?mFVV}eD`Airtr(SIYH+x)nUqlp69oUp%lIj*Pgp2<%{ZgHvEJ>|kp zp=5q!eeCm)VsN{?rr%{{9AfbqQD6z(D9JdT*sV4t4`Ee=-vW+a-s}zZPF{3x{Z#27 z1Qjj?(4Isp$RruFLn*2I;;Aod){t%UwORCXx<^xOiM%lFpzWo;_x|O+^GjE@k^I)7 zBQH}hannxZH*;z#E?kdp-7Dp0KYvZWBB>0k)jJbGk%^7%2FIlS8{JIqbA^0sh3Jrm z2I^ehLf|PWaR}(FgLQP1%)2s2)vsunYpsq(tR6)&uAFOvsV_L~{OUmgw@-oOHEdBd z-*+%8Pz0j!mfensT>PG2kOhr1x1VeSE7fy^X${|qRk^w7GK759v#1pwH&4<);)b-J zgx@4|pn_2mD(*wUD;~|TmO7A0kg{KoQ4O2DHa<90oPeYfIQFC;bg{20KOg(pq1Ri& zK*ze>BL{=mo3%u68)!RzTeOzpIEgTeCg);)$;~}_NqTx%v>oFKSO+p**ZVT`s_$fF zbdY56bP67S-+%6y)Z*0KC8ZAC z55B{mas%K(DyJ;ze&TqQ$USeq>oBjb6tuC(q35Ras36Z-g{en!k9CDzzY+Vn_9T~qJjN~XE6lq4d&1LvX7Xa`7f>#O^;$XX$HP9IYQQW$TLsL{1BHXa7e zbbttTtZvOHNHd3MC=yq0&cg??jSsV2EIZeGe-wq2n$oK)JYgJZ#t|%$KpM%*g+e^e zU37|8v$4i6`JmVeC+H)9Ry>!j%iVfEsG&%_bFJ%Po!-6>Nk30Jv}+Ij1k)qRE`#R1 z_c7kJnO*R6ENVzx0K|wZ;vUKHf+S8`3-JG1@M3EoIY_PU6C#lG-1~ersh&R3p8xT% zO6p>+*4pXv@7SZ|@V@CtFEtv@ZCS7Nm62m)s{(wVK-_CJt{$46eZ=I-z(tBP-xUqJ za5I55=U8q*-XL}0Q6>z|*}g>MEIM2XIwSbM*uK|gvl+7C^a-lzA#bNVI!dj(0yZym zVZEh3W8G}L#sgjb0i!W=u0GG3+{NJ3M`%}sD>K~KJomRgID!>_+dK*@<9)9=L;S~Y zWeFF4NZQq*!rqs^siJ4v?FlS13MkBB^Q9kGb{3Nf1TcmO^r}Nz{HC{=WWVyV`dTSa zM|}WvJ_z2SybWr-&=h;8?n9oL0ctyc-j*p{`_LvzTVU?pb!a##^KA@Wm|fY`Apfh|1ZA_Ghh{{1>P^Xk8my47kgo8vRZ+@}h&;KRi@ zH#x$42m^LoSE2mloHBj6y`&L+TPva1Yd*bYE@m&0K;~*#Ft^jzUCQ6H?QDjw9WK&u z@1v3F0#9s7DAm{bmr|_dvC4VeYybpdELM!Bu;TB1s0BXv3r!P!z(vc84%#`0>$s3~ z%lC}G+^5n3`}OQ&fAF$}^@+89kRRyg7ghY^+sp%Mfu$IVQiT zi<|_`(-jwDRIoIiu+D;ewUlahMo^5VxA{Lp;Iio;ieiN zE|ExRDSRk&U?1FvE@d};havspr4laqxuQUp-V*xJm2e{d9DAT-nM!s3Qpr<7aOX*< zoF|1^q@GxWjaR~`4E2kPV)7tSF451h2KU@QKS77_4r|Z?pvV(XYGTHjAjgy&i<^v~ zL}+@;p?>kpfH7PUtl2Fm#Lv0X9t)PamWzrL-yGVeYrA`z%jVN%hyFfIi%FIU^Z03m z?PA1fj@)uxNpJ$V^IlTkA}9TR5tygVKP=k}YdudTcTo|+IPQC-&%lUEoZb>YV)vnc zhk_9tg*5;Ld^>iD3ofEo%cLc(+2v2+&^!mm*PXl1fRAm70Kw1Qe>Tm2u@`JogfLdHIUOS{T7?n(&=)x*ju+W0wlIB=! zf9)0!JC9qyaIj1@(2M?iH_&Q*nRqpCrsk|Lqwhs&Eq4Ep8^e=@^b-jC_#B?nuZdwpy@DL4H=V4{ds!tlK=v(;bmh^z6#WEIZ|ZC}qThl!!a!;Cqr0Dj{S=*a7u8fJ-X=famD(9F z{R?3;yi-C4vRfcZZR=t>QFYu)QsisZ@^`DfoVYB59>8Uq`040CI z?prK44&U+IXvEfd#8&oqekk82&^Q+v)tjCPQCGhI#$+0Umb8B==U< zpUTzCvJvfie+k)hdP-&$JuWq}Q6(CH?!1%%#j`+sfZbT1ugG#TpZ3# zV3Q33CPp5alklLM*Vu%-*OlG7<{R1t7K<`3#+m2vPdv@OJB9f;K~6odV->fY{x((n zQ>p1zwbyw4fv!TVrpSDSXv*O5^hxW{qK8AZw*@>0$eV)A-6W}-!HmhI#lqg&^{J%BJCps<=XV@%dSWG1>O*+^0nTx_w zN?hDaEqMfzmD*s!=xO$!nl84$_6u7==A!%tF5hFzrXO0wCeJ#hOD(zLq25t=zp^gntURPO7g6{dJ!K5+% zIof-*!n*O5QRGZ<$*; zkvpWjCdQr*T0q;j=UD^LyX{Jt|8)4V6;z!Rrj z0?(wJq;WwyJ%L;zS0)9e*{_@~~Ito-@o2`+zcPrT0}@nR9~#z0E3 z6s=Xi_9T5raH#L!*6LDLv_JAPyez8Bbor79sdfk}qUBUqd!?zI{`}Q(5{?oe?=0DAAMI0`pYx@VOY;XJ z``P4cp?$Q#0vFWL?kHUxE8x~$C9S|XD}*BBL(K-|X_v|zyz6(5Id6N&95eS@3Uz=s zMU|{hs4#n98jsDFA)J6iZs%m!A(`afOCED??>QFcZg&>#=}H5|eSC{CoYIMLk~a^X z68-=*CO0QwGoP9rvXW<7Np%%2^Y}*<6Lt0hzFA-uevj*Jf;$V-uVxlC5#G)FcD|xK zzZ%YKp*)nj{R_&R*%^^RxvpJU`m_58%h@5!2F#c-L?!(p_xd zjhG-?2kyW}a)}*g|DM z_b@6Ozog}b!`<}SoAHmnWf{{L-H`~bv!ID3>rBRF@qq^yEvGkfJI?P4cUPC2M57-? zL*&$hZSFN{;x`?7nQJ*4rVKM{oPTF#X;UR11m-o*KMFGwRRtNjWbMeGCT@m4*7W6Y zDpxu)VvGffu;uFVt{Mf>hOUUV!zOP(-L-?eUrTnpM9qJuu=?2z3^RW4D{?}_oE_eH zA1szP&q@o1tedm0%lc%lW8hiDK4o4(b@PPpDtE6IHTI|M-j@&Iugy+8rPme!R!4pZ zx9F3{$DE%_i+M#GQM5DFrwmO*85ZxJie%GsMIc@@eO%M9#p`DizQ8yiGR-4(qpy&7bx@k6AephOA-+_!IX zrXERLVRPUQIKXgCo{%mG%f;YLiu%sbDv_LN3heEpP#%S)@( zaNDBI^yk6wJpHBp(BoUXPk=B%0c(Ks6}7EkM*BanvR}&yS@OJwh<{rJdLK}1t0t9h zbJ{k=TGX!s+*^G-1v{|nbpWS=`Z{t!npzj8W$cUk10 zHA}GgR)xm6ac=l)+<0?4z|X_Dwhd{!sV_%<*JShhVRPJU&F|VQUBP70t*>jKl};S} z-OK1qEEaDfm$>Tb^?B==r!N7*QrK9EoidT~)14PHr6bnf;c#TNeEbp3HB5gH@`ZNs zUR)IPnN7dybk{F?>yab4JP>#oggYk(FFN9EahR)}J=F^d;#Ra2LQ4Sjt!7-11hdAZ}{#L~_f_ zEWY67`S**LbCY^q64jijR8)~}>O?Ntejm2aKrX_VeR3JTJ|l#rB>F@v4)#=z-miS# z4v$v*pT8(&3-w1UV8@}I@EID^=$P4YZ^Ov=`qFbu1N;4uPu!6{*(+Np84(Lz&Lg1U z@Dq1G@=O8OK~Ku9`fU)PADda~^U}e3<(NA5ysHm89DIULn1UW?{tyeD$H-w+-%Yk{ z0pC{aRBP(}MdMgrQ#MlHUJLfDqW$N#-og2;I4&iR1X$|<@~gvz<>Q;L+uu3_-p{oh zm__|}WFxSDk)oElqm(5jAtaG$2>uMprwTl>i(ZLx(V zXo$F=7SW-=wLaK;`NB)Va^$={!%g2vCedJ(=r9C_#mA`n_NJ?v?q!o-u{J?Z?a zhvtWhjA3L^VlPYqn_*SML7T7=zT-;7;Ie^L>l1U=QnipCEfDClSX(eOW=c?tpHZm$ z31O2umB0377Bc-dw`3GbE>_-ZHKZw;c=Bt`CN{xXC*t(F$Ov8|h8!k^%aHx%spidA z=umJFsBf8LZPb~QoGg;8<_)`LaN81}euruFMUM)M0itD``nMq695+f9IOt)#5Hu;R zBpQ!9-F-U}@9Vlr-%r~%>&5jmCWM1b9xmh-hipj`oA5X`a&^R8s9qC%U<9Qn1S2Ik z?9^)S_a~nfF}Yn!+BR)rsIyx;^znto+_EN4Hdm_X@BRoVmz3C zx#Z23c|d-a8ZbikPUZ$iS#kyb2}z#<)SCMa@ma19EBmCLsQZx{tWieiB3#}y6!*D- z&5Lsn=Y*MRy~|a=%R=_cREU56%j&v|G|NZK`*Hv3G|sAd!zwOGkZDnw1v1m`wQ!Wi zGSaJ^q%Td)MfC3NWB;tyEm^@zO!tY4rS3v3xpC;02+vC9EO2lIEFTguNhqA|N z!n6vJS>KfI*xp?gyo>2!6tTo{LGG5KVKr%nepwN1NRi518uf1|UZAq0+aFipQf-*z zqQ%3V?V%uruaREDeOrWe*W0>_lmtV6sl-xD=XWn^-z;Y>bw#e$0gA}Gp#=OkeHlBC zbG-t>65VRa7@j{q=4Hcv)0JP>$51XhKkKdQjQ+u>m+LpBvdIv>>|jGH|Gi92YCh zihZ82^;IqkD^pnJj8MPSeH2LWU0)DUquJ;big#zrxw>!Q)P^mNHpi@X1JhK_^(*ep zvzVS?{@U8I1V%~3(vWrzMkCqSt|e`5$9Ygi^r=R{qu&$$bR5Xty^CDZE{ZcXnF4C7 zIw$RCR6cEt*)ajB%S(;HR19>^oiIi(ISEGkXOD!c!RS#S1krGRb!h^7`V%bl2acJr zcO%wGWGsS5g1*-d?fkR8QdD0etVJ9sT48+RZ7IWKrl4SPg;YU0@0Um1=0pnVD^3_J zj<%pskY)vx?ZuCp1gDx~h3=ET8J2psd9eJY`$a+xFqJ?LsqRG;n5nxR%PGc5GDr+c?I;!*4`Zc&uPpoY2TH}fQ1y9 znLA|L+=Q$jHC)$aXC(MY&VP3Flsl;*u8hV?5`(c42`u?@9E%OFd6Rakhe_Zp4@OBf zoxK>@%;A8NZLfYqKU%=+(RU%(LF(+>{3X}n)#wCd96m?yn76d3=U?n5o~@9N$8Y3a zsZwYMMan(9d@Hkc38G1!G2>>n^!Zd%F(^9CAtZHgrcnAWGo72hb49OQTmomp_4W{~ z^qDU){(#ZMHN&;6656wEEoV&Yn%|gY*?Pjb7y-x!!7O__kBu zfHJT%hr87#WH6y)TLzwSD-8GH%SukYKP&^Qo|b70`_GF0$qAdMxAoSl`=xU?lA$o)DFxRer(U7l5Qe~Ie=IPnxUD4Edp|lJ=3JIk?E7*ygzAOHq zdDr|tJiPV9JUbuMfV|OUU~iYKIl>zAxDBAU(!|9{tQwKpL*a=!Mw>iacwV07U6uL7 zPhz?99dz0+-4|K7Df)pR+Iz;U$>fn*++~%iUh@EBcv9FExGcsy2TA-j^~{D8dCK>< z$K<7os;zoZCr@zbo|z(eq+v)#f=$@YkP**Bg`FQj0JG;aZrcdtV*_%k&s@;i#Q=Ltz;USbJBmp8bza z7pfl^?(Z>H3r*?ADs!Mm&R+D8#tp#8o~DGVsWq#i4t=z=pkh(WR6-!DWAWMiA{$4$ z28Pv33;ny*l|n}7^W`!7X0!3^dJmx8pQKHuiC$qL_|+HeMc}t){w|A(Qaq{sg*R#S9>s_;o^| z;rP`*b$pSr~ltT!jnH6!ZTTQ2d-}@9qTQwxCf2f8IJ2f z3wg=3<*QH6ZkhJi>K;yb85$t^x%i`M!exFH`^CrW^$}69((2kxns!CG!i23{j+Y8I z1)fcR_oR1bA>fKg_4TpdqZ;9UwS3wge~Mdms~+lI1hI&w0% z6$AmxSHbfI&gMrDD*Rf|Mq_L`!OZHt^jo~?`j+)^iLE%Se4&j!oF`CuNa0Tj{I?)z zu`#qBN324Jyq2it?{V8=>=znIvdY6zu&K7NYh=ReG4wB*#4oGN;%nEYiNbIpSe+H` zE>kwA$Tv7rN(X7#aheEtnN&CtDNA?WiYWD;5~ug0rS}p_f}S9Din}YH5!l?M25P{K z#O&F|3*{Ke8vJ(Urw5wl!U5)@oBHQ=LPG;$rZl=H`Y|@e20=+d$wti4(E_9Ta^0xk zEE*M*xXpLv)Z{i)o-H055=tyemwv+&s`RaCgLse1G&NL6hG)!J)ivw6N8Eutenhpo z0-c+~l;%F-$bI?3T+Ur&(if+6~C=I6u}`TS?DOnMc;5j)Nkh zX5P&3moimDlBgU9X;+V;PfjYF_{%^buuNE=sgO}Tvd&G!h|X|caJ7z}@k##Ut%n~07y7XcWOnT_hZHa=!dp!rd>h`bOl>Kb4(zvN z3}F+Wfv-QjC)RLq>T2H_DShO z>1N&{V!r>`{4)!UJs4ZiW$XR(T&DjZ)<*dvTLt75;Eoejm>;uMrRu};7=**M(x+i1 zcS{XRZ=O6%l;3G*%9&7Zw~^49d8AZ1il0xwC=i^`5ht$3$$R&fiZ*O`DN5mY_D^d~ zUIVr5v36>(y(v=IOrl@IijNg-4CB^5tFP~YE3dKqZ+~$cp(diN)UZ!uI}=~42O|kw z6M&@ebA6w+$JqxN*3f_96BI?rj_+L^@EMU%adP~@Ts0bfNS+27joz$zdgD*s8I6K= zraqhMe)Jr{7)?jX){%|Vwn*Z6jK+(@`(MN*WZR-VRdgnvR!V|C@1;s(j&WMn%-qy* zZyu6@0e`DL2+y0ml;AXXu-e2Hxe4XWCxGmyBTM)@4Xy_SkrKF*%=M4hE2O+Wgu>l) z-B9%nWdo>Kj5o6_Mh^ZA`vrJ~52MC3@P8C()m@uUBs&PxTXNTu7jzFt#~$|;v58cTKMxyLMFPgZ~?Pe}tT_@_>S*Z4@TEh$VI z8;quFXe=u;@V2sN4HCN-73}i`>ff}fR`Ctqu+iPs1_uT9GYXWgjWH3-5)=r~D8PoG z#qJEy9$M_85pjg&l|t2Y8u_Xop89b|W(<8I8mt}E%a)vse=u@nY=%{HMV`(o@^iMS zjg82K1{)zY7-Xlg_>V#X8hHbG-1MJxqpI@#0VG_tW+h@D)N-<;XLMs3+U2CeTvk9Ws1V&L3~3Xb@TFfRT8jV;G*zJ935nhtv$QB|q)7CP zB``ij5Y3o$&j@wsr-u>&CTX{|2u@78P`$_~#TuHha@AJfmwH5zOm{lIB29y?-`!2l zpv(orab6YhjTh&$_pSC8 z_|^zW!?z#2;bul_Jet03fTvNHf*Z(f($(uc4UTRLuczIVQ>hvb_U>o>JGqCH8BHcB z?_JQR(pT|=dUVTw=p-t<7P3}7(;b@+R5|xQYwk>eP1g6cL3>C1S`S2hBP*k&rd@Gm z%OKQ8QaGPDpoR*5?FMpVcYpi7f1G~||MO+4+s$E{Me_*|60cu1wd3?8F=JPKqPprB zZvTnRu^&6T_Q1@^@P>YzDKOeR+)hb%EHHcyK@_R##V~{nH9vl;%wH#9eBI@f!d2V% zx2lBU>POwb^Aq+v;T!f!R)5`MIFPJf%^ay54ZnRqER{<$!A?Ly4~6p`60`}fV$QD* zvRyJn872yqCs1XApq{FrHE0-jAwKnkfQg=@C1?jpWFpgDO8b#mN_!JWg?Uf`a>Ra+f2x4+aC#`Peir`dx@%rEQ)~B=$S)yxi&bzZHB_ zIl-Yyr=yqs?b>6G#koyRwY<}9B!$~w?b1R2a*MATvSl+$$tP^xb4X(I_X5O$(qU)3 zPJ}I`3>uh?#CF8OYwuO7x~ZHdgjLx)i`!nM`Uw=)Hzp9CdPDnD2nR<-D|J`|)O1v` z7OJ0pLxB0!eg}6NS5Nc=ei`$W^cM&NwHwJ}_?`4HLvb>)o7(pb)3=eRc%MVL6_Hu_ z2@lR$0ix1L{=&2jQOQ?tS(du0`rg~#hqt%0il5Gvr9U# z$6N2Px+uW;!BOH!Yw2XxQM6s6j(Y60EVu6ALb)_;exKxW`INM@@RZ&LbI{RanHbwp zSHQ3@B3LMK_ZfhzD(sGA&6?MU;Gg442(x4q3<^Qi10M_nieV=pw#N6zYf5rH^siW< z)0(lz5PY4ep(Zm%cDiluc6B~l1_8_YFl%3F|ons`^DwPmUQK*EqLivLgsqOEX4X^{gqVvb zCL-o6CdGGGr)bcX2zFq2V=Zd2Hcq#lxBcfIs1V+%yx?^2!eu{ zDIB!5jKDFFIM>7=az6YRz4%gPEXKZo#TF;EZSD7ytJPSIfygL5MjT$jX8S7|#3DjFR z^H_vq(D0WMc6jy{vJC&}IPau_7oI|=6RKu@?W80yI*^@^&BJ^IO(X1Fx{r(z&qwta z8%%|aU(CY*P97B*hK5;FEg{Hb&kaSnRf+l!%WgUrS3Xo)CQDGWwD)rYRig!(ZV=lZ z7q++mnQrRzr3`Iq!!g^iAOI^2Z5ztXB16BvDzR39P|#3h?5UeiI={OE165!Y(c_}l zl6^|hV+$_87bYscpR4y9EO+nuM{Pmz9yK!~nhysg@iY(dzbMCs+ObaP(_wIEgPeMZ4 zWS6*}HcaOhty=#St}XiKA8)?3#tMU5E4kgZg^WK=5VqLbF~X5$2#M`^>lhR|lY+ml5oK)(} ze^FU3ilyB|Rz+)!_iPV05nyI>&1foN8Ha#fMsO^=bt4lS;+WK}qxPm7LY%zZ!u%PR z>_jigBF}B`cY1%#_UU@ai=2*HHya_vcvWnKr9J1MF)!Df0Z2WC2FcBS%J{F{9v+oa z*6~q-HKVyN=!rao4TdJ5nupA9$7!_`OROC3q0tdlu?5%~K(XPB&Xe`_uqa!}lM@s+Y)>-U|R`Po1$?1@_#cQ_Z zO}c8XzJ{takZeg;ao6-4g$qGBkH$p6<%pw^^_U~?x4Zw@L5<>0zERVpPbeK!;0hW1 z4=;hwe~S84l9nDDnR;AzBrIVfX@k0j{5LSnP$XHR5{N_(MFo8NwdrgFXR)95Z){C) zgwwJ2r|Ii-x>biEDdZ0t^ihLH)`&p&e+S;f}OE8@8v&jKRu`XJ9mE_oFzxBOS?M zDCULq3)OI#^LD#6bCAQv|NZ_Qi!rt-^AVE0>UU-fK*sLVraY~UWFIldfqL2P`*z=? zpGvj04}Y;QBY^3!$KQ@)CPs%W^c0!^)SX4OroZBq*P2}Q0Zq>r2t#}u2ZS077ZmfN zLwepliqFs;O>S{mdk{ZAN<7K^1Dh@e_5FhfA3ntXZWz_)4NPa;g*sph$sQU!2ybZbW&9hTr(a6_> zC39ezp-q2I&XS|OU**)tJQmU(OEY6S}t}oy508Xu?{w_f_J)k+YEb_gb$Thm`c}F zkGyrR-?Z7op96bs zbxyE|-x?N#AD1By;772`o%A*>UZLhs4;ZcX%~<;Mw$S4;ui(u`oSsG(LDVSIbJaaq z(ray6HYOh^IcM2}9QpAPtm}>^{n1jw=I52CQBYj#i1W(pYLB-q($xThzb8b7h@l@F*$9e`5-S(Y0z`|3 zmYkH$vmX{b5>$kTo7>S5^lOY-W=uB1LXIiwhF^`(XZt>({iS1p)tT8vjtZymVGr2Q zEBL%RBa_UDFTyoaGV{CYo2l+y#kaRNuU-6O-rXI4JfdWz*GB=GPYz8Pbkfv7V-(D> zapT?AY+dqT&c0r+=X;dNj9$v4eFCxr{#R!#b```7N$BK`Zf&!P`%?e$VcDfWp5f?o zWFfeH8frP z-1Tb}IHQKApQ7q=T$h)Z+Q^nm4s1%E&DsooFCRL3U+9O%QK zRf01R!=v}w1jGAj+bzKyV}e_yM(WCfJo7jK#cJGRah zB?j$VqR5i5=91csDjXV-!oSlMBtCm~+q?9;AA{#d(3ZCKgI*mpETV+_q+dV^ukwYYU`a5jTZ)4DRzlbgM2W-Nq7bwWtqjfb1AhJtbf*d- z<_l)03Nk;!Mg)>Ywa7gk>d-}D+U$1ht5iG@&5;9b!YjqDE}O96*Znb+VAOA5ZPd;f z?P@X4cE}e*|0mu6A^!t3!fR+!iLKgjGqgYl#8eVbue^a)cnfiO2k#*PZO{%Y&HD!1@R#W1C8+32zub@fu{$a9(d~Gqw0>r fxhkJt$|FZPIW-EG0jdHW3p6q~FbX9lMNdWw0LEmH delta 16392 zcmaibLvSt(uxxDGI7v=y+qP|;*v1#zwr$(CZQFM4f9uv;zg^eV?0PX>)7>L0Fy%`y zb!cDgoaX#25-seq(rMR@%U_o@@~152jncCd4b=8(M9Nfu08kk$0w-G2re3uwN!Mb% zuJh*UIbcJai;iFq&H_rJfv5%qm%E0288C=fuX&Lr(boDo?8O(ZP?=iKetQX@YB?&3 zGRC$3f4l#NQ9cU_anO|!HCxRQWByY&d#nH(@1eJ}kA1CNu0gkJH78_k za2>OfBx-ZE25du?2=rn3-q|__*r{@%Y#WZ1xF~KqlUa3p>(%T+wiMPxbW43WF5B*D zm@jBDk1w&3C|4sxNIv1Vw()lcm)as1bZDpbJH1tEx3K=eQ7SDHBo}1$L-H4pUzWR- zYNN;7d7bA&z65}1{*uQiM>vEubGz<6{Ng{@v3T_nlALY^%1?A((RKl7M%P;VKEx`T zi+XeVibX04=sVZRRk!(|0<}e2wMBr5(oh&VIhkPSWlU|&o&PZrak8pagSYA44DmOPI5p1atrk)qm54=>ITG zSlO<7%qj2vua(cP5pA0JZRM@c_AHGCmY^q(V~f329TQ&2-u@|g1SlHIv&@@65RpP0 zCKOtqso{JmQQls!y$*(OT_r9U0_tyQZ~*lh48VT~tr|%}Se66sZVex14-@PTHu5nt z4AdV8m`LG@UbwB2LtuUa)ChL&2%INmu+O%Q2F4!KPCcv}6eRt$HWtVg7Xhd@Ee-0G z@CJy}ypDQk1O{TRNr=NQJ09DnDi4Ua4IV7&?nfQURT2_xKr}0Mc5yLrbz(gl^Tv{X z8qg1a7es^y)M3D0R|&a>aaU>Tmy*o<=4RE^Mg!yn8Mc`lM6iXhZ*dF*K?F=O1OewH z+|f2@-CqM_;_8=^0U@vn4)?jJaVQUJ+jqMU^ycyYi+R)fS}TCGMmVF!#%6DhNu9%~M6BKy6jjPgtxCoOJ9Aq&9{Ccs(^c zgmDmTyYCRp>-9YPM2FxsBTK6W*;>bj6K>o8sgOrLfN2q&+0MLu-RJ7x%VF5<&AB3C z(C*Z?S?lP$!|o%R-RifD=(UMMy4g+R#R5hGiGYTMy$9`^1u~$=h3wIXe(Kik0|4Rx zePaY)KDv8!K-?y{27oYptar%O)#(XPIDxi~z;B;l$*)i7)LcRX*m^;rs{R)wtef5W zc!sr`S@Wa!PN6QK5`m(xH{d>f{@+iN5S27qJc#F?&97LJ6J>=tHPz+4kL`zF2@j7p z%)V4{0k}Srzi?o8kB_jRA|gRRfS=zO(1w7onnS`KO9pNZfvZ`^c&Cp_lh|DxgWql< zJU_tbLI6oJEJWQe?Ng}$aUT2w=I?Lg*025hukw2>#jkq)Z|fgZH;O03oNxKSUqriO zIDgOI76GbNeE%&FSq?``gI`uwkl*%>3`L}&nrT3wymPUlFIBsU1C=WDFG3EbT#su&n@|pDLW6tlUVWBtyTm{`bze!r+pirIy zh;W05i6oMLgJFqCHh(?M{dD_hw|)h~h&u&sNgWsCFgNLSzeI_cxr7aFYyqJHAU6tN zL*V7Xzs14?uyEGDquiJLPQpy~N6kOEJHheFj=-INppP0lg?~BK6@hZ8*AQS{9GzN! z%%zRSKn2=52eyy^W1rvpk0`=y#|WS1^Ad_bLcY3qyoMeIUQ{U7JewSf?7B@;)?9@3j` zD#G-FPQ`|(jlPH+{JT+}yw_6*I+DuMqIne0wiCGzNATW&?z1My#mxbWt5Fd>Fe z(u+A{t&D=q1~S~~o!|&(=$oEh%D0`9mQRr@q&+x_jz2~+UVdT8lNQ_}(QJk$dg5>y zJY*3h4y>|ntLn^HpD{S_;hiaV;rTxo-4-~hjBQ_H9nIT}&59@*npR`M6vj@1n-O0WY9e!?23 z+7Q@jsblBrtVJzr({sRar~Gmp+IgSudxB<8@c_oLCBt`-5K_iww45MfUzM%)S2-s* zJzYE7ynt?5WWOf?&A%RIITvH>%=9sOgA^)o^lN>97YRLFz(Ob7IyUW=WC@6bg@%Nn zcn9Cbs#CDI~uJhm|TxQZix>p>&7C6`7+<|od#dvv$zgVqi1TT1`E0xf?vZ%O@ zRL~?9OZ@$tv>XRc2c;m+PEK=z(>7En@+QM4Bk2e5;Lwjx;r!=TR|Q2@`)OgJ6WwWl z{t&qUK6IpBefO*H?ySo5Aj(zdG5by<4@+OsTw)HwE7=L$Td219-s{}D^FW^ z9qMRSjJ%@UlYq*(W!g3q+0)^8(9?CtlYb473&H^ zDX$ZOGcoK!&b4x%hUZJ%q6l4D8;Wl{%U5;)dil8tT8I^4ugt+{LX(#V!5L^NpJOEO zGM`l}T6DN|x}71{7j(S`kC}SXJR301jJuV~Tn_JQFEV<_0zzYKm{fn;-sK*_E7Rz? ze1i=A4!-FNNMEZ*tOCKz47(^0TwU6<6|kSdBff-{PtHOp4lcCOQx_|3H%u2wsI+u2pk$32!p6dA;(miq^xh4IlnBzx}E5=h!9n zHRIUDDsry4*ELua%0s@@HKx>IUB*n!U9d{Xu-@~l?jFwGsKxgEJ-Jwsi1e3ZSEfAf zI^!s0^o4nTz_pq%<4O{ICm&t}f;UnD=tBOyK2310n2X+ye6Rzo8 zHxalp-x<(#GFDhm4;qJ9{#up6Rl}c3fi0f8od9>(xlK)E4Yq`p5Dybym~Mb3Iz(Bz zGZL2Yd2bef6i9y!f-str#?SM4r|jI)P5#uu^>gaTa0Q#+ac!>JJx*fc1E~7}HpeIw zT9%u^WtbnEkQ(5LVWg@g?Flt*xG2j}up!ik{5RAr@Co3!1C{!8o-D_BWaG}Nr3?~9 zChC&#w31GtPc|5-t-PjGzgnpolAQToQTzFoaa`(QIn{+{e$uiGWLEvzi}H*~vTGM2 zLdaG&klV@1oxtgZDXQk~Gv)~ZjP(lmvJZ~>O&wSWFCXc=SR5#x1zZ-Oa@EcEirAEx zw)vm~00Cq9zj5vp?uWA|Lgs0!FE;Vry#9i0a<8;}9J~~nKkXn!kzQYB{}}s796~x{ z+e60t^E8xC8a@=vc-MoS*hGc`_fU(M{)FvL1C)aqG+P9yCC9#07+946fKIKY8cH~U z!)j$Tf~~S?WF@CxS_KnJ^Mqg`G;$H}-aR(S)l>NM;o$8aySFyZ`hvlQ;v=;lJF$@v z?~A$qs$U!NUGJDoKm5#r;MWPUV$t8v^4A74wx@z|RR)}RbL;*k?$;%f8v;%XX+?rx ziqvdYAkt(S!S+-^`{FYI`UF1t(m9+Q2=bNrzY^G}H1XBe=RzkhW%>PS!IRvyOHJbz z`kCo4(fsmz?PuHQDq`YnZ)jZH6TI}Ok4;|ssvG^hn%-|7e!Xrv
?By!~5RL@h} zm;%gjYI5fsVj6nUuC!ZV?WwulA>UMFeb$u$G%g2SDa(;i&H+@w-YqWUJUdY)ck&3j zY$h~u+iUmIh~*METV0zbb2HnawyS<63)JzD|M0cd`i}(yQ1Sg@hZ?Zx+{%mgU~u*P z&z@`Lf=uHiZ#uTE_tK%0l?VX~=eEBD$9<`5ka(&nW68~reX~XYK_4Ex^HkZPWAtMB z-CoDM>RU&#azP#7LvlmUYd2*SuR9I3hur~BwAwPEH4-fPps!R`pn>F>5%ALXR&E=% zzIjYzMTicL{Wpb(|IRU={7_GIBh3CvA)oGFtVd~&;+Od)%cy`=*1}+Ww~%&A>-Od~ zqC3vz9Y0Lo9q$==xi&0Sh{w>kQ)I^wY#JEVqz^okcex=fs@dR*;$brf;>~) z2RFGmUyEbAsK?nuF?BHh2mDeKVYO5g7xi{&C;nt$tIDgb2qR;VahKM^q_W(O`R;!Ab~W@o*c zOYAzP*~kTV}BSA_784#h?`6$i65L6Jh^ZT_=Is-)-| zVei@5k9pM=UZd6z59dTsOd1+p@3z!Swb)>K<1z&xIiXb{p2(#WQp|*px~3gtRB2Zw z&3k=<06rMo3M67}v%EvOazL)k=Pjk;^2FyaYe#O-8><-APT{TBkno!eewp)?5~k>* z$ZgBMPz`|hi`G@-dDP{i9iqKDX=FwXtf|^k<=HETGQu}6b+gQjPnUusq49(jO9w~a zM12Vma&X>+Bqs_eoR}pJ&_zKsjKII;gEoR#nEr;UqP%5G@^4Cv6Zz1&ig+Ks$q4$+4X3b`>t|d(=&|Yy8m-;Qd3Czn3IMm_SoVZG#~|}k9gprY-Hz& zCB~Q)^Y~V*A(MN#7NzA(uvI^>r|})JG|3344aW?{bvg=}%;!4HFk=(XmwGfl)}x6mC1d&Ikc+(sHYiU1q2r-J77w!rmO1B#V?WL2g}H2d){ zi8?f%lq$ zTQx-Q2{Al+oQ&nawavOs6s#7z&8&~Zzh^?%{L7N6)wNn4ItMXl-R`XOJTi}HWY|uY z599HO136kaFBj8w%CVV0y*kS+M%mGDtUf#KMnz8;zfK75}L+cTYL$@^tmuJskL|*1nDps4wYIIl%%6W zpU65U)2~ol;FZ&9F0~dn{KL=%av;gVU2iZG0VzImpugc-{He_}%qgzMa(1O4ZZzIG zoS;#ifJfGL<~^S2zt4ep2@t+I|ak1uml&1?hKEvR!H^>Flj@(t4 zKWQt4buy!1u!^Ze6A|s;P{eIXk$X}St{C)V8NsVhEEW>r0rB%MFO5>XWSaGMLrp8R}h~9v^k-3#7 z1?#!_((7=SEN-vn!Hv zNbQSdjss1+>b-j!sc0aAqSFC}V{Y0Py67|hq>>&fmdZE4m*1Gvlq`NF#5JF26H{Gv=nTzIyX;sI)irQ)gKtr9_s{q zF4Y5H%&&qH`~6t80KG$s9eXJs=;H;A%m)dv2w78AGov`P?bXW(Ac0(c3MGK?Hx*pxaw0tS6%D6}xHSZ-Q z%9$f$Ij)ZmEV`KR^nGlKnxHpsp#!>m)e^o_9`o`uYGETtH^V|N$%($h#$c#?Nc#?= z2iYaC0nFV2xg5~3?!vD(?^Jj{Qnd%}dl?A!AiTNSBPDqh7`#27h ziNF$eMNLRsCT7uaDvY@crmx%WZ0L8P(j~XDJ{~60 zsz*eSw*?scD`#{aIF`4B|WF&vA{c~IoKMqEC_vI3a(Hh<>OS0jWTPk+Ii5;%R7 zRSp}w!xEh~e92^HlZ&{WjnY5c4a_DXC7c@K$bK}OOoHK1b~=KKUe{$)!z-<^JKA;U zH`%SKGts=G^%78-S}PFForW}V(SEk8lLPMuVy>)3b9&{qyD zEZO!~)IzraE2sTh>WuEybse;2!Ahm~L)9C~gn*-)Oo{!K1r{|A(24Mq1CQq#mRX_? z)8q%tKwKo{#*cp*Sn3{=MUuE0K`Ia$GdZ5Y@bx}-M9PI?13S>tRf$2{BGKf;5SH&h zljhKq*bm$I?GDze_ZhFXtFkKRRqu&b>=~+`KDa!ApDxp~f0@dm+Z^5cp_a2eSFKM zcbe%Miu(*`N*SGoQHYt ze+Z!xU(>20kF;a|tM*%Y+4}OOE_n6NvQi~Ts=g^{rFgzM*jb#sY~KRbiWXQJ+yn3^ zFjYc<2!?qc*Bp@K+y4IBH~N#JSFn>EXwj>6;3`SaT0L3la`to+Iq+zi{xaG>?JYSW zGXT+*EO4$Xvm{+Z=8|2GM8vwdr}7@OWVn~U`7_~Ahxt{%{!z*_VmQlfcx|fpdzOV6 zHkc1Ye6Z*}7@fahS<^Zc{A{=DvIUqA7g5D+12^r-rM-UK*(SJ>99fu+Rz&Jhc4*#Z z=({3D!7+Qu(lU1XcMcWz55Ivm8mBD5Cl>ja0`B=C*9i_{Vr62|ClbgIv(c1TN5;U-r9vVk)U znz;-QEtKAvmlxjjru;fQZs{`8aC0W~{RTV_zY-`i?%XyGPj{}c5InHy083r#Fuj2a zi6U1i)Jq?V#XWIM{h)};dH~dQN?_xeQvJ%!^LQ;6#rG)k_N=wq)M{w|;GdZ|U#g_( zZ$xmJ==5WJ?KA5li?R`Wq!tO@hstY37U0-xkBYX+g9V7}FT7zR63%56%Mz_cDcg(> zwG$Thbx)H7Qfi}-j=&lqRn>fZ+|A3kRzAF}`=Na&l2@AG2V1Of1aERvlc{d>@E z#NAu722%i6V}`KPG=Pe+k0$)nPv1wu_F;d&qoHXDEkaDLdE|hW%Blrtnog>K4~Lyt zC7X2+jA@bPyyWlCu!0Rv#Hqcy^iq~+@0Co{?bD2qiK9S){MEXR!{sF8bG8!ajD-m`E!6q)n3UX)4cWKH|*^V;92#5M-DspV-&mz!DLexj< zCM@{is!1;eQKBy_^-|~Ed#Lp|{vD*!$63lW^R0c1_7xI5WcvM6?>|7jjcQ(99Y&|p zZb$|j`26Ek5=UEXavsmn%LOg%JfPsD! zoJPE(SPF$$i|yd1oh<_MO1^_(Lil8po-nzi;dJe48Ja#VNZqxv7Q{Qt9vsb2fz(W0 zv1nzi=oYeRTE98znX!(JZ3gF(P5{QkAGNRk(;;ssM?rpek5LK`=AJZe2xyVp%Yo#p znZ0iD9Ry5VBiZ|=PkrpGuJA6>5Z=}oVVgNK{BDYtV&|u}bU2EqTy^I+^gt_N?T9U0 zmm+H~w1%U1?lf?B^W(y=*wz2Or3$rHi1bF=ZIlmmCHEHnB2WDn-6iR zo6YUO!pEH3A zg&@-5AgaQXi<851;MOc8YXuusPO4;j?GsxLD&y~-^kiJSXpCLj8M@XI_&4o}QbiX& z`v=3o^*!(Psq8%S7EKk`ECELk@q?;ug>hN>D4WRwaPdXmW_0yW1!kNIqK1Pz0syS| z$nY$R_cs}1B5%6|Rb)ojPAsZR>`>~=%Fkmc(6SyvVaj$6J?1zl4D&q)cn2oZ@ zyQ@HU+YZ#0*CHuya^cyjTt4ptOI-E37gHgSR=N6u)JsV$sfoOp=eV$$AtCc*wL|-R zrn6$EclwaBw z+I7;a7%CeWfr12Pg8Caly@uqKr2O5Fbg^wX{=0rWMZ7Wv;hTraYONAv=rqCv?gN1ZeKI^c%HN8Z-J`?X-WIpm zs1G-gQb}?dAFl4?P4U#0$&Gdwma#FW;2b&V*oU2$3|GUmSn?$RDS^3;2LhD^tK80HX;irQquSG0b1V(g56%%fAnj5;3jO6Qfi+V z0a;NM-txYp!Cm4W2_Rkh6hukYpR|S>g%KFR&I23877+DR)mQ6Jx{Wc4az@mF)de8h=A(PoYx0SmONKck20QUB|pO9v1U=C=X1NUaCK!e``6WDtPNa^ ztxDS3;_)-`B`}7hP92NUeg&5>$x8<>D4H^vO8I!zZ82*{3Gh47B<`nGW+oizVQx_U z3C#7GvE@e)_@CgXlu-d=e5q-*?s&&}fd7Hyl z>UHg7?4*3@it6#b<8WF8vy4Y`=*O4eFF95rbIvOC$D|Zo}{!)7K=IpCp%ieQ*YLX*sf$}z@LTl z!nywPhFwZP-KP#H-TJLiBLk9NK6a1s z(#aF`SHEJipbCv^*>s@egy}vtkca@Phvhb8HHz9u^r-&cl|^z23rQ z!^D2B0IyBxJ8ki7J^~uB3-VA48}30y@TGa&z3{mtn}aV`k*`sx553VQb-pd@oYNUj zvZ!c~j5R`vlTQ5VR6>(%4)y?yvD*7D z)@lZQ(x;fK#6ueUA{0bMbZfZil<8)F~=Xiqz3x6pjY)KJQG?O_n%v+S*iAz=j zYtTea4hqtS;T%MNwP%YDqMYx|Kcg;ew2yyPOF0cPBY)|N7DT!}@_wvC;x_+1K`!nHlHai7*KLG_$sGjnP(?;++BHiw z#@0U#Y2`0s|7_MmP`OC>_r97ie!e$`?(MHv3@cIQ&4OeK88IN8{`GR;@7XVe zJajlP4~MPV+DeM9KHjm|1?)s42f0g40c>HNYvNU>rV`>+TT846N{Ao7n5e|=WNF}k z#c}-KmPbSGUHYeLlg;e}Lp4CLJ$Q|u#p;sJQB^Kzfn{t5Mx(szv)!#qJl zVy`+Nw6%F8`bGmM{B`h&*=e+7Xr2hKyEfDR4#(6rBwYI2zo51>is2A;?@RVE43HX# zM0*FGRvjN+ovgBRK#3%TjB6->(yy2-GAH2U=hf$o)yC;KjU+7h#C~xxs7=-K2ya4o z3-?whU0Oe8lWE-$Wmb_elcJji&kd(SVkU1;KU5M68hn_#kh5xgVW3soA+!ol?to)i ztr&7(LHlSp=$-_78UL*H#^(-d0ff(1-N2Zd>y@UW*I4O;w^dMb!K3Dz0JI1bjAZ$M z^_kZ0^BDtcYY@mhpM&swZl-%mR)I0(YDu+C)adr5$l7AC3E~&b)k)~mc9Ifpc!Q88 z*WY@_XDL_t<(U#L*^mb4rT%z(M~De>>XK}Oh&S-#Yi+?9)#E!m{{UZxwk*=a7sX;$_# zCc*Nx7R#n3413zZ$hlJ91Az480(rna=EU#jFQOFwO`t?@j=^s=PeE8Y@vFtp;>qZU zhoJ+Cx`&gg+Aud)kvlDih^f&ZToac!0?#@fxoTds$V`p4&tYmPRF_=x@3KD_quz!M z45Uh~DwU17M}om(aBJwgD(`G|DUwFa`N{lO7Elf6x#S@pX)5Fc0JS%V@U>F1zD5*4 zT^F zVmg#fijg(ZPOGm1@P&bFM}Ej>p6T@KyI4%XNWa9?<&=VrDH#`bR;mk)=E-MPR)V${(%a8 zoy_2_p6L8`Y!wsNqgb3Atkbb3i5Jc+r3N9v;`ZR|3GH`BUD%J^hPAhan#@$wPyMLQ zp`bynH=Q!5r1#Y@b>clvc5oaORiBzua^H;r?2`ty17<58L`dqTbmX7_ORMcJ!jOvQ zaL4?`{N=hlx$yYTWsl`zY1Ahld*YZ<<++!}=V?6tF2xa7HR(X)xyl4pSD1;WlX5gc zFq@LIBqrY%pt#VzQf#F;__p=jAhu2vPTqi!^fgyALRYcwFh!1z+GJcG z44hLZz^QAhwaa4ikpq}Xf?nIIf(+ktg~oz>nFyZW4Y@I?)TD!;W|pB&>!Ym)oI1T! zb|+S--N{EfPgSYN5>u&^C>2DRxCdU*O*3oH!_FuEG)+P9rVdUMXA8SaY`D?M^Gj$T zf+Xj3w|K_Uhw1}X7RIn*&HQ{dW|a)QO0_y90Ed2_I%<)Td2|lif{veOF_AA~M+?|h z{Nz+fXO=y3lyvf8gTO3iH3nu%n`|qUE=m>t#TIJ@mZ|M>@fy6T5JTBL0Y?a<2VRn9 zIvw|{cEqZ#=Z@U zaBD8LfCf$Rgcq)*n-me*$1XrGA~0-`b{0}_a7Hb9|O#ZrZJB0L%4U+z=(greZ!Lv!3QgYIeqh&1PXNysB(1($|h>(Erbd_uakb&EU z39+_KFF7b;KYn)F6|0$=i8U;?z>23|mG;^v9+5gQI}U%zT|eRd%cB5od~q^Rui>ah zJv`1gG8ztm^)GidFpEqx^ZAa|n@(c;}- z3mz0Ht9sG5c>qD3YvyEI4IPAu41|`!wdG zdvquYtK&sjX2DUNxK}3!V59&}oc#tRRl8yR<&kKz@i@>=$IyP%2dymj*|nzEYB@@g2%3ZJ+u~f}`1tio8puY3ndBG^T~DfEU`V zeM5pgTXkv5CwB%DVMr|LaM~Zm(Aql_Ot4EwA$YxA*;*eDwNm0oS~ufi`QWF?2pbqX zk^X09D*uByZ?%1V0E$D6CfrRt@>#s_B}ivJqPa4#)tJnv>T~?ZSBo%oA@BXOb6@hCOFH^@jpdmlP!?Ygu7&ooFo)e!yOW}jyT0u#&?4` ziCM#VzL*4wI0it|Kmz|smoY4zt4~-<2yHNssY_l029%CX8OYcxfKi3N^NOY=KqMyr zks6ifRqW%F>K_3DCPrpXBGI-g2wTeo0o)|9h39yFV5K6%HX6|FkNMS=hLtj|aq+SQ zp(~|Av*bdN2m;}0L=WvGXf(m@rMnjx3kd%au)^wRqj`J!d9IbhQ#}|ya#sr9zDNwc z#Zxn~=3C%_X%1Qz-%1UnG3ek-{(zhNV zsv99o;a#F-HzHN!xQ2bk=-%jq%z=k!}8z zQf_~iTWX6hg)WNEE4h_+0r*7-xOLfSIM|+eaOmaS zR0}q$)T^yxzuR(Je{WJOU{q6Q+L%UTE4HgEw=+YR^IE)+EpP2{W7o<$<2wBCDs(WF zs2#3FEQAE6&$#2cc2~DsEThgVfUceOL;f?@VZQecc0uM*d`-b903^cDlMNaa22pc_ zTf%!dwz+9vZ1&M+@HNEFAy$#j@!UYEXdQ8$BJV{;m`YMmTou3OX@I)?0)2LsCPXF` z=WMuV1xN~Kg^Q9-J~dg@@XN@@%kyE$XNz{odTju9&Pph~>)Ui+Y1rHm|1016*(ZiN zyw4mi+Lr3fUYesgpjWz*bY`a}z2*8yt}1i#g#38pn!LLFn$Zq*%*kt(6yI21Sa&4Y zS48*d6WFCV;DTVmjL#JJi|dpJrK%qSG=c{VI0=T}uJ1&+XqqHw)Em#{OokMu6yHpI z>W=Hl1zov6y#3^T8ip%=ow!l2Dvq*UHvBD#MDJcI`mcf_pruJ^B1xPEhVG;4=3#MJ zgELgDxllLnC&<}DzgRDgaAr9#xryC4ZNPx-3azlk&shF2&77Zf0WW#^ z+=qyF(h+RD$ZSN6NZKc3;qaVNJOvUeh?t~>lqkVT<`#q`8)L*r&l$J7%MI%*1vv8} zjp|}(_Ze*!z|!n!-i#ntX}bYSGDb1ZoUWWX*i=Phw3-YpNxm>1YxaAK4F>^%%UO`| z1mC{!(I54T^qfG$p$^DeIvHX{Ife!^Y=(OJOd@VQQ-ql{8mU>GWm8i+L24s<7$;`7 zI}SQ0a=T4rEXai@Jk?}(s58jNFsdvS56)_v+-I^Ju$hW?;HW(k7TQEME8D+VPYTR} z97kLUF3uI@Z-BAqb>yE>s7Yi6HV|%_jz4pi!h>-px-Mzg>fxtLFQvwk$%doEizG?H zhD((2SP;EcTB}4_ivl%9VMwX<&y#qzg?gi9rz+oFK+h=K)Ju8<_>;Uz?q9wvrxa!M zcC>jcV2QNdX=ssRz>z5maxJXAf)w}X zoVejp>tBMOghF_GK?GV8YH4IxL$DNb3bc4_TU(NIYxi8cGrJX#d=! z@@|8*t-4ly6mKczk0O+i2J=+BqUHJwfNep}1}YjKesB{6JslxbmIDf0`YO4w;#lVP z>>KB9pA(M?=kT|OLnkHbarqR<&;Q&?L^z|`#sgw!~*S(odo+IL0j z{4QPHwvko#rIp)S?n|9O$+7fv2s|PoA~FYrfZFfaRINLqf+d6+1dE@#<+YFqK$~wF zcv6wCfLJbfLNrjQQ)BwZn(V*^dxm3-?wFvMpp`)sd%qRpRfDd%4-ZIP4v*^6*`Ym{ zkeYke%Lg%A(I`B_TsfRik$sL3H-=d)nL!Jo))*YKgj3?Ni5vRfs$rOy(&OaOs@ZqE zP%x&@2B9TVczYr+6KnF(8|v%C za@9Bs%gBxi9qj*!cpsXZGM!18AjPE6VebkbS&TX4&Y`3Zlh+#XCKt3%lPGY=7{1L7LDXFZt^J$yPl!((5ziOX5)^DkTQb=d+VUv z2grGj_otSQ2I3LpIng@sc2KVU<-<6k*72Ae-|`4yj?W#3i=frquIv^|({=Cuxn{|a zZkerX(UMouf;$6_&J1n93|9R5W-64GQ%qt)z-&`Jz*PE3vDx_3?6tl1c z-fqEVgrhA{sf${ui&CvN}zB96elxSG>kbLtx?KP%$%B{|c3vVzGv_rcpcZUe%#q>I8epAH@V?R*9 z>-WALg1lG!qJuDE=;*-J^g*;HnlB=nKIFQL&CfQmI5StwiZo`^;8*U<)x-4%) z6TT0{3ZDn;T^v~x)eLFK3^ljaln#!kw-H3}535WKS-bm7HX_IUIWgjELuNmSe3SM@ z-yH&MS|V(gyUVL>SgznMRbg1J{KPL^ZHuv*^EQ!5ZAvsfKAg|ax@s1<$1>N& zQon1og}?5Z#Ua-V0IlPS^;FPr7@gQ`1}A4O*J1ZFq) z;G9&?UeIgUvVC{<}`iBh?Me)u%$usweI*SFNe^`iUX@wpE2n&q0$EAHzO*w;328;9&q? z8W)A{W?;_1dr@pW^;XTFerK+C*bR>KDf(3Q;ldJb;dI8VZwFSOW#|&~`!a3tq52ryBO$sQ*8Z;=;tdzAId5~=@AOTPSV2HM#7*ql)8bl6Vs_S zP7s0{L}LaZz~xd`OxpTKp6LgAeaD_FbFt$puoiL}zCcXAi!f)J-uwyCM!UA>XTs3O zrMHLc+^C&vnpP#X|y5{KPqQg)p+ZH1-^BPm1 zd#k3l+D@`YdVE>xcHFl2Z6n^v=UzK3k+wQ?dBftfc~y?%(rP!BokyQe?$@RL`=a`B z=;NUE&P-a}DR|-gMS7R+b2Vl4!M6}Iq7=Yl!*<8t{+@83`cVjy1J1_E#LAeOT?9h# zf3UT$2m}%sNks@LDJV9`Z=nJblco+#GIg~W!~<~2{}^y^xZV_VFh6;_A&6_D=$)n> z+%4?T>gC|LuzQIhhMFQ0Mcn0{CLdTsBJs>`B7gW z!+p}<&pjkR6C+RFDz{}lpOVk^*i@`3O@5o&lLhC+J{s43Cw{y;ZRCh@6&U?8O>}Bs+zl;tIv}ukcO~PDAY&9siZ9okBO^XWc z?(RRc?{vR}ER80w=~h;^xu5*XFDq!{_VQQ30j7u1Stp+}<)yx*{y3jW3F2l?kVBHU zYix_4aQV`=BR%a*uzJOdQ~aGUP~&zl441RmzvY^$7?Qxg%H`ca;>!Rfi$i~6WAjmE#!ob1K$|=G} z#Pk1M(fxnzWFlq`w*M=blPyfjB`Tr~-*?MZqfr`3cN6FNsi48aL^vuU0XHAOSL7+s z+=1};h0H^TGwb)qIrsGuJF)DONnkM^07E(CeYGa)uZ*wnj?bi;n!T{6k%byyiS?oN z5aLQIkT*i`LrC;d(F{^b&0E#<(U^+LFF5jTn3dTH>ABhYZVp`&I5%;TS_^D5A5V0VJ`J~eN@)o4$l(@%m^tL z5+tPmfQP%pLEs>FBR>%>1WF+O;SF0NKSA@w%Ta09Y6k3r3UPg=;#YzYz%p}kGQyCN JiOP$?{15+rI2ix{ diff --git a/merkzettel.tex b/merkzettel.tex index d0442c1..1a209b0 100644 --- a/merkzettel.tex +++ b/merkzettel.tex @@ -429,4 +429,8 @@ x\ \text{, falls $minimum\ xs$ = 0}\\ min\ x\ (minimum\ xs)\ \text{, sonst} \end{cases*} \end{align*} +\begin{align*} +Nil \oplus ys &= ys\\ +(Cons\ x\ xs) \oplus ys\ &= Cons\ x\ (xs \oplus ys) +\end{align*} \end{document} \ No newline at end of file