6.92647430559820e-01 6.92647430559820e-01 5.55496913580901e-06 5.55496913581116e-06 5509 statements executed in 0.73 seconds cpu time.