\documentclass[10pt,a5paper]{article}
\usepackage{mathtools}
\begin{document}
\input{a1}
\end{document}