% PROC DOCUMENT STYLE -- Released 4 September 1986
%    for LaTeX version 2.09
% Copyright (C) 1985 by Leslie Lamport
% This is a style option for use with the article style to produce
% camera-ready conference proceedings.
\typeout{Document Style Option 'proc' -- Released 4 September 1986.}
%  ****************************************
%  *            PAGE LAYOUT               *
%  ****************************************
% All margin dimensions measured from a point one inch from top and side
% of page.  Dimensions shrink by about 2 percent
% SIDE MARGINS:
   \oddsidemargin  -10pt      %   Note that \oddsidemargin = \evensidemargin
   \evensidemargin -10pt
% VERTICAL SPACING:        
                         % Top of page:
\topmargin -47pt         %    Nominal distance from top of page to top of
                         %    box containing running head.
\headheight 12pt         %    Height of box containing running head.
\headsep 25pt            %    Space between running head and text.
% \topskip = 10pt        %    '\baselineskip' for first line of page.
                         % Bottom of page:
\footskip 75pt           %    Distance from baseline of box containing foot 
                         %    to baseline of last line of text.
% DIMENSION OF TEXT:
\textheight 9in          % Height of text (including footnotes and figures, 
                         % excluding running head and foot).
\textwidth 6.75in        % Width of text line.
                         % For two-column mode: 
\columnsep .375in        %    Space between columns 
\columnseprule 0pt       %    Width of rule between columns.
%    ****************************************
%    *            PAGE STYLES               *
%    ****************************************
%  Use \markright (or \markboth) to put an identification in the
%  lower left.  The page number is printed in the lower right.
\def\@oddhead{}\def\@evenhead{}
\def\@oddfoot{\rm\rightmark \hfil Page \thepage}
\def\@evenfoot{\@oddfoot}
%    ****************************************
%    *               TITLE                  *
%    ****************************************
% This definition of \maketitle taken from article.sty, except
% it does not do a \thispagestyle{plain}.
\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}     % Title set in \LARGE size. 
  \vskip 2em                % Vertical space after title.
  {\large \begin{tabular}[t]{c}\@author \end{tabular}\par}    
  \vfil}}
% The \copyrightspace command is used to produce a blank space in the first 
% column where a copyright notice belongs.  It works by producing a
% blank footnote of the appropriate size.  Note that it should appear
% after any \footnote commands that produce footnotes for the first
% column.
\def\copyrightspace{\footnotetext[0]{\mbox{}\vrule height 97pt width 0pt}}
% The abstract Environment
\def\abstract{\section*{Abstract}}
\def\endabstract{\par}
%    ****************************************
%    *           INITIALIZATION             *
%    ****************************************
% Default initializations
\twocolumn                  
\sloppy
\parindent 1em
\leftmargini 2em
\leftmargin\leftmargini 
\leftmarginv .5em
\leftmarginvi .5em
\flushbottom