LARA

This is an old revision of the document!

Start

\begin{array}{l} a > 2 \wedge res \geq 0 \wedge (n = n0 \lor res > 14) \rightarrow \\ 2a \land res + 2a >= 0 \wedge (n - 1 = n_0 \lor res + 2a \geq 0) \end{array}

End