\end{lstlisting}
\newpage
-\lstinputlisting[language=lisp,caption={a1.smt},label={listing:a1.smt}]{src/1.smt}
+\lstinputlisting[language=lisp,caption={a1.smt},
+ label={listing:a1.smt}]{src/a1.smt}
\newpage
-\lstinputlisting[language=python,caption={a2.py},label={listing:2.py}]{src/2.py}
+\lstinputlisting[language=python,caption={a2.py},
+ label={listing:a2.py}]{src/a2.py}
\newpage
-\lstinputlisting[language=python,caption={a4.py},label={listing:4.py}]{src/4.py}
+\lstinputlisting[language=python,caption={a3.py},
+ label={listing:a3.py}]{src/a3.py}
+
+\newpage
+\lstinputlisting[language=python,caption={a4.py},
+ label={listing:a4.py}]{src/a4.py}