% hand-written wrapper file to test -inc.tex generation
\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{color}
\usepackage{geometry}
\usepackage{lem}
\geometry{a4paper,dvips,twoside,left=22.5mm,right=22.5mm,top=20mm,bottom=30mm}

\input{MachineDefFreshIds-inc}

\begin{document}

\lemshow{\LEMinitialTidTstate}

\end{document}
