Termination proof found.
Execution time: 30.560000 sec

real	0m33.763s
user	0m30.790s
sys	0m0.132s