diff --git a/figures/photo5803088072525590515.jpg b/figures/photo5803088072525590515.jpg
new file mode 100644
index 0000000000000000000000000000000000000000..7ea4b8ee4c539a256a6dc1f89786ee96d5aebcf3
Binary files /dev/null and b/figures/photo5803088072525590515.jpg differ
diff --git a/figures/store.png b/figures/store.png
new file mode 100644
index 0000000000000000000000000000000000000000..c2926d8f12c28fa1b4e27086dffac01ca19a84f6
Binary files /dev/null and b/figures/store.png differ
diff --git a/slides.aux b/slides.aux
new file mode 100644
index 0000000000000000000000000000000000000000..15c60cf97ceebc039c96f21dbc9d5ba68dafb960
--- /dev/null
+++ b/slides.aux
@@ -0,0 +1,117 @@
+\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
new file mode 100644
index 0000000000000000000000000000000000000000..466a2522416ea1b7cee96fd14db928d9099df366
--- /dev/null
+++ b/slides.log
@@ -0,0 +1,2312 @@
+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
new file mode 100644
index 0000000000000000000000000000000000000000..54dc90ad9ac4bb80e70fff5efcb7913011156324
--- /dev/null
+++ b/slides.nav
@@ -0,0 +1,86 @@
+\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
new file mode 100644
index 0000000000000000000000000000000000000000..30e0e86be70fac6f061ccfb3c5fd64066813f782
--- /dev/null
+++ b/slides.out
@@ -0,0 +1,6 @@
+\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 c2ba6991a4d2f1b8719d28944fda4c9bab5a018b..380ac1297a2e941698f3300e9a6b0146bedc06f0 100644
Binary files a/slides.pdf and b/slides.pdf differ
diff --git a/slides.snm b/slides.snm
new file mode 100644
index 0000000000000000000000000000000000000000..08652a391b18658c759a224b2985e702b8457ee3
--- /dev/null
+++ b/slides.snm
@@ -0,0 +1,2 @@
+\beamer@slide {toc<1>}{2}
+\beamer@slide {toc}{2}
diff --git a/slides.tex b/slides.tex
index 8391983bf274c1e1731d3744caf369683c867ab2..79a18ea8dc069dfa178acad1ccdd471ecdcc4b09 100644
--- a/slides.tex
+++ b/slides.tex
@@ -104,7 +104,8 @@
\begin{frame}{Experimentation Codes}
\begin{itemize}
- \item Experimentations source codes are often \emph{Had-hoc}.
+ \item Experimentations codes are often \emph{ad hoc}.
+ \note{Publish and perish\\}
\item Few or no indications describing how to build them
\note{Relevant compilation options, dependencies...}
\item Few informations about the execution.
@@ -114,9 +115,9 @@
\begin{frame}{The Problem}
\begin{itemize}
- \item Hinder the repeatability of the experimentations
+ \item Hinder the repeatability of the experimentations.
\note{Hard to verify what you did, for reviewer for instance.}
- \item Hard to continue someone else work
+ \item Hard to continue someone else work.
\note{Trying other inputs, fixing bugs etc}
\note{Encourage restarting from scratch}
\end{itemize}
@@ -129,7 +130,7 @@
\begin{itemize}
\item Documenting the building procedures.
\note{How to build it, relevant compilation flags etc\\}
- \item It dependencies.
+ \item What are the dependencies of the project.
\note{Which libraries etc\\}
% \item the dependencies.
% \item Using literate programming ?
@@ -140,10 +141,10 @@
The running environment should be explicit:
\begin{itemize}
- \item the running environment should be defined
+ \item Which runtime is used?
\note{
- How(had-hoc script, complex runtime etc),
- Where(your laptop, your old laptop etc) you run you experiment.}
+ How(had-hoc script, complex runtime etc), \\
+ Where(your laptop, your old laptop etc) you run you experiment.\\}
\item Documenting how to run the experiment.
\note{The input, the running scripts etc \\}
@@ -185,7 +186,7 @@ The running environment should be explicit:
% \item Composability,
\note{why\\}
\item Decentralized package repository.
- \note{Packages can come from different places.\\}
+ \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\\}
@@ -193,7 +194,7 @@ The running environment should be explicit:
\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
+ \item Application portability
\note{build on my laptop, run on g5k}
\end{itemize}
}
@@ -286,7 +287,7 @@ The running environment should be explicit:
\item Unprivileged package installation
\item Provides isolated build \& runtime environments
\item Reproducible build from source
- \item Binary Cache
+ \item Binary cache
\item Garbage collection
\item Declarative \& Imperative use.
\end{itemize}
@@ -417,11 +418,75 @@ The result of the build action is automatically placed into the nix store.
\end{frame}
-% \subsection{NixPkgs}
+\begin{frame}[fragile]{Store}
+
+\begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ Each package contains its own tree.
+\end{tcolorbox}
+
+ \begin{lstlisting}[basicstyle=\small]
+/nix/store/hash-packagename/..
+ /bin/package
+ /lib/package.so
+ /share/
+ .
+ \end{lstlisting}
+
+\end{frame}
+
+\begin{frame}[fragile]{Store}
+\begin{columns}
+\begin{column}{0.5\textwidth}
+
+\begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ Packages can reference/depend on other packages.
+\end{tcolorbox}
+
+\end{column}
+\begin{column}{0.5\textwidth} %%<--- here
+ \begin{center}
+ \vspace{-4em}
+ \includegraphics[scale=0.4]{./figures/store.png}
+ \end{center}
+\end{column}
+\end{columns}
+
+\end{frame}
+
+\begin{frame}[fragile]{Store}
+
+\begin{tcolorbox}[colframe=black,colback=gray!10,coltext=black]
+ The store can be used as a binary cache.
+\end{tcolorbox}
+
+ \vspace{1em}
+ Thanks to the name of a package.
+
+ \begin{lstlisting}[basicstyle=\small]
+/nix/store/hash-packagename
+ \end{lstlisting}
+
+ \vspace{1em}
+ Missing dependencies can be identified and downloaded from a distant store.
+
+\end{frame}
+
+\begin{frame}
+ A derivation is a build action written in Nix. \\
+ \vspace{1em}
+ Used to build package. \\
+ \vspace{1em}
+ The resulting package is stocked in the store, \\
+ identified with a unique path. \\
+ \vspace{1em}
+ In which it can refer to other packages.
+ \vspace{1em}
+\end{frame}
+
\begin{frame}[fragile]{Nixpkgs}
- How and where can we get derivations ?
+ How and where can we get derivations?
\pause
\vspace{1em}
@@ -462,7 +527,6 @@ 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>{
@@ -471,7 +535,7 @@ The result of the build action is automatically placed into the nix store.
Channels are not fully reproducible, as they are subject to updates.
\end{tcolorbox}
\vspace{1em}
- As experimenters, we will use another mechanism called pinning.
+ As experimenters, we will use another mechanism called pinning.
}
\end{frame}
@@ -492,11 +556,11 @@ The result of the build action is automatically placed into the nix store.
How do we use Nix ?
\vspace{1em}
\begin{itemize}
- \item \textit{nix-build} : build a derivation (that will be placed to the nix store),
- \item \textit{nix-env} : install a package (in your current environment)
+ \item \textit{nix-build}: build a derivation (that will be placed to the nix store),
+ \item \textit{nix-env}: install a package (in your current environment)
\note{Speak about profiles?},
- \item \textit{nix-shell} : start a shell in the build environment of a derivation,
- \item \textit{nix search} : search for available packages.
+ \item \textit{nix search}: search for available packages.
+ \item \textit{nix-shell}: start a shell in the build environment of a derivation,
\end{itemize}
\end{frame}
@@ -510,14 +574,13 @@ The result of the build action is automatically placed into the nix store.
Start an interactive session within the build environment of a derivation.
\vspace{1em}
-Enables to describe environment, and start a shell within it.
-
+Enables to describe environment, in which we can start a shell.
\vspace{-1em}
\begin{lstlisting}[language=Nix,basicstyle=\small]
{
pkgs ? import (fetchTarball
- https://github.com/achive/e860b629bc0d1f9b.tar.gz)
+ https://github.com/archive/e860b629bc0d1f9b.tar.gz)
{}
}:
pkgs.mkShell rec {
@@ -527,7 +590,6 @@ pkgs.mkShell rec {
\end{frame}
-
\begin{frame}[fragile]{Why it is reproducible ?}
Writting a package for an application requires to state down every dependencies. \\
@@ -562,16 +624,23 @@ src = fetgit {
\end{frame}
\begin{frame}[fragile]
- % Nix is a good solution for describing reconstructible environments.
- Nix ensures the reproducibility of software environments.
+
+ With Nix you can define and share complex experiment environment.
+ \begin{itemize}
+ \item It will be reconstructible.
+ \item The dependencies will be clearly stated.
+ \end{itemize}
+
+ % Nix ensures the reproducibility of software environments.
\vspace{1em}
- \note{In this slide, I want to clarify some points.\\
- Using nix as a runtime may be a bad idea as it would be limited.}
- \begin{tcolorbox}[colframe=red!37,colback=red!10,coltext=black]
- Nix is not a runtime, \\
- Nix is not a database.
- \end{tcolorbox}
+ %\begin{tcolorbox}[colframe=red!37,colback=red!10,coltext=black]
+ % Nix is not a runtime, \\
+ %\end{tcolorbox}
+ \note{
+ Nix is not a runtime, (Results will be stored in the store also, hard to distributes etc)\\
+ Nix offers nothing to deals with data
+ }
\end{frame}
diff --git a/slides.toc b/slides.toc
new file mode 100644
index 0000000000000000000000000000000000000000..ec2baef5abadc93912d4d890aa354e3c459da632
--- /dev/null
+++ b/slides.toc
@@ -0,0 +1,5 @@
+\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
new file mode 100644
index 0000000000000000000000000000000000000000..341cdc3b242b7e30097219834cb504612c9bddbc
--- /dev/null
+++ b/slides.vrb
@@ -0,0 +1 @@
+\center Thanks.