\documentclass{article}
\usepackage[landscape]{geometry}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{wasysym}
\usepackage{mathpartir}
\usepackage{listings}

\begin{document}


\small
\input{/tmp/unif}
\end{document}