% proc.sty 24-Sep-85
% Modified (sc) 6-July-87
% Modified (DEL) 22-Feb-90
% Modified (sc) 22-Feb-91

\typeout{Document Style Option 'acmproc' -- 22 February 1991}


 \oddsidemargin -0.25truein \evensidemargin -0.25truein
 \topmargin -0.25truein \headheight 0pt \headsep 0pt \footheight 12pt 
 \footskip 30pt \marginparwidth 0pt \marginparsep 0pt

%\textheight 9.25truein \textwidth 7truein \columnsep 2pc
\textheight 9.4truein \textwidth 7truein \columnsep 2pc
\columnseprule 0pt 


\def\@oddhead{}\def\@evenhead{}
\def\@oddfoot{}
\def\@evenfoot{\@oddfoot}


\def\maketitle{\par
 \begingroup
 \def\thefootnote{\fnsymbol{footnote}}
 \def\@makefnmark{\hbox 
 to 0pt{$^{\@thefnmark}$\hss}} 
 \twocolumn[\@maketitle] 
 \@thanks
 \endgroup
 \setcounter{footnote}{0}
 \let\maketitle\relax
 \let\@maketitle\relax
 \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}
\def\@maketitle{\vbox to 2.25in{\hsize\textwidth 
 \linewidth\hsize \vfil \centering
 {\LARGE \@title \par} \vskip 2em {\large \begin{tabular}[t]{c}\@author
\end{tabular}\par} 
 \vfil}}

\long\def\unmarkedfootnote#1{{\long\def\@makefntext##1{##1}\footnotetext{#1}}}

\def\acmcopyrightspace{\unmarkedfootnote{\begin{minipage}[t]{3.33truein} 
\vspace*{0.85truein}\end{minipage}}}

\def\abstract{\section*{Abstract}}
\def\endabstract{\par}

\sloppy
\twocolumn
\parindent 1em
\leftmargini 2em
\leftmargin\leftmargini 
\leftmarginv .5em
\leftmarginvi .5em
\flushbottom

\def\@normalsize{\@setsize\normalsize{11pt}\ixpt\@ixpt
\abovedisplayskip 8.5pt plus 3pt minus 4pt\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus2pt\belowdisplayshortskip 4pt plus2pt minus 2pt
\def\@listi{\leftmargin\leftmargini \topsep 4pt plus 2pt minus 2pt\parsep 2pt
plus 1pt minus 1pt
\itemsep \parsep}}

\def\small{\@setsize\small{9.5pt}\viiipt\@viiipt
\abovedisplayskip 6pt plus 2pt minus 4pt\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus 1pt\belowdisplayshortskip 3pt plus 1pt minus
2pt
\def\@listi{\leftmargin\leftmargini \topsep 3pt plus 1pt minus 1pt\parsep 2pt
plus 1pt minus 1pt
\itemsep \parsep}}

\def\footnotesize{\@setsize\footnotesize{8pt}\viipt\@viipt
\abovedisplayskip 6pt plus 2pt minus 4pt\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus 1pt\belowdisplayshortskip 3pt plus 1pt minus
2pt
\def\@listi{\leftmargin\leftmargini \topsep 3pt plus 1pt minus 1pt\parsep 2pt
plus 1pt minus 1pt
\itemsep \parsep}}

\def\scriptsize{\@setsize\scriptsize{8pt}\viipt\@viipt}
\def\tiny{\@setsize\tiny{6pt}\vpt\@vpt}
\def\large{\@setsize\large{12pt}\xipt\@xipt}
\def\Large{\@setsize\Large{18pt}\xivpt\@xivpt}
\def\LARGE{\@setsize\LARGE{22pt}\xviipt\@xviipt}
\def\huge{\@setsize\huge{25pt}\xxpt\@xxpt}
\def\Huge{\@setsize\Huge{30pt}\xxvpt\@xxvpt}

\normalsize 

\def\paragraph{\@startsection
 {paragraph}{4}{\z@}{.5ex plus .2ex minus .1ex}{-1em}{\normalsize\bf}}

%\def\fnum@figure{\bf Figure \thefigure}
%\def\fnum@table{\bf Table \thetable}