PWD /Users/snair/Downloads/RR-9395 INPUT /usr/local/texlive/2017/texmf.cnf INPUT /usr/local/texlive/2017/texmf-dist/web2c/texmf.cnf INPUT /usr/local/texlive/2017/texmf-var/web2c/pdftex/pdflatex.fmt INPUT /Users/snair/Downloads/RR-9395/RR-9395.tex OUTPUT /Users/snair/Downloads/RR-9395/RR-9395.log INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/article.cls INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/article.cls INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/size10.clo INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/size10.clo INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/geometry/geometry.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/geometry/geometry.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifpdf.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifpdf.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifvtex.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifvtex.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/inputenc.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/inputenc.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/utf8.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/utf8.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.dfu INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.dfu INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ot1enc.dfu INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ot1enc.dfu INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/omsenc.dfu INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/omsenc.dfu INPUT /Users/snair/Downloads/RR-9395/RR.sty INPUT /Users/snair/Downloads/RR-9395/RR.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.dfu INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.dfu INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/color.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/color.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/colortbl/colortbl.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/colortbl/colortbl.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/tools/array.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/tools/array.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/floatrow/floatrow.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/floatrow/floatrow.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption3.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption3.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/rotating.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/natbib/natbib.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/natbib/natbib.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amssymb.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amssymb.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amsfonts.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amsfonts.sty INPUT /Users/snair/Downloads/RR-9395/slashbox.sty INPUT /Users/snair/Downloads/RR-9395/slashbox.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/siunitx/siunitx.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/siunitx/siunitx.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3-code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3-code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/unicode-data/UnicodeData.txt INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/unicode-data/CaseFolding.txt INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/unicode-data/SpecialCasing.txt INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/l3pdfmode.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/l3pdfmode.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xparse/xparse.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xparse/xparse.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/translator.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/translator.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/translator.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/translator-language-mappings.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/translator-language-mappings.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/booktabs/booktabs.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/booktabs/booktabs.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/multirow/multirow.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/multirow/multirow.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/pifont.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/pifont.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/upzd.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/upzd.fd INPUT /usr/local/texlive/2017/texmf-dist/fonts/map/fontname/texfonts.map INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/zapfding/pzdr.tfm INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/upsy.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/upsy.fd INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/enumitem/enumitem.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/enumitem/enumitem.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/subfig/subfig.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/subfig/subfig.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/skull/skull.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/skull/skull.sty INPUT /Users/snair/Downloads/RR-9395/./why3lang.sty INPUT /Users/snair/Downloads/RR-9395/./why3lang.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/listings/lstmisc.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/listings/lstmisc.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/bold-extra/bold-extra.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/bold-extra/bold-extra.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/paralist/paralist.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/paralist/paralist.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/ms/everyshi.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/ms/everyshi.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgffor.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgffor.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/math/pgfmath.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/pgf/math/pgfmath.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytrees.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytrees.code.tex INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/mathpartir/mathpartir.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/mathpartir/mathpartir.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/rotating.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/rotating.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hyperref.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hyperref.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/auxhook.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/auxhook.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/pd1enc.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/pd1enc.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/hyperref.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/hyperref.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hpdftex.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hpdftex.def INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/cleveref/cleveref.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/cleveref/cleveref.sty INPUT /Users/snair/Downloads/RR-9395/RR-9395.aux INPUT /Users/snair/Downloads/RR-9395/RR-9395.aux OUTPUT /Users/snair/Downloads/RR-9395/RR-9395.aux INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1cmr.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1cmr.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/context/base/mkii/supp-pdf.mkii INPUT /usr/local/texlive/2017/texmf-dist/tex/context/base/mkii/supp-pdf.mkii INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/grfext.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/grfext.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/graphics/color.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/floatrow/fr-subfig.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/floatrow/fr-subfig.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/dicts/translator-basic-dictionary/translator-basic-dictionary-English.dict INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/dicts/translator-basic-dictionary/translator-basic-dictionary-English.dict INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/siunitx/siunitx-abbreviations.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/siunitx/siunitx-abbreviations.cfg INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/nameref.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/nameref.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/gettitlestring.sty INPUT /usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/gettitlestring.sty INPUT /Users/snair/Downloads/RR-9395/RR-9395.out INPUT /Users/snair/Downloads/RR-9395/RR-9395.out INPUT /Users/snair/Downloads/RR-9395/RR-9395.out INPUT /Users/snair/Downloads/RR-9395/RR-9395.out OUTPUT /Users/snair/Downloads/RR-9395/RR-9395.pdf INPUT /Users/snair/Downloads/RR-9395/RR-9395.out INPUT /Users/snair/Downloads/RR-9395/RR-9395.out OUTPUT /Users/snair/Downloads/RR-9395/RR-9395.out INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsa.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsa.fd INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsb.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsb.fd INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm INPUT /Users/snair/Library/texlive/2017/texmf-var/fonts/tfm/public/skull/skull.tfm INPUT /Users/snair/Library/texlive/2017/texmf-var/fonts/tfm/public/skull/skull.tfm INPUT /Users/snair/Library/texlive/2017/texmf-var/fonts/tfm/public/skull/skull.tfm INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/stmaryrd/Ustmry.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/stmaryrd/Ustmry.fd INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary7.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary5.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm INPUT /Users/snair/Downloads/RR-9395/rrpage1.png INPUT /Users/snair/Downloads/RR-9395/rrpage1.png INPUT /Users/snair/Downloads/RR-9395/rrpage1.png INPUT /Users/snair/Downloads/RR-9395/logo-inria.png INPUT /Users/snair/Downloads/RR-9395/logo-inria.png INPUT /Users/snair/Downloads/RR-9395/logo-inria.png INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/t1phv.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/t1phv.fd INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/helvetic/phvr8t.tfm INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/t1ptm.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/t1ptm.fd INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/ts1ptm.fd INPUT /usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/ts1ptm.fd INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8c.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/helvetic/phvr8t.vf INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/helvetic/phvr8r.tfm INPUT /usr/local/texlive/2017/texmf-var/fonts/map/pdftex/updmap/pdftex.map INPUT /usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/times/ptmb8c.vf INPUT /usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm INPUT /Users/snair/Downloads/RR-9395/pagei.png INPUT /Users/snair/Downloads/RR-9395/pagei.png INPUT /Users/snair/Downloads/RR-9395/pagei.png INPUT /Users/snair/Downloads/RR-9395/logo-inria.png INPUT /Users/snair/Downloads/RR-9395/logo-inria.png INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/helvetic/phvb8t.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmr12.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmr12.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmr8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmr6.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmex10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss12.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm INPUT /Users/snair/Library/texlive/2017/texmf-var/fonts/tfm/public/skull/skull.tfm INPUT /Users/snair/Library/texlive/2017/texmf-var/fonts/tfm/public/skull/skull.tfm INPUT /Users/snair/Library/texlive/2017/texmf-var/fonts/tfm/public/skull/skull.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary6.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/jknappen/ec/tcrm0800.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/jknappen/ec/tcrm0600.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/helvetic/phvb8t.vf INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/helvetic/phvb8r.tfm INPUT /Users/snair/Downloads/RR-9395/intro.tex INPUT /Users/snair/Downloads/RR-9395/intro.tex INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti10.tfm INPUT /Users/snair/Downloads/RR-9395/system.tex INPUT /Users/snair/Downloads/RR-9395/system.tex INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti7.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti7.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmr9.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss9.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti9.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti7.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt9.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /Users/snair/Library/texlive/2017/texmf-var/fonts/tfm/public/skull/skull.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary9.tfm INPUT /Users/snair/Downloads/RR-9395/incorrectspec.tex INPUT /Users/snair/Downloads/RR-9395/incorrectspec.tex INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti8.tfm INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmcsc10.tfm INPUT /Users/snair/Downloads/RR-9395/refinedspec.tex INPUT /Users/snair/Downloads/RR-9395/refinedspec.tex INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/zapfding/pzdr.tfm INPUT /Users/snair/Downloads/RR-9395/concspec.tex INPUT /Users/snair/Downloads/RR-9395/concspec.tex INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm INPUT /Users/snair/Downloads/RR-9395/evaluation.tex INPUT /Users/snair/Downloads/RR-9395/evaluation.tex INPUT /Users/snair/Downloads/RR-9395/figures/response_time_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/response_time_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/response_time_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/response_time_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/response_time_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/response_time_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/response_time_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/response_time_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/response_time_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/overhead_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/overhead_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/overhead_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/overhead_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/overhead_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/overhead_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/overhead_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/overhead_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/overhead_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/stabilization_time_log_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/stabilization_time_log_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/stabilization_time_log_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/stabilization_time_log_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/stabilization_time_log_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/stabilization_time_log_copy2.eps INPUT /Users/snair/Downloads/RR-9395/figures/stabilization_time_log_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/stabilization_time_log_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/figures/stabilization_time_log_copy2-eps-converted-to.pdf INPUT /Users/snair/Downloads/RR-9395/literature.tex INPUT /Users/snair/Downloads/RR-9395/literature.tex INPUT /Users/snair/Downloads/RR-9395/discussion.tex INPUT /Users/snair/Downloads/RR-9395/discussion.tex INPUT /Users/snair/Downloads/RR-9395/conclusion.tex INPUT /Users/snair/Downloads/RR-9395/conclusion.tex INPUT /Users/snair/Downloads/RR-9395/RR-9395.bbl INPUT /Users/snair/Downloads/RR-9395/RR-9395.bbl INPUT /Users/snair/Downloads/RR-9395/why3spec.tex INPUT /Users/snair/Downloads/RR-9395/why3spec.tex INPUT /usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmitt10.tfm INPUT /Users/snair/Downloads/RR-9395/CiseAnalysis.tex INPUT /Users/snair/Downloads/RR-9395/CiseAnalysis.tex INPUT /Users/snair/Downloads/RR-9395/pagei.png INPUT /Users/snair/Downloads/RR-9395/pagei.png INPUT /Users/snair/Downloads/RR-9395/logo-inria.png INPUT /Users/snair/Downloads/RR-9395/logo-inria.png INPUT /Users/snair/Downloads/RR-9395/RR-9395.aux INPUT /Users/snair/Downloads/RR-9395/RR-9395.out INPUT /Users/snair/Downloads/RR-9395/RR-9395.out INPUT /Users/snair/Library/texlive/2017/texmf-var/fonts/pk/ljfour/public/skull/skull.500pk INPUT /usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc INPUT /usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/base/8r.enc INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi9.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy5.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmti7.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmti9.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt9.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/cm-super/sfrm0600.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/cm-super/sfrm0800.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/stmaryrd/stmary8.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/public/stmaryrd/stmary9.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/urw/helvetic/uhvb8a.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/urw/times/utmb8a.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/urw/times/utmr8a.pfb INPUT /usr/local/texlive/2017/texmf-dist/fonts/type1/urw/zapfding/uzdr.pfb