\everymath{\displaystyle}
-\lstset{keepspaces=true,captionpos=b,basicstyle=\ttfamily}
+\lstset{keepspaces=true,captionpos=b,basicstyle=\scriptsize\ttfamily}
\CompileMatrices%
+
\author{Mart Lubbers (s4109503)}
\title{Automated reasoning Assignment 2}
\date{\today}