Termination proof found.
Execution time: 0.580000 sec

real	0m0.882s
user	0m0.748s
sys	0m0.052s