praesentation -> doc/praes2

13 files changed, 0 insertions, 1836 deletions

diff --git a/praesentation/Logo_RGB.jpg b/praesentation/Logo_RGB.jpg
deleted file mode 100644
index 9678276..0000000
--- a/praesentation/Logo_RGB.jpg
+++ /dev/null
diff --git a/praesentation/fu-beamer-template.aux b/praesentation/fu-beamer-template.aux
deleted file mode 100644
index 44a66b9..0000000
--- a/praesentation/fu-beamer-template.aux
+++ /dev/null
@@ -1,24 +0,0 @@
-\relax 
-\@setckpt{fu-beamer-template}{
-\setcounter{page}{1}
-\setcounter{equation}{0}
-\setcounter{enumi}{0}
-\setcounter{enumii}{0}
-\setcounter{enumiii}{0}
-\setcounter{enumiv}{0}
-\setcounter{footnote}{0}
-\setcounter{mpfootnote}{0}
-\setcounter{beamerpauses}{0}
-\setcounter{lecture}{0}
-\setcounter{part}{0}
-\setcounter{section}{0}
-\setcounter{subsection}{0}
-\setcounter{subsubsection}{0}
-\setcounter{subsectionslide}{0}
-\setcounter{framenumber}{0}
-\setcounter{figure}{0}
-\setcounter{table}{0}
-\setcounter{parentequation}{0}
-\setcounter{theorem}{0}
-\setcounter{lstnumber}{1}
-}
diff --git a/praesentation/fu-beamer-template.tex b/praesentation/fu-beamer-template.tex
deleted file mode 100644
index f46eecc..0000000
--- a/praesentation/fu-beamer-template.tex
+++ /dev/null
@@ -1,121 +0,0 @@
-% Template for talks using the Corporate Design of the Freie Universitaet
-%   Berlin, created following the guidelines on www.fu-berlin.de/cd by
-%   Tobias G. Pfeiffer, <tobias.pfeiffer@math.fu-berlin.de>
-% This file can be redistributed and/or modified in any way you like.
-%   If you feel you have done significant improvements to this template,
-%   please consider providing your modified version to
-%   https://www.mi.fu-berlin.de/w/Mi/BeamerTemplateCorporateDesign
-
-\usepackage{amsmath,dsfont,listings}
-
-%%% FU logo
-% small version for upper right corner of normal pages
-\pgfdeclareimage[height=0.9cm]{university-logo}{Logo_RGB}
-\logo{\pgfuseimage{university-logo}}
-% large version for upper right corner of title page
-\pgfdeclareimage[height=1.085cm]{big-university-logo}{Logo_RGB}
-\newcommand{\titleimage}[1]{\pgfdeclareimage[height=2.92cm]{title-image}{#1}}
-\titlegraphic{\pgfuseimage{title-image}}
-%%% end FU logo
-
-% NOTE: 1cm = 0.393 in = 28.346 pt;    1 pt = 1/72 in = 0.0352 cm
-\setbeamersize{text margin right=3.5mm, text margin left=7.5mm}  % text margin
-
-% colors to be used
-\definecolor{text-grey}{rgb}{0.45, 0.45, 0.45} % grey text on white background
-\definecolor{bg-grey}{rgb}{0.66, 0.65, 0.60} % grey background (for white text)
-\definecolor{fu-blue}{RGB}{0, 51, 102} % blue text
-\definecolor{fu-green}{RGB}{153, 204, 0} % green text
-\definecolor{fu-red}{RGB}{204, 0, 0} % red text (used by \alert)
-
-% switch off the sidebars
-% TODO: loading \useoutertheme{sidebar} (which is maybe wanted) also inserts
-%   a sidebar on title page (unwanted), also indents the page title (unwanted?),
-%   and duplicates the navigation symbols (unwanted)
-\setbeamersize{sidebar width left=0cm, sidebar width right=0mm}
-\setbeamertemplate{sidebar right}{}
-\setbeamertemplate{sidebar left}{}
-%    XOR
-% \useoutertheme{sidebar}
-
-% frame title
-% is truncated before logo and splits on two lines
-% if neccessary (or manually using \\)
-\setbeamertemplate{frametitle}{%
-    \vskip-30pt \color{text-grey}\large%
-    \begin{minipage}[b][23pt]{80.5mm}%
-    \flushleft\insertframetitle%
-    \end{minipage}%
-}
-
-%%% title page
-% TODO: get rid of the navigation symbols on the title page.
-%   actually, \frame[plain] *should* remove them...
-\setbeamertemplate{title page}{
-% upper right: FU logo
-\vskip2pt\hfill\pgfuseimage{big-university-logo} \\
-\vskip6pt\hskip3pt
-% title image of the presentation
-\begin{minipage}{11.6cm}
-\hspace{-1mm}\inserttitlegraphic
-\end{minipage}
-
-% set the title and the author
-\vskip14pt
-\parbox[top][1.35cm][c]{11cm}{\color{text-grey}\inserttitle \\ \small \insertsubtitle}
-\vskip11pt
-\parbox[top][1.35cm][c]{11cm}{\small \insertauthor \\ \insertinstitute \\[3mm] \insertdate}
-}
-%%% end title page
-
-%%% colors
-\usecolortheme{lily}
-\setbeamercolor*{normal text}{fg=black,bg=white}
-\setbeamercolor*{alerted text}{fg=fu-red}
-\setbeamercolor*{example text}{fg=fu-green}
-\setbeamercolor*{structure}{fg=fu-blue}
-
-\setbeamercolor*{block title}{fg=white,bg=black!50}
-\setbeamercolor*{block title alerted}{fg=white,bg=black!50}
-\setbeamercolor*{block title example}{fg=white,bg=black!50}
-
-\setbeamercolor*{block body}{bg=black!10}
-\setbeamercolor*{block body alerted}{bg=black!10}
-\setbeamercolor*{block body example}{bg=black!10}
-
-\setbeamercolor{bibliography entry author}{fg=fu-blue}
-% TODO: this doesn't work at all:
-\setbeamercolor{bibliography entry journal}{fg=text-grey}
-
-\setbeamercolor{item}{fg=fu-blue}
-\setbeamercolor{navigation symbols}{fg=text-grey,bg=bg-grey}
-%%% end colors
-
-%%% headline
-\setbeamertemplate{headline}{
-\vskip4pt\hfill\insertlogo\hspace{3.5mm} % logo on the right
-
-\vskip6pt\color{fu-blue}\rule{\textwidth}{0.4pt} % horizontal line
-}
-%%% end headline
-
-%%% footline
-\newcommand{\footlinetext}{\insertshortinstitute, \insertshorttitle, \insertshortdate}
-\setbeamertemplate{footline}{
-\vskip5pt\color{fu-blue}\rule{\textwidth}{0.4pt}\\ % horizontal line
-\vskip2pt
-\makebox[123mm]{\hspace{7.5mm}
-\color{fu-blue}\footlinetext
-\hfill \raisebox{-1pt}{\usebeamertemplate***{navigation symbols}}
-\hfill \insertframenumber}
-\vskip4pt
-}
-%%% end footline
-
-%%% settings for listings package
-\lstset{extendedchars=true, showstringspaces=false, basicstyle=\footnotesize\sffamily, tabsize=2, breaklines=true, breakindent=10pt, frame=l, columns=fullflexible}
-\lstset{language=Java} % this sets the syntax highlighting
-\lstset{mathescape=true} % this switches on $...$ substitution in code
-% enables UTF-8 in source code:
-%\lstset{literate={ä}{{\"a}}1 {ö}{{\"o}}1 {ü}{{\"u}}1 {Ä}{{\"A}}1 {Ö}{{\"O}}1 {Ü}{{\"U}}1 {ß}{\ss}1}
-%%% end listings
diff --git a/praesentation/fu_500.jpg b/praesentation/fu_500.jpg
deleted file mode 100644
index a462897..0000000
--- a/praesentation/fu_500.jpg
+++ /dev/null
diff --git a/praesentation/main.aux b/praesentation/main.aux
deleted file mode 100644
index 6a7858b..0000000
--- a/praesentation/main.aux
+++ /dev/null
@@ -1,48 +0,0 @@
-\relax 
-\ifx\hyper@anchor\@undefined
-\global \let \oldcontentsline\contentsline
-\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
-\global \let \oldnewlabel\newlabel
-\gdef \newlabel#1#2{\newlabelxx{#1}#2}
-\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
-\AtEndDocument{\let \contentsline\oldcontentsline
-\let \newlabel\oldnewlabel}
-\else
-\global \let \hyper@last\relax 
-\fi
-
-\@writefile{toc}{\beamer@endinputifotherversion {3.07pt}}
-\@writefile{nav}{\beamer@endinputifotherversion {3.07pt}}
-\select@language{english}
-\@writefile{toc}{\select@language{english}}
-\@writefile{lof}{\select@language{english}}
-\@writefile{lot}{\select@language{english}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {4}{4}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {5}{5}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {6}{6}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {7}{7}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{8/8}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {8}{8}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{9/9}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {9}{9}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{10/10}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{11/11}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{12/12}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {12}{12}}}
-\@writefile{nav}{\headcommand {\beamer@partpages {1}{12}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{12}}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{12}}}
-\@writefile{nav}{\headcommand {\beamer@documentpages {12}}}
-\@writefile{nav}{\headcommand {\def \inserttotalframenumber {12}}}
diff --git a/praesentation/main.log b/praesentation/main.log
deleted file mode 100644
index edcdd22..0000000
--- a/praesentation/main.log
+++ /dev/null
@@ -1,1403 +0,0 @@
-This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7) (format=pdflatex 2009.6.30)  6 JUL 2009 20:58
-entering extended mode
- %&-line parsing enabled.
-**\nonstopmode \input{main.tex}
-(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.tex
-(/usr/share/texmf-site/tex/latex/beamer/base/beamer.cls
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasercs.sty
-Package: beamerbasercs 2007/01/28 (rcs-revision 1.4)
-)
-Document Class: beamer 2007/03/11 cvs version 3.07 A class for typesetting pres
-entations (rcs-revision 1.70)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasemodes.sty
-Package: beamerbasemodes 2007/01/28 (rcs-revision 1.22)
-\beamer@tempbox=\box26
-\beamer@tempcount=\count79
-\c@beamerpauses=\count80
-
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasedecode.sty
-Package: beamerbasedecode 2007/01/28 (rcs-revision 1.20)
-\beamer@slideinframe=\count81
-\beamer@minimum=\count82
-)
-\beamer@commentbox=\box27
-\beamer@modecount=\count83
-)
-\headheight=\dimen102
-\headdp=\dimen103
-\footheight=\dimen104
-\sidebarheight=\dimen105
-\beamer@tempdim=\dimen106
-\beamer@finalheight=\dimen107
-\beamer@animht=\dimen108
-\beamer@animdp=\dimen109
-\beamer@animwd=\dimen110
-\beamer@leftmargin=\dimen111
-\beamer@rightmargin=\dimen112
-\beamer@leftsidebar=\dimen113
-\beamer@rightsidebar=\dimen114
-\beamer@boxsize=\dimen115
-\beamer@vboxoffset=\dimen116
-\beamer@descdefault=\dimen117
-\beamer@descriptionwidth=\dimen118
-\beamer@lastskip=\skip41
-\beamer@areabox=\box28
-\beamer@animcurrent=\box29
-\beamer@animshowbox=\box30
-\beamer@sectionbox=\box31
-\beamer@logobox=\box32
-\beamer@linebox=\box33
-\beamer@sectioncount=\count84
-\beamer@subsubsectionmax=\count85
-\beamer@subsectionmax=\count86
-\beamer@sectionmax=\count87
-\beamer@totalheads=\count88
-\beamer@headcounter=\count89
-\beamer@partstartpage=\count90
-\beamer@sectionstartpage=\count91
-\beamer@subsectionstartpage=\count92
-\beamer@animationtempa=\count93
-\beamer@animationtempb=\count94
-\beamer@xpos=\count95
-\beamer@ypos=\count96
-\beamer@showpartnumber=\count97
-\beamer@currentsubsection=\count98
-\beamer@coveringdepth=\count99
-\beamer@sectionadjust=\count100
-\beamer@tocsectionnumber=\count101
-
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseoptions.sty
-Package: beamerbaseoptions 2007/01/28 (rcs-revision 1.8)
-
-(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
-Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
-\KV@toks@=\toks14
-))
-(/usr/share/texmf-site/tex/latex/pgf/basiclayer/pgfcore.sty
-(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
-Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty
-Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texmf-dist/tex/latex/graphics/trig.sty
-Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
-)
-(/usr/share/texmf/tex/latex/config/graphics.cfg
-File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
-)
-Package graphics Info: Driver file: pdftex.def on input line 90.
-
-(/usr/share/texmf-dist/tex/latex/pdftex-def/pdftex.def
-File: pdftex.def 2008/07/16 v0.04k Graphics/color for pdfTeX
-\Gread@gobject=\count102
-))
-\Gin@req@height=\dimen119
-\Gin@req@width=\dimen120
-)
-(/usr/share/texmf-site/tex/latex/pgf/systemlayer/pgfsys.sty
-(/usr/share/texmf-site/tex/latex/pgf/utilities/pgfrcs.sty
-(/usr/share/texmf-site/tex/generic/pgf/utilities/pgfutil-common.tex
-\pgfutil@everybye=\toks15
-)
-(/usr/share/texmf-site/tex/generic/pgf/utilities/pgfutil-latex.def)
-(/usr/share/texmf-site/tex/generic/pgf/utilities/pgfrcs.code.tex
-Package: pgfrcs 2008/02/20 v2.00 (rcs-revision 1.21)
-))
-(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsys.code.tex
-Package: pgfsys 2008/02/07 v2.00 (rcs-revision 1.31)
-
-(/usr/share/texmf-site/tex/generic/pgf/utilities/pgfkeys.code.tex
-\pgfkeys@pathtoks=\toks16
-\pgfkeys@temptoks=\toks17
-)
-\pgf@x=\dimen121
-\pgf@y=\dimen122
-\pgf@xa=\dimen123
-\pgf@ya=\dimen124
-\pgf@xb=\dimen125
-\pgf@yb=\dimen126
-\pgf@xc=\dimen127
-\pgf@yc=\dimen128
-\c@pgf@counta=\count103
-\c@pgf@countb=\count104
-\c@pgf@countc=\count105
-\c@pgf@countd=\count106
-
-(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgf.cfg
-File: pgf.cfg 2008/01/13  (rcs-revision 1.6)
-)
-Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 885.
-
-(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
-File: pgfsys-pdftex.def 2007/12/20  (rcs-revision 1.20)
-
-(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
-File: pgfsys-common-pdf.def 2007/12/17  (rcs-revision 1.8)
-)))
-(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
-File: pgfsyssoftpath.code.tex 2008/01/23  (rcs-revision 1.6)
-\pgfsyssoftpath@smallbuffer@items=\count107
-\pgfsyssoftpath@bigbuffer@items=\count108
-)
-(/usr/share/texmf-site/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
-File: pgfsysprotocol.code.tex 2006/10/16  (rcs-revision 1.4)
-))
-(/usr/share/texmf-site/tex/latex/xcolor/xcolor.sty
-Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
-
-(/usr/share/texmf/tex/latex/config/color.cfg
-File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
-)
-Package xcolor Info: Driver file: pdftex.def on input line 225.
-Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
-Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
-Package xcolor Info: Model `RGB' extended on input line 1353.
-Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
-Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
-Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
-Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
-Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
-Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcore.code.tex
-Package: pgfcore 2008/01/15 v2.00 (rcs-revision 1.6)
-
-(/usr/share/texmf-site/tex/generic/pgf/math/pgfmath.code.tex
-(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathcalc.code.tex
-(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathutil.code.tex
-\pgfmath@box=\box34
-)
-(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathparser.code.tex
-\pgfmath@stack=\toks18
-\c@pgfmath@parsecounta=\count109
-\c@pgfmath@parsecountb=\count110
-\c@pgfmath@parsecountc=\count111
-\pgfmath@parsex=\dimen129
-)
-(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathoperations.code.tex
-(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathtrig.code.tex)
-(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathrnd.code.tex))
-(/usr/share/texmf-site/tex/generic/pgf/math/pgfmathbase.code.tex)))
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
-File: pgfcorepoints.code.tex 2008/02/03  (rcs-revision 1.13)
-\pgf@picminx=\dimen130
-\pgf@picmaxx=\dimen131
-\pgf@picminy=\dimen132
-\pgf@picmaxy=\dimen133
-\pgf@pathminx=\dimen134
-\pgf@pathmaxx=\dimen135
-\pgf@pathminy=\dimen136
-\pgf@pathmaxy=\dimen137
-\pgf@xx=\dimen138
-\pgf@xy=\dimen139
-\pgf@yx=\dimen140
-\pgf@yy=\dimen141
-\pgf@zx=\dimen142
-\pgf@zy=\dimen143
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
-File: pgfcorepathconstruct.code.tex 2008/02/13  (rcs-revision 1.14)
-\pgf@path@lastx=\dimen144
-\pgf@path@lasty=\dimen145
-) (/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
-File: pgfcorepathusage.code.tex 2008/01/23  (rcs-revision 1.11)
-\pgf@shorten@end@additional=\dimen146
-\pgf@shorten@start@additional=\dimen147
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
-File: pgfcorescopes.code.tex 2008/01/15  (rcs-revision 1.26)
-\pgfpic=\box35
-\pgf@hbox=\box36
-\pgf@layerbox@main=\box37
-\pgf@picture@serial@count=\count112
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
-File: pgfcoregraphicstate.code.tex 2007/12/12  (rcs-revision 1.8)
-\pgflinewidth=\dimen148
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoretransformations.code.t
-ex
-File: pgfcoretransformations.code.tex 2008/02/04  (rcs-revision 1.10)
-\pgf@pt@x=\dimen149
-\pgf@pt@y=\dimen150
-\pgf@pt@temp=\dimen151
-) (/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
-File: pgfcorequick.code.tex 2006/10/11  (rcs-revision 1.2)
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
-File: pgfcoreobjects.code.tex 2006/10/11  (rcs-revision 1.2)
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.te
-x
-File: pgfcorepathprocessing.code.tex 2008/01/23  (rcs-revision 1.7)
-) (/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
-File: pgfcorearrows.code.tex 2007/06/07  (rcs-revision 1.8)
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
-File: pgfcoreshade.code.tex 2007/12/10  (rcs-revision 1.9)
-\pgf@max=\dimen152
-\pgf@sys@shading@range@num=\count113
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
-File: pgfcoreimage.code.tex 2008/01/15  (rcs-revision 1.1)
-\pgfexternal@startupbox=\box38
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
-File: pgfcorelayers.code.tex 2008/01/15  (rcs-revision 1.1)
-)
-(/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
-File: pgfcoretransparency.code.tex 2008/01/17  (rcs-revision 1.2)
-) (/usr/share/texmf-site/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
-File: pgfcorepatterns.code.tex 2008/01/15  (rcs-revision 1.1)
-)))
-(/usr/share/texmf-site/tex/latex/pgf/basiclayer/pgfbaseimage.sty
-
-Package pgf Warning: This package is obsolete and no longer needed on input lin
-e 13.
-
-) (/usr/share/texmf-site/tex/latex/pgf/utilities/xxcolor.sty
-Package: xxcolor 2003/10/24 ver 0.1
-\XC@nummixins=\count114
-\XC@countmixins=\count115
-)
-(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
-Package: amssymb 2002/01/22 v2.2d
-
-(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
-Package: amsfonts 2001/10/25 v2.2f
-\@emptytoks=\toks19
-\symAMSa=\mathgroup4
-\symAMSb=\mathgroup5
-LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
-(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
-))
-(/usr/share/texmf-dist/tex/latex/geometry/geometry.sty
-Package: geometry 2002/07/08 v3.2 Page Geometry
-\Gm@cnth=\count116
-\Gm@cntv=\count117
-\c@Gm@tempcnt=\count118
-\Gm@bindingoffset=\dimen153
-\Gm@wd@mp=\dimen154
-\Gm@odd@mp=\dimen155
-\Gm@even@mp=\dimen156
-\Gm@dimlist=\toks20
-)
-(/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
-Package: hyperref 2008/08/14 v6.78f Hypertext links for LaTeX
-
-(/usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty
-Package: ifpdf 2007/12/12 v1.6 Provides the ifpdf switch (HO)
-Package ifpdf Info: pdfTeX in pdf mode detected.
-)
-(/usr/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty
-Package: ifvtex 2007/09/09 v1.3 Switches for detecting VTeX and its modes (HO)
-Package ifvtex Info: VTeX not detected.
-)
-(/usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty
-Package: ifxetex 2006/08/21 v0.3 Provides ifxetex conditional
-)
-(/usr/share/texmf-dist/tex/latex/oberdiek/hycolor.sty
-Package: hycolor 2008/08/01 v1.3 Code for color options of hyperref/bookmark (H
-O)
-
-(/usr/share/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty
-Package: xcolor-patch 2008/08/01 xcolor patch
-))
-\@linkdim=\dimen157
-\Hy@linkcounter=\count119
-\Hy@pagecounter=\count120
-
-(/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
-File: pd1enc.def 2008/08/14 v6.78f Hyperref: PDFDocEncoding definition (HO)
-)
-(/usr/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty
-Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO)
-
-(/usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty
-Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO)
-)
-Package etexcmds Info: Could not find \expanded.
-(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
-(etexcmds)             that some package has redefined \expanded.
-(etexcmds)             In the latter case, load this package earlier.
-)
-(/usr/share/texmf/tex/latex/config/hyperref.cfg
-File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
-)
-(/usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty
-Package: kvoptions 2007/10/18 v3.0 Keyval support for LaTeX options (HO)
-)
-Package hyperref Info: Option `bookmarks' set `true' on input line 2765.
-Package hyperref Info: Option `bookmarksopen' set `true' on input line 2765.
-Package hyperref Info: Option `implicit' set `false' on input line 2765.
-Package hyperref Info: Hyper figures OFF on input line 2876.
-Package hyperref Info: Link nesting OFF on input line 2881.
-Package hyperref Info: Hyper index ON on input line 2884.
-Package hyperref Info: Plain pages OFF on input line 2891.
-Package hyperref Info: Backreferencing OFF on input line 2896.
-
-Implicit mode OFF; no redefinition of LaTeX internals
-Package hyperref Info: Bookmarks ON on input line 3086.
-(/usr/share/texmf-dist/tex/latex/ltxmisc/url.sty
-\Urlmuskip=\muskip10
-Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
-)
-LaTeX Info: Redefining \url on input line 3272.
-
-(/usr/share/texmf-dist/tex/generic/oberdiek/bitset.sty
-Package: bitset 2007/09/28 v1.0 Data type bit set (HO)
-
-(/usr/share/texmf-dist/tex/generic/oberdiek/intcalc.sty
-Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO)
-)
-(/usr/share/texmf-dist/tex/generic/oberdiek/bigintcalc.sty
-Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO)
-
-(/usr/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
-Package: pdftexcmds 2007/12/12 v0.3 LuaTeX support for pdfTeX utility functions
- (HO)
-Package pdftexcmds Info: LuaTeX not detected on input line 139.
-)))
-(/usr/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
-Package: kvsetkeys 2007/09/29 v1.3 Key value parser with default handler suppor
-t (HO)
-)
-\Fld@menulength=\count121
-\Field@Width=\dimen158
-\Fld@charsize=\dimen159
-\Field@toks=\toks21
-Package hyperref Info: Hyper figures OFF on input line 4189.
-Package hyperref Info: Link nesting OFF on input line 4194.
-Package hyperref Info: Hyper index ON on input line 4197.
-Package hyperref Info: backreferencing OFF on input line 4204.
-Package hyperref Info: Link coloring OFF on input line 4209.
-Package hyperref Info: Link coloring with OCG OFF on input line 4214.
-Package hyperref Info: PDF/A mode OFF on input line 4219.
-
-(/usr/share/texmf-dist/tex/generic/oberdiek/atbegshi.sty
-Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO)
-)
-
-Package hyperref Warning: Option `pdfpagelabels' is turned off
-(hyperref)                because \thepage is undefined.
-
-Hyperref stopped early
-)
-*hyperref using default driver hpdftex*
-(/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def
-File: hpdftex.def 2008/08/14 v6.78f Hyperref driver for pdfTeX
-\Fld@listcount=\count122
-)
-(/usr/share/texmf-dist/tex/latex/extsizes/size9.clo
-File: size9.clo 1999/11/11 v1.4a NON-Standard LaTeX file (size option)
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasecompatibility.sty
-Package: beamerbasecompatibility 2007/01/28  (rcs-revision 1.63)
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasefont.sty
-Package: beamerbasefont 2007/01/28  (rcs-revision 1.16)
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasemisc.sty
-Package: beamerbasemisc 2007/01/28  (rcs-revision 1.24)
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetwoscreens.sty
-Package: beamerbasetwoscreens 2007/01/28  (rcs-revision 1.7)
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseoverlay.sty
-Package: beamerbaseoverlay 2007/01/28  (rcs-revision 1.50)
-\beamer@argscount=\count123
-\beamer@lastskipcover=\skip42
-\beamer@trivlistdepth=\count124
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetitle.sty
-Package: beamerbasetitle 2007/01/28  (rcs-revision 1.25)
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasesection.sty
-Package: beamerbasesection 2007/01/28  (rcs-revision 1.21)
-\c@lecture=\count125
-\c@part=\count126
-\c@section=\count127
-\c@subsection=\count128
-\c@subsubsection=\count129
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseframe.sty
-Package: beamerbaseframe 2007/01/28  (rcs-revision 1.60)
-\beamer@framebox=\box39
-\beamer@frametitlebox=\box40
-\beamer@zoombox=\box41
-\beamer@zoomcount=\count130
-\beamer@zoomframecount=\count131
-\beamer@frametextheight=\dimen160
-\c@subsectionslide=\count132
-\beamer@frametopskip=\skip43
-\beamer@framebottomskip=\skip44
-\beamer@frametopskipautobreak=\skip45
-\beamer@framebottomskipautobreak=\skip46
-\beamer@envbody=\toks22
-\c@framenumber=\count133
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseverbatim.sty
-Package: beamerbaseverbatim 2007/01/28  (rcs-revision 1.8)
-\beamer@verbatimfileout=\write3
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseframesize.sty
-Package: beamerbaseframesize 2007/01/28  (rcs-revision 1.18)
-\beamer@splitbox=\box42
-\beamer@autobreakcount=\count134
-\beamer@autobreaklastheight=\dimen161
-\beamer@frametitletoks=\toks23
-\beamer@framesubtitletoks=\toks24
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseframecomponents.sty
-Package: beamerbaseframecomponents 2007/01/28  (rcs-revision 1.41)
-\beamer@footins=\box43
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasecolor.sty
-Package: beamerbasecolor 2007/01/28  (rcs-revision 1.42)
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasenotes.sty
-Package: beamerbasenotes 2007/01/28  (rcs-revision 1.23)
-\beamer@frameboxcopy=\box44
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetoc.sty
-Package: beamerbasetoc 2007/01/28  (rcs-revision 1.21)
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetemplates.sty
-Package: beamerbasetemplates 2007/01/28  (rcs-revision 1.51)
-\beamer@sbttoks=\toks25
-
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseauxtemplates.sty
-Package: beamerbaseauxtemplates 2007/01/28  (rcs-revision 1.28)
-
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaseboxes.sty
-Package: beamerbaseboxes 2007/03/11  (rcs-revision 1.32)
-\bmb@box=\box45
-\bmb@colorbox=\box46
-\bmb@boxshadow=\box47
-\bmb@boxshadowball=\box48
-\bmb@boxshadowballlarge=\box49
-\bmb@temp=\dimen162
-\bmb@dima=\dimen163
-\bmb@dimb=\dimen164
-\bmb@prevheight=\dimen165
-)
-\beamer@blockheadheight=\dimen166
-))
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbaselocalstructure.sty
-Package: beamerbaselocalstructure 2007/01/28  (rcs-revision 1.53)
-
-(/usr/share/texmf-dist/tex/latex/tools/enumerate.sty
-Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC)
-\@enLab=\toks26
-)
-\c@figure=\count135
-\c@table=\count136
-\abovecaptionskip=\skip47
-\belowcaptionskip=\skip48
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasenavigation.sty
-Package: beamerbasenavigation 2007/01/28  (rcs-revision 1.36)
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasetheorems.sty
-Package: beamerbasetheorems 2007/01/28  (rcs-revision 1.10)
-
-(/usr/share/texmf-site/tex/latex/translator/translator.sty
-Package: translator 2007/03/11 ver 1.00
-
-(/usr/share/texmf-site/tex/latex/translator/translator-language-mappings.tex))
-(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
-Package: amsmath 2000/07/18 v2.13 AMS math features
-\@mathmargin=\skip49
-
-For additional information on amsmath, use the `?' option.
-(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
-Package: amstext 2000/06/29 v2.01
-
-(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
-File: amsgen.sty 1999/11/30 v2.0
-\@emptytoks=\toks27
-\ex@=\dimen167
-))
-(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
-Package: amsbsy 1999/11/29 v1.2d
-\pmbraise@=\dimen168
-)
-(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
-Package: amsopn 1999/12/14 v2.01 operator names
-)
-\inf@bad=\count137
-LaTeX Info: Redefining \frac on input line 211.
-\uproot@=\count138
-\leftroot@=\count139
-LaTeX Info: Redefining \overline on input line 307.
-\classnum@=\count140
-\DOTSCASE@=\count141
-LaTeX Info: Redefining \ldots on input line 379.
-LaTeX Info: Redefining \dots on input line 382.
-LaTeX Info: Redefining \cdots on input line 467.
-\Mathstrutbox@=\box50
-\strutbox@=\box51
-\big@size=\dimen169
-LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
-LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
-\macc@depth=\count142
-\c@MaxMatrixCols=\count143
-\dotsspace@=\muskip11
-\c@parentequation=\count144
-\dspbrk@lvl=\count145
-\tag@help=\toks28
-\row@=\count146
-\column@=\count147
-\maxfields@=\count148
-\andhelp@=\toks29
-\eqnshift@=\dimen170
-\alignsep@=\dimen171
-\tagshift@=\dimen172
-\tagwidth@=\dimen173
-\totwidth@=\dimen174
-\lineht@=\dimen175
-\@envbody=\toks30
-\multlinegap=\skip50
-\multlinetaggap=\skip51
-\mathdisplay@stack=\toks31
-LaTeX Info: Redefining \[ on input line 2666.
-LaTeX Info: Redefining \] on input line 2667.
-)
-(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
-Package: amsthm 2004/08/06 v2.20
-\thm@style=\toks32
-\thm@bodyfont=\toks33
-\thm@headfont=\toks34
-\thm@notefont=\toks35
-\thm@headpunct=\toks36
-\thm@preskip=\skip52
-\thm@postskip=\skip53
-\thm@headsep=\skip54
-\dth@everypar=\toks37
-)
-\c@theorem=\count149
-)
-(/usr/share/texmf-site/tex/latex/beamer/base/beamerbasethemes.sty
-Package: beamerbasethemes 2007/01/28  (rcs-revision 1.10)
-)
-(/usr/share/texmf-site/tex/latex/beamer/themes/theme/beamerthemedefault.sty
-Package: beamerthemedefault 2007/01/28  (rcs-revision 1.7)
-
-(/usr/share/texmf-site/tex/latex/beamer/themes/font/beamerfontthemedefault.sty
-Package: beamerfontthemedefault 2007/01/28  (rcs-revision 1.13)
-)
-(/usr/share/texmf-site/tex/latex/beamer/themes/color/beamercolorthemedefault.st
-y
-Package: beamercolorthemedefault 2007/01/28  (rcs-revision 1.28)
-)
-(/usr/share/texmf-site/tex/latex/beamer/themes/inner/beamerinnerthemedefault.st
-y
-Package: beamerinnerthemedefault 2007/01/28  (rcs-revision 1.20)
-\beamer@dima=\dimen176
-\beamer@dimb=\dimen177
-)
-(/usr/share/texmf-site/tex/latex/beamer/themes/outer/beamerouterthemedefault.st
-y
-Package: beamerouterthemedefault 2007/01/28  (rcs-revision 1.14)
-))) (/usr/share/texmf-dist/tex/latex/base/inputenc.sty
-Package: inputenc 2006/05/05 v1.1b Input encoding file
-\inpenc@prehook=\toks38
-\inpenc@posthook=\toks39
-
-(/usr/share/texmf-dist/tex/latex/ucs/utf8x.def
-File: utf8x.def 2004/10/17 UCS: Input encoding UTF-8
-))
-(/usr/share/texmf-dist/tex/latex/ucs/ucs.sty
-Package: ucs 2004/10/17 UCS: Unicode input support
-
-(/usr/share/texmf-dist/tex/latex/ucs/data/uni-global.def
-File: uni-global.def 2004/10/17 UCS: Unicode global data
-)
-\uc@secondtry=\count150
-\uc@combtoks=\toks40
-\uc@combtoksb=\toks41
-\uc@temptokena=\toks42
-)
-(/usr/share/texmf-dist/tex/generic/babel/babel.sty
-Package: babel 2008/07/06 v3.8l The Babel package
-
-(/usr/share/texmf-dist/tex/generic/babel/english.ldf
-Language: english 2005/03/30 v3.3o English support from the babel system
-
-(/usr/share/texmf-dist/tex/generic/babel/babel.def
-File: babel.def 2008/07/06 v3.8l Babel common definitions
-LaTeX Info: Redefining \textlatin on input line 82.
-\babel@savecnt=\count151
-\U@D=\dimen178
-)
-\l@british = a dialect from \language\l@english 
-\l@UKenglish = a dialect from \language\l@english 
-\l@canadian = a dialect from \language\l@american 
-\l@australian = a dialect from \language\l@british 
-\l@newzealand = a dialect from \language\l@british 
-))
-(/usr/share/texmf-dist/tex/latex/arev/arev.sty
-Package: arev 2005/06/14 0.1 Arev Sans package
-
-(/usr/share/texmf-dist/tex/latex/arev/arevtext.sty
-Package: arevtext 2005/09/01 0.1 Arev Sans Text package
-
-(/usr/share/texmf-dist/tex/latex/base/fontenc.sty
-Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
-
-(/usr/share/texmf-dist/tex/latex/base/t1enc.def
-File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
-LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
-))
-(/usr/share/texmf-dist/tex/latex/base/textcomp.sty
-Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
-Package textcomp Info: Sub-encoding information:
-(textcomp)               5 = only ISO-Adobe without \textcurrency
-(textcomp)               4 = 5 + \texteuro
-(textcomp)               3 = 4 + \textohm
-(textcomp)               2 = 3 + \textestimated + \textcurrency
-(textcomp)               1 = TS1 - \textcircled - \t
-(textcomp)               0 = TS1 (full)
-(textcomp)             Font families with sub-encoding setting implement
-(textcomp)             only a restricted character set as indicated.
-(textcomp)             Family '?' is the default used for unknown fonts.
-(textcomp)             See the documentation for details.
-Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.
-
-(/usr/share/texmf-dist/tex/latex/base/ts1enc.def
-File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
-)
-LaTeX Info: Redefining \oldstylenums on input line 266.
-Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
-Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
-Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
-Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
-Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
-Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
-Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
-Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
-Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
-Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
-Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
-Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
-Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
-Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
-Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
-Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
-Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
-Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
-Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
-Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
-Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
-Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
-Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
-Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.
-
-Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
-Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
-Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
-Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
-Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
-Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
-Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 311.
-Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 312.
-Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 313.
-Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 314.
-Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 315.
-Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 316.
-Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 317.
-Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 318.
-Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 319.
-Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 320.
-Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 321.
-Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 322.
-Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 323.
-Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 324.
-Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 325.
-Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 326.
-))
-(/usr/share/texmf-dist/tex/latex/arev/arevmath.sty
-Package: arevmath 2006/02/19 0.1 Arev Sans Math package
-
-(/usr/share/texmf-dist/tex/latex/arev/ams-mdbch.sty
-Package: ams-mdbch 2005/05/08 v1.4 Bold mdbch (Math Design Project) to replace 
-AMS fonts
-\symmathdesignA=\mathgroup6
-LaTeX Font Info:    Overwriting symbol font `mathdesignA' in version `bold'
-(Font)                  MDA/mdbch/b/n --> MDA/mdbch/b/n on input line 47.
-LaTeX Font Info:    Overwriting encoding scheme math defaults on input line 52.
-
-LaTeX Info: Redefining \bold on input line 64.
-LaTeX Font Info:    Redeclaring math delimiter \ulcorner on input line 82.
-LaTeX Font Info:    Redeclaring math delimiter \urcorner on input line 83.
-LaTeX Font Info:    Redeclaring math delimiter \llcorner on input line 84.
-LaTeX Font Info:    Redeclaring math delimiter \lrcorner on input line 85.
-LaTeX Font Info:    Redeclaring math accent \widetilde on input line 86.
-LaTeX Font Info:    Redeclaring math accent \widehat on input line 87.
-LaTeX Font Info:    Redeclaring math symbol \dabar@ on input line 88.
-LaTeX Font Info:    Redeclaring math symbol \lvertneqq on input line 96.
-LaTeX Font Info:    Redeclaring math symbol \gvertneqq on input line 97.
-LaTeX Font Info:    Redeclaring math symbol \nleq on input line 98.
-LaTeX Font Info:    Redeclaring math symbol \ngeq on input line 99.
-LaTeX Font Info:    Redeclaring math symbol \nless on input line 100.
-LaTeX Font Info:    Redeclaring math symbol \ngtr on input line 101.
-LaTeX Font Info:    Redeclaring math symbol \nprec on input line 102.
-LaTeX Font Info:    Redeclaring math symbol \nsucc on input line 103.
-LaTeX Font Info:    Redeclaring math symbol \lneqq on input line 104.
-LaTeX Font Info:    Redeclaring math symbol \gneqq on input line 105.
-LaTeX Font Info:    Redeclaring math symbol \nleqslant on input line 106.
-LaTeX Font Info:    Redeclaring math symbol \ngeqslant on input line 107.
-LaTeX Font Info:    Redeclaring math symbol \lneq on input line 108.
-LaTeX Font Info:    Redeclaring math symbol \gneq on input line 109.
-LaTeX Font Info:    Redeclaring math symbol \npreceq on input line 110.
-LaTeX Font Info:    Redeclaring math symbol \nsucceq on input line 111.
-LaTeX Font Info:    Redeclaring math symbol \precnsim on input line 112.
-LaTeX Font Info:    Redeclaring math symbol \succnsim on input line 113.
-LaTeX Font Info:    Redeclaring math symbol \lnsim on input line 114.
-LaTeX Font Info:    Redeclaring math symbol \gnsim on input line 115.
-LaTeX Font Info:    Redeclaring math symbol \nleqq on input line 116.
-LaTeX Font Info:    Redeclaring math symbol \ngeqq on input line 117.
-LaTeX Font Info:    Redeclaring math symbol \precneqq on input line 118.
-LaTeX Font Info:    Redeclaring math symbol \succneqq on input line 119.
-LaTeX Font Info:    Redeclaring math symbol \precnapprox on input line 120.
-LaTeX Font Info:    Redeclaring math symbol \succnapprox on input line 121.
-LaTeX Font Info:    Redeclaring math symbol \lnapprox on input line 122.
-LaTeX Font Info:    Redeclaring math symbol \gnapprox on input line 123.
-LaTeX Font Info:    Redeclaring math symbol \nsim on input line 124.
-LaTeX Font Info:    Redeclaring math symbol \ncong on input line 125.
-LaTeX Font Info:    Redeclaring math symbol \diagup on input line 126.
-LaTeX Font Info:    Redeclaring math symbol \diagdown on input line 127.
-LaTeX Font Info:    Redeclaring math symbol \varsubsetneq on input line 128.
-LaTeX Font Info:    Redeclaring math symbol \varsupsetneq on input line 129.
-LaTeX Font Info:    Redeclaring math symbol \nsubseteqq on input line 130.
-LaTeX Font Info:    Redeclaring math symbol \nsupseteqq on input line 131.
-LaTeX Font Info:    Redeclaring math symbol \subsetneqq on input line 132.
-LaTeX Font Info:    Redeclaring math symbol \supsetneqq on input line 133.
-LaTeX Font Info:    Redeclaring math symbol \varsubsetneqq on input line 134.
-LaTeX Font Info:    Redeclaring math symbol \varsupsetneqq on input line 135.
-LaTeX Font Info:    Redeclaring math symbol \subsetneq on input line 136.
-LaTeX Font Info:    Redeclaring math symbol \supsetneq on input line 137.
-LaTeX Font Info:    Redeclaring math symbol \nsubseteq on input line 138.
-LaTeX Font Info:    Redeclaring math symbol \nsupseteq on input line 139.
-LaTeX Font Info:    Redeclaring math symbol \nparallel on input line 140.
-LaTeX Font Info:    Redeclaring math symbol \nmid on input line 141.
-LaTeX Font Info:    Redeclaring math symbol \nshortmid on input line 142.
-LaTeX Font Info:    Redeclaring math symbol \nshortparallel on input line 143.
-LaTeX Font Info:    Redeclaring math symbol \nvdash on input line 144.
-LaTeX Font Info:    Redeclaring math symbol \nVdash on input line 145.
-LaTeX Font Info:    Redeclaring math symbol \nvDash on input line 146.
-LaTeX Font Info:    Redeclaring math symbol \nVDash on input line 147.
-LaTeX Font Info:    Redeclaring math symbol \ntrianglerighteq on input line 148
-.
-LaTeX Font Info:    Redeclaring math symbol \ntrianglelefteq on input line 149.
-
-LaTeX Font Info:    Redeclaring math symbol \ntriangleleft on input line 150.
-LaTeX Font Info:    Redeclaring math symbol \ntriangleright on input line 151.
-LaTeX Font Info:    Redeclaring math symbol \nleftarrow on input line 152.
-LaTeX Font Info:    Redeclaring math symbol \nrightarrow on input line 153.
-LaTeX Font Info:    Redeclaring math symbol \nLeftarrow on input line 154.
-LaTeX Font Info:    Redeclaring math symbol \nRightarrow on input line 155.
-LaTeX Font Info:    Redeclaring math symbol \nLeftrightarrow on input line 156.
-
-LaTeX Font Info:    Redeclaring math symbol \nleftrightarrow on input line 157.
-
-LaTeX Font Info:    Redeclaring math symbol \divideontimes on input line 158.
-LaTeX Font Info:    Redeclaring math symbol \varnothing on input line 159.
-LaTeX Font Info:    Redeclaring math symbol \nexists on input line 160.
-LaTeX Font Info:    Redeclaring math symbol \Join on input line 161.
-LaTeX Font Info:    Redeclaring math symbol \Finv on input line 165.
-LaTeX Font Info:    Redeclaring math symbol \Game on input line 166.
-LaTeX Font Info:    Redeclaring math symbol \eqsim on input line 167.
-LaTeX Font Info:    Redeclaring math symbol \beth on input line 168.
-LaTeX Font Info:    Redeclaring math symbol \gimel on input line 169.
-LaTeX Font Info:    Redeclaring math symbol \daleth on input line 170.
-LaTeX Font Info:    Redeclaring math symbol \lessdot on input line 171.
-LaTeX Font Info:    Redeclaring math symbol \gtrdot on input line 172.
-LaTeX Font Info:    Redeclaring math symbol \ltimes on input line 173.
-LaTeX Font Info:    Redeclaring math symbol \rtimes on input line 174.
-LaTeX Font Info:    Redeclaring math symbol \shortmid on input line 175.
-LaTeX Font Info:    Redeclaring math symbol \shortparallel on input line 176.
-LaTeX Font Info:    Redeclaring math symbol \smallsetminus on input line 177.
-LaTeX Font Info:    Redeclaring math symbol \thicksim on input line 178.
-LaTeX Font Info:    Redeclaring math symbol \thickapprox on input line 179.
-LaTeX Font Info:    Redeclaring math symbol \approxeq on input line 180.
-LaTeX Font Info:    Redeclaring math symbol \succapprox on input line 181.
-LaTeX Font Info:    Redeclaring math symbol \precapprox on input line 182.
-LaTeX Font Info:    Redeclaring math symbol \curvearrowleft on input line 183.
-LaTeX Font Info:    Redeclaring math symbol \curvearrowright on input line 184.
-
-LaTeX Font Info:    Redeclaring math symbol \Bbbk on input line 189.
-LaTeX Font Info:    Redeclaring math symbol \backepsilon on input line 190.
-LaTeX Font Info:    Redeclaring math symbol \boxdot on input line 192.
-LaTeX Font Info:    Redeclaring math symbol \boxplus on input line 193.
-LaTeX Font Info:    Redeclaring math symbol \boxtimes on input line 194.
-LaTeX Font Info:    Redeclaring math symbol \square on input line 195.
-LaTeX Font Info:    Redeclaring math symbol \blacksquare on input line 196.
-LaTeX Font Info:    Redeclaring math symbol \centerdot on input line 197.
-LaTeX Font Info:    Redeclaring math symbol \lozenge on input line 198.
-LaTeX Font Info:    Redeclaring math symbol \blacklozenge on input line 199.
-LaTeX Font Info:    Redeclaring math symbol \circlearrowright on input line 200
-.
-LaTeX Font Info:    Redeclaring math symbol \circlearrowleft on input line 201.
-
-LaTeX Font Info:    Redeclaring math symbol \rightleftharpoons on input line 20
-3.
-LaTeX Font Info:    Redeclaring math symbol \leftrightharpoons on input line 20
-4.
-LaTeX Font Info:    Redeclaring math symbol \boxminus on input line 205.
-LaTeX Font Info:    Redeclaring math symbol \Vdash on input line 206.
-LaTeX Font Info:    Redeclaring math symbol \Vvdash on input line 207.
-LaTeX Font Info:    Redeclaring math symbol \vDash on input line 208.
-LaTeX Font Info:    Redeclaring math symbol \twoheadrightarrow on input line 20
-9.
-LaTeX Font Info:    Redeclaring math symbol \twoheadleftarrow on input line 210
-.
-LaTeX Font Info:    Redeclaring math symbol \leftleftarrows on input line 211.
-LaTeX Font Info:    Redeclaring math symbol \rightrightarrows on input line 212
-.
-LaTeX Font Info:    Redeclaring math symbol \upuparrows on input line 213.
-LaTeX Font Info:    Redeclaring math symbol \downdownarrows on input line 214.
-LaTeX Font Info:    Redeclaring math symbol \upharpoonright on input line 215.
-LaTeX Font Info:    Redeclaring math symbol \downharpoonright on input line 217
-.
-LaTeX Font Info:    Redeclaring math symbol \upharpoonleft on input line 218.
-LaTeX Font Info:    Redeclaring math symbol \downharpoonleft on input line 219.
-
-LaTeX Font Info:    Redeclaring math symbol \rightarrowtail on input line 220.
-LaTeX Font Info:    Redeclaring math symbol \leftarrowtail on input line 221.
-LaTeX Font Info:    Redeclaring math symbol \leftrightarrows on input line 222.
-
-LaTeX Font Info:    Redeclaring math symbol \rightleftarrows on input line 223.
-
-LaTeX Font Info:    Redeclaring math symbol \Lsh on input line 224.
-LaTeX Font Info:    Redeclaring math symbol \Rsh on input line 225.
-LaTeX Font Info:    Redeclaring math symbol \rightsquigarrow on input line 226.
-
-LaTeX Font Info:    Redeclaring math symbol \leftrightsquigarrow on input line 
-227.
-LaTeX Font Info:    Redeclaring math symbol \looparrowleft on input line 228.
-LaTeX Font Info:    Redeclaring math symbol \looparrowright on input line 229.
-LaTeX Font Info:    Redeclaring math symbol \circeq on input line 230.
-LaTeX Font Info:    Redeclaring math symbol \succsim on input line 231.
-LaTeX Font Info:    Redeclaring math symbol \gtrsim on input line 232.
-LaTeX Font Info:    Redeclaring math symbol \gtrapprox on input line 233.
-LaTeX Font Info:    Redeclaring math symbol \multimap on input line 234.
-LaTeX Font Info:    Redeclaring math symbol \therefore on input line 235.
-LaTeX Font Info:    Redeclaring math symbol \because on input line 236.
-LaTeX Font Info:    Redeclaring math symbol \doteqdot on input line 237.
-LaTeX Font Info:    Redeclaring math symbol \triangleq on input line 239.
-LaTeX Font Info:    Redeclaring math symbol \precsim on input line 240.
-LaTeX Font Info:    Redeclaring math symbol \lesssim on input line 241.
-LaTeX Font Info:    Redeclaring math symbol \lessapprox on input line 242.
-LaTeX Font Info:    Redeclaring math symbol \eqslantless on input line 243.
-LaTeX Font Info:    Redeclaring math symbol \eqslantgtr on input line 244.
-LaTeX Font Info:    Redeclaring math symbol \curlyeqprec on input line 245.
-LaTeX Font Info:    Redeclaring math symbol \curlyeqsucc on input line 246.
-LaTeX Font Info:    Redeclaring math symbol \preccurlyeq on input line 247.
-LaTeX Font Info:    Redeclaring math symbol \leqq on input line 248.
-LaTeX Font Info:    Redeclaring math symbol \leqslant on input line 249.
-LaTeX Font Info:    Redeclaring math symbol \lessgtr on input line 250.
-LaTeX Font Info:    Redeclaring math symbol \backprime on input line 251.
-LaTeX Font Info:    Redeclaring math symbol \risingdotseq on input line 252.
-LaTeX Font Info:    Redeclaring math symbol \fallingdotseq on input line 253.
-LaTeX Font Info:    Redeclaring math symbol \succcurlyeq on input line 254.
-LaTeX Font Info:    Redeclaring math symbol \geqq on input line 255.
-LaTeX Font Info:    Redeclaring math symbol \geqslant on input line 256.
-LaTeX Font Info:    Redeclaring math symbol \gtrless on input line 257.
-LaTeX Font Info:    Redeclaring math symbol \sqsubset on input line 258.
-LaTeX Font Info:    Redeclaring math symbol \sqsupset on input line 259.
-LaTeX Font Info:    Redeclaring math symbol \vartriangleright on input line 260
-.
-LaTeX Font Info:    Redeclaring math symbol \vartriangleleft on input line 261.
-
-LaTeX Font Info:    Redeclaring math symbol \trianglerighteq on input line 262.
-
-LaTeX Font Info:    Redeclaring math symbol \trianglelefteq on input line 263.
-LaTeX Font Info:    Redeclaring math symbol \bigstar on input line 264.
-LaTeX Font Info:    Redeclaring math symbol \between on input line 265.
-LaTeX Font Info:    Redeclaring math symbol \blacktriangledown on input line 26
-6.
-LaTeX Font Info:    Redeclaring math symbol \blacktriangleright on input line 2
-67.
-LaTeX Font Info:    Redeclaring math symbol \blacktriangleleft on input line 26
-8.
-LaTeX Font Info:    Redeclaring math symbol \vartriangle on input line 269.
-LaTeX Font Info:    Redeclaring math symbol \blacktriangle on input line 270.
-LaTeX Font Info:    Redeclaring math symbol \triangledown on input line 271.
-LaTeX Font Info:    Redeclaring math symbol \eqcirc on input line 272.
-LaTeX Font Info:    Redeclaring math symbol \lesseqgtr on input line 273.
-LaTeX Font Info:    Redeclaring math symbol \gtreqless on input line 274.
-LaTeX Font Info:    Redeclaring math symbol \lesseqqgtr on input line 275.
-LaTeX Font Info:    Redeclaring math symbol \gtreqqless on input line 276.
-LaTeX Font Info:    Redeclaring math symbol \Rrightarrow on input line 277.
-LaTeX Font Info:    Redeclaring math symbol \Lleftarrow on input line 278.
-LaTeX Font Info:    Redeclaring math symbol \veebar on input line 279.
-LaTeX Font Info:    Redeclaring math symbol \barwedge on input line 280.
-LaTeX Font Info:    Redeclaring math symbol \doublebarwedge on input line 281.
-LaTeX Font Info:    Redeclaring math symbol \angle on input line 282.
-LaTeX Font Info:    Redeclaring math symbol \measuredangle on input line 283.
-LaTeX Font Info:    Redeclaring math symbol \sphericalangle on input line 284.
-LaTeX Font Info:    Redeclaring math symbol \varpropto on input line 285.
-LaTeX Font Info:    Redeclaring math symbol \smallsmile on input line 286.
-LaTeX Font Info:    Redeclaring math symbol \smallfrown on input line 287.
-LaTeX Font Info:    Redeclaring math symbol \Subset on input line 288.
-LaTeX Font Info:    Redeclaring math symbol \Supset on input line 289.
-LaTeX Font Info:    Redeclaring math symbol \Cup on input line 290.
-LaTeX Font Info:    Redeclaring math symbol \Cap on input line 292.
-LaTeX Font Info:    Redeclaring math symbol \curlywedge on input line 294.
-LaTeX Font Info:    Redeclaring math symbol \curlyvee on input line 295.
-LaTeX Font Info:    Redeclaring math symbol \leftthreetimes on input line 296.
-LaTeX Font Info:    Redeclaring math symbol \rightthreetimes on input line 297.
-
-LaTeX Font Info:    Redeclaring math symbol \subseteqq on input line 298.
-LaTeX Font Info:    Redeclaring math symbol \supseteqq on input line 299.
-LaTeX Font Info:    Redeclaring math symbol \bumpeq on input line 300.
-LaTeX Font Info:    Redeclaring math symbol \Bumpeq on input line 301.
-LaTeX Font Info:    Redeclaring math symbol \lll on input line 302.
-LaTeX Font Info:    Redeclaring math symbol \ggg on input line 304.
-LaTeX Font Info:    Redeclaring math symbol \circledS on input line 306.
-LaTeX Font Info:    Redeclaring math symbol \pitchfork on input line 307.
-LaTeX Font Info:    Redeclaring math symbol \dotplus on input line 308.
-LaTeX Font Info:    Redeclaring math symbol \backsim on input line 309.
-LaTeX Font Info:    Redeclaring math symbol \backsimeq on input line 310.
-LaTeX Font Info:    Redeclaring math symbol \complement on input line 311.
-LaTeX Font Info:    Redeclaring math symbol \intercal on input line 312.
-LaTeX Font Info:    Redeclaring math symbol \circledcirc on input line 313.
-LaTeX Font Info:    Redeclaring math symbol \circledast on input line 314.
-LaTeX Font Info:    Redeclaring math symbol \circleddash on input line 315.
-)
-(/usr/share/texmf-dist/tex/latex/base/ifthen.sty
-Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
-)
-LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
-(Font)                  OT1/cmr/m/n --> OT1/zavm/m/n on input line 71.
-LaTeX Font Info:    Overwriting symbol font `letters' in version `normal'
-(Font)                  OML/cmm/m/it --> OML/zavm/m/it on input line 72.
-LaTeX Font Info:    Overwriting symbol font `symbols' in version `normal'
-(Font)                  OMS/cmsy/m/n --> OMS/zavm/m/n on input line 73.
-LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `normal'
-(Font)                  OMX/cmex/m/n --> OMX/mdbch/m/n on input line 74.
-LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
-(Font)                  OT1/cmr/bx/n --> OT1/zavm/b/n on input line 81.
-LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
-(Font)                  OT1/cmtt/m/n --> T1/fvm/m/n on input line 82.
-LaTeX Font Info:    Redeclaring math alphabet \mathcal on input line 85.
-LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 89.
-LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 91.
-LaTeX Font Info:    Redeclaring math alphabet \mathbb on input line 105.
-LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
-(Font)                  OT1/cmr/bx/n --> OT1/zavm/b/n on input line 112.
-LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
-(Font)                  OML/cmm/b/it --> OML/zavm/b/it on input line 113.
-LaTeX Font Info:    Overwriting symbol font `symbols' in version `bold'
-(Font)                  OMS/cmsy/b/n --> OMS/zavm/b/n on input line 114.
-LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `bold'
-(Font)                  OMX/cmex/m/n --> OMX/mdbch/b/n on input line 115.
-LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
-(Font)                  OT1/cmr/bx/n --> OT1/zavm/b/n on input line 118.
-LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
-(Font)                  OT1/cmtt/m/n --> T1/fvm/b/n on input line 119.
-LaTeX Font Info:    Redeclaring math accent \widetilde on input line 123.
-LaTeX Font Info:    Redeclaring math accent \widehat on input line 124.
-\symextraup=\mathgroup7
-\symextraitalic=\mathgroup8
-
-(/usr/share/texmf-dist/tex/latex/arev/arevsymbols.tex
-LaTeX Font Info:    Redeclaring math symbol \hbar on input line 22.
-LaTeX Font Info:    Redeclaring math symbol \hslash on input line 23.
-LaTeX Font Info:    Redeclaring math symbol \digamma on input line 25.
-LaTeX Font Info:    Redeclaring math symbol \varkappa on input line 26.
-LaTeX Font Info:    Redeclaring math symbol \backepsilon on input line 35.
-LaTeX Font Info:    Redeclaring math symbol \emptyset on input line 37.
-LaTeX Font Info:    Redeclaring math symbol \eth on input line 57.
-LaTeX Font Info:    Redeclaring math symbol \mho on input line 58.
-)
-LaTeX Font Info:    Redeclaring math symbol \varGamma on input line 181.
-LaTeX Font Info:    Redeclaring math symbol \varXi on input line 182.
-LaTeX Font Info:    Redeclaring math symbol \varPi on input line 183.
-LaTeX Font Info:    Redeclaring math symbol \varSigma on input line 184.
-LaTeX Font Info:    Redeclaring math symbol \varPhi on input line 185.
-LaTeX Font Info:    Redeclaring math symbol \varnothing on input line 204.
-)
-(/usr/share/texmf-dist/tex/latex/bera/beramono.sty
-Package: beramono 2004/01/31 (WaS)
-))
-(/usr/share/texmf-dist/tex/latex/base/t1enc.sty
-Package: t1enc 1994/06/01 Standard LaTeX package
-)
-(/usr/share/texmf-dist/tex/latex/ltxmisc/ulem.sty
-\UL@box=\box52
-\UL@hyphenbox=\box53
-\UL@skip=\skip55
-\UL@hook=\toks43
-\UL@pe=\count152
-\UL@pixel=\dimen179
-\ULC@box=\box54
-Package: ulem 2000/05/26
-\ULdepth=\dimen180
-)
-\@input{fu-beamer-template.aux}
-\openout2 = `fu-beamer-template.aux'.
-
-(/mnt/space/STUDIUM/6.semester/swp/praesentation/fu-beamer-template.tex
-(/usr/share/texmf-dist/tex/latex/doublestroke/dsfont.sty
-Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts
-)
-(/usr/share/texmf-dist/tex/latex/listings/listings.sty
-\lst@mode=\count153
-\lst@gtempboxa=\box55
-\lst@token=\toks44
-\lst@length=\count154
-\lst@currlwidth=\dimen181
-\lst@column=\count155
-\lst@pos=\count156
-\lst@lostspace=\dimen182
-\lst@width=\dimen183
-\lst@newlines=\count157
-\lst@lineno=\count158
-\lst@maxwidth=\dimen184
-
-(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
-File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)
-\c@lstnumber=\count159
-\lst@skipnumbers=\count160
-\lst@framebox=\box56
-)
-(/usr/share/texmf-dist/tex/latex/listings/listings.cfg
-File: listings.cfg 2007/02/22 1.4 listings configuration
-))
-Package: listings 2007/02/22 1.4 (Carsten Heinz)
-
-(/usr/share/texmf-site/tex/latex/beamer/themes/color/beamercolorthemelily.sty
-Package: beamercolorthemelily 2007/01/28  (rcs-revision 1.4)
-)
-(/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty
-File: lstlang1.sty 2004/09/05 1.3 listings language file
-))
-(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.aux)
-\openout1 = `main.aux'.
-
-LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 32.
-LaTeX Font Info:    ... okay on input line 32.
-LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 32.
-LaTeX Font Info:    ... okay on input line 32.
-LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 32.
-LaTeX Font Info:    ... okay on input line 32.
-LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 32.
-LaTeX Font Info:    ... okay on input line 32.
-LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 32.
-LaTeX Font Info:    ... okay on input line 32.
-LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 32.
-LaTeX Font Info:    ... okay on input line 32.
-LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 32.
-LaTeX Font Info:    ... okay on input line 32.
-LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 32.
-LaTeX Font Info:    Try loading font information for TS1+cmr on input line 32.
-
-(/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd
-File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
-)
-LaTeX Font Info:    ... okay on input line 32.
-LaTeX Font Info:    Checking defaults for MDA/cmr/m/n on input line 32.
-LaTeX Font Info:    Try loading font information for MDA+cmr on input line 32.
-
-(/usr/share/texmf-dist/tex/latex/mathdesign/mdacmr.fd
-File: mdacmr.fd 
-)
-LaTeX Font Info:    ... okay on input line 32.
-LaTeX Font Info:    Try loading font information for T1+fav on input line 32.
-
-(/usr/share/texmf-dist/tex/latex/arev/t1fav.fd
-File: t1fav.fd 2006/05/30 Fontinst v1.929 font definitions for T1/fav.
-)
--------------------- Geometry parameters
-paper: user defined
-landscape: --
-twocolumn: --
-twoside: --
-asymmetric: --
-h-parts: 21.33955pt, 332.89735pt, 9.95845pt
-v-parts: 0.0pt, 273.14662pt, 0.0pt
-hmarginratio: --
-vmarginratio: --
-lines: --
-heightrounded: --
-bindingoffset: 0.0pt
-truedimen: --
-includehead: true
-includefoot: true
-includemp: --
-driver: pdftex
--------------------- Page layout dimensions and switches
-\paperwidth  364.19536pt
-\paperheight 273.14662pt
-\textwidth  332.89735pt
-\textheight 244.6939pt
-\oddsidemargin  -50.93044pt
-\evensidemargin -50.93044pt
-\topmargin  -72.26999pt
-\headheight 14.22636pt
-\headsep    0.0pt
-\footskip   14.22636pt
-\marginparwidth 4.0pt
-\marginparsep   10.0pt
-\columnsep  10.0pt
-\skip\footins  8.0pt plus 4.0pt minus 2.0pt
-\hoffset 0.0pt
-\voffset 0.0pt
-\mag 1000
-
-(1in=72.27pt, 1cm=28.45pt)
------------------------
-Package hyperref Info: Link coloring OFF on input line 32.
-
-(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
-Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section
-
-(/usr/share/texmf-dist/tex/latex/oberdiek/refcount.sty
-Package: refcount 2008/08/11 v3.1 Data extraction from references (HO)
-)
-\c@section@level=\count161
-)
-LaTeX Info: Redefining \ref on input line 32.
-LaTeX Info: Redefining \pageref on input line 32.
-
-(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.out)
-(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.out)
-\@outlinefile=\write4
-\openout4 = `main.out'.
-
-\AtBeginShipoutBox=\box57
-LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
-(Font)                  OT1/zavm/m/n --> OT1/cmss/m/n on input line 32.
-LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
-(Font)                  OT1/zavm/b/n --> OT1/cmss/bx/n on input line 32.
-\symnumbers=\mathgroup9
-\sympureletters=\mathgroup10
-LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `normal'
-(Font)                  OT1/cmss/m/n --> T1/fav/m/n on input line 32.
-LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 32.
-LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
-(Font)                  OT1/zavm/b/n --> T1/fav/bx/n on input line 32.
-LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
-(Font)                  OT1/zavm/b/n --> T1/fav/bx/n on input line 32.
-LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 32.
-LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 32.
-LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 32.
-LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
-(Font)                  T1/fvm/m/n --> T1/fvm/m/n on input line 32.
-LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
-(Font)                  T1/fvm/b/n --> T1/fvm/m/n on input line 32.
-LaTeX Font Info:    Overwriting symbol font `numbers' in version `bold'
-(Font)                  T1/fav/m/n --> T1/fav/bx/n on input line 32.
-LaTeX Font Info:    Overwriting symbol font `pureletters' in version `bold'
-(Font)                  T1/fav/m/it --> T1/fav/bx/it on input line 32.
-LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `bold'
-(Font)                  OT1/cmss/bx/n --> T1/fav/bx/n on input line 32.
-LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
-(Font)                  T1/fav/bx/n --> T1/fav/bx/n on input line 32.
-LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
-(Font)                  T1/fav/m/n --> T1/fav/bx/n on input line 32.
-LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
-(Font)                  T1/fav/m/it --> T1/fav/bx/it on input line 32.
-LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
-(Font)                  T1/fvm/m/n --> T1/fvm/bx/n on input line 32.
-
-(/usr/share/texmf-site/tex/latex/translator/translator-theorem-dictionary/trans
-lator-theorem-dictionary-English.dict
-Dictionary: translator-theorem-dictionary, Language: English 
-)
-(/usr/share/texmf-dist/tex/latex/ucs/ucsencs.def
-File: ucsencs.def 2003/11/29 Fixes to fontencodings LGR, T3
-)
-\c@lstlisting=\count162
-
-(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.nav)
-Overfull \hbox (1.58499pt too wide) in paragraph at lines 32--32
-[][]\T1/fav/m/n/5 ,  
- []
-
-LaTeX Font Info:    Try loading font information for OML+zavm on input line 36.
-
-(/usr/share/texmf-dist/tex/latex/arev/omlzavm.fd
-File: omlzavm.fd 2006/05/30 Fontinst v1.929 font definitions for OML/zavm.
-)
-LaTeX Font Info:    Try loading font information for OMS+zavm on input line 36.
-
-
-(/usr/share/texmf-dist/tex/latex/arev/omszavm.fd
-File: omszavm.fd 2006/05/30 Fontinst v1.929 font definitions for OMS/zavm.
-)
-LaTeX Font Info:    Try loading font information for OMX+mdbch on input line 36
-.
-
-(/usr/share/texmf-dist/tex/latex/mathdesign/mdbch/omxmdbch.fd
-File: omxmdbch.fd 2006/01/28 Fontinst v1.928 font definitions for OMX/mdbch.
-)
-LaTeX Font Info:    Font shape `OMX/mdbch/m/n' will be
-(Font)              scaled to size 8.64006pt on input line 36.
-LaTeX Font Info:    Font shape `OMX/mdbch/m/n' will be
-(Font)              scaled to size 6.72005pt on input line 36.
-LaTeX Font Info:    Font shape `OMX/mdbch/m/n' will be
-(Font)              scaled to size 4.80003pt on input line 36.
-LaTeX Font Info:    Try loading font information for U+msa on input line 36.
-
-(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
-File: umsa.fd 2002/01/19 v2.2g AMS font definitions
-)
-LaTeX Font Info:    Try loading font information for U+msb on input line 36.
-
-(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
-File: umsb.fd 2002/01/19 v2.2g AMS font definitions
-)
-LaTeX Font Info:    Try loading font information for MDA+mdbch on input line 36
-.
-
-(/usr/share/texmf-dist/tex/latex/mathdesign/mdbch/mdamdbch.fd
-File: mdamdbch.fd 2006/01/28 Fontinst v1.928 font definitions for MDA/mdbch.
-)
-LaTeX Font Info:    Font shape `MDA/mdbch/b/n' will be
-(Font)              scaled to size 8.64006pt on input line 36.
-LaTeX Font Info:    Font shape `MDA/mdbch/b/n' will be
-(Font)              scaled to size 6.72005pt on input line 36.
-LaTeX Font Info:    Font shape `MDA/mdbch/b/n' will be
-(Font)              scaled to size 4.80003pt on input line 36.
-LaTeX Font Info:    Try loading font information for U+zavm on input line 36.
-
-(/usr/share/texmf-dist/tex/latex/arev/uzavm.fd
-File: uzavm.fd 2006/05/30 Fontinst v1.929 font definitions for U/zavm.
-)
-Underfull \hbox (badness 10000) in paragraph at lines 36--36
-
- []
-
-(/usr/share/texmf-dist/tex/latex/ucs/data/uni-0.def
-File: uni-0.def 2004/10/17 UCS: Unicode data U+0000..U+00FF
-) [1
-
-
-
-{//var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} </mnt/space/STUDIUM/6.seme
-ster/swp/praesentation/Logo_RGB.jpg> </mnt/space/STUDIUM/6.semester/swp/praesen
-tation/fu_500.jpg>]
-LaTeX Font Info:    Font shape `OMX/mdbch/m/n' will be
-(Font)              scaled to size 5.76004pt on input line 48.
-LaTeX Font Info:    Font shape `MDA/mdbch/b/n' will be
-(Font)              scaled to size 5.76004pt on input line 48.
-
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[2
-
- </mnt/space/STUDIUM/6.semester/swp/praesentation/Logo_RGB.jpg>]
-\openout3 = `main.vrb'.
-
-
-(/mnt/space/STUDIUM/6.semester/swp/praesentation/main.vrb
-LaTeX Font Info:    Try loading font information for T1+fvm on input line 1.
-
-(/usr/share/texmf-dist/tex/latex/bera/t1fvm.fd
-File: t1fvm.fd 2004/09/07 scalable font definitions for T1/fvm.
-))
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[3
-
-]
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[4
-
-]
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[5
-
-]
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[6
-
-]
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[7
-
-]
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[8
-
-]
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[9
-
-]
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[10
-
-]
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[11
-
-]
-Overfull \hbox (1.58499pt too wide) has occurred while \output is active
-[][]\T1/fav/m/n/5 , 
- []
-
-[12
-
-]
-\tf@nav=\write5
-\openout5 = `main.nav'.
-
-\tf@toc=\write6
-\openout6 = `main.toc'.
-
-\tf@snm=\write7
-\openout7 = `main.snm'.
-
- (/mnt/space/STUDIUM/6.semester/swp/praesentation/main.aux) ) 
-Here is how much of TeX's memory you used:
- 15542 strings out of 495029
- 262768 string characters out of 1181521
- 364452 words of memory out of 3000000
- 18251 multiletter control sequences out of 10000+50000
- 52851 words of font info for 76 fonts, out of 3000000 for 5000
- 28 hyphenation exceptions out of 8191
- 44i,16n,54p,352b,683s stack positions out of 5000i,500n,10000p,200000b,50000s
-{/usr/share/texmf-
-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texmf-dist/fonts/type1/public/arev
-/ArevSans-Roman.pfb></usr/share/texmf-dist/fonts/type1/public/bera/fvmr8a.pfb><
-/usr/share/texmf-dist/fonts/type1/mathdesign/mdbch/md-chb7y.pfb></usr/share/tex
-mf-dist/fonts/type1/mathdesign/mdbch/md-chbma.pfb>
-Output written on main.pdf (12 pages, 1153991 bytes).
-PDF statistics:
- 375 PDF objects out of 1000 (max. 8388607)
- 24 named destinations out of 1000 (max. 131072)
- 64 words of extra memory for PDF output out of 10000 (max. 10000000)
-
diff --git a/praesentation/main.nav b/praesentation/main.nav
deleted file mode 100644
index 6006e3c..0000000
--- a/praesentation/main.nav
+++ /dev/null
@@ -1,30 +0,0 @@
-\beamer@endinputifotherversion {3.07pt}
-\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}
-\headcommand {\beamer@framepages {1}{1}}
-\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}
-\headcommand {\beamer@framepages {2}{2}}
-\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}}
-\headcommand {\beamer@framepages {3}{3}}
-\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}}
-\headcommand {\beamer@framepages {4}{4}}
-\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}}
-\headcommand {\beamer@framepages {5}{5}}
-\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}}
-\headcommand {\beamer@framepages {6}{6}}
-\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}}
-\headcommand {\beamer@framepages {7}{7}}
-\headcommand {\slideentry {0}{0}{8}{8/8}{}{0}}
-\headcommand {\beamer@framepages {8}{8}}
-\headcommand {\slideentry {0}{0}{9}{9/9}{}{0}}
-\headcommand {\beamer@framepages {9}{9}}
-\headcommand {\slideentry {0}{0}{10}{10/10}{}{0}}
-\headcommand {\beamer@framepages {10}{10}}
-\headcommand {\slideentry {0}{0}{11}{11/11}{}{0}}
-\headcommand {\beamer@framepages {11}{11}}
-\headcommand {\slideentry {0}{0}{12}{12/12}{}{0}}
-\headcommand {\beamer@framepages {12}{12}}
-\headcommand {\beamer@partpages {1}{12}}
-\headcommand {\beamer@subsectionpages {1}{12}}
-\headcommand {\beamer@sectionpages {1}{12}}
-\headcommand {\beamer@documentpages {12}}
-\headcommand {\def \inserttotalframenumber {12}}
diff --git a/praesentation/main.out b/praesentation/main.out
deleted file mode 100644
index e69de29..0000000
--- a/praesentation/main.out
+++ /dev/null
diff --git a/praesentation/main.pdf b/praesentation/main.pdf
deleted file mode 100644
index 29d310b..0000000
--- a/praesentation/main.pdf
+++ /dev/null
diff --git a/praesentation/main.snm b/praesentation/main.snm
deleted file mode 100644
index e69de29..0000000
--- a/praesentation/main.snm
+++ /dev/null
diff --git a/praesentation/main.tex b/praesentation/main.tex
deleted file mode 100644
index e72e628..0000000
--- a/praesentation/main.tex
+++ /dev/null
@@ -1,190 +0,0 @@
-\documentclass[9pt]{beamer}
-
-\usepackage[utf8x]{inputenc}
-\usepackage[english]{babel}
-\usepackage{arev,t1enc}
-\usepackage{ulem}
-
-\include{fu-beamer-template}
-
-
-\titleimage{fu_500}
-\title[Compilerbau]
-{Abschlusspr\"{a}sentation}
-
-\author{B.~B\"{o}hm \and A.~N\"{u}\ss{}lein \and M.~Popov \and T.~Rakowski \and J.~Rekittke \and A.~Sulfrian}
-
-\institute[FU Berlin]
-{Freie Universität Berlin}
-
-\date[7~Jun,~2009]
-{Softwareprojekt Compilerbau, SoSe 2009}
-
-\renewcommand{\footlinetext}{\insertshortinstitute, \insertshorttitle, \insertshortdate}
-%\AtBeginSubsection[]
-%{
-%  \begin{frame}<beamer>{Outline}
-%    \tableofcontents[currentsection,currentsubsection]
-%  \end{frame}
-%}
-
-
-\begin{document}
-
-\begin{frame}[plain]
-	\titlepage
-\end{frame}
-
-
-\begin{frame}{Gruppe: Quellsprache}
-	\begin{itemize}
-		\item\color{fu-green} erfinden der Quellsprache
-		\begin{itemize}
-			\item\color{fu-green} Paradigma: imperativ, prozedural
-			\item\color{fu-red} \sout{Typsystem: static, weak, infered}
-		\end{itemize}
-		\item\color{fu-green} erstellen der EBNF
-	\end{itemize}
-\end{frame}
-
-\begin{frame}[fragile]{Gruppe: Quellsprache (Beispiel)}
-	\begin{verbatim}
-fun fib[a]
-    if a < 2
-        @1
-    end
-    @(call fib[a-1] + call fib[a-2])
-end
-
-fun main[]
-    sum = 0
-    i = 1
-    while i <= 10
-        sum = sum + call fib[i]
-        i = i + 1
-    end
-    @sum
-end
-	\end{verbatim}
-\end{frame}
-
-\begin{frame}{Gruppe: Schnittstellen}
-	\begin{itemize}
-		\item Lexer $\Rightarrow$ Parser:
-		\begin{itemize}\item\color{fu-green} Tokenstream\end{itemize}
-		\item Parser $\Rightarrow$ Zwischencode:
-		\begin{itemize}\item\color{fu-green} AST\end{itemize}
-		\item Zwischencode $\Rightarrow$ Codegenerator:
-		\begin{itemize}\item\color{fu-green} 3AC\end{itemize}
-		\item Codegenerator $\Rightarrow$ Assemblercode:
-		\begin{itemize}\item\color{fu-green} vereinfachte MIPS ISA\end{itemize}
-	\end{itemize}
-\end{frame}
-
-\begin{frame}{Alex: Lexikalische Analyse}
-	\begin{itemize}
-		\item Tokens:
-		\begin{itemize}
-			\item\color{fu-green} NUMBER, BOOL, IDENT
-			\item\color{fu-green} ASSIGNMENT
-			\item\color{fu-green} OPERATOR
-			\item\color{fu-green} FUN, RETURN
-			\item\color{fu-green} WHILE, IF, ELSE
-			\item\color{fu-green} LBRAK, RBRAK, LPAREN, RPAREN, NEWLINE, COMMA, END
-		\end{itemize}
-		\item\color{fu-green} \"{U}bersetzungsregeln mit Regul\"{a}ren Ausdr\"{u}cken
-	\end{itemize}
-\end{frame}
-
-\begin{frame}{Alex: Typsystem}
-	\begin{itemize}
-		\item\color{fu-red} \sout{Typinferenz bei Initialisierung von Variablen}
-		\item\color{fu-red} \sout{Statische Typzuweisung in der Symboltabelle}
-		\item\color{fu-red} \sout{ggf. automatische Typkonvertierung}
-	\end{itemize}
-\end{frame}
-
-\begin{frame}{Michael: Syntaxanalyse/Parser}
-	\begin{itemize}
-		\item Top-Down-Parsing
-		\item Ableitungsbaum:
-		\begin{itemize}
-			\item\color{fu-green} Program(Node)
-			\item\color{fu-green} Function(Node)
-			\item\color{fu-green} Statement(Node)
-			\item\color{fu-green} Sequence(Statement)
-			\item\color{fu-green} IfStatement(Statement)
-			\item\color{fu-green} WhileStatement(Statement)
-			\item\color{fu-green} ReturnStatement(Statement)
-			\item\color{fu-green} AssignStatement(Statement)
-			\item\color{fu-green} FunctionCall(Statement,Expression)
-			\item\color{fu-green} Operation(Node)
-			\item\color{fu-green} Expression(Operation)
-			\item\color{fu-green} UnaryExpression(Expression)
-			\item\color{fu-green} BinaryExpression(Expression)
-			\item\color{fu-green} Variable(Expression)
-			\item\color{fu-green} Constant(Expression)
-		\end{itemize}
-	\end{itemize}
-
-\end{frame}
-
-\begin{frame}{Michael: Semantische Analyse}
-	\begin{itemize}
-		\item\color{fu-green} Aufbau der Symboltabelle
-		\item\color{fu-green} G\"{u}ltigkeitsbereiche der Bezeichner \"{u}berpr\"{u}fen
-		\item\color{fu-green} eindeutige Zuweisungen von Bezeichnern
-	\end{itemize}
-\end{frame}
-
-\begin{frame}{Andreas: Zwischencode}
-	\begin{itemize}
-		\item Drei-Adress-Code (SSA Form):
-		\begin{itemize}
-			\item\color{fu-green} Bin\"{a}re Operationen: ADD, SUB, MUL, DIV, MOD, AND, OR
-			\item\color{fu-green} Un\"{a}re Operationen: NOT, MINUS
-			\item\color{fu-green} Zuweisungen: ASSIGN
-			\item\color{fu-green} Vergleiche: EQ, NE, LE, LT, GE, GT
-			\item\color{fu-green} Bedingte Spr\"{u}nge: BEZ
-			\item\color{fu-green} Nichtbedingte Spr\"{u}nge: JMP
-			\item\color{fu-green} Funktionsaufrufe: PARAM, CALL, RETURN
-		\end{itemize}
-	\end{itemize}
-\end{frame}
-
-\begin{frame}{Andreas: Maschinenunabh\"{a}ngige Optimierung}
-	\begin{itemize}
-		\item\color{fu-red} \sout{Eliminierung gemeinsamer Teilausdr\"{u}cke}
-		\item\color{fu-red} \sout{Kopiepropagation}
-		\item\color{fu-red} \sout{Entfernen von totem Code}
-		\item\color{fu-red} \sout{Konstantenfaltung}
-	\end{itemize}
-\end{frame}
-
-\begin{frame}{Jana: Codegenerator}
-	\begin{itemize}
-		\item\color{orange} Zuweisung von Adressen/Registervergabe
-		\item\color{fu-green} Zerlegen von Drei-Adress-Code in Grundbl\"{o}cke
-		\item\color{fu-green} Befehlsauswahl
-		\item\color{fu-green} Aufrufkonventionen
-		\item\color{fu-green} Ausgabe als Assemblercode
-	\end{itemize}
-\end{frame}
-
-\begin{frame}{Jana/Bene: RISC Emulator}
-	\begin{itemize}
-		\item Erfundene RISC ISA:
-		\begin{itemize}
-			\item\color{fu-green} Arithmetik: ADD, SUB, MUL, DIV, MOD
-			\item\color{fu-green} Logik: AND, OR
-			\item\color{fu-green} Load \& Store: MOV, LW, SW, PUSH, POP
-			\item\color{fu-green} Vergleiche: CMP, EQ, NE, LE, LT, GE, GT
-			\item\color{fu-green} Spr\"{u}nge: BEZ, JMP, CALL, RET
-			\item\color{fu-green} Andere: SYS
-		\end{itemize}
-		\item keine Memory-Management-Unit
-		\item\color{fu-green} I/O durch Nachbildung von System-Calls
-	\end{itemize}
-\end{frame}
-
-\end{document}
diff --git a/praesentation/main.toc b/praesentation/main.toc
deleted file mode 100644
index 8c353fc..0000000
--- a/praesentation/main.toc
+++ /dev/null
@@ -1,2 +0,0 @@
-\beamer@endinputifotherversion {3.07pt}
-\select@language {english}
diff --git a/praesentation/main.vrb b/praesentation/main.vrb
deleted file mode 100644
index fc60849..0000000
--- a/praesentation/main.vrb
+++ /dev/null
@@ -1,18 +0,0 @@
-\frametitle {Gruppe: Quellsprache (Beispiel)}\begin {verbatim}
-fun fib[a]
-    if a < 2
-        @1
-    end
-    @(call fib[a-1] + call fib[a-2])
-end
-
-fun main[]
-    sum = 0
-    i = 1
-    while i <= 10
-        sum = sum + call fib[i]
-        i = i + 1
-    end
-    @sum
-end
-\end{verbatim}