Termination proof found.
Execution time: 9.790000 sec

real	0m10.182s
user	0m10.041s
sys	0m0.056s