Termination proof found.
Execution time: 6.050000 sec

real	0m7.152s
user	0m6.316s
sys	0m0.060s