Termination proof found.
Execution time: 30.120000 sec

real	0m31.429s
user	0m30.358s
sys	0m0.060s