diff -r abad02dd7719 -r 0a6cd528abf2 etnms/ninems.fls
--- a/etnms/ninems.fls	Fri Jan 10 16:16:59 2020 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,508 +0,0 @@
-PWD /Users/cstan/Desktop/code_scala/cst_tests/ninems
-INPUT /usr/local/texlive/2018/texmf.cnf
-INPUT /usr/local/texlive/2018/texmf-dist/web2c/texmf.cnf
-INPUT /usr/local/texlive/2018/texmf-var/web2c/pdftex/pdflatex.fmt
-INPUT ninems.tex
-OUTPUT ninems.log
-INPUT lipics.cls
-INPUT lipics.cls
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/article.cls
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/article.cls
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/fleqn.clo
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/fleqn.clo
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/size10.clo
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/size10.clo
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/inputenc.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/inputenc.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/lmodern.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/lmodern.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/lmodern.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/t1enc.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/t1enc.def
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/map/fontname/texfonts.map
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/textcomp.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/textcomp.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/ts1enc.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/ts1enc.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/ts1enc.dfu
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/ts1enc.dfu
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/eucal.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/eucal.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amsfonts.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amsfonts.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/soul/soul.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/soul/soul.sty
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ectt1000.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/color.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/color.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-def/pdftex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-def/pdftex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/babel/babel.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/babel/babel.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/babel/switch.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/babel-english/UKenglish.ldf
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/babel-english/UKenglish.ldf
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/babel-english/UKenglish.ldf
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/babel-english/english.ldf
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/babel/babel.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/babel/txtbabel.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsmath.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsmath.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amstext.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amstext.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsgen.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsgen.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsbsy.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsbsy.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsopn.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsopn.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amscls/amsthm.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amscls/amsthm.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/tools/array.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/tools/array.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/multirow/multirow.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/multirow/multirow.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/tools/tabularx.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/tools/tabularx.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/threeparttable/threeparttable.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/threeparttable/threeparttable.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/listings/listings.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/listings/listings.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/listings/lstmisc.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/listings/lstmisc.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/listings/listings.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/listings/listings.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lastpage/lastpage.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lastpage/lastpage.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/doi/doi.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/doi/doi.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/doi/doi.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/hyperref.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/hyperref.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/ifxetex/ifxetex.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/ifxetex/ifxetex.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/auxhook.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/auxhook.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/kvoptions.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/kvoptions.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/pd1enc.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/pd1enc.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/latexconfig/hyperref.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/latexconfig/hyperref.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/url/url.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/url/url.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/hpdftex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/hpdftex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/caption/caption.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/caption/caption.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/caption/caption3.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/caption/caption3.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/rotating.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics/rotating.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/ifthen.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/ifthen.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/subfig/subfig.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/subfig/subfig.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/preprint/authblk.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/preprint/authblk.sty
-INPUT graphic.sty
-INPUT graphic.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/ms/everyshi.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/ms/everyshi.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/xcolor/xcolor.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/xcolor/xcolor.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/math/pgfmath.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgf/math/pgfmath.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgfplots/pgfplots.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/pgfplots/pgfplots.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_loader.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_pgflibraryfpu.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_pgfmathfloat.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_leq.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructure.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructureext.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsmatrix.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshared.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.surfshading.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading.pgfsys-pdftex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading.pgfsys-pdftex.def
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplotsstackedplots.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgfplots/pgfplots.paths.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathmorphing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathmorphing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex
-INPUT data.sty
-INPUT data.sty
-INPUT re-python2.data
-INPUT re-js.data
-INPUT re-java.data
-INPUT good-java.data
-INPUT bad-scala.data
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarymatrix.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarymatrix.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryquotes.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryquotes.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/algorithmicx/algpseudocode.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/algorithmicx/algpseudocode.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/algorithmicx/algorithmicx.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/algorithmicx/algorithmicx.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/enumitem/enumitem.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/enumitem/enumitem.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/ncctools/nccmath.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/ncctools/nccmath.sty
-INPUT ninems.aux
-INPUT ninems.aux
-OUTPUT ninems.aux
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/ts1cmr.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/base/ts1cmr.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/t1lmr.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/t1lmr.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
-INPUT /usr/local/texlive/2018/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/grfext.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/grfext.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/nameref.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/nameref.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
-INPUT /usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
-INPUT ninems.out
-INPUT ninems.out
-INPUT ninems.out
-INPUT ninems.out
-OUTPUT ninems.pdf
-INPUT ./ninems.out
-INPUT ./ninems.out
-OUTPUT ninems.out
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr17.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/t1lmss.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/t1lmss.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmss17.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmssbx10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/ot1lmr.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/ot1lmr.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/omllmm.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/omllmm.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/omslmsy.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/omslmsy.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/omxlmex.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/omxlmex.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmex10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/umsa.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/umsa.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/umsb.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/umsb.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr12.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmbx12.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmbx10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/t1lmtt.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/t1lmtt.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmtk10.tfm
-OUTPUT ninems.vtc
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmss10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmssbx10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmri10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmss10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmss12.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmssbx10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmri10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr9.tfm
-INPUT re-js.data
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr6.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi6.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy6.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
-INPUT re-python2.data
-INPUT re-java.data
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr7.tfm
-INPUT cc-by.pdf
-INPUT ./cc-by.pdf
-INPUT ./cc-by.pdf
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/ts1lmr.fd
-INPUT /usr/local/texlive/2018/texmf-dist/tex/latex/lm/ts1lmr.fd
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ts1-lmr7.tfm
-INPUT lipics-logo-bw.pdf
-INPUT ./lipics-logo-bw.pdf
-INPUT ./lipics-logo-bw.pdf
-INPUT /usr/local/texlive/2018/texmf-var/fonts/map/pdftex/updmap/pdftex.map
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr6.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi6.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy6.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr6.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmtt9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmbx10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmri9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmri7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmri7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmbx9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmri10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmri7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmssbx10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmri7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmri7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmri9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmr6.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmri7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmbx10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmbx7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmbx5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmbx9.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmbx6.tfm
-INPUT bad-scala.data
-INPUT good-java.data
-INPUT ninems.bbl
-INPUT ninems.bbl
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmss10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmssbx10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/ec-lmtt10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmr5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmmi5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/lmsy5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmbx10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmbx7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmbx5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmri10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmri7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/lm/rm-lmri7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
-INPUT ninems.aux
-INPUT ./ninems.out
-INPUT ./ninems.out
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/lm/lm-ec.enc
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/lm/lm-rm.enc
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/lm/lm-mathit.enc
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/lm/lm-mathsy.enc
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/lm/lm-ts1.enc
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/lm/lm-mathex.enc
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmbx10.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmbx12.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmbx7.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmbx9.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmex10.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmmi10.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmmi5.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmmi6.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmmi7.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmmi9.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmr10.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmr5.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmr6.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmr7.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmr9.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmri10.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmri7.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmri9.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmssbx10.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmsy10.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmsy6.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmsy7.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmsy9.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmtk10.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmtt10.pfb
-INPUT /usr/local/texlive/2018/texmf-dist/fonts/type1/public/lm/lmtt9.pfb