5 0.250000 0.499537 0.500000 0.999074
