Termination proof found.
Execution time: 30.150000 sec

real	0m32.421s
user	0m30.414s
sys	0m0.164s