\documentclass[]{llncs}
\usepackage{prooftree,tcom,latexsym}

\begin{document}
  \input{aa}

\end{document}
