[firedrake] Time loop

Hi all, I have a system of discretised equations attached resulting from non-linear wave equation. I am defeated on coding the time loop. How can I go about it? Thanks in advance. David