Termination proof found.
Execution time: 1.850000 sec

real	0m2.221s
user	0m2.044s
sys	0m0.068s