\batchmode
\documentclass[11pt]{amsart}
\makeatletter 
\usepackage{amsmath, psfig, epsfig}

\addtolength{\hoffset}{-0.5in}
\addtolength{\textwidth}{1.0in}

\theoremstyle{definition} 
\newtheorem*{definition}{Definition}
\newtheorem*{Rule}{Question}



\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
{\newpage
\clearpage
\samepage % latex2html id marker 425
\theoremstyle
}

\stepcounter{section}
\stepcounter{section}
{\newpage
\clearpage
\samepage \begin{equation}\label{CR}
\frac{Ex(\texttt{gain from search})}{Cost(\texttt{rendezvous})}
\end{equation}
}

\stepcounter{section}
{\newpage
\clearpage
\samepage \begin{align}% latex2html id marker 100
\label{FinalCR}
\begin{split}
\frac{Ex(\texttt{gain from search})}{Cost(\texttt{rendezvous})}
        &= \frac{\texttt{Area next Level}}{D_w(\sigma_j - \sigma_\infty)} \\ 
        &= \frac{(2j^2n-j^2)\pi}{\sum_{i=1}^{n-1}4ji}
          \qquad\texttt{from (\ref{S:j-area}),(\ref{S:dif})} \\ 
        &= \frac{(2j^2n-j^2)\pi}{\frac{4j(n^2-n)}2} \\ 
        &= \frac{(2j^2n-j^2)\pi}{2jn^2-2jn}
\end{split}
\end{align}
}

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

\end{document}
