\documentclass{article}
%\usepackage{latexsym}
\usepackage{tcom}
\usepackage{cdsty}
% \usepackage{prooftree}
\def\zzctdrawdotedge{\drawdotedge{4pt}0}
\def\ctabutborderlr{1em}
\def\ctabutbordertb{1ex}

\begin{document}
%\bibliographystyle{alpha}

\input{cco}

 %\include{intro5}
%\include{lamrelated}
%\include{ass}
%\include{immhornprf}
%\include{resid}
%\bibliography{not,lfs}
\end{document}
