1: \begin{proof}

2: For each Maass form $L$-function we prove, using Corollary~\ref{Turing method},

3: that the corresponding list of rigorously computed zeros is consecutive for

4: $0\leq t\leq30000$, and that all the zeros are indeed simple and

5: on the critical line.

6: \end{proof}

7: