\batchmode
\documentstyle[12pt]{jarticle}
\makeatletter

\title{$B!V(BKL1$B%W%m%0%i%`@EE*2r@O7O!W$K4X$9$k@.2L35MW(B\\ 
Static Analyzer for KL1 Programs}
\author{$B>eED(B $BOB5*(B\\  
($BAa0pEDBg3XM}9)3XIt>pJs3X2J(B)\\ [6pt]
$BLVBe(B $B0iBg!$2CF#(B $B>:;L!$EZ;3(B $BN;;N(B\\ 
($BAa0pEDBg3XBg3X1!M}9)3X8&5f2J>pJs2J3X@l96(B)}
\date{1998$BG/(B2$B7n(B28$BF|(B}


\def\ak{\hskip9.5\ptdot plus0.15pt minus0.1pt}
\newdimen\ptdot

\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{section}
\stepcounter{subsection}
\stepcounter{subsubsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\it Func}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline44: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$F_1,\ldots,F_n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline46: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$2^{\{F_1,\ldots,F_n\}}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline48: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{subsubsection}
\stepcounter{subsubsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\rm O}(nb^2)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline54: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{subsubsection}
{\newpage
\clearpage
\samepage \(\sum_{K=1}^n(1/k^2)\)
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$100$B!_(B100$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline60: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$1:1.34$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline62: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\verb|arg|$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline64: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\verb|set_arg|$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline66: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{subsection}
\stepcounter{subsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$1:2$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline68: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}


\end{document}
