From 70eefa37d7b03da64966f84be95e68ff558ef3b5 Mon Sep 17 00:00:00 2001 From: Julius Tens Date: Thu, 2 Aug 2018 15:16:08 +0200 Subject: [PATCH] update constraint description --- docs/german.pdf | Bin 125886 -> 126392 bytes docs/german.tex | 5 +++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/german.pdf b/docs/german.pdf index 483d7a9a0b31ad7d0b3acf93fd5a322a753a0d69..753e12fc945f378e1f347124914943dd27b5581b 100644 GIT binary patch delta 16264 zcmai*Q*15_n1pNFwr$(CZJpZwYTNFqPi@<_ZQE}5Pj>J3Vv@OdFDIG2$um8xkZqfg z38Y}$EKEenj^&hqX)S4&O$m&iPtCd$FpWt3r?BC2x!9b!hN@wjq?!I??mm&^5bz)x zpcoXxliJx;SdNnFaWw`PlcMz2-rMd`&TP%y?qgR8(WEfyT)P%l8C8@LTZ|HFXltI$ zqecM4smn}Id^RHI=_4BqNBSkz;`wg0m{`7HE zF@I)P-%tc>FvM9xC4$fRVc*`x3-mn(q7^f3gs}k5f#LQ}^m+1jXTd5hfh{V8qdzDp z4hTOji7XO8pZiK!%P1&9!H|*W>{pu3_jc~=X0CZjc*^Gairmpic7_)2w!YTELL!aT zkC(*sg)`ytoKwH|)~*Ig8G|RNJtu|~`3#bWJQe9u;C}Jw3#?JG@MS*tZ-Ajl2tCzw zW;7)!#c{;4pd>(c^UA;0hETO%dTE#M5jmJdX?h#LrOvC4`TD8R?C-5C=ec3n`>%1d zo0O-01iZj$!SGR8CL-qWChVmsK8{H4>EM^oaE$8Bzvr(q8r^-OE8(gD1XLlH1u4Q3 zj=C-{g4$w5cZG9jdM?hNugZ(HiU~@X5@u;_HmJj8YK5f8W@KWh1FAv}Eb?YcP3@AR zOWY~|mu<4US(<>vU-B?0E^T&CM}4)>{Nfa`g`dDx17@ixVNcxXQEuC3H7Z%cf>K{* zGSmT-jc#$MX>xcLsL*^Amg_sdsNhkQ%v5#k9E?2}*p$_XzUt!m7;|H~W0hh%T~MpBfA`4Xs5nz^Qc7zTh@MOw!@?DI_I<( z97o9jBDxw?(z^PJBmM$a10zPLxGY+EHC(IcN2T#%ufFE+UD&Lv?={td+82mm`Z{1_ zjrX*h>>YK>SJ_&;7$E%?=26nhEuT?P4~+w_5Q@RRic7*Yr06~9FL>^t{#O9tU69ZK zX16MOE$E6LK8UQ@nkqCZLJ z8G(vFsCcY0A!UXwow1TTy51Dg!$AB%LhjOGY)9)y) z^-(ZfBxW9;$NW>%JT^Dl5CYDT`uH>bxD6l?Xk>ShWD3H#2iBDpst zBz```y(7F|oATqb^W%l!rV@Hra2RB37$oqB843qGHw>ekxxJ;U6$=qF6Dt>ca{o0N zI5RUFJ7+o*G%yvQ30x^h7lS?q3<_n7xF8sH3qPon7kWVmG?r~4_KzbpLjN{D7nlcB ze^4hxQ0M01#MD;iZ>@LjKbxNB*A4fXjqsD|3W&yx%v@-x4FnKV3rk~EASo*AiTXz1 zwKXp7|1@W1#n#V+JJ)+<#kN5tNwtPRa)%feLJ9@t(*lqNF`gA8=Yto(7Vk1M=d9f{KzLHMYDxfoiD>;a`1Ur3~0f0q&cb zot=ELtm7);DLg1c7@0U{=vfj3)ckx&5r|%1243Q0{1;xU~Gxt0?ZQxGz)=S zM-2tyhu{>H5r_voy9|uu90i2#gLK5$a9{{V(YG58YGi5r>(S9$^eY7x_Js|{#@^i6 z3@NhJhXfnIy#@iMl&E1A*glW}BowhuDE1eA=?1_}a0Umq2_&Bf4QN3ClZq|}4wyy# z;U`>LLbgQ=ZV>9{08EX2NM@ayrUhk4udQzc5iwD15PnMs;R~0}p5BanydLX_Ug;4L z{ED0yMP$Acnr3jXH`)mIAt(@WkN0xVQZ)Up(FrjDapL0Q5<(IJ9RUHgXX!NjC<`r4 z69AsdlD`ojAK?rLUff@R9#5Ht42)dn9tGJDsphc30=RhsyZC<2-yA|lW)PS_vj>1E zh+vt(t_9cgr->eW?;gK-gY5sW?$Z+8tLW?@(xgV)-=!+%cE8*OAJBPPpP ze)u1Ha}N&OYk&|f6zqXmAvtjaa&v=W`v9L``_H>xYJq#bpKp>?ctcwVeZQKWv!_qB zX}P~EK;OHt13+)LdK2!m6X3vSzobv`wp+HPvw~N@v(CS)N56{40JHaAm~Q}Yl6yn_ z`=a76=Kk*?m^T}L}6hYrWu{3Xi{Sa1GW^Em6hlo6J@p8C<^K(HqOnwv*H3w!ZhosGcV>;LIWwIEs*9ELM84_xcd z69t-O^#-20#+(0X(=y-ys(d0W1qdPwG6tZ(5e^|5v43-Z6!B^_0)*UwXwL`}K>KWd z5XYd6n%^LgKdG}LyE(@EHDl$)G= z=x)`)jT0I_yVfO2gEnrBCq+0c(#&!TQD(L+lULk6%G9slgb1uDs-#&XLNiic zu4PT$Mr(OC6|6tGHHk;8n2(p$u`TC}(L6b{y6J7dadswu>hz}y;@A_2| zNl$d?E3X6eo0tR0cLA{sc?Lr(w>ynb2R3n;{XErXZ`4|L1XVo_K;Ek>iYD#cMx@oA z>a9k<;Y@c;FUX>Ymy%OoTGP55F0YP_#(S2o;_1y_h+UQcvaG|X=c&5denmlZ0Ey!P;#4)ffQueW@N-_+yPCaBz1KmmONVF5rg*X z=w_NAHQ$|}opSaJu#brC@5mv15YM}U!Lw2dyrs3m-&P@-^kd(+N!Mxp(%3_gTi{5V znUH7QR5KStLlo9XQo@g4z2pi_Af?j?uiUA}77A{tUa zt-ANw02ZH+MV!ZQTZBH(ClW{w&=*VcC>}7A1Gh-HbKQ-&V5A z$i1f^JIUoGlk>0_9VQXe?O2)H?rWax|V-n=U!>rUH ze6jc?b21GEkQg+$|2ZkUl9mCF(qq|r-<(P^15#pmFLIvlY}p;P(T0V*MY;#~F>8}b ztiN}XUVAz(mvk?6&6VCg_YIS{D(~^k30C{7b0J^@opjRp1VZiU_6cw%_4F*FBJXsV zd?{%CQ)5i7r-e=y@qzNZ)omav%psPo(nMEF)s`F#K=wB7g@`S(-CJz2V~s3dF*GeV z#Ji>Kga-C~PhH^{X#vP)n1+|Pt7O6W#bq1bYqZcI78&!h z>6onpNi?*9QFPeiF0O2JxMBAq${;_n;vYwxZqJZ2IpB=ss*HyNG`9LmRovOT;7H;mTOgZdsWpBeB}2bzJC$pbHrMKKDR zs4m=={Md{@mWeF#l>V~gp_Qlm`xp^u%Xh=>#Rpbx0l|o3!;xlutXx)?-#2nv7;4{M z<_;}okIK4hK%%h85woA8V<$Rb0!I6Qr!3kGl<{;Q-MeROW1r-|%U5AtzoduHw#oV* zn|IeqA`q=w7^1{o>4%+}ipgOZ6C4{Ll%2p0XVI-sUT>{vhZ;+C^PJ3{D6nF|B!acm zc$`i=PYv6hT!-Q0((u&OXSZoGTPD%svNV|X1tpHcO5;E#THvd=_ReVF50{sKaUaOV zuN;x8-j;S)M_w5eqH#{Ft*e)EZ>rnkTcH+Ig^=5e@5Sq!ij>ZOe!L}=(_I6Sg)%fM5WI}Bl52bR6XMiAG&Md3cg%jqlY?a}g z^rhyn^IAWpsFj;+m9V!WcT~MIAaz6lXjF;NVSkVUseDP%p4I_?e@&J!j7Z*Ji-QGC z;Nqj`0NRsDd&QmGVLx5#qeb{8J>-W2>?!bzYqxuy#uON1>mGUzth6!D9pxtHexd@j zF`0C1V3jd(t##07Zl+gw`MbC{-A*z2S*mg!J8KIu=_XJ9>F}-b|Mv6wTuE_&84M@gt9P&HC7=>fq5i{V4H5Uq0S`A z?=&J&s>n%3>*>w?$Ce5H0p{UMnbJ!}QGxMTefypflV=KOC46>$!PujElyhnqln!RAhVwZnNr}kpXXXl=LE|?ZJ$4o1Wr9@DGlW>CnbN*}+MWoNdA6^lNbb)hZ zQ)u&mGkszjKlEL7TOnjWuyM-9qj&=SFJG6apN*5x%2cX>DGwyXg%X{IM{k-tKO)mG zK{U^CdoT?!m*3!B!fN_05(>wq+RwSV9TJ`k&oo3PWyy+HmnnO{=;2(|{ zd`^?VT~11)Vn!@)dixHKe*7Ax=-mJ7jr=aUjKK@&9%Vr@YkXh(DcB16^*MZqZSbx) z6?&A#;Q(J)F7i){O&jw=?ID=XF@uh0qEH7Z1NDExWJ|HK^DDn<8{}`?b)13!Mr(3B z!r01=VmalQc37z>*bH&Jb{!sHFv7&viMyqECrc9PP}agUZ6MXWj+jYC^)EXk>4?-5 zE*k=vbtgCdNnrv#<)EKg6b`>Ct+7gYuJErK$Bo0yKcvvru2gbo3=cn1Ayr2ZnI$LM z_5b4XNLGaGIAW35L_Z?NevTdGm~M5^nc=?|2BbGWuarMCAHH@n&Gfz?5Rh zbREw*foW+W=*}Mc3)}J!Xzd0afr~0YbdE3&#C>x|LwBj?p@j7o!|k7wHA3igG4;`z z;&y)xgH_@PazjSQzdZu1mFJ|4tz>)e?ZMFv(gdXz7#i!fU5carXUk?QQQtcREz5B&VE%CwQfyj|!(5Effr)M!-ISmt3={cEl=ROIe{B z%>Z9I%dl5pANd6?o?atcSab`iO)#>^LGl}EwMMLNU7FTVqB{fN5M@h@?m3`X zlTKnXbZYqf)-|E7y^vCaFyKDGco~70Z(C{Nt)ZaU*iw0h8^a^{D&ci(6;HCDBn){Y zhyFZo7?}TDoW{Fq_t@lW>)!eg>^C_P3B-MU@3L8L-k;)Szo;C%DZ>eaxfnC=+H*px zGnJ?xPjx=&B(JyTA-}%>^Fqf|N7q$+Hn(RKr*WPYwYBcwH;^_j(m#CWa`I2dNtKYN z7_fG1zUZ3n3L{LhsR%DBr_!g!U!UJE5vbg+yvYV)XeK{C$Irq;5jq>=GPUmz6;B?F znDeDx4#6RDVHl zJ1Wz6{lR>Ymf?pK^c5%xu_?5r%Sbr)3>e^2jnNCRi3YqtZ&>>#N)R>uiY}6@53;e}L&tMh z!te83b>zxEc;yRE#Q!W{YE2G4md_QrqH*_)3JzZ@+3}(PdVXQo5q7GfNMM6dJ?g$Q zeQ}2i#m|!<#H|pk{EddMS@8YqPc?{2k^v3shjHsVN9@~4)DJP1cW7z$BXY72cMMV` zE+e(S(MlLp&v<=vvM}4_OZ55bHyr<|EYnr4ag?dyxtW8Ls-~gd*4Tm?SLu%Pp~-y@39a z-eL$~a8Bgy7NomoqTKCVjQ0noLkOWlw<$d_LV*eMroc^)iEG z+V4@=b5(9(GJ%y7)J3}pQdHPnj#Il@i)@9QMkb6?Rk2Ruh&1hhc=sT#wW!=EU1>GO zGijATpcBg;%|BJ-N8PQIr`Nbb}Jh?rub0*3-L0R72e4V3y_CtL%;1kAwSe8BaMgkueW z-WoyFj=9k^SVCuT@bu7RItU-eeqwKAxWcA{rI<d<|qVVWSqazp}WOMQodC>*iJNOMi5#IRdSy$klPF=3&Pa+?t-{Q7r(&{Uoc0 zc>;OmiM%gv_aY;??FpY_EsFZr>Rw%sch^e9cP@VcS5r@kn|iF%Ihj#4+LQ=zs}w4E z6i|e*aP3fEoGhg7_4quD1#PiGJgf>|fOQ1=;F%yKDTl_mM>WgS4}#bL?&R5+9)YG3 zWkEgTqGoEf+{CJQ^Wh~jB(_wmQ$wdgo-m1E`tGYQ-gEXwbK7v@#5=(3vNe-h6k1Wcd^{Pv;E$S>086%0-k~v3S*l>{0GC457@w?lL7jK-W zmVX`%47E}zY7`i~Rt!nM=+EuW4$_g>i)ojLCJsiYR32JYSJpM+;{co2#-8tT+TcVz z5;};v5z`Q@j;|AR58Y1#Ufzhp-yL2b;J<|AH{T1I^NIxMi*MNjLD42%S(9PSjhdSH ziB40hGh1YRq?^uQqBOjKq1k}VU(gWh<>c8t`4TYCbg4%8@}h>MquW1CuGlOX3)N{g~c>$ks;MyCjNSOvZ6Q zF^MdCXVQ%JJRV!zCH|8;KJ^*jP(yyH1RY>~#$vfKtlMGIWdC(vpxX)gLIbp~fHm8O z=)+Th;?v8?s85~88e9CEiT>i8fwG{`SSazD50wsejX$X_Ri2`}_AtekVUqZ=A=YOA zucTKrE9L1dvz7$#E@sPx(3-g)Od3SZTTi=fvB6qPCr#wk#TN@yx)wMROXvW$M2Vys zP86eYarh8CXea4VUh~$rpPrG* zko2-7k%RMUWpE&3VM26Z{pG5d_h71o(?Rc|&d4p8c~cKK7f2IdBQYan7pHK%8kA?V zx3rP6`E5@%Vg7RNj_Z@bJ{(vx+x~f8j25V5`bAa9twwMw#PlFJjaSjmpa?w42qwhl zi^;xZn}*)=N%v(CoZsvk6M~+?f)9Oj3bge?wJ4K9Lbs+Da2hql~j^pUL#n4jjqCP4HA~CVn;($m!;d{1U8{6RQv`!_SSu$ad z#1puk-QC5NDux0-yce1GvYZ@JW?56IM4qi?P(2H)zXgh{Ums;HD{nF98a_*gmY`xC z7d`;qtmRbW(F_u1xE4@WI=(#B5^p=d{gFc+9|IGjfN5w4X4rPElg$li(mT6sV^YfT zl5ZxrJZ6g5s_SWvzi~stX*#h!BNaJk;Sd{%BK}qcf~YNBX@uWYut=uXOOBpO;vmr& zHwPJCOV*kli=p&KcMz>$xi*G@*E^z#-TVcNO~LfkFQgem*lLN2=SnQHOAY^M@VD|h5iK^P8UpogZKb{5U zYAa4--wH`R@QG2$&~mc;2Pm;B-cWL>; z2goN^cEF)@QcXn1Py$gpx{h(97}yY-)FXxFcBuz!V#_E3N!oRrLLI3=c3lHf?z7m@ zmT&&cUTe2Kk>wj)ZLRgTP8{E(u$vL_YcVvb3V((Sc=KlgK7Y*~1EHxyckB=F`TY`O zE%lHoUGkL9V$Z1=HCnZ|2GN}ocl8i6u+x&?2u4thJGm97B4lU&;LP&GcW zCB+U{v?ZbiL|V5%PSDTu;UHjOL$=WCzPF-Rb)rIts#s?wMXY9c#>uGTO(#)^8HF(g z4mygmH@$+IKI_$Qy}`Hz0(?>?t#kWXiYdJvWWq~ZAI_9v>}YaC*r5i;0c(RLSqkw=oNci z!N~$@h-IzW)+Oz5`7)44;Ds#jyxNjaqkuK?W#)tlnXa7c^{q6=|Hv)FRg z7PVJuzNy{r27z;qeIY<+6v?QwS-` zCu||gKZ2cYM=@W!GvfI^2WRi!bcgllTWA0yy0sv}S!G+AKP_lf9JV>GWQ$o2Ofx1r zc_J_^p&^lrT<~PJFNK3F5l{tBR6W=m{<&*blLF<(G$1gzUj$Idm7$mQq7y**=_|nB z!>B2v{vA9NdqD+5-) z!knj(VNtm%)B@OO&`Dxs`zmfXwH~n`YQPn4N{(%J3OCszFZ3jg0CD#OeaHjt-wSZa z2>2F$o$kkSIs)0DX=~{|E7p!>^1e(&8aX8@!*Arh zg?MdwLT!JtH#-WMZ@1f-j$5W>#tUIQ>|2X@mc~~0NB~mrLv%2FRZCo-`uTE5F1Nn- z2WLdB?alE@ZS?+C=#NhVH9fy9GbxN5e_40`b6BReD8L>;(ab6AdGEzYxN9a9w6*J$ zRO@B?;Qm_15ScV3a z_!uHgaJhNGv+rO{xEKEtBTOLWY}wRSMm(CREg{SaRT)X?wfuPcZSXXzoH)&S7*!`Gxx}M82GGlpq zMHDdW^oHTu8C&hSb5o!iSHEXDkbXM-uJn7r8ES<>9vT$*0%dZRRGj!jboo^k!F?q3 znv##joN4|gfzs|pN&Ao5y4%F^fFwvI;XQPjpH`inKEV??jX6@8EL%Rf8&xhsEJb3J z(yUJMVgo0dszWfYn~**|)kv5omvgf*ei6W#bYEG!_>4O2D@le+&3JiGUGpB+fyDfA z3))^^;1T#;od9edg3y9g6japgC%wBSUqtF1$ysdUGTD$=JA=XRVS?T?=&>tIW>8O6 zqWCy?RE~;yKjjC1QR1BFyrvKy(O|)8$((E^+yP{Q%Z}Cm7PccYNzG3XEM&1QtqthV zGkD6*P}MfIRF%AG%?(c`vowMipi3DlPl*QWK!q-t_4}-;Xc!@EZ@I%GeSv1OoSm8( z>bmO|!FcwrZCv`$wbVWN*6e~vznsC&A~#iGV#cibI#dXjr34#iT=2IR35Bu}E8>hB zN&Z?<%YB4R5;)GZzFIK>=k^j4`~VnRXqM2*jBe-liZ;>jbs=SZqtg>KX_@#FVOTVQ zg?xw&mZ{W(lWM~rwH_Q+XI2ebUNT$5wQ18f%wuF!MswsfnNUFj;TyC}@a;!Ghl*jX zI2p$Kl9aBF+E7)?PVG0la4{T5@+c%^H;$e66!^0UZd(315Jg+BA`{C_ItAcHq5y~3 zO@8|1UD>C17ytLEY~?ei8t`)pdKV60%xJ4v%1&RRuEq5EC%!ybf;-W9ywL1K{f8Pl z^s6j6=)tf~#%dgnAA>6Xv^~GQ%3LU?7if6q589;XQ0AoY3l2Zzgs?Dz@)VvLF?EH; zYpAiGh_n~Pq9L1UOH&d=yxE}Qw|RF1QwqLEW>{#}atpzySO!9$z578(XHaXh%B ztc%9+b8~~R+mr=Fll7lob%)Z@07QR^@7?FVmcx;a^Jxxb?NMPYaKp# z!)xj+E83saC(OM{MgUsv+gdrEeyI?Kp=m-v1OVrhcHTWJSlsf-AS%`u5hzsF+cfn< zR{ta52r+nzv-IjeB|Aqc@YgCm7QU68aV4uL&&Ne*e2p>$Q6_)>Qq;41-)utDLN3^7 z|GB(Pm(GoymvN^S;Q80H!Pt`)bzmHUKp~TVU{BwZ2EAT@mkC(*?K^lMiBI&12iIMF z=CJy}IBnittO*r$HrE&bnC=I57WH}OVYvzRvUDR4pyo%zT~P7W24jMg{M0)Bjx{PCuzXBsG@>6s zUdCoGoenDxZUnIPQIb(SesaSI$asMsi!-x(Pj|mgANi#aJv>;>Rth!ZyUHk5&R`UJ zO|2^|L4txOOut5FtrQe^6B$n)OSM@o#`2LA^Q;=~ctaug8)pjiMlH5QaGT-Nr5h*K z3>yB`5+78`5W#dsiAP5O??=*89C#$zI@?Y6T!t`Rm4Z-opCvhS8fsCuY+M zianj7kx=fPsAH8qSoX5vs(W3-e2`Dg$D{>eREEZ;>5`&N+0K87)ii@_@dRhnAHF?Y#=OU`@JM0sh+`%; z$k;sR2>?V>t6jV1CjXF)D5nlx55nX1&vx(INiAHE2bWn6GdpF=m;`Bplw6D7F+!`6 zjj}=x$@Ijzn_!x)KRolezWN>bh%>z~pqR2PUyPV?yAm=hs1NxbWT#FGwWIOn44nKp zhWyyvx7xZtn3n$&(2b$SBaa&qPx`#~sTv&dAONgF>5};ImXat0F1%lLYT`%V@^$ae z`{z#51!*qplyzgL@`vggkn~F3$2&??B$mtSm1y39oom7+c#*$3d?T@JzxV*J7n(G-slZ34 zqW~!LUqDUPD1<$6rbQ6C>3E5EI*aLe)kCc>B*X<($-VT1dV>+<%r`3jHS#IPMYcsN zD(JL6ck$3N9wuf(7B72Um90@9{y-Mp787`4e=#~P0elJ6TeWF-y%nI)`;}o>Wai9P ze{A}~GD}8`uOT)T?vb>3W^_({GqILDp9AnEFFMrwe9;9^Wlm3DQ+6EmtrB7$VGBjo zOJzS0U`ckv%VARf4v;f;-8jeaZ@5f_=E3;qx!k^-Wa_`83{&vY;2n#l>4eGUOQ6x4 z6D^Soen*87ZE3m;9HyY;E^51eR1q2C^>PGT$&(6Q44B3q2Y-hb(n2I@eQ)H)T>~=K zMvfrI2e|MwfGtb*ad9SD&*Jp%s#I>G(Fvzf6c3+D)9{#I54uX{#lU07l5>s{ z9Yi1m-^ns9&e5tphE|9x*A%fXS<6fkFzv5@p)V~I&YOw;h$2Mq@`8`MSF;C>t}qa%e%V@`(3w$R?F)VdO$+?A6R1` z(3L0#vs+#xG+8?Fd=!eg-e=Q;GSgZOJFA4IYq(qeqVDKibv?&2C$k02q19otq2i|f35fEVx#mNFE+ z9&T^&QA>q#-t~D=bq8@O11_=I32K4&Jd&3-saEGY<*qd6`7fZFet^E@DX$GFbUup* z?P#s4$W!akIS%N$W0FWogOfc;(K4;9s+wtvQr>ty*&XzCl!zhiCFpPV#L+E3%ZLC; zu>Q5MFE=Wiz>=TyLhn$!O|*BZbng?9%Tc613uni3;Y}lP+q+h43Sxm1Et#*}8kmQc z*}L3}Vq(|E%L>h}0id+R8Tgsu(Dt{_np(;6(-UO%(LZCgVZm-Jb$S0nEBjV|AJ?4l zjfZ!q{-d~F|Mo?So3d-vpB*GXs{kLfi)X^*EYrE52`_y9bBW%#The0Ep_%@uTHQ59 zP~MCx?g=Y1!`6Kad>|$IQkWpBwB<$g%<2G z^JwZ82(_2NRIGy}!ZqaH8|vv)`?px@;O^oeNusOq@wq=xZk?8vDm{R2y?d|OHn)^U zo{IxAfdaFL9N_Xa$+`6dXFZ-O?~T)M_ux&>Q&a-m@=1Xit!VZ|T!!6!Ff@KD%>pKz z+hADc$-K^^c&PNHve8;mC#}h;rH0Zh>!BTB}T3eR@yZaSwv~ zH3iK<+FYfFHT#H`H!{cU%L;we-Un3_oV9W4Rj~5(hV^NY_YDp=suw?yq^O=az%q~g z3u);m%h|e`4tyvH&ce*j%%0x63rz5T_Fxxy0E~^9<9}yQ*V>yZxY8(or?eMNoE%jh zyCit1#&z|~d$2~hoBNR1-a?&Q5-6-M{@;01wgvWqcVj0`glcM<=9VkmUYDi0EE5%3 zsq_=(U*!|2|8kU>O>NYn*BmQ`igPqq7A%xjLaX%DIJA3D>daAUtf_UW`kJtgD;^-S zcW4OV8M+<-!v{PSMnqSQFbu|x6-W)r{S``G+OP)Vhq*Ay;_3ICl~^(=1r-@I9Mw_m z2O$RJ*^Z4e{W_^?Q3B-^Dl!V%MJfzl^p$G#3`G+Voo}Y5zzC`MaS^$Aa%$qo5vIDe zEGbmDYBNI;8tph4gKqHt*Y}6)es|v$${*8r#oCJi+;q&v6B8a~0=Ap#^KJ`gFMa_V zioFy}_w2)Y$M1*i58Ju`RYX07y(I*h?*<5Z(=7!HsgKs(wLXfJiqZJg9WbXrccx}n z*UX?yHeK+X^$N%ccN}36UU@Mw-dV8DT+AQ_mpR*S+dL>ATGR;ktV5%Z>9+@~-pq>G zz8_bB>Ur?VrkY;?DkCPL1m+o!gw^T??EjVI!IUaX;PomU6|*Ma~u=2!xUmzab?W=0n(m5|s-AwiU& zOjgJ&Ww@{sm+3g3QDtrdJCk5yq6ht$Lmz<#(Li4eel(~6<*GxFd?x%X3GymQp)GWi|!1)I2Y|pKt6We*6-Q@z9#W6A zp(aIwaZu0lb8rTh=r(VE!AxAl&cy~m4D<`VK;Rx=B$hH3Hh_=hf(cc?QMxxRee^+q zWJ}dRfJXoZpTxElmlKlQ@8ih(P8s8zU+^xRBWamuN4l#|6g!99WJGr8P`gQOm`Xjl7YWDfAMn1zw&%uAxBHAGmxvJJ;?e5-vB zt2?N)r{`x*FCGRy@Jp&IkW##F zM)>?y=1zn#E%9Nrv~|yTTo}z?BnruuG`965FQeAd?RgE!DL*DYhKO_Zfr(tOPmj}R zrAI;Ud=S!nfHcWigQcDkn`60C=5=zIU(!?x!S2!)19BaG7>Ys!WbgqU=$sIgU3b|0 z>90iaqADTVvn-JwMX78_D+A+XmsP?ikv9hha;Hy$FcnkeX#VDC{M*c$1L!dPMPpR7 z*z$ogpqwdtZ_JS9;jd@L(0S|&qtY{n?7=b}$DQTxT=t0erII(O(<~!HisbI4xkvw? zAZfH%M&JacT_X_N&YJ)|yw( zIaMm8$!3SV_bLN#RAANnf@CUOots!kUeZg!D1w?QDHt>E%rWWQ25G8y8Pj|qs+K(w zG$R`{sVM6+`1~qwR-3$LZX=-iSOPiKOJnrnH(iMsk$v$+Fx0?(Lt|k(-YK_BAftJUKO_NH>3g zPYC9oWE@SlJeoWe@W=R3gu$*#=+VgCg*Yn@_prJ2pRB359a7nB-NpU&v$OHxaqXhN z{(y~~-f)sDycPgw!IIGEe<w@=%NpugjO z?p@Ri@|r0Cx#NVGqzk?<)7dQ=7qne%t_&1PU##Sh1pd=Q&4Z?B0K2{& zz0ZV;0s%I3Puh(v@>riWfwqTCD`fYTK9X)*o@5pDrFCRhYd`+UYu{TjI%Nyigj;@i zDC{lXYL-odTfK8yKC~Y_Y_Iz+$4I7+e#Bo+TDyEb$Fy2ve*6Ba{)YCwJH($hz|2C{ zwiw!XQRJl$#VT@gI}n7NEhs z!{Z1lQeoCBa|b;LU$B=O0>pM!v5pN_xmUx1n)%3TM~WW(m1@*R5IFK{9h8*_=x&9a zGyoa;o__~&(lAfty@!NSZ8jR%viQ}vKK15FjY>Wmy1$(qJmR7M2@d=^;;(Hj28PG@ z53yt2b<7>efS+D(c29592f5dQ;iM|Wukw?*SCoKGZ4fYZbOE2_=yvbGJv&Ajh>dwy zOW??FD&9C+=&3jxJ$ziIFj^zGtb`|r^#aVcyjyON#R$XSWXDge_%auO+s&@vHeoLx zvVNF&^70hUd=@4~9QaEZv|giEWM_GX$ELguwm%L)kAv>ptoT+4TzNSOG&py*m9{Murwt zD<`)@*y#!f-kqqXrAhlur#9{F7ZFbFIzQf(1C*_oxI!7iR>~*0&ny9j+VkuAdojP0 zzPE++Ev&+Oy}YV%`dq~IU(hGt3*g#x#0y|sQE>@&c2RK_VG(9-ab__NE)EuMRwfn} z31MM&W@c74ZUG{`|L-Kd=K`1;z>U%mgco}MY7(hsYG^{4L&OTh-fU1UQ|SW2=?D}G zdZrgD{2xC3>fryVP6+gc*H;DYt|$TXKOzY9r2qf` delta 15765 zcmaibQ*bT}uw-o8wr$(CZQEaL+di>v+cr+@ z9Ws#=l#87yh47XNFsmi&y3K*qccy9O6Kp{j>UE!_z}t#C>hTpRsp2BF3~D-rVjumG zsFr)W)W4?>II!2sewlAgtz0$%3m$ zHDNIgreJB)+n>j@d`uaAaOwMS^5|glq{|7#%V(tTuLke?emVCGFy=G>mi>GUcCUHuw?7tYvU7upy}Z14JHidEapN2f#dBx;b0)r!$tv=JtT@ddumI4tDuj>7y@kK@H+X zyS%aI)>l!VnY~sn=u*bw7-ThSsetdZ{);_U$TjUnJV|6^?aIEkvj1pz+PYn!hBZb~@Lh-9U!slPPi!F(BaIkO*fG&q%+D>Mlw9E| zLN~|*mYT9Y2|x^*5(0bGMH3%;X1?jtilf~zdtRag|6GT)H+JL%*Alqczl&B_8^Tp) zK4i9f5{H&WC!vJ~7l4@Q3_mlGyn>r)=#>3s10l<`sz(NHKV)Dz?QBeyO)3k5dcMR| zp6iy?+;7mn>!Vw5t*h0bh_;`CHeq#OK@C<0U{jrO?Cpxkb7gfC(XfM)iwg-{-wf8y z5q%z{@T1G1EQz`WJ!~$9{tYIBsSz+*fFg*vc0X77aFeNs9z^9w4~#%3qaW}*g%uuw za^qBwE>$nN>gkgxafk&EJhro(>8>6S)HWz1diBrNc=@N>ISDE~Ja=r!Cli_qd!i}= z5F_2sdIVmr<)pS+7`-bnh=C6M05oq15?tAiYgIwHbjpg{x|<4_rt@LDDlwP}i3rRE zV9xwS6v|&B0bXI1!f0XdlC26fOO!Y@1tu>JoTnlN2(OKp-4)k2WyopZOtr4PcY$5E zL29DEq5B0?-(~xqZQxW4FPrvu50~o#_Iby3Y4q(M%NE5$P8+2#VqFggcigLt7N7?p zV=0NF4s1tPIqjJBq&v%8=HS~tL1OyBz)@Px(2Q7YjyrMv>iNya?$+F`to*s;dFBFTsbU?C9Q zen!La5k~w+E0s(sG@n3b3_|^a^#Y{*(GsWv!VKe|>Oybycl<|5=mBnmMSs2PoIa|m zUFZUtET|`X#Zji6U)*$!LqGDE5 zI@>D}S7lAkaC8dVPzB}lhp=ULz)F#;v^dxsR6k#O-E^2-7}cV68s{>Ww$QFz4yHi} zOkldkuBaD;f&5BCJJVI|eUT`FQ`NQsM;eE>b;|0E$TyYp??7do@2hnh$m>uYot{}? zOPl-7F6|whU`Aow?oU^J4I+sIx2h?oUl#rrY^&?wT;}ZGeBcOwb9nz~0EJ|kH>eF* zpmE%vH#@QVXg5HK>}B(PEVCC<+>9}dOUX!5zyLMLuG)tDj2PWcNuyW;c*QmUONEnZ z3fiw%A2p7#IbI?+Jg34S2s{?}9JH~>TG*U#=}3u&N;eMK3RZ%XNRobLPrd|_;(DYs z&>F#{7u3H$WBRNQ;{*%q05Gb|nvE3p1)b76TJITY3C@*gZ6;~(gOcN!Yg1IKPIWL< z4J#d0*QXS2rLnA#o0B>lmzytY9YB25up~w4uB<*t`z(%FvhCW;i-!&CX#P{U=PJ}1 zJ>7>WLO7v$*_`l%{&66#yXq5noY#S(EtZitXL}DYHlg)l3Q7(iASJ1T%Trjbu2;Ym zqzdB7fQoN6wNNjPmy?ll0s1BvvqAG&3>_Z$D`idYhUj{?6F z_6s#MH7HDSfOotOs%tl*XX;whVC|+NQm9=N)Kcqtw$irC3FEB~I*fdQ;icp;VdYY5 z0@hEsmUxw!Y)nOe8$z(Vw`4%^9 zd>t-IY%f~TILM9lY|mts!Kox<)2++-dGkFhYOsf1hY7L_bPl$kc4k>8*dksnZ!LY> zxGMf)0oGQK)8Y&blZ^O_J_Lzf%KiDNLgU$9)8sTeR49L^@Iz|LXdc7>0;dImQ`Pz|J zZC^iR2C{ty5_rsvmYtg$hEdMk!P3o&g@~DniTQt8RwAbVzae5~X5!#XA^J~$+rgD^ zcThND(Wq|GY@v0iZXHH=WjRp&o)_6eQez6HKb)LxTP>)f|^~LoS}eA)mqTGxPkEScI@!*^st_u zwv0OX&ka4`eDo7p;o!ocz6TQlE)c*62^`i$Ur7}pVL)j5*TA_uKneoH3IW6j2tb&S z5r6w5l`M$^*%r|4pp}e4sYHm0upoNTRu+e`?d(ATJ7dLIQS5PLVM8g@0*2Sox$C}Iii7*K>|DA-~j?rJ)(3X z%Yma?AbN1~z-&^e2TtvGM-bS*1;fBjP0l~OyMl}Ts6oU4a8P=>LWFpsNJuOb_y&;e z5FneTDLW@mE?6L_#xHpQ*w%1i!o83t(FTFlkJMYW8FU zh_>Hd($71#gmF61#?)XQu0SFutg*X~(!n{Rm~q!vqu(=^8zLpn$o2k2bSx9==Wcje zOi2%XsEtYRQlf9fv&GPR!W?!eguf?$|04ZG0Se3oBJzaAec8taSov}V|G2pPa0tHq zJvxDM2h-wj1AYM34I%(A^%x0hA_3iAgFM`SEZ^@#g`}VwLAM2h&Iqp=L5%^L1ha)T z07v7Wo)F!jdro{)38(}2pO1HG_a#GgMM%C0zYD)zCLXivDwoOGGruigj%QcvN}hq3 zw498AX)zg~1Cx`0QP95ty|*t<0(YXf0-m2p^*}9Q;9x+;r+dWwK~`@XBf4@gl3?3!zzOFyG3`WNC5>v2-(Po@?uRcpB)|_V0(~B zyMcE?1s|@x;a!&g z$ASb~adKyTba(;^l$RGofR*6+9q9#Zkei@t4ejzPI|Jmw0fqL11>$wR2x$cFKKAC{ z_=N}LvAGW@>rW&S48(sUB!e<)f8+en$L~HNOhg?(_yBbQ-l+Wv+yU~q5+p(l+&x8{ zfHi{r1qKJYe)$bbAhC$}0w!eT{Q)La<^KJz4E_ZA0eQR;{%a)8=>H4I%MOcaemp{b z$mk(Vcrtvee}w^afz&pdkr$;84Y8vQ$*!9srv~h3aY}Z0HTWu!%;jI&Pb79a*n&w# zees;kMdha14jAFIM`CL zv1eyH3fIy}!CSL^>CBUsW8yb;=Gn`Y*-b(RL;KrGG=z4$eDzG3D@j=VJiS4~m8KCMB zp=_^2)g(yC$KgDDI~^sk4|HJo!?}MxPs}asgyFoj0Pnjj`w}h?%=N+_8eL%4n+Hf= z&swmaTh3?b9h6e-Y^bx2jsN!qLzG_45=V-pef0rqD=c8$_UvI_f%sMGEI$+zOWf!* zV|2(jOQ#1+y5LKU8!m{@mfc~iRgMS89spH^A`C)pvb!<>jM=~r^;-G zjvJ(X&6<6JW^OWwLU&KTNLyo*SPvL}brRg%V{o_{Cu+UwfX7Ur!X z(FwE|wNP+kS=8)NxLuE=e>DNAcBpp(9NDjt#i6JpfDeATODMAdRV3P#>HwarPR5fY zPKO3*%}5RyxCva;_((ul5JV-qlJcniH6Jv6?u?XuFBNaki2j^&e7y1u9edmD3eg07 z?>Y8J8T47vOy+Mt@MqR;*>*&owH2U_eiyj!@)>@H+5|KIu~Sv~c$WZHI1G8kV~cN7 z7+GkVC8;#<4XgGJXsN#>1_AuTRMXZa-2Ndp55p`vP%tHaU{AWbuv(&x%j-gc;AF7k+%O zY}u^Y$uTi`UDTFA7se8`XB4bN{a)5AW^J{6y7$EHP~<;yLF+UpzW}_F?QNS&07`WD zzbz(j6V&W-9sIYRIRb6}6~8t|F3NL#%kY`0B`_yOu8Rkmg&k}+na6|p)TJ4CqxNiY zU1TuJOfzs|u5u^8PbwJmL^B|$%yy*L_iuR{Tf@H~hJ!VCA2QV&8bH)*Q`?v+1c+pnlb&<==^4Q z6a+?2_j={iY3W!^+OZ?Ja22~Xp_fR?f(kZ2M&jLt zfise4qnxa+9@nOb8+i0N?2UKv7o6-dJckK~WxQsyZ~$TqeUlswlsG;}MJn(Cr*DC{ zy8D~Fll?Pss4+r^T>|6p3m+{m1}gR|0s@iMSW4-#xPZ9m=dvV|f2cKaFxhco@&BGB zZ~|PKL3fmVZUqlB$c|Yf*6AkdSS;<_7b2?!EgjvHhkfXI5BXuw*?^2>T=Emct)9pZ z)0Wl>g$VbU-!q>-Y^XoZ)Dow+59#$bAz7E0d-x} z&<_}oRX#}QzM?BP3-!b;vJ3sea3yR zagv_~gFa99tFgo8h2Rt{xdNz?>Iq(&YB|O4a$w!8Eh%Na#TzP6yYZk*1d7TBtuCYw z$gpm+zoP*bD21gV^$mYFl@giTjh}66QQG8#7e1Ppv@xzJ#s}Dq@+B$giwQ$~1t=zFNEAQ+S;XRJr zJXWNtis6B+XQ9A_VSWBHGqikfe3Z5)%fW6- zfsiJPqKV~Na=Z+TZGby&qTTH107qC1)3^;{L;71HWj!iYpUm{q#WAoOM7-C)nw09w zNsPg?JVwZnqc?U(e8Ov!boM3Ov&6-%t~y)jieygsR%}39T!(+3m6@P>T0<=+zPA>; zx4F`Bp*z3lEO3{jmNH8+h*|P8&nV506xQ)3WfZ6+xWM&>v4c&w+ zJZ!`o!M<1x|G2c=KaBnN0^rJTME{l-D|ZaS3qYHB4y!eM z5bDuyeTwYNXrSo&8vTZ#$3u{At5+Tu;d>T zt5Zql00^G@IAMD?^MQ?my^w)}6?S*zhG=$jorwD%9BAu++W2cF*Bu@vNkeDR#;HnO z!8dk!Fe&?LKAtS%iID{b+)ecGs}@fJx72yhr4v|~N}bh%{HZ`uaOo9k>z{W2_FSJ2sAe$hQ;abR9Jyq4dz{tq5Yrb-xCSgH_kK=M2Kb>UXgcz?WIz z-e_^J{l|fCS%FT$pa?857qNtmzM83blbuV%Xr5drRj@dN(BB4~!13BrCQux;C!A~c zGhbWD;u;q?!vk|m$$vjx?OC}+XE-OZih5`%iuO9i5o)bpOjJCcOryFZ)!Ro-CrP*L zfmn({8KhclXV6}9l(65>597W9;JV+u)3aI!J8R3O^VCcSibz5Y0`f3NkoJ?3f}tR}5nbw&IJu-r}%`rxe;J4 zLj%6O5B)A*S7W^)ZJ=%dMB?I!j|VTMS9o~|aW!vbCH}oNm+wN^b}T!T@g_(X@|11o zvEi6Rou1D;8>-a^$UWVeXxGjJk;Nt94jXCIl=-KDd_UryuV=$AGt5=JU80-1Upgzp zVI-2!P%#mPkmU1hlT37k&O#O2`s{xwZZ;JPlLZoEUT}`A*_vPhJ8_LK9vF!;gj@1j z+Pwm)ucoKG@mi+yeozPKG1n}|E5jQydrxy>TIl1V29yY4{!!`S7o#hnJp|8*wN4BD z4RJnf;MW+p`T0UGJJXJs)1sGl(6UoIye>6iEnukibA)2fg~sCvI&O11lh)r|DKiSfJEWdZ13^{H`9(wh=Me=VkTZ^+8baE) z;#~0Yix4w_-b9t1%fzRP}26T74#x0+^KVflry<;YA0De*1 z?1UDa{(6Sp&s>A3@=`jKQ29zbsq^`(#x+q5-{wKnfLGU1sE;+51xwRFiT5Yh_oC=c zoHReGNgf|L3pPkWtiOHo^bcCsR?GvXsTo(LU?l;dN{WowQE6N>bj!r_4LG9HBWf)) zkv?)crk5bk9MCYh^kfTdvcveAa)iw(sZ4?9Ij6&4aEjh@A zy_NuQAZXSe~Lwm*(p_%k3io*LElwpwo82k;`4R0!OAYa|a&T zo1IEKlp2>ss{4wP?gQPV*|6XV^tZWmF8skqXz^Umj^*7M-r#ytoz z{b`ts+fAOGYehnZFg0Nzrql9s0q&#vYQW2ylCIh0_eC(mBft4sP~DQnM%DcdnaYl^ z=}8{X@9ot!M9uP^(H)%Po1mSx0F$Mlr5niP{0AROKB_zLCZ456G2L9Yt{U0(%~lUk z1ATy_yz==>sX?7eH_TFx*=OjHl$};Zj7l6zg|U$nV~OEN-we6f^oqK(kVJQee9OjV-co0)p>tfJ&Ud zJDAFTFW@KDg$i7~Y$4BYF8!x4VCOHOu=_|!`i>#~k&N8teb@t|I|yH|m^?*(A>s8n zBS)$n0th%|RRnf({!@T^AOaS)XhwXT&0?asu(~-kHa#C&zVBP@EoR}iC^f{7McW>} z-R&sDE*c@?4Ki1G3^!HUy1womrm4M@;s^@&BH+!0>jAa9i5^4$v1(~VMRFRjEM-)M zul4n|=%Zv$Vr`DKWR*o66i8+$5}aHV4L=GAnI+3D`TaCG6Z0&mdLZ!tpK&(7aZmi%gy* zo>>)5L^7afeyj+C;yC^;yAlIH%GkG#v|VMAmy-qX^!xc&I?h4zFH_gCTK;h}1-G%; zH%kuh(TFxTfRuuVO7_c*XV3rD671t2i%*iaSq4qv5(W-kFk=&98ju%pqIyIh+AKLEa zI`W;9136B3>$Z>gfqzqOFD8wMGc3$UMnL5uZOJg`Z?F{2MVwgYooQB9Z~N+prfmM` zl=6jpBu`@QOqL4ZnMef~ZxxBv{gg&^L<^GpFUE=G0ly6KPwIcLk=~n%$wGxS#xa$% zi-=CYX0ziwqA`ry9jk{#MV{N;ClZ!sa(S(a zgmbp_?l`HbaU^LIQ)njck(?-9K)=Vbf=ah;FZ5=c%s&r!L;V2Sc~NvIGJCKnr~SJ9 z%hVf1<{p}`Wx{RjvITADv144y*Q#Rg5Rr(xzD#y>fxq=+MRMnfN6_8X3WFsQaO6B& zxwoErGeCfkg%4EPXtg|mV`*VUwSU``4U^*XD*Q?A5Tdiu&!`PqcuqJeZs_ z7TIo+d_kReOGN=xDm+v&b}wWM#Y>|(q*~3V>X_}lg62(HT!&z33j7w*N<|-*1Uwv0 zW*0uMLgOmvud+LezRuux^w%In((R2|n`OOGj-|)48at#a!#IAS7sZ_2*$@7gyMS%?U?&tsdocgA{4y>3sK6-Rl#V=kyu% zvT4O`Ce>>rg+rv2T@h3zXqp7Rl8MHXSp$B+!mEyHcW#%mmZdPJ_dDO7S*$41@Hyq& zqW`LPlc)nYUk|t`tAoO64}v0}v@@k*6%^ctu-ijMEb*LqZ&?whq_YXoxFozzLU(em z1ICPi(c5!H*6BuZ2df}F<+;%moLeX_5P=;2o)_A(70-yQmWOs4mFnhV-xi1_)chIE_U10x87^ z+#(uUb@jgcvbQ}QeNdskfU#azTQPvbLOEd2`i#iDnM2fKkcQIfpo2}t$9t0ZHe1lm zFeQVMDm$NJ3b9#vfn5pstfn^9!@6);MW!#!ag+soo3%rv;dp zD-fPIeW7$5V;314j07J_0>p09uu{5sV=mei&m${!Yr&x>`^iAwIfI$K%8cg%Ja71I z+GtOjoIEHY%KA1^bZgS0E1=MEnn&NV7~iZ~v27-HR3H^!BI?bCF0s6!T%lnJIsW?0 zzV*&V3T-^1@I)#$WQU(C<-dtrG5~ZwCF44owis3Fo*9)z0J%IVFRNg=I*7ab_$qz3 z#F;6&_g!Sgv~7Jo)G6Q(lO|$pp1WRK#vE9xF{O~b+}WTO#oAL{qP!-S2-Gdo`Hqur zd?|##@4MW)e-!cWCVkn_xv>?T_26~eM6ck3A{4@HWjc9vDeiAXSLSw+AOP`H+5jp4 z#NdImEqI{GMF9dG0+ZykNgkhcQdfuw-Ww2dI$|6AdjaG%21^fzuD5i={GosO6xL?rd641iRPLY;q7UvvE- zvoEk~Dz5U^6wXE~T?FzzopF6Myuw#Wa+2I#f5hGPy5toFNrpKLeR}r>;(JD(+9j*g($v;pc>yh=|9RyGgK^FZzaT+Zb1zL%-|I7X z9jw0K7?+E;t=?IlCK)H!Wylk>skn10!Uyn)*w(k`h=fD%3fcZJAP(gywt>c__@8L) z*!HIZY5&E+0O&FFyK1PI;h1fF+Vi+w{9QZm zmJI(~Xc~7wD&B|Er<6q%^;OLh3Om5+a#9MmEcb1WC>nddj_a*cKPoNY zZeiJ80d-%Xpl|2bmuq2H5+Ph0Te+uxU41LQ63A}b5LnHJz%)=j4v~tDr1{!M%d6Y% z0!j_5SW@5T%pJbt5syx7dpRGo-%Z!nBDR-_GrB$AI}6hLN9Qf4t}6?n@-5Vw;Hg$= zs>{fKI<=a#SEG(O3+%!++UupUIb3C=0}X2u0W3-E!&d!yF+gbOk7l)F3F4ov^A1lb z_)%od*N79F8Y0#ly{A`XQ1y)7^mHhT=mQQbd-}qiixn#}f7r;@Hf!tt%%SaT=y~fq zFsF=JQYvdCKaE2mz@yCjDv|TU2(SSq^`>lL1HD#52{Y+mrd5F4nE)fu+bjDtlmDI} z1K?j*HCzV9`*E>zTyN#jRF`;e>D1)a}fz#2o1ajrpaOB}#pV zMleH3rgd7V2#*jFU)TgtUfKIltMrzw2D^_sn;vYAk7WY>s`X%WN3G1`>ik}?N!((@ z$BSR1Lg;B}UQDZIv#$9)(@U8D?YtOTCdJ~;>}b*ZQpz-{L;F+>^mlNHqO^hk0W7fH z!f*iU^}2r%QQo@<`h(miwazOnXnnv!vi7GgUguj!E&cd+Td($&^Hqdt{ds942+v1X zh-<(CiwwVi6v_>$mi$WOYb9{hBh0^$lHd&1myJ0g*yOHt$*`m02AR^sTktCbJS~eX5iDhC8wd5y=W=RZytq^34Unv zMb?yQ*Z2fce6mjwa)DYeKdjjXJ7A)wI)5c@szFz!=WV-Fj$-Lv64n0Xoc6&Tir+Z1 zlb}?&qukCzY7ckKkJzKNa;|@<0xu1m!amEk{xnZ+Bp|y!nX7n3pHcV31D?o7bjp3Y zpf=!GI~e|S=MG{vV(2tJk1U;7#}g{`r1cu{WF`il5?1U2eOI6I{Q0E349LGK-w(*BK6SK((eJn4x=|8BqUb> ze?Kvoz}GN+p|@-&F@Vqb0GQWpVIDJ5)OIzz1*3l}A0;ZmuIkz+p<7-W2AqSU;(PIg z?#NNQ0LWX>St!~I0q6rj)jo0y!Zor=rEqaeTfTCG@2;gc8PhfIyyfizFpgW3(-mk& zYbm`{u`(756>vV7!fIEAbT?yVX)+o>7BtGlr0e;ZGcZ458hKMtfV8_9lSJ}4+|a~E zoY9O40uVeB5=tr5_HT`~cjxa#s^y4BWfQ_w52-)14V)tf> zaIF94dmm7PXL($81Ef^>0fa59uN;D%5IkuL+m|zu)hiXHe1(LQL@Opqd3CM}p3;lT z0+M?|MheZ>D)rZES%LyG%Y^N#A#GHVX@71@8A=F4#1a;STX6b_?0dkbi8>K*)HX({ z9u7t6MHLLQ1X=jp_!OAoaFsKzP`xO_T})!rN?B%o6w3p|0aeFme>WOmjE?1FA7-;c zbH6<-q?S}He!R}Uh7uKYH_%qo8RfD=`F~E+xE|zM)yRL18|5xw2&1b5kr(PTPX6s8 zSDs$wBUsdakgk8nZE|&zlB7d}i^jNLcq(K|zAH_DzqE5QZtddoxHqAorLVr5f;(j% z**{EQV4rZz1A@U6T1J-PT}@fw7|2MR25~$;`RKS^YD~RAjKs%aus=mmR> zL17{jxQt&%mT8xrxEp0wnO?^@$S=%xHR;{-KEyhcaw<%&Ik2zsBKJd43boug;L!AO zC~tE($~QkN8q-(JW!9LrIY%g;<#+}H(L?=iZ@b9T0m3*!=k5yK!kSG!z6_rS?Fp%@ zIbb4)UIFvWhL4kmZE?ycs@-0?SjAHDL=c1@8=n~V2{BTvuP`2s2M(Sx+zje-ZQ5b2vJ1^+p|ML#AW%@ayrc?Gl!V{OAOHV8SSwu*l{zUlrrDCeY1VCjkff8$6$K`EHyebu)spNIFJHSZ3EY@`@qOO=T>ZcN!a0NNWAMg`hn@ zo~2&IEu*|%MPybH)9=8;6={Vh-SqU|$ASfaPQ49{Uq#1Z=$S75OvKw&%R~5(0E+Z8 z;8jJWsPne!faBxN*ZfI_7_^8--JCH#$F{M7N!Q5b<@IaWYb;`qTuH{ z#3#S^&eAWiC|LAVdr21Xkt8@X3o|=&M$7>)!T*DG2f#z1tepS%XXZv*R~2_0C1AZi zb3B*FeD+)8LiX;B$(;PAPK)>IpBDk!%*&I<{Q9^1 zJcDg0iq0{W8w$lx0iE2#5Y+*xT&olUMy!+olxf&n$9X6R1I$qv!q$siU^l8&$bXgF}V;si-faeyL%h3E94Lnji(5ZCpj zabqU`Ono%?NGh1*=(AS~?Ez;ZdC&Uaz`6spE)4&v-gCu9g_v8Gr5n^og*?ibe zNG7*lP$fcxd%g~+l58cWGkGgeajpr{l=Xm6s%x+T#N><8fRm{ znkyuNw?SHm)c{$7I`oy=$*QlmLoo3Cm^&5@Gs$Z>eh(VK}a?Me#XY48URg`tRta0eCA{T|{VXs!cgd*FncNjwO(e z9T(S}#!tVSPm+aV(V}S_y0V4^DF3m;+CVKM4NhpUWO+rovTqfJ!~^vl4Na7wHJtw= zn+l8$sJar43VPd>AnRj+tMFAdhaC@dtK^TxMaQ>Gl+uSZUe=9PzL0iqNPYZzweQ4lXAu}`r=*sgF z^6)ClyBkyR?7GcO!>^6z1pbAr2K6;11O$QzxEKinBKev4xu7-&<_^Wb%SGZzEPxG*W|xNM*l`d{+}*4+3O^~~+H=GzvZ~wU5H>|% zUZ28pHZ$vD8_V&3Hex1w;Bm_KSXeZV6f}3P)~UK?+?-xQy7kk%T3ykgH&`wm$z}zS z32tXP|J{twJhv>>Sy|^&<27fxSvMHHW}u$ptn3Xw^qPt}dT1liXE=BI1=xGAU<*rI zXB6o1^Zd6zxOm&C(ZGbgOBZSyr|*O715uwc59h&wpD4coay)kkV;C+1F*|tvqt4vd z87Au$k#Y{Po^P$UV;E0yRGrtIBTYQ;HQAII03_PrVz38R3t_htfBH7|kg}81?LuTY zk@0}}E^|8#>P?k!jQg%Z0GKY~ODccp{UQ>aOzO#&xA1(>F-VBKW&3lfJ)7wsdu)JaZw=co6=1CmieG4A0Y6_pkgkn26u&+X1{2h;VRWw~W9U z%y5~}jQLFTIE2nPh?MCZqRW%(X=o0+(=h_SiYWl!^*~Iz1-ZQi0K63FxV9WkfwAa_ zJD>0|HXIxOVnh7x?qK?k2)qR?_2$8!%<*Q{!EhD&i1;GuUrX#_keZK&uq+TjUV7qE zYM#Q+HBVrE$UKKe5g&exsXAvT*k z`*Rnatcv&U{U!oHoPVlDx!t24FLFZGL)x*b#%HjN^;gXPUccK9J6EU^RLWce0p3P@BrX>d}d zW?=j@SRW1}U{Vev@N{N+sYqm@SIz>1XQ00szRdqLgMvMCe9C z{qpUQqGBhab0=bgokD4&i^-;nNvc9!TV>-m@N4)EGqv7F$eXHAUt85f-gauTOFvs} zl5z$JtK@H0s{>=(HSk%ywcRJjH>)T$%y2^dBHlpJz|n^?5^jJAVc0lXVaUnF6(wN) E52*)ppa1{> diff --git a/docs/german.tex b/docs/german.tex index f6fa16e..1d69617 100644 --- a/docs/german.tex +++ b/docs/german.tex @@ -18,7 +18,7 @@ \section*{Problem} \noindent Gegeben seien ein \textit{einfacher}, \textit{ungerichteter} Graph $G(V,E,L)$ bestehend aus Knoten $V$, Kanten $E$ und Linien $L$, sowie eine \textit{geradlinig planare} Einbettung $P$ dieses Graphen in die Ebene. Zu jedem Knoten $v_n$ sei also ein kartesisches Koordinatenpaar $(x_n | y_n) \in P$ bekannt (in der Regel über eine geeignete Projektion aus Geokoordinaten ermittelt), wobei es keine Schnittpunkte zwischen nicht benachbarten Kanten geben darf. \\\\ -Gesucht sind nun weitere \textit{geradlinige} Einbettungen $P'$ desselben Graphen $G(V,E,L)$ in die Ebene, die die folgenden Bedingungen erfüllen: +Gesucht sind nun weitere \textit{geradlinige} Einbettungen $P'$ desselben Graphen $G(V,E,L)$ in die Ebene, die die folgenden Bedingungen erfüllen \textit{(hard constraints)}: \bigskip \begin{description} @@ -30,7 +30,8 @@ \section*{Problem} \bigskip \end{description} -\noindent Es wird insbesondere eine Einbettung $P'$ gesucht, die möglichst kurze Kantenlängen sowie wenige, bestenfalls stumpfwinklige „Knicke“ pro Linie hat. +% todo: soft constraints als liste +\noindent Es wird insbesondere eine Einbettung $P'$ gesucht, die möglichst kurze Kantenlängen sowie wenige, bestenfalls stumpfwinklige „Knicke“ pro Linie hat \textit{(soft constraints)}. \bigskip \bigskip \bigskip