\input{a1.tex}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "root"
%%% End:
