\input texsis.tex \dump