PWD /home/soto/lab/soto-sigos/Paper
INPUT /usr/share/texmf-dist/web2c/texmf.cnf
INPUT /usr/share/texmf-dist/web2c/texmf.cnf
INPUT /var/lib/texmf/web2c/eptex/platex.fmt
INPUT /home/soto/lab/soto-sigos/Paper/soto-sigos.tex
OUTPUT soto-sigos.log
INPUT ./ipsj.cls
INPUT ./ipsj.cls
INPUT ipsj.cls
INPUT ./ipsj.cls
INPUT ./ipsj.cls
INPUT ./ipsj.cls
INPUT ./ipsj.cls
INPUT ./ipsj.cls
INPUT ipsj.cls
INPUT ./ipsj.cls
INPUT ipsj.cls
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-def/dvips.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/dvips.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/dvips.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/dvips.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/graphics/dvipsnam.def
INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map
INPUT /usr/share/texmf-dist/fonts/tfm/ptex-fonts/standard/tmin10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/ptex-fonts/jis/jis.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT ./ipsjtech.sty
INPUT ipsjtech.sty
INPUT ./ipsjtech.sty
INPUT ipsjtech.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/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.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/base/textcomp.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.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/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/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/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/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/graphics/graphicx.sty
INPUT /usr/share/texmf-dist/tex/latex/lm/lmodern.sty
INPUT /usr/share/texmf-dist/tex/latex/base/textcomp.sty
INPUT /usr/share/texmf-dist/tex/latex/base/latexsym.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/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/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/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/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/cite/cite.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.sty
INPUT /usr/share/texmf-dist/tex/latex/svg/svg.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/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrbase.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/koma-script/scrlogo.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.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/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/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/ifplatform/ifplatform.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/shellesc.sty
INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.sty
INPUT /usr/share/texmf-dist/tex/generic/catchfile/catchfile.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/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/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /dev/null
INPUT /dev/null
INPUT /dev/null
INPUT ./soto-sigos.w18
INPUT soto-sigos.w18
INPUT soto-sigos.w18
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/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/latex/transparent/transparent.sty
INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-postscript.def
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
INPUT /usr/share/texmf-dist/tex/latex/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/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/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/tex/latex/lm/t1lmr.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/t1lmr.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/t1lmr.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/t1lmr.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr10.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 ./soto-sigos.aux
INPUT soto-sigos.aux
INPUT soto-sigos.aux
OUTPUT soto-sigos.aux
INPUT 'inkscape' -V 
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr9.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx9.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/ptex-fonts/standard/tgoth10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/ptex-fonts/jis/jisg.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/ptex-fonts/standard/tgoth10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/ptex-fonts/jis/jisg.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr17.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx12.tfm
INPUT /usr/share/texmf-dist/tex/latex/lm/ot1lmr.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/ot1lmr.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/ot1lmr.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/ot1lmr.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr5.tfm
INPUT /usr/share/texmf-dist/tex/latex/lm/omllmm.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/omllmm.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/omllmm.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/omllmm.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi5.tfm
INPUT /usr/share/texmf-dist/tex/latex/lm/omslmsy.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/omslmsy.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/omslmsy.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/omslmsy.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy5.tfm
INPUT /usr/share/texmf-dist/tex/latex/lm/omxlmex.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/omxlmex.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/omxlmex.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/omxlmex.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmex10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy5.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 /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr6.tfm
INPUT ./tex/intro.tex
INPUT tex/intro.tex
INPUT ./tex/intro.tex
INPUT tex/intro.tex
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx12.tfm
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/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr7.tfm
INPUT /usr/share/texmf-dist/tex/latex/txfonts/omstxsy.fd
INPUT /usr/share/texmf-dist/tex/latex/txfonts/omstxsy.fd
INPUT /usr/share/texmf-dist/tex/latex/txfonts/omstxsy.fd
INPUT /usr/share/texmf-dist/tex/latex/txfonts/omstxsy.fd
INPUT /usr/share/texmf-dist/tex/latex/txfonts/omstxsy.fd
INPUT /usr/share/texmf-dist/tex/latex/txfonts/omstxsy.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/txfonts/txsy.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm0700.tfm
INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd
INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd
INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd
INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd
INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr9.tfm
OUTPUT soto-sigos.dvi
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/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 /usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd
INPUT /usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt8.tfm
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 /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt9.tfm
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 /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx10.tfm
INPUT ./tex/dpp_impl.tex
INPUT tex/dpp_impl.tex
INPUT ./tex/dpp_impl.tex
INPUT tex/dpp_impl.tex
INPUT ./fig/Dining.pdf
INPUT ./fig/Dining.pdf
INPUT fig/Dining.pdf
INPUT extractbb -B cropbox -O fig/Dining.pdf
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 /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt8.tfm
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 ./soto-sigos.bbl
INPUT soto-sigos.bbl
INPUT ./soto-sigos.bbl
INPUT soto-sigos.bbl
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr9.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi9.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy9.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/lmsy5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy9.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam9.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm9.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlgothr-v.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlgothr-h.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmri9.tfm
INPUT soto-sigos.aux