* : * : * : * : * : * : * : * * * : * : * : * : * : * : * : * : * : * : * : * : * : * : * * * : * : * : * : * : * : * : * 3093 statements executed in 0.52 seconds cpu time.