From 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Wed, 5 Sep 2012 10:25:19 +1000 Subject: Delete a lot of tex stuff, better debug info Some other stuff, too, I think. Oh well. No biggie! --- tex/presentation/main.aux | 79 - tex/presentation/main.log | 1349 - tex/presentation/main.nav | 57 - tex/presentation/main.out | 5 - tex/presentation/main.snm | 0 tex/presentation/main.tex | 290 - tex/presentation/main.toc | 6 - tex/presentation/missfont.log | 213 - tex/presentation/slides.aux | 104 - tex/presentation/slides.log | 81732 ---------------- tex/presentation/slides.nav | 32 - tex/presentation/slides.out | 0 tex/presentation/slides.pdf | Bin 240142 -> 0 bytes tex/presentation/slides.snm | 0 tex/presentation/slides.tex | 655 - tex/presentation/slides.toc | 1 - tex/presentation/thomas/ASOPT.pdf | Bin 7529 -> 0 bytes tex/presentation/thomas/CNRS.pdf | Bin 3086 -> 0 bytes tex/presentation/thomas/Makefile | 7 - .../thomas/SAPLING november 2011/.DS_Store | Bin 6148 -> 0 bytes tex/presentation/thomas/TUM.pdf | 63 - tex/presentation/thomas/TUM2.pdf | Bin 4514 -> 0 bytes tex/presentation/thomas/VERIMAG.pdf | Bin 4461 -> 0 bytes tex/presentation/thomas/WWU.pdf | Bin 5178 -> 0 bytes tex/presentation/thomas/bib.bib | 3631 - tex/presentation/thomas/defs.tex | 250 - tex/presentation/thomas/defs.texshop | 1 - tex/presentation/thomas/figs/.svn/all-wcprops | 29 - tex/presentation/thomas/figs/.svn/entries | 164 - .../thomas/figs/.svn/prop-base/heater.pdf.svn-base | 5 - .../figs/.svn/prop-base/region_convex.pdf.svn-base | 5 - .../.svn/prop-base/region_convex_poly.pdf.svn-base | 5 - .../.svn/prop-base/region_general.pdf.svn-base | 5 - .../thomas/figs/.svn/text-base/heater.pdf.svn-base | Bin 53919 -> 0 bytes .../figs/.svn/text-base/region_convex.pdf.svn-base | Bin 167570 -> 0 bytes .../.svn/text-base/region_convex_poly.pdf.svn-base | Bin 218863 -> 0 bytes .../.svn/text-base/region_general.pdf.svn-base | Bin 218815 -> 0 bytes tex/presentation/thomas/figs/heater.pdf | Bin 53919 -> 0 bytes tex/presentation/thomas/figs/region_convex.pdf | Bin 167570 -> 0 bytes .../thomas/figs/region_convex_poly.pdf | Bin 218863 -> 0 bytes tex/presentation/thomas/figs/region_general.pdf | Bin 218815 -> 0 bytes tex/presentation/thomas/hand_rechts.pdf | Bin 76470 -> 0 bytes tex/presentation/thomas/logos/.DS_Store | Bin 6148 -> 0 bytes tex/presentation/thomas/main.aux | 145 - tex/presentation/thomas/main.idx | 0 tex/presentation/thomas/main.log | 92036 ------------------- tex/presentation/thomas/main.nav | 54 - tex/presentation/thomas/main.out | 4 - tex/presentation/thomas/main.pdf | Bin 851913 -> 0 bytes tex/presentation/thomas/main.snm | 0 tex/presentation/thomas/main.tex | 57 - tex/presentation/thomas/main.toc | 5 - tex/presentation/thomas/missfont.log | 46 - tex/presentation/thomas/pgfplots.sty | 50 - tex/presentation/thomas/proof.sty | 377 - tex/presentation/thomas/slides.log | 28 - tex/presentation/thomas/slides.tex | 780 - tex/presentation/thomas/slides.texshop | 1 - tex/presentation/thomas/strike.pdf | Bin 17647 -> 0 bytes tex/presentation/thomas/strike2.pdf | Bin 6690 -> 0 bytes tex/presentation/thomas/textpos.sty | 367 - tex/presentation/thomas/usyd.pdf | Bin 26072 -> 0 bytes 62 files changed, 182638 deletions(-) delete mode 100644 tex/presentation/main.aux delete mode 100644 tex/presentation/main.log delete mode 100644 tex/presentation/main.nav delete mode 100644 tex/presentation/main.out delete mode 100644 tex/presentation/main.snm delete mode 100644 tex/presentation/main.tex delete mode 100644 tex/presentation/main.toc delete mode 100644 tex/presentation/missfont.log delete mode 100644 tex/presentation/slides.aux delete mode 100644 tex/presentation/slides.log delete mode 100644 tex/presentation/slides.nav delete mode 100644 tex/presentation/slides.out delete mode 100644 tex/presentation/slides.pdf delete mode 100644 tex/presentation/slides.snm delete mode 100644 tex/presentation/slides.tex delete mode 100644 tex/presentation/slides.toc delete mode 100644 tex/presentation/thomas/ASOPT.pdf delete mode 100644 tex/presentation/thomas/CNRS.pdf delete mode 100644 tex/presentation/thomas/Makefile delete mode 100644 tex/presentation/thomas/SAPLING november 2011/.DS_Store delete mode 100644 tex/presentation/thomas/TUM.pdf delete mode 100644 tex/presentation/thomas/TUM2.pdf delete mode 100644 tex/presentation/thomas/VERIMAG.pdf delete mode 100644 tex/presentation/thomas/WWU.pdf delete mode 100644 tex/presentation/thomas/bib.bib delete mode 100644 tex/presentation/thomas/defs.tex delete mode 100644 tex/presentation/thomas/defs.texshop delete mode 100644 tex/presentation/thomas/figs/.svn/all-wcprops delete mode 100644 tex/presentation/thomas/figs/.svn/entries delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/heater.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/region_convex.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/region_convex_poly.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/region_general.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/heater.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/region_convex.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/region_convex_poly.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/region_general.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/heater.pdf delete mode 100644 tex/presentation/thomas/figs/region_convex.pdf delete mode 100644 tex/presentation/thomas/figs/region_convex_poly.pdf delete mode 100644 tex/presentation/thomas/figs/region_general.pdf delete mode 100644 tex/presentation/thomas/hand_rechts.pdf delete mode 100644 tex/presentation/thomas/logos/.DS_Store delete mode 100644 tex/presentation/thomas/main.aux delete mode 100644 tex/presentation/thomas/main.idx delete mode 100644 tex/presentation/thomas/main.log delete mode 100644 tex/presentation/thomas/main.nav delete mode 100644 tex/presentation/thomas/main.out delete mode 100644 tex/presentation/thomas/main.pdf delete mode 100644 tex/presentation/thomas/main.snm delete mode 100644 tex/presentation/thomas/main.tex delete mode 100644 tex/presentation/thomas/main.toc delete mode 100644 tex/presentation/thomas/missfont.log delete mode 100644 tex/presentation/thomas/pgfplots.sty delete mode 100644 tex/presentation/thomas/proof.sty delete mode 100644 tex/presentation/thomas/slides.log delete mode 100644 tex/presentation/thomas/slides.tex delete mode 100644 tex/presentation/thomas/slides.texshop delete mode 100644 tex/presentation/thomas/strike.pdf delete mode 100644 tex/presentation/thomas/strike2.pdf delete mode 100644 tex/presentation/thomas/textpos.sty delete mode 100644 tex/presentation/thomas/usyd.pdf (limited to 'tex/presentation') diff --git a/tex/presentation/main.aux b/tex/presentation/main.aux deleted file mode 100644 index 7467836..0000000 --- a/tex/presentation/main.aux +++ /dev/null @@ -1,79 +0,0 @@ -\relax -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\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{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\@writefile{toc}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}} -\@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{toc}{\beamer@sectionintoc {1}{Example}{3}{0}{1}} -\@writefile{nav}{\headcommand {\sectionentry {1}{Example}{3}{Example}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{2}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{2}}} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{3}{3/3}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}} -\@writefile{toc}{\beamer@sectionintoc {2}{Definitions}{4}{0}{2}} -\@writefile{nav}{\headcommand {\sectionentry {2}{Definitions}{4}{Definitions}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {3}{3}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {3}{3}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{4}{4/6}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {4}{6}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{5}{7/9}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {7}{9}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{10/10}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{7}{11/11}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}} -\@writefile{toc}{\beamer@sectionintoc {3}{Max-strategies}{12}{0}{3}} -\@writefile{nav}{\headcommand {\sectionentry {3}{Max-strategies}{12}{Max-strategies}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {4}{11}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {4}{11}}} -\@writefile{nav}{\headcommand {\slideentry {3}{0}{8}{12/12}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {12}{12}}} -\@writefile{nav}{\headcommand {\slideentry {3}{0}{9}{13/15}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {13}{15}}} -\@writefile{toc}{\beamer@sectionintoc {4}{Bellman-Ford}{16}{0}{4}} -\@writefile{nav}{\headcommand {\sectionentry {4}{Bellman-Ford}{16}{Bellman-Ford}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {12}{15}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {12}{15}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{10}{16/16}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{11}{17/17}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {17}{17}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{12}{18/18}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{13}{19/19}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {19}{19}}} -\@writefile{toc}{\beamer@sectionintoc {5}{Max-strategy improvement}{20}{0}{5}} -\@writefile{nav}{\headcommand {\sectionentry {5}{Max-strategy improvement}{20}{Max-strategy improvement}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {16}{19}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {16}{19}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{14}{20/20}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {20}{20}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{15}{21/21}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{16}{22/22}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {22}{22}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{17}{23/23}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {23}{23}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{18}{24/24}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {24}{24}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{24}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {25}{24}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {25}{24}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {24}}} -\@writefile{nav}{\headcommand {\def \inserttotalframenumber {18}}} diff --git a/tex/presentation/main.log b/tex/presentation/main.log deleted file mode 100644 index 1d50724..0000000 --- a/tex/presentation/main.log +++ /dev/null @@ -1,1349 +0,0 @@ -This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2012/dev/Debian) (format=pdflatex 2012.4.10) 13 APR 2012 12:48 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**main.tex -(./main.tex -LaTeX2e <2011/06/27> -Babel and hyphenation patterns for english, dumylang, nohyphenation, lo -aded. -(/usr/share/texmf/tex/latex/beamer/base/beamer.cls -(/usr/share/texmf/tex/latex/beamer/base/beamerbasercs.sty -Package: beamerbasercs 2010/06/12 (rcs-revision c3821710bb40) -) -Document Class: beamer 2010/06/21 development version 3.10 A class for typesett -ing presentations (rcs-revision a6b1a8434d30) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasemodes.sty -Package: beamerbasemodes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@tempbox=\box26 -\beamer@tempcount=\count79 -\c@beamerpauses=\count80 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasedecode.sty -Package: beamerbasedecode 2010/05/01 (rcs-revision efa082c6111d) -\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/tex/latex/beamer/base/beamerbaseoptions.sty -Package: beamerbaseoptions 2010/04/27 (rcs-revision 982469101dd6) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks14 -)) -\beamer@paperwidth=\skip42 -\beamer@paperheight=\skip43 - -(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty -Package: geometry 2010/09/12 v5.6 Page Geometry - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in PDF mode is detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2010/03/01 v1.5 Switches for detecting VTeX and its modes (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -\Gm@cnth=\count102 -\Gm@cntv=\count103 -\c@Gm@tempcnt=\count104 -\Gm@bindingoffset=\dimen119 -\Gm@wd@mp=\dimen120 -\Gm@odd@mp=\dimen121 -\Gm@even@mp=\dimen122 -\Gm@layoutwidth=\dimen123 -\Gm@layoutheight=\dimen124 -\Gm@layouthoffset=\dimen125 -\Gm@layoutvoffset=\dimen126 -\Gm@dimlist=\toks15 -) -(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo -File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option) -) -(/usr/share/texmf/tex/latex/pgf/basiclayer/pgfcore.sty -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 1999/03/16 v1.09 sin cos tan (DPC) -) -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg -File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live -) -Package graphics Info: Driver file: pdftex.def on input line 91. - -(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def -File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO) -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2011/04/18 v1.20 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count105 -)) -\Gin@req@height=\dimen127 -\Gin@req@width=\dimen128 -) -(/usr/share/texmf/tex/latex/pgf/systemlayer/pgfsys.sty -(/usr/share/texmf/tex/latex/pgf/utilities/pgfrcs.sty -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-common.tex -\pgfutil@everybye=\toks16 -) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-latex.def -\pgfutil@abb=\box34 - -(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty -Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) -)) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfrcs.code.tex -Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24) -)) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys.code.tex -Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37) - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex -\pgfkeys@pathtoks=\toks17 -\pgfkeys@temptoks=\toks18 - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex -\pgfkeys@tmptoks=\toks19 -)) -\pgf@x=\dimen129 -\pgf@y=\dimen130 -\pgf@xa=\dimen131 -\pgf@ya=\dimen132 -\pgf@xb=\dimen133 -\pgf@yb=\dimen134 -\pgf@xc=\dimen135 -\pgf@yc=\dimen136 -\w@pgf@writea=\write3 -\r@pgf@reada=\read1 -\c@pgf@counta=\count106 -\c@pgf@countb=\count107 -\c@pgf@countc=\count108 -\c@pgf@countd=\count109 - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgf.cfg -File: pgf.cfg 2008/05/14 (rcs-revision 1.7) -) -Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900. - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-pdftex.def -File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def -File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) -))) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex -File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) -\pgfsyssoftpath@smallbuffer@items=\count110 -\pgfsyssoftpath@bigbuffer@items=\count111 -) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex -File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) -)) -(/usr/share/texmf/tex/latex/xcolor/xcolor.sty -Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/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/tex/generic/pgf/basiclayer/pgfcore.code.tex -Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7) - -(/usr/share/texmf/tex/generic/pgf/math/pgfmath.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathcalc.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathutil.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathparser.code.tex -\pgfmath@dimen=\dimen137 -\pgfmath@count=\count112 -\pgfmath@box=\box35 -\pgfmath@toks=\toks20 -\pgfmath@stack@operand=\toks21 -\pgfmath@stack@operation=\toks22 -) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfloat.code.tex -\c@pgfmathroundto@lastzeros=\count113 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex -File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) -\pgf@picminx=\dimen138 -\pgf@picmaxx=\dimen139 -\pgf@picminy=\dimen140 -\pgf@picmaxy=\dimen141 -\pgf@pathminx=\dimen142 -\pgf@pathmaxx=\dimen143 -\pgf@pathminy=\dimen144 -\pgf@pathmaxy=\dimen145 -\pgf@xx=\dimen146 -\pgf@xy=\dimen147 -\pgf@yx=\dimen148 -\pgf@yy=\dimen149 -\pgf@zx=\dimen150 -\pgf@zy=\dimen151 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex -File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) -\pgf@path@lastx=\dimen152 -\pgf@path@lasty=\dimen153 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex -File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) -\pgf@shorten@end@additional=\dimen154 -\pgf@shorten@start@additional=\dimen155 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex -File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) -\pgfpic=\box36 -\pgf@hbox=\box37 -\pgf@layerbox@main=\box38 -\pgf@picture@serial@count=\count114 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex -File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) -\pgflinewidth=\dimen156 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex -File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) -\pgf@pt@x=\dimen157 -\pgf@pt@y=\dimen158 -\pgf@pt@temp=\dimen159 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorequick.code.tex -File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex -File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex -File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex -File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex -File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) -\pgf@max=\dimen160 -\pgf@sys@shading@range@num=\count115 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex -File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) - -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex -File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17) -\pgfexternal@startupbox=\box39 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex -File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex -File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex -File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) -))) -(/usr/share/texmf/tex/latex/pgf/utilities/xxcolor.sty -Package: xxcolor 2003/10/24 ver 0.1 -\XC@nummixins=\count116 -\XC@countmixins=\count117 -) -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2012/02/06 v6.82o Hypertext links for LaTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2011/04/23 v1.4 Bundle oberdiek, subset hyperref (HO) - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2011/04/23 v1.4 Bundle oberdiek, subset generic (HO) -Package: hobsub 2011/04/23 v1.4 Subsetting bundle oberdiek (HO) -Package hobsub Info: Skipping package `infwarerr' (already loaded). -Package hobsub Info: Skipping package `ltxcmds' (already loaded). -Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -Package hobsub Info: Skipping package `ifvtex' (already loaded). -Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) -Package hobsub Info: Skipping package `ifpdf' (already loaded). -Package: etexcmds 2011/02/16 v1.5 Prefix for e-TeX command names (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. -Package: kvsetkeys 2011/04/07 v1.13 Key value parser (HO) -Package: kvdefinekeys 2011/04/07 v1.3 Defining keys (HO) -Package: pdftexcmds 2011/04/22 v0.16 Utilities of pdfTeX for LuaTeX (HO) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -Package: pdfescape 2011/04/04 v1.12 Provides string conversions (HO) -Package: bigintcalc 2011/01/30 v1.2 Expandable big integer calculations (HO) -Package: bitset 2011/01/30 v1.1 Data type bit set (HO) -Package: uniquecounter 2011/01/30 v1.2 Provides unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO) -Package: hopatch 2011/01/30 v1.0 Wrapper for package hooks (HO) -Package: xcolor-patch 2011/01/30 xcolor patch -Package: atveryend 2011/04/23 v1.7 Hooks at very end of document (HO) -Package: atbegshi 2011/01/30 v1.15 At begin shipout hook (HO) -Package: refcount 2010/12/01 v3.2 Data extraction from references (HO) -Package: hycolor 2011/01/30 v1.7 Color options of hyperref/bookmark (HO) -) -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2010/12/23 v3.10 Keyval support for LaTeX options (HO) -) -\@linkdim=\dimen161 -\Hy@linkcounter=\count118 -\Hy@pagecounter=\count119 - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2012/02/06 v6.82o Hyperref: PDFDocEncoding definition (HO) -) -\Hy@SavedSpaceFactor=\count120 - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Option `bookmarks' set `true' on input line 3925. -Package hyperref Info: Option `bookmarksopen' set `true' on input line 3925. -Package hyperref Info: Option `implicit' set `false' on input line 3925. -Package hyperref Info: Hyper figures OFF on input line 4046. -Package hyperref Info: Link nesting OFF on input line 4051. -Package hyperref Info: Hyper index ON on input line 4054. -Package hyperref Info: Plain pages OFF on input line 4061. -Package hyperref Info: Backreferencing OFF on input line 4066. -Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals. -Package hyperref Info: Bookmarks ON on input line 4284. -\c@Hy@tempcnt=\count121 - -(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip10 -Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 4637. -\Fld@menulength=\count122 -\Field@Width=\dimen162 -\Fld@charsize=\dimen163 -Package hyperref Info: Hyper figures OFF on input line 5757. -Package hyperref Info: Link nesting OFF on input line 5762. -Package hyperref Info: Hyper index ON on input line 5765. -Package hyperref Info: backreferencing OFF on input line 5772. -Package hyperref Info: Link coloring OFF on input line 5777. -Package hyperref Info: Link coloring with OCG OFF on input line 5782. -Package hyperref Info: PDF/A mode OFF on input line 5787. -LaTeX Info: Redefining \ref on input line 5827. -LaTeX Info: Redefining \pageref on input line 5831. -\Hy@abspage=\count123 - - -Package hyperref Message: Stopped early. - -) - -Package hyperref Message: Driver (autodetected): hpdftex. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2012/02/06 v6.82o Hyperref driver for pdfTeX -\Fld@listcount=\count124 -\c@bookmark@seq@number=\count125 - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -82. -)) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaserequires.sty -Package: beamerbaserequires 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecompatibility.sty -Package: beamerbasecompatibility 2010/07/12 (rcs-revision 6648c3177e4e) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasefont.sty -Package: beamerbasefont 2010/05/10 (rcs-revision cd36e8a33c6b) - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2009/06/22 v3.00 - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support -\@emptytoks=\toks23 -\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 96. -))) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetranslator.sty -Package: beamerbasetranslator 2010/06/11 (rcs-revision 85fd1cc7fc42) - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator.sty -Package: translator 2010/06/12 ver 1.10 - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator-language-mappings -.tex))) (/usr/share/texmf/tex/latex/beamer/base/beamerbasemisc.sty -Package: beamerbasemisc 2010/06/06 (rcs-revision bff0a9294b45) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetwoscreens.sty -Package: beamerbasetwoscreens 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseoverlay.sty -Package: beamerbaseoverlay 2010/05/07 (rcs-revision 5584dad462a9) -\beamer@argscount=\count126 -\beamer@lastskipcover=\skip44 -\beamer@trivlistdepth=\count127 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetitle.sty -Package: beamerbasetitle 2010/06/12 (rcs-revision 717e481ca47a) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasesection.sty -Package: beamerbasesection 2010/06/17 (rcs-revision e0d9401bb743) -\c@lecture=\count128 -\c@part=\count129 -\c@section=\count130 -\c@subsection=\count131 -\c@subsubsection=\count132 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframe.sty -Package: beamerbaseframe 2010/06/06 (rcs-revision bff0a9294b45) -\beamer@framebox=\box40 -\beamer@frametitlebox=\box41 -\beamer@zoombox=\box42 -\beamer@zoomcount=\count133 -\beamer@zoomframecount=\count134 -\beamer@frametextheight=\dimen164 -\c@subsectionslide=\count135 -\beamer@frametopskip=\skip45 -\beamer@framebottomskip=\skip46 -\beamer@frametopskipautobreak=\skip47 -\beamer@framebottomskipautobreak=\skip48 -\beamer@envbody=\toks24 -\c@framenumber=\count136 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseverbatim.sty -Package: beamerbaseverbatim 2010/05/01 (rcs-revision efa082c6111d) -\beamer@verbatimfileout=\write4 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframesize.sty -Package: beamerbaseframesize 2010/06/27 (rcs-revision 6baa2d92e6f1) -\beamer@splitbox=\box43 -\beamer@autobreakcount=\count137 -\beamer@autobreaklastheight=\dimen165 -\beamer@frametitletoks=\toks25 -\beamer@framesubtitletoks=\toks26 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframecomponents.sty -Package: beamerbaseframecomponents 2010/07/12 (rcs-revision 09e82992d9b1) -\beamer@footins=\box44 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecolor.sty -Package: beamerbasecolor 2010/06/06 (rcs-revision d1a9b48be06d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenotes.sty -Package: beamerbasenotes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@frameboxcopy=\box45 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetoc.sty -Package: beamerbasetoc 2010/06/11 (rcs-revision 242ecaa6783b) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetemplates.sty -Package: beamerbasetemplates 2010/05/01 (rcs-revision efa082c6111d) -\beamer@sbttoks=\toks27 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseauxtemplates.sty -Package: beamerbaseauxtemplates 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseboxes.sty -Package: beamerbaseboxes 2010/05/01 (rcs-revision efa082c6111d) -\bmb@box=\box46 -\bmb@colorbox=\box47 -\bmb@boxshadow=\box48 -\bmb@boxshadowball=\box49 -\bmb@boxshadowballlarge=\box50 -\bmb@temp=\dimen166 -\bmb@dima=\dimen167 -\bmb@dimb=\dimen168 -\bmb@prevheight=\dimen169 -) -\beamer@blockheadheight=\dimen170 -)) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaselocalstructure.sty -Package: beamerbaselocalstructure 2010/06/01 (rcs-revision 81f9e33f7cc2) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty -Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) -\@enLab=\toks28 -) -\c@figure=\count138 -\c@table=\count139 -\abovecaptionskip=\skip49 -\belowcaptionskip=\skip50 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenavigation.sty -Package: beamerbasenavigation 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetheorems.sty -Package: beamerbasetheorems 2010/06/06 (rcs-revision 7e7cc5e53e9d) - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2000/07/18 v2.13 AMS math features -\@mathmargin=\skip51 - -For additional information on amsmath, use the `?' option. -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 -\@emptytoks=\toks29 -\ex@=\dimen171 -)) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d -\pmbraise@=\dimen172 -) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 1999/12/14 v2.01 operator names -) -\inf@bad=\count140 -LaTeX Info: Redefining \frac on input line 211. -\uproot@=\count141 -\leftroot@=\count142 -LaTeX Info: Redefining \overline on input line 307. -\classnum@=\count143 -\DOTSCASE@=\count144 -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@=\box51 -\strutbox@=\box52 -\big@size=\dimen173 -LaTeX Font Info: Redeclaring font encoding OML on input line 567. -LaTeX Font Info: Redeclaring font encoding OMS on input line 568. -\macc@depth=\count145 -\c@MaxMatrixCols=\count146 -\dotsspace@=\muskip11 -\c@parentequation=\count147 -\dspbrk@lvl=\count148 -\tag@help=\toks30 -\row@=\count149 -\column@=\count150 -\maxfields@=\count151 -\andhelp@=\toks31 -\eqnshift@=\dimen174 -\alignsep@=\dimen175 -\tagshift@=\dimen176 -\tagwidth@=\dimen177 -\totwidth@=\dimen178 -\lineht@=\dimen179 -\@envbody=\toks32 -\multlinegap=\skip52 -\multlinetaggap=\skip53 -\mathdisplay@stack=\toks33 -LaTeX Info: Redefining \[ on input line 2666. -LaTeX Info: Redefining \] on input line 2667. -) -(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2009/07/02 v2.20.1 -\thm@style=\toks34 -\thm@bodyfont=\toks35 -\thm@headfont=\toks36 -\thm@notefont=\toks37 -\thm@headpunct=\toks38 -\thm@preskip=\skip54 -\thm@postskip=\skip55 -\thm@headsep=\skip56 -\dth@everypar=\toks39 -) -\c@theorem=\count152 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasethemes.sty -Package: beamerbasethemes 2010/05/01 (rcs-revision efa082c6111d) -)) -(/usr/share/texmf/tex/latex/beamer/base/themes/theme/beamerthemedefault.sty -Package: beamerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) - -(/usr/share/texmf/tex/latex/beamer/base/themes/font/beamerfontthemedefault.sty -Package: beamerfontthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/color/beamercolorthemedefault.st -y -Package: beamercolorthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/inner/beamerinnerthemedefault.st -y -Package: beamerinnerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -\beamer@dima=\dimen180 -\beamer@dimb=\dimen181 -) -(/usr/share/texmf/tex/latex/beamer/base/themes/outer/beamerouterthemedefault.st -y -Package: beamerouterthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -))) -(/usr/share/texmf/tex/latex/beamer/base/themes/theme/beamerthemeHannover.sty -Package: beamerthemeHannover 2010/06/17 (rcs-revision d02a7cf4d8ae) - -(/usr/share/texmf/tex/latex/beamer/base/themes/outer/beamerouterthemesidebar.st -y -Package: beamerouterthemesidebar 2010/06/17 (rcs-revision d02a7cf4d8ae) -\beamer@sidebarwidth=\dimen182 -\beamer@headheight=\dimen183 -) -(/usr/share/texmf/tex/latex/beamer/base/themes/color/beamercolorthemeseahorse.s -ty -Package: beamercolorthemeseahorse 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/inner/beamerinnerthemecircles.st -y -Package: beamerinnerthemecircles 2010/06/17 (rcs-revision d02a7cf4d8ae) -)) (/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty -Package: stmaryrd 1994/03/03 St Mary's Road symbol package -\symstmry=\mathgroup6 -LaTeX Font Info: Overwriting symbol font `stmry' in version `bold' -(Font) U/stmry/m/n --> U/stmry/b/n on input line 89. -) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count153 -\lst@gtempboxa=\box53 -\lst@token=\toks40 -\lst@length=\count154 -\lst@currlwidth=\dimen184 -\lst@column=\count155 -\lst@pos=\count156 -\lst@lostspace=\dimen185 -\lst@width=\dimen186 -\lst@newlines=\count157 -\lst@lineno=\count158 -\lst@maxwidth=\dimen187 - -(/usr/share/texlive/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=\box54 -) -(/usr/share/texlive/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) - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `\\' on input line 14. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `\\' on input line 14. - -(./main.aux) -\openout1 = `main.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. - -*geometry* driver: auto-detecting -*geometry* detected driver: pdftex -*geometry* verbose mode - [ preamble ] result: -* driver: pdftex -* paper: custom -* layout: -* layoutoffset:(h,v)=(0.0pt,0.0pt) -* modes: includehead includefoot -* h-part:(L,W,R)=(59.22636pt, 290.74263pt, 14.22636pt) -* v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt) -* \paperwidth=364.19536pt -* \paperheight=273.14662pt -* \textwidth=290.74263pt -* \textheight=244.6939pt -* \oddsidemargin=-13.04362pt -* \evensidemargin=-13.04362pt -* \topmargin=-72.26999pt -* \headheight=14.22636pt -* \headsep=0.0pt -* \topskip=11.0pt -* \footskip=14.22636pt -* \marginparwidth=4.0pt -* \marginparsep=10.0pt -* \columnsep=10.0pt -* \skip\footins=10.0pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt -* \voffset=0.0pt -* \mag=1000 -* \@twocolumnfalse -* \@twosidefalse -* \@mparswitchfalse -* \@reversemarginfalse -* (1in=72.27pt=25.4mm, 1cm=28.453pt) - -(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count161 -\scratchdimen=\dimen188 -\scratchbox=\box55 -\nofMPsegments=\count162 -\nofMParguments=\count163 -\everyMPshowfont=\toks41 -\MPscratchCnt=\count164 -\MPscratchDim=\dimen189 -\MPnumerator=\count165 -\makeMPintoPDFobject=\count166 -\everyMPtoPDFconversion=\toks42 -) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2010/08/19 v1.1 Managing graphics extensions (HO) -) -Package grfext Info: Graphics extension search list: -(grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE -G,.JBIG2,.JB2,.eps] -(grfext) \AppendGraphicsExtensions on input line 452. - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -ABD: EveryShipout initializing macros -\AtBeginShipoutBox=\box56 -Package hyperref Info: Link coloring OFF on input line 25. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO) -) -\c@section@level=\count167 -) -LaTeX Info: Redefining \ref on input line 25. -LaTeX Info: Redefining \pageref on input line 25. -LaTeX Info: Redefining \nameref on input line 25. - -(./main.out) (./main.out) -\@outlinefile=\write5 -\openout5 = `main.out'. - -LaTeX Font Info: Overwriting symbol font `operators' in version `normal' -(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 25. -LaTeX Font Info: Overwriting symbol font `operators' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 25. -\symnumbers=\mathgroup7 -\sympureletters=\mathgroup8 -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' -(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 25. -LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' -(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' -(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/cmss/m/n on input line 25. -LaTeX Font Info: Redeclaring math alphabet \mathit on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' -(Font) OT1/cmr/m/it --> OT1/cmss/m/it on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/cmr/bx/it --> OT1/cmss/m/it on input line 25. -LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 25. -LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' -(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' -(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 25. - -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-basic-dicti -onary/translator-basic-dictionary-English.dict -Dictionary: translator-basic-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-bibliograph -y-dictionary/translator-bibliography-dictionary-English.dict -Dictionary: translator-bibliography-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-environment --dictionary/translator-environment-dictionary-English.dict -Dictionary: translator-environment-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-months-dict -ionary/translator-months-dictionary-English.dict -Dictionary: translator-months-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-numbers-dic -tionary/translator-numbers-dictionary-English.dict -Dictionary: translator-numbers-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-theorem-dic -tionary/translator-theorem-dictionary-English.dict -Dictionary: translator-theorem-dictionary, Language: English -) -\c@lstlisting=\count168 - (./main.nav) - -LaTeX Font Warning: Font shape `OT1/cmss/m/n' in size <4> not available -(Font) size <5> substituted on input line 29. - -[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} - -] (./main.toc) [2 - -] -LaTeX Font Info: Try loading font information for U+msa on input line 43. - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 43. - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2009/06/22 v3.00 AMS symbols B -) -LaTeX Font Info: Try loading font information for U+stmry on input line 43. - -(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) [3 - -] [4 - -] [5 - -] -[6 - -] -Overfull \vbox (3.29889pt too high) detected at line 85 - [] - -[7 - -] -Overfull \vbox (3.29889pt too high) detected at line 85 - [] - -[8 - -] -Overfull \vbox (3.29889pt too high) detected at line 85 - [] - -[9 - -] [10 - -] [11 - -] [12 - -] [13 - -] [14 - -] [15 - -] [16 - -] [17 - -] -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Display math should end with $$. - - \par -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: Bad math environment delimiter. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Display math should end with $$. - - \endgroup -l.209 \end{frame} - -? -[18 - -] -! Missing \right. inserted. - - \right . -l.224 \end{frame} - -? -[19 - -] -LaTeX Font Info: Try loading font information for OMS+cmss on input line 235 -. -LaTeX Font Info: No file OMScmss.fd. on input line 235. - - -LaTeX Font Warning: Font shape `OMS/cmss/m/n' undefined -(Font) using `OMS/cmsy/m/n' instead -(Font) for symbol `textbullet' on input line 235. - -[20 - -] [21 - -] - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Display math should end with $$. - - \par -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -[22 - -] [23 - -] [24 - -] -\tf@nav=\write6 -\openout6 = `main.nav'. - -\tf@toc=\write7 -\openout7 = `main.toc'. - -\tf@snm=\write8 -\openout8 = `main.snm'. - -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 290. -Package atveryend Info: Empty hook `AfterLastShipout' on input line 290. - (./main.aux) -Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 290. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 290. -Package rerunfilecheck Info: File `main.out' has not changed. -(rerunfilecheck) Checksum: E94E3D6C6BF25762D8770CEFEEDA9ABD;243. - - -LaTeX Font Warning: Size substitutions with differences -(Font) up to 1.0pt have occurred. - - -LaTeX Font Warning: Some font shapes were not available, defaults substituted. - - ) -Here is how much of TeX's memory you used: - 16886 strings out of 495065 - 308284 string characters out of 3182278 - 388893 words of memory out of 3000000 - 19614 multiletter control sequences out of 15000+200000 - 17230 words of font info for 65 fonts, out of 3000000 for 9000 - 14 hyphenation exceptions out of 8191 - 49i,15n,61p,393b,557s stack positions out of 5000i,500n,10000p,200000b,50000s - -Output written on main.pdf (24 pages, 172431 bytes). -PDF statistics: - 861 PDF objects out of 1000 (max. 8388607) - 809 compressed objects within 9 object streams - 54 named destinations out of 1000 (max. 500000) - 73 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/tex/presentation/main.nav b/tex/presentation/main.nav deleted file mode 100644 index da56414..0000000 --- a/tex/presentation/main.nav +++ /dev/null @@ -1,57 +0,0 @@ -\beamer@endinputifotherversion {3.10pt} -\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 {\sectionentry {1}{Example}{3}{Example}{0}} -\headcommand {\beamer@sectionpages {1}{2}} -\headcommand {\beamer@subsectionpages {1}{2}} -\headcommand {\slideentry {1}{0}{3}{3/3}{}{0}} -\headcommand {\beamer@framepages {3}{3}} -\headcommand {\sectionentry {2}{Definitions}{4}{Definitions}{0}} -\headcommand {\beamer@sectionpages {3}{3}} -\headcommand {\beamer@subsectionpages {3}{3}} -\headcommand {\slideentry {2}{0}{4}{4/6}{}{0}} -\headcommand {\beamer@framepages {4}{6}} -\headcommand {\slideentry {2}{0}{5}{7/9}{}{0}} -\headcommand {\beamer@framepages {7}{9}} -\headcommand {\slideentry {2}{0}{6}{10/10}{}{0}} -\headcommand {\beamer@framepages {10}{10}} -\headcommand {\slideentry {2}{0}{7}{11/11}{}{0}} -\headcommand {\beamer@framepages {11}{11}} -\headcommand {\sectionentry {3}{Max-strategies}{12}{Max-strategies}{0}} -\headcommand {\beamer@sectionpages {4}{11}} -\headcommand {\beamer@subsectionpages {4}{11}} -\headcommand {\slideentry {3}{0}{8}{12/12}{}{0}} -\headcommand {\beamer@framepages {12}{12}} -\headcommand {\slideentry {3}{0}{9}{13/15}{}{0}} -\headcommand {\beamer@framepages {13}{15}} -\headcommand {\sectionentry {4}{Bellman-Ford}{16}{Bellman-Ford}{0}} -\headcommand {\beamer@sectionpages {12}{15}} -\headcommand {\beamer@subsectionpages {12}{15}} -\headcommand {\slideentry {4}{0}{10}{16/16}{}{0}} -\headcommand {\beamer@framepages {16}{16}} -\headcommand {\slideentry {4}{0}{11}{17/17}{}{0}} -\headcommand {\beamer@framepages {17}{17}} -\headcommand {\slideentry {4}{0}{12}{18/18}{}{0}} -\headcommand {\beamer@framepages {18}{18}} -\headcommand {\slideentry {4}{0}{13}{19/19}{}{0}} -\headcommand {\beamer@framepages {19}{19}} -\headcommand {\sectionentry {5}{Max-strategy improvement}{20}{Max-strategy improvement}{0}} -\headcommand {\beamer@sectionpages {16}{19}} -\headcommand {\beamer@subsectionpages {16}{19}} -\headcommand {\slideentry {5}{0}{14}{20/20}{}{0}} -\headcommand {\beamer@framepages {20}{20}} -\headcommand {\slideentry {5}{0}{15}{21/21}{}{0}} -\headcommand {\beamer@framepages {21}{21}} -\headcommand {\slideentry {5}{0}{16}{22/22}{}{0}} -\headcommand {\beamer@framepages {22}{22}} -\headcommand {\slideentry {5}{0}{17}{23/23}{}{0}} -\headcommand {\beamer@framepages {23}{23}} -\headcommand {\slideentry {5}{0}{18}{24/24}{}{0}} -\headcommand {\beamer@framepages {24}{24}} -\headcommand {\beamer@partpages {1}{24}} -\headcommand {\beamer@subsectionpages {25}{24}} -\headcommand {\beamer@sectionpages {25}{24}} -\headcommand {\beamer@documentpages {24}} -\headcommand {\def \inserttotalframenumber {18}} diff --git a/tex/presentation/main.out b/tex/presentation/main.out deleted file mode 100644 index a8d896b..0000000 --- a/tex/presentation/main.out +++ /dev/null @@ -1,5 +0,0 @@ -\BOOKMARK [2][]{Outline0.1}{Example}{}% 1 -\BOOKMARK [2][]{Outline0.2}{Definitions}{}% 2 -\BOOKMARK [2][]{Outline0.3}{Max-strategies}{}% 3 -\BOOKMARK [2][]{Outline0.4}{Bellman-Ford}{}% 4 -\BOOKMARK [2][]{Outline0.5}{Max-strategy improvement}{}% 5 diff --git a/tex/presentation/main.snm b/tex/presentation/main.snm deleted file mode 100644 index e69de29..0000000 diff --git a/tex/presentation/main.tex b/tex/presentation/main.tex deleted file mode 100644 index 286e4a7..0000000 --- a/tex/presentation/main.tex +++ /dev/null @@ -1,290 +0,0 @@ -\documentclass{beamer} - -\usetheme{Hannover} -\usepackage{amsmath,stmaryrd,listings} - -\title{{\bf Static Analysis \\ through \\Abstract Interpretation, \\Convex Optimization, and\\ Strategy Iteration}} - -\author{ - {\bf Thomas Martin Gawlitza} - \\[3pt] - joint work with - \\[3pt] - {\bf Helmut Seidl} -} - -\newcommand\N{\mathbb{N}} -\newcommand\Z{\mathbb{Z}} -\newcommand\CZ{\overline{\Z}} - -\let\max\undefined -\newcommand\max{\lor} -\let\min\undefined -\newcommand\min{\land} - -\begin{document} - -\begin{frame} - \maketitle -\end{frame} - -\begin{frame} - \tableofcontents -\end{frame} - -\section{Example} -\begin{frame}{Example} - \begin{eqnarray*} - x_1 &=& 0 \max (-1 + x_1 \min x_2) \\ - x_2 &=& 0 \max 5 + x_1 \max x_1 \\ - x_3 &=& 0 \max 1 + x_3 \max 0 + x_1 - \end{eqnarray*} - -\end{frame} - -\section{Definitions} -\begin{frame}{Preliminary Definitions} - \begin{center} - Strange notation: \\ - $x \max y = \text{max}(x, y)$ \\ - $x \min y = \text{min}(x, y)$ \\ - \uncover<2->{ - \bigskip - {\bf Monotone:} $x \leq y \implies f(x) \leq f(y) ~~ \forall x,y$ - } - - \uncover<3->{ - \bigskip - {\bf Assignment:} $\rho$ is always a variable assignment (from $X \rightarrow \CZ$) - } - \end{center} -\end{frame} - -\begin{frame}{Systems of Equations} - \begin{align*} - \varepsilon = \{ x_1 = e_1, x_2 = e_2, ... x_n = e_n \} - \end{align*} - \uncover<2->{ - \begin{align*} - \text{\bf Solutions: } & \rho = \llbracket \varepsilon \rrbracket \rho \\ - \text{\bf Presolutions: } & \rho \leq \llbracket \varepsilon \rrbracket \rho \\ - \text{\bf Fixpoint: } & f(x) = x \\ - \text{\bf Least fixpoint: } & \mu f \\ - \end{align*} - } - \uncover<3->{ - {\bf Evaluation:} - $\text{with } \rho ~ \epsilon ~ Vars(\varepsilon) \rightarrow \CZ$ \\ - \begin{align*} - (\llbracket \varepsilon \rrbracket \rho)(x) & := \llbracket e \rrbracket \rho \\ - \llbracket x \rrbracket \rho & := \rho (x) \\ - \llbracket f(e_1, ... e_k) \rrbracket & := f(\llbracket e_1 \rrbracket \rho, - ... \llbracket e_k \rrbracket \rho) - \end{align*} - } -\end{frame} - -\begin{frame}{Operators on $\CZ$} - Working in $\CZ = \Z \cup \{\infty, -\infty\}$ - - \bigskip - \begin{displaymath} - x +^{-\infty} y = \left\{ \begin{array}{ll} - -\infty & \text{if } -\infty \in \{x,y\} \\ - \infty & \text{if } -\infty \not\in \{x,y\} \text{ and } \infty \in \{x,y\} \\ - x + y & \text{if } x,y \in \Z \\ - \end{array} \right. - \end{displaymath} - \begin{displaymath} - x +^{\infty} y = \left\{ \begin{array}{ll} - \infty & \text{if } \infty \in \{x,y\} \\ - -\infty & \text{if } \infty \not\in \{x,y\} \text{ and } -\infty \in \{x,y\} \\ - x + y & \text{if } x,y \in \Z \\ - \end{array} \right. - \end{displaymath} - \begin{displaymath} - \begin{array}{lr} - x \cdot \infty = \infty \cdot x = \infty, - x \cdot -\infty = -\infty \cdot x = -\infty - & \forall x > 0 \\ - x \cdot \infty = \infty \cdot x = -\infty, - x \cdot -\infty = -\infty \cdot x = \infty - & \forall x < 0 \\ - 0 \cdot \infty = \infty \cdot 0 = - 0 \cdot -\infty = -\infty \cdot 0 = 0 & - \end{array} - \end{displaymath} -\end{frame} - -\begin{frame}{Expansivity} - $f$ is upward-expansive in $X'$ iff - - \bigskip - \begin{center} - $f(\rho \oplus \{x \mapsto \rho(x) + \delta\}) \geq f(\rho) + \delta)$ - ~~ $\forall x \in X', \rho \in X \rightarrow \CZ, \delta \in \N$ - \end{center} -\end{frame} - -\section{Max-strategies} -\begin{frame}{Max-strategies} - Assume for every $x = e \in \varepsilon$, $e$ is of the - form $e_1 \max e_2 \max ... \max e_k$. - - Then a $\max$-$strategy$ $\sigma$ maps each $e$ to one of its $e_k$. - - \bigskip - For all $\max$ strategies $\sigma$ the expression $e\sigma$ is defined as: - \begin{align*} - (e_1 \max ... \max e_k)\sigma & = (\sigma(e_1 \max ... \max e_k))\sigma \\ - (f(e_1,...e_k))\sigma & = f(e_1\sigma, ..., e_k\sigma) - \end{align*} - where $f \not = \max$ -\end{frame} - -\begin{frame}{Max-strategies} - We may need to change strategy throughout our evaluation. - - Consider the system: $\varepsilon = \{x_1 = x_1 + 1 \max 0\}$. - - Let: - \begin{align*} - \sigma_1 & = \{x_1 + 1 \max 0 \mapsto x_1 + 1\} \\ - \sigma_2 & = \{x_1 + 1 \max 0 \mapsto 0\} - \end{align*} - - \uncover<2->{ - This gives us: - } - \begin{align*} - \uncover<2->{ - \mu \llbracket \varepsilon (\sigma_1) \rrbracket & = \{x_1 \mapsto -\infty\} \\ - \mu \llbracket \varepsilon (\sigma_2) \rrbracket & = \{x_1 \mapsto 0\} \\ - } - \uncover<3->{ - \mu \llbracket \varepsilon \rrbracket & = \{x_1 \mapsto \infty\} - } - \end{align*} -\end{frame} - -\section{Bellman-Ford} -\begin{frame}{BF-functions} - $X$ a set. A monotone $f: (X \rightarrow \CZ) \rightarrow CZ$ is called - a \emph{Bellman-Ford function} iff, $\forall \rho, \rho': X \rightarrow \CZ$ - with $\rho' \geq \rho$ the following holds: - - \bigskip - If $f(\rho') > f(\rho)$ then $\exists x \in X$ and some $\delta \in \CZ\setminus\{-\infty\}$ such that: - \begin{align*} - \rho'(x) & > \rho(x) \\ - f(\rho') & = \rho'(x) + \delta \\ - f(\rho'') & \geq \rho''(x) + \delta ~~ \forall \rho'' \geq \rho' - \end{align*} -\end{frame} - -\begin{frame}{A quick lemma} - Let $\varepsilon$ be a system of \emph{BF-equations} with $n$ variables. \\ - Let $\rho^{(i)} = \llbracket\varepsilon\rrbracket^i(\_ \mapsto -\infty) ~~ \forall i \in \N$. \\ - The following holds for every $x \in Vars(\varepsilon)$: \\ - If there exists some $k > n$ with $\rho^{(k)}(x) > \rho^{(n)}(x)$, then - $\mu\llbracket\varepsilon\rrbracket(x) = \infty$. -\end{frame} - -\begin{frame}{The algorithm} - ~ \\ - {\bf Input:} A system of BF-equations with $n$ variables \\ - {\bf Output:} The least solution $\mu\llbracket\varepsilon\rrbracket$ of \varepsilon \\ - \begin{displaymath} - ~ \\ - \rho \leftarrow (\_ \mapsto -\infty) \\ - {\bf for} i = 1 {\bf to} n {\bf do} \rho \leftarrow \llbracket\varepsilon\rrbracket\rho \\ - \rho \leftarrow \rho' \text{ where } \rho'(x) = \left\{ \begin{array}{ll} - \rho(x) & \text{if } (\llbracket\varepsilon\rrbracket\rho)(x) \leq \rho(x) \\ - \infty & \text{if } (\llbracket\varepsilon\rrbracket\rho)(x) > \rho(x) - \end{array} \right. \forall x \in X \\ - {\bf for} i = 1 {\bf to} n-1 {\bf do} \rho \leftarrow \rho \max \llbracket\varepsilon\rrbracket\rho \\ - {\bf return} \rho \\ - ~ - \end{displaymath} -\end{frame} - -\begin{frame}{Example} - \begin{align*} - x & = 1 \\ - y & = y + x \max -10 \\ - z & = x \cdot^+ y - \end{align*} - Where $\cdot^+$ is defined by: - \begin{displaymath} - x \cdot^+ y = \left\{ \begin{array}{l l} - x \cdot y & \text{if } x, y > 0 \\ - -\infty & \text{if } x \le 0 \text{ or } y \le 0 - \end{array} \forall x,y \in \CZ - \end{displaymath} -\end{frame} - -\section{Max-strategy improvement} -\begin{frame}{Max-strategy improvement} - {\bf General idea:} - \begin{itemize} - \item Pick a max-strategy - \item Perform fixpoint iteration - \item Improve strategy - \item Repeat until we have a solution - \end{itemize} -\end{frame} - -\begin{frame}{What is an improvement?} - If we have $\varepsilon$ a system of equations, $\sigma$ a $\max$-strategy - for $\varepsilon$ and $\rho$ a presolution of $\varepsilon(\sigma)$, then we - call a $\max$-strategy $\sigma'$ is called an improvement of $\sigma$ with - respect to $\rho$ iff: - \begin{itemize} - \item if $\rho \not \in {\bf Sol}(\varepsilon)$, then $\llbracket\varepsilon(\sigma')\rrbracket\rho > \rho$ - \item for all $\max$-expression $e \in S_{\max}(\varepsilon)$ the following holds: \\ - If $\sigma'(e) \not = \sigma(e)$, then $\llbracket e\sigma'\rrbracket\rho > \llbracket e\sigma\rrbracket\rho$ - \end{itemize} -\end{frame} - -\begin{frame}{Algorithm} - ~ \\ - {\bf Input:} - \begin{itemize} - \item A system $\varepsilon$ of monotone equations over a complete linearly ordered set \\ - \item A $\max$-strategy $\sigma_{init}$ for $\varepsilon$ \\ - \item A pre-solution $\rho_{init}$ of $\varepsilon(\sigma_{init})$ with $\rho_{init} \le \mu\llbracket\varepsilon\rrbracket$ - \end{itemize} - {\bf Output:} The least solution $\mu\llbracket\varepsilon\rrbracket$ of $\varepsilon$ - \begin{displaymath} - ~ \\ - \sigma \leftarrow \sigma_{init} \\ - \rho \leftarrow \rho_{init} \\ - \text{while }(\rho \not \in {\bf Sol}(\varepsilon)) \{ \\ - ~~~~ \sigma \leftarrow P_{\max}(\sigma, \rho) \\ - ~~~~ \rho \leftarrow \mu_{\ge\rho} \llbracket\varepsilon(\sigma)\rrbracket \\ - \} \\ - {\bf return} \rho - ~ - \end{displaymath} -\end{frame} - -\begin{frame}{Another related lemma} - Whenever the $\max$-strategy improvement algorithm terminates, it - returns the least solution $\mu\llbracket\varepsilon\rrbracket$. -\end{frame} - -\begin{frame}{Example} - \begin{align*} - x_1 & = 0 \max x_1 + x_2 - 4 \\ - x_2 & = -1 \max ((x_1 + 1 \max 2 \cdot x_2) \min 5) - \end{align*} -\end{frame} - -\section{Feasibility} - -\section{Extended Integer Equations} - -\section{Abstract Interpretation over Zones} - - -\end{document} diff --git a/tex/presentation/main.toc b/tex/presentation/main.toc deleted file mode 100644 index 8e24cc6..0000000 --- a/tex/presentation/main.toc +++ /dev/null @@ -1,6 +0,0 @@ -\beamer@endinputifotherversion {3.10pt} -\beamer@sectionintoc {1}{Example}{3}{0}{1} -\beamer@sectionintoc {2}{Definitions}{4}{0}{2} -\beamer@sectionintoc {3}{Max-strategies}{12}{0}{3} -\beamer@sectionintoc {4}{Bellman-Ford}{16}{0}{4} -\beamer@sectionintoc {5}{Max-strategy improvement}{20}{0}{5} diff --git a/tex/presentation/missfont.log b/tex/presentation/missfont.log deleted file mode 100644 index 0a253cb..0000000 --- a/tex/presentation/missfont.log +++ /dev/null @@ -1,213 +0,0 @@ -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont diff --git a/tex/presentation/slides.aux b/tex/presentation/slides.aux deleted file mode 100644 index ea1b3ad..0000000 --- a/tex/presentation/slides.aux +++ /dev/null @@ -1,104 +0,0 @@ -\relax -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\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{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\@writefile{toc}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/14}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {3}{14}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{15/15}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {15}{15}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{16/16}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{18/18}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{19/42}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {19}{42}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{43/43}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{44/44}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {44}{44}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{45/66}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {45}{66}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{67/72}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {67}{72}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{73/79}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {73}{79}}} -\bibstyle{apalike2} -\bibdata{bib} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{80/80}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {80}{80}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{80}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{80}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{80}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {80}}} -\@writefile{nav}{\headcommand {\def \inserttotalframenumber {13}}} diff --git a/tex/presentation/slides.log b/tex/presentation/slides.log deleted file mode 100644 index 519ab3c..0000000 --- a/tex/presentation/slides.log +++ /dev/null @@ -1,81732 +0,0 @@ -This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2012/dev/Debian) (format=pdflatex 2012.4.10) 11 APR 2012 15:41 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**slides.tex -(./slides.tex -LaTeX2e <2011/06/27> -Babel and hyphenation patterns for english, dumylang, nohyphenation, lo -aded. -(/usr/share/texmf/tex/latex/beamer/base/beamer.cls -(/usr/share/texmf/tex/latex/beamer/base/beamerbasercs.sty -Package: beamerbasercs 2010/06/12 (rcs-revision c3821710bb40) -) -Document Class: beamer 2010/06/21 development version 3.10 A class for typesett -ing presentations (rcs-revision a6b1a8434d30) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasemodes.sty -Package: beamerbasemodes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@tempbox=\box26 -\beamer@tempcount=\count79 -\c@beamerpauses=\count80 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasedecode.sty -Package: beamerbasedecode 2010/05/01 (rcs-revision efa082c6111d) -\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/tex/latex/beamer/base/beamerbaseoptions.sty -Package: beamerbaseoptions 2010/04/27 (rcs-revision 982469101dd6) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks14 -)) -\beamer@paperwidth=\skip42 -\beamer@paperheight=\skip43 - -(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty -Package: geometry 2010/09/12 v5.6 Page Geometry - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in PDF mode is detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2010/03/01 v1.5 Switches for detecting VTeX and its modes (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -\Gm@cnth=\count102 -\Gm@cntv=\count103 -\c@Gm@tempcnt=\count104 -\Gm@bindingoffset=\dimen119 -\Gm@wd@mp=\dimen120 -\Gm@odd@mp=\dimen121 -\Gm@even@mp=\dimen122 -\Gm@layoutwidth=\dimen123 -\Gm@layoutheight=\dimen124 -\Gm@layouthoffset=\dimen125 -\Gm@layoutvoffset=\dimen126 -\Gm@dimlist=\toks15 -) -(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo -File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option) -) -(/usr/share/texmf/tex/latex/pgf/basiclayer/pgfcore.sty -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 1999/03/16 v1.09 sin cos tan (DPC) -) -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg -File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live -) -Package graphics Info: Driver file: pdftex.def on input line 91. - -(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def -File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO) -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2011/04/18 v1.20 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count105 -)) -\Gin@req@height=\dimen127 -\Gin@req@width=\dimen128 -) -(/usr/share/texmf/tex/latex/pgf/systemlayer/pgfsys.sty -(/usr/share/texmf/tex/latex/pgf/utilities/pgfrcs.sty -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-common.tex -\pgfutil@everybye=\toks16 -) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-latex.def -\pgfutil@abb=\box34 - -(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty -Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) -)) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfrcs.code.tex -Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24) -)) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys.code.tex -Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37) - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex -\pgfkeys@pathtoks=\toks17 -\pgfkeys@temptoks=\toks18 - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex -\pgfkeys@tmptoks=\toks19 -)) -\pgf@x=\dimen129 -\pgf@y=\dimen130 -\pgf@xa=\dimen131 -\pgf@ya=\dimen132 -\pgf@xb=\dimen133 -\pgf@yb=\dimen134 -\pgf@xc=\dimen135 -\pgf@yc=\dimen136 -\w@pgf@writea=\write3 -\r@pgf@reada=\read1 -\c@pgf@counta=\count106 -\c@pgf@countb=\count107 -\c@pgf@countc=\count108 -\c@pgf@countd=\count109 - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgf.cfg -File: pgf.cfg 2008/05/14 (rcs-revision 1.7) -) -Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900. - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-pdftex.def -File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def -File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) -))) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex -File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) -\pgfsyssoftpath@smallbuffer@items=\count110 -\pgfsyssoftpath@bigbuffer@items=\count111 -) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex -File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) -)) -(/usr/share/texmf/tex/latex/xcolor/xcolor.sty -Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/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/tex/generic/pgf/basiclayer/pgfcore.code.tex -Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7) - -(/usr/share/texmf/tex/generic/pgf/math/pgfmath.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathcalc.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathutil.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathparser.code.tex -\pgfmath@dimen=\dimen137 -\pgfmath@count=\count112 -\pgfmath@box=\box35 -\pgfmath@toks=\toks20 -\pgfmath@stack@operand=\toks21 -\pgfmath@stack@operation=\toks22 -) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfloat.code.tex -\c@pgfmathroundto@lastzeros=\count113 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex -File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) -\pgf@picminx=\dimen138 -\pgf@picmaxx=\dimen139 -\pgf@picminy=\dimen140 -\pgf@picmaxy=\dimen141 -\pgf@pathminx=\dimen142 -\pgf@pathmaxx=\dimen143 -\pgf@pathminy=\dimen144 -\pgf@pathmaxy=\dimen145 -\pgf@xx=\dimen146 -\pgf@xy=\dimen147 -\pgf@yx=\dimen148 -\pgf@yy=\dimen149 -\pgf@zx=\dimen150 -\pgf@zy=\dimen151 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex -File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) -\pgf@path@lastx=\dimen152 -\pgf@path@lasty=\dimen153 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex -File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) -\pgf@shorten@end@additional=\dimen154 -\pgf@shorten@start@additional=\dimen155 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex -File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) -\pgfpic=\box36 -\pgf@hbox=\box37 -\pgf@layerbox@main=\box38 -\pgf@picture@serial@count=\count114 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex -File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) -\pgflinewidth=\dimen156 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex -File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) -\pgf@pt@x=\dimen157 -\pgf@pt@y=\dimen158 -\pgf@pt@temp=\dimen159 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorequick.code.tex -File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex -File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex -File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex -File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex -File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) -\pgf@max=\dimen160 -\pgf@sys@shading@range@num=\count115 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex -File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) - -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex -File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17) -\pgfexternal@startupbox=\box39 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex -File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex -File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex -File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) -))) -(/usr/share/texmf/tex/latex/pgf/utilities/xxcolor.sty -Package: xxcolor 2003/10/24 ver 0.1 -\XC@nummixins=\count116 -\XC@countmixins=\count117 -) -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2012/02/06 v6.82o Hypertext links for LaTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2011/04/23 v1.4 Bundle oberdiek, subset hyperref (HO) - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2011/04/23 v1.4 Bundle oberdiek, subset generic (HO) -Package: hobsub 2011/04/23 v1.4 Subsetting bundle oberdiek (HO) -Package hobsub Info: Skipping package `infwarerr' (already loaded). -Package hobsub Info: Skipping package `ltxcmds' (already loaded). -Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -Package hobsub Info: Skipping package `ifvtex' (already loaded). -Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) -Package hobsub Info: Skipping package `ifpdf' (already loaded). -Package: etexcmds 2011/02/16 v1.5 Prefix for e-TeX command names (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. -Package: kvsetkeys 2011/04/07 v1.13 Key value parser (HO) -Package: kvdefinekeys 2011/04/07 v1.3 Defining keys (HO) -Package: pdftexcmds 2011/04/22 v0.16 Utilities of pdfTeX for LuaTeX (HO) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -Package: pdfescape 2011/04/04 v1.12 Provides string conversions (HO) -Package: bigintcalc 2011/01/30 v1.2 Expandable big integer calculations (HO) -Package: bitset 2011/01/30 v1.1 Data type bit set (HO) -Package: uniquecounter 2011/01/30 v1.2 Provides unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO) -Package: hopatch 2011/01/30 v1.0 Wrapper for package hooks (HO) -Package: xcolor-patch 2011/01/30 xcolor patch -Package: atveryend 2011/04/23 v1.7 Hooks at very end of document (HO) -Package: atbegshi 2011/01/30 v1.15 At begin shipout hook (HO) -Package: refcount 2010/12/01 v3.2 Data extraction from references (HO) -Package: hycolor 2011/01/30 v1.7 Color options of hyperref/bookmark (HO) -) -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2010/12/23 v3.10 Keyval support for LaTeX options (HO) -) -\@linkdim=\dimen161 -\Hy@linkcounter=\count118 -\Hy@pagecounter=\count119 - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2012/02/06 v6.82o Hyperref: PDFDocEncoding definition (HO) -) -\Hy@SavedSpaceFactor=\count120 - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Option `bookmarks' set `true' on input line 3925. -Package hyperref Info: Option `bookmarksopen' set `true' on input line 3925. -Package hyperref Info: Option `implicit' set `false' on input line 3925. -Package hyperref Info: Hyper figures OFF on input line 4046. -Package hyperref Info: Link nesting OFF on input line 4051. -Package hyperref Info: Hyper index ON on input line 4054. -Package hyperref Info: Plain pages OFF on input line 4061. -Package hyperref Info: Backreferencing OFF on input line 4066. -Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals. -Package hyperref Info: Bookmarks ON on input line 4284. -\c@Hy@tempcnt=\count121 - -(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip10 -Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 4637. -\Fld@menulength=\count122 -\Field@Width=\dimen162 -\Fld@charsize=\dimen163 -Package hyperref Info: Hyper figures OFF on input line 5757. -Package hyperref Info: Link nesting OFF on input line 5762. -Package hyperref Info: Hyper index ON on input line 5765. -Package hyperref Info: backreferencing OFF on input line 5772. -Package hyperref Info: Link coloring OFF on input line 5777. -Package hyperref Info: Link coloring with OCG OFF on input line 5782. -Package hyperref Info: PDF/A mode OFF on input line 5787. -LaTeX Info: Redefining \ref on input line 5827. -LaTeX Info: Redefining \pageref on input line 5831. -\Hy@abspage=\count123 - - -Package hyperref Message: Stopped early. - -) - -Package hyperref Message: Driver (autodetected): hpdftex. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2012/02/06 v6.82o Hyperref driver for pdfTeX -\Fld@listcount=\count124 -\c@bookmark@seq@number=\count125 - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -82. -)) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaserequires.sty -Package: beamerbaserequires 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecompatibility.sty -Package: beamerbasecompatibility 2010/07/12 (rcs-revision 6648c3177e4e) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasefont.sty -Package: beamerbasefont 2010/05/10 (rcs-revision cd36e8a33c6b) - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2009/06/22 v3.00 - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support -\@emptytoks=\toks23 -\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 96. -))) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetranslator.sty -Package: beamerbasetranslator 2010/06/11 (rcs-revision 85fd1cc7fc42) - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator.sty -Package: translator 2010/06/12 ver 1.10 - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator-language-mappings -.tex))) (/usr/share/texmf/tex/latex/beamer/base/beamerbasemisc.sty -Package: beamerbasemisc 2010/06/06 (rcs-revision bff0a9294b45) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetwoscreens.sty -Package: beamerbasetwoscreens 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseoverlay.sty -Package: beamerbaseoverlay 2010/05/07 (rcs-revision 5584dad462a9) -\beamer@argscount=\count126 -\beamer@lastskipcover=\skip44 -\beamer@trivlistdepth=\count127 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetitle.sty -Package: beamerbasetitle 2010/06/12 (rcs-revision 717e481ca47a) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasesection.sty -Package: beamerbasesection 2010/06/17 (rcs-revision e0d9401bb743) -\c@lecture=\count128 -\c@part=\count129 -\c@section=\count130 -\c@subsection=\count131 -\c@subsubsection=\count132 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframe.sty -Package: beamerbaseframe 2010/06/06 (rcs-revision bff0a9294b45) -\beamer@framebox=\box40 -\beamer@frametitlebox=\box41 -\beamer@zoombox=\box42 -\beamer@zoomcount=\count133 -\beamer@zoomframecount=\count134 -\beamer@frametextheight=\dimen164 -\c@subsectionslide=\count135 -\beamer@frametopskip=\skip45 -\beamer@framebottomskip=\skip46 -\beamer@frametopskipautobreak=\skip47 -\beamer@framebottomskipautobreak=\skip48 -\beamer@envbody=\toks24 -\c@framenumber=\count136 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseverbatim.sty -Package: beamerbaseverbatim 2010/05/01 (rcs-revision efa082c6111d) -\beamer@verbatimfileout=\write4 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframesize.sty -Package: beamerbaseframesize 2010/06/27 (rcs-revision 6baa2d92e6f1) -\beamer@splitbox=\box43 -\beamer@autobreakcount=\count137 -\beamer@autobreaklastheight=\dimen165 -\beamer@frametitletoks=\toks25 -\beamer@framesubtitletoks=\toks26 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframecomponents.sty -Package: beamerbaseframecomponents 2010/07/12 (rcs-revision 09e82992d9b1) -\beamer@footins=\box44 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecolor.sty -Package: beamerbasecolor 2010/06/06 (rcs-revision d1a9b48be06d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenotes.sty -Package: beamerbasenotes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@frameboxcopy=\box45 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetoc.sty -Package: beamerbasetoc 2010/06/11 (rcs-revision 242ecaa6783b) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetemplates.sty -Package: beamerbasetemplates 2010/05/01 (rcs-revision efa082c6111d) -\beamer@sbttoks=\toks27 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseauxtemplates.sty -Package: beamerbaseauxtemplates 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseboxes.sty -Package: beamerbaseboxes 2010/05/01 (rcs-revision efa082c6111d) -\bmb@box=\box46 -\bmb@colorbox=\box47 -\bmb@boxshadow=\box48 -\bmb@boxshadowball=\box49 -\bmb@boxshadowballlarge=\box50 -\bmb@temp=\dimen166 -\bmb@dima=\dimen167 -\bmb@dimb=\dimen168 -\bmb@prevheight=\dimen169 -) -\beamer@blockheadheight=\dimen170 -)) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaselocalstructure.sty -Package: beamerbaselocalstructure 2010/06/01 (rcs-revision 81f9e33f7cc2) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty -Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) -\@enLab=\toks28 -) -\c@figure=\count138 -\c@table=\count139 -\abovecaptionskip=\skip49 -\belowcaptionskip=\skip50 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenavigation.sty -Package: beamerbasenavigation 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetheorems.sty -Package: beamerbasetheorems 2010/06/06 (rcs-revision 7e7cc5e53e9d) - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2000/07/18 v2.13 AMS math features -\@mathmargin=\skip51 - -For additional information on amsmath, use the `?' option. -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 -\@emptytoks=\toks29 -\ex@=\dimen171 -)) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d -\pmbraise@=\dimen172 -) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 1999/12/14 v2.01 operator names -) -\inf@bad=\count140 -LaTeX Info: Redefining \frac on input line 211. -\uproot@=\count141 -\leftroot@=\count142 -LaTeX Info: Redefining \overline on input line 307. -\classnum@=\count143 -\DOTSCASE@=\count144 -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@=\box51 -\strutbox@=\box52 -\big@size=\dimen173 -LaTeX Font Info: Redeclaring font encoding OML on input line 567. -LaTeX Font Info: Redeclaring font encoding OMS on input line 568. -\macc@depth=\count145 -\c@MaxMatrixCols=\count146 -\dotsspace@=\muskip11 -\c@parentequation=\count147 -\dspbrk@lvl=\count148 -\tag@help=\toks30 -\row@=\count149 -\column@=\count150 -\maxfields@=\count151 -\andhelp@=\toks31 -\eqnshift@=\dimen174 -\alignsep@=\dimen175 -\tagshift@=\dimen176 -\tagwidth@=\dimen177 -\totwidth@=\dimen178 -\lineht@=\dimen179 -\@envbody=\toks32 -\multlinegap=\skip52 -\multlinetaggap=\skip53 -\mathdisplay@stack=\toks33 -LaTeX Info: Redefining \[ on input line 2666. -LaTeX Info: Redefining \] on input line 2667. -) -(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2009/07/02 v2.20.1 -\thm@style=\toks34 -\thm@bodyfont=\toks35 -\thm@headfont=\toks36 -\thm@notefont=\toks37 -\thm@headpunct=\toks38 -\thm@preskip=\skip54 -\thm@postskip=\skip55 -\thm@headsep=\skip56 -\dth@everypar=\toks39 -) -\c@theorem=\count152 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasethemes.sty -Package: beamerbasethemes 2010/05/01 (rcs-revision efa082c6111d) -)) -(/usr/share/texmf/tex/latex/beamer/base/themes/theme/beamerthemedefault.sty -Package: beamerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) - -(/usr/share/texmf/tex/latex/beamer/base/themes/font/beamerfontthemedefault.sty -Package: beamerfontthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/color/beamercolorthemedefault.st -y -Package: beamercolorthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/inner/beamerinnerthemedefault.st -y -Package: beamerinnerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -\beamer@dima=\dimen180 -\beamer@dimb=\dimen181 -) -(/usr/share/texmf/tex/latex/beamer/base/themes/outer/beamerouterthemedefault.st -y -Package: beamerouterthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -))) -! Undefined control sequence. -l.3 \newcommandx - {\bf x} -? - -! LaTeX Error: Missing \begin{document}. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.3 \newcommandx{\bf x - } -? -! Undefined control sequence. -l.4 \newcommandy - {\bf y} -? -(/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty -Package: makeidx 2000/03/29 v1.0m Standard LaTeX package -) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count153 -\lst@gtempboxa=\box53 -\lst@token=\toks40 -\lst@length=\count154 -\lst@currlwidth=\dimen182 -\lst@column=\count155 -\lst@pos=\count156 -\lst@lostspace=\dimen183 -\lst@width=\dimen184 -\lst@newlines=\count157 -\lst@lineno=\count158 -\lst@maxwidth=\dimen185 - -(/usr/share/texlive/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=\box54 -) -(/usr/share/texlive/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/texlive/texmf-dist/tex/latex/colortbl/colortbl.sty -Package: colortbl 2012/02/13 v1.0a Color table columns (DPC) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty -Package: array 2008/09/09 v2.4c Tabular extension package (FMi) -\col@sep=\dimen186 -\extrarowheight=\dimen187 -\NC@list=\toks41 -\extratabsurround=\skip57 -\backup@length=\skip58 -) -\everycr=\toks42 -\minrowclearance=\skip59 -) -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/helvet.sty -Package: helvet 2005/04/12 PSNFSS-v9.2a (WaS) -) -(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) -) -(/usr/share/texmf/tex/latex/pgf/frontendlayer/tikz.sty -(/usr/share/texmf/tex/latex/pgf/basiclayer/pgf.sty -Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12) - -(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleshapes.code.tex -File: pgfmoduleshapes.code.tex 2010/09/09 (rcs-revision 1.13) -\pgfnodeparttextbox=\box55 -) -(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleplot.code.tex -File: pgfmoduleplot.code.tex 2010/10/22 (rcs-revision 1.8) -) -(/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty -Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7) -\pgf@nodesepstart=\dimen188 -\pgf@nodesepend=\dimen189 -) -(/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty -Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1) -)) -(/usr/share/texmf/tex/latex/pgf/utilities/pgffor.sty -(/usr/share/texmf/tex/latex/pgf/utilities/pgfkeys.sty -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex)) -(/usr/share/texmf/tex/generic/pgf/utilities/pgffor.code.tex -Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18) -\pgffor@iter=\dimen190 -\pgffor@skip=\dimen191 -\pgffor@stack=\toks43 -\pgffor@toks=\toks44 -)) -(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex -Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76) - -(/usr/share/texmf/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex -File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15) -\pgf@plot@mark@count=\count161 -\pgfplotmarksize=\dimen192 -) -\tikz@lastx=\dimen193 -\tikz@lasty=\dimen194 -\tikz@lastxsaved=\dimen195 -\tikz@lastysaved=\dimen196 -\tikzleveldistance=\dimen197 -\tikzsiblingdistance=\dimen198 -\tikz@figbox=\box56 -\tikz@tempbox=\box57 -\tikztreelevel=\count162 -\tikznumberofchildren=\count163 -\tikznumberofcurrentchild=\count164 -\tikz@fig@count=\count165 - -(/usr/share/texmf/tex/generic/pgf/modules/pgfmodulematrix.code.tex -File: pgfmodulematrix.code.tex 2010/08/24 (rcs-revision 1.4) -\pgfmatrixcurrentrow=\count166 -\pgfmatrixcurrentcolumn=\count167 -\pgf@matrix@numberofcolumns=\count168 -) -\tikz@expandcount=\count169 - -(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopat -hs.code.tex -File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2) -))) (/usr/share/texmf/tex/latex/pgf/utilities/pgfpages.sty -Package: pgfpages 2004/11/05 ver 0.01 - -(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty -Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ) -\calc@Acount=\count170 -\calc@Bcount=\count171 -\calc@Adimen=\dimen199 -\calc@Bdimen=\dimen200 -\calc@Askip=\skip60 -\calc@Bskip=\skip61 -LaTeX Info: Redefining \setlength on input line 76. -LaTeX Info: Redefining \addtolength on input line 77. -\calc@Ccount=\count172 -\calc@Cskip=\skip62 -) -\pgf@logicalpages=\count173 -\pgf@firstshipout=\count174 -\pgf@lastshipout=\count175 -\pgf@currentshipout=\count176 -\pgf@cpn=\count177 -\pgf@shipoutnextto=\count178 -\pgfphysicalheight=\dimen201 -\pgfphysicalwidth=\dimen202 -\pgfpages@shipoutbox=\box58 -) (./slides.aux) -\openout1 = `slides.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Try loading font information for OT1+phv on input line 8. - -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd -File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv. -) -! Font OT1/phv/m/n/10.95=phvr7t at 10.95pt not loadable: Metric (TFM) file not -found. - - relax -l.8 \begin{document} - -? -*geometry* driver: auto-detecting -*geometry* detected driver: pdftex -*geometry* verbose mode - [ preamble ] result: -* driver: pdftex -* paper: custom -* layout: -* layoutoffset:(h,v)=(0.0pt,0.0pt) -* modes: includehead includefoot -* h-part:(L,W,R)=(28.45274pt, 307.28987pt, 28.45274pt) -* v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt) -* \paperwidth=364.19536pt -* \paperheight=273.14662pt -* \textwidth=307.28987pt -* \textheight=244.6939pt -* \oddsidemargin=-43.81725pt -* \evensidemargin=-43.81725pt -* \topmargin=-72.26999pt -* \headheight=14.22636pt -* \headsep=0.0pt -* \topskip=11.0pt -* \footskip=14.22636pt -* \marginparwidth=4.0pt -* \marginparsep=10.0pt -* \columnsep=10.0pt -* \skip\footins=10.0pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt -* \voffset=0.0pt -* \mag=1000 -* \@twocolumnfalse -* \@twosidefalse -* \@mparswitchfalse -* \@reversemarginfalse -* (1in=72.27pt=25.4mm, 1cm=28.453pt) - -(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count179 -\scratchdimen=\dimen203 -\scratchbox=\box59 -\nofMPsegments=\count180 -\nofMParguments=\count181 -\everyMPshowfont=\toks45 -\MPscratchCnt=\count182 -\MPscratchDim=\dimen204 -\MPnumerator=\count183 -\makeMPintoPDFobject=\count184 -\everyMPtoPDFconversion=\toks46 -) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2010/08/19 v1.1 Managing graphics extensions (HO) -) -Package grfext Info: Graphics extension search list: -(grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE -G,.JBIG2,.JB2,.eps] -(grfext) \AppendGraphicsExtensions on input line 452. - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -ABD: EveryShipout initializing macros -\AtBeginShipoutBox=\box60 -Package hyperref Info: Link coloring OFF on input line 8. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO) -) -\c@section@level=\count185 -) -LaTeX Info: Redefining \ref on input line 8. -LaTeX Info: Redefining \pageref on input line 8. -LaTeX Info: Redefining \nameref on input line 8. - -(./slides.out) (./slides.out) -\@outlinefile=\write5 -\openout5 = `slides.out'. - -LaTeX Font Info: Overwriting symbol font `operators' in version `normal' -(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 8. -LaTeX Font Info: Overwriting symbol font `operators' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 8. -\symnumbers=\mathgroup6 -\sympureletters=\mathgroup7 -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' -(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 8. -LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' -(Font) OT1/cmr/bx/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' -(Font) OT1/cmss/m/n --> OT1/phv/m/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/phv/m/n on input line 8. -LaTeX Font Info: Redeclaring math alphabet \mathit on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' -(Font) OT1/cmr/m/it --> OT1/phv/m/it on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/cmr/bx/it --> OT1/phv/m/it on input line 8. -LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 8. -LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' -(Font) OT1/phv/m/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' -(Font) OT1/phv/m/it --> OT1/phv/bx/it on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/phv/bx/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/phv/m/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/phv/m/it --> OT1/phv/bx/it on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 8. - -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-basic-dicti -onary/translator-basic-dictionary-English.dict -Dictionary: translator-basic-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-bibliograph -y-dictionary/translator-bibliography-dictionary-English.dict -Dictionary: translator-bibliography-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-environment --dictionary/translator-environment-dictionary-English.dict -Dictionary: translator-environment-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-months-dict -ionary/translator-months-dictionary-English.dict -Dictionary: translator-months-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-numbers-dic -tionary/translator-numbers-dictionary-English.dict -Dictionary: translator-numbers-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-theorem-dic -tionary/translator-theorem-dictionary-English.dict -Dictionary: translator-theorem-dictionary, Language: English -) -\c@lstlisting=\count186 - (./slides.nav) -! Font OT1/phv/m/n/6=phvr7t at 6.0pt not loadable: Metric (TFM) file not found. - - relax -l.8 \begin{document} - -? -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <10.95> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 37. -! Font OT1/phv/bx/n/10.95=phvb7t at 10.95pt not loadable: Metric (TFM) file not - found. - - relax -l.37 \end{frame} - -? -! Font \OT1/phv/b/n/10.95=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.37 \end{frame} - -? -Missing character: There is no G in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no : in font nullfont! -LaTeX Font Info: Font shape `OT1/phv/bx/it' in size <10.95> not available -(Font) Font shape `OT1/phv/b/it' tried instead on input line 37. -LaTeX Font Info: Font shape `OT1/phv/b/it' in size <10.95> not available -(Font) Font shape `OT1/phv/b/sl' tried instead on input line 37. -! Font OT1/phv/bx/it/10.95=phvbo7t at 10.95pt not loadable: Metric (TFM) file n -ot found. - - relax -l.37 \end{frame} - -? -! Font \OT1/phv/b/sl/10.95=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.37 \end{frame} - -? -! Font \OT1/phv/b/sl/10.95=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.37 \end{frame} - -? -Missing character: There is no T in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no d in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no p in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no ( in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no k in font nullfont! -Missing character: There is no e in font nullfont! -LaTeX Font Info: Try loading font information for U+msa on input line 37. -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 37. - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2009/06/22 v3.00 AMS symbols B -) -! Font OT1/phv/m/n/8=phvr7t at 8.0pt not loadable: Metric (TFM) file not found. - - relax -l.37 \end{frame} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <10.95> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 37. -! Font OT1/phv/m/it/10.95=phvro7t at 10.95pt not loadable: Metric (TFM) file no -t found. - - relax -l.37 \end{frame} - -? -! Font OT1/phv/m/sl/10.95=nullfont not loadable: Metric (TFM) file not found. - - relax -l.37 \end{frame} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <8> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 37. -! Font OT1/phv/m/it/8=phvro7t at 8.0pt not loadable: Metric (TFM) file not foun -d. - - relax -l.37 \end{frame} - -? -! Font OT1/phv/m/sl/8=nullfont not loadable: Metric (TFM) file not found. - - relax -l.37 \end{frame} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <6> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 37. -! Font OT1/phv/m/it/6=phvro7t at 6.0pt not loadable: Metric (TFM) file not foun -d. - - relax -l.37 \end{frame} - -? -! Font OT1/phv/m/sl/6=nullfont not loadable: Metric (TFM) file not found. - - relax -l.37 \end{frame} - -? -! \textfont 7 is undefined (character x). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \scriptfont 6 is undefined (character 1). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 6 is undefined (character 4). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 6 is undefined (character 2). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 7 is undefined (character x). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \scriptfont 6 is undefined (character 2). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 6 is undefined (character 1). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 6 is undefined (character 3). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -Missing character: There is no ) in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no w in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no , in font nullfont! -Missing character: There is no w in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no - in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no x in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no m in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no , in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no . in font nullfont! -Missing character: There is no D in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no : in font nullfont! -Missing character: There is no I in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no m in font nullfont! -! \scriptfont 7 is undefined (character x). -