\input{Functions.tex} \input{Predefined_Congs.tex} %%% Local Variables: %%% mode: latex %%% TeX-master: "root" %%% End: