Termination proof found.
Execution time: 10.970000 sec

real	0m11.424s
user	0m11.145s
sys	0m0.060s