PWD /build/coq/src/coq-8.13.1/doc/sphinx/_build/latex
INPUT /usr/share/texmf-dist/web2c/texmf.cnf
INPUT /var/lib/texmf/web2c/xetex/xelatex.fmt
INPUT CoqRefMan.tex
OUTPUT CoqRefMan.log
INPUT ./sphinxmanual.cls
INPUT sphinxmanual.cls
INPUT ./sphinxmanual.cls
INPUT ./sphinxmanual.cls
INPUT ./sphinxmanual.cls
INPUT ./sphinxmanual.cls
INPUT ./sphinxmanual.cls
INPUT sphinxmanual.cls
INPUT ./sphinxmanual.cls
INPUT sphinxmanual.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
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/amsmath/amsmath.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/amsmath.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/amsmath.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/amsmath.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/amsmath/amstext.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/amstext.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/amstext.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/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/amsgen.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/amsgen.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/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/amsbsy.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/amsbsy.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/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/amsmath/amsopn.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/amsmath/amsopn.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/amsmath/amsopn.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
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/amssymb.sty
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/amssymb.sty
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/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/amsfonts/amsfonts.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/amsfonts/amsfonts.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/amsfonts/amsfonts.sty
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex
INPUT /usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex
INPUT /usr/share/texmf-dist/tex/generic/xkeyval/keyval.tex
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse-generic.tex
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/base/tuenc.def
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.cfg
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.cfg
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.cfg
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.cfg
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook-2020.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-latex.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-latex.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-latex.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-latex.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-latex.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT ./sphinx.sty
INPUT sphinx.sty
INPUT ./sphinx.sty
INPUT ./sphinx.sty
INPUT ./sphinx.sty
INPUT ./sphinx.sty
INPUT ./sphinx.sty
INPUT sphinx.sty
INPUT ./sphinx.sty
INPUT sphinx.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.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/graphicx.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/graphicx.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/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/graphics.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/graphics.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/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/trig.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/trig.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/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-cfg/graphics.cfg
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/xetex.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/xetex.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/xetex.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/xetex.def
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.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/textcomp.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/textcomp.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/textcomp.sty
INPUT /usr/share/texmf-dist/tex/latex/base/textcomp.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT ./sphinxmulticell.sty
INPUT sphinxmulticell.sty
INPUT ./sphinxmulticell.sty
INPUT ./sphinxmulticell.sty
INPUT ./sphinxmulticell.sty
INPUT ./sphinxmulticell.sty
INPUT ./sphinxmulticell.sty
INPUT sphinxmulticell.sty
INPUT ./sphinxmulticell.sty
INPUT sphinxmulticell.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
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/xcolor/xcolor.sty
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/xcolor/xcolor.sty
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/xcolor/xcolor.sty
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/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/latex/graphics-cfg/color.cfg
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT ./footnotehyper-sphinx.sty
INPUT footnotehyper-sphinx.sty
INPUT ./footnotehyper-sphinx.sty
INPUT ./footnotehyper-sphinx.sty
INPUT ./footnotehyper-sphinx.sty
INPUT ./footnotehyper-sphinx.sty
INPUT ./footnotehyper-sphinx.sty
INPUT footnotehyper-sphinx.sty
INPUT ./footnotehyper-sphinx.sty
INPUT footnotehyper-sphinx.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip-2001-04-09.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip-2001-04-09.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip-2001-04-09.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/multicol.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/latex/hyperref/hyperref.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
INPUT ./sphinxhighlight.sty
INPUT sphinxhighlight.sty
INPUT ./sphinxhighlight.sty
INPUT ./sphinxhighlight.sty
INPUT ./sphinxhighlight.sty
INPUT ./sphinxhighlight.sty
INPUT ./sphinxhighlight.sty
INPUT sphinxhighlight.sty
INPUT ./sphinxhighlight.sty
INPUT sphinxhighlight.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.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/latex/hyperref/hyperref.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/latex/hyperref/hyperref.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/latex/hyperref/hyperref.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.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/hyperref/pd1enc.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/puenc.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/puenc.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/puenc.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/puenc.def
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/url/url.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/url/url.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/url/url.sty
INPUT /usr/share/texmf-dist/tex/latex/url/url.sty
INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map
INPUT /usr/share/texmf-dist/fonts/tfm/adobe/zapfding/pzdr.tfm
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty
INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty
INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty
INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty
INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hxetex.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hxetex.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hxetex.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hxetex.def
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty
INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty
INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty
INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty
INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
INPUT /usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT ./sphinxmessages.sty
INPUT sphinxmessages.sty
INPUT ./sphinxmessages.sty
INPUT ./sphinxmessages.sty
INPUT ./sphinxmessages.sty
INPUT ./sphinxmessages.sty
INPUT ./sphinxmessages.sty
INPUT sphinxmessages.sty
INPUT ./sphinxmessages.sty
INPUT sphinxmessages.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.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/base/ts1enc.def
INPUT /usr/share/texmf-dist/tex/latex/base/ts1enc.def
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex
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.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.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.sty
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.sty
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype-xetex.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/microtype/microtype.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.cfg
INPUT ./refman-preamble.sty
INPUT refman-preamble.sty
INPUT ./refman-preamble.sty
INPUT ./refman-preamble.sty
INPUT ./refman-preamble.sty
INPUT ./refman-preamble.sty
INPUT ./refman-preamble.sty
INPUT refman-preamble.sty
INPUT ./refman-preamble.sty
INPUT refman-preamble.sty
INPUT ./coqnotations.sty
INPUT coqnotations.sty
INPUT ./coqnotations.sty
INPUT ./coqnotations.sty
INPUT ./coqnotations.sty
INPUT ./coqnotations.sty
INPUT ./coqnotations.sty
INPUT coqnotations.sty
INPUT ./coqnotations.sty
INPUT coqnotations.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/tc-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/tc-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/tc-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/tc-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
OUTPUT CoqRefMan.idx
INPUT ./CoqRefMan.aux
INPUT CoqRefMan.aux
INPUT CoqRefMan.aux
OUTPUT CoqRefMan.aux
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/latex/hyperref/nameref.sty
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/latex/hyperref/nameref.sty
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/latex/hyperref/nameref.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT ./CoqRefMan.out
INPUT CoqRefMan.out
INPUT ./CoqRefMan.out
INPUT CoqRefMan.out
INPUT ./CoqRefMan.out
INPUT CoqRefMan.out
INPUT ./CoqRefMan.out
INPUT CoqRefMan.out
INPUT ./CoqRefMan.out
INPUT ./CoqRefMan.out
OUTPUT CoqRefMan.out
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.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/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/tex/latex/microtype/mt-msa.cfg
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/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/msam10.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/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/tex/latex/microtype/mt-msb.cfg
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/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/msbm10.tfm
INPUT ./CoqRefMan.toc
INPUT CoqRefMan.toc
INPUT CoqRefMan.toc
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/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
OUTPUT CoqRefMan.toc
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/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/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
INPUT ./diffs-coqide-on.png
INPUT ./diffs-coqide-on.png
INPUT diffs-coqide-on.png
INPUT ./diffs-coqide-on.png
INPUT ./diffs-coqide-on.png
INPUT diffs-coqide-on.png
INPUT ./diffs-coqide-removed.png
INPUT ./diffs-coqide-removed.png
INPUT diffs-coqide-removed.png
INPUT ./diffs-coqide-removed.png
INPUT ./diffs-coqide-removed.png
INPUT diffs-coqide-removed.png
INPUT ./diffs-coqtop-on3.png
INPUT ./diffs-coqtop-on3.png
INPUT diffs-coqtop-on3.png
INPUT ./diffs-coqtop-on3.png
INPUT ./diffs-coqtop-on3.png
INPUT diffs-coqtop-on3.png
INPUT ./diffs-error-message.png
INPUT ./diffs-error-message.png
INPUT diffs-error-message.png
INPUT ./diffs-error-message.png
INPUT ./diffs-error-message.png
INPUT diffs-error-message.png
INPUT ./diffs-coqide-multigoal.png
INPUT ./diffs-coqide-multigoal.png
INPUT diffs-coqide-multigoal.png
INPUT ./diffs-coqide-multigoal.png
INPUT ./diffs-coqide-multigoal.png
INPUT diffs-coqide-multigoal.png
INPUT ./diffs-coqide-compacted.png
INPUT ./diffs-coqide-compacted.png
INPUT diffs-coqide-compacted.png
INPUT ./diffs-coqide-compacted.png
INPUT ./diffs-coqide-compacted.png
INPUT diffs-coqide-compacted.png
INPUT ./diffs-show-proof.png
INPUT ./diffs-show-proof.png
INPUT diffs-show-proof.png
INPUT ./diffs-show-proof.png
INPUT ./diffs-show-proof.png
INPUT diffs-show-proof.png
INPUT ./coqide.png
INPUT ./coqide.png
INPUT coqide.png
INPUT ./coqide.png
INPUT ./coqide.png
INPUT coqide.png
INPUT ./coqide-queries.png
INPUT ./coqide-queries.png
INPUT coqide-queries.png
INPUT ./coqide-queries.png
INPUT ./coqide-queries.png
INPUT coqide-queries.png
INPUT ./CoqRefMan.ind
INPUT CoqRefMan.ind
INPUT ./CoqRefMan.ind
INPUT CoqRefMan.ind
INPUT CoqRefMan.aux
INPUT ./CoqRefMan.out
INPUT ./CoqRefMan.out
