\batchmode


\documentstyle[epsf]{jarticle}
\makeatletter

\setlength{\oddsidemargin}{0cm}
\setlength{\evensidemargin}{0cm}
\setlength{\textheight}{24cm}
\setlength{\textwidth}{17cm}

\title{$BF0E*$KJQ2=$9$k>u67$K$*$1$kK!E*?dO@%7%9%F%`$N8&5f3+H/(B}
\author{$B?7ED9n8J!$(B $B2CF#>fCR(B ($BEl5~9)6HBg3X!K(B\\ 
        $BEl>rIR!$(B $B7s4d7{(B ($BKLN&@hC<2J3X5;=QBg3X1!Bg3X(B)}
\date{}


\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
\stepcounter{section}
\stepcounter{section}
\stepcounter{paragraph}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sqsubseteq$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline124: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sqsubseteq$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline126: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\Psi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline128: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$x:bird$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline132: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sharp$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline136: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\sharp p$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline138: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{figure}[htb]
\begin{center}
 \epsfile{file=fig_u.eps,scale=1.0}\\ 
%

\label{zu1}
\end{center}
\end{figure}
}

\stepcounter{paragraph}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$r1(X)::$B=}32:a(B($B<gBN(B=X) \leftarrow $B=}32(B($B<gBN(B=X), not~$B@5EvKI1R(B($B<gBN(B=X).$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline140: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$r2(X):: $B@5EvKI1R(B($B<gBN(B=X) \leftarrow $B2%$i$l$?(B($B<gBN(B=X).$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline142: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$r3(X)::$B=}32(B($B<gBN(B=X) \leftarrow $BL58@EEOC(B($B<gBN(B=X).$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline144: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$r4(X):: -$B=}32(B($B<gBN(B=X) \leftarrow $B$U$l$F$$$J$$(B($B<gBN(B=X).$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline146: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$r5(X)::$B=}32(B($B<gBN(B=X) \leftarrow $BL58@EEOC(B($B<gBN(B=X), not~-$B=}32(B($B<gBN(B=X).$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline148: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$r6(X):: -$B=}32(B($B<gBN(B=X) \leftarrow $B$U$l$F$$$J$$(B($B<gBN(B
=X), not~$B=}32(B($B<gBN(B=X).$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline150: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{figure}[htb]
\begin{center}
%
  \epsfile{file=top1.eps,scale=0.25}\\ 
%
\label{zu2}
\end{center}
 \end{figure}
}

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{section}

\end{document}
