Termination proof found.
Execution time: 5.760000 sec

real	0m6.046s
user	0m5.928s
sys	0m0.044s