% Automatically generated by PVS 2.4 patchlevel 1

\documentclass[fleqn,12pt]{article}
\usepackage{fullpage,supertabular,alltt,latexsym,/usr/local/pvs-2.4/pvs}
\begin{document}

\markright{STAB}\label{STAB}\input{STAB}\newpage

\end{document}
