Termination proof found.
Execution time: 5.820000 sec

real	0m6.990s
user	0m6.028s
sys	0m0.060s