diff --git a/slides.aux b/slides.aux
deleted file mode 100644
index 15c60cf97ceebc039c96f21dbc9d5ba68dafb960..0000000000000000000000000000000000000000
--- a/slides.aux
+++ /dev/null
@@ -1,117 +0,0 @@
-\relax
-\providecommand\hyper@newdestlabel[2]{}
-\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]{}
-\providecommand\HyField@AuxAddToCoFields[2]{}
-\providecommand \oddpage@label [2]{}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
-\newlabel{toc<1>}{{2}{3}{}{Doc-Start}{}}
-\@writefile{snm}{\beamer@slide {toc<1>}{2}}
-\newlabel{toc}{{2}{3}{}{Doc-Start}{}}
-\@writefile{snm}{\beamer@slide {toc}{2}}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}}
-\@writefile{toc}{\beamer@sectionintoc {1}{Experimentation From a Software Point of View}{3}{0}{1}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{2}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{2}}}
-\@writefile{nav}{\headcommand {\sectionentry {1}{Experimentation From a Software Point of View}{3}{Experimentation From a Software Point of View}{0}}}
-\@writefile{nav}{\headcommand {\slideentry {1}{0}{1}{3/3}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}}
-\@writefile{nav}{\headcommand {\slideentry {1}{0}{2}{4/4}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {4}{4}}}
-\@writefile{toc}{\beamer@sectionintoc {2}{Nix}{5}{0}{2}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {3}{4}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {3}{4}}}
-\@writefile{nav}{\headcommand {\sectionentry {2}{Nix}{5}{Nix}{0}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{0}{1}{5/6}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {5}{6}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{0}{2}{7/7}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {7}{7}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{0}{3}{8/8}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {8}{8}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{0}{4}{9/10}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {9}{10}}}
-\@writefile{toc}{\beamer@subsectionintoc {2}{1}{Expression Language}{11}{0}{2}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {5}{10}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{2}{1}{11}{Expression Language}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{1}{1}{11/11}{Expression Language}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{1}{2}{12/12}{Expression Language}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {12}{12}}}
-\@writefile{toc}{\beamer@subsectionintoc {2}{2}{Package Manager}{13}{0}{2}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {11}{12}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{2}{2}{13}{Package Manager}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{2}{1}{13/13}{Package Manager}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {13}{13}}}
-\@writefile{toc}{\beamer@sectionintoc {3}{Nix Structure}{14}{0}{3}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {5}{13}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {13}{13}}}
-\@writefile{nav}{\headcommand {\sectionentry {3}{Nix Structure}{14}{Nix Structure}{0}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{14/14}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {14}{14}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{2}{15/17}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {15}{17}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{3}{18/18}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{4}{19/19}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {19}{19}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{5}{20/20}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {20}{20}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{6}{21/21}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{7}{22/22}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {22}{22}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{8}{23/23}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {23}{23}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{9}{24/25}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {24}{25}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{10}{26/26}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {26}{26}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{11}{27/27}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{12}{28/28}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {28}{28}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{13}{29/29}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {29}{29}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{14}{30/30}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {30}{30}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{15}{31/31}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {31}{31}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{16}{32/32}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {32}{32}}}
-\global\@namedef{mainendframenumber}{27}
-\@writefile{nav}{\headcommand {\gdef \insertmainframenumber {27}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{17}{33/33}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {33}{33}}}
-\@writefile{nav}{\headcommand {\partentry {\translate {Appendix}}{1}}}
-\@writefile{nav}{\headcommand {\beamer@partpages {1}{33}}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {14}{33}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {14}{33}}}
-\@writefile{nav}{\headcommand {\beamer@appendixpages {34}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{18}{34/34}{}{1}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {34}{34}}}
-\@writefile{nav}{\headcommand {\beamer@partpages {34}{35}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {34}{35}}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {34}{35}}}
-\@writefile{nav}{\headcommand {\beamer@documentpages {35}}}
-\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {2}}}
-\global\@namedef{appendixtotalframenumber}{2}
-\global\@namedef{inserttotalframenumber}{27}
-\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {27}}}
-\@writefile{nav}{\headcommand {\gdef \appendixtotalframenumber {2}}}
-\@writefile{nav}{\headcommand {\slideentry {3}{0}{19}{35/35}{}{1}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {35}{35}}}
diff --git a/slides.log b/slides.log
deleted file mode 100644
index 466a2522416ea1b7cee96fd14db928d9099df366..0000000000000000000000000000000000000000
--- a/slides.log
+++ /dev/null
@@ -1,2312 +0,0 @@
-This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018/NixOS.org) (preloaded format=pdflatex 2019.6.20) 26 JUN 2019 08:08
-entering extended mode
- restricted \write18 enabled.
- %&-line parsing enabled.
-**\nonstopmode \input{slides.tex}
-(./slides.tex
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamer.cls
-Document Class: beamer 2018/12/02 v3.55 A class for typesetting presentations
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasemodes.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/etoolbox/etoolbox.sty
-Package: etoolbox 2018/08/19 v2.5f e-TeX tools for LaTeX (JAW)
-\etb@tempcnta=\count80
-)
-\beamer@tempbox=\box27
-\beamer@tempcount=\count81
-\c@beamerpauses=\count82
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasedecode.sty
-\beamer@slideinframe=\count83
-\beamer@minimum=\count84
-)
-\beamer@commentbox=\box28
-\beamer@modecount=\count85
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/oberdiek/ifpdf.sty
-Package: ifpdf 2018/09/07 v3.3 Provides the ifpdf switch
-)
-\headdp=\dimen102
-\footheight=\dimen103
-\sidebarheight=\dimen104
-\beamer@tempdim=\dimen105
-\beamer@finalheight=\dimen106
-\beamer@animht=\dimen107
-\beamer@animdp=\dimen108
-\beamer@animwd=\dimen109
-\beamer@leftmargin=\dimen110
-\beamer@rightmargin=\dimen111
-\beamer@leftsidebar=\dimen112
-\beamer@rightsidebar=\dimen113
-\beamer@boxsize=\dimen114
-\beamer@vboxoffset=\dimen115
-\beamer@descdefault=\dimen116
-\beamer@descriptionwidth=\dimen117
-\beamer@lastskip=\skip41
-\beamer@areabox=\box29
-\beamer@animcurrent=\box30
-\beamer@animshowbox=\box31
-\beamer@sectionbox=\box32
-\beamer@logobox=\box33
-\beamer@linebox=\box34
-\beamer@sectioncount=\count86
-\beamer@subsubsectionmax=\count87
-\beamer@subsectionmax=\count88
-\beamer@sectionmax=\count89
-\beamer@totalheads=\count90
-\beamer@headcounter=\count91
-\beamer@partstartpage=\count92
-\beamer@sectionstartpage=\count93
-\beamer@subsectionstartpage=\count94
-\beamer@animationtempa=\count95
-\beamer@animationtempb=\count96
-\beamer@xpos=\count97
-\beamer@ypos=\count98
-\beamer@ypos@offset=\count99
-\beamer@showpartnumber=\count100
-\beamer@currentsubsection=\count101
-\beamer@coveringdepth=\count102
-\beamer@sectionadjust=\count103
-\beamer@tocsectionnumber=\count104
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaseoptions.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/graphics/keyval.sty
-Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
-\KV@toks@=\toks14
-))
-\beamer@paperwidth=\skip42
-\beamer@paperheight=\skip43
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/geometry/geometry.sty
-Package: geometry 2018/04/16 v5.8 Page Geometry
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/oberdiek/ifvtex.sty
-Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO)
-Package ifvtex Info: VTeX not detected.
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/ifxetex/ifxetex.sty
-Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
-)
-\Gm@cnth=\count105
-\Gm@cntv=\count106
-\c@Gm@tempcnt=\count107
-\Gm@bindingoffset=\dimen118
-\Gm@wd@mp=\dimen119
-\Gm@odd@mp=\dimen120
-\Gm@even@mp=\dimen121
-\Gm@layoutwidth=\dimen122
-\Gm@layoutheight=\dimen123
-\Gm@layouthoffset=\dimen124
-\Gm@layoutvoffset=\dimen125
-\Gm@dimlist=\toks15
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/base/size11.clo
-File: size11.clo 2018/09/03 v1.4i Standard LaTeX file (size option)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/basiclayer/pgfcore.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/graphics/graphicx.sty
-Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/graphics/graphics.sty
-Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/graphics/trig.sty
-Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/graphics-cfg/graphics.cfg
-File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
-)
-Package graphics Info: Driver file: pdftex.def on input line 99.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/graphics-def/pdftex.def
-File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex
-))
-\Gin@req@height=\dimen126
-\Gin@req@width=\dimen127
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/systemlayer/pgfsys.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/utilities/pgfrcs.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/utilities/pgfutil-common.tex
-\pgfutil@everybye=\toks16
-\pgfutil@tempdima=\dimen128
-\pgfutil@tempdimb=\dimen129
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/utilities/pgfutil-common-lists.tex))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/utilities/pgfutil-latex.def
-\pgfutil@abb=\box35
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/ms/everyshi.sty
-Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/utilities/pgfrcs.code.tex
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/pgf.revision.tex)
-Package: pgfrcs 2019/02/02 v3.1.1 (3.1.1)
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/systemlayer/pgfsys.code.tex
-Package: pgfsys 2019/02/02 v3.1.1 (3.1.1)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/utilities/pgfkeys.code.tex
-\pgfkeys@pathtoks=\toks17
-\pgfkeys@temptoks=\toks18
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
-\pgfkeys@tmptoks=\toks19
-))
-\pgf@x=\dimen130
-\pgf@y=\dimen131
-\pgf@xa=\dimen132
-\pgf@ya=\dimen133
-\pgf@xb=\dimen134
-\pgf@yb=\dimen135
-\pgf@xc=\dimen136
-\pgf@yc=\dimen137
-\w@pgf@writea=\write3
-\r@pgf@reada=\read1
-\c@pgf@counta=\count108
-\c@pgf@countb=\count109
-\c@pgf@countc=\count110
-\c@pgf@countd=\count111
-\t@pgf@toka=\toks20
-\t@pgf@tokb=\toks21
-\t@pgf@tokc=\toks22
-\pgf@sys@id@count=\count112
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/systemlayer/pgf.cfg
-File: pgf.cfg 2019/02/02 v3.1.1 (3.1.1)
-)
-Driver file for pgf: pgfsys-pdftex.def
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/systemlayer/pgfsys-pdftex.def
-File: pgfsys-pdftex.def 2019/02/02 v3.1.1 (3.1.1)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
-File: pgfsys-common-pdf.def 2019/02/02 v3.1.1 (3.1.1)
-)))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
-File: pgfsyssoftpath.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgfsyssoftpath@smallbuffer@items=\count113
-\pgfsyssoftpath@bigbuffer@items=\count114
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
-File: pgfsysprotocol.code.tex 2019/02/02 v3.1.1 (3.1.1)
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/xcolor/xcolor.sty
-Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/graphics-cfg/color.cfg
-File: color.cfg 2016/01/02 v1.6 sample color configuration
-)
-Package xcolor Info: Driver file: pdftex.def on input line 225.
-Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348.
-Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352.
-Package xcolor Info: Model `RGB' extended on input line 1364.
-Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366.
-Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367.
-Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368.
-Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369.
-Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370.
-Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371.
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcore.code.tex
-Package: pgfcore 2019/02/02 v3.1.1 (3.1.1)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmath.code.tex
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathcalc.code.tex
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathutil.code.tex)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathparser.code.tex
-\pgfmath@dimen=\dimen138
-\pgfmath@count=\count115
-\pgfmath@box=\box36
-\pgfmath@toks=\toks23
-\pgfmath@stack@operand=\toks24
-\pgfmath@stack@operation=\toks25
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfunctions.code.tex
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfunctions.basic.code.tex)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfunctions.random.code.tex)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfunctions.base.code.tex)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfunctions.round.code.tex)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfunctions.misc.code.tex)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex)))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmathfloat.code.tex
-\c@pgfmathroundto@lastzeros=\count116
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
-File: pgfcorepoints.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgf@picminx=\dimen139
-\pgf@picmaxx=\dimen140
-\pgf@picminy=\dimen141
-\pgf@picmaxy=\dimen142
-\pgf@pathminx=\dimen143
-\pgf@pathmaxx=\dimen144
-\pgf@pathminy=\dimen145
-\pgf@pathmaxy=\dimen146
-\pgf@xx=\dimen147
-\pgf@xy=\dimen148
-\pgf@yx=\dimen149
-\pgf@yy=\dimen150
-\pgf@zx=\dimen151
-\pgf@zy=\dimen152
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
-File: pgfcorepathconstruct.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgf@path@lastx=\dimen153
-\pgf@path@lasty=\dimen154
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
-File: pgfcorepathusage.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgf@shorten@end@additional=\dimen155
-\pgf@shorten@start@additional=\dimen156
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
-File: pgfcorescopes.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgfpic=\box37
-\pgf@hbox=\box38
-\pgf@layerbox@main=\box39
-\pgf@picture@serial@count=\count117
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
-File: pgfcoregraphicstate.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgflinewidth=\dimen157
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
-File: pgfcoretransformations.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgf@pt@x=\dimen158
-\pgf@pt@y=\dimen159
-\pgf@pt@temp=\dimen160
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorequick.code.tex
-File: pgfcorequick.code.tex 2019/02/02 v3.1.1 (3.1.1)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
-File: pgfcoreobjects.code.tex 2019/02/02 v3.1.1 (3.1.1)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
-File: pgfcorepathprocessing.code.tex 2019/02/02 v3.1.1 (3.1.1)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
-File: pgfcorearrows.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgfarrowsep=\dimen161
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
-File: pgfcoreshade.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgf@max=\dimen162
-\pgf@sys@shading@range@num=\count118
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
-File: pgfcoreimage.code.tex 2019/02/02 v3.1.1 (3.1.1)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
-File: pgfcoreexternal.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgfexternal@startupbox=\box40
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
-File: pgfcorelayers.code.tex 2019/02/02 v3.1.1 (3.1.1)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
-File: pgfcoretransparency.code.tex 2019/02/02 v3.1.1 (3.1.1)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
-File: pgfcorepatterns.code.tex 2019/02/02 v3.1.1 (3.1.1)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/basiclayer/pgfcorerdf.code.tex
-File: pgfcorerdf.code.tex 2019/02/02 v3.1.1 (3.1.1)
-)))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/utilities/xxcolor.sty
-Package: xxcolor 2003/10/24 ver 0.1
-\XC@nummixins=\count119
-\XC@countmixins=\count120
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/oberdiek/atbegshi.sty
-Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/oberdiek/infwarerr.sty
-Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/oberdiek/ltxcmds.sty
-Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/hyperref/hyperref.sty
-Package: hyperref 2018/11/30 v6.88e Hypertext links for LaTeX
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/oberdiek/hobsub-hyperref.sty
-Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO)
-
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/oberdiek/hobsub-generic.sty
-Package: hobsub-generic 2016/05/16 v1.14 Bundle oberdiek, subset generic (HO)
-Package: hobsub 2016/05/16 v1.14 Construct package bundles (HO)
-Package hobsub Info: Skipping package `infwarerr' (already loaded).
-Package hobsub Info: Skipping package `ltxcmds' (already loaded).
-Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO)
-Package ifluatex Info: LuaTeX not detected.
-Package hobsub Info: Skipping package `ifvtex' (already loaded).
-Package: intcalc 2016/05/16 v1.2 Expandable calculations with integers (HO)
-Package hobsub Info: Skipping package `ifpdf' (already loaded).
-Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (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 2016/05/16 v1.17 Key value parser (HO)
-Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO)
-Package: pdftexcmds 2018/09/10 v0.29 Utility functions 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 2016/05/16 v1.14 Implements pdfTeX's escape features (HO)
-Package: bigintcalc 2016/05/16 v1.4 Expandable calculations on big integers (HO
-)
-Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO)
-Package: uniquecounter 2016/05/16 v1.3 Provide unlimited unique counter (HO)
-)
-Package hobsub Info: Skipping package `hobsub' (already loaded).
-Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO)
-Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO)
-Package: xcolor-patch 2016/05/16 xcolor patch
-Package: atveryend 2016/05/16 v1.9 Hooks at the very end of document (HO)
-Package hobsub Info: Skipping package `atbegshi' (already loaded).
-Package: refcount 2016/05/16 v3.5 Data extraction from label references (HO)
-Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/oberdiek/auxhook.sty
-Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/oberdiek/kvoptions.sty
-Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO)
-)
-\@linkdim=\dimen163
-\Hy@linkcounter=\count121
-\Hy@pagecounter=\count122
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/hyperref/pd1enc.def
-File: pd1enc.def 2018/11/30 v6.88e Hyperref: PDFDocEncoding definition (HO)
-Now handling font encoding PD1 ...
-... no UTF-8 mapping file for font encoding PD1
-)
-\Hy@SavedSpaceFactor=\count123
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-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 4393.
-Package hyperref Info: Option `bookmarksopen' set `true' on input line 4393.
-Package hyperref Info: Option `implicit' set `false' on input line 4393.
-Package hyperref Info: Hyper figures OFF on input line 4519.
-Package hyperref Info: Link nesting OFF on input line 4524.
-Package hyperref Info: Hyper index ON on input line 4527.
-Package hyperref Info: Plain pages OFF on input line 4534.
-Package hyperref Info: Backreferencing OFF on input line 4539.
-Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals.
-Package hyperref Info: Bookmarks ON on input line 4772.
-\c@Hy@tempcnt=\count124
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/url/url.sty
-\Urlmuskip=\muskip10
-Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
-)
-LaTeX Info: Redefining \url on input line 5125.
-\XeTeXLinkMargin=\dimen164
-\Fld@menulength=\count125
-\Field@Width=\dimen165
-\Fld@charsize=\dimen166
-Package hyperref Info: Hyper figures OFF on input line 6380.
-Package hyperref Info: Link nesting OFF on input line 6385.
-Package hyperref Info: Hyper index ON on input line 6388.
-Package hyperref Info: backreferencing OFF on input line 6395.
-Package hyperref Info: Link coloring OFF on input line 6400.
-Package hyperref Info: Link coloring with OCG OFF on input line 6405.
-Package hyperref Info: PDF/A mode OFF on input line 6410.
-LaTeX Info: Redefining \ref on input line 6450.
-LaTeX Info: Redefining \pageref on input line 6454.
-\Hy@abspage=\count126
-
-
-Package hyperref Message: Stopped early.
-
-)
-Package hyperref Info: Driver (autodetected): hpdftex.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/hyperref/hpdftex.def
-File: hpdftex.def 2018/11/30 v6.88e Hyperref driver for pdfTeX
-\Fld@listcount=\count127
-\c@bookmark@seq@number=\count128
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/oberdiek/rerunfilecheck.sty
-Package: rerunfilecheck 2016/05/16 v1.8 Rerun checks for auxiliary files (HO)
-Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
-82.
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaserequires.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasecompatibility.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasefont.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amsfonts/amssymb.sty
-Package: amssymb 2013/01/14 v3.01 AMS font symbols
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amsfonts/amsfonts.sty
-Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
-\@emptytoks=\toks26
-\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 106.
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/sansmathaccent/sansmathaccent.sty
-Package: sansmathaccent 2013/03/28
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/filehook/filehook.sty
-Package: filehook 2011/10/12 v0.5d Hooks for input files
-)))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasetranslator.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/translator/translator.sty
-Package: translator 2018/01/04 v1.12 Easy translation of strings in LaTeX
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasemisc.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasetwoscreens.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaseoverlay.sty
-\beamer@argscount=\count129
-\beamer@lastskipcover=\skip44
-\beamer@trivlistdepth=\count130
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasetitle.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasesection.sty
-\c@lecture=\count131
-\c@part=\count132
-\c@section=\count133
-\c@subsection=\count134
-\c@subsubsection=\count135
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaseframe.sty
-\beamer@framebox=\box41
-\beamer@frametitlebox=\box42
-\beamer@zoombox=\box43
-\beamer@zoomcount=\count136
-\beamer@zoomframecount=\count137
-\beamer@frametextheight=\dimen167
-\c@subsectionslide=\count138
-\beamer@frametopskip=\skip45
-\beamer@framebottomskip=\skip46
-\beamer@frametopskipautobreak=\skip47
-\beamer@framebottomskipautobreak=\skip48
-\beamer@envbody=\toks27
-\framewidth=\dimen168
-\c@framenumber=\count139
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaseverbatim.sty
-\beamer@verbatimfileout=\write4
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaseframesize.sty
-\beamer@splitbox=\box44
-\beamer@autobreakcount=\count140
-\beamer@autobreaklastheight=\dimen169
-\beamer@frametitletoks=\toks28
-\beamer@framesubtitletoks=\toks29
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaseframecomponents.sty
-\beamer@footins=\box45
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasecolor.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasenotes.sty
-\beamer@frameboxcopy=\box46
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasetoc.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasetemplates.sty
-\beamer@sbttoks=\toks30
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaseauxtemplates.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaseboxes.sty
-\bmb@box=\box47
-\bmb@colorbox=\box48
-\bmb@boxshadow=\box49
-\bmb@boxshadowball=\box50
-\bmb@boxshadowballlarge=\box51
-\bmb@temp=\dimen170
-\bmb@dima=\dimen171
-\bmb@dimb=\dimen172
-\bmb@prevheight=\dimen173
-)
-\beamer@blockheadheight=\dimen174
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbaselocalstructure.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/tools/enumerate.sty
-Package: enumerate 2015/07/23 v3.00 enumerate extensions (DPC)
-\@enLab=\toks31
-)
-\c@figure=\count141
-\c@table=\count142
-\abovecaptionskip=\skip49
-\belowcaptionskip=\skip50
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasenavigation.sty
-\beamer@section@min@dim=\dimen175
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasetheorems.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amsmath/amsmath.sty
-Package: amsmath 2018/12/01 v2.17b AMS math features
-\@mathmargin=\skip51
-
-For additional information on amsmath, use the `?' option.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amsmath/amstext.sty
-Package: amstext 2000/06/29 v2.01 AMS text
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amsmath/amsgen.sty
-File: amsgen.sty 1999/11/30 v2.0 generic functions
-\@emptytoks=\toks32
-\ex@=\dimen176
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amsmath/amsbsy.sty
-Package: amsbsy 1999/11/29 v1.2d Bold Symbols
-\pmbraise@=\dimen177
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amsmath/amsopn.sty
-Package: amsopn 2016/03/08 v2.02 operator names
-)
-\inf@bad=\count143
-LaTeX Info: Redefining \frac on input line 223.
-\uproot@=\count144
-\leftroot@=\count145
-LaTeX Info: Redefining \overline on input line 385.
-\classnum@=\count146
-\DOTSCASE@=\count147
-LaTeX Info: Redefining \ldots on input line 482.
-LaTeX Info: Redefining \dots on input line 485.
-LaTeX Info: Redefining \cdots on input line 606.
-\Mathstrutbox@=\box52
-\strutbox@=\box53
-\big@size=\dimen178
-LaTeX Font Info: Redeclaring font encoding OML on input line 729.
-LaTeX Font Info: Redeclaring font encoding OMS on input line 730.
-\macc@depth=\count148
-\c@MaxMatrixCols=\count149
-\dotsspace@=\muskip11
-\c@parentequation=\count150
-\dspbrk@lvl=\count151
-\tag@help=\toks33
-\row@=\count152
-\column@=\count153
-\maxfields@=\count154
-\andhelp@=\toks34
-\eqnshift@=\dimen179
-\alignsep@=\dimen180
-\tagshift@=\dimen181
-\tagwidth@=\dimen182
-\totwidth@=\dimen183
-\lineht@=\dimen184
-\@envbody=\toks35
-\multlinegap=\skip52
-\multlinetaggap=\skip53
-\mathdisplay@stack=\toks36
-LaTeX Info: Redefining \[ on input line 2844.
-LaTeX Info: Redefining \] on input line 2845.
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amscls/amsthm.sty
-Package: amsthm 2017/10/31 v2.20.4
-\thm@style=\toks37
-\thm@bodyfont=\toks38
-\thm@headfont=\toks39
-\thm@notefont=\toks40
-\thm@headpunct=\toks41
-\thm@preskip=\skip54
-\thm@postskip=\skip55
-\thm@headsep=\skip56
-\dth@everypar=\toks42
-)
-\c@theorem=\count155
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerbasethemes.sty))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerthemedefault.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerfontthemedefault.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamercolorthemedefault.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerinnerthemedefault.sty
-\beamer@dima=\dimen185
-\beamer@dimb=\dimen186
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerouterthemedefault.sty)))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/appendixnumberbeamer/appendixnumberbeamer.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/base/inputenc.sty
-Package: inputenc 2018/08/11 v1.3c Input encoding file
-\inpenc@prehook=\toks43
-\inpenc@posthook=\toks44
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/adjustbox/adjustbox.sty
-Package: adjustbox 2019/01/04 v1.2 Adjusting TeX boxes (trim, clip, ...)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/xkeyval/xkeyval.sty
-Package: xkeyval 2014/12/03 v2.7a package option processing (HA)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/xkeyval/xkeyval.tex
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/xkeyval/xkvutils.tex
-\XKV@toks=\toks45
-\XKV@tempa@toks=\toks46
-)
-\XKV@depth=\count156
-File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA)
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/adjustbox/adjcalc.sty
-Package: adjcalc 2012/05/16 v1.1 Provides advanced setlength with multiple back
--ends (calc, etex, pgfmath)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/adjustbox/trimclip.sty
-Package: trimclip 2018/04/08 v1.1 Trim and clip general TeX material
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/collectbox/collectbox.sty
-Package: collectbox 2012/05/17 v0.4b Collect macro arguments as boxes
-\collectedbox=\box54
-)
-\tc@llx=\dimen187
-\tc@lly=\dimen188
-\tc@urx=\dimen189
-\tc@ury=\dimen190
-Package trimclip Info: Using driver 'tc-pdftex.def'.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/adjustbox/tc-pdftex.def
-File: tc-pdftex.def 2019/01/04 v2.2 Clipping driver for pdftex
-))
-\adjbox@Width=\dimen191
-\adjbox@Height=\dimen192
-\adjbox@Depth=\dimen193
-\adjbox@Totalheight=\dimen194
-\adjbox@pwidth=\dimen195
-\adjbox@pheight=\dimen196
-\adjbox@pdepth=\dimen197
-\adjbox@ptotalheight=\dimen198
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/ifoddpage/ifoddpage.sty
-Package: ifoddpage 2016/04/23 v1.1 Conditionals for odd/even page detection
-\c@checkoddpage=\count157
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/varwidth/varwidth.sty
-Package: varwidth 2009/03/30 ver 0.92; Variable-width minipages
-\@vwid@box=\box55
-\sift@deathcycles=\count158
-\@vwid@loff=\dimen199
-\@vwid@roff=\dimen256
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/tcolorbox/tcolorbox.sty
-Package: tcolorbox 2018/12/07 version 4.15 text color boxes
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/basiclayer/pgf.sty
-Package: pgf 2019/02/02 v3.1.1 (3.1.1)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/modules/pgfmoduleshapes.code.tex
-File: pgfmoduleshapes.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgfnodeparttextbox=\box56
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/modules/pgfmoduleplot.code.tex
-File: pgfmoduleplot.code.tex 2019/02/02 v3.1.1 (3.1.1)
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
-Package: pgfcomp-version-0-65 2019/02/02 v3.1.1 (3.1.1)
-\pgf@nodesepstart=\dimen257
-\pgf@nodesepend=\dimen258
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
-Package: pgfcomp-version-1-18 2019/02/02 v3.1.1 (3.1.1)
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/tools/verbatim.sty
-Package: verbatim 2014/10/28 v1.5q LaTeX2e package for verbatim enhancements
-\every@verbatim=\toks47
-\verbatim@line=\toks48
-\verbatim@in@stream=\read2
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/environ/environ.sty
-Package: environ 2014/05/04 v0.3 A new way to define environments
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/trimspaces/trimspaces.sty
-Package: trimspaces 2009/09/17 v1.1 Trim spaces around a token list
-))
-\tcb@titlebox=\box57
-\tcb@upperbox=\box58
-\tcb@lowerbox=\box59
-\tcb@phantombox=\box60
-\c@tcbbreakpart=\count159
-\c@tcblayer=\count160
-\tcolorbox@number=\count161
-\tcb@temp=\box61
-\tcb@temp=\box62
-\tcb@temp=\box63
-\tcb@temp=\box64
-\tcb@out=\write5
-\tcb@record@out=\write6
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/tabulary/tabulary.sty
-Package: tabulary 2014/06/11 v0.10 tabulary package (DPC)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/tools/array.sty
-Package: array 2018/12/30 v2.4k Tabular extension package (FMi)
-\col@sep=\dimen259
-\ar@mcellbox=\box65
-\extrarowheight=\dimen260
-\NC@list=\toks49
-\extratabsurround=\skip57
-\backup@length=\skip58
-\ar@cellbox=\box66
-)
-\TY@count=\count162
-\TY@linewidth=\dimen261
-\tymin=\dimen262
-\tymax=\dimen263
-\TY@tablewidth=\dimen264
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/frontendlayer/tikz.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/utilities/pgffor.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/utilities/pgfkeys.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/utilities/pgfkeys.code.tex))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/math/pgfmath.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmath.code.tex))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/utilities/pgffor.code.tex
-Package: pgffor 2019/02/02 v3.1.1 (3.1.1)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/math/pgfmath.code.tex)
-\pgffor@iter=\dimen265
-\pgffor@skip=\dimen266
-\pgffor@stack=\toks50
-\pgffor@toks=\toks51
-))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
-Package: tikz 2019/02/02 v3.1.1 (3.1.1)
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
-File: pgflibraryplothandlers.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgf@plot@mark@count=\count163
-\pgfplotmarksize=\dimen267
-)
-\tikz@lastx=\dimen268
-\tikz@lasty=\dimen269
-\tikz@lastxsaved=\dimen270
-\tikz@lastysaved=\dimen271
-\tikzleveldistance=\dimen272
-\tikzsiblingdistance=\dimen273
-\tikz@figbox=\box67
-\tikz@figbox@bg=\box68
-\tikz@tempbox=\box69
-\tikz@tempbox@bg=\box70
-\tikztreelevel=\count164
-\tikznumberofchildren=\count165
-\tikznumberofcurrentchild=\count166
-\tikz@fig@count=\count167
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/modules/pgfmodulematrix.code.tex
-File: pgfmodulematrix.code.tex 2019/02/02 v3.1.1 (3.1.1)
-\pgfmatrixcurrentrow=\count168
-\pgfmatrixcurrentcolumn=\count169
-\pgf@matrix@numberofcolumns=\count170
-)
-\tikz@expandcount=\count171
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
-File: tikzlibrarytopaths.code.tex 2019/02/02 v3.1.1 (3.1.1)
-)))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/algorithms/algorithm.sty
-Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro
-nment
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/float/float.sty
-Package: float 2001/11/08 v1.3d Float enhancements (AL)
-\c@float@type=\count172
-\float@exts=\toks52
-\float@box=\box71
-\@float@everytoks=\toks53
-\@floatcapt=\box72
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/base/ifthen.sty
-Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC)
-)
-\@float@every@algorithm=\toks54
-\c@algorithm=\count173
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/algorithms/algorithmic.sty
-Package: algorithmic 2009/08/24 v0.1 Document Style `algorithmic'
-\c@ALC@unique=\count174
-\c@ALC@line=\count175
-\c@ALC@rem=\count176
-\c@ALC@depth=\count177
-\ALC@tlm=\skip59
-\algorithmicindent=\skip60
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/booktabs/booktabs.sty
-Package: booktabs 2016/04/27 v1.618033 publication quality tables
-\heavyrulewidth=\dimen274
-\lightrulewidth=\dimen275
-\cmidrulewidth=\dimen276
-\belowrulesep=\dimen277
-\belowbottomsep=\dimen278
-\aboverulesep=\dimen279
-\abovetopsep=\dimen280
-\cmidrulesep=\dimen281
-\cmidrulekern=\dimen282
-\defaultaddspace=\dimen283
-\@cmidla=\count178
-\@cmidlb=\count179
-\@aboverulesep=\dimen284
-\@belowrulesep=\dimen285
-\@thisruleclass=\count180
-\@lastruleclass=\count181
-\@thisrulewidth=\dimen286
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/pgf/utilities/pgfpages.sty
-Package: pgfpages 2011/01/05 ver 0.02
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/tools/calc.sty
-Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ)
-\calc@Acount=\count182
-\calc@Bcount=\count183
-\calc@Adimen=\dimen287
-\calc@Bdimen=\dimen288
-\calc@Askip=\skip61
-\calc@Bskip=\skip62
-LaTeX Info: Redefining \setlength on input line 80.
-LaTeX Info: Redefining \addtolength on input line 81.
-\calc@Ccount=\count184
-\calc@Cskip=\skip63
-)
-\pgf@logicalpages=\count185
-\pgf@firstshipout=\count186
-\pgf@lastshipout=\count187
-\pgf@currentshipout=\count188
-\pgf@cpn=\count189
-\pgf@shipoutnextto=\count190
-\pgfphysicalheight=\dimen289
-\pgfphysicalwidth=\dimen290
-\pgfpages@shipoutbox=\box73
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/listings/listings.sty
-\lst@mode=\count191
-\lst@gtempboxa=\box74
-\lst@token=\toks55
-\lst@length=\count192
-\lst@currlwidth=\dimen291
-\lst@column=\count193
-\lst@pos=\count194
-\lst@lostspace=\dimen292
-\lst@width=\dimen293
-\lst@newlines=\count195
-\lst@lineno=\count196
-\lst@maxwidth=\dimen294
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/listings/lstmisc.sty
-File: lstmisc.sty 2018/09/02 1.7 (Carsten Heinz)
-\c@lstnumber=\count197
-\lst@skipnumbers=\count198
-\lst@framebox=\box75
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/listings/listings.cfg
-File: listings.cfg 2018/09/02 1.7 listings configuration
-))
-Package: listings 2018/09/02 1.7 (Carsten Heinz)
-\pgfpages@box@1=\box76
-\pgfpages@box@2=\box77
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/listings/lstlang1.sty
-File: lstlang1.sty 2018/09/02 1.7 listings language file
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/listings/lstlang1.sty
-File: lstlang1.sty 2018/09/02 1.7 listings language file
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerthemeAntibes.sty
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerouterthemetree.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamercolorthemewhale.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamercolorthemeorchid.sty)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamerinnerthemerectangles.sty))
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/beamer/beamercolorthemedove.sty)
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\@@underline' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\hbox' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\mathsurround' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\z@' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\\' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\new@ifnextchar' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\new@ifnextchar' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\new@ifnextchar' on input line 88.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\new@ifnextchar' on input line 88.
-
-(./slides.aux)
-\openout1 = `slides.aux'.
-
-LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 93.
-LaTeX Font Info: ... okay on input line 93.
-LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 93.
-LaTeX Font Info: ... okay on input line 93.
-LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 93.
-LaTeX Font Info: ... okay on input line 93.
-LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 93.
-LaTeX Font Info: ... okay on input line 93.
-LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 93.
-LaTeX Font Info: ... okay on input line 93.
-LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 93.
-LaTeX Font Info: ... okay on input line 93.
-LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 93.
-LaTeX Font Info: ... okay on input line 93.
-
-*geometry* driver: auto-detecting
-*geometry* detected driver: pdftex
-*geometry* verbose mode - [ preamble ] result:
-* driver: pdftex
-* paper: custom
-* layout: <same size as paper>
-* 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)
-
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/context/base/mkii/supp-pdf.mkii
-[Loading MPS to PDF converter (version 2006.09.02).]
-\scratchcounter=\count199
-\scratchdimen=\dimen295
-\scratchbox=\box78
-\nofMPsegments=\count266
-\nofMParguments=\count267
-\everyMPshowfont=\toks56
-\MPscratchCnt=\count268
-\MPscratchDim=\dimen296
-\MPnumerator=\count269
-\makeMPintoPDFobject=\count270
-\everyMPtoPDFconversion=\toks57
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/oberdiek/epstopdf-base.sty
-Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/oberdiek/grfext.sty
-Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO)
-)
-Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
-38.
-Package grfext Info: Graphics extension search list:
-(grfext) [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPE
-G,.JBIG2,.JB2,.eps]
-(grfext) \AppendGraphicsExtensions on input line 456.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-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=\box79
-Package hyperref Info: Link coloring OFF on input line 93.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/hyperref/nameref.sty
-Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/generic/oberdiek/gettitlestring.sty
-Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO)
-)
-\c@section@level=\count271
-)
-LaTeX Info: Redefining \ref on input line 93.
-LaTeX Info: Redefining \pageref on input line 93.
-LaTeX Info: Redefining \nameref on input line 93.
- (./slides.out) (./slides.out)
-\@outlinefile=\write7
-\openout7 = `slides.out'.
-
-LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
-(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 93.
-LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
-(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 93.
-\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 93.
-LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
-(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
-(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 93.
-LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal'
-(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
-(Font) OT1/cmss/bx/n --> OT1/cmss/m/n on input line 93.
-LaTeX Font Info: Redeclaring math alphabet \mathit on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal'
-(Font) OT1/cmr/m/it --> OT1/cmss/m/it on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
-(Font) OT1/cmr/bx/it --> OT1/cmss/m/it on input line 93.
-LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal'
-(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
-(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 93.
-LaTeX Font Info: Overwriting symbol font `numbers' in version `bold'
-(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 93.
-LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
-(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold'
-(Font) OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
-(Font) OT1/cmss/bx/n --> OT1/cmss/bx/n on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
-(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
-(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 93.
-LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
-(Font) OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 93.
-LaTeX Font Info: Redeclaring symbol font `pureletters' on input line 93.
-LaTeX Font Info: Overwriting symbol font `pureletters' in version `normal'
-(Font) OT1/cmss/m/it --> OT1/mathkerncmss/m/sl on input line 9
-3.
-LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
-(Font) OT1/cmss/bx/it --> OT1/mathkerncmss/m/sl on input line
-93.
-LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
-(Font) OT1/mathkerncmss/m/sl --> OT1/mathkerncmss/bx/sl on inp
-ut line 93.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/translator/translator-basic-dictionary-English.dict
-Dictionary: translator-basic-dictionary, Language: English
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/translator/translator-bibliography-dictionary-English.dict
-Dictionary: translator-bibliography-dictionary, Language: English
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/translator/translator-environment-dictionary-English.dict
-Dictionary: translator-environment-dictionary, Language: English
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/translator/translator-months-dictionary-English.dict
-Dictionary: translator-months-dictionary, Language: English
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/translator/translator-numbers-dictionary-English.dict
-Dictionary: translator-numbers-dictionary, Language: English
-)
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/translator/translator-theorem-dictionary-English.dict
-Dictionary: translator-theorem-dictionary, Language: English
-)
-\c@lstlisting=\count272
- (./slides.nav)
-LaTeX Font Info: Try loading font information for U+msa on input line 97.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amsfonts/umsa.fd
-File: umsa.fd 2013/01/14 v3.01 AMS symbols A
-)
-LaTeX Font Info: Try loading font information for U+msb on input line 97.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/amsfonts/umsb.fd
-File: umsb.fd 2013/01/14 v3.01 AMS symbols B
-)
-LaTeX Font Info: Try loading font information for OT1+mathkerncmss on input
-line 97.
-
-(/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/
-tex/latex/sansmathaccent/ot1mathkerncmss.fd
-File: ot1mathkerncmss.fd 2013/03/27 Fontinst v1.933 font definitions for OT1/ma
-thkerncmss.
-)
-<figures/logo-inria.jpg, id=38, 472.6458pt x 170.3163pt>
-File: figures/logo-inria.jpg Graphic file (type jpg)
-<use figures/logo-inria.jpg>
-Package pdftex.def Info: figures/logo-inria.jpg used on input line 97.
-(pdftex.def) Requested size: 78.9568pt x 28.45274pt.
-<./figures/atos-logo.png, id=39, 713.66624pt x 237.13594pt>
-File: ./figures/atos-logo.png Graphic file (type png)
-<use ./figures/atos-logo.png>
-Package pdftex.def Info: ./figures/atos-logo.png used on input line 97.
-(pdftex.def) Requested size: 85.62535pt x 28.45274pt.
-<./figures/logo-lig.jpg, id=40, 1245.15187pt x 1066.7353pt>
-File: ./figures/logo-lig.jpg Graphic file (type jpg)
-<use ./figures/logo-lig.jpg>
-Package pdftex.def Info: ./figures/logo-lig.jpg used on input line 97.
-(pdftex.def) Requested size: 33.21106pt x 28.45274pt.
- (./slides.toc) [2{/nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined
--2018/share/texmf/fonts/map/pdftex/updmap/pdftex.map}
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation1})
- has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.101 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.1}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.101 \end{frame}
-
-
- <./figures/logo-inria.jpg> <./figures/atos-logo.png (PNG copy)> <./figures/log
-o-lig.jpg>] [3
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation2})
- has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.114 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.2}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.114 \end{frame}
-
-
-] [4
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation3})
- has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.124 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.3}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.124 \end{frame}
-
-
-] [5
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation4})
- has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.153 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.4}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.153 \end{frame}
-
-
-] [6
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation5})
- has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.153 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.5}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.153 \end{frame}
-
-
-] [7
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation6})
- has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.172 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.6}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.172 \end{frame}
-
-
-] [8
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation7})
- has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.202 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier
-(name{page.7}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.202 \end{frame}
-
-
-] [9
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation8})
- has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.245 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier
-(name{page.8}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.245 \end{frame}
-
-
-] [10
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation9})
- has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.245 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier
-(name{page.9}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.245 \end{frame}
-
-
-] [11
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation10}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.261 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier
-(name{page.10}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.261 \end{frame}
-
-
-] [12
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation11}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.274 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier
-(name{page.11}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.274 \end{frame}
-
-
-] [13
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation12}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.294 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier
-(name{page.12}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.294 \end{frame}
-
-
-] [14
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation13}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.335 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.13}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.335 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb
-LaTeX Font Info: Try loading font information for OMS+cmss on input line 24.
-
-LaTeX Font Info: No file OMScmss.fd. on input line 24.
-
-
-LaTeX Font Warning: Font shape `OMS/cmss/m/n' undefined
-(Font) using `OMS/cmsy/m/n' instead
-(Font) for symbol `textbraceleft' on input line 24.
-
-) [15
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation14}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.376 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.14}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.376 \end{frame}
-
-
-] (./slides.vrb) [16
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation15}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.376 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.15}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.376 \end{frame}
-
-
-] (./slides.vrb) [17
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation16}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.376 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.16}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.376 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb) [18
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation17}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.392 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.17}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.392 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb
-Overfull \hbox (22.71349pt too wide) in paragraph at lines 14--15
-[][][][][][][][][][][][][][]
- []
-
-
-Overfull \hbox (22.71349pt too wide) in paragraph at lines 23--24
-[][][][][][][][][][][][][][]
- []
-
-) [19
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation18}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.419 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.18}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.419 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb) [20
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation19}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.435 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.19}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.435 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb
-Underfull \hbox (badness 10000) in paragraph at lines 6--7
-[]\OT1/cmss/m/n/10.95 Packages can ref-er-
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 6--7
-\OT1/cmss/m/n/10.95 ence/de-pend on other
- []
-
-<./figures/store.png, id=286, 268.00125pt x 618.81187pt>
-File: ./figures/store.png Graphic file (type png)
-<use ./figures/store.png>
-Package pdftex.def Info: ./figures/store.png used on input line 13.
-(pdftex.def) Requested size: 107.1986pt x 247.52036pt.
-)
-Overfull \vbox (5.447pt too high) detected at line 454
- []
-
-[21
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation20}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.454 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.20}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.454 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb) [22
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation21}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.472 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.21}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.472 \end{frame}
-
-
- <./figures/store.png (PNG copy)>] [23
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation22}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.484 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.22}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.484 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb) [24
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation23}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.506 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.23}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.506 \end{frame}
-
-
-] (./slides.vrb) [25
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation24}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.506 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.24}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.506 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb)
-Runaway argument?
-{ \par \vspace {1em} \begin {tcolorbox}[colframe=black,colback=gray!1\ETC.
-! File ended while scanning use of \beamer@only.
-<inserted text>
- \par
-l.541 \end{frame}
-
-I suspect you have forgotten a `}', causing me
-to read past where you wanted me to stop.
-I'll try to recover; but if the error is serious,
-you'd better type `E' or `X' now and fix your file.
-
-[26
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation25}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.541 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.25}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.541 \end{frame}
-
-
-] [27
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation26}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.553 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.26}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.553 \end{frame}
-
-
-] [28
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation27}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.565 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.27}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.565 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb
-Overfull \hbox (22.71349pt too wide) in paragraph at lines 17--18
-[][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][]
- []
-
-) [29
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation28}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.591 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.28}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.591 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb) [30
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation29}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.601 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.29}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.601 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb
-Overfull \hbox (34.71361pt too wide) in paragraph at lines 17--18
-[][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][
-][][][][][][][][][][]
- []
-
-) [31
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation30}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.624 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.30}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.624 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb) [32
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation31}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.645 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.31}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.645 \end{frame}
-
-
-]
-\openout4 = `slides.vrb'.
-
- (./slides.vrb) [33
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation32}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.650 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.32}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.650 \end{frame}
-
-
-]
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\translate ' on input line 652.
-
-<figures/easybuild_logo_alpha.png, id=433, 1353.055pt x 506.89375pt>
-File: figures/easybuild_logo_alpha.png Graphic file (type png)
-<use figures/easybuild_logo_alpha.png>
-Package pdftex.def Info: figures/easybuild_logo_alpha.png used on input line 6
-77.
-(pdftex.def) Requested size: 54.11298pt x 20.2723pt.
-<figures/spack-logo-text-64.png, id=435, 265.99374pt x 64.24pt>
-File: figures/spack-logo-text-64.png Graphic file (type png)
-<use figures/spack-logo-text-64.png>
-Package pdftex.def Info: figures/spack-logo-text-64.png used on input line 677
-.
-(pdftex.def) Requested size: 53.1978pt x 12.84776pt.
-<figures/UncheckedBox.png, id=436, 206.7725pt x 203.76125pt>
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-<figures/CheckedBox.png, id=437, 193.72375pt x 210.7875pt>
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 677.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-[34
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation33}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.677 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.33}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.677 \end{frame}
-
-
-]
-<./figures/easybuild_logo_alpha.png, id=444, 1353.055pt x 506.89375pt>
-File: ./figures/easybuild_logo_alpha.png Graphic file (type png)
-<use ./figures/easybuild_logo_alpha.png>
-Package pdftex.def Info: ./figures/easybuild_logo_alpha.png used on input line
- 727.
-(pdftex.def) Requested size: 54.11298pt x 20.2723pt.
-File: figures/spack-logo-text-64.png Graphic file (type png)
-<use figures/spack-logo-text-64.png>
-Package pdftex.def Info: figures/spack-logo-text-64.png used on input line 727
-.
-(pdftex.def) Requested size: 53.1978pt x 12.84776pt.
-<figures/nixos-logo-only-hires.png, id=445, 403.28024pt x 349.07773pt>
-File: figures/nixos-logo-only-hires.png Graphic file (type png)
-<use figures/nixos-logo-only-hires.png>
-Package pdftex.def Info: figures/nixos-logo-only-hires.png used on input line
-727.
-(pdftex.def) Requested size: 24.19577pt x 20.94376pt.
-<./figures/UncheckedBox.png, id=446, 206.7725pt x 203.76125pt>
-File: ./figures/UncheckedBox.png Graphic file (type png)
-<use ./figures/UncheckedBox.png>
-Package pdftex.def Info: ./figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/UncheckedBox.png Graphic file (type png)
-<use figures/UncheckedBox.png>
-Package pdftex.def Info: figures/UncheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 7.23776pt x 7.13237pt.
-File: figures/CheckedBox.png Graphic file (type png)
-<use figures/CheckedBox.png>
-Package pdftex.def Info: figures/CheckedBox.png used on input line 727.
-(pdftex.def) Requested size: 6.78102pt x 7.37831pt.
-
-Overfull \hbox (11.51073pt too wide) in paragraph at lines 727--727
-[]
- []
-
-[35
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation34}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.727 \end{frame}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{page.34}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.727 \end{frame}
-
-
- <./figures/easybuild_logo_alpha.png> <./figures/spack-logo-text-64.png> <./fig
-ures/UncheckedBox.png> <./figures/CheckedBox.png>]
-\tf@nav=\write8
-\openout8 = `slides.nav'.
-
-\tf@toc=\write9
-\openout9 = `slides.toc'.
-
-\tf@snm=\write10
-\openout10 = `slides.snm'.
-
- [36
-
-pdfTeX warning (ext4): destination with the same identifier (name{Navigation35}
-) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.730 \end{document}
- pdfTeX warning (ext4): destination with the same identifier
- (name{page.35}) has been already used, duplicate ignored
-
-\pgfpages@shipoutshipoutbox ...physicalpagesizes }
- \endgroup
-l.730 \end{document}
-
-
- <./figures/easybuild_logo_alpha.png> <./figures/nixos-logo-only-hires.png> <./
-figures/UncheckedBox.png>]
-Package atveryend Info: Empty hook `BeforeClearDocument' on input line 730.
-Package atveryend Info: Empty hook `AfterLastShipout' on input line 730.
- (./slides.aux)
-Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 730.
-Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 730.
-Package rerunfilecheck Info: File `slides.out' has not changed.
-(rerunfilecheck) Checksum: 0355FC2AFA1A9166D8DDB8C015D2FD3D;341.
-
-
-LaTeX Font Warning: Some font shapes were not available, defaults substituted.
-
- )
-Here is how much of TeX's memory you used:
- 25513 strings out of 492616
- 517312 string characters out of 6108489
- 779478 words of memory out of 5000000
- 28741 multiletter control sequences out of 15000+600000
- 16358 words of font info for 60 fonts, out of 8000000 for 9000
- 1141 hyphenation exceptions out of 8191
- 57i,14n,97p,827b,1209s stack positions out of 5000i,500n,10000p,200000b,80000s
-</nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texm
-f/fonts/type1/public/amsfonts/cm/cmss10.pfb></nix/store/g1rg2h575lfp0pq2yksw4g0
-jdm8cpmv1-texlive-combined-2018/share/texmf/fonts/type1/public/amsfonts/cm/cmss
-12.pfb></nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share
-/texmf/fonts/type1/public/amsfonts/cm/cmss8.pfb></nix/store/g1rg2h575lfp0pq2yks
-w4g0jdm8cpmv1-texlive-combined-2018/share/texmf/fonts/type1/public/amsfonts/cm/
-cmss9.pfb></nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/sh
-are/texmf/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></nix/store/g1rg2h575lfp0
-pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/fonts/type1/public/amsfon
-ts/cm/cmssi10.pfb></nix/store/g1rg2h575lfp0pq2yksw4g0jdm8cpmv1-texlive-combined
--2018/share/texmf/fonts/type1/public/amsfonts/cm/cmsy10.pfb></nix/store/g1rg2h5
-75lfp0pq2yksw4g0jdm8cpmv1-texlive-combined-2018/share/texmf/fonts/type1/public/
-amsfonts/cm/cmtt10.pfb>
-Output written on slides.pdf (35 pages, 1168713 bytes).
-PDF statistics:
- 514 PDF objects out of 1000 (max. 8388607)
- 372 compressed objects within 4 object streams
- 79 named destinations out of 1000 (max. 500000)
- 146 words of extra memory for PDF output out of 10000 (max. 10000000)
-
diff --git a/slides.nav b/slides.nav
deleted file mode 100644
index 54dc90ad9ac4bb80e70fff5efcb7913011156324..0000000000000000000000000000000000000000
--- a/slides.nav
+++ /dev/null
@@ -1,86 +0,0 @@
-\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 {\beamer@sectionpages {1}{2}}
-\headcommand {\beamer@subsectionpages {1}{2}}
-\headcommand {\sectionentry {1}{Experimentation From a Software Point of View}{3}{Experimentation From a Software Point of View}{0}}
-\headcommand {\slideentry {1}{0}{1}{3/3}{}{0}}
-\headcommand {\beamer@framepages {3}{3}}
-\headcommand {\slideentry {1}{0}{2}{4/4}{}{0}}
-\headcommand {\beamer@framepages {4}{4}}
-\headcommand {\beamer@sectionpages {3}{4}}
-\headcommand {\beamer@subsectionpages {3}{4}}
-\headcommand {\sectionentry {2}{Nix}{5}{Nix}{0}}
-\headcommand {\slideentry {2}{0}{1}{5/6}{}{0}}
-\headcommand {\beamer@framepages {5}{6}}
-\headcommand {\slideentry {2}{0}{2}{7/7}{}{0}}
-\headcommand {\beamer@framepages {7}{7}}
-\headcommand {\slideentry {2}{0}{3}{8/8}{}{0}}
-\headcommand {\beamer@framepages {8}{8}}
-\headcommand {\slideentry {2}{0}{4}{9/10}{}{0}}
-\headcommand {\beamer@framepages {9}{10}}
-\headcommand {\beamer@subsectionpages {5}{10}}
-\headcommand {\beamer@subsectionentry {0}{2}{1}{11}{Expression Language}}
-\headcommand {\slideentry {2}{1}{1}{11/11}{Expression Language}{0}}
-\headcommand {\beamer@framepages {11}{11}}
-\headcommand {\slideentry {2}{1}{2}{12/12}{Expression Language}{0}}
-\headcommand {\beamer@framepages {12}{12}}
-\headcommand {\beamer@subsectionpages {11}{12}}
-\headcommand {\beamer@subsectionentry {0}{2}{2}{13}{Package Manager}}
-\headcommand {\slideentry {2}{2}{1}{13/13}{Package Manager}{0}}
-\headcommand {\beamer@framepages {13}{13}}
-\headcommand {\beamer@sectionpages {5}{13}}
-\headcommand {\beamer@subsectionpages {13}{13}}
-\headcommand {\sectionentry {3}{Nix Structure}{14}{Nix Structure}{0}}
-\headcommand {\slideentry {3}{0}{1}{14/14}{}{0}}
-\headcommand {\beamer@framepages {14}{14}}
-\headcommand {\slideentry {3}{0}{2}{15/17}{}{0}}
-\headcommand {\beamer@framepages {15}{17}}
-\headcommand {\slideentry {3}{0}{3}{18/18}{}{0}}
-\headcommand {\beamer@framepages {18}{18}}
-\headcommand {\slideentry {3}{0}{4}{19/19}{}{0}}
-\headcommand {\beamer@framepages {19}{19}}
-\headcommand {\slideentry {3}{0}{5}{20/20}{}{0}}
-\headcommand {\beamer@framepages {20}{20}}
-\headcommand {\slideentry {3}{0}{6}{21/21}{}{0}}
-\headcommand {\beamer@framepages {21}{21}}
-\headcommand {\slideentry {3}{0}{7}{22/22}{}{0}}
-\headcommand {\beamer@framepages {22}{22}}
-\headcommand {\slideentry {3}{0}{8}{23/23}{}{0}}
-\headcommand {\beamer@framepages {23}{23}}
-\headcommand {\slideentry {3}{0}{9}{24/25}{}{0}}
-\headcommand {\beamer@framepages {24}{25}}
-\headcommand {\slideentry {3}{0}{10}{26/26}{}{0}}
-\headcommand {\beamer@framepages {26}{26}}
-\headcommand {\slideentry {3}{0}{11}{27/27}{}{0}}
-\headcommand {\beamer@framepages {27}{27}}
-\headcommand {\slideentry {3}{0}{12}{28/28}{}{0}}
-\headcommand {\beamer@framepages {28}{28}}
-\headcommand {\slideentry {3}{0}{13}{29/29}{}{0}}
-\headcommand {\beamer@framepages {29}{29}}
-\headcommand {\slideentry {3}{0}{14}{30/30}{}{0}}
-\headcommand {\beamer@framepages {30}{30}}
-\headcommand {\slideentry {3}{0}{15}{31/31}{}{0}}
-\headcommand {\beamer@framepages {31}{31}}
-\headcommand {\slideentry {3}{0}{16}{32/32}{}{0}}
-\headcommand {\beamer@framepages {32}{32}}
-\headcommand {\gdef \insertmainframenumber {27}}
-\headcommand {\slideentry {3}{0}{17}{33/33}{}{0}}
-\headcommand {\beamer@framepages {33}{33}}
-\headcommand {\partentry {\translate {Appendix}}{1}}
-\headcommand {\beamer@partpages {1}{33}}
-\headcommand {\beamer@sectionpages {14}{33}}
-\headcommand {\beamer@subsectionpages {14}{33}}
-\headcommand {\beamer@appendixpages {34}}
-\headcommand {\slideentry {3}{0}{18}{34/34}{}{1}}
-\headcommand {\beamer@framepages {34}{34}}
-\headcommand {\beamer@partpages {34}{35}}
-\headcommand {\beamer@subsectionpages {34}{35}}
-\headcommand {\beamer@sectionpages {34}{35}}
-\headcommand {\beamer@documentpages {35}}
-\headcommand {\gdef \inserttotalframenumber {2}}
-\headcommand {\gdef \inserttotalframenumber {27}}
-\headcommand {\gdef \appendixtotalframenumber {2}}
-\headcommand {\slideentry {3}{0}{19}{35/35}{}{1}}
-\headcommand {\beamer@framepages {35}{35}}
diff --git a/slides.out b/slides.out
deleted file mode 100644
index 30e0e86be70fac6f061ccfb3c5fd64066813f782..0000000000000000000000000000000000000000
--- a/slides.out
+++ /dev/null
@@ -1,6 +0,0 @@
-\BOOKMARK [2][]{Outline0.1}{Experimentation From a Software Point of View}{}% 1
-\BOOKMARK [2][]{Outline0.2}{Nix}{}% 2
-\BOOKMARK [3][]{Outline0.2.1.11}{Expression Language}{Outline0.2}% 3
-\BOOKMARK [3][]{Outline0.2.2.13}{Package Manager}{Outline0.2}% 4
-\BOOKMARK [2][]{Outline0.3}{Nix Structure}{}% 5
-\BOOKMARK [1][]{Outline1}{Appendix}{}% 6
diff --git a/slides.pdf b/slides.pdf
index 380ac1297a2e941698f3300e9a6b0146bedc06f0..a4a7b55dffab8fed66a7fc5c2cb8613dea19d295 100644
Binary files a/slides.pdf and b/slides.pdf differ
diff --git a/slides.snm b/slides.snm
deleted file mode 100644
index 08652a391b18658c759a224b2985e702b8457ee3..0000000000000000000000000000000000000000
--- a/slides.snm
+++ /dev/null
@@ -1,2 +0,0 @@
-\beamer@slide {toc<1>}{2}
-\beamer@slide {toc}{2}
diff --git a/slides.tex b/slides.tex
index 79a18ea8dc069dfa178acad1ccdd471ecdcc4b09..52824040c9d01d9f229168624d2babcc2f452fad 100644
--- a/slides.tex
+++ b/slides.tex
@@ -70,7 +70,7 @@
\setbeamertemplate{footline}[frame number]
\setbeamertemplate{navigation symbols}{}
-\title{\textbf{A Way Toward Reproducible experiment Environment with Nix}}
+\title{\textbf{A Way Toward Reproducible Experiment Environment with Nix}}
\date{Rennes 2019, \today}
\author{
\underline{Adrien Faure}, Millian Poquet\\
@@ -96,10 +96,6 @@
\titlepage
\end{frame}
-\begin{frame}[label=toc]{Overview}
- \tableofcontents
-\end{frame}
-
\section{Experimentation From a Software Point of View}
\begin{frame}{Experimentation Codes}
@@ -145,9 +141,9 @@ The running environment should be explicit:
\note{
How(had-hoc script, complex runtime etc), \\
Where(your laptop, your old laptop etc) you run you experiment.\\}
+ \item How you did your final data analysis,
+ \item How the visualisations are constructed.
- \item Documenting how to run the experiment.
- \note{The input, the running scripts etc \\}
% \item Using literate programming ?
\end{itemize}
\end{frame}
@@ -171,147 +167,131 @@ The running environment should be explicit:
\end{frame}
+\begin{frame}{What is Nix ?}
+ \only<1>{%
+ Nix is a Package Manager with a lot of good properties. \\
+ % Why for experimentations ?
+ \vspace{1em}
+ \begin{itemize}
+ \item Reproducibility,
+ \note{Reproducibility of software\\}
+ % \item Portability,
+ \note{Run on my laptop, run of g5k\\}
+ \item Multiple version cohabitations,
+ % \item Composability,
+ \note{why\\}
+ \item Decentralized package repository,
+ \note{Packages can come from different places, thus you can have yours.\\}
+ \item Explicit build process,
+ \note{Every deps need to be stated\\}
+ \note{The building process is explicit in Nix\\}
+ \item Define reconstructible software environments,
+ \note{Build Once, build twice (six month later)\\}
+ \note{Possibility to describing full software environment\\}
+ \note{From building environment, to runtime and data analysis.\\}
+ \item Application portability
+ \note{build on my laptop, run on g5k}
+ \end{itemize}
+ }
+ % \center\Large\sc The Nix Ecosystem. {\url{https://nixos.org}}
+\end{frame}
- \begin{frame}{What is Nix ?}
- \only<1>{%
- Nix is a Package Manager with a lot of good properties. \\
- % Why for experimentations ?
- \vspace{1em}
- \begin{itemize}
- \item Reproducibility,
- \note{Reproducibility of software\\}
- % \item Portability,
- \note{Run on my laptop, run of g5k\\}
- \item Multiple version cohabitations,
- % \item Composability,
- \note{why\\}
- \item Decentralized package repository.
- \note{Packages can come from different places, thus you can have yours.\\}
- \item Explicit build process,
- \note{Every deps need to be stated\\}
- \note{The building process is explicit in Nix\\}
- \item Reconstructible environments.
- \note{Build Once, build twice (six month later)\\}
- \note{Possibility to describing full software environment\\}
- \note{From building environment, to runtime and data analysis.\\}
- \item Application portability
- \note{build on my laptop, run on g5k}
- \end{itemize}
- }
- % \center\Large\sc The Nix Ecosystem. {\url{https://nixos.org}}
- \end{frame}
-
-
- \begin{frame}{Nix Ecosystem}
-
- Core projects:
- \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
- Nix - The Expression Language (2003)
- \end{tcolorbox}
+\begin{frame}{Nix Ecosystem}
- \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
- Nix - The Nix package manager (2003)
- \end{tcolorbox}
+ Core projects:
- Satellites:
- \only<1>{
+ \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ Nix - The Expression Language (2003)
+ \end{tcolorbox}
- \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
- NixOS - The Purely Functional Linux Distribution
- \end{tcolorbox}
+ \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ Nix - The Nix package manager (2003)
+ \end{tcolorbox}
- \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
- Hydra - Nix-based continuous build system (2008)
- \end{tcolorbox}
+ Satellites:
+ \only<1>{
- \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
- NixOps - The NixOS Deployment Tool (2011)
- \end{tcolorbox}
- }
- \only<2>{
- \begin{tcolorbox}[colframe=gray!50,colback=gray!1,coltext=gray!100]
- NixOS - The Purely Functional Linux Distribution
- \end{tcolorbox}
+ \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ NixOS - The Purely Functional Linux Distribution
+ \end{tcolorbox}
- \begin{tcolorbox}[colframe=gray!50,colback=gray!1,coltext=gray!100]
- Hydra - Nix-based continuous build system (2008)
- \end{tcolorbox}
+ \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ Hydra - Nix-based continuous build system (2008)
+ \end{tcolorbox}
- \begin{tcolorbox}[colframe=gray!50,colback=gray!1,coltext=gray!100]
- NixOps - The NixOS Deployment Tool (2011)
- \end{tcolorbox}
- }
- \end{frame}
+ \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ NixOps - The NixOS Deployment Tool (2011)
+ \end{tcolorbox}
+}
+ \only<2>{
+ \begin{tcolorbox}[colframe=gray!50,colback=gray!1,coltext=gray!100]
+ NixOS - The Purely Functional Linux Distribution
+ \end{tcolorbox}
+
+ \begin{tcolorbox}[colframe=gray!50,colback=gray!1,coltext=gray!100]
+ Hydra - Nix-based continuous build system (2008)
+ \end{tcolorbox}
+ \begin{tcolorbox}[colframe=gray!50,colback=gray!1,coltext=gray!100]
+ NixOps - The NixOS Deployment Tool (2011)
+ \end{tcolorbox}
+}
+\end{frame}
- \subsection{Expression Language}
- \begin{frame}{}
- \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
- {Nix - The Expression Language }
- \end{tcolorbox}
- What?
- \begin{itemize}
- \item Is a Domain Specific Language (DSL)
- \item Functional, Turing complete language.
- \item Dynamically typed. int, bool, path, string, set, list, lambda.
- \item Large built-in and standard lib. \texttt{stdenv, fetchTarball, fromJson, fromGitHub, assert, test..}
- \end{itemize}
- \end{frame}
-
- \begin{frame}{}
- \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
- {Nix - The Expression Language }
- \end{tcolorbox}
- Why?
- \begin{itemize}
- \item Packaging is complex.
- \item Abstraction layers.
- \item Better reusability, factorization.
- \item (Readable and Maintainable)
- \end{itemize}
- \end{frame}
-
- \subsection{Package Manager}
-
- \begin{frame}{}{}
- \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
- {Nix - The Package Manager }
- \end{tcolorbox}
- \begin{itemize}
- \item Packages are defined in Nix expressions
- \item Independent of the system.
- \item Atomic upgrades and rollbacks
- \item Several version of the same package on the same system
- \item Unprivileged package installation
- \item Provides isolated build \& runtime environments
- \item Reproducible build from source
- \item Binary cache
- \item Garbage collection
- \item Declarative \& Imperative use.
- \end{itemize}
- \end{frame}
-
-% \begin{frame}{}
-% All \emph{official} packages are defined into the repository:
-% \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]{Nixpkgs - \textcolor{red}{\url{https://github.com/NixOS/nixpkgs}}}
-% \end{tcolorbox}
-% \begin{columns}
-% \begin{column}{0.5\textwidth}
-% \begin{itemize}
-% \item First commit: Mar 2003
-% \item \textbf{$>$22 000} packages
-% \item \textbf{$>$2 100} contributors
-% \end{itemize}
-% \end{column}
-% \begin{column}{0.5\textwidth}
-% \begin{itemize}
-% \item \textbf{$>$183 600} commits
-% \end{itemize}
-% \end{column}
-% \end{columns}
-% \end{frame}
+\subsection{Expression Language}
+
+\begin{frame}{Nix - Language}
+ \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ {Nix - The Expression Language }
+ \end{tcolorbox}
+ What?
+ \begin{itemize}
+ \item Is a Domain Specific Language (DSL)
+ \item Functional, Turing complete language.
+ \item Dynamically typed. int, bool, path, string, set, list, lambda.
+ \item Large built-in and standard lib. \texttt{stdenv, fetchTarball, fromJson, fromGitHub, assert, test..}
+ \end{itemize}
+\end{frame}
+
+\begin{frame}{Nix - Language}
+ \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ {Nix - The Expression Language }
+ \end{tcolorbox}
+ Why?
+ \begin{itemize}
+ \item Packaging is complex.
+ \item Abstraction layers.
+ \item Better reusability, factorization.
+ \item (Readable and Maintainable)
+ \end{itemize}
+\end{frame}
+
+\subsection{Package Manager}
+
+\begin{frame}{Nix}
+ \begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ {Nix - The Package Manager }
+ \end{tcolorbox}
+ \begin{itemize}
+ \item Packages are defined in Nix expressions,
+ % \item Independent of the system,
+ \item Atomic upgrades and rollbacks
+ \item Several version of the same package on the same system,
+ \item Unprivileged package installation,
+ \item Provides isolated build \& runtime environments,
+ \item Reproducible build from source,
+ \item Binary cache,
+ \item Garbage collection,
+ % \item Declarative \& Imperative use.
+ \end{itemize}
+\end{frame}
+
+\begin{frame}{}
+ \center
+ How does it work?
+\end{frame}
\section{Nix Structure}
@@ -319,7 +299,7 @@ The running environment should be explicit:
% Nix borrows its concept from Functional Languages. \\
\begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
- Nix applies the concept of functional programming languages to packages management.
+ Nix applies the concept of functional programming languages to package management.
\end{tcolorbox}
\vspace{1em}
@@ -327,7 +307,7 @@ The running environment should be explicit:
\note{Function from a functional paradigm point of view}
\vspace{1em}
- Packages dependencies are also functions given as inputs.
+ Package dependencies are also functions given as inputs.
\vspace{1em}
Such functions are called \textbf{Derivations}
@@ -527,13 +507,14 @@ The result of the build action is automatically placed into the nix store.
\item nixpkgs-19.03 (current stable)
\item nixpkgs-18.09 (outdated)
\end{itemize}
-
+ }
\only<2>{
-\begin{tcolorbox}[colframe=red!37,colback=red!10,coltext=black]
- \center
+ \begin{tcolorbox}[colframe=red!37,colback=red!10,coltext=black]
+ \center
Channels are not fully reproducible, as they are subject to updates.
-\end{tcolorbox}
+ \end{tcolorbox}
+
\vspace{1em}
As experimenters, we will use another mechanism called pinning.
}
diff --git a/slides.toc b/slides.toc
deleted file mode 100644
index ec2baef5abadc93912d4d890aa354e3c459da632..0000000000000000000000000000000000000000
--- a/slides.toc
+++ /dev/null
@@ -1,5 +0,0 @@
-\beamer@sectionintoc {1}{Experimentation From a Software Point of View}{3}{0}{1}
-\beamer@sectionintoc {2}{Nix}{5}{0}{2}
-\beamer@subsectionintoc {2}{1}{Expression Language}{11}{0}{2}
-\beamer@subsectionintoc {2}{2}{Package Manager}{13}{0}{2}
-\beamer@sectionintoc {3}{Nix Structure}{14}{0}{3}
diff --git a/slides.vrb b/slides.vrb
deleted file mode 100644
index 341cdc3b242b7e30097219834cb504612c9bddbc..0000000000000000000000000000000000000000
--- a/slides.vrb
+++ /dev/null
@@ -1 +0,0 @@
-\center Thanks.