PWD /home/soto/lab/soto-master/Paper
INPUT /usr/share/texmf-dist/web2c/texmf.cnf
INPUT /usr/share/texmf-dist/web2c/texmf.cnf
INPUT /var/lib/texmf/web2c/euptex/uplatex.fmt
INPUT /home/soto/lab/soto-master/Paper/master_paper.tex
OUTPUT master_paper.log
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujsize12.clo
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujsize12.clo
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujsize12.clo
INPUT /usr/share/texmf-dist/tex/uplatex/base/ujsize12.clo
INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
INPUT ./master_paper.sty
INPUT ./master_paper.sty
INPUT master_paper.sty
INPUT ./master_paper.sty
INPUT ./master_paper.sty
INPUT ./master_paper.sty
INPUT ./master_paper.sty
INPUT ./master_paper.sty
INPUT master_paper.sty
INPUT ./master_paper.sty
INPUT master_paper.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
INPUT /usr/share/texmf-dist/fonts/tfm/public/ascmac/ascgrp.tfm
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/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/keyval.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/graphics/keyval.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/graphics/keyval.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/graphics/keyval.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.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/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/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/dvipdfmx.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/dvipdfmx.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/dvipdfmx.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/dvipdfmx.def
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.sty
INPUT /usr/share/texmf-dist/tex/latex/here/here.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/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg
INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty
INPUT /usr/share/texmf-dist/tex/latex/comment/comment.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/tex/latex/url/url.sty
INPUT /usr/share/texmf-dist/tex/latex/url/url.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
INPUT /usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.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/latex/hyperref/hyperref.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/generic/ltxcmds/ltxcmds.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/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.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/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/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.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/generic/kvsetkeys/kvsetkeys.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/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/generic/pdfescape/pdfescape.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.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/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/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/auxhook/auxhook.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/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.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/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/generic/etexcmds/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.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/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/url/url.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/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.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/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.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/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/hdvipdfm.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hdvipdfm.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hdvipdfm.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hdvipdfm.def
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/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.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/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/generic/uniquecounter/uniquecounter.sty
INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.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/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/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
INPUT /usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.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/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/share/texmf-dist/fonts/tfm/public/bxjatoucs/bxjatoucs-cid.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/bxjatoucs/bxjatoucs-jis.tfm
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-ajm.def
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-ajm.def
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-ajm.def
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-ajm.def
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-uni.def
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-uni.def
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-uni.def
INPUT /usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-uni.def
INPUT /usr/share/texmf-dist/tex/latex/ascmac/ascmac.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/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/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/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/amsbsy.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.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/amsmath/amsopn.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.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/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/amsfonts/amsfonts.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
INPUT ./master_paper.aux
INPUT master_paper.aux
INPUT master_paper.aux
OUTPUT master_paper.aux
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/color.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/graphics/dvipsnam.def
INPUT /usr/share/texmf-dist/tex/latex/graphics/dvipsnam.def
INPUT /usr/share/texmf-dist/tex/latex/graphics/dvipsnam.def
INPUT /usr/share/texmf-dist/tex/latex/graphics/dvipsnam.def
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/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/latex/refcount/refcount.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.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 /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT ./master_paper.out
INPUT master_paper.out
INPUT ./master_paper.out
INPUT master_paper.out
INPUT ./master_paper.out
INPUT master_paper.out
INPUT ./master_paper.out
INPUT master_paper.out
INPUT ./master_paper.out
INPUT ./master_paper.out
OUTPUT master_paper.out
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
INPUT ./fig/u-ryukyu-Mark.eps
INPUT ./fig/u-ryukyu-Mark.eps
INPUT fig/u-ryukyu-Mark.eps
INPUT fig/u-ryukyu-Mark.eps
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
OUTPUT master_paper.dvi
INPUT ./fig/u-ryukyu-Mark.eps
INPUT ./fig/u-ryukyu-Mark.eps
INPUT fig/u-ryukyu-Mark.eps
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/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.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/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.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/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/japanese-otf/upnmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
INPUT ./tex/abst.tex
INPUT tex/abst.tex
INPUT ./tex/abst.tex
INPUT tex/abst.tex
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
INPUT ./tex/history.tex
INPUT tex/history.tex
INPUT ./tex/history.tex
INPUT tex/history.tex
INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1200.tfm
INPUT ./master_paper.toc
INPUT master_paper.toc
INPUT master_paper.toc
OUTPUT master_paper.toc
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm
INPUT ./master_paper.lof
INPUT master_paper.lof
INPUT master_paper.lof
OUTPUT master_paper.lof
INPUT ./master_paper.lol
INPUT master_paper.lol
INPUT master_paper.lol
OUTPUT master_paper.lol
INPUT ./tex/intro.tex
INPUT tex/intro.tex
INPUT ./tex/intro.tex
INPUT tex/intro.tex
INPUT ./tex/cbc.tex
INPUT tex/cbc.tex
INPUT ./tex/cbc.tex
INPUT tex/cbc.tex
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm
INPUT ./src/cbc/fib.c
INPUT src/cbc/fib.c
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
INPUT ./src/cbc/fib.c
INPUT src/cbc/fib.c
INPUT ./src/cbc/fib.c
INPUT src/cbc/fib.c
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT ./src/cbc/fib.cbc
INPUT src/cbc/fib.cbc
INPUT ./src/cbc/fib.cbc
INPUT src/cbc/fib.cbc
INPUT ./src/cbc/fib.cbc
INPUT src/cbc/fib.cbc
INPUT ./src/cbc/c.txt
INPUT src/cbc/c.txt
INPUT ./src/cbc/c.txt
INPUT src/cbc/c.txt
INPUT ./src/cbc/c.txt
INPUT src/cbc/c.txt
INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmtt.fd
INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmtt.fd
INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmtt.fd
INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmtt.fd
INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/tctt1000.tfm
INPUT ./src/cbc/cbc.txt
INPUT src/cbc/cbc.txt
INPUT ./src/cbc/cbc.txt
INPUT src/cbc/cbc.txt
INPUT ./src/cbc/cbc.txt
INPUT src/cbc/cbc.txt
INPUT ./fig/cbc_codegear.pdf
INPUT ./fig/cbc_codegear.pdf
INPUT fig/cbc_codegear.pdf
INPUT extractbb -B cropbox -O fig/cbc_codegear.pdf
INPUT ./tex/agda.tex
INPUT tex/agda.tex
INPUT ./tex/agda.tex
INPUT tex/agda.tex
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm
INPUT ./src/agda/plus.agda.replaced
INPUT src/agda/plus.agda.replaced
INPUT ./src/agda/plus.agda.replaced
INPUT src/agda/plus.agda.replaced
INPUT ./src/agda/plus.agda.replaced
INPUT src/agda/plus.agda.replaced
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/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.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/msam5.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 /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT ./src/agda/plus2.agda.replaced
INPUT src/agda/plus2.agda.replaced
INPUT ./src/agda/plus2.agda.replaced
INPUT src/agda/plus2.agda.replaced
INPUT ./src/agda/plus2.agda.replaced
INPUT src/agda/plus2.agda.replaced
INPUT ./src/agda/Nat.agda.replaced
INPUT src/agda/Nat.agda.replaced
INPUT ./src/agda/Nat.agda.replaced
INPUT src/agda/Nat.agda.replaced
INPUT ./src/agda/Nat.agda.replaced
INPUT src/agda/Nat.agda.replaced
INPUT ./src/agda/And.agda.replaced
INPUT src/agda/And.agda.replaced
INPUT ./src/agda/And.agda.replaced
INPUT src/agda/And.agda.replaced
INPUT ./src/agda/And.agda.replaced
INPUT src/agda/And.agda.replaced
INPUT ./src/agda/syllogism.agda.replaced
INPUT src/agda/syllogism.agda.replaced
INPUT ./src/agda/syllogism.agda.replaced
INPUT src/agda/syllogism.agda.replaced
INPUT ./src/agda/syllogism.agda.replaced
INPUT src/agda/syllogism.agda.replaced
INPUT ./src/agda/abridgement.agda.replaced
INPUT src/agda/abridgement.agda.replaced
INPUT ./src/agda/abridgement.agda.replaced
INPUT src/agda/abridgement.agda.replaced
INPUT ./src/agda/abridgement.agda.replaced
INPUT src/agda/abridgement.agda.replaced
INPUT ./src/zero.agda.replaced
INPUT src/zero.agda.replaced
INPUT ./src/zero.agda.replaced
INPUT src/zero.agda.replaced
INPUT ./src/zero.agda.replaced
INPUT src/zero.agda.replaced
INPUT /usr/share/texmf-dist/tex/latex/base/omscmr.fd
INPUT /usr/share/texmf-dist/tex/latex/base/omscmr.fd
INPUT /usr/share/texmf-dist/tex/latex/base/omscmr.fd
INPUT /usr/share/texmf-dist/tex/latex/base/omscmr.fd
INPUT ./src/cong.agda.replaced
INPUT src/cong.agda.replaced
INPUT ./src/cong.agda.replaced
INPUT src/cong.agda.replaced
INPUT ./src/cong.agda.replaced
INPUT src/cong.agda.replaced
INPUT ./src/agda-term3.agda.replaced
INPUT src/agda-term3.agda.replaced
INPUT ./src/agda-term3.agda.replaced
INPUT src/agda-term3.agda.replaced
INPUT ./src/agda-term3.agda.replaced
INPUT src/agda-term3.agda.replaced
INPUT ./tex/cbc_agda.tex
INPUT tex/cbc_agda.tex
INPUT ./tex/cbc_agda.tex
INPUT tex/cbc_agda.tex
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./src/agda/cbc-agda.agda.replaced
INPUT src/agda/cbc-agda.agda.replaced
INPUT ./tex/hoare.tex
INPUT tex/hoare.tex
INPUT ./tex/hoare.tex
INPUT tex/hoare.tex
INPUT ./tex/while_loop.tex
INPUT tex/while_loop.tex
INPUT ./tex/while_loop.tex
INPUT tex/while_loop.tex
INPUT ./src/while_loop_impl/while_loop_dg.agda.replaced
INPUT src/while_loop_impl/while_loop_dg.agda.replaced
INPUT ./src/while_loop_impl/while_loop_dg.agda.replaced
INPUT src/while_loop_impl/while_loop_dg.agda.replaced
INPUT ./src/while_loop_impl/while_loop_dg.agda.replaced
INPUT src/while_loop_impl/while_loop_dg.agda.replaced
INPUT ./src/while_loop_impl/init_cg.agda.replaced
INPUT src/while_loop_impl/init_cg.agda.replaced
INPUT ./src/while_loop_impl/init_cg.agda.replaced
INPUT src/while_loop_impl/init_cg.agda.replaced
INPUT ./src/while_loop_impl/init_cg.agda.replaced
INPUT src/while_loop_impl/init_cg.agda.replaced
INPUT ./src/while_loop_impl/while_loop.agda.replaced
INPUT src/while_loop_impl/while_loop.agda.replaced
INPUT ./src/while_loop_impl/while_loop.agda.replaced
INPUT src/while_loop_impl/while_loop.agda.replaced
INPUT ./src/while_loop_impl/while_loop.agda.replaced
INPUT src/while_loop_impl/while_loop.agda.replaced
INPUT ./src/while_loop_impl/while_loop_c.agda.replaced
INPUT src/while_loop_impl/while_loop_c.agda.replaced
INPUT ./src/while_loop_impl/while_loop_c.agda.replaced
INPUT src/while_loop_impl/while_loop_c.agda.replaced
INPUT ./src/while_loop_impl/while_loop_c.agda.replaced
INPUT src/while_loop_impl/while_loop_c.agda.replaced
INPUT ./src/while_loop_verif/init_cg.agda.replaced
INPUT src/while_loop_verif/init_cg.agda.replaced
INPUT ./src/while_loop_verif/init_cg.agda.replaced
INPUT src/while_loop_verif/init_cg.agda.replaced
INPUT ./src/while_loop_verif/init_cg.agda.replaced
INPUT src/while_loop_verif/init_cg.agda.replaced
INPUT ./src/while_loop_verif/conversion.agda.replaced
INPUT src/while_loop_verif/conversion.agda.replaced
INPUT ./src/while_loop_verif/conversion.agda.replaced
INPUT src/while_loop_verif/conversion.agda.replaced
INPUT ./src/while_loop_verif/conversion.agda.replaced
INPUT src/while_loop_verif/conversion.agda.replaced
INPUT ./src/while_loop_verif/while_loop.agda.replaced
INPUT src/while_loop_verif/while_loop.agda.replaced
INPUT ./src/while_loop_verif/while_loop.agda.replaced
INPUT src/while_loop_verif/while_loop.agda.replaced
INPUT ./src/while_loop_verif/while_loop.agda.replaced
INPUT src/while_loop_verif/while_loop.agda.replaced
INPUT ./src/while_loop_verif/verif_term.agda.replaced
INPUT src/while_loop_verif/verif_term.agda.replaced
INPUT ./src/while_loop_verif/verif_term.agda.replaced
INPUT src/while_loop_verif/verif_term.agda.replaced
INPUT ./src/while_loop_verif/verif_term.agda.replaced
INPUT src/while_loop_verif/verif_term.agda.replaced
INPUT ./src/while_loop_verif/verif_loop.agda.replaced
INPUT src/while_loop_verif/verif_loop.agda.replaced
INPUT ./src/while_loop_verif/verif_loop.agda.replaced
INPUT src/while_loop_verif/verif_loop.agda.replaced
INPUT ./src/while_loop_verif/verif_loop.agda.replaced
INPUT src/while_loop_verif/verif_loop.agda.replaced
INPUT ./src/while_loop_verif/verif.agda.replaced
INPUT src/while_loop_verif/verif.agda.replaced
INPUT ./src/while_loop_verif/verif.agda.replaced
INPUT src/while_loop_verif/verif.agda.replaced
INPUT ./src/while_loop_verif/verif.agda.replaced
INPUT src/while_loop_verif/verif.agda.replaced
INPUT ./tex/tree_desc.tex
INPUT tex/tree_desc.tex
INPUT ./tex/tree_desc.tex
INPUT tex/tree_desc.tex
INPUT ./fig/rbt-stack.pdf
INPUT ./fig/rbt-stack.pdf
INPUT fig/rbt-stack.pdf
INPUT extractbb -B cropbox -O fig/rbt-stack.pdf
INPUT ./src/bt_impl/bt_env.agda.replaced
INPUT src/bt_impl/bt_env.agda.replaced
INPUT ./src/bt_impl/bt_env.agda.replaced
INPUT src/bt_impl/bt_env.agda.replaced
INPUT ./src/bt_impl/bt_env.agda.replaced
INPUT src/bt_impl/bt_env.agda.replaced
INPUT ./src/bt_impl/find.agda.replaced
INPUT src/bt_impl/find.agda.replaced
INPUT ./src/bt_impl/find.agda.replaced
INPUT src/bt_impl/find.agda.replaced
INPUT ./src/bt_impl/find.agda.replaced
INPUT src/bt_impl/find.agda.replaced
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm
INPUT ./src/bt_impl/replace.agda.replaced
INPUT src/bt_impl/replace.agda.replaced
INPUT ./src/bt_impl/replace.agda.replaced
INPUT src/bt_impl/replace.agda.replaced
INPUT ./src/bt_impl/replace.agda.replaced
INPUT src/bt_impl/replace.agda.replaced
INPUT ./src/bt_verif/invariant.agda.replaced
INPUT src/bt_verif/invariant.agda.replaced
INPUT ./src/bt_verif/invariant.agda.replaced
INPUT src/bt_verif/invariant.agda.replaced
INPUT ./src/bt_verif/invariant.agda.replaced
INPUT src/bt_verif/invariant.agda.replaced
INPUT ./src/bt_verif/find.agda.replaced
INPUT src/bt_verif/find.agda.replaced
INPUT ./src/bt_verif/find.agda.replaced
INPUT src/bt_verif/find.agda.replaced
INPUT ./src/bt_verif/find.agda.replaced
INPUT src/bt_verif/find.agda.replaced
INPUT ./tex/spin_dpp.tex
INPUT tex/spin_dpp.tex
INPUT ./tex/spin_dpp.tex
INPUT tex/spin_dpp.tex
INPUT ./fig/Dining.pdf
INPUT ./fig/Dining.pdf
INPUT fig/Dining.pdf
INPUT extractbb -B cropbox -O fig/Dining.pdf
INPUT ./src/dpp-verif/spin.pml
INPUT src/dpp-verif/spin.pml
INPUT ./src/dpp-verif/spin.pml
INPUT src/dpp-verif/spin.pml
INPUT ./src/dpp-verif/spin.pml
INPUT src/dpp-verif/spin.pml
INPUT ./fig/dpp-model.pdf
INPUT ./fig/dpp-model.pdf
INPUT fig/dpp-model.pdf
INPUT extractbb -B cropbox -O fig/dpp-model.pdf
INPUT ./tex/dpp_impl.tex
INPUT tex/dpp_impl.tex
INPUT ./tex/dpp_impl.tex
INPUT tex/dpp_impl.tex
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/agda-dpp-impl.agda.replaced
INPUT src/agda-dpp-impl.agda.replaced
INPUT ./src/dpp-verif/dpp-metadata.agda.replaced
INPUT src/dpp-verif/dpp-metadata.agda.replaced
INPUT ./src/dpp-verif/dpp-metadata.agda.replaced
INPUT src/dpp-verif/dpp-metadata.agda.replaced
INPUT ./src/dpp-verif/dpp-metadata.agda.replaced
INPUT src/dpp-verif/dpp-metadata.agda.replaced
INPUT ./src/dpp-verif/dpp-metacode.agda.replaced
INPUT src/dpp-verif/dpp-metacode.agda.replaced
INPUT ./src/dpp-verif/dpp-metacode.agda.replaced
INPUT src/dpp-verif/dpp-metacode.agda.replaced
INPUT ./src/dpp-verif/dpp-metacode.agda.replaced
INPUT src/dpp-verif/dpp-metacode.agda.replaced
INPUT ./src/dpp-verif/judge-deadlock.agda.replaced
INPUT src/dpp-verif/judge-deadlock.agda.replaced
INPUT ./src/dpp-verif/judge-deadlock.agda.replaced
INPUT src/dpp-verif/judge-deadlock.agda.replaced
INPUT ./src/dpp-verif/judge-deadlock.agda.replaced
INPUT src/dpp-verif/judge-deadlock.agda.replaced
INPUT ./src/dpp-verif/exclude-same-env.agda.replaced
INPUT src/dpp-verif/exclude-same-env.agda.replaced
INPUT ./src/dpp-verif/exclude-same-env.agda.replaced
INPUT src/dpp-verif/exclude-same-env.agda.replaced
INPUT ./src/dpp-verif/exclude-same-env.agda.replaced
INPUT src/dpp-verif/exclude-same-env.agda.replaced
INPUT ./tex/conclusion.tex
INPUT tex/conclusion.tex
INPUT ./tex/conclusion.tex
INPUT tex/conclusion.tex
INPUT ./tex/thanks.tex
INPUT tex/thanks.tex
INPUT ./tex/thanks.tex
INPUT tex/thanks.tex
INPUT ./master_paper.bbl
INPUT master_paper.bbl
INPUT ./master_paper.bbl
INPUT master_paper.bbl
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlgothr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlgothr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmti12.tfm
INPUT master_paper.aux
INPUT ./master_paper.out
INPUT ./master_paper.out