PWD /home/matt/papers/shulman/catlog
INPUT /usr/share/texmf-dist/web2c/texmf.cnf
INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
INPUT catlog.tex
OUTPUT catlog.log
INPUT /usr/share/texmf-dist/tex/latex/base/book.cls
INPUT /usr/share/texmf-dist/tex/latex/base/book.cls
INPUT /usr/share/texmf-dist/tex/latex/base/bk10.clo
INPUT /usr/share/texmf-dist/tex/latex/base/bk10.clo
INPUT mathpartir.sty
INPUT mathpartir.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/share/texmf-dist/tex/latex/cancel/cancel.sty
INPUT /usr/share/texmf-dist/tex/latex/cancel/cancel.sty
INPUT /usr/share/texmf-dist/tex/latex/cmll/cmll.sty
INPUT /usr/share/texmf-dist/tex/latex/cmll/cmll.sty
INPUT /usr/share/texmf-dist/tex/latex/base/ifthen.sty
INPUT /usr/share/texmf-dist/tex/latex/base/ifthen.sty
INPUT /usr/share/texmf-dist/tex/latex/base/textcomp.sty
INPUT /usr/share/texmf-dist/tex/latex/base/textcomp.sty
INPUT /usr/share/texmf-dist/tex/latex/base/ts1enc.def
INPUT /usr/share/texmf-dist/tex/latex/base/ts1enc.def
INPUT /usr/share/texmf-dist/tex/latex/environ/environ.sty
INPUT /usr/share/texmf-dist/tex/latex/environ/environ.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT decls.tex
INPUT decls.tex
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/share/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty
INPUT /usr/share/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty
INPUT /usr/share/texmf-dist/tex/latex/jknapltx/mathrsfs.sty
INPUT /usr/share/texmf-dist/tex/latex/jknapltx/mathrsfs.sty
INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
INPUT /usr/share/texmf-dist/tex/generic/xypic/xy.sty
INPUT /usr/share/texmf-dist/tex/generic/xypic/xy.sty
INPUT /usr/share/texmf-dist/tex/generic/xypic/xy.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyrecat.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyidioms.tex
INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map
INPUT /usr/share/texmf-dist/fonts/tfm/public/xypic/xydash10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/xypic/xyatip10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/xypic/xybtip10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/xypic/xybsql10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/xypic/xycirc10.tfm
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyall.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyall.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xycurve.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xycurve.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyframe.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyframe.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xycmtip.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xycmtip.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xytips.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xytips.tex
INPUT /usr/share/texmf-dist/fonts/tfm/public/xypic/xycmat10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/xypic/xycmbt10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/xypic/xyluat10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/xypic/xylubt10.tfm
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyline.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyline.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyrotate.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyrotate.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xycolor.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xycolor.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xymatrix.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xymatrix.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyarrow.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xyarrow.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xygraph.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xygraph.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xy2cell.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xy2cell.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xypdf.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xypdf.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xypdf-co.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xypdf-cu.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xypdf-fr.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xypdf-li.tex
INPUT /usr/share/texmf-dist/tex/generic/xypic/xypdf-ro.tex
INPUT /usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
INPUT /usr/share/texmf-dist/tex/latex/ms/everyshi.sty
INPUT /usr/share/texmf-dist/tex/latex/ms/everyshi.sty
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
INPUT /usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
INPUT /usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex
INPUT /usr/share/texmf-dist/tex/latex/enumitem/enumitem.sty
INPUT /usr/share/texmf-dist/tex/latex/enumitem/enumitem.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
INPUT /usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty
INPUT /usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
INPUT /usr/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg
INPUT /usr/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg
INPUT /usr/share/texmf-dist/tex/latex/hyperref/backref.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/backref.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/url/url.sty
INPUT /usr/share/texmf-dist/tex/latex/url/url.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def
INPUT /usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty
INPUT /usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/calc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/calc.sty
INPUT /usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty
INPUT /usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty
INPUT /usr/share/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty
INPUT /usr/share/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.sty
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.sty
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype-pdftex.def
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype-pdftex.def
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.cfg
INPUT /usr/share/texmf-dist/tex/latex/braket/braket.sty
INPUT /usr/share/texmf-dist/tex/latex/braket/braket.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/xspace.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/xspace.sty
INPUT /usr/share/texmf-dist/tex/latex/cleveref/cleveref.sty
INPUT /usr/share/texmf-dist/tex/latex/cleveref/cleveref.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/aliascnt.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/aliascnt.sty
INPUT /usr/share/texmf-dist/tex/latex/carlisle/remreset.sty
INPUT /usr/share/texmf-dist/tex/latex/carlisle/remreset.sty
INPUT macros.tex
INPUT macros.tex
INPUT /usr/share/texmf-dist/tex/latex/version/version.sty
INPUT /usr/share/texmf-dist/tex/latex/version/version.sty
INPUT catlog.aux
INPUT catlog.aux
INPUT intro.aux
INPUT intro.aux
OUTPUT catlog.aux
INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmr.fd
INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmr.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
INPUT /usr/share/texmf-dist/tex/latex/cmll/ucmllr.fd
INPUT /usr/share/texmf-dist/tex/latex/cmll/ucmllr.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/tex/latex/stmaryrd/Ustmry.fd
INPUT /usr/share/texmf-dist/tex/latex/stmaryrd/Ustmry.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/stmaryrd/stmary10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/stmaryrd/stmary7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/stmaryrd/stmary5.tfm
INPUT /usr/share/texmf-dist/tex/latex/jknapltx/ursfs.fd
INPUT /usr/share/texmf-dist/tex/latex/jknapltx/ursfs.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/rsfs/rsfs10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/rsfs/rsfs7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/rsfs/rsfs5.tfm
INPUT /usr/share/texmf-dist/tex/latex/bbold/Ubbold.fd
INPUT /usr/share/texmf-dist/tex/latex/bbold/Ubbold.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/bbold/bbold10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/bbold/bbold7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/bbold/bbold5.tfm
INPUT /usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
INPUT /usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/grfext.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/grfext.sty
INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
INPUT catlog.out
INPUT catlog.out
INPUT catlog.out
INPUT catlog.out
OUTPUT catlog.pdf
INPUT ./catlog.out
INPUT ./catlog.out
OUTPUT catlog.out
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-cmr.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-cmr.cfg
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/stmaryrd/stmary10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/stmaryrd/stmary8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/stmaryrd/stmary6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/rsfs/rsfs10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/rsfs/rsfs10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/rsfs/rsfs5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/bbold/bbold12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/bbold/bbold8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/bbold/bbold6.tfm
INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsl10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
INPUT catlog.toc
INPUT catlog.toc
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm
OUTPUT catlog.toc
OUTPUT intro.aux
INPUT intro.tex
INPUT intro.tex
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmti10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmti8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbxti10.tfm
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/ueuf.fd
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/ueuf.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/euler/eufm10.tfm
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-euf.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-euf.cfg
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/euler/eufm7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/euler/eufm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm
INPUT catlog.bbl
INPUT catlog.bbl
INPUT catlog.brf
INPUT catlog.brf
INPUT ./catlog.brf
INPUT ./catlog.brf
OUTPUT catlog.brf
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
INPUT catlog.aux
INPUT intro.aux
INPUT intro.aux
INPUT ./catlog.out
INPUT ./catlog.out
INPUT ./catlog.brf
INPUT ./catlog.brf
INPUT /usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbxti10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsl10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/latxfont/line10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/xypic/xycmat10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/xypic/xycmbt10.pfb