\documentstyle[a4,12pt,bk]{article}
%\documentstyle[12pt,bk]{article}
\begin{document}


%\newtheoremit{conjecture}[definition]{Conjecture}
\def\picture #1 by #2 (#3){
  \vbox to #2{
    \hrule width #1 height 0pt depth 0pt
    \vfill
    \special{picture #3} % this is the low-level interface
    }
  }

\def\scaledpicture #1 by #2 (#3 scaled #4){{
  \dimen0=#1 \dimen1=#2
  \divide\dimen0 by 1000 \multiply\dimen0 by #4
  \divide\dimen1 by 1000 \multiply\dimen1 by #4
  \picture \dimen0 by \dimen1 (#3 scaled #4)}
  }



\input{abstr.tex}
\input{sec0.tex}
\input{sec1.tex}
\input{sec2.tex}
\input{sec3.tex}
\input{sec4.tex}
\input{sec5.tex}
\input{ref.tex}

\end{document}
