Termination proof found.
Execution time: 30.570000 sec

real	0m32.057s
user	0m30.790s
sys	0m0.116s