Execution begins...
Execution terminated
2550 statements executed in 0.31 seconds cpu time
