From b976f0b279dedcc8f47ca970e9dca2aee707a930 Mon Sep 17 00:00:00 2001 From: msurl <masur101@hhu.de> Date: Fri, 22 May 2020 01:12:48 +0200 Subject: [PATCH] added ba thesis latex template --- Latex/anhang.tex | 9 ++ Latex/ba.tex | 112 ++++++++++++++ Latex/bilder/HHU_Logo.pdf | Bin 0 -> 25898 bytes Latex/implementation.tex | 1 + Latex/introduction.tex | 3 + Latex/mathe.tex | 18 +++ Latex/methods.tex | 2 + Latex/model.tex | 35 +++++ Latex/references.bib | 53 +++++++ Latex/results.tex | 18 +++ Latex/summary.tex | 4 + Latex/titelmakros.tex | 302 ++++++++++++++++++++++++++++++++++++++ 12 files changed, 557 insertions(+) create mode 100644 Latex/anhang.tex create mode 100644 Latex/ba.tex create mode 100644 Latex/bilder/HHU_Logo.pdf create mode 100644 Latex/implementation.tex create mode 100644 Latex/introduction.tex create mode 100644 Latex/mathe.tex create mode 100644 Latex/methods.tex create mode 100644 Latex/model.tex create mode 100644 Latex/references.bib create mode 100644 Latex/results.tex create mode 100644 Latex/summary.tex create mode 100644 Latex/titelmakros.tex diff --git a/Latex/anhang.tex b/Latex/anhang.tex new file mode 100644 index 0000000..bc840f8 --- /dev/null +++ b/Latex/anhang.tex @@ -0,0 +1,9 @@ +\newpage +\appendix +\section{Anhang} + +\subsection*{Zusatzteil 1} \label{anhang:zusatz1} + +Dies ist ein Anhang. + +\clearpage \ No newline at end of file diff --git a/Latex/ba.tex b/Latex/ba.tex new file mode 100644 index 0000000..b2b4d04 --- /dev/null +++ b/Latex/ba.tex @@ -0,0 +1,112 @@ +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Uni Duesseldorf +% Lehrstuhl fuer Daten und Informationssysteme +% Vorlage fuer Bachelor-/Masterarbeiten +% Optimiert fuer den Original-Latex-Kompiler LATEX.EXE (LaTeX=>PS=>PDF) +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Ueberarbeitung für pdflatex (LaTeX=>PDF) +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Vorlage Changelog: +% 10.09.2015 (Matthias Liebeck): Nummerierung des Inhaltsverzeichnis nun römisch, Beispiel für einen Anhang eingebaut, \raggedbottom hinter sections eingefügt +% 11.07.2018 (Matthias Liebeck): Ersetzung des Bibliographiestils, Einsatz von Biber +% 04.09.2018 (Matthias Liebeck): +% * Bibtex: unnötige Bibtexfelder beim Rendern ausblenden (thx @ Markus Brenneis) +% * ngerman: "et al." im BibTeX für drei oder mehr Autoren +% * Neuer Befehl \sectionforcestartright: Sections immer rechts beginnen (thx @ Philipp Grawe) +% * ngerman: Deutsche Anführungszeichen im Literaturverzeichnis (thx @ Markus Brenneis) +% * ngerman: Deutsche Anführungszeichen im Literaturverzeichnis (thx @ Markus Brenneis) +% 16.10.2018 (Matthias Liebeck): Zwei fixes an \sectionforcestartright (thx @ Markus Brenneis) +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%% BEGINN EINSTELLUNG FUER DIE ARBEIT. UNBEDINGT ERFORDERLICH! %%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Geben Sie Ihren Namen hier an: + +\newcommand{\bearbeiter}{Mario Surlemont} + +% Geben Sie hier den Titel Ihrer Arbeit an: +\newcommand{\titel}{Solving Connected Dominating Set Variants Using Integer Linear Programming} + +% Geben Sie das Datum des Beginns und Ende der Bachelorarbeit ein: +\newcommand{\beginndatum}{12. Mai 2010} +\newcommand{\abgabedatum}{12.~August~2010} + +% Geben Sie die Namen des Erst- und Zweitgutachters an: +\newcommand{\erstgutachter}{Prof. Dr.~Gunnar Klau} +\newcommand{\zweitgutachter}{Prof. Dr.~Michael Leuschel} + +% Falls Sie die Arbeit zweiseitig ausdrucken wollen, +% benutzen Sie die folgende Zeile mit +% \AN fuer zweiseitigen Druck +% \AUS fuer einseitigen Druck +\newcommand{\zweiseitig}{\AN} +% true fuer biber, false fuer klassischen Zitierstil +%\newcommand{\biber}{false} +\newcommand{\biber}{true} + +% Falls Sections immer rechts beginnen sollen. Gerade für Masterarbeiten +% interessant. Bei kurzen Bachelorarbeiten eher weniger zu verwenden. +\newcommand{\sectionforcestartright}{false} +%\newcommand{\sectionforcestartright}{true} + +% Falls die Arbeit in englischer Sprache verfasst +% werden soll, dann benutzen Sie die folgende Zeile mit +% englisch fuer englische Sprache +% deutsch fuer deutsche Sprache +\newcommand{\sprache}{deutsch} + +% Hier wird eingestellt, ob es sich bei der Arbeit um eine Bachelor- +% oder Masterarbeit handelt (unpassendes auskommentieren!): +\newcommand{\arbeit}{Bachelorarbeit} +%~ \newcommand{\arbeit}{Masterarbeit} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%% ENDE EINSTELLUNGEN %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +% Die folgende Zeile NICHT EDITIEREN oder loeschen +\input{titelmakros} +\pagenumbering{arabic} +\setcounter{page}{1} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%% BEGINN TEXTTEIL %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Text entweder direkt hier hinein schreiben oder, im Sinne der +% besseren Uebersichtlich- und Bearbeitbarkeit mittels \input die +% einzelnen Textteile hier einbinden. +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\input{introduction} +\input{ilp} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%% ENDE TEXTTEIL %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\clearpage + +% Entfernen Sie das Kommentar aus der nachfolgenden Zeile, falls Sie einen Anhang in der Arbeit verwenden wollen. Beachten Sie, dass Sie sich im Verlauf der Arbeit mit \ref{...} (z.B. \ref{anhang:zusatz1}) auf den Anhang beziehen. +%\input{anhang} + +\ifthenelse{\boolean{\biber}}{ %with biber do + \DeclareNameAlias{sortname}{first-last} + \printbibliography[heading=bibintoc, title=\references] +}{ %without biber do + \bibliography{references} + \bibliographystyle{alphadin} +} +%\vspace*{\fill} + +\clearpage + +\listoffigures + +\listoftables + +%\pagebreak + +%\printindex +\end{document} diff --git a/Latex/bilder/HHU_Logo.pdf b/Latex/bilder/HHU_Logo.pdf new file mode 100644 index 0000000000000000000000000000000000000000..0f8ff062d75ad0821e0fd9917274c5b6af406053 GIT binary patch literal 25898 zcmY!laB<T$)HCH$J^rSD5to^QfkJ*#7MG2UzE5gidP#<Yxq^X0kiJ`HPDyH!g1%c$ zVo9n?YI1%`s+}EIaY<2XVlG$3oZPwIlhk%kocnxhSB#_42exIet_3g`a;Lsp7I{54 zQhI4)ng0Ji>xL6+lzPKTRFs(b>wh!;`~R!L?(*@&^^fn*umAhw_WpnG=l}n{{{Pqc z|DWgA=ga?p8~^|5@%#Vm?En3pZ@=bn`sV+(-{ybXlC$^!WB1tFx^rJA{;IM&{p-i; zEo&~>J&%yz@8>=Dukq6_fz_V#SJy6?X?NPdYWcs&PYdh+X?(7<`)#FrRPLwD*FA}s ze@lOJ*`gwS=efl4<8s&kZ!W)<Hu(<ken02zr^eg))lVOf`dd83`__%$S7z)<ykVaE z>8od_<Mxa8^9!E|JUK6aHOkK0vOd4~!;Lzt6Q94`EolE<n_B<($9DPF|IzkE+v?|~ zblciruX$ymyFbrcYNqO+Qn_FECR9nzSAH4%x;V6URsFY57mNR|xuCq>e|Dk&{I#;5 zp7&2V_QR*xe95#`xu@M%?X278y*|+Xc#3`bY1uR{)%w1F?bAX(cW?5)x$3sx_jkz} zNB3=fH>2s_&&6BU+nRXKzE^j6S>^xp@3l`pdX{py{#thF<rOnUt9XmH&pG;K`7!yZ zcfX#+aNXW>-F$l9C$n$Ap6<GpUbi+s?&Z&zO!Fx*$Dik<*P7Q}FW-Kr@mVH!*me1+ znp*R%;p+U8XV-+k?|Hc<|J>{B{)ly-+ZNQ;?$=l2{<D3*{+AQ?|IN!e^I~%Szdz^Y zb0r=t-!hwbFZbeYiSE`l*YZ|pd@_Ex^_$4Y4C#*7?%s!&bn9;oT+{q_;R2%<6MAO9 zJ($(C;6`)p+4Et&a`R1JcjmpxPR>3%V^aO@y_5V+USFJi@!0>xva{5Ke!qEq_3_L3 zt2^|1&2PLiv{-z(C@;pWe(&Lb=CxeM77EK=O#4@IDb45p!R)I6yYDd-cc;C56Q3#f zBE(d#`sng1vuKg3E3Iy=@AllBmclpj*pn~Yk8ZGkvSo|g{tD+`HLo%^mQVM8e}PM1 zMnmZ0vDRv*lMy<;^Igp4ay?7dM{TL(2wSsgR($=tP<@lSgonR!GLFyjmCX{Kf2?Iw z?jz&C#mDTf?n@KS<lJ>@(v8P&4eh??ZdWz1ott~-<h8t>Pd{h0&D8LYZZg!)j+*!9 zX4@}m=kuK(K19s+pEPa5+IDTe+~}*D(*$&{iu_I%zRG><&x)<}&(2NQXP_6qBCY6? zyXT2VLfYcV!qF+0*Pl%{eKA{I=&-`%V^e%5{C>Q-DrahL(A1MAA@<oh()I}-`&Qgs zWEO0?PkXQKwzWoCRyPECu5a$$*uDAUlb07BrQH7T=heg>@wxN-3%(^gn`GYHleYN$ zJ*M`xEjb^Ks_dJ|IydE)(`u*xE9KPs9~nohUJmqFuCi2j@?*WIp0+1XiZXgHELDwq zBl~FXx2j_*Qk>gY+9dHMugbAbl-?2(mnc5@c$QUVmvqkT=`&-Ewe|`6iTC7vR$p}V z+Gd@y+ZJaf*52S#Vz_TE{%=F<X3-UD9-`SBrO%jO%KK}jd-GWj&l$zX^K%=wL|?9H z?t69h(u=9grjv68f_yITs9d*shg-SYEZ<o-b>>ARUCI$YyhC#Dog~v6`w~5N-M(w} z(fF3pc9*2=PwDd}=eGAUTJ4Tl|4c{H#D4};-Ko{b9hUT(ElXW0R&+u2<-5J6F&b@i zH+!D@wLy2?Bd=t)sxQagQf(%l<<)uQl`Wa!ZQL_|S<#yI-lBuWoDa=5Sxzp^WS28I z-BIb-Ey?}m_&w7FtFO$wc=T(ljHsM}Z_@ACUln((vQJCDv#o#L-bAGfJi9-7DW8t? zQf7aYpC({?OnR-N@iVPH!(F?%qGwHgaYROoZ>3yDl*MD6`6`!eRPXlh3s>#5ot>gu zf1qT>#^zjxZGKxm^1gZ`sb92n+I`-G6VGte`R_LunUSzZ`pnF$5<W+K+-LdRlF6NT zR!{Q#t;=@FIaNac*PUY#I+Vn$vGK*q3&x8D+w(6Q*GNxW<8a)%T|Tw);nJxS8KNg1 zKUy&JR^E!~e2Yy#Zt|2f>f!!z#`lu==WFlo2WI}+oB6l5ZqNS%k1p*0@nJ&Flmn-N zPv2g(dTOfm-yL6k!>4g@uQ&Ovy?RT|A<@pM7bG*Kjo-6H99G~su|x0P{%&nUTaWY$ z(atY8x6YCMwJfym?~iufq^}-_wlHY@)-PLoc#(y{(xcmWf3jEDZ1ex&)jqAJbjJ5@ z4ouHqvo8DEJN>)*mSVHg>=i-f+X5>V@!mT({ZzI39J8PArf&bed0T~NlYqXuQ;}Wo zdUf5$l6N+5U`hYt=T&05`|tA^zw0c-p6}bUXk&c5x%W|?a}S#CHSg!0b-U6o?O*NJ znQM<SSX8Im_iR3+b!GD$H}BfFPtELB88xLlAF<*%@G|k1>Hhl(O~KcuuivF!T>d1G zr*K=!<aGZ<iqC52^_N=4-{3B9o1j;0>=ggaxOJ~~df)H&8(Dt8j9C1;%u;0i`P*mC z9Nc}F`&VDR`H?@5ej5K>KRe-fM2^$5ol{!8e~OnJ+a#K-ZsW9h$FrW9j`dG=%-Fr_ z0(YxO(|(27(fd4PRb2Pm&i<$Q&B-RRMdf=Vd(5icvNnl!8t*gKZL(f<^q;QptUZfo zN(8?Cbg7bIYO<`(Kk3Q-H-61X)wx@HYMy-4l>Q{CtH+KDpRAeNwEWW!UXN$q6Yg)g zc)KWn)2t)Ce;c+7I2m<sX}cWEojN}wM`h!a45`VPZ*QJ8-^6Z|e4^{>>bKFy70Unr z|FUJ~d7*m6maW$%#BYfGd=&CK`rf>><311N7du<O&b8Lh-<6rGX34g=pFhCIcSdz? zO-k5j@sdMF!f$8v-u7|bao=ao^|OoBzgqIlt!(JtF6?D`NoQMMPETaLk-uZM`j@%4 zl^=G8Zd>JSSJbWbNyGfaHN&VBp);Pcc5@sp5}#~lk6yaPgZ+x_?0H)bMkSX7yz+c+ z<iB{wO8;LQblpQwq;Ih_GGqKaCnc*{PpqX<pgL-qKEM8fEi*D_RW;TgS`+`$_4i@s zyEkuMJF#UW?}f^%Tjt*pFS0V*m}Jb6<{SLZUDM*9+5eX81hbGiSw>6F-|pG8M>^tq zM)b9a^KI(|9)=xX=~VV+zTEH7m{~zJ@qX(j9-XV~a$4oJ<U`3Ew!`L%PmkAWFHmu* znz-2gKvfh+&Q)e}uWS1rb)|@D#C|`pFXB$UM~(ZTY;E4>9}e|Bc7G$bCBkFh<+l@O z?cVy3AuYIfSz+Zu_ws8&Pl9f(UVg1+W196hqoD2<G0u6jH}&-7c>TEfMsIysal-iy z{ah{0-)jAfTms5@kElKNyLqMd`iG~hWoDdpGyDG`Dp%=*?0J<v-<NnqG>81V@V8#q z#cMssLgD^3UtT2|ZE90$(dtdo(>+)xHL3P(@1)e*Ki|m-oxFbSp3i@lQ>t<|W^PtI zpQ&ALS?&Dg!_<|6Ze=l1O?`19%StS|4OrzR#WOCqglNwDAU0b+TU=kGzyH_j+Kum8 z7Iz%qW<JB{_Os-Csg>)q^Jndqb*+2rYb>k$Tj<-eS*yZdS-tU%y|rih-j&<_ZxcO! zFQoj(_PvUt2Rqj7b&Ospx^3^uR-gA<%{5dmztFF4-X(Ya&Xp%YQqR;*Oy7A^_x7C+ zHB~cbXWdD%DLBikb@9u2L-Wu|)|*qZ4%eL8W;WHab?eF$$#okOQ`73CrLXlRwrtFF znRETdgC%FanVIFtu|15K?RMy8l(fwBlC{3ox3o81`rh$t-NBX4+$Co`-zL47esE=r z?BlD=A5>zy4>#Gw>-d?nRejoM(KBx<Z+Eb~?ny(7)Sa>X-G}?W7V7xT^nJfe%su+g zCX1toVw2w|7dF*J&bccj)-L`eyMXK3qwa%>)7k9X4?grYcx`5J_3iJ|4?-pz1eN3! ztl|vY$F@AJd|BT?LH4EDg{xjZtm5%A)y(>vTkt?HYTH3Y%a-~bx_+wpQ}3y%-*_`a zM#v{sX7c8f*+pfi%`8h_PCfoC<eJ9*96#B0+YUX`m>#jtb>*@j^S^Dg^vT}4Mu<sQ zThwg%uK#~FS#q2_asAnWQ0>^ohmE%XGqUP1`c*GIH*3#&1Ir%1-)=W*d;JW1J=+X= z{1lIdue+$JB5>>WivuPvbBimM#7{mfas2dxE6=8Vn>8ovzS1Q-+qU(8%q*||sI4)y zysC4;_q)fU`9(T@-d?}<=<vOg4&JHjx8i$pq0`^}I)2)r)thzwoJEdrwV1t6EPZ>+ z(N1xh?$1XLMSOQ;NfvSzSUBZzW@b?J{=8;ge$5$vm!wu6+1YI0wo~G2cj671xU8;2 zacx!;B_>*!C-=rV^c}k(u>PN%^XsIno4%)BTr$v5`gmPo&bH?pqxR{g9E_g4Zi=c* zB<Iq_ob2=0<;ULiEq*fn_r1tNtIR#ZODpnUNk9FlzUuXVE#=$QF9lcbD0=(zj8e7R zlEacd!n(I|b2oHP{Swl?hU;=#a8mbNqu)u6L6UJHM!UQ#C!T0ZHvhZn-94vw?A+Jn z#W(u}9O1ZoZ%$5_dTD&(i2!%mLdofej~hQ#ij`b2>x0+TTS}on>y`uyy}mVViQ4XO z7w?5~d8Tyd{<IS9d6_(c+3D)sJ9ek%HCe7InvtUQS*Uqth_TOY#!Ab@p{ZHEPOHo8 z=e&??HMm_HxnjnPdo?0cLY{d1JG)@(Pd$;{?(a{BXYKU9<SV%FLXPU;^o7@24jD@K zEPSbPSY_+lCCa4{p>@w9+t)WO(V4B~6U%e(h`_pKizIy%ry3fhC@^>ZPM>Y|-t1D& z?xTMVqu0iTtgJ8%5&g_9dGyc?6|-aEioVNksC>HYJ=tg7Nlho`Bqgg~X}j3f%oO?9 z`wX7?eRK$4EA+hG*4XV-m+j}c^AGpTV_vy{^}Xx5rfb*5)cvn|ZCUIeT&{k!Y}4ZB z@AvKhxa<AtjKATR-kB_$v1F?n=i`#7y1CP$=il-Fd#`BzujBm_3vxVn`0ZK0e~n_% zp~T7VMs6WCORQ#0)Y6#ns8l_5$y||dlWuuPv^?VZ<KUjkv^*v$oyR(K$-*mc?dp{( zkLF#iSm7jl>6d-T?`x|Mf8grA&U#Gvsc3S(sM*?wA2&H1y}0qI{wk?2?v_s$mMook z`s~(=M^`g2TN=f_(#%?_{=$!Q(@K`eS_{{yS5N%l=Tg17cv_j}mFFGr?ltLD)IVh` z{G2nPc~e&;^N;JNmo?X{eEBLV?A)<K6|<cL?gY<MSDLuB^QvKHTkNJJnb|d>`f8F4 z(W`Zi$Hv|Ha@D7AyX41TUu!guEikw2+;#HCs#2*f)1TzLiTr#dclGY$JhwF@j6)3b z>q5*#c27w0I=fwJnZ_j3?=@_mGmQGW45|VJCmd(qz0oW5V#upk_op_CY;v!kpA#i` z`I-0hv)sECYr<^(!`d&ETw>1u_q_4pzOX4feU#2zo#0>jDkke>^7WlPU$W+0-|2G5 zfA=|4kK~@{=R$vrEPLm9^}Ml~E_G>bF|U#H-zz&^PSxKjUFW#Tcc#?(;?6XexaYf4 zrbLz<zRD7{{LgYR2~O7qV)|`?mMo4_W=%5WlHPK?f5vf<4cdB-`BTHoT+;OQxcm=m zb9(O2>#q3xben{+_7>JD6B9#?%J$@6uU6IGVHg)DC1O=D#l}gl|3<*9QtsqW{4=ta z&#{(Ea+t1`pt($gm3h&cw|;Lv^#mCjDrv+#dp$GDKJN4~-(&67OLn)eko#Y#8)~0m z@w1=1ep6+u_EGg|pLCQ@>u)pMdcM+R4e!of-)1*1-I%#jpfUL^zespOWRA&-{RiY+ zR;_z5D_rtmqK9jM`rfY@x7*&_m{wz2Qk%XaC#xy=&4UAGX4*W~2OBx-P8^t)EG-k~ zyKdGtLwCmmQ+^fA^If)HQ%pSd_EL^j>Fj?S&1^T^*0!FM&Jw}#NN@4pDsFMR@GbsF zf9=*deQ)A3j;E(A{x3SZS>+)=57YdqPxfuTx0rAHvnys>6P+E^*!FUIuvZ^;?zu9f zZwt#mmS-nsPI2G8x$q)$|D@vf)19huoxIgeAM$#``Kz~F{mo_+x8dVoH$%Djask!Q z_Us=5E2l5}E>f`S^Nz_avd?#PJE*ef+fM6LZ}WCb(RTY*F>zwzF|*3I_wqRRv|lW? zo|?0wcG05vhEF?URkax|^NKR{%z49oTl1#g`I4Aekt1wYvWH`4={(ms8avtMo06$n z-;5iITFg0KqD9WxA`cqQKH12tZ@8jAUAT;Y>9<RjjH|n4?(%O?WZ6*7vDG_wj^ZT4 z%%7(0pC%UH^PKeF;X)GcDy_Wo&Rdh2V;88Zu$T*4dGC3-n{&5n87GgzyRY|-<X>7K znKIMtd!Io68ZG&EvddWPl@(ZBY|<|_rA_S2kCTlmN<TASU-iz(x3vd%WbD7WwZqLm zNqX|cD7{Ffhs9F6nw)L@EaX-g@0CAu^ReLn18=3wbC+M#{1KM)s$<^dGxEZvQf)E6 zD&^BFIjX+Dp7_`9-E+^0y;W}8Pa6NaE3ldSYN6Wy(yur7U!3cHw{!d77oL$b9$$55 zKGPpqXWBBWC1lc_i+dNfUcPnlzQUw*-rmSU{f7R?`X;xM+VfFOMl#W!^}(+^K7Cqq z?}e(;iZwjn1aitxs=j^qR4_g)-ff>{$H5QGo>~bvtRp^`X3SHNy%TTy>`T`2!;-yW zKHZ0kuH0ex5OJz=cHPCGCBmD(G);{B8P!y`L~@4qJD!i-{y9qm-ke@qcz`F^YwA?x z#seC!*YWi{j4b+N(i6vS?Z$iMapYp#D>jmu^4q@bxbyg(W_-{Ml|ARyG(T&6ckuDc zi+e0`=PURcP5H9oIP;^<MN`!6Cd53tp*u(6(xqFuLG~+I{L4OfE_;4fUcs07%bK9~ z@6udPCn+vFZjk%r?^UrSJ?H&0qP#zDExq&f!1^gSmR^W)7I-1-6zwd`-?(}8s|!y~ zHcmW!I&;mY-KP{KBR072J1r(6w6ZIUZ|<Sx|I|E-*usiayu|k$Yw_k-!DttBDofNo zfam<GzNxH#Q;POkADFq!Ph-MrN$$gZk8UlznylA4W%f4qXH$Ca%GJJ^FsF6SF$vKd zuSDuUFr2K7>Pm`Cj@fW~?TPnNlVifgk0^`$Taxto;+`v6B6d&Rz27bL&+<|5+xBy& zNQ7^igPL(;=4o#2hBpUvZ<sVT`*qHl*1JyXaN>vk<}I5)zP9@uecHR*S12U@WcYv9 zLrVWwKCLOMlWbXGXp{cr%9kMVmMaHJB(|;H8IU)_$v<>eYQywdUOv)uIkOzkcq_k) zJtbH2s`KS<f!!&yL_GX*x-Xsz*z#&cs+>fVr1|ej`-^@>N=((RNUB|!xK*9i=x#NO zfvCu?5UmX5$vO_d>Xsxn94ls+HAT2!@y*s(`H$ZADds(0F>C#$1C`9}HU0flHvI`? zxcOpJT~ys%F&D=8uiFm%y~;0>a_HvCjVy-sS2y<EEH8?<kx+a!t$6<t79Z0ck$Yd= zD(N|#(YM9oP5z0Ozh>+_W<6PH(o7q(TrsnQuR5AvyH3tjoTY9hd*hqPlS;MqpKq+` zEaulusc@csUoKR1^5-U{E9ZZ6i>!Mt>%83Phm`V(f@ihqj7E1v&dyZ7k;h$i&dTJc z==-Tz!51GydT)5NjX!;D^S#}I8J|q=SuZ=x`<Y)?h2wUW>4JG*rmhlJ?XlrA?+6Xh z*JM9tyZK)7Qifa7pKpGW(*E_aIpUu0=H`&(eD(;1rN5glipuS=Gqm_P;hjR0<#&nZ z9?L&}dMjl)vwnql{n>2E7xG2RxT4(LL_c6szd>T8E&IEwR~84AZc26BQxs-=RmSzv zn#CaA`>LF>yzCX_^Altzorx36_KeF=uf6_aVu+YPRnYMdoBCKe_Ige`B6WoO@5fKc zOdIC5CA(Ta7u}+8fO~%V_ARV_v*jXx$}bkpP<42CcVS0gsh3l)xxt%HT0$#6#mQRF zs7w}m<?`TAi<kF<$&K?C`B`lGDzNZ_i{OQ(8n1+Q$$#uGr<k(7P}%+SV1R6P&xDl4 zzwPERaerp~smu2!RLWU<^6@;$v+c3WZ|7f*^uFkvz4i-hM!k@aPOGGy(2EOaZvWZA zr#j>8qmq{9znKpg%s9C;U}>>e;984s3b({EEa$&qRNUhj*DTs<l73o7U-F9gb&F3z zyay-luj6p;o&9ZZVrnR79Pf`xPmP>U4)WY<mIT~zH9VH}(>QFC#%yMB_jb<u18i2Z zTURZbP<m&|wv_2du38munkC@#W*VPPiKo))O{+E^*0^`*+M~xl_8zYUzP1E!&2(J6 zneUKm_u-k-uf?iL-dI;AtMZkpyWn%Ae8^nhNQ2rF6{`xqxUTy<t5p1~fYjNGtF7F$ zMRyj&%#FLXe6OHdIoHnc%R5aben|f6^L62A&5drSZ?0Is%k`Gpr8SzOJ6-B8PWp3U zLFaj)Usw1!m#r#{c#-<vehEX)tuwb1HR9{y8&*f1S8oYYNp|a=?;+3^m^FdxX1AX* z*QM>Q>22?&<z!VY?k}*Ku=MLU4LM%LwjVkNrM}5DiF~-MzSH`R>xIkJz3)zYZjUIa zu=BqbxLV@y?k^S$cQQIP=b0Z7s=3YnkV8F6)mBdC?^kDr;Olx>KTD(Du^o5bZ+a*F zA0wOI?ql}(Y~`A3OYZqB@%>@n`s3fz3(EIuq&&Q)eX47l@$u&+Cr9Dx8>LY_Y}Gc8 zeN9|{&9%~YyUqWi(<Gj0{ngX=A573une`;4wZN-rVV63aPFFm~O_BN5k4`RG`LWR< zW}>jc%$aN1oF;skW@)pxMd<%NsW|m>t7;xz5PLeqk9&FX-;9fSj3=%zeY`OHcB<Ds zD~GLBomLLdWfXJ;J6CGli}C+1#lhM4Zk=F}Yj4=?w@XEf{de``ToOEb&hntTeDjJ$ z1q%ffjQ^}SXLEN&o1_}267!C;1<y~so-X%9t82ewg~SsVndyhk6;51Tr_P{vtvR^o zGJ9s&isBuLX@Un7_xuh`F+1&c=EjzQ<7<{&<m}yht7N%{f{ayz(FvxfA~g&-9es_t zzh*vM{BGLLgB~oF$2vA2xg^wh<H3h!Tehv4D+E~F9N0Y?>L!TK($#vmZ1(A;p^L8n z+;*G!|D=Yid+(e}44?fh;<i(%U-azG84VM*+&3z`?C&kHyJVT|X~&3z0?*!t%bsL# zOW?b;XV1Ndf0d=b)y`cxCz8RM_k!%#8Bgy0of)!8*kRF9->mng71jS`HM}4HwQTSS z7L~YW@J7^<HF^EY0MF?AotC2NVi$Y&=P&&EbGC%%mM5v|>Fl0j>{~7W$n&j!mdVsG zRahzc@>17T@3y2gsvIm8;;&oCTIOJq8acaq@{SG;Az{Pp{^Jjh&5LnAx2xVkeQC+A ztMAPM9D6>my&1cr;i-T(&v)LFPrp1{miYUMmDRlXxLIMlr#?<CXEOA>r(C(|?a6ln z*189}L!Q2U_<Q&LpSg<6A1+<fE}F5l)|Bny2DyVJal9vs<J`)1S==A6h$&e<)0XvN zuurkE=G;2*RAo_sdrYUA*}5k&{wwxI{+-9cW0vES*KEPp(9(G@r_TLY&O6R;Hy^k0 zO=V`0npiJWCvh+5WWImz<qbc7<;^wrXXX`op!%hS^<d7j`9iK6HRLWG`umCPkJj90 z%afv5<3DA)<(Pk5u}ev1>B>si%y)td`a6_O7(#P;-TuDnxAJuU9^-eQWmanK)3p^P zmrsi5t}Obf=)d63F72cPg}03O`=wTIdj7^_wFBd_eN_+M^8IHKu;;nA*(N4xQvH*P z6|RwOn**~gTRP^}-FxWg9^M<i<8o)qRvzm+f?o`-3cu@kXI>=pjDJb_mc`TR7RxT4 zYSU5R{^W;}N6VR?ZPts9cb2KJc%1AjyAt5PWpitayY=*Y_uhnS7BK`(<TqW;Z1Rtb zr}L+xw~k5BwNRd%Nv{s&O<dn-bn}wqOxJBonbet#9jtg}EKtyG(X&}rVjh>_^u{dB zAusTSd15!$x)Zlt9WJ<R*1Ds_ZY)<Y^BW_#g2yw-zcmxg%Uo6|aHu5gNMRQKR?(Qn z`MB)lfyfoJ-s=Xl7TLyktE{oK>R`QB*Dd~i`f4jhl^t7Bcl?;ZR`aXqXF=2quJShj z{;79QGAxQ@`mB78=LpZ=nA=*%c`};6c14`di2N*_oylEousdAfK#M2a<acW%iq5oq z>#jav9pATkUsTif<^4sk;^x1#;T6(+uhQ<oYrEI##<q-Ek?Nu>kE^`@KH#tXW$xK9 z$vseHl5L;zcEk4F4PDVJM^1b_<L%HprS@%ihN0FilO!jxP6siDXF@h91}9ASI8<jC zFD&dy+HRsdC9dJ+>W6{aM~*3du~^cuA<1RaAO45oZN=LS1bDVq3FWX!=xP2^h<%eV zam}R5RZREYU-X=<^je_Sk-c_5-~LbKe$zu#B?`aGG$;3+%3{x5F4bgot-s9gyK=$h zrVsV~(<4q^U2|Z4$K#Zm8(EFMn-;OPr?AFe*UNl6ZBcY;&y{m$WklDdpL}!v4@(>O zfd{KT?W^%{zL03NlS$9kc6a%+Ejv74*H;%DQxck^_hsIpV;2ipS~nHB$|W9Pkv}i5 zuYYCZxgAHHl-a*|D47*sIU>Mk*|^KYGdg|qVb$6{-2Lxd4~BRY+sunyc0z6MVOeH* ziD?BK;)OpvXZ-uMQ2hpDdN3!$Aql^2YnvLDUFY3i8f5wM8^fZDBGZ0Z>6Kr;zK_S* z+PLt{-ThM%w5v^>%hg+o7G>=@(q;C(;#B|juiG}UujAm-SmSsvoR`xgWZJiTS0}n| z-?P9ivEuTskIM5tOcT`T{M+_&@xQ!6hj|S;RZBD3JgiGxQzF~mg}+eeHf~t7?&qn? zJPLAa_f-jmY`-pT)b1Fk*)cKnl$~eS!o&S<RSfm^UY1!ert0)g+9t4QUty4Dx=4SU zfOC(@nVCmCuguAuC%2L3-wyptub;-Q-1PhBy34c5E86XZZ|GKc{pPLa-1nwgPUGE< z_bI0sawgy7Y`t4l)Ajd4KJR;#BL-zEZmNeqYjd!%Ck5nqo-9%{<v6ipf>XduwUV2< z-+5N`UXl#mRaUTWjoHPWmeUrm^S!iR=fA_ByJ?YSEfx&ThnHl^*Bd-%o$;y9f>mkt zXAZ9RonBMVbu%S?-E9(JaY(FT=h`nb^kz-Dbn)=h2X+k%B~dLO1ZUd1l_|tr_<K|I zP)6sHfBM&Qw9bCo`*5r6$20Sz!uqmwE0rrx2OoV`e!7yYBXw<k#!mVE_PXpDYpXrV zq*lqxNgVa}*rYbgXu^gkTDQ9Wt|>hiG80Jg31>X>#65^z(&XA7%Y6ct7B20@Cx0D! z6lPEnxWVIt*1YQ+(Hvp|fivo&r<57S^Xg3bR`EI`efI5z+va+Gc`obr^Pf}sjK7kH z0;IUYW29ynS-$#olYRTX(``>uEta`IT5wqQ+M+3)LiwB}zMre+e*RowXeBw(u}y9N zzds$X`o0;QUc5@}-9wubQfD+B?<&9PEs(psIj7xb=gGU9Y(##4&Ej~>>TAF>BUyF1 z=<X7GzLji;UcWS7!s~V7?&9>Y89l+xcjc^@zaG4JE3SzBRiTrn@@(-lWp~d<6~(My z$*tAGGD&%UiW0k~p5=7U6=9AGX02PVa_8_2Cf2S6#tI?2?sk_N?Qd9yBnLXBP54?- zeM0t6aP{vCF|psYWc&V!tnYg`iQ!OVWqbW%&vw)O7abC{etR4%GUE?QOrD_aZ}IDF zq1E3`hPb@13<oZ3KEA}}fjU!&c}&s0sH+<m|1h2<&v3|p+JCP$<KNqU^2RZ5;gek5 z8!h2GE#6vJl4af$8%v!Ht3Oz~CcX(~TK7bC>&t@3ckfouYY^(|e$B?&c#YB0%;wDG zj;*a#HHx;rMkl^|*4q9u^7f52S)}*HeENUSxs^;=FT!@tp1?I_F4xiB?qX>H`7`z` zd{O6;QEFc)vVQULoh!clcsc9f&J{D`3*+)vUD<SQ$NX4<5YY_gMcd2RY!}$?ef^H* zRJBl)(IXc=morS8S>OI%z`jTE_u6g;;n@YJcc&K2=)NI0t?Wrcn_%d}8m8<OmtD6c zn4DZWxv|6RV1V9*ZBculOx>ayKfi-x{mfpkQ*3K`wY<6d4}DZ$&!xZQ2}7h&+G{s= zhLTx}6w}W(or+d{u+7!{^I6FgUPh0Z=bY|YobGI)qri1Kx8U)wLpqbY`Zt~|W<8&& zS@$hiKO=5Y;hj11+itCzsb0e6utLP~;~$IPH8vYneja+c<JMdyCdN;nb{pohws0S^ zTafBBYf4qTqRe66uEQ_3F8QkVdZ{Xln6;VKms2k<ZnoBy4m-AOasIWB2NK;LKQ_+c zd-_zB`C);-o`KK%9S#Rh%$_JOQ#3_V`lGMO<k}?pLoY*??zPc&Q{q0N^5@)M!<fMQ zC^m2B9kvI2xn?~T({Nu>oU|}-%In~Jer#<fc~`}c-br*SU-RX&`C={S?h65NGbd(D zyU}PYRc)v#w@T)*(&fp`D?i!U9Jsad>DlvJZrt)?m)yF+x8?KGC)=%Nl!kI13~ag* zs<SpZxOwt|2MwPDC9e1t^YK)?6iU%NyZ8E}iCgmbi`*+ovE<U*<mq?s8;ga-pDEK9 zHwa37e=pKMfnm?hx}9&Q&2DoD`dV>phQ@}JoBAt_Z++&E-1*L->715&KU3S8#z!AS zjN0#h$Z_^zoOz;aPvYDSg)R#?PO05yeCgiYx9+TRU^r*bjSEteo_7oGiY$0E!_+>G z%g9B@MzrMo&i7}xh#mAfx#NjQTGh_DN$tlcO`K(+DK+g%iIt^{toqCTo_8_QKD=U` z``6E1?Qnk8jE_6Ep0c{e`%>c38s*OIQmQ-_u99nbyCzG?cl|6p)9F&zaYrb=RFg^f zMdouSjklaOyE><<c20|5-l|gQ*Ql^vcUD~VPc>Je|B?%rXH7mK${8-TN8)DtpA|=D zntoKx`((9+?cvSOmltcgm)yUwXO_@>j*CJ82W`!^AL#1;*uwYs%HxBTr#HKCES^_y z^S<8hgHPVnDc8OT3YdTWR_Mmzqr3l^z?K@X`A=Uy>@J8CSY5K;L3P3YHV4OqJ#G?T zviWwWo;SL;LHyxsyAuh)Gi!5szCGP)sK}Ro)43*2+PT$e?>4^amkn2aY`eCv{<7e{ z>HuH!Rd)>Kf1SzN{-*N1_?yz3^DVfyAKwsO)?cXqXWr4fvuw{_K0N*5o&(cg)+Mky zCH5cCpSeq!=a*^w-A(C|`8T>hq{_EgeB*iUJJI9cYtM-aHCykAoQyg2XK#?olN%08 z-iUCr9t-s6V)4&B6W+z5y!~GN`FYz*gAM+!`ybwyQY7iJ-_Ic-ahs-sCP&FbHBXk% zm*$>Km&B4cPgZf*fAOrjXH&7;HiJnj6W%`aXxgJGl)po><7)`JKwWmlQ^P+K?M>$V z;V}4{zVEa0@~1W_P0ubqyx#WvVa1c}ZL?)>@>*Ljy3F`9&E2E=%9nF}6ZG}1Ef1MJ zJpA?v$8Lq|pH<u=${e35SuV<`yL*L&HQ(`z|0kvu6F<pMyqEC*)!BBQo}8bP4)e|1 zX)BXgaDT&;wEFtyMLD|`FF2;#Qmf(-;!sz8;XaGAN2Qa?WYu?^#S3aoOwwHgK8E`I zZJ$=rF>R&RcloF<(qeD_UU{#Z@V`4=^4<M^ZuiwKW;*<R`+eH)r|XT2zL>CYTr14E zNHOPj=E0MqHYwXp_J3Uz9Ld;yaEoJDK`rC{I~PhsUOZkNFW-HY=`_o|{@)Tma(V8a z-T!A_lvneL3&-<UoIUrqXwI(q#XgLiex_>gGLdYs)>>=vOF~D;K6FzF*9yVklbczh z4)L?<l&hQRHf&bE?$5vEK>UG7fk)n7%;yIzI{eSShv9(Ex@&9f4(X_Diq1OZyMMXl z-Q{w=r_R1md3$FS*HzvXZ2Dh{_u5<tmGJX5w~c6D7A)c!p0-w;_lZ0Io3=&4YkVCl zs~ML^eQjD<BUJt+W&WqdpSe1B_rL1$u2^{U5PxiPUvF`cMe$u<Szg;9X*a(8e`ZZ+ z*uHh|#iNW|DY4nbE39uHi`A8xdfl>gUc_nfmG*&)9_*<roS-ZCAW7)v!_PCgZiqae zZdf5X^Yrai%@4!FW~nTzER!=)vFBvuy2Y+&rFU!XdpXzd$5qZ*m+il{{Zq8=9LC=6 zCfT@C54Vb$b8bEtdSiFn?7e*#{`~RniP<7I)!_(Vt;d#2%;rxVJXUATwkV!*?~C#d zOa0zyuePf-_Qk&oxFh!S^(5b-6TP$EPwAT^@w4^VRr^i)k##9+X3f|?(Ogh`vo6!y z;+vI+B)d-UC@$alXqB-&3xnPK%h^#Uf3=A8Twi*u;OB+@V3UH(M;{kvgg6v$uy*Wz zzGP!w|BZVUPrsLn?5gZkZIiyYUq;b4YBERs^d=>Z2~4^YKQ%<fP1diNCvI!|CtUL# zch`lLzlCiW&je-7{yfj^RYct(Nx%FmFWr}o8IoT5cf@%#uYK<1`*qG<uvtM~;YKOX zq$6|nuJmTIoE5e^e_3(b!#xUOufBFJy#4K+!k<lhtxx#g&wMk@_Tt~Ri1zi>3)%lT zxP7+PxH0$5kF^;;OQZWVtw2+8^M0{U$h<1BF3?W*toQ5vak`$FX|WO>*QU;X+_3!R zqdk=@AD7?fxK;G$m8idf)R)6g_F6s2{rts${|4c|4r)%~Y?IDT-gx2Zmc44a=~<^_ zUUs^FEzXv#lTLVhT&VPJ^o6)>r#?RUe6=|z>f&RkGt;9UF-J##5Oz7gbwcd&4?iE2 z%w8S*t>&;kx6q{M=NnTl-iYkmu=wrFWfz|I7d_u}sjyyWtKPnYzUj@smrwU!#k>E! zl)uUDx&7K%qOX=bGvD|3lXUC%Q$PHDE(C3zHfQZ00bOgE?3sV<7PfqU6rR`oCSiuN z@aeU!Z4*-k_x|!${dxBK>GrkV)Bn13>{gy|*tT`oxvj@f-BjCjcy%RzZu!Mlas8^- zlkXPYoPJvG+OOd5br*czPkR=%=XI5t<rI-eJyTw>iF~^JzUVre*v~h+y2HC;MVw3D z^+*Igy=^6KUy$}WWZ|k}e+|X_%c?3Dg6%_}g$sUm5S@3md=8)Q&vREw7+t1|7kbQ< z6FBzlPpw$`&UJ^JkMGIiihZ*-+OT!jH9w#IX2C@lWO&cJu8s;9zbGL6b5>DJDgW|o z3$!Ax|6Tv}v|E8I<5QhTo7kt3cVu2E#R>ZVv6wiyyndgixaJ%&(e0}XN=p8`eKcQe z9h2r$@6#nSX7b&BoN#8xl}X0lXJu`7&a$0hZn~d$cX3V3z1%9M=C|tdmK$wW**{c& zDv|g|h0*fQJG<=;cUJF^eCl3P(GV|MRH#=I^4&Viw&rt*yGvcJUgpCp^XacHU%IDb z?;lty+I(fjYaOG&OY(Uu>Mg_W{#5_%TD$o7w?q?#X8XTkHG7>(?Ouk8@U&^S3foB* z_ovP>=8KqMAbs~MXV)a9RjVB}-46azP3m5Jxp4UscOhlJ%AChbUiZG+GWS{MpC4ZD z<@$?c{&l`=SB%oAx0kybl9-TGci{7z(CbfiZoU0@ZL&v?%Ig=Nr`$I0|C(~zs%7g{ zl_h7QR(QVhnlxptTIkBEm!7fj=d7Q{Q~l%8WR`-;I9o}^yVoWc%nJE_aq`*s);3i| z-lwlko__DqPv3cez64A+uid-z;@$;&=5B0!Z@GT6*&m(9r{_LiVR)vlN+k9}^?im- z54)!ys+@GCU)uTY@%pSwd*?XI+rQY-vb-ctVBVE~N4{?Trm)R?8~e_^TWxz^pL^Rm zPi~{YbKZSH>-`Hj-(>SRhwr&(nD^^k()Kr%$GDS3_q}P^)&9P=X6MA^)mF!+-_{LR ze7C$Vzw&2MbG+N3H(WMLx;y9n*z3BEFQ!mb`o!~1DtdE+&$E2kHQQaUr?pBhM=5o+ z?)HOE!Y!vQIBBuenIrGcxB11N1ExnGSQz~MLdC0|7#S^%E}_34+LCm6`F*0*!&k-s z@M*g7GNbjus+Csrb_G8;SjzT&>0!yshL?Bs9`mpEDgRt@dP>y`k-A5#O4jAtZh1cK ztIL)jw#HS>KE3w?RyFe)6&crQb~v86`H=mgL@7t%MSt6p*o;Ys7X4b|{iDRIyqxLS zwRM*lINyoy*)`$xsh%H#)#vKBNIxo-wT)XpVg2OU6N_%!?$CMq<9cjG%l4$GZ1<V( zCQSZV^OLvfs8*J*^uamZ%abgAsXWj*u;W=<b92rCizjM2js@?<cO)LTnYv?F>7DHO zcP#SlG8Nw|s^6SG|L+dp&rW>}`>URYr<&gLgoSU-ubCqw{!=;f%EI`v*IFFUzk3yH zo-CT&SE_RL?YW6v@8_DVkD0H#&nj-on}&YQ2Zn6ht%_b=dR&vZeTtf^m*<p#jw>9I zT&Z*Nn%w^!^}nKVxaHLIGi)~Ul1p@3CMI0k^zq-{=kHv_Jw)U#tn-U`VYg?S<C?%P z+KV={=`r~H@^xC-A^Gy^8wu^Z$23$gmWJQCnVGj=Xtl-fQ>9-&i_4r%aVuI~D!TYe zlY>N4g!W&S<cjb5S*QK?G}Jxap81zUcva3Tvl(|kz1}9Xv|`?`y-!^@ma8hU+&!-) z9w&H6p-*nT!omK`9$}Rim)yimnphN<i)Ox4aGY+Yb@h$op$G28L3W?kSxe6U)g@HI zxtKkoONedxQBUt3i!+St=4c<DDD(59we+L+yR^5?*Km}`;5?W1`JnA|As$!G=H1^# zmbY#B+`MA#{zWYZdnbQ-DWb|#w=i?H$vdyF@mF`oow(pHKUc!>$q99z9bfuH{7&E1 z%8Q%(+Fw^)xG>sASTU-S_4}Sb|Bn1AG#1=7>0)fg{xXm2d(SQY!FK(imcy-?9EuA? z11r^%Quc=z?QV4rzp$=<cBe#4)N8>VdD~+5ZCkf>OZd;F*V_92-Jj-YmC?4F=ZmX3 zr%8F6tjjzmISCG{<P|lKe(HUw`yTqR;zfa2&7M}9?Ripf19?uIYx<>ne!AlaWA@K1 zVs*KN25av}$R=I>A{}gBFC5spw(kD-Yia*>=`LTSEU@O#y!%n_&b@v<<MsR~KhtM6 zU#m~AdwHk7K7YsgEi#se??=7czW;33Ouu)h4*Zy7bUycH>b%QBsq;K1E;|y%Afa?! z|LW$`HlIJP7Ac>Z-jpm_Up+HDNUvbCZ0fv~@*V$ggwFf<re;#~fksh3ePPR#mg|O# zn2$T|ocG`u>ysz3Pb7C~Jw3X<=(SzhME9*x>DM(r@f^QX^Tz5t!{*ONBsM49@L!^{ z=-lE-UlwP&3GNoX?jHACGT6MQ=8jYUx|+{>`joGQRGnLXq4=f7mpg3wUslxhOzLy$ z*PA){+s&!-6i+1CPMy~%>$iN1@rQ$M``aoC78URLXJ_jwHg(?0#U4LHU(Iy-eJ%La z%)&MK)l8GCXMYs-U+Mm4Lj2Tuoo}aBe)c*a(P!4-b)I2$^sUvGj1B(%6x(v{o4ag! zfnr}oZFtomyZ!%OP241&68ci`&cf;8OVfR1J?*E;#Xeu2HD!8LNRHq7p!4N{pQ729 z^U2-`Ixq0z+p02O(@jAyUEf8W&$DQi?N#2oUiV;Hzr6U2yKgs5uQCz*`EvIaV~75o z`VFgBt>(UZ(A(De!s@Su*|yCM>ASC9jm)@f^5en2Mc>wa^|%q&`ElXo`(J;2buND! z6P2^PdtHA2jfWM_zfaxr^;-YNy_=Y?Jy;&Ayls9&cS-X9PX8(QZZ^)8v8<_9>AYL( zT=l0@_Pd{K(`suyvrFa1i=KJE-|=f(&yLWf{Rfmkf9@3CHQ&)Cr=Cr6<Nuk*PV&v^ zM3mts_W!HcE{a6lam@SWm%RN==R5NwRy8-dbI)<*O8;y;8Tt0tIsQ4*lKamE@87=X z6LawXoNMvder}QBf4yx-yK0ovL%C~f>Kr~*MNE!}(e(VjL9KnmvD8nIpZUTLAD;E= z?AqwpGr!)n^sJ27yd!s)+%=cj-W6Yc>g3Yz?I<X!{?xt9`qaOxihisvE7PY5d$etu zk@D}g?$<M)e$;XVzM45Dams=_OXr<@ANsvN_T|hwes}VhroRf0dwzWF7oVN0<ab{% z{`q!-U}!?)S_{PwUI~7&`G57koQavYS;s43mFwalrs7Y#gMMDCbgAY&D?B6E{z05w z8B_3=J)CDcugBkOmD_qI`o+v&wQUm5ih|-E`z4%vllaarq3c{=@I$3#-ubbcqV?Wy zGE4op@@Y%qa@9jSI-mca<8=PXa=E8bt`g=uJ!@Iyx#ycMzVIyZ&XY~$J0+}pX8)@F z6#aVU(e+<%B;I+#zWK;x>z>(17e-t67@M7$I7i)Qc8rI8{Ly)yoSV-4{{C*dn43g; z$&wA_66PO8!hUxc<P}}Lvd43_r<~sYZre$-%erhQ3)I|6I<NBf`_flt-J37*JxMD( zkbI=D{Z8VYydBnGeUE#*FWKMxc-N`j4=YYx+#s7OYqO)ysN%+#vdN`<Z>mnl1n-*s zs(ZKI{)!WOPan3{E6TU+;x3w~9zN~d_I{gE>o2TMXV=aDzT;QRuJhVWo7HdS<m*=* zdwb!w=e({(&rW;JTg#Spc<vL;=}9u`m75slF1Js%x!w2buID^2kG{t${&%bYmrXi* z^lM14#mULqJx^EfoLuv=U{Zdw^~uS%ZoWG1xy>>4?_Z0PllxE4FHx_2750p|eAXYi z$lBD^%jzcN+}U3o@c*ew@!U0b1#?nfg}?lDB4Ok2(ut+cH*Y&%JMXvGHs!&+K9^H< z2No<nVfRqcU*Wsgx?KLsZ!)22^B>>*^PxW1%j$25?UR#Y)57^9@@4re4^7+g^SJZ8 z7sm>1pR9abCC-z&CE)CJ=YLubdcmq(jkg`=F+2{poEB*us(I4(iFdyE&n+_j6=r|6 z4qcxn$>~4$$h2oW>^^;&JvrX))0fjzxA)szbba-}?vqQnr``5`o2TkMZ<YP$vPfR9 zy>K<+{hh7Xs^#jFv>w)6^xORV?W*gp^X9Az6wUkIq1zW;7k_%b{lB-z@Bhp5{`UU= zpNV!me9l)K`4=pAd(HF5_H`#@6^`fH9S%<ZIF;w7?zRGkiu}VWmARWQNp9Whxn_#r zU-q-6zh!Rpv_}f^#lPF0|LeKr!MvYeZ_i-3^Y8orkNWoip7;Of-!|c3LTX+Lbc0%I zUJ7Van>loIo1w9#xhWS^(9jqvYGb1xQdy9yACQ=ys_&bcl9}j~U!f3fpkSb2VQH*j zWM~n~r5}`El30?eV4xq6Sd^Mqq5#qy#HAmUTAW{6l$=^@W1}BXl%E`&S`w`v;Nlj` zrSF`dlV22EkeHmRU}&OXpb*5R?^;pf9t<|e&=evPP?TSgT2zvmTC89Q+JYCvWoHM{ znpcvVS5mA17lOJOWGl!+HZ}@iH!FZ0U96z*otaXs5X}YlQxI3Ig1&QpX<mtfA;>tW zUPDyxD(E{WmL%rnr^CzunH|KX@0(hZn37nMs9*>RHL!c227sIlu^dU20@!N`Tnct} zP-PaV_8>gXrSBi$t6&IMXo*{4et|+sQE4h%sUghq(fYxu1&Kw8C7JnoT>4HqiOJbq z`Yx$unaQcnzLDNshM-sriiJAG&<L*;X^A<-2s=O?fp`zP=@EI)BNsTh;eo@YA6%ML z0!lOyzCQZU4U-mT#zuB_(3Dp(=WWf+Nsm1?-Tgh|rTnR^GbxiCZ{FA*R2s+Z*rebv zL80tZDv$QY_Y91GdhA^It1hs=6c<rhy=!&$%iL$Po@I5V&YUXAVJ|25uI`Ys#F_8^ z&91JS-}+Zte~;SJ{`~*v|Nn{4zprwzKR-9famp<I$1X9q0^<4F_NUlM@A<p^`u;uh z@A<mMw(R|#ruAu4wfWy4*Lbz`YuM}dnIF!-Z?o&m&HntIznjhb7VUeu+N{R;pTpiC z8jkxG-jomEQjhqyfA2woDUE_`ZXd;`RJkj>H+XZl{rc_e`y1ZBzpYTUd~GZLs{{G= z`+9%xt7AXB{r1~->3_~w;}WN&MoJt^;HhS`joY>J&E1zv-~9W<^0Q+zpY?v<S9U8; znSZ|@yI$&-{QZ4@PtW#`^LK6hKY3nN#^?5F2igzY=p5SgKH&?y$iG=K27lELZu<Su z(A@q<D5HNKZ_9*y&fM~&U$3*SF9?d+uewfSzg~<;{M0v9x;=HVn~a}XwQSw6y6qaj z<M;h_vKhwT>RB?3n==1sg-m+xe0_Uf{MLB(KT8g;Kf7Y#zhf=m3jTim`Q}$?&>y*E zhwU5QIGB{iZ+-Ia+Wk*2uRnS9K-!Lxzd?fUzsS|^2l)P!2VND+`~T`%>AWBBZ1+6e z_3BsphW+jJ?>>5Ow0rsa!&h<UiY1)Wzwgia`$NJ1opR0e-KsNgy;S8;E<f>m`}*In zqW=1doZaupzMbR0Sa|NH5CzuH`&Z`OOxE$+*FOK#{LJS4A>Sq5Jy)*gU-oG((+kyt z>hibW9%?J_ePdl1Z*a(gF?+*%4jHEn<s6^n{w;d{+#+;>%jfq_KX*P)m#C3$x^}<$ zqv!eci6LtPLw~-WtW|FB{!Mybee*+mh5UcrkA8XH43GU2Z_oHg;hW?lLH^e8U7q*; zI<CL>fA!sM-0u_rKEB=W`Rf~ZBmb;-IbYvRW2ybqHStPv%zTr-vjSw)uJ5Q{+A+V? z&gAc`EA1bqUOD?MeW!lXFYld83f4c=KC{f=V4=G0ZjW12qYJO|E-zj!dwgx;uOp?; z%;cJNckhV)wk=w_`B32z&C~ocEd~A8yO{sJU(fq}{(q~&|8uSHwjO+aWNkvngKIM< zRL+=E9Q{~R;Go=gX8!fd&vqG`uU@UWX5G!QQY-I2Z+FGUuK#Tse)7-SN%9S^MVGJH zdHe6{EzdYg4;vo;>Sfq+_2dm7^L*>leHMln{o}Xy?%4IS-L!p9W7}slGgHUaa_8k5 z_P_YUzCVFYqG}h@V>6lZ+Zq0ocg{UFSA=)Qwug7xzbch)f4AjfUEN%kciV0=c}{$8 zlpt48c6Y7)`|pW-mU0o?&yL>zxIBwr?z6+eS-a;|TwqIMVVKHQFl|xePw}!_c~+6L z-?H6S`B#~&_0=rS_gjhAm8;Ab-W-jXsmFOZ`*Z1?C(B)pH@VF_zvGnrnc$g$$DazY zKXWy?c4EVAiuKYkVRPIx6HyYW}E>iSzV8?K&Z7O<5%adczrovjx&3yQAoODKFR zR{Q+slZs=eCK}92C0SNNff|SUXa9K9b#mPV;Uv2yqDRt~<UK8|(9`2Ta7<fON5|80 zZR+k7E0^TWT9_T1wZ_C?|A9Yut4f(37Fp$22ngJ(J@@Er)zSQtqjxx#m35R~KV7mn z=NWs#(@t|oK~pFD4^677|8_(!*}84tv2}Up%8HhK|HBpj)mbBVU2sC$_Sc6~H1~4c zRyo0R@W{+(JMKKo{>$K^P}-?#`&#s{N~kXXxox4<eGP4VtDa6*S`o85Z?CRZ#f|)# z{~21Y?M%6CIWwlK>ceSn(bThst7Et4JXw^vVrRZ|MoX+f#_MXAoOg=b(kzVh78lxH zQ;x|CwRj#SFooaY*4u&`A+|+=w(Y4QSxZX7j)YhUER@@|s;~dT-r~Fr#+v4k(v=Cz zI-+Fm?b4ca)^$QM<D2X^M(*#7gCi==vqT#wb#U%m`&6JkG0*zCa){~=r3-pC85?-# z%XEr8yx3r==#=!$;hf2%(y$3z=GRm+)Lr}bHeZmPRiHQ}Fd}Fs=d`Oe_S}hgqptMj z@oe7rW)J&=j|u6n0*yU3ryplt-r=<ARd>s^i5DzHl<FmpOuG1TWAj?$<o6Q1>TW4Z zuN{~b)bxDO?!0X~52rXb*q>xH<S!C<$HXDm{kSm5>o?27=2y8_71M?1M;-Q7bM(9T z;_a>L;-@AB=E-J->uM+FT~~eA$(>oO_kBi~4Z~%}b1$33Hc08%PIP>{Rmn&D{}Nq^ z$vWzL1t;6sYOj>J^UQBw+{tOruSXR;{b|czY$@!vl<j_nvuoxLPrlu(CTo_)Ec`CZ zE2tTpCa~zz1m}Pt?zzVfS@!<k6mh1x&1}oQlHj?e&(GX{vh>iJik+R^-bx-<waVoh z-fiIReVZqAipB0`#daAN!^uYBG0royHmEPStM8_HyS%cpETAUqYp`}+(upEH-;xi3 z|1EwR&RlCyTrr8cSZ(JWH?bX4dLntggz@A~vx|0Lb~+|@cbic40VS*1q8YEWij+0n zw_NVa@v#&&+YyzmY8fr>p?G9ovB&3a1$)<KsUKvH=E!4g7Hd;jKP%YOM|fv+%S(Z7 z@oLNIDeUq`EERl9R!i-*zOuVEnLBRJ#qGZ`t1GOY9@;6o{#(>a9X3_3N~_G<s*1n8 zt#Y#sAKW#4@_6P87Qg%69LJvAeDT#&T|Uexq0=UnXQuU&;uj@99$FrHvM4{Frz}Kv z(LD3#m)d)ni-ko6&N9^;IB8?zelsd;Uia_EuO5U?ziVo|`A(Ez>VchdGlM6V1?B}6 z)i6lCY%RT%c{n@eZK!gmo8@geX`a)DjrY74K2|+`_1mo3PF%&4(&C@H9@?XH?~JvN zPC!%dq@v}FO{b@QV_dODEI6aPuWOak(e7zpCzjm)%rtkx%%zjR1#UdI@v4MvVcxEX z0!qeqEJgA06`DIz-rbwA%((frw$=Vu{0BrAU+SIG=UIHl_?yPW<9n-&f8Rc7rQCG7 z)qUqpv2z`l++J^L|M(#9<dw1&*YY*zcZzgh(3TSq$V&FT#$4cR5+3GgZn3ze@VzRB zcKbJ}g|DxcaT;H8Fu!xp>u}JmODhvjr6&4cd?a(?^fCFsj{T}DTwXEl-l==6xJ7;E zr%y9ev<`oX-OQ$3%DXo%f5tYCEypZ3JL*YzF5aqgkf&BOO;0g#LmRKvwSH43iEB#V zpO`*QX{lj&_uRWDh%s4mOG1}u$l<LvH%+csd{4M=rA^iK)Siv*y2`9O)4%zwxLmSW zwbv+ehE3dJWtlGjY1IsBx|`Bw6>bbD{U&8EQ5*Z!d3kUCZ^nt=67A$AQ{1)PnaUP6 zgkS61ZM&;|N>kE-UG7KTeO9@?U`A=~H%5*btjTLmO7F@uey{4dZg!cwi7xxvu!bEw zv>%x)pIp{grqt=eGhH`_<5Tp`|2FYGk6q*+CbCala&i6qZjm|8$EUm(OaCje-SNC! z=Yk(|%zYwuPfL1RcIb&FTk5%Nvx_EE79D-oF*7f#L92O(%MC`Yi@xdGP6~ez^DMY1 z_1N*OCQEMK*>%0jHpbi5nw?&^>u9@Fl1<T}RkQ6RyBb^Gz7<Lj&%Emp$ntY3*UX&d zPBXsBDAq)09txRvgXNg&j^0(JrU_cTE*ULPIDOtdY@fNheWt3;(=#>-f^#jJ-<LkP z>2Y9z+)hIlFJFF#2P=yBr+<<=SKi1lc_YVUcOlL5s*5(4lpa~6wv?Oi9KXTJCC1$M zcbx2<wRn43!n+M`K0e;nmEk43*!u^=m)vV}zwzwbedR+<@`T&IufMaeeE0lZ`OdtX zK1ZkCp5(r>_+j*2p41n8){J+zyE^yIu654&Waty%D#-Mb(IUoGkay$jqXitfcFQlC zM0R@3Q}4QG?kK;bvUrBeguHCy<h&`bEuXzoIC&)Q8`t$iRj2J1@Fgu*D^H#G+Q`== zb4&TBBZXzFd;(qk-?K8#*gJ=>I{x;;i0f;%S>B(zscez&rR0TP0y^pYLd3k)R+wK` zl5}5I(JSBJ)B1GsBCBTcZzc*?Lf&uhD4)=J?PQG0tTk+0D}5(kPhsMHZF!{o?<Q`& zBB7(xu3N0Rv1*F5{uKe$^RKvP&AIZCW%kt>*F<lxXqa)Z_~OMC7pB>$9j|fkv#z|! z{zG*ykN90J|BK5)l#>e9?Gs(Lu#(fS+3LQ)?Yg$!)zZ(F-v4s6LG<iVy_h3&SWnFS zQ)#tBC%IMa=|rtt2_Nbhcd1=-i=DLmRF-Y<q)Yv4YE9>!J*s@>U!>)fW!u_f4l~<a z4vV$0I>6k`x5|=L_x2w3$xhqy_p;yImA)oDcAB0{M{Mwl3xU#GM1+!r@3E}Noba!h z&)r7GZ{anmvMbxZm3B<I*88*D#phFL$&_CIsGTVnsw=zSwj?WFkJ`L(_w3aZtI7@7 zIwii}Ow79Y@k7j#Lsms*fyIm0^_1R?->7G7SP~K3*3_-Mpmtl*x>=7`-&_%T?|_Jg zze?@0ixM+aY$NBlRVMh%nOD-?JdgXYhXAiisfjns6)7X7OKTY|6T-YpoSl9;oe;Pk z^4??WeHnvG*Wbz>ZM~FLc%v&SFJ0frx&2UR%52-m7q%t_IAn!5-170Se0Oi_c1wli z^%D;(UH-`!I=T6dtDWyTj@79%moJgKq<KnjXHk;iM01PiRWj>}zU+K8)v{$tY(n!c z<t>$Wrm)1Xe&V=S{aoK;T}#zV=UfkRIm>6Ry)!R~_5Oi$u5yjIm0ZQC$KH5YcSlLR z+WbI9T1M~a#g)v$_s$!|Rs7s%HgnGd-pv7F(~V;aB_~drzO!Uu?VcN2g4G-~oO4r* zl$A8r8zjWNh&yll*ub`<!I7)Dv&ra?`9y!lceNMtl3IRge7Cr1(4BicLRw72Y122$ zm6x8VTuHin`=qE~)6(+`t2|rNYj>=O>UEI*H0jNXjlRz(J}jDJW4L$i?FdKKLx<u^ zkLQ1zw2S*>K=<4iYHK>ae%un!Jw-n4tJ}(JmN%CB+p*k=xZdbgsy9QbsCw&#TZ?TL zdnH$dyz}*)*25+^^N8u1Pa9rFCfYu8?Q=S&#-p}N!q@BGth&jMlfN;1S>qtdZ&bC! zAv5&|<FoDNi(Pkqm~bW3BjJW&$B*KD7mwc6(7*n9jl^lGY{$9Atr}%z3;G_tIGcOz z+r^iR5y@d?*S`3=+%;-`H{lX@`M#pY@EsLxJr_bI^R)H5ah_IGJ2X$`aL6YA?}u5k z0wy%co!)7$E6IPreplX~Ta!LA{8{|^SnbIjo5W3w81l_bUd=2maay2R==_Q?LO}M6 zd{~%c$Zcb#IMLH=IS;MYWgOXeaE)}!i|VNlljK*W9*KDLKx)+&g#_MRuQ*dS9Wh?9 zEhXgs?DIZ5w{)Iq-%+}A&R3bc2Cs9hX8oReVx`li=z9eTI%_AipR`(Nv)KRczJ$#t zr!W7D5nIS}t?kbm(``1sYeVfA&U2__Ft1pjCS!Xpb;sS8e<o_JKQw20wcC!jmnH`s z$(yBi`cxiY=6n;TCjH-4(bjv;hMidS`qrK|EBDlYTDWb0Z1-Ue!@B3E_NXM3tzXTl ze*e1OuM=OYd3@P^Nys_M_U9QTK6)N09i)Gb>8@4x<*>ZA-HhLz-Z1`HaZJg%rN3+C zoS8kRL>c*xA6q>wVBOy6bsHBs>8&bnJe=LqP}Fp*yv}6FciZ(ha_@3)6PcE4)^K$G zOriB3u4ZkLV0`|4(RzQ~+1=u28Lg)qb#-P-ZBV-5eP3yr7Gtl5;2w`-7nj;ru$YQ( zedi!*rc++>EK=v7d%#_7`R^|hUa!Bx`f;I)bL0B?zl%3~4D0v0?4ot*#T>gQ-3!`< zugv|ywQCaRZTBC1byb$DzDdq@t>85;*t_hH>T&HqcO29!W==L~<Znw}>KD`;>&3N+ z)mKk*_x&lyrPs==2$-voHih{B`-gcI@23Cd<(wQ`-??yeeeBz7-`W^<zfld9T)Ir( zAY%Xaf^etr3CAO28&6txoKL(U&-Ft{@|mWUM~cvaoSCxob2hhWOl6g<<lJTIy(Te_ z`I&8)=jq;XQy;Y}r{Xv5WzdRS$xt2fYS|o>ucw^Fb9Tg?6W5DK^0Hg*n)Ki?^M=Fy zMHUT@rmkry<A1vS-lXd}JNL$B)J8ou&AKWcc(=i3zJ;iw;Ey{WyOy>2NiI^ESNP@Y zHiNANlHxB9?~<ASWkqSXc3<HnmRNmOR<kF~B9ksB^14fTU;Z@d!P>q3UB7zR8*~nQ ziZA;Txa#FG<2}D>%vjYWzCJhfzO*KwGmiUP9$#~Yz1ULIa{^4~3j)l=UOiM^+RL)S z+DWBPu&c+GYvqH3X<rX09TV=#eR^x<Hc8Rl+n+nVXHi@u|9Yku^NHMzsRCV%dS7fy zSu>??-+Aky=3?^1PJ@5WMS(Mq6&XxzXE4par++z7-l{U*k=fMN{l&NEPS@R5e`Yi5 zPkz5@_t9%s{Lwk*1adZgd*#^j<Z#{#*CnwnX$M8R*9lBJp!J-geTHUm%7Znf&gbSG z4Z3`EVPAB|S?^?@4chJ-bWd=)gltVTwO+Wk)FO3*Sxl^EMDSv%8~>IqpL1ucZjx{2 zs;&U9X&Y{5xy}E&Fm0*hO`fTDx2tp~7=<k0%$~zk{Y9yr?`5G$@XJjca(Pp^&OLT^ zTQ{-fbgPU+UE8$PT!JT+wq)F?s@iFHS>nU1eT}--(kdm*kD@m`eyeMAuWIAW({gX# z-7?JFt~_J=)=9F_8h1WNNCbtmls7S-lE1kwZR^GAd6shuD`)OHv%EC!#@pAt*#g#E zZ-4igyJeLX_dGV|Yd1q%XU*KC)OT6LRxZo)mfB;rt$NQ7*_A%8yyG(GkIg&o?Vl=s zJ*|`sX^7Z8pR4GSC)?tt4c{0RXY+hg=V@JRdc|qMj%3D_G7~xuY4-7oB|9{$-`;X0 zu_q#msp%yjgRiyF{)w;L)Q@L1o_;HJ&U_8;WX+1O7p?ut7H2vmpKM<JTQQmQYk&_| zfI^efo1L#(4K`*NFn3A+PcFP%r;!&F+4{$r=Ub8Tg7tRh4BuzY`Ys%6J4370-stM* z9q*N6GcPvXKYt)<dW)cVn!lZfq``)scWx6K96z+3@NhoItF%PUfWPtn_Fa=XijN!1 zAMBKmI{4Ya=+M>7w~1^rhn{$d3NqNfs>s{j@M6Q`j<ZaCS0b!<tmiyE922s8OXR`W z_CwDPUhmq>@%Cn^<d&9?2Q^#0EKai?+}?P`K<CI2htGk@-Vd%i`+O^WIBDZf=~vRr z+pn&QKE1QlPGD!Z(dtKCR_Q^R>Jf+9o3_n=I%n!c9nltXgXo=F>|3jCKG>domAvRt zRN1b(PdsL*e`{%2%Ir7g)v;ybcANaQw|!+eQNrsTlAuwZx&3@{dRAuD7R^<u(wmsq zrFi(H>uf)yvo<<0T1Vir=FN=g((*m$rhg4QeaJiF?plijJ7o{?tlRxTPwZ6HW81^e zD!d#&7F=APrXtVPY1#AW;K5}@kKMIR(x>OmsMS2rq0xQp1jpaTyT=-Pt=O~`jXPI8 zQ~kEVd8g}zr<LDICszb4DHpESJ+H`qW2v}=)s~2WC8d80&p4k5>v=orwUxZ$0;N@D zrSpD$|MfvdW14GqcNnMl;oys}b}~+n>^dpF@Ag_<)$=|N%>+zcHc#VTJugA&`=kYZ zQW+)sTaBhj^&QDfsoZ<~{G8AU=c=U2eG5a)|Lr_5UoH7l!#2P53hR1OH0o!)65v0! z+4qy|E7g!~AHNz!&TkP}dabFlI>TZDV{@R^%p2<#FMoA!?xN2cZ|Con$@{rEUgBq# zzWSsyXA{oL_+5E+M`cZWpVe-+wDVRGOE1jNjc|EgS$$9cU*3#x*1DZ?+`sS4j5W(C zkNwBcvpKT+sLK0oMrXFz>ReXnchFLk^QhaYR$Q^qM9VTs^R?;+nfQlBT;3MTr%x%F zv2s!DN<;oDm7BgU59aIDlP|XZD&!=y#YtD-jKIxeTkWzPrW%Kp*PT{arqp!UTkFv0 zt4)ljzieYSPdYy#^S;xB6IN?PmYwhI=cw0Ma_b=P2J7~<RZ?>LS~jT)?psrPo)=8l zpBQ%NjumUE#rGAnc9@<>4m~Ma^v1oz^W~<hzJjKg?*h-Re{So{$oEA50teIgfA84T zYqu8tdS)$sKJ<O~{d*l{%AU;=Q!?HkzQU-Hb?xINC*v~~n!>%mD@*3OFMN`};rT^d zOWp>aa)UK%LK6BWp39x@q_XAnA<ISYm$|Npat?XFvn0Oyn{CL3pw%Z%J=E(n%lsLc z^P_Ypd*}Z<o}KJo_G?)To6kMo#IAPwMbRfIaf2`OZi;N(J@?zmz?-jJ>=zy>XjKW> z<0H``<r|^gH(T?%+A41|zWJtRQE|Jnyg#tK>Drk!=j6SO4ku$=W*#(orKqK#RJu{_ zHUB0RvyjR)=IZH7&b4ptDOa8po3yI*+!;RmGv_UJL|MF_bzl7cNFp+M-MQSg&n|Yd zrC$1XrOI4Sefw1AvQJxPrZv8GH0KX6*u|Usdy=<8>thqovdI%qoiCO)Id<~pKGW=D z&MeixANswWkw5pMT8?IWkED%F<;9*~=32RZGZ(Vu@fJic%|E}lTHxEGMDh22rzch! zeLH6`@fw58hE-lh6Kiy@MEtxV-siiVuXpX*YtDC7dw$N_sn&eq+%o=bm*(5or3~2p z*Pdj$yVEdI;ppeTQ&KPUUX9>4y|+AN;sTkx>C5M`Xv*n{xYW)x{E<*tHhFEE<2wE7 zNp6}wp0W!#zFT*fXzpp_>dN_^_c_MxBX`A;7tGClz0*YW>Kh)HR?eNY`}pc*2CXYU z{+?x$!@+B4V%P89HNU&ge&a6P$MY^8dtsWgX-WOQ`9Um?Sp7J{p0OYB4l0)M3u%2W zaiYid1Aoe7!!5mij48>fy6af`waz?AVb^+ht>(Go*0}e3&$0eq_p4H?s9_fipJqiA z`=cW1?kS=NGt920U0wNBQ&nklSHarwkDFX0PE6Y^J$YAHGXE8iuot&%Tvk}#baj9F zb@IMnvo=06uKlRg^nNGXsv{-yLq999AAg;q`FM@eggp#lvpK!uznsXc++!jAOC$f= zt$S9@n^Kn=RbGhvRy;qbkB9xG>8=B!T&M12iSZk1NL=!rvT3sZx9W})lBF?|4_$h+ zbEkoAiCxASkB955ulda3n^$Xf>UQ=6yW+~pZJ!D}K3@=a$uxfY`Jd4Fr8_RW_R2os zGJkhmuaajnQ^X82Z=U=jo8?z$<X>NH8h`utVacgdueV&9!+-qTW|fuglNr{2n_H?R zc*o-oQ*X3`NV>?n&Fl>)xW7$%&bl}F&Pu~G5f3H{?#$V=X~mBqtK_s<lYc*7rT%bL zXogip+IHz=_pRG4B6geIunv80-1t^2+WM;L!?os{U7o40Q)FFmW6zuI#qatjne(b# zJ-g{$RpUAv24hWbpZe#jvTM1U^Yd!XuSq{^B=};_RHNjH>$S6|%`Kkn=$p|~bmLX@ z@i*IJt>fGH9L?s*8Af;aTv|STV)MkKf5U{;x2u&|U3qimcIR0|_VaHn?=Q$zJ+kP` z=h)7+-Rr~-+QkV?Jbm%qvzc>>*@ByDH@z|`+*h;1f-%nMd13ZbBfD2g<~LYsZsly1 zC|JH#sJ--3!go%ayaO!PzG)OR38Z$VzSrMoE&n91_*|2=ZO%OFs-w@!Uh_Jsn%YGs z+O2c(oMgOx+PCGE8SA+A86J(jCB?+?Y=M}izRjoh+6x9#Q|Bfb70jM0$l2HS^zG(3 z!Y+<agx`jgEW2IM%i%p|gVW36=88{?E}VNcOKXe#tRGr?1a7mHe%4^~XJ4_k&}69^ z*O6Us+|4FVJHH{ZuP^q5?xbaIb;jQ}mt_8k;m;P$@iodVzNNY`bJjG~0_|DW=9gz3 ztY$RL5eQ?>R_^xuy@U1lMAq!{!GfC~7RtRjS)H?euJqy$8#KJHx38T!ub@L>$+pkg zN_XWvd6Fb`lBC$f4hVUbazz}dP-VOM)MyIx%zZy>uBe8X&Qjjc;jO&x%ZGn;bzEEY z&uu&$F=<WJ7V8tWdnc*9_gGn7YBk5Jaew5lV;Rr2om!6<U%d3Kbo$)+x4G(N{)DA} zcFp9rOwF8ew(if*SC>D>T^8TI^WOp0-T86i)&F<+{>lq4+Z+AsVcuUZsXC8I4`ka| z?SvHXaXT5l<8D+u*e$)|3iqqYEPV^*yxMOt|Cs(L-eJ9V{f_uWe;H)|IKJ>dvcJJ@ z+euT+yMHFz9cK7&(zMM$$8Ez8uZZ;lQ(QUw7^`2H_D$kAY%ITVztaC!K3$#WCw0ds zoxi)TdhP91UGKup?2~G~{qg>M*i7=UL&oYy<@a`1|KG9fx8Bc7s);XxIlP7R>l%Xf zS(@GTb)2j9B|I;vJWG`Dt9t)X|H%F}xtf<#?VIFka*x%yt^c<rd7tKgQ`5KRwV$s( zpRamEf9~g{&yOs5y}In*sk>gbIsXjHwdKFBxWDsXZO{6-+-*hjztnT@i~aJdcrdX) zS+IAX0f+Ej0hY$SJL+8aB#4~crSsH%hJVeG|6vt>oQ~`Ao&Mb#{*3i#T)-8F8|4~b z`4%d$)W%f&U2=W9<1VdN`FYYs3AgY4zc+h*yzt*`T=r$BvnBQ%l4rFy`(t<N&+`xS z&OgeLF#N*p_238h!{7I~y%#>@77Vm_;HB@x@y)-ozt%B;A#1@4>o;}DKX-rM_hnxE z)Z`oA>JKzK^hdYU-Y8ptaqjK?b<+QR<NrQ78Nnv6_oM#P#<qSd`^G>0B0JXfx65_8 z=&L+jtl#q7SU=~)1AP(c9}=%wB^J!vZ(iW}N!F=`|Bn9N@A@)3{vTTQ|E}fhz`Pfg z3;!S5WWkhWYsO;#^Pu;E03N3cIxk)8-OnZ6_`BJV<yW7>zUOcDH-E3oU;3}SlE1#a zMqhN_qrLTsw|?gRD!=@Hsn7r2Gk<-bTk_X(*}qrm0srk2U!}j+KObo)cdMpS@AJRO z4VBBk=iTPtdMhk&Qv3QWZk-DL|6cv^a(^UVeVzNFEbNkMoSdBFlk4Rz;frMt9p~70 z_2Kn|o@=_+0!@i8&#!NqT^`^3%XPW_MZQ(lyt~7{sGsELjsF&M=jA^S|7jn-%UiCS z{OIo6sSb4sH-6VX-+g<YZ~SYC{fnOPi?}`J`L{9o&(%KXnP1l1a7=wNbB}zr{Vn_A zx9QIRyAreBeS7%V_<8*A1E1H+oZ9<obM!wk-#uFIY?s}=|E8Sp^PXLQ)3%4c`*l;k z=Uu+k&qB5@vv2?YxNU9QFaC1}<^Ny!zWa6T*;<wL3dyGq<Ti^R%-ySTra9aC%2(qK z`?ud;2b3ROe`2{)|FnFrkD+mmb6)IU^5?$6&-a`DZgwo`m#mLSZ$J6}pS*nAf6veP z$s(Zw`#znD{HO5e$KUNofBk;5;?~6bFMhF~{3k8^ZRQgGM}I|sGFI-f>#)03cRXT# z<cFPKjz7E4Hbeg9$DM!LuiY2>{x0+L&M%uk-p>0MruXm8V|gi#UGmMQ1wZAu_A`Fq z=VTT6`J9jKz~{r#1|Bn95<a{?&vJDB_q_V`Hv48QwEJ0=`)%fj`8`M7ztk-J%zsSe zXFrFQjN-<6rn;ZEivFEEd_Us!zm2!2pBH<Q`?_gUdB>qo=hs|)QGaLatp9?QiyPJ( z|Cm(oGSPnO^!q1&{WpyKU!8Joz1aQxE7sq??!fX!y!jyiZGP#rQr$f#h1Zwf{>giT z_pa_g*Y*2rR=t~S@A|#sL(bJ}hhE1wyz8$|c^|&~r~J2H>z?eM^xkWq_D=}o-^wX} zp8oZ(UuLe;EPwyry??h~*Z<n@dhpU^(CQ%Q5)RlR5~PJ8L57B0;I$}0c6K0@`AJz^ z;H5kuhK-GWkf9M5c+p9aevl;>Xn{+RevkzhXh{sR4$!h5m=04e(7GCAS<n&|sH|IQ zUNUH@3ut|kf(e(tOMY%*W?r-bmmz3LQes|uDu~Txz-0)-v9Q%Bh8FO(DAgbn4HQfi zbPW}X@^f+&YC&#C^Cf7t57btWZTOeE7@AlZ!i~4FuP8`N&Q2{+NJ>r5%(GR0zk9#B zLS~Asdbp{tfp39xYDT6<RZ(him0w75Rd%vvin_fWmyLa5N`6wRZbf2&ZdxYjknv)L z)Z%1YCFdX?HzkmQ3ag6Tg51=SM1_jnoV;SI3R`us7OT8sE0D0hx&l~9Nw%$egl~XC zNq&A#c4mo!k)EZVp{}8^jzU^dVs2`Aeo?l9p`Mw#9hXf}N}5%WiyPFyqLegS^^B5| z0xNy}^73-Ma$~*xqI7*jOG`_A10#JSBi*8uG~MFLypqHU-MnIDb*R3~2)MSqVm+{% z^pf*)^)n;%4fPE4VHUZh7AF^F7J%YU0c3GvQhsTPt$Jx`W{Q<rYKn=OL7KU4T9T=u zuAyO?iLQZxfq|~ML6WI~X_8^8X;L!Gx&kC;qS#lElBRE{XRNQTP>_;l6;PC)QktAv zWUKBT;G^K4kzZT_v0uSb&&WVsAL@N-xvC<!0DCA@Bo;t}!KNa&z{)p2B{QwkC9x#c z&d9*fQrEyj*T^8m(8$Wj)XLOQ+rY@mz`#ZyO(hptt8-B*=+Jp0v?8fQ(wbislAoVr z=Lkw?3Z6MRrNt#hi6!|(8bO*0M#g$jYr%S<N^SH(5rq^))DE=70$*SJ!Iql~O4lHD zRxbI;rManjC7v#%q#9~RbV@SZ!3Cv7Ip8dklB}PalL~TMvA&_6p}x98O0rd2eo<~> ziLH8KK|xMtGI)ueenCo_x}8l*vQ<fDNlvOAI0HK7lt36cnV<}1m6Mp4ZmV9Qo06KA zSejF!Zs(Jqo*(bw5gM=UmzbLxpOIgbS(Tqxl9&^3k{qucoS2qcm7kXyAC;P!oRONB zmh-4%QgTMBf}vh&K`|r-b29B946t4L2>Vl#t&%~hD!&Nggy7Ud2qP!cE+DZuIWZ?y zAvihXQOBgT)FOxxaI?T_L1w{Cz>-?PLP0KWc3d|4;L-_HQrU4SPzg}aAVjI1nwMg$ zUJfdgF&54ut)GMyFB;fN7fmjGa5l=!&jaOj4Hqj=UN^8XGB7kUG6iRIbpr!+O)h=k z{1gHzLO>}+gVZz-V`OLqPXsXM<QHjRWd0b9pcqK@*W}W7EG@~%FVaAYd5}42sYROb zrKc4|scBpW3WgS3paL3#70gUcjZGEO6d+=TCdNjF3ScRPJgAtFsiBc6nwX)9kr}!= zLlZLtOAK|!7G`K-1_lP8h6czIxE+Qj24)6m>I_Xxu-I#2hHjpbv55($y{1^)VrpiB zVTXYQx<8DJjg8IG)EOBYo1xobWNc!HDQ0Shq_?CfF*7H%hzqpHIXJT_Rl(3gK|d%z zzeEAF3OGnX-!m^QUjdXfgShlPT@<2i%t02JS(=&|7@C+lo48syI-46ho4T2rx;dGd hx|-M#RuKzYDP3HWSX2Uza3fP=3llC?RabvEE&vcWLWBSS literal 0 HcmV?d00001 diff --git a/Latex/implementation.tex b/Latex/implementation.tex new file mode 100644 index 0000000..cb4b253 --- /dev/null +++ b/Latex/implementation.tex @@ -0,0 +1 @@ +\section{Implementation} \raggedbottom \ No newline at end of file diff --git a/Latex/introduction.tex b/Latex/introduction.tex new file mode 100644 index 0000000..31f368e --- /dev/null +++ b/Latex/introduction.tex @@ -0,0 +1,3 @@ +\section{Introduction}\raggedbottom + +\pagebreak diff --git a/Latex/mathe.tex b/Latex/mathe.tex new file mode 100644 index 0000000..bc90f75 --- /dev/null +++ b/Latex/mathe.tex @@ -0,0 +1,18 @@ +\documentclass[a4paper,10pt]{amsart} + +\usepackage{amsfonts} +\usepackage{amsmath} +\usepackage{amssymb} +\usepackage{gensymb} +\usepackage{graphicx} +\usepackage{colortbl} + +\usepackage[utf8] {inputenc} +\title{Blatt x} +\author{Mario Surlemont, 2493398\\ +Gruppe x} +\date{} +\begin{document} +\maketitle + +\end{document} \ No newline at end of file diff --git a/Latex/methods.tex b/Latex/methods.tex new file mode 100644 index 0000000..f096ce9 --- /dev/null +++ b/Latex/methods.tex @@ -0,0 +1,2 @@ +\section{Model} +\textbf{Dominating Set}: A dominating Set for Graph $G = (V, E)$ is a Subset $D \subseteq V$ such that for every vertex $v \in V$ the vertex itself or at least one vertex $w \in N(v)$ is included in $D$. \ No newline at end of file diff --git a/Latex/model.tex b/Latex/model.tex new file mode 100644 index 0000000..03018c8 --- /dev/null +++ b/Latex/model.tex @@ -0,0 +1,35 @@ +\section{Model} +\textbf{Dominating Set}: A dominating Set for Graph $G = (V, E)$ is a Subset $D \subseteq V$ such that for every vertex $v \in V$ the vertex itself or at least one vertex $w \in N(v)$ is included in $D$.\\ +- Vein cells are the dom set \\ +\\ +\\ +\textbf{Connected Dominating Set}: A connected Dominating Set CD is a subset $CD \subseteq V$ + + + +\subsection{Formulation} +\subsubsection{general Problem} +Variables: $x_i \in \{0,1\} \forall i \in V$ \\ +\\ +Objective target: $min \{\sum_{i \in V}{x_i}\}$\\ +\\ +Vertex separator: $S_{i,j} \subset V$, such that there is no path between connected vertices $i,j$ in $G[V-S_{i,j}]$\\ +\\ +Neighbors: $N(i) = \{j | j \in V, (i,j) \in E \}$\\ +\\ +subject to: $\sum_{j \in N(i)}{x_j} + x_i \geq 1$, $\forall i \in V$ (1)\\ +$\sum_{k \in S_{i,j}} x_k \geq x_i+x_j-1$, $\forall i,j \in V, i\neq j, S_{i,j} \in $ {minumum vertex separators}\\ +\\ +Exponential number as shown in ... $O(3^{n/3})$ + +\subsubsection{Connectivity} + +\subsubsection{Vertex separators} + +\subsubsection{} + +\subsection{Hardness} +Connected k hop dominating set is NP-Hard on general Graphs. It is proven to be solvable in polynomial time on some specific graphs.\\ +It is proven to be NP-Hard on planar bipartite Graphs with maximum degree 4.\\ +The Connected k hop dominating set with k = 1 is NP-Hard on all planar bipartite graphs. \\ +As all of our graphs are planar and bipartite in the case of k = 1 finding an optimal solution is NP-Hard. diff --git a/Latex/references.bib b/Latex/references.bib new file mode 100644 index 0000000..285f9d4 --- /dev/null +++ b/Latex/references.bib @@ -0,0 +1,53 @@ +@article{hardness, +author = {Santos Coelho, Rafael and Moura, Phablo and Wakabayashi, Yoshiko}, +year = {2017}, +month = {03}, +pages = {}, +title = {The k-hop connected dominating set problem: approximation and hardness}, +volume = {34}, +journal = {Journal of Combinatorial Optimization}, +doi = {10.1007/s10878-017-0128-y} +} +@InProceedings{bomersbach, +author="Bomersbach, Anna +and Chiarandini, Marco +and Vandin, Fabio", +editor="Frith, Martin +and Storm Pedersen, Christian N{\o}rgaard", +title="An Efficient Branch and Cut Algorithm to Find Frequently Mutated Subnetworks in Cancer", +booktitle="Algorithms in Bioinformatics", +year="2016", +publisher="Springer International Publishing", +address="Cham", +pages="27--39", +abstract="Cancer is a disease driven mostly by somatic mutations appearing in an individual's genome. One of the main challenges in large cancer studies is to identify the handful of driver mutations responsible for cancer among the hundreds or thousands mutations present in a tumour genome. Recent approaches have shown that analyzing mutations in the context of interaction networks increases the power to identify driver mutations.", +isbn="978-3-319-43681-4" +} +@article{fischetti_steiner_t, +title = "Thinning out Steiner trees: a node based model for uniform edge costs", +abstract = "The Steiner tree problem is a challenging NP-hard problem. Many hard instances of this problem are publicly available, that are still unsolved by state-of-the-art branch-and-cut codes. A typical strategy to attack these instances is to enrich the polyhedral description of the problem, and/or to implement more and more sophisticated separation procedures and branching strategies. In this paper we investigate the opposite viewpoint, and try to make the solution method as simple as possible while working on the modeling side. Our working hypothesis is that the extreme hardness of some classes of instances mainly comes from over-modeling, and that some instances can become quite easy to solve when a simpler model is considered. In other words, we aim at “thinning out” the usual models for the sake of getting a more agile framework. In particular, we focus on a model that only involves node variables, which is rather appealing for the “uniform” cases where all edges have the same cost. In our computational study, we first show that this new model allows one to quickly produce very good (sometimes proven optimal) solutions for notoriously hard instances from the literature. In some cases, our approach takes just few seconds to prove optimality for instances never solved (even after days of computation) by the standard methods. Moreover, we report improved solutions for several SteinLib instances, including the (in)famous hypercube ones. We also demonstrate how to build a unified solver on top of the new node-based model and the previous state-of-the-art model (defined in the space of arc and node variables). The solver relies on local branching, initialization heuristics, preprocessing and local search procedures. A filtering mechanism is applied to automatically select the best algorithmic ingredients for each instance individually. The presented solver is the winner of the DIMACS Challenge on Steiner trees in most of the considered categories.", +keywords = "Exact computation, Mixed integer programming", +author = "Matteo Fischetti and M. Leitner and Ivana Ljubic and Martin Luipersbeck and Michele Monaci and Max Resch and Domenico Salvagnin and Markus Sinnl", +year = "2017", +doi = "10.1007/s12532-016-0111-0", +language = "English", +volume = "9", +pages = "203--229", +journal = "Mathematical Programming Computation", +issn = "1867-2949", +publisher = "Springer Berlin Heidelberg", +number = "2", +} +@InProceedings{number_v_sep, +author="Gaspers, Serge +and Mackenzie, Simon", +editor="Mayr, Ernst W.", +title="On the Number of Minimal Separators in Graphs", +booktitle="Graph-Theoretic Concepts in Computer Science", +year="2016", +publisher="Springer Berlin Heidelberg", +address="Berlin, Heidelberg", +pages="116--121", +abstract="We consider the largest number of minimal separators a graph on n vertices can have.", +isbn="978-3-662-53174-7" +} diff --git a/Latex/results.tex b/Latex/results.tex new file mode 100644 index 0000000..bc90f75 --- /dev/null +++ b/Latex/results.tex @@ -0,0 +1,18 @@ +\documentclass[a4paper,10pt]{amsart} + +\usepackage{amsfonts} +\usepackage{amsmath} +\usepackage{amssymb} +\usepackage{gensymb} +\usepackage{graphicx} +\usepackage{colortbl} + +\usepackage[utf8] {inputenc} +\title{Blatt x} +\author{Mario Surlemont, 2493398\\ +Gruppe x} +\date{} +\begin{document} +\maketitle + +\end{document} \ No newline at end of file diff --git a/Latex/summary.tex b/Latex/summary.tex new file mode 100644 index 0000000..c6e9ecb --- /dev/null +++ b/Latex/summary.tex @@ -0,0 +1,4 @@ +%%% Die folgende Zeile nicht ändern! +\section*{\ifthenelse{\equal{\sprache}{deutsch}}{Zusammenfassung}{Abstract}} +%%% Zusammenfassung: +Hier kommt eine ca.\ einseitige Zusammenfassung der Arbeit rein. diff --git a/Latex/titelmakros.tex b/Latex/titelmakros.tex new file mode 100644 index 0000000..c5df308 --- /dev/null +++ b/Latex/titelmakros.tex @@ -0,0 +1,302 @@ + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Obere Titelmakros. Editieren Sie diese Datei nur, wenn +% Sie sich ABSOLUT sicher sind, was Sie da tun!!! +% (Z.B. zum Abaendern der BA-Vorlage in eine MA-Vorlage) +% Uni Duesseldorf +% Lehrstuhl fuer Datenbanken und Informationssysteme +% Version 2.2 - 2.3.2010 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\newcommand{\AN}{twoside} +\newcommand{\AUS}{} + + +%\newcommand{\englisch}{} +%\newcommand{\deutsch}{\usepackage[german]{babel}} + +%% Die folgenden auskommentierten Optionen dienen der automatischen +%% Erkennung des Latex-Kompilers und dem Setzen der davon abhängigen +%% Einstellungen. Bei Problem z.B. mit dem Einbinden von verschiedenen +%% Grafiktypen bei Verwendung von PdfLatex oder Latex, einfach die +%% verschiedenen \usepackage(s) ausprobieren. (Mit diesen Einstellungen +%% funktionierte diese Vorlage bei der Verwenundg von latex.exe als +%% Kompiler bei den meisten Studierenden.) + +%\newif\ifpdf \ifx\pdfoutput\undefined +%\pdffalse % we are not running pdflatex +%\else +%\pdfoutput=1 % we are running pdflatex +%\pdfcompresslevel=9 % compression level for text and image; +%\pdftrue \fi + +\documentclass[11pt,a4paper, \zweiseitig]{article} +\usepackage{ifthen} + + +%\usepackage[iso]{umlaute} +\usepackage[utf8]{inputenc} +\usepackage{palatino} % palatino Schriftart +%\usepackage{makeidx} % um ein Index zu erstellen +\usepackage[nottoc]{tocbibind} +\usepackage[T1]{fontenc} %fuer richtige Trennung bei Umlauten +\usepackage{fancybox} % fuer die Rahmen +\usepackage{shortvrb} +\usepackage{url} +\usepackage{xcolor} +\usepackage[colorlinks,citecolor=blue,linkcolor=black]{hyperref} %anklickbares Inhaltsverzeichnis + +\usepackage{amsmath} +\usepackage{amssymb} + +\ifthenelse{\boolean{\biber}}{ + % only needed for biber + \usepackage[style=authoryear,natbib=true,backend=biber,mincitenames=1,maxcitenames=2,maxbibnames=99,uniquelist=false,dashed=false]{biblatex} + + % https://tex.stackexchange.com/a/334703/8850 + \AtEveryBibitem{% + \clearfield{issn} + \clearfield{isbn} + \clearfield{doi} + \clearfield{location} + \clearlist{location} + \clearlist{address} + + \ifentrytype{online}{}{% Remove url except for @online + \clearfield{url} + } + } +} +{}%no else + +% Falls es bei \citet ein Komma zwischen Name und Jahr gibt: +% https://tex.stackexchange.com/questions/312539/unwanted-comma-between-author-and-year-using-citet-command +% (thx @ Markus Brenneis) +%\DeclareDelimFormat[cbx@textcite]{nameyeardelim}{\addspace} + + + +\ifthenelse{\equal{\sprache}{deutsch}}{ + \usepackage[ngerman]{babel} + % Bibtex u.a -> et al. + \ifthenelse{\boolean{\biber}}{ + \DefineBibliographyStrings{ngerman}{ + andothers = {{et\,al\adddot}}, + } + \newcommand{\references}{Literatur} + } + {} % do nothing when not using biber + \usepackage[autostyle, german=quotes]{csquotes} % Deutsche Anführungszeichen im Literaturverzeichnis (thx @ Markus Brenneis) + + }{ \newcommand{\references}{References}} + +\usepackage{a4wide} % ganze A4 Weite verwenden + + + +%\ifpdf +%\usepackage[pdftex,xdvi]{graphicx} +%\usepackage{thumbpdf} %thumbs fuer Pdf +%\usepackage[pdfstartview=FitV]{hyperref} %anklickbares Inhaltsverzeichnis +%\else +%\usepackage[dvips,xdvi]{graphicx} +\usepackage{graphicx} + +%\fi + +\newcommand{\redt}[1] { + \textcolor{red}{#1}} + +\newcommand{\oranget}[1] { + \textcolor{orange}{#1}} + +\newcommand{\purplet}[1] { + \textcolor{purple}{#1}} + +%%%%%%%%%%%%%%%%%%%%%%% Massangaben fuer die Arbeit %%%%%%%%%%%%%%% +\setlength{\textwidth}{15cm} + +\setlength{\oddsidemargin}{35mm} +\setlength{\evensidemargin}{25mm} + +\addtolength{\oddsidemargin}{-1in} +\addtolength{\evensidemargin}{-1in} + +\ifthenelse{\boolean{\biber}}{\addbibresource{references.bib}}{} + +%\makeindex + +\begin{document} + +%\setcounter{secnumdepth}{4} %Nummerieren bis in die 4. Ebene +%\setcounter{tocdepth}{4} %Inhaltsverzeichnis bis zur 4. Ebene + +\pagestyle{headings} + +\sloppy % LaTeX ist dann nicht so streng mit der Silbentrennung +%~ \MakeShortVerb{\§} + +\parindent0mm +\parskip0.5em + + +{ +\textwidth170mm +\oddsidemargin30mm +\evensidemargin30mm +\addtolength{\oddsidemargin}{-1in} +\addtolength{\evensidemargin}{-1in} + +\parskip0pt plus2pt + +% Die Raender muessen eventuell fuer jeden Drucker individuell eingestellt +% werden. Dazu sind die Werte fuer die Abstaende `\oben' und `\links' zu +% aendern, die von mir auf jeweils 0mm eingestellt wurden. + +%\newlength{\links} \setlength{\links}{10mm} % hier abzuaendern +%\addtolength{\oddsidemargin}{\links} +%\addtolength{\evensidemargin}{\links} + +\begin{titlepage} +\vspace*{-1.5cm} + \raisebox{17mm}{ + \begin{minipage}[t]{70mm} + \begin{center} + %\selectlanguage{german} + {\Large INSTITUT FÜR INFORMATIK\\} + {\normalsize + Algorithmische Bioinformatik\\ + } + \vspace{3mm} + {\small Universitätsstr. 1 \hspace{5ex} D--40225 Düsseldorf\\} + \end{center} + \end{minipage} + } + \hfill + \raisebox{7mm}{ + \includegraphics[width=130pt]{bilder/HHU_Logo}} + \vspace{14em} + +% Titel + \begin{center} + \baselineskip=55pt + \textbf{\huge \titel} + \baselineskip=0 pt + \end{center} + + %\vspace{7em} + +\vfill + +% Autor + \begin{center} + \textbf{\Large + \bearbeiter + } + \end{center} + + \vspace{35mm} + +% Prüfungsordnungs-Angaben + \begin{center} + %\selectlanguage{german} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Ja, richtig, hier kann die BA-Vorlage zur MA-Vorlage gemacht werden... +% (nicht mehr nötig!) +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + {\Large \arbeit} + + \vspace{2em} + + \begin{tabular}[t]{ll} + Beginn der Arbeit:& \beginndatum \\ + Abgabe der Arbeit:& \abgabedatum \\ + Gutachter: & \erstgutachter \\ + & \zweitgutachter \\ + \end{tabular} + \end{center} + +\end{titlepage} + +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\clearpage +\begin{titlepage} + ~ % eine leere Seite hinter dem Deckblatt +\end{titlepage} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\clearpage +\begin{titlepage} +\vspace*{\fill} + +\section*{Erklärung} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Und hier ebenfalls ggf. BA durch MA ersetzen... +% (Auch nicht mehr nötig!) +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +Hiermit versichere ich, dass ich diese \arbeit{} +selbstständig verfasst habe. Ich habe dazu keine anderen als die +angegebenen Quellen und Hilfsmittel verwendet. + +\vspace{25 mm} + +\begin{tabular}{lc} +Düsseldorf, den \abgabedatum \hspace*{2cm} & \underline{\hspace{6cm}}\\ +& \bearbeiter +\end{tabular} + +\vspace*{\fill} +\end{titlepage} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Leerseite bei zweiseitigem Druck +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\ifthenelse{\equal{\zweiseitig}{twoside}}{\clearpage\begin{titlepage} +~\end{titlepage}}{} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\clearpage +\begin{titlepage} + +\input{summary} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Untere Titelmakros. Editieren Sie diese Datei nur, wenn Sie sich +% ABSOLUT sicher sind, was Sie da tun!!! +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\vspace*{\fill} +\end{titlepage} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Leerseite bei zweiseitigem Druck +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\ifthenelse{\equal{\zweiseitig}{twoside}} + {\clearpage\begin{titlepage}~\end{titlepage}}{} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\clearpage \setcounter{page}{1} +\pagenumbering{roman} +\setcounter{tocdepth}{2} +\tableofcontents + +%\enlargethispage{\baselineskip} +\clearpage +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Leere Seite, falls Inhaltsverzeichnis mit ungerader Seitenzahl und +% doppelseitiger Druck +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\ifthenelse{ \( \equal{\zweiseitig}{twoside} \and \not \isodd{\value{page}} \)} + {\pagebreak \thispagestyle{empty} \cleardoublepage}{\clearpage} + + +% Kapitel soll bei doppelseitigem Druck immer auf der rechten (ungeraden) Seite anfangen (thx @ Philipp Grawe) +% https://tex.stackexchange.com/a/223387 +\ifthenelse{\boolean{\sectionforcestartright}} + {\let\oldsection\section % Store \section in \oldsection + \renewcommand{\section}{\cleardoublepage\oldsection}} + {} \ No newline at end of file -- GitLab