Termination proof found.
Execution time: 1.660000 sec

real	0m2.038s
user	0m1.848s
sys	0m0.048s