415145263 415145263 1.59003875000000e+04 415145264 1.59003875000000e+04 3510 statements executed in 0.72 seconds cpu time.